Counterexamples to a conjecture of Woods

Oded Regev,Uri Shapira,Barak Weiss

DOI: https://doi.org/10.1215/00127094-2017-0018

2017-09-15

Duke Mathematical Journal

Abstract:A conjecture of Woods from 1972 is disproved: for d≥30, there are well-rounded unimodular lattices in Rd with covering radius greater than that of Zd.

mathematics

What problem does this paper attempt to address?

Counterexamples to a Conjecture of Ahmadi and Shparlinski

Taylor Dupuy,Kiran Kedlaya,David Roe,Christelle Vincent

DOI: https://doi.org/10.1080/10586458.2021.1980463

2021-10-26

Experimental Mathematics

Abstract:Ahmadi-Shparlinski conjectured that every ordinary, geometrically simple Jacobian over a finite field has maximal angle rank. Using the L-Functions and Modular Forms Database, we provide two counterexamples to this conjecture in dimension 4.

mathematics
A proof of the Erdős-Sands-Sauer-Woodrow conjecture

N. Bousquet,W. Lochet,S. Thomassé

DOI: https://doi.org/10.48550/arXiv.1703.08123

2017-03-24

Abstract:A very nice result of Bárány and Lehel asserts that every finite subset $X$ or $\mathbb R^d$ can be covered by $f(d)$ $X$-boxes (i.e. each box has two antipodal points in $X$). As shown by Gyárfás and Pálvőlgyi this result would follow from the following conjecture : If a tournament admits a partition of its arc set into $k$ quasi orders, then its domination number is bounded in terms of $k$. This question is in turn implied by the Erdős-Sands-Sauer-Woodrow conjecture : If the arcs of a tournament $T$ are colored with $k$ colors, there is a set $X$ of at most $g(k)$ vertices such that for every vertex $v$ of $T$, there is a monochromatic path from $X$ to $v$. We give a short proof of this statement. We moreover show that the general Sands-Sauer-Woodrow conjecture (which as a special case implies the stable marriage theorem) is valid for directed graphs with bounded stability number. This conjecture remains however open.

Combinatorics
Counterexamples to generalizations of the Erdős $B+B+t$ problem

Ethan Ackelsberg

2024-04-26

Abstract:Following their resolution of the Erdős $B+B+t$ problem, Kra Moreira, Richter, and Robertson posed a number of questions and conjectures related to infinite configurations in positive density subsets of the integers and other amenable groups. We give a negative answer to several of these questions and conjectures by producing families of counterexamples based on a construction of Ernst Straus.

Combinatorics,Number Theory
A counterexample to the geometric Chevalley-Warning conjecture

June Huh

DOI: https://doi.org/10.48550/arXiv.1307.7765

2013-07-30

Algebraic Geometry

Abstract:We construct a quartic threefold with L-rational singularities which has torsion in its middle homology group. This answers a question of Brown and Schnetz for all fields of characteristic zero.
On the Circuit Diameter Conjecture for Counterexamples to the Hirsch Conjecture

Alexander E. Black,Steffen Borgwardt,Matthias Brugger

2024-04-09

Abstract:Circuit diameters of polyhedra are a fundamental tool for studying the complexity of circuit augmentation schemes for linear programming and for finding lower bounds on combinatorial diameters. The main open problem in this area is the circuit diameter conjecture, the analogue of the Hirsch conjecture in the circuit setting. A natural question is whether the well-known counterexamples to the Hirsch conjecture carry over. Previously, Stephen and Yusun showed that the Klee-Walkup counterexample to the unbounded Hirsch conjecture does not transfer to the circuit setting. Our main contribution is to show that the original counterexamples for the other variants, for bounded polytopes and using monotone walks, also do not transfer. Our results rely on new observations on structural properties of these counterexamples. To resolve the bounded case, we exploit the geometry of certain $2$-faces of the polytopes underlying all known bounded Hirsch counterexamples in Santos' work. For Todd's monotone Hirsch counterexample, we provide two alternative approaches. The first one uses sign-compatible circuit walks, and the second one uses the observation that Todd's polytope is anti-blocking. Along the way, we enumerate all linear programs over the polytope and find four new orientations that contradict the monotone Hirsch conjecture, while the remaining $7107$ satisfy the bound.

Combinatorics,Optimization and Control
Counterexamples to Allen's conjectures

Kouki Sato

2024-07-03

Abstract:We show that the torus knots $T(2,5)$ and $T(2,9)$ bound smooth Möbius bands in the 4-ball whose double branched covers are negative definite, giving counterexamples to Conjectures 1.6 and 1.8 of Allen in [New York J. Math. 29 (2023) 1038-1059].

