The computational ansatz for convex integration of hyperbolic systems and a resolution of the Strong Trace Conjecture
Abstract
In this paper, we consider 2×2 hyperbolic systems of conservation laws in one spatial dimension. We use the computational ansatz introduced in the hyperbolic theory by the author and Székelyhidi to study the constitutive set corresponding to the PDE. The rank-one convex geometry of this set relates to non-uniqueness and the existence of low-regularity solutions. Through a computer-assisted search, we find a pressure law p such that the p-system with this pressure law, and its natural strictly convex entropy, verifies all of the conditions necessary for the large data L2 stability and the technique of ``a-contraction with shifts'' and thus we have uniqueness of certain Riemann solutions in the class of solutions verifying the Strong Trace Property. At the same time, the constitutive set contains a T6 configuration and we use it to construct non-unique solutions without the Strong Trace Property. This resolves the question of sharpness of strong traces. We also present proofs which show nonexistence of T∞ structures for all genuinely nonlinear systems and nonexistence of TN structures for all N for the p-system with p''>0, thus blocking these routes towards convex integration.
Related
- Hyperbolic groups satisfy the Boone–Higman conjecture
- The Generalized Lax Conjecture for Strictly Hyperbolic Polynomials
- Counterexamples to the ordinary Fried conjecture near hyperbolic metrics
- A Computational Verification of the Markov Uniqueness Conjecture for z≤ 10500000
- Control of 1D first-order linear hyperbolic systems: a brief survey
BibTeX
@misc{krupa2026computational,
title = {{The computational ansatz for convex integration of hyperbolic systems and a resolution of the Strong Trace Conjecture}},
author = {Sam G. Krupa},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.09353},
eprint = {2609.09353},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.09353},
}
RIS
TY - UNPB
TI - The computational ansatz for convex integration of hyperbolic systems and a resolution of the Strong Trace Conjecture
AU - Sam G. Krupa
PY - 2026
DA - 2026/09/08
PB - arXiv
DO - 10.48550/arxiv.2609.09353
UR - https://arxiv.org/abs/2609.09353
AB - In this paper, we consider 2×2 hyperbolic systems of conservation laws in one spatial dimension. We use the computational ansatz introduced in the hyperbolic theory by the author and Székelyhidi to study the constitutive set corresponding to the PDE. The rank-one convex geometry of this set relates to non-uniqueness and the existence of low-regularity solutions. Through a computer-assisted search, we find a pressure law p such that the p-system with this pressure law, and its natural strictly convex entropy, verifies all of the conditions necessary for the large data L^2 stability and the technique of ``a-contraction with shifts'' and thus we have uniqueness of certain Riemann solutions in the class of solutions verifying the Strong Trace Property. At the same time, the constitutive set contains a T_6 configuration and we use it to construct non-unique solutions without the Strong Trace Property. This resolves the question of sharpness of strong traces. We also present proofs which show nonexistence of T_∞ structures for all genuinely nonlinear systems and nonexistence of T_N structures for all N for the p-system with p''>0, thus blocking these routes towards convex integration.
ER -