Related papers: Cubical Type Theoretic Navya-Ny\=aya
In this paper I will develop a lambda-term calculus, lambda-2Int, for a bi-intuitionistic logic and discuss its implications for the notions of sense and denotation of derivations in a bilateralist setting. Thus, I will use the Curry-Howard…
This note presents a purely geometric construction of the so-called twist-field correlation functions in Conformal Field Theory (CFT), derived from conical singularities. This approach provides a purely mathematical interpretation of the…
We introduce a basis-restricted variant of the Quantum-k-SAT problem, in which each term in the input Hamiltonian is required to be diagonal in either the standard or Hadamard basis. Our main result is that the Quantum-6-SAT problem with…
We study rational curves on smooth complex Calabi--Yau threefolds via noncommutative algebra. By the general theory of derived noncommutative deformations due to Efimov, Lunts and Orlov, the structure sheaf of a rational curve in a smooth…
Dependent type theory is the foundation of many modern proof assistants. Inhabitation and unification are undecidable problems that are useful for theorem proving and program synthesis. We introduce Canonical-min, a sound and complete…
Textual Concept Bottleneck Models (TCBMs) are interpretable-by-design models for text classification that predict a set of salient concepts before making the final prediction. This paper proposes Complete Textual Concept Bottleneck Model…
Critical statistical mechanics and Conformal Field Theory (CFT) are conjecturally connected since the seminal work of Beliavin, Polyakov, and Zamolodchikov [BPZ84a]. Both exhibit exactly solvable structures in two dimensions. A…
We apply the well-established techniques of geometrical superfield approach to Becchi-Rouet-Stora-Tyutin (BRST) formalism in the context of four (3 + 1)-dimensional (4D) dynamical non-Abelian 2-form gauge theory by exploiting its inherent…
The local Hamiltonian problem plays the equivalent role of SAT in quantum complexity theory. Understanding the complexity of the intermediate case in which the constraints are quantum but all local terms in the Hamiltonian commute, is of…
The cognitive theory of true conditions (CTTC) is a proposal to describe the model-theoretic semantics of symbolic cognitive architectures and design the implementation of cognitive abilities. The CTTC is formulated mathematically using the…
In the the present contribution, we prove an Omitting Types Theorem (OTT) for an arbitrary fragment of hybriddynamic first-order logic with rigid symbols (i.e. symbols with fixed interpretations across worlds) closed under negation and…
In this article I first give an abbreviated history of string theory and then describe the recently-conjectured field-string duality. This suggests a class of nonsupersymmetric gauge theories which are conformal (CGT) to leading order of…
Substructural type systems, such as affine (and linear) type systems, are type systems which impose restrictions on copying (and discarding) of variables, and they have found many applications in computer science, including quantum…
Motivated by the three-dimensional topological field theory / two-dimensional conformal field theory (CFT) correspondence, we study a broad class of one-dimensional quantum mechanical models, known as anyonic chains, that can give rise to…
This report is an extension of 'A Model of Parametric Dependent Type Theory in Bridge/Path Cubical Sets' (Nuyts, arXiv:1706.04383). The purpose of this text is to prove all technical aspects of our model for dependent type theory with…
In this paper, we establish a structure theorem for projective klt pairs $(X,\Delta)$ with nef anti-log canonical divisor; specifically, we prove that, up to replacing $X$ with a finite quasi-\'etale cover, $X$ admits a locally trivial…
This paper focuses on the algebraic theory underlying the study of the complexity and the algorithms for the Constraint Satisfaction Problem (CSP). We unify, simplify, and extend parts of the three approaches that have been developed to…
A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are…
P. Broussous and S. Stevens studied maps between enlarged Bruhat-Tits buildings to construct types for p-adic unitary groups. They needed maps which respect the Moy-Prasad filtrations. That property is called (CLF), i.e. compatibility with…
The coupling between defects and extended critical degrees of freedom gives rise to the intriguing theory known as defect conformal field theory (CFT). In this work, we introduce a novel family of boundary and interface CFTs by coupling $N$…