-
Cluster Monomials in Graph Laurent Phenomenon Algebras
Authors:
Guilherme Zeus Dantas e Moura,
Ramanuja Charyulu Telekicherla Kandalam,
Dora Woodruff
Abstract:
Laurent Phenomenon algebras, first introduced by Lam and Pylyavskyy, are a generalization of cluster algebras that still possess many salient features of cluster algebras. Linear Laurent Phenomenon algebras, defined by Lam and Pylyavskyy, are a subclass of Laurent Phenomenon algebras whose structure is given by the data of a directed graph. The main result of this paper is that the cluster monomia…
▽ More
Laurent Phenomenon algebras, first introduced by Lam and Pylyavskyy, are a generalization of cluster algebras that still possess many salient features of cluster algebras. Linear Laurent Phenomenon algebras, defined by Lam and Pylyavskyy, are a subclass of Laurent Phenomenon algebras whose structure is given by the data of a directed graph. The main result of this paper is that the cluster monomials of a linear Laurent Phenomenon algebra form a linear basis, conjectured by Lam and Pylyavskyy and analogous to a result for cluster algebras by Caldero and Keller.
△ Less
Submitted 24 April, 2024;
originally announced April 2024.
-
Outerplanar Turán number of a cycle
Authors:
Ervin Győri,
Guilherme Zeus Dantas e Moura,
Runtian Zhou
Abstract:
A graph is outerplanar if it has a planar drawing for which all vertices belong to the outer face of the drawing. Let $H$ be a graph. The outerplanar Turán number of $H$, denoted by $ex_\mathcal{OP}(n,H)$, is the maximum number of edges in an $n$-vertex outerplanar graph which does not contain $H$ as a subgraph. In 2021, L. Fang et al. determined the outerplanar Turán number of cycles and paths. I…
▽ More
A graph is outerplanar if it has a planar drawing for which all vertices belong to the outer face of the drawing. Let $H$ be a graph. The outerplanar Turán number of $H$, denoted by $ex_\mathcal{OP}(n,H)$, is the maximum number of edges in an $n$-vertex outerplanar graph which does not contain $H$ as a subgraph. In 2021, L. Fang et al. determined the outerplanar Turán number of cycles and paths. In this paper, we use techniques of dual graph to give a shorter proof for the sharp upperbound of $ex_\mathcal{OP}(n,C_k)\leq \frac{(2k - 5)(kn - k - 1)}{k^2 - 2k - 1}$.
△ Less
Submitted 30 September, 2023;
originally announced October 2023.
-
On generic universal rigidity on the line
Authors:
Guilherme Zeus Dantas e Moura,
Tibor Jordán,
Corwin Silverman
Abstract:
A $d$-dimensional bar-and-joint framework $(G,p)$ with underlying graph $G$ is called universally rigid if all realizations of $G$ with the same edge lengths, in all dimensions, are congruent to $(G,p)$. A graph $G$ is said to be generically universally rigid in $\mathbb{R}^d$ if every $d$-dimensional generic framework $(G,p)$ is universally rigid.
In this paper we focus on the case $d=1$. We gi…
▽ More
A $d$-dimensional bar-and-joint framework $(G,p)$ with underlying graph $G$ is called universally rigid if all realizations of $G$ with the same edge lengths, in all dimensions, are congruent to $(G,p)$. A graph $G$ is said to be generically universally rigid in $\mathbb{R}^d$ if every $d$-dimensional generic framework $(G,p)$ is universally rigid.
In this paper we focus on the case $d=1$. We give counterexamples to a conjectured characterization of generically universally rigid graphs from R. Connelly (2011). We also introduce two new operations that preserve the universal rigidity of generic frameworks, and the property of being not universally rigid, respectively. One of these operations is used in the analysis of one of our examples, while the other operation is applied to obtain a lower bound on the size of generically universally rigid graphs. This bound gives a partial answer to a question from T. Jordán and V-H. Nguyen (2015).
△ Less
Submitted 23 May, 2023;
originally announced May 2023.
-
Towards the Gaussianity of Random Zeckendorf Games
Authors:
Justin Cheigh,
Guilherme Zeus Dantas e Moura,
Ryan Jeong,
Jacob Lehmann Duke,
Wyatt Milgrim,
Steven J. Miller,
Prakod Ngamlamai
Abstract:
Zeckendorf proved that any positive integer has a unique decomposition as a sum of non-consecutive Fibonacci numbers, indexed by $F_1 = 1, F_2 = 2, F_{n+1} = F_n + F_{n-1}$. Motivated by this result, Baird, Epstein, Flint, and Miller defined the two-player Zeckendorf game, where two players take turns acting on a multiset of Fibonacci numbers that always sums to $N$. The game terminates when no po…
▽ More
Zeckendorf proved that any positive integer has a unique decomposition as a sum of non-consecutive Fibonacci numbers, indexed by $F_1 = 1, F_2 = 2, F_{n+1} = F_n + F_{n-1}$. Motivated by this result, Baird, Epstein, Flint, and Miller defined the two-player Zeckendorf game, where two players take turns acting on a multiset of Fibonacci numbers that always sums to $N$. The game terminates when no possible moves remain, and the final player to perform a move wins. Notably, studied the setting of random games: the game proceeds by choosing an available move uniformly at random, and they conjecture that as the input $N \to \infty$, the distribution of random game lengths converges to a Gaussian.
We prove that certain sums of move counts is constant, and find a lower bound on the number of shortest games on input $N$ involving the Catalan numbers. The works Baird et al. and Cuzensa et al. determined how to achieve a shortest and longest possible Zeckendorf game on a given input $N$, respectively: we establish that for any input $N$, the range of possible game lengths constitutes an interval of natural numbers: every game length between the shortest and longest game lengths can be achieved.
We further the study of probabilistic aspects of random Zeckendorf games. We study two probability measures on the space of all Zeckendorf games on input $N$: the uniform measure, and the measure induced by choosing moves uniformly at random at any given position. Under both measures that in the limit $N \to \infty$, both players win with probability $1/2$. We also find natural partitions of the collection of all Zeckendorf games of a fixed input $N$, on which we observe weak convergence to a Gaussian in the limit $N \to \infty$. We conclude the work with many open problems.
△ Less
Submitted 20 October, 2022;
originally announced October 2022.
-
Recurrence Relations for $S$-Legal Index Difference Sequences
Authors:
Guilherme Zeus Dantas e Moura,
Andrew Keisling,
Astrid Lilly,
Annika Mauro,
Steven J. Miller,
Matthew Phang,
Santiago Velazquez Iannuzzelli
Abstract:
Zeckendorf's Theorem implies that the Fibonacci number $F_n$ is the smallest positive integer that cannot be written as a sum of non-consecutive previous Fibonacci numbers. Catral et al. studied a variation of the Fibonacci sequence, the Fibonacci Quilt sequence: the plane is tiled using the Fibonacci spiral, and integers are assigned to the squares of the spiral such that each square contains the…
▽ More
Zeckendorf's Theorem implies that the Fibonacci number $F_n$ is the smallest positive integer that cannot be written as a sum of non-consecutive previous Fibonacci numbers. Catral et al. studied a variation of the Fibonacci sequence, the Fibonacci Quilt sequence: the plane is tiled using the Fibonacci spiral, and integers are assigned to the squares of the spiral such that each square contains the smallest positive integer that cannot be expressed as the sum of non-adjacent previous terms. This adjacency is essentially captured in the differences of the indices of each square: the $i$-th and $j$-th squares are adjacent if and only if $|i - j| \in \{1, 3, 4\}$ or $\{i, j\} = \{1, 3\}$.
We consider a generalization of this construction: given a set of positive integers $S$, the $S$-legal index difference ($S$-LID) sequence $(a_n)_{n=1}^\infty$ is defined by letting $a_n$ to be the smallest positive integer that cannot be written as $\sum_{\ell \in L} a_\ell$ for some set $L \subset [n-1]$ with $|i - j| \notin S$ for all $i, j \in L$. We discuss our results governing the growth of $S$-LID sequences, as well as results proving that many families of sets $S$ yield $S$-LID sequences which follow simple recurrence relations.
△ Less
Submitted 27 August, 2023; v1 submitted 19 October, 2022;
originally announced October 2022.
-
Sum and Difference Sets in Generalized Dihedral Groups
Authors:
Ruben Ascoli,
Justin Cheigh,
Guilherme Zeus Dantas e Moura,
Ryan Jeong,
Andrew Keisling,
Astrid Lilly,
Steven J. Miller,
Prakod Ngamlamai,
Matthew Phang
Abstract:
Given a group $G$, we say that a set $A \subseteq G$ has more sums than differences (MSTD) if $|A+A| > |A-A|$, has more differences than sums (MDTS) if $|A+A| < |A-A|$, or is sum-difference balanced if $|A+A| = |A-A|$. A problem of recent interest has been to understand the frequencies of these type of subsets.
The seventh author and Vissuet studied the problem for arbitrary finite groups $G$ an…
▽ More
Given a group $G$, we say that a set $A \subseteq G$ has more sums than differences (MSTD) if $|A+A| > |A-A|$, has more differences than sums (MDTS) if $|A+A| < |A-A|$, or is sum-difference balanced if $|A+A| = |A-A|$. A problem of recent interest has been to understand the frequencies of these type of subsets.
The seventh author and Vissuet studied the problem for arbitrary finite groups $G$ and proved that almost all subsets $A\subseteq G$ are sum-difference balanced as $|G|\to\infty$. For the dihedral group $D_{2n}$, they conjectured that of the remaining sets, most are MSTD, i.e., there are more MSTD sets than MDTS sets. Some progress on this conjecture was made by Haviland et al. in 2020, when they introduced the idea of partitioning the subsets by size: if, for each $m$, there are more MSTD subsets of $D_{2n}$ of size $m$ than MDTS subsets of size $m$, then the conjecture follows.
We extend the conjecture to generalized dihedral groups $D=\mathbb{Z}_2\ltimes G$, where $G$ is an abelian group of size $n$ and the nonidentity element of $\mathbb{Z}_2$ acts by inversion. We make further progress on the conjecture by considering subsets with a fixed number of rotations and reflections. By bounding the expected number of overlap** sums, we show that the collection $\mathcal S_{D,m}$ of subsets of the generalized dihedral group $D$ of size $m$ has more MSTD sets than MDTS sets when $6\le m\le c_j\sqrt{n}$ for $c_j=1.3229/\sqrt{111+5j}$, where $j$ is the number of elements in $G$ with order at most $2$. We also analyze the expectation for $|A+A|$ and $|A-A|$ for $A\subseteq D_{2n}$, proving an explicit formula for $|A-A|$ when $n$ is prime.
△ Less
Submitted 2 October, 2022;
originally announced October 2022.