$\hat{H}$-eigenvalues of Hermitian tensors and some applications

Haojie Chen; Yang Yang

REVIEW 2 major objections 2 minor 1 cited by

$\hat{H}$-eigenvalues of Hermitian tensors and some applications

T0 review · 2 major / 2 minor · reviewed 2026-08-05 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper introduces a new eigenvalue notion, the $\hat{H}$-eigenvalue, for even-order complex tensors, and shows its inclusion sets yield checkable criteria for Hermitian positive definiteness and semi-definiteness, with applications to ho

desk verdict Abstract-only read: the hat-H eigenvalue idea is worth a referee if the full paper proves the definiteness bridge; nothing in the abstract makes me believe it fails. read the letter →

arxiv 2508.12476 v1 pith:IFBRQKGW submitted 2025-08-17 math.SP math.DG

Haojie Chen , Yang Yang This is my paper · ORCID

classification math.SPmath.DG MSC 15A1815A69

keywords $\hat{H}$-eigenvalueHermitiantensorCPSinclusionsetspositivedefinitenessholomorphicsectionalcurvatureeven-ordercomplexeigenvaluelocalization

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper introduces a new spectral invariant for tensors of even order: the $\hat{H}$-eigenvalue of a $2m$-th order, $n$-dimensional complex tensor. The authors show that $\hat{H}$-eigenvalues can be localized in several explicitly computable inclusion sets, and that the location of these sets relative to the real axis determines whether the tensor is Hermitian positive definite or semidefinite. The same criteria extend to CPS tensors. Since Hermitian definiteness of even-order tensors is the tensor analogue of positive definiteness of Hermitian matrices, the result gives a checkable algebraic test for a property that appears in optimization and complex differential geometry. The paper closes by using the framework to reprove the algebraic part of two recent curvature results in complex geometry.

What carries the argument

The $\hat{H}$-eigenvalue is a tensor-eigenvalue notion designed for Hermitian tensors of even order $2m$; it plays the role that the $H$-eigenvalue plays for real symmetric tensors. The main devices are inclusion sets: regions of the complex plane that are guaranteed to contain all $\hat{H}$-eigenvalues and are built from the moduli of the tensor's slice entries, so they are directly checkable. The load-bearing bridge is the equivalence between the sign location of $\hat{H}$-eigenvalues (or the inclusion sets containing them) and Hermitian positive (semi)definiteness.

What would settle it

Take a small concrete Hermitian tensor (for example, order $4$, dimension $2$) and compute its $\hat{H}$-eigenvalues and inclusion sets; if all eigenvalues lie in the right half-plane but the tensor is not positive definite, or if an inclusion set fails to contain an eigenvalue found by direct computation, the central claim is refuted.

Watch

Extended reading notes

Core claim

The central claim is that $\hat{H}$-eigenvalues provide a complete spectral certificate of Hermitian (semi)definiteness: a Hermitian tensor is positive (semi)definite if and only if all its $\hat{H}$-eigenvalues have positive (nonnegative) real parts, and this conclusion can already be read off from inclusion sets that are constructed directly from tensor entries. This reduces a high-dimensional definiteness question to a finite list of explicit inequalities. Applied to holomorphic sectional curvature, the criterion yields a self-contained proof of the algebraic content of the curvature results of Alvarez–Heier–Zheng and Chaturvedi–Heier.

Load-bearing premise

The criteria assume that the sign location of the $\hat{H}$-eigenvalues—and of the inclusion sets containing them—exactly captures Hermitian positive definiteness and semi-definiteness; if that equivalence fails, the paper's definiteness tests collapse.

Editorial extensions

If this is right

