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
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 fields and potential of the preceding local monopole-Higgs model. Let be coordinates on the transverse plane and let be the coordinate along a straight static tube. Write for the spatial dual gauge potential, , , and .
A finite-energy dual vortex profile of winding is a smooth static configuration on with at every point, where is the preceding model's open holomorphic patch, for which the transverse energy
is finite. The fields approach a supersymmetric vacuum at infinity satisfying , , , and . The phase map restricted to a sufficiently large circle has degree as a map to the unit circle; the phase map has degree . Require also that and tend to zero on that circle, that the coefficient of in the pulled-back one-form 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 ; 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 and defined throughout the profile. For physical use, retain the preceding model's supplied , , background domain , and application excitation bound , with . 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 . 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, , , and .
Definition references
Dual U(1) monopole-Higgs effective data: Local dual U(1) monopole-Higgs effective data.
Pure SU(2) electric/magnetic frame: Pure SU(2) Coulomb-branch and period data.