arXiv subjects

Ana Silva

Publications and source records attributed to Ana Silva.

At least 19 recordsLinked to original sources

arXiv2026

g-tensor Optimization in Ge/SiGe Quantum Dots

Planar germanium heterostructures hosting hole-spin qubits are among the leading platforms for scalable semiconductor-based quantum computing. Yet, device performance is hindered by significant quantum dot variability, which leads to uncertainty in qubit energy levels and random orientations of the spin quantization axis. Tailored control of the g-tensor offers a strategy to overcome these limitations and achieve more reliable qubit operations. Here, we introduce a flexible optimization framework for engineering g-tensor properties. As a benchmark, we numerically obtain the optimal reshaping of the out-of-plane potential in a SiGe-Ge-SiGe quantum well to suppress the in-plane g-tensor components and realize the recently proposed gapless single-spin qubit encoding. This reshaping is achieved through heterostructure engineering, specifically by adjusting the silicon concentration within the quantum well, though the framework remains readily adaptable to alternative design objectives. Our results provide practical design principles for improving the tunability of the spin response, paving the way towards large-scale germanium-based quantum computers.

cond-mat.mes-hall↗

arXiv2025

Every Benchmark All at Once

As quantum technology matures, the efficient benchmarking of quantum devices remains a key challenge. Although sample-efficient, information-theoretic benchmarking techniques have recently been proposed, there is still a gap in adapting these techniques to contemporary experiments. In this work, we re-formulate five of the most common randomized benchmarking techniques in the modern language of the gate-set shadow tomography. This reformulation brings along several concrete advantages over conventional formulations of randomized benchmarking. For standard and interleaved randomized benchmarking, we can reduce the required gate-set size and, using median-of-means estimators, also reduce the required experimental sample size. For simultaneous and correlated randomized benchmarking, we can additionally reconstruct the Pauli-terms of correlated noise channels using additional post-processing of only a single experimental dataset. We also present a minimal approach to extract leakage errors. Our work provides a clear avenue for comprehensive, reliable, and convenient benchmarking of quantum devices, with all methods formulated under a single umbrella technique that can be easily adapted to a range of experimental quantities and gate sets.

quant-ph↗

arXiv2025

Matching and Edge Cover in Temporal Graphs

Temporal graphs are a special class of graphs for which a temporal component is added to edges, that is, each edge possesses a set of times at which it is available and can be traversed. Many classical problems on graphs can be translated to temporal graphs, and the results may differ. In this paper, we define the Temporal Edge Cover and Temporal Matching problems and show that they are NP-complete even when fixing the lifetime or when the underlying graph is a tree. We then describe two FPT algorithms, with parameters lifetime and treewidth, that solve the two problems. We also find lower bounds for the approximation of the two problems and give two approximation algorithms which match these bounds. Finally, we discuss the differences between the problems in the temporal and the static framework.

cs.DS↗

arXiv2025

Path integral approach for predicting the diffusive statistics of geometric phases in chaotic Hamiltonian systems

From the integer quantum Hall effect, to swimming at low Reynolds number, geometric phases arise in the description of many different physical systems. In many of these systems the temporal evolution prescribed by the geometric phase can be directly measured by an external observer. By definition, geometric phases rely on the history of the system's internal dynamics, and so their measurement is directly related to temporal correlations in the system. They, thus, provide a sensitive tool for studying chaotic Hamiltonian systems. In this work we present a toy model consisting of an autonomous, low-dimensional, chaotic Hamiltonian system designed to have a simple planar internal state space, and a single geometric phase. The diffusive phase dynamics in the highly chaotic regime is thus governed by the loop statistics of planar random walks. We show that the na\"ive loop statistics result in ballistic behavior of the phase, and recover the diffusive behavior by considering a bounded shape space, or a quadratic confining potential.

nlin.CD↗

arXiv2025

Temporal Cycle Detection and Acyclic Temporization

In directed graphs, a cycle can be seen as a structure that allows its vertices to loop back to themselves, or as a structure that allows pairs of vertices to reach each other through distinct paths. We extend these concepts to temporal graph theory, resulting in multiple interesting definitions of a "temporal cycle". For each of these, we consider the problems of Cycle Detection and Acyclic Temporization. For the former, we are given an input temporal digraph, and we want to decide whether it contains a temporal cycle. Regarding the latter, for a given input (static) digraph, we want to time the arcs such that no temporal cycle exists in the resulting temporal digraph. We're also interested in Acyclic Temporization where we bound the lifetime of the resulting temporal digraph. Multiple results are presented, including polynomial and fixed-parameter tractable search algorithms, polynomial-time reductions from 3-SAT and Not All Equal 3-SAT, and temporizations resulting from arbitrary vertex orderings which cover (almost) all cases.

