arXiv subjects

Mayank Pandey

Publications and source records attributed to Mayank Pandey.

At least 19 recordsLinked to original sources

arXiv2026

Decentralized network congestion control for DAG-based distributed ledger system

We propose a variable and behavior-based node-specific proof-of-work (PoW) model for a directed acyclic graph (DAG)-based distributed ledger technology (DLT) network to mitigate decentralized network congestion control. Network congestion control for centralized communication systems is an established field of study, with detailed and continuous research being done on the subject. However, attention to congestion control in decentralized networks is relatively recent and underexplored, especially with DLT, such as blockchain and DAG-based networks. For the DLT networks, the network congestion is caused by factors such as transaction spamming, an increase in the user base, and the launch of new tokens. We focus on the congestion caused by the spamming of transactions within the blockchain and DAG-based DLT network. Based on the network throughput of transactions per second and consensus procedure, the DAG-based DLT needs to control network spamming more than the blockchain network. The PoW model within the DLT consensus framework is a limited deterrent against spamming. Our model provides equal opportunities for all stakeholders regardless of their computational resources. It prevents and penalizes any node that attempts to spam or dominate the network with more than the prescribed number of transactions. Since the system nodes compete to issue transactions with finite network resources, we display the system behavior through a non-cooperative game. Further, we show that our model enforces prescribed behavior amongst the nodes through the proof of the existence of Nash equilibrium in the game.

cs.CR↗

arXiv2026

Observer-Based Robust Control for an Aerial Manipulator System under Unknown External Disturbances

This paper addresses the mathematical modeling and control of an aerial manipulator system comprising a quadrotor as the uncrewed aerial vehicle and a robotic arm as the manipulator. The dynamic model is established by identifying the overall center-of-mass velocity and the system's orientation as constraints, yielding a simplified, two-decoupled subsystems: a locked (overall translation) subsystem and a shape-space (actuation or overall rotation) subsystem, both subjected to external disturbances. Since the system is mechanically coupled, a critical challenge arises where constant bounded disturbances in the first subsystem manifest as time-varying, state-dependent disturbances in the second subsystem. Given that the quadrotor is inherently unstable, the movement of the robotic manipulator (RM) during flight can further jeopardize the stability of the entire QRM system if these disturbances and coupling effects are not effectively managed. To address this, we present a continuous nonlinear disturbance observer-based feedback control law, which enables the independent control of each subsystem while systematically eliminating cross-coupling effects. The efficacy of the proposed controller is validated through multiple simulations emulating practical operating conditions, thereby substantiating its real-world applicability and highlighting the core contributions of this work.

eess.SY↗

arXiv2026

Exponential sums over primes

Let $\alpha=a/q+\epsilon$ with $(a,q)=1$, $q\le N^{1/2}$ and $|\epsilon|\le 1/(qN^{1/2})$, and let $B:=\max(q,qN|\epsilon|)$. We show that \[ \Bigl|\sum_{n<N}\Lambda(n)e(n\alpha)\Bigr|\le N^{o(1)}\Bigl(\frac{N}{B^{1/2}}+N^{19/24}\Bigr). \] This improves on the classical bound of Vinogradov from 1937, which has $N^{4/5}$ in place of $N^{19/24}$.

math.NT↗

arXiv2026

Squarefree numbers in short intervals: explicit and formalized

We make explicit and formalize a result of the author on squarefree numbers in short intervals, showing that for $0 < \varepsilon\le 1/90935 $, $X\ge \exp(10^{27}/\varepsilon^2)$, $H = X^{1/5 - 2/90935 + \varepsilon}$, we have that \[ \biggl|\sum_{X\le n\le X + H } \mu(n)^2 - \frac{6}{\pi^2}H\biggr| \le \frac{10^{450}}{\varepsilon} H X^{-\varepsilon/10^{25}}. \] This article gives an account of what went into making the exponent explicit. The Github repository linked contains the formalization in Lean 4 as well as an account of what went into the largely automated formalization.

math.NT↗

arXiv2026

Kernel-Level Per-Slice UPF Latency Measurement in Containerised 5G Core Networks

