arXiv subjects

Arvind

Publications and source records attributed to Arvind.

At least 73 records · Page 4Linked to original sources

arXiv2020

True experimental reconstruction of quantum states and processes via convex optimization

We use a constrained convex optimization (CCO) method to experimentally characterize arbitrary quantum states and unknown quantum processes on a two-qubit NMR quantum information processor. Standard protocols for quantum state and quantum process tomography are based on linear inversion, which often result in an unphysical density matrix and hence an invalid process matrix. The CCO method on the other hand, produces physically valid density matrices and process matrices, with significantly improved fidelity as compared to the standard methods. The constrainedoptimization problem is solved with the help of a semi-definite programming (SDP) protocol. We use the CCO method to estimate the Kraus operators and characterize gates in the presence of errors due to decoherence. We then assume Markovian system dynamics and use a Lindblad master equation in conjunction with the CCO method to completely characterize the noise processes present in the NMR qubits.

quant-ph↗

arXiv2020

Experimental Detection of Non-local Correlations using a Local Measurement-Based Hierarchy on an NMR Quantum Processor

The non-local nature of the correlations possessed by quantum systems may be revealed by experimental demonstrations of the violation of Bell-type inequalities. Recent work has placed bounds on the correlations that quantum systems can possess in an actual experiment. These bounds were limited to a composite quantum system comprising of a few lower-dimensional subsystems. In a more general approach, it has been shown that fewer body correlations can reveal the non-local nature of the correlations arising from a quantum mechanical description of nature. Such tests on the correlations can be transformed to a semi-definite program (SDP). This study reports the experimental implementation of a local measurement-based hierarchy on the nuclear magnetic resonance (NMR) hardware utilizing three nuclear spins as qubits. The protocol has been experimentally tested on genuinely entangled tripartite states such as W state, GHZ state and a few graph states. In all the cases, the experimentally measured correlations were used to formulate the SDP, using linear constraints on the entries of the moment matrix. We observed that for each genuinely entangled state, the SDP failed to find a semi-definite positive moment matrix consistent with the experimental data. This implies that the observed correlations can not arise from local measurements on a separable state and are hence non-local in nature, and also confirms that the states being tested are indeed entangled.

quant-ph↗

arXiv2019

MI6: Secure Enclaves in a Speculative Out-of-Order Processor

Recent attacks have broken process isolation by exploiting microarchitectural side channels that allow indirect access to shared microarchitectural state. Enclaves strengthen the process abstraction to restore isolation guarantees. We propose MI6, an aggressive, speculative out-of-order processor capable of providing secure enclaves under a threat model that includes an untrusted OS and an attacker capable of mounting any software attack currently considered practical, including control flow speculation attacks. MI6 is inspired by Sanctum [16] and extends its isolation guarantee to more realistic memory hierarchies. It also introduces a purge instruction, which is used only when a secure process is scheduled, and implements it for a complex processor microarchitecture. We model the performance impact of enclaves in MI6 through FPGA emulation on AWS F1 FPGAs by running SPEC CINT2006 benchmarks on top of an untrusted Linux OS. Security comes at the cost of approximately 16.4% average slowdown for protected programs.

cs.CR↗

arXiv2019

Geometric phases for finite-dimensional systems -- the roles of Bargmann Invariants, Null Phase Curves and the Schwinger Majorana SU(2) framework

We present a study of the properties of Bargmann Invariants (BI) and Null Phase Curves (NPC) in the theory of the geometric phase for finite dimensional systems. A recent suggestion to exploit the Majorana theorem on symmetric SU(2) multispinors is combined with the Schwinger oscillator operator construction to develop efficient operator based methods to handle these problems. The BI is described using intrinsic unitary invariant angle parameters, whose algebraic properties as functions of Hilbert space dimension are analysed using elegant group theoretic methods. The BI-geometric phase connection, extended by the use of NPC's, is explored in detail, and interesting new experiments in this subject are pointed out.

quant-ph↗

arXiv2019

An Energy-Efficient Reconfigurable DTLS Cryptographic Engine for Securing Internet-of-Things Applications

