-
Impartial removing games on grid graphs
Authors:
Bret J. Benesh,
Dana C. Ernst,
Marie Meyer,
Sarah K. Salmon,
Nandor Sieben
Abstract:
A subset of the vertex set of a graph is geodetically convex if it contains every vertex on any shortest path between two elements of the subset. The convex hull of a set of vertices is the smallest convex set containing the set. We study two games in which two players take turns selecting vertices of a graph until the convex hull of the remaining unselected vertices is too small. The last player…
▽ More
A subset of the vertex set of a graph is geodetically convex if it contains every vertex on any shortest path between two elements of the subset. The convex hull of a set of vertices is the smallest convex set containing the set. We study two games in which two players take turns selecting vertices of a graph until the convex hull of the remaining unselected vertices is too small. The last player to move is the winner. The achievement game ends when the convex hull of the unselected vertices does not contain every vertex in the graph. In the avoidance game, the convex hull of the remaining vertices must contain every vertex. We determine the nim-number of these games for the family of grid graphs. We also provide some results for lattice graphs. Key tools in this analysis are delayed gamegraphs, option preserving maps, and case analysis diagrams.
△ Less
Submitted 13 May, 2025;
originally announced May 2025.
-
Isomorphism Theorems for Impartial Combinatorial Games
Authors:
Mikhail Baltushkin,
Dana C. Ernst,
Nándor Sieben
Abstract:
We introduce the category of optiongraphs and option preserving maps as a model to study impartial combinatorial games. Outcomes, remoteness, and extended nim-values are preserved under option preserving maps. We show that the four isomorphism theorems from universal algebra are valid in this category. Quotient optiongraphs, including the minimum quotient, provide simplifications that can help in…
▽ More
We introduce the category of optiongraphs and option preserving maps as a model to study impartial combinatorial games. Outcomes, remoteness, and extended nim-values are preserved under option preserving maps. We show that the four isomorphism theorems from universal algebra are valid in this category. Quotient optiongraphs, including the minimum quotient, provide simplifications that can help in the analysis of games.
△ Less
Submitted 7 May, 2025;
originally announced May 2025.
-
Invariant Polydiagonal Subspaces of Matrices and Constraint Programming
Authors:
John M. Neuberger,
Nándor Sieben,
James W. Swift
Abstract:
In a polydiagonal subspace of the Euclidean space, certain components of the vectors are equal (synchrony) or opposite (anti-synchrony). Polydiagonal subspaces invariant under a matrix have many applications in graph theory and dynamical systems, especially coupled cell networks. We describe invariant polydiagonal subspaces in terms of coloring vectors. This approach gives an easy formulation of a…
▽ More
In a polydiagonal subspace of the Euclidean space, certain components of the vectors are equal (synchrony) or opposite (anti-synchrony). Polydiagonal subspaces invariant under a matrix have many applications in graph theory and dynamical systems, especially coupled cell networks. We describe invariant polydiagonal subspaces in terms of coloring vectors. This approach gives an easy formulation of a constraint satisfaction problem for finding invariant polydiagonal subspaces. Solving the resulting problem with existing state-of-the-art constraint solvers greatly outperforms the currently known algorithms.
△ Less
Submitted 12 December, 2024; v1 submitted 16 November, 2024;
originally announced November 2024.
-
Categories of impartial rulegraphs and gamegraphs
Authors:
Bojan Bašić,
Paul Ellis,
Dana C. Ernst,
Danijela Popović,
Nándor Sieben
Abstract:
The traditional mathematical model for an impartial combinatorial game is defined recursively as a set of the options of the game, where the options are games themselves. We propose a model called gamegraph, together with its generalization rulegraph, based on the natural description of a game as a digraph where the vertices are positions and the arrows represent possible moves. Such digraphs form…
▽ More
The traditional mathematical model for an impartial combinatorial game is defined recursively as a set of the options of the game, where the options are games themselves. We propose a model called gamegraph, together with its generalization rulegraph, based on the natural description of a game as a digraph where the vertices are positions and the arrows represent possible moves. Such digraphs form a category where the morphisms are option preserving maps. We study several versions of this category. Our development includes congruence relations, quotients, and isomorphism theorems and is analogous to the corresponding notions in universal algebra. The quotient by the maximum congruence relation produces an object that is essentially equivalent to the traditional model. After the development of the general theory, we count the number of non-isomorphic gamegraphs and rulegraphs by formal birthday and the number of positions.
△ Less
Submitted 3 November, 2024; v1 submitted 1 December, 2023;
originally announced December 2023.
-
A Bifurcation Lemma for Invariant Subspaces
Authors:
John M. Neuberger,
Nándor Sieben,
James W. Swift
Abstract:
The Bifurcation from a Simple Eigenvalue (BSE) Theorem is the foundation of steady-state bifurcation theory for one-parameter families of functions. When eigenvalues of multiplicity greater than one are caused by symmetry, the Equivariant Branching Lemma (EBL) can often be applied to predict the branching of solutions. The EBL can be interpreted as the application of the BSE Theorem to a fixed poi…
▽ More
The Bifurcation from a Simple Eigenvalue (BSE) Theorem is the foundation of steady-state bifurcation theory for one-parameter families of functions. When eigenvalues of multiplicity greater than one are caused by symmetry, the Equivariant Branching Lemma (EBL) can often be applied to predict the branching of solutions. The EBL can be interpreted as the application of the BSE Theorem to a fixed point subspace. There are functions which have invariant linear subspaces that are not caused by symmetry. For example, networks of identical coupled cells often have such invariant subspaces. We present a generalization of the EBL, where the BSE Theorem is applied to nested invariant subspaces. We call this the Bifurcation Lemma for Invariant Subspaces (BLIS). We give several examples of bifurcations and determine if BSE, EBL, or BLIS apply. We extend our previous automated bifurcation analysis algorithms to use the BLIS to simplify and improve the detection of branches created at bifurcations.
△ Less
Submitted 6 June, 2024; v1 submitted 20 August, 2023;
originally announced August 2023.
-
Impartial geodetic building games on graphs
Authors:
Bret J. Benesh,
Dana C. Ernst,
Marie Meyer,
Sarah Salmon,
Nandor Sieben
Abstract:
A subset of the vertex set of a graph is geodetically convex if it contains every vertex on any shortest path between two elements of the set. The convex hull of a set of vertices is the smallest convex set containing the set. We study variations of two games introduced by Buckley and Harary, where two players take turns selecting previously-unselected vertices of a graph until the convex hull of…
▽ More
A subset of the vertex set of a graph is geodetically convex if it contains every vertex on any shortest path between two elements of the set. The convex hull of a set of vertices is the smallest convex set containing the set. We study variations of two games introduced by Buckley and Harary, where two players take turns selecting previously-unselected vertices of a graph until the convex hull of the jointly-selected vertices becomes too large. The last player to move is the winner. The achievement game ends when the convex hull contains every vertex. In the avoidance game, the convex hull is not allowed to contain every vertex. We determine the nim-value of these games for several graph families.
△ Less
Submitted 15 October, 2024; v1 submitted 13 July, 2023;
originally announced July 2023.
-
Invariant Synchrony and Anti-Synchrony Subspaces of Weighted Networks
Authors:
Eddie Nijholt,
Nándor Sieben,
James W. Swift
Abstract:
The internal state of a cell in a coupled cell network is often described by an element of a vector space. Synchrony or anti-synchrony occurs when some of the cells are in the same or the opposite state. Subspaces of the state space containing cells in synchrony or anti-synchrony are called polydiagonal subspaces. We study the properties of several types of polydiagonal subspaces of weighted coupl…
▽ More
The internal state of a cell in a coupled cell network is often described by an element of a vector space. Synchrony or anti-synchrony occurs when some of the cells are in the same or the opposite state. Subspaces of the state space containing cells in synchrony or anti-synchrony are called polydiagonal subspaces. We study the properties of several types of polydiagonal subspaces of weighted coupled cell networks. In particular, we count the number of such subspaces and study when they are dynamically invariant. Of special interest are the evenly tagged anti-synchrony subspaces in which the number of cells in a certain state is equal to the number of cells in the opposite state. Our main theorem shows that the dynamically invariant polydiagonal subspaces determined by certain types of couplings are either synchrony subspaces or evenly tagged anti-synchrony subspaces. A special case of this result confirms a conjecture about difference-coupled graph network systems.
△ Less
Submitted 31 May, 2023; v1 submitted 31 May, 2022;
originally announced June 2022.
-
Impartial Achievement Games on Convex Geometries
Authors:
Stephanie McCoy,
Nándor Sieben
Abstract:
We study a game where two players take turns selecting points of a convex geometry until the convex closure of the jointly selected points contains all the points of a given winning set. The winner of the game is the last player able to move. We develop a structure theory for these games and use it to determine the nim number for several classes of convex geometries, including one-dimensional affi…
▽ More
We study a game where two players take turns selecting points of a convex geometry until the convex closure of the jointly selected points contains all the points of a given winning set. The winner of the game is the last player able to move. We develop a structure theory for these games and use it to determine the nim number for several classes of convex geometries, including one-dimensional affine geometries, vertex geometries of trees, and games with a winning set consisting of extreme points.
△ Less
Submitted 17 April, 2021; v1 submitted 21 October, 2020;
originally announced October 2020.
-
The spectrum of nim-values for achievement games for generating finite groups
Authors:
Bret J. Benesh,
Dana C. Ernst,
Nandor Sieben
Abstract:
We study an impartial achievement game introduced by Anderson and Harary. The game is played by two players who alternately select previously unselected elements of a finite group. The game ends when the jointly selected elements generate the group. The last player able to make a move is the winner of the game. We prove that the spectrum of nim-values of these games is $\{0,1,2,3,4\}$. This positi…
▽ More
We study an impartial achievement game introduced by Anderson and Harary. The game is played by two players who alternately select previously unselected elements of a finite group. The game ends when the jointly selected elements generate the group. The last player able to make a move is the winner of the game. We prove that the spectrum of nim-values of these games is $\{0,1,2,3,4\}$. This positively answers two conjectures from a previous paper by the last two authors.
△ Less
Submitted 13 July, 2023; v1 submitted 19 April, 2020;
originally announced April 2020.
-
Invariant synchrony subspaces of sets of matrices
Authors:
John M. Neuberger,
Nandor Sieben,
James W. Swift
Abstract:
A synchrony subspace of R^n is defined by setting certain components of the vectors equal according to an equivalence relation. Synchrony subspaces invariant under a given set of square matrices form a lattice. Applications of these invariant synchrony subspaces include equitable and almost equitable partitions of the vertices of a graph used in many areas of graph theory, balanced and exo-balance…
▽ More
A synchrony subspace of R^n is defined by setting certain components of the vectors equal according to an equivalence relation. Synchrony subspaces invariant under a given set of square matrices form a lattice. Applications of these invariant synchrony subspaces include equitable and almost equitable partitions of the vertices of a graph used in many areas of graph theory, balanced and exo-balanced partitions of coupled cell networks, and coset partitions of Cayley graphs. We study the basic properties of invariant synchrony subspaces and provide many examples of the applications. We also present what we call the split and cir algorithm for finding the lattice of invariant synchrony subspaces. Our theory and algorithm is further generalized for non-square matrices. This leads to the notion of tactical decompositions studied for its application in design theory.
△ Less
Submitted 18 February, 2020; v1 submitted 15 August, 2019;
originally announced August 2019.
-
Synchrony and Anti-Synchrony for Difference-Coupled Vector Fields on Graph Network Systems
Authors:
John M. Neuberger,
Nándor Sieben,
James W. Swift
Abstract:
We define a graph network to be a coupled cell network where there are only one type of cell and one type of symmetric coupling between the cells. For a difference-coupled vector field on a graph network system, all the cells have the same internal dynamics, and the coupling between cells is identical, symmetric, and depends only on the difference of the states of the interacting cells. We define…
▽ More
We define a graph network to be a coupled cell network where there are only one type of cell and one type of symmetric coupling between the cells. For a difference-coupled vector field on a graph network system, all the cells have the same internal dynamics, and the coupling between cells is identical, symmetric, and depends only on the difference of the states of the interacting cells. We define four nested sets of difference-coupled vector fields by adding further restrictions on the internal dynamics and the coupling functions. These restrictions require that these functions preserve zero or are odd or linear. We characterize the synchrony and anti-synchrony subspaces with respect to these four subsets of admissible vector fields. Synchrony and anti-synchrony subspaces are determined by partitions and matched partitions of the cells that satisfy certain balance conditions. We compute the lattice of synchrony and anti-synchrony subspaces for several graph networks. We also apply our theory to systems of coupled van der Pol oscillators.
△ Less
Submitted 1 March, 2019; v1 submitted 10 May, 2018;
originally announced May 2018.
-
Impartial achievement games for generating nilpotent groups
Authors:
Bret J. Benesh,
Dana C. Ernst,
Nandor Sieben
Abstract:
We study an impartial game introduced by Anderson and Harary. The game is played by two players who alternately choose previously-unselected elements of a finite group. The first player who builds a generating set from the jointly-selected elements wins. We determine the nim-numbers of this game for finite groups of the form $T \times H$, where $T$ is a $2$-group and $H$ is a group of odd order. T…
▽ More
We study an impartial game introduced by Anderson and Harary. The game is played by two players who alternately choose previously-unselected elements of a finite group. The first player who builds a generating set from the jointly-selected elements wins. We determine the nim-numbers of this game for finite groups of the form $T \times H$, where $T$ is a $2$-group and $H$ is a group of odd order. This includes all nilpotent and hence abelian groups.
△ Less
Submitted 16 November, 2018; v1 submitted 3 May, 2018;
originally announced May 2018.
-
Impartial achievement games for generating generalized dihedral groups
Authors:
Bret J. Benesh,
Dana C. Ernst,
Nandor Sieben
Abstract:
We study an impartial game introduced by Anderson and Harary. This game is played by two players who alternately choose previously-unselected elements of a finite group. The first player who builds a generating set from the jointly-selected elements wins. We determine the nim-numbers of this game for generalized dihedral groups, which are of the form…
▽ More
We study an impartial game introduced by Anderson and Harary. This game is played by two players who alternately choose previously-unselected elements of a finite group. The first player who builds a generating set from the jointly-selected elements wins. We determine the nim-numbers of this game for generalized dihedral groups, which are of the form $\operatorname{Dih}(A)= \mathbb{Z}_2 \ltimes A$ for a finite abelian group $A$.
△ Less
Submitted 19 May, 2017; v1 submitted 31 July, 2016;
originally announced August 2016.
-
Impartial avoidance and achievement games for generating symmetric and alternating groups
Authors:
Bret J. Benesh,
Dana C. Ernst,
Nandor Sieben
Abstract:
We study two impartial games introduced by Anderson and Harary. Both games are played by two players who alternately select previously-unselected elements of a finite group. The first player who builds a generating set from the jointly-selected elements wins the first game. The first player who cannot select an element without building a generating set loses the second game. We determine the nim-n…
▽ More
We study two impartial games introduced by Anderson and Harary. Both games are played by two players who alternately select previously-unselected elements of a finite group. The first player who builds a generating set from the jointly-selected elements wins the first game. The first player who cannot select an element without building a generating set loses the second game. We determine the nim-numbers, and therefore the outcomes, of these games for symmetric and alternating groups.
△ Less
Submitted 14 July, 2016; v1 submitted 14 August, 2015;
originally announced August 2015.
-
Impartial avoidance games for generating finite groups
Authors:
Bret J. Benesh,
Dana C. Ernst,
Nandor Sieben
Abstract:
We study an impartial avoidance game introduced by Anderson and Harary. The game is played by two players who alternately select previously unselected elements of a finite group. The first player who cannot select an element without making the set of jointly-selected elements into a generating set for the group loses the game. We develop criteria on the maximal subgroups that determine the nim-num…
▽ More
We study an impartial avoidance game introduced by Anderson and Harary. The game is played by two players who alternately select previously unselected elements of a finite group. The first player who cannot select an element without making the set of jointly-selected elements into a generating set for the group loses the game. We develop criteria on the maximal subgroups that determine the nim-numbers of these games and use our criteria to study our game for several families of groups, including nilpotent, sporadic, and symmetric groups.
△ Less
Submitted 31 January, 2016; v1 submitted 23 June, 2015;
originally announced June 2015.
-
Impartial achievement and avoidance games for generating finite groups
Authors:
Dana C. Ernst,
Nandor Sieben
Abstract:
We study two impartial games introduced by Anderson and Harary and further developed by Barnes. Both games are played by two players who alternately select previously unselected elements of a finite group. The first player who builds a generating set from the jointly selected elements wins the first game. The first player who cannot select an element without building a generating set loses the sec…
▽ More
We study two impartial games introduced by Anderson and Harary and further developed by Barnes. Both games are played by two players who alternately select previously unselected elements of a finite group. The first player who builds a generating set from the jointly selected elements wins the first game. The first player who cannot select an element without building a generating set loses the second game. After the development of some general results, we determine the nim-numbers of these games for abelian and dihedral groups. We also present some conjectures based on computer calculations. Our main computational and theoretical tool is the structure diagram of a game, which is a type of identification digraph of the game digraph that is compatible with the nim-numbers of the positions. Structure diagrams also provide simple yet intuitive visualizations of these games that capture the complexity of the positions.
△ Less
Submitted 30 September, 2017; v1 submitted 3 July, 2014;
originally announced July 2014.
-
Newton's Method and Symmetry for Semilinear Elliptic PDE on the Cube
Authors:
John M. Neuberger,
Nandor Sieben,
James W. Swift
Abstract:
We seek discrete approximations to solutions $u:Ω\to R$ of semilinear elliptic partial differential equations of the form $Δu + f_s(u) = 0$, where $f_s$ is a one-parameter family of nonlinear functions and $Ω$ is a domain in $R^d$. The main achievement of this paper is the approximation of solutions to the PDE on the cube $Ω=(0,π)^3 \subseteq R^3$. There are 323 possible isotropy subgroups of func…
▽ More
We seek discrete approximations to solutions $u:Ω\to R$ of semilinear elliptic partial differential equations of the form $Δu + f_s(u) = 0$, where $f_s$ is a one-parameter family of nonlinear functions and $Ω$ is a domain in $R^d$. The main achievement of this paper is the approximation of solutions to the PDE on the cube $Ω=(0,π)^3 \subseteq R^3$. There are 323 possible isotropy subgroups of functions on the cube, which fall into 99 conjugacy classes. The bifurcations with symmetry in this problem are quite interesting, including many with 3-dimensional critical eigenspaces. Our automated symmetry analysis is necessary with so many isotropy subgroups and bifurcations among them, and it allows our code to follow one branch in each equivalence class that is created at a bifurcation point. Our most complicated result is the complete analysis of a degenerate bifurcation with a 6-dimensional critical eigenspace.
This article extends the authors' work in {\it Automated Bifurcation Analysis for Nonlinear Elliptic Partial Difference Equations on Graphs} (Int. J. of Bifurcation and Chaos, 2009), wherein they combined symmetry analysis with modified implementations of the gradient Newton-Galerkin algorithm (GNGA, Neuberger and Swift) to automatically generate bifurcation diagrams and solution graphics for small, discrete problems with large symmetry groups. The code described in the current paper is efficiently implemented in parallel, allowing us to investigate a relatively fine-mesh discretization of the cube. We use the methodology and corresponding library presented in our paper {\it An MPI Implementation of a Self-Submitting Parallel Job Queue} (Int. J. of Parallel Prog., 2012).
△ Less
Submitted 29 January, 2013;
originally announced January 2013.
-
An MPI Implementation of a Self-Submitting Parallel Job Queue
Authors:
John M. Neuberger,
Nandor Sieben,
James W. Swift
Abstract:
We present a simple and easy to apply methodology for using high-level self-submitting parallel job queues in an MPI environment. Using C++, we implemented a library of functions, MPQueue, both for testing our concepts and for use in real applications. In particular, we have applied our ideas toward solving computational combinatorics problems and for finding bifurcation diagrams of solutions of p…
▽ More
We present a simple and easy to apply methodology for using high-level self-submitting parallel job queues in an MPI environment. Using C++, we implemented a library of functions, MPQueue, both for testing our concepts and for use in real applications. In particular, we have applied our ideas toward solving computational combinatorics problems and for finding bifurcation diagrams of solutions of partial differential equations (PDE). Our method is general and can be applied in many situations without a lot of programming effort. The key idea is that workers themselves can easily submit new jobs to the currently running job queue. Our applications involve complicated data structures, so we employ serialization to allow data to be effortlessly passed between nodes. Using our library, one can solve large problems in parallel without being an expert in MPI. We demonstrate our methodology and the features of the library with several example programs, and give some results from our current PDE research. We show that our techniques are efficient and effective via overhead and scaling experiments.
△ Less
Submitted 19 April, 2012;
originally announced April 2012.
-
Biased Weak Polyform Achievement Games
Authors:
Ian Norris,
Nandor Sieben
Abstract:
In a biased weak $(a,b)$ polyform achievement game, the maker and the breaker alternately mark $a,b$ previously unmarked cells on an infinite board, respectively. The maker's goal is to mark a set of cells congruent to a polyform. The breaker tries to prevent the maker from achieving this goal. A winning maker strategy for the $(a,b)$ game can be built from winning strategies for games involving f…
▽ More
In a biased weak $(a,b)$ polyform achievement game, the maker and the breaker alternately mark $a,b$ previously unmarked cells on an infinite board, respectively. The maker's goal is to mark a set of cells congruent to a polyform. The breaker tries to prevent the maker from achieving this goal. A winning maker strategy for the $(a,b)$ game can be built from winning strategies for games involving fewer marks for the maker and the breaker. A new type of breaker strategy called the priority strategy is introduced. The winners are determined for all $(a,b)$ pairs for polyiamonds and polyominoes up to size four.
△ Less
Submitted 10 July, 2011;
originally announced July 2011.
-
Automated Bifurcation Analysis for Nonlinear Elliptic Partial Difference Equations on Graphs
Authors:
John M. Neuberger,
Nandor Sieben,
James W. Swift
Abstract:
We seek solutions $u\in\R^n$ to the semilinear elliptic partial difference equation $-Lu + f_s(u) = 0$, where $L$ is the matrix corresponding to the Laplacian operator on a graph $G$ and $f_s$ is a one-parameter family of nonlinear functions. This article combines the ideas introduced by the authors in two papers: a) {\it Nonlinear Elliptic Partial Difference Equations on Graphs} (J. Experimental…
▽ More
We seek solutions $u\in\R^n$ to the semilinear elliptic partial difference equation $-Lu + f_s(u) = 0$, where $L$ is the matrix corresponding to the Laplacian operator on a graph $G$ and $f_s$ is a one-parameter family of nonlinear functions. This article combines the ideas introduced by the authors in two papers: a) {\it Nonlinear Elliptic Partial Difference Equations on Graphs} (J. Experimental Mathematics, 2006), which introduces analytical and numerical techniques for solving such equations, and b) {\it Symmetry and Automated Branch Following for a Semilinear Elliptic PDE on a Fractal Region} wherein we present some of our recent advances concerning symmetry, bifurcation, and automation fo
We apply the symmetry analysis found in the SIAM paper to arbitrary graphs in order to obtain better initial guesses for Newton's method, create informative graphics, and be in the underlying variational structure. We use two modified implementations of the gradient Newton-Galerkin algorithm (GNGA, Neuberger and Swift) to follow bifurcation branches in a robust way. By handling difficulties that arise when encountering accidental degeneracies and higher-dimension we can find many solutions of many symmetry types to the discrete nonlinear system. We present a selection of experimental results which demonstrate our algorithm's capability to automatically generate bifurcation diagrams and solution graphics starting with only an edgelis of a graph. We highlight interesting symmetry and variational phenomena.
△ Less
Submitted 11 October, 2010;
originally announced October 2010.
-
Symmetry and Automated Branch Following for a Semilinear Elliptic PDE on a Fractal Region
Authors:
John M. Neuberger,
Nandor Sieben,
James W. Swift
Abstract:
We apply the Gradient-Newton-Galerkin-Algorithm (GNGA) of Neuberger & Swift to find solutions to a semilinear elliptic Dirichlet problem on the region whose boundary is the Koch snowflake. In a recent paper, we described an accurate and efficient method for generating a basis of eigenfunctions of the Laplacian on this region. In that work, we used the symmetry of the snowflake region to analyze an…
▽ More
We apply the Gradient-Newton-Galerkin-Algorithm (GNGA) of Neuberger & Swift to find solutions to a semilinear elliptic Dirichlet problem on the region whose boundary is the Koch snowflake. In a recent paper, we described an accurate and efficient method for generating a basis of eigenfunctions of the Laplacian on this region. In that work, we used the symmetry of the snowflake region to analyze and post-process the basis, rendering it suitable for input to the GNGA. The GNGA uses Newton's method on the eigenfunction expansion coefficients to find solutions to the semilinear problem. This article introduces the bifurcation digraph, an extension of the lattice of isotropy subgroups. For our example, the bifurcation digraph shows the 23 possible symmetry types of solutions to the PDE and the 59 generic symmetry-breaking bifurcations among these symmetry types. Our numerical code uses continuation methods, and follows branches created at symmetry-breaking bifurcations, so the human user does not need to supply initial guesses for Newton's method. Starting from the known trivial solution, the code automatically finds at least one solution with each of the symmetry types that we predict can exist. Such computationally intensive investigations necessitated the writing of automated branch following code, whereby symmetry information was used to reduce the number of computations per GNGA execution and to make intelligent branch following decisions at bifurcation points.
△ Less
Submitted 5 October, 2010;
originally announced October 2010.
-
Computing Eigenfunctions on the Koch Snowflake: A New Grid and Symmetry
Authors:
John M. Neuberger,
Nandor Sieben,
James W. Swift
Abstract:
In this paper we numerically solve the eigenvalue problem $Δu + λu = 0$ on the fractal region defined by the Koch Snowflake, with zero-Dirichlet or zero-Neumann boundary conditions. The Laplacian with boundary conditions is approximated by a large symmetric matrix. The eigenvalues and eigenvectors of this matrix are computed by ARPACK. We impose the boundary conditions in a way that gives improved…
▽ More
In this paper we numerically solve the eigenvalue problem $Δu + λu = 0$ on the fractal region defined by the Koch Snowflake, with zero-Dirichlet or zero-Neumann boundary conditions. The Laplacian with boundary conditions is approximated by a large symmetric matrix. The eigenvalues and eigenvectors of this matrix are computed by ARPACK. We impose the boundary conditions in a way that gives improved accuracy over the previous computations of Lapidus, Neuberger, Renka & Griffith. We extrapolate the results for grid spacing $h$ to the limit $h \rightarrow 0$ in order to estimate eigenvalues of the Laplacian and compare our results to those of Lapdus et al. We analyze the symmetry of the region to explain the multiplicity-two eigenvalues, and present a canonical choice of the two eigenfunctions that span each two-dimensional eigenspace.
△ Less
Submitted 5 October, 2010;
originally announced October 2010.
-
Rectangular Polyomino Set Weak (1,2)-achievement Games
Authors:
Edgar Fisher,
Nandor Sieben
Abstract:
In a polyomino set (1,2)-achievement game the maker and the breaker alternately mark one and two previously unmarked cells respectively. The maker's goal is to mark a set of cells congruent to one of a given set of polyominoes. The breaker tries to prevent the maker from achieving his goal. The teams of polyominoes for which the maker has a winning strategy is determined up to size 4. In set achie…
▽ More
In a polyomino set (1,2)-achievement game the maker and the breaker alternately mark one and two previously unmarked cells respectively. The maker's goal is to mark a set of cells congruent to one of a given set of polyominoes. The breaker tries to prevent the maker from achieving his goal. The teams of polyominoes for which the maker has a winning strategy is determined up to size 4. In set achievement games, it is natural to study infinitely large polyominoes. This enables the construction of super winners that characterize all winning teams up to a certain size.
△ Less
Submitted 3 October, 2010;
originally announced October 2010.
-
Morita Equivalence of C^*-Crossed Products by Inverse Semigroup Actions and Partial Actions
Authors:
Nandor Sieben
Abstract:
Morita equivalence of twisted inverse semigroup actions and discrete twisted partial actions are introduced. Morita equivalent actions have Morita equivalent crossed products.
Morita equivalence of twisted inverse semigroup actions and discrete twisted partial actions are introduced. Morita equivalent actions have Morita equivalent crossed products.
△ Less
Submitted 3 October, 2010;
originally announced October 2010.
-
Bounds on the Rubbling and Optimal Rubbling Numbers of Graphs
Authors:
Gyula Y. Katona,
Nandor Sieben
Abstract:
A pebbling move on a graph removes two pebbles at a vertex and adds one pebble at an adjacent vertex. Rubbling is a version of pebbling where an additional move is allowed. In this new move, one pebble each is removed at vertices $v$ and $w$ adjacent to a vertex $u$, and an extra pebble is added at vertex $u$. A vertex is reachable from a pebble distribution if it is possible to move a pebble to t…
▽ More
A pebbling move on a graph removes two pebbles at a vertex and adds one pebble at an adjacent vertex. Rubbling is a version of pebbling where an additional move is allowed. In this new move, one pebble each is removed at vertices $v$ and $w$ adjacent to a vertex $u$, and an extra pebble is added at vertex $u$. A vertex is reachable from a pebble distribution if it is possible to move a pebble to that vertex using rubbling moves. The rubbling number is the smallest number $m$ needed to guarantee that any vertex is reachable from any pebble distribution of $m$ pebbles. The optimal rubbling number is the smallest number $m$ needed to guarantee a pebble distribution of $m$ pebbles from which any vertex is reachable. We give bounds for rubbling and optimal rubbling numbers. In particular, we find an upper bound for the rubbling number of $n$-vertex, diameter $d$ graphs, and estimates for the maximum rubbling number of diameter 2 graphs. We also give a sharp upper bound for the optimal rubbling number, and sharp upper and lower bounds in terms of the diameter.
△ Less
Submitted 27 September, 2010;
originally announced September 2010.
-
Critical branching random walk in an IID environment
Authors:
Janos Englander,
Nandor Sieben
Abstract:
Using a high performance computer cluster, we run simulations regarding an open problem about d-dimensional critical branching random walks in a random IID environment The environment is given by the rule that at every site independently, with probability p>0, there is a cookie, completely suppressing the branching of any particle located there. Abstract. The simulations suggest self averaging: th…
▽ More
Using a high performance computer cluster, we run simulations regarding an open problem about d-dimensional critical branching random walks in a random IID environment The environment is given by the rule that at every site independently, with probability p>0, there is a cookie, completely suppressing the branching of any particle located there. Abstract. The simulations suggest self averaging: the asymptotic survival probability in n steps is the same in the annealed and the quenched case; it is \frac{2}{qn}, where q:=1-p. This particular asymptotics indicates a non-trivial phenomenon: the tail of the survival probability (both in the annealed and the quenched case) is the same as in the case of non-spatial unit time critical branching, where the branching rule is modified: branching only takes place with probability q for every particle at every iteration.
△ Less
Submitted 25 March, 2010;
originally announced March 2010.
-
A graph pebbling algorithm on weighted graphs
Authors:
Nandor Sieben
Abstract:
A pebbling move on a weighted graph removes some pebbles at a vertex and adds one pebble at an adjacent vertex. The number of pebbles removed is the weight of the edge connecting the vertices. A vertex is reachable from a pebble distribution if it is possible to move a pebble to that vertex using pebbling moves. The pebbling number of a weighted graph is the smallest number $m$ needed to guarant…
▽ More
A pebbling move on a weighted graph removes some pebbles at a vertex and adds one pebble at an adjacent vertex. The number of pebbles removed is the weight of the edge connecting the vertices. A vertex is reachable from a pebble distribution if it is possible to move a pebble to that vertex using pebbling moves. The pebbling number of a weighted graph is the smallest number $m$ needed to guarantee that any vertex is reachable from any pebble distribution of $m$ pebbles. Regular pebbling problems on unweighted graphs are special cases when the weight on every edge is 2. A regular pebbling problem often simplifies to a pebbling problem on a simpler weighted graph. We present an algorithm to find the pebbling number of weighted graphs. We use this algorithm together with graph simplifications to find the regular pebbling number of all connected graphs with at most nine vertices.
△ Less
Submitted 10 April, 2009;
originally announced April 2009.
-
Rubbling and Optimal Rubbling of Graphs
Authors:
Christopher Belford,
Nandor Sieben
Abstract:
A pebbling move on a graph removes two pebbles at a vertex and adds one pebble at an adjacent vertex. Rubbling is a version of pebbling where an additional move is allowed. In this new move one pebble is removed at vertices v and w adjacent to a vertex u and an extra pebble is added at vertex u. A vertex is reachable from a pebble distribution if it is possible to move a pebble to that vertex us…
▽ More
A pebbling move on a graph removes two pebbles at a vertex and adds one pebble at an adjacent vertex. Rubbling is a version of pebbling where an additional move is allowed. In this new move one pebble is removed at vertices v and w adjacent to a vertex u and an extra pebble is added at vertex u. A vertex is reachable from a pebble distribution if it is possible to move a pebble to that vertex using rubbling moves. The rubbling number of a graph is the smallest number m needed to guarantee that any vertex is reachable from any pebble distribution of m pebbles. The optimal rubbling number is the smallest number m needed to guarantee a pebble distribution of m pebbles from which any vertex is reachable. We determine the rubbling and optimal rubbling number of some families of graphs including cycles.
△ Less
Submitted 28 July, 2007;
originally announced July 2007.
-
Avoidable Sets in The Bicyclic Inverse Semigroup
Authors:
Nandor Sieben
Abstract:
A subset $U$ of a set $S$ with a binary operation is called {\it avoidable} if $S$ can be partitioned into two subsets $A$ and $B$ such that no element of $U$ can be written as a product of two distinct elements of $A$ or as the product of two distinct elements of $B$. The avoidable sets of the bicyclic inverse semigroup are classified.
A subset $U$ of a set $S$ with a binary operation is called {\it avoidable} if $S$ can be partitioned into two subsets $A$ and $B$ such that no element of $U$ can be written as a product of two distinct elements of $A$ or as the product of two distinct elements of $B$. The avoidable sets of the bicyclic inverse semigroup are classified.
△ Less
Submitted 24 June, 2007;
originally announced June 2007.
-
Perfect Pairs of Ideals and Duals in Numerical Semigroups
Authors:
Kurt Herzinger,
Stephen Wilson,
Nándor Sieben,
Jeff Rushall
Abstract:
This paper considers numerical semigroups $S$ that have a non-principal relative ideal $I$ such that $μ_S(I)μ_S(S-I)=μ_S(I+(S-I)) $. We show the existence of an infinite family of such which $I+(S-I)=S\backslash\{0\}$. We also show examples of such pairs that are not members of this family. We discuss the computational process used to find these examples and present some open questions pertainin…
▽ More
This paper considers numerical semigroups $S$ that have a non-principal relative ideal $I$ such that $μ_S(I)μ_S(S-I)=μ_S(I+(S-I)) $. We show the existence of an infinite family of such which $I+(S-I)=S\backslash\{0\}$. We also show examples of such pairs that are not members of this family. We discuss the computational process used to find these examples and present some open questions pertaining to them.
△ Less
Submitted 30 August, 2005;
originally announced August 2005.
-
A Note on Primitive Equivalence
Authors:
Nandor Sieben
Abstract:
Primitive equivalence of graphs and matrices was used by Enomoto, Fujii and Watatani to classify Cuntz-Krieger algebras of 3x3 irreducible matrices. In this paper it is shown that the definition of primitive equivalence can be simplified using primitive transfers of matrices that involve only two rows of the matrix.
Primitive equivalence of graphs and matrices was used by Enomoto, Fujii and Watatani to classify Cuntz-Krieger algebras of 3x3 irreducible matrices. In this paper it is shown that the definition of primitive equivalence can be simplified using primitive transfers of matrices that involve only two rows of the matrix.
△ Less
Submitted 5 April, 1999;
originally announced April 1999.
-
C*-equivalences of graphs
Authors:
D. Drinen,
N. Sieben
Abstract:
Several relations on graphs, including primitive equivalence, explosion equivalence and strong shift equivalence, are examined and shown to preserve either the graph groupoid, a construction of Kumjian, Pask, Raeburn, and Renault, or the groupoid of a pointed version of the graph. Thus these relations preserve either the isomorphism class or the Morita equivalence class of the graph C*-algebra,…
▽ More
Several relations on graphs, including primitive equivalence, explosion equivalence and strong shift equivalence, are examined and shown to preserve either the graph groupoid, a construction of Kumjian, Pask, Raeburn, and Renault, or the groupoid of a pointed version of the graph. Thus these relations preserve either the isomorphism class or the Morita equivalence class of the graph C*-algebra, as defined by Kumjian, Pask, and Raeburn.
△ Less
Submitted 3 February, 1999; v1 submitted 15 October, 1998;
originally announced October 1998.
-
C*-actions of r-discrete groupoids and inverse semigroups
Authors:
John Quigg,
Nandor Sieben
Abstract:
Groupoid actions on C*-bundles and inverse semigroup actions on C*-algebras are closely related when the groupoid is r-discrete.
Groupoid actions on C*-bundles and inverse semigroup actions on C*-algebras are closely related when the groupoid is r-discrete.
△ Less
Submitted 5 April, 1999; v1 submitted 1 January, 1998;
originally announced January 1998.
-
C*-Crossed Products by Twisted Inverse Semigroup Actions
Authors:
Nandor Sieben
Abstract:
The notions of Busby-Smith and Green type twisted actions are extended to discrete unital inverse semigroups. The connection between the two types, and the connection with twisted partial actions, are investigated. Decomposition theorems for the twisted crossed products are given.
The notions of Busby-Smith and Green type twisted actions are extended to discrete unital inverse semigroups. The connection between the two types, and the connection with twisted partial actions, are investigated. Decomposition theorems for the twisted crossed products are given.
△ Less
Submitted 24 December, 1997;
originally announced December 1997.
-
C*-crossed products by partial actions and actions of inverse semigroups
Authors:
Nandor Sieben
Abstract:
The recently developed theory of partial actions of discrete groups on $C^*$-algebras is extended. A related concept of actions of inverse semigroups on $C^*$-algebras is defined, including covariant representations and crossed products. The main result is that every partial crossed product is a crossed product by a semigroup action.
The recently developed theory of partial actions of discrete groups on $C^*$-algebras is extended. A related concept of actions of inverse semigroups on $C^*$-algebras is defined, including covariant representations and crossed products. The main result is that every partial crossed product is a crossed product by a semigroup action.
△ Less
Submitted 21 February, 1996;
originally announced February 1996.
