pith. sign in

arxiv: 1907.05875 · v1 · pith:S7V3HEQAnew · submitted 2019-07-12 · 🧮 math.FA · math.CV· math.OA

The royal road to automatic noncommutative real analyticity, monotonicity, and convexity

J. E. Pascoe , Ryan Tully-Doyle This is my paper

Pith reviewed 2026-05-24 21:58 UTC · model grok-4.3

classification 🧮 math.FA math.CVmath.OA
keywords noncommutative analysisautomatic analyticitymatrix monotonematrix convexLoewner theoremKraus theoremoperator systemslifting theorem
0
0 comments X

The pith

A general lifting theorem reduces proving automatic analyticity in several noncommuting variables to the one-variable case.

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

The paper develops a framework for lifting automatic analyticity theorems from one variable to several noncommuting variables in matrix analysis. This royal road theorem establishes that the difficult part of such proofs is establishing the one-variable version. Readers would care because it allows proving results like the noncommutative Löwner theorem for matrix monotone functions and the Kraus theorem for matrix convex functions by handling only the single-variable setting over operator systems. The framework also yields an analogue of the butterfly realization for general analytic functions.

Core claim

The royal road theorem is a general lifting framework that takes an automatic analyticity theorem in one variable and produces the corresponding theorem in several noncommuting variables. This establishes the principle that the hard part of proving any automatic analyticity theorem lies in proving the one variable theorem. The result is applied to obtain the noncommutative Löwner and Kraus theorems over operator systems.

What carries the argument

The royal road theorem, a lifting mechanism from one-variable to multi-variable noncommutative settings.

If this is right

  • Noncommutative versions of the Löwner theorem on matrix monotone functions follow directly from their one-variable counterparts.
  • Noncommutative versions of the Kraus theorem on matrix convex functions are obtained similarly.
  • An analogue of the butterfly realization theorem holds for general analytic functions in the noncommutative setting.

Where Pith is reading between the lines

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

  • This approach may simplify the discovery of new automatic analyticity results in free noncommutative analysis.
  • Extensions could apply the lifting to other properties such as positivity or contractivity in operator theory.
  • Testing the framework on additional classes of functions beyond operator systems would verify its generality.

Load-bearing premise

The lifting framework applies without additional restrictions to the classes of functions and operator systems considered in the noncommutative Löwner and Kraus theorems.

What would settle it

A counterexample consisting of a function that satisfies the one-variable automatic analyticity, monotonicity or convexity conditions but fails to do so when extended to multiple noncommuting variables under the same hypotheses would disprove the lifting theorem.

read the original abstract

It was shown classically that matrix monotone and matrix convex functions must be real analytic by L\"owner and Kraus respectively. Recently, various analogues have been found in several noncommuting variables. We develop a general framework for lifting automatic analyticity theorems in matrix analysis from one variable to several variables, the so-called "royal road theorem." That is, we establish the principle that the hard part of proving any automatic analyticity theorem lies in proving the one variable theorem. We use our main result to prove the noncommutative L\"owner and Kraus theorems over operator systems as examples, including an analogue of the "butterfly realization" of Helton-McCullough-Vinnikov for general analytic functions.

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 / 1 minor

Summary. The paper claims to establish a general 'royal road theorem' providing a lifting principle that reduces automatic analyticity, monotonicity, and convexity results for noncommuting variables to the corresponding one-variable theorems. It applies this framework to derive noncommutative Löwner and Kraus theorems over operator systems and includes an analogue of the butterfly realization for general analytic functions.

Significance. If the lifting applies directly without extra restrictions, the result would streamline proofs of multi-variable automatic analyticity by reducing the essential work to classical one-variable cases, with credit due for the general framework and the explicit applications yielding the NC Löwner/Kraus theorems plus the realization result. This could impact noncommutative analysis broadly if the hypotheses align with standard operator-system settings.

major comments (2)
  1. [§2] §2 (royal road theorem statement): the hypotheses of the lifting must be shown to hold for the precise operator systems and domains in the noncommutative Löwner theorem; if they impose unstated restrictions on positivity or analyticity domains, the reduction to the one-variable case is incomplete and the central claim that 'the hard part lies in the one-variable theorem' does not fully apply.
  2. [§4] §4 (application to NC Kraus theorem): the verification that the operator system satisfies all lifting hypotheses is load-bearing for asserting that the multi-variable proof follows immediately from the one-variable Kraus theorem; this check is not indicated as having been performed in the provided abstract and must be supplied explicitly.
minor comments (1)
  1. The abstract would benefit from a concise statement of the exact hypotheses required by the royal road theorem to allow immediate assessment of applicability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying points where explicit verification of the lifting hypotheses is needed to fully support the applications. We address each major comment below and will revise the manuscript to incorporate the requested checks.

