Showing 1–25 of 25 results for author: Hanusa, C R H

A Triangulation of the Flow Polytope of the Zigzag Graph

Authors: Rachel Brunner, Christopher R. H. Hanusa

Abstract: We show that the dual graph of the triangulation of the flow polytope of the zigzag graph adorned with the length-reverse-length framing is a subgraph of a grid graph. Through Mészáros, Morales, and Striker's bijection between simplices of the triangulation, integer flows of a different, supplemental flow polytope, we provide a simple numerical characterization of the adjacency between the triangu… ▽ More We show that the dual graph of the triangulation of the flow polytope of the zigzag graph adorned with the length-reverse-length framing is a subgraph of a grid graph. Through Mészáros, Morales, and Striker's bijection between simplices of the triangulation, integer flows of a different, supplemental flow polytope, we provide a simple numerical characterization of the adjacency between the triangulation's simplices in terms of their corresponding integer flows. The proofs result from the development of Postnikov and Stanley's sequences of noncrossing bipartite trees as combinatorial objects we call groves. We propose two new statistics derived from this construction that we conjecture recover the $h^*$-polynomial of the flow polytope of the zigzag graph. △ Less

Submitted 28 June, 2024; originally announced June 2024.

Comments: 20 pages, 12 figures, 1 table

MSC Class: Primary: 05A19; 05C21; 52B12; 52B05; 52C07; Secondary: 05C05; 05C20; 05C30; 52A38; 52B11

Applying the Iterative Development Process: The Creation of Fractal Emergence

Authors: Christopher R. H. Hanusa, Eric Vergo

Abstract: The iterative development process is a framework used to design products and applications across a wide range of domains. It centers around building prototypes, testing them, and updating based on the test results. We discuss how we applied this technique to create Fractal Emergence, an interactive piece of mathematical art. The iterative development process is a framework used to design products and applications across a wide range of domains. It centers around building prototypes, testing them, and updating based on the test results. We discuss how we applied this technique to create Fractal Emergence, an interactive piece of mathematical art. △ Less

Submitted 3 May, 2024; originally announced May 2024.

Comments: 8 pages, 6 figures, 2024 Bridges Conference Proceedings

MSC Class: Primary: 00A66; 05C62; 28A80; Secondary: 00B25; 05C63; 97U80

Encouraging student creativity in mathematics through 3D design and 3D printing

Authors: Christopher R. H. Hanusa

Abstract: This is a case study of teaching 3D design and 3D printing in a project-based computing course for undergraduate math majors. This article discusses content organization, implementation, project grading, and includes a personal reflection. There is an emphasis on lessons learned and how to encourage student creativity and artistic expression. An appendix details 3D design techniques in Mathematica… ▽ More This is a case study of teaching 3D design and 3D printing in a project-based computing course for undergraduate math majors. This article discusses content organization, implementation, project grading, and includes a personal reflection. There is an emphasis on lessons learned and how to encourage student creativity and artistic expression. An appendix details 3D design techniques in Mathematica. △ Less

Submitted 15 December, 2022; originally announced December 2022.

Comments: 27 pages, 42 figures. To appear in Proceedings of Symposia in Applied Mathematics

MSC Class: 97D40; 97N80 (Primary ); 00A66; 97D60; 97M80; 97P50; 97U70 (Secondary)

Column convex matrices, $G$-cyclic orders, and flow polytopes

Authors: Rafael S. González D'León, Christopher R. H. Hanusa, Alejandro H. Morales, Martha Yip

Abstract: We study polytopes defined by inequalities of the form $\sum_{i\in I} z_{i}\leq 1$ for $I\subseteq [d]$ and nonnegative $z_i$ where the inequalities can be reordered into a matrix inequality involving a column-convex $\{0,1\}$-matrix. These generalize polytopes studied by Stanley, and the consecutive coordinate polytopes of Ayyer, Josuat-Vergès, and Ramassamy. We prove an integral equivalence betw… ▽ More We study polytopes defined by inequalities of the form $\sum_{i\in I} z_{i}\leq 1$ for $I\subseteq [d]$ and nonnegative $z_i$ where the inequalities can be reordered into a matrix inequality involving a column-convex $\{0,1\}$-matrix. These generalize polytopes studied by Stanley, and the consecutive coordinate polytopes of Ayyer, Josuat-Vergès, and Ramassamy. We prove an integral equivalence between these polytopes and flow polytopes of directed acyclic graphs $G$ with a Hamiltonian path, which we call spinal graphs. We show that the volume of these flow polytopes is the number of extensions of a set of partial cyclic orders defined by the graph $G$. As a special case we recover results on volumes of consecutive coordinate polytopes. We study the combinatorics of $k$-Euler numbers, which are generalizations of the classical Euler numbers, and which arise as volumes of flow polytopes of a special family of spinal graphs. We show that their refinements, Ramassamy's $k$-Entringer numbers, can be realized as values of a Kostant partition function, satisfy a family of generalized boustrophedon recurrences, and are log concave along root directions. Finally, via our main integral equivalence and the known formula for the $h^*$-polynomial of consecutive coordinate polytopes, we give a combinatorial formula for the $h^*$-polynomial of flow polytopes of non-nested spinal graphs. For spinal graphs in general, we present a conjecture on upper and lower bounds for their $h^*$-polynomial. △ Less

