arXiv subjects

Samik Basu

Publications and source records attributed to Samik Basu.

At least 19 recordsLinked to original sources

arXiv2026

Local Inertness of Poincar\'{e} duality complexes

We prove that, under certain homological conditions, the attaching map of the top cell of a Poincar\'{e} duality complex is inert when localised away from a finite set of primes. This improves on a result of F\'elix and Tanr\'e in these cases. As an additional application of the methods, we give a loop space decomposition of simply-connected $6$-dimensional Poincar\'{e} duality complexes satisfying certain hypotheses. We also show that, under the hypotheses of the inertness theorem, the $(n-1)$-skeleton of an $n$-dimensional Poincar\'{e} duality complex satisfies the hyperbolic form of Moore's Conjecture after localising away from an explicit finite set of primes, and use this to obtain new examples of $p$-local maps between spheres that are not inert.

math.AT↗

arXiv2026

Equivariant twisted $R$-algebras via Thom spectra

For a $C_2$-commutative ring spectrum $R$, a twisted $R$-algebra is an $R$-module with a multiplication whose order is switched by the $C_2$-action. In this paper, we construct various quotients of $R$ as twisted $R$-algebras, when $R$ is an even real commutative ring spectrum. These are constructed as Thom spectra of maps out of suitable $C_2$-actions on $S^1$ and $U(n)$. One such example is given by $K\mathbb{R}$ which is endowed with a twisted $K\mathbb{R}$-algebra structure. Other examples include quotients such as $M\mathbb{R}/(2,x_1,\dots, x_{n-1})$ over the real bordism spectrum $M\mathbb{R}$, and the real $2$-periodic Morava $K$-theories as modules over the real Morava $E$-theory spectra. In the context of twisted $R$-algebras, one may consider the real topological Hochschild homology, and for Thom spectra, one has a nice formula again as a Thom spectrum. We use this to obtain computations for the real topological Hochschild homology of $K\mathbb{R}/2$ as a twisted $K\mathbb{R}$-algebra. The computation also involves a splitting of the units spectrum $gl_1K\mathbb{R}$, which is an analogue of the classical splitting of the units of $K$-theory.

math.AT↗

arXiv2026

Rational stable homotopy type of equivariant projective spaces and Grassmannians

We prove explicit rational stable splittings of equivariant complex projective spaces $\mathbb{C}P(V)$ and Grassmannians $Gr_n(V)$, for complex representations $V$. When $V$ is a sum of one-dimensional representations, both $\mathbb{C}P(V)$ and $Gr_n(V)$ are rationally a wedge of representation spheres. For general finite groups $G$ and $V$ a sum of irreducible representations which are not necessarily one-dimensional, we show that $\mathbb{C}P(V)$ splits rationally as a wedge of Thom spaces over irreducible factors in $V$. For $Gr_n(V)$, the factors in the corresponding rational splitting are a smash product of Thom spaces over lower Grassmannians on irreducible factors in $V$.

math.AT↗

arXiv2025

Enumerating Smooth Structures on $\mathbb{C}P^3\times\mathbb{S}^k$

In this paper, we compute the concordance inertia group of the product $M \times \mathbb{S}^k$, where $M$ is a simply connected, closed, smooth 6-manifold, for $1 \leq k \leq 10$, using known low-dimensional computations of the stable homotopy groups of spheres. Specifically, for $M = \mathbb{C}P^3$, we determine the inertia group of $\mathbb{C}P^3 \times \mathbb{S}^k$ for $2 \leq k \leq 7, k \neq 6$, and establish a diffeomorphism classification of all smooth manifolds homeomorphic to $\mathbb{C}P^3 \times \mathbb{S}^k$ for $1 \leq k \leq 7$.

math.AT↗

arXiv2024

Fairness in Monotone $k$-submodular Maximization: Algorithms and Applications

Submodular optimization has become increasingly prominent in machine learning and fairness has drawn much attention. In this paper, we propose to study the fair $k$-submodular maximization problem and develop a $\frac{1}{3}$-approximation greedy algorithm with a running time of $\mathcal{O}(knB)$. To the best of our knowledge, our work is the first to incorporate fairness in the context of $k$-submodular maximization, and our theoretical guarantee matches the best-known $k$-submodular maximization results without fairness constraints. In addition, we have developed a faster threshold-based algorithm that achieves a $(\frac{1}{3} - \epsilon)$ approximation with $\mathcal{O}(\frac{kn}{\epsilon} \log \frac{B}{\epsilon})$ evaluations of the function $f$. Furthermore, for both algorithms, we provide approximation guarantees when the $k$-submodular function is not accessible but only can be approximately accessed. We have extensively validated our theoretical findings through empirical research and examined the practical implications of fairness. Specifically, we have addressed the question: ``What is the price of fairness?" through case studies on influence maximization with $k$ topics and sensor placement with $k$ types. The experimental results show that the fairness constraints do not significantly undermine the quality of solutions.

cs.LG↗

arXiv2024

Regularized Unconstrained Weakly Submodular Maximization

