Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
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.

Finite-energy dual-Higgs flux-tube sector

Physical scope

A conditional definition of nonzero-winding, finite-energy static flux-tube profiles in the local dual U(1) Higgs model; it asserts neither existence nor stability of such profiles.

Definition

Use the dual U(1)D fields and potential of the preceding local monopole-Higgs model. Let x1,x2 be coordinates on the transverse plane R2 and let x3 be the coordinate along a straight static tube. Write A~i for the spatial dual gauge potential, F~12=∂1A~2−∂2A~1, DiM=(∂i−iA~i)M, and DiM~=(∂i+iA~i)M~.

A finite-energy dual vortex profile of winding n is a smooth static configuration (AD,M,M~,A~1,A~2) on R2 with ∣AD(x)∣<r at every point, where ∣AD∣<r is the preceding model's open holomorphic patch, for which the transverse energy

σ=∫R2(F~1222gD2+gD−2∣∂iAD∣2+∣DiM∣2+∣DiM~∣2+Vμ−Vvac) d2x

is finite. The fields approach a supersymmetric vacuum at infinity satisfying AD=0, ∣M∣=∣M~∣=v>0, 2MM~+μu′(0)=0, and Vvac=0. The phase map M/∣M∣ restricted to a sufficiently large circle has degree n∈Z∖{0} as a map to the unit circle; the phase map M~/∣M~∣ has degree −n. Require also that DiM and DiM~ tend to zero on that circle, that the coefficient of dθ in the pulled-back one-form A~−darg⁡M tends uniformly in θ to zero as the circle radius tends to infinity, and that the limiting flux exists. The profile is a translation-invariant tube along x3; its tension is the transverse integral σ. This Definition includes no assertion that such a configuration exists or is a stationary solution of the field equations.

The patch restriction makes u(AD) and Vμ defined throughout the profile. For physical use, retain the preceding model's supplied ΛEFT>0, 0<ε<1, background domain UEFT, and application excitation bound Eapp≤εΛEFT, with v<εΛEFT. Background values must lie in that supplied domain. Finite transverse energy alone establishes none of these applicability qualifications or a microscopic error bound. These inputs impose no hard Fourier-support requirement on this classical profile class. A separately imposed hard cutoff on the variational class must specify its constraints and check the admissibility of any profiles or interpolation paths used in a consuming result.

In the adopted electric/magnetic frame, the original electric flux of this sector means the dual magnetic flux ΦD=lim⁡R→∞∫∣x∣≤RF~12 d2x. The flux dictionary is part of the selected duality model; this Definition does not state that every electric line charge is represented by a vortex. In natural units, [A~i]=mass, [F~12]=mass2, and [σ]=mass2.

Definition references

Depends on

Dependency tree · 2 levels

Sources