arXiv ScienceSearch

arXiv subjects

Don Towsley

Publications and source records attributed to Don Towsley.

At least 19 recordsLinked to original sources

Identifiability in Quantum State, Process, and Network Tomography

Quantum State Tomography (QST), Quantum Process Tomography (QPT), and Quantum Network Tomography (QNT) are related parameter-estimation problems that aim to reconstruct different physical quantities. QST estimates an unknown quantum state, represented by its density matrix, from the measurement outcomes. QPT characterises an unknown quantum channel using known input states and measurements of the corresponding outputs. QNT, in contrast, aims to infer parameters associated with individual links from end-to-end probe measurements collected at accessible monitor nodes. A key distinction among the three tomography problems lies in the conditions required to achieve identifiability, the ability to determine unknown parameters uniquely from the available measurement statistics. In QST and QPT, the experimenter can choose an Informationally Complete (IC) measurement set. QNT limits the reachable measurements to what topology and monitor placement allow, so the admissible probe paths fix the information available about the link parameters. This work studies all three tomography problems through a common Fisher Information Matrix (FIM). We factorise QNT FIM and show that its rank equals the rank of the path-link incidence matrix at every interior parameter value, so local and global identifiability coincide. We then show that QST and QPT attain full rank under IC settings, QNT loses rank when the probe paths leave link parameters indistinguishable, and increasing the number of copies scales the FIM eigenvalues while leaving its rank fixed.

quant-ph

Quantum networking with advances in fiber technology

Recent comparisons of quantum repeater protocols have highlighted the strong near-term potential of multiplexed two-way architectures for long-distance quantum communication. At the same time, advances in hollow-core fiber (HCF) technology motivate a re-examination of the physical transmission medium as an architectural lever in quantum network design. In this work, we compare emerging anti-resonant HCFs against conventional silica single-mode fibers (SMFs) in multiplexed two-way quantum repeater networks. We evaluate their performance under both telecom and memory-native transmission, accounting for frequency-conversion overheads, coupling efficiencies, memory decoherence, and operational noise. We find that HCF significantly outperforms SMF across a wide range of regimes. With memory-native transmission, HCF yields up to an order of magnitude improvement in secret-key rate per channel use under realistic conversion efficiencies. Even at telecom wavelengths, HCF enables larger optimal repeater spacing, improving rate--cost tradeoffs and reducing repeater requirements. We further quantify the role of memory quality, hardware efficiency, detector and conversion losses, and two-qubit gate noise in shaping these gains. These results show that recent advances in HCF materially expand the design space of practical terrestrial quantum repeater networks.

quant-ph

Identifiability and Estimation Precision in Quantum Network Tomography with Imperfect Bell-State Measurements

We study Quantum Network Tomography (QNT) for end-to-end link-error characterization under imperfect Bell-state measurements (BSMs), where multiplicative coupling between link and measurement parameters makes identifiability non-trivial. For an n-node star network, we design probes that ensure unique identifiability and derive closed-form expressions for the Fisher Information Matrix (FIM) and Maximum Likelihood Estimators (MLEs), and characterize estimation precision through the Cramer-Rao Bound (CRB). The results show that BSM imperfections degrade estimation precision, while the proposed probes maintain nearly stable precision for individual link parameters as the network size increases. Monte Carlo simulations further confirm that the Mean Squared Error (MSE) approaches the CRB with increasing sample size.

quant-ph

Learnability, Identifiability, and Monitor Placement in Quantum Network Tomography

