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

Optimal Non-Adaptive Tolerant Junta Testing via Local Estimators

Authors: Shivam Nadimpalli, Shyamal Patel

Abstract: We give a non-adaptive algorithm that makes $2^{\tilde{O}(\sqrt{k\log(1/\varepsilon_2 - \varepsilon_1)})}$ queries to a Boolean function $f:\{\pm 1\}^n \rightarrow \{\pm 1\}$ and distinguishes between $f$ being $\varepsilon_1$-close to some $k$-junta versus $\varepsilon_2$-far from every $k$-junta. At the heart of our algorithm is a local mean estimation procedure for Boolean functions that may be… ▽ More We give a non-adaptive algorithm that makes $2^{\tilde{O}(\sqrt{k\log(1/\varepsilon_2 - \varepsilon_1)})}$ queries to a Boolean function $f:\{\pm 1\}^n \rightarrow \{\pm 1\}$ and distinguishes between $f$ being $\varepsilon_1$-close to some $k$-junta versus $\varepsilon_2$-far from every $k$-junta. At the heart of our algorithm is a local mean estimation procedure for Boolean functions that may be of independent interest. We complement our upper bound with a matching lower bound, improving a recent lower bound obtained by Chen et al. We thus obtain the first tight bounds for a natural property of Boolean functions in the tolerant testing model. △ Less

Submitted 20 April, 2024; originally announced April 2024.

Comments: To appear in STOC 2024

Detecting Low-Degree Truncation

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

Abstract: We consider the following basic, and very broad, statistical problem: Given a known high-dimensional distribution ${\cal D}$ over $\mathbb{R}^n$ and a collection of data points in $\mathbb{R}^n$, distinguish between the two possibilities that (i) the data was drawn from ${\cal D}$, versus (ii) the data was drawn from ${\cal D}|_S$, i.e. from ${\cal D}$ subject to truncation by an unknown truncatio… ▽ More We consider the following basic, and very broad, statistical problem: Given a known high-dimensional distribution ${\cal D}$ over $\mathbb{R}^n$ and a collection of data points in $\mathbb{R}^n$, distinguish between the two possibilities that (i) the data was drawn from ${\cal D}$, versus (ii) the data was drawn from ${\cal D}|_S$, i.e. from ${\cal D}$ subject to truncation by an unknown truncation set $S \subseteq \mathbb{R}^n$. We study this problem in the setting where ${\cal D}$ is a high-dimensional i.i.d. product distribution and $S$ is an unknown degree-$d$ polynomial threshold function (one of the most well-studied types of Boolean-valued function over $\mathbb{R}^n$). Our main results are an efficient algorithm when ${\cal D}$ is a hypercontractive distribution, and a matching lower bound: $\bullet$ For any constant $d$, we give a polynomial-time algorithm which successfully distinguishes ${\cal D}$ from ${\cal D}|_S$ using $O(n^{d/2})$ samples (subject to mild technical conditions on ${\cal D}$ and $S$); $\bullet$ Even for the simplest case of ${\cal D}$ being the uniform distribution over $\{+1, -1\}^n$, we show that for any constant $d$, any distinguishing algorithm for degree-$d$ polynomial threshold functions must use $Ω(n^{d/2})$ samples. △ Less

Submitted 12 February, 2024; originally announced February 2024.

Comments: 36 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 24 January, 2024; originally announced January 2024.

Comments: Preliminary version, comments are welcome

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

Testing Intersecting and Union-Closed Families

Authors: Xi Chen, Anindya De, Yuhao Li, Shivam Nadimpalli, Rocco A. Servedio

