Showing 1–22 of 22 results for author: Nadimpalli, S

Character theory at a torsion element

Authors: Santosh Nadimpalli, Santosha Pattanayak, Dipendra Prasad

Abstract: The paper relates character value of an irreducible representation of a compact connected Lie group at certain elements of finite order with the dimension of a representation on another group, up to some precise constants, which all have significance. An important input is to analyse torsion elements of order d in an adjoint group with minimal dimensional centraliser, and to prove that in most cas… ▽ More The paper relates character value of an irreducible representation of a compact connected Lie group at certain elements of finite order with the dimension of a representation on another group, up to some precise constants, which all have significance. An important input is to analyse torsion elements of order d in an adjoint group with minimal dimensional centraliser, and to prove that in most cases when d divides the Coxeter number of G, this gives rise to a unique conjugacy class. △ Less

Submitted 20 April, 2025; originally announced April 2025.

Sparsifying Suprema of Gaussian Processes

Authors: Anindya De, Shivam Nadimpalli, Ryan O'Donnell, Rocco A. Servedio

Abstract: We give a dimension-independent sparsification result for suprema of centered Gaussian processes: Let $T$ be any (possibly infinite) bounded set of vectors in $\mathbb{R}^n$, and let $\{\boldsymbol{X}_t\}_{t\in T}$ be the canonical Gaussian process on $T$. We show that there is an $O_\varepsilon(1)$-size subset $S \subseteq T$ and a set of real values $\{c_s\}_{s \in S}$ such that… ▽ More We give a dimension-independent sparsification result for suprema of centered Gaussian processes: Let $T$ be any (possibly infinite) bounded set of vectors in $\mathbb{R}^n$, and let $\{\boldsymbol{X}_t\}_{t\in T}$ be the canonical Gaussian process on $T$. We show that there is an $O_\varepsilon(1)$-size subset $S \subseteq T$ and a set of real values $\{c_s\}_{s \in S}$ such that $\sup_{s \in S} \{\boldsymbol{X}_s + c_s\}$ is an $\varepsilon$-approximator of $\sup_{t \in T} {\boldsymbol{X}}_t$. Notably, the size of $S$ is completely independent of both the size of $T$ and of the ambient dimension $n$. We use this to show that every norm is essentially a junta when viewed as a function over Gaussian space: Given any norm $ν(x)$ on $\mathbb{R}^n$, there is another norm $ψ(x)$ which depends only on the projection of $x$ along $O_\varepsilon(1)$ directions, for which $ψ({\boldsymbol{g}})$ is a multiplicative $(1 \pm \varepsilon)$-approximation of $ν({\boldsymbol{g}})$ with probability $1-\varepsilon$ for ${\boldsymbol{g}} \sim N(0,I_n)$. We also use our sparsification result for suprema of centered Gaussian processes to give a sparsification lemma for convex sets of bounded geometric width: Any intersection of (possibly infinitely many) halfspaces in $\mathbb{R}^n$ that are at distance $O(1)$ from the origin is $\varepsilon$-close, under $N(0,I_n)$, to an intersection of only $O_\varepsilon(1)$ many halfspaces. We describe applications to agnostic learning and tolerant property testing. △ Less

Submitted 21 November, 2024; originally announced November 2024.

Comments: 30 pages

Families over the integral Bernstein Center and Tate cohomology of local Base change lifts for GL(n, F)

Authors: Sabyasachi Dhar, Santosh Nadimpalli

