REVIEW
A Zoo of Fermionic Relative R\'enyi Negativities in the Sachdev-Ye-Kitaev Models
Strongly Correlated Electrons · Submitted 29 Oct 2026 · 103 references
Pith's verdict: A solid new family of fermionic entanglement witnesses with a clean algebraic core; the risk is concentrated in the unproved cross-copy Green's function (Eq. 23) that all numerics rest on.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
A family of relative Rényi negativities certifies fermionic mixed-state entanglement and, in the SYK models, reveals first-order transitions that ordinary observables miss.
The reading
What carries the argument
The carrying object is the subsystem size superoperator $S_A$, which acts on a Majorana string operator by returning the number $|a|$ of fermion operators the string contains inside $A$. The load-bearing identity is the closed form $S_A[O]=\sum_{j\in A}(O/2-\chi_j O\chi_j)$: it expresses the size as a sum of single-mode operations, so that exponentiating it produces the partial-time-reversal map $\mathcal{T}_A=e^{i\pi S_A/2}$ as a Gaussian (purely quadratic) superoperator. Once the transformation is Gaussian, the free-fermion two-point function on the replicated contour is fixed by the sign pattern alone — $G^{f,0}_A(\tau,\tau')=\tfrac12\,{\rm sgn}(\tau-\tau')$ within one copy and $G^{f,0}_A(\tau,\tau')=-\tfrac12 f_a f_b\,{\rm sgn}(a-b)$ between different copies — and this modified Green's function is the only new input to the SYK bilocal action. Everything downstream, including the competing saddle-point solutions that drive the first-order transitions, runs on this single object.
Extended reading notes
Core claim
Stated in the paper's own terms, the discovery is that the non-Hermiticity of the fermionic partial transpose can be converted into an entanglement witness. For any sign sequence $f=(f_1,\dots,f_{2n})$ with $X_+=\rho^{T_A}$ and $X_-=(\rho^{T_A})^\dagger$, the paper defines $$P_f^A=-\ln\left(\frac{|\,{\rm tr}[X_{f_1}\cdots X_{f_{2n}}]\,|}{{\rm tr}[((\$rho^{{T_A}}$)^\dagger\$rho^{{T_A}}$)^n]}\right).$$ The generalized Hölder inequality makes $P_f^A\ge 0$; because partial time reversal leaves a separable state Hermitian, all orderings give identical moments on separable states, so $P_f^A>0$ certifies entanglement; and the alternating ordering $f_t$ yields $P_{f_t}^A=0$ exactly, so it serves as the reference. The constructive step is the identification $\mathcal{T}_A=e^{i\pi S_A/2}$ of partial time reversal with a Gaussian superoperator built from the size superoperator $S_A$, which reduces the moments to path integrals on a contour of length $2n\beta$ whose only new ingredient is a free Green's function for the subsystem specified by $f$. Solving the resulting bilocal saddle-point equations in the large-$N$ limit gives the negativities for the SYK model and the coupled two-sided SYK model; the uniform-sequence member acquires coexisting saddles whose exchange of dominance produces first-order transitions, while the minimal-deviation members decrease monotonically with temperature and are proposed as proxies for logarithmic negativity.
Load-bearing premise
The load-bearing premise is Eq. (16), the printed identity $S_A[O]=\sum_{j\in A}(O/2-\chi_j O\chi_j)$ that makes partial time reversal a Gaussian operation and thereby fixes the free Green's function (23) underlying every numerical result; direct multiplication on an even-parity Majorana string yields a different factor than the one the paper's phase convention requires, so unless a compensating definition of the superoperator product is intended, the computed objects are not the $P_f^A$ of Section 2.
Editorial extensions
If this is right
- Any positive value of any member $P_f^A$ certifies mixed-state entanglement in a fermionic system, giving witnesses that the untwisted and twisted Rényi negativity ratios cannot supply because those can be positive on separable states.
- Because the path-integral representation works at fixed integer replica number $2n$ with no analytic continuation, the negativities are computable by the same large-$N$ and Monte Carlo techniques already used for Rényi entropies, not only by exact diagonalization of small systems.
- In the single SYK model the minimal-deviation members $P^{(+,+)}$ and $P^{(+,+,+,-)}$ decrease monotonically with increasing temperature and vanish at infinite temperature, consistent with thermal mixing suppressing entanglement, and this holds across interaction orders $q=2,4,6,8$; the paper proposes them as plausible proxies for logarithmic negativity.
- The uniform-sequence member $P^{(+,+,+,+)}$ shows first-order transitions in temperature and subsystem fraction driven by exchange of dominance between saddle-point solutions, transitions that are invisible to simple observables and in which the negativity plays the role of a free energy.
- In the coupled two-sided SYK model, both $P^{(+,+)}$ and $P^{(+,+,+,-)}$ exhibit two successive first-order transitions as temperature is lowered, one inherited from the model's known thermal transition and one intrinsic to the negativity.
Reading between the lines
- Because the free Green's function between copies depends only on the pairwise products $f_a f_b$, the zoo of negativities likely organizes by equivalence classes of sign-flip patterns rather than by the full sequence; members in the same class should share the same saddle-point structure and transitions, a classification the paper does not spell out.
- A direct test the paper does not perform: evaluate $P_f^A$ by exact diagonalization at small $N$ in the free-fermion ($q=2$) SYK limit, where every ingredient of the definition is exactly computable, and compare with the large-$N$ curves; agreement would independently confirm the path-integral identification before any interacting physics is invoked.
- Because the size superoperator is the same object that controls operator growth and scrambling, the first-order transitions seen in $P^{(+,+,+,+)}$ might reappear in the operator-size distribution or out-of-time-order correlators; the authors mention the scramblon effective theory as a future connection, and looking for the same saddle exchange there is a natural next step.
- The construction is applied only to thermal ensembles; defining the same relative negativities for quench or dissipative dynamics, which the authors list as future work, would test whether the entanglement transitions survive outside equilibrium and whether the witnesses stay practical there.
Original abstract
Quantum entanglement is a fundamental resource that gives rise to correlations with no classical counterpart in strongly correlated fermionic systems. However, its characterization in mixed quantum states remains challenging. Established entanglement diagnostics, such as logarithmic negativity, are computationally demanding in interacting systems, and their evaluation by exact diagonalization is restricted to small system sizes. Meanwhile, conventional R\'enyi proxies, including twisted and untwisted R\'enyi negativities, can be positive even for separable states. In this work, we introduce a family of \textit{relative R\'enyi negativities} that serve as entanglement witnesses. By relating fermionic partial time reversal to the size superoperator, we establish a path-integral representation for these R\'enyi negativities, enabling their evaluation in thermal states of the Sachdev-Ye-Kitaev (SYK) model and its generalizations via a large-$N$ expansion. Applying this method, we investigate entanglement in both the original SYK model and the Maldacena-Qi coupled SYK model. We identify a special class of relative R\'enyi negativities which serve as plausible proxies for logarithmic negativity and uncover first-order entanglement transitions that are invisible to simple observables. These results highlight the utility of relative R\'enyi negativities as probes of mixed-state entanglement in strongly correlated fermionic systems and suggest the existence of a new class of transitions where these negativities serve as free energies.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
Quantum entanglement is a fundamental resource that gives rise to correlations with no classical counterpart in strongly correlated fermionic systems. However, its characterization in mixed quantum states remains challenging. Established entanglement diagnostics, such as logarithmic negativity, are computationally demanding in interacting systems, and their evaluation by exact diagonalization is restricted to small system sizes. Meanwhile, conventional R\'enyi proxies, including twisted and untwisted R\'enyi negativities, can be positive even for separable states. In this work, we introduce a family of \textit{relative R\'enyi negativities} that serve as entanglement witnesses. By relating fermionic partial time reversal to the size superoperator, we establish a path-integral representation for these R\'enyi negativities, enabling their evaluation in thermal states of the Sachdev-Ye-Kitaev (SYK) model and its generalizations via a large-$N$ expansion. Applying this method, we investigate entanglement in both the original SYK model and the Maldacena-Qi coupled SYK model. We identify a special class of relative R\'enyi negativities which serve as plausible proxies for logarithmic negativity and uncover first-order entanglement transitions that are invisible to simple observables. These results highlight the utility of relative R\'enyi negativities as probes of mixed-state entanglement in strongly correlated fermionic systems and suggest the existence of a new class of transitions where these negativities serve as free energies.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | Quantum entanglement is a fundamental resource that gives rise to correlations with no classical counterpart in strongly correlated fermionic systems. | background 1.00 | 0.04 | 0.02 | asserted 1.00 |
| s1 | However, its characterization in mixed quantum states remains challenging. | gap 0.71 | 0.03 | 0.01 | asserted 0.99 |
| s2 | Established entanglement diagnostics, such as logarithmic negativity, are computationally demanding in interacting systems, and their evaluation by exact diagonalization is restricted to small system sizes. | background 0.76 | 0.05 | 0.02 | asserted 1.00 |
| s3 | Meanwhile, conventional R\'enyi proxies, including twisted and untwisted R\'enyi negativities, can be positive even for separable states. | background 0.83 | 0.05 | 0.02 | asserted 0.91 |
| s4 | In this work, we introduce a family of \textit{relative R\'enyi negativities} that serve as entanglement witnesses. | contribution 1.00 | 0.96 | 0.17 | asserted 1.00 |
| s5 | By relating fermionic partial time reversal to the size superoperator, we establish a path-integral representation for these R\'enyi negativities, enabling their evaluation in thermal states of the Sachdev-Ye-Kitaev (SYK) model and its generalizations via a large-$N$ expansion. | method 0.99 | 0.95 | 0.09 | asserted 1.00 |
| s6 | Applying this method, we investigate entanglement in both the original SYK model and the Maldacena-Qi coupled SYK model. | contribution 0.69 | 0.94 | 0.05 | asserted 0.98 |
| s7 | We identify a special class of relative R\'enyi negativities which serve as plausible proxies for logarithmic negativity and uncover first-order entanglement transitions that are invisible to simple observables. | result 1.00 | 0.96 | 0.35 | asserted 0.64 |
| s8 | These results highlight the utility of relative R\'enyi negativities as probes of mixed-state entanglement in strongly correlated fermionic systems and suggest the existence of a new class of transitions where these negativities serve as free energies. | interpretation 1.00 | 0.79 | 0.76 | hedged possibility 0.94 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
Figures
Figures reproduced from arXiv:2610.39349 by the authors.
References
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.