Showing 1–39 of 39 results for author: Könemann, J

Fast Combinatorial Algorithms for Efficient Sortation

Authors: Madison Van Dyk, Kim Klause, Jochen Koenemann, Nicole Megow

Abstract: Modern parcel logistic networks are designed to ship demand between given origin, destination pairs of nodes in an underlying directed network. Efficiency dictates that volume needs to be consolidated at intermediate nodes in typical hub-and-spoke fashion. In practice, such consolidation requires parcel sortation. In this work, we propose a mathematical model for the physical requirements, and lim… ▽ More Modern parcel logistic networks are designed to ship demand between given origin, destination pairs of nodes in an underlying directed network. Efficiency dictates that volume needs to be consolidated at intermediate nodes in typical hub-and-spoke fashion. In practice, such consolidation requires parcel sortation. In this work, we propose a mathematical model for the physical requirements, and limitations of parcel sortation. We then show that it is NP-hard to determine whether a feasible sortation plan exists. We discuss several settings, where (near-)feasibility of a given sortation instance can be determined efficiently. The algorithms we propose are fast and build on combinatorial witness set type lower bounds that are reminiscent and extend those used in earlier work on degree-bounded spanning trees and arborescences. △ Less

Submitted 8 November, 2023; originally announced November 2023.

ACM Class: F.2.2; G.1.2; G.2.2

Sparse dynamic discretization discovery via arc-dependent time discretizations

Authors: Madison Van Dyk, Jochen Koenemann

Abstract: While many time-dependent network design problems can be formulated as time-indexed formulations with strong relaxations, the size of these formulations depends on the discretization of the time horizon and can become prohibitively large. The recently-developed dynamic discretization discovery (DDD) method allows many time-dependent problems to become more tractable by iteratively solving instance… ▽ More While many time-dependent network design problems can be formulated as time-indexed formulations with strong relaxations, the size of these formulations depends on the discretization of the time horizon and can become prohibitively large. The recently-developed dynamic discretization discovery (DDD) method allows many time-dependent problems to become more tractable by iteratively solving instances of the problem on smaller networks where each node has its own discrete set of departure times. However, in the current implementation of DDD, all arcs departing a common node share the same set of departure times. This causes DDD to be ineffective for solving problems where all near-optimal solutions require many distinct departure times at the majority of the high-degree nodes in the network. Region-based networks are one such structure that often leads to many high-degree nodes, and their increasing popularity underscores the importance of tailoring solution methods for these networks. To improve methods for solving problems that require many departure times at nodes, we develop a DDD framework where the set of departure times is determined on the arc level rather than the node level. We apply this arc-based DDD method to instances of the service network design problem (SND). We show that an arc-based approach is particularly advantageous when instances arise from region-based networks, and when candidate paths are fixed in the base graph for each commodity. Moreover, our algorithm builds upon the existing DDD framework and achieves these improvements with only benign modifications to the original implementation. △ Less

Submitted 30 May, 2023; originally announced May 2023.

ACM Class: G.1.6; G.2

Dynamic discretization discovery under hard node storage constraints

Authors: Madison Van Dyk, Jochen Koenemann

Abstract: The recently developed dynamic discretization discovery (DDD) is a powerful method that allows many time-dependent problems to become more tractable. While DDD has been applied to a variety of problems, one particular challenge has been to deal with storage constraints without leading to a weak relaxation in each iteration. Specifically, the current approach to deal with certain hard storage const… ▽ More The recently developed dynamic discretization discovery (DDD) is a powerful method that allows many time-dependent problems to become more tractable. While DDD has been applied to a variety of problems, one particular challenge has been to deal with storage constraints without leading to a weak relaxation in each iteration. Specifically, the current approach to deal with certain hard storage constraints in continuous settings is to remove a subset of the storage constraints completely in each iteration of DDD. In this work, we show that for discrete problems, such weak relaxations are not necessary. Specifically, we find bounds on the additional storage that must be permitted in each iteration. We demonstrate our techniques in the case of the classical universal packet routing problem in the presence of bounded node storage, which can currently only be solved via integer programming. We present computational results demonstrating the effectiveness of DDD when solving universal packet routing. △ Less

Submitted 2 March, 2023; originally announced March 2023.

ACM Class: G.1.6; G.2

Hitting Weighted Even Cycles in Planar Graphs

Authors: Alexander Göke, Jochen Koenemann, Matthias Mnich, Hao Sun

Abstract: A classical branch of graph algorithms is graph transversals, where one seeks a minimum-weight subset of nodes in a node-weighted graph $G$ which intersects all copies of subgraphs~$F$ from a fixed family $\mathcal F$. Many such graph transversal problems have been shown to admit polynomial-time approximation schemes (PTAS) for planar input graphs $G$, using a variety of techniques like the shifti… ▽ More A classical branch of graph algorithms is graph transversals, where one seeks a minimum-weight subset of nodes in a node-weighted graph $G$ which intersects all copies of subgraphs~$F$ from a fixed family $\mathcal F$. Many such graph transversal problems have been shown to admit polynomial-time approximation schemes (PTAS) for planar input graphs $G$, using a variety of techniques like the shifting technique (Baker, J. ACM 1994), bidimensionality (Fomin et al., SODA 2011), or connectivity domination (Cohen-Addad et al., STOC 2016). These techniques do not seem to apply to graph transversals with parity constraints, which have recently received significant attention, but for which no PTASs are known. In the even-cycle transversal (\ECT) problem, the goal is to find a minimum-weight hitting set for the set of even cycles in an undirected graph. For ECT, Fiorini et al. (IPCO 2010) showed that the integrality gap of the standard covering LP relaxation is $Θ(\log n)$, and that adding sparsity inequalities reduces the integrality gap to~10. Our main result is a primal-dual algorithm that yields a $47/7\approx6.71$-approximation for ECT on node-weighted planar graphs, and an integrality gap of the same value for the standard LP relaxation on node-weighted planar graphs. △ Less

Submitted 31 July, 2021; v1 submitted 10 July, 2021; originally announced July 2021.

MSC Class: 68W25 ACM Class: F.2.2

On the Complexity of Nucleolus Computation for Bipartite b-Matching Games

Authors: Jochen Koenemann, Justin Toth, Felix Zhou

Abstract: We explore the complexity of nucleolus computation in b-matching games on bipartite graphs. We show that computing the nucleolus of a simple b-matching game is NP-hard even on bipartite graphs of maximum degree 7. We complement this with partial positive results in the special case where b values are bounded by 2. In particular, we describe an efficient algorithm when a constant number of vertices… ▽ More We explore the complexity of nucleolus computation in b-matching games on bipartite graphs. We show that computing the nucleolus of a simple b-matching game is NP-hard even on bipartite graphs of maximum degree 7. We complement this with partial positive results in the special case where b values are bounded by 2. In particular, we describe an efficient algorithm when a constant number of vertices satisfy b(v) = 2 as well as an efficient algorithm for computing the non-simple b-matching nucleolus when b = 2. △ Less

