Showing 1–50 of 125 results for author: Bichler, M

Algorithmic Collusion in Dynamic Pricing with Deep Reinforcement Learning

Authors: Shidi Deng, Maximilian Schiffer, Martin Bichler

Abstract: Nowadays, a significant share of the Business-to-Consumer sector is based on online platforms like Amazon and Alibaba and uses Artificial Intelligence for pricing strategies. This has sparked debate on whether pricing algorithms may tacitly collude to set supra-competitive prices without being explicitly designed to do so. Our study addresses these concerns by examining the risk of collusion when… ▽ More Nowadays, a significant share of the Business-to-Consumer sector is based on online platforms like Amazon and Alibaba and uses Artificial Intelligence for pricing strategies. This has sparked debate on whether pricing algorithms may tacitly collude to set supra-competitive prices without being explicitly designed to do so. Our study addresses these concerns by examining the risk of collusion when Reinforcement Learning algorithms are used to decide on pricing strategies in competitive markets. Prior research in this field focused on Tabular Q-learning (TQL) and led to opposing views on whether learning-based algorithms can lead to supra-competitive prices. Our work contributes to this ongoing discussion by providing a more nuanced numerical study that goes beyond TQL by additionally capturing off- and on-policy Deep Reinforcement Learning (DRL) algorithms. We study multiple Bertrand oligopoly variants and show that algorithmic collusion depends on the algorithm used. In our experiments, TQL exhibits higher collusion and price dispersion phenomena compared to DRL algorithms. We show that the severity of collusion depends not only on the algorithm used but also on the characteristics of the market environment. We further find that Proximal Policy Optimization appears to be less sensitive to collusive outcomes compared to other state-of-the-art DRL algorithms. △ Less

Submitted 4 June, 2024; originally announced June 2024.

Finding Stable Price Zones in European Electricity Markets: Aiming to Square the Circle?

Authors: Teodora Dobos, Martin Bichler, Johannes Knörr

Abstract: The European day-ahead electricity market is split into multiple bidding zones with a uniform price. The increase in renewables leads to a growing number of interventions in the generation of energy sources and increasing redispatch costs. To ensure efficient congestion management, the EU Commission mandated a Bidding Zone Review (BZR) to reevaluate the configuration of European bidding zones. An… ▽ More The European day-ahead electricity market is split into multiple bidding zones with a uniform price. The increase in renewables leads to a growing number of interventions in the generation of energy sources and increasing redispatch costs. To ensure efficient congestion management, the EU Commission mandated a Bidding Zone Review (BZR) to reevaluate the configuration of European bidding zones. An integral part of this process was a locational marginal pricing study. Based on this study, alternative bidding zone configurations were proposed. These bidding zones shall be stable and robust over time. For Germany, four configurations were suggested. We analyzed the proposed configurations considering different clustering algorithms and periods based on the publicly released data set. We found that the configurations do not reduce the price standard deviations within zones much, and the average prices across zones are similar. Other configurations identified based on clustering the prices lead to lower price variance but they are not geographically coherent. Independent of the clustering features and algorithms used, the resulting clusters are not stable over time. While the costs of a bidding zone split in Germany are high, the effect on prices would be low based on an analysis of the new BZR data. △ Less

Submitted 30 April, 2024; v1 submitted 9 April, 2024; originally announced April 2024.

Comments: 36 pages, 12 figures

Zonal vs. Nodal Pricing: An Analysis of Different Pricing Rules in the German Day-Ahead Market

Authors: Johannes Knörr, Martin Bichler, Teodora Dobos

Abstract: The European electricity market is based on large pricing zones with a uniform day-ahead price. The energy transition leads to changes in supply and demand and increasing redispatch costs. In an attempt to ensure efficient market clearing and congestion management, the EU Commission has mandated the Bidding Zone Review (BZR) to reevaluate the configuration of European bidding zones. Based on a uni… ▽ More The European electricity market is based on large pricing zones with a uniform day-ahead price. The energy transition leads to changes in supply and demand and increasing redispatch costs. In an attempt to ensure efficient market clearing and congestion management, the EU Commission has mandated the Bidding Zone Review (BZR) to reevaluate the configuration of European bidding zones. Based on a unique data set published in the context of the BZR for the target year 2025, we compare various pricing rules for the German power market. We compare market clearing and pricing for different zonal and nodal models, including their generation costs and associated redispatch costs. In numerical experiments with this dataset, the differences in the average prices in different zones are low. Congestion arises as well, but not necessarily on the cross-zonal interconnectors. The total costs across different configurations are similar and the reduction of standard deviations in prices is also small. This might be different with other load and generation scenarios, but the BZR data is important as it was created to make a decision about splits of the existing bidding zones. Nodal pricing rules lead to the lowest total cost. We also evaluate differences of nodal pricing rules with respect to the necessary uplift payments, which is relevant in the context of the current discussion on non-uniform pricing in the EU. While the study focuses on Germany, the analysis is relevant beyond and feeds into the broader discussion about pricing rules in non-convex markets. △ Less

Submitted 20 June, 2024; v1 submitted 14 March, 2024; originally announced March 2024.

Comments: 36 pages, 7 figures

On the Uniqueness of Bayesian Coarse Correlated Equilibria in Standard First-Price and All-Pay Auctions

Authors: Mete Şeref Ahunbay, Martin Bichler

Abstract: We study the Bayesian coarse correlated equilibrium (BCCE) of continuous and discretised first-price and all-pay auctions under the standard symmetric independent private-values model. Our goal is to determine how the canonical Bayes-Nash equilibrium (BNE) of the auction relates to the outcome when all buyers bid following no-regret algorithms. Numerical experiments show that in two buyer first-pr… ▽ More We study the Bayesian coarse correlated equilibrium (BCCE) of continuous and discretised first-price and all-pay auctions under the standard symmetric independent private-values model. Our goal is to determine how the canonical Bayes-Nash equilibrium (BNE) of the auction relates to the outcome when all buyers bid following no-regret algorithms. Numerical experiments show that in two buyer first-price auctions the Wasserstein-$2$ distance of buyers' marginal bid distributions decline as $O(1/n)$ in the discretisation size in instances where the prior distribution is concave, whereas all-pay auctions exhibit similar behaviour without prior dependence. To explain this convergence to a near-equilibrium, we study uniqueness of the BCCE of the continuous auction. Our uniqueness results translate to provable convergence of deterministic self-play to a near equilibrium outcome in these auctions. In the all-pay auction, we show that independent of the prior distribution there is a unique BCCE with symmetric, differentiable, and increasing bidding strategies, which is equivalent to the unique strict BNE. In the first-price auction, we need stronger conditions. Either the prior is strictly concave or the learning algorithm has to be restricted to strictly increasing strategies. Without such strong assumptions, no-regret algorithms can end up in low-price pooling strategies. This is important because it proves that in repeated first-price auctions such as in display ad actions, algorithmic collusion cannot be ruled out without further assumptions even if all bidders rely on no-regret algorithms. △ Less

Submitted 20 June, 2024; v1 submitted 2 January, 2024; originally announced January 2024.

Comments: 73 pages, 6 figures. A first version of this article appeared on ArXiV on January 2nd/3rd, 2024. This version significantly extends the results

Equilibrium Computation in Multi-Stage Auctions and Contests

Authors: Fabian R. Pieroth, Nils Kohring, Martin Bichler

Abstract: We compute equilibrium strategies in multi-stage games with continuous signal and action spaces as they are widely used in the management sciences and economics. Examples include sequential sales via auctions, multi-stage elimination contests, and Stackelberg competitions. In sequential auctions, analysts are required to derive not just single bids but bid functions for all possible signals or val… ▽ More We compute equilibrium strategies in multi-stage games with continuous signal and action spaces as they are widely used in the management sciences and economics. Examples include sequential sales via auctions, multi-stage elimination contests, and Stackelberg competitions. In sequential auctions, analysts are required to derive not just single bids but bid functions for all possible signals or values that a bidder might have in multiple stages. Due to the continuity of the signal and action spaces, these bid functions come from an infinite dimensional space. While such models are fundamental to game theory and its applications, equilibrium strategies are rarely known. The resulting system of non-linear differential equations is considered intractable for all but elementary models. This has been limiting progress in game theory and is a barrier to its adoption in the field. We show that Deep Reinforcement Learning and self-play can learn equilibrium bidding strategies for various multi-stage games without making parametric assumptions on the bid function. We find equilibrium in models that have not yet been explored analytically and new asymmetric equilibrium bid functions for established models of sequential auctions. The verification of equilibrium is challenging in such games due to the continuous signal and action spaces. We introduce a verification algorithm and prove that the error of this verifier decreases when considering Lipschitz continuous strategies with increasing levels of discretization and sample sizes. △ Less

Submitted 18 December, 2023; originally announced December 2023.

Comments: 13 pages (main text), 42 pages (total)

Solving Large-Scale Electricity Market Pricing Problems in Polynomial Time

Authors: Mete Şeref Ahunbay, Martin Bichler, Teodora Dobos, Johannes Knörr

Abstract: Electricity market operators worldwide use mixed-integer linear programming to solve the allocation problem in wholesale electricity markets. Prices are typically determined based on the duals of relaxed versions of this optimization problem. The resulting outcomes are efficient, but market operators must pay out-of-market uplifts to some market participants and incur a considerable budget deficit… ▽ More Electricity market operators worldwide use mixed-integer linear programming to solve the allocation problem in wholesale electricity markets. Prices are typically determined based on the duals of relaxed versions of this optimization problem. The resulting outcomes are efficient, but market operators must pay out-of-market uplifts to some market participants and incur a considerable budget deficit that was criticized by regulators. As the share of renewables increases, the number of market participants will grow, leading to larger optimization problems and runtime issues. At the same time, non-convexities will continue to matter e.g., due to ram** constraints of the generators required to address the variability of renewables or non-convex curtailment costs. We draw on recent theoretical advances in the approximation of competitive equilibrium to compute allocations and prices in electricity markets using convex optimization. The proposed mechanism promises approximate efficiency, no budget deficit, and computational tractability. We present experimental results for this new mechanism in the context of electricity markets, and compare the runtimes, the average efficiency loss of the method, and the uplifts paid with standard pricing rules. We find that the computations with the new algorithm are considerably fast for relevant problem sizes. In general, the computational advantages come at the cost of efficiency losses and a price markup for the demand side. Interestingly, both are small with realistic problem instances. Importantly, the market operator does not incur a budget deficit and the uplifts paid to market participants are significantly lower compared to standard pricing rules. △ Less

Submitted 12 December, 2023; originally announced December 2023.

