title: 3D chemical structure of diffuse turbulent ISM. I. Statistics of the HI-to-H$_2$ transition

abstract: We studied the statistical properties of the HI-to-H$_2$ transition observed in absorption in the local diffuse and multiphase ISM to identify the physical processes controlling the probability of occurrence of any line of sight. The turbulent diffuse ISM is modeled using the RAMSES code, which includes detailed treatments of the magnetohydrodynamics, the thermal evolution of the gas, and the chemistry of H$_2$. The impacts of the UV radiation field, the mean density, the turbulent forcing, the integral scale, the magnetic field, and the gravity on the molecular content of the gas are explored through a parametric study covering a wide range of physical conditions. The statistics of the HI-to-H$_2$ transition are interpreted through analytical prescriptions and compared with the observations using a modified and robust version of the Kolmogorov-Smirnov test. The results of one simulation, convolved with the distribution of distances of the observational sample, are able to explain most of the statistical properties of the HI-to-H$_2$ transition observed in the local ISM. The tightest agreement is obtained for a neutral diffuse gas modeled over ~200 pc, with a mean density of $1-2$ cm$^{-3}$, illuminated by the standard interstellar UV radiation field, and stirred up by a large-scale compressive turbulent forcing. Within this configuration, the 2D probability histogram of the column densities of H and H$_2$ is remarkably stable and is almost unaltered by gravity, the strength of the turbulent forcing, the resolution of the simulation, or the strength of the magnetic field $B_x$. The weak effect of the resolution and our analytical prescription suggest that the column densities of HI are likely built up in large-scale WNM and CNM structures correlated in density over ~20 pc and ~10 pc, respectively, while those of H$_2$ are built up in CNM structures between ~3 pc and ~10 pc.


title: Reflected Light Observations of the Galilean Satellites from Cassini: a testbed for cold terrestrial exoplanets

abstract: For terrestrial exoplanets with thin atmospheres or no atmospheres, the surface contributes light to the reflected light signal of the planet. Measurement of the variety of disk-integrated brightnesses of bodies in the Solar System and the variation with illumination and wavelength is essential for both planning imaging observations of directly imaged exoplanets and interpreting the eventual datasets. Here we measure the change in brightness of the Galilean satellites as a function of planetocentric longitude, illumination phase angle, and wavelength. The data span a range of wavelengths from 400-950nm and predominantly phase angles from 0-25 degrees, with some constraining observations near 60-140 degrees. Despite the similarity in size and density between the moons, surface inhomogeneities result in significant changes in the disk-integrated reflectivity with planetocentric longitude and phase angle. We find that these changes are sufficient to determine the rotational periods of the moon. We also find that at low phase angles the surface can produce reflectivity variations of 8-36% and the limited high phase angle observations suggest variations will have proportionally larger amplitudes at higher phase angles. Additionally, all the Galilean satellites are darker than predicted by an idealized Lambertian model at the phases most likely to be observed by direct-imaging missions. If Earth-size exoplanets have surfaces similar to that of the Galilean moons, we find that future direct imaging missions will need to achieve precisions of less than 0.1\,ppb. Should the necessary precision be achieved, future exoplanet observations could exploit similar observation schemes to deduce surface variations, determine rotation periods, and potentially infer surface composition.


title: Enhancement of quantum synchronization via continuous measurement and feedback control

abstract: We study synchronization of a quantum van der Pol oscillator with a harmonic drive and demonstrate that quantum synchronization can be enhanced by performing continuous homodyne measurement on an additional bath linearly coupled to the oscillator and applying feedback control to the oscillator. The phase coherence of the oscillator is increased by reducing quantum fluctuations via the continuous measurement, whereas the measurement backaction inevitably induces fluctuations around the phase-locking point. We propose a simple feedback policy for suppressing measurement-induced fluctuations by adjusting the frequency of the harmonic drive, which results in enhancement of quantum synchronization. We further demonstrate that the maximum enhancement of quantum synchronization is achieved by performing quantum measurement on the quadrature angle at which the phase diffusion of the oscillator is the largest and the maximal information of the oscillator phase is extracted.


title: Equilibrium stressability of multidimensional frameworks

abstract: We prove an equilibrium stressability criterium for trivalent multidimensional tensegrities. The criterium appears in different languages: (1) in terms of stress monodromies, (2) in terms of surgeries, (3) in terms of exact discrete 1-forms, and (4) in Cayley algebra terms.


title: Optical frequency ratio of a ${}^{171}\mathrm{Yb}^+$ single-ion clock and a ${}^{87}\mathrm{Sr}$ lattice clock

abstract: We report direct measurements of the frequency ratio of the 642 THz ${}^2S_{1/2} (F=0)$--${}^2F_{7/2} (F=3)$ electric octupole transition in ${}^{171}\mathrm{Yb}^+$ and the 429 THz ${}^1S_0$--${}^3P_0$ transition in ${}^{87}\mathrm{Sr}$. A series of 107 measurements has been performed at the Physikalisch-Technische Bundesanstalt between December 2012 and October 2019. Long-term variations of the ratio are larger than expected from the individual measurement uncertainties of few $10^{-17}$. The cause of these variations remains unknown. Even taking these into account, we find a fractional uncertainty of the frequency ratio of $2.5 \times 10^{-17}$, which improves upon previous knowledge by one order of magnitude. The average frequency ratio is $\nu_{\mathrm{Yb}^+} / \nu_{\mathrm{Sr}} = 1.495\,991\,618\,544\,900\,537(38)$. This represents one of the most accurate measurements between two different atomic species to date.


title: A New Resolution Odyssey in Electron Microscopy

abstract: An essay about future challenges in electron microscopy


title: Minding the gap: GW190521 as a straddling binary

abstract: Models for black hole (BH) formation from stellar evolution robustly predict the existence of a pair-instability supernova (PISN) mass gap in the range $\sim50$ to $\sim120$ solar masses. This theoretical prediction is supported by the binary black holes (BBHs) of LIGO/Virgo's first two observing runs, whose component masses are well-fit by a power law with a maximum mass cutoff at $m_\mathrm{max}=40.8^{+11.8}_{-4.4}\,M_\odot$. Meanwhile, the BBH event GW190521 has a reported primary mass of $m_1=85^{+21}_{-14}\,M_\odot$, firmly above the inferred $m_\mathrm{max}$, and secondary mass $m_2=66^{+17}_{-18}\,M_\odot$. Rather than concluding that both components of GW190521 belong to a new population of mass-gap BHs, we explore the conservative scenario in which GW190521's secondary mass belongs to the previously-observed population of BHs. We replace the default priors on $m_1$ and $m_2$, which assume that BH detector-frame masses are uniformly distributed, with this population-informed prior on $m_2$, finding $m_2<48\,M_\odot$ at 90\% credibility. Moreover, because the total mass of the system is better constrained than the individual masses, the population prior on $m_2$ automatically increases the inferred $m_1$ to sit \emph{above} the gap (39\% for $m_1 > 120\,M_\odot$, or 25\% probability for $m_1>130\,M_\odot$). As long as the prior odds for a double-mass-gap BBH are smaller than $\sim 1:15$, it is more likely that GW190521 straddles the pair-instability gap. We argue that GW190521 may be the first example of a straddling binary black hole, composed of a conventional stellar mass BH and a BH from the ``far side' of the PISN mass gap.


title: Boosting the Sliding Frank-Wolfe solver for 3D deconvolution

abstract: In the context of gridless sparse optimization, the Sliding Frank Wolfe algorithm recently introduced has shown interesting analytical and practical properties. Nevertheless, is application to large data, such as in the case of 3D deconvolution, is computationally heavy. In this paper, we investigate a strategy for leveraging this burden, in order to make this method more tractable for 3D deconvolution. We show that a boosted SFW can achieve the same results in a significantly reduced amount of time.


title: A black-box adversarial attack for poisoning clustering

abstract: Clustering algorithms play a fundamental role as tools in decision-making and sensible automation processes. Due to the widespread use of these applications, a robustness analysis of this family of algorithms against adversarial noise has become imperative. To the best of our knowledge, however, only a few works have currently addressed this problem. In an attempt to fill this gap, in this work, we propose a black-box adversarial attack for crafting adversarial samples to test the robustness of clustering algorithms. We formulate the problem as a constrained minimization program, general in its structure and customizable by the attacker according to her capability constraints. We do not assume any information about the internal structure of the victim clustering algorithm, and we allow the attacker to query it as a service only. In the absence of any derivative information, we perform the optimization with a custom approach inspired by the Abstract Genetic Algorithm (AGA). In the experimental part, we demonstrate the sensibility of different single and ensemble clustering algorithms against our crafted adversarial samples on different scenarios. Furthermore, we perform a comparison of our algorithm with a state-of-the-art approach showing that we are able to reach or even outperform its performance. Finally, to highlight the general nature of the generated noise, we show that our attacks are transferable even against supervised algorithms such as SVMs, random forests, and neural networks.


title: Adversarial score matching and improved sampling for image generation

abstract: Denoising Score Matching with Annealed Langevin Sampling (DSM-ALS) has recently found success in generative modeling. The approach works by first training a neural network to estimate the score of a distribution, and then using Langevin dynamics to sample from the data distribution assumed by the score network. Despite the convincing visual quality of samples, this method appears to perform worse than Generative Adversarial Networks (GANs) under the Fr\'echet Inception Distance, a standard metric for generative models. We show that this apparent gap vanishes when denoising the final Langevin samples using the score network. In addition, we propose two improvements to DSM-ALS: 1) Consistent Annealed Sampling as a more stable alternative to Annealed Langevin Sampling, and 2) a hybrid training formulation, composed of both Denoising Score Matching and adversarial objectives. By combining these two techniques and exploring different network architectures, we elevate score matching methods and obtain results competitive with state-of-the-art image generation on CIFAR-10.


