Showing 1–50 of 155 results for author: Gupta, S

Effects of Internal Resonance and Dam** on Koopman Modes

Authors: Rahul Das, Anil K. Bajaj, Sayan Gupta

Abstract: This study investigates the nonlinear normal modes (NNMs) of a system comprising of two coupled Duffing oscillators, with one oscillator being grounded and with the coupling being both linear and nonlinear. The study utilizes the eigenfunctions of the Koopman operator and validates their connection with the Shaw-Piere invariant manifold framework for NNMs. Furthermore, the study delves into the im… ▽ More This study investigates the nonlinear normal modes (NNMs) of a system comprising of two coupled Duffing oscillators, with one oscillator being grounded and with the coupling being both linear and nonlinear. The study utilizes the eigenfunctions of the Koopman operator and validates their connection with the Shaw-Piere invariant manifold framework for NNMs. Furthermore, the study delves into the impact of internal resonance and dissipation on the accuracy of this framework by defining a continuous quantitative measure for internal resonance. The applicability and robustness of the framework for the systems which are very similar qualitatively to that of an ENO, are also observed and discussed about the limitations of the approximation technique. △ Less

Submitted 30 June, 2024; originally announced July 2024.

Promise of Graph Sparsification and Decomposition for Noise Reduction in QAOA: Analysis for Trapped-Ion Compilations

Authors: Jai Moondra, Philip C. Lotshaw, Greg Mohler, Swati Gupta

Abstract: We develop new approximate compilation schemes that significantly reduce the expense of compiling the Quantum Approximate Optimization Algorithm (QAOA) for solving the Max-Cut problem. Our main focus is on compilation with trapped-ion simulators using Pauli-$X$ operations and all-to-all Ising Hamiltonian $H_\text{Ising}$ evolution generated by Molmer-Sorensen or optical dipole force interactions,… ▽ More We develop new approximate compilation schemes that significantly reduce the expense of compiling the Quantum Approximate Optimization Algorithm (QAOA) for solving the Max-Cut problem. Our main focus is on compilation with trapped-ion simulators using Pauli-$X$ operations and all-to-all Ising Hamiltonian $H_\text{Ising}$ evolution generated by Molmer-Sorensen or optical dipole force interactions, though some of our results also apply to standard gate-based compilations. Our results are based on principles of graph sparsification and decomposition; the former reduces the number of edges in a graph while maintaining its cut structure, while the latter breaks a weighted graph into a small number of unweighted graphs. Though these techniques have been used as heuristics in various hybrid quantum algorithms, there have been no guarantees on their performance, to the best of our knowledge. This work provides the first provable guarantees using sparsification and decomposition to improve quantum noise resilience and reduce quantum circuit complexity. For quantum hardware that uses edge-by-edge QAOA compilations, sparsification leads to a direct reduction in circuit complexity. For trapped-ion quantum simulators implementing all-to-all $H_\text{Ising}$ pulses, we show that for a $(1-ε)$ factor loss in the Max-Cut approximation ($ε>0)$, our compilations improve the (worst-case) number of $H_\text{Ising}$ pulses from $O(n^2)$ to $O(n\log(n/ε))$ and the (worst-case) number of Pauli-$X$ bit flips from $O(n^2)$ to $O\left(\frac{n\log(n/ε)}{ε^2}\right)$ for $n$-node graphs. We demonstrate significant reductions in noise are obtained in our new compilation approaches using theory and numerical calculations for trapped-ion hardware. We anticipate these approximate compilation techniques will be useful tools in a variety of future quantum computing experiments. △ Less

Submitted 20 June, 2024; originally announced June 2024.

MSC Class: 81P68

Faster Diffusion-based Sampling with Randomized Midpoints: Sequential and Parallel

Authors: Shivam Gupta, Linda Cai, Sitan Chen

Abstract: In recent years, there has been a surge of interest in proving discretization bounds for diffusion models. These works show that for essentially any data distribution, one can approximately sample in polynomial time given a sufficiently accurate estimate of its score functions at different noise levels. In this work, we propose a new discretization scheme for diffusion models inspired by Shen and… ▽ More In recent years, there has been a surge of interest in proving discretization bounds for diffusion models. These works show that for essentially any data distribution, one can approximately sample in polynomial time given a sufficiently accurate estimate of its score functions at different noise levels. In this work, we propose a new discretization scheme for diffusion models inspired by Shen and Lee's randomized midpoint method for log-concave sampling~\cite{ShenL19}. We prove that this approach achieves the best known dimension dependence for sampling from arbitrary smooth distributions in total variation distance ($\widetilde O(d^{5/12})$ compared to $\widetilde O(\sqrt{d})$ from prior work). We also show that our algorithm can be parallelized to run in only $\widetilde O(\log^2 d)$ parallel rounds, constituting the first provable guarantees for parallel sampling with diffusion models. As a byproduct of our methods, for the well-studied problem of log-concave sampling in total variation distance, we give an algorithm and simple analysis achieving dimension dependence $\widetilde O(d^{5/12})$ compared to $\widetilde O(\sqrt{d})$ from prior work. △ Less

Submitted 2 June, 2024; originally announced June 2024.

On the restriction of some irreducible mod-$p$ representations of $\text{GL}_2(\mathbb{F}_q)$ to $\text{GL}_2(\mathbb{F}_p)$

Authors: Shubhanshi Gupta

Abstract: For a prime $p,$ let $\mathbb{F}_q$ be a finite extension of $\mathbb{F}_p$ and $\mathcal{G}=\text{GL}_2(\mathbb{F}_q).$ Then the irreducible representations of $\mathcal{G}$ are classified as twists of Sym$^{\vec{r}}(\overline{\mathbb F}_p^2).$ The restriction of irreducibles of $\mathcal{G}$ to its subgroup $G=\text{GL}_2(\mathbb{F}_p)$ is same as investigating the behavior of the tensor product… ▽ More For a prime $p,$ let $\mathbb{F}_q$ be a finite extension of $\mathbb{F}_p$ and $\mathcal{G}=\text{GL}_2(\mathbb{F}_q).$ Then the irreducible representations of $\mathcal{G}$ are classified as twists of Sym$^{\vec{r}}(\overline{\mathbb F}_p^2).$ The restriction of irreducibles of $\mathcal{G}$ to its subgroup $G=\text{GL}_2(\mathbb{F}_p)$ is same as investigating the behavior of the tensor product of irreducible representations of $G.$ In this paper, we study the restriction of some of these representations of $\mathcal{G}$ to $G,$ for $2$ and $3$ degree extensions of $\mathbb{F}_p.$ △ Less

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

Dominating surface-group representations via Fock-Goncharov coordinates

Authors: Pabitra Barman, Subhojoy Gupta

Abstract: Let $S$ be a punctured surface of negative Euler characteristic. We show that given a generic representation $ρ:π_1(S) \rightarrow \mathrm{PSL}_n(\mathbb{C})$, there exists a positive representation $ρ_0:π_1(S) \rightarrow \mathrm{PSL}_n(\mathbb{R})$ that dominates $ρ$ in the Hilbert length spectrum as well as in the translation length spectrum, for the translation length in the symmetric space… ▽ More Let $S$ be a punctured surface of negative Euler characteristic. We show that given a generic representation $ρ:π_1(S) \rightarrow \mathrm{PSL}_n(\mathbb{C})$, there exists a positive representation $ρ_0:π_1(S) \rightarrow \mathrm{PSL}_n(\mathbb{R})$ that dominates $ρ$ in the Hilbert length spectrum as well as in the translation length spectrum, for the translation length in the symmetric space $\mathbb{X}_n= \mathrm{PSL}_n(\mathbb{C})/\mathrm{PSU}(n)$. Moreover, the $ρ_0$-lengths of peripheral curves remain unchanged. The dominating representation $ρ_0$ is explicitly described via Fock-Goncharov coordinates. Our methods are linear-algebraic, and involve weight matrices of weighted planar networks. △ Less

Submitted 24 May, 2024; originally announced May 2024.

Comments: 39 pages

A geometric characterization of known maximum scattered linear sets of $\mathrm{PG}(1,q^n)$

Authors: Giovanni Giuseppe Grimaldi, Somi Gupta, Giovanni Longobardi, Rocco Trombetti

Abstract: An $\mathbb{F}_q$- linear set $L=L_U$ of $Λ=\mathrm{PG}(V, \mathbb{F}_{q^n}) \cong \mathrm{PG}(r-1,q^n)$ is a set of points defined by non-zero vectors of an $\mathbb{F}_q$-subspace $U$ of $V$. The integer $\dim_{\mathbb{F}_q} U$ is called the rank of $L$. In [G. Lunardon, O. Polverino: Translation ovoids of orthogonal polar spaces. Forum Math. 16 (2004)], it was proven that any $\mathbb{F}_q$-lin… ▽ More An $\mathbb{F}_q$- linear set $L=L_U$ of $Λ=\mathrm{PG}(V, \mathbb{F}_{q^n}) \cong \mathrm{PG}(r-1,q^n)$ is a set of points defined by non-zero vectors of an $\mathbb{F}_q$-subspace $U$ of $V$. The integer $\dim_{\mathbb{F}_q} U$ is called the rank of $L$. In [G. Lunardon, O. Polverino: Translation ovoids of orthogonal polar spaces. Forum Math. 16 (2004)], it was proven that any $\mathbb{F}_q$-linear set $L$ of $Λ$ of rank $u$ such that $\langle L \rangle=Λ$ is either a canonical subgeometry of $Λ$ or there are a $(u-r-1)$-dimensional subspace $Γ$ of $\mathrm{PG}(u-1,q^n) \supset Λ$ disjoint from $Λ$ and a canonical subgeometry $Σ\cong \mathrm{PG}(u-1,q)$ disjoint from $Γ$ such that $L$ is the projection of $Σ$ from $Γ$ onto $Λ$. The subspace $Γ$ is called the vertex of the projection. In this article, we will show a method to reconstruct the vertex $Γ$ for a peculiar class of linear sets of rank $u = n(r - 1)$ in $\mathrm{PG}(r - 1, q^n)$ called evasive linear sets. Also, we will use this result to characterize some families of linear sets of the projective line $\mathrm{PG}(1,q^n)$ introduced from 2018 onward, by means of certain properties of their projection vertices, as done in [B. Csajbók, C. Zanella: On scattered linear sets of pseudoregulus type in $\mathrm{PG}(1, q^t)$, Finite Fields Appl. 41 (2016)] and in [C. Zanella, F. Zullo: Vertex properties of maximum scattered linear sets of $\mathrm{PG}(1, q^n)$. Discrete Math. 343(5) (2020)]. △ Less

