arXiv subjects

Kunal Dutta

Publications and source records attributed to Kunal Dutta.

At least 19 recordsLinked to original sources

arXiv2026

Interplay of Valley, Orbital, Spin, and Layer Degrees of Freedom in Ta$_2$CS$_2$ MXene

We show that the MXene Ta$_2$CS$_2$ provides an excellent platform for hosting multiple coupled degrees of freedom, viz., valley, spin, orbital, and layer. The interplay among these degrees of freedom gives rise to a range of intriguing properties in reciprocal space, including valley-orbital and orbital-layer coupling. In the presence of spin-orbit interaction, these couplings lead to valley-dependent and layer-dependent spin splitting of the electronic bands. We further show that the intrinsic electric polarization in Ta$_2$CS$_2$ introduces an additional tuning parameter, enabling control over these coupled degrees of freedom and resulting in switchable valley-dependent orbital moments and Zeeman-like spin splitting. We demonstrate that these nontrivial orbital and spin textures manifest in the orbital and spin Hall effects, respectively. Our results establish noncentrosymmetric MXenes as a promising platform for exploring the interplay among multiple degrees of freedom, their tunability, and the resulting orbital and spin transport phenomena in these two-dimensional materials, thereby paving the way for next-generation spin-orbitronic devices.

cond-mat.str-el↗

arXiv2026

Near-Optimal Constructive Bounds for $\ell_2$ Prefix Discrepancy and Steinitz Problems via Affine Spectral Independence

A classical result of Steinitz from 1913 \cite{Ste13}, answering an earlier question of Riemann and L\'evy (e.g., \cite{Lev05}), states that for any norm $\|\cdot\|$ in $\mathbb{R}^d$ and any set of vectors $v_1, \cdots, v_n \in \R^d$ satisfying $\sum_{i=1}^n v_i = 0$, there exists an ordering $\pi: [n] \rightarrow [n]$ such that every partial sum along this order is bounded by $O(d)$, i.e., $\big\| \sum_{i=1}^t v_{\pi(i)} \big\| \leq O(d)$ for all $t \in [n]$. Steinitz's bound is tight up to constants in general, but for the $\ell_2$ norm $\|\cdot\|_2$, it has been conjectured that the best bound is $O(\sqrt{d})$. Almost a century later, a breakthrough work of Banaszczyk \cite{Ban12} gave a bound of $O(\sqrt{d} + \sqrt{\log n})$ for the $\ell_2$ Steinitz problem, matching the conjecture under the mild assumption that $d \geq \Omega(\log n)$. Banaszczyk's result is non-constructive, and the previous best algorithmic bound was $O(\sqrt{d \log n})$, due to Bansal and Garg \cite{BG17}. In this work, we give an efficient algorithm that matches the conjectured $O(\sqrt{d})$ bound for the $\ell_2$ Steinitz problem under the slightly worse, yet still polylogarithmic, condition of $d \geq \Omega(\log^7 n)$. As in prior work, our result extends to the harder problem of $\ell_2$ prefix discrepancy. We employ the framework of obtaining the desired ordering via a discrete Brownian motion, guided by a semidefinite program (SDP). To obtain our results, we use the new technique of ``Decoupling via Affine Spectral Independence'', proposed by Bansal and Jiang \cite{BJ26} to achieve substantial progress on the Beck-Fiala and Koml\'os conjectures, together with a ``Global Interval Tree'' data structure that simultaneously controls the deviations for all prefixes.

cs.DS↗

arXiv2026

Coexistence of Rashba and Ising Spin-Singlet Pairings in Two-Dimensional IrTe$_{2}$

