pith. sign in

arxiv: 2604.24314 · v1 · submitted 2026-04-27 · 🧮 math.AP · math-ph· math.MP

Local regularity for anisotropic magnetic operators with general codimension singularities

Pith reviewed 2026-05-08 02:19 UTC · model grok-4.3

classification 🧮 math.AP math-phmath.MP
keywords anisotropic magnetic Schrödinger equationslocal Hölder regularitySchauder estimatessingular magnetic potentialsblow-up analysisAharonov-Bohm modelscodimension singularitiesspherical spectral problem
0
0 comments X

The pith

Weak solutions to anisotropic magnetic Schrödinger equations with codimension singularities satisfy local Hölder and Schauder estimates.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes local Hölder C^{0,α} and Schauder C^{1,α} estimates for weak solutions of stationary anisotropic magnetic Schrödinger equations in dimensions d at least 2. Singular magnetic potentials with critical inverse-distance scaling are concentrated along manifolds of codimension n between 2 and d. The proof proceeds by a blow-up analysis adapted to the covariant gradient that combines anisotropy from an elliptic matrix M with the singular vector potential A. A reader would care because these equations model quantum mechanics with concentrated magnetic fields, such as Aharonov-Bohm solenoids, where the geometry of the singularity controls whether wave functions remain regular near the set. The anisotropy and magnetic term together fix the spectrum of a limiting spherical operator that sets the value of α.

Core claim

We establish local Hölder C^{0,α} and Schauder C^{1,α} estimates for weak solutions via a blow-up analysis adapted to the magnetic structure. The regularity is deeply influenced by the combined effect of anisotropy and the singular magnetic potential, which determines the spectrum of the limiting spherical Laplace-Beltrami operator arising in the blow-up at the singular set. In the three-dimensional Aharonov-Bohm setting, deviations from planar cross-sections orthogonal to the singular axis induce a positive shift in the eigenvalues of the asymptotic spectral problem, yielding an unexpected regularizing mechanism on the wave functions.

What carries the argument

The blow-up analysis adapted to the magnetic structure, which reduces regularity at the singular set to the spectrum of an anisotropic magnetic operator on the transverse sphere.

If this is right

  • The Hölder exponent α is determined by the smallest eigenvalue of the limiting spherical operator that incorporates both anisotropy and the magnetic term.
  • In three-dimensional Aharonov-Bohm models, non-planar solenoid geometries produce a positive eigenvalue shift that improves regularity to C^{1,α}.
  • The estimates hold locally near singular sets of any codimension n with 2 ≤ n ≤ d, under uniform ellipticity of the anisotropy matrix.
  • The method applies to any weak solution of the stationary equation with the given covariant gradient structure.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same spectral reduction could be used to study regularity for related equations with variable coefficients or time dependence.
  • Numerical computation of the spherical eigenvalues for concrete anisotropy matrices would give explicit Hölder exponents for specific physical models.
  • The observed regularizing effect of non-planar geometry might extend to other singular potentials in mathematical physics.

Load-bearing premise

The magnetic potential scales exactly as the inverse distance to the singular set and the spectrum of the resulting limiting spherical operator controls the Hölder exponent.

What would settle it

A weak solution whose modulus of continuity near the singular set is worse than the exponent predicted by the lowest eigenvalue of the limiting spherical operator.

Figures

Figures reproduced from arXiv: 2604.24314 by Giovanni Siclari, Stefano Vita.

Figure 1
Figure 1. Figure 1: The picture describes the particular case of an infinite solenoid ob￾tained by translating a planar circular loop γ along the axis Σ0. For each x ∈ R, the circle γx turns around Px = (x, 0, 0) and lies in a plane transverse to Σ0, and tilted by an angle β ∈ (0, π/2) with respect to the plane orthogonal to Σ0. This significant example exhibits the main features that distinguish the asymmetric model from the… view at source ↗
Figure 2
Figure 2. Figure 2: The picture describes the particular case of an infinite solenoid ob￾tained by translating a planar closed curve γ along the axis Σ0. For each x ∈ R, the curve γx turns around Px = (x, 0, 0) and lies in a plane transverse to Σ0 view at source ↗
Figure 3
Figure 3. Figure 3: The picture describes the particular case of an infinite solenoid given by the family of circles γx coiled along the curve η and lying on its normal￾binormal plane. In particular, the Frenet–Serret frame is given by {Tx, Nx, Bx}. Let us consider Φ : R 3 → R 3 , Φ(x, y1, y2) := η(x) + y1N(x) + y2B(x), (A.2) that is, the map Φ gives the Fermi-type tubular coordinates relative to the Frenet–Serret frame of η.… view at source ↗
read the original abstract

