Researcher profile

Francesco Ticozzi

Francesco Ticozzi contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
22works
0followers
6topics
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

22 published item(s)

preprint2016arXiv

General fixed points of quasi-local frustration-free quantum semigroups: from invariance to stabilization

We investigate under which conditions a mixed state on a finite-dimensional multipartite quantum system may be the unique, globally stable fixed point of frustration-free semigroup dynamics subject to specified quasi-locality constraints. Our central result is a linear-algebraic necessary and sufficient condition for a generic (full-rank) target state to be frustration-free quasi-locally stabilizable, along with an explicit procedure for constructing Markovian dynamics that achieve stabilization. If the target state is not full-rank, we establish sufficiency under an additional condition, which is naturally motivated by consistency with pure-state stabilization results yet provably not necessary in general. Several applications are discussed, of relevance to both dissipative quantum engineering and information processing, and non-equilibrium quantum statistical mechanics. In particular, we show that a large class of graph product states (including arbitrary thermal graph states) as well as Gibbs states of commuting Hamiltonians are frustration-free stabilizable relative to natural quasi-locality constraints. Likewise, we provide explicit examples of non-commuting Gibbs states and non-trivially entangled mixed states that are stabilizable despite the lack of an underlying commuting structure, albeit scalability to arbitrary system size remains in this case an open question.

preprint2015arXiv

Decompositions of Hilbert Spaces, Stability Analysis and Convergence Probabilities for Discrete-Time Quantum Dynamical Semigroups

We investigate convergence properties of discrete-time semigroup quantum dynamics, including asymptotic stability, probability and speed of convergence to pure states and subspaces. These properties are of interest in both the analysis of uncontrolled evolutions and the engineering of controlled dynamics for quantum information processing. Our results include two Hilbert space decompositions that allow for deciding the stability of the subspace of interest and for estimating of the speed of convergence, as well as a formula to obtain the limit probability distribution for a set of orthogonal invariant subspaces.

preprint2015arXiv

Extending robustness & randomization from Consensus to Symmetrization Algorithms

This work interprets and generalizes consensus-type algorithms as switching dynamics leading to symmetrization of some vector variables with respect to the actions of a finite group. We show how the symmetrization framework we develop covers applications as diverse as consensus on probability distributions (either classical or quantum), uniform random state generation, and open-loop disturbance rejection by quantum dynamical decoupling. Robust convergence results are explicitly provided in a group-theoretic formulation, both for deterministic and for randomized dynamics. This indicates a way to directly extend the robustness and randomization properties of consensus-type algorithms to more fields of application.

preprint2015arXiv

Switching Quantum Dynamics for Fast Stabilization

Control strategies for dissipative preparation of target quantum states, both pure and mixed, and subspaces are obtained by switching between a set of available semigroup generators. We show that the class of problems of interest can be recast, from a control--theoretic perspective, into a switched-stabilization problem for linear dynamics. This is attained by a suitable affine transformation of the coherence-vector representation. In particular, we propose and compare stabilizing time-based and state-based switching rules for entangled state preparation, showing that the latter not only ensure faster convergence with respect to non-switching methods, but can designed so that they retain robustness with respect to initialization, as long as the target is a pure state or a subspace.

preprint2014arXiv

Exact and approximate solutions for the quantum minimum-Kullback-entropy estimation problem

The minimum Kullback entropy principle (mKE) is a useful tool to estimate quantum states and operations from incomplete data and prior information. In general, the solution of a mKE problem is analytically challenging and an approximate solution has been proposed and employed in different context. Recently, the form and a way to compute the exact solution for finite dimensional systems has been found, and a question naturally arises on whether the approximate solution could be an effective substitute for the exact solution, and in which regimes this substitution can be performed. Here, we provide a systematic comparison between the exact and the approximate mKE solutions for a qubit system when average data from a single observable are available. We address both mKE estimation of states and weak Hamiltonians, and compare the two solutions in terms of state fidelity and operator distance. We find that the approximate solution is generally close to the exact one unless the initial state is near an eigenstate of the measured observable. Our results provide a rigorous justification for the use of the approximate solution whenever the above condition does not occur, and extend its range of application beyond those situations satisfying the assumptions used for its derivation.