This paper presents the first hardware implementation of the Datagram Transport Layer Security (DTLS) protocol to enable end-to-end security for the Internet of Things (IoT). A key component of this design is a reconfigurable prime field elliptic curve cryptography (ECC) accelerator, which is 238x and 9x more energy-efficient compared to software and state-of-the-art hardware respectively. Our full hardware implementation of the DTLS 1.3 protocol provides 438x improvement in energy-efficiency over software, along with code size and data memory usage as low as 8 KB and 3 KB respectively. The cryptographic accelerators are coupled with an on-chip low-power RISC-V processor to benchmark applications beyond DTLS with up to two orders of magnitude energy savings. The test chip, fabricated in 65 nm CMOS, demonstrates hardware-accelerated DTLS sessions while consuming 44.08 uJ per handshake, and 0.89 nJ per byte of encrypted data at 16 MHz and 0.8 V.

cs.CR↗

arXiv2019

Coherence assisted non-Gaussian measurement device independent quantum key distribution

Non-Gaussian operations on two mode squeezed vacuum states (TMSV) in continuous variable measurement device independent quantum key distribution (CV-MDI-QKD) protocols have been shown to effectively increase the total transmission distances drastically. In this paper we show that photon subtraction on a two mode squeezed coherent (PSTMSC) state can further improve the transmission distances remarkably. To that end we also provide a generalized covariance matrix corresponding to PSTMSC, which has not been attempted before. We show that coherence, defined as the amount of displacement of vacuum state, along with non-Gaussianity can help improve the performance of prevalent CV-MDI-QKD protocols. Furthermore, since we use realistic parameters, our technique is experimentally feasible and can be readily implemented

quant-ph↗

arXiv2019

Weak Memory Models with Matching Axiomatic and Operational Definitions

Memory consistency models are notorious for being difficult to define precisely, to reason about, and to verify. More than a decade of effort has gone into nailing down the definitions of the ARM and IBM Power memory models, and yet there still remain aspects of those models which (perhaps surprisingly) remain unresolved to this day. In response to these complexities, there has been somewhat of a recent trend in the (general-purpose) architecture community to limit new memory models to being (multicopy) atomic: where store values can be read by the issuing processor before being advertised to other processors. TSO is the most notable example, used in the past by IBM 370 and SPARC-TSO, and currently used in x86. Recently (in March 2017) ARM has also switched to a multicopy atomic memory model, and the new RISC-V ISA and recent academic proposals such as WMM are pushing to do the same. In this paper, we show that when memory models are atomic, it becomes much easier to produce axiomatic definitions, operational definitions, and proofs of equivalence than doing the same under non-atomic models. The increased ease with which these definitions can be produced in turn allows architects to build processors much more confidently, and yet the relaxed nature of the models we propose still allows most or all of the performance of non-atomic models to be retained. In fact, in this paper, we show that atomic memory models can be defined in a way that is parametrized by basic instruction and fence orderings. Our operational vs. axiomatic equivalence proofs, which are likewise parameterized, show that the operational model is sound with respect to the axioms and that the operational model is complete: that it can show any behavior permitted by axiomatic model.

cs.PL↗

arXiv2019

Experimental demonstration of fully contextual quantum correlations on an NMR quantum information processor

The existence of contextuality in quantum mechanics is a fundamental departure from the classical description of the world. Currently, the quest to identify scenarios which cannot be more contextual than quantum theory is at the forefront of research in quantum contextuality. In this work, we experimentally test two inequalities, which are capable of revealing fully contextual quantum correlations, on a Hilbert space of dimension 8 and 4 respectively, on an NMR quantum information processor. The projectors associated with the contextuality inequalities are first reformulated in terms of Pauli operators, which can be determined in an NMR experiment. We also analyze the behavior of each inequality under rotation of the underlying quantum state, which unitarily transforms it to another pure state.

quant-ph↗

arXiv2019

An Energy-Efficient Reconfigurable DTLS Cryptographic Engine for End-to-End Security in IoT Applications

This paper presents a reconfigurable cryptographic engine that implements the DTLS protocol to enable end-to-end security for IoT. This implementation of the DTLS engine demonstrates 10x reduction in code size and 438x improvement in energy-efficiency over software. Our ECC primitive is 237x and 9x more energy-efficient compared to software and state-of-the-art hardware respectively. Pairing the DTLS engine with an on-chip RISC-V allows us to demonstrate applications beyond DTLS with up to 2 orders of magnitude energy savings.

cs.CR↗

arXiv2019

Experimental Detection of Qubit-Ququart Pseudo-Bound Entanglement using Three Nuclear Spins

