arXiv subjects

Arka Ghosh

Publications and source records attributed to Arka Ghosh.

At least 19 recordsLinked to original sources

arXiv2026

Greedy Vector Balancing

In online vector balancing, vectors $t_1,\dots,t_n$ arrive one by one from a given set $T$ and the goal is to assign signs $s_1,\dots,s_n\in\{\pm1\}$ in an online manner so as to minimize the largest norm of any signed prefix sum $\sum_{i=1}^ks_i t_i$, $k \in [n]$. In this paper, we analyze the natural Euclidean greedy vector balancing algorithm for this problem: at each step $k$, the sign $s_k\in\{\pm1\}$ is chosen so that $s_k t_k$ has non-positive inner product with $\sum_{i=1}^{k-1} s_i\cdot t_i$. Our main result is the first finite bound, independent of the sequence length $n$, on the performance of greedy whenever $T$ is finite. When $T \subset \mathbb{R}^d$ consists of unit vectors, we prove that the signed sums produced by greedy have Euclidean norm at most $(2/δ_T)^{d-1}$, where $δ_T$ is the minimum non-zero distance between vectors in $T$ and subspaces spanned by vectors in $T$. The same upper bound holds when the sequences are composed of scaled down vectors in $T$. We also provide a simple set $T$ for which $Ω(\sqrt{d}/δ_T)$ is a lower bound. We analyze the greedy algorithm by proving the existence of a bounded convex $K_T$ that is $T$-absorbing: $\forall x\in K_T$ and $t \in\pm T$, $\langle x,t\rangle\leq0\Rightarrow x+t\in K_T$. We give an explicit construction of a set $K_T$ contained in a ball of radius $(2/δ_T)^{d-1}$, based on chains of subspaces spanned by vectors in $T$, which may be of independent interest. We generalize our greedy vector balancing bound to online vector partitioning, where the sequence $t_1,\dots,t_n$ must be partitioned in an online manner into $p$ subsequences. As an application, we prove a special case of a conjecture of Bosman et al. (arxiv:2402.19259), showing that a lexicographic version of total completion time scheduling under scenarios is polynomial time solvable when the number of scenarios is fixed.

cs.CG↗

arXiv2026

Computing the Reachability Value of Posterior-Deterministic POMDPs

Partially observable Markov decision processes (POMDPs) are a fundamental model for sequential decision-making under uncertainty. However, many verification and synthesis problems for POMDPs are undecidable or intractable. Most prominently, the seminal result of Madani et al. (2003) states that there is no algorithm that, given a POMDP and a set of target states, can compute the maximal probability of reaching the target states, or even approximate it up to a non-trivial constant. This is in stark contrast to fully observable Markov decision processes (MDPs), where the reachability value can be computed in polynomial time. In this work, we introduce posterior-deterministic POMDPs, a novel class of POMDPs. Our main technical contribution is to show that for posterior-deterministic POMDPs, the maximal probability of reaching a given set of states can be approximated up to arbitrary precision. A POMDP is posterior-deterministic if the next state can be uniquely determined by the current state, the action taken, and the observation received. While the actual state is generally uncertain in POMDPs, the posterior-deterministic property tells us that once the true state is known it remains known forever. This simple and natural definition includes all MDPs and captures classical non-trivial examples such as the Tiger POMDP (Kaelbling et al. 1998), making it one of the largest known classes of POMDPs for which the reachability value can be approximated.

cs.AI↗

arXiv2026

Nested Fermi and eROSITA bubbles require very similar $\sim10^{56}$ erg collimated Galactic-center outbursts; their asymmetry indicates an eastern density gradient

