title: Gravitational-Wave Emission from Binary Black Holes Formed in Open Clusters

abstract: In order to investigate the formation rate of binary black holes (BBHs) in stellar clusters with a mass comparable to open clusters, we performed a series of direct $N$-body simulations of open clusters with a mass of $2.5\times10^3$ (Model A) and $10^4 M_{\odot}$ (Model B). Since such low-mass clusters would have been more populous than globular clusters when they were born, low-mass clusters are also candidates as the origin of BBHs which are the source of the gravitational waves. In model A, most of BBHs merged within 10 Gyr formed via dynamically formed main-sequence binary stars and stable and unstable mass transfer between them since open clusters collapse within the main-sequence life-time of massive stars. These binaries, therefore, have little eccentricities. The fraction of such binaries among all merging BBHs increases as the cluster mass decrease due to the shorter relaxation time. In our simulations, $4.0\times10^{-5}$ and $1.7\times10^{-5}$ BBHs per solar mass merged within 10 Gyr for models A and B, respectively. These values correspond to $\sim$ 20-50% of the number of mergers per solar mass originated from globular clusters with a mass of $10^5$-$10^6M_{\odot}$. Thus, the contribution of BBHs originated from open clusters is not negligible. The estimated mergers rate density in the local universe is about 0.3 yr$^{-1}$ Gpc$^{-3}$ assuming a cluster mass function with a power of $-$2.


title: A photoionization model grid for novae: estimation of physical parameters

abstract: We present here a method to estimate physical parameters of novae systems using an extensive grid of photoionization models for novae. We use the photoionization code CLOUDY to construct grid of models covering a wide range of different parameters, e.g. total hydrogen density ($n_H$), source temperature ($T_{BB}$) and luminosity ($L$), inner radius ($R_{in}$) and thickness of ejecta ($\Delta R$), keeping other elements at solar metallicity. In this way, a total of 1792 models have been generated. From the model generated spectra which cover a wide wavelength region from ultra-violet to infrared, we calculate ratios of hydrogen and helium emission lines fluxes which are generally strong in novae spectra. We show that physical parameters associated with novae system could be estimated by comparing these line ratios with those obtained from observed spectra. We elaborate the idea with examples and estimate the parameter values in case of few other novae. The results of the grid model are available online.


title: Distinctive signatures of the spin- and momentum-forbidden dark exciton states in the photo-luminescences of strained WSe$_2$ monolayers under thermalization

abstract: With the both spin and valley degrees of freedom, the low-lying excitonic spectra of photo-excited transition-metal dichalcogenide monolayers (TMDC-MLs) are featured by rich fine structures, comprising the intra-valley bright exciton states as well as various intra- and inter-valley dark ones. The latter states can be classified as those of the spin- and momentum-forbidden dark excitons according to the violated optical selection rules. Because of the optical invisibility, the two types of the dark states are in general hardly observed and even distinguished in conventional spectroscopies although their impacts on the optical and dynamical properties of TMDC-MLs have been well noticed. In this Letter, we present a theoretical and computational investigation of the exciton fine structures and the temperature-dependent photo-luminescence spectra of strained tungsten diselenide monolayers (WSe$_2$-MLs) where the intra-valley spin-forbidden dark exciton lies in the lowest exciton states and other momentum-forbidden states are in the higher energies that are tunable by external stress. The numerical computations are carried out by solving the Bethe-Salpeter equation for an exciton in a WSe$_2$-ML under the stress-control in the tight-binding scheme established from the first principle computation in the density functional theory. According to the numerical computation and supportive model analysis, we reveal the distinctive signatures of the spin- and momentum-forbidden exciton states of strained WSe$_2$-MLs in the temperature-dependent photo-luminescences and present the guiding principle to infer the relative energetic locations of the two types of DX's.


title: Location-Verification and Network Planning via Machine Learning Approaches

abstract: In-region location verification (IRLV) in wireless networks is the problem of deciding if user equipment (UE) is transmitting from inside or outside a specific physical region (e.g., a safe room). The decision process exploits the features of the channel between the UE and a set of network access points (APs). We propose a solution based on machine learning (ML) implemented by a neural network (NN) trained with the channel features (in particular, noisy attenuation values) collected by the APs for various positions both inside and outside the specific region. The output is a decision on the UE position (inside or outside the region). By seeing IRLV as an hypothesis testing problem, we address the optimal positioning of the APs for minimizing either the area under the curve (AUC) of the receiver operating characteristic (ROC) or the cross entropy (CE) between the NN output and ground truth (available during the training). In order to solve the minimization problem we propose a twostage particle swarm optimization (PSO) algorithm. We show that for a long training and a NN with enough neurons the proposed solution achieves the performance of the Neyman-Pearson (N-P) lemma.


title: A construction of multiplicity class of hypersurfaces from Hesselink stratification of a Hilbert scheme

abstract: It is well-known that there is a positive relationship between the maximal multiplicity and the length of the associated virtual 1-parameter subgroup of a projective hypersurface. In this paper, we will define the multiplicity classes of hypersurfaces and construct them from the Hesselink stratification of a Hilbert scheme.


title: Transverse Confinement of Photon Position in Light-Atom Interaction

abstract: In light-pulsed atom interferometry, the phase accumulated by atoms depends on the effective wave vector of the absorbed photons. In this work, we proposed a theory model to analyses the effective wave vector of photons in structured light. As for monochromatic optical field, a transverse confinement could lead to diffraction. We put forward that in light-atom interaction, the atom wave function could also provide a transverse confinement thus affect the effective wave vector of the absorbed photons. We calculated the relative shift of the photon effective wave vector when an atom with a Gaussian wave function absorbs one photon at the waist in a Gaussian beam. This shift could lead to a systematic effect related to atom spatial distribution in high precision experiment based on light-pulsed atom interferometry.


title: Robust optical clock transitions in trapped ions

abstract: We present a novel method for engineering an optical clock transition that is robust against external field fluctuations and is able to overcome limits resulting from field inhomogeneities. The technique is based on the application of continuous driving fields to form a pair of dressed states essentially free of all relevant shifts. Specifically, the clock transition is robust to magnetic shifts, quadrupole and other tensor shifts, and amplitude fluctuations of the driving fields. The scheme is applicable to either a single ion or an ensemble of ions, and is relevant for several types of ions, such as $^{40}\mathrm{Ca}^{+}$, $^{88}\mathrm{Sr}^{+}$, $^{138}\mathrm{Ba}^{+}$ and $^{176}\mathrm{Lu}^{+}$. Taking a spherically symmetric Coulomb crystal formed by 400 $^{40}\mathrm{Ca}^{+}$ ions as an example, we show through numerical simulations that the inhomogeneous linewidth of tens of Hertz in such a crystal together with linear Zeeman shifts of order 10~MHz are reduced to form a linewidth of around 1~Hz. We estimate a two-order-of-magnitude reduction in averaging time compared to state-of-the art single ion frequency references, assuming a probe laser fractional instability of $10^{-15}$. Furthermore, a statistical uncertainty reaching $2.9\times 10^{-16}$ in 1~s is estimated for a cascaded clock scheme in which the dynamically decoupled Coulomb crystal clock stabilizes the interrogation laser for an $^{27}\mathrm{Al}^{+}$ clock.


title: Correlation observables in $\Upsilon D$ pair production at the LHC within the parton Reggeization approach

abstract: We study angular correlations in associated hadroproduction of $\Upsilon(1S)$ with the $D^{\pm}$ and $D^0$-mesons at the LHC in the Leading Order of the parton Reggeization approach. Hadronization of $b\bar{b}$-pair to $\Upsilon(1S)$ is described within the NRQCD-factorization framework. Production of $D-$mesons is described in the fragmentation model with scale-dependent fragmentaion functions. We have found good agreement with LHCb data for various differential distributions, except for the case of spectra on azimuthal angle differences at the small $\triangle\varphi$ values. The total cross-section in our Single Parton Scattering model, calculated under conservative assumptions, accounts for almost one half of observed cross-section, thus dramatically shrinking the room for Double Parton Scattering mechanism.


title: On central Fubini-like numbers and polynomials

abstract: We introduce the central Fubini-like numbers and polynomials using Rota approach. Several identities and properties are established as generating functions, recurrences, explicit formulas, parity, asymptotics and determinantal representation.


title: Topological triply-degenerate point with double Fermi arcs

abstract: Unconventional chiral particles have recently been predicted to appear in certain three dimensional (3D) crystal structures containing three- or more-fold linear band degeneracy points (BDPs). These BDPs carry topological charges, but are distinct from the standard twofold Weyl points or fourfold Dirac points, and cannot be described in terms of an emergent relativistic field theory. Here, we report on the experimental observation of a topological threefold BDP in a 3D phononic crystal. Using direct acoustic field mapping, we demonstrate the existence of the threefold BDP in the bulk bandstructure, as well as doubled Fermi arcs of surface states consistent with a topological charge of 2. Another novel BDP, similar to a Dirac point but carrying nonzero topological charge, is connected to the threefold BDP via the doubled Fermi arcs. These findings pave the way to using these unconventional particles for exploring new emergent physical phenomena.


title: Learning Approximately Optimal Contracts

abstract: In principal-agent models, a principal offers a contract to an agent to perform a certain task. The agent exerts a level of effort that maximizes her utility. The principal is oblivious to the agent's chosen level of effort, and conditions her wage only on possible outcomes. In this work, we consider a model in which the principal is unaware of the agent's utility and action space: she sequentially offers contracts to identical agents, and observes the resulting outcomes. We present an algorithm for learning the optimal contract under mild assumptions. We bound the number of samples needed for the principal to obtain a contract that is within $\eps$ of her optimal net profit for every $\eps>0$. Our results are robust even when considering risk-averse agents. Furthermore, we show that when there are only two possible outcomes or the agent is risk-neutral, the algorithm's outcome approximates the optimal contract described in the classical theory.


title: Error correcting codes from sub-exceeding fonction

