Showing 1–9 of 9 results for author: Chaiken, S

A Theory for Coloring Walks in a Digraph

Authors: Seth Chaiken

Abstract: Consider edge colorings of digraphs where edges $v_1 v_2$ and $v_2 v_3$ have different colors. This coloring induces a vertex coloring by sets of edge colors, in which edge $v_1 v_2$ in the graph implies that the set color of $v_1$ contains an element not in the set color of $v_2$, and conversely. We generalize to colorings of $k$(vertex)-walks, defined so two walks have different colors if one is… ▽ More Consider edge colorings of digraphs where edges $v_1 v_2$ and $v_2 v_3$ have different colors. This coloring induces a vertex coloring by sets of edge colors, in which edge $v_1 v_2$ in the graph implies that the set color of $v_1$ contains an element not in the set color of $v_2$, and conversely. We generalize to colorings of $k$(vertex)-walks, defined so two walks have different colors if one is the prefix $c_1$ and the other is the suffix $c_2$ of a common $(k+1)$-walk. Further, the colors can belong to a poset $P$ where $c_1$, $c_2$ must satisfy $c_1 \not\leq c_2$. This set construction generalizes the lower order ideal in $P$ from a set of $k$-walk colors; these order ideals are partially ordered by containment. We conclude that a $P$ coloring of $k$-walks exists iff there is a vertex coloring by $A$ iterated $k-1$ times on $P$, where Birkhoff's $A$ maps a poset to its poset of lower order ideals. Thus the directed chromatic index problem is generalized and reduced to poset coloring of vertices. This work uses ideas, results and motivations due to Cole and Vishkin on deterministic coin tossing and Becker and Simon on vertex covers for subsets of $(n-2)$-cubes. △ Less

Submitted 8 July, 2024; originally announced July 2024.

Comments: written in 1994, 17 pages

MSC Class: 05C15; 05C20; 05C38; 05C55; 06A06; 68Q22; 68Q30; 68R10 ACM Class: F.1.2

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 $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

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

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

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

Ported Tutte Functions of Extensors and Oriented Matroids

Authors: Seth Chaiken

Abstract: The Tutte equations are ported (or set-pointed) when the equations F(N) = g_e F(N/e) + r_e F(N\e) are omitted for elements e in a distinguished set called ports. Solutions F can distinguish different orientations of the same matroid. A ported extensor with ground set is a decomposible element in the exterior algebra over a vector space with a given basis, called the ground set, containing a dist… ▽ More The Tutte equations are ported (or set-pointed) when the equations F(N) = g_e F(N/e) + r_e F(N\e) are omitted for elements e in a distinguished set called ports. Solutions F can distinguish different orientations of the same matroid. A ported extensor with ground set is a decomposible element in the exterior algebra over a vector space with a given basis, called the ground set, containing a distinguished subset called ports. These can represent ported matroids and have analogous dualization, deletion and contraction operations. A ported extensor function is defined using dualization, port element renaming, exterior multiplication, and contraction of non-ports. We prove that this function satisfies a sign-corrected variant of the Tutte equations over exterior algebra. For non-ported unimodular, i.e., regular matroids, our function reduces to the basis generating function and for graphs the Laplacian (or Kirchhoff) determinant. In general, the function value, as an extensor, signifies the space of solutions to Kirchhoff's and Ohm's electricity equations after projection to the variables associated to the ports. Combinatorial interpretation of various determinants (the Plucker coordinates) generalize the matrix tree theorem and forest enumeration expressions for electrical resistance. The corank-nullity polynomial, basis expansions with activities, and a geometric lattice expansion generalize to ported Tutte functions of oriented matroids. The ported Tutte functions are parametrized, which raises the problem of how to generalize known characterizations of parameterized non-ported Tutte functions. △ Less

Submitted 2 August, 2006; v1 submitted 28 May, 2006; originally announced May 2006.

Comments: 46 pages, 3 figures corrections, additions and improved discussions of references. Editorial and spelling corrections; more acknowledgements

MSC Class: 52C40; 15A75; 05C50