title: Magnetic properties and magnetocaloric effect in a Laves phase compound ~$\mbox{Er}_2\mbox{Rh}_{3}\mbox{Si}$

abstract: The magnetic properties and magnetocaloric effect of an intermetallic compound $\mathrm{Er_2Rh_3Si}$ was investigated by performing temperature dependence of dc- and ac-magnetic susceptibility and isothermal magnetizations. Polycrystalline $\mathrm{Er_2Rh_3Si}$ compound with $\mathrm{Mg_2Ni_3Si}$-type of rhombohedral Laves phases (space group $R\overline{3}m$, hR18) structure was synthesized by arc-melting method. The ac- and dc-magnetic susceptibility results revealed that the compound exhibited ferromagnetic order with $T_C$ $\approx$ 18 K. The obtained isothermal magnetic entropy changes ($\Delta S_m$), and relative power cooling for a change of magnetic field 0-9 T are 10.1~$\mathrm{J.~kg^{-1}.~K^{-1}}$, and 255 J. kg$^{-1}$ respectively. Arrott plots and also the universal scaling plot by rescaled temperature axis and normalized $\Delta S_m$ collapse onto a one curve for independent of magnetic fields, confirming a second-order ferromagnetic to paramagnetic phase transition in $\mathrm{Er_2Rh_3Si}$.


title: Non-equilibrium time-dependent solution to discrete choice with social interactions

abstract: We solve the binary decision model of Brock and Durlauf in time using a method reliant on the resolvent of the master operator of the stochastic process. Our solution is valid when not at equilibrium and can be used to exemplify path-dependent behaviours of the binary decision model. The solution is computationally fast and is indistinguishable from Monte Carlo simulation. Well-known metastable effects are observed in regions of the model's parameter space where agent rationality is above a critical value, and we calculate the time scale at which equilibrium is reached from first passage time theory to a much greater approximation than has been previously conducted. In addition to considering selfish agents, who only care to maximise their own utility, we consider altruistic agents who make decisions on the basis of maximising global utility. Curiously, we find that although altruistic agents coalesce more strongly on a particular decision, thereby increasing their utility in the short-term, they are also more prone to being subject to non-optimal metastable regimes as compared to selfish agents. The method used for this solution can be easily extended to other binary decision models, including Kirman's ant model, and under reinterpretation also provides a time-dependent solution to the mean-field Ising model. Finally, we use our time-dependent solution to construct a likelihood function that can be used on non-equilibrium data for model calibration. This is a rare finding, since often calibration in economic agent based models must be done without an explicit likelihood function. From simulated data, we show that even with a well-defined likelihood function, model calibration is difficult unless one has access to data representative of the underlying model.


title: Clones from comonoids

abstract: The fact that the cocommutative comonoids in a symmetric monoidal category form the best possible approximation by a cartesian category is revisited when the original category is only braided monoidal. This leads to the question when the endomorphism operad of a comonoid is a clone (a Lawvere theory). By giving an explicit example, we prove that this does not imply that the comonoid is cocommutative.


title: Tetralin + fullerene C60 solutions for thermal management of flat-plate photovoltaic/thermal collector

abstract: A new composite heat transfer fluid consisting of tetralin and fullerene has been proposed for photovoltaic thermal hybrid solar harvesting. It features a unique absorption spectrum that is capable of sharply cutting off solar energy irradiated in the range of wavelength from 300 to 650 nm, making it a perfect candidate for simultaneous harvesting of both photovoltaic and thermal components of solar energy. The proposed composite revealed outstanding stability and facile synthesize root, which are the two main obstacles for applicability of nanofluids. It was shown experimentally that the additives of fullerene to tetralin do not alter significantly it's thermophysical properties apart from viscosity that increases moderately. Besides, tetralin/fullerene solutions show similar thermohydraulics performance to that of pure tetralin in laminar flow regime or insignificantly lower in transient and turbulent flow regimes. A new figure of merit was proposed to analyze the thermohydraulics performance that consider not only exergy losses due to the kinetic energy dissipation, but also exergy losses associated with a finite temperature difference in the heat exchanger. As a result, the proposed figure of merit indicates the decrease of the heat transfer performance of tetralin/fullerene solutions that directly proportional to fullerene concentration. The performed simulation suggests that the total energy efficiency of flat-plate photovoltaic/thermal solar collector goes up to 60.4 % estimated according regulation (EU) No. 811/2013. Finally, life cycle analysis revealed further improvement root in view of environmental impact.


title: Dark Energy Survey Year 3 results: Marginalisation over redshift distribution uncertainties using ranking of discrete realisations

abstract: Cosmological information from weak lensing surveys is maximised by dividing source galaxies into tomographic sub-samples for which the redshift distributions are estimated. Uncertainties on these redshift distributions must be correctly propagated into the cosmological results. We present hyperrank, a new method for marginalising over redshift distribution uncertainties in cosmological analyses, using discrete samples from the space of all possible redshift distributions. This is demonstrated in contrast to previous highly simplified parametric models of the redshift distribution uncertainty. In hyperrank the set of proposed redshift distributions is ranked according to a small (in this work between one and four) number of summary values, which are then sampled along with other nuisance parameters and cosmological parameters in the Monte Carlo chain used for inference. This can be regarded as a general method for marginalising over discrete realisations of data vector variation with nuisance parameters, which can consequently be sampled separately to the main parameters of interest, allowing for increased computational efficiency. We focus on the case of weak lensing cosmic shear analyses and demonstrate our method using simulations made for the Dark Energy Survey (DES). We show the method can correctly and efficiently marginalise over a range of models for the redshift distribution uncertainty. Finally, we compare hyperrank to the common mean-shifting method of marginalising over redshift uncertainty, validating that this simpler model is sufficient for use in the DES Year 3 cosmology results presented in companion papers.


title: Search for Astrophysical Nanosecond Optical Transients with TAIGA-HiSCORE Array

abstract: A wide-angle Cerenkov array TAIGA-HiSCORE (FOV $\sim$0.6 sr), was originally created as a part of TAIGA installation for high-energy gamma-ray astronomy and cosmic ray physics. Array now consist on nearly 100 optical stations on the area of 1 km$^2$. Due to high accuracy and stability ($\sim$1 ns) of time synchronization of the optical stations the accuracy of EAS arrival direction reconstruction is reached 0.1$^\mathrm{o}$. It was proven that the array can also be used to search for nanosecond events of the optical range. The report discusses the method of searching for optical transients using the HiSCORE array and demonstrates its performance on a real example of detecting signals from an artificial Earth satellite. The search for this short flares in the HiSCORE data of the winter season 2018--2019 is carried out. One candidate for double repeater has been detected, but the estimated probability of random simulation of such a transient by background EAS events is not less than 10%, which does not allow us to say that the detected candidate corresponds to a real astrophysical transient. An upper bound on the frequency of optical spikes with flux density of more than $10^{-4} \mathrm{erg/s/cm}^2$ and a duration of more than 5\,ns is established as $\sim 2 \times 10^{-3}$ events/sr/hour.


title: Time-space duality in 2D quantum gravity

abstract: An important task faced by all approaches of quantum gravity is to incorporate superpositions and quantify quantum uncertainties of spacetime causal relations. We address this task in 2D. By identifying a global $Z_2$ symmetry of 1+1D quantum gravity, we show that gravitational path integral configurations come in equal amplitude pairs with timelike and spacelike relations exchanged. As a consequence, any two points are equally probable to be timelike and spacelike separated in a universe without boundary conditions. In the context of simplicial quantum gravity we identify a local symmetry of the action which shows that even with boundary conditions causal uncertainties are generically present. Depending on the boundary conditions, causal uncertainties can still be large and even maximal.


title: Positive integer solutions to $(x+y)^2+(y+z)^2+(z+x)^2=12xyz$

abstract: In this paper, we give a specific way of describing positive integer solutions of a Diophantine equation $(x+y)^2+(y+z)^2+(z+x)^2=12xyz$ and introduce a generalized cluster pattern behind it.


title: Report on the AAPM deep-learning sparse-view CT (DL-sparse-view CT) Grand Challenge

abstract: Purpose: The purpose of the challenge is to find the deep-learning technique for sparse-view CT image reconstruction that can yield the minimum RMSE under ideal conditions, thereby addressing the question of whether or not deep learning can solve inverse problems in imaging. Methods: The challenge set-up involves a 2D breast CT simulation, where the simulated breast phantom has random fibro-glandular structure and high-contrast specks. The phantom allows for arbitrarily large training sets to be generated with perfectly known truth. The training set consists of 4000 cases where each case consists of the truth image, 128-view sinogram data, and the corresponding 128-view filtered back-projection (FBP) image. The networks are trained to predict the truth image from either the sinogram or FBP data. Geometry information is not provided. The participating algorithms are tested on a data set consisting of 100 new cases. Results: About 60 groups participated in the challenge at the validation phase, and 25 groups submitted test-phase results along with reports on their deep-learning methodology. The winning team improved reconstruction accuracy by two orders of magnitude over our previous CNN-based study on a similar test problem. Conclusions: The DL-sparse-view challenge provides a unique opportunity to examine the state-of-the-art in deep-learning techniques for solving the sparse-view CT inverse problem.


title: Chaos and thermalization in a classical chain of dipoles

abstract: We explore the connection between chaos, thermalization and ergodicity in a linear chain of $N$ interacting dipoles. Starting from the ground state, and considering chains of different numbers of dipoles, we introduce single site excitations with energy $\Delta K$. The time evolution of the chaoticy of the system and the energy localization along the chain is analyzed by computing, up to very long times, the statistical average of the finite time Lyapunov exponent $\lambda(t)$ and of the participation ratio $\Pi(t)$. For small $\Delta K$, the evolution of $\lambda(t)$ and $\Pi(t)$ indicates that the system becomes chaotic at roughly the same time as $\Pi(t)$ reaches a steady state. For the largest values of $\Delta K$, the system becomes chaotic at an extremely early stage in comparison with the energy relaxation times. We find that this fact is due to the presence of chaotic breathers that keep the system far from equipartition and ergodicity. Finally, we show that the asymptotic values attained by the participation ratio $\Pi(t)$ fairly corresponds to thermal equilibrium.