Geometric Topology
Counterexamples to a conjecture of Lemmermeyer

Nigel Boston,Charles Leedham-Green

DOI: https://doi.org/10.1007/s000130050319

1999-03-01

Archiv der Mathematik

Abstract:Abstract. We produce infinitely many finite 2-groups that do not embed with index 2 in any group generated by involutions. This disproves a conjecture of Lemmermeyer and restricts the possible Galois groups of unramified 2-extensions, Galois over Q, of quadratic number fields.

mathematics
Counterexamples to conjectures on the occupancy fraction of graphs

Stijn Cambie,Jorik Jooken

2023-11-29

Abstract:The occupancy fraction of a graph is a (normalized) measure on the size of independent sets under the hard-core model, depending on a variable (fugacity) $\lambda.$ We present a criterion for finding the graph with minimum occupancy fraction among graphs with a fixed order, and disprove five conjectures on the extremes of the occupancy fraction and (normalized) independence polynomial for certain graph classes of regular graphs with a given girth.

Combinatorics
Counterexamples to Zagier's Duality Conjecture on Nahm Sums

Liuquan Wang

2024-11-15

Abstract:Given any positive integer $r$, Nahm's problem is to determine all rational $r\times r$ positive definite matrix $A$, $r$-dimensional rational vector $B$ and rational scalar $C$ such that the rank $r$ Nahm sum associated with $(A,B,C)$ is modular. Around 2007, Zagier conjectured that if the rank $r$ Nahm sum for $(A,B,C)$ is modular, then so is the dual Nahm sum associated with $(A^{-1},A^{-1}B,B^\mathrm{T} A^{-1}B/2-{r}/{24}-C)$. We construct some explicit rank four Nahm sums wherein the original Nahm sum is modular while its dual is not modular. This provides counterexamples to Zagier's conjecture.

Number Theory,Combinatorics
Towards a conjecture of Woodall for partial 3-trees

Juan Gutiérrez

2024-08-11

Abstract:In 1978, Woodall conjectured the following: in a planar digraph, the size of a shortest dicycle is equal to the maximum cardinality of a collection of disjoint transversals of dicycles. We prove that this conjecture is true when the underlying graph is a planar 3-tree.

Combinatorics,Discrete Mathematics
Disproof of a conjecture by Erdős and Guy on the crossing number of hypercubes

Yuansheng Yang,Guoqing Wang,Haoli Wang,Yan Zhou

DOI: https://doi.org/10.48550/arXiv.1201.4700

2021-12-22

Abstract:Let $Q_n$ be the $n$-dimensional hypercube, and let ${\rm cr}(Q_n)$ be the \textit{crossing number} of $Q_n$. Erdős and Guy in 1973 conjectured the following equality: ${\rm cr}(Q_n)=\frac{5}{32}4^n-\lfloor\frac{n^2+1}{2}\rfloor 2^{n-2}$. In this paper, we construct a drawing of $Q_n$ with less crossings when $n>6$, which implies that for $n>6$ we have a strict inequality.

Combinatorics
Three results related to the half-plane property of matroids

Mario Kummer,David Sawall

2024-02-02

Abstract:We settle three problems from the literature on stable and real zero polynomials and their connection to matroid theory. We disprove the weak real zero amalgamation conjecture by Schweighofer and the second author. We disprove a conjecture by Brändén and D'León by finding a relaxation of a matroid with the weak half-plane property that does not have the weak half-plane property itself. Finally, we prove that every quaternionic unimodular matroid has the half-plane property which was conjectured by Pendavingh and van Zwam.

Combinatorics
Counterexample to a conjecture about braces

David Bachiller

DOI: https://doi.org/10.48550/arXiv.1507.02137

2015-07-23

Abstract:We find an example of a finite solvable group (in fact, a finite $p$-group) without any left brace structure (equiv. which is not an IYB group). Our argument is an improvement of an argument of Rump, using previous work in other areas of Burde, and of Featherstonhaugh, Caranti and Childs, which we relate to brace theory.

Group Theory,Rings and Algebras
A counterexample to the Hermite ring conjecture

Daniel Schäppi

2023-11-08

Abstract:We show that there exists a stably free module over a polynomial ring which is not extended from the ground ring. This provides a counterexample to the Hermite ring conjecture.

Commutative Algebra,K-Theory and Homology
A new proof of Vazsonyi's conjecture

Konrad J Swanepoel

DOI: https://doi.org/10.1016/j.jcta.2007.08.006

2007-05-04

Abstract:We present a self-contained proof that the number of diameter pairs among n points in Euclidean 3-space is at most 2n-2. The proof avoids the ball polytopes used in the original proofs by Grunbaum, Heppes and Straszewicz. As a corollary we obtain that any three-dimensional diameter graph can be embedded in the projective plane.