Symmetry offers a useful approach to unfold the intertwined degrees of freedom. Thus it paves the way to resolve coexisting quantum orders into distinct symmetry sectors. Motivated by the recent observation of superconductivity in nano-flaked IrTe$_2$, we investigate the superconductivity in strain-stabilized two-dimensional (2D) limit of IrTe$_2$ by combining density-functional theory with mean-field solution of spin-fluctuation mediated pairing interaction on a symmetry-constrained ${\bf k}\cdot{\bf p}$ model. The spin-orbit coupled band structure shows $\Gamma$-centred Fermi sheets with coexistence of band-selective Rashba-like (in-plane) and Ising-like (out-of-plane) superconductivity. Remarkably, the superconducting gaps are odd in spin, orbital, and momentum channels despite the presence of global inversion symmetry. Fermi surface topologies and little-group symmetry enforce distinct irreducible representations to the Rashba and Ising channels, forbidding their mixing. Our findings open up a symmetry-based route to multichannel superconductivity in 2D transition-metal dichalcogenides with unique functionalities.

cond-mat.supr-con↗

arXiv2025

Constructive l2-Discrepancy Minimization with Additive Deviations

The \emph{signed series} problem in the $\ell_2$ norm asks, given set of vectors $v_1,\ldots,v_n\in \mathbf{R}^d$ having at most unit $\ell_2$ norm, does there always exist a series $(\varepsilon_i)_{i\in [n]}$ of $\pm 1$ signs such that for all $i\in [n]$, $\max_{i\in [n]} \|\sum_{j=1}^i \varepsilon_i v_i\|_2 = O(\sqrt{d})$. A result of Banaszczyk [2012, \emph{Rand. Struct. Alg.}] states that there exist signs $\varepsilon_i\in \{-1,1\},\; i\in [n]$ such that $\max_{i\in [n]} \|\sum_{j=1}^i \varepsilon_i v_i\|_2 = O(\sqrt{d+\log n})$. The best constructive bound known so far is of $O(\sqrt{d\log n})$, by Bansal and Garg [2017, \emph{STOC.}, 2019, \emph{SIAM J. Comput.}]. We give a polynomial-time randomized algorithm to find signs $x(i) \in \{-1,1\},\; i\in [n]$ such that \[ \max_{i\in [n]} \|\sum_{j=1}^i x(i)v_i\|_2 = O(\sqrt{d + \log^2 n}) = O(\sqrt{d}+\log n).\] By the constructive reduction of Harvey and Samadi [\emph{COLT}, 2014], this also yields a constructive bound of $O(\sqrt{d}+\log n)$ for the Steinitz problem in the $\ell_2$-norm. Thus, we algorithmically achieve Banaszczyk's bounds for both problems when $d \geq \log^2n$, which also matches the conjectured bounds. Our algorithm is based on the framework on Bansal and Garg, together with a new analysis involving $(i)$ additional linear and spectral orthogonality constraints during the construction of the covariance matrix of the random walk steps, which allow us to control the quadratic variation in the linear as well as the quadratic components of the discrepancy increment vector, alongwith $(ii)$ a ``Freedman-like" version of the Hanson-Wright concentration inequality, for filtration-dependent sums of subgaussian chaoses.

cs.DM↗

arXiv2024

Persistent Spin Textures in Nonpolar Chiral Systems

In this paper, we have proposed a novel route for the realisation of persistent spin texture (PST). We have shown from symmetry considerations that in non-polar chiral systems, bands with specific orbital characters around a high symmetry point with $D_{2}$ little group may admit a single spin dependent term in the low energy $\bf{k.p}$ model Hamiltonian that naturally leads to PST. Considering a $2D$ plane in the Brillouin zone (BZ), we have further argued that in such chiral systems the PST is transpired due to the comparable strengths of the Dresselhaus and Weyl (radial) interaction parameters where the presence of these two terms are allowed by the $D{_2}$ symmetry. Finally using first principles density functional theory (DFT) calculations we have identified that the non-polar chiral compounds Y$_3$TaO$_7$ and AsBr$_3$ displays PST for the conduction band and valence band respectively around the $\Gamma$ point having $D{_2}$ little group and predominantly Ta-$d_{xz}$ orbital character for Y$_3$TaO$_7$ and Br-$p{_x}$ orbital character for AsBr$_3$ corroborating our general strategy. Our results for the realisation of PST in non-polar chiral systems thereby broaden the class of materials displaying PST that can be employed for application in spin-orbitronics.

cond-mat.mtrl-sci↗

arXiv2024

DiffRed: Dimensionality Reduction guided by stable rank