Submitted 15 July, 2021; originally announced July 2021.

Comments: 33 pages, 12 figures, 2 tables

MSC Class: Primary: 05A19; 05C21; 06A07; 11B83; 52A38; Secondary: 05A15; 05C50; 11Y55; 15A36; 52B05; 52B11; 52B12

Kostant's partition function and magic multiplex juggling sequences

Authors: Carolina Benedetti, Christopher R. H. Hanusa, Pamela E. Harris, Alejandro H. Morales, Anthony Simpson

Abstract: Kostant's partition function is a vector partition function that counts the number of ways one can express a weight of a Lie algebra $\mathfrak{g}$ as a nonnegative integral linear combination of the positive roots of $\mathfrak{g}$. Multiplex juggling sequences are generalizations of juggling sequences that specify an initial and terminal configuration of balls and allow for multiple balls at any… ▽ More Kostant's partition function is a vector partition function that counts the number of ways one can express a weight of a Lie algebra $\mathfrak{g}$ as a nonnegative integral linear combination of the positive roots of $\mathfrak{g}$. Multiplex juggling sequences are generalizations of juggling sequences that specify an initial and terminal configuration of balls and allow for multiple balls at any particular discrete height. Magic multiplex juggling sequences generalize further to include magic balls, which cancel with standard balls when they meet at the same height. In this paper, we establish a combinatorial equivalence between positive roots of a Lie algebra and throws during a juggling sequence. This provides a juggling framework to calculate Kostant's partition functions, and a partition function framework to compute the number of juggling sequences. From this equivalence we provide a broad range of consequences and applications connecting this work to polytopes, posets, positroids, and weight multiplicities. △ Less

Submitted 14 April, 2022; v1 submitted 9 January, 2020; originally announced January 2020.

Comments: 27 pages, 9 figures, 1 table, v3 minor change fixing an error in the last figure

MSC Class: 00A08; 05A15; 05A18; 17B22

Journal ref: Ann. Comb. 24, 439-473 (2020)

A q-queens problem. VII. Combinatorial types of nonattacking chess riders

Authors: Christopher R. H. Hanusa, Thomas Zaslavsky

Abstract: On a convex polygonal chessboard, the number of combinatorial types of nonattacking configuration of three identical chess riders with $r$ moves, such as queens, bishops, or nightriders, equals $r(r^2+3r-1)/3$, as conjectured by Chaiken, Hanusa, and Zaslavsky (2019). Similarly, for any number of identical 3-move riders the number of combinatorial types is independent of the actual moves. On a convex polygonal chessboard, the number of combinatorial types of nonattacking configuration of three identical chess riders with $r$ moves, such as queens, bishops, or nightriders, equals $r(r^2+3r-1)/3$, as conjectured by Chaiken, Hanusa, and Zaslavsky (2019). Similarly, for any number of identical 3-move riders the number of combinatorial types is independent of the actual moves. △ Less

Submitted 11 June, 2020; v1 submitted 21 June, 2019; originally announced June 2019.

Comments: 6 pp., 2 figures; v2 9 pp., 3 figures

MSC Class: 05A15 (Primary); 00A08; 52C35 (Secondary)

Journal ref: Australasian J. Combin., 77(3) (2020), 326-335

A billiards-like dynamical system for attacking chess pieces

Authors: Christopher R. H. Hanusa, Arvind V. Mahankali

Abstract: We apply a one-dimensional discrete dynamical system originally considered by Arnol'd reminiscent of mathematical billiards to the study of two-move riders, a type of fairy chess piece. In this model, particles travel through a bounded convex region along line segments of one of two fixed slopes. We apply this dynamical system to characterize the vertices of the inside-out polytope arising from… ▽ More We apply a one-dimensional discrete dynamical system originally considered by Arnol'd reminiscent of mathematical billiards to the study of two-move riders, a type of fairy chess piece. In this model, particles travel through a bounded convex region along line segments of one of two fixed slopes. We apply this dynamical system to characterize the vertices of the inside-out polytope arising from counting placements of nonattacking chess pieces and also to give a bound for the period of the counting quasipolynomial. The analysis focuses on points of the region that are on trajectories that contain a corner or on cycles of full rank, or are crossing points thereof. As a consequence, we give a simple proof that the period of the bishops' counting quasipolynomial is 2, and provide formulas bounding periods of counting quasipolynomials for many two-move riders including all partial nightriders. We draw parallels to the theory of mathematical billiards and pose many new open questions. △ Less

