{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,12]],"date-time":"2026-05-12T08:39:10Z","timestamp":1778575150484,"version":"3.51.4"},"reference-count":63,"publisher":"MDPI AG","issue":"2","license":[{"start":{"date-parts":[[2026,1,26]],"date-time":"2026-01-26T00:00:00Z","timestamp":1769385600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Axioms"],"abstract":"<jats:p>We introduce Recognition Geometry (RG), an axiomatic framework in which geometric structure is not assumed a priori but derived. The starting point of the theory is a configuration space together with recognizers that map configurations to observable events. Observational indistinguishability induces an equivalence relation, and the observable space is obtained as a recognition quotient. Locality is introduced through a neighborhood system, without assuming any metric or topological structure. A finite local resolution axiom formalizes the fact that any observer can distinguish only finitely many outcomes within a local region. We prove that the induced observable map R\u00af:CR\u2192E is injective, establishing that observable states are uniquely determined by measurement outcomes with no hidden structure. The framework connects deeply with existing approaches: C*-algebraic quantum theory, information geometry, categorical physics, causal set theory, noncommutative geometry, and topos-theoretic foundations all share the measurement-first philosophy, yet RG provides a unified axiomatic foundation synthesizing these perspectives. Comparative recognizers allow us to define order-type relations based on operational comparison. Under additional assumptions, quantitative notions of distinguishability can be introduced in the form of recognition distances, defined as pseudometrics. Several examples are provided, including threshold recognizers on Rn, discrete lattice models, quantum spin measurements, and an example motivated by Recognition Science. In the last part, we develop the composition of recognizers, proving that composite recognizers refine quotient structures and increase distinguishing power. We introduce symmetries and gauge equivalence, showing that gauge-equivalent configurations are necessarily observationally indistinguishable, though the converse does not hold in general. A significant part of the axiomatic framework and the main constructions are formalized in the Lean 4 proof assistant, providing an independent verification of logical consistency.<\/jats:p>","DOI":"10.3390\/axioms15020090","type":"journal-article","created":{"date-parts":[[2026,1,27]],"date-time":"2026-01-27T09:21:40Z","timestamp":1769505700000},"page":"90","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Recognition Geometry"],"prefix":"10.3390","volume":"15","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-8868-7497","authenticated-orcid":false,"given":"Jonathan","family":"Washburn","sequence":"first","affiliation":[{"name":"Recognition Physics Institute, Austin, TX 78701, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0318-1092","authenticated-orcid":false,"given":"Milan","family":"Zlatanovi\u0107","sequence":"additional","affiliation":[{"name":"Faculty of Science and Mathematics, University of Ni\u0161, 18000 Ni\u0161, Serbia"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7212-4713","authenticated-orcid":false,"given":"Elshad","family":"Allahyarov","sequence":"additional","affiliation":[{"name":"Recognition Physics Institute, Austin, TX 78701, USA"},{"name":"Institut f\u00fcr Theoretische Physik II: Weiche Materie, Heinrich-Heine-Universit\u00e4t D\u00fcsseldorf, 40225 D\u00fcsseldorf, Germany"},{"name":"Theoretical Department, Joint Institute for High Temperatures, Russian Academy of Sciences, Moscow 125412, Russia"},{"name":"Department of Physics, Case Western Reserve University, Cleveland, OH 44106-7202, USA"}]}],"member":"1968","published-online":{"date-parts":[[2026,1,26]]},"reference":[{"key":"ref_1","unstructured":"Stankovi\u0107, M., and Zlatanovi\u0107, M. (2016). Non-Euclidean Geometry, Faculty of Sciences and Mathematics."},{"key":"ref_2","doi-asserted-by":"crossref","unstructured":"Lee, J.M. (2012). Introduction to Smooth Manifolds, Springer. [3rd ed.].","DOI":"10.1007\/978-1-4419-9982-5"},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"769","DOI":"10.1002\/andp.19163540702","article-title":"Die Grundlage der allgemeinen Relativit\u00e4tstheorie","volume":"354","author":"Einstein","year":"1916","journal-title":"Ann. Phys."},{"key":"ref_4","doi-asserted-by":"crossref","unstructured":"Wald, R.M. (1984). General Relativity, University of Chicago Press.","DOI":"10.7208\/chicago\/9780226870373.001.0001"},{"key":"ref_5","unstructured":"Penrose, R. (2004). The Road to Reality, Jonathan Cape."},{"key":"ref_6","unstructured":"Weyl, H. (1952). Space, Time, Matter, Dover Publications. [4th  ed.]. (In German)."},{"key":"ref_7","doi-asserted-by":"crossref","unstructured":"Malament, D.B. (2012). Topics in the Foundations of General Relativity and Newtonian Gravitation Theory, University of Chicago Press.","DOI":"10.7208\/chicago\/9780226502472.001.0001"},{"key":"ref_8","doi-asserted-by":"crossref","unstructured":"Geroch, R. (1985). Mathematical Physics, University of Chicago Press.","DOI":"10.7208\/chicago\/9780226223063.001.0001"},{"key":"ref_9","doi-asserted-by":"crossref","first-page":"988","DOI":"10.1007\/s10773-010-0278-5","article-title":"Time and Spacetime: The Crystallizing Block Universe","volume":"49","author":"Ellis","year":"2010","journal-title":"Int. J. Theor. Phys."},{"key":"ref_10","unstructured":"Riesz, F., and Sz-Nagy, B. (1990). Functional Analysis, Dover Publications."},{"key":"ref_11","first-page":"197","article-title":"On the embedding of normed rings into the ring of operators in Hilbert space","volume":"12","author":"Gelfand","year":"1943","journal-title":"Mat. Sb."},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"930","DOI":"10.2307\/1969387","article-title":"Postulates for general quantum mechanics","volume":"48","author":"Segal","year":"1947","journal-title":"Ann. Math."},{"key":"ref_13","unstructured":"von Neumann, J. (1955). Mathematical Foundations of Quantum Mechanics, Princeton University Press."},{"key":"ref_14","doi-asserted-by":"crossref","unstructured":"Wheeler, J.A., and Zurek, W.H. (1983). Quantum Theory and Measurement, Princeton University Press.","DOI":"10.1515\/9781400854554"},{"key":"ref_15","unstructured":"Hardy, L. (2001). Quantum Theory From Five Reasonable Axioms. arXiv."},{"key":"ref_16","doi-asserted-by":"crossref","unstructured":"Piron, C. (1976). Foundations of Quantum Physics, W.A. Benjamin.","DOI":"10.1007\/978-94-010-1440-3_7"},{"key":"ref_17","doi-asserted-by":"crossref","first-page":"1693","DOI":"10.1103\/RevModPhys.85.1693","article-title":"Quantum-Bayesian Coherence","volume":"85","author":"Fuchs","year":"2013","journal-title":"Rev. Mod. Phys."},{"key":"ref_18","doi-asserted-by":"crossref","first-page":"022305","DOI":"10.1103\/PhysRevA.65.022305","article-title":"Quantum probabilities as Bayesian probabilities","volume":"65","author":"Caves","year":"2002","journal-title":"Phys. Rev. A"},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"1637","DOI":"10.1007\/BF02302261","article-title":"Relational Quantum Mechanics","volume":"35","author":"Rovelli","year":"1996","journal-title":"Int. J. Theor. Phys."},{"key":"ref_20","unstructured":"Zalta, E.N. (2021). Relational quantum mechanics. Stanford Encyclopedia of Philosophy, Summer 2021 ed., Metaphysics Research Lab, Stanford University."},{"key":"ref_21","doi-asserted-by":"crossref","unstructured":"Isham, C.J. (1995). Lectures on Quantum Theory: Mathematical and Structural Foundations, Imperial College Press.","DOI":"10.1142\/p001"},{"key":"ref_22","unstructured":"Landsman, N.P. (2017). Foundations of Quantum Theory: From Classical Concepts to Operator Algebras, Springer."},{"key":"ref_23","unstructured":"Varadarajan, V.S. (2007). Geometry of Quantum Theory, Springer. [2nd ed.]."},{"key":"ref_24","unstructured":"Svozil, K. (1998). Quantum Logic, Springer."},{"key":"ref_25","doi-asserted-by":"crossref","first-page":"631","DOI":"10.1023\/A:1018820410908","article-title":"A foundational principle for quantum mechanics","volume":"29","author":"Zeilinger","year":"1999","journal-title":"Found. Phys."},{"key":"ref_26","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1002\/cpa.3160130102","article-title":"The unreasonable effectiveness of mathematics in the natural sciences","volume":"13","author":"Wigner","year":"1960","journal-title":"Commun. Pure Appl. Math."},{"key":"ref_27","doi-asserted-by":"crossref","unstructured":"Bratteli, O., and Robinson, D.W. (1987). Operator Algebras and Quantum Statistical Mechanics, Springer. [2nd ed.].","DOI":"10.1007\/978-3-662-02520-8"},{"key":"ref_28","doi-asserted-by":"crossref","unstructured":"Haag, R. (1996). Local Quantum Physics: Fields, Particles, Algebras, Springer. [2nd ed.].","DOI":"10.1007\/978-3-642-61458-3"},{"key":"ref_29","doi-asserted-by":"crossref","unstructured":"Streater, R.F., and Wightman, A.S. (2000). PCT, Spin and Statistics, and All That, Princeton University Press.","DOI":"10.1515\/9781400884230"},{"key":"ref_30","unstructured":"Schweber, S.S. (1961). An Introduction to Relativistic Quantum Field Theory, Row, Peterson and Company."},{"key":"ref_31","unstructured":"Raimondi, V., and Ropke, G. (2021). Statistical Approach to Quantum Field Theory, Springer. [2nd ed.]."},{"key":"ref_32","doi-asserted-by":"crossref","first-page":"133","DOI":"10.4064\/sm-9-1-133-138","article-title":"On extreme points of regular convex sets","volume":"9","author":"Krein","year":"1940","journal-title":"Stud. Math."},{"key":"ref_33","doi-asserted-by":"crossref","unstructured":"Abramsky, S., and Coecke, B. (2004). A Categorical Semantics of Quantum Protocols. Proceedings of LICS 2004, IEEE Computer Society.","DOI":"10.1109\/LICS.2004.1319636"},{"key":"ref_34","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1080\/00107510903257624","article-title":"Quantum Picturalism","volume":"51","author":"Coecke","year":"2010","journal-title":"Contemp. Phys."},{"key":"ref_35","doi-asserted-by":"crossref","unstructured":"Lawvere, F.W., and Schanuel, S.H. (2009). Conceptual Mathematics: A First Introduction to Categories, Cambridge University Press.","DOI":"10.1017\/CBO9780511804199"},{"key":"ref_36","doi-asserted-by":"crossref","unstructured":"Lurie, J. (2009). Higher Topos Theory, Princeton University Press.","DOI":"10.1515\/9781400830558"},{"key":"ref_37","doi-asserted-by":"crossref","first-page":"053515","DOI":"10.1063\/1.2883740","article-title":"A Topos Foundation for Theories of Physics","volume":"49","author":"Isham","year":"2008","journal-title":"J. Math. Phys."},{"key":"ref_38","doi-asserted-by":"crossref","unstructured":"Jaynes, E.T. (2003). Probability Theory: The Logic of Science, Cambridge University Press.","DOI":"10.1017\/CBO9780511790423"},{"key":"ref_39","doi-asserted-by":"crossref","unstructured":"Amari, S. (1985). Differential-Geometrical Methods in Statistics, Springer. Lecture Notes in Statistics 28.","DOI":"10.1007\/978-1-4612-5056-2"},{"key":"ref_40","doi-asserted-by":"crossref","unstructured":"Amari, S. (2016). Information Geometry and Its Applications, Springer.","DOI":"10.1007\/978-4-431-55978-8"},{"key":"ref_41","doi-asserted-by":"crossref","unstructured":"Frieden, B.R. (1998). Physics from Fisher Information, Cambridge University Press.","DOI":"10.1017\/CBO9780511622670"},{"key":"ref_42","unstructured":"Caticha, A. (2012). Entropic Inference and the Foundations of Physics, The International Society for Bayesian Analysis-ISBrA. Monograph commissioned by the 11th Brazilian Meeting on Bayesian Statistics."},{"key":"ref_43","unstructured":"Kolmogorov, A.N. (1956). Foundations of the Theory of Probability, Chelsea Publishing Company. [2nd ed.]."},{"key":"ref_44","unstructured":"Suppes, P. (2002). Representation and Invariance of Scientific Structures, CSLI Publications."},{"key":"ref_45","unstructured":"Johnstone, P.T. (1986). Stone Spaces, Cambridge University Press. Cambridge Studies in Advanced Mathematics 3."},{"key":"ref_46","unstructured":"Vickers, S. (1989). Topology via Logic, Cambridge University Press. Cambridge Tracts in Theoretical Computer Science 5."},{"key":"ref_47","unstructured":"Ad\u00e1mek, J., Herrlich, H., and Strecker, G.E. (1990). Abstract and Concrete Categories: The Joy of Cats, Wiley."},{"key":"ref_48","doi-asserted-by":"crossref","unstructured":"Skordev, D. (1987). Intuitionistic formal spaces\u2014A first communication. Mathematical Logic and Its Applications, Plenum.","DOI":"10.1007\/978-1-4613-0897-3"},{"key":"ref_49","unstructured":"Ehresmann, C. (1965). Categories et Structures, Dunod."},{"key":"ref_50","doi-asserted-by":"crossref","unstructured":"Grothendieck, A. (1960). \u00c9l\u00e9ments de G\u00e9om\u00e9trie Alg\u00e9brique, Publications Math\u00e9matiques de l\u2019IH\u00c9S.","DOI":"10.1007\/BF02684778"},{"key":"ref_51","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1103\/PhysRevLett.59.521","article-title":"Space-time as a causal set","volume":"59","author":"Bombelli","year":"1987","journal-title":"Phys. Rev. Lett."},{"key":"ref_52","doi-asserted-by":"crossref","unstructured":"Sorkin, R.D. (2005). Causal Sets: Discrete Gravity. Lectures on Quantum Gravity, Springer.","DOI":"10.1007\/0-387-24992-3_7"},{"key":"ref_53","doi-asserted-by":"crossref","unstructured":"Rovelli, C. (2004). Quantum Gravity, Cambridge University Press.","DOI":"10.1017\/CBO9780511755804"},{"key":"ref_54","unstructured":"Connes, A. (1994). Noncommutative Geometry, Academic Press."},{"key":"ref_55","unstructured":"Wolfram, S. (2002). A New Kind of Science, Wolfram Media."},{"key":"ref_56","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/JHEP04(2011)029","article-title":"On the Origin of Gravity and the Laws of Newton","volume":"2011","author":"Verlinde","year":"2011","journal-title":"J. High Energy Phys."},{"key":"ref_57","doi-asserted-by":"crossref","unstructured":"Heller, M., and Woodin, W.H. (2011). Infinity: New Research Frontiers, Cambridge University Press.","DOI":"10.1017\/CBO9780511976889"},{"key":"ref_58","doi-asserted-by":"crossref","unstructured":"Teller, P. (1995). An Interpretive Introduction to Quantum Field Theory, Princeton University Press.","DOI":"10.1515\/9780691216294"},{"key":"ref_59","doi-asserted-by":"crossref","unstructured":"Busch, P., Lahti, P., Pellonp\u00e4\u00e4, J.-P., and Ylinen, K. (2016). Quantum Measurement, Springer.","DOI":"10.1007\/978-3-319-43389-9"},{"key":"ref_60","unstructured":"Munkres, J. (2000). Topology, Prentice Hall. [2nd ed.]."},{"key":"ref_61","unstructured":"Mac Lane, S. (1998). Categories for the Working Mathematician, Springer. [2nd ed.]."},{"key":"ref_62","unstructured":"Chentsov, N.N. (1982). Statistical Decision Rules and Optimal Inference, American Mathematical Society."},{"key":"ref_63","doi-asserted-by":"crossref","unstructured":"Platzer, A., and Sutcliffe, G. (2021). The Lean 4 Theorem Prover and Programming Language. Automated Deduction\u2014CADE 28. CADE 2021, Springer. Lecture Notes in Computer Science.","DOI":"10.1007\/978-3-030-79876-5"}],"container-title":["Axioms"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2075-1680\/15\/2\/90\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T05:15:56Z","timestamp":1769836556000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2075-1680\/15\/2\/90"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,1,26]]},"references-count":63,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2026,2]]}},"alternative-id":["axioms15020090"],"URL":"https:\/\/doi.org\/10.3390\/axioms15020090","relation":{},"ISSN":["2075-1680"],"issn-type":[{"value":"2075-1680","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,1,26]]}}}