Abstract: Inspired by the classic problem of Boolean function monotonicity testing, we investigate the testability of other well-studied properties of combinatorial finite set systems, specifically \emph{intersecting} families and \emph{union-closed} families. A function $f: \{0,1\}^n \to \{0,1\}$ is intersecting (respectively, union-closed) if its set of satisfying assignments corresponds to an intersectin… ▽ More Inspired by the classic problem of Boolean function monotonicity testing, we investigate the testability of other well-studied properties of combinatorial finite set systems, specifically \emph{intersecting} families and \emph{union-closed} families. A function $f: \{0,1\}^n \to \{0,1\}$ is intersecting (respectively, union-closed) if its set of satisfying assignments corresponds to an intersecting family (respectively, a union-closed family) of subsets of $[n]$. Our main results are that -- in sharp contrast with the property of being a monotone set system -- the property of being an intersecting set system, and the property of being a union-closed set system, both turn out to be information-theoretically difficult to test. We show that: $\bullet$ For $ε\geq Ω(1/\sqrt{n})$, any non-adaptive two-sided $ε$-tester for intersectingness must make $2^{Ω(n^{1/4}/\sqrtε)}$ queries. We also give a $2^{Ω(\sqrt{n \log(1/ε)})}$-query lower bound for non-adaptive one-sided $ε$-testers for intersectingness. $\bullet$ For $ε\geq 1/2^{Ω(n^{0.49})}$, any non-adaptive two-sided $ε$-tester for union-closedness must make $n^{Ω(\log(1/ε))}$ queries. Thus, neither intersectingness nor union-closedness shares the $\mathrm{poly}(n,1/ε)$-query non-adaptive testability that is enjoyed by monotonicity. To complement our lower bounds, we also give a simple $\mathrm{poly}(n^{\sqrt{n\log(1/ε)}},1/ε)$-query, one-sided, non-adaptive algorithm for $ε$-testing each of these properties (intersectingness and union-closedness). We thus achieve nearly tight upper and lower bounds for two-sided testing of intersectingness when $ε= Θ(1/\sqrt{n})$, and for one-sided testing of intersectingness when $ε=Θ(1).$ △ Less

Submitted 18 November, 2023; originally announced November 2023.

Comments: To appear in ITCS'24

On the Pauli Spectrum of QAC0

Authors: Shivam Nadimpalli, Natalie Parham, Francisca Vasconcelos, Henry Yuen

Abstract: The circuit class $\mathsf{QAC}^0$ was introduced by Moore (1999) as a model for constant depth quantum circuits where the gate set includes many-qubit Toffoli gates. Proving lower bounds against such circuits is a longstanding challenge in quantum circuit complexity; in particular, showing that polynomial-size $\mathsf{QAC}^0$ cannot compute the parity function has remained an open question for o… ▽ More The circuit class $\mathsf{QAC}^0$ was introduced by Moore (1999) as a model for constant depth quantum circuits where the gate set includes many-qubit Toffoli gates. Proving lower bounds against such circuits is a longstanding challenge in quantum circuit complexity; in particular, showing that polynomial-size $\mathsf{QAC}^0$ cannot compute the parity function has remained an open question for over 20 years. In this work, we identify a notion of the Pauli spectrum of $\mathsf{QAC}^0$ circuits, which can be viewed as the quantum analogue of the Fourier spectrum of classical $\mathsf{AC}^0$ circuits. We conjecture that the Pauli spectrum of $\mathsf{QAC}^0$ circuits satisfies low-degree concentration, in analogy to the famous Linial, Nisan, Mansour theorem on the low-degree Fourier concentration of $\mathsf{AC}^0$ circuits. If true, this conjecture immediately implies that polynomial-size $\mathsf{QAC}^0$ circuits cannot compute parity. We prove this conjecture for the class of depth-$d$, polynomial-size $\mathsf{QAC}^0$ circuits with at most $n^{O(1/d)}$ auxiliary qubits. We obtain new circuit lower bounds and learning results as applications: this class of circuits cannot correctly compute - the $n$-bit parity function on more than $(\frac{1}{2} + 2^{-Ω(n^{1/d})})$-fraction of inputs, and - the $n$-bit majority function on more than $(\frac{1}{2} + O(n^{-1/4}))$-fraction of inputs. Additionally we show that this class of $\mathsf{QAC}^0$ circuits with limited auxiliary qubits can be learned with quasipolynomial sample complexity, giving the first learning result for $\mathsf{QAC}^0$ circuits. More broadly, our results add evidence that "Pauli-analytic" techniques can be a powerful tool in studying quantum circuits. △ Less

Submitted 3 February, 2024; v1 submitted 16 November, 2023; originally announced November 2023.

Comments: 43 pages, 7 figures

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 1 October, 2023; originally announced October 2023.

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

Mildly Exponential Lower Bounds on Tolerant Testers for Monotonicity, Unateness, and Juntas

Authors: Xi Chen, Anindya De, Yuhao Li, Shivam Nadimpalli, Rocco A. Servedio

