Related papers: One is all you need: Second-order Unification with…
We generalize S-duality to N=2 superconformal field theories (SCFTs) with Coulomb branch operators of non-integer scaling dimension. As simple examples, we find minimal generalizations of the S-dualities discovered in SU(2) gauge theory…
I review some recent results on the Higgs sector of minimal SO(10) grand unified theories both with and without supersymmetry. It is shown that nonsupersymmetric SO(10) with just one adjoint triggering the first stage of the symmetry…
In the framework of a real Hilbert space, we address the problem of finding the zeros of the sum of a maximally monotone operator $A$ and a cocoercive operator $B$. We study the asymptotic behaviour of the trajectories generated by a second…
We consider two-variable first-order logic FO2 over infinite words. Restricting the number of nested negations defines an infinite hierarchy; its levels are often called the half-levels of the FO2 quantifier alternation hierarchy. For every…
In this paper, we discuss the self-consistency condition for the spherical symmetric Klein-Gordon equation, and then discuss a natural possibility that gravity and weak coupling constants g_G and g_W may be defined after g_{EM}. In this…
A gauge theory with an underlying SU_q(2) quantum group symmetry is introduced, and its properties examined. With suitable assumptions, this model is found to have many similarities with the usual SU(2)\times U(1) Standard Model,…
In this article, we review gauge-Higgs unification models based on gauge theories defined on six-dimensional spacetime with $S^2/Z_2$ topology in the extra spatial dimensions. On the extra $S^2/Z_2$ space, non-trivial boundary conditions…
We study Gauge-Higgs unification model on the orbifold $S^{1}/Z_{2}$ based on the extended SM gauge group $G_{SM}^{ex}=SU(2)_{L} \times U(1)_{Y} \times SO(3)_{F}$. The group $SO(3)_{F}$ is treated as a chiral gauged flavour symmetry.…
Equational unification of two terms consists of finding a substitution that, when applied to both terms, makes them equal modulo some equational properties. A narrowing-based equational unification algorithm relying on the concept of the…
It is proposed that a non-Abelian adjoint two-form in BF type theories transform inhomogeneously under the gauge group. The resulting restrictions on invariant actions are discussed. The auxiliary one-form which is required for maintaining…
We study extensions of expressive decidable fragments of first-order logic with circumscription, in particular the two-variable fragment FO$^2$, its extension C$^2$ with counting quantifiers, and the guarded fragment GF. We prove that if…
Recently, symbolic structures were proposed as finite representations of potentially infinite first-order structures, where Linear Integer Arithmetic terms and formulas define the domain and interpretations of a structure. We generalize…
A product SU(5)xSp(4) grand unified model is proposed with no fundamental Higgs fields transforming under SU(5). Higgs doublets are instead embedded into a four dimensional representation of the Sp(4) gauge group, and hence there is no…
We prove the undecidability of MSO on $\omega$-words extended with the second-order predicate $U_1(X)$ which says that the distance between consecutive positions in a set $X \subseteq \mathbb{N}$ is unbounded. This is achieved by showing…
Inspired by Karr's algorithm, we consider the summations involving a sequence satisfying a recurrence of order two. The structure of such summations provides an algebraic framework for solving the difference equations of form…
This talk consists of two parts. In part I we review how 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 highly…
The first-order theory of addition over the natural numbers, known as Presburger arithmetic, is decidable in double exponential time. Adding an uninterpreted unary predicate to the language leads to an undecidable theory. We sharpen the…
Two main algorithmic approaches are known for making Hironaka's proof of resolution of singularities in characteristic zero constructive. Their main difference is the use of different notions of transforms during the resolution process and…
We define the adjacent fragment AF of first-order logic, obtained by restricting the sequences of variables occurring as arguments in atomic formulas. The adjacent fragment generalizes (after a routine renaming) two-variable logic as well…
In this paper, we establish an improved version of a saddle point theorem ([4]) removing a weak lower semicontinuity assumption at all. We then revisit some of the applications of that theorem in the light of such an improvement. For…