Submitted 22 March, 2021; v1 submitted 7 January, 2019; originally announced January 2019.

Comments: v1: 22 pages, 11 figures; v2: 26 pages, 11 figures. European Journal of Combinatorics accepted version

MSC Class: Primary 05A15; 37D50; 37E15; Secondary 00A08; 52C05; 52C35

A $q$-Queens Problem. IV. Attacking Configurations and Their Denominators

Authors: Seth Chaiken, Christopher R. H. Hanusa, Thomas Zaslavsky

Abstract: In Parts I-III we showed that the number of ways to place $q$ nonattacking queens or similar chess pieces on an $n\times n$ chessboard is a quasipolynomial function of $n$ whose coefficients are essentially polynomials in $q$. In this part we focus on the periods of those quasipolynomials. We calculate denominators of vertices of the inside-out polytope, since the period is bounded by, and conje… ▽ More In Parts I-III we showed that the number of ways to place $q$ nonattacking queens or similar chess pieces on an $n\times n$ chessboard is a quasipolynomial function of $n$ whose coefficients are essentially polynomials in $q$. In this part we focus on the periods of those quasipolynomials. We calculate denominators of vertices of the inside-out polytope, since the period is bounded by, and conjecturally equal to, their least common denominator. We find an exact formula for that denominator of every piece with one move and of two-move pieces having a horizontal move. For pieces with three or more moves, we produce geometrical constructions related to the Fibonacci numbers that show the denominator grows at least exponentially with $q$. △ Less

Submitted 10 July, 2018; originally announced July 2018.

Comments: 21 pp., 11 figures. Revised version of part of arXiv:1609.00853, which will be replaced with a different part of the split

MSC Class: Primary 05A15; Secondary 00A08; 52C07; 52C35

Journal ref: Discrete Math., 343(2) (2020), article 111649, 16 pp

A combinatorial model for computing volumes of flow polytopes

Authors: Carolina Benedetti, Rafael S. González D'León, Christopher R. H. Hanusa, Pamela E. Harris, Apoorva Khare, Alejandro H. Morales, Martha Yip

Abstract: We introduce new families of combinatorial objects whose enumeration computes volumes of flow polytopes. These objects provide an interpretation, based on parking functions, of Baldoni and Vergne's generalization of a volume formula originally due to Lidskii. We recover known flow polytope volume formulas and prove new volume formulas for flow polytopes that were seemingly unapproachable. A highli… ▽ More We introduce new families of combinatorial objects whose enumeration computes volumes of flow polytopes. These objects provide an interpretation, based on parking functions, of Baldoni and Vergne's generalization of a volume formula originally due to Lidskii. We recover known flow polytope volume formulas and prove new volume formulas for flow polytopes that were seemingly unapproachable. A highlight of our model is an elegant formula for the flow polytope of a graph we call the caracol graph. As by-products of our work, we uncover a new triangle of numbers that interpolates between Catalan numbers and the number of parking functions, we prove the log-concavity of rows of this triangle along with other sequences derived from volume computations, and we introduce a new Ehrhart-like polynomial for flow polytope volume and conjecture product formulas for the polytopes we consider. △ Less

Submitted 2 April, 2019; v1 submitted 23 January, 2018; originally announced January 2018.

Comments: 34 pages, 15 figures. v2: updated after referee reports; includes a proof of Proposition 8.7. Accepted into Transactions of the AMS

MSC Class: 05A15; 05A19; 52B05; 52A38 (Primary); 05C20; 05C21; 52B11 (Secondary)

Journal ref: Transactions of the American Mathematical Society 372 (2019), no. 5, 3369-3404

Lecture hall partitions and the affine hyperoctahedral group

Authors: Christopher R. H. Hanusa, Carla D. Savage

Abstract: In 1997 Bousquet-Mélou and Eriksson introduced lecture hall partitions as the inversion vectors of elements of the parabolic quotient $\widetilde{C}/C$. We provide a new view of their correspondence that allows results in one domain to be translated into the other. We determine the equivalence between combinatorial statistics in each domain and use this correspondence to translate certain generati… ▽ More In 1997 Bousquet-Mélou and Eriksson introduced lecture hall partitions as the inversion vectors of elements of the parabolic quotient $\widetilde{C}/C$. We provide a new view of their correspondence that allows results in one domain to be translated into the other. We determine the equivalence between combinatorial statistics in each domain and use this correspondence to translate certain generating function formulas on lecture hall partitions to new observations about $\widetilde{C}/C$. △ Less

Submitted 3 August, 2017; originally announced August 2017.

Comments: 15 pages

MSC Class: 05A15; 05A17; 05A30; 05E15; 20F55