Submitted 25 December, 2022; v1 submitted 15 May, 2021; originally announced May 2021.

A General Framework for Computing the Nucleolus Via Dynamic Programming

Authors: Jochen Koenemann, Justin Toth

Abstract: This paper defines a general class of cooperative games for which the nucleolus is efficiently computable. This class includes new members for which the complexity of computing their nucleolus was not previously known. We show that when the minimum excess coalition problem of a cooperative game can be formulated as a hypergraph dynamic program its nucleolus is efficiently computable. This gives a… ▽ More This paper defines a general class of cooperative games for which the nucleolus is efficiently computable. This class includes new members for which the complexity of computing their nucleolus was not previously known. We show that when the minimum excess coalition problem of a cooperative game can be formulated as a hypergraph dynamic program its nucleolus is efficiently computable. This gives a general technique for designing efficient algorithms for computing the nucleolus of a cooperative game. This technique is inspired by a recent result of Pashkovich (2018) on weighted voting games. However our technique significantly extends beyond the capabilities of previous work. We demonstrate this by applying it to give an algorithm for computing the nucleolus of b-matching games in polynomial time on graphs of bounded treewidth. △ Less

Submitted 29 September, 2020; v1 submitted 21 May, 2020; originally announced May 2020.

Approximating Stable Matchings with Ties of Bounded Size

Authors: Jochen Koenemann, Kanstantsin Pashkovich, Natig Tofigzade

Abstract: Finding a stable matching is one of the central problems in algorithmic game theory. If participants are allowed to have ties and incomplete preferences, computing a stable matching of maximum cardinality is known to be NP-hard. In this paper we present a $(3L-2)/(2L-1)$-approximation algorithm for the stable matching problem with ties of size at most $L$ and incomplete lists. Our result matches t… ▽ More Finding a stable matching is one of the central problems in algorithmic game theory. If participants are allowed to have ties and incomplete preferences, computing a stable matching of maximum cardinality is known to be NP-hard. In this paper we present a $(3L-2)/(2L-1)$-approximation algorithm for the stable matching problem with ties of size at most $L$ and incomplete lists. Our result matches the known lower bound on the integrality gap for the associated LP formulation. △ Less

Submitted 14 July, 2020; v1 submitted 11 May, 2020; originally announced May 2020.

Optimized Cranial Bandeau Remodeling

Authors: James Drake, Marina Drygala, Ricardo Fukasawa, Jochen Koenemann, Andre Linhares, Thomas Looi, John Phillips, David Qian, Nikoo Saber, Justin Toth, Chris Woodbeck, Jessie Yeung

Abstract: Craniosynostosis, a condition affecting 1 in 2000 infants, is caused by premature fusing of cranial vault sutures, and manifests itself in abnormal skull growth patterns. Left untreated, the condition may lead to severe developmental impairment. Standard practice is to apply corrective cranial bandeau remodeling surgery in the first year of the infant's life. The most frequent type of surgery invo… ▽ More Craniosynostosis, a condition affecting 1 in 2000 infants, is caused by premature fusing of cranial vault sutures, and manifests itself in abnormal skull growth patterns. Left untreated, the condition may lead to severe developmental impairment. Standard practice is to apply corrective cranial bandeau remodeling surgery in the first year of the infant's life. The most frequent type of surgery involves the removal of the so-called fronto-orbital bar from the patient's forehead and the cutting of well-placed incisions to reshape the skull in order to obtain the desired result. In this paper, we propose a precise optimization model for the above cranial bandeau remodeling problem and its variants. We have developed efficient algorithms that solve best incision placement, and show hardness for more general cases in the class. To the best of our knowledge this paper is the first to introduce optimization models for craniofacial surgery applications. △ Less

Submitted 12 March, 2021; v1 submitted 22 December, 2019; originally announced December 2019.

Travelling on Graphs with Small Highway Dimension

Authors: Yann Disser, Andreas Emil Feldmann, Max Klimm, Jochen Konemann

Abstract: We study the Travelling Salesperson (TSP) and the Steiner Tree problem (STP) in graphs of low highway dimension. This graph parameter was introduced by Abraham et al. [SODA 2010] as a model for transportation networks, on which TSP and STP naturally occur for various applications in logistics. It was previously shown [Feldmann et al. ICALP 2015] that these problems admit a quasi-polynomial time ap… ▽ More We study the Travelling Salesperson (TSP) and the Steiner Tree problem (STP) in graphs of low highway dimension. This graph parameter was introduced by Abraham et al. [SODA 2010] as a model for transportation networks, on which TSP and STP naturally occur for various applications in logistics. It was previously shown [Feldmann et al. ICALP 2015] that these problems admit a quasi-polynomial time approximation scheme (QPTAS) on graphs of constant highway dimension. We demonstrate that a significant improvement is possible in the special case when the highway dimension is 1, for which we present a fully-polynomial time approximation scheme (FPTAS). We also prove that STP is weakly NP-hard for these restricted graphs. For TSP we show NP-hardness for graphs of highway dimension 6, which answers an open problem posed in [Feldmann et al. ICALP 2015]. △ Less

Submitted 12 July, 2019; v1 submitted 19 February, 2019; originally announced February 2019.

Computing the Nucleolus of Weighted Cooperative Matching Games in Polynomial Time

Authors: Jochen Koenemann, Kanstantsin Pashkovich, Justin Toth

Abstract: We provide an efficient algorithm for computing the nucleolus for an instance of a weighted cooperative matching game. This resolves a long-standing open question posed in [Faigle, Kern, Fekete, Hochstättler, Mathematical Programming, 1998]. We provide an efficient algorithm for computing the nucleolus for an instance of a weighted cooperative matching game. This resolves a long-standing open question posed in [Faigle, Kern, Fekete, Hochstättler, Mathematical Programming, 1998]. △ Less

Submitted 1 March, 2019; v1 submitted 8 March, 2018; originally announced March 2018.

Vehicle Routing with Subtours

Authors: Stephan Held, Jochen Könemann, Jens Vygen