Combinatorics,Metric Geometry
The bunkbed conjecture is false

Nikita Gladkov,Igor Pak,Aleksandr Zimin

2024-10-03

Abstract:We give an explicit counterexample to the Bunkbed Conjecture introduced by Kasteleyn in 1985. The counterexample is given by a planar graph on $7222$ vertices, and is built on the recent work of Hollom (2024).

Combinatorics,Discrete Mathematics,Probability
From Enriques surface to Artin-Mumford counterexample

Alessandro Verra

DOI: https://doi.org/10.48550/arXiv.2211.01509

2022-11-03

Abstract:After an Introduction to the themes of Enriques surfaces and Rationality questions, the Artin-Mumford counterexample to Lueroth problem is revisited. A construction of it is given, which is related in an explicit way to the geometry of Enriques surfaces, more precisely to the special family of Reye congruences and their classical geometry.

Algebraic Geometry
On Covering Radii in Function Fields

Noy Soffer Aranov

2024-10-15

Abstract:In this paper, we shall discuss topics in geometry of numbers in the positive characteristic setting, such as covering radii. We find a closed form for covering radii with respect to convex bodies, which will lead to a proof of the positive characteristic analogue of Woods' conjecture in this setting. Then, we will prove a positive characteristic analogue of Minkowski's conjecture about the multiplicative covering radius. To do this, we shall prove a positive characteristic analogue of Solan's result that every diagonal orbit intersects the set of well rounded lattices. This implies that the Gruber-Mordell spectrum in positive characteristic is trivial in every dimension.

Number Theory,Dynamical Systems,Metric Geometry
Counterexample to Babai's lonely colour conjecture

James Davies,Meike Hatzel,Liana Yepremyan

2024-10-08

Abstract:Motivated by colouring minimal Cayley graphs, in 1978, Babai conjectured that no-lonely-colour graphs have bounded chromatic number. We disprove this in a strong sense by constructing graphs of arbitrarily large girth and chromatic number that have a proper edge-colouring in which each cycle contains no colour exactly once.

Combinatorics,Discrete Mathematics,Group Theory
On the Structure of a Smallest Counterexample and a New Class Verifying the 2-Decomposition Conjecture

F. Botler,A. Jiménez,M. Sambinelli,Y. Wakabayashi

DOI: https://doi.org/10.1007/s00373-024-02833-1

2024-09-22

Graphs and Combinatorics

Abstract:The 2-Decomposition Conjecture, equivalent to the 3-Decomposition Conjecture stated in 2011 by Hoffmann-Ostenhof, claims that every connected graph G with vertices of degree 2 and 3, for which is disconnected for every cycle C , admits a decomposition into a spanning tree and a matching. In this work we present two main results focused on developing a strategy to prove the 2-Decomposition Conjecture. One of them is a list of structural properties of a minimum counterexample for this conjecture. Among those properties, we prove that a minimum counterexample has girth at least 5 and its vertices of degree 2 are at distance at least 3. Motivated by the class of smallest counterexamples, we show that the 2-Decomposition Conjecture holds for graphs whose vertices of degree 3 induce a collection of cacti in which each vertex belongs to a cycle. The core of the proof of this result may possibly be used in an inductive proof of the 2-Decomposition Conjecture based on a parameter that relates the number of vertices of degree 2 and 3 in a minimum counterexample.

mathematics

Counterexamples to a conjecture of Woods

Counterexamples to a Conjecture of Ahmadi and Shparlinski

A proof of the Erdős-Sands-Sauer-Woodrow conjecture

Counterexamples to generalizations of the Erdős $B+B+t$ problem

A counterexample to the geometric Chevalley-Warning conjecture

On the Circuit Diameter Conjecture for Counterexamples to the Hirsch Conjecture

Counterexamples to Allen's conjectures

Counterexamples to a conjecture of Lemmermeyer

Counterexamples to conjectures on the occupancy fraction of graphs

Counterexamples to Zagier's Duality Conjecture on Nahm Sums

Towards a conjecture of Woodall for partial 3-trees

Disproof of a conjecture by Erdős and Guy on the crossing number of hypercubes

Three results related to the half-plane property of matroids

Counterexample to a conjecture about braces

A counterexample to the Hermite ring conjecture

A new proof of Vazsonyi's conjecture

The bunkbed conjecture is false

From Enriques surface to Artin-Mumford counterexample

On Covering Radii in Function Fields

Counterexample to Babai's lonely colour conjecture

On the Structure of a Smallest Counterexample and a New Class Verifying the 2-Decomposition Conjecture