The Calar Alto lunar occultation program: update and new results

We present an update of the lunar occultation program which is routinely carried out in the near-IR at the Calar Alto Observatory. A total of 350 events were recorded since our last report (Fors et al. 2004). In the course of eight runs we have observed, among others, late-type giants, T-Tauri stars, and infrared sources. Noteworthy was a passage of the Moon close to the galactic center, which produced a large number of events during just a few hours in July 2004. Results include the determinations of the angular diameter of RZ Ari, and the projected separations and brightness ratios for one triple and 13 binary stars, almost all of which representing first time detections. Projected separations range from 0.09arcsec to 0.007arcsec. We provide a quantitative analysis of the performance achieved in our observations in terms of angular resolution and sensitivity, which reach about 0.003arcsec and K~8.5mag, respectively. We also present a statistical discussion of our sample, and in particular of the frequency of detection of binaries among field stars.Comment: 8 pages, 2 figures. Accepted for publication in A&

PHASES High Precision Differential Astrometry of delta Equulei

delta Equulei is among the most well-studied nearby binary star systems. Results of its observation have been applied to a wide range of fundamental studies of binary systems and stellar astrophysics. It is widely used to calibrate and constrain theoretical models of the physics of stars. We report 27 high precision differential astrometry measurements of delta Equulei from the Palomar High-precision Astrometric Search for Exoplanet Systems (PHASES). The median size of the minor axes of the uncertainty ellipses for these measurements is 26 micro-arcseconds. These data are combined with previously published radial velocity data and other previously published differential astrometry measurements using other techniques to produce a combined model for the system orbit. The distance to the system is determined to within a twentieth of a parsec and the component masses are determined at the level of a percent. The constraints on masses and distance are limited by the precisions of the radial velocity data; we outline plans improve this deficiency and discuss the outlook for further study of this binary.Comment: Accepted by AJ. Complete versions of tables 2-7 now available at http://stuff.mit.edu/~matthew1/deltaEquTables/ (removed from astroph server

Speckle observations with PISCO in Merate - V. Astrometric measurements of visual binaries in 2006

International audienceWe present relative astrometric measurements of visual binaries made during the first semester of 2006, with the Pupil Interferometry Speckle camera and COronagraph at the 102-cm Zeiss telescope of the Brera Astronomical Observatory, in Merate. Our sample contains orbital couples as well as binaries whose motion is still uncertain. We obtained 217 new measurements of 194 objects, with angular separations in the range 0.1-4.2arcsec, and an average accuracy of 0.01arcsec. The mean error on the position angles is 0.5°. About half of those angles could be determined without the usual 180° ambiguity by the application of triple-correlation techniques. We also present a revised orbit for ADS 277 for which the previously published orbit resulted in a large residual from our measurements

Secure Computation with Preprocessing via Function Secret Sharing

We propose a simple and powerful new approach for secure computation with input-independent preprocessing, building on the general tool of function secret sharing (FSS) and its efficient instantiations. Using this approach, we can make efficient use of correlated randomness to compute any type of gate, as long as a function class naturally corresponding to this gate admits an efficient FSS scheme. Our approach can be viewed as a generalization of the TinyTable protocol of Damgard et al. (Crypto 2017), where our generalized variant uses FSS to achieve exponential efficiency improvement for useful types of gates. By instantiating this general approach with efficient PRG-based FSS schemes of Boyle et al. (Eurocrypt 2015, CCS 2016), we can implement useful nonlinear gates for equality tests, integer comparison, bit-decomposition and more with optimal online communication and with a relatively small amount of correlated randomness. We also provide a unified and simplified view of several existing protocols in the preprocessing model via the FSS framework. Our positive results provide a useful tool for secure computation tasks that involve secure integer comparisons or conversions between arithmetic and binary representations. These arise in the contexts of approximating real-valued functions, machine-learning classification, and more. Finally, we study the necessity of the FSS machinery that we employ, in the simple context of secure string equality testing. First, we show that any online-optimal secure equality protocol implies an FSS scheme for point functions, which in turn implies one-way functions. Then, we show that information-theoretic secure equality protocols with relaxed optimality requirements would follow from the existence of big families of matching vectors. This suggests that proving strong lower bounds on the efficiency of such protocols would be difficult