cs.CC↗

arXiv2024

Hands-on Introduction to Randomized Benchmarking

Randomized benchmarking techniques have been an essential tool for assessing the performance of contemporary quantum devices. The goal of this tutorial is to provide a pedagogical, self-contained, introduction to randomized benchmarking. With this intention, every chapter is also supplemented with an accompanying Python notebook, illustrating the essential steps of each protocol. In addition, we also introduce more recent trends in the field that bridge shadow tomography with randomized benchmarking, namely through the gate-set shadow protocol.

quant-ph↗

arXiv2024

On the parameterized complexity of computing good edge-labelings

A good edge-labeling (gel for short) of a graph $G$ is a function $\lambda: E(G) \to \mathbb{R}$ such that, for any ordered pair of vertices $(x, y)$ of $G$, there do not exist two distinct increasing paths from $x$ to $y$, where ``increasing'' means that the sequence of labels is non-decreasing. This notion was introduced by Bermond et al. [Theor. Comput. Sci. 2013] motivated by practical applications arising from routing and wavelength assignment problems in optical networks. Prompted by the lack of algorithmic results about the problem of deciding whether an input graph admits a gel, called GEL, we initiate its study from the viewpoint of parameterized complexity. We first introduce the natural version of GEL where one wants to use at most $c$ distinct labels, which we call $c$-GEL, and we prove that it is NP-complete for every $c \geq 2$ on very restricted instances. We then provide several positive results, starting with simple polynomial kernels for GEL and $c$-\GEL parameterized by neighborhood diversity or vertex cover. As one of our main technical contributions, we present an FPT algorithm for GEL parameterized by the size of a modulator to a forest of stars, based on a novel approach via a 2-SAT formulation which we believe to be of independent interest. We also present FPT algorithms based on dynamic programming for $c$-GEL parameterized by treewidth and $c$, and for GEL parameterized by treewidth and the maximum degree. Finally, we answer positively a question of Bermond et al. [Theor. Comput. Sci. 2013] by proving the NP-completeness of a problem strongly related to GEL, namely that of deciding whether an input graph admits a so-called UPP-orientation.

cs.DS↗

arXiv2023

On Computing Optimal Temporal Branchings and Spanning Subgraphs

In this work we extend the concept of out/in-branchings spanning the vertices of a digraph (also called directed spanning trees) to temporal graphs, which are digraphs where arcs are available only at prescribed times. While the literature has focused on minimum weight/earliest arrival time Temporal Out-Branchings (TOB), we solve the problem for other optimization criteria. In particular, we define five different types of TOBs based on the optimization of the travel duration (FT-TOB), of the departure time (LD-TOB), of the number of transfers (MT-TOB), of the total waiting time (MW-TOB), and of the travelling time (ST-TOB). For D$\in \{$LD,MT,ST$\}$, we provide necessary and sufficient conditions for the existence of a spanning D-TOB; when it does not exist, we characterize the maximum vertex set that a D-TOB can span. Moreover, we provide a log linear algorithm for computing such branchings. For D$\in \{$FT,MW$\}$, we prove that deciding the existence of a spanning D-TOB is NP-complete; we also show that the same results hold for optimal temporal in-branchings. Finally, we investigate the related problem of computing a spanning temporal subgraph with the minimum number of arcs and optimizing a chosen criterion D. This problem turns out to be NP-hard for any D. The hardness results are quite surprising, as computing optimal paths between nodes can always be done in polynomial time.

cs.DS↗

arXiv2023

On Computing Large Temporal (Unilateral) Connected Components