Observations indicate two nested pairs of extended bipolar bubbles emanating from the Milky-Way center - the $|b|\sim80^\circ$ latitude eROSITA bubbles (RBs), encompassing the smaller, $|b|\sim 50^{\circ}$ Fermi bubbles (FBs) - and classify the edges of both bubble pairs as strong forward shocks. Identifying each bubble pair as driven by a distinct, collimated outburst, we evolve these bubbles and constrain their origin using a stratified 1D model verified by a suite of 2D and 3D hydrodynamic simulations which reproduce X-ray observations. While the RBs are at the onset of slowdown, the FBs are still expanding ballistically into the RB-shocked medium. Observational constraints indicate that both RB and FB outbursts had (up to factor $\sim2$-$4$ uncertainties) $\sim4^\circ$ half-opening angles and $\sim 2000$ km s$^{-1}$ velocities $100$ pc from their base, carrying $\sim10^{56}$ erg. The FBs and RBs could thus arise from identical outbursts separated by $\sim10$ Myr; their longitudinal asymmetry favors an eastern ambient-density gradient over western wind suggestions.

astro-ph.HE↗

arXiv2026

Regularity of Squarefree Powers of Edge Ideals of Whiskered Cycles

Let $G$ be a finite simple graph and let $I(G)$ denote its edge ideal. For $q \ge 1$, the $q$-th squarefree power $I(G)^{[q]}$ is generated by squarefree monomials corresponding to matchings of size $q$ in $G$. We denote by $\operatorname{reg}(-)$ the Castelnuovo-Mumford regularity. Das, Roy, and Saha conjectured that if $G = W(C_n)$ is a whiskered cycle, then \[ \operatorname{reg}\big(I(G)^{[q]}\big) = 2q + \left\lfloor \frac{n - q - 1}{2} \right\rfloor ~ \text{for all } 1 \le q \le ν(G), \] where $ν(G)$ denotes the matching number of $G$. In this paper, we confirm this conjecture by determining the exact value of $\operatorname{reg}(I(G)^{[q]})$.

math.AC↗

arXiv2026

From Risk Avoidance to User Empowerment in AI Mental Health Crisis Support

People experiencing mental health crises frequently turn to open-ended generative AI (GenAI) chatbots for support. However, rather than providing immediate assistance, some GenAI chatbots are designed to respond to crisis situations in ways that minimize their developers' liability, primarily through avoidance (e.g., refusing to engage beyond templated referrals to crisis hotlines). Withholding crisis support in these cases may harm users who have no viable alternatives and reduce their motivation to seek further help. At scale, this avoidant design could undermine population mental health. We propose empowerment-oriented design principles for AI crisis support, informed by community helper models. As an initial touchpoint in help-seeking, AI chatbots can act as a supportive bridge to de-escalate crises and connect users to more reliable care. Coordination between AI developers and regulators can enable a better balance of risk mitigation and user empowerment in AI crisis support.

cs.CY↗

arXiv2026

Mach $>3$ shocks at the tips of both eROSITA bubbles

eROSITA substantiated earlier indications that Loop-I is the northern part of an extended bipolar Galactic-bubble structure, but the southern bubble was not established in nonthermal emission and the shock strength was not robustly measured in either bubble. After using eROSITA data to map the bubble edges, we analyzed edge-adjacent radio and $γ$-ray data to remove foregrounds, test if the southern bubble can be detected in nonthermal emission, and measure the corresponding high-latitude spectra of both bubbles. Data were stacked parallel to the eROSITA bubble edges traced by an edge detector, in the same method used previously to pick up weak signals in the smaller, nested Fermi bubbles; the detected brightness jumps were then used to measure the spectrum. We detect ($>5σ$) both bubble tips in both radio and $γ$-rays, and find a radio spectrum corresponding to high, Mach $3$-$5$ shocks. The southern bubble is fainter, by $\sim$an order of magnitude in radio, its edge propagating into a medium roughly half as dense. The results indicate that these eROSITA bubbles are older, evolved counterparts of the Fermi bubbles, arising from an earlier collimated high-energy outburst from the Galactic center.

astro-ph.HE↗

arXiv2025

A Quantum Framework for Negative Magnetoresistance in Multi-Weyl Semimetals

