Activity Identification and Local Linear Convergence of Douglas--Rachford/ADMM under Partial Smoothness

Convex optimization has become ubiquitous in most quantitative disciplines of science, including variational image processing. Proximal splitting algorithms are becoming popular to solve such structured convex optimization problems. Within this class of algorithms, Douglas--Rachford (DR) and alternating direction method of multipliers (ADMM) are designed to minimize the sum of two proper lower semi-continuous convex functions whose proximity operators are easy to compute. The goal of this work is to understand the local convergence behaviour of DR (resp. ADMM) when the involved functions (resp. their Legendre-Fenchel conjugates) are moreover partly smooth. More precisely, when both of the two functions (resp. their conjugates) are partly smooth relative to their respective manifolds, we show that DR (resp. ADMM) identifies these manifolds in finite time. Moreover, when these manifolds are affine or linear, we prove that DR/ADMM is locally linearly convergent. When $J$ and $G$ are locally polyhedral, we show that the optimal convergence radius is given in terms of the cosine of the Friedrichs angle between the tangent spaces of the identified manifolds. This is illustrated by several concrete examples and supported by numerical experiments.Comment: 17 pages, 1 figure, published in the proceedings of the Fifth International Conference on Scale Space and Variational Methods in Computer Visio

Investigation, Development, and Evaluation of Performance Proving for Fault-tolerant Computers

A number of methodologies for verifying systems and computer based tools that assist users in verifying their systems were developed. These tools were applied to verify in part the SIFT ultrareliable aircraft computer. Topics covered included: STP theorem prover; design verification of SIFT; high level language code verification; assembly language level verification; numerical algorithm verification; verification of flight control programs; and verification of hardware logic

In defence of global egalitarianism

This essay argues that David Miller's criticisms of global egalitarianism do not undermine the view where it is stated in one of its stronger, luck egalitarian forms. The claim that global egalitarianism cannot specify a metric of justice which is broad enough to exclude spurious claims for redistribution, but precise enough to appropriately value different kinds of advantage, implicitly assumes that cultural understandings are the only legitimate way of identifying what counts as advantage. But that is an assumption always or almost always rejected by global egalitarianism. The claim that global egalitarianism demands either too little redistribution, leaving the unborn and dissenters burdened with their societies' imprudent choices, or too much redistribution, creating perverse incentives by punishing prudent decisions, only presents a problem for global luck egalitarianism on the assumption that nations can legitimately inherit assets from earlier generations – again, an assumption very much at odds with global egalitarian assumptions

Charge injection instability in perfect insulators

We show that in a macroscopic perfect insulator, charge injection at a field-enhancing defect is associated with an instability of the insulating state or with bistability of the insulating and the charged state. The effect of a nonlinear carrier mobility is emphasized. The formation of the charged state is governed by two different processes with clearly separated time scales. First, due to a fast growth of a charge-injection mode, a localized charge cloud forms near the injecting defect (or contact). Charge injection stops when the field enhancement is screened below criticality. Secondly, the charge slowly redistributes in the bulk. The linear instability mechanism and the final charged steady state are discussed for a simple model and for cylindrical and spherical geometries. The theory explains an experimentally observed increase of the critical electric field with decreasing size of the injecting contact. Numerical results are presented for dc and ac biased insulators.Comment: Revtex, 7pages, 4 ps figure

The omnivorous Tyrolean Iceman: colon contents (meat, cereals, pollen, moss and whipworm) and stable isotope analyses

The contents of the colon of the Tyrolean Iceman who lived Ga. 5300 years ago include muscle fibres, cereal remains, a diversity of pollen, and most notably that of the hop hornbeam (Ostrya carpinifolia) retaining cellular contents, as well as a moss leaf (Neckera complanata) and eggs of the parasitic whipworm (Trichuris trichiura). Based almost solely on stable isotope analyses and ignoring the work on the colon contents, two recently published papers on the Iceman's diet draw ill- founded conclusions about vegetarianism and even veganism. Neither the pollen nor the moss is likely to have been deliberately consumed as food by the Iceman. All the available evidence concerning the Iceman's broad-based diet is reviewed and the significance of the colon contents for matters other than assessment of food intake is outlined

Bounding the graviton mass with binary pulsar observations

By comparing the observed orbital decay of the binary pulsars PSRB1913+16 and PSRB1534+12 to that predicted by general relativity due to gravitational-wave emission, we are able to bound the mass of the graviton to be less than $7.6\times10^{-20} \text{eV}/c^2$ at 90% confidence. This is the first such bound to be derived from dynamic gravitational fields. It is approximately two orders of magnitude weaker than the static-field bound from solar system observations, and will improve with further observations.Comment: 9 pages, 1 figure. Presented at Fourth Edoardo Amaldi Conference on Gravitational Waves, Perth, 200

The Domination Number of Grids

In this paper, we conclude the calculation of the domination number of all $n\times m$ grid graphs. Indeed, we prove Chang's conjecture saying that for every $16\le n\le m$, $\gamma(G_{n,m})=\lfloor\frac{(n+2)(m+2)}{5}\rfloor -4$.Comment: 12 pages, 4 figure