Abstract: Let $p$ and $l$ be distinct odd primes, and let $F$ be a $p$-adic field. Let $π$ be a generic smooth integral representation of ${\rm GL}_n(F)$ over an $\overline{\mathbb{Q}}_l$-vector space. Let $E$ be a finite Galois extension of $F$ with $[E:F]=l$. Let $Π$ be the base change lift of $π$ to the group ${\rm GL}_n(E)$. Let $\mathbb{W}^0(Π, ψ_E)$ be the lattice of $\overline{\mathbb{Z}}_l$-valued f… ▽ More Let $p$ and $l$ be distinct odd primes, and let $F$ be a $p$-adic field. Let $π$ be a generic smooth integral representation of ${\rm GL}_n(F)$ over an $\overline{\mathbb{Q}}_l$-vector space. Let $E$ be a finite Galois extension of $F$ with $[E:F]=l$. Let $Π$ be the base change lift of $π$ to the group ${\rm GL}_n(E)$. Let $\mathbb{W}^0(Π, ψ_E)$ be the lattice of $\overline{\mathbb{Z}}_l$-valued functions in the Whittaker model of $Π$, with respect to a standard ${\rm Gal}(E/F)$-equivaraint additive character $ψ_E:E\rightarrow \overline{\mathbb{Q}}_l^\times$. We show that the unique generic sub-quotient of the zero-th Tate cohomology group of $\mathbb{W}^0(Π, ψ_E)$ is isomorphic to the Frobenius twist of the unique generic sub-quotient of the mod-$l$ reduction of $π$. We first prove a version of this result for a family of smooth generic representations of ${\rm GL}_n(E)$ over the integral Bernstein center of ${\rm GL}_n(F)$. Our methods use the theory of Rankin-selberg convolutions and simple identities of local $γ$-factors. The results of this article remove the hypothesis that $l$ does not divide the pro-order of ${\rm GL}_{n-1}(F)$ in our previous work. △ Less

Submitted 15 January, 2025; v1 submitted 24 January, 2024; originally announced January 2024.

Comments: The proof of the main theorem appears to be incomplete. The Frobenius morphism may kill some elements in the mod-l Bernstein centre which may not be reduced

Testing Sumsets is Hard

Authors: Xi Chen, Shivam Nadimpalli, Tim Randolph, Rocco A. Servedio, Or Zamir

Abstract: A subset $S$ of the Boolean hypercube $\mathbb{F}_2^n$ is a sumset if $S = \{a + b : a, b\in A\}$ for some $A \subseteq \mathbb{F}_2^n$. Sumsets are central objects of study in additive combinatorics, featuring in several influential results. We prove a lower bound of $Ω(2^{n/2})$ for the number of queries needed to test whether a Boolean function $f:\mathbb{F}_2^n \to \{0,1\}$ is the indicator fu… ▽ More A subset $S$ of the Boolean hypercube $\mathbb{F}_2^n$ is a sumset if $S = \{a + b : a, b\in A\}$ for some $A \subseteq \mathbb{F}_2^n$. Sumsets are central objects of study in additive combinatorics, featuring in several influential results. We prove a lower bound of $Ω(2^{n/2})$ for the number of queries needed to test whether a Boolean function $f:\mathbb{F}_2^n \to \{0,1\}$ is the indicator function of a sumset. Our lower bound for testing sumsets follows from sharp bounds on the related problem of shift testing, which may be of independent interest. We also give a near-optimal $2^{n/2} \cdot \mathrm{poly}(n)$-query algorithm for a smoothed analysis formulation of the sumset refutation problem. △ Less

Submitted 4 February, 2024; v1 submitted 14 January, 2024; originally announced January 2024.

Comments: 18 pages

Gaussian Approximation of Convex Sets by Intersections of Halfspaces

Authors: Anindya De, Shivam Nadimpalli, Rocco A. Servedio

Abstract: We study the approximability of general convex sets in $\mathbb{R}^n$ by intersections of halfspaces, where the approximation quality is measured with respect to the standard Gaussian distribution $N(0,I_n)$ and the complexity of an approximation is the number of halfspaces used. While a large body of research has considered the approximation of convex sets by intersections of halfspaces under dis… ▽ More We study the approximability of general convex sets in $\mathbb{R}^n$ by intersections of halfspaces, where the approximation quality is measured with respect to the standard Gaussian distribution $N(0,I_n)$ and the complexity of an approximation is the number of halfspaces used. While a large body of research has considered the approximation of convex sets by intersections of halfspaces under distance metrics such as the Lebesgue measure and Hausdorff distance, prior to our work there has not been a systematic study of convex approximation under the Gaussian distribution. We establish a range of upper and lower bounds, both for general convex sets and for specific natural convex sets that are of particular interest. Our results demonstrate that the landscape of approximation is intriguingly different under the Gaussian distribution versus previously studied distance measures. For example, we show that $2^{Θ(\sqrt{n})}$ halfspaces are both necessary and sufficient to approximate the origin-centered $\ell_2$ ball of Gaussian volume 1/2 to any constant accuracy, and that for $1 \leq p < 2$, the origin-centered $\ell_p$ ball of Gaussian volume 1/2 can be approximated to any constant accuracy as an intersection of $2^{\widetilde{O}(n^{3/4})}$ many halfspaces. These bounds are quite different from known approximation results under more commonly studied distance measures. Our results are proved using techniques from many different areas. These include classical results on convex polyhedral approximation, Cramér-type bounds on large deviations from probability theory, and -- perhaps surprisingly -- a range of topics from computational complexity, including computational learning theory, unconditional pseudorandomness, and the study of influences and noise sensitivity in the analysis of Boolean functions. △ Less