We develop a fully quantum-mechanical theory of negative magnetoresistance in multi-Weyl semimetals in the ${\bf E}\parallel{\bf B}$ configuration, where the chiral anomaly is activated. The magnetotransport response is governed by Landau quantization and the emergence of multiple chiral Landau levels associated with higher-order Weyl nodes. These anomaly-active modes have unidirectional dispersion fixed by the node's monopole charge and dominate charge transport. As the magnetic field increases, individual chiral branches successively cross the Fermi energy, producing discrete slope changes in the longitudinal conductivity and a step-like negative magnetoresistance. This quantized evolution provides a direct experimental signature of multi-Weyl topology. Bulk Landau levels contribute only at very low fields due to strong disorder scattering and do not affect the anomaly-driven regime. Our results establish a unified, fully quantum-mechanical framework in which negative magnetoresistance arises from the discrete Landau-quantized spectrum and microscopic impurity scattering, beyond semiclassical anomaly descriptions.

cond-mat.mes-hall↗

arXiv2025

Seeking Late Night Life Lines: Experiences of Conversational AI Use in Mental Health Crisis

Online, people often recount their experiences turning to conversational AI agents (e.g., ChatGPT, Claude, Copilot) for mental health support -- going so far as to replace their therapists. These anecdotes suggest that AI agents have great potential to offer accessible mental health support. However, it's unclear how to meet this potential in extreme mental health crisis use cases. In this work, we explore the first-person experience of turning to a conversational AI agent in a mental health crisis. From a testimonial survey (n = 53) of lived experiences, we find that people use AI agents to fill the in-between spaces of human support; they turn to AI due to lack of access to mental health professionals or fears of burdening others. At the same time, our interviews with mental health experts (n = 16) suggest that human-human connection is an essential positive action when managing a mental health crisis. Using the stages of change model, our results suggest that a responsible AI crisis intervention is one that increases the user's preparedness to take a positive action while de-escalating any intended negative action. We discuss the implications of designing conversational AI agents as bridges towards human-human connection rather than ends in themselves.

cs.HC↗

arXiv2025

Linear resolution of connected graph ideals and their powers

For a finite simple graph $G$ and an integer $r \ge 1$, the $r$-connected ideal $I_r(G)$ is the squarefree monomial ideal generated by the vertex sets of connected induced subgraphs of size $r+1$, extending the classical edge ideal. We investigate the linearity of the minimal free resolutions of $I_r(G)$ via structural features of the associated clutter $\mathcal{C}_r(G)$. We introduce the class of co-chordal-cactus graphs and prove that $I_r(G)$ has a linear resolution for all $r \ge 2$ whenever $G$ lies in this family. The result further extends to $(2K_2, C_4)$-free graphs and co-grid graphs. For $r=1$, we show that the edge ideal $I_1(G)$ has Castelnuovo-Mumford regularity at most $3$ for all co-chordal-cactus and co-grid graphs. We also examine powers of connected ideals and establish that $I_r(G)^q$ has a linear resolution for every $q \ge 1$ in several natural graph families, including complements of trees with bounded degree, complete multipartite graphs, complements of cycles, graphs obtained by gluing complete graphs along cliques, and certain subclasses of split graphs.

math.AC↗

arXiv2025

Shellability of Higher Independence Complexes of Graphs

This paper investigates the shellability of $r$-independence complexes $\mathcal{I}_r(G)$, a generalization of classical independence complexes introduced by Paolini and Salvetti. For a graph $G$, a subset $A \subseteq V(G)$ is $r$-independent if every connected component of the induced subgraph $G[A]$ has at most $r$ vertices. The associated simplicial complex $\mathcal{I}_r(G)$ has been the subject of significant interest due to its connections to combinatorial topology and commutative algebra. We address the classification problem for shellable $r$-independence complexes, focusing on block graphs, trees, and related families. Our main results establish sufficient conditions for shellability based on structural graph parameters such as diameter and forbidden subgraphs. Furthermore, we develop constructive techniques for generating shellable complexes through graph operations, including star-clique attachments, clique whiskering, and clique cycle constructions. These results extend and refine earlier work on classical independence complexes and provide a framework for understanding the topological and algebraic properties of higher independence complexes in structured graph families.

math.CO↗

