-
An Irreversible Investment Problem with Incomplete Information about Profitability
Authors:
Fabian Gierens,
Berenice Anne Neumann
Abstract:
We analyze an irreversible investment decision for a project which yields a flow of future operating profits given by a geometric Brownian motion with unknown drift. In contrast to similar optimal stopping problems with incomplete information, the agent's payoff now depends directly on the unknown drift and not only indirectly through the underlying dynamics. Hence, many standard arguments are not…
▽ More
We analyze an irreversible investment decision for a project which yields a flow of future operating profits given by a geometric Brownian motion with unknown drift. In contrast to similar optimal stopping problems with incomplete information, the agent's payoff now depends directly on the unknown drift and not only indirectly through the underlying dynamics. Hence, many standard arguments are not applicable. Nonetheless, we show that it is optimal to invest in the project if the current profit level exceeds a threshold depending on the current belief for the true state of the unknown drift. These thresholds are described by a boundary function, for which we establish structural properties like monotonicity and continuity. To prove these, we identify a central class of stopping times with useful features. Moreover, we characterize the boundary function as the unique solution of a nonlinear integral equation. Building on this characterization we compute the boundary function numerically and investigate the value of information.
△ Less
Submitted 18 February, 2025;
originally announced February 2025.
-
Feature-based Evolutionary Diversity Optimization of Discriminating Instances for Chance-constrained Optimization Problems
Authors:
Saba Sadeghi Ahouei,
Denis Antipov,
Aneta Neumann,
Frank Neumann
Abstract:
Algorithm selection is crucial in the field of optimization, as no single algorithm performs perfectly across all types of optimization problems. Finding the best algorithm among a given set of algorithms for a given problem requires a detailed analysis of the problem's features. To do so, it is important to have a diverse set of benchmarking instances highlighting the difference in algorithms' pe…
▽ More
Algorithm selection is crucial in the field of optimization, as no single algorithm performs perfectly across all types of optimization problems. Finding the best algorithm among a given set of algorithms for a given problem requires a detailed analysis of the problem's features. To do so, it is important to have a diverse set of benchmarking instances highlighting the difference in algorithms' performance. In this paper, we evolve diverse benchmarking instances for chance-constrained optimization problems that contain stochastic components characterized by their expected values and variances. These instances clearly differentiate the performance of two given algorithms, meaning they are easy to solve by one algorithm and hard to solve by the other. We introduce a $(μ+1)~EA$ for feature-based diversity optimization to evolve such differentiating instances. We study the chance-constrained maximum coverage problem with stochastic weights on the vertices as an example of chance-constrained optimization problems. The experimental results demonstrate that our method successfully generates diverse instances based on different features while effectively distinguishing the performance between a pair of algorithms.
△ Less
Submitted 24 January, 2025;
originally announced January 2025.
-
On growth of cocycles of isometric representations on $L^p$-spaces
Authors:
Antonio López Neumann,
Juan Paucar
Abstract:
We study different notions of asymptotic growth for 1-cocycles of isometric representations on Banach spaces. One can see this as a way of quantifying the absence of fixed point properties on such spaces. Inspired by the work of Lafforgue, we show the following dichotomy: for a compactly generated group $G$, either all 1-cocycles of $G$ taking values in $L^p$-spaces are bounded (this is Property…
▽ More
We study different notions of asymptotic growth for 1-cocycles of isometric representations on Banach spaces. One can see this as a way of quantifying the absence of fixed point properties on such spaces. Inspired by the work of Lafforgue, we show the following dichotomy: for a compactly generated group $G$, either all 1-cocycles of $G$ taking values in $L^p$-spaces are bounded (this is Property $FL^p$) or there exists a 1-cocycle of $G$ taking values in an $L^p$-space with relatively fast growth. We also obtain upper and lower bounds on the average growth of harmonic 1-cocycles with values in Banach spaces with convexity properties. As a consequence, we obtain bounds on the average growth of all 1-cocycles with values in $L^p$-spaces for groups with property $(T)$. Lastly, we show that for a unimodular compactly generated group $G$, the existence of a 1-cocycle with compression larger than $\sqrt{n}$ implies the Liouville property for a large family of probability measures on $G$.
△ Less
Submitted 22 January, 2025;
originally announced January 2025.
-
Finite State Mean Field Games with Common Shocks
Authors:
Berenice Anne Neumann,
Frank T. Seifried
Abstract:
We present a novel framework for mean field games with finite state space and common noise, where the common noise is given through shocks that occur at random times. We first analyze the game for up to $n$ shocks, in which case we are able to characterize mean field equilibria through a system of parameterized and coupled forward-backward equations. We establish existence and uniqueness of soluti…
▽ More
We present a novel framework for mean field games with finite state space and common noise, where the common noise is given through shocks that occur at random times. We first analyze the game for up to $n$ shocks, in which case we are able to characterize mean field equilibria through a system of parameterized and coupled forward-backward equations. We establish existence and uniqueness of solutions to this system for small time horizons. In addition, we show that mean field equilibria for the $n$-shock setting constitute approximate equilibria for the corresponding mean field game with infinitely many common shocks. Our results are illustrated in a corruption detection model with random audits.
△ Less
Submitted 12 April, 2024;
originally announced April 2024.
-
Markovian randomized equilibria for general Markovian Dynkin games in discrete time
Authors:
Sören Christensen,
Kristoffer Lindensjö,
Berenice Anne Neumann
Abstract:
We study a general formulation of the classical two-player Dynkin game in a Markovian discrete time setting. We show that an appropriate class of mixed, i.e., randomized, strategies in this context are \textit{Markovian randomized stopping times}, which correspond to stopping at any given state with a state-dependent probability. One main result is an explicit characterization of Wald-Bellman type…
▽ More
We study a general formulation of the classical two-player Dynkin game in a Markovian discrete time setting. We show that an appropriate class of mixed, i.e., randomized, strategies in this context are \textit{Markovian randomized stopping times}, which correspond to stopping at any given state with a state-dependent probability. One main result is an explicit characterization of Wald-Bellman type for Nash equilibria based on this notion of randomization. In particular, this provides a novel characterization for randomized equilibria for the zero-sum game, which we use, e.g., to establish a new condition for the existence and construction of pure equilibria, to obtain necessary and sufficient conditions for the non-existence of pure strategy equilibria, and to construct an explicit example with a unique mixed, but no pure equilibrium. We also provide existence and characterization results for the symmetric specification of our game. Finally, we establish existence of a characterizable equilibrium in Markovian randomized stopping times for the general game formulation under the assumption that the state space is countable.
△ Less
Submitted 25 July, 2023;
originally announced July 2023.
-
Characterization of transport optimizers via graphs and applications to Stackelberg-Cournot-Nash equilibria
Authors:
Beatrice Acciaio,
Berenice Anne Neumann
Abstract:
We introduce graphs associated to transport problems between discrete marginals, that allow to characterize the set of all optimizers given one primal optimizer. In particular, we establish that connectivity of those graphs is a necessary and sufficient condition for uniqueness of the dual optimizers. Moreover, we provide an algorithm that can efficiently compute the dual optimizer that is the lim…
▽ More
We introduce graphs associated to transport problems between discrete marginals, that allow to characterize the set of all optimizers given one primal optimizer. In particular, we establish that connectivity of those graphs is a necessary and sufficient condition for uniqueness of the dual optimizers. Moreover, we provide an algorithm that can efficiently compute the dual optimizer that is the limit, as the regularization parameter goes to zero, of the dual entropic optimizers. Our results find an application in a Stackelberg-Cournot-Nash game, for which we obtain existence and characterization of the equilibria.
△ Less
Submitted 6 June, 2023;
originally announced June 2023.
-
Fixed Parameter Multi-Objective Evolutionary Algorithms for the W-Separator Problem
Authors:
Samuel Baguley,
Tobias Friedrich,
Aneta Neumann,
Frank Neumann,
Marcus Pappik,
Ziena Zeif
Abstract:
Parameterized analysis provides powerful mechanisms for obtaining fine-grained insights into different types of algorithms. In this work, we combine this field with evolutionary algorithms and provide parameterized complexity analysis of evolutionary multi-objective algorithms for the $W$-separator problem, which is a natural generalization of the vertex cover problem. The goal is to remove the mi…
▽ More
Parameterized analysis provides powerful mechanisms for obtaining fine-grained insights into different types of algorithms. In this work, we combine this field with evolutionary algorithms and provide parameterized complexity analysis of evolutionary multi-objective algorithms for the $W$-separator problem, which is a natural generalization of the vertex cover problem. The goal is to remove the minimum number of vertices such that each connected component in the resulting graph has at most $W$ vertices. We provide different multi-objective formulations involving two or three objectives that provably lead to fixed-parameter evolutionary algorithms with respect to the value of an optimal solution $OPT$ and $W$. Of particular interest are kernelizations and the reducible structures used for them. We show that in expectation the algorithms make incremental progress in finding such structures and beyond. The current best known kernelization of the $W$-separator uses linear programming methods and requires a non-trivial post-process to extract the reducible structures. We provide additional structural features to show that evolutionary algorithms with appropriate objectives are also capable of extracting them. Our results show that evolutionary algorithms with different objectives guide the search and admit fixed parameterized runtimes to solve or approximate (even arbitrarily close) the $W$-separator problem.
△ Less
Submitted 21 March, 2023; v1 submitted 20 March, 2023;
originally announced March 2023.
-
Vanishing of the second $L^p$-cohomology group for most semisimple groups of rank at least 3
Authors:
Antonio López Neumann
Abstract:
We show vanishing of the second $L^p$-cohomology group for most semisimple algebraic groups of rank at least 3 over local fields. More precisely, we show this result for $\SL(4)$, for simple groups of rank $\geq 4$ that are not of exceptional type or of type $D_4$ and for all semisimple, non-simple groups of rank $\geq 3$. Our methods work for large values of $p$ in the real case and for all…
▽ More
We show vanishing of the second $L^p$-cohomology group for most semisimple algebraic groups of rank at least 3 over local fields. More precisely, we show this result for $\SL(4)$, for simple groups of rank $\geq 4$ that are not of exceptional type or of type $D_4$ and for all semisimple, non-simple groups of rank $\geq 3$. Our methods work for large values of $p$ in the real case and for all $p>1$ in the non-Archimedean case. This result points towards a positive answer to Gromov's question on vanishing of $L^p$-cohomology of semisimple groups for all $p>1$ in degrees below the rank. The methods consist in using a spectral sequence à la Bourdon-Rémy, adapting a version of Mautner's phenomenon from Cornulier-Tessera and concluding thanks to a combinatorial case-by-case study of classical simple groups.
△ Less
Submitted 13 October, 2023; v1 submitted 18 February, 2023;
originally announced February 2023.
-
Diffusion Processes: entropy, Gibbs states and the continuous time Ruelle operator
Authors:
A. O. Lopes,
G. Muller,
A. Neumann
Abstract:
We consider a Riemmaniann compact manifold $M$, the associated Laplacian $Δ$ and the corresponding Brownian motion $X_t$, $t\geq 0.$ Given a Lipschitz function $V:M\to\mathbb R$ we consider the operator $\frac{1}{2}Δ+V$, which acts on differentiable functions $f: M\to\mathbb R$ via the operator
$$\frac{1}{2} Δf(x)+\,V(x)f(x) ,$$ for all $x\in M$.
Denote by $P_t^V$, $t \geq 0,$ the semigroup ac…
▽ More
We consider a Riemmaniann compact manifold $M$, the associated Laplacian $Δ$ and the corresponding Brownian motion $X_t$, $t\geq 0.$ Given a Lipschitz function $V:M\to\mathbb R$ we consider the operator $\frac{1}{2}Δ+V$, which acts on differentiable functions $f: M\to\mathbb R$ via the operator
$$\frac{1}{2} Δf(x)+\,V(x)f(x) ,$$ for all $x\in M$.
Denote by $P_t^V$, $t \geq 0,$ the semigroup acting on functions $f: M\to\mathbb R$ given by $$P_{t}^V (f)(x)\,:=\, \mathbb E_{x} \big[e^{\int_0^{t} V(X_r)\,dr} f(X_t)\big].\,$$
We will show that this semigroup is a continuous-time version of the discrete-time Ruelle operator.
Consider the positive differentiable eigenfunction $F: M \to \mathbb{R}$ associated to the main eigenvalue $λ$ for the semigroup $P_t^V$, $t \geq 0$. From the function $F$, in a procedure similar to the one used in the case of discrete-time Thermodynamic Formalism, we can associate via a coboundary procedure a certain stationary Markov semigroup. The probability on the Skhorohod space obtained from this new stationary Markov semigroup can be seen as a stationary Gibbs state associated with the potential $V$. We define entropy, pressure, the continuous-time Ruelle operator and we present a variational principle of pressure for such a setting.
△ Less
Submitted 15 July, 2024; v1 submitted 3 August, 2022;
originally announced August 2022.
-
Thermodynamic Formalism on the Skorokhod space: the continuous time Ruelle operator, entropy, pressure, entropy production and expansiveness
Authors:
J. Knorst,
A. O. Lopes,
G. Muller,
A. Neumann
Abstract:
Consider the semi-flow given by the continuous time shift $Θ_t:\mathcal{D} \to \mathcal{D} $, $t \geq 0$, acting on the
$\mathcal{D} $ of \textit{càdlàg} paths $w: [0,\infty) \to S^1$, where $S^1$ is the unitary circle. We equip the space $\mathcal{D} $ with the Skorokhod metric, and we show that the semi-flow is expanding. We also introduce a stochastic semi-group $e^{t\, L}$, $t \geq 0,$ where…
▽ More
Consider the semi-flow given by the continuous time shift $Θ_t:\mathcal{D} \to \mathcal{D} $, $t \geq 0$, acting on the
$\mathcal{D} $ of \textit{càdlàg} paths $w: [0,\infty) \to S^1$, where $S^1$ is the unitary circle. We equip the space $\mathcal{D} $ with the Skorokhod metric, and we show that the semi-flow is expanding. We also introduce a stochastic semi-group $e^{t\, L}$, $t \geq 0,$ where $L$ acts linearly on continuous functions $f:S^1\to\mathbb{R}$. This stochastic semigroup and an initial vector of probability $π$ define an associated stationary shift-invariant probability $\mathbb{P}$ on the Polish space $\mathcal{D} $. Given such $\mathbb{P}$ and an Hölder potential $V:S^1 \to \mathbb{R}$, we define a continuous time Ruelle operator, which is described by a family of linear operators $ \mathbb{L}^t_V$, $t\geq 0,$ acting on continuous functions $\varphi: S^1 \to \mathbb{R}$. More precisely, given any Hölder $V$ and $t\geq 0$, the operator $ \mathbb{L}^t_V$, is defined by
$\varphi \to ψ(y) = \mathbb{L}^t_V(\varphi)(y)= \int_{w(t)=y} e^{ \int_0^t V(w(s)) ds} \varphi (w(0)) d \mathbb{P}(w).$
For some specific parameters we show the existence of an eigenvalue $λ_V$ and an associated Hölder eigenfunction $\varphi_V>0$.After a coboundary procedure we obtain another stochastic semigroup, with infinitesimal generator $L_V$, and this will define a new probability $\mathbb{P}_V$ on $\mathcal{D}$, which we call the Gibbs (or, equilibrium) probability for the potential $V$. In this case, we define entropy for some shift-invariant probabilities on $\mathcal{D}$, and we consider a variational problem of pressure. Finally, we define entropy production and present our main result: we analyze its relation with time-reversal and symmetry of $L$. We also show that the continuous-time shift $Θ_t$, acting on the Skorohod space $D$, is expanding.
△ Less
Submitted 15 July, 2024; v1 submitted 3 August, 2022;
originally announced August 2022.
-
Top degree $\ell^p$-homology and conformal dimension of buildings
Authors:
Antonio López Neumann
Abstract:
For a non-compact finite thickness building whose Davis apartment is an orientable pseudomanifold, we compute the supremum of the set of $p>1$ such that its top dimensional reduced $\ell^p$-cohomology is nonzero. We adapt the non-vanishing assertion of this result to any finite thickness building using the Bestvina realization. Using similar techniques, we generalize bounds obtained by Clais on th…
▽ More
For a non-compact finite thickness building whose Davis apartment is an orientable pseudomanifold, we compute the supremum of the set of $p>1$ such that its top dimensional reduced $\ell^p$-cohomology is nonzero. We adapt the non-vanishing assertion of this result to any finite thickness building using the Bestvina realization. Using similar techniques, we generalize bounds obtained by Clais on the conformal dimension of some Gromov-hyperbolic buildings to any such building.
△ Less
Submitted 1 January, 2025; v1 submitted 12 April, 2022;
originally announced April 2022.
-
Dynamical large deviations for the boundary driven symmetric exclusion process with Robin boundary conditions
Authors:
T. Franco,
P. Gonçalves,
C. Landim,
A. Neumann
Abstract:
In this article, we consider a one-dimensional symmetric exclusion process in weak contact with reservoirs at the boundary. In the diffusive time-scaling the empirical measure evolves according to the heat equation with Robin boundary conditions. We prove the associated dynamical large deviations principle.
In this article, we consider a one-dimensional symmetric exclusion process in weak contact with reservoirs at the boundary. In the diffusive time-scaling the empirical measure evolves according to the heat equation with Robin boundary conditions. We prove the associated dynamical large deviations principle.
△ Less
Submitted 27 March, 2022;
originally announced March 2022.
-
Large Deviations for the SSEP with slow boundary: the non-critical case
Authors:
Tertuliano Franco,
Patrícia Gonçalves,
Adriana Neumann
Abstract:
We prove a large deviations principle for the empirical measure of the one dimensional symmetric simple exclusion process in contact with reservoirs. The dynamics of the reservoirs is slowed down with respect to the dynamics of the system, that is, the rate at which the system exchanges particles with the boundary reservoirs is of order $n^{-θ}$, where $n$ is number of sites in the system, $θ$ is…
▽ More
We prove a large deviations principle for the empirical measure of the one dimensional symmetric simple exclusion process in contact with reservoirs. The dynamics of the reservoirs is slowed down with respect to the dynamics of the system, that is, the rate at which the system exchanges particles with the boundary reservoirs is of order $n^{-θ}$, where $n$ is number of sites in the system, $θ$ is a non negative parameter, and the system is taken in the diffusive time scaling. Two regimes are studied here, the subcritical $θ\in(0,1)$ whose hydrodynamic equation is the heat equation with Dirichlet boundary conditions and the supercritical $θ\in(1,+\infty)$ whose hydrodynamic equation is the heat equation with Neumann boundary conditions. In the subcritical case $θ\in(0,1)$, the rate function that we obtain matches the rate function corresponding to the case $θ=0$ which was derived on previous works (see \cite{blm,flm}), but the challenges we faced here are much trickier. In the supercritical case $θ\in(1,+\infty)$, the rate function is equal to infinity outside the set of trajectories which preserve the total mass, meaning that, despite the discrete system exchanges particles with the reservoirs, this phenomena has super-exponentially small probability in the diffusive scaling limit.
△ Less
Submitted 14 July, 2021;
originally announced July 2021.
-
Finitely presented simple groups and measure equivalence
Authors:
Antonio López Neumann
Abstract:
We exhibit explicit infinite families of finitely presented, Kazhdan, simple groups that are pairwise not measure equivalent. These groups are lattices acting on products of buildings. We obtain the result by studying vanishing and non-vanishing of their $L^2$-Betti numbers.
We exhibit explicit infinite families of finitely presented, Kazhdan, simple groups that are pairwise not measure equivalent. These groups are lattices acting on products of buildings. We obtain the result by studying vanishing and non-vanishing of their $L^2$-Betti numbers.
△ Less
Submitted 12 October, 2023; v1 submitted 22 January, 2021;
originally announced January 2021.
-
Energy estimates and convergence of weak solutions of the porous medium equation
Authors:
Renato De Paula,
Patrícia Gonçalves,
Adriana Neumann
Abstract:
We study the convergence of the weak solution of the porous medium equation with a type of Robin boundary conditions, by tuning a parameter either to zero or to infinity. The convergence is in the strong sense, with respect to the $L^2$-norm, and the limiting function solves the same equation with Neumann (resp. Dirichlet) boundary conditions when the parameter is taken to zero (resp. infinity). O…
▽ More
We study the convergence of the weak solution of the porous medium equation with a type of Robin boundary conditions, by tuning a parameter either to zero or to infinity. The convergence is in the strong sense, with respect to the $L^2$-norm, and the limiting function solves the same equation with Neumann (resp. Dirichlet) boundary conditions when the parameter is taken to zero (resp. infinity). Our approach is to consider an underlying microscopic dynamics whose space-time evolution of the density is ruled by the solution of those equations and from this, we derive sufficiently strong energy estimates which are the keystone to the proof of our convergence result.
△ Less
Submitted 21 April, 2021; v1 submitted 21 January, 2021;
originally announced January 2021.
-
Essential Stationary Equilibria of Mean Field Games with Finite State and Action Space
Authors:
Berenice Anne Neumann
Abstract:
Mean field games allow to describe tractable models of dynamic games with a continuum of players, explicit interaction and heterogeneous states. Thus, these models are of great interest for socio-economic applications. A particular class of these models are games with finite state and action space, for which recently in Neumann (2020a) a semi-explicit representation of all stationary equilibria ha…
▽ More
Mean field games allow to describe tractable models of dynamic games with a continuum of players, explicit interaction and heterogeneous states. Thus, these models are of great interest for socio-economic applications. A particular class of these models are games with finite state and action space, for which recently in Neumann (2020a) a semi-explicit representation of all stationary equilibria has been obtained. In this paper we investigate whether these stationary equilibria are stable against model perturbations. We prove that the set of all games with only essential equilibria is residual and obtain two characterization results for essential stationary equilibria.
△ Less
Submitted 19 October, 2020;
originally announced October 2020.
-
Competition versus Cooperation: A class of solvable mean field impulse control problems
Authors:
Sören Christensen,
Berenice Anne Neumann,
Tobias Sohr
Abstract:
We discuss a class of explicitly solvable mean field type control problems/mean field games with a clear economic interpretation. More precisely, we consider long term average impulse control problems with underlying general one-dimensional diffusion processes motivated by optimal harvesting problems in natural resource management. We extend the classical stochastic Faustmann models by allowing th…
▽ More
We discuss a class of explicitly solvable mean field type control problems/mean field games with a clear economic interpretation. More precisely, we consider long term average impulse control problems with underlying general one-dimensional diffusion processes motivated by optimal harvesting problems in natural resource management. We extend the classical stochastic Faustmann models by allowing the prices to depend on the state of the market using a mean field structure. In a competitive market model, we prove that, under natural conditions, there exists an equilibrium strategy of threshold-type and furthermore characterize the threshold explicitly. If the agents cooperate with each other, we are faced with the mean field type control problem. Using a Lagrange-type argument, we prove that the optimizer of this non-standard impulse control problem is of threshold-type as well and characterize the optimal threshold. Furthermore, we compare the solutions and illustrate the findings in an example.
△ Less
Submitted 27 April, 2021; v1 submitted 13 October, 2020;
originally announced October 2020.
-
A Myopic Adjustment Process for Mean Field Games with Finite State and Action Space
Authors:
Berenice Anne Neumann
Abstract:
In this paper, we introduce a natural learning rule for mean field games with finite state and action space, the so-called myopic adjustment process. The main motivation for these considerations are the complex computations necessary to determine dynamic mean-field equilibria, which make it seem questionable whether agents are indeed able to play these equilibria. We prove that the myopic adjustme…
▽ More
In this paper, we introduce a natural learning rule for mean field games with finite state and action space, the so-called myopic adjustment process. The main motivation for these considerations are the complex computations necessary to determine dynamic mean-field equilibria, which make it seem questionable whether agents are indeed able to play these equilibria. We prove that the myopic adjustment process converges locally towards stationary equilibria with deterministic equilibrium strategies under rather broad conditions. Moreover, for a two-strategy setting, we also obtain a global convergence result under stronger, yet intuitive conditions.
△ Less
Submitted 31 August, 2020;
originally announced August 2020.
-
Nonlinear Markov Chains with Finite State Space: Invariant Distributions and Long-Term Behaviour
Authors:
Berenice Anne Neumann
Abstract:
Nonlinear Markov chains with finite state space have been introduced in Kolokoltsov (2010). The characteristic property of these processes is that the transition probabilities do not only depend on the state, but also on the distribution of the process. In this paper we provide first results regarding their invariant distributions and long-term behaviour. We will show that under a continuity assum…
▽ More
Nonlinear Markov chains with finite state space have been introduced in Kolokoltsov (2010). The characteristic property of these processes is that the transition probabilities do not only depend on the state, but also on the distribution of the process. In this paper we provide first results regarding their invariant distributions and long-term behaviour. We will show that under a continuity assumption an invariant distribution exists. Moreover, we provide a sufficient criterion for the uniqueness of the invariant distribution that relies on the Brouwer degree. Thereafter, we will present examples of peculiar limit behaviour that cannot occur for classical linear Markov chains. Finally, we present for the case of small state spaces sufficient (and easy-to-verify) criteria for the ergodicity of the process.
△ Less
Submitted 6 July, 2020;
originally announced July 2020.
-
The boundary driven zero-range process
Authors:
Susana Frómeta,
Ricardo Misturini,
Adriana Neumann
Abstract:
We study the asymptotic behaviour of the symmetric zero-range process in the finite lattice $\{1,\ldots, N-1\}$ with slow boundary, in which particles are created at site $1$ or annihilated at site $N\!-\!1$ with a rate proportional to $N^{-θ}$, for $θ\geq 1$. We present the invariant measure for this model and obtain the hydrostatic limit. In order to understand the asymptotic behaviour of the sp…
▽ More
We study the asymptotic behaviour of the symmetric zero-range process in the finite lattice $\{1,\ldots, N-1\}$ with slow boundary, in which particles are created at site $1$ or annihilated at site $N\!-\!1$ with a rate proportional to $N^{-θ}$, for $θ\geq 1$. We present the invariant measure for this model and obtain the hydrostatic limit. In order to understand the asymptotic behaviour of the spatial-temporal evolution of this model under the diffusive scaling, we start to analyze the hydrodynamic limit, exploiting attractiveness as an essential ingredient. We obtain that the hydrodynamic equation has boundary conditions that depend on the value of $θ$.
△ Less
Submitted 11 June, 2021; v1 submitted 24 June, 2020;
originally announced June 2020.
-
Optimization of Chance-Constrained Submodular Functions
Authors:
Benjamin Doerr,
Carola Doerr,
Aneta Neumann,
Frank Neumann,
Andrew M. Sutton
Abstract:
Submodular optimization plays a key role in many real-world problems. In many real-world scenarios, it is also necessary to handle uncertainty, and potentially disruptive events that violate constraints in stochastic settings need to be avoided. In this paper, we investigate submodular optimization problems with chance constraints. We provide a first analysis on the approximation behavior of popul…
▽ More
Submodular optimization plays a key role in many real-world problems. In many real-world scenarios, it is also necessary to handle uncertainty, and potentially disruptive events that violate constraints in stochastic settings need to be avoided. In this paper, we investigate submodular optimization problems with chance constraints. We provide a first analysis on the approximation behavior of popular greedy algorithms for submodular problems with chance constraints. Our results show that these algorithms are highly effective when using surrogate functions that estimate constraint violations based on Chernoff bounds. Furthermore, we investigate the behavior of the algorithms on popular social network problems and show that high quality solutions can still be obtained even if there are strong restrictions imposed by the chance constraint.
△ Less
Submitted 26 November, 2019;
originally announced November 2019.
-
Hydrodynamics of Porous Medium Model with slow reservoirs
Authors:
Leonardo Bonorino,
Renato De Paula,
Patrícia Gonçalves,
Adriana Neumann
Abstract:
We analyze the hydrodynamic behavior of the porous medium model in a discrete space $\{0,\ldots, n\}$, where the sites $0$ and $n$ stand for reservoirs. Our strategy relies on the entropy method of Guo, Papanicolau and Varadhan. However, this method cannot be straightforwardly applied, since there are configurations that do not evolve according to the dynamics (blocked configurations). In order to…
▽ More
We analyze the hydrodynamic behavior of the porous medium model in a discrete space $\{0,\ldots, n\}$, where the sites $0$ and $n$ stand for reservoirs. Our strategy relies on the entropy method of Guo, Papanicolau and Varadhan. However, this method cannot be straightforwardly applied, since there are configurations that do not evolve according to the dynamics (blocked configurations). In order to avoid this problem, we slightly perturbed the dynamics in such a way that the macroscopic behavior of the system keeps following the porous medium equation, but with boundary conditions which depend on the reservoirs strength's.
△ Less
Submitted 28 April, 2020; v1 submitted 23 April, 2019;
originally announced April 2019.
-
Stationary Equilibria of Mean Field Games with Finite State and Action Space
Authors:
Berenice Anne Neumann
Abstract:
Mean field games formalize dynamic games with a continuum of players and explicit interaction where the players can have heterogeneous states. As they additionally yield approximate equilibria of corresponding $N$-player games, they are of great interest for socio-economic applications. However, most techniques used for mean field games rely on assumptions that imply that for each population distr…
▽ More
Mean field games formalize dynamic games with a continuum of players and explicit interaction where the players can have heterogeneous states. As they additionally yield approximate equilibria of corresponding $N$-player games, they are of great interest for socio-economic applications. However, most techniques used for mean field games rely on assumptions that imply that for each population distribution there is a unique optimizer of the Hamiltonian. For finite action spaces, this will only hold for trivial models. Thus, the techniques used so far are not applicable. We propose a model with finite state and action space, where the dynamics are given by a time-inhomogeneous Markov chain that might depend on the current population distribution. We show existence of stationary mean field equilibria in mixed strategies under mild assumptions and propose techniques to compute all these equilibria. More precisely, our results allow -- given that the generators are irreducible -- to characterize the set of stationary mean field equilibria as the set of all fixed points of a map completely characterized by the transition rates and rewards for deterministic strategies. Additionally, we propose several partial results for the case of non-irreducible generators and we demonstrate the presented techniques on two examples.
△ Less
Submitted 19 September, 2019; v1 submitted 25 January, 2019;
originally announced January 2019.
-
Non-equilibrium and stationary fluctuations for the SSEP with slow boundary
Authors:
Patrícia Gonçalves,
Milton Jara,
Otávio Menezes,
Adriana Neumann
Abstract:
We derive the non-equilibrium fluctuations of one-dimensional symmetric simple exclusion processes in contact with slowed stochastic reservoirs which are regulated by a factor $n^{-θ}$. Depending on the range of $θ$ we obtain processes with various boundary conditions. Moreover, as a consequence of the previous result we deduce the non-equilibrium stationary fluctuations by using the matrix ansatz…
▽ More
We derive the non-equilibrium fluctuations of one-dimensional symmetric simple exclusion processes in contact with slowed stochastic reservoirs which are regulated by a factor $n^{-θ}$. Depending on the range of $θ$ we obtain processes with various boundary conditions. Moreover, as a consequence of the previous result we deduce the non-equilibrium stationary fluctuations by using the matrix ansatz method which gives us information on the stationary measure for the model. The main ingredient to prove these results is the derivation of precise bounds on the two-point space-time correlation function, which are a consequence of precise bounds on the transition probability of some underlying random walks.
△ Less
Submitted 11 October, 2018;
originally announced October 2018.
-
Non-equilibrium fluctuations for the SSEP with a slow bond
Authors:
Dirk Erhard,
Tertuliano Franco,
Patrícia Gonçalves,
Adriana Neumann,
Mariana Tavares
Abstract:
We prove the non-equilibrium fluctuations for the one-dimensional symmetric simple exclusion process with a slow bond. This generalizes a result of T. Franco, A. Neumann and P. Gonçalves (2013), which dealt with the equilibrium fluctuations. The foundation stone of our proof is a precise estimate on the correlations of the system, and that is by itself one of the main novelties of this paper. To o…
▽ More
We prove the non-equilibrium fluctuations for the one-dimensional symmetric simple exclusion process with a slow bond. This generalizes a result of T. Franco, A. Neumann and P. Gonçalves (2013), which dealt with the equilibrium fluctuations. The foundation stone of our proof is a precise estimate on the correlations of the system, and that is by itself one of the main novelties of this paper. To obtain these estimates, we first deduce a spatially discrete PDE for the covariance function and we relate it to the local times of a random walk in a non-homogeneous environment via Duhamel's principle. Projection techniques and coupling arguments reduce the analysis to the problem of studying the local times of the classical random walk. We think that the method developed here can be applied to a variety of models, and we provide a discussion on this matter.
△ Less
Submitted 12 September, 2018;
originally announced September 2018.
-
Equilibrium fluctuations for the slow boundary exclusion process
Authors:
Tertuliano Franco,
Adriana Neumann,
Patrícia Gonçalves
Abstract:
We prove that the equilibrium fluctuations of the symmetric simple exclusion process in contact with slow boundaries is given by an Ornstein-Uhlenbeck process with Dirichlet, Robin or Neumann boundary conditions depending on the range of the parameter that rules the slowness of the boundaries.
We prove that the equilibrium fluctuations of the symmetric simple exclusion process in contact with slow boundaries is given by an Ornstein-Uhlenbeck process with Dirichlet, Robin or Neumann boundary conditions depending on the range of the parameter that rules the slowness of the boundaries.
△ Less
Submitted 3 December, 2016;
originally announced December 2016.
-
Non-equilibrium and stationary fluctuations of a slowed boundary symmetric exclusion
Authors:
Tertuliano Franco,
Patrícia Gonçalves,
Adriana Neumann
Abstract:
We consider a one-dimensional symmetric simple exclusion process in contact with slowed reservoirs: at the left (resp. right) boundary, particles are either created or removed at rates given by $α/n$ or $(1-α)/n$ (resp. $β/n$ or $(1-β)/n$) where $α, β>0$ and $n$ is a scaling parameter. We obtain the non-equilibrium fluctuations and consequently the non-equilibrium stationary fluctuations.
We consider a one-dimensional symmetric simple exclusion process in contact with slowed reservoirs: at the left (resp. right) boundary, particles are either created or removed at rates given by $α/n$ or $(1-α)/n$ (resp. $β/n$ or $(1-β)/n$) where $α, β>0$ and $n$ is a scaling parameter. We obtain the non-equilibrium fluctuations and consequently the non-equilibrium stationary fluctuations.
△ Less
Submitted 5 April, 2017; v1 submitted 15 August, 2016;
originally announced August 2016.
-
Corrigendum to: Phase transition in equilibrium fluctuations of symmetric slowed exclusion
Authors:
Tertuliano Franco,
Patrícia Gonçalves,
Adriana Neumann
Abstract:
We present the correct space of test functions for the Ornstein-Uhlenbeck processes defined in \cite{fgn2}. Under these new spaces, an invariance with respect to a second order operator is shown, granting the existence and uniqueness of those processes. Moreover, we detail how to prove some properties of the semi-groups, which are required in the proof of uniqueness.
We present the correct space of test functions for the Ornstein-Uhlenbeck processes defined in \cite{fgn2}. Under these new spaces, an invariance with respect to a second order operator is shown, granting the existence and uniqueness of those processes. Moreover, we detail how to prove some properties of the semi-groups, which are required in the proof of uniqueness.
△ Less
Submitted 29 June, 2016; v1 submitted 7 January, 2016;
originally announced January 2016.
-
Large deviations for the exclusion process with a slow bond
Authors:
Tertuliano Franco,
Adriana Neumann
Abstract:
We consider the one-dimensional symmetric simple exclusion process with a slow bond. In this model, whilst all the transition rates are equal to one, a particular bond, the \emph{slow bond}, has associated transition rate of value $N^{-1}$, where $N$ is the scaling parameter. This model has been considered in previous works on the subject of hydrodynamic limit and fluctuations. In this paper, assu…
▽ More
We consider the one-dimensional symmetric simple exclusion process with a slow bond. In this model, whilst all the transition rates are equal to one, a particular bond, the \emph{slow bond}, has associated transition rate of value $N^{-1}$, where $N$ is the scaling parameter. This model has been considered in previous works on the subject of hydrodynamic limit and fluctuations. In this paper, assuming uniqueness for weak solutions of hydrodynamic equation associated to the perturbed process, we obtain dynamical large deviations estimates in the diffusive scaling. The main challenge here is the fact that the presence of the slow bond gives rise to Robin's boundary conditions in the \emph{continuum}, substantially complicating the large deviations scenario.
△ Less
Submitted 7 February, 2017; v1 submitted 31 December, 2014;
originally announced January 2015.
-
Exclusion process with slow boundary
Authors:
Rangel Baldasso,
Otávio Menezes,
Adriana Neumann,
Rafael R. Souza
Abstract:
We study the hydrodynamic and the hydrostatic behavior of the Simple Symmetric Exclusion Process with \emph{slow boundary}. The term \emph{slow boundary} means that particles can be born or die at the boundary sites, at a rate proportional to $N^{-θ}$, where $θ> 0$ and $N$ is the scaling parameter. In the bulk, the particles exchange rate is equal to $1$. In the hydrostatic scenario, we obtain thr…
▽ More
We study the hydrodynamic and the hydrostatic behavior of the Simple Symmetric Exclusion Process with \emph{slow boundary}. The term \emph{slow boundary} means that particles can be born or die at the boundary sites, at a rate proportional to $N^{-θ}$, where $θ> 0$ and $N$ is the scaling parameter. In the bulk, the particles exchange rate is equal to $1$. In the hydrostatic scenario, we obtain three different linear profiles, depending on the value of the parameter $θ$; in the hydrodynamic scenario, we obtain that the time evolution of the spatial density of particles, in the diffusive scaling, is given by the weak solution of the heat equation, with boundary conditions that depend on $ θ$. If $θ\in(0,1)$, we get Dirichlet boundary conditions, (which is the same behavior if $θ=0$, see \cite{f}); if $θ=1$, we get Robin boundary conditions; and, if $θ\in(1,\infty)$, we get Neumann boundary conditions.
△ Less
Submitted 21 March, 2017; v1 submitted 29 July, 2014;
originally announced July 2014.
-
Large Deviations for stationary probabilities of a family of continuous time Markov chains via Aubry-Mather theory
Authors:
Artur O. Lopes,
Adriana Neumann
Abstract:
We consider a family of continuous time symmetric random walks indexed by $k\in \mathbb{N}$, $\{X_k(t),\,t\geq 0\}$. For each $k\in \mathbb{N}$ the matching random walk take values in the finite set of states $Γ_k=\frac{1}{k}(\mathbb{Z}/k\mathbb{Z})$ which is a subset of the unitary circle. The stationary probability for such process converges to the uniform distribution on the circle, when…
▽ More
We consider a family of continuous time symmetric random walks indexed by $k\in \mathbb{N}$, $\{X_k(t),\,t\geq 0\}$. For each $k\in \mathbb{N}$ the matching random walk take values in the finite set of states $Γ_k=\frac{1}{k}(\mathbb{Z}/k\mathbb{Z})$ which is a subset of the unitary circle. The stationary probability for such process converges to the uniform distribution on the circle, when $k\to \infty$.
We disturb the system considering a fixed $C^2$ potential $V: \mathbb{S}^1 \to \mathbb{R}$ and we will denote by $V_k$ the restriction of $V$ to $Γ_k$. Then, we define a non-stochastic semigroup generated by the matrix $k\,\, L_k + k\,\, V_k$, where $k\,\, L_k $ is the infinifesimal generator of $\{X_k(t),\,t\geq 0\}$. From the continuous time Perron's Theorem one can normalized such semigroup, and, then we get another stochastic semigroup which generates a continuous time Markov Chain taking values on $Γ_k$. The stationary probability vector for such Markov Chain is denoted by $π_{k,V}$. We assume that the maximum of $V$ is attained in a unique point $x_0$ of $\mathbb{S}^1$, and from this will follow that $π_{k,V}\to δ_{x_0}$. Our main goal is to analyze the large deviation principle for the family $π_{k,V}$, when $k \to\infty$. The deviation function $I^V$, which is defined on $ \mathbb{S}^1$, will be obtained from a procedure based on fixed points of the Lax-Oleinik operator and Aubry-Mather theory.
△ Less
Submitted 23 February, 2014; v1 submitted 4 February, 2014;
originally announced February 2014.
-
Occupation times of exclusion processes with conductances
Authors:
Tertuliano Franco,
Patrícia Gonçalves,
Adriana Neumann
Abstract:
We obtain the fluctuations for the occupation time of one-dimensional symmetric exclusion processes with speed change, where the transition rates (conductances) are driven by a general function W. The approach does not require sharp bounds on the spectral gap of the system nor the jump rates to be bounded from above or below. We present some examples and for one of them, we observe that the fluctu…
▽ More
We obtain the fluctuations for the occupation time of one-dimensional symmetric exclusion processes with speed change, where the transition rates (conductances) are driven by a general function W. The approach does not require sharp bounds on the spectral gap of the system nor the jump rates to be bounded from above or below. We present some examples and for one of them, we observe that the fluctuations of the current are trivial, but the fluctuations of the occupation time are given by a fractional Brownian Motion. This shows that, in general, the fluctuations of the current and of the occupation time are not of same order.
△ Less
Submitted 21 November, 2013;
originally announced November 2013.
-
Slowed exclusion process: hydrodynamics, fluctuations and phase transitions
Authors:
Tertuliano Franco,
Patrícia Gonçalves,
Adriana Neumann
Abstract:
This is a short survey on recent results obtained by the authors on dynamical phase transitions of interacting particle systems. We consider particle systems with exclusion dynamics, but it is conjectured that our results should hold for a general class of particle systems. The parameter giving rise to the phase transition is the "slowness" of a single bond in the discrete lattice. The phase trans…
▽ More
This is a short survey on recent results obtained by the authors on dynamical phase transitions of interacting particle systems. We consider particle systems with exclusion dynamics, but it is conjectured that our results should hold for a general class of particle systems. The parameter giving rise to the phase transition is the "slowness" of a single bond in the discrete lattice. The phase transition is verified not only in the hydrodynamics, but also in the fluctuations of the density, the current and the tagged particle. Moreover, we found a phase transition in the continuum, that is, at the level of the hydrodynamic equations, in agreement with the dynamical phase transition for the particle systems.
△ Less
Submitted 18 October, 2013;
originally announced October 2013.
-
Hydrodynamic limit of quantum random walks
Authors:
Alexandre Baraviera,
Tertuliano Franco,
Adriana Neumann
Abstract:
We present a proof of the hydrodynamic limit of independent quantum random walks evolving on Z.
We present a proof of the hydrodynamic limit of independent quantum random walks evolving on Z.
△ Less
Submitted 4 September, 2013;
originally announced September 2013.
-
A thermodynamic formalism for continuous time Markov chains with values on the Bernoulli Space: entropy, pressure and large deviations
Authors:
Artur O. Lopes,
Adriana Neumann,
Philippe Thieullen
Abstract:
Through this paper we analyze the ergodic properties of continuous time Markov chains with values on the one-dimensional spin lattice 1,...,d}^N (also known as the Bernoulli space). Initially, we consider as the infinitesimal generator the operator $L={\mc L}_A -I$, where \mc L_A is a discrete time Ruelle operator (transfer operator), and A:{1,...,d}^N \to R is a given fixed Lipschitz function. Th…
▽ More
Through this paper we analyze the ergodic properties of continuous time Markov chains with values on the one-dimensional spin lattice 1,...,d}^N (also known as the Bernoulli space). Initially, we consider as the infinitesimal generator the operator $L={\mc L}_A -I$, where \mc L_A is a discrete time Ruelle operator (transfer operator), and A:{1,...,d}^N \to R is a given fixed Lipschitz function. The associated continuous time stationary Markov chain will define the\emph{a priori}probability.
Given a Lipschitz interaction V:\{1,...,d\}^{\bb N}\to \mathbb{R}, we are interested in Gibbs (equilibrium) state for such $V$. This will be another continuous time stationary Markov chain. In order to analyze this problem we will use a continuous time Ruelle operator (transfer operator) naturally associated to V. Among other things we will show that a continuous time Perron-Frobenius Theorem is true in the case V is a Lipschitz function.
We also introduce an entropy, which is negative, and we consider a variational principle of pressure. Finally, we analyze large deviations properties for the empirical measure in the continuous time setting using results by Y. Kifer.
△ Less
Submitted 26 July, 2013; v1 submitted 30 June, 2013;
originally announced July 2013.
-
Phase transition in equilibrium fluctuations of symmetric slowed exclusion
Authors:
Tertuliano Franco,
Patricia Gonçalves,
Adriana Neumann
Abstract:
We analyze the equilibrium fluctuations of the density, current and tagged particle in symmetric exclusion with a slow bond. The system evolves in the one-dimensional lattice and the jump rate is everywhere equal to one except at the slow bond where it is $αn^-β$, where $α,β\geq{0}$ and $n$ is the scaling parameter. Depending on the regime of $β$, we find three different behaviors for the limiting…
▽ More
We analyze the equilibrium fluctuations of the density, current and tagged particle in symmetric exclusion with a slow bond. The system evolves in the one-dimensional lattice and the jump rate is everywhere equal to one except at the slow bond where it is $αn^-β$, where $α,β\geq{0}$ and $n$ is the scaling parameter. Depending on the regime of $β$, we find three different behaviors for the limiting fluctuations whose covariances are explicitly computed. In particular, for the critical value $β=1$, starting a tagged particle near the slow bond, we obtain a family of gaussian processes indexed in $α$, interpolating a fractional brownian motion of Hurst exponent 1/4 and the degenerate process equal to zero.
△ Less
Submitted 27 November, 2013; v1 submitted 21 January, 2013;
originally announced January 2013.
-
Phase transition of a Heat equation with Robin's boundary conditions and exclusion process
Authors:
Tertuliano Franco,
Patricia Gonçalves,
Adriana Neumann
Abstract:
For a heat equation with Robin's boundary conditions which depends on a parameter $α>0$, we prove that its unique weak solution $ρ^α$ converges, when $α$ goes to zero or to infinity, to the unique weak solution of the heat equation with Neumann's boundary conditions or the heat equation with periodic boundary conditions, respectively. To this end, we use uniform bounds on a Sobolev norm of $ρ^α$ o…
▽ More
For a heat equation with Robin's boundary conditions which depends on a parameter $α>0$, we prove that its unique weak solution $ρ^α$ converges, when $α$ goes to zero or to infinity, to the unique weak solution of the heat equation with Neumann's boundary conditions or the heat equation with periodic boundary conditions, respectively. To this end, we use uniform bounds on a Sobolev norm of $ρ^α$ obtained from the hydrodynamic limit of the symmetric slowed exclusion process, plus a careful analysis of boundary terms.
△ Less
Submitted 24 March, 2013; v1 submitted 12 October, 2012;
originally announced October 2012.
-
Hydrodynamical behavior of symmetric exclusion with slow bonds
Authors:
Tertuliano Franco,
Patricia Gonçalves,
Adriana Neumann
Abstract:
We consider the exclusion process in the one-dimensional discrete torus with $N$ points, where all the bonds have conductance one, except a finite number of slow bonds, with conductance $N^{-β}$, with $β\in[0,\infty)$. We prove that the time evolution of the empirical density of particles, in the diffusive scaling, has a distinct behavior according to the range of the parameter $β$. If…
▽ More
We consider the exclusion process in the one-dimensional discrete torus with $N$ points, where all the bonds have conductance one, except a finite number of slow bonds, with conductance $N^{-β}$, with $β\in[0,\infty)$. We prove that the time evolution of the empirical density of particles, in the diffusive scaling, has a distinct behavior according to the range of the parameter $β$. If $β\in [0,1)$, the hydrodynamic limit is given by the usual heat equation. If $β=1$, it is given by a parabolic equation involving an operator $\frac{d}{dx}\frac{d}{dW}$, where $W$ is the Lebesgue measure on the torus plus the sum of the Dirac measure supported on each macroscopic point related to the slow bond. If $β\in(1,\infty)$, it is given by the heat equation with Neumann's boundary conditions, meaning no passage through the slow bonds in the continuum.
△ Less
Submitted 28 June, 2011; v1 submitted 22 October, 2010;
originally announced October 2010.
-
Hydrodynamic Limit for a type of Exclusion Processes with slow bonds in dimension $\ge 2$
Authors:
Tertuliano Franco,
Adriana Neumann,
Glauco Valle
Abstract:
Let $Λ$ be a connected closed region with smooth boundary contained in the $d$-dimensional continuous torus $\bb T^d$. In the discrete torus $N^{-1} \bb T^d_N$, we consider a nearest neighbor symmetric exclusion process where occupancies of neighboring sites are exchanged at rates depending on $Λ$ in the following way: if both sites are in $Λ$ or $Λ^\complement$, the exchange rate is one; If one s…
▽ More
Let $Λ$ be a connected closed region with smooth boundary contained in the $d$-dimensional continuous torus $\bb T^d$. In the discrete torus $N^{-1} \bb T^d_N$, we consider a nearest neighbor symmetric exclusion process where occupancies of neighboring sites are exchanged at rates depending on $Λ$ in the following way: if both sites are in $Λ$ or $Λ^\complement$, the exchange rate is one; If one site is in $Λ$ and the other one is in $Λ^\complement$ and the direction of the bond connecting the sites is $e_j$, then the exchange rate is defined as $N^{-1}$ times the absolute value of the inner product between $e_j$ and the normal exterior vector to $\pΛ$. We show that this exclusion type process has a non-trivial hydrodynamical behavior under diffusive scaling and, in the continuum limit, particles are not blocked or reflected by $\partialΛ$. Thus the model represents a system of particles under hard core interaction in the presence of a permeable membrane which slows down the passage of particles between two complementar regions.
△ Less
Submitted 17 May, 2010;
originally announced May 2010.
