Showing 1–50 of 53 results for author: Wong, D

On the multiplicity of 1 as a Laplacian eigenvalue of a graph

Authors: Fenglei Tian, Dein Wong

Abstract: Let $G$ be a graph with $p(G)$ pendant vertices and $q(G)$ quasi-pendant vertices. Denote by $m_{L(G)}(λ)$ the multiplicity of $λ$ as a Laplacian eigenvalue of $G$. Let $\overline{G}$ be the reduced graph of $G$, which can be obtained from $G$ by deleting some pendant vertices such that $p(\overline{G})=q(\overline{G})$. We first prove that $m_{L(G)}(1)=p(G)-q(G)+m_{L(\overline{G})}(1)$. Since del… ▽ More Let $G$ be a graph with $p(G)$ pendant vertices and $q(G)$ quasi-pendant vertices. Denote by $m_{L(G)}(λ)$ the multiplicity of $λ$ as a Laplacian eigenvalue of $G$. Let $\overline{G}$ be the reduced graph of $G$, which can be obtained from $G$ by deleting some pendant vertices such that $p(\overline{G})=q(\overline{G})$. We first prove that $m_{L(G)}(1)=p(G)-q(G)+m_{L(\overline{G})}(1)$. Since deleting pendant path $P_3$ does not change the multiplicity of Laplacian eigenvalue 1 of a graph, we further focus on reduced graphs without pendant path $P_3$. Let $T$ be a reduced tree on $n(\geq 6)$ vertices without pendant path $P_3$, then it is proved that $$m_{L(T)}(1)\leq \frac{n-6}{4},$$ and all the trees attaining the upper bound are characterized completely. As an application, for a reduced unicyclic graph $G$ of order $n\geq 10$ without pendant path $P_3$, we get $$m_{L(G)}(1)\leq \frac{n}{4},$$ and all the unicyclic graphs attaining the upper bound are determined completely. △ Less

Submitted 8 July, 2025; originally announced July 2025.

MSC Class: 05C50

Laplacian eigenvalue distribution and girth of graphs

Authors: Wenhao Zhen, Dein Wong, Songnian Xu

Abstract: Let $G$ be a connected graph on $n$ vertices with girth $g$. Let $m_GI$ denote the number of Laplacian eigenvalues of graph $G$ in an interval $I$. In this paper, we show that if $G$ is not a cycle, then $m_G(n-g+3,n]\leq n-g$. Moreover, we prove that $m_G(n-g+3,n]= n-g$ if and only if $G\cong C_3$ or $G\cong K_{3,2}$ or $G\cong U_1$, where $U_1$ is obtained from a cycle by joining a single vertex… ▽ More Let $G$ be a connected graph on $n$ vertices with girth $g$. Let $m_GI$ denote the number of Laplacian eigenvalues of graph $G$ in an interval $I$. In this paper, we show that if $G$ is not a cycle, then $m_G(n-g+3,n]\leq n-g$. Moreover, we prove that $m_G(n-g+3,n]= n-g$ if and only if $G\cong C_3$ or $G\cong K_{3,2}$ or $G\cong U_1$, where $U_1$ is obtained from a cycle by joining a single vertex with a vertex of this cycle. △ Less

Submitted 22 June, 2025; v1 submitted 22 April, 2025; originally announced April 2025.

The $m$-partite digraphical representations of valency 3 of finite groups generated by two elements

Authors: Songnian Xu, Dein Wong, Chi Zhang, Wenhao Zhen

Abstract: \ \ Let $G$ be a finite group and $m \geq 2$ an integer. An $m$-partite digraphical representation ($m$-PDR) of a group $G$ is a digraph $Γ= (V, E)$ satisfying the following properties: \item $Γ$ is regular; \item The automorphism group $\mathrm{Aut}(Γ)$ is isomorphic to $G$; \item $\mathrm{Aut}(Γ)$ acts semiregularly on the vertex set $V$; \item The action of $\mathrm{Aut}(Γ)$ partitions… ▽ More \ \ Let $G$ be a finite group and $m \geq 2$ an integer. An $m$-partite digraphical representation ($m$-PDR) of a group $G$ is a digraph $Γ= (V, E)$ satisfying the following properties: \item $Γ$ is regular; \item The automorphism group $\mathrm{Aut}(Γ)$ is isomorphic to $G$; \item $\mathrm{Aut}(Γ)$ acts semiregularly on the vertex set $V$; \item The action of $\mathrm{Aut}(Γ)$ partitions $V$ into exactly $m$ orbits, with each induced subgraph on an orbit being edgeless. This paper advances the classification program for $m$-PDRs with prescribed valency. Building on Du et al.'s complete classification of unrestricted $m$-PDRs \cite{du4} (2021), we focus on the unresolved valency-specific cases. For digraphs, the minimal nontrivial valencies are $k=2$ (even) and $k=3$ (odd), since a connected digraph of valency one is just a directed cycle. While Du et al. \cite{du3} recently classified valency 2 $m$-POSRs for groups generated by at most two elements - where $m$-POSRs are necessarily $m$-PDRs by definition - the valency 3 case remains open. Since all finite simple groups are two-generated, we investigate $m$-PDRs of valency 3 for groups generated by at most two elements, and establish a complete classification of nontrivial finite simple groups admitting $m$-PDRs of valency 3. △ Less

Submitted 25 April, 2025; v1 submitted 29 March, 2025; originally announced March 2025.

MSC Class: 05C25

Multiplicative chaos measure for multiplicative functions: the $L^1$-regime

Authors: Ofir Gorodetsky, Mo Dick Wong

Abstract: Let $α$ be a Steinhaus random multiplicative function. For a wide class of multiplicative functions $f$ we construct a multiplicative chaos measure arising from the Dirichlet series of $αf$, in the whole $L^1$-regime. Our method does not rely on the thick point approach or Gaussian approximation, and uses a modified second moment method with the help of an approximate Girsanov theorem. We also emp… ▽ More Let $α$ be a Steinhaus random multiplicative function. For a wide class of multiplicative functions $f$ we construct a multiplicative chaos measure arising from the Dirichlet series of $αf$, in the whole $L^1$-regime. Our method does not rely on the thick point approach or Gaussian approximation, and uses a modified second moment method with the help of an approximate Girsanov theorem. We also employ the idea of weak convergence in $L^r$ to show that the limiting measure is independent of the choice of the approximation schemes, and this may be seen as a non-Gaussian analogue of Shamov's characterisation of multiplicative chaos. Our class of $f$-s consists of those for which the mean value of $|f(p)|^2$ lies in $(0,1)$. In particular, it includes the indicator of sums of two squares. As an application of our construction, we establish a generalised central limit theorem for the (normalised) sums of $αf$, with random variance determined by the total mass of our measure. △ Less

Submitted 10 July, 2025; v1 submitted 13 March, 2025; originally announced March 2025.

Comments: 42 pages; typos corrected and extra discussions and references added; Section 2.3 rewritten with revised statements and proofs; appendix on abstract probability results added

Finite groups admitting a regular tournament $m$-semiregular representation

Authors: Dein Wong, Songnian Xu, Chi Zhang, Jinxing Zhao