We study local regularity properties of solutions to stationary anisotropic magnetic Schr\"odinger equations in $\mathbb{R}^d$, $d \ge 2$, arising from singular magnetic potentials concentrated along manifolds of general codimension $2 \le n \le d$. The magnetic interaction is modeled through a covariant gradient of the form \[ \nabla_m u = (iM\nabla + A)u, \] where $M^T M$ is a uniformly elliptic matrix encoding anisotropy and $A$ is a magnetic potential with critical Hardy-type scaling along the $n$-codimensional singular set $\Sigma_0$; that is, $A\sim \mathrm{dist}(\cdot,\Sigma_0)^{-1}$. We establish local H\"older $C^{0,\alpha}$ and Schauder $C^{1,\alpha}$ estimates for weak solutions via a blow-up analysis adapted to the magnetic structure. The regularity is deeply influenced by the combined effect of anisotropy and the singular magnetic potential, which determines the spectrum of the limiting spherical Laplace-Beltrami operator arising in the blow-up at the singular set. Our model is motivated by the study of magnetic potentials generated by shrinking solenoids onto an axis $\Sigma_0$, in the three-dimensional setting $d=3$, $n=2$, leading to Aharonov-Bohm-type (AB) models. In this framework, we show that the geometry of the solenoidal loops plays a crucial role: in particular, any deviation from planar cross-sections orthogonal to $\Sigma_0$ induces a twofold effect. On the one hand, it breaks the ideal AB configuration, in the sense that the magnetic field outside the solenoid is no longer vanishing. On the other hand, it yields an unexpected regularizing mechanism on the wave functions, through a positive shift in the eigenvalues of the asymptotic spectral problem. This purely three-dimensional effect is consistent with our $C^{1,\alpha}$ regularity.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript establishes local Hölder C^{0,α} and Schauder C^{1,α} estimates for weak solutions of stationary anisotropic magnetic Schrödinger equations in R^d (d≥2) with magnetic potentials A having critical Hardy scaling A∼dist(·,Σ_0)^{-1} along n-codimensional singular sets Σ_0 (2≤n≤d). The proof proceeds via a blow-up analysis adapted to the magnetic structure, reducing the problem at the singular set to the spectrum of a limiting spherical Laplace-Beltrami operator that incorporates the anisotropy encoded by the uniformly elliptic matrix M^T M; the Hölder exponent α is determined by this spectrum. In the motivating 3D case (d=3,n=2) with shrinking solenoids, non-planar geometries are shown to break the ideal Aharonov-Bohm configuration while producing a positive eigenvalue shift that yields the C^{1,α} regularity.

Significance. If the blow-up procedure and spectral control are fully rigorous, the results extend regularity theory for magnetic operators to the anisotropic setting with general-codimension singularities and identify a geometrically induced regularizing effect specific to 3D non-planar solenoids. This could inform analysis of Aharonov-Bohm-type models and singular magnetic fields in quantum mechanics, particularly where anisotropy and codimension interact.

major comments (2)
  1. [Blow-up analysis section (likely §3–4)] The passage from the rescaled anisotropic magnetic equation to the limiting spherical operator (central to the blow-up in the proof of the main estimates) requires explicit verification that all error terms arising from the critical scaling A∼dist^{-1} and the matrix M are controlled uniformly; without this, the claim that the spectrum alone governs α is not yet load-bearing.
  2. [3D geometry subsection (likely §5)] In the 3D solenoid case, the asserted positive shift in the eigenvalues of the asymptotic spectral problem for non-planar cross-sections must be accompanied by a quantitative lower bound or explicit computation showing that the first eigenvalue remains strictly positive independently of the deviation from planarity; otherwise the C^{1,α} conclusion rests on an unverified geometric assumption.
minor comments (2)
  1. [Introduction / notation] The definition of the covariant gradient ∇_m u = (iM∇ + A)u should specify whether M is constant or position-dependent and how this affects the weak formulation.
  2. [Introduction] The introduction would benefit from a clearer comparison with existing isotropic magnetic regularity results (e.g., those using standard Hardy inequalities or isotropic blow-ups) to highlight the precise novelty of the anisotropic + general-codimension setting.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We are grateful to the referee for the careful reading and positive assessment of the significance of our results on local regularity for anisotropic magnetic operators. The major comments identify points where additional explicit verification and quantitative details will strengthen the manuscript. We address each comment below and will revise the paper to incorporate the requested clarifications.

