title: Trees, forests, and impurity-based variable importance

abstract: Tree ensemble methods such as random forests [Breiman, 2001] are very popular to handle high-dimensional tabular data sets, notably because of their good predictive accuracy. However, when machine learning is used for decision-making problems, settling for the best predictive procedures may not be reasonable since enlightened decisions require an in-depth comprehension of the algorithm prediction process. Unfortunately, random forests are not intrinsically interpretable since their prediction results from averaging several hundreds of decision trees. A classic approach to gain knowledge on this so-called black-box algorithm is to compute variable importances, that are employed to assess the predictive impact of each input variable. Variable importances are then used to rank or select variables and thus play a great role in data analysis. Nevertheless, there is no justification to use random forest variable importances in such way: we do not even know what these quantities estimate. In this paper, we analyze one of the two well-known random forest variable importances, the Mean Decrease Impurity (MDI). We prove that if input variables are independent and in absence of interactions, MDI provides a variance decomposition of the output, where the contribution of each variable is clearly identified. We also study models exhibiting dependence between input variables or interaction, for which the variable importance is intrinsically ill-defined. Our analysis shows that there may exist some benefits to use a forest compared to a single tree.


title: High-Fidelity Synthesis with Disentangled Representation

abstract: Learning disentangled representation of data without supervision is an important step towards improving the interpretability of generative models. Despite recent advances in disentangled representation learning, existing approaches often suffer from the trade-off between representation learning and generation performance i.e. improving generation quality sacrifices disentanglement performance). We propose an Information-Distillation Generative Adversarial Network (ID-GAN), a simple yet generic framework that easily incorporates the existing state-of-the-art models for both disentanglement learning and high-fidelity synthesis. Our method learns disentangled representation using VAE-based models, and distills the learned representation with an additional nuisance variable to the separate GAN-based generator for high-fidelity synthesis. To ensure that both generative models are aligned to render the same generative factors, we further constrain the GAN generator to maximize the mutual information between the learned latent code and the output. Despite the simplicity, we show that the proposed method is highly effective, achieving comparable image generation quality to the state-of-the-art methods using the disentangled representation. We also show that the proposed decomposition leads to an efficient and stable model design, and we demonstrate photo-realistic high-resolution image synthesis results (1024x1024 pixels) for the first time using the disentangled representations.


title: Granular Learning with Deep Generative Models using Highly Contaminated Data

abstract: An approach to utilize recent advances in deep generative models for anomaly detection in a granular (continuous) sense on a real-world image dataset with quality issues is detailed using recent normalizing flow models, with implications in many other applications/domains/data types. The approach is completely unsupervised (no annotations available) but qualitatively shown to provide accurate semantic labeling for images via heatmaps of the scaled log-likelihood overlaid on the images. When sorted based on the median values per image, clear trends in quality are observed. Furthermore, downstream classification is shown to be possible and effective via a weakly supervised approach using the log-likelihood output from a normalizing flow model as a training signal for a feature-extracting convolutional neural network. The pre-linear dense layer outputs on the CNN are shown to disentangle high level representations and efficiently cluster various quality issues. Thus, an entirely non-annotated (fully unsupervised) approach is shown possible for accurate estimation and classification of quality issues..


title: Using Deep Learning to Explore Local Physical Similarity for Global-scale Bridging in Thermal-hydraulic Simulation

abstract: Current system thermal-hydraulic codes have limited credibility in simulating real plant conditions, especially when the geometry and boundary conditions are extrapolated beyond the range of test facilities. This paper proposes a data-driven approach, Feature Similarity Measurement FFSM), to establish a technical basis to overcome these difficulties by exploring local patterns using machine learning. The underlying local patterns in multiscale data are represented by a set of physical features that embody the information from a physical system of interest, empirical correlations, and the effect of mesh size. After performing a limited number of high-fidelity numerical simulations and a sufficient amount of fast-running coarse-mesh simulations, an error database is built, and deep learning is applied to construct and explore the relationship between the local physical features and simulation errors. Case studies based on mixed convection have been designed for demonstrating the capability of data-driven models in bridging global scale gaps.


title: Study of the existence of supersolutions for nonlocal equations with gradient terms

abstract: We study the existence of positive supersolutions of nonlocal equations $(-\Delta)^s u+ |\nabla u|^q=\lambda f(u)$ in exterior domains where the datum $f$ can be comparade with $u^{p}$ near the origin. We prove that the existence or bounded supersolutions its depend of the values of $p$, $q$ and $s$.


title: On the asymptotic dimension of products of coarse spaces

abstract: We prove that for any coarse spaces $X_1,\dots,X_n$ of asymptotic dimension $\ge 1$, the product $X=X_1\times\dots\times X_n$ has asymptotic dimension $\ge n$. Another result states that a finitary coare space $Z$ has $\mathrm{asdim}(Z)\ge n$ if $Z$ admits an almost free action of the group $\mathbb Z^n$. We deduce these results from the following combinatorial result (that generalized the the Hex Theorem of Gale): for any cover $\mathcal F$ of a discrete box $K=k_1\times \dots \times k_n$, either some set $F\in\mathcal F$ contains a chain connecting two opposite faces of $K$ or there exists a set $B\subset K$ of diameter $\le 1$ such that $|\{F\in\mathcal F:F\cap B\ne\emptyset\}|>n$.


title: Tabled Typeclass Resolution

abstract: Typeclasses provide an elegant and effective way of managing ad-hoc polymorphism in both programming languages and interactive proof assistants. However, the increasingly sophisticated uses of typeclasses within proof assistants, especially within Lean's burgeoning mathematics library, mathlib, have elevated once-theoretical limitations of existing typeclass resolution procedures into major impediments to ongoing progress. The two most devastating limitations of existing procedures are exponential running times in the presence of diamonds and divergence in the presence of cycles. We present a new procedure, tabled typeclass resolution, that solves both problems by tabling, which is a generalization of memoizing originally introduced to address similar limitations of early logic programming systems. We have implemented our procedure for the upcoming version (v4) of Lean, and have confirmed empirically that our implementation is exponentially faster than existing systems in the presence of diamonds. Although tabling is notoriously difficult to implement, our procedure is notably lightweight and could easily be implemented in other systems. We hope our new procedure facilitates even more sophisticated uses of typeclasses in both software development and interactive theorem proving.


title: Post-Newtonian Magnetohydrodynamics

abstract: Using the fully nonlinear and exact perturbation formulation with magnetohydrodynamics (MHD) in Minkowski background we derive first-order post-Newtonian (1PN) equations without imposing the slicing (temporal gauge) condition. The 1PN MHD formulation is complementary to our recently presented fully relativistic MHD combined with 0PN gravity available only in the maximal slicing. We present the 1PN MHD equations in two gauge conditions previously used in the literature and provide gauge transformation relations between different gauges. We derive the PN effects on MHD waves in a static homogeneous medium.


title: Dust emission from the first massive galaxies

abstract: We compare observed far-infrared (FIR) galaxy spectral energy distributions (SEDs) at $z\sim6$ and theoretical predictions for first massive population II (Pop II) galaxies. Observed FIR SEDs at $z\gtrsim5$ are broad and shifted to bluer wavelengths when compared to galaxies at $z\sim3$. By implementing an analytical model for dust emission from Pop II massive galaxies,we were able to reproduce the observed behaviour as a consequence of the high energy densities and silicate-rich dust composition of high-$z$ model galaxies. As noted in a previous work, the non-blackbody nature of galaxy SEDs at $z \sim 6$ should be taken into account when interpreting measurements of FIR luminosities to avoid underestimating star formation rates.


title: Simulated mass measurements of the young planet K2-33b

abstract: In this paper, we carry out simulations of radial velocity (RV) measurements of the mass of the 8-11 Myr Neptune-sized planet K2-33b using high-precision near infrared velocimeters like SPIRou at the Canada-France-Hawaii Telescope. We generate a RV curve containing a planet signature and a realistic stellar activity signal, computed for a central wavelength of 1.8 $\mu$m and statistically compatible with the light-curve obtained with K2. The modelled activity signal includes the effect of time-evolving dark and bright surface features hosting a 2 kG radial magnetic field, resulting in a RV signal of semi-amplitude ~30 m/s. Assuming a 3-month visibility window, we build RV time-series including Gaussian white noise from which we retrieve the planet mass while filtering the stellar activity signal using Gaussian Process Regression. We find that 35/50 visits spread over 3 consecutive bright-time runs on K2-33 allow one to reliably detect planet RV signatures of respectively 10 and 5 m/s at precisions larger than 3 $\sigma$. We also show that 30 visits may end up being insufficient in some cases to provide a good coverage of the stellar rotation cycle, with the result that the planet signature can go undetected or the mass estimation be plagued by large errors.


title: Highly tunable quantum light from moir\'e trapped excitons

abstract: Photon antibunching, a hallmark of quantum light, has been observed in the correlations of light from isolated atomic and atomic-like solid-state systems. Two-dimensional semiconductor heterostructures offer a unique method to create a quantum light source: a small lattice mismatch or relative twist in a heterobilayer can create moir\'e trapping potentials for excitons which are predicted to create arrays of quantum emitters. While signatures of moir\'e trapped excitons have been observed, their quantum nature has yet to be confirmed. Here we report photon antibunching from single moir\'e trapped interlayer excitons in a heterobilayer. Via polarization resolved magneto-optical spectroscopy, we demonstrate the discrete anharmonic spectra arise from bound band-edge electron-hole pairs trapped in moir\'e potentials. Finally, using an out-of-plane electric field, we exploit the large permanent dipole of interlayer excitons to achieve large DC Stark tuning, up to 40 meV, of the quantum emitters. Our results confirm the quantum nature of moir\'e confined excitons and open opportunities to investigate their inhomogeneity and interactions between the emitters or tune single emitters into resonance with cavity modes or other emitters.


