Search

Some metrological means, such as Shack-Hartmann, deflectometry sensors or fringe projection profilometry, measure the shape of an optical surface indirectly from slope measurements. Zonal shape reconstruction, a method to reconstruct shape with a high number of degrees of freedom, is used for all of these applications. It has risen in interest with the use of deflectometers for the acquisition of high resolution slope data for optical manufacturing, especially because shape reconstruction is limiting in terms of shape estimation error. Zonal reconstruction methods all rely on the choice of a data formation model, a basis on which the shape will be decomposed, and an estimator. In this paper, we first study the canonical Fried and Southwell models of the literature and analyze their limitations. We show that modeling the slope measurement by a point-wise derivative as they both do can induce a bias on the shape estimation, and that the bases on which the shape is decomposed are imposed because of this assumption. In the second part of this paper, we propose to build an unbiased model of the data formation, without constraints on the choice of the decomposition basis. We then compare these models to the canonical models of Fried and Southwell. Lastly, we perform a regularized MAP reconstruction, and compare the performance in terms of total shape error of this method to the state of the art for the Southwell and Fried models, first by simulation, then on experimental data. We demonstrate that the suggested method outperforms the canonical models in terms of total shape reconstruction error on a deflectometry measurement of the high-frequency content of a freeform mirror.

We present recent laboratory results demonstrating high-contrast coronagraphy for the future space-based large IR/Optical/Ultraviolet telescope recommended by the Decadal Survey. The High-contrast Imager for Complex Aperture Telescopes (HiCAT) testbed aims to implement a system-level hardware demonstration for segmented aperture coronagraphs with wavefront control. The telescope hardware simulator employs a segmented deformable mirror with 37 hexagonal segments that can be controlled in piston, tip, and tilt. In addition, two continuous deformable mirrors are used for high-order wavefront sensing and control. The low-order sensing subsystem includes a dedicated tip-tilt stage, a coronagraphic target acquisition camera, and a Zernike wavefront sensor that is used to measure and correct low-order aberration drifts. We explore the performance of a segmented aperture coronagraph both in static operations (limited by natural drifts and instabilities) and in dynamic operations (in the presence of artificial wavefront drifts added to the deformable mirrors), and discuss the estimation and control strategies used to reach and maintain the dark-zone contrast using our low-order wavefront sensing and control. We summarize experimental results that quantify the performance of the testbed in terms of contrast, inner/outer working angle and bandpass, and analyze limiting factors., Comment: 17 pages, 14 figures, SPIE Astronomical Telescopes + Instrumentation, 2022, Montr\'eal, Qu\'ebec, Canada

Exoplanet imaging uses coronagraphs to block out the bright light from a star, allowing astronomers to observe the much fainter light from planets orbiting the star. However, these instruments are heavily impacted by small wavefront aberrations and require the minimization of starlight residuals directly in the focal plane. State-of-the art wavefront control methods suffer from errors in the underlying physical models, and often require several iterations to minimize the intensity in the dark hole, limiting performance and reducing effective observation time. This study aims at developing a data-driven method to create a dark hole in post-coronagraphic images. For this purpose, we leverage the model-free capabilities of reinforcement learning to train an agent to learn a control strategy directly from phase diversity images acquired around the focal plane. Initial findings demonstrate successful aberration correction in non-coronagraphic simulations and promising results for dark hole creation in post-coronagraphic scenarios. These results highlight the potential of model-free reinforcement learning for dark-hole creation, justifying further investigation and eventually experimental validation on a dedicated testbed., Comment: 9 pages, 6 figures, to be published in SPIE Astronomical Telescopes + Instrumentation proceedings

This note provides a conceptual clarification of Ronald Aylmer Fisher's (1935) pioneering exact test in the context of the Lady Testing Tea experiment. It unveils a critical implicit assumption in Fisher's calibration: the taster minimizes expected misclassification given fixed probabilistic information. Without similar assumptions or an explicit alternative hypothesis, the rationale behind Fisher's specification of the rejection region remains unclear.

SAXO+ is a planned enhancement of the existing SAXO, the VLT/ SPHERE adaptive optics system, deployed on ESO's Very Large Telescope. This upgrade is designed to significantly enhance the instrument's capacity to detect and analyze young Jupiter-like planets. The pivotal addition in SAXO+ is a second-stage adaptive optics system featuring a dedicated near-infrared pyramid wavefront sensor and a second deformable mirror. This secondary stage is strategically integrated to address any residual wavefront errors persisting after the initial correction performed by the current primary AO loop, SAXO. However, several recent studies clearly showed that in good conditions, even in the current system SAXO, non-common path aberrations (NCPAs) are the limiting factor of the final normalized intensity in focal plane, which is the final metric for ground-based high-contrast instruments. This is likely to be even more so the case with the new AO system, with which the AO residuals will be minimized. Several techniques have already been extensively tested on SPHERE in internal source and/or on-sky and will be presented in this paper. However, the use of a new type of sensor for the second stage, a pyramid wavefront sensor, will likely complicate the correction of these aberrations. Using an end-to-end AO simulation tool, we conducted simulations to gauge the effect of measured SPHERE NCPAs in the coronagraphic image on the second loop system and their correction using focal plane wavefront sensing systems. We finally analyzed how the chosen position of SAXO+ in the beam will impact the evolution of the NCPAs in the new instrument., Comment: 16 pages, 10 figures, submitted to the proceedings of SPIE Astronomical Telescopes + Instrumentation 2024, 13096-357

