Spectral protection and the geometry of recognition polytopes
DOI:
https://doi.org/10.67166/45p68g14Keywords:
recognition geometry; compatible matching; recognition polytope; positive semidefinite matrices; spectral protection; metric geometry; anomalous hexagon.Abstract
This work develops the spectral geometry associated with the recognition principle established in the first paper of this series. From the normalized recognition function R(H,K) = m(H,K)/N, where m(H,K) denotes the maximum size of a compatible matching between uniform linear histories, we introduce the Recognition Polytope Pₖ as the convex set of symmetric k × k matrices with unit diagonal whose entries satisfy the subadditivity constraints induced by Recognition Geometry. We prove that every realizable recognition matrix belongs to Pₖ, making this polytope an outer approximation of the realizable set Rₖ. We then study the relationship between Pₖ and the cone Cₖ of positive semidefinite matrices. We prove that P₃ is contained in C₃ and identify a phenomenon of Spectral Protection in a symmetric cyclic four-point family, where the combinatorial boundary coincides with the spectral boundary. Finally, we construct explicitly an Anomalous Hexagon, a matrix belonging to P₆ but not to C₆, by exhibiting a negative eigenvalue. This result demonstrates that local recognition constraints are insufficient to characterize the global realizable structure. We therefore formulate the Recognition Obstruction Principle and identify open problems concerning the characterization of Rₖ, positive semidefiniteness of the recognition kernel, and the discovery of additional global constraints.
Downloads
References
Aronszajn, N. (1950). Theory of reproducing kernels. Transactions of the American Mathematical Society, 68(3), 337–404. https://doi.org/10.1090/S0002-9947-1950-0051437-7
Blumenthal, L. M. (1953). Theory and applications of distance geometry. Oxford University Press.
Chung, F. R. K. (1997). Spectral graph theory (CBMS Regional Conference Series in Mathematics, Vol. 92). American Mathematical Society.
Davis, P. J. (1994). Circulant matrices (2nd ed.). AMS Chelsea Publishing.
Deza, M. M., & Laurent, M. (1997). Geometry of cuts and metrics (Algorithms and Combinatorics, Vol. 15). Springer. https://doi.org/10.1007/978-3-642-04295-9
Sancho Lagla, J. E. (2025). Recognition geometry III: Geodesic factorization and recognition transport [Preprint].
Sancho Lagla, J. E. (2026). Recognition geometry I: Maximum compatible matchings induce a pseudometric on uniform linear histories. Sercapo Journal Scientific, 3(3), 718–730. https://doi.org/10.67166/c9cv5070
Schoenberg, I. J. (1938). Metric spaces and positive definite functions. Transactions of the American Mathematical Society, 44(3), 522–536. https://doi.org/10.1090/S0002-9947-1938-1501980-0
Vert, J.-P. (2008). The optimal assignment kernel is not positive definite [Preprint]. arXiv. https://doi.org/10.48550/arXiv.0801.4061
Downloads
Published
Issue
Section
License
Copyright (c) 2026 Jorge Esteban Sancho Lagla (Autor/a)

This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.



