-
Approximating Maximum Matching Requires Almost Quadratic Time
Authors:
Soheil Behnezhad,
Mohammad Roghani,
Aviad Rubinstein
Abstract:
We study algorithms for estimating the size of maximum matching. This problem has been subject to extensive research. For $n$-vertex graphs, Bhattacharya, Kiss, and Saranurak [FOCS'23] (BKS) showed that an estimate that is within $\varepsilon n$ of the optimal solution can be achieved in $n^{2-Ω_\varepsilon(1)}$ time, where $n$ is the number of vertices. While this is subquadratic in $n$ for any f…
▽ More
We study algorithms for estimating the size of maximum matching. This problem has been subject to extensive research. For $n$-vertex graphs, Bhattacharya, Kiss, and Saranurak [FOCS'23] (BKS) showed that an estimate that is within $\varepsilon n$ of the optimal solution can be achieved in $n^{2-Ω_\varepsilon(1)}$ time, where $n$ is the number of vertices. While this is subquadratic in $n$ for any fixed $\varepsilon > 0$, it gets closer and closer to the trivial $Θ(n^2)$ time algorithm that reads the entire input as $\varepsilon$ is made smaller and smaller.
In this work, we close this gap and show that the algorithm of BKS is close to optimal. In particular, we prove that for any fixed $δ> 0$, there is another fixed $\varepsilon = \varepsilon(δ) > 0$ such that estimating the size of maximum matching within an additive error of $\varepsilon n$ requires $Ω(n^{2-δ})$ time in the adjacency list model.
△ Less
Submitted 12 June, 2024;
originally announced June 2024.
-
Bipartite Matching in Massive Graphs: A Tight Analysis of EDCS
Authors:
Amir Azarmehr,
Soheil Behnezhad,
Mohammad Roghani
Abstract:
Maximum matching is one of the most fundamental combinatorial optimization problems with applications in various contexts such as balanced clustering, data mining, resource allocation, and online advertisement. In many of these applications, the input graph is massive. The sheer size of these inputs makes it impossible to store the whole graph in the memory of a single machine and process it there…
▽ More
Maximum matching is one of the most fundamental combinatorial optimization problems with applications in various contexts such as balanced clustering, data mining, resource allocation, and online advertisement. In many of these applications, the input graph is massive. The sheer size of these inputs makes it impossible to store the whole graph in the memory of a single machine and process it there. Graph sparsification has been an extremely powerful tool to alleviate this problem. In this paper, we study a highly successful and versatile sparsifier for the matching problem: the *edge-degree constrained subgraph (EDCS)* introduced first by Bernstein and Stein [ICALP'15].
The EDCS has a parameter $β\geq 2$ which controls the density of the sparsifier. It has been shown through various proofs in the literature that by picking a subgraph with $O(nβ)$ edges, the EDCS includes a matching of size at least $2/3-O(1/β)$ times the maximum matching size. As such, by increasing $β$ the approximation ratio of EDCS gets closer and closer to $2/3$.
In this paper, we propose a new approach for analyzing the approximation ratio of EDCS. Our analysis is *tight* for any value of $β$. Namely, we pinpoint the precise approximation ratio of EDCS for any sparsity parameter $β$. Our analysis reveals that one does not necessarily need to increase $β$ to improve approximation, as suggested by previous analysis. In particular, the best choice turns out to be $β= 6$, which achieves an approximation ratio of $.677$! This is arguably surprising as it is even better than $2/3 \sim .666$, the bound that was widely believed to be the limit for EDCS.
△ Less
Submitted 11 June, 2024;
originally announced June 2024.
-
Local Computation Algorithms for Maximum Matching: New Lower Bounds
Authors:
Soheil Behnezhad,
Mohammad Roghani,
Aviad Rubinstein
Abstract:
We study local computation algorithms (LCA) for maximum matching. An LCA does not return its output entirely, but reveals parts of it upon query. For matchings, each query is a vertex $v$; the LCA should return whether $v$ is matched -- and if so to which neighbor -- while spending a small time per query.
In this paper, we prove that any LCA that computes a matching that is at most an additive o…
▽ More
We study local computation algorithms (LCA) for maximum matching. An LCA does not return its output entirely, but reveals parts of it upon query. For matchings, each query is a vertex $v$; the LCA should return whether $v$ is matched -- and if so to which neighbor -- while spending a small time per query.
In this paper, we prove that any LCA that computes a matching that is at most an additive of $εn$ smaller than the maximum matching in $n$-vertex graphs of maximum degree $Δ$ must take at least $Δ^{Ω(1/\varepsilon)}$ time. This comes close to the existing upper bounds that take $(Δ/ε)^{O(1/ε^2)} polylog(n)$ time.
In terms of sublinear time algorithms, our techniques imply that any algorithm that estimates the size of maximum matching up to an additive error of $εn$ must take $Δ^{Ω(1/ε)}$ time. This negatively resolves a decade old open problem of the area (see Open Problem 39 of sublinear.info) on whether such estimates can be achieved in $poly(Δ/ε)$ time.
△ Less
Submitted 15 November, 2023;
originally announced November 2023.
-
Fully Dynamic Matching: $(2-\sqrt{2})$-Approximation in Polylog Update Time
Authors:
Amir Azarmehr,
Soheil Behnezhad,
Mohammad Roghani
Abstract:
We study maximum matchings in fully dynamic graphs, which are graphs that undergo both edge insertions and deletions. Our focus is on algorithms that estimate the size of maximum matching after each update while spending a small time.
An important question studied extensively is the best approximation achievable via algorithms that only spend $\text{poly}(\log n)$ time per update, where $n$ is t…
▽ More
We study maximum matchings in fully dynamic graphs, which are graphs that undergo both edge insertions and deletions. Our focus is on algorithms that estimate the size of maximum matching after each update while spending a small time.
An important question studied extensively is the best approximation achievable via algorithms that only spend $\text{poly}(\log n)$ time per update, where $n$ is the number of vertices. The current best bound is a $(1/2+\varepsilon_0)$-approximation for a small constant $\varepsilon_0 > 0$, due to recent works of Behnezhad [SODA'23] ($\varepsilon_0 \sim 0.001$) and Bhattacharya, Kiss, Saranurak, Wajc [SODA'23] ($\varepsilon_0 \sim 0.006$) who broke the long-standing 1/2-approximation barrier. These works also showed that for any fixed $\varepsilon > 0$, the approximation can be further improved to $(2-\sqrt{2}-\varepsilon) \sim .585$ for bipartite graphs, leaving a huge gap between general and bipartite graphs.
In this work, we close this gap. We show that for any fixed $\varepsilon > 0$, a $(2-\sqrt{2}-\varepsilon)$ approximation can be maintained in $\text{poly}(\log n)$ time per update even in general graphs. Our techniques also lead to the same approximation for general graphs in two passes of the semi-streaming setting, removing a similar gap in that setting.
△ Less
Submitted 17 July, 2023;
originally announced July 2023.
-
Sublinear Algorithms for TSP via Path Covers
Authors:
Soheil Behnezhad,
Mohammad Roghani,
Aviad Rubinstein,
Amin Saberi
Abstract:
We study sublinear time algorithms for the traveling salesman problem (TSP). First, we focus on the closely related {\em maximum path cover} problem, which asks for a collection of vertex disjoint paths that include the maximum number of edges. We show that for any fixed $ε> 0$, there is an algorithm that $(1/2 - ε)$-approximates the maximum path cover size of an $n$-vertex graph in…
▽ More
We study sublinear time algorithms for the traveling salesman problem (TSP). First, we focus on the closely related {\em maximum path cover} problem, which asks for a collection of vertex disjoint paths that include the maximum number of edges. We show that for any fixed $ε> 0$, there is an algorithm that $(1/2 - ε)$-approximates the maximum path cover size of an $n$-vertex graph in $\widetilde{O}(n)$ time. This improves upon a $(3/8-ε)$-approximate $\widetilde{O}(n \sqrt{n})$-time algorithm of Chen, Kannan, and Khanna [ICALP'20].
Equipped with our path cover algorithm, we give an $\widetilde{O}(n)$ time algorithm that estimates the cost of $(1,2)$-TSP within a factor of $(1.5+ε)$ which is an improvement over a folklore $(1.75 + ε)$-approximate $\widetilde{O}(n)$-time algorithm, as well as a $(1.625+ε)$-approximate $\widetilde{O}(n\sqrt{n})$-time algorithm of [CHK ICALP'20]. For graphic TSP, we present an $\widetilde{O}(n)$ algorithm that estimates the cost of graphic TSP within a factor of $1.83$ which is an improvement over a $1.92$-approximate $\widetilde{O}(n)$ time algorithm due to [CHK ICALP'20, Behnezhad FOCS'21]. We show that the approximation can be further improved to $1.66$ using $n^{2-Ω(1)}$ time.
All of our $\widetilde{O}(n)$ time algorithms are information-theoretically time-optimal up to poly log n factors. Additionally, we show that our approximation guarantees for path cover and $(1,2)$-TSP hit a natural barrier: We show better approximations require better sublinear time algorithms for the well-studied maximum matching problem.
△ Less
Submitted 28 April, 2024; v1 submitted 12 January, 2023;
originally announced January 2023.
-
Sublinear Time Algorithms and Complexity of Approximate Maximum Matching
Authors:
Soheil Behnezhad,
Mohammad Roghani,
Aviad Rubinstein
Abstract:
Sublinear time algorithms for approximating maximum matching size have long been studied. Much of the progress over the last two decades on this problem has been on the algorithmic side. For instance, an algorithm of Behnezhad [FOCS'21] obtains a 1/2-approximation in $\tilde{O}(n)$ time for $n$-vertex graphs. A more recent algorithm by Behnezhad, Roghani, Rubinstein, and Saberi [SODA'23] obtains a…
▽ More
Sublinear time algorithms for approximating maximum matching size have long been studied. Much of the progress over the last two decades on this problem has been on the algorithmic side. For instance, an algorithm of Behnezhad [FOCS'21] obtains a 1/2-approximation in $\tilde{O}(n)$ time for $n$-vertex graphs. A more recent algorithm by Behnezhad, Roghani, Rubinstein, and Saberi [SODA'23] obtains a slightly-better-than-1/2 approximation in $O(n^{1+ε})$ time. On the lower bound side, Parnas and Ron [TCS'07] showed 15 years ago that obtaining any constant approximation of maximum matching size requires $Ω(n)$ time. Proving any super-linear in $n$ lower bound, even for $(1-ε)$-approximations, has remained elusive since then.
In this paper, we prove the first super-linear in $n$ lower bound for this problem. We show that at least $n^{1.2 - o(1)}$ queries in the adjacency list model are needed for obtaining a $(\frac{2}{3} + Ω(1))$-approximation of maximum matching size. This holds even if the graph is bipartite and is promised to have a matching of size $Θ(n)$. Our lower bound argument builds on techniques such as correlation decay that to our knowledge have not been used before in proving sublinear time lower bounds.
We complement our lower bound by presenting two algorithms that run in strongly sublinear time of $n^{2-Ω(1)}$. The first algorithm achieves a $(\frac{2}{3}-ε)$-approximation; this significantly improves prior close-to-1/2 approximations. Our second algorithm obtains an even better approximation factor of $(\frac{2}{3}+Ω(1))$ for bipartite graphs. This breaks the prevalent $2/3$-approximation barrier and importantly shows that our $n^{1.2-o(1)}$ time lower bound for $(\frac{2}{3}+Ω(1))$-approximations cannot be improved all the way to $n^{2-o(1)}$.
△ Less
Submitted 28 November, 2022;
originally announced November 2022.
-
Beating Greedy Matching in Sublinear Time
Authors:
Soheil Behnezhad,
Mohammad Roghani,
Aviad Rubinstein,
Amin Saberi
Abstract:
We study sublinear time algorithms for estimating the size of maximum matching in graphs. Our main result is a $(\frac{1}{2}+Ω(1))$-approximation algorithm which can be implemented in $O(n^{1+ε})$ time, where $n$ is the number of vertices and the constant $ε> 0$ can be made arbitrarily small. The best known lower bound for the problem is $Ω(n)$, which holds for any constant approximation.
Existi…
▽ More
We study sublinear time algorithms for estimating the size of maximum matching in graphs. Our main result is a $(\frac{1}{2}+Ω(1))$-approximation algorithm which can be implemented in $O(n^{1+ε})$ time, where $n$ is the number of vertices and the constant $ε> 0$ can be made arbitrarily small. The best known lower bound for the problem is $Ω(n)$, which holds for any constant approximation.
Existing algorithms either obtain the greedy bound of $\frac{1}{2}$-approximation [Behnezhad FOCS'21], or require some assumption on the maximum degree to run in $o(n^2)$-time [Yoshida, Yamamoto, and Ito STOC'09]. We improve over these by designing a less "adaptive" augmentation algorithm for maximum matching that might be of independent interest.
△ Less
Submitted 27 June, 2022;
originally announced June 2022.
-
Improved Online Contention Resolution for Matchings and Applications to the Gig Economy
Authors:
Tristan Pollner,
Mohammad Roghani,
Amin Saberi,
David Wajc
Abstract:
Motivated by applications in the gig economy, we study approximation algorithms for a \emph{sequential pricing problem}. The input is a bipartite graph $G=(I,J,E)$ between individuals $I$ and jobs $J$. The platform has a value of $v_j$ for matching job $j$ to an individual worker. In order to find a matching, the platform can consider the edges $(i j) \in E$ in any order and make a one-time take-i…
▽ More
Motivated by applications in the gig economy, we study approximation algorithms for a \emph{sequential pricing problem}. The input is a bipartite graph $G=(I,J,E)$ between individuals $I$ and jobs $J$. The platform has a value of $v_j$ for matching job $j$ to an individual worker. In order to find a matching, the platform can consider the edges $(i j) \in E$ in any order and make a one-time take-it-or-leave-it offer of a price $π_{ij} = w$ of its choosing to $i$ for completing $j$. The worker accepts the offer with a known probability $ p_{ijw} $; in this case the job and the worker are irrevocably matched. What is the best way to make offers to maximize revenue and/or social welfare?
The optimal algorithm is known to be NP-hard to compute (even if there is only a single job). With this in mind, we design efficient approximations to the optimal policy via a new Random-Order Online Contention Resolution Scheme (RO-OCRS) for matching. Our main result is a 0.456-balanced RO-OCRS in bipartite graphs and a 0.45-balanced RO-OCRS in general graphs. These algorithms improve on the recent bound of $\frac{1}{2}(1-e^{-2})\approx 0.432$ of [BGMS21], and improve on the best known lower bounds for the correlation gap of matching, despite applying to a significantly more restrictive setting. As a consequence of our OCRS results, we obtain a $0.456$-approximate algorithm for the sequential pricing problem. We further extend our results to settings where workers can only be contacted a limited number of times, and show how to achieve improved results for this problem, via improved algorithms for the well-studied stochastic probing problem.
△ Less
Submitted 17 May, 2022;
originally announced May 2022.
-
Sequential importance sampling for estimating expectations over the space of perfect matchings
Authors:
Yeganeh Alimohammadi,
Persi Diaconis,
Mohammad Roghani,
Amin Saberi
Abstract:
This paper makes three contributions to estimating the number of perfect matching in bipartite graphs. First, we prove that the popular sequential importance sampling algorithm works in polynomial time for dense bipartite graphs. More carefully, our algorithm gives a $(1\pmε)$-approximation for the number of perfect matchings of a $λ$-dense bipartite graph, using $O(n^{\frac{1-2λ}λε^{-2}})$ sample…
▽ More
This paper makes three contributions to estimating the number of perfect matching in bipartite graphs. First, we prove that the popular sequential importance sampling algorithm works in polynomial time for dense bipartite graphs. More carefully, our algorithm gives a $(1\pmε)$-approximation for the number of perfect matchings of a $λ$-dense bipartite graph, using $O(n^{\frac{1-2λ}λε^{-2}})$ samples. With size $n$ on each side and for $\frac{1}{2}>λ>0$, a $λ$-dense bipartite graph has all degrees greater than $(λ+\frac{1}{2})n$.
Second, practical applications of the algorithm require many calls to matching algorithms. A novel preprocessing step is provided which makes significant improvements.
Third, three applications are provided. The first is for counting Latin squares, the second is a practical way of computing the greedy algorithm for a card-guessing game with feedback, and the third is for stochastic block models. In all three examples, sequential importance sampling allows treating practical problems of reasonably large sizes.
△ Less
Submitted 5 July, 2022; v1 submitted 2 July, 2021;
originally announced July 2021.
-
Beating the Folklore Algorithm for Dynamic Matching
Authors:
Mohammad Roghani,
Amin Saberi,
David Wajc
Abstract:
The maximum matching problem in dynamic graphs subject to edge updates (insertions and deletions) has received much attention over the last few years; a multitude of approximation/time tradeoffs were obtained, improving upon the folklore algorithm, which maintains a maximal (and hence $2$-approximate) matching in $O(n)$ worst-case update time in $n$-node graphs.
We present the first deterministi…
▽ More
The maximum matching problem in dynamic graphs subject to edge updates (insertions and deletions) has received much attention over the last few years; a multitude of approximation/time tradeoffs were obtained, improving upon the folklore algorithm, which maintains a maximal (and hence $2$-approximate) matching in $O(n)$ worst-case update time in $n$-node graphs.
We present the first deterministic algorithm which outperforms the folklore algorithm in terms of {\em both} approximation ratio and worst-case update time. Specifically, we give a $(2-Ω(1))$-approximate algorithm with $O(m^{3/8})=O(n^{3/4})$ worst-case update time in $n$-node, $m$-edge graphs. For sufficiently small constant $ε>0$, no deterministic $(2+ε)$-approximate algorithm with worst-case update time $O(n^{0.99})$ was known. Our second result is the first deterministic $(2+ε)$-approximate weighted matching algorithm with $O_ε(1)\cdot O(\sqrt[4]{m}) = O_ε(1)\cdot O(\sqrt{n})$ worst-case update time.
Our main technical contributions are threefold: first, we characterize the tight cases for \emph{kernels}, which are the well-studied matching sparsifiers underlying much of the $(2+ε)$-approximate dynamic matching literature. This characterization, together with multiple ideas -- old and new -- underlies our result for breaking the approximation barrier of $2$. Our second technical contribution is the first example of a dynamic matching algorithm whose running time is improved due to improving the \emph{recourse} of other dynamic matching algorithms. Finally, we show how to use dynamic bipartite matching algorithms as black-box subroutines for dynamic matching in general graphs without incurring the natural $\frac{3}{2}$ factor in the approximation ratio which such approaches naturally incur.
△ Less
Submitted 28 November, 2021; v1 submitted 18 June, 2021;
originally announced June 2021.
-
Some Results on Dominating Induced Matchings
Authors:
Saieed Akbari,
Hossein Baktash,
Amin Behjati,
Afshin Behmaram,
Mohammad Roghani
Abstract:
Let $G$ be a graph, a dominating induced matching (DIM) of $G$ is an induced matching that dominates every edge of $G$. In this paper we show that if a graph $G$ has a DIM, then $χ(G) \leqslant 3$. Also, it is shown that if $G$ is a connected graph whose all edges can be partitioned into DIM, then $G$ is either a regular graph or a biregular graph and indeed we characterize all graphs whose edge s…
▽ More
Let $G$ be a graph, a dominating induced matching (DIM) of $G$ is an induced matching that dominates every edge of $G$. In this paper we show that if a graph $G$ has a DIM, then $χ(G) \leqslant 3$. Also, it is shown that if $G$ is a connected graph whose all edges can be partitioned into DIM, then $G$ is either a regular graph or a biregular graph and indeed we characterize all graphs whose edge set can be partitioned into DIM. Also, we prove that if $G$ is an $r$-regular graph of order $n$ whose edges can be partitioned into DIM, then $n$ is divisible by $\binom{2r - 1}{r - 1}$ and $n = \binom{2r - 1}{r - 1}$ if and only if $G$ is the Kneser graph with parameters $r-1$, $2r-1$.
△ Less
Submitted 1 December, 2019;
originally announced December 2019.
-
Complexity of Computing the Anti-Ramsey Numbers for Paths
Authors:
Saeed Akhoondian Amiri,
Alexandru Popa,
Mohammad Roghani,
Golnoosh Shahkarami,
Reza Soltani,
Hossein Vahidi
Abstract:
The anti-Ramsey numbers are a fundamental notion in graph theory, introduced in 1978, by Erd\" os, Simonovits and S\' os. For given graphs $G$ and $H$ the \emph{anti-Ramsey number} $\textrm{ar}(G,H)$ is defined to be the maximum number $k$ such that there exists an assignment of $k$ colors to the edges of $G$ in which every copy of $H$ in $G$ has at least two edges with the same color.
There are…
▽ More
The anti-Ramsey numbers are a fundamental notion in graph theory, introduced in 1978, by Erd\" os, Simonovits and S\' os. For given graphs $G$ and $H$ the \emph{anti-Ramsey number} $\textrm{ar}(G,H)$ is defined to be the maximum number $k$ such that there exists an assignment of $k$ colors to the edges of $G$ in which every copy of $H$ in $G$ has at least two edges with the same color.
There are works on the computational complexity of the problem when $H$ is a star. Along this line of research, we study the complexity of computing the anti-Ramsey number $\textrm{ar}(G,P_k)$, where $P_k$ is a path of length $k$. First, we observe that when $k = Ω(n)$, the problem is hard; hence, the challenging part is the computational complexity of the problem when $k$ is a fixed constant.
We provide a characterization of the problem for paths of constant length. Our first main contribution is to prove that computing $\textrm{ar}(G,P_k)$ for every integer $k>2$ is NP-hard. We obtain this by providing several structural properties of such coloring in graphs. We investigate further and show that approximating $\textrm{ar}(G,P_3)$ to a factor of $n^{-1/2 - ε}$ is hard already in $3$-partite graphs, unless P=NP. We also study the exact complexity of the precolored version and show that there is no subexponential algorithm for the problem unless ETH fails for any fixed constant $k$.
Given the hardness of approximation and parametrization of the problem, it is natural to study the problem on restricted graph families. We introduce the notion of color connected coloring and employing this structural property. We obtain a linear time algorithm to compute $\textrm{ar}(G,P_k)$, for every integer $k$, when the host graph, $G$, is a tree.
△ Less
Submitted 2 July, 2020; v1 submitted 18 October, 2018;
originally announced October 2018.
-
Dissipative Preparation of Entangled Many-Body States with Rydberg Atoms
Authors:
Maryam Roghani,
Hendrik Weimer
Abstract:
We investigate a one-dimensional atomic lattice laser-driven to a Rydberg state, in which engineered dissipation channels lead to entanglement in the many-body system. In particular, we demonstrate the efficient generation of ground states of a frustration-free Hamiltonian, as well as $W$ states. We discuss the realization of the required coherent and dissipative terms, and we perform extensive nu…
▽ More
We investigate a one-dimensional atomic lattice laser-driven to a Rydberg state, in which engineered dissipation channels lead to entanglement in the many-body system. In particular, we demonstrate the efficient generation of ground states of a frustration-free Hamiltonian, as well as $W$ states. We discuss the realization of the required coherent and dissipative terms, and we perform extensive numerical simulations characterizing the fidelity of the state preparation procedure. We identify the optimum parameters for high fidelity entanglement preparation and investigate the scaling with the size of the system.
△ Less
Submitted 29 November, 2016;
originally announced November 2016.
-
Photon-assisted confinement-induced resonances for ultracold atoms
Authors:
Vicente Leyton,
Maryam Roghani,
Vittorio Peano,
Michael Thorwart
Abstract:
We solve the two-particle s-wave scattering for an ultracold atom gas confined in a quasi-one-dimensional trap** potential which is periodically modulated. The interaction between the atoms is included in terms of Fermi's pseudopotential. For a modulated isotropic transverse harmonic confinement, the atomic center of mass and relative degrees of freedom decouple and an exact solution is possible…
▽ More
We solve the two-particle s-wave scattering for an ultracold atom gas confined in a quasi-one-dimensional trap** potential which is periodically modulated. The interaction between the atoms is included in terms of Fermi's pseudopotential. For a modulated isotropic transverse harmonic confinement, the atomic center of mass and relative degrees of freedom decouple and an exact solution is possible. We use the Floquet approach to show that additional photon-assisted resonant scattering channels open up due to the harmonic modulation. Applying the Bethe-Peierls boundary condition, we obtain the general scattering solution of the time-dependent Schrödinger equation which is universal at low energies. The binding energies and the effective one-dimensional scattering length can be controlled by the external driving.
△ Less
Submitted 3 March, 2014;
originally announced March 2014.
-
Modeling and control of entanglement dynamics in laser cooling of trapped atoms
Authors:
Maryam Roghani,
Heinz-Peter Breuer,
Hanspeter Helm
Abstract:
We discuss the dynamical behavior of the entanglement between the internal and the external degrees of freedom of a trapped atom in electromagnetically-induced transparency (EIT) laser cooling. It is shown that essential features of the intricate entanglement dynamics observed in full numerical simulations of the underlying quantum master equation can be understood in terms of a two-state model on…
▽ More
We discuss the dynamical behavior of the entanglement between the internal and the external degrees of freedom of a trapped atom in electromagnetically-induced transparency (EIT) laser cooling. It is shown that essential features of the intricate entanglement dynamics observed in full numerical simulations of the underlying quantum master equation can be understood in terms of a two-state model on the basis of Landau-Zener splittings in the atom-laser field Hamiltonian. An extension of this model to an effective non-Hermitian Hamiltonian is constructed which describes the decay of entanglement by spontaneous emission processes. We also discuss schemes for the control of entanglement and demonstrate that a permanent entanglement can be imprinted on trapped atoms through a rapid switch off of the driving fields. Finally, we point out fundamental distinctions between the entanglement created in EIT cooling and in the cooling scheme based on velocity-selective coherent population trap**.
△ Less
Submitted 1 August, 2011;
originally announced August 2011.
-
Entanglement dynamics of a strongly driven trapped atom
Authors:
Maryam Roghani,
Hanspeter Helm,
Heinz-Peter Breuer
Abstract:
We study the entanglement between the internal electronic and the external vibrational degrees of freedom of a trapped atom which is driven by two lasers into electromagnetically-induced transparency. It is shown that basic features of the intricate entanglement dynamics can be traced to Landau-Zener splittings (avoided crossings) in the spectrum of the atom-laser field Hamiltonian. We further con…
▽ More
We study the entanglement between the internal electronic and the external vibrational degrees of freedom of a trapped atom which is driven by two lasers into electromagnetically-induced transparency. It is shown that basic features of the intricate entanglement dynamics can be traced to Landau-Zener splittings (avoided crossings) in the spectrum of the atom-laser field Hamiltonian. We further construct an effective Hamiltonian that describes the behavior of entanglement under dissipation induced by spontaneous emission processes. The proposed approach is applicable to a broad range of scenarios for the control of entanglement between electronic and translational degrees of freedom of trapped atoms through suitable laser fields.
△ Less
Submitted 5 January, 2011;
originally announced January 2011.