Optical aberrations prevent telescopes from reaching their theoretical diffraction limit. Once estimated, these aberrations can be compensated for using deformable mirrors in a closed loop. Focal plane wavefront sensing enables the estimation of the aberrations on the complete optical path, directly from the images taken by the scientific sensor. However, current focal plane wavefront sensing methods rely on physical models whose inaccuracies may limit the overall performance of the correction. The aim of this study is to develop a data-driven method using model-free reinforcement learning to automatically perform the estimation and correction of the aberrations, using only phase diversity images acquired around the focal plane as inputs. We formulate the correction problem within the framework of reinforcement learning and train an agent on simulated data. We show that the method is able to reliably learn an efficient control strategy for various realistic conditions. Our method also demonstrates robustness to a wide range of noise levels.

Dafny is a popular verification language, which automates proofs by outsourcing them to an SMT solver. This automation is not perfect, however, and the solver often requires guidance in the form of helper assertions creating a burden for the proof engineer. In this paper, we propose Laurel, a tool that uses large language models (LLMs) to automatically generate helper assertions for Dafny programs. To improve the success rate of LLMs in this task, we design two domain-specific prompting techniques. First, we help the LLM determine the location of the missing assertion by analyzing the verifier's error message and inserting an assertion placeholder at that location. Second, we provide the LLM with example assertions from the same codebase, which we select based on a new lemma similarity metric. We evaluate our techniques on a dataset of helper assertions we extracted from three real-world Dafny codebases. Our evaluation shows that Laurel is able to generate over 50% of the required helper assertions given only a few attempts, making LLMs a usable and affordable tool to further automate practical program verification., Comment: 10 pages, under review

Scams -- fraudulent schemes designed to swindle money from victims -- have existed for as long as recorded history. However, the Internet's combination of low communication cost, global reach, and functional anonymity has allowed scam volumes to reach new heights. Designing effective interventions requires first understanding the context: how scammers reach potential victims, the earnings they make, and any potential bottlenecks for durable interventions. In this short paper, we focus on these questions in the context of cryptocurrency giveaway scams, where victims are tricked into irreversibly transferring funds to scammers under the pretense of even greater returns. Combining data from Twitter, YouTube and Twitch livestreams, landing pages, and cryptocurrency blockchains, we measure how giveaway scams operate at scale. We find that 1 in 1000 scam tweets, and 4 in 100,000 livestream views, net a victim, and that scammers managed to extract nearly \$4.62 million from just hundreds of victims during our measurement window., Comment: Appeared at IMC '24. Please cite the conference version

We propose and demonstrate two methods for modal decomposition in multi-mode fibres. Linearly polarized modes propagating in a slightly multi-mode fibre are easily retrieved from intensity measurements at the fibre output surface. The first method is an improvement of the so-called spectrally and spatially imaging technique, which is limited to largemode-area optical fibers. The second method is a new, simpler and faster solution for the characterization of any kind of optical fibre, thus attractive in comparison to previously reported methods, which are cumbersome, time-consuming and/or limited to large-more-area fibres. Different kinds of multi-mode optical fibres are characterized. A large-modearea photonic-bandgap fibre, a photonic-crystal small-core non-linear fibre, and a standard index-stepped multi-mode fibre are characterized successfully.

We consider the issue of answering unions of conjunctive queries (UCQs) with disjunctive existential rules and mappings. While this issue has already been well studied from a chase perspective, query rewriting within UCQs has hardly been addressed yet. We first propose a sound and complete query rewriting operator, which has the advantage of establishing a tight relationship between a chase step and a rewriting step. The associated breadth-first query rewriting algorithm outputs a minimal UCQ-rewriting when one exists. Second, we show that for any ``truly disjunctive'' nonrecursive rule, there exists a conjunctive query that has no UCQ-rewriting. It follows that the notion of finite unification sets (fus), which denotes sets of existential rules such that any UCQ admits a UCQ-rewriting, seems to have little relevance in this setting. Finally, turning our attention to mappings, we show that the problem of determining whether a UCQ admits a UCQ-rewriting through a disjunctive mapping is undecidable. We conclude with a number of open problems., Comment: This report contains the paper accepted at KR 2023 and an appendix with full proofs. 24 pages

