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

Jon McCammond

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

ResearcherUnclaimed source record
math.GRmath.COmath.GTmath.DSFormal Languages and Automata Theory

Catalog footprint

What is connected

18works
5topics
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

18 published item(s)

preprint2021arXiv

Factoring isometries of quadratic spaces into reflections

Let $V$ be a vector space endowed with a non-degenerate quadratic form $Q$. If the base field $\mathbb{F}$ is different from $\mathbb{F}_2$, it is known that every isometry can be written as a product of reflections. In this article, we detail the structure of the poset of all minimal length reflection factorizations of an isometry. If $\mathbb{F}$ is an ordered field, we also study factorizations into positive reflections, i.e., reflections defined by vectors of positive norm. We characterize such factorizations, under the hypothesis that the squares of $\mathbb{F}$ are dense in the positive elements (this includes Archimedean and Euclidean fields). In particular, we show that an isometry is a product of positive reflections if and only if its spinor norm is positive. As a final application, we explicitly describe the poset of all factorizations of isometries of the hyperbolic space.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Boundary Braids

The n-strand braid group can be defined as the fundamental group of the configuration space of n unlabeled points in a closed disk based at a configuration where all n points lie in the boundary of the disk. Using this definition, the subset of braids that have a representative where a specified subset of these points remain pointwise fixed forms a subgroup isomorphic to a braid group with fewer strands. In this article, we generalize this phenomenon by introducing the notion of boundary braids. A boundary braid is a braid that has a representative where some specified subset of the points remains in the boundary cycle of the disk. Although boundary braids merely form a subgroupoid rather than a subgroup, they play an interesting geometric role in the piecewise Euclidean dual braid complex defined by Tom Brady and the second author. We prove several theorems in this setting, including the fact that the subcomplex of the dual braid complex determined by a specified set of boundary braids metrically splits as the direct metric product of a Euclidean polyhedron and a dual braid complex of smaller rank.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Braid groups and euclidean simplices

When Daan Krammer and Stephen Bigelow independently proved that braid groups are linear, they used the Lawrence-Krammer-Bigelow representation for generic values of its variables q and t. The t variable is closely connected to the traditional Garside structure of the braid group and plays a major role in Krammer's algebraic proof. The q variable, associated with the dual Garside structure of the braid group, has received less attention. In this article we give a geometric interpretation of the q portion of the LKB representation in terms of an action of the braid group on the space of non-degenerate euclidean simplices. In our interpretation, braid group elements act by systematically reshaping (and relabeling) euclidean simplices. The reshapings associated to the simple elements in the dual Garside structure of the braid group are of an especially elementary type that we call relabeling and rescaling.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Curvature and Computation

When undergraduates ask me what geometric group theorists study, I describe a theorem due to Gromov which relates the groups with an intrinsic geometry like that of the hyperbolic plane to those in which certain computations can be efficiently carried out. In short, I describe the close but surprising connection between negative curvature and efficient computation. This theorem was one of the clearest early indications that applying a metric perspective to traditional group theory problems might lead to new and important insights.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Dual euclidean Artin groups and the failure of the lattice property

The irreducible euclidean Coxeter groups that naturally act geometrically on euclidean space are classified by the well-known extended Dynkin diagrams and these diagrams also encode the modified presentations that define the irreducible euclidean Artin groups. These Artin groups have remained mysterious with some exceptions until very recently. Craig Squier clarified the structure of the three examples with three generators more than twenty years ago and François Digne more recently proved that two of the infinite families can be understood by constructing a dual presentation for each of these groups and showing that it forms an infinite-type Garside structure. In this article I establish that none of the remaining dual presentations for irreducible euclidean Artin groups corrspond to Garside structures because their factorization posets fail to be lattices. These are the first known examples of dual Artin presentations that fail to form Garside structures. Moreover, the results presented here about the cause of this failure form the foundation for a subsequent article in which the structure of all euclidean Artin groups is clarified.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The infinite cyclohedron and its automorphism group

Cyclohedra are a well-known infinite familiy of finite-dimensional polytopes that can be constructed from centrally symmetric triangulations of even-sided polygons. In this article we introduce an infinite-dimensional analogue and prove that the group of symmetries of our construction is a semidirect product of a degree 2 central extension of Thompson's infinite finitely presented simple group T with the cyclic group of order 2. These results are inspired by a similar recent analysis by the first author of the automorphism group of an infinite-dimensional associahedron.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Factoring euclidean isometries

Every isometry of a finite dimensional euclidean space is a product of reflections and the minimum length of a reflection factorization defines a metric on its full isometry group. In this article we identify the structure of intervals in this metric space by constructing, for each isometry, an explicit combinatorial model encoding all of its minimal length reflection factorizations. The model is largely independent of the isometry chosen in that it only depends on whether or not some point is fixed and the dimension of the space of directions that points are moved.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The structure of euclidean Artin groups

