BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Dave Witte Morris

Dave Witte Morris appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.COmath.GRmath.RTmath.DGmath.DSmath.NT

Catalog footprint

What is connected

30works
6topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

30 published item(s)

preprint2023arXiv

Automorphisms of the canonical double cover of a toroidal grid

The Cartesian product of two cycles (of length m and length n) has a natural embedding on the torus, such that each face of the embedding is a 4-cycle. The toroidal grid Qd(m,n,r) is a generalization of this in which there is a shift by r when traversing the meridian of length m. In 2008, Steve Wilson found two interesting infinite families of (nonbipartite) toroidal grids that are unstable. (By definition, this means that the canonical bipartite double cover of the grid has more than twice as many automorphisms as the grid has.) It is easy to see that bipartite grids are also unstable, because the canonical double cover is disconnected. Furthermore, there are degenerate cases in which there exist two different vertices that have the same neighbours. This paper proves Wilson's conjecture that Qd(m,n,r) is stable for all other values of the parameters. In addition, we prove an analogous conjecture of Wilson for the triangular grids Tr(m,n,r) that are obtained by adding a diagonal to each face of Qd(m,n,r) (with all of the added diagonals parallel to each other).

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Arc-disjoint hamiltonian paths in Cartesian products of directed cycles

We show that if $C_1$ and $C_2$ are directed cycles (of length at least two), then the Cartesian product $C_1 \Box C_2$ has two arc-disjoint hamiltonian paths. (This answers a question asked by J. A. Gallian in 1985.) The same conclusion also holds for the Cartesian product of any four or more directed cycles (of length at least two), but some cases remain open for the Cartesian product of three directed cycles. We also discuss the existence of arc-disjoint hamiltonian paths in $2$-generated Cayley digraphs on (finite or infinite) abelian groups.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Hamiltonicity after reversing the directed edges at a vertex of a Cartesian product

Let $\vec C_m$ and $\vec C_n$ be directed cycles of length $m$ and $n$, with $m,n \ge 3$, and let $P(\vec C_m \mathbin{\Box} \vec C_n)$ be the digraph that is obtained from the Cartesian product $\vec C_m \mathbin{\Box} \vec C_n$ by choosing a vertex $v$, and reversing the orientation of all four directed edges that are incident with $v$. (This operation is called "pushing" at the vertex $v$.) By applying a special case of unpublished work of S.X.Wu, we find elementary number-theoretic necessary and sufficient conditions for the existence of a hamiltonian cycle in $P(\vec C_m \mathbin{\Box} \vec C_n)$. A consequence is that if $P(\vec C_m \mathbin{\Box} \vec C_n)$ is hamiltonian, then $\gcd(m,n) = 1$, which implies that $\vec C_m \mathbin{\Box} \vec C_n$ is not hamiltonian. This final conclusion verifies a conjecture of J.B.Klerlein and E.C.Carr.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

On automorphisms of the double cover of a circulant graph

A graph $X$ is said to be "unstable" if the direct product $X \times K_2$ (also called the canonical double cover of $X$) has automorphisms that do not come from automorphisms of its factors $X$ and $K_2$. It is "nontrivially unstable" if it is unstable, connected, and nonbipartite, and no two distinct vertices of X have exactly the same neighbors. We find three new conditions that each imply a circulant graph is unstable. (These yield infinite families of nontrivially unstable circulant graphs that were not previously known.) We also find all of the nontrivially unstable circulant graphs of order $2p$, where $p$ is any prime number. Our results imply that there does not exist a nontrivially unstable circulant graph of order $n$ if and only if either $n$ is odd, or $n < 8$, or $n = 2p$, for some prime number $p$ that is congruent to $3$ modulo $4$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Groups for which it is easy to detect graphical regular representations

We say that a finite group G is "DRR-detecting" if, for every subset S of G, either the Cayley digraph Cay(G,S) is a digraphical regular representation (that is, its automorphism group acts regularly on its vertex set) or there is a nontrivial group automorphism phi of G such that phi(S) = S. We show that every nilpotent DRR-detecting group is a p-group, but that the wreath product of two cyclic groups of order p is not DRR-detecting, for every odd prime p. We also show that if G and H are nontrivial groups that admit a digraphical regular representation and either gcd(|G|,|H|) = 1, or H is not DRR-detecting, then the direct product G x H is not DRR-detecting. Some of these results also have analogues for graphical regular representations.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Quasi-Isometric Bounded Generation by ${\mathbb Q}$-Rank-One Subgroups

