Pith. Sign in

REVIEW

The emergence of the Cauchy horizon from the crease for $3D$ compressible Euler flow

PaperPDF from arXiv

data files

ReviewThe objections and verdict, as JSON Paper breakdownThe authors' claims, conditions and measurements, as JSON Signed receiptProof this review has not been altered
X Bluesky LinkedIn Reddit Hacker News
Leonardo Abbrescia, Jared Speck

Analysis of PDEs · Submitted 2 Sep 2026 · 300 references

Pith's verdict: First rigorous construction of an O(1)-size Cauchy horizon for 3D Euler with entropy and vorticity; strong and honest work whose main load-bearing claim—the Gauss-curvature cancellation for the C^{1,1} ingoing eikonal function—is flagged by the authors themselves and needs the sharpest referee scrutiny.

T0 · AI review

How this review was made: An AI referee (deepseek/deepseek-v4-flash) read the paper on September 8, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 3 major objections · 5 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv ID2609.03101 (version 1)
Pith IDW5PPB4LC, Pith's permanent record of this paper and its review
CitationJared Speck, Leonardo Abbrescia. "The emergence of the Cauchy horizon from the crease for $3D$ compressible Euler flow." arXiv:2609.03101 (2026). https://pith.science/paper/W5PPB4LC
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

We prove that a Cauchy horizon, a null hypersurface where the fluid remains smooth, emerges from the crease singularity in 3D compressible Euler flow, forming part of the boundary of the maximal classical development.

The reading

The paper establishes that for open sets of nearly plane-symmetric initial data to the 3D compressible Euler equations (with dynamic entropy and non-trivial vorticity), a null hypersurface called a Cauchy horizon emanates from a co-dimension 2 singular submanifold called the crease. The fluid variables remain smooth all the way up to this Cauchy horizon, even though the flow 'feels' the gradient singularity at the crease. The union of the Cauchy horizon, the crease, and a previously constructed singular boundary constitutes a connected portion of the boundary of the maximal globally hyperbolic development (MGHD) of the data. This is the first description of the formation and structure of an O(1)-size portion of a Cauchy horizon in 3D without symmetry assumptions, resolving significant difficulties from vorticity stretching and dynamic entropy. The result is a step toward understanding global uniqueness of classical solutions for the Euler equations, a fundamental open problem.

What carries the argument

The key machinery is a double-null foliation of spacetime by characteristic surfaces, constructed from a new ingoing eikonal function u that is set to vanish on the crease and the Cauchy horizon. The analysis relies on a geometric reformulation of the Euler equations as a covariant wave-transport system, combined with (i) Raychaudhuri's equation to control the null second fundamental form and avoid derivative loss via a modified acoustic variable, (ii) elliptic-hyperbolic integral identities (characteristic currents) to handle top-order control of vorticity and entropy gradients, and (iii) a novel hidden divergence structure uncovered in the velocity wave equation that, upon integration by parts, yields a perfect derivative that allows the semi-definite null-fluxes to close the top-order estimates. The whole analysis is carried out in a bootstrap scheme within the characteristic diamond, with weighted L² energies tailored to the geometry of the double-null tori.

Extended reading notes

Core claim

The paper proves that a null hypersurface, which they call the Cauchy horizon, emanates from the crease (a co-dimension 2 acoustically spacelike submanifold where gradient blowup originates) and propagates in a direction transversal to the singular boundary. The fluid solution extends smoothly to the Cauchy horizon, even though the horizon lies in the causal future of the crease singularity. The union of the Cauchy horizon, the crease, and the singular boundary forms a connected portion of the boundary of a maximal globally hyperbolic development of the data. Moreover, the paper establishes that the needed structural properties (one-sidedness of the boundary) hold along the constructed portions, which is a necessary condition for proving uniqueness of the MGHD. The results hold for any equation of state except Chaplygin gas, under a 'transversal convexity' assumption on the data that relaxes the strict convexity required in prior works.

Load-bearing premise

The initial data satisfy a 'transversal convexity' property, which is a stable form of convexity only in the approximately plane-symmetric direction; this is needed to prevent a continuum of characteristics from collapsing into a single point, and the paper does not assume any convexity in the symmetry-breaking directions.

