pith. sign in

arxiv: 2605.03605 · v1 · submitted 2026-05-05 · 🪐 quant-ph

Construction of a Non-Linear Entanglement Witness Operator in Arbitrary Dimension Using a Given Linear Witness Operator

Sonia , Satyabrata Adhikari This is my paper

Pith reviewed 2026-05-07 17:04 UTC · model grok-4.3

classification 🪐 quant-ph
keywords entanglement witnessesnonlinear witnesseslinear witnessesbipartite entanglementNPTESPPTESentanglement detection
0
0 comments X

The pith

Any linear entanglement witness can be converted into a nonlinear one that detects entangled states the original misses.

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

The paper develops explicit constructions that take any linear entanglement witness for a bipartite system of arbitrary dimensions and produce nonlinear versions from it. A sympathetic reader would care because linear witnesses, though easy to measure, frequently fail to flag every entangled state in a given family, and these mappings aim to create operators that stay valid while catching the missed states. The constructions also reach some positive partial transpose entangled states and yield operators that factor into local observables, preserving experimental accessibility.

Core claim

Starting from any linear entanglement witness operator in a d1 ⊗ d2 system, the authors supply mappings that generate nonlinear entanglement witness operators. These new operators return negative expectation values on entangled states ρ_ent that give nonnegative results under the original linear witness. The constructions cover both negative partial transpose entangled states and certain positive partial transpose entangled states, and the resulting operators decompose as tensor products of local observables.

What carries the argument

The explicit mapping from a given linear witness operator to a nonlinear witness that remains nonnegative on separable states while becoming negative on additional entangled states.

If this is right

  • A linear witness that misses a particular entangled state can be upgraded so that the corresponding nonlinear version detects it.
  • The method works for any finite dimensions d1 and d2.
  • Detection extends to both negative partial transpose entangled states and some positive partial transpose entangled states.
  • The nonlinear witnesses remain experimentally realizable because they decompose into tensor products of local observables.

Where Pith is reading between the lines

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

  • The constructions offer a systematic way to enlarge the detection range of any existing linear witness without starting over.
  • Because the new operators keep local measurability, they could be dropped into existing experimental protocols with minimal adjustment.
  • Similar upgrade procedures might be explored for other quantum detection tasks such as multipartite entanglement or steering.

Load-bearing premise

The nonlinear operator built from the linear witness stays nonnegative on every separable state and becomes negative on at least some entangled states that the linear witness leaves undetected.

What would settle it

An explicit separable state for which the expectation value of one constructed nonlinear witness is negative, or a concrete calculation showing that the nonlinear witness fails to be negative on the states the linear witness misses in the way the mapping claims.

read the original abstract

Entanglement detection is one of the important problems in quantum information theory. To deal with this problem, many entanglement detection criteria have been proposed. Among the proposed criteria, the detection of entanglement through witness operator (also known as linear entanglement witness (LEW) operator) may be considered as the most practical. Although the witness operator approach to detect entanglement is experimentally friendly, the construction of these operators is not a very simple task. Even if we are able to construct a LEW operator, our problem is not solved as it may either detect a few entangled states or not a single entangled state from a given family of entangled states. Thus, we need a constructive approach in order to tackle this type of problem. In this work, we provide a few constructions of the non-linear entanglement witnesses (NLEW) for $d_1\otimes d_2$ dimensional system from any linear entanglement witness (LEW) operator. The advantage of these constructions is that, if a LEW is unable to detect any particular entangled state described by the density operator $\rho^{ent}$ then our construction of NLEW may detect the same entangled state $\rho^{ent}$. Further, we have constructed NLEW operator that may detect not only a class of bipartite negative partial transpose entangled state (NPTES), but also positive partial transpose entangled state (PPTES). Moreover, we have shown that the constructed NLEW operators may be decomposed in terms of the tensor product of local observables and hence may be realizable in an experiment.

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

2 major / 2 minor

