arXiv++ Combinatorics

We study two questions about the second-order Zarankiewicz numbers. The first is the recursive-line equality $z_2(m,n)=z_{RL}(m,n)$, known to hold in every computed case and conjectured in general. The second, here called \emph{overtake}, is the strict inequality $z_{2A}(m,n)>z_2(m,n)$ between the second-order augmented number and the second-order number. Both are governed by the number $H_{\mathrm{limited}}(m,n)$ of unoccupied cells in a limited extremal configuration. We prove that the first increase $z_2\to z_2+1$ already costs three unoccupied cells, forcing a unit of one-edge deficit, and the cell identity then bounds the excess $z_{2A}-z_2$ by $\lfloor(H_{\mathrm{limited}}-1)/2\rfloor$. In particular, when the recursive-line hole count is at most two, no overtake occurs. We conjecture the sharp budget $\lfloor H_{\mathrm{limited}}/3\rfloor$ and that $H_{\mathrm{limited}}\ge5$ is the threshold for an overtake. In the computed range $n\le7$, no overtake occurs at any order, the sole exception being the known case $(4,4)$. The recursive-line equality $z_2=z_{RL}$ is verified at every order in the range where both values are determined; the orders at which it remains unsettled are $(12,4)$ and $(14,4)$ at width four, $(11,5)$ at width five, and $(8,7)$ at width seven.

The problem of maximizing vertex-degree-based topological indices over trees with a prescribed order and maximum degree $Δ$ has traditionally relied on ad-hoc combinatorial arguments. In this paper, we establish a unified linear programming approach that systematically resolves these extremal problems. By formulating the optimization over degree-pair multiplicities, the search for an extremal tree reduces to minimizing a discrete dual penalty. Treating vertex degrees as continuous variables yields an analytical single-variable test condition that guarantees global optimality. We apply this framework across a diverse collection of invariants. We prove that the standard basic feasible solution is optimal for the Tangent Sombor, $SO_1$, $SO_2$, Albertson, and $σ$-irregularity indices for all $Δ\ge 3$. However, the dual optimality conditions establish exact analytical thresholds at which the standard basis loses optimality, necessitating a transition to alternative basic feasible solutions. For the Arithmetic-Geometric ($AG$) index, the standard basis is optimal strictly for $Δ\ge 9$; for smaller maximum degrees ($3 \le Δ\le 8$), optimization shifts to an alternative edge basis, allowing us to explicitly construct and characterize all extremal trees across congruence classes, including chemical trees ($Δ\in \{3, 4\}$). Conversely, for the Triangle Volume index ($SO_{11}$), the standard basis is optimal exclusively for $Δ\le 8$, while for $Δ\ge 9$ we analytically derive a novel, degree-dependent optimal basis to explicitly construct its extremal configurations.

In 1977, Erdős posed the problem of determining the maximum number $f_r(n)$ of edges in an $n$-vertex $r$-uniform hypergraph in which all disjoint pairs of edges have distinct unions. Füredi later conjectured that, for every fixed $r\ge 4$ and all sufficiently large $n$, $f_r(n)=\binom{n-1}{r-1}+\lfloor \frac{n-1}{r}\rfloor$. In this paper, we prove this conjecture and determine all extremal configurations. Our proof combines a stability theorem for such dense hypergraphs with a delicate deletion argument applied to an associated bipartite $3$-graph. The stability theorem also resolves a conjecture of Mubayi.

For a $3$-graph $F$, the Turán number of $F$, denoted by $\ex(n,F)$, is the maximum number of edges in a $3$-graph on $n$ vertices containing no subgraph isomorphic to $F$. Let $F^-_{4,3}$ be the $3$-graph formed by a complete four-vertex core and three outer vertices, with all but one of the twelve triples containing one core vertex and two outer vertices. We prove that, for every $n\ge8$, \[ \ex(n,F^-_{4,3})=\binom n3-\binom{\lfloor n/2\rfloor}{3}-\binom{\lceil n/2\rceil}{3}, \] and the balanced complete bipartite $3$-graph is the unique extremal configuration. This determines the exact value and all equality cases in the asymptotic theorem of Mubayi and Rödl. It also extends the exact Turán Number of $F_{3,3}$ and resolves a conjecture of Frankl, Huang and Rödl.

