math.CO ↗ arXiv
7121 papers in this category
Collapsibility in Multiparametric Models of Random Simplicial Complexes
We study collapsibility in the multiparametric models of random simplicial complexes, namely the lower and upper models. In the upper model, we improve upon a result of Farber and Nowik, and assert that the homology is a.a.s concentrated in a single dimension by proving that the complex collapses to that \di. In the lower model, we prove that the complex a.a.s collapses to the \di\ with maximal non-trivial cohomology. We then compare this threshold to the ones derived previously for the special cases of the clique complex (by Kahle) and the Linial-Meshulam model.
Conjugacy Class Averages and Sidorenko's Conjecture
Sidorenko's conjecture asserts that for every bipartite graph $H$ and every graph $G$, \[
t(H,G)\geq t(K_2,G)^{e(H)}. \] A result of Szegedy shows that, in order to prove the conjecture, it suffices to verify the corresponding inequality on a special family of highly symmetric bipartite Cayley type hosts arising from symmetric groups. Motivated by this reduction, we study Cayley type bipartite kernels associated with functions on finite groups and their conjugacy class averages.
Our first result gives a reduction through conjugacy averaging: for a fixed bipartite graph $H$, if the $H$-density of each Cayley type host is at least the $H$-density of its conjugacy class average, then $H$ is strong Sidorenko, and hence Sidorenko. Our second result proves a Sidorenko-type inequality for 1-subdivision graphs on conjugacy-averaged Cayley kernels associated with arbitrary real-valued functions on finite groups.
A continuous kernel method for affine Motzkin paths: boundary traces, height shifts, and secant-power hierarchies
We introduce a continuous analogue of the kernel method for boundary-interrupted affine tridiagonal production rules arising in weighted lattice paths and related models. In the classical kernel method, an unknown catalytic boundary series is eliminated by substituting an algebraic root of the kernel. Here affine height dependence turns the kernel into a differential kernel: the catalytic boundary trace is selected instead by following a characteristic to the boundary and imposing regularity there. This produces a first-kind Abel--Volterra equation and a reconstruction formula for height-refined generating functions. For affine Motzkin triangles, the framework identifies the balanced case as the exact locality condition, explains integer imbalance through height shifts and finite operator compression, and yields closed shifted-Pearson collapses for arbitrary real boundary index, including the secant-power hierarchy interpolating Euler and higher-order Euler numbers. The same boundary index also appears naturally in Jacobi recurrence data and affine birth--death models, showing that the theory is intrinsically continuous rather than purely integral.
Graph recovery from partial information
We introduce a Fourier-analytic framework for graph complexity and recoverability. For a graph G on N vertices labeled by Z_N, we define the Fourier ratio FR(f) of its edge indicator f. The key invariant FR_min(G), the minimum Fourier ratio over all vertex labelings, measures the optimal additive spectral compressibility of the graph. We establish a lower bound FR_min(G) >= E(G)/sqrt(2s), where E(G) is the graph energy and s is the number of edges. This bound is sharp for abelian Cayley graphs under the natural group labeling. Using a compressed sensing theorem, we show that once a labeling with small Fourier ratio is available, the edge map can be efficiently recovered from sparse random samples of adjacency entries. The algorithmic problem of finding such a labeling remains open. We compute FR_min(G) for complete, Turán, cycle, and circulant graphs. Cycles and circulant graphs are highly compressible, while random labelings yield large Fourier complexity. We develop a spectral-projector framework for harmonic graph recovery. For each Laplacian eigenvalue {λ}, its spectral projector Π_λ satisfies FR_min(Π_λ) >= sqrt(m(λ)), where m(λ) is the multiplicity. Fourier-compressible projectors are recoverable via Fourier-side l^1 minimization. For abelian Cayley graphs, the natural group labeling simultaneously minimizes both edge and harmonic complexity, with the harmonic complexity attaining the lower bound exactly. Since low-frequency projectors govern heat flow and random walks, this yields a mechanism for recovering large-scale geometric structure from sparse observations without full graph reconstruction. Finally, we formulate an asymptotic spectral synthesis principle showing that spectrally regular functions cannot concentrate on small exceptional sets, yielding asymptotic uniqueness and recovery results for incomplete graph data.
Inclusion graph of annihilators in a commutative ring
Let $R$ be a commutative ring with identity, and let $Z(R)$ be the set of zero-divisors of $R$. The inclusion graph of annihilators in $R$, denoted by $Γ^{\prime}(R)$, is a graph with the vertex set $Z(R)^*=Z(R)\setminus\{0\}$ and two distinct vertices $x$ and $y$ are adjacent if and only if $\operatorname{ann}_R(x)\subseteq \operatorname{ann}_R(y)$ or $\operatorname{ann}_R(y)\subseteq \operatorname{ann}_R(x)$. It is proved that $Γ^{\prime}(R)$ is not connected if and only if $R$ is reduced with $|\operatorname{Min}(R)|=2$. Also, we show that if $Γ^{\prime}(R)$ is a connected graph, then the diameter of $Γ^{\prime}(R)$ is at most $4$ and the girth of $Γ^{\prime}(R)$ is at most $6$, if it contains a cycle. Moreover, we study the affinity between inclusion graph of annihilators and complement of the annihilator graph (a well-known graph with the same vertices and two distinct vertices $x$ and $y$ are adjacent if and only if $\operatorname{ann}_R(xy)\neq \operatorname{ann}_R(x)\cup \operatorname{ann}_R(y)$) associated with a commutative ring. Finally, we characterize all rings whose inclusion graphs of annihilators are complete.
An Exposition of Five Candidates Suffice for a Majority
We give a brief exposition of a result of Song, Nguyen, and Lin (2026) that every election (with ranked preferences) has a Condorcet winning set of at most five candidates.
Exchange identities and symmetric slices of the valley Delta conjecture
The valley Delta conjecture of Haglund, Remmel and Wilson predicts that the symmetric function $Δ'_{e_{n-k-1}} e_n$ equals a generating function over labelled Dyck paths with $k$ decorated contractible valleys. Unlike the rise version, which is now a theorem, the valley version remains open; indeed it is not even known that its combinatorial side is symmetric. We prove that the coefficients of $t^0$ and $t^1$ in the valley generating function are symmetric functions for all $n\ge 1$ and $k\ge 0$; equivalently, the fixed-diagonal-multiset slices of area at most one are symmetric. The theorem follows from an adjacent exchange identity for scaffold classes, which we prove in a strictly stronger form refined by the numbers of undecorated rows carrying the labels $r,r+1$ between consecutive rows with other labels. The proof develops a transfer-operator calculus in a $q$-deformed two-variable algebra generated by two commuting half-twists. In this algebra the exchange reduces to two scalar symmetric-series identities for the operator $T=u\mathfrak{d}+v$. We also verify the refined identity computationally at area two over extensive finite ranges and state the resulting general conjecture.
Coarse Balanced Separators in Biclique-Induced-Minor-Free Graphs
It is a classical theorem of Robertson and Seymour (1986) that the treewidth of a graph is linearly related to its separation number: the smallest integer $k$ such that, for every weight function on the vertices, the graph admits a balanced separator of size at most $k$. Motivated by recent progress on coarse treewidth, Abrishami, Czyżewska, Kluk, Pilipczuk, Pilipczuk, and Rzażewski (2025) conjectured the following coarse analogue: for every $r\in \mathbb{N}$ there exists an $r'\in \mathbb{N}$ such that every graph that admits balanced separators that can be covered by a bounded number of balls of bounded radius $r$ admits a tree decomposition where every bag can be covered by a bounded number of balls of radius $r'$. We verify a stronger variant of this conjecture for all $r \in \mathbb{N}$ for the hereditary class of $K_{t,t}$-induced-minor-free graphs of bounded clique number. A key step in the proof is the following result, which we expect to be of independent interest. In $K_{t,t}$-induced-minor-free graphs with clique number bounded by $s$, given a large subset of vertices $Y \subseteq V(G)$, there is a set $Z$ whose size is bounded by a function polynomial in $s$, such that no ball of radius $r$ in $G- Z$ covers a large proportion of $Y$.
Optimality of Random Regular Graphs in Sparse Network Designs
The problems of designing sparse networks arise frequently in resource allocation and operations research. In production systems, for example, sparse process flexibility designs are used to handle uncertain demand effectively: the goal is to construct the sparsest bipartite graph between supply and demand that still achieves an expected fulfilled demand comparable to that of a fully flexible system. In middle-mile transportation, sparse delivery-route subgraphs that sustain large matchings after random node deletions help reduce delivery costs; here, the goal is to design the sparsest graph whose maximum matching size remains comparable to that of the fully connected graph under node deletions.
The design of sparse networks has been studied extensively, with state-of-the-art results providing order-wise optimal designs for both bipartite and unipartite networks (Chen et al., 2015; Feng et al., 2024). However, identifying designs that achieve the sharp theoretical limit -- where the average degree asymptotically matches the lower bound of any graph to achieve a given loss level, has remained open. In this paper, we prove that the random regular graph achieves this sharp optimal condition in both bipartite and unipartite settings. Numerical experiments further validate this optimality. Our results highlight a practical guideline for sparse flexibility networks: designs that combine degree regularity with low edge correlations can achieve optimal performance under uncertainty.
A unimodular bijection between harmonic vectors of 2-isomorphic graphs
Let $G$ and $H$ be connected graphs that are 2-isomorphic. It is known that their Laplacian matrices are congruent by a unimodular matrix $U$.
In this paper we show (Thm. \ref{thm:main2})
that $U$ is a bijection between certain spaces of harmonic vectors on the vertices of $G$ and $H$. In particular (Cor. \ref{cor:main1}) if $u$ is a harmonic vector with respect to vertices $c, d$ in $H$ and the 2-isomorphism maps edge $(a,b)$ in $G$ to edge $(c,d)$ in $H$, then $uU$ is a harmonic vector with respect to vertices $a, b$ in $G$.
Rainbow cycles in triangle-free graphs
Let $G = (V,E)$ be an edge-colored graph, and let $δ^c(G) = \min_{v \in V} \{ d^{c}(v) \}$ where $d^c(v)$ is the number of colors on edges incident to a vertex $v$. We show that for a sufficiently large $n$ if $G$ is an edge-colored triangle-free graph of order $n$ that satisfies $δ^c(G)\geq (n+7)/5$, then $G$ contains a rainbow cycle of length four, which improves a bound of Ding et al. and is best possible. In addition, we show that given $k$, there is $n_0$ such that for $n\geq n_0$, if $G$ is an edge-colored triangle-free graph with $δ^c(G)> n/5+3$, then $G$ contains a rainbow cycle of length $4k$.
Designing Efficient and Reachable Routes: The $k$-Step-Central Shortest Path Problem
Designing rapid transportation routes requires balancing efficiency and reachability. Shortest-path models ensure direct, cost-efficient routes but ignore coverage, while centrality-based approaches maximize accessibility but do not enforce operational constraints. We study the problem of selecting a shortest path that maximizes reachability, measured as the number of nodes within a fixed distance of the path. To do this, we introduce the $k$-Step-Central Shortest Path problem and analyse its structural properties. We show that optimal solutions on unweighted graphs can be found in polynomial time and propose an algorithm with a novel pruning rule. We also prove that the problem becomes NP-hard when edge weights are introduced. Additionally, we show that our algorithm can be used to solve the NP-hard problem of finding the closeness-central shortest path in a graph. We demonstrate the efficiency and scalability of our algorithm on synthetic and real-world networks with up to 2,000 nodes. Our results show that improving reachability can substitute for route expansion: increasing the reach of transit lines drastically increases their coverage with shorter routes. This suggests that investments in active transport infrastructure that improve reachability can be more effective than extending primary routes, providing a data-driven basis for allocating resources in network design.
Ramsey-Turán Type Problem for Perfect Transitive Triangle Tilings in Digraphs
The classical Corrádi-Hajnal theorem states that for any multiple $n$ of $3$, if $G$ is a graph with $n$ vertices and $δ(G) \geq 2n/3$, then $G$ can be partitioned into $n/3$ vertex-disjoint copies of the triangle [\emph{Acta Math. Acad. Sci. Hung.}, 14:423-439, 1964]. Balogh, Molla and Sharifzadeh obtained a smaller lower bound by adding the independence number condition [\emph{Random Struct. Algorithms}, 49:669-693, 2016].
In this paper, we study perfect tilings in digraphs subject to conditions on the independence number and the degree. The independence number, $α(D)$, of $D$ is the maximum integer $k$ such that $D$ has an independent set of cardinality $k$. We show that if $D$ is an $n$-vertex digraph with $α(D)\leq o(1)n$ and $δ(D) \geq (1+o(1))n$, then $D$ has a perfect $T_3$-tiling, where $T_3$ denotes a transitive triangle. This minimum degree condition is asymptotically best possible. Moreover, our result implies the theorem of Balogh, Molla, and Sharifzadeh concerning perfect triangle tilings.
Intersection Arrays of Completely Regular Codes of Covering Radius One in Generalized Petersen Graphs
We determine all possible intersection arrays of completely regular codes of covering radius one in the generalized Petersen graphs \(GP(n,k)\), where \(n\geq 3\) and \(1\leq k<n/2\). In the equivalent language of perfect colorings, this amounts to enumerating all quotient matrices of perfect \(2\)-colorings, up to interchanging the two colors. Since \(GP(n,k)\) is cubic, there are only six possible nontrivial quotient matrices. For each of them, we give necessary and sufficient arithmetic conditions on \(n\) and \(k\) for its existence. The feasible cases are realized by explicit periodic colorings. The nonexistence part is obtained by reducing the local coloring conditions to cyclic systems of linear equations and applying a Fourier argument on roots of unity. Together with the previously known cases \(GP(n,2)\) and \(GP(n,3)\), the results give a complete arithmetic classification of quotient matrices, and hence of covering-radius-one completely regular code parameters, in the generalized Petersen family.
Block Tensor Rank of Sum-Rank Metric Codes
Sum-rank codes provide a generalized framework for Hamming and rank-metric codes, with codewords represented as tuples of matrices and weight given by the sum of the block ranks. In this paper, we introduce and study a block-tensor-rank invariant for sum-rank metric codes. To each code, we associate its \emph{block tensor rank}: the smallest number of block-simple tensors, namely rank-one matrices supported inside single blocks, whose linear span contains the code. In general, determining the block tensor rank of a sum-rank code is challenging. Our main structural result shows that the block tensor rank decomposes additively across the blocks of the code, thereby reducing its computation to a tensor-rank problem on each block projection. Consequently, we derive two complementary lower bounds on the block tensor rank, referred to as the \emph{projection-wise bound} and the \emph{coordinate-code bound}. Moreover, by combining the coordinate-code bound with the classical Singleton and Griesmer bounds for codes in the Hamming metric, we obtain explicit lower bounds, called the \emph{Singleton coordinate-code bound} and the \emph{Griesmer coordinate-code bound}, respectively. We further construct families of sum-rank codes whose block tensor ranks attain the Singleton or Griesmer coordinate-code bounds. These constructions are based on Hamming-metric codes achieving the corresponding classical bounds. Finally, we show that, in certain cases, the block tensor ranks of two known families of sum-rank codes in the literature do not attain the Singleton coordinate-code bound.
An explicit formula for Koornwinder moments and Rains' positivity conjecture
The asymmetric simple exclusion process (ASEP) is an important particle model with deep connections to orthogonal polynomials. Motivated by this connection, Corteel and Williams introduced the Koornwinder moments $M^{Z}_λ$ at $ t=q $, which generalize the moments of Askey--Wilson polynomials. They showed that the partition function of the two-species ASEP is equal to $M^{Z}_λ$ for a one-row partition $ λ$.
In this paper, we investigate a conjecture of Rains on the positivity of the minimal numerator of the Koornwinder moment $M^{Z}_λ$. We derive the first explicit formula for this moment, thereby obtaining a precise formulation of the conjecture by determining the minimal denominator of $M^{Z}_λ$. We also propose a generalization of the conjecture for the more general Koornwinder moments $M^{Z}_{λ,μ}$ indexed by two partitions at special parameter values.
We prove the generalized Rains' conjecture in two special cases: $(ξ,q)=(1,0)$ and $(ξ,q)=(1,1)$. For $(ξ,q)=(1,0)$, we construct a lattice path model and obtain a combinatorial formula for $M^{Z}_{λ,μ}$ in terms of non-intersecting lattice paths. For $(ξ,q)=(1,1)$, we establish an explicit product formula for $M^{Z}_{λ,μ}$ and give a combinatorial interpretation using lecture hall tableaux.
A random approach to the multibonacci sequence
This paper presents a random approach to the multibonacci sequence. We generalise the model introduced by Benjamin, Levin, Mahlburg, and Quinn, which is based on a random tiling method using dominoes and squares that leads to the Fibonacci sequence, and which was extended to the tribonacci case in a previous work by the authors. Our approach employs tiling with linear $k$-ominoes, $k=1,\ldots,s$, combined with specific colouring, to generate a weighted multibonacci sequence. For a natural random variable~$X$ defined by this model, we establish the distribution of $X$ in terms of multibonacci numbers and compute $\mathbb{E}[X] = 2^{s+1}-3$.
Counting contiguous superregular $4 \times 4$ matrices
This short paper has two goals. First, explaining a simple procedure (which is essentially folklore) that, sometimes, makes it possible to obtain a formula for the number of solutions to a system of multivariate polynomial inequalities over a finite field. Second, applying that procedure to prove a formula for the number of contiguous superregular $4 \times 4$ matrices over a finite field. The formula was previously conjectured by Appuswamy, Bazzani, Connelly, Ekaireb, Congero, and Zeger [Probability of super-regular matrices and MDS codes over finite fields, arXiv:2603.20983]. In addition, the same procedure is used to provide formulas for the number of contiguous superregular $3 \times 4$, $3 \times 5$, and $3 \times 6$ matrices over a finite field.
Inherited arcs in André planes of even order
André planes of order $q^t$ can be constructed from the Desarguesian plane $PG(2,q^t)$ using a process that involves replacing André nets. This article constructs ovals in André planes of order $q^t$, $q$ even and $t$ prime that are inherited from conics of the Desarguesian plane $PG(2,q^t)$. Further, it is shown that certain conics do not inherit to arcs under the process of André replacement.
On mesh patterns of short length: Equidistribution and enumeration
The classification and enumeration of short mesh patterns have emerged as two central directions in the area. We make substantial progress on both fronts. We construct an involution and a bijection that establish distributional equivalences for two classes of length-$2$ mesh patterns, thereby resolving a conjecture from 2019 and a recent conjecture. As a consequence, the best known upper bounds for the numbers of distribution-equivalence and Wilf-equivalence classes drop to $106$ and $47$, respectively. Combined with the known lower bounds of 105 and 46, conjectured to be exact, these results leave both classifications hinging on a single distribution-equivalence question conjectured in 2019, whose resolution would at once settle the remaining Wilf-equivalence case. We further conjecture that this unresolved equidistribution also holds for involutions, a subclass of all permutations.
We also determine the distributions of three additional classes of length-$2$ mesh patterns through a detailed structural analysis. Our work combines bijective techniques with generating-function methods, yielding new insights into the structure and enumeration of short mesh patterns.