arXiv subjects

Christopher Tuffley

Publications and source records attributed to Christopher Tuffley.

16 recordsLinked to original sources

arXiv2024

Monadic transductions and definable classes of matroids

A transduction provides us with a way of using the monadic second-order language of a structure to make statements about a derived structure. Any transduction induces a relation on the set of these structures. This article presents a self-contained presentation of the theory of transductions for the monadic second-order language of matroids. This includes a proof of the matroid version of the Backwards Translation Theorem, which lifts any formula applied to the images of the transduction into a formula which we can apply to the pre-images. Applications include proofs that the class of lattice-path matroids and the class of spike-minors can be defined by sentences in monadic second-order logic.

math.CO↗

arXiv2023

The rack congruence condition and half congruences in racks

Racks and quandles are algebraic structures with a single binary operation that is right self-distributive and right invertible, and additionally idempotent in the case of quandles. The invertibility condition is equivalent to the existence of a second binary operation that acts as a right inverse to the first, so that racks and quandles may also be viewed as algebraic structures with a pair of (dependent) binary operations. When forming a quotient rack or quandle it is necessary to take this two-operation view, and define a congruence as an equivalence relation on the rack or quandle that respects both operations. However, in defining a congruence some authors have omitted the condition on the inverse operation, and defined a congruence as an equivalence relation respecting the primary operation only. We show that while respecting the primary operation is sufficient in the case of finite racks and quandles, it is not in general sufficient in the infinite case. We do this by constructing explicit examples of "half congruences": equivalence relations that respect exactly one of the two operations. Our work also allows us to completely characterise congruences in connected Alexander quandles.

math.RA↗

arXiv2021

Parametric study of E. coli incidence with reference to the New Zealand freshwater standards and the Manawat\=u-Whanganui region

The New Zealand National Policy Statement for Freshwater Management 2020 sets several targets for freshwater quality, six of which are measurements of rivers; others relate to lakes. Each regional council is required to monitor freshwater quality and to respond as prescribed in order to meet the targets. One target of particular public interest is based on four criteria determined from recent E. coli readings, and concerns the health risk of swimming in a river. However, the inherent variability of the data makes it difficult to determine the water quality state and trend reliably, particularly using traditional methods based on percentiles. Therefore, in this study we return to the parametric lognormal model of E. coli distribution, from which the official criteria were developed. We interpret the classification system in terms of the parametric model and show that the parametric model can reduce uncertainty and can incorporate more useful information, especially from very high E. coli readings, and is suitable for censored data. We apply the parametric model for state and trend to 135 sites in the Manawat\=u-Whanganui region.

stat.AP↗

arXiv2020

Weakly linked embeddings of pairs of complete graphs in $\mathbb{R}^3$

Let $G$ and $H$ be disjoint embeddings of complete graphs $K_m$ and $K_n$ in $\mathbb{R}^3$ such that some cycle in $G$ links a cycle in $H$ with non-zero linking number. We say that $G$ and $H$ are *weakly linked* if the absolute value of the linking number of any cycle in $G$ with a cycle in $H$ is $0$ or $1$. Our main result is an algebraic characterisation of when a pair of disjointly embedded complete graphs is weakly linked. As a step towards this result, we show that if $G$ and $H$ are weakly linked, then each contains either a vertex common to all triangles linking the other or a triangle which shares an edge with all triangles linking the other. All families of weakly linked pairs of complete graphs are then characterised by which of these two cases holds in each complete graph.

math.GT↗

arXiv2018

Distinguishing the generalised knot groups of square and granny knot analogues

Given a knot $K$ we may construct a group $G_n(K)$ from the fundamental group of $K$ by adjoining an $n$th root of the meridian that commutes with the corresponding longitude. For $n\geq2$ these "generalised knot groups" determine $K$ up to reflection (Nelson and Neumann, 2008; arXiv:0804.0807). The second author has shown that for $n\geq2$, the generalised knot groups of the square knot $SK$ and the granny knot $GK$ can be distinguished by counting homomorphisms into a suitably chosen finite group (arXiv:0706.1807). We extend this result to certain generalised knot groups of square and granny knot analogues $SK_{a,b}=T_{a,b}\# T_{-a,b}$, $GK_{a,b}=T_{a,b}\# T_{a,b}$, constructed as connect sums of $(a,b)$-torus knots of opposite or identical chiralities. More precisely, for coprime $a,b\geq2$ and $n$ satisfying a certain coprimality condition with $a$ and $b$, we construct an explicit finite group $G$ (depending on $a$, $b$ and $n$) such that $G_n(SK_{a,b})$ and $G_n(GK_{a},b)$ can be distinguished by counting homomorphisms into $G$. The coprimality condition includes all $n\geq2$ coprime to $ab$. The result shows that the difference between these two groups can be detected using a finite group.

math.GT↗

arXiv2017

