Showing 1–50 of 51 results for author: Bos, P

FARSEC: A Reproducible Framework for Automatic Real-Time Vehicle Speed Estimation Using Traffic Cameras

Authors: Lucas Liebe, Franz Sauerwald, Sylwester Sawicki, Matthias Schneider, Leo Schuhmann, Tolga Buz, Paul Boes, Ahmad Ahmadov, Gerard de Melo

Abstract: Estimating the speed of vehicles using traffic cameras is a crucial task for traffic surveillance and management, enabling more optimal traffic flow, improved road safety, and lower environmental impact. Transportation-dependent systems, such as for navigation and logistics, have great potential to benefit from reliable speed estimation. While there is prior research in this area reporting competi… ▽ More Estimating the speed of vehicles using traffic cameras is a crucial task for traffic surveillance and management, enabling more optimal traffic flow, improved road safety, and lower environmental impact. Transportation-dependent systems, such as for navigation and logistics, have great potential to benefit from reliable speed estimation. While there is prior research in this area reporting competitive accuracy levels, their solutions lack reproducibility and robustness across different datasets. To address this, we provide a novel framework for automatic real-time vehicle speed calculation, which copes with more diverse data from publicly available traffic cameras to achieve greater robustness. Our model employs novel techniques to estimate the length of road segments via depth map prediction. Additionally, our framework is capable of handling realistic conditions such as camera movements and different video stream inputs automatically. We compare our model to three well-known models in the field using their benchmark datasets. While our model does not set a new state of the art regarding prediction performance, the results are competitive on realistic CCTV videos. At the same time, our end-to-end pipeline offers more consistent results, an easier implementation, and better compatibility. Its modular structure facilitates reproducibility and future improvements. △ Less

Submitted 25 September, 2023; originally announced September 2023.

ACM Class: I.4.9

Using deep learning to construct stochastic local search SAT solvers with performance bounds

Authors: Maximilian Kramer, Paul Boes

Abstract: The Boolean Satisfiability problem (SAT) is the most prototypical NP-complete problem and of great practical relevance. One important class of solvers for this problem are stochastic local search (SLS) algorithms that iteratively and randomly update a candidate assignment. Recent breakthrough results in theoretical computer science have established sufficient conditions under which SLS solvers are… ▽ More The Boolean Satisfiability problem (SAT) is the most prototypical NP-complete problem and of great practical relevance. One important class of solvers for this problem are stochastic local search (SLS) algorithms that iteratively and randomly update a candidate assignment. Recent breakthrough results in theoretical computer science have established sufficient conditions under which SLS solvers are guaranteed to efficiently solve a SAT instance, provided they have access to suitable "oracles" that provide samples from an instance-specific distribution, exploiting an instance's local structure. Motivated by these results and the well established ability of neural networks to learn common structure in large datasets, in this work, we train oracles using Graph Neural Networks and evaluate them on two SLS solvers on random SAT instances of varying difficulty. We find that access to GNN-based oracles significantly boosts the performance of both solvers, allowing them, on average, to solve 17% more difficult instances (as measured by the ratio between clauses and variables), and to do so in 35% fewer steps, with improvements in the median number of steps of up to a factor of 8. As such, this work bridges formal results from theoretical computer science and practically motivated research on deep learning for constraint satisfaction problems and establishes the promise of purpose-trained SAT solvers with performance guarantees. △ Less

Submitted 23 September, 2023; v1 submitted 20 September, 2023; originally announced September 2023.

Comments: 15 pages, 9 figures, code available at https://github.com/porscheofficial/sls_sat_solving_with_deep_learning

Distribution and volume based scoring for Isolation Forests

Authors: Hichem Dhouib, Alissa Wilms, Paul Boes

Abstract: We make two contributions to the Isolation Forest method for anomaly and outlier detection. The first contribution is an information-theoretically motivated generalisation of the score function that is used to aggregate the scores across random tree estimators. This generalisation allows one to take into account not just the ensemble average across trees but instead the whole distribution. The sec… ▽ More We make two contributions to the Isolation Forest method for anomaly and outlier detection. The first contribution is an information-theoretically motivated generalisation of the score function that is used to aggregate the scores across random tree estimators. This generalisation allows one to take into account not just the ensemble average across trees but instead the whole distribution. The second contribution is an alternative scoring function at the level of the individual tree estimator, in which we replace the depth-based scoring of the Isolation Forest with one based on hyper-volumes associated to an isolation tree's leaf nodes. We motivate the use of both of these methods on generated data and also evaluate them on 34 datasets from the recent and exhaustive ``ADBench'' benchmark, finding significant improvement over the standard isolation forest for both variants on some datasets and improvement on average across all datasets for one of the two variants. The code to reproduce our results is made available as part of the submission. △ Less

Submitted 20 September, 2023; originally announced September 2023.

Comments: 7 pages

Polarization-dependent beam shifts upon metallic reflection in high-contrast imagers and telescopes

Authors: R. G. van Holstein, C. U. Keller, F. Snik, S. P. Bos

Abstract: (Abridged) Context. To directly image rocky exoplanets in reflected (polarized) light, future space- and ground-based high-contrast imagers and telescopes aim to reach extreme contrasts at close separations from the star. However, the achievable contrast will be limited by reflection-induced polarization aberrations. While polarization aberrations can be modeled numerically, such computations prov… ▽ More (Abridged) Context. To directly image rocky exoplanets in reflected (polarized) light, future space- and ground-based high-contrast imagers and telescopes aim to reach extreme contrasts at close separations from the star. However, the achievable contrast will be limited by reflection-induced polarization aberrations. While polarization aberrations can be modeled numerically, such computations provide little insight into the full range of effects, their origin and characteristics, and possible ways to mitigate them. Aims. We aim to understand polarization aberrations produced by reflection off flat metallic mirrors at the fundamental level. Methods. We used polarization ray tracing to numerically compute polarization aberrations and interpret the results in terms of the polarization-dependent spatial and angular Goos-Hänchen and Imbert-Federov shifts of the beam of light as described with closed-form mathematical expressions in the physics literature. Results. We find that all four beam shifts are fully reproduced by polarization ray tracing and study the origin, characteristics, sizes, and directions of the shifts. Of the four beam shifts, only the spatial Goos-Hänchen and Imbert-Federov shifts are relevant for high-contrast imagers and telescopes because these shifts are visible in the focal plane and create a polarization structure in the PSF that reduces the performance of coronagraphs and the polarimetric speckle suppression close to the star. Conclusions. The beam shifts in an optical system can be mitigated by kee** the f-numbers large and angles of incidence small. Most importantly, mirror coatings should not be optimized for maximum reflectivity, but should be designed to have a retardance close to 180°. The insights from our study can be applied to improve the performance of current and future high-contrast imagers, especially those in space and on the ELTs. △ Less

Submitted 28 September, 2023; v1 submitted 21 August, 2023; originally announced August 2023.

Comments: 19 pages, 13 figures, 1 table, final version as published in Astronomy & Astrophysics, 677, A150 (2023)

Journal ref: A&A 677, A150 (2023)

With a little help from your friends: semi-cooperative games via Joker moves

Authors: Petra van den Bos, Marielle Stoelinga

Abstract: This paper coins the notion of Joker games where Player 2 is not strictly adversarial: Player 1 gets help from Player 2 by playing a Joker. We formalize these games as cost games, and study their theoretical properties. Finally, we illustrate their use in model-based testing. This paper coins the notion of Joker games where Player 2 is not strictly adversarial: Player 1 gets help from Player 2 by playing a Joker. We formalize these games as cost games, and study their theoretical properties. Finally, we illustrate their use in model-based testing. △ Less

Submitted 25 January, 2024; v1 submitted 26 April, 2023; originally announced April 2023.

Comments: Journal version for LMCS issue

Limits on Wave Optics Simulations of Plane Wave Propagation in Non-Kolmogorov Turbulence

Authors: Jeremy P. Bos, Stephen Grulke, Jeff Beck

Abstract: We derive limits for wave optics simulations of plane wave propagation in non-Kolmogorov turbulence using the split-step method and thin phase screens. These limits are used to inform two simulation campaigns where the relationship between volume turbulence strength and normalized intensity variance for various non-Kolmogorov power-laws. We find that simulations of smaller power laws are limited t… ▽ More We derive limits for wave optics simulations of plane wave propagation in non-Kolmogorov turbulence using the split-step method and thin phase screens. These limits are used to inform two simulation campaigns where the relationship between volume turbulence strength and normalized intensity variance for various non-Kolmogorov power-laws. We find that simulations of smaller power laws are limited turbulence strengths with Rytov numbers of 7 when the simulation side-length sampling rate is 8192. Under these same conditions it is possible to simulate volume turbulence strength out to Rytov numbers of 12 for Kolmogorov power-laws and higher. We show that the peak scintillation and Rytov number where peak scintillation occur increases monotonically with power-law. Also, that if turbulence strength is fixed, the relationship between scintillation index and power-law depends on the operating regime. In weak turbulence the relationship is negative, and it is positive in stronger turbulence. This work also emphasizes the importance of properly scaling turbulence strength with comparing results with different power-laws and the influence and importance of defining inner and outer scales in these simulations. △ Less

Submitted 7 August, 2022; originally announced August 2022.

Transparent reporting of research-related greenhouse gas emissions through the scientific CO$_2$nduct initiative

Authors: Ryan Sweke, Paul Boes, Nelly H. Y. Ng, Carlo Sparaciari, Jens Eisert, Marcel Goihl

Abstract: Estimating the greenhouse gas emissions of research-related activities is a critical first step towards the design of mitigation policies and actions. Here we propose and motivate a transparent framework for reporting research-related greenhouse gas emissions, through the inclusion of standardised reporting tables in scientific publications. Estimating the greenhouse gas emissions of research-related activities is a critical first step towards the design of mitigation policies and actions. Here we propose and motivate a transparent framework for reporting research-related greenhouse gas emissions, through the inclusion of standardised reporting tables in scientific publications. △ Less

Submitted 1 June, 2022; originally announced June 2022.

Journal ref: Commun. Phys. 5, 150 (2022)

High contrast imaging at the photon noise limit with self-calibrating WFS/C systems

Authors: Olivier Guyon, Barnaby Norris, Marc-Antoine Martinod, Kyohoon Ahn, Peter Tuthill, Jared Males, Alison Wong, Nour Skaf, Thayne Currie, Kelsey Miller, Steven P. Bos, Julien Lozi, Vincent Deo, Sebastien Vievard, Ruslan Belikov, Kyle van Gorkom, Benjamin Mazin, Michael Bottom, Richard Frazin, Alexander Rodack, Tyler Groff, Nemanja Jovanovic, Frantz Martinache