Abstract: We give the first super-polynomial (in fact, mildly exponential) lower bounds for tolerant testing (equivalently, distance estimation) of monotonicity, unateness, and juntas with a constant separation between the "yes" and "no" cases. Specifically, we give $\bullet$ A $2^{Ω(n^{1/4}/\sqrt{\varepsilon})}$-query lower bound for non-adaptive, two-sided tolerant monotonicity testers and unateness tes… ▽ More We give the first super-polynomial (in fact, mildly exponential) lower bounds for tolerant testing (equivalently, distance estimation) of monotonicity, unateness, and juntas with a constant separation between the "yes" and "no" cases. Specifically, we give $\bullet$ A $2^{Ω(n^{1/4}/\sqrt{\varepsilon})}$-query lower bound for non-adaptive, two-sided tolerant monotonicity testers and unateness testers when the "gap" parameter $\varepsilon_2-\varepsilon_1$ is equal to $\varepsilon$, for any $\varepsilon \geq 1/\sqrt{n}$; $\bullet$ A $2^{Ω(k^{1/2})}$-query lower bound for non-adaptive, two-sided tolerant junta testers when the gap parameter is an absolute constant. In the constant-gap regime no non-trivial prior lower bound was known for monotonicity, the best prior lower bound known for unateness was $\tildeΩ(n^{3/2})$ queries, and the best prior lower bound known for juntas was $\mathrm{poly}(k)$ queries. △ Less

Submitted 21 September, 2023; originally announced September 2023.

Comments: 20 pages, 1 figure

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 4 May, 2023; originally announced May 2023.

Comments: Preliminary version in SODA 2023; the current version includes a strengthened lower bound. 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 17 April, 2023; originally announced April 2023.

Comments: Comments are welcome

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

Testing and Learning Quantum Juntas Nearly Optimally

Authors: Thomas Chen, Shivam Nadimpalli, Henry Yuen

Abstract: We consider the problem of testing and learning quantum $k$-juntas: $n$-qubit unitary matrices which act non-trivially on just $k$ of the $n$ qubits and as the identity on the rest. As our main algorithmic results, we give (a) a $\widetilde{O}(\sqrt{k})$-query quantum algorithm that can distinguish quantum $k$-juntas from unitary matrices that are "far" from every quantum $k$-junta; and (b) a… ▽ More We consider the problem of testing and learning quantum $k$-juntas: $n$-qubit unitary matrices which act non-trivially on just $k$ of the $n$ qubits and as the identity on the rest. As our main algorithmic results, we give (a) a $\widetilde{O}(\sqrt{k})$-query quantum algorithm that can distinguish quantum $k$-juntas from unitary matrices that are "far" from every quantum $k$-junta; and (b) a $O(4^k)$-query algorithm to learn quantum $k$-juntas. We complement our upper bounds for testing quantum $k$-juntas and learning quantum $k$-juntas with near-matching lower bounds of $Ω(\sqrt{k})$ and $Ω(\frac{4^k}{k})$, respectively. Our techniques are Fourier-analytic and make use of a notion of influence of qubits on unitaries. △ Less

Submitted 27 October, 2023; v1 submitted 12 July, 2022; originally announced July 2022.

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 20 August, 2023; v1 submitted 5 April, 2022; originally announced April 2022.

Comments: This paper improves the linkage for generic l-modular representations. Our previous version only considers cuspidal representations

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

Measurement of Volume Changes and Associated Stresses in Ge Electrodes Due to Na/Na$^+$ Redox Reactions

Authors: Subhajit Rakshit, Akshay S. Pakhare, Olivia Ruiz, M. Reza Khoshi, Eric Detsi, Huixin He, Vijay A. Sethuraman, Siva P. V. Nadimpalli

Abstract: In situ electrochemical cells were assembled with an amorphous germanium (a-Ge) film as working electrode and sodium foil as reference and counter electrode. The stresses generated in a-Ge electrodes due to electrochemical reaction with sodium were measured in real-time during the galvanostatic cycling. A specially designed patterned a-Ge electrode was cycled against sodium and the corresponding v… ▽ More In situ electrochemical cells were assembled with an amorphous germanium (a-Ge) film as working electrode and sodium foil as reference and counter electrode. The stresses generated in a-Ge electrodes due to electrochemical reaction with sodium were measured in real-time during the galvanostatic cycling. A specially designed patterned a-Ge electrode was cycled against sodium and the corresponding volume changes were measured using an AFM; it was observed that sodiation/desodiation of a-Ge results in more than 300% volume change, consistent with literature. The potential and stress response showed that the a-Ge film undergoes irreversible changes during the first sodiation process, but the subsequent desodiation/sodiation cycles are reversible. The stress response of the film reached steady-state after the initial sodiation and is qualitatively similar to the response of Ge during lithiation, i.e., initial linear elastic response followed by extensive plastic deformation of the film to accommodate large volume changes. However, despite being bigger ion, sodiation of Ge generated lower stress levels compared to lithiation. Consequently, the mechanical dissipation losses associated with plastic deformation are lower during sodiation process than it is for lithiation. △ Less

