arXiv research

Reduces field theories on principal bundles by a subgroup, deriving reduced equations.

cMCA uses contrastive learning to identify latent subgroups in political party data.

In this paper we derive a generating series for the number of cellular complexes known as pavings or three-dimensional maps, on $n$ darts, thus solving an analogue of Tutte's problem in dimension three. The generating series we derive also counts free subgroups of index $n$ in $Δ^+ = \mathbb{Z}_2*\mathbb{Z}_2*\mathbb{Z…

The study examines conditions for symmetric and alternating subgroups in mapping class groups of surfaces.

New $p$-colorable subgroup derived from Thompson's group.

We show that any subgroup of a (virtually) nilpotent-by-polycyclic group satisfies the bounded packing property of Hruska-Wise. In particular, the same is true about metabelian groups and linear solvable groups. However, we find an example of a finitely generated solvable group of derived length 3 which admits a finite…

A new algorithm COVA-FC improves subgroup-fair clustering efficiency.

We say A is a quasi-normal subgroup of the group G if the commensurator of A in G is all of G. We develop geometric versions of commensurators in finitely generated groups. In particular, g is an element of the commensurator of A in G iff the Hausdorff distance between A and gA is finite. We show that a quasi-normal su…

We derive a generating series for the number of free subgroups of finite index in $Δ^+ = \mathbb{Z}_p*\mathbb{Z}_q$ by using a connection between free subgroups of $Δ^+$ and certain hypermaps (also known as ribbon graphs or "fat" graphs), and show that this generating series is transcendental. We provide non-linear rec…

Causal Interaction Trees identify treatment subgroup effects in observational data.

We show that two knots have matching Vassiliev invariants of order less than n if and only if they are equivalent modulo the nth group of the lower central series of some pure braid group, thus characterizing Vassiliev's knot invariants in terms of the structure of the braid groups. We also prove some results about kno…

In this short note we prove that the Farrell-Jones Fibered Isomorphism Conjecture in L-theory, after inverting 2, is true for a group whose some derived subgroup is free.

New method identifies subgroups in censored data.

We determine the lower central and derived series of the n-string braid groups B_n(RP^2) of the real projective plane. We are motivated in part by the study of Fadell-Neuwirth short exact sequences, but the problem is interesting in its own right. For n=1,2, B_n(RP^2) is finite and its lower central and derived series …

We give a new proof that compact infra-solvmanifolds with isomorphic fundamental groups are smoothly diffeomorphic. More generally, we prove rigidity results for manifolds which are constructed using affine actions of virtually polycyclic groups on solvable Lie groups. Our results are derived from rigidity properties o…

Let $H<\mathrm{PSL}_2(\mathbb{Z})$ be a finite index normal subgroup which is contained in a principal congruence subgroup, and let $Φ(H)\neq H$ denote a term of the lower central series or the derived series of $H$. In this paper, we prove that the commensurator of $Φ(H)$ in $\mathrm{PSL}_2(\mathbb{R})$ is discrete. W…

Study of commutator subgroups and crystallographic quotients of virtual groups.

New risk measures control subgroup imbalances, improving PAC-Bayesian bounds.

In this paper, we prove a limit set intersection theorem in relatively hyperbolic groups. Our approach is based on a study of dynamical quasiconvexity of relatively quasiconvex subgroups. Using dynamical quasiconvexity, many well-known results on limit sets of geometrically finite Kleinian groups are derived in general…

We derive a lower bound on the size of finite non-cyclic quotients of the braid group that is superexponential in the number of strands. We also derive a similar lower bound for nontrivial finite quotients of the commutator subgroup of the braid group.

The paper introduces moment multicalibration for estimating uncertainty across subgroups.

Let IA_n be the Torelli subgroup of Aut(F_n). We give an explicit finite set of generators for H_2(IA_n) as a GL_n(Z)-module. Corollaries include a version of surjective representation stability for H_2(IA_n), the vanishing of the GL_n(Z)-coinvariants of H_2(IA_n), and the vanishing of the second rational homology grou…

The paper explores infinite metacyclic subgroups in mapping class groups of surfaces.

CAPITAL algorithm identifies optimal patient subgroups for better treatment.

