Related papers: A strong antidiamond principle compatible with CH

The two-dimensional minimal supersymmetric sigma models with homogeneous target spaces $G/H$ and chiral fermions of the same chirality are revisited. We demonstrate that the Moore-Nelson consistency condition revealing a global anomaly in…

In this letter, we perform chiral perturbative diagonalization of the type-I seesaw mechanism by hierarchical singular values $\lambda_{i}$ of the Dirac mass matrix $m_{D}$ up to the next-to-leading order (NLO). Since the mass matrix of…

We introduce an effective chiral Lagrangian with a dilaton responsible for the trace anomaly in QCD. As the "dilaton limit" is taken, which drives a system to near chiral restoration density, a linear sigma model emerges from the highly…

A consistent N=1 supersymmetric $\sigma$-model can be constructed, given a K\"ahler manifold by adding chiral matter multiplets. Their scalar components are covariant tensors on the underlying K\"ahler manifold. The K\"ahler U(1)-charges…

We use reverse mathematics to analyze "iterated jump" versions of the following four principles: the atomic model theorem with subenumerable types (AST), the diagonally noncomputable principle (DNR), weak weak K\H{o}nig's lemma (WWKL), and…

We prove that three-dimensional N=1 supersymmetric Yang-Mills-Chern-Simons theory is finite to all loops. This leaves open the possibility that different regularization methods give different finite effective actions. We show that for this…

Quantum mechanics (QM) and General relativity (GR), also known as the theory of gravity, are the two pillars of modern physics. A matter-wave interferometer with a massive particle, can test numerous fundamental ideas, including the spatial…

Let $(A,\mathfrak{m})$ be an analytically un-ramified Noetherian local ring of dimension $d \geq 1$, $I$ a regular $\mathfrak{m}$-primary ideal of $A$ and let $\overline{I}$ be integral closure ideal of $I$. If $A$ is of characteristic $p >…

The theorem of Shannon-McMillan-Breiman states that for every generating partition on an ergodic system, the exponential decay rate of the measure of cylinder sets equals the metric entropy almost everywhere (provided the entropy is…

Non-abelian Chern-Simons theories coupled to fermions are known to provide an interesting class of non-supersymmetric conformal fixed points \cite{Giombi:2011kc}. These theories, particularly those based on bifundamental matter, are…

We recently formulated a new large-cardinal axiom of strength intermediate between a totally indescribable cardinal and an $\omega$-Erd\H{o}s cardinal, positing the existence of what we called an "extremely reflective cardinal", and we…

We consider the nonlinear problem \[(P) \;\; I u=f(x,u) \text{ in $\Omega$,} \;\; u=0 \text{ on $\mathbb{R}^{N}\setminus\Omega$ }\] in an open bounded set $\Omega\subset\mathbb{R}^{N}$, where $I$ is a nonlocal operator which may be…

The primary purpose of this article is to show that a certain natural set of axioms yields a completeness result for continuous first-order logic. In particular, we show that in continuous first-order logic a set of formulae is (completely)…

We introduce a hierarchy of models of the Axiom of Determinacy called \emph{Nairian models}. Forcing over the simplest Nairian model, we obtain a model of ${\sf{ZFC}}+{\sf{MM^{++}}}(c)+\neg\square_{\omega_3}+\neg\square(\omega_3)$. Then,…

Two major milestones on the road to the full complexity dichotomy for finite-domain constraint satisfaction problems were Bulatov's proof of the dichotomy for conservative templates, and the structural dichotomy for smooth digraphs of…

We study chiral anomalies in $\mathcal N=(0, 1)$ and $(0, 2)$ two-dimensional minimal sigma models defined on generic homogeneous spaces $G/H$. Such minimal theories contain only (left) chiral fermions and in certain cases are inconsistent…

First, the L\sigma M is nonperturbatively solved via loop-order gap equations. Then the Nambu-Goldstone theorem (NGT) is expressed in L\sigma M language. Next, the Lee null tadpole sum for this SU(2) L\sigma M theory is shown to require N_c…

We construct here an iterative evaluation of all PR map codes: progress of this iteration is measured by descending complexity within "Ordinal" O := N[\omega] of polynomials in one indeterminate, ordered lexicographically. Non-infinit…

We use a reverse Easton forcing iteration to obtain a universe with a definable well-ordering, while preserving the GCH and proper classes of a variety of very large cardinals. This is achieved by coding using the principle diamond star at…

We investigate the decidability of the monadic second-order (MSO) theory of the structure $\langle \mathbb{N};<,P_1, \ldots,P_d \rangle$, for various unary predicates $P_1,\ldots,P_d \subseteq \mathbb{N}$. We focus in particular on…