Hermitian positive definiteness of a $2m$-th order tensor can be certified by a finite set of inequalities obtained from the inclusion sets, avoiding full spectral computation.
The same criteria apply to CPS tensors, giving a unified spectral definiteness test for both Hermitian and CPS tensors.
The $\hat{H}$-eigenvalue framework yields a new algebraic proof of the holomorphic sectional curvature results of Alvarez–Heier–Zheng and Chaturvedi–Heier.
The inclusion sets provide practical eigenvalue localization bounds that are computable directly from the tensor entries.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If the definiteness bridge holds beyond the stated classes, one could use the inclusion sets as a drop-in positivity test in polynomial and tensor optimization, where Hermitian definiteness checks are often the bottleneck.
The same construction might adapt to mixed-order or rectangular tensors, yielding sign certificates for other convexity or nonnegativity properties.
The reproof of the curvature results suggests that tensor eigenvalue methods could unify several known positivity criteria in complex differential geometry.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Quick take, since I only have the abstract: this could be a real contribution, but the whole thing hangs on an equivalence the abstract doesn't state. You introduce hat-H eigenvalues for even-order complex tensors, give inclusion sets, then claim to certify Hermitian positive definiteness and semi-definiteness. That only works if the sign of hat-H eigenvalues actually characterizes the tensor's Hermitian quadratic form. The abstract gives neither the definition nor the bridge proof. That's not damning—abstracts omit details—but it means I can't verify the central claim.

What looks genuinely new: the hat-H eigenvalue itself, the inclusion sets, and the definiteness criteria for Hermitian and CPS tensors. The reproof of the algebraic part of the Alvarez-Heier-Zheng and Chaturvedi-Heier results is a smart external check; if the reproof is faithful, that's evidence the framework is doing something real.

The soft spots are mostly about what's missing. The term 'CPS' is unexplained here. 'Criterions' should be 'criteria.' And I'd want to see how hat-H relates to existing tensor eigenvalue notions—H-eigenvalues, Z-eigenvalues, etc. If it's just a repackaging, the novelty drops.

The stress-test note I got says the criteria need a bridge theorem. I agree that's the load-bearing point. But I don't see a contradiction from the abstract; it's an unstated step, not an observed flaw. Any referee would need to check that bridge carefully, especially the CPS constraint.

For me: this deserves a serious referee. The claims are checkable, the geometric application gives an independent benchmark, and the definition is new enough to be interesting. If the bridge holds, it's a solid paper. If not, the inclusion sets may still be useful, but the definiteness criteria would be empty.

I wouldn't cite it before reading the full text, but I'd bring it to a reading group to work through the definition. Send it to review.

Referee Report

2 major / 2 minor

Summary. The paper (arXiv:2508.12476, math.SP) introduces a new spectral notion, the \hat{H}-eigenvalue, for 2m-th order n-dimensional complex tensors. It claims to provide several checkable inclusion sets for these eigenvalues and to derive criteria for Hermitian positive definiteness/semi-definiteness of Hermitian and CPS tensors. As an application, the framework is used to study holomorphic sectional curvature in complex differential geometry and to reprove the algebraic part of recent results by Alvarez-Heier-Zheng and Chaturvedi-Heier. The present review is based solely on the abstract, as the full text was not available.

Significance. If the claims hold, the paper would introduce a new spectral tool for Hermitian and CPS tensors with explicit, checkable inclusion sets and definiteness criteria, and would provide a unified algebraic proof of known curvature results. The reproof of published geometric results is a valuable external consistency check and strengthens the plausibility of the framework. The paper also carries potential applications in tensor optimization and complex differential geometry. However, since only the abstract is available, the correctness and novelty of the core construction cannot be independently verified.

major comments (2)

[Abstract] The central claim that inclusion sets for \hat{H}-eigenvalues yield criteria for Hermitian positive definiteness/semi-definiteness requires an unstated bridge theorem: for a Hermitian (or CPS) tensor A, A is positive (semi)definite iff all \hat{H}-eigenvalues are positive (nonnegative), or at least that the sign of the smallest \hat{H}-eigenvalue controls the quadratic form. The abstract does not state the definition of the \hat{H}-eigenvalue, the class of eigenvectors allowed (Hermitian vs. general complex), or a proof of the spectral-to-definiteness equivalence. Inclusion sets alone cannot certify definiteness unless that bridge is established. This is the load-bearing step for the applications to holomorphic sectional curvature. A concrete check would be to verify whether the smallest \hat{H}-eigenvalue of a Hermitian tensor equals the minimum of the associated Hermitian form over the
[Abstract] The phrase 'criterions' suggests non-native usage; more importantly, the abstract does not specify whether the definiteness criteria are necessary and sufficient, or merely sufficient. For applications to holomorphic sectional curvature, both directions appear necessary to reprove the algebraic part of Alvarez-Heier-Zheng and Chaturvedi-Heier. If the criteria are only sufficient, the reproof claim may be weaker than stated. The manuscript should clarify the logical status of each criterion.