Submitted 25 November, 2020; originally announced December 2020.

Comments: 33 pages, 8 figures

Journal ref: Journal of The Electrochemical Society, 168 (1), 010504, 2021

New Fusion Algorithm provides an alternative approach to Robotic Path planning

Authors: Ashutosh Kumar Tiwari, Sandeep Varma Nadimpalli

Abstract: For rapid growth in technology and automation, human tasks are being taken over by robots as robots have proven to be better with both speed and precision. One of the major and widespread usages of these robots is in the industrial businesses, where they are employed to carry massive loads in and around work areas. As these working environments might not be completely localized and could be dynami… ▽ More For rapid growth in technology and automation, human tasks are being taken over by robots as robots have proven to be better with both speed and precision. One of the major and widespread usages of these robots is in the industrial businesses, where they are employed to carry massive loads in and around work areas. As these working environments might not be completely localized and could be dynamically changing, new approaches must be evaluated to guarantee a crash-free way of performing duties. This paper presents a new and efficient fusion algorithm for solving the path planning problem in a custom 2D environment. This fusion algorithm integrates an improved and optimized version of both, A* algorithm and the Artificial potential field method. Firstly, an initial or preliminary path is planned in the environmental model by adopting the A* algorithm. The heuristic function of this A* algorithm is optimized and improved according to the environmental model. This is followed by selecting and saving the key nodes in the initial path. Lastly, on the basis of these saved key nodes, path smoothing is done by artificial potential field method. Our simulation results carried out using Python viz. libraries indicate that the new fusion algorithm is feasible and superior in smoothness performance and can satisfy as a time-efficient and cheaper alternative to conventional A* strategies of path planning. △ Less

Submitted 6 June, 2020; originally announced June 2020.

Comments: 7 pages, 3 figures

Journal ref: International Journal of Information Engineering and Electronic Business(IJIEEB), Vol.12, No.3, pp. 1-7, 2020

Augmented Random Search for Quadcopter Control: An alternative to Reinforcement Learning

Authors: Ashutosh Kumar Tiwari, Sandeep Varma Nadimpalli

Abstract: Model-based reinforcement learning strategies are believed to exhibit more significant sample complexity than model-free strategies to control dynamical systems,such as quadcopters.This belief that Model-based strategies that involve the use of well-trained neural networks for making such high-level decisions always give better performance can be dispelled by making use of Model-free policy search… ▽ More Model-based reinforcement learning strategies are believed to exhibit more significant sample complexity than model-free strategies to control dynamical systems,such as quadcopters.This belief that Model-based strategies that involve the use of well-trained neural networks for making such high-level decisions always give better performance can be dispelled by making use of Model-free policy search methods.This paper proposes the use of a model-free random searching strategy,called Augmented Random Search(ARS),which is a better and faster approach of linear policy training for continuous control tasks like controlling a Quadcopters flight.The method achieves state-of-the-art accuracy by eliminating the use of too much data for the training of neural networks that are present in the previous approaches to the task of Quadcopter control.The paper also highlights the performance results of the searching strategy used for this task in a strategically designed task environment with the help of simulations.Reward collection performance over 1000 episodes and agents behavior in flight for augmented random search is compared with that of the behavior for reinforcement learning state-of-the-art algorithm,called Deep Deterministic policy gradient(DDPG).Our simulations and results manifest that a high variability in performance is observed in commonly used strategies for sample efficiency of such tasks but the built policy network of ARS-Quad can react relatively accurately to step response providing a better performing alternative to reinforcement learning strategies. △ Less

Submitted 28 November, 2019; originally announced November 2019.

Comments: 10 pages. 11 figures, Published in International Journal of Information Technology and Computer Science(IJITCS), http://www.mecs-press.org/ijitcs

