Researcher profile

Tanmay Singal

Tanmay Singal contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
8works
0followers
7topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

8 published item(s)

preprint2022arXiv

Approximate 3-designs and partial decomposition of the Clifford group representation using transvections

We study a scheme to implement an asymptotic unitary 3-design. The scheme implements a random Pauli once followed by the implementation of a random transvection Clifford by using state twirling. Thus the scheme is implemented in the form of a quantum channel. We show that when this scheme is implemented $k$ times, then, in the $k \rightarrow \infty$ limit, the overall scheme implements a unitary $3$-design. This is proved by studying the eigendecomposition of the scheme: the $+1$ eigenspace of the scheme coincides with that of an exact unitary $3$-design, and the remaining eigenvalues are bounded by a constant. Using this we prove that the scheme has to be implemented approximately $\mathcal{O}(m + \log 1/ε)$ times to obtain an $ε$-approximate unitary $3$-design, where $m$ is the number of qubits, and $ε$ is the diamond-norm distance of the exact unitary $3$-design. Also, the scheme implements an asymptotic unitary $2$-design with the following convergence rate: it has to be sampled $\mathcal{O}(\log 1/ε)$ times to be an $ε$-approximate unitary $2$-design. Since transvection Cliffords are a conjugacy class of the Clifford group, the eigenspaces of the scheme's quantum channel coincide with the irreducible invariant subspaces of the adjoint representation of the Clifford group. Some of the subrepresentations we obtain are the same as were obtained in J. Math. Phys. 59, 072201 (2018), whereas the remaining are new invariant subspaces. Thus we obtain a partial decomposition of the adjoint representation for $3$ copies for the Clifford group. Thus, aside from providing a scheme for the implementation of unitary $3$-design, this work is of interest for studying representation theory of the Clifford group, and the potential applications of this topic. The paper ends with open questions regarding the scheme and representation theory of the Clifford group.

preprint2022arXiv

Bounding the Frobenius norm of a q-deformed commutator

For two $n \times n$ complex matrices $A$ and $B$, we define the $q$-deformed commutator as $[ A, B ]_q := A B - q BA$ for a real parameter $q$. In this paper, we investigate a generalization of the Böttcher-Wenzel inequality which gives the sharp upper bound of the (Frobenius) norm of the commutator. In our generalisation, we investigate sharp upper bounds on the $q$-deformed commutator. This generalization can be studied in two different scenarios: firstly bounds for general matrices, and secondly for traceless matrices. For both scenarios, partial answers and conjectures are given for positive and negative $q$. In particular, denoting the Frobenius norm by $||.||_F$, when either $A$ or $B$ is normal, we prove the following inequality to be true and sharp: $|| [ A , B ]_q||_F^2 \le \left(1+q^2 \right) ||A||_F^2 ||B||_F^2$ for positive $q$. Also, we conjecture that the same bound is true for positive $q$ when either $A$ or $B$ is traceless. For negative $q$, we conjecture other sharp upper bounds to be true for the generic scenarios and the scenario when either of $A$ or $B$ is traceless. All conjectures are supported with numerics and proved for $n=2$.

preprint2020arXiv

Determining planetary positions in the sky for $\pm 50$ years to an accuracy of $\stackrel{<}{_{\sim}} 1^{\circ}$ with a calculator}

In this paper, we describe a very simple method to calculate the positions of the planets in the sky. The technique used enables us to calculate planetary positions to an accuracy of $\stackrel{<}{_{\sim}} 1^{\circ}$ for $\pm 50$ years from the starting epoch. Moreover, this involves very simple calculations and can be done using a calculator. All we need are the initial specifications of planetary orbits for some standard epoch and the time periods of their revolutions.

preprint2019arXiv

Is Interstellar travel to an exoplanet Possible?

It is shown that space travel, even in the most distant future, will remain confined to our own planetary system, and a similar conclusion will hold forth for any other civilization, no matter how advanced it might be, unless those extra-terrestrial species have life spans order of magnitude longer than ours. Even in such a case it is unlikely that they will travel much farther than their immediate stellar neighbourhood, as each such excursion will exhaust the resources of their home planet so much that those will dwindle rather fast and there might not be much left for the further scientific and technological advancements. So the science-fiction fancy of a &#34;Galactic Empire&#34; may ever remain in our fantasies only. And as for the mythical UFOs, whose quiet appearances do get reported in the press once in a while, recent explorations have shown no evidence that any such thing could have an origination within our own solar system itself. And a &#34;quiet trip&#34; back and forth from a distant star is almost impossible as the exhaust in any such trip will dazzle the sky like another sun or perhaps more like a gamma ray burst occurring but not in a distant part of the universe instead going off right in our own solar backyard.

preprint2016arXiv

Framework for distinguishability of orthogonal bipartite states by one-way local operations and classical communication

