Showing 1–16 of 16 results for author: Tanny, S

Elementary SFT Spectral Gaps And The Strong Closing Property

Authors: Julian Chaidez, Shira Tanny

Abstract: We formulate elementary SFT spectral invariants of a large class of symplectic cobordisms and stable Hamiltonian manifolds, in any dimension. We give criteria for the strong closing property using these invariants, and verify these criteria for Hofer near periodic systems. This extends the class of symplectic dynamical systems in any dimension that satisfy the strong closing property. We formulate elementary SFT spectral invariants of a large class of symplectic cobordisms and stable Hamiltonian manifolds, in any dimension. We give criteria for the strong closing property using these invariants, and verify these criteria for Hofer near periodic systems. This extends the class of symplectic dynamical systems in any dimension that satisfy the strong closing property. △ Less

Submitted 28 December, 2023; originally announced December 2023.

Comments: 76 pages, 5 figures. Comments welcome!

MSC Class: 53D10; 53D42

A local-to-global inequality for spectral invariants and an energy dichotomy for Floer trajectories

Authors: Lev Buhovsky, Shira Tanny

Abstract: We study a local-to-global inequality for spectral invariants of Hamiltonians whose supports have a ``large enough" tubular neighborhood on semipositive symplectic manifolds. In particular, we present the first examples of such an inequality when the Hamiltonians are not necessarily supported in domains with contact type boundaries, or when the ambient manifold is irrational. This extends a series… ▽ More We study a local-to-global inequality for spectral invariants of Hamiltonians whose supports have a ``large enough" tubular neighborhood on semipositive symplectic manifolds. In particular, we present the first examples of such an inequality when the Hamiltonians are not necessarily supported in domains with contact type boundaries, or when the ambient manifold is irrational. This extends a series of previous works studying locality phenomena of spectral invariants. A main new tool is a lower bound, in the spirit of Sikorav, for the energy of Floer trajectories that cross the tubular neighborhood against the direction of the negative-gradient vector field. △ Less

Submitted 4 December, 2022; originally announced December 2022.

Comments: 34 pages, 3 figues. Comments are welcome!

Contact homology and higher dimensional closing lemmas

Authors: Julian Chaidez, Ipsita Datta, Rohil Prasad, Shira Tanny

Abstract: We develop methods for studying the smooth closing lemma for Reeb flows in any dimension using contact homology. As an application, we prove a conjecture of Irie, stating that the strong closing lemma holds for Reeb flows on ellipsoids. Our methods also apply to other Reeb flows, and we illustrate this for a class of examples introduced by Albers-Geiges-Zehmisch. We develop methods for studying the smooth closing lemma for Reeb flows in any dimension using contact homology. As an application, we prove a conjecture of Irie, stating that the strong closing lemma holds for Reeb flows on ellipsoids. Our methods also apply to other Reeb flows, and we illustrate this for a class of examples introduced by Albers-Geiges-Zehmisch. △ Less

Submitted 7 November, 2022; v1 submitted 9 June, 2022; originally announced June 2022.

Comments: Added new examples of Reeb flows to which our methods apply. Replaces "Contact homology and the strong closing lemma for ellipsoids." 68 pages, 10 figures, comments welcome!

MSC Class: 53D10; 53D42

A max inequality for spectral invariants of disjointly supported Hamiltonians

Authors: Shira Tanny

Abstract: We study the relation between spectral invariants of disjointly supported Hamiltonians and of their sum. On aspherical manifolds, such a relation was established by Humilière, Le Roux and Seyfaddini. We show that a weaker statement holds in a wider setting, and derive applications to Polterovich's Poisson bracket invariant and to Entov and Polterovich's notion of superheavy sets. We study the relation between spectral invariants of disjointly supported Hamiltonians and of their sum. On aspherical manifolds, such a relation was established by Humilière, Le Roux and Seyfaddini. We show that a weaker statement holds in a wider setting, and derive applications to Polterovich's Poisson bracket invariant and to Entov and Polterovich's notion of superheavy sets. △ Less

Submitted 15 February, 2021; originally announced February 2021.

Floer theory of disjointly supported Hamiltonians on symplectically aspherical manifolds

Authors: Yaniv Ganor, Shira Tanny

Abstract: We study the Floer-theoretic interaction between disjointly supported Hamiltonians by comparing Floer-theoretic invariants of these Hamiltonians with the ones of their sum. These invariants include spectral invariants, boundary depth and Abbondandolo-Haug-Schlenk's action selector. Additionally, our method shows that in certain situations the spectral invariants of a Hamiltonian supported in an op… ▽ More We study the Floer-theoretic interaction between disjointly supported Hamiltonians by comparing Floer-theoretic invariants of these Hamiltonians with the ones of their sum. These invariants include spectral invariants, boundary depth and Abbondandolo-Haug-Schlenk's action selector. Additionally, our method shows that in certain situations the spectral invariants of a Hamiltonian supported in an open subset of a symplectic manifold are independent of the ambient manifold. △ Less

