On some conjectures of the unitary dual of $U(p,q)$

Kayue Daniel Wong

2024-01-25

Abstract:In this manuscript, we introduce the notion of fundamental cases to study the unitary dual of $U(p,q)$. As applications, we prove of a conjecture of Salamanca-Riba and Vogan stated in 1998, as well as the fundamental parallelepiped (FPP) conjecture of Vogan in 2023 for $U(p,q)$.

Representation Theory

What problem does this paper attempt to address?

On some conjectures of the unitary dual of U(p,q)

Kayue Daniel Wong

DOI: https://doi.org/10.1016/j.aim.2024.109584

IF: 1.675

2024-04-01

Advances in Mathematics

Abstract:In this manuscript, we introduce the notion of fundamental cases to study the unitary dual of U ( p , q ) . As applications, we prove of a conjecture of Salamanca-Riba and Vogan stated in 1998, as well as the fundamental parallelepiped (FPP) conjecture of Vogan in 2023 for U ( p , q ) .

mathematics
On a Proof of the Labastida-Marino-Ooguri-Vafa Conjecture

Kefeng Liu,Pan Peng

DOI: https://doi.org/10.4310/jdg/1292940692

2010-01-01

Mathematical Research Letters

Abstract:We outline a proof of a remarkable conjecture of Labastida-Mari{\~n}o-Ooguri-Vafa about certain new algebraic structures of quantum link invariants and the integrality of infinite family of new topological invariants. Our method is based on the cut-and-join analysis and a special rational ring characterizing the structure of the Chern-Simons partition function.
Volume conjecture for $SU(n)$-invariants

qingtao chen,kefeng liu,shengmao zhu

2015-01-01

Abstract: This paper discuss an intrinsic relation among congruent relations \cite{CLPZ}, cyclotomic expansion and Volume Conjecture for $SU(n)$ invariants. Motivated by the congruent relations for $SU(n)$ invariants obtained in our previous work \cite{CLPZ}, we study certain limits of the $SU(n)$ invariants at various roots of unit. First, we prove a new symmetry property for the $SU(n)$ invariants by using a symmetry of colored HOMFLYPT invariants. Then we propose some conjectural formulas including the cyclotomic expansion conjecture and volume conjecture for $SU(n)$ invariants (specialization of colored HOMFLYPT invariants). We also give the proofs of these conjectural formulas for the case of figure-eight knot.
The unitary dual of $U(n,2)$

Kayue Daniel Wong,Hongfeng Zhang

2024-04-30

Abstract:In this paper, we give a full classification of the unitary dual of $G = U(n,2)$ for $n \geq 3$. As a consequence, we determine which of these representations are weakly fair $A_{\mathfrak{q}}(\lambda)$-modules or special unipotent representations, resulting in a verification of a conjecture of Trapa and Vogan for $G$.

Representation Theory
On some algebraic and geometric aspects of the quantum unitary group

Debabrata Jana

2024-04-27

Abstract:Consider the compact quantum group $U_q(2)$, where $q$ is a non-zero complex deformation parameter such that $|q|\neq 1$. Let $C(U_q(2))$ denote the underlying $C^*$-algebra of the compact quantum group $U_q(2)$. We prove that if $q$ is a non-real complex number and $q^\prime$ is real, then the underlying $C^*$-algebras $C(U_q(2))$ and $C(U_{q^\prime}(2))$ are non-isomorphic. This is in sharp contrast with the case of braided $SU_q(2)$, introduced earlier by Woronowicz et al., where $q$ is a non-zero complex deformation parameter. In another direction, on a geometric aspect of $U_q(2)$, we introduce torus action on the $C^*$-algebra $C(U_q(2))$ and obtain a $C^*$-dynamical system $(C(U_q(2)),\mathbb{T}^3,\alpha)$. We construct a $\mathbb{T}^3$-equivariant spectral triple for $U_q(2)$ that is even and $3^+$-summable. It is shown that the Dirac operator is K-homologically nontrivial.

Operator Algebras
Quantized Weyl algebras, the double centralizer property, and a new first fundamental theorem for U q (gl n )

Gail Letzter,Siddhartha Sahi,Hadi Salmasian

DOI: https://doi.org/10.1088/1751-8121/ad3ef1

2024-04-17

Journal of Physics A Mathematical and Theoretical

