Related papers: The Higman-M\lowercase{c}Laughlin Theorem for the …

We construct the graphs of Hoffman-Singleton, Higman-Sims, and McLaughlin from certain relations on the set of non-singular conics totally tangent to the Hermitian curve of degree 6 in characteristic 5. We then interpret this geometric…

Let $\gamma_g(G)$ be the game domination number of a graph $G$. Rall conjectured that if $G$ is a traceable graph, then $\gamma_g(G) \le \left\lceil \frac{1}{2}n(G)\right\rceil$. Our main result verifies the conjecture over the class of…

Recently, Leemans and Stokes constructed an infinite family of incidence geometries admitting trialities but no dualities from the groups PSL(2,q) (where $q=p^{3n}$ with $p$ a prime and $n>0$ a positive integer). Unfortunately these…

Belolipetsky and Jones classified those compact Riemann surfaces of genus $g$ admitting a large group of automorphisms of order $\lambda (g-1)$, for each $\lambda >6,$ under the assumption that $g-1$ is a prime number. In this article we…

A classical theorem of Jordan asserts that if a group $G$ acts transitively on a finite set of size at least $2$, then $G$ contains a derangement (a fixed-point free element). Generalisations of Jordan's theorem have been studied…

A digraph is $s$-arc-transitive if its automorphism group is transitive on directed paths with $s$ edges, that is, on $s$-arcs. Although infinite families of finite $s$-arc transitive digraphs of arbitrary valency were constructed by the…

We show that the following problems are decidable in a rank 2 free group F_2: does a given finitely generated subgroup H contain primitive elements? and does H meet the orbit of a given word u under the action of G, the group of…

A parabolic automorphism of a hyperkahler manifold is a holomorphic automorphism acting on $H^2(M)$ by a non-semisimple quasi-unipotent linear map. We prove that a parabolic automorphism which preserves a Lagrangian fibration acts on its…

We show that there exist functions $c$ and $g$ such that, if $k$, $n$ and $d$ are positive integers with $d> g(n)$ and $\Gamma$ is a $d$-valent $2$-arc-transitive graph of order $kp^n$ with $p$ a prime, then $p\leqslant kc(d)$. In other…

We study the twisted Hochschild homology of quantum full flag manifolds, with the twist being the modular automorphism of the Haar state. We show that non-trivial 2-cycles can be constructed from appropriate invariant projections. The main…

A graph Gamma is said to be 2-arc-transitive if its full automorphism group Aut(\Gamma) has a single orbit on ordered paths of length 2, and for G\leq Aut(\Gamma), \Gamma is G-regular if G is regular on the vertex set of \Gamma. Let G be a…

A design is called $t$-pyramidal when it has an automorphism group which fixes $t$ points and acts sharply transitively on the remaining points. We determine all symmetric $(2^k-1,2^{k-1},2^{k-2})$-designs which are $(2^{k-1}-1)$-pyramidal…

Let $G$ be a graph in which each edge is assigned one of the colours $1, 2, \ldots, m$, and let $\Gamma$ be a subgroup of $S_m$. The operation of switching at a vertex $x$ of $G$ with respect to an element $\pi$ of $\Gamma$ permutes the…

The prism over a graph $G$ is the cartesian product $G \Box K_2$. It is known that the property of having a Hamiltonian prism (prism-Hamiltonicity) is stronger than that of having a $2$-walk (spanning closed walk using every vertex at most…

This paper studies the long-standing open problem of the reduction of Steiner 3-designs admitting a block-transitive automorphism group. We prove that if G acts as a point-primitive, block-transitive automorphism group of a nontrivial…

Let $\pi : X\to \Lambda$ be a flat family of smooth complex projective varieties parameterized by a smooth quasi-projective variety $\Lambda$, and let $f: X\to X$ be a family of automorphisms with positive topological entropy. Suppose…

We initiate the study of Hamiltonian cycles up to symmetries of the underlying graph. Our focus lies on the extremal case of Hamiltonian-transitive graphs, i.e., Hamiltonian graphs where, for every pair of Hamiltonian cycles, there is a…

Let $q$ be a prime power and $V\cong{\mathbb F}_q^n$. A $t$-$(n,k,\lambda)_q$ design, or simply a subspace design, is a pair ${\mathcal D}=(V,{\mathcal B})$, where ${\mathcal B}$ is a subset of the set of all $k$-dimensional subspaces of…

Let lambda be aleph_0 or a strong limit of cofinality aleph_0. Suppose that (G_m,p_{m,n}:m =< n<omega) and (H_m,p^t_{m,n}: m=< n < omega) are projective systems of groups of cardinality less than lambda and suppose that for every n<omega…

For first-order quasi-linear systems of partial differential equations, we formulate an assumption of a transition from initial hyperbolicity to ellipticity. This assumption bears on the principal symbol of the first-order operator. Under…