Alphabeta Math
CounterexampleConstruction: AI-adaptedVerification: AI-generatedPipeline-generatedprecheck pendingverified 2026-10-23 (gpt-6.1-sol)
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Point assignments do not alter weak jump

Statement refuted

Assume the Axiom of Countable Choice. The assertion that a pointwise value assigned on a shock plane determines its one-sided trace or weak jump is false. Let d,m≥1, let I⊆R and Ω⊆Rd be open, let O⊆Rm be open and convex, and let Fj∈C1(O;Rm) for 1≤j≤d. Let n∈Rd be a unit vector, let s∈R, put Q=I×Ω, and set Σ={(t,x)∈Q:n⋅x=st}. Suppose U:Q→O is measurable, has piecewise C1 side fields with C1 extensions to the interface, and U,F1(U),…,Fd(U)∈Lloc1(Q). Let U~:Q→O be any measurable field that agrees with U off Σ. Then U~ and Fj(U~) are locally integrable and define the same regular distributions as U and Fj(U); their distributional conservation residuals are equal. For every convex η∈C2(O) and compatible qj∈C1(O) with Dqj=Dη DFj whose compositions η(U),qj(U) are locally integrable, the corresponding compositions for U~ are locally integrable and have the same regular distributions and entropy residual. The two fields have the same one-sided traces and jump. In particular, assigning a third state on the shock plane does not change its weak jump condition.

Facts & Assumptions

Given: Countable Choice; the spacetime interface, state domain, locally integrable field, side regularity, and measurable reassignment in the Statement.

[F1]

Every affine hyperplane of Rn, and hence every proper linear subspace, is Lebesgue null: under Countable Choice, every affine hyperplane in Euclidean space is Lebesgue null, including every subset of it.

[F2]

Planar shocks and piecewise smooth traces: the side traces are limits of the restrictions from the open sides; assigned values on the interface are not part of either trace.

[F3]

Distributional systems and entropy flux pairs: locally integrable fields and their locally integrable entropy compositions define regular distributions through integration against test functions.

[F4]

The Axiom of Countable Choice (ACω): Countable Choice is the explicit hypothesis in [F1].

[A1]

The reassignment is measurable and takes finite values in O on Σ.

Proof

1.1givenF1F4A1

In spacetime Rd+1, the equation n⋅x−st=0 defines an affine hyperplane because its normal (−s,n) is nonzero, as ∣n∣=1. Therefore [F1] gives λd+1(Σ)=0.

2.1givenF3step 1.1A1

The original and modified fields agree off Σ, so their difference is supported on a Lebesgue-null set. They are measurable and locally integrable; for every compactly supported test, the integral of their difference times the test is zero. The same reasoning applies to each flux composition and, whenever defined, each entropy and entropy-flux composition, since the compositions also differ only on Σ. By [F3] all corresponding regular distributions and their distributional derivatives therefore agree.

3.1givenF2step 2.1∎

The two fields coincide on each open side, so their one-sided limits at every interface point coincide. By [F2], the assigned values on Σ do not enter the traces; hence the jump and any Rankine–Hugoniot or entropy jump coefficient computed from those traces are unchanged.

Depends on

Dependency tree · 2 levels

Sources