Submitted 14 November, 2023; originally announced November 2023.

Comments: 64 pages, 3 figures

Twisted Jacquet modules: a conjecture of D. Prasad

Authors: Santosh Nadimpalli, Mihir Sheth

Abstract: In this note, we study the twisted Jacquet modules of sub-quotients of principal series representations of ${\rm GL}_2(D)$ where $D$ is a division algebra over a non-archimedean local field $F$. We begin with a proof of a conjecture due to D. Prasad on twisted Jacquet modules of Speh representations of ${\rm GL}_2(D)$ when $D$ is the quaternionic division algebra. Later, when $D$ is an arbitrary d… ▽ More In this note, we study the twisted Jacquet modules of sub-quotients of principal series representations of ${\rm GL}_2(D)$ where $D$ is a division algebra over a non-archimedean local field $F$. We begin with a proof of a conjecture due to D. Prasad on twisted Jacquet modules of Speh representations of ${\rm GL}_2(D)$ when $D$ is the quaternionic division algebra. Later, when $D$ is an arbitrary division algebra over $F$, we focus on depth-zero principal series and compute the dimensions of twisted Jacquet modules of generalised Speh representations and investigate their structure explicitly. △ Less

Submitted 9 October, 2024; v1 submitted 1 October, 2023; originally announced October 2023.

Comments: Small corrections and further explanations in the proof of Theorem 4.8

MSC Class: 11F85 (Primary); 22E50 (Secondary)

Testing Junta Truncation

Authors: William He, Shivam Nadimpalli

Abstract: We consider the basic statistical problem of detecting truncation of the uniform distribution on the Boolean hypercube by juntas. More concretely, we give upper and lower bounds on the problem of distinguishing between i.i.d. sample access to either (a) the uniform distribution over $\{0,1\}^n$, or (b) the uniform distribution over $\{0,1\}^n$ conditioned on the satisfying assignments of a $k$-jun… ▽ More We consider the basic statistical problem of detecting truncation of the uniform distribution on the Boolean hypercube by juntas. More concretely, we give upper and lower bounds on the problem of distinguishing between i.i.d. sample access to either (a) the uniform distribution over $\{0,1\}^n$, or (b) the uniform distribution over $\{0,1\}^n$ conditioned on the satisfying assignments of a $k$-junta $f: \{0,1\}^n\to\{0,1\}$. We show that (up to constant factors) $\min\{2^k + \log{n\choose k}, {2^{k/2}\log^{1/2}{n\choose k}}\}$ samples suffice for this task and also show that a $\log{n\choose k}$ dependence on sample complexity is unavoidable. Our results suggest that testing junta truncation requires learning the set of relevant variables of the junta. △ Less

Submitted 1 September, 2023; v1 submitted 26 August, 2023; originally announced August 2023.

Testing Convex Truncation

Authors: Anindya De, Shivam Nadimpalli, Rocco A. Servedio