arXiv2025

Computability of Equivariant Gröbner bases

Let $\mathbb{K}$ be a field, $\mathcal{X}$ be an infinite set (of indeterminates), and $\mathcal{G}$ be a group acting on $\mathcal{X}$. An ideal in the polynomial ring $\mathbb{K}[\mathcal{X}]$ is called equivariant if it is invariant under the action of $\mathcal{G}$. We show Gröbner bases for equivariant ideals are computable are hence the equivariant ideal membership is decidable when $\mathcal{G}$ and $\mathcal{X}$ satisfies the Hilbert's basis property, that is, when every equivariant ideal in $\mathbb{K}[\mathcal{X}]$ is finitely generated. Moreover, we give a sufficient condition for the undecidability of the equivariant ideal membership problem. This condition is satisfied by the most common examples not satisfying the Hilbert's basis property.

cs.LO↗

arXiv2024

Orbit-finite linear programming

An infinite set is orbit-finite if, up to permutations of the underlying structure of atoms, it has only finitely many elements. We study a generalisation of linear programming where constraints are expressed by an orbit-finite system of linear inequalities. As our principal contribution we provide a decision procedure for checking if such a system has a real solution, and for computing the minimal/maximal value of a linear objective function over the solution set. We also show undecidability of these problems in case when only integer solutions are considered. Therefore orbit-finite linear programming is decidable, while orbit-finite integer linear programming is not.

cs.LO↗

arXiv2024

Equivariant ideals of polynomials

We study existence and computability of finite bases for ideals of polynomials over infinitely many variables. In our setting, variables come from a countable logical structure A, and embeddings from A to A act on polynomials by renaming variables. First, we give a sufficient and necessary condition for A to guarantee the following generalisation of Hilbert's Basis Theorem: every polynomial ideal which is equivariant, i.e. invariant under renaming of variables, is finitely generated. Second, we develop an extension of classical Buchberger's algorithm to compute a Gröbner basis of a given equivariant ideal. This implies decidability of the membership problem for equivariant ideals. Finally, we sketch upon various applications of these results to register automata, Petri nets with data, orbit-finitely generated vector spaces, and orbit-finite systems of linear equations.

cs.LO↗

arXiv2023

Fair Differentially Private Federated Learning Framework

Federated learning (FL) is a distributed machine learning strategy that enables participants to collaborate and train a shared model without sharing their individual datasets. Privacy and fairness are crucial considerations in FL. While FL promotes privacy by minimizing the amount of user data stored on central servers, it still poses privacy risks that need to be addressed. Industry standards such as differential privacy, secure multi-party computation, homomorphic encryption, and secure aggregation protocols are followed to ensure privacy in FL. Fairness is also a critical issue in FL, as models can inherit biases present in local datasets, leading to unfair predictions. Balancing privacy and fairness in FL is a challenge, as privacy requires protecting user data while fairness requires representative training data. This paper presents a "Fair Differentially Private Federated Learning Framework" that addresses the challenges of generating a fair global model without validation data and creating a globally private differential model. The framework employs clipping techniques for biased model updates and Gaussian mechanisms for differential privacy. The paper also reviews related works on privacy and fairness in FL, highlighting recent advancements and approaches to mitigate bias and ensure privacy. Achieving privacy and fairness in FL requires careful consideration of specific contexts and requirements, taking into account the latest developments in industry standards and techniques.

cs.LG↗

arXiv2023

Quasi-spiral solution to the mixed intracluster medium and the universal entropy profile of galaxy clusters