title: The tetragonal phase of CH$_{3}$NH$_{3}$PbI$_{3}$ is strongly anharmonic

abstract: Halide perovskite (HP) semiconductors exhibit unique strong coupling between the electronic and structural dynamics. The high-temperature cubic phase of HPs is known to be entropically stabilized, with imaginary frequencies in the calculated phonon dispersion relation. Similar calculations, based on the static average crystal structure, predict a stable tetragonal phase with no imaginary modes. This work shows that in contrast to standard theory predictions, the room-temperature tetragonal phase of CH$_{3} $NH$_{3} $PbI$_{3}$ is strongly anharmonic. We use Raman polarization-orientation (PO) measurements and \textit{ab initio} molecular dynamics (AIMD) to investigate the origin and temperature evolution of the strong structural anharmonicity throughout the tetragonal phase. Raman PO measurements reveal a new spectral feature that resembles a soft mode. This mode shows an unusual continuous increase in damping with temperature which is indicative of an anharmonic potential surface. The analysis of AIMD trajectories identifies two major sources of anharmonicity: the orientational unlocking of the [CH$_{3} $NH$_{3}$]$^+$ ions and large amplitude octahedral tilting that continuously increases with temperature. Our work suggests that the standard phonon picture cannot describe the structural dynamics of tetragonal CH$_{3} $NH$_{3} $PbI$_{3}$.


title: Metastable dark energy models in light of Planck 2018: Alleviating the $H_0$ tension

abstract: We investigate the recently introduced metastable dark energy (DE) models after the final Planck 2018 legacy release. The essence of the present work is to analyze their evolution at the level of perturbations. Our analyses show that both the metastable dark energy models considered in this article, are excellent candidates to alleviate the $H_0$ tension. In particular, for the present models, Planck 2018 alone can alleviate the $H_0$ tension within 68\% CL. Along with the final cosmic microwave background data from the Planck 2018 legacy release, we also include external cosmological datasets in order to asses the robustness of our findings.


title: Optimal Disturbance Attenuation Approach with Measurement Feedback to Missile Guidance

abstract: Pursuit-evasion differential games using the Disturbance Attenuation approach are revisited. Under this approach, the pursuer actions are considered to be control actions, whereas all external actions, such as target maneuvers, measurement errors and initial position uncertainties, are considered to be disturbances. Two open issues have been addressed, namely the effect of noise on the control gains, and the effect of trajectory shaping on the solution. These issues are closely related to the question of the best choice for the disturbance attenuation ratio. Detailed analyses are performed for two simple pursuit-evasion cases: a Simple Boat Guidance Problem and Missile Guidance Engagement.


title: The Reaction Mechanism of the Azide-Alkyne Huisgen Cycloaddition

abstract: The azide-alkyne Huisgen cycloaddition has a key role in click chemistry and configures as powerful tool in pharmaceutical and medicinal chemistry. Although this reaction has already been largely studied, there is an ongoing debate about its mechanism. In this work we study the dynamical aspects of the process using metadynamics computer simulation. We focus on the conformational aspects that determine the course of the reaction and characterize the free energy landscape of the process. To properly capture the thermodynamics of the process we select optimal collective variables using harmonic linear discriminant analysis. The results confirm the experimental evidence qualitatively and give insight on the role of the substituents and the possible transition mechanisms.


title: On Shafarevich-Tate groups and analytic ranks in families of modular forms, I. Hida families

abstract: Let $f$ be a newform of weight $2$, square-free level and trivial character, let $A_f$ be the abelian variety attached to $f$ and for every good ordinary prime $p$ for $f$ let $\boldsymbol f^{(p)}$ be the $p$-adic Hida family through $f$. We prove that, for all but finitely many primes $p$ as above, if $A_f$ is an elliptic curve such that $A_f(\mathbb Q)$ has rank $1$ and the $p$-primary part of the Shafarevich-Tate group of $A_f$ over $\mathbb Q$ is finite then all specializations of $\boldsymbol f^{(p)}$ of weight congruent to $2$ modulo $2(p-1)$ and trivial character have finite ($p$-primary) Shafarevich-Tate group and $1$-dimensional image of the relevant $p$-adic \'etale Abel-Jacobi map. Analogous results are obtained also in the rank $0$ case. As a second contribution, with no restriction on the dimension of $A_f$ but assuming the non-degeneracy of certain height pairings \`a la Gillet-Soul\'e between Heegner cycles, we show that if $f$ has analytic rank $1$ then, for all but finitely many $p$, all specializations of $\boldsymbol f^{(p)}$ of weight congruent to $2$ modulo $2(p-1)$ and trivial character have analytic rank $1$. This result provides some evidence in rank $1$ and weight larger than $2$ for a conjecture of Greenberg predicting that the analytic ranks of even weight modular forms in a Hida family should be as small as allowed by the functional equation, with at most finitely many exceptions.


title: Lower Bounds for Shoreline Searching with 2 or More Robots

abstract: Searching for a line on the plane with $n$ unit speed robots is a classic online problem that dates back to the 50's, and for which competitive ratio upper bounds are known for every $n\geq 1$. In this work we improve the best lower bound known for $n=2$ robots from 1.5993 to 3. Moreover we prove that the competitive ratio is at least $\sqrt{3}$ for $n=3$ robots, and at least $1/\cos(\pi/n)$ for $n\geq 4$ robots. Our lower bounds match the best upper bounds known for $n\geq 4$, hence resolving these cases. To the best of our knowledge, these are the first lower bounds proven for the cases $n\geq 3$ of this several decades old problem.


title: The Mass of Short-Range Correlated Nucleon

abstract: The nucleon properties and structure should be modified by short-range correlations (SRC) among nucleons. By analyzing SRC ratio data, we extract the mass of nucleon in the SRC pair and the expected number of pn-SRC pairs in deuterium, under the assumption that the SRC nucleon mass is universal in different nuclei. The nucleon mass of a two-nucleon SRC pair is $m_{\text{SRC}}=852\pm 18$ MeV, and the number of pn-SRC pairs in deuterium is $n^{\text{d}}_{\text{SRC}}=0.021\pm 0.005$. The mass deficit of the strongly overlapping nucleon can be explained by the trace anomaly contribution to the mass in QCD or alternatively by the vacuum energy in the MIT bag model.


title: A generalized Grobman-Hartman theorem

abstract: We prove that any generalized hyperbolic operator on any Banach space is structurally stable. As a consequence, we obtain a generalization of the classical Grobman-Hartman theorem.


title: Formal specification of a security framework for smart contracts

abstract: As smart contracts are growing in size and complexity, it becomes harder and harder to ensure their correctness and security. Due to the lack of isolation mechanisms a single mistake or vulnerability in the code can bring the whole system down, and due to this smart contract upgrades can be especially dangerous. Traditional ways to ensure the security of a smart contract, including DSLs, auditing and static analysis, are used before the code is deployed to the blockchain, and thus offer no protection after the deployment. After each upgrade the whole code need to be verified again, which is a difficult and time-consuming process that is prone to errors. To address these issues a security protocol and framework for smart contracts called Cap9 was developed. It provides developers the ability to perform upgrades in a secure and robust manner, and improves isolation and transparency through the use of a low level capability-based security model. We have used Isabelle/HOL to develop a formal specification of the Cap9 framework and prove its consistency. The paper presents a refinement-based approach that we used to create the specification, as well as discussion of some encountered difficulties during this process.


title: Subwavelength beam focusing using a ball-shaped lens for ultrasound imaging

abstract: Ultrasonic superresolution images can be generated by means of (super) focusing acoustic beams to subwavelength dimensions or using algorithm-based methods. Here, we demonstrate that ultrasonic pulses which are superfocused by a ball-shaped lens can be used to produce superresolution images. The imaging system is comprised of a circular flat transducer with an operation frequency of $1$ MHz, and a ball lens centered in the beam axis of symmetry. The corresponding wavelength in water is ${\lambda}_0 = 1.53$ mm. The system resolution is $0.6{\lambda}_0$ in the focal plane at one wavelength away from the lens. The superresolution method is compared with a conventional ultrasonic system based on a spherically focused transducer. Our method presents twice more resolution with a shorter depth-of-field of $2{\lambda}_0$. Possible applications that take advantage of these features are discussed, as well as some limitations of the proposed technique.


title: Visually Guided Self Supervised Learning of Speech Representations

abstract: Self supervised representation learning has recently attracted a lot of research interest for both the audio and visual modalities. However, most works typically focus on a particular modality or feature alone and there has been very limited work that studies the interaction between the two modalities for learning self supervised representations. We propose a framework for learning audio representations guided by the visual modality in the context of audiovisual speech. We employ a generative audio-to-video training scheme in which we animate a still image corresponding to a given audio clip and optimize the generated video to be as close as possible to the real video of the speech segment. Through this process, the audio encoder network learns useful speech representations that we evaluate on emotion recognition and speech recognition. We achieve state of the art results for emotion recognition and competitive results for speech recognition. This demonstrates the potential of visual supervision for learning audio representations as a novel way for self-supervised learning which has not been explored in the past. The proposed unsupervised audio features can leverage a virtually unlimited amount of training data of unlabelled audiovisual speech and have a large number of potentially promising applications.


title: Competing advection decelerates droplet evaporation on heated surfaces

abstract: In this article we report the atypical and anomalous evaporation kinetics of saline sessile droplets on surfaces with elevated temperatures. In a previous we showed that saline sessile droplets evaporate faster compared to water droplets when the substrates are not heated. In the present study we discover that in the case of heated surfaces, the saline droplets evaporate slower than the water counterpart, thereby posing a counter-intuitive phenomenon. The reduction in the evaporation rates is directly dependent on the salt concentration and the surface wettability. Natural convection around the droplet and thermal modulation of surface tension is found to be inadequate to explain the mechanisms. Flow visualisations using particle image velocimetry PIV reveals that the morphed advection within the saline droplets is a probable reason behind the arrested evaporation. Infrared thermography is employed to map the thermal state of the droplets. A thermosolutal Marangoni based scaling analysis is put forward. It is observed that the Marangoni and internal advection borne of thermal and solutal gradients are competitive, thereby leading to the overall decay of internal circulation velocity, which reduces the evaporation rates. The theoretically obtained advection velocities conform to the experimental results. This study sheds rich insight on a novel yet anomalous species transport behaviour in saline droplets.


