Showing 1–22 of 22 results for author: Archer, K

Pattern avoidance and the fundamental bijection

Authors: Kassie Archer, Robert P. Laudone

Abstract: The fundamental bijection is a bijection $θ:\mathcal{S}_n\to\mathcal{S}_n$ in which one uses the standard cycle form of one permutation to obtain another permutation in one-line form. In this paper, we enumerate the set of permutations $π\in \mathcal{S}_n$ that avoids a pattern $σ\in \mathcal{S}_3$, whose image $θ(π)$ also avoids $σ$. We additionally consider what happens under repeated iterations… ▽ More The fundamental bijection is a bijection $θ:\mathcal{S}_n\to\mathcal{S}_n$ in which one uses the standard cycle form of one permutation to obtain another permutation in one-line form. In this paper, we enumerate the set of permutations $π\in \mathcal{S}_n$ that avoids a pattern $σ\in \mathcal{S}_3$, whose image $θ(π)$ also avoids $σ$. We additionally consider what happens under repeated iterations of $θ$; in particular, we enumerate permutations $π\in \mathcal{S}_n$ that have the property that $π$ and its first $k$ iterations under $θ$ all avoid a pattern $σ$. Finally, we consider permutations with the property that $π=θ^2(π)$ that avoid a given pattern $σ$, and end the paper with some directions for future study. △ Less

Submitted 8 July, 2024; originally announced July 2024.

Comments: 21 pages

Descents in powers of permutations

Authors: Kassie Archer, Aaron Geary

Abstract: We consider a few special cases of the more general question: How many permutations $π\in\mathcal{S}_n$ have the property that $π^2$ has $j$ descents for some $j$? In this paper, we first enumerate Grassmannian permutations $π$ by the number of descents in $π^2$. We then consider all permutations whose square has exactly one descent, fully enumerating when the descent is "small" and providing a lo… ▽ More We consider a few special cases of the more general question: How many permutations $π\in\mathcal{S}_n$ have the property that $π^2$ has $j$ descents for some $j$? In this paper, we first enumerate Grassmannian permutations $π$ by the number of descents in $π^2$. We then consider all permutations whose square has exactly one descent, fully enumerating when the descent is "small" and providing a lower bound in the general case. Finally, we enumerate permutations whose square or cube has the maximum number of descents, and finish the paper with a few future directions for study. △ Less

Submitted 13 June, 2024; originally announced June 2024.

Pattern-restricted permutations of small order

Authors: Kassie Archer, Robert P. Laudone

Abstract: We enumerate 132-avoiding permutations of order 3 in terms of the Catalan and Motzkin generating functions, answering a question of Bóna and Smith from 2019. We also enumerate 231-avoiding permutations that are composed only of 3-cycles, 2-cycles, and fixed points. We enumerate 132-avoiding permutations of order 3 in terms of the Catalan and Motzkin generating functions, answering a question of Bóna and Smith from 2019. We also enumerate 231-avoiding permutations that are composed only of 3-cycles, 2-cycles, and fixed points. △ Less

Submitted 23 February, 2024; originally announced February 2024.

Comments: 16 pages

Powers of permutations that avoid chains of patterns

Authors: Kassie Archer, Aaron Geary

Abstract: In a recent paper, Bona and Smith define the notion of \textit{strong avoidance}, in which a permutation and its square both avoid a given pattern. In this paper, we generalize this idea to what we call \textit{chain avoidance}. We say that a permutation avoids a chain of patterns $(τ_1 : τ_2: \cdots : τ_k)$ if the $i$-th power of the permutation avoids the pattern $τ_i$. We enumerate the set of p… ▽ More In a recent paper, Bona and Smith define the notion of \textit{strong avoidance}, in which a permutation and its square both avoid a given pattern. In this paper, we generalize this idea to what we call \textit{chain avoidance}. We say that a permutation avoids a chain of patterns $(τ_1 : τ_2: \cdots : τ_k)$ if the $i$-th power of the permutation avoids the pattern $τ_i$. We enumerate the set of permutations $π$ which avoid the chain $(213, 312 : τ)$, i.e.,~unimodal permutations whose square avoids $τ$, for $τ\in §_3$ and use this to find a lower bound on the number of permutations that avoid the chain $(312: τ)$ for $τ\in §_3$. We finish the paper by discussing permutations that avoid longer chains. △ Less