Comments: 26 pages

Low Revenue in Display Ad Auctions: Algorithmic Collusion vs. Non-Quasilinear Preferences

Authors: Martin Bichler, Alok Gupta, Laura Mathews, Matthias Oberlechner

Abstract: The transition of display ad exchanges from second-price to first-price auctions has raised questions about its impact on revenue, but evaluating these changes empirically proves challenging. Automated bidding agents play a significant role in this transition, often employing dynamic strategies that evolve through exploration and exploitation rather than using the static game-theoretical equilibri… ▽ More The transition of display ad exchanges from second-price to first-price auctions has raised questions about its impact on revenue, but evaluating these changes empirically proves challenging. Automated bidding agents play a significant role in this transition, often employing dynamic strategies that evolve through exploration and exploitation rather than using the static game-theoretical equilibrium strategies. Thus revenue equivalence between first- and second-price auctions might not hold. Research on algorithmic collusion in display ad auctions found that first-price auctions can induce Q-learning agents to tacitly collude below the Nash equilibrium, which leads to lower revenue compared to the second-price auction. Our analysis explores widespread online learning algorithms' convergence behavior in both complete and incomplete information models but does not find systematic deviance from equilibrium behavior. Convergence for Q-learning depends on hyperparameters and initializations, and algorithmic collusion also vanishes when Q-learning agents are competing against other learning algorithms. The objective of bidding agents in these auctions is typically to maximize return-on-investment or return-on-spend, but not necessarily payoff maximization. The revenue comparison under such utility functions is an open question. Analytical derivations of equilibrium are challenging, but learning algorithms allow us to approximate equilibria and predict the outcome when agents have such non-quasilinear objectives. Our analysis shows that if learning agents aim to optimize such objectives rather than payoff, then the second-price auction achieves higher expected revenue compared to the first-price auction. Understanding the intricate interplay of auction rules, learning algorithms, and utility models is crucial in the ever-evolving world of advertising markets. △ Less

Submitted 2 May, 2024; v1 submitted 30 November, 2023; originally announced December 2023.

On the Convergence of Learning Algorithms in Bayesian Auction Games

Authors: Martin Bichler, Stephan B. Lunowa, Matthias Oberlechner, Fabian R. Pieroth, Barbara Wohlmuth

Abstract: Equilibrium problems in Bayesian auction games can be described as systems of differential equations. Depending on the model assumptions, these equations might be such that we do not have a rigorous mathematical solution theory. The lack of analytical or numerical techniques with guaranteed convergence for the equilibrium problem has plagued the field and limited equilibrium analysis to rather sim… ▽ More Equilibrium problems in Bayesian auction games can be described as systems of differential equations. Depending on the model assumptions, these equations might be such that we do not have a rigorous mathematical solution theory. The lack of analytical or numerical techniques with guaranteed convergence for the equilibrium problem has plagued the field and limited equilibrium analysis to rather simple auction models such as single-object auctions. Recent advances in equilibrium learning led to algorithms that find equilibrium under a wide variety of model assumptions. We analyze first- and second-price auctions where simple learning algorithms converge to an equilibrium. The equilibrium problem in auctions is equivalent to solving an infinite-dimensional variational inequality (VI). Monotonicity and the Minty condition are the central sufficient conditions for learning algorithms to converge to an equilibrium in such VIs. We show that neither monotonicity nor pseudo- or quasi-monotonicity holds for the respective VIs. The second-price auction's equilibrium is a Minty-type solution, but the first-price auction is not. However, the Bayes--Nash equilibrium is the unique solution to the VI within the class of uniformly increasing bid functions, which ensures that gradient-based algorithms attain the {equilibrium} in case of convergence, as also observed in numerical experiments. △ Less

Submitted 26 November, 2023; originally announced November 2023.

Enabling First-Order Gradient-Based Learning for Equilibrium Computation in Markets

Authors: Nils Kohring, Fabian R. Pieroth, Martin Bichler

Abstract: Understanding and analyzing markets is crucial, yet analytical equilibrium solutions remain largely infeasible. Recent breakthroughs in equilibrium computation rely on zeroth-order policy gradient estimation. These approaches commonly suffer from high variance and are computationally expensive. The use of fully differentiable simulators would enable more efficient gradient estimation. However, the… ▽ More Understanding and analyzing markets is crucial, yet analytical equilibrium solutions remain largely infeasible. Recent breakthroughs in equilibrium computation rely on zeroth-order policy gradient estimation. These approaches commonly suffer from high variance and are computationally expensive. The use of fully differentiable simulators would enable more efficient gradient estimation. However, the discrete allocation of goods in economic simulations is a non-differentiable operation. This renders the first-order Monte Carlo gradient estimator inapplicable and the learning feedback systematically misleading. We propose a novel smoothing technique that creates a surrogate market game, in which first-order methods can be applied. We provide theoretical bounds on the resulting bias which justifies solving the smoothed game instead. These bounds also allow choosing the smoothing strength a priori such that the resulting estimate has low variance. Furthermore, we validate our approach via numerous empirical experiments. Our method theoretically and empirically outperforms zeroth-order methods in approximation quality and computational efficiency. △ Less

Submitted 16 March, 2023; originally announced March 2023.

MSC Class: 91-08; 91B26; 91A27

$α$-Rank-Collections: Analyzing Expected Strategic Behavior with Uncertain Utilities

Authors: Fabian R. Pieroth, Martin Bichler

Abstract: Game theory relies heavily on the availability of cardinal utility functions, but in fields such as matching markets, only ordinal preferences are typically elicited. The literature focuses on mechanisms with simple dominant strategies, but many real-world applications lack dominant strategies, making the intensity of preferences between outcomes important for determining strategies. Even though p… ▽ More Game theory relies heavily on the availability of cardinal utility functions, but in fields such as matching markets, only ordinal preferences are typically elicited. The literature focuses on mechanisms with simple dominant strategies, but many real-world applications lack dominant strategies, making the intensity of preferences between outcomes important for determining strategies. Even though precise information about cardinal utilities is not available, some data about the likelihood of utility functions is often accessible. We propose to use Bayesian games to formalize uncertainty about the decision-makers' utilities by viewing them as a collection of normal-form games. Instead of searching for the Bayes-Nash equilibrium, we study how uncertainty in utilities is reflected in uncertainty of strategic play. To do this, we introduce a novel solution concept called $α$-Rank-collections, which extends $α$-Rank to Bayesian games. This allows us to analyze strategic play in, for example, non-strategyproof matching markets, for which appropriate solution concepts are currently lacking. $α$-Rank-collections characterize the expected probability of encountering a certain strategy profile under replicator dynamics in the long run, rather than predicting a specific equilibrium strategy profile. We experimentally evaluate $α$-Rank-collections using instances of the Boston mechanism, finding that our solution concept provides more nuanced predictions compared to Bayes-Nash equilibria. Additionally, we prove that $α$-Rank-collections are invariant to positive affine transformations, a standard property for a solution concept, and are efficient to approximate. △ Less

Submitted 18 June, 2024; v1 submitted 18 November, 2022; originally announced November 2022.

Comments: Accepted at the 25th ACM Conference on Economics and Computation (EC), 2024

Pricing Optimal Outcomes in Coupled and Non-Convex Markets: Theory and Applications to Electricity Markets

Authors: Mete Şeref Ahunbay, Martin Bichler, Johannes Knörr

Abstract: According to the fundamental theorems of welfare economics, any competitive equilibrium is Pareto efficient. Unfortunately, competitive equilibrium prices only exist under strong assumptions such as perfectly divisible goods and convex preferences. In many real-world markets, participants have non-convex preferences and the allocation problem needs to consider complex constraints. Electricity mark… ▽ More According to the fundamental theorems of welfare economics, any competitive equilibrium is Pareto efficient. Unfortunately, competitive equilibrium prices only exist under strong assumptions such as perfectly divisible goods and convex preferences. In many real-world markets, participants have non-convex preferences and the allocation problem needs to consider complex constraints. Electricity markets are a prime example, but similar problems appear in many real-world markets, which has led to a growing literature in market design. Power markets use heuristic pricing rules based on the dual of a relaxed allocation problem today. With increasing levels of renewables, these rules have come under scrutiny as they lead to high out-of-market side-payments to some participants and to inadequate congestion signals. We show that existing pricing heuristics optimize specific design goals that can be conflicting. The trade-offs can be substantial, and we establish that the design of pricing rules is fundamentally a multi-objective optimization problem addressing different incentives. In addition to traditional multi-objective optimization techniques using weighing of individual objectives, we introduce a novel parameter-free pricing rule that minimizes incentives for market participants to deviate locally. Our theoretical and experimental findings show how the new pricing rule capitalizes on the upsides of existing pricing rules under scrutiny today. It leads to prices that incur low make-whole payments while providing adequate congestion signals and low lost opportunity costs. Our suggested pricing rule does not require weighing of objectives, it is computationally scalable, and balances trade-offs in a principled manner, addressing an important policy issue in electricity markets. △ Less

Submitted 23 May, 2023; v1 submitted 15 September, 2022; originally announced September 2022.

Comments: 44 pages, 2 figures

Computing Bayes Nash Equilibrium Strategies in Auction Games via Simultaneous Online Dual Averaging

Authors: Martin Bichler, Maximilian Fichtl, Matthias Oberlechner

Abstract: Auctions are modeled as Bayesian games with continuous type and action spaces. Determining equilibria in auction games is computationally hard in general and no exact solution theory is known. We introduce an algorithmic framework in which we discretize type and action space and then learn distributional strategies via online optimization algorithms. One advantage of distributional strategies is t… ▽ More Auctions are modeled as Bayesian games with continuous type and action spaces. Determining equilibria in auction games is computationally hard in general and no exact solution theory is known. We introduce an algorithmic framework in which we discretize type and action space and then learn distributional strategies via online optimization algorithms. One advantage of distributional strategies is that we do not have to make any assumptions on the shape of the bid function. Besides, the expected utility of agents is linear in the strategies. It follows that if our optimization algorithms converge to a pure strategy, then they converge to an approximate equilibrium of the discretized game with high precision. Importantly, we show that the equilibrium of the discretized game approximates an equilibrium in the continuous game. In a wide variety of auction games, we provide empirical evidence that the approach approximates the analytical (pure) Bayes Nash equilibrium closely. This speed and precision is remarkable, because in many finite games learning dynamics do not converge or are even chaotic. In standard models where agents are symmetric, we find equilibrium in seconds. While we focus on dual averaging, we show that the overall approach converges independent of the regularizer and alternative online convex optimization methods achieve similar results, even though the discretized game neither satisfies monotonicity nor variational stability globally. The method allows for interdependent valuations and different types of utility functions and provides a foundation for broadly applicable equilibrium solvers that can push the boundaries of equilibrium analysis in auction markets and beyond. △ Less

