Showing 1–15 of 15 results for author: Lane, J

Permutations whose reverse shares the same recording tableau in the RSK correspondence

Authors: Tucker J. Ervin, Blake Jackson, Jay Lane, Kyungyong Lee, Son Dang Nguyen, Jack O'Donohue, Michael Vaughan

Abstract: The RSK correspondence is a bijection between permutations and pairs of standard Young tableaux with identical shape, where the tableaux are commonly denoted $P$ (insertion) and $Q$ (recording). It has been an open problem to demonstrate… ▽ More The RSK correspondence is a bijection between permutations and pairs of standard Young tableaux with identical shape, where the tableaux are commonly denoted $P$ (insertion) and $Q$ (recording). It has been an open problem to demonstrate $$ |\{w \in \mathfrak{S}_n | \, Q(w) = Q(w^r)\}| = \begin{cases} \displaystyle 2^{\frac{n-1}{2}}{n-1 \choose \frac{n-1}{2}} & n \text{ odd} \newline \displaystyle 0 & n \text{ even} \end{cases}, $$ where $w^r$ is the reverse permutation of $w$. First we show that for each $w$ where $Q(w) = Q(w^r)$ the recording tableau $Q(w)$ has a symmetric hook shape and satisfies a certain simple property. From these two results, we succeed in proving the desired identity. △ Less

Submitted 19 August, 2021; originally announced August 2021.

Comments: 14 pages, 4 figures

MSC Class: 05A15 (Primary) 05A05; 05A17; 05A19 (Secondary)

Journal ref: Séminaire Lotharingien de Combinatoire, B86a (2022), 15 pp

The topology of Gelfand-Zeitlin fibers

Authors: Jeffrey D. Carlson, Jeremy Lane

Abstract: We prove several new results about the topology of fibers of Gelfand--Zeitlin systems on unitary and orthogonal coadjoint orbits, at the same time finding a unifying framework recovering and shedding light on essentially all known results. We find completely explicit descriptions of the diffeomorphism type of the fiber in many instances a direct factor decomposition of the fiber, and a torus facto… ▽ More We prove several new results about the topology of fibers of Gelfand--Zeitlin systems on unitary and orthogonal coadjoint orbits, at the same time finding a unifying framework recovering and shedding light on essentially all known results. We find completely explicit descriptions of the diffeomorphism type of the fiber in many instances a direct factor decomposition of the fiber, and a torus factor corresponding to the action given by the Thimm trick. The new description also gives us a weak local normal form for a coadjoint orbit, which we use to define a topological toric degeneration, new in the orthogonal case. We also compute the first three homotopy groups (new in the orthogonal case) and cohomology rings of a fiber (new in both cases). All these descriptions can be read in a straightforward manner from the combinatorics of the associated Gelfand--Zeitlin pattern. △ Less

Submitted 24 September, 2022; v1 submitted 6 July, 2021; originally announced July 2021.

Comments: Explicit coordinates for fibers, local normal forms for coadjoint orbits, new description of torus action and equivalence with Thimm trick action, and topological toric degeneration all added.Existing material substantially rearranged and condensed (especially material on homotopy groups and homology) for reasons of space. 39 pages

MSC Class: 57T99; 57S99; 37J35; 53D20; 55R20

A local normal form for Hamiltonian actions of compact semisimple Poisson-Lie groups

Authors: Megumi Harada, Jeremy Lane, Aidan Patterson

Abstract: The main contribution of this manuscript is a local normal form for Hamiltonian actions of Poisson-Lie groups $K$ on a symplectic manifold equipped with an $AN$-valued moment map, where $AN$ is the dual Poisson-Lie group of $K$. Our proof uses the delinearization theorem of Alekseev which relates a classical Hamiltonian action of $K$ with $\mathfrak{k}^*$-valued moment map to a Hamiltonian action… ▽ More The main contribution of this manuscript is a local normal form for Hamiltonian actions of Poisson-Lie groups $K$ on a symplectic manifold equipped with an $AN$-valued moment map, where $AN$ is the dual Poisson-Lie group of $K$. Our proof uses the delinearization theorem of Alekseev which relates a classical Hamiltonian action of $K$ with $\mathfrak{k}^*$-valued moment map to a Hamiltonian action with an $AN$-valued moment map, via a deformation of symplectic structures. We obtain our main result by proving a ``delinearization commutes with symplectic quotients'' theorem which is also of independent interest, and then putting this together with the local normal form theorem for classical Hamiltonian actions wtih $\mathfrak{k}^*$-valued moment maps. A key ingredient for our main result is the delinearization $\mathcal{D}(ω_{can})$ of the canonical symplectic structure on $T^*K$, so we additionally take some steps toward explicit computations of $\mathcal{D}(ω_{can})$. In particular, in the case $K=SU(2)$, we obtain explicit formulas for the matrix coefficients of $\mathcal{D}(ω_{can})$ with respect to a natural choice of coordinates on $T^*SU(2)$. △ Less