Abstract: For a positive integer $m$, a finite group $G$ is said to admit a tournament $m$-semiregular representation (TmSR for short) if there exists a tournament $Γ$ such that the automorphism group of $Γ$ is isomorphic to $G$ and acts semiregularly on the vertex set of $Γ$ with $m$ orbits. Clearly, every finite group of even order does not admit a TmSR for any positive integer $m$, and T1SR is the well-k… ▽ More For a positive integer $m$, a finite group $G$ is said to admit a tournament $m$-semiregular representation (TmSR for short) if there exists a tournament $Γ$ such that the automorphism group of $Γ$ is isomorphic to $G$ and acts semiregularly on the vertex set of $Γ$ with $m$ orbits. Clearly, every finite group of even order does not admit a TmSR for any positive integer $m$, and T1SR is the well-known tournament regular representation (TRR for short). In 1986, Godsil \cite{god} proved, by a probabilistic approach, that the only finite groups of odd order without a TRR are $\mathbb{Z}_3^2$ and $\mathbb{Z}_3^3$ . More recently, Du \cite{du} proved that every finite group of odd order has a TmSR for every $m \geq 2$. The author of \cite{du} observed that a finite group of odd order has no regular TmSR when $m$ is an even integer, a group of order $1$ has no regular T3SR, and $\mathbb{Z}_3^2$ admits a regular T3SR. At the end of \cite{du}, Du proposed the following problem. \noindent{\sf\it Problem.} \ \ {\it For every odd integer $m\geq 3$, classify finite groups of odd order which have a regular TmSR.} The motivation of this paper is to give an answer for the above problem. We proved that if $G$ is a finite group with odd order $n>1$, then $G$ admits a regular TmSR for any odd integer $m\geq 3$. △ Less

Submitted 7 February, 2025; v1 submitted 23 January, 2025; originally announced January 2025.

MSC Class: 05C25

Line graphs with the largest eigenvalue multiplicity

Authors: Wenhao Zhen, Dein Wong, Songnian Xu

Abstract: For a connected graph $G$, we denote by $L(G)$, $m_{G}(λ)$, $c(G)$ and $p(G)$ the line graph of $G$, the eigenvalue multiplicity of $λ$ in $G$, the cyclomatic number and the number of pendant vertices in $G$, respectively. In 2023, Yang et al. \cite{WL LT} proved that $m_{L(T)}(λ)\leq p(T)-1$ for any tree $T$ with $p(T)\geq 3$, and characterized all trees $T$ with $m_{L(T)}(λ) = p(T)-1$. In 2024,… ▽ More For a connected graph $G$, we denote by $L(G)$, $m_{G}(λ)$, $c(G)$ and $p(G)$ the line graph of $G$, the eigenvalue multiplicity of $λ$ in $G$, the cyclomatic number and the number of pendant vertices in $G$, respectively. In 2023, Yang et al. \cite{WL LT} proved that $m_{L(T)}(λ)\leq p(T)-1$ for any tree $T$ with $p(T)\geq 3$, and characterized all trees $T$ with $m_{L(T)}(λ) = p(T)-1$. In 2024, Chang et al. \cite{-1 LG} proved that, if $G$ is not a cycle, then $m_{L(G)}(λ)\leq 2c(G)+p(G)-1$, and characterized all graphs $G$ with $m_{L(G)}(-1) = 2c(G)+p(G)-1$. The remaining ploblem is to characterize all graphs $G$ with $m_{L(G)}(λ)= 2c(G)+p(G)-1$ for an arbitrary eigenvalue $λ$ of $L(G)$. In this paper, we give this problem a complete solution. △ Less

Submitted 21 December, 2024; v1 submitted 22 November, 2024; originally announced November 2024.

MSC Class: 05C50

A characterization of graphs $G$ with $m_G(λ)= 2c(G) + q_s(G) - 1$

Authors: Songnian Xu, Wenhao Zhen, Dein Wong

Abstract: Let $G$ be a simple connected graph. If every pendant path in $G$ is at least $P_s$, we denote that $G\in \mathbb{G}_s$. For $G \in \mathbb{G}_s$, let $Q_s(G)$ be the set of vertices in $G$ that are distance $s$ from the pendant vertex, and let $|Q_s(G)| = q_s(G)$. For $G \in \mathbb{G}_s$, Li et al. (2024) proved that when $λ$ is not an eigenvalue of $P_s$ and $G$ is neither a cycle nor a starlik… ▽ More Let $G$ be a simple connected graph. If every pendant path in $G$ is at least $P_s$, we denote that $G\in \mathbb{G}_s$. For $G \in \mathbb{G}_s$, let $Q_s(G)$ be the set of vertices in $G$ that are distance $s$ from the pendant vertex, and let $|Q_s(G)| = q_s(G)$. For $G \in \mathbb{G}_s$, Li et al. (2024) proved that when $λ$ is not an eigenvalue of $P_s$ and $G$ is neither a cycle nor a starlike tree $T_k$, it holds that $m_G(λ) \leq 2c(G) + q_s(G) - 1$ and characterized the extremal graphs when $G$ is a tree. In this article, we characterize the extremal graphs for which $m_G(λ) = 2c(G) + q_s(G) - 1$ when $G \in \mathbb{G}_{s}$ and $λ\notin σ(P_s)$. △ Less

Submitted 7 December, 2024; v1 submitted 7 November, 2024; originally announced November 2024.

MSC Class: 05C50; 05C05; 05C69

A complete characterization of graphs for which $m_G(-1) = n-d-1$

Authors: Songnian Xu, Wenhao Zhen, Dein Wong

Abstract: Let $G$ be a simple connected graph of order $n$ with diameter $d$. Let $m_G(-1)$ denote the multiplicity of the eigenvalue $-1$ of the adjacency matrix of $G$, and let $P = P_{d+1}$ be the diameter path of $G$. If $-1$ is not an eigenvalue of $P$, then by the interlacing theorem, we have $m_G(-1)\leq n - d - 1$. In this article, we characterize the extremal graphs where equality holds. Moreover,… ▽ More Let $G$ be a simple connected graph of order $n$ with diameter $d$. Let $m_G(-1)$ denote the multiplicity of the eigenvalue $-1$ of the adjacency matrix of $G$, and let $P = P_{d+1}$ be the diameter path of $G$. If $-1$ is not an eigenvalue of $P$, then by the interlacing theorem, we have $m_G(-1)\leq n - d - 1$. In this article, we characterize the extremal graphs where equality holds. Moreover, for the completeness of the results, we also characterize the graphs $G$ that achieve $m_G(-1) = n - d - 1$ when $-1$ is an eigenvalue of $P$. Thus, we provide a complete characterization of the graphs $G$ for which $m_G(-1) = n - d - 1$. △ Less

Submitted 19 October, 2024; originally announced October 2024.

MSC Class: 05C50

Small deviations of Gaussian multiplicative chaos and the free energy of the two-dimensional massless Sinh--Gordon model

Authors: Nikolay Barashkov, Joona Oikarinen, Mo Dick Wong

Abstract: We derive new small deviations bounds for a class of Gaussian multiplicative chaos measures obtained from Gaussian fields with zero spatial average. The upper bound holds for a class of fields closely related to the $\star$-scale invariant Gaussian fields in arbitrary number of dimensions, and the lower bound holds for the Gaussian free field with zero spatial average on the torus. The upper bound… ▽ More We derive new small deviations bounds for a class of Gaussian multiplicative chaos measures obtained from Gaussian fields with zero spatial average. The upper bound holds for a class of fields closely related to the $\star$-scale invariant Gaussian fields in arbitrary number of dimensions, and the lower bound holds for the Gaussian free field with zero spatial average on the torus. The upper bound is obtained by a modification of the method that was used in \cite{LRV}, and the lower bound is obtained by applying the Donsker--Varadhan variational formula. We also give the probabilistic path integral formulation of the massless Sinh--Gordon model on a torus of side length $R$, and study its partition function $R$ tends to infinity. We apply the small deviation bounds for Gaussian multiplicative chaos to obtain lower and upper bounds for the logarithm of the partition function, leading to the existence of a non-zero and finite subsequential infinite volume limit for the free energy. △ Less

Submitted 29 August, 2024; originally announced August 2024.

Comments: Preliminary version

Vogan's FPP conjecture for complex Lie groups

Authors: Chao-Ping Dong, Kayue Daniel Wong

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. 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. △ Less

Submitted 23 July, 2024; originally announced July 2024.

Comments: 18 pages

