activity
20242026
most citedSemi-Autonomous Mathematics Discovery with Gemini: A Case Study on the Erdős Problems

3 citations · 4 across the 13 of their papers we have counts for

collaborators

14 papers

math.GR2026

Forcible groups and Frattini covers

Sean Eberhard, Robert M. Guralnick, Carl Schildkraut +1

We say that a finite group *forces* a finite group if every finite cover of contains a subgroup isomorphic to , and we say is *forcible* if some finite group …

math.CO2026

A new lower bound for two-color van der Waerden numbers

Marcelo Campos, Jacob Fox, Carl Schildkraut

The van der Waerden number is the smallest positive integer such that every two-coloring of contains a monochromatic -term arithmetic progression.…

math.CO2026

On nearly consecutive sequences without long arithmetic progressions

Jacob Fox, Carl Schildkraut

A sequence of integers is nearly consecutive if for . We prove that there are nearly consecutive sequences of length $…

math.NT2026

More sum-product type counterexamples: products with shifts and

Oliver Roche-Newton, Carl Schildkraut, Audie Warren

Adapting the construction disproving the sum-product conjecture over present in Bloom, Sawin, Schildkraut and Zhelezov, we show the existence of a constant and ar…

math.CO2026

Dirac subgraphs of powers of cycles are Hamiltonian

Richard Lang, Alp Müyesser, Mathias Schacht +1

We show that, for every and all sufficiently large , any spanning subgraph of the th power of a cycle with minimum degree at least contains…

math.NT2026★ 1 cited

The sum-product conjecture is false for real numbers

Thomas F Bloom, Will Sawin, Carl Schildkraut +1

We disprove the sum-product conjecture for real numbers by constructing arbitrarily large (whose elements are algebraic integers in a number field of degree $…

cs.AI2026★ 3 cited

Semi-Autonomous Mathematics Discovery with Gemini: A Case Study on the Erdős Problems

Tony Feng, Trieu Trinh, Garrett Bingham +21

We present a case study in semi-autonomous mathematics discovery, using Gemini to systematically evaluate 700 conjectures labeled 'Open' in Bloom's Erdős Problems database. We empl…

math.CO2025

Abelian structure in approximate groups and Alon's conjecture on Ramsey Cayley graphs

Carl Schildkraut

A result of Pyber states that every finite group contains an abelian subgroup whose order is quasi-polynomially large in . We prove a similar result for -app…

math.CO2025

Words with Repeated Letters in a Grid

Zachary Halberstam, Carl Schildkraut

Given a word , what is the maximum possible number of appearances of reading contiguously along any of the directions in in a large…

math.CO2025

Statistics of Erdős-Rényi random numerical semigroups

Noah Kravitz, Santiago Morales, Carl Schildkraut

For a small parameter, let be a random subset where each positive integer is included independently with probability . We show that,…

math.CO2025

Rainbow Trees in Hypercubes

Nicholas Crawford, Maya Sankar, Carl Schildkraut +1

We prove that every proper edge-coloring of the -dimensional hypercube contains a rainbow copy of every tree on at most edges. This result is best possible, as $Q_…

math.CO2025

Expansion in Distance Matrices

John Byrne, Jacob Johnston, Carl Schildkraut +1

The normalized distance Laplacian matrix of a graph is a natural generalization of the normalized Laplacian matrix, arising from the matrix of pa…

math.CO2024

More unit distances in arbitrary norms

Josef Greilhuber, Carl Schildkraut, Jonathan Tidor

For and any norm on , we prove that there exists a set of points that spans at least unit distances under this norm for every…

math.MG2024

Lower bounds for sphere packing in arbitrary norms

Carl Schildkraut

We show that in any -dimensional real normed space, unit balls can be packed with density at least \[\frac{(1-o(1))d\log d}{2^{d+1}},\] improving a result of Schmidt from 1958 b…