title: Multipolar second-harmonic generation from high-$Q$ quasi-BIC states in nanoresonators

abstract: Multimode interference and multipolar interplay govern functionalities of optical nanoresonators and nonlinear nanoantennas. Recently, excitation of the high-quality supercavity modes (quasi-BIC states) in individual subwavelength dielectric particles has been predicted to boost the nonlinear frequency conversion at the nanoscale. Here, we put forward the multipolar model which captures the physics behind linear and nonlinear response driven by such high-$Q$ modes in nanoresonators. We show that formation of the quasi-BIC state in the AlGaAs nanodisk can be understood through multipolar transformations of coupled leaky modes. In particular, the hybridized axially symmetric TE-polarized modes can be viewed as superpositions of multipoles, with a basis of parent multipoles constituted mainly by magnetic dipoles and octupole. The quasi-BIC point in the parameter space appears where dipolar losses are totally suppressed. The efficient optical coupling to this state is implemented via azimuthally polarized beam illumination matching its multipolar origin. We establish a one-to-one correspondence between the standard non Hermitian coupled-mode theory and multipolar models that enables transparent interpretation of scattering characteristics. Using our approach, we derive the multipolar composition of the generated second-harmonic radiation from the AlGaAs nanodisk and validate it with full-wave numerical simulations. Back-action of the second-harmonic radiation onto the fundamental frequency is taken into account in the coupled nonlinear model with pump depletion. A hybrid metal-dielectric nanoantenna is proposed to augment the conversion efficiency up to tens of per cent and actualize the nonlinear parametric downconversion. Our findings delineate the in-depth conceptual framework and novel promising strategies in the design of functional elements for nonlinear nanophotonics applications.


title: Characterizing the Root Landscape of Certificate Transparency Logs

abstract: Internet security and privacy stand on the trustworthiness of public certificates signed by Certificate Authorities (CAs). However, software products do not trust the same CAs and therefore maintain different root stores, each typically containing hundreds of trusted roots capable of issuing "trusted" certificates for any domain. Incidents with misissued certificates motivated Google to implement and enforce Certificate Transparency (CT). CT logs archive certificates in a public, auditable and append-only manner. The adoption of CT changed the trust landscape. As a part of this change, CT logs started to maintain their own root lists and log certificates that chain back to one of the trusted roots. In this paper, we present the first characterization of this emerging CT root store landscape, as well as the tool that we developed for data collection, visualization, and analysis of the root stores. We compare the logs' root stores and quantify their changes with respect to both each other and the root stores of major software vendors, look at evolving vendor CT policies, and show that root store mismanagement may be linked to log misbehavior. Finally, we present and discuss the results of a survey that we have sent to the log operators participating in Apple's and Google's CT log programs.


title: Traveling skyrmions in chiral antiferromagnets

abstract: Skyrmions in antiferromagnetic (AFM) materials with the Dzyaloshinskii-Moriya (DM) interaction are expected to exist for essentially the same reasons as in DM ferromagnets (FM). It is shown that skyrmions in antiferromagnets with the DM interaction can be traveling as solitary waves with velocities up to a maximum value that depends on the DM parameter. Their configuration is found numerically. The energy and the linear momentum of an AFM skyrmion lead to a proper definition of its mass. We give the details of the energy-momentum dispersion of traveling skyrmions and explore their particle-like character based on exact relations. The skyrmion number, known to be linked to the dynamics of topological solitons in FM, is, here, unrelated to the dynamical behavior. As a result, the solitonic behavior of skyrmions in AFM is in stark contrast to the dynamical behavior of their FM counterparts


title: Accelerating Block Coordinate Descent for Nonnegative Tensor Factorization

abstract: This paper is concerned with improving the empirical convergence speed of block-coordinate descent algorithms for approximate nonnegative tensor factorization (NTF). We propose an extrapolation strategy in-between block updates, referred to as heuristic extrapolation with restarts (HER). HER significantly accelerates the empirical convergence speed of most existing block-coordinate algorithms for dense NTF, in particular for challenging computational scenarios, while requiring a negligible additional computational budget.


title: Hierarchical Modeling of Multidimensional Data in Regularly Decomposed Spaces: Synthesis and Perspective

abstract: This fourth and last tome is focusing on describing the envisioned works for a project that has been presented in the preceding tome. It is about a new approach dedicated to the coding of still and moving pictures, trying to bridge the MPEG-4 and MPEG-7 standard bodies. The aim of this project is to define the principles of self-descriptive video coding. In order to establish them, the document is composed in five chapters that describe the various envisioned techniques for developing such a new approach in visual coding: - image segmentation, - computation of visual descriptors, - computation of perceptual groupings, - building of visual dictionaries, - picture and video coding. Based on the techniques of multiresolution computing, it is proposed to develop an image segmentation made from piecewise regular components, to compute attributes on the frame and the rendering of so produced shapes, independently to the geometric transforms that can occur in the image plane, and to gather them into perceptual groupings so as to be able in performing recognition of partially hidden patterns. Due to vector quantization of shapes frame and rendering, it will appear that simple shapes may be compared to a visual alphabet and that complex shapes then become words written using this alphabet and be recorded into a dictionary. With the help of a nearest neighbour scanning applied on the picture shapes, the self-descriptive coding will then generate a sentence made from words written using the simple shape alphabet.


title: Dynamics of concentration in a population structured by age and a phenotypic trait with mutations. Convergence of the corrector

abstract: We study an equation structured by age and a phenotypic trait describing the growth process of a population subject to aging, competition between individuals, and mutations. This leads to a renewal equation which occurs in many evolutionary biology problems. We aim to describe precisely the asymp-totic behavior of the solution, to infer properties that illustrate the concentration and adaptive dynamics of such a population. This work is a continuation of [38] where the case without mutations is considered. When mutations are taken into account, it is necessary to control the corrector which is the main novelty of the present paper. Our approach consists in defining, by the Hopf transform, a Hamilton-Jacobi equation with an effective Hamiltonian as in homogenization problems. Its solution carries the singular part of the limiting density (typically Dirac masses) and the corrector defines the weights. The main new result of this paper is to prove that the corrector is uniformly bounded, using only the global Lipschitz and semi-convexity estimates for the viscosity solution of the Hamilton-Jacobi equation. We also establish the limiting equation satisfied by the corrector. To the best of our knowledge, this is the first example where such bounds can be proved in such a context.


title: Panel Data Quantile Regression for Treatment Effect Models

abstract: In this study, we develop a novel estimation method for quantile treatment effects (QTE) under rank invariance and rank stationarity assumptions. Ishihara (2020) explores identification of the nonseparable panel data model under these assumptions and proposes a parametric estimation based on the minimum distance method. However, when the dimensionality of the covariates is large, the minimum distance estimation using this process is computationally demanding. To overcome this problem, we propose a two-step estimation method based on the quantile regression and minimum distance methods. We then show the uniform asymptotic properties of our estimator and the validity of the nonparametric bootstrap. The Monte Carlo studies indicate that our estimator performs well in finite samples. Finally, we present two empirical illustrations, to estimate the distributional effects of insurance provision on household production and TV watching on child cognitive development.


title: A Novel Inspection System For Variable Data Printing Using Deep Learning

abstract: We present a novel approach for inspecting variable data prints (VDP) with an ultra-low false alarm rate (0.005%) and potential applicability to other real-world problems. The system is based on a comparison between two images: a reference image and an image captured by low-cost scanners. The comparison task is challenging as low-cost imaging systems create artifacts that may erroneously be classified as true (genuine) defects. To address this challenge we introduce two new fusion methods, for change detection applications, which are both fast and efficient. The first is an early fusion method that combines the two input images into a single pseudo-color image. The second, called Change-Detection Single Shot Detector (CD-SSD) leverages the SSD by fusing features in the middle of the network. We demonstrate the effectiveness of the proposed deep learning-based approach with a large dataset from real-world printing scenarios. Finally, we evaluate our models on a different domain of aerial imagery change detection (AICD). Our best method clearly outperforms the state-of-the-art baseline on this dataset.


title: Merging of Ontologies Through Merging of Their Rules

abstract: Ontology merging is important, but not always effective. The main reason, why ontology merging is not effective, is that ontology merging is performed without considering goals. Goals define the way, in which ontologies to be merged more effectively. The paper illustrates ontology merging by means of rules, which are generated from these ontologies. This is necessary for further use in expert systems.


title: Reachability in fixed dimension vector addition systems with states

abstract: The reachability problem is a central decision problem for formal verification based on vector addition systems with states (VASS), which are equivalent to Petri nets and form one of the most studied and applied models of concurrency. Reachability for VASS is also inter-reducible with a plethora of problems from a number of areas of computer science. In spite of recent progress, the complexity of the reachability problem remains unsettled, and it is closely related to the lengths of shortest VASS runs that witness reachability. We consider VASS of fixed dimension, and obtain three main results. For the first two, we assume that the integers in the input are given in unary, and that the control graph of the given VASS is flat (i.e., without nested cycles). We obtain a family of VASS in dimension 3 whose shortest reachability witnessing runs are exponential, and we show that the reachability problem is NP-hard in dimension 7. These results resolve negatively questions that had been posed by the works of Blondin et al. in LICS 2015 and Englert et al. in LICS 2016, and contribute a first construction that distinguishes 3-dimensional flat VASS from 2-dimensional VASS. Our third result, by means of a novel family of products of integer fractions, shows that 4-dimensional VASS can have doubly exponentially long shortest reachability witnessing runs. The smallest dimension for which this was previously known is 14.