Intrinsic linking with linking numbers of specified divisibility

Let $n$, $q$ and $r$ be positive integers, and let $K_N^n$ be the $n$-skeleton of an $(N-1)$-simplex. We show that for $N$ sufficiently large every embedding of $K_N^n$ in $\mathbb{R}^{2n+1}$ contains a link $L_1\cup\cdots\cup L_r$ consisting of $r$ disjoint $n$-spheres, such that the linking number $link(L_i,L_j)$ is a nonzero multiple of $q$ for all $i\neq j$. This result is new in the classical case $n=1$ (graphs embedded in $\mathbb{R}^3$) as well as the higher dimensional cases $n\geq 2$; and since it implies the existence of a link $L_1\cup\cdots\cup L_r$ such that $|link(L_i,L_j)|\geq q$ for all $i\neq j$, it also extends a result of Flapan et al. from $n=1$ to higher dimensions. Additionally, for $r=2$ we obtain an improved upper bound on the number of vertices required to force a two-component link $L_1\cup L_2$ such that $link(L_1,L_2)$ is a nonzero multiple of $q$. Our new bound has growth $O(nq^2)$, in contrast to the previous bound of growth $O(\sqrt{n}4^nq^{n+2})$.

math.GT↗

arXiv2015

Maximising common fixtures in a round robin tournament with two divisions

We describe a round robin scheduling problem for a competition played in two divisions, motivated by a scheduling problem brought to the second author by a local sports organisation. The first division has teams from 2n clubs, and is played in a double round robin in which the draw for the second round robin is identical to the first. The second division has teams from two additional clubs, and is played as a single round robin during the first 2n+1 rounds of the first division. We will say that two clubs have a **common fixture** if their teams in division one and two are scheduled to play each other in the same round, and show that for n>1 the maximum possible number of common fixtures is 2n^2 - 3n + 4. Our construction of draws achieving this maximum is based on a bipyramidal one-factorisation of K_{2n}, which represents the draw in division one. Moreover, if we additionally require the home and away status of common fixtures to be the same in both divisions, we show that the draw can be chosen to be balanced in all three round robins.

math.CO↗

arXiv2011

Correcting the apparent mutation rate acceleration at shorter time scales under a Jukes-Cantor model

At macroevolutionary time scales, and for a constant mutation rate, there is an expected linear relationship between time and the number of inferred neutral mutations (the "molecular clock"). However, at shorter time scales a number of recent studies have observed an apparent acceleration in the rate of molecular evolution. We study this apparent acceleration under a Jukes-Cantor model applied to a randomly mating population, and show that, under the model, it arises as a consequence of ignoring short term effects due to existing diversity within the population. The acceleration can be accounted for by adding the correction term h_0e^{-4mu*t/3} to the usual Jukes-Cantor formula p(t)=(3/4)(1-e^{-4mu*t/3}), where h_0 is the expected heterozygosity in the population at time t=0. The true mutation rate mu may then be recovered, even if h_0 is not known, by estimating mu and h_0 simultaneously using least squares. Rate estimates made without the correction term (that is, incorrectly assuming the population to be homogeneous) will result in a divergent rate curve of the form mu_{div}=mu+C/t, so that the mutation rate appears to approach infinity as the time scale approaches zero. While our quantitative results apply only to the Jukes-Cantor model, it is reasonable to suppose that the qualitative picture that emerges also applies to more complex models. Our study therefore demonstrates the importance of properly accounting for any ancestral diversity, as it may otherwise play a dominant role in rate overestimation.

q-bio.PE↗

arXiv2011

Some Ramsey-type results on intrinsic linking of n-complexes

Define the complete n-complex on N vertices to be the n-skeleton of an (N-1)-simplex. We show that embeddings of sufficiently large complete n-complexes in R^{2n+1} necessarily exhibit complicated linking behaviour, thereby extending known results on embeddings of large complete graphs in R^3 (the case n=1) to higher dimensions. In particular, we prove the existence of links of the following types: r-component links, with the linking pattern of a chain, necklace or keyring; 2-component links with linking number at least lambda in absolute value; and 2-component links with linking number a non-zero multiple of a given integer q. For fixed n the number of vertices required for each of our results grows at most polynomially with respect to the parameter r, lambda or q.

math.GT↗

arXiv2011

Counting the spanning trees of the 3-cube using edge slides

We give a direct combinatorial proof of the known fact that the 3-cube has 384 spanning trees, using an "edge slide" operation on spanning trees. This gives an answer in the case n=3 to a question implicitly raised by Stanley. Our argument also gives a bijective proof of the n=3 case of a weighted count of the spanning trees of the n-cube due to Martin and Reiner.

math.CO↗

arXiv2008

Generalised knot groups distinguish the square and granny knots (with an appendix by David Savitt)