Greedy Gray Codes for some Restricted Classes of Binary Words

Authors: Nathanaël Hassler, Vincent Vajnovszki, Dennis Wong

Abstract: We investigate the existence of greedy Gray codes, based on the choice of the first element in the code, for two classes of binary words: generalized Fibonacci words and generalized Dyck words. We investigate the existence of greedy Gray codes, based on the choice of the first element in the code, for two classes of binary words: generalized Fibonacci words and generalized Dyck words. △ Less

Submitted 24 June, 2024; originally announced June 2024.

Comments: In Proceedings GASCom 2024, arXiv:2406.14588

Journal ref: EPTCS 403, 2024, pp. 108-112

Martingale central limit theorem for random multiplicative functions

Authors: Ofir Gorodetsky, Mo Dick Wong

Abstract: Let $α$ be a Steinhaus or a Rademacher random multiplicative function. For a wide class of multiplicative functions $f$ we show that the sum $\sum_{n \le x}α(n) f(n)$, normalised to have mean square $1$, has a non-Gaussian limiting distribution. More precisely, we establish a generalised central limit theorem with random variance determined by the total mass of a random measure associated with… ▽ More Let $α$ be a Steinhaus or a Rademacher random multiplicative function. For a wide class of multiplicative functions $f$ we show that the sum $\sum_{n \le x}α(n) f(n)$, normalised to have mean square $1$, has a non-Gaussian limiting distribution. More precisely, we establish a generalised central limit theorem with random variance determined by the total mass of a random measure associated with $αf$. Our result applies to $d_z$, the $z$-th divisor function, as long as $z$ is strictly between $0$ and $\tfrac{1}{\sqrt{2}}$. Other examples of admissible $f$-s include any multiplicative indicator function with the property that $f(p)=1$ holds for a set of primes of density strictly between $0$ and $\tfrac{1}{2}$. △ Less

Submitted 6 June, 2024; v1 submitted 30 May, 2024; originally announced May 2024.

Comments: 42 pages, 2 figures. Typos fixed, abstract and discussion of previous works updated. Codes for simulation experiment available on authors' personal page; comments are still welcome

A short proof of Helson's conjecture

Authors: Ofir Gorodetsky, Mo Dick Wong

Abstract: Let $α\colon \mathbb{N} \to S^1$ be the Steinhaus multiplicative function: a completely multiplicative function such that $(α(p))_{p\text{ prime}}$ are i.i.d.~random variables uniformly distributed on the complex unit circle $S^1$. Helson conjectured that $\mathbb{E}|\sum_{n\le x}α(n)|=o(\sqrt{x})$ as $x \to \infty$, and this was solved in a strong form by Harper. We give a short proof of the conj… ▽ More Let $α\colon \mathbb{N} \to S^1$ be the Steinhaus multiplicative function: a completely multiplicative function such that $(α(p))_{p\text{ prime}}$ are i.i.d.~random variables uniformly distributed on the complex unit circle $S^1$. Helson conjectured that $\mathbb{E}|\sum_{n\le x}α(n)|=o(\sqrt{x})$ as $x \to \infty$, and this was solved in a strong form by Harper. We give a short proof of the conjecture using a result of Saksman and Webb on a random model for the zeta function. △ Less

Submitted 11 February, 2025; v1 submitted 29 May, 2024; originally announced May 2024.

Comments: 9 pages. Minor mistakes and typos fixed and discussion of previous works added; journal version

MSC Class: 11K65 (primary); 11N37; 60G15; 60G50

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

Authors: Kayue Daniel Wong, Hongfeng Zhang

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}}(λ)$-modules or special unipotent representations, resulting in a verification of a conjecture of Trapa and Vogan for $G$. 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}}(λ)$-modules or special unipotent representations, resulting in a verification of a conjecture of Trapa and Vogan for $G$. △ Less

Submitted 29 April, 2024; v1 submitted 28 January, 2024; originally announced January 2024.

Comments: 38 pages, to appear in International Mathematics Research Notices

The relationship between the negative inertia index of graph $G$ and its girth $g$ and diameter $d$

Authors: Songnian Xu, Wenhao Zhen, Dein Wong

Abstract: Let $G$ be a simple connected graph. We use $n(G)$, $p(G)$, and $η(G)$ to denote the number of negative eigenvalues, positive eigenvalues, and zero eigenvalues of the adjacency matrix $A(G)$ of $G$, respectively. In this paper, we prove that $2n(G)\geq d(G) + 1$ when $d(G)$ is odd, and $n(G) \geq \lceil \frac{g}{2}\rceil - 1$ for a graph containing cycles, where $d(G)$ and $g$ are the diameter and… ▽ More Let $G$ be a simple connected graph. We use $n(G)$, $p(G)$, and $η(G)$ to denote the number of negative eigenvalues, positive eigenvalues, and zero eigenvalues of the adjacency matrix $A(G)$ of $G$, respectively. In this paper, we prove that $2n(G)\geq d(G) + 1$ when $d(G)$ is odd, and $n(G) \geq \lceil \frac{g}{2}\rceil - 1$ for a graph containing cycles, where $d(G)$ and $g$ are the diameter and girth of the graph $G$, respectively. Furthermore, we characterize the extremal graphs for the cases of $2n(G) = d(G) + 1$, $n(G) = \lceil \frac{g}{2}\rceil$, and $n(G) = \lceil \frac{g}{2}\rceil - 1$. △ Less

Submitted 2 January, 2024; v1 submitted 5 December, 2023; originally announced December 2023.

MSC Class: O5C50

Minimal graphs with eigenvalue multiplicity of $n-d$

Authors: Yuanshuai Zhang, Dein Wong, Wenhao Zhen

Abstract: For a connected graph $G$ with order $n$, let $e(G)$ be the number of its distinct eigenvalues and $d$ be the diameter. We denote by $m_G(μ)$ the eigenvalue multiplicity of $μ$ in $G$. It is well known that $e(G)\geq d+1$, which shows $m_G(μ)\leq n-d$ for any real number $μ$. A graph is called $minimal$ if $e(G)= d+1$. In 2013, Wang (\cite{WD}, Linear Algebra Appl.) characterize all minimal graphs… ▽ More For a connected graph $G$ with order $n$, let $e(G)$ be the number of its distinct eigenvalues and $d$ be the diameter. We denote by $m_G(μ)$ the eigenvalue multiplicity of $μ$ in $G$. It is well known that $e(G)\geq d+1$, which shows $m_G(μ)\leq n-d$ for any real number $μ$. A graph is called $minimal$ if $e(G)= d+1$. In 2013, Wang (\cite{WD}, Linear Algebra Appl.) characterize all minimal graphs with $m_G(0)=n-d$. In 2023, Du et al. (\cite{Du}, Linear Algebra Appl.) characterize all the trees for which there is a real symmetric matrix with nullity $n-d$ and $n-d-1$. In this paper, by applying the star complement theory, we prove that if $G$ is not a path and $m_G(μ)= n-d$, then $μ\in \{0,-1\}$. Furthermore, we completely characterize all minimal graphs with $m_G(-1)=n-d$. △ Less

Submitted 23 November, 2023; originally announced November 2023.

Weyl's law in Liouville quantum gravity

Authors: Nathanaël Berestycki, Mo Dick Wong

