pith. sign in

arxiv: 2606.28527 · v1 · pith:4URIJ64Pnew · submitted 2026-06-26 · 🧮 math.AG · math.AP

Classification of singularities of planar slowness surfaces

Antonio Cocan , Maarten V. de Hoop , Joonas Ilmavirta , Pieti Kirkkopelto , Antti Kykk\"anen This is my paper

Pith reviewed 2026-06-30 00:58 UTC · model grok-4.3

classification 🧮 math.AG math.AP
keywords slowness surfacessingularitieselastic wave operatoralgebraic curvestransversal intersectionstangential singularities
0
0 comments X

The pith

In two dimensions, slowness surfaces have only two possible types of singularities: transversal self-intersections or tangencies between a concentric circle and ellipse.

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

The paper establishes a complete classification of singularities on slowness surfaces in two dimensions. These surfaces arise as the real projective curves where the principal symbol of the elastic wave operator vanishes. The classification identifies exactly two allowed singularity types. For surfaces with transversal self-intersections, the principal symbol admits a local smooth diagonalization. This classification constrains how elastic waves can propagate and focus in planar anisotropic media.

Core claim

In dimensions 2, the singularities of slowness surfaces are completely classified. The two types of possible singularities are a transversal self-intersection and a tangential singularity produced by a concentric circle and ellipse that are tangent to each other. In the case of transversal self-intersections, the principal symbol of the elastic wave operator is locally smoothly diagonalizable.

What carries the argument

The slowness surface, the real projective curve defined by the vanishing of the principal symbol (a homogeneous quadratic polynomial in the cotangent variables) of the elastic wave operator.

If this is right

  • The principal symbol is locally smoothly diagonalizable near transversal self-intersections.
  • Tangential singularities arise only from a circle and an ellipse sharing a center and touching at one point.
  • No other singularity types occur for these algebraic curves of degree 2 in the plane.

Where Pith is reading between the lines

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

  • The classification may allow simplification of numerical methods for 2D elastic wave equations by reducing to diagonal forms near crossings.
  • It supplies a basis for analyzing how these singularities shape wave front evolution in anisotropic planar materials.

Load-bearing premise

The slowness surface is precisely the zero set of a homogeneous quadratic polynomial from the elastic tensor, forming a smooth algebraic curve except at the classified singularities.

What would settle it

An explicit example of a 2D slowness surface with a singularity other than a transversal self-intersection or a concentric circle-ellipse tangency would falsify the classification.

read the original abstract

Slowness surfaces are algebraic varieties arising from propagation of elastic waves. In dimensions $2$, we completely classify the types of singularities slowness surfaces can have. The two types of possible singularities are a transversal self-intersection and a tangential singularity produced by a concentric circle and ellipse that are tangent to each other. To interpret these results analytically, in the case that the slowness surface has transversal self-intersections, we show that the principal symbol of the elastic wave operator is locally smoothly diagonalizable.

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

0 major / 3 minor

Summary. The paper classifies singularities of slowness surfaces in two dimensions. These surfaces are real projective curves defined by the vanishing of det(Γ(ξ))=0, where Γ is the acoustic tensor arising from a 2D elasticity tensor (a homogeneous quartic polynomial). The claimed complete classification asserts that the only possible singularities are transversal self-intersections and tangential singularities arising from a concentric circle and ellipse that are tangent to each other. In the transversal case the paper additionally proves that the principal symbol of the elastic wave operator is locally smoothly diagonalizable.

Significance. If the classification is correct, the result gives a definitive enumeration of singularity types for planar slowness surfaces, exploiting the determinantal structure of the quartic. This is useful for the local analysis of elastic wave propagation and the associated hyperbolic systems. The local diagonalizability statement supplies an analytic tool for handling the transversal-node case. The algebraic-geometry framing is appropriate and the restriction to only two singularity types is consistent with the constraints on such determinantal curves.

