arXiv Science⌕ Search

arXiv subjects

Mithilesh Kumar

Publications and source records attributed to Mithilesh Kumar.

14 recordsLinked to original sources
arXiv2026

Dealing with locality in QAOA

Shallow-depth QAOA on sparse, high-diameter MaxCut instances faces a locality bottleneck: at depth \(p\), local observables can depend only on a bounded neighborhood of the circuit interaction graph. We propose a transport-augmented QAOA that keeps the MaxCut cost Hamiltonian unchanged but enriches the mixer with optimized, unweighted shortcut couplings (scheduled \(XX+YY\)) to collapse the effective interaction-graph diameter. Using exact finite-depth support recursions, we relate optimal shortcut placement to bounded-diameter graph augmentation, and show in benchmarks that (unlike ma-QAOA) performance becomes effectively size-invariant once the diameter is reduced. For bipartite families (base diameter 4), reducing the interaction path to \(d=1\) raises the ensemble-averaged approximation ratio from 0.7378 (ma-QAOA) to 0.9767 at \(p=1\) (\(\sigma=0.0251\), nine system sizes); on random trees (base diameter 10), at \(p=2\) it improves from 0.9226 to 0.9997 (\(\sigma=0.0001\)).

quant-ph↗
arXiv2026

Assisted quantum teleportation

Teleportation through a non-maximally entangled pair, e.g., $\ket{\psi(\theta)}_{AB}=\cos\theta\ket{00}+\sin\theta\ket{11}$, induces a noisy channel and cannot achieve deterministic unit-fidelity transmission unless $\theta=\pi/4$. We introduce a framework of \emph{assisted quantum teleportation} in which a third party (the ``Bank'') supplies auxiliary multipartite entanglement to restore a perfect Bell pair on the original $AB$ registers. We analyze two operational roles for the Bank: a Bank-measures model (measurement and broadcast) and a transfer model (the Bank transfers its subsystem and then leaves). For GHZ-class and W-class assistance we derive explicit feasibility regions for deterministic restoration and show an operational inequivalence for W resources. We further characterize finite-shot optimal success probabilities for probabilistic restoration and formulate Bank-measures feasibility for general pure Bank resources as a minimax optimization.

quant-ph↗
arXiv2026

Congestion-free routing on quantum chips

Limited connectivity makes nonlocal quantum gates expensive on near-neighbor hardware, where compilation typically relies on SWAP transport, inheriting both depth overhead and path congestion. We present a swap-free routing framework in which higher levels of a qudit act as orthogonal spectral buses that transport control information without moving the computational state. We show that exact congestion relief in nearest-neighbor architectures requires local Hilbert-space expansion. In this model, a nonlocal operation over a path of length $L$ requires $2L+1$ logical routing primitives, compared to the $3L$ baseline. Overlapping routes remain distinguishable through bus labels encoded in the same physical qudits. This routing algebra extends to Boolean fan-in at a common target: multiple controls arriving on distinct buses trigger a local unitary based on an arbitrary Boolean function of bus digits, yielding multi-control operations of depth $2L + D_g + O(1)$ for fan-in size $K$ and target-synthesis cost $D_g$. We prove decodability, reversibility, and correctness for CNOT and Boolean fan-in, along with a state-count lower bound $d \geq 2^{K+1}$ for exact overlap routing. Cirq simulations confirm single-control correctness and zero crosstalk. Compiler-level benchmarks on QFT, QAOA, and mirror-interaction circuits verify the predicted congestion law and transport reduction. Noisy QuTiP simulations show that the architectural advantage depends on higher-level coherence and speed. These results identify spectral qudit routing as a congestion-relief architecture that separates nonlocal control delivery from local target-side aggregation, providing a minimal mechanism for overcoming qubit routing limitations.

quant-ph↗
arXiv2024

Local Operations in Multiparty Quantum Systems

In a multipartite systems, local operations are conducted by one party and the results are communicated to the other parties. Such models have been studied under the framework of LOCC and SLOCC. In this paper, we study when can an action of one party be simulated by another. We obtain necessary and sufficient conditions for when can a unitary action be simulated in a bipartite system. We also show that arbitrary operations can be simulated by any party as long as the given multipartite state is Schmidt decomposable. Moreover, we obtain condition for simulation of local measurements in arbitrary tripartite systems.