In this work, we propose a novel dimensionality reduction technique, DiffRed, which first projects the data matrix, A, along first $k_1$ principal components and the residual matrix $A^{*}$ (left after subtracting its $k_1$-rank approximation) along $k_2$ Gaussian random vectors. We evaluate M1, the distortion of mean-squared pair-wise distance, and Stress, the normalized value of RMS of distortion of the pairwise distances. We rigorously prove that DiffRed achieves a general upper bound of $O\left(\sqrt{\frac{1-p}{k_2}}\right)$ on Stress and $O\left(\frac{(1-p)}{\sqrt{k_2*\rho(A^{*})}}\right)$ on M1 where $p$ is the fraction of variance explained by the first $k_1$ principal components and $\rho(A^{*})$ is the stable rank of $A^{*}$. These bounds are tighter than the currently known results for Random maps. Our extensive experiments on a variety of real-world datasets demonstrate that DiffRed achieves near zero M1 and much lower values of Stress as compared to the well-known dimensionality reduction techniques. In particular, DiffRed can map a 6 million dimensional dataset to 10 dimensions with 54% lower Stress than PCA.

cs.LG↗

arXiv2023

Effect of Spin Orbit Coupling in non-centrosymmetric half-Heusler alloys

Spin-orbit coupled electronic structure of two representative non-polar half-Heusler alloys, namely 18 electron compound CoZrBi and 8 electron compound SiLiIn have been studied in details. An excursion through the Brillouin zone of these alloys from one high symmetry point to the other revealed rich local symmetry of the associated wave vectors resulting in non-trivial spin splitting of the bands and consequent diverse spin textures in the presence of spin-orbit coupling. Our first principles calculations supplemented with low energy $\boldsymbol{k.p}$ model Hamiltonian revealed the presence of linear Dresselhaus effect at the X point having $D_{2d}$ symmetry and Rashba effect with both linear and non-linear terms at the L point with $C_{3v}$ point group symmetry. Interestingly we have also identified non-trivial Zeeman spin splitting at the non-time reversal invariant W point and a pair of non-degenerate bands along the path $\Gamma$ to L displaying vanishing spin polarization due to the non-pseudo polar point group symmetry of the wave vectors. Further a comparative study of CoZrBi and SiLiIn suggest, in addition, to the local symmetry of the wave vectors, important role of the participating orbitals in deciding the nature and strength of spin splitting. Our calculations identify half-Heusler compounds with heavy elements displaying diverse spin textures may be ideal candidate for spin valleytronics where spin textures can be controlled by accessing different valleys around the high symmetry k-points.

cond-mat.mtrl-sci↗

arXiv2023

Dimensionality Reduction for Persistent Homology with Gaussian Kernels

Computing persistent homology using Gaussian kernels is useful in the domains of topological data analysis and machine learning as shown by Phillips, Wang and Zheng [SoCG 2015]. However, contrary to the case of computing persistent homology using the Euclidean distance or even the $k$-distance, it is not known how to compute the persistent homology of high dimensional data using Gaussian kernels. In this paper, we consider a power distance version of the Gaussian kernel distance (GKPD) given by Phillips, Wang and Zheng, and show that the persistent homology of the \v{C}ech filtration of $P$ computed using the GKPD is approximately preserved. For datasets in $d$-dimensional Euclidean space, under a relative error bound of $\varepsilon \in [0,1]$, we obtain a dimensionality of $(i)$ $O(\varepsilon^{-2}\log^2 n)$ for $n$-point datasets and $(ii)$ $O(D\varepsilon^{-2}\log (Dr/\varepsilon))$ for datasets having diameter $r$ (up to a scaling factor). We use two main ingredients. The first one is a new decomposition of the squared radii of \v{C}ech simplices using the kernel power distance, in terms of the pairwise GKPDs between the vertices, which we state and prove. The second one is the Random Fourier Features (RFF) map of Rahimi and Recht [NeurIPS 2007], as used by Chen and Phillips [ALT 2017].

cs.CG↗

arXiv2023

Sparse Geometric Set Systems and the Beck-Fiala Conjecture

