Showing 1–11 of 11 results for author: Erickson, A

A Rokhlin Lemma for Noninvertible Totally-Ordered Measure-Preserving Dynamical Systems

Authors: Adam R. B. Erickson

Abstract: Let $(X,\mathcal{F},μ,T)$ be a not necessarily invertible non-atomic measure-preserving dynamical system where the $σ$-algebra $\mathcal{F}$ is generated by the intervals according to some total order. The main result is that the classical Rokhlin lemma may be adapted to such a situation assuming a slight extension of aperiodicity. This result is compared to previous noninvertible versions of the… ▽ More Let $(X,\mathcal{F},μ,T)$ be a not necessarily invertible non-atomic measure-preserving dynamical system where the $σ$-algebra $\mathcal{F}$ is generated by the intervals according to some total order. The main result is that the classical Rokhlin lemma may be adapted to such a situation assuming a slight extension of aperiodicity. This result is compared to previous noninvertible versions of the Rokhlin lemma. △ Less

Submitted 25 March, 2022; v1 submitted 22 March, 2022; originally announced March 2022.

Comments: 12 pages. Submitted to Real Analysis Exchange

MSC Class: 37A05 (Primary) 28D05 (Secondary)

A Non-stiff Summation-By-Parts Finite Difference Method for the Scalar Wave Equation in Second Order Form: Characteristic Boundary Conditions and Nonlinear Interfaces

Authors: Brittany A Erickson, Jeremy E Kozdon, Tobias W Harvey

Abstract: Curvilinear, multiblock summation-by-parts finite difference operators with the simultaneous approximation term method provide a stable and accurate framework for solving the wave equation in second order form. That said, the standard method can become arbitrarily stiff when characteristic boundary conditions and nonlinear interface conditions are used. Here we propose a new technique that avoids… ▽ More Curvilinear, multiblock summation-by-parts finite difference operators with the simultaneous approximation term method provide a stable and accurate framework for solving the wave equation in second order form. That said, the standard method can become arbitrarily stiff when characteristic boundary conditions and nonlinear interface conditions are used. Here we propose a new technique that avoids this stiffness by using characteristic variables to "upwind" the boundary and interface treatment. This is done through the introduction of an additional block boundary displacement variable. Using a unified energy, which expresses both the standard as well as characteristic boundary and interface treatment, we show that the resulting scheme has semidiscrete energy stability for the scalar anisotropic wave equation. The theoretical stability results are confirmed with numerical experiments that also demonstrate the accuracy and robustness of the proposed scheme. The numerical results also show that the characteristic scheme has a time step restriction based on standard wave propagation considerations and not the boundary closure. △ Less

Submitted 28 June, 2022; v1 submitted 1 June, 2021; originally announced June 2021.

Comments: 40 pages, 7 figures

Journal ref: Journal of Scientific Computing volume 93, Article number: 17 (2022)

Hybridized Summation-By-Parts Finite Difference Methods

Authors: Jeremy E. Kozdon, Brittany A. Erickson, Lucas C. Wilcox

Abstract: We present a hybridization technique for summation-by-parts finite difference methods with weak enforcement of interface and boundary conditions for second order, linear elliptic partial differential equations. The method is based on techniques from the hybridized discontinuous Galerkin literature where local and global problems are defined for the volume and trace grid points, respectively. By us… ▽ More We present a hybridization technique for summation-by-parts finite difference methods with weak enforcement of interface and boundary conditions for second order, linear elliptic partial differential equations. The method is based on techniques from the hybridized discontinuous Galerkin literature where local and global problems are defined for the volume and trace grid points, respectively. By using a Schur complement technique the volume points can be eliminated, which drastically reduces the system size. We derive both the local and global problems, and show that the linear systems that must be solved are symmetric positive definite. The theoretical stability results are confirmed with numerical experiments as is the accuracy of the method. △ Less

Submitted 1 June, 2021; v1 submitted 31 January, 2020; originally announced February 2020.

Comments: 26 pages, 6 figures, 3 tables

MSC Class: 65N06; 65N22; 65N12

Journal ref: J Sci Comput 87, 85 (2021)

Nested Recurrence Relations With Conolly-Like Solutions