A $q$-Queens Problem. V. Some of Our Favorite Pieces: Queens, Bishops, Rooks, and Nightriders

Authors: Seth Chaiken, Christopher R. H. Hanusa, Thomas Zaslavsky

Abstract: Parts I-IV showed that the number of ways to place $q$ nonattacking queens or similar chess pieces on an $n\times n$ chessboard is a quasipolynomial function of $n$ whose coefficients are essentially polynomials in $q$. For partial queens, which have a subset of the queen's moves, we proved complete formulas for these counting quasipolynomials for small numbers of pieces and other formulas for hig… ▽ More Parts I-IV showed that the number of ways to place $q$ nonattacking queens or similar chess pieces on an $n\times n$ chessboard is a quasipolynomial function of $n$ whose coefficients are essentially polynomials in $q$. For partial queens, which have a subset of the queen's moves, we proved complete formulas for these counting quasipolynomials for small numbers of pieces and other formulas for high-order coefficients of the general counting quasipolynomials. We found some upper and lower bounds for the periods of those quasipolynomials by calculating explicit denominators of vertices of the inside-out polytope. Here we discover more about the counting quasipolynomials for partial queens, both familiar and strange, and the nightrider and its subpieces, and we compare our results to the empirical formulas found by Kotěšovec. We prove some of Kotěšovec's formulas and conjectures about the quasipolynomials and their high-order coefficients, and in some instances go beyond them. △ Less

Submitted 17 July, 2020; v1 submitted 3 September, 2016; originally announced September 2016.

Comments: 39 pp., many figures; ancillary Mathematica programs that were used to compute examples. v2: update terminology and reference URL's. v3: 23 pp. This is expanded second half of v2; first half expanded became 1807.04741. v4: 23 pp., minor updates per published version. v5: small corrections

MSC Class: Primary 05A15; Secondary 00A08; 52C07; 52C35

Journal ref: J. Korean Math. Soc., 57(6) (2020), 1407-1433

Combinatorics of the zeta map on rational Dyck paths

Authors: Cesar Ceballos, Tom Denton, Christopher R. H. Hanusa

Abstract: An $(a,b)$-Dyck path $P$ is a lattice path from $(0,0)$ to $(b,a)$ that stays above the line $y=\frac{a}{b}x$. The zeta map is a curious rule that maps the set of $(a,b)$-Dyck paths into itself; it is conjecturally bijective, and we provide progress towards proof of bijectivity in this paper, by showing that knowing zeta of $P$ and zeta of $¶$ conjugate is enough to recover $P$. Our method beget… ▽ More An $(a,b)$-Dyck path $P$ is a lattice path from $(0,0)$ to $(b,a)$ that stays above the line $y=\frac{a}{b}x$. The zeta map is a curious rule that maps the set of $(a,b)$-Dyck paths into itself; it is conjecturally bijective, and we provide progress towards proof of bijectivity in this paper, by showing that knowing zeta of $P$ and zeta of $¶$ conjugate is enough to recover $P$. Our method begets an area-preserving involution $χ$ on the set of $(a,b)$-Dyck paths when $ζ$ is a bijection, as well as a new method for calculating $ζ^{-1}$ on classical Dyck paths. For certain nice $(a,b)$-Dyck paths we give an explicit formula for $ζ^{-1}$ and $χ$ and for additional $(a,b)$-Dyck paths we discuss how to compute $ζ^{-1}$ and $χ$ inductively. We also explore Armstrong's skew length statistic and present two new combinatorial methods for calculating the zeta map involving lasers and interval intersections. We provide a combinatorial statistic $δ$ that can be used to recursively compute $ζ^{-1}$ and show that $δ$ is computable from $ζ(P)$ in the Fuss-Catalan case. △ Less

Submitted 18 February, 2016; v1 submitted 23 April, 2015; originally announced April 2015.

Comments: 34 pages, 30 figures (v3 updated to published version. v2 revised and augmented Section 9. Its Section 9 has more detail but is less organized than v3.)

MSC Class: 05A17; 05C38; 05A30

A $q$-Queens Problem. VI. The Bishops' Period

Authors: Thomas Zaslavsky, Seth Chaiken, Christopher R. H. Hanusa

Abstract: The number of ways to place $q$ nonattacking queens, bishops, or similar chess pieces on an $n\times n$ square chessboard is essentially a quasipolynomial function of $n$ (by Part I of this series). The period of the quasipolynomial is difficult to settle. Here we prove that the empirically observed period 2 for three to ten bishops is the exact period for every number of bishops greater than 2. T… ▽ More The number of ways to place $q$ nonattacking queens, bishops, or similar chess pieces on an $n\times n$ square chessboard is essentially a quasipolynomial function of $n$ (by Part I of this series). The period of the quasipolynomial is difficult to settle. Here we prove that the empirically observed period 2 for three to ten bishops is the exact period for every number of bishops greater than 2. The proof depends on signed graphs and the Ehrhart theory of inside-out polytopes. △ Less