We investigate the combinatorial discrepancy of geometric set systems having bounded shallow cell complexity in the \emph{Beck-Fiala} setting, where each point belongs to at most $t$ ranges. For set systems with shallow cell complexity $\psi(m,k)=g(m)k^{c}$, where $(i)$ $g(m) = o(m^{\varepsilon})$ for any $\varepsilon\in (0,1],$ $(ii)$ $\psi$ is non-decreasing in $m$, and $(iii)$ $c>0$ is independent of $m$ and $k$, we get a discrepancy bound of \[ O\left(\sqrt{\left(\log n+\left(t^{c}g(n)\right)^{\frac{1}{1+c}}\right)\log n}\right).\] For $t=\omega(\log^2 n)$, in several cases, such as for set systems of points and half-planes / disks / pseudo-disks in $\mathbb{R}^2$, points and orthants in $\mathbb{R}^3$ etc., these bounds are $o(\sqrt{t})$, which verifies (and improves upon) the conjectured bound of Beck and Fiala~\emph{(Disc. Appl. Math., 1981)}. Our bounds are obtained by showing the existence of \emph{matchings with low crossing number}, using the multiplicative weights update method of Welzl \emph{(SoCG, 1988)}, together with the recent bound of Mustafa \emph{(Disc. Comp. Geom., 2015)} on \emph{shallow packings} of set systems in terms of their shallow cell complexity. For set systems of shallow cell complexity $\psi(m,k)=m^{c_1}g(m)k^{c}$, we obtain matchings with crossing number at most \[ O\left(\left(n^{c_1}g(n)t^{c}\right)^{\frac{1}{1+c_1+c}}\right).\] These are of independent interest.

cs.CG↗

arXiv2023

Strong Collapse of Random Simplicial Complexes

The \emph{strong collapse} of a simplicial complex, proposed by Barmak and Minian (\emph{Disc. Comp. Geom. 2012}), is a combinatorial collapse of a complex onto its sub-complex. Recently, it has received attention from computational topology researchers, owing to its empirically observed usefulness in simplification and size-reduction of the size of simplicial complexes while preserving the homotopy class. We consider the strong collapse process on random simplicial complexes. For the Erd\H{o}s-R\'enyi random clique complex $X(n,c/n)$ on $n$ vertices with edge probability $c/n$ with $c>1$, we show that after any maximal sequence of strong collapses the remaining subcomplex, or \emph{core} must have $(1-\gamma)(1-c\gamma) n+o(n)$ vertices asymptotically almost surely (a.a.s.), where $\gamma$ is the least non-negative fixed point of the function $f(x) = \exp\left(-c(1-x)\right)$ in the range $(0,1)$. These are the first theoretical results proved for strong collapses on random (or non-random) simplicial complexes.

cs.CG↗

arXiv2021

Uniform Brackets, Containers, and Combinatorial Macbeath Regions

We study the connections between three seemingly different combinatorial structures - "uniform" brackets in statistics and probability theory, "containers" in online and distributed learning theory, and "combinatorial Macbeath regions", or Mnets in discrete and computational geometry. We show that these three concepts are manifestations of a single combinatorial property that can be expressed under a unified framework along the lines of Vapnik-Chervonenkis type theory for uniform convergence. These new connections help us to bring tools from discrete and computational geometry to prove improved bounds for these objects. Our improved bounds help to get an optimal algorithm for distributed learning of halfspaces, an improved algorithm for the distributed convex set disjointness problem, and improved regret bounds for online algorithms against a smoothed adversary for a large class of semi-algebraic threshold functions.

cs.DS↗

arXiv2021

Dimensionality Reduction for $k$-Distance Applied to Persistent Homology