title: Tiling with monochromatic bipartite graphs of bounded maximum degree

abstract: We prove that for any $r\in \mathbb{N}$, there exists a constant $C_r$ such that the following is true. Let $\mathcal{F}=\{F_1,F_2,\dots\}$ be an infinite sequence of bipartite graphs such that $|V(F_i)|=i$ and $\Delta(F_i)\leq \Delta$ hold for all $i$. Then in any $r$-edge coloured complete graph $K_n$, there is a collection of at most $\exp(C_r\Delta)$ monochromatic subgraphs, each of which is isomorphic to an element of $\mathcal{F}$, whose vertex sets partition $V(K_n)$. This proves a conjecture of Corsten and Mendon\c{c}a in a strong form and generalizes results on the multicolour Ramsey numbers of bounded-degree bipartite graphs.


title: Fourier coefficients of functions in power-weighted $L_2$-spaces and conditionality constants of bases in Banach spaces

abstract: We prove that, given $2<p<\infty$, the Fourier coefficients of functions in $L_2(\mathbb{T}, \lvert t \rvert^{1-2/p}\, dt)$ belong to $\ell_p$, and that, given $1<p<2$, the Fourier series of sequences in $\ell_p$ belong $L_2(\mathbb{T}, \lvert t \rvert^{2/p-1}\, dt)$. Then, we apply these results to the study of conditional Schauder bases and conditional almost greedy bases in Banach spaces. Specifically, we prove that, for every $1<p<\infty$ and every $0\le \alpha<1$, there is a Schauder basis of $\ell_p$ whose conditionality constants grow as $(m^\alpha)_{m=1}^\infty$, and there is an almost greedy basis of $\ell_p$ whose conditionality constants grow as $((\log m)^\alpha)_{m=2}^\infty$.


title: Infinitely many meridional essential surfaces of bounded genus in hyperbolic knot exteriors

abstract: We show the existence of an infinite collection of hyperbolic knots where each of which has in its exterior meridional essential planar surfaces of arbitrarily large number of boundary components, or, equivalently, that each of these knots has essential tangle decompositions of arbitrarily large number of strings. Moreover, each of these knots has in its exterior meridional essential surfaces of any positive genus and (even) number of boundary components. That is, the compact surfaces that have a meridional essential embedding into a hyperbolic knot exterior have meridional essential embeddings into each of these hyperbolic knots exteriors.


title: Bias of the Hubble constant value caused by errors in galactic distance indicators

abstract: The bias in the determination of the Hubble parameter and the Hubble constant in the modern Universe is discussed. It could appear due to statistical processing of data on galaxies redshifts and estimated distances based on some statistical relations with limited accuracy. This causes a number of effects leading to either underestimation or overestimation of the Hubble parameter when using any methods of statistical processing, primarily the least squares method (LSM). The value of the Hubble constant is underestimated when processing a whole sample; when the sample is constrained by distance, especially when constrained from above, it is significantly overestimated due to data selection. The bias significantly exceeds the values of the error the Hubble constant calculated by the LSM formulae. These effects are demonstrated both analytically and using Monte Carlo simulations, which introduce deviations in both velocities and estimated distances to the original dataset described by the Hubble law. The characteristics of the deviations are similar to real observations. Errors in estimated distances are up to 20%. They lead to the fact that when processing the same mock sample using LSM, it is possible to obtain an estimate of the Hubble constant from 96% of the true value when processing the entire sample to 110% when processing the subsample with distances limited from above. The impact of these effects can lead to a bias in the Hubble constant obtained from real data and an overestimation of the accuracy of determining this value. This may call into question the accuracy of determining the Hubble constant and significantly reduce the tension between the values obtained from the observations in the early and modern Universe, which were actively discussed during the last year.


title: Unramified extensions of quadratic number fields with certain perfect Galois groups

abstract: We provide infinite families of quadratic number fields with everywhere unramified Galois extensions of Galois group $SL_2(7)$ and $2.A_7$, respectively. To my knowledge, these are the first instances of infinitely many such realizations for perfect groups which are not generated by involutions, a property which makes them difficult to approach for the problem in question and leads to somewhat delicate local-global problems in inverse Galois theory.


title: `Basic' Generalization Error Bounds for Least Squares Regression with Well-specified Models

abstract: This note examines the behavior of generalization capabilities - as defined by out-of-sample mean squared error (MSE) - of Linear Gaussian (with a fixed design matrix) and Linear Least Squares regression. Particularly, we consider a well-specified model setting, i.e. we assume that there exists a `true' combination of model parameters within the chosen model form. While the statistical properties of Least Squares regression have been extensively studied over the past few decades - particularly with {\bf less restrictive problem statements} compared to the present work - this note targets bounds that are {\bf non-asymptotic and more quantitative} compared to the literature. Further, the analytical formulae for distributions and bounds (on the MSE) are directly compared to numerical experiments. Derivations are presented in a self-contained and pedagogical manner, in a way that a reader with a basic knowledge of probability and statistics can follow.


title: Energetics of a Single Qubit Gate

abstract: Qubits are physical, a quantum gate thus not only acts on the information carried by the qubit but also on its energy. What is then the corresponding flow of energy between the qubit and the controller that implements the gate? Here we exploit a superconducting platform to answer this question in the case of a quantum gate realized by a resonant drive field. During the gate, the superconducting qubit becomes entangled with the microwave drive pulse so that there is a quantum superposition between energy flows. We measure the energy change in the drive field conditioned on the outcome of a projective qubit measurement. We demonstrate that the drive's energy change associated with the measurement backaction can exceed by far the energy that can be extracted by the qubit. This can be understood by considering the qubit as a weak measurement apparatus of the driving field.


title: Data Augmentation Through Monte Carlo Arithmetic Leads to More Generalizable Classification in Connectomics

abstract: Machine learning models are commonly applied to human brain imaging datasets in an effort to associate function or structure with behaviour, health, or other individual phenotypes. Such models often rely on low-dimensional maps generated by complex processing pipelines. However, the numerical instabilities inherent to pipelines limit the fidelity of these maps and introduce computational bias. Monte Carlo Arithmetic, a technique for introducing controlled amounts of numerical noise, was used to perturb a structural connectome estimation pipeline, ultimately producing a range of plausible networks for each sample. The variability in the perturbed networks was captured in an augmented dataset, which was then used for an age classification task. We found that resampling brain networks across a series of such numerically perturbed outcomes led to improved performance in all tested classifiers, preprocessing strategies, and dimensionality reduction techniques. Importantly, we find that this benefit does not hinge on a large number of perturbations, suggesting that even minimally perturbing a dataset adds meaningful variance which can be captured in the subsequently designed models.


title: Metaheuristic Optimization Framework for Drag Reduction Using Bioinspired Surface Riblets

abstract: Emulating natural mechanisms in technology has become a very efficient technique to optimize and improve the current machinery. Riblets are such kinds of bio-inspired surface patterns which are seen on Sharks. Their geometric properties induce secondary flows resulting in lower drag, allowing Sharks to achieve such high speeds. Secondary flows are broadly subcategorized into Prandtls first and second kind; the secondary flows induced by riblets belong primarily to Prandtls second kind. These secondary flows have been proven to delay the boundary layer separation by reducing momentum losses. This paper aims to optimize the use of these bio-inspired patterns on an airfoil. By applying the ribletted surface on an airfoil, the boundary layer separation can be delayed, thus leading to a reduction in drag and increasing the critical angle of attack. Specific geometric properties such as the height and the wavelength of the riblets are varied to find the most optimal design. The design framework couples the optimization algorithm, computational fluid dynamics, and post-processing analysis. An Invasive Weed Model is implemented for optimization due to its commendable performance in converging close to global optima. The optimization process is initialized by generating a population of riblet profiles with randomly distributed geometry parameters. These profiles are then evolved over generations with the objective to minimize the drag, which is computed through Computational Fluid Dynamics simulations conducted on OpenFOAM. The optimized geometries show a significant reduction in drag as compared to bare airfoils. Lastly, a flow field analysis of the optimized geometry established using the genetic algorithm is done to understand the riblets-induced enhancement in the aerodynamic efficiency of the airfoil.


title: Edge States for generalised Iwatsuka models: Magnetic fields having a fast transition across a curve

abstract: In this paper, we study the localization and propagation properties of the edge states associated to a class of magnetic laplacians in $\mathbb{R}^2$. We assume that the intensity of the magnetic field has a fast transition along a regular and compact curve $\Gamma$. Our main results extend to a general regular curve the study of the localised eigenfunction obtained when $\Gamma$ is a straight line (i.e. Iwatsuka models). Furthermore, we include in our analysis the case of magnetic fields that slowly change along the curve $\Gamma$ and we obtain a rigorous and explicit characterization of the asymptotic mass distribution of the edge state along $\Gamma$.


title: Non-hyperbolicity of the inviscid Cattaneo-Christov system for compressible fluid flow in several space dimensions

abstract: We consider the coupling between the equations of motion of a compressible fluid in two and three space dimensions with Christov's equation for the heat flux. Christov's equation is a frame indifferent formulation of the classical model of Cattaneo that allows for the heat flux to be eliminated to obtain a single hyperbolic equation for the temperature. The obtained system is written in quasilinear form for the state variables density, velocity, temperature and heat flux. It is then shown that this system is not of hyperbolic type as consequence of the presence of the Lie-Oldroyd upper convected material derivative involved in Christov's formulation.


title: Asymptotic Causal Inference

