pith. sign in

arxiv: 2606.25678 · v1 · pith:UGT6OYVPnew · submitted 2026-06-24 · 🧮 math.AP

Brunn--Minkowski Inequality for the First Complex σ₂-Hessian Eigenvalue

Chuanqiang Chen , Jiahuan Li , Xi-Nan Ma This is my paper

Pith reviewed 2026-06-25 20:31 UTC · model grok-4.3

classification 🧮 math.AP
keywords Brunn-Minkowski inequalitycomplex σ₂-Hessian operatorfirst eigenvaluereal log-concavityuniformly strictly convex domainsℂ^nviscosity methods
0
0 comments X

The pith

Strict real log-concavity of the first complex σ₂-Hessian eigenfunction yields a Brunn-Minkowski inequality for its eigenvalue.

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

The paper proves that the first eigenfunction of the complex σ₂-Hessian operator is strictly real log-concave on smooth bounded real uniformly strictly convex domains in ℂ^n. This property is established through a Bian-Guan constant-rank argument together with a new inverse-convexity lemma for the compressed real Hessian and a viscosity admissible-test-function method. The log-concavity is then used to derive a Brunn-Minkowski inequality satisfied by the corresponding first eigenvalue. A reader would care because the result supplies a convexity tool that controls how the eigenvalue changes when domains are combined by Minkowski addition.

Core claim

We prove a strict real log-concavity theorem for the first eigenfunction of the complex σ₂-Hessian operator on smooth, bounded, real uniformly strictly convex domains in ℂ^n. As an application, we obtain a Brunn-Minkowski inequality for the first complex σ₂-Hessian eigenvalue. The proof combines a Bian-Guan constant-rank argument, a new inverse-convexity lemma for the compressed real Hessian, and Salani's viscosity admissible-test-function method.

What carries the argument

Strict real log-concavity of the first eigenfunction of the complex σ₂-Hessian operator, established via constant-rank argument and inverse-convexity lemma for the compressed real Hessian.

If this is right

  • The first complex σ₂-Hessian eigenvalue obeys a Brunn-Minkowski inequality under Minkowski addition of domains.
  • Eigenvalues of convex combinations of domains admit lower bounds derived from the inequality.
  • Level sets of the eigenfunction inherit convexity properties from the log-concavity statement.

Where Pith is reading between the lines

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

  • The same combination of constant-rank and inverse-convexity techniques could be tested on the complex σ_k-Hessian operator for k greater than 2.
  • Equality cases in the Brunn-Minkowski inequality are likely attained when the domains are homothetic ellipsoids.
  • The result supplies a model for obtaining similar inequalities for eigenvalues of other fully nonlinear complex operators on convex domains.

Load-bearing premise

The domain must be real uniformly strictly convex.

What would settle it

Explicit computation or numerical approximation of the first eigenfunction on a specific real uniformly strictly convex domain in ℂ^n that shows the log of the function fails to be strictly concave along some real line segment.

read the original abstract

There are relatively few results on the convexity of solutions to complex equations. In this paper, We prove a strict real log-concavity theorem for the first eigenfunction of the complex $\sigma_{2}$-Hessian operator on smooth, bounded, real uniformly strictly convex domains in $\mathbb{C}^{n}$. As an application, we obtain a Brunn--Minkowski inequality for the first complex $\sigma_{2}$-Hessian eigenvalue. The proof combines a Bian--Guan constant-rank argument, a new inverse-convexity lemma for the compressed real Hessian, and Salani's viscosity admissible-test-function method.

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

0 major / 2 minor

Summary. The manuscript proves a strict real log-concavity theorem for the first eigenfunction of the complex σ₂-Hessian operator on smooth, bounded, real uniformly strictly convex domains in ℂ^n. As an application, it derives a Brunn-Minkowski inequality for the first complex σ₂-Hessian eigenvalue. The proof architecture combines the Bian-Guan constant-rank argument, a new inverse-convexity lemma for the compressed real Hessian, and Salani's viscosity admissible-test-function method.

Significance. If the result holds, the work contributes to the limited body of convexity results for solutions of complex Hessian equations by establishing strict real log-concavity under the stated geometric hypothesis on the domain. The derived Brunn-Minkowski inequality supplies a new geometric consequence in this setting. Credit is due for the introduction of the inverse-convexity lemma and for the internally consistent integration of the three cited techniques under the explicit real-uniform-strict-convexity restriction.