Abstract: When delivering items to a set of destinations, one can save time and cost by passing a subset to a sub-contractor at any point en route. We consider a model where a set of items are initially loaded in one vehicle and should be distributed before a given deadline Δ. In addition to travel time and time for deliveries, we assume that there is a fixed delay for handing over an item from one vehicle… ▽ More When delivering items to a set of destinations, one can save time and cost by passing a subset to a sub-contractor at any point en route. We consider a model where a set of items are initially loaded in one vehicle and should be distributed before a given deadline Δ. In addition to travel time and time for deliveries, we assume that there is a fixed delay for handing over an item from one vehicle to another. We will show that it is easy to decide whether an instance is feasible, i.e., whether it is possible to deliver all items before the deadline Δ. We then consider computing a feasible tour of minimum cost, where we incur a cost per unit distance traveled by the vehicles, and a setup cost for every used vehicle. Our problem arises in practical applications and generalizes classical problems such as shallow-light trees and the bounded-latency problem. Our main result is a polynomial-time algorithm that, for any given ε > 0 and any feasible instance, computes a solution that delivers all items before time (1+ ε)Δ and has cost O(1 + 1 / ε) OPT, where OPT is the minimum cost of any feasible solution. We show that our result is best possible in the sense that any improvement would lead to progress on 25-year-old questions on shallow-light trees. △ Less

Submitted 15 January, 2018; originally announced January 2018.

ACM Class: F.2.2; G.1.2; G.2.2

On the Integrality Gap of the Prize-Collecting Steiner Forest LP

Authors: Jochen Könemann, Neil Olver, Kanstantsin Pashkovich, R. Ravi, Chaitanya Swamy, Jens Vygen

Abstract: In the prize-collecting Steiner forest (PCSF) problem, we are given an undirected graph $G=(V,E)$, edge costs $\{c_e\geq 0\}_{e\in E}$, terminal pairs $\{(s_i,t_i)\}_{i=1}^k$, and penalties $\{π_i\}_{i=1}^k$ for each terminal pair; the goal is to find a forest $F$ to minimize $c(F)+\sum_{i: (s_i,t_i)\text{ not connected in }F}π_i$. The Steiner forest problem can be viewed as the special case where… ▽ More In the prize-collecting Steiner forest (PCSF) problem, we are given an undirected graph $G=(V,E)$, edge costs $\{c_e\geq 0\}_{e\in E}$, terminal pairs $\{(s_i,t_i)\}_{i=1}^k$, and penalties $\{π_i\}_{i=1}^k$ for each terminal pair; the goal is to find a forest $F$ to minimize $c(F)+\sum_{i: (s_i,t_i)\text{ not connected in }F}π_i$. The Steiner forest problem can be viewed as the special case where $π_i=\infty$ for all $i$. It was widely believed that the integrality gap of the natural (and well-studied) linear-programming (LP) relaxation for PCSF is at most 2. We dispel this belief by showing that the integrality gap of this LP is at least $9/4$. This holds even for planar graphs. We also show that using this LP, one cannot devise a Lagrangian-multiplier-preserving (LMP) algorithm with approximation guarantee better than $4$. Our results thus show a separation between the integrality gaps of the LP-relaxations for prize-collecting and non-prize-collecting (i.e., standard) Steiner forest, as well as the approximation ratios achievable relative to the optimal LP solution by LMP- and non-LMP- approximation algorithms for PCSF. For the special case of prize-collecting Steiner tree (PCST), we prove that the natural LP relaxation admits basic feasible solutions with all coordinates of value at most $1/3$ and all edge variables positive. Thus, we rule out the possibility of approximating PCST with guarantee better than $3$ using a direct iterative rounding method. △ Less

Submitted 20 June, 2017; originally announced June 2017.

A $\frac{3}{2}$-Approximation Algorithm for Tree Augmentation via Chvátal-Gomory Cuts

Authors: Samuel Fiorini, Martin Groß, Jochen Könemann, Laura Sanità

Abstract: The weighted tree augmentation problem (WTAP) is a fundamental network design problem. We are given an undirected tree $G = (V,E)$, an additional set of edges $L$ called links and a cost vector $c \in \mathbb{R}^L_{\geq 1}$. The goal is to choose a minimum cost subset $S \subseteq L$ such that $G = (V, E \cup S)$ is $2$-edge-connected. In the unweighted case, that is, when we have $c_\ell = 1$ for… ▽ More The weighted tree augmentation problem (WTAP) is a fundamental network design problem. We are given an undirected tree $G = (V,E)$, an additional set of edges $L$ called links and a cost vector $c \in \mathbb{R}^L_{\geq 1}$. The goal is to choose a minimum cost subset $S \subseteq L$ such that $G = (V, E \cup S)$ is $2$-edge-connected. In the unweighted case, that is, when we have $c_\ell = 1$ for all $\ell \in L$, the problem is called the tree augmentation problem (TAP). Both problems are known to be APX-hard, and the best known approximation factors are $2$ for WTAP by (Frederickson and JáJá, '81) and $\tfrac{3}{2}$ for TAP due to (Kortsarz and Nutov, TALG '16). In the case where all link costs are bounded by a constant $M$, (Adjiashvili, SODA '17) recently gave a $\approx 1.96418+\varepsilon$-approximation algorithm for WTAP under this assumption. This is the first approximation with a better guarantee than $2$ that does not require restrictions on the structure of the tree or the links. In this paper, we improve Adjiashvili's approximation to a $\frac{3}{2}+\varepsilon$-approximation for WTAP under the bounded cost assumption. We achieve this by introducing a strong LP that combines $\{0,\frac{1}{2}\}$-Chvátal-Gomory cuts for the standard LP for the problem with bundle constraints from Adjiashvili. We show that our LP can be solved efficiently and that it is exact for some instances that arise at the core of Adjiashvili's approach. This results in the improved guarantee of $\frac{3}{2}+\varepsilon$. For TAP, this is the best known LP-based result, and matches the bound of $\frac{3}{2}+\varepsilon$ achieved by the best SDP-based algorithm due to (Cheriyan and Gao, arXiv '15). △ Less

Submitted 23 February, 2017; v1 submitted 17 February, 2017; originally announced February 2017.

MSC Class: 68W25 ACM Class: G.2.2

Additive Stabilizers for Unstable Graphs

Authors: Karthekeyan Chandrasekaran, Corinna Gottschalk, Jochen Könemann, Britta Peis, Daniel Schmand, Andreas Wierz

Abstract: Stabilization of graphs has received substantial attention in recent years due to its connection to game theory. Stable graphs are exactly the graphs inducing a matching game with non-empty core. They are also the graphs that induce a network bargaining game with a balanced solution. A graph with weighted edges is called stable if the maximum weight of an integral matching equals the cost of a min… ▽ More Stabilization of graphs has received substantial attention in recent years due to its connection to game theory. Stable graphs are exactly the graphs inducing a matching game with non-empty core. They are also the graphs that induce a network bargaining game with a balanced solution. A graph with weighted edges is called stable if the maximum weight of an integral matching equals the cost of a minimum fractional weighted vertex cover. If a graph is not stable, it can be stabilized in different ways. Recent papers have considered the deletion or addition of edges and vertices in order to stabilize a graph. In this work, we focus on a fine-grained stabilization strategy, namely stabilization of graphs by fractionally increasing edge weights. We show the following results for stabilization by minimum weight increase in edge weights (min additive stabilizer): (i) Any approximation algorithm for min additive stabilizer that achieves a factor of $O(|V|^{1/24-ε})$ for $ε>0$ would lead to improvements in the approximability of densest-$k$-subgraph. (ii) Min additive stabilizer has no $o(\log{|V|})$ approximation unless NP=P. Results (i) and (ii) together provide the first super-constant hardness results for any graph stabilization problem. On the algorithmic side, we present (iii) an algorithm to solve min additive stabilizer in factor-critical graphs exactly in poly-time, (iv) an algorithm to solve min additive stabilizer in arbitrary-graphs exactly in time exponential in the size of the Tutte set, and (v) a poly-time algorithm with approximation factor at most $\sqrt{|V|}$ for a super-class of the instances generated in our hardness proofs. △ Less

