Showing 1–41 of 41 results for author: Wallach, N

The spherical Whittaker Inversion Theorem and the quantum non-periodic Toda Lattice

Authors: Nolan R. Wallach

Abstract: In this paper the spherical case of the Whittaker Inversion Theorem is given a relatively self-contained proof. This special case can be used as a help in deciphering the handling of the continuous spectrum in the proof of the full theorem. It also leads directly to the solution of the quantum non-periodic Toda Lattice. This is also explained in detail in this paper. In this paper the spherical case of the Whittaker Inversion Theorem is given a relatively self-contained proof. This special case can be used as a help in deciphering the handling of the continuous spectrum in the proof of the full theorem. It also leads directly to the solution of the quantum non-periodic Toda Lattice. This is also explained in detail in this paper. △ Less

Submitted 21 June, 2023; v1 submitted 20 March, 2023; originally announced March 2023.

Comments: This revision fixes some typos and adds a new theorem reducing the study of spherical Whittaker functions to the case of split semi-simple Lie groups

On a question related to a basic convergence theorem of Harish-Chandra

Authors: Nolan R. Wallach

Abstract: In his first 1958 paper on zonal spherical functions Harish-Chandra proved an extremely delicate convergence theorem which was basic to his subsequent definition of his Schwartz space and his theory of cusp forms. This paper gives elementary proofs that a related integral converges for for groups of real rank one, several groups of real rank 2 (including $SO(n,2), Sp_4(R)$ and $Sp_4(C)$),… ▽ More In his first 1958 paper on zonal spherical functions Harish-Chandra proved an extremely delicate convergence theorem which was basic to his subsequent definition of his Schwartz space and his theory of cusp forms. This paper gives elementary proofs that a related integral converges for for groups of real rank one, several groups of real rank 2 (including $SO(n,2), Sp_4(R)$ and $Sp_4(C)$), $GL(n,R)$ and $GL(n,C)$. In fact, a stronger result has been proved in <cite>raphael</cite>. Applications of the question are also studied. △ Less

Submitted 1 July, 2022; v1 submitted 29 June, 2022; originally announced June 2022.

Harmonic differential forms for pseudo-reflection groups II. Bi-degree bounds

Authors: Joshua P. Swanson, Nolan R. Wallach

Abstract: This paper studies three results that describe the structure of the super-coinvariant algebra of pseudo-reflection groups over a field of characteristic $0$. Our most general result determines the top component in total degree, which we prove for all Shephard--Todd groups $G(m, p, n)$ with $m \neq p$ or $m=1$. Our strongest result gives tight bi-degree bounds and is proven for all $G(m, 1, n)$, wh… ▽ More This paper studies three results that describe the structure of the super-coinvariant algebra of pseudo-reflection groups over a field of characteristic $0$. Our most general result determines the top component in total degree, which we prove for all Shephard--Todd groups $G(m, p, n)$ with $m \neq p$ or $m=1$. Our strongest result gives tight bi-degree bounds and is proven for all $G(m, 1, n)$, which includes the Weyl groups of types $A$ and $B$/$C$. For symmetric groups (i.e. type $A$), this provides new evidence for a recent conjecture of Zabrocki related to the Delta Conjecture of Haglund--Remmel--Wilson. Finally, we examine analogues of a classic theorem of Steinberg and the Operator Theorem of Haiman. Our arguments build on the type-independent classification of semi-invariant harmonic differential forms carried out in the first part of this series. In this paper we use concrete constructions including Gröbner and Artin bases for the classical coinvariant algebras of the pseudo-reflection groups $G(m, p, n)$, which we describe in detail. We also prove that exterior differentiation is exact on the super-coinvariant algebra of a general pseudo-reflection group. Finally, we discuss related conjectures and enumerative consequences. △ Less

Submitted 7 September, 2021; originally announced September 2021.

Comments: 48 pages. For Part I, see arXiv:2001.06076

MSC Class: 05E16 (Primary) 20F55; 05A15 (Secondary)

Stability theorems for multiplicities in graded $S_n$-modules

Authors: Marino Romero, Nolan Wallach

Abstract: In this paper, we prove several stability theorems for multiplicities of naturally defined representations of symmetric groups. The first such theorem states that if we consider the diagonal action of the symmetric group $S_{m+r}$ on $k$ sets of $m+r$ variables, then the dimension of the invariants of degree $m$ is the same as the dimension of the invariants of degree $m$ for $S_{m}$ acting on… ▽ More In this paper, we prove several stability theorems for multiplicities of naturally defined representations of symmetric groups. The first such theorem states that if we consider the diagonal action of the symmetric group $S_{m+r}$ on $k$ sets of $m+r$ variables, then the dimension of the invariants of degree $m$ is the same as the dimension of the invariants of degree $m$ for $S_{m}$ acting on $k$ sets of $m$ variables. Building on this stability, the last section looks at the Hilbert series of coinvariants of the polynomial ring in $k$ sets of $m$ variables. We address a conjecture that the Hilbert series, in degrees no more than $m$, can be computed by a truncated power series expression. Using some auxiliary results and manipulations of power series, we show that if this holds for $k$ and $m$, then the truncation gives the correct Hilbert series up to degree $m$ for $k$ sets of $n \geq m$ variables. This shows the validity of the conjecture up to certain degrees. We also provide a new equivalent conjecture regarding Gröbner bases. The second type of stability result is for Weyl modules. We prove that the dimension of the $S_{m+r}$ invariants for a Weyl module ${}_{m+r}F^λ$ (the Schur-Weyl dual of the $S_{|λ|}$ module $V^λ$) with $\left\vert λ\right\vert \leq m$ is of the same dimension as the space of $S_{m}$ invariants for ${}_{m}F^λ$. Multigraded versions of the first type of result are given, as are multigraded generalizations to non-trivial modules of symmetric groups. △ Less

Submitted 18 June, 2024; v1 submitted 30 July, 2021; originally announced August 2021.

The dependence on parameters of the inverse functor to the $K$-finite functor

Authors: Nolan R. Wallach