HAT Variability Survey in the High Stellar Density "Kepler Field" with Millimagnitude Image Subtraction Photometry

The Hungarian-made Automated Telescope network (HATnet) is an ongoing project to detect transiting extra-solar planets using small aperture (11 cm diameter), robotic telescopes. In this paper we present the results from using image subtraction photometry to reduce a crowded stellar field observed with one of the HATnet telescopes (HAT-5). This field was chosen to overlap with the planned Kepler mission. We obtained I-band light curves for 98,000 objects in a 8.3x8.3 square degree field of view, near the Galactic plane in the constellations Cygnus and Lyra. These observations include 788 5-minute exposures over 30 days. For the brightest stars (I~8.0) we achieved a precision of 3.5 millimagnitudes, falling to 0.1 magnitudes at the faint end (I~14). From these light curves we identify 1617 variable stars, of which 1439 are newly discovered. The fact that nearly 90% of the variables were previously undetected further demonstrates the vast number of variables yet to be discovered even among fairly bright stars in our Galaxy. We also discuss some of the most interesting cases. These include: V1171 Cyg, a triple system with the inner two stars in P=1.462 day period eclipsing orbit and the outer star a P=4.86 day Cepheid; HD227269, an eccentric eclipsing system with a P=4.86 day period that also shows P=2.907 day pulsations; WW Cyg, a well studied eclipsing binary; V482 Cyg, an RCB star; and V546 Cyg, a PV Tel Variable. We also detect a number of small amplitude variables, in some cases with full amplitude as low as 10 mmag.Comment: 44 pages, 19 figures. Accepted for publication in the Astronomical Journal. Revised version, including updated matches to existing catalogs. Data available at http://cfa-www.harvard.edu/~gbakos/HAT/LC/199

The Recombinases Rad51 and Dmc1 Play Distinct Roles in DNA Break Repair and Recombination Partner Choice in the Meiosis of Tetrahymena

Repair of programmed DNA double-strand breaks (DSBs) by meiotic recombination relies on the generation of flanking 3′ single-stranded DNA overhangs and their interaction with a homologous double-stranded DNA template. In various common model organisms, the ubiquitous strand exchange protein Rad51 and its meiosis-specific homologue Dmc1 have been implicated in the joint promotion of DNA–strand exchange at meiotic recombination sites. However, the division of labor between these two recombinases is still a puzzle. Using RNAi and gene-disruption experiments, we have studied their roles in meiotic recombination and chromosome pairing in the ciliated protist Tetrahymena as an evolutionarily distant meiotic model. Cytological and electrophoresis-based assays for DSBs revealed that, without Rad51p, DSBs were not repaired. However, in the absence of Dmc1p, efficient Rad51p-dependent repair took place, but crossing over was suppressed. Immunostaining and protein tagging demonstrated that only Dmc1p formed strong DSB–dependent foci on meiotic chromatin, whereas the distribution of Rad51p was diffuse within nuclei. This suggests that meiotic nucleoprotein filaments consist primarily of Dmc1p. Moreover, a proximity ligation assay confirmed that little if any Rad51p forms mixed nucleoprotein filaments with Dmc1p. Dmc1p focus formation was independent of the presence of Rad51p. The absence of Dmc1p did not result in compensatory assembly of Rad51p repair foci, and even artificial DNA damage by UV failed to induce Rad51p foci in meiotic nuclei, while it did so in somatic nuclei within one and the same cell. The observed interhomologue repair deficit in dmc1Δ meiosis is consistent with a requirement for Dmc1p in promoting the homologue as the preferred recombination partner. We propose that relatively short and/or transient Rad51p nucleoprotein filaments are sufficient for intrachromosomal recombination, whereas long nucleoprotein filaments consisting primarily of Dmc1p are required for interhomolog recombination

Different Mi-2 Complexes for Various Developmental Functions in Caenorhabditis elegans