Submitted 9 August, 2020; v1 submitted 22 May, 2020; originally announced May 2020.

Comments: Corrected typos, added a section extending one of the results to certain open manifolds

Journal ref: Algebr. Geom. Topol. 23 (2023) 645-732

Applications of Grothendieck's inequality to linear symplectic geometry

Authors: Efim Gluskin, Shira Tanny

Abstract: Recently in symplectic geometry there arose an interest in bounding various functionals on spaces of matrices. It appears that Grothendieck's theorems about factorization are a useful tool for proving such bounds. In this note we present two such applications. Recently in symplectic geometry there arose an interest in bounding various functionals on spaces of matrices. It appears that Grothendieck's theorems about factorization are a useful tool for proving such bounds. In this note we present two such applications. △ Less

Submitted 18 May, 2020; originally announced May 2020.

Poisson Brackets of Partitions of Unity on Surfaces

Authors: Lev Buhovsky, Alexander Logunov, Shira Tanny

Abstract: Given an open cover of a closed symplectic manifold, consider all smooth partitions of unity consisting of functions supported in the covering sets. The Poisson bracket invariant of the cover measures how much the functions from such a partition of unity can become close to being Poisson commuting. We introduce a new approach to this invariant, which enables us to prove the lower bound conjectured… ▽ More Given an open cover of a closed symplectic manifold, consider all smooth partitions of unity consisting of functions supported in the covering sets. The Poisson bracket invariant of the cover measures how much the functions from such a partition of unity can become close to being Poisson commuting. We introduce a new approach to this invariant, which enables us to prove the lower bound conjectured by L. Polterovich, in dimension 2. △ Less

Submitted 22 March, 2018; v1 submitted 6 May, 2017; originally announced May 2017.

Comments: The results were significantly improved, the proofs were simplified

MSC Class: 53D99

Nested Recurrence Relations With Conolly-Like Solutions

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

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

Submitted 8 September, 2015; originally announced September 2015.

MSC Class: 11B37

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

On local Weyl equivalence of higher order Fucshian equations

Authors: Shira Tanny, Sergei Yakovenko

Abstract: We study the local classification of higher order Fuchsian linear differential equations under various refinements of the classical notion of the "type of differential equation" introduced by Frobenius. The main source of difficulties is the fact that there is no natural group action generating this classification. We establish a number of results on higher order equations which are similar but… ▽ More We study the local classification of higher order Fuchsian linear differential equations under various refinements of the classical notion of the "type of differential equation" introduced by Frobenius. The main source of difficulties is the fact that there is no natural group action generating this classification. We establish a number of results on higher order equations which are similar but not completely parallel to the known results on local (holomorphic and meromorphic) gauge equivalence of systems of first order equations. △ Less

Submitted 25 December, 2014; originally announced December 2014.

MSC Class: 34C20; 34M35

Journal ref: Arnold Mathematical Journal, Volume 1, Issue 2, pp 141-170 (July 2015)

Nested Recursions, Simultaneous Parameters and Tree Superpositions

Authors: Abraham Isgur, Vitaly Kuznetsov, Mustazee Rahman, Stephen Tanny

Abstract: We apply a tree-based methodology to solve new, very broadly defined families of nested recursions of the general form R(n)=sum_{i=1}^k R(n-a_i-sum_{j=1}^p R(n-b_{ij})), where a_i are integers, b_{ij} are natural numbers, and k,p are natural numbers that we use to denote "arity" and "order," respectively, and with some specified initial conditions. The key idea of the tree-based solution method is… ▽ More We apply a tree-based methodology to solve new, very broadly defined families of nested recursions of the general form R(n)=sum_{i=1}^k R(n-a_i-sum_{j=1}^p R(n-b_{ij})), where a_i are integers, b_{ij} are natural numbers, and k,p are natural numbers that we use to denote "arity" and "order," respectively, and with some specified initial conditions. The key idea of the tree-based solution method is to associate such recursions with infinite labelled trees in a natural way so that the solution to the recursions solves a counting question relating to the corresponding trees. We characterize certain recursion families within R(n) by introducing "simultaneous parameters" that appear both within the recursion itself and that also specify structural properties of the corresponding tree. First, we extend and unify recently discovered results concerning two families of arity k=2, order p=1 recursions. Next, we investigate the solution of nested recursion families by taking linear combinations of solution sequence frequencies for simpler nested recursions, which correspond to superpositions of the associated trees; this leads us to identify and solve two new recursion families for arity k=2 and general order p. Finally, we extend these results to general arity k>2. We conclude with several related open problems. △ Less

