Related papers: Standard model and unimodularity condition
We prove normalization for MTT, a general multimodal dependent type theory capable of expressing modal type theories for guarded recursion, internalized parametricity, and various other prototypical modal situations. We prove that deciding…
Noncommutative geometry applied to the standard model of electroweak and strong interactions was shown to produce fuzzy relations among masses and gauge couplings. We refine these relations and show then that they are exhaustive.
In this paper we formalize some foundation concepts and theorems of group theory in a variant of type theory called the Calculus of Constructions with Definitions. In this theory we introduce definition of a group, which is both general and…
A class of generalized definitions of expectation value is often employed in nonequilibrium statistical mechanics for complex systems. Here, the necessary and sufficient condition is presented for such a class to be stable under small…
I present here a simple proof that, under general regularity conditions, the standard parametrization of generalized linear mixed model is identifiable. The proof is based on the assumptions of generalized linear mixed models on the first…
This paper is based on lectures presented to mathematical physicists and attempts to provide an overview of the present status of the Standard Model, its experimental tests, phenomenological and experimental motivations for going beyond the…
In this paper we consider Modal Team Logic, a generalization of Classical Modal Logic in which it is possible to describe dependence phenomena between data. We prove that most known fragment of Full Modal Team Logic allow the elimination of…
The notion of singular reduction modules, i.e., of singular modules of nonclassical (conditional) symmetry, of differential equations is introduced. It is shown that the derivation of nonclassical symmetries for differential equations can…
The standard model is healthy is all respects except for the non-zero neutrino masses which require an extension of the minimal version
We review several problems of conventional Grand Unification and some new approaches. In particular, we discuss strongly coupled Grand Unified Theories. Standard Model may emerge as a low energy effective theory of composite particles in…
Classically, congruence subgroups of the modular group, which can be described by congruence relations, play important roles in group theory and modular forms. In reality, the majority of finite index subgroups of the modular group are…
We investigate the nature of divergences in quantum field theory, showing that they are organized in the structure of a certain `` motivic Galois group'', which is uniquely determined and universal with respect to the set of physical…
The extension of majorization (also called the rearrangement ordering), to more general groups than the symmetric (permutation) group, is referred to as $G$-majorization. There are strong results in the case that $G$ is a reflection group…
Clifford theory establishes a relation between the representation theory of a finite group and its normal subgroups. In this paper, we establish the Clifford theory for the modular representations of finite groups. The proofs are based on…
We find many conditions equivalent to the model-theoretical property $\lambda \stackrel{\kappa}{\Rightarrow} \mu$ introduced in [L1]. Our conditions involve uniformity of ultrafilters, compactness properties of products of topological…
We would like to discuss the language to write an extended Standard Model - using renormalizable quantum field theory as the framework; to start with certain basic units together with a certain gauge group. Specifically we use the…
Consider a reductive group G over a non-archimedean local field. The Galois group Gal(C/Q) acts naturally on the category of smooth complex G-representations. We prove that this action stabilizes the class of standard modules. This…
In this paper, we prove a uniform estimate for the modulus of continuity of solutions to degenerate complex Monge--Amp\`ere equation in big cohomology classes. This improves the previous results of Di Nezza--Lu and of the first author.
In this contribution we revisit regular model checking, a powerful framework that has been successfully applied for the verification of infinite-state systems, especially parameterized systems (concurrent systems with an arbitrary number of…
A brief review of the Standard Model of particle physics is presented.