The global spread of avian influenza A viruses in domestic birds is causing dramatic economic and social losses. Various mechanistic models have been developed in an attempt to better understand avian influenza transmission and to evaluate the effectiveness of control measures. However, no comprehensive review of the mechanistic approaches used currently exists. To help fill this gap, we conducted a systematic review of mechanistic models applied to real-world epidemics to (1) describe the type of models and their epidemiological context, (2) synthetise estimated values of AIV transmission parameters and (3) review the control strategies most frequently evaluated and their outcome. Fourty-five articles qualified for inclusion, that fitted the model to data and estimated parameter values (n = 42) and/or evaluated the effectiveness of control strategies (n = 21). The majority were population-based models (n = 26), followed by individual-based models (n = 15) and a few metapopulation models (n = 4). Estimated values for the transmission rate varied substantially according to epidemiological settings, virus subtypes and epidemiological units. Other parameters such as the durations of the latent and infectious periods were more frequently assumed, limiting the insights brought by mechanistic models on these. Concerning control strategies, many models evaluated culling (n = 15), while vaccination received less attention (n = 7). According to the reviewed articles, optimal control strategies varied between virus subtypes and local conditions, and also depended on the objective. For instance, vaccination was optimal when the objective was to limit the overall number of culled flocks, while pre-emptive culling was preferred for reducing the epidemic size and duration. Earlier implementation of interventions consistently improved the efficacy of control strategies, highlighting the need for effective surveillance and epidemic preparedness. Potential improvements of mechanistic models include explicitly accounting for various transmission routes, and distinguishing poultry populations according to species and farm type. To provide insights to policy makers in a timely manner, aspects about the evaluation of control strategies that could deserve further attention include: economic evaluation, combination of strategies including vaccination, the use of optimization algorithm instead of comparing a limited set of scenarios, and real-time evaluation.

The use of pressurized bladders for stress control of superconducting magnets was firstly proposed at Lawrence Berkeley National Laboratory (LBNL) in the early 2000s. Since then, the so-called bladders and keys procedure has become one of the reference techniques for the assembly of high-field accelerator magnets and demonstrators. Exploiting the advantages of this method is today of critical importance for Nb3Sn-based accelerator magnets, whose production requires the preservation of tight stress targets in the superconducting coils to limit the effects of the strain sensitivity and brittleness of the conductor. The present manuscript reports on the results of an experimental campaign focused on the optimization of the bladders and keys assembly process in the MQXFB quadrupoles. These 7.2 m long magnets shall be among the first Nb3Sn cryomagnets to be installed in a particle accelerator as a part of the High Luminosity upgrade of the LHC. One of the main practical implications of the bladders technique, especially important when applied to long magnets like MQXFB, is that to insert the loading keys, the opening of a certain clearance in the support structure is required. The procedure used so far for MQXF magnets involved an overstress in the coils during bladder inflation. The work presented here shows that such an overshoot can be eliminated thanks to additional bladders properly positioned in the structure. This optimized method was validated in a short model magnet and in a full-length mechanical model, becoming the new baseline for the series production at CERN. Furthermore, the results are supported by numerical predictions using Finite Element models.

Existential rules are an expressive knowledge representation language mainly developed to query data. In the literature, they are often supposed to be in some normal form that simplifies technical developments. For instance, a common assumption is that rule heads are atomic, i.e., restricted to a single atom. Such assumptions are considered to be made without loss of generality as long as all sets of rules can be normalised while preserving entailment. However, an important question is whether the properties that ensure the decidability of reasoning are preserved as well. We provide a systematic study of the impact of these procedures on the different chase variants with respect to chase (non-)termination and FO-rewritability. This also leads us to study open problems related to chase termination of independent interest., Comment: Published at 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022

This paper introduces a new fixed effects estimator for linear panel data models with clustered time patterns of unobserved heterogeneity. The method avoids non-convex and combinatorial optimization by combining a preliminary consistent estimator of the slope coefficient, an agglomerative pairwise-differencing clustering of cross-sectional units, and a pooled ordinary least squares regression. Asymptotic guarantees are established in a framework where $T$ can grow at any power of $N$, as both $N$ and $T$ approach infinity. Unlike most existing approaches, the proposed estimator is computationally straightforward and does not require a known upper bound on the number of groups. As existing approaches, this method leads to a consistent estimation of well-separated groups and an estimator of common parameters asymptotically equivalent to the infeasible regression controlling for the true groups. An application revisits the statistical association between income and democracy.

CO-SLIDAR is a very promising technique for the metrology of near ground $C_n^2$ profiles. It exploits both phase and scintillation measurements obtained with a dedicated wavefront sensor and allows profiling on the full line of sight between pupil and sources. This technique is applied to an associated instrument based on a mid-IR Shack-Hartmann wavefront sensor, coupled to a 0.35 m telescope, which observes two cooperative sources. This paper presents the first comprehensive description of the CO-SLIDAR method in the context of near ground optical turbulence metrology. It includes the presentation of the physics principles underlying the measurements, of our unsupervised $C_n^2$ profile reconstruction strategy together with the error bar estimation on the reconstructed values. The application to data acquired in a heterogeneous rural landscape during an experimental campaign in Lannemezan (France) demonstrates the ability to obtain profiles with a sampling pitch of about 220 m over a 2.7 km line of sight. The retrieved $C_n^2$ profiles are presented and their variability in space and time is discussed.

