-
Mitigating Hand Blockage with Non-Directional Beamforming Codebooks
Authors:
Vasanthan Raghavan,
Ricardo A. Motos,
M. Ali Tassoudji,
Yu-Chin Ou,
Ozge H. Koymen,
Junyi Li
Abstract:
Hand blockage leads to significant performance impairments at millimeter wave carrier frequencies. A number of prior works have characterized the loss in signal strength with the hand using studies with horn antennas and form-factor user equipments (UEs). However, the impact of the hand on the effective phase response seen by the antenna elements has not been studied so far. Towards this goal, we…
▽ More
Hand blockage leads to significant performance impairments at millimeter wave carrier frequencies. A number of prior works have characterized the loss in signal strength with the hand using studies with horn antennas and form-factor user equipments (UEs). However, the impact of the hand on the effective phase response seen by the antenna elements has not been studied so far. Towards this goal, we consider a measurement framework that uses a hand phantom holding the UE in relaxed positions reflective of talk mode, watching videos, and playing games. We first study the impact of blockage on a directional beam steering codebook. The tight phase relationship across antenna elements needed to steer beams leads to a significant performance degradation as the hand surface can distort the observed amplitudes and phases across the antenna elements, which cannot be matched by this codebook. To overcome this loss, we propose a non-directional beamforming codebook made of amplitudes and/or quantized phases with both these quantities estimated as necessary. Theoretical as well as numerical studies show that the proposed codebook can de-randomize the phase distortions induced by the hand and coherently combine the energy across antenna elements and thus help in mitigating hand blockage losses.
△ Less
Submitted 13 April, 2021;
originally announced April 2021.
-
Hand and Body Blockage Measurements with Form-Factor User Equipment at 28 GHz
Authors:
Vasanthan Raghavan,
Sonsay Noimanivone,
Sung Kil Rho,
Bernie Farin,
Patrick Connor,
Ricardo A. Motos,
Yu-Chin Ou,
Kobi Ravid,
M. Ali Tassoudji,
Ozge H. Koymen,
Junyi Li
Abstract:
Blockage by the human hand/body is an important impairment in realizing practical millimeter wave wireless systems. Prior works on blockage modeling are either based on theoretical studies of double knife edge diffraction or its modifications, high-frequency simulations of electromagnetic effects, or measurements with experimental millimeter wave prototypes. While such studies are useful, they do…
▽ More
Blockage by the human hand/body is an important impairment in realizing practical millimeter wave wireless systems. Prior works on blockage modeling are either based on theoretical studies of double knife edge diffraction or its modifications, high-frequency simulations of electromagnetic effects, or measurements with experimental millimeter wave prototypes. While such studies are useful, they do not capture the form-factor constraints of user equipments (UEs). In this work, we study the impact of hand/body blockage with a UE at $28$ GHz built on Qualcomm's millimeter wave modem, antenna modules and beamforming solutions. We report five exhaustive and controlled studies with different types of hand holdings/grips, antenna types, and with directional/narrow beams. For both hard as well as loose hand grips, we report considerably lower blockage loss estimates than prior works. Critical in estimating the loss is the definition of a "region of interest" (RoI) around the UE where the impact of the hand/body is seen. Towards this goal, we define a RoI that includes the spatial area where significant energy is seen in either the no blockage or blockage modes. Our studies show that significant spatial area coverage improvement can be seen with loose hand grip due to hand reflections.
△ Less
Submitted 8 December, 2019;
originally announced December 2019.
-
Antenna Placement and Performance Tradeoffs with Hand Blockage in Millimeter Wave Systems
Authors:
Vasanthan Raghavan,
Mei-Li,
Chi,
M. Ali Tassoudji,
Ozge H. Koymen,
Junyi Li
Abstract:
The ongoing commercial deployment of millimeter wave systems brings into focus a number of practical issues in form factor user equipment (UE) design. With wavelengths becoming smaller, antenna gain patterns becoming directional, and link budgets critically dependent on beamforming, it becomes imperative to use a number of antenna modules at different locations of the UE for good performance. Whil…
▽ More
The ongoing commercial deployment of millimeter wave systems brings into focus a number of practical issues in form factor user equipment (UE) design. With wavelengths becoming smaller, antenna gain patterns becoming directional, and link budgets critically dependent on beamforming, it becomes imperative to use a number of antenna modules at different locations of the UE for good performance. While more antennas/modules can enhance beamforming array gains, it comes with the tradeoff of higher component cost, power consumption of the associated radio frequency circuitry, and a beam management overhead in learning the appropriate beam weights. Thus, the goal of a good UE design is to provide robust spherical coverage corresponding to good array gains over the entire sphere around the UE with a low beam management overhead, complexity, and cost. The scope of this paper is to study the implications of two popular commercial millimeter wave UE designs (a face and an edge design) on spherical coverage. We show that analog beam codebooks can result in good performance for both the designs, and the edge design provides a better tradeoff in terms of robust performance (with hand blockage), beam management overhead, implementation complexity from an antenna placement standpoint and cost.
△ Less
Submitted 3 January, 2019;
originally announced January 2019.
-
Channel Reconstruction-Based Hybrid Precoding for Millimeter Wave Multi-User MIMO Systems
Authors:
Miguel R. Castellanos,
Vasanthan Raghavan,
Jung H. Ryu,
Ozge H. Koymen,
Junyi Li,
David J. Love,
Borja Peleato
Abstract:
The focus of this paper is on multi-user MIMO transmissions for millimeter wave systems with a hybrid precoding architecture at the base-station. To enable multi-user transmissions, the base-station uses a cell-specific codebook of beamforming vectors over an initial beam alignment phase. Each user uses a user-specific codebook of beamforming vectors to learn the top-P (where P >= 1) beam pairs in…
▽ More
The focus of this paper is on multi-user MIMO transmissions for millimeter wave systems with a hybrid precoding architecture at the base-station. To enable multi-user transmissions, the base-station uses a cell-specific codebook of beamforming vectors over an initial beam alignment phase. Each user uses a user-specific codebook of beamforming vectors to learn the top-P (where P >= 1) beam pairs in terms of the observed SNR in a single-user setting. The top-P beam indices along with their SNRs are fed back from each user and the base-station leverages this information to generate beam weights for simultaneous transmissions. A typical method to generate the beam weights is to use only the best beam for each user and either steer energy along this beam, or to utilize this information to reduce multi-user interference. The other beams are used as fall back options to address blockage or mobility. Such an approach completely discards information learned about the channel condition(s) even though each user feeds back this information. With this background, this work develops an advanced directional precoding structure for simultaneous transmissions at the cost of an additional marginal feedback overhead. This construction relies on three main innovations: 1) Additional feedback to allow the base-station to reconstruct a rank-P approximation of the channel matrix between it and each user, 2) A zeroforcing structure that leverages this information to combat multi-user interference by remaining agnostic of the receiver beam knowledge in the precoder design, and 3) A hybrid precoding architecture that allows both amplitude and phase control at low-complexity and cost to allow the implementation of the zeroforcing structure. Numerical studies show that the proposed scheme results in a significant sum rate performance improvement over naive schemes even with a coarse initial beam alignment codebook.
△ Less
Submitted 14 February, 2018;
originally announced February 2018.
-
Statistical Blockage Modeling and Robustness of Beamforming in Millimeter Wave Systems
Authors:
Vasanthan Raghavan,
Lida Akhoondzadeh-asl,
Vladimir Podshivalov,
Joakim Hulten,
M. Ali Tassoudji,
Ozge Hizir Koymen,
Ashwin Sampath,
Junyi Li
Abstract:
There has been a growing interest in the commercialization of millimeter wave (mmW) technology as a part of the Fifth-Generation New Radio (5G-NR) wireless standardization efforts. In this direction, many sets of independent measurement campaigns show that wireless propagation at mmW carrier frequencies is only marginally worse than propagation at sub-6 GHz carrier frequencies for small-cell cover…
▽ More
There has been a growing interest in the commercialization of millimeter wave (mmW) technology as a part of the Fifth-Generation New Radio (5G-NR) wireless standardization efforts. In this direction, many sets of independent measurement campaigns show that wireless propagation at mmW carrier frequencies is only marginally worse than propagation at sub-6 GHz carrier frequencies for small-cell coverage --- one of the most important use-cases for 5G-NR. On the other hand, the biggest determinants of viability of mmW systems in practice are penetration and blockage of mmW signals through different materials in the scattering environment. With this background, the focus of this paper is on understanding the impact of blockage of mmW signals and reduced spatial coverage due to penetration through the human hand, body, vehicles, etc. Leveraging measurements with a 28 GHz mmW experimental prototype and electromagnetic simulation studies, we first propose statistical blockage models to capture the impact of the hand, human body and vehicles. We then study the time-scales at which mmW signals are disrupted by blockage (hand and human body). Our results show that these events can be attributed to physical movements and the time-scales corresponding to blockage are hence on the order of a few 100 ms or more. Building on this fundamental understanding, we finally consider the broader question of robustness of mmW beamforming to handle blockage. Network densification, subarray switching in a user equipment (UE) designed with multiple subarrays, fall back mechanisms such as codebook enhancements and switching to legacy carriers in non-standalone deployments, etc. can address blockage before it leads to a deleterious impact on the mmW link margin.
△ Less
Submitted 10 January, 2018;
originally announced January 2018.
-
Millimeter Wave MIMO Prototype: Measurements and Experimental Results
Authors:
Vasanthan Raghavan,
Andrzej Partyka,
Ashwin Sampath,
Sundar Subramanian,
Ozge Hizir Koymen,
Kobi Ravid,
Juergen Cezanne,
Kiran Mukkavilli,
Junyi Li
Abstract:
Millimeter-wave multi-input multi-output (mm-Wave MIMO) systems are one of the candidate schemes for 5G wireless standardization efforts. In this context, the main contributions of this article are three-fold. 1) We describe parallel sets of measurements at identical transmit-receive location pairs with 2.9, 29 and 61 GHz carrier frequencies in indoor office, shop** mall, and outdoor settings. T…
▽ More
Millimeter-wave multi-input multi-output (mm-Wave MIMO) systems are one of the candidate schemes for 5G wireless standardization efforts. In this context, the main contributions of this article are three-fold. 1) We describe parallel sets of measurements at identical transmit-receive location pairs with 2.9, 29 and 61 GHz carrier frequencies in indoor office, shop** mall, and outdoor settings. These measurements provide insights on propagation, blockage and material penetration losses, and the key elements necessary in system design to make mm-Wave systems viable in practice. 2) One of these elements is hybrid beamforming necessary for better link margins by rea** the array gain with large antenna dimensions. From the class of fully-flexible hybrid beamformers, we describe a robust class of directional beamformers towards meeting the high data-rate requirements of mm-Wave systems. 3) Leveraging these design insights, we then describe an experimental prototype system at 28 GHz that realizes high data-rates on both the downlink and uplink and robustly maintains these rates in outdoor and indoor mobility scenarios. In addition to maintaining large signal constellation sizes in spite of radio frequency challenges, this prototype leverages the directional nature of the mm-Wave channel to perform seamless beam switching and handover across mm-Wave base-stations thereby overcoming the path losses in non-line-of-sight links and blockages encountered at mm-Wave frequencies.
△ Less
Submitted 25 October, 2017;
originally announced October 2017.
-
Millimeter Wave Channel Measurements and Implications for PHY Layer Design
Authors:
Vasanthan Raghavan,
Andrzej Partyka,
Lida Akhoondzadehasl,
Ali Tassoudji,
Ozge Koymen,
John Sanelli
Abstract:
There has been an increasing interest in the millimeter wave (mmW) frequency regime in the design of next-generation wireless systems. The focus of this work is on understanding mmW channel properties that have an important bearing on the feasibility of mmW systems in practice and have a significant impact on physical (PHY) layer design. In this direction, simultaneous channel sounding measurement…
▽ More
There has been an increasing interest in the millimeter wave (mmW) frequency regime in the design of next-generation wireless systems. The focus of this work is on understanding mmW channel properties that have an important bearing on the feasibility of mmW systems in practice and have a significant impact on physical (PHY) layer design. In this direction, simultaneous channel sounding measurements at 2.9, 29 and 61 GHz are performed at a number of transmit-receive location pairs in indoor office, shop** mall and outdoor environments. Based on these measurements, this paper first studies large-scale properties such as path loss and delay spread across different carrier frequencies in these scenarios. Towards the goal of understanding the feasibility of outdoor-to-indoor coverage, material measurements corresponding to mmW reflection and penetration are studied and significant notches in signal reception spread over a few GHz are reported. Finally, implications of these measurements on system design are discussed and multiple solutions are proposed to overcome these impairments.
△ Less
Submitted 16 September, 2017;
originally announced September 2017.
-
Investigation of Prediction Accuracy, Sensitivity, and Parameter Stability of Large-Scale Propagation Path Loss Models for 5G Wireless Communications
Authors:
Shu Sun,
Theodore S. Rappaport,
Timothy A. Thomas,
Amitava Ghosh,
Huan C. Nguyen,
Istvan Z. Kovacs,
Ignacio Rodriguez,
Ozge Koymen,
Andrzej Partyka
Abstract:
This paper compares three candidate large-scale propagation path loss models for use over the entire microwave and millimeter-wave (mmWave) radio spectrum: the alpha-beta-gamma (ABG) model, the close-in (CI) free space reference distance model, and the CI model with a frequency-weighted path loss exponent (CIF). Each of these models have been recently studied for use in standards bodies such as 3G…
▽ More
This paper compares three candidate large-scale propagation path loss models for use over the entire microwave and millimeter-wave (mmWave) radio spectrum: the alpha-beta-gamma (ABG) model, the close-in (CI) free space reference distance model, and the CI model with a frequency-weighted path loss exponent (CIF). Each of these models have been recently studied for use in standards bodies such as 3GPP, and for use in the design of fifth generation (5G) wireless systems in urban macrocell, urban microcell, and indoor office and shop** mall scenarios. Here we compare the accuracy and sensitivity of these models using measured data from 30 propagation measurement datasets from 2 GHz to 73 GHz over distances ranging from 4 m to 1238 m. A series of sensitivity analyses of the three models show that the physically-based two-parameter CI model and three-parameter CIF model offer computational simplicity, have very similar goodness of fit (i.e., the shadow fading standard deviation), exhibit more stable model parameter behavior across frequencies and distances, and yield smaller prediction error in sensitivity testing across distances and frequencies, when compared to the four-parameter ABG model. Results show the CI model with a 1 m close-in reference distance is suitable for outdoor environments, while the CIF model is more appropriate for indoor modeling. The CI and CIF models are easily implemented in existing 3GPP models by making a very subtle modification -- by replacing a floating non-physically based constant with a frequency-dependent constant that represents free space path loss in the first meter of propagation.
△ Less
Submitted 10 June, 2016; v1 submitted 14 March, 2016;
originally announced March 2016.
-
Indoor 5G 3GPP-like Channel Models for Office and Shop** Mall Environments
Authors:
Katsuyuki Haneda,
Lei Tian,
Henrik Asplund,
Jian Li,
Yi Wang,
David Steer,
Clara Li,
Tommaso Balercia,
Sunguk Lee,
YoungSuk Kim,
Amitava Ghosh,
Timothy Thomas,
Takehiro Nakamura,
Yuichi Kakishima,
Tetsuro Imai,
Haralabos Papadopoulas,
Theodore S. Rappaport,
George R. MacCartney Jr.,
Mathew K. Samimi,
Shu Sun,
Ozge Koymen,
Sooyoung Hur,
Jeongho Park,
Charlie Zhang,
Evangelos Mellios
, et al. (3 additional authors not shown)
Abstract:
Future mobile communications systems are likely to be very different to those of today with new service innovations driven by increasing data traffic demand, increasing processing power of smart devices and new innovative applications. To meet these service demands the telecommunications industry is converging on a common set of 5G requirements which includes network speeds as high as 10 Gbps, cel…
▽ More
Future mobile communications systems are likely to be very different to those of today with new service innovations driven by increasing data traffic demand, increasing processing power of smart devices and new innovative applications. To meet these service demands the telecommunications industry is converging on a common set of 5G requirements which includes network speeds as high as 10 Gbps, cell edge rate greater than 100 Mbps, and latency of less than 1 msec. To reach these 5G requirements the industry is looking at new spectrum bands in the range up to 100 GHz where there is spectrum availability for wide bandwidth channels. For the development of new 5G systems to operate in bands up to 100 GHz there is a need for accurate radio propagation models which are not addressed by existing channel models developed for bands below 6 GHz. This paper presents a preliminary overview of the 5G channel models for bands up to 100 GHz in indoor offices and shop** malls, derived from extensive measurements across a multitude of bands. These studies have found some extensibility of the existing 3GPP models to the higher frequency bands up to 100 GHz. The measurements indicate that the smaller wavelengths introduce an increased sensitivity of the propagation models to the scale of the environment and show some frequency dependence of the path loss as well as increased occurrence of blockage. Further, the penetration loss is highly dependent on the material and tends to increase with frequency. The small-scale characteristics of the channel such as delay spread and angular spread and the multipath richness is somewhat similar over the frequency range, which is encouraging for extending the existing 3GPP models to the wider frequency range. Further work will be carried out to complete these models, but this paper presents the first steps for an initial basis for the model development.
△ Less
Submitted 13 March, 2016;
originally announced March 2016.
-
5G 3GPP-like Channel Models for Outdoor Urban Microcellular and Macrocellular Environments
Authors:
Katsuyuki Haneda,
Lei Tian,
Yi Zheng,
Henrik Asplund,
Jian Li,
Yi Wang,
David Steer,
Clara Li,
Tommaso Balercia,
Sunguk Lee,
YoungSuk Kim,
Amitava Ghosh,
Timothy Thomas,
Takehiro Nakamura,
Yuichi Kakishima,
Tetsuro Imai,
Haralabos Papadopoulas,
Theodore S. Rappaport,
George R. MacCartney Jr.,
Mathew K. Samimi,
Shu Sun,
Ozge Koymen,
Sooyoung Hur,
Jeongho Park,
Charlie Zhang
, et al. (4 additional authors not shown)
Abstract:
For the development of new 5G systems to operate in bands up to 100 GHz, there is a need for accurate radio propagation models at these bands that currently are not addressed by existing channel models developed for bands below 6 GHz. This document presents a preliminary overview of 5G channel models for bands up to 100 GHz. These have been derived based on extensive measurement and ray tracing re…
▽ More
For the development of new 5G systems to operate in bands up to 100 GHz, there is a need for accurate radio propagation models at these bands that currently are not addressed by existing channel models developed for bands below 6 GHz. This document presents a preliminary overview of 5G channel models for bands up to 100 GHz. These have been derived based on extensive measurement and ray tracing results across a multitude of frequencies from 6 GHz to 100 GHz, and this document describes an initial 3D channel model which includes: 1) typical deployment scenarios for urban microcells (UMi) and urban macrocells (UMa), and 2) a baseline model for incorporating path loss, shadow fading, line of sight probability, penetration and blockage models for the typical scenarios. Various processing methodologies such as clustering and antenna decoupling algorithms are also presented.
△ Less
Submitted 25 February, 2016; v1 submitted 24 February, 2016;
originally announced February 2016.
-
Beamforming Tradeoffs for Initial UE Discovery in Millimeter-Wave MIMO Systems
Authors:
Vasanthan Raghavan,
Juergen Cezanne,
Sundar Subramanian,
Ashwin Sampath,
Ozge Koymen
Abstract:
Millimeter-wave MIMO systems have gained increasing traction towards the goal of meeting the high data-rate requirements in next-generation wireless systems. The focus of this work is on low-complexity beamforming approaches for initial UE discovery in such systems. Towards this goal, we first note the structure of the optimal beamformer with per-antenna gain and phase control and the structure of…
▽ More
Millimeter-wave MIMO systems have gained increasing traction towards the goal of meeting the high data-rate requirements in next-generation wireless systems. The focus of this work is on low-complexity beamforming approaches for initial UE discovery in such systems. Towards this goal, we first note the structure of the optimal beamformer with per-antenna gain and phase control and the structure of good beamformers with per-antenna phase-only control. Learning these beamforming structures in mmW systems is fraught with considerable complexities such as the need for a non-broadcast system design, the sensitivity of the beamformer approximants to small path length changes, etc. To overcome these issues, we establish a physical interpretation between these beamformer structures and the angles of departure/arrival of the dominant path(s). This physical interpretation provides a theoretical underpinning to the emerging interest on directional beamforming approaches that are less sensitive to small path length changes. While classical approaches for direction learning such as MUSIC have been well-understood, they suffer from many practical difficulties in a mmW context such as a non-broadcast system design and high computational complexity. A simpler broadcast solution for mmW systems is the adaptation of directional codebooks for beamforming at the two ends. We establish fundamental limits for the best beam broadening codebooks and propose a construction motivated by a virtual subarray architecture that is within a couple of dB of the best tradeoff curve at all useful beam broadening factors. We finally provide the received SNR loss-UE discovery latency tradeoff with the proposed constructions. Our results show that users with a reasonable link margin can be quickly discovered by the proposed design with a smooth roll-off in performance as the link margin deteriorates.
△ Less
Submitted 12 January, 2016;
originally announced January 2016.
-
Propagation Path Loss Models for 5G Urban Micro- and Macro-Cellular Scenarios
Authors:
Shu Sun,
Theodore S. Rappaport,
Sundeep Rangan,
Timothy A. Thomas,
Amitava Ghosh,
Istvan Z. Kovacs,
Ignacio Rodriguez,
Ozge Koymen,
Andrzej Partyka,
Jan Jarvelainen
Abstract:
This paper presents and compares two candidate large-scale propagation path loss models, the alpha-beta-gamma (ABG) model and the close-in (CI) free space reference distance model, for the design of fifth generation (5G) wireless communication systems in urban micro- and macro-cellular scenarios. Comparisons are made using the data obtained from 20 propagation measurement campaigns or ray-tracing…
▽ More
This paper presents and compares two candidate large-scale propagation path loss models, the alpha-beta-gamma (ABG) model and the close-in (CI) free space reference distance model, for the design of fifth generation (5G) wireless communication systems in urban micro- and macro-cellular scenarios. Comparisons are made using the data obtained from 20 propagation measurement campaigns or ray-tracing studies from 2 GHz to 73.5 GHz over distances ranging from 5 m to 1429 m. The results show that the one-parameter CI model has a very similar goodness of fit (i.e., the shadow fading standard deviation) in both line-of-sight and non-line-of-sight environments, while offering substantial simplicity and more stable behavior across frequencies and distances, as compared to the three-parameter ABG model. Additionally, the CI model needs only one very subtle and simple modification to the existing 3GPP floating-intercept path loss model (replacing a constant with a close-in free space reference value) in order to provide greater simulation accuracy, more simplicity, better repeatability across experiments, and higher stability across a vast range of frequencies.
△ Less
Submitted 23 February, 2016; v1 submitted 23 November, 2015;
originally announced November 2015.
-
Wireless Backhaul Node Placement for Small Cell Networks
Authors:
Muhammad Nazmul Islam,
Ashwin Sampath,
Atul Maharshi,
Ozge Koymen,
Narayan B. Mandayam
Abstract:
Small cells have been proposed as a vehicle for wireless networks to keep up with surging demand. Small cells come with a significant challenge of providing backhaul to transport data to(from) a gateway node in the core network. Fiber based backhaul offers the high rates needed to meet this requirement, but is costly and time-consuming to deploy, when not readily available. Wireless backhaul is an…
▽ More
Small cells have been proposed as a vehicle for wireless networks to keep up with surging demand. Small cells come with a significant challenge of providing backhaul to transport data to(from) a gateway node in the core network. Fiber based backhaul offers the high rates needed to meet this requirement, but is costly and time-consuming to deploy, when not readily available. Wireless backhaul is an attractive option for small cells as it provides a less expensive and easy-to-deploy alternative to fiber. However, there are multitude of bands and features (e.g. LOS/NLOS, spatial multiplexing etc.) associated with wireless backhaul that need to be used intelligently for small cells. Candidate bands include: sub-6 GHz band that is useful in non-line-of-sight (NLOS) scenarios, microwave band (6-42 GHz) that is useful in point-to-point line-of-sight (LOS) scenarios, and millimeter wave bands (e.g. 60, 70 and 80 GHz) that are recently being commercially used in LOS scenarios. In many deployment topologies, it is advantageous to use aggregator nodes, located at the roof tops of tall buildings near small cells. These nodes can provide high data rate to multiple small cells in NLOS paths, sustain the same data rate to gateway nodes using LOS paths and take advantage of all available bands. This work performs the joint cost optimal aggregator node placement, power allocation, channel scheduling and routing to optimize the wireless backhaul network. We formulate mixed integer nonlinear programs (MINLP) to capture the different interference and multiplexing patterns at sub-6 GHz and microwave band. We solve the MINLP through linear relaxation and branch-and-bound algorithm and apply our algorithm in an example wireless backhaul network of downtown Manhattan.
△ Less
Submitted 9 April, 2014;
originally announced April 2014.