A temporal (directed) graph is a graph whose edges are available only at specific times during its lifetime, $\tau$. Paths are sequences of adjacent edges whose appearing times are either strictly increasing or non-strictly increasingly (i.e., non-decreasing) depending on the scenario. Then, the classical concept of connected components and also of unilateral connected components in static graphs and digraphs naturally extends to the temporal setting. In this paper, we answer to the following fundamental questions in temporal graphs. (i) What is the complexity of deciding the existence of a component of size $k$, parameterized by $\tau$, by $k$, and by $k+\tau$? We show that this question has a different answer depending on the considered definition of component and whether the temporal graph is directed or undirected. (ii) What is the minimum running time required to check whether a subset of vertices are pairwise reachable? A quadratic algorithm is known but, contrary to the static case, we show that a better running time is unlikely unless SETH fails. (iii) Is it possible to verify whether a subset of vertices is a component in polynomial time? We show that depending on the definition of temporal component this test is NP-complete.

math.CO↗

arXiv2023

Snapshot disjointness in temporal graphs

In the study of temporal graphs, only paths respecting the flow of time are relevant. In this context, many concepts of walks disjointness were proposed over the years, and the validity of Menger's Theorem, as well as the complexity of related problems, has been investigated. In this paper, we introduce and investigate a type of disjointness that is only time dependent. Two walks are said to be snapshot disjoint if they are not active in a same snapshot (also called timestep). The related paths and cut problems are then defined and proved to be W[1]-hard and XP-time solvable when parameterized by the size of the solution. Additionally, in the light of the definition of Mengerian graphs given by Kempe, Kleinberg and Kumar in their seminal paper (STOC'2000), we define a Mengerian graph for time as a graph $G$ that cannot form an example where Menger's Theorem does not hold in the context of snapshot disjointness. We then give a characterization in terms of forbidden structures and provide a polynomial-time recognition algorithm. Finally, we also prove that, given a temporal graph $(G,\lambda)$ and a pair of vertices $s,z\in V(G)$, deciding whether at most $h$ multiedges can separate $s$ from $z$ is NP-complete.

cs.DM↗

arXiv2022

Mengerian graphs: characterization and recognition

A temporal graph ${\cal G}$ is a graph that changes with time. More specifically, it is a pair $(G, \lambda)$ where $G$ is a graph and $\lambda$ is a function on the edges of $G$ that describes when each edge $e\in E(G)$ is active. Given vertices $s,t\in V(G)$, a temporal $s,t$-path is a path in $G$ that traverses edges in non-decreasing time; and if $s,t$ are non-adjacent, then a temporal $s,t$-cut is a subset $S\subseteq V(G)\setminus\{s,t\}$ whose removal destroys all temporal $s,t$-paths. It is known that Menger's Theorem does not hold on this context, i.e., that the maximum number of internally vertex disjoint temporal $s,t$-paths is not necessarily equal to the minimum size of a temporal $s,t$-cut. In a seminal paper, Kempe, Kleinberg and Kumar (STOC'2000) defined a graph $G$ to be Mengerian if equality holds on $(G,\lambda)$ for every function $\lambda$. They then proved that, if each edge is allowed to be active only once in $(G,\lambda)$, then $G$ is Mengerian if and only if $G$ has no gem as topological minor. In this paper, we generalize their result by allowing edges to be active more than once, giving a characterization also in terms of forbidden structures. We additionally provide a polynomial time recognition algorithm.

math.CO↗

arXiv2022

Menger's Theorem for Temporal Paths (Not Walks)

A (directed) temporal graph is a (directed) graph whose edges are available only at specific times during its (discretized) lifetime $\tau$. In this setting, we ask that walks respect the temporal aspect by defining $\textit{temporal walks}$ as sequences of adjacent edges whose appearing times are either strictly increasing or non-decreasing (here called non-strict), depending on the scenario. The notion of disjointness between walks is also not unique: two walks are $\textit{vertex-disjoint}$ if they do not share a vertex, and are $\textit{temporal vertex-disjoint}$ if they do not share a vertex at the same time. Thus a $\textit{temporal path}$ is a temporal walk where no repetition of vertices, at any time, is allowed. This is an important distinction that separates the interpretation of our results from those of previous works on the topic. In this paper we focus on various questions regarding connectivity (maximum number of disjoint paths) and robustness (minimum size of a cut) between a given pair of vertices. Such problems are related to the well-known Menger's Theorem on static graphs. We explore all possible interpretations of such problems, according to vertex and temporal vertex-disjointness, strict and non-strict temporal paths, and directed and undirected temporal graphs. We present a number of new results, the main of which states that Menger's Theorem holds when the maximum number of temporal vertex-disjoint temporal paths is equal to 1.