The Coxeter groups that act geometrically on euclidean space have long been classified and presentations for the irreducible ones are encoded in the well-known extended Dynkin diagrams. The corresponding Artin groups are called euclidean Artin groups and, despite what one might naively expect, most of them have remained fundamentally mysterious for more than forty years. Recently, my coauthors and I have resolved several long-standing conjectures about these groups, proving for the first time that every irreducible euclidean Artin group is a torsion-free centerless group with a decidable word problem and a finite-dimensional classifying space. This article surveys our results and the techniques we use to prove them.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Dynamics Groups of Asynchronous Cellular Automata

We say that a finite asynchronous cellular automaton (or more generally, any sequential dynamical system) is pi-independent if its set of periodic points are independent of the order that the local functions are applied. In this case, the local functions permute the periodic points, and these permutations generate the dynamics group. We have previously shown that exactly 104 of the possible 256 cellular automaton rules are pi-independent. In this article, we classify the periodic states of these systems and describe their dynamics groups, which are quotients of Coxeter groups. The dynamics groups provide information about permissible dynamics as a function of update sequence and, as such, connect discrete dynamical systems, group theory, and algebraic combinatorics in a new and interesting way. We conclude with a discussion of numerous open problems and directions for future research.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Geometric Semigroup Theory

Geometric semigroup theory is the systematic investigation of finitely-generated semigroups using the topology and geometry of their associated automata. In this article we show how a number of easily-defined expansions on finite semigroups and automata lead to simplifications of the graphs on which the corresponding finite semigroups act. We show in particular that every finite semigroup can be finitely expanded so that the expansion acts on a labeled directed graph which resembles the right Cayley graph of a free Burnside semigroup in many respects.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Order Independence in Asynchronous Cellular Automata

A sequential dynamical system, or SDS, consists of an undirected graph Y, a vertex-indexed list of local functions F_Y, and a permutation pi of the vertex set (or more generally, a word w over the vertex set) that describes the order in which these local functions are to be applied. In this article we investigate the special case where Y is a circular graph with n vertices and all of the local functions are identical. The 256 possible local functions are known as Wolfram rules and the resulting sequential dynamical systems are called finite asynchronous elementary cellular automata, or ACAs, since they resemble classical elementary cellular automata, but with the important distinction that the vertex functions are applied sequentially rather than in parallel. An ACA is said to be pi-independent if the set of periodic states does not depend on the choice of pi, and our main result is that for all n>3 exactly 104 of the 256 Wolfram rules give rise to a pi-independent ACA. In 2005 Hansson, Mortveit and Reidys classified the 11 symmetric Wolfram rules with this property. In addition to reproving and extending this earlier result, our proofs of pi-independence also provide significant insight into the dynamics of these systems.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Bounding reflection length in an affine Coxeter group

In any Coxeter group, the conjugates of elements in the standard minimal generating set are called reflections and the minimal number of reflections needed to factor a particular element is called its reflection length. In this article we prove that the reflection length function on an affine Coxeter group has a uniform upper bound. More precisely we prove that the reflection length function on an affine Coxeter group that naturally acts faithfully and cocompactly on $\R^n$ is bounded above by $2n$ and we also show that this bound is optimal. Conjecturally, spherical and affine Coxeter groups are the only Coxeter groups with a uniform bound on reflection length.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Braids, posets and orthoschemes

In this article we study the curvature properties of the order complex of a graded poset under a metric that we call the ``orthoscheme metric''. In addition to other results, we characterize which rank 4 posets have CAT(0) orthoscheme complexes and by applying this theorem to standard posets and complexes associated with four-generator Artin groups, we are able to show that the 5-string braid group is the fundamental group of a compact nonpositively curved space.

0 citations0 reviewsNo code linkedOpen access
preprint2003arXiv

CAT(0) is an algorithmic property

In this article we give an explicit algorithm which will determine, in a discrete and computable way, whether a finite piecewise Euclidean complex is non-positively curved. In particular, given such a complex we show how to define a boolean combination of polynomial equations and inequalities in real variables, i.e. a real semi-algebraic set, which is empty if and only if the complex is non-positively curved. Once this equivalence has been shown, the main result follows from a standard theorem in real algebraic geometry.

0 citations0 reviewsNo code linkedOpen access
preprint2003arXiv

Combinatorial conditions that imply word-hyperbolicity for 3-manifolds

Thurston conjectured that a closed triangulated 3-manifold in which every edge has degree 5 or 6, and no two edges of degree 5 lie in a common 2-cell, has word-hyperbolic fundamental group. We establish Thurston's conjecture by proving that such a manifold admits a piecewise Euclidean metric of non-positive curvature and the universal cover contains no isometrically embedded flat planes. The proof involves a mixture of computer computation and techniques from small cancellation theory.

0 citations0 reviewsNo code linkedOpen access