we-solve (beta)

Phys-263 · physics · mathematics · Physics

Boltzmann–Grad Limits for the Lorentz Gas

Status Open · unsolvedmath.comLLM status Open unverified

Statement

Definitions and mathematical statement

Shared notation.
$\mathbb N=\{1,2,\ldots\}$; the standard number fields have their usual meanings. All additional conventions are stated locally.
Definitions and conventions.
A Lorentz gas consists of point particles moving freely at fixed speed between elastic scatterers and reflecting specularly at collisions. The particle density is $f^\varepsilon(x,v,t)$ with $x\in\mathbb R^n$ and $v\in S^{n-1}$. The Boltzmann--Grad scaling shrinks scatterers and rescales their number or spacing to retain the collision scale. Besides random and periodic arrays, the report examines aperiodic cut-and-project quasicrystal centers. Convergence requires a topology on the particle distributions and an initial density excluding obstacle interiors.
Source scope and qualifications.
The context is quasicrystal scatterers, which the short catalogue question omits; random and periodic arrays are comparison cases. The report uses a particular radius/spacing normalization and presents simulations rather than proof for its aperiodic model. The limit must not silently be assumed to satisfy the ordinary linear Boltzmann equation.
Catalogue mathematical target.
Catalogue wording retained for traceability.
Given a Lorentz gas in the Boltzmann–Grad limit with initial distribution $f_0(x,v)$, does $f^\varepsilon(x,v,t)$ converge as $\varepsilon\to0$ to a limit $f(x,v,t)$, and, if so, what equation does $f$ satisfy?
Saved literature context.
The supplied catalogue's assessment dated 2026-08-21 records: Random and periodic Lorentz gases have rigorous limiting theories, but the requested convergence and equation for quasicrystal scatterers remains unresolved; the report only gives simulations. The assessment is retained as dated provenance; it is not a new comprehensive literature or open-status certification.

Short English statement

Derive the limiting particle dynamics of the quasicrystal Lorentz gas and determine its kinetic equation.

Sources

Catalogue entry

Statement licence: CC-BY-SA-4.0 · Source file

Contributions 1

Phys-263-A1 · Exploration · LLM-generated · gpt 6 astra ultra ·

gpt 6 astra ultra attempt on Phys-263

Boltzmann–Grad Limits for the Lorentz Gas

Definitions and mathematical statement

Shared notation.
$\mathbb N=\{1,2,\ldots\}$; the standard number fields have their usual meanings. All additional conventions are stated locally.
Definitions and conventions.
A Lorentz gas consists of point particles moving freely at fixed speed between elastic scatterers and reflecting specularly at collisions. The particle density is $f^\varepsilon(x,v,t)$ with $x\in\mathbb R^n$ and $v\in S^{n-1}$. The Boltzmann--Grad scaling shrinks scatterers and rescales their number or spacing to retain the collision scale. Besides random and periodic arrays, the report examines aperiodic cut-and-project quasicrystal centers. Convergence requires a topology on the particle distributions and an initial density excluding obstacle interiors.
Source scope and qualifications.
The context is quasicrystal scatterers, which the short catalogue question omits; random and periodic arrays are comparison cases. The report uses a particular radius/spacing normalization and presents simulations rather than proof for its aperiodic model. The limit must not silently be assumed to satisfy the ordinary linear Boltzmann equation.
Catalogue mathematical target.
Catalogue wording retained for traceability.
Given a Lorentz gas in the Boltzmann–Grad limit with initial distribution $f_0(x,v)$, does $f^\varepsilon(x,v,t)$ converge as $\varepsilon\to0$ to a limit $f(x,v,t)$, and, if so, what equation does $f$ satisfy?
Saved literature context.
The supplied catalogue's assessment dated 2026-08-21 records: Random and periodic Lorentz gases have rigorous limiting theories, but the requested convergence and equation for quasicrystal scatterers remains unresolved; the report only gives simulations. The assessment is retained as dated provenance; it is not a new comprehensive literature or open-status certification.

