-
On the distribution of shapes of pure quartic number fields
Authors:
Sudipa Das,
Sushant Kala,
Arunabha Mukhopadhyay,
Anwesh Ray
Abstract:
The shape of a number field is a subtle arithmetic invariant arising from the geometry of numbers. It is defined as the equivalence class of the lattice of integers with respect to linear operations that are composites of rotations, reflections, and positive scalar dilations. For a number field of degree $n$, the shape is a point in the space of shapes $\mathscr{S}_{n-1}$, which is the double quot…
▽ More
The shape of a number field is a subtle arithmetic invariant arising from the geometry of numbers. It is defined as the equivalence class of the lattice of integers with respect to linear operations that are composites of rotations, reflections, and positive scalar dilations. For a number field of degree $n$, the shape is a point in the space of shapes $\mathscr{S}_{n-1}$, which is the double quotient $GL_{n-1}(\mathbb{Z}) \backslash GL_{n-1}(\mathbb{R}) / GO_{n-1}(\mathbb{R})$. In this paper, we investigate the distribution of shapes in the family of pure quartic fields $K_m = \mathbb{Q}(\sqrt[4]{m})$. We prove that the shape of $K_m$ lies on one of ten explicitly described torus orbits in $\mathscr{S}_3$, determined by the sign and residue class of $m \bmod 32$. It is shown that the shape on a given torus orbit is completely determined by two parameters, one of which varies continuously, while the other takes values in a discrete set. As a result, the distribution of shapes in this family is governed by a product of a continuous and a discrete measure. Our results shed new light on a question posed by Manjul Bhargava and Piper H concerning the distribution of shapes in families of non-generic number fields of fixed degree. Notably, the limiting distribution in our case does not arise as the restriction of the natural measure on $\mathscr{S}_3$ induced by Haar measure on $GL_3(\mathbb{R})$.
△ Less
Submitted 30 June, 2025;
originally announced June 2025.
-
On generating $k$-factorable graphic sequences with connected (resp.no connected) $k$-factors
Authors:
Asish Mukhopadhyay,
Daniel John,
Lucas Sarweh
Abstract:
In this note, we consider the problem of generating $k$-factorable graphic sequences with connected (resp. no connected) $k$-factors.
In this note, we consider the problem of generating $k$-factorable graphic sequences with connected (resp. no connected) $k$-factors.
△ Less
Submitted 17 October, 2024;
originally announced October 2024.
-
Statistics of Moduli Spaces of vector bundles over hyperelliptic curves
Authors:
Arijit Dey,
Sampa Dey,
Anirban Mukhopadhyay
Abstract:
We give an asymptotic formula for the number of $\mathbb{F}_{q}$-rational points over a fixed determinant moduli space of stable vector bundles of rank $r$ and degree $d$ over a smooth, projective curve $X$ of genus $g \geq 2$ defined over $\mathbb{F}_{q}.$
Further, we study the distribution of the error term when $X$ varies over a family of hyperelliptic curves. We then extend the results to th…
▽ More
We give an asymptotic formula for the number of $\mathbb{F}_{q}$-rational points over a fixed determinant moduli space of stable vector bundles of rank $r$ and degree $d$ over a smooth, projective curve $X$ of genus $g \geq 2$ defined over $\mathbb{F}_{q}.$
Further, we study the distribution of the error term when $X$ varies over a family of hyperelliptic curves. We then extend the results to the Seshadri desingularisation of the moduli space of semi-stable vector bundles of rank $2$ with trivial determinant, and also to the moduli space of rank $2$ stable Higgs bundles.
△ Less
Submitted 9 September, 2024;
originally announced September 2024.
-
On new minimal excludants of overpartitions related to some $q$-series of Ramanujan
Authors:
Aritram Dhar,
Avi Mukhopadhyay,
Rishabh Sarma
Abstract:
Inspired by Andrews' and Newman's work on the minimal excludant or "mex" of partitions, we define four new classes of minimal excludants for overpartitions and establish relations to certain functions due to Ramanujan.
Inspired by Andrews' and Newman's work on the minimal excludant or "mex" of partitions, we define four new classes of minimal excludants for overpartitions and establish relations to certain functions due to Ramanujan.
△ Less
Submitted 20 December, 2024; v1 submitted 9 September, 2024;
originally announced September 2024.
-
On Optimal Server Allocation for Moldable Jobs with Concave Speed-Up
Authors:
Samira Ghanbarian,
Arpan Mukhopadhyay,
Ravi R. Mazumdar,
Fabrice M. Guillemin
Abstract:
A large proportion of jobs submitted to modern computing clusters and data centers are parallelizable and capable of running on a flexible number of computing cores or servers. Although allocating more servers to such a job results in a higher speed-up in the job's execution, it reduces the number of servers available to other jobs, which in the worst case, can result in an incoming job not findin…
▽ More
A large proportion of jobs submitted to modern computing clusters and data centers are parallelizable and capable of running on a flexible number of computing cores or servers. Although allocating more servers to such a job results in a higher speed-up in the job's execution, it reduces the number of servers available to other jobs, which in the worst case, can result in an incoming job not finding any available server to run immediately upon arrival. Hence, a key question to address is: how to optimally allocate servers to jobs such that (i) the average execution time across jobs is minimized and (ii) almost all jobs find at least one server immediately upon arrival. To address this question, we consider a system with $n$ servers, where jobs are parallelizable up to $d^{(n)}$ servers and the speed-up function of jobs is concave and increasing. Jobs not finding any available servers upon entry are blocked and lost. We propose a simple server allocation scheme that achieves the minimum average execution time of accepted jobs while ensuring that the blocking probability of jobs vanishes as the system becomes large ($n \to \infty$). This result is established for various traffic conditions as well as for heterogeneous workloads. To prove our result, we employ Stein's method which also yields non-asymptotic bounds on the blocking probability and the mean execution time. Furthermore, our simulations show that the performance of the scheme is insensitive to the distribution of job execution times.
△ Less
Submitted 15 April, 2024;
originally announced June 2024.
-
Some algebras with trivial rings of differential operators
Authors:
Alapan Mukhopadhyay,
Karen E. Smith
Abstract:
Let $k$ be an arbitrary field. We construct examples of regular local $k$-algebras $R$ (of positive dimension) for which the ring of differential operators $D_k(R)$ is trivial in the sense that it contains {\it no} operators of positive order. The examples are excellent in characteristic zero but not in positive characteristic. These rings can be viewed as being non-singular but they are not simpl…
▽ More
Let $k$ be an arbitrary field. We construct examples of regular local $k$-algebras $R$ (of positive dimension) for which the ring of differential operators $D_k(R)$ is trivial in the sense that it contains {\it no} operators of positive order. The examples are excellent in characteristic zero but not in positive characteristic. These rings can be viewed as being non-singular but they are not simple as $D$-modules, laying to rest speculation that $D$-simplicity might characterize a nice class of singularities in general. In prime characteristic, the construction also provides examples of {\it regular} local rings $R$ (with fraction field a function field) whose Frobenius push-forward $F_*^eR$ is {\it indecomposable} as an $R$-module for all $e\in \mathbb N$. Along the way, we investigate hypotheses on a local ring $(R, m)$ under which $D$-simplicity for $R$ is equivalent to $D$-simplicity for its $m$-adic completion, and give examples of rings for which the differential operators do not behave well under completion. We also generalize a characterization of $D$-simplicity due to Jeffries in the $\mathbb N$-graded case: for a Noetherian local $k$-algebra $(R, m, k)$, $D$-simplicity of $R$ is equivalent to surjectivity of the natural map $D_k(R)\to D_k(R, k)$.
△ Less
Submitted 14 April, 2024;
originally announced April 2024.
-
Asymptotic Optimality of the Speed-Aware Join-the-Shortest-Queue in the Halfin-Whitt Regime for Heterogeneous Systems
Authors:
Sanidhay Bhambay,
Burak Büke,
Arpan Mukhopadhyay
Abstract:
The Join-the-Shortest-Queue (JSQ) load balancing scheme is known to minimise the average response time of jobs in homogeneous systems with identical servers. However, for {\em heterogeneous} systems with servers having different processing speeds, finding an optimal load balancing scheme remains an open problem for finite system sizes. Recently, for systems with heterogeneous servers, a variant of…
▽ More
The Join-the-Shortest-Queue (JSQ) load balancing scheme is known to minimise the average response time of jobs in homogeneous systems with identical servers. However, for {\em heterogeneous} systems with servers having different processing speeds, finding an optimal load balancing scheme remains an open problem for finite system sizes. Recently, for systems with heterogeneous servers, a variant of the JSQ scheme, called the {\em Speed-Aware-Join-the-Shortest-Queue (SA-JSQ)} scheme, has been shown to achieve asymptotic optimality in the fluid-scaling regime where the number of servers $n$ tends to infinity but the normalised the arrival rate of jobs remains constant. {In this paper, we show that the SA-JSQ scheme is also asymptotically optimal for heterogeneous systems in the {\em Halfin-Whitt} traffic regime where the normalised arrival rate scales as $1-O(1/\sqrt{n})$.} Our analysis begins by establishing that an appropriately scaled and centered version of the Markov process describing system dynamics weakly converges to a two-dimensional reflected {\em Ornstein-Uhlenbeck (OU) process}. We then show using {\em Stein's method} that the stationary distribution of the underlying Markov process converges to that of the OU process as the system size increases by establishing the validity of interchange of limits. {Finally, through coupling with a suitably constructed system, we show that SA-JSQ asymptotically minimises the diffusion-scaled total number of jobs and the diffusion-scaled number of waiting jobs in the steady-state in the Halfin-Whitt regime among all policies which dispatch jobs based on queue lengths and server speeds.}
△ Less
Submitted 21 October, 2024; v1 submitted 16 December, 2023;
originally announced December 2023.
-
$h$-function, Hilbert-Kunz density function and Frobenius-Poincaré function
Authors:
Cheng Meng,
Alapan Mukhopadhyay
Abstract:
Given ideals $I,J$ of a noetherian local ring $(R, \mathfrak m)$ such that $I+J$ is $\mathfrak m$-primary and a finitely generated $R$-module $M$, we associate an invariant of $(M,R,I,J)$ called the $h$-function. Our results on $h$-functions allow extensions of the theories of Frobenius-Poincaré functions and Hilbert-Kunz density functions from the known graded case to the local case, answering a…
▽ More
Given ideals $I,J$ of a noetherian local ring $(R, \mathfrak m)$ such that $I+J$ is $\mathfrak m$-primary and a finitely generated $R$-module $M$, we associate an invariant of $(M,R,I,J)$ called the $h$-function. Our results on $h$-functions allow extensions of the theories of Frobenius-Poincaré functions and Hilbert-Kunz density functions from the known graded case to the local case, answering a question of V.Trivedi. When $J$ is $\mathfrak m$-primary, we describe the support of the corresponding density function in terms of other invariants of $(R, I,J)$. We show that the support captures the $F$-threshold: $c^J(I)$, under mild assumptions, extending results of V. Trivedi and Watanabe. The $h$-function encodes Hilbert-Samuel, Hilbert-Kunz multiplicity and $F$-threshold of the ideal pair involved. Using this feature of $h$-functions, we provide an equivalent formulation of a conjecture of Huneke, Mustaţă, Takagi, Watanabe; recover a result of Smirnov and Betancourt; give a new proof of a result answering Watanabe-Yoshida's question comparing Hilbert-Kunz and Hilbert-Samuel multiplicity and establish lower bounds on $F$-thresholds. We also point out that a conjecture of Smirnov-Betancourt as stated is false and suggest a correction which we relate to the conjecture of Huneke et al.
We develop the theory of $h$-functions in a more general setting which yields a density function for $F$-signature. A key to many results on $h$-functions is a `convexity technique' that we introduce, which in particular proves differentiability of Hilbert-Kunz density functions almost everywhere on $(0,\infty)$, thus contributing to another question of Trivedi.
△ Less
Submitted 11 March, 2025; v1 submitted 16 October, 2023;
originally announced October 2023.
-
Poissonian pair correlation for higher dimensional real sequences
Authors:
Tanmoy Bera,
Mithun Kumar Das,
Anirban Mukhopadhyay
Abstract:
In this article, we examine the Poissonian pair correlation (PPC) statistic for higher-dimensional real sequences. Specifically, we demonstrate that for $d\geq 3$, almost all $(α_1,\ldots,α_d) \in \mathbb{R}^d$, the sequence $\big(\{x_nα_1\},\dots,\{x_nα_d\}\big)$ in $[0,1)^d$ has PPC conditionally on the additive energy bound of $(x_n).$ This bound is more relaxed compared to the additive energy…
▽ More
In this article, we examine the Poissonian pair correlation (PPC) statistic for higher-dimensional real sequences. Specifically, we demonstrate that for $d\geq 3$, almost all $(α_1,\ldots,α_d) \in \mathbb{R}^d$, the sequence $\big(\{x_nα_1\},\dots,\{x_nα_d\}\big)$ in $[0,1)^d$ has PPC conditionally on the additive energy bound of $(x_n).$ This bound is more relaxed compared to the additive energy bound for one dimension as discussed in [1]. More generally, we derive the PPC for $\big(\{x_n^{(1)}α_1\},\dots,\{x_n^{(d)}α_d\}\big) \in [0,1)^d$ for almost all $(α_1,\ldots,α_d) \in \mathbb{R}^d.$ As a consequence we establish the metric PPC for $(n^{θ_1},\ldots,n^{θ_d})$ provided that all of the $θ_i$'s are greater than two.
△ Less
Submitted 24 July, 2024; v1 submitted 14 October, 2023;
originally announced October 2023.
-
Statistics of Moduli Space of vector bundles II
Authors:
Arijit Dey,
Sampa Dey,
Anirban Mukhopadhyay
Abstract:
Let $X$ be a smooth irreducible projective curve of genus $g \geq 2$ over a finite field $\F_{q}$ of characteristic $p$ with $q$ elements such that the function field $\F_{q}(X)$ is a geometric Galois extension of the rational function field of degree $N.$ Consider $gcd(n,d)=1$, let $M_{L}(n,d)$ be the moduli space of rank $n$ stable vector bundles over $X$ with fixed determinant isomorphic to a…
▽ More
Let $X$ be a smooth irreducible projective curve of genus $g \geq 2$ over a finite field $\F_{q}$ of characteristic $p$ with $q$ elements such that the function field $\F_{q}(X)$ is a geometric Galois extension of the rational function field of degree $N.$ Consider $gcd(n,d)=1$, let $M_{L}(n,d)$ be the moduli space of rank $n$ stable vector bundles over $X$ with fixed determinant isomorphic to a $\mathbb F_q$-rational line bundle $L$. Suppose $N_q (M_L(n,d))$ denotes the cardinality of the set of $\F_{q}$-rational points of $M_{L}(n,d)$. We give an asymptotic bound of $\log(N_{q}(M_{L}(n,d)) - (n^2-1)(g-1)\log{q})$ for large genus $g,$ depending on $N$. Further, considering this logarithmic difference as a random variable, we prove a central limit theorem over a large family of hyperelliptic curves with uniform probability measure. Further, over the same family of hyperelliptic curves, we study the distribution of $\F_{q}$-rational points over the moduli space of rank $2$ stable vector bundles with trivial determinant $M^{s}_{\mathcal{O}_{H}}(2,0)$ and it's Seshadri desingularisation ${\widetilde{N}}$ by choosing an appropriate random variable in each case. We also see that the corresponding random variables having standard Gaussian distribution as $g$ and $q$ tends to infinity.
△ Less
Submitted 26 September, 2023;
originally announced September 2023.
-
A bijective proof of an identity of Berkovich and Uncu
Authors:
Aritram Dhar,
Avi Mukhopadhyay
Abstract:
The BG-rank BG($π$) of an integer partition $π$ is defined as $$\text{BG}(π) := i-j$$ where $i$ is the number of odd-indexed odd parts and $j$ is the number of even-indexed odd parts of $π$. In a recent work, Fu and Tang ask for a direct combinatorial proof of the following identity of Berkovich and Uncu $$B_{2N+ν}(k,q)=q^{2k^2-k}\left[\begin{matrix}2N+ν\\N+k\end{matrix}\right]_{q^2}$$ for any int…
▽ More
The BG-rank BG($π$) of an integer partition $π$ is defined as $$\text{BG}(π) := i-j$$ where $i$ is the number of odd-indexed odd parts and $j$ is the number of even-indexed odd parts of $π$. In a recent work, Fu and Tang ask for a direct combinatorial proof of the following identity of Berkovich and Uncu $$B_{2N+ν}(k,q)=q^{2k^2-k}\left[\begin{matrix}2N+ν\\N+k\end{matrix}\right]_{q^2}$$ for any integer $k$ and non-negative integer $N$ where $ν\in \{0,1\}$, $B_N(k,q)$ is the generating function for partitions into distinct parts less than or equal to $N$ with BG-rank equal to $k$ and $\left[\begin{matrix}a+b\\b\end{matrix}\right]_q$ is a Gaussian binomial coefficient. In this paper, we provide a bijective proof of Berkovich and Uncu's identity along the lines of Vandervelde and Fu and Tang's idea.
△ Less
Submitted 11 September, 2024; v1 submitted 14 September, 2023;
originally announced September 2023.
-
On the Performance of Large Loss Systems with Adaptive Multiserver Jobs
Authors:
Samira Ghanbarian,
Arpan Mukhopadhyay,
Fabrice M. Guillemin,
Ravi R. Mazumdar
Abstract:
In this paper, we study systems where each job or request can be split into a flexible number of sub-jobs up to a maximum limit. The number of sub-jobs a job is split into depends on the number of available servers found upon its arrival. All sub-jobs of a job are then processed in parallel at different servers leading to a linear speed-up of the job. We refer to such jobs as {\em adaptive multi-s…
▽ More
In this paper, we study systems where each job or request can be split into a flexible number of sub-jobs up to a maximum limit. The number of sub-jobs a job is split into depends on the number of available servers found upon its arrival. All sub-jobs of a job are then processed in parallel at different servers leading to a linear speed-up of the job. We refer to such jobs as {\em adaptive multi-server jobs}. We study the problem of optimal assignment of such jobs when each server can process at most one sub-job at any given instant and there is no waiting room in the system.
We assume that, upon arrival, a job can only access a randomly sampled subset of $k(n)$ servers from a total of $n$ servers, and the number of sub-jobs is determined based on the number of idle servers within the sampled subset. We analyze the steady-state performance of the system when system load varies according to $λ(n) =1 - βn^{-α}$ for $α\in [0,1)$, and $β\geq 0$. Our interest is to find how large the subset $k(n)$ should be in order to have zero blocking and maximum speed-up in the limit as $n \to \infty$. We first characterize the system's performance when the jobs have access to the full system, i.e., $k(n)=n$. In this setting, we show that the blocking probability approaches to zero at the rate $O(1/\sqrt{n})$ and the mean response time of accepted jobs approaches to its minimum achievable value at rate $O(1/n)$. We then consider the case where the jobs only have access to subset of servers, i.e., $k(n) < n$. We show that as long as $k(n)=ω(n^α)$, the same asymptotic performance can be achieved as in the case with full system access. In particular, for $k(n)=Θ(n^α\log n)$, we show that both the blocking probability and the mean response time approach to their desired limits at rate $O(n^{-(1-α)/2})$.
△ Less
Submitted 31 August, 2023;
originally announced September 2023.
-
On the irreducibility of extended Laguerre Polynomials
Authors:
Anuj Jakhar,
Srinivas Kotyada,
Arunabha Mukhopadhyay
Abstract:
Let $m\geq 1$ and $a_m$ be integers. Let $α$ be a rational number which is not a negative integer such that $α= \frac{u}{v}$ with $\gcd(u,v) = 1, v>0$. Let $φ(x)$ belonging to $\Z[x]$ be a monic polynomial which is irreducible modulo all the primes less than or equal to $vm+u$. Let $a_i(x)$ with $0\leq i\leq m-1$ belonging to $\Z[x]$ be polynomials having degree less than $\degφ(x)$. Assume that t…
▽ More
Let $m\geq 1$ and $a_m$ be integers. Let $α$ be a rational number which is not a negative integer such that $α= \frac{u}{v}$ with $\gcd(u,v) = 1, v>0$. Let $φ(x)$ belonging to $\Z[x]$ be a monic polynomial which is irreducible modulo all the primes less than or equal to $vm+u$. Let $a_i(x)$ with $0\leq i\leq m-1$ belonging to $\Z[x]$ be polynomials having degree less than $\degφ(x)$. Assume that the content of $(a_ma_0(x))$ is not divisible by any prime less than or equal to $vm+u$. In this paper, we prove that the polynomials $L_{m,α}^φ(x) = \frac{1}{m!}(a_mφ(x)^m+\sum\limits_{j=0}^{m-1}b_ja_j(x)φ(x)^j)$ are irreducible over the rationals for all but finitely many $m$, where $b_j = \binom{m}{j}(m+α)(m-1+α)\cdots (j+1+α)~~~\mbox{ for }0\leq j\leq m-1$. Further, we show that $L_{m,α}^φ(x)$ is irreducible over rationals for each $α\in \{0, 1, 2, 3, 4\}$ unless $(m, α) \in \{ (1,0), (2,2), (4,4),(6,4)\}.$ For proving our results, we use the notion of $φ$-Newton polygon and some results from analytic number theory. We illustrate our results through examples.
△ Less
Submitted 12 June, 2023;
originally announced June 2023.
-
High Frobenius pushforwards generate the bounded derived category
Authors:
Matthew R. Ballard,
Srikanth B. Iyengar,
Pat Lank,
Alapan Mukhopadhyay,
Josh Pollitz
Abstract:
This work concerns generators for the bounded derived category of coherent sheaves over a noetherian scheme $X$ of prime characteristic. The main result is that when the Frobenius map on $X$ is finite, for any compact generator $G$ of $\mathsf{D}(X)$ the Frobenius pushforward $F ^e_*G$ generates the bounded derived category whenever $p^e$ is larger than the codepth of $X$, an invariant that is a m…
▽ More
This work concerns generators for the bounded derived category of coherent sheaves over a noetherian scheme $X$ of prime characteristic. The main result is that when the Frobenius map on $X$ is finite, for any compact generator $G$ of $\mathsf{D}(X)$ the Frobenius pushforward $F ^e_*G$ generates the bounded derived category whenever $p^e$ is larger than the codepth of $X$, an invariant that is a measure of the singularity of $X$. The conclusion holds for all positive integers $e$ when $X$ is locally complete intersection. The question of when one can take $G=\mathcal{O}_X$ is also investigated. For smooth projective complete intersections it reduces to a question of generation of the Kuznetsov component.
△ Less
Submitted 13 April, 2023; v1 submitted 31 March, 2023;
originally announced March 2023.
-
The Power of Two Choices with Load Comparison Errors
Authors:
Sanidhay Bhambay,
Arpan Mukhopadhyay,
Thirupathaiah Vasantam
Abstract:
In this paper, we analyze the effects of erroneous load comparisons on the performance of the Po2 scheme. Specifically, we consider load-dependent and load-independent errors. In the load-dependent error model, an incoming job is sent to the server with the larger queue length among the two sampled servers with probability $ε$ if the difference in the queue lengths of the two sampled servers is le…
▽ More
In this paper, we analyze the effects of erroneous load comparisons on the performance of the Po2 scheme. Specifically, we consider load-dependent and load-independent errors. In the load-dependent error model, an incoming job is sent to the server with the larger queue length among the two sampled servers with probability $ε$ if the difference in the queue lengths of the two sampled servers is less than or equal to a constant $g$; no error is made if the queue-length difference is higher than $g$. For this type of errors, we show that the benefits of the Po2 scheme is retained as long as the system size is sufficiently large and $λ$ is sufficiently close to $1$. Furthermore, we show that, unlike the standard Po2 scheme, the performance of the Po2 scheme under this type of errors can be worse than the random scheme if $ε> 1/2$ and $λ$ is sufficiently small. In the load-independent error model, the incoming job is sent to the sampled server with the {\em maximum load} with an error probability of $ε$ independent of the loads of the sampled servers. For this model, we show that the performance benefits of the Po2 scheme are retained only if $ε\leq 1/2$; for $ε> 1/2$ we show that the stability region of the system reduces and the system performs poorly in comparison to the {\em random scheme}.
△ Less
Submitted 14 March, 2023; v1 submitted 1 March, 2023;
originally announced March 2023.
-
Biased Consensus Dynamics on Regular Expander Graphs
Authors:
Oindrila Deb,
Arpan Mukhopadhyay
Abstract:
Consensus protocols play an important role in the study of distributed algorithms. In this paper, we study the effect of bias on two popular consensus protocols, namely, the {\em voter rule} and the {\em 2-choices rule} with binary opinions. We assume that agents with opinion $1$ update their opinion with a probability $q_1$ strictly less than the probability $q_0$ with which update occurs for age…
▽ More
Consensus protocols play an important role in the study of distributed algorithms. In this paper, we study the effect of bias on two popular consensus protocols, namely, the {\em voter rule} and the {\em 2-choices rule} with binary opinions. We assume that agents with opinion $1$ update their opinion with a probability $q_1$ strictly less than the probability $q_0$ with which update occurs for agents with opinion $0$. We call opinion $1$ as the superior opinion and our interest is to study the conditions under which the network reaches consensus on this opinion. We assume that the agents are located on the vertices of a regular expander graph with $n$ vertices. We show that for the voter rule, consensus is achieved on the superior opinion in $O(\log n)$ time with high probability even if system starts with only $Ω(\log n)$ agents having the superior opinion. This is in sharp contrast to the classical voter rule where consensus is achieved in $O(n)$ time and the probability of achieving consensus on any particular opinion is directly proportional to the initial number of agents with that opinion. For the 2-choices rule, we show that consensus is achieved on the superior opinion in $O(\log n)$ time with high probability when the initial proportion of agents with the superior opinion is above a certain threshold. We explicitly characterise this threshold as a function of the strength of the bias and the spectral properties of the graph. We show that for the biased version of the 2-choice rule this threshold can be significantly less than that for the unbiased version of the same rule. Our techniques involve using sharp probabilistic bounds on the drift to characterise the Markovian dynamics of the system.
△ Less
Submitted 16 February, 2023;
originally announced February 2023.
-
Ind-étale vs Formally étale
Authors:
Shubhodip Mondal,
Alapan Mukhopadhyay
Abstract:
We show that when $A$ is a reduced algebra over a characteristic zero field $k$ and the module of Kähler differentials $Ω_{A/k}=0$, then $A$ is ind-étale, partially answering a question of Bhatt. As further applications of this result, we deduce a rigidity property of Hochschild homology and special instances of Weibel's conjecture and Vorst's conjecture without any noetherian assumptions.
We show that when $A$ is a reduced algebra over a characteristic zero field $k$ and the module of Kähler differentials $Ω_{A/k}=0$, then $A$ is ind-étale, partially answering a question of Bhatt. As further applications of this result, we deduce a rigidity property of Hochschild homology and special instances of Weibel's conjecture and Vorst's conjecture without any noetherian assumptions.
△ Less
Submitted 19 September, 2022;
originally announced September 2022.
-
Phase Transitions in Biased Opinion Dynamics with 2-choices Rule
Authors:
Arpan Mukhopadhyay
Abstract:
We consider a model of binary opinion dynamics where one opinion is inherently 'superior' than the other and social agents exhibit a 'bias' towards the superior alternative. Specifically, it is assumed that an agent updates its choice to the superior alternative with probability $α>0$ irrespective of its current opinion and the opinions of the other agents. With probability $1-α$ it adopts the maj…
▽ More
We consider a model of binary opinion dynamics where one opinion is inherently 'superior' than the other and social agents exhibit a 'bias' towards the superior alternative. Specifically, it is assumed that an agent updates its choice to the superior alternative with probability $α>0$ irrespective of its current opinion and the opinions of the other agents. With probability $1-α$ it adopts the majority opinion among two randomly sampled neighbours and itself. We are interested in the time it takes for the network to converge to a consensus state where all the agents adopt the superior alternative. In a fully connected network of size $n$, we show that irrespective of the initial configuration of the network, the average time to reach consensus scales as $Θ(n \log n)$ when the bias parameter $α$ is sufficiently high, i.e., $α> α_c$ where $α_c$ is a threshold parameter that is uniquely characterised. When the bias is low, i.e., when $α\in (0,α_c]$, we show that the same rate of convergence can only be achieved if the initial proportion of agents with the superior opinion is above certain threshold $p_c(α)$. If this is not the case, then we show that the network takes $Ω(\exp(Θ(n)))$ time on average to reach consensus. Through numerical simulations we observe similar behaviour for other classes of graphs.
△ Less
Submitted 11 February, 2023; v1 submitted 25 August, 2022;
originally announced August 2022.
-
On higher dimensional Poissonian pair correlation
Authors:
Tanmoy Bera,
Mithun Kumar Das,
Anirban Mukhopadhyay
Abstract:
In this article we study the pair correlation statistic for higher dimensional sequences. We show that for any $d\geq 2$, strictly increasing sequences $(a_n^{(1)}),\ldots, (a_n^{(d)})$ of natural numbers have metric Poissonian pair correlation with respect to sup-norm if their joint additive energy is $O(N^{3-δ})$ for any $δ>0$. Further, in two dimension, we establish an analogous result with res…
▽ More
In this article we study the pair correlation statistic for higher dimensional sequences. We show that for any $d\geq 2$, strictly increasing sequences $(a_n^{(1)}),\ldots, (a_n^{(d)})$ of natural numbers have metric Poissonian pair correlation with respect to sup-norm if their joint additive energy is $O(N^{3-δ})$ for any $δ>0$. Further, in two dimension, we establish an analogous result with respect to $2$-norm. As a consequence, it follows that $(\{nα\}, \{n^2β\})$ and $(\{nα\}, \{[n\log^An]β\})$ ($A \in [1,2]$) have Poissonian pair correlation for almost all $(α,β)\in \mathbb{R}^2$ with respect to sup-norm and $2$-norm. This gives a negative answer to the question raised by Hofer and Kaltenböck [15]. The proof uses estimates for 'Generalized' GCD-sums.
△ Less
Submitted 17 August, 2023; v1 submitted 6 July, 2022;
originally announced July 2022.
-
A Model of Job Parallelism for Latency Reduction in Large-Scale Systems
Authors:
Ayalvadi Ganesh,
Arpan Mukhopadhyay
Abstract:
Processing computation-intensive jobs at multiple processing cores in parallel is essential in many real-world applications. In this paper, we consider an idealised model for job parallelism in which a job can be served simultaneously by $d$ distinct servers. The job is considered complete when the total amount of work done on it by the $d$ servers equals its size. We study the effect of paralleli…
▽ More
Processing computation-intensive jobs at multiple processing cores in parallel is essential in many real-world applications. In this paper, we consider an idealised model for job parallelism in which a job can be served simultaneously by $d$ distinct servers. The job is considered complete when the total amount of work done on it by the $d$ servers equals its size. We study the effect of parallelism on the average delay of jobs. Specifically, we analyze a system consisting of $n$ parallel processor sharing servers in which jobs arrive according to a Poisson process of rate $n λ$ ($λ<1$) and each job brings an exponentially distributed amount of work with unit mean. Upon arrival, a job selects $d$ servers uniformly at random and joins all the chosen servers simultaneously. We show by a mean-field analysis that, for fixed $d \geq 2$ and large $n$, the average occupancy of servers is $O(\log (1/(1-λ)))$ as $λ\to 1$ in comparison to $O(1/(1-λ))$ average occupancy for $d=1$. Thus, we obtain an exponential reduction in the response time of jobs through parallelism. We make significant progress towards rigorously justifying the mean-field analysis.
△ Less
Submitted 20 July, 2022; v1 submitted 16 March, 2022;
originally announced March 2022.
-
Asymptotic Optimality of Speed-Aware JSQ for Heterogeneous Systems
Authors:
Sanidhay Bhambay,
Arpan Mukhopadhyay
Abstract:
The Join-the-Shortest-Queue (JSQ) load-balancing scheme is known to minimise the average delay of jobs in homogeneous systems consisting of identical servers. However, it performs poorly in heterogeneous systems where servers have different processing rates. Finding a delay optimal scheme remains an open problem for heterogeneous systems. In this paper, we consider a speed-aware version of the JSQ…
▽ More
The Join-the-Shortest-Queue (JSQ) load-balancing scheme is known to minimise the average delay of jobs in homogeneous systems consisting of identical servers. However, it performs poorly in heterogeneous systems where servers have different processing rates. Finding a delay optimal scheme remains an open problem for heterogeneous systems. In this paper, we consider a speed-aware version of the JSQ scheme for heterogeneous systems and show that it achieves delay optimality in the fluid limit. One of the key issues in establishing this optimality result for heterogeneous systems is to show that the sequence of steady-state distributions indexed by the system size is tight in an appropriately defined space. The usual technique for showing tightness by coupling with a suitably defined dominant system does not work for heterogeneous systems. To prove tightness, we devise a new technique that uses the drift of exponential Lyapunov functions. Using the non-negativity of the drift, we show that the stationary queue length distribution has an exponentially decaying tail - a fact we use to prove tightness. Another technical difficulty arises due to the complexity of the underlying state-space and the separation of two time-scales in the fluid limit. Due to these factors, the fluid-limit turns out to be a function of the invariant distribution of a multi-dimensional Markov chain which is hard to characterise. By using some properties of this invariant distribution and using the monotonicity of the system, we show that the fluid limit is has a unique and globally attractive fixed point.
△ Less
Submitted 1 October, 2022; v1 submitted 3 March, 2022;
originally announced March 2022.
-
Generalization of the Extended Minimal Excludant of Andrews and Newman
Authors:
Aritram Dhar,
Avi Mukhopadhyay,
Rishabh Sarma
Abstract:
In a recent pioneering work, Andrews and Newman defined an extended function $p_{A,a}(n)$ of their minimal excludant or "mex" of a partition function. By considering the special cases $p_{k,k}(n)$ and $p_{2k,k}(n)$, they unearthed connections to the rank and crank of partitions and some restricted partitions. In this paper, we build on their work and obtain more general results associating the ext…
▽ More
In a recent pioneering work, Andrews and Newman defined an extended function $p_{A,a}(n)$ of their minimal excludant or "mex" of a partition function. By considering the special cases $p_{k,k}(n)$ and $p_{2k,k}(n)$, they unearthed connections to the rank and crank of partitions and some restricted partitions. In this paper, we build on their work and obtain more general results associating the extended mex function with the number of partitions of an integer with arbitrary bound on the rank and crank. We also derive a new result expressing the smallest parts function of Andrews as a finite sum of the extended mex function in consideration with a curious coefficient. We also obtain a few restricted partition identities with some reminiscent of shifted partition identities. Finally, we define and explore a new minimal excludant for overpartitions.
△ Less
Submitted 25 January, 2024; v1 submitted 16 January, 2022;
originally announced January 2022.
-
Frobenius-Poincaré function and Hilbert-Kunz multiplicity
Authors:
Alapan Mukhopadhyay
Abstract:
We generalize the notion of Hilbert-Kunz multiplicity of a graded triple $(M,R,I)$ in characteristic $p>0$ by proving that for any complex number $y$, the limit
$$\underset{n \to \infty}{\lim}(\frac{1}{p^n})^{\text{dim}(M)}\sum \limits_{j= -\infty}^{\infty}λ\left( (\frac{M}{I^{[p^n]}M})_j\right)e^{-iyj/p^n}$$ exists. We prove that the limiting function in the complex variable $y$ is entire and n…
▽ More
We generalize the notion of Hilbert-Kunz multiplicity of a graded triple $(M,R,I)$ in characteristic $p>0$ by proving that for any complex number $y$, the limit
$$\underset{n \to \infty}{\lim}(\frac{1}{p^n})^{\text{dim}(M)}\sum \limits_{j= -\infty}^{\infty}λ\left( (\frac{M}{I^{[p^n]}M})_j\right)e^{-iyj/p^n}$$ exists. We prove that the limiting function in the complex variable $y$ is entire and name this function the \textit{Frobenius-Poincaré function}. We establish various properties of Frobenius-Poincaré functions including its relation with the tight closure of the defining ideal $I$; and relate the study Frobenius-Poincaré functions to the behaviour of graded Betti numbers of $\frac{R}{I^{[p^n]}} $ as $n$ varies. Our description of Frobenius-Poincaré functions in dimension one and two and other examples raises questions on the structure of Frobenius-Poincaré functions in general.
△ Less
Submitted 20 June, 2024; v1 submitted 7 January, 2022;
originally announced January 2022.
-
On the explicit Galois group of $\mathbb{Q}(\sqrt{a_{1}}, \sqrt{a_{2}}, \dots, \sqrt{a_{n}}, ζ_{d})$ over $\mathbb{Q}$
Authors:
Karthick Babu C G,
Anirban Mukhopadhyay,
Sehra Sahu
Abstract:
Let $S= \{ a_{1}, a_{2}, \dots, a_{n} \}$ be a finite set of non-zero integers. In \cite{KBAM21}, Karthick Babu and Anirban Mukhopadhyay calculated the explicit structure of the Galois group of multi-quadratic field $\mathbb{Q}(\sqrt{a_{1}}, \sqrt{a_{2}}, \dots, \sqrt{a_{n}})$ over $\mathbb{Q}$. For a positive integer $d \geq 3$, $ζ_{d}$ denotes the primitive $d$-th root of unity. In this paper, w…
▽ More
Let $S= \{ a_{1}, a_{2}, \dots, a_{n} \}$ be a finite set of non-zero integers. In \cite{KBAM21}, Karthick Babu and Anirban Mukhopadhyay calculated the explicit structure of the Galois group of multi-quadratic field $\mathbb{Q}(\sqrt{a_{1}}, \sqrt{a_{2}}, \dots, \sqrt{a_{n}})$ over $\mathbb{Q}$. For a positive integer $d \geq 3$, $ζ_{d}$ denotes the primitive $d$-th root of unity. In this paper, we calculate the explicit structure of the Galois group of $\mathbb{Q}(\sqrt{a_{1}}, \sqrt{a_{2}}, \dots, \sqrt{a_{n}}, ζ_{d})$ over $\mathbb{Q}$ in terms of its action on $ζ_{d}$ and $\sqrt{a_{i}}$ for $1 \leq i \leq n$.
△ Less
Submitted 4 January, 2022;
originally announced January 2022.
-
Reducedness of formally unramified algebras over fields
Authors:
Alapan Mukhopadhyay,
Karen E. Smith
Abstract:
We prove that under suitable graded and local hypothesis, a formally unramified algebra over a field must be reduced. We detail examples, including one due to Gabber, to show that it is not possible to generalize these results further.
We prove that under suitable graded and local hypothesis, a formally unramified algebra over a field must be reduced. We detail examples, including one due to Gabber, to show that it is not possible to generalize these results further.
△ Less
Submitted 12 May, 2020;
originally announced May 2020.
-
Voter and Majority Dynamics with Biased and Stubborn Agents
Authors:
Arpan Mukhopadhyay,
Ravi R. Mazumdar,
Rahul Roy
Abstract:
We study binary opinion dynamics in a fully connected network of interacting agents. The agents are assumed to interact according to one of the following rules: (1) Voter rule: An updating agent simply copies the opinion of another randomly sampled agent; (2) Majority rule: An updating agent samples multiple agents and adopts the majority opinion in the selected group. We focus on the scenario whe…
▽ More
We study binary opinion dynamics in a fully connected network of interacting agents. The agents are assumed to interact according to one of the following rules: (1) Voter rule: An updating agent simply copies the opinion of another randomly sampled agent; (2) Majority rule: An updating agent samples multiple agents and adopts the majority opinion in the selected group. We focus on the scenario where the agents are biased towards one of the opinions called the {\em preferred opinion}. Using suitably constructed branching processes, we show that under both rules the mean time to reach consensus is $Θ(\log N)$, where $N$ is the number of agents in the network. Furthermore, under the majority rule model, we show that consensus can be achieved on the preferred opinion with high probability even if it is initially the opinion of the minority. We also study the majority rule model when stubborn agents with fixed opinions are present. We find that the stationary distribution of opinions in the network in the large system limit using mean field techniques.
△ Less
Submitted 28 March, 2020; v1 submitted 5 March, 2020;
originally announced March 2020.
-
Semi-dynamic Algorithms for Strongly Chordal Graphs
Authors:
Md. Zamilur Rahman,
Asish Mukhopadhyay
Abstract:
There is an extensive literature on dynamic algorithms for a large number of graph theoretic problems, particularly for all varieties of shortest path problems. Germane to this paper are a number fully dynamic algorithms that are known for chordal graphs. However, to the best of our knowledge no study has been done for the problem of dynamic algorithms for strongly chordal graphs. To address this…
▽ More
There is an extensive literature on dynamic algorithms for a large number of graph theoretic problems, particularly for all varieties of shortest path problems. Germane to this paper are a number fully dynamic algorithms that are known for chordal graphs. However, to the best of our knowledge no study has been done for the problem of dynamic algorithms for strongly chordal graphs. To address this gap, in this paper, we propose a semi-dynamic algorithm for edge-deletions and a semi-dynamic algorithm for edge-insertions in a strongly chordal graph, $G = (V, E)$, on $n$ vertices and $m$ edges. The query complexity of an edge-deletion is $O(d_u^2d_v^2 (n + m))$, where $d_u$ and $d_v$ are the degrees of the vertices $u$ and $v$ of the candidate edge $\{u, v\}$, while the query-complexity of an edge-insertion is $O(n^2)$.
△ Less
Submitted 30 January, 2020;
originally announced February 2020.
-
Strongly Chordal Graph Generation using Intersection Graph Characterisation
Authors:
Md. Zamilur Rahman,
Asish Mukhopadhyay
Abstract:
Strongly chordal graphs are a subclass of chordal graphs. Farber also established a number of different characterisations for this class of graphs. These include an intersection graph characterisation that is analogous to a similar characterisation for chordal graphs. Seker et al. exploited this characterisation of chordal graphs to obtain an algorithm for generating them. In this paper, we propos…
▽ More
Strongly chordal graphs are a subclass of chordal graphs. Farber also established a number of different characterisations for this class of graphs. These include an intersection graph characterisation that is analogous to a similar characterisation for chordal graphs. Seker et al. exploited this characterisation of chordal graphs to obtain an algorithm for generating them. In this paper, we propose an algorithm to show that strongly chordal graphs can also be generated using their intersection graph characterisation.
△ Less
Submitted 25 July, 2019;
originally announced September 2019.
-
Correlation of multiplicative functions over function fields
Authors:
Pranendu Darbar,
Anirban Mukhopadhyay
Abstract:
In this article we study the asymptotic behaviour of the correlation functions over polynomial ring $\mathbb{F}_q[x]$. Let $\mathcal{M}_{n, q}$ and $\mathcal{P}_{n, q}$ be the set of all monic polynomials and monic irreducible polynomials of degree $n$ over $\mathbb{F}_q$ respectively. For multiplicative functions $ψ_1$ and $ψ_2$ on $\mathbb{F}_q[x]$, we obtain asymptotic formula for the following…
▽ More
In this article we study the asymptotic behaviour of the correlation functions over polynomial ring $\mathbb{F}_q[x]$. Let $\mathcal{M}_{n, q}$ and $\mathcal{P}_{n, q}$ be the set of all monic polynomials and monic irreducible polynomials of degree $n$ over $\mathbb{F}_q$ respectively. For multiplicative functions $ψ_1$ and $ψ_2$ on $\mathbb{F}_q[x]$, we obtain asymptotic formula for the following correlation functions for a fixed $q$ and $n\to \infty$ \begin{align*} &S_{2}(n, q):=\displaystyle\sum_{f\in \mathcal{M}_{n, q}}ψ_1(f+h_1) ψ_2(f+h_2), \\ &R_2(n, q):=\displaystyle\sum_{P\in \mathcal{P}_{n, q}}ψ_1(P+h_1)ψ_2(P+h_2), \end{align*} where $h_1, h_2$ are fixed polynomials of degree $<n$ over $\mathbb{F}_q$. As a consequence, for real valued additive functions $\tilde{ψ_1}$ and $\tilde{ψ_2}$ on $\mathbb{F}_q[x]$ we show that for a fixed $q$ and $n\to \infty$, the following distribution functions \begin{align*} &\frac{1}{|\mathcal{M}_{n, q}|}\Big|\{f\in \mathcal{M}_{n, q} : \tilde{ψ_1}(f+h_1)+\tilde{ψ_2}(f+h_2)\leq x\}\Big|,\\ & \frac{1}{|\mathcal{P}_{n, q}|}\Big|\{P\in \mathcal{P}_{n, q} : \tilde{ψ_1}(P+h_1)+\tilde{ψ_2}(P+h_2)\leq x\}\Big| \end{align*} converges weakly towards a limit distribution.
△ Less
Submitted 30 August, 2022; v1 submitted 22 May, 2019;
originally announced May 2019.
-
Omega Theorems for The Twisted Divisor Function
Authors:
Kamalakshya Mahatab,
Anirban Mukhopadhyay
Abstract:
For a fixed $θ\neq 0$, we define the twisted divisor function $$ τ(n, θ):=\sum_{d\mid n}d^{iθ}\ .$$ In this article we consider the error term $Δ(x)$ in the following asymptotic formula $$ \sum_{n\leq x}^*|τ(n, θ)|^2=ω_1(θ)x\log x + ω_2(θ)x\cos(θ\log x) +ω_3(θ)x + Δ(x),$$ where $ω_i(θ)$ for $i=1, 2, 3$ are constants depending only on $θ$. We obtain…
▽ More
For a fixed $θ\neq 0$, we define the twisted divisor function $$ τ(n, θ):=\sum_{d\mid n}d^{iθ}\ .$$ In this article we consider the error term $Δ(x)$ in the following asymptotic formula $$ \sum_{n\leq x}^*|τ(n, θ)|^2=ω_1(θ)x\log x + ω_2(θ)x\cos(θ\log x) +ω_3(θ)x + Δ(x),$$ where $ω_i(θ)$ for $i=1, 2, 3$ are constants depending only on $θ$. We obtain $$Δ(T)=Ω\left(T^{α(T)}\right) \text{ where } α(T) =\frac{3}{8}-\frac{c}{(\log T)^{1/8}} \text{ and } c>0,$$ along with an $Ω$-bound for the Lebesgue measure of the set of points where the above estimate holds.
△ Less
Submitted 26 July, 2018;
originally announced July 2018.
-
Bombieri-type theorem for convolution of arithmetic functions on Number field
Authors:
Pranendu Darbar,
Anirban Mukhopadhyay
Abstract:
Let $K$ be an imaginary quadratic number field of class number one and $\mathcal{O}_K$ be its ring of integers. We show that, if the arithmetic functions $f, g:\mathcal{O}_K\rightarrow \mathbb{C}$ both have level of distribution $\vartheta$ for some $0<\vartheta\leq 1/2$ then the Dirichlet convolution $f*g$ also have level of distribution $\vartheta$.
Let $K$ be an imaginary quadratic number field of class number one and $\mathcal{O}_K$ be its ring of integers. We show that, if the arithmetic functions $f, g:\mathcal{O}_K\rightarrow \mathbb{C}$ both have level of distribution $\vartheta$ for some $0<\vartheta\leq 1/2$ then the Dirichlet convolution $f*g$ also have level of distribution $\vartheta$.
△ Less
Submitted 11 April, 2018;
originally announced April 2018.
-
Bounded gaps between product of two primes in imaginary quadratic number fields
Authors:
Pranendu Darbar,
Anirban Mukhopadhyay,
G. K. Viswanadham
Abstract:
We study the gaps between products of two primes in imaginary quadratic number fields using a combination of the methods of Goldston-Graham-Pintz-Yildirim \cite{GGPY}, and Maynard \cite{MAY}. An important consequence of our main theorem is existence of infinitely many pairs $α_1, α_2$ which are product of two primes in the imaginary quadratic field $K$ such that $|σ(α_1-α_2)|\leq 2$ for all embedd…
▽ More
We study the gaps between products of two primes in imaginary quadratic number fields using a combination of the methods of Goldston-Graham-Pintz-Yildirim \cite{GGPY}, and Maynard \cite{MAY}. An important consequence of our main theorem is existence of infinitely many pairs $α_1, α_2$ which are product of two primes in the imaginary quadratic field $K$ such that $|σ(α_1-α_2)|\leq 2$ for all embedding $σ$ of $K$ if the class number of $K$ is one and $|σ(α_1-α_2)|\leq 8$ for all embedding $σ$ of $K$ if the class number of $K$ is two.
△ Less
Submitted 8 August, 2020; v1 submitted 6 November, 2017;
originally announced November 2017.
-
Multi-point Seshadri constants on ruled surfaces
Authors:
Krishna Hanumanthu,
Alapan Mukhopadhyay
Abstract:
Let $X$ be a surface and let $L$ be an ample line bundle on $X$. We first obtain a lower bound for the Seshadri constant $\varepsilon(X,L,r)$, when $r \ge 3$. We then assume that $X$ is a ruled surface and study Seshadri constants on $X$ in greater detail. We also make precise computations of Seshadri constants on $X$ in some cases.
Let $X$ be a surface and let $L$ be an ample line bundle on $X$. We first obtain a lower bound for the Seshadri constant $\varepsilon(X,L,r)$, when $r \ge 3$. We then assume that $X$ is a ruled surface and study Seshadri constants on $X$ in greater detail. We also make precise computations of Seshadri constants on $X$ in some cases.
△ Less
Submitted 24 January, 2017; v1 submitted 25 October, 2016;
originally announced October 2016.
-
Exponential Stability and the Markus-Yamabe Conjecture in Compact Spaces
Authors:
Ravi Mazumdar,
Christopher Nielsen,
Arpan Mukhopadhyay
Abstract:
In this note we show that if a continuous-time, nonlinear, time-invariant, finite-dimensional system evolves on a compact subset of Rn and if the Jacobian of the vector field is Hurwitz at each point of the compact set, then there is a unique equilibrium on the set and solutions exponentially converge to it. This shows that the Markus-Yamabe conjecture, which is false in general on Rn, n>2, holds…
▽ More
In this note we show that if a continuous-time, nonlinear, time-invariant, finite-dimensional system evolves on a compact subset of Rn and if the Jacobian of the vector field is Hurwitz at each point of the compact set, then there is a unique equilibrium on the set and solutions exponentially converge to it. This shows that the Markus-Yamabe conjecture, which is false in general on Rn, n>2, holds on compact sets. The results of this note can be viewed as an application of Krasovskii's method for constructing Lyapunov functions and we are able to similarly construct Lyapunov-like functions valid on the given compact set. Examples are provided to illustrate the result.
△ Less
Submitted 2 September, 2016; v1 submitted 30 August, 2016;
originally announced August 2016.
-
Measure Theoretic Aspects of Oscillations of Error Terms
Authors:
Kamalakshya Mahatab,
Anirban Mukhopadhyay
Abstract:
We consider fluctuations of error terms $Δ(x)$ appearing in the asymptotic formula for a summatory function of coefficients of the Dirichlet series. These are quantified via $Ω$ and $Ω_{\pm}$ estimates. We obtain $Ω$ bounds for Lebesgue measure of the sets $$\{T\leq x \leq 2T: Δ(x)>λx^α\} \text{ and } \{T\leq x \leq 2T: Δ(x)< -λx^α\}$$ for some $α, λ>0$. Primary aim of this article is to develop a…
▽ More
We consider fluctuations of error terms $Δ(x)$ appearing in the asymptotic formula for a summatory function of coefficients of the Dirichlet series. These are quantified via $Ω$ and $Ω_{\pm}$ estimates. We obtain $Ω$ bounds for Lebesgue measure of the sets $$\{T\leq x \leq 2T: Δ(x)>λx^α\} \text{ and } \{T\leq x \leq 2T: Δ(x)< -λx^α\}$$ for some $α, λ>0$. Primary aim of this article is to develop a general framework to approach these problems. We rediscover several classical results in general setting with weak assumptions. Moreover, several applications of these methods have been discussed and new results have been obtained for some Dirichlet series.
△ Less
Submitted 26 July, 2018; v1 submitted 10 December, 2015;
originally announced December 2015.
-
Randomized Assignment of Jobs to Servers in Heterogeneous Clusters of Shared Servers for Low Delay
Authors:
Arpan Mukhopadhyay,
A. Karthik,
Ravi R. Mazumdar
Abstract:
We consider the job assignment problem in a multi-server system consisting of $N$ parallel processor sharing servers, categorized into $M$ ($\ll N$) different types according to their processing capacity or speed. Jobs of random sizes arrive at the system according to a Poisson process with rate $N λ$. Upon each arrival, a small number of servers from each type is sampled uniformly at random. The…
▽ More
We consider the job assignment problem in a multi-server system consisting of $N$ parallel processor sharing servers, categorized into $M$ ($\ll N$) different types according to their processing capacity or speed. Jobs of random sizes arrive at the system according to a Poisson process with rate $N λ$. Upon each arrival, a small number of servers from each type is sampled uniformly at random. The job is then assigned to one of the sampled servers based on a selection rule. We propose two schemes, each corresponding to a specific selection rule that aims at reducing the mean sojourn time of jobs in the system.
We first show that both methods achieve the maximal stability region. We then analyze the system operating under the proposed schemes as $N \to \infty$ which corresponds to the mean field. Our results show that asymptotic independence among servers holds even when $M$ is finite and exchangeability holds only within servers of the same type. We further establish the existence and uniqueness of stationary solution of the mean field and show that the tail distribution of server occupancy decays doubly exponentially for each server type. When the estimates of arrival rates are not available, the proposed schemes offer simpler alternatives to achieving lower mean sojourn time of jobs, as shown by our numerical studies.
△ Less
Submitted 20 February, 2015;
originally announced February 2015.
-
An inventory model with shortages for imperfect items using substitution of two products
Authors:
Arindum Mukhopadhyay,
A. Goswami
Abstract:
Inventory models with imperfect quality items are studied by researchers in past two decades. Till now none of them have considered the effect of substitutions to cope up with shortage and avoid lost sales. This paper presents an EOQ approach for inventory system with shortages and two types of products with imperfect quality by one way substitution. Our model provides significant advantage for su…
▽ More
Inventory models with imperfect quality items are studied by researchers in past two decades. Till now none of them have considered the effect of substitutions to cope up with shortage and avoid lost sales. This paper presents an EOQ approach for inventory system with shortages and two types of products with imperfect quality by one way substitution. Our model provides significant advantage for substitution case while maintaining its inherent simplicity. We have provided numerical example and sensitivity analysis to justify the effectiveness of our model. It is observed that, presence of imperfect items affect the lot size of minor and major products differently. Under certain conditions, our model generalizes the previous existing models in this direction.
△ Less
Submitted 3 April, 2014; v1 submitted 20 March, 2014;
originally announced March 2014.
-
Analysis of Load Balancing in Large Heterogeneous Processor Sharing Systems
Authors:
Arpan Mukhopadhyay,
Ravi R. Mazumdar
Abstract:
We analyze randomized dynamic load balancing schemes for multi-server processor sharing systems when the number of servers in the system is large and the servers have heterogeneous service rates. In particular, we focus on the classical power-of-two load balancing scheme and a variant of it in which a newly arrived job is assigned to the server having the least instantaneous Lagrange shadow cost a…
▽ More
We analyze randomized dynamic load balancing schemes for multi-server processor sharing systems when the number of servers in the system is large and the servers have heterogeneous service rates. In particular, we focus on the classical power-of-two load balancing scheme and a variant of it in which a newly arrived job is assigned to the server having the least instantaneous Lagrange shadow cost among two randomly chosen servers. The instantaneous Lagrange shadow cost at a server is given by the ratio of the number of unfinished jobs at the server to the capacity of the server. Two different approaches of analysis are presented for each scheme. For exponential job length distribution, the analysis is done using the mean field approach and for more general job length distributions the analysis is carried out assuming an asymptotic independence property. Analytical expressions to compute mean sojourn time of jobs are found for both schemes. Asymptotic insensitivity of the schemes to the type of job length distribution is established. Numerical results are presented to validate the theoretical results and to show that, unlike the homogeneous scenario, the power-of-two type schemes considered in this paper may not always result in better behaviour in terms of the mean sojourn time of jobs.
△ Less
Submitted 9 February, 2015; v1 submitted 22 November, 2013;
originally announced November 2013.
-
On the zeros of the Epstein zeta function
Authors:
Anirban Mukhopadhyay,
Krishnan Rajkumar,
Kotyada Srinivas
Abstract:
In this article, we count the number of consecutive zeros of the Epstein zeta-function, associated to a certain quadratic form, on the critical line with ordinates lying in $[0,T], T$ sufficiently large and which are separated apart by a given positive number $V$.
In this article, we count the number of consecutive zeros of the Epstein zeta-function, associated to a certain quadratic form, on the critical line with ordinates lying in $[0,T], T$ sufficiently large and which are separated apart by a given positive number $V$.
△ Less
Submitted 2 February, 2011;
originally announced February 2011.
-
Counting squarefree discriminants of trinomials under abc
Authors:
Anirban Mukhopadhyay,
M. Ram Murty,
Kotyada Srinivas
Abstract:
For an odd positive integer $n\ge 5$, assuming the truth of the $abc$ conjecture, we show that for a positive proportion of pairs $(a,b)$ of integers the trinomials of the form $t^n+at+b (a,b\in \mathbb Z)$ are irreducible and their discriminants are squarefree.
For an odd positive integer $n\ge 5$, assuming the truth of the $abc$ conjecture, we show that for a positive proportion of pairs $(a,b)$ of integers the trinomials of the form $t^n+at+b (a,b\in \mathbb Z)$ are irreducible and their discriminants are squarefree.
△ Less
Submitted 4 August, 2008;
originally announced August 2008.
-
On the Oppenheim's "factorisatio numerorum" function
Authors:
Florian Luca,
Anirban Mukhopadhyay,
Kotyada Srinivas
Abstract:
Let $f(n)$ denote the number of distinct unordered factorisations of the natural number $n$ into factors larger than 1.In this paper, we address some aspects of the function $f(n)$.
Let $f(n)$ denote the number of distinct unordered factorisations of the natural number $n$ into factors larger than 1.In this paper, we address some aspects of the function $f(n)$.
△ Less
Submitted 7 July, 2008;
originally announced July 2008.
-
On the zeros of functions in the Selberg class
Authors:
Anirban Mukhopadhyay,
Kotyada Srinivas,
Krishnan Rajkumar
Abstract:
It is proved that under some suitable conditions, the degree two functions in the Selberg class have infinitely many zeros on the critical line.
It is proved that under some suitable conditions, the degree two functions in the Selberg class have infinitely many zeros on the critical line.
△ Less
Submitted 5 February, 2011; v1 submitted 4 April, 2008;
originally announced April 2008.