Submitted 24 August, 2016; originally announced August 2016.

An Elementary Integrality Proof of Rothblum's Stable Matching Formulation

Authors: Jochen Könemann, Kanstantsin Pashkovich, Justin Toth

Abstract: In this paper we provide a short new proof for the integrality of Rothblum's linear description of the convex hull of incidence vectors of stable matchings in bipartite graphs. In the spirit of iterative rounding proofs, the key feature of our proof is to show that extreme points of the formulation must have a 0, 1-component. In this paper we provide a short new proof for the integrality of Rothblum's linear description of the convex hull of incidence vectors of stable matchings in bipartite graphs. In the spirit of iterative rounding proofs, the key feature of our proof is to show that extreme points of the formulation must have a 0, 1-component. △ Less

Submitted 23 September, 2016; v1 submitted 14 May, 2016; originally announced May 2016.

A Logarithmic Integrality Gap Bound for Directed Steiner Tree in Quasi-bipartite Graphs

Authors: Zachary Friggstad, Jochen Koenemann, Mohammad Shadravan

Abstract: We demonstrate that the integrality gap of the natural cut-based LP relaxation for the directed Steiner tree problem is $O(\log k)$ in quasi-bipartite graphs with $k$ terminals. Such instances can be seen to generalize set cover, so the integrality gap analysis is tight up to a constant factor. A novel aspect of our approach is that we use the primal-dual method; a technique that is rarely used in… ▽ More We demonstrate that the integrality gap of the natural cut-based LP relaxation for the directed Steiner tree problem is $O(\log k)$ in quasi-bipartite graphs with $k$ terminals. Such instances can be seen to generalize set cover, so the integrality gap analysis is tight up to a constant factor. A novel aspect of our approach is that we use the primal-dual method; a technique that is rarely used in designing approximation algorithms for network design problems in directed graphs. △ Less

Submitted 27 April, 2016; originally announced April 2016.

Fast Approximation Algorithms for the Generalized Survivable Network Design Problem

Authors: Andreas Emil Feldmann, Jochen Könemann, Kanstantsin Pashkovich, Laura Sanità

Abstract: In a standard $f$-connectivity network design problem, we are given an undirected graph $G=(V,E)$, a cut-requirement function $f:2^V \rightarrow {\mathbb{N}}$, and non-negative costs $c(e)$ for all $e \in E$. We are then asked to find a minimum-cost vector $x \in {\mathbb{N}}^E$ such that $x(δ(S)) \geq f(S)$ for all $S \subseteq V$. We focus on the class of such problems where $f$ is a proper func… ▽ More In a standard $f$-connectivity network design problem, we are given an undirected graph $G=(V,E)$, a cut-requirement function $f:2^V \rightarrow {\mathbb{N}}$, and non-negative costs $c(e)$ for all $e \in E$. We are then asked to find a minimum-cost vector $x \in {\mathbb{N}}^E$ such that $x(δ(S)) \geq f(S)$ for all $S \subseteq V$. We focus on the class of such problems where $f$ is a proper function. This encodes many well-studied NP-hard problems such as the generalized survivable network design problem. In this paper we present the first strongly polynomial time FPTAS for solving the LP relaxation of the standard IP formulation of the $f$-connectivity problem with general proper functions $f$. Implementing Jain's algorithm, this yields a strongly polynomial time $(2+ε)$-approximation for the generalized survivable network design problem (where we consider rounding up of rationals an arithmetic operation). △ Less

Submitted 24 April, 2016; originally announced April 2016.

Approximate Deadline-Scheduling with Precedence Constraints

Authors: Hossein Efsandiari, MohammadTaghi Hajiaghyi, Jochen Koenemann, Hamid Mahini, David Malec, Laura Sanita

Abstract: We consider the classic problem of scheduling a set of n jobs non-preemptively on a single machine. Each job j has non-negative processing time, weight, and deadline, and a feasible schedule needs to be consistent with chain-like precedence constraints. The goal is to compute a feasible schedule that minimizes the sum of penalties of late jobs. Lenstra and Rinnoy Kan [Annals of Disc. Math., 1977]… ▽ More We consider the classic problem of scheduling a set of n jobs non-preemptively on a single machine. Each job j has non-negative processing time, weight, and deadline, and a feasible schedule needs to be consistent with chain-like precedence constraints. The goal is to compute a feasible schedule that minimizes the sum of penalties of late jobs. Lenstra and Rinnoy Kan [Annals of Disc. Math., 1977] in their seminal work introduced this problem and showed that it is strongly NP-hard, even when all processing times and weights are 1. We study the approximability of the problem and our main result is an O(log k)-approximation algorithm for instances with k distinct job deadlines. △ Less

Submitted 2 July, 2015; originally announced July 2015.

A $(1 + {\varepsilon})$-Embedding of Low Highway Dimension Graphs into Bounded Treewidth Graphs

Authors: Andreas Emil Feldmann, Wai Shing Fung, Jochen Könemann, Ian Post

Abstract: Graphs with bounded highway dimension were introduced by Abraham et al. [SODA 2010] as a model of transportation networks. We show that any such graph can be embedded into a distribution over bounded treewidth graphs with arbitrarily small distortion. More concretely, given a weighted graph G = (V, E) of constant highway dimension, we show how to randomly compute a weighted graph H = (V, E') that… ▽ More Graphs with bounded highway dimension were introduced by Abraham et al. [SODA 2010] as a model of transportation networks. We show that any such graph can be embedded into a distribution over bounded treewidth graphs with arbitrarily small distortion. More concretely, given a weighted graph G = (V, E) of constant highway dimension, we show how to randomly compute a weighted graph H = (V, E') that distorts shortest path distances of G by at most a 1 + ${\varepsilon}$ factor in expectation, and whose treewidth is polylogarithmic in the aspect ratio of G. Our probabilistic embedding implies quasi-polynomial time approximation schemes for a number of optimization problems that naturally arise in transportation networks, including Travelling Salesman, Steiner Tree, and Facility Location. To construct our embedding for low highway dimension graphs we extend Talwar's [STOC 2004] embedding of low doubling dimension metrics into bounded treewidth graphs, which generalizes known results for Euclidean metrics. We add several non-trivial ingredients to Talwar's techniques, and in particular thoroughly analyse the structure of low highway dimension graphs. Thus we demonstrate that the geometric toolkit used for Euclidean metrics extends beyond the class of low doubling metrics. △ Less