title: Refined Bohr-type inequalities with area measure for bounded analytic functions

abstract: In this paper, we establish five new sharp versions of Bohr-type inequalities for bounded analytic functions in the unit disk by allowing Schwarz function in place of the initial coefficients in the power series representations of the functions involved and thereby, we generalize several related results of earlier authors.


title: Combinatorial Ricci flow on cusped 3-manifolds

abstract: Combinatorial Ricci flow on a cusped $3$-manifold is an analogue of Chow-Luo's combinatorial Ricci flow on surfaces and Luo's combinatorial Ricci flow on compact $3$-manifolds with boundary for finding complete hyperbolic metrics on cusped $3$-manifolds. Dual to Casson and Rivin's program of maximizing the volume of angle structures, combinatorial Ricci flow finds the complete hyperbolic metric on a cusped $3$-manifold by minimizing the co-volume of decorated hyperbolic polyhedral metrics. The combinatorial Ricci flow may develop singularities. We overcome this difficulty by extending the flow through the potential singularities using Luo-Yang's extension. It is shown that the existence of a complete hyperbolic metric on a cusped $3$-manifold is equivalent to the convergence of the extended combinatorial Ricci flow, which gives a new characterization of existence of a complete hyperbolic metric on a cusped $3$-manifold dual to Casson and Rivin's program. The extended combinatorial Ricci flow also provides an effective algorithm for finding complete hyperbolic metrics on cusped $3$-manifolds.


title: Projected Robust PCA with Application to Smooth Image Recovery

abstract: Most high-dimensional matrix recovery problems are studied under the assumption that the target matrix has certain intrinsic structures. For image data related matrix recovery problems, approximate low-rankness and smoothness are the two most commonly imposed structures. For approximately low-rank matrix recovery, the robust principal component analysis (PCA) is well-studied and proved to be effective. For smooth matrix problem, 2d fused Lasso and other total variation based approaches have played a fundamental role. Although both low-rankness and smoothness are key assumptions for image data analysis, the two lines of research, however, have very limited interaction. Motivated by taking advantage of both features, we in this paper develop a framework named projected robust PCA (PRPCA), under which the low-rank matrices are projected onto a space of smooth matrices. Consequently, a large class of image matrices can be decomposed as a low-rank and smooth component plus a sparse component. A key advantage of this decomposition is that the dimension of the core low-rank component can be significantly reduced. Consequently, our framework is able to address a problematic bottleneck of many low-rank matrix problems: singular value decomposition (SVD) on large matrices. Theoretically, we provide explicit statistical recovery guarantees of PRPCA and include classical robust PCA as a special case.


title: Unveiling the stellar origin of the Wolf-Rayet nebula NGC6888 through infrared observations

abstract: We present a comprehensive infrared (IR) study of the iconic Wolf-Rayet (WR) wind-blown bubble NGC6888 around WR136. We use Wide-field Infrared Survey Explorer (WISE), Spitzer IRAC and MIPS and Herschel PACS IR images to produce a sharp view of the distribution of dust around WR136. We complement these IR photometric observations with Spitzer IRS spectra in the 5-38 $\mu$m wavelength range. The unprecedented high-resolution IR images allowed us to produce a clean spectral energy distribution, free of contamination from material along the line of sight, to model the properties of the dust in NGC6888. We use the spectral synthesis code Cloudy to produce a model for NGC6888 that consistently reproduces its optical and IR properties. Our best model requires a double distribution with the inner shell composed only of gas, whilst the outer shell requires a mix of gas and dust. The dust consists of two populations of grain sizes, one with small sized grains $a_\mathrm{small}$=[0.002-0.008] $\mu$m and another one with large sized grains $a_\mathrm{big}$=[0.05-0.5] $\mu$m. The population of big grains is similar to that reported for other red supergiants stars and dominates the total dust mass, which leads us to suggest that the current mass of NGC6888 is purely due to material ejected from WR136, with a negligible contribution of swept up interstellar medium. The total mass of this model is 25.5$^{+4.7}_{-2.8}$ M$_{\odot}$, a dust mass of $M_\mathrm{dust}=$0.14$^{+0.03}_{-0.01}$ M$_{\odot}$, for a dust-to-gas ratio of $5.6\times10^{-3}$. Accordingly, we suggest that the initial stellar mass of WR136 was $\lesssim$50 M$_{\odot}$, consistent with current single stellar evolution models.


title: Point counting and Wilkie's conjecture for non-archimedean Pfaffian and Noetherian functions

abstract: We consider the problem of counting polynomial curves on analytic or definable subsets over the field ${\mathbb{C}}(\!(t)\!)$, as a function of the degree $r$. A result of this type could be expected by analogy with the classical Pila-Wilkie counting theorem in the archimean situation. Some non-archimedean analogs of this type have been developed in the work of Cluckers-Comte-Loeser for the field ${\mathbb{Q}}_p$, but the situation in ${\mathbb{C}}(\!(t)\!)$ appears to be significantly different. We prove that the set of polynomial curves of a fixed degree $r$ on the transcendental part of a subanalytic set over ${\mathbb{C}}(\!(t)\!)$ is automatically finite, but give examples showing that their number may grow arbitrarily quickly even for analytic sets. Thus no analog of the Pila-Wilkie theorem can be expected to hold for general analytic sets. On the other hand we show that if one restricts to varieties defined by Pfaffian or Noetherian functions, then the number grows at most polynomially in $r$, thus showing that the analog of Wilkie's conjecture does hold in this context.


title: A deep-learning model for evaluating and predicting the impact of lockdown policies on COVID-19 cases

abstract: To reduce the impact of COVID-19 pandemic most countries have implemented several counter-measures to control the virus spread including school and border closing, shutting down public transport and workplace and restrictions on gathering. In this research work, we propose a deep-learning prediction model for evaluating and predicting the impact of various lockdown policies on daily COVID-19 cases. This is achieved by first clustering countries having similar lockdown policies, then training a prediction model based on the daily cases of the countries in each cluster along with the data describing their lockdown policies. Once the model is trained, it can used to evaluate several scenarios associated to lockdown policies and investigate their impact on the predicted COVID cases. Our evaluation experiments, conducted on Qatar as a use case, shows that the proposed approach achieved competitive prediction accuracy. Additionally, our findings highlighted that lifting restrictions particularly on schools and border opening would result in significant increase in the number of cases during the study period.


title: TCA and TLRA: A comparison on contingency tables and compositional data

abstract: There are two popular general approaches for the analysis and visualization of a contingency table and a compositional data set: Correspondence analysis (CA) and log ratio analysis (LRA). LRA includes two independently well developed methods: association models and compositional data analysis. The application of either CA or LRA to a contingency table or to compositional data set includes a preprocessing centering step. In CA the centering step is multiplicative, while in LRA it is log bi-additive. A preprocessed matrix is double-centered, so it is a residuel matrix; which implies that it affects the final results of the analysis. This paper introduces a novel index named the intrinsic measure of the quality of the signs of the residuals (QSR) for the choice of the preprocessing, and consequently of the method. The criterion is based on taxicab singular value decomposition (TSVD) on which the package TaxicabCA in R is developed. We present a minimal R script that can be executed to obtain the numerical results and the maps in this paper. Three relatively small sized data sets available freely on the web are used as examples.


title: Towards Interpretable Multi-Task Learning Using Bilevel Programming

abstract: Interpretable Multi-Task Learning can be expressed as learning a sparse graph of the task relationship based on the prediction performance of the learned models. Since many natural phenomenon exhibit sparse structures, enforcing sparsity on learned models reveals the underlying task relationship. Moreover, different sparsification degrees from a fully connected graph uncover various types of structures, like cliques, trees, lines, clusters or fully disconnected graphs. In this paper, we propose a bilevel formulation of multi-task learning that induces sparse graphs, thus, revealing the underlying task relationships, and an efficient method for its computation. We show empirically how the induced sparse graph improves the interpretability of the learned models and their relationship on synthetic and real data, without sacrificing generalization performance. Code at https://bit.ly/GraphGuidedMTL


title: A kernel function for Signal Temporal Logic formulae

abstract: We discuss how to define a kernel for Signal Temporal Logic (STL) formulae. Such a kernel allows us to embed the space of formulae into a Hilbert space, and opens up the use of kernel-based machine learning algorithms in the context of STL. We show an application of this idea to a regression problem in formula space for probabilistic models.


title: Text-Independent Speaker Verification with Dual Attention Network

abstract: This paper presents a novel design of attention model for text-independent speaker verification. The model takes a pair of input utterances and generates an utterance-level embedding to represent speaker-specific characteristics in each utterance. The input utterances are expected to have highly similar embeddings if they are from the same speaker. The proposed attention model consists of a self-attention module and a mutual attention module, which jointly contributes to the generation of the utterance-level embedding. The self-attention weights are computed from the utterance itself while the mutual-attention weights are computed with the involvement of the other utterance in the input pairs. As a result, each utterance is represented by a self-attention weighted embedding and a mutual-attention weighted embedding. The similarity between the embeddings is measured by a cosine distance score and a binary classifier output score. The whole model, named Dual Attention Network, is trained end-to-end on Voxceleb database. The evaluation results on Voxceleb 1 test set show that the Dual Attention Network significantly outperforms the baseline systems. The best result yields an equal error rate of 1:6%.


title: Improvement of Properties of Self-Injected and Accelerated Electron Bunch by Laser Pulse in Plasma

abstract: The accelerating gradients in conventional linear accelerators are currently limited to 100 MV per meter. Plasma-based accelerators have the ability to sustain accelerating gradients which are several orders of magnitude greater than that obtained in conventionalaccelerators. Due to the rapid development of laser technology the laser-plasma-based accelerators are of great interest now. Over the past decade, successful experiments on laser wakefield acceleration of electrons in the plasma have confirmed the relevance of this acceleration. Evidently, the large accelerating gradients in the laser plasma accelerators allow to reduce the size and to cut the cost of accelerators. Another important advantage of the laser-plasma accelerators is that they can produce short electron bunches with high energy.