Abstract: We study the basic statistical problem of testing whether normally distributed $n$-dimensional data has been truncated, i.e. altered by only retaining points that lie in some unknown truncation set $S \subseteq \mathbb{R}^n$. As our main algorithmic results, (1) We give a computationally efficient $O(n)$-sample algorithm that can distinguish the standard normal distribution $N(0,I_n)$ from… ▽ More We study the basic statistical problem of testing whether normally distributed $n$-dimensional data has been truncated, i.e. altered by only retaining points that lie in some unknown truncation set $S \subseteq \mathbb{R}^n$. As our main algorithmic results, (1) We give a computationally efficient $O(n)$-sample algorithm that can distinguish the standard normal distribution $N(0,I_n)$ from $N(0,I_n)$ conditioned on an unknown and arbitrary convex set $S$. (2) We give a different computationally efficient $O(n)$-sample algorithm that can distinguish $N(0,I_n)$ from $N(0,I_n)$ conditioned on an unknown and arbitrary mixture of symmetric convex sets. These results stand in sharp contrast with known results for learning or testing convex bodies with respect to the normal distribution or learning convex-truncated normal distributions, where state-of-the-art algorithms require essentially $n^{\sqrt{n}}$ samples. An easy argument shows that no finite number of samples suffices to distinguish $N(0,I_n)$ from an unknown and arbitrary mixture of general (not necessarily symmetric) convex sets, so no common generalization of results (1) and (2) above is possible. We also prove that any algorithm (computationally efficient or otherwise) that can distinguish $N(0,I_n)$ from $N(0,I_n)$ conditioned on an unknown symmetric convex set must use $Ω(n)$ samples. This shows that the sample complexity of each of our algorithms is optimal up to a constant factor. △ Less

Submitted 21 November, 2024; v1 submitted 4 May, 2023; originally announced May 2023.

Comments: Preliminary version in SODA 2023; v3 includes a simpler and stronger lower bound than v2. 26 pages

On the integrality of locally algebraic representations of $\mathrm{GL}_{2}(D)$

Authors: Santosh Nadimpalli, Mihir Sheth

Abstract: Emerton's theory of Jacquet modules for locally analytic representations provides necessary conditions for the existence of integral structures in locally analytic representations. These conditions are also expected to be sufficient for the integrality of generic irreducible locally algebraic representations. In this article, we prove the sufficiency of Emerton's conditions for some tamely ramifie… ▽ More Emerton's theory of Jacquet modules for locally analytic representations provides necessary conditions for the existence of integral structures in locally analytic representations. These conditions are also expected to be sufficient for the integrality of generic irreducible locally algebraic representations. In this article, we prove the sufficiency of Emerton's conditions for some tamely ramified locally algebraic representations of $\mathrm{GL}_{2}(D)$ where $D$ is a $p$-adic division algebra. △ Less

Submitted 9 October, 2024; v1 submitted 17 April, 2023; originally announced April 2023.

Comments: Lemma 2.4 is added. This is the published version

MSC Class: 11F70; 22E50

A Counterexample to a Directed KKL Inequality

Authors: Quentin Dubroff, Shivam Nadimpalli, Bhargav Narayanan

Abstract: We show that the natural directed analogues of the KKL theorem [KKL88] and the Eldan--Gross inequality [EG20] from the analysis of Boolean functions fail to hold. This is in contrast to several other isoperimetric inequalities on the Boolean hypercube (such as the Poincare inequality, Margulis's inequality [Mar74] and Talagrand's inequality [Tal93]) for which directed strengthenings have recently… ▽ More We show that the natural directed analogues of the KKL theorem [KKL88] and the Eldan--Gross inequality [EG20] from the analysis of Boolean functions fail to hold. This is in contrast to several other isoperimetric inequalities on the Boolean hypercube (such as the Poincare inequality, Margulis's inequality [Mar74] and Talagrand's inequality [Tal93]) for which directed strengthenings have recently been established. △ Less

Submitted 5 October, 2022; originally announced October 2022.

Comments: 5 pages. Comments welcome

Tate cohomology of Whittaker lattices and base change of generic representations of ${\rm GL}_n$

Authors: Sabyasachi Dhar, Santosh Nadimpalli