The 5G Core User Plane Function is responsible for packet forwarding, GTP-U decapsulation, and quality of service enforcement for every user data session. How the UPF behaves under simultaneous multi-slice workloads remains empirically uncharacterised in the open literature. Specifically, how its forwarding latency responds to load, how well it isolates one slice from another, and what timing budgets remain available for intelligent control are all open questions. This paper presents a measurement study conducted on a containerised open5GS deployment with three concurrent network slices. We design and implement a namespace-aware TC-BPF instrumentation framework that resolves the fundamental obstacle preventing existing tools from attributing latency observations to individual containerised network functions. We deploy eMBB, URLLC, and mMTC slices with realistic application traffic under light, medium, and heavy load conditions and collect approximately 28 million matched N3 to N6 forwarding delay pairs. The gathered results reveal that eMBB forwarding delay is load-sensitive with the 99th percentile growing from 574 to 1,243 microseconds across load conditions. URLLC delay is load-insensitive, confirming per-UPF process isolation. mMTC exhibits wide-tail TCP behaviour. On this platform, N4 PFCP session modification latency remains consistently below 200 microseconds regardless of data-plane load, suggesting substantial timing headroom within the two-millisecond budget assumed by AI-driven UPF orchestration designs. The instrumentation framework, experiment scripts, and dataset schema are released at https://github.com/MP-Akhil-5G/open5gs-slice-measurement.

cs.NI↗

arXiv2026

The divisor function along sums of two biquadrates

We establish power saving asymptotics for the sum of the divisor function along a binary quartic form, improving on work of Daniel. The proof involves an application of a recent two dimensional delta method due to Li, Rydin-Myerson, and Vishe and an exploitation of $\mathrm{GL}_2$ automorphic forms arising from the factorization of varying cubic Dedekind zeta functions.

math.NT↗

arXiv2025

$L^1$ means of exponential sums with multiplicative coefficients. II

Let $f$ be a real-valued $1$-bounded multiplicative function. Suppose that the mean-value of $f^{2}$ exists, and $$\int_{0}^{1} \Big | \sum_{n \leq N} f(n)e^{2\pi i n \alpha} \Big | d \alpha\leq N^{o(1)}$$ as $N \rightarrow \infty$, then there exists a quadratic character $\chi$ such that for every $\delta > 0$ the (logarithmic) proportion of primes $p \leq N$ such that $|f(p) - \chi(p)| < \delta$ tends to $1$ as $N \rightarrow \infty$. More generally we show that for all $N, \Delta \geq 1$ and $1$-bounded multiplicative functions $f$, if $$\int_{0}^{1} \Big | \sum_{n \leq N} f(n) e^{2\pi i n \alpha} \Big | d \alpha \leq \Delta$$ and the $L^{2}$ norm of $f$ over $[1, N]$ is $\geq N / 100$, then $f$ pretends to be a multiplicative character of conductor $\leq \Delta^{2}$ on primes in $[\Delta^{2}, N]$. We highlight that the result is uniform in $f$, $N$ and $\Delta$ and sharp as far as the size of the conductor goes. Moreover, the restriction to primes $p \in [\Delta^{2}, N]$ turns out to be sharp in a suitably generalized version of this result, concerning sequences $f$ that are close $1\%$ of the time to multiplicative functions.

math.NT↗

arXiv2024

Finite-Time Trajectory Tracking of a Four wheeled Mecanum Mobile Robot

Four Wheeled Mecanum Robot (FWMR) possess the capability to move in any direction on a plane making it a cornerstone system in modern industrial operations. Despite the extreme maneuverability offered by FWMR, the practical implementation or real-time simulation of Mecanum wheel robots encounters substantial challenges in trajectory tracking control. In this research work, we present a finite-time control law using backstepping technique to perform stabilization and trajectory tracking objectives for a FWMR system. A rigorous stability proof is presented and explicit computation of the finite-time is provided. For tracking objective, we demonstrate the results taking an S-shaped trajectory inclined towards collision avoidance applications. Simulation validation in real time using Gazebo-ROS on a Mecanum robot model is carried out which complies with the theoretical results.