Submitted 2 May, 2024; originally announced May 2024.

MSC Class: 51E20; 05B25

Equitably allocating wildfire resilience investments for power grids: The curse of aggregation and vulnerability indices

Authors: Madeleine Pollack, Ryan Piansky, Swati Gupta, Alyssa Kody, Daniel Molzahn

Abstract: Wildfires ignited by power systems infrastructure are among the most destructive wildfires; hence some utility companies in wildfire-prone regions have pursued a proactive policy of emergency power shutoffs. These shutoffs, while mitigating the risk of disastrous ignition events, result in power outages that could negatively impacts vulnerable communities. In this paper, we consider how to equitab… ▽ More Wildfires ignited by power systems infrastructure are among the most destructive wildfires; hence some utility companies in wildfire-prone regions have pursued a proactive policy of emergency power shutoffs. These shutoffs, while mitigating the risk of disastrous ignition events, result in power outages that could negatively impacts vulnerable communities. In this paper, we consider how to equitably allocate funds to underground and effectively de-risk power lines in transmission networks. We explore the impact of the 2021 White House resource allocation policy called the Justice40 initiative, which states that 40% of the benefits of federally-funded climate-related investments should go to socially vulnerable communities. The definition of what constitutes a vulnerable community varies by organization, and we consider two major recently proposed vulnerability indices: the Justice40 index created under the 2021 White House and the Social Vulnerability Index (SVI) developed by the Center for Disease Control and Prevention (CDC). We show that allocating budget according to these two indices fails to reduce power outages for indigenous communities and those subject to high wildfire ignition risk using a high-fidelity synthetic power grid dataset that matches the key features of the Texas transmission system. We discuss how aggregation of communities and "one size fits all" vulnerability indices might be the reasons for the misalignment between the goals of vulnerability indices and their realized impact in this particular case study. We provide a method of achieving an equitable investment plan by adding group-level protections on percentage of load that is shed across each population group of interest. △ Less

Submitted 17 April, 2024; originally announced April 2024.

On harmonic maps from the complex plane to hyperbolic 3-space

Authors: Subhojoy Gupta, Gobinda Sau

Abstract: For any twisted ideal polygon in $\mathbb{H}^3$, we construct a harmonic map from $\mathbb{C}$ to $\mathbb{H}^3$ with a polynomial Hopf differential, that is asymptotic to the given polygon, and is a bounded distance from a pleated plane. Our proof uses the harmonic map heat flow. We also show that such a harmonic map is unique once we prescribe the principal part of its Hopf differential. For any twisted ideal polygon in $\mathbb{H}^3$, we construct a harmonic map from $\mathbb{C}$ to $\mathbb{H}^3$ with a polynomial Hopf differential, that is asymptotic to the given polygon, and is a bounded distance from a pleated plane. Our proof uses the harmonic map heat flow. We also show that such a harmonic map is unique once we prescribe the principal part of its Hopf differential. △ Less

Submitted 11 July, 2024; v1 submitted 9 April, 2024; originally announced April 2024.

Comments: 32 pages, 4 figures -- v2 simplifies the argument in section 3.5.1

MSC Class: 53C43; 58J35

Predictive Inference in Multi-environment Scenarios

Authors: John C. Duchi, Suyash Gupta, Kuanhao Jiang, Pragya Sur

Abstract: We address the challenge of constructing valid confidence intervals and sets in problems of prediction across multiple environments. We investigate two types of coverage suitable for these problems, extending the jackknife and split-conformal methods to show how to obtain distribution-free coverage in such non-traditional, hierarchical data-generating scenarios. Our contributions also include exte… ▽ More We address the challenge of constructing valid confidence intervals and sets in problems of prediction across multiple environments. We investigate two types of coverage suitable for these problems, extending the jackknife and split-conformal methods to show how to obtain distribution-free coverage in such non-traditional, hierarchical data-generating scenarios. Our contributions also include extensions for settings with non-real-valued responses and a theory of consistency for predictive inference in these general problems. We demonstrate a novel resizing method to adapt to problem difficulty, which applies both to existing approaches for predictive inference with hierarchical data and the methods we develop; this reduces prediction set sizes using limited information from the test environment, a key to the methods' practical performance, which we evaluate through neurochemical sensing and species classification datasets. △ Less

Submitted 24 March, 2024; originally announced March 2024.

Discrete functional inequalities on lattice graphs

Authors: Shubham Gupta

Abstract: In this thesis, we study problems at the interface of analysis and discrete mathematics. We discuss analogues of well known Hardy-type inequalities and Rearrangement inequalities on the lattice graphs $\mathbb{Z}^d$, with a particular focus on behaviour of sharp constants and optimizers.In the first half of the thesis, we analyse Hardy inequalities on $\mathbb{Z}^d$, first for $d=1$ and then for… ▽ More In this thesis, we study problems at the interface of analysis and discrete mathematics. We discuss analogues of well known Hardy-type inequalities and Rearrangement inequalities on the lattice graphs $\mathbb{Z}^d$, with a particular focus on behaviour of sharp constants and optimizers.In the first half of the thesis, we analyse Hardy inequalities on $\mathbb{Z}^d$, first for $d=1$ and then for $d \geq 3$. We prove a sharp weighted Hardy inequality on integers with power weights of the form $n^α$. This is done via two different methods, namely super-solution and Fourier method. We also use Fourier method to prove a weighted Hardy type inequality for higher order operators. After discussing the one dimensional case, we study the Hardy inequality in higher dimensions ($d \geq 3$). In particular, we compute the asymptotic behaviour of the sharp constant in the discrete Hardy inequality, as $d \rightarrow \infty$. This is done by converting the inequality into a continuous Hardy-type inequality on a torus for functions having zero average. These continuous inequalities are new and interesting in themselves. In the second half, we focus our attention on analogues of Rearrangement inequalities on lattice graphs. We begin by analysing the situation in dimension one. We define various notions of rearrangements and prove the corresponding Polya-Szegő inequality. These inequalities are also applied to prove some weighted Hardy inequalities on integers. Finally, we study Rearrangement inequalities (Polya-Szegő) on general graphs, with a particular focus on lattice graphs $\mathbb{Z}^d$, for $d \geq 2$. We develop a framework to study these inequalities, using which we derive concrete results in dimension two. In particular, these results develop connections between Polya-Szegő inequality and various isoperimetric inequalities on graphs. △ Less

Submitted 15 March, 2024; originally announced March 2024.

Comments: PhD thesis, Imperial College London, 140 pages

Diffusion Posterior Sampling is Computationally Intractable

Authors: Shivam Gupta, Ajil Jalal, Aditya Parulekar, Eric Price, Zhiyang Xun

Abstract: Diffusion models are a remarkably effective way of learning and sampling from a distribution $p(x)$. In posterior sampling, one is also given a measurement model $p(y \mid x)$ and a measurement $y$, and would like to sample from $p(x \mid y)$. Posterior sampling is useful for tasks such as inpainting, super-resolution, and MRI reconstruction, so a number of recent works have given algorithms to he… ▽ More Diffusion models are a remarkably effective way of learning and sampling from a distribution $p(x)$. In posterior sampling, one is also given a measurement model $p(y \mid x)$ and a measurement $y$, and would like to sample from $p(x \mid y)$. Posterior sampling is useful for tasks such as inpainting, super-resolution, and MRI reconstruction, so a number of recent works have given algorithms to heuristically approximate it; but none are known to converge to the correct distribution in polynomial time. In this paper we show that posterior sampling is \emph{computationally intractable}: under the most basic assumption in cryptography -- that one-way functions exist -- there are instances for which \emph{every} algorithm takes superpolynomial time, even though \emph{unconditional} sampling is provably fast. We also show that the exponential-time rejection sampling algorithm is essentially optimal under the stronger plausible assumption that there are one-way functions that take exponential time to invert. △ Less

Submitted 20 February, 2024; originally announced February 2024.

Affine vector space partitions and spreads of quadrics

Authors: Somi Gupta, Francesco Pavese

Abstract: An affine spread is a set of subspaces of $\mathrm{AG}(n, q)$ of the same dimension that partitions the points of $\mathrm{AG}(n, q)$. Equivalently, an {\em affine spread} is a set of projective subspaces of $\mathrm{PG}(n, q)$ of the same dimension which partitions the points of $\mathrm{PG}(n, q) \setminus H_{\infty}$; here $H_{\infty}$ denotes the hyperplane at infinity of the projective closur… ▽ More An affine spread is a set of subspaces of $\mathrm{AG}(n, q)$ of the same dimension that partitions the points of $\mathrm{AG}(n, q)$. Equivalently, an {\em affine spread} is a set of projective subspaces of $\mathrm{PG}(n, q)$ of the same dimension which partitions the points of $\mathrm{PG}(n, q) \setminus H_{\infty}$; here $H_{\infty}$ denotes the hyperplane at infinity of the projective closure of $\mathrm{AG}(n, q)$. Let $\mathcal{Q}$ be a non degenerate quadric of $H_\infty$ and let $Π$ be a generator of $\mathcal{Q}$, where $Π$ is a $t$-dimensional projective subspace. An affine spread $\mathcal{P}$ consisting of $(t+1)$-dimensional projective subspaces of $\mathrm{PG}(n, q)$ is called hyperbolic, parabolic or elliptic (according as $\mathcal{Q}$ is hyperbolic, parabolic or elliptic) if the following hold: each member of $\mathcal{P}$ meets $H_\infty$ in a distinct generator of $\mathcal{Q}$ disjoint from $Π$; elements of $\mathcal{P}$ have at most one point in common; if $S, T \in \mathcal{P}$, $|S \cap T| = 1$, then $\langle S, T \rangle \cap \mathcal{Q}$ is a hyperbolic quadric of $\mathcal{Q}$. In this note it is shown that a hyperbolic, parabolic or elliptic affine spread of $\mathrm{PG}(n, q)$ is equivalent to a spread of $\mathcal{Q}^+(n+1, q)$, $\mathcal{Q}(n+1, q)$ or $\mathcal{Q}^-(n+1, q)$, respectively. △ Less