title: Kodaira dimension of universal holomorphic symplectic varieties

abstract: We prove that the Kodaira dimension of the n-fold universal family of lattice-polarized holomorphic symplectic varieties with dominant and generically finite period map stabilizes to the moduli number when n is sufficiently large. Then we study the transition of Kodaira dimension explicitly, from negative to nonnegative, for known explicit families of polarized symplectic varieties. In particular, we determine the exact transition point in the cases of Beauville-Donagi and Debarre-Voisin, where the Borcherds Phi_{12} form plays a crucial role.


title: Initial quantum coherence in the thermodynamic work

abstract: We study the role of the initial quantum coherence in coherent processes generated by an external control of some parameters by looking on the thermodynamic work done. We start by taking in exam an active state and we isolate the contribution to the ergotropy coming from the quantum coherence among the energy eigenstates. It is shown to be related to the quantum relative entropy of coherence through an inequality which involves the completely passive state connected to the initial state. Finally, we extend the analysis to a general out-of-equilibrium process and we show how to take in account in the statistics of work the effects of the initial quantum coherence.


title: Solitary phase waves in a chain of autonomous oscillators

abstract: In the present paper we study phase waves of self-sustained oscillators with a nearest neighbor dispersive coupling on an infinite lattice. To analyze the underlying dynamics we approximate the lattice with a quasi-continuum, QC. The resulting partial differential model is then further reduced to the Gardner equation which predicts many properties of the underlying solitary structures. Using an iterative procedure on the original lattice equations we determine the shapes of solitary waves, kinks, and the flat-like solitons, that we refer to as flatons. Direct numerical experiments reveal that the interaction of solitons and flatons on the lattice is notably clean. All in all we find that both the QC and the Gardner equation predict remarkably well the discrete patterns and their dynamics.


title: Superfluid phases and excitations in a cold gas of d-wave interacting bosonic atoms and molecules

abstract: Motivated by recent advance in orbitally tuned Feshbach resonance experiments, we analyze the ground-state phase diagram and related low-energy excitation spectra of a d-wave interacting Bose gas. A two-channel model with d-wave symmetric interactions and background s-wave interactions is adopted to characterize the gas. The ground state is found to show three interesting phases: atomic, molecular, and atomic-molecular superfluidity. Remarkably differently from what was previously known in the p-wave case, the atomic superfluid is found to be momentum-independent in the present d-wave case. Bogoliubov spectra above each superfluid phase are obtained both analytically and numerically.


title: Onsager-Symmetry Obeyed in Athermal Mesoscopic Systems: Two-Phase Flow in Porous Media

abstract: We compute the fluid flow time-correlation functions of incompressible, immiscible two-phase flow in porous media using a 2D network model. Given a properly chosen representative elementary volume, the flow rate distributions are Gaussian and the integrals of time correlation functions of the flows are found to converge to a finite value. The integrated cross-correlations become symmetric, obeying Onsager's reciprocal relations. These findings support the proposal of a non-equilibrium thermodynamic description for two-phase flow in porous media.


title: Universal Algorithms for Parity Games and Nested Fixpoints

abstract: An attractor decomposition meta-algorithm for solving parity games is given that generalises the classic McNaughton-Zielonka algorithm and its recent quasi-polynomial variants due to Parys (2019), and to Lehtinen, Schewe, and Wojtczak (2019). The central concepts studied and exploited are attractor decompositions of dominia in parity games and the ordered trees that describe the inductive structure of attractor decompositions. The universal algorithm yields McNaughton-Zielonka, Parys, and Lehtinen-Schewe-Wojtczak algorithms as special cases when suitable universal trees are given to it as inputs. The main technical results provide a unified proof of correctness and structural insights into those algorithms. Suitably adapting the universal algorithm for parity games to fixpoint games gives a quasi-polynomial time algorithm to compute nested fixpoints over finite complete lattices. The universal algorithms for parity games and nested fixpoints can be implemented symbolically. It is shown how this can be done with $O(\lg d)$ symbolic space complexity, improving the $O(d \lg n)$ symbolic space complexity achieved by Chatterjee, Dvo\v{r}\'{a}k, Henzinger, and Svozil (2018) for parity games, where $n$ is the number of vertices and $d$ is the number of distinct priorities in a parity game.


title: A sharp stability estimate for tensor tomography in non-positive curvature

abstract: We consider the geodesic X-ray transform acting on solenoidal tensor fields on a compact simply connected manifold with strictly convex boundary and non-positive curvature. We establish a stability estimate of the form $L^2\mapsto H^{1/2}_{T}$, where the $H^{1/2}_{T}$-space is defined using the natural parametrization of geodesics as initial boundary points and incoming directions (fan-beam geometry); only tangential derivatives at the boundary are used. The proof is based on the Pestov identity with boundary term localized in frequency.


title: Beyond Near- and Long-Term: Towards a Clearer Account of Research Priorities in AI Ethics and Society

abstract: One way of carving up the broad "AI ethics and society" research space that has emerged in recent years is to distinguish between "near-term" and "long-term" research. While such ways of breaking down the research space can be useful, we put forward several concerns about the near/long-term distinction gaining too much prominence in how research questions and priorities are framed. We highlight some ambiguities and inconsistencies in how the distinction is used, and argue that while there are differing priorities within this broad research community, these differences are not well-captured by the near/long-term distinction. We unpack the near/long-term distinction into four different dimensions, and propose some ways that researchers can communicate more clearly about their work and priorities using these dimensions. We suggest that moving towards a more nuanced conversation about research priorities can help establish new opportunities for collaboration, aid the development of more consistent and coherent research agendas, and enable identification of previously neglected research areas.


title: Extended symmetries in geometrical optics

abstract: We examine additional symmetries of specific refraction index profiles that are used in the well-known phenomena of perfect imaging and cloaking.In the considered cases, the translation generator and the angular momentum are conserved. We express the ray trajectory parameters through the integrals of motion and observe the existence of a photon state with maximal angular momentum, which can be used as an optical resonator. Application in plasmons and the role of polarization are discussed, and the Spin Hall effect in an extended symmetry profile is predicted.


title: Congruences for coefficients of modular functions in levels 3, 5, and 7 with poles at 0

abstract: We give congruences modulo powers of $p \in \{3, 5,7\}$ for the Fourier coefficients of certain modular functions in level $p$ with poles only at 0, answering a question posed by Andersen and the first author and continuing work done by the authors and Moss. The congruences involve a modulus that depends on the base $p$ expansion of the modular form's order of vanishing at $\infty$.


title: Extraction of Relevant Images for Boilerplate Removal in Web Browsers

abstract: Boilerplate refers to unwanted and repeated parts of a webpage (such as ads or table of contents) that distracts the user from reading the core content of the webpage, such as a news article. Accurate detection and removal of boilerplate content from a webpage can enable the users to have a clutter free view of the webpage or news article. This can be useful in features like reader mode in web browsers. Current implementations of reader mode in web browsers such as Firefox, Chrome and Edge perform reasonably well for textual content in webpages. However, they are mostly heuristic based and not flexible when the webpage content is dynamic. Also they often do not perform well for removing boilerplate content in the form of images and multimedia in webpages. For detection of boilerplate images, one needs to have knowledge of the actual layout of the images in the webpage, which is only possible when the webpage is rendered. In this paper we discuss some of the issues in relevant image extraction. We also present the design of a testing framework to measure accuracy and a classifier to extract relevant images by leveraging a headless browser solution that gives the rendering information for images.


title: Optimal Triangulation of Regular Simplicial Sets

abstract: The Barratt nerve, denoted $B$, is the endofunctor that takes a simplicial set to the nerve of the poset of its non-degenerate simplices. The ordered simplicial complex $BSd\, X$, namely the Barratt nerve of the Kan subdivision $Sd\, X$, is a triangulation of the original simplicial set $X$ in the sense that there is a natural map $BSd\, X\to X$ whose geometric realization is homotopic to some homeomorphism. This is a refinement to the result that any simplicial set can be triangulated. A simplicial set is said to be regular if each of its non-degenerate simplices is embedded along its $n$-th face. That $BSd\, X\to X$ is a triangulation of $X$ is a consequence of the fact that the Kan subdivision makes simplicial sets regular and that $BX$ is a triangulation of $X$ whenever $X$ is regular. In this paper, we argue that $B$, interpreted as a functor from regular to non-singular simplicial sets, is not just any triangulation, but in fact the best. We mean this in the sense that $B$ is the left Kan extension of barycentric subdivision along the Yoneda embedding.


title: First-order differentiability properties of a class of equality constrained optimal value functions with applications

abstract: In this paper we study the right differentiability of a parametric infimum function over a parametric set defined by equality constraints. We present a new theorem with sufficient conditions for the right differentiability with respect to the parameter. Target applications are nonconvex objective functions with equality constraints arising in optimal control and shape optimisation. The theorem makes use of the averaged adjoint approach in conjunction with the variational approach of Kunisch, Ito and Peichl. We provide two examples of our abstract result: (a) a shape optimisation problem involving a semilinear partial differential equation which exhibits infinitely many solutions, (b) a finite dimensional quadratic function subject to a nonlinear equation.


title: Information Newton's flow: second-order optimization method in probability space

abstract: We introduce a framework for Newton's flows in probability space with information metrics, named information Newton's flows. Here two information metrics are considered, including both the Fisher-Rao metric and the Wasserstein-2 metric. A known fact is that overdamped Langevin dynamics correspond to Wasserstein gradient flows of Kullback-Leibler (KL) divergence. Extending this fact to Wasserstein Newton's flows, we derive Newton's Langevin dynamics. We provide examples of Newton's Langevin dynamics in both one-dimensional space and Gaussian families. For the numerical implementation, we design sampling efficient variational methods in affine models and reproducing kernel Hilbert space (RKHS) to approximate Wasserstein Newton's directions. We also establish convergence results of the proposed information Newton's method with approximated directions. Several numerical examples from Bayesian sampling problems are shown to demonstrate the effectiveness of the proposed method.