Abstract:Let P := P m×n denote the quantized coordinate ring of the space of m × n matrices. We introduce a q-analog PD of the algebra of polynomial coefficient differential operators inside End(P) and we prove that PD is an integral form of the algebra Pol(Mat m×n ) q introduced earlier by Shklyarov-Sinel'shchikov-Vaksman [SSV04]. Let L and R denote the images in End(P) of the natural actions of the quantized enveloping algebras U q (gl m ) and U q (gl n ), respectively, and let L h and R h denote the images of their Cartan subalgebras. Our main result is that L ∩ PD and R ∩ PD are mutual centralizers in PD, and using this, we establish a new First Fundamental Theorem of invariant theory for U q (gl n ). We also determine explicit generators of the subalgebras L h ∩ PD and R h ∩ PD in terms of q-determinants.

physics, multidisciplinary, mathematical
Quantized Weyl algebras, the double centralizer property, and a new First Fundamental Theorem for $U_q(\mathfrak{gl}_n)$

Gail Letzter,Siddhartha Sahi,Hadi Salmasian

DOI: https://doi.org/10.1088/1751-8121/ad3ef1

2024-05-24

Abstract:Let $\mathcal P:=\mathcal P_{m\times n}$ denote the quantized coordinate ring of the space of $m\times n$ matrices, equipped with natural actions of the quantized enveloping algebras $U_q(\mathfrak{gl}_m)$ and $U_q(\mathfrak{gl}_n)$. Let $\mathcal L$ and $\mathcal R$ denote the images of $U_q(\mathfrak{gl}_m)$ and $U_q(\mathfrak{gl}_n)$ in $\mathrm{End}(\mathcal P)$, respectively. We define a $q$-analogue of the algebra of polynomial-coefficient differential operators inside $\mathrm{End}(\mathcal P)$, henceforth denoted by $\mathcal{PD}$, and we prove that $\mathcal L\cap \mathcal{PD}$ and $\mathcal{R}\cap \mathcal{PD}$ are mutual centralizers inside $\mathcal{PD}$. Using this, we establish a new First Fundamental Theorem of invariant theory for $U_q(\mathfrak{gl}_n)$. We also compute explicit formulas in terms of $q$-determinants for generators of the intersections with $\mathcal{PD}$ of the images of the Cartan subalgebras of $U_q(\mathfrak{gl}_m)$ and $U_q(\mathfrak{gl}_n)$.

Quantum Algebra,Rings and Algebras,Representation Theory
Spectral theory of $p$-adic unitary operator

Zhao Tianhong

2023-11-02

Abstract:The $p$-adic unitary operator $U$ is defined as an invertible operator on $p$-adic ultrametric Banach space such that $\left |U\right |=\left |U^{-1}\right |=1$. We point out $U$ has a spectral measure valued in $\textbf{projection functors}$, which can be explained as the measure theory on the formal group scheme. The spectrum decomposition of $U$ is complete when $\psi$ is a $p$-adic wave function. We study $\textbf{the Galois theory of operators}$. The abelian extension theory of $\mathbb{Q}_p$ is connected to the topological properties of the $p$-adic unitary operator. We classify the $p$-adic unitary operator as three types: $\textbf{Teichmüller type}, \textbf{continuous type}, \textbf{pro-finite type}$. Finally, we establish a $\textbf{framework of $p$-adic quantum mechanics}$, where projection functor plays a role of quantum measurement.

Mathematical Physics,Functional Analysis,Number Theory,Quantum Physics
Confluence Graphs of Unitals

Theo Grundhöfer,Markus J. Stroppel,Hendrik Van Maldeghem

DOI: https://doi.org/10.48550/arXiv.2311.11693

2023-11-20

Abstract:We show that the cliques of maximal size in the confluence graph of an arbitrary unital of order $q>2$ have size $q^2$, and that these cliques are the pencils of all blocks through a given point. This solves the Erdős-Ko-Rado problem for all unitals. We also determine all maximal cliques of the confluence graph of the Hermitian unitals. As an application, we show that the confluence graph of an arbitrary unital unambiguously determines the unital. Along the way, we show that each linear space with $q^2$ points such that the sizes of both point rows and line pencils are bounded above by $q+1$ embeds in a projective plane of order $q$.

Combinatorics
Vogan's FPP conjecture for complex Lie groups

Chao-Ping Dong,Kayue Daniel Wong

2024-07-23

Abstract:In this paper, we give a proof of Vogan's fundamental parallelepiped (FPP) conjecture for complex simple Lie groups, resulting in a reduction step in the classification of irreducible unitary representations for these groups.

Representation Theory
On representations of Arthur type and unitary dual for classical groups

Alexander Hazeltine,Dihua Jiang,Baiying Liu,Chi-Heng Lo,Qing Zhang