Reliable quantum communication requires accurate characterization of the quantum links. This paper studies Quantum Network Tomography (QNT) under limited monitoring resources, where unknown link parameters are inferred from path-based measurements performed at monitor nodes. We introduce a cyclic sequential QNT protocol (CSQP) for arbitrary network topologies and develop a fixed-point learnability framework with an explicit algorithm for estimating link-level Werner parameters. We characterize identifiability through the rank of the path-link incidence matrix and show that the CSQP learnability conditions guarantee full rank and a nonsingular Quantum Fisher Information Matrix (QFIM). Building on this framework, we formulate monitor placement and measurement assignment as an optimization problem whose constraints enforce learnability and identifiability without topology-specific reformulation. Two Integer Linear Programming (ILP) formulations are introduced: Unconstrained QFIM-based formulation (QF), which maximizes QFIM-trace, and monitoring-overhead constrained QFIM formulation (QMF), which maximizes QFIM-trace subject to a per-monitor overhead constraint. Both formulations are evaluated on star and tree networks to compare monitor placements and measurement assignments. The results show that QMF distributes monitoring load evenly across all monitors and provides greater potential for parallel monitoring under resource constraints, while QF is more suitable when estimation information is prioritized, particularly in practical networks with non-uniform link noise.

quant-ph

Quantum-Classical Coexistence Network Tomography

Quantum-classical coexistence networks (QCNs) share optical fiber between quantum and classical signals via wavelength-division multiplexing, offering a practical path to quantum communication over existing telecom infrastructure. However, co- and counter-propagating classical traffic introduce distinct depolarization noise, complicating channel characterization. We develop a tomography framework that infers per-link channel parameters of a QCN from end-to-end measurements alone. We first model each coexisting fiber by decomposing the signal evolution into photon loss, successful transmission, and three direction-dependent depolarization components. We then derive closed-form link-level estimators, and extend the approach to star-topology networks through a system of multiplicative equations across end-node pairs, together with a simple classical-signal-direction-switching protocol that resolves the remaining unknowns. On single-link experimental testbed data, we recover per-link depolarization probabilities accurately, with estimated process fidelities closely tracking the Bayesian-process-tomography baseline across multiple fiber lengths and wavelengths; residual gaps reflect the depolarization-only approximation. Absent a multi-link coexistence testbed, we validate the star-network estimators on emulated paths built from measured single-link channels. We further extend the framework in two directions: (i) a channel model that factorizes the coexisting fiber into a depolarizing-with-loss signal channel and a Raman-noise-injection channel on separate optical modes -- a completely-positive, trace-preserving tensor product -- whose link observables reduce exactly to our basic model; and (ii) a generalization to arbitrary topologies via a peeling algorithm (trees) and a least-squares estimator (meshes), validated by Monte-Carlo simulations on tree and cyclic-mesh networks.

cs.IT

Efficient routing and spectrum allocation in arbitrary flex-grid entanglement networks

As practical quantum networks approach large-scale deployment, the need for efficient user-to-user frequency allocation is increasing, yet current approaches only provide partial solutions to the routing and spectrum allocation problem for an arbitrary quantum network. We address this challenge for repeater-less flex-grid quantum networks based on hyperentangled photons using an efficient three-stage pipeline combining leading tools in classical networking with recent advances in numerical optimization. First, double instantiations of Yen's algorithm obtain low-loss route candidates between each pair of users and the entanglement sources. Second, the advanced process optimizer (APOPT) obtains frequency channel allocations that maximize distribution rates under fidelity constraints. Finally, the constraint programming solver using satisfiability methods (CP-SAT) assigns specific frequency bins to each link, ensuring that there is no contention between frequencies from different sources. We numerically demonstrate this approach on a representative ring network and a Manhattan incumbent local exchange carrier topology, realizing significant improvements over prior genetic algorithm approaches in speed, accuracy, and scalability. Overall, this pipeline provides an efficient heuristic workflow for optimizing broadband entanglement distribution, applicable to arbitrarily connected quantum networks integrated within the existing lightwave infrastructure.

quant-ph

Designing a Satellite Serviced Quantum Network Backbone for Concurrent Global Connectivity

