Search Results (11)

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 $\overline{R}:{\mathcal{C}}_R\to \mathcal{E}$ 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 ${\mathbb{R}}^n$, 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. Full article

The mathematical universe of the quantum topos, which is formulated on the basis of classical Boolean snapshots, delivers a neo-realist description of quantum mechanics that preserves realism. The main contribution of this article is developing formal objectivity in physical theories beyond quantum mechanics in the topos-theory approach. It will be shown that neo-realist responses to non-perturbative structures of quantum field theory do not preserve realism. In this regard, the method of Feynman graphons is applied to reframe the task of describing objectivity in quantum field theory in terms of replacing the standard Hilbert-space/operator-algebra ontology with a new context category built from a certain family of topological Hopf subalgebras of the topological Hopf algebra of renormalization as algebraic/combinatorial data tied to non-perturbative structures. This topological-Hopf-algebra ontology, which is independent of instrumentalist probabilities, enables us to reconstruct gauge field theories on the basis of the mathematical universe of the non-perturbative topos. The non-Boolean logic of the non-perturbative topos cannot be recovered by classical Boolean snapshots, which is in contrast to the quantum-topos reformulation of quantum mechanics. The article formulates a universal version of the non-perturbative topos to show that quantum field theory is a globally and locally neo-realist theory which can be reconstructed independent of the standard Hilbert-space/operator-algebra ontology. Formal objectivity of the universal non-perturbative topos offers a new route to build objective semantics for non-perturbative structures. Full article

Einstein’s 1919 distinction between “principle theories” and ”constructive theories” has been applied by Jeffrey Bub to classify the Copenhagen interpretation of quantum mechanics (QM) as a principle theory agree with this classification. Additionally, I argue that Bohm’s interpretation of QM fits Einstein’s concept of a constructive theory. Principle theories include empirically established laws or principles, such as the first and second laws of thermodynamics or the principles of special relativity, including the Born Rule of QM. According to Einstein, principle theories offer ”security in their foundations and logical perfection”. However, ultimate understanding requires constructive theories, which build complex phenomena from simpler models. Constructive theories provide intelligible models of physical phenomena. Bohm’s QM, with its added microstructure, presents such a model. In this framework, quantum phenomena appear from statistical ensembles of microparticles in motion, with deterministic particle trajectories guided by the wave function. This reveals how Bohm’s account offers a constructive model for understanding quantum phenomena. Full article

The meaning of the quantum minimum effective length that should distinguish the quantum nature of a gravitational field is investigated in the context of manifestly covariant quantum gravity theory (CQG-theory). In such a framework, the possible occurrence of a non-vanishing minimum length requires one to identify it necessarily with a 4-scalar proper length s.It is shown that the latter must be treated in a statistical way and associated with a lower bound in the error measurement of distance, namely to be identified with a standard deviation. In this reference, the existence of a minimum length is proven based on a canonical form of Heisenberg inequality that is peculiar to CQG-theory in predicting massive quantum gravitons with finite path-length trajectories. As a notable outcome, it is found that, apart from a numerical factor of $O\left(1\right)$, the invariant minimum length is realized by the Planck length, which, therefore, arises as a constitutive element of quantum gravity phenomenology. This theoretical result permits one to establish the intrinsic minimum-length character of CQG-theory, which emerges consistently with manifest covariance as one of its foundational properties and is rooted both on the mathematical structure of canonical Hamiltonian quantization, as well as on the logic underlying the Heisenberg uncertainty principle. Full article

Quantum logic is a well-structured theory, which has recently received some attention because of its fundamental relation to quantum computing. However, the complex foundation of quantum logic borrowing concepts from different branches of mathematics as well as its peculiar settings have made it a non-trivial task to devise suitable applications. This article aims to propose for the first time an approach using quantum logic in image processing for shape classification. We show how to make use of the principal component analysis to realize quantum logical propositions. In this way, we are able to assign a concrete meaning to the rather abstract quantum logical concepts, and we are able to compute a probability measure from the principal components. For shape classification, we consider encrypting given point clouds of different objects by making use of specific distance histograms. This enables us to initiate the principal component analysis. Through experiments, we explore the possibility of distinguishing between different geometrical objects and discuss the results in terms of quantum logical interpretation. Full article

In terms of the logical structure of data in machine learning (ML), we apply a novel graphical encoding method in quantum computing to build the mapping between feature space of sample data and two-level nested graph state that presents a kind of multi-partite entanglement state. By implementing swap-test circuit on the graphical training states, a binary quantum classifier to large-scale test states is effectively realized in this paper. In addition, for the error classification caused by noise, we further explored the subsequent processing scheme by adjusting the weights so that a strong classifier is formed and its accuracy is greatly boosted. In this paper, the proposed boosting algorithm demonstrates superiority in certain aspects as demonstrated via experimental investigation. This work further enriches the theoretical foundation of quantum graph theory and quantum machine learning, which may be exploited to assist the classification of massive-data networks by entangling subgraphs. Full article