read point-by-point responses
  1. Referee: [Blow-up analysis section (likely §3–4)] The passage from the rescaled anisotropic magnetic equation to the limiting spherical operator (central to the blow-up in the proof of the main estimates) requires explicit verification that all error terms arising from the critical scaling A∼dist^{-1} and the matrix M are controlled uniformly; without this, the claim that the spectrum alone governs α is not yet load-bearing.

    Authors: We agree that making the control of error terms fully explicit is essential. In the blow-up procedure, the rescaling is designed so that the critical Hardy scaling of A and the anisotropic term M^T M M contribute at the same order; the uniform ellipticity constants of M^T M (independent of the blow-up parameters) and the concentration of the singularity along Σ_0 allow us to show that all remainder terms vanish in the limit, yielding convergence to the spherical Laplace-Beltrami operator whose spectrum determines α. To address the referee's concern directly, we will add a dedicated lemma in §3 that isolates and estimates each error term (magnetic, anisotropic, and lower-order) with explicit bounds that are uniform in the rescaling parameter, thereby confirming that the limiting spectrum alone governs the Hölder exponent. revision: yes

  2. Referee: [3D geometry subsection (likely §5)] In the 3D solenoid case, the asserted positive shift in the eigenvalues of the asymptotic spectral problem for non-planar cross-sections must be accompanied by a quantitative lower bound or explicit computation showing that the first eigenvalue remains strictly positive independently of the deviation from planarity; otherwise the C^{1,α} conclusion rests on an unverified geometric assumption.

    Authors: We acknowledge that a quantitative lower bound would make the regularizing effect more transparent. The manuscript establishes positivity of the first eigenvalue for any fixed non-planar cross-section by a perturbation argument from the planar Aharonov-Bohm case (where the eigenvalue vanishes) using the variational characterization of the asymptotic operator; the geometric deviation produces a strictly positive contribution. However, the size of the shift depends on the specific deviation, so a uniform positive lower bound independent of how small the deviation is cannot be expected (as the planar limit recovers eigenvalue zero). We will revise §5 to include an explicit model computation (e.g., for a tilted solenoid) that gives a concrete lower bound in terms of the tilt parameter, and we will clarify that the resulting α>0 depends on the fixed geometry while remaining strictly positive for every non-planar configuration. This removes any unverified assumption. revision: partial

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation proceeds via a blow-up analysis that rescales the anisotropic magnetic Schrödinger equation around the singular set, yielding a limiting spherical Laplace-Beltrami operator whose spectrum is computed directly from the rescaled coefficients (M^T M elliptic and A with critical scaling). The Hölder exponent α is then selected from the first positive eigenvalue of this auxiliary operator, which is an independent spectral quantity rather than a fitted or self-defined input. No parameter is tuned to the target regularity, no self-citation chain carries the central claim, and the passage to the limit is justified by the PDE structure itself. The approach is self-contained within standard elliptic regularity techniques adapted to the magnetic setting.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard elliptic PDE assumptions plus modeling choices for the magnetic potential; no free parameters are fitted and no new entities are postulated.

axioms (2)
  • domain assumption M^T M is uniformly elliptic
    Required for the anisotropic operator to remain coercive; stated in the setup of the covariant gradient.
  • domain assumption Magnetic potential scales as A ∼ dist(·, Σ₀)^{-1}
    Critical Hardy-type scaling chosen to model shrinking solenoids; invoked when defining the singular set and the blow-up.