preprint2014arXiv

Optimal Binary Codes and Measurements for Classical Communication over Qubit Channels

We propose constructive approaches for the optimization of binary classical communication over a general noisy qubit quantum channel, for both the error probability and the classical capacity functionals. After showing that the optimal measurements are always associated to orthogonal projections, we construct a parametrization of the achievable transition probabilities via the coherence vector representation. We are then able to rewrite the problem in a form that can be solved by standard, efficient numerical algorithms and provides insights on the form of the solutions.

preprint2014arXiv

Quantum resources for purification and cooling: fundamental limits and opportunities

Preparing a quantum system in a pure state is ultimately limited by the nature of the system's evolution in the presence of its environment and by the initial state of the environment itself. We show that, when the system and environment are initially uncorrelated and arbitrary joint unitary dynamics is allowed, the system may be purified up to a certain (possibly arbitrarily small) threshold if and only if its environment, either natural or engineered, contains a "virtual subsystem" which has the same dimension and is in a state with the desired purity. Beside providing a unified understanding of quantum purification dynamics in terms of a "generalized swap process," our results shed light on the significance of a no-go theorem for exact ground-state cooling, as well as on the quantum resources needed for achieving an intended purification task.

preprint2013arXiv

Asymmetric Architecture for Heralded Single Photon Sources

Single photon source represent a fundamental building block for optical implementations of quantum information tasks ranging from basic tests of quantum physics to quantum communication and high-resolution quantum measurement. In this paper we investigate the performance of a multiplexed system based on asymmetric configuration of multiple heralded single photon sources. {To compare the effectiveness of different designs we introduce a single-photon source performance index that is based on the value of single photon probability required to achieve a guaranteed signal to noise ratio.} The performance and scalability comparison with both currently existing multiple-source architectures and faint laser configurations reveals an advantage the proposed scheme offers in realistic scenarios. This analysis also provides insights on the potential of using such architectures for integrated implementation.

preprint2013arXiv

Consensus for Quantum Networks: From Symmetry to Gossip Iterations

This paper extends the consensus framework, widely studied in the literature on distributed computing and control algorithms, to networks of quantum systems. We define consensus situations on the basis of invariance and symmetry properties, finding four different probabilistic generalizations of classical consensus states. We then extend the gossip consensus algorithm to the quantum setting and prove its convergence properties, showing how it converges to symmetric states while preserving the expectation of permutation-invariant global observables.

preprint2013arXiv

Minimum Relative Entropy for Quantum Estimation: Feasibility and General Solution

We propose a general framework for solving quantum state estimation problems using the minimum relative entropy criterion. A convex optimization approach allows us to decide the feasibility of the problem given the data and, whenever necessary, to relax the constraints in order to allow for a physically admissible solution. Building on these results, the variational analysis can be completed ensuring existence and uniqueness of the optimum. The latter can then be computed by standard, efficient standard algorithms for convex optimization, without resorting to approximate methods or restrictive assumptions on its rank.

preprint2013arXiv

Steady-State Entanglement by Engineered Quasi-Local Markovian Dissipation

We characterize and construct time-independent Markovian dynamics that drive a finite-dimensional multipartite quantum system into a target (pure) entangled steady state, subject to physical locality constraints. In situations where the desired stabilization task can not be attained solely based on local dissipative means, we allow for local Hamiltonian control or, if the latter is not an option, we suitably restrict the set of admissible initial states. In both cases, we provide algorithms for constructing a master equation that achieves the intended objective and show how this can genuinely extend the manifold of stabilizable states. In particular, we present quasi-local control protocols for dissipatively engineering multipartite GHZ "cat" states and W states on $n$ qubits. For GHZ states, we find that no scalable procedure exists for achieving stabilization from arbitrary initial states, whereas this is possible for a target W state by a suitable combination of a two-body Hamiltonian and dissipators. Interestingly, for both entanglement classes, we show that quasi-local stabilization may be scalably achieved conditional to initialization of the system in a large, appropriately chosen subspace.