We prove that if $T$ is an $\mathbb R$-tree with a minimal free isometric action of $F_N$, then the $Out(F_N)$-stabilizer of the projective class $[T]$ is virtually cyclic. For the special case where $T=T_+(φ)$ is the forward limit tree of an atoroidal iwip element $φ\in Out(F_N)$ this is a consequence of the results o…

Let n\geq 3. We classify the finite groups which are realised as subgroups of the sphere braid group B_n(S^2). Such groups must be of cohomological period 2 or 4. Depending on the value of n, we show that the following are the maximal finite subgroups of B_n(S^2): Z_{2(n-1)}; the dicyclic groups of order 4n and 4(n-2);…

A criterion ensures double sliceness for certain knots and satellite knots.

Study shows Steinberg representation's multiplicity in cohomology of congruence subgroups.

In this paper we consider three arithmetic families of isospectral non-isometric Riemannian orbifolds and in each case derive an upper bound for the size of the family which is polynomial as a function of the volume of the orbifolds. The first family that we consider are those constructed by Vigneras' method. The secon…

Local limit theorem for random walks on hyperbolic groups with parabolic subgroups.

It has been shown that non-stabilizer eigenstates of permutation gates are appropriate for allowing $d$-dimensional universal quantum computing (uqc) based on minimal informationally complete POVMs. The relevant quantum gates may be built from subgroups of finite index of the modular group $Γ=PSL(2,\mathbb{Z})$ [M. Pla…

We give an alternative definition of relative hyperbolicity based on properties of closest-point projections on peripheral subgroups. We also derive a distance formula for relatively hyperbolic groups, similar to the one for mapping class groups.

The first group of differentiable cohomology of $\Diff(S^1)$, vanishing on the Möbius subgroup $PSL(2,R)\subset\Diff(S^1)$, with coefficients in modules of linear differential operators on $S^1$ is calculated. We introduce three non-trivial $PSL(2,R)$-invariant 1-cocycles on $\Diff(S^1)$ generalizing the Schwarzian der…

The paper characterizes finite metacyclic subgroups in mapping class groups of surfaces.

It is known that each of the successive quotient groups of the grope and solvable filtrations of the knot concordance group has an infinite rank subgroup. The generating knots of these subgroups are constructed using iterated doubling operators. In this paper, for each of the successive quotients of the filtrations we …

The paper solves conditions for metacyclic actions on surfaces, including upper bounds and subgroup classifications.

We prove that groups that are mod-p-homology equivalent are isomorphic modulo any term of their derived p-series, in precise analogy to Stallings' 1963 result for the lower-central p-series. Similarly spaces that are mod-p-homology equivalent have fundamental groups that are isomorphic modulo any term of their p-derive…

We show that many normal subgroups of the braid group modulo its centre, and of the mapping class group of a sphere with marked points, have the property that their automorphism and abstract commensurator groups are mapping class groups of such spheres. As one application, we establish the automorphism groups of each t…

We investigate the gauging of the Wess-Zumino term of a sigma model with boundary. We derive a set of obstructions to gauging and we interpret them as the conditions for the Wess-Zumino term to extend to a closed form in a suitable equivariant relative de Rham complex. We illustrate this with the two-dimensional sigma …

Study lifts periodic mapping classes under alternating group actions on surfaces.

A classification scheme of the conformal almost contact metric manifolds with respect to the covariant derivative of the Lee form is given. The subclasses of one basic class and their exact characterizations by the maximal subgroups of the contact conformal group preserving itself are found.

Estimates Bergman kernel for Siegel varieties, focusing on geodesic distances.

We discuss locally simply transitive affine actions of Lie groups G on finite-dimensional vector spaces such that the commutator subgroup [G,G] is acting by translations. In other words, we consider left-symmetric algebras satisfying the identity [x,y].z=0. We derive some basic characterizations of such left-symmetric …

Constructing manifold bundles from orbifolds and proving the existence of free subgroups in second homotopy groups.

New benchmark predicts cardiometabolic risk from accelerometer data, with varying accuracy.

We introduce the notion of weak commensurabilty of arithmetic subgroups and relate it to the length equivalence and isospectrality of locally symmetric spaces. We prove many strong consequences of weak commensurabilty and derive from these many interesting results about isolength and isospectral locally symmetric space…

The paper explores intersectional fairness in machine learning, proving bounds on it.

The paper characterizes crystallographic groups derived from virtual braid and twin groups.