Context: The detection and characterization of Earth-like exoplanets (exoEarths) from space requires exquisite wavefront stability at contrast levels of $10^{-10}$. On segmented telescopes in particular, aberrations induced by cophasing errors lead to a light leakage through the coronagraph, deteriorating the imaging performance. These need to be limited in order to facilitate the direct imaging of exoEarths. Aims: We perform a laboratory validation of an analytical tolerancing model that allows us to determine wavefront error requirements in the $10^{-6} - 10^{-8}$ contrast regime, for a segmented pupil with a classical Lyot coronagraph. We intend to compare the results to simulations, and we aim to establish an error budget for the segmented mirror on the High-contrast imager for Complex Aperture Telescopes (HiCAT) testbed. Methods: We use the Pair-based Analytical model for Segmented Telescope Imaging from Space (PASTIS) to measure a contrast influence matrix of a real high contrast instrument, and use an analytical model inversion to calculate per-segment wavefront error tolerances. We validate these tolerances on the HiCAT testbed by measuring the contrast response of segmented mirror states that follow these requirements. Results: The experimentally measured optical influence matrix is successfully measured on the HiCAT testbed, and we derive individual segment tolerances from it that correctly yield the targeted contrast levels. Further, the analytical expressions that predict a contrast mean and variance from a given segment covariance matrix are confirmed experimentally., Comment: 16 pages, 16 figures, accepted for publication in A&A

Effective and accurate in-vivo diagnosis of retinal pathologies requires high performance imaging devices, combining a large field of view and the ability to discriminate the ballistic signal from the diffuse background in order to provide a highly contrasted image of the retinal structures. Here, we have implemented the Partial-Field Illumination Ophthalmoscope, a patterned illumination modality, integrated on a high pixel rate adaptive optics full-field microscope. This non-invasive technique enables us to mitigate the low signal-to-noise ratio, intrinsic of full-field ophthalmoscopes, by partially illuminating the retina with complementary patterns to reconstruct a wide field image. This new modality provides an image contrast spanning from the full-field to the confocal contrast, depending on the pattern size. As a result, it offers various trade-offs in terms of contrast and acquisition speed, guiding the users towards the most efficient system for a particular clinical application., Comment: 6 pages, 5 figures

In this paper, we consider existential rules, an expressive formalism well suited to the representation of ontological knowledge and data-to-ontology mappings in the context of ontology-based data integration. The chase is a fundamental tool to do reasoning with existential rules as it computes all the facts entailed by the rules from a database instance. We introduce parallelisable sets of existential rules, for which the chase can be computed in a single breadth-first step from any instance. The question we investigate is the characterization of such rule sets. We show that parallelisable rule sets are exactly those rule sets both bounded for the chase and belonging to a novel class of rules, called pieceful. The pieceful class includes in particular frontier-guarded existential rules and (plain) datalog. We also give another characterization of parallelisable rule sets in terms of rule composition based on rewriting.

This paper introduces an analytical method to calculate segment-level wavefront error tolerances in order to enable the detection of faint extra-solar planets using segmented telescopes in space. This study provides a full treatment of spatially uncorrelated segment phasing errors for segmented telescope coronagraphy, which has so far only been approached using ad hoc Monte-Carlo simulations. Instead of describing the wavefront tolerance globally for all segments, our method produces spatially dependent requirements. We relate the statistical mean contrast in the coronagraph dark hole to the standard deviation of the wavefront error of each individual segment on the primary mirror. This statistical framework for segment-level tolerancing extends the Pair-based Analytical model for Segmented Telescope Imaging from Space (PASTIS), which is based uniquely on a matrix multiplication for the optical propagation. We confirm our analytical results with Monte-Carlo simulations of E2E optical propagations through a coronagraph. Comparing our results for the Apodized Pupil Lyot Coronagraph designs for the Large UltraViolet Optical InfraRed (LUVOIR) telescope to previous studies, we show general agreement but provide a relaxation of the requirements for a significant subset of segments. These requirement maps are unique to any given telescope geometry and coronagraph design. The spatially uncorrelated segment tolerances we calculate are a key element of a complete error budget that will also need to include allocations for correlated segment contributions. We discuss how the PASTIS formalism can be extended to the spatially correlated case by deriving the statistical mean contrast and its variance for a non-diagonal aberration covariance matrix. The PASTIS tolerancing framework therefore brings a new capability that is necessary for the global tolerancing of future segmented space observatories., Comment: 32 pages, 18 figures, accepted for publication in JATIS

