arxiv: v1 [math.co] 1 Apr 2013
|
|
- Priscilla Nash
- 6 years ago
- Views:
Transcription
1 Bijective counting of humps and peaks in (k, a)-paths arxiv: v1 [math.co] 1 Apr 2013 Sherry H. F. Yan Department of Mathematics, Zhejiang Normal University, Jinhua , P.R. China huifangyan@hotmail.com Abstract. Recently, Mansour and Shattuck related the total number of humps in all of the (k,a)-paths of order n to the number of super (k,a)-paths, which generalized previous results concerning thecases when k = 1 anda = 1 or a =. They also derived a relation on the total number of peaks in all of the (k,a)-paths of order n and the number of super (k,a)-paths, and asked for bijective proofs. In this paper, we will give bijective proofs of these two relations. Key words: (k, a)-path; hump; peak. AMS Mathematical Subject Classifications: 05A05, 05C30. 1 Introduction A(k,a)-pathofordernisalatticepathinZ Zfrom(0,0)to(n,0)using upsteps U = (1,k), down steps D = (1, 1)and horizontal steps H = (a,0) and never lying below the x-axis. Denote by P n (k,a) the set of all (k,a)-paths of order n. Note that P n (k, ), P n (1, ), P n (1,1), and P n (1,2) are the set of k-ary paths, Dyck paths, Motzkin paths and schröder paths, respectively. If a (k, a)-path of order n is allowed to go below the x-axis, then it is called a super (k,a)-path of order n. Denote by SP n (k,a) the set of all super (k,a)-paths of order n. A peak in a (k,a)-path is any two consecutive steps UD. A hump in a (k,a)-path is an up step followed by zero or more horizontal steps followed by a down step. We denote by #Peaks(P) and #Humps(P) the number of peaks and humps in a path P. Using a recurrence relation and the WZ method, Regev [3] proved that 2 #Humps(P) = SP n (1,1) 1. (1.1) P P n(1,1) 2 #Peaks(P) = SP n (1, ) (1.2) P P n(1, ) 1
2 The bijective proofs of Formulas (1.1) and (1.2) was given by Ding and Du [1]. They also derived the following analogous result for Schröder paths 2 #Humps(P) = SP n (1,2) 1 (1.3) P P n(1,2) Recently, Mansour and Shattuck [2] proved that (k +1) #Humps(P) = SP n (k,a) δ a n, (1.4) (k +1) P P n(k,a) P P n(k,a) #Peaks(P) = SP n (k,a) SP n a (k,a), (1.5) where δ a n = 1 if a divides n or 0 otherwise, and asked for bijective proofs. Specializing k = 1 and a = 1, a = or a = 2 in Formulas (1.4) and (1.5) gives Formulas (1.1), (1.2) and (1.3). The main objective of this paper is to give bijective proofs of Formulas (1.4) and (1.5) in answer to the problem posed by Mansour and Shattuck. 2 The bijective proofs In this section, we will give bijective proofs of (1.4) and (1.5). We begin with some necessary definitions and notations. Let p be a step running from the point (x 1,y 1 ) to the point (x 2,y 2 ). Then we say that the point (x 1,y 1 ) is its starting point, and the point (x 2,y 2 ) is its ending point. The starting point and the ending point of a path are defined analogously. The height of a step is the y-coordinate of its ending point. Similarly, the height of a path is defined to be the height of its rightmost step. A (k,a)-path is said to be m-peak (resp. m-hump) colored if exactly one peak (resp. hump ) is assigned by any of the m colors. Denote by PP m n (k,a) (resp. PMm n (k,a) ) the set of all m-peak (resp. m-hump) colored (k, a)-paths. Let n,m 0. A partial (k,a)-path of order n is a path running from (0,0) to (n,m) using up steps (1,k), horizontal steps (a,0) and down steps (1, 1), and never lying below the x-axis. A (k,a)-path running from (0,0) to a point on the x-axis that never lies below the x-axis is said to be a perfect (k,a)-path. Let P = p 1 p 2...p n be a path. The reverse of the path, denoted by P r, is defined by p n p n 1...p 1. For example, let P = HUDDUDH. The reverse of P is HDUDDUH. Denote by H m the m consecutive horizontal steps. 2
3 Observe that the left-hand sides of (1.4) and (1.5) are equal to PM k+1 n (k, a) and PP k+1 n (k, a), respectively. Moreover, the right-hand side of (1.4) counts the number of super (k,a)-paths of order n and with at least one up step. The right-hand side of (1.5) counts the number of super (k,a)-paths of order n which do not end with horizontal steps. Denote by S n(k,a) and S n(k,a) the set of all super (k,a)-paths of order n and with at least one up step, and the set of all super (k, a)-paths of order n which do not end with horizontal steps, respectively. Thus Formulas (1.4) and (1.5) can be rewritten as PM k+1 n (k,a) = S n(k,a), (2.1) PP k+1 n (k,a) = S n(k,a). (2.2) InordertoproveFormulas(2.1)and(2.2), wewillestablishabijectionφbetween the set PM k+1 n (k,a) and the set S n(k,a). Moreover, we show that the map φ restricted to the set PP k+1 n (k,a) gives a bijection between the set PP k+1 n (k, a) and the set S n(k,a). Now we proceed to describe the map φ from the set PM k+1 n (k,a) to the set S n(k,a). Given a (k + 1)-hump colored (k,a)-path P = p 1 p 2...p n of order n, suppose that the colored hump is p l p l+1...p m = UH m l 1 D, which is colored by c. Assume that a 0 = 0. Then the path P can be uniquely decomposed as where Q 0 Q 1...Q d UH l m 1 DR d i=0 a i+k D...DR 2DR 1 (2.3) 1 a j k; Q 0 is a (possibly empty) perfect (k,a)-path; each R i is a (possibly empty) perfect (k,a)-path; for all j 1, each Q j is a partial (k,a)-path which starts with an up step, runs from (0,0) to the point on the line y = a j, and never goes below the line y = a j except for the first up step. Let S j = D(R bj 1 +1) r...d(r bj 1) r D(R bj ) r Q j, where b j = j i=0 a i. Then we define φ(p) as follows: 3
4 (i) if c = 1, then (ii) if c = k +1, then φ(p) = Q 0 S 1 S 2...S d UR bd +1DR bd +2...DR bd +kdh m l 1 ; φ(p) = Q 0 S 1 S 2...S d D(R bd +1) r D(R bd +2) r...d(r bd +k) r UH m l 1 ; (iii) if 1 < c < k, then φ(p) = Q 0 S 1 S 2...S d D(R bd +1) r D(R bd +2) r...d(r bd +c 1) r UR bd +cd...dr bd +k 1DR bd +kdh m l 1. According to the construction of the map φ, we preserve the number of up steps, the number of down steps and the number of horizontal steps. Moreover, there is at least one up step in the resulting path. Hence, the map φ is well defined, that is, φ(p) S n(k,a). Remark 2.1 Our map φ restricted to case when k = 1 is different from the bijection given by Ding and Du [1]. Example 2.2 An example of the decomposition of a (3,2)-path is shown in Figure 1, where the colored hump is marked by a star. We have P 1 = Q 0 Q 1, P 2 = Q 0 Q 1 Q 2, R 2 = R 5 = R 6 =, a 0 = 0, and a 1 = a 2 = 2. Suppose that the hump is colored by 2. By applying the map φ, we get its corresponding super (3,2)-path shown in Figure 2. Q 0 Q 1 Q 2 R 7 R 4 R 3 R 1 * Figure 1: The decomposition of a (3, 2)-path. In order to show that φ is a bijection, we describe a map ψ from the set S n,k to the set PM k+1 n (k,a). Given a super (k,a)-path Q S n(k,a), suppose that its rightmost up step that intersects the x-axis is running from the point on the line y = p to the point on the line y = q. We proceed to construct ψ(q) as follows. 4
5 Q 0 (R 1 ) r Q 1 (R 3 ) r (R 4 ) r Q 2 R 7 Figure 2: The application of φ to the path shown in Figure 1. (i ) If q > 0 and p = 0, the Q can be uniquely decomposed as where Q = V 0 V 1...V d UR 1 DR 2...DR k DH l, V 0 is a (possibly empty ) perfect (k,a)-path; each R j is a (possibly empty) perfect (k,a)-path; for all j 1, each V j is a super (k,a)-path such that by figuring out its leftmost up step that intersects the x-axis, V j can be uniquely decomposed as D(R (j) 1 )r D(R (j) 2 )r...d(r (j) c j ) r UT j such that 1 c j k, each R (j) i is a (possibly empty) perfect (k, a)- path, and the path UT j is partial (k,a)-path which runs from (0,0) to the point on the line y = c j and never goes below the line y = c j except for the first up step. Then set ψ(q) = V 0 UT 1 UT 2...UT d UH l DR k...dr 2 DR 1 W d W d 1...W 1, where the hump UH l D is colored by 1 and for all j 1. W j = DR c (j) j...dr (j) 2 DR(j) 1 5
6 (ii ) If q = 0, then Q can be uniquely decomposed as Then set Q = V 0 V 1...V d D(R 1 ) r D(R 2 ) r...d(r k ) r UH l. ψ(q) = V 0 UT 1 UT 2...UT d UH l DR k...dr 2 DR 1 W d W d 1...W 1, where the hump UH l D is colored by k +1. (iii ) If q > 0 and p < 0, then Q can be uniquely decomposed as Then set Q = V 0 V 1...V d D(R 1 ) r D(R 2 ) r...d(r p ) r UR p +1 D...DR k DH l. ψ(q) = V 0 UT 1 UT 2...UT d UH l DR k...dr 2 DR 1 W d W d 1...W 1, where the hump UH l D is colored by p +1. Since each UT j is running from(0,0)to the point onthe line y = c j, and never goes below the line y = c j except for the first up step, the path V 0 UT 1 UT 2...UT d is a partial path running from (0,0) to the point on the line y = d i=1 c i. Thus, ψ(q) is a (k,a)-path running from (0,0) to (n,0). Moreover, it is easily seen that exactly one hump of ψ(q) is colored by any of the k + 1 colors. Thus the map ψ is well defined. In order to show that the maps φ and ψ are inverses of each other. We need to show the following lemma. Lemma 2.3 Let P PM k+1 n (k,a). Suppose that P is decomposed as Formula 2.3. Then for all j 1, the path S j is a super (k,a)-path such that by figuring out its leftmost up step that intersects the x-axis, it can be uniquely decomposed as S j = X j UY j satisfying that and UY j = Q j. Proof. Recall that X j = D(R bj 1 +1) r...d(r bj 1) r D(R bj ) r S j = D(R bj 1 +1) r...d(r bj 1) r D(R bj ) r Q j. This implies that the leftmost up step that intersects the x-axis is positioned in Q j. Note that Q j is a path which starts with an up step, runs from (0,0) to the 6
7 point on the line y = a j, which do not go below the line y = a j except for the first up step. This implies that the path S j is a super (k,a)-path. Since we have 1 a j k, the leftmost up step of S j that intersects the x-axis should be the first step of Q j. This completes the proof. Lemma 2.3 guarantee that the maps φ and ψ are inverses of each other. Thus we deduce the following result. Theorem 2.4 The map φ is a bijection between the set PM k+1 n (k,a) and the set S n (k,a). Moreover, for any P PMk+1 n (k, a) whose colored hump consists of UH l D, the corresponding super (k,a)-path φ(p) is ending with exactly l consecutive horizontal steps. FromTheorem2.4,itfollowsthatthebijectionφrestrictedtothesetPP k+1 n (k, a) reduces to a bijection between the set PP k+1 n (k,a) and the set S n (k,a). Thus we get bijective proofs of Formulas (1.4) and (1.5). Acknowledgments. The author was supported by the National Natural Science Foundation of China (No ). References [1] Y. Ding, R.R.X. Du, Counting humps in Motzkin paths, Discrete Appl. Math. 160 (2012), [2] T. Mansour, N. Shattuck, Counting humps and peaks in generalized Motzkin paths, Discrete Appl. Math. (2013), [3] A. Regev, Humps for Dyck paths and for Motzkin paths, Preprint, arxiv: math.co v1. 7
Self-dual interval orders and row-fishburn matrices
Self-dual interval orders and row-fishburn matrices Sherry H. F. Yan Department of Mathematics Zhejiang Normal University Jinhua 321004, P.R. China huifangyan@hotmail.com Yuexiao Xu Department of Mathematics
More informationOn a refinement of Wilf-equivalence for permutations
On a refinement of Wilf-equivalence for permutations Sherry H. F. Yan Department of Mathematics Zhejiang Normal University Jinhua 321004, P.R. China huifangyan@hotmail.com Yaqiu Zhang Department of Mathematics
More informationAnimals and 2-Motzkin Paths
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol 8 (2005), Article 0556 Animals and 2-Motzkin Paths Wen-jin Woan 1 Department of Mathematics Howard University Washington, DC 20059 USA wwoan@howardedu
More informationCombinatorial proofs of addition formulas
Combinatorial proofs of addition formulas Xiang-Ke Chang Xing-Biao Hu LSEC, ICMSEC, Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing, China Hongchuan Lei College of Science
More informationarxiv:math/ v1 [math.co] 2 Oct 2002
PARTIALLY ORDERED GENERALIZED PATTERNS AND k-ary WORDS SERGEY KITAEV AND TOUFIK MANSOUR arxiv:math/020023v [math.co] 2 Oct 2002 Matematik, Chalmers tekniska högskola och Göteborgs universitet, S-42 96
More informationA bijective proof of Shapiro s Catalan convolution
A bijective proof of Shapiro s Catalan convolution Péter Hajnal Bolyai Institute University of Szeged Szeged, Hungary Gábor V. Nagy {hajnal,ngaba}@math.u-szeged.hu Submitted: Nov 26, 2013; Accepted: May
More informationEquivalence Classes of Motzkin Paths Modulo a Pattern of Length at Most Two
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 18 (2015), Article 15.7.1 Equivalence Classes of Motzkin Paths Modulo a Pattern of Length at Most Two Jean-Luc Baril and Armen Petrossian LE2I UMR CNRS
More informationON MULTI-AVOIDANCE OF RIGHT ANGLED NUMBERED POLYOMINO PATTERNS
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 4 (2004), #A21 ON MULTI-AVOIDANCE OF RIGHT ANGLED NUMBERED POLYOMINO PATTERNS Sergey Kitaev Department of Mathematics, University of Kentucky,
More informationDyck paths with a first return decomposition constrained by height
Dyck paths with a first return decomposition constrained by height Jean-Luc Baril, Sergey Kirgizov and Armen Petrossian LEI UMR-CNRS 6306, Université de Bourgogne B.P. 47 870, 1078 DIJON-Cede France e-mail:{barjl,sergey.kirgizov,armen.petrossian}@u-bourgogne.fr
More informationRestricted Motzkin permutations, Motzkin paths, continued fractions, and Chebyshev polynomials
Discrete Mathematics 305 (2005) 70 89 wwwelseviercom/locate/disc Restricted Motzkin permutations, Motzkin paths, continued fractions, and Chebyshev polynomials Sergi Elizalde a, Toufik Mansour b a Department
More informationarxiv: v1 [math.co] 25 Jun 2014
THE NON-PURE VERSION OF THE SIMPLEX AND THE BOUNDARY OF THE SIMPLEX NICOLÁS A. CAPITELLI arxiv:1406.6434v1 [math.co] 25 Jun 2014 Abstract. We introduce the non-pure versions of simplicial balls and spheres
More informationA combinatorial bijection on k-noncrossing partitions
A combinatorial bijection on k-noncrossing partitions KAIST Korea Advanced Institute of Science and Technology 2018 JMM Special Session in honor of Dennis Stanton January 10, 09:30 09:50 I would like to
More informationSome statistics on permutations avoiding generalized patterns
PUMA Vol 8 (007), No 4, pp 7 Some statistics on permutations avoiding generalized patterns Antonio Bernini Università di Firenze, Dipartimento di Sistemi e Informatica, viale Morgagni 65, 504 Firenze,
More informationAbout sunflowers. Óbuda University Bécsi út 96, Budapest, Hungary, H-1037 April 27, 2018
arxiv:1804.10050v1 [math.co] 26 Apr 2018 About sunflowers Gábor Hegedűs Óbuda University Bécsi út 96, Budapest, Hungary, H-1037 hegedus.gabor@nik.uni-obuda.hu April 27, 2018 Abstract Alon, Shpilka and
More informationAVOIDING PERMUTATIONS AND THE NARAYANA NUMBERS
J Korean Math Soc 50 (2013, No 3, pp 529 541 http://dxdoiorg/104134/jkms2013503529 AVOIDING PERMUTATIONS AND THE NARAYANA NUMBERS Youngja Park and Seungkyung Park Abstract We study 132 avoiding permutations
More informationarxiv: v1 [math.co] 30 Mar 2010
arxiv:1003.5939v1 [math.co] 30 Mar 2010 Generalized Fibonacci recurrences and the lex-least De Bruijn sequence Joshua Cooper April 1, 2010 Abstract Christine E. Heitsch The skew of a binary string is the
More informationEQUIDISTRIBUTIONS OF MAHONIAN STATISTICS OVER PATTERN AVOIDING PERMUTATIONS (EXTENDED ABSTRACT)
EQUIDISTRIBUTIONS OF MAHONIAN STATISTICS OVER PATTERN AVOIDING PERMUTATIONS (EXTENDED ABSTRACT) NIMA AMINI 1. Introduction A Mahonian d-function is a Mahonian statistic that can be expressed as a linear
More informationA Combinatorial Proof of the Recurrence for Rook Paths
A Combinatorial Proof of the Recurrence for Rook Paths Emma Yu Jin and Markus E. Nebel Department of Computer Science niversity of Kaiserslautern, Germany {jin,nebel}@cs.uni-kl.de Submitted: Feb 23, 2012;
More informationA Simple and Unusual Bijection for Dyck Paths and its Consequences
Annals of Combinatorics 7 (2003) 1-0218-0006/03/020001-17 c Birkhäuser Verlag, Basel, 2003 Annals of Combinatorics A Simple and Unusual Bijection for Dyck Paths and its Consequences Sergi Elizalde 1 and
More informationA NEW COMBINATORIAL FORMULA FOR CLUSTER MONOMIALS OF EQUIORIENTED TYPE A QUIVERS
A NEW COMBINATORIAL FORMULA FOR CLUSTER MONOMIALS OF EQUIORIENTED TYPE A QUIVERS D. E. BAYLERAN, DARREN J. FINNIGAN, ALAA HAJ ALI, KYUNGYONG LEE, CHRIS M. LOCRICCHIO, MATTHEW R. MILLS, DANIEL PUIG-PEY
More informationFix-Mahonian Calculus, I: two transformations. Dominique Foata and Guo-Niu Han
2007/08/29/14:15 Fix-Mahonian Calculus, I: two transformations Dominique Foata and Guo-Niu Han Tu es Petrus, et super hanc petram, aedificavisti Lacim Uqam tuam. To Pierre Leroux, Montreal, Sept. 2006,
More informationd-regular SET PARTITIONS AND ROOK PLACEMENTS
Séminaire Lotharingien de Combinatoire 62 (2009), Article B62a d-egula SET PATITIONS AND OOK PLACEMENTS ANISSE KASAOUI Université de Lyon; Université Claude Bernard Lyon 1 Institut Camille Jordan CNS UM
More informationarxiv: v1 [math.co] 22 Jan 2013
NESTED RECURSIONS, SIMULTANEOUS PARAMETERS AND TREE SUPERPOSITIONS ABRAHAM ISGUR, VITALY KUZNETSOV, MUSTAZEE RAHMAN, AND STEPHEN TANNY arxiv:1301.5055v1 [math.co] 22 Jan 2013 Abstract. We apply a tree-based
More informationMath 210 Exam 2 - Practice Problems. 1. For each of the following, determine whether the statement is True or False.
Math 20 Exam 2 - Practice Problems. For each of the following, determine whether the statement is True or False. (a) {a,b,c,d} TRE (b) {a,b,c,d} FLSE (c) {a,b, } TRE (d) {a,b, } TRE (e) {a,b} {a,b} FLSE
More informationThe Doyen-Wilson theorem for 3-sun systems
arxiv:1705.00040v1 [math.co] 28 Apr 2017 The Doyen-Wilson theorem for 3-sun systems Giovanni Lo Faro Dipartimento di Scienze Matematiche e Informatiche, Scienze Fisiche e Scienze della Terra Università
More informationHarmonic Mappings and Shear Construction. References. Introduction - Definitions
Harmonic Mappings and Shear Construction KAUS 212 Stockholm, Sweden Tri Quach Department of Mathematics and Systems Analysis Aalto University School of Science Joint work with S. Ponnusamy and A. Rasila
More informationASYMPTOTIC ENUMERATION OF PERMUTATIONS AVOIDING GENERALIZED PATTERNS
ASYMPTOTIC ENUMERATION OF PERMUTATIONS AVOIDING GENERALIZED PATTERNS SERGI ELIZALDE Abstract. Motivated by the recent proof of the Stanley-Wilf conjecture, we study the asymptotic behavior of the number
More informationA proof of the Square Paths Conjecture
A proof of the Square Paths Conjecture Emily Sergel Leven October 7, 08 arxiv:60.069v [math.co] Jan 06 Abstract The modified Macdonald polynomials, introduced by Garsia and Haiman (996), have many astounding
More informationPOSITIVE MAP AS DIFFERENCE OF TWO COMPLETELY POSITIVE OR SUPER-POSITIVE MAPS
Adv. Oper. Theory 3 (2018), no. 1, 53 60 http://doi.org/10.22034/aot.1702-1129 ISSN: 2538-225X (electronic) http://aot-math.org POSITIVE MAP AS DIFFERENCE OF TWO COMPLETELY POSITIVE OR SUPER-POSITIVE MAPS
More informationBounds on parameters of minimally non-linear patterns
Bounds on parameters of minimally non-linear patterns P.A. CrowdMath Department of Mathematics Massachusetts Institute of Technology Massachusetts, U.S.A. crowdmath@artofproblemsolving.com Submitted: Jan
More informationNOTES ON PLANAR SEMIMODULAR LATTICES. IV. THE SIZE OF A MINIMAL CONGRUENCE LATTICE REPRESENTATION WITH RECTANGULAR LATTICES
NOTES ON PLANAR SEMIMODULAR LATTICES. IV. THE SIZE OF A MINIMAL CONGRUENCE LATTICE REPRESENTATION WITH RECTANGULAR LATTICES G. GRÄTZER AND E. KNAPP Abstract. Let D be a finite distributive lattice with
More informationSequences that satisfy a(n a(n)) = 0
Sequences that satisfy a(n a(n)) = 0 Nate Kube Frank Ruskey October 13, 2005 Abstract We explore the properties of some sequences for which a(n a(n)) = 0. Under the natural restriction that a(n) < n the
More informationOrdered trees and the inorder traversal
Discrete Mathematics 306 (006) 173 1741 www.elsevier.com/locate/disc Ordered trees and the inorder traversal A. Sapounakis, I. Tasoulas, P. Tsikouras Department of Informatics, University of Piraeus, 18534
More informationarxiv: v1 [math.co] 25 Nov 2018
The Unimodality of the Crank on Overpartitions Wenston J.T. Zang and Helen W.J. Zhang 2 arxiv:8.003v [math.co] 25 Nov 208 Institute of Advanced Study of Mathematics Harbin Institute of Technology, Heilongjiang
More informationTILING PROOFS OF SOME FORMULAS FOR THE PELL NUMBERS OF ODD INDEX
#A05 INTEGERS 9 (2009), 53-64 TILING PROOFS OF SOME FORMULAS FOR THE PELL NUMBERS OF ODD INDEX Mark Shattuck Department of Mathematics, University of Tennessee, Knoxville, TN 37996-1300 shattuck@math.utk.edu
More informationAN INVESTIGATION OF THE CHUNG-FELLER THEOREM AND SIMILAR COMBINATORIAL IDENTITIES
AN INVESTIGATION OF THE CHUNG-FELLER THEOREM AND SIMILAR COMBINATORIAL IDENTITIES ELI A. WOLFHAGEN Abstract. In this paper, we shall prove the Chung-Feller Theorem in multiple ways as well as extend its
More informationOn certain combinatorial expansions of the Legendre-Stirling numbers
On certain combinatorial expansions of the Legendre-Stirling numbers Shi-Mei Ma School of Mathematics and Statistics Northeastern University at Qinhuangdao Hebei, P.R. China shimeimapapers@163.com Yeong-Nan
More informationCounting permutations by cyclic peaks and valleys
Annales Mathematicae et Informaticae 43 (2014) pp. 43 54 http://ami.ektf.hu Counting permutations by cyclic peaks and valleys Chak-On Chow a, Shi-Mei Ma b, Toufik Mansour c Mark Shattuck d a Division of
More informationSTABLE CLUSTER VARIABLES
STABLE CLUSTER VARIABLES GRACE ZHANG Abstract. Eager and Franco introduced a transformation on the F-polynomials of Fomin and Zelevinsky that seems to display a surprising stabilization property in the
More informationA PROOF OF PIERI S FORMULA USING GENERALIZED SCHENSTED INSERTION ALGORITHM FOR RC-GRAPHS.
A PROOF OF PIERI S FORMULA USING GENERALIZED SCHENSTED INSERTION ALGORITHM FOR RC-GRAPHS. MIKHAIL KOGAN AND ABHINAV KUMAR Abstract. We provide a generalization of the Schensted insertion algorithm for
More informationHOW TO DECOMPOSE A PERMUTATION INTO A PAIR OF LABELED DYCK PATHS BY PLAYING A GAME
HOW TO DECOMPOSE A PERMUTATION INTO A PAIR OF LABELED DYCK PATHS BY PLAYING A GAME LOUIS J. BILLERA, LIONEL LEVINE AND KAROLA MÉSZÁROS arxiv:306.6744v [math.co] 28 Jun 203 Abstract. We give a bijection
More informationA Simple Proof of the Aztec Diamond Theorem
A Simple Proof of the Aztec Diamond Theorem Sen-Peng Eu Department of Applied Mathematics National University of Kaohsiung Kaohsiung 811, Taiwan, ROC speu@nuk.edu.tw Tung-Shan Fu Mathematics Faculty National
More informationA Combinatorial Interpretation of the Numbers 6 (2n)! /n! (n + 2)!
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 8 (2005), Article 05.2.3 A Combinatorial Interpretation of the Numbers 6 (2n)! /n! (n + 2)! Ira M. Gessel 1 and Guoce Xin Department of Mathematics Brandeis
More informationDISTANCE LABELINGS: A GENERALIZATION OF LANGFORD SEQUENCES. 1. Introduction
DISTANCE LABELINGS: A GENERALIZATION OF LANGFORD SEQUENCES S. C. LÓPEZ AND F. A. MUNTANER-BATLE Abstract. A Langford sequence of order m and defect d can be identified with a labeling of the vertices of
More informationA BIJECTION BETWEEN WELL-LABELLED POSITIVE PATHS AND MATCHINGS
Séminaire Lotharingien de Combinatoire 63 (0), Article B63e A BJECTON BETWEEN WELL-LABELLED POSTVE PATHS AND MATCHNGS OLVER BERNARD, BERTRAND DUPLANTER, AND PHLPPE NADEAU Abstract. A well-labelled positive
More informationOn two conjectures about the proper connection number of graphs
On two conjectures about the proper connection number of graphs Fei Huang, Xueliang Li, Zhongmei Qin Center for Combinatorics and LPMC arxiv:1602.07163v3 [math.co] 28 Mar 2016 Nankai University, Tianjin
More informationarxiv: v1 [math.co] 2 Dec 2008
An algorithmic Littlewood-Richardson rule arxiv:08.0435v [math.co] Dec 008 Ricky Ini Liu Massachusetts Institute of Technology Cambridge, Massachusetts riliu@math.mit.edu June, 03 Abstract We introduce
More informationLARGE SCHRÖDER PATHS BY TYPES AND SYMMETRIC FUNCTIONS
Bull. Korean Math. Soc. 51 (2014), No. 4, pp. 1229 1240 http://dx.doi.org/10.4134/bkms.2014.51.4.1229 LARGE SCHRÖDER PATHS BY TYPES AND SYMMETRIC FUNCTIONS Su Hyung An, Sen-Peng Eu, and Sangwook Kim Abstract.
More informationNOTES ON PLANAR SEMIMODULAR LATTICES. IV. THE SIZE OF A MINIMAL CONGRUENCE LATTICE REPRESENTATION WITH RECTANGULAR LATTICES
NOTES ON PLANAR SEMIMODULAR LATTICES. IV. THE SIZE OF A MINIMAL CONGRUENCE LATTICE REPRESENTATION WITH RECTANGULAR LATTICES G. GRÄTZER AND E. KNAPP Abstract. Let D be a finite distributive lattice with
More informationarxiv:math/ v1 [math.co] 4 Mar 2007
2006/11/29/14:15 arxiv:math/0703099v1 [math.co] 4 Mar 2007 Fix-Mahonian Calculus, I: two transformations Dominique Foata and Guo-Niu Han Tu es Petrus, et super hanc petram, aedificavisti Lacim Uqam tuam.
More informationSpanning Trees in Grid Graphs
Spanning Trees in Grid Graphs Paul Raff arxiv:0809.2551v1 [math.co] 15 Sep 2008 July 25, 2008 Abstract A general method is obtained for finding recurrences involving the number of spanning trees of grid
More informationarxiv: v1 [math.co] 11 Aug 2015
arxiv:1508.02762v1 [math.co] 11 Aug 2015 A Family of the Zeckendorf Theorem Related Identities Ivica Martinjak Faculty of Science, University of Zagreb Bijenička cesta 32, HR-10000 Zagreb, Croatia Abstract
More informationSmall Label Classes in 2-Distinguishing Labelings
Also available at http://amc.imfm.si ISSN 1855-3966 (printed ed.), ISSN 1855-3974 (electronic ed.) ARS MATHEMATICA CONTEMPORANEA 1 (2008) 154 164 Small Label Classes in 2-Distinguishing Labelings Debra
More informationarxiv: v1 [math.co] 8 Feb 2014
COMBINATORIAL STUDY OF THE DELLAC CONFIGURATIONS AND THE q-extended NORMALIZED MEDIAN GENOCCHI NUMBERS ANGE BIGENI arxiv:1402.1827v1 [math.co] 8 Feb 2014 Abstract. In two recent papers (Mathematical Research
More informationarxiv: v2 [quant-ph] 5 Dec 2013
Decomposition of quantum gates Chi Kwong Li and Diane Christine Pelejo Department of Mathematics, College of William and Mary, Williamsburg, VA 23187, USA E-mail: ckli@math.wm.edu, dcpelejo@gmail.com Abstract
More informationarxiv: v1 [math.co] 6 Jan 2017
Domination in intersecting hypergraphs arxiv:70.0564v [math.co] 6 Jan 207 Yanxia Dong, Erfang Shan,2, Shan Li, Liying Kang Department of Mathematics, Shanghai University, Shanghai 200444, P.R. China 2
More informationSolutions to Exercises 4
Discrete Mathematics Lent 29 MA2 Solutions to Eercises 4 () Define sequence (b n ) n by b n ( n n..., where we use n ) for > n. Verify that b, b 2 2, and that, for every n 3, we have b n b n b n 2. Solution.
More informationDecreasing Subsequences in Permutations and Wilf Equivalence for Involutions
Journal of Algebraic Combinatorics, 22, 383 409, 2005 c 2005 Springer Science + Business Media, Inc. Manufactured in The Netherlands. Decreasing Subsequences in Permutations and Wilf Equivalence for Involutions
More informationON THE NUMBER OF COMPONENTS OF A GRAPH
Volume 5, Number 1, Pages 34 58 ISSN 1715-0868 ON THE NUMBER OF COMPONENTS OF A GRAPH HAMZA SI KADDOUR AND ELIAS TAHHAN BITTAR Abstract. Let G := (V, E be a simple graph; for I V we denote by l(i the number
More informationEnumeration of subtrees of trees
Enumeration of subtrees of trees Weigen Yan a,b 1 and Yeong-Nan Yeh b a School of Sciences, Jimei University, Xiamen 36101, China b Institute of Mathematics, Academia Sinica, Taipei 1159. Taiwan. Theoretical
More informationarxiv: v1 [math.co] 6 Jun 2014
WIELAND GYRATION FOR TRIANGULAR FULLY PACKED LOOP CONFIGURATIONS SABINE BEIL, ILSE FISCHER, AND PHILIPPE NADEAU arxiv:1406.1657v1 [math.co] 6 Jun 2014 Abstract. Triangular fully packed loop configurations
More informationDiscrete Applied Mathematics
Discrete Applied Mathematics 157 (2009 1696 1701 Contents lists available at ScienceDirect Discrete Applied Mathematics journal homepage: www.elsevier.com/locate/dam Riordan group involutions and the -sequence
More informationTHE CYCLIC DOUGLAS RACHFORD METHOD FOR INCONSISTENT FEASIBILITY PROBLEMS
THE CYCLIC DOUGLAS RACHFORD METHOD FOR INCONSISTENT FEASIBILITY PROBLEMS JONATHAN M. BORWEIN AND MATTHEW K. TAM Abstract. We analyse the behaviour of the newly introduced cyclic Douglas Rachford algorithm
More informationOn Weak Chromatic Polynomials of Mixed Graphs
On Weak Chromatic Polynomials of Mixed Graphs Daniel Blado California Institute of Technology Joseph Crawford Morehouse College July 27, 2012 Taïna Jean-Louis Amherst College Abstract Modeling of metabolic
More informationA proof of the Square Paths Conjecture
A proof of the Square Paths Conjecture Emily Sergel Leven arxiv:60.069v [math.co] Mar 06 March, 06 Abstract The modified Macdonald polynomials, introduced by Garsia and Haiman (996), have many astounding
More informationOrthogonal Complements
Orthogonal Complements Definition Let W be a subspace of R n. If a vector z is orthogonal to every vector in W, then z is said to be orthogonal to W. The set of all such vectors z is called the orthogonal
More informationPostorder Preimages. arxiv: v3 [math.co] 2 Feb Colin Defant 1. 1 Introduction
Discrete Mathematics and Theoretical Computer Science DMTCS vol. 19:1, 2017, #3 Postorder Preimages arxiv:1604.01723v3 [math.co] 2 Feb 2017 1 University of Florida Colin Defant 1 received 7 th Apr. 2016,
More informationCovering a Chessboard with Staircase Walks
Covering a Chessboard with Staircase Walks Eyal Ackerman Rom Pinchasi July 22, 2013 Abstract An ascending (resp., descending) staircase walk on a chessboard is a rook s path that goes either right or up
More informationarxiv:math/ v1 [math.co] 6 Oct 2006
A BIJECTION BETWEEN -TRIANGULATIONS AND PAIRS OF NON-CROSSING DYCK PATHS arxiv:math/00v math.co Oct 00 SERGI ELIZALDE Abstract A k-triangulation of a convex polygon is a maximal set of diagonals so that
More informationPartition of Integers into Distinct Summands with Upper Bounds. Partition of Integers into Even Summands. An Example
Partition of Integers into Even Summands We ask for the number of partitions of m Z + into positive even integers The desired number is the coefficient of x m in + x + x 4 + ) + x 4 + x 8 + ) + x 6 + x
More informationOn the symmetry of the distribution of k-crossings and k-nestings in graphs
On the symmetry of the distribution of k-crossings and k-nestings in graphs Anna de Mier Submitted: Oct 11, 2006; Accepted: Nov 7, 2006; Published: Nov 23, 2006 Mathematics Subject Classification: 05A19
More informationarxiv: v1 [math.nt] 18 Jul 2012
Some remarks on Euler s totient function arxiv:107.4446v1 [math.nt] 18 Jul 01 R.Coleman Laboratoire Jean Kuntzmann Université de Grenoble Abstract The image of Euler s totient function is composed of the
More informationMath 461 Homework 8. Paul Hacking. November 27, 2018
Math 461 Homework 8 Paul Hacking November 27, 2018 (1) Let S 2 = {(x, y, z) x 2 + y 2 + z 2 = 1} R 3 be the sphere with center the origin and radius 1. Let N = (0, 0, 1) S 2 be the north pole. Let F :
More informationThe Gauss-Jordan Elimination Algorithm
The Gauss-Jordan Elimination Algorithm Solving Systems of Real Linear Equations A. Havens Department of Mathematics University of Massachusetts, Amherst January 24, 2018 Outline 1 Definitions Echelon Forms
More informationPattern avoidance in ascent sequences
Pattern avoidance in ascent sequences Paul Duncan 25 Vega Court Irvine, CA 92617, USA pauldncn@gmail.com Einar Steingrímsson Department of Computer and Information Sciences University of Strathclyde, Glasgow
More informationarxiv: v1 [math.co] 17 Dec 2007
arxiv:07.79v [math.co] 7 Dec 007 The copies of any permutation pattern are asymptotically normal Milós Bóna Department of Mathematics University of Florida Gainesville FL 36-805 bona@math.ufl.edu Abstract
More informationProperties of θ-super positive graphs
Properties of θ-super positive graphs Cheng Yeaw Ku Department of Mathematics, National University of Singapore, Singapore 117543 matkcy@nus.edu.sg Kok Bin Wong Institute of Mathematical Sciences, University
More information1 Maximum Budgeted Allocation
CS 369P: Polyhedral techniques in combinatorial optimization Instructor: Jan Vondrák Lecture date: November 4, 2010 Scribe: David Tobin 1 Maximum Budgeted Allocation Agents Items Given: n agents and m
More informationMath 461 Homework 8 Paul Hacking November 27, 2018
(1) Let Math 461 Homework 8 Paul Hacking November 27, 2018 S 2 = {(x, y, z) x 2 +y 2 +z 2 = 1} R 3 be the sphere with center the origin and radius 1. Let N = (0, 0, 1) S 2 be the north pole. Let F : S
More informationExpected Number of Distinct Subsequences in Randomly Generated Binary Strings
Expected Number of Distinct Subsequences in Randomly Generated Binary Strings arxiv:704.0866v [math.co] 4 Mar 08 Yonah Biers-Ariel, Anant Godbole, Elizabeth Kelley March 6, 08 Abstract When considering
More informationOscillation Criteria for Delay Neutral Difference Equations with Positive and Negative Coefficients. Contents
Bol. Soc. Paran. Mat. (3s.) v. 21 1/2 (2003): 1 12. c SPM Oscillation Criteria for Delay Neutral Difference Equations with Positive and Negative Coefficients Chuan-Jun Tian and Sui Sun Cheng abstract:
More informationOn the simplest expression of the perturbed Moore Penrose metric generalized inverse
Annals of the University of Bucharest (mathematical series) 4 (LXII) (2013), 433 446 On the simplest expression of the perturbed Moore Penrose metric generalized inverse Jianbing Cao and Yifeng Xue Communicated
More informationA Major Index for Matchings and Set Partitions
A Major Index for Matchings and Set Partitions William Y.C. Chen,5, Ira Gessel, Catherine H. Yan,6 and Arthur L.B. Yang,5,, Center for Combinatorics, LPMC Nankai University, Tianjin 0007, P. R. China Department
More informationIdentifying an m-ary Partition Identity through an m-ary Tree
Bridgewater State University Virtual Commons - Bridgewater State University Mathematics Faculty Publications Mathematics Department 06 Identifying an m-ary Partition Identity through an m-ary Tree Timothy
More informationPattern Avoidance of Generalized Permutations
Pattern Avoidance of Generalized Permutations arxiv:1804.06265v1 [math.co] 17 Apr 2018 Zhousheng Mei, Suijie Wang College of Mathematics and Econometrics Hunan University, Changsha, China. zhousheng@hnu.edu.cn,
More informationarxiv: v1 [math.co] 12 Jun 2008
ON THE EXCEDANCE SETS OF COLORED PERMUTATIONS arxiv:0806.2114v1 [math.co] 12 Jun 2008 ELI BAGNO, DAVID GARBER, AND ROBERT SHWARTZ Abstract. We define the excedence set and the excedance word on G r,n,
More informationarxiv: v1 [math.co] 20 Sep 2014
On some papers of Nikiforov Bo Ning Department of Applied Mathematics, School of Science, Northwestern Polytechnical University, Xi an, Shaanxi 71007, P.R. China arxiv:109.588v1 [math.co] 0 Sep 01 Abstract
More informationA Recursive Relation for Weighted Motzkin Sequences
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 8 (005), Article 05.1.6 A Recursive Relation for Weighted Motzkin Sequences Wen-jin Woan Department of Mathematics Howard University Washington, D.C. 0059
More informationLinear Classification: Linear Programming
Linear Classification: Linear Programming Yufei Tao Department of Computer Science and Engineering Chinese University of Hong Kong 1 / 21 Y Tao Linear Classification: Linear Programming Recall the definition
More informationPairs of a tree and a nontree graph with the same status sequence
arxiv:1901.09547v1 [math.co] 28 Jan 2019 Pairs of a tree and a nontree graph with the same status sequence Pu Qiao, Xingzhi Zhan Department of Mathematics, East China Normal University, Shanghai 200241,
More informationASYMPTOTIC STRUCTURE FOR SOLUTIONS OF THE NAVIER STOKES EQUATIONS. Tian Ma. Shouhong Wang
DISCRETE AND CONTINUOUS Website: http://aimsciences.org DYNAMICAL SYSTEMS Volume 11, Number 1, July 004 pp. 189 04 ASYMPTOTIC STRUCTURE FOR SOLUTIONS OF THE NAVIER STOKES EQUATIONS Tian Ma Department of
More informationarxiv: v3 [math.co] 1 Oct 2018
NON-SPANNING LATTICE 3-POLYTOPES arxiv:7.07603v3 [math.co] Oct 208 Abstract. We completely classify non-spanning 3-polytopes, by which we mean lattice 3-polytopes whose lattice points do not affinely span
More informationRESEARCH ARTICLE. Linear Magic Rectangles
Linear and Multilinear Algebra Vol 00, No 00, January 01, 1 7 RESEARCH ARTICLE Linear Magic Rectangles John Lorch (Received 00 Month 00x; in final form 00 Month 00x) We introduce a method for producing
More information12. Perturbed Matrices
MAT334 : Applied Linear Algebra Mike Newman, winter 208 2. Perturbed Matrices motivation We want to solve a system Ax = b in a context where A and b are not known exactly. There might be experimental errors,
More informationIntroduction to linear programming
Chapter 2 Introduction to linear programming 2.1 Single-objective optimization problem We study problems of the following form: Given a set S and a function f : S R, find, if possible, an element x S that
More informationLecture 14: The Rank-Nullity Theorem
Math 108a Professor: Padraic Bartlett Lecture 14: The Rank-Nullity Theorem Week 6 UCSB 2013 In today s talk, the last before we introduce the concept of matrices, we prove what is arguably the strongest
More informationarxiv: v1 [math.co] 1 Sep 2016
Statistics on bargraphs viewed as cornerless Motzkin paths Emeric Deutsch Sergi Elizalde arxiv:1609.00088v1 [math.co] 1 Sep 2016 September 2, 2016 Abstract A bargraph is a self-avoiding lattice path with
More informationLinked partitions and linked cycles
European Journal of Combinatorics 29 (2008) 1408 1426 www.elsevier.com/locate/ejc Linked partitions and linked cycles William Y.C. Chen a, Susan Y.J. Wu a, Catherine H. Yan a,b a Center for Combinatorics,
More informationSome Inequalities for Commutators of Bounded Linear Operators in Hilbert Spaces
Some Inequalities for Commutators of Bounded Linear Operators in Hilbert Spaces S.S. Dragomir Abstract. Some new inequalities for commutators that complement and in some instances improve recent results
More informationMatrix compositions. Emanuele Munarini. Dipartimento di Matematica Politecnico di Milano
Matrix compositions Emanuele Munarini Dipartimento di Matematica Politecnico di Milano emanuelemunarini@polimiit Joint work with Maddalena Poneti and Simone Rinaldi FPSAC 26 San Diego Motivation: L-convex
More information