Authors: Alejandro Erickson, Abraham Isgur, Bradley W. Jackson, Frank Ruskey, Stephen M. Tanny

Abstract: A nondecreasing sequence of positive integers is $(α,β)$-Conolly, or Conolly-like for short, if for every positive integer $m$ the number of times that $m$ occurs in the sequence is $α+ βr_m$, where $r_m$ is $1$ plus the 2-adic valuation of $m$. A recurrence relation is $(α, β)$-Conolly if it has an $(α, β)$-Conolly solution sequence. We discover that Conolly-like sequences often appear as solutio… ▽ More A nondecreasing sequence of positive integers is $(α,β)$-Conolly, or Conolly-like for short, if for every positive integer $m$ the number of times that $m$ occurs in the sequence is $α+ βr_m$, where $r_m$ is $1$ plus the 2-adic valuation of $m$. A recurrence relation is $(α, β)$-Conolly if it has an $(α, β)$-Conolly solution sequence. We discover that Conolly-like sequences often appear as solutions to nested (or meta-Fibonacci) recurrence relations of the form $A(n) = \sum_{i=1}^k A(n-s_i-\sum_{j=1}^{p_i} A(n-a_{ij}))$ with appropriate initial conditions. For any fixed integers $k$ and $p_1,p_2,\ldots, p_k$ we prove that there are only finitely many pairs $(α, β)$ for which $A(n)$ can be $(α, β)$-Conolly. For the case where $α=0$ and $β=1$, we provide a bijective proof using labelled infinite trees to show that, in addition to the original Conolly recurrence, the recurrence $H(n)=H(n-H(n-2)) + H(n-3-H(n-5))$ also has the Conolly sequence as a solution. When $k=2$ and $p_1=p_2$, we construct an example of an $(α,β)$-Conolly recursion for every possible ($α,β)$ pair, thereby providing the first examples of nested recursions with $p_i>1$ whose solutions are completely understood. Finally, in the case where $k=2$ and $p_1=p_2$, we provide an if and only if condition for a given nested recurrence $A(n)$ to be $(α,0)$-Conolly by proving a very general ceiling function identity. △ Less

Submitted 8 September, 2015; originally announced September 2015.

MSC Class: 11B37

Journal ref: SIAM J. Discrete Mathematics, 26 2012, pp. 206-238 (33 pages)

Generating Tatami Coverings Efficiently

Authors: Alejandro Erickson, Frank Ruskey

Abstract: We present two algorithms to list certain classes of monomino-domino coverings which conform to the \emph{tatami} restriction; no four tiles meet. Our methods exploit structural features of tatami coverings in order to create the lists in $O(1)$ time per covering. This is faster than known methods for generating certain classes of matchings in bipartite graphs. We discuss tatami coverings of… ▽ More We present two algorithms to list certain classes of monomino-domino coverings which conform to the \emph{tatami} restriction; no four tiles meet. Our methods exploit structural features of tatami coverings in order to create the lists in $O(1)$ time per covering. This is faster than known methods for generating certain classes of matchings in bipartite graphs. We discuss tatami coverings of $n\times n$ grids with $n$ monominoes and $v$ vertical dominoes, as well as tatami coverings of a two-way infinitely-wide strip of constant height, subject to the constraint that they have a finite number of non-trivial structural "features". These two classes are representative of two differing structural characterisations of tatami coverings which may be adapted to count other classes of tatami coverings or locally restricted matchings, such as tatami coverings of rectangles. △ Less

Submitted 19 March, 2014; originally announced March 2014.

Comments: 8 pages, submitted to a conference

MSC Class: 05B45; 05B50 ACM Class: G.2.1

Domino Tatami Covering is NP-complete

Authors: Alejandro Erickson, Frank Ruskey

Abstract: A covering with dominoes of a rectilinear region is called \emph{tatami} if no four dominoes meet at any point. We describe a reduction from planar 3SAT to Domino Tatami Covering. As a consequence it is NP-complete to decide whether there is a perfect matching of a graph that meets every 4-cycle, even if the graph is restricted to be an induced subgraph of the grid-graph. The gadgets used in the r… ▽ More A covering with dominoes of a rectilinear region is called \emph{tatami} if no four dominoes meet at any point. We describe a reduction from planar 3SAT to Domino Tatami Covering. As a consequence it is NP-complete to decide whether there is a perfect matching of a graph that meets every 4-cycle, even if the graph is restricted to be an induced subgraph of the grid-graph. The gadgets used in the reduction were discovered with the help of a SAT-solver. △ Less

