Jeck Lim

collaborators

7 papers

math.CO2026

On the largest sum-free subset of the lattice cube

Peter Keevash, Jeck Lim

We determine the limiting density of the largest sum-free subset of the lattice cube ${1, 2, \dots, n}^{d}$ for all $d$ , thus resolving the natural conjecture that it is constructed…

cs.AI2026

Human agency in initial human-AI proof formalization workflows

Katherine M. Collins, Simon Frieder, Jonas Bayer +14

For centuries, human mathematicians have written proofs to substantiate their mathematical arguments; yet, the ability to automatically verify the validity of proofs has long been…

math.CO2025

On exponential Freiman dimension

Jeck Lim, Akshat Mudgal, Cosmin Pohoata +1

The exponential Freiman dimension of a finite set $A \subset R^{m}$ , introduced by Green and Tao in 2006, represents the largest positive integer $d$ for which $A$ contain…

math.CO2025

Balancing games on unbounded sets

Imre BÃ¡rÃ¡ny, Jeck Lim

For a finite set $V \subset R^{n}$ , a set $T \subset R^{n}$ is called $V$ -closed if $t \in T$ and $v \in V$ imply that either $t + v \in T$ or $t - v \in T$ . The set $P(V):=\…

math.CO2025

Sums of algebraic dilates

David Conlon, Jeck Lim

We show that if $I^»_{1}, \dots, I^»_{k}$ are algebraic numbers, then $∣ A + I^»_{1} \cdot A + \dots + I^»_{k} \cdot A ∣ \geq H (I^»_{1}, \dots, I^»_{k}) ∣ A ∣ - o (∣ A ∣)$ for all finite subsets $A$ of $C$ , w…

math.CO2025

Evasive sets, twisted varieties, and container-clique trees

Jeck Lim, Jiaxi Nie, Ji Zeng

In the affine space $F_{q}^{n}$ over the finite field of order $q$ , a point set $S$ is said to be $(d, k, r)$ -evasive if the intersection between $S$ and any variety, of dimensi…