Submitted 5 June, 2021; originally announced June 2021.

Comments: 23 pages

MSC Class: Primary: 53D20; Secondary: 53D17

Journal ref: Involve 15 (2022) 775-812

Stratified Gradient Hamiltonian Vector Fields and Collective Integrable Systems

Authors: Benjamin Hoffman, Jeremy Lane

Abstract: We construct completely integrable torus actions on the dual Lie algebra of any compact Lie group $K$ with respect to the standard Lie-Poisson structure. These systems generalize properties of Gelfand-Zeitlin systems for unitary and orthogonal Lie groups: 1) the pullback to any Hamiltonian $K$-manifold is an integrable torus action, 2) if the $K$-manifold is multiplicity free, then the torus actio… ▽ More We construct completely integrable torus actions on the dual Lie algebra of any compact Lie group $K$ with respect to the standard Lie-Poisson structure. These systems generalize properties of Gelfand-Zeitlin systems for unitary and orthogonal Lie groups: 1) the pullback to any Hamiltonian $K$-manifold is an integrable torus action, 2) if the $K$-manifold is multiplicity free, then the torus action is \textit{completely} integrable, and 3) the collective moment map has convexity and fiber connectedness properties. They also generalize the relationship between Gelfand-Zeitlin systems and canonical bases via geometric quantization by a real polarization. To construct these integrable systems, we generalize Harada and Kaveh's construction of integrable systems by toric degeneration to singular quasi-projective varieties. Under certain conditions, we show that the stratified-gradient Hamiltonian vector field of such a degeneration, which is defined piece-wise, has a flow whose limit exists and defines continuous degeneration map. △ Less

Submitted 11 September, 2023; v1 submitted 31 August, 2020; originally announced August 2020.

Comments: Added survey of Gelfand-Zeitlin integrable systems to introduction. Added example of geometric quantization of cotangent bundles

Action-angle coordinates on coadjoint orbits and multiplicity free spaces from partial tropicalization

Authors: Anton Alekseev, Benjamin Hoffman, Jeremy Lane, Yanpeng Li

Abstract: Coadjoint orbits and multiplicity free spaces of compact Lie groups are important examples of symplectic manifolds with Hamiltonian groups actions. Constructing action-angle variables on these spaces is a challenging task. A fundamental result in the field is the Guillemin-Sternberg construction of Gelfand-Zeitlin integrable systems for the groups $K=U(n), SO(n)$. Extending these results to groups… ▽ More Coadjoint orbits and multiplicity free spaces of compact Lie groups are important examples of symplectic manifolds with Hamiltonian groups actions. Constructing action-angle variables on these spaces is a challenging task. A fundamental result in the field is the Guillemin-Sternberg construction of Gelfand-Zeitlin integrable systems for the groups $K=U(n), SO(n)$. Extending these results to groups of other types is one of the goals of this paper. Partial tropicalizations are Poisson spaces with constant Poisson bracket built using techniques of Poisson-Lie theory and the geometric crystals of Berenstein-Kazhdan. They provide a bridge between dual spaces of Lie algebras ${\rm Lie}(K)^*$ with linear Poisson brackets and polyhedral cones which parametrize the canonical bases of irreducible modules of $G=K^\mathbb{C}$. We generalize the construction of partial tropicalizations to allow for arbitrary cluster charts, and apply it to questions in symplectic geometry. For each regular coadjoint orbit of a compact group $K$, we construct an exhaustion by symplectic embeddings of toric domains. As a by product we arrive at a conjectured formula for Gromov width of regular coadjoint orbits. We prove similar results for multiplicity free $K$-spaces. △ Less

Submitted 30 March, 2020; originally announced March 2020.

Comments: 66 pages

Local normal forms for multiplicity free $U(n)$ actions on coadjoint orbits

Authors: Jeremy Lane

