-
Young tableau reconstruction via minors
Authors:
William Q. Erickson,
Daniel Herden,
Jonathan Meddaugh,
Mark R. Sepanski,
Cordell Hammon,
Jasmin Mohn,
Indalecio Ruiz-Bolanos
Abstract:
The tableau reconstruction problem, posed by Monks (2009), asks the following. Starting with a standard Young tableau $T$, a 1-minor of $T$ is a tableau obtained by first deleting any cell of $T$, and then performing jeu de taquin slides to fill the resulting gap. This can be iterated to arrive at the set of $k$-minors of $T$. The problem is this: given $k$, what are the values of $n$ such that ev…
▽ More
The tableau reconstruction problem, posed by Monks (2009), asks the following. Starting with a standard Young tableau $T$, a 1-minor of $T$ is a tableau obtained by first deleting any cell of $T$, and then performing jeu de taquin slides to fill the resulting gap. This can be iterated to arrive at the set of $k$-minors of $T$. The problem is this: given $k$, what are the values of $n$ such that every tableau of size $n$ can be reconstructed from its set of $k$-minors? For $k=1$, the problem was recently solved by Cain and Lehtonen. In this paper, we solve the problem for $k=2$, proving the sharp lower bound $n \geq 8$. In the case of multisets of $k$-minors, we also give a lower bound for arbitrary $k$, as a first step toward a sharp bound in the general multiset case.
△ Less
Submitted 24 July, 2023;
originally announced July 2023.
-
Specification and $ω$-chaos in non-compact systems
Authors:
Cordell Hammon,
Jonathan Meddaugh,
Jasmin Mohn,
Brian Raines
Abstract:
In this paper, we demonstrate conditions under which a Lindelöf dynamical system exhibits $ω$-chaos. In particular, if a system exhibits a generalized version of the specification property and has at least three points with mutually separated orbit closures, then the system exhibits dense $ω$-chaos.
In this paper, we demonstrate conditions under which a Lindelöf dynamical system exhibits $ω$-chaos. In particular, if a system exhibits a generalized version of the specification property and has at least three points with mutually separated orbit closures, then the system exhibits dense $ω$-chaos.
△ Less
Submitted 25 May, 2023;
originally announced May 2023.
-
Klein cordial trees and odd cyclic cordial friendship graphs
Authors:
William Q. Erickson,
Daniel Herden,
Jonathan Meddaugh,
Mark R. Sepanski,
Isaac Echols,
Cordell Hammon,
Jorge Marchena-Menendez,
Jasmin Mohn,
Blanca Radillo-Murguia,
Indalecio Ruiz-Bolanos
Abstract:
For a graph $G$ and an abelian group $A$, a labeling of the vertices of $G$ induces a labeling of the edges via the sum of adjacent vertex labels. Hovey introduced the notion of an $A$-cordial vertex labeling when both the vertex and edge labels are as evenly distributed as possible. Much work has since been done with trees, hypertrees, paths, cycles, ladders, prisms, hypercubes, and bipartite gra…
▽ More
For a graph $G$ and an abelian group $A$, a labeling of the vertices of $G$ induces a labeling of the edges via the sum of adjacent vertex labels. Hovey introduced the notion of an $A$-cordial vertex labeling when both the vertex and edge labels are as evenly distributed as possible. Much work has since been done with trees, hypertrees, paths, cycles, ladders, prisms, hypercubes, and bipartite graphs. In this paper we show that all trees are $\mathbb{Z}_2^2$-cordial except for $P_4$ and $P_5$. In addition, we give numerous results relating to $\mathbb{Z}_m$-cordiality of the friendship graph $F_n$. The most general result shows that when $m$ is an odd multiple of $3$, then $F_n$ is $\mathbb{Z}_m$-cordial for all $n$. We also give a general conjecture to determine when $F_n$ is $\mathbb{Z}_m$-cordial.
△ Less
Submitted 18 November, 2022;
originally announced November 2022.
-
Vertex-edge marking score of certain triangular lattices
Authors:
Daniel Herden,
Jonathan Meddaugh,
Mark Sepanski,
Isaac Echols,
Nina Garcia-Montoya,
Cordell Hammon,
Guanjie Huang,
Adam Kraus,
Jorge Marchena Menendez,
Jasmin Mohn,
Rafael Morales Jiménez
Abstract:
The vertex-edge marking game is played between two players on a graph, $G=(V,E)$, with one player marking vertices and the other marking edges. The players want to minimize/maximize, respectively, the number of marked edges incident to an unmarked vertex. The vertex-edge coloring number for $G$ is the maximum score achievable with perfect play. Brešar et al., [4], give an upper bound of $5$ for th…
▽ More
The vertex-edge marking game is played between two players on a graph, $G=(V,E)$, with one player marking vertices and the other marking edges. The players want to minimize/maximize, respectively, the number of marked edges incident to an unmarked vertex. The vertex-edge coloring number for $G$ is the maximum score achievable with perfect play. Brešar et al., [4], give an upper bound of $5$ for the vertex-edge coloring number for finite planar graphs. It is not known whether the bound is tight. In this paper, in response to questions in [4], we show that the vertex-edge coloring number for the infinite regular triangularization of the plane is 4. We also give two general techniques that allow us to calculate the vertex-edge coloring number in many related triangularizations of the plane.
△ Less
Submitted 10 January, 2022;
originally announced January 2022.
-
On the $P_3$-hull number and infecting times of generalized Petersen graphs
Authors:
Daniel Herden,
Jonathan Meddaugh,
Mark Sepanski,
Isaac Echols,
Nina Garcia-Montoya,
Cordell Hammon,
Guanjie Huang,
Adam Kraus,
Jorge Marchena Menendez,
Jasmin Mohn,
Rafael Morales Jiménez
Abstract:
The $P_3$-hull number of a graph is the minimum cardinality of an infecting set of vertices that will eventually infect the entire graph under the rule that uninfected nodes become infected if two or more neighbors are infected. In this paper, we study the $P_3$-hull number for generalized Petersen graphs and a number of closely related graphs that arise from surgery or more generalized permutatio…
▽ More
The $P_3$-hull number of a graph is the minimum cardinality of an infecting set of vertices that will eventually infect the entire graph under the rule that uninfected nodes become infected if two or more neighbors are infected. In this paper, we study the $P_3$-hull number for generalized Petersen graphs and a number of closely related graphs that arise from surgery or more generalized permutations. In addition, the number of components of the complement of an infecting set of minimum cardinality is calculated for the generalized Petersen graph and shown to always be $1$ or $2$. Moreover, infecting times for infecting sets of minimum cardinality are studied. Bounds are provided and complete information is given in special cases.
△ Less
Submitted 29 September, 2022; v1 submitted 31 December, 2021;
originally announced January 2022.
-
Shadowing, recurrence, and rigidity in dynamical systems
Authors:
Jonathan Meddaugh
Abstract:
In this paper we examine the interplay between recurrence properties and the shadowing property in dynamical systems on compact metric spaces. In particular, we demonstrate that if the dynamical system $(X,f)$ has shadowing, then it is recurrent if and only if it is minimal. Furthermore, we show that a uniformly rigid system $(X,f)$ has shadowing if and only if $X$ is totally disconnected and use…
▽ More
In this paper we examine the interplay between recurrence properties and the shadowing property in dynamical systems on compact metric spaces. In particular, we demonstrate that if the dynamical system $(X,f)$ has shadowing, then it is recurrent if and only if it is minimal. Furthermore, we show that a uniformly rigid system $(X,f)$ has shadowing if and only if $X$ is totally disconnected and use this to demonstrate the existence of a space $X$ for which no surjective system $(X,f)$ has shadowing. We further refine these results to discuss the dynamics that can occur in spaces with compact space of self-maps.
△ Less
Submitted 19 November, 2021;
originally announced November 2021.
-
Shadowing as a Structural Property of the Space of Dynamical Systems
Authors:
Jonathan Meddaugh
Abstract:
We demonstrate that there is a large class of compact metric spaces for which the shadowing property can be characterized as a structural property of the space of dynamical systems. We also demonstrate for this class of spaces, that in order to determine whether a system has shadowing, it is sufficient to check that continuously generated pseudo-orbits can be shadowed.
We demonstrate that there is a large class of compact metric spaces for which the shadowing property can be characterized as a structural property of the space of dynamical systems. We also demonstrate for this class of spaces, that in order to determine whether a system has shadowing, it is sufficient to check that continuously generated pseudo-orbits can be shadowed.
△ Less
Submitted 29 June, 2021; v1 submitted 3 June, 2021;
originally announced June 2021.
-
A characterization of $ω$-limit sets in subshifts of Baire space
Authors:
Jonathan Meddaugh,
Brian Raines
Abstract:
In this paper we consider the structure of $ω$-limit sets in subshifts of Baire space. We consider both subshifts of finite type and subshifts of bounded type and we demonstrate that many classical structure theorems for $ω$-limit sets fail in this context. Nevertheless, we obtain characterizations of $ω$-limit sets in subshift of finite types and of attracting $ω$-limit sets in subshifts of bound…
▽ More
In this paper we consider the structure of $ω$-limit sets in subshifts of Baire space. We consider both subshifts of finite type and subshifts of bounded type and we demonstrate that many classical structure theorems for $ω$-limit sets fail in this context. Nevertheless, we obtain characterizations of $ω$-limit sets in subshift of finite types and of attracting $ω$-limit sets in subshifts of bounded type.
△ Less
Submitted 19 June, 2020;
originally announced June 2020.
-
Expansivity and unique shadowing
Authors:
Chris Good,
Sergio Macías,
Jonathan Meddaugh,
Joel Mitchell,
Joe Thomas
Abstract:
Let $f\colon X\to X$ be a continuous function on a compact metric space. We show that shadowing is equivalent to backwards shadowing and two-sided shadowing when the map $f$ is onto. Using this we go on to show that, for expansive surjective maps the properties shadowing, two-sided shadowing, s-limit shadowing and two-sided s-limit shadowing are equivalent. We show that $f$ is positively expansive…
▽ More
Let $f\colon X\to X$ be a continuous function on a compact metric space. We show that shadowing is equivalent to backwards shadowing and two-sided shadowing when the map $f$ is onto. Using this we go on to show that, for expansive surjective maps the properties shadowing, two-sided shadowing, s-limit shadowing and two-sided s-limit shadowing are equivalent. We show that $f$ is positively expansive and has shadowing if and only if it has unique shadowing (i.e.\ each pseudo-orbit is shadowed by a unique point), extending a result implicit in Walter's proof that positively expansive maps with shadowing are topologically stable. We use the aforementioned result on two-sided shadowing to find an equivalent characterisation of shadowing and expansivity and extend these results to the notion of $n$-expansivity due to Morales.
△ Less
Submitted 25 February, 2020;
originally announced February 2020.
-
Shadowing, internal chain transitivity and $α$-limit sets
Authors:
Chris Good,
Jonathan Meddaugh,
Joel Mitchell
Abstract:
Let $f \colon X \to X$ be a continuous map on a compact metric space $X$ and let $α_f$, $ω_f$ and $ICT_f$ denote the set of $α$-limit sets, $ω$-limit sets and nonempty closed internally chain transitive sets respectively. We show that if the map $f$ has shadowing then every element of $ICT_f$ can be approximated (to any prescribed accuracy) by both the $α$-limit set and the $ω$-limit set of a full…
▽ More
Let $f \colon X \to X$ be a continuous map on a compact metric space $X$ and let $α_f$, $ω_f$ and $ICT_f$ denote the set of $α$-limit sets, $ω$-limit sets and nonempty closed internally chain transitive sets respectively. We show that if the map $f$ has shadowing then every element of $ICT_f$ can be approximated (to any prescribed accuracy) by both the $α$-limit set and the $ω$-limit set of a full-trajectory. Furthermore, if $f$ is additionally c-expansive then every element of $ICT_f$ is equal to both the $α$-limit set and the $ω$-limit set of a full-trajectory. In particular this means that shadowing guarantees that $\overline{α_f}=\overline{ω_f}=ICT(f)$ (where the closures are taken with respect to the Hausdorff topology on the space of compact sets), whilst the addition of c-expansivity entails $α_f=ω_f=ICT(f)$. We progress by introducing novel variants of shadowing which we use to characterise both maps for which $\overline{α_f}=ICT(f)$ and maps for which $α_f=ICT(f)$.
△ Less
Submitted 10 March, 2020; v1 submitted 6 September, 2019;
originally announced September 2019.
-
Limit Sets and Internal Transitivity in Free Group Actions
Authors:
Kyle Binder,
Jonathan Meddaugh
Abstract:
It has been recently shown that, under appropriate hypotheses, the $ω$-limit sets of a dynamical system are characterized by internal chain transitivity. In this paper, we examine generalizations of these ideas in the context of the action of a finitely generated free group or monoid. We give general definitions for several types of limit sets and analogous notions of internal transitivity. We the…
▽ More
It has been recently shown that, under appropriate hypotheses, the $ω$-limit sets of a dynamical system are characterized by internal chain transitivity. In this paper, we examine generalizations of these ideas in the context of the action of a finitely generated free group or monoid. We give general definitions for several types of limit sets and analogous notions of internal transitivity. We then demonstrate that these limit sets are completely characterized by internal transitivity properties in shifts of finite type and general dynamical systems exhibiting a form of the shadowing property.
△ Less
Submitted 20 August, 2019;
originally announced August 2019.
-
On genericity of shadowing in one dimension
Authors:
Jonathan Meddaugh
Abstract:
We show that shadowing is a generic property among continuous maps and surjections on a large class of locally connected one-dimensional continua.
We show that shadowing is a generic property among continuous maps and surjections on a large class of locally connected one-dimensional continua.
△ Less
Submitted 12 January, 2021; v1 submitted 4 October, 2018;
originally announced October 2018.
-
Shifts of finite type as fundamental objects in the theory of shadowing
Authors:
Chris Good,
Jonathan Meddaugh
Abstract:
Shifts of finite type and the notion of shadowing, or pseudo-orbit tracing, are powerful tools in the study of dynamical systems. In this paper we prove that there is a deep and fundamental relationship between these two concepts.
Let $X$ be a compact totally disconnected space and $f:X\to X$ a continuous map. We demonstrate that $f$ has shadowing if and only if the system $({f},{X})$ is (conjug…
▽ More
Shifts of finite type and the notion of shadowing, or pseudo-orbit tracing, are powerful tools in the study of dynamical systems. In this paper we prove that there is a deep and fundamental relationship between these two concepts.
Let $X$ be a compact totally disconnected space and $f:X\to X$ a continuous map. We demonstrate that $f$ has shadowing if and only if the system $({f},{X})$ is (conjugate to) the inverse limit of a directed system of shifts of finite type. In particular, this implies that, in the case that $X$ is the Cantor set, $f$ has shadowing if and only if $(f,X)$ is the inverse limit of a sequence of shifts of finite type. Moreover, in the general compact metric case, where $X$ is not necessarily totally disconnected, we prove that $f$ has shadowing if and only if $({f},{X})$ is a factor of (i.e. semi-conjugate to) the inverse limit of a sequence of shifts of finite type by a quotient that almost lifts pseudo-orbits.
△ Less
Submitted 16 February, 2017;
originally announced February 2017.
-
Any counterexample to Makienko's conjecture is an indecomposable continuum
Authors:
Clinton P. Curry,
John C. Mayer,
Jonathan Meddaugh,
James T. Rogers Jr
Abstract:
Makienko's conjecture, a proposed addition to Sullivan's dictionary, can be stated as follows: The Julia set of a rational function R has buried points if and only if no component of the Fatou set is completely invariant under the second iterate of R. We prove Makienko's conjecture for rational functions with Julia sets that are decomposable continua. This is a very broad collection of Julia set…
▽ More
Makienko's conjecture, a proposed addition to Sullivan's dictionary, can be stated as follows: The Julia set of a rational function R has buried points if and only if no component of the Fatou set is completely invariant under the second iterate of R. We prove Makienko's conjecture for rational functions with Julia sets that are decomposable continua. This is a very broad collection of Julia sets; it is not known if there exists a rational functions whose Julia set is an indecomposable continuum.
△ Less
Submitted 21 May, 2008;
originally announced May 2008.