preprint2012arXiv

Modeling and Control of Quantum Systems: An Introduction

The scope of this work is to provide a self-contained introduction to a selection of basic theoretical aspects in the modeling and control of quantum mechanical systems, as well as a brief survey on the main approaches to control synthesis. While part of the existing theory, especially in the open-loop setting, stems directly from classical control theory (most notably geometric control and optimal control), a number of tools specifically tailored for quantum systems have been developed since the 1980s, in order to take into account their distinctive features: the probabilistic nature of atomic-scale physical systems, the effect of dissipation and the irreversible character of the measurements have all proved to be critical in feedback-design problems. The relevant dynamical models for both closed and open quantum systems are presented, along with the main results on their controllability and stability. A brief review of several currently available control design methods is meant to provide the interested reader with a roadmap for further studies.

preprint2012arXiv

Quantum State Preparation by Controlled Dissipation in Finite Time: From Classical to Quantum Controllers

We propose a general scheme for dissipatively preparing arbitrary pure quantum states on a multipartite qubit register in a finite number of basic control blocks. Our "splitting-subspace" approach relies on control resources that are available in a number of scalable quantum technologies (complete unitary control on the target system, an ancillary resettable qubit and controlled-not gates between the target and the ancilla), and can be seen as a "quantum-controller" implementation of a sequence of classical feedback loops. We show how a large degree of flexibility exists in engineering the required conditional operations, and make explicit contact with a stabilization protocol used for dissipative quantum state preparation and entanglement generation in recent experiments with trapped ions.

preprint2011arXiv

Hamiltonian Control of Quantum Dynamical Semigroups: Stabilization and Convergence Speed

We consider finite-dimensional Markovian open quantum systems, and characterize the extent to which time-independent Hamiltonian control may allow to stabilize a target quantum state or subspace and optimize the resulting convergence speed. For a generic Lindblad master equation, we introduce a dissipation-induced decomposition of the associated Hilbert space, and show how it serves both as a tool to analyze global stability properties for given control resources and as the starting point to synthesize controls that ensure rapid convergence. The resulting design principles are illustrated in realistic Markovian control settings motivated by quantum information processing, including quantum-optical systems and nitrogen-vacancy centers in diamond.

preprint2011arXiv

Stabilizing Entangled States with Quasi-Local Quantum Dynamical Semigroups

We provide a solution to the problem of determining whether a target pure state can be asymptotically prepared using dissipative Markovian dynamics under fixed locality constraints. Beside recovering existing results for a large class of physically relevant entangled states, our approach has the advantage of providing an explicit stabilization test solely based on the input state and constraints of the problem. Connections with the formalism of frustration-free parent Hamiltonians are discussed, as well as control implementations in terms of a switching output-feedback law.

preprint2010arXiv

Discrete-Time Controllability for Feedback Quantum Dynamics

Controllability properties for discrete-time, Markovian quantum dynamics are investigated. We find that, while in general the controlled system is not finite-time controllable, feedback control allows for arbitrary asymptotic state-to-state transitions. Under further assumption on the form of the measurement, we show that finite-time controllability can be achieved in a time that scales linearly with the dimension of the system, and we provide an iterative procedure to design the unitary control actions.

preprint2010arXiv

Stabilizing Quantum States by Constructive Design of Open Quantum Dynamics

Based on recent work on the asymptotic behavior of controlled quantum Markovian dynamics, we show that any generic quantum state can be stabilized by devising constructively a simple Lindblad-GKS generator that can achieve global asymptotic stability at the desired state. The applications of such result is demonstrated by designing a direct feedback strategy that achieves global stabilization of a qubit state encoded in a noise-protected subspace.