eess.SY↗

arXiv2024

Squarefree numbers in short intervals

We show that there exists $\eta > 0$ such that the interval $[X, X + X^{\frac 15 - \eta}]$ contains a squarefree number for all large $X$. This improves on an earlier result of Filaseta and Trifonov who showed that there is a squarefree number in $[X, X + cX^{\frac 15}\log X]$ for some $c > 0$ and all large $X$. We introduce a new technique to count lattice points near curves satisfying further restrictions, which we use to bound in critical ranges the number of integers in a short interval divisible by a large square. This uses as an input Green and Tao's quantitative version of Leibman's theorem on the equidistribution of polynomial orbits in nilmanifolds.

math.NT↗

arXiv2023

Numbers with at most $2$ prime factors in short arithmetic progressions

We show that if $\frac{L}{\varphi(q)\log X}\to\infty$ as $X\to\infty$, almost all $(a, x)\in (\mathbb Z/q\mathbb Z)^\times\times [X, 2X]$ are such that there exists a product of at most two primes in $[x, x + L]$ congruent to $a\mod{q}$.

math.NT↗

arXiv2023

$L^1$ means of exponential sums with multiplicative coefficients. I

We show that the $L^1$ norm of an exponential sum of length $X$ and with coefficients equal to the Liouville or M\"{o}bius function is at least $\gg_{\varepsilon} X^{1/4 - \varepsilon}$ for any given $\varepsilon$. For the Liouville function this improves on the lower bound $\gg X^{c/\log\log X}$ due to Balog and Perelli (1998). For the M\"{o}bius function this improves the lower bound $\gg X^{1/6}$ due to Balog and Ruzsa (2001). The large discrepancy between these lower bounds is due to the method employed by Balog and Ruzsa, as it crucially relies on the vanishing of $\mu(n)$. Instead our proof puts the two cases on an equal footing by exploiting the connection of these coefficients with zeros of Dirichlet $L$-functions. In the second paper in this series we will obtain a lower bound $\gg X^{\delta}$ for some small $\delta$ but for general (non-pretentious) multiplicative functions.

math.NT↗

arXiv2023

Small scale distribution of linear patterns of primes

Let $\Psi$ be a system of linear forms with finite complexity. In their seminal paper, Green and Tao showed the following prime number theorem for values of the system $\Psi$: $$\sum_{x\in [-N,N]^d} \prod_{i=1}^t \mathbf{1}_{\mathcal{P}}(\psi_i(x)) \sim \frac{(2N)^d}{(\log N)^t} \prod_{p} \beta_p,$$ where $\beta_p$ are the corresponding local densities. In this paper, we demonstrate limits to equidistribution of these primes on small scales; we show the analog to Maier's result on primes in short intervals. In particular, we show that for all $\lambda > 1$, there exist $\delta_\lambda^\pm > 0$ such that for $N$ sufficiently large, there exist boxes $B^\pm\subset [-N, N]^d$ of sidelengths at least $(\log N)^\lambda$ such that $$\sum_{x\in B^+} \prod_{i=1}^t \mathbf{1}_{\mathcal{P}}(\psi_i(x)) > (1+\delta^+) \frac{\mathrm{vol}(B^+)}{(\log N)^t} \prod_{p}\beta_p,$$ $$\sum_{x\in B^-} \prod_{i=1}^t \mathbf{1}_{\mathcal{P}}(\psi_i(x)) < (1-\delta^-) \frac{\mathrm{vol}(B^-)}{(\log N)^t} \prod_{p}\beta_p.$$

math.NT↗

arXiv2022

On the length of Pierce expansions

For a given positive integer $n$, how long can the process $x \mapsto n\text{ }(\text{mod } x)$ last before reaching $0$? We improve Erd\H{o}s and Shallit's upper bound of $O(n^{\frac{1}{3}+\varepsilon})$ to $O(n^{\frac{1}{3}-\frac{2}{177}+\varepsilon})$ for any $\varepsilon > 0$.