Abstract: Let $p$ and $l$ be distinct odd primes and let $n\geq 2$ be a positive integer. Let $E$ be a finite Galois extension of degree $l$ of a $p$-adic field $F$. Let $q$ be the cardinality of the residue field of $F$. Let $\overlineπ_F$ be a generic mod-$l$ representation of ${\rm GL}_n(F)$ and let $π_F$ be an $l$-adic lift of $\overlineπ_F$. Let $\mathbb{W}^0(π_E, ψ_E)$ be the integral Whittaker model… ▽ More Let $p$ and $l$ be distinct odd primes and let $n\geq 2$ be a positive integer. Let $E$ be a finite Galois extension of degree $l$ of a $p$-adic field $F$. Let $q$ be the cardinality of the residue field of $F$. Let $\overlineπ_F$ be a generic mod-$l$ representation of ${\rm GL}_n(F)$ and let $π_F$ be an $l$-adic lift of $\overlineπ_F$. Let $\mathbb{W}^0(π_E, ψ_E)$ be the integral Whittaker model of $π_E$, i.e., the lattice of $\overline{\mathbb{Z}}_l$-valued functions in the Whittaker model of $π_E$. Assuming that $l$ does not divide $|{\rm GL}_{n-1}(\mathbb{F}_q)|$, we prove that the Frobenius twist of $\overlineπ_F$ is a $G_n(F)$ sub-quotient of the Tate cohomology group $\widehat{H}^0({\rm Gal}(E/F), \mathbb{W}^0(π_E, ψ_E))$. △ Less

Submitted 8 August, 2024; v1 submitted 5 April, 2022; originally announced April 2022.

Comments: A revised version, final version to appear in IMRN

A note on branching of $V(ρ)$

Authors: Santosh Nadimpalli, Santosha Pattanayak

Abstract: Let $\mathfrak{g}$ be a complex simple Lie algebra and let $\mathfrak{g}_0$ be the sub-algebra fixed by a diagram automorphism of $\mathfrak{g}$. Let $G$ be the complex, simply-connected, simple algebraic group with Lie algebra $\mathfrak{g}$, and let $G_0$ be the connected subgroup of $G$ with Lie algebra $\mathfrak{g}_0$. Let $ρ$ be the half sum of positive roots of $\mathfrak{g}$. In this artic… ▽ More Let $\mathfrak{g}$ be a complex simple Lie algebra and let $\mathfrak{g}_0$ be the sub-algebra fixed by a diagram automorphism of $\mathfrak{g}$. Let $G$ be the complex, simply-connected, simple algebraic group with Lie algebra $\mathfrak{g}$, and let $G_0$ be the connected subgroup of $G$ with Lie algebra $\mathfrak{g}_0$. Let $ρ$ be the half sum of positive roots of $\mathfrak{g}$. In this article, we give a necessary and sufficient condition for a highest weight $\mathfrak{g}_0$-representation $V_0(dμ)$ to occur in the representation ${\rm res}_{\mathfrak{g}_0}V(dρ)$, for any saturation factor $d$ of the pair $(G_0, G)$. △ Less

Submitted 10 March, 2022; originally announced March 2022.

Comments: 6 Pages

Journal ref: Journal of Algebra, Volume 594, March 2022

Quotients of commuting schemes associated to Symmetric Pairs

Authors: Santosh Nadimpalli, Santosha Pattanayak

Abstract: Let $\mathfrak{g}=\mathfrak{g}_0\oplus \mathfrak{g}_1$ be a $\mathbb Z_2$-grading of a classical Lie algebra such that $(\mathfrak{g}, \mathfrak{g}_0)$ is a classical symmetric pair. Let $G$ be a classical group with Lie algebra $\mathfrak{g}$ and let $G_0$ be the connected subgroup of $G$ with ${\rm Lie} (G_0)=\mathfrak g_0$. For $d \geq 2$, let $\mathfrak{C}^d(\mathfrak{g}_1)$ be the $d$-th comm… ▽ More Let $\mathfrak{g}=\mathfrak{g}_0\oplus \mathfrak{g}_1$ be a $\mathbb Z_2$-grading of a classical Lie algebra such that $(\mathfrak{g}, \mathfrak{g}_0)$ is a classical symmetric pair. Let $G$ be a classical group with Lie algebra $\mathfrak{g}$ and let $G_0$ be the connected subgroup of $G$ with ${\rm Lie} (G_0)=\mathfrak g_0$. For $d \geq 2$, let $\mathfrak{C}^d(\mathfrak{g}_1)$ be the $d$-th commuting scheme associated with the symmetric pair $(\mathfrak g, \mathfrak g_0)$. In this article, we study the categorical quotient $\mathfrak{C}^d(\mathfrak{g}_1)//{G_0}$ via the Chevalley restriction map. As a consequence we show that the categorical quotient scheme $\mathfrak C^d(\mathfrak g_1)//G_0$ is normal and reduced. As a part of the proof, we describe a generating set for the algebra $k[\mathfrak{g}_1^d]^{G_0}$, which are of independent interest. △ Less