We say that a subset $X$ quasi-isometrically boundedly generates a finitely generated group $Γ$ if each element $γ$ of a finite-index subgroup of $Γ$ can be written as a product $γ= x_1 x_2 \cdots x_r$ of a bounded number of elements of $X$, such that the word length of each $x_i$ is bounded by a constant times the word length of $γ$. A. Lubotzky, S. Mozes, and M.S. Raghunathan observed in 1993 that ${\rm SL}(n,{\mathbb Z})$ is quasi-isometrically boundedly generated by the elements of its natural ${\rm SL}(2,{\mathbb Z})$ subgroups. We generalize (a slightly weakened version of) this by showing that every $S$-arithmetic subgroup of an isotropic, almost-simple ${\mathbb Q}$-group is quasi-isometrically boundedly generated by standard ${\mathbb Q}$-rank-1 subgroups.

0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv

Relative Property (T) for Nilpotent Subgroups

We show that relative Property (T) for the abelianization of a nilpotent normal subgroup implies relative Property (T) for the subgroup itself. This and other results are a consequence of a theorem of independent interest, which states that if $H$ is a closed subgroup of a locally compact group $G$, and $A$ is a closed subgroup of the center of $H$, such that $A$ is normal in $G$, and $(G/A, H/A)$ has relative Property (T), then $(G, H^{(1)})$ has relative Property (T), where $H^{(1)}$ is the closure of the commutator subgroup of $H$. In fact, the assumption that $A$ is in the center of $H$ can be replaced with the weaker assumption that $A$ is abelian and every $H$-invariant finite measure on the unitary dual of $A$ is supported on the set of fixed points.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Hamiltonian paths in m x n projective checkerboards

For any two squares A and B of an m x n checkerboard, we determine whether it is possible to move a checker through a route that starts at A, ends at B, and visits each square of the board exactly once. Each step of the route moves to an adjacent square, either to the east or to the north, and may step off the edge of the board in a manner corresponding to the usual construction of a projective plane by applying a twist when gluing opposite sides of a rectangle. This generalizes work of M.H.Forbush et al. for the special case where m = n.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Isomorphisms of Cayley graphs on nilpotent groups

Let S be a finite generating set of a torsion-free, nilpotent group G. We show that every automorphism of the Cayley graph Cay(G;S) is affine. (That is, every automorphism of the graph is obtained by composing a group automorphism with multiplication by an element of the group.) More generally, we show that if Cay(G;S) and Cay(G';S') are connected Cayley graphs of finite valency on two nilpotent groups G and G', then every isomorphism from Cay(G;S) to Cay(G';S') factors through to a well-defined affine map from G/N to G'/N', where N and N' are the torsion subgroups of G and G', respectively. For the special case where the groups are abelian, these results were previously proved by A.A.Ryabchenko and C.Loeh, respectively.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

A Cohomological Proof that Real Representations of Semisimple Lie Algebras Have $\mathbb{Q}$-Forms

A Lie algebra $\mathfrak{g}_\mathbb{Q}$ over $\mathbb{Q}$ is said to be $\mathbb{R}$-universal if every homomorphism from $\mathfrak{g}_\mathbb{Q}$ to $\mathfrak{gl}(n,\mathbb{R})$ is conjugate to a homomorphism into $\mathfrak{gl}(n,\mathbb{Q})$ (for every $n$). By using Galois cohomology, we provide a short proof of the known fact that every real semisimple Lie algebra has an $\mathbb{R}$-universal $\mathbb{Q}$-form. We also provide a classification of the $\mathbb{R}$-universal Lie algebras that are semisimple.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Infinitely many nonsolvable groups whose Cayley graphs are hamiltonian

This note shows there are infinitely many finite groups G, such that every connected Cayley graph on G has a hamiltonian cycle, and G is not solvable. Specifically, for every prime p that is congruent to 1, modulo 30, we show there is a hamiltonian cycle in every connected Cayley graph on the direct product of the cyclic group of order p with the alternating group A_5 on five letters.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Introduction to Arithmetic Groups

This book provides a gentle introduction to the study of arithmetic subgroups of semisimple Lie groups. This means that the goal is to understand the group SL(n,Z) and certain of its subgroups. Among the major results discussed in the later chapters are the Mostow Rigidity Theorem, the Margulis Superrigidity Theorem, Ratner's Theorems, and the classification of arithmetic subgroups of classical groups. As background for the proofs of these theorems, the book provides primers on lattice subgroups, arithmetic groups, real rank and Q-rank, ergodic theory, unitary representations, amenability, Kazhdan's property (T), and quasi-isometries. Numerous exercises enhance the book's usefulness both as a textbook for a second-year graduate course and for self-study. In addition, notes at the end of each chapter have suggestions for further reading. (Proofs in this book often consider only an illuminating special case.) Readers are expected to have some acquaintance with Lie groups, but appendices briefly review the prerequisite background.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

