Related papers: A non-sequential arithmetical theory with pairing
Fix $\alpha,\theta >0$, and consider the sequence $(\alpha n^{\theta} \mod 1)_{n\ge 1}$. Since the seminal work of Rudnick--Sarnak (1998), and due to the Berry--Tabor conjecture in quantum chaos, the fine-scale properties of these dilated…
In previous work, starting from the Moyal plane, we formulated interacting theories of matter and gauge fields with only the former fields twisted. In this approach, gauge theories, including the standard model, can be formulated without…
In this paper we prove a sufficient condition for the existence of matchings in arbitrary groups and its linear analogue, which lead to some generalizations of the existing results in the theory of matchings in groups and central extensions…
We discuss the back and forth technique in the context of presheaf model theory. The essence of the back and forth technique lies in showing the relationship between various hierarchies which calibrate similarity between two models and,…
We present a novel treatment of set theory in a four-valued paraconsistent and paracomplete logic, i.e., a logic in which propositions can be both true and false, and neither true nor false. Our approach is a significant departure from…
We show that we can interpret concatenation theories in arithmetical theories without coding sequences.
Recent work [hep-th/0504183,hep-th/0508002] indicates an approach to the formulation of diffeomorphism invariant quantum field theories (qft's) on the Groenewold-Moyal (GM) plane. In this approach to the qft's, statistics gets twisted and…
In this paper, we prove that $\mathsf{ZFC+WA}_{n+1}$ implies the consistency of $\mathsf{ZFC+WA}_n$ for $n\ge 0$. We also prove that $\mathsf{ZFC+WA}_n$ is finitely axiomatizable, and $\mathsf{ZFC+WA}$ is not finitely axiomatizable.
Non-commutative (NC) field theories can be mapped onto twisted matrix models. This mapping enables their Monte Carlo simulation, where the large N limit of the matrix models describes the continuum limit of NC field theory. First we present…
In this article we review the relation between string theory and non-equilibrium physics based on our previously published work. First we explain why a theory of quantum gravity and non-equilibrium statistical physics should be related in…
The purpose of this paper is twofold. First we answer to a question asked by Steingrimsson and Williams about certain permutation tableaux: we construct a bijection between binary trees and the so-called Catalan tableaux. These tableaux are…
Luo, Tian and Wu [Discrete Math. 345 (4) (2022) 112788] conjectured that for any tree $T$ with bipartition $(X,Y)$, every $k$-connected bipartite graph $G$ with minimum degree at least $k+w$, where $w=\max\{|X|,|Y|\}$, contains a tree…
We present simple models which exhibit some of the remarkable features expected to hold for the as yet unknown non-perturbative formulation of string theories. Among these are: (a) the absence of a background or embedding space for the full…
In an investigation of the applications of Combinatorial Game Theory to chess, we construct novel mutual Zugzwang positions, explain an otherwise mysterious pawn endgame from "A Guide to Chess Endings" (Euwe and Hooper), show positions…
The validity of the comparison principle in variable coefficient fully nonlinear gradient free potential theory is examined and then used to prove the comparison principle for fully nonlinear partial differential equations which determine a…
In 2021, motivated by graph limit theory Lov\'asz extended most of the theory of flows to a measure theoretic setting. Using this framework, the first author constructed $d$-regular treeings that are measurably bipartite, and have no…
We show that QFT (as well as QM) is not a complete physical theory. We constructed a classical statistical model inducing quantum field averages. The phase space consists of square integrable functions, $f(\phi),$ of the classical bosonic…
We show that there is a duality exchanging noncommutativity and non-trivial statistics for quantum field theory on R^d. Employing methods of quantum groups, we observe that ordinary and noncommutative R^d are related by twisting. We extend…
Investigating the robustness of non-reciprocity in the presence of competing interactions is central to understanding non-reciprocal quantum matter. In this work, we use reservoir engineering to induce non-reciprocal hopping and pairing in…
We prove the rather counterintuitive result that there exist finite transitive graphs H and integers k such that the Free Uniform Spanning Forest in the direct product of the k-regular tree and H has infinitely many trees almost surely.…