Submitted 9 April, 2022; v1 submitted 10 March, 2022; originally announced March 2022.

Comments: Preliminary version. Comments are welcome. 16 pages

MSC Class: 14L24; 14L30; 20G05

Convex Influences

Authors: Anindya De, Shivam Nadimpalli, Rocco A. Servedio

Abstract: We introduce a new notion of influence for symmetric convex sets over Gaussian space, which we term "convex influence". We show that this new notion of influence shares many of the familiar properties of influences of variables for monotone Boolean functions $f: \{\pm1\}^n \to \{\pm1\}.$ Our main results for convex influences give Gaussian space analogues of many important results on influences… ▽ More We introduce a new notion of influence for symmetric convex sets over Gaussian space, which we term "convex influence". We show that this new notion of influence shares many of the familiar properties of influences of variables for monotone Boolean functions $f: \{\pm1\}^n \to \{\pm1\}.$ Our main results for convex influences give Gaussian space analogues of many important results on influences for monotone Boolean functions. These include (robust) characterizations of extremal functions, the Poincaré inequality, the Kahn-Kalai-Linial theorem, a sharp threshold theorem of Kalai, a stability version of the Kruskal-Katona theorem due to O'Donnell and Wimmer, and some partial results towards a Gaussian space analogue of Friedgut's junta theorem. The proofs of our results for convex influences use very different techniques than the analogous proofs for Boolean influences over $\{\pm1\}^n$. Taken as a whole, our results extend the emerging analogy between symmetric convex sets in Gaussian space and monotone Boolean functions from $\{\pm1\}^n$ to $\{\pm1\}$ △ Less

Submitted 7 September, 2021; originally announced September 2021.

Comments: 32 pages

Approximating Sumset Size

Authors: Anindya De, Shivam Nadimpalli, Rocco A. Servedio

Abstract: Given a subset $A$ of the $n$-dimensional Boolean hypercube $\mathbb{F}_2^n$, the sumset $A+A$ is the set $\{a+a': a, a' \in A\}$ where addition is in $\mathbb{F}_2^n$. Sumsets play an important role in additive combinatorics, where they feature in many central results of the field. The main result of this paper is a sublinear-time algorithm for the problem of sumset size estimation. In more det… ▽ More Given a subset $A$ of the $n$-dimensional Boolean hypercube $\mathbb{F}_2^n$, the sumset $A+A$ is the set $\{a+a': a, a' \in A\}$ where addition is in $\mathbb{F}_2^n$. Sumsets play an important role in additive combinatorics, where they feature in many central results of the field. The main result of this paper is a sublinear-time algorithm for the problem of sumset size estimation. In more detail, our algorithm is given oracle access to (the indicator function of) an arbitrary $A \subseteq \mathbb{F}_2^n$ and an accuracy parameter $ε> 0$, and with high probability it outputs a value $0 \leq v \leq 1$ that is $\pm ε$-close to $\mathrm{Vol}(A' + A')$ for some perturbation $A' \subseteq A$ of $A$ satisfying $\mathrm{Vol}(A \setminus A') \leq ε.$ It is easy to see that without the relaxation of dealing with $A'$ rather than $A$, any algorithm for estimating $\mathrm{Vol}(A+A)$ to any nontrivial accuracy must make $2^{Ω(n)}$ queries. In contrast, we give an algorithm whose query complexity depends only on $ε$ and is completely independent of the ambient dimension $n$. △ Less

Submitted 26 July, 2021; originally announced July 2021.

Comments: 23 pages

Quantitative Correlation Inequalities via Semigroup Interpolation

Authors: Anindya De, Shivam Nadimpalli, Rocco A. Servedio