Submitted 12 February, 2024; originally announced February 2024.

On Fractional derivative of Hurwitz Zeta function and Jacobi Theta function

Authors: Ashish Mor, Surbhi Gupta, Manju Kashyap

Abstract: This research paper focuses on exploring two Complex-valued function's fractional derivative, specifically the Hurwitz Zeta function and Jacobi theta function. The study is based on the Complex Generalization of Grunwald-Letnikov Fractional derivative which adheres to the generalized version of the Leibniz rule. Within this paper, we present and establish an identity that serves as a Generalizatio… ▽ More This research paper focuses on exploring two Complex-valued function's fractional derivative, specifically the Hurwitz Zeta function and Jacobi theta function. The study is based on the Complex Generalization of Grunwald-Letnikov Fractional derivative which adheres to the generalized version of the Leibniz rule. Within this paper, we present and establish an identity that serves as a Generalization of the Hurwitz Zeta function's Functional Equation. Additionally, we derive the Jacobi Theta function's Functional Equation, accompanied by a comprehensive examination of the properties associated with the Fractional derivative of these two functions. △ Less

Submitted 25 June, 2024; v1 submitted 28 December, 2023; originally announced December 2023.

Comments: 19 pages, Few Typos Have been Corrected

MSC Class: 26A33; 32A15; 11F27; 11M35; 34K37

A Flexible Gradient Tracking Algorithmic Framework for Decentralized Optimization

Authors: Albert S. Berahas, Raghu Bollapragada, Shagun Gupta

Abstract: In decentralized optimization over networks, each node in the network has a portion of the global objective function and the aim is to collectively optimize this function. Gradient tracking methods have emerged as a popular alternative for solving such problems due to their strong theoretical guarantees and robust empirical performance. These methods perform two operations (steps) at each iteratio… ▽ More In decentralized optimization over networks, each node in the network has a portion of the global objective function and the aim is to collectively optimize this function. Gradient tracking methods have emerged as a popular alternative for solving such problems due to their strong theoretical guarantees and robust empirical performance. These methods perform two operations (steps) at each iteration: (1) compute local gradients at each node, and (2) communicate local information with neighboring nodes. The complexity of these two steps can vary significantly across applications. In this work, we present a flexible gradient tracking algorithmic framework designed to balance the composition of communication and computation steps over the optimization process using a randomized scheme. The proposed framework is general, unifies gradient tracking methods, and recovers classical gradient tracking methods as special cases. We establish convergence guarantees in expectation and illustrate how the complexity of communication and computation steps can be balanced using the provided flexibility. Finally, we illustrate the performance of the proposed methods on quadratic and logistic regression problems, and compare against popular algorithms from the literature. △ Less

Submitted 11 December, 2023; originally announced December 2023.

Comments: 36 pages, 7 figures, 1 table

MSC Class: 49M05; 49M37; 65K05; 90C06; 90C25; 90C30; 90C35

Quantum Optimization: Potential, Challenges, and the Path Forward

Authors: Amira Abbas, Andris Ambainis, Brandon Augustino, Andreas Bärtschi, Harry Buhrman, Carleton Coffrin, Giorgio Cortiana, Vedran Dunjko, Daniel J. Egger, Bruce G. Elmegreen, Nicola Franco, Filippo Fratini, Bryce Fuller, Julien Gacon, Constantin Gonciulea, Sander Gribling, Swati Gupta, Stuart Hadfield, Raoul Heese, Gerhard Kircher, Thomas Kleinert, Thorsten Koch, Georgios Korpas, Steve Lenk, Jakub Marecek , et al. (21 additional authors not shown)

Abstract: Recent advances in quantum computers are demonstrating the ability to solve problems at a scale beyond brute force classical simulation. As such, a widespread interest in quantum algorithms has developed in many areas, with optimization being one of the most pronounced domains. Across computer science and physics, there are a number of algorithmic approaches, often with little linkage. This is fur… ▽ More Recent advances in quantum computers are demonstrating the ability to solve problems at a scale beyond brute force classical simulation. As such, a widespread interest in quantum algorithms has developed in many areas, with optimization being one of the most pronounced domains. Across computer science and physics, there are a number of algorithmic approaches, often with little linkage. This is further complicated by the fragmented nature of the field of mathematical optimization, where major classes of optimization problems, such as combinatorial optimization, convex optimization, non-convex optimization, and stochastic extensions, have devoted communities. With these aspects in mind, this work draws on multiple approaches to study quantum optimization. Provably exact versus heuristic settings are first explained using computational complexity theory - highlighting where quantum advantage is possible in each context. Then, the core building blocks for quantum optimization algorithms are outlined to subsequently define prominent problem classes and identify key open questions that, if answered, will advance the field. The effects of scaling relevant problems on noisy quantum devices are also outlined in detail, alongside meaningful benchmarking problems. We underscore the importance of benchmarking by proposing clear metrics to conduct appropriate comparisons with classical optimization techniques. Lastly, we highlight two domains - finance and sustainability - as rich sources of optimization problems that could be used to benchmark, and eventually validate, the potential real-world impact of quantum optimization. △ Less

Submitted 4 December, 2023; originally announced December 2023.

Comments: 70 pages, 9 Figures, 4 Tables

Meromorphic Projective Structures: Signed Spaces, Grafting and Monodromy

Authors: Spandan Ghosh, Subhojoy Gupta

Abstract: A meromorphic quadratic differential on a compact Riemann surface defines a complex projective structure away from the poles via the Schwarzian equation. In this article we first prove the analogue of Thurston's Grafting Theorem for the space of such structures with signings at regular singularities. This extends previous work of Gupta-Mj which only considered irregular singularities. We also defi… ▽ More A meromorphic quadratic differential on a compact Riemann surface defines a complex projective structure away from the poles via the Schwarzian equation. In this article we first prove the analogue of Thurston's Grafting Theorem for the space of such structures with signings at regular singularities. This extends previous work of Gupta-Mj which only considered irregular singularities. We also define a framed monodromy map from the signed space extending work of Allegretti-Bridgeland, and we characterize the PSL(2,C)-representations that arise as holonomy, generalizing results of Gupta-Mj and Faraco-Gupta. As an application of our Grafting Theorem, we also show that the monodromy map to the moduli space of framed representations (as introduced by Fock-Goncharov) is a local biholomorphism, proving a conjectured analogue of a result of Hejhal. △ Less

Submitted 24 November, 2023; originally announced November 2023.

Comments: 40 pages, 7 figures

MSC Class: 30F30; 57M50

Improved Sample Complexity Bounds for Diffusion Model Training

Authors: Shivam Gupta, Aditya Parulekar, Eric Price, Zhiyang Xun

Abstract: Diffusion models have become the most popular approach to deep generative modeling of images, largely due to their empirical performance and reliability. From a theoretical standpoint, a number of recent works~\cite{chen2022,chen2022improved,benton2023linear} have studied the iteration complexity of sampling, assuming access to an accurate diffusion model. In this work, we focus on understanding t… ▽ More Diffusion models have become the most popular approach to deep generative modeling of images, largely due to their empirical performance and reliability. From a theoretical standpoint, a number of recent works~\cite{chen2022,chen2022improved,benton2023linear} have studied the iteration complexity of sampling, assuming access to an accurate diffusion model. In this work, we focus on understanding the \emph{sample complexity} of training such a model; how many samples are needed to learn an accurate diffusion model using a sufficiently expressive neural network? Prior work~\cite{BMR20} showed bounds polynomial in the dimension, desired Total Variation error, and Wasserstein error. We show an \emph{exponential improvement} in the dependence on Wasserstein error and depth, along with improved dependencies on other relevant parameters. △ Less

Submitted 8 June, 2024; v1 submitted 22 November, 2023; originally announced November 2023.

Beyond Catoni: Sharper Rates for Heavy-Tailed and Robust Mean Estimation

Authors: Shivam Gupta, Samuel B. Hopkins, Eric Price

Abstract: We study the fundamental problem of estimating the mean of a $d$-dimensional distribution with covariance $Σ\preccurlyeq σ^2 I_d$ given $n$ samples. When $d = 1$, \cite{catoni} showed an estimator with error $(1+o(1)) \cdot σ\sqrt{\frac{2 \log \frac{1}δ}{n}}$, with probability $1 - δ$, matching the Gaussian error rate. For $d>1$, a natural estimator outputs the center of the minimum enclosing ball… ▽ More We study the fundamental problem of estimating the mean of a $d$-dimensional distribution with covariance $Σ\preccurlyeq σ^2 I_d$ given $n$ samples. When $d = 1$, \cite{catoni} showed an estimator with error $(1+o(1)) \cdot σ\sqrt{\frac{2 \log \frac{1}δ}{n}}$, with probability $1 - δ$, matching the Gaussian error rate. For $d>1$, a natural estimator outputs the center of the minimum enclosing ball of one-dimensional confidence intervals to achieve a $1-δ$ confidence radius of $\sqrt{\frac{2 d}{d+1}} \cdot σ\left(\sqrt{\frac{d}{n}} + \sqrt{\frac{2 \log \frac{1}δ}{n}}\right)$, incurring a $\sqrt{\frac{2d}{d+1}}$-factor loss over the Gaussian rate. When the $\sqrt{\frac{d}{n}}$ term dominates by a $\sqrt{\log \frac{1}δ}$ factor, \cite{lee2022optimal-highdim} showed an improved estimator matching the Gaussian rate. This raises a natural question: Is the $\sqrt{\frac{2 d}{d+1}}$ loss \emph{necessary} when the $\sqrt{\frac{2 \log \frac{1}δ}{n}}$ term dominates? We show that the answer is \emph{no} -- we construct an estimator that improves over the above naive estimator by a constant factor. We also consider robust estimation, where an adversary is allowed to corrupt an $ε$-fraction of samples arbitrarily: in this case, we show that the above strategy of combining one-dimensional estimates and incurring the $\sqrt{\frac{2d}{d+1}}$-factor \emph{is} optimal in the infinite-sample limit. △ Less

