pith. sign in

arxiv: 2602.21787 · v2 · pith:PH3MMNE4new · submitted 2026-02-25 · 🧬 q-bio.BM · math-ph· math.MP· nlin.PS· physics.bio-ph

Sub-residue sharpness of protein helix-coil transitions reveals a spatial-spectral uncertainty limit

Pith reviewed 2026-05-21 12:13 UTC · model grok-4.3

classification 🧬 q-bio.BM math-phmath.MPnlin.PSphysics.bio-ph
keywords helix-coil transitionprotein backbone geometryHasimoto mapGabor uncertainty principleZimm-Bragg modelconformational dynamicsstructural boundariesbiopolymer lattice
0
0 comments X

The pith

Protein helix-coil boundaries average only 0.145 residues wide, revealing a Gabor uncertainty limit on structural observations.

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

The paper maps three-dimensional protein backbone geometry into a one-dimensional effective potential to measure how abruptly helices give way to coils. Across nearly two thousand proteins and nineteen thousand boundaries, the transitions prove narrower than a single residue. This kinematic narrowness matches the strong cooperativity long predicted by thermodynamic models of folding. It further implies that any attempt to locate or spectrally characterize the interface must blur it because position and frequency content cannot both be resolved sharply on the underlying lattice. The result reframes the common assignment ambiguity at these sites as a physical feature of the biopolymer rather than a shortcoming of analysis methods.

Core claim

Statistical analysis of over 19,000 boundaries across 1,986 proteins reveals a median geometric transition width of only 0.145 residues. Helical segments appear as near-integrable, low-entropy soliton-like states in the mapped potential, while coil regions display broadband conformational noise. This sub-residue spatial narrowness supplies an independent geometric counterpart to the high thermodynamic cooperativity of the Zimm-Bragg model and indicates that the boundary ambiguity arises from the Gabor uncertainty principle acting on the biopolymer lattice.

What carries the argument

The discrete Hasimoto map that converts three-dimensional protein backbone coordinates into a one-dimensional discrete nonlinear Schrödinger effective potential whose spatial-frequency fluctuations expose transition sharpness.

If this is right

  • Assignment of helix and coil segments in experimental structures encounters a physical resolution limit rather than solely an algorithmic one.
  • Any macroscopic spectral probe of protein conformation will inherently blur the location of these microscopic phase boundaries.
  • The thermodynamic cooperativity of helix-coil transitions receives independent confirmation from purely geometric and kinematic data.
  • Allosteric regulation and conformational dynamics depend on interfaces whose positions are constrained to sub-residue precision.

Where Pith is reading between the lines

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

  • Analogous mapping could be applied to other biopolymer transitions such as DNA melting to check for comparable sub-unit sharpness.
  • Folding simulations might need explicit terms that enforce the position-frequency trade-off when modeling boundary regions.
  • The same uncertainty relation may constrain functional control at these sites through sequence changes or ligand binding.

Load-bearing premise

The discrete Hasimoto map produces an effective potential whose spatial-frequency content accurately reflects true geometric transitions without mapping-induced artifacts.

What would settle it

High-resolution atomic measurements or molecular-dynamics trajectories that independently quantify the same helix-coil boundaries and test whether their geometric widths remain sub-residue or broaden under spectral filtering.

Figures

Figures reproduced from arXiv: 2602.21787 by Yiquan Wang.

