arXiv++ Combinatorics

We study the trinomial equation $x^n +px +q =0$. Here $p$ and $q$ are both real and nonzero. For $n\ge3$, expressions for the roots have been published as hypergeometric series in powers of the parameter $q^{n-1}/p^n$. For the special case of the cubic ($n=3$), we employ Kummer's identities to derive alternative series solutions in powers of the discriminant $D$, and also series in powers of $1/D$. We next derive new series, in powers of $D$ and also in powers of $1/D$, for all $n\ge 3$. The resulting series suggest identities analogous to Kummer's identities, for higher order hypergeometric series.

It is shown that there exists $c > 0$ so that the Cayley graph over any finite abelian group $Z$ generated by $c \log |Z|$ random elements is properly 3-colorable with high probability (as $|Z| \to \infty$). This is asymptotically tight and improves the best-known bound due to Alon of $\frac{1}{4}\log \log |Z|$ elements. It also makes progress toward Alon's suggestion that a bound of $c \log |G|$ may hold for any finite solvable group $G$.

We study the number $\Nu(\Per(G_λ))$ of distinct monomials with nonzero coefficients in the group permanent of an abelian $p$-group $G_λ$ associated with a partition $λ$ of a positive integer $N$. First, we derive an explicit formula for $\Nu(\Per(G_λ))$ in terms of the partial column sums of the Young diagram of $λ$. Next, we show that the relative order of the values $\Nu(\Per(G_λ))$ is determined by a lexicographic comparison of the conjugate Young diagrams. Finally, we investigate congruence properties of $\Nu(\Per(G_λ))$ for abelian $p$-groups and establish a criterion involving Wolstenholme primes.

Continuing our previous work, this paper closely studies the relationship between the cluster algebra structures on the coordinate ring of Schubert cells and those on the coordinate ring of partial flag varieties. We give a finite-type classification for these cluster structures and point out several results that were left open in our previous work.

