arXiv subjects

Weiling Yang

Publications and source records attributed to Weiling Yang.

8 recordsLinked to original sources

arXiv2025

Demystifying ARM SME to Optimize General Matrix Multiplications

General Matrix Multiplication (GEMM) is a critical kernel in high-performance computing and deep learning. While modern architectures like ARM's Scalable Matrix Extension (SME) introduce dedicated hardware for matrix operations, existing linear algebra libraries fail to fully exploit its potential, particularly for large matrices. This paper presents MpGEMM, an open-source library that leverages key architectural features of SME to optimize GEMM across multiple precisions. Through a systematic characterization of SME, we derive optimization guidelines that inform our design. MpGEMM employs cache-aware partitioning, efficient data packing with on-the-fly transposition, and specialized micro-kernels that utilize multi-vector loads and all available tile registers. Evaluated on an Apple M4 Pro with real-world workloads from DeepSeek and LLaMA, MpGEMM achieves an average speedup of 1.23x over the vendor-optimized Apple Accelerate library and significantly outperforms other open-source alternatives.

cs.DC↗

arXiv2025

A recursive definition for the polymatroid Tutte polynomial

The Tutte polynomial is a significant invariant of graphs and matroids. It is well-known that it has three equivalent definitions: bases expansion, rank generating function, and deletion-contraction formula. The polymatroid Tutte polynomial $\mathscr{T}_{P}$ generalizes the Tutte polynomial from matroids to polymatroids $P$. In \emph{[Adv. Math. 402 (2022) 108355.]} and \emph{[J. Combin. Theory Ser. A 188 (2022) 105584]}, the authors provided bases expansion and rank generating function constructions for $\mathscr{T}_{P}$, respectively. In \emph{[Int. Math. Res. Not. 19 (2025) rnaf302]}, a recursive formula for $\mathscr{T}_{P}$ was obtained. In this paper, we show that the recursive formula itself can be used to define the polymatroid Tutte polynomial independently.

math.CO↗

arXiv2025

LayerScope: Predictive Cross-Layer Scheduling for Efficient Multi-Batch MoE Inference on Legacy Servers

Mixture-of-Experts (MoE) models face memory and PCIe latency bottlenecks when deployed on commodity hardware. Offloading expert weights to CPU memory results in PCIe transfer latency that exceeds GPU computation by several folds. We present PreScope, a prediction-driven expert scheduling system that addresses three key challenges: inaccurate activation prediction, PCIe bandwidth competition, and cross-device scheduling complexity. Our solution includes: 1) Learnable Layer-Aware Predictor (LLaPor) that captures layer-specific expert activation patterns; 2) Prefetch-Aware Cross-Layer Scheduling (PreSched) that generates globally optimal plans balancing prefetching costs and loading overhead; 3) Asynchronous I/O Optimizer (AsyncIO) that decouples I/O from computation, eliminating waiting bubbles. PreScope achieves 141% higher throughput and 74.6% lower latency than state-of-the-art solutions.

cs.LG↗

arXiv2025

A sharp upper bound for the number of connected sets in any grid graph

A connected set in a graph is a subset of vertices whose induced subgraph is connected. Although counting the number of connected sets in a graph is generally a \#P-complete problem, it remains an active area of research. In 2020, Vince posed the problem of finding a formula for the number of connected sets in the $(n\times n)$-grid graph. In this paper, we establish a sharp upper bound for the number of connected sets in any grid graph by using multistep recurrence formulas, which further derives enumeration formulas for the numbers of connected sets in $(3\times n)$- and $(4\times n)$-grid graphs, thus solving a special case of the general problem posed by Vince. In the process, we also determine the number of connected sets of $K_{m}\times P_{n}$ by employing the transfer matrix method, where $K_{m}\times P_{n}$ is the Cartesian product of the complete graph of order $m$ and the path of order $n$.

math.CO↗

arXiv2024

Isolation partitions in graphs

Let $G$ be a graph and $k \geq 3$ an integer. A subset $D \subseteq V(G)$ is a $k$-clique (resp., cycle) isolating set of $G$ if $G-N[D]$ contains no $k$-clique (resp., cycle). In this paper, we prove that every connected graph with maximum degree at most $k$, except $k$-clique, can be partitioned into $k+1$ disjoint $k$-clique isolating sets, and that every connected claw-free subcubic graph, except 3-cycle, can be partitioned into four disjoint cycle isolating sets. As a consequence of the first result, every $k$-regular graph can be partitioned into $k+1$ disjoint $k$-clique isolating sets.

math.CO↗

arXiv2023

Convolution formulas for multivariate arithmetic Tutte polynomials

The multivariate arithmetic Tutte polynomial of arithmetic matroids is a generalization of the multivariate Tutte polynomial of matroids. In this note, we give the convolution formulas for the multivariate arithmetic Tutte polynomial of the product of two arithmetic matroids. In particular, the convolution formulas for the multivariate arithmetic Tutte polynomial of an arithmetic matroid are obtained. Applying our results, several known convolution formulas including [5, Theorem 10.9 and Corollary 10.10] and [1, Theorems 1 and 4] are proved by a purely combinatorial proof. The proofs presented here are significantly shorter than the previous ones. In addition, we obtain a convolution formula for the characteristic polynomial of an arithmetic matroid.

math.CO↗

arXiv2023

Extreme coefficients of multiplicity Tutte polynomials

The multiplicity Tutte polynomial, which includes the arithmetic Tutte polynomial, is a generalization of the classical Tutte polynomial of matroids. In this paper, we obtain an expression of the general coefficient and the expressions of six extreme coefficients of multiplicity Tutte polynomials. In particular, an expression of the general coefficient and the expressions of corresponding extreme coefficients of classical Tutte polynomial of matroids are deduced.

math.CO↗

arXiv2022

On the polymatroid Tutte polynomial

The Tutte polynomial is a well-studied invariant of matroids. The polymatroid Tutte polynomial $\mathcal{J}_{P}(x,y)$, introduced by Bernardi et al., is an extension of the classical Tutte polynomial from matroids to polymatroids $P$. In this paper, we first prove that $\mathcal{J}_{P}(x,t)$ and $\mathcal{J}_{P}(t,y)$ are interpolating for any fixed real number $t\geq 1$, and then we study the coefficients of high-order terms in $\mathcal{J}_{P}(x,1)$ and $\mathcal{J}_{P}(1,y)$. These results generalize results on interior and exterior polynomials of hypergraphs.

math.CO↗