Submitted 9 May, 2023; v1 submitted 3 August, 2022; originally announced August 2022.

Core-Stability in Assignment Markets with Financially Constrained Buyers

Authors: Eleni Batziou, Martin Bichler, Maximilian Fichtl

Abstract: We study markets where a set of indivisible items is sold to bidders with unit-demand valuations, subject to a hard budget limit. Without financial constraints and pure quasilinear bidders, this assignment model allows for a simple ascending auction format that maximizes welfare and is incentive-compatible and core-stable. Introducing budget constraints, the ascending auction requires strong addit… ▽ More We study markets where a set of indivisible items is sold to bidders with unit-demand valuations, subject to a hard budget limit. Without financial constraints and pure quasilinear bidders, this assignment model allows for a simple ascending auction format that maximizes welfare and is incentive-compatible and core-stable. Introducing budget constraints, the ascending auction requires strong additional conditions on the unit-demand preferences to maintain its properties. We show that, without these conditions, we cannot hope for an incentive-compatible and core-stable mechanism. We design an iterative algorithm that depends solely on a trivially verifiable ex-post condition and demand queries, and with appropriate decisions made by an auctioneer, always yields a welfare-maximizing and core-stable outcome. If these conditions do not hold, we cannot hope for incentive-compatibility and computing welfare-maximizing assignments and core-stable prices is hard: Even in the presence of value queries, where bidders reveal their valuations and budgets truthfully, we prove that the problem becomes NP-complete for the assignment market model. The analysis complements complexity results for markets with more complex valuations and shows that even with simple unit-demand bidders the problem becomes intractable. This raises doubts on the efficiency of simple auction designs as they are used in high-stakes markets, where budget constraints typically play a role. △ Less

Submitted 12 May, 2022; originally announced May 2022.

Equilibrium Learning in Combinatorial Auctions: Computing Approximate Bayesian Nash Equilibria via Pseudogradient Dynamics

Authors: Stefan Heidekrüger, Paul Sutterer, Nils Kohring, Maximilian Fichtl, Martin Bichler

Abstract: Applications of combinatorial auctions (CA) as market mechanisms are prevalent in practice, yet their Bayesian Nash equilibria (BNE) remain poorly understood. Analytical solutions are known only for a few cases where the problem can be reformulated as a tractable partial differential equation (PDE). In the general case, finding BNE is known to be computationally hard. Previous work on numerical co… ▽ More Applications of combinatorial auctions (CA) as market mechanisms are prevalent in practice, yet their Bayesian Nash equilibria (BNE) remain poorly understood. Analytical solutions are known only for a few cases where the problem can be reformulated as a tractable partial differential equation (PDE). In the general case, finding BNE is known to be computationally hard. Previous work on numerical computation of BNE in auctions has relied either on solving such PDEs explicitly, calculating pointwise best-responses in strategy space, or iteratively solving restricted subgames. In this study, we present a generic yet scalable alternative multi-agent equilibrium learning method that represents strategies as neural networks and applies policy iteration based on gradient dynamics in self-play. Most auctions are ex-post nondifferentiable, so gradients may be unavailable or misleading, and we rely on suitable pseudogradient estimates instead. Although it is well-known that gradient dynamics cannot guarantee convergence to NE in general, we observe fast and robust convergence to approximate BNE in a wide variety of auctions and present a sufficient condition for convergence △ Less

Submitted 6 February, 2021; v1 submitted 28 January, 2021; originally announced January 2021.

Comments: This version includes the supplementary material with additional proofs

MSC Class: 91-08 (primary); 91B26; 91A27 (secondary)

selp: A Single-Shot Epistemic Logic Program Solver

Authors: Manuel Bichler, Michael Morak, Stefan Woltran

Abstract: Epistemic Logic Programs (ELPs) are an extension of Answer Set Programming (ASP) with epistemic operators that allow for a form of meta-reasoning, that is, reasoning over multiple possible worlds. Existing ELP solving approaches generally rely on making multiple calls to an ASP solver in order to evaluate the ELP. However, in this paper, we show that there also exists a direct translation from ELP… ▽ More Epistemic Logic Programs (ELPs) are an extension of Answer Set Programming (ASP) with epistemic operators that allow for a form of meta-reasoning, that is, reasoning over multiple possible worlds. Existing ELP solving approaches generally rely on making multiple calls to an ASP solver in order to evaluate the ELP. However, in this paper, we show that there also exists a direct translation from ELPs into non-ground ASP with bounded arity. The resulting ASP program can thus be solved in a single shot. We then implement this encoding method, using recently proposed techniques to handle large, non-ground ASP rules, into the prototype ELP solving system "selp", which we present in this paper. This solver exhibits competitive performance on a set of ELP benchmark instances. Under consideration in Theory and Practice of Logic Programming (TPLP). △ Less

Submitted 4 January, 2020; originally announced January 2020.

Comments: 19 pages, 2 figures, under consideration in Theory and Practice of Logic Programming (TPLP)

ACM Class: F.4.1; I.2.4

Assigning Course Schedules: About Preference Elicitation, Fairness, and Truthfulness

Authors: Martin Bichler, Sören Merting, Aykut Uzunoglu

Abstract: Course assignment is a wide-spread problem in education and beyond. Often students have preferences for bundles of course seats or course schedules over the week, which need to be considered. The problem is a challenging distributed scheduling task requiring decision support. First-Come First-Served (FCFS) is simple and the most widely used assignment rule in practice, but it leads to inefficient… ▽ More Course assignment is a wide-spread problem in education and beyond. Often students have preferences for bundles of course seats or course schedules over the week, which need to be considered. The problem is a challenging distributed scheduling task requiring decision support. First-Come First-Served (FCFS) is simple and the most widely used assignment rule in practice, but it leads to inefficient outcomes and envy in the allocation. Recent theoretical results suggest alternatives with attractive economic and computational properties. Bundled Probabilistic Serial (BPS) is a randomized mechanism satisfying ordinal efficiency, envy-freeness, and weak strategy-proofness. This mechanism also runs in polynomial time, which is important for the large problem instances in the field. We report empirical results from a first implementation of BPS at the Technical University of Munich, which allows us to provide important empirical metrics such as the size of the resulting matching, the average rank, the profile, and the popularity of the assignments. These metrics were central for the adoption of BPS. In particular, we compare these metrics to Random Serial Dictatorship with bundle bids (BRSD). The BRSD mechanism is used to simulate the wide-spread First-Come First-Served (FCFS) mechanism and it allows us to compare FCFS (BRSD) and BPS. While theoretically appealing, preference elicitation is a major challenge when considering preferences over exponentially many packages. We introduce tools to elicit preferences which reduce the number of parameters a student needs to a manageable set. The approach together with BPS yields a computationally effective tool to solve course assignment problems with thousands of students, and possibly provides an approach for other distributed scheduling tasks in organizations. △ Less

Submitted 7 December, 2018; v1 submitted 6 December, 2018; originally announced December 2018.

Competitive Equilibria in Combinatorial Exchanges with Financially Constrained Buyers:Computational Hardness and Algorithmic Solutions

Authors: Martin Bichler, Stefan Waldherr

Abstract: Advances in computational optimization allow for the organization of large combinatorial markets. We aim for allocations and competitive equilibrium prices, i.e. outcomes that are in the core. The research is motivated by the design of environmental markets, but similar problems appear in energy and logistics markets or in the allocation of airport time slots. Budget constraints are an important c… ▽ More Advances in computational optimization allow for the organization of large combinatorial markets. We aim for allocations and competitive equilibrium prices, i.e. outcomes that are in the core. The research is motivated by the design of environmental markets, but similar problems appear in energy and logistics markets or in the allocation of airport time slots. Budget constraints are an important concern in many of these markets. While the allocation problem in combinatorial exchanges is already NP-hard with payoff- maximizing bidders, we find that the allocation and pricing problem becomes even $Σ_2^p$-hard if buyers are financially constrained. We introduce mixed integer bilevel linear programs (MIBLP) to compute core prices, and propose pricing functions based on the least core if the core is empty. We also discuss restricted but simpler cases and effective computational techniques for the problem. In numerical experiments we show that in spite of the computational hardness of these problems, we can hope to solve practical problem sizes, in particular if we restrict the size of the coalitions considered in the core computations. △ Less

Submitted 22 July, 2018; originally announced July 2018.

ACM Class: F.2

Coexistence of weak and strong coupling with a quantum dot in a photonic molecule

Authors: S. Lichtmannecker, M. Kaniber, S. Echeverri-Arteaga, I. C. Andrade, J. Ruiz-Rivas, T. Reichert, M. Becker, M. Blauth, G. Reithmaier, P. L. Ardelt, M. Bichler, E. A. Gómez, H. Vinck-Posada, E. del Valle, J. J. Finley

Abstract: We study the emission from a molecular photonic cavity formed by two proximal photonic crystal defect cavities containing a small number (<3) of In(Ga)As quantum dots. Under strong excitation we observe photoluminescence from the bonding and antibonding modes in excellent agreement with expectations from numerical simulations. Power dependent measurements reveal an unexpected peak, emerging at an… ▽ More We study the emission from a molecular photonic cavity formed by two proximal photonic crystal defect cavities containing a small number (<3) of In(Ga)As quantum dots. Under strong excitation we observe photoluminescence from the bonding and antibonding modes in excellent agreement with expectations from numerical simulations. Power dependent measurements reveal an unexpected peak, emerging at an energy between the bonding and antibonding modes of the molecule. Temperature dependent measurements show that this unexpected feature is photonic in origin. Time-resolved measurements show the emergent peak exhibits a lifetime $τ_M=0.75 \, \pm 0.1 \, ns $, similar to both bonding and antibonding coupled modes. Comparison of experimental results with theoretical expectations reveal that this new feature arises from a coexistence of weak- and strong-coupling, due to the molecule emitting in an environment whose configuration permits or, on the contrary, impedes its strong-coupling. This scenario is reproduced theoretically for our particular geometry with a master equation reduced to the key ingredients of its dynamics. Excellent qualitative agreement is obtained between experiment and theory, showing how solid-state cavity QED can reveal new regimes of light-matter interaction. △ Less

Submitted 26 June, 2018; originally announced June 2018.

Reproducible experiments on dynamic resource allocation in cloud data centers