minor comments (2)

[Abstract] Grammar: 'criterions' should be 'criteria'.
[General] The abstract mentions 'checkable inclusion sets' but does not specify the computational cost or the shape of the sets (e.g., Gershgorin-type, Brauer-type, or S-type). A sentence or two in the abstract would help readers assess the practical value.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found in abstract-only review

full rationale

The reviewable material is only the abstract. No derivation chain, equations, definitions, or citations are available, so no self-definitional reduction, fitted-input-called-prediction step, or load-bearing self-citation can be exhibited. The central concern raised by the reader is that the abstract does not state or prove the bridge theorem connecting hat-H eigenvalues to Hermitian positive definiteness; that is a verification gap or an unstated assumption, not an observed circularity. Per the hard rules, circularity can only be flagged when the paper's own text permits exhibiting the specific reduction, which is impossible here. External benchmark claims (reproving Alvarez-Heier-Zheng and Chaturvedi-Heier) would, if substantiated in the full text, tend to lower circularity risk rather than raise it. Therefore the honest finding is no significant circularity, score 0.

Assumptions & free parameters 0 free parameters · 3 assumptions · 1 invented entities

This is a proof-based pure mathematics paper; the abstract discloses no data fitting, so free_parameters is empty. The hat-H eigenvalue is listed under invented_entities as a new mathematical object with no independent falsifiable handle beyond the paper's theorems. The axioms listed are the standard spectral background and the external geometric results the paper relies on as benchmarks.

assumptions (3)

domain assumption Standard spectral theory of tensors, including H-eigenvalue and Z-eigenvalue theory and eigenvalue localization or inclusion set results
The abstract's 'checkable inclusion sets' and 'criteria for positive definiteness' presuppose this background framework, which is standard in the tensor eigenvalue literature but not proved in the paper.
domain assumption The equivalence, or at least a sufficient condition, between positivity of all eigenvalues and Hermitian positive definiteness for Hermitian tensors
The definiteness criteria derived from hat-H eigenvalues rely on the classical bridge between tensor spectra and definiteness; the paper must establish this bridge for the new eigenvalue notion.
domain assumption The algebraic form of the known results by Alvarez-Heier-Zheng and Chaturvedi-Heier on holomorphic sectional curvature
The application section reproves 'the algebraic part' of these results, so the statements and framework of those papers are assumed as background.

invented entities (1)

The hat-H eigenvalue for 2m-th order n-dimensional complex tensors
purpose: Provides a new spectral notion whose inclusion sets yield checkable criteria for Hermitian positive definiteness and semi-definiteness, and a tool to reformulate holomorphic sectional curvature conditions
A newly introduced mathematical object whose value is demonstrated through the paper's own theorems and by reproving known curvature results. It has no falsifiable handle outside the paper itself; the reproof of external results is a consistency benchmark for the framework, not independent evidence of the entity.

how reviews work

0 comments

Cite this review

Pith. "Pith review of $\hat{H}$-eigenvalues of Hermitian tensors and some applications." pith.science (2026). https://pith.science/paper/IFBRQKGW

@misc{pith2026250812476,
  author       = {Pith},
  title        = {Pith review of: $\hatH$-eigenvalues of Hermitian tensors and some applications},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IFBRQKGW}},
  note         = {Machine review of arXiv:2508.12476}
}

abstract

We introduce $\hat{H}$-eigenvalue for $2m$-th order $n$-dimensional complex tensors. Then we determine several checkable inclusion sets for $\hat{H}$-eigenvalues and derive some criterions for the Hermitian positive definiteness (semi-definiteness) of Hermitian and CPS tensors. We also apply the Hermitian tensors to study holomorphic sectional curvature in complex differential geometry and reprove the algebraic part of recent results by Alvarez-Heier-Zheng and Chaturvedi-Heier.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Higher Degree $t$-Hermitian Forms and Positivity-Preserving Contractions
math.SP 2026-02 reject novelty 4.0 of 10

The paper proposes higher-degree t-Hermitian forms with an FFT-based spectral theory, but the core conjugation identity is inconsistent, so the central claims fail as stated.

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.