Weil / CONCEPT
Hermitian Kernel Negative Squares
Finite Gram inertia defines the negative squares of a Hermitian kernel.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES2
PROOF DEPTH5
DOCUMENT LINKS1
A kernel with one negative square exists
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Finite Localized Stieltjes Kernel Factorizationstructural-affinity · Closed
- Finite Spectral Localizerstructural-affinity · Closed
- Full-Rank Inertia Pullbackstructural-affinity · Closed
- Localized Stieltjes and Nevanlinna Kernelsstructural-affinity · Closed
- Localized Stieltjes-to-Weil Quadratic Interfacestructural-affinity · Closed
- Localized-Kernel Negative Coordinate Subspacestructural-affinity · Closed
- LocallyPositiveSpectrumstructural-affinity · Closed
- Mass-Support Kernel Pencilstructural-affinity · Closed
- Observer-Dependent Signed-Support Barcodestructural-affinity · Closed
- Off-Line Curvature Dipolestructural-affinity · Closed
- Pole Capacity Rank Onestructural-affinity · Closed
- Reflected-Pair Curvature Rayleigh Intertwinerstructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance