Showing 1–21 of 21 results for author: Rubinstein-Salzedo, S

RSK-Complete Cycle Decompositions

Authors: Agastya Goel, Simon Rubinstein-Salzedo

Abstract: We characterize the class of cycle decompositions that can achieve all Young tableau shapes (except the trivial ones with a single row or a single column) under the Robinson--Schensted--Knuth (RSK) correspondence, a property that we call RSK-completeness. We prove that for even $n$, cyclic permutations comprise the only fixed cycle decomposition that is RSK-complete. For odd $n$, cyclic permutatio… ▽ More We characterize the class of cycle decompositions that can achieve all Young tableau shapes (except the trivial ones with a single row or a single column) under the Robinson--Schensted--Knuth (RSK) correspondence, a property that we call RSK-completeness. We prove that for even $n$, cyclic permutations comprise the only fixed cycle decomposition that is RSK-complete. For odd $n$, cyclic permutations and almost cyclic permutations which have a cycle of length $n-1$ are the only RSK-complete cycle decompositions. △ Less

Submitted 17 January, 2023; originally announced January 2023.

Comments: 12 pages. Feedback welcome

Inscribed triangles of Jordan curves in $\mathbb{R}^{n}$

Authors: Aryaman Gupta, Simon Rubinstein-Salzedo

Abstract: Nielsen's theorem states that any triangle can be inscribed in a planar Jordan curve. We prove a generalisation of this theorem, extending to any Jordan curve $J$ embedded in $\mathbb{R}^{n}$, for a restricted set of triangles. We then conclude by investigating a condition under which a given point of $J$ inscribes an equilateral triangle in particular. Nielsen's theorem states that any triangle can be inscribed in a planar Jordan curve. We prove a generalisation of this theorem, extending to any Jordan curve $J$ embedded in $\mathbb{R}^{n}$, for a restricted set of triangles. We then conclude by investigating a condition under which a given point of $J$ inscribes an equilateral triangle in particular. △ Less

Submitted 7 February, 2021; originally announced February 2021.

Comments: Feedback welcome!

Memgames

Authors: Urban Larsson, Simon Rubinstein-Salzedo, Aaron N. Siegel

Abstract: In this article, we study the structure, and in particular the Grundy values, of a family of games known as memgames. In this article, we study the structure, and in particular the Grundy values, of a family of games known as memgames. △ Less

Submitted 30 October, 2023; v1 submitted 22 December, 2019; originally announced December 2019.

Comments: Feedback welcome!

Cyclotomic Coincidences

Authors: Carl Pomerance, Simon Rubinstein-Salzedo

Abstract: In this paper, we show that if $m$ and $n$ are distinct positive integers and $x$ is a nonzero real number with $Φ_m(x)=Φ_n(x)$, then $\frac{1}{2}<|x|<2$ except when $\{m,n\}=\{2,6\}$ and $x=2$. We also observe that 2 appears to be the largest limit point of the set of values of $x$ for which $Φ_m(x)=Φ_n(x)$ for some $m\neq n$. In this paper, we show that if $m$ and $n$ are distinct positive integers and $x$ is a nonzero real number with $Φ_m(x)=Φ_n(x)$, then $\frac{1}{2}<|x|<2$ except when $\{m,n\}=\{2,6\}$ and $x=2$. We also observe that 2 appears to be the largest limit point of the set of values of $x$ for which $Φ_m(x)=Φ_n(x)$ for some $m\neq n$. △ Less

Submitted 5 March, 2019; originally announced March 2019.

Comments: Comments welcome!

Diophantine Tuples over $\mathbb{Z}_p$

Authors: Nitya Mani, Simon Rubinstein-Salzedo