Abstract: An interpretation of the Casselman-Wallach (C-W) Theorem is that the $K$-finite functor is an isomorphism of categories from the category of finitely generated, admissible smooth Fréchet modules of moderate growth to the category of Harish-Chandra modules for a real reductive group, $G$ (here $K$ is a maximal compact subgroup of G).In this paper we study the dependence of this functor on parameter… ▽ More An interpretation of the Casselman-Wallach (C-W) Theorem is that the $K$-finite functor is an isomorphism of categories from the category of finitely generated, admissible smooth Fréchet modules of moderate growth to the category of Harish-Chandra modules for a real reductive group, $G$ (here $K$ is a maximal compact subgroup of G).In this paper we study the dependence of this functor on parameters. Our main result implies that holomorphic dependence implies holomorphic dependence. The work uses results from the excellent thesis of van der Noort. Also a remarkable family of Universal Harish-Chandra modules developed in this paper plays a key role. △ Less

Submitted 17 April, 2020; originally announced April 2020.

Comments: arXiv admin note: substantial text overlap with arXiv:1902.01871

Harmonic differential forms for pseudo-reflection groups I. Semi-invariants

Authors: Joshua P. Swanson, Nolan R. Wallach

Abstract: We give a type-independent construction of an explicit basis for the semi-invariant harmonic differential forms of an arbitrary pseudo-reflection group in characteristic zero. Our "top-down" approach uses the methods of Cartan's exterior calculus and is in some sense dual to related work of Solomon, Orlik--Solomon, and Shepler describing (semi-)invariant differential forms. We apply our results to… ▽ More We give a type-independent construction of an explicit basis for the semi-invariant harmonic differential forms of an arbitrary pseudo-reflection group in characteristic zero. Our "top-down" approach uses the methods of Cartan's exterior calculus and is in some sense dual to related work of Solomon, Orlik--Solomon, and Shepler describing (semi-)invariant differential forms. We apply our results to a recent conjecture of Zabrocki which provides a representation theoretic-model for the Delta conjecture of Haglund--Remmel--Wilson in terms of a certain non-commutative coinvariant algebra for the symmetric group. In particular, we verify the alternating component of a specialization of Zabrocki's conjecture. △ Less

Submitted 16 January, 2020; originally announced January 2020.

Comments: 28 pages. Supercedes arXiv:1908.00196

MSC Class: 05E10 (Primary); 20F55 (Secondary)

Some implications of a conjecture of Zabrocki to the action of $S_{n}$ on polynomial differential forms

Authors: Nolan R. Wallach

Abstract: The symmetric group acts on polynomial differential forms on $\mathbb{R}^{n}$ through its action by permuting the coordinates. In this paper the $S_{n}% $-invariants are shown to be freely generated by the elementary symmetric polynomials and their exterior derivatives. A basis of the alternants in the quotient of the ideal generated by the homogeneous invariants of positive degree is given. In ad… ▽ More The symmetric group acts on polynomial differential forms on $\mathbb{R}^{n}$ through its action by permuting the coordinates. In this paper the $S_{n}% $-invariants are shown to be freely generated by the elementary symmetric polynomials and their exterior derivatives. A basis of the alternants in the quotient of the ideal generated by the homogeneous invariants of positive degree is given. In addition, the highest bigraded degrees are given for the quotient. All of these results are consistent with predictions derived by Garsia and Romero from a recent conjecture of Zabrocki. △ Less

Submitted 27 June, 2019; originally announced June 2019.

Dependence on parameters of CW globalizations of families of Harish-Chandra modules and the meromorphic continuation of $C^{\infty}$ Eisenstein series

Authors: Nolan R. Wallach

Abstract: The first main result is that the Casselman-Wallach Globalization of a real analytic family of Harish-Chandra modules is continuous in the parameter. Our proof of this result uses results from the thesis of Vincent van der Noort in several critical ways. In his thesis the holomorphic version of the result was proved in the case when the parameter space is a one dimensional complex manifold up to a… ▽ More The first main result is that the Casselman-Wallach Globalization of a real analytic family of Harish-Chandra modules is continuous in the parameter. Our proof of this result uses results from the thesis of Vincent van der Noort in several critical ways. In his thesis the holomorphic version of the result was proved in the case when the parameter space is a one dimensional complex manifold up to a branched covering. The second main result is a proof of the meromorphic continuation of $C^{\infty}$ Eisenstein series.using Langlands' results in the $K$ finite case as an application of the methods in the proof of the first part. △ Less

Submitted 18 April, 2019; v1 submitted 5 February, 2019; originally announced February 2019.

Comments: This version fills some gaps in the proof of the meromorphic continuation of smooth Eisenstein Series. It also leaves the general result of holomorphy asserted in the original open

Principal orbit type theorems for reductive algebraic group actions and the Kempf--Ness Theorem

Authors: Nolan R. Wallach

Abstract: The main result asserts: Let $G$ be a reductive, affine algebraic group and let $(ρ,V)$ be a regular representation of $G$. Let $X$ be an irreducible $\mathbb{C}^{ \times } G$ invariant Zariski closed subset such that $G$ has a closed orbit that has maximal dimension among all orbits (this is equivalent to: generic orbits are closed). Then there exists an open subset, $W$,of $X$ in the metric topo… ▽ More The main result asserts: Let $G$ be a reductive, affine algebraic group and let $(ρ,V)$ be a regular representation of $G$. Let $X$ be an irreducible $\mathbb{C}^{ \times } G$ invariant Zariski closed subset such that $G$ has a closed orbit that has maximal dimension among all orbits (this is equivalent to: generic orbits are closed). Then there exists an open subset, $W$,of $X$ in the metric topology which is dense with complement of measure $0$ such that if $x ,y \in W$ then $\left (\mathbb{C}^{ \times } G\right )_{x}$ is conjugate to $\left (\mathbb{C}^{ \times } G\right )_{y}$. Furthermore, if $G x$ is a closed orbit of maximal dimension and if $x$ is a smooth point of $X$ then there exists $y \in W$ such that $\left (\mathbb{C}^{ \times } G\right )_{x}$ contains a conjugate of $\left (\mathbb{C}^{ \times } G\right )_{y}$. The proof involves using the Kempf-Ness theorem to reduce the result to the principal orbit type theorem for compact Lie groups. △ Less

Submitted 17 November, 2018; originally announced November 2018.

Transformations among Pure Multipartite Entangled States via Local Operations Are Almost Never Possible

Authors: David Sauerwein, Nolan R. Wallach, Gilad Gour, Barbara Kraus

