Related papers: One is all you need: Second-order Unification with…
By Fagin's Theorem, NP contains precisely those problems that can be described by formulas starting with an existential second-order quantifier, followed by only first-order quantifiers (ESO formulas). Subsequent research refined this…
The electroweak Higgs doublets are identified as components of a vector multiplet in a higher dimensional supersymmetric field theory. We construct a minimal model in 6D where the electroweak $SU(2) \otimes U(1)$ gauge group is extended to…
As an illustration of a renormalizable, asymptotically-free model of induced gravity, we consider an $SO(10)$ gauge theory interacting with a real scalar multiplet in the adjoint representation. We show that dimensional transmutation can…
Hilbert's 10th problem, stated in modern terms, is: Find an algorithm that will, given $p \in \mathbb{Z}[x_1,\ldots,x_n]$ determine if there exists $a_1, a_2, \ldots, a_n \in \mathbb{Z}$ such that $p(a_1,\ldots,a_n)=0$. Davis, Putnam,…
We study the Higgs potential in No-Scale F-SU(5), a model built on the tripodal foundations of the Flipped SU(5) x U(1)_X Grand Unified Theory, extra F-theory derived TeV scale vector-like particle multiplets, and the high scale boundary…
The minimal renormalizable supersymmetric SO(10) model, an SO(10) framework with only one 10 and one 126 Higgs multiplets in the Yukawa sector, is attractive because of its high predictive power for the neutrino oscillation data. However,…
We propose an extension of ergodic theory which focuses on the identification of ergodicity in terms of the uniqueness of the invariant measure. We first explain the concept for the doubling maps, which can be analyzed using Fourier…
We consider the order parameter $u=\left<{\rm Tr}\phi^2\right>$ as function of the running coupling constant $\tau \in \mathbb{H}$ of asymptotically free $\mathcal{N}=2$ QCD with gauge group $SU(2)$ and $N_f\leq 3$ massive hypermultiplets.…
We consider positive solutions, possibly unbounded, to the semilinear equation $-\Delta u=f(u)$ on continuous epigraphs bounded from below. Under the homogeneous Dirichlet boundary condition, we prove new monotonicity results for $u$, when…
The unification type of an equational theory is defined using a preorder on substitutions, called the instantiation preorder, whose scope is either restricted to the variables occurring in the unification problem, or unrestricted such that…
The study of various decision problems for logic fragments has a long history in computer science. This paper is on the membership problem for a fragment of first-order logic over infinite words; the membership problem asks for a given…
We study the problem of finding a function u verifying --$\Delta$u = 0 in $\Omega$ under the boundary condition $\partial$u $\partial$n + g(u) = $\mu$ on $\partial$$\Omega$ where $\Omega$ $\subset$ R N is a smooth domain, n the normal unit…
In this manuscript we study properties of multidimensional shifts. More precisely, we study the necessary and sufficient conditions for a shift to be sofic, i.e. the boundary between sofic shifts and effective ones. To this end, we use…
We consider Grand Unified Theories based on $SO(10)$ which originate from $M$ theory on $G_2$ manifolds. In this framework we are naturally led to a novel solution of the doublet-triplet splitting problem involving an extra $\overline{{\bf…
Approximate bi-level optimization (ABLO) consists of (outer-level) optimization problems, involving numerical (inner-level) optimization loops. While ABLO has many applications across deep learning, it suffers from time and memory…
Spatial conjunction is a powerful construct for reasoning about dynamically allocated data structures, as well as concurrent, distributed and mobile computation. While researchers have identified many uses of spatial conjunction, its…
We construct lists of supersymmetric models with extended gauge groups at intermediate steps, all of which are based on SO(10) unification. We consider three different kinds of setups: (i) The model has exactly one additional intermediate…
The SU(3) modular invariant partition functions were first completely classified in Ref.\ \SU. The purpose of these notes is four-fold: \item{(i)} Here we accomplish the SU(3) classification using only the most basic facts: modular…
We prove a structure theorem for multiplicative functions which states that an arbitrary bounded multiplicative function can be decomposed into two terms, one that is approximately periodic and another that has small Gowers uniformity norm…
We study the low energy evolution of coupling constants of the standard model and show that gauge coupling unification can be achieved at the electroweak scale with a suitable normalization. We choose the grand unification group to be the…