quant-ph↗
arXiv2024

On properties of Schmidt Decomposition

Schmidt decomposition is a powerful tool in quantum information. While Schmidt decomposition is universal for bipartite states, its not for multipartite states. In this article, we review properties of bipartite Schmidt decompositions and study which of them extend to multipartite states. In particular, Schmidt number (the number of non-zero terms in Schmidt decomposition) define an equivalence class using separable unitary transforms. We show that it is NP-complete to partition a multipartite state that attains the highest Schmidt number. In addition, we observe that purifications of a density matrix of a composite system preserves Schmidt decomposability.

quant-ph↗
arXiv2024

Faster Exact and Parameterized Algorithm for Feedback Vertex Set in Bipartite Tournaments

A {\em bipartite tournament} is a directed graph $T:=(A \cup B, E)$ such that every pair of vertices $(a,b), a\in A,b\in B$ are connected by an arc, and no arc connects two vertices of $A$ or two vertices of $B$. A {\em feedback vertex set} is a set $S$ of vertices in $T$ such that $T - S$ is acyclic. In this article we consider the {\sc Feedback Vertex Set} problem in bipartite tournaments. Here the input is a bipartite tournament $T$ on $n$ vertices together with an integer $k$, and the task is to determine whether $T$ has a feedback vertex set of size at most $k$. We give a new algorithm for {\sc Feedback Vertex Set in Bipartite Tournaments}. The running time of our algorithm is upper-bounded by $O(1.6181^k + n^{O(1)})$, improving over the previously best known algorithm with running time $2^kk^{O(1)} + n^{O(1)}$ [Hsiao, ISAAC 2011]. As a by-product, we also obtain the fastest currently known exact exponential-time algorithm for the problem, with running time $O(1.3820^n)$.

cs.DS↗
arXiv2024

Schmidt Decomposition of Multipartite States

Quantum states can be written in infinitely many ways depending on the choices of basis. Schmidt decomposition of a quantum state has a lot of properties useful in the study of entanglement. All bipartite states admit Schmidt decomposition, but this does not extend to multipartite systems. We obtain necessary and sufficient conditions for the existence of Schmidt decompositions of multipartite states. Moreover, we provide an efficient algorithm to obtain the decomposition for a Schmidt decomposable multipartite state.

quant-ph↗
arXiv2020

Obtuse Lattice Bases

A lattice reduction is an algorithm that transforms the given basis of the lattice to another lattice basis such that problems like finding a shortest vector and closest vector become easier to solve. We define a class of bases called obtuse bases and show that any lattice basis can be transformed to an obtuse basis. A shortest vector $\mathbf{s}$ can be written as $\mathbf{s}=v_1\mathbf{b}_1+\dots+v_n\mathbf{b}_n$ where $\mathbf{b}_1,\dots,\mathbf{b}_n$ are the input basis vectors and $v_1,\dots,v_n$ are integers. When the input basis is obtuse, all these integers can be chosen to be positive for a shortest vector. This property of obtuse bases makes the lattice enumeration algorithm for finding a shortest vector exponentially faster. We have implemented the algorithm for making bases obtuse, and tested it some small bases.

cs.DS↗
arXiv2020

Deletion to Induced Matching

In the DELETION TO INDUCED MATCHING problem, we are given a graph $G$ on $n$ vertices, $m$ edges and a non-negative integer $k$ and asks whether there exists a set of vertices $S \subseteq V(G) $ such that $|S|\le k$ and the size of any connected component in $G-S$ is exactly 2. In this paper, we provide a fixed-parameter tractable (FPT) algorithm of running time $O^*(1.748^{k})$ for the DELETION TO INDUCED MATCHING problem using branch-and-reduce strategy and path decomposition. We also extend our work to the exact-exponential version of the problem.

cs.DS↗
arXiv2019

Faster Lattice Enumeration

