Results 1 to 10 of about 5,847 (262)
Two-Higgs-doublet model and quark-lepton unification
Journal of High Energy Physics, 2022 We study the Two-Higgs-Doublet Model predicted in the minimal theory for quark-lepton unification that can describe physics at the low scale. We discuss the relations among the different decay widths of the new Higgs bosons and study their phenomenology ...
Pavel Fileviez Pérez +2 more
doaj +2 more sources
Finite Unification: Theory and Predictions [PDF]
Symmetry, Integrability and Geometry: Methods and Applications, 2010 All-loop Finite Unified Theories (FUTs) are very interesting N=1 supersymmetric Grand Unified Theories (GUTs) which not only realise an old field theoretic dream but also have a remarkable predictive power due to the required reduction of couplings.
Sven Heinemeyer +2 more
doaj +6 more sources
Einstein: Unification Theory and Unification of Basic Forces [PDF]
American Journal of Physics and Applications, 2015 This is a unique article that expresses the idea of unification theory and unification of basic forces. Depending on the truth that ‘every particle feels the force of gravity according to its mass or energy’ (Hawking, 1996) and spherical N-dimension of geometry by Riemann, it is observed how gravitation as a long range virtual particle spherically ...
exaly +4 more sources
The Algebraic Intersection Type Unification Problem [PDF]
Logical Methods in Computer Science, 2017 The algebraic intersection type unification problem is an important component in proof search related to several natural decision problems in intersection type systems.
Andrej Dudenhefner +2 more
doaj +1 more source
Pattern Unification for the Lambda Calculus with Linear and Affine Types [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 We define the pattern fragment for higher-order unification problems in linear and affine type theory and give a deterministic unification algorithm that computes most general unifiers.
Anders Schack-Nielsen +1 more
doaj +1 more source
Unification of Higher-order Patterns modulo Simple Syntactic Equational Theories [PDF]
Discrete Mathematics & Theoretical Computer Science, 2000 We present an algorithm for unification of higher-order patterns modulo simple syntactic equational theories as defined by Kirchner [14]. The algorithm by Miller [17] for pattern unification, refined by Nipkow [18] is first modified in order to behave as
Alexandre Boudet
doaj +3 more sources
Unification modulo a partial theory of exponentiation [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Modular exponentiation is a common mathematical operation in modern cryptography. This, along with modular multiplication at the base and exponent levels (to different moduli) plays an important role in a large number of key agreement protocols.
Paliath Narendran +2 more
doaj +1 more source
On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry [PDF]
Logical Methods in Computer Science, 2015 An algorithm for unification modulo one-sided distributivity is an early result by Tid\'en and Arnborg. More recently this theory has been of interest in cryptographic protocol analysis due to the fact that many cryptographic operators satisfy this ...
Andrew M Marshall +2 more
doaj +1 more source
Law of Creation and Grand Unification Theory [PDF]
Reports in Advances of Physical Sciences, 2018 The understanding about the creation of our universe is explored in many philosophies, natural sciences, religions, ideologies, traditions and many other disciplines.
Zhi Gang Sha, Rulin Xiu
doaj +1 more source
The Weinberg angle and 5D RGE effects in a SO(11) GUT theory
Physics Letters B, 2020 The Weinberg angle is an important parameter in Grand Unified Theories (GUT) as its size is crucially influenced by the assumption of unification. In scenarios with different steps of symmetry breaking, in particular in models that involve gauge-Higgs ...
Christoph Englert +2 more
doaj +1 more source