An edge-coloring of a graph $G$ is called a strong edge-coloring if all its color classes are induced matchings in $G$; the minimum number of colors required for such a coloring, denoted by $χ_{s}'(G)$, is known as the strong chromatic index of $G$. For each vertex $v$ of a graph $G$, let $d_G(v)$ denote the degree of $v$ in $G$. Let $G$ be a bipartite graph with partite sets $A$ and $B$, and let $Δ_A=\max\{d_G(a): a\in A\}$ and $Δ_B=\max\{d_G(b): b\in B\}$. A conjecture of Brualdi and Quinn Massey asserts that \( χ_s'(G) \le Δ_A Δ_B\). In this paper, we show that \(χ_s'(G) \le 1.676\, Δ_A Δ_B\) provided that the product $Δ_AΔ_B$ is sufficiently large.

We prove that a biased graph is gainable over the group $\mathsf{Z}_{3}$ if and only if it contains no minor isomorphic to $(4K_{2},\emptyset)$, $\pm K_{3}$, or $-K_{4}$. We develop a theory of "partial groups" that is analogous to that of partial fields, and we use this theory to show that a biased graph is gainable over every non-trivial group if and only if it is gainable over $\mathsf{Z}_{2}$ and $\mathsf{Z}_{3}$. From this we derive an independent proof of the theorem due to Gerards that a biased graph is gainable over every non-trivial group if and only if it has no minor isomorphic to $(3K_{2},\emptyset)$, $\pm K_{3}$, or $-K_{4}$.

The forest polynomials $\mathfrak{P}_a$ of Nadeau-Tewari form a $\mathbb{Z}$-basis of $\mathbb{Z}[x_1, x_2, \dots]$ whose role for the cohomology of the quasisymmetric flag variety parallels that of Schubert polynomials for the classical flag variety. Nonnegativity of the structure constants $β^c_{a,b}$ in $\mathfrak{P}_a \mathfrak{P}_b = \sum_c β^c_{a,b} \mathfrak{P}_c$ is known, but no Littlewood-Richardson-style enumerative rule has been available. We give such a rule: $β^c_{a,b}$ counts pairs of forest RC graphs of forest-codes $a$ and $b$ whose lift product lands on a forest RC graph of forest-code and weight both equal to $c$. The same rule descends to the cup product on $H^\bullet(QFl_n)$. The proof introduces a Schubert bialgebra $\mathcal{A}$ and lifts the multiplication on its graded dual $\mathcal{D}$ to a product on a free abelian group $\mathcal{B}RC$ of bounded RC graphs; the same machinery yields enumerative LR rules for the dual Schubert, dual key, dual forest, and dual slide bases of $\mathcal{D}$.

We study how fixed-volume spanning-tree extremality changes when product-grid boundary factors are free, periodic, or mixed. In two dimensions, extremality depends sharply on the boundary type. The free/free and periodic/periodic products both obey a closest-to-square principle: among fixed-area rectangles, $P_r\square P_s$ and $C_r\square C_s$ are maximized by the closest-to-square admissible side lengths. The mixed free/periodic cylinder $P_r\square C_s$ is different: closest-to-square fails, and in the divisor-rich case the optimizing cyclic circumference has scale $N^{1/3}$ when the area is $N=rs$. In arbitrary dimension we prove pairwise balancing theorems for pure free products and pure periodic products, and then strengthen them by a heat-trace Schur-concavity theorem in logarithmic side lengths. At perfect-power volume this gives the unique maximizers $P_n^{\square d}$ and, for $n\ge3$, $C_n^{\square d}$. These product-grid comparisons motivate perfect-power conjectures for connected induced lattice subgraphs and periodic analogues.

It is well-known that deleting or contracting any element of a connected matroid always yields at least one connected minor. However, for a connected polymatroid, only two such elements can be guaranteed, proved by Hall in 2013. This note investigates the connectivity properties of slice-projections of connected polymatroids, which includes deletion and contraction. We establish that for any element of a connected polymatroid, at least one of its two consecutive slice-projections is connected. We also obtain that the $j$-th slice-projection from the top of a polymatroid and $j$-th slice-projection from the bottom of its dual have the same connectedness. These results both extend existing connectedness theorems for graphs and matroids.

In this paper, we study the signless Laplacian spectral radius of pure simplicial complexes under local homological restrictions on links. Let $K$ be a pure $r$-dimensional complex on $n$ vertices, ${\mathfrak q}_{r-1}(K)$ be the spectral radius of the $(r-1)$-up signless Laplacian of $K$, and ${\operatorname{lk}}_K(σ)$ be the link of a face $σ$ in $K$. We prove that if the homology $\widetilde H_t({\operatorname{lk}}_K(σ), {\mathbb R})=0$ for every face $σ\in K$ with $|σ|=r-t$, then \[ {\mathfrak q}_{r-1}(K)\le tn-(t-1)(r+1).\] Moreover, if $K$ is $r$-down path connected and $n\ge r+2+\binom{r+1}{t}\binom{r}{t}$, equality holds if and only if $K \cong Δ_{r+1-t} \star Δ_{n-r-1+t}^{t}$, where $Δ_n$ denotes a simplex on $n$ vertices, $Δ_n^{p}$ denotes the $(p-1)$-skeleton of $Δ_n$, and $\star$ denotes the join of two complexes.

For every integer $k \ge 1$ and sufficiently large $n$, we show that the extremal construction for the Turán number of the $4$-uniform tight cycle of length $4k+2$ minus one edge is a complete odd-bipartite $4$-graph. In particular, since $C_{6}^{4-}$ contains the $4$-uniform expanded triangle as a subgraph, our result extends that of Frankl and Keevash--Sudakov on the Turán density and the Turán number of the $4$-uniform expanded triangle. We also show that the Turán density of $C_{4k+2}^{4}$ is $1/2$ for all integers $k \ge 2$, and establish the corresponding stability result. This strengthens the result of Sankar on the Turán density of $C_{4k+2}^{4}$ which holds only for all sufficiently large $k$.

Gross, Mansour and Tucker introduced the partial-twuality polynomials for ribbon graphs and investigated the interpolation property of these polynomials. The ribbon group generated by $δ$ and $τ$ acts on set systems as twist $\ast$ and loop complementation $\times$, yielding five nontrivial twuality operators: $ \{\ast,\times,\ast\times ,\times\ast ,\ast\times\ast \}.$ Yan and Jin extended partial-twuality polynomials to set systems, yielding partial-$\bullet$ polynomials with $\bullet\in\{\ast,\times,\ast\times ,\times\ast ,\ast\times\ast\}.$ For partial-$\ast$ polynomials, Zhao and Yan proved that this polynomial is either even, odd, or both even-interpolating and odd-interpolating for every binary delta-matroid. In this paper, we extend this interpolation property to all the remaining nontrivial partial-twualities of binary delta-matroids. Consequently, for every binary delta-matroid and every $\bullet\in\{\ast,\times,\ast \times ,\times\ast ,\ast \times \ast \}$, the partial-$\bullet$ polynomial is either even, odd, or both even-interpolating and odd-interpolating. We also provide examples to show that the binary assumption is essential.

The co-maximal subgroup graph $Γ(G)$ of a finite group $G$ is defined to be a graph with the set of all non-trivial proper subgroups of $G$ as the set of vertices and two distinct vertices $H$ and $K$ are adjacent if and only if $HK=G$. The deleted co-maximal subgroup graph of $G$, denoted by $Γ^*(G)$, is defined as the graph obtained by removing the isolated vertices from $Γ(G)$. In this paper, we prove that for any finite group $G$, $Γ^*(G)$ is connected. Furthermore, we show that $Γ^*(G)$ either contains a cycle or is a star. When $Γ^*(G)$ contains a cycle, its girth is either $3$ or $4$. Finally, we classify all finite groups $G$ for which $Γ^*(G)$ is a star.

Applying machine learning techniques to solving long-standing mathematical conjectures can be particularly challenging due to their extreme reward sparsity. As an illustrative example, we consider Kalai's algebraic Hirsch conjecture and recast the construction of its counterexamples as a sparse-reward reinforcement learning problem on graphs. We propose a constrained options-based HRL framework with an equivariant graph neural network policy, which allows us to learn useful temporal abstractions for this task. We evaluate our approach over a wide range of degrees and demonstrate that it consistently outperforms classical RL algorithms as well as greedy search. By exploiting the hierarchical structure of the problem, we effectively provide a first-of-its-kind application of HRL to a problem in commutative algebra.

Determining the conditions under which the direct product of graphs $G$ and $H$ satisfies $\mathrm{Aut}(G\times H)=\mathrm{Aut}(G)\times\mathrm{Aut}(H)$ has been a problem of considerable interest since Sabidussi's classic work in the 1950s. We call such a pair $(G,H)$ stable, and unstable otherwise. Although much progress has been made for graph pairs, the general digraph case has remained completely open. In this paper, we initiate the study of the stability of digraph pairs, and then focus on the stability of a single digraph $G$. This is defined as the stability of the pair $(G,K_2)$ and has been studied extensively when $G$ is undirected. We establish a necessary and sufficient condition for a connected digraph to be unstable, and use it to derive four sufficient conditions for circulant digraphs to be unstable. Moreover, we prove the nonexistence of nontrivially unstable finite arc-transitive circulant digraphs and nontrivially unstable Cayley digraphs of abelian groups of odd order.

We introduce the \emph{externally supported independence number} $α_{\rm es}(G)$ of a graph $G$ as the maximum cardinality of an independent set $B$ with an additional condition, that vertices from $N(B)$ are dominated by vertices in $V(G)-N[B]$. This parameter yields an improved upper bound on the isolation number $ι(G)$. We show that computing $α_{\rm es}(G)$ is NP-hard, while for trees we present a linear-time algorithm. We also establish several sharp bounds on $α_{\rm es}(G)$ for general graphs, with additional refined results for trees. In several cases, we completely describe the extreme graph classes attaining these bounds.

Sidorenko's conjecture asserts that every bipartite graph has at least the expected homomorphism density in every graph of a given edge density. Motivated by Cayley-type formulations of Sidorenko-type inequalities, we study a two-sided correlation construction on finite groups. Let $Γ$ be a finite group and let $f:Γ\to\mathbb{R}$ be a real-valued function. We define a directed kernel on $Γ$ by $$\mathcal C_f(x,y)=|Γ|^{-1}\sum_{a_1,a_2\inΓ:\, xa_1=a_2y} f(a_1)f(a_2)=\mathbb{E}_{z\inΓ} f(x^{-1}z)f(zy^{-1}).$$ When $f=\mathbf{1}_A$, this is the normalized size of the intersection $xA\cap Ay$. We prove that, for every finite directed graph $F$, $$t(F,\mathcal C_f)\geq t(\overrightarrow{K_2},\mathcal C_f)^{e(F)}=(\mathbb{E}_{g\inΓ}f(g))^{2e(F)}.$$ Equivalently, if $W_f^\times(x,y)=f(xy)$ is the directed product Cayley kernel on $Γ$, then the directed $1$-subdivision of every finite directed graph satisfies the same homomorphism-density lower bound in $W_f^\times$.

We investigate standard polynomials for principal subalgebras of path algebras. First, we use standard polynomials to study the $PI$-theory of principal subalgebras. Then we describe the $St_2$-elements and $St_3$-elements of principal subalgebras, giving a characterization of their centers and 3-centers. In addition, we apply these results to combinatorics on words of formal languages, obtaining some explanations from a combinatorial perspective.

Menger's theorem on $A$--$B$-paths and Gallai's theorem on $A$-paths are among the most useful results in structural graph theory. Many variants and extensions are known. We add to this line of research and prove results that relate the maximal number of vertex-disjoint paths between vertex sets and a wall to the minimum number of vertices meeting all these paths. We also include types of paths that start and end in the wall.

Cheong, Goaoc and Holmsen conjectured that every connected component of the space of line transversals to a family of pairwise disjoint open convex sets in $\mathbb{R}^d$ is acyclic. We disprove this conjecture by showing that the homology may be nontrivial in any fixed dimension provided that $d$ is large enough. More precisely, we show that for every $n \geq 1$ there is a finite family of pairwise disjoint open convex sets in $\mathbb{R}^{3n}$ such that the $(n-1)$st homology (over an arbitrary ring) of the space of line transversals to this family is nonzero.

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 fixed-density semi-inducibility profiles of the red-blue star $S_{2,1}$, which has one distinguished center, two red edges and one blue edge. For an $n$-vertex graph $G$, let $N(S_{2,1},G)$ be the number of injective labeled copies in which the two red edges of $S_{2,1}$ are mapped to edges of $G$ and its blue edge is mapped to a non-edge of $G$, that is, \begin{align*} N(S_{2,1},G)= \sum_{v\in V(G)} d(v)(d(v)-1)(n-1-d(v)). \end{align*} For every fixed red edge density $β\in[0,1]$, we determine both extremal $S_{2,1}$-densities. On the upper side, we prove the missing low-density range and, together with the theorem of Balogh, Lidický, Mubayi, Pfender and Volec for $β\ge 1/4$, obtain the full four-branch profile predicted in their work. On the lower side, we show that the natural endpoint profile coming from the quasi-star and quasi-clique constructions is not universal; the correct minimum is given by a one-parameter three-class complement-split family. The proofs use a transfer argument with degree-square tie-breaking, reducing the extremal analysis to almost-regular, threshold and finite-staircase optimizations.

We prove Cusick's conjecture on the binary sum-of-digits function. More precisely, for every integer \(t\ge 1\) we show that \[ c_t:=\lim_{N\to\infty}\frac{1}{N} \#\{0\le n<N:\ s_2(n+t)\ge s_2(n)\}>\frac{1}{2}, \] and in fact obtain the explicit bound \[ c_t\ge \frac{1}{2}+2^{-2s_2(t)-1}, \] where \(s_2(m)\) denotes the number of ones in the binary expansion of \(m\). The proof is based on an exact deconvolution which replaces the distribution of \(s_2(n+t)-s_2(n)\) by a finite stopped random-walk law. The required bias is then proved through first-exit medians for principal subsequence ideals.

Rigo and Salimov (2015) proved that the number of binary \(2\)-binomial equivalence classes of words of length \(n\) is the \(n^{\text{th}}\) cake number. We give a geometric explanation of this identity by constructing an explicit arrangement of \(n\) planes in three-dimensional space whose chambers are naturally indexed by these equivalence classes. This arrangement is the three-dimensional member of an infinite family of hyperplane arrangements. In dimensions \(1\), \(2\), and \(3\), the corresponding quotients recover abelian equivalence, a natural intermediate equivalence between abelian and \(2\)-binomial equivalence, and binary \(2\)-binomial equivalence itself. In higher dimensions, the same family realises natural refinements of \(2\)-binomial equivalence. We also determine the sizes of the resulting classes. Each size is given by a coefficient of a suitable Gaussian binomial coefficient. This yields the full class-size distribution for binary \(2\)-binomial equivalence and stabilisation results for the number of classes of any fixed cardinality.

A convex splinter $K$ is a union of convex sets in $\mathbb{R}^d$ such that every minimal affine dependent set of $\mathbb{R}^d$ contained in $K$ is contained in one of the sets. The study of convex splinters was motivated by the study of flat transversals to convex sets. We extend several variations of Helly's theorem from convex geometry to convex splinters. These include fractional and colorful variations of Helly's theorem. We also extend Tverberg's theorem to convex splinters.

We present an algorithm for exact-size sampling of uniformly random Pólya trees with linear expected runtime.

Ferdinand Ihringer proved that Boolean degree one functions on the Grassmann scheme $J_q(n,k)$ are trivial when $\min(k,n-k) \ge 2$ and $n$ is large enough. We provide a mostly self-contained exposition of this result.

In the 1980s, Erdős and, independently, Frankl and Pach conjectured that, for sufficiently large $n$, every $(d+1)$-uniform family on $\{1,\ldots,n\}$ with VC-dimension $d$ has size at most $\binom{n-1}{d}$, the size of a star. Ahlswede and Khachatrian disproved this conjecture in 1997 by giving a family of size $\binom{n-1}{d}+\binom{n-4}{d-2}$. This value has since been widely believed to be best possible, and Mubayi and Zhao explicitly conjectured its optimality in 2007. Very recently, Wang, Xu and Zhang proved their conjecture for $d=2$ and $n\ge 7$, providing further support for this belief. Surprisingly, we show that the Mubayi-Zhao conjecture is false for every $d\ge 3$ by constructing families larger than the Ahlswede--Khachatrian bound. Our constructions suggest that the answer to the Erdős--Frankl--Pach problem depends delicately on both $n$ and $d$.

A left-regular bipartite graph $G$ of degree $d$ is called a $(t,α)$-small-set-expander if every subset $X$ of left vertices of size at most $t$ has at least $α|X|$ neighbors. Such a graph is an optimal small-set expander if small subsets have as many neighbors as possible. We characterize optimal expanders combinatorially via girth and prove the existence of $s$-optimal expanders for every $s$. We also prove that $s$-optimality yields new "transfer" lower bounds on the number of neighbors of sets of size $h\geq s$. Finally, as an application, we discuss the use of optimal small-set expanders in building good codes for key exchange protocols in post-quantum cryptography.

A signed graph $Σ=(G,σ)$ is a graph $G$ with edges given signs $1$ or $-1$ defined by the function $σ$. The adjacency matrix of $Σ$ is defined as per these signs. The relation between the largest eigenvalue of $G$ and $G-v$ has been studied in recent years, where $G-v$ is the graph obtained from $G$ by deleting the vertex $v$. In 2020, Sun and Das proved that the difference of the squares of the largest eigenvalues of the graphs $G$ and $G-v$ is bounded above by $2d(v)-1$ where $d(v)$ is the degree of $v$. A similar result need not be true for the largest eigenvalues of signed graphs. In this paper, we prove that the result is valid for the spectral radius of signed graphs. On the other hand, the signed graph version of Hoffman's chromatic number bound and Cvetkovic's lower bound was proved by Wang et al. in 2021. They also discussed the difficulty in proving the extended version encompassing all eigenvalues of $Σ$ as was done for unsigned graphs by Wocjan et al. We give a lower bound for the chromatic number in terms of all the eigenvalues of $Σ$ and $Σ_-$, where $Σ_-$ is the spanning subgraph induced by the negative edges.

We resolve Erdős Problem 550, originally asked as question (2) of Erdős, Faudree, Rousseau, and Schelp. Precisely, for fixed integers $k\geq 2$ and $1\leq m_1\leq \cdots \leq m_k$, we prove that, for every sufficiently large $n$ and every $n$-vertex tree $T$, $R(T,K_{m_1,\ldots,m_k}) \leq (k-1)(R(T,K_{m_1,m_2})-1)+m_1$. The proof combines a new off-Turán tree-embedding theorem with a compactness-and-rounding theorem for represented bounded-rank hypergraph obstructions. The embedding theorem follows from Szemerédi regularity and a local regular-matching embedding lemma of Hladký and Piguet. The compactness argument uses shadow hypergraphs to retain obstructions whose vertices escape along the limiting sequence.