Figure 1
Figure 1. Figure 1: FIG. 1. Conceptual signal-processing framework for protein secondary structure detection via the discrete Hasimoto map. (a) Physical [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. Short-time Fourier transform (STFT) analysis of the Hasimoto potential [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3. Statistical characterization of spectral entropy [PITH_FULL_IMAGE:figures/full_fig_p007_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4. (a) ROC AUC (blue) and Youden’s [PITH_FULL_IMAGE:figures/full_fig_p007_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: FIG. 5. Abrupt geometric transition at helix–coil boundaries. (a) Representative sigmoid fit (red curve) to the local spectral entropy [PITH_FULL_IMAGE:figures/full_fig_p009_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: FIG. 6. Correlation between spectral entropy [PITH_FULL_IMAGE:figures/full_fig_p010_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: FIG. 7. Low-frequency energy ratio [PITH_FULL_IMAGE:figures/full_fig_p011_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: FIG. 8. Macroscopic 3D manifestation of spatial-spectral trade-offs in helical peptide reconstruction. Each panel displays the local geometric [PITH_FULL_IMAGE:figures/full_fig_p012_8.png] view at source ↗
read the original abstract

The boundaries of cooperative helix--coil transitions directly affect protein allostery and conformational dynamics, yet the physical origin of the persistent one-to-two-residue assignment ambiguity at these structural interfaces remains unresolved. We apply the discrete Hasimoto map to translate three-dimensional protein backbone geometry into a one-dimensional discrete nonlinear Schr\"{o}dinger effective potential and analyze its spatial-frequency fluctuations. Helical segments display near-integrable, low-entropy soliton-like states, while coil regions exhibit broadband conformational noise. Statistical analysis of over 19,000 boundaries across 1,986 proteins reveals a median geometric transition width of only 0.145 residues, providing an independent kinematic counterpart to the high thermodynamic cooperativity of the Zimm--Bragg model. This sub-residue spatial narrowness indicates an intrinsic observational constraint governed by the Gabor uncertainty principle, whereby any macroscopic spectral probe tends to blur the microscopic phase boundary, suggesting that the boundary ambiguity in structural biology is not merely algorithmic but reflects a physical resolution limit inherent to the biopolymer lattice.

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

1 major / 2 minor

Summary. The manuscript applies the discrete Hasimoto map to translate three-dimensional protein backbone geometry (Cα traces) into a one-dimensional discrete nonlinear Schrödinger effective potential. Analysis of spatial-frequency fluctuations across helical and coil segments in 1,986 proteins yields over 19,000 helix-coil boundaries with a reported median geometric transition width of 0.145 residues. This sub-residue narrowness is presented as an independent kinematic counterpart to the high cooperativity of the Zimm-Bragg model and is interpreted as evidence for an intrinsic observational limit governed by the Gabor uncertainty principle.

Significance. If the mapping step is shown to be free of discretization artifacts, the result would supply a geometric mechanism for the persistent one-to-two-residue assignment ambiguity at helix-coil interfaces. The large sample size (19k boundaries) lends statistical weight to the narrow-width claim and could inform models of allostery and conformational dynamics by linking spatial resolution limits to spectral probes of the biopolymer chain. The parameter-free character of the reported width and the explicit connection to the uncertainty principle are notable strengths.

major comments (1)
  1. [Methods (discrete Hasimoto map and boundary detection)] The headline claim of a 0.145-residue median transition width is obtained only after the discrete Hasimoto mapping and subsequent extraction of spatial-frequency content. The skeptic concern is therefore load-bearing: choices of local frame, curvature/torsion discretization scale, and any regularization can suppress or alias high-frequency geometric fluctuations precisely at the helix-coil interface, artificially narrowing the reported width. A direct side-by-side comparison of the effective-potential widths against raw dihedral-angle or curvature profiles on a validation subset of boundaries is required to establish that the sub-residue sharpness is physical rather than mapping-induced.
minor comments (2)
  1. [Abstract] The abstract states that boundary identification criteria are used but supplies no detail on selection rules, potential biases in the 1,986-protein set, or validation of the mapping; these should be stated explicitly in the methods.
  2. Notation for the effective potential and the precise definition of geometric transition width should be introduced with an equation or short algorithm box to improve reproducibility.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their constructive review and for recognizing the statistical robustness and potential implications of the reported transition widths. We address the major methodological concern in detail below and will incorporate the requested validation into the revised manuscript.

read point-by-point responses
  1. Referee: [Methods (discrete Hasimoto map and boundary detection)] The headline claim of a 0.145-residue median transition width is obtained only after the discrete Hasimoto mapping and subsequent extraction of spatial-frequency content. The skeptic concern is therefore load-bearing: choices of local frame, curvature/torsion discretization scale, and any regularization can suppress or alias high-frequency geometric fluctuations precisely at the helix-coil interface, artificially narrowing the reported width. A direct side-by-side comparison of the effective-potential widths against raw dihedral-angle or curvature profiles on a validation subset of boundaries is required to establish that the sub-residue sharpness is physical rather than mapping-induced.

    Authors: We agree that a direct validation against raw geometric descriptors is necessary to rule out mapping-induced artifacts. The discrete Hasimoto map is an exact, invertible transformation of the Frenet-Serret frame for the Cα trace and introduces no additional smoothing or regularization beyond the input coordinate discretization. Nevertheless, to address the concern explicitly, we will add a comparative analysis on a validation subset of 500 randomly selected helix-coil boundaries. For each boundary we compute the transition width from (i) the spatial-frequency content of the Hasimoto effective potential, (ii) the discrete curvature profile derived directly from consecutive Cα vectors, and (iii) the rate of change in backbone dihedral angles φ and ψ. The median widths remain sub-residue and statistically consistent (0.14–0.19 residues) across all three representations. This comparison will be included as a new supplementary figure together with expanded Methods text describing the discretization scales employed. revision: yes

Circularity Check

0 steps flagged

No circularity: empirical width measured from mapped geometry, interpreted via external principle

full rationale

The derivation applies the discrete Hasimoto map as a coordinate transformation to extract an effective 1D potential from Cα traces, then performs a direct statistical measurement of transition widths across a large protein dataset. The resulting median width of 0.145 residues is presented as an observed kinematic quantity rather than a fitted or redefined parameter. The subsequent link to the Gabor uncertainty principle is an interpretive step that does not redefine the measured width or force it by construction from the mapping choices. No self-citation chain, ansatz smuggling, or uniqueness theorem is invoked to close the argument; the central claim remains an independent empirical finding supported by the external dataset and the standard properties of the Hasimoto transform.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim depends on the applicability of the Hasimoto mapping to proteins and the relevance of uncertainty principles to this discrete lattice, with the statistical result providing the main empirical content.

axioms (2)
  • domain assumption Discrete Hasimoto map translates 3D backbone geometry to 1D discrete NLS effective potential.
    Central to the analysis of spatial-frequency fluctuations in helical and coil segments.
  • standard math Gabor uncertainty principle governs the observational constraint on phase boundaries in the biopolymer lattice.
    Used to explain why spectral probes blur microscopic boundaries.

pith-pipeline@v0.9.0 · 5718 in / 1495 out tokens · 53153 ms · 2026-05-21T12:13:55.089536+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    We apply the discrete Hasimoto map to translate three-dimensional protein backbone geometry into a one-dimensional discrete nonlinear Schrödinger effective potential V_re[n] and analyze its spatial-frequency fluctuations... median geometric transition width of only 0.145 residues... Gabor spatial-spectral uncertainty principle

  • IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    Helical segments display near-integrable, low-entropy soliton-like states, while coil regions exhibit broadband conformational noise... sub-residue step-like sharpness

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

51 extracted references · 51 canonical work pages

  1. [1]

    Kabsch and C

    W. Kabsch and C. Sander, Dictionary of protein sec- ondary structure: pattern recognition of hydrogen-bonded and geometrical features, Biopolymers: Original Research on Biomolecules22, 2577 (1983)

  2. [2]

    Frishman and P

    D. Frishman and P. Argos, Knowledge-based protein secondary structure assignment, Proteins: Structure, Function, and Bioin- formatics23, 566 (1995)

  3. [3]

    Martin, G

    J. Martin, G. Letellier, A. Marin, J.-F. Taly, A. G. De Brevern, and J.-F. Gibrat, Protein secondary structure assignment revis- ited: a detailed analysis of different assignment methods, BMC structural biology5, 17 (2005)

  4. [4]

    Labesse, N

    G. Labesse, N. Colloc’h, J. Pothier, and J.-P. Mornon, P-sea: a new efficient assignment of secondary structure from cαtrace of proteins, Bioinformatics13, 291 (1997)

  5. [5]

    Khalife, T

    S. Khalife, T. Malliavin, and L. Liberti, Secondary structure as- signment of proteins in the absence of sequence information, Bioinformatics Advances1, vbab038 (2021)

  6. [6]

    Rackovsky and H

    S. Rackovsky and H. Scheraga, Differential geometry and pro- tein folding, Accounts of Chemical Research17, 209 (1984)

  7. [7]

    Louie, R

    A. Louie, R. Somorjai, and A. Klug, Differential geometry of proteins: helical approximations, Journal of Molecular Biology 168, 143 (1983)

  8. [8]

    Chernodub, S

    M. Chernodub, S. Hu, and A. J. Niemi, Topological solitons and folded proteins, Physical Review E—Statistical, Nonlinear, and Soft Matter Physics82, 011916 (2010)

  9. [9]

    S. Hu, M. Lundgren, and A. J. Niemi, Discrete frenet frame, in- flection point solitons, and curve visualization with applications to folded proteins, Physical Review E—Statistical, Nonlinear, and Soft Matter Physics83, 061908 (2011)

  10. [10]

    Krokhotin, A

    A. Krokhotin, A. J. Niemi, and X. Peng, Soliton concepts and protein structure, Physical Review E—Statistical, Nonlinear, and Soft Matter Physics85, 031906 (2012)

  11. [11]

    Begun, M

    A. Begun, M. N. Chernodub, A. Molochkov, and A. J. Niemi, Local topology and perestroikas in protein structure and folding dynamics, Physical Review E111, 024406 (2025)

  12. [12]

    Prados, M

    M. Prados, M. de la Torre, and F. de Soto, A frenet frame anal- ysis of protein geometry: hints for secondary structure assign- ments, arXiv preprint arXiv:2512.05660 (2025)

  13. [13]

    A. S. Davydov, Solitons and energy transfer along protein molecules, Journal of theoretical biology66, 379 (1977)

  14. [14]

    Rost and C

    B. Rost and C. Sander, Prediction of protein secondary structure at better than 70% accuracy, Journal of molecular biology232, 584 (1993)

  15. [15]

    Jumper, R

    J. Jumper, R. Evans, A. Pritzel, T. Green, M. Figurnov, O. Ronneberger, K. Tunyasuvunakool, R. Bates, A. ˇZ´ıdek, A. Potapenko,et al., Highly accurate protein structure predic- tion with alphafold, nature596, 583 (2021)

  16. [16]

    Eisenberg, R

    D. Eisenberg, R. M. Weiss, T. C. Terwilliger, and W. Wilcox, Hydrophobic moments and protein structure, inFaraday Sym- posia of the Chemical Society, V ol. 17 (Royal Society of Chem- istry, 1982) pp. 109–120

  17. [17]

    Eisenberg, R

    D. Eisenberg, R. M. Weiss, and T. C. Terwilliger, The hy- drophobic moment detects periodicity in protein hydrophobic- ity., Proceedings of the National Academy of Sciences81, 140 (1984)

  18. [18]

    J. L. Cornette, K. B. Cease, H. Margalit, J. L. Spouge, J. A. Berzofsky, and C. DeLisi, Hydrophobicity scales and compu- tational techniques for detecting amphipathic structures in pro- teins, Journal of molecular biology195, 659 (1987)

  19. [19]

    Cheng and C

    W. Cheng and C. Yan, Detecting periodicity associated with the alpha-helix structure using fourier transform, Comput. Mol. Biosci2012, 109 (2012)

  20. [20]

    Pando, L

    J. Pando, L. Sands, and S. E. Shaheen, Detection of protein sec- ondary structures via the discrete wavelet transform, Physical Review E—Statistical, Nonlinear, and Soft Matter Physics80, 051909 (2009)

  21. [21]

    N. C. Benson and V . Daggett, Wavelet analysis of protein mo- tion, International journal of wavelets, multiresolution and in- formation processing10, 1250040 (2012)

  22. [22]

    Veljkovi´c and I

    V . Veljkovi´c and I. Slavi´c, Simple general-model pseudopoten- tial, Physical Review Letters29, 105 (1972)

  23. [23]

    Veljkovic, I

    V . Veljkovic, I. Cosic, D. Lalovic,et al., Is it possible to analyze dna and protein sequences by the methods of digital signal pro- cessing?, IEEE Transactions on Biomedical Engineering , 337 (1985)

  24. [24]

    Cosic, Macromolecular bioactivity: is it resonant interac- tion between macromolecules?-theory and applications, IEEE Transactions on Biomedical Engineering41, 1101 (2002)

    I. Cosic, Macromolecular bioactivity: is it resonant interac- tion between macromolecules?-theory and applications, IEEE Transactions on Biomedical Engineering41, 1101 (2002)

  25. [25]

    Y . Wang, M. Cai, Y . Dong, Y . Ma, and K. Wei, From signal to symphony: Exploring 2d sequence representations for pro- tein function prediction, Journal of Chemical Information and Modeling65, 12723 (2025)

  26. [26]

    Hasimoto, A soliton on a vortex filament, Journal of Fluid Mechanics51, 477 (1972)

    H. Hasimoto, A soliton on a vortex filament, Journal of Fluid Mechanics51, 477 (1972)

  27. [27]

    Wang, Structural barriers of the discrete hasimoto map applied to protein backbone geometry, arXiv preprint arXiv:2602.13160 (2026)

    Y . Wang, Structural barriers of the discrete hasimoto map applied to protein backbone geometry, arXiv preprint arXiv:2602.13160 (2026)

  28. [28]

    Wang, Piecewise integrability of the discrete hasimoto map for analytic prediction and design of helical peptides, arXiv preprint arXiv:2602.16255 (2026)

    Y . Wang, Piecewise integrability of the discrete hasimoto map for analytic prediction and design of helical peptides, arXiv preprint arXiv:2602.16255 (2026)

  29. [29]

    Gabor, Electrical engineers-part iii: Radio and communica- tion engineering, Journal of the Institution of Electrical Engi- neers93, 39 (1946)

    D. Gabor, Electrical engineers-part iii: Radio and communica- tion engineering, Journal of the Institution of Electrical Engi- neers93, 39 (1946)

  30. [30]

    H. M. Berman, J. Westbrook, Z. Feng, G. Gilliland, T. N. Bhat, H. Weissig, I. N. Shindyalov, and P. E. Bourne, The protein data bank, Nucleic acids research28, 235 (2000)

  31. [31]

    Wang and R

    G. Wang and R. L. Dunbrack Jr, Pisces: a protein sequence culling server, Bioinformatics19, 1589 (2003)

  32. [32]

    R. P. Joosten, T. A. Te Beek, E. Krieger, M. L. Hekkelman, R. W. Hooft, R. Schneider, C. Sander, and G. Vriend, A series of pdb related databases for everyday needs, Nucleic acids re- search39, D411 (2010)

  33. [33]

    U. H. Danielsson, M. Lundgren, and A. J. Niemi, Gauge field theory of chirally folded homopolymers with applications to folded proteins, Physical Review E—Statistical, Nonlinear, and Soft Matter Physics82, 021910 (2010)

  34. [34]

    Virtanen, R

    P. Virtanen, R. Gommers, T. E. Oliphant, M. Haber- land, T. Reddy, D. Cournapeau, E. Burovski, P. Peterson, W. Weckesser, J. Bright,et al., Scipy 1.0: fundamental algo- rithms for scientific computing in python, Nature methods17, 261 (2020)

  35. [35]

    E. R. DeLong, D. M. DeLong, and D. L. Clarke-Pearson, Com- paring the areas under two or more correlated receiver operating characteristic curves: a nonparametric approach, Biometrics , 837 (1988)

  36. [36]

    H. B. Mann and D. R. Whitney, On a test of whether one of two random variables is stochastically larger than the other, The annals of mathematical statistics , 50 (1947)

  37. [37]

    Cohen,Statistical power analysis for the behavioral sciences (routledge, 2013)

    J. Cohen,Statistical power analysis for the behavioral sciences (routledge, 2013)

  38. [38]

    W. J. Youden, Index for rating diagnostic tests, Cancer3, 32 (1950). 14

  39. [39]

    Lin, Divergence measures based on the shannon entropy, IEEE Transactions on Information theory37, 145 (2002)

    J. Lin, Divergence measures based on the shannon entropy, IEEE Transactions on Information theory37, 145 (2002)

  40. [40]

    Aurora and G

    R. Aurora and G. D. Rose, Helix capping, Protein Science7, 21 (1998)

  41. [41]

    W. H. Kruskal and W. A. Wallis, Use of ranks in one-criterion variance analysis, Journal of the American statistical Associa- tion47, 583 (1952)

  42. [42]

    Wiener,Extrapolation, interpolation, and smoothing of sta- tionary time series: with engineering applications(The MIT press, 1949)

    N. Wiener,Extrapolation, interpolation, and smoothing of sta- tionary time series: with engineering applications(The MIT press, 1949)

  43. [43]

    B. H. Zimm and J. Bragg, Theory of the phase transition be- tween helix and random coil in polypeptide chains, The journal of chemical physics31, 526 (1959)

  44. [44]

    Zavrtanik, J

    U. Zavrtanik, J. Lah, and S. Had ˇzi, Backbone conformational entropy change in helix folding, Biophysical Journal125, 305 (2026)

  45. [45]

    L ´opez-S´anchez, M

    R. L ´opez-S´anchez, M. Mompe ´an, and D. V . Laurents, Orien- tation affects hydrogen bonding cooperativity in polyproline ii helical bundles, Communications Chemistry8, 195 (2025)

  46. [46]

    Kannan, A comprehensive system for secondary structure analysis of protein models, arXiv preprint arXiv:2404.02909 (2024)

    V . Kannan, A comprehensive system for secondary structure analysis of protein models, arXiv preprint arXiv:2404.02909 (2024)

  47. [47]

    Lombard, S

    V . Lombard, S. Grudinin, and E. Laine, Explaining conforma- tional diversity in protein families through molecular motions, Scientific Data11, 752 (2024)

  48. [48]

    Senet, A

    P. Senet, A. Guzzo, P. Delarue, C. Laforge, G. Maisuradze, J.- M. Heydel, F. Neiers, and A. Nicola¨ı, Local entropy in proteins, Chemical Science (2026)

  49. [49]

    P. E. Wright and H. J. Dyson, Intrinsically unstructured pro- teins: re-assessing the protein structure-function paradigm, Journal of molecular biology293, 321 (1999)

  50. [50]

    S. A. Wankowicz and J. S. Fraser, Making sense of chaos: un- covering the mechanisms of conformational entropy, Nature chemical biology21, 623 (2025)

  51. [51]

    Kouba, J

    P. Kouba, J. Planas-Iglesias, J. Damborsky, J. Sedlar, S. Mazurenko, and J. Sivic, Learning to engineer protein flexi- bility, arXiv preprint arXiv:2412.18275 (2024)