Submitted 19 June, 2019; v1 submitted 16 February, 2015; originally announced February 2015.

Comments: A preliminary version of this paper appeared in the proceedings of the 42nd International Colloquium on Automata, Languages, and Programming (ICALP), 2015

Journal ref: SIAM J. Comput. 47(4): 1667-1704 (2018)

Stable marriage with general preferences

Authors: Linda Farczadi, Konstantinos Georgiou, Jochen Könemann

Abstract: We propose a generalization of the classical stable marriage problem. In our model, the preferences on one side of the partition are given in terms of arbitrary binary relations, which need not be transitive nor acyclic. This generalization is practically well-motivated, and as we show, encompasses the well studied hard variant of stable marriage where preferences are allowed to have ties and to b… ▽ More We propose a generalization of the classical stable marriage problem. In our model, the preferences on one side of the partition are given in terms of arbitrary binary relations, which need not be transitive nor acyclic. This generalization is practically well-motivated, and as we show, encompasses the well studied hard variant of stable marriage where preferences are allowed to have ties and to be incomplete. As a result, we prove that deciding the existence of a stable matching in our model is NP-complete. Complementing this negative result we present a polynomial-time algorithm for the above decision problem in a significant class of instances where the preferences are asymmetric. We also present a linear programming formulation whose feasibility fully characterizes the existence of stable matchings in this special case. Finally, we use our model to study a long standing open problem regarding the existence of cyclic 3D stable matchings. In particular, we prove that the problem of deciding whether a fixed 2D perfect matching can be extended to a 3D stable matching is NP-complete, showing this way that a natural attempt to resolve the existence (or not) of 3D stable matchings is bound to fail. △ Less

Submitted 25 July, 2014; v1 submitted 7 July, 2014; originally announced July 2014.

Comments: This is an extended version of a paper to appear at the The 7th International Symposium on Algorithmic Game Theory (SAGT 2014)

Network bargaining with general capacities

Authors: Linda Farczadi, Konstantinos Georgiou, Jochen Koenemann

Abstract: We study balanced solutions for network bargaining games with general capacities, where agents can participate in a fixed but arbitrary number of contracts. We provide the first polynomial time algorithm for computing balanced solutions for these games. In addition, we prove that an instance has a balanced solution if and only if it has a stable one. Our methods use a new idea of reducing an insta… ▽ More We study balanced solutions for network bargaining games with general capacities, where agents can participate in a fixed but arbitrary number of contracts. We provide the first polynomial time algorithm for computing balanced solutions for these games. In addition, we prove that an instance has a balanced solution if and only if it has a stable one. Our methods use a new idea of reducing an instance with general capacities to a network bargaining game with unit capacities defined on an auxiliary graph. This represents a departure from previous approaches, which rely on computing an allocation in the intersection of the core and prekernel of a corresponding cooperative game, and then proving that the solution corresponding to this allocation is balanced. In fact, we show that such cooperative game methods do not extend to general capacity games, since contrary to the case of unit capacities, there exist allocations in the intersection of the core and prekernel with no corresponding balanced solution. Finally, we identify two sufficient conditions under which the set of balanced solutions corresponds to the intersection of the core and prekernel, thereby extending the class of games for which this result was previously known. △ Less

Submitted 18 June, 2013; originally announced June 2013.

Comments: This is an extended version of a paper to appear at the 21st European Symposium on Algorithms (ESA 2013)

An LMP O(log n)-Approximation Algorithm for Node Weighted Prize Collecting Steiner Tree

Authors: Jochen Könemann, Sina Sadeghian, Laura Sanità