Over the past decades, direct imaging has confirmed the existence of substellar companions (exoplanets or brown dwarfs) on wide orbits (>10 au) from their host stars. To understand their formation and evolution mechanisms, we have initiated in 2015 the SPHERE infrared survey for exoplanets (SHINE), a systematic direct imaging survey of young, nearby stars to explore their demographics.} {We aim to detect and characterize the population of giant planets and brown dwarfs beyond the snow line around young, nearby stars. Combined with the survey completeness, our observations offer the opportunity to constrain the statistical properties (occurrence, mass and orbital distributions, dependency on the stellar mass) of these young giant planets.} {In this study, we present the observing and data analysis strategy, the ranking process of the detected candidates, and the survey performances for a subsample of 150 stars, which are representative of the full SHINE sample. The observations were conducted in an homogeneous way from February 2015 to February 2017 with the dedicated ground-based VLT/SPHERE instrument equipped with the IFS integral field spectrograph and the IRDIS dual-band imager covering a spectral range between 0.9 and 2.3 $\mu$m. We used coronographic, angular and spectral differential imaging techniques to reach the best detection performances for this study down to the planetary mass regime.}

A new system, Bee Cluster 3D, allowing the study of the time evolution of the 3D temperature distribution in a bee hive is presented. This system can be used to evaluate the cluster size and the location of the queen during winter. In summer, the device can be used to quantify the size of the brood nest and the breeding activity of the queen. The system does not disturb the activity of the colony and can be used on any hive. This electronic system was developed to be non-intrusive, miniaturized, and energy autonomous.

Focal plane wavefront sensing is an elegant solution for wavefront sensing since near-focal images of any source taken by a detector show distortions in the presence of aberrations. Non-Common Path Aberrations and the Low Wind Effect both have the ability to limit the achievable contrast of the finest coronagraphs coupled with the best extreme adaptive optics systems. To correct for these aberrations, the Subaru Coronagraphic Extreme Adaptive Optics instrument hosts many focal plane wavefront sensors using detectors as close to the science detector as possible. We present seven of them and compare their implementation and efficiency on SCExAO. This work will be critical for wavefront sensing on next generation of extremely large telescopes that might present similar limitations., Comment: SPIE proceeding : Astronomical Telescopes + Instrumentation 2020. arXiv admin note: text overlap with arXiv:1912.10179

This paper presents the setup for empirical validations of the Pair-based Analytical model for Segmented Telescope Imaging from Space (PASTIS) tolerancing model for segmented coronagraphy. We show the hardware configuration of the High-contrast imager for Complex Aperture Telescopes (HiCAT) testbed on which these experiments will be conducted at an intermediate contrast regime between $10^{-6}$ and $10^{-8}$. We describe the optical performance of the testbed with a classical Lyot coronagraph and describe the recent hardware upgrade to a segmented mode, using an IrisAO segmented deformable mirror. Implementing experiments on HiCAT is made easy through its top-level control infrastructure that uses the same code base to run on the real testbed, or to invoke the optical simulator. The experiments presented in this paper are run on the HiCAT testbed emulator, which makes them ready to be performed on actual hardware. We show results of three experiments with results from the emulator, with the goal to demonstrate PASTIS on hardware next. We measure the testbed PASTIS matrix, and validate the PASTIS analytical propagation model by comparing its contrast predictions to simulator results. We perform the tolerancing analysis on the optical eigenmodes (PASTIS modes) and on independent segments, then validate these results in respective experiments. This work prepares and enables the experimental validation of the analytical segment-based tolerancing model for segmented aperture coronagraphy with the specific application to the HiCAT testbed., Comment: 18 pages, 9 figures, published

Focal plane wavefront sensing is an appealing technique to cophase multiple aperture telescopes. Phase diversity, operable with any aperture configuration or source extension, generally suffers from high computing load. In this Letter, we introduce, characterize and experimentally validate the LAPD algorithm, based on a fast linearized phase diversity algorithm \rev{with a capture range comparable to classic phase diversity.} We demonstrate that a typical performance of lambda/75 RMS wavefront error can be reached., Comment: Accepted for publication in JATIS

This paper contains a compilation of parameters influencing the charge collection process extracted from a comprehensive study of partially depleted Monolithic Active Pixel Sensors with small (<25 um$^2$) collection electrodes fabricated in the TowerJazz 180 nm CMOS process. These results gave guidance for the optimisation of the diode implemented in ALPIDE, the chip used in the second generation Inner Tracking System of ALICE, and serve as reference for future simulation studies of similar devices. The studied parameters include: reverse substrate bias, epitaxial layer thickness, charge collection electrode size and the spacing of the electrode to surrounding in-pixel electronics. The results from pixels of 28 um pitch confirm that even in partially depleted circuits, charge collection can be fast (<10 ns), and quantify the influence of the parameters onto the signal sharing and amplitudes, highlighting the importance of a correct spacing between wells and of the impact of the reverse substrate bias.

