math.CO ↗ arXiv
7121 papers in this category
On the Spectral Determination of Complements of \(T\)-shape Trees
A graph \(G\) is said to be \emph{determined by its spectrum} if every graph cospectral with \(G\) is isomorphic to \(G\). A \emph{T-shape tree} is defined as a tree containing exactly one vertex of maximum degree three. For any three positive integers \(\ell_1\),\(\ell_2\) and \(\ell_3\) with \( \ell_1\leq \ell_2\leq \ell_3\), we denote by \(T(\ell_1,\ell_2,\ell_3)\) the unique \(T\)-shape tree such that deleting its degree-three vertex \(v\) yields three disjoint paths \(P_{\ell_1}\), \(P_{\ell_2}\), and \(P_{\ell_3}\), i.e., \(T(\ell_1,\ell_2,\ell_3)-v = P_{\ell_1}\cup P_{\ell_2}\cup P_{\ell_3}\), where \(P_k\) stands for the path graph on \(k\) vertices. In this paper, we establish a complete spectral characterization for the complements of \(T\)-shape trees, settling a long-standing conjecture posed by Wang and Xu (2006). Specifically, we prove that the complement of \(T(\ell_1,\ell_2,\ell_3)\) is spectrally determined if and only if \((\ell_1,\ell_2,\ell_3) \notin \{(\ell,\ell,2\ell-2):\ell\ge2\}\). Moreover, all cospectral mates of the complement of the \(T\)-shape tree \(T(\ell,\ell,2\ell-2)\) are identified for every integer \(\ell\geq 2\).
A finite forbidden family with superlinear surplus and no three-factor product extremizers
We construct a fixed finite family $\mathcal L$ of ordinary forbidden subgraphs with $p(\mathcal L)=3$ and a constant $c>0$ such that $$ex(n,\mathcal L)>t_3(n)+cn^{3/2}$$ at every sufficiently large order. Nevertheless, the complement of every sufficiently large $\mathcal L$-extremal graph has at most two connected components. In particular, no such extremal graph is a complete join of three graphs of positive order. This gives a negative answer to a natural existence-only question motivated by the Simonovits Product Conjecture, in which one asks only for one product extremizer at each sufficiently large order.
On graphically local versions of metric embeddings
We consider the problem of graphically local metric embedding, i.e. embedding points from an arbitrary finite metric space into a target metric space while preserving, up to a small distortion, only a subset of the pairwise distances specified by a bounded degree graph $G$.
We provide a general reduction showing that, in many cases, this is no easier than embedding the points while approximately preserving all pairwise distances. As an illustration of our general reduction, we show that there exists a Euclidean metric space $X$ on $n$ points along with a graph $G = (X,E)$ of maximum degree $3$ such that any embedding of $X$ into $\ell_2^m$ which only preserves distances specified by $E$ up to a relative error of $(1+\varepsilon)$ must satisfy $m = Ω(\varepsilon^{-2}\log n)$.
Our lower bound matches the upper bound on the dimension coming from the Johnson-Lindenstrauss lemma for approximately preserving all pairwise distances; previously, such a lower bound was known only for the class of noncontracting embeddings [Schechtman-Shraibman, Discrete & Computational Geometry, 2009]. Moreover, the condition that the maximum degree of the graph is $3$ is best possible: for graphs $G$ of maximum degree $2$ (or more generally, treewidth at most $2$), any metric space embeds $G$-isometrically into any two-dimensional normed space.
Spanning $H$-subdivisions with Prescribed Path Lengths
We study spanning $H$-subdivisions in dense graphs where the length of every subdivision path is prescribed in advance. This problem is motivated in part by a question of Pavez-Signé [Combin. Probab. Comput. 33 (2024), 121--128], who asked whether the subdivision paths in a spanning $H$-subdivision can be required to have similar lengths.
Let $h\ge3$ be an integer and let $0<β\llα\ll1/h$. We prove that, for all sufficiently large $n$, every $n$-vertex graph $G$ with $δ(G)\ge n/2+\lfloor h/3\rfloor$ has the following property. For every graph $H$ with $h$ edges and no isolated vertices, write $E(H)=\{e_1,\ldots,e_h\}$, and every choice of integers $\ell_1,\ldots,\ell_h\ge4$ satisfying $\sum_{i=1}^h\ell_i=n-|V(H)|+h$ and $\sum_{\ell_i<αn}\ell_i\leβn$, the graph $G$ contains a spanning $H$-subdivision in which the $i$th edge of $H$ is replaced by a path of length exactly $\ell_i$. We also give a family of examples showing that a linear additive term in $h$ is necessary in general.
Linking invariants of spatial graphs
We recall definitions of linking numbers and Wu--Simon numbers for spatial graphs. We expose a `converse' to the Conway--Gordon--Sachs theorem (i.e. description of linking functions for embeddings $K_6\to\mathbb{R}^3$), and some results on Wu--Simon numbers. We conjecture and discuss a generalization of the Conway--Gordon--Sachs theorem to multiple linking. The exposition is based on plane diagrams, so no knowledge of spatial geometry is required.
Harmonic Higher Weight distributions, Simonis' Approach of MacWilliams Identity and Moments
We present a combinatorial proof of Simonis type MacWilliams identity for harmonic higher weight distributions of linear codes. Furthermore, we investigate the statistical moments of the harmonic higher weight enumerators for random linear codes. Defining the enumerators via rank functions of the generator matrices of linear codes, we prove that its expectation vanishes for all non-trivial harmonic functions due to the inherent symmetry of random matrices, and we also derive an explicit, non-trivial formula for the covariance.
A nonabelian Brunn-Minkowski inequality II
We prove that every unimodular locally compact group $G$ of noncompact Lie dimension $n$ satisfies the sharp Brunn--Minkowski inequality \[
μ_G(XY)^{1/n}\geμ_G(X)^{1/n}+μ_G(Y)^{1/n}, \] and establish a general form for arbitrary, possibly nonunimodular, locally compact groups. This fully confirms the nonabelian Brunn--Minkowski conjecture proposed by the present authors and Zhang. As an application, we obtain an isoperimetric inequality on symmetric spaces of noncompact type.
Two Questions on $G$-harmonic Tuples
An $n$-tuple of positive integers is $G$-harmonic if there are subgroups of $G$ having those indices whose cosets can be chosen pairwise disjoint, and $\mathbb{Z}$-harmonic if there are pairwise disjoint residue classes with those moduli. Ginosar asked whether every $G$-harmonic tuple is $\mathbb{Z}$-harmonic. Margolis and Schnabel proved this for tuples of length at most $4$, and analysed a particular family of length-$5$ tuples that would yield a counterexample if any member were $G$-harmonic. We show that the bound $4$ is sharp: $(6,6,6,10,15)$ is $A_5$-harmonic but not $\mathbb{Z}$-harmonic. Moreover, the five pairwise disjoint cosets realising this tuple can be extended to a coset partition of $A_5$ using only cosets of indices $6$, $10$, and $15$. The index tuple of this partition is not $\mathbb{Z}$-harmonic; because its indices repeat, this does not contradict the Herzog--Schönheim conjecture. We also prove that no member of the length-$5$ family analysed by Margolis and Schnabel in connection with possible counterexamples is $G$-harmonic for any group $G$.
A Loehr-Remmel bijection in the $n \times kn$ grid and sandpiles
We extend the $\mathsf{pmaj}$ statistic of Loehr and Remmel to labelled Dyck paths in the $n \times kn$ grid, and generalize their bijection sending the bistatistic $(\mathsf{dinv},\mathsf{area})$ to $(\mathsf{area}, \mathsf{pmaj})$, proving in this way a new combinatorial formula for $\nabla^k e_n$ ($k \geq 1$). At $k = 1$ we recover the original statistic and the original bijection. Moreover, we provide an explicit description of the recurrent configurations of the sandpile model on a family of graphs $G_{μ, ν}^{(k)}$, indexed by an integer $k \geq 1$ and two compositions $μ$ and $ν$: at $k = 1$ these are the clique-independent graphs of D'Adderio et al. Finally, we define a $\mathsf{delay}$ statistic on these configurations, and we show that, together with the usual level statistic, it can be used to provide a new combinatorial interpretation of the polynomials $\langle \nabla^k e_n,e_μh_ν\rangle$ from the $(n,kn)$-shuffle theorem. At $k = 1$ we recover the main results of D'Adderio et al.
Canonical traces of Artinian truncations of Stanley-Reisner rings
For a simplicial complex $Δ$ and integers $n_i\ge 2$, set $A_{Δ,\mathbf n}=\mathbb{k}[x_1,\ldots,x_m]/(I_Δ+(x_1^{n_1},\ldots,x_m^{n_m}))$. We give an exact combinatorial formula for the canonical trace for arbitrary truncation exponents and for an arbitrary simplicial complex after deleting irrelevant ghost vertices. The formula extends the free-face formula of Gasanova--Herzog--Hibi--Moradi for square-zero flag face algebras and recovers, in the simplex-boundary case, a special case of their formula for monomial almost complete intersections. As a first consequence, we classify the nearly Gorenstein algebras in this family: on each connected component $C$ of $Δ^{(1)}$, the induced complex is either the simplex $2^C$, with arbitrary exponents, or the boundary $\partial 2^C$, with every exponent equal to two. We also compute the Teter number on this nearly Gorenstein locus. For flag complexes the trace is generated by the free-face monomials for arbitrary exponents, and we characterize the equalities $\operatorname{tr}_A(ω_A)=\mathfrak m_A^q$. In the square-zero one-dimensional case we isolate the additional contribution coming from triangle components.
The Sylvester--Gallai dimension of graphs
For an undirected graph $G$, its \emph{Sylvester--Gallai dimension} $\text{SGdim}(G)$ is the largest affine dimension of a configuration of distinct real points indexed by $V(G)$ in which every line determined by an edge of $G$ is a special line (contains at least three points). Hence, the classical Sylvester--Gallai theorem can be stated as $\text{SGdim}(K_n)=1$ for the complete graph $K_n$. We initiate the systematic study of this new graph parameter and prove lower bounds for certain graph families (bounded degree, sparse, minor-free) as well as an upper bound for random graphs.
A polynomial time algorithm for almost bounded denumerant
Sylvester's denumerant $d(t; \boldsymbol{A})$ counts the number of nonnegative integer solutions to $\sum_{i=1}^{N} a_i x_i = t$, where $\boldsymbol{A} = (a_1, \dots, a_N)$ is a sequence of positive integers with $\gcd(\boldsymbol{A}) = 1$. In 2025, Xin and Zhang gave a polynomial time algorithm in $N$ for computing $d(t; \boldsymbol{A})$ when the entries of $\boldsymbol{A}$ are bounded by a constant. In this paper, we extend this algorithm by incorporating Barvinok's algorithm, enabling it to handle the case where a fixed number of entries of $\boldsymbol{A}$ are allowed to be unbounded.
Extending the Bipartite Parking Space
We prove an analogue of a theorem of Berget and Rhoades about extending the parking space $\mathrm{Park}_n$ to an $S_{n+1}$-module $\mathrm{Slim}_n$. Specifically, we show that the \textit{bipartite parking space} $\mathrm{Park}_{K_{n,m}}$, which naturally comes with an $S_{n-1} \times S_m$ action, extends to an $S_n \times S_m$-representation $\mathrm{Slim}_{n,m}$. We then formulate a conjecture generalizing this statement to any simple graph.
Spanning Structures in Multipartite Graph Traversals
Let $G$ be an $r$-partite graph such that the edge density between any two parts is at least $α$. We consider the problem of determining how large $α$ must be in order to guarantee that $G$ has a Hamiltonian traversal (an $r$-cycle subgraph containing exactly one vertex from each part), and show that this critical density tends to $\frac 1 2$ as $r$ increases. This resolves a conjecture of Badakhshian, Falgas-Ravry, and Sharifzadeh. We also study the critical densities necessary to guarantee the existence of other spanning structures in traversals, particularly subgraph factors, and obtain asymptotically the critical densities for traversal $F$-factor subgraphs for several classes of graphs $F$. The proofs of our results involve the absorption method.
Lascoux series, parking functions and noncrossing partitions
In the study of the generating series of Demazure characters, Lascoux used isobaric divided differences to define a family of polynomials $\mathcal{E}_σ(t)$ indexed by permutations $σ$, and asked for a satisfactory expression of these polynomials. In this paper we obtain a combinatorial interpretation of $\mathcal{E}_σ(t)$ for the permutation $σ=[2,3,\ldots,n,1]$ or its inverse in terms of the descent statistic of parking functions of length $n-1$. Based on this progress on Lascoux's open problem, we find that the polynomial $\mathcal{E}_σ(t)$ for this special case coincides with the $h$-polynomial $h(Δ(\mathrm{NC}_W),t)$ of the order complex of the noncrossing partition lattice associated to the irreducible Coxeter group $W$ of type $A_{n-1}$. We are inspired by this coincidence to give an operator approach to $h(Δ(\mathrm{NC}_W),t)$ for any finite Coxeter group $W$. As an application, we completely solve an open problem on $h(Δ(\mathrm{NC}_W),t)$ which was proposed by Athanasiadis, Douvropoulos and Kalampogia-Evangelinou. For any $k$-divisible noncrossing partition poset $\mathrm{NC}^{(k)}_W$, we also obtain the interlacing symmetric decomposition property of the $h$-polynomial $h(Δ(\mathrm{NC}^{(k)}_W),t)$.
Algebraic geometric framework of Rogers--Ramanujan identities
The Rogers--Ramanujan identities equate a $q$-series whose exponents are governed by a quadratic form with an infinite product supported on two residue classes modulo~$5$. Identities of this shape are scarce, and a central problem is to identify the structures that produce them in families. Huang, Jiang, and Oblomkov have proposed a source of a new kind: to each pair of coprime integers $a,b>1$ they attach an infinite-rank $q$-series $Z_{a,b}(q)$, assembled from counts of commuting nilpotent matrix pairs $(A,B)$ with $A^a=B^b$ over finite fields, and they conjecture that it equals an explicit product of $(a-1)(b-1)/2$ modular units of level $a+b$. The $a=2$ cases are the Andrews--Gordon identities; no case with $a>2$ was known. We prove the conjecture for $(a,b)=(3,4)$, $(3,5)$, $(3,7)$, and $(3,8)$. Our proofs pass through a finer sum-to-sum identity, which we conjecture for all $b$ coprime to $3$ and establish for all $b$ when $q=1$. Lau and Ono have since proved that identity in general, and with it the full $a=3$ case. These identities have been formalized and verified in Lean by AxiomProver.
On the damage number of graphs
We study a variant of Cops and Robbers in which the robber attempts to visit as many vertices of the graph as possible without being captured, while the cop aims to keep the robber confined to a small set of vertices. The \textit{damage number} of a graph $G$, introduced by Cox and Sanaei in 2019, is the maximum number of vertices the robber can visit in a game of Cops and Robbers on $G$.
In this paper, we determine damage numbers for several classes of graphs, including hypercubes, Hamming graphs, Johnson graphs, incidence graphs of projective planes, and Erdős-Rényi random graph $G(n,p)$, for $p \gg \log^{2/5}(n) / n^{1/5}$. We also show that the problem of determining the damage number of a graph is {\sf PSPACE}-complete.
A Proof of the Chen--Raspaud Conjecture
For every integer $k\ge2$, Chen and Raspaud conjectured that each graph $G$ with odd girth $\og(G)\ge2k+1$ and maximum average degree $\mad(G)<2+1/k$ has a $(2k+1:k)$-coloring. In this paper, we prove the conjecture.
A Ten-Vertex Counterexample to a Conjecture on Unstable Graphs
Mizzi conjectured that every nontrivially unstable graph contains cycles C_k and C_{2k} for some odd k. We give a connected, nonbipartite, vertex-determining counterexample on ten vertices. Its instability is certified by an explicit nontrivial two-fold automorphism, and its complete set of simple-cycle lengths is {5,5,6}.
Hamiltonian paths in the permutation digraphs $P(n,n-2)$
For $1\leq k<n$, let $P(n,k)$ be the directed overlap graph whose vertices are the $k$-permutations of $[n]$ and whose arcs are the $(k+1)$-permutations. Isaak proved that $P(n,n-2)$ has no directed Hamiltonian cycle for $n\geq4$ and asked whether it nevertheless has a directed Hamiltonian path. We answer this question affirmatively by showing that $P(n,n-2)$ has a Hamiltonian path.