Satellite-serviced quantum networks pose an architectural problem distinct from classical satellite networking: because entanglement cannot be copied, and long-lived buffering is technologically constrained for near-term devices, useful end-to-end service requires fixed optical ground infrastructure and simultaneous multi-hop path availability. We investigate the design of a satellite-serviced quantum backbone aimed at supporting concurrent global connectivity across a traffic matrix of major population and financial centers under finite waiting-time constraints. Using a discrete-time simulator, we evaluate performance using two architecture-level metrics: (i) time-to-connectivity, and (ii) latency-conditioned average active-link strength. Across a broad parameter sweep, we identify three dominant architectural effects. First, anisotropic ground-station lattices reduce time-to-connectivity relative to longitudinally collapsed and isotropic baselines by aligning ground infrastructure with latitude-dependent satellite access. Second, multi-inclination LEO constellations reduce waiting times for strong connectivity compared to single-inclination constellations at fixed satellite budgets by providing additional visibility for a diverse latitude set. Third, multi-party satellite service policies alleviate per-satellite concurrency bottlenecks and substantially reduce time-to-connectivity at stringent traffic-matrix thresholds. We further show that satellite altitude is the dominant physical lever shaping the visibility--loss trade-off, strongly affecting both connectivity latency and achievable link strength, while orbital plane count and satellite packing provide secondary refinements at fixed altitude. Together, these results delineate the architectural conditions required for scalable, concurrent entanglement connectivity in satellite-serviced quantum networks.

quant-ph

Lower bounds on bipartite entanglement in noisy graph states

Graph states are a key resource for a number of applications in quantum information theory. Due to the inherent noise in noisy intermediate-scale quantum (NISQ) era devices, it is important to understand the effects noise has on the usefulness of graph states. We consider a noise model where the initial qubits undergo depolarizing noise before the application of the CZ operations that generate edges between qubits situated at the nodes of the resulting graph state. For this model we develop a method for calculating the coherent information -- a lower bound on the rate at which entanglement can be distilled, across a bipartition of the graph state. We also identify some patterns on how adding more nodes or edges affects the bipartite distillable entanglement. As an application, we find a family of graph states that maintain a strictly positive coherent information for any amount of (non-maximal) depolarizing noise.

quant-ph

Quantum-enhanced Network Tomography

Network tomography refers to the use of inference techniques for inferring internal network states from end-to-end probes. Quantum probes, implemented by sending blocks of $n$ coherent-state pulses augmented with continuous-variable (CV) squeezing ($n=1$) or weak temporal-mode entanglement ($n>1$) over a lossy channel to a receiver with homodyne detection capabilities, are known to carry information about the channel transmissivity. Assuming a subset of nodes in an optical network is capable of sending and receiving such probes through intermediate nodes with all-optical switching capabilities, we leverage these quantum probes to estimate link transmissivities. To determine how to route the probes in a network, we propose a probe construction algorithm that guarantees link identifiability, while maximizing the number of information orthogonal sets of transmissivities. A set of probes induces a Fisher information matrix (FIM). We then derive two metrics, the determinant of the FIM and the trace of its inverse, to evaluate the performance of the probes. In particular, our results can be used to characterize the quantum improvement in estimating link transmissivities in a general optical network.

quant-ph

Optimizing Orbital Parameters of Satellites for a Global Quantum Network

Due to fundamental limitations on terrestrial quantum links, satellites have received considerable attention for their potential as entanglement generation sources in a global quantum internet. In this work, we focus on the problem of designing a constellation of satellites for such a quantum network. We find satellite inclination angles and satellite cluster allocations to achieve maximal entanglement generation rates to fixed sets of globally distributed ground stations. Exploring two black-box optimization frameworks: a Bayesian Optimization (BO) approach and a Genetic Algorithm (GA) approach, we find comparable results, indicating their effectiveness for this optimization task. While GA and BO often perform remarkably similar, BO often converges more efficiently, while later growth noted in GAs is indicative of less susceptibility towards local maxima. In either case, they offer substantial improvements over naive approaches that maximize coverage with respect to ground station placement.

quant-ph

Rate-Fidelity Tradeoffs in All-Photonic and Memory-Equipped Quantum Switches

