Related papers: One is all you need: Second-order Unification with…
Let $\Omega \subseteq \mathbb{R}^n$ be a bounded open $C^{1,1}$ set. In this paper we prove the existence of a unique second order absolute minimiser $u_\infty$ of the functional \[ \mathrm{E}_\infty (u,\mathcal{O})\, :=\, \|…
We elaborate on an extension of the Standard Model with a gauge structure enlarged by a single anomalous U(1), where the presence of a Wess-Zumino term is motivated by the Green-Schwarz mechanism of string theory. The additional gauge…
We explicitly test the asymptotic grand unification of a minimal 5-dimensional model with SO(10) gauge theory compactified on an $S^{1}/Z_{2}\times Z^{\prime}_{2}$ orbifold. We consider all matter fields as propagating in the bulk and show…
This paper develops a characterisation of when solutions of forced second order linear differential equations converge to the zero solution of the asymptotically stable and unforced second order equation, or when the solution is bounded,…
Simple SO(10) Higgs models with the adjoint representation triggering the grand-unified symmetry breaking, discarded a long ago due to inherent tree-level tachyonic instabilities in the physically interesting scenarios, have been recently…
We revisit a minimal renormalisable $SO(10)$ grand unified theory, with the Higgs representation $45_{\rm H}$, $126_{\rm H}$ and complex $10_{\rm H}$, responsible for the unification, intermediate and the weak scale symmetry breaking,…
We study a non-supersymmetric SO(10) Grand Unification Theory with a very high energy intermediate symmetry breaking scale in which not only gauge but also Yukawa coupling unification are enforced via suitable threshold corrections and…
An uniqueness theorem for the inverse problem in the case of a second-order equation defined on the interval [0,1] when the boundary forms contain combinations of the values of functions at the points 0 and 1 is proved. The auxiliary…
We embed a theory with Zprime gauge boson (related to extra U(1) gauge group) into a supersymmetric GUT theory based on SO(10). Two possible sequences of SO(10) breaking via VEVs of appropriate Higgs fields are considered. Gauge coupling…
It is, by now, classical that lattices in higher rank semisimple groups have various rigidity properties. In this work, we add another such rigidity property to the list: uniform stability with respect to the family of unitary operators on…
Higher-order beta-matching is the following decision problem: given two simply typed lambda-terms, can the first term be instantiated to be beta-equivalent to the second term? This problem was formulated by Huet in the 1970s and shown…
Secondary homological stability is a recently discovered stability pattern for the homology of a sequence of spaces exhibiting homological stability in a range where homological stability does not hold. We prove secondary homological…
In several articles, this author has advocated an alternative approach towards quantum foundation based upon a set of postulates, and based upon the notions of theoretical variables and of accessible theoretical variables. It is shown in…
We study the possibility of obtaining metastable supersymmetry breaking vacua in a perturbative gauge theory without singlet fields, thus allowing for scenarios where a grand unified symmetry and supersymmetry are broken by the same sector.…
Adding modular predicates yields a generalization of first-order logic FO over words. The expressive power of FO[<,MOD] with order comparison $x<y$ and predicates for $x \equiv i \mod n$ has been investigated by Barrington, Compton,…
We deploy numerical semidefinite programming and conversion to exact rational inequalities to certify that for a positive semidefinite input polynomial or rational function, any representation as a fraction of sums-of-squares of polynomials…
Let $F$ be the set of functions from an infinite set, $S$, to an ordered ring, $R$. For $f$, $g$, and $h$ in $F$, the assertion $f = g + O(h)$ means that for some constant $C$, $|f(x) - g(x)| \leq C |h(x)|$ for every $x$ in $S$. Let $L$ be…
A semigroup of binary relations (under composition) on a set $X$ is \emph{complemented} if it is closed under the taking of complements within $X\times X$. We resolve a 1991 problem of Boris Schein by showing that the class of finite unary…
We prove the unique solvability of second order elliptic equations in non-divergence form in Sobolev spaces. The coefficients of the second order terms are measurable in one variable and VMO in other variables. From this result, we obtain…
We extend the nonsupersymmetric SO(10) grand unification theories by adding a horizontal symmetry, which connects the three generations of fermions. Without committing to any specific symmetry group, we investigate the 1-loop…