Submitted 17 February, 2024; v1 submitted 21 November, 2023; originally announced November 2023.

Neighbour Sum Patterns : Chessboards to Toroidal Worlds

Authors: Sayan Dutta, Ayanava Mandal, Sohom Gupta, Sourin Chatterjee

Abstract: We say that a chessboard filled with integer entries satisfies the neighbour-sum property if the number appearing on each cell is the sum of entries in its neighbouring cells, where neighbours are cells sharing a common edge or vertex. We show that an $n\times n$ chessboard satisfies this property if and only if $n\equiv 5\pmod 6$. Existence of solutions is further investigated of rectangular, tor… ▽ More We say that a chessboard filled with integer entries satisfies the neighbour-sum property if the number appearing on each cell is the sum of entries in its neighbouring cells, where neighbours are cells sharing a common edge or vertex. We show that an $n\times n$ chessboard satisfies this property if and only if $n\equiv 5\pmod 6$. Existence of solutions is further investigated of rectangular, toroidal boards, as well as on Neumann neighbourhoods, including a nice connection to discrete harmonic functions. Construction of solutions on infinite boards are also presented. Finally, answers to three dimensional analogues of these boards are explored using properties of cyclotomic polynomials and relevant ideas conjectured. △ Less

Submitted 6 October, 2023; originally announced October 2023.

MSC Class: 11C20; 39A06; 12H99; 15B05

High Fidelity Fast Simulation of Human in the Loop Human in the Plant (HIL-HIP) Systems

Authors: Ayan Banerjee, Payal Kamboj, Aranyak Maity, Riya Sudhakar Salian, Sandeep K. S. Gupta

Abstract: Non-linearities in simulation arise from the time variance in wireless mobile networks when integrated with human in the loop, human in the plant (HIL-HIP) physical systems under dynamic contexts, leading to simulation slowdown. Time variance is handled by deriving a series of piece wise linear time invariant simulations (PLIS) in intervals, which are then concatenated in time domain. In this pape… ▽ More Non-linearities in simulation arise from the time variance in wireless mobile networks when integrated with human in the loop, human in the plant (HIL-HIP) physical systems under dynamic contexts, leading to simulation slowdown. Time variance is handled by deriving a series of piece wise linear time invariant simulations (PLIS) in intervals, which are then concatenated in time domain. In this paper, we conduct a formal analysis of the impact of discretizing time-varying components in wireless network-controlled HIL-HIP systems on simulation accuracy and speedup, and evaluate trade-offs with reliable guarantees. We develop an accurate simulation framework for an artificial pancreas wireless network system that controls blood glucose in Type 1 Diabetes patients with time varying properties such as physiological changes associated with psychological stress and meal patterns. PLIS approach achieves accurate simulation with greater than 2.1 times speedup than a non-linear system simulation for the given dataset. △ Less

Submitted 10 September, 2023; originally announced September 2023.

Comments: To appear in ACM MSWIM 2023

Energy-optimal Timetable Design for Sustainable Metro Railway Networks

Authors: Shuvomoy Das Gupta, Bart P. G. Van Parys, J. Kevin Tobin

Abstract: We present our collaboration with Thales Canada Inc, the largest provider of communication-based train control (CBTC) systems worldwide. We study the problem of designing energy-optimal timetables in metro railway networks to minimize the effective energy consumption of the network, which corresponds to simultaneously minimizing total energy consumed by all the trains and maximizing the transfer o… ▽ More We present our collaboration with Thales Canada Inc, the largest provider of communication-based train control (CBTC) systems worldwide. We study the problem of designing energy-optimal timetables in metro railway networks to minimize the effective energy consumption of the network, which corresponds to simultaneously minimizing total energy consumed by all the trains and maximizing the transfer of regenerative braking energy from suitable braking trains to accelerating trains. We propose a novel data-driven linear programming model that minimizes the total effective energy consumption in a metro railway network, capable of computing the optimal timetable in real-time, even for some of the largest CBTC systems in the world. In contrast with existing works, which are either NP-hard or involve multiple stages requiring extensive simulation, our model is a single linear programming model capable of computing the energy-optimal timetable subject to the constraints present in the railway network. Furthermore, our model can predict the total energy consumption of the network without requiring time-consuming simulations, making it suitable for widespread use in managerial settings. We apply our model to Shanghai Railway Network's Metro Line 8 -- one of the largest and busiest railway services in the world -- and empirically demonstrate that our model computes energy-optimal timetables for thousands of active trains spanning an entire service period of one day in real-time (solution time less than one second on a standard desktop), achieving energy savings between approximately 20.93% and 28.68%. Given the compelling advantages, our model is in the process of being integrated into Thales Canada Inc's industrial timetable compiler. △ Less

Submitted 2 January, 2024; v1 submitted 11 September, 2023; originally announced September 2023.

Comments: 22 pages, 8 figures, 2 tables

Simple loop conjecture for discrete representations in PSL$(2,\,\mathbb R)$

Authors: Gianluca Faraco, Subhojoy Gupta

Abstract: We show that the Simple Loop Conjecture holds for any representation $ρ\colonπ_1(S)\longrightarrow \text{PSL}(2,\,\mathbb R)$ that is discrete but not faithful. That is, we show the existence of a simple closed curve in the kernel of such a representation. We show that the Simple Loop Conjecture holds for any representation $ρ\colonπ_1(S)\longrightarrow \text{PSL}(2,\,\mathbb R)$ that is discrete but not faithful. That is, we show the existence of a simple closed curve in the kernel of such a representation. △ Less

Submitted 22 July, 2023; originally announced July 2023.

Comments: 9 pages, no figures. Comments are welcome!

Uncertainty Informed Optimal Resource Allocation with Gaussian Process based Bayesian Inference

Authors: Samarth Gupta, Saurabh Amin

Abstract: We focus on the problem of uncertainty informed allocation of medical resources (vaccines) to heterogeneous populations for managing epidemic spread. We tackle two related questions: (1) For a compartmental ordinary differential equation (ODE) model of epidemic spread, how can we estimate and integrate parameter uncertainty into resource allocation decisions? (2) How can we computationally handle… ▽ More We focus on the problem of uncertainty informed allocation of medical resources (vaccines) to heterogeneous populations for managing epidemic spread. We tackle two related questions: (1) For a compartmental ordinary differential equation (ODE) model of epidemic spread, how can we estimate and integrate parameter uncertainty into resource allocation decisions? (2) How can we computationally handle both nonlinear ODE constraints and parameter uncertainties for a generic stochastic optimization problem for resource allocation? To the best of our knowledge current literature does not fully resolve these questions. Here, we develop a data-driven approach to represent parameter uncertainty accurately and tractably in a novel stochastic optimization problem formulation. We first generate a tractable scenario set by estimating the distribution on ODE model parameters using Bayesian inference with Gaussian processes. Next, we develop a parallelized solution algorithm that accounts for scenario-dependent nonlinear ODE constraints. Our scenario-set generation procedure and solution approach are flexible in that they can handle any compartmental epidemiological ODE model. Our computational experiments on two different non-linear ODE models (SEIR and SEPIHR) indicate that accounting for uncertainty in key epidemiological parameters can improve the efficacy of time-critical allocation decisions by 4-8%. This improvement can be attributed to data-driven and optimal (strategic) nature of vaccine allocations, especially in the early stages of the epidemic when the allocation strategy can crucially impact the long-term trajectory of the disease. △ Less

Submitted 29 June, 2023; originally announced July 2023.

Finite-Sample Symmetric Mean Estimation with Fisher Information Rate

Authors: Shivam Gupta, Jasper C. H. Lee, Eric Price