Submitted 28 May, 2013; originally announced May 2013.

Comments: 10 pages, accepted at The International Workshop on Combinatorial Algorithms (IWOCA) 2013

MSC Class: 05B40; 05B50; 68Q17

Enumerating maximal tatami mat coverings of square grids with $v$ vertical dominoes

Authors: Alejandro Erickson, Frank Ruskey

Abstract: We enumerate a certain class of monomino-domino coverings of square grids, which conform to the \emph{tatami} restriction; no four tiles meet. Let $\mathbf T_{n}$ be the set of monomino-domino tatami coverings of the $n\times n$ grid with the maximum number, $n$, of monominoes, oriented so that they have a monomino in each of the top left and top right corners. We give an algorithm for exhaustivel… ▽ More We enumerate a certain class of monomino-domino coverings of square grids, which conform to the \emph{tatami} restriction; no four tiles meet. Let $\mathbf T_{n}$ be the set of monomino-domino tatami coverings of the $n\times n$ grid with the maximum number, $n$, of monominoes, oriented so that they have a monomino in each of the top left and top right corners. We give an algorithm for exhaustively generating the coverings in $\mathbf T_{n}$ with exactly $v$ vertical dominoes in constant amortized time, and an explicit formula for counting them. The polynomial that generates these counts has the factorisation {align*} P_n(z)\prod_{j\ge 1} S_{\lfloor \frac{n-2}{2^j} \rfloor}(z), {align*} where $S_n(z) = \prod_{i=1}^{n} (1 + z^i)$, and $P_n(z)$ is an irreducible polynomial, at least for ${1 < n < 200}$. We present some compelling properties and conjectures about $P_n(z)$. For example $P_n(1) = n2^{ν(n-2)-1}$ for all $n \ge 2$, where $ν(n)$ is the number of 1s in the binary representation of $n$ and deg$(P_n(z)) = \sum_{k=1}^{n-2} Od(k)$, where $Od(k)$ is the largest odd divisor of $k$. △ Less

Submitted 30 March, 2013; originally announced April 2013.

Comments: 22 pages

MSC Class: 05B45; 05B50; 11B83

Tatami Maker: A combinatorially rich mechanical game board

Authors: Alejandro Erickson

Abstract: Japanese tatami mats are often arranged so that no four mats meet. This local restriction imposes a rich combinatorial structure when applied to monomino-domino coverings of rectilinear grids. We describe a modular, mechanical game board, prototyped with a desktop 3D printer, that enforces this restriction, and transforms tatami pen-and- paper puzzles into interactive sculptures. We review some re… ▽ More Japanese tatami mats are often arranged so that no four mats meet. This local restriction imposes a rich combinatorial structure when applied to monomino-domino coverings of rectilinear grids. We describe a modular, mechanical game board, prototyped with a desktop 3D printer, that enforces this restriction, and transforms tatami pen-and- paper puzzles into interactive sculptures. We review some recent mathematical discoveries on tatami coverings and present five new combinatorial games implemented on the game board. △ Less

Submitted 18 March, 2013; v1 submitted 25 January, 2013; originally announced January 2013.

Comments: 8 pages, Accepted at Bridges Conference 2013

MSC Class: 05B50; 68R05; 97K20

Monomer-dimer tatami tilings of square regions

Authors: Alejandro Erickson, Mark Schurch