Abstract: Actions of $U(n)$ on $U(n+1)$ coadjoint orbits via embeddings of $U(n)$ into $U(n+1)$ are an important family of examples of multiplicity free spaces. They are related to Gelfand-Zeitlin completely integrable systems and multiplicity free branching rules in representation theory. This paper computes the Hamiltonian local normal forms of all such actions, at arbitrary points, in arbitrary $U(n+1)$… ▽ More Actions of $U(n)$ on $U(n+1)$ coadjoint orbits via embeddings of $U(n)$ into $U(n+1)$ are an important family of examples of multiplicity free spaces. They are related to Gelfand-Zeitlin completely integrable systems and multiplicity free branching rules in representation theory. This paper computes the Hamiltonian local normal forms of all such actions, at arbitrary points, in arbitrary $U(n+1)$ coadjoint orbits. The results are described using combinatorics of interlacing patterns; gadgets that describe the associated Kirwan polytopes. △ Less

Submitted 1 October, 2020; v1 submitted 23 February, 2020; originally announced February 2020.

Comments: 16 pages. Edits to correct a few minor typos

Journal ref: Pacific J. Math. 309 (2020) 401-419

Dual-Reference Design for Holographic Coherent Diffraction Imaging

Authors: David A. Barmherzig, Ju Sun, Emmanuel J. Candès, T. J. Lane, Po-Nan Li

Abstract: A new reference design is introduced for holographic coherent diffraction imaging. This consists in two references - "block" and "pinhole" shaped regions - placed adjacent to the imaging specimen. An efficient recovery algorithm is provided for the resulting holographic phase retrieval problem, which is based on solving a structured, overdetermined linear system. Analysis of the expected recovery… ▽ More A new reference design is introduced for holographic coherent diffraction imaging. This consists in two references - "block" and "pinhole" shaped regions - placed adjacent to the imaging specimen. An efficient recovery algorithm is provided for the resulting holographic phase retrieval problem, which is based on solving a structured, overdetermined linear system. Analysis of the expected recovery error on noisy data, which is contaminated by Poisson shot noise, shows that this simple modification synergizes the individual references and hence leads to uniformly superior performance over single-reference schemes. Numerical experiments on simulated data confirm the theoretical prediction, and the proposed dual-reference scheme achieves a smaller recovery error than leading single-reference schemes. △ Less

Submitted 25 June, 2019; v1 submitted 7 February, 2019; originally announced February 2019.

Holographic Phase Retrieval and Reference Design

Authors: David A. Barmherzig, Ju Sun, T. J. Lane, Po-Nan Li, Emmanuel J. Candès

Abstract: A general mathematical framework and recovery algorithm is presented for the holographic phase retrieval problem. In this problem, which arises in holographic coherent diffraction imaging, a "reference" portion of the signal to be recovered via phase retrieval is a priori known from experimental design. A generic formula is also derived for the expected recovery error when the measurement data is… ▽ More A general mathematical framework and recovery algorithm is presented for the holographic phase retrieval problem. In this problem, which arises in holographic coherent diffraction imaging, a "reference" portion of the signal to be recovered via phase retrieval is a priori known from experimental design. A generic formula is also derived for the expected recovery error when the measurement data is corrupted by Poisson shot noise. This facilitates an optimization perspective towards reference design and analysis. We employ this optimization perspective towards quantifying the performance of various reference choices. △ Less

Submitted 21 April, 2019; v1 submitted 18 January, 2019; originally announced January 2019.

Comments: 27 pages, 10 figures

Concentration of symplectic volumes on Poisson homogeneous spaces

Authors: Anton Alekseev, Benjamin Hoffman, Jeremy Lane, Yanpeng Li

Abstract: For a compact Poisson-Lie group $K$, the homogeneous space $K/T$ carries a family of symplectic forms $ω_ξ^s$, where $ξ\in \mathfrak{t}^*_+$ is in the positive Weyl chamber and $s \in \mathbb{R}$. The symplectic form $ω_ξ^0$ is identified with the natural $K$-invariant symplectic form on the $K$ coadjoint orbit corresponding to $ξ$. The cohomology class of $ω_ξ^s$ is independent of $s$ for a fixed… ▽ More For a compact Poisson-Lie group $K$, the homogeneous space $K/T$ carries a family of symplectic forms $ω_ξ^s$, where $ξ\in \mathfrak{t}^*_+$ is in the positive Weyl chamber and $s \in \mathbb{R}$. The symplectic form $ω_ξ^0$ is identified with the natural $K$-invariant symplectic form on the $K$ coadjoint orbit corresponding to $ξ$. The cohomology class of $ω_ξ^s$ is independent of $s$ for a fixed value of $ξ$. In this paper, we show that as $s\to -\infty$, the symplectic volume of $ω_ξ^s$ concentrates in arbitrarily small neighbourhoods of the smallest Schubert cell in $K/T \cong G/B$. This strengthens earlier results [9,10] and is a step towards a conjectured construction of global action-angle coordinates on $Lie(K)^*$ [4, Conjecture 1.1]. △ Less