Submodular optimization finds applications in machine learning and data mining. In this paper, we study the problem of maximizing functions of the form $h = f-c$, where $f$ is a monotone, non-negative, weakly submodular set function and $c$ is a modular function. We design a deterministic approximation algorithm that runs with ${{O}}(\frac{n}{\epsilon}\log \frac{n}{\gamma \epsilon})$ oracle calls to function $h$, and outputs a set ${S}$ such that $h({S}) \geq \gamma(1-\epsilon)f(OPT)-c(OPT)-\frac{c(OPT)}{\gamma(1-\epsilon)}\log\frac{f(OPT)}{c(OPT)}$, where $\gamma$ is the submodularity ratio of $f$. Existing algorithms for this problem either admit a worse approximation ratio or have quadratic runtime. We also present an approximation ratio of our algorithm for this problem with an approximate oracle of $f$. We validate our theoretical results through extensive empirical evaluations on real-world applications, including vertex cover and influence diffusion problems for submodular utility function $f$, and Bayesian A-Optimal design for weakly submodular $f$. Our experimental results demonstrate that our algorithms efficiently achieve high-quality solutions.

cs.DS↗

arXiv2024

DisQ: A Model of Distributed Quantum Processors (Extended Version)

The next generation of distributed quantum processors combines single-location quantum computing and quantum networking techniques to permit large entangled qubit groups to be established through remote processors, and quantum algorithms can be executed distributively. We present DisQ, as the first formal model of distributed quantum processors, and permit the analysis of distributed quantum programs in the new computation environment. The core of DisQ is a distributed quantum programming language that combines the concepts of Chemical Abstract Machine (CHAM) and Markov Decision Processes (MDP) with the objective of providing clearly distinguishing quantum concurrent and distributed behaviors. Based on the DisQ language, we develop a simulation relation, based on classical simulation infrastructure, to check the equivalence of a quantum algorithm and its distributed versions so that users can develop the distributed version of a sequential quantum program via a simulation check.

quant-ph↗

arXiv2024

$SU(2)$-bundles over highly connected $8$-manifolds

In this paper, we analyze the possible homotopy types of the total space of a principal $SU(2)$-bundle over a $3$-connected $8$-dimensional Poincar\'{e} duality complex. Along the way, we also classify the $3$-connected $11$-dimensional complexes $E$ formed from a wedge of $S^4$ and $S^7$ by attaching a $11$-cell.

math.AT↗

arXiv2024

Improved Evolutionary Algorithms for Submodular Maximization with Cost Constraints

We present an evolutionary algorithm evo-SMC for the problem of Submodular Maximization under Cost constraints (SMC). Our algorithm achieves $1/2$-approximation with a high probability $1-1/n$ within $\mathcal{O}(n^2K_{\beta})$ iterations, where $K_{\beta}$ denotes the maximum size of a feasible solution set with cost constraint $\beta$. To the best of our knowledge, this is the best approximation guarantee offered by evolutionary algorithms for this problem. We further refine evo-SMC, and develop st-evo-SMC. This stochastic version yields a significantly faster algorithm while maintaining the approximation ratio of $1/2$, with probability $1-\epsilon$. The required number of iterations reduces to $\mathcal{O}(nK_{\beta}\log{(1/\epsilon)}/p)$, where the user defined parameters $p \in (0,1]$ represents the stochasticity probability, and $\epsilon \in (0,1]$ denotes the error threshold. Finally, the empirical evaluations carried out through extensive experimentation substantiate the efficiency and effectiveness of our proposed algorithms. Our algorithms consistently outperform existing methods, producing higher-quality solutions.

cs.DS↗

arXiv2024

The complex K ring of the flip Stiefel manifolds

The flip Stiefel manifolds (FV_{m,2s}) are defined as the quotient of the real Stiefel manifolds (V_{m,2s}) induced by the simultaneous pairwise flipping of the co-ordinates by the cyclic group of order 2. We calculate the complex (K)-ring of the flip Stiefel manifolds, $K^\ast(FV_{m,2s})$, for $s$ even. Standard techniques involve the representation theory of $Spin(m),$ and the Hodgkin spectral sequence. However, the non-trivial element inducing the action doesn't readily yield the desired homomorphisms. Hence, by performing additional analysis, we settle the question for the case of (s \equiv 0 \pmod 2.)

math.KT↗

arXiv2024

Equivariant cohomology for cyclic groups

In this paper, we compute the $RO(C_n)$-graded coefficient ring of equivariant cohomology for cyclic groups $C_n$, in the case of Burnside ring coefficients, and in the case of constant coefficients. We use the invertible Mackey functors under the box product to reduce the gradings in the computation from $RO(C_n)$ to those expressable as combinations of $\lambda^d$ for divisors $d$ of $n$, where $\lambda$ is the inclusion of $C_n$ in $S^1$ as the roots of unity. We make explicit computations for the geometric fixed points for Burnside ring coefficients, and in the positive cone for constant coefficients. The positive cone is also computed for the Burnside ring in the case of prime power order, and in the case of square free order. Finally, we also make computations at non-negative gradings for the constant coefficients.