Given a knot K we may construct a group G_n(K) from the fundamental group of K by adjoining an nth root of the meridian that commutes with the corresponding longitude. These "generalised knot groups" were introduced independently by Wada and Kelly, and contain the fundamental group as a subgroup. The square knot SK and the granny knot GK are a well known example of a pair of distinct knots with isomorphic fundamental groups. We show that G_n(SK) and G_n(GK) are non-isomorphic for all n>1. This confirms a conjecture of Lin and Nelson, and shows that the isomorphism type of G_n(K), n>1, carries more information about K than the isomorphism type of the fundamental group. An appendix by David Savitt contains some results on representations of the trefoil group in PSL(2,p) that are needed for the proof.

math.GT↗

arXiv2006

Level structures on the Weierstrass family of cubics

Let W -> A^2 be the universal Weierstrass family of cubic curves over C. For each N >= 2, we construct surfaces parametrizing the three standard kinds of level N structures on the smooth fibers of W. We then complete these surfaces to finite covers of A^2. Since W -> A^2 is the versal deformation space of a cusp singularity, these surfaces convey information about the level structure on any family of curves of genus g degenerating to a cuspidal curve. Our goal in this note is to determine for which values of N these surfaces are smooth over (0,0). From a topological perspective, the results determine the homeomorphism type of certain branched covers of S^3 with monodromy in SL_2(Z/N).

math.AG↗

arXiv2003

Finite subset spaces of closed surfaces

The kth finite subset space of a topological space X is the space exp_k X of non-empty finite subsets of X of size at most k, topologised as a quotient of X^k. The construction is a homotopy functor and may be regarded as a union of configuration spaces of distinct unordered points in X. We show that the finite subset spaces of a connected 2-complex admit "lexicographic cell structures" based on the lexicographic order on I^2 and use these to study the finite subset spaces of closed surfaces. We completely calculate the rational homology of the finite subset spaces of the two-sphere, and determine the top integral homology groups of exp_k Sigma for each k and closed surface Sigma. In addition, we use Mayer-Vietoris arguments and the ring structure of H^*(Sym^k Sigma) to calculate the integer cohomology groups of the third finite subset space of Sigma closed and orientable.

math.GT↗

arXiv2003

Connectivity of finite subset spaces of cell complexes

The kth finite subset space of a topological space X is the space exp_k X of non-empty subsets of X of size at most k, topologised as a quotient of X^k. Using results from our earlier paper (math.GT/0210315) on the finite subset spaces of connected graphs we show that the kth finite subset space of a connected cell complex is (k-2)-connected, and (k-1)-connected if in addition the underlying space is simply connected. We expect exp_k X to be (k+m-2)-connected if X is an m-connected cell complex, and reduce proving this to the problem of proving it for finite wedges of (m+1)-spheres. Our results complement a theorem due to Handel that for path-connected Hausdorff X the map on pi_i induced by the inclusion exp_k X --> exp_{2k+1} X is zero for all k and i.

math.GT↗

arXiv2002

Finite subset spaces of graphs and punctured surfaces

The kth finite subset space of a topological space X is the space exp_k X of non-empty finite subsets of X of size at most k, topologised as a quotient of X^k. The construction is a homotopy functor and may be regarded as a union of configuration spaces of distinct unordered points in X. We calculate the homology of the finite subset spaces of a connected graph Gamma, and study the maps (exp_k phi)_* induced by a map phi:Gamma -> Gamma' between two such graphs. By homotopy functoriality the results apply to punctured surfaces also. The braid group B_n may be regarded as the mapping class group of an n-punctured disc D_n, and as such it acts on H_*(exp_k D_n). We prove a structure theorem for this action, showing that the image of the pure braid group is nilpotent of class at most floor((n-1)/2).

math.GT↗

arXiv2002

Finite subset spaces of S^1

Given a topological space X denote by exp_k(X) the space of non-empty subsets of X of size at most k, topologised as a quotient of X^k. This space may be regarded as a union over 0 < l < k+1 of configuration spaces of l distinct unordered points in X. In the special case X=S^1 we show that: (1) exp_k(S^1) has the homotopy type of an odd dimensional sphere of dimension k or k-1; (2) the natural inclusion of exp_{2k-1}(S^1) h.e. S^{2k-1} into exp_2k(S^1) h.e. S^{2k-1} is multiplication by two on homology; (3) the complement exp_k(S^1)-exp_{k-2}(S^1) of the codimension two strata in exp_k(S^1) has the homotopy type of a (k-1,k)-torus knot complement; and (4) the degree of an induced map exp_k(f): exp_k(S^1)-->exp_k(S^1) is (deg f)^[(k+1)/2] for f: S^1-->S^1. The first three results generalise known facts that exp_2(S^1) is a Moebius strip with boundary exp_1(S^1), and that exp_3(S^1) is the three-sphere with exp_1(S^1) inside it forming a trefoil knot.

math.GT↗