Submitted 21 January, 2013; originally announced January 2013.

Comments: 38 pages, 20 figures

MSC Class: 11B37; 05C05 (Primary) 05A15; 05A19 (Secondary)

Journal ref: Electron. J. Combin. 21 (2014), Article P49

Nested recursions with ceiling function solutions

Authors: Abraham Isgur, Vitaly Kuznetsov, Stephen M. Tanny

Abstract: Consider a nested, non-homogeneous recursion R(n) defined by R(n) = \sum_{i=1}^k R(n-s_i-\sum_{j=1}^{p_i} R(n-a_ij)) + nu, with c initial conditions R(1) = xi_1 > 0,R(2)=xi_2 > 0, ..., R(c)=xi_c > 0, where the parameters are integers satisfying k > 0, p_i > 0 and a_ij > 0. We develop an algorithm to answer the following question: for an arbitrary rational number r/q, is there any set of values for… ▽ More Consider a nested, non-homogeneous recursion R(n) defined by R(n) = \sum_{i=1}^k R(n-s_i-\sum_{j=1}^{p_i} R(n-a_ij)) + nu, with c initial conditions R(1) = xi_1 > 0,R(2)=xi_2 > 0, ..., R(c)=xi_c > 0, where the parameters are integers satisfying k > 0, p_i > 0 and a_ij > 0. We develop an algorithm to answer the following question: for an arbitrary rational number r/q, is there any set of values for k, p_i, s_i, a_ij and nu such that the ceiling function ceiling{rn/q} is the unique solution generated by R(n) with appropriate initial conditions? We apply this algorithm to explore those ceiling functions that appear as solutions to R(n). The pattern that emerges from this empirical investigation leads us to the following general result: every ceiling function of the form ceiling{n/q}$ is the solution of infinitely many such recursions. Further, the empirical evidence suggests that the converse conjecture is true: if ceiling{rn/q} is the solution generated by any recursion R(n) of the form above, then r=1. We also use our ceiling function methodology to derive the first known connection between the recursion R(n) and a natural generalization of Conway's recursion. △ Less

Submitted 30 April, 2012; originally announced April 2012.

Comments: Published in Journal of Difference Equations and Applications, 2010. 11 pages, 1 table

A combinatorial approach for solving certain nested recursions with non-slow solutions

Authors: Abraham Isgur, Vitaly Kuznetsov, Stephen Tanny

Abstract: We define the generalized Golomb triangular recursion by g_{j,s,lambda}(n) = g_{j,s,lambda}(n - s - g_{j,s,lambda}(n-j)) + λj. For particular choices of the initial conditions, we show that the solution of the recursion is a non-slow monotone sequence for which we can provide a combinatorial interpretation in terms of a weighted count of the leaves of a certain labeled infinite tree. We discover t… ▽ More We define the generalized Golomb triangular recursion by g_{j,s,lambda}(n) = g_{j,s,lambda}(n - s - g_{j,s,lambda}(n-j)) + λj. For particular choices of the initial conditions, we show that the solution of the recursion is a non-slow monotone sequence for which we can provide a combinatorial interpretation in terms of a weighted count of the leaves of a certain labeled infinite tree. We discover that more than one such tree interpretation is possible, leading to different choices of the initial conditions and alternative solutions that are closely related. In the case lambda=1 the initial conditions for these alternative tree interpretations coincide and we derive explicit closed forms for the solution sequence and its frequency function. △ Less

Submitted 1 February, 2012; originally announced February 2012.

Comments: To appear in "Journal of Difference Equations and Applications"

Sums of Ceiling Functions Solve Nested Recursions

Authors: Rafal Drabek, Abraham Isgur, Vitaly Kuznetsov, Stephen Tanny

Abstract: It is known that, for given integers s \geq 0 and j > 0, the nested recursion R(n) = R(n - s - R(n - j)) + R(n - 2j - s - R(n - 3j)) has a closed form solution for which a combinatorial interpretation exists in terms of an infinite, labeled tree. For s = 0, we show that this solution sequence has a closed form as the sum of ceiling functions C(n). Further, given appropriate initial conditions, we… ▽ More It is known that, for given integers s \geq 0 and j > 0, the nested recursion R(n) = R(n - s - R(n - j)) + R(n - 2j - s - R(n - 3j)) has a closed form solution for which a combinatorial interpretation exists in terms of an infinite, labeled tree. For s = 0, we show that this solution sequence has a closed form as the sum of ceiling functions C(n). Further, given appropriate initial conditions, we derive necessary and sufficient conditions on the parameters s1, a1, s2 and a2 so that C(n) solves the nested recursion R(n) = R(n - s1 - R(n - a1)) + R(n- s2 - R(n - a2)). △ Less

Submitted 19 July, 2011; originally announced July 2011.

