Credible, Truthful, and Two-Round (Optimal) Auctions via Cryptographic Commitments

We consider the sale of a single item to multiple buyers by a revenue-maximizing seller. Recent work of Akbarpour and Li formalizes \emph{credibility} as an auction desideratum, and prove that the only optimal, credible, strategyproof auction is the ascending price auction with reserves (Akbarpour and Li, 2019). In contrast, when buyers' valuations are MHR, we show that the mild additional assumption of a cryptographically secure commitment scheme suffices for a simple \emph{two-round} auction which is optimal, strategyproof, and credible (even when the number of bidders is only known by the auctioneer). We extend our analysis to the case when buyer valuations are $\alpha$-strongly regular for any $\alpha > 0$, up to arbitrary $\varepsilon$ in credibility. Interestingly, we also prove that this construction cannot be extended to regular distributions, nor can the $\varepsilon$ be removed with multiple bidders

How isotropic is the Universe?

A fundamental assumption in the standard model of cosmology is that the Universe is isotropic on large scales. Breaking this assumption leads to a set of solutions to Einstein's field equations, known as Bianchi cosmologies, only a subset of which have ever been tested against data. For the first time, we consider all degrees of freedom in these solutions to conduct a general test of isotropy using cosmic microwave background temperature and polarization data from Planck. For the vector mode (associated with vorticity), we obtain a limit on the anisotropic expansion of $(\sigma_V/H)_0 < 4.7 \times 10^{-11}$ (95% CI), which is an order of magnitude tighter than previous Planck results that used CMB temperature only. We also place upper limits on other modes of anisotropic expansion, with the weakest limit arising from the regular tensor mode, $(\sigma_{T,\rm reg}/H)_0<1.0 \times 10^{-6}$ (95% CI). Including all degrees of freedom simultaneously for the first time, anisotropic expansion of the Universe is strongly disfavoured, with odds of 121,000:1 against.Comment: 6 pages, 1 figure, v2: replaced with version accepted by PR

A framework for testing isotropy with the cosmic microwave background

We present a new framework for testing the isotropy of the Universe using cosmic microwave background data, building on the nested-sampling ANICOSMO code. Uniquely, we are able to constrain the scalar, vector and tensor degrees of freedom alike; previous studies only considered the vector mode (linked to vorticity). We employ Bianchi type VII$_h$ cosmologies to model the anisotropic Universe, from which other types may be obtained by taking suitable limits. In a separate development, we improve the statistical analysis by including the effect of Bianchi power in the high-$\ell$, as well as the low-$\ell$, likelihood. To understand the effect of all these changes, we apply our new techniques to WMAP data. We find no evidence for anisotropy, constraining shear in the vector mode to $(\sigma_V/H)_0 < 1.7 \times 10^{-10}$ (95% CL). For the first time, we place limits on the tensor mode; unlike other modes, the tensor shear can grow from a near-isotropic early Universe. The limit on this type of shear is $(\sigma_{T,\rm reg}/H)_0 < 2.4 \times 10^{-7}$ (95% CL).Comment: 11 pages, 6 figures, v3: minor modifications to match version accepted by MNRA

Importance of charge capture in interphase regions during readout of charge-coupled devices

The current understanding of charge transfer dynamics in charge-coupled devices (CCDs) is that charge is moved so quickly from one phase to the next in a clocking sequence and with a density so low that trapping of charge in the interphase regions is negligible. However, simulation capabilities developed at the Centre for Electronic Imaging, which includes direct input of electron density simulations, have made it possible to investigate this assumption further. As part of the radiation testing campaign of the Euclid CCD273 devices, data have been obtained using the trap pumping method, a method that can be used to identify and characterize single defects within CCDs. Combining these data with simulations, we find that trapping during the transfer of charge among phases is indeed necessary to explain the results of the data analysis. This result could influence not only trap pumping theory and how trap pumping should be performed but also how a radiation-damaged CCD is readout in the most optimal way

Postirradiation behavior of p-channel charge-coupled devices irradiated at 153 K

The displacement damage hardness that can be achieved using p-channel charge-coupled devices (CCD) was originally demonstrated in 1997, and since then a number of other studies have demonstrated an improved tolerance to radiation-induced CTI when compared to n-channel CCDs. A number of recent studies have also shown that the temperature history of the device after the irradiation impacts the performance of the detector, linked to the mobility of defects at different temperatures. This study describes the initial results from an e2v technologies p-channel CCD204 irradiated at 153 K with a 10 MeV equivalent proton fluences of 1.24×109 and 1.24×1011 protons cm-2. The dark current, cosmetic quality and the number of defects identified using trap pumping immediately were monitored after the irradiation for a period of 150 hours with the device held at 153 K and then after different periods of time at room temperature. The device also exhibited a flatband voltage shift of around 30 mV / krad, determined by the reduction in full well capacity

SILC: a new Planck Internal Linear Combination CMB temperature map using directional wavelets