abstract: We investigate causal inference in the asymptotic regime as the number of variables approaches infinity using an information-theoretic framework. We define structural entropy of a causal model in terms of its description complexity measured by the logarithmic growth rate, measured in bits, of all directed acyclic graphs (DAGs), parameterized by the edge density d. Structural entropy yields non-intuitive predictions. If we randomly sample a DAG from the space of all models, in the range d = (0, 1/8), almost surely the model is a two-layer DAG! Semantic entropy quantifies the reduction in entropy where edges are removed by causal intervention. Semantic causal entropy is defined as the f-divergence between the observational distribution and the interventional distribution P', where a subset S of edges are intervened on to determine their causal influence. We compare the decomposability properties of semantic entropy for different choices of f-divergences, including KL-divergence, squared Hellinger distance, and total variation distance. We apply our framework to generalize a recently popular bipartite experimental design for studying causal inference on large datasets, where interventions are carried out on one set of variables (e.g., power plants, items in an online store), but outcomes are measured on a disjoint set of variables (residents near power plants, or shoppers). We generalize bipartite designs to k-partite designs, and describe an optimization framework for finding the optimal k-level DAG architecture for any value of d \in (0, 1/2). As edge density increases, a sequence of phase transitions occur over disjoint intervals of d, with deeper DAG architectures emerging for larger values of d. We also give a quantitative bound on the number of samples needed to reliably test for average causal influence for a k-partite design.


title: Can We Leverage Predictive Uncertainty to Detect Dataset Shift and Adversarial Examples in Android Malware Detection?

abstract: The deep learning approach to detecting malicious software (malware) is promising but has yet to tackle the problem of dataset shift, namely that the joint distribution of examples and their labels associated with the test set is different from that of the training set. This problem causes the degradation of deep learning models without users' notice. In order to alleviate the problem, one approach is to let a classifier not only predict the label on a given example but also present its uncertainty (or confidence) on the predicted label, whereby a defender can decide whether to use the predicted label or not. While intuitive and clearly important, the capabilities and limitations of this approach have not been well understood. In this paper, we conduct an empirical study to evaluate the quality of predictive uncertainties of malware detectors. Specifically, we re-design and build 24 Android malware detectors (by transforming four off-the-shelf detectors with six calibration methods) and quantify their uncertainties with nine metrics, including three metrics dealing with data imbalance. Our main findings are: (i) predictive uncertainty indeed helps achieve reliable malware detection in the presence of dataset shift, but cannot cope with adversarial evasion attacks; (ii) approximate Bayesian methods are promising to calibrate and generalize malware detectors to deal with dataset shift, but cannot cope with adversarial evasion attacks; (iii) adversarial evasion attacks can render calibration methods useless, and it is an open problem to quantify the uncertainty associated with the predicted labels of adversarial examples (i.e., it is not effective to use predictive uncertainty to detect adversarial examples).


title: Impact of Surface and Pore Characteristics on Fatigue Life of Laser Powder Bed Fusion Ti-6Al-4V Alloy Described by Neural Network Models

abstract: In this study, the effects of surface roughness and pore characteristics on fatigue lives of laser powder bed fusion (LPBF) Ti-6Al-4V parts were investigated. The 197 fatigue bars were printed using the same laser power but with varied scanning speeds. These actions led to variations in the geometries of microscale pores, and such variations were characterized using micro-computed tomography. To generate differences in surface roughness in fatigue bars, half of the samples were grit-blasted and the other half machined. Fatigue behaviors were analyzed with respect to surface roughness and statistics of the pores. For the grit-blasted samples, the contour laser scan in the LPBF strategy led to a pore-depletion zone isolating surface and internal pores with different features. For the machined samples, where surface pores resemble internal pores, the fatigue life was highly correlated with the average pore size and projected pore area in the plane perpendicular to the stress direction. Finally, a machine learning model using a drop-out neural network (DONN) was employed to establish a link between surface and pore features to the fatigue data (logN), and good prediction accuracy was demonstrated. Besides predicting fatigue lives, the DONN can also estimate the prediction uncertainty.


title: Chaoticity in the vicinity of complex unstable periodic orbits in galactic type potentials

abstract: We investigate the evolution of phase space close to complex unstable periodic orbits in two galactic type potentials. They represent characteristic morphological types of disc galaxies, namely barred and normal (non-barred) spiral galaxies. These potentials are known for providing building blocks to support observed features such as the peanut, or X-shaped bulge, in the former case and the spiral arms in the latter. We investigate the possibility that these structures are reinforced, apart by regular orbits, also by orbits in the vicinity of complex unstable periodic orbits. We examine the evolution of the phase space structure in the immediate neighbourhood of the periodic orbits in cases where the stability of a family presents a successive transition from stability to complex instability and then to stability again, as energy increases. We find that we have a gradual reshaping of invariant structures close to the transition points and we trace this evolution in both models. We conclude that for time scales significant for the dynamics of galaxies, there are weakly chaotic orbits associated with complex unstable periodic orbits, which should be considered as structure-supporting, since they reinforce the morphological features we study.


title: Convex Mixed-Integer Nonlinear Programs Derived from Generalized Disjunctive Programming using Cones

abstract: We propose the formulation of convex Generalized Disjunctive Programming (GDP) problems using conic inequalities leading to conic GDP problems. We then show the reformulation of conic GDPs into Mixed-Integer Conic Programming (MICP) problems through both the big-M and hull reformulations. These reformulations have the advantage that they are representable using the same cones as the original conic GDP. In the case of the hull reformulation, they require no approximation of the perspective function. Moreover, the MICP problems derived can be solved by specialized conic solvers and offer a natural extended formulation amenable to both conic and gradient-based solvers. We present the closed form of several convex functions and their respective perspectives in conic sets, allowing users to formulate their conic GDP problems easily. We finally implement a large set of conic GDP examples and solve them via the scalar nonlinear and conic mixed-integer reformulations. These examples include applications from Process Systems Engineering, Machine learning, and randomly generated instances. Our results show that the conic structure can be exploited to solve these challenging MICP problems more efficiently. Our main contribution is providing the reformulations, examples, and computational results that support the claim that taking advantage of conic formulations of convex GDP instead of their nonlinear algebraic descriptions can lead to a more efficient solution to these problems.


title: FUTURE-AI: Guiding Principles and Consensus Recommendations for Trustworthy Artificial Intelligence in Medical Imaging

abstract: The recent advancements in artificial intelligence (AI) combined with the extensive amount of data generated by today's clinical systems, has led to the development of imaging AI solutions across the whole value chain of medical imaging, including image reconstruction, medical image segmentation, image-based diagnosis and treatment planning. Notwithstanding the successes and future potential of AI in medical imaging, many stakeholders are concerned of the potential risks and ethical implications of imaging AI solutions, which are perceived as complex, opaque, and difficult to comprehend, utilise, and trust in critical clinical applications. Despite these concerns and risks, there are currently no concrete guidelines and best practices for guiding future AI developments in medical imaging towards increased trust, safety and adoption. To bridge this gap, this paper introduces a careful selection of guiding principles drawn from the accumulated experiences, consensus, and best practices from five large European projects on AI in Health Imaging. These guiding principles are named FUTURE-AI and its building blocks consist of (i) Fairness, (ii) Universality, (iii) Traceability, (iv) Usability, (v) Robustness and (vi) Explainability. In a step-by-step approach, these guidelines are further translated into a framework of concrete recommendations for specifying, developing, evaluating, and deploying technically, clinically and ethically trustworthy AI solutions into clinical practice.


title: A QUBO Formulation for Minimum Loss Spanning Tree Reconfiguration Problems in Electric Power Networks

abstract: We introduce a novel quadratic unconstrained binary optimization (QUBO) formulation for a classical problem in electrical engineering -- the optimal reconfiguration of distribution grids. For a given graph representing the grid infrastructure and known nodal loads, the problem consists in finding the spanning tree that minimizes the total link ohmic losses. A set of constraints is initially defined to impose topologically valid solutions. These constraints are then converted to a QUBO model as penalty terms. The electrical losses terms are finally added to the model as the objective function to minimize. In order to maximize the performance of solution searching with classical solvers, with hybrid quantum-classical solvers and with quantum annealers, our QUBO formulation has the goal of being very efficient in terms of variables usage. A standard 33-node test network is used as an illustrative example of our general formulation. Model metrics for this example are presented and discussed. Finally, the optimal solution for this example was obtained and validated through comparison with the optimal solution from an independent method.


title: Second Data Release of the COSMOS Lyman-alpha Mapping and Tomographic Observation: The First 3D Maps of the Detailed Cosmic Web at 2.05<z<2.55

abstract: We present the second data release of the COSMOS Lyman-Alpha Mapping And Tomography Observations (CLAMATO) Survey conducted with the LRIS spectrograph on the Keck-I telescope. This project used Lyman-alpha forest absorption in the spectra of faint star forming galaxies and quasars at z ~ 2-3 to trace neutral hydrogen in the intergalactic medium. In particular, we use 320 objects over a footprint of ~0.2 deg^2 to reconstruct the absorption field at 2.05 < z < 2.55 at ~2 h^{-1}Mpc resolution. We apply a Wiener filtering technique to the observed data to reconstruct three dimensional maps of the field over a volume of 4.1 x 10^5 comoving cubic Mpc. In addition to the filtered flux maps, for the first time we infer the underlying dark matter field through a forward modeling framework from a joint likelihood of galaxy and Lyman-alpha forest data, finding clear examples of the detailed cosmic web consisting of cosmic voids, sheets, filaments, and nodes. In addition to traditional figures, we present a number of interactive three dimensional models to allow exploration of the data and qualitative comparisons to known galaxy surveys. We find that our inferred over-densities are consistent with those found from galaxy fields. Our reduced spectra, extracted Lyman-alpha forest pixel data, and reconstructed tomographic maps are available publicly at https://doi.org/10.5281/zenodo.7524313


title: DEM Super-Resolution with EfficientNetV2