Submitted 12 August, 2019; v1 submitted 21 August, 2018; originally announced August 2018.

Comments: 15 pages, 3 figures

Journal ref: J. Symplectic Geom. 18 (2020) 1197 - 1220

The $U(n)$ Gelfand-Zeitlin system as a tropical limit of Ginzburg-Weinstein diffeomorphisms

Authors: Anton Alekseev, Jeremy Lane, Yanpeng Li

Abstract: We show that the Ginzburg-Weinstein diffeomorphism $\mathfrak{u}(n)^* \to U(n)^*$ of Alekseev-Meinrenken admits a scaling tropical limit on an open dense subset of $\mathfrak{u}(n)^*$. The target of the limit map is a product $\mathcal{C} \times T$, where $\mathcal{C}$ is the interior of a cone, $T$ is a torus, and $\mathcal{C} \times T$ carries an integrable system with natural action-angle coord… ▽ More We show that the Ginzburg-Weinstein diffeomorphism $\mathfrak{u}(n)^* \to U(n)^*$ of Alekseev-Meinrenken admits a scaling tropical limit on an open dense subset of $\mathfrak{u}(n)^*$. The target of the limit map is a product $\mathcal{C} \times T$, where $\mathcal{C}$ is the interior of a cone, $T$ is a torus, and $\mathcal{C} \times T$ carries an integrable system with natural action-angle coordinates. The pull-back of these coordinates to $\mathfrak{u}(n)^*$ recovers the Gelfand-Zeitlin integrable system of Guillemin-Sternberg. As a by-product of our proof, we show that the Lagrangian tori of the Flaschka-Ratiu integrable system on the set of upper triangular matrices meet the set of totally positive matrices for sufficiently large action coordinates. △ Less

Submitted 19 June, 2018; v1 submitted 4 April, 2018; originally announced April 2018.

MSC Class: 37J35 (Primary) 53D17; 14T05 (Secondary)

Journal ref: Philos. Trans. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci. 376 (2018)

The geometric structure of symplectic contraction

Authors: Jeremy Lane

Abstract: We show that the symplectic contraction map of Hilgert-Manon-Martens -- a symplectic version of Popov's horospherical contraction -- is simply the quotient of a Hamiltonian manifold $M$ by a "stratified null foliation" that is determined by the group action and moment map. We also show that the quotient differential structure on the symplectic contraction of $M$ supports a Poisson bracket. We end… ▽ More We show that the symplectic contraction map of Hilgert-Manon-Martens -- a symplectic version of Popov's horospherical contraction -- is simply the quotient of a Hamiltonian manifold $M$ by a "stratified null foliation" that is determined by the group action and moment map. We also show that the quotient differential structure on the symplectic contraction of $M$ supports a Poisson bracket. We end by proving a very general description of the topology of fibers of Gelfand-Zeitlin systems on multiplicity free Hamiltonian $U(n)$ and $SO(n)$ manifolds. △ Less

Submitted 20 November, 2018; v1 submitted 29 September, 2017; originally announced September 2017.

Comments: 16 pages. Version 3 comments: Minor change to statement/proof of Theorem 26 to fix a typo. Added two minor comments after Theorem 26

Journal ref: Int. Math. Res. Not. IMRN 2020 (2020) 3521 - 3539

A completely integrable system on $G_2$ coadjoint orbits

Authors: Jeremy Lane

Abstract: We construct a Gelfand-Zeitlin system on a one-parameter family of $G_2$ coadjoint orbits that are multiplicity-free Hamiltonian $SU(3)$-spaces. Using this system we prove a lower bound for the Gromov width of these orbits. This lower bound agrees with the known upper bound. We construct a Gelfand-Zeitlin system on a one-parameter family of $G_2$ coadjoint orbits that are multiplicity-free Hamiltonian $SU(3)$-spaces. Using this system we prove a lower bound for the Gromov width of these orbits. This lower bound agrees with the known upper bound. △ Less

Submitted 1 November, 2022; v1 submitted 5 May, 2016; originally announced May 2016.

Comments: although the concept and results are correct, the work has technical flaws which i do not have time to correct

Convexity and Thimm's Trick

Authors: Jeremy Lane