Abstract: In the node-weighted prize-collecting Steiner tree problem (NW-PCST) we are given an undirected graph $G=(V,E)$, non-negative costs $c(v)$ and penalties $π(v)$ for each $v \in V$. The goal is to find a tree $T$ that minimizes the total cost of the vertices spanned by $T$ plus the total penalty of vertices not in $T$. This problem is well-known to be set-cover hard to approximate. Moss and Rabani (… ▽ More In the node-weighted prize-collecting Steiner tree problem (NW-PCST) we are given an undirected graph $G=(V,E)$, non-negative costs $c(v)$ and penalties $π(v)$ for each $v \in V$. The goal is to find a tree $T$ that minimizes the total cost of the vertices spanned by $T$ plus the total penalty of vertices not in $T$. This problem is well-known to be set-cover hard to approximate. Moss and Rabani (STOC'01) presented a primal-dual Lagrangean-multiplier-preserving $O(\ln |V|)$-approximation algorithm for this problem. We show a serious problem with the algorithm, and present a new, fundamentally different primal-dual method achieving the same performance guarantee. Our algorithm introduces several novel features to the primal-dual method that may be of independent interest. △ Less

Submitted 10 April, 2013; v1 submitted 8 February, 2013; originally announced February 2013.

Network Bargaining: Using Approximate Blocking Sets to Stabilize Unstable Instances

Authors: Jochen Koenemann, Kate Larson, David Steiner

Abstract: We study a network extension to the Nash bargaining game, as introduced by Kleinberg and Tardos (STOC'08), where the set of players corresponds to vertices in a graph $G=(V,E)$ and each edge $ij\in E$ represents a possible deal between players $i$ and $j$. We reformulate the problem as a cooperative game and study the following question: Given a game with an empty core (i.e. an unstable game) is i… ▽ More We study a network extension to the Nash bargaining game, as introduced by Kleinberg and Tardos (STOC'08), where the set of players corresponds to vertices in a graph $G=(V,E)$ and each edge $ij\in E$ represents a possible deal between players $i$ and $j$. We reformulate the problem as a cooperative game and study the following question: Given a game with an empty core (i.e. an unstable game) is it possible, through minimal changes in the underlying network, to stabilize the game? We show that by removing edges in the network that belong to a blocking set we can find a stable solution in polynomial time. This motivates the problem of finding small blocking sets. While it has been previously shown that finding the smallest blocking set is NP-hard (Biro,Kern,Paulusma, TAMC'10), we show that it is possible to efficiently find approximate blocking sets in sparse graphs. △ Less

Submitted 28 July, 2012; originally announced July 2012.

Efficient Algorithms for Solving Hypergraphic Steiner Tree Relaxations in Quasi-Bipartite Instances

Authors: Isaac Fung, Konstantinos Georgiou, Jochen Koenemann, Malcolm Sharpe

Abstract: We consider the Steiner tree problem in quasi-bipartite graphs, where no two Steiner vertices are connected by an edge. For this class of instances, we present an efficient algorithm to exactly solve the so called directed component relaxation (DCR), a specific form of hypergraphic LP relaxation that was instrumental in the recent break-through result by Byrka et al. [BGRS10] (STOC 2010). Our algo… ▽ More We consider the Steiner tree problem in quasi-bipartite graphs, where no two Steiner vertices are connected by an edge. For this class of instances, we present an efficient algorithm to exactly solve the so called directed component relaxation (DCR), a specific form of hypergraphic LP relaxation that was instrumental in the recent break-through result by Byrka et al. [BGRS10] (STOC 2010). Our algorithm hinges on an efficiently computable map from extreme points of the bidirected cut relaxation to feasible solutions of (DCR). As a consequence, together with [BGRS10] we immediately obtain an efficient 73/60-approximation for quasi-bipartite Steiner tree instances. We also present a particularly simple (BCR)-based random sampling algorithm that achieves a performance guarantee slightly better than 77/60. △ Less

Submitted 22 February, 2012; originally announced February 2012.

Comments: 15 pages, 2 figures

Integrality Gap of the Hypergraphic Relaxation of Steiner Trees: a short proof of a 1.55 upper bound

Authors: Deeparnab Chakrabarty, Jochen Koenemann, David Pritchard

Abstract: Recently Byrka, Grandoni, Rothvoss and Sanita (at STOC 2010) gave a 1.39-approximation for the Steiner tree problem, using a hypergraph-based linear programming relaxation. They also upper-bounded its integrality gap by 1.55. We describe a shorter proof of the same integrality gap bound, by applying some of their techniques to a randomized loss-contracting algorithm. Recently Byrka, Grandoni, Rothvoss and Sanita (at STOC 2010) gave a 1.39-approximation for the Steiner tree problem, using a hypergraph-based linear programming relaxation. They also upper-bounded its integrality gap by 1.55. We describe a shorter proof of the same integrality gap bound, by applying some of their techniques to a randomized loss-contracting algorithm. △ Less

Submitted 11 June, 2010; originally announced June 2010.

On Generalizations of Network Design Problems with Degree Bounds

Authors: Nikhil Bansal, Rohit Khandekar, Jochen Konemann, Viswanath Nagarajan, Britta Peis

Abstract: Iterative rounding and relaxation have arguably become the method of choice in dealing with unconstrained and constrained network design problems. In this paper we extend the scope of the iterative relaxation method in two directions: (1) by handling more complex degree constraints in the minimum spanning tree problem (namely, laminar crossing spanning tree), and (2) by incorporating `degree bound… ▽ More Iterative rounding and relaxation have arguably become the method of choice in dealing with unconstrained and constrained network design problems. In this paper we extend the scope of the iterative relaxation method in two directions: (1) by handling more complex degree constraints in the minimum spanning tree problem (namely, laminar crossing spanning tree), and (2) by incorporating `degree bounds' in other combinatorial optimization problems such as matroid intersection and lattice polyhedra. We give new or improved approximation algorithms, hardness results, and integrality gaps for these problems. △ Less

Submitted 3 June, 2010; v1 submitted 15 March, 2010; originally announced March 2010.

Comments: v2, 24 pages, 4 figures

ACM Class: F.2.2

On Column-restricted and Priority Covering Integer Programs

Authors: Deeparnab Chakrabarty, Elyot Grant, Jochen Koenemann

Abstract: In a column-restricted covering integer program (CCIP), all the non-zero entries of any column of the constraint matrix are equal. Such programs capture capacitated versions of covering problems. In this paper, we study the approximability of CCIPs, in particular, their relation to the integrality gaps of the underlying 0,1-CIP. If the underlying 0,1-CIP has an integrality gap O(gamma), and assum… ▽ More In a column-restricted covering integer program (CCIP), all the non-zero entries of any column of the constraint matrix are equal. Such programs capture capacitated versions of covering problems. In this paper, we study the approximability of CCIPs, in particular, their relation to the integrality gaps of the underlying 0,1-CIP. If the underlying 0,1-CIP has an integrality gap O(gamma), and assuming that the integrality gap of the priority version of the 0,1-CIP is O(omega), we give a factor O(gamma + omega) approximation algorithm for the CCIP. Priority versions of 0,1-CIPs (PCIPs) naturally capture quality of service type constraints in a covering problem. We investigate priority versions of the line (PLC) and the (rooted) tree cover (PTC) problems. Apart from being natural objects to study, these problems fall in a class of fundamental geometric covering problems. We bound the integrality of certain classes of this PCIP by a constant. Algorithmically, we give a polytime exact algorithm for PLC, show that the PTC problem is APX-hard, and give a factor 2-approximation algorithm for it. △ Less

Submitted 7 March, 2010; originally announced March 2010.

Comments: 28 pages, 6 figures, extended abstract to appear in proceedings of IPCO 2010.

Hypergraphic LP Relaxations for Steiner Trees

Authors: Deeparnab Chakrabarty, Jochen Koenemann, David Pritchard

Abstract: We investigate hypergraphic LP relaxations for the Steiner tree problem, primarily the partition LP relaxation introduced by Koenemann et al. [Math. Programming, 2009]. Specifically, we are interested in proving upper bounds on the integrality gap of this LP, and studying its relation to other linear relaxations. Our results are the following. Structural results: We extend the technique of uncross… ▽ More We investigate hypergraphic LP relaxations for the Steiner tree problem, primarily the partition LP relaxation introduced by Koenemann et al. [Math. Programming, 2009]. Specifically, we are interested in proving upper bounds on the integrality gap of this LP, and studying its relation to other linear relaxations. Our results are the following. Structural results: We extend the technique of uncrossing, usually applied to families of sets, to families of partitions. As a consequence we show that any basic feasible solution to the partition LP formulation has sparse support. Although the number of variables could be exponential, the number of positive variables is at most the number of terminals. Relations with other relaxations: We show the equivalence of the partition LP relaxation with other known hypergraphic relaxations. We also show that these hypergraphic relaxations are equivalent to the well studied bidirected cut relaxation, if the instance is quasibipartite. Integrality gap upper bounds: We show an upper bound of sqrt(3) ~ 1.729 on the integrality gap of these hypergraph relaxations in general graphs. In the special case of uniformly quasibipartite instances, we show an improved upper bound of 73/60 ~ 1.216. By our equivalence theorem, the latter result implies an improved upper bound for the bidirected cut relaxation as well. △ Less

Submitted 6 March, 2010; v1 submitted 1 October, 2009; originally announced October 2009.

Comments: Revised full version; a shorter version will appear at IPCO 2010.

Modeling of quasiparticle-induced excitations of a Josephson charge-phase qubit

Authors: J. Könemann, H. Zangerle, B. Egeling, R. Harke, B. Mackrodt, R. Dolata, A. B. Zorin

Abstract: We have analyzed quasiparticle transitions in an Al charge-phase qubit inducing a dynamic change of the qubit states. The time-averaged mixed state is related to the strong coupling of the qubit to an ensemble of non-equilibrium quasiparticles in the leads. Such quasiparticles tunnel stochastically on and off the island and can excite the qubit. Continuous monitoring of the qubit impedance at a… ▽ More We have analyzed quasiparticle transitions in an Al charge-phase qubit inducing a dynamic change of the qubit states. The time-averaged mixed state is related to the strong coupling of the qubit to an ensemble of non-equilibrium quasiparticles in the leads. Such quasiparticles tunnel stochastically on and off the island and can excite the qubit. Continuous monitoring of the qubit impedance at a frequency of 80 MHz shows the admixture of the excited state. We present a numerical description of these cyclic transitions and compare it with our experimental data. △ Less

Submitted 22 August, 2008; originally announced August 2008.

Comments: 13 pages, 3 figures

A Partition-Based Relaxation For Steiner Trees

Authors: Jochen Konemann, David Pritchard, Kunlun Tan

Abstract: The Steiner tree problem is a classical NP-hard optimization problem with a wide range of practical applications. In an instance of this problem, we are given an undirected graph G=(V,E), a set of terminals R, and non-negative costs c_e for all edges e in E. Any tree that contains all terminals is called a Steiner tree; the goal is to find a minimum-cost Steiner tree. The nodes V R are called St… ▽ More The Steiner tree problem is a classical NP-hard optimization problem with a wide range of practical applications. In an instance of this problem, we are given an undirected graph G=(V,E), a set of terminals R, and non-negative costs c_e for all edges e in E. Any tree that contains all terminals is called a Steiner tree; the goal is to find a minimum-cost Steiner tree. The nodes V R are called Steiner nodes. The best approximation algorithm known for the Steiner tree problem is due to Robins and Zelikovsky (SIAM J. Discrete Math, 2005); their greedy algorithm achieves a performance guarantee of 1+(ln 3)/2 ~ 1.55. The best known linear (LP)-based algorithm, on the other hand, is due to Goemans and Bertsimas (Math. Programming, 1993) and achieves an approximation ratio of 2-2/|R|. In this paper we establish a link between greedy and LP-based approaches by showing that Robins and Zelikovsky's algorithm has a natural primal-dual interpretation with respect to a novel partition-based linear programming relaxation. We also exhibit surprising connections between the new formulation and existing LPs and we show that the new LP is stronger than the bidirected cut formulation. An instance is b-quasi-bipartite if each connected component of G R has at most b vertices. We show that Robins' and Zelikovsky's algorithm has an approximation ratio better than 1+(ln 3)/2 for such instances, and we prove that the integrality gap of our LP is between 8/7 and (2b+1)/(b+1). △ Less

Submitted 20 December, 2007; originally announced December 2007.

Comments: Submitted to Math. Prog

Quasi-particle transitions in charge-phase qubits probed by rf oscillations

Authors: J. Könemann, H. Zangerle, B. Mackrodt, R. Dolata, A. B. Zorin

Abstract: We investigated transitions in Al charge-phase qubits of SQUID-configuration inductively coupled to an rf tank circuit that made it possible to read out the state by measuring the inductance of the qubit. Depending on the flux and charge bias and the amplitude of the rf oscillations we probed either the ground state or a dynamic change of the qubit states which we attributed to stochastic single… ▽ More We investigated transitions in Al charge-phase qubits of SQUID-configuration inductively coupled to an rf tank circuit that made it possible to read out the state by measuring the inductance of the qubit. Depending on the flux and charge bias and the amplitude of the rf oscillations we probed either the ground state or a dynamic change of the qubit states which we attributed to stochastic single quasi-particle tunneling onto and off the qubit island and exchange of energy with the qubit. Within this model, a selection rule for quasi-particle-induced transitions in the qubit is discussed. △ Less

Submitted 27 June, 2007; v1 submitted 8 January, 2007; originally announced January 2007.

Comments: 7 pages, 4 figures, major changes in the revised manuscript

Journal ref: Phys. Rev. B 76, 134507 (2007)

Ground-state characterization of Nb charge-phase Josephson qubits

Authors: Hermann Zangerle, Jens Könemann, Brigitte Mackrodt, Ralf Dolata, Sergey V. Lotkhov, Sergey A. Bogoslovsky, Martin Götz, Alexander B. Zorin

Abstract: We present investigations of Josephson charge-phase qubits inductively coupled to a radio-frequency driven tank-circuit enabling the readout of the states by measuring the Josephson inductance of the qubit. The circuits including junctions with linear dimensions of 60 nm and 80 nm are fabricated from Nb trilayer and allowing the determination of relevant sample parameters at liquid helium temper… ▽ More We present investigations of Josephson charge-phase qubits inductively coupled to a radio-frequency driven tank-circuit enabling the readout of the states by measuring the Josephson inductance of the qubit. The circuits including junctions with linear dimensions of 60 nm and 80 nm are fabricated from Nb trilayer and allowing the determination of relevant sample parameters at liquid helium temperature. The observed partial suppression of the circulating supercurrent at 4.2 K is explained in the framework of a quantum statistical model. We have probed the ground-state properties of qubit structures with different ratios of the Josephson coupling to Coulomb charging energy at 20 mK, demonstrating both the magnetic control of phase and the electrostatic control of charge on the qubit island. △ Less

Submitted 9 February, 2006; v1 submitted 10 January, 2006; originally announced January 2006.

Comments: 8 pages, 8 figures

Journal ref: Phys. Rev. B 73, 224527 (2006)

Tunneling resonances in quantum dots: Coulomb interaction modifies the width

Authors: J. Könemann, B. Kubala, J. König, R. J. Haug

Abstract: Single-electron tunneling through a zero-dimensional state in an asymmetric double-barrier resonant-tunneling structure is studied. The broadening of steps in the $I$--$V$ characteristics is found to strongly depend on the polarity of the applied bias voltage. Based on a qualitative picture for the finite-life-time broadening of the quantum dot states and a quantitative comparison of the experim… ▽ More Single-electron tunneling through a zero-dimensional state in an asymmetric double-barrier resonant-tunneling structure is studied. The broadening of steps in the $I$--$V$ characteristics is found to strongly depend on the polarity of the applied bias voltage. Based on a qualitative picture for the finite-life-time broadening of the quantum dot states and a quantitative comparison of the experimental data with a non-equilibrium transport theory, we identify this polarity dependence as a clear signature of Coulomb interaction. △ Less

Submitted 20 June, 2005; originally announced June 2005.

Comments: 4 pages, 4 figures

Journal ref: Phys. Rev. B 73, 033313 (2006)

Spin-orbit coupling and anisotropy of spin splitting in quantum dots

Authors: J. Konemann, R. J. Haug, D. K. Maude, V. I. Fal'ko, B. L. Altshuler

Abstract: In lateral quantum dots, the combined effect of both Dresselhaus and Bychkov-Rashba spin orbit coupling is equivalent to an effective magnetic field B_so which has the opposite sign for s_z=1/2 spin electrons. When the external magnetic field is perpendicular to the planar structure, the field B_so generates an additional splitting for electron states as compared to the spin splitting in the in-… ▽ More In lateral quantum dots, the combined effect of both Dresselhaus and Bychkov-Rashba spin orbit coupling is equivalent to an effective magnetic field B_so which has the opposite sign for s_z=1/2 spin electrons. When the external magnetic field is perpendicular to the planar structure, the field B_so generates an additional splitting for electron states as compared to the spin splitting in the in-plane field orientation. The anisotropy of spin splitting has been measured and then analyzed in terms of spin-orbit coupling in several AlGaAs/GaAs quantum dots by means of resonanat tunneling spectroscopy. From the measured values and sign of the anisotropy we are able to determine the dominating spin-orbit coupling mechanism. △ Less

Submitted 2 September, 2004; originally announced September 2004.

Journal ref: Phys. Rev. Lett. 94, 226404 (2005)

Impurity effects in quantum dots: Towards quantitative modeling

Authors: E. Rasanen, J. Konemann, R. J. Haug, M. J. Puska, R. M. Nieminen

Abstract: We have studied the single-electron transport spectrum of a quantum dot in GaAs/AlGaAs resonant tunneling device. The measured spectrum has irregularities indicating a broken circular symmetry. We model the system with an external potential consisting of a parabolic confinement and a negatively charged Coulombic impurity placed in the vicinity of the quantum dot. The model leads to a good agreem… ▽ More We have studied the single-electron transport spectrum of a quantum dot in GaAs/AlGaAs resonant tunneling device. The measured spectrum has irregularities indicating a broken circular symmetry. We model the system with an external potential consisting of a parabolic confinement and a negatively charged Coulombic impurity placed in the vicinity of the quantum dot. The model leads to a good agreement between the calculated single-electron eigenenergies and the experimental spectrum. Furthermore, we use the spin-density-functional theory to study the energies and angular momenta when the system contains many interacting electrons. In the high magnetic field regime the increasing electron number is shown to reduce the distortion induced by the impurity. △ Less

Submitted 23 April, 2004; originally announced April 2004.

Comments: 6 pages, 8 figures, submitted to PRB

Journal ref: Phys. Rev. B 70, 115308 (2004)

Shot noise in resonant tunneling through a zero-dimensional state with a complex energy spectrum

Authors: A. Nauen, F. Hohls, J. Konemann, R. J. Haug

Abstract: We investigate the noise properties of a GaAs/AlGaAs resonant tunneling structure at bias voltages where the current characteristic is determined by single electron tunneling. We discuss the suppression of the shot noise in the framework of a coupled two-state system. For large bias voltages we observed super-Poissonian shot noise up to values of the Fano factor $α\approx 10$. We investigate the noise properties of a GaAs/AlGaAs resonant tunneling structure at bias voltages where the current characteristic is determined by single electron tunneling. We discuss the suppression of the shot noise in the framework of a coupled two-state system. For large bias voltages we observed super-Poissonian shot noise up to values of the Fano factor $α\approx 10$. △ Less

Submitted 13 February, 2004; originally announced February 2004.

Comments: 4 pages, 4 figures, accepted for Phys. Rev. B

Journal ref: Phys. Rev. B 69, 113316 (2004)

Correlation-function spectroscopy of inelastic lifetime in heavily doped GaAs heterostructures

Authors: J. Könemann, P. König, T. Schmidt, E. McCann, V. I. Fal'ko, R. J. Haug

Abstract: Measurements of resonant tunneling through a localized impurity state are used to probe fluctuations in the local density of states of heavily doped GaAs. The measured differential conductance is analyzed in terms of correlation functions with respect to voltage. A qualitative picture based on the scaling theory of Thouless is developed to relate the observed fluctuations to the statistics of si… ▽ More Measurements of resonant tunneling through a localized impurity state are used to probe fluctuations in the local density of states of heavily doped GaAs. The measured differential conductance is analyzed in terms of correlation functions with respect to voltage. A qualitative picture based on the scaling theory of Thouless is developed to relate the observed fluctuations to the statistics of single particle wavefunctions. In a quantitative theory correlation functions are calculated. By comparing the experimental and theoretical correlation functions the effective dimensionality of the emitter is analyzed and the dependence of the inelastic lifetime on energy is extracted. △ Less

Submitted 2 May, 2001; originally announced May 2001.

Comments: 41 pages, 14 figures

Journal ref: Phys. Rev. B 64, 155314 (2001)

Measurement of the energy dependence of phase relaxation by single electron tunneling

Authors: P. König, J. Könemann, T. Schmidt, E. McCann, V. I. Fal'ko, R. J. Haug

Abstract: Single electron tunneling through a single impurity level is used to probe the fluctuations of the local density of states in the emitter. The energy dependence of quasi-particle relaxation in the emitter can be extracted from the damping of the fluctuations of the local density of states (LDOS). At larger magnetic fields Zeeman splitting is observed. Single electron tunneling through a single impurity level is used to probe the fluctuations of the local density of states in the emitter. The energy dependence of quasi-particle relaxation in the emitter can be extracted from the damping of the fluctuations of the local density of states (LDOS). At larger magnetic fields Zeeman splitting is observed. △ Less

Submitted 4 October, 2000; originally announced October 2000.

Comments: 2 pages, 4 figures; 25th International Conference on the Physics of Semiconductors, Osaka, Japan, September 17-22, 2000

Resonant tunneling through zero-dimensional impurity states: Effects of a finite temperature

Authors: P. König, U. Zeitler, J. Könemann, T. Schmidt, R. J. Haug

Abstract: We have performed temperature dependent tunneling experiments through a single impurity in an asymmetric vertical double barrier tunneling structure. In particular in the charging direction we observe at zero magnetic field a clear shift in the onset voltage of the resonant tunneling current through the impurity. With a magnetic field applied the shift starts to disappear. The experimental obser… ▽ More We have performed temperature dependent tunneling experiments through a single impurity in an asymmetric vertical double barrier tunneling structure. In particular in the charging direction we observe at zero magnetic field a clear shift in the onset voltage of the resonant tunneling current through the impurity. With a magnetic field applied the shift starts to disappear. The experimental observations are explained in terms of resonant tunneling through a spin degenerate impurity level. △ Less

Submitted 22 September, 2000; originally announced September 2000.

Comments: 2 pages, 3 figures; 25th International Conference on the Physics of Semiconductors, Osaka, Japan, September 17-22, 2000