Related papers: Non-gaussian $r-$congruences

We examine the convergence properties of sequences of nonnegative real numbers that satisfy a particular class of recursive inequalities, from the perspective of proof theory and computability theory. We first establish a number of results…

Let $p$ be a prime number. We compute the trivial source character tables of finite Frobenius groups $G$ with an abelian Frobenius complement $H$ and an elementary abelian Frobenius kernel of order $p^2$. More precisely, we deal with all…

This paper provides a short introduction to the notion of regular category and its use in categorical algebra. We first prove some of its basic properties, and consider some fundamental algebraic examples. We then analyse the algebraic…

We generalize several recognizability theorems for free single-sorted algebras to the field of many-sorted algebras and provide, in a uniform way and without using neither regular tree grammars nor tree automata, purely algebraic proofs of…

We consider theories which explain the flatness of the power spectrum of scalar perturbations in the Universe by conformal invariance, such as conformal rolling model and Galilean Genesis. We show that to the leading {\it non-linear} order,…

Recently a model, which is equivalent to the scalar form of Gursey model, is shown to be a nontrivial field theoretical model when it is gauged with a SU(N) field. In this paper we study another model that is equivalent to the vector form…

This contains a new version of the so-called non-commutative Gauss algorithm for polycyclic groups. Its results allow to read off the order and the index of a subgroup in an (possibly infinite) polycyclic group.

We show that there is a duality exchanging noncommutativity and non-trivial statistics for quantum field theory on R^d. Employing methods of quantum groups, we observe that ordinary and noncommutative R^d are related by twisting. We extend…

We classify essential algebras whose irredundant non-refinable covers consist of primal algebras. The proof is obtained by constructing one to one correspondence between such algebras and partial orders on finite sets. Further, we prove…

Let $R$ be an order in an algebraic number field. If $R$ is a principal order, then many explicit results on its arithmetic are available. Among others, $R$ is half-factorial if and only if the class group of $R$ has at most two elements.…

Let $G$ be a finite non-cyclic group. The non-cyclic graph $\Gamma_G$ of $G$ is the graph whose vertex set is $G\setminus Cyc(G)$, two distinct vertices being adjacent if they do not generate a cyclic subgroup, where $Cyc(G)=\{a\in G:…

A non-trivial element of a group is a generalized torsion element if some products of its conjugates is the identity. The minimum number of such conjugates is called a generalized torsion order. We provide several restrictions for…

Martin-L\"of's Intuitionistic Theory of Types is becoming popular for formal reasoning about computer programs. To handle recursion schemes other than primitive recursion, a theory of well-founded relations is presented. Using primitive…

In this article I first give an abbreviated history of string theory and then describe the recently-conjectured field-string duality. This suggests a class of nonsupersymmetric gauge theories which are conformal (CGT) to leading order of…

Over an arbitrary field of characteristic different from $2$ admitting an anisotropic torsion $3$-fold Pfister form, we apply a construction due to Merkurjev to produce an algebra with orthogonal involution of degree $6$ which admits proper…

The classical derangement numbers count fixed point-free permutations. In this paper we study the enumeration problem of generalized derangements, when some of the elements are restricted to be in distinct cycles in the cycle decomposition.…

General coherence theorems are constructed that yield explicit presentations of categorical and algebraic objects. The categorical structures involved are finitary discrete Lawvere 2-theories, though they are approached within the language…

This paper analyses non-regular $|2|$-graded geometries, and show that they share many of the properties of regular geometries -- the existence of a unique normal Cartan connection encoding the structure, the harmonic curvature as…

The present paper investigates a natural generalization of the duality between Riemannian symmetric pairs of compact type and those of non-compact type \`a la \'E. Cartan. The main result of this paper is to construct an explicit…

We study the confluence property of abstract rewriting systems internal to cubical categories. We introduce cubical contractions, a higher-dimensional generalisation of reductions to normal forms, and employ them to construct cubical…