Abstract: In this paper we prove a convexity and fibre-connectedness theorem for proper maps constructed by Thimm's trick on a connected Hamiltonian $G$-space $M$ that generate a Hamiltonian torus action on an open dense submanifold. Since these maps only generate a Hamiltonian torus action on an open dense submanifold of $M$, convexity and fibre-connectedness do not follow immediately from Atiyah-Guillemin… ▽ More In this paper we prove a convexity and fibre-connectedness theorem for proper maps constructed by Thimm's trick on a connected Hamiltonian $G$-space $M$ that generate a Hamiltonian torus action on an open dense submanifold. Since these maps only generate a Hamiltonian torus action on an open dense submanifold of $M$, convexity and fibre-connectedness do not follow immediately from Atiyah-Guillemin-Sternberg's convexity theorem, even if $M$ is compact. The core contribution of this paper is to provide a simple argument circumventing this difficulty. In the case where the map is constructed from a chain of subalgebras we prove that the image is given by a list of inequalities that can be computed explicitly. This generalizes the famous example of Gelfand-Zeitlin systems on coadjoint orbits introduced by Guillemin and Sternberg. Moreover, we prove that if such a map generates a completely integrable torus action on an open dense submanifold of $M$, then all its fibres are smooth embedded submanifolds. △ Less

Submitted 2 May, 2017; v1 submitted 24 September, 2015; originally announced September 2015.

Comments: This final version of the paper is to appear. The introduction has changed to better explain the relevance of this work. A brief section comparing the contents of this paper to symplectic contraction recently introduced by HMM has been reinstated. The details of several examples are expanded. A gap in an earlier proof of Proposition 4 has been corrected, thanks to the keen eye of the referees

Journal ref: Transform. Groups 23 (2018) 963 - 987

Topological Monodromy of an Integrable Heisenberg Spin Chain

Authors: Jeremy Lane

Abstract: We investigate topological properties of a completely integrable system on $S^2\times S^2 \times S^2$ which was recently shown to have a Lagrangian fiber diffeomorphic to $\mathbb{R} P^3$ not displaceable by a Hamiltonian isotopy [Oakley J., Ph.D. Thesis, University of Georgia, 2014]. This system can be viewed as integrating the determinant, or alternatively, as integrating a classical Heisenberg… ▽ More We investigate topological properties of a completely integrable system on $S^2\times S^2 \times S^2$ which was recently shown to have a Lagrangian fiber diffeomorphic to $\mathbb{R} P^3$ not displaceable by a Hamiltonian isotopy [Oakley J., Ph.D. Thesis, University of Georgia, 2014]. This system can be viewed as integrating the determinant, or alternatively, as integrating a classical Heisenberg spin chain. We show that the system has non-trivial topological monodromy and relate this to the geometric interpretation of its integrals. △ Less

Submitted 31 July, 2015; v1 submitted 25 November, 2014; originally announced November 2014.

MSC Class: 37J35; 53D12

Journal ref: SIGMA 11 (2015), 062, 18 pages

Electric Potential Due to a System of Conducting Spheres

Authors: Philip T. Metzger, John E. Lane

Abstract: Equations describing the complete series of image charges for a system of conducting spheres are presented. The method of image charges, originally described by J. C. Maxwell in 1873, has been and continues to be a useful method for solving many three dimensional electrostatic problems. Here we demonstrate that as expected when the series is truncated to any finite order N, the electric field re… ▽ More Equations describing the complete series of image charges for a system of conducting spheres are presented. The method of image charges, originally described by J. C. Maxwell in 1873, has been and continues to be a useful method for solving many three dimensional electrostatic problems. Here we demonstrate that as expected when the series is truncated to any finite order N, the electric field resulting from the truncated series becomes qualitatively more similar to the correct field as N increases. A method of charge normalization is developed which provides significant improvement for truncated low order solutions. The formulation of the normalization technique and its solution via a matrix inversion has similarities to the method of moments, which is a numerical solution of Poisson's equation, using an integral equation for the unknown charge density with a known boundary potential. The last section of this paper presents a gradient search method to optimize a set of L point charges for M spheres. This method may use the image charge series to initialize the gradient search. We demonstrate quantitatively how the metric can be optimized by adjusting the locations and amounts of charge for the set of points, and that an optimized set of charges generally performs better than truncated normalized image charges, at the expense of gradient search iteration time. △ Less

Submitted 8 June, 2009; originally announced June 2009.

Comments: 25 pages, 9 figures. To appear in The Open Applied Physics Journal, http://www.bentham.org/open/toapj/

Journal ref: The Open Applied Physics Journal 2, 32-48 (2009)