Abstract: For an element $r$ of a ring $R$, a Diophantine $D(r)$ $m$-tuple is an $m$-tuple $(a_1,a_2,\ldots,a_m)$ of elements of $R$ such that for all $i,j$ with $i\neq j$, $a_ia_j+r$ is a perfect square in $R$. In this article, we compute and estimate the measures of the sets of $D(r)$ $m$-tuples in the ring $\mathbb{Z}_p$ of $p$-adic integers, as well as its residue field $\mathbb{F}_p$. For an element $r$ of a ring $R$, a Diophantine $D(r)$ $m$-tuple is an $m$-tuple $(a_1,a_2,\ldots,a_m)$ of elements of $R$ such that for all $i,j$ with $i\neq j$, $a_ia_j+r$ is a perfect square in $R$. In this article, we compute and estimate the measures of the sets of $D(r)$ $m$-tuples in the ring $\mathbb{Z}_p$ of $p$-adic integers, as well as its residue field $\mathbb{F}_p$. △ Less

Submitted 24 February, 2019; originally announced February 2019.

Comments: 22 pages. Comments welcome

Stability for Take-Away Games

Authors: Simon Rubinstein-Salzedo, Sherry Sarkar

Abstract: In this paper, we study a family of take-away games called $α$-tag, parametrized by a real number $α\ge 1$. We show that for any given $α$, there is a half-open interval $I_α$ containing $α$ such that the set of losing positions for $α$-tag is the same as the set of losing positions for $β$-tag if and only if $β\in I_α$. We then end with some results and conjectures on the nature of these interval… ▽ More In this paper, we study a family of take-away games called $α$-tag, parametrized by a real number $α\ge 1$. We show that for any given $α$, there is a half-open interval $I_α$ containing $α$ such that the set of losing positions for $α$-tag is the same as the set of losing positions for $β$-tag if and only if $β\in I_α$. We then end with some results and conjectures on the nature of these intervals. △ Less

Submitted 20 September, 2018; originally announced September 2018.

Comments: Comments welcome!

$\mathcal{P}$ Play in Candy Nim

Authors: Nitya Mani, Rajiv Nelakanti, Simon Rubinstein-Salzedo, Alex Tholen

Abstract: Candy Nim is a variant of Nim in which both players aim to take the last candy in a game of Nim, with the added simultaneous secondary goal of taking as many candies as possible. We give bounds on the number of candies the first and second players obtain in 3-pile $\mathcal{P}$ positions as well as strategies that are provably optimal for some families of such games. We also show how to construct… ▽ More Candy Nim is a variant of Nim in which both players aim to take the last candy in a game of Nim, with the added simultaneous secondary goal of taking as many candies as possible. We give bounds on the number of candies the first and second players obtain in 3-pile $\mathcal{P}$ positions as well as strategies that are provably optimal for some families of such games. We also show how to construct a game with $N$ candies such that the loser takes the largest possible number of candies and bound the number of candies the winner can take in an arbitrary $\mathcal{P}$ position with $N$ total candies. △ Less

Submitted 17 May, 2018; originally announced May 2018.

Comments: 23 pages, 2 figures

MSC Class: 91A46

The Asymmetric Colonel Blotto Game

Authors: Simon Rubinstein-Salzedo, Yifan Zhu

Abstract: This paper explores the Nash equilibria of a variant of the Colonel Blotto game, which we call the Asymmetric Colonel Blotto game. In the Colonel Blotto game, two players simultaneously distribute forces across $n$ battlefields. Within each battlefield, the player that allocates the higher level of force wins. The payoff of the game is the proportion of wins on the individual battlefields. In the… ▽ More This paper explores the Nash equilibria of a variant of the Colonel Blotto game, which we call the Asymmetric Colonel Blotto game. In the Colonel Blotto game, two players simultaneously distribute forces across $n$ battlefields. Within each battlefield, the player that allocates the higher level of force wins. The payoff of the game is the proportion of wins on the individual battlefields. In the asymmetric version, the levels of force distributed to the battlefields must be nondecreasing. In this paper, we find a family of Nash equilibria for the case with three battlefields and equal levels of force and prove the uniqueness of the marginal distributions. We also find the unique equilibrium payoff for all possible levels of force in the case with two battlefields, and obtain partial results for the unique equilibrium payoff for asymmetric levels of force in the case with three battlefields. △ Less

Submitted 25 August, 2017; originally announced August 2017.

Comments: Comments welcome!

Reduction of dynatomic curves

