7,821 results for Computational complexity theory - Wikipedia

arxiv.org/abs/1206.3622v1

$Q$-Manifolds and Mackenzie Theory

Double Lie algebroids were discovered by Kirill Mackenzie from the study of double Lie groupoids and were defined in terms of rather complicated conditions making use of duality theory for Lie algebroids and double vector bundles. In this paper we es...

arxiv.org/abs/2011.04450v1

Kuhn Poker with Cheating and Its Detection

Poker is a multiplayer game of imperfect information and has been widely studied in game theory. Many popular variants of poker (e.g., Texas Hold'em and Omaha) at the edge of modern game theory research are large games. However, even toy poker games,...

arxiv.org/abs/2504.04094v1

Tarskian Theories of Krivine's Classical Realisability

This paper presents a formal theory of Krivine's classical realisability interpretation for first-order Peano arithmetic ($\mathsf{PA}$). To formulate the theory as an extension of $\mathsf{PA}$, we first modify Krivine's original definition to the f...

arxiv.org/abs/2506.21373v2

Proximal aiming in weak KAM theory with nonsmooth Lagrangian

This work extends weak KAM theory to the case of a nonsmooth Lagrangian satisfying a superlinear growth condition. Using the solution of a weak KAM equation that is a stationary Hamilton-Jacobi equation and the proximal aiming method, we construct a...

arxiv.org/abs/2307.05548v2

Unveiling the Connection: ER bridges and EPR in the work of Einstein

This paper explores the ER bridges theory and its relationship with quantum phenomena. An argument can be made that the ER bridges theory does not explicitly address quantum phenomena and implies that Einstein intended to differentiate between indivi...

arxiv.org/abs/2502.09178v1

An equisingular heritage of Bernard Teissier

We give a brief and partial overview of Bernard Teissier's work in complex equisingularity theory, and a perspective on its legacy; in particular, we focus on the development of the theory in the real and the non-Archimedean contexts. Our aim is not...

arxiv.org/abs/quant-ph/0411175v3

Basic Concepts for a Quantum Mechanical Theory of Events

A physical theory is proposed that obeys both the principles of special relativity and of quantum mechanics. As a key feature, the laws are formulated in terms of quantum events rather than of particle states. Temporal and spatial coordinates of a...

arxiv.org/abs/1803.05086v2

OPE inversion in Mellin space

The fundamental ingredients that build the observables in conformal field theory are the spectrum of operators and the OPE coefficients, or equivalently, the two- and three-point functions of the theory. Recently an inversion formula solving the OPE...

arxiv.org/abs/math/0312313v3

OPE-Algebras and their Modules

Vertex algebras formalize the subalgebra of holomorphic fields of a conformal field theory. OPE-algebras were proposed as a generalization of vertex algebras that formalizes the algebra of all fields of a conformal field theory. We prove some basic...

arxiv.org/abs/gr-qc/0606100v1

A lattice bosonic model as a quantum theory of gravity

A local quantum bosonic model on a lattice is constructed whose low energy excitations are gravitons described by linearized Einstein action. Thus the bosonic model is a quantum theory of gravity, at least at the linear level. We find that the comp...

arxiv.org/abs/math/0606260v1

Global actions, groupoid atlases and related topics

A. Bak developed a combinatorial approach to higher $K$-theory, in which control is kept of the elementary operations involved, through paths and `paths of paths' in what he called a global action. The homotopy theory of these was developed by G. M...

arxiv.org/abs/1403.1590v1

Protective measurements and the PBR theorem

Protective measurements illustrate how Yakir Aharonov's fundamental insights into quantum theory yield new experimental paradigms that allow us to test quantum mechanics in ways that were not possible before. As for quantum theory itself, protective...