read point-by-point responses

  1. Referee: [§2] §2 (royal road theorem statement): the hypotheses of the lifting must be shown to hold for the precise operator systems and domains in the noncommutative Löwner theorem; if they impose unstated restrictions on positivity or analyticity domains, the reduction to the one-variable case is incomplete and the central claim that 'the hard part lies in the one-variable theorem' does not fully apply.

    Authors: We agree that the reduction is only complete once the hypotheses are verified for the specific operator systems and domains appearing in the noncommutative Löwner theorem. The current manuscript states the general royal road theorem and then invokes it for the Löwner application, but does not contain an explicit paragraph confirming that the relevant positivity and analyticity conditions match the theorem's hypotheses without extra restrictions. We will add this verification in the revised version (most naturally in the section containing the Löwner application), thereby confirming that no unstated restrictions arise and that the central claim holds. revision: yes

  2. Referee: [§4] §4 (application to NC Kraus theorem): the verification that the operator system satisfies all lifting hypotheses is load-bearing for asserting that the multi-variable proof follows immediately from the one-variable Kraus theorem; this check is not indicated as having been performed in the provided abstract and must be supplied explicitly.

    Authors: We concur that the explicit verification for the operator system in the noncommutative Kraus theorem is required to justify that the multi-variable result follows directly from the one-variable case. While the manuscript presents the Kraus application as an instance of the royal road theorem, it does not document the hypothesis check in detail. We will insert the missing verification explicitly in the revised manuscript, confirming that the chosen operator system meets every hypothesis of the lifting theorem. revision: yes

Circularity Check

0 steps flagged

Lifting framework is independent; no reduction to inputs by construction

full rationale

The paper introduces a general lifting principle (royal road theorem) that reduces multi-variable automatic analyticity to the classical one-variable case (Löwner/Kraus). The one-variable theorems are external classical results, not derived or fitted inside the paper. The NC Löwner/Kraus theorems and butterfly realization analogue are presented as applications of the new framework rather than premises. No quoted step equates a claimed prediction to a fitted parameter, renames a known result as new unification, or makes the central claim rest on a self-citation chain whose content is unverified. The derivation chain is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available, so specific free parameters, axioms, or invented entities cannot be identified from the text.

