math.CO ↗ arXiv
7121 papers in this category
Orbit span of a design and some saturation theorems in commutative Schurian association schemes
Orbit-span and dimension problems for designs have been studied in several classical association schemes using a variety of methods. Recently, through a detailed analysis of total trades, Ghorbani et al. showed that the orbit of a fixed combinatorial design asymptotically attains the full dimension permitted by the design equations. Analogous dimension-saturation results for the global spans of index-one designs in the bilinear forms and Grassmann schemes were obtained via laborious eigenvalue computations.
In this paper, we work with the top fiber $X$ of a graded poset carrying a compatible transitive action of a finite group $G$, and assume that the induced Schurian association scheme on $X$ is commutative. For the multiplicity-free decomposition $\mathbb{C}^{X}=U_{0}\oplus U_{1}\oplus\cdots\oplus U_{m}$, we prove that, under explicit spectral and quantitative conditions, the $G$-orbit of the characteristic vector of any $t$-design spans the maximal submodule $U_{0}\oplus U_{t+1}\oplus U_{t+2}\oplus\cdots\oplus U_{m}$ allowed by the $t$-design definition. We verify these conditions asymptotically for the Hamming, bilinear forms, Johnson, and Grassmann schemes. This recovers the fixed-orbit saturation theorem of Ghorbani et al. for combinatorial designs, gives a new result for orthogonal arrays, and asymptotically extends the previous bilinear forms and Grassmann results to orbit spans of individual designs of arbitrary fixed index.
The Interconnectedness Coefficient: A Semi-Local Graph-Theoretic Measure for Connector Vertices between Cohesive Network Regions
The Interconnectedness Coefficient (IC) is a bounded semi-local graph-theoretic node measure designed to identify connector vertices between cohesive network regions. Such connector vertices, also referred to as bridging nodes, may mediate between locally cohesive regions even when they are neither hubs nor themselves highly clustered. The IC preferentially assigns high values to weakly clustered focal vertices whose adjacent vertices remain strongly clustered after exclusion of the focal connection. Candidate vertices are required to have degree at least two. The construction is partition-free, uses information within radius two, and requires no predefined community or module partition. The range and extremal properties of the score are derived analytically. Exact graph families isolate its maximal response to fully cohesive branches, its controlled response to a single cohesion defect, its invariance under a cohesion-free hub extension, and a sharp fragmentation threshold. A separate application to a Human Interactome Map reveals pronounced degree-dependent stabilization of IC values near the network's mean clustering level. This behavior follows directly from the multiplicative definition. If focal clustering tends to zero while mean leave-one-out cohesion in the neighborhood stabilizes, the IC converges to that neighborhood-cohesion level. Among the highly ranked IC vertices are proteins with established interface, scaffold, and adaptor roles in molecular complexes. The IC is therefore positioned as a semi-local connector measure for cohesive network regions.
Zeros in The Character Table of The Wreath Product of The Symmetric Group
Let $G$ be a finite group with $t$ conjugacy classes, and let $S_N$ be the symmetric group. Let $Z_t(N)$ be the
number of zeros in the character table of the wreath product
$G\wr S_N$. We prove
\begin{equation*}
Z_t(N)\ge \frac{2p_t(N)^{2}}{\log \frac{N}{t}}\left(1+O\left(\frac{\log \log \frac{N}{t}}{\log \frac{N}{t}}\right)\right),
\end{equation*}
where $p_t(N)$ is the number of $t$-multipartitions of $N$.
On additive complements in natural numbers
We prove that for additive complements $A$ and $B$, if $$
\limsup_{x\to+\infty}\frac{A(x)B(x)}{x}<\frac43, $$ then $$
A(x)B(x)-x\rightarrow+\infty\qquad(x\to+\infty). $$ This improves the earlier upper bound $3-\sqrt{3}$ due to Fang and Chen.
Polynomial corners in finite fields beyond the distinct-degree case
We prove a quantitative polynomial Roth theorem for corners in \(\mathbb F_p^2\) for arbitrary pairs of linearly independent polynomials. More precisely, given a positive integer $d$, there are constants $p_0$ and $C$ (depending only on $p$) so that for every $ p>p_0$, if polynomials \(ϕ_1,ϕ_2\in \mathbb \mathbb{F}_p [y]\) are of degree $\leq d$ vanishing at $0$ and are not linearly dependent, then every \(A\subset\mathbb F_p^2\) with $ |A|\ge C p^{2-1/14} $ contains a nontrivial corner $$ (x_1,x_2),\qquad (x_1+ϕ_1(y),x_2),\qquad (x_1,x_2+ϕ_2(y)) $$ for some \(y\in\mathbb F_p^\times\). This improves the estimate $p^{2-1/16}$ of Han--Lacey--Yang and removes the distinct-degree restriction from their quantitative theorem.
The main obstruction is the equal-degree resonant case, where the Jacobian argument of Han--Lacey--Yang degenerates. We adjoin the frequency-independent part of the phase to form an augmented map \(\widetilde F:W\to\mathbb A^3\) from the correlation threefold. We prove that this map is generically finite on every top-dimensional geometric component and has no two-dimensional fibre. Using the associated Artin--Schreier sheaf and Katz--Laumon estimates for Fourier transform of perverse sheaves, we obtain square-root cancellation outside an algebraic exceptional set of dimension at most one and uniformly bounded degree. A separate curve-sum argument gives uniform control on the exceptional set. An \(\ell^2\) matrix estimate adapted to such sets completes the resonant case.
Independence polynomials and the weak Lefschetz property for tadpole graphs
Let $T_{m,n}$ be the tadpole graph obtained by joining a cycle $C_m$ to a path $P_n$ by a bridge. We prove that the independence polynomial of every tadpole graph is unimodal and establish sharp bounds for its mode. The unimodality result follows from a general criterion for graphs obtained by attaching a path to a fixed vertex. Over a field of characteristic zero, we also give a complete classification of the pairs $(m,n)$ for which the Artinian algebra defined by the edge ideal of $T_{m,n}$ together with the squares of all variables has the weak Lefschetz property.
Prime and Nonprime Totatives: A Sharp Construction and Exact Thresholds
For \(n\ge2\), let \(A(n)=π(n)-ω(n)\) and \(B(n)=ϕ(n)-π(n)+ω(n)\) denote the numbers of prime and nonprime totatives of \(n\), respectively, with \(1\) included in \(B(n)\). We construct an explicit injectively parametrized family \(\mathcal C_n\) of composite totatives by completing suitably restricted squarefree products of prime totatives with a larger prime totative that is the unique largest prime factor, making the parametrization recoverable. We prove \(\lvert\mathcal C_n\rvert/A(n)\ge (e^{-γ}-o(1))\log A(n)/\log\log A(n)\), realizing the sharp classical leading constant \(e^{-γ}\). For the same family, with the same defining parameters, we obtain an effective refinement with error of order \((\log\log A(n))^{-1/4}\) and absolute effectively computable constants. Classical minimal-order results and the prime number theorem show that \(e^{-γ}\) is optimal: no family contained in the nonprime totatives can satisfy a uniform lower bound at this scale with a larger leading constant. We also determine exact eventual thresholds. Let \(N_k\) and \(M_k\) be the least integers such that \(ϕ(n)>kπ(n)\) for every \(n\ge N_k\) and \(B(n)>kA(n)\) for every \(n\ge M_k\), respectively. We prove \(M_k\le N_{k+1}\) for every \(k\ge1\), determine \(N_1,\ldots,N_6\) and \(M_1,\ldots,M_5\) exactly, and obtain \(M_k=N_{k+1}\) for \(1\le k\le5\).
Contact Rigidity and Comparison Kernels for Type A lci Schubert Varieties
Let $X_w$ be a Type A local complete intersection Schubert variety. We prove Contact Rigidity: the existence of two smooth singular components forces some pair of singular components to contain a common Schubert subvariety of codimension one in each. If the singular locus is a single smooth component $X_z$, the rational comparison kernel is $IC_z$, and $P_{u,w}(q)=1+q^{(\ell(w)-\ell(z)-1)/2}$ for every $u\leq z$. The first proof combines pattern avoidance with a computer-assisted finite overlap classification, rectangle inheritance, and extremal repairs. The second establishes the hypotheses of Woo's theorem and uses Euler characteristics and Bruhat triangularity to identify the entire perverse kernel.
A Bound Below 2.8 for Tuza's Conjecture
Let $ν(G)$ be the maximum number of edge-disjoint triangles in a graph $G$ and $τ(G)$ the minimum number of edges meeting every triangle. Tuza conjectured that $τ(G)\le 2ν(G)$. We prove that $τ(G)\le (165/59)ν(G)$. The constant $165/59\approx 2.797$ improves the bound $66/23\approx 2.870$ that Haxell proved in 1999. The key observation is that, for a suitable red-blue coloring, the families left over in Haxell's construction contain every triangle with exactly one red edge. Such a family $\mathcal{F}$ admits an exchange that forces certain red edges to lie in a single triangle once the blue edges of a maximum packing are deleted, which gives $τ(\mathcal{F})\le (8/3)ν(\mathcal{F})$.
Extremal function for rooted $K_5$ minors
We show that if an n-vertex 5-connected graph has at least 4n-10 edges, then for any choice of five of its vertices, we can contract disjoint connected subgraphs containing these vertices to obtain $K_5$ as a minor. The bound on the number of edges is the best possible.
Eccentric Connectivity Index of Cartesian product and Strong product of Strongly Connected Digraphs
Let $G=(V,E)$ be a graph. The \emph{eccentric connectivity index} of $G$ is defined as $$ξ^C(G)=\sum_{u\in V(G)}d_uecc(u)$$ where $d_u$ and $ecc(u)$ are the degree and eccentricity of $u$, respectively. For a strongly connected digraph $D=(V,A)$, the eccentric connectivity index is defined as $$ξ^C(D)=\frac{1}{2}\sum_{u\in V(D)}(d_u^++d_u^-)mecc(u)$$ where $d_u^+$ and $d_u^-$ are the out-degree and in-degree of $u$, respectively, and $mecc(u)$ is its m-eccentricity with respect to the maximum distance $md(u,v)=\max\{\vec d(u,v),\vec d(v,u)\}$.
In this article, give formulas and bounds for the eccentric connectivity index of Cartesian and strong products of strongly connected digraphs and discuss the corresponding equality cases. Also, an attempt is made to study the self-centeredness of these products and establish conditions under which the Cartesian and strong products are self-centered.The results are extended to products of several digraphs.
Coincidences and Growth of Boxed Mesh Patterns
A boxed mesh pattern is a mesh pattern whose selected entries lie in an empty axis-parallel rectangle. We classify coincidences of boxed patterns with classical and vincular patterns, exhibit a genuinely bivincular coincidence, and prove that no boxed--bivincular coincidence occurs for patterns of length at least five. Together with known results, this shows that every boxed pattern of length at least five has factorial growth and hence fails the Stanley--Wilf property. At length four, one exceptional orbit is enumerated by the semi-Baxter numbers, while the remaining exceptional orbit, $\{2143,3412\}$, is unresolved; we conjecture that it has factorial growth.
For Box(123), we derive an exact maximum-insertion identity and prove the subfactorial upper bound $2^{5n}n^{βn}$, where $β=\log_2(2\cos(π/7))<0.85$. A closed enumeration remains open. We also prove a general first-moment formula for boxed mesh patterns that depends only on the length of the underlying pattern; in particular, the expected number of Box(123) occurrences in a uniformly random permutation of length $n$ is asymptotic to $n\log n$.
For Box(12), we identify the occurrence statistic with the up-degree in the strong Bruhat order, obtaining its maximum, its mean, and an exact insertion identity for the distribution polynomials. We conjecture that the coefficients of these polynomials are unimodal.
The crossing number and the unit-distance crossing number of the Hamming graphs H(d,3)=K_3^{box d}, and their realizations over many coordinate fields
The Hamming graph H(d,3)=K_3^{box d} (n=3^d vertices) is the graph of single-symbol errors of ternary codes, yet we ask a geometric question of it: can it be drawn in the plane with every edge exactly one unit long and no two non-adjacent vertices a unit apart? It can, for every d, joining two problems into one.
Where does it live? As a Minkowski sum of unit triangles, each H(d,3) has a hidden flexibility carrying its coordinates up the constructibility ladder (compass, origami, and beyond), so one graph is realizable over many number fields at once, in the plane and in R^3 (edim(H(d,q))=q-1). Yet almost every faithful realization is transcendental: the Galois picture is a measure-zero shadow of a vast transcendental continuum, matching the exists-R hardness of unit-distance recognition.
How crowded must a unit drawing be? We separate the ordinary crossing number from a unit-distance crossing number (absent from Schaefer's survey), and one recursion H(d,3)=H(d-1,3) box K_3 controls both. We prove cr(H)=Theta(n^2), with sharp one-page constant 7/6; and Omega(n^2) <= udcr(H) <= O(n^2 log n) by concentration, plus a closed-form majorant (3/2)n^2(L^2-L+1), L=log_3 n. The least-crossing drawing we find is constructible (origami): field and crossings are two readings of one geometry. All claims are verified computationally; the lower bound udcr=Omega(n^2 log n) is the central open problem.
Soltés problem for the Kirchhoff index of a graph
Published in Applied Mathematics and Computation, Volume 510, 2026
• View Publication
• BIB
We say that $v\in V(G)$ is a \textit{good vertex} if the Kirchhoff index remains unchanged when $v$ is removed, i.e. $Kf(G)=Kf(G-v)$. In 1991, Šoltés studied the Wiener index of a graph and posed the problem of identifying graphs for which the removal of an arbitrary vertex preserves the Wiener index. In this paper, we explore a similar concept: identifying \textit{Kirchhoff Šoltés graphs}, i.e. graphs in which all vertices are good vertices. We show that the cycle $C_5$ is a Kirchhoff Šoltés graph. We consider several relaxed versions of the Kirchhoff Šoltés problem, where the primary objective is to identify graphs containing at least one good vertex. One of them is the \textit{$β$-Kirchhoff Šoltés problem}, which seeks to find an infinite family of graphs in which the proportion of good vertices is at least $β$, with $β\in (0,1]$ being a specified rational number. Another one involves constructing infinite families of graphs where the proportion of good vertices increases and asymptotically approaches a given real number $γ\in (0,1]$ as the order of the graph grows. We demonstrate that both relaxed versions have infinitely many solutions. In particular, we prove the existence of infinitely many graphs for which the proportion $β$ of good vertices, $1/7\leq β<1/5$ tends to a certain irrational number. Furthermore, we prove the existence of infinitely many graphs with half good vertices, and for each $s\in\mathbb{N}$, we construct an infinite family of graphs whose proportion of good vertices tends to $\frac{s+1}{2s+1}$. These findings could be pivotal in addressing the original problem of determining whether there are additional solutions beyond $C_5$.
The structure of automorphism groups of zero-dimensional monomial algebras
Let $A$ be a zero-dimensional monomial algebra over an algebraically closed field of characteristic zero, that is, a finite-dimensional quotient of a polynomial ring by a monomial ideal. Its automorphism group $G$ is a linear algebraic group, described through the homogeneous nilpotent derivations of $A$. We analyze the structure of $G$ in detail. Its identity component $G^0$ is a semidirect product of its unipotent radical and a reductive subgroup isomorphic to a product of general linear groups, and for each root degree we characterize when the associated derivations give rise to an additive root subgroup, and determine its dimension. Using the Lie brackets of these derivations, we then give an explicit algorithm that produces, out of the minimal monomial generators of the ideal, a family of root subgroups generating $G^0$ together with a maximal torus. Such a family is minimal in the generic case. We also show that the component group $G/G^0$ can be arbitrary: every finite group arises as the component group of the automorphism group of some zero-dimensional monomial algebra. Finally, we apply these results to the algebras $\mathbf{k}[\mathbf{x}]/\mathfrak{m}^d$, showing that the subgroup generated by a maximal torus and the outer root subgroups is exactly the subgroup of automorphisms with constant Jacobian determinant, and we deduce from this a new proof of Anick's theorem on the density of the tame automorphisms of $\mathbf{k}[\mathbf{x}]$.
Constructive recurrences for determinants and permanents of banded Toeplitz matrices
For fixed nonnegative integers $m_1,m_2$, let $A_n=(a_{j-i})_{i,j=1}^n$ be the leading $n\times n$ section of a Toeplitz matrix with lower and upper semibandwidths $m_1$ and $m_2$. We give two constructive Laplace-expansion methods for scalar recurrences of $\det A_n$ and $\perm A_n$. The increasing-rows method eliminates a fixed family of boundary cofactors and gives recurrence order at most $d=\binom{m_1+m_2}{m_1}$ for both sequences. The row-column method closes normalized boundary minors recursively and packages them in a sparse transfer matrix. Its reachable states are classified exactly: level $j$ is indexed by a pair of $j$-subsets of $[m_1]$ and $[m_2]$. Hence the transfer dimension is $d$, and we obtain an explicit formula for the number of nonzero transitions.
For determinants, the complementary cofactors of the increasing-rows construction are coordinates of the classical compound companion representation. The independently constructed row-column transfer has the Widom characteristic polynomial and is generically similar to the compound transfer. Thus the order $d$ recurrence is generically minimal for the unrestricted fixed-band determinant family. For permanents the same state graph gives the binomial upper bound, without a general minimality claim. The pentadiagonal case recovers Sweet's order-six determinant recurrence and its permanent analogue, while the one-superdiagonal family gives closed scalar recurrences and rational generating functions. Position-dependent band weights preserve the finite state graph but replace the constant transfer by a cocycle. For cyclic determinants, Fourier diagonalization produces all subset products of the symbol roots and a generically minimal annihilator of degree $2^{m_1+m_2}$, corresponding to the passage from one exterior degree to the full exterior algebra.
Four-arm polyominoes in Golomb's hierarchy: A complete classification with Lean verification
We classify the polyominoes obtained by adjoining four straight arms to a single square, allowing zero arm lengths, according to their ability to tile rectangles, half-strips, bent strips, quadrants, strips, half-planes, and the plane. We also classify their ability to tile an integer enlargement of themselves. Tiles occupy whole square-grid cells; translations, rotations, and reflections are permitted. Exactly five capability profiles occur. For the family $P(n,1,1,0)$, the rectangle profile holds for $n\le3$ and the bent-strip profile, with no half-strip or rep-tiling, for every $n\ge4$. A cross with four positive arms tiles the plane precisely when two opposite arms have length one; it never tiles a half-plane. Explicit periodic constructions and geometric obstructions are combined with finite symbolic case certificates. A Lean 4 development verifies the full classification for every natural four-tuple, including the interpretation of the certificates as statements about arbitrary infinite tilings. The account incorporates the author's 2020--2021 L- and T-polyomino work, reconstructs Dahlke's gun argument, and documents the subsequent AI-assisted proof development and formalization.
Solution Space Partitioning for Extremal Set Theory
Published
• View Publication
• BIB
We present a method for partitioning the solution space of statements in extremal set theory. Compared with domain-agnostic partitioning methods like look-ahead, we perform case analysis on the strategies by which a candidate solution can be constructed. We demonstrate that our approach can decompose problems in extremal set theory more effectively than look-ahead. Combining this new partitioning strategy with an exact proof-producing MILP solver, we are able to verify larger finite cases of Chvátal's Conjecture---a long-standing open question in extremal combinatorics---compared to previous work.
Counting Lie ideals of niltriangular matrices
We give an explicit finite sum for the number of ideals of the Lie algebra of strictly lower triangular $n\times n$ matrices over $\mathbb F_q$, valid for every prime power $q$. The sum runs over integer compositions, with weights expressed using ordinary and Gaussian binomial coefficients. A contraction bijection transforms Gagnon's configuration sum into a weighted enumeration of nonnesting partitions, with antichains of intervals chosen independently in each block. We derive a Stieltjes continued fraction for the block weights. Lagrange inversion and the coefficient formula for Stieltjes--Rogers polynomials then yield the explicit sum.
On the number of solutions of systems of diagonal equations through diagonal GP-graphs: the general and the Hermitian-form cases
For any $m, s \in \mathbb{N}$, we study the number $N_{m\times s,q}(κ, β)$ of solutions $(x_1,\ldots,x_s) \in (\mathbb{F}_q)^s$ of the monic system of diagonal equations
$$ X_{1}^{k_i} + \cdots + X_{s}^{k_i}= β_i, \qquad (1\le i \le m), $$ with $κ=(k_1,\ldots,k_m) \in \mathbb{N}^m$ and $β=(β_1,\ldots,β_m) \in (\mathbb{F}_q)^m$. We show that this number can be obtained in terms of some data of \textit{diagonal} GP-graphs $Γ(κ,q)$. This is a new family of graphs that we introduce here, $Γ(κ,q)$, with $κ= (k_1,\ldots,k_m) \in \mathbb{N}^{m}$, is the directed graph with vertex set the finite field $\mathbb{F}_q$ and there is an arc from $u$ to $v$ if and only if $v-u \in R_κ = \{ (x^{k_1},\ldots,x^{k_m}) : x \in \mathbb{F}_{q}^*\}$. In particular, we give three different expressions for $N_{m\times s,q}(κ, β)$: one in terms of walks, another in terms of adjacency matrices of $Γ(κ,q)$ and the last one in terms of the spectrum of $Γ(κ,q)$. Finally, we explicitly derive combinatorial formulas for the number of solutions $N_{m}(s,q) = N_{m\times s,q}(κ_\ell, 0)$ of monic homogeneous systems of diagonal equations of the form $$ X_1^{q^{\ell_i}+1} + \cdots + X_s^{q^{\ell_i}+1} = 0 \qquad (1\le i \le m),$$ with $κ_\ell=(\ell_1,\ldots,\ell_m)=(1,3,\ldots,2m-1)$ and $m\ge 2$, via the known spectrum of Hermitian-form graphs, which can be viewed as diagonal GP-graphs. For any $m,s \in \mathbb{N}$, we give general summation and recursive formulas for $N_m(s,q) \in \mathbb{Z}[q]$. For the small cases $N_{1}(s,q)$, $N_{2}(s,q)$ and $N_{m}(s,q)$, with $1\le s \le 5$, we give explicit expressions.