Abstract: Can you hear the shape of Liouville quantum gravity? We obtain a Weyl law for the eigenvalues of Liouville Brownian motion: the $n$-th eigenvalue grows linearly with $n$, with the proportionality constant given by the Liouville area of the domain and a certain deterministic constant $c_γ$ depending on $γ\in (0, 2)$. The constant $c_γ$, initially a complicated function of Sheffield's quantum cone,… ▽ More Can you hear the shape of Liouville quantum gravity? We obtain a Weyl law for the eigenvalues of Liouville Brownian motion: the $n$-th eigenvalue grows linearly with $n$, with the proportionality constant given by the Liouville area of the domain and a certain deterministic constant $c_γ$ depending on $γ\in (0, 2)$. The constant $c_γ$, initially a complicated function of Sheffield's quantum cone, can be evaluated explicitly and is strictly greater than the equivalent Riemannian constant. At the heart of the proof we obtain sharp asymptotics of independent interest for the small-time behaviour of the on-diagonal heat kernel. Interestingly, we show that the scaled heat kernel displays nontrivial pointwise fluctuations. Fortunately, at the level of the heat trace these pointwise fluctuations cancel each other, which leads to the result. We complement these results with a number of conjectures on the spectral geometry of Liouville quantum gravity, notably suggesting a connection with quantum chaos. △ Less

Submitted 30 May, 2024; v1 submitted 11 July, 2023; originally announced July 2023.

Comments: Typos fixed; re-organised introduction with expanded literature review

On the Lefschetz Principle for $\mathrm{GL}(n,\mathbb{C})$ and $\mathrm{GL}(m,\mathbb{Q}_p)$

Authors: Kei Yuen Chan, Kayue Daniel Wong

Abstract: We construct an exact functor from the category of Harish-Chandra modules of $\mathrm{GL}_n(\mathbb C)$ to the category of finite-dimensional modules of graded Hecke algebras of type A. We show that the functor preserves parabolically induced modules, standard modules, irreducible modules, unitary modules and Dirac series. We also use the functor to connect a Bernstein-Zelevinsky type functor for… ▽ More We construct an exact functor from the category of Harish-Chandra modules of $\mathrm{GL}_n(\mathbb C)$ to the category of finite-dimensional modules of graded Hecke algebras of type A. We show that the functor preserves parabolically induced modules, standard modules, irreducible modules, unitary modules and Dirac series. We also use the functor to connect a Bernstein-Zelevinsky type functor for graded Hecke algebra side to the tensor product for $\mathrm{GL}_n(\mathbb C)$ side. Some applications are also discussed. △ Less

Submitted 15 October, 2024; v1 submitted 25 May, 2023; originally announced May 2023.

Comments: v2: 38 pages, v3: Section 9.5 added, accepted version to appear in Israel Journal of Mathematics

MSC Class: 22E50; 22E47; 20C08

Dirac series for complex $E_8$

Authors: Dan Barbasch, Kayue Daniel Wong

Abstract: In this paper, we classify all unitary representations with non-zero Dirac cohomology for complex Lie group of Type E8. This completes the classification of Dirac series for all complex simple Lie groups. In this paper, we classify all unitary representations with non-zero Dirac cohomology for complex Lie group of Type E8. This completes the classification of Dirac series for all complex simple Lie groups. △ Less

Submitted 4 May, 2023; originally announced May 2023.

Comments: 24 pages

The genuine unitary dual of complex spin groups

Authors: Kayue Daniel Wong, Hongfeng Zhang

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

Submitted 4 April, 2024; v1 submitted 19 March, 2023; originally announced March 2023.

Comments: 41 pages, simplified proofs

On Erdős sums of almost primes

Authors: Ofir Gorodetsky, Jared Duker Lichtman, Mo Dick Wong

Abstract: In 1935, Erdős proved that the sums $f_k=\sum_n 1/(n\log n)$, over integers $n$ with exactly $k$ prime factors, are bounded by an absolute constant, and in 1993 Zhang proved that $f_k$ is maximized by the prime sum $f_1=\sum_p 1/(p\log p)$. According to a 2013 conjecture of Banks and Martin, the sums $f_k$ are predicted to decrease monotonically in $k$. In this article, we show that the sums restr… ▽ More In 1935, Erdős proved that the sums $f_k=\sum_n 1/(n\log n)$, over integers $n$ with exactly $k$ prime factors, are bounded by an absolute constant, and in 1993 Zhang proved that $f_k$ is maximized by the prime sum $f_1=\sum_p 1/(p\log p)$. According to a 2013 conjecture of Banks and Martin, the sums $f_k$ are predicted to decrease monotonically in $k$. In this article, we show that the sums restricted to odd integers are indeed monotonically decreasing in $k$, sufficiently large. By contrast, contrary to the conjecture we prove that the sums $f_k$ increase monotonically in $k$, sufficiently large. Our main result gives an asymptotic for $f_k$ which identifies the (negative) secondary term, namely $f_k = 1 - (a+o(1))k^2/2^k$ for an explicit constant $a= 0.0656\cdots$. This is proven by a refined method combining real and complex analysis, whereas the classical results of Sathe and Selberg on products of $k$ primes imply the weaker estimate $f_k=1+O_{\varepsilon}(k^{\varepsilon-1/2})$. We also give an alternate, probability-theoretic argument related to the Dickman distribution. Here the proof reduces to showing a sequence of integrals converges exponentially quickly to $e^{-γ}$, which may be of independent interest. △ Less

Submitted 12 May, 2024; v1 submitted 14 March, 2023; originally announced March 2023.

Comments: 28 pages, incorporated referee comments

MSC Class: 11N25; 11Y60; 11A05; 60G18; 60H25

Journal ref: C. R. Math. Acad. Sci. Paris 362 (2024), 83-91

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

Authors: Kayue Daniel Wong

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)$. 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)$. △ Less

Submitted 25 January, 2024; v1 submitted 16 October, 2022; originally announced October 2022.

Comments: 32 pages

Admissible modules and normality of classical nilpotent orbits II

Authors: Dan Barbasch, Kayue Daniel Wong

Abstract: In this paper, we compute the character formula of the Brylinski model for all classical nilpotent varieties $\overline{\mathcal{O}}$. As a consequence, one can compute the multiplicities of all $K-$types of the ring of regular functions $R(\overline{\mathcal{O}})$ for all classical nilpotent varieties. In this paper, we compute the character formula of the Brylinski model for all classical nilpotent varieties $\overline{\mathcal{O}}$. As a consequence, one can compute the multiplicities of all $K-$types of the ring of regular functions $R(\overline{\mathcal{O}})$ for all classical nilpotent varieties. △ Less

Submitted 17 May, 2022; originally announced May 2022.

Comments: 17 pages, preliminary version. This work is a sequel to arXiv:1801.06909

Asymptotics of Hankel determinants with a multi-cut regular potential and Fisher-Hartwig singularities

Authors: Christophe Charlier, Benjamin Fahs, Christian Webb, Mo Dick Wong

Abstract: We obtain large $N$ asymptotics for $N \times N$ Hankel determinants corresponding to non-negative symbols with Fisher-Hartwig (FH) singularities in the multi-cut regime. Our result includes the explicit computation of the multiplicative constant. More precisely, we consider symbols of the form $ωe^{f-NV}$, where $V$ is a real-analytic potential whose equilibrium measure $μ_V$ is supported on se… ▽ More We obtain large $N$ asymptotics for $N \times N$ Hankel determinants corresponding to non-negative symbols with Fisher-Hartwig (FH) singularities in the multi-cut regime. Our result includes the explicit computation of the multiplicative constant. More precisely, we consider symbols of the form $ωe^{f-NV}$, where $V$ is a real-analytic potential whose equilibrium measure $μ_V$ is supported on several intervals, $f$ is analytic in a neighborhood of $\textrm{supp}(μ_V)$, and $ω$ is a function with any number of jump- and root-type singularities in the interior of $\textrm{supp}(μ_V)$. While the special cases $ω\equiv1$ and $ωe^f\equiv1$ have been considered previously in the literature, we also prove new results for these special cases. No prior asymptotics were available in the literature for symbols with FH singularities in the multi-cut setting. As an application of our results, we discuss a connection between the spectral fluctuations of random Hermitian matrices in the multi-cut regime and the Gaussian free field on the Riemann surface associated to $μ_V$. As a second application, we obtain new rigidity estimates for random Hermitian matrices in the multi-cut regime. △ Less

