Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Behrend function and blowup algebras
Given a scheme $X$ of finite type over the complex numbers, the Behrend function is a constructible function $ν_X: X(\mathbb C) \rightarrow \mathbb Z $ introduced by Behrend in order to define enumerative invariants in Donaldson--Thomas theory. Even in simple cases, the Behrend function is very difficult to compute. In this article, we tackle the problem of computing the Behrend function of zero-dimensional schemes. We obtain a number of explicit formulas, in particular, for arbitrary zero-dimensional monomial schemes, thus providing vast generalizations of previous work of Graffeo--Ricolfi. Our main tools come from the theory of blowup algebras. Along the way, we establish results of independent interest related to the integer decomposition property, weighted Veronese subrings, and reduced fiber rings.
Intervals of uniform Turán densities
We prove that the set $Π_{\therefore,\infty}$ of uniform Turán densities of possibly infinite families of $3$-graphs contains a terminal interval: there exists $δ>0$ such that $[1-δ,1]\subseteqΠ_{\therefore,\infty}$. Consequently, $Π_{\therefore,\infty}$ has positive Lebesgue measure and Hausdorff dimension $1$.
Entropy Transference for Rainbow-$H$-Free Colourings of Random Graphs
Let $H$ be a fixed graph with $q=e(H)\ge3$ and containing two adjacent edges, and let $\ell\ge q$ be fixed. We establish an entropy-transference principle for rainbow-$H$-free edge-colourings of the binomial random graph at the natural scale $p=n^{-1/m_2(H)}$. Below a sufficiently small constant multiple of this scale, almost all host edges may be coloured freely; above a sufficiently large constant multiple, the exponential counting rate is governed exactly by a deterministic template-entropy optimisation on complete graphs. An exact Hall-palette inequality evaluates this rate throughout the universal range $q\le\ell\le(q-1)^{q/(q-2)}$, where the dense-side base is $q-1$, and a robust form yields counting stability below the endpoint. For arbitrary fixed $\ell$, deletion-profile bounds determine the first-order many-colour behaviour and characterise when the $(q-1)$-colour rate persists for every fixed number of colours. This extends the random Gallai-colouring transition from triangles to every fixed non-matching graph and provides a general mechanism for transferring dense template entropy to sparse random hosts.
On the dimensions of correlated equilibrium polytopes of generic games
In this paper, we study the dimension of the correlated equilibrium polytope of finite games. Under the oriented-matroid notion of genericity, we prove that if a generic game is not full-dimensional, then there exists a subgame whose correlated equilibrium polytope is affinely isomorphic to that of the original game. This settles and generalizes an earlier conjecture of Brandenburg, Hollering, and Portakal (2024). Moreover, we show that the existence of a correlated equilibrium whose slices are all non-zero implies that the correlated equilibrium polytope is either full-dimensional or a singleton.
Supersaturation of induced even cycles in locally sparse graphs
A graph $Γ$ is $(c,t)$-sparse for $c > 0$ and $t \ge 1$ if for every pair of vertex subsets $A, B \subseteq V(Γ)$ with $|A|, |B| \ge t$, the number of edges $e(A,B)$ between them satisfies $ e(A,B) \le (1 - c)|A||B|$. In this paper, we prove that for every integer $\ell\ge2$, there are $\varepsilon > 0, C, C' > 0$ such that if an $n$-vertex graph $Γ$ is $(1-\varepsilon,t)$-sparse for some $t$, and has at least $Ct^{1-1/\ell}n^{1+1/\ell}$ edges, then $Γ$ contains at least $C'n^2t^{2\ell-2}$ induced copies of $C_{2\ell}$. This partially resolves a problem of Ding, Gao, Liu, Luan, and Sun.
On the achromatic index of Johnson graphs $J(n,2)$
In this paper, we study proper and complete edge-colorings of Johnson graphs $J(n,2)$, also called $n$-triangular graphs. They are isomorphic both to the 2-token graphs of complete graphs and to the line graphs of complete graphs. A $t$-edge-coloring of a graph $G$ is a function that assigns one color from $\{1,2,\ldots,t\}$ to each edge. Such a coloring is called proper if no two incident edges receive the same color, and complete if every pair of distinct colors appears on a pair of incident edges. The achromatic index, denoted by $α_2(G)$, is the largest integer $t$ for which $G$ admits a proper and complete $t$-edge-coloring. We establish new lower and upper bounds for $α_2(J(n,2))$, provide explicit proper and complete edge-colorings attaining the lower bounds, and determine the exact value of $α_2(J(n,2))$ for several values of $n$.
Combinatorial and algebraic proofs of Keller's $A_2\square A_2$ $q$-dilogarithm identity
The classical Durfee-square argument gives a combinatorial proof of the pentagon identity for the quantum dilogarithm. Just as the pentagon identity is associated with the $A_2$ quiver, Keller's identity is associated with the square-product quiver $A_2\square A_2$. Previous proofs of Keller's identity use cluster categories or spectral sequences in rapid-decay equivariant cohomology. We give three proofs of Keller's identity: a generating-function proof, an explicit weight-preserving bijection on colored partitions, and a standard-monomial proof using a four-colored arc algebra. Their common mechanism is an iterated Durfee decomposition: two possible pairings give horizontal and vertical decompositions, while a third binary step accounts for the coupling factor. These constructions provide a ``superpotential analogue'' of the Durfee-square argument.
Cardinal Grid Slime Trail is PSPACE-Complete
Slime Trail is a two-player combinatorial game in which the players alternately move a shared token to an adjacent vertex, permanently removing each vertex the token leaves, while attempting to reach a goal node. Ferland and Burke (2017) proved that Slime Trail is PSPACE-complete on arbitrary planar graphs and asked whether the same holds for the grid version actually used in play. We resolve this open problem by proving that Cardinal Grid Slime Trail, that is, Slime Trail on a square grid with four-directional movement, is PSPACE-complete. We adapt their QBF reduction to the grid setting, designing grid-compatible gadgets that respect the degree-4 bound and the parity constraints of the integer lattice. We further show the construction extends, under a 45-degree rotation, to the eight-directional variant.
A bijective proof of a partition theorem of Berkovich and Uncu
In 2016, Berkovich and Uncu proved that, for all nonnegative integers $i$, $j$, and $n$, the number of strict partitions of $n$ with $i$ odd-indexed odd parts and $j$ even-indexed odd parts equals the number of strict partitions of $n$ with $i$ parts congruent to $1$ modulo $4$ and $j$ parts congruent to $3$ modulo $4$. Their proof used generating functions, and they asked for a combinatorial proof. We answer their question with an explicit bijection, assembled from three classical ingredients: $2$-modular diagrams, an insertion algorithm of Chen, Gao, Ji, and Li, and Glaisher's bijection. AxiomProver autonomously formalized and verified the proof of the main theorem in Lean.
On Strong Majority Edge Colourings with Few Colours
A strong majority edge colouring of a graph $G$ is an edge colouring in which, for every edge $e$ and every colour $α$, at most half the edges adjacent to $e$ receive colour $α$. Like many related colouring notions, it admits a natural interpretation as a colouring problem for an associated hypergraph. Somewhat surprisingly, although the corresponding hypergraph may have arbitrarily large vertex degrees, a universal finite upper bound on the sufficient number of colours in a strong majority edge colouring exists under a natural modest minimum degree assumption, unlike in several other closely related majority concepts.
We in particular prove that every graph $G$ with minimum degree $δ\ge5$ admits a strong majority edge colouring with three colours, improving both the previously known bound $δ\ge9$ for three colours and the result showing that four colours suffice whenever $δ\ge5$. Our result is best possible with respect to the number of colours and nearly best possible with respect to the minimum degree assumption, as we exhibit the latter cannot be decreased below $4$.
We also introduce a more general framework of strong $1/k$-majority edge colourings and establish corresponding bounds for this setting.
Kemeny's constant and Braess cliques in graphs
Kemeny's constant is used as a measure of the average travel time on a graph. Braess' paradox for graphs is the observation that in some graphs, when an edge is added, Kemeny's constant increases. We introduce the notion of a Braess clique $K_\ell$, a clique that when inserted into a graph on an independent set of $\ell$ vertices, will create an increase in Kemeny's constant. In this context, a Braess edge is a Braess $K_2$. We provide examples of graphs that have a Braess $K_\ell$ for $\ell\geq 3$. We observe that almost every connected planar labelled graph has a Braess $K_\ell$ for each $\ell\geq 3$. We also explore the relationship between Braess edges and Braess cliques in graphs.
All parallel chip-firing games with $2|E|-|V|<|σ|<2|E|$ have period $2$
In 2010, Levine found that the activity functions of parallel chip-firing games on the complete graph $K_n$ converge to a devil's staircase pattern: adding chips causes activity to progress through open intervals in which it is locally constant. In 2022, Bu, Choi, and Xu improved on an earlier bound by Kominers and Kominers to show that there exists a strict lower bound below which all games have activity $0$, and a strict upper bound above which all games have activity $1$. They thereby generalized the bottom and topmost rungs of the devil's staircase to all graphs. In 2024, Ji, Li, and Wang conjectured that a similarly general bound exists for games with activity $\tfrac12$. We use GPT-5.6-Sol to prove this conjecture, unifying existing results for trees, cycles, complete graphs, and complete bipartite graphs. This generalizes the middle rung of the devil's staircase.
Subhomogeneity and Arveson Boundary of Free Polyhedra
We study subhomogeneity of the minimal operator system over a polyhedral cone, or equivalently the size of irreducible Arveson boundary points of free polyhedra. We obtain a complete classification in dimension three for cones (equivalently, dimension two for polytopes): cones with three extreme rays are 1-subhomogeneous, cones with four extreme rays are 2-subhomogeneous, and cones with at least five extreme rays are not subhomogeneous. In the last case, we construct irreducible Arveson boundary points at every even matrix level. We prove that subhomogeneity passes to faces and face quotients. We also determine the size of irreducible Arveson boundary points of free polyhedra over products of two simplices, obtaining a dichotomy between the product of two segments and all remaining cases. As applications, we classify n-dimensional cones with n+1 extreme rays. More generally, when every facet omits at most two extreme rays, we show that subhomogeneity occurs exactly for direct sums of simplicial cones and three-dimensional four-ray cones. We also construct, for a range of fixed dimensions and ray counts, cones exhibiting both subhomogeneous and non-subhomogeneous behavior.
Elements represented as intersections of sets
For a natural number $n$ let $[n] = \{1,\ldots,n\}$. We say that a family ${\cal{S}}\subseteq 2^{[n]}$ is \emph{representing} if every singleton set of $[n]$ is an intersection of some sets from ${\cal{S}}$. We show that the smallest possible cardinality of a representing set for $[n]$ is the discrete inverse $s(n)$ of the Sperner's function $n\mapsto \binom{n}{\lfloor n/2\rfloor}$, which by Sperner's Theorem is the maximum number of elements in an antichain in $2^{[n]}$ when viewed as subset (or boolean) lattice. Specifically, $s(n)$ is then the smallest positive integer such that $2^{[n]}$ contains an $n$-element antichain. Some generalization, further applications and asymptotics in terms of the second real branch of the Lambert $W$ function are presented.
Bicriteria Approximation Algorithms for Demand Matching
The demand matching problem generalizes both the knapsack problem and the $b$-matching problem. In this problem, each edge of a graph has a demand and a weight, each vertex has a capacity, and the goal is to find a maximum weight subset of edges whose total incident demand at every vertex does not exceed its capacity. We study $(α, β)$-bicriteria approximation algorithms, which return a solution of weight at least $1/α$ times the optimum while allowing an additive capacity violation of at most $β$ times the maximum edge demand.
We give an iterative relaxation algorithm for the demand matching problem that exploits a structural characterization of strictly fractional extreme points of the natural LP relaxation, which reduces the residual rounding problem to odd-cycle instances. Combined with a better-of-two rounding strategy, this yields $(7/6, 1)$- and $(1, 1)$-bicriteria approximation algorithms for general and bipartite graphs, respectively. We further generalize this approach to obtain a parametric family of algorithms, including a $(1, 4/3)$-bicriteria approximation. Separately, for the more general $k$-hypergraph demand matching problem, we give a greedy, combinatorial $(k, 1)$-bicriteria approximation algorithm.
We complement these algorithmic results with matching lower bounds relative to the natural LP relaxation for $β= 0$ and all $β\geq 1$, completely characterizing the trade-off between weight approximation and additive capacity violation in this range.
Dimension Rigidity and Projective Geometry of Trace-Product Switchings of the Gold Cube
We completely classify a natural scalar trace-product switching of the Gold almost perfect nonlinear function $x\mapsto x^3$ in every even dimension. Nontrivial switchings occur only for $n=4,6,8$: the admissible coefficients are, respectively, the nonzero trace-zero elements, the six elements of multiplicative order nine, and $\mathbb{F}_4^{*}$. For every even $n\geq10$, no nonzero coefficient is admissible. The infinite range is excluded by additive-character estimates on a Fermat cubic, with exact finite bridges for $n=10,12$. The raw coefficient lists for $n=6,8$ appeared earlier in Arshad's dissertation; our contribution is their intrinsic description, a proof uniform in the dimension, and the resulting dimension-rigidity theorem. We also classify normalized rank-two extensions in dimension eight by $\mathbb{P}^{1}(\mathbb{F}_4)$. A binary trace selector accepts two coefficient values at each non-base projective point, and the eight accepted marked switchings form exactly two extended-affine, hence two CCZ, classes. A centre-independent low-rank derivative criterion reduces each rank-$r$ candidate to $2^r-1$ membership tests in precomputed forbidden sets. The global APN classes reached are known; the results describe their local organization around the Gold centre and rule out this switching mechanism in all larger even dimensions.
Discrete homology computations by reduction to zero differentials
We develop a new algorithm for computing (persistent) discrete homology of graphs using reduction to zero differentials and active enumeration. This allows us to compute the fourth homology group of the Greene sphere, along with several previously unknown groups. We also show that persistent discrete homology computes faster than simplicial homology of Vietoris-Rips complex in the high-noise non-metric settings, making it a better choice for noisy data sets.
Topological Tverberg theorems for products of polytopes
The topological Tverberg theorem asserts that if $r$ is a prime power then for any continuous map $f\colon Δ_{(r-1)(d+1)}\rightarrow \mathbb{R}^d$ from the $(r-1)(d+1)$-dimensional simplex $Δ_{(r-1)(d+1)}$ to $\mathbb{R}^d$ there exist $r$ pairwise disjoint faces of the simplex whose images have non-empty $r$-fold intersection. By refinement, the same conclusion holds if the simplex is replaced by any polytope of the same dimension. While this dimension is tight for simplices, recent work of Soberón and Zerbib shows that this need not be true for polytopes in general.
Here we give topological Tverberg theorems for products of simplices. Each of these improves upon the $(r-1)(d+1)$-dimensional threshold, even while imposing the structural condition that the ``Tverberg faces'' of the product are themselves the products of pairwise disjoint faces from each simplex factor. As before, refinement extends these results, and in particular their dimensional improvements, to products of arbitrary polytopes. As an example, if $d+1$ is a power of two then whenever $m\geq n\geq d+1$ and $m+n=3d+2$ we show that any continuous map $f\colon Δ_m\times Δ_n\rightarrow \mathbb{R}^d$ admits disjoint faces $σ_1,σ_2$ of $Δ_m$ and $τ_1,τ_2$ of $Δ_n$ such that $\cap_{i,j\in[2]} f(σ_i\timesτ_j)\neq \emptyset$. In the case of multilinear maps, our results imply partitions of grid-indexed point sets in $\mathbb{R}^d$ by specialized subsets with stronger intersection conclusions than given by Tverberg's original theorem. Lastly, we extend our results to van Kampen--Flores type theorems which impose dimensional restrictions on the faces of each product factor.
A directed flat wall theorem excluding a crossrow grid
The graph minor project contains the most influential results in recent undirected graph theory research. There has been progress in recent years in generalising some of their results to directed graphs, with the directed grid theorem of Kawarabayashi and Kreutzer [STOC '15] and the directed flat wall theorem of Giannopoulou, Kawarabayashi, Kreutzer, and Kwon [SODA '22].
We discuss the two different versions of the existing directed flat wall theorem and their drawbacks. Then, we present an alternative directed flat wall theorem that excludes a different digraph as a butterfly minor. This new theorem lies ``in between'' the two existing ones and, as such, does not have either of these drawbacks.
The proof of our flat wall theorem is based on the one by Giannopoulou, Kawarabayashi, Kreutzer, and Kwon [SODA '22], which has been adapted by Giannopoulou and Wiederrecht [STOC~'24]. Here we make further adjustments to match our setting.
Counting in Vieta graphs over $\mathbb{F}_p$
We introduce and study a finite simple graph of algebraic origin: the Vieta graph on the solution set over $\mathbb{F}_p$ to a symmetric, multivariate equation which is quadratic in each variable. This construction is a broad generalization of the Markoff graph over $\mathbb{F}_p$, extensively studied in the recent literature. We give a systematic approach, partly based on quadratic character sums, to the following basic counting questions: how many vertices does a Vieta graph have, and what is the degree distribution? We focus on explicit counts, addressing the low-dimensional cases in three and four variables.