math.CO ↗ arXiv
5274 papers in this category
Exponential random graph models with soft clique constraints
Let $r\geq3$ be fixed, and let $\mathbf{G}_n$ be the set of all simple graphs with vertex set $[n]=\{1,\ldots,n\}$. We consider an exponential random graph model which gives higher probability to $G \in \mathbf{G}_n$ than to $H \in \mathbf{G}_n$ if $G$ has fewer $r$-cliques than $H$. But all graphs in $\mathbf{G}_n$ have positive probability. The degree to which graphs with fewer $r$-cliques are given higher probability is determined by a positive weight $w$. We prove that, asymptotically almost surely as $n \to \infty$, a random graph from $\mathbf{G}_n$ has a vertex partition into $r-1$ parts of roughly equal size, the density of edges between the parts is close to $1/2$, and for every $\varepsilon > 0$ the density of edges within any part is less than $\varepsilon$. The asymptotic structural properties are independent of the weight $w$ as long as it is positive. We also extend the result to the context of several clique sizes, each one with its own weight.
The Cayley Completion of a Graph
A finite connected graph is rarely a Cayley graph. We measure how far it is from being one: given $G$ with $n$ vertices and $m$ edges, how few edges must be added, or added and deleted, before the result is a Cayley graph of an abelian group of order $n$ on the same vertex set? This defines two invariants, the completion number $γ^{+}$ (additions only) and the Cayley edit distance $γ_{\triangle}$ (both), each normalized by $m$. We show that deciding the edit version is NP-complete already for a fixed cyclic host, by a reduction from Hamiltonian Cycle in which the edit cost of a labeling is $n+m-2k$ when it realizes a longest path with $k$ edges; the optimal cost is $m-n+2pp(G)$, bounded in polynomial time by the matching number. We prove that irregularity alone forces $γ^{+}(G)\ge nΔ^{*}/(2m)-1$, where $Δ^{*}$ is the least $d\geΔ$ with $nd$ even, computable in linear time from the degree sequence; we characterize equality exactly. It is attained on the star, where $γ^{+}(K_{1,q})=(q-1)/2$ and the star maximizes $γ^{+}$, while $γ_{\triangle}$ stays bounded by an absolute constant. We determine paths and grids exactly, $γ^{+}(P_n)=γ^{+}(P_n\,\square\,P_n)=1/(n-1)$, and show $γ_{\triangle}(K_{1,q})\to 2$, not the $3/2$ suggested by the additive case. We report an exhaustive certified census of all $995$ connected graphs on at most seven vertices. The degree bound is attained on $89.4\%$ and the two invariants separate strictly on $84.7\%$, though both rates vary sharply with order: attainment $100\%,100\%,84.8\%,89.7\%$ and separation $0\%,61.9\%,73.2\%,87.7\%$ for $n=4,5,6,7$, dominated by the $853$ graphs on seven vertices. The star uniquely maximizes both. Edit count and the bi-Lipschitz distortion of the completed host are independent, moving oppositely on stars and paths.Data and certificates at doi:10.5281/zenodo.21852006.
Counting solutions to quadratic forms in eight prime variables of off-diagonal rank $3$
In this note we count the number of solutions to a non-degenerate quadratic form in eight prime variables of off-diagonal rank $3$. It is a continuation of work by L. Zhao, who counted solutions to forms in at least nine variables, by B. Green, who counted solutions to 'generic' (which implies off-diagonal rank $4$) forms in eight variables, and by J. Dobrowolski, who counted solutions to forms in eight variables of off-diagonal rank at most $2$.
Breaking the Exponential Barrier: The First Polynomial-Time Algorithm for the Győri-Lovász Theorem
We give the first polynomial-time algorithm, after half a century, for the celebrated Győri-Lovász theorem, which resolved a conjecture of Frank (1975). The theorem, one of the simplest existential theorems to explain, states that every $k$-connected graph can be partitioned into $k$ disjoint connected subgraphs of arbitrary prescribed positive sizes. This is a fundamental structural result with broad applications, such as flexible allocation of connected subnetworks of prescribed sizes in sufficiently connected cloud infrastructures.
While Lovász (1977) gave a highly non-constructive proof for a stronger directed version using algebraic topology, Győri's original constructive proof (1976) requires exponential time. Despite more than 50 years of effort, no polynomial-time algorithm was known even for $k>4$. Determining the computational complexity of the Győri-Lovász theorem---whether it admits even a sub-exponential-time algorithm or is computationally hard (in particular, PLS-complete or PPAD)---has remained one of the central open problems in algorithmic graph theory.
In this paper, we finally resolve this long-standing problem by a fundamentally new proof of the existential theorem via introducing the novel concept of \emph{flow-essential assignment}, which genuinely marries matching and cut structures and yields the first polynomial-time constructive algorithm for the Győri-Lovász theorem. In fact, we obtain a polynomial-time algorithm for Lovász's stronger directed version, whose proof was non-constructive even for DAGs; for DAGs, we further obtain a near-linear-time algorithm. We also develop polynomial-time algorithms for weighted generalizations where the seminal work of Chen, Kleinberg, Lovász, Rajaraman, Sundaram, and Vetta (JACM'07) on confluent flows established only existential non-constructive results.
Asymptotic Bounds on Generalized Covering Radii of Binary Primitive BCH Codes
Fix integers $e\ge2$ and $r\ge1$. In this paper we study the $r$-th generalized covering radius $ρ_r\left(BCH(e,m)\right)$ of the binary primitive $e$-error-correcting BCH code $BCH(e,m)$. By using an algebraic-geometric reformulation of the covering problem together with an explicit Lang-Weil estimate, we prove that \[ρ_r\bigl(\BCH(e,m)\bigr)\le(r+1)e-1\] for all sufficiently large $m$. For $e\ge7$, this improves a recent result of Belinsky--Zabokritskiy. Our proof gives a substantially simpler geometric approach to this upper bound. In particular it implies that \[ρ_2\bigl(BCH(e,m)\bigr)=3e-1\] for all sufficiently large $m$. Previously it was only known that \[ρ_2\bigl(\BCH(e,m)\bigr) \in \left\{3e-1,3e\right\}\] for all sufficiently large $m$.
A $(q,t)$-Overview of $q$-Analogs
By a simple homogenization process, one may turn a $q$-analog into a symmetric $(q,t)$-analog. Although simple, this bijective correspondence makes many concepts and identities become more natural, and proofs follow readily from classical properties of symmetric functions in two variables. A more intricate non-homogeneous extension is also developed. We illustrate this approach, revisiting recent developments in the study of $γ$-positivity, Lucas analogues, and the monoid of Cyclotomic generating functions. This also leads naturally to new constructions and conjectures. We further explore other avenues of investigations, included graded and equivariant $γ$-positivity and $γ$-anti-positivity (also known as alternatingly $γ$-positive).
The toughness of random graphs
For a connected and non-complete graph $G$ of order $n$, its toughness is defined as \[
τ(G)=\min\bigl\{|S|/c(G-S):S\subseteq V(G),\ c(G-S)>1\bigr\}, \] where $c(G-S)$ denotes the number of components of $G-S$. Let $α(G)$ denote the independence number of $G$. An elementary bound on toughness is $$τ(G)\leq\frac{n-α(G)}{α(G)}.$$
Let $G(n,p)$ be the binomial random graph on vertex set $[n]$. Set $a=α(G(n,p))$. In this paper, we prove that \[
τ(G(n,p))=\frac{n-a}{a}+o(1) \] with high probability. Moreover, we show that there is a sequence $n_m\to\infty$ such that with high probability, \[
τ(G(n_{m},p))
\le\frac{n_{m}-a}a-\frac{1}{a}. \]
Structural Corrections to the Bethe Approximation of the Permanent
We study deterministic approximation algorithms for the permanent of a nonnegative matrix through the Bethe permanent, an approximation computable in polynomial time. The tight analysis of Anari and Rezaei gives a universal comparison between the permanent and the Bethe permanent within a factor $(\sqrt 2)^n$. The simple example of the unweighted $4$-cycle $C_4$ (or a union of disjoint $C_4$'s) shows that this bound is tight.
We show that such $4$-cycle obstructions can be identified and exploited algorithmically. Given a Bethe optimizer, our algorithm identifies nearly isolated weighted $2\times2$ blocks and peels off a vertex-disjoint family of them. If the total weighted correction is large, we can improve the Bethe approximation; if it is small, we show that the Bethe permanent is within a factor of $(\sqrt2 - \varepsilon)^n$ of the truth. Combining these facts, we obtain a deterministic polynomial time $(\sqrt2-\varepsilon)^n$-approximation algorithm for the permanent of an arbitrary nonnegative $n\times n$ matrix, where $\varepsilon>0$ is some absolute constant.
Properties of the $\mathcal V$-Monoid of Weighted Leavitt Path Algebras
For a row-finite weighted graph $(E,w)$, Preusser showed that the monoid $\mathcal{V}(L_k(E,w))$ of finitely generated projective modules over the weighted Leavitt path algebra $L_k(E,w)$ is isomorphic to a combinatorially defined weighted graph monoid $\mathcal{M}(E,w)$. We study two structural properties of $\mathcal{M}(E,w)$: confluence and cancellativity. We introduce a reduction system on the free commutative monoid presenting $\mathcal{M}(E,w)$, obtain sufficient conditions for non-confluence by constructing explicit non-confluent triples, and provide a complete confluence characterization for certain classes of weighted graphs. Turning to cancellativity, we work within Preusser's class of weighted graphs satisfying Condition (LPA), for which $L_k(E,w)$ is isomorphic to an unweighted Leavitt path algebra $L_k(F)$ via a two-step construction. We introduce an auxiliary graph associated to the intermediate step of this construction and use it to give a graph-theoretic characterization of when $\mathcal{M}(E,w)$ is cancellative. Finally, under Condition (LPA), we show that Preusser's construction upgrades to a graded isomorphism $L_k(E,w) \cong_{\operatorname{gr}} L_k(F)$ with respect to the standard $\mathbb{Z}^{λ(E,w)}$-grading of weighted Leavitt path algebras, yielding $\mathcal{V}^{\operatorname{gr}}(L_k(E,w)) \cong \mathcal{V}^{\operatorname{gr}}(L_k(F))$ as $\mathbb{Z}^{λ(E,w)}$-monoids.
Extensions of Hindman's theorem via finite colorings of topological groups
We study the partition regular properties of topological groups, proving several extensions of Hindman theorem where monochromatic sets of finite sums are required to satisfy additional topological constraints. In particular, our results imply that for every nowhere dense set $C \subseteq \mathbb{R}^n$, there exists an open set $P \supseteq C$ such that for any finite coloring of $\mathbb{Q}^n \setminus P$, there is a family $\mathcal{A}$ of sequences in $\mathbb{Q}^n \setminus P$ which satisfies the following properties: (i) for each $A\in\mathcal A$, the set $\operatorname{FS}(A)$ of finite sums of $A$ is a closed discrete subset of $\mathbb R^n$; (ii) the set $\bigcup_{A\in\mathcal A}\operatorname{FS}(A)$ is monochromatic; and (iii) the set $\bigcup_{A\in\mathcal A}\operatorname{FS}(A)$ is dense in an open unbounded subset of $\mathbb R^n$.
Bang vectors in the real polarization problem: The exact dimensional range
We determine the exact dimensional range in which a normalized longest signed sum, which we call a Bang vector, always satisfies the real polarization inequality: this prescription is universally valid if and only if \(n\leq 14\). For every \(n\geq 15\) we construct \(n\) unit vectors whose all-positive sum is, up to global sign, the unique longest signed sum, while its normalized direction has polarization product smaller than \(n^{-n/2}\). The counterexamples are given by a single explicit family, and for the same configurations we exhibit nonmaximal signed sums whose normalized directions do satisfy the polarization bound.
Colorful Exponential Random Graph Models
In this paper, we initiate the study of colored exponential random graph models (ERGMs), a class of exponential-family models for networks with multiple types of edge relations. Using the framework of probability graphons, we first derive a variational representation for the limiting free energy, whose maximizers determine the asymptotic structure of typical samples from the model. Then we identify several general families of colored ERGMs exhibiting replica symmetry, where the variational problem has constant maximizers and the model asymptotically concentrates on product colorings with independent edges. For general colored ERGMs, we derive Euler-Lagrange fixed-point equations for the variational maximizers, which in turn yield a general high-temperature uniqueness criterion. In the complementary zero-temperature regime, we establish a two-level selection principle: the leading energy term determines the ground states, while the lower-order energy terms, combined with entropy, act as a tie-breaker to determine the asymptotic zero-temperature structure of the model. We illustrate this principle through the induced wedge and rainbow triangle ERGMs. Both models have natural interpretations in multitype networks, and their zero-temperature limits exhibit interesting structures that connect to well-known results in extremal combinatorics. We further establish finite-temperature symmetry breaking for both these models and complement the rigorous results with numerical experiments.
The First Two Exceptional Boundaries for Sets with Few Subset Sums
Let $A$ be an $n$-element set of positive real numbers, and write $\operatorname{FS}(A)$ for its subset sums, including the empty sum. Write $T_n=\binom{n+1}{2}$. For $0\le M\le n-4$, Carpenter, Defant and Kravitz classify all $A$ satisfying $\lvert\operatorname{FS}(A)\rvert\le T_n+1+M$. We determine the next two cases for every $n\ge5$. At $M=n-3$, the sets are precisely the positive dilates of primitive positive-integer sets $B$ with $\sum B\le T_n+n-3$, together with the dilates of $\{1,3,4,\ldots,n+1\}$. At $M=n-2$, the integer total bound increases by one, and the exceptional templates are $\{1,3,4,\ldots,n+1\}$, $\{2,3,\ldots,n+1\}$, and $\{1,3,4,\ldots,n,n+2\}$. We also determine all equality cases and show that $n=5$ is the sharp threshold, including for commensurability at $M=n-2$. The proof records the missing subset sums at the two endpoints and derives a transition formula that extends the exceptional configurations to arbitrary $n$.
A complete solution to the Tokushige measure conjecture and its stability
We resolve three conjectures proposed by Tokushige in 2013 about cross $t$-intersecting families of subsets and integer sequences. For $0<p<1$ and $\mathcal F\subseteq2^{[n]}$, define the $p$-biased measure by $μ_p(\mathcal F)=\sum_{F\in\mathcal F}p^{|F|}(1-p)^{n-|F|}$. Two families $\mathcal F_1,\mathcal F_2\subseteq2^{[n]}$ are cross $t$-intersecting if $|F_1\cap F_2|\geq t$ for every $F_1\in\mathcal F_1$ and $F_2\in\mathcal F_2$. We prove that, for every $n\geq t\geq 2$ and $0<p_1,p_2\leq1/(t+1)$, such a pair satisfies $μ_{p_1}(\mathcal F_1)μ_{p_2}(\mathcal F_2)\leq(p_1p_2)^t$. When $p_1,p_2<1/(t+1)$, equality holds if and only if both families are the same $t$-star $\mathcal S_T=\{F\subseteq[n]:T\subseteq F\}$ for some $T\in\binom{[n]}{t}$.
Together with the previously known case $t=1$,
this completely resolves Tokushige's measure conjecture. We also prove that every pair whose measure product is close to the maximum must be close to a common $t$-star. More precisely, if $p_1,p_2<1/(t+1)$ and $μ_{p_1}(\mathcal F_1)μ_{p_2}(\mathcal F_2)>(1-\varepsilon)^2(p_1p_2)^t$, then there exists $T\in\binom{[n]}{t}$ such that $μ_{p_i}(\mathcal F_i\mathbin{\triangle}\mathcal S_T)<C\varepsilon$ for $i=1,2$, where $C$ depends only on $t,p_1,p_2$. This improves Tokushige's conjectured $C\sqrt{\varepsilon}$ estimate to $C\varepsilon$.
For integer sequences, we prove that if every sequence in $\mathcal H_1\subseteq[m]^n$ agrees with every sequence in $\mathcal H_2\subseteq[m]^n$ in at least $t$ coordinates, then $|\mathcal H_1||\mathcal H_2|\leq m^{2(n-t)}$ for all $n\geq t\geq1$ and $m\geq t+1$. We further obtain a more general result in which a separate agreement requirement is imposed for each possible value. This extends a theorem of Frankl and Kupavskii and recovers their earlier cross intersection--union product theorem.
Energy Maximisation for Integral Circulant Graphs with Opposite-Parity Exponents
For a finite graph, its energy is the sum of the absolute values of its adjacency eigenvalues. Let p and q be distinct odd primes with q at least 5, and let r be at least 1 and s be nonnegative. We determine the maximum energy among all integral circulant graphs whose order is p to the power 2r times q to the power 2s plus 1. The unique energy-maximising divisor set is the checkerboard set consisting of all divisors p raised to the power i times q raised to the power j, where i ranges from zero to 2r, j ranges from zero to 2s plus 1, and i plus j is even, and we obtain an explicit closed formula for the corresponding maximum energy. In particular, for q at least 5, when r and s are both equal to 1, our theorem establishes the conjectured maximality of Roldan's checkerboard divisor set and recovers his closed-form energy formula. The main ingredient is a semidefinite parity theorem for weighted prime-power Ramanujan transforms, proved by a parity-independent congruence reduction and a block Schur recurrence. Centring the divisor matrix then yields a sharp sign-matrix inequality from semidefinite bounds for a Kronecker-product operator. Analysing equality identifies the checkerboard pattern and proves uniqueness.
Anti-Ramsey Number for Suspension of Edge-Critical Graphs
An edge-colored graph is called a rainbow graph if all its edges have distinct colors. The \textit{anti-Ramsey number}, denoted by $\ar(n,F),$ for a fixed graph $F$ and a positive integer $n$, is the maximum number of colors used in an edge-coloring of the complete graph $K_n$ that contains no rainbow copy of $F$. Meanwhile, the \textit{Turán number}, denoted by $\ex(n,F),$ for graph $F$ and $n$, is the maximum number of edges in an $n$-vertex graph that does not contain $F$ as a subgraph. For a vertex $v$ and a multiset $\mathcal{H}$ of graphs, the \textit{suspension} $\mathcal{H} + v$ of $\mathcal{H}$ is the graph obtained by connecting the vertex $v$ to all vertices of $H$ for each $H \in \mathcal{H}$. Let integers $k\ge 1$ and $r\ge 2$ be fixed, and suppose that $\mathcal{H}_{k+1}=\{H_1, H_2, \ldots, H_{k+1}\}+v$ satisfying $H_1, H_2, \ldots, H_{k+1}$ are pairwise vertex-disjoint edge-critical graphs, and $χ(H_i)=r$ for $i=1,2,\ldots, k+1$.In this paper, we determine $
\ar(n,\mathcal{H}_{k+1}) $
for $k\ge 1$, $r\ge 2$ and sufficiently large $n$. This result unifies and generalizes a result of Liu et al. (arXiv:2411.08475) concerning the friendship graph, and a result of Lu et al. (arXiv:2507.13165) on the intersecting cliques.
GPT, the Counterexample Machine
This document reports over 15 counterexamples found using GPT Pro over the course of 12 months, for problems in combinatorics, number theory, convexity, analysis, and other areas. The counterexamples concern both (reasonably) well-known problems as well as lesser known instances. The counterexamples are accompanied by the repo https://github.com/suvrit/count-ex-machina, and we warmly welcome new contributions toward helping building a rich \emph{``open-source countex library.''}
FirstFit online coloring in the random order model
The average performance of FirstFit online coloring on trees in the random order model is completely determined in recent works of Frei et al. and Bosek et al., showing $Θ(\log n /\log\log n)$ number of colors, improving the $Θ(\log n)$ colors in the adversarial model. We provide a few further results on slightly more general graph classes. Firstly, we extend their method to obtain a simple path-counting principle for sparse graph classes, which immediately yields for example that cactus graphs and uniform hypertrees exhibit a similar improvement. We then show that FirstFit uses only $O(1)$ colors on crown graphs, a standard example where adversarial arrival forces $Θ(n)$ colors. We further show that density alone (even linear minimum degree) is insufficient to guarantee $O(1)$ colors even on bipartite graphs. Finally, we identify graph classes, including unit interval graphs and some graphs of high chromatic number, for which random arrival provides only limited improvement. We end with some open problems.
Efficient Polynomial-Time Decoding of Simplicial Anticodes with Near-Optimal Performance
In this work, we propose an efficient decoding algorithm for codes arising from simplicial complexes, a family of binary linear codes for which no decoding method of this type was previously known.
Although the algorithm does not always attain the maximum theoretical error-correcting capability, it provides an explicit bound that can be computed directly from the structure of the complex. Moreover, this bound is asymptotically optimal: the ratio between the guaranteed correcting capability and the theoretical maximum converges to $1$ as the code length increases, under natural assumptions on the dimension of the maximal faces. The correction capability is also presented in specific examples. Finally, we introduce specific families of simplicial complexes where the algorithm successfully reaches this theoretical bound.
Triangulated polygons and Y-frieze patterns
In the spirit of Conway and Coxeter, we classify all $\mathbf{Y}$-frieze patterns of type $A_n$. In particular, we settle a conjecture made by de Saint Germain that all such $\mathbf{Y}$-frieze patterns arise from Conway-Coxeter frieze patterns. Moreover, our approach naturally leads to the enumeration of these $\mathbf{Y}$-frieze patterns in terms of Fuss-Catalan numbers.