Abstract: High contrast imaging (HCI) systems rely on active wavefront control (WFC) to deliver deep raw contrast in the focal plane, and on calibration techniques to further enhance contrast by identifying planet light within the residual speckle halo. Both functions can be combined in an HCI system and we discuss a path toward designing HCI systems capable of calibrating residual starlight at the fundamen… ▽ More High contrast imaging (HCI) systems rely on active wavefront control (WFC) to deliver deep raw contrast in the focal plane, and on calibration techniques to further enhance contrast by identifying planet light within the residual speckle halo. Both functions can be combined in an HCI system and we discuss a path toward designing HCI systems capable of calibrating residual starlight at the fundamental contrast limit imposed by photon noise. We highlight the value of deploying multiple high-efficiency wavefront sensors (WFSs) covering a wide spectral range and spanning multiple optical locations. We show how their combined information can be leveraged to simultaneously improve WFS sensitivity and residual starlight calibration, ideally making it impossible for an image plane speckle to hide from WFS telemetry. We demonstrate residual starlight calibration in the laboratory and on-sky, using both a coronagraphic setup, and a nulling spectro-interferometer. In both case, we show that bright starlight can calibrate residual starlight. △ Less

Submitted 4 October, 2021; v1 submitted 28 September, 2021; originally announced September 2021.

Comments: 11 pages, 6 Figures, 1 Table; Proc. SPIE in press

SCExAO, a testbed for develo** high-contrast imaging technologies for ELTs

Authors: Kyohoon Ahn, Olivier Guyon, Julien Lozi, Sébastien Vievard, Vincent Deo, Nour Skaf, Ruslan Belikov, Steven P. Bos, Michael Bottom, Thayne Currie, Richard Frazin, Kyle V. Gorkom, Tyler D. Groff, Sebastiaan Y. Haffert, Nemanja Jovanovic, Hajime Kawahara, Takayuki Kotani, Jared R. Males, Frantz Martinache, Benjamin A. Mazin, Kelsey Miller, Barnaby Norris, Alexander Rodack, Alison Wong

Abstract: To directly detect exoplanets and protoplanetary disks, the development of high accuracy wavefront sensing and control (WFS&C) technologies is essential, especially for ground-based Extremely Large Telescopes (ELTs). The Subaru Coronagraphic Extreme Adaptive Optics (SCExAO) instrument is a high-contrast imaging platform to discover and characterize exoplanets and protoplanetary disks. It also serv… ▽ More To directly detect exoplanets and protoplanetary disks, the development of high accuracy wavefront sensing and control (WFS&C) technologies is essential, especially for ground-based Extremely Large Telescopes (ELTs). The Subaru Coronagraphic Extreme Adaptive Optics (SCExAO) instrument is a high-contrast imaging platform to discover and characterize exoplanets and protoplanetary disks. It also serves as a testbed to validate and deploy new concepts or algorithms for high-contrast imaging approaches for ELTs, using the latest hardware and software technologies on an 8-meter class telescope. SCExAO is a multi-band instrument, using light from 600 to 2500 nm, and delivering a high Strehl ratio (>80% in median seeing in H-band) downstream of a low-order correction provided by the facility AO188. Science observations are performed with coronagraphs, an integral field spectrograph, or single aperture interferometers. The SCExAO project continuously reaches out to the community for development and upgrades. Existing operating testbeds such as the SCExAO are also unique opportunities to test and deploy the new technologies for future ELTs. We present and show a live demonstration of the SCExAO capabilities (Real-time predictive AO control, Focal plane WFS&C, etc) as a host testbed for the remote collaborators to test and deploy the new WFS&C concepts or algorithms. We also present several high-contrast imaging technologies that are under development or that have already been demonstrated on-sky. △ Less

Submitted 28 September, 2021; v1 submitted 27 September, 2021; originally announced September 2021.

Comments: 13 pages, 8 figures, 2021 SPIE Optics+Photonics

Full characterization of the instrumental polarization effects of the spectropolarimetric mode of SCExAO-CHARIS