Authors: John R. Doyle, Holly Krieger, Andrew Obus, Rachel Pries, Simon Rubinstein-Salzedo, Lloyd W. West

Abstract: The dynatomic modular curves parametrize polynomial maps together with a point of period $n$. It is known that the dynatomic curves $Y_1(n)$ are smooth and irreducible in characteristic 0 for families of polynomial maps of the form $f_c(z) = z^m +c$ where $m\geq 2$. In the present paper, we build on the work of Morton to partially characterize the primes $p$ for which the reduction modulo $p$ of… ▽ More The dynatomic modular curves parametrize polynomial maps together with a point of period $n$. It is known that the dynatomic curves $Y_1(n)$ are smooth and irreducible in characteristic 0 for families of polynomial maps of the form $f_c(z) = z^m +c$ where $m\geq 2$. In the present paper, we build on the work of Morton to partially characterize the primes $p$ for which the reduction modulo $p$ of $Y_1(n)$ remains smooth and/or irreducible. As an application, we give new examples of good reduction of $Y_1(n)$ for several primes dividing the ramification discriminant when $n=7,8,11$. The proofs involve arithmetic and complex dynamics, reduction theory for curves, ramification theory, and the combinatorics of the Mandelbrot set. △ Less

Submitted 28 March, 2017; v1 submitted 12 March, 2017; originally announced March 2017.

Comments: 47 pages, 2 figures; fixed typos and added some data to Appendix A

MSC Class: 37F45; 37P05; 37P35; 37P45; 11G20; 11S15; 14H30

Journal ref: Ergod. Th. Dynam. Sys. 39 (2019) 2717-2768

Could Euler have conjectured the prime number theorem?

Authors: Simon Rubinstein-Salzedo

Abstract: In this article, we investigate how Euler might have been led to conjecture the Prime Number Theorem, based on what he knew. We also speculate on why he did not do so. In this article, we investigate how Euler might have been led to conjecture the Prime Number Theorem, based on what he knew. We also speculate on why he did not do so. △ Less

Submitted 16 January, 2017; originally announced January 2017.

Comments: To appear in Mathematics Magazine

MSC Class: 11A41 (primary); 01A50 (secondary)

Finite ramification for preimage fields of postcritically finite morphisms

Authors: Andrew Bridy, Patrick Ingram, Rafe Jones, Jamie Juul, Alon Levy, Michelle Manes, Simon Rubinstein-Salzedo, Joseph H. Silverman

Abstract: Given a finite endomorphism $\varphi$ of a variety $X$ defined over the field of fractions $K$ of a Dedekind domain, we study the extension $K(\varphi^{-\infty}(α)) : = \bigcup_{n \geq 1} K(\varphi^{-n}(α))$ generated by the preimages of $α$ under all iterates of $\varphi$. In particular when $\varphi$ is post-critically finite, i.e., there exists a non-empty, Zariski-open $W \subseteq X$ such tha… ▽ More Given a finite endomorphism $\varphi$ of a variety $X$ defined over the field of fractions $K$ of a Dedekind domain, we study the extension $K(\varphi^{-\infty}(α)) : = \bigcup_{n \geq 1} K(\varphi^{-n}(α))$ generated by the preimages of $α$ under all iterates of $\varphi$. In particular when $\varphi$ is post-critically finite, i.e., there exists a non-empty, Zariski-open $W \subseteq X$ such that $\varphi^{-1}(W) \subseteq W$ and $\varphi : W \to X$ is étale, we prove that $K(\varphi^{-\infty}(α))$ is ramified over only finitely many primes of $K$. This provides a large supply of infinite extensions with restricted ramification, and generalizes results of Aitken-Hajir-Maire in the case $X = \mathbb{A}^1$ and Cullinan-Hajir, Jones-Manes in the case $X = \mathbb{P}^1$. Moreover, we conjecture that this finite ramification condition characterizes post-critically finite morphisms, and we give an entirely new result showing this for $X = \mathbb{P}^1$. The proof relies on Faltings' theorem and a local argument. △ Less