minor comments (3)
  1. [Abstract] The abstract introduces the acoustic tensor Γ(ξ) without an explicit formula; a brief definition or reference to the standard expression in terms of the elasticity tensor C should appear in §1 or the introduction.
  2. The phrase “concentric circle and ellipse” is used without clarifying whether the shared center is at the origin in projective coordinates; a sentence in the classification statement would remove ambiguity.
  3. The manuscript would benefit from one or two explicit 2×2 elasticity tensors realizing each singularity type, placed in an example subsection after the classification theorem.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, including the recognition of the utility of the classification for local analysis of elastic wave propagation and the local diagonalizability result. We appreciate the recommendation to accept.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper's central result is a complete algebraic classification of singularities of the real projective curve defined by det(Γ(ξ))=0 for the acoustic tensor Γ arising from a 2D elasticity tensor. This is a determinantal homogeneous quartic whose possible real singularities are enumerated using properties of algebraic curves; the two types (transversal nodes and tacnode-type circle-ellipse tangencies) follow directly from the algebraic constraints without any fitted parameters, self-referential definitions, or load-bearing self-citations. The accompanying local smooth diagonalizability statement for the transversal case is shown analytically from the symbol. The derivation is self-contained against external benchmarks in algebraic geometry and does not reduce any claimed result to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, invented entities, or non-standard axioms beyond the domain statement that slowness surfaces are algebraic varieties defined by the elastic wave operator.

axioms (1)
  • domain assumption Slowness surfaces are algebraic varieties arising from propagation of elastic waves.
    Opening sentence of the abstract; used as the object whose singularities are classified.

pith-pipeline@v0.9.1-grok · 5621 in / 1171 out tokens · 39866 ms · 2026-06-30T00:58:36.370710+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