Abstract: We prove that the number of monomer-dimer tilings of an $n\times n$ square grid, with $m<n$ monomers in which no four tiles meet at any point is $m2^m+(m+1)2^{m+1}$, when $m$ and $n$ have the same parity. In addition, we present a new proof of the result that there are $n2^{n-1}$ such tilings with $n$ monomers, which divides the tilings into $n$ classes of size $2^{n-1}$. The sum of these tilings… ▽ More We prove that the number of monomer-dimer tilings of an $n\times n$ square grid, with $m<n$ monomers in which no four tiles meet at any point is $m2^m+(m+1)2^{m+1}$, when $m$ and $n$ have the same parity. In addition, we present a new proof of the result that there are $n2^{n-1}$ such tilings with $n$ monomers, which divides the tilings into $n$ classes of size $2^{n-1}$. The sum of these tilings over all monomer counts has the closed form $2^{n-1}(3n-4)+2$ and, curiously, this is equal to the sum of the squares of all parts in all compositions of $n$. We also describe two algorithms and a Gray code ordering for generating the $n2^{n-1}$ tilings with $n$ monomers, which are both based on our new proof. △ Less

Submitted 23 October, 2011; originally announced October 2011.

Comments: Expanded conference proceedings: A. Erickson, M. Schurch, Enumerating tatami mat arrangements of square grids, in: 22nd International Workshop on Combinatorial Al- gorithms (IWOCA), volume 7056 of Lecture Notes in Computer Science (LNCS), Springer Berlin / Heidelberg, 2011, p. 12 pages. More on Tatami tilings at http://alejandroerickson.com/joomla/tatami-blog/collected-resources

MSC Class: 05B45; 05B50

Auspicious tatami mat arrangements

Authors: Alejandro Erickson, Frank Ruskey, Mark Schurch, Jennifer Woodcock

Abstract: An \emph{auspicious tatami mat arrangement} is a tiling of a rectilinear region with two types of tiles, $1 \times 2$ tiles (dimers) and $1 \times 1$ tiles (monomers). The tiles must cover the region and satisfy the constraint that no four corners of the tiles meet; such tilings are called \emph{tatami tilings}. The main focus of this paper is when the rectilinear region is a rectangle. We provide… ▽ More An \emph{auspicious tatami mat arrangement} is a tiling of a rectilinear region with two types of tiles, $1 \times 2$ tiles (dimers) and $1 \times 1$ tiles (monomers). The tiles must cover the region and satisfy the constraint that no four corners of the tiles meet; such tilings are called \emph{tatami tilings}. The main focus of this paper is when the rectilinear region is a rectangle. We provide a structural characterization of rectangular tatami tilings and use it to prove that the tiling is completely determined by the tiles that are on its border. We prove that the number of tatami tilings of an $n \times n$ square with $n$ monomers is $n2^{n-1}$. We also show that, for fixed-height, the generating function for the number of tatami tilings of a rectangle is a rational function, and outline an algorithm that produces the generating function. △ Less

Submitted 16 March, 2011; originally announced March 2011.

Comments: 23 pages, expands on conference proceedings in A. Erickson, F. Ruskey, M. Schurch and J. Woodcock, Auspicious Tatami Mat Arrangements, The 16th Annual International Computing and Combinatorics Conference (COCOON 2010), July 19-21, Nha Trang, Vietnam. LNCS 6196 (2010) 288-297. A list of tatami related discoveries is available at http://alejandroerickson.com/joomla/tatami-blog/collected-resources

MSC Class: 05 ACM Class: G.2.1

Sums of squares and negative correlation for spanning forests of series parallel graphs

Authors: Alejandro Erickson

Abstract: We provide new evidence that spanning forests of graphs satisfy the same negative correlation properties as spanning trees, derived from Lord Rayleigh's monotonicity property for electrical networks. The main result of this paper is that the Rayleigh difference for the spanning forest generating polynomial of a series parallel graph can be expressed as a certain positive sum of monomials times squ… ▽ More We provide new evidence that spanning forests of graphs satisfy the same negative correlation properties as spanning trees, derived from Lord Rayleigh's monotonicity property for electrical networks. The main result of this paper is that the Rayleigh difference for the spanning forest generating polynomial of a series parallel graph can be expressed as a certain positive sum of monomials times squares of polynomials. We also show that every regular matroid is independent-set-Rayleigh if and only if every basis-Rayleigh binary matroid is also independent-set-Rayleigh. △ Less

Submitted 23 October, 2011; v1 submitted 21 August, 2010; originally announced August 2010.

Comments: 12 pages, 1 figure. Accepted in The Australasian Journal of Combinatorics

ACM Class: G.2.2