Related papers: One is all you need: Second-order Unification with…
We explore singular second-order boundary value problems with mixed boundary conditions on a general time scale. Using the lower and upper solutions method combined with the Brouwer fixed point theorem we demonstrate the existence of a…
The anomalous gauge $U(1)_A$ symmetry which could emerge in the context of the string theories can be very useful ingredient towards builting the complete supersymmetric SO(10) model. We present an example of the $SO(10)\times U(1)_A$ model…
The idea of grand unification in a minimal supersymmetric SU(5)xSU(5) framework is revisited. It is shown that the unification of gauge couplings into a unique coupling constant can be achieved at a high-energy scale compatible with proton…
Contrary to commonly held belief, we show that one can obtain a low value for $M_R$, the $SU(2)_R$ breaking scale, in grand unification theories based on $SO(10)$. This possibility emerges in the supersymmetric version of $SO(10)$ with a…
We consider the problem of the unification modulo an equational theory ACh, which consists of a function symbol $h$ that is homomorphic over an associative-commutative operator $+$. Since the unification modulo ACh theory is undecidable, we…
It is shown that the doublet-triplet splitting problem can be solved in SO(10) using the Dimopoulos-Wilczek mechanism with a very economical Higgs content and simple structure. Only one adjoint Higgs field is required, together with spinor…
We show that it is possible to achieve one step gauge coupling unification in a general class of non supersymmetric models which at low energies have only the standard particle content and extra Higgs fields doublets. The constraints are…
In this paper we study a variational problem in the space of functions of bounded Hessian. Our model constitutes a straightforward higher-order extension of the well known ROF functional (total variation minimisation) to which we add a…
Assume that $Au=f,\quad (1)$ is a solvable linear equation in a Hilbert space $H$, $A$ is a linear, closed, densely defined, unbounded operator in $H$, which is not boundedly invertible, so problem (1) is ill-posed. It is proved that the…
We rewrite the Lagrangian of the fermionic sector of the Standard Model in a novel compact form. The new Lagrangian is second order in derivatives, and is obtained from the usual first order Lagrangian by integrating out all primed (or…
We present a unification problem based on first-order syntactic unification which ask whether every problem in a schematically-defined sequence of unification problems is unifiable, so called loop unification. Alternatively, our problem may…
In this paper we study $2$nd order $L^\infty$ variational problems, through seeking to minimise a supremal functional involving the Hessian of admissible functions as well as lower-order terms. Specifically, given a bounded domain…
In this article we outline the methods that are used to prove undecidability of Hilbert's Tenth Problem for function fields of characteristic zero. Following Denef we show how rank one elliptic curves can be used to prove undecidability for…
We show that the decidability of the first-order theory of the language that combines Boolean algebras of sets of uninterpreted elements with Presburger arithmetic operations. We thereby disprove a recent conjecture that this theory is…
We study weak solutions and minimizers $u$ of the non-autonomous problems $\operatorname{div} A(x, Du)=0$ and $\min_v \int_\Omega F(x,Dv)\,dx$ with quasi-isotropic $(p, q)$-growth. We consider the case that $u$ is bounded, H\"older…
We consider the scalar second order ODE u + |u | $\alpha$ u + |u| $\beta$ u = 0, where $\alpha$, $\beta$ are two positive numbers and the non-linear semi-group S(t) generated on IR 2 by the system in (u, u). We prove that S(t)IR 2 is…
We investigate Higgs Parity Unification-a realization of $SO(10)$ grand unification based on the Higgs Parity mechanism in which the Standard Model (SM) Higgs resides in a spinor representation. The theory has an intermediate left-right…
We study an extension of FO^2[<], first-order logic interpreted in finite words, in which formulas are restricted to use only two variables. We adjoin to this language two-variable atomic formulas that say, `the letter a appears between…
Local superlinear convergence of the semismooth Newton method usually necessitates assumptions on the uniform invertibility of the utilized, generalized Jacobian matrices, such as, e.g., BD- or CD-regularity. For certain composite-type…
The role of gauge invariance is reconsidered by "deriving it without assuming it" within an autonomous approach to interactions of Standard Model particles. In this approach, the renormalizable interactions are purely constrained by quantum…