Hypergraph Alon-Tarsi Bounds Track Edge Density
Permuting nonconstant edge coefficients gives an arbitrary-field bound of $2\lceil\mathrm{ed}(H)\rceil+1$, connecting polynomial structure to hypergraph density.
Discrete mathematics, graph theory, enumeration, and optimization.
Permuting nonconstant edge coefficients gives an arbitrary-field bound of $2\lceil\mathrm{ed}(H)\rceil+1$, connecting polynomial structure to hypergraph density.
Under proper edge colouring, an existence proof partitions every sufficiently large complete graph into two vertex-disjoint rainbow cycles.
Unfolding and refolding witness graphs lets the authors characterize critical activation density for every fixed graph H, including witnesses larger than the host graph.
Expected self-intersection time is O(√n log n) on bounded-degree graphs and O(√n) for regular graphs with a uniform spectral gap.
For every positive d and k, the authors construct a union of d comparability graphs with clique number k and chromatic number k^d, extending the separation to fractional coloring and the independence ratio.
An explicit reflection labeling gives every shifted lower interval a controlled chain structure across arbitrary Coxeter groups.
An explicit Matrix-Bernstein and gap protocol gives finite-sample network certificates, then declines when valid sets are still vacuous.
A minimal-counterexample proof settles Aharoni’s r=2 case and shows the ceiling n/2 bound cannot be improved.
A transitive-triangle condition proves Sullivan’s inequality for two broad graph classes and gives partial split-graph proofs.
Polytope arguments and explicit graph families disprove a 1-toughness conjecture, certify a 34-vertex nontraceable RP graph, and classify path products.