math.CO ↗ arXiv
5274 papers in this category
${}_5F_4$ evaluations and a family of $π^2+\log^2$ identities
We evaluate the series $\sum_{n\ge1} z^n\big/\!\big(n^2\binom{4n}{n}\big)$, equal to $-\tfrac{z}{4}\,{}_5F_4\!\left(1,1,1,\tfrac43,\tfrac53;\tfrac54,\tfrac32,\tfrac74,2;\tfrac{27z}{256}\right)$, in closed form at an infinite family of algebraic points indexed by a rational angle $θ=jπ/N$. Each value equals $c\,π^2$ plus a universal rational quadratic form in three logarithms, with $c=-\tfrac13\left(1-\tfrac{2j}{N}\right)^2$. This is the quartic-base case reached but not evaluated by D'Aurizio and Di Trani. The proof is self-contained: an exact integer factor relating two weights, followed by Landen's identity, reduces the integral to a sum of squared logarithms.
Multiplicity-Isolated Cores and Chromatic Symmetric Reconstruction of Trees
Stanley's tree-isomorphism conjecture asks whether the chromatic symmetric function distinguishes nonisomorphic trees. We give a reconstruction criterion that permits repeated leaf-component orders. For a proper tree, collapse each leaf component to its center and record its order as a vertex weight. We prove that the chromatic symmetric function reconstructs the tree whenever every nonleaf vertex of this weighted core has a weight that occurs nowhere else in the core. Repetitions among core leaves are unrestricted. The proof uses only the leading star-basis partition and the coefficients immediately above it. As a consequence, the conjecture holds for an infinite class of diameter-six trees not covered by the condition that all leaf-component orders are distinct. We also give a canonical integer-partition model for arbitrary diameter-six trees and an exact cut-partition implementation intended for further work. The unrestricted diameter-six case remains open.
Near-MDS codes of lengths q+6 and q+7 from conics in PG(2,q), q odd
Near maximum distance separable (NMDS) codes of dimension 3 and length n over the finite field with q elements are equivalent to (n,3)-arcs in PG(2,q). For every odd prime power q we construct, by adding five suitable points to a conic of PG(2,q), a family of [q+6,3,q+3] NMDS codes and determine their weight distributions completely; three distinct weight enumerators occur, governed by two explicit quadratic-character conditions on the parameters. For every odd prime power q, no code of our family is monomially equivalent to a code of the recent [q+6,3,q+3] NMDS family of Fan, Wang and Xu, even where the weight enumerators of the two families coincide: the separating invariant is a triple of geometric data attached to the underlying arc. Extending the configuration by a sixth point on a distinguished external line, we further obtain [q+7,3,q+4] NMDS codes, together with their weight distributions, for every odd prime power q >= 11 (admissible parameters exist for no q <= 9); the existence proof combines exact and Weil-type character sum estimates with a finite computer verification. Our proofs are purely geometric and rest on a simple counting identity for the trisecant lines of a point set obtained by extending a conic. All the codes constructed are optimal locally recoverable codes with locality 2.
On the Triangle Inequality for the Jaccard Distance in Arbitrary Lattices
This paper presents new theoretical results on generalizing the Jaccard distance for lattices and real valuations. We demonstrate that when the valuation is strictly positive, monotone, and modular, the Jaccard distance satisfies the triangle inequality on arbitrary lattices, effectively generalizing earlier results that depended heavily on distributivity. Moving to relatively complemented distributive lattices (which safely drop the requirement for the global bounds found in Boolean algebras), we prove the triangle inequality holds as long as the valuation is positive, monotone, supermodular, and $\log$-submodular. Additionally, we adapt the symmetric-difference Jaccard formulation for submodular valuations to sectionally complemented distributive lattices. Shifting to necessary conditions, we prove that supermodularity is a strict requirement for the standard generalized Jaccard distance to operate as a valid metric. Finally, we map the practical value of relaxing these structural constraints to computational fields like quantum information theory, formal concept analysis, and machine learning, closing with a brief look at open mathematical problems.
On the enumeration of polymatroids
Let $p_k(n)$ be the number of $k$-polymatroids on $[n]$. We show that for every fixed $k \geq 1$, we have
\[
\left\lfloor \frac{k}{2} \right\rfloor \cdot \binom{n}{\lfloor n/2 \rfloor} \cdot (1+o(1)) \le \log_2 p_k(n) \le k \cdot \binom{n}{\lfloor n/2 \rfloor} \cdot (1+o(1)).
\]
We also show that for $k \geq 2$, almost all $k$-polymatroids are (i) connected, (ii) proper, and (iii) not linearly representable over any field.
Schur polynomials twisted by roots of unity and reciprocal pairs: torsion filters, fusion quotients, and an equal-rank reduction at odd order
Write $μ_t$ for all $t$-th roots of unity and $z^{\pm1}$ for $r$ free reciprocal pairs. We study $Φ_{t,r}(β)=s_λ(μ_t,z^{\pm1})$, $β=λ+δ$, and the question the companion paper left open after $r=1$: when does it vanish? We factor the evaluation into classical branching followed by a torsion filter, and the shape depends on the parity of $t$: the point lies in the orthogonal group with determinant $(-1)^{t+1}$. For odd $t$ it sits in the identity component: an ordinary restriction $SO_{2R'+1}\downarrow SO_{2m'+1}\times SO_{2r}$, the filter an odd orthogonal character at a principal element of order $h+1$. For even $t$ in the other: a twining, a virtual expansion, and a torsion element regular but not principal; there we prove the filter, with its sign. One description covers both: the filter is nonzero exactly when the shifted torsion point is regular semisimple in the group. Both are minimal-level fusion projections: the even of type $C$, the tensor sector of the odd of type $B$. Affine folding accounts for the values $0,\pm1$; what it does not survives as conjectures. The highest surviving weight is the dominant vertex of the numerator's Newton polytope minus the denominator's, the latter proved here, the former conditional on a single-orbit property; and the class there --- virtual for even $t$, a genuine multiplicity space for odd --- is conjecturally primitive, $\pm$ the generator of the rank-one quotient. For odd $t$ and one $Λ$ that numerator is a signed transversal count in $\{0,\pm1\}$ by the equal-rank character formula, leaving one division. We invert it in closed form, as a sum along an arithmetic progression of step $2t$; the quotient is $\pmε_t\det M$ for an explicit $0/{\pm}1$ matrix, so total unimodularity of $M$ would settle it. Two extremal statements remain. Everything unproved here is measured, in both parities.
Matchings and product growth in modular abelian independence groups
We unify two matching theories, one for finite subsets of groups and the other for finite-dimensional subspaces in a field extension. To achieve this, we study groups equipped with a compatible finitary matroid structure, termed here independence groups. Applying Rado's independent transversal theorem, we derive necessary and sufficient rank criteria for matchability between finite-rank sets. In the setting of a modular abelian independence group $G$, we develop an analogue of the $e$-transform from additive number theory, derive structural matching criteria, and characterize a global matching property by the absence of a submonoid $H$ satisfying $1<ρ(H)<ρ(G)$ and $ρ(H)<\infty$, where $ρ$ denotes rank. Examples of modular abelian independence groups are given and examined in the matching context. Arising from this matching theory, but formulated without any reference to it, is a product-growth bound that generalizes the Cauchy--Davenport theorem: we define a parameter $μ(G)$ and prove that $ρ(XY)\geq \min\{μ(G),ρ(X)+ρ(Y)-1\}$ for all nonempty finite-rank subsets $X,Y$ of $G$. Furthermore, $ρ(XY)$ is shown to be controlled from below by a submonoid of $G$ that stabilizes a flat, a phenomenon reminiscent of Kneser's theorem.
On Samuels' Conjecture
Let $0\leqμ_1\leq\cdots\leqμ_n$ and let $λ>\sum_{i=1}^nμ_i$. Let $X_1,...,X_n$ be independent nonnegative random variables satisfying $\mathbb{E}X_i=μ_i$, and write $D_i := λ-\sum_{k=1}^{i-1}μ_k$ for $1\leq i\leq n$. We prove that $$ \inf_{X_1,...,X_n} \mathbb{P}\left( \sum_{i=1}^nX_i<λ\right) = \min_{1\leq i\leq n} \prod_{j=i}^n \left( 1-\frac{μ_j}{D_i} \right). $$ The bound is sharp and is attained. This proves Samuels' conjecture. Feige's conjecture is thereby resolved, since it follows immediately from the equal-means case. The proof is self-contained.
An Erdős--Ko--Rado theorem for cross-intersecting families in the Euclidean inner product
Let $\binom{[n]}{k}$ be the set of all $k$-element subsets of the set $\{1,\ldots,n\}$ and let $\mathcal A,\mathcal B \subseteq \binom{[n]}{k}$ be two cross-intersecting families, that is, $A\cap B\neq \emptyset$ for any $A\in \mathcal A$ and $B\in \mathcal B$. The classical cross-intersecting version of the Erdős--Ko--Rado theorem, due to Pyber and Matsumoto--Tokushige, states that if $n\geq 2k$, then $|\mathcal A||\mathcal B|\leq \binom{n-1}{k-1}^2,$ where the equality holds for $n>2k$ if and only if $\mathcal A=\mathcal B$ is a star. In the present paper, we first give a stability result of this theorem by using Filmus's FKN theorem on the slice and linear algebra method as follows: There exists a constant $C>1$ such that if $n\geq 2.07k$ and $|\mathcal A||\mathcal B|\geq (1-ε)\binom{n-1}{k-1}^2$, where $ε\leq \frac{k^2}{C^2 n ^2 }$, then there is a star $\mathcal{S}$ such that $|\mathcal{S} Δ\mathcal A|\leq C ε\binom{n}{k}$ and $|\mathcal{S} Δ\mathcal B|\leq C ε\binom{n}{k}.$ Moreover, based on this stability result and the eigenvalues of the matrices of the Johnson scheme, we present an Erdős--Ko--Rado theorem for cross-intersecting families in the Euclidean inner product showing that if $n\geq 2k$ and $k\geq d \geq 0$, then $$\big\langle\mathbf{v}_d(\mathcal A),\mathbf{v}_d(\mathcal B)\big\rangle \leq \frac{\binom{k}{d}\binom{k-1}{d}}{\binom{n-1}{d}}\binom{n-1}{k-1}^2 +\binom{k-1}{d-1} \binom{n-d-1}{k-d}\binom{n-1}{k-1},$$ together with uniqueness and a corresponding stability result, where $\mathbf{v}_d(\mathcal A) \in \mathbb R^{\binom{[n]}{d}}$ is the $d$-degree vector of $\mathcal A$ whose $U$-entry is the number of members in $\mathcal A$ containing $U$.
Completing the Boundary Case of the Mahmoodian-Mirzakhani Conjecture and 117 New Computational 5-Cycle Decompositions of Complete Tripartite Graphs
Let $K_{r,s,t}$, with $r\le s\le t$, denote the complete tripartite graph whose partite sets have sizes $r,s,t$. Mahmoodian and Mirzakhani gave three necessary conditions for $K_{r,s,t}$ to admit a decomposition into 5-cycles and conjectured that these conditions are sufficient. One of the conditions is $t\le 4rs/(r+s)$. We prove the conjecture for every odd triple on the extremal boundary $t = 4rs/(r+s)$.
The proof is constructive. After reducing an arbitrary odd boundary triple to $(r,s,t)=(hga,hgb,hab)$, $a+b=4g$, we give an explicit cyclic decomposition of $K_{ga,gb,ab}$ and use the Mahmoodian and Mirzakhani scaling theorem to supply the common factor $h$. Together with the previously known all-even result, this settles the conjecture for every triple satisfying the boundary condition with equality.
We also report explicit computer-generated $C_5$-decompositions for 117 odd triples satisfying the necessary conditions, 116 of which are strict-interior cases. To the best of our knowledge, all 117 cases were previously unresolved: no decomposition for any of them had been reported, and none of the 117 triples is covered by earlier existence results, constructions, or their recursive consequences. Moreover, these 117 certificates together with the boundary construction settle every previously unresolved triple satisfying the necessary conditions with fewer than $4400$ edges. Each computation is supplied as a machine-readable cycle-list certificate and can be checked independently by a short Python verifier. We also give a complete human-readable edge-label-matrix certificate for $K_{9,19,23}$.
Cohomology for solutions of polygon equations
Polygon equations form a family of equations generalizing the pentagon equation. In this paper, we construct semi-simplicial sets of permitted colorings associated with set-theoretic solutions of polygon equations and use them to define the corresponding (co)homology groups. We investigate several properties of these groups and establish an equivalence of categories between set-theoretic solutions of polygon equations and higher Segal semi-simplicial sets satisfying certain conditions. As a special case, our result recovers the correspondence between bijective set-theoretic solutions of the pentagon equation and $2$-Segal semi-simplicial sets proved by Dyckerhoff--Kapranov.
A transfer principle for Steklov eigenvalue estimates of graphs
In this paper, we establish a new variant of the Burger-Brooks transfer principle, which allows us to apply spectral estimates for measured Riemannian surfaces to obtain the following result: There exists a universal constant $C>0$ such that, for every connected graph $G=(V, E)$ with boundary $B$, maximum degree $d_{\max}$ and genus $g$,
\[σ_k(G, B)\leq C d_{\max}\frac{g+k}{|B|},\] where $1\leq k\leq |B|$ and $σ_k(G, B)$ denotes the $k$-th Steklov eigenvalue of $G$ with boundary $B$. This bound is sharp up to a universal constant, thereby resolving a problem raised by Lin and Zhao [J. Lond. Math. Soc. (2) 112 (2025), Paper No. e70238]. Furthermore, when $B=V$, the above result yields an upper bound for the Laplacian eigenvalues of graphs, improving the previously known bounds of Kelner, Lee, Price and Teng [Geom. Funct. Anal. 21 (2011), 1117--1143] and Amini and Cohen-Steiner [Comment. Math. Helv. 93 (2018), 203--223].
A Structural Property of Generic Initial Ideals
We prove an asymptotic structural property of generic initial ideals. This single phenomenon yields results on Hilbert functions, persistence, hyperplane restriction, graded Betti numbers, combinatorial shadow minimization, and Lefschetz properties.
Enumerating forcing and strongly forcing (0,1)-matrices
Let $Q$ be a nonzero $s\times t$ $(0,1)$-pattern, and let $m\ge s$ and $n\ge t$. An $m\times n$ matrix is strongly $Q$-forcing if every $1$-entry belongs to an $s\times t$ submatrix equal to $Q$. Let $F^{*}(m,n,Q)$ count these matrices. Put $H=m-s+1$ and $W=n-t+1$. We prove \[ F^{*}(m,n,Q)\ge 2^{HW}. \] Writing $r$ and $c$ for the numbers of nonzero rows and columns of $Q$, equality holds if and only if \[ (H=1\text{ or }r=1)\qquad\text{and}\qquad(W=1\text{ or }c=1). \] Thus the minimum over all nonzero $s\times t$ patterns is $2^{HW}$, attained exactly by singleton patterns when $H,W>1$, and every fixed nonzero pattern has square growth rate $1$. We also refine the count by weight. If $o(Q)$ is the number of $1$-entries of $Q$, then the number of strongly $Q$-forcing matrices at the minimum positive weight $o(Q)$ is $\binom{H+r-1}{r}\binom{W+c-1}{c}$; at every fixed density in $(0,1)$, the logarithmic growth rate is the binary entropy when $m$ and $n$ are comparable. For ordinary forcing, where every $s\times t$ submatrix contains the $1$-entries of $Q$ in their prescribed positions, let $F(m,n,Q)$ be the number of forcing matrices and let $\mathfrak m(m,n,Q)$ be their minimum weight. We prove \[ F(m,n,Q)=2^{mn-\mathfrak m(m,n,Q)} \quad\text{and}\quad 2^{\,mn-\mathfrak m(m,n,Q)+HW} \le F(m,n,Q)F^{*}(m,n,Q) \le 2^{mn}. \] The lower product bound has the same equality cases as the strong-forcing lower bound above, while the upper product bound is attained exactly by singleton patterns. In particular, the product is at least $2$, with equality exactly when $s=m$, $t=n$, and $Q$ is the all-ones pattern.
Monochromatic components in dense 2-edge-coloured balanced bipartite graphs
We prove that each $2$-edge-coloured spanning subgraph $G$ of $K_{n,n}$ with $δ(G)\ge \lfloor (2n+1)/3 \rfloor$ can be covered by at most three monochromatic components. We provide a $2$-edge-coloured spanning subgraph of $K_{n,n}$ showing this minimum degree condition is sharp.
The Distance Spectrum Does Not Determine Bipartiteness
Over a decade ago, Koolen, Hayat, and Iqbal posed the problem of whether the distance spectrum determines bipartiteness within the class of connected graphs. In this paper, we resolve this problem in the negative: we explicitly construct an infinite family of counterexamples, where each pair comprises a connected bipartite graph and a connected non-bipartite graph with equal distance spectra.
Extremal graphs for a conjecture on the square energy of graphs
For a graph $G$, let $s^+(G)$ and $s^-(G)$ denote the sums of the squares of its positive and negative adjacency eigenvalues. We determine all equality cases in the conjecture of Elphick, Farber, Goldberg, and Wocjan that every connected graph $G$ on $n$ vertices satisfies \[
\min \{s^+(G),s^-(G)\}\ge n-1. \] Namely, equality for $s^+$ holds exactly for trees, whereas equality for $s^-$ holds exactly for trees and complete graphs. The proof combines the $P_3$-removal lemma in the no-cut-vertex case with a detailed equality analysis of the underlying doubly nonnegative matrix inequality. Every block is forced to be complete, and a minimal-counterexample argument gives an exact rank-one decomposition of the folded matrix $M^c$. The resulting non-edge vanishings, together with $AX=XA$, rule out an interface between a bridge and a nontrivial block.
A novel approach to determining chromatic number induced by labelings
Given a simple graph $G=(V,E)$ of order $p$ and size $q$, a bijection $f : V\cup E \to \{1, 2, \ldots, p+q\}$ is a local total neighborhood antimagic labeling of $G$ if the induced vertex coloring has the property $f^+_{tn}(u) \ne f^+_{tn}(v)$ for every two adjacent vertices $u$ and $v$ where $f^+_{tn}(u) = \sum (f(ux) + f(x))$ over every neighbor $x$ of $u$. The local total neighborhood antimagic chromatic number of $G$, denoted $χ_{ltna}(G)$ is the minimum number of distinct induced colors over all local total neighborhood antimagic labeling of $G$. In this paper, we determine the local total neighborhood antimagic chromatic number of the join of graphs with distinct parity orders.
A 15/31 Counterexample Family to the Albertson-Berman Conjecture
For a graph $G$, let $a(G)$ be the maximum number of vertices in an induced forest. The Albertson-Berman conjecture, posed in 1979, asserts that every $n$-vertex planar graph satisfies $a(G)\ge n/2$. Borodin's bound $a(G)\ge 2n/5$ remains the general lower bound toward this problem. We disprove the conjecture with an explicit 31-vertex plane triangulation $T$ satisfying $a(T)=15$. Moreover, for every integer $k\ge2$, we construct a simple planar graph $M_k$ with $|V(M_k)|=31k$ and $a(M_k)=15k$, so that $a(M_k)/|V(M_k)|=15/31<1/2$. Every member of the family has minimum degree five. The construction starts from a $31$-vertex seed obtained by substituting a $14$-vertex two-terminal gadget into a pentagonal bipyramid, and then uses annular joins along facial triangles to preserve the exact ratio. The resulting graphs are sphere triangulations, and hence maximal planar.
Invariant chains of graphs
We initiate a systematic study of Inc-invariant chains of graphs, the combinatorial counterparts of Inc-invariant chains of edge ideals arising in the theory of equivariant Noetherianity. Such a chain consists of graphs on growing vertex sets whose edge sets are compatible with the action of the monoid of strictly increasing maps on the positive integers. We show that several associated combinatorial invariants exhibit rigid asymptotic behavior. The independence number eventually stabilizes, and every fixed entry of the $f$-vector and the $h$-vector of the independence complex is eventually linear. For clique complexes, every fixed entry of the $f$-vector is eventually polynomial, whereas the entries of the $h$-vector are eventually quasi-polynomial. Moreover, the clique and chromatic numbers are eventually quasi-linear, and their difference is eventually at most one. We also prove that the matching number eventually attains the maximal value $\lfloor n/2\rfloor$. Finally, admissible and minimal paths eventually have lengths at most $3$ and $5$, respectively, and their maximal lengths stabilize. These results reveal strong asymptotic regularity in graph families governed by increasing symmetry.