2024-10-16

Abstract:In this paper, towards the unitary dual problem for classical groups, we propose a refinement of a conjecture of M. Tadić: A representation of good parity is unitary if and only if it is of Arthur type; and a conjectural description of the whole unitary dual. We verify them for representations of corank at most $3$ for symplectic or split odd special orthogonal groups, based on Tadić's classification. To this end, we develop new algorithms to determine whether a given irreducible representation is of Arthur type and give an inductive approach to classify the family of unitary representations that are of Arthur type. As applications, we carry out the explicit list on representations of Arthur type with corank at most $3$, and classify several new families of representations of Arthur type.

Representation Theory,Number Theory
On some mod $p$ representations of quaternion algebra over $\mathbb{Q}_p$

Yongquan Hu,Haoran Wang

2024-05-28

Abstract:Let $F$ be a totally real field in which $p$ is unramified and $B$ be a quaternion algebra which splits at at most one infinite place. Let $\overline{r}:\mathrm{Gal}(\overline{F}/F)\to \mathrm{GL}_2(\overline{\mathbb{F}}_p)$ be a modular Galois representation which satisfies the Taylor-Wiles hypotheses. Assume that for some fixed place $v|p$, $B$ ramifies at $v$ and $F_v$ is isomorphic to $ \mathbb{Q}_p$ and $\overline{r}$ is generic at $v$. We prove that the admissible smooth representations of the quaternion algebra over $\mathbb{Q}_p$ coming from mod $p$ cohomology of Shimura varieties associated to $B$ have Gelfand-Kirillov dimension $1$. As an application we prove that the degree two Scholze's functor vanishes on supersingular representations of $\mathrm{GL}_2(\mathbb{Q}_p)$. We also prove some finer structure theorem about the image of Scholze's functor in the reducible case.

Number Theory,Representation Theory
Affine Laumon space and contragredient dual Verma module of $U_q(\widehat{\mathfrak{gl}_n})$

Che Shen

2024-06-26

Abstract:We study the action of the quantum group $U_q(\widehat{\mathfrak{gl}_n})$ on the equivariant K-theory of affine Laumon spaces. We show that, at any highest weight away from the critical level, this can be identified with the contragredient dual Verma module of $U_q(\widehat{\mathfrak{gl}_n})$, improving earlier results of Braverman-Finkelberg and Negu{ţ}. The proof uses a variant of stable envelopes first introduce by Maulik-Okounkov in the study of Nakajima quiver varieties.

Representation Theory
A one-query lower bound for unitary synthesis and breaking quantum cryptography

Alex Lombardi,Fermi Ma,John Wright

2023-10-13

Abstract:The Unitary Synthesis Problem (Aaronson-Kuperberg 2007) asks whether any $n$-qubit unitary $U$ can be implemented by an efficient quantum algorithm $A$ augmented with an oracle that computes an arbitrary Boolean function $f$. In other words, can the task of implementing any unitary be efficiently reduced to the task of implementing any Boolean function? In this work, we prove a one-query lower bound for unitary synthesis. We show that there exist unitaries $U$ such that no quantum polynomial-time oracle algorithm $A^f$ can implement $U$, even approximately, if it only makes one (quantum) query to $f$. Our approach also has implications for quantum cryptography: we prove (relative to a random oracle) the existence of quantum cryptographic primitives that remain secure against all one-query adversaries $A^{f}$. Since such one-query algorithms can decide any language, solve any classical search problem, and even prepare any quantum state, our result suggests that implementing random unitaries and breaking quantum cryptography may be harder than all of these tasks. To prove this result, we formulate unitary synthesis as an efficient challenger-adversary game, which enables proving lower bounds by analyzing the maximum success probability of an adversary $A^f$. Our main technical insight is to identify a natural spectral relaxation of the one-query optimization problem, which we bound using tools from random matrix theory. We view our framework as a potential avenue to rule out polynomial-query unitary synthesis, and we state conjectures in this direction.

Quantum Physics,Computational Complexity,Cryptography and Security
The genuine unitary dual of complex spin groups

Kayue Daniel Wong,Hongfeng Zhang

2024-04-04

Abstract:In this manuscript, we give a classification of all irreducible, unitary representations of complex spin groups.

Mathematics
On the geometric fundamental lemma of Kottwitz

Zongbin Chen

2024-10-18

Abstract:We give a proof of the geometric fundamental lemma of Kottwitz. As explained by Laumon, this implies the fundamental lemma for the unitary groups.

Algebraic Geometry
Unitary Representations of Su_q(2) on the Plane for q in R+ or Generic q in S1