We present new clean maps of the CMB temperature anisotropies (as measured by Planck) constructed with a novel internal linear combination (ILC) algorithm using directional, scale-discretised wavelets --- Scale-discretised, directional wavelet ILC or SILC. Directional wavelets, when convolved with signals on the sphere, can separate the anisotropic filamentary structures which are characteristic of both the CMB and foregrounds. Extending previous component separation methods, which use the frequency, spatial and harmonic signatures of foregrounds to separate them from the cosmological background signal, SILC can additionally use morphological information in the foregrounds and CMB to better localise the cleaning algorithm. We test the method on Planck data and simulations, demonstrating consistency with existing component separation algorithms, and discuss how to optimise the use of morphological information by varying the number of directional wavelets as a function of spatial scale. We find that combining the use of directional and axisymmetric wavelets depending on scale could yield higher quality CMB temperature maps. Our results set the stage for the application of SILC to polarisation anisotropies through an extension to spin wavelets.Comment: 15 pages, 13 figures. Minor changes to match version published in MNRAS. Map products available at http://www.silc-cmb.or

Evolution and impact of defects in a p-channel CCD after cryogenic proton-irradiation

P-channel CCDs have been shown to display improved tolerance to radiation-induced charge transfer inefficiency (CTI) when compared to n-channel CCDs. However, the defect distribution formed during irradiation is expected to be temperature dependent due to the differences in lattice energy caused by a temperature change. This has been tested through defect analysis of two p-channel e2v CCD204 devices, one irradiated at room temperature and one at a cryogenic temperature (153K). Analysis is performed using the method of single trap pumping. The dominant charge trapping defects at these conditions have been identified as the donor level of the silicon divacancy and the carbon interstitial defect. The defect parameters are analysed both immediately post irradiation and following several subsequent room-temperature anneal phases up until a cumulative anneal time of approximately 10 months. We have also simulated charge transfer in an irradiated CCD pixel using the defect distribution from both the room-temperature and cryogenic case, to study how the changes affect imaging performance. The results demonstrate the importance of cryogenic irradiation and annealing studies, with large variations seen in the defect distribution when compared to a device irradiated at room-temperature, which is the current standard procedure for radiation-tolerance testing

Spin-SILC: CMB polarisation component separation with spin wavelets

We present Spin-SILC, a new foreground component separation method that accurately extracts the cosmic microwave background (CMB) polarisation $E$ and $B$ modes from raw multifrequency Stokes $Q$ and $U$ measurements of the microwave sky. Spin-SILC is an internal linear combination method that uses spin wavelets to analyse the spin-2 polarisation signal $P = Q + iU$. The wavelets are additionally directional (non-axisymmetric). This allows different morphologies of signals to be separated and therefore the cleaning algorithm is localised using an additional domain of information. The advantage of spin wavelets over standard scalar wavelets is to simultaneously and self-consistently probe scales and directions in the polarisation signal $P = Q + iU$ and in the underlying $E$ and $B$ modes, therefore providing the ability to perform component separation and $E$-$B$ decomposition concurrently for the first time. We test Spin-SILC on full-mission Planck simulations and data and show the capacity to correctly recover the underlying cosmological $E$ and $B$ modes. We also demonstrate a strong consistency of our CMB maps with those derived from existing component separation methods. Spin-SILC can be combined with the pseudo- and pure $E$-$B$ spin wavelet estimators presented in a companion paper to reliably extract the cosmological signal in the presence of complicated sky cuts and noise. Therefore, it will provide a computationally-efficient method to accurately extract the CMB $E$ and $B$ modes for future polarisation experiments.Comment: 13 pages, 9 figures. Minor changes to match version published in MNRAS. Map products available at http://www.silc-cmb.org. Companion paper: arXiv:1605.01414 "Wavelet reconstruction of pure E and B modes for CMB polarisation and cosmic shear analyses" (B. Leistedt et al.

Dendritic and axonal targeting patterns of a genetically-specified class of retinal ganglion cells that participate in image-forming circuits.

BackgroundThere are numerous functional types of retinal ganglion cells (RGCs), each participating in circuits that encode a specific aspect of the visual scene. This functional specificity is derived from distinct RGC morphologies and selective synapse formation with other retinal cell types; yet, how these properties are established during development remains unclear. Islet2 (Isl2) is a LIM-homeodomain transcription factor expressed in the developing retina, including approximately 40% of all RGCs, and has previously been implicated in the subtype specification of spinal motor neurons. Based on this, we hypothesized that Isl2+ RGCs represent a related subset that share a common function.ResultsWe morphologically and molecularly characterized Isl2+ RGCs using a transgenic mouse line that expresses GFP in the cell bodies, dendrites and axons of Isl2+ cells (Isl2-GFP). Isl2-GFP RGCs have distinct morphologies and dendritic stratification patterns within the inner plexiform layer and project to selective visual nuclei. Targeted filling of individual cells reveals that the majority of Isl2-GFP RGCs have dendrites that are monostratified in layer S3 of the IPL, suggesting they are not ON-OFF direction-selective ganglion cells. Molecular analysis shows that most alpha-RGCs, indicated by expression of SMI-32, are also Isl2-GFP RGCs. Isl2-GFP RGCs project to most retino-recipient nuclei during early development, but specifically innervate the dorsal lateral geniculate nucleus and superior colliculus (SC) at eye opening. Finally, we show that the segregation of Isl2+ and Isl2- RGC axons in the SC leads to the segregation of functional RGC types.ConclusionsTaken together, these data suggest that Isl2+ RGCs comprise a distinct class and support a role for Isl2 as an important component of a transcription factor code specifying functional visual circuits. Furthermore, this study describes a novel genetically-labeled mouse line that will be a valuable resource in future investigations of the molecular mechanisms of visual circuit formation