minor comments (2)
  1. [Abstract] Abstract: the phrasing 'In this paper, We prove' contains an extraneous capital letter on 'We'.
  2. Ensure that the notation for the complex σ₂-Hessian operator and the compressed real Hessian is introduced with explicit definitions before its first use in the main text.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment and the recommendation to accept the manuscript. The report accurately summarizes the main results and the proof strategy.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper is a pure existence/proof result establishing a strict real log-concavity theorem for the first eigenfunction of the complex σ₂-Hessian operator on uniformly strictly convex domains, followed by the Brunn-Minkowski application. The argument chain invokes the external Bian-Guan constant-rank theorem, a newly proved inverse-convexity lemma on the compressed real Hessian, and Salani viscosity test functions; none of these steps reduce by definition or by self-citation to the target inequality itself. No parameters are fitted, no quantities are renamed as predictions, and the geometric hypothesis is stated explicitly rather than smuggled in. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no explicit free parameters, background axioms, or new postulated entities; full text required to populate the ledger.

pith-pipeline@v0.9.1-grok · 5638 in / 1094 out tokens · 28027 ms · 2026-06-25T20:31:34.093049+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

26 extracted references · 1 linked inside Pith

  1. [1]

    and Lasry, J.-M

    Alvarez, O. and Lasry, J.-M. and Lions, P.-L. , title =. J. Math. Pures Appl. , volume =. 1997 , pages =

    1997

  2. [2]

    and Guan, P

    Bian, B. and Guan, P. , title =. Invent. Math. , volume =. 2009 , pages =

    2009

  3. [3]

    and Guan, P

    Bian, B. and Guan, P. , title =. Discrete Contin. Dyn. Syst. , volume =. 2010 , pages =

    2010

  4. [4]

    Bauschke, H. H. and Guler, O. and Lewis, A. S. and Sendov, H. S. , title =. Canad. J. Math. , volume =. 2001 , pages =

    2001

  5. [5]

    Brascamp, H. J. and Lieb, E. H. , title =. J. Funct. Anal. , volume =. 1976 , pages =

    1976

  6. [6]

    and Zeriahi, A

    Badiane, P. and Zeriahi, A. , title =. arXiv preprint arXiv:2306.04437 , year =

    arXiv

  7. [7]

    and Liu, Y

    Chu, J. and Liu, Y. and McCleerey, N. , title =. J. Funct. Anal. , volume=

  8. [8]

    , title =

    Colesanti, A. , title =. Adv. Math. , volume =. 2005 , pages =

    2005

  9. [9]

    and Salani, P

    Colesanti, A. and Salani, P. , title =. Nonlinear Anal. , volume =. 1999 , pages =

    1999

  10. [10]

    Dinew, S. and Ko. A priori estimates for the complex. Anal. PDE , volume=. 2014 , pages =

    2014

  11. [11]

    Dinew, S. and Ko. Amer. J. Math. , vloume=. 2017 , pages=

    2017

  12. [12]

    , title =

    Garding, L. , title =. J. Math. Mech. , volume =. 1959 , pages =

    1959

  13. [13]

    and Ma, X.-N

    Hou, Z. and Ma, X.-N. and Wu, D. , title =. Math. Res. Lett. , volume =. 2010 , pages =

    2010

  14. [14]

    and Ma, X.-N

    Liu, P. and Ma, X.-N. and Xu, L. , title =. Adv. Math. , volume =. 2010 , pages =

    2010

  15. [15]

    , title =

    Renegar, J. , title =. Found. Comput. Math. , volume =. 2006 , pages =

    2006

  16. [16]

    Rockafellar, R. T. , title =

  17. [17]

    , title =

    Salani, P. , title =. Adv. Math. , volume =. 2005 , pages =

    2005

  18. [18]

    , title =

    Salani, P. , title =. Adv. Math. , volume =. 2012 , pages =

    2012

  19. [19]

    Urbas, J. I. E. , title =. Indiana Univ. Math. J. , volume =. 1990 , pages =

    1990

  20. [20]

    , title =

    Wang, X.-J. , title =. Indiana Univ. Math. J. , volume =. 1994 , pages =

    1994

  21. [21]

    and Picard, Sebastien , title =

    Collins, Tristan C. and Picard, Sebastien , title =. Amer. J. Math. , volume =. 2022 , pages =

    2022

  22. [22]

    and Nirenberg, L

    Caffarelli, L. and Nirenberg, L. and Spruck, J. , title =. Acta Math. , volume =. 1985 , pages =

    1985

  23. [23]

    , title =

    Korevaar, N. , title =. Indiana Univ. Math. J. , volume =. 1983 , pages =

    1983

  24. [24]

    and Friedman, A

    Caffarelli, L. and Friedman, A. , title =. Duke Math. J. , volume =. 1985 , pages =

    1985

  25. [25]

    arXiv preprint arXiv:2606.22847 , year =

    Jiahuan, Li and Xi-Nan, Ma and Paolo, Salani , title =. arXiv preprint arXiv:2606.22847 , year =

    Pith/arXiv arXiv

  26. [26]

    Adv.Nonlinear Stud

    Zhang, Dekai , title =. Adv.Nonlinear Stud. , volume =. 2022 , pages =

    2022