abstract: Efficient climate change monitoring and modeling rely on high-quality geospatial and environmental datasets. Due to limitations in technical capabilities or resources, the acquisition of high-quality data for many environmental disciplines is costly. Digital Elevation Model (DEM) datasets are such examples whereas their low-resolution versions are widely available, high-resolution ones are scarce. In an effort to rectify this problem, we propose and assess an EfficientNetV2 based model. The proposed model increases the spatial resolution of DEMs up to 16times without additional information.


title: Lagrangian Fillings in A-type and their Kalman Loop Orbits

abstract: We compare two constructions of exact Lagrangian fillings of Legendrian positive braid closures, the Legendrian weaves of Casals-Zaslow, and the decomposable Lagrangian fillings, of Ekholm-Honda-K\'alm\'an and show that they coincide for large families of Lagrangian fillings. As a corollary, we obtain an explicit correspondence between Hamiltonian isotopy classes of decomposable Lagrangian fillings of Legendrian $(2,n)$ torus links described by Ekholm-Honda-K\'alm\'an and the weave fillings constructed by Treumann and Zaslow. We apply this result to describe the orbital structure of the K\'alm\'an loop and give a combinatorial criteria to determine the orbit size of a filling. We follow our geometric discussion with a Floer-theoretic proof of the orbital structure, where an identity studied by Euler in the context of continued fractions makes a surprise appearance. We conclude by giving a purely combinatorial description of the K\'alm\'an loop action on the fillings discussed above in terms of edge flips of triangulations.


title: Parallel Algorithms for Finding Large Cliques in Sparse Graphs

abstract: We present a parallel k-clique listing algorithm with improved work bounds (for the same depth) in sparse graphs with low degeneracy or arboricity. We achieve this by introducing and analyzing a new pruning criterion for a backtracking search. Our algorithm has better asymptotic performance, especially for larger cliques (when k is not constant), where we avoid the straightforwardly exponential runtime growth with respect to the clique size. In particular, for cliques that are a constant factor smaller than the graph's degeneracy, the work improvement is an exponential factor in the clique size compared to previous results. Moreover, we present a low-depth approximation to the community degeneracy (which can be arbitrarily smaller than the degeneracy). This approximation enables a low depth clique listing algorithm whose runtime is parameterized by the community degeneracy.


title: Hybrid Transceiver Design for Tera-Hertz MIMO Systems Relying on Bayesian Learning Aided Sparse Channel Estimation

abstract: Hybrid transceiver design in multiple-input multiple-output (MIMO) Tera-Hertz (THz) systems relying on sparse channel state information (CSI) estimation techniques is conceived. To begin with, a practical MIMO channel model is developed for the THz band that incorporates its molecular absorption and reflection losses, as well as its non-line-of-sight (NLoS) rays associated with its diffused components. Subsequently, a novel CSI estimation model is derived by exploiting the angular-sparsity of the THz MIMO channel. Then an orthogonal matching pursuit (OMP)-based framework is conceived, followed by designing a sophisticated Bayesian learning (BL)-based approach for efficient estimation of the sparse THz MIMO channel. The Bayesian Cramer-Rao Lower Bound (BCRLB) is also determined for benchmarking the performance of the CSI estimation techniques developed. Finally, an optimal hybrid transmit precoder and receiver combiner pair is designed, which directly relies on the beamspace domain CSI estimates and only requires limited feedback. Finally, simulation results are provided for quantifying the improved mean square error (MSE), spectral-efficiency (SE) and bit-error rate (BER) performance for transmission on practical THz MIMO channel obtained from the HIgh resolution TRANsmission (HITRAN)-database.


title: A Flexible Proof Format for SAT Solver-Elaborator Communication

abstract: We introduce FRAT, a new proof format for unsatisfiable SAT problems, and its associated toolchain. Compared to DRAT, the FRAT format allows solvers to include more information in proofs to reduce the computational cost of subsequent elaboration to LRAT. The format is easy to parse forward and backward, and it is extensible to future proof methods. The provision of optional proof steps allows SAT solver developers to balance implementation effort against elaboration time, with little to no overhead on solver time. We benchmark our FRAT toolchain against a comparable DRAT toolchain and confirm >84% median reduction in elaboration time and >94% median decrease in peak memory usage.


title: Predicting vehicles parking behaviour in shared premises for aggregated EV electricity demand response programs

abstract: The global electric car sales in 2020 continued to exceed the expectations climbing to over 3 millions and reaching a market share of over 4%. However, uncertainty of generation caused by higher penetration of renewable energies and the advent of Electrical Vehicles (EV) with their additional electricity demand could cause strains to the power system, both at distribution and transmission levels. Demand response aggregation and load control will enable greater grid stability and greater penetration of renewable energies into the grid. The present work fits this context in supporting charging optimization for EV in parking premises assuming a incumbent high penetration of EVs in the system. We propose a methodology to predict an estimation of the parking duration in shared parking premises with the objective of estimating the energy requirement of a specific parking lot, evaluate optimal EVs charging schedule and integrate the scheduling into a smart controller. We formalize the prediction problem as a supervised machine learning task to predict the duration of the parking event before the car leaves the slot. This predicted duration feeds the energy management system that will allocate the power over the duration reducing the overall peak electricity demand. We structure our experiments inspired by two research questions aiming to discover the accuracy of the proposed machine learning approach and the most relevant features for the prediction models. We experiment different algorithms and features combination for 4 datasets from 2 different campus facilities in Italy and Brazil. Using both contextual and time of the day features, the overall results of the models shows an higher accuracy compared to a statistical analysis based on frequency, indicating a viable route for the development of accurate predictors for sharing parking premises energy management systems


title: On Generalization in Coreference Resolution

abstract: While coreference resolution is defined independently of dataset domain, most models for performing coreference resolution do not transfer well to unseen domains. We consolidate a set of 8 coreference resolution datasets targeting different domains to evaluate the off-the-shelf performance of models. We then mix three datasets for training; even though their domain, annotation guidelines, and metadata differ, we propose a method for jointly training a single model on this heterogeneous data mixture by using data augmentation to account for annotation differences and sampling to balance the data quantities. We find that in a zero-shot setting, models trained on a single dataset transfer poorly while joint training yields improved overall performance, leading to better generalization in coreference resolution models. This work contributes a new benchmark for robust coreference resolution and multiple new state-of-the-art results.


title: The ubiquitous digital file: A review of file management research

abstract: Computer users spend time every day interacting with digital files and folders, including downloading, moving, naming, navigating to, searching for, sharing, and deleting them. Such file management has been the focus of many studies across various fields, but has not been explicitly acknowledged nor made the focus of dedicated review. In this article we present the first dedicated review of this topic and its research, synthesizing more than 230 publications from various research domains to establish what is known and what remains to be investigated, particularly by examining the common motivations, methods, and findings evinced by the previously furcate body of work. We find three typical research motivations in the literature reviewed: understanding how and why users store, organize, retrieve, and share files and folders, understanding factors that determine their behavior, and attempting to improve the user experience through novel interfaces and information services. Relevant conceptual frameworks and approaches to designing and testing systems are described, and open research challenges and the significance for other research areas are discussed. We conclude that file management is a ubiquitous, challenging, and relatively unsupported activity that invites and has received attention from several disciplines and has broad importance for topics across information science.


title: BFAR-Bounded False Alarm Rate detector for improved radar odometry estimation

abstract: This paper presents a new detector for filtering noise from true detections in radar data, which improves the state of the art in radar odometry. Scanning Frequency-Modulated Continuous Wave (FMCW) radars can be useful for localization and mapping in low visibility, but return a lot of noise compared to (more commonly used) lidar, which makes the detection task more challenging. Our Bounded False-Alarm Rate (BFAR) detector is different from the classical Constant False-Alarm Rate (CFAR) detector in that it applies an affine transformation on the estimated noise level after which the parameters that minimize the estimation error can be learned. BFAR is an optimized combination between CFAR and fixed-level thresholding. Only a single parameter needs to be learned from a training dataset. We apply BFAR to the use case of radar odometry, and adapt a state-of-the-art odometry pipeline (CFEAR), replacing its original conservative filtering with BFAR. In this way we reduce the state-of-the-art translation/rotation odometry errors from 1.76%/0.5deg/100 m to 1.55%/0.46deg/100 m; an improvement of 12.5%.


title: Reproducibility Study: Comparing Rewinding and Fine-tuning in Neural Network Pruning

abstract: Scope of reproducibility: We are reproducing Comparing Rewinding and Fine-tuning in Neural Networks from arXiv:2003.02389. In this work the authors compare three different approaches to retraining neural networks after pruning: 1) fine-tuning, 2) rewinding weights as in arXiv:1803.03635 and 3) a new, original method involving learning rate rewinding, building upon Lottery Ticket Hypothesis. We reproduce the results of all three approaches, but we focus on verifying their approach, learning rate rewinding, since it is newly proposed and is described as a universal alternative to other methods. We used CIFAR10 for most reproductions along with additional experiments on the larger CIFAR100, which extends the results originally provided by the authors. We have also extended the list of tested network architectures to include Wide ResNets. The new experiments led us to discover the limitations of learning rate rewinding which can worsen pruning results on large architectures. Results: We were able to reproduce the exact results reported by the authors in all originally reported scenarios. However, extended results on larger Wide Residual Networks have demonstrated the limitations of the newly proposed learning rate rewinding -- we observed a previously unreported accuracy degradation for low sparsity ranges. Nevertheless, the general conclusion of the paper still holds and was indeed reproduced.


title: Coagulation drives turbulence in binary fluid mixtures