cs.DM↗

arXiv2022

MaxCut on Permutation Graphs is NP-complete

In this paper, we prove that the MaxCut problem is NP-complete on permutation graphs, settling a long-standing open problem that appeared in the 1985 column of the "Ongoing Guide to NP-completeness" by David S. Johnson.

cs.CC↗

arXiv2021

Revising Johnson's table for the 21st century

What does it mean today to study a problem from a computational point of view? We focus on parameterized complexity and on Column 16 "Graph Restrictions and Their Effect" of D. S. Johnson's Ongoing guide, where several puzzles were proposed in a summary table with 30 graph classes as rows and 11 problems as columns. Several of the 330 entries remain unclassified into Polynomial or NP-complete after 35 years. We provide a full dichotomy for the Steiner Tree column by proving that the problem is NP-complete when restricted to Undirected Path graphs. We revise Johnson's summary table according to the granularity provided by the parameterized complexity for NP-complete problems.

cs.CC↗

arXiv2021

Explicit, time-reversible and symplectic integrator for Hamiltonians in isotropic uniformly curved geometries

The kinetic term of the $N$-body Hamiltonian system defined on the surface of the sphere is non-separable. As a result, standard explicit symplectic integrators are inapplicable. We exploit an underlying hierarchy in the structure of the kinetic term to construct an explicit time-reversible symplectic scheme of second order. We use iterative applications of the method to construct a fourth order scheme and demonstrate its efficiency.

math.NA↗

arXiv2021

Königsberg Sightseeing: Eulerian Walks in Temporal Graphs

An Eulerian walk (or Eulerian trail) is a walk (resp. trail) that visits every edge of a graph $G$ at least (resp. exactly) once. This notion was first discussed by Leonhard Euler while solving the famous Seven Bridges of Königsberg problem in 1736. What if Euler had to take a bus? In a temporal graph $(G,λ)$, with $λ: E(G)\to 2^{[τ]}$, an edge $e\in E(G)$ is available only at the times specified by $λ(e)\subseteq [τ]$, in the same way the connections of the public transportation network of a city or of sightseeing tours are available only at scheduled times. In this scenario, even though several translations of Eulerian trails and walks are possible in temporal terms, only a very particular variation has been exploited in the literature, specifically for infinite dynamic networks (Orlin, 1984). In this paper, we deal with temporal walks, local trails, and trails, respectively referring to edge traversal with no constraints, constrained to not repeating the same edge in a single timestamp, and constrained to never repeating the same edge throughout the entire traversal. We show that, if the edges are always available, then deciding whether $(G,λ)$ has a temporal walk or trail is polynomial, while deciding whether it has a local trail is NP-complete even if it has lifetime~2. In contrast, in the general case, solving any of these problems is NP-complete, even under very strict hypothesis.

cs.DM↗

arXiv2020

Topological states between inversion symmetric atomic insulators

One of the hallmarks of topological insulators is the correspondence between the value of its bulk topological invariant and the number of topologically protected edge modes observed in a finite-sized sample. This bulk-boundary correspondence has been well-tested for strong topological invariants, and forms the basis for all proposed technological applications of topology. Here, we report that a group of weak topological invariants, which depend only on the symmetries of the atomic lattice, also induces a particular type of bulk-boundary correspondence. It predicts the presence or absence of states localised at the interface between two inversion-symmetric band insulators with trivial values for their strong invariants, based on the space group representation of the bands on either side of the junction. We show that this corresponds with symmetry-based classifications of topological materials. The interface modes are protected by the combination of band topology and symmetry of the interface, and may be used for topological transport and signal manipulation in heterojunction-based devices.

cond-mat.mes-hall↗

arXiv2020

Maximum cut on interval graphs of interval count four is NP-complete

The computational complexity of the MaxCut problem restricted to interval graphs has been open since the 80's, being one of the problems proposed by Johnson on his Ongoing Guide to NP-completeness, and has been settled as NP-complete only recently by Adhikary, Bose, Mukherjee and Roy. On the other hand, many flawed proofs of polynomiality for MaxCut on the more restrictive class of unit/proper interval graphs (or graphs with interval count 1) have been presented along the years, and the classification of the problem is still unknown. In this paper, we present the first NP-completeness proof for MaxCut when restricted to interval graphs with bounded interval count, namely graphs with interval count 4.

cs.CC↗