Let $f(d)$ denote the smallest integer such that every bridgeless graph of diameter $d$ admits a strong orientation with diameter at most $f(d)$. It is known that $f(2)=6$ and $f(3)=9$. For $d=4$, the classical bounds of Chvátal and Thomassen [JCTB, 1978] imply $12\le f(4)\le40$, and subsequent work reduced the upper bound to 21. Very recently, Lin, Wang and You further established the substantially stronger bound $f(4)\le18$. Pushing this bound below $18$ turns out to be considerably more difficult, since the remaining extremal configurations cannot be handled by existing techniques based on $R-S$ orientations and related local constructions. In this paper, we prove that $f(4)\le16$. Our approach is entirely different from previous ones. Instead of constructing a strong orientation directly, we develop a sequential orientation framework together with auxiliary distance functions and a potential-function analysis. This enables us to control directed distances globally while avoiding the intricate case analysis required by earlier methods. We believe that the framework introduced here may be useful for studying oriented diameter problems of larger diameter.

Since Isaac Newton first studied the Kissing Number Problem in 1694, determining the maximal number of non-overlapping spheres around a central sphere has remained a defining challenge in discrete geometry. As the local analogue of Hilbert's 18th problem, it has profound implications across geometry, number theory and information theory. Although lattices and codes have achieved significant progress, the field is confined to isolated extremal configurations, leaving underlying geometric principles obscured. Here we shift the object to the broader extremal configuration space, thereby opening a new path for the Kissing Number Problem. Accordingly, we recast this problem as a cooperative matrix-completion game, and train a reinforcement learning system, PackingStar, to solve it. One player fills cosine entries while the other corrects suboptimal ones, making explosive geometric complexity tractable. Working within extremal configuration spaces, PackingStar discovers new interpretable geometric structures that improve 15 strong bounds held for decades in kissing numbers and their generalizations, several of them provably optimal under natural inner products. These findings reveal the first explicit spherical-code realization of the Fischer group Fi22, extend the classical Euclidean representation of subgroup structure, and directly inspire subsequent breakthroughs by mathematicians. Overall, the work provides an early example of AI-driven progress on a Hilbert-calibre problem, showing how reinforcement learning advances mathematical discovery by unlocking more expressive objects.

Two families $\mathcal{F},\mathcal{G}\subseteq S_n$ are cross $t$-intersecting if every $σ\in\mathcal{F}$ and $τ\in\mathcal{G}$ agree on at least $t$ points. A $t$-coset is a coset of the stabilizer of $t$ points. A subset of $S_n$ is non-trivial if it is not contained in any $t$-coset. Let $d_m$ denote the $m$-th derangement number. We prove that, for all $t\geq1$ and $n\geq400t$, every pair of cross $t$-intersecting families $\mathcal{F},\mathcal{G}\subseteq S_n$ satisfies the following: (i) $|\mathcal{F}||\mathcal{G}|\leq((n-t)!-d_{n-t}-d_{n-t-1})((n-t)!+t)$ if $\mathcal{F}\cup\mathcal{G}$ is non-trivial. (ii) $|\mathcal{F}||\mathcal{G}|\leq((n-t)!-d_{n-t}-d_{n-t-1}+t)^2$ if both $\mathcal{F}$ and $\mathcal{G}$ are non-trivial. (iii) $\min\{|\mathcal{F}\setminus\mathcal{C}|,|\mathcal{G}\setminus\mathcal{C}|\}\leq t((n-t-1)!-(n-t-2)!)$ for some $t$-coset $\mathcal{C}$ if $t\geq2$. We also characterize all extremal configurations. The first result extends a theorem of Ellis (2011) to an exponentially wider range and sharpens the stability theorem of Keller, Lifshitz, Minzer and Sheinfeld (2024); the second gives a product version of the classical Hilton--Milner--Frankl theorem for permutations; and the third settles the remaining cases $t\geq2$ of a conjecture of Ellis (2011) in a stronger form. In all three results, the linear dependence on $t$ is essentially optimal. Our proofs are based on the spread approximation method introduced by Kupavskii and Zakharov and on an approach to cross $t$-intersection problems developed by the present authors, with several essential refinements. As an application of our approach, we prove a product version of the Hilton--Milner--Frankl theorem for the alternating group.