Summary. The manuscript presents constructions of non-linear entanglement witness operators (NLEW) for arbitrary d1 ⊗ d2 bipartite systems, derived from any given linear entanglement witness (LEW). The claimed advantages are that the resulting NLEW can detect entangled states ρ_ent missed by the original LEW (including certain NPTES and PPTES) while remaining non-negative on all separable states, and that the NLEW admit decompositions into tensor products of local observables suitable for experimental realization.

Significance. If the constructions are rigorously valid, the work would provide a systematic, general method to upgrade existing linear witnesses into more powerful non-linear ones without requiring entirely new witness design. This is especially relevant for PPT entangled states, which evade all linear witnesses, and could facilitate both theoretical analysis and experimental detection in higher-dimensional systems. The decomposability into local observables is a practical strength.

major comments (2)
  1. The central load-bearing claim is that each proposed non-linear functional N(ρ) satisfies N(σ) ≥ 0 for every separable state σ, even after the non-linear correction is added to the original LEW. This must be proven explicitly for the functional forms given (e.g., any correction depending on Tr(Wρ) or higher moments); it is not automatic for arbitrary LEW and arbitrary d1 ⊗ d2. A concrete argument showing that the minimum of N over the separable set remains non-negative is required.
  2. The claim that the NLEW detect PPTES (states with positive partial transpose that are nevertheless entangled) requires showing that the non-linear term can become negative for such a state while every linear witness, including the partial-transpose witness, remains non-negative. An explicit example with numerical verification for a known PPTES family would substantiate this.
minor comments (2)
  1. Notation for entangled states (ρ^ent, ρ_ent, etc.) should be standardized throughout the text and equations.
  2. Add a brief comparison table or paragraph contrasting the new NLEW constructions with existing non-linear witness literature to clarify the incremental contribution.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback on our manuscript. We address each major comment below with clarifications and indicate the revisions we will make.

read point-by-point responses

  1. Referee: The central load-bearing claim is that each proposed non-linear functional N(ρ) satisfies N(σ) ≥ 0 for every separable state σ, even after the non-linear correction is added to the original LEW. This must be proven explicitly for the functional forms given (e.g., any correction depending on Tr(Wρ) or higher moments); it is not automatic for arbitrary LEW and arbitrary d1 ⊗ d2. A concrete argument showing that the minimum of N over the separable set remains non-negative is required.

    Authors: We agree that an explicit proof is necessary to rigorously establish the claim. Our constructions define the non-linear correction terms using expressions (such as quadratic forms in Tr(Wρ) or related moments) that are non-negative whenever Tr(Wσ) ≥ 0, which holds for all separable σ by the definition of the original LEW. Because the set of separable states is convex, the minimum of the resulting N over this set remains non-negative. To address the referee's request directly, we will add a dedicated proof subsection in the revised manuscript that explicitly bounds the non-linear term for arbitrary d1 ⊗ d2 and shows that N(σ) cannot fall below zero on the separable set. revision: yes

  2. Referee: The claim that the NLEW detect PPTES (states with positive partial transpose that are nevertheless entangled) requires showing that the non-linear term can become negative for such a state while every linear witness, including the partial-transpose witness, remains non-negative. An explicit example with numerical verification for a known PPTES family would substantiate this.

    Authors: We concur that a concrete numerical example would strengthen the presentation. The general construction in the manuscript is designed so that the non-linear correction can be made negative on certain PPTES while the linear part (including the partial-transpose witness) stays non-negative. In the revision we will insert an explicit example using a standard PPT entangled state from the Horodecki family in 3 ⊗ 3 dimensions, providing the density matrix, the value of the original LEW, the PPT witness, and the computed NLEW (showing it is negative), together with the numerical verification. revision: yes

Circularity Check

0 steps flagged

No circularity: explicit constructions of NLEW from arbitrary LEW are self-contained derivations

full rationale

