-
CEopt: A MATLAB Package for Non-convex Optimization with the Cross-Entropy Method
Authors:
Americo Cunha Jr,
Marcos Vinicius Issa,
Julio Cesar Basilio,
José Geraldo Telles Ribeiro
Abstract:
This paper introduces CEopt (https://ceopt.org), a MATLAB tool leveraging the Cross-Entropy method for non-convex optimization. Due to the relative simplicity of the algorithm, it provides a kind of transparent ``gray-box'' optimization solver, with intuitive control parameters. Unique in its approach, CEopt effectively handles both equality and inequality constraints using an augmented Lagrangian…
▽ More
This paper introduces CEopt (https://ceopt.org), a MATLAB tool leveraging the Cross-Entropy method for non-convex optimization. Due to the relative simplicity of the algorithm, it provides a kind of transparent ``gray-box'' optimization solver, with intuitive control parameters. Unique in its approach, CEopt effectively handles both equality and inequality constraints using an augmented Lagrangian method, offering robustness and scalability for moderately sized complex problems. Through select case studies, the package's applicability and effectiveness in various optimization scenarios are showcased, marking CEopt as a practical addition to optimization research and application toolsets.
△ Less
Submitted 15 August, 2024;
originally announced September 2024.
-
Low-Degree Polynomials Are Good Extractors
Authors:
Omar Alrabiah,
Jesse Goodman,
Jonathan Mosheiff,
João Ribeiro
Abstract:
We prove that random low-degree polynomials (over $\mathbb{F}_2$) are unbiased, in an extremely general sense. That is, we show that random low-degree polynomials are good randomness extractors for a wide class of distributions. Prior to our work, such results were only known for the small families of (1) uniform sources, (2) affine sources, and (3) local sources. We significantly generalize these…
▽ More
We prove that random low-degree polynomials (over $\mathbb{F}_2$) are unbiased, in an extremely general sense. That is, we show that random low-degree polynomials are good randomness extractors for a wide class of distributions. Prior to our work, such results were only known for the small families of (1) uniform sources, (2) affine sources, and (3) local sources. We significantly generalize these results, and prove the following.
1. Low-degree polynomials extract from small families. We show that a random low-degree polynomial is a good low-error extractor for any small family of sources. In particular, we improve the positive result of Alrabiah, Chattopadhyay, Goodman, Li, and Ribeiro (ICALP 2022) for local sources, and give new results for polynomial and variety sources via a single unified approach.
2. Low-degree polynomials extract from sumset sources. We show that a random low-degree polynomial is a good extractor for sumset sources, which are the most general large family of sources (capturing independent sources, interleaved sources, small-space sources, and more). Formally, for any even $d$, we show that a random degree $d$ polynomial is an $\varepsilon$-error extractor for $n$-bit sumset sources with min-entropy $k=O(d(n/\varepsilon^2)^{2/d})$. This is nearly tight in the polynomial error regime.
Our results on sumset extractors imply new complexity separations for linear ROBPs, and the tools that go into its proof may be of independent interest. The two main tools we use are a new structural result on sumset-punctured Reed-Muller codes, paired with a novel type of reduction between extractors. Using the new structural result, we obtain new limits on the power of sumset extractors, strengthening and generalizing the impossibility results of Chattopadhyay, Goodman, and Gurumukhani (ITCS 2024).
△ Less
Submitted 21 April, 2025; v1 submitted 16 May, 2024;
originally announced May 2024.
-
Cheeger cuts and Robin spectral minimal partitions of metric graphs
Authors:
James B. Kennedy,
João P. Ribeiro
Abstract:
We study partition problems based on two ostensibly different kinds of energy functionals defined on $k$-partitions of metric graphs: Cheeger-type functionals whose minimisers are the $k$-Cheeger cuts of the graph, and the corresponding values are the $k$-Cheeger constants of the graph; and functionals built using the first eigenvalue of the Laplacian with positive, i.e. absorbing, Robin (delta) v…
▽ More
We study partition problems based on two ostensibly different kinds of energy functionals defined on $k$-partitions of metric graphs: Cheeger-type functionals whose minimisers are the $k$-Cheeger cuts of the graph, and the corresponding values are the $k$-Cheeger constants of the graph; and functionals built using the first eigenvalue of the Laplacian with positive, i.e. absorbing, Robin (delta) vertex conditions at the boundary of the partition elements. We prove existence of minimising $k$-partitions, $k \geq 2$, for both these functionals. We also show that, for each $k \geq 2$, as the Robin parameter $α\to 0$, up to a renormalisation the spectral minimal Robin energy converges to the $k$-Cheeger constant. Moreover, up to a subsequence, the Robin spectral minimal $k$-partitions converge in a natural sense to a $k$-Cheeger cut of the graph. Finally, we show that as $α\to \infty$ there is convergence in a similar sense to the corresponding Dirichlet minimal energy and partitions.
It is strongly expected that similar results hold on general (smooth, bounded) Euclidean domains and manifolds.
△ Less
Submitted 25 June, 2024; v1 submitted 4 October, 2023;
originally announced October 2023.
-
Cyclicity of Rigid Centers on Center Manifolds of Three-dimensional systems
Authors:
Claudio Pessoa,
Lucas Queiroz,
Jarne D. Ribeiro
Abstract:
We work with polynomial three-dimensional rigid differential systems. Using the Lyapunov constants, we obtain lower bounds for the cyclicity of the known rigid centers on their center manifolds. Moreover, we obtain an example of a quadratic rigid center from which is possible to bifurcate 13 limit cycles, which is a new lower bound for three-dimensional quadratic systems.
We work with polynomial three-dimensional rigid differential systems. Using the Lyapunov constants, we obtain lower bounds for the cyclicity of the known rigid centers on their center manifolds. Moreover, we obtain an example of a quadratic rigid center from which is possible to bifurcate 13 limit cycles, which is a new lower bound for three-dimensional quadratic systems.
△ Less
Submitted 24 February, 2022;
originally announced February 2022.
-
Beyond Single-Deletion Correcting Codes: Substitutions and Transpositions
Authors:
Ryan Gabrys,
Venkatesan Guruswami,
João Ribeiro,
Ke Wu
Abstract:
We consider the problem of designing low-redundancy codes in settings where one must correct deletions in conjunction with substitutions or adjacent transpositions; a combination of errors that is usually observed in DNA-based data storage. One of the most basic versions of this problem was settled more than 50 years ago by Levenshtein, or one substitution, with nearly optimal redundancy. However,…
▽ More
We consider the problem of designing low-redundancy codes in settings where one must correct deletions in conjunction with substitutions or adjacent transpositions; a combination of errors that is usually observed in DNA-based data storage. One of the most basic versions of this problem was settled more than 50 years ago by Levenshtein, or one substitution, with nearly optimal redundancy. However, this approach fails to extend to many simple and natural variations of the binary single-edit error setting. In this work, we make progress on the code design problem above in three such variations:
We construct linear-time encodable and decodable length-$n$ non-binary codes correcting a single edit error with nearly optimal redundancy $\log n+O(\log\log n)$, providing an alternative simpler proof of a result by Cai, Chee, Gabrys, Kiah, and Nguyen (IEEE Trans. Inf. Theory 2021). This is achieved by employing what we call weighted VT sketches, a notion that may be of independent interest.
We construct linear-time encodable and list-decodable binary codes with list-size $2$ for one deletion and one substitution with redundancy $4\log n+O(\log\log n)$. This matches the existential bound up to an $O(\log\log n)$ additive term.
We show the existence of a binary code correcting one deletion or one adjacent transposition with nearly optimal redundancy $\log n+O(\log\log n)$.
△ Less
Submitted 18 December, 2021;
originally announced December 2021.
-
Multiple almost summing operators
Authors:
Joilson Ribeiro,
Fabrício Santos
Abstract:
In this paper, we explore the concept of multilinear operators that are multiple almost summing and present a new concept of type and cotype of multilinear operators and investigate the conditions for this new concept to recover the original concept of type and type for multilinear operators. We also show that these classes are Banach multi-ideals and establish the coherence and compatibility of t…
▽ More
In this paper, we explore the concept of multilinear operators that are multiple almost summing and present a new concept of type and cotype of multilinear operators and investigate the conditions for this new concept to recover the original concept of type and type for multilinear operators. We also show that these classes are Banach multi-ideals and establish the coherence and compatibility of these classes with the generated homogeneous polynomials.
△ Less
Submitted 21 September, 2021;
originally announced September 2021.
-
PAC Mode Estimation using PPR Martingale Confidence Sequences
Authors:
Shubham Anand Jain,
Rohan Shah,
Sanit Gupta,
Denil Mehta,
Inderjeet Jayakumar Nair,
Jian Vora,
Sushil Khyalia,
Sourav Das,
Vinay J. Ribeiro,
Shivaram Kalyanakrishnan
Abstract:
We consider the problem of correctly identifying the \textit{mode} of a discrete distribution $\mathcal{P}$ with sufficiently high probability by observing a sequence of i.i.d. samples drawn from $\mathcal{P}$. This problem reduces to the estimation of a single parameter when $\mathcal{P}$ has a support set of size $K = 2$. After noting that this special case is tackled very well by prior-posterio…
▽ More
We consider the problem of correctly identifying the \textit{mode} of a discrete distribution $\mathcal{P}$ with sufficiently high probability by observing a sequence of i.i.d. samples drawn from $\mathcal{P}$. This problem reduces to the estimation of a single parameter when $\mathcal{P}$ has a support set of size $K = 2$. After noting that this special case is tackled very well by prior-posterior-ratio (PPR) martingale confidence sequences \citep{waudby-ramdas-ppr}, we propose a generalisation to mode estimation, in which $\mathcal{P}$ may take $K \geq 2$ values. To begin, we show that the "one-versus-one" principle to generalise from $K = 2$ to $K \geq 2$ classes is more efficient than the "one-versus-rest" alternative. We then prove that our resulting stopping rule, denoted PPR-1v1, is asymptotically optimal (as the mistake probability is taken to $0$). PPR-1v1 is parameter-free and computationally light, and incurs significantly fewer samples than competitors even in the non-asymptotic regime. We demonstrate its gains in two practical applications of sampling: election forecasting and verification of smart contracts in blockchains.
△ Less
Submitted 11 April, 2022; v1 submitted 10 September, 2021;
originally announced September 2021.
-
Effects of Quantization on the Multiple-Round Secret-Key Capacity
Authors:
Onur Günlü,
Ueli Maurer,
João Ribeiro
Abstract:
We consider the strong secret key (SK) agreement problem for the satellite communication setting, where a satellite chooses a common binary phase shift keying modulated input for three statistically independent additive white Gaussian noise measurement channels whose outputs are observed by two legitimate transceivers (Alice and Bob) and an eavesdropper (Eve), respectively. Legitimate transceivers…
▽ More
We consider the strong secret key (SK) agreement problem for the satellite communication setting, where a satellite chooses a common binary phase shift keying modulated input for three statistically independent additive white Gaussian noise measurement channels whose outputs are observed by two legitimate transceivers (Alice and Bob) and an eavesdropper (Eve), respectively. Legitimate transceivers have access to an authenticated, noiseless, two-way, and public communication link, so they can exchange multiple rounds of public messages to agree on a SK hidden from Eve. Without loss of essential generality, the noise variances for Alice's and Bob's measurement channels are both fixed to a value $Q>1$, whereas the noise over Eve's measurement channel has a unit variance, so $Q$ represents a channel quality ratio. We show that when both legitimate transceivers apply a one-bit uniform quantizer to their noisy observations before SK agreement, the SK capacity decreases at least quadratically in $Q$.
△ Less
Submitted 29 August, 2021; v1 submitted 4 May, 2021;
originally announced May 2021.
-
Mean-Based Trace Reconstruction over Oblivious Synchronization Channels
Authors:
Mahdi Cheraghchi,
Joseph Downs,
João Ribeiro,
Alexandra Veliche
Abstract:
Mean-based reconstruction is a fundamental, natural approach to worst-case trace reconstruction over channels with synchronization errors. It is known that $\exp(O(n^{1/3}))$ traces are necessary and sufficient for mean-based worst-case trace reconstruction over the deletion channel, and this result was also extended to certain channels combining deletions and geometric insertions of uniformly ran…
▽ More
Mean-based reconstruction is a fundamental, natural approach to worst-case trace reconstruction over channels with synchronization errors. It is known that $\exp(O(n^{1/3}))$ traces are necessary and sufficient for mean-based worst-case trace reconstruction over the deletion channel, and this result was also extended to certain channels combining deletions and geometric insertions of uniformly random bits. In this work, we use a simple extension of the original complex-analytic approach to show that these results are examples of a much more general phenomenon. We introduce oblivious synchronization channels, which map each input bit to an arbitrarily distributed sequence of replications and insertions of random bits. This general class captures all previously considered synchronization channels. We show that for any oblivious synchronization channel whose output length follows a sub-exponential distribution either mean-based trace reconstruction is impossible or $\exp(O(n^{1/3}))$ traces suffice for this task.
△ Less
Submitted 12 October, 2021; v1 submitted 18 February, 2021;
originally announced February 2021.
-
An Overview of Capacity Results for Synchronization Channels
Authors:
Mahdi Cheraghchi,
João Ribeiro
Abstract:
Synchronization channels, such as the well-known deletion channel, are surprisingly harder to analyze than memoryless channels, and they are a source of many fundamental problems in information theory and theoretical computer science.
One of the most basic open problems regarding synchronization channels is the derivation of an exact expression for their capacity. Unfortunately, most of the clas…
▽ More
Synchronization channels, such as the well-known deletion channel, are surprisingly harder to analyze than memoryless channels, and they are a source of many fundamental problems in information theory and theoretical computer science.
One of the most basic open problems regarding synchronization channels is the derivation of an exact expression for their capacity. Unfortunately, most of the classic information-theoretic techniques at our disposal fail spectacularly when applied to synchronization channels. Therefore, new approaches must be considered to tackle this problem. This survey gives an account of the great effort made over the past few decades to better understand the (broadly defined) capacity of synchronization channels, including both the main results and the novel techniques underlying them. Besides the usual notion of channel capacity, we also discuss the zero-error capacity of synchronization channels.
△ Less
Submitted 8 November, 2019; v1 submitted 16 October, 2019;
originally announced October 2019.
-
Coded trace reconstruction
Authors:
Mahdi Cheraghchi,
Ryan Gabrys,
Olgica Milenkovic,
João Ribeiro
Abstract:
Motivated by average-case trace reconstruction and coding for portable DNA-based storage systems, we initiate the study of \emph{coded trace reconstruction}, the design and analysis of high-rate efficiently encodable codes that can be efficiently decoded with high probability from few reads (also called \emph{traces}) corrupted by edit errors. Codes used in current portable DNA-based storage syste…
▽ More
Motivated by average-case trace reconstruction and coding for portable DNA-based storage systems, we initiate the study of \emph{coded trace reconstruction}, the design and analysis of high-rate efficiently encodable codes that can be efficiently decoded with high probability from few reads (also called \emph{traces}) corrupted by edit errors. Codes used in current portable DNA-based storage systems with nanopore sequencers are largely based on heuristics, and have no provable robustness or performance guarantees even for an error model with i.i.d.\ deletions and constant deletion probability. Our work is a first step towards the design of efficient codes with provable guarantees for such systems. We consider a constant rate of i.i.d.\ deletions, and perform an analysis of marker-based code-constructions. This gives rise to codes with redundancy $O(n/\log n)$ (resp.\ $O(n/\log\log n)$) that can be efficiently reconstructed from $\exp(O(\log^{2/3}n))$ (resp.\ $\exp(O(\log\log n)^{2/3})$) traces, where $n$ is the message length. Then, we give a construction of a code with $O(\log n)$ bits of redundancy that can be efficiently reconstructed from $\textrm{poly}(n)$ traces if the deletion probability is small enough. Finally, we show how to combine both approaches, giving rise to an efficient code with $O(n/\log n)$ bits of redundancy which can be reconstructed from $\textrm{poly}(\log n)$ traces for a small constant deletion probability.
△ Less
Submitted 9 September, 2019; v1 submitted 24 March, 2019;
originally announced March 2019.
-
Transformations of sequence spaces by multipolinomials
Authors:
Joilson Ribeiro,
Fabrício Santos
Abstract:
In this paper we introduce a new approach to the concept of multipolynomials and generalize several results of the homogeneous polynomials and symmetric multilinear applications. We also present an abstract approach to the concept of absolutely summing multipolynomials
In this paper we introduce a new approach to the concept of multipolynomials and generalize several results of the homogeneous polynomials and symmetric multilinear applications. We also present an abstract approach to the concept of absolutely summing multipolynomials
△ Less
Submitted 16 November, 2018;
originally announced November 2018.
-
A note on Basis Problem in normed spaces
Authors:
Vinicius Coelho,
Joilson Ribeiro,
Luciana Salgado
Abstract:
In this work, we prove the criterion of Banach-Grunblum and the principle of selection of Bessaga-Pełczyński for normed spaces. As applications of these results, we show the Principle of Selection of Bessaga-Pełczyński for normed spaces and the Spectral Theorem for compact self-adjoint operators on inner product spaces.
In this work, we prove the criterion of Banach-Grunblum and the principle of selection of Bessaga-Pełczyński for normed spaces. As applications of these results, we show the Principle of Selection of Bessaga-Pełczyński for normed spaces and the Spectral Theorem for compact self-adjoint operators on inner product spaces.
△ Less
Submitted 5 November, 2024; v1 submitted 20 June, 2018;
originally announced June 2018.
-
Coherence and compatibility: a stronger approach
Authors:
Joilson Ribeiro,
Fabrício Santos,
Ewerton Torres
Abstract:
In this work we present a definition for coherence and compatibility of multilinear mappings and homogenous polynomial classes. These definitions are more restricted than the ones proposed before. We began analyzing this new definition in a technical sense, searching for what it has in common with other approaches. Then, we moved on to a more practical analysis. Through numerous examples of differ…
▽ More
In this work we present a definition for coherence and compatibility of multilinear mappings and homogenous polynomial classes. These definitions are more restricted than the ones proposed before. We began analyzing this new definition in a technical sense, searching for what it has in common with other approaches. Then, we moved on to a more practical analysis. Through numerous examples of different classes of multilinear mappings and homogenous polynomials we checked the limits on these proposed definitions and propose there is a vast field in which they apply.
△ Less
Submitted 22 October, 2018; v1 submitted 8 May, 2018;
originally announced May 2018.
-
Absolutely $γ$ - summing polynomials and the notion of coherence and compatibility
Authors:
Joilson Ribeiro,
Fabrício Santos
Abstract:
In this paper, we construct the abstract ideal of polynomials. We show this is an ideal of Banach and, in a second moment, we explore the question of the coherence and compatibility of the pair composed by the abstract ideals of polynomials and multilinear applications.
In this paper, we construct the abstract ideal of polynomials. We show this is an ideal of Banach and, in a second moment, we explore the question of the coherence and compatibility of the pair composed by the abstract ideals of polynomials and multilinear applications.
△ Less
Submitted 28 October, 2017; v1 submitted 7 October, 2017;
originally announced October 2017.
-
Generalized multiple summing multilinear operators on Banach spaces
Authors:
Joilson Ribeiro,
Fabrício Santos
Abstract:
In this paper we provide an abstract aproach to the study of classes of multiple summing multilinear operators between Banach spaces. The main purpose is unify the study of several known classes and results, for example multiple $(p, q_1,\dots, q_n)$-summing operators, multiple mixing $(s, q, p)$-summing operators and multiple strong $(s, q, p)$-mixing summing operators. We also define new class o…
▽ More
In this paper we provide an abstract aproach to the study of classes of multiple summing multilinear operators between Banach spaces. The main purpose is unify the study of several known classes and results, for example multiple $(p, q_1,\dots, q_n)$-summing operators, multiple mixing $(s, q, p)$-summing operators and multiple strong $(s, q, p)$-mixing summing operators. We also define new class of multiple summing multilinear operator that are particular cases of our construction and, therefore, satisfy the results proved in the paper.
△ Less
Submitted 9 July, 2018; v1 submitted 20 May, 2017;
originally announced May 2017.
-
Generalization of the Sullivan construction for Transitive Lie Algebroids
Authors:
Alexander S. Mishchenko,
Jose Ribeiro
Abstract:
D.Sullivan (1977) (see also the book by H.Whitney "Geometric Integration Theory",1957) considered a new model for underlying cochain complex for classical cohomologies with rational coefficients for arbitrary simplicial spaces that gives the isomorphism with classical rational cohomologies. We apply the key ideas developed by K.MacKenzie (2005) and J.Kubarski (1991) to generalization of the D.Sull…
▽ More
D.Sullivan (1977) (see also the book by H.Whitney "Geometric Integration Theory",1957) considered a new model for underlying cochain complex for classical cohomologies with rational coefficients for arbitrary simplicial spaces that gives the isomorphism with classical rational cohomologies. We apply the key ideas developed by K.MacKenzie (2005) and J.Kubarski (1991) to generalization of the D.Sullivan model for transitive Lie algebroids. The generalization is based on the existence of the inverse image of the transitive Lie algebroids and on the property of transitive Lie algebroids being trivial over contractible manifolds. Using these properties one can construct an underlying cochain complex of differential forms on simplicial space.
△ Less
Submitted 29 November, 2011; v1 submitted 28 February, 2011;
originally announced February 2011.
-
Almost Summing Polynomials: A Coherent and Compatible Approach the from the Infinite-Dimensional Holomorphy Viewpoint
Authors:
Daniel Pellegrino,
Joilson Ribeiro
Abstract:
In this note we explore the notion of everywhere almost summing polynomials and define a natural norm which makes this class a Banach multi-ideal which is a holomorphy type (in the sense of L.Nachbin) and also coherent and compatible (in the sense of D. Carando, V. Dimant and S. Muro) with the notion of almost summing linear operators. Similar results are not valid for the original concept of almo…
▽ More
In this note we explore the notion of everywhere almost summing polynomials and define a natural norm which makes this class a Banach multi-ideal which is a holomorphy type (in the sense of L.Nachbin) and also coherent and compatible (in the sense of D. Carando, V. Dimant and S. Muro) with the notion of almost summing linear operators. Similar results are not valid for the original concept of almost summing polynomials, due to G. Botelho.
△ Less
Submitted 4 April, 2011; v1 submitted 7 February, 2011;
originally announced February 2011.
-
On multi-ideals and polynomial ideals of Banach spaces: a new approach to coherence and compatibility
Authors:
Daniel Pellegrino,
Joilson Ribeiro
Abstract:
What is an adequate extension of an operator ideal I to the polynomial and multilinear settings? This question motivated the appearance of the concepts of coherent sequences of polynomial ideals and compatibility of a polynomial ideal with an operator ideal, introduced by D. Carando el al. We propose a different approach by considering pairs (U_{k},M_{k})_{k=1}^{\infty}, where (U_{k})_{k=1}^{\inft…
▽ More
What is an adequate extension of an operator ideal I to the polynomial and multilinear settings? This question motivated the appearance of the concepts of coherent sequences of polynomial ideals and compatibility of a polynomial ideal with an operator ideal, introduced by D. Carando el al. We propose a different approach by considering pairs (U_{k},M_{k})_{k=1}^{\infty}, where (U_{k})_{k=1}^{\infty} is a polynomial ideal and (M_{k})_{k=1}^{\infty} is a multi-ideal, instead of considering just polynomial ideals. Our approach ends a discomfort caused by the previous theory: for real scalars the canonical sequence (P_{k})_{k=1}^{\infty} of continuous k-homogeneous polynomials is not coherent according to the definition of Carando et al.
△ Less
Submitted 29 July, 2012; v1 submitted 10 January, 2011;
originally announced January 2011.
-
Optimal sampling strategies for multiscale stochastic processes
Authors:
Vinay J. Ribeiro,
Rudolf H. Riedi,
Richard G. Baraniuk
Abstract:
In this paper, we determine which non-random sampling of fixed size gives the best linear predictor of the sum of a finite spatial population. We employ different multiscale superpopulation models and use the minimum mean-squared error as our optimality criterion. In multiscale superpopulation tree models, the leaves represent the units of the population, interior nodes represent partial sums of…
▽ More
In this paper, we determine which non-random sampling of fixed size gives the best linear predictor of the sum of a finite spatial population. We employ different multiscale superpopulation models and use the minimum mean-squared error as our optimality criterion. In multiscale superpopulation tree models, the leaves represent the units of the population, interior nodes represent partial sums of the population, and the root node represents the total sum of the population. We prove that the optimal sampling pattern varies dramatically with the correlation structure of the tree nodes. While uniform sampling is optimal for trees with ``positive correlation progression'', it provides the worst possible sampling with ``negative correlation progression.'' As an analysis tool, we introduce and study a class of independent innovations trees that are of interest in their own right. We derive a fast water-filling algorithm to determine the optimal sampling of the leaves to estimate the root of an independent innovations tree.
△ Less
Submitted 7 November, 2006;
originally announced November 2006.