preprint2009arXiv

Engineering Stable Discrete-Time Quantum Dynamics via a Canonical QR Decomposition

We analyze the asymptotic behavior of discrete-time, Markovian quantum systems with respect to a subspace of interest. Global asymptotic stability of subspaces is relevant to quantum information processing, in particular for initializing the system in pure states or subspace codes. We provide a linear-algebraic characterization of the dynamical properties leading to invariance and attractivity of a given quantum subspace. We then construct a design algorithm for discrete-time feedback control that allows to stabilize a target subspace, proving that if the control problem is feasible, then the algorithm returns an effective control choice. In order to prove this result, a canonical QR matrix decomposition is derived, and also used to establish the control scheme potential for the simulation of open-system dynamics.

preprint2009arXiv

Quantum Information Encoding, Protection, and Correction from Trace-Norm Isometries

We introduce the notion of trace-norm isometric encoding and explore its implications for passive and active methods to protect quantum information against errors. Beside providing an operational foundations to the "subsystems principle" [E. Knill, Phys. Rev. A 74, 042301 (2006)] for faithfully realizing quantum information in physical systems, our approach allows additional explicit connections between noiseless, protectable, and correctable quantum codes to be identified. Robustness properties of isometric encodings against imperfect initialization and/or deviations from the intended error models are also analyzed.

preprint2008arXiv

Analysis and synthesis of attractive quantum Markovian dynamics

We propose a general framework for investigating a large class of stabilization problems in Markovian quantum systems. Building on the notions of invariant and attractive quantum subsystem, we characterize attractive subspaces by exploring the structure of the invariant sets for the dynamics. Our general analysis results are exploited to assess the ability of open-loop Hamiltonian and output-feedback control strategies to synthesize Markovian generators which stabilize a target subsystem, subspace, or pure-state. In particular, we provide an algebraic characterization of the manifold of stabilizable pure states in arbitrary finite-dimensional Markovian systems, that leads to a constructive strategy for designing the relevant controllers. Implications for stabilization of entangled pure states are addressed by example.

preprint2008arXiv

Quantum Markovian Subsystems: Invariance, Attractivity, and Control

We characterize the dynamical behavior of continuous-time, Markovian quantum systems with respect to a subsystem of interest. Markovian dynamics describes a wide class of open quantum systems of relevance to quantum information processing, subsystem encodings offering a general pathway to faithfully represent quantum information. We provide explicit linear-algebraic characterizations of the notion of invariant and noiseless subsystem for Markovian master equations, under different robustness assumptions for model-parameter and initial-state variations. The stronger concept of an attractive quantum subsystem is introduced, and sufficient existence conditions are identified based on Lyapunov's stability techniques. As a main control application, we address the potential of output-feedback Markovian control strategies for quantum pure state-stabilization and noiseless-subspace generation. In particular, explicit results for the synthesis of stabilizing semigroups and noiseless subspaces in finite-dimensional Markovian systems are obtained.

preprint2006arXiv

Single-bit Feedback and Quantum Dynamical Decoupling

Synthesizing an effective identity evolution in a target system subjected to unwanted unitary or non-unitary dynamics is a fundamental task for both quantum control and quantum information processing applications. Here, we investigate how single-bit, discrete-time feedback capabilities may be exploited to enact or to enhance quantum procedures for effectively suppressing unwanted dynamics in a finite-dimensional open quantum system. An explicit characterization of the joint unitary propagators correctable by a single-bit feedback strategy for arbitrary evolution time is obtained. For a two-dimensional target system, we show how by appropriately combining quantum feedback with dynamical decoupling methods, concatenated feedback-decoupling schemes may be built, which can operate under relaxed control assumptions and can outperform purely closed-loop and open-loop protocols.