Submitted 17 February, 2023; v1 submitted 16 November, 2021; originally announced November 2021.

Comments: 143 pages, 11 figures

Dirac series for complex $E_7$

Authors: Chao-Ping Dong, Kayue Daniel Wong

Abstract: This paper classifies the Dirac series for complex $E_7$. As applications, we verify a few conjectures raised in 2011, 2019 and 2020 for this exceptional Lie group. In particular, according to Conjecture 1.1 of Barbasch and Pandzic [BP], our classification should be helpful for understanding the unitary dual of complex $E_7$. This paper classifies the Dirac series for complex $E_7$. As applications, we verify a few conjectures raised in 2011, 2019 and 2020 for this exceptional Lie group. In particular, according to Conjecture 1.1 of Barbasch and Pandzic [BP], our classification should be helpful for understanding the unitary dual of complex $E_7$. △ Less

Submitted 26 March, 2022; v1 submitted 1 October, 2021; originally announced October 2021.

Comments: 21 pages, accepted for publication in Forum Mathematicum

Inside the Binary Reflected Gray Code: Flip-Swap Languages in 2-Gray Code Order

Authors: Joe Sawada, Aaron Williams, Dennis Wong

Abstract: A flip-swap language is a set S of binary strings of length n such that $S \cup 0^n$ is closed under two operations (when applicable): (1) Flip the leftmost 1; and (2) Swap the leftmost 1 with the bit to its right. Flip-swap languages model many combinatorial objects including necklaces, Lyndon words, prefix normal words, left factors of k-ary Dyck words, and feasible solutions to 0-1 knapsack pro… ▽ More A flip-swap language is a set S of binary strings of length n such that $S \cup 0^n$ is closed under two operations (when applicable): (1) Flip the leftmost 1; and (2) Swap the leftmost 1 with the bit to its right. Flip-swap languages model many combinatorial objects including necklaces, Lyndon words, prefix normal words, left factors of k-ary Dyck words, and feasible solutions to 0-1 knapsack problems. We prove that any flip-swap language forms a cyclic 2-Gray code when listed in binary reflected Gray code (BRGC) order. Furthermore, a generic successor rule computes the next string when provided with a membership tester. The rule generates each string in the aforementioned flip-swap languages in O(n)-amortized per string, except for prefix normal words of length n which require O($n^{1.864}$)-amortized per string. Our work generalizes results on necklaces and Lyndon words by Vajnovski [Inf. Process. Lett. 106(3):96$-$99, 2008]. △ Less

Submitted 7 May, 2021; originally announced May 2021.

Dirac index of some unitary representations of $Sp(2n, \mathbb{R})$ and $SO^*(2n)$

Authors: Chao-Ping Dong, Kayue Daniel Wong

Abstract: Let $G$ be $Sp(2n, \mathbb{R})$ or $SO^*(2n)$. We compute the Dirac index of a large class of unitary representations considered by Vogan in Section 8 of [Vog84], which include all weakly fair $A_{\mathfrak{q}}(λ)$ modules and (weakly) unipotent representations of $G$ as two extreme cases. We conjecture that these representations exhaust all unitary representations of $G$ with nonzero Dirac cohomo… ▽ More Let $G$ be $Sp(2n, \mathbb{R})$ or $SO^*(2n)$. We compute the Dirac index of a large class of unitary representations considered by Vogan in Section 8 of [Vog84], which include all weakly fair $A_{\mathfrak{q}}(λ)$ modules and (weakly) unipotent representations of $G$ as two extreme cases. We conjecture that these representations exhaust all unitary representations of $G$ with nonzero Dirac cohomology. In general, for certain irreducible unitary module of an equal rank group, we clarify the link between the possible cancellations in its Dirac index, and the parities of its spin-lowest $K$-types. △ Less

Submitted 15 February, 2021; originally announced February 2021.

Comments: 30 pages

On the critical-subcritical moments of moments of random characteristic polynomials: a GMC perspective

Authors: Jonathan P. Keating, Mo Dick Wong

Abstract: We study the 'critical moments' of subcritical Gaussian multiplicative chaos (GMCs) in dimensions $d \leq 2$. In particular, we establish a fully explicit formula for the leading order asymptotics, which is closely related to large deviation results for GMCs and demonstrates a similar universality feature. We conjecture that our result correctly describes the behaviour of analogous moments of mome… ▽ More We study the 'critical moments' of subcritical Gaussian multiplicative chaos (GMCs) in dimensions $d \leq 2$. In particular, we establish a fully explicit formula for the leading order asymptotics, which is closely related to large deviation results for GMCs and demonstrates a similar universality feature. We conjecture that our result correctly describes the behaviour of analogous moments of moments of random matrices, or more generally structures which are asymptotically Gaussian and log-correlated in the entire mesoscopic scale. This is verified for an integer case in the setting of circular unitary ensemble, extending and strengthening the results of Claeys et al. and Fahs to higher-order moments. △ Less

Submitted 31 May, 2022; v1 submitted 31 December, 2020; originally announced December 2020.

Comments: Improved presentation with typos fixed and extra details/references added; accepted version

Applications of Successive Convexification in Autonomous VehiclePlanning and Control

Authors: Ali Boyali, Simon Thompson, David Wong

Abstract: In this paper, we present the application of successive convexification methods to autonomous driving problems borrowed from recent aerospace literature. We formulate two optimization problems within the successive convexification framework. Using arc-length parametrization in the vehicle kinematic model, we solve the speed planning and model predictive control problems with a range of constraints… ▽ More In this paper, we present the application of successive convexification methods to autonomous driving problems borrowed from recent aerospace literature. We formulate two optimization problems within the successive convexification framework. Using arc-length parametrization in the vehicle kinematic model, we solve the speed planning and model predictive control problems with a range of constraints and obstacle configurations. This paper is the first systematic application of successive convexification methods from the aerospace literature to the autonomous driving problems. In addition, we show a simple application of logical state-trigger constraints in a continuous formulation of the optimization by including an evasion maneuver in the simulations section. We give details of the problem formulation and implementation and present and discuss the results. △ Less

Submitted 13 October, 2020; originally announced October 2020.

Comments: Presented at ICACR 2020

Dirac series for complex classical Lie groups: A multiplicity-one theorem

Authors: Dan Barbasch, Chao-Ping Dong, Kayue Daniel Wong

Abstract: This paper computes the Dirac cohomology $H_D(π)$ of irreducible unitary Harish-Chandra modules $π$ of complex classical groups viewed as real reductive groups. More precisely, unitary representations with nonzero Dirac cohomology are shown to be unitarily induced from unipotent representations. When nonzero, there is a unique, multiplicity free $K-$type in $π$ contributing to $H_D(π)$. This confi… ▽ More This paper computes the Dirac cohomology $H_D(π)$ of irreducible unitary Harish-Chandra modules $π$ of complex classical groups viewed as real reductive groups. More precisely, unitary representations with nonzero Dirac cohomology are shown to be unitarily induced from unipotent representations. When nonzero, there is a unique, multiplicity free $K-$type in $π$ contributing to $H_D(π)$. This confirms conjectures formulated by the first named author and Pandzic in 2011. △ Less

Submitted 29 March, 2022; v1 submitted 4 October, 2020; originally announced October 2020.

Comments: 42 pages, to appear in Adv. Math

Dirac series of $GL(n, \mathbb{R})$

Authors: Chao-Ping Dong, Kayue Daniel Wong

