Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Branch-Sensitive Density Increments for $k$-Configurations
We refine the density-increment argument for $k$-configurations developed by Beker. The point is not to introduce a new inverse theorem, but to retain information that is lost when the graph-counting output is compressed into a single uniform alternative. For the transitive $K_k$ appearing in the $k$-configuration problem we keep a fixed moment throughout the graph recursion and obtain three genuinely different outputs: a row-degree anomaly, a non-centred grid anomaly, and a centred grid anomaly. The centred case is treated directly through positivity of the associated Gram moments, avoiding the usual unbalancing step. Each output is then routed through the appropriate local Kelley--Meka mechanism with its own density gain, rank cost, and width cost. A weighted iteration budget prevents the most expensive local branches from being charged the maximal number of times.
For a finite abelian group $G$ of odd order and $A\subseteq G$ of density $α$, write $L=\log(2/α)$ and $Λ=L+\log(2k)$. We obtain a lower bound of the form \[ \Pp_{x_1,\ldots,x_k\in G}\!\left(\frac{x_i+x_j}{2}\in A\ \text{for all }1\le i\le j\le k\right) \ge \exp\!\bigl(-CΦ(k,L,Λ)\bigr), \] where \[ Φ(k,L,Λ)=k^{36}L^6Λ^6+k^{34}L^8Λ^5+k^{32}L^{14}Λ+k^{30}L^{16}. \] Consequently, in the Erdős--Moser application one may replace the exponent $68$ in Beker's $k$-configuration route by $36$; in particular the same reduction yields the sum-free lower bound with every exponent $c<1/36$.
Strongly regular graph, strongly polynomial sequences, and two-level polynomials
We study the behavior of the characteristic and chromatic polynomials of certain families of graphs and their relation to homomorphism counts, focusing on polynomial dependence of the coefficients at each fixed codegree on the graph family parameter. We prove that the characteristic polynomials of strongly regular graphs with polynomial parameters form a two-level polynomial of infinite depth in the sense of Bogart and Woods. In contrast, the chromatic polynomials of Paley graphs have maximal constant depth two: their coefficient of codegree three is not eventually polynomial in the number of vertices. We also prove that both the chromatic and characteristic polynomials of every strongly polynomial graph sequence, in the sense of de La Harpe and Jaeger, have infinite depth. Finally, we investigate homomorphism counts between two strongly polynomial graph sequences. We show that infinite depth need not hold in general, but we construct target sequences for which it holds for every strongly polynomial source sequence.
VC-dimension of distance graphs in finite field geometries
We study the VC-dimension of distance graphs of large subsets of vector spaces over finite fields. For $3\leq k\leq d$, we prove the distance graph of $E\subset \F_q^d$ has VC-dimension at least $k$ provided that $|E|>Cq^{d-\lfloor \frac{d-k}{3}\rfloor-1}$. We also show that this exponent is sharp in the $k=d$ case.
An improved lower bound for the packing number of the 2-token graph of the cycle
Let $F_2(C_n)$ be the $2$-token graph of the cycle $C_n$ and let $ρ$ denote the packing number. Gómez Soto and Ríos-Castro recently proved that $ρ(F_2(C_n))\ge a(n)$ for $n\ge 19$, where $a(n)$ is an explicit expression. In this note, we prove that \[ ρ(F_2(C_n))\ \ge\ \left\lfloor\frac{n(n-2)}{10}\right\rfloor+1\qquad\text{for every } n\ge 3, \] which improves $a(n)$ by one whenever $n\equiv 0,2\pmod{10}$.
The modal expansion of Kempner sums
This is a continuation of the author's earlier paper Block-count constrained harmonic sums: spectral expansion and block-directed Euler--Maclaurin. We presented in that reference the modal expansion of block-Irwin sums $I(b,w,k)$ for $k\geq1$. The case $k=0$ was fully developed when $w$ is a single digit, but it was presented only as a very short result summary for $w$ a multi-digit block. Although the framework is already completely exposed in the earlier paper, the case $k=0$ requires adding a separate, dedicated discussion, which is provided here.
Minimal transitive factorizations supported on quasi-threshold graphs
We study the number of minimal transitive factorizations of the identity permutation in $S_n$ into transpositions supported on a quasi-threshold graph. We show that this number is always divisible by $(2n-2)!/n!$, which is the factorization count for a star graph, as shown by Irving and Rattan. To prove this, we give a combinatorial formula for the number of such factorizations as a weighted sum over a subset of the $n^{n-2}$ factorization trees, which are edge-weighted spanning trees satisfying certain flow constraints.
A component-wise inequality for permutation matches
Motivated by the recent paper [Sharp endpoint extension inequalities for the moment curve on finite fields II: an extremal property of the uniform distribution, arXiv:2609.29882], which proves sharp extension inequalities in finite fields via a two-point symmetrization argument, we prove here a more general component-wise inequality for permutation matches that implies theirs.
Eigenvalue Distribution of the Laplacian on Random Complexes
We study the empirical eigenvalue distribution of a standardized up Laplacian of the Linial-Meshulam model $Y_{q+1}(n, p)$. We first give a definition of a Gaussian--semicircle law: $\mathcal{N}(0, σ^2)\boxplus \operatorname{SC}(sσ^2)$, and give a combinatorial formula of its moments in terms of pairing partitions. In addition to that, we also prove that the limiting empirical eigenvalue distribution of this standardized up Laplacian follows a Gaussian--semicircle law, in the sense of almost surely weak convergence.
Vertices that belong to every minimum dominating set of a graph and their connection with transportation sharing systems with study cases in Campo de Gibraltar area
This study addresses a theoretical model regarding equity and accessibility challenges in designing shared transportation systems (such as micro-mobility networks) by applying graph-vertex domination setting. The work focuses on identifying dominating forced vertices, that represent nodes belonging to every dominating set of a graph of the smallest possible cardinality, and which correspond to critical, non-negotiable station locations essential for maintaining system efficiency and coverage.
From a theoretical perspective, in the paper it is first demonstrated that determining whether a given vertex is a dominating forced vertex is co-NP-hard, establishing the computational infeasibility of exact identification in large networks. To analyze graph structures, sharp theoretical bounds on the maximum number of dominating forced vertices are established, proving that their count is bounded above by one-third of the order of the graph, and provide complete structural characterizations for graphs achieving this bound, as well as, trees with no dominating forced vertices.
To overcome computational limits in practical urban settings, the study uses an iterated greedy metaheuristic framework to generate minimal dominating sets and approximate critical forced nodes based on their appearance frequency across iterations. The methodology is validated on strong grid graphs and applied to real-world road network models of Algeciras and La Línea de la Concepción, two cities in the area of Campo de Gibraltar, Spain, which successfully pinpoints candidate location points for scooter-sharing stations across both cities.
The stacking number of a tree
The stacking number of a graph is the least integer t >= 2 such that every configuration of t pebbles can be transformed by pebbling moves into a configuration supported on one vertex. We prove that, for every finite tree T with at least two vertices, this number equals the rooted distance-and-degree estimator conjectured by Csernák and Soukup. The proof uses an exact recursive characterization of stackability at a prescribed vertex, an explicit zero-score obstruction, and a weighted cancellation argument for arbitrary nonstackable configurations. The complete theorem is formalized in Lean 4; the formal result has also passed Palomar mechanical verification and is publicly registered as PALOMAR-2026-09-25-000010.
An improved lower bound for the van der Waerden number $w(3,k)$
For an integer $k\ge 3$, let $w(3,k)$ be the least $n$ such that every red-blue coloring of $[n]$ contains either a nontrivial three-term arithmetic progression in blue or a nontrivial $k$-term arithmetic progression in red. A recent breakthrough of Green proved that $w(3,k)\ge k^{Ω\left(\left(\frac{\log k}{\log\log k}\right)^{1/3}\right)}$ when $k$ is large, and Hunter later improved the bound to $w(3,k)\ge k^{Ω\left(\frac{\log k}{\log\log k}\right)}$. On the other hand, Green remarked that it is reasonable to believe that $w(3,k)\le k^{O(\log k)}$. We prove that $w(3,k)\ge k^{Ω(\log k)}$, which perhaps gives some evidence that $k^{Θ(\log k)}$ is the correct order of magnitude.
Stability of the Courtade-Kumar inequality
We prove dimension-independent stability for the Courtade-Kumar inequality: a Boolean function $f:\{-1,1\}^n\to\{-1,1\}$ whose information is close to the dictator value is close in probability to a signed dictator. The correlation dependence is sharp in order near zero and, for increasing functions, also at the noiseless endpoint.
The Wang Transform Inequality
We prove the Wang transform inequality in every order: if $n$ is a positive integer, $A$ is a nonnegative $n\times n$ matrix whose row and column sums equal one, and $J_n$ has every entry $1/n$, then
\[
\operatorname{per}A\ge
\operatorname{per}\!\left(\frac{nJ_n+A}{n+1}\right).
\]
Equality holds exactly when $A=J_n$. We also obtain an explicit positive quadratic gap for every $n\ge2$.
2-colouring shift-chains
A shift-chain is an $ r $-uniform hypergraph $ \mathcal{H} $ on vertex set $ [n] $ with the property that, for any two edges $ \{ e_1, \ldots, e_r \} $ and $ \{ f_1, \ldots, f_r \} $ with $ e_1 < \cdots < e_r $ and $ f_1 < \cdots < f_r $, either $ e_i \le f_i $ for all $ i \in [r] $ or $ f_i \le e_i $ for all $ i \in [r] $. It is known that all shift-chains are properly vertex-colourable with three colours (that is, such that no edge is monochromatic), which is optimal for $ r \in \{ 2, 3 \} $. It was asked by Pálvölgyi in 2010 whether all shift-chains of sufficiently large uniformity are properly $ 2 $-colourable. We answer this question in a strong form, proving that in fact all shift-chains of uniformity at least $ 4 $ are properly $ 2 $-colourable. The colouring is obtained via a natural algorithm with linear running time.
How large can $B_n$- and $D_n$-friezes be?
We pin down the largest entries possible in positive integral friezes of types $D_n$ for $n\geq 4$ and $B_n$ for $n\geq 2$, addressing a conjecture of Robin Zhang. For type $D_n$, the sharp upper bound is $F_nF_{n+1}-1$, and for type $B_n$, it is $F_{n+1}F_{n+2}-1$, where $F_k$ are the Virahanka--Fibonacci numbers.
Discounted Hitting Domination on Graphs with Submodularity, Complexity and Exact Algorithms
On a network with a fixed set of verified sources, discounted averaging induces an equilibrium support $h_i^S=\mathbb{E}_i[λ^{T_S}]$, the discounted probability that a random walk reaches $S$ before attenuation. We define the \emph{discounted hitting domination number} $δ_{λ,τ}(G)$ as the minimum number of sources required to guarantee $h_i^S\geτ$ at every vertex. Although this potential is known through penalized and group hitting probabilities, the associated minimum-cardinality uniform-coverage problem appears to be new. Aggregate support is monotone submodular, while the uniform-floor problem is an exact submodular-cover problem. Moreover, if $λ^{r+1}<τ\le\left(\fracλΔ\right)^r$, then $δ_{λ,τ}(G)$ equals the distance-$r$ domination number. This yields NP-completeness and APX-completeness at $(λ,τ)=(1/4,1/14)$ on graphs of maximum degree three. For spiders, we obtain an exact finite-state characterization and a polynomial-time algorithm for every fixed rational pair $(λ,τ)$, and show that the branching vertex need not belong to a minimum source set. Finally, an exact mixed-integer linear formulation certifies optimal placements on a real network and a synthetic graph and demonstrates substantial differences from degree, closeness, and classical domination.
Irreducible rootless unimodular lattices generated by vectors of norm $3$
The classical ADE classification implies that $E_8$ is the unique irreducible unimodular Euclidean lattice generated by vectors of norm $2$. In sharp contrast, for every positive integer $m$, we construct an irreducible odd unimodular lattice of rank $24m$ and minimum norm $3$ that is generated by its minimal vectors.
The Robust Thompson's Conjecture for Alternating Groups
We show that there exists a constant $ε> 0$ such that if $C$ is a conjugacy class in $A_n$ of size at least $|A_n|^{1-ε}$, then $A_n \setminus \{1\} \subseteq C^2$. This proves the robust version of Thompson's conjecture for the alternating group, conjectured by Shalev (Annals of Math., 2009). Our proof combines character bounds and combinatorial cancellation techniques with the recent theory of hypercontractivity for functions over symmetric groups.
The Kelly--Trotter conjecture and dimension of poset products
We study the order dimension of Cartesian products of finite posets. Kelly and Trotter conjectured in 1982 that $\dim(P\times Q)\ge\dim P+\dim Q-2$ for all finite posets $P$ and $Q$. For $m\ge3$, let $R_m$ denote the incidence poset of the complete graph on $m$ vertices. We prove that there is a constant $C$ such that, for all sufficiently large $m$, $\dim(R_m\times R_m)\le\left(1+\frac{2}{\log_2 6}\right)\dim R_m+C$. Since $1+2/\log_2 6<2$, this disproves the Kelly--Trotter conjecture and shows that $2\dim R_m-2-\dim(R_m\times R_m)$ can grow linearly with $\dim R_m$. For every integer $d\ge8$, we construct an incidence poset $Q_d$ such that $\dim Q_d=d$ and $Q_d$ has the $(3,d)$-covering property. Consequently, $\dim(P\times Q_d)\le\dim P+d-3$ for every poset $P$ with $\dim P\ge3$. Thus, for every integer $d\ge8$, the poset $Q_d$ violates the Kelly--Trotter conjecture with every poset of dimension at least $3$. Finally, we prove that a poset $Q$ has an $(r,s)$-covering if and only if $\dim(Q\times C^r)\le s$ for every finite chain $C$ with at least two elements.
A variety of the mutual-visibility coloring problem for graphs
This paper explores variations of vertex-coloring problems defined on graph visibility properties. It introduces and studies the dual, outer, and total mutual-visibility chromatic numbers, which partition the vertex set of a graph into color classes that preserve specific mutual-visibility conditions called dual, outer or total. The work provides structural conditions under which these chromatic parameters are finite or infinite, and establishes that deciding whether a graph admits a dual, outer, or total mutual-visibility coloring using a given number of colors is NP-complete, even when restricted to two colors. Exact formulas and tight bounds for these chromatic parameters are established across several fundamental graph classes.
For block graphs, complete characterizations are provided for the outer and dual mutual-visibility chromatic numbers based on structural invariants such as cut vertices and specific forbidden subgraph structures. On Hamming graphs, the dual and total mutual-visibility chromatic numbers are shown to equal the smaller dimension of the factors, while the outer mutual-visibility chromatic number is proven to equal the star arboricity of a corresponding complete bipartite graph. Finally, the paper examines strong grid graphs, determining exact values for their total, outer, and dual mutual-visibility chromatic numbers. These results demonstrate how the parameter behaviors range from finite constants to infinity depending on the grid dimensions.