There is a natural connection between the SOS rank problem for bi-quadratic forms and the Zarankiewicz extremal problem for C4-free bipartite graphs. The classical Zarankiewicz number z(m,n) controls the bipartite skeleton associated with monomial squares. Allowing two cells to form a single bilinear square leads to augmented Zarankiewicz configurations and the second-order Zarankiewicz number z2(m,n). Unlike zRL and zSL, defined through recursive sufficient conditions, z2 maximizes over all irreducible displayed SOS decompositions without imposing (RW 3+). Hence, to prove z2(m,n)<=R, one must prove that every simple limited configuration with more displayed squares is reducible; failure of a sufficient condition cannot serve as a counterargument. We prove z2(4,4)=10, z2(7,4)=19, z2(8,4)=21, z2(5,5)=17, and obtain z2=zSL=zRL in all these cases. The extremal irreducible 6x4 configurations with 16 displayed squares form a single isomorphism class under row and column relabeling, whereas the extremal irreducible 7x4 configurations with 19 displayed squares form exactly three isomorphism classes. The four-column results form a structural chain: classify lower-order extremal configurations first, then use hereditary irreducibility under deletion of complete squares to constrain the next order. Finite exhaustive steps use candidate pruning, a necessary compatibility graph, clique enumeration, and orbit reduction, with a verifiable reducibility or irreducibility proof for each remaining orbit. For 5x5, there are two ordinary extremal skeletons; finite exclusion leaves only two highly symmetric 18-square candidates. They define the same ten-square polynomial, which admits an explicit nine-square representation, yielding the upper bound for z2(5,5).

The recursive-line Zarankiewicz number maximizes the number of squares in a structured irreducible sum-of-squares representation encoded by an augmentation of an extremal $C_4$-free bipartite graph. We determine its four-column behavior under the strengthened recursive definition in the manuscript of Löfberg and Qi dated 9 September 2026. Combining AI-assisted discovery with exact certificate verification and finite exclusion computations, we determine eighteen of the nineteen values for $2\le m\le20$ and isolate the only unresolved case to $37\le\zr(14,4)\le38$. More significantly, we prove the first eventual exact formula in the four-column setting: \[ \zr(m,4)=\floor{\frac{5m+6}{2}}\qquad(m\ge15). \] The upper bound follows from the classical identity $z(m,4)=m+6$ and a sharp cell count. For the matching lower bound, we construct a two-row extension chain from an explicit $20\times4$ seed and derive the odd orders by a fixed deletion. Analytic propagation, together with two independently audited symbolic certificate tables, proves the construction for arbitrary chain length rather than merely for a finite computational range. Thus every extremal configuration has no holes when $m$ is even and exactly one hole when $m$ is odd, and the same exact formula holds for the second-order number $z_2(m,4)$.

The Khintchine inequality provides a lower bound on the expected absolute value of a weighted sum of independent Rademacher random variables. In the classical setting, when the weight vector has unit norm, this lower bound is a constant, with equality attained only for a simple family of extremal configurations. A refined version due to De, Diakonikolas, and Servedio (2013) -- referred to as the \emph{linear Khintchine inequality} -- strengthens this by establishing a lower bound that depends linearly on the distance of the weight vector from the extremal set. In this paper, we present a refined analysis of this dependence on the weight vector. Our results reveal a phase transition in the rate of improvement: when the dimension exceeds six, the lower bound undergoes an abrupt change as the weight vector deviates from the minimizer. Additionally, we improve the slope constant in linear Khintchine inequality. As a consequence, we establish an improved lower bound on the degree-1 Fourier weight for linear threshold functions $\mathbf{W}^{\leq 1}[\mathrm{LTF}] \geq 0.53317$, marking progress towards a conjecture of O'Donnell.

In this paper, we construct a Lagrange-type basis for the Aomoto space $AO(\mathcal A)$, naturally indexed by the chambers of the hyperplane arrangement $\mathcal A$. The construction relies on a dimension theorem of Orlik and Terao and yields an interpolation formula for elements of $AO(\mathcal A)$. We use this formula to characterize the extremal configurations in the strong polarization inequality as those arising from finite Coxeter reflection systems. We further show that the interpolation formula gives rise to a family of \emph{chamber identities}, including identities that were central to our earlier proof of the strong polarization problem and the Gaussian product inequality. Finally, we adapt the recent breakthrough of Ouimet and Greaves to prove a generalized Gaussian Product Inequality for completely monotone functions.

A subgraph $H$ of $G$ is said to be $F$-saturated relative to $G$, if $H$ does not contain any copy of $F$, but the addition of any edge $e$ in $E(G)\backslash E(H)$ would create a copy of $F$. The minimum size of an $F$-saturated graph relative to $G$ is denoted by $sat(G,F)$. Let $K_k^n$ be the complete $k$-partite graph with $n$ vertices in each part. In this paper, we determine $sat(K_4^n,C_4)$ for all $ n \geq 2$. Moreover, we determine all extremal configurations of $sat(K_k^n,C_4)$ for all $n\ge 2$ and $k\ge 4 $.