Journal ref: IJITCS Vol. 11, No. 11, Nov. 2019 , Page Range. 24-33

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

Effect of Decreasing Cobalt Content on the Electrochemical Properties and Structural Stability of Li_(1-x)Ni_(y)Co_(z)Al_(0.05)O_(2) Type Cathode Materials

Authors: Kamalika Ghatak, Hemant Kumar, Siva Nadimpalli, Dibakar Datta

Abstract: In Lithium ion batteries (LIBs), proper design of cathode materials influences its intercalation behavior, overall cost, structural stability, and its impact on environment. At present, the most common type of cathode materials, NCA , has very high cobalt concentration. Since cobalt is toxic and expensive, the existing design of cathode materials is not cost-effective, and environmentally benign.… ▽ More In Lithium ion batteries (LIBs), proper design of cathode materials influences its intercalation behavior, overall cost, structural stability, and its impact on environment. At present, the most common type of cathode materials, NCA , has very high cobalt concentration. Since cobalt is toxic and expensive, the existing design of cathode materials is not cost-effective, and environmentally benign. However, these immensely important issues have not yet been properly addressed. Therefore, we have performed density functional theory (DFT) calculations to investigate three types of NCA cathode materials NCA_(Co=0.15), NCA_(Co=0.10), NCA_(Co=0.05). Our results show that even if the cobalt concentration is significantly decreased from NCA_(Co=0.15) to NCA_(Co=0.05), variation in intercalation potential and specific capacity is negligible. For example, in case of 50% Li concentration, voltage drop is ~0.12V while change in specific capacity is negligible. Moreover, decrease in cobalt concentration doesn't influence the structural stability. We have also explored the influence of sodium do** on the electrochemical and structural properties of these three structures. Our results provide insight into the design of cathode materials with reduced cobalt concentration, environmentally benign, low-cost cathode materials. △ Less

Submitted 1 April, 2018; v1 submitted 26 April, 2017; originally announced April 2017.

Comments: We want to add more results and re-write the manuscript

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

Investigation of Initial Lithiation of Silicon (100) Using Solid-State 7Li NMR

Authors: Myeonghun Song, Siva P. V. Nadimpalli, Vijay A. Sethuraman, Michael J. Chon, Pradeep R. Guduru, Li-Qiong Wang

Abstract: Structural changes in amorphous LixSi during the initial lithiation of single crystal Si to amorphous LixSi were investigated as a function of Li flux and total charge using solid-state 7Li nuclear magnetic resonance (NMR) spectroscopy. Single crystal (100) Si wafers were used as a model system in this study, as the Li flux could be precisely controlled and uniformly distributed across the surface… ▽ More Structural changes in amorphous LixSi during the initial lithiation of single crystal Si to amorphous LixSi were investigated as a function of Li flux and total charge using solid-state 7Li nuclear magnetic resonance (NMR) spectroscopy. Single crystal (100) Si wafers were used as a model system in this study, as the Li flux could be precisely controlled and uniformly distributed across the surface of the wafer. It was observed that peak shifts in solid-state 7Li NMR spectra varied as a function of the Li flux during the initial lithiation and stayed constant for samples of the same Li flux regardless of the total charge applied to the electrodes. We conclude from these results that the Li concentration in LixSi stays constant for a given flux regardless of the total coulombic charge applied to the electrode. The results from this study help better understand the kinetics, the reaction mechanisms, and the kinetic modeling of chemical reactions at the reaction front during the initial lithiation of Si (100). △ Less

Submitted 8 November, 2015; originally announced November 2015.

Comments: 17 pages, 7 figures

Journal ref: Journal of The Electrochemical Society, 161 (6), A915-A919, 2014

Stress Evolution in Lithium-ion Composite Electrodes during Electrochemical Cycling and Resulting Internal Pressures on the Cell Casing

Authors: Siva P. V. Nadimpalli, Vijay A. Sethuraman, Daniel P. Abraham, Allan F. Bower, Pradeep R. Guduru