Submitted 1 December, 2015; v1 submitted 31 October, 2015; originally announced November 2015.

Noncrossing partitions, toggles, and homomesies

Authors: David Einstein, Miriam Farber, Emily Gunawan, Michael Joseph, Matthew Macauley, James Propp, Simon Rubinstein-Salzedo

Abstract: We introduce $n(n-1)/2$ natural involutions ("toggles") on the set $S$ of noncrossing partitions $π$ of size $n$, along with certain composite operations obtained by composing these involutions. We show that for many operations $T$ of this kind, a surprisingly large family of functions $f$ on $S$ (including the function that sends $π$ to the number of blocks of $π$) exhibits the homomesy phenomeno… ▽ More We introduce $n(n-1)/2$ natural involutions ("toggles") on the set $S$ of noncrossing partitions $π$ of size $n$, along with certain composite operations obtained by composing these involutions. We show that for many operations $T$ of this kind, a surprisingly large family of functions $f$ on $S$ (including the function that sends $π$ to the number of blocks of $π$) exhibits the homomesy phenomenon: the average of $f$ over the elements of a $T$-orbit is the same for all $T$-orbits. We can apply our method of proof more broadly to toggle operations back on the collection of independent sets of certain graphs. We utilize this generalization to prove a theorem about toggling on a family of graphs called "$2$-cliquish". More generally, the philosophy of this "toggle-action", proposed by Striker, is a popular topic of current and future research in dynamic algebraic combinatorics. △ Less

Submitted 1 November, 2016; v1 submitted 21 October, 2015; originally announced October 2015.

Comments: 22 pages, 13 figures

MSC Class: 05E18 (Primary); 37E15 (Secondary)

Journal ref: Electronic Journal of Combinatorics Volume 23 Issue 3 Number 52, 2016

Global Fibonacci Nim

Authors: Urban Larsson, Simon Rubinstein-Salzedo

Abstract: Fibonacci nim is a popular impartial combinatorial game, usually played with a single pile of stones. The game is appealing due to its surprising connections with the Fibonacci numbers and the Zeckendorf representation. In this article, we investigate some properties of a variant played with multiple piles of stones, and solve the 2-pile case. A player chooses one of the piles and plays as in Fibo… ▽ More Fibonacci nim is a popular impartial combinatorial game, usually played with a single pile of stones. The game is appealing due to its surprising connections with the Fibonacci numbers and the Zeckendorf representation. In this article, we investigate some properties of a variant played with multiple piles of stones, and solve the 2-pile case. A player chooses one of the piles and plays as in Fibonacci nim, but here the move-size restriction is a global parameter, valid for any pile. △ Less

Submitted 28 September, 2015; originally announced September 2015.

Comments: Comments welcome

$N$-Division Points of Hypocycloids

Authors: Nitya Mani, Simon Rubinstein-Salzedo

Abstract: We show that the $n$-division points of all rational hypocycloids are constructible with an unmarked straightedge and compass for all integers $n$, given a pre-drawn hypocycloid. We also consider the question of constructibility of $n$-division points of hypocycloids without a pre-drawn hypocycloid in the case of a tricuspoid, concluding that only the $1$, $2$, $3$, and $6$-division points of a tr… ▽ More We show that the $n$-division points of all rational hypocycloids are constructible with an unmarked straightedge and compass for all integers $n$, given a pre-drawn hypocycloid. We also consider the question of constructibility of $n$-division points of hypocycloids without a pre-drawn hypocycloid in the case of a tricuspoid, concluding that only the $1$, $2$, $3$, and $6$-division points of a tricuspoid are constructible in this manner. △ Less

Submitted 26 February, 2015; originally announced March 2015.

Comments: Comments welcome

Grundy values of Fibonacci nim

Authors: Urban Larsson, Simon Rubinstein-Salzedo