Two families $\mathcal{A}, \mathcal{B} \subset \binom{[n]}{k}$ are cross-intersecting if $A \cap B \ne \emptyset$ for all $A \in \mathcal{A}$ and $B \in \mathcal{B}$, and non-trivial if neither $\m A$ nor $\m B$ is a star. Pyber proved that any two cross-intersecting families $\mathcal{A}, \mathcal{B} \subset \binom{[n]}{k}$ satisfy $|\mathcal{A}||\mathcal{B}| \le \binom{n-1}{k-1}^2$, and the maximum is attained by two full stars. Frankl, as well as Frankl and Wang, conjectured that the sharp bound, when both families are required to be non-trivial, is $h(n,k)^2$, where $h(n,k) = \binom{n-1}{k-1} - \binom{n-k-1}{k-1} + 1$, the size of the Hilton--Milner family. The cases $k=3$, and the range $k\ge8$ and $n\ge 4k$, were established earlier by Frankl and by Frankl and Wang, respectively. In this paper, we prove their conjecture in the full range. We show that every non-trivial cross-intersecting pair $\mathcal{A}, \mathcal{B} \subset \binom{[n]}{k}$ with $n \ge 2k$ and $k \ge 3$ satisfies $|\mathcal{A}||\mathcal{B}| \le h(n,k)^2$. Moreover, we characterize all extremal pairs. Whereas the corresponding sum problem admits asymmetric and unbalanced extremizers, the product extremum forces a balanced, symmetric-or-dual structure: the two families are isomorphic when $n>2k$ and complement-dual when $n=2k$. Independently and contemporaneously with the present work, Frankl and Wang obtained the same bound for $k\ge8$ and $n\ge2k+1$ by a different method. Our proof combines a diversity technique with several new properties of an extended shift operation. Moreover, we show that the problem behaves differently for different uniformities, exhibiting new extremal configurations. In particular, we disprove a related conjecture proposed by Frankl and Wang.

We study the maximal number $m_{k,\ell,n}$ of empty convex $k$-gons ($k$-holes) determined by an $n$-point set in the plane in general position that contains no empty convex $\ell~$-gon, focusing on the first nontrivial case $\ell=k+1$. Our main result determines the exact value in the small-excess regime: for $n=k+a$ with $a\le k/2-1$, we prove $m_{k,k+1,k+a}=2^a.$ We also describe the extremal configurations attaining equality. Beyond this exact range, we provide upper and lower bounds in the proportional regime $n=αk$ and in the regime where $k$ is fixed and $n$ goes to infinity. In the last mentioned regime we prove that $m_{k,k+1,n}=Ω_k(n^{\lfloor\frac{k}{3}\rfloor})$ and $m_{k,k+1,n}=O_k(n^{\lceil\frac{k}{2}\rceil+1}).$

We develop a general theory of Cartesian and non-Cartesian polynomials on products of complex spaces $\mathbb{C}^{n_1} \times \cdots \times \mathbb{C}^{n_k}$. We prove that, for any fixed degree $d \ge 2$, a (Zariski) generic polynomial is non-Cartesian in a broad range of dimensions, establishing that Cartesian structure is highly exceptional. We further introduce effective sufficient criteria for a polynomial to be non-Cartesian. Moreover, we show that being (non)-Catersian can be decided algorithmically via Gröbner basis methods and quantitative forms of Hilbert's Nullstellensatz. As an application, we connect the non-Cartesian condition to incidence geometry, obtaining sharp intersection bounds and constructing extremal configurations that demonstrate the optimality of these estimates.

In 1966, Kleitman determined the maximum size of a family of subsets of $[n]$ with bounded symmetric difference. Liao, Liu and Yan recently established a vector-space analogue in the cases $n=d+1$ and $n>2d$, and asked for the sharp bound in the remaining range. We resolve this problem completely by proving the exact vector-space analogue of Kleitman's theorem for every $n\ge d+1$, and we also determine all extremal configurations. We further develop a stability theory for the vector-space diameter problem. Unlike the Boolean cube, the lattice of subspaces has no translation symmetry, and this makes the stability theory substantially different from its classical counterpart. The geometry of subspace balls leads to two natural notions: canonical stability, which forbids containment only in the canonical extremal configurations, and global stability, which forbids containment in arbitrary balls or adjacent double balls of the corresponding radius. We determine sharp canonical stability in even diameter, sharp canonical and global stability in odd diameter, and prove a nontrivial general upper bound for global stability in even diameter. In particular, these two notions exhibit a sharp parity split: in odd diameter they collapse to the same problem, whereas in even diameter they lead to genuinely different extremal behavior.

