Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Asymptotic equivalence and exact values for second-order Zarankiewicz numbers
The recursive-line and signed Zarankiewicz numbers maximize the number of squares in augmentations of a maximum $C_4$-free base, subject to two sufficient irreducibility criteria. The count includes one square per base cell and one per selected pair of unused cells. We compare these parameters with the second-order number, which uses irreducibility itself. Every maximum $m\times n$ base admits a recursive-line augmentation with at least $mn/2-C\max(m,n)$ squares, for an absolute constant $C$. Combining this bound with a two-column extension of known fixed-width families, we show that all three parameters are asymptotically equivalent, uniformly as the larger dimension tends to infinity.
For individual displays, a transfer graph shows that once the signed closure identifies every selected pair, the signed criterion is equivalent to irreducibility. We determine the second-order number for every six-column rectangle and give eventual exact formulas for all three numbers at widths seven, nine and eleven. We also prove signed and recursive-line equality at $8\times7$ and, together with earlier values, whenever the shorter side is at most six, except possibly at $14\times4$. The exact-value results are computer-assisted, using exhaustive enumeration, checked propositional refutations and symbolic certificates with a proved lifting argument for arbitrary lengths.
Area and diameter gaps for hyperbolic monotiles
For each fixed $n$, we prove a positive lower bound for the diameter of a compact simple geodesic $n$-gonal monotile of the hyperbolic plane. We also prove a positive lower bound for the area of such a tile in a finite monohedral tiling of a closed hyperbolic surface, independent of the topology and metric. Both bounds become independent of $n$ for vertex-proper tilings, in which every genuine tile vertex belongs to at least three distinct tiles. This includes tilings by convex polygons. Reflex angles and non-edge-to-edge incidences are allowed. After qualitative proofs, we obtain explicit constants from a sharp gap estimate for packing polytopes with arbitrarily coupled nonnegative integer constraints. Exact corner balance applies on closed surfaces; in the plane, covering duality and ball counts give a boundary factor depending on the tile diameter. Following Zare, we give, for each integer $q\ge2$, a geodesic construction with $2q+3$ sides and diameter less than $3/q$, showing that side counts cannot be unrestricted without an additional condition. The closed-surface results extend to regular curved sides. The geometric constants are effective but are not claimed to be optimal.
Four class association scheme double covers of strongly regular graphs
In this paper we give necessary conditions for 4-class association schemes that are generated by double covers of strongly regular graphs. These conditions are applied to open cases for diameter 4 antipodal distance-regular graphs. Using these conditions we are able to show the nonexistence of four cases in the table of Brouwer, Cohen and Neumeier: $\{20,18,3,1;1,3,18,20\}$, $\{22,21,3,1;1,3,21,22\}$, $\{ 54,50,5,1;,1,5,50,54 \}$, $\{ 170,162,9,1;,1,9,162,170 \}$.
More generally, we show there is no distance-regular graph with intersection array $\{k,b_1,b_2,1;1,b_2,b_1,k \}$ where $b_2 \neq 1$ and $\frac{ k b_1 }{4}(1+k+\frac{ k b_1 }{2b_2})$ is odd. Tables are also given for more general 4-class association schemes generated by double covers of strongly regular graphs.
Enumeration of Upper Triangular Symplectic Renner Monoids
In this paper, we compute the orders of upper triangular symplectic Renner monoids using admissible sets. We obtain both recursive and closed-form formulas for these orders. We then derive their exponential generating functions and establish connections between these functions and the Laguerre polynomials.
Hypergraphs associated to skew polynomial algebras and surface triangulations
We study the realization problem for point schemes of skew polynomial algebras. We approach this problem combinatorially by translating it into the study of certain $3$-uniform hypergraphs, which we call point hypergraphs. We first give a homological criterion characterizing point hypergraphs. Using this criterion, we study hypergraphs obtained by deleting triangles from triangulations of connected orientable closed surfaces. Deleting exactly one triangle always gives a non-point hypergraph. When the triangulation has no separating nonfacial $3$-cycles, deleting either no triangles or at least two triangles gives a point hypergraph, and the one-triangle deletions are minimal non-point hypergraphs with respect to taking induced sub-hypergraphs. It follows that point hypergraphs cannot be characterized by finitely many forbidden induced sub-hypergraphs. Next, for each point hypergraph, we construct an affine moduli variety of skew polynomial algebras realizing it, and determine its dimension. For point hypergraphs arising from the above surface construction, we obtain an explicit dimension formula in terms of the number of vertices, the Euler characteristic, and the number of deleted triangles. Finally, we characterize point hypergraphs on six vertices in terms of a four-vertex local condition together with a single exceptional obstruction.
A Proof of the Linear Hadwiger Conjecture
We show that there exists $C\in\mathbb{N}$ such that $K_t$-minor free graphs are $Ct$-colorable.
The proof was found by GPT-6 Astra, following the directions by the authors.
Quantum n-coloring is undecidable for every n $\ge$ 3
The quantum $n$-coloring problem, given graph $G$, asks whether there exists a perfect quantum strategy for the $n$-coloring game of $G$. Previously it was known that quantum $n$-coloring is undecidable only for $n=3$. We extend this to all $n\geq 3$ with one elementary reduction. Letting $G'=(G\square K_3)\lor K_{n-3}$, we show that $G$ is quantum $3$-colorable if and only if $G'$ is quantum $n$-colorable.
K-unstable Toric Varieties and Secondary Polytopes
For K-unstable toric varieties, Székelyhidi's optimal test-function $Θ_{P}$ is a mysterious concave function over the moment polytope $P$, which gives the maximal destabilizer for K-stability, and encodes the limiting behavior of the divergent Calabi flow. As balanced norms quantize cscK metrics, we show that $Θ_{P}$ can be quantized by the maximal destabilizers for Chow-stability, which are given by the shortest GKZ vectors, i.e., the least norm point on the secondary polytope for the set $P\cap k^{-1}\mathbb{Z}^{n}$. Properties and algorithm for general sGKZ vectors are given. Our result may provide a new method to detect the K-unstability of toric varieties.
Asymptotic Spectral Bounds under Odd-Girth Constraints
Odd girth and the sum of the largest and smallest adjacency eigenvalues are two common indicators of how close a graph is to being bipartite. This paper investigates the asymptotic behavior of this eigenvalue sum under odd-girth constraints. We study the associated abstract moment problem over finite real lists satisfying the vanishing odd-moment identities imposed by odd girth at least $g$ and the standard second-moment bound for graph spectra. We prove that the supremum of $(λ_1+λ_n)/n$ over these lists lies between $(1-o(1))(\log g)^2/g^3$ and $(10/7+o(1))(\log g)^2/g^3$ as $g\to\infty$ through the odd integers. The upper bound applies in particular to graphs of odd girth at least $g$.
For regular graphs of odd girth $g\geq5$, we obtain a stronger bound $(λ_1+λ_n)/n \leq 12/((g-1)(g-2)(g-3))$, which is optimal up to a constant factor.
Connectivity of the reconfiguration graph of Hamiltonian paths
A backbite on a Hamiltonian path of a graph $G$ adds an edge of $G$ from an endpoint $u$ of the path to a vertex $v$ and deletes an edge of the path at $v$ so that the result is again a Hamiltonian path. We study the connectivity of the reconfiguration graph $R(G)$, whose vertices are the Hamiltonian paths of $G$, with two adjacent when a single backbite carries one to the other. We prove that $R(G)$ is connected whenever $G$ contains the square of a Hamiltonian path as a spanning subgraph, and that any two Hamiltonian paths can be reconfigured using $O(n^2)$ backbites. Combining the theorem with known results on spanning squared paths gives connectivity for every graph with $δ(G)\ge\lceil\frac{2n-1}3\rceil$, for the circulants $\mathrm{Circ}(n;S)$ with $a,2a\in S$ for some $a$ coprime to $n$, and, with high probability, for the random graph $G(n,p)$ with $p\ge c/\sqrt n$, for a sufficiently large constant $c$. In the other direction, graphs with arbitrarily high connectivity may have disconnected reconfiguration graphs. For every $n\ge8$ and every $1\le m\le\lfloor n/2\rfloor-3$ we construct a graph on $n$ vertices with $κ=λ=δ=m$ whose reconfiguration graph is disconnected, with at least $(n-2m-4)!$ components. We conjecture that $δ(G)\ge n/2$ suffices for connectivity.
Finite Stick Breaking Sequences
In 1949, De Bruijn and Erdős considered infinite stick-breaking sequences. In this work, we consider finite sequences and prove that an infinite sequence that is due to De Bruijn, Erdős, and Toulmin is in some sense unique.
An asymptotically tight bound on oriented diameter
Let $f(d)$ be the smallest integer such that every connected bridgeless graph of diameter $d$ admits an orientation with directed diameter at most $f(d)$. Chvátal and Thomassen (1978) proved $\left\lceil{d^2}/{2}\right\rceil+d\le f(d) \le 2d^2+2d$. In this paper, we prove that $f(d)\le \left\lceil d^2/2\right\rceil+6d$, which shows $f(d)= d^2/2+Θ(d)$ and determine the leading quadratic coefficient of $f(d)$.
The key method of our proof is to construct a central subgraph $H$ such that it admits a strong orientation of diameter $O(d)$ and the distance between $H$ and every vertex outside $H$ is at most $ d/2 $.
Dyadic Structure of the Two-Block Odd Partition Function and Theta-Weighted Congruences for $pod(n)$
The two-block odd partition function \(a(n)\) is the signed enumeration of partitions into exactly two distinct part sizes, each occurring an odd number of times. By separating the underlying representations according to the \(2\)-adic valuations of the two part sizes, we obtain a signed decomposition, completed by two classical theta-function evaluations, which explains the structural relation \(a(2^km)=a(m)+(2^{k-1}-1)σ(m)\), where \(m\) is odd, \(k\ge1\), and \(σ(m)\) is the sum-of-divisors function. Combined with a previously established arithmetic formula for \(a(n)\), this relation yields congruences along the dyadic progressions \(2^k(4n+3)\), as well as the families \(a\!\left(2^\alpha3^β(12n+11)\right)\equiv0\pmod3\) and \(a\!\left(2^α(18n+15)\right)\equiv0\pmod3\). We also use a factorization of the generating function of \(a(n)\) involving \(\operatorname{pod}(n)\), the number of partitions in which odd parts are distinct and even parts are unrestricted, to establish a uniform reduction modulo every odd prime of the associated auxiliary series. The resulting theta-weighted sums involving \(\operatorname{pod}(n)\) are congruent to \(a(n)\) and therefore admit explicit evaluations involving the sum-of-divisors function and the character divisor sum associated with the nonprincipal Dirichlet character modulo \(4\). As special cases, we obtain infinite families of weighted congruences modulo \(3\), \(5\), and \(13\).
Uniform positivity of the tau invariant
We prove the Baker--Rumely conjecture that the tau invariant of a metrized graph admits a positive lower bound proportional to its total length, with an absolute constant. We also construct simple cubic metrized graphs whose normalized tau invariants tend to $59/7260<1/108$, disproving the proposed universal constant $1/108$. The lower bound is independent of the genus, the number of edges, and the distribution of edge lengths. Its proof combines a second-moment inequality for Euclidean lattices with a partition of the edge coordinates of a cycle lattice into three independent sets. The counterexamples have only two edge lengths and admit an elementary resistance calculation. Through the tropical moment identity, the lower bound also gives a uniform estimate for the non-archimedean terms in height formulas for Jacobians.
Infinite log-concavity of the Taylor coefficients of the Riemann xi-function
The Riemann hypothesis is equivalent to $F(x)$ belonging to the Laguerre--Pólya class. Brändén [J. Reine Angew. Math., 2011] proved that if an entire function in the Laguerre--Pólya class has nonnegative Taylor coefficients, then its coefficient sequence is infinitely log-concave. Consequently, the Riemann hypothesis implies the infinite log-concavity of $(λ_n)_{n\ge0}$. In this paper, we prove that the sequence $(λ_n)_{n\ge0}$ is strictly infinitely log-concave. This resolves a conjecture of Zhu [Math. Z., 2023]. The proof combines explicit complex-analytic estimates for the iterated logarithmic ratios, rigorous interval arithmetic for a finite range of indices, and a global closure argument.
Asymptotic spectral radius of nonregular graphs
Let $λ_1(n,Δ)$ be the maximum adjacency spectral radius among connected nonregular simple graphs of order $n$ and maximum degree $Δ$. Using effective resistance bounds, explicit comparison graphs and a one-dimensional Wirtinger inequality, we prove that, for every fixed integer $Δ\ge3$, $λ_1(n,Δ)=Δ-\frac{c_Δπ^2}{4n^2}+O_Δ(n^{-5/2})$, where $c_Δ=Δ-1$ for odd $Δ$ and $c_Δ=2(Δ-2)$ for even $Δ$. This proves the asymptotic conjecture posed by Liu [J. Combin. Theory Ser. B 169 (2024), Conjecture 7.1].
A note on the injective edge coloring of graphs with bounded maximum degree
Let $G$ be a graph. Under an \emph{injective edge coloring} of $G$, any two edges at distance $2$ or belonging to a common triangle receive distinct colors. The \emph{injective chromatic index} of $G$, denoted by $χ'_{inj}(G)$, is the smallest integer $k$ such that $G$ admits an injective edge coloring with $k$ colors. Let $Δ$ be the maximum degree of $G$. Ferdjallah et al.~proved that $χ'_{inj}(G) \le 2(Δ-1)^2$. In this paper, we improve this bound by proving that $χ'_{inj}(G) \le 2(Δ- 1)^2 -Δ+ 3$ if $Δ\ge 4$.
Even cycle decomposition thresholds for dense multipartite graphs
Let $r\geq 2$ be an integer. An $r$-partite graph $Γ$ with vertex partition $V_1,\ldots,V_r$ is $2$-balanced if there exists a positive integer $n$ such that $n\leq |V_i|\leq 2n$ for every $i\in[r]$. For an integer $\ell\geq3$, let $C_\ell$ denote the cycle of length $\ell$, and define $\hatδ(Γ)=\min\{d_Γ(v,V_i)/|V_i|:i\in[r],\ v\in V(Γ)\setminus V_i\}$. Let $\hatδ^r_{C_\ell}$ denote the $C_\ell$-decomposition threshold for $2$-balanced $r$-partite graphs, that is, the least nonnegative real number $δ$ such that, for every $\varepsilon>0$,
there exists $n_0$ such that every $C_\ell$-divisible $2$-balanced $r$-partite graph $G$ with $\min_i|V_i|>n_0$ and $\hatδ(G)\geqδ+\varepsilon$ admits a $C_\ell$-decomposition. We prove that $\hatδ^{r}_{C_4}=\frac{2}{3}$ and $\hatδ^{r}_{C_{2k}}=\frac{1}{2}$ for every $r\geq2$ and every $k\geq3$.
The classification of non-solvable transitive BLT-sets of $\mathcal{Q}(4,q)$
For an odd prime power $q$, a BLT-set $\mathcal B$ is a set of $(q+1)$ points of $\mathcal Q(4,q)$ such that every point of $\mathcal Q(4,q)$ is collinear with at most two points of $\mathcal B$. We complete the classification of BLT-sets of $\mathcal Q(4,q)$ admitting a non-solvable transitive automorphism group. Nelson and Penttila completed the classification of BLT-sets $\mathcal B$ with a non-solvable transitive automorphism group acting irreducibly on the underlying $5$-dimensional vector space. In this paper, we prove that a BLT-set with a non-solvable transitive full automorphism group acting reducibly on the underlying $5$-dimensional vector space is either a classical BLT-set or a Kantor semifield BLT-set.
Extension properties for partial permutations
Motivated by the EPPA problem for finite tournaments,we consider various extension properties for partial permutations. We show that for any set $Π$ of prime numbers, the $Π$-extension property is equivalent to the $Π$-LERF. As a consequence of known results, the odd-extension property is then equivalent to the EPPA for finite tournaments. To study the $Π$-extension property, we reformate the property using the concepts of EP problems and $Π$-solutions. We then show that the existence of a $Π$-solution for an EP problem depends entirely on its fundamental group. In particular, when the fundamental group is trivial or cyclic, the EP problem has a $Π$-solution for any $Π$. These extend some known results of Huang, Pawliuk, Sabok and Wise [HPSW19]. We give examples of EP problems without nilpotent-solutions; they witness that the $p$-extension property and the $p$-LERF fail for any prime $p$. Then we consider a special kind of EP problems whose fundamental groups have two generators. We show that any 1-weakly wandering problem has a $Π$-solution for any $Π$. For 2-weakly wandering problems, we show that they all have odd-solutions and we completely characterize those without nilpotent-solutions.