arXiv subjects

Antonio Russo

Publications and source records attributed to Antonio Russo.

31 records · Page 2Linked to original sources

arXiv2021

Chirotonia: A Scalable and Secure e-Voting Framework based on Blockchains and Linkable Ring Signatures

In this paper we propose a comprehensive and scalable framework to build secure-by-design e-voting systems. Decentralization, transparency, determinism, and untamperability of votes are granted by dedicated smart contracts on a blockchain, while voter authenticity and anonymity are achieved through (provable secure) linkable ring signatures. These, in combination with suitable smart contract constraints, also grant protection from double voting. Our design is presented in detail, focusing on its security guarantees and the design choices that allow it to scale to a large number of voters. Finally, we present a proof-of-concept implementation of the proposed framework, made available as open source.

cs.CR↗

arXiv2021

Byzantine-tolerant Distributed Grow-only Sets: Specification and Applications

In order to formalize Distributed Ledger Technologies and their interconnections, a recent line of research work has formulated the notion of Distributed Ledger Object (DLO), which is a concurrent object that maintains a totally ordered sequence of records, abstracting blockchains and distributed ledgers. Through DLO, the Atomic Appends problem, intended as the need of a primitive able to append multiple records to distinct ledgers in an atomic way, is studied as a basic interconnection problem among ledgers. In this work, we propose the Distributed Grow-only Set object (DSO), which instead of maintaining a sequence of records, as in a DLO, maintains a set of records in an immutable way: only Add and Get operations are provided. This object is inspired by the Grow-only Set (G-Set) data type which is part of the Conflict-free Replicated Data Types. We formally specify the object and we provide a consensus-free Byzantine-tolerant implementation that guarantees eventual consistency. We then use our Byzantine-tolerant DSO (BDSO) implementation to provide consensus-free algorithmic solutions to the Atomic Appends and Atomic Adds (the analogous problem of atomic appends applied on G-Sets) problems, as well as to construct consensus-free Single-Writer BDLOs. We believe that the BDSO has applications beyond the above-mentioned problems.

cs.DC↗

arXiv2021

A Finite-Volume Method for Fluctuating Dynamical Density Functional Theory

We introduce a finite-volume numerical scheme for solving stochastic gradient-flow equations. Such equations are of crucial importance within the framework of fluctuating hydrodynamics and dynamic density functional theory. Our proposed scheme deals with general free-energy functionals, including, for instance, external fields or interaction potentials. This allows us to simulate a range of physical phenomena where thermal fluctuations play a crucial role, such as nucleation and other energy-barrier crossing transitions. A positivity-preserving algorithm for the density is derived based on a hybrid space discretization of the deterministic and the stochastic terms and different implicit and explicit time integrators. We show through numerous applications that not only our scheme is able to accurately reproduce the statistical properties (structure factor and correlations) of the physical system, but, because of the multiplicative noise, it allows us to simulate energy barrier crossing dynamics, which cannot be captured by mean-field approaches.

physics.comp-ph↗

arXiv2020

Probing quantum processor performance with pyGSTi

PyGSTi is a Python software package for assessing and characterizing the performance of quantum computing processors. It can be used as a standalone application, or as a library, to perform a wide variety of quantum characterization, verification, and validation (QCVV) protocols on as-built quantum processors. We outline pyGSTi's structure, and what it can do, using multiple examples. We cover its main characterization protocols with end-to-end implementations. These include gate set tomography, randomized benchmarking on one or many qubits, and several specialized techniques. We also discuss and demonstrate how power users can customize pyGSTi and leverage its components to create specialized QCVV protocols and solve user-specific problems.

quant-ph↗

arXiv2020

Integrated Supervised Adaptive Control for the More Electric Aircraft

The innovative concept of Electric Aircraft is a challenging topic involving different control objectives. For instance, it becomes possible to reduce the size and the weight of the generator by using the battery as an auxiliary generator in some operation phases. However, control strategies with different objectives can be conflicting and they can produce undesirable effects, even instability. For this reason an integrated design approach is needed, where stability can be guaranteed in any configuration. In other words, the design of the supervisory controller must be interlaced with that of low-level controllers. Moreover, uncertainties and noisy signals require robust control techniques and the use of adaptiveness in the control algorithm. In this paper, an aeronautic application aiming at recharging batteries and to use the battery to withstand generator overloads is addressed. Detailed and rigorous stability proofs are given for any control configuration, including the switching phases among different control objectives. Effectiveness of the proposed strategies is shown by using a detailed simulator including switching electronic components.