The paper's core contribution is a set of explicit mappings that take any given linear witness W and produce a non-linear functional N(ρ) claimed to remain non-negative on the separable set while detecting additional states. This is a constructive procedure whose validity rests on direct verification of the non-negativity inequality for the proposed functional form; no step reduces to a fitted parameter, a self-citation chain, or a renaming of an input. The abstract and claimed results contain no self-referential definitions or load-bearing appeals to prior work by the same authors that would force the outcome. The derivation chain is therefore independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms beyond standard quantum mechanics, or invented entities are apparent from the abstract; the work relies on existing concepts of linear witnesses and partial transpose.

pith-pipeline@v0.9.0 · 5581 in / 1163 out tokens · 48005 ms · 2026-05-07T17:04:52.002914+00:00 · methodology

Review history (2 revisions) →

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

69 extracted references · 69 canonical work pages · 1 internal anchor

  1. [1]

    In order to perform these quantum communication tasks, it is necessary to gener- ate entanglement between two or more subsystems

    and many others [15]. In order to perform these quantum communication tasks, it is necessary to gener- ate entanglement between two or more subsystems. But due to the unavoidable presence of noise and imperfec- tions during the process of generation of entanglement, it is quite difficult to identify the presence of an entan- glement in the prepared compos...

    work page

  2. [2]

    is another entanglement detection criterion that has additional power of detecting the positive partial trans- pose entangled states (also known as bound entangled states) but on the other hand Peres-Horodecki criterion is lacking this power of the detection of the bound en- tangled states. Although the Range criterion is powerful but it is very difficult...

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  3. [3]

    The above discussion motivates us to construct an efficient NLEW operator to detectd 1 ⊗d 2 dimensional entangled quantum state

    0 t 2 0 0 1−s 2   (16) wheres∈[0.2926,0.3] andt∈[0.02,0.0213]. The above discussion motivates us to construct an efficient NLEW operator to detectd 1 ⊗d 2 dimensional entangled quantum state. By efficient NLEW operator, we mean to say thatW N L must be constructed using a linear witness operatorW L in such a way thatW N L detect larger set of entangle...

    work page

  4. [4]

    Efficiency ofW (1) N L in2⊗2dimensional system Let us consider a LEW operator expressed in matrix form as [46]: W p L = 1 2   p0 0 0 0 1−p1 0 0 1 1−p0 0 0 0p   ,where 0< p≤1 (36) Example-1. Let us consider the two-qubitisotropic state defined by the density operatorρ α AB as follows [49] ρα AB =   1+α 4 0 0 α 2 0 1−α 4 0 0 0 0 1−α 4 0 α 2 0 0 1+...

    work page

  5. [5]

    Efficiency ofW (1) N L andW (2) N L in3⊗3dimensional system In this section, we study the efficiency of NLEW opera- torW (1) N L andW (2) N L over LEW operator in detecting the NPTES lying in 3⊗3 dimensional system. To do this, let us consider a linear witness as|ϕ +⟩⟨ϕ+|TB where|ϕ +⟩= |00⟩+|11⟩√ 2 represent a state in a subspace of a nine-dimensional vec...

    work page

  6. [6]

    Efficiency ofW (3) N L in2⊗4dimensional system Here, we will show the efficiency of the NLEW operator W (3) N L defined for 2⊗4 dimensional system over the LEW operator defined for the same dimensional system. For this, let us consider a Hermitian LEW operator for 2⊗4 dimensional system asW ϕ+ L =|ϕ +⟩⟨ϕ+|TB[45, 48] where |ϕ+⟩= 1√ 2(|00⟩+|11⟩) represent a...

    work page

  7. [7]

    Construction of LEW Using CCNR Criterion In this section, we have shown that a LEW operator can be constructed using CCNR separability criterion. The construction can be explained by the theorem given below: Theorem 4.If the state under investigation is described by the density operatorρ AB ind⊗ddimensional system then a linear witness operator denoted by...

    work page

  8. [8]

    Thus, it is only remaining to show that there exist an en- tangled state for which the expectation value ofW CCN R N L is negative

    Construction of NLEW Operator Using the LEW OperatorW CCN R L Theorem 5.IfW CCN R L is a linear entanglement wit- ness operator defined in (57) andλ max(W CCN R L )denote the maximum eigenvalue ofW CCN R L then the non-linear entanglement witness operator may be constructed as W CCN R N L =W CCN R L − 1 λmax(W CCN R L )(W CCN R L )2 (63) Proof.(i) For any...

    work page

  9. [9]

    The prescription for the construction of linear witness operator can be given in the following theorem

    Construction of LEW Operator Using DV Criterion To strengthen the DV criterion, we construct a linear entanglement witness operator using the DV criterion itself. The prescription for the construction of linear witness operator can be given in the following theorem. Theorem 6.For a bipartite stateρ AB lying ind⊗d dimensional system, a LEW operator can be ...

    work page

  10. [10]

    Construction of NLEW Operator Using the LEW OperatorW DV L In this section, we will construct a non-linear entan- glement witness operator denoted byW DV N L using the linear witness operatorW DV L with the motivation that W DV N L perform better thanW DV L . The prescription of the construction is given below: Theorem 7.IfW DV L denote a linear entanglem...

    work page

  11. [11]

    Einstein, B

    A. Einstein, B. Podolsky and N. Rosen, Phys. Rev.47, 777 (1935)

    work page 1935

  12. [12]

    Schrodinger, Naturewissenschaften,23, 807 (1935)

    E. Schrodinger, Naturewissenschaften,23, 807 (1935)

    work page 1935

  13. [13]

    Caltech Science Exchange. (n.d.). What is entanglement and why is it important? California Institute of Technol- ogy

    work page

  14. [14]

    C. H. Bennett, G. Brassard, C. Crepeau, R. Jozsa, A. Peres, and W. K. Wootters, Phys. Rev. Lett.70, 1895 (1993)

    work page 1993

  15. [15]

    Guo, B-H Liu, C-F Li, G-C Guo, Nat

    X-Min Hu, Y. Guo, B-H Liu, C-F Li, G-C Guo, Nat. Rev. Phys.5, 339 (2023)

    work page 2023

  16. [16]

    C. H. Bennett, D. P. DiVincenzo , P . W. Shor, J . A . Smolin, B . M. Terhal, and W . K. Wooters, Phys. Rev. Lett.87, 077902 (2001)

    work page 2001

  17. [17]

    A. K. Pati, Phys. Rev. A.63, 014302 (2000)

    work page 2000

  18. [18]

    M. A. Nielsen and I. L. Chuang, Quantum Compu- tation and Quantum Information (CambridgeUniver- sity,Cambridge, England,2000)

    work page 2000

  19. [19]

    C. H. Bennett, and S. J. Wiesner, Phys. Rev. Lett.69, 2881 (1992)

    work page 1992

  20. [20]

    Harrow, P

    A. Harrow, P. Hayden, and D. Leung, Phys. Rev. Lett. 92, 187901 (2004)

    work page 2004

  21. [21]

    A. K. Ekert, Phys. Rev. Lett.67, 661 (1991)

    work page 1991

  22. [22]

    T. Brun, I. Devetak, and M-H Hsieh, Science314, 436 (2006)

    work page 2006

  23. [23]

    Bravyi, D

    S. Bravyi, D. Lee, Z. Li, and B. Yoshida, Phys. Rev. Lett. 134, 210602 (2025)

    work page 2025

  24. [24]

    A. K. Ekert, and R. Jozsa, Philos. Trans. A Math. Phys. Eng. Sci.356, 1769 (1998)

    work page 1998

  25. [25]

    Horodecki, and R

    P. Horodecki, and R. Augusiak, Quant. Inf. Proc.199, 19 (2006)

    work page 2006

  26. [26]

    Adhikari, Phys

    S. Adhikari, Phys. Rev. A.97, 042344(2018)

    work page 2018

  27. [27]

    Peres, Phys

    A. Peres, Phys. Rev. Lett.77, 1413 (1996)

    work page 1996

  28. [28]

    Horodecki, P

    M. Horodecki, P. Horodecki, and R.Horodecki, Phys. Lett. A.223, 1 (1996)

    work page 1996

  29. [29]

    Rohira, S

    R. Rohira, S. Sanduja, and S. Adhikari, Quant. Inf. Proc. 374, 20 (2021)

    work page 2021

  30. [30]

    Scala, A

    G. Scala, A. Bera, G. Sarbicki, and D. Chru´ sci´ nski, J. Phys. A: Math. Theor.57, 195301 (2024)

    work page 2024

  31. [31]

    Horodecki, Phys

    P. Horodecki, Phys. Lett. A.232, 333 (1997)

    work page 1997

  32. [32]

    Kumar, and S

    R. Kumar, and S. Adhikari, Phys. Lett. A.567, 131195 (2026)

    work page 2026

  33. [33]

    Horodecki, and P

    M. Horodecki, and P. Horodecki, Phys. Rev. A.59, 4206(1999)

    work page 1999

  34. [34]

    M. A. Nielsen, and J. Kempe, Phys. Rev. Lett.86, 5184 (2001)

    work page 2001

  35. [35]

    Rudolph, Phys

    O. Rudolph, Phys. Rev. A.67, 032312 (2003)

    work page 2003

  36. [36]

    K. Chen, L. Wu, Quant. Inf and Comp.3, 193 (2003)

    work page 2003

  37. [37]

    B. M. Terhal, Linear Algebra Appl.323, 61 (2001)

    work page 2001

  38. [38]

    Horodecki, P

    R. Horodecki, P. Horodecki, M. Horodecki, and K. Horodecki, Rev. Mod. Phys.81, 865 (2009)

    work page 2009

  39. [39]

    Sperling, and W

    J. Sperling, and W. Vogel, Phys. Rev. A.79, 022318 (2009)

    work page 2009

  40. [40]

    Gurvits, J

    L. Gurvits, J. Comput. Syst. Sci.69, 448 (2004)

    work page 2004

  41. [41]

    A. C. Doherty, P. A. Parrilo, and F. M. Spedalieri, Phys. Rev. A.69, 022308 (2004)

    work page 2004

  42. [42]

    Hou, and Y

    J. Hou, and Y. Guo, Phys. Rev. A.82, 052301 (2010)

    work page 2010

  43. [43]

    Chru´ sci´ nski, J

    D. Chru´ sci´ nski, J. Pytel, and G. Sarbicki, Phys. Rev. A. 80, 062314 (2009)

    work page 2009

  44. [44]

    L. Duan, G. Giedke, J.I. Cirac, and P. Zoller, Phys. Rev. Lett.84, 2722 (2000)

    work page 2000

  45. [45]

    Uffink, Phys

    J. Uffink, Phys. Rev. Lett.88, 230406 (2002)

    work page 2002

  46. [46]

    H. F. Hofmann, and S. Takeuchi, Phys. Rev. A.68, 032103 (2003)

    work page 2003

  47. [47]

    G¨ uhne, and N

    O. G¨ uhne, and N. L¨ utkenhaus, Phys. Rev. Lett.96, 170502 (2006)

    work page 2006

  48. [48]

    G¨ uhne, Phys

    O. G¨ uhne, Phys. Rev. Lett.92, 117903 (2004)

    work page 2004

  49. [49]

    Tangestaninejad, and V

    A. Tangestaninejad, and V. Karimipour, arXiv:2506.23262 [quant-ph], (2025)

    work page arXiv 2025

  50. [50]

    J. B. Lasserre, IEEE Trans. on Automatic Control.40, 1500 (1995)

    work page 1995

  51. [51]

    Lin, Czech

    M. Lin, Czech. Math. J.66, 737 (2016)

    work page 2016

  52. [52]

    Zhang, Lin

    P. Zhang, Lin. Alg. and its Appl.576, 258 (2019)

    work page 2019

  53. [53]

    A. R. Meenkshi, and C. Rajian, Lin. Alg. and its Appl. 295, 295 (1999)

    work page 1999

  54. [54]

    Zhan, ”Matrix Inequalities” (Lecture notes in Math- ematics), springer, Berlin.1790(2002)

    X. Zhan, ”Matrix Inequalities” (Lecture notes in Math- ematics), springer, Berlin.1790(2002)

    work page 2002

  55. [55]

    G¨ uhne, and G.T´ oth, Phys

    O. G¨ uhne, and G.T´ oth, Phys. Rep.474, 1 (2009)

    work page 2009

  56. [56]

    Milne, D

    A. Milne, D. Jennings, and T. Rudolph, Phys. Rev. A, 92, 012311 (2015)

    work page 2015

  57. [57]

    D. P. Chi, and S. Li, J. Phys. A36, 11503 (2003)

    work page 2003

  58. [58]

    K. Sen, C. Srivastava, and U. Sen, J. Phys. A: Math. Theor.56, 315301 (2023)

    work page 2023

  59. [59]

    R. A. Bertlmann, and P. Krammer, Ann. Phys.324, 1388 (2009)

    work page 2009

  60. [60]

    Ishizaka, and T

    S. Ishizaka, and T. Hiroshima, Phys. Rev. A.62, 022310 (2000)

    work page 2000

  61. [61]

    M-J Zhao, Z-G Li, S-M Fei, and Z-X Wang, J. Phys. A: Math. Theor.43, 275203 (2010)

    work page 2010

  62. [62]

    Chru´ sci´ nski, and F.A

    D. Chru´ sci´ nski, and F.A. Wudarski, Open Sys. Informa- tion Dyn.18, 387 (2011)

    work page 2011

  63. [63]

    Sarbicki, G Scala, and D Chruscinski, Phys

    G. Sarbicki, G Scala, and D Chruscinski, Phys. Rev. Lett.,101, 012341 (2020)

    work page 2020

  64. [64]

    Rudolph, Quant

    O. Rudolph, Quant. Info. Proc. 4,219(2005)

    work page 2005

  65. [65]

    J. D. Vicente, Quant. Inf. Comput.7, 624 (2007)

    work page 2007

  66. [66]

    Jain, and S

    R. Jain, and S. Adhikari, Phys. Scr.,100, 125102 (2025)

    work page 2025

  67. [67]

    Bhattacharya, S

    B. Bhattacharya, S. Goswami, R. Mundra, N. Ganguly, I. Chakrabarty, S. Bhattacharya, and A. S. Majumdar, J. Phys. Commun.5, 065008 (2021). 16 Appendix A: Detailed calculation of the expression maxρsep[T r(W 2 Lρsep)]for2⊗2and3⊗3system

    work page 2021

  68. [68]

    For2⊗2system A general single-qubit quantum state may be repre- sented asρ= 1 2(I+⃗ r⃗ σ) where⃗ r= (r1, r2, r3), P3 1 r2 i ≤1 and⃗ σ= (σ1, σ2, σ3) are the Pauli’s matrices. To start the calculation, let us consider a bipartite prod- uct stateρ (j) A ⊗ρ (j) B for anyj= 1,2,3, ....., where ρ(j) A =1 2(I+r (j) A1 σ1 +r (j) A2 σ2 +r (j) A3 σ3) ρ(j) B =1 2(I+...

    work page

  69. [69]

    For3⊗3system A general single-qutrit quantum state can be represented asρ= 1 3(I+ ⃗b.⃗λ), where ⃗b= (b1, b2, b3, b4, b5, b6, b7, b8) may be chosen in such a way thatP8 i=1 b2 i ≤1 and ⃗λ= (λ 1, λ2, λ3, λ4, λ5, λ6, λ7, λ8), whereλ ′ isdenote the Gell Mann matrices. Therefore, a two-qutrit in product state can be given as ρ(j) A ⊗ρ (j) B for anyj= 1,2,3,· ·...

    work page