title: Reservoir computing for sensing: an experimental approach

abstract: The increasing popularity of machine learning solutions puts increasing restrictions on this field if it is to penetrate more aspects of life. In particular, energy efficiency and speed of operation is crucial, inter alia in portable medical devices. The Reservoir Computing (RC) paradigm poses as a solution to these issues through foundation of its operation: the reservoir of states. Adequate separation of input information translated into the internal state of the reservoir, whose connections do not need to be trained, allow to simplify the readout layer thus significantly accelerating the operation of the system. In this brief review article, the theoretical basis of RC was first described, followed by a description of its individual variants, their development and state-of-the-art applications in chemical sensing and metrology: detection of impedance changes and ion sensing. Presented results indicate applicability of reservoir computing for sensing and validating the SWEET algorithm experimentally.


title: Review of Probability Distributions for Modeling Count Data

abstract: Count data take on non-negative integer values and are challenging to properly analyze using standard linear-Gaussian methods such as linear regression and principal components analysis. Generalized linear models enable direct modeling of counts in a regression context using distributions such as the Poisson and negative binomial. When counts contain only relative information, multinomial or Dirichlet-multinomial models can be more appropriate. We review some of the fundamental connections between multinomial and count models from probability theory, providing detailed proofs. These relationships are useful for methods development in applications such as topic modeling of text data and genomics.


title: An Explainable Autoencoder For Collaborative Filtering Recommendation

abstract: Autoencoders are a common building block of Deep Learning architectures, where they are mainly used for representation learning. They have also been successfully used in Collaborative Filtering (CF) recommender systems to predict missing ratings. Unfortunately, like all black box machine learning models, they are unable to explain their outputs. Hence, while predictions from an Autoencoder-based recommender system might be accurate, it might not be clear to the user why a recommendation was generated. In this work, we design an explainable recommendation system using an Autoencoder model whose predictions can be explained using the neighborhood based explanation style. Our preliminary work can be considered to be the first step towards an explainable deep learning architecture based on Autoencoders.


title: Shareable Representations for Search Query Understanding

abstract: Understanding search queries is critical for shopping search engines to deliver a satisfying customer experience. Popular shopping search engines receive billions of unique queries yearly, each of which can depict any of hundreds of user preferences or intents. In order to get the right results to customers it must be known queries like "inexpensive prom dresses" are intended to not only surface results of a certain product type but also products with a low price. Referred to as query intents, examples also include preferences for author, brand, age group, or simply a need for customer service. Recent works such as BERT have demonstrated the success of a large transformer encoder architecture with language model pre-training on a variety of NLP tasks. We adapt such an architecture to learn intents for search queries and describe methods to account for the noisiness and sparseness of search query data. We also describe cost effective ways of hosting transformer encoder models in context with low latency requirements. With the right domain-specific training we can build a shareable deep learning model whose internal representation can be reused for a variety of query understanding tasks including query intent identification. Model sharing allows for fewer large models needed to be served at inference time and provides a platform to quickly build and roll out new search query classifiers.


title: Asymmetrical Hierarchical Networks with Attentive Interactions for Interpretable Review-Based Recommendation

abstract: Recently, recommender systems have been able to emit substantially improved recommendations by leveraging user-provided reviews. Existing methods typically merge all reviews of a given user or item into a long document, and then process user and item documents in the same manner. In practice, however, these two sets of reviews are notably different: users' reviews reflect a variety of items that they have bought and are hence very heterogeneous in their topics, while an item's reviews pertain only to that single item and are thus topically homogeneous. In this work, we develop a novel neural network model that properly accounts for this important difference by means of asymmetric attentive modules. The user module learns to attend to only those signals that are relevant with respect to the target item, whereas the item module learns to extract the most salient contents with regard to properties of the item. Our multi-hierarchical paradigm accounts for the fact that neither are all reviews equally useful, nor are all sentences within each review equally pertinent. Extensive experimental results on a variety of real datasets demonstrate the effectiveness of our method.


title: Decisiveness of Stochastic Systems and its Application to Hybrid Models

abstract: In [ABM07], Abdulla et al. introduced the concept of decisiveness, an interesting tool for lifting good properties of finite Markov chains to denumerable ones. Later, this concept was extended to more general stochastic transition systems (STSs), allowing the design of various verification algorithms for large classes of (infinite) STSs. We further improve the understanding and utility of decisiveness in two ways. First, we provide a general criterion for proving decisiveness of general STSs. This criterion, which is very natural but whose proof is rather technical, (strictly) generalizes all known criteria from the literature. Second, we focus on stochastic hybrid systems (SHSs), a stochastic extension of hybrid systems. We establish the decisiveness of a large class of SHSs and, under a few classical hypotheses from mathematical logic, we show how to decide reachability problems in this class, even though they are undecidable for general SHSs. This provides a decidable stochastic extension of o-minimal hybrid systems. [ABM07] Parosh A. Abdulla, Noomene Ben Henda, and Richard Mayr. 2007. Decisive Markov Chains. Log. Methods Comput. Sci. 3, 4 (2007).


title: Leveraging Multi-Method Evaluation for Multi-Stakeholder Settings

abstract: In this paper, we focus on recommendation settings with multiple stakeholders with possibly varying goals and interests, and argue that a single evaluation method or measure is not able to evaluate all relevant aspects in such a complex setting. We reason that employing a multi-method evaluation, where multiple evaluation methods or measures are combined and integrated, allows for getting a richer picture and prevents blind spots in the evaluation outcome.


title: Balancing Accuracy and Diversity in Recommendations using Matrix Completion Framework

abstract: Design of recommender systems aimed at achieving high prediction accuracy is a widely researched area. However, several studies have suggested the need for diversified recommendations, with acceptable level of accuracy, to avoid monotony and improve customers experience. However, increasing diversity comes with an associated reduction in recommendation accuracy; thereby necessitating an optimum tradeoff between the two. In this work, we attempt to achieve accuracy vs diversity balance, by exploiting available ratings and item metadata, through a single, joint optimization model built over the matrix completion framework. Most existing works, unlike our formulation, propose a 2 stage model, a heuristic item ranking scheme on top of an existing collaborative filtering technique. Experimental evaluation on a movie recommender system indicates that our model achieves higher diversity for a given drop in accuracy as compared to existing state of the art techniques.


title: An efficient and high-resolution topology optimization method based on convolutional neural networks

abstract: 2. In Section 3, we used some vague statements to affirm the training process of the neural network, which cannot support others to reproduce the results of the paper. In addition, this section does not show the difference between this paper and other work, nor does it reflect innovation. 3. In Section 5, the numerical examples are not compared with other multi-resolution methods, which is not enough to explain the superiority of the method proposed in this paper. Figure 10 also fails to show that this method is significantly improved compared to the traditional method. Thanks for your understanding. Topology optimization is a pioneering design method that can provide various candidates with high mechanical properties. However, the high-resolution for the optimum structures is highly desired, normally in turn leading to computationally intractable puzzle, especially for the famous Solid Isotropic Material with Penalization (SIMP) method. In this paper, we introduce the Super-Resolution Convolutional Neural Network (SRCNN) technique into topology optimization framework to improve the resolution of topology solutions with extremely high computational efficiency. Additionally, a pooling strategy is established to balance the number of finite element analysis (FEA) and the output mesh in optimization process. Considering the high training cost of 3D neural networks, several 2D neural networks are combined to deal with 3D topology optimization design problems. The combined treatment method used in 3D topology optimization design eliminates the expense of retraining 3D convolutional neural network and guarantees the quality of 3D design. Some typical examples justify that the high-resolution topology optimization method adopting SRCNN has excellent applicability and high efficiency.


title: CLUENER2020: Fine-grained Named Entity Recognition Dataset and Benchmark for Chinese

abstract: In this paper, we introduce the NER dataset from CLUE organization (CLUENER2020), a well-defined fine-grained dataset for named entity recognition in Chinese. CLUENER2020 contains 10 categories. Apart from common labels like person, organization, and location, it contains more diverse categories. It is more challenging than current other Chinese NER datasets and could better reflect real-world applications. For comparison, we implement several state-of-the-art baselines as sequence labeling tasks and report human performance, as well as its analysis. To facilitate future work on fine-grained NER for Chinese, we release our dataset, baselines, and leader-board.


title: Button Simulation and Design via FDVV Models

abstract: Designing a push-button with desired sensation and performance is challenging because the mechanical construction must have the right response characteristics. Physical simulation of a button's force-displacement (FD) response has been studied to facilitate prototyping; however, the simulations' scope and realism have been limited. In this paper, we extend FD modeling to include vibration (V) and velocity-dependence characteristics (V). The resulting FDVV models better capture tactility characteristics of buttons, including snap. They increase the range of simulated buttons and the perceived realism relative to FD models. The paper also demonstrates methods for obtaining these models, editing them, and simulating accordingly. This end-to-end approach enables the analysis, prototyping, and optimization of buttons, and supports exploring designs that would be hard to implement mechanically.


title: Testing the critical brain hypothesis using a phenomelogical renormalization group

abstract: We present a systematic study to test a recently introduced phenomenological renormalization group, proposed to coarse-grain data of neural activity from their correlation matrix. The approach allows, at least in principle, to establish whether the collective behavior of the network of spiking neurons is described by a non-Gaussian critical fixed point. We test this renormalization procedure in a variety of models focusing in particular on the contact process, which displays an absorbing phase transition at $\lambda = \lambda_c$ between a silent and an active state. We find that the results of the coarse-graining do not depend on the presence of long-range interactions, but some scaling features persist in the super-critical system up to a distance of $10\%$ from $\lambda_c$. Our results provide insights on the possible subtleties that one needs to consider when applying such phenomenological approaches directly to data to infer signatures of criticality.