Abstract: The unitary dual of $GL(n, \mathbb{R})$ was classified by Vogan in the 1980s. Focusing on the irreducible unitary representations of $GL(n, \mathbb{R})$ with half-integral infinitesimal characters, we find that Speh representations and the special unipotent representations are building blocks. By looking at the $K$-types of them, and by using a Blattner-type formula, we obtain all the irreducible… ▽ More The unitary dual of $GL(n, \mathbb{R})$ was classified by Vogan in the 1980s. Focusing on the irreducible unitary representations of $GL(n, \mathbb{R})$ with half-integral infinitesimal characters, we find that Speh representations and the special unipotent representations are building blocks. By looking at the $K$-types of them, and by using a Blattner-type formula, we obtain all the irreducible unitary $(\mathfrak{g}, K)$-modules with non-zero Dirac cohomology of $GL(n, \mathbb{R})$, as well as a formula for (one of) their spin-lowest $K$-types. Moreover, analogous to the $GL(n,\mathbb{C})$ case given in [DW1], we count the number of the FS-scattered representations of $GL(n, \mathbb{R})$. △ Less

Submitted 10 July, 2020; v1 submitted 2 July, 2020; originally announced July 2020.

Comments: 23 pages

Scattered representations of complex classical Lie groups

Authors: Chao-ping Dong, Kayue Daniel Wong

Abstract: This paper studies scattered representations of $G = SO(2n+1, \mathbb{C})$, $Sp(2n, \mathbb{C})$ and $SO(2n, \mathbb{C})$, which lies in the `core' of the unitary spectrum $G$ with nonzero Dirac cohomology. We describe the Zhelobenko parameters of these representations, count their cardinality, and determine their spin-lowest $K$-types. We also disprove a conjecture raised in 2015 asserting that t… ▽ More This paper studies scattered representations of $G = SO(2n+1, \mathbb{C})$, $Sp(2n, \mathbb{C})$ and $SO(2n, \mathbb{C})$, which lies in the `core' of the unitary spectrum $G$ with nonzero Dirac cohomology. We describe the Zhelobenko parameters of these representations, count their cardinality, and determine their spin-lowest $K$-types. We also disprove a conjecture raised in 2015 asserting that the unitary dual can be obtained via parabolic induction from irreducible unitary representations with non-zero Dirac cohomology. △ Less

Submitted 11 December, 2020; v1 submitted 14 June, 2020; originally announced June 2020.

Comments: 20 pages, to appear in Int. Math. Res. Not. IMRN

On the Dirac Series of $U(p,q)$

Authors: Chao-ping Dong, Kayue Daniel Wong

Abstract: This paper computes the Dirac index of all the weakly fair $A_{\mathfrak{q}}(λ)$ modules of $U(p, q)$. Although counter-examples have been found to a conjecture of Vogan on the unitary dual of $U(p, q)$ phrased by Trapa in 2001, we believe that any irreducible unitary representation of $U(p, q)$ with non-zero Dirac cohomology must be a weakly fair $A_{\mathfrak{q}}(λ)$ module. This paper computes the Dirac index of all the weakly fair $A_{\mathfrak{q}}(λ)$ modules of $U(p, q)$. Although counter-examples have been found to a conjecture of Vogan on the unitary dual of $U(p, q)$ phrased by Trapa in 2001, we believe that any irreducible unitary representation of $U(p, q)$ with non-zero Dirac cohomology must be a weakly fair $A_{\mathfrak{q}}(λ)$ module. △ Less

Submitted 13 October, 2020; v1 submitted 16 March, 2020; originally announced March 2020.

Comments: 21 pages, to appear in Math. Z

Characterization of graphs with some normalized Laplacian eigenvalue of multiplicity n-3

Authors: Fenglei Tian, Dein Wong

Abstract: Graphs with few distinct eigenvalues have been investigated extensively. In this paper, we focus on another relevant topic: characterizing graphs with some eigenvalue of large multiplicity. Specifically, the normalized Laplacian matrix of a graph is considered here. Let $ρ_{n-1}(G)$ and $ν(G)$ be the second least normalized Laplacian eigenvalue and the independence number of a graph $G$, respectiv… ▽ More Graphs with few distinct eigenvalues have been investigated extensively. In this paper, we focus on another relevant topic: characterizing graphs with some eigenvalue of large multiplicity. Specifically, the normalized Laplacian matrix of a graph is considered here. Let $ρ_{n-1}(G)$ and $ν(G)$ be the second least normalized Laplacian eigenvalue and the independence number of a graph $G$, respectively. As the main conclusions, two families of $n$-vertex connected graphs with some normalized Laplacian eigenvalue of multiplicity $n-3$ are determined: graphs with $ρ_{n-1}(G)=-1$ and graphs with $ρ_{n-1}(G)\neq -1$ and $ν(G)\neq 2$. Moreover, it is proved that these graphs are determined by their spectrum. △ Less

Submitted 31 December, 2019; originally announced December 2019.

Comments: 15 pages, 3 figures

MSC Class: 05C50

Tail universality of critical Gaussian multiplicative chaos

Authors: Mo Dick Wong

Abstract: In this article we study the tail probability of the mass of critical Gaussian multiplicative chaos (GMC) associated to a general class of log-correlated Gaussian fields in any dimension, including the Gaussian free field (GFF) in dimension two. More precisely, we derive a fully explicit formula for the leading order asymptotics for the tail probability and demonstrate a new universality phenomeno… ▽ More In this article we study the tail probability of the mass of critical Gaussian multiplicative chaos (GMC) associated to a general class of log-correlated Gaussian fields in any dimension, including the Gaussian free field (GFF) in dimension two. More precisely, we derive a fully explicit formula for the leading order asymptotics for the tail probability and demonstrate a new universality phenomenon. Our analysis here shares similar philosophy with the subcritical case but requires a different approach due to complications in the analogous localisation step, and we also employ techniques from recent studies of fusion estimates in GMC theory. △ Less

Submitted 5 December, 2019; originally announced December 2019.

Scattered representations of $SL(n, \mathbb{C})$

Authors: Chao-Ping Dong, Kayue Daniel Wong

Abstract: Let $G$ be $SL(n, \mathbb{C})$. This paper aims to describe the Zhelobenko parameters and the spin-lowest $K$-types of the scattered representations of $G$, which lie at the heart of $\hat{G}^d$ - the set of all the equivalence classes of irreducible unitary representations of $G$ with non-vanishing Dirac cohomology. As a consequence, we will verify a couple of conjectures of the first-named autho… ▽ More Let $G$ be $SL(n, \mathbb{C})$. This paper aims to describe the Zhelobenko parameters and the spin-lowest $K$-types of the scattered representations of $G$, which lie at the heart of $\hat{G}^d$ - the set of all the equivalence classes of irreducible unitary representations of $G$ with non-vanishing Dirac cohomology. As a consequence, we will verify a couple of conjectures of the first-named author for $G$. △ Less

Submitted 19 October, 2020; v1 submitted 7 October, 2019; originally announced October 2019.

Comments: 21 pages, to appear in Pacific J. Math

Journal ref: Pacific J. Math. 309 (2020) 289-312

Universal tail profile of Gaussian multiplicative chaos

Authors: Mo Dick Wong

Abstract: In this article we study the tail probability of the mass of Gaussian multiplicative chaos. With the novel use of a Tauberian argument and Goldie's implicit renewal theorem, we provide a unified approach to general log-correlated Gaussian fields in arbitrary dimension and derive precise first order asymptotics of the tail probability, resolving a conjecture of Rhodes and Vargas. The leading order… ▽ More In this article we study the tail probability of the mass of Gaussian multiplicative chaos. With the novel use of a Tauberian argument and Goldie's implicit renewal theorem, we provide a unified approach to general log-correlated Gaussian fields in arbitrary dimension and derive precise first order asymptotics of the tail probability, resolving a conjecture of Rhodes and Vargas. The leading order is described by a universal constant that captures the generic property of Gaussian multiplicative chaos, and may be seen as the analogue of the Liouville unit volume reflection coefficients in higher dimensions. △ Less

Submitted 30 April, 2019; v1 submitted 11 February, 2019; originally announced February 2019.

Comments: Proof slightly restructured; some typos fixed