By exploiting McFadden (1974)'s results on conditional logit estimation, we show that there exists a one-to-one mapping between existence and uniqueness of conditional maximum likelihood estimates of the binary logit model with fixed effects and the configuration of data points. Our results extend those in Albert and Anderson (1984) for the cross-sectional case and can be used to build a simple algorithm that detects spurious estimates in finite samples. As an illustration, we exhibit an artificial dataset for which the STATA's command \texttt{clogit} returns spurious estimates.

We consider fixed effects binary choice models with a fixed number of periods $T$ and regressors without a large support. If the time-varying unobserved terms are i.i.d. with known distribution $F$, \cite{chamberlain2010} shows that the common slope parameter is point identified if and only if $F$ is logistic. However, he only considers in his proof $T=2$. We show that the result does not generalize to $T\geq 3$: the common slope parameter can be identified when $F$ belongs to a family including the logit distribution. Identification is based on a conditional moment restriction. Under restrictions on the covariates, these moment conditions lead to point identification of relative effects. If $T=3$ and mild conditions hold, GMM estimators based on these conditional moment restrictions reach the semiparametric efficiency bound. Finally, we illustrate our method by revisiting Brender and Drazen (2008)., Comment: Compared to v2, we have in particular added an application (Section 4) and we now discuss the case of unbalanced panel data (Section 3.2)

Structured illumination microscopy (SIM) is one of the most versatile super-resolution techniques. Yet, its application to live imaging has been so far mainly limited to fluorescent and stationary specimens. Here, we present advancements in SIM to jointly tackle all the challenges of imaging living samples, i.e., obtaining super-resolution over an undistorted wide-field while dealing with sample motion, scattering, sample-induced optical aberrations and low signal-to-noise ratio. By using adaptive optics to compensate for optical aberrations and a reconstruction algorithm tailored for a moving and thick tissue, we successfully applied SIM to in vivo retinal imaging and demonstrated structured illumination ophthalmoscopy for high contrast super-resolution in vivo imaging of the human retina., Comment: 14 pages, 8 figures, manuscript under consideration for a peer-reviewed journal

Direct imaging of Earth-like planets from space requires dedicated observatories, combining large segmented apertures with instruments and techniques such as coronagraphs, wavefront sensors, and wavefront control in order to reach the high contrast of 10^10 that is required. The complexity of these systems would be increased by the segmentation of the primary mirror, which allows for the larger diameters necessary to image Earth-like planets but also introduces specific patterns in the image due to the pupil shape and segmentation and making high-contrast imaging more challenging. Among these defects, the phasing errors of the primary mirror are a strong limitation to the performance. In this paper, we focus on the wavefront sensing of segment phasing errors for a high-contrast system, using the COronagraphic Focal plane wave-Front Estimation for Exoplanet detection (COFFEE) technique. We implemented and tested COFFEE on the High-contrast imaging for Complex Aperture Telescopes (HiCAT) testbed, in a configuration without any coronagraph and with a classical Lyot coronagraph, to reconstruct errors applied on a 37 segment mirror. We analysed the quality and limitations of the reconstructions. We demonstrate that COFFEE is able to estimate correctly the phasing errors of a segmented telescope for piston, tip, and tilt aberrations of typically 100nm RMS. We also identified the limitations of COFFEE for the reconstruction of low-order wavefront modes, which are highly filtered by the coronagraph. This is illustrated using two focal plane mask sizes on HiCAT. We discuss possible solutions, both in the hardware system and in the COFFEE optimizer, to mitigate these issues., Comment: 12 pages, 15 figures, Astronomy & Astrophysics

One of the major limitations of adaptive optics (AO) corrected image post-processing is the lack of knowledge on the system point spread function (PSF). The PSF is not always available as a direct imaging on isolated point like objects such as stars. Its prediction using AO telemetry also suffers from serious limitations and requires complex and yet not fully operational algorithms. A very attractive solution consists in a direct PSF estimation using the scientific images themselves thanks to blind or myopic post-processing approaches. We demonstrate that such approaches suffer from severe limitations when a joint restitution of object and PSF parameters is performed. As an alternative we propose here a marginalized PSF identification that overcomes this limitation. Then the PSF is used for image post-processing. Here we focus on deconvolution, a post-processing technique to restore the object, given the image and the PSF. We show that the PSF estimated by marginalisation provides good quality deconvolution. The full process of marginalized PSF estimation and deconvolution constitutes a successful blind deconvolution technique. It is tested on simulated data to measure its performance. It is also tested on experimental adaptive optics images of the asteroid 4-Vesta by VLT/SPHERE/Zimpol to demonstrate application to on-sky data.