36 extracted references

  1. [1]

    Barcel´ o, M

    J. Barcel´ o, M. Folch-Gabayet, S. P´ erez-Esteva, A. Ruiz, and M. Vilela. Uniqueness for inverse elastic medium problems.SIAM J. Math. Anal., 50:3939–3962, 2018

    2018

  2. [2]

    Beretta, E

    E. Beretta, E. Francini, and S. Vessella. Uniqueness and Lipschitz stability for the identification of Lam´ e parameters from boundary measurements.Inverse Probl. Imaging, 8:611–644, 2014

    2014

  3. [3]

    P. J. Braam and J. J. Duistermaat. Normal forms of real symmetric systems with multiplicity.Indag. Math. (N.S.), 4(4):407– 421, 1993

    1993

  4. [4]

    Casas-Alvero.Singularities of plane curves, volume 276 ofLond

    E. Casas-Alvero.Singularities of plane curves, volume 276 ofLond. Math. Soc. Lect. Note Ser.Cambridge: Cambridge University Press, 2000

    2000

  5. [5]

    Colin de Verdi` ere

    Y. Colin de Verdi` ere. The level crossing problem in semi-classical analysis. I: The symmetric class.Ann. Inst. Fourier, 53(4):1023–1054, 2003

    2003

  6. [6]

    Colin de Verdi` ere

    Y. Colin de Verdi` ere. The level crossing problem in semi-classical analysis. II. the Hermitian case.Ann. Inst. Fourier, 54(5):1423–1441, 2004

    2004

  7. [7]

    D. A. Cox, J. Little, and D. O’Shea.Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra. Undergraduate Texts Math. Cham: Springer, 5th edition edition, 2025

    2025

  8. [8]

    Darwich.Propagation of polarization sets for systems of generalized transverse type and for systems of MHD type

    R. Darwich.Propagation of polarization sets for systems of generalized transverse type and for systems of MHD type. Doctoral dissertation, University of G¨ ottingen, 2023

    2023

  9. [9]

    M. V. de Hoop, J. Ilmavirta, and M. Lassas. Reconstruction along a geodesic from sphere data in Finsler geometry and anisotropic elasticity.J. Math. Pures Appl., 196:103688, 2025

    2025

  10. [10]

    M. V. de Hoop, J. Ilmavirta, M. Lassas, and T. Saksala. A foliated and reversible Finsler manifold is determined by its broken scattering relation.Pure Appl. Anal., 3(4):789–811, 2021

    2021

  11. [11]

    M. V. de Hoop, J. Ilmavirta, M. Lassas, and T. Saksala. Determination of a compact Finsler manifold from its boundary distance map and an inverse problem in elasticity.Comm. Anal. Geom., 31(7):1693–1747, 2023

    2023

  12. [12]

    M. V. de Hoop, J. Ilmavirta, M. J. Lassas, and A. V´ arilly-Alvarado. Reconstruction of anisotropic stiffness tensors from partial data around one polarization. Preprint, arXiv:2307.03312 [math.DG] (2023), 2023

    arXiv 2023

  13. [13]

    M. V. de Hoop, G. Uhlmann, and A. Vasy. Recovery of material parameters in transversely isotropic media.Arch. Rational Mech. Anal., 235(1):141–165, 2020

    2020

  14. [14]

    N. Dencker. On the propagation of polarization sets for systems of real principal type.J. Funct. Anal., 46:351–372, 1982

    1982

  15. [15]

    N. Dencker. On the propagation of polarization in conical refraction.Duke Math. J., 57(1):85–134, 1988

    1988

  16. [16]

    N. Dencker. The propagation of polarization for systems of transversal type.Ark. Mat., 33:249–279, 10 1995

    1995

  17. [17]

    Eskin and J

    G. Eskin and J. Ralston. On the inverse boundary value problem for linear isotropic elasticity.Inverse Problems, 18(3):907–921, 2002

    2002

  18. [18]

    Helbig and J

    K. Helbig and J. Carcione. Anomalous polarization in anisotropic media.Eur. J. Mech. A Solids, 28:704–711, 2009

    2009

  19. [19]

    Hintz.An introduction to microlocal analysis, volume 304 ofGrad

    P. Hintz.An introduction to microlocal analysis, volume 304 ofGrad. Texts Math.Cham: Springer, 2025

    2025

  20. [20]

    Ilmavirta, P

    J. Ilmavirta, P. Kirkkopelto, and A. Kykk¨ anen. Horizontal and vertical regularity of elastic wave geometry. Preprint, arXiv:2511.16466 [math.DG] (2025), 2025

    arXiv 2025

  21. [21]

    Ilmavirta and K

    J. Ilmavirta and K. M¨ onkk¨ onen. The geodesic ray transform on spherically symmetric reversible Finsler manifolds, 2022

    2022

  22. [22]

    Imanuvilov, G

    O. Imanuvilov, G. Uhlmann, and M. Yamamoto. On reconstruction of Lam´ e parameters from partial Cauchy data in three dimensions.Inverse Problems, 28:125002, 2012

    2012

  23. [23]

    Mazzucato and L

    A. Mazzucato and L. Rachele. Partial uniqueness and obstruction to uniqueness in inverse problems for anisotropic elastic media.J. Elasticity, 83(3):205–245, 2006

    2006

  24. [24]

    Mazzucato and L

    A. Mazzucato and L. Rachele. On uniqueness in the inverse problem for transversely isotropic elastic media with a disjoint wave mode.Wave Motion, 44(7):605–625, 2007

    2007

  25. [25]

    Mazzucato and L

    A. Mazzucato and L. Rachele. On transversely isotropic elastic media with ellipsoidal slowness surfaces.Math. Mech. Solids, 13(7):611–638, 2008

    2008

  26. [26]

    Melrose and G

    R. Melrose and G. Uhlmann. Lagrangian intersection and the Cauchy problem.Comm. Pure Appl. Math., 32(4):483–519, 1979

    1979

  27. [27]

    Nakamura, K

    G. Nakamura, K. Tanuma, and G. Uhlmann. Layer stripping for a transversely isotropic elastic medium.SIAM J. Appl. Math., 59(5):1879–1891, 1999

    1999

  28. [28]

    Nakamura and G

    G. Nakamura and G. Uhlmann. Global uniqueness for an inverse boundary problem arising in elasticity.Invent. Math., 118(3):457–474, 1994

    1994

  29. [29]

    Oksanen, M

    L. Oksanen, M. Salo, P. Stefanov, and G. Uhlmann. Inverse problems for real principal type operators.Am. J. Math., 146(1):161–240, 2024

    2024

  30. [30]

    Paternain, M

    G. Paternain, M. Salo, and G. Uhlmann.Geometric inverse problems: with emphasis on two dimensions, volume 204. Cam- bridge University Press, 2023

    2023

  31. [31]

    P. E. Sacks and V. G. Yakhno. The inverse problem for a layered anisotropic half space.J. Math. Anal. Appl., 228(2):377–398, 1998

    1998

  32. [32]

    K. E. Smith, L. Kahanp¨ a¨ a, P. Kek¨ al¨ ainen, and W. Traves.An invitation to algebraic geometry. Universitext. New York, NY: Springer, 2000

    2000

  33. [33]

    G. Uhlmann. Light intensity distribution in conical refraction.Comm. Pure Appl. Math., 35:69–80, 1982

    1982

  34. [34]

    Uhlmann and A

    G. Uhlmann and A. Vasy. The inverse problem for the local geodesic ray transform.Invent. Math., 205(1):83–120, 2016. CLASSIFICATION OF SINGULARITIES OF PLANAR SLOWNESS SURF ACES 11

    2016

  35. [35]

    M. J. Yedlin. The wave front in a homogeneous anisotropic medium.Bull. Seismol. Soc. Am., 70(6):2097–2102, 1980

    2097

  36. [36]

    Y. Zou. Microlocal methods for the elastic travel time tomography problem for transversely isotropic media. Preprint, arXiv:2112.14455 [math.AP], 2021

    arXiv 2021