math.NT↗

arXiv2022

Partial sums of typical multiplicative functions over short moving intervals

We prove that the $k$-th positive integer moment of partial sums of Steinhaus random multiplicative functions over the interval $(x, x+H]$ matches the corresponding Gaussian moment, as long as $H\ll x/(\log x)^{2k^2+2+o(1)}$ and $H$ tends to infinity with $x$. We show that properly normalized partial sums of typical multiplicative functions arising from realizations of random multiplicative functions have Gaussian limiting distribution in short moving intervals $(x, x+H]$ with $H\ll X/(\log X)^{W(X)}$ tending to infinity with $X$, where $x$ is uniformly chosen from $\{1,2,\dots, X\}$, and $W(X)$ tends to infinity with $X$ arbitrarily slowly. This makes some initial progress on a recent question of Harper.

math.NT↗

arXiv2021

Reputation-based PoS for the Restriction of Illicit Activities on Blockchain: Algorand Usecase

In cryptocurrency-based permissionless blockchain networks, the decentralized structure enables any user to join and operate across different regions. The criminal entities exploit it by using cryptocurrency transactions on the blockchain to facilitate activities such as money laundering, gambling, and ransomware attacks. In recent times, different machine learning-based techniques can detect such criminal elements based on blockchain transaction data. However, there is no provision within the blockchain to deal with such elements. We propose a reputation-based methodology for response to the users detected carrying out the aforementioned illicit activities. We select Algorand blockchain to implement our methodology by incorporating it within the consensus protocol. The theoretical results obtained prove the restriction and exclusion of criminal elements through block proposal rejection and attenuation of the voting power as a validator for such entities. Further, we analyze the efficacy of our method and show that it puts no additional strain on the communication resources.

cs.CR↗

arXiv2021

On the distribution of additive twists of the divisor function and Hecke eigenvalues

We obtain asymptotics with a power saving error term for $\int_0^1|\sum_{n\le X} d(n)e(n\alpha)|^sd\alpha$ for $s < 2$, where $d(n) = \sum_{d | n} 1$ is the divisor function. We also obtain such asymptotics for $\int_0^1|\sum_{n\le X}\lambda_f(n)e(n\alpha)|^sd\alpha$ for all $s > 0$. Our proof an iterative method with repeated applications of Jutila's variant of the circle method and Voronoi summation.

math.NT↗

arXiv2021

Security of Healthcare Data Using Blockchains: A Survey

The advancement in the healthcare sector is entering into a new era in the form of Health 4.0. The integration of innovative technologies like Cyber-Physical Systems (CPS), Big Data, Cloud Computing, Machine Learning, and Blockchain with Healthcare services has led to improved performance and efficiency through data-based learning and interconnection of systems. On the other hand, it has also increased complexities and has brought its own share of vulnerabilities due to the heavy influx, sharing, and storage of healthcare data. The protection of the same from cyber-attacks along with privacy preservation through authenticated access is one of the significant challenges for the healthcare sector. For this purpose, the use of blockchain-based networks can lead to a considerable reduction in the vulnerabilities of the healthcare systems and secure their data. This chapter explores blockchain's role in strengthening healthcare data security by answering the questions related to what data use, when we need, why we need, who needs, and how state-of-the-art techniques use blockchains to secure healthcare data. As a case study, we also explore and analyze the state-of-the-art implementations for blockchain in healthcare data security for the COVID-19 pandemic. In order to provide a path to future research directions, we identify and discuss the technical limitations and regulatory challenges associated with blockchain-based healthcare data security implementation.

cs.CR↗

arXiv2019

Moment estimates for the exponential sum with higher divisor functions

We obtain asymptotic for the quantity $\int_0^1 \bigg|\sum_{n\le X}\tau_k(n)e(n\alpha)\bigg|d\alpha$ where $\tau_k(n) = \sum_{d_1\dots d_k = n} 1$. This follows from a quick application of the circle method. Along the way, we find minor arc bounds for the exponential sum with $\tau_k$, and asymptotics for high moments of the Dirichlet kernel.

math.NT↗