Given a set P of n points and a constant k, we are interested in computing the persistent homology of the Cech filtration of P for the k-distance, and investigate the effectiveness of dimensionality reduction for this problem, answering an open question of Sheehy [Proc. SoCG, 2014]. We show that any linear transformation that preserves pairwise distances up to a (1 +/- e) multiplicative factor, must preserve the persistent homology of the Cech filtration up to a factor of (1-e)^(-1). Our results also show that the Vietoris-Rips and Delaunay filtrations for the k-distance, as well as the Cech filtration for the approximate k-distance of Buchet et al. [J. Comput. Geom., 2016] are preserved up to a (1 +/- e) factor. We also prove extensions of our main theorem, for point sets (i) lying in a region of bounded Gaussian width or (ii) on a low-dimensional submanifold, obtaining embeddings having the dimension bounds of Lotz [Proc. Roy. Soc., 2019] and Clarkson [Proc. SoCG, 2008] respectively. Our results also work in the terminal dimensionality reduction setting, where the distance of any point in the original ambient space, to any point in P, needs to be approximately preserved.

cs.CG↗

arXiv2021

On Shallow Packings and Tusn\'ady's Problem

Tusn\'ady's problem asks to bound the discrepancy of points and axis-parallel boxes in $\mathbb{R}^d$. Algorithmic bounds on Tusn\'ady's problem use a canonical decomposition of Matou\v{s}ek for the system of points and axis-parallel boxes, together with other techniques like partial coloring and / or random-walk based methods. We use the notion of \emph{shallow cell complexity} and the \emph{shallow packing lemma}, together with the chaining technique, to obtain an improved decomposition of the set system. Coupled with an algorithmic technique of Bansal and Garg for discrepancy minimization, which we also slightly extend, this yields improved algorithmic bounds on Tusn\'ady's problem. For $d\geq 5$, our bound matches the lower bound of $\Omega(\log^{d-1}n)$ given by Matou\v{s}ek, Nikolov and Talwar [IMRN, 2020] -- settling Tusn\'ady's problem, upto constant factors. For $d=2,3,4$, we obtain improved algorithmic bounds of $O(\log^{7/4}n)$, $O(\log^{5/2}n)$ and $O(\log^{13/4}n)$ respectively, which match or improve upon the non-constructive bounds of Nikolov for $d\geq 3$. Further, we also give improved bounds for the discrepancy of set systems of points and polytopes in $\mathbb{R}^d$ generated via translations of a fixed set of hyperplanes. As an application, we also get a bound for the geometric discrepancy of anchored boxes in $\mathbb{R}^d$ with respect to an arbitrary measure, matching the upper bound for the Lebesgue measure, which improves on a result of Aistleitner, Bilyk, and Nikolov [MC and QMC methods, \emph{Springer, Proc. Math. Stat.}, 2018] for $d\geq 4$.

cs.CG↗

arXiv2020

On Limit Constants in Last Passage Percolation in Transitive Tournaments

We investigate the \emph{last passage percolation} problem on transitive tournaments, in the case when the edge weights are independent Bernoulli random variables. Given a transitive tournament on $n$ nodes with random weights on its edges, the last passage percolation problem seeks to find the weight $X_n$ of the heaviest path, where the weight of a path is the sum of the weights on its edges. We give a recurrence relation and use it to obtain a (bivariate) generating function for the probability generating function of $X_n$. This also gives exact combinatorial expressions for $\mathbb{E}[X_n]$, which was stated as an open problem by Yuster [\emph{Disc. Appl. Math.}, 2017]. We further determine scaling constants in the limit laws for $X_n$. Define $β_{tr}(p) := \lim_{n\to \infty} \frac{\mathbb{E}[X_n]}{n-1}$. Using singularity analysis, we show \[ β_{tr}(p) = \left(\sum_{n\geq 1}(1-p)^{n\choose 2}\right)^{-1}. \] In particular, $β_{tr}(0.5) = \left(\sum_{n\geq 1} 2^{-{n\choose 2}}\right)^{-1} = 0.60914971106...$. This settles the question of determining the value of $β_{tr}(0.5)$, initiated by Yuster. $β_{tr}(p)$ is also the limiting value in the strong law of large numbers for $X_n$, given by Foss, Martin, and Schmidt [\emph{Ann. Appl. Probab.}, 2014]. We also derive the scaling constants in the functional central limit theorem for $X_n$ proved by Foss et al.

math.CO↗

arXiv2014

Size sensitive packing number for Hamming cube and its consequences