Abstract: In this article, we investigate the Grundy values of the popular game of Fibonacci nim. The winning strategy, which amounts to understanding positions of Grundy value 0, was known since Whinihan in 1963. In this paper, we extend Whinihan's analysis by computing all the positions of Grundy value at most 3. Furthermore, we show that, when we delete the Fibonacci numbers (which have Grundy value 0),… ▽ More In this article, we investigate the Grundy values of the popular game of Fibonacci nim. The winning strategy, which amounts to understanding positions of Grundy value 0, was known since Whinihan in 1963. In this paper, we extend Whinihan's analysis by computing all the positions of Grundy value at most 3. Furthermore, we show that, when we delete the Fibonacci numbers (which have Grundy value 0), the Grundy values of the starting positions are increasing, and we give upper and lower bounds on the growth rate. △ Less

Submitted 19 May, 2015; v1 submitted 1 October, 2014; originally announced October 2014.

Comments: To appear in International Journal of Game Theory

Curvature and Concentration of Hamiltonian Monte Carlo in High Dimensions

Authors: Susan Holmes, Simon Rubinstein-Salzedo, Christof Seiler

Abstract: In this article, we analyze Hamiltonian Monte Carlo (HMC) by placing it in the setting of Riemannian geometry using the Jacobi metric, so that each step corresponds to a geodesic on a suitable Riemannian manifold. We then combine the notion of curvature of a Markov chain due to Joulin and Ollivier with the classical sectional curvature from Riemannian geometry to derive error bounds for HMC in imp… ▽ More In this article, we analyze Hamiltonian Monte Carlo (HMC) by placing it in the setting of Riemannian geometry using the Jacobi metric, so that each step corresponds to a geodesic on a suitable Riemannian manifold. We then combine the notion of curvature of a Markov chain due to Joulin and Ollivier with the classical sectional curvature from Riemannian geometry to derive error bounds for HMC in important cases, where we have positive curvature. These cases include several classical distributions such as multivariate Gaussians, and also distributions arising in the study of Bayesian image registration. The theoretical development suggests the sectional curvature as a new diagnostic tool for convergence for certain Markov chains. △ Less

Submitted 19 May, 2015; v1 submitted 3 July, 2014; originally announced July 2014.

Comments: Comments welcome

Identities for field extensions generalizing the Ohno-Nakagawa relations

Authors: Henri Cohen, Simon Rubinstein-Salzedo, Frank Thorne

Abstract: In previous work, Ohno conjectured, and Nakagawa proved, relations between the counting functions of certain cubic fields. These relations may be viewed as complements to the Scholz reflection principle, and Ohno and Nakagawa deduced them as consequences of `extra functional equations' involving the Shintani zeta functions associated to the prehomogeneous vector space of binary cubic forms. In t… ▽ More In previous work, Ohno conjectured, and Nakagawa proved, relations between the counting functions of certain cubic fields. These relations may be viewed as complements to the Scholz reflection principle, and Ohno and Nakagawa deduced them as consequences of `extra functional equations' involving the Shintani zeta functions associated to the prehomogeneous vector space of binary cubic forms. In the present paper we generalize their result by proving a similar identity relating certain degree l fields with Galois groups D_l and F_l respectively, for any odd prime l, and in particular we give another proof of the Ohno-Nakagawa relation without appealing to binary cubic forms. △ Less

Submitted 19 March, 2015; v1 submitted 5 May, 2014; originally announced May 2014.

Comments: Version 2, 16 pages, to appear in Compositio

Journal ref: Compositio Mathematica 151 (2015) 2059-2075

Analysis on Surreal Numbers

Authors: Simon Rubinstein-Salzedo, Ashvin Swaminathan