eess.SY↗

arXiv2019

Generation of arbitrary all-photonic graph states from quantum emitters

We present protocols to generate arbitrary photonic graph states from quantum emitters that are in principle deterministic. We focus primarily on two-dimensional cluster states of arbitrary size due to their importance for measurement-based quantum computing. Our protocols for these and many other types of two-dimensional graph states require a linear array of emitters in which each emitter can be controllably pumped, rotated about certain axes, and entangled with its nearest neighbors. We show that an error on one emitter produces a localized region of errors in the resulting graph state, where the size of the region is determined by the coordination number of the graph. We describe how these protocols can be implemented for different types of emitters, including trapped ions, quantum dots, and nitrogen-vacancy centers in diamond.

quant-ph↗

arXiv2018

Dynamic Nuclear Polarization from Topological Insulator Helical Edge States

Topological insulators are promising for spintronics and related technologies due to their spin-momentum-locked edge states, which are protected by time-reversal symmetry. In addition to the unique fundamental physics that arises in these systems, the potential technological applications of these protected states has also been driving TI research over the past decade. However, most known topological insulator materials naturally contain spinful nuclei, and their hyperfine coupling to helical edge states intrinsically breaks time-reversal symmetry, removing the topological protection and enabling the buildup of dynamic nuclear spin polarization through hyperfine-assisted backscattering. Here, we calculate scattering probabilities and nuclear polarization for edge channels containing up to $34$ nuclear spins using a numerically exact analysis that exploits the symmetries of the problem to drastically reduce the computational complexity. We then show the emergence of universal scaling properties that allow us to extrapolate our findings to vastly larger and experimentally relevant system sizes. We find that significant nuclear polarization can result from relatively weak helical edge currents, suggesting that it may be an important factor affecting spin transport in topological insulator devices.

cond-mat.mes-hall↗

arXiv2018

Photonic graph state generation from quantum dots and color centers for quantum communications

Highly entangled graph states of photons have applications in universal quantum computing and in quantum communications. In the latter context, they have been proposed as the key ingredient in the establishment of long-distance entanglement across quantum repeater networks. Recently, a general deterministic approach to generate repeater graph states from quantum emitters was given. However, a detailed protocol for the generation of such states from realistic systems is still needed in order to guide experiments. Here, we provide such explicit protocols for the generation of repeater graph states from two types of quantum emitters: NV centers in diamond and self-assembled quantum dots. A crucial element of our designs is an efficient controlled-Z gate between the emitter and a nuclear spin, used as an ancilla qubit. Additionally, a fast protocol for using pairs of exchange-coupled quantum dots to produce repeater graph states is described. Our focus is on near-term experiments feasible with existing experimental capabilities.

cond-mat.mes-hall↗

arXiv2018

General solution to inhomogeneous dephasing and smooth pulse dynamical decoupling

In order to achieve the high-fidelity quantum control needed for a broad range of quantum information technologies, reducing the effects of noise and system inhomogeneities is an essential task. It is well known that a system can be decoupled from noise or made insensitive to inhomogeneous dephasing dynamically by using carefully designed pulse sequences based on square or delta-function waveforms such as Hahn spin echo or CPMG. However, such ideal pulses are often challenging to implement experimentally with high fidelity. Here, we uncover a new geometrical framework for visualizing all possible driving fields, which enables one to generate an unlimited number of smooth, experimentally feasible pulses that perform dynamical decoupling or dynamically corrected gates to arbitrarily high order. We demonstrate that this scheme can significantly enhance the fidelity of single-qubit operations in the presence of noise and when realistic limitations on pulse rise times and amplitudes are taken into account.

cond-mat.mes-hall↗

arXiv2018

Topological insulator ring with magnetic impurities