title: The Intriguing Relation Between Counterfactual Explanations and Adversarial Examples

abstract: The same method that creates adversarial examples (AEs) to fool image-classifiers can be used to generate counterfactual explanations (CEs) that explain algorithmic decisions. This observation has led researchers to consider CEs as AEs by another name. We argue that the relationship to the true label and the tolerance with respect to proximity are two properties that formally distinguish CEs and AEs. Based on these arguments, we introduce CEs, AEs, and related concepts mathematically in a common framework. Furthermore, we show connections between current methods for generating CEs and AEs, and estimate that the fields will merge more and more as the number of common use-cases grows.


title: Medical Selfies: Emotional Impacts and Practical Challenges

abstract: Medical images taken with mobile phones by patients, i.e. medical selfies, allow screening, monitoring and diagnosis of skin lesions. While mobile teledermatology can provide good diagnostic accuracy for skin tumours, there is little research about emotional and physical aspects when taking medical selfies of body parts. We conducted a survey with 100 participants and a qualitative study with twelve participants, in which they took images of eight body parts including intimate areas. Participants had difficulties taking medical selfies of their shoulder blades and buttocks. For the genitals, they prefer to visit a doctor rather than sending images. Taking the images triggered privacy concerns, memories of past experiences with body parts and raised awareness of the bodily medical state. We present recommendations for the design of mobile apps to address the usability and emotional impacts of taking medical selfies.


title: MRZ code extraction from visa and passport documents using convolutional neural networks

abstract: Detecting and extracting information from Machine-Readable Zone (MRZ) on passports and visas is becoming increasingly important for verifying document authenticity. However, computer vision methods for performing similar tasks, such as optical character recognition (OCR), fail to extract the MRZ given digital images of passports with reasonable accuracy. We present a specially designed model based on convolutional neural networks that is able to successfully extract MRZ information from digital images of passports of arbitrary orientation and size. Our model achieved 100% MRZ detection rate and 98.36% character recognition macro-f1 score on a passport and visa dataset.


title: Jet Marching Methods for Solving the Eikonal Equation

abstract: We develop a family of compact high-order semi-Lagrangian label-setting methods for solving the eikonal equation. These solvers march the total 1-jet of the eikonal, and use Hermite interpolation to approximate the eikonal and parametrize characteristics locally for each semi-Lagrangian update. We describe solvers on unstructured meshes in any dimension, and conduct numerical experiments on regular grids in two dimensions. Our results show that these solvers yield at least second-order convergence, and, in special cases such as a linear speed of sound, third-order of convergence for both the eikonal and its gradient. We additionally show how to march the second partials of the eikonal using cell-based interpolants. Second derivative information computed this way is frequently second-order accurate, suitable for locally solving the transport equation. This provides a means of marching the prefactor coming from the WKB approximation of the Helmholtz equation. These solvers are designed specifically for computing a high-frequency approximation of the Helmholtz equation in a complicated environment with a slowly varying speed of sound, and, to the best of our knowledge, are the first solvers with these properties. We provide a link to a package online providing the solvers, and from which the results of this paper can be reproduced easily.


title: Isotope quantum effects in the metallization transition in liquid hydrogen

abstract: Quantum effects in condensed matter normally only occur at low temperatures. Here we show a large quantum effect in high-pressure liquid hydrogen at thousands of Kelvins. We show that the metallization transition in hydrogen is subject to a very large isotope effect, occurring hundreds of degrees lower than the equivalent transition in deuterium. We examined this using path integral molecular dynamics simulations which identify a liquid-liquid transition involving atomization, metallization, and changes in viscosity, specific heat and compressibility. The difference between H$_2$ and D$_2$ is a quantum mechanical effect which can be associated with the larger zero-point energy in H$_2$ weakening the covalent bond. Our results mean that experimental results on deuterium must be corrected before they are relevant to understanding hydrogen at planetary conditions.


title: Investigating Variable Stars in the Open Cluster NGC 1912 and Its Surrounding Field

abstract: In this work, we studied the variable stars in the open cluster NGC 1912 based on the photometric observations and $Gaia$ DR2 data. More than 3600 CCD frames in B, V, R filters were reduced, and we obtained the light curves that span about 63 hours. By analyzing these light curves, we detected 24 variable stars, including 16 periodic variable stars, seven eclipsing binaries and one star whose type is unclear. Among these 24 variable stars, 11 are newly-discovered, which are classified as six gamma Doradus stars, one delta Scuti star, three detached binaries and one contact binaries. We also confirmed 13 previously known variable stars. Based on cluster members identified by Cantat-Gaudin et al. (2018), we inferred cluster memberships for these detected variable stars. Using Gaia DR2 data, we plotted a new color-magnitude diagram for NGC 1912, and showed the nature of variable cluster members in kinematical properties and heliocentric distance. Among the 24 variable stars, seven variables are probable cluster members, which show homogeneity in kinematic characters and space position with the established cluster members. Four of the seven variable cluster members are the previously discovered stars, consisting of two gamma Dor stars and two delta Sct stars. The remaining three variable cluster members, which are all gamma Dor stars, are firstly detected in this work. The main physical parameters of these variable cluster members estimated from the color-magnitude diagram are log(age/yr)=8.75, [Fe/H]=-0.1, m-M=10.03 mag, and E(B-V)=0.307.


title: RECOApy: Data recording, pre-processing and phonetic transcription for end-to-end speech-based applications

abstract: Deep learning enables the development of efficient end-to-end speech processing applications while bypassing the need for expert linguistic and signal processing features. Yet, recent studies show that good quality speech resources and phonetic transcription of the training data can enhance the results of these applications. In this paper, the RECOApy tool is introduced. RECOApy streamlines the steps of data recording and pre-processing required in end-to-end speech-based applications. The tool implements an easy-to-use interface for prompted speech recording, spectrogram and waveform analysis, utterance-level normalisation and silence trimming, as well grapheme-to-phoneme conversion of the prompts in eight languages: Czech, English, French, German, Italian, Polish, Romanian and Spanish. The grapheme-to-phoneme (G2P) converters are deep neural network (DNN) based architectures trained on lexicons extracted from the Wiktionary online collaborative resource. With the different degree of orthographic transparency, as well as the varying amount of phonetic entries across the languages, the DNN's hyperparameters are optimised with an evolution strategy. The phoneme and word error rates of the resulting G2P converters are presented and discussed. The tool, the processed phonetic lexicons and trained G2P models are made freely available.


title: Precise nanosizing with high dynamic range holography

abstract: Optical sensing is one of the key-enablers of modern diagnostics. Especially label-free imaging modalities hold great promise as they eliminate labeling procedures prior to analysis. However, scattering signals of nanometric particles scale with their volume-square. This unfavorable scaling makes it extremely difficult to quantitatively characterize intrinsically heterogeneous clinical samples, such as extracellular vesicles, as their signal variation easily exceeds the dynamic range of currently available cameras. Here, we introduce off-axis k-space holography that circumvents this limitation. By imaging the back-focal-plane of our microscope we project the scattering signal of all particles onto all camera pixels thus dramatically boosting the achievable dynamic range to up-to 110 dB. We validate our platform by detecting, and quantitatively sizing, metallic and dielectric particles over a 200x200 $\mu$m field-of-view and demonstrate that independently performed signal calibrations allow correctly sizing particles made from different materials. Finally, we present quantitative size-distributions of extracellular vesicle samples.


title: Every graph contains a linearly sized induced subgraph with all degrees odd

abstract: We prove that every graph $G$ on $n$ vertices with no isolated vertices contains an induced subgraph of size at least $n/10000$ with all degrees odd. This solves an old and well-known conjecture in graph theory.


title: Capillary Hysteresis and Gravity Segregation in Two Phase Flow Through Porous Media

abstract: We study the gravity-driven flow of two fluid phases in a one-dimensional homogeneous porous column when history dependence of the pressure difference between the phases (capillary pressure) is taken into account. In the hyperbolic limit, solutions of such systems satisfy the Buckley-Leverett equation with a non-monotone flux function. However, solutions for the hysteretic case do not converge to the classical solutions in the hyperbolic limit in a wide range of situations. In particular, with Riemann data as initial condition, stationary shocks become possible in addition to classical components such as shocks, rarefaction waves, and constant states. We derive an admissibility criterion for the stationary shocks and outline all admissible shocks. Depending on the capillary pressure functions, flux function, and the Riemann data, two cases are identified a priori for which the solution consists of a stationary shock. In the first case, the shock remains at the point where the initial condition is discontinuous. In the second case, the solution is frozen in time in at least one semi-infinite half. The predictions are verified using numerical results.


title: Dual convolution for the affine group of the real line

abstract: The Fourier algebra of the affine group of the real line has a natural identification, as a Banach space, with the space of trace-class operators on $L^2({\mathbb R}^\times, dt/ |t|)$. In this paper we study the "dual convolution product" of trace-class operators that corresponds to pointwise product in the Fourier algebra. Answering a question raised in work of Eymard and Terp, we provide an intrinsic description of this operation which does not rely on the identification with the Fourier algebra, and obtain a similar result for the connected component of this affine group. In both cases we construct explicit derivations on the corresponding Banach algebras, verifying the derivation identity directly without requiring the inverse Fourier transform. We also initiate the study of the analogous Banach algebra structure for trace-class operators on $L^p({\mathbb R}^\times, dt/ |t|)$ for $p\in (1,2)\cup(2,\infty)$.


title: Mean-$\rho$ portfolio selection and $\rho$-arbitrage for coherent risk measures

