Pub Date : 2025-10-30DOI: 10.1007/s00220-025-05482-4
Elijah Bodish, Artem Kalmykov
Inspired by Etingof–Varchenko’s dynamical Weyl group for Lie algebras and Reshetikhin–Stokman’s boundary fusion operators for split symmetric pairs, we introduce a dynamical Weyl group for split symmetric pairs. We then turn to the study of ((mathfrak {so}_{2n},textrm{O}_m))-duality and prove that the standard Knizhnik–Zamolodchikov and dynamical operators (both differential and difference) on the (mathfrak {so}_{2n})-side are exchanged with the symmetric pair analogs, for (textrm{O}_msubset textrm{GL}_m), on the (textrm{O}_m)-side.
{"title":"Orthogonal Howe Duality and Dynamical (Split) Symmetric Pairs","authors":"Elijah Bodish, Artem Kalmykov","doi":"10.1007/s00220-025-05482-4","DOIUrl":"10.1007/s00220-025-05482-4","url":null,"abstract":"<div><p>Inspired by Etingof–Varchenko’s dynamical Weyl group for Lie algebras and Reshetikhin–Stokman’s boundary fusion operators for split symmetric pairs, we introduce a dynamical Weyl group for split symmetric pairs. We then turn to the study of <span>((mathfrak {so}_{2n},textrm{O}_m))</span>-duality and prove that the standard Knizhnik–Zamolodchikov and dynamical operators (both differential and difference) on the <span>(mathfrak {so}_{2n})</span>-side are exchanged with the symmetric pair analogs, for <span>(textrm{O}_msubset textrm{GL}_m)</span>, on the <span>(textrm{O}_m)</span>-side.</p></div>","PeriodicalId":522,"journal":{"name":"Communications in Mathematical Physics","volume":"406 12","pages":""},"PeriodicalIF":2.6,"publicationDate":"2025-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00220-025-05482-4.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145398835","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-10-30DOI: 10.1007/s00220-025-05480-6
Jeongwan Haah, Yunchao Liu, Xinyu Tan
We construct random walks on simple Lie groups that quickly converge to the Haar measure for all moments up to order t. Specifically, a step of the walk on the unitary or orthogonal group of dimension (2^{{textsf{n}}}) is a random Pauli rotation (e^{mathrm i theta P /2}). The spectral gap of this random walk is shown to be (Omega (1/t)), which coincides with the best previously known bound for a random walk on the permutation group on ({0,1}^{{textsf{n}}}). This implies that the walk gives an (varepsilon )-approximate unitary t-design in depth (mathcal O({textsf{n}} t^2 + t log frac{1}{varepsilon })d) where (d=mathcal {O}(log {textsf{n}})) is the circuit depth to implement (e^{mathrm i theta P /2}). Our simple proof uses quadratic Casimir operators of Lie algebras.
我们在简单李群上构造随机漫步,这些漫步对所有矩快速收敛到Haar测度,直到阶为t。具体地说,在一维或正交群(2^{{textsf{n}}})上漫步的一个步骤是一个随机泡利旋转(e^{mathrm i theta P /2})。该随机漫步的谱隙显示为(Omega (1/t)),这与先前已知的在({0,1}^{{textsf{n}}})上排列群上随机漫步的最佳界一致。这意味着该遍历在深度(mathcal O({textsf{n}} t^2 + t log frac{1}{varepsilon })d)上给出(varepsilon ) -近似的单位t设计,其中(d=mathcal {O}(log {textsf{n}}))是实现(e^{mathrm i theta P /2})的电路深度。我们的简单证明使用李代数的二次卡西米尔算子。
{"title":"Efficient Approximate Unitary Designs from Random Pauli Rotations","authors":"Jeongwan Haah, Yunchao Liu, Xinyu Tan","doi":"10.1007/s00220-025-05480-6","DOIUrl":"10.1007/s00220-025-05480-6","url":null,"abstract":"<div><p>We construct random walks on simple Lie groups that quickly converge to the Haar measure for all moments up to order <i>t</i>. Specifically, a step of the walk on the unitary or orthogonal group of dimension <span>(2^{{textsf{n}}})</span> is a random Pauli rotation <span>(e^{mathrm i theta P /2})</span>. The spectral gap of this random walk is shown to be <span>(Omega (1/t))</span>, which coincides with the best previously known bound for a random walk on the permutation group on <span>({0,1}^{{textsf{n}}})</span>. This implies that the walk gives an <span>(varepsilon )</span>-approximate unitary <i>t</i>-design in depth <span>(mathcal O({textsf{n}} t^2 + t log frac{1}{varepsilon })d)</span> where <span>(d=mathcal {O}(log {textsf{n}}))</span> is the circuit depth to implement <span>(e^{mathrm i theta P /2})</span>. Our simple proof uses quadratic Casimir operators of Lie algebras.</p></div>","PeriodicalId":522,"journal":{"name":"Communications in Mathematical Physics","volume":"406 12","pages":""},"PeriodicalIF":2.6,"publicationDate":"2025-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145398842","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-10-30DOI: 10.1007/s00220-025-05474-4
Paula Belzig, Li Gao, Graeme Smith, Peixue Wu
The quantum data processing inequality asserts that two quantum states become harder to distinguish when a noisy channel is applied. On the other hand, a reverse quantum data processing inequality characterizes whether distinguishability is preserved after the application of a noisy channel. In this work, we explore these concepts through contraction and expansion coefficients of the relative entropy of quantum channels. Our first result is that quantum channels with an input dimension greater than or equal to the output dimension do not have a non-zero expansion coefficient, which means that they cannot admit a reverse data-processing inequality. We propose a comparative approach by introducing a relative expansion coefficient, to assess how one channel expands relative entropy compared to another. We show that this relative expansion coefficient is positive for three important classes of quantum channels: depolarizing channels, generalized dephasing channels, and amplitude damping channels. As an application, we give the first rigorous construction of level-1 less noisy quantum channels that are non-degradable.
{"title":"Reverse-Type Data Processing Inequality","authors":"Paula Belzig, Li Gao, Graeme Smith, Peixue Wu","doi":"10.1007/s00220-025-05474-4","DOIUrl":"10.1007/s00220-025-05474-4","url":null,"abstract":"<div><p>The quantum data processing inequality asserts that two quantum states become harder to distinguish when a noisy channel is applied. On the other hand, a reverse quantum data processing inequality characterizes whether distinguishability is preserved after the application of a noisy channel. In this work, we explore these concepts through contraction and expansion coefficients of the relative entropy of quantum channels. Our first result is that quantum channels with an input dimension greater than or equal to the output dimension do not have a non-zero expansion coefficient, which means that they cannot admit a reverse data-processing inequality. We propose a comparative approach by introducing a relative expansion coefficient, to assess how one channel expands relative entropy compared to another. We show that this relative expansion coefficient is positive for three important classes of quantum channels: depolarizing channels, generalized dephasing channels, and amplitude damping channels. As an application, we give the first rigorous construction of level-1 less noisy quantum channels that are non-degradable.</p></div>","PeriodicalId":522,"journal":{"name":"Communications in Mathematical Physics","volume":"406 12","pages":""},"PeriodicalIF":2.6,"publicationDate":"2025-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145398855","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-10-30DOI: 10.1007/s00220-025-05477-1
Shu Shen, Jianqing Yu
The purpose of this article is to show a geometric version of Zabrodin–Wiegmann conjecture for an integer quantum Hall state. Given an effective reduced divisor on a compact connected Riemann surface, using the canonical holomorphic section of the associated canonical line bundle as well as certain initial data and local normalisation data, we construct a canonical non-zero element in the determinant line of the cohomology of the p-tensor power of the line bundle. When endowed with proper metric data, the square of the (L^{2})-norm of our canonical element is the partition function associated to an integer quantum Hall state. We establish an asymptotic expansion for the logarithm of the partition function when (prightarrow +infty ). The constant term of this expansion includes the holomorphic analytic torsion and matches a geometric version of Zabrodin–Wiegmann’s prediction. Our proof relies on Bismut–Lebeau’s embedding formula for the Quillen metrics, Bismut–Vasserot and Finski’s asymptotic expansion for the analytic torsion associated to the higher tensor product of a positive Hermitian holomorphic line bundle.
{"title":"Geometric Zabrodin–Wiegmann Conjecture for Integer Quantum Hall States","authors":"Shu Shen, Jianqing Yu","doi":"10.1007/s00220-025-05477-1","DOIUrl":"10.1007/s00220-025-05477-1","url":null,"abstract":"<div><p>The purpose of this article is to show a geometric version of Zabrodin–Wiegmann conjecture for an integer quantum Hall state. Given an effective reduced divisor on a compact connected Riemann surface, using the canonical holomorphic section of the associated canonical line bundle as well as certain initial data and local normalisation data, we construct a canonical non-zero element in the determinant line of the cohomology of the <i>p</i>-tensor power of the line bundle. When endowed with proper metric data, the square of the <span>(L^{2})</span>-norm of our canonical element is the partition function associated to an integer quantum Hall state. We establish an asymptotic expansion for the logarithm of the partition function when <span>(prightarrow +infty )</span>. The constant term of this expansion includes the holomorphic analytic torsion and matches a geometric version of Zabrodin–Wiegmann’s prediction. Our proof relies on Bismut–Lebeau’s embedding formula for the Quillen metrics, Bismut–Vasserot and Finski’s asymptotic expansion for the analytic torsion associated to the higher tensor product of a positive Hermitian holomorphic line bundle.</p></div>","PeriodicalId":522,"journal":{"name":"Communications in Mathematical Physics","volume":"406 12","pages":""},"PeriodicalIF":2.6,"publicationDate":"2025-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145398836","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-10-30DOI: 10.1007/s00220-025-05452-w
Stefano Baranzini, Gian Marco Canneori, Susanna Terracini
We investigate periodic trajectories in a classical system consisting of multiple mutually repelling electrons constrained to move along a half-line, with an attractive nucleus fixed at the origin. Adopting a variational framework, we seek critical points of the associated Lagrangian action functional using a modified Lusternik-Schnirelmann theory for manifolds with boundary. Furthermore, in the limit where the electron charges vanish, we demonstrate that frozen planet orbits converge to segments of a brake orbit in a Kepler-type problem, thereby drawing a strong analogy with Schubart orbits in the gravitational N-body problem.
{"title":"Frozen Planet Orbits for the n-Electron Atom","authors":"Stefano Baranzini, Gian Marco Canneori, Susanna Terracini","doi":"10.1007/s00220-025-05452-w","DOIUrl":"10.1007/s00220-025-05452-w","url":null,"abstract":"<div><p>We investigate periodic trajectories in a classical system consisting of multiple mutually repelling electrons constrained to move along a half-line, with an attractive nucleus fixed at the origin. Adopting a variational framework, we seek critical points of the associated Lagrangian action functional using a modified Lusternik-Schnirelmann theory for manifolds with boundary. Furthermore, in the limit where the electron charges vanish, we demonstrate that frozen planet orbits converge to segments of a brake orbit in a Kepler-type problem, thereby drawing a strong analogy with Schubart orbits in the gravitational <i>N</i>-body problem.\u0000</p></div>","PeriodicalId":522,"journal":{"name":"Communications in Mathematical Physics","volume":"406 12","pages":""},"PeriodicalIF":2.6,"publicationDate":"2025-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00220-025-05452-w.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145398839","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-10-30DOI: 10.1007/s00220-025-05442-y
Sridip Pal, Jiaxin Qiao, Balt C. van Rees
We consider rigorous consequences of modular invariance for two-dimensional unitary non-rational CFTs with (c > 1). Simple estimates for the torus partition function can lead to remarkably strong results. We show in particular that the spectral density of spin-J operators must grow like (exp left( pi sqrt{frac{2}{3}(c-1) J} right) /sqrt{2J}) in any twist interval at or above ((c-1)/12), with a known twist-dependent prefactor. This proves that the large J spectrum becomes dense even without averaging over spins. For twists below ((c-1)/12) we establish that the growth must be strictly slower. Finally, we estimate how fast the maximal gap between two spin-J operators must go to zero as J becomes large.
我们考虑了具有(c > 1)的二维幺正无理数cft模不变性的严格结果。对环面配分函数的简单估计可以得到非常强的结果。我们特别证明了自旋- j算子的谱密度在((c-1)/12)或以上的任何扭转区间必须像(exp left( pi sqrt{frac{2}{3}(c-1) J} right) /sqrt{2J})一样增长,并且具有已知的扭转相关前因子。这证明了即使没有对自旋进行平均,大J谱也会变得稠密。对于((c-1)/12)下面的扭转,我们确定增长必须严格地慢一些。最后,我们估计当J变大时,两个自旋-J算子之间的最大间隙必须以多快的速度趋近于零。
{"title":"Universality of the Microcanonical Entropy at Large Spin","authors":"Sridip Pal, Jiaxin Qiao, Balt C. van Rees","doi":"10.1007/s00220-025-05442-y","DOIUrl":"10.1007/s00220-025-05442-y","url":null,"abstract":"<div><p>We consider rigorous consequences of modular invariance for two-dimensional unitary non-rational CFTs with <span>(c > 1)</span>. Simple estimates for the torus partition function can lead to remarkably strong results. We show in particular that the spectral density of spin-<i>J</i> operators must grow like <span>(exp left( pi sqrt{frac{2}{3}(c-1) J} right) /sqrt{2J})</span> in any twist interval at or above <span>((c-1)/12)</span>, with a known twist-dependent prefactor. This proves that the large <i>J</i> spectrum becomes dense even without averaging over spins. For twists below <span>((c-1)/12)</span> we establish that the growth must be strictly slower. Finally, we estimate how fast the maximal gap between two spin-<i>J</i> operators must go to zero as <i>J</i> becomes large.</p></div>","PeriodicalId":522,"journal":{"name":"Communications in Mathematical Physics","volume":"406 12","pages":""},"PeriodicalIF":2.6,"publicationDate":"2025-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00220-025-05442-y.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145398853","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-10-30DOI: 10.1007/s00220-025-05465-5
Lauritz van Luijk, Alexander Stottmeister, Reinhard F. Werner, Henrik Wilming
We develop the theory of local operations and classical communication (LOCC) for bipartite quantum systems represented by commuting von Neumann algebras. Our central result is the extension of Nielsen’s Theorem, stating that the LOCC ordering of bipartite pure states is equivalent to the majorization of their restrictions to arbitrary factors. As a consequence, we find that in bipartite system modeled by commuting factors in Haag duality, (a) all states have infinite single-shot entanglement if and only if the local factors are not of type I, (b) type III factors are characterized by LOCC transitions of arbitrary precision between any two pure states, and c) the latter holds even without classical communication for type (hbox {III}_{1}) factors. In the case of semifinite factors, the usual construction of pure state entanglement monotones carries over. Together with recent work on embezzlement of entanglement, this gives a one-to-one correspondence between the classification of factors into types and subtypes and operational entanglement properties. In the appendix, we provide a self-contained treatment of majorization on semifinite von Neumann algebras and (sigma )-finite measure spaces.
{"title":"Pure State Entanglement and von Neumann Algebras","authors":"Lauritz van Luijk, Alexander Stottmeister, Reinhard F. Werner, Henrik Wilming","doi":"10.1007/s00220-025-05465-5","DOIUrl":"10.1007/s00220-025-05465-5","url":null,"abstract":"<div><p>We develop the theory of local operations and classical communication (LOCC) for bipartite quantum systems represented by commuting von Neumann algebras. Our central result is the extension of Nielsen’s Theorem, stating that the LOCC ordering of bipartite pure states is equivalent to the majorization of their restrictions to arbitrary factors. As a consequence, we find that in bipartite system modeled by commuting factors in Haag duality, (a) all states have infinite single-shot entanglement if and only if the local factors are not of type I, (b) type III factors are characterized by LOCC transitions of arbitrary precision between any two pure states, and c) the latter holds even without classical communication for type <span>(hbox {III}_{1})</span> factors. In the case of semifinite factors, the usual construction of pure state entanglement monotones carries over. Together with recent work on embezzlement of entanglement, this gives a one-to-one correspondence between the classification of factors into types and subtypes and operational entanglement properties. In the appendix, we provide a self-contained treatment of majorization on semifinite von Neumann algebras and <span>(sigma )</span>-finite measure spaces.</p></div>","PeriodicalId":522,"journal":{"name":"Communications in Mathematical Physics","volume":"406 12","pages":""},"PeriodicalIF":2.6,"publicationDate":"2025-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00220-025-05465-5.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145398854","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-10-30DOI: 10.1007/s00220-025-05468-2
Sebastiano Carpi, Tiziano Gaudio
We show the strong graded locality of all unitary minimal W-algebras, so that they give rise to irreducible graded-local conformal nets. Among these unitary vertex superalgebras, up to taking tensor products with free fermion vertex superalgebras, there are the unitary Virasoro vertex algebras ((N=0)) and the unitary (N=1,2,3,4) super-Virasoro vertex superalgebras. Accordingly, we have a uniform construction that gives, besides the already known (N=0,1,2) super-Virasoro nets, also the new (N=3,4) super-Virasoro nets. All strongly rational unitary minimal W-algebras give rise to previously known completely rational graded-local conformal nets and we conjecture that the converse is also true. We prove this conjecture for all unitary W-algebras corresponding to the (N=0,1,2,3,4) super-Virasoro vertex superalgebras.
{"title":"Conformal Nets from Minimal W-Algebras","authors":"Sebastiano Carpi, Tiziano Gaudio","doi":"10.1007/s00220-025-05468-2","DOIUrl":"10.1007/s00220-025-05468-2","url":null,"abstract":"<div><p>We show the strong graded locality of all unitary minimal <i>W</i>-algebras, so that they give rise to irreducible graded-local conformal nets. Among these unitary vertex superalgebras, up to taking tensor products with free fermion vertex superalgebras, there are the unitary Virasoro vertex algebras (<span>(N=0)</span>) and the unitary <span>(N=1,2,3,4)</span> super-Virasoro vertex superalgebras. Accordingly, we have a uniform construction that gives, besides the already known <span>(N=0,1,2)</span> super-Virasoro nets, also the new <span>(N=3,4)</span> super-Virasoro nets. All strongly rational unitary minimal <i>W</i>-algebras give rise to previously known completely rational graded-local conformal nets and we conjecture that the converse is also true. We prove this conjecture for all unitary <i>W</i>-algebras corresponding to the <span>(N=0,1,2,3,4)</span> super-Virasoro vertex superalgebras.</p></div>","PeriodicalId":522,"journal":{"name":"Communications in Mathematical Physics","volume":"406 12","pages":""},"PeriodicalIF":2.6,"publicationDate":"2025-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00220-025-05468-2.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145398861","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-10-30DOI: 10.1007/s00220-025-05476-2
Shilong Huang, Yuji Kodama, Chuanzhong Li
We give a classification of the regular soliton solutions of the KP hierarchy, referred to as the KP solitons, under the Gel’fand-Dickey (ell )-reductions in terms of the permutation of the symmetric group. As an example, we show that the regular soliton solutions of the (good) Boussinesq equation as the 3-reduction can have at most one resonant soliton in addition to two sets of solitons propagating in opposite directions. We also give a systematic construction of these soliton solutions for the (ell )-reductions using the vertex operators. In particular, we show that the non-crossing permutation gives the regularity condition for the soliton solutions.
{"title":"Non-crossing Permutations for the KP Solitons Under the Gel’fand-Dickey Reductions and the Vertex Operators","authors":"Shilong Huang, Yuji Kodama, Chuanzhong Li","doi":"10.1007/s00220-025-05476-2","DOIUrl":"10.1007/s00220-025-05476-2","url":null,"abstract":"<div><p>We give a classification of the <i>regular</i> soliton solutions of the KP hierarchy, referred to as the <i>KP solitons</i>, under the Gel’fand-Dickey <span>(ell )</span>-reductions in terms of the permutation of the symmetric group. As an example, we show that the regular soliton solutions of the (good) Boussinesq equation as the 3-reduction can have <i>at most</i> one resonant soliton in addition to two sets of solitons propagating in opposite directions. We also give a systematic construction of these soliton solutions for the <span>(ell )</span>-reductions using the vertex operators. In particular, we show that the <i>non-crossing</i> permutation gives the regularity condition for the soliton solutions.</p></div>","PeriodicalId":522,"journal":{"name":"Communications in Mathematical Physics","volume":"406 12","pages":""},"PeriodicalIF":2.6,"publicationDate":"2025-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145398862","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-10-30DOI: 10.1007/s00220-025-05481-5
Ashutosh Marwah, Frédéric Dupuis
The von Neumann entropy of an n-partite system (A_1^n) given a system B can be written as the sum of the von Neumann entropies of the individual subsystems (A_k) given (A_1^{k-1}) and B. While it is known that such a chain rule does not hold for the smooth min-entropy, we prove a counterpart of this for a variant of the smooth min-entropy, which is equal to the conventional smooth min-entropy up to a constant. This enables us to lower bound the smooth min-entropy of an n-partite system in terms of, roughly speaking, equally strong entropies of the individual subsystems. We call this a universal chain rule for the smooth min-entropy, since it is applicable for all values of n. Using duality, we also derive a similar relation for the smooth max-entropy. Our proof utilises the entropic triangle inequality based technique developed in Marwah and Dupuis (Commun Math Phys 405(9):211, 2024. https://doi.org/10.1007/s00220-024-05074-8) for analysing approximation chains. Additionally, we also prove an approximate version of the entropy accumulation theorem, which significantly relaxes the conditions required on the state to bound its smooth min-entropy. In particular, it does not require the state to be produced through a sequential process like previous entropy accumulation type bounds. In our companion paper Marwah and Dupuis (Security proof for parallel DIQKD, 2025. https://arxiv.org/abs/2507.03991), we use it to prove the security of parallel device independent quantum key distribution.
{"title":"Universal Chain Rules from Entropic Triangle Inequalities","authors":"Ashutosh Marwah, Frédéric Dupuis","doi":"10.1007/s00220-025-05481-5","DOIUrl":"10.1007/s00220-025-05481-5","url":null,"abstract":"<div><p>The von Neumann entropy of an <i>n</i>-partite system <span>(A_1^n)</span> given a system <i>B</i> can be written as the sum of the von Neumann entropies of the individual subsystems <span>(A_k)</span> given <span>(A_1^{k-1})</span> and <i>B</i>. While it is known that such a chain rule does not hold for the smooth min-entropy, we prove a counterpart of this for a variant of the smooth min-entropy, which is equal to the conventional smooth min-entropy up to a constant. This enables us to lower bound the smooth min-entropy of an <i>n</i>-partite system in terms of, roughly speaking, equally strong entropies of the individual subsystems. We call this a <i>universal chain rule</i> for the smooth min-entropy, since it is applicable for all values of <i>n</i>. Using duality, we also derive a similar relation for the smooth max-entropy. Our proof utilises the entropic triangle inequality based technique developed in Marwah and Dupuis (Commun Math Phys 405(9):211, 2024. https://doi.org/10.1007/s00220-024-05074-8) for analysing approximation chains. Additionally, we also prove an approximate version of the entropy accumulation theorem, which significantly relaxes the conditions required on the state to bound its smooth min-entropy. In particular, it does not require the state to be produced through a sequential process like previous entropy accumulation type bounds. In our companion paper Marwah and Dupuis (Security proof for parallel DIQKD, 2025. https://arxiv.org/abs/2507.03991), we use it to prove the security of parallel device independent quantum key distribution.</p></div>","PeriodicalId":522,"journal":{"name":"Communications in Mathematical Physics","volume":"406 12","pages":""},"PeriodicalIF":2.6,"publicationDate":"2025-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145398860","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}