In this work, we experimentally created and characterized a class of qubit-ququart PPT (positive under partial transpose) entangled states using three nuclear spins on an nuclear magnetic resonance (NMR) quantum information processor. Entanglement detection and characterization for systems with a Hilbert space dimension $\ge 2 \otimes 3$ is nontrivial since there are states in such systems which are both PPT as well as entangled. The experimental detection scheme that we devised for the detection of qubit-ququart PPT entanglement was based on the measurement of three Pauli operators with high precision, and is a key ingredient of the protocol in detecting entanglement. The family of PPT-entangled states considered in the current study are incoherent mixtures of five pure states. All the five states were prepared with high fidelities and the resulting PPT entangled states were prepared with mean fidelity $\ge 0.95$. The entanglement thus detected was validated by carrying out full quantum state tomography (QST).

quant-ph↗

arXiv2018

Constructing a Weak Memory Model

Weak memory models are a consequence of the desire on part of architects to preserve all the uniprocessor optimizations while building a shared memory multiprocessor. The efforts to formalize weak memory models of ARM and POWER over the last decades are mostly empirical -- they try to capture empirically observed behaviors -- and end up providing no insight into the inherent nature of weak memory models. This paper takes a constructive approach to find a common base for weak memory models: we explore what a weak memory would look like if we constructed it with the explicit goal of preserving all the uniprocessor optimizations. We will disallow some optimizations which break a programmer's intuition in highly unexpected ways. The constructed model, which we call General Atomic Memory Model (GAM), allows all four load/store reorderings. We give the construction procedure of GAM, and provide insights which are used to define its operational and axiomatic semantics. Though no attempt is made to match GAM to any existing weak memory model, we show by simulation that GAM has comparable performance with other models. No deep knowledge of memory models is needed to read this paper.

cs.AR↗

arXiv2018

Weak Memory Models: Balancing Definitional Simplicity and Implementation Flexibility

The memory model for RISC-V, a newly developed open source ISA, has not been finalized yet and thus, offers an opportunity to evaluate existing memory models. We believe RISC-V should not adopt the memory models of POWER or ARM, because their axiomatic and operational definitions are too complicated. We propose two new weak memory models: WMM and WMM-S, which balance definitional simplicity and implementation flexibility differently. Both allow all instruction reorderings except overtaking of loads by a store. We show that this restriction has little impact on performance and it considerably simplifies operational definitions. It also rules out the out-of-thin-air problem that plagues many definitions. WMM is simple (it is similar to the Alpha memory model), but it disallows behaviors arising due to shared store buffers and shared write-through caches (which are seen in POWER processors). WMM-S, on the other hand, is more complex and allows these behaviors. We give the operational definitions of both models using Instantaneous Instruction Execution (I2E), which has been used in the definitions of SC and TSO. We also show how both models can be implemented using conventional cache-coherent memory systems and out-of-order processors, and encompasses the behaviors of most known optimizations.

cs.PL↗

arXiv2018

On-demand quantum key distribution using superconducting rings with a mesoscopic Josephson junction

We present a quantum key distribution (QKD) protocol based on long lived coherent states prepared on superconducting rings with a mesoscopic Josephson junction (dc-SQUIDs). This enables storage of the prepared states for long durations before actually performing the key distribution. Our on-demand QKD protocol is closely related to the coherent state based continuous variable quantum key distribution protocol. A detailed analysis of preparation, evolution and different measurement schemes that are required to be implemented on dc-SQUIDs to carry out the QKD is provided. We present two variants of the protocol, one requiring time stamping of states and offering a higher key rate and the other without time stamping and a lower key rate. This is a step towards having non-photon based QKD protocols which will be eventually desirable as photon states cannot be stored for long and therefore the key distribution has to be implemented immediately after photon exchange has occurred. Our protocol offers an innovative scheme to perform QKD and can be realized using current experimental techniques.

quant-ph↗

arXiv2018

Experimentally identifying the entanglement class of pure tripartite states

We use concurrence as an entanglement measure and experimentally demonstrate the entanglement classification of arbitrary three-qubit pure states on a nuclear magnetic resonance (NMR) quantum information processor. Computing the concurrence experimentally under three different bipartitions, for an arbitrary three-qubit pure state, reveals the entanglement class of the state. The experiment involves measuring the expectation values of Pauli operators. This was achieved by mapping the desired expectation values onto the local $z$ magnetization of a single qubit. We tested the entanglement classification protocol on twenty seven different generic states and successfully detected their entanglement class. Full quantum state tomography was performed to construct experimental tomographs of each state and negativity was calculated from them, to validate the experimental results.

