Researchers Optimize Bounds on Unit-Distance Problem in Planar Geometry
Following the 2026 disproof of Erdős's unit-distance conjecture, researcher Michael Emmerich has developed an open-source optimization pipeline that improves the quantitative lower bounds on how many unit distances can exist among n planar points. Sawin's earlier refinement established that this count can exceed n^1.014; Emmerich's pipeline pushes the certified exponent to at least n^1.0152, with an extended certificate reaching n^1.031, and community efforts on MathOverflow have since reported exponents above n^1.035. The work matters because it demonstrates how randomized integer optimization heuristics can systematically tighten explicit combinatorial geometry certificates, and it opens a collaborative, verifiable framework for further improvements.
The 2026 disproof of Erdős's long-standing unit-distance conjecture established that the maximum number of unit distances u(n) among n planar points can grow faster than any fixed power n^(1+ε). Will Sawin subsequently provided a quantitative lower bound showing u(n) > n^1.014 for arbitrarily large n, but left several integer parameters unoptimized. Michael Emmerich's preprint treats those parameters—prime sets T and S_Q, integer multiplicities k(p), and a rationally encoded real parameter R—as a nonlinear integer optimization problem, implementing an open-source Python pipeline for certificate generation and verification. Using a tailored integer evolution strategy, the pipeline first reproduces Sawin's certificate (δ ≈ 0.014114) and then yields an improved certificate with δ ≈ 0.015263, supporting the bound u(n) > n^1.0152. An extended certificate involving 67 ramified primes (the Emmerich–Cordella certificate) reaches u(n) > n^1.031, highlighting the value of enlarging the prime set T. As of the paper's fourth version, MathOverflow community contributions—some using modified constraint systems beyond Sawin's original formulation—have reported certificates exceeding δ > 0.035 and even δ > 0.036, and an independently developed verification pipeline by Tseng (2026) has been published on Zenodo, underscoring rapid community engagement with this newly opened research area.
What's missing
It is unclear whether the MathOverflow certificates exceeding δ > 0.035 have undergone independent formal verification comparable to the pipeline described here. Additionally, the paper notes that some recent improvements deviate from Sawin's original constraint system, but does not fully characterize what those modifications entail or whether they introduce new unverified assumptions.
What different sources said
- arXiv cs.AICenter
Optimizing Explicit Unit-Distance Lower-Bound Certificates
Related
Gut Bacteria Enzyme Found to Break Down Heat-Processed Food Compounds, Producing Novel Biogenic Amines
Researchers have discovered that an enzyme in common gut bacteria can degrade N-epsilon-carboxymethyllysine (CML), a compound formed during thermal food processing, producing previously unknown biogenic amines. The enzyme, ornithine decarboxylase SpeC from enterobacteria, acts on CML and related modified lysine derivatives through a low-level 'underground' catalytic activity. This finding suggests a previously unrecognized communication axis between thermally processed dietary compounds and gut microbial physiology, with potential implications for host health.
Full-Length Gene Sequencing Reveals Two Distinct Bacterial Communities in Black-Legged Ticks Expanding Into Canada
Researchers used Oxford Nanopore full-length 16S rRNA gene sequencing to characterize the microbiome of Ixodes scapularis black-legged ticks collected in Nova Scotia, Canada, distinguishing between tick-adapted bacteria and environmentally acquired bacteria. The study comes as I. scapularis — the primary vector of Lyme disease — is rapidly expanding northward into Canada due to climate change. The findings suggest that environmentally derived bacteria in tick microbiomes are not mere contamination, which has implications for how tick microbiome data is collected and interpreted across surveillance studies.
Study Identifies Metabolic Link Between Cell Envelope Stress and Biofilm Formation in Bacteria
Researchers have discovered that the metabolite acetyl-CoA directly inhibits enzymes that degrade the bacterial signaling molecule c-di-GMP, connecting cell envelope biosynthesis stress to biofilm formation in Pseudomonas aeruginosa. The study found that sub-inhibitory concentrations of antibiotics targeting early peptidoglycan biosynthesis — but not other antibiotic classes — elevate c-di-GMP levels by reducing phosphodiesterase activity, with acetyl-CoA competing for the enzyme active site. Because the relevant enzyme domain is broadly conserved across bacterial species, this checkpoint mechanism may be widespread and could have implications for understanding antibiotic-induced biofilm responses.