title: The AGORA high-resolution galaxy simulations comparison project: Public data release

abstract: As part of the AGORA High-resolution Galaxy Simulations Comparison Project (Kim et al. 2014, 2016) we have generated a suite of isolated Milky Way-mass galaxy simulations using 9 state-of-the-art gravito-hydrodynamics codes widely used in the numerical galaxy formation community. In these simulations we adopted identical galactic disk initial conditions, and common physics models (e.g., radiative cooling and ultraviolet background by a standardized package). Subgrid physics models such as Jeans pressure floor, star formation, supernova feedback energy, and metal production were carefully constrained. Here we release the simulation data to be freely used by the community. In this release we include the disk snapshots at 0 and 500Myr of evolution per each code as used in Kim et al. (2016), from simulations with and without star formation and feedback. We encourage any member of the numerical galaxy formation community to make use of these resources for their research - for example, compare their own simulations with the AGORA galaxies, with the common analysis yt scripts used to obtain the plots shown in our papers, also available in this release.


title: Singular solutions for coercive quasilinear elliptic inequalities with nonlocal terms

abstract: We study the inequality $$ {\rm div}\big(|x|^{-\alpha}|\nabla u|^{m-2}\nabla u\big)\geq (I_\beta\ast u^p)u^q \quad\mbox{ in } B_1\setminus\{0\}\subset {\mathbb R}^N, $$ where $\alpha>0$, $N\geq 1$, $m>1$, $p, q>m-1$ and $I_\beta$ denotes the Riesz potential of order $\beta\in(0, N)$. We obtain sharp conditions in terms of these parameters for which positive singular solutions exist. We further establish the asymptotic profile of singular solutions to the double inequality $$ a(I_\beta\ast u^p)u^q\geq {\rm div}\big(|x|^{-\alpha}|\nabla u|^{m-2}\nabla u\big)\geq b(I_\beta\ast u^p)u^q \quad\mbox{ in } B_1\setminus\{0\}\subset {\mathbb R}^N, $$ where $a\geq b>0$ are constants.


title: Quantum criticality of the Rabi-Stark model at finite frequency ratios

abstract: In this paper, we analyze the quantum criticality of the Rabi-Stark model at finite ratios of the qubit and cavity frequencies in terms of the energy gap, the order parameter, as well as the fidelity, if the Stark coupling strength is the same as the cavity frequency. The critical exponents are derived analytically. The energy gap and the length critical exponents are different from those in the quantum Rabi model and the Dicke model. The finite size scaling analysis for the order parameter and the fidelity susceptibility is also performed. The universal scaling behaviors are demonstrated and several finite size exponents can be then extracted. Furthermore, universal critical behavior can be also established in terms of the bosonic Hilbert space truncation number, and the corresponding critical scaling exponents are found. Interestingly, the critical correlation length exponents in terms of the photonic truncation number as well as the equivalently effective length scales are different in the Rabi-Stark model and the quantum Rabi model, suggesting they belong to different universality classes. The second-order quantum phase transition is convincingly corroborated in the Rabi-Stark model at finite frequency ratios, by contrast, it only emerges at the infinite frequency ratio in the original quantum Rabi model without the Stark coupling.


title: Reduction of Saturn Orbit Insertion Impulse using Deep-Space Low Thrust

abstract: Orbit insertion at Saturn requires a large impulsive manoeuver due to the velocity difference between the spacecraft and the planet. This paper presents a strategy to reduce dramatically the hyperbolic excess speed at Saturn by means of deep-space electric propulsion. The interplanetary trajectory includes a gravity assist at Jupiter, combined with low-thrust maneuvers. The thrust arc from Earth to Jupiter lowers the launch energy requirement, while an ad hoc steering law applied after the Jupiter flyby reduces the hyperbolic excess speed upon arrival at Saturn. This lowers the orbit insertion impulse to the point where capture is possible even with a gravity assist with Titan. The control-law algorithm, the benefits to the mass budget and the main technological aspects are presented and discussed. The simple steering law is compared with a trajectory optimizer to evaluate the quality of the results and possibilities for improvement.


title: DoF Region of the Decentralized MIMO Broadcast Channel -- How many informed antennas do we need?

abstract: In this work, we study the impact of imperfect sharing of the Channel State Information (CSI) available at the transmitters on a Network MIMO setting in which a set of $M$ transmit antennas, possibly not co-located, jointly serve two multi-antenna users endowed with $N_1$ and $N_2$ antennas, respectively. We consider the case where only a subset of $k$ transmit antennas have access to perfect CSI, whereas the other $M-k$ transmit antennas have only access to finite precision CSI. The analysis of this configuration aims to answer the question of how much an extra informed antenna can help. We model this scenario as a Decentralized MIMO Broadcast Channel (BC) and characterize the Degrees-of-Freedom (DoF) region, showing that only $k=\max(N_1,N_2)$ antennas with perfect CSI are needed to achieve the DoF of the conventional BC with ubiquitous perfect CSI. Furthermore, we identify the increase of DoF obtained by providing CSI to an extra transmit antenna.


title: Many-body electronic structure of LaScO$_3$ by real space quantum Monte Carlo

abstract: We present real space quantum Monte Carlo (QMC) calculations of the scandate LaScO$_3$ that proved to be challenging for traditional electronic structure approaches due to strong correlation effects resulting in inaccurate band gaps from DFT and $GW$ methods when compared with existing experimental data. Besides calculating an accurate QMC band gap corrected for supercell size biases and in agreement with numerous experiments, we also predict the cohesive energy of the crystal using the standard fixed-node QMC without any empirical or non-variational parameters. We show that promotion (optical) gap and fundamental gap agree with each other illustrating a clear absence of significant excitonic effects in the ideal crystal. We obtained these results in perfect consistency in two independent tracks that employ different basis sets (plane wave vs. localized gaussians), different codes for generating orbitals (\textsc{Quantum Espresso} vs. \textsc{Crystal}), different QMC codes (\textsc{Qmcpack} vs. \textsc{Qwalk}) and different high-accuracy pseudopotentials (ccECPs vs. Troullier-Martins) presenting the maturity and consistency of QMC methodology and tools for studies of strongly correlated problems.


title: Classifying All Interacting Pairs in a Single Shot

abstract: In this paper, we introduce a novel human interaction detection approach, based on CALIPSO (Classifying ALl Interacting Pairs in a Single shOt), a classifier of human-object interactions. This new single-shot interaction classifier estimates interactions simultaneously for all human-object pairs, regardless of their number and class. State-of-the-art approaches adopt a multi-shot strategy based on a pairwise estimate of interactions for a set of human-object candidate pairs, which leads to a complexity depending, at least, on the number of interactions or, at most, on the number of candidate pairs. In contrast, the proposed method estimates the interactions on the whole image. Indeed, it simultaneously estimates all interactions between all human subjects and object targets by performing a single forward pass throughout the image. Consequently, it leads to a constant complexity and computation time independent of the number of subjects, objects or interactions in the image. In detail, interaction classification is achieved on a dense grid of anchors thanks to a joint multi-task network that learns three complementary tasks simultaneously: (i) prediction of the types of interaction, (ii) estimation of the presence of a target and (iii) learning of an embedding which maps interacting subject and target to a same representation, by using a metric learning strategy. In addition, we introduce an object-centric passive-voice verb estimation which significantly improves results. Evaluations on the two well-known Human-Object Interaction image datasets, V-COCO and HICO-DET, demonstrate the competitiveness of the proposed method (2nd place) compared to the state-of-the-art while having constant computation time regardless of the number of objects and interactions in the image.


title: Spectral Polyhedra

abstract: A "spectral convex set" is a collection of symmetric matrices whose range of eigenvalues form a symmetric convex set. Spectral convex sets generalize the Schur-Horn orbitopes studied by Sanyal-Sottile-Sturmfels (2011). We study this class of convex bodies, which is closed under intersections, polarity, and Minkowski sums. We describe orbits of faces and give a formula for their Steiner polynomials. We then focus on spectral polyhedra. We prove that spectral polyhedra are spectrahedra and give small representations as spectrahedral shadows. We close with observations and questions regarding hyperbolicity cones, polar convex bodies, and spectral zonotopes.


title: Multi-Source Domain Adaptation for Text Classification via DistanceNet-Bandits

abstract: Domain adaptation performance of a learning algorithm on a target domain is a function of its source domain error and a divergence measure between the data distribution of these two domains. We present a study of various distance-based measures in the context of NLP tasks, that characterize the dissimilarity between domains based on sample estimates. We first conduct analysis experiments to show which of these distance measures can best differentiate samples from same versus different domains, and are correlated with empirical results. Next, we develop a DistanceNet model which uses these distance measures, or a mixture of these distance measures, as an additional loss function to be minimized jointly with the task's loss function, so as to achieve better unsupervised domain adaptation. Finally, we extend this model to a novel DistanceNet-Bandit model, which employs a multi-armed bandit controller to dynamically switch between multiple source domains and allow the model to learn an optimal trajectory and mixture of domains for transfer to the low-resource target domain. We conduct experiments on popular sentiment analysis datasets with several diverse domains and show that our DistanceNet model, as well as its dynamic bandit variant, can outperform competitive baselines in the context of unsupervised domain adaptation.


title: A first proof of principle booster setup for the MADMAX dielectric haloscope

abstract: Axions and axion-like particles are excellent low-mass dark matter candidates. The MADMAX experiment aims to directly detect galactic axions with masses between $40\,\mu{\rm eV}$ and $400\,\mu{\rm eV}$ by using the axion-induced emission of electromagnetic waves from boundaries between materials of different dielectric constants under a strong magnetic field. Combining many such surfaces, this emission can be significantly enhanced (boosted) using constructive interference and resonances. We present a first proof of principle realization of such a booster system consisting of a copper mirror and up to five sapphire disks. The electromagnetic response of the system is investigated by reflectivity measurements. The mechanical accuracy, calibration process of unwanted reflections and the repeatability of a basic tuning algorithm to place the disks are investigated. We find that for the presented cases the electromagnetic response in terms of the group delay predicted by one-dimensional calculations is sufficiently realized in our setup. The repeatability of the tuning is at the percent level, and would have small impact on the sensitivity of such a booster.