Abstract: The class $\mathbf{No}$ of surreal numbers, which John Conway discovered while studying combinatorial games, possesses a rich numerical structure and shares many arithmetic and algebraic properties with the real numbers. Some work has also been done to develop analysis on $\mathbf{No}$. In this paper, we extend this work with a treatment of functions, limits, derivatives, power series, and integra… ▽ More The class $\mathbf{No}$ of surreal numbers, which John Conway discovered while studying combinatorial games, possesses a rich numerical structure and shares many arithmetic and algebraic properties with the real numbers. Some work has also been done to develop analysis on $\mathbf{No}$. In this paper, we extend this work with a treatment of functions, limits, derivatives, power series, and integrals. We propose surreal definitions of the arctangent and logarithm functions using truncations of Maclaurin series. Using a new representation of surreals, we present a formula for the limit of a sequence, and we use this formula to provide a complete characterization of convergent sequences and to evaluate certain series and infinite Riemann sums via extrapolation. A similar formula allows us to evaluates limits (and hence derivatives) of functions. By defining a new topology on $\mathbf{No}$, we obtain the Intermediate Value Theorem even though $\mathbf{No}$ is not Cauchy complete, and we prove that the Fundamental Theorem of Calculus would hold for surreals if a consistent definition of integration exists. Extending our study to defining other analytic functions, evaluating power series in generality, finding a consistent definition of integration, proving Stokes' Theorem to generalize surreal integration, and studying differential equations remains open. △ Less

Submitted 19 May, 2015; v1 submitted 28 July, 2013; originally announced July 2013.

MSC Class: 26E35; 03H99; 54J05

Journal ref: Journal of Logic and Analysis, Volume 6, Number 5, pp. 1--39, 2014

Period Computations for Covers of Elliptic Curves

Authors: Simon Rubinstein-Salzedo

Abstract: In this article, we construct algebraic equations for a curve C and a map f to an elliptic curve E, with pre-specified branching data. We do this by determining certain relations that the periods of C and E must satisfy and use these relations to approximate the coefficients to high precision. We then conjecture which algebraic numbers the coefficients are, and then we prove this conjecture to be… ▽ More In this article, we construct algebraic equations for a curve C and a map f to an elliptic curve E, with pre-specified branching data. We do this by determining certain relations that the periods of C and E must satisfy and use these relations to approximate the coefficients to high precision. We then conjecture which algebraic numbers the coefficients are, and then we prove this conjecture to be correct. △ Less

Submitted 3 July, 2014; v1 submitted 17 October, 2012; originally announced October 2012.

Comments: 13 pages, 7 figures

MSC Class: 11G32; 11J70; 14H30; 14H52; 14Q05

Journal ref: Mathematics of Computation 83 (2014) 2455-2470

Covers of Elliptic Curves with Unique, Totally Ramified Branch Points

Authors: Simon Rubinstein-Salzedo

Abstract: A well-known and difficult problem in computational number theory and algebraic geometry is to write down equations for branched covers of algebraic curves with specified monodromy type. In this article, we present a technique for computing such covers in the case of totally ramified covers of elliptic curves branched at one point. A well-known and difficult problem in computational number theory and algebraic geometry is to write down equations for branched covers of algebraic curves with specified monodromy type. In this article, we present a technique for computing such covers in the case of totally ramified covers of elliptic curves branched at one point. △ Less

Submitted 3 July, 2014; v1 submitted 11 October, 2012; originally announced October 2012.

Comments: 9 pages, 5 figures

MSC Class: 14Q05

Journal ref: Mathematische Nachrichten 286 (2013) 1530-1536

Invariants for A4 fields and the Cohen-Lenstra heuristics

Authors: Simon Rubinstein-Salzedo

Abstract: This article discusses deviations from the Cohen-Lenstra heuristics when roots of unity are present. In particular, we propose an explanation for the discrepancy between the observed number of cyclic cubic fields whose 2-class group is $C_2\times C_2$ and the number predicted by the Cohen-Lenstra heuristics, in terms of an invariant living in a quotient of the Schur multiplier group. We also show… ▽ More This article discusses deviations from the Cohen-Lenstra heuristics when roots of unity are present. In particular, we propose an explanation for the discrepancy between the observed number of cyclic cubic fields whose 2-class group is $C_2\times C_2$ and the number predicted by the Cohen-Lenstra heuristics, in terms of an invariant living in a quotient of the Schur multiplier group. We also show that, in some cases, the definition of the invariant can be simplified greatly, and we compute the invariant when the cubic field is ramified at exactly one prime, up to $10^8$. △ Less

Submitted 3 July, 2014; v1 submitted 9 October, 2012; originally announced October 2012.

Comments: To appear, International Journal of Number Theory