Quantum entanglement switches are a key building block for early quantum networks, and a central design question is whether near-term devices should use only flying photons or also incorporate quantum memories. We compare two architectures: an all-photonic entanglement generation switch (EGS) that repeatedly attempts Bell-state measurements (BSM) without storing qubits, and a quantum memory-equipped switch that buffers entanglement and triggers measurements only when heralded connectivity is available (herald-then-swap control). These two designs trade off simple, memoryless operation that avoids decoherence and memory-induced latency against heralding-based control that buffers entanglement to use BSMs more efficiently. We formalize both models under a common hardware abstraction and characterize their achievable rate-fidelity regions, yielding a benchmarking methodology that translates hardware and protocol parameters into network-level performance. Numerical evaluation quantifies the rate-fidelity tradeoffs of both models, identifies operating regions in which each architecture dominates, and shows how hardware and protocol knobs can be tuned to meet application-specific targets.

quant-ph

Quickest Change Detection in Discrete-Time in Presence of a Covert Adversary

We study the problem of covert quickest change detection in a discrete-time setting, where a sequence of observations undergoes a distributional change at an unknown time. Unlike classical formulations, we consider a covert adversary who has knowledge of the detector's false alarm constraint parameter $γ$ and selects a stationary post-change distribution that depends on it, seeking to remain undetected for as long as possible. Building on the theoretical foundations of the CuSum procedure, we rigorously characterize the asymptotic behavior of the average detection delay (ADD) and the average time to false alarm (AT2FA) when the post-change distribution converges to the pre-change distribution as $γ\to \infty$. Our analysis establishes exact asymptotic expressions for these quantities, extending and refining classical results that no longer hold in this regime. We identify the critical scaling laws governing covert behavior and derive explicit conditions under which an adversary can maintain covertness, defined by ADD = $Θ(γ)$, whereas in the classical setting, ADD grows only as $\mathcal{O}(\log γ)$. In particular, for Gaussian and Exponential models under adversarial perturbations of their respective parameters, we asymptotically characterize ADD as a function of the Kullback--Leibler divergence between the pre- and post-change distributions and $γ$.

cs.IT

To Offload or Not To Offload: Model-driven Comparison of Edge-native and On-device Processing In the Era of Accelerators

Computational offloading is a promising approach for overcoming resource constraints on client devices by moving some or all of an application's computations to remote servers. With the advent of specialized hardware accelerators, client devices can now perform fast local processing of specific tasks, such as machine learning inference, reducing the need for offloading computations. However, edge servers with accelerators also offer faster processing for offloaded tasks than was previously possible. In this paper, we present an analytic and experimental comparison of on-device processing and edge offloading for a range of accelerator, network, multi-tenant, and application workload scenarios, with the goal of understanding when to use local on-device processing and when to offload computations. We present models that leverage analytical queuing results to derive explainable closed-form equations for the expected end-to-end latencies of both strategies, which yield precise, quantitative performance crossover predictions that guide adaptive offloading. We experimentally validate our models across a range of scenarios and show that they achieve a mean absolute percentage error of 2.2% compared to observed latencies. We further use our models to develop a resource manager for adaptive offloading and show its effectiveness under variable network conditions and dynamic multi-tenant edge settings.

cs.DC

Benchmarking Quantum Data Center Architectures: A Performance and Scalability Perspective

Scalable distributed quantum computing (DQC) has motivated the design of multiple quantum data-center (QDC) architectures that overcome the limitations of single quantum processors through modular interconnection. While these architectures adopt fundamentally different design philosophies, their relative performance under realistic quantum hardware constraints remains poorly understood. In this paper, we present a systematic benchmarking study of four representative QDC architectures-QFly, BCube, Clos, and Fat-Tree-quantifying their impact on distributed quantum circuit execution latency, resource contention, and scalability. Focusing on quantum-specific effects absent from classical data-center evaluations, we analyze how optical-loss-induced Einstein-Podolsky-Rosen (EPR) pair generation delays, coherence-limited entanglement retry windows, and contention from teleportation-based non-local gates shape end-to-end execution performance. Across diverse circuit workloads, we evaluate how architectural properties such as path diversity and path length, and shared BSM (Bell State Measurement) resources interact with optical-switch insertion loss and reconfiguration delay. Our results show that distributed quantum performance is jointly shaped by topology, scheduling policies, and physical-layer parameters, and that these factors interact in nontrivial ways. Together, these insights provide quantitative guidance for the design of scalable and high-performance quantum data-center architectures for DQC.