Well-resolved galaxy clusters often show a large-scale quasi-spiral structure in deprojected density $ρ$ and temperature $T$ fields, delineated by a tangential discontinuity known as a cold front, superimposed on a universal radial entropy profile with a linear $K(r)\propto Tρ^{-2/3}\propto r$ adiabat. We show that a spiral structure provides a natural quasi-stationary solution for the mixed intracluster medium (ICM), introducing a modest pressure spiral that confines the locally buoyant or heavy plasma phases. The solution persists in the presence of uniform or differential rotation, and can accommodate both an inflow and an outflow. Hydrodynamic adiabatic simulations with perturbations that deposit angular momentum and mix the plasma thus asymptote to a self-similar spiral structure. We find similar spirals in Eulerian and Lagrangian simulations of 2D and 3D, merger and offset, clusters. The discontinuity surface is given in spherical coordinates $\{r,θ,ϕ\}$ by $ϕ(r,θ)\propto Φ(r)$, where $Φ$ is the gravitational potential, combining a trailing spiral in the equatorial ($θ=π/2$) plane and semicircles perpendicular to the plane, in resemblance of a snail shell. A local convective instability can develop between spiral windings, driving a modified global instability in sublinear $K(r)$ regions; evolved spirals thus imprint the observed $K\propto r$ onto the ICM even after they dissipate. The spiral structure brings hot and cold phases to close proximity, suggesting that the observed fast outflows could sustain the structure even in the presence of radiative cooling.

astro-ph.CO↗

arXiv2023

Confronting double-detonation sub-Chandrasekhar models with the low-luminosity suppression of Type Ia supernovae

Type Ia supernovae (SNe Ia) are likely the thermonuclear explosions of carbon-oxygen (CO) white-dwarf (WD) stars, but their progenitor systems remain elusive. Recently, Sharon & Kushnir (2022) used The Zwicky Transient Facility Bright Transient Survey to construct a synthesized $^{56}$Ni mass, $M_\text{Ni56}$, distribution of SNe Ia. They found that the rate of low-luminosity ($M_\text{Ni56}\approx0.15\,M_{\odot}$) SNe Ia is lower by a factor of $\sim10$ than the more common $M_\text{Ni56}\approx0.7\,M_{\odot}$ events. We here show that in order for the double-detonation model (DDM, in which a propagating thermonuclear detonation wave, TNDW, within a thin helium shell surrounding a sub-Chandrasekhar mass CO core triggers a TNDW within the core) to explain this low-luminosity suppression, the probability of a low-mass ($\approx0.85\,M_{\odot}$) WD explosion should be $\sim100$-fold lower than that of a high-mass ($\approx1.05\,M_{\odot}$) WD. One possible explanation is that the ignition of low-mass CO cores is somehow suppressed. We use accurate one-dimensional numerical simulations to show that if a TNDW is able to propagate within the helium shell, then the ignition within the CO core is guaranteed (resolved here for the first time in a full-star simulation), even for $0.7\,M_{\odot}$ WDs, providing no natural explanation for the low-luminosity suppression. DDM could explain the low-luminosity suppression if the mass distribution of primary WDs in close binaries is dramatically different from the field distribution; if the Helium shell ignition probability is suppressed for low-mass WDs; or if multidimensional perturbations significantly change our results.

astro-ph.HE↗

arXiv2022

The Geometry of Reachability in Continuous Vector Addition Systems with States

We study the geometry of reachability sets of continuous vector addition systems with states (VASS). In particular we establish that they are almost Minkowski sums of convex cones and zonotopes generated by the vectors labelling the transitions of the VASS. We use the latter to prove that short so-called linear path schemes suffice as witnesses of reachability in continuous VASS of fixed dimension. Then, we give new polynomial-time algorithms for the reachability problem for linear path schemes. Finally, we also establish that enriching the model with zero tests makes the reachability problem intractable already for linear path schemes of dimension two.

cs.LO↗

arXiv2022

Solvability of orbit-finite systems of linear equations

We study orbit-finite systems of linear equations, in the setting of sets with atoms. Our principal contribution is a decision procedure for solvability of such systems. The procedure works for every field (and even commutative ring) under mild effectiveness assumptions, and reduces a given orbit-finite system to a number of finite ones: exponentially many in general, but polynomially many when atom dimension of input systems is fixed. Towards obtaining the procedure we push further the theory of vector spaces generated by orbit-finite sets, and show that each such vector space admits an orbit-finite basis. This fundamental property is a key tool in our development, but should be also of wider interest.

cs.CL↗