Authors: Andreas Wolke, Martin Bichler, Fernando Chirigati, Victoria Steeves

Abstract: In Wolke et al. [1] we compare the efficiency of different resource allocation strategies experimentally. We focused on dynamic environments where virtual machines need to be allocated and deallocated to servers over time. In this companion paper, we describe the simulation framework and how to run simulations to replicate experiments or run new experiments within the framework. In Wolke et al. [1] we compare the efficiency of different resource allocation strategies experimentally. We focused on dynamic environments where virtual machines need to be allocated and deallocated to servers over time. In this companion paper, we describe the simulation framework and how to run simulations to replicate experiments or run new experiments within the framework. △ Less

Submitted 28 February, 2017; originally announced March 2017.

Journal ref: Information Systems, Volume 59, July 2016, Pages 98-101, ISSN 0306-4379

Precise measurement of the thermal and stellar $^{54}$Fe($n, γ$)$^{55}$Fe cross sections via AMS

Authors: Anton Wallner, Tamas Belgya, Kathrin Buczak, Laurent Coquard, Max Bichler, Iris Dillmann, Robin Golser, Franz Käppeler, Amanda Karakas, Walter Kutschera, Claudia Lederer, Alberto Mengoni, Marco Pignatari, Alfred Priller, Rene Reifarth, Peter Steier, Laszlo Szentmiklosi

Abstract: The detection of long-lived radionuclides through ultra-sensitive single atom counting via accelerator mass spectrometry (AMS) offers opportunities for precise measurements of neutron capture cross sections, e.g. for nuclear astrophysics. The technique represents a truly complementary approach, completely independent of previous experimental methods. The potential of this technique is highlighted… ▽ More The detection of long-lived radionuclides through ultra-sensitive single atom counting via accelerator mass spectrometry (AMS) offers opportunities for precise measurements of neutron capture cross sections, e.g. for nuclear astrophysics. The technique represents a truly complementary approach, completely independent of previous experimental methods. The potential of this technique is highlighted at the example of the $^{54}$Fe($n, γ$)$^{55}$Fe reaction. Following a series of irradiations with neutrons from cold and thermal to keV energies, the produced long-lived $^{55}$Fe nuclei ($t_{1/2}=2.744(9)$ yr) were analyzed at the Vienna Environmental Research Accelerator (VERA). A reproducibility of about 1% could be achieved for the detection of $^{55}$Fe, yielding cross section uncertainties of less than 3%. Thus, the new data can serve as anchor points to time-of-flight experiments. We report significantly improved neutron capture cross sections at thermal energy ($σ_{th}=2.30\pm0.07$ b) as well as for a quasi-Maxwellian spectrum of $kT=25$ keV ($σ=30.3\pm1.2$ mb) and for $E_n=481\pm53$ keV ($σ= 6.01\pm0.23$ mb). The new experimental cross sections have been used to deduce improved Maxwellian average cross sections in the temperature regime of the common $s$-process scenarios. The astrophysical impact is discussed using stellar models for low-mass AGB stars. △ Less

Submitted 28 November, 2016; originally announced November 2016.

lpopt: A Rule Optimization Tool for Answer Set Programming

Authors: Manuel Bichler, Michael Morak, Stefan Woltran

Abstract: State-of-the-art answer set programming (ASP) solvers rely on a program called a grounder to convert non-ground programs containing variables into variable-free, propositional programs. The size of this grounding depends heavily on the size of the non-ground rules, and thus, reducing the size of such rules is a promising approach to improve solving performance. To this end, in this paper we announ… ▽ More State-of-the-art answer set programming (ASP) solvers rely on a program called a grounder to convert non-ground programs containing variables into variable-free, propositional programs. The size of this grounding depends heavily on the size of the non-ground rules, and thus, reducing the size of such rules is a promising approach to improve solving performance. To this end, in this paper we announce lpopt, a tool that decomposes large logic programming rules into smaller rules that are easier to handle for current solvers. The tool is specifically tailored to handle the standard syntax of the ASP language (ASP-Core) and makes it easier for users to write efficient and intuitive ASP programs, which would otherwise often require significant hand-tuning by expert ASP engineers. It is based on an idea proposed by Morak and Woltran (2012) that we extend significantly in order to handle the full ASP syntax, including complex constructs like aggregates, weak constraints, and arithmetic expressions. We present the algorithm, the theoretical foundations on how to treat these constructs, as well as an experimental evaluation showing the viability of our approach. △ Less

Submitted 23 August, 2016; v1 submitted 19 August, 2016; originally announced August 2016.

Comments: Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534), 14 pages, LaTeX, 2 figures

Report number: LOPSTR/2016/40

Generalized Assignment Problem: Truthful Mechanism Design without Money

Authors: Salman Fadaei, Martin Bichler

