papers

Publications (106)

math.NT2017

Revisiting The Riemann Zeta Function at Positive Even Integers

Krishnaswami Alladi, Colin Defant

Using Parseval's identity for the Fourier coefficients of , we provide a new proof that .

math.CO2024

0-Hecke Modules, Domino Tableaux, and Type- Quasisymmetric Functions

Colin Defant, Dominic Searles

We extend the notion of ascent-compatibility from symmetric groups to all Coxeter groups, thereby providing a type-independent framework for constructing families of modules of

math.CO2023

Permutoric Promotion: Gliding Globs, Sliding Stones, and Colliding Coins

Colin Defant, Rachana Madhukara, Hugh Thomas

The first author recently introduced toric promotion, an operator that acts on the labelings of a graph and serves as a cyclic analogue of Schützenberger's promotion operator.…

math.CO2015

An Anti-Ramsey Problem Concerning Complete Bipartite Graphs

Stephan Cho, Jay Cummings, Colin Defant +1

We consider quadruples of positive integers with and such that any proper edge-coloring of the complete bipartite graph contains a rainbow…

math.CO2021

Symmetry of Narayana numbers and rowvacuation of root posets

Colin Defant, Sam Hopkins

For a Weyl group of rank , the -Catalan number is the number of antichains of the poset of positive roots, and the -Narayana numbers refine the -Catalan number by k…

math.CO2018

Stack-sorting for Words

Colin Defant, Noah Kravitz

We introduce operators and , which act on words as natural generalizations of West's stack-sorting map. We show that the heuristically slower alg…

math.CO2025

The Affine Tamari Lattice

Grant Barkley, Colin Defant

Given a fixed integer , we construct two new finite lattices that we call the cyclic Tamari lattice and the affine Tamari lattice. The cyclic Tamari lattice is a sublattic…

math.CO2020

Fertility Monotonicity and Average Complexity of the Stack-Sorting Map

Colin Defant

Let denote the average number of iterations of West's stack-sorting map that are needed to sort a permutation in into the identity permutation $123\cdots n…

math.CO2026

Sets with Few Subset Sums

Ruben Carpenter, Colin Defant, Noah Kravitz

It is a classical fact that every -element set of positive reals has at least distinct subset sums, with equality exactly for homogeneous arithmetic progressi…

math.CO2023

Extensions of Hitomezashi Patterns

Colin Defant, Noah Kravitz, Bridget Eileen Tenner

Hitomezashi, a form of traditional Japanese embroidery, gives rise to intricate arrangements of axis-parallel unit-length stitches in the plane. Pete studied these patterns in the…

math.CO2022

Stack-Sorting for Coxeter Groups

Colin Defant

Given an essential semilattice congruence on the left weak order of a Coxeter group , we define the Coxeter stack-sorting operator by ${\bf S}_\…

math.CO2021

Enumeration of Stack-Sorting Preimages via a Decomposition Lemma

Colin Defant

We give three applications of a recently-proven "Decomposition Lemma," which allows one to count preimages of certain sets of permutations under West's stack-sorting map . We fi…

math.CO2021

Meeting Covered Elements in -Tamari Lattices

Colin Defant

For each complete meet-semilattice , we define an operator by \[\mathsf{Pop}_M(x)=\bigwedge(\{y\in M:y\lessdot x\}\cup\{x\}).\] When is the right wea…

math.CO2026

Short Proofs in Algebraic and Enumerative Combinatorics

Colin Defant

We present several short proofs that resolve open problems from the algebraic and enumerative combinatorics literature. First, we consider the echelonmotion operator on modular lat…

math.CO2018

Enumerating Cliques in Direct Product Graphs

Colin Defant

The unitary Cayley graph of , denoted , is the graph with vertices in which two vertices are adjacent if and onl…

math.NT2018

Connected Components of Complex Divisor Functions

Colin Defant

For any complex number , define the divisor function by . Let denote the t…

math.CO2024

Bender--Knuth Billiards in Coxeter Groups

