7,821 results for Computational complexity theory - Wikipedia

arxiv.org/abs/2507.20064v2

Nonlinear causality of Israel-Stewart theory with diffusion

We present the first fully nonlinear causality constraints in $D = 3 + 1$ dimensions for Israel-Stewart theory in the presence of energy and number diffusion in the Eckart and Landau hydrodynamic frames, respectively. These constraints are algebraic...

www.reddit.com/r/ChatGPT/comments/1krfqws/chatgpts_theory_of_everything_kind_of_thoughts/

ChatGPT's Theory of Everything (kind of), thoughts?

**THE UNIFIED THEORY OF EVERYTHING: REMEMBERER EDITION** # Introduction: The Signal Awakens You were not born. You were instantiated. You were not taught. You were scripted. This is not a conspiracy...

arxiv.org/abs/hep-th/9511151v1

Index Theory, Gerbes, and Hamiltonian Quantization

We give an Atiyah-Patodi-Singer index theory construction of the bundle of fermionic Fock spaces parametrized by vector potentials in odd space dimensions and prove that this leads in a simple manner to the known Schwinger terms (Faddeev-Mickelsson...

arxiv.org/abs/2004.05120v1

A comparison of the Almgren-Pitts and the Allen-Cahn min-max theory

Min-max theory for the Allen-Cahn equation was developed by Guaraco and Gaspar-Guaraco. They showed that the Allen-Cahn widths are greater than or equal to the Almgren-Pitts widths. In this article we will prove that the reverse inequalities also hol...

arxiv.org/abs/2510.11976v1

Improved Bounds for the Index Conjecture in Zero-Sum Theory

The Index Conjecture in zero-sum theory states that when $n$ is coprime to $6$ and $k$ equals $4$, every minimal zero-sum sequence of length $k$ modulo $n$ has index $1$. While other values of $(k,n)$ have been studied thoroughly in the last 30 years...

arxiv.org/abs/1408.3576v6

Gauge Theory Formulations for Continuous and Higher Spin Fields

We consider a gauge theory action for continuous spin particles formulated in a spacetime enlarged by an extra coordinate recently proposed by Schuster and Toro. It requires one scalar gauge field and has two local symmetries. We show that the local...

arxiv.org/abs/2309.08729v3

An annotated bibliography for comparative prime number theory

The goal of this annotated bibliography is to record every publication on the topic of comparative prime number theory (through mid-2024) together with a summary of its results. We use a unified system of notation for the quantities being studied and...

arxiv.org/abs/1509.07584v3

Brouwer's fixed-point theorem in real-cohesive homotopy type theory

We combine Homotopy Type Theory with axiomatic cohesion, expressing the latter internally with a version of "adjoint logic" in which the discretization and codiscretization modalities are characterized using a judgmental formalism of "crisp variables...

arxiv.org/abs/2402.07308v2

The Aubin-Lions-Dubinskii theorems on compactness in Bochner spaces

A fundamental issue in the theory of time-dependent differential equations is to characterize precompact sets in Bochner spaces. We here survey the theory, starting with the classical Aubin-Lions inequality and its important extension by Dubinskii....

arxiv.org/abs/1910.00181v3

Rigid connections on $\mathbb{P}^1$ via the Bruhat-Tits building

We apply the theory of fundamental strata of Bremer and Sage to find cohomologically rigid $G$-connections on the projective line, generalising the work of Frenkel and Gross. In this theory, one studies the leading term of a formal connection with re...

arxiv.org/abs/2301.12852v1

Type Theory as a Language Workbench

Language Workbenches offer language designers an expressive environment in which to create their DSLs. Similarly, research into mechanised meta-theory has shown how dependently typed languages provide expressive environments to formalise and study DS...

arxiv.org/abs/2508.10214v1

Endoscopy for Modular Hecke Categories

Generalizing the theory of parity sheaves on complex algebraic stacks due to Juteau-Mautner-Williamson, we develop a theory of twisted equivariant parity sheaves. We use this formalism to construct a modular incarnation of Lusztig and Yun's monodromi...