abstract: We use direct numerical simulations and scaling arguments to study coarsening in binary fluid mixtures with a conserved order parameter in the droplet-spinodal regime -- the volume fraction of the droplets is neither too small nor symmetric -- for small diffusivity and viscosity. Coagulation of droplets drives a turbulent flow that eventually decays. We uncover a novel coarsening mechanism, driven by turbulence where the characteristic length scale of the flow is different from the characteristic length scale of droplets, giving rise to a domain growth law of $t^{1/2}$, where $t$ is time. At intermediate times, both the flow and the droplets form self-similar structures: the structure factor $S(q) \sim q^{-2}$ and the kinetic energy spectra $E(q) \sim q^{-5/3}$ for an intermediate range of $q$, the wavenumber.


title: Actionable Approaches to Promote Ethical AI in Libraries

abstract: The widespread use of artificial intelligence (AI) in many domains has revealed numerous ethical issues from data and design to deployment. In response, countless broad principles and guidelines for ethical AI have been published, and following those, specific approaches have been proposed for how to encourage ethical outcomes of AI. Meanwhile, library and information services too are seeing an increase in the use of AI-powered and machine learning-powered information systems, but no practical guidance currently exists for libraries to plan for, evaluate, or audit the ethics of intended or deployed AI. We therefore report on several promising approaches for promoting ethical AI that can be adapted from other contexts to AI-powered information services and in different stages of the software lifecycle.


title: A Stochastic Covariance Shrinkage Approach to Particle Rejuvenation in the Ensemble Transform Particle Filter

abstract: Rejuvenation in particle filters is necessary to prevent the collapse of the weights when the number of particles is insufficient to sample the high probability regions of the state space. Rejuvenation is often implemented in a heuristic manner by the addition of stochastic samples that widen the support of the ensemble. This work aims at improving canonical rejuvenation methodology by the introduction of additional prior information obtained from climatological samples; the dynamical particles used for importance sampling are augmented with samples obtained from stochastic covariance shrinkage. The ensemble transport particle filter, and its second order variant, are extended with the proposed rejuvenation approach. Numerical experiments show that modified filters significantly improve the analyses for low dynamical ensemble sizes.


title: Improving Text-Independent Speaker Verification with Auxiliary Speakers Using Graph

abstract: The paper presents a novel approach to refining similarity scores between input utterances for robust speaker verification. Given the embeddings from a pair of input utterances, a graph model is designed to incorporate additional information from a group of embeddings representing the so-called auxiliary speakers. The relations between the input utterances and the auxiliary speakers are represented by the edges and vertices in the graph. The similarity scores are refined by iteratively updating the values of the graph's vertices using an algorithm similar to the random walk algorithm on graphs. Through this updating process, the information of auxiliary speakers is involved in determining the relation between input utterances and hence contributing to the verification process. We propose to create a set of artificial embeddings through the model training process. Utilizing the generated embeddings as auxiliary speakers, no extra data are required for the graph model in the verification stage. The proposed model is trained in an end-to-end manner within the whole system. Experiments are carried out with the Voxceleb datasets. The results indicate that involving auxiliary speakers with graph is effective to improve speaker verification performance.


title: The nuclear matter density functional under the nucleonic hypothesis

abstract: A Bayesian analysis of the possible behaviors of the dense matter equation of state informed through recent LIGO-Virgo as well as NICER measurements reveals that all the present observations are compatible with a fully nucleonic hypothesis for the composition of dense matter, even in the core of the most massive pulsar PSR J0740+6620. Under the hypothesis of a nucleonic composition, we extract the most general behavior of the energy per particle of symmetric matter and density dependence of the symmetry energy, compatible with the astrophysical observations as well as our present knowledge of low energy nuclear physics from effective field theory predictions and experimental nuclear mass data. These results can be used as a null hypothesis to be confronted with future constraints on dense matter to search for possible exotic degrees of freedom.


title: Note on the asymptotic structure of Kerr-Schild form

abstract: The Kerr-Schild form provides a natural way of realizing the classical double copy that relates exact solutions in general relativity to exact solutions in gauge theory. In this paper, we examine the asymptotic structure of Kerr-Schild form. In Newman-Unti gauge, we find a generic solution space satisfying the Kerr-Schild form in series expansion around null infinity. The news function in the solution space is chiral and can not lead to a mass loss formula. A class of asymptotically flat complex pp-wave solutions in closed form is obtained from the solution space.


title: Radio frequency Coulomb blockade thermometry

abstract: We present a scheme and demonstrate measurements of a Coulomb blockade thermometer (CBT) in a microwave transmission setup. The sensor is embedded in an $LCR$ resonator, where $R$ is determined by the conductance of the junction array of the CBT. A transmission measurement yields a signal that is directly proportional to the conductance of the CBT, thus enabling the calibration-free operation of the thermometer. This is verified by measuring an identical sensor simultaneously in the usual dc setup. The important advantage of the rf measurement is its speed: the whole bias dependence of the CBT conductance can now be measured in a time of about 100\,ms, which is thousand times faster than in a standard dc measurement. The achieved noise equivalent temperature of this first rf primary measurement is about 1 mK/$\sqrt{{\rm Hz}}$ at the bath temperature $T=200\,$mK.


title: An incompleteness theorem via ordinal analysis

abstract: We present an analogue of G\"{o}del's second incompleteness theorem for systems of second-order arithmetic. Whereas G\"{o}del showed that sufficiently strong theories that are $\Pi^0_1$-sound and $\Sigma^0_1$-definable do not prove their own $\Pi^0_1$-soundness, we prove that sufficiently strong theories that are $\Pi^1_1$-sound and $\Sigma^1_1$-definable do not prove their own $\Pi^1_1$-soundness. Our proof does not involve the construction of a self-referential sentence but rather relies on ordinal analysis.


title: Comment on "More Axions from Strings''

abstract: We comment on a claim that axion strings show a long-term logarithmic increase in the number of Hubble lengths per Hubble volume [arXiv:2007.04990], thereby violating the standard "scaling" expectation of an O(1) constant. We demonstrate that the string density data presented in [arXiv:2007.04990] are consistent with standard scaling, at a string density consistent with that obtained by us [arXiv:1908.03522, arXiv:2102.07723] and other groups. A transient slow growth in Hubble lengths per Hubble volume towards its constant scaling value is explained by standard network modelling [arXiv:2102.07723].


title: A Quantization of the Loday-Ronco Hopf Algebra

abstract: We propose a quantization algebra of the Loday-Ronco Hopf algebra $k[Y^\infty]$, based on the Topological Recursion formula of Eynard and Orantin. We have shown in previous works that the Loday-Ronco Hopf algebra of planar binary trees is a space of solutions for the genus 0 version of Topological Recursion, and that an extension of the Loday Ronco Hopf algebra as to include some new graphs with loops is the correct setting to find a solution space for arbitrary genus. Here we show that this new algebra $k[Y^\infty]_h$ is still a Hopf algebra that can be seen in some sense to be made precise in the text as a quantization of the Hopf algebra of planar binary trees, and that the solution space of Topological Recursion $\mathcal{A}^h_{\text{TopRec}}$ is a subalgebra of a quotient algebra $\mathcal{A}_{\text{Reg}}^h$ obtained from $k[Y^\infty]_h$ that nevertheless doesn't inherit the Hopf algebra structure. We end the paper with a discussion on the cohomology of $\mathcal{A}^h_{\text{TopRec}}$ in low degree.


title: Radion dynamics in the Multibrane Randall-Sundrum Model

abstract: The radion equilibrium in the Randall-Sundrum (RS) model is guaranteed by the back-reaction of a bulk scalar field. In this paper we study an extended scenario, where an intermediate brane exists in addition to the two branes at the fixed points, due to the discontinuity of bulk cosmology constants in two spatial regions. We conducted a complete analysis of the linearized Einstein's equations after applying the Goldberger-Wise mechanism. Our result elucidates that in the presence of nonfixed point branes under the rigid assumption, a unique radion field is conjectured as legitimate in the RS metric perturbation. The cosmological expansion in this setup is briefly discussed.


title: Convolution and Correlation Theorems for Wigner-Ville Distribution Associated with the Quaternion Offset Linear Canonical Transform

abstract: The quaternion offset linear canonical transform(QOLCT) has gained much popularity in recent years because of its applications in many areas, including color image and signal processing. At the same time the applications of Wigner-Ville distribution (WVD) in signal analysis and image processing can not be excluded. In this paper we investigate the Winger-Ville Distribution associated with quaternion offset linear canonical transform (WVD-QOLCT). Firstly, we propose the definition of the WVD-QOLCT, and then several important properties of newly defined WVD-QOLCT, such as nonlinearity, bounded, reconstruction formula, orthogonality relation and Plancherel formula are derived. Secondly a novel canonical convolution operator and a related correlation operator for WVD-QOLCT are proposed. Moreover, based on the proposed operators, the corresponding generalized convolution, correlation theorems are studied.We also show that the convolution and correlation theorems of the QWVD and WVD-QLCT can be looked as a special case of our achieved results.


title: Single-ended Coherent Receiver

abstract: Commercial coherent receivers utilize balanced photodetectors (PDs) with high single-port rejection ratio (SPRR) to mitigate the signal-signal beat interference (SSBI) due to the square-law detection process. As the symbol rates of coherent transponders are increased to 100 Gbaud and beyond, maintaining a high SPRR in a cost-effective manner becomes more and more challenging. One potential approach for solving this problem is to leverage the concept of single-ended coherent receiver (SER) where single-ended PDs are used instead of the balanced PDs. In this case, the resulting SSBI should be mitigated in the digital domain. In this paper, we show that SSBI can be effectively mitigated using various low-complexity techniques, such as the direct filed reconstruction (DFR), clipped iterative SSBI cancellation (CIC) and gradient decent (GD). In addition, we present a self-calibration technique for SERs which can be extended for characterizing the optical-to-electrical (O/E) response of a conventional balanced coherent receiver (BR). Using the developed techniques, we then experimentally demonstrate a 90 Gbaud probabilistically constellation shaped 64-QAM (PCS-64QAM) transmission using a SER, achieving a net data rate of 882 Gb/s over 100 km of standard single mode fiber (SSMF). The sensitivity penalty compared to the BR is below 0.5 dB. We expect that when the symbol rate is increased further, a SER can potentially outperform a BR, especially when applied to cost-sensitive commercial pluggable coherent transceivers