We study the notion of boundedness in the context of positive existential rules, that is, whether there exists an upper bound to the depth of the chase procedure, that is independent from the initial instance. By focussing our attention on the oblivious and the semi-oblivious chase variants, we give a characterization of boundedness in terms of FO-rewritability and chase termination. We show that it is decidable to recognize if a set of rules is bounded for several classes and outline the complexity of the problem. This report contains the paper published at IJCAI 2019 and an appendix with full proofs.

Existential rules are a positive fragment of first-order logic that generalizes function-free Horn rules by allowing existentially quantified variables in rule heads. This family of languages has recently attracted significant interest in the context of ontology-mediated query answering. Forward chaining, also known as the chase, is a fundamental tool for computing universal models of knowledge bases, which consist of existential rules and facts. Several chase variants have been defined, which differ on the way they handle redundancies. A set of existential rules is bounded if it ensures the existence of a bound on the depth of the chase, independently from any set of facts. Deciding if a set of rules is bounded is an undecidable problem for all chase variants. Nevertheless, when computing universal models, knowing that a set of rules is bounded for some chase variant does not help much in practice if the bound remains unknown or even very large. Hence, we investigate the decidability of the k-boundedness problem, which asks whether the depth of the chase for a given set of rules is bounded by an integer k. We identify a general property which, when satisfied by a chase variant, leads to the decidability of k-boundedness. We then show that the main chase variants satisfy this property, namely the oblivious, semi-oblivious (aka Skolem), and restricted chase, as well as their breadth-first versions. This paper is under consideration for publication in Theory and Practice of Logic Programming., Comment: Under consideration for publication in Theory and Practice of Logic Programming

Proxima Centauri is known to host an earth-like planet in its habitable zone; very recently a second candidate planet was proposed based on radial velocities. At quadrature, the expected projected separation of this new candidate is larger than 1 arcsec, making it a potentially interesting target for direct imaging. While difficult, identification of the optical counterpart of this planet would allow detailed characterization of the closest planetary system. We searched for a counterpart in SPHERE images acquired during four years through the SHINE survey. In order to account for the large orbital motion of the planet, we used a method that assumes the circular orbit obtained from radial velocities and exploits the sequence of observations acquired close to quadrature in the orbit. We checked this with a more general approach that considers keplerian motion, K-stacker. We did not obtain a clear detection. The best candidate has S/N=6.1 in the combined image. A statistical test suggests that the probability that this detection is due to random fluctuation of noise is < 1% but this result depends on the assumption that distribution of noise is uniform over the image. The position of this candidate and the orientation of its orbital plane fit well with observations in the ALMA 12m array image. However, the astrometric signal expected from the orbit of the candidate we detected is 3-sigma away from the astrometric motion of Proxima as measured from early Gaia data. This, together with the unexpectedly high flux associated with our direct imaging detection, means we cannot confirm that our candidate is indeed Proxima c. On the other hand, if confirmed, this would be the first observation in imaging of a planet discovered from radial velocities and the second one (after Fomalhaut b) of reflecting circumplanetary material. Further confirmation observations should be done as soon as possible., Comment: 14 pages, 5 figures. Accepted for publication on Astronomy and Astrophysics

SPHERE (Beuzit et al,. 2019) has now been in operation at the VLT for more than 5 years, demonstrating a high level of performance. SPHERE has produced outstanding results using a variety of operating modes, primarily in the field of direct imaging of exoplanetary systems, focusing on exoplanets as point sources and circumstellar disks as extended objects. The achievements obtained thus far with SPHERE (~200 refereed publications) in different areas (exoplanets, disks, solar system, stellar physics...) have motivated a large consortium to propose an even more ambitious set of science cases, and its corresponding technical implementation in the form of an upgrade. The SPHERE+ project capitalizes on the expertise and lessons learned from SPHERE to push high contrast imaging performance to its limits on the VLT 8m-telescope. The scientific program of SPHERE+ described in this document will open a new and compelling scientific window for the upcoming decade in strong synergy with ground-based facilities (VLT/I, ELT, ALMA, and SKA) and space missions (Gaia, JWST, PLATO and WFIRST). While SPHERE has sampled the outer parts of planetary systems beyond a few tens of AU, SPHERE+ will dig into the inner regions around stars to reveal and characterize by mean of spectroscopy the giant planet population down to the snow line. Building on SPHERE's scientific heritage and resounding success, SPHERE+ will be a dedicated survey instrument which will strengthen the leadership of ESO and the European community in the very competitive field of direct imaging of exoplanetary systems. With enhanced capabilities, it will enable an even broader diversity of science cases including the study of the solar system, the birth and death of stars and the exploration of the inner regions of active galactic nuclei., Comment: White paper submitted to ESO on Feb. 20th, 2020

