math.CO ↗ arXiv
5274 papers in this category
Low Soundness Linearity Testing on the Half-Slice
Let $f: T\to \{ 0,1 \}$ be a Boolean function on the Boolean half-slice, $T$, \ie elements of $\{0,1\}^n$ with Hamming weight $n/2$. We show that if $f(x)+f(y)=f(x+y)$ holds with probability $\frac{1+δ}{2}$ over a uniform pair $(x,y)$ such that $x,y,x+y\in T$, then $f$ agrees with some linear function on at least $\frac{1+δ}{2}-o(1)$ fraction of the points in $T$. More generally, we show that if $f$ passes the natural $k$-query BLR test with probability $\frac{1+δ}{2}$ for any $k\geq3$, then it must agree with some affine function at $\frac{1+δ^{\frac{1}{k-2}}}{2}-o(1)$ fraction of the points in $T$.
The only other known linearity test for the slice in the low soundness regime (i.e., when $δ$ can be arbitrarily small) was given by Kalai, Lifshitz, Minzer, and Ziegler [FOCS'24]. Our result improves upon this result in two significant ways: firstly, it works for $k=3$ queries, instead of requiring $k\geq4$; secondly, our result is sharper, e.g., when $k=4$, we are able to conclude an agreement of $\frac{1+\sqrtδ}{2}-o(1)$ instead of $\frac{1+c\sqrtδ}{2}$ for $c\approx.0035$. In particular, our result matches (up to the $o(1)$ term) the conclusion one obtains over the full hypercube via the classical BLR analysis.
Our main technical contribution is a new dense model theorem using bounds on Krawtchouk polynomials. Using these Krawtchouk polynomial bounds, we also obtain a simple $k$-query test ($k\geq 5$) that avoids any use of the dense model machinery. This simplified test naturally extends to the slice over the $q$-ary hypercube, giving the first such result over larger alphabets.
The maximum number of paths of a given length in a nonhamiltonian graph
In 1980, Paul Erdős posed the following problem: For every positive integer $n,$ determine a nonhamiltonian graph of order $n$ having the maximum number of Hamilton paths. We solve the more general problem of determining the nonhamiltonian graphs of order $n$ having the maximum number of paths of length $k$ for given integers $n$ and $k$ with $1\le k\le n-1.$ The case $k=n-1$ gives a solution to Erdős's problem and the case $k=1$ corresponds to a theorem due to Ore and Bondy.
A note on the exact partition polytope of Frieze and Teng
In 1994, Frieze and Teng proposed an integer linear programming formulation of the NP-Complete Exact Partition problem, whose LP-relaxation they claimed was non-degenerate. Contrary to their claim, we show how an instance of Exact Partition can produce a degenerate polytope, and study conditions for which this can happen. We then give details of one of the smallest such degenerate Frieze-Teng polytopes, along with a closely related non-degenerate Frieze-Teng polytope that encodes an equivalent problem. We note that for the purposes of the complexity results in the literature that use their formulation, these degenerate polytopes can be avoided via a simple preprocessing step.
Motivic Segre classes of Schubert cells and the connective formal group law
We use the connective formal group law to define a one-parameter ($β$-)deformation of the motivic Segre classes of Schubert cells in the $d$-step flag variety. This $β$-deformation specializes to the motivic Segre classes of Schubert cells when $β=1$ and to the Segre-Schwartz-MacPherson classes of Schubert cells when $β=0$. We define rational function representatives for the $β$-deformed classes in the $d=1$ case in terms of a solvable lattice model, and we prove a combinatorial formula for the structure constants in the $β$-deformed basis in the $d=1$ case using Knutson-Tao puzzles. The proof of the puzzle formula involves intertwiners for representations of the multi-parameter quantum group of type $\widehat{a}_2$. We show that our $β$-deformations can be viewed as quotients of canonical elements in a quotient of the equivariant algebraic cobordism ring of the cotangent bundle of the flag variety by proving that the canonical elements satisfy a GKM type condition.
Spectral Sidorenko inequalities and edge-spectral supersaturation
We develop a spectral approach to Sidorenko-type inequalities and apply it to establish sharp edge-spectral supersaturation results. Let $H$ be a bipartite graph with $v$ vertices and $e$ edges, where $v\le e$, and write $M(G)=2e(G)$. We prove that Sidorenko's conjecture is equivalent to a spectral strengthening: \[
\hom(H,G)\ge M(G)^e |V(G)|^{v-2e} \quad \text{ if and only if }\quad \hom(H,G)\ge λ(G)^{2e-v}M(G)^{v-e}. \] We also introduce an operator-norm certificate which, via the Riesz--Thorin interpolation, gives direct proofs of the spectral Sidorenko inequality in several cases. The converse direction in the equivalence theorem is proved by a tensor-power spectral regularization lemma.
As an application, we obtain sharp asymptotic edge-spectral supersaturation results for complete bipartite graphs and even cycles. Let $S_{t-1,m}$ be the split graph with $m$ edges obtained by joining a clique $K_{t-1}$ with an independent set. For any $m$-edge graph $G$ with $λ(G)>λ(S_{t-1,m})$, $$\texttt{#} K_{t,t}(G)
\ge
\Big(\frac{2^{-(t-1)^2}}{(t!)^2}-o(1)\Big)m^t \quad \text{and}\quad
\texttt{#}C_{2t}(G)
\ge
\Big(\frac{(t-1)!}{2t^t}-o(1)\Big)m^t.$$ Both constants are best possible: the first is attained asymptotically by random graphs, while the second is attained by split graphs. The supersaturation proofs combine spectral Sidorenko inequalities with heavy-edge pruning process, a Perron-vector localized/delocalized dichotomy, and incidence-matrix inequalities.
Euclidean Steiner Shallow-Light Trees in Higher Dimensions
This paper proves a conjecture by Solomon about Steiner shallow-light trees (SLT) in Euclidean $d$-space: It is shown that for any finite point set $\mathbb{R}^d$, any root, and any $ε>0$, there is a Euclidean Steiner $(1+ε,O(\sqrt{1/ε}))$-SLT without any dependence on dimension. We also revisit the core example, designed by Solomon, in the plane and its generalization to $d$-space.
A Degree-Preserving Builder--Chooser Game
We propose a degree-preserving variant of the Builder--Chooser clique game of Pettie, Tardos, and Walczak. In each round, Builder chooses a matching, performs a degree-preserving growth (DPG) step by replacing the chosen edges with edges incident to a new vertex. Then partitions the entire edge set into two parts, and Chooser keeps one part. We begin the study of this game with the first nontrivial target, namely forcing a triangle. For triangle-free initial graphs we prove an exact one-round criterion, derive an exact one-round threshold on paths and exact forcing times on cycles, and identify the $5$-cycle as the first genuine two-round example. We then formulate a one-round criterion for larger cliques, prove a sharp exact result for forcing $K_4$ from triangle-free seeds. We establish general lower bounds on clique-forcing times from clique-free seeds, and isolate a conjectural template-amplifier lemma which, if proved, would imply that every clique is forceable from some triangle-free seed.
Sum of the $k$ Largest Eigenvalues of Symmetric Matrices: Theory and Applications
This paper establishes new upper bounds for the sum of the $k$ largest eigenvalues of symmetric matrices. When applied to the adjacency matrix of a graph, our results improve upon a related bound due to Mohar {\bf [On the sum of k largest eigenvalues of graphs and symmetric matrices, J. Combin. Theory Ser. B 99 (2009) 306--313]}. Furthermore, in the case of the Laplacian matrix, we prove that the well-known Brouwer's conjecture {\bf [Spectra of Graphs, Springer, New York, 2012]} holds for small values of $k$ for almost all graphs, thereby taking a significant step toward its complete resolution.
Retraction of the complement of smooth projective curves to a $2$-dimensional $Δ$-complex
Due to a result by Andreotti and Frankel \cite{andreotti1959}, it can be seen that the complement of a complex projective curve has the homotopy type of a $2$-dimensional CW complex. However, no general method has been given to compute explicitly this complex. Here we give a explicit construction of a $2$- dimensional $Δ$-complex that is a strong deformation retract of the complement of a Fermat curve of degree $d$ in the complex projective space.
The retraction is performed in several steps, using the branched cover structure of the Fermat curves over the degree $1$ case.
The V/L recursion for Macdonald's 7th Variation Schur polynomials
We generalize and prove the recursive relation \[ S_λ(V) = \sum_{L\subseteq V\text{ line}} S_λ(V \mathbin{/\mkern-5mu/} L) \] conjectured by I. G. Macdonald for his "7th variation" of the Schur functions. This variation is a family of polynomials over a finite field that mimic the (straight and skew) Schur polynomials using powers of the Frobenius.
Absorbing States of Binary Trust Gossip Are Counted by Plane Partitions
Published
• View Publication
• BIB
We study an opinion dynamics model in which $n$ agents hold directed trust or distrust opinions about one another, represented as a matrix $M \in \{0,1\}^{n \times n}$ in which 1 represents trust and 0 represents distrust. A gossip event $(a, z, y)$ causes agent $z$ to adopt agent $a$'s opinion of $y$, provided that $z$ trusts $a$. We characterize the absorbing states of this process, i.e. the states in which no further opinion change can take place: we find that they are the states in which agents are partitioned into isolated factions, each faction containing a subset of core members who share mutual trust, while the remaining peripheral members trust all core members but receive no trust in return. This structure establishes a bijection between absorbing states on $[n]$ and pairs consisting of a set partition $π$ of $[n]$ together with a choice of non-empty subset of each faction of $π$. The number of such absorbing states is therefore given by OEIS A143405, with exponential generating function $\exp(\exp(x) \cdot (\exp(x) - 1))$. In addition, up to isomorphism, the count equals the number of plane partitions of $n$, given by OEIS A000219, recovering MacMahon's classical product formula $\prod_{k \geq 1} 1/(1 - x^k)^k$. Exhaustive computation for $n \leq 7$ confirms both counts.
Ramsey goodness of complete multipartite graphs with one large part
For graph $G$, a connected graph $H$ of order $n$ is said to be $G$-good if $r(G,H)=(χ(G)-1)(n-1)+s(G)$, where $χ(G)$ is the chromatic number of $G$ and $s(G)$ is the minimum size of a color class in a $χ(G)$-coloring of $G$. Let $K_{p+1}(α;n)$ denote the complete $(p+1)$-partite graph with $p$ partite sets of size $α$ and one partite set of size $n$. We determine all graphs $G$ for which $K_{p+1}(α;n)$ is $G$-good for large $n$. The characterization depends on the parameter $\mathrm{snd}(α)$, the smallest non-divisor of $α$.
Polytopes and posets associated to preorders
Preorder polytopes, defined from preorders on finite sets, are introduced and studied from a lattice point enumeration point of view. They naturally generalize arbor polytopes, recently introduced and studied by the second named author. Preorder polytopes are shown to be lattice polytopes which satisfy a certain duality relating their Ehrhart polynomials with the zeta polynomials of their posets of lattice points. A combinatorial interpretation of the normalized volume of a preorder polytope is proven, together with formulas for the Ehrhart polynomial and the $h^\ast$-polynomial, and a combinatorial interpretation of the latter is conjectured. Several conjectures and results on the lattice point enumeration of arbor polytopes are generalized to preorder polytopes, new conjectures are proposed and new interesting examples of preorder polytopes are studied.
Locally anti-blocking $\mathbf{g}$-polytopes for flow polytopes
Given an acyclic directed graph (DAG), the space of strength one flows is a lattice polytope called the flow polytope of the DAG. If the DAG admits an ample framing, then the flow polytope is Gorenstein and it linearly projects onto a reflexive polytope called the $\mathbf{g}$-polytope. We provide a combinatorial characterization of amply framed DAGs that have a locally anti-blocking $\mathbf{g}$-polytope, and we characterize the minimal faces of the $\mathbf{g}$-polytope containing a fixed pair of vertices. We prove in this case that the unimodular triangulation of the $\mathbf{g}$-polytope induced by the DKK triangulation of the flow polytope is a pulling triangulation, and we characterize the pulling orders that yield the DKK triangulation. To prove our results, we introduce and study coherence diagrams, a combinatorial model of coherence for amply framed DAGs with locally anti-blocking $\mathbf{g}$-polytopes. We conclude by indicating possible extensions of these results to the setting of $\mathbf{g}$-polytopes for gentle Nakayama algebras.
Above and below
We study a family of above-below Ramsey functions $\operatorname{AB}^{(d)}(k)$ defined for sequences of points in $\mathbb R^d$ whose projections to $\mathbb R^{d-1}$ have cyclic order type. The case $d=3$ is the above-below function $\operatorname{AB}(k)$ that was first introduced by Pohoata and Zakharov in their work on the Erdős-Szekeres problem in $\mathbb{R}^{3}$. We prove the sharp estimate \[ \operatorname{AB}(k)=2^{2^{Θ(k)}}, \] and, more generally, show that $\operatorname{AB}^{(d)}(k)$ is closely related to the higher-order cup-cap function of Eliáš and Matoušek and the monotone Ramsey numbers of Balko.
The list r-hued coloring of trees and unicyclic graphs
Let $r$ be a positive integer and $G$ be a graph. The list $r$-hued chromatic number of $G$, denoted by $χ_{L,r}(G)$, is the smallest integer $k$, such that for each $k$-list $L$ of $G$, $G$ has an $(L,r)$-coloring. It is proved in [Discrete Math. 306 (16) (2006) 1997-2004] that every tree $G$ satisfies $χ_{r}(G)=\min\{r,Δ(G)\}+1$. It is known that every cycle graph $C_{n}$ with order $n$ has $χ_{L,r}(C_{n})=χ_{r}(C_{n})$. The main results are the following:
$(1)$ If $G$ is a tree, then $χ_{L,r}(G)=\min\{r,Δ(G)\}+1$;
$(2)$ Let $G$ be a unicyclic graph which is not isomorphic to the cycle $C_{n}$. If $n\neq 5$ and $r\geq3$, then $χ_{L,r}(G)=\min\{r,Δ(G)\}+1$; otherwise, $\min\{r,Δ(G)\}+1\leqχ_{L,r}(G)\leq\min\{r,Δ(G)\}+2$.
Sufficient conditions for fractional $k$-factor-critical graphs with minimum degree to be $k$-factor-critical
A graph $G$ is called $k$-factor-critical if after deleting any $k$ vertices the remaining subgraph still has a perfect matching. Fan and Lin [Adv. in Appl. Math. 174 (2026) 103019] posed an adjacency spectral condition for a graph with minimum degree to be $k$-factor-critical. A graph $G$ is fractional $k$-factor-critical if after deleting any $k$ vertices the remaining subgraph still has a fractional perfect matching. Clearly, the fractional $k$-factor-criticality of a graph is a necessary property for a graph to be $k$-factor-critical. Jia, Fan and Liu [Discrete Appl. Math. 386 (2026) 255-263] proposed a tight sufficient condition in terms of the spectral radius for a graph with fractional $k$-factor-criticality to be $k$-factor-critical. A natural question arises: can we derive analogous sufficient conditions by incorporating the minimum degree parameter of graphs?
We first establish a lower bound on the size to ensure that a $(k+1)$-connected graph with fractional $k$-factor-criticality is $k$-factor-critical, where $k$ is a positive integer with $k\geq1$. Moreover, we provide a sufficient condition in terms of the spectral radius for a $(k+1)$-connected graph with fractional $k$-factor-criticality to be $k$-factor-critical. Our results generalize the result of
Jia, Fan and Liu to $(k+1)$-connected graphs. Furthermore, our spectral conditions apply to a broader family of connected graphs compared with the results of Fan and Lin, as well as Jia et al.
$2$-word-$π$-representable Graphs
This paper investigates the new notion of $2$-word-$π$-repre\-sentable graphs: the nodes of the graph correspond to the letters of the two words and there exists an edge between two nodes if the projections of any two letters of both words are equal. The benefit of not only using one word for a representation as introduced by Kitaev and Pyatkin is that every graph is $2$-word-$π$-representable. We present an algorithm that returns two representing words for any graph. Aside, we show that every permutation graph is representable by two $1$-uniform words and give constructions how graph operations on $2$-word-$π$-representable graphs can be realised on their representing words which give further insights into the representation of cographs.
On the cycle structure of the symmetric tensor power of permutations
Problem 8.1 in Astaiza et. al. asks about the relationship between the cycle decomposition of a permutation $σ$ and that of its symmetric tensor power $σ^{\odot k}$. In this paper, we investigate this question and give formulas for computing the number of fixed points and, in the case of a permutation containing at most one cycle of length greater than one, the number of $s$-cycles.
Inhomogeneous Approximation by Sums of Roots
Let $d\geq 2$ and $k\geq 1$ be fixed. We prove that, for every $ε>0$ and every real $β$, there exist integers $1\leq b_1,\ldots,b_k\leq N$ such that \[
\left\|\sum_{j=1}^k b_j^{1/d}-β\right\|
\ll_{d,k,ε} N^{-k/d+ε}. \] The proof combines Schmidt's Subspace Theorem with an explicit inhomogeneous transference argument. This improves Iyer's (2025) higher-root exponent $(k-d+1)/d^2$, and also the analogous $d$-ary full-basis exponent away from the cases where $k+1$ is a power of $d$, at the cost of ineffectivity. We also record a conjectural uniform exponent $k-1/d$. In the square-root case $d=2$, we give explicit integer-target constructions for $k=2,3,4$ attaining this conjectural value.