-
Genus distribution polynomials for bicellular bicolored maps all with real zeros
Authors:
Zi-Wei Bai,
Ricky X. F. Chen
Abstract:
Enumerating bicolored maps and maps according to the numbers (and possibly types) of edges, faces, white vertices, black vertices and genus has been an important topic arising in many fields of mathematics and physics. In particular, Jackson (1987), Zagier (1995) and Stanley (2011) respectively obtained some expressions for the generating polynomial of the numbers of one-face bicolored maps with g…
▽ More
Enumerating bicolored maps and maps according to the numbers (and possibly types) of edges, faces, white vertices, black vertices and genus has been an important topic arising in many fields of mathematics and physics. In particular, Jackson (1987), Zagier (1995) and Stanley (2011) respectively obtained some expressions for the generating polynomial of the numbers of one-face bicolored maps with given number of edges and white vertex degree distribution while tracking the number of black vertices. The cases for multiple faces are harder. In this paper,
we first obtain the number for that of bicolored maps with two faces, i.e., bicellular, of arbitrary length distribution, and then derive an explicit formula for the corresponding generating polynomial with respect to genus. We next prove that the generating polynomial essentially has only real zeros and thus the genus distribution is log-concave.
△ Less
Submitted 11 June, 2025; v1 submitted 8 October, 2024;
originally announced October 2024.
-
Exact enumeration of RNA secondary structures by helices and loops
Authors:
Ricky X. F. Chen,
Christian M. Reidys,
Michael S. Waterman
Abstract:
Enumerative studies of RNA secondary structures were initiated four decades ago by Waterman and his coworkers. Since then, RNA secondary structures have been explored according to many different structural characteristics, for instance, helices, components and loops by Hofacker, Schuster and Stadler, orders by Nebel, saturated structures by Clote, the $5^{\prime}$-$3^{\prime}$ end distance by Clot…
▽ More
Enumerative studies of RNA secondary structures were initiated four decades ago by Waterman and his coworkers. Since then, RNA secondary structures have been explored according to many different structural characteristics, for instance, helices, components and loops by Hofacker, Schuster and Stadler, orders by Nebel, saturated structures by Clote, the $5^{\prime}$-$3^{\prime}$ end distance by Clote, Ponty and Steyaert, and the rainbow spectrum by Li and Reidys. However, the majority of the contributions are asymptotic results, and it is harder to derive explicit formulas. In this paper, we obtain exact formulas counting RNA secondary structures with a given number of helices as well as a given joint size distribution of helices and loops, while some related asymptotic results due to Hofacker, Schuster and Stadler have been known for about twenty years. Our approach is combinatorial, analyzing a recent bijection between RNA secondary structures and plane trees discovered by the first author and proposing a variation of Chen's bijective approach of counting trees by forests of simple trees.
△ Less
Submitted 4 July, 2024;
originally announced July 2024.
-
Hurwitz numbers with completed cycles and Gromov--Witten theory relative to at most three points
Authors:
Ricky X. F. Chen,
Zhen-Ran Wang
Abstract:
Hurwitz numbers with completed cycles are standard Hurwitz numbers with simple branch points replaced by completed cycles. In fact, simple branch points correspond to completed $2$-cycles. Okounkov and Pandharipande have established the remarkable GW/H correspondence, saying that the stationary sectors of the Gromov--Witten theory relative to $r$ points equal Hurwitz numbers with $r$ branch points…
▽ More
Hurwitz numbers with completed cycles are standard Hurwitz numbers with simple branch points replaced by completed cycles. In fact, simple branch points correspond to completed $2$-cycles. Okounkov and Pandharipande have established the remarkable GW/H correspondence, saying that the stationary sectors of the Gromov--Witten theory relative to $r$ points equal Hurwitz numbers with $r$ branch points besides the completed cycles. However, from the viewpoint of computation, known results for Hurwitz numbers (standard or with completed cycles) are mainly for $r\leq 2$. It is hard to obtain explicit formulas and then discuss the structural properties for the cases $r>2$. In this paper, we obtain explicit formulas for the case $r=3$ and uncover a number of structural properties of these Hurwitz numbers. For instance, we discover a piecewise polynomiality with respect to the orders of the completed cycles in addition to the parts of the profiles of branch points as usual, we show that certain hook-shape Hurwitz numbers are building blocks of all our Hurwitz numbers, and we prove an analogue of the celebrated $λ_g$-conjecture.
△ Less
Submitted 9 November, 2023;
originally announced November 2023.
-
Explicit formulas for a family of hypermaps beyond the one-face case
Authors:
Zi-Wei Bai,
Ricky X. F. Chen
Abstract:
Enumeration of hypermaps is widely studied in many fields. In particular, enumerating hypermaps with a fixed edge-type according to the number of faces and genus is one topic of great interest. However, it is challenging and explicit results mainly exist for hypermaps having one face, especially for the edge-type corresponding to maps. The first systematic study of one-face hypermaps with any fixe…
▽ More
Enumeration of hypermaps is widely studied in many fields. In particular, enumerating hypermaps with a fixed edge-type according to the number of faces and genus is one topic of great interest. However, it is challenging and explicit results mainly exist for hypermaps having one face, especially for the edge-type corresponding to maps. The first systematic study of one-face hypermaps with any fixed edge-type is the work of Jackson (Trans.~Amer.~Math.~Soc.~299, 785--801, 1987) using group characters. In 2011, Stanley obtained the generating polynomial of one-face hypermaps of any fixed edge-type expressed in terms of the backward shift operator. There are also enormous amount of work on enumerating one-face hypermaps of specific edge-types. The enumeration of hypermaps with more faces is generally much harder. In this paper, we make some progress in that regard, and obtain the generating polynomials and properties for a family of typical two-face hypermaps with almost any fixed edge-type.
△ Less
Submitted 27 September, 2023; v1 submitted 14 September, 2023;
originally announced September 2023.
-
The Harer-Zagier and Jackson formulas and new results for one-face bipartite maps
Authors:
Ricky X. F. Chen
Abstract:
The study of bipartite maps (or Grothendieck's dessins d'enfants) is closely connected with geometry, mathematical physics and free probability. Here we study these objects from their permutation factorization formulation using a novel character theory approach. We first present some general symmetric function expressions for the number of products of two permutations respectively from two arbitra…
▽ More
The study of bipartite maps (or Grothendieck's dessins d'enfants) is closely connected with geometry, mathematical physics and free probability. Here we study these objects from their permutation factorization formulation using a novel character theory approach. We first present some general symmetric function expressions for the number of products of two permutations respectively from two arbitrary, but fixed, conjugacy classes indexed by $α$ and $γ$ which produce a permutation with $m$ cycles. Our next objective is to derive explicit formulas for the cases where $α$ corresponds to full cycles, i.e., one-face bipartite maps. We prove a far-reaching explicit formula, and show that the number for any $γ$ can be iteratively reduced to that of products of two full cycles, which implies an efficient dimension-reduction algorithm for building a database of all these numbers. Note that the number for products of two full cycles can be computed by the Zagier-Stanley formula. Also, in a unified way, we easily prove the celebrated Harer-Zagier formula and Jackson's formula, and we obtain explicit formulas for several new families as well.
△ Less
Submitted 7 October, 2024; v1 submitted 7 February, 2023;
originally announced February 2023.
-
The minimum number of chains in a noncrossing partition of a poset
Authors:
Ricky X. F. Chen
Abstract:
The notion of noncrossing partitions of a partially ordered set (poset) is introduced here. When the poset in question is $[n]=\{1,2,\dots, n\}$ with the complete order of natural numbers, conventional noncrossing partitions arise. The minimum possible number of chains contained in a noncrossing partition of a poset clearly reflects the structural complexity of the poset. For the poset $[n]$, this…
▽ More
The notion of noncrossing partitions of a partially ordered set (poset) is introduced here. When the poset in question is $[n]=\{1,2,\dots, n\}$ with the complete order of natural numbers, conventional noncrossing partitions arise. The minimum possible number of chains contained in a noncrossing partition of a poset clearly reflects the structural complexity of the poset. For the poset $[n]$, this number is just one. However, for a generic poset, it is a challenging task to determine the minimum number. Our main result in the paper is some characterization of this quantity.
△ Less
Submitted 6 September, 2024; v1 submitted 1 February, 2023;
originally announced February 2023.
-
Self-reciprocal polynomials connecting unsigned and signed relative derangements
Authors:
Ricky X. F. Chen,
Yu-Chen Ruan
Abstract:
In this paper, we introduce polynomials (in $t$) of signed relative derangements that track the number of signed elements. The polynomials are clearly seen to be in a sense symmetric. Note that relative derangements are those without any signed elements, i.e., the evaluations of the polynomials at $t=0$. Also, the numbers of all signed relative derangements are given by the evaluations at $t=1$. T…
▽ More
In this paper, we introduce polynomials (in $t$) of signed relative derangements that track the number of signed elements. The polynomials are clearly seen to be in a sense symmetric. Note that relative derangements are those without any signed elements, i.e., the evaluations of the polynomials at $t=0$. Also, the numbers of all signed relative derangements are given by the evaluations at $t=1$. Then the coefficients of the polynomials connect unsigned and signed relative derangements and show how putting elements with signs affects the formation of derangements. We first prove a recursion satisfied by these polynomials which results in a recursion satisfied by the coefficients. A combinatorial proof of the latter is provided next. We also show that the sequences of the coefficients are unimodal. Moreover, other results are obtained. For instance, a kind of dual of a relation between signed derangements and signed relative derangements previously proved by Chen and Zhang is presented.
△ Less
Submitted 1 September, 2023; v1 submitted 31 December, 2022;
originally announced January 2023.
-
On products of permutations with the most uncontaminated cycles by designated labels
Authors:
Ricky X. F. Chen
Abstract:
There is a growing interest in studying the distribution of certain labels in products of permutations since the work of Stanley addressing a conjecture of Bóna. This paper is concerned with a problem in that direction. Let $D$ be a permutation on the set $[n]=\{1,2,\ldots, n\}$ and $E\subset [n]$. Suppose the maximum possible number of cycles uncontaminated by the $E$-labels in the product of…
▽ More
There is a growing interest in studying the distribution of certain labels in products of permutations since the work of Stanley addressing a conjecture of Bóna. This paper is concerned with a problem in that direction. Let $D$ be a permutation on the set $[n]=\{1,2,\ldots, n\}$ and $E\subset [n]$. Suppose the maximum possible number of cycles uncontaminated by the $E$-labels in the product of $D$ and a cyclic permutation on $[n]$ is $θ$ (depending on $D$ and $E$). We prove that for arbitrary $D$ and $E$ with few exceptions, the number of cyclic permutations $γ$ such that $D\circ γ$ has exactly $θ-1$ $E$-label free cycles is at least $1/2$ that of $γ$ for $D\circ γ$ to have $θ$ $E$-label free cycles, where $1/2$ is best possible. An even more general result is also conjectured.
△ Less
Submitted 31 October, 2022;
originally announced October 2022.
-
New equidistributions on plane trees and decompositions of $132$-avoiding permutations
Authors:
Zi-Wei Bai,
Ricky X. F. Chen
Abstract:
Our main results in this paper are new equidistributions on plane trees and $132$-avoiding permutations, two closely related objects. As for the former, we discover a characteristic for vertices of plane trees that is equally distributed as the height for vertices. The latter is concerned with four distinct ways of decomposing a $132$-avoiding permutation into subsequences. We show combinatorially…
▽ More
Our main results in this paper are new equidistributions on plane trees and $132$-avoiding permutations, two closely related objects. As for the former, we discover a characteristic for vertices of plane trees that is equally distributed as the height for vertices. The latter is concerned with four distinct ways of decomposing a $132$-avoiding permutation into subsequences. We show combinatorially that the subsequence length distributions of the four decompositions are mutually equivalent, and there is a way to group the four into two groups such that each group is symmetric and the joint length distribution of one group is the same as that of the other. Some consequences are discussed. For instance, we provide a new refinement of the equidistribution of internal vertices and leaves, and present new sets of $132$-avoiding permutations that are counted by the Motzkin numbers and their refinements.
△ Less
Submitted 1 February, 2023; v1 submitted 5 September, 2022;
originally announced September 2022.
-
Independent decisions collectively producing a long information dissemination path with a foreseen lower-bounded length in a network
Authors:
Ricky X. F. Chen
Abstract:
Our research problems can be understood with the following metaphor: In Facebook or Twitter, suppose Mike decides to send a message to a friend Jack, and Jack next decides to pass the message to one of his own friends Mary, and the process continues until the current message holder could not find a friend who is not in the relaying path. How to make the message live longer in the network with each…
▽ More
Our research problems can be understood with the following metaphor: In Facebook or Twitter, suppose Mike decides to send a message to a friend Jack, and Jack next decides to pass the message to one of his own friends Mary, and the process continues until the current message holder could not find a friend who is not in the relaying path. How to make the message live longer in the network with each individual's local decision? Can Mike foresee the length of the longest paths starting with himself in the network by only collecting information of native nature? In contrast to similar network problems with respect to short paths, e.g., for explaining the famous Milgram's small world experiment, no nontrivial solutions have been proposed for the problems.
The two research problems are not completely the same and notably our approach yields solutions to both. We discover node-specific numeric values which can be computed by only communicating identity-free degree derivatives to network neighbors and for an arbitrary network node $v$ there exists a function determining a lower bound for the length of the longest paths starting with it based on its numeric values. Moreover, in the navigation process initiated at $v$, inspecting the numeric values of their neighbors, the involved nodes can independently make their decisions eventually guaranteeing a path of length longer than the determined lower bound at $v$. Numerical analyses demonstrate plausible performance of our approach of inferring certain global properties from local information in complex networks.
△ Less
Submitted 2 April, 2023; v1 submitted 4 August, 2021;
originally announced August 2021.
-
A versatile combinatorial approach of studying products of long cycles in symmetric groups
Authors:
Ricky X. F. Chen
Abstract:
In symmetric groups, studies of permutation factorizations or triples of permutations satisfying certain conditions have a long history. One particular interesting case is when two of the involved permutations are long cycles, for which many surprisingly simple formulas have been obtained. Here we combinatorially enumerate the pairs of long cycles whose product has a given cycle-type and separates…
▽ More
In symmetric groups, studies of permutation factorizations or triples of permutations satisfying certain conditions have a long history. One particular interesting case is when two of the involved permutations are long cycles, for which many surprisingly simple formulas have been obtained. Here we combinatorially enumerate the pairs of long cycles whose product has a given cycle-type and separates certain elements, extending several lines of studies, and we obtain general quantitative relations. As consequences, in a unified way, we recover a number of results expecting simple combinatorial proofs, including results of Boccara (1980), Zagier (1995), Stanley (2011), Féray and Vassilieva (2012), as well as Hultman (2014). We obtain a number of new results as well. In particular, for the first time, given a partition of a set, we obtain an explicit formula for the number of pairs of long cycles on the set such that the product of the long cycles does not mix the elements from distinct blocks of the partition and has an independently prescribed number of cycles for each block of elements. As applications, we obtain new explicit formulas concerning factorizations of any even permutation into long cycles and the first nontrivial explicit formula for computing strong separation probabilities solving an open problem of Stanley (2010).
△ Less
Submitted 6 October, 2019;
originally announced October 2019.
-
Combinatorially refine a Zagier-Stanley result on products of permutations
Authors:
Ricky X. F. Chen
Abstract:
In this paper, we enumerate the pairs of permutations that are long cycles and whose product has a given cycle-type. Our main result is a simple relation concerning the desired numbers for a few related cycle-types. The relation refines a formula of the number of pairs of long cycles whose product has $k$ cycles independently obtained by Zagier and Stanley relying on group characters, and was prev…
▽ More
In this paper, we enumerate the pairs of permutations that are long cycles and whose product has a given cycle-type. Our main result is a simple relation concerning the desired numbers for a few related cycle-types. The relation refines a formula of the number of pairs of long cycles whose product has $k$ cycles independently obtained by Zagier and Stanley relying on group characters, and was previously obtained by Féray and Vassilieva by counting some colored permutations first and then relying on some algebraic computations in the ring of symmetric functions. Our approach here is simpler and combinatorial.
△ Less
Submitted 1 October, 2019;
originally announced October 2019.
-
Separation probabilities and analogues of a Zagier-Stanley formula
Authors:
Ricky X. F. Chen
Abstract:
In this paper, we first obtain some analogues of a formula of Zagier (1995) and Stanley (2011). For instance, we prove that the number of pairs of $n$-cycles whose product has $k$ cycles and has $m$ given elements contained in distinct cycles (or separated) is given by $$ \frac{2 (n-1)! C_m(n+1,k)}{(n+m)(n+1-m)} $$ when $n-k$ is even, where $C_m(n,k)$ is the number of permutations of $n$ elements…
▽ More
In this paper, we first obtain some analogues of a formula of Zagier (1995) and Stanley (2011). For instance, we prove that the number of pairs of $n$-cycles whose product has $k$ cycles and has $m$ given elements contained in distinct cycles (or separated) is given by $$ \frac{2 (n-1)! C_m(n+1,k)}{(n+m)(n+1-m)} $$ when $n-k$ is even, where $C_m(n,k)$ is the number of permutations of $n$ elements having $k$ cycles and separating $m$ given elements. As consequences, we obtain the formulas for certain separation probabilities due to Du and Stanley, answering a call of Stanley for simple combinatorial proofs. Furthermore, we obtain the expectation and variance of the number of fixed points in the product of two random $n$-cycles.
△ Less
Submitted 29 September, 2019;
originally announced September 2019.
-
A refinement of the formula for $k$-ary trees and the Gould-Vandermonde's convolution
Authors:
Ricky X. F. Chen
Abstract:
In this paper, we present an involution on some kind of colored $k$-ary trees which provides a combinatorial proof of a combinatorial sum involving the generalized Catalan numbers $C_{k,γ}(n)=\fracγ{k n+γ}{k n+γ\choose n}$. From the combinatorial sum, we refine the formula for $k$-ary trees and obtain an implicit formula for the generating function of the generalized Catalan numbers which obviousl…
▽ More
In this paper, we present an involution on some kind of colored $k$-ary trees which provides a combinatorial proof of a combinatorial sum involving the generalized Catalan numbers $C_{k,γ}(n)=\fracγ{k n+γ}{k n+γ\choose n}$. From the combinatorial sum, we refine the formula for $k$-ary trees and obtain an implicit formula for the generating function of the generalized Catalan numbers which obviously implies a Vandermonde type convolution generalized by Gould. Furthermore, we also obtain a combinatorial sum involving a vector generalization of the Catalan numbers by an extension of our involution.
△ Less
Submitted 10 September, 2019;
originally announced September 2019.
-
D-chain tomography of networks: a new structure spectrum and an application to the SIR process
Authors:
Ricky X. F. Chen,
Christian M. Reidys,
Andrei C. Bura
Abstract:
The analysis of the dynamics on complex networks is closely connected to structural features of the networks. Features like, for instance, graph-cores and node degrees have been studied ubiquitously. Here we introduce the D-spectrum of a network, a novel new framework that is based on a collection of nested chains of subgraphs within the network. Graph-cores and node degrees are merely from two pa…
▽ More
The analysis of the dynamics on complex networks is closely connected to structural features of the networks. Features like, for instance, graph-cores and node degrees have been studied ubiquitously. Here we introduce the D-spectrum of a network, a novel new framework that is based on a collection of nested chains of subgraphs within the network. Graph-cores and node degrees are merely from two particular such chains of the D-spectrum. Each chain gives rise to a ranking of nodes and, for a fixed node, the collection of these ranks provides us with the D-spectrum of the node. Besides a node deletion algorithm, we discover a connection between the D-spectrum of a network and some fixed points of certain graph dynamical systems (MC systems) on the network. Using the D-spectrum we identify nodes of similar spreading power in the susceptible-infectious-recovered (SIR) model on a collection of real world networks as a quick application. We then discuss our results and conclude that D-spectra represent a meaningful augmentation of graph-cores and node degrees.
△ Less
Submitted 27 April, 2019; v1 submitted 12 October, 2018;
originally announced October 2018.
-
Garden-of-Eden states and fixed points of monotone dynamical systems
Authors:
Ricky X. F. Chen,
Henning S. Mortveit,
Christian M. Reidys
Abstract:
In this paper we analyze Garden-of-Eden (GoE) states and fixed points of monotone, sequential dynamical systems (SDS). For any monotone SDS and fixed update schedule, we identify a particular set of states, each state being either a GoE state or reaching a fixed point, while both determining if a state is a GoE state and finding out all fixed points are generally hard. As a result, we show that th…
▽ More
In this paper we analyze Garden-of-Eden (GoE) states and fixed points of monotone, sequential dynamical systems (SDS). For any monotone SDS and fixed update schedule, we identify a particular set of states, each state being either a GoE state or reaching a fixed point, while both determining if a state is a GoE state and finding out all fixed points are generally hard. As a result, we show that the maximum size of their limit cycles is strictly less than ${n\choose \lfloor n/2 \rfloor}$. We connect these results to the Knaster-Tarski theorem and the LYM inequality. Finally, we establish that there exist monotone, parallel dynamical systems (PDS) that cannot be expressed as monotone SDS, despite the fact that the converse is always true.
△ Less
Submitted 8 May, 2018;
originally announced May 2018.
-
A Brief Introduction to Shannon's Information Theory
Authors:
Ricky X. F. Chen
Abstract:
This article serves as a brief introduction to the Shannon information theory. Concepts of information, Shannon entropy and channel capacity are mainly covered. All these concepts are developed in a totally combinatorial flavor. Some issues usually not addressed in the literature are discussed here as well. In particular, we show that it seems we can define channel capacity differently which allow…
▽ More
This article serves as a brief introduction to the Shannon information theory. Concepts of information, Shannon entropy and channel capacity are mainly covered. All these concepts are developed in a totally combinatorial flavor. Some issues usually not addressed in the literature are discussed here as well. In particular, we show that it seems we can define channel capacity differently which allows us to potentially transmit more messages in a fixed sufficient long time duration. However, for a channel carrying a finite number of letters, the channel capacity unfortunately remains the same as the Shannon limit.
△ Less
Submitted 23 April, 2021; v1 submitted 20 December, 2016;
originally announced December 2016.
-
On a lower bound for sorting signed permutations by reversals
Authors:
Andrei C. Bura,
Ricky X. F. Chen,
Christian M. Reidys
Abstract:
Computing the reversal distances of signed permutations is an important topic in Bioinformatics. Recently, a new lower bound for the reversal distance was obtained via the plane permutation framework. This lower bound appears different from the existing lower bound obtained by Bafna and Pevzner through breakpoint graphs. In this paper, we prove that the two lower bounds are equal. Moreover, we con…
▽ More
Computing the reversal distances of signed permutations is an important topic in Bioinformatics. Recently, a new lower bound for the reversal distance was obtained via the plane permutation framework. This lower bound appears different from the existing lower bound obtained by Bafna and Pevzner through breakpoint graphs. In this paper, we prove that the two lower bounds are equal. Moreover, we confirm a related conjecture on skew-symmetric plane permutations, which can be restated as follows: let $p=(0,-1,-2,\ldots -n,n,n-1,\ldots 1)$ and let
$$
\tilde{s}=(0,a_1,a_2,\ldots a_n,-a_n,-a_{n-1},\ldots -a_1)
$$ be any long cycle on the set $\{-n,-n+1,\ldots 0,1,\ldots n\}$. Then, $n$ and $a_n$ are always in the same cycle of the product $p\tilde{s}$. Furthermore, we show the new lower bound via plane permutations can be interpreted as the topological genera of orientable surfaces associated to signed permutations.
△ Less
Submitted 22 June, 2017; v1 submitted 1 February, 2016;
originally announced February 2016.
-
On the local genus distribution of graph embeddings
Authors:
Ricky X. F. Chen,
Christian M. Reidys
Abstract:
The $2$-cell embeddings of graphs on closed surfaces have been widely studied. It is well known that ($2$-cell) embedding a given graph $G$ on a closed orientable surface is equivalent to cyclically ordering the edges incident to each vertex of $G$. In this paper, we study the following problem: given a genus $g$ embedding $ε$ of the graph $G$ and a vertex of $G$, how many different ways of reembe…
▽ More
The $2$-cell embeddings of graphs on closed surfaces have been widely studied. It is well known that ($2$-cell) embedding a given graph $G$ on a closed orientable surface is equivalent to cyclically ordering the edges incident to each vertex of $G$. In this paper, we study the following problem: given a genus $g$ embedding $ε$ of the graph $G$ and a vertex of $G$, how many different ways of reembedding the vertex such that the resulting embedding $ε'$ is of genus $g+Δg$? We give formulas to compute this quantity and the local minimal genus achieved by reembedding. In the process we obtain miscellaneous results. In particular, if there exists a one-face embedding of $G$, then the probability of a random embedding of $G$ to be one-face is at least $\prod_{ν\in V(G)}\frac{2}{deg(ν)+2}$, where $deg(ν)$ denotes the vertex degree of $ν$. Furthermore we obtain an easy-to-check necessary condition for a given embedding of $G$ to be an embedding of minimum genus.
△ Less
Submitted 11 January, 2016;
originally announced January 2016.
-
New formulas counting one-face maps and Chapuy's recursion
Authors:
Ricky X. F. Chen,
Christian M. Reidys
Abstract:
In this paper, we begin with the Lehman-Walsh formula counting one-face maps and construct two involutions on pairs of permutations to obtain a new formula for the number $A(n,g)$ of one-face maps of genus $g$. Our new formula is in the form of a convolution of the Stirling numbers of the first kind which immediately implies a formula for the generating function…
▽ More
In this paper, we begin with the Lehman-Walsh formula counting one-face maps and construct two involutions on pairs of permutations to obtain a new formula for the number $A(n,g)$ of one-face maps of genus $g$. Our new formula is in the form of a convolution of the Stirling numbers of the first kind which immediately implies a formula for the generating function $A_n(x)=\sum_{g\geq 0}A(n,g)x^{n+1-2g}$ other than the well-known Harer-Zagier formula. By reformulating our expression for $A_n(x)$ in terms of the backward shift operator $E: f(x)\rightarrow f(x-1)$ and proving a property satisfied by polynomials of the form $p(E)f(x)$, we easily establish the recursion obtained by Chapuy for $A(n,g)$. Moreover, we give a simple combinatorial interpretation for the Harer-Zagier recurrence.
△ Less
Submitted 21 April, 2017; v1 submitted 16 October, 2015;
originally announced October 2015.
-
Linear sequential dynamical systems, incidence algebras, and Möbius functions
Authors:
Ricky X. F. Chen,
Christian M. Reidys
Abstract:
A sequential dynamical system (SDS) consists of a graph, a set of local functions and an update schedule. A linear sequential dynamical system is an SDS whose local functions are linear. In this paper, we derive an explicit closed formula for any linear SDS as a synchronous dynamical system. We also show constructively, that any synchronous linear system can be expressed as a linear SDS, i.e. it c…
▽ More
A sequential dynamical system (SDS) consists of a graph, a set of local functions and an update schedule. A linear sequential dynamical system is an SDS whose local functions are linear. In this paper, we derive an explicit closed formula for any linear SDS as a synchronous dynamical system. We also show constructively, that any synchronous linear system can be expressed as a linear SDS, i.e. it can be written as a product of linear local functions. Furthermore, we study the connection between linear SDS and the incidence algebras of partially ordered sets (posets). Specifically, we show that the Möbius function of any poset can be computed via an SDS, whose graph is induced by the Hasse diagram of the poset. Finally, we prove a cut theorem for the Möbius functions of posets with respect to certain chain decompositions.
△ Less
Submitted 3 May, 2018; v1 submitted 16 October, 2015;
originally announced October 2015.
-
Variation of the local topological structure of graph embeddings
Authors:
Ricky X. F. Chen,
Christian M. Reidys
Abstract:
The $2$-cell embeddings of graphs on closed surfaces have been widely studied. It is well known that ($2$-cell) embedding a given graph $G$ on a closed orientable surface is equivalent to cyclically ordering the edges incident to each vertex of $G$. In this paper, we study the following problem: given a genus $g$ embedding $\mathbb{E}$ of the graph $G$, if we randomly rearrange the edges around a…
▽ More
The $2$-cell embeddings of graphs on closed surfaces have been widely studied. It is well known that ($2$-cell) embedding a given graph $G$ on a closed orientable surface is equivalent to cyclically ordering the edges incident to each vertex of $G$. In this paper, we study the following problem: given a genus $g$ embedding $\mathbb{E}$ of the graph $G$, if we randomly rearrange the edges around a vertex, i.e., re-embedding, what is the probability of the resulting embedding $\mathbb{E}'$ having genus $g+Δg$? We give a formula to compute this probability. Meanwhile, some other known and unknown results are also obtained. For example, we show that the probability of preserving the genus is at least $\frac{2}{deg(v)+2}$ for re-embedding any vertex $v$ of degree $deg(v)$ in a one-face embedding; and we obtain a necessary condition for a given embedding of $G$ to be an embedding with the minimum genus.
△ Less
Submitted 4 March, 2015;
originally announced March 2015.
-
A simple framework on sorting permutations
Authors:
Ricky X. F. Chen,
Christian M. Reidys
Abstract:
In this paper we present a simple framework to study various distance problems of permutations, including the transposition and block-interchange distance of permutations as well as the reversal distance of signed permutations. These problems are very important in the study of the evolution of genomes. We give a general formulation for lower bounds of the transposition and block-interchange distan…
▽ More
In this paper we present a simple framework to study various distance problems of permutations, including the transposition and block-interchange distance of permutations as well as the reversal distance of signed permutations. These problems are very important in the study of the evolution of genomes. We give a general formulation for lower bounds of the transposition and block-interchange distance from which the existing lower bounds obtained by Bafna and Pevzner, and Christie can be easily derived. As to the reversal distance of signed permutations, we translate it into a block-interchange distance problem of permutations so that we obtain a new lower bound. Furthermore, studying distance problems via our framework motivates several interesting combinatorial problems related to product of permutations, some of which are studied in this paper as well.
△ Less
Submitted 16 March, 2015; v1 submitted 27 February, 2015;
originally announced February 2015.
-
Plane permutations and applications to a result of Zagier-Stanley and distances of permutations
Authors:
Ricky X. F. Chen,
Christian M. Reidys
Abstract:
In this paper, we introduce plane permutations, i.e. pairs $\mathfrak{p}=(s,π)$ where $s$ is an $n$-cycle and $π$ is an arbitrary permutation, represented as a two-row array. Accordingly a plane permutation gives rise to three distinct permutations: the permutation induced by the upper horizontal ($s$), the vertical $π$) and the diagonal ($D_{\mathfrak{p}}$) of the array. The latter can also be vi…
▽ More
In this paper, we introduce plane permutations, i.e. pairs $\mathfrak{p}=(s,π)$ where $s$ is an $n$-cycle and $π$ is an arbitrary permutation, represented as a two-row array. Accordingly a plane permutation gives rise to three distinct permutations: the permutation induced by the upper horizontal ($s$), the vertical $π$) and the diagonal ($D_{\mathfrak{p}}$) of the array. The latter can also be viewed as the three permutations of a hypermap. In particular, a map corresponds to a plane permutation, in which the diagonal is a fixed point-free involution. We study the transposition action on plane permutations obtained by permuting their diagonal-blocks. We establish basic properties of plane permutations and study transpositions and exceedances and derive various enumerative results. In particular, we prove a recurrence for the number of plane permutations having a fixed diagonal and $k$ cycles in the vertical, generalizing Chapuy's recursion for maps filtered by the genus. As applications of this framework, we present a combinatorial proof of a result of Zagier and Stanley, on the number of $n$-cycles $ω$, for which the product $ω(1~2~\cdots ~n)$ has exactly $k$ cycles. Furthermore, we integrate studies on the transposition and block-interchange distance of permutations as well as the reversal distance of signed permutations. Plane permutations allow us to generalize and recover various lower bounds for transposition and block-interchange distances and to connect reversals with block-interchanges.
△ Less
Submitted 23 June, 2016; v1 submitted 26 February, 2015;
originally announced February 2015.
-
On plane permutations
Authors:
Ricky X. F. Chen,
Christian M. Reidys
Abstract:
In this paper we generalize permutations to plane permutations. We employ this framework to derive a combinatorial proof of a result of Zagier and Stanley, that enumerates the number of $n$-cycles $ω$, for which $ω(12\cdots n)$ has exactly $k$ cycles. This quantity is $0$, if $n-k$ is odd and $\frac{2C(n+1,k)}{n(n+1)}$, otherwise, where $C(n,k)$ is the unsigned Stirling number of the first kind. T…
▽ More
In this paper we generalize permutations to plane permutations. We employ this framework to derive a combinatorial proof of a result of Zagier and Stanley, that enumerates the number of $n$-cycles $ω$, for which $ω(12\cdots n)$ has exactly $k$ cycles. This quantity is $0$, if $n-k$ is odd and $\frac{2C(n+1,k)}{n(n+1)}$, otherwise, where $C(n,k)$ is the unsigned Stirling number of the first kind. The proof is facilitated by a natural transposition action on plane permutations which gives rise to various recurrences. Furthermore we study several distance problems of permutations. It turns out that plane permutations allow to study transposition and block-interchange distance of permutations as well as the reversal distance of signed permutations. Novel connections between these different distance problems are established via plane permutations.
△ Less
Submitted 16 March, 2015; v1 submitted 20 November, 2014;
originally announced November 2014.
-
Narayana polynomials and some generalizations
Authors:
Ricky X. F. Chen,
Christian M. Reidys
Abstract:
In this note, by counting some colored plane trees we obtain several binomial identities. These identities can be viewed as specific evaluations of certain generalizations of the Narayana polynomials. As consequences, it provides combinatorial proofs for a bijective problem in Stanley's collection "Bijective Proof Problems", a new formula for the Narayana polynomials as well as a new expression fo…
▽ More
In this note, by counting some colored plane trees we obtain several binomial identities. These identities can be viewed as specific evaluations of certain generalizations of the Narayana polynomials. As consequences, it provides combinatorial proofs for a bijective problem in Stanley's collection "Bijective Proof Problems", a new formula for the Narayana polynomials as well as a new expression for the Harer-Zagier formula enumerating unicellular maps, in a unified way. Furthermore, we identify a class of plane trees, whose enumeration is closely connected to the Schröder numbers. Many other binomial identities are presented as well.
△ Less
Submitted 12 December, 2015; v1 submitted 10 November, 2014;
originally announced November 2014.