title: Development of In Situ Acoustic Instruments for The Aquatic Environment Study

abstract: Based on the analysis of existing acoustic methods and instruments, a prototype of an automated instrument has been developed to perform joint measurements in situ of two parameters: sound speed and ultrasound attenuation. The device is based on existing sound velocity profilers. It was proposed to replace the TDC-GP22 converters used in the sound speed meter ISZ-1 with more advanced modern modified converters TDC-GP30, which can significantly improve the accuracy of measuring the amplitude of the reflected acoustic signal. The programs for processing signals from the primary acoustic transducer have been developed. The model of the device passed preliminary tests.


title: Low depth amplitude estimation on a trapped ion quantum computer

abstract: Amplitude estimation is a fundamental quantum algorithmic primitive that enables quantum computers to achieve quadratic speedups for a large class of statistical estimation problems, including Monte Carlo methods. The main drawback from the perspective of near term hardware implementations is that the amplitude estimation algorithm requires very deep quantum circuits. Recent works have succeeded in somewhat reducing the necessary resources for such algorithms, by trading off some of the speedup for lower depth circuits, but high quality qubits are still needed for demonstrating such algorithms. Here, we report the results of an experimental demonstration of amplitude estimation on a state-of-the-art trapped ion quantum computer. The amplitude estimation algorithms were used to estimate the inner product of randomly chosen four-dimensional unit vectors, and were based on the maximum likelihood estimation (MLE) and the Chinese remainder theorem (CRT) techniques. Significant improvements in accuracy were observed for the MLE based approach when deeper quantum circuits were taken into account, including circuits with more than ninety two-qubit gates and depth sixty, achieving a mean additive estimation error on the order of $10^{-2}$. The CRT based approach was found to provide accurate estimates for many of the data points but was less robust against noise on average. Last, we analyze two more amplitude estimation algorithms that take into account the specifics of the hardware noise to further improve the results.


title: Acoustic Echo Cancellation using Residual U-Nets

abstract: This paper presents an acoustic echo canceler based on a U-Net convolutional neural network for single-talk and double-talk scenarios. U-Net networks have previously been used in the audio processing area for source separation problems because of their ability to reproduce the finest details of audio signals, but to our knowledge, this is the first time they have been used for acoustic echo cancellation (AEC). The U-Net hyperparameters have been optimized to obtain the best AEC performance, but using a reduced number of parameters to meet a latency restriction of 40 ms. The training and testing of our model have been carried out within the framework of the 'ICASSP 2021 AEC Challenge' organized by Microsoft. We have trained the optimized U-Net model with a synthetic dataset only (S-U-Net) and with a synthetic dataset and the single-talk set of a real dataset (SR-U-Net), both datasets were released for the challenge. The S-U-Net model presented better results for double-talk scenarios, thus their inferred near-end signals from the blind testset were submitted to the challenge. Our canceler ranked 12th among 17 teams, and 5th among 10 academia teams, obtaining an overall mean opinion score of 3.57.


title: Making Memristive Processing-in-Memory Reliable

abstract: Processing-in-memory (PIM) solutions vastly accelerate systems by reducing data transfer between computation and memory. Memristors possess a unique property that enables storage and logic within the same device, which is exploited in the memristive Memory Processing Unit (mMPU). The mMPU expands fundamental stateful logic techniques, such as IMPLY, MAGIC and FELIX, to high-throughput parallel logic and arithmetic operations within the memory. Unfortunately, memristive processing-in-memory is highly vulnerable to soft errors and this massive parallelism is not compatible with traditional reliability techniques, such as error-correcting-code (ECC). In this paper, we discuss reliability techniques that efficiently support the mMPU by utilizing the same principles as the mMPU computation. We detail ECC techniques that are based on the unique properties of the mMPU to efficiently utilize the massive parallelism. Furthermore, we present novel solutions for efficiently implementing triple modular redundancy (TMR). The short-term and long-term reliability of large-scale applications, such as neural-network acceleration, are evaluated. The analysis clearly demonstrates the importance of high-throughput reliability mechanisms for memristive processing-in-memory.


title: K\"ahler-Ricci flow on rational homogeneous varieties

abstract: In this work, we study the K\"{a}hler-Ricci flow on rational homogeneous varieties exploring the interplay between projective algebraic geometry and representation theory which underlies the classical Borel-Weil theorem. By using elements of representation theory of semisimple Lie groups and Lie algebras, we give an explicit description for all solutions of the homogeneous K\"{a}hler-Ricci flow on rational homogeneous varieties. This description enables us to compute explicitly the maximal existence time for any homogeneous solution and obtain explicit upper and lower bounds for several geometric quantities along the flow, including curvatures, volume, diameter, and the first non-zero eigenvalue of the Laplacian. As an application of our main result, we investigate the relationship between numerical invariants associated to ample divisors and numerical invariants arising from solutions of the homogeneous K\"{a}hler-Ricci flow. In the particular setting of full flag varieties, we prove that the numerical invariants obtained from solutions of the homogeneous K\"{a}hler-Ricci flow can be related to certain well-known invariants which appear in some different contexts, including the global Seshadri constant of ample line bundles, the maximum possible radius of embeddings of symplectic and K\"{a}hler balls, and the log canonical threshold of ample $\mathbb{Q}$-divisors. From this, we obtain constraints in terms of the scalar and Ricci curvatures, respectively, for symplectic embeddings of open Euclidean balls, and for the triviality of analytic multiplier ideal sheaves defined by ample $\mathbb{Q}$-divisors.


title: The Case for Claim Difficulty Assessment in Automatic Fact Checking

abstract: Fact-checking is the process of evaluating the veracity of claims (i.e., purported facts). In this opinion piece, we raise an issue that has received little attention in prior work -- that some claims are far more difficult to fact-check than others. We discuss the implications this has for both practical fact-checking and research on automated fact-checking, including task formulation and dataset design. We report a manual analysis undertaken to explore factors underlying varying claim difficulty and identify several distinct types of difficulty. We motivate this new claim difficulty prediction task as beneficial to both automated fact-checking and practical fact-checking organizations.


title: Trust Your Robots! Predictive Uncertainty Estimation of Neural Networks with Sparse Gaussian Processes

abstract: This paper presents a probabilistic framework to obtain both reliable and fast uncertainty estimates for predictions with Deep Neural Networks (DNNs). Our main contribution is a practical and principled combination of DNNs with sparse Gaussian Processes (GPs). We prove theoretically that DNNs can be seen as a special case of sparse GPs, namely mixtures of GP experts (MoE-GP), and we devise a learning algorithm that brings the derived theory into practice. In experiments from two different robotic tasks -- inverse dynamics of a manipulator and object detection on a micro-aerial vehicle (MAV) -- we show the effectiveness of our approach in terms of predictive uncertainty, improved scalability, and run-time efficiency on a Jetson TX2. We thus argue that our approach can pave the way towards reliable and fast robot learning systems with uncertainty awareness.


title: Continuity for the one-dimensional centered Hardy-Littlewood maximal operator at the derivative level

abstract: We prove the continuity of the map $f \mapsto (Mf)'$ from $W^{1,1}(\mathbb{R})$ to $L^1(\mathbb{R})$, where $M$ is the centered Hardy-Littlewood maximal operator. This solves a question posed by Carneiro, Madrid and Pierce.


title: Modeling Regime Shifts in Multiple Time Series

abstract: We investigate the problem of discovering and modeling regime shifts in an ecosystem comprising multiple time series known as co-evolving time series. Regime shifts refer to the changing behaviors exhibited by series at different time intervals. Learning these changing behaviors is a key step toward time series forecasting. While advances have been made, existing methods suffer from one or more of the following shortcomings: (1) failure to take relationships between time series into consideration for discovering regimes in multiple time series; (2) lack of an effective approach that models time-dependent behaviors exhibited by series; (3) difficulties in handling data discontinuities which may be informative. Most of the existing methods are unable to handle all of these three issues in a unified framework. This, therefore, motivates our effort to devise a principled approach for modeling interactions and time-dependency in co-evolving time series. Specifically, we model an ecosystem of multiple time series by summarizing the heavy ensemble of time series into a lighter and more meaningful structure called a \textit{mapping grid}. By using the mapping grid, our model first learns time series behavioral dependencies through a dynamic network representation, then learns the regime transition mechanism via a full time-dependent Cox regression model. The originality of our approach lies in modeling interactions between time series in regime identification and in modeling time-dependent regime transition probabilities, usually assumed to be static in existing work.


title: An optimization and simulation method for the home service assignment, routing, and scheduling problem with stochastic travel time, service time, and cancellation

abstract: In the Home Service Assignment, Routing, and Appointment scheduling (H-SARA) problem, a set of homogeneous service teams must visit a set of customers. The home service provider needs to decide how many teams to hire (i.e., sizing problem), how to assign service teams to customers (i.e., assignment problem), how to route service teams (i.e., vehicle routing problem),and how to schedule the appointment times for the customers (i.e., appointment scheduling problem) such that the total cost is minimized. To tackle the H-SARA problem, we propose an efficient solution method that comprises two stages. In the first stage, we present a column generation algorithm to solve the sizing, assignment, and routing problem. The algorithm is enhanced by a high-quality initial solution which is found using the route-first cluster-second principle and a polynomial-time 2-approximation algorithm. In the second stage, due to the stochastic nature of travel time, service time, and cancellation, we propose a simulation-driven approach to decide the appointment times such that a desired on-time arrival probability is achieved. To ensure the suitability of the simulation model, we discuss the characterization of the stochastic parameters. The proposed ideas can be embedded in different solution schemes, including a fast heuristic method that finds good solutions within seconds or a more elaborate algorithm to find near-optimal solutions at the expense of longer computational time. At last, we provide a high-level flexible decision support tool implemented in AIMMS.