Abstract: Most correlation inequalities for high-dimensional functions in the literature, such as the Fortuin-Kasteleyn-Ginibre (FKG) inequality and the celebrated Gaussian Correlation Inequality of Royen, are qualitative statements which establish that any two functions of a certain type have non-negative correlation. In this work we give a general approach that can be used to bootstrap many qualitative co… ▽ More Most correlation inequalities for high-dimensional functions in the literature, such as the Fortuin-Kasteleyn-Ginibre (FKG) inequality and the celebrated Gaussian Correlation Inequality of Royen, are qualitative statements which establish that any two functions of a certain type have non-negative correlation. In this work we give a general approach that can be used to bootstrap many qualitative correlation inequalities for functions over product spaces into quantitative statements. The approach combines a new extremal result about power series, proved using complex analysis, with harmonic analysis of functions over product spaces. We instantiate this general approach in several different concrete settings to obtain a range of new and near-optimal quantitative correlation inequalities, including: $\bullet$ A quantitative version of Royen's celebrated Gaussian Correlation Inequality. Royen (2014) confirmed a conjecture, open for 40 years, stating that any two symmetric, convex sets must be non-negatively correlated under any centered Gaussian distribution. We give a lower bound on the correlation in terms of the vector of degree-2 Hermite coefficients of the two convex sets, analogous to the correlation bound for monotone Boolean functions over $\{0,1\}^n$ obtained by Talagrand (1996). $\bullet$ A quantitative version of the well-known FKG inequality for monotone functions over any finite product probability space, generalizing the quantitative correlation bound for monotone Boolean functions over $\{0,1\}^n$ obtained by Talagrand (1996). The only prior generalization of which we are aware is due to Keller (2008, 2009, 2012), which extended Talagrand's result to product distributions over $\{0,1\}^n$. We also give two different quantitative versions of the FKG inequality for monotone functions over the continuous domain $[0,1]^n$, answering a question of Keller (2009). △ Less

Submitted 22 December, 2020; originally announced December 2020.

Comments: 37 pages, conference version to appear in ITCS 2021

Typical representations for level zero Bernstein components of ${\rm GL}_n(F)$

Authors: Santosh Nadimpalli

Abstract: Let $F$ be a non-discrete non-Archimedean locally compact field. In this article for a level zero Bernstein component $s$, we classify those irreducible smooth representations of ${\rm GL}_n{\integers{F}}$ (called typical representations) whose appearance in a smooth irreducible representation $π$ of ${\rm GL}_n{F}$ implies that the cuspidal support of $π$ is $s$. These results extend, for level z… ▽ More Let $F$ be a non-discrete non-Archimedean locally compact field. In this article for a level zero Bernstein component $s$, we classify those irreducible smooth representations of ${\rm GL}_n{\integers{F}}$ (called typical representations) whose appearance in a smooth irreducible representation $π$ of ${\rm GL}_n{F}$ implies that the cuspidal support of $π$ is $s$. These results extend, for level zero representations, the results of Henniart and Paškūnas on cuspidal representations. The results are independent of the characteristic of the base field. △ Less

Submitted 9 August, 2019; originally announced August 2019.

Comments: Appeared in Journal of algebra

Journal ref: Journal of Algebra 469, 1-29, 2017

Generic cuspidal representations of $U(2,1)$

Authors: Santosh Nadimpalli

Abstract: Let $F$ be any non-Archimedean local field with a Galois involution $σ$ and $F_0$ be the fixed field for the action of $σ$. When the residue characteristic of $F_0$ is odd, using the explicit construction of cuspidal representations of classical groups by Stevens, we classify generic cuspidal representations of $U(2,1)(F/F_0)$. Let $F$ be any non-Archimedean local field with a Galois involution $σ$ and $F_0$ be the fixed field for the action of $σ$. When the residue characteristic of $F_0$ is odd, using the explicit construction of cuspidal representations of classical groups by Stevens, we classify generic cuspidal representations of $U(2,1)(F/F_0)$. △ Less

Submitted 9 August, 2019; v1 submitted 11 April, 2019; originally announced April 2019.

Comments: Preliminary version

On typical representations for depth-zero components of split classical groups

Authors: Amiya Kumar Mondal, Santosh Nadimpalli