We prove a size-sensitive version of Haussler's Packing lemma~\cite{Haussler92spherepacking} for set-systems with bounded primal shatter dimension, which have an additional {\em size-sensitive property}. This answers a question asked by Ezra~\cite{Ezra-sizesendisc-soda-14}. We also partially address another point raised by Ezra regarding overcounting of sets in her chaining procedure. As a consequence of these improvements, we get an improvement on the size-sensitive discrepancy bounds for set systems with the above property. Improved bounds on the discrepancy for these special set systems also imply an improvement in the sizes of {\em relative $(\varepsilon, δ)$-approximations} and $(ν, α)$-samples.

cs.DM↗

arXiv2014

$(1,j)$-set problem in graphs

A subset $D \subseteq V $of a graph $G = (V, E)$ is a $(1, j)$-set if every vertex $v \in V \setminus D$ is adjacent to at least $1$ but not more than $j$ vertices in D. The cardinality of a minimum $(1, j)$-set of $G$, denoted as $γ_{(1,j)} (G)$, is called the $(1, j)$-domination number of $G$. Given a graph $G = (V, E)$ and an integer $k$, the decision version of the $(1, j)$-set problem is to decide whether $G$ has a $(1, j)$-set of cardinality at most $k$. In this paper, we first obtain an upper bound on $γ_{(1,j)} (G)$ using probabilistic methods, for bounded minimum and maximum degree graphs. Our bound is constructive, by the randomized algorithm of Moser and Tardos [MT10], We also show that the $(1, j)$- set problem is NP-complete for chordal graphs. Finally, we design two algorithms for finding $γ_{(1,j)} (G)$ of a tree and a split graph, for any fixed $j$, which answers an open question posed in [CHHM13].

cs.DM↗

arXiv2014

Combinatorics of finite abelian groups and Weil representations

The Weil representation of the symplectic group associated to a finite abelian group of odd order is shown to have a multiplicity-free decomposition. When the abelian group is p-primary, the irreducible representations occurring in the Weil representation are parametrized by a partially ordered set which is independent of p. As p varies, the dimension of the irreducible representation corresponding to each parameter is shown to be a polynomial in p which is calculated explicitly. The commuting algebra of the Weil representation has a basis indexed by another partially ordered set which is independent of p. The expansions of the projection operators onto the irreducible invariant subspaces in terms of this basis are calculated. The coefficients are again polynomials in p. These results remain valid in the more general setting of finitely generated torsion modules over a Dedekind domain.

math.RT↗

arXiv2013

Counting independent sets in hypergraphs

Let $G$ be a triangle-free graph with $n$ vertices and average degree $t$. We show that $G$ contains at least \[ e^{(1-n^{-1/12})\frac{1}{2}\frac{n}{t}\ln t (\frac{1}{2}\ln t-1)} \] independent sets. This improves a recent result of the first and third authors \cite{countingind}. In particular, it implies that as $n \to \infty$, every triangle-free graph on $n$ vertices has at least $e^{(c_1-o(1)) \sqrt{n} \ln n}$ independent sets, where $c_1 = \sqrt{\ln 2}/4 = 0.208138..$. Further, we show that for all $n$, there exists a triangle-free graph with $n$ vertices which has at most $e^{(c_2+o(1))\sqrt{n}\ln n}$ independent sets, where $c_2 = 1+\ln 2 = 1.693147..$. This disproves a conjecture from \cite{countingind}. Let $H$ be a $(k+1)$-uniform linear hypergraph with $n$ vertices and average degree $t$. We also show that there exists a constant $c_k$ such that the number of independent sets in $H$ is at least \[ e^{c_{k} \frac{n}{t^{1/k}}\ln^{1+1/k}{t}}. \] This is tight apart from the constant $c_k$ and generalizes a result of Duke, Lefmann, and Rödl \cite{uncrowdedrodl}, which guarantees the existence of an independent set of size $Ω(\frac{n}{t^{1/k}} \ln^{1/k}t)$. Both of our lower bounds follow from a more general statement, which applies to hereditary properties of hypergraphs.

math.CO↗