Fusion asymptotics for Liouville correlation functions

Authors: Guillaume Baverez, Mo Dick Wong

Abstract: David-Kupiainen-Rhodes-Vargas introduced a probabilistic framework based on the Gaussian Free Field and Gaussian Multiplicative Chaos in order to make sense rigorously of the path integral approach to Liouville Conformal Field Theory (LCFT). We use this setting to compute fusion estimates for the four-point correlation function on the Riemann sphere, and find that it is consistent with predictions… ▽ More David-Kupiainen-Rhodes-Vargas introduced a probabilistic framework based on the Gaussian Free Field and Gaussian Multiplicative Chaos in order to make sense rigorously of the path integral approach to Liouville Conformal Field Theory (LCFT). We use this setting to compute fusion estimates for the four-point correlation function on the Riemann sphere, and find that it is consistent with predictions from the framework of theoretical physics known as the conformal bootstrap. This result fits naturally into the famous KPZ conjecture which relates the four-point function to the expected density of points around the root of a large random planar map weighted by some statistical mechanics model. From a purely probabilistic point of view, we give non-trivial results on negative moments of GMC. We give exact formulae based on the DOZZ formula in the Liouville case and asymptotic behaviours in the other cases, with a probabilistic representation of the limit. Finally, we show how to extend our results to boundary LCFT, treating the cases of the fusion of two boundary or bulk insertions as well as the absorption of a bulk insertion on the boundary. △ Less

Submitted 26 July, 2018; originally announced July 2018.

Comments: 42 pages, 6 figures

Admissible modules and normality of classical nilpotent orbits I

Authors: Dan Barbasch, Kayue Daniel Wong

Abstract: In the case of complex symplectic and orthogonal groups, we find $(\mathfrak{g}, K)-$modules with the property that their $K-$structure matches the structure of regular functions on the closures of nilpotent orbits. This establishes a version of the Orbit Method of Kirrilov-Kostant-Souriau as proposed by Vogan. In the process we give another proof of the classification of nilpotent orbits with nor… ▽ More In the case of complex symplectic and orthogonal groups, we find $(\mathfrak{g}, K)-$modules with the property that their $K-$structure matches the structure of regular functions on the closures of nilpotent orbits. This establishes a version of the Orbit Method of Kirrilov-Kostant-Souriau as proposed by Vogan. In the process we give another proof of the classification of nilpotent orbits with normal closure in the Lie algebra of a classical group first established by Kraft-Procesi. △ Less

Submitted 14 May, 2022; v1 submitted 21 January, 2018; originally announced January 2018.

Comments: 28 pages

Pre-freezing transition in Boltzmann-Gibbs measures associated with log-correlated fields

Authors: Mo Dick Wong

Abstract: We consider Boltzmann-Gibbs measures associated with log-correlated Gaussian fields as potentials and study their multifractal properties which exhibit phase transitions. In particular, the pre-freezing and freezing phenomena of the annealed exponent, predicted by Fyodorov using a modified replica-symmetry-breaking ansatz, are generalised to arbitrary dimension and verified using results from Gaus… ▽ More We consider Boltzmann-Gibbs measures associated with log-correlated Gaussian fields as potentials and study their multifractal properties which exhibit phase transitions. In particular, the pre-freezing and freezing phenomena of the annealed exponent, predicted by Fyodorov using a modified replica-symmetry-breaking ansatz, are generalised to arbitrary dimension and verified using results from Gaussian multiplicative chaos theory. △ Less

Submitted 30 November, 2017; originally announced November 2017.

Unipotent Representations of Exceptional Richardson Orbits

Authors: Kayue Daniel Wong

Abstract: We study special unipotent representations attached to complex exceptional Richardson orbits. As a consequence, we verify a conjecture of Achar and Sommers for these orbits. We study special unipotent representations attached to complex exceptional Richardson orbits. As a consequence, we verify a conjecture of Achar and Sommers for these orbits. △ Less

Submitted 31 May, 2023; v1 submitted 8 June, 2017; originally announced June 2017.

Comments: 27 pages, arXiv:1702.01503 is now in Appendix A of this paper

Automorphism group of the subspace inclusion graph of a vector space

Authors: Dein Wong, Xinlei Wang, Fenglei Tian

Abstract: In a recent paper [Comm. Algebra, 44(2016) 4724-4731], Das introduced the graph $\mathcal{I}n(\mathbb{V})$, called subspace inclusion graph on a finite dimensional vector space $\mathbb{V}$, where the vertex set is the collection of nontrivial proper subspaces of $\mathbb{V}$ and two vertices are adjacent if one is properly contained in another. Das studied the diameter, girth, clique number, and… ▽ More In a recent paper [Comm. Algebra, 44(2016) 4724-4731], Das introduced the graph $\mathcal{I}n(\mathbb{V})$, called subspace inclusion graph on a finite dimensional vector space $\mathbb{V}$, where the vertex set is the collection of nontrivial proper subspaces of $\mathbb{V}$ and two vertices are adjacent if one is properly contained in another. Das studied the diameter, girth, clique number, and chromatic number of $\mathcal{I}n(\mathbb{V})$ when the base field is arbitrary, and he also studied some other properties of $\mathcal{I}n(\mathbb{V})$ when the base field is finite. In this paper, the automorphisms of $\mathcal{I}n(\mathbb{V})$ are determined when the base field is finite. △ Less

Submitted 19 April, 2017; originally announced April 2017.

Comments: 10 pages

On the moments of the characteristic polynomial of a Ginibre random matrix

Authors: Christian Webb, Mo Dick Wong

Abstract: In this article we study the large $N$ asymptotics of complex moments of the absolute value of the characteristic polynomial of a $N\times N$ complex Ginibre random matrix with the characteristic polynomial evaluated at a point in the unit disk. More precisely, we calculate the large $N$ asymptotics of $\mathbb{E}|\det(G_N-z)|^γ$, where $G_N$ is a $N\times N$ matrix whose entries are i.i.d and dis… ▽ More In this article we study the large $N$ asymptotics of complex moments of the absolute value of the characteristic polynomial of a $N\times N$ complex Ginibre random matrix with the characteristic polynomial evaluated at a point in the unit disk. More precisely, we calculate the large $N$ asymptotics of $\mathbb{E}|\det(G_N-z)|^γ$, where $G_N$ is a $N\times N$ matrix whose entries are i.i.d and distributed as $N^{-1/2}Z$, $Z$ being a standard complex Gaussian, $\mathrm{Re}(γ)>-2$, and $|z|<1$. This expectation is proportional to the determinant of a complex moment matrix with a symbol which is supported in the whole complex plane and has a Fisher-Hartwig type of singularity: $\det(\int_\mathbb{C} w^{i}\overline{w}^j |w-z|^γe^{-N|w|^{2}}d^2 w)_{i,j=0}^{N-1}$. We study the asymptotics of this determinant using recent results due to Lee and Yang concerning the asymptotics of orthogonal polynomials with respect to the weight $|w-z|^γe^{-N|w|^2}d^2 w$ along with differential identities familiar from the study of asymptotics of Toeplitz and Hankel determinants with Fisher-Hartwig singularities. To our knowledge, even in the case of one singularity, the asymptotics of the determinant of such a moment matrix whose symbol has support in a two-dimensional set and a Fisher-Hartwig singularity, have been previously unknown. △ Less

Submitted 17 October, 2017; v1 submitted 13 April, 2017; originally announced April 2017.

Comments: Result and proof extended to include complex-valued gamma; some reference added

Automorphisms of the subspace sum graphs on a vector space

Authors: Fenglei Tian, Dein Wong