math.AT↗

arXiv2024

Smooth Structures on $M\times\mathbb{S}^k$

This paper explores various differentiable structures on the product manifold $M \times \mathbb{S}^k$, where $M$ is either a 4-dimensional closed, oriented, smooth manifold or a simply connected 5-dimensional closed, smooth manifold. We identify the possible stable homotopy types of $M$ and use it to calculate the concordance inertia group and the concordance structure set of $M\times\mathbb{S}^k$ for $1\leq k\leq 10$. These calculations enable us to further classify all manifolds that are homeomorphic to $\mathbb{C}P^2\times\mathbb{S}^k$, up to diffeomorphism, for each $4\leq k\leq 6$.

math.AT↗

arXiv2023

A Study of topology of the Flip Stiefel Manifolds

A well known quotient of the real Stiefel manifold is the projective Stiefel manifold. We introduce a new family of quotients of the real Stiefel manifold by cyclic group of order 2 whose action is induced by simultaneous pairwise flipping of the coordinates. We obtain a description for their tangent bundles, compute their mod 2 cohomology and compute Stiefel Whitney classes of these manifolds. We use these to give applications to their stable span, parallelizability and equivariant maps, and the associated results in topological combinatorics.

math.AT↗

arXiv2023

Representing and Reasoning with Multi-Stakeholder Qualitative Preference Queries

Many decision-making scenarios, e.g., public policy, healthcare, business, and disaster response, require accommodating the preferences of multiple stakeholders. We offer the first formal treatment of reasoning with multi-stakeholder qualitative preferences in a setting where stakeholders express their preferences in a qualitative preference language, e.g., CP-net, CI-net, TCP-net, CP-Theory. We introduce a query language for expressing queries against such preferences over sets of outcomes that satisfy specified criteria, e.g., $\mlangpref{\psi_1}{\psi_2}{A}$ (read loosely as the set of outcomes satisfying $\psi_1$ that are preferred over outcomes satisfying $\psi_2$ by a set of stakeholders $A$). Motivated by practical application scenarios, we introduce and analyze several alternative semantics for such queries, and examine their interrelationships. We provide a provably correct algorithm for answering multi-stakeholder qualitative preference queries using model checking in alternation-free $\mu$-calculus. We present experimental results that demonstrate the feasibility of our approach.

cs.AI↗

arXiv2023

The algebra of higher homotopy operations

We explain how the simplicial higher-order unstable homotopy operations defined in [BBS2] may be composed and inserted one in another, thus forming a coherent if complicated algebraic structure.

math.AT↗

arXiv2023

Equivariant Cohomology of Projective Spaces

We compute the equivariant homology and cohomology of projective spaces with integer coefficients. More precisely, in the case of cyclic groups, we show that the cellular filtration of the projective space $P(k\rho )$, of lines inside copies of the regular representation, yields a splitting of $H\underline{\mathbb{Z}}\bigwedge P(k\rho )_+$ as a wedge of suspensions of $H\underline{\mathbb{Z}}$. This is carried out both in the complex case, and also in the quaternionic case, and further, for the $C_2$ action on $\mathbb{C} P^n$ by complex conjugation. We also observe that these decompositions imply a degeneration of the slice tower in these cases. Finally, we describe the cohomology of the projective spaces when $|G|=p^m$ of prime power order, with explicit formulas for $\underline{\mathbb{Z}_p}$-coefficients. Letting $k=\infty$, this also describes the equivariant homology and cohomology of the classifying spaces of $S^1$ and $S^3$.

math.AT↗

arXiv2023

Sphere fibrations over highly connected manifolds

We construct sphere fibrations over $(n-1)$-connected $2n$-manifolds such that the total space is a connected sum of sphere products. More precisely, for $n$ even, we construct fibrations $S^{n-1} \to \#^{k-1}(S^n \times S^{2n-1}) \to M_k$, where $M_k$ is a $(n-1)$-connected $2n$-dimensional Poincar\'{e} duality complex which satisfies $H_n(M_k)\cong \mathbb{Z}^k$, in a localized category of spaces. The construction of the fibration is proved for $k\geq 2$, where the prime $2$, and the primes which occur as torsion in $\pi_{2n-1}(S^n)$ are inverted. In specific cases, by either assuming $n$ is small, or assuming $k$ is large we can reduce the number of primes that need to be inverted. Integral results are obtained for $n=2$ or $4$, and if $k$ is bigger than the number of cyclic summands in the stable stem $\pi_{n-1}^s$, we obtain results after inverting $2$. Finally, we prove some applications for fibrations over $N\# M_k$, and for looped configuration spaces.

math.AT↗

arXiv2023

Smooth structures on PL-manifolds of dimensions between 8 and 10

In this paper, we identify the concordance classes of smooth structures on $PL$-manifolds of dimension between $8$ and $10$ in terms of the cohomology and Steenrod operations. This leads to the computation of the homotopy inertia groups. Finally we discuss the special cases of Lens spaces and real projective spaces.

math.AT↗