Submitted 11 July, 2018; v1 submitted 12 May, 2014; originally announced May 2014.

Comments: 15 pp.; 12 pp. without white space. v2: Updated citations, rearranged authors. 12 pp. v3: Updated citations. Rm unnec special commands. v4: 13 pp. Rev title. Corrected error; rev abstract; minor rev

MSC Class: 05A15 (Primary); 00A08; 05C22; 52C07; 52C35 (Secondary)

Journal ref: Ars Mathematica Contemporanea, 16 (2019), no. 2, 549-561

A $q$-Queens Problem. III. Nonattacking Partial Queens

Authors: Seth Chaiken, Christopher R. H. Hanusa, Thomas Zaslavsky

Abstract: We apply our geometrical theory for counting placements of $q$ nonattacking on an $n\times n$ chessboard, from Parts~I and II, to partial queens: that is, chess pieces with any combination of horizontal, vertical, and $45^\circ$-diagonal moves. Parts~I and II showed that for any rider (a piece with moves of unlimited length) the answer will be a quasipolynomial function of $n$ in which the coeffic… ▽ More We apply our geometrical theory for counting placements of $q$ nonattacking on an $n\times n$ chessboard, from Parts~I and II, to partial queens: that is, chess pieces with any combination of horizontal, vertical, and $45^\circ$-diagonal moves. Parts~I and II showed that for any rider (a piece with moves of unlimited length) the answer will be a quasipolynomial function of $n$ in which the coefficients are essentially polynomials in $q$. Those general results gave the three highest-order coefficients of the counting quasipolynomial and formulas for counting placements of two nonattacking pieces and the combinatorially distinct types of such placements. By contrast, the unified framework we present here for partial queens allows us to explicitly compute the four highest-order coefficients of the counting quasipolynomial, show that the five highest-order coefficients are constant (independent of $n$), and find the period of the next coefficient (which depends upon the exact set of moves). Furthermore, for three nonattacking partial queens we are able to prove formulas for the total number of nonattacking placements and for the number of their combinatorially distinct types. The method of proof, as in the previous parts, is by detailed analysis of the lattice of subspaces of an inside-out polytope. △ Less

Submitted 10 July, 2018; v1 submitted 19 February, 2014; originally announced February 2014.

Comments: 25 pp., 5 figures. v2: Rearranged content. Better tables. Updated citations. Reordered authors. v3: Updated citations and terminology. v4: Significant improvements

MSC Class: 05A15 (Primary); 00A08; 52C35 (Secondary)

Journal ref: Australasian Journal of Combinatorics, 74 (2019), no. 2, 305-331

A $q$-Queens Problem. II. The Square Board

Authors: Seth Chaiken, Christopher R. H. Hanusa, Thomas Zaslavsky

Abstract: We apply to the $n\times n$ chessboard the counting theory from Part I for nonattacking placements of chess pieces with unbounded straight-line moves, such as the queen. Part I showed that the number of ways to place $q$ identical nonattacking pieces is given by a quasipolynomial function of $n$ of degree $2q$, whose coefficients are (essentially) polynomials in $q$ that depend cyclically on $n$.… ▽ More We apply to the $n\times n$ chessboard the counting theory from Part I for nonattacking placements of chess pieces with unbounded straight-line moves, such as the queen. Part I showed that the number of ways to place $q$ identical nonattacking pieces is given by a quasipolynomial function of $n$ of degree $2q$, whose coefficients are (essentially) polynomials in $q$ that depend cyclically on $n$. Here we study the periods of the quasipolynomial and its coefficients, which are bounded by functions, not well understood, of the piece's move directions, and we develop exact formulas for the very highest coefficients. The coefficients of the three highest powers of $n$ do not vary with $n$. On the other hand, we present simple pieces for which the fourth coefficient varies periodically. We develop detailed properties of counting quasipolynomials that will be applied in sequels to partial queens, whose moves are subsets of those of the queen, and the nightrider, whose moves are extended knight's moves. We conclude with the first, though strange, formula for the classical $n$-Queens Problem and with several conjectures and open problems. △ Less

Submitted 7 August, 2014; v1 submitted 19 February, 2014; originally announced February 2014.

Comments: 23 pp., 1 figure, submitted. This = second half of 1303.1879v1 with great improvements. V2 has a new proposition, better definitions, and corrected conjectures. V3 has results et al. renumbered to correspond with published version, and expands dictionary's cryptic abbreviations

MSC Class: 05A15 (Primary) 00A08; 52C35 (Secondary)

Journal ref: Journal of Algebraic Combinatorics, 41 (2015), no. 3, 619--642. MR 3328174. Zbl 1314.05008

