Related papers: Proof of Compositionality of CFT Correctness
We apply a compositional formal modeling and verification method to an autonomous aircraft taxi system. We provide insights into the modeling approach and we identify several research areas where further development is needed. Specifically,…
Tests of Lorentz invariance violation and CPT Violation in neutrino oscillations are discussed. The sensitivity of current and future experiments is presented.
Despite a multitude of empirical studies, little consensus exists on whether neural networks are able to generalise compositionally, a controversy that, in part, stems from a lack of agreement about what it means for a neural model to be…
We use the formalism of strange correlators to construct a critical classical lattice model in two dimensions with the \emph{Haagerup fusion category} $\mathcal{H}_3$ as input data. We present compelling numerical evidence in the form of…
In this article we survey some of the recent developments in the structure theory of set addition.
We formalize an existing computability-theoretic method of presenting first-order structures whose domains have the cardinality of the continuum. Work using these methods until now has emphasized their topological properties. We shift the…
This paper is the concise addition to the foregoing work "Inconsistency of Inaccessibility", containing the presentation of main theorem proof (in ZF) about inaccessible cardinals nonexistence. Here some refinement of this presentation is…
The ongoing experimental efforts in the high energy and high precision communities keep providing evidence for CPT, a fundamental symmetry holding in any local Lorentz invariant theory. We suggest possible interconnections between different…
We develop a first order formalism for constructing gravitational duals of conformal defects in a bottom up approach. Similarly as for the flat domain walls a single function specifies the solution completely. Using this formalism we…
Logarithmic Conformal Field Theories (LCFT) play a key role, for instance, in the description of critical geometrical problems (percolation, self avoiding walks, etc.), or of critical points in several classes of disordered systems…
CompCert is the first realistic formally verified compiler: it provides a machine-checked mathematical proof that the code it generates matches the source code. Yet, there could be loopholes in this approach. We comprehensively analyze…
In this work we perform theoretical analysis about a coupled RC circuit with constant driven currents. Starting from stochastic differential equations, where voltages are subject to thermal noises, we derive time-correlation functions,…
We explore a general mechanism that allows (1+1)d CFTs to have interesting interface conformal manifolds even in the absence of any continuous internal symmetry or supersymmetry. This is made possible by the breaking of an enhanced…
We present a generic tree-interpolation algorithm in the SMT context with quantifiers. The algorithm takes a proof of unsatisfiability using resolution and quantifier instantiation and computes interpolants (which may contain quantifiers).…
We study three prominent diagnostics of chaos and scrambling in the context of two-dimensional conformal field theory: the spectral form factor, out-of-time-ordered correlators, and unitary operator entanglement. With the observation that…
The main aim of this work is to relate integrability in QFT with a complete particle interpretation directly to the principle of causal localization, circumventing the standard method of finding sufficiently many conservation laws. Its…
This is the introductory chapter of a review collection on integrability in the context of the AdS/CFT correspondence. In the collection we present an overview of the achievements and the status of this subject as of the year 2010.
In this talk, I will review the foundations of irrational conformal field theory (ICFT), which includes rational conformal field theory as a small subspace. Highlights of the review include the Virasoro master equation, the Ward identities…
In this paper, we present a constructive proof of Herschfeld's Convergence Theorem. Our formulation differs from Herschfeld's in a few ways: We consider radicals that nest transfinitely many times, as these are essential to the proof;…
One of the major outstanding conjectures in the study of chromatic symmetric functions (CSF's) states that trees are uniquely determined by their CSF's. Though verified on graphs of order up to twenty-nine, this result has been proved only…