title: Optimal rate of condensation for trapped bosons in the Gross-Pitaevskii regime

abstract: We study the Bose-Einstein condensates of trapped Bose gases in the Gross-Pitaevskii regime. We show that the ground state energy and ground states of the many-body quantum system are correctly described by the Gross-Pitaevskii equation in the large particle number limit, and provide the optimal convergence rate. Our work extends the previous results of Lieb, Seiringer and Yngvason on the leading order convergence, and of Boccato, Brennecke, Cenatiempo and Schlein on the homogeneous gas. Our method relies on the idea of 'completing the square', inspired by recent works of Brietzke, Fournais and Solovej on the Lee-Huang-Yang formula, and a general estimate for Bogoliubov quadratic Hamiltonians on Fock space.


title: Phonon-induced optical dephasing in single organic molecules

abstract: Organic molecules have recently gained attention as novel sources of single photons. We present a joint experiment--theory analysis of the temperature-dependent emission spectra, zero-phonon linewidth, and second-order correlation function of light emitted from a single molecule. We observe spectra with a zero-phonon-line together with several additional sharp peaks, broad phonon sidebands, and a strongly temperature dependent homogeneous broadening. Our model includes both localised vibrational modes of the molecule and a thermal phonon bath, which we include non-perturbatively, and is able capture all observed features. For resonant driving we measure Rabi oscillations that become increasingly damped with temperature, which our model naturally reproduces. Our results constitute an essential characterisation of the photon coherence of these promising molecules, paving the way towards their use in future quantum information applications.


title: Magnetic properties of Mn-doped Bi$_2$Se$_3$ topological insulators: ab initio calculations

abstract: Doping Bi$_2$Se$_3$ by magnetic ions represents an interesting problem since it may break the time reversal symmetry needed to maintain the topological insulator character. Mn dopants in Bi$_2$Se$_3$ represent one of the most studied examples here. However, there is a lot of open questions regarding their magnetic ordering. In the experimental literature different Curie temperatures or no ferromagnetic order at all are reported for comparable Mn concentrations. This suggests that magnetic ordering phenomena are complex and highly susceptible to different growth parameters, which are known to affect material defect concentrations. So far theory focused on Mn dopants in one possible position, and neglected relaxation effects as well as native defects. We have used ab initio methods to calculate the Bi$_2$Se$_3$ electronic structure influenced by magnetic Mn dopants, and exchange interactions between them. We have considered two possible Mn positions, the substitutional and interstitial one, and also native defects. We have found a sizable relaxation of atoms around Mn, which affects significantly magnetic interactions. Surprisingly, very strong interactions correspond to a specific position of Mn atoms separated by van der Waals gap. Based on the calculated data we performed spin dynamics simulations to examine systematically the resulting magnetic order for various defect contents. We have found under which conditions the experimentally measured Curie temperatures ${T_{\rm{C}}}$ can be reproduced, noticing that interstitial Mn atoms appear to be important here. Our theory predicts the change of ${T_{\rm{C}}}$ with a shift of Fermi level, which opens the way to tune the system magnetic properties by selective doping.


title: Strong curvature naked singularities in spherically symmetric perfect fluid collapse

abstract: We investigate here the locally naked singularity formed due to a spherically symmetric inhomogeneous collapsing cloud having non-zero isotropic pressure, in terms of its strength. Sufficient condition provided by Clarke and Krolak for it to be Tipler strong has been used to restrict the parameters that represent the non-linear relation between the physical radius and the radial coordinate of the outgoing radial null geodesic at the singular center. Studying end state of a collapsing cloud requires information about the dynamics of collapse, which is unknown in a general scenario. Hence we study small perturbations to the mass profile for inhomogeneous dust, which is possible using the formalism developed here. This perturbed mass profile, in turn, gives rise to non-zero pressure. We show the existence of a non-zero measure set of initial data giving rise to such strong curvature naked singularity.


title: Reducing the impact of bulk doping on transport properties of Bi-based 3D topological insulators

abstract: The observation of helical surface states in Bi-based three-dimensional topological insulators has been a challenge since their theoretical prediction. The main issue raises when the Fermi level shifts deep into the bulk conduction band due to the unintentional doping. This results in a metallic conduction of the bulk which dominates the transport measurements and hinders the probing of the surface states in these experiments. In this study, we investigate various strategies to reduce the residual doping in Bi-based topological insulators. Flakes of Bi$_2$Se$_3$ and Bi$_{1.5}$Sb$_{0.5}$Te$_{1.7}$Se$_{1.3}$ are grown by physical vapor deposition and their structural and electronic properties are compared to mechanically exfoliated flakes. Using Raman spectroscopy, we explore the role of the substrate in this process and present the optimal conditions for the fabrication of high quality crystals. Despite of this improvement, we show that the vapor phase deposited flakes still suffer from structural disorder which leads to the residual n-type doping of the bulk. Using magneto-measurements we show that exfoliated flakes have better electrical properties and are thus more promising for the probing of surface states.


title: Convergence of Probability Densities using Approximate Models for Forward and Inverse Problems in Uncertainty Quantification: Extensions to $L^p$

abstract: A previous study analyzed the convergence of probability densities for forward and inverse problems when a sequence of approximate maps between model inputs and outputs converges in $L^\infty$. This work generalizes the analysis to cases where the approximate maps converge in $L^p$ for any $1\leq p < \infty$. Specifically, under the assumption that the approximate maps converge in $L^p$, the convergence of probability density functions solving either forward or inverse problems is proven in $L^q$ where the value of $1\leq q<\infty$ may even be greater than $p$ in certain cases. This greatly expands the applicability of the previous results to commonly used methods for approximating models (such as polynomial chaos expansions) that only guarantee $L^p$ convergence for some $1\leq p<\infty$. Several numerical examples are also included along with numerical diagnostics of solutions and verification of assumptions made in the analysis.


title: LHC Run-2 and Future Prospects

abstract: The lecture discusses both the current status of the LHC collider as well as its future running scenarios. In addition a selection of the latest physics results from ATLAS/CMS and LHCb is presented.


title: On the Primordial Black Hole Mass Function for Broad Spectra

abstract: We elaborate on the mass function of primordial black holes in the case in which the power spectrum of the curvature perturbation is broad. For the case of a broad and flat spectrum, we argue that such a mass function is peaked at the smallest primordial black mass which can be formed and possesses a tail decaying like $M^{-3/2}$, where $M$ is the mass of the primordial black hole.


title: Normal tilings of a Banach space and its ball

abstract: We show some new results about tilings in Banach spaces. A tiling of a Banach space $X$ is a covering by closed sets with non-empty interior so that they have pairwise disjoint interiors. If moreover the tiles have inner radii uniformly bounded from below, and outer radii uniformly bounded from above, we say that the tiling is normal. In 2010 Preiss constructed a convex normal tiling of the separable Hilbert space. For Banach spaces with Schauder basis we will show that Preiss' result is still true with starshaped tiles instead of convex ones. Also, whenever $X$ is uniformly convex we give precise constructions of convex normal tilings of the unit sphere, the unit ball or in general of any convex body.


title: Convex Integration Applied to the Multi-Dimensional Compressible Euler Equations

abstract: We shall deal with both the barotropic and the full compressible Euler system in multiple space dimensions. Both systems are particular examples of hyperbolic conservation laws. Whereas for scalar conservation laws there exists a well-known complete well-posedness theory, and for one-dimensional systems one also has achieved several results on existence and uniqueness, in the case of multi-dimensional systems there are even negative results regarding uniqueness: With the so-called convex integration method it is possible to show that there exist initial data for which the compressible Euler equations in multiple space dimensions admit infinitely many solutions. The convex integration technique was originally developed in the context of differential inclusions and has later been applied in groundbreaking papers by De Lellis and Sz\'ekelyhidi to the incompressible Euler equations which led to infinitely many solutions. In the literature this result has been refined in order to obtain solutions for the compressible Euler system as well. The common feature of all of these non-uniqueness results for compressible Euler is an ansatz which reduces the compressible Euler equations to some kind of "incompressible system" for which a slight modification of the incompressible theory can be applied. In this work we present a first result of a direct application of convex integration to the barotropic compressible Euler equations. With the help of this result we will show existence of initial data for which there are infinitely many solutions both for the barotropic and full Euler system.


title: Domination in Signed Petri Net

abstract: In this paper, domination in Signed Petri net(SPN) has been introduced.We identify some of the Petri net structures where a dominating set can exist.Applications of producer consumer problem, searching of food by bees and finding similarity in research papers are given to understand the areas where the proposed theory can be used.


title: Improved effective equation for the Rashba spin-orbit coupling in semiconductor nanowires

abstract: Semiconductor Rashba nanowires are quasi-one dimensional systems that have large spin-orbit (SO) coupling arising from a broken inversion symmetry due to an external electric field. There exist parametrized multiband models that can describe accurately this effect. However, simplified single band models are highly desirable to study geometries of recent experimental interest, since they may allow to incorporate the effects of the low dimensionality and the nanowire electrostatic environment at a reduced computational cost. Commonly used conduction band approximations, valid for bulk materials, greatly underestimate the SO coupling in Zinc-blende crystal structures and overestimate it for Wurtzite ones when applied to finite cross-section wires, where confinement effects turn out to play an important role. We demonstrate here that an effective equation for the linear Rashba SO coupling of the semiconductor conduction band can reproduce the behavior of more sophisticated eight-band k$\cdot$p model calculations. This is achieved by adjusting a single effective parameter that depends on the nanowire crystal structure and its chemical composition. We further compare our results to the Rashba coupling extracted from magnetoconductance measurements in several experiments on InAs and InSb nanowires, finding excellent agreement. This approach may be relevant in systems where Rashba coupling is known to play a major role, such as in spintronic devices or Majorana nanowires.