Biochemical purifications from mammalian cells and Xenopus oocytes revealed that vertebrate Mi-2 proteins reside in multisubunit NuRD (Nucleosome Remodeling and Deacetylase) complexes. Since all NuRD subunits are highly conserved in the genomes of C. elegans and Drosophila, it was suggested that NuRD complexes also exist in invertebrates. Recently, a novel dMec complex, composed of dMi-2 and dMEP-1 was identified in Drosophila. The genome of C. elegans encodes two highly homologous Mi-2 orthologues, LET-418 and CHD-3. Here we demonstrate that these proteins define at least three different protein complexes, two distinct NuRD complexes and one MEC complex. The two canonical NuRD complexes share the same core subunits HDA-1/HDAC, LIN-53/RbAp and LIN-40/MTA, but differ in their Mi-2 orthologues LET-418 or CHD-3. LET-418 but not CHD-3, interacts with the Krüppel-like protein MEP-1 in a distinct complex, the MEC complex. Based on microarrays analyses, we propose that MEC constitutes an important LET-418 containing regulatory complex during C. elegans embryonic and early larval development. It is required for the repression of germline potential in somatic cells and acts when blastomeres are still dividing and differentiating. The two NuRD complexes may not be important for the early development, but may act later during postembryonic development. Altogether, our data suggest a considerable complexity in the composition, the developmental function and the tissue-specificity of the different C. elegans Mi-2 complexes

New Constructions of Reusable Designated-Verifier NIZKs

Non-interactive zero-knowledge arguments (NIZKs) for NP are an important cryptographic primitive, but we currently only have instantiations under a few specific assumptions. Notably, we are missing constructions from the learning with errors (LWE) assumption, the Diffie-Hellman (CDH/DDH) assumption, and the learning parity with noise (LPN) assumption. In this paper, we study a relaxation of NIZKs to the designated-verifier setting (DV-NIZK), where a trusted setup generates a common reference string together with a secret key for the verifier. We want reusable schemes, which allow the verifier to reuse the secret key to verify many different proofs, and soundness should hold even if the malicious prover learns whether various proofs are accepted or rejected. Such reusable DV-NIZKs were recently constructed under the CDH assumption, but it was open whether they can also be constructed under LWE or LPN. We also consider an extension of reusable DV-NIZKs to the malicious designated-verifier setting (MDV-NIZK). In this setting, the only trusted setup consists of a common random string. However, there is also an additional untrusted setup in which the verifier chooses a public/secret key needed to generate/verify proofs, respectively. We require that zero-knowledge holds even if the public key is chosen maliciously by the verifier. Such reusable MDV-NIZKs were recently constructed under the ``one-more CDH\u27\u27 assumption, but constructions under CDH/LWE/LPN remained open. In this work, we give new constructions of (reusable) DV-NIZKs and MDV-NIZKs using generic primitives that can be instantiated under CDH, LWE, or LPN

A High Throughput Genetic Screen Identifies New Early Meiotic Recombination Functions in Arabidopsis thaliana

Meiotic recombination is initiated by the formation of numerous DNA double-strand breaks (DSBs) catalysed by the widely conserved Spo11 protein. In Saccharomyces cerevisiae, Spo11 requires nine other proteins for meiotic DSB formation; however, unlike Spo11, few of these are conserved across kingdoms. In order to investigate this recombination step in higher eukaryotes, we took advantage of a high-throughput meiotic mutant screen carried out in the model plant Arabidopsis thaliana. A collection of 55,000 mutant lines was screened, and spo11-like mutations, characterised by a drastic decrease in chiasma formation at metaphase I associated with an absence of synapsis at prophase, were selected. This screen led to the identification of two populations of mutants classified according to their recombination defects: mutants that repair meiotic DSBs using the sister chromatid such as Atdmc1 or mutants that are unable to make DSBs like Atspo11-1. We found that in Arabidopsis thaliana at least four proteins are necessary for driving meiotic DSB repair via the homologous chromosomes. These include the previously characterised DMC1 and the Hop1-related ASY1 proteins, but also the meiotic specific cyclin SDS as well as the Hop2 Arabidopsis homologue AHP2. Analysing the mutants defective in DSB formation, we identified the previously characterised AtSPO11-1, AtSPO11-2, and AtPRD1 as well as two new genes, AtPRD2 and AtPRD3. Our data thus increase the number of proteins necessary for DSB formation in Arabidopsis thaliana to five. Unlike SPO11 and (to a minor extent) PRD1, these two new proteins are poorly conserved among species, suggesting that the DSB formation mechanism, but not its regulation, is conserved among eukaryotes