Related papers: Documentation for the GAP code file OrbOrd.txt
Motivated by the theory of Riemann surfaces, we classify all possibilities for finite simple groups acting faithfully on a compact Riemann surface of genus at least 2 in such a way that all non-trivial elements have at most three fixed…
A data structure for finite bounded acyclic categories has been built, which is useful to encode and manipulate abstract orientable incidence structure. It can be represented as a directed acyclic multigraph with weighted edges, where the…
In this report we summarize this work, all finite simple groups $G$ can determined uniformly using their orders $|G|$ and the set $\pi_e(G)$ of their element orders.
The goal of this paper is to show there is a single orbit of the c.e. sets with inclusion, $\mathcal{E}$, such that the question of membership in this orbit is $\Sigma^1_1$-complete. This result and proof have a number of nice corollaries:…
The parameters of the AG codes on general linear groups are found. The hyperplane sections having the minimum (or maximum) number of rational points are determined.
In this paper we study topological rigidity of affine actions on compact connected metrizable abelian groups. We also classify one-parameter flows of translations upto orbit equivalence and discrete group actions by translations upto…
We compute special unipotent Arthur packets for real reductive groups in many cases. We list the cases that lead to incomplete answers, and in those cases, provide a suitable set of representations that could lead to a complete description…
We report on some computations with nilpotent orbits in simple Lie algebras of exceptional type within the SLA package of GAP4. Concerning reachable nilpotent orbits our computations firstly confirm the classification of such orbits in Lie…
We present the open source Python code BinaryStarSolver that solves for the orbital elements of a spectroscopic binary system. Given a time-series of radial velocity measurements, six orbital parameters are determined: the long-term mean,…
We provide bounds on the size of operators obtained by algorithms for executing D-finite closure properties. For operators of small order, we give bounds on the degree and on the height (bit-size). For higher order operators, we give degree…
This paper is mainly a semi-tutorial introduction to elementary algebraic topology and its applications to Ising-type models of statistical physics, using graphical models of linear and group codes. It contains new material on systematic…
We derive an expression in closed form for the action of a finite element of the Virasoro Group on generalized vertex operators. This complements earlier results giving an algorithm to compute the action of a finite string of generators of…
We consider the complex ind-group $G=\mathrm{SL}(\infty,\mathbb{C})$ and its real forms $G^0=\mathrm{SU}(\infty,\infty)$, $\mathrm{SU}(p,\infty)$, $\mathrm{SL}(\infty,\mathbb{R})$, $\mathrm{SL}(\infty,\mathbb{H})$. Our main objects of study…
The increasing number and variety of extrasolar planets illustrates the importance of characterizing planetary perturbations. Planetary orbits are typically described by physically intuitive orbital elements. Here, we explicitly express the…
The question of whether there exists a finite group of order at least three in which every element except one is a commutator has remained unresolved in group theory. In this article, we address this open problem by developing an…
We explore "semibounded" expansions of arbitrary ordered groups; namely, expansions that do not define a field on the whole universe. We show that if $\mathcal R=\langle R, <, +, \dots\rangle$ is a semibounded o-minimal structure and…
We give a ranker-based description using finite-index congruences for the variety $\boldsymbol{\mathrm{DAb}}$ of finite monoids whose regular $\mathcal{D}$-classes form Abelian groups. This combinatorial description yields a normal form for…
A sup-interpretation is a tool which provides an upper bound on the size of a value computed by some symbol of a program. Sup-interpretations have shown their interest to deal with the complexity of first order functional programs. For…
Let V be a finite dimensional vector space over the two element field. We compute orbits for the linear action of groups generated by transvections with respect to a certain class of bilinear forms on V. In particular, we compute orbits…
We prove that if a solvable group A acts coprimely on a solvable group G, then A has a "large" orbit in its corresponding action on the set of ordinary complex irreducible characters of G. This extends (at the cost of a weaker bound) a 2005…