Abstract: Composite cathode coatings made of a high energy density layered oxide (Li1.2Ni0.15Mn0.55Co0.1O2, theoretical capacity ~377 mAh/g), polyvinylidene fluoride (PVdF) binder, and electron-conduction additives, were bonded to an elastic substrate. An electrochemical cell, built by pairing the cathode with a capacity-matched graphite anode, was electrochemically cycled and the real-time average stress e… ▽ More Composite cathode coatings made of a high energy density layered oxide (Li1.2Ni0.15Mn0.55Co0.1O2, theoretical capacity ~377 mAh/g), polyvinylidene fluoride (PVdF) binder, and electron-conduction additives, were bonded to an elastic substrate. An electrochemical cell, built by pairing the cathode with a capacity-matched graphite anode, was electrochemically cycled and the real-time average stress evolution in the cathode coating was measured using a substrate-curvature technique. Features in the stress evolution profile showed correlations with phase changes in the oxide, thus yielding data complementary to in situ XRD studies on this material. The stress evolution showed a complex variation with lithium concentration suggesting that the volume changes associated with phase transformations in the oxide are not monotonically varying functions of lithium concentration. The peak tensile stress in the cathode during oxide delithiation was approximately 1.5 MPa and the peak compressive stress during oxide lithiation was about 6 MPa. Stress evolution in the anode coating was also measured separately using the same technique. The measured stresses are used to estimate the internal pressures that develop in a cylindrical lithium-ion cell with jelly-roll electrodes. △ Less

Submitted 8 November, 2015; originally announced November 2015.

Comments: 23 pages, 9 figures

Journal ref: Journal of The Electrochemical Society, 162 (14), A2656-A2663, 2015

Real-time Stress Measurements in Germanium Thin Film Electrodes during Electrochemical Lithiation/delithiation Cycling

Authors: Siva P. V. Nadimpalli, Rajasekhar Tripuraneni, Vijay A. Sethuraman

Abstract: An in situ study of stress evolution and mechanical behavior of germanium as a lithium-ion battery electrode material is presented. Thin films of germanium are cycled in a half-cell configuration with lithium metal foil as counter/reference electrode, with 1M LiPF6 in ethylene carbonate, diethyl carbonate, dimethyl carbonate solution (1:1:1, wt. %) as electrolyte. Real-time stress evolution in the… ▽ More An in situ study of stress evolution and mechanical behavior of germanium as a lithium-ion battery electrode material is presented. Thin films of germanium are cycled in a half-cell configuration with lithium metal foil as counter/reference electrode, with 1M LiPF6 in ethylene carbonate, diethyl carbonate, dimethyl carbonate solution (1:1:1, wt. %) as electrolyte. Real-time stress evolution in the germanium thin-film electrodes during electrochemical lithiation/delithiation is measured by monitoring the substrate curvature using the multi-beam optical sensing method. Upon lithiation a-Ge undergoes extensive plastic deformation, with a peak compressive stress reaching as high as -0.76 +/- 0.05 GPa (mean +/- standard deviation). The compressive stress decreases with lithium concentration reaching a value of approximately -0.3 GPa at the end of lithiation. Upon delithiation the stress quickly became tensile and follows a trend that mirrors the behavior on compressive side; the average peak tensile stress of the lithiated Ge samples was approximately 0.83 GPa. The peak tensile stress data along with the SEM analysis was used to estimate a lower bound fracture resistance of lithiated Ge, which is approximately 5.3 J/m^2. It was also observed that the lithiated Ge is rate sensitive, i.e., stress depends on how fast or slow the charging is carried out. △ Less

Submitted 8 November, 2015; originally announced November 2015.

Comments: 28 pages, 6 figures

Journal ref: Journal of The Electrochemical Society, 162 (14), A2840-A2846, 2015

Pervasive variation of transcription factor orthologs contributes to regulatory network evolution

Authors: Shilpa Nadimpalli, Anton V. Persikov, Mona Singh