Results and conjectures on simultaneous core partitions

Authors: Drew Armstrong, Christopher R. H. Hanusa, Brant C. Jones

Abstract: An n-core partition is an integer partition whose Young diagram contains no hook lengths equal to n. We consider partitions that are simultaneously a-core and b-core for two relatively prime integers a and b. These are related to abacus diagrams and the combinatorics of the affine symmetric group (type A). We observe that self-conjugate simultaneous core partitions correspond to the combinatorics… ▽ More An n-core partition is an integer partition whose Young diagram contains no hook lengths equal to n. We consider partitions that are simultaneously a-core and b-core for two relatively prime integers a and b. These are related to abacus diagrams and the combinatorics of the affine symmetric group (type A). We observe that self-conjugate simultaneous core partitions correspond to the combinatorics of type C, and use abacus diagrams to unite the discussion of these two sets of objects. In particular, we prove that (2n)- and (2mn+1)-core partitions correspond naturally to dominant alcoves in the m-Shi arrangement of type C_n, generalizing a result of Fishel--Vazirani for type A. We also introduce a major statistic on simultaneous n- and (n+1)-core partitions and on self-conjugate simultaneous (2n)- and (2n+1)-core partitions that yield q-analogues of the Coxeter-Catalan numbers of type A and type C. We present related conjectures and open questions on the average size of a simultaneous core partition, q-analogs of generalized Catalan numbers, and generalizations to other Coxeter groups. We also discuss connections with the cyclic sieving phenomenon and q,t-Catalan numbers. △ Less

Submitted 22 April, 2014; v1 submitted 2 August, 2013; originally announced August 2013.

Comments: 17 pages; to appear in the European Journal of Combinatorics

A $q$-Queens Problem. I. General Theory

Authors: Seth Chaiken, Christopher R. H. Hanusa, Thomas Zaslavsky

Abstract: By means of the Ehrhart theory of inside-out polytopes we establish a general counting theory for nonattacking placements of chess pieces with unbounded straight-line moves, such as the queen, on a polygonal convex board. The number of ways to place $q$ identical nonattacking pieces on a board of variable size $n$ but fixed shape is given by a quasipolynomial function of $n$, of degree $2q$, whose… ▽ More By means of the Ehrhart theory of inside-out polytopes we establish a general counting theory for nonattacking placements of chess pieces with unbounded straight-line moves, such as the queen, on a polygonal convex board. The number of ways to place $q$ identical nonattacking pieces on a board of variable size $n$ but fixed shape is given by a quasipolynomial function of $n$, of degree $2q$, whose coefficients are polynomials in $q$. The number of combinatorially distinct types of nonattacking configuration is the evaluation of our quasipolynomial at $n=-1$. The quasipolynomial has an exact formula that depends on a matroid of weighted graphs, which is in turn determined by incidence properties of lines in the real affine plane. We study the highest-degree coefficients and also the period of the quasipolynomial, which is needed if the quasipolynomial is to be interpolated from data, and which is bounded by some function, not well understood, of the board and the piece's move directions. In subsequent parts we specialize to the square board and then to subsets of the queen's moves, and we prove exact formulas (most but not all already known empirically) for small numbers of queens, bishops, and nightriders. Each part concludes with open questions, both specialized and broad. △ Less

Submitted 19 February, 2014; v1 submitted 7 March, 2013; originally announced March 2013.

Comments: 28 pp., no figures, submitted. v2 = first half of v1 with much stronger results

MSC Class: 05A15 (Primary) 00A08; 52C35 (Secondary)

Journal ref: Electronic Journal of Combinatorics, 21 (2014), no. 3, Paper P3.33, 28 pp. MR 3262270. Zbl 1298.05021

Solving multivariate functional equations

Authors: Michael Chon, Christopher R. H. Hanusa, Amy Lee

Abstract: This paper presents a new method to solve functional equations of multivariate generating functions, such as $$F(r,s)=e(r,s)+xf(r,s)F(1,1)+xg(r,s)F(qr,1)+xh(r,s)F(qr,qs),$$ giving a formula for $F(r,s)$ in terms of a sum over finite sequences. We use this method to show how one would calculate the coefficients of the generating function for parallelogram polyominoes, which is impractical using oth… ▽ More This paper presents a new method to solve functional equations of multivariate generating functions, such as $$F(r,s)=e(r,s)+xf(r,s)F(1,1)+xg(r,s)F(qr,1)+xh(r,s)F(qr,qs),$$ giving a formula for $F(r,s)$ in terms of a sum over finite sequences. We use this method to show how one would calculate the coefficients of the generating function for parallelogram polyominoes, which is impractical using other methods. We also apply this method to answer a question from fully commutative affine permutations. △ Less

Submitted 3 December, 2013; v1 submitted 28 June, 2012; originally announced June 2012.