Comments: To appear in "Journal of Difference Equations and Applications"

MSC Class: 11B37

Solving Non-homogeneous Nested Recursions Using Trees

Authors: Abraham Isgur, Mustazee Rahman, Stephen Tanny

Abstract: The solutions to certain nested recursions, such as Conolly's C(n) = C(n-C(n-1))+C(n-1-C(n-2)), with initial conditions C(1)=1, C(2)=2, have a well-established combinatorial interpretation in terms of counting leaves in an infinite binary tree. This tree-based interpretation, which has a natural generalization to a k-term nested recursion of this type, only applies to homogeneous recursions, and o… ▽ More The solutions to certain nested recursions, such as Conolly's C(n) = C(n-C(n-1))+C(n-1-C(n-2)), with initial conditions C(1)=1, C(2)=2, have a well-established combinatorial interpretation in terms of counting leaves in an infinite binary tree. This tree-based interpretation, which has a natural generalization to a k-term nested recursion of this type, only applies to homogeneous recursions, and only solves each recursion for one set of initial conditions determined by the tree. In this paper, we extend the tree-based interpretation to solve a non-homogeneous version of the k-term recursion that includes a constant term. To do so we introduce a tree-grafting methodology that inserts copies of a finite tree into the infinite k-ary tree associated with the solution of the corresponding homogeneous k-term recursion. This technique can also be used to solve the given non-homogeneous recursion with various sets of initial conditions. △ Less

Submitted 26 June, 2011; v1 submitted 11 May, 2011; originally announced May 2011.

Comments: 14 pages

MSC Class: 05A19; 11B37 (Primary) 05A15; 05C05 (Secondary)

Journal ref: Ann. Comb. 17 no. 4 (2013), 695-710

Spot-Based Generations for Meta-Fibonacci Sequences

Authors: Barnaby Dalton, Mustazee Rahman, Stephen Tanny

Abstract: For many meta-Fibonacci sequences it is possible to identify a partition of the sequence into successive intervals (sometimes called blocks) with the property that the sequence behaves "similarly" in each block. This partition provides insights into the sequence properties. To date, for any given sequence, only ad hoc methods have been available to identify this partition. We apply a new concept -… ▽ More For many meta-Fibonacci sequences it is possible to identify a partition of the sequence into successive intervals (sometimes called blocks) with the property that the sequence behaves "similarly" in each block. This partition provides insights into the sequence properties. To date, for any given sequence, only ad hoc methods have been available to identify this partition. We apply a new concept - the spot-based generation sequence - to derive a general methodology for identifying this partition for a large class of meta-Fibonacci sequences. This class includes the Conolly and Conway sequences and many of their well-behaved variants, and even some highly chaotic sequences, such as Hofstadter's famous Q-sequence. △ Less

Submitted 9 May, 2011; originally announced May 2011.

Comments: 11 pages, 4 figures

MSC Class: 11B37 (Primary) 39A99 (Secondary)

Journal ref: Experimental Mathematics, 20 (2): 129-137, 2011

A Combinatorial Interpretation for Certain Relatives of the Conolly Sequence

Authors: B. Balamohan, Zhiqiang Li, Stephen Tanny

Abstract: For any integer s >= 0, we derive a combinatorial interpretation for the family of sequences generated by the recursion (parameterized by s) h_s(n) = h_s(n - s - h_s(n - 1)) + h_s(n - 2 - s - h_s(n - 3)), n > s + 3, with the initial conditions h_s(1) = h_s(2) = ... = h_s(s+2) = 1 and h_s(s+3) = 2. We show how these sequences count the number of leaves of a certain infinite tree structure. Using… ▽ More For any integer s >= 0, we derive a combinatorial interpretation for the family of sequences generated by the recursion (parameterized by s) h_s(n) = h_s(n - s - h_s(n - 1)) + h_s(n - 2 - s - h_s(n - 3)), n > s + 3, with the initial conditions h_s(1) = h_s(2) = ... = h_s(s+2) = 1 and h_s(s+3) = 2. We show how these sequences count the number of leaves of a certain infinite tree structure. Using this interpretation we prove that h_s sequences are "slowly growing", that is, h_s sequences are monotone nondecreasing, with successive terms increasing by 0 or 1, so each sequence hits every positive integer. Further, for fixed s the sequence h_s(n) hits every positive integer twice except for powers of 2, all of which are hit s+2 times. Our combinatorial interpretation provides a simple approach for deriving the ordinary generating functions for these sequences. △ Less

Submitted 29 May, 2008; v1 submitted 7 January, 2008; originally announced January 2008.

Comments: 13 pages, 6 figures, 1 table

MSC Class: 05A15 (Primary) 11B37; 11B39 (Secondary)

Journal ref: Journal of Integer Sequences, Vol. 11 (2008), Article 08.2.1