Predictable arguments of knowledge

We initiate a formal investigation on the power of predictability for argument of knowledge systems for NP. Specifically, we consider private-coin argument systems where the answer of the prover can be predicted, given the private randomness of the verifier; we call such protocols Predictable Arguments of Knowledge (PAoK). Our study encompasses a full characterization of PAoK, showing that such arguments can be made extremely laconic, with the prover sending a single bit, and assumed to have only one round (i.e., two messages) of communication without loss of generality. We additionally explore PAoK satisfying additional properties (including zero-knowledge and the possibility of re-using the same challenge across multiple executions with the prover), present several constructions of PAoK relying on different cryptographic tools, and discuss applications to cryptography

Evaluation of sex differences in health-related quality of life outcomes associated with child abuse: Results from the Ontario Child Health Study

Aims. Despite the advances in child maltreatment research, there is still the need for comprehensive information about how abuse affects a broad range of categories of young adult functioning, and the extent to which these vary by sex. We examined the associations between child physical abuse (PA) and sexual abuse (SA) and six areas of functioning (mental health, physical health, life satisfaction, illegal substance use, alcohol problems and daily smoking). Methods. Data were obtained from the 1983 Ontario Child Health Study and follow-up in 2000/2001 (n = 1893). Multilevel regression estimated the adjusted associations for PA (with severity) and SA with each of the outcomes. Estimates with an entire sample were presented with sex-by-abuse interactions to examine sex differences and then presented separately by sex. Results. In the adjusted model, severe PA and SA were associated with impairment in mental health, and both forms of PA (severe and non-severe) and SA were associated with low life satisfaction. In addition, severe PA was associated with illegal substance use. Child abuse variables were not associated with poor physical health, alcohol problems or smoking. Although sex-stratified analyses revealed different patterns, there was no significant sex difference in the integrated sample. Conclusions. This is among the first community-based studies to show a strong association between child PA and SA and low life satisfaction in young adults. The abuse effects were similar for both sexes

Stable Magnetostatic Solitons in Yttrium Iron Garnet Film Waveguides for Tilted in-Plane Magnetic Fields