quant-ph↗

arXiv2018

Effect of dissipative environment on collapses and revivals of a nonlinear quantum oscillator

We study the dissipative dynamics of a wave packet passing through two different non-linear media. The effect of dissipation on the phenomenon of collapses and revivals of a wave packet as it evolves in a Kerr-type non-linear medium (represented by the Hamiltonian $({a}^† a)^2$) is investigated. We find that partial revivals do take place when dissipation values are moderate. For a certain regime of parameters we find a solution where revivals do not die even in the presence of dissipation and the non-linearity appears to compensate for the energy and coherence loss. We consider the next order non-linearity, represented by the Hamiltonian $({a}^† a)^3$, where we observe the phenomena of super revivals. The effect of dissipation in this case has an additional feature of number dependence for the displaced number states. While our simulations explore the degree to which the phenomena of collapses and revivals degrades in a dissipative environment, we also discovered the presence of a situation where degradation is minimal.

quant-ph↗

arXiv2018

Intrinsic nonlinearity of a PN-junction diode and higher order harmonic generation

Voltage current characteristics of a PN-junction diode are intrinsically nonlinear in nature. It is shown in this paper that a mathematical form of nonlinearity of a PN-junction diode resembles the nonlinear response of electric polarization of a dielectric medium to the electric field. Nonlinearity of a PN-junction can be expressed in a series of successively increasing orders of the nonlinearity. For a PN-junction diode, higher order nonlinear terms become significant as a voltage across the diode is increased. In this paper, a gradual emergence of a nonlinear regime with the amplitude of a sinusoidal voltage is presented. Higher order harmonics are produced by utilizing the nonlinearity of a single PN-junction diode. An experimental realization of a frequency comb with the highest frequency up to the twentieth harmonics is also presented. In addition, in the same circuit by making the nonlinearity significant up to the second order, an experiment on generation of the sum and difference of frequencies is realized.

physics.app-ph↗

arXiv2018

Study of normal modes and symmetry breaking in a two-dimensional pendulum

We present an experimental setup to demonstrate normal modes and symmetry breaking in a two-dimensional pendulum. In our experiment we have used two modes of a single oscillator to demonstrate normal modes, as opposed to two single oscillators used in standard setups of two-dimensional pendulums. Breaking of the cylindrical symmetry of the pendulum is achieved by attaching a spring in the suspension. This leads to interesting visual patterns in the motion, wherein the plane of the oscillator shifts with time, the motion then becomes elliptical, shifts back again to planar, before finally returning to planar motion in the original plane. The symmetry breaking leads to non-degenerate normal modes of oscillation, whose interplay gives rise to the observed motion patterns. This also explains why for a real pendulum, the plane of motion always shifts, unlike the ideal two-dimensional pendulum where the plane of oscillation is supposed to remain fixed. This curious fact also contributes to the difficulties involved in building a Foucault's pendulum, where the plane of rotation due to Coriolis force needs to be accurately measured. The strength of the symmetry breaking in our system can be quantified by a parameter the "return time", which is defined as the time over which the pendulum returns to its original motion pattern. We propose this setup as a pedagogical tool to introduce the concepts of normal modes and symmetry breaking in a physics laboratory. The motion patterns that emerge have a high visual impact and we have also described in detail the quantitative observations can be made with this setup.

physics.ed-ph↗

arXiv2018

Experimental Classification of Entanglement in Arbitrary Three-Qubit States on an NMR Quantum Information Processor

We undertake experimental detection of the entanglement present in arbitrary three-qubit pure quantum states on an NMR quantum information processor. Measurements of only four observables suffice to experimentally differentiate between the six classes of states which are inequivalent under stochastic local operation and classical communication (SLOCC). The experimental realization is achieved by mapping the desired observables onto Pauli $z$-operators of a single qubit, which is directly amenable to measurement. The detection scheme is applied to known entangled states as well as to states randomly generated using a generic scheme that can construct all possible three-qubit states. The results are substantiated via direct full quantum state tomography as well as via negativity calculations and the comparison suggests that the protocol is indeed successful in detecting tripartite entanglement without requiring any {\it a priori} information about the states.

quant-ph↗