abstract: We revisit mean-risk portfolio selection in a one-period financial market where risk is quantified by a positively homogeneous risk measure $\rho$. We first show that under mild assumptions, the set of optimal portfolios for a fixed return is nonempty and compact. However, unlike in classical mean-variance portfolio selection, it can happen that no efficient portfolios exist. We call this situation $\rho$-arbitrage, and prove that it cannot be excluded -- unless $\rho$ is as conservative as the worst-case risk measure. After providing a primal characterisation of $\rho$-arbitrage, we focus our attention on coherent risk measures that admit a dual representation and give a necessary and sufficient dual characterisation of $\rho$-arbitrage. We show that the absence of $\rho$-arbitrage is intimately linked to the interplay between the set of equivalent martingale measures (EMMs) for the discounted risky assets and the set of absolutely continuous measures in the dual representation of $\rho$. A special case of our result shows that the market does not admit $\rho$-arbitrage for Expected Shortfall at level $\alpha$ if and only if there exists an EMM $\mathbb{Q} \approx \mathbb{P}$ such that $\Vert \frac{\text{d}\mathbb{Q}}{\text{d}\mathbb{P}} \Vert_\infty < \frac{1}{\alpha}$.


title: External Enrichment of Minihalos by the First Supernovae

abstract: Recent high-resolution simulations of early structure formation have shown that externally enriched halos may form some of the first metal enriched stars. This study utilizes a 1 comoving Mpc$^3$ high-resolution simulation to study the enrichment process of metal-enriched halos down to $z=9.3$. Our simulation uniquely tracks the metals ejected from Population III stars, and we use this information to identify the origin of metals within metal-enriched halos. These halos show a wide range of metallicities, but we find that the source of metals for $\gtrsim$ 50\% of metal-enriched halos is supernova explosions of Population III stars occuring outside their virial radii. The results presented here indicate that external enrichment by metal-free stars dominates the enrichment process of halos with virial mass below $10^{6}\,M_\odot$ down to $z=9.3$. Despite the prevalence of external enrichment in low mass halos, Pop II stars forming due to external enrichment are rare because of the small contribution of low-mass halos to the global star formation rate combined with low metallicities towards the center of these halos resulting from metal ejecta from external sources mixing from the outside-in. The enriched stars that do form through this process have absolute metallicities below $10^{-3}\,Z_\odot$. We also find that the fraction of externally enriched halos increases with time, $\sim 90\%$ of halos that are externally enriched have $M_\mathrm{vir} < 10^6\,M_\odot$, and that pair-instability supernovae contribute the most to the enrichment of the IGM as a whole and are thus are the predominant supernova type contributing to the external enrichment of halos.


title: Quantum Dot in a Hybrid Structure with Dipolar Excitons

abstract: Electron states in a quantum dot (QD) located near a 2D system of dipolar excitons are perturbed by fluctuations of the exciton density caused by the electron-exciton interaction. This results in the frequency changes of electron transitions in a QD. The frequency depends on the exciton density, as well as on the exciton gas phase state. In the present work, the shifts of the two lowest QD energy levels are found both in the normal state of the exciton system and for the Bose-Einstein condensation (BEC) regime.


title: Towards a More Reliable Interpretation of Machine Learning Outputs for Safety-Critical Systems using Feature Importance Fusion

abstract: When machine learning supports decision-making in safety-critical systems, it is important to verify and understand the reasons why a particular output is produced. Although feature importance calculation approaches assist in interpretation, there is a lack of consensus regarding how features' importance is quantified, which makes the explanations offered for the outcomes mostly unreliable. A possible solution to address the lack of agreement is to combine the results from multiple feature importance quantifiers to reduce the variance of estimates. Our hypothesis is that this will lead to more robust and trustworthy interpretations of the contribution of each feature to machine learning predictions. To assist test this hypothesis, we propose an extensible Framework divided in four main parts: (i) traditional data pre-processing and preparation for predictive machine learning models; (ii) predictive machine learning; (iii) feature importance quantification and (iv) feature importance decision fusion using an ensemble strategy. We also introduce a novel fusion metric and compare it to the state-of-the-art. Our approach is tested on synthetic data, where the ground truth is known. We compare different fusion approaches and their results for both training and test sets. We also investigate how different characteristics within the datasets affect the feature importance ensembles studied. Results show that our feature importance ensemble Framework overall produces 15% less feature importance error compared to existing methods. Additionally, results reveal that different levels of noise in the datasets do not affect the feature importance ensembles' ability to accurately quantify feature importance, whereas the feature importance quantification error increases with the number of features and number of orthogonal informative features.


title: Visual Neural Decomposition to Explain Multivariate Data Sets

abstract: Investigating relationships between variables in multi-dimensional data sets is a common task for data analysts and engineers. More specifically, it is often valuable to understand which ranges of which input variables lead to particular values of a given target variable. Unfortunately, with an increasing number of independent variables, this process may become cumbersome and time-consuming due to the many possible combinations that have to be explored. In this paper, we propose a novel approach to visualize correlations between input variables and a target output variable that scales to hundreds of variables. We developed a visual model based on neural networks that can be explored in a guided way to help analysts find and understand such correlations. First, we train a neural network to predict the target from the input variables. Then, we visualize the inner workings of the resulting model to help understand relations within the data set. We further introduce a new regularization term for the backpropagation algorithm that encourages the neural network to learn representations that are easier to interpret visually. We apply our method to artificial and real-world data sets to show its utility.


title: Hypercontractivity on the symmetric group

abstract: The hypercontractive inequality is a fundamental result in analysis, with many applications throughout discrete mathematics, theoretical computer science, combinatorics and more. So far, variants of this inequality have been proved mainly for product spaces, which raises the question of whether analogous results hold over non-product domains. We consider the symmetric group, $S_n$, one of the most basic non-product domains, and establish hypercontractive inequalities on it. Our inequalities are most effective for the class of \emph{global functions} on $S_n$, which are functions whose $2$-norm remains small when restricting $O(1)$ coordinates of the input, and assert that low-degree, global functions have small $q$-norms, for $q>2$. As applications, we show: 1. An analog of the level-$d$ inequality on the hypercube, asserting that the mass of a global function on low-degrees is very small. We also show how to use this inequality to bound the size of global, product-free sets in the alternating group $A_n$. 2. Isoperimetric inequalities on the transposition Cayley graph of $S_n$ for global functions, that are analogous to the KKL theorem and to the small-set expansion property in the Boolean hypercube. 3. Hypercontractive inequalities on the multi-slice, and stability versions of the Kruskal--Katona Theorem in some regimes of parameters.


title: Kvik: A task based middleware with composable scheduling policies

abstract: In this paper we present Kvik: an implementation of a task-based "middleware" for shared memory parallel programming in the Rust language built on top of the Rayon library. We devise a system allowing several task-splitting schedulers to be finely tuned by the end users. Among these, we propose an implementation of an adaptive scheduler reducing tasks creations (splits) to bare minimum by linking tasks splitting to steal requests. Another important scheduler that allows turning computations into sequences of parallel operations is described. This operator proves itself particularly useful for interruptible computations. We exhibit different code examples well suited for different types of schedulers. We conclude our work with a set of benchmarks making heavy use of composability. In particular we present a parallel stable sort implementation with up to 1.5x more speedup when compared to the state-of-the-art parallel sorting implementation.


title: TP-LSD: Tri-Points Based Line Segment Detector

abstract: This paper proposes a novel deep convolutional model, Tri-Points Based Line Segment Detector (TP-LSD), to detect line segments in an image at real-time speed. The previous related methods typically use the two-step strategy, relying on either heuristic post-process or extra classifier. To realize one-step detection with a faster and more compact model, we introduce the tri-points representation, converting the line segment detection to the end-to-end prediction of a root-point and two endpoints for each line segment. TP-LSD has two branches: tri-points extraction branch and line segmentation branch. The former predicts the heat map of root-points and the two displacement maps of endpoints. The latter segments the pixels on straight lines out from background. Moreover, the line segmentation map is reused in the first branch as structural prior. We propose an additional novel evaluation metric and evaluate our method on Wireframe and YorkUrban datasets, demonstrating not only the competitive accuracy compared to the most recent methods, but also the real-time run speed up to 78 FPS with the $320\times 320$ input.


title: The ALMA Survey of 70 $\mu \rm m$ Dark High-mass Clumps in Early Stages (ASHES). II: Molecular Outflows in the Extreme Early Stages of Protocluster Formation

abstract: We present a study of outflows at extremely early stages of high-mass star formation obtained from the ALMA Survey of 70 $\mu \rm m$ dark High-mass clumps in Early Stages (ASHES). Twelve massive 3.6$-$70 $\mu \rm m$ dark prestellar clump candidates were observed with the Atacama Large Millimeter/submillimeter Array (ALMA) in Band 6. Forty-three outflows are identified toward 41 out of 301 dense cores using the CO and SiO emission lines, yielding a detection rate of 14%. We discover 6 episodic molecular outflows associated with low- to high-mass cores, indicating that episodic outflows (and therefore episodic accretion) begin at extremely early stages of protostellar evolution for a range of core masses. The time span between consecutive ejection events is much smaller than those found in more evolved stages, which indicates that the ejection episodicity timescale is likely not constant over time. The estimated outflow dynamical timescale appears to increase with core masses, which likely indicates that more massive cores have longer accretion timescales than less massive cores. The lower accretion rates in these 70 $\mu \rm m$ dark objects compared to the more evolved protostars indicate that the accretion rates increase with time. The total outflow energy rate is smaller than the turbulent energy dissipation rate, which suggests that outflow induced turbulence cannot sustain the internal clump turbulence at the current epoch. We often detect thermal SiO emission within these 70 $\mu \rm m$ dark clumps that is unrelated to CO outflows. This SiO emission could be produced by collisions, intersection flows, undetected protostars, or other motions.


title: Forecasting the Leading Indicator of a Recession: The 10-Year minus 3-Month Treasury Yield Spread