Abstract: In this paper, we study a problem of truthful mechanism design for a strategic variant of the generalized assignment problem (GAP) in a both payment-free and prior-free environment. In GAP, a set of items has to be optimally assigned to a set of bins without exceeding the capacity of any singular bin. In the strategic variant of the problem we study, bins are held by strategic agents, and each age… ▽ More In this paper, we study a problem of truthful mechanism design for a strategic variant of the generalized assignment problem (GAP) in a both payment-free and prior-free environment. In GAP, a set of items has to be optimally assigned to a set of bins without exceeding the capacity of any singular bin. In the strategic variant of the problem we study, bins are held by strategic agents, and each agent may hide its compatibility with some items in order to obtain items of higher values. The compatibility between an agent and an item encodes the willingness of the agent to receive the item. Our goal is to maximize total value (sum of agents' values, or social welfare) while certifying no agent can benefit from hiding its compatibility with items. The model has applications in auctions with budgeted bidders. For two variants of the problem, namely \emph{multiple knapsack problem} in which each item has the same size and value over bins, and \emph{density-invariant GAP} in which each item has the same value density over the bins, we propose truthful $4$-approximation algorithms. For the general problem, we propose an $O(\ln{(U/L)})$-approximation mechanism where $U$ and $L$ are the upper and lower bounds for value densities of the compatible item-bin pairs. △ Less

Submitted 15 January, 2017; v1 submitted 15 August, 2016; originally announced August 2016.

Comments: This paper is accepted at the journal of Operations Research Letters. 21 pages

The Power of Non-Ground Rules in Answer Set Programming

Authors: Manuel Bichler, Michael Morak, Stefan Woltran

Abstract: Answer set programming (ASP) is a well-established logic programming language that offers an intuitive, declarative syntax for problem solving. In its traditional application, a fixed ASP program for a given problem is designed and the actual instance of the problem is fed into the program as a set of facts. This approach typically results in programs with comparably short and simple rules. Howeve… ▽ More Answer set programming (ASP) is a well-established logic programming language that offers an intuitive, declarative syntax for problem solving. In its traditional application, a fixed ASP program for a given problem is designed and the actual instance of the problem is fed into the program as a set of facts. This approach typically results in programs with comparably short and simple rules. However, as is known from complexity analysis, such an approach limits the expressive power of ASP; in fact, an entire NP-check can be encoded into a single large rule body of bounded arity that performs both a guess and a check within the same rule. Here, we propose a novel paradigm for encoding hard problems in ASP by making explicit use of large rules which depend on the actual instance of the problem. We illustrate how this new encoding paradigm can be used, providing examples of problems from the first, second, and even third level of the polynomial hierarchy. As state-of-the-art solvers are tuned towards short rules, rule decomposition is a key technique in the practical realization of our approach. We also provide some preliminary benchmarks which indicate that giving up the convenient way of specifying a fixed program can lead to a significant speed-up. This paper is under consideration for acceptance into TPLP. △ Less

Submitted 5 August, 2016; originally announced August 2016.

Comments: Paper presented at the 32nd International Conference on Logic Programming (ICLP 2016), New York City, USA, 16-21 October 2016, 15 pages, LaTeX, 2 figures

Truthfulness with Value-Maximizing Bidders

Authors: Salman Fadaei, Martin Bichler

Abstract: In markets such as digital advertising auctions, bidders want to maximize value rather than payoff. This is different to the utility functions typically assumed in auction theory and leads to different strategies and outcomes. We refer to bidders who maximize value as value bidders. While simple single-object auction formats are truthful, standard multi-object auction formats allow for manipulatio… ▽ More In markets such as digital advertising auctions, bidders want to maximize value rather than payoff. This is different to the utility functions typically assumed in auction theory and leads to different strategies and outcomes. We refer to bidders who maximize value as value bidders. While simple single-object auction formats are truthful, standard multi-object auction formats allow for manipulation. It is straightforward to show that there cannot be a truthful and revenue-maximizing deterministic auction mechanism with value bidders and general valuations. Approximation has been used as a means to achieve truthfulness, and we study which approximation ratios we can get from truthful approximation mechanisms. We show that the approximation ratio that can be achieved with a deterministic and truthful approximation mechanism with $n$ bidders and $m$ items cannot be higher than 1/n for general valuations. For randomized approximation mechanisms there is a framework with a ratio of O(sqrt(m)). We provide better ratios for environments with restricted valuations. △ Less

Submitted 13 July, 2016; originally announced July 2016.

A few-emitter solid-state multi-exciton laser

Authors: S. Lichtmannecker, M. Florian, T. Reichert, M. Blauth, M. Bichler, F. Jahnke, J. J. Finley, C. Gies, M. Kaniber

Abstract: We report a combined experimental and theoretical study of non-conventional lasing from higher multi-exciton states of a few quantum dot-photonic crystal nanocavity. We show that the photon output is fed from saturable quantum emitters rather than a non-saturable background despite being rather insensitive to the spectral position of the mode. Although the exciton transitions of each quantum dot a… ▽ More We report a combined experimental and theoretical study of non-conventional lasing from higher multi-exciton states of a few quantum dot-photonic crystal nanocavity. We show that the photon output is fed from saturable quantum emitters rather than a non-saturable background despite being rather insensitive to the spectral position of the mode. Although the exciton transitions of each quantum dot are detuned by up to $160$ cavity linewidths, we observe that strong excitation populates a multitude of closely spaced multi-exciton states, which partly overlap spectrally with the mode. The limited number of emitters is confirmed by a complete saturation of the mode intensity at strong pum**, providing sufficient gain to reach stimulated emission, whilst being accompanied by a distinct lasing threshold. Detailed second-order photon-correlation measurements unambiguously identify the transition to lasing for strong pum** and, most remarkably, reveal super-thermal photon bunching with $g^{(2)}(0)>2$ below lasing threshold. Based on our microscopic theory, a pump-rate dependent $β$-factor $β(P)$ is needed to describe the nanolaser and account for the interplay of multi-exciton transitions in the few-emitter gain medium. Moreover, we theoretically predict that the super-thermal bunching is related to dipole-anticorrelated multi-exciton recombination channels via sub- and super-radiant coupling below and above lasing threshold, respectively. Our results provide new insights into the microscopic light-matter-coupling of spatially separated emitters coupled to a common cavity mode and, thus, provides a complete understanding of stimulated emission in nanolasers with discrete emitters. △ Less

Submitted 3 March, 2016; v1 submitted 12 February, 2016; originally announced February 2016.

Coulomb mediated hybridization of excitons in artificial molecules

Authors: P. -L. Ardelt, K. Gawarecki, K. Müller, A. M. Waeber, A. Bechtold, K. Oberhofer, J. M. Daniels, F. Klotz, M. Bichler, T. Kuhn, H. J. Krenner, P. Machnikowski, G. Abstreiter, J. J. Finley

Abstract: We report the Coulomb mediated hybridization of excitonic states in an optically active, artificial quantum dot molecule. By probing the optical response of the artificial molecule as a function of the static electric field applied along the molecular axis, we observe unexpected avoided level crossings that do not arise from the dominant single particle tunnel coupling. We identify a new few-parti… ▽ More We report the Coulomb mediated hybridization of excitonic states in an optically active, artificial quantum dot molecule. By probing the optical response of the artificial molecule as a function of the static electric field applied along the molecular axis, we observe unexpected avoided level crossings that do not arise from the dominant single particle tunnel coupling. We identify a new few-particle coupling mechanism stemming from Coulomb interactions between different neutral exciton states. Such Coulomb resonances hybridize the exciton wave function over four different electron and hole single-particle orbitals. Comparisons of experimental observations with microscopic 8-band $k \cdot p$ calculations taking into account a realistic quantum dot geometry show good agreement and reveal that the Coulomb resonances arise from broken symmetry in the artificial molecule. △ Less

Submitted 29 September, 2015; originally announced September 2015.

Journal ref: Phys. Rev. Lett. 116, 077401 (2016)

The thermal neutron capture cross section of the radioactive isotope $^{60}$Fe

Authors: T. Heftrich, M. Bichler, R. Dressler, K. Eberhardt, A. Endres, J. Glorius, K. Göbel, G. Hampel, M. Heftrich, F. Käppeler, C. Lederer, M. Mikorski, R. Plag, R. Reifarth, C. Stieghorst, S. Schmidt, D. Schumann, Z. Slavkovská, K. Sonnabend, A. Wallner, M. Weigand, N. Wiehl, S. Zauner

Abstract: 50% of the heavy element abundances are produced via slow neutron capture reactions in different stellar scenarios. The underlying nucleosynthesis models need the input of neutron capture cross sections. One of the fundamental signatures for active nucleosynthesis in our galaxy is the observation of long-lived radioactive isotopes, such as $^{60}$Fe with a half-life of $2.60\times10^6$ yr. To repr… ▽ More 50% of the heavy element abundances are produced via slow neutron capture reactions in different stellar scenarios. The underlying nucleosynthesis models need the input of neutron capture cross sections. One of the fundamental signatures for active nucleosynthesis in our galaxy is the observation of long-lived radioactive isotopes, such as $^{60}$Fe with a half-life of $2.60\times10^6$ yr. To reproduce this $γ$-activity in the universe, the nucleosynthesis of $^{60}$Fe has to be understood reliably. A $^{60}$Fe sample produced at the Paul-Scherrer-Institut was activated with thermal and epithermal neutrons at the research reactor at the Johannes Gutenberg-Universität Mainz. The thermal neutron capture cross section has been measured for the first time to $σ_{\text{th}}=0.226 \ (^{+0.044}_{-0.049})$ b. An upper limit of $σ_{\text{RI}} < 0.50$ b could be determined for the resonance integral. An extrapolation towards the astrophysicaly interesting energy regime between $kT$=10 keV and 100 keV illustrates that the s-wave part of the direct capture component can be neglected. △ Less

Submitted 11 July, 2015; originally announced July 2015.

Comments: 8 pages, 8 Figs, accepted for publication at PRC

Journal ref: Phys. Rev. C 92, 15806 (2015)

Independent dynamic acousto-mechanical and electrostatic control of individual quantum dots in a LiNbO$_{3}$-GaAs hybrid

Authors: J. Pustiowski, K. Müller, M. Bichler, G. Koblmüller, J. J. Finley, A. Wixforth, H. J. Krenner

Abstract: We demonstrate tuning of single quantum dot emission lines by the combined action of the dynamic acoustic field of a radio frequency surface acoustic wave and a static electric field. Both tuning parameters are set all-electrically in a LiNbO$_{3}$-GaAs hybrid device. The surface acoustic wave is excited directly on the strong piezoelectric LiNbO$_{3}$ onto which a GaAs-based p-i-n photodiode cont… ▽ More We demonstrate tuning of single quantum dot emission lines by the combined action of the dynamic acoustic field of a radio frequency surface acoustic wave and a static electric field. Both tuning parameters are set all-electrically in a LiNbO$_{3}$-GaAs hybrid device. The surface acoustic wave is excited directly on the strong piezoelectric LiNbO$_{3}$ onto which a GaAs-based p-i-n photodiode containing a single layer of quantum dots was epitaxially transferred. We demonstrate dynamic spectral tuning with bandwidths exceeding 3 meV of single quantum dot emission lines due to deformation potential coupling. The center energy of the dynamic spectral oscillation can be independently programmed simply by setting the bias voltage applied to the diode. △ Less

Submitted 16 December, 2014; v1 submitted 22 October, 2014; originally announced October 2014.

Comments: 13 pages, 4 figures, revised version, some typos fixed

Journal ref: Applied Physics Letters 106, 013107 (2015)

Dynamic Acoustic Control of Individual Optically Active Quantum Dot-like Emission Centers in Heterostructure Nanowires

Authors: Matthias Weiß, Jörg B. Kinzel, Florian J. R. Schülein, Michael Heigl, Daniel Rudolph, Stefanie Morkötter, Markus Döblinger, Max Bichler, Gerhard Abstreiter, Jonathan J. Finley, Gregor Koblmüller, Achim Wixforth, Hubert J. Krenner

Abstract: We probe and control the optical properties of emission centers forming in radial het- erostructure GaAs-Al0.3Ga0.7As nanowires and show that these emitters, located in Al0.3Ga0.7As layers, can exhibit quantum-dot like characteristics. We employ a radio frequency surface acoustic wave to dynamically control their emission energy and occupancy state on a nanosec- ond timescale. In the spectral osci… ▽ More We probe and control the optical properties of emission centers forming in radial het- erostructure GaAs-Al0.3Ga0.7As nanowires and show that these emitters, located in Al0.3Ga0.7As layers, can exhibit quantum-dot like characteristics. We employ a radio frequency surface acoustic wave to dynamically control their emission energy and occupancy state on a nanosec- ond timescale. In the spectral oscillations we identify unambiguous signatures arising from both the mechanical and electrical component of the surface acoustic wave. In addition, differ- ent emission lines of a single quantum dot exhibit pronounced anti-correlated intensity oscilla- tions during the acoustic cycle. These arise from a dynamically triggered carrier extraction out of the quantum dot to a continuum in the radial heterostructure. Using finite element modeling and Wentzel-Kramers-Brillouin theory we identify quantum tunneling as the underlying mech- anism. These simulation results quantitatively reproduce the observed switching and show that in our systems these quantum dots are spatially separated from the continuum by > 10.5 nm. △ Less

Submitted 8 October, 2014; originally announced October 2014.

Comments: This document is the unedited Author's version of a Submitted Work that was subsequently accepted for publication in Nano Letters, copyright \c{copyright} American Chemical Society after peer review. To access the final edited and published work see http://pubs.acs.org/doi/abs/10.1021/nl4040434

Journal ref: Nano Letters 14, 2256 (2014)

Directional and dynamic modulation of the optical emission of an individual GaAs nanowire using surface acoustic waves

Authors: Jörg B. Kinzel, Daniel Rudolph, Max Bichler, Gerhard Abstreiter, Jonathan J. Finley, Gregor Koblmüller, Achim Wixforth, Hubert J. Krenner

Abstract: We report on optical experiments performed on individual GaAs nanowires and the ma- nipulation of their temporal emission characteristics using a surface acoustic wave. We find a pronounced, characteristic suppression of the emission intensity for the surface acoustic wave propagation aligned with the axis of the nanowire. Furthermore, we demonstrate that this quenching is dynamical as it shows a… ▽ More We report on optical experiments performed on individual GaAs nanowires and the ma- nipulation of their temporal emission characteristics using a surface acoustic wave. We find a pronounced, characteristic suppression of the emission intensity for the surface acoustic wave propagation aligned with the axis of the nanowire. Furthermore, we demonstrate that this quenching is dynamical as it shows a pronounced modulation as the local phase of the surface acoustic wave is tuned. These effects are strongly reduced for a SAW applied in the direction perpendicular to the axis of the nanowire due to their inherent one-dimensional geometry. We resolve a fully dynamic modulation of the nanowire emission up to 678 MHz not limited by the physical properties of the nanowires. △ Less

Submitted 8 October, 2014; originally announced October 2014.

Comments: This document is the Accepted Manuscript version of a Published Work that appeared in final form in Nano Letters, copyright \c{opyright} American Chemical Society after peer review and technical editing by the publisher. To access the final edited and published work see http://pubs.acs.org/doi/abs/10.1021/nl1042775

Journal ref: Nano Letters 11, 1512-1517 (2011)

A Truthful Mechanism for the Generalized Assignment Problem

Authors: Salman Fadaei, Martin Bichler

Abstract: We propose a truthful-in-expectation, $(1-1/e)$-approximation mechanism for a strategic variant of the generalized assignment problem (GAP). In GAP, a set of items has to be optimally assigned to a set of bins without exceeding the capacity of any singular bin. In the strategic variant of the problem we study, values for assigning items to bins are the private information of bidders and the mechan… ▽ More We propose a truthful-in-expectation, $(1-1/e)$-approximation mechanism for a strategic variant of the generalized assignment problem (GAP). In GAP, a set of items has to be optimally assigned to a set of bins without exceeding the capacity of any singular bin. In the strategic variant of the problem we study, values for assigning items to bins are the private information of bidders and the mechanism should provide bidders with incentives to truthfully report their values. The approximation ratio of the mechanism is a significant improvement over the approximation ratio of the existing truthful mechanism for GAP. The proposed mechanism comprises a novel convex optimization program as the allocation rule as well as an appropriate payment rule. To implement the convex program in polynomial time, we propose a fractional local search algorithm which approximates the optimal solution within an arbitrarily small error leading to an approximately truthful-in-expectation mechanism. The presented algorithm improves upon the existing optimization algorithms for GAP in terms of simplicity and runtime while the approximation ratio closely matches the best approximation ratio given for GAP when all inputs are publicly known. △ Less

Submitted 15 August, 2016; v1 submitted 7 October, 2014; originally announced October 2014.

Comments: 18 pages, Earlier version accepted at WINE 2014

Fast Convex Decomposition for Truthful Social Welfare Approximation

Authors: Dennis Kraft, Salman Fadaei, Martin Bichler

Abstract: Approximating the optimal social welfare while preserving truthfulness is a well studied problem in algorithmic mechanism design. Assuming that the social welfare of a given mechanism design problem can be optimized by an integer program whose integrality gap is at most $α$, Lavi and Swamy~\cite{Lavi11} propose a general approach to designing a randomized $α$-approximation mechanism which is truth… ▽ More Approximating the optimal social welfare while preserving truthfulness is a well studied problem in algorithmic mechanism design. Assuming that the social welfare of a given mechanism design problem can be optimized by an integer program whose integrality gap is at most $α$, Lavi and Swamy~\cite{Lavi11} propose a general approach to designing a randomized $α$-approximation mechanism which is truthful in expectation. Their method is based on decomposing an optimal solution for the relaxed linear program into a convex combination of integer solutions. Unfortunately, Lavi and Swamy's decomposition technique relies heavily on the ellipsoid method, which is notorious for its poor practical performance. To overcome this problem, we present an alternative decomposition technique which yields an $α(1 + ε)$ approximation and only requires a quadratic number of calls to an integrality gap verifier. △ Less

Submitted 12 August, 2014; originally announced August 2014.

Highly directed emission from self-assembled quantum dots into guided modes in disordered photonic crystal waveguides

Authors: Thorsten Reichert, Stefan Lichtmannecker, Günther Reithmaier, Martin Zeitlmair, Julia Wembacher, Andreas Rauscher, Max Bichler, Kai Müller, Michael Kaniber, Jonathan James Finley

Abstract: We explore the dynamics and directionality of spontaneous emission from self-assembled In(Ga)As quantum dots into TE-polarised guided modes in GaAs two-dimensional photonic crystal waveguides. The local group velocity of the guided waveguide mode is probed, with values as low as $\sim 1.5\%\times c$ measured close to the slow-light band edge. By performing complementary continuous wave and time-re… ▽ More We explore the dynamics and directionality of spontaneous emission from self-assembled In(Ga)As quantum dots into TE-polarised guided modes in GaAs two-dimensional photonic crystal waveguides. The local group velocity of the guided waveguide mode is probed, with values as low as $\sim 1.5\%\times c$ measured close to the slow-light band edge. By performing complementary continuous wave and time-resolved measurements with detection along, and perpendicular to the waveguide axis we probe the fraction of emission into the waveguide mode ($β$-factor). For dots randomly positioned within the unit cell of the photonic crystal waveguide our results show that the emission rate varies from $\geq 1.55$ $ns^{-1}$ close to the slow-light band edge to $\leq 0.25$ $ns^{-1}$ within the two-dimensional photonic bandgap. We measure an average Purcell-factor of $\sim 2\times$ for dots randomly distributed within the waveguide and maximum values of $β\sim 90 \%$ close to the slow light band edge. Spatially resolved measurements performed by exciting dots at a well controlled distance $0-45$ μm from the waveguide facet highlight the impact of disorder on the slow-light dispersion. Although disorder broadens the spectral width of the slow light region of the waveguide dispersion from $δE_{d}\leq 0.5$ meV to $>6$ meV, we find that emission is nevertheless primarily directed into propagating waveguide modes. The ability to control the rate and directionality of emission from isolated quantum emitters by placing them in a tailored photonic environment provides much promise for the use of slow-light phenomena to realise efficient single photon sources for quantum optics in a highly integrated setting. △ Less

Submitted 24 July, 2014; originally announced July 2014.

Journal ref: Phys. Rev. B 90, 115310 (2014)

Imaging surface plasmon polaritons using proximal self-assembled InGaAs quantum dots

Authors: Gregor Bracher, Konrad Schraml, Mäx Blauth, Jakob Wierzbowski, Nicolas Coca Lopez, Max Bichler, Kai Müller, Jonathan J. Finley, Michael Kaniber

Abstract: We present optical investigations of hybrid plasmonic nanosystems consisting of lithographically defined plasmonic Au-waveguides or beamsplitters on GaAs substrates coupled to proximal self-assembled InGaAs quantum dots. We designed a sample structure that enabled us to precisely tune the distance between quantum dots and the sample surface during nano-fabrication and demonstrated that non-radiati… ▽ More We present optical investigations of hybrid plasmonic nanosystems consisting of lithographically defined plasmonic Au-waveguides or beamsplitters on GaAs substrates coupled to proximal self-assembled InGaAs quantum dots. We designed a sample structure that enabled us to precisely tune the distance between quantum dots and the sample surface during nano-fabrication and demonstrated that non-radiative processes do not play a major role for separations down to $\sim 10 nm$. A polarized laser beam focused on one end of the plasmonic nanostructure generates propagating surface plasmon polaritons that, in turn, create electron-hole pairs in the GaAs substrate during propagation. These free carriers are subsequently captured by the quantum dots $\sim 25 nm$ below the surface, giving rise to luminescence. The intensity of the spectrally integrated quantum dot luminescence is used to image the propagating plasmon modes. As the waveguide width reduces from $5 μm$ to $1 μm$, we clearly observe different plasmonic modes at the remote waveguide end, enabling their direct imaging in real space. This imaging technique is applied to a plasmonic beamsplitter facilitating the determination of the splitting ratio between the two beamsplitter output ports as the interaction length $L_i$ is varied. A splitting ratio of $50:50$ is observed for $L_i\sim 9\pm1 μm$ and $1 μm$ wide waveguides for excitation energies close to the GaAs band edge. Our experimental findings are in good agreement with mode profile and finite difference time domain simulations for both waveguides and beamsplitters. △ Less

Submitted 26 May, 2014; originally announced May 2014.

Comments: 20 pages, 5 figures (color)

Journal ref: J. Appl. Phys. 116, 033101 (2014)

Radio frequency occupancy state control of a single nanowire quantum dot

Authors: Matthias Weiß, Florian J. R. Schülein, Jörg B. Kinzel, Michael Heigl, Daniel Rudolph, Max Bichler, Gerhard Abstreiter, Jonathan J. Finley, Achim Wixforth, Gregor Koblmüller, Hubert J. Krenner

Abstract: The excitonic occupancy state of a single, nanowire-based, heterostructure quantum dot is dynamically programmed by a surface acoustic wave. The quantum dot is formed by an interface or thickness fluctuation of a GaAs QW embedded in a AlGaAs shell of a GaAs-AlGaAs core-shell nanowire. As we tune the time at which carriers are photogenerated during the acoustic cycle, we find pronounced intensity o… ▽ More The excitonic occupancy state of a single, nanowire-based, heterostructure quantum dot is dynamically programmed by a surface acoustic wave. The quantum dot is formed by an interface or thickness fluctuation of a GaAs QW embedded in a AlGaAs shell of a GaAs-AlGaAs core-shell nanowire. As we tune the time at which carriers are photogenerated during the acoustic cycle, we find pronounced intensity oscillations of neutral and negatively charged excitons. At high acoustic power levels these oscillations become anticorrelated which enables direct acoustic programming of the dot's charge configuration, emission intensity and emission wavelength. Numerical simulations confirm that the observed modulations arise from acoustically controlled modulations of the electron and electron-hole-pair concentrations at the position of the quantum dot. △ Less

Submitted 23 May, 2014; v1 submitted 11 April, 2014; originally announced April 2014.

Comments: Revised manuscript, 12 pages, submitted to J. Phys. D as a contribution in a Special Issue on Nanowires

Journal ref: J. Phys. D: Appl. Phys. 47, 394011 (2014)

Acoustically regulated carrier injection into a single optically active quantum dot

Authors: Florian J. R. Schülein, Kai Müller, Max Bichler, Gregor Koblmüller, Jonathan J. Finley, Achim Wixforth, Hubert J. Krenner

Abstract: We study the carrier injection into a single InGaAs/GaAs quantum dot regulated by a radio frequency surface acoustic wave. We find that the time of laser excitation during the acoustic cycle programs both the emission intensities and time of formation of neutral $(X^0)$ and negatively charged $(X^-)$ excitons. We identify underlying, characteristic formation pathways of both few-particle states in… ▽ More We study the carrier injection into a single InGaAs/GaAs quantum dot regulated by a radio frequency surface acoustic wave. We find that the time of laser excitation during the acoustic cycle programs both the emission intensities and time of formation of neutral $(X^0)$ and negatively charged $(X^-)$ excitons. We identify underlying, characteristic formation pathways of both few-particle states in the time-domain experiments and show that both exciton species can be formed either with the optical pump or at later times by injection of single electrons and holes "surfing" the acoustic wave. All experimental observations are in excellent agreement with calculated electron and hole trajectories in the plane of the two-dimensional wetting layer which is dynamically modulated by the acoustically induced piezoelectric potentials. Taken together, our findings provide insight on both the onset of acousto-electric transport of electrons and holes and their conversion into the optical domain after regulated injection into a single quantum dot emitter. △ Less

Submitted 25 June, 2013; originally announced June 2013.

Journal ref: Phys. Rev. B 88, 085307 (2013)

On-chip time resolved detection of quantum dot emission using integrated superconducting single photon detectors

Authors: Günther Reithmaier, Stefan Lichtmannecker, Thorsten Reichert, Peter Hasch, Kai Müller, Max Bichler, Rudolf Gross, Jonathan J. Finley

Abstract: We report the routing of quantum light emitted by self-assembled InGaAs quantum dots (QDs) into the optical modes of a GaAs ridge waveguide and its efficient detection on-chip via evanescent coupling to NbN superconducting nanowire single photon detectors (SNSPDs). Individual QD light sources embedded within such integrated nano-photonic circuits are highly attractive for the realization of quantu… ▽ More We report the routing of quantum light emitted by self-assembled InGaAs quantum dots (QDs) into the optical modes of a GaAs ridge waveguide and its efficient detection on-chip via evanescent coupling to NbN superconducting nanowire single photon detectors (SNSPDs). Individual QD light sources embedded within such integrated nano-photonic circuits are highly attractive for the realization of quantum photonic circuits for many applications in photonic information science. Here, we demonstrate that the waveguide coupled SNSPDs primarily detect QD luminescence with scattered photons from the excitation laser being negligible by comparison. The SNSPD detection efficiency from the evanescently coupled waveguide modes is shown to be two orders of magnitude higher when compared with operation under normal incidence illumination. Furthermore, in-situ time resolved measurements show an average exciton lifetime of 0.93 \pm 0.03 ns when recorded with the integrated detector with an ultrafast timing jitter of only 72 \pm 2 ps showing the great potential of this highly integrated quantum optics system. △ Less

Submitted 15 February, 2013; originally announced February 2013.

Comments: 15 pages, 4 figures

Journal ref: Sci. Rep. 3, 1901 (2013)

All optical quantum control of a spin-quantum state and ultrafast transduction into an electric current

Authors: K. Müller, T. Kaldewey, R. Ripszam, J. S. Wildmann, A. Bechtold, M. Bichler, G. Koblmüller, G. Abstreiter, J. J. Finley

Abstract: The ability to control and exploit quantum coherence and entanglement drives research across many fields ranging from ultra-cold quantum gases to spin systems in condensed matter. Transcending different physical systems, optical approaches have proven themselves to be particularly powerful, since they profit from the established toolbox of quantum optical techniques, are state-selective, contact-l… ▽ More The ability to control and exploit quantum coherence and entanglement drives research across many fields ranging from ultra-cold quantum gases to spin systems in condensed matter. Transcending different physical systems, optical approaches have proven themselves to be particularly powerful, since they profit from the established toolbox of quantum optical techniques, are state-selective, contact-less and can be extremely fast. Here, we demonstrate how a precisely timed sequence of monochromatic ultrafast (~2-5 ps) optical pulses, with a well defined polarisation can be used to prepare arbitrary superpositions of exciton spin states in a semiconductor quantum dot, achieve ultrafast control of the spin-wavefunction without an applied magnetic field and make high fidelity read-out the quantum state in an arbitrary basis simply by detecting a strong (~2-10$ pA) electric current flowing in an external circuit. The results obtained show that the combined quantum state preparation, control and read-out can be performed with a near-unity (>97%) fidelity. Our methods are fully applicable to other quantum systems and have strong potential for scaling to more complex systems such as molecules and spin-chains. △ Less

Submitted 12 December, 2012; originally announced December 2012.

Journal ref: Scientific Reports 3, 1906 (2013)

Dirac cone shift of a passivated topological Bi2Se3 interface state

Authors: Gregory S. Jenkins, Andrei B. Sushkov, Don C. Schmadel, Max Bichler, Gregor Koblmueller, Matthew Brahlek, Namrata Bansal, Seongshik Oh, H. Dennis Drew

Abstract: Gated terahertz cyclotron resonance measurements on epitaxial Bi2Se3 thin films capped with In2Se3 enable the first spectroscopic characterization of a single topological interface state from the vicinity of the Dirac point to above the conduction band edge. A precipitous drop in the scattering rate with Fermi energy is observed that is interpreted as the surface state decoupling from bulk states… ▽ More Gated terahertz cyclotron resonance measurements on epitaxial Bi2Se3 thin films capped with In2Se3 enable the first spectroscopic characterization of a single topological interface state from the vicinity of the Dirac point to above the conduction band edge. A precipitous drop in the scattering rate with Fermi energy is observed that is interpreted as the surface state decoupling from bulk states and evidence of a shift of the Dirac point towards mid-gap. Near the Dirac point, potential fluctuations of 50 meV are deduced from an observed loss of differential optical spectral weight near the Dirac point. Potential fluctuations are reduced by a factor of two at higher surface Fermi levels in the vicinity of the conduction band edge inferred from the width of the scattering rate step. The passivated topological interface state attains a high mobility of 3500 cm2/Vsec near the Dirac point. △ Less

Submitted 10 December, 2012; v1 submitted 19 August, 2012; originally announced August 2012.

Comments: 12 Pages, 6 figures

Journal ref: Phys. Rev. B 87, 155126 (2013)

Fluctuation induced luminescence sidebands in the emission spectra of resonantly driven quantum dots

Authors: Fabrice P. Laussy, Vase Jovanov, Elena del Valle, Alexander Bechtold, Stephan Kapfinger, Kai Müller, Sebastian Koch, Arne Laucht, Thomas Eissfeller, Max Bichler, Gerhard Abstreiter, Jonathan J. Finley

Abstract: We describe how complex fluctuations of the local environment of an optically active quantum dot can leave rich fingerprints in its emission spectrum. A new feature, termed "Fluctuation Induced Luminescence" (FIL), is observed to arise from extremely rare fluctuation events that have a dramatic impact on the response of the system-so called "black swan" events. A quantum dissipative master equatio… ▽ More We describe how complex fluctuations of the local environment of an optically active quantum dot can leave rich fingerprints in its emission spectrum. A new feature, termed "Fluctuation Induced Luminescence" (FIL), is observed to arise from extremely rare fluctuation events that have a dramatic impact on the response of the system-so called "black swan" events. A quantum dissipative master equation formalism is developed to describe this effect phenomenologically. Experiments performed on single quantum dots subject to electrical noise show excellent agreement with our theory, producing the characteristic FIL sidebands. △ Less

Submitted 30 July, 2012; originally announced July 2012.

Comments: 17 pages, 4 figures

Broadband Purcell enhanced emission dynamics of quantum dots in linear photonic crystal waveguides

Authors: Arne Laucht, Thomas Günthner, Simon Pütz, Rebecca Saive, Simon Frédérick, Norman Hauke, Max Bichler, Markus-Christian Amann, Alexander W. Holleitner, Michael Kaniber, Jonathan J. Finley

Abstract: The authors investigate the spontaneous emission dynamics of self-assembled InGaAs quantum dots embedded in GaAs photonic crystal waveguides. For an ensemble of dots coupled to guided modes in the waveguide we report spatially, spectrally, and time-resolved photoluminescence measurements, detecting normal to the plane of the photonic crystal. For quantum dots emitting in resonance with the wavegui… ▽ More The authors investigate the spontaneous emission dynamics of self-assembled InGaAs quantum dots embedded in GaAs photonic crystal waveguides. For an ensemble of dots coupled to guided modes in the waveguide we report spatially, spectrally, and time-resolved photoluminescence measurements, detecting normal to the plane of the photonic crystal. For quantum dots emitting in resonance with the waveguide mode, a ~21x enhancement of photoluminescence intensity is observed as compared to dots in the unprocessed region of the wafer. This enhancement can be traced back to the Purcell enhanced emission of quantum dots into leaky and guided modes of the waveguide with moderate Purcell factors up to ~4x. Emission into guided modes is shown to be efficiently scattered out of the waveguide within a few microns, contributing to the out-of-plane emission and allowing the use of photonic crystal waveguides as broadband, efficiency-enhancing structures for surface-emitting diodes or single photon sources. △ Less

Submitted 7 May, 2012; originally announced May 2012.

Comments: 13 pages, 4 figures

Journal ref: Journal of Applied Physics 112, 093520 (2012)

Surface acoustic wave controlled charge dynamics in a thin InGaAs quantum well

Authors: Florian J. R. Schülein, Jens Pustiowski, Kai Müller, Max Bichler, Gregor Koblmüller, Jonathan J. Finley, Achim Wixforth, Hubert J. Krenner

Abstract: We experimentally study the optical emission of a thin quantum well and its dynamic modulation by a surface acoustic wave (SAW). We observe a characteristic transition of the modulation from one maximum to two maxima per SAW cycle as the acoustic power is increased which we find in good agreement with numer- ical calculations of the SAW controlled carrier dynamics. At low acoustic powers the carri… ▽ More We experimentally study the optical emission of a thin quantum well and its dynamic modulation by a surface acoustic wave (SAW). We observe a characteristic transition of the modulation from one maximum to two maxima per SAW cycle as the acoustic power is increased which we find in good agreement with numer- ical calculations of the SAW controlled carrier dynamics. At low acoustic powers the carrier mobilites limit electron-hole pair dissociation, whereas at high power levels the induced electric fields give rise to efficient acousto-electric carrier transport. The direct comparison between the experimental data and the numerical simulations provide an absolute calibration of the local SAW phase. △ Less

Submitted 4 May, 2012; originally announced May 2012.

Comments: 5 pages - to appear in JETP Letters

Journal ref: JETP Letters 95, 575-580 (2012)

High fidelity optical preparation and coherent Larmor precession of a single hole in an InGaAs quantum dot molecule

Authors: K. Müller, A. Bechtold, C. Ruppert, C. Hautmann, J. S. Wildmann, T. Kaldewey, M. Bichler, H. J. Krenner, G. Abstreiter, M. Betz, J. J. Finley

Abstract: We employ ultrafast pump-probe spectroscopy with photocurrent readout to directly probe the dynamics of a single hole spin in a single, electrically tunable self-assembled quantum dot molecule formed by vertically stacking InGaAs quantum dots. Excitons with defined spin configurations are initialized in one of the two dots using circularly polarized picosecond pulses. The time-dependent spin confi… ▽ More We employ ultrafast pump-probe spectroscopy with photocurrent readout to directly probe the dynamics of a single hole spin in a single, electrically tunable self-assembled quantum dot molecule formed by vertically stacking InGaAs quantum dots. Excitons with defined spin configurations are initialized in one of the two dots using circularly polarized picosecond pulses. The time-dependent spin configuration is probed by the spin selective optical absorption of the resulting few Fermion complex. Taking advantage of sub-5 ps electron tunneling to an orbitally excited state of the other dot, we initialize a single hole spin with a purity of >96%, i.e., much higher than demonstrated in previous single dot experiments. Measurements in a lateral magnetic field monitor the coherent Larmor precession of the single hole spin with no observable loss of spin coherence within the ~300 ps hole lifetime. Thereby, the purity of the hole spin initialization remains unchanged for all investigated magnetic fields. △ Less

Submitted 26 April, 2012; originally announced April 2012.

Journal ref: Phys. Rev. B 85, 241306(R) (2012)

Coupling of guided Surface Plasmon Polaritons to proximal self-assembled InGaAs Quantum Dots

Authors: Gregor Bracher, Konrad Schraml, Mäx Blauth, Clemens Jakubeit, Kai Müller, Gregor Koblmüller, Max Bichler, Michael Kaniber, Jonathan J. Finley

Abstract: We present investigations of the propagation length of guided surface plasmon polaritons along Au waveguides on GaAs and their coupling to near surface InGaAs self-assembled quantum dots. Our results reveal surface plasmon propagation lengths ranging from 13.4 {\pm} 1.7 μm to 27.5 {\pm} 1.5 μm as the width of the waveguide increases from 2-5 μm. Experiments performed on active structures containin… ▽ More We present investigations of the propagation length of guided surface plasmon polaritons along Au waveguides on GaAs and their coupling to near surface InGaAs self-assembled quantum dots. Our results reveal surface plasmon propagation lengths ranging from 13.4 {\pm} 1.7 μm to 27.5 {\pm} 1.5 μm as the width of the waveguide increases from 2-5 μm. Experiments performed on active structures containing near surface quantum dots clearly show that the propagating plasmon mode excites the dot, providing a new method to spatially image the surface plasmon mode. We use low temperature confocal microscopy with polarization control in the excitation and detection channel. After excitation, plasmons propagate along the waveguide and are scattered into the far field at the end. By comparing length and width evolution of the waveguide losses we determine the plasmon propagation length to be 27.5 {\pm} 1.5 μm at 830 nm (for a width of 5 μm), reducing to 13.4 {\pm} 1.7 μm for a width of 2 μm. For active structures containing low density InGaAs quantum dots at a precisely controlled distance 7-120 nm from the Au-GaAs interface, we probed the mutual coupling between the quantum dot and plasmon mode. These investigations reveal a unidirectional energy transfer from the propagating surface plasmon to the quantum dot. The exquisite control of the position and shape afforded by lithography combined with near surface QDs promises efficient on-chip generation and guiding of single plasmons for future applications in nanoscale quantum optics operating below the diffraction limit. △ Less

Submitted 22 March, 2012; v1 submitted 21 March, 2012; originally announced March 2012.

Comments: 9 pages, 4 figures, SPIE Photonics West

A Waveguide-Coupled On-Chip Single Photon Source

Authors: A. Laucht, S. Pütz, T. Günthner, N. Hauke, R. Saive, S. Frédérick, M. Bichler, M. -C. Amann, A. W. Holleitner, M. Kaniber, J. J. Finley

Abstract: We investigate single photon generation from individual self-assembled InGaAs quantum dots coupled to the guided optical mode of a GaAs photonic crystal waveguide. By performing confocal microscopy measurements on single dots positioned within the waveguide, we locate their positions with a precision better than 0.5 \mum. Time-resolved photoluminescence and photon autocorrelation measurements are… ▽ More We investigate single photon generation from individual self-assembled InGaAs quantum dots coupled to the guided optical mode of a GaAs photonic crystal waveguide. By performing confocal microscopy measurements on single dots positioned within the waveguide, we locate their positions with a precision better than 0.5 \mum. Time-resolved photoluminescence and photon autocorrelation measurements are used to prove the single photon character of the emission into the propagating waveguide mode. The results obtained demonstrate that such nanostructures can be used to realize an on-chip, highly directed single photon source with single mode spontaneous emision coupling efficiencies in excess of beta~85 % and the potential to reach maximum emission rates >1 GHz. △ Less

Submitted 31 January, 2012; v1 submitted 24 January, 2012; originally announced January 2012.

Comments: submitted on September 26, 2011

Journal ref: Phys. Rev. X 2, 011014 (2012)

Highly Non-linear Excitonic Zeeman Spin-Splitting in Composition-Engineered Artificial Atoms

Authors: V. Jovanov, T. Eissfeller, S. Kapfinger, E. C. Clark, F. Klotz, M. Bichler, J. G. Keizer, P. M. Koenraad, M. S. Brandt, G. Abstreiter, J. J. Finley

Abstract: Non-linear Zeeman splitting of neutral excitons is observed in composition engineered In(x)Ga(1-x)As self-assembled quantum dots and its microscopic origin is explained. Eight-band k.p simulations, performed using realistic dot parameters extracted from cross-sectional scanning tunneling microscopy, reveal that a quadratic contribution to the Zeeman energy originates from a spin dependent mixing o… ▽ More Non-linear Zeeman splitting of neutral excitons is observed in composition engineered In(x)Ga(1-x)As self-assembled quantum dots and its microscopic origin is explained. Eight-band k.p simulations, performed using realistic dot parameters extracted from cross-sectional scanning tunneling microscopy, reveal that a quadratic contribution to the Zeeman energy originates from a spin dependent mixing of heavy and light hole orbital states in the dot. The dilute In-composition (x<0.35) and large lateral size (40-50 nm) of the quantum dots investigated is shown to strongly enhance the non-linear excitonic Zeeman gap, providing a blueprint to enhance such magnetic non-linearities via growth engineering. △ Less

Submitted 12 December, 2011; originally announced December 2011.

Journal ref: Phys. Rev. B 85, 165433 (2012)

Electrical control of inter-dot electron tunneling in a quantum dot molecule

Authors: K. Müller, A. Bechtold, C. Ruppert, M. Zecherle, G. Reithmaier, M. Bichler, H. J. Krenner, G. Abstreiter, A. W. Holleitner, J. M. Villas-Bôas, J. J. Finley

Abstract: We employ ultrafast pump-probe spectroscopy to directly monitor electron tunneling between discrete orbital states in a pair of spatially separated quantum dots. Immediately after excitation, several peaks are observed in the pump-probe spectrum due to Coulomb interactions between the photo-generated charge carriers. By tuning the relative energy of the orbital states in the two dots and monitorin… ▽ More We employ ultrafast pump-probe spectroscopy to directly monitor electron tunneling between discrete orbital states in a pair of spatially separated quantum dots. Immediately after excitation, several peaks are observed in the pump-probe spectrum due to Coulomb interactions between the photo-generated charge carriers. By tuning the relative energy of the orbital states in the two dots and monitoring the temporal evolution of the pump-probe spectra the electron and hole tunneling times are separately measured and resonant tunneling between the two dots is shown to be mediated both by elastic and inelastic processes. Ultrafast (< 5 ps) inter-dot tunneling is shown to occur over a surprisingly wide bandwidth, up to ~8 meV, reflecting the spectrum of exciton-acoustic phonon coupling in the system. △ Less

Submitted 17 April, 2012; v1 submitted 14 November, 2011; originally announced November 2011.

Journal ref: Phys. Rev. Lett. 108, 197402 (2012)

Excited State Quantum Couplings and Optical Switching of an Artificial Molecule

Authors: K. Müller, G. Reithmaier, E. C. Clark, V. Jovanov, M. Bichler, H. J. Krenner, M. Betz, G. Abstreiter, J. J. Finley

Abstract: We optically probe the spectrum of ground and excited state transitions of an individual, electrically tunable self-assembled quantum dot molecule. Photocurrent absorption measurements show that the spatially direct neutral exciton transitions in the upper and lower dots are energetically separated by only ~2 meV. Excited state transitions ~8-16 meV to higher energy exhibit pronounced anticrossing… ▽ More We optically probe the spectrum of ground and excited state transitions of an individual, electrically tunable self-assembled quantum dot molecule. Photocurrent absorption measurements show that the spatially direct neutral exciton transitions in the upper and lower dots are energetically separated by only ~2 meV. Excited state transitions ~8-16 meV to higher energy exhibit pronounced anticrossings as the electric field is tuned due to the formation of hybridized electron states. We show that the observed excited state transitions occur between these hybridized electronic states and different hole states in the upper dot. By simultaneously pum** two different excited states with two laser fields we demonstrate a strong (88% on-off contrast) laser induced switching of the optical response. The results represent an electrically tunable, discrete coupled quantum system with a conditional optical response. △ Less

Submitted 24 June, 2011; v1 submitted 15 March, 2011; originally announced March 2011.

Journal ref: Phys. Rev. B 84, 081302(R) (2011)

Shape control of QDs studied by cross-sectional scanning tunneling microscopy

Authors: J. G. Keizer, M. Bozkurt, J. Bocquel, P. M. Koenraad, T. Mano, T. Noda, K. Sakoda, E. C. Clark, M. Bichler, G. Abstreiter, J. J. Finley, W. Lu, T. Rohel, H. Folliot, N. Bertru

Abstract: In this cross-sectional scanning tunneling microscopy study we investigated various techniques to control the shape of self-assembled quantum dots (QDs) and wetting layers (WLs). The result shows that application of an indium flush during the growth of strained InGaAs/GaAs QD layers results in flattened QDs and a reduced WL. The height of the QDs and WLs could be controlled by varying the thicknes… ▽ More In this cross-sectional scanning tunneling microscopy study we investigated various techniques to control the shape of self-assembled quantum dots (QDs) and wetting layers (WLs). The result shows that application of an indium flush during the growth of strained InGaAs/GaAs QD layers results in flattened QDs and a reduced WL. The height of the QDs and WLs could be controlled by varying the thickness of the first cap** layer. Concerning the technique of antimony cap** we show that the surfactant properties of Sb result in the preservation of the shape of strained InAs/InP QDs during overgrowth. This could be achieved by both a growth interrupt under Sb flux and cap** with a thin GaAsSb layer prior to overgrowth of the uncapped QDs. The technique of droplet epitaxy was investigated by a structural analysis of strain free GaAs/AlGaAs QDs. We show that the QDs have a Gaussian shape, that the WL is less than 1 bilayer thick, and that minor intermixing of Al with the QDs takes place. △ Less

Submitted 15 November, 2010; originally announced November 2010.

Comments: 7 pages, 10 figures

Electrical control of the exciton-biexciton splitting in a single self-assembled InGaAs quantum dots

Authors: M. Kaniber, M. F. Huck, K. Müller, E. C. Clark, F. Troiani, M. Bichler, H. J. Krenner, J. J. Finley

Abstract: We report on single InGaAs quantum dots embedded in a lateral electric field device. By applying a voltage we tune the neutral exciton transition into resonance with the biexciton using the quantum confined Stark effect. The results are compared to theoretical calculations of the relative energies of exciton and biexciton. Cascaded decay from the manifold of single exciton-biexciton states has bee… ▽ More We report on single InGaAs quantum dots embedded in a lateral electric field device. By applying a voltage we tune the neutral exciton transition into resonance with the biexciton using the quantum confined Stark effect. The results are compared to theoretical calculations of the relative energies of exciton and biexciton. Cascaded decay from the manifold of single exciton-biexciton states has been predicted to be a new concept to generate entangled photon pairs on demand without the need to suppress the fine structures splitting of the neutral exciton. △ Less

Submitted 23 July, 2011; v1 submitted 10 September, 2010; originally announced September 2010.

Journal ref: Nanotechnolgy 22, 324202 (2011)