The Low Wind Effect (LWE) refers to a phenomenon that occurs when the wind speed inside a telescope dome drops below $3$m/s creating a temperature gradient near the telescope spider. This produces phase discontinuities in the pupil plane that are not detected by traditional Adaptive Optics (AO) systems such as the pyramid wavefront sensor or the Shack-Hartmann. Considering the pupil as divided in 4 quadrants by regular spiders, the phase discontinuities correspond to piston, tip and tilt aberrations in each quadrant of the pupil. Uncorrected, it strongly decreases the ability of high contrast imaging instruments utilizing coronagraphy to detect exoplanets at small angular separations. Multiple focal plane wavefront sensors are currently being developed and tested on the Subaru Coronagraphic Extreme Adaptive Optics (SCExAO) instrument at Subaru Telescope: Among them, the Zernike Asymmetric Pupil (ZAP) wavefront sensor already showed on-sky that it could measure the LWE induced aberrations in focal plane images. The Fast and Furious algorithm, using previous deformable mirror commands as temporal phase diversity, showed in simulations its efficiency to improve the wavefront quality in the presence of LWE. A Neural Network algorithm trained with SCExAO telemetry showed promising PSF prediction on-sky. The Linearized Analytic Phase Diversity (LAPD) algorithm is a solution for multi-aperture cophasing and is studied to correct for the LWE aberrations by considering the Subaru Telescope as a 4 sub-aperture instrument. We present the different algorithms, show the latest results and compare their implementation on SCExAO/SUBARU as real-time wavefront sensors for the LWE compensation.

Structured Illumination Microscopy (SIM) is an imaging technique for achieving both super-resolution (SR) and optical sectioning (OS) in wide-field microscopy. It consists in illuminating the sample with periodic patterns at different orientations and positions. The resulting images are then processed to reconstruct the observed object with SR and/or OS. In this work, we present BOSSA-SIM, a general-purpose SIM reconstruction method, applicable to moving objects such as encountered in in vivo retinal imaging, that enables SR and OS jointly in a fully unsupervised Bayesian framework. By modeling a 2-layer object composed of an in-focus layer and a defocused layer, we show that BOSSA-SIM is able to jointly reconstruct them so as to get a super-resolved and optically sectioned in-focus layer. The achieved performance, assessed quantitatively by simulations for several noise levels, compares favorably with a state-of-the-art method. Finally, we validate our method on open-access experimental microscopy data., Comment: 17 pages, 9 figures, accepted manuscript for Optics Express

Direct imaging of exo-Earths and search for life is one of the most exciting and challenging objectives for future space observatories. Segmented apertures in space will be required to reach the needed large diameters beyond the capabilities of current or planned launch vehicles. These apertures present additional challenges for high-contrast coronagraphy, not only in terms of static phasing but also in terms of their stability. The Pair-based Analytical model for Segmented Telescope Imaging from Space (PASTIS) was developed to model the effects of segment-level optical aberrations on the final image contrast. In this paper, we extend the original PASTIS propagation model from a purely analytical to a semi-analytical method, in which we substitute the use of analytical images with numerically simulated images. The inversion of this model yields a set of orthonormal modes that can be used to determine segment-level wavefront tolerances. We present results in the case of segment-level piston error applied to the baseline coronagraph design of LUVOIR A, with minimum and maximum wavefront error constraint between 56 pm and 290 pm per segment. The analysis is readily generalizable to other segment-level aberrations modes, and can also be expanded to establish stability tolerances for these missions., Comment: 15 pages, 10 figures; published

Context. Adaptive optics (AO) systems greatly increase the resolution of large telescopes, but produce complex point spread function (PSF) shapes, varying in time and across the field of view. This PSF must be accurately known since it provides crucial information about optical systems for design, characterisation, diagnostics and image post processing. Aims. We develop here a model of the AO long exposure PSF, adapted to various seeing conditions and any AO system. This model is made to match accurately both the core of the PSF and its turbulent halo. Methods. The PSF model we develop is based on a parsimonious parameterization of the phase power spectral density with only five parameters to describe circularly symmetric PSFs and seven parameters for asymmetrical ones. Moreover, one of the parameters is directly the Fried parameter r0 of the turbulence s strength. This physical parameter is an asset in the PSF model since it can be correlated with external measurements of the r0, such as phase slopes from the AO real time computer (RTC) or site seeing monitoring. Results. We fit our model against endtoend simulated PSFs using OOMAO tool, and against on sky PSFs from the SPHERE ZIMPOL imager and the MUSE integral field spectrometer working in AO narrowfield mode. Our model matches the shape of the AO PSF both in the core and the halo, with a sub 1 percent relative error for simulated and experimental data. We also show that we retrieve the r0 parameter with subcentimeter precision on simulated data. For ZIMPOL data, we show a correlation of 97 percent between our r0 estimation and the RTC estimation. Finally, MUSE allows us to test the spectral dependency of the fitted r0 parameter. It follows the theoretical $\lambda^{6/5}$ evolution with a standard deviation of 0.3 cm. Evolution of other PSF parameters, such as residual phase variance or aliasing, is also discussed.