abstract: In this research paper, I have applied various econometric time series and two machine learning models to forecast the daily data on the yield spread. First, I decomposed the yield curve into its principal components, then simulated various paths of the yield spread using the Vasicek model. After constructing univariate ARIMA models, and multivariate models such as ARIMAX, VAR, and Long Short Term Memory, I calibrated the root mean squared error to measure how far the results deviate from the current values. Through impulse response functions, I measured the impact of various shocks on the difference yield spread. The results indicate that the parsimonious univariate ARIMA model outperforms the richly parameterized VAR method, and the complex LSTM with multivariate data performs equally well as the simple ARIMA model.


title: Volatility Forecasting with 1-dimensional CNNs via transfer learning

abstract: Volatility is a natural risk measure in finance as it quantifies the variation of stock prices. A frequently considered problem in mathematical finance is to forecast different estimates of volatility. What makes it promising to use deep learning methods for the prediction of volatility is the fact, that stock price returns satisfy some common properties, referred to as `stylized facts'. Also, the amount of data used can be high, favoring the application of neural networks. We used 10 years of daily prices for hundreds of frequently traded stocks, and compared different CNN architectures: some networks use only the considered stock, but we tried out a construction which, for training, uses much more series, but not the considered stocks. Essentially, this is an application of transfer learning, and its performance turns out to be much better in terms of prediction error. We also compare our dilated causal CNNs to the classical ARIMA method using an automatic model selection procedure.


title: Manifestly Causal Loop-Tree Duality

abstract: Loop-Tree Duality (LTD) is a framework in which the energy components of all loop momenta of a Feynman integral are integrated out using residue theorem, resulting in a sum over tree-like structures. Originally, the LTD expression exhibits cancellations of non-causal thresholds between summands, also known as dual cancellations. As a result, the expression exhibits numerical instabilities in the vicinity of non-causal thresholds and for large loop momenta. In this work we derive a novel, generically applicable, Manifestly Causal LTD (cLTD) representation whose only thresholds are causal thresholds, i.e. it manifestly realizes dual cancellations. Consequently, this result also serves as a general proof for dual cancellations. We show that LTD, cLTD, and the expression stemming from Time Ordered Perturbation Theory (TOPT) are locally equivalent. TOPT and cLTD both feature only causal threshold singularities, however LTD features better scaling with the number of propagators. On top of the new theoretical perspectives offered by our representation, it has the useful property that the ultraviolet (UV) behaviour of the original 4D integrand is maintained for every summand. We show that the resulting LTD integrand expression is completely stable in the UV region which is key for practical applications of LTD to the computation of amplitudes and cross sections. We present explicit examples of the LTD expression for a variety of up to four-loop integrals and show that its increased computational complexity can be efficiently mitigated by optimising its numerical implementation. Finally, we provide computer code that automatically generates the LTD expression for an arbitrary topology.


title: When Probabilistic Shaping Realizes Improper Signaling for Hardware Distortion Mitigation

abstract: Hardware distortions (HWD) render drastic effects on the performance of communication systems. They are recently proven to bear asymmetric signatures; and hence can be efficiently mitigated using improper Gaussian signaling (IGS), thanks to its additional design degrees of freedom. Discrete asymmetric signaling (AS) can practically realize the IGS by shaping the signals' geometry or probability. In this paper, we adopt the probabilistic shaping (PS) instead of uniform symbols to mitigate the impact of HWD and derive the optimal maximum a posterior detector. Then, we design the symbols' probabilities to minimize the error rate performance while accommodating the improper nature of HWD. Although the design problem is a non-convex optimization problem, we simplified it using successive convex programming and propose an iterative algorithm. We further present a hybrid shaping (HS) design to gain the combined benefits of both PS and geometric shaping (GS). Finally, extensive numerical results and Monte-Carlo simulations highlight the superiority of the proposed PS over conventional uniform constellation and GS. Both PS and HS achieve substantial improvements over the traditional uniform constellation and GS with up to one order magnitude in error probability and throughput.


title: A full-twisting formula for the HOMFLY polynomial

abstract: We introduce a certain class of link diagrams, which includes all closed braid diagrams. We show a generalized version of K\'alm\'an's full-twist formula for the HOMFLY polynomial in the class.


title: Quantum State Complexity in Computationally Tractable Quantum Circuits

abstract: Characterizing the quantum complexity of local random quantum circuits is a very deep problem with implications to the seemingly disparate fields of quantum information theory, quantum many-body physics and high energy physics. While our theoretical understanding of these systems has progressed in recent years, numerical approaches for studying these models remains severely limited. In this paper, we discuss a special class of numerically tractable quantum circuits, known as quantum automaton circuits, which may be particularly well suited for this task. These are circuits which preserve the computational basis, yet can produce highly entangled output wave functions. Using ideas from quantum complexity theory, especially those concerning unitary designs, we argue that automaton wave functions have high quantum state complexity. We look at a wide variety of metrics, including measurements of the output bit-string distribution and characterization of the generalized entanglement properties of the quantum state, and find that automaton wave functions closely approximate the behavior of fully Haar random states. In addition to this, we identify the generalized out-of-time ordered 2k-point correlation functions as a particularly useful probe of complexity in automaton circuits. Using these correlators, we are able to numerically study the growth of complexity well beyond the scrambling time for very large systems. As a result, we are able to present evidence of a linear growth of design complexity in local quantum circuits, consistent with conjectures from quantum information theory.


title: Analytical Voltage Sensitivity Analysis for Unbalanced Power Distribution System

abstract: Large scale integration of distributed energy resources and electric vehicles in a transactive energy environment present new challenges in terms of voltage stability and fluctuations in a power distribution system. The impact of different level of DER/EV penetration on the voltages across the network is typically quantified through voltage sensitivity analyses. Existing methods of voltage sensitivity analysis are computationally expensive and prior efforts to develop analytical approximation lacks generality and have not been effectively validated. The objective of this work is to provide a new analytical method of voltage sensitivity analysis that has low computational cost and also allows for stochastic analysis of voltage change. This paper first derives an analytical approximation of change in voltage at a particular bus due to change in power consumption at other bus in a radial three phase unbalanced power distribution system. Then, the proposed method is shown to be valid for different load configurations, which demonstrates its generality. The results from our analytical approach is validated via classical load flow simulation of the test system based on IEEE 37 bus network. The proposed method is shown to have good accuracy, and computation complexity is of order O(1), compared to O(n3) in classical sensitivity analysis approaches.


title: Search for the stochastic gravitational-wave background induced by primordial curvature perturbations in LIGO's second observing run

abstract: Primordial density perturbations in the radiation-dominated era of the early Universe are expected to generate stochastic gravitational waves (GWs) due to nonlinear mode coupling. In this \emph{Letter}, we report on a search for such a stochastic GW background in the data of the two LIGO detectors during their second observing run (O2). We focus on the primordial perturbations in the range of comoving wavenumbers $10^{16}-10^{18}~{\rm Mpc}^{-1}$ for which the stochastic background falls within the detectors' sensitivity band. We do not find any conclusive evidence of this stochastic signal in the data, and thus place the very first GW-based constraints on the amplitude of the power spectrum at these scales. We assume a lognormal shape for the power spectrum and Gaussian statistics for the primordial perturbations, and vary the width of the power spectrum to cover both narrow and broad spectra. Derived upper limits ($95\%$) on the amplitude of the power spectrum are $0.01-0.1$. As a byproduct, we are able to infer upper limits on the fraction of the Universe's mass in ultralight primordial black holes ($M_\mathrm{PBH} \simeq 10^{-20}-10^{-19}M_{\odot}$) at their formation time to be $\lesssim 10^{-25}$.


title: Search for Signatures of Sterile Neutrinos with Double Chooz

abstract: We present a search for signatures of neutrino mixing of electron anti-neutrinos with additional hypothetical sterile neutrino flavors using the Double Chooz experiment. The search is based on data from 5 years of operation of Double Chooz, including 2 years in the two-detector configuration. The analysis is based on a profile likelihood, i.e.\ comparing the data to the model prediction of disappearance in a data-to-data comparison of the two respective detectors. The analysis is optimized for a model of three active and one sterile neutrino. It is sensitive in the typical mass range $5 \cdot 10^{-3} $ eV$^2 \lesssim \Delta m^2_{41} \lesssim 3\cdot 10^{-1} $ eV$^2$ for mixing angles down to $\sin^2 2\theta_{14} \gtrsim 0.02$. No significant disappearance additionally to the conventional disappearance related to $\theta_{13} $ is observed and correspondingly exclusion bounds on the sterile mixing parameter $\theta_{14} $ as function of $ \Delta m^2_{41} $ are obtained.


title: Deducing neighborhoods of classes from a fitted model

abstract: In todays world the request for very complex models for huge data sets is rising steadily. The problem with these models is that by raising the complexity of the models, it gets much harder to interpret them. The growing field of \emph{interpretable machine learning} tries to make up for the lack of interpretability in these complex (or even blackbox-)models by using specific techniques that can help to understand those models better. In this article a new kind of interpretable machine learning method is presented, which can help to understand the partitioning of the feature space into predicted classes in a classification model using quantile shifts. To illustrate in which situations this quantile shift method (QSM) could become beneficial, it is applied to a theoretical medical example and a real data example. Basically, real data points (or specific points of interest) are used and the changes of the prediction after slightly raising or decreasing specific features are observed. By comparing the predictions before and after the manipulations, under certain conditions the observed changes in the predictions can be interpreted as neighborhoods of the classes with regard to the manipulated features. Chordgraphs are used to visualize the observed changes.


title: Galaxy imaging surveys as spin-sensitive detector for cosmological colliders

abstract: Galaxy imaging surveys provide us with information on both the galaxy distribution and their shapes. In this paper, we systematically investigate the sensitivity of galaxy shapes to new physics in the initial conditions. For this purpose, we decompose the galaxy shape function into spin components, and compute the contributions to each spin component from both intrinsic alignment and weak lensing. We then consider the angular-dependent primordial non-Gaussianity, which is generated by a non-zero integer spin particle when active during inflation, and show that a galaxy imaging survey essentially functions as a spin-sensitive detector of such particles in the early universe. We also perform a forecast of the PNG generated from a higher spin particle, considering a Rubin Observatory LSST-like galaxy survey.

categories: astro-ph.CO astro-ph.HE gr-qc hep-ph hep-th


title: Mechanisms for a No-Regret Agent: Beyond the Common Prior

abstract: A rich class of mechanism design problems can be understood as incomplete-information games between a principal who commits to a policy and an agent who responds, with payoffs determined by an unknown state of the world. Traditionally, these models require strong and often-impractical assumptions about beliefs (a common prior over the state). In this paper, we dispense with the common prior. Instead, we consider a repeated interaction where both the principal and the agent may learn over time from the state history. We reformulate mechanism design as a reinforcement learning problem and develop mechanisms that attain natural benchmarks without any assumptions on the state-generating process. Our results make use of novel behavioral assumptions for the agent -- centered around counterfactual internal regret -- that capture the spirit of rationality without relying on beliefs.


title: RF-Based Low-SNR Classification of UAVs Using Convolutional Neural Networks

abstract: This paper investigates the problem of classification of unmanned aerial vehicles (UAVs) from radio frequency (RF) fingerprints at the low signal-to-noise ratio (SNR) regime. We use convolutional neural networks (CNNs) trained with both RF time-series images and the spectrograms of 15 different off-the-shelf drone controller RF signals. When using time-series signal images, the CNN extracts features from the signal transient and envelope. As the SNR decreases, this approach fails dramatically because the information in the transient is lost in the noise, and the envelope is distorted heavily. In contrast to time-series representation of the RF signals, with spectrograms, it is possible to focus only on the desired frequency interval, i.e., 2.4 GHz ISM band, and filter out any other signal component outside of this band. These advantages provide a notable performance improvement over the time-series signals-based methods. To further increase the classification accuracy of the spectrogram-based CNN, we denoise the spectrogram images by truncating them to a limited spectral density interval. Creating a single model using spectrogram images of noisy signals and tuning the CNN model parameters, we achieve a classification accuracy varying from 92% to 100% for an SNR range from -10 dB to 30 dB, which significantly outperforms the existing approaches to our best knowledge.


title: No Inner-Horizon Theorem for Black Holes with Charged Scalar Hairs

abstract: We establish a no inner-horizon theorem for black holes with charged scalar hairs. Considering a general gravitational theory with a charged scalar field, we prove that there exists no inner Cauchy horizon for both spherical and planar black holes with non-trivial scalar hair. The hairy black holes approach to a spacelike singularity at late interior time. This result is independent of the form of scalar potentials as well as the asymptotic boundary of spacetimes. We prove that the geometry near the singularity takes a universal Kasner form when the kinetic term of the scalar hair dominates, while novel behaviors different from the Kasner form are uncovered when the scalar potential become important to the background. For the hyperbolic horizon case, we show that hairy black hole can only has at most one inner horizon, and a concrete example with an inner horizon is presented. All these features are also valid for the Einstein gravity coupled with neutral scalars.


title: Ultra-short, MeV-scale laser-plasma positron source for positron annihilation lifetime spectroscopy

abstract: Sub-micron defects represent a well-known fundamental problem in manufacturing since they can significantly affect performance and lifetime of virtually any high-value component. Positron annihilation lifetime spectroscopy is arguably the only established method capable of detecting defects down to the sub-nanometer scale but, to date, it only works for surface studies, and with limited resolution. Here, we experimentally and numerically show that laser-driven systems can overcome these well-known limitations, by generating ultra-short positron beams with a kinetic energy tuneable from 500 keV up to 2 MeV and a number of positrons per shot in a 50 keV energy slice \color{black} of the order of $10^3$. Numerical simulations of the expected performance of a typical mJ-scale kHz laser demonstrate the possibility of generating MeV-scale narrow-band and ultra-short positron beams with a flux exceeding $10^5$ positrons/s, of interest for fast volumetric scanning of materials at high resolution.


title: Lattice QCD constraints on the parton distribution functions of ${}^3\text{He}$

abstract: The fraction of the longitudinal momentum of ${}^3\text{He}$ that is carried by the isovector combination of $u$ and $d$ quarks is determined using lattice QCD for the first time. The ratio of this combination to that in the constituent nucleons is found to be consistent with unity at the few-percent level from calculations with quark masses corresponding to $m_\pi\sim 800$ MeV, extrapolated to the physical quark masses. This constraint is consistent with, and significantly more precise than, determinations from global nuclear parton distribution function fits. Including the lattice QCD determination of the momentum fraction in the nNNPDF global fitting framework results in the uncertainty on the isovector momentum fraction ratio being reduced by a factor of 2.5, and thereby enables a more precise extraction of the $u$ and $d$ parton distributions in ${}^3\text{He}$.


title: Electronic nematic states tuned by isoelectronic substitution in bulk FeSe1-xSx

abstract: Isoelectronic substitution is an ideal tuning parameter to alter electronic states and correlations in iron-based superconductors. As this substitution takes place outside the conducting Fe planes, the electronic behaviour is less affected by the impurity scattering experimentally and relevant key electronic parameters can be accessed. In this short review, I present the experimental progress made in understanding the electronic behaviour of the nematic electronic superconductors, FeSe1-xSx. A direct signature of the nematic electronic state is in-plane anisotropic distortion of the Fermi surface triggered by orbital ordering effects and electronic interactions that result in multi-band shifts detected by ARPES. Upon sulphur substitution, the electronic correlations and the Fermi velocities decrease in the tetragonal phase. Quantum oscillations are observed for the whole series in ultra-high magnetic fields and show a complex spectra due to the presence of many small orbits. Effective masses associated to the largest orbit display non-divergent behaviour at the nematic end point (x~0.175(5)), as opposed to critical spin-fluctuations in other iron pnictides. Magnetotransport behaviour has a strong deviation from the Fermi liquid behaviour and linear T resistivity is detected at low temperatures inside the nematic phase, where scattering from low energy spin-fluctuations are likely to be present. The superconductivity is not enhanced in FeSe1-xSx and there are no divergent electronic correlations at the nematic end point. These manifestations indicate a strong coupling with the lattice in FeSe1-xSx and a pairing mechanism likely promoted by spin fluctuations.


title: Physically Embedded Planning Problems: New Challenges for Reinforcement Learning

abstract: Recent work in deep reinforcement learning (RL) has produced algorithms capable of mastering challenging games such as Go, chess, or shogi. In these works the RL agent directly observes the natural state of the game and controls that state directly with its actions. However, when humans play such games, they do not just reason about the moves but also interact with their physical environment. They understand the state of the game by looking at the physical board in front of them and modify it by manipulating pieces using touch and fine-grained motor control. Mastering complicated physical systems with abstract goals is a central challenge for artificial intelligence, but it remains out of reach for existing RL algorithms. To encourage progress towards this goal we introduce a set of physically embedded planning problems and make them publicly available. We embed challenging symbolic tasks (Sokoban, tic-tac-toe, and Go) in a physics engine to produce a set of tasks that require perception, reasoning, and motor control over long time horizons. Although existing RL algorithms can tackle the symbolic versions of these tasks, we find that they struggle to master even the simplest of their physically embedded counterparts. As a first step towards characterizing the space of solution to these tasks, we introduce a strong baseline that uses a pre-trained expert game player to provide hints in the abstract space to an RL agent's policy while training it on the full sensorimotor control task. The resulting agent solves many of the tasks, underlining the need for methods that bridge the gap between abstract planning and embodied control. See illustrating video at https://youtu.be/RwHiHlym_1k.


title: Comet-like tails of disintegrating exoplanets explained by escaping outflows emanated from the permanent nightside: day-side versus night-side escape

abstract: Ultra-hot disintegrating exoplanets have been detected with tails trailing behind and/or shooting ahead of them. These tails are believed to be made of dusts that are carried upward by the supersonic flow escaping the planet's gravity field from the fiercely heated permanent day-side. Conserving angular momentum, this day-side escape flux would lead the planet in orbit. In order to explain the trailing tails in observation, radiation pressure, a repulsive force pushing the escape flow away from the host star is considered to be necessary. We here investigate whether escape could occur on the night-side as the escape flow is deflected by the pressure gradient force. We demonstrate in an idealized framework that escape flux from the night-side could dominate that from the day-side; and the former may naturally explain the commonly-observed trailing tails based on angular momentum conservation, without the need to invoke radiation pressure, which has previously been thought to be the key. We also find analytical approximations for both dayside and nightside escape fluxes, which may be applied to study planetary evolution of disintegrating planets and to infer planetary sizes from observations of the properties of their dusty tails.


title: Parity and time-reversal elucidate both decision-making in empirical models and attractor scaling in critical Boolean networks

abstract: We present new applications of parity inversion and time-reversal to the emergence of complex behavior from simple dynamical rules in stochastic discrete models. Our parity-based encoding of causal relationships and time-reversal construction efficiently reveal discrete analogs of stable and unstable manifolds. We demonstrate their predictive power by studying decision-making in systems biology and statistical physics models. These applications underpin a novel attractor identification algorithm implemented for Boolean networks under stochastic dynamics. Its speed enables resolving a longstanding open question of how attractor count in critical random Boolean networks scales with network size, and whether the scaling matches biological observations. Via 80-fold improvement in probed network size ($N=16,384$), we find the surprisingly low scaling exponent of $0.12\pm 0.05$ -- approximately one tenth the analytical upper bound. We demonstrate a general principle: a system's relationship to its time-reversal and state-space inversion constrains its repertoire of emergent behaviors.


title: On Multitask Loss Function for Audio Event Detection and Localization

abstract: Audio event localization and detection (SELD) have been commonly tackled using multitask models. Such a model usually consists of a multi-label event classification branch with sigmoid cross-entropy loss for event activity detection and a regression branch with mean squared error loss for direction-of-arrival estimation. In this work, we propose a multitask regression model, in which both (multi-label) event detection and localization are formulated as regression problems and use the mean squared error loss homogeneously for model training. We show that the common combination of heterogeneous loss functions causes the network to underfit the data whereas the homogeneous mean squared error loss leads to better convergence and performance. Experiments on the development and validation sets of the DCASE 2020 SELD task demonstrate that the proposed system also outperforms the DCASE 2020 SELD baseline across all the detection and localization metrics, reducing the overall SELD error (the combined metric) by approximately 10% absolute.


title: Modeling growth of urban firm networks

abstract: The emergence of interconnected urban networks is a crucial feature of globalisation processes. Understanding the drivers behind the growth of such networks - in particular urban firm networks -, is essential for the economic resilience of urban systems. We introduce in this paper a generative network model for firm networks at the urban area level including several complementary processes: the economic size of urban areas at origin and destination, industrial sector proximity between firms, the strength of links from the past, as well as the geographical and socio-cultural distance. An empirical network analysis on European firm ownership data confirms the relevance of each of these factors. We then simulate network growth for synthetic systems of cities, unveiling stylized facts such as a transition from a local to a global regime or a maximal integration achieved at an intermediate interaction range. We calibrate the model on the European network, outperforming statistical models and showing a strong role of path-dependency. Potential applications of the model include the study of mitigation policies to deal with exogenous shocks such as economic crisis or potential lockdowns of countries, which we illustrate with an application on stylized scenarios.


title: D-critical locus structure on the Hilbert schemes of some local toric Calabi-Yau threefolds

abstract: The notion of a d-critical locus is an ingredient in the definition of motivic Donaldson-Thomas invariants by [BJM19]. In this paper we show that there is a d-critical locus structure on the Hilbert scheme of dimension zero subschemes on some local toric Calabi-Yau 3-folds. We also show that using this d-critical locus structure and a choice of orientation data, the resulting motivic invariants agree with the definition given by the previous work of [BBS13].


title: TREX: Tree-Ensemble Representer-Point Explanations

abstract: How can we identify the training examples that contribute most to the prediction of a tree ensemble? In this paper, we introduce TREX, an explanation system that provides instance-attribution explanations for tree ensembles, such as random forests and gradient boosted trees. TREX builds on the representer point framework previously developed for explaining deep neural networks. Since tree ensembles are non-differentiable, we define a kernel that captures the structure of the specific tree ensemble. By using this kernel in kernel logistic regression or a support vector machine, TREX builds a surrogate model that approximates the original tree ensemble. The weights in the kernel expansion of the surrogate model are used to define the global or local importance of each training example. Our experiments show that TREX's surrogate model accurately approximates the tree ensemble; its global importance weights are more effective in dataset debugging than the previous state-of-the-art; its explanations identify the most influential samples better than alternative methods under the remove and retrain evaluation framework; it runs orders of magnitude faster than alternative methods; and its local explanations can identify and explain errors due to domain mismatch.


title: Smart Jamming Attacks in 5G New Radio: A Review

abstract: The fifth generation of wireless cellular networks (5G) is expected to be the infrastructure for emergency services, natural disasters rescue, public safety, and military communications. 5G, as any previous wireless cellular network, is vulnerable to jamming attacks, which create deliberate interference to hinder the communication of legitimate users. Therefore, jamming 5G networks can be a real threat to public safety. Thus, there is a strong need to investigate to what extent these networks are vulnerable to jamming attacks. For this investigation, we consider the 3GPP standard released in 2017, which is widely accepted as the primary reference for the deployment of these networks. First, we describe the key elements of 5G New Radio (NR) architecture, such as different channels and signals exchanged between the base station and user equipment. Second, we conduct an in-depth review of the jamming attack models and we assess the 5G NR vulnerabilities to these jamming attacks. Then, we present the state-of-the-art detection and mitigation techniques, and we discuss their suitability to defeat smart jammers in 5G wireless networks. Finally, we provide some recommendations and future research directions at the end of this paper.


title: Limitations of optimization algorithms on noisy quantum devices

abstract: Recent technological developments have focused the interest of the quantum computing community on investigating how near-term devices could outperform classical computers for practical applications. A central question that remains open is whether their noise can be overcome or it fundamentally restricts any potential quantum advantage. We present a transparent way of comparing classical algorithms to quantum ones running on near-term quantum devices for a large family of problems that include optimization problems and approximations to the ground state energy of Hamiltonians. Our approach is based on the combination of entropic inequalities that determine how fast the quantum computation state converges to the fixed point of the noise model, together with established classical methods of Gibbs state sampling. The approach is extremely versatile and allows for its application to a large variety of problems, noise models and quantum computing architectures. We use our result to provide estimates for a variety of problems and architectures that have been the focus of recent experiments, such as quantum annealers, variational quantum eigensolvers, and quantum approximate optimization. The bounds we obtain indicate that substantial quantum advantages are unlikely for classical optimization unless the current noise rates are decreased by orders of magnitude or the topology of the problem matches that of the device. This is the case even if the number of qubits increases substantially. We reach similar but less stringent conclusions for quantum Hamiltonian problems.


title: Deep Learning Interference Cancellation in Wireless Networks

abstract: With the crowding of the electromagnetic spectrum and the shrinking cell size in wireless networks, crosstalk between base stations and users is a major problem. Although hand-crafted functional blocks and coding schemes are proven effective to guarantee reliable data transfer, currently deep learning-based approaches have drawn increasing attention in the communication system modeling. In this paper, we propose a Neural Network (NN) based signal processing technique that works with traditional DSP algorithms to overcome the interference problem in realtime. This technique doesn't require any feedback protocol between the receiver and transmitter which makes it very suitable for low-latency and high data-rate applications such as autonomy and augmented reality. While there has been recent work on the use of Reinforcement Learning (RL) in the control layer to manage and control the interference, our approach is novel in the sense that it introduces a neural network for signal processing at baseband data rate and in the physical layer. We demonstrate this "Deep Interference Cancellation" technique using a convolutional LSTM autoencoder. When applied to QAM-OFDM modulated data, the network produces significant improvement in the symbol error rate (SER). We further discuss the hardware implementation including latency, power consumption, memory requirements, and chip area.


title: Fast LDPC GPU Decoder for Cloud RAN

abstract: The GPU as a digital signal processing accelerator for cloud RAN is investigated. A new design for a 5G NR low density parity check code decoder running on a GPU is presented. The algorithm is flexibly adaptable to GPU architecture to achieve high resource utilization as well as low latency. It improves over an existing layered design that processes additional codewords in parallel to increase utilization. In comparison to a decoder implemented on a FPGA (757K gate), the new GPU (24 core) decoder has 3X higher throughput. The GPU decoder exhibits 3 to 5X lower decoding power efficiency, as typical of a general-purpose processor. Thus, GPUs may find application as cloud accelerators where rapid deployment and flexibility are prioritized over decoding power efficiency.


title: Gradient-index electron optics in graphene pn junctions

abstract: We investigate the electron transport in smooth graphene pn junctions, generated by gradually varying electrostatic potentials. The numerically calculated coherent current flow patterns can be understood largely in terms of semi-classical trajectories, equivalent to the ones obtained for light beams in a medium with a gradually changing refractive index. In smooth junctions, energetically forbidden regions emerge, which increase reflections and can generate pronounced interference patterns, for example, whispering gallery modes. The investigated devices do not only demonstrate the feasibility of the gradient-index electron optics in graphene pn junctions, such as Luneburg and Maxwell lenses, but may have also technological applications, for example, as electron beam splitters, focusers and waveguides. The semi-classical trajectories offer an efficient tool to estimate the current flow paths in such nano-electronic devices.


title: Optical floating zone crystal growth of rare-earth disilicates, $R\mathbf{_{2}}$Si$\mathbf{_{2}}$O$\mathbf{_{7}}$ ($R=$ Er, Ho, and Tm)

abstract: The wealth of structural phases seen in the rare-earth disilicate compounds promises an equally rich range of interesting magnetic properties. We report on the crystal growth by the optical floating zone method of members of the rare-earth disilicate family, $R_{2}$Si$_{2}$O$_{7}$ (with $R=$ Er, Ho, and Tm). Through a systematic study, we have optimised the growth conditions for Er$_{2}$Si$_{2}$O$_{7}$. We have grown, for the first time using the floating zone method, crystal boules of Ho$_{2}$Si$_{2}$O$_{7}$ and Tm$_{2}$Si$_{2}$O$_{7}$ compounds. We show that the difficulties encountered in the synthesis of polycrystalline and single crystal samples are due to the similar thermal stability ranges of different rare-earth silicate compounds in the temperature-composition phase diagrams of the $R$-Si-O systems. The addition of a small amount of SiO$_{2}$ excess allowed the amount of impurity phases present in the powder samples to be minimised. The phase composition analysis of the powder X-ray diffraction data collected on the as-grown boules revealed that they were of single phase, except in the case of thulium disilicate, which comprised of two phases. All growths resulted in multi-grain boules, from which sizable single crystals could be isolated. The optimum conditions used for the synthesis and crystal growth of polycrystalline and single crystal $R_{2}$Si$_{2}$O$_{7}$ materials are reported. Specific heat measurements of erbium and thulium disilicate compounds confirm an antiferromagnetic phase transition below $T_{\mathrm{N}}=$ 1.8 K for D-type Er$_{2}$Si$_{2}$O$_{7}$ and a Schottky anomaly centered around 3.5 K in C-type Tm$_{2}$Si$_{2}$O$_{7}$, suggesting the onset of short-range magnetic correlations. Magnetic susceptibility data of E-type Ho$_{2}$Si$_{2}$O$_{7}$ reveals an antiferromagnetic ordering of the Ho spins below $T_\mathrm{{N}}=$ 2.3 K.


title: Federated Model Distillation with Noise-Free Differential Privacy

abstract: Conventional federated learning directly averages model weights, which is only possible for collaboration between models with homogeneous architectures. Sharing prediction instead of weight removes this obstacle and eliminates the risk of white-box inference attacks in conventional federated learning. However, the predictions from local models are sensitive and would leak training data privacy to the public. To address this issue, one naive approach is adding the differentially private random noise to the predictions, which however brings a substantial trade-off between privacy budget and model performance. In this paper, we propose a novel framework called FEDMD-NFDP, which applies a Noise-Free Differential Privacy (NFDP) mechanism into a federated model distillation framework. Our extensive experimental results on various datasets validate that FEDMD-NFDP can deliver not only comparable utility and communication efficiency but also provide a noise-free differential privacy guarantee. We also demonstrate the feasibility of our FEDMD-NFDP by considering both IID and non-IID setting, heterogeneous model architectures, and unlabelled public datasets from a different distribution.


title: Wavefront Shaping with a Tunable Metasurface: Creating Coldspots and Coherent Perfect Absorption at Arbitrary Frequencies

abstract: Modern electronic systems operate in complex electromagnetic environments and must handle noise and unwanted coupling. The capability to isolate or reject unwanted signals for mitigating vulnerabilities is critical in any practical application. In this work, we describe the use of a binary programmable metasurface to (i) control the spatial degrees of freedom for waves propagating inside an electromagnetic cavity and demonstrate the ability to create nulls in the transmission coefficient between selected ports; and (ii) create the conditions for coherent perfect absorption. Both objectives are performed at arbitrary frequencies. In the first case a novel and effective optimization algorithm is presented that selectively generates coldspots over a single frequency band or simultaneously over multiple frequency bands. We show that this algorithm is successful with multiple input port configurations and varying optimization bandwidths. In the second case we establish how this technique can be used to establish a multi-port coherent perfect absorption state for the cavity.


title: A general definition of dependent type theories

abstract: We define a general class of dependent type theories, encompassing Martin-L\"of's intuitionistic type theories and variants and extensions. The primary aim is pragmatic: to unify and organise their study, allowing results and constructions to be given in reasonable generality, rather than just for specific theories. Compared to other approaches, our definition stays closer to the direct or naive reading of syntax, yielding the traditional presentations of specific theories as closely as possible. Specifically, we give three main definitions: raw type theories, a minimal setup for discussing dependently typed derivability; acceptable type theories, including extra conditions ensuring well-behavedness; and well-presented type theories, generalising how in traditional presentations, the well-behavedness of a type theory is established step by step as the type theory is built up. Following these, we show that various fundamental fitness-for-purpose metatheorems hold in this generality. Much of the present work has been formalised in the proof assistant Coq.


title: Graviton: interchain swaps and wrapped tokens liquidity incentivisation solution

abstract: This paper discusses the issues with liquidity that inhibit adoption of so-called wrapped tokens, i.e. digital assets issued in one blockchain ecosystem (origin) with representation in other blockchain networks (destination), and an incentive model and a governance mechanism for solving these issues are suggested. The proposed liquidity model called Graviton can be implemented both within the framework of a single destination chain, or as a blockchain-agnostic solution combining various blockchain platforms together and providing liquidity to wrapped tokens in each of them. This model does not depend on how cross-chain transfer gateways are implemented, and can work with both centralized gates and bridges, or decentralized trustless gateways, as well as gateways based on oracle networks and threshold signatures.


title: 2D Fractional Cascading on Axis-aligned Planar Subdivisions

abstract: Fractional cascading is one of the influential techniques in data structures, as it provides a general framework for solving the important iterative search problem. In the problem, the input is a graph $G$ with constant degree and a set of values for every vertex of $G$. The goal is to preprocess $G$ such that when given a query value $q$, and a connected subgraph $\pi$ of $G$, we can find the predecessor of $q$ in all the sets associated with the vertices of $\pi$. The fundamental result of fractional cascading is that there exists a data structure that uses linear space and it can answer queries in $O(\log n + |\pi|)$ time [Chazelle and Guibas, 1986]. While this technique has received plenty of attention in the past decades, an almost quadratic space lower bound for "2D fractional cascading" [Chazelle and Liu, 2001] has convinced the researchers that fractional cascading is fundamentally a 1D technique. In 2D fractional cascading, the input includes a planar subdivision for every vertex of $G$ and the query is a point $q$ and a subgraph $\pi$ and the goal is to locate the cell containing $q$ in all the subdivisions associated with the vertices of $\pi$. In this paper, we show that it is possible to circumvent the lower bound of Chazelle and Liu for axis-aligned planar subdivisions. We present a number of upper and lower bounds which reveal that in 2D, the problem has a much richer structure. When $G$ is a tree and $\pi$ is a path, then queries can be answered in $O(\log{n}+|\pi|+\min\{|\pi|\sqrt{\log{n}},\alpha(n)\sqrt{|\pi|}\log{n}\})$ time using linear space where $\alpha$ is an inverse Ackermann function; surprisingly, we show both branches of this bound are tight, up to the inverse Ackermann factor. When $G$ is a general graph or when $\pi$ is a general subgraph, then the query bound becomes $O(\log n + |\pi|\sqrt{\log n})$ and this bound is once again tight in both cases.


title: Counting sheaves on Calabi-Yau 4-folds, I

abstract: Borisov-Joyce constructed a real virtual cycle on compact moduli spaces of stable sheaves on Calabi-Yau 4-folds, using derived differential geometry. We construct an algebraic virtual cycle. A key step is a localisation of Edidin-Graham's square root Euler class for $SO(r,\mathbb C)$ bundles to the zero locus of an isotropic section, or to the support of an isotropic cone. We prove a torus localisation formula, making the invariants computable and extending them to the noncompact case when the fixed locus is compact. We give a $K$-theoretic refinement by defining $K$-theoretic square root Euler classes and their localised versions. In a sequel we prove our invariants reproduce those of Borisov-Joyce.


title: Certain systems of three falling balls satisfy the Chernov-Sinai Ansatz

abstract: The system of falling balls is an autonomous Hamiltonian system with a smooth invariant measure and non-zero Lyapunov exponents almost everywhere. For almost three decades new, the question of its ergodicity remains open. We contribute to the solution of the erogodicity conjecture for three falling balls with a specific mass ratio in the following two points: First, we prove the Chernov-Sinai ansatz. Second, we prove that there is an abundance of sufficiently expanding points. It is of special interest that for the aforementioned specific mass ratio, the configuration space can be unfolded to a billiard table, where the proper alignment condition holds.


title: Asymptotic behavior of the basic reproduction ratio for periodic reaction-diffusion systems

abstract: This paper is devoted to the study of asymptotic behavior of the basic reproduction ratio for periodic reaction-diffusion systems in the case of small and large diffusion coefficients. We first establish the continuity of the basic reproduction ratio with respect to parameters by developing the theory of resolvent positive operators. Then we investigate the limiting profile of the principal eigenvalue of an associated periodic eigenvalue problem for large diffusion coefficients. We then obtain the asymptotic behavior of the basic reproduction ratio as the diffusion coefficients go to zero and infinity, respectively. We also investigate the limiting behavior of positive periodic solution for periodic and cooperative reaction-diffusion systems with the Neumann boundary condition when the diffusion coefficients are large enough. Finally, we apply these results to a reaction-diffusion model of Zika virus transmission.


title: Bi-initial objects and bi-representations are not so different

abstract: We introduce a functor $\mathcal V\colon \mathrm{DblCat}_{h,nps}\to \mathrm{2Cat}_{h,nps}$ extracting from a double category a $2$-category whose objects and morphisms are the vertical morphisms and squares. We give a characterisation of bi-representations of a normal pseudo-functor $F\colon \mathbf C^{\operatorname{op}}\to \mathrm{Cat}$ in terms of double bi-initial objects in the double category $\mathbb{E}l(F)$ of elements of $F$, or equivalently as bi-initial objects of a special form in the $2$-category $\mathcal V\mathbb{E}l(F)$ of morphisms of $F$. Although not true in general, in the special case where the $2$-category $\mathbf C$ has tensors by the category $\mathbf{2}=\{0\to 1\}$ and $F$ preserves those tensors, we show that a bi-representation of $F$ is then precisely a bi-initial object in the $2$-category $\mathbf{E}l(F)$ of elements of $F$. We give applications of this theory to bi-adjunctions and weighted bi-limits.


title: On Bilinear Hardy Inequality and Corresponding Geometric Mean Inequality

abstract: The main aim of this paper to provide several scales of equivalent conditions for the bilinear Hardy inequalities in the case $1< q, p_1, p_2<\infty$ with $q \geq \max(p_1,p_2)$.


title: Internalizing Representation Independence with Univalence

abstract: In their usual form, representation independence metatheorems provide an external guarantee that two implementations of an abstract interface are interchangeable when they are related by an operation-preserving correspondence. If our programming language is dependently-typed, however, we would like to appeal to such invariance results within the language itself, in order to obtain correctness theorems for complex implementations by transferring them from simpler, related implementations. Recent work in proof assistants has shown that Voevodsky's univalence principle allows transferring theorems between isomorphic types, but many instances of representation independence in programming involve non-isomorphic representations. In this paper, we develop techniques for establishing internal relational representation independence results in dependent type theory, by using higher inductive types to simultaneously quotient two related implementation types by a heterogeneous correspondence between them. The correspondence becomes an isomorphism between the quotiented types, thereby allowing us to obtain an equality of implementations by univalence. We illustrate our techniques by considering applications to matrices, queues, and finite multisets. Our results are all formalized in Cubical Agda, a recent extension of Agda which supports univalence and higher inductive types in a computationally well-behaved way.