arxiv: 2604.08919 · v1 · submitted 2026-04-10 · 🪐 quant-ph · physics.optics

Recognition: 2 theorem links

· Lean Theorem

Observing complementary Lucas sequences using non-Hermitian zero modes

Li Ge

Authors on Pith no claims yet

Pith reviewed 2026-05-10 17:54 UTC · model grok-4.3

classification 🪐 quant-ph physics.optics

keywords non-Hermitian systemsLucas sequenceszero modesedge statesgain-loss modulationconstant-intensity modemirror symmetrycomplementary sequences

0 comments

The pith

A non-Hermitian gain-and-loss system realizes complementary Lucas sequences in its zero modes.

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

This paper aims to establish that a special case of complementary Lucas sequences can be observed physically on one platform. The setup consists of a gain-and-loss-modulated non-Hermitian reservoir that bridges two mirror-symmetric systems. In this configuration the sequences appear as patterns in linearly localized edge states and in a constant-intensity mode. A sympathetic reader would care because Lucas sequences such as the Fibonacci numbers recur across mathematics and nature, and a direct physical realization of their complementary counterparts would allow wave systems to exhibit exact integer recurrence relations.

Core claim

The paper claims that complementary Lucas sequences can be observed on the same physical platform consisting of a gain-and-loss-modulated non-Hermitian reservoir bridging two mirror-symmetric systems, which manifests the sequences in linearly localized edge states and a constant-intensity mode, respectively.

What carries the argument

Gain-and-loss-modulated non-Hermitian reservoir bridging two mirror-symmetric systems that produces zero modes matching the sequence integers.

Load-bearing premise

The non-Hermitian reservoir must be engineered and tuned with sufficient precision that its zero modes reproduce the exact integer values of the sequences without deviations from perturbations or imperfect gain-loss balance.

What would settle it

A measurement of the spatial intensity or localization parameters of the edge states that deviates from the exact complementary Lucas sequence numbers would disprove the claim.

Figures

Figures reproduced from arXiv: 2604.08919 by Li Ge.