Authors: G. J. Joost `t Hart, Rob G. van Holstein, Steven P. Bos, Jasper Ruigrok, Frans Snik, Julien Lozi, Olivier Guyon, Tomoyuki Kudo, ** Zhang, Nemanja Jovanovic, Barnaby Norris, Marc-Antoine Martinod, Tyler D. Groff, Jeffrey Chilcote, Thayne Currie, Motohide Tamura, Sébastien Vievard, Ananya Sahoo, Vincent Deo, Kyohoon Ahn, Frantz Martinache, Jeremy Kasdin

Abstract: SCExAO at the Subaru telescope is a visible and near-infrared high-contrast imaging instrument employing extreme adaptive optics and coronagraphy. The instrument feeds the near-infrared light (JHK) to the integral-field spectrograph CHARIS. The spectropolarimetric capability of CHARIS is enabled by a Wollaston prism and is unique among high-contrast imagers. We present a detailed Mueller matrix mo… ▽ More SCExAO at the Subaru telescope is a visible and near-infrared high-contrast imaging instrument employing extreme adaptive optics and coronagraphy. The instrument feeds the near-infrared light (JHK) to the integral-field spectrograph CHARIS. The spectropolarimetric capability of CHARIS is enabled by a Wollaston prism and is unique among high-contrast imagers. We present a detailed Mueller matrix model describing the instrumental polarization effects of the complete optical path, thus the telescope and instrument. From measurements with the internal light source, we find that the image derotator (K-mirror) produces strongly wavelength-dependent crosstalk, in the worst case converting ~95% of the incident linear polarization to circularly polarized light that cannot be measured. Observations of an unpolarized star show that the magnitude of the instrumental polarization of the telescope varies with wavelength between 0.5% and 1%, and that its angle is exactly equal to the altitude angle of the telescope. Using physical models of the fold mirror of the telescope, the half-wave plate, and the derotator, we simultaneously fit the instrumental polarization effects in the 22 wavelength bins. Over the full wavelength range, our model currently reaches a total polarimetric accuracy between 0.08% and 0.24% in the degree of linear polarization. We propose additional calibration measurements to improve the polarimetric accuracy to <0.1% and plan to integrate the complete Mueller matrix model into the existing CHARIS post-processing pipeline. Our calibrations of CHARIS' spectropolarimetric mode will enable unique quantitative polarimetric studies of circumstellar disks and planetary and brown dwarf companions. △ Less

Submitted 10 August, 2021; originally announced August 2021.

Comments: 27 pages, 16 figures, submitted to SPIE Optics + Photonics 2021

"Fast" and Furious focal-plane wavefront sensing at W. M. Keck Observatory

Authors: Steven P. Bos, Michael Bottom, Sam Ragland, Jacques-Robert Delorme, Sylvain Cetre, Laurent Pueyo

Abstract: High quality, repeatable point-spread functions are important for science cases like direct exoplanet imaging, high-precision astrometry, and high-resolution spectroscopy of exoplanets. For such demanding applications, the initial on-sky point-spread function delivered by the adaptive optics system can require further optimization to correct unsensed static aberrations and calibration biases. We i… ▽ More High quality, repeatable point-spread functions are important for science cases like direct exoplanet imaging, high-precision astrometry, and high-resolution spectroscopy of exoplanets. For such demanding applications, the initial on-sky point-spread function delivered by the adaptive optics system can require further optimization to correct unsensed static aberrations and calibration biases. We investigated using the Fast and Furious focal-plane wavefront sensing algorithm as a potential solution. This algorithm uses a simple model of the optical system and focal plane information to measure and correct the point-spread function phase, without using defocused images, meaning it can run concurrently with science. On-sky testing demonstrated significantly improved PSF quality in only a few iterations, with both narrow and broadband filters. These results suggest this algorithm is a useful path forward for creating and maintaining high-quality, repeatable on-sky adaptive optics point-spread functions. △ Less

Submitted 15 July, 2021; originally announced July 2021.

Comments: 12 pages, 9 figures, to appear in SPIE Optics+Photonics 2021

First on-sky demonstration of spatial Linear Dark Field Control with the vector-Apodizing Phase Plate at Subaru/SCExAO

Authors: S. P. Bos, K. L. Miller, J. Lozi, O. Guyon, D. S. Doelman, S. Vievard, A. Sahoo, V. Deo, N. Jovanovic, F. Martinache, T. Currie, F. Snik

Abstract: One of the key noise sources that currently limits high-contrast imaging observations for exoplanet detection is quasi-static speckles. Quasi-static speckles originate from slowly evolving non-common path aberrations (NCPA). The purpose of this work is to present a proof-of-concept on-sky demonstration of spatial Linear Dark Field Control (LDFC). The ultimate goal of LDFC is to stabilize the point… ▽ More One of the key noise sources that currently limits high-contrast imaging observations for exoplanet detection is quasi-static speckles. Quasi-static speckles originate from slowly evolving non-common path aberrations (NCPA). The purpose of this work is to present a proof-of-concept on-sky demonstration of spatial Linear Dark Field Control (LDFC). The ultimate goal of LDFC is to stabilize the point spread function (PSF) by addressing NCPA using the science image as additional wavefront sensor. We combined spatial LDFC with the Asymmetric Pupil vector-Apodizing Phase Plate (APvAPP) on the Subaru Coronagraphic Extreme Adaptive Optics system at the Subaru Telescope. In this paper, we report the results of the first successful proof-of-principle LDFC on-sky tests. We present results from two types of cases: (1) correction of instrumental errors and atmospheric residuals plus artificially induced static aberrations introduced on the deformable mirror and (2) correction of only atmospheric residuals and instrumental aberrations. When introducing artificial static wavefront aberrations on the DM, we find that LDFC can improve the raw contrast by a factor of $3$--$7$ over the dark hole. In these tests, the residual wavefront error decreased by $\sim$50 nm RMS, from $\sim$90 nm to $\sim40$ nm RMS. In the case with only residual atmospheric wavefront errors and instrumental aberrations, we show that LDFC is able to suppress evolving aberrations that have timescales of $<0.1$--$0.4$ Hz. We find that the power at $10^{-2}$ Hz is reduced by a factor of $\sim$20, 7, and 4 for spatial frequency bins at 2.5, 5.5, and 8.5 $λ/D$, respectively. The results presented in this work show that LDFC is a promising technique for enabling the high-contrast imaging goals of the upcoming generation of extremely large telescopes. △ Less

Submitted 11 June, 2021; originally announced June 2021.

Comments: Accepted for publication in Astronomy&Astrophysics. 13 pages, 11 figures, 2 tables

Journal ref: A&A 653, A42 (2021)

The vector-apodizing phase plate coronagraph: design, current performance, and future development

Authors: D. S. Doelman, F. Snik, E. H. Por, S. P. Bos, G. P. P. L. Otten, M. Kenworthy, S. Y. Haffert, M. Wilby, A. J. Bohn, B. J. Sutlieff, K. Miller, M. Ouellet, J. de Boer, C. U. Keller, M. J. Escuti, S. Shi, N. Z. Warriner, K. J. Hornburg, J. L. Birkby, J. Males, K. M. Morzinski, L. M. Close, J. Codona, J. Long, L. Schatz , et al. (28 additional authors not shown)

Abstract: Over the last decade, the vector-apodizing phase plate (vAPP) coronagraph has been developed from concept to on-sky application in many high-contrast imaging systems on 8-m class telescopes. The vAPP is an geometric-phase patterned coronagraph that is inherently broadband, and its manufacturing is enabled only by direct-write technology for liquid-crystal patterns. The vAPP generates two coronagra… ▽ More Over the last decade, the vector-apodizing phase plate (vAPP) coronagraph has been developed from concept to on-sky application in many high-contrast imaging systems on 8-m class telescopes. The vAPP is an geometric-phase patterned coronagraph that is inherently broadband, and its manufacturing is enabled only by direct-write technology for liquid-crystal patterns. The vAPP generates two coronagraphic PSFs that cancel starlight on opposite sides of the point spread function (PSF) and have opposite circular polarization states. The efficiency, that is the amount of light in these PSFs, depends on the retardance offset from half-wave of the liquid-crystal retarder. Using different liquid-crystal recipes to tune the retardance, different vAPPs operate with high efficiencies ($>96\%$) in the visible and thermal infrared (0.55 $μ$m to 5 $μ$m). Since 2015, seven vAPPs have been installed in a total of six different instruments, including Magellan/MagAO, Magellan/MagAO-X, Subaru/SCExAO, and LBT/LMIRcam. Using two integral field spectrographs installed on the latter two instruments, these vAPPs can provide low-resolution spectra (R$\sim$30) between 1 $μ$m and 5 $μ$m. We review the design process, development, commissioning, on-sky performance, and first scientific results of all commissioned vAPPs. We report on the lessons learned and conclude with perspectives for future developments and applications. △ Less

Submitted 4 November, 2021; v1 submitted 22 April, 2021; originally announced April 2021.

Comments: 38 pages, 17 figures, accepted for publication in Applied Optics, added NSF grant acknowledgement

Machine learning method for light field refocusing

Authors: Eisa Hedayati, Timothy C. Havens, Jeremy P. Bos

Abstract: Light field imaging introduced the capability to refocus an image after capturing. Currently there are two popular methods for refocusing, shift-and-sum and Fourier slice methods. Neither of these two methods can refocus the light field in real-time without any pre-processing. In this paper we introduce a machine learning based refocusing technique that is capable of extracting 16 refocused images… ▽ More Light field imaging introduced the capability to refocus an image after capturing. Currently there are two popular methods for refocusing, shift-and-sum and Fourier slice methods. Neither of these two methods can refocus the light field in real-time without any pre-processing. In this paper we introduce a machine learning based refocusing technique that is capable of extracting 16 refocused images with refocusing parameters of α=0.125,0.250,0.375,...,2.0 in real-time. We have trained our network, which is called RefNet, in two experiments. Once using the Fourier slice method as the training -- i.e., "ground truth" -- data and another using the shift-and-sum method as the training data. We showed that in both cases, not only is the RefNet method at least 134x faster than previous approaches, but also the color prediction of RefNet is superior to both Fourier slice and shift-and-sum methods while having similar depth of field and focus distance performance. △ Less

Submitted 18 April, 2022; v1 submitted 29 March, 2021; originally announced March 2021.

The polarization-encoded self-coherent camera

Authors: Steven P. Bos

Abstract: The exploration of circumstellar environments by means of direct imaging to search for Earth-like exoplanets is one of the challenges of modern astronomy. One of the current limitations are evolving non-common path aberrations (NCPA) that originate from optics downstream of the main wavefront sensor. The self-coherent camera (SCC) is an integrated coronagraph and focal-plane wavefront sensor that… ▽ More The exploration of circumstellar environments by means of direct imaging to search for Earth-like exoplanets is one of the challenges of modern astronomy. One of the current limitations are evolving non-common path aberrations (NCPA) that originate from optics downstream of the main wavefront sensor. The self-coherent camera (SCC) is an integrated coronagraph and focal-plane wavefront sensor that generates wavefront information-encoding Fizeau fringes in the focal plane by adding a reference hole (RH) in the Lyot stop. Here, we aim to show that by featuring a polarizer in the RH and adding a polarizing beamsplitter downstream of the Lyot stop, the RH can be placed right next to the pupil. We refer to this new variant of the SCC as the polarization-encoded self-coherent camera (PESCC). We study the performance of the PESCC analytically and numerically, and compare it, where relevant, to the SCC. We show analytically that the PESCC relaxes the requirements on the focal-plane sampling and spectral resolution with respect to the SCC by a factor of 2 and 3.5, respectively. Furthermore, we find via our numerical simulations that the PESCC has effectively access to $\sim$16 times more photons, which improves the sensitivity of the wavefront sensing by a factor of $\sim4$. We also show that without additional measurements, the RH point-spread function (PSF) can be calibrated using PESCC images, enabling coherent differential imaging (CDI) as a contrast-enhancing post-processing technique for every observation. In idealized simulations (clear aperture, charge two vortex coronagraph, perfect DM, no noise sources other than phase and amplitude aberrations) and in circumstances similar to those of space-based systems, we show that WFSC combined with CDI can achieve a $1σ$ raw contrast of $\sim3\cdot10^{-11}- 8 \cdot 10^{-11}$ between 1 and 18 $λ/ D$. △ Less

Submitted 8 January, 2021; originally announced January 2021.

Comments: Accepted for publication in A&A. Shortened abstract. 17 pages, 21 figures

Journal ref: A&A 646, A177 (2021)

Focal Plane Wavefront Sensing on SUBARU/SCExAO

Authors: Sebastien Vievard, Steven P. Bos, Frederic Cassaing, Thayne Currie, Vincent Deo, Olivier Guyon, Nemanja Jovanovic, Christoph Keller, Masen Lamb, Coline Lopez, Julien Lozi, Frantz Martinache, Kelsey Miller, Aurelie Montmerle-Bonnefois, Laurent M. Mugnier, Mamadou N'Diaye, Barnaby Norris, Ananya Sahoo, Jean-François Sauvage, Nour Skaf, Frans Snik, Michael J. Wilby, Alisson Wong

Abstract: 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 aberrati… ▽ More 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. △ Less

Submitted 22 December, 2020; originally announced December 2020.

Comments: SPIE proceeding : Astronomical Telescopes + Instrumentation 2020. arXiv admin note: text overlap with arXiv:1912.10179

Calibration of the instrumental polarization effects of SCExAO-CHARIS' spectropolarimetric mode

Authors: Rob G. van Holstein, Steven P. Bos, Jasper Ruigrok, Julien Lozi, Olivier Guyon, Barnaby Norris, Frans Snik, Jeffrey Chilcote, Thayne Currie, Tyler D. Groff, Joost 't Hart, Nemanja Jovanovic, Jeremy Kasdin, Tomoyuki Kudo, Frantz Martinache, Ben Mazin, Ananya Sahoo, Motohide Tamura, Sébastien Vievard, Alex Walter, ** Zhang

Abstract: SCExAO at the Subaru telescope is a visible and near-infrared high-contrast imaging instrument employing extreme adaptive optics and coronagraphy. The instrument feeds the near-infrared light (JHK) to the integral field spectrograph CHARIS. Recently, a Wollaston prism was added to CHARIS' optical path, giving CHARIS a spectropolarimetric capability that is unique among high-contrast imaging instru… ▽ More SCExAO at the Subaru telescope is a visible and near-infrared high-contrast imaging instrument employing extreme adaptive optics and coronagraphy. The instrument feeds the near-infrared light (JHK) to the integral field spectrograph CHARIS. Recently, a Wollaston prism was added to CHARIS' optical path, giving CHARIS a spectropolarimetric capability that is unique among high-contrast imaging instruments. We present a detailed Mueller matrix model describing the instrumental polarization effects of the complete optical path, thus the telescope and instrument. The 22 wavelength bins of CHARIS provide a unique opportunity to investigate in detail the wavelength dependence of the instrumental polarization effects. From measurements with the internal light source, we find that the image derotator (K-mirror) produces strong wavelength-dependent crosstalk, in the worst case converting ~95% of the incident linear polarization to circularly polarized light that cannot be measured. Theoretical calculations show that the magnitude of the instrumental polarization of the telescope varies with wavelength between approximately 0.5% and 0.7%, and that its angle is exactly equal to the altitude angle of the telescope. We plan to more accurately determine the instrumental polarization of the telescope with observations of a polarization standard star, and fit more comprehensive physical models to all experimental data. In addition, we plan to integrate the complete Mueller matrix model into the existing CHARIS post-processing pipeline, with the aim to achieve a polarimetric accuracy of <0.1% in the degree of linear polarization. Our calibrations of CHARIS' spectropolarimetric mode will enable unique quantitative polarimetric studies of circumstellar disks and planetary and brown dwarf companions. △ Less

Submitted 1 December, 2020; originally announced December 2020.

Comments: 14 pages, 7 figures, submitted to SPIE Astronomical Telescopes + Instrumentation 2020

New concepts in vector-Apodizing Phase Plate coronagraphy

Authors: Steven P. Bos, David S. Doelman, Kelsey L. Miller, Frans Snik

Abstract: The vector-Apodizing Phase Plate (vAPP) is a pupil-plane coronagraph that manipulates phase to create dark holes in the stellar PSF. The phase is induced on the circular polarization states through the inherently achromatic geometric phase by spatially varying the fast axis orientation of a half-wave liquid-crystal layer. The two polarized PSFs can be separated, either by a quarter-wave plate (QWP… ▽ More The vector-Apodizing Phase Plate (vAPP) is a pupil-plane coronagraph that manipulates phase to create dark holes in the stellar PSF. The phase is induced on the circular polarization states through the inherently achromatic geometric phase by spatially varying the fast axis orientation of a half-wave liquid-crystal layer. The two polarized PSFs can be separated, either by a quarter-wave plate (QWP) followed by a polarizing beamsplitter (PBS) for broadband operation, or a polarization sensitive grating (PSG) for narrowband or IFS operation. Here we present new vAPP concepts that lift the restrictions of previous designs and report on their performance. We demonstrated that the QWP+PBS combination puts tight tolerances on the components to prevent leakage of non-coronagraphic light into the dark-hole. We present a new broadband design using an innovative two-stage patterned liquid-crystal element system based on multi-color holography, alleviating the leakage problem and relaxing manufacturing tolerances. Furthermore, we have shown that focal-plane wavefront sensing (FPWFS) can be integrated into the vAPP by an asymmetric pupil. However, such vAPPs suffer from a reduced throughput and have only been demonstrated with a PSG in narrowband operation. We present advanced designs that maintain throughput and enable phase and amplitude wavefront sensing. We also present broadband vAPP FPWFS designs and outline a broadband FPWFS algorithm. Finally, previous dual-beam vAPP designs for sensitive polarimetry with one-sided dark holes were very complex. We show new dual-beam designs that significantly reduce the complexity. △ Less

Submitted 7 January, 2021; v1 submitted 1 December, 2020; originally announced December 2020.

Comments: 13 pages, 15 figures, published in SPIE. Re-uploaded to fix a corrupted figure

The generalised Hausdorff measure of sets of Dirichlet non-improvable numbers

Authors: Philip Bos, Mumtaz Hussain, David Simmons

Abstract: Let $ψ:\mathbb R_+\to\mathbb R_+$ be a non-increasing function. A real number $x$ is said to be $ψ$-Dirichlet improvable if the system $$|qx-p|< \, ψ(t) \ \ {\text{and}} \ \ |q|<t$$ has a non-trivial integer solution for all large enough $t$. Denote the collection of such points by $D(ψ)$. In this paper, we prove a zero-infinity law valid for all dimension functions under natural non-restrictive c… ▽ More Let $ψ:\mathbb R_+\to\mathbb R_+$ be a non-increasing function. A real number $x$ is said to be $ψ$-Dirichlet improvable if the system $$|qx-p|< \, ψ(t) \ \ {\text{and}} \ \ |q|<t$$ has a non-trivial integer solution for all large enough $t$. Denote the collection of such points by $D(ψ)$. In this paper, we prove a zero-infinity law valid for all dimension functions under natural non-restrictive conditions. Some of the consequences are zero-infinity laws, for all essentially sub-linear dimension functions proved by Hussain-Kleinbock-Wadleigh-Wang (2018), for some non-essentially sub-linear dimension functions, and for all dimension functions but with a growth condition on the approximating function. △ Less

Submitted 18 August, 2022; v1 submitted 26 October, 2020; originally announced October 2020.

Comments: In Press: Proceedings of the American Mathematical Society. arXiv admin note: text overlap with arXiv:1704.03089

MSC Class: 11J83; 11K60; 28A78; 11K50; 11K55; 11A55

Light Field Compression by Residual CNN Assisted JPEG

Authors: Eisa Hedayati, Timothy C. Havens, Jeremy P. Bos

Abstract: Light field (LF) imaging has gained significant attention due to its recent success in 3-dimensional (3D) displaying and rendering as well as augmented and virtual reality usage. Nonetheless, because of the two extra dimensions, LFs are much larger than conventional images. We develop a JPEG-assisted learning-based technique to reconstruct an LF from a JPEG bitstream with a bit per pixel ratio of… ▽ More Light field (LF) imaging has gained significant attention due to its recent success in 3-dimensional (3D) displaying and rendering as well as augmented and virtual reality usage. Nonetheless, because of the two extra dimensions, LFs are much larger than conventional images. We develop a JPEG-assisted learning-based technique to reconstruct an LF from a JPEG bitstream with a bit per pixel ratio of 0.0047 on average. For compression, we keep the LF's center view and use JPEG compression with 50% quality. Our reconstruction pipeline consists of a small JPEG enhancement network (JPEG-Hance), a depth estimation network (Depth-Net), followed by view synthesizing by war** the enhanced center view. Our pipeline is significantly faster than using video compression on pseudo-sequences extracted from an LF, both in compression and decompression, while maintaining effective performance. We show that with a 1% compression time cost and 18x speedup for decompression, our methods reconstructed LFs have better structural similarity index metric (SSIM) and comparable peak signal-to-noise ratio (PSNR) compared to the state-of-the-art video compression techniques used to compress LFs. △ Less

Submitted 18 March, 2021; v1 submitted 30 September, 2020; originally announced October 2020.

Journal ref: 2021 International Joint Conference on Neural Networks (IJCNN), 2021, pp. 1-9

The variance of relative surprisal as single-shot quantifier

Authors: Paul Boes, Nelly H. Y. Ng, Henrik Wilming

Abstract: The variance of (relative) surprisal, also known as varentropy, so far mostly plays a role in information theory as quantifying the leading order corrections to asymptotic i.i.d.~limits. Here, we comprehensively study the use of it to derive single-shot results in (quantum) information theory. We show that it gives genuine sufficient and necessary conditions for approximate state-transitions betwe… ▽ More The variance of (relative) surprisal, also known as varentropy, so far mostly plays a role in information theory as quantifying the leading order corrections to asymptotic i.i.d.~limits. Here, we comprehensively study the use of it to derive single-shot results in (quantum) information theory. We show that it gives genuine sufficient and necessary conditions for approximate state-transitions between pairs of quantum states in the single-shot setting, without the need for further optimization. We also clarify its relation to smoothed min- and max-entropies, and construct a monotone for resource theories using only the standard (relative) entropy and variance of (relative) surprisal. This immediately gives rise to enhanced lower bounds for entropy production in random processes. We establish certain properties of the variance of relative surprisal which will be useful for further investigations, such as uniform continuity and upper bounds on the violation of sub-additivity. Motivated by our results, we further derive a simple and physically appealing axiomatic single-shot characterization of (relative) entropy which we believe to be of independent interest. We illustrate our results with several applications, ranging from interconvertibility of ergodic states, over Landauer erasure to a bound on the necessary dimension of the catalyst for catalytic state transitions and Boltzmann's H-theorem. △ Less

Submitted 29 March, 2022; v1 submitted 17 September, 2020; originally announced September 2020.

Comments: v3: published version

Journal ref: PRX Quantum 3, 010325, 2022

Detection of polarization neutral points in observations of the combined corona and sky during the 21 August 2017 total solar eclipse

Authors: Frans Snik, Steven P. Bos, Stefanie A. Brackenhoff, David S. Doelman, Emiel H. Por, Felix Bettonvil, Michiel Rodenhuis, Dmitry Vorobiev, Laura M. Eshelman, Joseph A. Shaw

Abstract: We report the results of polarimetric observations of the total solar eclipse of 21 August 2017 from Rexburg, Idaho (USA). We use three synchronized DSLR cameras with polarization filters oriented at 0°, 60°, and 120° to provide high-dynamic-range RGB polarization images of the corona and surrounding sky. We measure tangential coronal polarization and vertical sky polarization, both as expected. T… ▽ More We report the results of polarimetric observations of the total solar eclipse of 21 August 2017 from Rexburg, Idaho (USA). We use three synchronized DSLR cameras with polarization filters oriented at 0°, 60°, and 120° to provide high-dynamic-range RGB polarization images of the corona and surrounding sky. We measure tangential coronal polarization and vertical sky polarization, both as expected. These observations provide detailed detections of polarization neutral points above and below the eclipsed Sun where the coronal polarization is canceled by the sky polarization. We name these special polarization neutral points after Minnaert and Van de Hulst. △ Less

Submitted 23 July, 2020; originally announced July 2020.

Comments: Part of the Applied Optics special feature issue on Light and Color in Nature

Journal ref: Applied Optics Vol. 59, Issue 21, pp. F71-F77 (2020)

On-sky verification of Fast and Furious focal-plane wavefront sensing: Moving forward toward controlling the island effect at Subaru/SCExAO

Authors: Steven P. Bos, Sébastien Vievard, Michael J. Wilby, Frans Snik, Julien Lozi, Olivier Guyon, Barnaby R. M. Norris, Nemanja Jovanovic, Frantz Martinache, Jean-François Sauvage, Christoph U. Keller

Abstract: High-contrast imaging (HCI) observations of exoplanets can be limited by the island effect (IE). On the current generation of telescopes, the IE becomes a severe problem when the ground wind speed is below a few meters per second. This is referred to as the low-wind effect (LWE). The LWE severely distorts the point spread function (PSF), significantly lowering the Strehl ratio and degrading the co… ▽ More High-contrast imaging (HCI) observations of exoplanets can be limited by the island effect (IE). On the current generation of telescopes, the IE becomes a severe problem when the ground wind speed is below a few meters per second. This is referred to as the low-wind effect (LWE). The LWE severely distorts the point spread function (PSF), significantly lowering the Strehl ratio and degrading the contrast. In this article, we aim to show that the focal-plane wavefront sensing (FPWFS) algorithm, Fast and Furious (F&F), can be used to measure and correct the IE/LWE. We deployed the algorithm on the SCExAO HCI instrument at the Subaru Telescope using the internal near-infrared camera in H-band. We tested F&F with the internal source, and it was deployed on-sky to test its performance with the full end-to-end system and atmospheric turbulence. The performance of the algorithm was evaluated by two metrics based on the PSF quality: 1) the Strehl ratio approximation ($SRA$), and 2) variance of the normalized first Airy ring ($VAR$). Random LWE phase screens with a peak-to-valley wavefront error between 0.4 $μ$m and 2 $μ$m were all corrected to a $SRA$ $>$90\% and an $VAR\lessapprox0.05$. Furthermore, the on-sky results show that F&F is able to improve the PSF quality during very challenging atmospheric conditions (1.3-1.4'' seeing at 500 nm). Closed-loop tests show that F&F is able to improve the $VAR$ from 0.27 to 0.03 and therefore significantly improve the symmetry of the PSF. Simultaneous observations of the PSF in the {optical} ($λ= $ 750 nm, $Δλ=$ 50 nm) show that during these tests we were correcting aberrations common to the optical and NIR paths within SCExAO. Going forward, the algorithm is suitable for incorporation into observing modes, which will enable PSFs of higher quality and stability during science observations. △ Less

Submitted 25 May, 2020; originally announced May 2020.

Comments: Accepted for publication in A&A. Abstract shortened for arXiv

Journal ref: A&A 639, A52 (2020)

Vector speckle grid: instantaneous incoherent speckle grid for high-precision astrometry and photometry in high-contrast imaging

Authors: Steven P. Bos

Abstract: Photometric and astrometric monitoring of directly imaged exoplanets will deliver unique insights into their rotational periods, the distribution of cloud structures, weather, and orbital parameters. As the host star is occulted by the coronagraph, a speckle grid (SG) is introduced to serve as astrometric and photometric reference. Speckle grids are implemented as diffractive pupil-plane optics th… ▽ More Photometric and astrometric monitoring of directly imaged exoplanets will deliver unique insights into their rotational periods, the distribution of cloud structures, weather, and orbital parameters. As the host star is occulted by the coronagraph, a speckle grid (SG) is introduced to serve as astrometric and photometric reference. Speckle grids are implemented as diffractive pupil-plane optics that generate artificial speckles at known location and brightness. Their performance is limited by the underlying speckle halo caused by evolving uncorrected wavefront errors. The speckle halo will interfere with the coherent SGs, affecting their photometric and astrometric precision. Our aim is to show that by imposing opposite amplitude or phase modulation on the opposite polarization states, a SG can be instantaneously incoherent with the underlying halo, greatly increasing the precision. We refer to these as vector speckle grids (VSGs). We derive analytically the mechanism by which the incoherency arises and explore the performance gain in idealised simulations under various atmospheric conditions. We show that the VSG is completely incoherent for unpolarized light and that the fundamental limiting factor is the cross-talk between the speckles in the grid. In simulation, we find that for short-exposure images the VSG reaches a $\sim$0.3-0.8\% photometric error and $\sim$$3-10\cdot10^{-3}$ $λ/D$ astrometric error, which is a performance increase of a factor $\sim$20 and $\sim$5, respectively. Furthermore, we outline how VSGs could be implemented using liquid-crystal technology to impose the geometric phase on the circular polarization states. The VSG is a promising new method for generating a photometric and astrometric reference SG that has a greatly increased astrometric and photometric precision. △ Less

Submitted 18 May, 2020; originally announced May 2020.

Comments: Accepted for publication in A&A

Journal ref: A&A 638, A118 (2020)

Bounding the resources for thermalizing many-body localized systems

Authors: Carlo Sparaciari, Marcel Goihl, Paul Boes, Jens Eisert, Nelly Huei Ying Ng

Abstract: Understanding under which conditions physical systems thermalize is a long-standing question in many-body physics. While generic quantum systems thermalize, there are known instances where thermalization is hindered, for example in many-body localized (MBL) systems. Here we introduce a class of stochastic collision models coupling a many-body system out of thermal equilibrium to an external heat b… ▽ More Understanding under which conditions physical systems thermalize is a long-standing question in many-body physics. While generic quantum systems thermalize, there are known instances where thermalization is hindered, for example in many-body localized (MBL) systems. Here we introduce a class of stochastic collision models coupling a many-body system out of thermal equilibrium to an external heat bath. We derive upper and lower bounds on the size of the bath required to thermalize the system via such models, under certain assumptions on the Hamiltonian. We use these bounds, expressed in terms of the max-relative entropy, to characterize the robustness of MBL systems against externally-induced thermalization. Our bounds are derived within the framework of resource theories using the convex split lemma, a recent tool developed in quantum information. We apply our results to the disordered Heisenberg chain, and numerically study the robustness of its MBL phase in terms of the required bath size. △ Less

Submitted 7 January, 2021; v1 submitted 10 December, 2019; originally announced December 2019.

Comments: 8+13 pages, comments welcomed

Journal ref: Comm. Phys. 4, 3 (2021)

Focal-plane wavefront sensing with the vector Apodizing Phase Plate

Authors: Steven P. Bos, David S. Doelman, Julien Lozi, Olivier Guyon, Christoph U. Keller, Kelsey L. Miller, Nemanja Jovanovic, Frantz Martinache, Frans Snik

Abstract: In this article we show that the vector-Apodizing Phase Plate (vAPP) coronagraph can be designed such that the coronagraphic point spread functions (PSFs) can act as a wavefront sensor to measure and correct the (quasi-)static aberrations, without dedicated wavefront sensing holograms nor modulation by the deformable mirror. The absolute wavefront retrieval is performed with a non-linear algorithm… ▽ More In this article we show that the vector-Apodizing Phase Plate (vAPP) coronagraph can be designed such that the coronagraphic point spread functions (PSFs) can act as a wavefront sensor to measure and correct the (quasi-)static aberrations, without dedicated wavefront sensing holograms nor modulation by the deformable mirror. The absolute wavefront retrieval is performed with a non-linear algorithm. The focal-plane wavefront sensing (FPWFS) performance of the vAPP and the algorithm are evaluated with numerical simulations, to test various photon and read noise levels, the sensitivity to the 100 lowest Zernike modes and the maximum wavefront error (WFE) that can be accurately estimated in one iteration. We apply these methods to the vAPP within SCExAO, first with the internal source and subsequently on-sky. In idealised simulations we show that for $10^7$ photons the root-mean-square (RMS) WFE can be reduced to $\simλ/1000$, which is 1 nm RMS in the context of the SCExAO system. We find that the maximum WFE that can be corrected in one iteration is $\simλ/8$ RMS or $\sim$200 nm RMS (SCExAO). Furthermore, we demonstrate the SCExAO vAPP capabilities by measuring and controlling the lowest 30 Zernike modes with the internal source and on-sky. On-sky, we report a raw contrast improvement of a factor $\sim$2 between 2 and 4 $λ/D$ after 5 iterations of closed-loop correction. When artificially introducing 150 nm RMS WFE, the algorithm corrects it within 5 iterations of closed-loop operation. FPWFS with the vAPP's coronagraphic PSFs is a powerful technique since it integrates coronagraphy and wavefront sensing, eliminating the need for additional probes and thus resulting in a $100\%$ science duty cycle and maximum throughput for the target. △ Less

Submitted 18 September, 2019; originally announced September 2019.

Comments: Accepted for publication in Astronomy&Astrophysics. 19 pages, 15 figures

Journal ref: A&A 632, A48 (2019)

State Identification for Labeled Transition Systems with Inputs and Outputs

Authors: Petra van den Bos, Frits Vaandrager

Abstract: For Finite State Machines (FSMs) a rich testing theory has been developed to discover aspects of their behavior and ensure their correct functioning. Although this theory is widely used, e.g., to check conformance of protocol implementations, its applicability is limited by restrictions of the FSM framework: the fact that inputs and outputs alternate in an FSM, and outputs are fully determined by… ▽ More For Finite State Machines (FSMs) a rich testing theory has been developed to discover aspects of their behavior and ensure their correct functioning. Although this theory is widely used, e.g., to check conformance of protocol implementations, its applicability is limited by restrictions of the FSM framework: the fact that inputs and outputs alternate in an FSM, and outputs are fully determined by the previous input and state. Labeled Transition Systems with inputs and outputs (LTSs), as studied in ioco testing theory, provide a richer framework for testing component oriented systems, but lack the algorithms for test generation from FSM theory. In this article, we propose an algorithm for the fundamental problem of state identification during testing of LTSs. Our algorithm is a direct generalization of the well-known algorithm for computing adaptive distinguishing sequences for FSMs proposed by Lee & Yannakakis. Our algorithm has to deal with so-called compatible states, states that cannot be distinguished in case of an adversarial system-under-test. Analogous to the result of Lee & Yannakakis, we prove that if an (adaptive) test exists that distinguishes all pairs of incompatible states of an LTS, our algorithm will find one. In practice, such adaptive tests typically do not exist. However, in experiments with an implementation of our algorithm on an industrial benchmark, we find that tests produced by our algorithm still distinguish more than 99% of the incompatible state pairs. △ Less

Submitted 22 October, 2019; v1 submitted 25 July, 2019; originally announced July 2019.

KM3NeT front-end and readout electronics system: hardware, firmware and software

Authors: The KM3NeT Collaboration, S. Aiello, F. Ameli, M. Andre, G. Androulakis, M. Anghinolfi, G. Anton, M. Ardid, J. Aublin, C. Bagatelas, G. Barbarino, B. Baret, S. Basegmez du Pree, A. Belias, E. Berbee, A. M. van den Berg, V. Bertin, V. van Beveren, S. Biagi, A. Biagioni, S. Bianucci, M. Billault, M. Bissinger, P. Bos, J. Boumaaza , et al. (215 additional authors not shown)

Abstract: The KM3NeT research infrastructure being built at the bottom of the Mediterranean Sea will host water-Cherenkov telescopes for the detection of cosmic neutrinos. The neutrino telescopes will consist of large volume three-dimensional grids of optical modules to detect the Cherenkov light from charged particles produced by neutrino-induced interactions. Each optical module houses 31 3-inch photomult… ▽ More The KM3NeT research infrastructure being built at the bottom of the Mediterranean Sea will host water-Cherenkov telescopes for the detection of cosmic neutrinos. The neutrino telescopes will consist of large volume three-dimensional grids of optical modules to detect the Cherenkov light from charged particles produced by neutrino-induced interactions. Each optical module houses 31 3-inch photomultiplier tubes, instrumentation for calibration of the photomultiplier signal and positioning of the optical module and all associated electronics boards. By design, the total electrical power consumption of an optical module has been capped at seven watts. This paper presents an overview of the front-end and readout electronics system inside the optical module, which has been designed for a 1~ns synchronization between the clocks of all optical modules in the grid during a life time of at least 20 years. △ Less

Submitted 29 July, 2019; v1 submitted 15 July, 2019; originally announced July 2019.

Comments: Prepared submission to Journal of Astronomical Telescopes, Instruments, and Systems (JATIS)

Hausdorff dimension of a set in the theory of continued fractions

Authors: Ayreena Bakhtawar, Philip Bos, Mumtaz Hussain

Abstract: In this article we calculate the Hausdorff dimension of the set \begin{equation*} \mathcal{F}(Φ)=\left\{ x\in \lbrack 0,1):\begin{aligned}a_{n+1}(x)a_n(x) \geq Φ(n) \ {\rm for \ infinitely \ many \ } n\in \mathbb N \ {\rm and } \\ a_{n+1}(x)< Φ(n) \ {\rm for \ all \ sufficiently \ large \ } n\in \mathbb N \end{aligned}\right\} \end{equation*} where $Φ:\mathbb{N}\rightarrow (1,\infty)$ is any fun… ▽ More In this article we calculate the Hausdorff dimension of the set \begin{equation*} \mathcal{F}(Φ)=\left\{ x\in \lbrack 0,1):\begin{aligned}a_{n+1}(x)a_n(x) \geq Φ(n) \ {\rm for \ infinitely \ many \ } n\in \mathbb N \ {\rm and } \\ a_{n+1}(x)< Φ(n) \ {\rm for \ all \ sufficiently \ large \ } n\in \mathbb N \end{aligned}\right\} \end{equation*} where $Φ:\mathbb{N}\rightarrow (1,\infty)$ is any function with $\lim_{n\to \infty} Φ(n)=\infty.$ This in turn contributes to the metrical theory of continued fractions as well as gives insights about the set of Dirichlet non-improvable numbers. △ Less

Submitted 22 May, 2019; originally announced May 2019.

Comments: 21 pages, preliminary version, any comments for improvements are appreciated

By-passing fluctuation theorems

Authors: Paul Boes, Rodrigo Gallego, Nelly H. Y. Ng, Jens Eisert, Henrik Wilming

Abstract: Fluctuation theorems impose constraints on possible work extraction probabilities in thermodynamical processes. These constraints are stronger than the usual second law, which is concerned only with average values. Here, we show that such constraints, expressed in the form of the Jarzysnki equality, can be bypassed if one allows for the use of catalysts - additional degrees of freedom that may bec… ▽ More Fluctuation theorems impose constraints on possible work extraction probabilities in thermodynamical processes. These constraints are stronger than the usual second law, which is concerned only with average values. Here, we show that such constraints, expressed in the form of the Jarzysnki equality, can be bypassed if one allows for the use of catalysts - additional degrees of freedom that may become correlated with the system from which work is extracted, but whose reduced state remains unchanged so that they can be re-used. This violation can be achieved both for small systems but also for macroscopic many-body systems and leads to positive work extraction per particle with finite probability from macroscopic states in equilibrium. In addition to studying such violations for a single system, we also discuss the scenario in which many parties use the same catalyst to induce local transitions. We show that there exist catalytic processes that lead to highly correlated work distributions, expected to have implications for stochastic and quantum thermodynamics. △ Less

Submitted 14 February, 2020; v1 submitted 2 April, 2019; originally announced April 2019.

Comments: 16 pages (6+10), published version

Journal ref: Quantum 4, 231 (2020)

Rigorous vector wave propagation for arbitrary flat media

Authors: Steven P. Bos, Sebastiaan Y. Haffert, Christoph U. Keller

Abstract: Precise modelling of the (off-axis) point spread function (PSF) to identify geometrical and polarization aberrations is important for many optical systems. In order to characterise the PSF of the system in all Stokes parameters, an end-to-end simulation of the system has to be performed in which Maxwells equations are rigorously solved. We present the first results of a python code that we are dev… ▽ More Precise modelling of the (off-axis) point spread function (PSF) to identify geometrical and polarization aberrations is important for many optical systems. In order to characterise the PSF of the system in all Stokes parameters, an end-to-end simulation of the system has to be performed in which Maxwells equations are rigorously solved. We present the first results of a python code that we are develo** to perform multiscale end-to-end wave propagation simulations that include all relevant physics. Currently we can handle plane-parallel near- and far-field vector diffraction effects of propagating waves in homogeneous isotropic and anisotropic materials, refraction and reflection of flat parallel surfaces, interference effects in thin films and unpolarized light. We show that the code has a numerical precision on the order of 1E-16 for non-absorbing isotropic and anisotropic materials. For absorbing materials the precision is on the order of 1E-8. The capabilities of the code are demonstrated by simulating a converging beam reflecting from a flat aluminium mirror at normal incidence. △ Less

Submitted 24 November, 2018; originally announced November 2018.

Comments: 19 pages, 10 figures, presented at SPIE Optical Engineering + Applications, 2017, San Diego, California, United States

Journal ref: Proceedings Volume 10407, Polarization Science and Remote Sensing VIII; 1040709 (2017)

Fully broadband vAPP coronagraphs enabling polarimetric high contrast imaging

Authors: Steven P. Bos, David S. Doelman, Jos de Boer, Emiel H. Por, Barnaby Norris, Michael J. Escuti, Frans Snik

Abstract: We present designs for fully achromatic vector Apodizing Phase Plate (vAPP) coronagraphs, that implement low polarization leakage solutions and achromatic beam-splitting, enabling observations in broadband filters. The vAPP is a pupil plane optic, inducing the phase through the inherently achromatic geometric phase. We discuss various implementations of the broadband vAPP and set requirements on a… ▽ More We present designs for fully achromatic vector Apodizing Phase Plate (vAPP) coronagraphs, that implement low polarization leakage solutions and achromatic beam-splitting, enabling observations in broadband filters. The vAPP is a pupil plane optic, inducing the phase through the inherently achromatic geometric phase. We discuss various implementations of the broadband vAPP and set requirements on all the components of the broadband vAPP coronagraph to ensure that the leakage terms do not limit a raw contrast of 1E-5. Furthermore, we discuss superachromatic QWPs based of liquid crystals or quartz/MgF2 combinations, and several polarizer choices. As the implementation of the (broadband) vAPP coronagraph is fully based on polarization techniques, it can easily be extended to furnish polarimetry by adding another QWP before the coronagraph optic, which further enhances the contrast between the star and a polarized companion in reflected light. We outline several polarimetric vAPP system designs that could be easily implemented in existing instruments, e.g. SPHERE and SCExAO. △ Less

Submitted 24 November, 2018; originally announced November 2018.

Comments: 11 pages, 5 figures, presented at SPIE Astronomical Telescopes and Instrumentation 2018

Journal ref: Proceedings Volume 10706, Advances in Optical and Mechanical Technologies for Telescopes and Instrumentation III; 107065M (2018)

Bayesian cosmic density field inference from redshift space dark matter maps

Authors: E. G. Patrick Bos, Francisco-Shu Kitaura, Rien van de Weygaert

Abstract: We present a self-consistent Bayesian formalism to sample the primordial density fields compatible with a set of dark matter density tracers after cosmic evolution observed in redshift space. Previous works on density reconstruction did not self-consistently consider redshift space distortions or included an additional iterative distortion correction step. We present here the analytic solution of… ▽ More We present a self-consistent Bayesian formalism to sample the primordial density fields compatible with a set of dark matter density tracers after cosmic evolution observed in redshift space. Previous works on density reconstruction did not self-consistently consider redshift space distortions or included an additional iterative distortion correction step. We present here the analytic solution of coherent flows within a Hamiltonian Monte Carlo posterior sampling of the primordial density field. We test our method within the Zel'dovich approximation, presenting also an analytic solution including tidal fields and spherical collapse on small scales using augmented Lagrangian perturbation theory. Our resulting reconstructed fields are isotropic and their power spectra are unbiased compared to the true one defined by our mock observations. Novel algorithmic implementations are introduced regarding the mass assignment kernels when defining the dark matter density field and optimization of the time step in the Hamiltonian equations of motions. Our algorithm, dubbed barcode, promises to be specially suited for analysis of the dark matter cosmic web down to scales of a few Megaparsecs. This large scale structure is implied by the observed spatial distribution of galaxy clusters --- such as obtained from X-ray, SZ or weak lensing surveys --- as well as that of the intergalactic medium sampled by the Lyman alpha forest or perhaps even by deep hydrogen intensity map**. In these cases, virialized motions are negligible, and the tracers cannot be modeled as point-like objects. It could be used in all of these contexts as a baryon acoustic oscillation reconstruction algorithm. △ Less

Submitted 8 June, 2019; v1 submitted 11 October, 2018; originally announced October 2018.

Comments: 34 pages, 25 figures, 1 table. Submitted to MNRAS. Accompanying code at https://github.com/egpbos/barcode

Tester versus Bug: A Generic Framework for Model-Based Testing via Games

Authors: Petra van den Bos, Marielle Stoelinga

Abstract: We propose a generic game-based approach for test case generation. We set up a game between the tester and the System Under Test, in such a way that test cases correspond to game strategies, and the conformance relation ioco corresponds to alternating refinement. We show that different test assumptions from the literature can be easily incorporated, by slightly varying the moves in the games an… ▽ More We propose a generic game-based approach for test case generation. We set up a game between the tester and the System Under Test, in such a way that test cases correspond to game strategies, and the conformance relation ioco corresponds to alternating refinement. We show that different test assumptions from the literature can be easily incorporated, by slightly varying the moves in the games and their outcomes. In this way, our framework allows a wide plethora of game-theoretic techniques to be deployed for model based testing. △ Less

Submitted 9 September, 2018; originally announced September 2018.

Comments: In Proceedings GandALF 2018, arXiv:1809.02416

Journal ref: EPTCS 277, 2018, pp. 118-132

Von Neumann entropy from unitarity

Authors: P. Boes, J. Eisert, R. Gallego, M. P. Mueller, H. Wilming

Abstract: The von Neumann entropy is a key quantity in quantum information theory and, roughly speaking, quantifies the amount of quantum information contained in a state when many identical and independent i.i.d. copies of the state are available, in a regime that is often referred to as being asymptotic. In this work, we provide a new operational characterization of the von Neumann entropy which neither r… ▽ More The von Neumann entropy is a key quantity in quantum information theory and, roughly speaking, quantifies the amount of quantum information contained in a state when many identical and independent i.i.d. copies of the state are available, in a regime that is often referred to as being asymptotic. In this work, we provide a new operational characterization of the von Neumann entropy which neither requires an i.i.d. limit nor any explicit randomness. We do so by showing that the von Neumann entropy fully characterizes single-shot state transitions in unitary quantum mechanics, as long as one has access to a catalyst - an ancillary system that can be re-used after the transition - and an environment which has the effect of dephasing in a preferred basis. Building upon these insights, we formulate and provide evidence for the catalytic entropy conjecture, which states that the above result holds true even in the absence of decoherence. If true, this would prove an intimate connection between single-shot state transitions in unitary quantum mechanics and the von Neumann entropy. Our results add significant support to recent insights that, contrary to common wisdom, the standard von Neumann entropy also characterizes single-shot situations and opens up the possibility for operational single-shot interpretations of other standard entropic quantities. We discuss implications of these insights to readings of the third law of quantum thermodynamics and hint at potentially profound implications to holography. △ Less

Submitted 23 July, 2018; originally announced July 2018.

Comments: 4+5 pages, 1 figure

Journal ref: Phys. Rev. Lett. 122, 210402 (2019)

The sets of Dirichlet non-improvable numbers vs well-approximable numbers

Authors: Ayreena Bakhtawar, Philip Bos, Mumtaz Hussain

Abstract: Let $Ψ:[1,\infty )\rightarrow \mathbb{R}_{+}$ be a non-decreasing function, $a_{n}(x)$ the $n$'{th} partial quotient of $x$ and $q_{n}(x)$ the denominator of the $n$'{th} convergent. The set of $Ψ$-Dirichlet non-improvable numbers \begin{equation*} G(Ψ):=\Big\{x\in \lbrack 0,1):a_{n}(x)a_{n+1}(x)\,>\,Ψ\big(q_{n}(x) \big)\ \mathrm{for\ infinitely\ many}\ n\in \mathbb{N}\Big\}, \end{equation*} is re… ▽ More Let $Ψ:[1,\infty )\rightarrow \mathbb{R}_{+}$ be a non-decreasing function, $a_{n}(x)$ the $n$'{th} partial quotient of $x$ and $q_{n}(x)$ the denominator of the $n$'{th} convergent. The set of $Ψ$-Dirichlet non-improvable numbers \begin{equation*} G(Ψ):=\Big\{x\in \lbrack 0,1):a_{n}(x)a_{n+1}(x)\,>\,Ψ\big(q_{n}(x) \big)\ \mathrm{for\ infinitely\ many}\ n\in \mathbb{N}\Big\}, \end{equation*} is related with the classical set of $1/q^{2}Ψ(q)$-approximable numbers $ \mathcal{K}(Ψ)$ in the sense that $\mathcal{K}(3Ψ)\subset G(Ψ)$. Both of these sets enjoy the same $s$-dimensional Hausdorff measure criterion for $s\in (0,1)$. We prove that the set $G(Ψ)\setminus \mathcal{K}(3Ψ)$ is uncountable by proving that its Hausdorff dimension is the same as that for the sets $\mathcal{K}(Ψ)$ and $G(Ψ)$. This gives an affirmative answer to a question raised by Hussain-Kleinbock-Wadleigh-Wang (2018). △ Less

Submitted 16 May, 2019; v1 submitted 2 June, 2018; originally announced June 2018.

Comments: 17 pages, comments welcome, to appear in Ergodic Theory and Dynamical System

Catalytic quantum randomness

Authors: P. Boes, H. Wilming, R. Gallego, J. Eisert

Abstract: Randomness is a defining element of mixing processes in nature and an essential ingredient to many protocols in quantum information. In this work, we investigate how much randomness is required to transform a given quantum state into another one. Specifically, we ask whether there is a gap between the power of a classical source of randomness compared to that of a quantum one. We provide a complet… ▽ More Randomness is a defining element of mixing processes in nature and an essential ingredient to many protocols in quantum information. In this work, we investigate how much randomness is required to transform a given quantum state into another one. Specifically, we ask whether there is a gap between the power of a classical source of randomness compared to that of a quantum one. We provide a complete answer to these questions, by identifying provably optimal protocols for both classical and quantum sources of randomness, based on a dephasing construction. We find that in order to implement any noisy transition on a $d$-dimensional quantum system it is necessary and sufficient to have a quantum source of randomness of dimension $\sqrt{d}$ or a classical one of dimension $d$. Interestingly, coherences provided by quantum states in a source of randomness offer a quadratic advantage. The process we construct has the additional features to be robust and catalytic, i.e., the source of randomness can be re-used. Building upon this formal framework, we illustrate that this dephasing construction can serve as a useful primitive in both equilibration and quantum information theory: We discuss applications describing the smallest measurement device, capturing the smallest equilibrating environment allowed by quantum mechanics, or forming the basis for a cryptographic private quantum channel. We complement the exact analysis with a discussion of approximate protocols based on quantum expanders deriving from discrete Weyl systems. This gives rise to equilibrating environments of remarkably small dimension. Our results highlight the curious feature of randomness that residual correlations and dimension can be traded against each other. △ Less

Submitted 6 February, 2019; v1 submitted 9 April, 2018; originally announced April 2018.

Comments: 18 pages, 6 figures; Fixed typo in expander theorem;

Journal ref: Phys. Rev. X 8, 041016 (2018)

The Envelope Kinematics and a Possible Disk Around the Class 0 Protostar within BHR7

Authors: John J. Tobin, Steven P. Bos, Michael M. Dunham, Tyler L. Bourke, Nienke van der Marel

Abstract: We present a characterization of the protostar embedded within the BHR7 dark cloud, based on both photometric measurements from the near-infrared to millimeter and interferometric continuum and molecular line observations at millimeter wavelengths. We find that this protostar is a Class 0 system, the youngest class of protostars, measuring its bolometric temperature to be 50.5~K, with a bolometric… ▽ More We present a characterization of the protostar embedded within the BHR7 dark cloud, based on both photometric measurements from the near-infrared to millimeter and interferometric continuum and molecular line observations at millimeter wavelengths. We find that this protostar is a Class 0 system, the youngest class of protostars, measuring its bolometric temperature to be 50.5~K, with a bolometric luminosity of 9.3~L$_{\odot}$. The near-infrared and \textit{Spitzer} imaging show a prominent dark lane from dust extinction separating clear bipolar outflow cavities. Observations of $^{13}$CO ($J=2\rightarrow1$), C$^{18}$O ($J=2\rightarrow1$), and other molecular lines with the Submillimeter Array (SMA) exhibit a clear rotation signature on scales $<$1300~AU. The rotation can be traced to an inner radius of $\sim$170~AU and the rotation curve is consistent with an R$^{-1}$ profile, implying that angular momentum is being conserved. Observations of the 1.3~mm dust continuum with the SMA reveal a resolved continuum source, extended in the direction of the dark lane, orthogonal to the outflow. The deconvolved size of the continuum indicates a radius of $\sim$100~AU for the continuum source at the assumed distance of 400~pc. The visibility amplitude profile of the continuum emission cannot be reproduced by an envelope alone and needs a compact component. Thus, we posit that the resolved continuum source could be tracing a Keplerian disk in this very young system. If we assume that the continuum radius traces a Keplerian disk (R$\sim$120~AU) the observed rotation profile is consistent with a protostar mass of 1.0~$M_{\odot}$. △ Less

Submitted 22 February, 2018; originally announced February 2018.

Comments: 36 pages; 11 Figures, 2 Tables; Accepted to ApJ

Statistical ensembles without typicality

Authors: Paul Boes, Henrik Wilming, Jens Eisert, Rodrigo Gallego

Abstract: Maximum-entropy ensembles are key primitives in statistical mechanics from which thermodynamic properties can be derived. Over the decades, several approaches have been put forward in order to justify from minimal assumptions the use of these ensembles in statistical descriptions. However, there is still no full consensus on the precise reasoning justifying the use of such ensembles. In this work,… ▽ More Maximum-entropy ensembles are key primitives in statistical mechanics from which thermodynamic properties can be derived. Over the decades, several approaches have been put forward in order to justify from minimal assumptions the use of these ensembles in statistical descriptions. However, there is still no full consensus on the precise reasoning justifying the use of such ensembles. In this work, we provide a new approach to derive maximum-entropy ensembles taking a strictly operational perspective. We investigate the set of possible transitions that a system can undergo together with an environment, when one only has partial information about both the system and its environment. The set of all these allowed transitions encodes thermodynamic laws and limitations on thermodynamic tasks as particular cases. Our main result is that the set of allowed transitions coincides with the one possible if both system and environment were assigned the maximum entropy state compatible with the partial information. This justifies the overwhelming success of such ensembles and provides a derivation without relying on considerations of typicality or information-theoretic measures. △ Less

Submitted 25 July, 2017; originally announced July 2017.

Comments: 9+9 pages, 3 figures

Journal ref: Nature Communications 9, 1022 (2018)

Structure of the resource theory of quantum coherence

Authors: Alexander Streltsov, Swapan Rana, Paul Boes, Jens Eisert

Abstract: Quantum coherence is an essential feature of quantum mechanics which is responsible for the departure between classical and quantum world. The recently established resource theory of quantum coherence studies possible quantum technological applications of quantum coherence, and limitations which arise if one is lacking the ability to establish superpositions. An important open problem in this cont… ▽ More Quantum coherence is an essential feature of quantum mechanics which is responsible for the departure between classical and quantum world. The recently established resource theory of quantum coherence studies possible quantum technological applications of quantum coherence, and limitations which arise if one is lacking the ability to establish superpositions. An important open problem in this context is a simple characterization for incoherent operations, constituted by all possible transformations allowed within the resource theory of coherence. In this work, we contribute to such a characterization by proving several upper bounds on the maximum number of incoherent Kraus operators in a general incoherent operation. For a single qubit, we show that the number of incoherent Kraus operators is not more than 5, and it remains an open question if this number can be reduced to 4. The presented results are also relevant for quantum thermodynamics, as we demonstrate by introducing the class of Gibbs-preserving strictly incoherent operations, and solving the corresponding mixed-state conversion problem for a single qubit. △ Less

Submitted 6 September, 2017; v1 submitted 11 May, 2017; originally announced May 2017.

Comments: 5+6 pages, 2+4 figures. Added results on Gibbs-preserving strictly incoherent operations. Accepted for publication in Phys. Rev. Lett

Journal ref: Phys. Rev. Lett. 119, 140402 (2017)

Bayesian Cosmic Web Reconstruction: BARCODE for Clusters

Authors: E. G. Patrick Bos, Rien van de Weygaert, Francisco Kitaura, Marius Cautun

Abstract: We describe the Bayesian BARCODE formalism that has been designed towards the reconstruction of the Cosmic Web in a given volume on the basis of the sampled galaxy cluster distribution. Based on the realization that the massive compact clusters are responsible for the major share of the large scale tidal force field sha** the anisotropic and in particular filamentary features in the Cosmic Web.… ▽ More We describe the Bayesian BARCODE formalism that has been designed towards the reconstruction of the Cosmic Web in a given volume on the basis of the sampled galaxy cluster distribution. Based on the realization that the massive compact clusters are responsible for the major share of the large scale tidal force field sha** the anisotropic and in particular filamentary features in the Cosmic Web. Given the nonlinearity of the constraints imposed by the cluster configurations, we resort to a state-of-the-art constrained reconstruction technique to find a proper statistically sampled realization of the original initial density and velocity field in the same cosmic region. Ultimately, the subsequent gravitational evolution of these initial conditions towards the implied Cosmic Web configuration can be followed on the basis of a proper analytical model or an N-body computer simulation. The BARCODE formalism includes an implicit treatment for redshift space distortions. This enables a direct reconstruction on the basis of observational data, without the need for a correction of redshift space artifacts. In this contribution we provide a general overview of the the Cosmic Web connection with clusters and a description of the Bayesian BARCODE formalism. We conclude with a presentation of its successful workings with respect to test runs based on a simulated large scale matter distribution, in physical space as well as in redshift space. △ Less

Submitted 3 November, 2016; originally announced November 2016.

Comments: 18 pages, 8 figures, Proceedings of IAU Symposium 308 "The Zeldovich Universe: Genesis and Growth of the Cosmic Web", 23-28 June 2014, Tallinn, Estonia

Composing decoherence functionals

Authors: Paul Boes, Miguel Navascues

Abstract: Quantum Measure Theory (QMT) is a generalization of quantum theory where physical predictions are computed from a matrix known as \emph{decoherence functional} (DF). Previous works have noted that, in its original formulation, QMT exhibits a problem with composability, since the composition of two decoherence functionals is, in general, not a valid decoherence functional. This does not occur when… ▽ More Quantum Measure Theory (QMT) is a generalization of quantum theory where physical predictions are computed from a matrix known as \emph{decoherence functional} (DF). Previous works have noted that, in its original formulation, QMT exhibits a problem with composability, since the composition of two decoherence functionals is, in general, not a valid decoherence functional. This does not occur when the DFs in question happen to be positive semidefinite (a condition known as strong positivity). In this paper, we study the concept of composability of DFs and its consequences for QMT. Firstly, we show that the problem of composability is much deeper than originally envisaged, since, for any $n$, there exists a DF that can co-exist with $n-1$ copies of itself, but not with $n$. Secondly, we prove that the set of strongly positive DFs cannot be enlarged while remaining closed under composition. Furthermore, any closed set of DFs containing all quantum DFs can only contain strongly positive DFs. △ Less

Submitted 6 November, 2016; v1 submitted 30 September, 2016; originally announced September 2016.

Comments: Modified abstract and conclusion in view of the overlap with [L. Diosi, Phys. Rev. Lett. 92, 170401 (2004)]

Journal ref: Phys. Rev. A 95, 022114 (2017)

Imaging the water-snow line during a protostellar outburst

Authors: Lucas A. Cieza, Simon Casassus, John Tobin, Steven P. Bos, Jonathan P. Williams, Sebastian Perez, Zhaohuan Zhu, Claudio Caceres, Hector Canovas, Michael M. Dunham, Antonio Hales, Jose L. Prieto, David A. Principe, Matthias R. Schreiber, Dary Ruiz-Rodriguez, Alice Zurlo

Abstract: A snow-line is the region of a protoplanetary disk at which a major volatile, such as water or carbon monoxide, reaches its condensation temperature. Snow-lines play a crucial role in disk evolution by promoting the rapid growth of ice-covered grains. Signatures of the carbon monoxide snow-line (at temperatures of around 20 kelvin) have recently been imaged in the disks surrounding the pre-main-se… ▽ More A snow-line is the region of a protoplanetary disk at which a major volatile, such as water or carbon monoxide, reaches its condensation temperature. Snow-lines play a crucial role in disk evolution by promoting the rapid growth of ice-covered grains. Signatures of the carbon monoxide snow-line (at temperatures of around 20 kelvin) have recently been imaged in the disks surrounding the pre-main-sequence stars TW Hydra and HD163296, at distances of about 30 astronomical units (au) from the star. But the water snow-line of a protoplanetary disk (at temperatures of more than 100 kelvin) has not hitherto been seen, as it generally lies very close to the star (less than 5 au away for solar-type stars). Water-ice is important because it regulates the efficiency of dust and planetesimal coagulation, and the formation of comets, ice giants and the cores of gas giants. Here we report ALMA images at 0.03-arcsec resolution (12 au) of the protoplanetary disk around V883 Ori, a protostar of 1.3 solar masses that is undergoing an outburst in luminosity arising from a temporary increase in the accretion rate. We find an intensity break corresponding to an abrupt change in the optical depth at about 42 au, where the elevated disk temperature approaches the condensation point of water, from which we conclude that the outburst has moved the water snow-line. The spectral behaviour across the snow-line confirms recent model predictions: dust fragmentation and the inhibition of grain growth at higher temperatures results in soaring grain number densities and optical depths. As most planetary systems are expected to experience outbursts caused by accretion during their formation our results imply that highly dynamical water snow-lines must be considered when develo** models of disk evolution and planet formation. △ Less

Submitted 14 July, 2016; v1 submitted 13 July, 2016; originally announced July 2016.

Comments: Published in the July 14th, 2016 issue of Nature. Version 2 includes a minor word change in the abstract

Felix: A Topology based Framework for Visual Exploration of Cosmic Filaments

Authors: Nithin Shivshankar, Pratyush Pranav, Vijay Natarajan, Rien van de Weygaert, E G Patrick Bos, Steven Rieder

Abstract: The large-scale structure of the universe is comprised of virialized blob-like clusters, linear filaments, sheet-like walls and huge near empty three-dimensional voids. Characterizing the large scale universe is essential to our understanding of the formation and evolution of galaxies. The density range of clusters, walls and voids are relatively well separated, when compared to filaments, which s… ▽ More The large-scale structure of the universe is comprised of virialized blob-like clusters, linear filaments, sheet-like walls and huge near empty three-dimensional voids. Characterizing the large scale universe is essential to our understanding of the formation and evolution of galaxies. The density range of clusters, walls and voids are relatively well separated, when compared to filaments, which span a relatively larger range. The large scale filamentary network thus forms an intricate part of the cosmic web. In this paper, we describe Felix, a topology based framework for visual exploration of filaments in the cosmic web. The filamentary structure is represented by the ascending manifold geometry of the 2-saddles in the Morse-Smale complex of the density field. We generate a hierarchy of Morse-Smale complexes and query for filaments based on the density ranges at the end points of the filaments. The query is processed efficiently over the entire hierarchical Morse-Smale complex, allowing for interactive visualization. We apply Felix to computer simulations based on the heuristic Voronoi kinematic model and the standard $Λ$CDM cosmology, and demonstrate its usefulness through two case studies. First, we extract cosmic filaments within and across cluster like regions in Voronoi kinematic simulation datasets. We demonstrate that we produce similar results to existing structure finders. Filaments that form the spine of the cosmic web, which exist in high density regions in the current epoch, are isolated using Felix. Also, filaments present in void-like regions are isolated and visualized. These filamentary structures are often over shadowed by higher density range filaments and are not easily characterizable and extractable using other filament extraction methodologies. △ Less

Submitted 4 August, 2015; originally announced August 2015.

Comments: 14 pages, 9 figures, 2 tables. Accepted for publication in IEEE Transactions on Visualization & Computer Graphics. A detailed description of the project, including the software and the supplementary material is available at http://vgl.serc.iisc.ernet.in/felix/

Journal ref: IEEE Transactions on Visualization & Computer Graphics, 22(6), 2015, 1745-1759

Alpha, Betti and the Megaparsec Universe: on the Topology of the Cosmic Web

Authors: Rien van de Weygaert, Gert Vegter, Herbert Edelsbrunner, Bernard J. T. Jones, Pratyush Pranav, Changbom Park, Wojciech A. Hellwing, Bob Eldering, Nico Kruithof, E. G. Patrick Bos, Johan Hidding, Job Feldbrugge, Eline ten Have, Matti van Engelen, Manuel Caroli, Monique Teillaud

Abstract: We study the topology of the Megaparsec Cosmic Web in terms of the scale-dependent Betti numbers, which formalize the topological information content of the cosmic mass distribution. While the Betti numbers do not fully quantify topology, they extend the information beyond conventional cosmological studies of topology in terms of genus and Euler characteristic. The richer information content of Be… ▽ More We study the topology of the Megaparsec Cosmic Web in terms of the scale-dependent Betti numbers, which formalize the topological information content of the cosmic mass distribution. While the Betti numbers do not fully quantify topology, they extend the information beyond conventional cosmological studies of topology in terms of genus and Euler characteristic. The richer information content of Betti numbers goes along the availability of fast algorithms to compute them. For continuous density fields, we determine the scale-dependence of Betti numbers by invoking the cosmologically familiar filtration of sublevel or superlevel sets defined by density thresholds. For the discrete galaxy distribution, however, the analysis is based on the alpha shapes of the particles. These simplicial complexes constitute an ordered sequence of nested subsets of the Delaunay tessellation, a filtration defined by the scale parameter, $α$. As they are homotopy equivalent to the sublevel sets of the distance field, they are an excellent tool for assessing the topological structure of a discrete point distribution. In order to develop an intuitive understanding for the behavior of Betti numbers as a function of $α$, and their relation to the morphological patterns in the Cosmic Web, we first study them within the context of simple heuristic Voronoi clustering models. Subsequently, we address the topology of structures emerging in the standard LCDM scenario and in cosmological scenarios with alternative dark energy content. The evolution and scale-dependence of the Betti numbers is shown to reflect the hierarchical evolution of the Cosmic Web and yields a promising measure of cosmological parameters. We also discuss the expected Betti numbers as a function of the density threshold for superlevel sets of a Gaussian random field. △ Less

Submitted 16 June, 2013; originally announced June 2013.

Comments: 42 pages, 14 figures

Journal ref: 2011, Trans. Comput. Sci. XIV, pg. 60-101, special issue on Voronoi Diagrams and Delaunay Triangulation, eds. M. Gavrilova, C. Tan and M. Mostafavi (Springer)

Less is more: How cosmic voids can shed light on dark energy

Authors: E. G. Patrick Bos, Rien van de Weygaert, Jarno Ruwen, Klaus Dolag, Valeria Pettorino

Abstract: We showed how the shape of cosmic voids can be used to distinguish between different models of dark energy using galaxy positions. We showed how the shape of cosmic voids can be used to distinguish between different models of dark energy using galaxy positions. △ Less

Submitted 14 November, 2012; originally announced November 2012.

Comments: 3 pages, 5 figures. Proceedings of the Thirteenth Marcel Grossman Meeting on General Relativity (Stockholm, Sweden, July 1-7, 2012), invited talk at the Parallel Session OC4 "New developments in the study of the large scale structure of the Universe": http://www.icra.it/mg/mg13/

The darkness that shaped the void: dark energy and cosmic voids

Authors: E. G. Patrick Bos, Rien van de Weygaert, Klaus Dolag, Valeria Pettorino

Abstract: Aims: We assess the sensitivity of void shapes to the nature of dark energy that was pointed out in recent studies. We investigate whether or not void shapes are useable as an observational probe in galaxy redshift surveys. We focus on the evolution of the mean void ellipticity and its underlying physical cause. Methods: We analyse the morphological properties of voids in five sets of cosmological… ▽ More Aims: We assess the sensitivity of void shapes to the nature of dark energy that was pointed out in recent studies. We investigate whether or not void shapes are useable as an observational probe in galaxy redshift surveys. We focus on the evolution of the mean void ellipticity and its underlying physical cause. Methods: We analyse the morphological properties of voids in five sets of cosmological N-body simulations, each with a different nature of dark energy. Comparing voids in the dark matter distribution to those in the halo population, we address the question of whether galaxy redshift surveys yield sufficiently accurate void morphologies. Voids are identified using the parameter free Watershed Void Finder. The effect of redshift distortions is investigated as well. Results: We confirm the statistically significant sensitivity of voids in the dark matter distribution. We identify the level of clustering as measured by σ_8(z) as the main cause of differences in mean void shape <ε>. We find that in the halo and/or galaxy distribution it is practically unfeasible to distinguish at a statistically significant level between the various cosmologies due to the sparsity and spatial bias of the sample. △ Less

Submitted 12 June, 2012; v1 submitted 18 May, 2012; originally announced May 2012.

Comments: 22 pages, 23 figures, 3 tables; v2: added references and short comparison of void size results; accepted for publication by MNRAS

Polynomial Interpolation and Approximation in C^d

Authors: T. Bloom, L. P. Bos, J. -P. Calvi, N. Levenberg

Abstract: We update the state of the subject approximately 20 years after the publication of a previous article on this topic. This report is mostly a survey, with a sprinkling of assorted new results throughout. We update the state of the subject approximately 20 years after the publication of a previous article on this topic. This report is mostly a survey, with a sprinkling of assorted new results throughout. △ Less

Submitted 28 November, 2011; originally announced November 2011.

MSC Class: 32U15

Probing Dark Energy with Alpha Shapes and Betti Numbers

Authors: Rien van de Weygaert, Pratyush Pranav, Bernard J. T. Jones, E. G. Patrick Bos, Gert Vegter, Herbert Edelsbrunner, Monique Teillaud, Wojciech A. Hellwing, Changbom Park, Johan Hidding, Mathijs Wintraecken

Abstract: We introduce a new descriptor of the weblike pattern in the distribution of galaxies and matter: the scale dependent Betti numbers which formalize the topological information content of the cosmic mass distribution. While the Betti numbers do not fully quantify topology, they extend the information beyond conventional cosmological studies of topology in terms of genus and Euler characteristic used… ▽ More We introduce a new descriptor of the weblike pattern in the distribution of galaxies and matter: the scale dependent Betti numbers which formalize the topological information content of the cosmic mass distribution. While the Betti numbers do not fully quantify topology, they extend the information beyond conventional cosmological studies of topology in terms of genus and Euler characteristic used in earlier analyses of cosmological models. The richer information content of Betti numbers goes along with the availability of fast algorithms to compute them. When measured as a function of scale they provide a "Betti signature" for a point distribution that is a sensitive yet robust discriminator of structure. The signature is highly effective in revealing differences in structure arising in different cosmological models, and is exploited towards distinguishing between different dark energy models and may likewise be used to trace primordial non-Gaussianities. In this study we demonstrate the potential of Betti numbers by studying their behaviour in simulations of cosmologies differing in the nature of their dark energy. △ Less

Submitted 25 October, 2011; originally announced October 2011.

Comments: 7 pages, 5 figures, submitted to Astrophys.J.Lett., for a high-res version see http://www.astro.rug.nl/~weygaert/BettiCosmology.arxiv.pdf

Several new quadrature formulas for polynomial integration in the triangle

Authors: Mark A. Taylor, Beth A. Wingate, Len P. Bos

Abstract: We present several new quadrature formulas in the triangle for exact integration of polynomials. The points were computed numerically with a cardinal function algorithm which imposes that the number of quadrature points $N$ be equal to the dimension of a lower dimensional polynomial space. Quadrature forumulas are presented for up to degree $d=25$, all which have positive weights and contain no… ▽ More We present several new quadrature formulas in the triangle for exact integration of polynomials. The points were computed numerically with a cardinal function algorithm which imposes that the number of quadrature points $N$ be equal to the dimension of a lower dimensional polynomial space. Quadrature forumulas are presented for up to degree $d=25$, all which have positive weights and contain no points outside the triangle. Seven of these quadrature formulas improve on previously known results. △ Less

Submitted 7 February, 2007; v1 submitted 27 January, 2005; originally announced January 2005.

Comments: 14 pages, 14 figures, 5 pages of tabulated quadrature points. Correct reference

Report number: SAND2005-0034J MSC Class: 65D30 (Secondary); 65D32 (Primary); 65M60; 65M70; 41A10