-
New 2-closed groups that are not automorphism groups of digraphs
Authors:
John Bamberg,
Michael Giudici,
Jacob Paul Smith
Abstract:
In this paper we extend the construction of Giudici, Morgan and Zhou [arXiv:2110.07896] to give the first known examples of nonregular, $2$-closed permutation groups of rank greater than $4$ that are not the automorphism group of any digraph. We also show that this construction only gives examples for four particular primes.
In this paper we extend the construction of Giudici, Morgan and Zhou [arXiv:2110.07896] to give the first known examples of nonregular, $2$-closed permutation groups of rank greater than $4$ that are not the automorphism group of any digraph. We also show that this construction only gives examples for four particular primes.
△ Less
Submitted 12 June, 2025; v1 submitted 3 December, 2023;
originally announced December 2023.
-
On the homotopy type of multipath complexes
Authors:
Luigi Caputi,
Carlo Collari,
Sabino Di Trani,
Jason P. Smith
Abstract:
A multipath in a directed graph is a disjoint union of paths. The multipath complex of a directed graph ${\tt G}$ is the simplicial complex whose faces are the multipaths of ${\tt G}$. We compute the Euler characteristic, and associated generating function, of the multipath complex for some families of graphs, including transitive tournaments and complete bipartite graphs. Then, we compute the hom…
▽ More
A multipath in a directed graph is a disjoint union of paths. The multipath complex of a directed graph ${\tt G}$ is the simplicial complex whose faces are the multipaths of ${\tt G}$. We compute the Euler characteristic, and associated generating function, of the multipath complex for some families of graphs, including transitive tournaments and complete bipartite graphs. Then, we compute the homotopy type of multipath complexes of linear graphs, polygons, small grids and transitive tournaments. We show that they are all contractible or wedges of spheres. We introduce a new technique for decomposing directed graphs into dynamical regions, which allows us to simplify the homotopy computations.
△ Less
Submitted 9 August, 2022;
originally announced August 2022.
-
An application of neighbourhoods in digraphs to the classification of binary dynamics
Authors:
Pedro Conceição,
Dejan Govc,
Jānis Lazovskis,
Ran Levi,
Henri Riihimäki,
Jason P. Smith
Abstract:
A binary state on a graph means an assignment of binary values to its vertices. For example, if one encodes a network of spiking neurons as a directed graph, then the spikes produced by the neurons at an instant of time is a binary state on the encoding graph. Allowing time to vary and recording the spiking patterns of the neurons in the network produces an example of binary dynamics on the encodi…
▽ More
A binary state on a graph means an assignment of binary values to its vertices. For example, if one encodes a network of spiking neurons as a directed graph, then the spikes produced by the neurons at an instant of time is a binary state on the encoding graph. Allowing time to vary and recording the spiking patterns of the neurons in the network produces an example of binary dynamics on the encoding graph, namely a one-parameter family of binary states on it. The central object of study in this article is the closed neighbourhood of a vertex $v$ in a graph $\mathcal{G}$, namely the subgraph of $\mathcal{G}$ that is induced by $v$ and all its neighbours in $\mathcal{G}$. We present a topological/graph theoretic method for extracting information out of binary dynamics on a graph, based on a selection of a relatively small number of vertices and their neighbourhoods. As a test case we demonstrate an application of the method to binary dynamics that arises from sample activity on the Blue Brain Project reconstruction of cortical tissue of a rat.
△ Less
Submitted 2 November, 2021; v1 submitted 13 April, 2021;
originally announced April 2021.
-
Asymptotic Behaviour of the Containment of Certain Mesh Patterns
Authors:
Dejan Govc,
Jason P. Smith
Abstract:
We present some results on the proportion of permutations of length $n$ containing certain mesh patterns as $n$ grows large, and give exact enumeration results in some cases. In particular, we focus on mesh patterns where entire rows and columns are shaded. We prove some general results which apply to mesh patterns of any length, and then consider mesh patterns of length four. An important consequ…
▽ More
We present some results on the proportion of permutations of length $n$ containing certain mesh patterns as $n$ grows large, and give exact enumeration results in some cases. In particular, we focus on mesh patterns where entire rows and columns are shaded. We prove some general results which apply to mesh patterns of any length, and then consider mesh patterns of length four. An important consequence of these results is to show that the proportion of permutations containing a mesh pattern can take a wide range of values between $0$ and $1$.
△ Less
Submitted 23 November, 2020;
originally announced November 2020.
-
Complexes of Tournaments, Directionality Filtrations and Persistent Homology
Authors:
Dejan Govc,
Ran Levi,
Jason P. Smith
Abstract:
Complete digraphs are referred to in the combinatorics literature as tournaments. We consider a family of semi-simplicial complexes, that we refer to as "tournaplexes", whose simplices are tournaments. In particular, given a digraph $\mathcal{G}$, we associate with it a "flag tournaplex" which is a tournaplex containing the directed flag complex of $\mathcal{G}$, but also the geometric realisation…
▽ More
Complete digraphs are referred to in the combinatorics literature as tournaments. We consider a family of semi-simplicial complexes, that we refer to as "tournaplexes", whose simplices are tournaments. In particular, given a digraph $\mathcal{G}$, we associate with it a "flag tournaplex" which is a tournaplex containing the directed flag complex of $\mathcal{G}$, but also the geometric realisation of cliques that are not directed. We define several types of filtrations on tournaplexes, and exploiting persistent homology, we observe that flag tournaplexes provide finer means of distinguishing graph dynamics than the directed flag complex. We then demonstrate the power of these ideas by applying them to graph data arising from the Blue Brain Project's digital reconstruction of a rat's neocortex.
△ Less
Submitted 5 January, 2021; v1 submitted 29 February, 2020;
originally announced March 2020.
-
Permutation graphs and the Abelian sandpile model, tiered trees and non-ambiguous binary trees
Authors:
Mark Dukes,
Thomas Selig,
Jason P. Smith,
Einar Steingrimsson
Abstract:
A permutation graph is a graph whose edges are given by inversions of a permutation. We study the Abelian sandpile model (ASM) on such graphs. We exhibit a bijection between recurrent configurations of the ASM on permutation graphs and the tiered trees introduced by Dugan et al. [10]. This bijection allows certain parameters of the recurrent configurations to be read on the corresponding tree. In…
▽ More
A permutation graph is a graph whose edges are given by inversions of a permutation. We study the Abelian sandpile model (ASM) on such graphs. We exhibit a bijection between recurrent configurations of the ASM on permutation graphs and the tiered trees introduced by Dugan et al. [10]. This bijection allows certain parameters of the recurrent configurations to be read on the corresponding tree. In particular, we show that the level of a recurrent configuration can be interpreted as the external activity of the corresponding tree, so that the bijection exhibited provides a new proof of a famous result linking the level polynomial of the ASM to the ubiquitous Tutte polynomial. We show that the set of minimal recurrent configurations is in bijection with the set of complete non-ambiguous binary trees introduced by Aval et al. [2], and introduce a multi-rooted generalization of these that we show to correspond to all recurrent configurations. In the case of permutations with a single descent, we recover some results from the case of Ferrers graphs presented in [11], while we also recover results of Perkinson et al. [16] in the case of threshold graphs.
△ Less
Submitted 4 October, 2018;
originally announced October 2018.
-
The Abelian sandpile model on Ferrers graphs -- A classification of recurrent configurations
Authors:
Mark Dukes,
Thomas Selig,
Jason P. Smith,
Einar Steingrimsson
Abstract:
We classify all recurrent configurations of the Abelian sandpile model (ASM) on Ferrers graphs. The classification is in terms of decorations of EW-tableaux, which undecorated are in bijection with the minimal recurrent configurations. We introduce decorated permutations, extending to decorated EW-tableaux a bijection between such tableaux and permutations, giving a direct bijection between the de…
▽ More
We classify all recurrent configurations of the Abelian sandpile model (ASM) on Ferrers graphs. The classification is in terms of decorations of EW-tableaux, which undecorated are in bijection with the minimal recurrent configurations. We introduce decorated permutations, extending to decorated EW-tableaux a bijection between such tableaux and permutations, giving a direct bijection between the decorated permutations and all recurrent configurations of the ASM. We also describe a bijection between the decorated permutations and the intransitive trees of Postnikov, the breadth-first search of which corresponds to a canonical toppling of the corresponding configurations.
△ Less
Submitted 26 June, 2019; v1 submitted 20 September, 2018;
originally announced September 2018.
-
The poset of graphs ordered by induced containment
Authors:
Jason P. Smith
Abstract:
We study the poset $\mathcal{G}$ of all unlabelled graphs, up to isomorphism, with $H\le G$ if $H$ occurs as an induced subgraph in $G$. We present some general results on the Möbius function of intervals of $\mathcal{G}$ and some results for specific classes of graphs. This includes a case where the Möbius function is given by the Catalan numbers, which we prove using discrete Morse theory, and a…
▽ More
We study the poset $\mathcal{G}$ of all unlabelled graphs, up to isomorphism, with $H\le G$ if $H$ occurs as an induced subgraph in $G$. We present some general results on the Möbius function of intervals of $\mathcal{G}$ and some results for specific classes of graphs. This includes a case where the Möbius function is given by the Catalan numbers, which we prove using discrete Morse theory, and another case where it equals the Fibonacci numbers, therefore showing that the Möbius function is unbounded. A classification of the disconnected intervals of $\mathcal{G}$ is presented, which gives a large class of non-shellable intervals. We also present several conjectures on the structure of $\mathcal{G}$.
△ Less
Submitted 15 June, 2018; v1 submitted 5 June, 2018;
originally announced June 2018.
-
Modular Decomposition of Graphs and the Distance Preserving Property
Authors:
Emad Zahedi,
Jason P. Smith
Abstract:
Given a graph $G$, a subgraph $H$ is isometric if $d_H(u,v) = d_G(u,v)$ for every pair $u,v\in V(H)$, where $d$ is the distance function. A graph $G$ is distance preserving (dp) if it has an isometric subgraph of every possible order. A graph is sequentially distance preserving (sdp) if its vertices can be ordered such that deleting the first $i$ vertices results in an isometric subgraph, for all…
▽ More
Given a graph $G$, a subgraph $H$ is isometric if $d_H(u,v) = d_G(u,v)$ for every pair $u,v\in V(H)$, where $d$ is the distance function. A graph $G$ is distance preserving (dp) if it has an isometric subgraph of every possible order. A graph is sequentially distance preserving (sdp) if its vertices can be ordered such that deleting the first $i$ vertices results in an isometric subgraph, for all $i\ge1$. We introduce a generalisation of the lexicographic product of graphs, which can be used to non-trivially describe graphs. This generalisation is the inverse of the modular decomposition of graphs, which divides the graph into disjoint clusters called modules. Using these operations, we give a necessary and sufficient condition for graphs to be dp. Finally, we show that the Cartesian product of a dp graph and an sdp graph is dp.
△ Less
Submitted 24 May, 2018;
originally announced May 2018.
-
The Poset of Mesh Patterns
Authors:
Jason P. Smith,
Henning Ulfarsson
Abstract:
We introduce the poset of mesh patterns, which generalises the permutation pattern poset. We fully classify the mesh patterns for which the interval [1^\emptyset,m] is non-pure, where 1^\emptyset is the unshaded singleton mesh pattern. We present some results on the Möbius function of the poset, and show that μ(1^\emptyset,m) is almost always zero. Finally, we introduce a class of disconnected and…
▽ More
We introduce the poset of mesh patterns, which generalises the permutation pattern poset. We fully classify the mesh patterns for which the interval [1^\emptyset,m] is non-pure, where 1^\emptyset is the unshaded singleton mesh pattern. We present some results on the Möbius function of the poset, and show that μ(1^\emptyset,m) is almost always zero. Finally, we introduce a class of disconnected and non-shellable intervals by generalising the direct product operation from permutations to mesh patterns.
△ Less
Submitted 23 February, 2018;
originally announced February 2018.
-
EW-tableaux, Le-tableaux, tree-like tableaux and the Abelian sandpile model
Authors:
Thomas Selig,
Jason P. Smith,
Einar Steingrimsson
Abstract:
A EW-tableau is a certain 0/1-filling of a Ferrers diagram, corresponding uniquely to an acyclic orientation, with a unique sink, of a certain bipartite graph called a Ferrers graph. We give a bijective proof of a result of Ehrenborg and van Willigenburg showing that EW-tableaux of a given shape are equinumerous with permutations with a given set of excedances. This leads to an explicit bijection…
▽ More
A EW-tableau is a certain 0/1-filling of a Ferrers diagram, corresponding uniquely to an acyclic orientation, with a unique sink, of a certain bipartite graph called a Ferrers graph. We give a bijective proof of a result of Ehrenborg and van Willigenburg showing that EW-tableaux of a given shape are equinumerous with permutations with a given set of excedances. This leads to an explicit bijection between EW-tableaux and the much studied Le-tableaux, as well as the tree-like tableaux introduced by Aval, Boussicault and Nadeau.
We show that the set of EW-tableaux on a given Ferrers diagram are in 1-1 correspondence with the minimal recurrent configurations of the Abelian sandpile model on the corresponding Ferrers graph.
Another bijection between EW-tableaux and tree-like tableaux, via spanning trees on the corresponding Ferrers graphs, connects the tree-like tableaux to the minimal recurrent configurations of the Abelian sandpile model on these graphs. We introduce a variation on the EW-tableaux, which we call NEW-tableaux, and present bijections from these to Le-tableaux and tree-like tableaux. We also present results on various properties of and statistics on EW-tableaux and NEW-tableaux, as well as some open problems on these.
△ Less
Submitted 11 May, 2018; v1 submitted 5 November, 2017;
originally announced November 2017.
-
On the Möbius Function and Topology of General Pattern Posets
Authors:
Jason P. Smith
Abstract:
We introduce a formal definition of a pattern poset which encompasses several previously studied posets in the literature. Using this definition we present some general results on the Möbius function and topology of such pattern posets. We prove our results using a poset fibration based on the embeddings of the poset, where embeddings are representations of occurrences. We show that the Möbius fun…
▽ More
We introduce a formal definition of a pattern poset which encompasses several previously studied posets in the literature. Using this definition we present some general results on the Möbius function and topology of such pattern posets. We prove our results using a poset fibration based on the embeddings of the poset, where embeddings are representations of occurrences. We show that the Möbius function of these posets is intrinsically linked to the number of embeddings, and in particular to so called normal embeddings. We present results on when topological properties such as Cohen-Macaulayness and shellability are preserved by this fibration. Furthermore, we apply these results to some pattern posets and derive alternative proofs of existing results, such as Björner's results on subword order.
△ Less
Submitted 7 June, 2018; v1 submitted 24 May, 2017;
originally announced May 2017.
-
On Distance Preserving and Sequentially Distance Preserving Graphs
Authors:
Jason P. Smith,
Emad Zahedi
Abstract:
A graph $H$ is an \emph{isometric} subgraph of $G$ if $d_H(u,v)= d_G(u,v)$, for every pair~$u,v\in V(H)$. A graph is \emph{distance preserving} if it has an isometric subgraph of every possible order. A graph is \emph{sequentially distance preserving} if its vertices can be ordered such that deleting the first $i$ vertices results in an isometric subgraph, for all $i\ge1$. We give an equivalent co…
▽ More
A graph $H$ is an \emph{isometric} subgraph of $G$ if $d_H(u,v)= d_G(u,v)$, for every pair~$u,v\in V(H)$. A graph is \emph{distance preserving} if it has an isometric subgraph of every possible order. A graph is \emph{sequentially distance preserving} if its vertices can be ordered such that deleting the first $i$ vertices results in an isometric subgraph, for all $i\ge1$. We give an equivalent condition to sequentially distance preserving based upon simplicial orderings. Using this condition, we prove that if a graph does not contain any induced cycles of length~$5$ or greater, then it is sequentially distance preserving and thus distance preserving. Next we consider the distance preserving property on graphs with a cut vertex. Finally, we define a family of non-distance preserving graphs constructed from cycles.
△ Less
Submitted 13 February, 2025; v1 submitted 17 January, 2017;
originally announced January 2017.
-
A Formula for the Möbius function of the Permutation Poset Based on a Topological Decomposition
Authors:
Jason P. Smith
Abstract:
We present a two term formula for the Möbius function of intervals in the poset of all permutations, ordered by pattern containment. The first term in this formula is the number of so called normal occurrences of one permutation in another. Our definition of normal occurrences is similar to those that have appeared in several variations in the literature on the Möbius function of this and other po…
▽ More
We present a two term formula for the Möbius function of intervals in the poset of all permutations, ordered by pattern containment. The first term in this formula is the number of so called normal occurrences of one permutation in another. Our definition of normal occurrences is similar to those that have appeared in several variations in the literature on the Möbius function of this and other posets, but simpler than most of them. The second term in the formula is complicated, but we conjecture that it equals zero for a significant proportion of intervals. We present some cases where the second term vanishes and others where it is nonzero. Computing the Möbius function recursively from its definition has exponential complexity, whereas the computation of the first term in our formula is polynomial and the exponential part is isolated to the second term, which seems to often vanish. We also present a result on the Möbius function of posets connected by a poset fibration.
△ Less
Submitted 22 May, 2017; v1 submitted 14 June, 2015;
originally announced June 2015.
-
Intervals of Permutations with a Fixed Number of Descents are Shellable
Authors:
Jason P. Smith
Abstract:
The set of all permutations, ordered by pattern containment, is a poset. We present an order isomorphism from the poset of permutations with a fixed number of descents to a certain poset of words with subword order. We use this bijection to show that intervals of permutations with a fixed number of descents are shellable, and we present a formula for the Möbius function of these intervals. We pres…
▽ More
The set of all permutations, ordered by pattern containment, is a poset. We present an order isomorphism from the poset of permutations with a fixed number of descents to a certain poset of words with subword order. We use this bijection to show that intervals of permutations with a fixed number of descents are shellable, and we present a formula for the Möbius function of these intervals. We present an alternative proof for a result on the Möbius function of intervals $[1,π]$ such that $π$ has exactly one descent. We prove that if $π$ has exactly one descent and avoids 456123 and 356124, then the intervals $[1,π]$ have no nontrivial disconnected subintervals; we conjecture that these intervals are shellable.
△ Less
Submitted 30 July, 2015; v1 submitted 11 May, 2014;
originally announced May 2014.
-
On the Möbius Function of Permutations With One Descent
Authors:
Jason P Smith
Abstract:
The set of all permutations, ordered by pattern containment, is a poset. We give a formula for the Möbius function of intervals $[1,π]$ in this poset, for any permutation $π$ with at most one descent. We compute the Möbius function as a function of the number and positions of pairs of consecutive letters in $π$ that are consecutive in value. As a result of this we show that the Möbius function is…
▽ More
The set of all permutations, ordered by pattern containment, is a poset. We give a formula for the Möbius function of intervals $[1,π]$ in this poset, for any permutation $π$ with at most one descent. We compute the Möbius function as a function of the number and positions of pairs of consecutive letters in $π$ that are consecutive in value. As a result of this we show that the Möbius function is unbounded on the poset of all permutations. We show that the Möbius function is zero on any interval $[1,π]$ where $π$ has a triple of consecutive letters whose values are consecutive and monotone. We also conjecture values of the Möbius function on some other intervals of permutations with at most one descent.
△ Less
Submitted 2 April, 2014; v1 submitted 25 June, 2013;
originally announced June 2013.
-
Picard-Fuchs Differential Equations for Families of K3 Surfaces
Authors:
James P Smith
Abstract:
This thesis studies some examples of families of K3 surfaces with Picard lattices of maximal rank. These families occur as invariants of finite automorphism groups. The Picard-Fuchs differential equations describing the variation of Hodge structure in these families are considered. Techniques are developed to find the corresponding monodromy groups as arithmetic Fuchsian groups acting on the fam…
▽ More
This thesis studies some examples of families of K3 surfaces with Picard lattices of maximal rank. These families occur as invariants of finite automorphism groups. The Picard-Fuchs differential equations describing the variation of Hodge structure in these families are considered. Techniques are developed to find the corresponding monodromy groups as arithmetic Fuchsian groups acting on the families' period spaces.
△ Less
Submitted 24 May, 2007;
originally announced May 2007.