**Figure 2.** Figure 2: FIG. 2. (a,c) Schematics showing the reservoir coupling to a [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗

**Figure 3.** Figure 3: FIG. 3. (a) Schematic showing two mirror-symmetric systems [PITH_FULL_IMAGE:figures/full_fig_p005_3.png] view at source ↗

**Figure 4.** Figure 4: FIG. 4. (a,b) Phase and energy flux of the constant-intensity [PITH_FULL_IMAGE:figures/full_fig_p005_4.png] view at source ↗

read the original abstract

The Lucas sequences are integers defined by a homogeneous recurrence relation. They include the well-known Fibonacci numbers, which appear abundantly in nature. The complementary Lucas numbers, defined by the same recurrence relation, are less well-known. In this work, we show that a special case of such complementary Lucas sequences can be observed on the same physical platform. It consists of a gain-and-loss-modulated non-Hermitian reservoir bridging two mirror-symmetric systems, which manifests the Lucas sequences in linearly localized edge states and a constant-intensity mode, respectively.

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.

Desk Editor's Note private letter to a colleague

The paper maps complementary Lucas sequences onto zero modes in a non-Hermitian reservoir setup between mirror-symmetric systems, but the exact integer match only holds under perfect gain-loss balance with no perturbations.

read the letter

The core claim is that a gain-and-loss modulated non-Hermitian reservoir bridging two mirror-symmetric systems can produce complementary Lucas sequences in its linearly localized edge states and a constant-intensity mode. This specific physical platform for those sequences looks new compared to earlier non-Hermitian edge-state papers, and the abstract gives a clear enough picture of the setup to see the intended mapping. The work does a reasonable job of framing the idea in terms of existing PT-symmetric optics and zero-mode literature without overclaiming broader number-theory impact. The platform itself is concrete enough that an experimental group could try to build it. The soft spot is exactly what the stress test flags: the recurrence produces exact integers only when the reservoir is tuned perfectly and remains unperturbed. Small imbalances in gain and loss, disorder, or coupling errors will shift the eigenvalues or mode amplitudes and break the integer sequence. The abstract gives no quantitative robustness checks or perturbation analysis, which leaves the practical observability open. Without the full equations it is hard to judge how tightly the model is constrained, but the lack of any error discussion is noticeable. The paper is aimed at researchers in non-Hermitian photonics or quantum optics who already work on edge states and might want a mathematical analogy to play with. A reader looking for new experimental platforms in that area could extract useful ideas. It is coherent on its own terms and shows clear engagement with the relevant literature, so it deserves a serious referee to check the derivations and ask for robustness estimates. I would send it to peer review rather than desk reject.

Referee Report

1 major / 1 minor

Summary. The manuscript claims that a special case of complementary Lucas sequences (integers obeying the same homogeneous recurrence as the Lucas numbers) can be realized physically in a non-Hermitian platform consisting of a gain-and-loss modulated reservoir that bridges two mirror-symmetric systems; the sequences appear exactly in the linearly localized edge states and in a constant-intensity mode, respectively, via the zero modes of the reservoir.

Significance. If the central claim is correct, the work supplies a concrete non-Hermitian realization of exact integer recurrence relations without free parameters, extending the appearance of Fibonacci-like sequences into engineered photonic or quantum platforms and highlighting the utility of zero modes for enforcing homogeneous recurrences. The absence of any robustness analysis against imperfections, however, limits the immediate significance.

major comments (1)

[non-Hermitian reservoir and zero-mode analysis] The central claim that the zero modes exactly reproduce the complementary Lucas sequences (abstract and model description) rests on the assumption of perfect gain-loss balance in the reservoir; no perturbation analysis, eigenvalue-shift calculations, or numerical simulations with small imbalances or disorder are provided to show that the integer recurrence survives realistic deviations, which is load-bearing for the assertion that the sequences can be 'observed'.

minor comments (1)

The abstract would be clearer if it stated the explicit recurrence relation or gave the first few terms of the complementary sequence being realized.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive feedback. We address the major comment point by point below and will incorporate additional analysis in the revised version to strengthen the work.

read point-by-point responses

Referee: [non-Hermitian reservoir and zero-mode analysis] The central claim that the zero modes exactly reproduce the complementary Lucas sequences (abstract and model description) rests on the assumption of perfect gain-loss balance in the reservoir; no perturbation analysis, eigenvalue-shift calculations, or numerical simulations with small imbalances or disorder are provided to show that the integer recurrence survives realistic deviations, which is load-bearing for the assertion that the sequences can be 'observed'.

Authors: We agree that the exact reproduction of the complementary Lucas sequences in the zero modes requires perfect gain-loss balance, as this condition is what allows the homogeneous recurrence relation to be enforced precisely through the eigenvalue problem of the non-Hermitian reservoir. The manuscript focuses on this ideal case to demonstrate the novel physical realization. However, the referee is correct that no robustness checks were included. In the revision we will add a dedicated subsection containing first-order perturbation analysis of eigenvalue shifts under small gain-loss imbalances, together with numerical simulations of the edge-state profiles and constant-intensity mode under weak disorder. These results will show that the recurrence relations hold approximately for deviations small compared to the modulation strength, thereby supporting the claim of observability in realistic platforms while clarifying the idealization in the original analysis. revision: yes

Circularity Check

0 steps flagged

No circularity: physical mapping of standard recurrence to zero modes is independent of inputs

full rationale

The paper defines Lucas sequences via their standard homogeneous recurrence (a known mathematical object independent of the platform) and then constructs a non-Hermitian system whose zero modes are shown to satisfy that same recurrence. No equations or steps reduce the claimed manifestation to a fitted parameter, self-citation chain, or redefinition of the sequences themselves. The setup (gain-loss reservoir bridging mirror-symmetric systems) is presented as an engineered realization rather than a tautological renaming or ansatz smuggled from prior self-work. Absence of any quoted reduction (e.g., mode amplitudes forced to match sequence by construction) keeps the derivation self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Based on abstract only; no explicit free parameters, axioms, or invented entities are stated. The claim implicitly assumes a direct correspondence between the recurrence and the zero-mode amplitudes.

pith-pipeline@v0.9.0 · 5367 in / 1035 out tokens · 23157 ms · 2026-05-10T17:54:36.035748+00:00 · methodology

discussion (0)

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; dAlembert_to_ODE_general echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

the linear recurrence relation F_m = P F_{m-1} - Q F_{m-2} (P, Q ∈ Z) that defines the Lucas sequences... When a, b become the same and equal s ≠ 0, one finds U_m(P, Q) = m s^{m-1}, V_m(P, Q) = 2 s^m. If we further let s = 1... these two complementary sequences become U_m = m, V_m = 2
IndisputableMonolith/Foundation/ArithmeticFromLogic.lean embed_eq_pow; logicNat_initial echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

Eq. (2) is a special example of the linear recurrence relation... α = 1 for linear localization is satisfied by γ = 2t

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

43 extracted references · 1 canonical work pages

[1]

K. H. Rosen,Discrete Mathematics and its Applications, 7ed. (McGraw Hill, New York, 2012)

2012
[2]

Kramer and A

B. Kramer and A. MacKinnon, Rep. Prog. Phys.56, 1469 (1993)

1993
[3]

Yeh,Optical Waves in Layered Media(Wiley, New York, 1988)

P. Yeh,Optical Waves in Layered Media(Wiley, New York, 1988)

1988
[4]

Kohmoto, B

M. Kohmoto, B. Sutherland, and K. Iguchi, Phys. Rev. Lett.58, 2436–2438 (1987)

1987
[5]

Maci´ a, Rep

E. Maci´ a, Rep. Prog. Phys.69, 397–441 (2006)

2006
[6]

Jagannathan, Rev

A. Jagannathan, Rev. Mod. Phys.93, 045001 (2021)

2021
[7]

Qi and L

B. Qi and L. Ge, Adv. Phys. Res.2, 2300066 (2023)

2023
[8]

L. Feng, R. El-Ganainy, and L. Ge, Nat. Photonics11, 752–762 (2017)

2017
[9]

M. Z. Hasan and C. L. Kane, Rev. Mod. Phys.82, 3045 (2010)

2010
[10]

Qi and S.-C

X.-L. Qi and S.-C. Zhang, Rev. Mod. Phys.83, 1057 (2011)

2011
[11]

Alicea, Rep

J. Alicea, Rep. Prog. Phys.75, 076501 (2012)

2012
[12]

C. W. J. Beenakker, Rev. Mod. Phys.87, 1037 (2015)

2015
[13]

P. A. Lee and T. V. Ramakrishnan, Rev. Mod. Phys.57, 287–337 (1985)

1985
[14]

Imada, A

M. Imada, A. Fujimori, and Y. Tokura, Rev. Mod. Phys. 70, 1039–1263 (1998)

1998
[15]

Lagendijk, B

A. Lagendijk, B. van Tiggelen, and D. S. Wiersma, Phys. Today62, 24–29 (2009)

2009
[16]

Schrans and A

T. Schrans and A. Yariv, Appl. Phys. Lett.56, 1526 (1990)

1990
[17]

K. G. Makris, Z. H. Musslimani, D. N. Christodoulides, and S. Rotter, Nat. Commun.6, 7257 (2015)

2015
[18]

J. D. H. Rivero, M. Pan, K. G. Makris, L. Feng, and L. Ge, Phys. Rev. Lett.126, 163901 (2021)

2021
[19]

Zhang, P

Z. Zhang, P. Miao, J. Sun, S. Longhi, N. M. Litchinitser, and L. Feng, ACS Photonics5, 3016 (2018)

2018
[20]

L. Feng, Z. J. Wong, R.-M. Ma, Y. Wang, and X. Zhang, Science346, 972 (2014)

2014
[21]

Wiersig, Phys

J. Wiersig, Phys. Rev. Lett.112, 203901 (2014)

2014
[22]

Peng, S ¸

B. Peng, S ¸. K. ¨Ozdemir, M. Liertzer, W. Chen, J. Kramer, H. Yılmaz, J. Wiersig, S. Rotter, and L. Yang, Pro. Nat. Acad. Sci.113, 6845 (2016)

2016
[23]

W. E. Hayenga, M. Parto, J. Ren, F. O. Wu, M. P. Hokmabadi, C. Wolff, R. El-Ganainy, N. A. Mortensen, D. N. Christodoulides, and M. Khajavikhan, ACS Photonics 6, 1895 (2019)

2019
[24]

Zhang, H

Z. Zhang, H. Zhao, S. Wu, T. Wu, X. Qiao, Z. Gao, R. Agarwal, S. Longhi, N. M. Litchinitser, L. Ge, and L. Feng, Nature612, 246 (2022)

2022
[25]

Q.-T. Cao, H. Wang, C.-H. Dong, H. Jing, R.-S. Liu, X. Chen, L. Ge, Q. Gong, and Y.-F. Xiao, Phys. Rev. Lett. 118, 033901 (2017)

2017
[26]

V. G. Sala, D. D. Solnyshkov, I. Carusotto, T. Jacqmin, A. Lemaˆ ıtre, H. Ter¸ cas, A. Nalitov, M. Abbarchi, E. Galopin, I. Sagnes, et al., Phys. Rev. X5, 011034 (2015)

2015
[27]

Bloch, Z

F. Bloch, Z. Phys.57, 545 (1929)

1929
[28]

J. D. H. Rivero and L. Ge, Phys. Rev. B103, 014111 (2021)

2021
[29]

Kawabata, S

K. Kawabata, S. Higashikawa, Z. Gong, Y. Ashida, and M. Ueda, Nat. Commun.10, 1 (2019)

2019
[30]

Okugawa and T

R. Okugawa and T. Yokoyama, Phys. Rev. B99, 041202 (2019)

2019
[31]

Hou, Phys

Y.-J.Wu and J. Hou, Phys. Rev. A99, 062107 (2019)

2019
[32]

J. D. H. Rivero and L. Ge, Phys. Rev. Lett.125, 083902 (2020)

2020
[33]

Ge, Phys

L. Ge, Phys. Rev. A95, 023812 (2017)

2017
[34]

B. Qi, L. Zhang and L. Ge, Phy. Rev. Lett.120, 093901 (2018)

2018
[35]

Ge, Photon

L. Ge, Photon. Res.6, A10–A17 (2018)

2018
[36]

W. P. Su, J. R. Schrieffer, and A. J. Heeger, Phys. Rev. Lett.42, 1698 (1979)

1979
[37]

C. Poli, M. Bellec, U. Kuhl, F. Mortessagne, and H. Schomerus, Nat. Commun.6, 6710 (2015)

2015
[38]

Ge, Phys

L. Ge, Phys. Rev. A 109, 023513 (2024)

2024
[39]

E. H. Lieb, Phys. Rev. Lett.62, 1201 (1989)

1989
[40]

Ge, Phys

L. Ge, Phys. Rev. A92, 052103 (2015)

2015
[41]

L. Ge, K. G. Makris, and L. Zhang, Phys. Rev. A96, 023820 (2017). 7

2017
[42]

L. Ge, Z. Gao, and L. Feng, Phys. Rev. B108, 104111 (2023)

2023
[43]

R¨ udiger Paschotta, https://doi.org/10.61835/6ku, re- trived Apr. 6 2026

work page doi:10.61835/6ku 2026