Abstract: Let ${\bf G}$ be a split classical group over a non-Archimedean local field $F$ with the cardinality of the residue field $q_F>5$. Let $M$ be the group of $F$-points of a Levi factor of a proper $F$-parabolic subgroup of ${\bf G}$. Let $[M, σ_M]_M$ be an inertial class such that $σ_M$ contains a depth-zero Moy--Prasad type of the form $(K_M, τ_M)$, where $K_M$ is a hyperspecial maximal compact sub… ▽ More Let ${\bf G}$ be a split classical group over a non-Archimedean local field $F$ with the cardinality of the residue field $q_F>5$. Let $M$ be the group of $F$-points of a Levi factor of a proper $F$-parabolic subgroup of ${\bf G}$. Let $[M, σ_M]_M$ be an inertial class such that $σ_M$ contains a depth-zero Moy--Prasad type of the form $(K_M, τ_M)$, where $K_M$ is a hyperspecial maximal compact subgroup of $M$. Let $K$ be a hyperspecial maximal compact subgroup of ${\bf G}(F)$ such that $K$ contains $K_M$. In this article, we classify $\mathfrak{s}$-typical representations of $K$. In particular, we show that the $\mathfrak{s}$-typical representations of $K$ are precisely the irreducible subrepresentations of $\ind_J^Kλ$, where $(J, λ)$ is a level-zero $G$-cover of $(K\cap M, τ_M)$. △ Less

Submitted 9 August, 2019; v1 submitted 3 October, 2018; originally announced October 2018.

Comments: To appear in Representation theory of AMS

On extensions of characters of affine pro-$p$ Iwahori--Hecke algebra

Authors: Santosh Nadimpalli

Abstract: Let $K$ be a non-discrete non-Archimedean local field with residue characteristic $p$. Let $G$ be the group of $K$ rational points of a algebraic connected reductive group defined over $K$. In this article we compute the extensions between characters of affine pro-$p$ Iwahori--Hecke algebra $\mathcal{H}^{\text{aff}}$ over an algebraically closed field $R$ of characteristic $p$. In rank one case we… ▽ More Let $K$ be a non-discrete non-Archimedean local field with residue characteristic $p$. Let $G$ be the group of $K$ rational points of a algebraic connected reductive group defined over $K$. In this article we compute the extensions between characters of affine pro-$p$ Iwahori--Hecke algebra $\mathcal{H}^{\text{aff}}$ over an algebraically closed field $R$ of characteristic $p$. In rank one case we deduce the relation between the blocks and $L$-packets. △ Less

Submitted 28 March, 2017; v1 submitted 8 March, 2017; originally announced March 2017.

Comments: 11 pages, minor arguments changed

On Extensions of supersingular representations of ${\rm SL}_2(\mathbb{Q}_p)$

Authors: Santosh Nadimpalli

Abstract: In this note for $p>5$ we calculate the dimensions of ${\rm Ext}^1_{{\rm SL}_2(\mathbb{Q}_p)}(τ, σ)$ for any two irreducible supersingular representations $τ$ and $σ$ of ${\rm SL}_2(\mathbb{Q}_p)$. In this note for $p>5$ we calculate the dimensions of ${\rm Ext}^1_{{\rm SL}_2(\mathbb{Q}_p)}(τ, σ)$ for any two irreducible supersingular representations $τ$ and $σ$ of ${\rm SL}_2(\mathbb{Q}_p)$. △ Less

Submitted 5 December, 2016; originally announced December 2016.

Comments: 9 pages. Preliminary version

On classification of typical representations for ${\rm GL}_3(F)$

Authors: Santosh Nadimpalli

Abstract: Let $F$ be any non-Archimedean local field with residue field of cardinality $q_F$. In this article, we obtain a classification of typical representations for the Bernstein components associated to the inertial classes of the form $[{\rm GL}_n(F)\times F^\times, σ\otimesχ]$ with $q_F>2$, and for the principal series components with $q_F>3$. With this we complete the classification of typical repre… ▽ More Let $F$ be any non-Archimedean local field with residue field of cardinality $q_F$. In this article, we obtain a classification of typical representations for the Bernstein components associated to the inertial classes of the form $[{\rm GL}_n(F)\times F^\times, σ\otimesχ]$ with $q_F>2$, and for the principal series components with $q_F>3$. With this we complete the classification of typical representations for ${\rm GL}_3(F)$, for $q_F>2$. △ Less

Submitted 14 April, 2019; v1 submitted 28 May, 2014; originally announced May 2014.

Comments: Final accepted version