The possibility of nonlinear pulses generation in Yttrium Iron Garnet thin films for arbitrary direction between waveguide and applied static in-plane magnetic field is considered. Up to now only the cases of in-plane magnetic fields either perpendicular or parallel to waveguide direction have been studied both experimentally and theoretically. In the present paper it is shown that also for other angles (besides 0 or 90 degrees) between a waveguide and static in-plane magnetic field the stable bright or dark (depending on magnitude of magnetic field) solitons could be created.Comment: Phys. Rev. B (accepted, April 1, 2002

Stable radiation-controlling boundary conditions for the generalized harmonic Einstein equations

This paper is concerned with the initial-boundary value problem for the Einstein equations in a first-order generalized harmonic formulation. We impose boundary conditions that preserve the constraints and control the incoming gravitational radiation by prescribing data for the incoming fields of the Weyl tensor. High-frequency perturbations about any given spacetime (including a shift vector with subluminal normal component) are analyzed using the Fourier-Laplace technique. We show that the system is boundary-stable. In addition, we develop a criterion that can be used to detect weak instabilities with polynomial time dependence, and we show that our system does not suffer from such instabilities. A numerical robust stability test supports our claim that the initial-boundary value problem is most likely to be well-posed even if nonzero initial and source data are included.Comment: 27 pages, 4 figures; more numerical results and references added, several minor amendments; version accepted for publication in Class. Quantum Gra

The Clustering of Colour Selected Galaxies

We present measurements of the angular correlation function of galaxies selected from a B_J=23.5 multicolour survey of two 5 degree by 5 degree fields located at high galactic latitudes. The galaxy catalogue of approximately 400,000 galaxies is comparable in size to catalogues used to determine the galaxy correlation function at low-redshift. Measurements of the z=0.4 correlation function at large angular scales show no evidence for a break from a power law though our results are not inconsistent with a break at >15 Mpc. Despite the large fields-of-view, there are large discrepancies between the measurements of the correlation function in each field, possibly due to dwarf galaxies within z=0.11 clusters near the South Galactic Pole. Colour selection is used to study the clustering of galaxies z=0 to z=0.4. The galaxy correlation function is found to strongly depend on colour with red galaxies more strongly clustered than blue galaxies by a factor of 5 at small scales. The slope of the correlation function is also found to vary with colour with gamma=1.8 for red galaxies while gamma=1.5 for blue galaxies. The clustering of red galaxies is consistently strong over the entire magnitude range studied though there are large variations between the two fields. The clustering of blue galaxies is extremely weak over the observed magnitude range with clustering consistent with r_0=2 Mpc. This is weaker than the clustering of late-type galaxies in the local Universe and suggests galaxy clustering is more strongly correlated with colour than morphology. This may also be the first detection of a substantial low redshift galaxy population with clustering properties similar to faint blue galaxies.Comment: Accepted for publication in MNRAS. 13 pages, 20 figure

Multi-Client Oblivious RAM with Poly-Logarithmic Communication

Oblivious RAM enables oblivious access to memory in the single-client setting, which may not be the best fit in the network setting. Multi-client oblivious RAM (MCORAM) considers a collaborative but untrusted environment, where a database owner selectively grants read access and write access to different entries of a confidential database to multiple clients. Their access pattern must remain oblivious not only to the server but also to fellow clients. This upgrade rules out many techniques for constructing ORAM, forcing us to pursue new techniques. MCORAM not only provides an alternative solution to private anonymous data access (Eurocrypt 2019) but also serves as a promising building block for equipping oblivious file systems with access control and extending other advanced cryptosystems to the multi-client setting. Despite being a powerful object, the current state-of-the-art is unsatisfactory: The only existing scheme requires $O(\sqrt n)$ communication and client computation for a database of size $n$. Whether it is possible to reduce these complexities to $\mathsf{polylog}(n)$, thereby matching the upper bounds for ORAM, is an open problem, i.e., can we enjoy access control and client-obliviousness under the same bounds? Our first result answers the above question affirmatively by giving a construction from fully homomorphic encryption (FHE). Our main technical innovation is a new technique for cross-key trial evaluation of ciphertexts. We also consider the same question in the setting with $N$ non-colluding servers, out of which at most $t$ of them can be corrupt. We build multi-server MCORAM from distributed point functions (DPF), and propose new constructions of DPF via a virtualization technique with bootstrapping, assuming the existence of homomorphic secret sharing and pseudorandom generators in NC0, which are not known to imply FHE

Cross-correlation of the 2-10 keV XRB with radio sources: constraining the large-scale structure of the x-ray background

We present cross-correlation analyses of the HEAO 2-10 keV diffuse X-ray map with both the combined GB6/Parkes-MIT-NRAO (GB6-PMN) 5 GHz and the FIRST 1.4 GHz radio surveys. The cross-correlation functions (CCFs) of both radio surveys with the unresolved X-ray background were detected at the 5 sigma level. While the large angular resolution (3 degrees) of the X-ray map makes it difficult to separate the contributions of clustering from those of Poisson fluctuations, the amplitude of the CCF provides important constraints on the X-ray emissivity of the radio sources as well as on the clustering properties of radio and X-ray sources. These constraints are subject to a number of modeling parameters, e.g. the X-ray luminosity evolution, clustering evolution, the radio luminosity function, cosmological model, etc. For reasonable choices of paramters the X-ray/FIRST CCF is consistent with a correlation scale length of 6/h Mpc. This is somewhat smaller than the scale length inferred from the autocorrelation function of the FIRST survey and implies that X-ray sources are less strongly clustered than strong radio sources, a result which is consistent with previous constraints on X-ray clustering. The X-ray/GB6-PMN CCF is several times larger and is likely to be dominated by Poisson fluctuations. This implies that 2 percent of the diffuse X-ray background arises from the GB6-PMN sources.Comment: 25 pages, with 8 figures included. Submitted to ApJ. [email protected]

Arrhythmic risk profile and outcomes of patients undergoing cardiac sympathetic denervation for recurrent monomorphic ventricular tachycardia after ablation

Background Cardiac sympathetic denervation (CSD) has been used as a bailout strategy for refractory ventricular tachycardia (VT). Risk of VT recurrence in patients with scar-related monomorphic VT referred for CSD and the extent to which CSD can modify this risk is unknown. We aimed to quantify arrhythmia recurrence risk and impact of CSD in this population. Methods and Results Adjusted competing risk time to event models were developed to adjust for risk of VT recurrence and sustained VT/implantable cardioverter-defibrillator shocks after VT ablation based on patient comorbidities at the time of VT ablation. Adjusted VT and implantable cardioverter-defibrillator shock recurrence rates were estimated for the subgroup who subsequently required CSD after ablation. The expected adjusted recurrence rates were then compared with the observed rates after CSD. Data from 381 patients with scar-mediated monomorphic VT who underwent VT ablation were analyzed, excluding patients with polymorphic VT. Sixty eight patients underwent CSD for recurrent VT. CSD reduced the expected adjusted VT recurrence rate by 36% (expected rate of 5.61 versus observed rate of 3.58 per 100 person-months, P=0.01) and the sustained VT/implantable cardioverter-defibrillator shock rates by 34% (expected rate of 4.34 versus observed 2.85 per 100 person-months, P=0.03). The median number of sustained VT/implantable cardioverter-defibrillator shocks in the year before versus the year after CSD was reduced by 90% (10 versus 1, P<0.0001). Conclusions Patients referred for CSD for refractory scar-mediated monomorphic VT are at a higher risk of VT recurrence after ablation as compared with those not requiring CSD, mostly because of their cardiac comorbidities. CSD significantly reduced both the expected risk of recurrences and VT burden

HL-1 cells express an inwardly rectifying K+ current activated via muscarinic receptors comparable to that in mouse atrial myocytes

An inwardly rectifying K^+ current is present in atrial cardiac myocytes that is activated by acetylcholine (I_{KACh}). Physiologically, activation of the current in the SA node is important in slowing the heart rate with increased parasympathetic tone. It is a paradigm for the direct regulation of signaling effectors by the Gβγ G-protein subunit. Many questions have been addressed in heterologous expression systems with less focus on the behaviour in native myocytes partly because of the technical difficulties in undertaking comparable studies in native cells. In this study, we characterise a potassium current in the atrial-derived cell line HL-1. Using an electrophysiological approach, we compare the characteristics of the potassium current with those in native atrial cells and in a HEK cell line expressing the cloned Kir3.1/3.4 channel. The potassium current recorded in HL-1 is inwardly rectifying and activated by the muscarinic agonist carbachol. Carbachol-activated currents were inhibited by pertussis toxin and tertiapin-Q. The basal current was time-dependently increased when GTP was substituted in the patch-clamp pipette by the non-hydrolysable analogue GTPγS. We compared the kinetics of current modulation in HL-1 with those of freshly isolated atrial mouse cardiomyocytes. The current activation and deactivation kinetics in HL-1 cells are comparable to those measured in atrial cardiomyocytes. Using immunofluorescence, we found GIRK4 at the membrane in HL-1 cells. Real-time RT-PCR confirms the presence of mRNA for the main G-protein subunits, as well as for M2 muscarinic and A1 adenosine receptors. The data suggest HL-1 cells are a good model to study IKAch