Submitted 21 December, 2023; originally announced December 2023.

Cyclic permutations avoiding patterns in both one-line and cycle forms

Authors: Kassie Archer, Ethan Borsh, Jensen Bridges, Christina Graves, Millie Jeske

Abstract: Let $σ$ and $τ$ be patterns of length three; that is $σ, τ\in \{123,132,213,231,312,321\}$. In this paper, we enumerate the set of cyclic permutations in $\mathcal{S}_n$ that avoid $σ$ in their one-line notation and another pattern $τ$ in their cycle notation. Let $σ$ and $τ$ be patterns of length three; that is $σ, τ\in \{123,132,213,231,312,321\}$. In this paper, we enumerate the set of cyclic permutations in $\mathcal{S}_n$ that avoid $σ$ in their one-line notation and another pattern $τ$ in their cycle notation. △ Less

Submitted 8 December, 2023; originally announced December 2023.

MSC Class: 05A05; 05A15; 05A10

Critical groups of arithmetical structures on star graphs and complete graphs

Authors: Kassie Archer, Alexander Diaz-Lopez, Darren Glass, Joel Louwsma

Abstract: An arithmetical structure on a finite, connected graph without loops is an assignment of positive integers to the vertices that satisfies certain conditions. Associated to each of these is a finite abelian group known as its critical group. We show how to determine the critical group of an arithmetical structure on a star graph or complete graph in terms of the entries of the arithmetical structur… ▽ More An arithmetical structure on a finite, connected graph without loops is an assignment of positive integers to the vertices that satisfies certain conditions. Associated to each of these is a finite abelian group known as its critical group. We show how to determine the critical group of an arithmetical structure on a star graph or complete graph in terms of the entries of the arithmetical structure. We use this to investigate which finite abelian groups can occur as critical groups of arithmetical structures on these graphs. △ Less

Submitted 20 May, 2024; v1 submitted 5 January, 2023; originally announced January 2023.

Comments: 24 pages, 2 figures; v2: minor improvements to exposition

MSC Class: 05C50 (Primary) 05C25; 11C20; 11D68 (Secondary)

Journal ref: Electron. J. Combin. 31 (2024) 1.5

A new statistic on Dyck paths for counting 3-dimensional Catalan words

Authors: Kassie Archer, Christina Gravies

Abstract: A 3-dimensional Catalan word is a word on three letters so that the subword on any two letters is a Dyck path. For a given Dyck path $D$, a recently defined statistic counts the number of Catalan words with the property that any subword on two letters is exactly $D$. In this paper, we enumerate Dyck paths with this statistic equal to certain values, including all primes. The formulas obtained are… ▽ More A 3-dimensional Catalan word is a word on three letters so that the subword on any two letters is a Dyck path. For a given Dyck path $D$, a recently defined statistic counts the number of Catalan words with the property that any subword on two letters is exactly $D$. In this paper, we enumerate Dyck paths with this statistic equal to certain values, including all primes. The formulas obtained are in terms of Motzkin numbers and Motzkin ballot numbers. △ Less

Submitted 19 May, 2022; originally announced May 2022.

A space of goals: the cognitive geometry of informationally bounded agents

Authors: Karen Archer, Nicola Catenacci Volpi, Franziska Bröker, Daniel Polani