Editorial extensions

If this is right

  • The Cauchy horizon, together with the singular boundary constructed in prior work, provides the full initial data for the shock development problem in 3D, the problem of locally continuing the flow as a weak solution with a shock.
  • The finite and small weighted L² norms of all derivative-levels up to the Cauchy horizon mean the data for the shock development problem are finite, not singular, which is essential for well-posedness.
  • The methods developed here (double-null foliations, elliptic-hyperbolic estimates, the hidden null structure for the velocity) are not restricted to perturbations of plane symmetry and are expected to apply to other quasilinear wave equations that fail the null condition, as well as to the study of the full MGHD boundary in the future.
  • The paper resolves several open difficulties in the shock-formation literature: handling non-strict convexity of the crease, dealing with vorticity stretching and dynamic entropy in 3D, and constructing a Cauchy horizon without symmetry reductions.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The 'transversal convexity' assumption, while weaker than full strict convexity, is still a nontrivial condition; it would be interesting to see if the methods can be pushed to completely remove any convexity requirement, as was done for shock formation up to first blowup in [LS24]. The paper explicitly states that transversal convexity is needed to prevent a continuum of characteristics from coll
  • The hidden divergence structure uncovered for the velocity wave equation (the perfect derivative arising from integrating curlΩ by parts) appears to be a general algebraic fact about swapping first-order differential operators on a double-null foliation. This suggests a broader principle: for systems where the wave equation's source contains a curl of a transport variable, the energy method on nul
  • The paper's methods for controlling the Gauss curvature of the double-null tori via cancellations of third derivatives of the eikonal function (u ∈ C^{1,1}) hint at a general geometric estimate: in double-null coordinates with one eikonal function of limited regularity, the curvature of the transverse tori can still be bounded if the metric has a product-type structure with respect to the two null
  • The weighted descent scheme (powers of |u| replacing powers of |τ|) suggests that for any MGHD whose boundary contains null segments, the appropriate L² energies are those weighted by the distance to the boundary along the null direction. This is a natural geometric refinement of the earlier rough-time-foliation approach.
Original abstract

We study open sets of nearly plane symmetric data for the $3D$ compressible Euler equations with dynamic entropy and non-trivial vorticity. In our prior work, we proved that the solutions develop a gradient singularity along a singular boundary, which is a hypersurface that emanates from a co-dimension 2, spacelike submanifold called the crease. In the present paper, we prove that a null hypersurface, called a Cauchy horizon, emanates from the crease, and propagates in a direction transverse to the singular boundary. The solution remains smooth up to the Cauchy horizon, even though it ``feels'' the influence of the gradient singularity at the crease. The union of the Cauchy horizon, the crease, and the singular boundary, make up a connected portion of the boundary of a maximal globally hyperbolic development (MGHD) of the data. Roughly, an MGHD is the ``largest'' way that smooth data can evolve into a classical solution. Known examples show that the only way one can guarantee uniqueness of an MGHD is by proving that certain structural properties hold along its entire boundary. We prove that a local version of the needed properties are satisfied along the Cauchy horizon and singular boundary. Our work provides the first description of the formation, structure, and stability of an $O(1)$-size portion of the Cauchy horizon in $3D$ without symmetry assumptions. The presence of dynamic entropy and vorticity stretching, both of which are absent in simpler settings such as $2D$ isentropic Euler, introduces significant difficulties that we resolve with novel techniques. Our approach relies on new foliations of spacetime dynamically adapted to the shape of the crease, and a PDE framework based on double-null foliations and the energy identities we derived in earlier work. Collectively, our techniques allow us to handle a challenging new solution regime where the crease lacks strict convexity.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-09-23: 1 request, 9,089 input tokens.

What the abstract itself states, as probabilities: claims first 0.93 · states limitation 0.60 · human participants 0.01 · controlled comparison 0.02 · randomized assignment 0.01 · states quantitative result 0.17 · compares with prior results 0.90 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; .