quant-ph

Noncooperative Quantum Networks

Existing protocols for quantum communication networks usually assume an initial allocation of quantum entanglement resources, which are then manipulated through local operations and classical communication (LOCC) to establish high-fidelity entanglement between distant parties. It is generally held that the resulting fidelity would increase monotonically with the entanglement budget. Here, we show that for noncooperative LOCC protocols, the resulting fidelity may decrease as more entanglement is added to a network with non-pure states. This effect results from a quantum analog of selfish routing and constitutes a potential obstacle to the optimal use of resources in large quantum networks.

quant-ph

Scheduling in Quantum Satellite Networks: Fairness and Performance Optimization

Quantum satellite networks offer a promising solution for achieving long-distance quantum communication by enabling entanglement distribution across global scales. This work formulates and solves the quantum satellite network scheduling problem by optimizing satellite-to-ground station pair assignments under realistic system and environmental constraints. Our framework accounts for limited satellite and ground station resources, fairness, entanglement fidelity thresholds, and real world non-idealities including atmospheric losses, weather and background noise. In addition, we incorporate the complexities of multi-satellite relays enabled via inter-satellite links. We propose an integer linear programming (ILP) based optimization framework that supports multiple scheduling objectives, allowing us to analyze tradeoffs between maximizing total entanglement distribution rate and ensuring fairness across ground station pairs. Our framework can also be used as a benchmark tool to measure the performance of other potential transmission scheduling policies.

quant-ph

Opportunistic Scheduling for Single-downlink Satellite-based Quantum Key Distribution

Satellite-based quantum key distribution (QKD), leveraging low photon loss in free-space quantum communication, is widely regarded as one of the most promising directions to achieve global-scale QKD. With a constellation of satellites and a set of ground stations in a satellite-based QKD system, how to schedule satellites to achieve efficient QKD is an important problem. This problem has been studied in the dual-downlink architecture, where each satellite distributes pairs of entanglements to two ground stations simultaneously. However, it has not been studied in the single downlink architecture, where satellites create keys with each individual ground station, and then serve as trusted nodes to create keys between pairs of ground stations. While the single downlink architecture provides weaker security in that the satellites need to be trusted, it has many advantages, including the potential of achieving significantly higher key rates, and generating keys between pairs of ground stations that are far away from each other and cannot be served using the dual-downlink architecture. In this paper, we propose a novel opportunistic approach for satellite scheduling that accounts for fairness among the ground station pairs, while taking advantage of the dynamic satellite channels to maximize the system performance. We evaluate this approach in a wide range of settings and demonstrate that it provides the best tradeoffs in terms of total and minimum key rates across the ground station pairs. Our evaluation also highlights the importance of considering seasonal effects and cloud coverage in evaluating satellite-based QKD systems. In addition, we show different tradeoffs in global and regional QKD systems.

quant-ph

Distributing Graph States Across Quantum Networks

Graph states are an important class of multipartite entangled quantum states. We propose a new approach for distributing graph states across a quantum network. We consider a quantum network consisting of nodes-quantum computers within which local operations are free-and EPR pairs shared between nodes that can continually be generated. We prove upper bounds for our approach on the number of EPR pairs consumed, number of timesteps taken, and amount of classical communication required, all of which are equal to or better than that of prior work. We also reduce the problem of minimizing the number of timesteps taken to distribute a graph state using our approach to a network flow problem having polynomial time complexity.

quant-ph