title: Understanding Xacro Misunderstandings

abstract: The Xacro XML macro language extends the Universal Robot Description Format (URDF) and is part of a critical toolchain from geometric representations to simulation, visualization, and system execution. However, members of the robotics community, especially newcomers, struggle to troubleshoot and understand the interplay between systems and the Xacro preprocessing pipeline. To better understand how system developers struggle with Xacros, we manually examine 712 Xacro-related questions from the question and answer site http://answers.ros.org and find Xacro misunderstandings fit into 10 key categories using a systematic, qualitative approach called Open Coding. By examining the 'tags' applied to questions, we further find that Xacro problems manifest in a befuddlingly broad set of contexts. This hinders onboarding and complicates system developers' understanding of representations and tools in the Robot Operating System. We aim to provide an empirical grounding that identifies and prioritizes impediments to users of open robotics systems, so that tool designers, teachers, and robotics practitioners can devise ways of improving robot software tooling and education.


title: Benney-Roskes/Zakharov-Rubenchik System: Lie Symmetries and Exact Solutions

abstract: We investigate Lie symmetry algebra of the Benney-Roskes/Zakharov-Rubenchik systems. The invariance algebra turns out to be infinite-dimensional. We also find several exact solutions of periodic, line-soliton and stationary types.


title: Configuring Multiple Instances with Multi-Configuration

abstract: Configuration is a successful application area of Artificial Intelligence. In the majority of the cases, configuration systems focus on configuring one solution (configuration) that satisfies the preferences of a single user or a group of users. In this paper, we introduce a new configuration approach - multi-configuration - that focuses on scenarios where the outcome of a configuration process is a set of configurations. Example applications thereof are the configuration of personalized exams for individual students, the configuration of project teams, reviewer-to-paper assignment, and hotel room assignments including individualized city trips for tourist groups. For multi-configuration scenarios, we exemplify a constraint satisfaction problem representation in the context of configuring exams. The paper is concluded with a discussion of open issues for future work.


title: How to train your solver: A method of manufactured solutions for weakly-compressible SPH

abstract: The Weakly-Compressible Smoothed Particle Hydrodynamics (WCSPH) method is a Lagrangian method that is typically used for the simulation of incompressible fluids. While developing an SPH-based scheme or solver, researchers often verify their code with exact solutions, solutions from other numerical techniques, or experimental data. This typically requires a significant amount of computational effort and does not test the full capabilities of the solver. Furthermore, often this does not yield insights on the convergence of the solver. In this paper we introduce the method of manufactured solutions (MMS) to comprehensively test a WCSPH-based solver in a robust and efficient manner. The MMS is well established in the context of mesh-based numerical solvers. We show how the method can be applied in the context of Lagrangian WCSPH solvers to test the convergence and accuracy of the solver in two and three dimensions, systematically identify any problems with the solver, and test the boundary conditions in an efficient way. We demonstrate this for both a traditional WCSPH scheme as well as for some recently proposed second order convergent WCSPH schemes. Our code is open source and the results of the manuscript are reproducible.

categories: physics.flu-dyn cs.NA math.NA physics.comp-ph


title: A Multivariate Spline based Collocation Method for Numerical Solution of Partial Differential Equations

abstract: We propose a collocation method based on multivariate polynomial splines over triangulation or tetrahedralization for the numerical solution of partial differential equations. We start with a detailed explanation of the method for the Poisson equation and then extend the study to the second-order elliptic PDE in non-divergence form. We shall show that the numerical solution can approximate the exact PDE solution very well. Then we present a large amount of numerical experimental results to demonstrate the performance of the method over the 2D and 3D settings. In addition, we present a comparison with the existing multivariate spline methods in \cite{ALW06} and \cite{LW17} to show that the new method produces a similar and sometimes more accurate approximation in a more efficient fashion.


title: Fuzzy worldlines with $\kappa$-Poincar\'e symmetries

abstract: A novel approach to study the properties of models with quantum-deformed relativistic symmetries relies on a noncommutative space of worldlines rather than the usual noncommutative spacetime. In this setting, spacetime can be reconstructed as the set of events, that are identified as the crossing of different worldlines. We lay down the basis for this construction for the $\kappa$-Poincar\'e model, analyzing the fuzzy properties of $\kappa$-deformed time-like worldlines and the resulting fuzziness of the reconstructed events.


title: BERT Cannot Align Characters

abstract: In previous work, it has been shown that BERT can adequately align cross-lingual sentences on the word level. Here we investigate whether BERT can also operate as a char-level aligner. The languages examined are English, Fake-English, German and Greek. We show that the closer two languages are, the better BERT can align them on the character level. BERT indeed works well in English to Fake-English alignment, but this does not generalize to natural languages to the same extent. Nevertheless, the proximity of two languages does seem to be a factor. English is more related to German than to Greek and this is reflected in how well BERT aligns them; English to German is better than English to Greek. We examine multiple setups and show that the similarity matrices for natural languages show weaker relations the further apart two languages are.


title: BARTpho: Pre-trained Sequence-to-Sequence Models for Vietnamese

abstract: We present BARTpho with two versions, BARTpho-syllable and BARTpho-word, which are the first public large-scale monolingual sequence-to-sequence models pre-trained for Vietnamese. BARTpho uses the "large" architecture and the pre-training scheme of the sequence-to-sequence denoising autoencoder BART, thus it is especially suitable for generative NLP tasks. We conduct experiments to compare our BARTpho with its competitor mBART on a downstream task of Vietnamese text summarization and show that: in both automatic and human evaluations, BARTpho outperforms the strong baseline mBART and improves the state-of-the-art. We further evaluate and compare BARTpho and mBART on the Vietnamese capitalization and punctuation restoration tasks and also find that BARTpho is more effective than mBART on these two tasks. We publicly release BARTpho to facilitate future research and applications of generative Vietnamese NLP tasks. Our BARTpho models are available at https://github.com/VinAIResearch/BARTpho


title: Deep Anomaly Generation: An Image Translation Approach of Synthesizing Abnormal Banded Chromosome Images

abstract: Advances in deep-learning-based pipelines have led to breakthroughs in a variety of microscopy image diagnostics. However, a sufficiently big training data set is usually difficult to obtain due to high annotation costs. In the case of banded chromosome images, the creation of big enough libraries is difficult for multiple pathologies due to the rarity of certain genetic disorders. Generative Adversarial Networks (GANs) have proven to be effective in generating synthetic images and extending training data sets. In our work, we implement a conditional adversarial network that allows generation of realistic single chromosome images following user-defined banding patterns. To this end, an image-to-image translation approach based on self-generated 2D chromosome segmentation label maps is used. Our validation shows promising results when synthesizing chromosomes with seen as well as unseen banding patterns. We believe that this approach can be exploited for data augmentation of chromosome data sets with structural abnormalities. Therefore, the proposed method could help to tackle medical image analysis problems such as data simulation, segmentation, detection, or classification in the field of cytogenetics.


title: Learning to Forecast Dynamical Systems from Streaming Data

abstract: Kernel analog forecasting (KAF) is a powerful methodology for data-driven, non-parametric forecasting of dynamically generated time series data. This approach has a rigorous foundation in Koopman operator theory and it produces good forecasts in practice, but it suffers from the heavy computational costs common to kernel methods. This paper proposes a streaming algorithm for KAF that only requires a single pass over the training data. This algorithm dramatically reduces the costs of training and prediction without sacrificing forecasting skill. Computational experiments demonstrate that the streaming KAF method can successfully forecast several classes of dynamical systems (periodic, quasi-periodic, and chaotic) in both data-scarce and data-rich regimes. The overall methodology may have wider interest as a new template for streaming kernel regression.


title: BabelCalib: A Universal Approach to Calibrating Central Cameras

abstract: Existing calibration methods occasionally fail for large field-of-view cameras due to the non-linearity of the underlying problem and the lack of good initial values for all parameters of the used camera model. This might occur because a simpler projection model is assumed in an initial step, or a poor initial guess for the internal parameters is pre-defined. A lot of the difficulties of general camera calibration lie in the use of a forward projection model. We side-step these challenges by first proposing a solver to calibrate the parameters in terms of a back-projection model and then regress the parameters for a target forward model. These steps are incorporated in a robust estimation framework to cope with outlying detections. Extensive experiments demonstrate that our approach is very reliable and returns the most accurate calibration parameters as measured on the downstream task of absolute pose estimation on test sets. The code is released at https://github.com/ylochman/babelcalib.


title: Neural forecasting at scale

abstract: We study the problem of efficiently scaling ensemble-based deep neural networks for multi-step time series (TS) forecasting on a large set of time series. Current state-of-the-art deep ensemble models have high memory and computational requirements, hampering their use to forecast millions of TS in practical scenarios. We propose N-BEATS(P), a global parallel variant of the N-BEATS model designed to allow simultaneous training of multiple univariate TS forecasting models. Our model addresses the practical limitations of related models, reducing the training time by half and memory requirement by a factor of 5, while keeping the same level of accuracy in all TS forecasting settings. We have performed multiple experiments detailing the various ways to train our model and have obtained results that demonstrate its capacity to generalize in various forecasting conditions and setups.


title: Coloring mixed QCD/QED evolution

abstract: Parton showers are crucial components of high-energy physics calculations. Improving their modelling of QCD is an active research area since shower approximations are stumbling blocks for precision event generators. Naively, the interference between sub-dominant Standard-Model interactions and QCD can be of similar size to subleading QCD corrections. This article assesses the impact of QCD/QED interference effects in parton showers, by developing a sophisticated shower including QED, QCD at fixed color, and employing complete tree-level matrix element corrections for individual $N_C=3$ color configurations to embed interference. The resulting simulation indicates that QCD/QED interference effects are small for a simple test case and dwarfed by electro-weak resonance effects.