We study open sets of nearly plane symmetric data for the $3D$ compressible Euler equations with dynamic entropy and non-trivial vorticity. In our prior work, we proved that the solutions develop a gradient singularity along a singular boundary, which is a hypersurface that emanates from a co-dimension 2, spacelike submanifold called the crease. In the present paper, we prove that a null hypersurface, called a Cauchy horizon, emanates from the crease, and propagates in a direction transverse to the singular boundary. The solution remains smooth up to the Cauchy horizon, even though it ``feels'' the influence of the gradient singularity at the crease. The union of the Cauchy horizon, the crease, and the singular boundary, make up a connected portion of the boundary of a maximal globally hyperbolic development (MGHD) of the data. Roughly, an MGHD is the ``largest'' way that smooth data can evolve into a classical solution. Known examples show that the only way one can guarantee uniqueness of an MGHD is by proving that certain structural properties hold along its entire boundary. We prove that a local version of the needed properties are satisfied along the Cauchy horizon and singular boundary. Our work provides the first description of the formation, structure, and stability of an $O(1)$-size portion of the Cauchy horizon in $3D$ without symmetry assumptions. The presence of dynamic entropy and vorticity stretching, both of which are absent in simpler settings such as $2D$ isentropic Euler, introduces significant difficulties that we resolve with novel techniques. Our approach relies on new foliations of spacetime dynamically adapted to the shape of the crease, and a PDE framework based on double-null foliations and the energy identities we derived in earlier work. Collectively, our techniques allow us to handle a challenging new solution regime where the crease lacks strict convexity.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 We study open sets of nearly plane symmetric data for the $3D$ compressible Euler equations with dynamic entropy and non-trivial vorticity. contribution 0.55 0.82 0.03 asserted 0.92
s1 In our prior work, we proved that the solutions develop a gradient singularity along a singular boundary, which is a hypersurface that emanates from a co-dimension 2, spacelike submanifold called the crease. background 0.97 0.11 0.04 asserted 1.00
s2 In the present paper, we prove that a null hypersurface, called a Cauchy horizon, emanates from the crease, and propagates in a direction transverse to the singular boundary. result 0.85 0.95 0.76 asserted 1.00
s3 The solution remains smooth up to the Cauchy horizon, even though it ``feels'' the influence of the gradient singularity at the crease. result 0.98 0.88 0.17 asserted 1.00
s4 The union of the Cauchy horizon, the crease, and the singular boundary, make up a connected portion of the boundary of a maximal globally hyperbolic development (MGHD) of the data. result 0.96 0.87 0.17 asserted 1.00
s5 Roughly, an MGHD is the ``largest'' way that smooth data can evolve into a classical solution. background 0.94 0.06 0.03 asserted 0.93
s6 Known examples show that the only way one can guarantee uniqueness of an MGHD is by proving that certain structural properties hold along its entire boundary. background 0.96 0.05 0.04 asserted 0.97
s7 We prove that a local version of the needed properties are satisfied along the Cauchy horizon and singular boundary. result 0.61 0.96 0.14 asserted 1.00
s8 Our work provides the first description of the formation, structure, and stability of an $O(1)$-size portion of the Cauchy horizon in $3D$ without symmetry assumptions. contribution 0.90 0.95 0.49 asserted 1.00
s9 The presence of dynamic entropy and vorticity stretching, both of which are absent in simpler settings such as $2D$ isentropic Euler, introduces significant difficulties that we resolve with novel techniques. contribution 0.60 0.68 0.04 asserted 1.00
s10 Our approach relies on new foliations of spacetime dynamically adapted to the shape of the crease, and a PDE framework based on double-null foliations and the energy identities we derived in earlier work. method 1.00 0.85 0.03 asserted 1.00
s11 Collectively, our techniques allow us to handle a challenging new solution regime where the crease lacks strict convexity. contribution 0.59 0.88 0.05 asserted 1.00

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read
  • arXiv listing abstract v1
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures
Figure 1. Cartesian coordinate space illustrations of the main results The purpose of this paper is to construct the Cauchy horizon C, which is another co-dimension 1 submanifold￾with-boundary of spacetime that, like B, also emanates from the crease; see Fig. 1B. We prove that the solu￾tion can be extended smoothly to C, even though it still “feels the influence” of the gradient-blowup from ∂−B. By this, we mean that any p ∈ ∂−B can be reached by a past-directed acoustically null geodesic in C, i.e. C lies in the causal future domain of influence of ∂−B. These and all other notions of…
Figure 2. The crease, singular boundary, and Cauchy horizon derived in [SV24] for strictly non-degenerate shock forming data. To construct ∂−B ∪ B, we controlled the fluid on a large region of classical existence MInteresting whose boundary contained ∂−B ∪ B. It is within this region that we set up the data for the Cauchy horizon. Al￾though it is described in more detail below in Sect. 1.9.1, we mention here already that the data for the Cauchy horizon will be posed on a pair of transversally intersecting g-null hypersurfaces. We construct these g-null hypersurfaces from within MInteresting…
Figure 3. The set of points where shock-formation occurs in [Ali99b, Ali99a, BSV22, BSV23a, BSV23b, LS24]. The isolated point ΣTshock ∩ {µ = 0} = b∗ in [Ali99b,Ali99a,BSV22,BSV23a,BSV23b] is shown as red, whereas the geometry of ΣTshock ∩ {µ = 0} from [LS24] is allowed to be much more general (i.e. it can even feature connected curves) and is shown as orange. data. From this and (1.10), one recovers the gradient singularity in the Cartesian coordinate differential structure as µ ↓ 0. Here, we write “smoothness” in quotes because the L 2 -analysis leaves the potential for the mid-to-top-order…
Figure 4. Rough foliations adapted to the singular boundary, depicted in Cartesian coor￾dinate space The Cauchy IVP (1.11) is well-posed because of transversal convexity. Indeed, (n)W˘ is tangent to level sets of µ but transverse to level sets of X˘µ due to transversal convexity, meaning that {X˘µ = −n0} is “not characteristic” to (n)W˘ in the sense of [Hor97]. ¨ 1.8.3. Energy descent scheme in rough geometric coordinates. We now elaborate on what we referred to as “re￾mains rather smooth” in Sect. 1.8.1 when using nonlinear geometric optics. Our analysis is based on a de￾scent scheme whose…
Figure 5. The shaded characteristic diamond is the bootstrap region M[U0 ,uBoot),[U E 1 ,UE 2 ] . This region is extended to the larger characteristic diamond M[U0 ,0],[U E 1 ,UE 2 ] , which con￾tains P [U E 1 ,UE 2 ] 0 , through a continuation criterion. The portion of the Cauchy horizon C we construct is the region above the crease ∂−B within P [U E 1 ,UE 2 ] 0 . KNtop [V ](u,u) =X 3 i=1 X PNtop ∈P (Ntop) Z M [U0 ,u],[U E 1 ,u] X 3 B=1
Figure 6. The domain D on which u is constructed in the differential structure of (t,u, x2 , x3 ). The evolution equation (13.43a) for (apx)u can be written equivalently as ∂ ∂∆s  (apx)u◦ (reg)F(∆s, t, x2 , x3 )  = 0. The initial condition (13.43b) can similarly be expressed as (reg)F(0, t, x2 , x3 ) = u˚ ◦ (0)H(t, x2 , x3 ). Hence, the approximate eikonal function is given by (apx)u ◦ (reg)F(∆s, t, x2 , x3 ) = u˚ ◦ (0)H(t, x2 , x3 ). Composing with (reg)F −1 and using (13.40b) proves (13.45). Since (reg)L˘ is tangent to level sets of (apx)u, the statement about its level
Figure 7. The bootstrap region on which the solution is constructed. The region extends past (0)M[τ0,0],[−U1,U2] in order to access the Cauchy horizon. 16.2.1. Bootstrap assumptions for the inverse foliation density. 1. We assume that the following estimate holds on M[U0 ,uBoot),[U E 1 ,UE 2 ] : µ > 0. (BA µ > 0) 2. We assume that Lµ and ∂ ∂tµ are quantitatively negative in M[U0 ,uBoot),[U E 1 ,UE 2 ] , where δ˚ ∗ is defined in (15.6): − 5 4 δ˚ ∗ ≤ min M [U0 ,uBoot),[U E 1 ,UE 2 ] Lµ ≤ max M [U0 ,uBoot),[U E 1 ,UE 2 ] Lµ ≤ − 3 4 δ˚ ∗ , (BA Lµ neg) −

Figures reproduced from arXiv:2609.03101 by the authors.

References

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.