On colour-preserving automorphisms of Cayley graphs

We study the automorphisms of a Cayley graph that preserve its natural edge-colouring. More precisely, we are interested in groups G, such that every such automorphism of every connected Cayley graph on G has a very simple form: the composition of a left-translation and a group automorphism. We find classes of groups that have the property, and we determine the orders of all groups that do not have the property. We also have analogous results for automorphisms that permute the colours, rather than preserving them.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Nonarchimedean superrigidity of solvable S-arithmetic groups

Let Gamma be an S-arithmetic subgroup of a solvable algebraic group G over an algebraic number field F, such that the finite set S contains at least one place that is nonarchimedean. We construct a certain group H, such that if L is any local field and alpha is any homomorphism from Gamma to GL(n,L), then alpha virtually extends (modulo a bounded error) to a continuous homomorphism defined on some finite-index subgroup of H. In the special case where F is the field of rational numbers, the real-rank of G is 0, and Gamma is Zariski-dense in G, we may let H = G_S. We also point out a generalization that does not require G to be solvable.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Amenable groups with a locally invariant order are locally indicable

We show that every amenable group with a locally invariant partial order has a left-invariant total order (and is therefore locally indicable). We also show that if a group G admits a left-invariant total order, and H is a locally nilpotent subgroup of G, then a left-invariant total order on G can be chosen so that its restriction to H is both left-invariant and right-invariant. Both results follow from recurrence properties of the action of G on its binary relations.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Horospherical limit points of locally symmetric spaces

Suppose X/Gamma is an arithmetic locally symmetric space of noncompact type (with the natural metric induced by the Killing form of the isometry group of X), and let p be a point on the visual boundary of X. It was shown by T.Hattori that if each horoball based at p intersects every Gamma-orbit in X, then p is not on the boundary of any Q-split flat in X (where Q is the field of rational numbers). We prove the converse. (This was conjectured by W.H.Rehn in some special cases.) Furthermore, we prove an analogous result when Gamma is a nonarithmetic lattice.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Horospherical limit points of S-arithmetic groups

Suppose Gamma is an S-arithmetic subgroup of a connected, semisimple algebraic group G over a global field Q (of any characteristic). It is well known that Gamma acts by isometries on a certain CAT(0) metric space X_S that is a Cartesian product of Euclidean buildings and Riemannian symmetric spaces. For a point p on the visual boundary of X_S, we show there exists a horoball based at p that is disjoint from some Gamma-orbit in X_S if and only if p lies on the boundary of a certain type of flat in X_S that we call "Q-good." This generalizes a theorem of G.Avramidi and D.W.Morris that characterizes the horospherical limit points for the action of an arithmetic group on its associated symmetric space.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Some arithmetic groups that do not act on the circle

The group SL(3,Z) cannot act (faithfully) on the circle (by homeomorphisms). We will see that many other arithmetic groups also cannot act on the circle. The discussion will involve several important topics in group theory, such as ordered groups, amenability, bounded generation, and bounded cohomology. Lecture 1 provides an introduction to the subject, and uses the theory of left-orderable groups to prove that SL(3,Z) does not act on the circle. Lecture 2 discusses bounded generation, and proves that groups of the form SL(2,Z[a]) do not act on the real line. Lectures 3 and 4 are brief introductions to amenable groups and bounded cohomology, respectively. They also explain how these ideas can be used to prove that actions on the circle have finite orbits. An appendix provides hints or references for all of the exercises. These notes are slightly expanded from talks given at the Park City Mathematics Institute's Graduate Summer School in July 2012.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The space of bi-invariant orders on a nilpotent group

We prove a few basic facts about the space of bi-invariant (or left-invariant) total order relations on a torsion-free, nonabelian, nilpotent group G. For instance, we show that the space of bi-invariant orders has no isolated points (so it is a Cantor set if G is countable), and give examples to show that the outer automorphism group of G does not always act faithfully on this space. Also, it is not difficult to see that the abstract commensurator group of G has a natural action on the space of left-invariant orders, and we show that this action is faithful. These results are related to recent work of T.Koberda that shows the automorphism group of G acts faithfully on this space.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Volume-preserving actions of simple algebraic Q-groups on low-dimensional manifolds

We prove that SL(n,Q) has no nontrivial, C-infinity, volume-preserving action on any compact manifold of dimension strictly less than n. More generally, suppose G is a connected, isotropic, almost-simple algebraic group over Q, such that the simple factors of every localization of G have rank at least two. If there does not exist a nontrivial homomorphism from G(R) to GL(d,C), then every C-infinity, volume-preserving action of G(Q) on any compact d-dimensional manifold must factor through a finite group.

0 citations0 reviewsNo code linkedOpen access