Abstract: The subspace sum graph $\mathcal{G}(\mathbb{V})$ on a finite dimensional vector space $\mathbb{V}$ was introduced by Das [Subspace Sum Graph of a Vector Space, arXiv:1702.08245], recently. The vertex set of $\mathcal{G}(\mathbb{V})$ consists of all the nontrivial proper subspaces of $\mathbb{V}$ and two distinct vertices $W_1$ and $W_2$ are adjacent if and only if $W_1+W_2=\mathbb{V}$. In that pap… ▽ More The subspace sum graph $\mathcal{G}(\mathbb{V})$ on a finite dimensional vector space $\mathbb{V}$ was introduced by Das [Subspace Sum Graph of a Vector Space, arXiv:1702.08245], recently. The vertex set of $\mathcal{G}(\mathbb{V})$ consists of all the nontrivial proper subspaces of $\mathbb{V}$ and two distinct vertices $W_1$ and $W_2$ are adjacent if and only if $W_1+W_2=\mathbb{V}$. In that paper, some structural indices (e.g., diameter, girth, connectivity, domination number, clique number and chromatic number) were studied, but the characterization of automorphisms of $\mathcal{G}(\mathbb{V})$ was left as one of further research topics. Motivated by this, we in this paper characterize the automorphisms of $\mathcal{G}(\mathbb{V})$ completely. △ Less

Submitted 12 April, 2017; originally announced April 2017.

Special Unipotent Representations with Half Integral Infinitesimal Characters

Authors: Kayue Daniel Wong

Abstract: For any special nilpotent orbit, let $\frac{1}{2}h^{\vee}$ be one half of the semisimple element of a Jacobson-Morozov triple associated to the orbit. In 1985, Barbasch and Vogan defined the notion of special unipotent representations with infinitesimal character $(\frac{1}{2}h^{\vee},\frac{1}{2}h^{\vee})$. Some properties of such representations were discovered when $\frac{1}{2}h^{\vee}$ is integ… ▽ More For any special nilpotent orbit, let $\frac{1}{2}h^{\vee}$ be one half of the semisimple element of a Jacobson-Morozov triple associated to the orbit. In 1985, Barbasch and Vogan defined the notion of special unipotent representations with infinitesimal character $(\frac{1}{2}h^{\vee},\frac{1}{2}h^{\vee})$. Some properties of such representations were discovered when $\frac{1}{2}h^{\vee}$ is integral. In this manuscript, we give a complete proof of these properties when $\frac{1}{2}h^{\vee}$ is not integral. △ Less

Submitted 31 May, 2023; v1 submitted 6 February, 2017; originally announced February 2017.

Comments: this work is now in the Appendix of arXiv:1706.02510

Random Hermitian Matrices and Gaussian Multiplicative Chaos

Authors: Nathanaël Berestycki, Christian Webb, Mo Dick Wong

Abstract: We prove that when suitably normalized, small enough powers of the absolute value of the characteristic polynomial of random Hermitian matrices, drawn from one-cut regular unitary invariant ensembles, converge in law to Gaussian multiplicative chaos measures. We prove this in the so-called $L^2$-phase of multiplicative chaos. Our main tools are asymptotics of Hankel determinants with Fisher-Hartwi… ▽ More We prove that when suitably normalized, small enough powers of the absolute value of the characteristic polynomial of random Hermitian matrices, drawn from one-cut regular unitary invariant ensembles, converge in law to Gaussian multiplicative chaos measures. We prove this in the so-called $L^2$-phase of multiplicative chaos. Our main tools are asymptotics of Hankel determinants with Fisher-Hartwig singularities. Using Riemann-Hilbert methods, we prove a rather general Fisher-Hartwig formula for one-cut regular unitary invariant ensembles. △ Less

Submitted 17 September, 2017; v1 submitted 12 January, 2017; originally announced January 2017.

Comments: Version 3: analysis of the differential identities simplified slightly. Version 4: some errors fixed

Some Calculations of the Lusztig-Vogan Bijection for Classical Nilpotent Orbits

Authors: Kayue Daniel Wong

Abstract: In this manuscript, we compute explicitly the Lusztig-Vogan bijection for local systems of some classical, special, nilpotent orbits. Using these results, we prove a conjecture of Achar and Sommers on regular functions of some covers of classical nilpotent orbits. In this manuscript, we compute explicitly the Lusztig-Vogan bijection for local systems of some classical, special, nilpotent orbits. Using these results, we prove a conjecture of Achar and Sommers on regular functions of some covers of classical nilpotent orbits. △ Less

Submitted 23 March, 2017; v1 submitted 31 May, 2016; originally announced May 2016.

Comments: (v4) 21 pages

On Quantization of a Nilpotent Orbit Closure in $G_2$

Authors: Kayue Daniel Wong

Abstract: Let $G$ be the complex exceptional Lie group of type $G_2$. Among the five nilpotent orbits in its Lie algebra $\mathfrak{g}$, only the 8-dimensional orbit $\mathcal{O}_8$ has non-normal orbit closure $\bar{\mathcal{O}_8}$. In this short note, we will give a quantization model of $\bar{\mathcal{O}_8}$, verifying a conjecture of Vogan in 1984. Let $G$ be the complex exceptional Lie group of type $G_2$. Among the five nilpotent orbits in its Lie algebra $\mathfrak{g}$, only the 8-dimensional orbit $\mathcal{O}_8$ has non-normal orbit closure $\bar{\mathcal{O}_8}$. In this short note, we will give a quantization model of $\bar{\mathcal{O}_8}$, verifying a conjecture of Vogan in 1984. △ Less

Submitted 30 September, 2016; v1 submitted 11 January, 2016; originally announced January 2016.

Comments: (v3) final version. To appear in Proc. Amer. Math. Soc

A Casselman-Osborne theorem for rational Cherednik algebras

Authors: Jing-Song Huang, Kayue Daniel Wong

Abstract: We define Lie algebra cohomology associated with the half-Dirac operators for representations of rational Cherednik algebras and show that it has property described in the Casselman-Osborne Theorem by establishing a version of the Vogan's conjecture for the half-Dirac operators. Moreover, we study the relationship between Lie algebra cohomology and Dirac cohomology in analogy of the representation… ▽ More We define Lie algebra cohomology associated with the half-Dirac operators for representations of rational Cherednik algebras and show that it has property described in the Casselman-Osborne Theorem by establishing a version of the Vogan's conjecture for the half-Dirac operators. Moreover, we study the relationship between Lie algebra cohomology and Dirac cohomology in analogy of the representations for semisimple Lie algebras. △ Less

Submitted 3 January, 2017; v1 submitted 25 November, 2015; originally announced November 2015.

Comments: To appear in Transformation Groups

Regular Functions of Symplectic Spherical Nilpotent Orbits and their Quantizations

Authors: Kayue Daniel Wong

Abstract: We study the ring of regular functions of classical spherical orbits $R(\mathcal{O})$ for $G = Sp(2n,\mathbb{C})$. In particular, treating $G$ as a real Lie group with maximal compact subgroup $K$, we focus on a quantization model of $\mathcal{O}$ when $\mathcal{O}$ is the nilpotent orbit $(2^{2p}1^{2q})$. With this model, we verify a conjecture by McGovern and another conjecture by Achar and Somm… ▽ More We study the ring of regular functions of classical spherical orbits $R(\mathcal{O})$ for $G = Sp(2n,\mathbb{C})$. In particular, treating $G$ as a real Lie group with maximal compact subgroup $K$, we focus on a quantization model of $\mathcal{O}$ when $\mathcal{O}$ is the nilpotent orbit $(2^{2p}1^{2q})$. With this model, we verify a conjecture by McGovern and another conjecture by Achar and Sommers for such orbits. Assuming the results in [Barbasch 2008], we will also verify the Achar-Sommers conjecture for a larger class of nilpotent orbits. △ Less

Submitted 30 November, 2015; v1 submitted 15 November, 2015; originally announced November 2015.

Comments: 15 pages. Some overlap with arXiv:1308.2020. To appear in Representation Theory