M. Irac-Astaud,C. Quesne

DOI: https://doi.org/10.1023/A%3A1021696904231

1998-09-08

Abstract:Some time ago, Rideau and Winternitz introduced a realization of the quantum algebra su_q(2) on a real two-dimensional sphere, or a real plane, and constructed a basis for its representations in terms of q-special functions, which can be expressed in terms of q-Vilenkin functions. In their study, the values of q were implicitly restricted to q in R^+. In the present paper, we extend their work to the case of generic values of q in S^1 (i.e., q values different from a root of unity). In addition, we unitarize the representations for both types of q values, q in R^+ and generic q in S^1, by determining some appropriate scalar products.

Quantum Algebra
Quillen's conjecture and unitary groups

Antonio Díaz Ramos

2024-03-31

Abstract:We prove Quillen's conjecture for finite simple unitary groups and obtain, as a consequence of the Aschbacher-Smith work, Quillen's conjecture for all odd primes.

Group Theory
Local unitary equivalence of arbitrary-dimensional multipartite quantum states

Qing Zhou,Yi-Zheng Zhen,Xin-Yu Xu,Shuai Zhao,Wen-Li Yang,Shao-Ming Fei,Li Li,Nai-Le Liu,Kai Chen

DOI: https://doi.org/10.1103/PhysRevA.109.022427

2024-02-21

Abstract:Local unitary equivalence is an important ingredient for quantifying and classifying entanglement. Verifying whether or not two quantum states are local unitary equivalent is a crucial problem, where only the case of multipartite pure states is solved. For mixed states, however, the verification of local unitary equivalence is still a challenging problem. In this paper, based on the coefficient matrices of generalized Bloch representations of quantum states, we find a variety of local unitary invariants for arbitrary-dimensional bipartite quantum states. These invariants are operational and can be used as necessary conditions for verifying the local unitary equivalence of two quantum states. Furthermore, we extend the construction to the arbitrary-dimensional multipartite case. We finally apply these invariants to estimate concurrence, a vital entanglement measure, showing the practicability of local unitary invariants in characterizing entanglement.

Quantum Physics
Probing bad theories with the dualization algorithm. Part II.

Simone Giacomelli,Chiung Hwang,Fabio Marino,Sara Pasquetti,Matteo Sacchi

DOI: https://doi.org/10.1007/jhep07(2024)165

IF: 6.379

2024-07-20

Journal of High Energy Physics

Abstract:We continue our analysis of bad theories initiated in [1], focusing on quiver theories with bad unitary and special unitary gauge groups in three dimensions. By extending the dualization algorithm we prove that the partition function of bad linear quivers can be written as a distribution, given by a sum of terms involving a product of delta functions times the partition function of a good quiver theory. We describe in detail the good quiver theories appearing in the partition function of the bad theory and discuss the brane interpretation of our result. We also discuss in detail the lift of these theories to 4d quivers with symplectic gauge groups, in which our results can be recovered by studying the Higgsing triggered by the expectation value for certain chiral operators. The paper is accompanied by a Mathematica file which implements the algorithm for an arbitrary unitary bad linear quiver.

physics, particles & fields

On some conjectures of the unitary dual of $U(p,q)$

On some conjectures of the unitary dual of U(p,q)

On a Proof of the Labastida-Marino-Ooguri-Vafa Conjecture

Volume conjecture for $SU(n)$-invariants

The unitary dual of $U(n,2)$

On some algebraic and geometric aspects of the quantum unitary group

Quantized Weyl algebras, the double centralizer property, and a new first fundamental theorem for U q (gl n )

Quantized Weyl algebras, the double centralizer property, and a new First Fundamental Theorem for $U_q(\mathfrak{gl}_n)$

Spectral theory of $p$-adic unitary operator

Confluence Graphs of Unitals

Vogan's FPP conjecture for complex Lie groups

On representations of Arthur type and unitary dual for classical groups

On some mod $p$ representations of quaternion algebra over $\mathbb{Q}_p$

Affine Laumon space and contragredient dual Verma module of $U_q(\widehat{\mathfrak{gl}_n})$

A one-query lower bound for unitary synthesis and breaking quantum cryptography

The genuine unitary dual of complex spin groups

On the geometric fundamental lemma of Kottwitz

Unitary Representations of Su_q(2) on the Plane for q in R+ or Generic q in S1

Quillen's conjecture and unitary groups

Local unitary equivalence of arbitrary-dimensional multipartite quantum states

Probing bad theories with the dualization algorithm. Part II.