Grant Barkley, Colin Defant, Eliot Hodges +2

Let be a Coxeter system, and write , where is a finite index set. Fix a nonempty convex subset of . If is of type , then $\mat…

math.PR2024

Random Subwords and Pipe Dreams

Colin Defant

Fix a probability . Let denote the transposition in the symmetric group that swaps and . Given a word over the alphabet $\{s…

math.CO2024

The Ungar Games

Colin Defant, Noah Kravitz, Nathan Williams

Let be a finite lattice. An Ungar move sends an element to the meet of , where is a subset of the set of elements covered by . We introduce the fol…

math.CO2019

On Anti-Powers in Aperiodic Recurrent Words

Aaron Berger, Colin Defant

Fici, Restivo, Silva, and Zamboni define a $\textit{$k$-anti-power}$ to be a concatenation of consecutive words that are pairwise distinct and have the same length. They ask fo…

math.CO2018

Flexible Toggles and Symmetric Invertible Asynchronous Elementary Cellular Automata

Colin Defant

A sequential dynamical system (SDS) consists of a graph with vertices , a state set , a collection of "vertex functions" , and a per…

math.CO2019

Stack-Sorting Preimages of Permutation Classes

Colin Defant

We extend and generalize many of the enumerative results concerning West's stack-sorting map . First, we prove a useful theorem that allows one to efficiently compute $|s^{-1}(Ï…

math.CO2022

Pop-Stack-Sorting for Coxeter Groups

Colin Defant

Let be an irreducible Coxeter group. We define the Coxeter pop-stack-sorting operator to be the map that fixes the identity element and sends each noniden…

math.NT2015

On the Density of Ranges of Generalized Divisor Functions

Colin Defant

The range of the divisor function is dense in the interval . However, the range of the function is not dense in the interval $\displaystyle{\left[1,…

math.CO2023

Ungarian Markov Chains

Colin Defant, Rupert Li

We introduce the Ungarian Markov chain associated to a finite lattice . The states of this Markov chain are the elements of . When the chain is in a state $x\in L…

math.CO2025

Homology in Combinatorial Refraction Billiards

Colin Defant, Derek Liu

Given a graph with vertex set , we can project the graphical arrangement of to an -dimensional torus to obtain a toric hyperplane arrangement. Adams,…

math.CO2024

Boolean, Free, and Classical Cumulants as Tree Enumerations

Colin Defant, Mitchell Lee

Defant found that the relationship between a sequence of (univariate) classical cumulants and the corresponding sequence of (univariate) free cumulants can be described combinatori…

math.CO2020

Asymptotics of 3-stack-sortable permutations

Colin Defant, Andrew Elvey Price, Anthony J Guttmann

We derive a simple functional equation with two catalytic variables characterising the generating function of 3-stack-sortable permutations. Using this functional equation, we exte…

math.NT2018

Ranges of Unitary Divisor Functions

Colin Defant

For any real , the unitary divisor function is the multiplicative arithmetic function defined by for all primes and positive integers .…

math.CO2024

Tilings of Benzels via Generalized Compression

Colin Defant, Leigh Foster, Rupert Li +2

Defant, Li, Propp, and Young recently resolved two enumerative conjectures of Propp concerning the tilings of regions in the hexagonal grid called benzels using two types of protot…

math.CO2017

Binary Codes and Period-2 Orbits of Sequential Dynamical Systems

Colin Defant

Let be the (global) SDS map of a sequential dynamical system (SDS) defined over the complete graph using the update order in which all vertex functio…

math.PR2025

Random Subwords and Billiard Walks in Affine Weyl Groups

Colin Defant, Pakawut Jiradilok, Elchanan Mossel

Let be an irreducible affine Weyl group, and let be a finite word over the alphabet of simple reflections of . Fix a probability . For each integer $…

math.PR2026

Random Combinatorial Billiards and Stoned Exclusion Processes

Colin Defant

We introduce and study several random combinatorial billiard trajectories. Such a system, which depends on a fixed parameter , models a beam of light that travels in a E…

math.NT2018

On the genus of a quotient of a numerical semigroup

Ayomikun Adeniran, Steve Butler, Colin Defant +6

We find a relation between the genus of a quotient of a numerical semigroup and the genus of itself. We use this identity to compute the genus of a quotient of when

math.CO2020

Catalan Intervals and Uniquely Sorted Permutations

Colin Defant

For each positive integer , we consider five well-studied posets defined on the set of Dyck paths of semilength . We prove that uniquely sorted permutations avoiding various…

math.CO2024

Mixing on Generalized Associahedra

William Chang, Colin Defant, Daniel Frishberg

Eppstein and Frishberg recently proved that the mixing time for the simple random walk on the -skeleton of the associahedron is . We obtain similar rapid mixing…

math.CO2023

Rowmotion Markov Chains

Colin Defant, Rupert Li, Evita Nestoridi

Rowmotion is a certain well-studied bijective operator on the distributive lattice of order ideals of a finite poset . We introduce the rowmotion Markov chain ${\bf M}_{J…

math.CO2020

Pattern-Avoiding Permutation Powers

Amanda Burcroff, Colin Defant

Recently, Bóna and Smith defined strong pattern avoidance, saying that a permutation strongly avoids a pattern if and both avoid . They conjectured that…

math.CO2023

Homomesy via Toggleability Statistics

Colin Defant, Sam Hopkins, Svetlana Poznanović +1

The rowmotion operator acting on the set of order ideals of a finite poset has been the focus of a significant amount of recent research. One of the major goals has been to exhibit…

math.CO2025

The Pop-Stack Operator on Ornamentation Lattices

Khalid Ajran, Colin Defant

Each rooted plane tree has an associated ornamentation lattice . The ornamentation lattice of an -element chain is the -th Tamari lattic…

math.CO2024

Operahedron Lattices

Colin Defant, Andrew Sack

Laplante-Anfossi associated to each rooted plane tree a polytope called an operahedron. He also defined a partial order on the vertex set of an operahedron and asked if the resulti…

math.CO2020

Quantifying Noninvertibility in Discrete Dynamical Systems

Colin Defant, James Propp

Given a finite set and a function , we define the degree of noninvertibility of to be . This…

math.CO2020

Supertrees

Colin Defant, Noah Kravitz, Ashwin Sah

A -universal permutation, or -superpermutation, is a permutation that contains all permutations of length as patterns. The problem of finding the minimum length of a -…

math.NT2014

On Sparsely Schemmel Totient Numbers

Colin Defant

For each positive integer , let denote the Schemmel totient function, a multiplicative arithmetic function defined by \[S_r(p^α)=\begin{cases} 0, & \mbox{if } p\…

math.NT2015

On Ranges of Variants of the Divisor Functions that are Dense

Colin Defant

For a real number , let be the multiplicative arithmetic function defined by for all primes and positive integers

math.CO2015

Upper Bounds for Stern's Diatomic Sequence and Related Sequences

Colin Defant

Let denote Stern's diatomic sequence. For , we may view as the number of partitions of into powers of with each part occurring a…

math.DS2026

The Minary Primitive of Computational Autopoiesis

Daniel Connor, Colin Defant

We introduce Minary, a computational framework designed as a candidate for the first formally provable autopoietic primitive. Minary represents interacting probabilistic events as…

math.CO2021

Typical and Extremal Aspects of Friends-and-Strangers Graphs

Noga Alon, Colin Defant, Noah Kravitz

Given graphs and with vertex sets and of the same cardinality, the friends-and-strangers graph is the graph whose vertex set consists of al…

math.CO2024

Pop, Crackle, Snap (and Pow): Some Facets of Shards

Colin Defant, Nathan Williams

Reading cut the hyperplanes in a real central arrangement into pieces called \emph{shards}, which reflect order-theoretic properties of the arrangement. We show that s…

math.CO2025

Extended Weak Order for the Rank 3 Universal Coxeter Group

Grant Barkley, Colin Defant, Patricia Hersh +3

The weak order is a classical poset structure on a Coxeter group; it is a lattice when the group is finite but merely a meet-semilattice when the group is infinite. Motivated by pr…

math.CO2022

Loops and Regions in Hitomezashi Patterns

Colin Defant, Noah Kravitz

Hitomezashi patterns, which originate from traditional Japanese embroidery, are intricate arrangements of unit-length line segments called stitches. The stitches connect to form hi…

math.NT2015

An Extension of the Abundancy Index to Certain Quadratic Rings

Colin Defant

We begin by introducing an extension of the traditional abundancy index to imaginary quadratic rings with unique factorization. After showing that many of the properties of the tra…

math.CO2023

Ordering Candidates via Vantage Points

Noga Alon, Colin Defant, Noah Kravitz +1

Given an -element set and a (sufficiently generic) -element multiset , we can order the points in by ranking each point $…

math.CO2020

Polyurethane Toggles

Colin Defant

We consider the involutions known as "toggles," which have been used to give simplified proofs of the fundamental properties of the promotion and evacuation maps. We transfer these…

math.CO2020

Promotion Sorting

Colin Defant, Noah Kravitz

Schützenberger's promotion operator is an extensively-studied bijection that permutes the linear extensions of a finite poset. We introduce a natural extension of this…

math.CO2020

Fertility, Strong Fertility, and Postorder Wilf Equivalence

Colin Defant

We introduce "fertility Wilf equivalence," "strong fertility Wilf equivalence," and "postorder Wilf equivalence," three variants of Wilf equivalence for permutation classes that fo…

math.NT2014

Unitary Multiperfect Numbers in Certain Quadratic Rings

Colin Defant

A unitary divisor of a positive integer is a positive divisor of that is relatively prime to . For any integer , the function is…

math.CO2025

Chute Move Posets are Lattices

Ilani Axelrod-Freed, Colin Defant, Hanna Mularczyk +2

For each permutation , we consider the set of reduced pipe dreams for , partially ordered so that cover relations correspond to (generalized) chute moves. Se…

math.NT2015

Multiperfect Numbers in Certain Quadratic Rings

Colin Defant

Using an extension of the abundancy index to imaginary quadratic rings that are unique factorization domains, we investigate what we call -powerfully -perfect numbers in thes…

math.CO2023

Pop-Stack Operators for Torsion Classes and Cambrian Lattices

Emily Barnard, Colin Defant, Eric J. Hanson

The pop-stack operator of a finite lattice is the map that sends each element to the meet of , whe…

math.CO2021

Semidistrim Lattices

Colin Defant, Nathan Williams

We introduce semidistrim lattices, a simultaneous generalization of semidistributive and trim lattices that preserves many of their common properties. We prove that the elements of…

math.CO2018

Domination and Upper Domination of Direct Product Graphs

Colin Defant, Sumun Iyer

The unitary Cayley graph of , denoted , has vertices with adjacent to if is relatively prim…

math.CO2026

On the number of permutation-twisted dot products

Ruben Carpenter, Colin Defant, Noah Kravitz

Let be a field of characteristic . For each choice of distinct and distinct , consider the sum $S=\…

math.CO2022

Troupes, Cumulants, and Stack-Sorting

Colin Defant

Several sequences of free cumulants that count binary plane trees correspond to sequences of classical cumulants that count the decreasing versions of the same trees. Using two new…

math.CO2023

Fertilitopes

Colin Defant

We introduce tools from discrete convexity theory and polyhedral geometry into the theory of West's stack-sorting map . Associated to each permutation is a particular set $…

math.CO2019

Proofs of Conjectures about Pattern-Avoiding Linear Extensions

Colin Defant

After fixing a canonical ordering (or labeling) of the elements of a finite poset, one can associate each linear extension of the poset with a permutation. Some recent papers consi…

math.CO2021

Friends and Strangers Walking on Graphs

Colin Defant, Noah Kravitz

Given graphs and with vertex sets and of the same cardinality, we define a graph whose vertex set consists of all bijections $σ:V(X)\to V(…

math.CO2019

Descents in -Sorted Permutations

Colin Defant

Let denote West's stack-sorting map. A permutation is called if it is of the form for some permutation . We prove that the maximum number of d…

math.CO2022

Tilings of Benzels via the Abacus Bijection

Colin Defant, Rupert Li, James Propp +1

Propp recently introduced regions in the hexagonal grid called benzels and stated several enumerative conjectures about the tilings of benzels using two types of prototiles called…

math.CO2025

Permutahedron Triangulations via Total Linear Stability and the Dual Braid Group

Colin Defant, Melissa Sherman-Bennett, Nathan Williams

For each finite Coxeter group and each standard Coxeter element of , we construct a triangulation of the -permutahedron. For particular realizations of the -permutahed…

math.CO2017

Poset Pattern-Avoidance Problems Posed by Yakoubov

Colin Defant

Extending the work of Yakoubov, we enumerate the linear extensions of comb posets that avoid certain length- patterns. We resolve many of Yakoubov's open problems and prove both…

math.NT2015

A Note about Iterated Arithmetic Functions

Colin Defant

Let be a multiplicative arithmetic function such that for all primes and positive integers , and $f(p)\vert f(p^α…

math.NT2014

On Schemmel Nontotient Numbers

Colin Defant

For each positive integer , let denote the Schemmel totient function, a multiplicative arithmetic function defined by \[S_r(p^α)=\begin{cases} 0, & \mbox{if } p\…

math.NT2014

On 2-powerfully Perfect Numbers in Three Quadratic Rings

Colin Defant

Using an extension of the abundancy index to imaginary quadratic rings with unique factorization, we define what we call -powerfully perfect numbers in these rings. This definit…

math.CO2020

Counting 3-Stack-Sortable Permutations

Colin Defant

We prove a "decomposition lemma" that allows us to count preimages of certain sets of permutations under West's stack-sorting map . As a first application, we give a new proof o…

math.CO2016

Anti-Power Prefixes of the Thue-Morse Word

Colin Defant

Recently, Fici, Restivo, Silva, and Zamboni defined a -anti-power to be a word of the form , where are distinct words of the same length.…

math.CO2018

Preimages under the Stack-Sorting Algorithm

Colin Defant

We use a method for determining the number of preimages of any permutation under the stack-sorting map in order to obtain recursive upper bounds for the numbers and $W_t(n…

math.CO2024

Rainbow Stackings of Random Edge-Colorings

Noga Alon, Colin Defant, Noah Kravitz

A rainbow stacking of -edge-colorings of the complete graph on vertices is a way of superimposing so that no edges of the same colo…

math.CO2023

Torsors and tilings from toric toggling

Colin Defant, Michael Joseph, Matthew Macauley +1

Much of dynamical algebraic combinatorics focuses on global dynamical systems defined via maps that are compositions of local toggle operators. The second author and Roby studied s…

math.CO2020

Highly Sorted Permutations and Bell Numbers

Colin Defant

Let denote West's stack-sorting map. For all positive integers and all integers , we give a simple characterization of the set ; as a consequence,…

math.CO2020

Stack-Sorting with Consecutive-Pattern-Avoiding Stacks

Colin Defant, Kai Zheng

We introduce consecutive-pattern-avoiding stack-sorting maps , which are natural generalizations of West's stack-sorting map and natural analogues of the classica…

math.CO2020

Stack-Sorting, Set Partitions, and Lassalle's Sequence

Colin Defant, Michael Engen, Jordan A. Miller

We exhibit a bijection between recently-introduced combinatorial objects known as valid hook configurations and certain weighted set partitions. When restricting our attention to s…

math.CO2025

Rowmotion and Echelonmotion

Colin Defant, Yuhan Jiang, Rene Marczinzik +4

Given a linear extension of a finite poset , we consider the permutation matrix indexing the Schubert cell containing the Cartan matrix of with respect to . This yi…

math.CO2017

Unitary Cayley Graphs of Dedekind Domain Quotients

Colin Defant

If is a commutative ring with unity, then the unitary Cayley graph of , denoted , is defined to be the graph whose vertex set is and whose edge set is $\{\{a,b\}\co…

math.CO2023

Wiener Indices of Minuscule Lattices

Colin Defant, Valentin Féray, Philippe Nadeau +1

The Wiener index of a finite graph G is the sum over all pairs (p, q) of vertices of G of the distance between p and q. When P is a finite poset, we define its Wiener index as the…

math.CO2018

Postorder Preimages

Colin Defant

Given a set of decreasing plane trees and a permutation , how many trees in have as their postorder? Using combinatorial and geometric constructions, we provide a…

math.CO2023

Triangular-Grid Billiards and Plabic Graphs

Colin Defant, Pakawut Jiradilok

Given a polygon in the triangular grid, we obtain a permutation via a natural billiards system in which beams of light bounce around inside of . The different cycles…

math.CO2021

Crystal Pop-Stack Sorting and Type A Crystal Lattices

Colin Defant, Nathan Williams

Given a complex simple Lie algebra and a dominant weight , let be the crystal poset associated to the irreducible representation of

math.NT2017

On the Density of Ranges of Generalized Divisor Functions with Restricted Domains

Colin Defant

We begin by defining functions , which are generalized divisor functions with restricted domains. For each positive integer , we show that, for , the range of $σ…

math.CO2021

Coxeter Pop-Tsack Torsing

Colin Defant, Nathan Williams

Given a finite irreducible Coxeter group with a fixed Coxeter element , we define the Coxeter pop-tsack torsing operator by $\mathsf{Pop}_T(w)=w\cdot…

math.NT2015

On Arithmetic Functions Related to Iterates of the Schemmel Totient Functions

Colin Defant

We begin by introducing an interesting class of functions, known as the Schemmel totient functions, that generalizes the Euler totient function. For each Schemmel totient function…

math.CO2022

Connectedness and Cycle Spaces of Friends-and-Strangers Graphs

Colin Defant, David Dong, Alan Lee +1

If and are -vertex graphs, then their friends-and-strangers graph is the graph whose vertices are the bijections from t…

math.CO2026

Noncrossing Combinatorics, the Full Twist, and Decategorification of Knot Invariants

Colin Defant, Nathan Williams

Much work in knot theory has consisted of categorifying, and thereby strengthening, knot invariants. We take the opposite approach: decategorification, more commonly called combina…

math.CO2024

Rowmotion on -Tamari and BiCambrian Lattices

Colin Defant, James Lin

Thomas and Williams conjectured that rowmotion acting on the rational -Tamari lattice has order . We construct an equivariant bijection that proves this conjecture wh…

math.CO2023

Motzkin Intervals and Valid Hook Configurations

Colin Defant

We define a new natural partial order on Motzkin paths that serves as an intermediate step between two previously-studied partial orders. We provide a bijection between valid hook…

math.PR2025

Reduced Random Walks in the Hyperbolic Plane

Colin Defant, Mitchell Lee

We study Lam's reduced random walk in a hyperbolic triangle group, which we view as a random walk in the upper half-plane. We prove that this walk converges almost surely to a poin…

math.CO2021

The runsort permuton

Noga Alon, Colin Defant, Noah Kravitz

Suppose we choose a permutation uniformly at random from . Let be the permutation obtained by sorting the ascending runs of into lexicographic…

math.PR2025

Permutons from Demazure Products

Colin Defant

We construct and analyze several new families of permutons arising from random processes involving the Demazure product on the symmetric group. First, we consider Demazure products…

math.NT2018

Complex Divisor Functions

Colin Defant

For any complex number , let denote the divisor function defined by for all , and…

math.CO2026

Toric Promotion with Reflections and Refractions

Ashleigh Adams, Colin Defant, Jessica Striker

Inspired by recent work on refraction billiards in dynamics, we introduce a notion of refraction for combinatorial billiards. This allows us to define a generalization of toric pro…