A lattice reduction is an algorithm that transforms the given basis of the lattice to another lattice basis such that problems like finding a shortest vector and closest vector become easier to solve. Some of the famous lattice reduction algorithms are LLL and BKZ reductions. We define a class of bases called \emph{obtuse bases} and show that any lattice basis can be transformed to an obtuse basis in $\mathcal{O}(n^4)$ time. A shortest vector s can be written as $v_1b_1+\cdots+v_nb_n$ where $b_1,\dots,b_n$ are the input basis vectors and $v_1,\dots,v_n$ are integers. When the input basis is obtuse, all these integers can be chosen to be positive for a shortest vector. This property of the obtuse basis makes lattice enumeration algorithm for finding a shortest vector exponentially faster. Moreover, extreme pruning, the current fastest algorithm for lattice enumeration, can be run on an obtuse basis.

cs.DS↗
arXiv2017

Lossy Kernels for Connected Dominating Set on Sparse Graphs

For $\alpha > 1$, an $\alpha$-approximate (bi-)kernel is a polynomial-time algorithm that takes as input an instance $(I, k)$ of a problem $\mathcal{Q}$ and outputs an instance $(I',k')$ (of a problem $\mathcal{Q}'$) of size bounded by a function of $k$ such that, for every $c\geq 1$, a $c$-approximate solution for the new instance can be turned into a $(c\cdot\alpha)$-approximate solution of the original instance in polynomial time. This framework of lossy kernelization was recently introduced by Lokshtanov et al. We study Connected Dominating Set (and its distance-$r$ variant) parameterized by solution size on sparse graph classes like biclique-free graphs, classes of bounded expansion, and nowhere dense classes. We prove that for every $\alpha>1$, Connected Dominating Set admits a polynomial-size $\alpha$-approximate (bi-)kernel on all the aforementioned classes. Our results are in sharp contrast to the kernelization complexity of Connected Dominating Set, which is known to not admit a polynomial kernel even on $2$-degenerate graphs and graphs of bounded expansion, unless $\textsf{NP} \subseteq \textsf{coNP/poly}$. We complement our results by the following conditional lower bound. We show that if a class $\mathcal{C}$ is somewhere dense and closed under taking subgraphs, then for some value of $r\in\mathbb{N}$ there cannot exist an $\alpha$-approximate bi-kernel for the (Connected) Distance-$r$ Dominating Set problem on $\mathcal{C}$ for any $\alpha>1$ (assuming the Gap Exponential Time Hypothesis).

cs.DS↗
arXiv2016

A $2\ell k$ Kernel for $\ell$-Component Order Connectivity

In the $\ell$-Component Order Connectivity problem ($\ell \in \mathbb{N}$), we are given a graph $G$ on $n$ vertices, $m$ edges and a non-negative integer $k$ and asks whether there exists a set of vertices $S\subseteq V(G)$ such that $|S|\leq k$ and the size of the largest connected component in $G-S$ is at most $\ell$. In this paper, we give a linear programming based kernel for $\ell$-Component Order Connectivity with at most $2\ell k$ vertices that takes $n^{\mathcal{O}(\ell)}$ time for every constant $\ell$. Thereafter, we provide a separation oracle for the LP of $\ell$-COC implying that the kernel only takes $(3e)^{\ell}\cdot n^{O(1)}$ time. On the way to obtaining our kernel, we prove a generalization of the $q$-Expansion Lemma to weighted graphs. This generalization may be of independent interest.

cs.DS↗
arXiv2015

Faster Exact and Parameterized Algorithm for Feedback Vertex Set in Tournaments

A tournament is a directed graph T such that every pair of vertices are connected by an arc. A feedback vertex set is a set S of vertices in T such that T - S is acyclic. In this article we consider the Feedback Vertex Set problem in tournaments. Here input is a tournament T and integer k, and the task is to determine whether T has a feedback vertex set of size at most k. We give a new algorithm for Feedback Vertex Set in Tournaments. The running time of our algorithm is upper bounded by O(1.618^k + n^{O(1)}) and by O(1.46^n). Thus our algorithm simultaneously improves over the fastest known parameterized algorithm for the problem by Dom et al. running in time O(2^kk^{O(1)} + n^{O(1)}), and the fastest known exact exponential time algorithm by Gaspers and Mnich with running time O(1.674^n). On the way to prove our main result we prove a new partitioning theorem for undirected graphs. In particular we show that the vertices of any undirected m-edge graph of maximum degree d can be colored white or black in such a way that for each of the two colors, the number of edges with both endpoints of that color is between m/4-d/2 and m/4+d/4.

cs.DS↗