Abstract: Traditionally, Euclidean geometry is treated by scientists as a priori and objective. However, when we take the position of an agent, the problem of selecting a best route should also factor in the abilities of the agent, its embodiment and particularly its cognitive effort. In this paper we consider geometry in terms of travel between states within a world by incorporating information processing… ▽ More Traditionally, Euclidean geometry is treated by scientists as a priori and objective. However, when we take the position of an agent, the problem of selecting a best route should also factor in the abilities of the agent, its embodiment and particularly its cognitive effort. In this paper we consider geometry in terms of travel between states within a world by incorporating information processing costs with the appropriate spatial distances. This induces a geometry that increasingly differs from the original geometry of the given world as information costs become increasingly important. We visualise this "cognitive geometry" by projecting it onto 2- and 3-dimensional spaces showing distinct distortions reflecting the emergence of epistemic and information-saving strategies as well as pivot states. The analogies between traditional cost-based geometries and those induced by additional informational costs invite a generalisation of the notion of geodesics as cheapest routes towards the notion of infodesics. In this perspective, the concept of infodesics is inspired by the property of geodesics that, travelling from a given start location to a given goal location along a geodesic, not only the goal, but all points along the way are visited at optimal cost from the start. △ Less

Submitted 2 November, 2022; v1 submitted 5 November, 2021; originally announced November 2021.

Comments: Includes supplementary material, 6 figures in the main document, 5 figures in the supplementary material. Replacing preprint with author accepted manuscript

Pattern-restricted permutations composed of 3-cycles

Authors: Kassie Archer, Christina Graves

