Lean-certified four-point HRT results for three lattice points and one off-lattice point
We record a Lean-certified theorem package for the four-point Heil--Ramanathan--Topiwala configuration \[ Λ=\{0,a,b,ν\}\subset \R^2, \qquad \Lzero=\Z a+\Z b, \qquad ν=r a+s b, \] with $a$ and $b$ linearly independent. The principal certified theorem states that if $|\symp(a,b)|>1$ and $1,r,s$ are linearly independent over $\Q$, then for every nonzero $f\in L^2(\R)$ the four vectors \[ f,\qquad π(a)f,\qquad π(b)f,\qquad π(ν)f \] are linearly independent. A second certified theorem treats the rational-coordinate case $r,s\in \Q$, where the configuration lies in a finer full-rank lattice and…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2604.21228
curl -X POST /api/v1/records/arxiv/2604.21228/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2604.21228/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'