This contribution is an essay of formal philosophy—and more specifically of formal ontology and formal epistemology—applied, respectively, to the philosophy of nature and to the philosophy of sciences, interpreted the former as the ontology and the latter as the epistemology of the modern mathematical, natural, and artificial sciences, the theoretical computer science included. I present the formal philosophy in the framework of the category theory (CT) as an axiomatic metalanguage—in many senses “wider” than set theory (ST)—of mathematics and logic, both of the “extensional” logics of the pure and applied mathematical sciences (=mathematical logic), and the “intensional” modal logics of the philosophical disciplines (=philosophical logic). It is particularly significant in this categorical framework the possibility of extending the operator algebra formalism from (quantum and classical) physics to logic, via the so-called “Boolean algebras with operators” (BAOs), with this extension being the core of our formal ontology. In this context, I discuss the relevance of the algebraic Hopf coproduct and colimit operations, and then of the category of coalgebras in the computations over lattices of quantum numbers in the quantum field theory (QFT), interpreted as the fundamental physics. This coalgebraic formalism is particularly relevant for modeling the notion of the “quantum vacuum foliation” in QFT of dissipative systems, as a foundation of the notion of “complexity” in physics, and “memory” in biological and neural systems, using the powerful “colimit” operators. Finally, I suggest that in the CT logic, the relational semantics of BAOs, applied to the modal coalgebraic relational logic of the “possible worlds” in Kripke’s model theory, is the proper logic of the formal ontology and epistemology of the natural realism, as a formalized philosophy of nature and sciences. Full article

In 1933, Kolmogorov synthesized the basic concepts of probability that were in general use at the time into concepts and deductions from a simple set of axioms that said probability was a $\sigma$-additive function from a boolean algebra of events into [0, 1]. In 1932, von Neumann realized that the use of probability in quantum mechanics required a different concept that he formulated as a $\sigma$-additive function from the closed subspaces of a Hilbert space onto $[0,1]$. In 1935, Birkhoff & von Neumann replaced Hilbert space with an algebraic generalization. Today, a slight modification of the Birkhoff-von Neumann generalization is called “quantum logic”. A central problem in the philosophy of probability is the justification of the definition of probability used in a given application. This is usually done by arguing for the rationality of that approach to the situation under consideration. A version of the Dutch book argument given by de Finetti in 1972 is often used to justify the Kolmogorov theory, especially in scientific applications. As von Neumann in 1955 noted, and his criticisms still hold, there is no acceptable foundation for quantum logic. While it is not argued here that a rational approach has been carried out for quantum physics, it is argued that (1) for many important situations found in behavioral science that quantum probability theory is a reasonable choice, and (2) that it has an arguably rational foundation to certain areas of behavioral science, for example, the behavioral paradigm of Between Subjects experiments. Full article

Gaisi Takeuti introduced Boolean valued analysis around 1974 to provide systematic applications of the Boolean valued models of set theory to analysis. Later, his methods were further developed by his followers, leading to solving several open problems in analysis and algebra. Using the methods of Boolean valued analysis, he further stepped forward to construct set theory that is based on quantum logic, as the first step to construct "quantum mathematics", a mathematics based on quantum logic. While it is known that the distributive law does not apply to quantum logic, and the equality axiom turns out not to hold in quantum set theory, he showed that the real numbers in quantum set theory are in one-to-one correspondence with the self-adjoint operators on a Hilbert space, or equivalently the physical quantities of the corresponding quantum system. As quantum logic is intrinsic and empirical, the results of the quantum set theory can be experimentally verified by quantum mechanics. In this paper, we analyze Takeuti’s mathematical world view underlying his program from two perspectives: set theoretical foundations of modern mathematics and extending the notion of sets to multi-valued logic. We outlook the present status of his program, and envisage the further development of the program, by which we would be able to take a huge step forward toward unraveling the mysteries of quantum mechanics that have persisted for many years. Full article

The evolution of states of the composition of classical and quantum systems in the groupoid formalism for physical theories introduced recently is discussed. It is shown that the notion of a classical system, in the sense of Birkhoff and von Neumann, is equivalent, in the case of systems with a countable number of outputs, to a totally disconnected groupoid with Abelian von Neumann algebra. The impossibility of evolving a separable state of a composite system made up of a classical and a quantum one into an entangled state by means of a unitary evolution is proven in accordance with Raggio’s theorem, which is extended to include a new family of separable states corresponding to the composition of a system with a totally disconnected space of outcomes and a quantum one. Full article

In this work, we discuss the failure of the principle of truth functionality in the quantum formalism. By exploiting this failure, we import the formalism of N-matrix theory and non-deterministic semantics to the foundations of quantum mechanics. This is done by describing quantum states as particular valuations associated with infinite non-deterministic truth tables. This allows us to introduce a natural interpretation of quantum states in terms of a non-deterministic semantics. We also provide a similar construction for arbitrary probabilistic theories based in orthomodular lattices, allowing to study post-quantum models using logical techniques. Full article