title: A Plug-and-Play Method for Controlled Text Generation

abstract: Large pre-trained language models have repeatedly shown their ability to produce fluent text. Yet even when starting from a prompt, generation can continue in many plausible directions. Current decoding methods with the goal of controlling generation, e.g., to ensure specific words are included, either require additional models or fine-tuning, or work poorly when the task at hand is semantically unconstrained, e.g., story generation. In this work, we present a plug-and-play decoding method for controlled language generation that is so simple and intuitive, it can be described in a single sentence: given a topic or keyword, we add a shift to the probability distribution over our vocabulary towards semantically similar words. We show how annealing this distribution can be used to impose hard constraints on language generation, something no other plug-and-play method is currently able to do with SOTA language generators. Despite the simplicity of this approach, we see it works incredibly well in practice: decoding from GPT-2 leads to diverse and fluent sentences while guaranteeing the appearance of given guide words. We perform two user studies, revealing that (1) our method outperforms competing methods in human evaluations; and (2) forcing the guide words to appear in the generated text has no impact on the fluency of the generated text.


title: The least Euclidean distortion constant of a distance-regular graph

abstract: In 2008, Vallentin made a conjecture involving the least distortion of an embedding of a distance-regular graph into Euclidean space. Vallentin's conjecture implies that for a least distortion Euclidean embedding of a distance-regular graph of diameter $d$, the most contracted pairs of vertices are those at distance $d$. In this paper, we confirm Vallentin's conjecture for several families of distance-regular graphs. We also provide counterexamples to this conjecture, where the largest contraction occurs between pairs of vertices at distance $d{-}1$. We suggest three alternative conjectures and prove them for several families of distance-regular graphs.


title: Information dynamics and the arrow of time

abstract: Why does time appear to pass irreversibly? To investigate, we introduce a class of partitioned cellular automata (PCAs) whose cellwise evolution is based on the chaotic baker's map. After imposing a suitable initial condition and restricting to a macroscopic view, we are left with a stochastic PCA (SPCA). When the underlying PCA's dynamics are reversible, the corresponding SPCA serves as a model of emergent time-reversal asymmetry. Specifically, we prove that its transition probabilities are homogeneous in space and time, as well as Markov relative to a Pearlean causal graph with timelike future-directed edges. Consequently, SPCAs satisfy generalizations of the second law of thermodynamics, which we term the Resource and Memory Laws. By subjecting information-processing agents (e.g., human experimenters) to these laws, we clarify issues regarding the Past Hypothesis, Landauer's principle, Boltzmann brains, scientific induction, and the so-called psychological arrow of time. Finally, by describing a theoretical agent powered by data compression, we argue that the algorithmic entropy takes conceptual precedence over both the Shannon-Gibbs and Boltzmann entropies.

categories: cond-mat.stat-mech cs.FL cs.IT math.IT nlin.CG


title: Understanding neural networks with reproducing kernel Banach spaces

abstract: Characterizing the function spaces corresponding to neural networks can provide a way to understand their properties. In this paper we discuss how the theory of reproducing kernel Banach spaces can be used to tackle this challenge. In particular, we prove a representer theorem for a wide class of reproducing kernel Banach spaces that admit a suitable integral representation and include one hidden layer neural networks of possibly infinite width. Further, we show that, for a suitable class of ReLU activation functions, the norm in the corresponding reproducing kernel Banach space can be characterized in terms of the inverse Radon transform of a bounded real measure, with norm given by the total variation norm of the measure. Our analysis simplifies and extends recent results in [34,29,30].


title: Quantifying Grid Resilience Against Extreme Weather Using Large-Scale Customer Power Outage Data

abstract: In recent decades, the weather around the world has become more irregular and extreme, often causing large-scale extended power outages. Resilience -- the capability of withstanding, adapting to, and recovering from a large-scale disruption -- has become a top priority for the power sector. However, the understanding of power grid resilience still stays on the conceptual level mostly or focuses on particular components, yielding no actionable results or revealing few insights on the system level. This study provides a quantitatively measurable definition of power grid resilience, using a statistical model inspired by patterns observed from data and domain knowledge. We analyze a large-scale quarter-hourly historical electricity customer outage data and the corresponding weather records, and draw connections between the model and industry resilience practice. We showcase the resilience analysis using three major service territories on the east coast of the United States. Our analysis suggests that cumulative weather effects play a key role in causing immediate, sustained outages, and these outages can propagate and cause secondary outages in neighboring areas. The proposed model also provides some interesting insights into grid resilience enhancement planning. For example, our simulation results indicate that enhancing the power infrastructure in a small number of critical locations can reduce nearly half of the number of customer power outages in Massachusetts. In addition, we have shown that our model achieves promising accuracy in predicting the progress of customer power outages throughout extreme weather events, which can be very valuable for system operators and federal agencies to prepare disaster response.


title: Traitor-Proof PDF Watermarking

abstract: This paper presents a traitor-tracing technique based on the watermarking of digital documents (\pdf{} files in particular). The watermarking algorithm uses a chain of three separate techniques that work in synergy. The embedded payload can withstand a wide range of attacks and cannot be removed without invalidating the credibility of the document. We will present an implementation of the approach and discuss its limitations with respect to documents that can be watermarked and quality of the watermarked documents. We will also analyse two payload alternatives and how the encryption scheme may alleviate the chilling effect on whistle-blowing.


title: Low-threshold exciton transport and control in atomically thin semiconductors

abstract: Understanding and controlling the nanoscale transport of excitonic quasiparticles in atomically thin 2D semiconductors is crucial to produce highly efficient nano-excitonic devices. Here, we present a nano-gap device to selectively confine excitons or trions of 2D transition metal dichalcogenides at the nanoscale, facilitated by the drift-dominant exciton funnelling into the strain-induced local spot. We investigate the spatio-spectral characteristics of the funnelled excitons in a WSe2 monolayer (ML) and converted trions in a MoS2 ML using hyperspectral tip-enhanced photoluminescence (TEPL) imaging with <15 nm spatial resolution. In addition, we dynamically control the exciton funnelling and trion conversion rate by the GPa scale tip pressure engineering. Through a drift-diffusion model, we confirm an exciton funnelling efficiency of ~25 % with a significantly low strain threshold (~0.1 %) which sufficiently exceeds the efficiency of ~3 % in previous studies. This work provides a new strategy to facilitate efficient exciton transport and trion conversion of 2D semiconductor devices.


title: Exploring compact binary merger host galaxies and environments with $\rm{zELDA}$

abstract: Compact binaries such as double neutron stars or a neutron star paired with a black-hole, are strong sources of gravitational waves during coalescence and also the likely progenitors of various electromagnetic phenomena, notably short-duration gamma-ray bursts (SGRBs), and kilonovae. In this work, we generate populations of synthetic binaries and place them in galaxies from the large-scale hydrodynamical galaxy evolution simulation EAGLE. With our zELDA code, binaries are seeded in proportion to star formation rate, and we follow their evolution to merger using both the BPASS and COSMIC binary stellar evolution codes. We track their dynamical evolution within their host galaxy potential, to estimate the galactocentric distance at the time of the merger. Finally, we apply observational selection criteria to allow comparison of this model population with the legacy sample of SGRBs. We find a reasonable agreement with the redshift distribution (peaking at $0.5<z<1$), host morphologies and projected galactocentric offsets (modal impact parameter $\lesssim10$ kpc). Depending on the binary simulation used, we predict $\sim16-35\%$ of SGRB events would appear "host-less", i.e. sources that merge with high impact parameters or have hosts fainter than the detection limit ($H>26$).


title: Reconstructing Cosmic Polarization Rotation with ResUNet-CMB

abstract: Cosmic polarization rotation, which may result from parity-violating new physics or the presence of primordial magnetic fields, converts $E$-mode polarization of the cosmic microwave background (CMB) into $B$-mode polarization. Anisotropic cosmic polarization rotation leads to statistical anisotropy in CMB polarization and can be reconstructed with quadratic estimator techniques similar to those designed for gravitational lensing of the CMB. At the sensitivity of upcoming CMB surveys, lensing-induced $B$-mode polarization will act as a limiting factor in the search for anisotropic cosmic polarization rotation, meaning that an analysis which incorporates some form of delensing will be required to improve constraints on the effect with future surveys. In this paper we extend the ResUNet-CMB convolutional neural network to reconstruct anisotropic cosmic polarization rotation in the presence of gravitational lensing and patchy reionization, and we show that the network simultaneously reconstructs all three effects with variance that is lower than that from the standard quadratic estimator nearly matching the performance of an iterative reconstruction method.


title: Functions on products of pseudocompact spaces

abstract: For every natural number $ n $, any continuous function on the product of $ X_1 \times X_2 \times ... \times X_n $ pseudocompact spaces extends to a separately continuous function on the product $ \beta X_1 \times \beta X_2 \times ... \times \beta X_n $ of their Stone-Cech compactifications.


title: Generalization in Mean Field Games by Learning Master Policies

abstract: Mean Field Games (MFGs) can potentially scale multi-agent systems to extremely large populations of agents. Yet, most of the literature assumes a single initial distribution for the agents, which limits the practical applications of MFGs. Machine Learning has the potential to solve a wider diversity of MFG problems thanks to generalizations capacities. We study how to leverage these generalization properties to learn policies enabling a typical agent to behave optimally against any population distribution. In reference to the Master equation in MFGs, we coin the term ``Master policies'' to describe them and we prove that a single Master policy provides a Nash equilibrium, whatever the initial distribution. We propose a method to learn such Master policies. Our approach relies on three ingredients: adding the current population distribution as part of the observation, approximating Master policies with neural networks, and training via Reinforcement Learning and Fictitious Play. We illustrate on numerical examples not only the efficiency of the learned Master policy but also its generalization capabilities beyond the distributions used for training.