Abstract: Differences in transcriptional regulatory networks underlie much of the phenotypic variation observed across organisms. Changes to cis-regulatory elements are widely believed to be the predominant means by which regulatory networks evolve, yet examples of regulatory network divergence due to transcription factor (TF) variation have also been observed. To systematically ascertain the extent to whic… ▽ More Differences in transcriptional regulatory networks underlie much of the phenotypic variation observed across organisms. Changes to cis-regulatory elements are widely believed to be the predominant means by which regulatory networks evolve, yet examples of regulatory network divergence due to transcription factor (TF) variation have also been observed. To systematically ascertain the extent to which TFs contribute to regulatory divergence, we analyzed the evolution of the largest class of metazoan TFs, Cys2-His2 zinc finger (C2H2-ZF) TFs, across 12 Drosophila species spanning ~45 million years of evolution. Remarkably, we uncovered that a significant fraction of all C2H2-ZF 1-to-1 orthologs in flies exhibit variations that can affect their DNA-binding specificities. In addition to loss and recruitment of C2H2-ZF domains, we found diverging DNA-contacting residues in ~47% of domains shared between D. melanogaster and the other fly species. These diverging DNA-contacting residues, found in ~66% of the D. melanogaster C2H2-ZF genes in our analysis and corresponding to ~24% of all annotated D. melanogaster TFs, show evidence of functional constraint: they tend to be conserved across phylogenetic clades and evolve slower than other diverging residues. These same variations were rarely found as polymorphisms within a population of D. melanogaster flies, indicating their rapid fixation. The predicted specificities of these dynamic domains gradually change across phylogenetic distances, suggesting stepwise evolutionary trajectories for TF divergence. Further, whereas proteins with conserved C2H2-ZF domains are enriched in developmental functions, those with varying domains exhibit no functional enrichments. Our work suggests that a subset of highly dynamic and largely unstudied TFs are a likely source of regulatory variation in Drosophila and other metazoans. △ Less

Submitted 1 July, 2014; originally announced July 2014.

Comments: 29 pages, 5 figures, 5 supplemental figures, 3 supplemental tables

Journal ref: PLOS Genetics 11(3): e1005011. 2015

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

Measurement and modeling of the mechanical and electrochemical response of amorphous Si thin film electrodes during cyclic lithiation

Authors: Giovanna Bucci, Siva P. V. Nadimpalli, Vijay A. Sethuraman, Allan F. Bower, Pradeep R. Guduru

Abstract: A combination of experimental measurements and numerical simulations are used to characterize the mechanical and electrochemical response of thin film amorphous Si electrodes during cyclic lithiation. Parameters extracted from the experiment include the variation of elastic modulus and the flow stress as functions of Li concentration; the strain rate sensitivity; the diffusion coefficient for Li t… ▽ More A combination of experimental measurements and numerical simulations are used to characterize the mechanical and electrochemical response of thin film amorphous Si electrodes during cyclic lithiation. Parameters extracted from the experiment include the variation of elastic modulus and the flow stress as functions of Li concentration; the strain rate sensitivity; the diffusion coefficient for Li transport in the electrode; the free energy of mixing as a function of Li concentration in the electrode; the exchange current density for the Lithium insertion reaction; as well as reaction rates and diffusion coefficients characterizing the rate of formation of solid-electrolyte interphase layer at the electrode surface. Model predictions are compared with experimental measurements; and the implications for practical Si based electrodes are discussed. △ Less

Submitted 22 November, 2013; originally announced November 2013.

Comments: 37 pages, 11 figures

Journal ref: Journal of the Mechanics and Physics of Solids, 62, 276-294, 2014

On plastic deformation and fracture in Si films during electrochemical lithiation/delithiation cycling

Authors: Siva P. V. Nadimpalli, Vijay A. Sethuraman, Giovanna Bucci, Venkat Srinivasan, Allan F. Bower, Pradeep R. Guduru

Abstract: An in situ study of deformation, fracture, and fatigue behavior of silicon as a lithium-ion battery electrode material is presented. Thin films (100-200 nm) of silicon are cycled in a half-cell configuration with lithium metal foil as counter/reference electrode, with 1M lithium hexafluorophosphate in ethylene carbonate, diethylene carbonate, dimethyl carbonate solution (1:1:1, wt.%) as electrolyt… ▽ More An in situ study of deformation, fracture, and fatigue behavior of silicon as a lithium-ion battery electrode material is presented. Thin films (100-200 nm) of silicon are cycled in a half-cell configuration with lithium metal foil as counter/reference electrode, with 1M lithium hexafluorophosphate in ethylene carbonate, diethylene carbonate, dimethyl carbonate solution (1:1:1, wt.%) as electrolyte. Stress evolution in the Si thin-film electrodes during electrochemical lithiation and delithiation is measured by monitoring the substrate curvature using the multi-beam optical sensing method. The stress measurements have been corrected for contributions from residual stress arising from sputter-deposition. An indirect method for estimating the potential errors due to formation of the solid-electrolyte-interphase layer and surface charge on the stress measurements was presented. The films undergo extensive inelastic deformation during lithiation and delithiation. The peak compressive stress during lithiation was 1.48 GPa. The stress data along with the electron microscopy observations are used to estimate an upper bound fracture resistance of lithiated Si, which is approximately 9-11 J/m^2. Fracture initiation and crack density evolution as a function of cycle number is also reported. △ Less