Comments: 11 pages, 1 figure. v3: Main theorems and writing style revised for greater clarity. Updated to final version, to appear in Discrete Mathematics

MSC Class: 65Q20; 05A15 (Primary) 05A05; 05B50; 05C38; 05E15 (Secondary)

The number of self-conjugate core partitions

Authors: Christopher R. H. Hanusa, Rishi Nath

Abstract: A conjecture on the monotonicity of t-core partitions in an article of Stanton [Open positivity conjectures for integer partitions, Trends Math., 2:19-25, 1999] has been the catalyst for much recent research on t-core partitions. We conjecture Stanton-like monotonicity results comparing self-conjugate (t+2)- and t-core partitions of n. We obtain partial results toward these conjectures for value… ▽ More A conjecture on the monotonicity of t-core partitions in an article of Stanton [Open positivity conjectures for integer partitions, Trends Math., 2:19-25, 1999] has been the catalyst for much recent research on t-core partitions. We conjecture Stanton-like monotonicity results comparing self-conjugate (t+2)- and t-core partitions of n. We obtain partial results toward these conjectures for values of t that are large with respect to n, and an application to the block theory of the symmetric and alternating groups. To this end we prove formulas for the number of self-conjugate t-core partitions of n as a function of the number of self-conjugate partitions of smaller n. Additionally, we discuss the positivity of self-conjugate 6-core partitions and introduce areas for future research in representation theory, asymptotic analysis, unimodality, and numerical identities and inequalities. △ Less

Submitted 12 October, 2012; v1 submitted 31 January, 2012; originally announced January 2012.

Comments: 17 pages, 2 figures, to appear in Journal of Number Theory Updated to accepted version. Removed previously known results about self-conjugate 7-cores and corrected other historical information

MSC Class: 05A17; 11P81 (Primary) 05A15; 05E10; 20C20; 20C30 (Secondary)

Abacus models for parabolic quotients of affine Weyl groups

Authors: Christopher R. H. Hanusa, Brant C. Jones

Abstract: We introduce abacus diagrams that describe minimal length coset representatives in affine Weyl groups of types B, C, and D. These abacus diagrams use a realization of the affine Weyl group of type C due to Eriksson to generalize a construction of James for the symmetric group. We also describe several combinatorial models for these parabolic quotients that generalize classical results in affine ty… ▽ More We introduce abacus diagrams that describe minimal length coset representatives in affine Weyl groups of types B, C, and D. These abacus diagrams use a realization of the affine Weyl group of type C due to Eriksson to generalize a construction of James for the symmetric group. We also describe several combinatorial models for these parabolic quotients that generalize classical results in affine type A related to core partitions. △ Less

Submitted 9 March, 2012; v1 submitted 26 May, 2011; originally announced May 2011.

Comments: 28 pages, To appear, Journal of Algebra. Version 2: Updated with referee's comments

MSC Class: 05E15

Nonattacking Queens in a Rectangular Strip

Authors: Seth Chaiken, Christopher R. H. Hanusa, Thomas Zaslavsky

Abstract: The function that counts the number of ways to place nonattacking identical chess or fairy chess pieces in a rectangular strip of fixed height and variable width, as a function of the width, is a piecewise polynomial which is eventually a polynomial and whose behavior can be described in some detail. We deduce this by converting the problem to one of counting lattice points outside an affinographi… ▽ More The function that counts the number of ways to place nonattacking identical chess or fairy chess pieces in a rectangular strip of fixed height and variable width, as a function of the width, is a piecewise polynomial which is eventually a polynomial and whose behavior can be described in some detail. We deduce this by converting the problem to one of counting lattice points outside an affinographic hyperplane arrangement, which Forge and Zaslavsky solved by means of weighted integral gain graphs. We extend their work by developing both generating functions and a detailed analysis of deletion and contraction for weighted integral gain graphs. For chess pieces we find the asymptotic probability that a random configuration is nonattacking, and we obtain exact counts of nonattacking configurations of small numbers of queens, bishops, knights, and nightriders. △ Less

Submitted 25 May, 2011; originally announced May 2011.

Comments: 21 pages, 3 figures, preprint of published version copyright Springer Basel AG 2011, Published online February 15, 2011, submitted March 15, 2007

MSC Class: 05A15; 00A08; 05C22; 52C35 ACM Class: G.2.1; G.2.2

Journal ref: Annals of Combinatorics 14 (2010), 419-441. MR 2776757 (2012d:05034). Zbl 1233.05022

The enumeration of fully commutative affine permutations

Authors: Christopher R. H. Hanusa, Brant C. Jones