Abstract: Local operations assisted by classical communication (LOCC) constitute the free operations in entanglement theory. Hence, the determination of LOCC transformations is crucial for the understanding of entanglement. We characterize here almost all LOCC transformations among pure multipartite multilevel states. Combined with the analogous results for qubit states shown by Gour \emph{et al.} [J. Math.… ▽ More Local operations assisted by classical communication (LOCC) constitute the free operations in entanglement theory. Hence, the determination of LOCC transformations is crucial for the understanding of entanglement. We characterize here almost all LOCC transformations among pure multipartite multilevel states. Combined with the analogous results for qubit states shown by Gour \emph{et al.} [J. Math. Phys. 58, 092204 (2017)], this gives a characterization of almost all local transformations among multipartite pure states. We show that nontrivial LOCC transformations among generic, fully entangled, pure states are almost never possible. Thus, almost all multipartite states are isolated. They can neither be deterministically obtained from local-unitary-inequivalent (LU-inequivalent) states via local operations, nor can they be deterministically transformed to pure, fully entangled LU-inequivalent states. In order to derive this result, we prove a more general statement, namely, that, generically, a state possesses no nontrivial local symmetry. We discuss further consequences of this result for the characterization of optimal, probabilistic single copy and probabilistic multi-copy LOCC transformations and the characterization of LU-equivalence classes of multipartite pure states. △ Less

Submitted 11 July, 2018; v1 submitted 29 November, 2017; originally announced November 2017.

Comments: 13 pages main text + 10 pages appendix, 1 figure; close to published version

Journal ref: Phys. Rev. X 8, 031020 (2018)

On the Whittaker Plancherel Theorem for Real Reductive Groups

Authors: Nolan R. Wallach

Abstract: The purpose of this article is to give the first complete proof of the Whittaker Plancherel Theorem. The proof uses Harish-Chandra's Plancherel Theorem for a real reductive group and its exposition can be used as an introduction to Harish-Chandra's ideas. The proof follows the basic ideas in the author's original attempt in his second volume on real reductive groups. An error in the calculation of… ▽ More The purpose of this article is to give the first complete proof of the Whittaker Plancherel Theorem. The proof uses Harish-Chandra's Plancherel Theorem for a real reductive group and its exposition can be used as an introduction to Harish-Chandra's ideas. The proof follows the basic ideas in the author's original attempt in his second volume on real reductive groups. An error in the calculation of the Whittaker Transform of a Harish-Chandra wave packet is fixed using a result of Raphaël Beuzart-Plessis. △ Less

Submitted 28 October, 2023; v1 submitted 18 May, 2017; originally announced May 2017.

Comments: This is the tenth and final version of this paper. It supersedes all of the earlier versions and gives a complete proof of the theorem. It also fixes a gap in the previous version involving j_{σ,ν}

Unentangled Measurements and Frame Functions

Authors: Jiri Lebl, Asif Shakeel, Nolan Wallach

Abstract: Gleason's theorem asserts the equivalence of von Neumann's density operator formalism of quantum mechanics and frame functions, which are functions on the pure states that sum to 1 on any orthonormal basis of Hilbert space of dimension at least 3. The unentangled frame functions are initially only defined on unentangled (that is, product) states in a multi-partite system. The third author's Unenta… ▽ More Gleason's theorem asserts the equivalence of von Neumann's density operator formalism of quantum mechanics and frame functions, which are functions on the pure states that sum to 1 on any orthonormal basis of Hilbert space of dimension at least 3. The unentangled frame functions are initially only defined on unentangled (that is, product) states in a multi-partite system. The third author's Unentangled Gleason's Theorem shows that unentangled frame functions determine unique density operators if and only if each subsystem is at least 3-dimensional. In this paper, we determine the structure of unentangled frame functions in general. We first classify them for multi-qubit systems, and then extend the results to factors of varying dimensions including countably infinite dimensions (separable Hilbert spaces). A remarkable combinatorial structure emerges, suggesting possible fundamental interpretations. △ Less

Submitted 14 August, 2018; v1 submitted 21 January, 2017; originally announced January 2017.

Comments: 8 pages

MSC Class: 81P45; 81P40

Journal ref: Journal of Mathematical Physics 59, 062107 (2018)

An analogue of the Kostant-Rallis multiplicity theorem for $θ$-group harmonics

Authors: Nolan R. Wallach

Abstract: The main result in this paper is the generalization of the Kostant-Rallis multiplicity formula to general θ--groups (in the sense of Vinberg). The special cases of the two most interesting examples one for $E_6$ (three qubits) and one for $E_8$ are given explicit formulas. The main result in this paper is the generalization of the Kostant-Rallis multiplicity formula to general θ--groups (in the sense of Vinberg). The special cases of the two most interesting examples one for $E_6$ (three qubits) and one for $E_8$ are given explicit formulas. △ Less

Submitted 16 April, 2017; v1 submitted 6 September, 2016; originally announced September 2016.

Almost all multipartite qubit quantum states have trivial stabilizer

Authors: Gilad Gour, Barbara Kraus, Nolan R. Wallach

Abstract: The stabilizer group of an n-qubit state ψis the set of all matrices of the form g=g_1\otimes\cdots\otimes g_n, with g_1,...,g_n being any 2x2 invertible complex matrices, that satisfy gψ=ψ. We show that for 5 or more qubits, except for a set of states of zero measure, the stabilizer group of multipartite entangled states is trivial; that is, containing only the identity element. We use this resul… ▽ More The stabilizer group of an n-qubit state ψis the set of all matrices of the form g=g_1\otimes\cdots\otimes g_n, with g_1,...,g_n being any 2x2 invertible complex matrices, that satisfy gψ=ψ. We show that for 5 or more qubits, except for a set of states of zero measure, the stabilizer group of multipartite entangled states is trivial; that is, containing only the identity element. We use this result to show that for 5 or more qubits, the action of deterministic local operations and classical communication (LOCC) can almost always be simulated simply by local unitary (LU) operations. This proves that almost all n-qubit states with n>4 are isolated, that is they can neither be reached nor converted into any other (n-partite entangled), LU-inequivalent state via deterministic LOCC. We also find a simple and elegant expression for the maximal probability to convert one multi-qubit entangled state to another for this generic set of states. △ Less

Submitted 5 December, 2017; v1 submitted 5 September, 2016; originally announced September 2016.

Comments: 6 pages (main text) + 7 pages (Appendix), no figures, published version

Journal ref: Journal of Mathematical Physics 58, 092204 (2017)

On Neeman's gradient flows

Authors: Nolan R. Wallach

Abstract: In his brilliant but sketchy paper on the strucure of quotient varieties of affine actions of reductive algebraic groups over C, Amnon Neeman introduced a gradiant flow with remarkable properties. The purpose of this paper is to study several applications of this flow. In particular we prove that the cone on a Zariski closed subset of n-1 dimensional real projective space is a deformation retract… ▽ More In his brilliant but sketchy paper on the strucure of quotient varieties of affine actions of reductive algebraic groups over C, Amnon Neeman introduced a gradiant flow with remarkable properties. The purpose of this paper is to study several applications of this flow. In particular we prove that the cone on a Zariski closed subset of n-1 dimensional real projective space is a deformation retract of n dimensional Euclidean space. We also give an exposition of an extension to real reductive algebraic group actions of Schwarz's excellent explanation of Neeman's sketch of a proof of his deformation theorem. This exposition precisely explains the use of Lojasiewicz gradient inequality. The result described above for cones makes use of these ideas. △ Less

Submitted 30 April, 2016; originally announced May 2016.

Local Distinguishability of Generic Unentangled Orthonormal Bases

Authors: Jiri Lebl, Asif Shakeel, Nolan Wallach

Abstract: An orthonormal basis consisting of unentangled (pure tensor) elements in a tensor product of Hilbert spaces is an Unentangled Orthogonal Basis (UOB). In general, for $n$ qubits, we prove that in its natural structure as a real variety, the space of UOB is a bouquet of products of Riemann spheres parametrized by a class of edge colorings of hypercubes. Its irreducible components of maximum dimens… ▽ More An orthonormal basis consisting of unentangled (pure tensor) elements in a tensor product of Hilbert spaces is an Unentangled Orthogonal Basis (UOB). In general, for $n$ qubits, we prove that in its natural structure as a real variety, the space of UOB is a bouquet of products of Riemann spheres parametrized by a class of edge colorings of hypercubes. Its irreducible components of maximum dimension are products of $2^n-1$ two-spheres. Using a theorem of Walgate and Hardy, we observe that the UOB whose elements are distinguishable by local operations and classical communication (called locally distinguishable or LOCC distinguishable UOB) are exactly those in the maximum dimensional components. Bennett et al, in their in-depth study of quantum nonlocality without entanglement, include a specific 3 qubit example UOB which is not LOCC distinguishable; we construct certain generalized counterparts of this UOB in $n$ qubits. △ Less

Submitted 4 January, 2016; v1 submitted 23 February, 2015; originally announced February 2015.

Comments: 7 pages, 3 figures; to appear in Phys. Rev. A, title changed

MSC Class: 81P40 (Primary); 05C15 (Secondary)

Journal ref: Phys. Rev. A 93, 012330 (2016)

A new Plethystic Symmetric Function Operator and The rational Compositional Shuffle Conjecture at t=1/q

Authors: A. M. Garsia, E. Leven, N. Wallach, G. Xin

Abstract: Our main result here is that the specialization at $t=1/q$ of the $Q_{km,kn}$ operators studied in [4] may be given a very simple plethystic form. This discovery yields elementary and direct derivations of several identities relating these operators at $t=1/q$ to the Rational Compositional Shuffle conjecture of [3]. In particular we show that if $m,n $ and $k$ are positive integers and $(m,n)$ is… ▽ More Our main result here is that the specialization at $t=1/q$ of the $Q_{km,kn}$ operators studied in [4] may be given a very simple plethystic form. This discovery yields elementary and direct derivations of several identities relating these operators at $t=1/q$ to the Rational Compositional Shuffle conjecture of [3]. In particular we show that if $m,n $ and $k$ are positive integers and $(m,n)$ is a coprime pair then $$ q^{(km-1)(kn-1)+k-1\over 2} Q_{km,kn}(-1)^{kn}\Big|_{t=1/q} \,=\, \textstyle{[k]_q\over [km]_q} e_{km}\big[ X[km]_q\big] $$ where as customarily, for any integer $s \geq 0$ and indeterminate $u$ we set $[s]_u=1+u+\cdots +u^{s-1}$. We also show that the symmetric polynomial on the right hand side is always Schur positive. Moreover, using the Rational Compositional Shuffle conjecture, we derive a precise formula expressing this polynomial in terms of Parking functions in the $km\times kn$ lattice rectangle. △ Less

Submitted 3 January, 2015; originally announced January 2015.

Fréchet completions of moderate growth old and (somewhat) new results

Authors: Nolan R. Wallach

Abstract: This article has two objectives. The first is to give a guide to the proof of the (so-called) Casselman-Wallach theorem as it appears in Real Reductive Groups II. The emphasis will be on one aspect of the original proof that leads to the new result in this paper which is the second objective. We show how a theorem of van der Noort combined with a clarification of the original argument in my book l… ▽ More This article has two objectives. The first is to give a guide to the proof of the (so-called) Casselman-Wallach theorem as it appears in Real Reductive Groups II. The emphasis will be on one aspect of the original proof that leads to the new result in this paper which is the second objective. We show how a theorem of van der Noort combined with a clarification of the original argument in my book lead to a theorem with parameters (an alternative is one announced by Berstein and Krötz). This result gives a new proof of the meromorphic continulation of the smooth Eisenstein series. △ Less

Submitted 8 August, 2014; v1 submitted 14 March, 2014; originally announced March 2014.

MSC Class: 22E30

A quantum polylog algorithm for non-normal maximal cyclic hidden subgroups in the affine group of a finite field

Authors: Nolan Wallach

Abstract: We give an algorithm to solve the quantum hidden subgroup problem for maximal cyclic non-normal subgroups of the affine group of a finite field (if the field has order $q$ then the group has order $q(q-1)$) with probability $1-\varepsilon$ with (polylog) complexity $O(\log(q)^{R}\log(\varepsilon)^{2})$ where $R<\infty.$ We give an algorithm to solve the quantum hidden subgroup problem for maximal cyclic non-normal subgroups of the affine group of a finite field (if the field has order $q$ then the group has order $q(q-1)$) with probability $1-\varepsilon$ with (polylog) complexity $O(\log(q)^{R}\log(\varepsilon)^{2})$ where $R<\infty.$ △ Less

Submitted 10 August, 2013; v1 submitted 6 August, 2013; originally announced August 2013.

Classification of multipartite entanglement in all dimensions

Authors: Gilad Gour, Nolan R. Wallach

Abstract: We provide a systematic classification of multiparticle entanglement in terms of equivalence classes of states under stochastic local operations and classical communication (SLOCC). We show that such an SLOCC equivalency class of states is characterized by ratios of homogenous polynomials that are invariant under local action of the special linear group. We then construct the complete set of all s… ▽ More We provide a systematic classification of multiparticle entanglement in terms of equivalence classes of states under stochastic local operations and classical communication (SLOCC). We show that such an SLOCC equivalency class of states is characterized by ratios of homogenous polynomials that are invariant under local action of the special linear group. We then construct the complete set of all such SL-invariant polynomials (SLIPs). Our construction is based on Schur-Weyl duality and applies to any number of qudits in all (finite) dimensions. In addition, we provide an elegant formula for the dimension of the homogenous SLIPs space of a fixed degree as a function of the number of qudits. The expressions for the SLIPs involve in general many terms, but for the case of qubits we also provide much simpler expressions. △ Less

Submitted 15 August, 2013; v1 submitted 26 April, 2013; originally announced April 2013.

Comments: 5+10 pages, published version

Journal ref: Phys. Rev. Lett. 111, 060502 (2013)

On Symmetric SL-Invariant Polynomials in Four Qubits

Authors: Gilad Gour, Nolan R. Wallach

Abstract: We find the generating set of SL-invariant polynomials in four qubits that are also invariant under permutations of the qubits. The set consists of four polynomials of degrees 2,6,8, and 12, for which we find an elegant expression in the space of critical states. In addition, we show that the Hyperdeterminant in four qubits is the only SL-invariant polynomial (up to powers of itself) that is non-v… ▽ More We find the generating set of SL-invariant polynomials in four qubits that are also invariant under permutations of the qubits. The set consists of four polynomials of degrees 2,6,8, and 12, for which we find an elegant expression in the space of critical states. In addition, we show that the Hyperdeterminant in four qubits is the only SL-invariant polynomial (up to powers of itself) that is non-vanishing precisely on the set of generic states. △ Less

Submitted 23 November, 2012; originally announced November 2012.

Comments: 5 pages, submitted to "Symmetry: In Representation Theory and Its Applications." In Honor of Nolan R. Wallach," a volume in Progress in Mathematics (Birkhauser)

Shor's algorithm without partial fractions

Authors: Nolan R. Wallach

Abstract: The purpose of this note was to give a proof that Shor's algorithm for period search is polynomial using only the standard $2^{n}$ quantum Fourier thansform and some simple trigonometry. There is an error that was pointed out to the author by Pavel Wocjan. The purpose of this note was to give a proof that Shor's algorithm for period search is polynomial using only the standard $2^{n}$ quantum Fourier thansform and some simple trigonometry. There is an error that was pointed out to the author by Pavel Wocjan. △ Less

Submitted 17 August, 2012; v1 submitted 9 August, 2012; originally announced August 2012.

Comments: This paper has been withdrawn by the author due to an error relating "m" and "x"

Ricci flow and curvature on the variety of flags on the two dimensional projective space over the complexes, quaternions and the octonions

Authors: Man-Wai Cheung, Nolan R. Wallach

Abstract: For homogeneous metrics on the spaces of the title it is shown that the Ricci flow can move a metric of stricly positive sectional curvature to one with some negative sectional curvature and one of positive definite Ricci tensor to one with indefinite signature. For homogeneous metrics on the spaces of the title it is shown that the Ricci flow can move a metric of stricly positive sectional curvature to one with some negative sectional curvature and one of positive definite Ricci tensor to one with indefinite signature. △ Less

Submitted 30 June, 2012; v1 submitted 12 June, 2012; originally announced June 2012.

Journal ref: Proc. Amer. Math. Soc. 143 (2015), 369-378

Action of the conformal group on steady state solutions to Maxwell's equations and background radiation

Authors: Bertram Kostant, Nolan Wallach

Abstract: The representation of the conformal group (PSU(2,2)) on the space of solutions to Maxwell's equations on the conformal compactification of Minkowski space is shown to break up into four irreducible unitarizable smooth Fréchet representations of moderate growth. An explicit inner product is defined on each representation. The frequency spectrum of each of these representations is analyzed. These re… ▽ More The representation of the conformal group (PSU(2,2)) on the space of solutions to Maxwell's equations on the conformal compactification of Minkowski space is shown to break up into four irreducible unitarizable smooth Fréchet representations of moderate growth. An explicit inner product is defined on each representation. The frequency spectrum of each of these representations is analyzed. These representations have notable properties; in particular they have positive or negative energy, they are of type $A_{\frak q}(λ)$ and are quaternionic. Physical implications of the results are explained. △ Less

Submitted 26 September, 2011; originally announced September 2011.

MSC Class: 78A25; 58Z05; 22E70; 22E45

Necessary and sufficient conditions for local manipulation of multipartite pure quantum states

Authors: Gilad Gour, Nolan R. Wallach

Abstract: Suppose several parties jointly possess a pure multipartite state, |ψ>. Using local operations on their respective systems and classical communication (i.e. LOCC) it may be possible for the parties to transform deterministically |ψ> into another joint state |φ>. In the bipartite case, Nielsen majorization theorem gives the necessary and sufficient conditions for this process of entanglement transf… ▽ More Suppose several parties jointly possess a pure multipartite state, |ψ>. Using local operations on their respective systems and classical communication (i.e. LOCC) it may be possible for the parties to transform deterministically |ψ> into another joint state |φ>. In the bipartite case, Nielsen majorization theorem gives the necessary and sufficient conditions for this process of entanglement transformation to be possible. In the multipartite case, such a deterministic local transformation is possible only if both the states in the same stochastic LOCC (SLOCC) class. Here we generalize Nielsen majorization theorem to the multipartite case, and find necessary and sufficient conditions for the existence of a local separable transformation between two multipartite states in the same SLOCC class. When such a deterministic conversion is not possible, we find an expression for the maximum probability to convert one state to another by local separable operations. In addition, we find necessary and sufficient conditions for the existence of a separable transformation that converts a multipartite pure state into one of a set of possible final states all in the same SLOCC class. Our results are expressed in terms of (1) the stabilizer group of the state representing the SLOCC orbit, and (2) the associate density matrices (ADMs) of the two multipartite states. The ADMs play a similar role to that of the reduced density matrices, when considering local transformations that involves pure bipartite states. We show in particular that the requirement that one ADM majorize another is a necessary condition but in general far from being also sufficient as it happens in the bipartite case. △ Less

Submitted 11 July, 2011; v1 submitted 25 March, 2011; originally announced March 2011.

Comments: Published version. Abstract and introduction revised significantly

Journal ref: New J. Phys. 13 073013 (2011)

Bessel Models for General Admissible Induced Representations: The Compact Stabilizer Case

Authors: Raul Gomez, Nolan Wallach

Abstract: A holomorphic continuation of Jacquet type integrals for parabolic subgroups with abelian nilradical is studied. Complete results are given for generic characters with compact stabilizer and arbitrary representations induced from admissible representations. A description of all of the pertinent examples is given. These results give a complete description of the Bessel models corresponding to compa… ▽ More A holomorphic continuation of Jacquet type integrals for parabolic subgroups with abelian nilradical is studied. Complete results are given for generic characters with compact stabilizer and arbitrary representations induced from admissible representations. A description of all of the pertinent examples is given. These results give a complete description of the Bessel models corresponding to compact stabilizer. △ Less

Submitted 30 November, 2010; originally announced November 2010.

On the algebraic set of singular elements in a complex simple Lie algebra

Authors: Bertram Kostant, Nolan Wallach

Abstract: Let $G$ be a complex simple Lie group and let $\g = \hbox{\rm Lie}\,G$. Let $S(\g)$ be the $G$-module of polynomial functions on $\g$ and let $\hbox{\rm Sing}\,\g$ be the closed algebraic cone of singular elements in $\g$. Let ${\cal L}\s S(\g)$ be the (graded) ideal defining $\hbox{\rm Sing}\,\g$ and let $2r$ be the dimension of a $G$-orbit of a regular element in $\g$. Then ${\cal L}^k = 0$ for… ▽ More Let $G$ be a complex simple Lie group and let $\g = \hbox{\rm Lie}\,G$. Let $S(\g)$ be the $G$-module of polynomial functions on $\g$ and let $\hbox{\rm Sing}\,\g$ be the closed algebraic cone of singular elements in $\g$. Let ${\cal L}\s S(\g)$ be the (graded) ideal defining $\hbox{\rm Sing}\,\g$ and let $2r$ be the dimension of a $G$-orbit of a regular element in $\g$. Then ${\cal L}^k = 0$ for any $k<r$. On the other hand, there exists a remarkable $G$-module $M\s {\cal L}^r$ which already defines $\hbox{\rm Sing}\,\g$. The main results of this paper are a determination of the structure of $M$. △ Less

Submitted 14 November, 2010; originally announced November 2010.

MSC Class: 20G20; 20G05; 22E10; 22E60; 22E45

All Maximally Entangled Four Qubits States

Authors: Gilad Gour, Nolan R. Wallach

Abstract: We find an operational interpretation for the 4-tangle as a type of residual entanglement, somewhat similar to the interpretation of the 3-tangle. Using this remarkable interpretation, we are able to find the class of maximally entangled four-qubits states which is characterized by four real parameters. The states in the class are maximally entangled in the sense that their average bipartite entan… ▽ More We find an operational interpretation for the 4-tangle as a type of residual entanglement, somewhat similar to the interpretation of the 3-tangle. Using this remarkable interpretation, we are able to find the class of maximally entangled four-qubits states which is characterized by four real parameters. The states in the class are maximally entangled in the sense that their average bipartite entanglement with respect to all possible bi-partite cuts is maximal. We show that while all the states in the class maximize the average tangle, there are only few states in the class that maximize the average Tsillas or Renyi $α$-entropy of entanglement. Quite remarkably, we find that up to local unitaries, there exists two unique states, one maximizing the average $α$-Tsallis entropy of entanglement for all $α\geq 2$, while the other maximizing it for all $0<α\leq 2$ (including the von-Neumann case of $α=1$). Furthermore, among the maximally entangled four qubits states, there are only 3 maximally entangled states that have the property that for 2, out of the 3 bipartite cuts consisting of 2-qubits verses 2-qubits, the entanglement is 2 ebits and for the remaining bipartite cut the entanglement between the two groups of two qubits is 1ebit. The unique 3 maximally entangled states are the 3 cluster states that are related by a swap operator. We also show that the cluster states are the only states (up to local unitaries) that maximize the average $α$-Renyi entropy of entanglement for all $α\geq 2$. △ Less

Submitted 14 July, 2010; v1 submitted 31 May, 2010; originally announced June 2010.

Comments: 15 pages, 2 figures, Revised Version: many references added, an appendix added with a statement of the Kempf-Ness theorem

Journal ref: Journal of Mathematical Physics 51(11): 112201 (2010)

Harmonics for Deformed Steenrod Operators

Authors: Francois Bergeron, Adriano Garsia, Nolan Wallach

Abstract: We explore in this paper the spaces of common zeros of several deformations of Steenrod operators. We explore in this paper the spaces of common zeros of several deformations of Steenrod operators. △ Less

Submitted 4 October, 2009; v1 submitted 18 December, 2008; originally announced December 2008.

Invariants, Kronecker Products, and Combinatorics of Some Remarkable Diophantine Systems (Extended Version)

Authors: Adriano Garsia, Gregg Musiker, Nolan Wallach, Guoce Xin

Abstract: This work lies across three areas (in the title) of investigation that are by themselves of independent interest. A problem that arose in quantum computing led us to a link that tied these areas together. This link consists of a single formal power series with a multifaced interpretation. The deeper exploration of this link yielded results as well as methods for solving some numerical problems i… ▽ More This work lies across three areas (in the title) of investigation that are by themselves of independent interest. A problem that arose in quantum computing led us to a link that tied these areas together. This link consists of a single formal power series with a multifaced interpretation. The deeper exploration of this link yielded results as well as methods for solving some numerical problems in each of these separate areas. △ Less

Submitted 30 September, 2008; originally announced October 2008.

Comments: 33 pages, 5 figures

MSC Class: 05A15; 05E05; 34C14; 11D45

On 4-dimensional gradient shrinking solitons

Authors: Lei Ni, Nolan Wallach

Abstract: In this paper we classify the four dimensional gradient shrinking solitons under certain curvature conditions satisfied by all solitons arising from finite time singularities of Ricci flow on compact four manifolds with positive isotropic curvature. As a corollary we generalize a result of Perelman on three dimensional gradient shrinking solitons to dimension four. In this paper we classify the four dimensional gradient shrinking solitons under certain curvature conditions satisfied by all solitons arising from finite time singularities of Ricci flow on compact four manifolds with positive isotropic curvature. As a corollary we generalize a result of Perelman on three dimensional gradient shrinking solitons to dimension four. △ Less

Submitted 16 October, 2007; originally announced October 2007.

On a classification of the gradient shrinking solitons

Authors: Lei Ni, Nolan Wallach

Abstract: The main purpose of this article is to provide an alternate proof to a result of Perelman on gradient shrinking solitons. In dimension three we also generalize the result by removing the $κ$-non-collapsing assumption. In high dimension this new method allows us to prove a classification result on gradient shrinking solitons with vanishing Weyl curvature tensor, which includes the rotationally sy… ▽ More The main purpose of this article is to provide an alternate proof to a result of Perelman on gradient shrinking solitons. In dimension three we also generalize the result by removing the $κ$-non-collapsing assumption. In high dimension this new method allows us to prove a classification result on gradient shrinking solitons with vanishing Weyl curvature tensor, which includes the rotationally symmetric ones. △ Less

Submitted 16 October, 2007; originally announced October 2007.

Entanglement of Subspaces and Error Correcting Codes

Authors: Gilad Gour, Nolan R. Wallach

Abstract: We introduce the notion of entanglement of subspaces as a measure that quantify the entanglement of bipartite states in a randomly selected subspace. We discuss its properties and in particular we show that for maximally entangled subspaces it is additive. Furthermore, we show that maximally entangled subspaces can play an important role in the study of quantum error correction codes. We discuss… ▽ More We introduce the notion of entanglement of subspaces as a measure that quantify the entanglement of bipartite states in a randomly selected subspace. We discuss its properties and in particular we show that for maximally entangled subspaces it is additive. Furthermore, we show that maximally entangled subspaces can play an important role in the study of quantum error correction codes. We discuss both degenerate and non-degenerate codes and show that the subspace spanned by the logical codewords of a non-degenerate code is a 2k-totally (maximally) entangled subspace. As for non-degenerate codes, we provide a mathematical definition in terms of subspaces and, as an example, we analyze Shor's nine qubits code in terms of 22 mutually orthogonal subspaces. △ Less

Submitted 5 October, 2007; v1 submitted 2 April, 2007; originally announced April 2007.

Comments: 8 pages, Published Version

Journal ref: Phys. Rev. A 76, 042309 (2007)

Homological connectivity of random k-dimensional complexes

Authors: R. Meshulam, N. Wallach

Abstract: Let Delta_{n-1} denote the (n-1)-dimensional simplex. Let Y be a random k-dimensional subcomplex of Delta_{n-1} obtained by starting with the full (k-1)-dimensional skeleton of Delta_{n-1} and then adding each k-simplex independently with probability p. Let H_{k-1}(Y;R) denote the (k-1)-dimensional reduced homology group of Y with coefficients in a finite abelian group R. Let R and k \geq 1 be f… ▽ More Let Delta_{n-1} denote the (n-1)-dimensional simplex. Let Y be a random k-dimensional subcomplex of Delta_{n-1} obtained by starting with the full (k-1)-dimensional skeleton of Delta_{n-1} and then adding each k-simplex independently with probability p. Let H_{k-1}(Y;R) denote the (k-1)-dimensional reduced homology group of Y with coefficients in a finite abelian group R. Let R and k \geq 1 be fixed. It is shown that p=(k \log n)/n is a sharp threshold for the vanishing of H_{k-1}(Y;R). △ Less

Submitted 27 September, 2006; originally announced September 2006.

Comments: 12 pages

MSC Class: 55U10 (Primary); 05C80 (Secondary)

A class of gradings of simple Lie algebras

Authors: Karin Baur, Nolan R. Wallach

Abstract: In this paper we give a classification of parabolic subalgebras of simple Lie algebras over $\mathbb{C}$ that satisfy two properties. The first property is Lynch's sufficient condition for the vanishing of certain Lie algebra cohomology spaces for generalized Whittaker modules associated with the parabolic subalgebra and the second is that the moment map of the cotangent bundle of the correspond… ▽ More In this paper we give a classification of parabolic subalgebras of simple Lie algebras over $\mathbb{C}$ that satisfy two properties. The first property is Lynch's sufficient condition for the vanishing of certain Lie algebra cohomology spaces for generalized Whittaker modules associated with the parabolic subalgebra and the second is that the moment map of the cotangent bundle of the corresponding generalized flag variety be birational onto its image. We will call this condition the moment map condition. △ Less

Submitted 11 May, 2006; originally announced May 2006.

Comments: 13 pages. To appear in the Proceedings of the Conference on Lie Algebras, Vertex Operator Algebras and Their Applications

Journal ref: Cont. Math. 442 (2007), AMS, 3-15

Gelfand-Zeitlin theory from the perspective of classical mechanics II

Authors: Bertram Kostant, Nolan Wallach

Abstract: In this paper, Part II, of a two part paper we apply the results of [KW], Part I, to establish, with an explicit dual coordinate system, a commutative analogue of the Gelfand-Kirillov theorem for M(n), the algebra of $n\times n$ complex matrices. The function field F(n) of M(n) has a natural Poisson structure and an exact analogue would be to show that F(n) is isomorphic to the function field of… ▽ More In this paper, Part II, of a two part paper we apply the results of [KW], Part I, to establish, with an explicit dual coordinate system, a commutative analogue of the Gelfand-Kirillov theorem for M(n), the algebra of $n\times n$ complex matrices. The function field F(n) of M(n) has a natural Poisson structure and an exact analogue would be to show that F(n) is isomorphic to the function field of a $n(n-1)$-dimensional phase space over a Poisson central rational function field in $n$ variables. Instead we show that this the case for a Galois extension, $F(n, {\frak e})$, of F(n). The techniques use a maximal Poisson commutative algebra of functions arising from Gelfand-Zeitlin theory, the algebraic action of a $n(n-1)/2$--dimensional torus on $F(n, {\frak e})$, and the structure of a Zariski open subset of M(n) as a $n(n-1)/2$--dimensional torus bundle over a $n(n+1)/2$--dimensional base space of Hessenberg matrices. △ Less

Submitted 29 March, 2005; v1 submitted 22 January, 2005; originally announced January 2005.

Comments: 38 pages, plain tex

MSC Class: 14L30; 14R20; 33C45; 53D17

Nice Parabolic Subalgebras of Reductive Lie Algebras

Authors: Karin Baur, Nolan Wallach

Abstract: This paper gives a classification of parabolic subalgebras of simple Lie algebras over $\CC$ that are complexifications of parabolic subalgebras of real forms for which Lynch's vanishing theorem for generalized Whittaker modules is non-vacuous. The paper also describes normal forms for the admissible characters in the sense of Lynch (at least in the quasi-split cases) and analyzes the important… ▽ More This paper gives a classification of parabolic subalgebras of simple Lie algebras over $\CC$ that are complexifications of parabolic subalgebras of real forms for which Lynch's vanishing theorem for generalized Whittaker modules is non-vacuous. The paper also describes normal forms for the admissible characters in the sense of Lynch (at least in the quasi-split cases) and analyzes the important special case when the parabolic is defined by an even embedded TDS (three dimensional simple Lie algebra). △ Less

Submitted 23 March, 2005; v1 submitted 16 September, 2004; originally announced September 2004.

Comments: 30 pages. Corrected version of statement 1.4 and of the list for E8

Journal ref: Represent. Theory 9 (2005), 1-29

Gelfand-Zeitlin theory from the perspective of classical mechanics. I

Authors: Bertram Kostant, Nolan Wallach

Abstract: A commutative Poisson subalgebra of the Poisson algebra of polynomials on the Lie algebra of n x n matrices over ${\Bbb C}$ is introduced which is the Poisson analogue of the Gelfand-Zeitlin subalgebra of the universal envelo** algebra. As a commutative algebra it is a polynomial ring in $n(n+1)/2$ generators, $n$ of which can be taken to be basic generators of the polynomial invariants. Any c… ▽ More A commutative Poisson subalgebra of the Poisson algebra of polynomials on the Lie algebra of n x n matrices over ${\Bbb C}$ is introduced which is the Poisson analogue of the Gelfand-Zeitlin subalgebra of the universal envelo** algebra. As a commutative algebra it is a polynomial ring in $n(n+1)/2$ generators, $n$ of which can be taken to be basic generators of the polynomial invariants. Any choice of the next $n(n-1)/2$ generators yields a Lie algebra of vector fields that generates a global holomorphic action of the additive group ${\Bbb C}^{n(n -1)/2}$. This paper proves several remarkable properties of this group action and relates it to the theory of orthogonal polynomials. △ Less

Submitted 7 September, 2004; v1 submitted 24 August, 2004; originally announced August 2004.

Comments: plain tex, 54 pages

MSC Class: 14L30; 14R20; 33C45; 53D17

Representations of SL_2 and the distribution of points in P^n

Authors: J. Kuttler, N. R. Wallach

Abstract: It is an open problem to determine the dimension of the space of homogeneous polynomials of a fixed degree vanishing at finitely many points in the projective plane to certain multiplicities. We present various aspects of this problem and a version of a known algorithm (originally due to M. Nagata) to compute this dimension for nine or less points. Our methods are completely elementary and only… ▽ More It is an open problem to determine the dimension of the space of homogeneous polynomials of a fixed degree vanishing at finitely many points in the projective plane to certain multiplicities. We present various aspects of this problem and a version of a known algorithm (originally due to M. Nagata) to compute this dimension for nine or less points. Our methods are completely elementary and only involve the representation theory of SL_2. △ Less

Submitted 15 November, 2002; originally announced November 2002.

Global entanglement in multiparticle systems

Authors: David A. Meyer, Nolan R. Wallach

Abstract: We define a polynomial measure of multiparticle entanglement which is scalable, i.e., which applies to any number of spin-1/2 particles. By evaluating it for three particle states, for eigenstates of the one dimensional Heisenberg antiferromagnet and on quantum error correcting code subspaces, we illustrate the extent to which it quantifies global entanglement. We also apply it to track the evol… ▽ More We define a polynomial measure of multiparticle entanglement which is scalable, i.e., which applies to any number of spin-1/2 particles. By evaluating it for three particle states, for eigenstates of the one dimensional Heisenberg antiferromagnet and on quantum error correcting code subspaces, we illustrate the extent to which it quantifies global entanglement. We also apply it to track the evolution of entanglement during a quantum computation. △ Less

Submitted 23 August, 2001; originally announced August 2001.

Comments: 9 pages, plain TeX, 1 PostScript figure included with epsf.tex (ignore the under/overfull \vbox error messages); for related work see http://math.ucsd.edu/~dmeyer/research.html or http://www.math.ucsd.edu/~nwallach/

An Unentangled Gleason's Theorem

Authors: Nolan R. Wallach

Abstract: The purpose of this note is to give a generalization of Gleason's theorem inspired by recent work in quantum information theory on "nonlocality without entanglement." For multipartite quantum systems, each of dimension three or greater, the only nonnegative frame functions over the set of unentangled states are those given by the standard Born probability rule. However, if one system is of dimen… ▽ More The purpose of this note is to give a generalization of Gleason's theorem inspired by recent work in quantum information theory on "nonlocality without entanglement." For multipartite quantum systems, each of dimension three or greater, the only nonnegative frame functions over the set of unentangled states are those given by the standard Born probability rule. However, if one system is of dimension 2 this is not necessarily the case. △ Less

Submitted 22 February, 2000; originally announced February 2000.

Comments: 9 pages, no figures