Using FlowBoost, a closed-loop deep generative optimization framework for extremal structure discovery, we investigate $\ell^p$-generalizations of the finite free Stam inequality for real-rooted polynomials under finite free additive convolution $\boxplus_n$. At $p=2$, FlowBoost finds the Hermite pair as the unique equality case and reveals the spectral structure of the linearized convolution map at this extremal point. As a result, we conjecture that the singular values of the doubly stochastic coupling matrix $E_n$ on the mean-zero subspace are ${2^{-k/2}:k=1,\ldots,n-1}$, independent of $n$. Conditional on this conjecture, we obtain a sharp local stability constant and the finite free CLT convergence rate, both uniform in $n$. We introduce a one-parameter family of $p$-Stam inequalities using $\ell^p$-Fisher information and prove that the Hermite pair itself violates the inequality for every $p>2$, with the sign of the deficit governed by the $\ell^p$-contraction ratio of $E_n$. Systematic computation via FlowBoost supports the conjecture that $p^*\!=2$ is the sharp critical exponent. For $p<2$, the extremal configurations undergo a bifurcation, meaning that they become non-matching pairs with bimodal root structure, converging back to the Hermite diagonal only as $p\to 2^-$. Our findings demonstrate that FlowBoost, can be an effective tool of mathematical discovery in infinite-dimensional extremal problems.

In this paper, we develop a dynamic programming framework for identifying extremal general polyomino chains with respect to degree-based topological indices. As a concrete application, we resolve an open problem posed in 2015 by determining, for any given number of squares, the general polyomino chains that maximize the generalized Randić index with parameter $α=-1$. We show that the extremal configurations depend explicitly on the residue class of the number of squares modulo 4. Beyond this specific result, the proposed dynamic programming approach provides a constructive and systematic methodology for tackling extremal problems in graph theory.

In this paper, degree-based topological indices play a key role in the structural analysis of graphs in this paper and have significant uses in chemical graph theory. We investigate the connections between three such tree indices: the Albertson, Sombor, and Sigma indices. We show that the quadratic degree deviation, measured by the Sigma index, tightly controls the Sombor index of a tree by establishing sharp two-sided bounds. We demonstrate that the Sombor and Sigma indices are asymptotically equivalent up to constant factors as a direct result. A pure $Θ$-relationship between the Sombor index and the Albertson index is derived by taking into account extremal trees with a fixed degree sequence. This finding demonstrates that, in extremal configurations, quadratic degree interactions and absolute degree disparities scale appropriately. Overall, our data suggest that the Sombor index functions as an intermediate descriptor, capturing both global degree dispersion and local edge irregularity. From a structural standpoint, these findings clarify the relationship between vertex-based and edge-based irregularity measurements in trees.

A cograph is a graph that contains no induced path $P_4$ on four vertices or equivalently a graph that can be constructed from vertices by sum and product operations. We study the bipartite Turán problem restricted to cographs: for fixed integers $s \leq t$, what is the maximum number of edges in an $n$-vertex cograph that does not contain $K_{s,t}$ as a subgraph? This problem falls within the framework of induced Turán numbers $\text{ex}(n, \{K_{s,t}, P_4\text{-ind}\})$ introduced by Loh, Tait, Timmons, and Zhou. Our main result is a Pumping Theorem: for every $s\le t$ there exists a period $R$ and core cographs such that for all sufficiently large $n$ an extremal cograph is obtained by repeatedly pumping one designated pumping component inside the appropriate core (depending on $n\bmod R$). We determine the linear coefficient of $\text{ex}(n, \{K_{s,t}, P_4\text{-ind}\})$ to be $s-1 + \frac{t-1}{2}$. Moreover, the pumping components are $(t-1)$-regular and have $s-1$ common neighbours in the respecitve core graphs, giving the extremal cographs a particularly rigid extremal star-like shape. Motivated by the rarity of complete classification of extremal configurations, we completely classify all $K_{3,3}$-free extremal cographs by proof. We also develop a dynamic programming algorithm for enumerating extremal cographs for small $n$.