Abstract: We give a generating function for the fully commutative affine permutations enumerated by rank and Coxeter length, extending formulas due to Stembridge and Barcucci--Del Lungo--Pergola--Pinzani. For fixed rank, the length generating functions have coefficients that are periodic with period dividing the rank. In the course of proving these formulas, we obtain results that elucidate the structure… ▽ More We give a generating function for the fully commutative affine permutations enumerated by rank and Coxeter length, extending formulas due to Stembridge and Barcucci--Del Lungo--Pergola--Pinzani. For fixed rank, the length generating functions have coefficients that are periodic with period dividing the rank. In the course of proving these formulas, we obtain results that elucidate the structure of the fully commutative affine permutations. △ Less

Submitted 11 December, 2009; v1 submitted 3 July, 2009; originally announced July 2009.

Comments: 18 pages; final version

MSC Class: 05A15; 05E15; 20F55

Determinants in the Kronecker product of matrices: The incidence matrix of a complete graph

Authors: Christopher R. H. Hanusa, Thomas Zaslavsky

Abstract: We investigate the least common multiple of all subdeterminants, lcmd(A x B), of a Kronecker product of matrices, of which one is an integral matrix A with two columns and the other is the incidence matrix of a complete graph with n vertices. We prove that this quantity is the least common multiple of lcmd(A) to the power n-1 and certain binomial functions of the entries of A. We investigate the least common multiple of all subdeterminants, lcmd(A x B), of a Kronecker product of matrices, of which one is an integral matrix A with two columns and the other is the incidence matrix of a complete graph with n vertices. We prove that this quantity is the least common multiple of lcmd(A) to the power n-1 and certain binomial functions of the entries of A. △ Less

Submitted 12 January, 2010; v1 submitted 12 November, 2008; originally announced November 2008.

Comments: 15 pages, 2 figures; revised and updated version to appear in Linear and Multilinear Algebra, 2010

MSC Class: 15A15; 05C50; 15A57

Journal ref: Linear and Multilinear Algebra, 59 (2011), no. 4, 399--411. MR 2802522 (2012f:15007). Zbl 1218.15003

Pseudo-centrosymmetric matrices, with applications to counting perfect matchings

Authors: Christopher R. H. Hanusa

Abstract: We consider square matrices A that commute with a fixed square matrix K, both with entries in a field F not of characteristic 2. When K^2=I, Tao and Yasuda defined A to be generalized centrosymmetric with respect to K. When K^2=-I, we define A to be pseudo-centrosymmetric with respect to K; we show that the determinant of every even-order pseudo-centrosymmetric matrix is the sum of two squares o… ▽ More We consider square matrices A that commute with a fixed square matrix K, both with entries in a field F not of characteristic 2. When K^2=I, Tao and Yasuda defined A to be generalized centrosymmetric with respect to K. When K^2=-I, we define A to be pseudo-centrosymmetric with respect to K; we show that the determinant of every even-order pseudo-centrosymmetric matrix is the sum of two squares over F, as long as -1 is not a square in F. When a pseudo-centrosymmetric matrix A contains only integral entries and is pseudo-centrosymmetric with respect to a matrix with rational entries, the determinant of A is the sum of two integral squares. This result, when specialized to when K is the even-order alternating exchange matrix, applies to enumerative combinatorics. Using solely matrix-based methods, we reprove a weak form of Jockusch's theorem for enumerating perfect matchings of 2-even symmetric graphs. As a corollary, we reprove that the number of domino tilings of regions known as Aztec diamonds and Aztec pillows is a sum of two integral squares. △ Less

Submitted 9 July, 2007; v1 submitted 21 September, 2006; originally announced September 2006.

Comments: v1: Preprint; 11 pages, 7 figures. v2: Preprint; 15 pages, 7 figures. Reworked so that linear algebraic results are over a field not of characteristic 2, not over the real numbers. Accepted, Linear Algebra and its Applications

MSC Class: Primary: 05C75; 15A15; 15A21; Secondary: 05B20; 05B45; 05C50; 15A23

A Gessel-Viennot-type method for cycle systems in a directed graph

Authors: Christopher R. H. Hanusa

Abstract: We introduce a new determinantal method to count cycle systems in a directed graph that generalizes Gessel and Viennot's determinantal method on path systems. The method gives new insight into the enumeration of domino tilings of Aztec diamonds, Aztec pillows, and related regions. We introduce a new determinantal method to count cycle systems in a directed graph that generalizes Gessel and Viennot's determinantal method on path systems. The method gives new insight into the enumeration of domino tilings of Aztec diamonds, Aztec pillows, and related regions. △ Less

Submitted 2 December, 2005; originally announced December 2005.

Comments: 22 pages, 33 figures

MSC Class: 05B45; 05C30 (Primary) 05A15; 05B20; 05C38; 05C50; 05C70; 11A51; 11B83; 15A15; 15A36; 52C20 (Secondary)

Journal ref: Electronic Journal of Combinatorics. Volume 13 (2006). Research Paper 37, 28 pp. (electronic)