In the topic of perfect local distinguishability of orthogonal multipartite quantum states, most results obtained so far pertain to bipartite systems whose subsystems are of specific dimensions. In contrast very few results for bipartite systems whose subsystems are of arbitrary dimensions, are known. This is because a rich variety of (algebraic or geometric) structure is exhibited by different sets of orthogonal states owing to which it is difficult to associate some common property underlying them all, i.e., a common property that would play a crucial role in the local distinguishability of these states. In this paper, I propose a framework for the distinguishability by one-way LOCC ($1$-LOCC) of sets of orthogonal bipartite states in a $d_A \otimes d_B$ bipartite system, where $d_A, d_B$ are the dimensions of both subsytems, labelled as $A$ and $B$. I show that if the $i$-th party (where $i=A,B$) can initiate a $1$-LOCC protocol to perfectly distinguish among a set of orthogonal bipartite states, then the information of the existence of such a $1$-LOCC protocol lies in a subspace of $d_i \times d_i$ hermitian matrices, denoted by $\Tb^{(i)}$, and that the method to extract this information (of the existence of this $1$-LOCC protocol) from $\Tb^{(i)}$ depends on the value of $dim \Tb^{(i)}$. In this way one can give sweeping results for the $1$-LOCC (in)distinguishability of all sets of orthogonal bipartite states corresponding to certain values of $dim \Tb^{(i)}$. Thus I propose that the value of $dim \Tb^{(i)}$ gives the common underlying property based on which sweeping results for the $1$-LOCC (in)distinguishability of orthogonal bipartite quantum states can be made.

preprint2016arXiv

Minimum Error Discrimination for an Ensemble of Linearly Independent Pure States

Inspired by the work done by Belavkin [Belavkin V. P., Stochastics, 1, 315 (1975)], and independently by Mochon, [Phys. Rev. A 73, 032328, (2006)], we formulate the problem of minimum error discrimination of any ensemble of $n$ linearly independent pure states by stripping the problem of its rotational covariance and retaining only the rotationally invariant aspect of the problem. This is done by embedding the optimal conditions in a matrix equality as well as matrix inequality. Employing the implicit function theorem in these conditions we get a set of first-order coupled ordinary non-linear differential equations which can be used to drag the solution from an initial point (where solution is known) to another point (whose solution is sought). This way of obtaining the solution can be done through a simple Taylor series expansion and analytic continuation when required. Thus, we \emph{complete} the work done by Belavkin and Mochon by ultimately leading their theory to a solution for the minimum error discrimination problem of linearly independent pure state ensembles. We also compare the computational complexity of our technique with a barrier-type interior point method of SDP and show that our technique is computationally as efficient as (actually, a bit more than) the SDP algorithm, with the added advantage of being much simpler to implement.

preprint2014arXiv

Algebraic Structure of the Minimum Error Discrimination Problem for Linearly Independent Density Matrices

The minimum error discrimination problem for ensembles of linearly independent pure states are known to have an interesting structure; for such a given ensemble the optimal POVM is given by the pretty good measurment of another ensemble which can be related to the former ensemble by a bijective mapping $\mathscr{R}$ on the &#34;space of ensembles&#34;. In this paper we generalize this result to ensembles of general linearly independent states (not necessarily pure) and also give an analytic expression for the inverse of the map, i.e., for $\mathscr{R}^{-1}$. In the process of proving this we also simplify the necessary and sufficient conditions that a POVM needs to satisfy to maximize the probability of success for the MED of an LI ensemble of states. This simplification is then employed to arrive at a rotationally invariant necessary and sufficient conditions of optimality. Using these rotationally invariant conditions it is established that every state of a LI mixed state ensemble can be resolved to a pure state decomposition so that the corresponding pure state ensemble (corresponding to pure states of all mixed states together) has as its optimal POVM a pure state decomposition of the optimal POVM of mixed state ensemble. This gives the necessary and sufficient conditions for the PGM of a LI ensemble to be its optimal POVM; another generalization for the pure state case. Also, these rotationally invariant conditions suggest a technique to give the optimal POVM for an ensemble of LI states. This technique is polynomial in time and outpeforms standard barrier-type interior point SDP in terms of computational complexity.

preprint2014arXiv

Minimum Error Discrimination of Linearly Independent Pure States: Analytic Properties of POVM

The optimization conditions for minimum error discrimination of linearly independent pure states comprise of two kinds: stationary conditions over the space of rank one projective measurements and the global maximization conditions. A discrete number of projective measurments will solve th former of which a unique one will solve the latter. In the case of three real linearly independent pure states we show that the stationary conditions translate to a system of simultaneous polynomial (non linear) equations in three variabes thus explaining why it&#39;s so difficult to obtain a closed-form solution for the optimal POVM. Additionally, our method suggests that as an ensemble of LI pure states is varied as a smooth function of some independent parameters, the optimal POVM will also vary smoothly as a function of the same parameters. By employing the implicit functions theorem we exploit this fact to obtain a technique to find the solution of MED of LI pure states by dragging the solution from a known example (say, pure orthogonal states) to any general linearly indepenent ensemble of pure states in the same Hilbert space. By employing RK4 to solve the first order coupled non-linear differential equations find that the resulting error is within the RK4 error performance.