Related papers: One is all you need: Second-order Unification with…
In the framework of supersymmetric Grand Unified Theories, the minimal Higgs sector is often extended by introducing multi-dimensional Higgs representations in order to obtain realistic models. However these constructions should remain…
It is proved that given $-1/2<s<1/2$, for any $f\in L^2(\mathbb{R})$, there is a unique $u\in \widehat{H}^{|s|}(\mathbb{R})$ such that $$ f=\boldsymbol{D}^{-s}u+\boldsymbol{D}^{s*}u\,, $$ where $\boldsymbol{D}^{-s}, \boldsymbol{D}^{s*}$ are…
We investigate an $\mathrm{SO}(10)$ grand unification scenario where the complex 10-dimensional scalar multiplet, containing the Standard Model (SM) Higgs boson, resides at the TeV scale altogether. The resulting low-energy model is a…
The uniform one-dimensional fragment of first-order logic was introduced a few years ago as a generalization of the two-variable fragment of first-order logic to contexts involving relations of arity greater than two. Quantifiers in this…
We consider possible extensions of the standard model that are not only completely asymptotically free, but are such that the UV fixed point is completely UV attractive. All couplings flow towards a set of fixed ratios in the UV. Motivated…
First order formulas in a relational signature can be considered as operations on the relations of an underlying set, giving rise to multisorted algebras we call first order algebras. We present universal axioms so that an algebra satisfies…
We prove decidability of the boundedness problem for monadic least fixed-point recursion based on positive monadic second-order (MSO) formulae over trees. Given an MSO-formula phi(X,x) that is positive in X, it is decidable whether the…
We construct a compactification of the heterotic string on an orbifold T^6/Z_6 leading to the standard model spectrum plus vector--like matter. The standard model gauge group is obtained as an intersection of three SO(10) subgroups of E_8.…
In this article we study quantitative rigidity properties for the compatible and incompatible two-state problems for suitable classes of $\mathcal{A}$-free operators and for a singularly perturbed $T_3$-structure for the divergence…
We analize the structure of models with unbroken and spontaneously broken U(1)_a x U(1)_b gauge symmetry. We show that the quantum corrections to the 2N gauge charges, with N = #fermions + #scalars, can be absorbed in the redefinition of…
We present a sound and complete unification procedure for deterministic higher-order patterns, a class of simply-typed lambda terms introduced by Yokoyama et al. which comes with a deterministic matching problem. Our unification procedure…
In models where an additional SU(2)-doublet that does not have couplings to fermions participates in electroweak symmetry breaking, the properties of the Higgs boson are changed. At tree level, in the neighborhood of the SM-like range of…
In the study of 2d (the space dimension) topological orders, it is well-known that bulk excitations are classified by unitary modular tensor categories. But these categories only describe the local observables on an open 2-disk in the long…
Supergravity theories in more than four dimensions with grand unified gauge symmetries are an important intermediate step towards the ultraviolet completion of the Standard Model in string theory. Using toric geometry, we classify and…
In part II we constructed the lower bound, in the spirit of $\Gamma$- $\liminf$ for some general classes of singular perturbation problems, with or without the prescribed differential constraint, taking the form E_\e(v):=\int_\Omega…
We embed the flipped SU(5) models into the SO(10) models. After the SO(10) gauge symmetry is broken down to the flipped SU(5) \times U(1)_X gauge symmetry, we can split the five/one-plets and ten-plets in the spinor \mathbf{16} and…
Grand unified models in four dimensions typically suffer from the doublet-triplet splitting problem. This obstacle can be overcome in higher-dimensional settings, where a non-trivial gauge group topography can explain the simultaneous…
The Green--Schwarz superstring action is modified to include some set of additional (on-shell trivial) variables. A complete constraints system of the theory turns out to be reducible both in the original and in additional variable sectors.…
In this work, we introduce a new space-time variational formulation of the second-order wave equation, where integration by parts is also applied with respect to the time variable, and a modified Hilbert transformation is used. For this…
We consider an extension of the unary negation fragment of first-order logic in which arbitrarily many binary symbols may be required to be interpreted as equivalence relations. We show that this extension has the finite model property.…