Related papers: The Heyde characterization theorem on compact tota…
Decomposable dependency models possess a number of interesting and useful properties. This paper presents new characterizations of decomposable models in terms of independence relationships, which are obtained by adding a single axiom to…
In this paper, generalized Cayley graphs are studied. It is proved that every generalized Cayley graph of order 2p is a Cayley graph, where p is a prime. Special attention is given to generalized Cayley graphs on Abelian groups. It is…
For a Haar-distributed element $H$ of a compact Lie group \(L\), Eric Rains proved that there is a natural number $D = D_L$ such that, for all $d\ge D$, the eigenvalue distribution of $H^d$ is fixed, and Rains described this fixed…
The implication problem for conditional independence (CI) asks whether the fact that a probability distribution obeys a given finite set of CI relations implies that a further CI statement also holds in this distribution. This problem has a…
This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…
The main theorem of Galois theory states that there are no finite group-subgroup pairs with the same invariants. On the other hand, if we consider complex linear reductive groups instead of finite groups, the analogous statement is no…
We give an explicit combinatorial description of the deformation theory of the Abelian category of (quasi)coherent sheaves on any separated Noetherian scheme $X$ via the deformation theory of path algebras of quivers with relations, by…
Non-alternating Hamiltonian Lie algebras in three variables over a perfect field of characteristic 2 are considered. A classification of non-alternating Hamiltonian forms over an algebra of divided powers in three variables and of the…
We study the problem of independence and conditional independence tests between categorical covariates and a continuous response variable, which has an immediate application in genetics. Instead of estimating the conditional distribution of…
It is known that a linear hamiltonian system has too many invariant measures, thus the problem of convergence to Gibbs measure has no sense. We consider linear hamiltonian systems of arbitrary finite dimension and prove that, under the…
We prove new separability results about free groups. Namely, if $H_1, \ldots , H_k$ are infinite index, finitely generated subgroups of a non-abelian free group $F$, then there exists a homomorphism onto some alternating group $f:F…
We study the braiding statistics of particle-like and loop-like excitations in 2D and 3D gauge theories with finite, Abelian gauge group. The gauge theories that we consider are obtained by gauging the symmetry of gapped, short-range…
Let k be an algebraically closed field of characteristic zero, F its algebraically closed extension, and G be the group of k-automorphisms of F endowed with a natural topology. One of the purposes of this paper is to show that any…
For a reductive connected group or a finite group over a field of characteristic zero, we define an equivariant algebraic cobordism theory by a generalized version of the double point relation of Levine-Pandharipande. We prove basic…
Let G be an abelian p-group sum of finite homocyclic groups Gi. Here, we determine in which cases the automorphism group of G splits over ker(h), where h: Aut(G)-->Xi Aut(Gi/pGi) is the natural epimorphism.
In this expository article, we outline the theory of harmonic differential forms and its consequences. We provide self-contained proofs of the following important results in differential geometry: (1) Hodge theorem, which states that for a…
We study symmetries and defects of a wide class of two dimensional Abelian topological phases characterized by Lie algebras. We formulate the symmetry group of all Abelian topological field theories. The symmetries relabel quasiparticles…
We consider groups of piecewise-projective homeomorphisms of the line which are known to be non-amenable using notably the Carriere--Ghys theorem on ergodic equivalence relations. Replacing that theorem by an explicit fixed-point argument,…
We establish axiomatic characterizations of $K$-theory and $KK$-theory for real C*-algebras. In particular, let $F$ be an abelian group-valued functor on separable real C*-algebras. We prove that if $F$ is homotopy invariant, stable, and…
This survey purports to be an elementary introduction to compactly presented groups, which are the analogue of finitely presented groups in the broader realm of locally compact groups. In particular, compact presentation is interpreted as a…