Abstract: In this paper, we characterize and enumerate pattern-avoiding permutations composed of only 3-cycles. In particular, we answer the question for the six patterns of length 3. We find that the number of permutations composed of $n$ 3-cycles that avoid the pattern 231 (equivalently 312) is given by $3^{n-1}$, while the generating function for the number of those that avoid the pattern 132 (equivalent… ▽ More In this paper, we characterize and enumerate pattern-avoiding permutations composed of only 3-cycles. In particular, we answer the question for the six patterns of length 3. We find that the number of permutations composed of $n$ 3-cycles that avoid the pattern 231 (equivalently 312) is given by $3^{n-1}$, while the generating function for the number of those that avoid the pattern 132 (equivalently 213) is given by a formula involving the generating functions for the well-known Motzkin numbers and Catalan numbers. The number of permutations composed of $n$ 3-cycles that avoid the pattern 321 is characterized by a weighted sum involving statistics on Dyck paths of semilength~$n$. △ Less

Submitted 26 April, 2021; originally announced April 2021.

MSC Class: 05A05; 05A19

Counting acyclic and strong digraphs by descents

Authors: Kassie Archer, Ira M. Gessel, Christina Graves, Xuming Liang

Abstract: A descent of a labeled digraph is a directed edge (s, t) with s > t. We count strong tournaments, strong digraphs, and acyclic digraphs by descents and edges. To count strong tournaments we use Eulerian generating functions and to count strong and acyclic digraphs we use a new type of generating function that we call a graphic Eulerian generating function. A descent of a labeled digraph is a directed edge (s, t) with s > t. We count strong tournaments, strong digraphs, and acyclic digraphs by descents and edges. To count strong tournaments we use Eulerian generating functions and to count strong and acyclic digraphs we use a new type of generating function that we call a graphic Eulerian generating function. △ Less

Submitted 20 March, 2020; v1 submitted 4 September, 2019; originally announced September 2019.

Comments: 23 pages. Fixed typo

MSC Class: 05C30 (primary); 05A15 (secondary)

Journal ref: Discrete Math. 343 (2020), 112041

On the Intersection Numbers of Finite Groups

Authors: Kassie Archer, Humberto Bautista Serrano, Kayla Cook, L. -K. Lauderdale, Yansy Perez, Vincent Villalobos

Abstract: The covering number of a nontrivial finite group $G$, denoted $σ(G)$, is the smallest number of proper subgroups of $G$ whose set-theoretic union equals $G$. In this article, we focus on a dual problem to that of covering numbers of groups, which involves maximal subgroups of finite groups. For a nontrivial finite group $G$, we define the intersection number of $G$, denoted $ι(G)$, to be the minim… ▽ More The covering number of a nontrivial finite group $G$, denoted $σ(G)$, is the smallest number of proper subgroups of $G$ whose set-theoretic union equals $G$. In this article, we focus on a dual problem to that of covering numbers of groups, which involves maximal subgroups of finite groups. For a nontrivial finite group $G$, we define the intersection number of $G$, denoted $ι(G)$, to be the minimum number of maximal subgroups whose intersection equals the Frattini subgroup of $G$. We elucidate some basic properties of this invariant, and give an exact formula for $ι(G)$ when $G$ is a nontrivial finite nilpotent group. In addition, we determine the intersection numbers of a few infinite families of non-nilpotent groups. We conclude by discussing a generalization of the intersection number of a nontrivial finite group and pose some open questions about these invariants. △ Less

Submitted 5 July, 2019; originally announced July 2019.

Arithmetical structures on bidents

Authors: Kassie Archer, Abigail Bishop, Alexander Diaz-Lopez, Luis David Garcia Puente, Darren Glass, Joel Louwsma

Abstract: An arithmetical structure on a finite, connected graph $G$ is a pair of vectors $(\mathbf{d}, \mathbf{r})$ with positive integer entries for which $(\operatorname{diag}(\mathbf{d}) - A)\mathbf{r} = \mathbf{0}$, where $A$ is the adjacency matrix of $G$ and where the entries of $\mathbf{r}$ have no common factor. The critical group of an arithmetical structure is the torsion part of the cokernel of… ▽ More An arithmetical structure on a finite, connected graph $G$ is a pair of vectors $(\mathbf{d}, \mathbf{r})$ with positive integer entries for which $(\operatorname{diag}(\mathbf{d}) - A)\mathbf{r} = \mathbf{0}$, where $A$ is the adjacency matrix of $G$ and where the entries of $\mathbf{r}$ have no common factor. The critical group of an arithmetical structure is the torsion part of the cokernel of $(\operatorname{diag}(\mathbf{d}) - A)$. In this paper, we study arithmetical structures and their critical groups on bidents, which are graphs consisting of a path with two "prongs" at one end. We give a process for determining the number of arithmetical structures on the bident with $n$ vertices and show that this number grows at the same rate as the Catalan numbers as $n$ increases. We also completely characterize the groups that occur as critical groups of arithmetical structures on bidents. △ Less

Submitted 10 August, 2020; v1 submitted 4 March, 2019; originally announced March 2019.

Comments: 32 pages

Journal ref: Discrete Math. 343 (2020) 111850

Pattern restricted quasi-Stirling permutations

Authors: Kassie Archer, Adam Gregory, Bryan Pennington, Stephanie Slayden

Abstract: We define a variation of Stirling permutations, called quasi-Stirling permutations, to be permutations on the multiset $\{1,1,2,2,\ldots, n,n\}$ that avoid the patterns 1212 and 2121. Their study is motivated by a known relationship between Stirling permutations and increasing ordered rooted labeled trees. We construct a bijection between quasi-Stirling permutations and the set of ordered rooted l… ▽ More We define a variation of Stirling permutations, called quasi-Stirling permutations, to be permutations on the multiset $\{1,1,2,2,\ldots, n,n\}$ that avoid the patterns 1212 and 2121. Their study is motivated by a known relationship between Stirling permutations and increasing ordered rooted labeled trees. We construct a bijection between quasi-Stirling permutations and the set of ordered rooted labeled trees and investigate pattern avoidance for these permutations. △ Less

Submitted 19 April, 2018; originally announced April 2018.

MSC Class: 05A05; 05A15

Involutions and the Gelfand character

Authors: Kassie Archer, Virginia Germany, C. Marin King, L. -K. Lauderdale

Abstract: The Gelfand representation of $\mathcal{S}_n$ is the multiplicity-free direct sum of the irreducible representations of $\mathcal{S}_n$. In this paper, we use a result of Adin, Postnikov, and Roichman to find a recursive generating function for the Gelfand character. In order to find this generating function, we investigate descents of so-called $λ$-unimodal involutions. The Gelfand representation of $\mathcal{S}_n$ is the multiplicity-free direct sum of the irreducible representations of $\mathcal{S}_n$. In this paper, we use a result of Adin, Postnikov, and Roichman to find a recursive generating function for the Gelfand character. In order to find this generating function, we investigate descents of so-called $λ$-unimodal involutions. △ Less

Submitted 9 September, 2022; v1 submitted 6 April, 2018; originally announced April 2018.

Enumerating two permutation classes by the number of cycles

Authors: Kassie Archer

Abstract: We enumerate permutations in the two permutation classes $\text{Av}_n(312, 4321)$ and $\text{Av}_n(321, 4123)$ by the number of cycles each permutation admits. We also refine this enumeration with respect to several statistics. We enumerate permutations in the two permutation classes $\text{Av}_n(312, 4321)$ and $\text{Av}_n(321, 4123)$ by the number of cycles each permutation admits. We also refine this enumeration with respect to several statistics. △ Less

Submitted 21 October, 2022; v1 submitted 23 March, 2018; originally announced March 2018.

MSC Class: 05A05; 05A15

Journal ref: Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 2, Permutation Patterns 2019, Special issues (October 27, 2022) dmtcs:6173

Enumerating Acyclic Digraphs by Descents

Authors: Kassie Archer, Christina Graves

Abstract: A descent of a labeled acyclic digraph is a directed edge $x\to y$ with $x>y$. In this paper, we find a recurrence for the number of labeled acyclic digraphs with a given number of descents. A descent of a labeled acyclic digraph is a directed edge $x\to y$ with $x>y$. In this paper, we find a recurrence for the number of labeled acyclic digraphs with a given number of descents. △ Less

Submitted 2 September, 2017; originally announced September 2017.

MSC Class: 05C30; 05A19

Rooted forests that avoid sets of permutations

Authors: Katie Anders, Kassie Archer

Abstract: We say that an unordered rooted labeled forest avoids the pattern $π\in\mathcal{S}_n$ if the sequence obtained from the labels along the path from the root to any vertex does not contain a subsequence that is in the same relative order as $π$. We enumerate several classes of forests that avoid certain sets of permutations, including the set of unimodal forests, via bijections with set partitions w… ▽ More We say that an unordered rooted labeled forest avoids the pattern $π\in\mathcal{S}_n$ if the sequence obtained from the labels along the path from the root to any vertex does not contain a subsequence that is in the same relative order as $π$. We enumerate several classes of forests that avoid certain sets of permutations, including the set of unimodal forests, via bijections with set partitions with certain properties. We also define and investigate an analog of Wilf-equivalence for forests. △ Less

Submitted 28 September, 2017; v1 submitted 11 July, 2016; originally announced July 2016.

Comments: 13 pages, 7 figures

MSC Class: 05A05; 05C30

Enumeration of cyclic permutations in vector grid classes

Authors: Kassie Archer, L. -K. Lauderdale

Abstract: A grid class consists of permutations whose pictorial depiction can be partitioned into increasing and decreasing parts as determined by a given matrix. In this paper, we introduce a method for enumerating cyclic permutations in vector grid classes by establishing a bijective relationship with certain necklaces. We use this method to complete the enumeration of cyclic permutations in the length 3… ▽ More A grid class consists of permutations whose pictorial depiction can be partitioned into increasing and decreasing parts as determined by a given matrix. In this paper, we introduce a method for enumerating cyclic permutations in vector grid classes by establishing a bijective relationship with certain necklaces. We use this method to complete the enumeration of cyclic permutations in the length 3 vector grid classes. In addition, we define an analog of Wilf-equivalence between these sets. We conclude by discussing cyclic permutations in alternating grid classes. △ Less

Submitted 23 August, 2018; v1 submitted 14 June, 2016; originally announced June 2016.

MSC Class: 05A05; 05A15

Allowed patterns of symmetric tent maps via commuter functions

Authors: Kassie Archer, Scott M. LaLonde

Abstract: We introduce a new technique to study pattern avoidance in dynamical systems, namely the use of a commuter function between non-conjugate dynamical systems. We investigate the properties of such a commuter function, specifically $h : [0,1] \to [0,1]$ satisfying $T_1 \circ h = h \circ T_μ$, where $T_μ$ denotes a symmetric tent map of height $μ$. We make use of this commuter function to prove strict… ▽ More We introduce a new technique to study pattern avoidance in dynamical systems, namely the use of a commuter function between non-conjugate dynamical systems. We investigate the properties of such a commuter function, specifically $h : [0,1] \to [0,1]$ satisfying $T_1 \circ h = h \circ T_μ$, where $T_μ$ denotes a symmetric tent map of height $μ$. We make use of this commuter function to prove strict inclusion of the set of allowed patterns of $T_μ$ in the set of allowed patterns of $T_1$. △ Less

Submitted 27 October, 2016; v1 submitted 3 June, 2016; originally announced June 2016.

MSC Class: 05A05; 37E05; 37E15

Characterization of the allowed patterns of signed shifts

Authors: Kassie Archer

Abstract: The allowed patterns of a map are those permutations in the same relative order as the initial segments of orbits realized by the map. In this paper, we characterize and provide enumerative bounds for the allowed patterns of signed shifts, a family of maps on infinite words. The allowed patterns of a map are those permutations in the same relative order as the initial segments of orbits realized by the map. In this paper, we characterize and provide enumerative bounds for the allowed patterns of signed shifts, a family of maps on infinite words. △ Less

Submitted 10 June, 2015; originally announced June 2015.

Descents of $λ$-unimodal cycles in a character formula

Authors: Kassie Archer

Abstract: We prove an identity conjectured by Adin and Roichman involving the descent set of $λ$-unimodal cyclic permutations. These permutations appear in formulas for characters of certain representations of the symmetric group. Such formulas have previously been proven algebraically. In this paper, we present a combinatorial proof for one such formula and discuss the consequences for the distribution of… ▽ More We prove an identity conjectured by Adin and Roichman involving the descent set of $λ$-unimodal cyclic permutations. These permutations appear in formulas for characters of certain representations of the symmetric group. Such formulas have previously been proven algebraically. In this paper, we present a combinatorial proof for one such formula and discuss the consequences for the distribution of the descent set on cyclic permutations. △ Less

Submitted 3 June, 2016; v1 submitted 10 January, 2014; originally announced January 2014.

Comments: 16 pages, 1 figure

MSC Class: 05A05; 05E10

Cyclic permutations realized by signed shifts

Authors: Kassie Archer, Sergi Elizalde

Abstract: The periodic (ordinal) patterns of a map are the permutations realized by the relative order of the points in its periodic orbits. We give a combinatorial characterization of the periodic patterns of an arbitrary signed shift, in terms of the structure of the descent set of a certain cyclic permutation associated to the pattern. Signed shifts are an important family of one-dimensional dynamical sy… ▽ More The periodic (ordinal) patterns of a map are the permutations realized by the relative order of the points in its periodic orbits. We give a combinatorial characterization of the periodic patterns of an arbitrary signed shift, in terms of the structure of the descent set of a certain cyclic permutation associated to the pattern. Signed shifts are an important family of one-dimensional dynamical systems that includes shift maps and the tent map as particular cases. Defined as a function on the set of infinite words on a finite alphabet, a signed shift deletes the first letter and, depending on its value, possibly applies the complementation operation on the remaining word. For shift maps, reverse shift maps, and the tent map, we give exact formulas for their number of periodic patterns. As a byproduct of our work, we recover results of Gessel--Reutenauer and Weiss--Rogers and obtain new enumeration formulas for pattern-avoiding cycles. △ Less

Submitted 29 April, 2013; originally announced April 2013.

MSC Class: 05A15 (Primary) 37M10; 05A15; 94A55 (Secondary)