abstract: In this paper, we present error-correcting codes which are the results of our research on the sub-exceeding functions. For a short and medium distance data transmission (wifi network, bluetooth, cable, ...), we see that these codes mentioned above present many advantages compared with the Hamming code which is a 1 correcting code.


title: Universal quantum computation in the surface code using non-Abelian islands

abstract: The surface code is currently the primary proposed method for performing quantum error correction. However, despite its many advantages, it has no native method to fault-tolerantly apply non-Clifford gates. Additional techniques are therefore required to achieve universal quantum computation. Here we propose a hybrid scheme which uses small islands of a qudit variant of the surface code to enhance the computational power of the standard surface code. This allows the non-trivial action of the non-Abelian anyons in the former to process information stored in the latter. Specifically, we show that a non-stabilizer state can be prepared, which allows universality to be achieved.


title: Measuring Majority Power and Veto Power of Voting Rules

abstract: We study voting rules with respect to how they allow or limit a majority from dominating minorities: whether a voting rule makes a majority powerful, and whether minorities can veto the candidates they do not prefer. For a given voting rule, the minimal share of voters that guarantees a victory to one of their most preferred candidates is the measure of majority power, and the minimal share of voters that allows them to veto each of their least preferred candidates is the measure of veto power. We find tight bounds on these minimal shares for voting rules that are popular in the literature and in real elections. We order these rules according to majority power and veto power. The instant-runoff voting has both the highest majority power and the highest veto power and the plurality rule has the lowest. In general, the higher the majority power of a voting rule is, the higher its veto power. The three exceptions are: voting with proportional veto power, Black's rule, and Borda rule, which have a relatively low level of majority power and a high level of veto power and thus provide minority protection. Our results can shed light on how voting rules provide different incentives for voter participation and candidate nomination.


title: A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)

abstract: Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications. Typically, the two main activities in runtime verification efforts are the process of creating monitors from specifications, and the algorithms for the evaluation of traces against the generated monitors. Other activities involve the instrumentation of the system to generate the trace and the communication between the system under analysis and the monitor. Most of the applications in runtime verification have been focused on the dynamic analysis of software, even though there are many more potential applications to other computational devices and target systems. In this paper we present a collection of challenges for runtime verification extracted from concrete application domains, focusing on the difficulties that must be overcome to tackle these specific challenges. The computational models that characterize these domains require to devise new techniques beyond the current state of the art in runtime verification.


title: Network Reconstruction and Prediction of Epidemic Outbreaks for NIMFA Processes

abstract: Predicting the viral dynamics of an epidemic process requires the knowledge of the underlying contact network. However, the network is not known for most applications and has to be inferred from observing the viral state evolution instead. We propose a polynomial-time network reconstruction algorithm for the discrete-time NIMFA model based on a basis pursuit formulation. Given only few initial viral state observations, the network reconstruction method allows for an accurate prediction of the further viral state evolution of every node provided that the network is sufficiently sparse.


title: Stochastic processes subject to a reset-and-residence mechanism: transport properties and first arrival statistics

abstract: In this work we consider a stochastic movement process with random resets to the origin followed by a random residence time there before the walker restarts its motion. First, we study the transport properties of the walker, we derive an expression for the mean square displacement of the overall process and study its dependence with the statistical properties of the resets, the residence and the movement. From this general formula, we see that the inclusion of the residence after the resets is able to induce super-diffusive to sub-diffusive (or diffusive) regimes and it can also make a sub-diffusive walker reach a constant MSD or even collapse. Second, we study how the reset-and-residence mechanism affects the first arrival time of different search processes to a given position, showing that the long time behavior of the reset and residence time distributions determine the existence of the mean first arrival time.


title: Muon-electron scattering at NLO

abstract: We consider the process of muon-electron elastic scattering, which has been proposed as an ideal framework to measure the running of the electromagnetic coupling constant at space-like momenta and determine the leading-order hadronic contribution to the muon $g-2$ (MUonE experiment). We compute the next-to-leading (NLO) contributions due to QED and purely weak corrections and implement them into a fully differential Monte Carlo event generator, which is available for first experimental studies. We show representative phenomenological results of interest for the MUonE experiment and examine in detail the impact of the various sources of radiative corrections under different selection criteria, in order to study the dependence of the NLO contributions on the applied cuts. The study represents the first step towards the realisation of a high-precision Monte Carlo code necessary for data analysis.


title: ${\it Ab\ initio}$ thermodynamic properties of certain compounds in Nd-Fe-B system

abstract: In this work, we report the results of \emph{ab initio} calculations of thermochemical properties of several compounds in the Fe-Nd, B-Nd and B-Fe-Nd systems. We have performed DFT+U calculations to compute the enthalpy of formation of the compounds NdB$_6$, NdB$_4$, Nd$_2$B$_5$, Nd$_2$Fe$_{17}$ and Nd$_5$Fe$_2$B$_6$. It was found that the values obtained with an effective Hubbard $U$ correction have better agreement with the experimental data. We have also computed the vibrational contribution to the heat capacity ($C_p$) of the compounds as a function of temperature was computed using the quasharmonic approximation. For most of the compounds these properties have not been experimentally determined until now. Hence, the computed \emph{ab initio} thermodynamic properties will serve as useful input for the Gibbs energy model parameter assessment using the CALPHAD method.


title: Analysis of the duration--hardness ratio plane of gamma-ray bursts using skewed distributions

abstract: The two widely accepted classes of gamma-ray bursts (GRBs), short and long, are with confidence ascribed to mergers of compact objects and collapse of massive stars, respectively. A third, intermediate/soft class, remains putative. Its existence was claimed based on univariate and bivariate analyses of GRB observables modeled with Gaussian distributions. This, however, may not be the appropriate approach, as it has been already shown that the univariate distributions of durations are better described by mixtures of two skewed components rather than three Gaussian ones. This paper investigates whether data in the duration--hardness ratio plane is better modeled by mixtures of skewed bivariate distributions than by normal ones. The archival data set of the Compton Gamma-Ray Observatory/BATSE and Fermi/GBM data from the most recent catalogue release are examined. The preferred model is chosen based on two information criteria, Akaike ($AIC$) and Bayesian ($BIC$). It is found that the best description is given by a two-component mixture of skewed Student-$t$ distributions, which outperforms any other model considered. This implies that the distribution of the studied parameters is intrinsically skewed, introducing spurious Gaussian components, and hence the third class is unlikely to be a real phenomenon. Its existence, based on statistical inference, is therefore rejected as unnecessary to explain the observations.


title: nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems

abstract: Can engineering neural networks be approached in a disciplined way similar to how engineers build software for civil aircraft? We present nn-dependability-kit, an open-source toolbox to support safety engineering of neural networks for autonomous driving systems. The rationale behind nn-dependability-kit is to consider a structured approach (via Goal Structuring Notation) to argue the quality of neural networks. In particular, the tool realizes recent scientific results including (a) novel dependability metrics for indicating sufficient elimination of uncertainties in the product life cycle, (b) formal reasoning engine for ensuring that the generalization does not lead to undesired behaviors, and (c) runtime monitoring for reasoning whether a decision of a neural network in operation is supported by prior similarities in the training data. A proprietary version of nn-dependability-kit has been used to improve the quality of a level-3 autonomous driving component developed by Audi for highway maneuvers.


title: Machine Decisions and Human Consequences

abstract: As we increasingly delegate decision-making to algorithms, whether directly or indirectly, important questions emerge in circumstances where those decisions have direct consequences for individual rights and personal opportunities, as well as for the collective good. A key problem for policymakers is that the social implications of these new methods can only be grasped if there is an adequate comprehension of their general technical underpinnings. The discussion here focuses primarily on the case of enforcement decisions in the criminal justice system, but draws on similar situations emerging from other algorithms utilised in controlling access to opportunities, to explain how machine learning works and, as a result, how decisions are made by modern intelligent algorithms or 'classifiers'. It examines the key aspects of the performance of classifiers, including how classifiers learn, the fact that they operate on the basis of correlation rather than causation, and that the term 'bias' in machine learning has a different meaning to common usage. An example of a real world 'classifier', the Harm Assessment Risk Tool (HART), is examined, through identification of its technical features: the classification method, the training data and the test data, the features and the labels, validation and performance measures. Four normative benchmarks are then considered by reference to HART: (a) prediction accuracy (b) fairness and equality before the law (c) transparency and accountability (d) informational privacy and freedom of expression, in order to demonstrate how its technical features have important normative dimensions that bear directly on the extent to which the system can be regarded as a viable and legitimate support for, or even alternative to, existing human decision-makers.


title: Low-Frequency Measurements of Seismic Velocity and Attenuation in Antigorite Serpentinite