Abstract: The mean of an unknown variance-$σ^2$ distribution $f$ can be estimated from $n$ samples with variance $\frac{σ^2}{n}$ and nearly corresponding subgaussian rate. When $f$ is known up to translation, this can be improved asymptotically to $\frac{1}{n\mathcal I}$, where $\mathcal I$ is the Fisher information of the distribution. Such an improvement is not possible for general unknown $f$, but [Stone… ▽ More The mean of an unknown variance-$σ^2$ distribution $f$ can be estimated from $n$ samples with variance $\frac{σ^2}{n}$ and nearly corresponding subgaussian rate. When $f$ is known up to translation, this can be improved asymptotically to $\frac{1}{n\mathcal I}$, where $\mathcal I$ is the Fisher information of the distribution. Such an improvement is not possible for general unknown $f$, but [Stone, 1975] showed that this asymptotic convergence $\textit{is}$ possible if $f$ is $\textit{symmetric}$ about its mean. Stone's bound is asymptotic, however: the $n$ required for convergence depends in an unspecified way on the distribution $f$ and failure probability $δ$. In this paper we give finite-sample guarantees for symmetric mean estimation in terms of Fisher information. For every $f, n, δ$ with $n > \log \frac{1}δ$, we get convergence close to a subgaussian with variance $\frac{1}{n \mathcal I_r}$, where $\mathcal I_r$ is the $r$-$\textit{smoothed}$ Fisher information with smoothing radius $r$ that decays polynomially in $n$. Such a bound essentially matches the finite-sample guarantees in the known-$f$ setting. △ Less

Submitted 28 June, 2023; originally announced June 2023.

Comments: COLT 2023

[Re] Double Sampling Randomized Smoothing

Authors: Aryan Gupta, Sarthak Gupta, Abhay Kumar, Harsh Dugar

Abstract: This paper is a contribution to the reproducibility challenge in the field of machine learning, specifically addressing the issue of certifying the robustness of neural networks (NNs) against adversarial perturbations. The proposed Double Sampling Randomized Smoothing (DSRS) framework overcomes the limitations of existing methods by using an additional smoothing distribution to improve the robustn… ▽ More This paper is a contribution to the reproducibility challenge in the field of machine learning, specifically addressing the issue of certifying the robustness of neural networks (NNs) against adversarial perturbations. The proposed Double Sampling Randomized Smoothing (DSRS) framework overcomes the limitations of existing methods by using an additional smoothing distribution to improve the robustness certification. The paper provides a clear manifestation of DSRS for a generalized family of Gaussian smoothing and a computationally efficient method for implementation. The experiments on MNIST and CIFAR-10 demonstrate the effectiveness of DSRS, consistently certifying larger robust radii compared to other methods. Also various ablations studies are conducted to further analyze the hyperparameters and effect of adversarial training methods on the certified radius by the proposed framework. △ Less

Submitted 27 June, 2023; originally announced June 2023.

Hardy inequalities for antisymmetric functions

Authors: Shubham Gupta

Abstract: We study Hardy inequalities for antisymmetric functions in three different settings: euclidean space, torus and the integer lattice. In particular, we show that under the antisymmetric condition the sharp constant in Hardy inequality increases substantially and grows as d^4 as d \rightarrow \infty in all cases. As a side product, we prove Hardy inequality on a domain whose boundary forms a corner… ▽ More We study Hardy inequalities for antisymmetric functions in three different settings: euclidean space, torus and the integer lattice. In particular, we show that under the antisymmetric condition the sharp constant in Hardy inequality increases substantially and grows as d^4 as d \rightarrow \infty in all cases. As a side product, we prove Hardy inequality on a domain whose boundary forms a corner at the point of singularity x=0. △ Less

Submitted 1 June, 2023; originally announced June 2023.

Comments: 20 pages

MSC Class: 39B62; 26D10; 35A23

Computer-Assisted Design of Accelerated Composite Optimization Methods: OptISTA

Authors: Uijeong Jang, Shuvomoy Das Gupta, Ernest K. Ryu

Abstract: The accelerated composite optimization method FISTA (Beck, Teboulle 2009) is suboptimal, and we present a new method OptISTA that improves upon it by a factor of 2. The performance estimation problem (PEP) has recently been introduced as a new computer-assisted paradigm for designing optimal first-order methods, but the methodology was largely limited to unconstrained optimization with a single fu… ▽ More The accelerated composite optimization method FISTA (Beck, Teboulle 2009) is suboptimal, and we present a new method OptISTA that improves upon it by a factor of 2. The performance estimation problem (PEP) has recently been introduced as a new computer-assisted paradigm for designing optimal first-order methods, but the methodology was largely limited to unconstrained optimization with a single function. In this work, we present a novel double-function stepsize-optimization PEP methodology that poses the optimization over fixed-step first-order methods for composite optimization as a finite-dimensional nonconvex QCQP, which can be practically solved through spatial branch-and-bound algorithms, and use it to design the exact optimal method OptISTA for the composite optimization setup. We then establish the exact optimality of OptISTA with a novel lower-bound construction that extends the semi-interpolated zero-chain construction (Drori, Taylor 2022) to the double-function setup of composite optimization. By establishing exact optimality, our work concludes the search for the fastest first-order methods for the proximal, projected-gradient, and proximal-gradient setups. △ Less

Submitted 1 November, 2023; v1 submitted 25 May, 2023; originally announced May 2023.

Comments: 54 pages. There are two major changes. 1. In our prior submission, the method termed "OPM" was identified as existing work. Consequently, we have made appropriate modifications to the manuscript. 2. The proof for Theorem 1 has been replaced with an alternative proof (Section 2.2 and Appendix C), which we believe is more intuitive

Extremal Results on Conflict-free Coloring

Authors: Sriram Bhyravarapu, Shiwali Gupta, Subrahmanyam Kalyanasundaram, Rogers Mathew

Abstract: A conflict-free open neighborhood coloring of a graph is an assignment of colors to the vertices such that for every vertex there is a color that appears exactly once in its open neighborhood. For a graph $G$, the smallest number of colors required for such a coloring is called the conflict-free open neighborhood (CFON) chromatic number and is denoted by $χ_{ON}(G)$. By considering closed neighbor… ▽ More A conflict-free open neighborhood coloring of a graph is an assignment of colors to the vertices such that for every vertex there is a color that appears exactly once in its open neighborhood. For a graph $G$, the smallest number of colors required for such a coloring is called the conflict-free open neighborhood (CFON) chromatic number and is denoted by $χ_{ON}(G)$. By considering closed neighborhood instead of open neighborhood, we obtain the analogous notions of conflict-free closed neighborhood (CFCN) coloring, and CFCN chromatic number (denoted by $χ_{CN}(G)$). The notion of conflict-free coloring was introduced in 2002, and has since received considerable attention. In this paper, we study some extremal questions related to CFON and CFCN coloring. △ Less

Submitted 5 January, 2024; v1 submitted 4 May, 2023; originally announced May 2023.

Comments: 18 pages

MSC Class: 05C15; 68R10

Cryptanalysis of quantum permutation pad

Authors: Avval Amil, Shashank Gupta

Abstract: Cryptanalysis increases the level of confidence in cryptographic algorithms. We analyze the security of a symmetric cryptographic algorithm - quantum permutation pad (QPP) [8]. We found the instances of ciphertext the same as plaintext even after the action of QPP with the probability 1/N when the entire set of permutation matrices of dimension N is used and with the probability 1/N^m when an inco… ▽ More Cryptanalysis increases the level of confidence in cryptographic algorithms. We analyze the security of a symmetric cryptographic algorithm - quantum permutation pad (QPP) [8]. We found the instances of ciphertext the same as plaintext even after the action of QPP with the probability 1/N when the entire set of permutation matrices of dimension N is used and with the probability 1/N^m when an incomplete set of m permutation matrices of dimension N are used. We visually show such instances in a cipher image created by QPP of 256 permutation matrices of different dimensions. For any practical usage of QPP, we recommend a set of 256 permutation matrices of a dimension more or equal to 2048. △ Less

Submitted 5 April, 2023; originally announced April 2023.

Comments: 7 pages, 1 figures, comments are welcome

Explicit transformations for generalized Lambert series associated with the divisor function $σ_{a}^{(N)}(n)$ and their applications

Authors: Soumyarup Banerjee, Atul Dixit, Shivajee Gupta

Abstract: Let $σ_a^{(N)}(n)=\sum_{d^{N}|n}d^a$. An explicit transformation is obtained for the generalized Lambert series $\sum_{n=1}^{\infty}σ_{a}^{(N)}(n)e^{-ny}$ for Re$(a)>-1$ using the recently established Voronoï summation formula for $σ_a^{(N)}(n)$, and is extended to a wider region by analytic continuation. For $N=1$, this Lambert series plays an important role in string theory scattering amplitudes… ▽ More Let $σ_a^{(N)}(n)=\sum_{d^{N}|n}d^a$. An explicit transformation is obtained for the generalized Lambert series $\sum_{n=1}^{\infty}σ_{a}^{(N)}(n)e^{-ny}$ for Re$(a)>-1$ using the recently established Voronoï summation formula for $σ_a^{(N)}(n)$, and is extended to a wider region by analytic continuation. For $N=1$, this Lambert series plays an important role in string theory scattering amplitudes as can be seen in the recent work of Dorigoni and Kleinschmidt. These transformations exhibit several identities - a new generalization of Ramanujan's formula for $ζ(2m+1)$, an identity associated with extended higher Herglotz functions, generalized Dedekind eta-transformation, Wigert's transformation etc., all of which are derived in this paper, thus leading to their uniform proofs. A special case of one of these explicit transformations naturally leads us to consider generalized power partitions with ``$n^{2N-1}$ copies of $n^{N}$''. Asymptotic expansion of their generating function as $q\to1^{-}$ is also derived which generalizes Wright's result on the plane partition generating function. In order to obtain these transformations, several new intermediate results are required, for example, a new reduction formula for Meijer $G$-function and an almost closed-form evaluation of $\left.\frac{\partial E_{2N, β}(z^{2N})}{\partialβ}\right|_{β=1}$, where $E_{α, β}(z)$ is a two-variable Mittag-Leffler function. △ Less

Submitted 12 April, 2023; originally announced April 2023.

Comments: 41 pages, submitted for publication. Comments are welcome

MSC Class: Primary 11M06. Secondary 33C10; 11P82

Balancing Communication and Computation in Gradient Tracking Algorithms for Decentralized Optimization

Authors: Albert S. Berahas, Raghu Bollapragada, Shagun Gupta

Abstract: Gradient tracking methods have emerged as one of the most popular approaches for solving decentralized optimization problems over networks. In this setting, each node in the network has a portion of the global objective function, and the goal is to collectively optimize this function. At every iteration, gradient tracking methods perform two operations (steps): $(1)$ compute local gradients, and… ▽ More Gradient tracking methods have emerged as one of the most popular approaches for solving decentralized optimization problems over networks. In this setting, each node in the network has a portion of the global objective function, and the goal is to collectively optimize this function. At every iteration, gradient tracking methods perform two operations (steps): $(1)$ compute local gradients, and $(2)$ communicate information with local neighbors in the network. The complexity of these two steps varies across different applications. In this paper, we present a framework that unifies gradient tracking methods and is endowed with flexibility with respect to the number of communication and computation steps. We establish unified theoretical convergence results for the algorithmic framework with any composition of communication and computation steps, and quantify the improvements achieved as a result of this flexibility. The framework recovers the results of popular gradient tracking methods as special cases, and allows for a direct comparison of these methods. Finally, we illustrate the performance of the proposed methods on quadratic functions and binary classification problems. △ Less

Submitted 24 November, 2023; v1 submitted 24 March, 2023; originally announced March 2023.

Comments: 37 pages, 4 figures, 1 table

Diophantine $D(n)$-quadruples in $\mathbb{Z}[\sqrt{4k + 2}]$

Authors: Kalyan Chakraborty, Shubham Gupta, Azizul Hoque

Abstract: Let $d$ be a square-free integer and $\mathbb{Z}[\sqrt{d}]$ a quadratic ring of integers. For a given $n\in\mathbb{Z}[\sqrt{d}]$, a set of $m$ non-zero distinct elements in $\mathbb{Z}[\sqrt{d}]$ is called a Diophantine $D(n)$-$m$-tuple (or simply $D(n)$-$m$-tuple) in $\mathbb{Z}[\sqrt{d}]$ if product of any two of them plus $n$ is a square in $\mathbb{Z}[\sqrt{d}]$. Assume that… ▽ More Let $d$ be a square-free integer and $\mathbb{Z}[\sqrt{d}]$ a quadratic ring of integers. For a given $n\in\mathbb{Z}[\sqrt{d}]$, a set of $m$ non-zero distinct elements in $\mathbb{Z}[\sqrt{d}]$ is called a Diophantine $D(n)$-$m$-tuple (or simply $D(n)$-$m$-tuple) in $\mathbb{Z}[\sqrt{d}]$ if product of any two of them plus $n$ is a square in $\mathbb{Z}[\sqrt{d}]$. Assume that $d \equiv 2 \pmod 4$ is a positive integer such that $x^2 - dy^2 = -1$ and $x^2 - dy^2 = 6$ are solvable in integers. In this paper, we prove the existence of infinitely many $D(n)$-quadruples in $\mathbb{Z}[\sqrt{d}]$ for $n = 4m + 4k\sqrt{d}$ with $m, k \in \mathbb{Z}$ satisfying $m \not\equiv 5 \pmod{6}$ and $k \not\equiv 3 \pmod{6}$. Moreover, we prove the same for $n = (4m + 2) + 4k\sqrt{d}$ when either $m \not\equiv 9 \pmod{12}$ and $k \not\equiv 3 \pmod{6}$, or $m \not\equiv 0 \pmod{12}$ and $k \not\equiv 0 \pmod{6}$. At the end, some examples supporting the existence of quadruples in $\mathbb{Z}[\sqrt{d}]$ with the property $D(n)$ for the above exceptional $n$'s are provided for $d = 10$. △ Less

Submitted 26 June, 2024; v1 submitted 8 February, 2023; originally announced February 2023.

Comments: 18 pages. To appear in `Glasnik matematički'

MSC Class: 11D09; 11R11

High-dimensional Location Estimation via Norm Concentration for Subgamma Vectors

Authors: Shivam Gupta, Jasper C. H. Lee, Eric Price

Abstract: In location estimation, we are given $n$ samples from a known distribution $f$ shifted by an unknown translation $λ$, and want to estimate $λ$ as precisely as possible. Asymptotically, the maximum likelihood estimate achieves the Cramér-Rao bound of error $\mathcal N(0, \frac{1}{n\mathcal I})$, where $\mathcal I$ is the Fisher information of $f$. However, the $n$ required for convergence depends o… ▽ More In location estimation, we are given $n$ samples from a known distribution $f$ shifted by an unknown translation $λ$, and want to estimate $λ$ as precisely as possible. Asymptotically, the maximum likelihood estimate achieves the Cramér-Rao bound of error $\mathcal N(0, \frac{1}{n\mathcal I})$, where $\mathcal I$ is the Fisher information of $f$. However, the $n$ required for convergence depends on $f$, and may be arbitrarily large. We build on the theory using \emph{smoothed} estimators to bound the error for finite $n$ in terms of $\mathcal I_r$, the Fisher information of the $r$-smoothed distribution. As $n \to \infty$, $r \to 0$ at an explicit rate and this converges to the Cramér-Rao bound. We (1) improve the prior work for 1-dimensional $f$ to converge for constant failure probability in addition to high probability, and (2) extend the theory to high-dimensional distributions. In the process, we prove a new bound on the norm of a high-dimensional random variable whose 1-dimensional projections are subgamma, which may be of independent interest. △ Less

Submitted 5 February, 2023; originally announced February 2023.

Characterising Solutions of Anomalous Cancellation

Authors: Satvik Saha, Sohom Gupta, Sayan Dutta, Sourin Chatterjee

Abstract: Anomalous cancellation of fractions is a mathematically inaccurate method where cancelling the common digits of the numerator and denominator correctly reduces it. While it appears to be accidentally successful, the property of anomalous cancellation is intricately connected to the number of digits of the denominator as well as the base in which the fraction is represented. Previous work have been… ▽ More Anomalous cancellation of fractions is a mathematically inaccurate method where cancelling the common digits of the numerator and denominator correctly reduces it. While it appears to be accidentally successful, the property of anomalous cancellation is intricately connected to the number of digits of the denominator as well as the base in which the fraction is represented. Previous work have been mostly surrounding three digit solutions or specific properties of the same. This paper seeks to get general results regarding the structure of numbers that follow the cancellation property (denoted by $P^*_{\ell; k}$) and an estimate of the total number of solutions possible in a given base representation. In particular, interesting properties regarding the saturation of the number of solutions in general and $p^n$ bases (where $p$ is a prime) have been studied in detail. △ Less

Submitted 31 January, 2023; originally announced February 2023.

Comments: 17 pages, 1 figure

MSC Class: 11D72; 00A08

Ground state solution for a generalized Choquard Schrodinger equation with vanishing potential in homogeneous fractional Musielak Sobolev spaces

Authors: Shilpa Gupta, Gaurav Dwivedi

Abstract: This paper aims to establish the existence of a weak solution for the following problem: \begin{equation*} (-Δ)^{s}_{\mathcal{H}}u(x) +V(x)h(x,x,|u|)u(x)=\left(\int_{\mathbb{R}^{N}}\dfrac{K(y)F(u(y))}{|x-y|^λ}dy \right) K(x)f(u(x)) \ \hbox{in} \ \mathbb{R}^{N}, \end{equation*} where $N\geq 1$, $s\in(0,1), λ\in(0,N), \mathcal{H}(x,y,t)=\int_{0}^{|t|} h(x,y,r)r\ dr,$… ▽ More This paper aims to establish the existence of a weak solution for the following problem: \begin{equation*} (-Δ)^{s}_{\mathcal{H}}u(x) +V(x)h(x,x,|u|)u(x)=\left(\int_{\mathbb{R}^{N}}\dfrac{K(y)F(u(y))}{|x-y|^λ}dy \right) K(x)f(u(x)) \ \hbox{in} \ \mathbb{R}^{N}, \end{equation*} where $N\geq 1$, $s\in(0,1), λ\in(0,N), \mathcal{H}(x,y,t)=\int_{0}^{|t|} h(x,y,r)r\ dr,$ $ h:\mathbb{R}^{N}\times\mathbb{R}^{N}\times [0,\infty)\rightarrow[0,\infty)$ is a generalized $N$-function and $(-Δ)^{s}_{\mathcal{H}}$ is a generalized fractional Laplace operator. The functions $V,K:\mathbb{R}^{N}\rightarrow (0,\infty)$, non-linear function $f:\mathbb{R}\rightarrow \mathbb{R}$ are continuous and $ F(t)=\int_{0}^{t}f(r)dr.$ First, we introduce the homogeneous fractional Musielak-Sobolev space and investigate their properties. After that, we pose the given problem in that space. To establish our existence results, we prove and use the suitable version of Hardy-Littlewood-Sobolev inequality for Lebesque Musielak spaces together with variational technique based on the mountain pass theorem. We also prove the existence of a ground state solution by the method of Nehari manifold. △ Less

Submitted 11 January, 2023; originally announced January 2023.

Comments: 20 pages, 0 figure

MSC Class: 35J20; 35J62

Nonlinear conjugate gradient methods: worst-case convergence rates via computer-assisted analyses

Authors: Shuvomoy Das Gupta, Robert M. Freund, Xu Andy Sun, Adrien Taylor

Abstract: We propose a computer-assisted approach to the analysis of the worst-case convergence of nonlinear conjugate gradient methods (NCGMs). Those methods are known for their generally good empirical performances for large-scale optimization, while having relatively incomplete analyses. Using our computer-assisted approach, we establish novel complexity bounds for the Polak-Ribière-Polyak (PRP) and the… ▽ More We propose a computer-assisted approach to the analysis of the worst-case convergence of nonlinear conjugate gradient methods (NCGMs). Those methods are known for their generally good empirical performances for large-scale optimization, while having relatively incomplete analyses. Using our computer-assisted approach, we establish novel complexity bounds for the Polak-Ribière-Polyak (PRP) and the Fletcher-Reeves (FR) NCGMs for smooth strongly convex minimization. In particular, we construct mathematical proofs that establish the first non-asymptotic convergence bound for FR (which is historically the first developed NCGM), and a much improved non-asymptotic convergence bound for PRP. Additionally, we provide simple adversarial examples on which these methods do not perform better than gradient descent with exact line search, leaving very little room for improvements on the same class of problems. △ Less

Submitted 18 April, 2024; v1 submitted 4 January, 2023; originally announced January 2023.

Comments: 48 pages, 6 figures, 9 tables

A Quantum Approach for Stochastic Constrained Binary Optimization

Authors: Sarthak Gupta, Vassilis Kekatos

Abstract: Analytical and practical evidence indicates the advantage of quantum computing solutions over classical alternatives. Quantum-based heuristics relying on the variational quantum eigensolver (VQE) and the quantum approximate optimization algorithm (QAOA) have been shown numerically to generate high-quality solutions to hard combinatorial problems, yet incorporating constraints to such problems has… ▽ More Analytical and practical evidence indicates the advantage of quantum computing solutions over classical alternatives. Quantum-based heuristics relying on the variational quantum eigensolver (VQE) and the quantum approximate optimization algorithm (QAOA) have been shown numerically to generate high-quality solutions to hard combinatorial problems, yet incorporating constraints to such problems has been elusive. To this end, this work puts forth a quantum heuristic to cope with stochastic binary quadratically constrained quadratic programs (QCQP). Identifying the strength of quantum circuits to efficiently generate samples from probability distributions that are otherwise hard to sample from, the variational quantum circuit is trained to generate binary-valued vectors to approximately solve the aforesaid stochastic program. The method builds upon dual decomposition and entails solving a sequence of judiciously modified standard VQE tasks. Tests on several synthetic problem instances using a quantum simulator corroborate the near-optimality and feasibility of the method, and its potential to generate feasible solutions for the deterministic QCQP too. △ Less

Submitted 3 January, 2023; originally announced January 2023.

Scalable Optimal Design of Incremental Volt/VAR Control using Deep Neural Networks

Authors: Sarthak Gupta, Ali Mehrizi-Sani, Spyros Chatzivasileiadis, Vassilis Kekatos

Abstract: Volt/VAR control rules facilitate the autonomous operation of distributed energy resources (DER) to regulate voltage in power distribution grids. According to non-incremental control rules, such as the one mandated by the IEEE Standard 1547, the reactive power setpoint of each DER is computed as a piecewise-linear curve of the local voltage. However, the slopes of such curves are upper-bounded to… ▽ More Volt/VAR control rules facilitate the autonomous operation of distributed energy resources (DER) to regulate voltage in power distribution grids. According to non-incremental control rules, such as the one mandated by the IEEE Standard 1547, the reactive power setpoint of each DER is computed as a piecewise-linear curve of the local voltage. However, the slopes of such curves are upper-bounded to ensure stability. On the other hand, incremental rules add a memory term into the setpoint update, rendering them universally stable. They can thus attain enhanced steady-state voltage profiles. Optimal rule design (ORD) for incremental rules can be formulated as a bilevel program. We put forth a scalable solution by reformulating ORD as training a deep neural network (DNN). This DNN emulates the Volt/VAR dynamics for incremental rules derived as iterations of proximal gradient descent (PGD). Analytical findings and numerical tests corroborate that the proposed ORD solution can be neatly adapted to single/multi-phase feeders. △ Less

Submitted 3 January, 2023; originally announced January 2023.

Rearrangement Inequalities on the Lattice Graph

Authors: Shubham Gupta, Stefan Steinerberger

Abstract: The Polya-Szegő inequality in $\mathbb{R}^n$ states that, given a non-negative function $f:\mathbb{R}^{n} \rightarrow \mathbb{R}_{}$, its spherically symmetric decreasing rearrangement $f^*:\mathbb{R}^{n} \rightarrow \mathbb{R}_{}$ is `smoother' in the sense of $\| \nabla f^*\|_{L^p} \leq \| \nabla f\|_{L^p}$ for all $1 \leq p \leq \infty$. We study analogues on the lattice grid graph… ▽ More The Polya-Szegő inequality in $\mathbb{R}^n$ states that, given a non-negative function $f:\mathbb{R}^{n} \rightarrow \mathbb{R}_{}$, its spherically symmetric decreasing rearrangement $f^*:\mathbb{R}^{n} \rightarrow \mathbb{R}_{}$ is `smoother' in the sense of $\| \nabla f^*\|_{L^p} \leq \| \nabla f\|_{L^p}$ for all $1 \leq p \leq \infty$. We study analogues on the lattice grid graph $\mathbb{Z}^2$. The spiral rearrangement is known to satisfy the Polya-Szegő inequality for $p=1$, the Wang-Wang rearrangement satisfies it for $p=\infty$ and no rearrangement can satisfy it for $p=2$. We develop a robust approach to show that both these rearrangements satisfy the Polya-Szegő inequality up to a constant for all $1 \leq p \leq \infty$. In particular, the Wang-Wang rearrangement satisfies $\| \nabla f^*\|_{L^p} \leq 2^{1/p} \| \nabla f\|_{L^p}$ for all $1 \leq p \leq \infty$. We also show the existence of (many) rearrangements on $\mathbb{Z}^d$ such that $\| \nabla f^*\|_{L^p} \leq c_d \cdot \| \nabla f\|_{L^p}$ for all $1 \leq p \leq \infty$. △ Less

Submitted 14 December, 2022; originally announced December 2022.

Optimal Design of Volt/VAR Control Rules of Inverters using Deep Learning

Authors: Sarthak Gupta, Vassilis Kekatos, Spyros Chatzivasileiadis

Abstract: Distribution grids are challenged by rapid voltage fluctuations induced by variable power injections from distributed energy resources (DERs). To regulate voltage, the IEEE Standard 1547 recommends each DER inject reactive power according to piecewise-affine Volt/VAR control rules. Although the standard suggests a default shape, the rule can be customized per bus. This task of optimal rule design… ▽ More Distribution grids are challenged by rapid voltage fluctuations induced by variable power injections from distributed energy resources (DERs). To regulate voltage, the IEEE Standard 1547 recommends each DER inject reactive power according to piecewise-affine Volt/VAR control rules. Although the standard suggests a default shape, the rule can be customized per bus. This task of optimal rule design (ORD) is challenging as Volt/VAR rules introduce nonlinear dynamics, and lurk trade-offs between stability and steady-state voltage profiles. ORD is formulated as a mixed-integer nonlinear program (MINLP), but scales unfavorably with the problem size. Towards a more efficient solution, we reformulate ORD as a deep learning problem. The idea is to design a DNN that emulates Volt/VAR dynamics. The DNN takes grid scenarios as inputs, rule parameters as weights, and outputs equilibrium voltages. Optimal rule parameters can be found by training the DNN so its output approaches unity for various scenarios. The DNN is only used to optimize rules and is never employed in the field. While dealing with ORD, we also review and expand on stability conditions and convergence rates for Volt/VAR dynamics on single- and multi-phase feeders. Tests showcase the merit of DNN-based ORD by benchmarking it against its MINLP counterpart. △ Less

Submitted 26 March, 2024; v1 submitted 17 November, 2022; originally announced November 2022.

Comments: Accepted in the IEEE Trans. on Smart Grid

On a conjecture of Franu\v sić and Jadrijevi\' c: Counter-examples

Authors: Kalyan Chakraborty, Shubham Gupta, Azizul Hoque

Abstract: Let $d\equiv 2\pmod 4$ be a square-free integer such that $x^2 - dy^2 =- 1$ and $x^2 - dy^2 = 6$ are solvable in integers. We prove the existence of infinitely many quadruples in $\mathbb{Z}[\sqrt{d}]$ with the property $D(n)$ when $n \in \{(4m + 1) + 4k\sqrt{d}, (4m + 1) + (4k + 2)\sqrt{d}, (4m + 3) + 4k\sqrt{d}, (4m + 3) + (4k + 2)\sqrt{d}, (4m + 2) + (4k + 2)\sqrt{d}\}$ for… ▽ More Let $d\equiv 2\pmod 4$ be a square-free integer such that $x^2 - dy^2 =- 1$ and $x^2 - dy^2 = 6$ are solvable in integers. We prove the existence of infinitely many quadruples in $\mathbb{Z}[\sqrt{d}]$ with the property $D(n)$ when $n \in \{(4m + 1) + 4k\sqrt{d}, (4m + 1) + (4k + 2)\sqrt{d}, (4m + 3) + 4k\sqrt{d}, (4m + 3) + (4k + 2)\sqrt{d}, (4m + 2) + (4k + 2)\sqrt{d}\}$ for $m, k \in \mathbb{Z}$. As a consequence, we provide few counter examples to a conjecture of Franu\v sić and Jadrijevi\' c (see Conjecture 1.1). △ Less

Submitted 9 November, 2022; originally announced November 2022.

Comments: 14 Pages. To appear in 'Results in Mathematics'

MSC Class: 11D09; 11R11

Riesz type criteria for $L$-functions in the Selberg class

Authors: Shivajee Gupta, Akshaa Vatwani

Abstract: We formulate a generalization of Riesz-type criteria in the setting of $L$-functions belonging to the Selberg class. We obtain a criterion which is sufficient for the Grand Riemann Hypothesis (GRH) for $L$-functions satisfying axioms of the Selberg class without imposing the Ramanujan hypothesis on their coefficients. We also construct a subclass of the Selberg class and prove a necessary criterio… ▽ More We formulate a generalization of Riesz-type criteria in the setting of $L$-functions belonging to the Selberg class. We obtain a criterion which is sufficient for the Grand Riemann Hypothesis (GRH) for $L$-functions satisfying axioms of the Selberg class without imposing the Ramanujan hypothesis on their coefficients. We also construct a subclass of the Selberg class and prove a necessary criterion for GRH for $L$-functions in this subclass. Identities of Ramanujan-Hardy-Littlewood type are also established in this setting, specific cases of which yield new transformation formulas involving special values of the Meijer $G$-function of the type $G^{n \ 0}_{0 \ n}$. △ Less

Submitted 5 November, 2022; originally announced November 2022.

Comments: 26 pages, 1 figure

MSC Class: Primary 11M06; Secondary 11M26; 11M41; 33C20

Martingales for physicists: A treatise on stochastic thermodynamics and beyond

Authors: Édgar Roldán, Izaak Neri, Raphael Chetrite, Shamik Gupta, Simone Pigolotti, Frank Jülicher, Ken Sekimoto

Abstract: We review the theory of martingales as applied to stochastic thermodynamics and stochastic processes in physics more generally. We review the theory of martingales as applied to stochastic thermodynamics and stochastic processes in physics more generally. △ Less

Submitted 19 December, 2023; v1 submitted 18 October, 2022; originally announced October 2022.

Comments: 324 pages, 68 figures, submitted to Advances in Physics

On the equivalence issue of a class of $2$-dimensional linear Maximum Rank Distance codes

Authors: S. Gupta, G. Longobardi, R. Trombetti

Abstract: In [A. Neri, P. Santonastaso, F. Zullo. Extending two families of maximum rank distance codes], the authors extended the family of $2$-dimensional $\mathbb{F}_{q^{2t}}$-linear MRD codes recently found in [G. Longobardi, G. Marino, R. Trombetti, Y. Zhou. A large family of maximum scattered linear sets of $\mathrm{PG}(1,q^n)$ and their associated MRD codes]. Also, for $t \geq 5$ they determined equi… ▽ More In [A. Neri, P. Santonastaso, F. Zullo. Extending two families of maximum rank distance codes], the authors extended the family of $2$-dimensional $\mathbb{F}_{q^{2t}}$-linear MRD codes recently found in [G. Longobardi, G. Marino, R. Trombetti, Y. Zhou. A large family of maximum scattered linear sets of $\mathrm{PG}(1,q^n)$ and their associated MRD codes]. Also, for $t \geq 5$ they determined equivalence classes of the elements in this new family and provided the exact number of inequivalent codes in it. In this article, we complete the study of the equivalence issue removing the restriction $t \geq 5$. Moreover, we prove that in the case when $t=4$, the linear sets of the projective line $\mathrm{PG}(1,q^{8})$ ensuing from codes in the relevant family, are not equivalent to any one known so far. △ Less

Submitted 28 March, 2023; v1 submitted 20 August, 2022; originally announced August 2022.

MSC Class: 05B25; 51E20; 51E22

Bounding and computing obstacle numbers of graphs

Authors: Martin Balko, Steven Chaplick, Robert Ganian, Siddharth Gupta, Michael Hoffmann, Pavel Valtr, Alexander Wolff

Abstract: An obstacle representation of a graph $G$ consists of a set of pairwise disjoint simply-connected closed regions and a one-to-one map** of the vertices of $G$ to points such that two vertices are adjacent in $G$ if and only if the line segment connecting the two corresponding points does not intersect any obstacle. The obstacle number of a graph is the smallest number of obstacles in an obstacle… ▽ More An obstacle representation of a graph $G$ consists of a set of pairwise disjoint simply-connected closed regions and a one-to-one map** of the vertices of $G$ to points such that two vertices are adjacent in $G$ if and only if the line segment connecting the two corresponding points does not intersect any obstacle. The obstacle number of a graph is the smallest number of obstacles in an obstacle representation of the graph in the plane such that all obstacles are simple polygons. It is known that the obstacle number of each $n$-vertex graph is $O(n \log n)$ [Balko, Cibulka, and Valtr, 2018] and that there are $n$-vertex graphs whose obstacle number is $Ω(n/(\log\log n)^2)$ [Dujmović and Morin, 2015]. We improve this lower bound to $Ω(n/\log\log n)$ for simple polygons and to $Ω(n)$ for convex polygons. To obtain these stronger bounds, we improve known estimates on the number of $n$-vertex graphs with bounded obstacle number, solving a conjecture by Dujmović and Morin. We also show that if the drawing of some $n$-vertex graph is given as part of the input, then for some drawings $Ω(n^2)$ obstacles are required to turn them into an obstacle representation of the graph. Our bounds are asymptotically tight in several instances. We complement these combinatorial bounds by two complexity results. First, we show that computing the obstacle number of a graph $G$ is fixed-parameter tractable in the vertex cover number of $G$. Second, we show that, given a graph $G$ and a simple polygon $P$, it is NP-hard to decide whether $G$ admits an obstacle representation using $P$ as the only obstacle. △ Less

Submitted 21 January, 2024; v1 submitted 30 June, 2022; originally announced June 2022.

Sharp Constants in Uniformity Testing via the Huber Statistic

Authors: Shivam Gupta, Eric Price

Abstract: Uniformity testing is one of the most well-studied problems in property testing, with many known test statistics, including ones based on counting collisions, singletons, and the empirical TV distance. It is known that the optimal sample complexity to distinguish the uniform distribution on $m$ elements from any $ε$-far distribution with $1-δ$ probability is… ▽ More Uniformity testing is one of the most well-studied problems in property testing, with many known test statistics, including ones based on counting collisions, singletons, and the empirical TV distance. It is known that the optimal sample complexity to distinguish the uniform distribution on $m$ elements from any $ε$-far distribution with $1-δ$ probability is $n = Θ\left(\frac{\sqrt{m \log (1/δ)}}{ε^2} + \frac{\log (1/δ)}{ε^2}\right)$, which is achieved by the empirical TV tester. Yet in simulation, these theoretical analyses are misleading: in many cases, they do not correctly rank order the performance of existing testers, even in an asymptotic regime of all parameters tending to $0$ or $\infty$. We explain this discrepancy by studying the \emph{constant factors} required by the algorithms. We show that the collisions tester achieves a sharp maximal constant in the number of standard deviations of separation between uniform and non-uniform inputs. We then introduce a new tester based on the Huber loss, and show that it not only matches this separation, but also has tails corresponding to a Gaussian with this separation. This leads to a sample complexity of $(1 + o(1))\frac{\sqrt{m \log (1/δ)}}{ε^2}$ in the regime where this term is dominant, unlike all other existing testers. △ Less

Submitted 21 June, 2022; originally announced June 2022.

Comments: COLT 2022

A modular relation involving non-trivial zeros of the Dedekind zeta function, and the Generalized Riemann Hypothesis

Authors: Atul Dixit, Shivajee Gupta, Akshaa Vatwani

Abstract: We give a number field analogue of a result of Ramanujan, Hardy and Littlewood, thereby obtaining a modular relation involving the non-trivial zeros of the Dedekind zeta function. We also provide a Riesz-type criterion for the Generalized Riemann Hypothesis for $ζ_K(s)$. New elegant transformations are obtained when $K$ is a quadratic extension, one of which involves the modified Bessel function o… ▽ More We give a number field analogue of a result of Ramanujan, Hardy and Littlewood, thereby obtaining a modular relation involving the non-trivial zeros of the Dedekind zeta function. We also provide a Riesz-type criterion for the Generalized Riemann Hypothesis for $ζ_K(s)$. New elegant transformations are obtained when $K$ is a quadratic extension, one of which involves the modified Bessel function of the second kind. △ Less

Submitted 18 June, 2022; originally announced June 2022.

Comments: To appear in Journal of Mathematical Analysis and Applications

Finite-Sample Maximum Likelihood Estimation of Location

Authors: Shivam Gupta, Jasper C. H. Lee, Eric Price, Paul Valiant

Abstract: We consider 1-dimensional location estimation, where we estimate a parameter $λ$ from $n$ samples $λ+ η_i$, with each $η_i$ drawn i.i.d. from a known distribution $f$. For fixed $f$ the maximum-likelihood estimate (MLE) is well-known to be optimal in the limit as $n \to \infty$: it is asymptotically normal with variance matching the Cramér-Rao lower bound of $\frac{1}{n\mathcal{I}}$, where… ▽ More We consider 1-dimensional location estimation, where we estimate a parameter $λ$ from $n$ samples $λ+ η_i$, with each $η_i$ drawn i.i.d. from a known distribution $f$. For fixed $f$ the maximum-likelihood estimate (MLE) is well-known to be optimal in the limit as $n \to \infty$: it is asymptotically normal with variance matching the Cramér-Rao lower bound of $\frac{1}{n\mathcal{I}}$, where $\mathcal{I}$ is the Fisher information of $f$. However, this bound does not hold for finite $n$, or when $f$ varies with $n$. We show for arbitrary $f$ and $n$ that one can recover a similar theory based on the Fisher information of a smoothed version of $f$, where the smoothing radius decays with $n$. △ Less

Submitted 18 July, 2022; v1 submitted 6 June, 2022; originally announced June 2022.

Comments: Corrected an inaccuracy in the description of the experimental setup. Also updated funding acknowledgements

Lambert series of logarithm, the derivative of Deninger's function $R(z)$ and a mean value theorem for $ζ\left(\frac{1}{2}-it\right)ζ'\left(\frac{1}{2}+it\right)$

Authors: Soumyarup Banerjee, Atul Dixit, Shivajee Gupta

Abstract: An explicit transformation for the series $\sum\limits_{n=1}^{\infty}\displaystyle\frac{\log(n)}{e^{ny}-1},$ Re$(y)>0$, which takes $y$ to $1/y$, is obtained for the first time. This series transforms into a series containing $ψ_1(z)$, the derivative of Deninger's function $R(z)$. In the course of obtaining the transformation, new important properties of $ψ_1(z)$ are derived, as is a new represent… ▽ More An explicit transformation for the series $\sum\limits_{n=1}^{\infty}\displaystyle\frac{\log(n)}{e^{ny}-1},$ Re$(y)>0$, which takes $y$ to $1/y$, is obtained for the first time. This series transforms into a series containing $ψ_1(z)$, the derivative of Deninger's function $R(z)$. In the course of obtaining the transformation, new important properties of $ψ_1(z)$ are derived, as is a new representation for the second derivative of the two-variable Mittag-Leffler function $E_{2, b}(z)$ evaluated at $b=1$. Our transformation readily gives the complete asymptotic expansion of $\sum\limits_{n=1}^{\infty}\displaystyle\frac{\log(n)}{e^{ny}-1}$ as $y\to0$. An application of the latter is that it gives the asymptotic expansion of $ \displaystyle\int_{0}^{\infty}ζ\left(\frac{1}{2}-it\right)ζ'\left(\frac{1}{2}+it\right)e^{-δt}\, dt$ as $δ\to0$. △ Less

Submitted 23 May, 2022; originally announced May 2022.

Comments: 25 pages, submitted for publication

MSC Class: Primary 11M06; 11N37; Secondary 33E12

Hardy and Rellich inequality on lattices

Authors: Shubham Gupta

Abstract: In this paper, we study the asymptotic behaviour of the sharp constant in discrete Hardy and Rellich inequality on the lattice $\mathbb{Z}^d$ as $d \rightarrow \infty$. In the process, we proved some Hardy-type inequalities for the operators $Δ^m$ and $\nabla(Δ^m)$ for non-negative integers $m$ on a $d$ dimensional torus. It turns out that the sharp constant in discrete Hardy and Rellich inequalit… ▽ More In this paper, we study the asymptotic behaviour of the sharp constant in discrete Hardy and Rellich inequality on the lattice $\mathbb{Z}^d$ as $d \rightarrow \infty$. In the process, we proved some Hardy-type inequalities for the operators $Δ^m$ and $\nabla(Δ^m)$ for non-negative integers $m$ on a $d$ dimensional torus. It turns out that the sharp constant in discrete Hardy and Rellich inequality grows as $d$ and $d^2$ respectively as $ d \rightarrow \infty$. △ Less

Submitted 12 January, 2023; v1 submitted 15 May, 2022; originally announced May 2022.

Comments: minor changes: some references and remarks added

MSC Class: 39B62; 26D10; 35A23

Journal ref: Calc. Var. Partial Differential Equations. 62, 81 (2023)