{"id":"c433d9a7-c428-462d-880d-199624de6178","arxiv_id":"2507.09567","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"Explicit exceptional-point parameters are computed for PT-symmetric imaginary potentials in discrete Schrodinger models with up to six grid points, with a unitarity-preserving corridor leading to each extreme.","lead":"This paper studies small discrete quantum models whose potential is purely imaginary and PT-symmetric, and finds the extreme parameter values where all energy levels collapse into a single exceptional point while the spectrum is still real just before that. These extreme points are computed for grids of size two through six, and the work shows how quickly the algebraic search becomes harder as the grid grows.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"N=6 exceptional-point claim rests on an unverified Jordan-block condition: the solved coefficient equations only force nilpotence, no Q(6) is exhibited, and the selected B root is chosen by an explicit monotonicity assumption rather than by proof.","rationale":"The strongest claim as read includes the N=6 row of Table 1, and the paper's independent support is genuine for N=2..5: explicit transition matrices for N=3 and N=4, a claimed verification for N=5, exact secular equations, and detailed inequalities for the N=4 physical domain. The load-bearing weakness is concentrated at N=6. The three polynomial equations in Section 6 are necessary for the secular polynomial to be E^6, but they are not sufficient for maximal EPN in the paper's own Eq. (9) sense. Without a Q(6) or a rank/minimal-polynomial check, the numerical triple might describe a nilpotent matrix with several Jordan blocks, which would be an exceptional point of lower order rather than EPN6. The root selection is explicitly by an ad hoc monotonicity hypothesis tied to the ICO benchmark, not by a mathematical consequence. The paper itself flags this in Section 6 and disclaims N-to-infinity extrapolation in Section 7, so the gap is internally acknowledged, but Table 1 still presents N=6 as a result and Section 6 suggests straightforward extension to N>6. The practical fix is to either provide Q(6) or a rank check plus a corridor proof, or explicitly re-scope the central claim to N<=5. Since this is exactly the reader's weakest assumption, the conditional verdict stands unchanged.","tokens_in":13692,"tokens_out":8066,"duration_ms":97217,"concrete_test":"Construct the 6 by 6 matrix H=Delta(6)+V(6) with A=2.046061191, B=0.8635733388, C=0.2605285271 from Eqs. (6)-(8) and compute its Jordan canonical form at high precision, e.g., via sympy's jordan_form or Mathematica's JordanDecomposition with high-precision numerical roots. Accept the N=6 claim only if the Jordan form is the single block J(6), equivalently rank(H^k)=6-k for k=1,...,5, in particular rank(H^5)=1. Also compute the Jordan form for the rejected root B=0.4333101655 with the corresponding A,C; if the rejected root also gives J(6), the monotonicity-based selection is not a valid uniqueness argument and the Table 1 preference needs revision.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 6 reduces the search for EPN6 to three polynomial equations which, by their form, set the secular polynomial to E^6. That condition makes H nilpotent, but it does not make H similar to the single 6 by 6 Jordan block J(6); a nilpotent matrix with characteristic polynomial E^6 can split into two 3 by 3 blocks, three 2 by 2 blocks, etc. The paper's own definition of EPN, Eq. (9), requires a transition matrix Q(6) with Q(6)J(6)=H(EP6)Q(6), and no such matrix is displayed or verified for N=6. The only support offered is the numerical triple A=2.046061191, B=0.8635733388, C=0.2605285271 obtained by routine backward insertions, plus a selection of B between two positive roots of P(6)(B) by an ad hoc monotonicity hypothesis. The monotonicity choice is explicitly acknowledged as not derived. Consequently, the N=6 column of Table 1 and the suggested extension to N>6 are unsupported; if the true Jordan form at those parameters is not a single block, the maximal EPN6 claim fails, even though the N=2..5 constructions with explicit transition matrices would remain valid. This is an internal unverified step rather than a disagreement with an external consensus, and the paper partly self-declares the gap in Section 6 and Section 7.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies finite-difference PT-symmetric Schr\"odinger Hamiltonians H(N)=Delta(N)+V(N) on N grid points with purely imaginary local potentials (Eqs. 6-8). It locates the boundary of the domain D where the spectrum is real and non-degenerate, and identifies EPN points where the secular polynomial degenerates to E^N. The paper constructs explicit transition matrices Q(N) for N=2,3,4, gives numerical parameters for N=5 and N=6, and proposes that these EPN points are accessible through corridors of unitarity-preserving parameters. The central mathematical result claimed is the existence of maximal-order EPN degeneracies for local imaginary potentials, with N=6 and beyond supported by computer-assisted algebra.","tokens_in":14054,"tokens_out":9410,"duration_ms":89013,"significance":"If fully established, the construction provides a finite-dimensional discrete analogue of the imaginary-cubic-oscillator exceptional-point degeneracies, with explicit transition matrices and metrics for N=2 and N=3 and a numerically verified Q(4) for N=4. The method of deriving critical parameters as roots of polynomial systems obtained from the secular equation avoids circularity, and the paper is commendably explicit about the gap at N=6. The small-N exact results are a useful contribution to the PT-symmetry literature. However, the central claim as advertised in the abstract (maximal EPN for all N with unitary-access corridors) extends beyond what is rigorously established, so the paper's significance is conditional on completing or honestly truncating the N>=6 claims.","major_comments":[{"comment":"The three polynomial equations in Section 6 are derived from requiring the secular polynomial to reduce to E^6, i.e., from nilpotence of H(EP6). Nilpotence does not by itself imply similarity to the single Jordan block J(6); the Jordan normal form could split into two 3x3 blocks or three 2x2 blocks. Since Eq. (9) defines the EPN property via the existence of Q(N) with Q(N)J(N)=H(EPN)Q(N), the absence of any displayed or verified Q(6) means that the N=6 row of Table 1 is not established. The text reports the parameters A=2.046061191, B=0.8635733388, C=0.2605285271 as obtained by \"routine backward insertions,\" but no check of the minimal polynomial or Jordan form is given. Consequently, the N=6 column and the statement in Section 6 that extensions to N>6 \"may be expected straightforward\" are unsupported; this is a load-bearing gap in the paper's central claim of constructing EPN for all N.","section":"Section 6 (coupled polynomial system)"},{"comment":"The selection of B(EP6)=0.8635733388 over the alternative root B(EP6)=0.4333101655 of P(6)(B) is justified solely by an \"ad hoc monotonicity hypothesis\" that the N-dependence of the critical parameters should be monotone, mirroring the continuous imaginary-cubic-oscillator benchmark. The paper explicitly calls this \"our ad hoc monotonicity hypothesis\" and admits it is not derived. This means that the numerical triple listed in Table 1 for N=6 is not proven to be the EPN6 parameter set: if the true Jordan-form condition selects the other root, or if neither root yields a single Jordan block, the N=6 column is wrong. The manuscript should either prove uniqueness of the EPN6 root under the Jordan-form condition or label this part explicitly as conjectural.","section":"Section 6 (choice of B(EP6))"},{"comment":"The proof of Lemma 4 is incomplete. The parametrization (28) and constraint (29) are introduced, but the argument that the root of P(A,beta,gamma)=0 moves slightly to the left for small beta and gamma is only a qualitative perturbation statement; no implicit-function theorem, explicit bound, or path is supplied to show that the adjusted A and B remain real and satisfy inequalities (27). As written, the \"proof\" reads as a numerical observation. Moreover, for N=5 and N=6 no corridor of unitary access is constructed at all, although the abstract and the concluding section claim unitary-evolution accessibility to the EPN boundary. Please provide a rigorous existence proof for the corridor at least for N=4, or restrict the claim to what is actually shown.","section":"Section 5.2, Lemma 4"}],"minor_comments":[{"comment":"Typesetting artifacts such as \"secton\" (Section 1), \"greaterorapproxeql\" (e.g., Sections 3.2, 4.2, 5.2), and \"the the\" should be corrected by careful proofreading.","section":"Throughout"},{"comment":"The row labels \"A(EP 6)\", \"B(EP 6)\", \"C (EP 6)\" should be \"A(EP_N)\", \"B(EP_N)\", \"C(EP_N)\". More importantly, the N=5 entry for B is 0.608 in Table 1 but Section 5.3 gives B(EP5)=0.6683178062; these numbers should be reconciled.","section":"Table 1"},{"comment":"The expression for E±,± has ambiguous nesting of square roots; brackets should be added to show the order of operations.","section":"Section 5.1"},{"comment":"The phrase \"the results ceased to be unique\" should be expanded: it would be helpful to state whether the two positive roots of P(6)(B) correspond to two candidate EPN6 points, and if not, why one is discarded.","section":"Section 6"},{"comment":"The phrase \"computer-assisted proof of existence\" overstates what is actually provided for N>=6; the body of the paper restricts the N=6 result to numerical localization and an ad hoc root choice.","section":"Abstract"}],"recommendation":"major_revision","confidential_remarks":"I recommend major revision. The N=2-5 results are valuable and appear sound, but the N=6 claim and the universal corridor claim need to be either rigorously completed or carefully downgraded. The editor may also want to ask the author to resolve the Table 1 inconsistency before the paper enters production. The paper's honesty about the ad hoc nature of the N=6 root selection is commendable but does not remove the need to fix the gap."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThis paper gives explicit constructions of maximal-order exceptional points (EPN) for a family of discrete PT-symmetric Schrödinger operators with purely imaginary local potentials. The genuinely new material is in Sections 5 and 6: for N=4 and N=5 the author displays parameter values and transition matrices/conjugacy checks showing the Hamiltonian is similar to a single Jordan block, and he gives a workable description of the \"unitarity corridors\" near the EP boundary for N=4. The N=3 metric construction in Section 4 is also new relative to the cited literature and is exact. Those parts deserve credit: the algebra is explicit, the elimination polynomials for B(EP4) and B(EP5) are stated, and the N=5 relation Q(5)J(5)=H(EP5)Q(5) is verified.\n\nThe soft spot is real and concentrated in Section 6. The stress-test note is correct: the three polynomial equations for N=6 force the characteristic polynomial to be E^6, which gives nilpotence, not similarity to the single 6x6 Jordan block. The paper never exhibits Q(6), never checks the Jordan form, and selects B(EP6) between two positive roots of the degree-23 polynomial using an explicitly ad hoc monotonicity hypothesis. The author himself says the monotonicity requirement is \"ad hoc\" and introduced \"for the sake of brevity.\" So Table 1's N=6 column and the claim that extensions to N>6 are straightforward are unsupported as stated. The N=2..5 results would stand even if the N=6 claim failed.\n\nOne more caution: the paper leans on self-citations heavily, but they are mostly background and not circular; the central EPN parameters come from solving explicit polynomial systems, not from fitting. The reader's \"circularity burden\" of 1 is about right. I would not treat the N=6 gap as fatal to the whole paper, but it is a load-bearing unsupported step for the \"N≥6\" part.\n\nVerdict: read it for the N=4 and N=5 explicit constructions and the corridor discussion. A serious referee should be engaged; the paper deserves external review, with the clear instruction that Section 6 needs either a genuine Jordan-form verification or a downgrade to a conjecture. I would not cite the N=6 numbers until that is fixed.","headline":"Solid N=2..5 explicit EPN constructions with a real gap at N=6, where nilpotence is not shown to imply a single Jordan block.","tokens_in":14515,"tokens_out":1709,"would_cite":true,"duration_ms":19227,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81Q12","15A21","39A70"],"pacs":[],"model":"deepseek-v4-flash","headline":"For discrete PT-symmetric Schrödinger equations with imaginary potentials, the spectrum can stay real up to a maximal exceptional point where all levels merge at zero and the Hamiltonian becomes a single Jordan block.","keywords":["PT-symmetry","exceptional points","non-Hermitian Hamiltonians","imaginary potentials","discrete Schrödinger equation","Jordan block","quasi-Hermitian metric","spectral degeneracy"],"falsifier":"Form the $6\\times6$ matrix $H^{(6)}$ at $A=2.046061191$, $B=0.8635733388$, $C=0.2605285271$ and compute its characteristic polynomial. If the polynomial is not identically $E^6$, or if the kernel of $H^{(6)}$ has dimension different from one, the claimed $\\mathrm{EP}_6$ degeneracy fails.","tokens_in":13495,"feed_emoji":"⚛️","tokens_out":11346,"duration_ms":122428,"temperature":0.7,"pith_summary":"This paper studies a family of discrete Schrödinger equations on a finite grid whose local potentials are purely imaginary and PT-symmetric. The author aims to establish that, inside the domain of parameters where the spectrum is real, one can drive the potential to a maximal non-Hermitian limit: a point where all $N$ energy levels merge at $E=0$ and the Hamiltonian is similar to a single $N\\times N$ Jordan block. Such a maximal exceptional point is approached through a narrow unitarity-preserving corridor in parameter space, and the paper evaluates the critical parameters for $N=2,\\dots,6$. This matters because the finite-$N$ construction offers a controlled, bounded-operator model of the intrinsic exceptional point that is suspected to underlie the continuous imaginary cubic oscillator.","feed_headline":"Imaginary PT-symmetric potentials reach a full N-level collapse","feed_subtitle":"Model shows real spectra can survive up to an exceptional point where the Hamiltonian becomes one Jordan block.","key_machinery":"The central object is the exceptional point of maximal order, $\\mathrm{EP}_N$: a parameter choice at which the characteristic polynomial of $H^{(N)}$ becomes $E^N$ and the matrix is similar to one Jordan block $J^{(N)}$, hence non-diagonalizable with a single eigenvector. The argument proceeds by writing the secular equation of the tridiagonal Hamiltonian (6)-(8) and forcing every coefficient except the leading one to vanish; this yields coupled polynomial constraints in the potential parameters $A,B,\\dots$. For $N\\le5$ the resulting transition matrices $Q^{(N)}$ are exhibited or verified, giving $J^{(N)}=[Q^{(N)}]^{-1}H^{(\\mathrm{EP}_N)}Q^{(N)}$; for $N=6$ the constraint system is reduced by polynomial-elimination to a single degree-23 polynomial in $B$, with the root selected by a monotonicity hypothesis. The complementary ingredient is the metric construction for unitarity corridors: near an exceptional point, a positive metric $\\Theta=\\Omega^\\dagger\\Omega$ is built from eigenvectors of $H^\\dagger$, showing that the approach to $\\mathrm{EP}_N$ can be made while the system remains unitary, with the metric becoming singular only at the boundary.","core_discovery":"The central claim is that the Hamiltonian $H^{(N)}=\\Delta^{(N)}+V^{(N)}(A,B,\\dots)$ with purely imaginary diagonal potential $V^{(N)}$ has exceptional points of maximal order on the boundary of the domain $\\mathcal{D}$ of unbroken PT symmetry. At such an $\\mathrm{EP}_N$, the characteristic polynomial degenerates to $E^N$, the spectrum collapses to a single value $E=0$, and $H^{(N)}$ is similar, via a transition matrix $Q^{(N)}$, to the $N\\times N$ Jordan block $J^{(N)}$. The paper constructs these singular parameter values explicitly for $N=2,3,4,5$, giving $A^{(\\mathrm{EP}_4)}=1.683771565$, $B^{(\\mathrm{EP}_4)}=0.4060952085$ and $A^{(\\mathrm{EP}_5)}=1.885033504$, $B^{(\\mathrm{EP}_5)}=0.6683178062$, and reports computer-assisted values for $N=6$: $A^{(\\mathrm{EP}_6)}=2.046061191$, $B^{(\\mathrm{EP}_6)}=0.8635733388$, $C^{(\\mathrm{EP}_6)}=0.2605285271$. It further argues that these extremes are connected to ordinary Hermitian regimes by unitarity-preserving corridors, so that the transition to maximal non-Hermiticity is a genuine, continuously reachable quantum phase transition. The mathematical mechanism is the secular equation: imposing that all non-leading coefficients vanish turns the $\\mathrm{EP}_N$ search into a polynomial system whose complexity grows quickly with $N$.","pith_inferences":["Going beyond the paper, one could construct the missing similarity matrix $Q^{(6)}$ for the reported parameters; if no such matrix exists, the $N=6$ entry of the table would not describe a true exceptional point.","The discarded smaller root $B=0.4333101655$ at $N=6$ could itself be tested for a Jordan-block degeneracy; if it also passes, monotonicity is not a necessary selection criterion and multiple $\\mathrm{EP}_6$ families exist.","A quantitative probe of how the physical metric $\\Theta$ degenerates along a unitarity corridor, such as its condition number or smallest eigenvalue, would give an operational measure of approach to maximal non-Hermiticity at every $N$."],"forward_implications":["For $N=2$ through $5$ the paper exhibits or verifies the transition matrices $Q^{(N)}$, so the Jordan-block form is checked directly rather than only inferred from numerical spectra.","The unitarity corridors mean a Hermitian system can be deformed continuously, keeping the spectrum real and non-degenerate, to within any chosen distance of the maximal exceptional point.","The critical parameters rise monotonically through $N=2,\\dots,6$, supporting the paper's hypothesis of a single family of discrete imaginary potentials whose non-Hermiticity is maximal at each grid size.","The localization of the $\\mathrm{EP}_N$ parameters quickly becomes a problem in computer algebra, with a degree-23 polynomial already needed at $N=6$, so exact results at larger $N$ will require new methods.","The author proposes these finite-$N$ extremes as discrete analogues of the intrinsic exceptional point of the continuous imaginary cubic oscillator, providing a bounded-operator setting in which the non-Rieszian behaviour can be studied."],"supporting_citations":[{"why":"Introduces PT-symmetric Hamiltonians with real spectra, the framework the paper builds on.","marker":"[1]"},{"why":"Identifies the intrinsic exceptional point of the imaginary cubic oscillator and proves the absence of a metric there, the phenomenon the finite-$N$ construction aims to simulate.","marker":"[4]"},{"why":"Establishes the quasi-Hermitian metric interpretation that lets non-Hermitian Hamiltonians with real spectra describe unitary systems.","marker":"[7]"},{"why":"Defines exceptional points as non-diagonalizable spectral degeneracies, the object the paper localizes.","marker":"[12]"},{"why":"Supplies the $\\Theta=\\Omega^\\dagger\\Omega$ factorization method used to build an explicit positive metric near $\\mathrm{EP}_3$.","marker":"[16]"},{"why":"Gives the general construction of unitarity corridors to exceptional points that the $N=4$ argument uses to prove access.","marker":"[20]"}],"fun_headline_variants":["Maximal exceptional points in PT-symmetric lattices","Imaginary potentials with real spectra: maximal EP reached","All eigenvalues to zero: maximally non-Hermitian potentials","Unbroken PT symmetry permits fully degenerate spectra","From Hermitian to Jordan block: PT-symmetric extremes"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"At $N=6$ the paper chooses the larger of two candidate values for $B$ only because it keeps the parameter sequence looking smooth, and it never displays the change-of-basis matrix that would prove the six energy levels actually merge into a single degenerate Jordan block; if that choice is wrong, the $N=6$ column of the results and the claimed extension to larger $N$ collapse.","fun_headline_variants_meta":{"raw":{"variants":["Maximal exceptional points in PT-symmetric lattices","Imaginary potentials with real spectra: maximal EP reached","All eigenvalues to zero: maximally non-Hermitian potentials","Unbroken PT symmetry permits fully degenerate spectra","From Hermitian to Jordan block: PT-symmetric extremes"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000658,"raw_usage":{"total_tokens":3033,"prompt_tokens":987,"completion_tokens":2046,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":603,"completion_tokens_details":{"reasoning_tokens":1968}},"tokens_in":603,"tokens_out":2046,"duration_ms":17995,"temperature":1.0,"reasoning_tokens":1968,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T17:53:01.062090+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Form the $6\\times6$ matrix $H^{(6)}$ at $A=2.046061191$, $B=0.8635733388$, $C=0.2605285271$ and compute its characteristic polynomial. If the polynomial is not identically $E^6$, or if the kernel of $H^{(6)}$ has dimension different from one, the claimed $\\mathrm{EP}_6$ degeneracy fails.","supporting_citations":[{"cited_title":"Real Spectra in Non-Hermitian Hamiltonians having PT Symmetry,","cited_arxiv_id":null,"evidence_quote":"Introduces PT-symmetric Hamiltonians with real spectra, the framework the paper builds on."},{"cited_title":"On the metric operator for the imaginary cubic oscillator,","cited_arxiv_id":null,"evidence_quote":"Identifies the intrinsic exceptional point of the imaginary cubic oscillator and proves the absence of a metric there, the phenomenon the finite-$N$ construction aims to simulate."},{"cited_title":"Quasi-Hermitian Operators in Quantum Mechanics and the Variational Principle,","cited_arxiv_id":null,"evidence_quote":"Establishes the quasi-Hermitian metric interpretation that lets non-Hermitian Hamiltonians with real spectra describe unitary systems."},{"cited_title":"Kato, Perturbation Theory for Linear Operators (Spinger, Berlin, 1966)","cited_arxiv_id":null,"evidence_quote":"Defines exceptional points as non-diagonalizable spectral degeneracies, the object the paper localizes."},{"cited_title":"Non-Hermitian-Hamiltonian-induced unitarity and opt ional physical inner products in Hilbert space,","cited_arxiv_id":null,"evidence_quote":"Supplies the $\\Theta=\\Omega^\\dagger\\Omega$ factorization method used to build an explicit positive metric near $\\mathrm{EP}_3$."},{"cited_title":"Unitarity corridors to exceptional points,","cited_arxiv_id":null,"evidence_quote":"Gives the general construction of unitarity corridors to exceptional points that the $N=4$ argument uses to prove access."}],"review_version":1}