pith-pipeline@v0.9.0 · 5654 in / 1479 out tokens · 53197 ms · 2026-05-08T02:19:13.134990+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages

  1. [1]

    [1]Abatangelo, L., and Felli, V.Sharp asymptotic estimates for eigenvalues of Aharonov-Bohm operators with varying poles.Calc. Var. Partial Differential Equations 54, 4 (2015), 3857–3903. [2]Abatangelo, L., and Felli, V.On the leading term of the eigenvalue variation for Aharonov-Bohm operators with a moving pole.SIAM J. Math. Anal. 48, 4 (2016), 2843–286...

  2. [2]

    [6]Adami, R., and Teta, A.On the Aharonov-Bohm Hamiltonian.Lett. Math. Phys. 43, 1 (1998), 43–53. [7]Aharonov, Y., and Bohm, D.Significance of electromagnetic potentials in the quantum theory.Phys. Rev. (2) 115(1959), 485–491. [8]Alziary, B., Fleckinger-Pell ´e, J., and Tak ´aˇc, P.Eigenfunctions and Hardy inequalities for a magnetic Schr¨ odinger operato...

  3. [3]

    [14]Bishop, R

    A first course. [14]Bishop, R. L.There is more than one way to frame a curve.Amer. Math. Monthly 82(1975), 246–251. [15]Bonheure, D., Cingolani, S., and Nys, M.Nonlinear schr¨ odinger equation: concentration on circles driven by an external magnetic field.Calc. Var. Partial Differential Equations 55, 4 (2016),

  4. [4]

    [16]Bonheure, D., Nys, M., and Van Schaftingen, J.Properties of ground states of nonlinear Schr¨ odinger equations under a weak constant magnetic field.J. Math. Pures Appl. (9) 124(2019), 123–168. [17]Bonnaillie-No ¨el, V., Helffer, B., and Hoffmann-Ostenhof, T.Aharonov-Bohm Hamiltonians, isospec- trality and minimal partitions.J. Phys. A 42, 18 (2009), 185203,

  5. [5]

    PDE 7, 6 (2014), 1365–1395

    [18]Bonnaillie-No ¨el, V., Noris, B., Nys, M., and Terracini, S.On the eigenvalues of Aharonov-Bohm opera- tors with varying poles.Anal. PDE 7, 6 (2014), 1365–1395. [19]Carroll, D., K ¨ose, E., and Sterling, I.Improving Frenet’s frame using Bishop’s frame.Journal of Math- ematics Research 5, 4 (2013),

  6. [6]

    Methods Nonlinear Anal

    [20]Chabrowski, J., and Szulkin, A.On the Schr¨ odinger equation involving a critical Sobolev exponent and magnetic field.Topol. Methods Nonlinear Anal. 25, 1 (2005), 3–21. [21]Cingolani, S.Semiclassical stationary states of nonlinear Schr¨ odinger equations with an external magnetic field.J. Differential Equations 188, 1 (2003), 52–79. LOCAL REGULARITY F...

  7. [7]

    [27]Felli, V., Ferrero, A., and Terracini, S.Asymptotic behavior of solutions to Schr¨ odinger equations near an isolated singularity of the electromagnetic potential.J. Eur. Math. Soc. (JEMS) 13, 1 (2011), 119–174. [28]Felli, V., Ferrero, A., and Terracini, S.On the behavior at collisions of solutions to Schr¨ odinger equations with many-particle and cyl...

  8. [8]

    [32]Fioravanti, G.The Dirichlet problem on lower dimensional boundaries: Schauder estimates via perforated domains.Nonlinear Analysis 263(2026), 113973

    [31]Felli, V., Roychowdhury, P., and Siclari, G.Magnetic neumann problems with aharonov-bohm potentials: boundary asymptotics of eigenvalues and splitting phenomena.arXiv preprint arXiv:2602.14522(2026). [32]Fioravanti, G.The Dirichlet problem on lower dimensional boundaries: Schauder estimates via perforated domains.Nonlinear Analysis 263(2026), 113973. ...

  9. [9]

    L.On the asymptotic number of edge states for magnetic Schr¨ odinger operators.Proc

    [34]Frank, R. L.On the asymptotic number of edge states for magnetic Schr¨ odinger operators.Proc. Lond. Math. Soc. (3) 95, 1 (2007), 1–19. [35]Frank, R. L., Lieb, E. H., and Seiringer, R.Hardy-Lieb-Thirring inequalities for fractional Schr¨ odinger operators.J. Amer. Math. Soc. 21, 4 (2008), 925–950. [36]Frank, R. L., Loss, M., and Weidl, T.P´ olya’s con...

  10. [10]

    P.Nodal sets for ground- states of Schr¨ odinger operators with zero magnetic field in non-simply connected domains.Comm

    [38]Helffer, B., Hoffmann-Ostenhof, M., Hoffmann-Ostenhof, T., and Owen, M. P.Nodal sets for ground- states of Schr¨ odinger operators with zero magnetic field in non-simply connected domains.Comm. Math. Phys. 202, 3 (1999), 629–649. [39]Helffer, B., and Hoffmann-Ostenhof, T.On a magnetic characterization of spectral minimal partitions. J. Eur. Math. Soc....

  11. [11]

    [43]L ´ena, C.Eigenvalues variations for Aharonov-Bohm operators.J. Math. Phys. 56, 1 (2015), 011502,

  12. [12]

    Henri Poincar´ e 5, 5 (2004), 979–1012

    [44]Melgaard, M., Ouhabaz, E.-M., and Rozenblum, G.Negative discrete spectrum of perturbed multivortex Aharonov-Bohm Hamiltonians.Ann. Henri Poincar´ e 5, 5 (2004), 979–1012. [45]Muller-Kirsten, H. J.Introduction to quantum mechanics: Schrodinger equation and path integral. World Scientific Publishing Company,

  13. [13]

    [46]Noris, B., Nys, M., and Terracini, S.On the Aharonov-Bohm operators with varying poles: the boundary behavior of eigenvalues.Comm. Math. Phys. 339, 3 (2015), 1101–1146. [47]Simon, B.Maximal and minimal Schr¨ odinger forms.J. Operator Theory 1, 1 (1979), 37–47. [48]Simon, L.Schauder estimates by scaling.Calc. Var. Partial Differential Equations 5, 5 (1...

  14. [14]

    La Matematica 5, 1 (2026), Paper No

    [51]Vita, S.Notes on Schauder Estimates by Scaling for Second Order Linear Elliptic PDEs in Divergence Form. La Matematica 5, 1 (2026), Paper No