title: A least-squares based nodal scheme for cell-centered Lagrangian hydrodynamics

abstract: This paper presents a new and efficient nodal scheme for cell-centered compressible flows in Lagrangian formulation. A single pressure and the velocity at cell vertex are computed by the nodal solver in a least-squares sense, and both variables are used to evaluate the numerical flux across the cell interface. The resulting nodal velocity is also responsible for moving the mesh. The accuracy and robustness of the proposed method is studied by several numerical examples in the finite volume discretization, and compared with two other nodal Riemann solvers. It is shown that its performance is comparable to the latter two. Although the current paper mainly focuses on the first-order finite volume (FV), its extension to higher order methods such as high-order FV, discontinuous Galerkin (DG) or reconstructed discontinous Galerkin (rDG), is quite straightforward. And this method has the capability of easily extending to three dimensions.


title: When Humans Aren't Optimal: Robots that Collaborate with Risk-Aware Humans

abstract: In order to collaborate safely and efficiently, robots need to anticipate how their human partners will behave. Some of today's robots model humans as if they were also robots, and assume users are always optimal. Other robots account for human limitations, and relax this assumption so that the human is noisily rational. Both of these models make sense when the human receives deterministic rewards: i.e., gaining either $100 or $130 with certainty. But in real world scenarios, rewards are rarely deterministic. Instead, we must make choices subject to risk and uncertainty--and in these settings, humans exhibit a cognitive bias towards suboptimal behavior. For example, when deciding between gaining $100 with certainty or $130 only 80% of the time, people tend to make the risk-averse choice--even though it leads to a lower expected gain! In this paper, we adopt a well-known Risk-Aware human model from behavioral economics called Cumulative Prospect Theory and enable robots to leverage this model during human-robot interaction (HRI). In our user studies, we offer supporting evidence that the Risk-Aware model more accurately predicts suboptimal human behavior. We find that this increased modeling accuracy results in safer and more efficient human-robot collaboration. Overall, we extend existing rational human models so that collaborative robots can anticipate and plan around suboptimal human behavior during HRI.


title: Evidence of Spectral Evolution on the white dwarf sample from the Gaia Mission

abstract: Since the Gaia data release 2, several works were published describing a bifurcation in the observed white dwarf colour$-$magnitude diagram for $\mbox{$G_{\mathrm{BP}}$}-\mbox{$G_{\mathrm{RP}}$} > 0$. Some possible explanations in the literature include the existence of a double population with different initial mass function or two distinct populations, one formed by hydrogen$-$ and one formed by helium$-$envelope white dwarfs. We propose instead spectral evolution to explain the bifurcation. From a population synthesis approach, we find that the spectral evolution occurs for effective temperature below ${\simeq}11\,000\,\mathrm{K}$ and masses mainly between $0.64\,\mathrm{M}_\odot$ and $0.74\,\mathrm{M}_\odot$, which correspond to around $16$ per cent of all DA white dwarfs. We also find the Gaia white dwarf colour-magnitude diagram indicates a star formation history that decreases abruptly for objects younger than $1.4\,\mathrm{Gyr}$ and a top-heavy initial mass function for the white dwarf progenitors.


title: Mergelyan approximation theorem for holomorphic Legendrian curves

abstract: In this paper, we prove a Mergelyan type approximation theorem for immersed holomorphic Legendrian curves in an arbitrary complex contact manifold $(X,\xi)$. Explicitly, we show that if $S$ is a compact admissible set in a Riemann surface $M$ and $f:S\to X$ is a $\xi$-Legendrian immersion of class $\mathscr{C}^{r+2}(S,X)$ for some $r\ge 2$ which is holomorphic in the interior of $S$, then $f$ can be approximated in the $\mathscr{C}^r(S,X)$ topology by holomorphic Legendrian embeddings from open neighbourhoods of $S$ into $X$. This result has numerous applications, some of which are indicated in the paper. In particular, by using Bryant's correspondence for the Penrose twistor map $\mathbb{CP}^3\to S^4$ we show that a Mergelyan approximation theorem and the Calabi-Yau property hold for superminimal surfaces in the $4$-sphere $S^4$.


title: Interactions between basal dislocations and $\beta_1'$ precipitates in Mg-4Zn alloy: mechanisms and strengthening

abstract: The mechanisms of dislocation/precipitate interaction as well as the critical resolved shear stress were determined as a function of temperature in a Mg-4 wt. % Zn alloy by means of micropillar compression tests. It was found that the mechanical properties were independent of the micropillar size when the cross-section was $>$ 3 x 3 $\mu$m$^2$. Transmission electron microscopy showed that deformation involved a mixture of dislocation bowing around the precipitates and precipitate shearing. The initial yield strength was compatible with the predictions of the Orowan model for dislocation bowing around the precipitates. Nevertheless, precipitate shearing was dominant afterwards, leading to the formation of slip bands in which the rod precipitates were transformed into globular particles, limiting the strain hardening. The importance of precipitate shearing increased with temperature and was responsible for the reduction in the mechanical properties of the alloy from 23C to 100C.


title: Synthetic aperture imaging and motion estimation using tensor methods

abstract: We consider a synthetic aperture imaging configuration, such as synthetic aperture radar (SAR), where we want to first separate reflections from moving targets from those coming from a stationary background, and then to image separately the moving and the stationary reflectors. For this purpose, we introduce a representation of the data as a third order tensor formed from data coming from partially overlapping sub-apertures. We then apply a tensor robust principal component analysis (TRPCA) to the tensor data which separates them into the parts coming from the stationary and moving reflectors. Images are formed with the separated data sets. Our analysis shows a distinctly improved performance of TRPCA, compared to the usual matrix case. In particular, the tensor decomposition can identify motion features that are undetectable when using the conventional motion estimation methods, including matrix RPCA. We illustrate the performance of the method with numerical simulations in the X-band radar regime.


title: Search for dark photon and dark matter signatures around electron-positron colliders

abstract: The search for a dark photon produced at $e^{+}e^{-}$ colliders which subsequently decays into inelastic dark matter particles, is discussed. The heavier dark matter decays into a pair of visible charged particles and a lighter dark matter particle after traveling some distance. The visible decay products can be recorded by a dark matter detector made of emulsions and gas detectors, placed near the main $e^{+}e^{-}$ detector. This setup can not only explore new parameter regions not reached before, but also re-open some regions thought to be excluded by previous experimental data. The physics potential for such a detector around BESIII and Belle II is presented.


title: MIP*=RE

abstract: We show that the class MIP* of languages that can be decided by a classical verifier interacting with multiple all-powerful quantum provers sharing entanglement is equal to the class RE of recursively enumerable languages. Our proof builds upon the quantum low-degree test of (Natarajan and Vidick, FOCS 2018) and the classical low-individual degree test of (Ji, et al., 2020) by integrating recent developments from (Natarajan and Wright, FOCS 2019) and combining them with the recursive compression framework of (Fitzsimons et al., STOC 2019). An immediate byproduct of our result is that there is an efficient reduction from the Halting Problem to the problem of deciding whether a two-player nonlocal game has entangled value $1$ or at most $1/2$. Using a known connection, undecidability of the entangled value implies a negative answer to Tsirelson's problem: we show, by providing an explicit example, that the closure $C_{qa}$ of the set of quantum tensor product correlations is strictly included in the set $C_{qc}$ of quantum commuting correlations. Following work of (Fritz, Rev. Math. Phys. 2012) and (Junge et al., J. Math. Phys. 2011) our results provide a refutation of Connes' embedding conjecture from the theory of von Neumann algebras.


title: A hydrodynamical study of outflows in starburst galaxies with different driving mechanisms

abstract: Outflows from starburst galaxies can be driven by thermal pressure, radiation and cosmic rays. We present an analytic phenomenological model that accounts for these contributions simultaneously to investigate their effects on the hydrodynamical properties of outflows. We assess the impact of energy injection, wind opacity, magnetic field strength and the mass of the host galaxy on flow velocity, temperature, density and pressure profiles. For an M82-like wind, a thermally-dominated driving mechanism is found to deliver the fastest and hottest wind. Radiation-driven winds in typical starburst-galaxy configurations are unable to attain the higher flow velocities and temperatures associated with thermal and cosmic ray-driven systems, leading to higher wind densities which would be more susceptible to cooling and fragmentation at lower altitudes. High opacity winds are more sensitive to radiative driving, but terminal flow velocities are still lower than those achieved by other driving mechanisms at realistic opacities. We demonstrate that variations in the outflow magnetic field can influence its coupling with cosmic rays, where stronger fields enable greater streaming but less driving near the base of the flow, instead with cosmic rays redirecting their driving impact to higher altitudes. The gravitational potential is less important in M82-like wind configurations, and substantial variations in the flow profiles only emerge at high altitude in massive haloes. This model offers a more generalised approach to examine the large scale hydrodynamical properties for a wide variety of starburst galaxies.


title: Universal Differential Equations for Scientific Machine Learning

abstract: In the context of science, the well-known adage "a picture is worth a thousand words" might well be "a model is worth a thousand datasets." In this manuscript we introduce the SciML software ecosystem as a tool for mixing the information of physical laws and scientific models with data-driven machine learning approaches. We describe a mathematical object, which we denote universal differential equations (UDEs), as the unifying framework connecting the ecosystem. We show how a wide variety of applications, from automatically discovering biological mechanisms to solving high-dimensional Hamilton-Jacobi-Bellman equations, can be phrased and efficiently handled through the UDE formalism and its tooling. We demonstrate the generality of the software tooling to handle stochasticity, delays, and implicit constraints. This funnels the wide variety of SciML applications into a core set of training mechanisms which are highly optimized, stabilized for stiff equations, and compatible with distributed parallelism and GPU accelerators.