-
Refuting Perfect Matchings in Spectral Expanders is Hard
Authors:
Ari Biswas,
Rajko Nenadov
Abstract:
This work studies the complexity of refuting the existence of a perfect matching in spectral expanders with an odd number of vertices, in the Polynomial Calculus (PC) and Sum of Squares (SoS) proof system. Austrin and Risse [SODA, 2021] showed that refuting perfect matchings in sparse $d$-regular \emph{random} graphs, in the above proof systems, with high probability requires proofs with degree…
▽ More
This work studies the complexity of refuting the existence of a perfect matching in spectral expanders with an odd number of vertices, in the Polynomial Calculus (PC) and Sum of Squares (SoS) proof system. Austrin and Risse [SODA, 2021] showed that refuting perfect matchings in sparse $d$-regular \emph{random} graphs, in the above proof systems, with high probability requires proofs with degree $Ω(n/\log n)$. We extend their result by showing the same lower bound holds for \emph{all} $d$-regular graphs with a mild spectral gap.
△ Less
Submitted 9 June, 2025;
originally announced June 2025.
-
A Hyperbolic Approximation of the Nonlinear Schrödinger Equation
Authors:
Abhijit Biswas,
Laila S. Busaleh,
David I. Ketcheson,
Carlos Muñoz-Moncayo,
Manvendra Rajvanshi
Abstract:
We study a first-order hyperbolic approximation of
the nonlinear Schrödinger (NLS) equation. We show that the system
is strictly hyperbolic and possesses a modified Hamiltonian structure, along with
at least three conserved quantities that approximate those of NLS.
We provide families of explicit standing-wave solutions to the hyperbolic system,
which are shown to converge uniformly to g…
▽ More
We study a first-order hyperbolic approximation of
the nonlinear Schrödinger (NLS) equation. We show that the system
is strictly hyperbolic and possesses a modified Hamiltonian structure, along with
at least three conserved quantities that approximate those of NLS.
We provide families of explicit standing-wave solutions to the hyperbolic system,
which are shown to converge uniformly to ground-state solutions
of NLS in the relaxation limit.
The system is formally equivalent to NLS in the relaxation limit, and we
develop asymptotic preserving discretizations that tend to a consistent discretization
of NLS in that limit, while also conserving mass.
Examples for both the focusing and defocusing regimes demonstrate that the
numerical discretization provides an accurate approximation of the NLS
solution.
△ Less
Submitted 27 May, 2025;
originally announced May 2025.
-
Runge-Kutta Methods and Stiff Order Conditions for Semilinear ODEs
Authors:
Steven B. Roberts,
David Shirokoff,
Abhijit Biswas,
Benjamin Seibold
Abstract:
Classical convergence theory of Runge-Kutta methods assumes that the time step is small relative to the Lipschitz constant of the ordinary differential equation (ODE). For stiff problems, that assumption is often violated, and a problematic degradation in accuracy, known as order reduction, can arise. High stage order methods can avoid order reduction, but they must be fully implicit. For linear p…
▽ More
Classical convergence theory of Runge-Kutta methods assumes that the time step is small relative to the Lipschitz constant of the ordinary differential equation (ODE). For stiff problems, that assumption is often violated, and a problematic degradation in accuracy, known as order reduction, can arise. High stage order methods can avoid order reduction, but they must be fully implicit. For linear problems, weaker stiff order conditions exist and are compatible with computationally efficient methods, i.e., explicit or diagonally implicit. This work develops a new theory of stiff order conditions and convergence for semilinear ODEs, consisting of a stiff linear term and a non-stiff nonlinear term. New semilinear order conditions are formulated in terms of orthogonality relations enumerated by rooted trees. Novel, optimized diagonally implicit methods are constructed that satisfy these semilinear conditions. Numerical results demonstrate that for a broad class of relevant nonlinear test problems, these new methods successfully mitigate order reduction and yield highly accurate numerical approximations.
△ Less
Submitted 21 May, 2025;
originally announced May 2025.
-
Target search optimization by threshold resetting
Authors:
Arup Biswas,
Satya N Majumdar,
Arnab Pal
Abstract:
We introduce a new class of first passage time optimization driven by threshold resetting, inspired by many natural processes where crossing a critical limit triggers failure, degradation or transition. In here, search agents are collectively reset when a threshold is reached, creating event-driven, system-coupled simultaneous resets that induce long-range interactions. We develop a unified framew…
▽ More
We introduce a new class of first passage time optimization driven by threshold resetting, inspired by many natural processes where crossing a critical limit triggers failure, degradation or transition. In here, search agents are collectively reset when a threshold is reached, creating event-driven, system-coupled simultaneous resets that induce long-range interactions. We develop a unified framework to compute search times for these correlated stochastic processes, with ballistic searchers as a key example uncovering diverse optimization behaviors. A cost function, akin to breakdown penalties, reveals that optimal resetting can forestall larger losses. This formalism generalizes to broader stochastic systems with multiple degrees of freedom.
△ Less
Submitted 18 April, 2025;
originally announced April 2025.
-
Lipschitz regularity of fractional $p$-Laplacian
Authors:
Anup Biswas,
Erwin Topp
Abstract:
In this article, we investigate the Hölder regularity of the fractional $p$-Laplace equation of the form $(-Δ_p)^s u=f$ where $p>1, s\in (0, 1)$ and $f\in L^\infty_{\rm loc}(Ω)$. Specifically, we prove that $u\in C^{0, γ_\circ}_{\rm loc}(Ω)$ for $γ_\circ=\min\{1, \frac{sp}{p-1}\}$, provided that $\frac{sp}{p-1}\neq 1$. In particular, it shows that $u$ is locally Lipschitz for $\frac{sp}{p-1}>1$. M…
▽ More
In this article, we investigate the Hölder regularity of the fractional $p$-Laplace equation of the form $(-Δ_p)^s u=f$ where $p>1, s\in (0, 1)$ and $f\in L^\infty_{\rm loc}(Ω)$. Specifically, we prove that $u\in C^{0, γ_\circ}_{\rm loc}(Ω)$ for $γ_\circ=\min\{1, \frac{sp}{p-1}\}$, provided that $\frac{sp}{p-1}\neq 1$. In particular, it shows that $u$ is locally Lipschitz for $\frac{sp}{p-1}>1$. Moreover, we show that for $\frac{sp}{p-1}=1$, the solution is locally Lipschitz, provided that $f$ is locally Hölder continuous. Additionally, we discuss further regularity results for the fractional double-phase problems.
△ Less
Submitted 13 April, 2025;
originally announced April 2025.
-
A unified framework for pointwise convergence to the initial data of heat equations in metric measure spaces
Authors:
Divyang G. Bhimani,
Anup Biswas,
Rupak K. Dalai
Abstract:
Given a metric measure space $(\mathcal{X}, d, μ)$ satisfying the volume doubling condition, we consider a semigroup $\{S_t\}$ and the associated heat operator. We propose general conditions on the heat kernel so that the solutions of the associated heat equations attain the initial data pointwise. We demonstrate that these conditions are satisfied by a broad class of operators, including the Lapl…
▽ More
Given a metric measure space $(\mathcal{X}, d, μ)$ satisfying the volume doubling condition, we consider a semigroup $\{S_t\}$ and the associated heat operator. We propose general conditions on the heat kernel so that the solutions of the associated heat equations attain the initial data pointwise. We demonstrate that these conditions are satisfied by a broad class of operators, including the Laplace operators perturbed by a gradient, fractional Laplacian, mixed local-nonlocal operators, Laplacian on Riemannian manifolds, Dunkl Laplacian and many more. In addition, we consider the Laplace operator in $\mathbb{R}^n$ with the Hardy potential and establish a characterization for the pointwise convergence to the initial data. We also prove similar results for the nonhomogeneous equations and showcase an application for the power-type nonlinearities.
△ Less
Submitted 4 February, 2025;
originally announced February 2025.
-
Nonlocal Ordered Mean Curvature with Integrable Kernel
Authors:
Animesh Biswas,
Mikil D Foss,
Petronela Radu
Abstract:
In this paper we introduce and study the concept of nonlocal ordered curvature. In the classical (differential) setting, the problem was introduced by Nirenberg and Li, where they conjectured that if a bounded, smooth surface has its mean curvature ordered in a particular direction, then the surface must be symmetric with respect to some hyperplane orthogonal to that direction. The conjecture was…
▽ More
In this paper we introduce and study the concept of nonlocal ordered curvature. In the classical (differential) setting, the problem was introduced by Nirenberg and Li, where they conjectured that if a bounded, smooth surface has its mean curvature ordered in a particular direction, then the surface must be symmetric with respect to some hyperplane orthogonal to that direction. The conjecture was proved by Li et al in 2022. Here we study the counterpart problem in the nonlocal setting, where the nonlocal mean curvature of a set $Ω$, at any point $x$ on its boundary, is defined as $H_Ω^J(x) = \int_{Ω^c} J(x-y) dy - \int_ΩJ(x-y) dy$ and the kernel function $J$ is radially symmetric, non-increasing, integrable and compactly supported. Using a generalization of Alexandrov's moving plane method, we prove a similar result in the nonlocal setting.
△ Less
Submitted 27 January, 2025;
originally announced January 2025.
-
Modulation spaces on the Heisenberg group
Authors:
Md Hasan Ali Biswas,
Sundaram Thangavelu
Abstract:
In this article we show how certain irreducible unitary representation $ Π_λ$ of the twisted Heisenberg group $ \He_λ^n(\C)$ leads to the twisted modulation spaces $ M_λ^{p,q}(\R^{2n}).$ These $ Π_λ$ also turn out to be irreducible unitary representations of another nilpotent Lie group $ G_n $ which contains two copies of the Heisenberg group $ \He^n.$ By lifting $ Π_λ$ we obtain another unitary r…
▽ More
In this article we show how certain irreducible unitary representation $ Π_λ$ of the twisted Heisenberg group $ \He_λ^n(\C)$ leads to the twisted modulation spaces $ M_λ^{p,q}(\R^{2n}).$ These $ Π_λ$ also turn out to be irreducible unitary representations of another nilpotent Lie group $ G_n $ which contains two copies of the Heisenberg group $ \He^n.$ By lifting $ Π_λ$ we obtain another unitary representation $ Π$ of $ G_n $ acting on $ L^2(\He^n).$ We define our modulation spaces $ M^{p,q}(\He^n) $ in terms of the matrix coefficients associated to $ Π.$ These spaces are shown to be invariant under Heisenberg translations and Heisenberg modulations which are different from euclidean modulations. We also establish some of the basic properties of $ M_λ^{p,q}(\R^{2n})$ and $ M^{p,q}(\He^n) $ such as completeness and invariance under suitable Fourier transforms.
△ Less
Submitted 29 January, 2025; v1 submitted 22 January, 2025;
originally announced January 2025.
-
Traveling-wave solutions and structure-preserving numerical methods for a hyperbolic approximation of the Korteweg-de Vries equation
Authors:
Abhijit Biswas,
David I. Ketcheson,
Hendrik Ranocha,
Jochen Schütz
Abstract:
We study the recently-proposed hyperbolic approximation of the Korteweg-de Vries equation (KdV).
We show that this approximation, which we call KdVH, possesses a rich variety of
solutions, including solitary wave solutions that approximate KdV solitons, as well as other
solitary and periodic solutions that are related to higher-order water wave models,
and may include singularities.
We a…
▽ More
We study the recently-proposed hyperbolic approximation of the Korteweg-de Vries equation (KdV).
We show that this approximation, which we call KdVH, possesses a rich variety of
solutions, including solitary wave solutions that approximate KdV solitons, as well as other
solitary and periodic solutions that are related to higher-order water wave models,
and may include singularities.
We analyze a class of implicit-explicit Runge-Kutta time discretizations for KdVH
that are asymptotic preserving, energy conserving, and can be applied to other hyperbolized
systems. We also develop structure-preserving spatial discretizations based on summation-by-parts
operators in space including finite difference, discontinuous Galerkin, and Fourier methods. We use the
relaxation approach to make the fully discrete schemes energy-preserving.
Numerical experiments demonstrate the effectiveness of these discretizations.
△ Less
Submitted 22 December, 2024;
originally announced December 2024.
-
The Pohozaev identity for mixed local-nonlocal operator
Authors:
Anup Biswas
Abstract:
In this article we prove the Pohozaev identity for the semilinear Dirichlet problem of the form $-Δu + a(-Δ)^s u = f(u)$ in $Ω$, and $u=0$ in $Ω^c$, where $a$ is a non-negative constant and $Ω$ is a bounded $C^2$ domain. We also establish similar identity for systems of equations. As applications of this identity, we deduce a unique continuation property of eigenfunctions and also the nonexistence…
▽ More
In this article we prove the Pohozaev identity for the semilinear Dirichlet problem of the form $-Δu + a(-Δ)^s u = f(u)$ in $Ω$, and $u=0$ in $Ω^c$, where $a$ is a non-negative constant and $Ω$ is a bounded $C^2$ domain. We also establish similar identity for systems of equations. As applications of this identity, we deduce a unique continuation property of eigenfunctions and also the nonexistence of nontrivial solutions in star-shaped domains under suitable condition on $f$.
△ Less
Submitted 21 October, 2024;
originally announced October 2024.
-
Deep convolutional neural networks and data approximation using the fractional Fourier transform
Authors:
M. H. A. Biswas,
P. Massopust,
R. Ramakrishnan
Abstract:
In the first part of this paper, we define a deep convolutional neural network connected with the fractional Fourier transform (FrFT) using the $θ$-translation operator, the translation operator associated with the FrFT. Subsequently, we study $θ$-translation invariance properties of this network. Unlike the classical case, these networks are not translation invariant. \par In the second part, we…
▽ More
In the first part of this paper, we define a deep convolutional neural network connected with the fractional Fourier transform (FrFT) using the $θ$-translation operator, the translation operator associated with the FrFT. Subsequently, we study $θ$-translation invariance properties of this network. Unlike the classical case, these networks are not translation invariant. \par In the second part, we study data approximation problems using the FrFT. More precisely, given a data set $\fl=\{f_1,\cdots, f_m\}\subset L^2(\R^n)$, we obtain $Φ=\{φ_1,\cdots,φ_\ell\}$ such that \[ V_θ(Φ)=\argmin\sum_{j=1}^m \|f_j-P_{V}f_j\|^2, \] where the minimum is taken over all $θ$-shift invariant spaces generated by at most $\ell$ elements. Moreover, we prove the existence of a space of bandlimited functions in the FrFT domain which is ``closest" to $\fl$ in the above sense.
△ Less
Submitted 13 August, 2024;
originally announced August 2024.
-
Nonlocal Liouville theorems with gradient nonlinearity
Authors:
Anup Biswas,
Alexander Quaas,
Erwin Topp
Abstract:
In this article we consider a large family of nonlinear nonlocal equations involving gradient nonlinearity and provide a unified approach, based on the Ishii-Lions type technique, to establish Liouville properties of the solutions. We also answer an open problem raised by [24]. Some applications to regularity issues are also studied.
In this article we consider a large family of nonlinear nonlocal equations involving gradient nonlinearity and provide a unified approach, based on the Ishii-Lions type technique, to establish Liouville properties of the solutions. We also answer an open problem raised by [24]. Some applications to regularity issues are also studied.
△ Less
Submitted 20 February, 2025; v1 submitted 22 July, 2024;
originally announced July 2024.
-
Approximation of arbitrarily high-order PDEs by first-order hyperbolic relaxation
Authors:
David I. Ketcheson,
Abhijit Biswas
Abstract:
We present a framework for constructing a first-order hyperbolic system whose solution approximates that of a desired higher-order evolution equation. Constructions of this kind have received increasing interest in recent years, and are potentially useful as either analytical or computational tools for understanding the corresponding higher-order equation. We perform a systematic analysis of a fam…
▽ More
We present a framework for constructing a first-order hyperbolic system whose solution approximates that of a desired higher-order evolution equation. Constructions of this kind have received increasing interest in recent years, and are potentially useful as either analytical or computational tools for understanding the corresponding higher-order equation. We perform a systematic analysis of a family of linear model equations and show that for each member of this family there is a stable hyperbolic approximation whose solution converges to that of the model equation in a certain limit. We then show through several examples that this approach can be applied successfully to a very wide range of nonlinear PDEs of practical interest.
△ Less
Submitted 16 May, 2025; v1 submitted 27 May, 2024;
originally announced May 2024.
-
Queues with resetting: a perspective
Authors:
Reshmi Roy,
Arup Biswas,
Arnab Pal
Abstract:
Performance modeling is a key issue in queuing theory and operation research. It is well-known that the length of a queue that awaits service or the time spent by a job in a queue depends not only on the service rate, but also crucially on the fluctuations in service time. The larger the fluctuations, the longer the delay becomes and hence, this is a major hindrance for the queue to operate effici…
▽ More
Performance modeling is a key issue in queuing theory and operation research. It is well-known that the length of a queue that awaits service or the time spent by a job in a queue depends not only on the service rate, but also crucially on the fluctuations in service time. The larger the fluctuations, the longer the delay becomes and hence, this is a major hindrance for the queue to operate efficiently. Various strategies have been adapted to prevent this drawback. In this perspective, we investigate the effects of one such novel strategy namely resetting or restart, an emerging concept in statistical physics and stochastic complex process, that was recently introduced to mitigate fluctuations-induced delays in queues. In particular, we show that a service resetting mechanism accompanied with an overhead time can remarkably shorten the average queue lengths and waiting times. We examine various resetting strategies and further shed light on the intricate role of the overhead times to the queuing performance. Our analysis opens up future avenues in operation research where resetting-based strategies can be universally promising.
△ Less
Submitted 13 April, 2024;
originally announced April 2024.
-
A unified framework for the analysis of accuracy and stability of a class of approximate Gaussian filters for the Navier-Stokes Equations
Authors:
Animikh Biswas,
Michal Branicki
Abstract:
Bayesian state estimation of a dynamical system utilising a stream of noisy measurements is important in many geophysical and engineering applications. We establish rigorous results on (time-asymptotic) accuracy and stability of these algorithms with general covariance and observation operators. The accuracy and stability results for EnKF and EnSRKF for dissipative PDEs are, to the best of our kno…
▽ More
Bayesian state estimation of a dynamical system utilising a stream of noisy measurements is important in many geophysical and engineering applications. We establish rigorous results on (time-asymptotic) accuracy and stability of these algorithms with general covariance and observation operators. The accuracy and stability results for EnKF and EnSRKF for dissipative PDEs are, to the best of our knowledge, completely new in this general setting. It turns out that a hitherto unexploited cancellation property involving the ensemble covariance and observation operators and the concept of covariance localization in conjunction with covariance inflation play a pivotal role in the accuracy and stability for EnKF and EnSRKF. Our approach also elucidates the links, via determining functionals, between the approximate-Bayesian and control-theoretic approaches to data assimilation. We consider the `model' dynamics governed by the two-dimensional incompressible Navier-Stokes equations and observations given by noisy measurements of averaged volume elements or spectral/modal observations of the velocity field. In this setup, several continuous-time data assimilation techniques, namely the so-called 3DVar, EnKF and EnSRKF reduce to a stochastically forced Navier-Stokes equations. For the first time, we derive conditions for accuracy and stability of EnKF and EnSRKF. The derived bounds are given for the limit supremum of the expected value of the $L^2$ norm and of the $\mathbb{H}^1$ Sobolev norm of the difference between the approximating solution and the actual solution as the time tends to infinity. Moreover, our analysis reveals an interplay between the resolution of the observations associated with the observation operator underlying the data assimilation algorithms and covariance inflation and localization which are employed in practice for improved filter performance.
△ Less
Submitted 21 February, 2024;
originally announced February 2024.
-
Davenport constant for finite abelian groups with higher rank
Authors:
Anamitro Biswas,
Eshita Mazumdar
Abstract:
For a finite abelian group $G,$ the Davenport Constant, denoted by $D(G)$, is defined to be the least positive integer $k$ such that every sequence of length at least $k$ has a non-trivial zero-sum subsequence. A long-standing conjecture is that the Davenport constant of a finite abelian group $G =C_{n_1}\times\cdots\times C_{n_d}$ of rank $d \in \mathbb{N}$ is…
▽ More
For a finite abelian group $G,$ the Davenport Constant, denoted by $D(G)$, is defined to be the least positive integer $k$ such that every sequence of length at least $k$ has a non-trivial zero-sum subsequence. A long-standing conjecture is that the Davenport constant of a finite abelian group $G =C_{n_1}\times\cdots\times C_{n_d}$ of rank $d \in \mathbb{N}$ is $1+\displaystyle\sum_{i=1}^d (n_i-1) $. This conjecture is false in general, but it remains to know for which groups it is true. In this paper, we consider groups of the form $G = (C_p)^{d-1} \times C_{pq},$ where $p$ is a prime and $q\in \mathbb{N}$ and provide sufficient condition when the conjecture holds true.
△ Less
Submitted 15 February, 2024;
originally announced February 2024.
-
A Mathematical Theory for Studying and Controlling the Disinformation System Dynamics
Authors:
Arindam Kumar Paul,
M. Haider Ali Biswas
Abstract:
This study explores the connection between disinformation, defined as deliberate spread of false information, and rate-induced tipping (R-tipping), a phenomenon where systems undergo sudden changes due to rapid shifts in ex-ternal forces. While traditionally, tipping points were associated with exceeding critical thresholds, R-tipping highlights the influence of the rate of change, even without cr…
▽ More
This study explores the connection between disinformation, defined as deliberate spread of false information, and rate-induced tipping (R-tipping), a phenomenon where systems undergo sudden changes due to rapid shifts in ex-ternal forces. While traditionally, tipping points were associated with exceeding critical thresholds, R-tipping highlights the influence of the rate of change, even without crossing specific levels. The study argues that disinformation campaigns, often organized and fast-paced, can trigger R-tipping events in public opinion and societal behavior. This can happen even if the disinformation itself doesn't reach a critical mass, making it challenging to predict and control. Here, by Transforming a population dynamics model into a network model, Investigating the interplay between the source of disinformation, the exposed population, and the medium of transmission under the influence of external sources, the study aims to provide valuable insights for predicting and controlling the spread of disinformation. This mathematical approach holds promise for developing effective countermeasures against this increasingly prevalent threat to public discourse and decision-making.
△ Less
Submitted 22 January, 2024; v1 submitted 10 January, 2024;
originally announced January 2024.
-
Explicit Runge Kutta Methods that Alleviate Order Reduction
Authors:
Abhijit Biswas,
David I. Ketcheson,
Steven Roberts,
Benjamin Seibold,
David Shirokoff
Abstract:
Explicit Runge--Kutta (RK) methods are susceptible to a reduction in the observed order of convergence when applied to initial-boundary value problem with time-dependent boundary conditions. We study conditions on explicit RK methods that guarantee high-order convergence for linear problems; we refer to these conditions as weak stage order conditions. We prove a general relationship between the me…
▽ More
Explicit Runge--Kutta (RK) methods are susceptible to a reduction in the observed order of convergence when applied to initial-boundary value problem with time-dependent boundary conditions. We study conditions on explicit RK methods that guarantee high-order convergence for linear problems; we refer to these conditions as weak stage order conditions. We prove a general relationship between the method's order, weak stage order, and number of stages. We derive explicit RK methods with high weak stage order and demonstrate, through numerical tests, that they avoid the order reduction phenomenon up to any order for linear problems and up to order three for nonlinear problems.
△ Less
Submitted 4 October, 2023; v1 submitted 4 October, 2023;
originally announced October 2023.
-
Sharp extension problem characterizations for higher fractional power operators in Banach spaces
Authors:
A. Biswas,
P. R. Stinga
Abstract:
We prove sharp characterizations of higher order fractional powers $(-L)^s$, where $s>0$ is noninteger, ofgenerators $L$ of uniformly bounded $C_0$-semigroups on Banach spaces via extension problems, which in particular include results of Caffarelli-Silvestre, Stinga-Torrea and Galé-Miana-Stinga when $0<s<1$. More precisely, we prove existence and uniqueness of solutions $U(y)$, $y\geq0$, to initi…
▽ More
We prove sharp characterizations of higher order fractional powers $(-L)^s$, where $s>0$ is noninteger, ofgenerators $L$ of uniformly bounded $C_0$-semigroups on Banach spaces via extension problems, which in particular include results of Caffarelli-Silvestre, Stinga-Torrea and Galé-Miana-Stinga when $0<s<1$. More precisely, we prove existence and uniqueness of solutions $U(y)$, $y\geq0$, to initial value problems for both higher order and second order extension problems and characterizations of $(-L)^su$, $s>0$, in terms of boundary derivatives of $U$ at $y=0$, under the sharp hypothesis that $u$ is in the domain of $(-L)^s$. Our results resolve the question of setting up the correct initial conditions that guarantee well-posedness of both extension problems. Furthermore, we discover new explicit subordination formulas for the solution $U$ in terms of the semigroup $\{e^{tL}\}_{t\geq0}$ generated by $L$.
△ Less
Submitted 18 April, 2024; v1 submitted 21 September, 2023;
originally announced September 2023.
-
Pick interpolation and invariant functions
Authors:
Anindya Biswas
Abstract:
In this article, we establish a connection between Pick bodies and invariant functions. We demonstrate that an invariant function can be associated with any Pick body, which determines the solvability of a given Pick interpolation problem and serves as a generalization of the Carathéodory pseudodistance. A complete description of this invariant function is provided for the open unit disc, and it i…
▽ More
In this article, we establish a connection between Pick bodies and invariant functions. We demonstrate that an invariant function can be associated with any Pick body, which determines the solvability of a given Pick interpolation problem and serves as a generalization of the Carathéodory pseudodistance. A complete description of this invariant function is provided for the open unit disc, and it is shown that it leads to another invariant function that can be regarded as a generalized Lempert function. It is also proved that these two invariant functions are equal if certain geodesics can be found. Lastly, we show that, in a very special case, a result analogous to Lempert's theorem holds for the bidisc and the tridisc.
△ Less
Submitted 14 February, 2025; v1 submitted 9 September, 2023;
originally announced September 2023.
-
Accurate Solution of the Nonlinear Schrödinger Equation via Conservative Multiple-Relaxation ImEx Methods
Authors:
Abhijit Biswas,
David I. Ketcheson
Abstract:
The nonlinear Schrödinger (NLS) equation possesses an infinite hierarchy of conserved densities and the numerical preservation of some of these quantities is critical for accurate long-time simulations, particularly for multi-soliton solutions. We propose an essentially explicit discretization that conserves one or two of these conserved quantities by combining higher-order Implicit-Explicit (ImEx…
▽ More
The nonlinear Schrödinger (NLS) equation possesses an infinite hierarchy of conserved densities and the numerical preservation of some of these quantities is critical for accurate long-time simulations, particularly for multi-soliton solutions. We propose an essentially explicit discretization that conserves one or two of these conserved quantities by combining higher-order Implicit-Explicit (ImEx) Runge-Kutta time integrators with the relaxation technique and adaptive step size control. We show through numerical tests that our mass-conserving method is much more efficient and accurate than the widely-used 2nd-order time-splitting pseudospectral approach. Compared to higher-order operator splitting, it gives similar results in general and significantly better results near the semi-classical limit. Furthermore, for some problems adaptive time stepping provides a dramatic reduction in cost without sacrificing accuracy. We also propose a full discretization that conserves both mass and energy by using a conservative finite element spatial discretization and multiple relaxation in time. Our results suggest that this method provides a qualitative improvement in long-time error growth for multi-soliton solutions.
△ Less
Submitted 5 September, 2023;
originally announced September 2023.
-
Incorporating Nonlocal Traffic Flow Model in Physics-informed Neural Networks
Authors:
Archie J. Huang,
Animesh Biswas,
Shaurya Agarwal
Abstract:
This research contributes to the advancement of traffic state estimation methods by leveraging the benefits of the nonlocal LWR model within a physics-informed deep learning framework. The classical LWR model, while useful, falls short of accurately representing real-world traffic flows. The nonlocal LWR model addresses this limitation by considering the speed as a weighted mean of the downstream…
▽ More
This research contributes to the advancement of traffic state estimation methods by leveraging the benefits of the nonlocal LWR model within a physics-informed deep learning framework. The classical LWR model, while useful, falls short of accurately representing real-world traffic flows. The nonlocal LWR model addresses this limitation by considering the speed as a weighted mean of the downstream traffic density. In this paper, we propose a novel PIDL framework that incorporates the nonlocal LWR model. We introduce both fixed-length and variable-length kernels and develop the required mathematics. The proposed PIDL framework undergoes a comprehensive evaluation, including various convolutional kernels and look-ahead windows, using data from the NGSIM and CitySim datasets. The results demonstrate improvements over the baseline PIDL approach using the local LWR model. The findings highlight the potential of the proposed approach to enhance the accuracy and reliability of traffic state estimation, enabling more effective traffic management strategies.
△ Less
Submitted 22 August, 2023;
originally announced August 2023.
-
A new count model based on Poisson-Transmuted Geometric convolution
Authors:
Anupama Nandi,
Subrata Chakraborty,
Aniket Biswas
Abstract:
A novel over-dispersed discrete distribution, namely the PoiTG distribution is derived by the convolution of a Poisson variate and an independently distributed transmuted geometric random variable. This distribution generalizes the geometric, transmuted geometric, and PoiG distributions. Various important statistical properties of this count model, such as the probability generating function, the…
▽ More
A novel over-dispersed discrete distribution, namely the PoiTG distribution is derived by the convolution of a Poisson variate and an independently distributed transmuted geometric random variable. This distribution generalizes the geometric, transmuted geometric, and PoiG distributions. Various important statistical properties of this count model, such as the probability generating function, the moment generating function, the moments, the survival function, and the hazard rate function are investigated. Stochastic ordering for the proposed model are also studied in details. The maximum likelihood estimators of the parameters are obtained using general optimization approach and the EM algorithm approach. It is envisaged that the proposed distribution may prove to be useful for the practitioners for modelling over-dispersed count data compared to its closest competitors.
△ Less
Submitted 24 July, 2024; v1 submitted 12 June, 2023;
originally announced June 2023.
-
Nonlocal ergodic control problem in $\mathbb{R}^d$
Authors:
Anup Biswas,
Erwin Topp
Abstract:
We study the existence-uniqueness of solution $(u, λ)$ to the ergodic Hamilton-Jacobi equation $$(-Δ)^s u + H(x, \nabla u) = f-λ\quad \text{in}\; \mathbb{R}^d,$$ and $u\geq 0$, where $s\in (\frac{1}{2}, 1)$. We show that the critical $λ=λ^*$, defined as the infimum of all $λ$ attaining a non-negative supersolution, attains a nonnegative solution $u$. Under suitable conditions, it is also shown tha…
▽ More
We study the existence-uniqueness of solution $(u, λ)$ to the ergodic Hamilton-Jacobi equation $$(-Δ)^s u + H(x, \nabla u) = f-λ\quad \text{in}\; \mathbb{R}^d,$$ and $u\geq 0$, where $s\in (\frac{1}{2}, 1)$. We show that the critical $λ=λ^*$, defined as the infimum of all $λ$ attaining a non-negative supersolution, attains a nonnegative solution $u$. Under suitable conditions, it is also shown that $λ^*$ is the supremum of all $λ$ for which a non-positive subsolution is possible. Moreover, uniqueness of the solution $u$, corresponding to $λ^*$, is also established. Furthermore, we provide a probabilistic characterization that determines the uniqueness of the pair $(u, λ^*)$ in the class of all solution pair $(u, λ)$ with $u\geq 0$. Our proof technique involves both analytic and probabilistic methods in combination with a new local Lipschitz estimate obtained in this article.
△ Less
Submitted 21 October, 2023; v1 submitted 30 May, 2023;
originally announced May 2023.
-
Counting unate and balanced monotone Boolean functions
Authors:
Aniruddha Biswas,
Palash Sarkar
Abstract:
We show that the problem of counting the number of $n$-variable unate functions reduces to the problem of counting the number of $n$-variable monotone functions. Using recently obtained results on $n$-variable monotone functions, we obtain counts of $n$-variable unate functions up to $n=9$. We use an enumeration strategy to obtain the number of $n$-variable balanced monotone functions up to $n=7$.…
▽ More
We show that the problem of counting the number of $n$-variable unate functions reduces to the problem of counting the number of $n$-variable monotone functions. Using recently obtained results on $n$-variable monotone functions, we obtain counts of $n$-variable unate functions up to $n=9$. We use an enumeration strategy to obtain the number of $n$-variable balanced monotone functions up to $n=7$. We show that the problem of counting the number of $n$-variable balanced unate functions reduces to the problem of counting the number of $n$-variable balanced monotone functions, and consequently, we obtain the number of $n$-variable balanced unate functions up to $n=7$. Using enumeration, we obtain the numbers of equivalence classes of $n$-variable balanced monotone functions, unate functions and balanced unate functions up to $n=6$. Further, for each of the considered sub-class of $n$-variable monotone and unate functions, we also obtain the corresponding numbers of $n$-variable non-degenerate functions.
△ Less
Submitted 3 October, 2023; v1 submitted 27 April, 2023;
originally announced April 2023.
-
On the cop number and the weak Meyniel conjecture for algebraic graphs
Authors:
Arindam Biswas,
Jyoti Prakash Saha
Abstract:
We show that the cop number of the Cayley sum graph of a finite group $G$ with respect to a symmetric subset $S$ is at most twice its degree when the graph is connected, undirected. We also prove that a similar bound holds for the cop number of generalised Cayley graphs and twisted Cayley sum graphs under some conditions. These extend a result of Frankl to such graphs. Using the above bounds and a…
▽ More
We show that the cop number of the Cayley sum graph of a finite group $G$ with respect to a symmetric subset $S$ is at most twice its degree when the graph is connected, undirected. We also prove that a similar bound holds for the cop number of generalised Cayley graphs and twisted Cayley sum graphs under some conditions. These extend a result of Frankl to such graphs. Using the above bounds and a result of Bollobás--Janson--Riordan, we show that the weak Meyniel conjecture holds for these algebraic graphs.
△ Less
Submitted 27 April, 2025; v1 submitted 9 March, 2023;
originally announced March 2023.
-
Multiple-Relaxation Runge Kutta Methods for Conservative Dynamical Systems
Authors:
Abhijit Biswas,
David I. Ketcheson
Abstract:
We generalize the idea of relaxation time stepping methods in order to preserve multiple nonlinear conserved quantities of a dynamical system by projecting along directions defined by multiple time stepping algorithms. Similar to the directional projection method of Calvo et. al., we use embedded Runge-Kutta methods to facilitate this in a computationally efficient manner. Proof of the accuracy of…
▽ More
We generalize the idea of relaxation time stepping methods in order to preserve multiple nonlinear conserved quantities of a dynamical system by projecting along directions defined by multiple time stepping algorithms. Similar to the directional projection method of Calvo et. al., we use embedded Runge-Kutta methods to facilitate this in a computationally efficient manner. Proof of the accuracy of the modified RK methods and the existence of valid relaxation parameters are given, under some restrictions. Among other examples, we apply this technique to Implicit-Explicit Runge-Kutta time integration for the Korteweg-de Vries equation and investigate the feasibility and effect of conserving multiple invariants for multi-soliton solutions.
△ Less
Submitted 10 February, 2023;
originally announced February 2023.
-
Dynamic Basis Function Interpolation for Adaptive In Situ Data Integration in Ocean Modeling
Authors:
Derek DeSantis,
Ayan Biswas,
Earl Lawrence,
Phillip Wolfram
Abstract:
We propose a new method for combining in situ buoy measurements with Earth system models (ESMs) to improve the accuracy of temperature predictions in the ocean. The technique utilizes the dynamics \textit{and} modes identified in ESMs alongside buoy measurements to improve accuracy while preserving features such as seasonality. We use this technique, which we call Dynamic Basis Function Interpolat…
▽ More
We propose a new method for combining in situ buoy measurements with Earth system models (ESMs) to improve the accuracy of temperature predictions in the ocean. The technique utilizes the dynamics \textit{and} modes identified in ESMs alongside buoy measurements to improve accuracy while preserving features such as seasonality. We use this technique, which we call Dynamic Basis Function Interpolation, to correct errors in localized temperature predictions made by the Model for Prediction Across Scales Ocean component (MPAS-O) with the Global Drifter Program's in situ ocean buoy dataset.
△ Less
Submitted 20 June, 2024; v1 submitted 11 January, 2023;
originally announced January 2023.
-
A new over-dispersed count model
Authors:
Anupama Nandi,
Subrata Chakraborty,
Aniket Biswas
Abstract:
A new two-parameter discrete distribution, namely the PoiG distribution is derived by the convolution of a Poisson variate and an independently distributed geometric random variable. This distribution generalizes both the Poisson and geometric distributions and can be used for modelling over-dispersed as well as equi-dispersed count data. A number of important statistical properties of the propose…
▽ More
A new two-parameter discrete distribution, namely the PoiG distribution is derived by the convolution of a Poisson variate and an independently distributed geometric random variable. This distribution generalizes both the Poisson and geometric distributions and can be used for modelling over-dispersed as well as equi-dispersed count data. A number of important statistical properties of the proposed count model, such as the probability generating function, the moment generating function, the moments, the survival function and the hazard rate function. Monotonic properties are studied, such as the log concavity and the stochastic ordering are also investigated in detail. Method of moment and the maximum likelihood estimators of the parameters of the proposed model are presented. It is envisaged that the proposed distribution may prove to be useful for the practitioners for modelling over-dispersed count data compared to its closest competitors.
△ Less
Submitted 10 July, 2024; v1 submitted 4 January, 2023;
originally announced January 2023.
-
Ergodic Risk-sensitive control -- A survey
Authors:
Anup Biswas,
Vivek S. Borkar
Abstract:
Risk-sensitive control has received considerable interest since the seminal work of Howard and Matheson [120] because of its ability to account for fluctuations about the mean, its connection with $H_\infty$ control, and its application to financial mathematics. In this article, we attempt to put together a comprehensive survey on the research done on ergodic risk-sensitive control over the last f…
▽ More
Risk-sensitive control has received considerable interest since the seminal work of Howard and Matheson [120] because of its ability to account for fluctuations about the mean, its connection with $H_\infty$ control, and its application to financial mathematics. In this article, we attempt to put together a comprehensive survey on the research done on ergodic risk-sensitive control over the last four decades.
△ Less
Submitted 31 December, 2022;
originally announced January 2023.
-
Direct Comparative Analysis of Nature-inspired Optimization Algorithms on Community Detection Problem in Social Networks
Authors:
Soumita Das,
Bijita Singha,
Alberto Tonda,
Anupam Biswas
Abstract:
Nature-inspired optimization Algorithms (NIOAs) are nowadays a popular choice for community detection in social networks. Community detection problem in social network is treated as optimization problem, where the objective is to either maximize the connection within the community or minimize connections between the communities. To apply NIOAs, either of the two, or both objectives are explored. S…
▽ More
Nature-inspired optimization Algorithms (NIOAs) are nowadays a popular choice for community detection in social networks. Community detection problem in social network is treated as optimization problem, where the objective is to either maximize the connection within the community or minimize connections between the communities. To apply NIOAs, either of the two, or both objectives are explored. Since NIOAs mostly exploit randomness in their strategies, it is necessary to analyze their performance for specific applications. In this paper, NIOAs are analyzed on the community detection problem. A direct comparison approach is followed to perform pairwise comparison of NIOAs. The performance is measured in terms of five scores designed based on prasatul matrix and also with average isolability. Three widely used real-world social networks and four NIOAs are considered for analyzing the quality of communities generated by NIOAs.
△ Less
Submitted 21 December, 2022;
originally announced December 2022.
-
The system of translates and the special affine Fourier transform
Authors:
Md Hasan Ali Biswas,
Frank Filbir,
Radha Ramakrishnan
Abstract:
The translation operator $T^A$ associated with the special affine Fourier transform (SAFT) $\mathscr{F}_A$ is introduced from harmonic analysis point of view. The analogues of Wendel's theorem, Wiener theorem, Weiner-Tauberian theorem and Bernstein type inequality in the context of the SAFT are established. The shift invariant space $V_A$ associated with the special affine Fourier transform is int…
▽ More
The translation operator $T^A$ associated with the special affine Fourier transform (SAFT) $\mathscr{F}_A$ is introduced from harmonic analysis point of view. The analogues of Wendel's theorem, Wiener theorem, Weiner-Tauberian theorem and Bernstein type inequality in the context of the SAFT are established. The shift invariant space $V_A$ associated with the special affine Fourier transform is introduced and studied along with sampling problems.
△ Less
Submitted 21 July, 2024; v1 submitted 11 December, 2022;
originally announced December 2022.
-
Nonlocal Mean Curvature with Integrable Kernel
Authors:
Animesh Biswas,
Mikil Foss,
Petronela Radu
Abstract:
We study the prescribed constant mean curvature problem in the nonlocal setting where the nonlocal curvature has been defined as $$ H^J_Ω(x):=\int_{\mathbb{R} ^n} J(x-y)(χ_{Ω^c}(y)-χ_Ω(y))dy, $$ where $x \in \mathbb{R}^n$, $Ω\subset \mathbb{R}^n$, $χ$ is the characteristic function for a set, $J$ is a radially symmetric, nonegative, nonincreasing convolution kernel. Several papers have studied the…
▽ More
We study the prescribed constant mean curvature problem in the nonlocal setting where the nonlocal curvature has been defined as $$ H^J_Ω(x):=\int_{\mathbb{R} ^n} J(x-y)(χ_{Ω^c}(y)-χ_Ω(y))dy, $$ where $x \in \mathbb{R}^n$, $Ω\subset \mathbb{R}^n$, $χ$ is the characteristic function for a set, $J$ is a radially symmetric, nonegative, nonincreasing convolution kernel. Several papers have studied the case of nonlocal curvature with nonintegrable singularity, a generalization of the classical curvature concept, which requires the regularity of the boundary to be above $C^2$. Nonlocal curvature of this form appears in many different applications, such as image processing, curvature driven motion, deformations. In this work, we focus on the problem of constant nonlocal curvature defined via integrable kernel. Our results offer some extensions to the constant mean curvature problem for nonintegrable kernels, where counterparts to Alexandrov theorem in the nonlocal framework were established independently by two separate groups. Ciraolo, Figalli, Maggi, Novaga, and respectively, Cabré, Fall, Solà-Morales, Weth. Using the nonlocal Alexandrov's theorem we identify surfaces of constant mean nonlocal curvature for different integrable kernels as unions of balls situated at distance $δ$ apart, where $δ$ measures the radius of nonlocal interactions.
△ Less
Submitted 2 December, 2022;
originally announced December 2022.
-
Prasatul Matrix: A Direct Comparison Approach for Analyzing Evolutionary Optimization Algorithms
Authors:
Anupam Biswas
Abstract:
The performance of individual evolutionary optimization algorithms is mostly measured in terms of statistics such as mean, median and standard deviation etc., computed over the best solutions obtained with few trails of the algorithm. To compare the performance of two algorithms, the values of these statistics are compared instead of comparing the solutions directly. This kind of comparison lacks…
▽ More
The performance of individual evolutionary optimization algorithms is mostly measured in terms of statistics such as mean, median and standard deviation etc., computed over the best solutions obtained with few trails of the algorithm. To compare the performance of two algorithms, the values of these statistics are compared instead of comparing the solutions directly. This kind of comparison lacks direct comparison of solutions obtained with different algorithms. For instance, the comparison of best solutions (or worst solution) of two algorithms simply not possible. Moreover, ranking of algorithms is mostly done in terms of solution quality only, despite the fact that the convergence of algorithm is also an important factor. In this paper, a direct comparison approach is proposed to analyze the performance of evolutionary optimization algorithms. A direct comparison matrix called \emph{Prasatul Matrix} is prepared, which accounts direct comparison outcome of best solutions obtained with two algorithms for a specific number of trials. Five different performance measures are designed based on the prasatul matrix to evaluate the performance of algorithms in terms of Optimality and Comparability of solutions. These scores are utilized to develop a score-driven approach for comparing performance of multiple algorithms as well as for ranking both in the grounds of solution quality and convergence analysis. Proposed approach is analyzed with six evolutionary optimization algorithms on 25 benchmark functions. A non-parametric statistical analysis, namely Wilcoxon paired sum-rank test is also performed to verify the outcomes of proposed direct comparison approach.
△ Less
Submitted 1 December, 2022;
originally announced December 2022.
-
Determining the viscosity of the Navier-Stokes equations from observations of finitely many modes
Authors:
Animikh Biswas,
Joshua Hudson
Abstract:
In this work, we ask and answer the question: when is the viscosity of a fluid uniquely determined from spatially sparse measurements of its velocity field? We pose the question mathematically as an optimization problem using the determining map (the mapping of data to an approximation made via a nudging algorithm) to define a loss functional, the minimization of which solves the inverse problem o…
▽ More
In this work, we ask and answer the question: when is the viscosity of a fluid uniquely determined from spatially sparse measurements of its velocity field? We pose the question mathematically as an optimization problem using the determining map (the mapping of data to an approximation made via a nudging algorithm) to define a loss functional, the minimization of which solves the inverse problem of identifying the true viscosity given the measurement data. We give explicit a priori conditions for the well-posedness of this inverse problem. In addition, we show that smallness of the loss functional implies proximity to the true viscosity. We then present an algorithm for solving the inverse problem and prove its convergence.
△ Less
Submitted 22 February, 2023; v1 submitted 28 November, 2022;
originally announced November 2022.
-
A Novel Regularity Criterion For The three-dimensional Navier-Stokes Equations Based On Finitely many observations
Authors:
Abhishek Balakrishna,
Animikh Biswas
Abstract:
In this paper we present two results: (1) A data assimilation algorithm for the 3D Navier-Stokes equation (3D NSE) using nodal data, and, as a consequence (2) a novel regularity criterion for the 3D NSE based on finitely many observations of the velocity. The data assimilation algorithm we employ utilizes nudging, a method based on a Newtonian relaxation scheme motivated by feedback-control. The o…
▽ More
In this paper we present two results: (1) A data assimilation algorithm for the 3D Navier-Stokes equation (3D NSE) using nodal data, and, as a consequence (2) a novel regularity criterion for the 3D NSE based on finitely many observations of the velocity. The data assimilation algorithm we employ utilizes nudging, a method based on a Newtonian relaxation scheme motivated by feedback-control. The observations, which may be either modal, nodal or volume elements, are drawn from a weak solution of the 3D NSE and are collected almost everywhere in time over a finite grid and our results, including the regularity criterion, hold for data of any of the aforementioned forms. The regularity criterion we propose follows from our data assimilation algorithm and is hence intimately connected to the notion of determining functionals (modes, nodes and volume elements). To the best of our knowledge, all existing regularity criteria require knowing the solution of the 3D NSE almost everywhere in space. Our regularity criterion is fundamentally different from any preexisting regularity criterion as it is based on finitely many observations (modes, nodes and volume elements). We further prove that the regularity criterion we propose is both a necessary and sufficient condition for regularity. Thus our result can be viewed as a natural generalization of the notion of determining modes, nodes and volume elements as well as the asymptotic tracking property of the nudging algorithm for the 2D NSE to the 3D setting.
△ Less
Submitted 27 November, 2022;
originally announced November 2022.
-
Convergence of a mobile data assimilation scheme for the 2D Navier-Stokes equations
Authors:
Animikh Biswas,
Zachary Bradshaw,
Michael Jolly
Abstract:
We introduce a localized version of the nudging data assimilation algorithm for the periodic 2D Navier-Stokes equations in which observations are confined (i.e., localized) to a window that moves across the entire domain along a predetermined path at a given speed. We prove that, if the movement is fast enough, then the algorithm perfectly synchronizes with a reference solution. The analysis sugge…
▽ More
We introduce a localized version of the nudging data assimilation algorithm for the periodic 2D Navier-Stokes equations in which observations are confined (i.e., localized) to a window that moves across the entire domain along a predetermined path at a given speed. We prove that, if the movement is fast enough, then the algorithm perfectly synchronizes with a reference solution. The analysis suggests an informed scheme in which the subdomain moves according to a region where the error is dominant is optimal. Numerical simulations are presented that compare the efficacy of movement that follows a regular pattern, one guided by the dominant error, and one that is random.
△ Less
Submitted 4 January, 2023; v1 submitted 20 October, 2022;
originally announced October 2022.
-
Introductory Review of Swarm Intelligence Techniques
Authors:
Thounaojam Chinglemba,
Soujanyo Biswas,
Debashish Malakar,
Vivek Meena,
Debojyoti Sarkar,
Anupam Biswas
Abstract:
With the rapid upliftment of technology, there has emerged a dire need to fine-tune or optimize certain processes, software, models or structures, with utmost accuracy and efficiency. Optimization algorithms are preferred over other methods of optimization through experimentation or simulation, for their generic problem-solving abilities and promising efficacy with the least human intervention. In…
▽ More
With the rapid upliftment of technology, there has emerged a dire need to fine-tune or optimize certain processes, software, models or structures, with utmost accuracy and efficiency. Optimization algorithms are preferred over other methods of optimization through experimentation or simulation, for their generic problem-solving abilities and promising efficacy with the least human intervention. In recent times, the inducement of natural phenomena into algorithm design has immensely triggered the efficiency of optimization process for even complex multi-dimensional, non-continuous, non-differentiable and noisy problem search spaces. This chapter deals with the Swarm intelligence (SI) based algorithms or Swarm Optimization Algorithms, which are a subset of the greater Nature Inspired Optimization Algorithms (NIOAs). Swarm intelligence involves the collective study of individuals and their mutual interactions leading to intelligent behavior of the swarm. The chapter presents various population-based SI algorithms, their fundamental structures along with their mathematical models.
△ Less
Submitted 30 September, 2022; v1 submitted 26 September, 2022;
originally announced September 2022.
-
Ergodic Risk-Sensitive Control for Regime-Switching Diffusions
Authors:
Anup Biswas,
Somnath Pradhan
Abstract:
In this article, we study the ergodic risk-sensitive control problem for controlled regime-switching diffusions. Under a blanket stability hypothesis, we solve the associated nonlinear eigenvalue problem for weakly coupled systems and characterize the optimal stationary Markov controls via a suitable verification theorem. We also consider the near-monotone case and obtain the existence of principa…
▽ More
In this article, we study the ergodic risk-sensitive control problem for controlled regime-switching diffusions. Under a blanket stability hypothesis, we solve the associated nonlinear eigenvalue problem for weakly coupled systems and characterize the optimal stationary Markov controls via a suitable verification theorem. We also consider the near-monotone case and obtain the existence of principal eigenfunction and optimal stationary Markov controls.
△ Less
Submitted 15 July, 2022;
originally announced July 2022.
-
Modulation spaces, multipliers associated with the special affine Fourier transform
Authors:
M. H. A. Biswas,
H. G. Feichtinger,
R. Ramakrishnan
Abstract:
We study some fundamental properties of the special affine Fourier transform (SAFT) in connection with the Fourier analysis and time-frequency analysis. We introduce the modulation space $\boldsymbol {M}^{r,s}_A$ in connection with SAFT and prove that if a bounded linear operator between new modulation spaces commutes with $A$-translation, then it is a $A$-convolution operator. We also establish H…
▽ More
We study some fundamental properties of the special affine Fourier transform (SAFT) in connection with the Fourier analysis and time-frequency analysis. We introduce the modulation space $\boldsymbol {M}^{r,s}_A$ in connection with SAFT and prove that if a bounded linear operator between new modulation spaces commutes with $A$-translation, then it is a $A$-convolution operator. We also establish Hörmander multiplier theorem and Littlewood-Paley theorem associated with the SAFT.
△ Less
Submitted 8 July, 2022;
originally announced July 2022.
-
Existence-Uniqueness for nonlinear integro-differential equations with drift in $\mathbb{R}^d$
Authors:
Anup Biswas,
Saibal Khan
Abstract:
In this article we consider a class of nonlinear integro-differential equations of the form $$\inf_{τ\in\mathcal{T}} \bigg\{\int_{\mathbb{R}^d} (u(x+y)+u(x-y)-2u(x))\frac{k_τ(x,y)}{|y|^{d+2s}} \,dy+ b_τ(x) \cdot \nabla u(x)+g_τ(x) \bigg\}-λ^*=0\quad \text{in} \hspace{2mm} \mathbb{R}^d,$$ where $0<λ(2-2s)\leq k_τ\leq Λ(2-2s)$ , $s\in (\frac{1}{2},1)$. The above equation appears in the study of ergo…
▽ More
In this article we consider a class of nonlinear integro-differential equations of the form $$\inf_{τ\in\mathcal{T}} \bigg\{\int_{\mathbb{R}^d} (u(x+y)+u(x-y)-2u(x))\frac{k_τ(x,y)}{|y|^{d+2s}} \,dy+ b_τ(x) \cdot \nabla u(x)+g_τ(x) \bigg\}-λ^*=0\quad \text{in} \hspace{2mm} \mathbb{R}^d,$$ where $0<λ(2-2s)\leq k_τ\leq Λ(2-2s)$ , $s\in (\frac{1}{2},1)$. The above equation appears in the study of ergodic control problems in $\mathbb{R}^d$ when the controlled dynamics is governed by pure-jump Lévy processes characterized by the kernels $k_τ\,|y|^{-d-2s}$ and the drift $b_τ$. Under a Foster-Lyapunov condition, we establish the existence of a unique solution pair $(u, λ^*)$ satisfying the above equation, provided we set $u(0)=0$. Results are then extended to cover the HJB equations of mixed local-nonlocal type and this significantly improves the results in [Arapostathis-Caffarelli-Pang-Zheng (2019)].
△ Less
Submitted 5 September, 2023; v1 submitted 28 June, 2022;
originally announced June 2022.
-
Design of DIRK Schemes with High Weak Stage Order
Authors:
Abhijit Biswas,
David Ketcheson,
Benjamin Seibold,
David Shirokoff
Abstract:
Runge-Kutta (RK) methods may exhibit order reduction when applied to certain stiff problems. While fully implicit RK schemes exist that avoid order reduction via high-stage order, DIRK (diagonally implicit Runge-Kutta) schemes are practically important due to their structural simplicity; however, these cannot possess high stage order. The concept of weak stage order (WSO) can also overcome order r…
▽ More
Runge-Kutta (RK) methods may exhibit order reduction when applied to certain stiff problems. While fully implicit RK schemes exist that avoid order reduction via high-stage order, DIRK (diagonally implicit Runge-Kutta) schemes are practically important due to their structural simplicity; however, these cannot possess high stage order. The concept of weak stage order (WSO) can also overcome order reduction, and it is compatible with the DIRK structure. DIRK schemes of WSO up to 3 have been proposed in the past, however, based on a simplified framework that cannot be extended beyond WSO 3. In this work a general theory of WSO is employed to overcome the prior WSO barrier and to construct practically useful high-order DIRK schemes with WSO 4 and above. The resulting DIRK schemes are stiffly accurate, L-stable, have optimized error coefficients, and are demonstrated to perform well on a portfolio of relevant ODE and PDE test problems.
△ Less
Submitted 24 April, 2022;
originally announced April 2022.
-
Boundary regularity of mixed local-nonlocal operators and its application
Authors:
Anup Biswas,
Mitesh Modasiya,
Abhrojyoti Sen
Abstract:
Let $Ω$ be a bounded $C^2$ domain in $\mathbb{R}^n$ and $u\in C(\mathbb{R}^n)$ solves \begin{equation*} \begin{aligned} Δu + a Iu + C_0|Du| \geq -K\quad \text{in}\; Ω, \quad Δu + a Iu - C_0|Du|\leq K \quad \text{in}\; Ω, \quad u=0\quad \text{in}\; Ω^c, \end{aligned} \end{equation*} in the viscosity sense, where $0\leq a\leq A_0$, $C_0, K\geq 0$, and $I$ is a suitable nonlocal operator. We show tha…
▽ More
Let $Ω$ be a bounded $C^2$ domain in $\mathbb{R}^n$ and $u\in C(\mathbb{R}^n)$ solves \begin{equation*} \begin{aligned} Δu + a Iu + C_0|Du| \geq -K\quad \text{in}\; Ω, \quad Δu + a Iu - C_0|Du|\leq K \quad \text{in}\; Ω, \quad u=0\quad \text{in}\; Ω^c, \end{aligned} \end{equation*} in the viscosity sense, where $0\leq a\leq A_0$, $C_0, K\geq 0$, and $I$ is a suitable nonlocal operator. We show that $u/δ$ is in $C^κ(\bar Ω)$ for some $κ\in (0,1)$, where $δ(x)={\rm dist}(x, Ω^c)$. Using this result, we also establish that $u\in C^{1, γ}(\barΩ)$. Finally, we apply these results to study an overdetermined problem for mixed local-nonlocal operators.
△ Less
Submitted 19 July, 2022; v1 submitted 15 April, 2022;
originally announced April 2022.
-
Algebraic Structure of the Weak Stage Order Conditions for Runge-Kutta Methods
Authors:
Abhijit Biswas,
David Ketcheson,
Benjamin Seibold,
David Shirokoff
Abstract:
Runge-Kutta (RK) methods may exhibit order reduction when applied to stiff problems. For linear problems with time-independent operators, order reduction can be avoided if the method satisfies certain weak stage order (WSO) conditions, which are less restrictive than traditional stage order conditions. This paper outlines the first algebraic theory of WSO, and establishes general order barriers th…
▽ More
Runge-Kutta (RK) methods may exhibit order reduction when applied to stiff problems. For linear problems with time-independent operators, order reduction can be avoided if the method satisfies certain weak stage order (WSO) conditions, which are less restrictive than traditional stage order conditions. This paper outlines the first algebraic theory of WSO, and establishes general order barriers that relate the WSO of a RK scheme to its order and number of stages for both fully-implicit and DIRK schemes. It is shown in several scenarios that the constructed bounds are sharp. The theory characterizes WSO in terms of orthogonal invariant subspaces and associated minimal polynomials. The resulting necessary conditions on the structure of RK methods with WSO are then shown to be of practical use for the construction of such schemes.
△ Less
Submitted 3 February, 2024; v1 submitted 7 April, 2022;
originally announced April 2022.
-
Mixed local-nonlocal operators: maximum principles, eigenvalue problems and their applications
Authors:
Anup Biswas,
Mitesh Modasiya
Abstract:
In this article we consider a class of non-degenerate elliptic operators obtained by superpositioning the Laplacian and a general nonlocal operator. We study the existence-uniqueness results for Dirichlet boundary value problems, maximum principles and generalized eigenvalue problems. As applications to these results, we obtain Faber-Krahn inequality and a one-dimensional symmetry result related t…
▽ More
In this article we consider a class of non-degenerate elliptic operators obtained by superpositioning the Laplacian and a general nonlocal operator. We study the existence-uniqueness results for Dirichlet boundary value problems, maximum principles and generalized eigenvalue problems. As applications to these results, we obtain Faber-Krahn inequality and a one-dimensional symmetry result related to the Gibbons' conjecture. The latter results substantially extend the recent results of Biagi et.\ al. [7,9] who consider the operators of the form $-Δ+ (-Δ)^s$ with $s\in (0, 1)$.
△ Less
Submitted 10 October, 2023; v1 submitted 13 October, 2021;
originally announced October 2021.
-
Mesh-Free Interpolant Observables for Continuous Data Assimilation
Authors:
Animikh Biswas,
Kenneth R. Brown,
Vincent R. Martinez
Abstract:
This paper considers a nudging-based scheme for data assimilation for the two-dimensional (2D) Navier-Stokes equations (NSE) with periodic boundary conditions and studies the synchronization of the signal produced by this algorithm with the true signal, to which the observations correspond, in all higher-order Sobolev topologies. This work complements previous results in the literature where condi…
▽ More
This paper considers a nudging-based scheme for data assimilation for the two-dimensional (2D) Navier-Stokes equations (NSE) with periodic boundary conditions and studies the synchronization of the signal produced by this algorithm with the true signal, to which the observations correspond, in all higher-order Sobolev topologies. This work complements previous results in the literature where conditions were identified under which synchronization is guaranteed either with respect to only the $H^1$--topology, in the case of general observables, or to the analytic Gevrey topology, in the case of spectral observables. To accommodate the property of synchronization in the stronger topologies, the framework of general interpolant observable operators, originally introduced by Azouani, Olson, and Titi, is expanded to a far richer class of operators. A significant effort is dedicated to the development of this more expanded framework, specifically, their basic approximation properties, the identification of subclasses of such operators relevant to obtaining synchronization, as well as the detailed relation between the structure of these operators and the system regarding the syncrhonization property. One of the main features of this framework is its "mesh-free" aspect, which allows the observational data itself to dictate the subdivision of the domain. Lastly, estimates for the radius of the absorbing ball of the 2D NSE in all higher-order Sobolev norms are obtained, thus properly generalizing previously known bounds; such estimates are required for establishing the synchronization property of the algorithm in the higher-order topologies.
△ Less
Submitted 1 August, 2022; v1 submitted 11 August, 2021;
originally announced August 2021.
-
On ergodic control problem for viscous Hamilton--Jacobi equations for weakly coupled elliptic systems
Authors:
Ari Arapostathis,
Anup Biswas,
Prasun Roychowdhury
Abstract:
In this article we study ergodic problems in the whole space $\mathbb{R}^N$ for weakly coupled systems of viscous Hamilton-Jacobi equations with coercive right-hand sides. The Hamiltonians are assumed to have a fairly general structure and the switching rates need not be constant. We prove the existence of a critical value $λ^*$ such that the ergodic eigenvalue problem has a solution for every…
▽ More
In this article we study ergodic problems in the whole space $\mathbb{R}^N$ for weakly coupled systems of viscous Hamilton-Jacobi equations with coercive right-hand sides. The Hamiltonians are assumed to have a fairly general structure and the switching rates need not be constant. We prove the existence of a critical value $λ^*$ such that the ergodic eigenvalue problem has a solution for every $λ\leqλ^*$ and no solution for $λ>λ^*$. Moreover, the existence and uniqueness of non-negative solutions corresponding to the value $λ^*$ are also established. We also exhibit the implication of these results to the ergodic optimal control problems of controlled switching diffusions.
△ Less
Submitted 22 November, 2021; v1 submitted 17 June, 2021;
originally announced June 2021.
-
Determining Map, Data Assimilation and an Observable Regularity Criterion for the Three-Dimensional Boussinesq System
Authors:
Abhishek Balakrishna,
Animikh Biswas
Abstract:
In this paper, we provide conditions, \emph{based solely on the observed velocity data}, for the global well-posedness, regularity and convergence of the Azouni-Olson-Titi data assimilation algorithm (AOT algorithm) for a Leray-Hopf weak solutions of the three dimensional Boussinesq system. This condition also guarantees the construction of the {\it determining map}. The aforementioned conditions…
▽ More
In this paper, we provide conditions, \emph{based solely on the observed velocity data}, for the global well-posedness, regularity and convergence of the Azouni-Olson-Titi data assimilation algorithm (AOT algorithm) for a Leray-Hopf weak solutions of the three dimensional Boussinesq system. This condition also guarantees the construction of the {\it determining map}. The aforementioned conditions on the (finite-dimensional) velocity observations, which in this case comprise either of a finite-dimensional \emph{modal} projection or finitely many \emph{volume element observations}, are automatically satisfied for solutions that are globally regular and are uniformly bounded in the $H^1$-norm. However, neither regularity nor uniqueness is {\it a priori} assumed on the solutions. To the best of our knowledge, this is the first such rigorous analysis of the AOT data assimilation algorithm for the three-dimensional Boussinesq system. As a corollary, we obtain that the condition that we imposed is in fact {\it a new observable regularity criterion on the weak global attractor.} The proof of this fact proceeds through the construction of the determining map.
△ Less
Submitted 3 June, 2021;
originally announced June 2021.
-
A spectral bound for vertex-transitive graphs
Authors:
Arindam Biswas,
Jyoti Prakash Saha
Abstract:
For any finite, undirected, non-bipartite, vertex-transitive graph, we establish an explicit lower bound for the smallest eigenvalue of its normalised adjacency operator, which depends on the graph only through its degree and its isoperimetric constant.
For any finite, undirected, non-bipartite, vertex-transitive graph, we establish an explicit lower bound for the smallest eigenvalue of its normalised adjacency operator, which depends on the graph only through its degree and its isoperimetric constant.
△ Less
Submitted 20 April, 2021;
originally announced April 2021.
-
Interpolating sequences for the Banach algebras generated by a class of test functions
Authors:
Anindya Biswas,
Vikramjeet Singh Chandel
Abstract:
Given a domain $Ω$ in $\mathbb{C}^n$ and a collection of test functions $Ψ$ on $Ω$, we consider the complex-valued $Ψ$-Schur-Agler class associated to the pair $(Ω,\,Ψ)$. In this article, we characterize interpolating sequences for the associated Banach algebra of which the $Ψ$-Schur-Agler class is the closed unit ball. When $Ω$ is the unit disc $\mathbb{D}$ in the complex plane $\mathbb{C}$ and t…
▽ More
Given a domain $Ω$ in $\mathbb{C}^n$ and a collection of test functions $Ψ$ on $Ω$, we consider the complex-valued $Ψ$-Schur-Agler class associated to the pair $(Ω,\,Ψ)$. In this article, we characterize interpolating sequences for the associated Banach algebra of which the $Ψ$-Schur-Agler class is the closed unit ball. When $Ω$ is the unit disc $\mathbb{D}$ in the complex plane $\mathbb{C}$ and the class of test function includes only the identity function on $\mathbb{D}$, the aforementioned algebra is the algebra of bounded holomorphic functions on $\mathbb{D}$ and in this case, our characterization reduces to the well known result by Carleson. Furthermore, we present several other cases of the pair $(Ω,\,Ψ)$, where our main result could be applied to characterize interpolating sequences which also show the efficacy of our main result.
△ Less
Submitted 12 April, 2021;
originally announced April 2021.