Topological insulators exhibit gapless edge or surface states that are topologically protected by time-reversal symmetry. However, several promising candidates for topologically insulating materials (such as Bi$_2$Se$_3$ and HgTe) contain spinful nuclei or other types of magnetic impurities that break time-reversal symmetry. We investigate the consequences of such impurities coupled to electronic edge states in a topological insulator quantum ring threaded by a magnetic flux. We use spin conservation and additional symmetry arguments to derive a universal formula for the spectrum of propagating edge modes in terms of the amplitude of transmission through the impurity. Our results apply for impurities of arbitrary spin. We show that there exists an energy regime in which the spectrum becomes nearly independent of the flux and significant spectral gaps form. We further analyze the electron-impurity entanglement entropy, finding that maximal entanglement occurs near the gaps in the spectrum. Our predictions can be investigated with quantum ring transport interference experiments or through spin-resolved STM measurements, providing a new approach to understand the role of impurities in topological insulator edge transport.

cond-mat.mes-hall↗

arXiv2015

Random field disorder and charge order driven quantum oscillations in cuprates

IIn the pseudogap regime of the cuprates, charge order breaks a $\mathbb{Z}_{2}$ symmetry. Therefore, the interaction of charge order and quenched disorder due to potential scattering, can, in principle, be treated as a random field Ising model. A numerical analysis of the ground state of such a random field Ising model reveals local, glassy dynamics in both $2D$ and $3D$. The glassy dynamics are treated as a heat bath which couple to the itinerant electrons, leading to an unusual electronic non-Fermi liquid. If the dynamics are strong enough, the electron spectral function has no quasiparticle peak and the effective mass diverges at the Fermi surface, precluding quantum oscillations. In contrast to charge density, $d$-density wave order (reflecting staggered circulating currents) does not directly couple to potential disorder, allowing it to support quantum oscillations. At fourth order in Landau theory, there is a term consisting of the square of the $d$-density wave order parameter, and the square of the charge order. This coupling could induce parasitic charge order, which may be weak enough for the Fermi liquid behavior to remain uncorrupted. Here, we argue that this distinction must be made clear, as one interprets quantum oscillations in cuprates.

cond-mat.supr-con↗

arXiv2013

Phases in two dimensional $p_x+ip_y$ superconducting systems with next-nearest-neighbor interactions

A chiral $p_x+ip_y$ superconductor on a square lattice with nearest and next-nearest hopping and pairing terms is considered. Gap closures, as various parameters of the system are varied, are found analytically and used to identify the topological phases. The phases are characterized by Chern numbers (ranging from -3 to 3), and (numerically) by response to introduction of weak disorder, edges, and magnetic fields in an extreme type-II limit, focusing on the low-energy modes (which presumably become zero-energy Majorana modes for large lattices and separations). Several phases are found, including a phase with Chern number 3 that cannot be thought of in terms of a single range of interaction, and phase with Chern number 2 that may host an additional, disorder resistant, Majorana mode. The energies of the vortex quasiparticle modes were found to oscillate as vortex position varied. The spatial length scale of these oscillations was found for various points in the Chern number 3 phase which increased as criticality was approached.

cond-mat.supr-con↗

arXiv2011

On the existence of D-solutions of the steady-state Navier-Stokes equations in plane exterior domains

We prove that the steady--state Navier--Stokes problem in a plane Lipschitz domain $Ω$ exterior to a bounded and simply connected set has a $D$-solution provided the boundary datum $\a \in L^2(\partialΩ)$ satisfies ${1\over 2π}|\int_{\partialΩ}\a\cdot\n|<1$. If $Ω$ is of class $C^{1,1}$, we can assume $\a\in W^{-1/4,4}(\partialΩ)$. Moreover, we show that for every $D$--solution $(\u,p)$ of the Navier--Stokes equations it holds $\nabla p = o(r^{-1}), \nabla_k p = O(r^{ε-3/2}), \nabla_k\u = O(r^{ε-3/4})$, for all $k\in{\Bbb N}\setminus\{1\}$ and for all positive $ε$, and if the flux of $\u$ through a circumference surrounding $\complementΩ$ is zero, then there is a constant vector $\u_0$ such that $\u=\u_0+o(1)$.

math-ph↗