abstract: Laboratory measurements of seismic velocity and attenuation in antigorite serpentinite at a confining pressure of $2$ kbar and temperatures up to $550^\circ$C (i.e., in the antigorite stability field) provide new results relevant to the interpretation of geophysical data in subduction zones. A polycrystalline antigorite specimen was tested via forced-oscillations at small strain amplitudes and seismic frequencies (mHZ--Hz). The shear modulus has a temperature sensitivity, $\partial G/ \partial T$, averaging $-0.017$ GPa K$^{-1}$. Increasing temperature above $500^\circ$C results in more intensive shear attenuation ($Q_G^{-1}$) and associated modulus dispersion, with $Q_G^{-1}$ increasing monotonically with increasing oscillation period and temperature. This "background" relaxation is adequately captured by a Burgers model for viscoelasticity and possibly results from intergranular mechanisms. Attenuation is higher in antigorite ($\log_{10} Q_G^{-1} \approx -1.5$ at $550^\circ$C and $0.01$ Hz than in olivine ($\log_{10} Q_G^{-1} \ll -2.0$ below $800^\circ$C), but such contrast does not appear to be strong enough to allow robust identification of antigorite from seismic models of attenuation only.


title: Compact I/O-Efficient Representation of Separable Graphs and Optimal Tree Layouts

abstract: Compact and I/O-efficient data representations play an important role in efficient algorithm design, as memory bandwidth and latency can present a significant performance bottleneck, slowing the computation by orders of magnitude. While this problem is very well explored in e.g. uniform numerical data processing, structural data applications (e.g. on huge graphs) require different algorithm-dependent approaches. Separable graph classes (i.e. graph classes with balanced separators of size $\mathcal{O}(n^c)$ with $c < 1$) include planar graphs, bounded genus graphs, and minor-free graphs. In this article we present two generalizations of the separator theorem, to partitions with small regions only on average and to weighted graphs. Then we propose I/O-efficient succinct representation and memory layout for random walks in(weighted) separable graphs in the pointer machine model, including an efficient algorithm to compute them. Finally, we present a worst-case I/O-optimal tree layout algorithm for root-leaf path traversal, show an additive (+1)-approximation of optimal compact layout and contrast this with NP-completeness proof of finding an optimal compact layout.


title: It\^o vs Stratonovich in the presence of absorbing states

abstract: It is widely assumed that there exists a simple transformation from the It\^o interpretation to the one by Stratonovich and back for any stochastic differential equation of applied interest. While this transformation exists under suitable conditions, and transforms one interpretation into the other at the price of modifying the drift of the equation, it cannot be considered universal. We show that a class of stochastic differential equations, characterized by the presence of absorbing states and of interest in applications, does not admit such a transformation. In particular, formally applying this transformation may lead to the disappearance of some absorbing states. In turn, this modifies the long-time, and even the intermediate-time, behavior of the solutions. The number of solutions can also be modified by the unjustified application of the mentioned transformation, as well as by a change in the interpretation of the noise. We discuss how these facts affect the classical debate on the It\^o vs Stratonovich dilemma.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: All roads lead to Rome: Many ways to double spend your cryptocurrency

abstract: In 2008, Satoshi Nakamoto proposed an electronic cash system (bitcoin) that is completely realized by peer-to-peer technology. The core value of this scheme is that it proposes a solution based on Proof-of Work, so that the cash system can run in a peer-to-peer environment and be able to prevent double-spend attacks. Bitcoin has been developed for ten years, and since then countless digital currencies have been created. But the discussion of double-spend attacks seems to still concentrate on 51% Attacks. In fact, our research has found that there are many other way to achieve double-spend attacks. In this paper, by introducing a number of double-spend attack vulnerabilities that we have found in EOS, NEO and other large blockchain platforms, we summarized various reasons for causing double-spend attacks, and propose an efficient mitigation measure against them.


title: Modern discontinuous Galerkin methods for the simulation of transitional and turbulent flows in biomedical engineering: A comprehensive LES study of the FDA benchmark nozzle model

abstract: This work uses high-order discontinuous Galerkin discretization techniques as a generic, parameter-free, and reliable tool to accurately predict transitional and turbulent flows through medical devices. Flows through medical devices are characterized by moderate Reynolds numbers and typically involve different flow regimes such as laminar, transitional, and turbulent flows. Previous studies for the FDA benchmark nozzle model revealed limitations of Reynolds-averaged Navier-Stokes turbulence models when applied to more complex flow scenarios. Recent works based on large-eddy simulation approaches indicate that these limitations can be overcome but also highlight potential limitations due to a high sensitivity with respect to numerical parameters. The novel methodology presented in this work is based on two key ingredients. Firstly, we use high-order discontinuous Galerkin methods for discretization in space yielding a discretization approach that is robust, accurate, and generic. The inherent dissipation properties of high-order discontinuous Galerkin discretizations render this approach well-suited for transitional and turbulent flow simulations. Secondly, a precursor simulation approach is applied in order to correctly predict the inflow boundary condition for the whole range of laminar, transitional, and turbulent flow regimes. This approach eliminates the need to fit parameters of the numerical solution approach. We investigate the whole range of Reynolds numbers as suggested by the FDA benchmark nozzle problem in order to critically assess the predictive capabilities of the solver. The results presented in this study are compared to experimental data obtained by particle image velocimetry demonstrating that the approach is capable of correctly predicting the flow for different flow regimes.


title: Stochastic Adaptive Neural Architecture Search for Keyword Spotting

abstract: The problem of keyword spotting i.e. identifying keywords in a real-time audio stream is mainly solved by applying a neural network over successive sliding windows. Due to the difficulty of the task, baseline models are usually large, resulting in a high computational cost and energy consumption level. We propose a new method called SANAS (Stochastic Adaptive Neural Architecture Search) which is able to adapt the architecture of the neural network on-the-fly at inference time such that small architectures will be used when the stream is easy to process (silence, low noise, ...) and bigger networks will be used when the task becomes more difficult. We show that this adaptive model can be learned end-to-end by optimizing a trade-off between the prediction performance and the average computational cost per unit of time. Experiments on the Speech Commands dataset show that this approach leads to a high recognition level while being much faster (and/or energy saving) than classical approaches where the network architecture is static.


title: The Klash Proposal: Status and Perspectives

abstract: Recently some of the authors proposed a search for galactic axions with mass about 0.2~$\mu$eV using a large volume resonant cavity, tens of cubic meters, cooled down to 4~K and immersed in a magnetic field of about 0.6~T generated inside the superconducting magnet of the KLOE experiment located at the National Laboratory of Frascati of INFN. This experiment, called KLASH (KLoe magnet for Axion SearcH), has a potential sensitivity on the axion-to-photon coupling, $g_{a\gamma\gamma}$, of about $6\times10^{-17}$ $\mbox{GeV}^{-1}$, reaching the region predicted by KSVZ\cite{KSVZ} and DFSZ\cite{DFSZ} models of QCD axions. We report here the status of the project.


title: Limites de champ moyen bosoniques {\`a} temp{\'e}rature positive

abstract: I present recent results in quantum statistical mechanics, obtained in joint works with Mathieu Lewin and Phan Th{\`a}nh Nam. We consider a certain mean-field limit of the grand-canonical ensemble for a Bose gas at positive temperature. In this limit, the reduced density matrices of the quantum theory converge to their analogues in classical field theory, given by a non-linear Gibbs measure. In particular, we deal with cases where the latter must be defined via a renormalization procedure. The corresponding renormalization at the level of the original quantum grand-canonical model, with non-commuting fields, is one of the important difficulties.

categories: math-ph cond-mat.stat-mech math.AP math.MP


title: Direction of Arrival Estimation of Wide-band Signals with Planar Microphone Arrays

abstract: An approach to the estimation of the Direction of Arrival (DOA) of wide-band signals with a planar microphone array is presented. Our algorithm estimates an unambiguous DOA using a single planar array in which the microphones are placed fairly close together and the sound source is expected to be in the far field. The algorithm uses the ambiguous DOA estimates obtained from microphone pairs in the array to determine an unambiguous DOA estimate for the array as a whole. The required pair-wise DOAs may be calculated using Time Delay Estimations (TDEs), which may in turn be calculated using cross-correlation, making the algorithm suitable for wide-band signals. No a priori knowledge of the true Sound Source Location (SSL) is required. Simulations show that the algorithm is robust against noise in the input data. An average ratio of approximately 3:1 exists between the input DOA errors and the output DOA error. Field tests with a moving sound source provided DOA estimates with standard deviations between 20.4 and 15.2 degrees.


title: Second Quantization of Scattering Modes of Absorptive Photonic Nanostructures

abstract: We present a quantization scheme for optical systems with absorptive losses, based on an expansion in the complete set of scattering solutions to Maxwell's equations. The natural emergence of both absorptive loss and fluctuations without introducing a thermal bath is demonstrated. Our model predicts mechanisms of absorption induced squeezing and dispersion mediated photon conversion.


title: On the classification of C*-algebras of real rank zero, V

abstract: In this paper, we give a K-theoretic classification of real ranks zero inductive limits of generalized dimension drop interval algebras.


abstract: In this article we classify the Coxeter systems for which the Brink-Howlett automaton is minimal. We show that this automaton is minimal if and only if each elementary root is supported on a standard spherical subsystem, thereby resolving a conjecture of Hohlweg, Nadeau and Williams.


title: Optimality in self-organized molecular sorting

abstract: We introduce a simple physical picture to explain the process of molecular sorting, whereby specific proteins are concentrated and distilled into submicrometric lipid vesicles in eukaryotic cells. To this purpose, we formulate a model based on the coupling of spontaneous molecular aggregation with vesicle nucleation. Its implications are studied by means of a phenomenological theory describing the diffusion of molecules towards multiple sorting centers that grow due to molecule absorption and are extracted when they reach a sufficiently large size. The predictions of the theory are compared with numerical simulations of a lattice-gas realization of the model and with experimental observations. The efficiency of the distillation process is found to be optimal for intermediate aggregation rates, where the density of sorted molecules is minimal and the process obeys simple scaling laws. Quantitative measures of endocytic sorting performed in primary endothelial cells are compatible with the hypothesis that these optimal conditions are realized in living cells.

categories: cond-mat.stat-mech cond-mat.soft q-bio.QM q-bio.SC


title: Minor-Obstructions for Apex-Pseudoforests

abstract: A graph is called a pseudoforest if none of its connected components contains more than one cycle. A graph is an apex-pseudoforest if it can become a pseudoforest by removing one of its vertices. We identify 33 graphs that form the minor-obstruction set of the class of apex-pseudoforests, i.e., the set of all minor-minimal graphs that are not apex-pseudoforests.


title: Photometric Study of the C/2014 Q2 (Lovejoy) Comet Plasma Tails

abstract: Observations of C/2014 Q2 (Lovejoy) comet were carried out on 7th February, 2015, at the observation station in Mayaki village (No. 583 -- Odesa-Mayaki observatory). The integrated-light photometry of the comet was conducted using RC-800 telescope (D = 80 cm; F = 214.0 cm) with FLI MicroLine 9000 CCD camera. The photometric primary reductions included dark-frame subtraction and flat-field correction. The photometric study of the comet plasma tails was performed using an interactive program to construct a series of longitudinal and transverse profiles of individual tail rays. The Shulman diffusion model was applied to interpret the calculated photometric profiles. The comparison of the experimental profiles and those calculated theoretically from the diffusion model enabled us to estimate the following physical parameters of the comet plasma tail: acceleration a = 176 m/sec$^2$ and lifetime of fluorescent ions $\tau$ = 2.7$\cdot$10$^3$ sec; longitudinal and transverse diffusion coefficients, and magnetic flux density B = 97 $\pm$ 5.3 nT.


title: Entropy-regularized Optimal Transport Generative Models

abstract: We investigate the use of entropy-regularized optimal transport (EOT) cost in developing generative models to learn implicit distributions. Two generative models are proposed. One uses EOT cost directly in an one-shot optimization problem and the other uses EOT cost iteratively in an adversarial game. The proposed generative models show improved performance over contemporary models for image generation on MNSIT.


title: The reconfinement of AGN jets

abstract: In this paper we study the reconfinement of initially freely-expanding unmagnetised relativistic jets by the pressure of non-uniform external gas using numerical approach. The results are compared with the simple semi-analytic model proposed by Komissarov & Falle (1997). In particular, we explore the reconfinement in power-law atmospheres and in the King atmosphere, which describes the X-ray coronas of giant elliptic galaxies. The results show significant deviations from the KF model, which systematically underestimates the reconfinement scale. For the power-law atmospheres the disagreement increases with the power index k, exceeding two orders of magnitude for k=1.5. For the King model, strong deviations are found on the outskirts of the atmosphere, where the distribution approaches a power law. However for jets reconfined inside the core, the reconfinement scale is increased only by the factor of two. When the King model is modified by adding a central cusp, this has little impact on the jets which are reconfined outside of the cusp region but inside the cusp the reconfinement scale significantly reduces.


title: Strongly regular graphs from integral point sets in even dimensional affine spaces over finite fields

abstract: In the $m$-dimensional affine space $AG(m,q)$ over the finite field $\mathbb{F}_q$ of odd order $q$, the analogous of the Euclidean distance gives rise to a graph $\mathfrak{G}_{m,q}$ where vertices are the points of $AG(m,q)$ and two vertices are adjacent if their (formal) squared Euclidean distance is a square in $\mathbb{F}_q$ (including the zero). In 2009, Kurz and Meyer made the conjecture that if $m$ is even then $\mathfrak{G}_{m,q}$ is a strongly regular graph. In this paper we prove their conjecture.


title: Technical Analysis and Discrete False Discovery Rate: Evidence from MSCI Indices

abstract: We investigate the performance of dynamic portfolios constructed using more than 21,000 technical trading rules on 12 categorical and country-specific markets over the 2004-2015 study period, on rolling forward structures of different lengths. We also introduce a discrete false discovery rate (DFRD+/-) method for controlling data snooping bias. Compared to the existing methods, DFRD+/- is adaptive and more powerful, and accommodates for discrete p-values. The profitability, persistence and robustness of the technical rules are examined. Technical analysis still has short-term value in advanced, emerging and frontier markets. Financial stress, the economic environment and market development seem to affect the performance of trading rules. A cross-validation exercise highlights the importance of frequent rebalancing and the variability of profitability in trading with technical analysis.


title: Planar Hall effect in the Dirac semimetal PdTe2

abstract: We report the synthesis and magneto-transport measurements on the single crystal of Dirac semimetal PdTe$_2$. The de Haas-van Alphen oscillations with multiple frequencies have been clearly observed, from which the small effective masses and nontrivial Berry phase are extracted, implying the possible existence of the Dirac fermions in PdTe$_2$. The planar Hall effect and anisotropic longitudinal resistivity originating from the chiral anomaly and nontrivial Berry phase are observed, providing strong evidence for the nontrivial properties in PdTe$_2$. With the increase of temperature up to 150 K, planar Hall effect still remains. The possible origin of mismatch between experimental results and theoretical predictions is also discussed.


title: Two-phase water: structural evolution during freezing - thawing according to optical microscopy

abstract: The structural dynamics of ice in the freezing - thawing process has been studied in the context of the concept of two-phase water. It was previously shown that water is a two-phase system consisting of free and bound (liquid crystal) fractions. Bound water is represented by hydrated shells of sodium chloride microcrystals, which are constantly present in water and are visible in the optical microscope as a dispersed phase. With rapid freezing, free water crystallizes, turning into ice with the inclusion of the dispersed phase. At this stage, xenogenic air bubbles are released. When ice melts, multiple small bubbles form from diffusely dissolved air. At the same time, the ice acquires a characteristic cellular structure. Bubbles grow, merge and form variegated air channels that contribute to the release of air into the melt water. The dispersed phase during the freezing of water under the conditions of our experiment did not show external signs of glaciation. However, when ice melted, a part of this fraction was kneaded from the main volume of water in the form of loose flakes. The loss of water of part of the microdispersed phase and most of the gases causes a change in a number of physical properties of the melt water. Possible involvement of the observed processes in the appearance of "snowballs" on the banks of rivers is discussed.


title: X-ray spectral characterization of the young Cygnus OB2 population

abstract: We analyze the X-ray spectra of the $\sim$8000 sources detected in the Cygnus OB2 Chandra Legacy Survey (Drake et al., this issue), with the goals of characterizing the coronal plasma of the young low-mass stars in the region and estimating their intrinsic X-ray luminosities. We adopt two different strategies for X-ray sources for which more or less than 20 photons were detected. For the brighter sample we fit the spectra with absorbed isothermal models. In order to limit uncertainties, for most of the fainter Cygnus OB2 members in this sample, we constrain the spectral parameters to characteristic ranges defined from the brightest stars. For X-ray sources with $<$20 net photons we adopt a conversion factor from detected photon flux to intrinsic flux. This was defined, building on the results for the previous sample, as a function of the 20% quantile of the detected photon energy distributions, which we prove to also correlate well with extinction. We then use the X-ray extinction from the spectral fits to constrain the ratio between optical and X-ray extinction toward Cygnus OB2, finding it consistent with standard "Galactic"' values, when properly accounting for systematics. Finally we exploit the large number of sources to constrain the average coronal abundances of several elements, through two different ensemble analyses of the X-ray spectra of low-mass Cygnus OB2 members. We find the pattern of abundances to be largely consistent with that derived for the young stellar coronae in the Orion Nebula Cluster.


title: Particle-turbulence interaction in High-Reynolds-number Sand-laden Turbulent Boundary Layer

abstract: Simultaneous two-phase particle image/tracking velocimetry (PIV/PTV) measurement is conducted on particle-laden turbulent boundary layer (TBL) over a horizontal smooth-flat-plate. The relatively high Reynolds number (Re{\tau}=5500 based on friction velocity u{\tau} and boundary layer thickness {\delta}) wind-sand TBL with large field-of-view (FOV) is experimentally explored. With four high-resolution CCD cameras arranged along the flow direction, this experiment can resolve a wide range of the spectrum ranging from small-scale energetic eddies to large-scale motions (LSMs) in TBL. Dilute desert sand grains with median diameter of 203{\mu}m and bulk volume fraction of O(10-5) are used as discrete phase. Improved phase separation and discrete particle matching method are developed for two-phase velocity measurement. The results presented here provide new information concerning the effect of high-inertia particles with dilute concentration on wall-bounded turbulence, especially at high Re. The presence of sand grains attenuate turbulence fluctuation by suppressing small-scale sweep-ejection cycle in the near-wall region, and this suppression effect intensifies as the particle concentration increases. A critical layer (y/{\delta}=0.12 or y+=670) is found to partition the streamwise evolution of both the local concentration and the streamwise mean velocity of the sand grains into a spatial developing near-wall region and a quasi-parallel outer region. In addition, at this layer a balance of the strength and probability between the sweep and ejection events of sand grains is reached. Such a critical layer might be a good indicator of the upper bound of the particle saltation process, in which LSMs are believed to play a significant role.


title: Precondition Inference via Partitioning of Initial States

abstract: Precondition inference is a non-trivial task with several applications in program analysis and verification. We present a novel iterative method for automatically deriving sufficient preconditions for safety and unsafety of programs which introduces a new dimension of modularity. Each iteration maintains over-approximations of the set of \emph{safe} and \emph{unsafe} \emph{initial} states. Then we repeatedly use the current abstractions to partition the program's \emph{initial} states into those known to be safe, known to be unsafe and unknown, and construct a revised program focusing on those initial states that are not yet known to be safe or unsafe. An experimental evaluation of the method on a set of software verification benchmarks shows that it can solve problems which are not solvable using previous methods.


title: Evolution and structure of technological systems - An innovation output network

abstract: This study examines the network of supply and use of significant innovations across industries in Sweden, 1970-2013. It is found that 30% of innovation patterns can be predicted by network stimulus from backward and forward linkages. The network is hierarchical, characterized by hubs that connect diverse industries in closely knitted communities. To explain the network structure, a preferential weight assignment process is proposed as an adaptation of the classical preferential attachment process to weighted directed networks. The network structure is strongly predicted by this process where historical technological linkages and proximities matter, while human capital flows and economic input-output flows have conflicting effects on link formation. The results are consistent with the idea that innovations emerge in closely connected communities, but suggest that the transformation of technological systems are shaped by technological requirements, imbalances and opportunities that are not straightforwardly related to other proximities.


title: A Novel Approach to Sparse Inverse Covariance Estimation Using Transform Domain Updates and Exponentially Adaptive Thresholding

abstract: Sparse Inverse Covariance Estimation (SICE) is useful in many practical data analyses. Recovering the connectivity, non-connectivity graph of covariates is classified amongst the most important data mining and learning problems. In this paper, we introduce a novel SICE approach using adaptive thresholding. Our method is based on updates in a transformed domain of the desired matrix and exponentially decaying adaptive thresholding in the main domain (Inverse Covariance matrix domain). In addition to the proposed algorithm, the convergence analysis is also provided. In the Numerical Experiments Section, we show that the proposed method outperforms state-of-the-art methods in terms of accuracy.


title: Resolution Guarantees in Electrical Impedance Tomography

abstract: Electrical impedance tomography (EIT) uses current-voltage measurements on the surface of an imaging subject to detect conductivity changes or anomalies. EIT is a promising new technique with great potential in medical imaging and non-destructive testing. However, in many applications, EIT suffers from inconsistent reliability due to its enormous sensitivity to modeling and measurement errors. In this work we show that rigorous resolution guarantees are possible within a realistic EIT measurement setting including systematic and random errors. We derive a constructive criterion to decide whether a desired resolution can be achieved in a given measurement setup. Our result covers the detection of anomalies of a known minimal contrast using noisy measurements on a number of electrodes attached to a subject with imprecisely known background conductivity.


title: Statistical mechanical expressions of slip length

abstract: We provide general derivations of the partial slip boundary condition from microscopic dynamics and linearized fluctuating hydrodynamics. The derivations are based on the assumption of separation of scales between microscopic behavior, such as collision of particles, and macroscopic behavior, such as relaxation of fluid to global equilibrium. The derivations lead to several statistical mechanical expressions of the slip length, which are classified into two types. The expression in the first type is given as a local transport coefficient, which is related to the linear response theory that describes the relaxation process of the fluid. The second type is related to the linear response theory that describes the non-equilibrium steady state and the slip length is given as combination of global transport coefficients, which are dependent on macroscopic lengths such as a system size. Our derivations clarify that the separation of scales must be seriously considered in order to distinguish the expressions belonging to two types. Based on these linear response theories, we organize the relationship among the statistical mechanical expressions of the slip length suggested in previous studies.


title: Reinforcement Learning Based Scheduling Algorithm for Optimizing Age of Information in Ultra Reliable Low Latency Networks

abstract: Age of Information (AoI) measures the freshness of the information at a remote location. AoI reflects the time that is elapsed since the generation of the packet by a transmitter. In this paper, we consider a remote monitoring problem (e.g., remote factory) in which a number of sensor nodes are transmitting time sensitive measurements to a remote monitoring site. We consider minimizing a metric that maintains a trade-off between minimizing the sum of the expected AoI of all sensors and minimizing an Ultra Reliable Low Latency Communication (URLLC) term. The URLLC term is considered to ensure that the probability the AoI of each sensor exceeds a predefined threshold is minimized. Moreover, we assume that sensors tolerate different threshold values and generate packets at different sizes. Motivated by the success of machine learning in solving large networking problems at low complexity, we develop a low complexity reinforcement learning based algorithm to solve the proposed formulation. We trained our algorithm using the state-of-the-art actor-critic algorithm over a set of public bandwidth traces. Simulation results show that the proposed algorithm outperforms the considered baselines in terms of minimizing the expected AoI and the threshold violation of each sensor.


title: Reconstructing Tree-Child Networks from Reticulate-Edge-Deleted Subnetworks

abstract: Network reconstruction lies at the heart of phylogenetic research. Two well studied classes of phylogenetic networks include tree-child networks and level-$k$ networks. In a tree-child network, every non-leaf node has a child that is a tree node or a leaf. In a level-$k$ network, the maximum number of reticulations contained in a biconnected component is $k$. Here, we show that level-$k$ tree-child networks are encoded by their reticulate-edge-deleted subnetworks, which are subnetworks obtained by deleting a single reticulation edge, if $k\geq 2$. Following this, we provide a polynomial-time algorithm for uniquely reconstructing such networks from their reticulate-edge-deleted subnetworks. Moreover, we show that this can even be done when considering subnetworks obtained by deleting one reticulation edge from each biconnected component with $k$ reticulations.


title: The Formation of Compact Elliptical Galaxies in The Vicinity of A Massive Galaxy: The Role of Ram-pressure Confinement

abstract: Compact ellipticals (cEs) are outliers from the scaling relations of early-type galaxies, particularly the mass-metallicity relation which is an important outcome of feedback. The formation of such low-mass, but metal-rich and compact, objects is a long-standing puzzle. Using a pair of high-resolution N-body+gas simulations, we investigate the evolution of a gas-rich low-mass galaxy on a highly radial orbit around a massive host galaxy. As the infalling low-mass galaxy passes through the host's corona at supersonic speeds, its diffuse gas outskirts are stripped by ram pressure, as expected. However, the compactness increases rapidly because of bursty star formation in the gas tidally driven to the centre. The metal-rich gas produced by supernovae and stellar winds is confined by the ram pressure from the surrounding environment, leading to subsequent generations of stars being more metal-rich. After the gas is depleted, tidal interactions enhance the metallicity further via the stripping of weakly bound, old, and metal-poor stars, while the size of the satellite is changed only modestly. The outcome is a metal-rich cE that is consistent with observations. These results argue that classical cEs are neither the stripped remnants of much more massive galaxies nor the merger remnants of normal dwarfs. We present observable predictions that can be used to test our model.


title: Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments

abstract: Programs with randomization constructs is an active research topic, especially after the recent introduction of martingale-based analysis methods for their termination and runtimes. Unlike most of the existing works that focus on proving almost-sure termination or estimating the expected runtime, in this work we study the tail probabilities of runtimes-such as "the execution takes more than 100 steps with probability at most 1%." To this goal, we devise a theory of supermartingales that overapproximate higher moments of runtime. These higher moments, combined with a suitable concentration inequality, yield useful upper bounds of tail probabilities. Moreover, our vector-valued formulation enables automated template-based synthesis of those supermartingales. Our experiments suggest the method's practical use.


title: Perturbing cyclic predator-prey systems: how a six-species coarsening system with non-trivial in-domain dynamics responds to sudden changes

abstract: Cyclic predator-prey systems have been shown to give rise to rich, and novel, space-time patterns, as for example coarsening domains with non-trivial in-domain dynamics. In this work we study numerically the responses of a cyclic six-species model, characterized by the formation of spirals inside coarsening domains, to two different types of perturbations: changing the values of the predation and reproduction rates as well as changing the interaction scheme. For both protocols we monitor the time evolution of the system after the onset of the perturbation through the measurement of dynamical correlation functions and time-dependent densities of empty sites. In this way we gain insights into the complex responses to different perturbations in a system where spirals, which are due to the formation of cyclic alliances, dominate the dynamics inside the coarsening domains.


title: Concerning the occurrence of bow shocks around high-mass X-ray binaries

abstract: We investigate the occurrence of stellar bow shocks around high-mass X-ray binaries (HMXBs) in the Galaxy. We seek to conduct a survey of HMXBs in the mid-infrared to search for the presence of bow shocks around these objects. Telescopes operating in the mid-infrared, such as the Spitzer Space Telescope or Wide-field Infrared Survey Explorer (WISE), are potent tools for searching for the stellar bow shocks. We used the available archival data from these telescopes to search for bow shock candidates around the confirmed and candidate HMXBs in the Galaxy. We detected extended mid-infrared structures around several surveyed confirmed and candidate HMXBs. Two of these structures, associated with Vela X-1 and 4U 1907+09, are genuine bow shocks that have been studied previously. However, there are no new unambiguous bow shocks among the rest of the objects. The paucity of bow shocks around HMXBs suggests that the majority of these systems still reside within hot, low-density bubbles around their parent star clusters or associations. This also implies that the dynamical ejection of massive binaries is apparently less efficient than the ejections caused by the supernova explosions inside a binary.


title: A new centered spatio-temporal autologistic regression model. Application to spatio-temporal analysis of esca disease in a vineyard

abstract: We propose a new centered autologistic spatio-temporal model for binary data on a lattice. The centering allows the interpretation of the autoregression coefficients in separating the large scale structure of the model corresponding to an expected mean and the small-scale structure corresponding to the auto-correlation. We discuss the existence of the joint law of the process and show by simulation the interest of this kind of centering. We propose and show the efficiency of the maximum pseudo-likelihood estimator and also a method to choose the best structure of neighborhood. Method is applied to model and fit epidemiological data about Esca disease on a vineyard of the Bordeaux region.


title: DropFilter: A Novel Regularization Method for Learning Convolutional Neural Networks

abstract: The past few years have witnessed the fast development of different regularization methods for deep learning models such as fully-connected deep neural networks (DNNs) and Convolutional Neural Networks (CNNs). Most of previous methods mainly consider to drop features from input data and hidden layers, such as Dropout, Cutout and DropBlocks. DropConnect select to drop connections between fully-connected layers. By randomly discard some features or connections, the above mentioned methods control the overfitting problem and improve the performance of neural networks. In this paper, we proposed two novel regularization methods, namely DropFilter and DropFilter-PLUS, for the learning of CNNs. Different from the previous methods, DropFilter and DropFilter-PLUS selects to modify the convolution filters. For DropFilter-PLUS, we find a suitable way to accelerate the learning process based on theoretical analysis. Experimental results on MNIST show that using DropFilter and DropFilter-PLUS may improve performance on image classification tasks.


title: Dynamic patterning and texture evolution of microbubbles in non-Newtonian immobile droplet

abstract: The dynamical perspectives of bubble in a liquid droplet on smooth solid substrate can be revealed by investigating interfacial self-assembly phenomena. Moreover, the complexity in such system can be scaled down into a transparent immobile non-Newtonian droplet. Here we present the dynamical approaches of internal microbubbles through coalescence and implosion near the edge of the droplet. The aggregation density of microbubbles near the rim is greater than the central region corresponding to the dynamical behaviour of the droplet marked with capillary flow along the triple phase contact line. We have also numerically analysed the occurrence of aggregation density of internal microbubbles near the edge by implementing boundary integral method. Our numerical results show good agreement with the experimental findings until the aggregation density have occurred near the edge of the droplet. This understanding ascribes distinctive skew exponential power law characteristics through coalescence and implosion.


title: Inverse Galois problem for del Pezzo surfaces over finite fields

abstract: We completely solve the inverse Galois problem for del Pezzo surfaces of degree $2$ and $3$ over all finite fields.


title: Exit event from a metastable state and Eyring-Kramers law for the overdamped Langevin dynamics

abstract: In molecular dynamics, several algorithms have been designed over the past few years to accelerate the exit event from a metastable region of the configuration space. Some of them are based on the fact that the exit event from a metastable region is well approximated by a Markov jump process. In this work, we present recent results on the exit event from a metastable region for the overdamped Langevin dynamics obtained in [17, 18, 49]. These results aim in particular at justifying the use of a Markov jump process parametrized by the Eyring-Kramers law to model the exit event from a metastable region.


title: On the power of euclidean division: Lower bounds for algebraic machines, semantically

abstract: This paper presents a new abstract method for proving lower bounds in computational complexity. Based on the notion of topological and measurable entropy for dynamical systems, it is shown to generalise three previous lower bounds results from the literature in algebraic complexity. We use it to prove that $\mathtt{maxflow}$, a $\mathrm{Ptime}$ complete problem, is not computable in polylogarithmic time on parallel random access machines (prams) working with real numbers. This improves on a result of Mulmuley since the class of machines considered extends the class "prams without bit operations". We further improve on this result by showing that euclidean division cannot be computable in polylogarithmic time using division on the reals, pinpointing that euclidean division provides a significant boost in expressive power. On top of showing this new separation result, we show our method captures previous lower bounds results from the literature: Steele and Yao's lower bounds for algebraic decision trees, Ben-Or's lower bounds for algebraic computation trees, Cucker's proof that $\mathrm{NC}$ is not equal to $\mathrm{Ptime}$ in the real case, and Mulmuley's lower bounds for prams without bit operations.


title: Precise Kohn-Sham total-energy calculations at reduced cost

abstract: The standard way to calculate the Kohn-Sham orbitals utilizes an approximation of the potential. The approximation consists in a projection of the potential into a finite subspace of basis functions. The orbitals, calculated with the projected potential, are used to evaluate the kinetic part of the total energy, but the true potential is used to evaluate the interaction energy with the electron density. Consequently, the Kohn-Sham total-energy expression loses its stationary behaviour as a functional of the potential. It will be discussed that this stationarity is important for the calculation of precise total energies at low computational cost and an approach will be presented that practically restores stationarity by perturbation theory. The advantage of this approach will be illustrated with total-energy results for the example of a disordered CrFeCoNi high entropy alloy.


title: Head phantoms for electroencephalography and transcranial electric stimulation: a skull material study

abstract: Physical head phantoms allow assessing source reconstruction procedures in electroencephalography and electrical stimulation profiles during transcranial electric stimulation. Volume conduction in the head is strongly influenced by the skull representing the main conductivity barrier. Realistic modeling of its characteristics is thus important for phantom development. In the present study, we proposed plastic clay as a material for modeling the skull in phantoms. We analyzed five clay types varying in granularity and fractions of fireclay, each with firing temperatures from 550 {\deg}C to 950 {\deg}C. We investigated the conductivity of standardized clay samples when immersed in a 0.9% sodium chloride solution with time-resolved four-point impedance measurements. To test the reusability of the clay model, these measurements were repeated after cleaning the samples by rinsing in deionized water for 5 h. We found time-dependent impedance changes for approximately 5 min after immersion in the solution. Thereafter, the conductivities stabilized between 0.0716 S/m and 0.0224 S/m depending on clay type and firing temperatures. The reproducibility of the measurement results proved the effectiveness of the rinsing procedure. Clay provides formability, is permeable for ions, can be adjusted in conductivity value and is thus suitable for the skull modeling in phantoms.


title: On Hilbert Functions of Points in Projective Space and Structure of Graded Modules

abstract: In this paper, we investigate the relationship between the Hilbert functions and the associated properties of the graded modules. To attain this, we construct the graded modules from the sets of points in projective space, $\mathbb{P}_k^n$ . We use a computer software package for algebraic computations Macaulay2 to study the Hilbert functions and the associated properties of the graded modules. Thereafter, we provide theoretical proofs of the results obtained from Macaulay2 and finally, we give illustrative examples to justify some of our results.


title: Unconventional Reentrant Quantum Hall Effect in a HgTe/CdHgTe Double Quantum Well

abstract: We report on observation of an unconventional structure of the quantum Hall effect (QHE) in a $ p$-type HgTe/Cd$_x$Hg$_{1-x}$Te double quantum well (DQW) consisting of two HgTe layers of critical width. The observed QHE is a reentrant function of magnetic field between two $i=2$ states (plateaus at $\rho_{xy}=h/ie^2$) separated by an intermediate $i=1$ state, which looks like some anomalous peak on the extra-long $i=2$ plateau when weakly expressed. The anomalous peak apparently separates two different regimes: a traditional QHE at relatively weak fields for a small density of mobile holes $p_s$ and a high-field QH structure with a $2-1$ plateau--plateau transition corresponding to much larger $p_s$. We show that only a part of holes, residing in an additional light hole subband in the DQW, participate in QHE at weak fields while the rest of holes is excluded into the reservoir formed in the lateral maximum of the valence subband. All the holes come into play at high fields due to a peculiar behavior of the zero-mode levels.


title: The code PEGASE.3 for distant RadioGalaxies with JWST

abstract: The physical link of the star formation-AGN activities is analyzed from multiwavelength energy distributions of distant radiogalaxies (RG) with the help of two models: the new evolutionary code PEGASE.3 with dust predictions and the Siebenmorgen's AGN model, with the aim to to disentangle the farIR dust emissions from respectively interstellar medium and torus of RGs. Best-fits of the HST-Spitzer-Herschel (UV-to-IR) observations of the 3CR RGs with libraries of hybrid SED templates identify three components (AGN, old galaxy and young starburst) tracing the relation of starburst-AGN luminosities. To confirm this relation at higher resolutions, the JWST/NIRCam, MIRI and NIRspec instruments are needed, SED libraries and evolving colors of galaxy hosts adapted to the JWST instruments are in preparation with PEGASE.3.


title: Higher order asymptotics for large deviations -- Part I

abstract: For sequences of non-lattice weakly dependent random variables, we obtain asymptotic expansions for Large Deviation Principles. These expansions, commonly referred to as strong large deviation results, are in the spirit of Edgeworth Expansions for the Central Limit Theorem. We apply our results to show that Diophantine iid sequences, finite state Markov chains, strongly ergodic Markov chains and Birkhoff sums of smooth expanding maps & subshifts of finite type satisfy these strong large deviation results.


title: Chiral Y junction of quantum spin chains

abstract: We study a Y junction of spin-1/2 Heisenberg chains with an interaction that breaks both time-reversal and chain exchange symmetries, but not their product nor SU(2) symmetry. The boundary phase diagram features a stable disconnected fixed point at weak coupling and a stable three-channel Kondo fixed point at strong coupling, separated by an unstable chiral fixed point at intermediate coupling. Using non-abelian bosonization and boundary conformal field theory, together with density matrix renormalization group and quantum Monte Carlo simulations, we characterize the signatures of these low-energy fixed points. In particular, we address the boundary entropy, the spin conductance and the temperature dependence of the scalar spin chirality and the magnetic susceptibility at the boundary.


title: Building and Evaluation of a Real Room Impulse Response Dataset

abstract: This paper presents BUT ReverbDB - a dataset of real room impulse responses (RIR), background noises and re-transmitted speech data. The retransmitted data includes LibriSpeech test-clean, 2000 HUB5 English evaluation and part of 2010 NIST Speaker Recognition Evaluation datasets. We provide a detailed description of RIR collection (hardware, software, post-processing) that can serve as a "cook-book" for similar efforts. We also validate BUT ReverbDB in two sets of automatic speech recognition (ASR) experiments and draw conclusions for augmenting ASR training data with real and artificially generated RIRs. We show that a limited number of real RIRs, carefully selected to match the target environment, provide results comparable to a large number of artificially generated RIRs, and that both sets can be combined to achieve the best ASR results. The dataset is distributed for free under a non-restrictive license and it currently contains data from 8 rooms, which is growing. The distribution package also contains a Kaldi-based recipe for augmenting publicly available AMI close-talk meeting data and test the results on an AMI single distant microphone set, allowing it to reproduce our experiments.


title: D-modules and finite maps

abstract: We study the preservation of semisimplicity for holonomic D-modules with respect to the direct and inverse image of mainly finite maps $\pi : X \to Y$ of smooth varieties. A natural filtration of the direct image $\pi_+({\mathcal O}_X)$ is defined by the vanishing of local cohomology along a natural stratification of $\pi$. The notions are exemplified with the invariant map $X\to X^G$, where $G$ is a complex reflection group. Simply connected varieties are treated algebraically by considering connections instead of fundamental groups. For example, a "Grothendieck-Lefschetz" theorem for connections is proven and also a generalized version of the assertion that rationally connected varieties be simply connected, entirely by algebraic means, using the idea of a "differential covering".


title: A low-rank tensor method for PDE-constrained optimization with isogeometric analysis

abstract: Isogeometric analysis (IGA) has become one of the most popular methods for the discretization of partial differential equations motivated by the use of NURBS for geometric representations in industry and science. A crucial challenge lies in the solution of the discretized equations, which we discuss in this talk with a particular focus on PDE-constrained optimization discretized using IGA. The discretization results in a system of large mass and stiffness matrices, which are typically very costly to assemble. To reduce the computation time and storage requirements, low-rank tensor methods have become a promising tool. We present a framework for the assembly of these matrices in low-rank form as the sum of a small number of Kronecker products. For assembly of the smaller matrices only univariate integration is required. The resulting low rank Kronecker product structure of the mass and stiffness matrices can be used to solve a PDE-constrained optimization problem without assembling the actual system matrices. We present a framework which preserves and exploits the low-rank Kronecker product format for both the matrices and the solution. We use the block AMEn method to efficiently solve the corresponding KKT system of the optimization problem. We show several numerical experiments with 3D geometries to demonstrate that the low-rank assembly and solution drastically reduces the memory demands and computing times, depending on the approximation ranks of the domain.


title: Mass-constrained ground states of the stationary NLSE on periodic metric graphs

abstract: We investigate the existence of ground states with fixed mass for the nonlinear Schr\"odinger equation with a pure power nonlinearity on periodic metric graphs. Within a variational framework, both the $L^2$-subcritical and critical regimes are studied. In the former case, we establish the existence of global minimizers of the NLS energy for every mass and every periodic graph. In the critical regime, a complete topological characterization is derived, providing conditions which allow or prevent ground states of a certain mass from existing. Besides, a rigorous notion of periodic graph is introduced and discussed.


title: Progressive Algorithms for Domination and Independence

abstract: We consider a generic algorithmic paradigm that we call progressive exploration, which can be used to develop simple and efficient parameterized graph algorithms. We identify two model-theoretic properties that lead to efficient progressive algorithms, namely variants of the Helly property and stability. We demonstrate our approach by giving linear-time fixed-parameter algorithms for the distance-r dominating set problem (parameterized by the solution size) in a wide variety of restricted graph classes, such as powers of nowhere dense classes, map graphs, and (for $r=1$) biclique-free graphs. Similarly, for the distance-r independent set problem the technique can be used to give a linear-time fixed-parameter algorithm on any nowhere dense class. Despite the simplicity of the method, in several cases our results extend known boundaries of tractability for the considered problems and improve the best known running times.


title: Analysis of Spectral Hamiltonian Boundary Value Methods (SHBVMs) for the numerical solution of ODE problems

abstract: Recently, the numerical solution of stiffly/highly-oscillatory Hamiltonian problems has been attacked by using Hamiltonian Boundary Value Methods (HBVMs) as spectral methods in time. While a theoretical analysis of this spectral approach has been only partially addressed, there is enough numerical evidence that it turns out to be very effective even when applied to a wider range of problems. Here we fill this gap by providing a thorough convergence analysis of the methods and confirm the theoretical results with the aid of a few numerical tests.


title: Cryogenic broadband vibration measurement on a cryogen-free dilution refrigerator

abstract: This manuscript reports a set of acceleration measurements in the frequency range from 0 to 50 kHz performed at the mixing chamber plate (2 axes) and the top flange (3 axes) of a cryogen-free dilution refrigerator. Various configurations of the support frame and coupling to the pulse tube compressor and motor have been tested, and the dominant contribution in the spectrum of vibrations is located, surprisingly, near 20 kHz. Finally, the efficiency of various precautions in suppressing the observed vibration levels is illustrated.


title: PaccMann: Prediction of anticancer compound sensitivity with multi-modal attention-based neural networks

abstract: We present a novel approach for the prediction of anticancer compound sensitivity by means of multi-modal attention-based neural networks (PaccMann). In our approach, we integrate three key pillars of drug sensitivity, namely, the molecular structure of compounds, transcriptomic profiles of cancer cells as well as prior knowledge about interactions among proteins within cells. Our models ingest a drug-cell pair consisting of SMILES encoding of a compound and the gene expression profile of a cancer cell and predicts an IC50 sensitivity value. Gene expression profiles are encoded using an attention-based encoding mechanism that assigns high weights to the most informative genes. We present and study three encoders for SMILES string of compounds: 1) bidirectional recurrent 2) convolutional 3) attention-based encoders. We compare our devised models against a baseline model that ingests engineered fingerprints to represent the molecular structure. We demonstrate that using our attention-based encoders, we can surpass the baseline model. The use of attention-based encoders enhance interpretability and enable us to identify genes, bonds and atoms that were used by the network to make a prediction.


title: A Constructive Arboricity Approximation Scheme

abstract: The arboricity $\Gamma$ of a graph is the minimum number of forests its edge set can be partitioned into. Previous approximation schemes were nonconstructive, i.e., they only approximated the arboricity as a value without computing a corresponding forest partition. This is because they operate on the related pseudoforest partitions or the dual problem of finding dense subgraphs. We propose an algorithm for converting a partition of $k$ pseudoforests into a partition of $k+1$ forests in $O(mk\log k + m \log n)$ time with a data structure by Brodal and Fagerberg that stores graphs of arboricity $k$. A slightly better bound can be given when perfect hashing is used. When applied to a pseudoforest partition obtained from Kowalik's approximation scheme, our conversion implies a constructive $(1+\epsilon)$-approximation algorithm with runtime $O(m \log n \log \Gamma\, \epsilon^{-1})$ for every $\epsilon > 0$. For fixed $\epsilon$, the runtime can be reduced to $O(m \log n)$. Our conversion also implies a near-exact algorithm that computes a partition into at most $\Gamma+2$ forests in $O(m\log n \,\Gamma \log^* \Gamma)$ time. It might also pave the way to faster exact arboricity algorithms. We also make several remarks on approximation algorithms for the pseudoarboricity and the equivalent graph orientations with smallest maximum indegree, and correct some mistakes made in the literature.


title: Evolutionary Diversity Optimization Using Multi-Objective Indicators

abstract: Evolutionary diversity optimization aims to compute a diverse set of solutions where all solutions meet a given quality criterion. With this paper, we bridge the areas of evolutionary diversity optimization and evolutionary multi-objective optimization. We show how popular indicators frequently used in the area of multi-objective optimization can be used for evolutionary diversity optimization. Our experimental investigations for evolving diverse sets of TSP instances and images according to various features show that two of the most prominent multi-objective indicators, namely the hypervolume indicator and the inverted generational distance, provide excellent results in terms of visualization and various diversity indicators.


title: Using recurrences in time and frequency within U-net architecture for speech enhancement

abstract: When designing fully-convolutional neural network, there is a trade-off between receptive field size, number of parameters and spatial resolution of features in deeper layers of the network. In this work we present a novel network design based on combination of many convolutional and recurrent layers that solves these dilemmas. We compare our solution with U-nets based models known from the literature and other baseline models on speech enhancement task. We test our solution on TIMIT speech utterances combined with noise segments extracted from NOISEX-92 database and show clear advantage of proposed solution in terms of SDR (signal-to-distortion ratio), SIR (signal-to-interference ratio) and STOI (spectro-temporal objective intelligibility) metrics compared to the current state-of-the-art.


title: Charmless two-body decays at Belle and prospects at Belle II

abstract: Charmless hadronic $B$ decays are a good testing ground for the Standard Model (SM) of Particle Physics. The dominant amplitudes are CKM suppressed tree diagrams and/or $ b\to s$ or $b\to d$ loop ("penguin") diagrams. Non-SM particle could appear in the loop, and hence these decays are sensitive to search for New Physics (NP). Some of the recent measurements of two-body charmless hadronic $B$ decays from Belle and their prospects at Belle II are discussed.


title: $\boldsymbol{Ab\ initio}$ search of polymer crystals with high thermal conductivity

abstract: Lattice thermal conductivities (LTC) for a subset of polymer crystals from the Polymer Genome Library were investigated to explore high LTC polymer systems. We employed a first-principles approach to evaluating phonon lifetimes within the third-order perturbation theory combined with density functional theory, and then solved the linearized Boltzmann transport equation with single-mode relaxation time approximated by the computed lifetime. Typical high LTC polymer systems, polyethylene (PE) crystal and fiber, were benchmarked, which is reasonably consistent with previous references, validating our approach. We then applied it to not only typical polymer crystals, but also some selected ones having structural similarities to PE. Among the latter crystals, we discovered that beta phase of Poly(vinylidenesurely fluoride) (PVF-$\beta$) crystal has higher LTC than PE at low temperature. Our detailed mode analysis revealed that the phonon lifetime of PVF-$\beta$ is more locally distributed around lower frequency modes and four-times larger than that of PE. It was also found from a simple data analysis that the LTC relatively correlates with curvature of energy-volume plot. The curvature would be used as a descriptor for further exploration of high LTC polymer crystals by means of a data-driven approach beyond human-based one.


title: Logical structures underlying quantum computing

abstract: In this work we advance a generalization of quantum computational logics capable of dealing with some important examples of quantum algorithms. We outline an algebraic axiomatization of these structures.


title: Fixation properties of multiple cooperator configurations on regular graphs

abstract: Whether or not cooperation is favored in evolutionary games on graphs depends on the population structure and spatial properties of the interaction network. Population structures can be expressed as configurations. Such configurations extend scenarios with a single cooperator among defectors to any number of cooperators and any arrangement of cooperators and defectors. Thus, as a single cooperator can be interpreted as a lone mutant, the discussion about fixation properties based on configurations also applies to multiple mutants. For interaction networks modeled as regular graphs and for weak selection, the emergence of cooperation can be assessed by structure coefficients, which are specific for a configuration and a graph. We analyze these structure coefficients and particularly show that under certain conditions the coefficients strongly correlate to the average shortest path length between cooperators on the evolutionary graph. Thus,for multiple cooperators fixation properties on regular evolutionary graphs can be linked to cooperator path length.


title: Sequential games and nondeterministic selection functions

abstract: This paper analyses Escard\'o and Oliva's generalisation of selection functions over a strong monad from a game-theoretic perspective. We focus on the case of the nondeterminism (finite nonempty powerset) monad $\mathcal{P}$. We use these nondeterministic selection functions of type $\mathcal{J}^{\mathcal{P}}_R X = (X \rightarrow R) \rightarrow \mathcal{P} (X)$ to study sequential games, extending previous work linking (deterministic) selection functions to game theory. Similar to deterministic selection functions, which compute a subgame perfect Nash equilibrium play of a game, we characterise those non-deterministic selection functions which have a clear game-theoretic interpretation. We show, surprisingly, no non-deterministic selection function exists which computes the set of all subgame perfect Nash equilibrium plays. Instead we show that there are selection functions corresponding to sequential versions of the iterated removal of strictly dominated strategies.


title: An infinite-dimensional index theorem and the Higson-Kasparov-Trout algebra

abstract: We have been studying the index theory for some special infinite-dimensional manifolds with a "proper cocompact" actions of the loop group LT of the circle T, from the viewpoint of the noncommutative geometry. In this paper, we will introduce the LT-equivariant KK-theory and we will construct three KK-elements: the index element, the Clifford symbol element and the Dirac element. These elements satisfy a certain relation, which should be called the (KK-theoretical) index theorem, or the KK-theoretical Poincar\'e duality for infinite-dimensional manifolds. We will also discuss the assembly maps.


title: Controllable SH wave radiation patterns generated by finite-size face-shear piezoelectric transducers for structural health monitoring

abstract: The fundamental shear horizontal (SH0) wave in plate-like structures is of practical importance in structural health monitoring due to its non-dispersive characteristics. However, compared with Lamb wave, SH0 wave is less used in practice since it is difficult to be excited by using conventional piezoelectric transducers. Recently, face-shear piezoelectric mode has been realized in PZT ceramics and several face-shear piezoelectric transducers have been developed to excite pure SH0 wave in plates. However, when controllable radiation pattern of SH0 wave is required, it is found that no mathematical basis is available for designers to optimize the transducer's parameters. In this work, based on the reciprocal theorem of elastodynamics and Huygens' principle, a theoretical model is proposed to describe the SH0 wave field generated by arbitrary-shaped face-shear transducers bonded on an infinite isotropic plate. It is proved that the wave field generated by a face-shear transducer is equivalent to that generated by uniform in-plane tractions along its perimeter. Then the proposed model is applied to two specific cases of a single square face-shear (d24) PZT wafer and a bidirectional SH0 wave piezoelectric transducer(BSH-PT).Explicit analytical expressions for both cases are successfully obtained. The accuracy of the obtained analytical model is verified by both experiments and FEM simulations. Furthermore, some general guidelines based on the analytical model are presented for optimization of the transducer's dimensions. Finally, based on the guidelines, a new bidirectional SH0 wave piezoelectric transducer is proposed with very small beam divergence.


title: $\pi-N$ Drell-Yan process in TMD factorization

abstract: This article presents the review of the current understanding on the pion-nucleon Drell-Yan process from the point of view of the TMD factorization. Using the evolution formalism for the unpolarized and polarized TMD distributions developed recently, we provide the theoretical expression of the relevant physical observables, namely, the unpolarized cross section, the Sivers asymmetry, and the $\cos2\phi$ asymmetry contributed by the double Boer-Mulders effects. The corresponding phenomenology, particularly at the kinematical configuration of the COMPASS $\pi N$ Drell-Yan facility, is displayed numerically.


title: A simple approach to CO cooling in molecular clouds

abstract: CO plays an important role in interstellar molecular clouds, both as a coolant, and as a diagnostic molecule. However, a proper evaluation of the cooling rate due to CO requires a determination of the populations of many levels, the spontaneous and stimulated radiative de-excitation rates between these levels, and the transfer of the emitted multi-line radiation; additionally, this must be done for three isotopologues. It would be useful to have a simple analytic formulation that avoided these complications; this could then be used in situations where CO plays an important role as a coolant, but the details of this role are not the main concern. We derive such a formulation here, by first considering the two asymptotic forms that obtain in the limits of (a) low volume-density and optical depth, and (b) high volume-density and optical depth. These forms are then combined in such a way as to fit the detailed numerical results from Goldsmith \& Langer (1978), which cover low temperatures, and a range of physical conditions where the interplay of thermal and sub-thermal excitation, optical-depth effects, and the contributions from rare isotopologues, are all important. The fit is obtained using the Metropolis-Hastings method, and reproduces the results of GL78 well. It is a purely local and analytic function of state --- specifically a function of the density, $\rho$, isothermal sound speed, $a$, CO abundance, $X_{_{\rm CO}}$, and velocity divergence, $\nabla\cdot{\boldsymbol\upsilon}$. As an application, we consider the cooling layer following a slow steady non-magnetic planar J-shock. We show that, if the post-shock cooling is dominated by CO and its isotopologues, the thickness of the post-shock cooling layer is very small and approximately independent of the pre-shock velocity, $\upsilon_o$, or pre-shock isothermal sound speed, $a_o$.


title: Gaussian fluctuations of the determinant of Wigner Matrices

abstract: We prove that the logarithm of the determinant of a Wigner matrix satisfies a central limit theorem in the limit of large dimension. Previous results about fluctuations of such determinants required that the first four moments of the matrix entries match those of a Gaussian. Our work treats symmetric and Hermitian matrices with centered entries having the same variance and subgaussian tail. In particular, it applies to symmetric Bernoulli matrices and answers an open problem raised by Tao and Vu.


title: Phase-separated vortex-lattice in a rotating binary Bose-Einstein condensate

abstract: We study circularly-symmetric phase separation of vortex lattices in a rapidly rotating harmonically-trapped quasi--two-dimensional binary Bose-Einstein condensate (BEC) by introducing a weak quartic trap in one of the components. The increase of the rotational frequency in such a system is also found to generate a phase separation of the vortex lattices of an overlapping non-rotating BEC. The phase-separated vortex lattices have different structures for a binary BEC with inter-species repulsion and inter-species attraction. In the former case of a fully repulsive binary BEC the phase separation of the vortex-lattices is accompanied by a complete phase separation of component densities. In the latter case of inter-species attraction there is a partial phase separation of component densities, although there could be a complete phase separation of the generated vortex lattices in the two components. In the case of inter-species attraction, we need to have different intra-species repulsion in the two components for an efficient phase separation. We compare and contrast our results with the phase separation obtained in a harmonically-trapped binary BEC without any quartic trap.


title: Evaluating Uncertainty Quantification in End-to-End Autonomous Driving Control

abstract: A rise in popularity of Deep Neural Networks (DNNs), attributed to more powerful GPUs and widely available datasets, has seen them being increasingly used within safety-critical domains. One such domain, self-driving, has benefited from significant performance improvements, with millions of miles having been driven with no human intervention. Despite this, crashes and erroneous behaviours still occur, in part due to the complexity of verifying the correctness of DNNs and a lack of safety guarantees. In this paper, we demonstrate how quantitative measures of uncertainty can be extracted in real-time, and their quality evaluated in end-to-end controllers for self-driving cars. To this end we utilise a recent method for gathering approximate uncertainty information from DNNs without changing the network's architecture. We propose evaluation techniques for the uncertainty on two separate architectures which use the uncertainty to predict crashes up to five seconds in advance. We find that mutual information, a measure of uncertainty in classification networks, is a promising indicator of forthcoming crashes.


title: The Environments of Luminous Radio - WISE Selected Infrared Galaxies

abstract: We have observed the environments of a population of 33 heavily dust obscured, ultra-luminous, high-redshift galaxies, selected using WISE and NVSS at $z>$1.3 with the Infra-Red Array Camera on the $Spitzer$ Space Telescope over $\rm5.12\,'\times5.12\,'$ fields. Colour selections are used to quantify any potential overdensities of companion galaxies in these fields. We find no significant excess of galaxies with the standard colour selection for IRAC colours of $\rm[3.6]-[4.5]>-0.1$ consistent with galaxies at $z>$1.3 across the whole fields with respect to wide-area $Spitzer$ comparison fields, but there is a $\rm>2\sigma$ statistical excess within $\rm0.25\,'$ of the central radio-WISE galaxy. Using a colour selection of $\rm[3.6]-[4.5]>0.4$, 0.5 magnitudes redder than the standard method of selecting galaxies at $z>$1.3, we find a significant overdensity, in which $\rm76\%$ ($\rm33\%$) of the 33 fields have a surface density greater than the $\rm3\sigma$ ($\rm5\sigma$) level. There is a statistical excess of these redder galaxies within $\rm0.5\,'$, rising to a central peak $\rm\sim2$--4 times the average density. This implies that these galaxies are statistically linked to the radio-WISE selected galaxy, indicating similar structures to those traced by red galaxies around radio-loud AGN.


title: Descoberta de rela\c{c}\~oes alom\'etricas entre popula\c{c}\~ao e crime dentro de uma grande metr\'opole

abstract: Recently humanity has just crossed an important landmark in its history with the majority of people now living in large cities. This population concentration is capable of boosting the growth of positive indicators such as innovation, the production of new patents and supercreative employment, but increases the spread of diseases and the occurrence of crimes. Faced with the realization that crime rates grow year after year in these large urban centers, we sought to understand the dynamics of crime within cities. We investigate at the subscale of the neighborhoods of a highly populated city the incidence of property crimes in terms of both the resident and the floating population. Our results show that a relevant allometric relation could only be observed between property crimes and floating population. More precisely, the evidence of a superlinear behavior indicates that a disproportional number of property crimes occurs in regions where an increased flow of people takes place in the city. For comparison, we also found that the number of crimes of peace disturbance only correlates well, and in a superlinear fashion too, with the resident population. Our study raises the interesting possibility that the superlinearity observed in previous studies [Bettencourt et al., Proc. Natl. Acad. Sci. USA 104, 7301 (2007) and Melo et al., Sci. Rep. 4, 6239 (2014)] for homicides versus population at the city scale could have its origin in the fact that the floating population, and not the resident one, should be taken as the relevant variable determining the intrinsic microdynamical behavior of the system. This finding was the motivation for the codification of a framework that supports the analysis of population and crime data to propose city divisions that allow the allocation of police by floating population and resident population statistics.


title: Resonator neuron and triggering multipulse excitability in laser with injected signal

abstract: Semiconductor lasers with coherent forcing are expected to behave similarly to simple neuron models in response to external perturbations, as long as the physics describing them can be approximated by that of an overdamped pendulum with fluid torque. Beyond the validity range of this approximation, more complex features can be expected. We perform experiments and numerical simulations which show that the system can display resonator and integrator features depending on parameters and that multiple pulses can be emitted in response to larger perturbations.