pith-pipeline@v0.9.0 · 5652 in / 1018 out tokens · 21531 ms · 2026-05-24T21:58:12.046293+00:00 · methodology

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

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

  1. [1]

    Agler and J.E

    J. Agler and J.E. M cCarthy. Global holomorphic functions in several non- commuting variables. Canad. J. Math. , pages 241–285, 2015

    work page 2015

  2. [2]

    Agler, J.E

    J. Agler, J.E. M cCarthy, and N.J. Young. Operator monotone functions and L¨ owner functions of several variables.Ann. of Math. , 176:1783–1826, 2012

    work page 2012

  3. [3]

    Ahlswede and P

    R. Ahlswede and P. Lober. Quantum data processing. IEEE Trans. Inform. Theory, 47(1):474–478, 2001

    work page 2001

  4. [4]

    Alcober, I.M

    J.A. Alcober, I.M. Tkachenko, and M. Urrea. Construction of So lutions of the HamburgerL¨ owner Mixed Interpolation Problem for Nevanlinna Clas s Func- tions. In Christian Constanda and M.E. P´ erez, editors, Integral Methods in Science and Engineering, Volume 2 , pages 11–20. Birkh¨ auser Boston, 2010

    work page 2010

  5. [5]

    Anderson, T.D

    W.N. Anderson, T.D. Morley, and G.E. Trapp. Symmetric function m eans of positive operators. Linear Algebra and its Applications , 60:129 – 143, 1984

    work page 1984

  6. [6]

    T. Ando. Majorizations and inequalities in matrix theory. Linear Algebra and its Applications, 199:17 – 67, 1994. Special Issue Honoring Ingram Olkin

    work page 1994

  7. [7]

    Operator-Valued Monotone Convolution Semigroups and an Extension of the Bercovici-Pata Bijection

    M. Anshelevich and J. D. Williams. Operator-valued monotone conv olution semigroups and an extension of the Bercovici-Pata bijection. Doc. Math. , 21:841–871, 2016. arXiv: 1412.1413

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  8. [8]

    J. Ball, G. Groenewald, and T. Malakorn. Structured noncommut ative mul- tidimensional linear systems. SIAM Journal on Control and Optimization , 44(4):1474–1528, 2005

    work page 2005

  9. [9]

    Ball, Gilbert Groenewald, and Tanit Malakorn

    Joseph A. Ball, Gilbert Groenewald, and Tanit Malakorn. Conserva tive struc- tured noncommutative multidimensional linear systems. In Daniel Alp ay and Israel Gohberg, editors, The State Space Method Generalizations and Applica- tions, pages 179–223. Birkh¨ auser Basel, Basel, 2006. 20 J. E. PASCOE AND R. TULLY-DOYLE

    work page 2006

  10. [10]

    Ball, Gregory Marx, and Victor Vinnikov

    Joseph A. Ball, Gregory Marx, and Victor Vinnikov. Interpolatio n and transfer-function realization for the noncommutative schur–ag ler class. In Roland Duduchava, Marinus A. Kaashoek, Nikolai Vasilevski, and Vict or Vin- nikov, editors, Operator Theory in Different Settings and Related Applicati ons, pages 23–116, Cham, 2018. Springer International Publishing

    work page 2018

  11. [11]

    R. Bhatia. Matrix Analysis . Princeton University Press, Princeton, 2007

    work page 2007

  12. [12]

    Karandikar

    Rajendra Bhatia and Rajeeva L. Karandikar. Monotonicity of t he matrix geo- metric mean. Math. Ann. , 353(4):1453 –1467, 2012

    work page 2012

  13. [13]

    Optimization of matrix monotone functions: Saddle-point, worst case noise analysis, and application s

    Holger Boche and Eduard Axel Jorswieck. Optimization of matrix monotone functions: Saddle-point, worst case noise analysis, and application s. In Proc. of ISIT , 2004

    work page 2004

  14. [14]

    Man-Duen Choi and Edward G. Effros. Injectivity and operato r spaces. J. Funct. Anal., 24(2):156–209, 1977

    work page 1977

  15. [15]

    Noncommutative Cho quet theory

    Kenneth Davidson and Matthew Kennedy. Noncommutative Cho quet theory. arxiv:1905.08436, 2019

    work page arXiv 1905

  16. [16]

    Donoghue

    W.F. Donoghue. Monotone matrix functions and analytic continuation . Springer, Berlin, 1974

    work page 1974

  17. [17]

    William Helton, and Scott McCullough

    Harry Dym, J. William Helton, and Scott McCullough. Non-commuta tive poly- nomials with convex level slices. Indiana University Mathematics Journal , 66, 12 2015

    work page 2015

  18. [18]

    Non- commutative partial matrix convexity

    Damon Hay, J William Helton, Adrian Lim, and Scott McCullough. Non- commutative partial matrix convexity. Indiana University Mathematics Jour- nal, 57, 05 2008

    work page 2008

  19. [19]

    William Helton, Igor Klep, and Scott McCullough

    J. William Helton, Igor Klep, and Scott McCullough. Free analysis, c onvexity and lmi domains. In Harry Dym, Mauricio C. de Oliveira, and Mihai Puti- nar, editors, Mathematical Methods in Systems, Optimization, and Contro l: Festschrift in Honor of J. William Helton , pages 195–219. Springer Basel, Basel, 2012

    work page 2012

  20. [20]

    William Helton, Scott A

    J. William Helton, Scott A. McCullough, and Victor Vinnikov. Noncom mu- tative convexity arises from linear matrix inequalities. Journal of Functional Analysis, 240(1):105 – 191, 2006

    work page 2006

  21. [21]

    William Helton, Jiawang Nie, and Jeremy S

    J. William Helton, Jiawang Nie, and Jeremy S. Semko. Free semidefin ite rep- resentation of matrix power functions. Linear Algebra and its Applications , 465:347 – 362, 2015

    work page 2015

  22. [22]

    William Helton, J

    J. William Helton, J. E. Pascoe, Ryan Tully-Doyle, and Victor Vinniko v. Con- vex entire noncommutative functions are polynomials of degree two or less. Integral Equations Operator Theory , 86(2):151–163, 2016

    work page 2016

  23. [23]

    Helton and S

    J.W. Helton and S. McCullough. Convex noncommutative polynomia ls have degree two or less. SIAM J. Matrix Anal. & Appl. , 25(4):11241139, 2004

    work page 2004

  24. [24]

    Majorization and Matrix Monotone Functions in Wireless Communications , volume 3 of Foundations and Trends in Communications and Information Theory

    Eduard Axel Jorswieck and Holger Boche. Majorization and Matrix Monotone Functions in Wireless Communications , volume 3 of Foundations and Trends in Communications and Information Theory . Now publishers, July 2007. pp. 553–701

    work page 2007

  25. [25]

    L¨ owner

    K. L¨ owner. ¨Uber monotone Matrixfunktionen. Math. Z. , 38:177–216, 1934

    work page 1934

  26. [26]

    D. S. Kaliuzhnyi-Verbovetskyi and V. Vinnikov. Foundations of Noncommuta- tive Function Theory. Mathematical Surveys and Monographs, vol. 199. Amer- ican Mathematical Society, Providence, RI, 2014

    work page 2014

  27. [27]

    F. Kraus. ¨Uber konvexe Matrixfunktionen. Math. Z. , 41:18–42, 1936. AUTOMATIC NC REAL ANALYTICITY 21

    work page 1936

  28. [28]

    Monotonic properties of the least squares mean

    Jimmie Lawson and Yongdo Lim. Monotonic properties of the least squares mean. Math. Ann. , 351(2):267 – 279, 2011

    work page 2011

  29. [29]

    P. Lax. Functional Analysis. Wiley, 2002

    work page 2002

  30. [30]

    Some inequalities for Schur complemen ts

    Jianzhou Lin and Jian Wang. Some inequalities for Schur complemen ts. Lin. Alg. Appl. , 293(1):233–241, 1999

    work page 1999

  31. [31]

    Nevanlinna

    R. Nevanlinna. Asymptotisch Entwicklungen beschr¨ ankter Fu nktionen und das Stieltjessche Momentproblem. Ann. Acad. Sci. Fenn. Ser. A , 18, 1922

    work page 1922

  32. [32]

    Note on the structure of th e spaces of ma- trix monotone functions

    Hiroyuki Osaka and Jun Tomiyama. Note on the structure of th e spaces of ma- trix monotone functions. In Kalle ˚ Astr¨ om, Lars-Erik Persson, and Sergei D. Silvestrov, editors, Analysis for Science, Engineering and Beyond , volume 6 of Springer Proceedings in Mathematics , pages 319–324. Springer Berlin Heidel- berg, 2012

    work page 2012

  33. [33]

    L¨ owner’s theorem in several variables

    Miklos Palfia. L¨ owner’s theorem in several variables. preprint, 2018

    work page 2018

  34. [34]

    J. E. Pascoe. A wedge-of-the-edge theorem: analytic contin uation of multi- variable pick functions in and around the boundary. Bulletin of the London Mathematical Society, 49(5):916–925, 2017

    work page 2017

  35. [35]

    J. E. Pascoe. Note on L¨ owner’s theorem on matrix monotone f unctions in several commuting variables of Agler, McCarthy, and Young. Monatsh. Math. , 189:377–381, 2019

    work page 2019

  36. [36]

    J. E. Pascoe. The wedge-of-the-edge theorem: Edge-of-t he-wedge type phe- nomenon within the common real boundary. Canadian Mathematical Bulletin , 62(2):417427, 2019

    work page 2019

  37. [37]

    J. E. Pascoe and R. Tully-Doyle. Free Pick functions: Represen tations, asymp- totic behavior and matrix monotonicity in several noncommuting var iables. Journal of Functional Analysis , 273(1):283 – 328, 2017

    work page 2017

  38. [38]

    J.E. Pascoe. The noncommutative L¨ owner theorem for matrix monotone func- tions over operator systems. Linear Algebra and its Applications , 541:54 – 59, 2018

    work page 2018

  39. [39]

    Pascoe and Ryan Tully-Doyle

    J.E. Pascoe and Ryan Tully-Doyle. Cauchy transforms arising fr om homo- morphic conditional expectations parametrize noncommutative pic k functions. Journal of Mathematical Analysis and Applications , 472(2):1487 – 1498, 2019

    work page 2019

  40. [40]

    Pusz and S.L

    W. Pusz and S.L. Woronowicz. Functional calculus for sesquilinea r forms and the purification map. Reports on Mathematical Physics , 8(2):159 – 170, 1975

    work page 1975

  41. [41]

    W. Rudin. Lectures on the Edge-of-the-Wedge Theorem . AMS, Providence, 1971

    work page 1971

  42. [42]

    Loewner’s Theorem on Monotone Matrix Functions

    Barry Simon. Loewner’s Theorem on Monotone Matrix Functions . Springer, 2019

    work page 2019

  43. [43]

    E. Wigner. On a class of analytic functions from the quantum the ory of colli- sions. Ann. of Math. , 53(1):36–67, 1951

    work page 1951

  44. [44]

    Wigner and J

    E. Wigner and J. v. Neumann. Significance of L¨ owner’s theorem in the quan- tum theory of collisions. Ann. of Math. , 59(2):418–433, 1954

    work page 1954

  45. [45]

    J. D. Williams. Analytic function theory for operator-valued fre e probability. J. Reine. Angew. Math. , 2017(729):119–149, 2015

    work page 2017

  46. [46]

    J. D. Williams. B-Valued Free Convolution for Unbounded Operato rs. To ap- pear in IUMJ, July 2015. 22 J. E. PASCOE AND R. TULLY-DOYLE Department of Mathematics, 1400 Stadium Rd, University of F lorida, Gainesville, FL 32611 E-mail address , J. E. Pascoe: pascoej@ufl.edu Department of Mathematics and Physics, University of New Ha ven, West Haven, CT 06516...

    work page 2015