Submitted 8 September, 2013; originally announced September 2013.

Comments: 25 pages, 9 figures

Journal ref: Journal of The Electrochemical Society, 160 (10), A1885-A1893, 2013

Stress Evolution in Composite Silicon Electrodes during Lithiation/Delithiation

Authors: Vijay A. Sethuraman, Annam Nguyen, Michael J. Chon, Siva P. V. Nadimpalli, Hailong Wang, Daniel P. Abraham, Allan F. Bower, Vivek B. Shenoy, Pradeep R. Guduru

Abstract: We report real-time average stress measurements on composite silicon electrodes made with two different binders [Carboxymethyl cellulose (CMC), and polyvinylidene fluoride (PVDF)] during electrochemical lithiation and delithiation. During galvanostatic lithiation at very slow rates, the stress in a CMC-based electrode becomes compressive and increases to 70 MPa, where it reaches a plateau and incr… ▽ More We report real-time average stress measurements on composite silicon electrodes made with two different binders [Carboxymethyl cellulose (CMC), and polyvinylidene fluoride (PVDF)] during electrochemical lithiation and delithiation. During galvanostatic lithiation at very slow rates, the stress in a CMC-based electrode becomes compressive and increases to 70 MPa, where it reaches a plateau and increases slowly thereafter with capacity. The PVDF-based electrode exhibits similar behavior, although with lower peak compressive stress of about 12 MPa. These initial experiments indicate that the stress evolution in a Si composite electrode depends strongly on the mechanical properties of the binder. Stress data obtained from a series of lithiation/delithiation cycles suggests plasticity induced irreversible shape changes in contacting Si particles, and as a result, the stress response of the system during any given lithiation/delithiation cycle depends on the cycling history of the electrode. While these results constitute the first in-situ stress measurements on composite Si electrodes during electrochemical cycling, the diagnostic technique described herein can be used to assess the mechanical response of a composite electrode made with other active material/binder combinations. △ Less

Submitted 18 August, 2013; originally announced August 2013.

Comments: 22 pages, 8 figures

Journal ref: Journal of The Electrochemical Society, 160 (4), A739-A746, 2013

Quantifying Capacity Loss due to Solid-Electrolyte-Interphase Layer Formation on Silicon Negative Electrodes in Lithium-ion Batteries

Authors: Siva P. V. Nadimpalli, Vijay A. Sethuraman, Swapnil Dalavi, Brett Lucht, Michael J. Chon, Vivek B. Shenoy, Pradeep R. Guduru

Abstract: Charge lost per unit surface area of a silicon electrode due to the formation of solid-electrolyte-interphase (SEI) layer during initial lithiation was quantified, and the species that constitute this layer were identified. Coin cells made with Si thin-film electrodes were subjected to a combination of galvanostatic and potentiostatic lithiation and delithiation cycles to accurately measure the ca… ▽ More Charge lost per unit surface area of a silicon electrode due to the formation of solid-electrolyte-interphase (SEI) layer during initial lithiation was quantified, and the species that constitute this layer were identified. Coin cells made with Si thin-film electrodes were subjected to a combination of galvanostatic and potentiostatic lithiation and delithiation cycles to accurately measure the capacity lost to SEI-layer formation. While the planar geometry of amorphous thin films allows accurate calculation of surface area, creation of additional surface by cracking was prevented by minimizing the thickness of the Si film. The cycled electrodes were analyzed with X-ray photoelectron spectroscopy to characterize the composition of the SEI layer. The charge lost due to SEI formation measured from coin cell experiments was found to be in good agreement with the first-cycle capacity loss during the initial lithiation of a Si (100) crystal with planar geometry. The methodology presented in this work is expected to provide a useful practical tool for battery-material developers in estimating the expected capacity loss due to first cycle SEI-layer formation and in choosing an appropriate particle size distribution that balances mechanical integrity and the first cycle capacity loss in large volume expansion electrodes for lithium-ion batteries. △ Less

Submitted 24 May, 2012; originally announced May 2012.

Comments: 15 pages, 9 figures; Journal of Power Sources, 2012