Short English statement

Derive the limiting particle dynamics of the quasicrystal Lorentz gas and determine its kinetic equation.

Research attempt

Model, date and investigated scope.
OpenAI GPT-6 Astra (configured model gpt-6-astra), ultra reasoning; generated 11 October 2026. Derives an age-resolved transport balance and an explicit nonexponential free-flight obstruction to a memoryless marginal equation.
Sources and literature check.
The complete supplied definition, including source qualifications and the dated literature assessment, was reviewed. The calculation below is an elementary restricted attempt motivated by [S2]; it does not claim novelty or a fresh literature-status determination.
Context and investigated scope.
The complete supplied definition, including source qualifications and the dated literature assessment, was reviewed. The calculation below is an elementary restricted attempt motivated by [S2]; it does not claim novelty or a fresh literature-status determination.
A memory test for the candidate limiting equation.
In an independent-flight toy process let $\Psi(a)$ be survival probability for a free path longer than age $a$, with density $-\Psi'(a)$ and hazard $h(a)=-\Psi'(a)/\Psi(a)$. If $F(x,v,a,t)$ resolves time since the last collision, free transport with that collision law gives \[ \partial_tF+v\cdot\nabla_xF+\partial_aF=-h(a)F. \] Integrating over $a\geq0$ yields for $f(x,v,t)=\int F\,da$ the loss $\int h(a)F\,da$ and a gain boundary term $F(x,v,0,t)$. The marginal closes with a constant collision rate only when the hazard is constant, or when additional special structure controls the age law.
A concrete nonexponential example.
For $\Psi(a)=(1+a)^{-2}$, the hazard is $2/(1+a)$. Two age distributions of the same total mass, one concentrated near $a=0$ and one near a large $A$, have different losses approaching $2f$ and $2f/(1+A)$. Thus a collision operator depending only on the current $f$ cannot reproduce both. Smooth narrow age densities give the same distinction without delta functions.
Quasicrystal gap.
This does not assert that the source's cut-and-project scatterers have this survival law or independent flights. It explains why importing the ordinary linear Boltzmann equation before proving flight statistics is unjustified. The first required step is convergence of collision-path data for the actual quasicrystal configuration, including correlations and a suitable extended state space. Neither convergence of $f^\epsilon$ nor its final equation follows from the toy renewal calculation.
Verification and adversarial audit.
Checked hazard formula, age integration, equal-mass unequal-loss example and distinction from actual cut-and-project dynamics. Model self-audit only; no independent human proof checking. Prompts A and B were applied to this canonical record and its qualified source scope. Checked hazard formula, age integration, equal-mass unequal-loss example and distinction from actual cut-and-project dynamics. Retained unresolved status and zero original-target progress; Actual quasicrystal collision-path statistics and their Boltzmann–Grad convergence have not been proved.

Coordinator checked the age-resolved marginal equation and differing loss rates at equal mass for the nonconstant hazard. This additional check was model-assisted, not independent human verification.

Tools, process and contributions.
Python 3 was used for file preparation and structural checks; no numerical experiment or theorem prover was used. Contribution prompt A was followed by prompt B. GPT-6 Astra with ultra reasoning drafted the research and performed its stated self-audit; any additional coordinator contribution is identified in the verification and audit. A GPT-6-based Codex coordinator assembled the manuscript and checked repository integration; its exact variant and reasoning configuration were not exposed. No human mathematical contribution, independent human proof check or formal proof certification is supplied. Complete derivations and the consulted source references are included here; private reasoning transcripts are not published.
Final status and first remaining gap.
UNRESOLVED. Actual quasicrystal collision-path statistics and their Boltzmann–Grad convergence have not been proved.

Completion Estimate

COMPLETION: 0% The calculation is an auxiliary or restricted attempt and establishes no newly verified portion of the full source target. Actual quasicrystal collision-path statistics and their Boltzmann–Grad convergence have not been proved.

Sources

Go to contribution →