title: Sensitivity optimization of micro-machined thermo-resistive flow-rate sensors on silicon substrates

abstract: We report on an optimized micro-machined thermal flow-rate sensor as part of an autonomous multi-parameter sensing device for water network monitoring. The sensor has been optimized under the following constraints: low power consumption and high sensitivity, while employing a large thermal conductivity substrate, namely silicon. The resulting device consists of a platinum resistive heater deposited on a thin silicon pillar ~ 100 $\mu$m high and 5 $\mu$m wide in the middle of a nearly 100 $\mu$m wide cavity. Operated under the anemometric scheme, the reported sensor shows a larger sensitivity in the velocity range up to 1 m/s compared to different sensors based on similar high conductivity substrates such as bulk silicon or silicon membrane with a power consumption of 44 mW. Obtained performances are assessed with both CFD simulation and experimental characterization.


title: Benchmarking Top-K Keyword and Top-K Document Processing with T${}^2$K${}^2$ and T${}^2$K${}^2$D${}^2$

abstract: Top-k keyword and top-k document extraction are very popular text analysis techniques. Top-k keywords and documents are often computed on-the-fly, but they exploit weighted vocabularies that are costly to build. To compare competing weighting schemes and database implementations, benchmarking is customary. To the best of our knowledge, no benchmark currently addresses these problems. Hence, in this paper, we present T${}^2$K${}^2$, a top-k keywords and documents benchmark, and its decision support-oriented evolution T${}^2$K${}^2$D${}^2$. Both benchmarks feature a real tweet dataset and queries with various complexities and selectivities. They help evaluate weighting schemes and database implementations in terms of computing performance. To illustrate our bench-marks' relevance and genericity, we successfully ran performance tests on the TF-IDF and Okapi BM25 weighting schemes, on one hand, and on different relational (Oracle, PostgreSQL) and document-oriented (MongoDB) database implementations, on the other hand.


title: An existence result for a constrained two-phase transition model with metastable phase for vehicular traffic

abstract: In this paper we study a phase transition model for vehicular traffic flows. Two phases are taken into account, according to whether the traffic is light or heavy. We assume that the two phases have a non-empty intersection, the so called metastable phase. The model is given by the Lighthill-Whitham-Richards model in the free-flow phase and by the Aw-Rascle-Zhang model in the congested phase. In particular, we study the existence of solutions to Cauchy problems satisfying a local point constraint on the density flux. We prove that if the constraint F is higher than the minimal flux f -- c of the metastable phase, then constrained Cauchy problems with initial data of bounded total variation admit globally defined solutions. We also provide sufficient conditions on the initial data that guarantee the global existence of solutions also in the case F < f -- c. These results are obtained by applying the wave-front tracking technique.


title: A note on an integral of Dixit, Roy and Zaharescu

abstract: In a recent paper, Dixit {\it et al.\/} [Acta Arith. {\bf 177} (2017) 1--37] posed two open questions whether the integral \[{\hat J}_{k}(\alpha)=\int_0^\infty\frac{xe^{-\alpha x^2}}{e^{2\pi x}-1}\,{}_1F_1(-k,3/2;2\alpha x^2)\,dx\] for $\alpha>0$ could be evaluated in closed form when $k$ is a positive even and odd integer. We establish that ${\hat J}_{k}(\alpha)$ can be expressed in terms of a Gauss hypergeometric function and a ratio of two gamma functions, together with a remainder expressed as an integral. An upper bound on the remainder term is obtained, which is shown to be exponentially small as $k$ becomes large when $a=O(1)$.


title: DAMA/LIBRA-phase2 in WIMP effective models

abstract: The DAMA/LIBRA collaboration has recently released updated results from their search for the annual modulation signal expected from Dark Matter (DM) scattering in their NaI detectors. We have fitted the updated DAMA result for the modulation amplitudes in terms of a Weakly Interacting Massive Particle (WIMP) signal, parameterizing the interaction with nuclei in terms of the most general effective Lagrangian for a WIMP particle spin up to 1/2, systematically assuming dominance of one of the 14 possible interaction terms, and assuming for the WIMP velocity distribution a standard Maxwellian. We find that most of the couplings of the non-relativistic effective Hamiltonian can provide a better fit compared to the standard Spin Independent interaction case, and with a reduced fine-tuning of the three parameters (WIMP mass, WIMP-nucleon effective cross-section and ratio between the WIMP-neutron and the WIMP-proton couplings). Moreover, effective models for which the cross section depends explicitly on the WIMP incoming velocity can provide a better fit of the DAMA data at large values of $m_{\chi}$ compared to the standard velocity-independent cross-section due to a different phase of the modulation amplitudes. All the best fit solutions are in tension with exclusion plots of both XENON1T and PICO60.


title: Bias-variance tradeoff in MIMO channel estimation

abstract: Channel estimation is challenging in multi-antenna communication systems, because of the large number of parameters to estimate. It is possible to facilitate this task by using a physical model describing the multiple paths constituting the channel, in the hope of reducing the number of unknowns in the problem. Adjusting the number of estimated paths leads to a bias-variance tradeoff. This paper explores this tradeoff, aiming to find the optimal number of paths to estimate. Moreover, the approach based on a physical model is compared to the classical least squares and Bayesian techniques. Finally, the impact of channel estimation error on the system data rate is assessed.


title: Scratching the surface with TGAS and RAVE: disk moving groups in the Solar neighborhood

abstract: There is long tradition extending more than a century on the identification of moving groups in the Solar neighborhood. However, with the advent of large kinematic surveys, and especially of the upcoming Gaia data releases there is a need for more sophisticated and automated substructure finders. We analyze the TGASxRAVE dataset to identify moving groups in the Galactic disk. These groups of stars may then be used to map dynamical and star formation processes in the vicinity of the Sun. We use the ROCKSTAR algorithm, a "friends-of-friends"-like substructure finder in 6D phase-space, and analyze the Hertzsprung-Russell diagrams of the groups identified. We find 125 moving groups within 300 pc of the Sun, containing on average 50 stars, and with 3D velocity dispersions smaller than 10 km/s. Most of these groups were previously unknown. Our photometric analysis allows us to isolate a subsample of 30 statistically significant groups likely composed of stars that were born together.


title: Pass-Efficient Randomized Algorithms for Low-Rank Matrix Approximation Using Any Number of Views

abstract: This paper describes practical randomized algorithms for low-rank matrix approximation that accommodate any budget for the number of views of the matrix. The presented algorithms, which are aimed at being as pass efficient as needed, expand and improve on popular randomized algorithms targeting efficient low-rank reconstructions. First, a more flexible subspace iteration algorithm is presented that works for any views $v \geq 2$, instead of only allowing an even $v$. Secondly, we propose more general and more accurate single-pass algorithms. In particular, we propose a more accurate memory efficient single-pass method and a more general single-pass algorithm which, unlike previous methods, does not require prior information to assure near peak performance. Thirdly, combining ideas from subspace and single-pass algorithms, we present a more pass-efficient randomized block Krylov algorithm, which can achieve a desired accuracy using considerably fewer views than that needed by a subspace or previously studied block Krylov methods. However, the proposed accuracy enhanced block Krylov method is restricted to large matrices that are either accessed a few columns or rows at a time. Recommendations are also given on how to apply the subspace and block Krylov algorithms when estimating either the dominant left or right singular subspace of a matrix, or when estimating a normal matrix, such as those appearing in inverse problems. Computational experiments are carried out that demonstrate the applicability and effectiveness of the presented algorithms.


title: Miniaturized atmospheric ionization detector

abstract: A small scintillator-based detector for atmospheric ionization measurements has been developed, partly in response to a need for better ionization data in the weather-forming regions of the atmosphere and partly with the intention of producing a commercially available device. The device can measure both the count rate and energy of atmospheric ionizing radiation. Here we report results of a test flight over the UK in December 2017 where the detector was flown with two Geiger counters on a meteorological radiosonde. The count rate profile with height was consistent both with the Geigers and with previous work. The energy of incoming ionizing radiation increased substantially with altitude.


title: In defence of the simple: Euclidean distance for comparing complex networks

abstract: To improve our understanding of connected systems, different tools derived from statistics, signal processing, information theory and statistical physics have been developed in the last decade. Here, we will focus on the graph comparison problem. Although different estimates exist to quantify how different two networks are, an appropriate metric has not been proposed. Within this framework we compare the performances of different networks distances (a topological descriptor and a kernel-based approach) with the simple Euclidean metric. We define the performance of metrics as the efficiency of distinguish two network's groups and the computing time. We evaluate these frameworks on synthetic and real-world networks (functional connectomes from Alzheimer patients and healthy subjects), and we show that the Euclidean distance is the one that efficiently captures networks differences in comparison to other proposals. We conclude that the operational use of complicated methods can be justified only by showing that they out-perform well-understood traditional statistics, such as Euclidean metrics.


title: Fourth order compact scheme for option pricing under Merton and Kou jump-diffusion models

abstract: In this article, a three-time levels compact scheme is proposed to solve the partial integro-differential equation governing the option prices under jump-diffusion models. In the proposed compact scheme, the second derivative approximation of unknowns is approximated by the value of unknowns and their first derivative approximations which allow us to obtain a tri-diagonal system of linear equations for the fully discrete problem. Moreover, consistency and stability of the proposed compact scheme are proved. Due to the low regularity of typical initial conditions, the smoothing operator is employed to ensure the fourth-order convergence rate. Numerical illustrations for pricing European options under Merton and Kou jump-diffusion models are presented to validate the theoretical results.


title: The pulsationally modulated radial crossover signature of the slowly rotating magnetic B-type star $\xi^1$ CMa

abstract: We report the latest set of spectropolarimetric observations of the magnetic $\beta$ Cep star $\xi^1$ CMa. The new observations confirm the long-period model of Shultz et al.\ (2017), who proposed a rotational period of about 30 years and predicted that in 2018 the star should pass through a magnetic null. In perfect agreement with this projection, all longitudinal magnetic field $\langle B_z \rangle$ measurements are close to 0 G. Remarkably, individual Stokes $V$ profiles all display a crossover signature, which is consistent with $\langle B_z \rangle \sim 0$ but is {\em not} expected when $v\sin{i} \sim 0$. The crossover signatures furthermore exhibit pulsationally modulated amplitude and sign variations. We show that these unexpected phenomena can all be explained by a `radial crossover' effect related to the star's radial pulsations, together with an important deviation of the global field topology from a purely dipolar structure, which we explore via a dipole+quadrupole configuration as the simplest non-dipolar field.


title: Spontanous spin squezing in a rubidium BEC

abstract: We describe an experiment where spin squeezing occurs spontaneously within a standard Ramsey sequence driving a two-component Bose-Einstein condensate (BEC) of 87Rb atoms trapped in an elongated magnetic trap. Multiparticle entanglement is generated by state-dependent collisional interactions, despite the near-identical scattering lengths of the spin states in 87Rb. In our proof-of-principle experiment, we observe a metrological spin squeezing that reaches 1.3+/-0.4dB for 5000 atoms, with a contrast of 90+/-1%. The method may be applied to realize spin-squeezed BEC sources for atom interferometry without the need for cavities, state-dependent potentials or Feshbach resonances.


title: Mass, radius, and composition of the transiting planet 55 Cnc e : using interferometry and correlations

abstract: The characterization of exoplanets relies on that of their host star. However, stellar evolution models cannot always be used to derive the mass and radius of individual stars, because many stellar internal parameters are poorly constrained. Here, we use the probability density functions (PDFs) of directly measured parameters to derive the joint PDF of the stellar and planetary mass and radius. Because combining the density and radius of the star is our most reliable way of determining its mass, we find that the stellar (respectively planetary) mass and radius are strongly (respectively moderately) correlated. We then use a generalized Bayesian inference analysis to characterize the possible interiors of 55 Cnc e. We quantify how our ability to constrain the interior improves by accounting for correlation. The information content of the mass-radius correlation is also compared with refractory element abundance constraints. We provide posterior distributions for all interior parameters of interest. Given all available data, we find that the radius of the gaseous envelope is $0.08 \pm 0.05 R_p$. A stronger correlation between the planetary mass and radius (potentially provided by a better estimate of the transit depth) would significantly improve interior characterization and reduce drastically the uncertainty on the gas envelope properties.


title: On dualizability of braided tensor categories

abstract: We study the question of dualizability in higher Morita categories of locally presentable tensor categories and braided tensor categories. Our main results are that the 3-category of rigid tensor categories with enough compact projectives is 2-dualizable, that the 4-category of rigid braided tensor categories with enough compact projectives is 3-dualizable, and that (in characteristic zero) the 4-category of braided fusion categories is 4-dualizable. Via the cobordism hypothesis, this produces respectively 2, 3 and 4-dimensional framed local topological field theories. In particular, we produce a framed 3-dimensional local TFT attached to the category of representations of a quantum group at any value of $q$.


title: Investigations of the limit distribution and the asymptotic behavior of summation arithmetic functions

abstract: The aim of the paper is to study the limit distributions and the asymptotic behavior of summation arithmetic functions. A probabilistic approach based on the use of the axioms of probability theory is used for these purposes. Sufficient conditions are proved under which these functions have a limiting normal distribution. Arithmetic functions having a limiting normal distribution are found in the paper. The author investigates summation functions of a general form and finds sufficient conditions under which they have a limiting normal distribution. Examples of arithmetic functions that satisfy these requirements are considered. We prove an ergodic theorem for summation arithmetic functions, for which the sequence of random variables has the stationarity property in the broad sense. The asymptotics of the growth of the deviation of the values of the arithmetic function from its mean value are investigated. It is shown that an equivalent formulation of the Riemann hypothesis for the Mertens function is satisfied almost everywhere.


title: Exponential decay of Bergman kernels on complete Hermitian manifolds with Ricci curvature bounded from below

abstract: Given a smooth positive measure $\mu$ on a complete Hermitian manifold with Ricci curvature bounded from below, we prove a pointwise Agmon-type bound for the corresponding Bergman kernel, under rather general conditions involving the coercivity of an associated complex Laplacian on $(0,1)$-forms. Thanks to an appropriate version of the Bochner--Kodaira--Nakano basic identity, we can give explicit geometric sufficient conditions for such coercivity to hold. Our results extend several known bounds in the literature to the case in which the manifold is neither assumed to be K\"ahler nor of "bounded geometry". The key ingredients of our proof are a localization formula for the complex Laplacian (of the kind used in the theory of Schr\"odinger operators) and a mean value inequality for subsolutions of the heat equation on Riemannian manifolds due to Li, Schoen, and Tam. We also show in an appendix that the so-called "twisted basic identities" are standard basic identities with respect to conformally K\"ahler metrics.


title: Hybrid Quasi-Single Field Inflation

abstract: The decay of massive particles during inflation generates characteristic signals in the squeezed limit of the primordial bispectrum. These signals are in particular distinctive in the regime of the quasi-single field inflation, where particles are oscillating with masses comparable to the Hubble scale. We apply the investigation to a class of scalar particles that experience a so-called waterfall phase transition in the isocurvature direction driven by the symmetry-breaking mechanism based on the hybrid inflation scenario. With a time-varying mass, a novel shape of oscillatory bispectrum is presented as the signature of a waterfall phase transition during inflation.


title: Analysis of Fermi-LAT data from Tucana-II: Possible constraints on the Dark Matter models with an intriguing hint of a signal

abstract: Tucana-II (Tuc-II), a recently discovered and confirmed Ultra Faint Dwarf Spheroidal galaxy, has a high mass to light ratio as well as a large line-of-sight stellar velocity dispersion, thus making it an ideal candidate for an indirect dark matter (DM) search. In this paper, we have analyzed nine years of $\gamma$-ray data obtained from the \textit{Fermi}-LAT instrument from the direction of Tuc-II. The fact that a very weak significant $\gamma$-ray excess ($2.2\sigma$) over the background of Tuc-II have been detected from the location of this galaxy. We have observed that this excess of $\gamma$-ray emission from the of location Tuc-II rises with longer periods of data. If WIMP pair annihilation is assumed for this faint emission, for $b\bar{b}$ annihilation channel the test statistics (TS) value peaks at DM mass $\sim$ 14 GeV and for $\tau^{+}\tau^{-}$ annihilation channel it peaks at DM mass 4 GeV. It is then called for an estimation of the $95\%$ confidence level upper limit of the possible velocity weighted self-annihilation cross-section of the DM particles (WIMPs) within Tuc-II by fitting the observed $\gamma$-ray flux with spectra expected for DM annihilation. The estimated upper limits of the cross-sections from Tuc-II are then compared with two other dwarf galaxies that are considered to be good DM candidates in several studies. We have also compared our results with the cross-sections obtained in various popular theoretical models of the WIMPs to find that our results impose reasonable tight constraints on the parameter spaces of those DM models. In the concluding section, we compared our results with the similar results obtained from a combined dSph analysis by the \textit{Fermi}-LAT collaboration as well as the results obtained from the studies of DM in the dwarf galaxies by the major ground-based Cherenkov experiments.


title: A Heuristic for Reachability Problem in Asynchronous Binary Automata Networks

abstract: On demand of efficient reachability analysis due to the inevitable complexity of large-scale biological models, this paper is dedicated to a novel approach: PermReach, for reachability problem of our new framework, Asynchronous Binary Automata Networks (ABAN). ABAN is an expressive modeling framework which contains all the dynamics behaviors performed by Asynchronous Boolean Networks. Compared to Boolean Networks (BN), ABAN has a finer description of state transitions (from a local state to another, instead of symmetric Boolean functions). To analyze the reachability properties on large-scale models (like the ones from systems biology), previous works exhibited an efficient abstraction technique called Local Causality Graph (LCG). However, this technique may be not conclusive. Our contribution here is to extend these results by tackling those complex intractable cases via a heuristic technique. To validate our method, tests were conducted in large biological networks, showing that our method is more conclusive than existing ones.


title: Perturbations of spiky strings in AdS3

abstract: Perturbations of a class of semiclassical spiky strings in three dimensional Anti-de Sitter (AdS) spacetime, are investigated using the well-known Jacobi equations for small, normal deformations of an embedded timelike surface. We show that the equation for the perturbation scalar which governs the behaviour of such small deformations, is a special case of the well-known Darboux-Treibich-Verdier (DTV) equation. The eigenvalues and eigensolutions of the DTV equation for our case are obtained by solving certain continued fractions numerically. These solutions are thereafter utilised to further demonstrate that there do exist finite perturbations of the AdS spiky strings. Our results therefore establish that the spiky string configurations in AdS3 are indeed stable against small fluctuations. Comments on future possibilities of work are included in conclusion.


title: Diffusion monte carlo calculations of three-body systems

abstract: Application of diffusion Monte Carlo algorithm in three-body systems is studied. We develop a program and use it to calculate the property of various three-body systems. Regular Coulomb systems such as atoms, molecules and ions are investigated. Calculation is then extended to exotic systems where electrons are replaced by muons. Some nuclei with neutron halos are also calculated as three-body systems consisting of a core and two external nucleons. Our results agree well with experiments and others' work.


title: A Note on Twisted Bernoulli Measures

abstract: We introduce the twisted Bernoulli measures as a family of p-adic measures parametrized by the complement of the open disc with radius 1 and centered at 1 in the completion of an algebraic closure of p-adic numbers. These measures are the higher order versions of the measure used by Koblitz and Coleman to interpret (p-adic) polylogarithms. We also prove that these measures are the unique p-adic measures that can be obtained from polynomials over the field Q(y) which is similar to the uniqueness property of Bernoulli measures.


title: Strong quenches in the one-dimensional Fermi-Hubbard model

abstract: The one-dimensional Fermi-Hubbard model is used as testbed for strong global parameter quenches. With the aid of iterated equations of motion in combination with a suitable scalar product for operators we describe the dynamics and the long-term behavior in particular of the system after interaction quenches. This becomes possible because the employed approximation allows for oscillatory dynamics avoiding spurious divergences. The infinite-time behavior is captured by an analytical approach based on stationary phases; no numerical averages over long times need to be computed. We study the most relevant frequencies in the dynamics after the quench and find that the local interaction $U$ as well as the band width $W$ dominate. In contrast to former studies a crossover instead of a sharp dynamical transition depending on the strength of the quench is identified. For weak quenches the band width is more important while for strong quenches the local interaction $U$ dominates.


title: Quasielastic charged-current neutrino scattering in the scaling model with relativistic effective mass

abstract: We use a recent scaling analysis of the quasielastic electron scattering data from $^{12}$C to predict the quasielastic charge-changing neutrino scattering cross sections within an uncertainty band. We use a scaling function extracted from a selection of the $(e,e')$ cross section data, and an effective nucleon mass inspired by the relativistic mean-field model of nuclear matter. The corresponding super-scaling analysis with relativistic effective mass (SuSAM*) describes a large amount of the electron data lying inside a phenomenological quasielastic band. The effective mass incorporates the enhancement of the transverse current produced by the relativistic mean field. The scaling function incorporates nuclear effects beyond the impulse approximation, in particular meson-exchange currents and short range correlations producing tails in the scaling function. Besides its simplicity, this model describes the neutrino data as reasonably well as other more sophisticated nuclear models.


title: A Bayesian Framework for Assessing the Strength Distribution of Composite Structures with Random Defects

abstract: This paper presents a novel stochastic framework to quantify the knock down in strength from out-of-plane wrinkles at the coupon level. The key innovation is a Markov Chain Monte Carlo algorithm which rigorously derives the stochastic distribution of wrinkle defects directly informed from image data of defects. The approach significantly reduces uncertainty in the parameterization of stochastic numerical studies on the effects of defects. To demonstrate our methodology, we present an original stochastic study to determine the distribution of strength of corner bend samples with random out-plane wrinkle defects. The defects are parameterized by stochastic random fields defined using Karhunen-Lo\'{e}ve (KL) modes. The distribution of KL coefficients are inferred from misalignment data extracted from B-Scan data using a modified version of Multiple Field Image Analysis. The strength distribution is estimated, by embedding wrinkles into high fidelity FE simulations using the high performance toolbox 'dune-composites' from which we observe severe knockdowns of $74\%$ with a probability of $1/200$. Supported by the literature our results highlight the strong correlation between maximum misalignment and knockdown in coupon strength. This observations allows us to define a surrogate model providing fast assessment of predicted strength informed from stochastic simulations utilizing both observed wrinkle data and high fidelity finite element models.


title: Specialty-Aware Task Assignment in Spatial Crowdsourcing

abstract: With the rapid development of Mobile Internet, spatial crowdsourcing is gaining more and more attention from both academia and industry. In spatial crowdsourcing, spatial tasks are sent to workers based on their locations. A wide kind of tasks in spatial crowdsourcing are specialty-aware, which are complex and need to be completed by workers with different skills collaboratively. Existing studies on specialty-aware spatial crowdsourcing assume that each worker has a united charge when performing different tasks, no matter how many skills of her/him are used to complete the task, which is not fair and practical. In this paper, we study the problem of specialty-aware task assignment in spatial crowdsourcing, where each worker has fine-grained charge for each of their skills, and the goal is to maximize the total number of completed tasks based on tasks' budget and requirements on particular skills. The problem is proven to be NP-hard. Thus, we propose two efficient heuristics to solve the problem. Experiments on both synthetic and real datasets demonstrate the effectiveness and efficiency of our solutions.


title: Density Functional Studies Reveal Anomalous Lattice Behavior in Metal Cyanide, AgC8N5

abstract: We have investigated anomalous lattice behavior of metal organic framework compound AgC8N5on application of pressure and temperature using ab-initio density functional theory calculations. The van der Waals dispersion interactions are found to play an important role in structural optimization and stabilization of this compound. Our ab-initio calculations show negative linear compressibility (NLC) along the c-axis of the unit cell. The ab-initio lattice dynamics as well as the molecular dynamics simulations show large negative thermal expansion (NTE) along the c-axis. The mechanism of NLC and NTE along the c-axis of the structure is governed by the dynamics of Ag atoms in the a-b plane. The NLC along the c-axis drives the NTE along that direction.


title: Study and validation of a new "3D Calorimetry" of hot nuclei with the HIPSE event generator

abstract: In nuclear thermodynamics, the determination of the excitation energy of hot nuclei is a fundamental experimental problem. Instrumental physicists have been trying to solve this problem for several years by building the most exhaustive 4Pi detector arrays and perfecting their calorimetry techniques. In a recent paper, a proposal for a new calorimetry, called "3D calorimetry", was made. It tries to optimize the separation between the particles and fragments emitted by the Quasi-Projectile and the other possible contributions. This can be achieved by determining the experimental probability for a given nucleus of a nuclear reaction to be emitted by the Quasi-Projectile. It has been developed for the INDRA data. In the present work, we wanted to dissect and validate this new method of characterization of a hot Quasi-Projectile. So we tried to understand and control it completely to determine these limits. Using the HIPSE event generator and a software simulating the functioning of INDRA, we were able to achieve this goal and provide a quantitative estimation of the quality of the QP characterization.


title: Reliable Low Latency Wireless Communication Enabling Industrial Mobile Control and Safety Applications

abstract: Advanced industrial applications for human-machine interaction such as augmented reality support for maintenance works or mobile control panels for operating production facility set high demands on underlying wireless connectivity so- lution. Based on 802.11 standard, this paper proposes a concept of a new system, which is capable of those requirements. For increasing reliability, an agile triple-band (2.4 GHz, 5 GHz and 60 GHz) communication system can be used. In order to deal with latency and deterministic channel access, PHY and MAC techniques such as new waveforms or hybrid MAC schemes are investigated. Integration of precise localization introduces new possibilities for safety-critical applications.


title: Unravelling the role of vacancies in lead halide perovskite through electrical switching of photoluminescence

abstract: Methylammonium lead triiodide perovskite (MAPbI3) semiconductor displays outstanding photovoltaic and light emitting properties. We address the unique behavior in which a bias voltage can be used to switch on and off the luminescence of a planar film with lateral symmetric electrodes. Instead of a homogeneous suppression of emission, as in other organic semiconductor films, in MAPbI3 films a dark region advances from the positive electrode at a slow velocity of order of 1 um s-1. Here we explain the existence of the sharp front in terms of the drift of ionic vacancies that drastically reduce the radiative recombination rate in the film. Based on a dynamic transport model we show that the square reciprocal of the electrical current is linear with time in agreement with the experimental observations. This insight leads to a direct determination of the diffusion coefficient of iodine vacancies D = 6 10-9 cm2 s-1 and provides detailed information and control on the effect of ionic conduction over the electrooptical properties of hybrid perovskite materials.


title: Modelling the Time-dependent VRP through Open Data

abstract: This paper presents an open data approach to model and solve the vehicle routing problem with time-dependent travel times (TDVRP). The proposed model is based on a multi-layer matrix composed of travel times, replacing the traditional distance matrix. Online cartography services are queried in order to build this matrix. Travel times are obtained for every step in the time discretization. Thus, the model integrates the fact that the travel time between two points is modified during the time horizon. This model is applied to a medium-sized problem in the urban area of Paris using an enhanced Greedy Randomized Adaptive Search Procedure (GRASP). This work intends to build on the current state of the art by proposing a straightforward and open-access method to model and solve the VRP with traffic variability.


title: Affine processes beyond stochastic continuity

abstract: In this paper we study time-inhomogeneous affine processes beyond the common assumption of stochastic continuity. In this setting times of jumps can be both inaccessible and predictable. To this end we develop a general theory of finite dimensional affine semimartingales under very weak assumptions. We show that the corresponding semimartingale characteristics have affine form and that the conditional characteristic function can be represented with solutions to measure differential equations of Riccati type. We prove existence of affine Markov processes and affine semimartingales under mild conditions and elaborate on examples and applications including affine processes in discrete time.


title: Cost sensitivity of optimal sector-coupled district heating production systems

abstract: Goals to reduce carbon emissions and changing electricity prices due to increasing penetrations of wind power generation affect the planning and operation of district heating production systems. Through extensive multivariate sensitivity analysis, this study estimates the robustness of future cost-optimal heat production systems under changing electricity prices, fuel cost and investment cost. Optimal production capacities are installed choosing from a range of well-established production and storage technologies including boilers, combined heat and power (CHP) units, power-to-heat technologies and heat storages. The optimal heat production system is characterized in three different electricity pricing scenarios: Historical, wind power dominated and demand dominated. Coal CHP, large heat pumps and heat storages dominate the optimal system if fossil fuels are allowed. Heat pumps and storages take over if fossil fuels are excluded. The capacity allocation between CHP and heat pumps is highly dependent on cost assumptions in the fossil fuel scenario, but the optimal capacities become much more robust if fossil fuels are not included. System cost becomes less robust in a fossil free scenario. If the electricity pricing is dominated by wind power generation or by the electricity demand, heat pumps become more favorable compared to cogeneration units. The need for heat storage more than doubles, if fossil fuels are not included, as the heating system becomes more closely coupled to the electricity system.


title: Cohomology of ideals in elliptic surface singularities

abstract: We introduce the the normal reduction number of two-dimensional normal singularities and prove that elliptic singularity has normal reduction number two. We also prove that for a two-dimensional normal singularity which is not rational, it is Gorenstein and its maximal ideal is a $p_g$-ideal if and only if it is a maximally elliptic singularity of degree $1$.


title: Decoherence in the quantum Ising model with transverse dissipative interaction in the strong coupling regime

abstract: We study the decoherence dynamics of a quantum Ising lattice of finite size with a transverse dissipative interaction, namely the coupling with the bath is assumed perpendicular to the direction of the spins interaction and parallel to the external transverse magnetic field. In the limit of small transverse field, the eigenstates and spectrum are obtained by a strong coupling expansion, from which we derive the Lindblad equation in the Markovian limit. At temperature lower than the energy gap and for weak dissipation, the decoherence dynamics can be restricted to take only the two degenerate ground states and the first excited subspace into account. The latter is formed by pairs of topological excitations (domain walls or kinks), which are quantum delocalized along the chain due to the small magnetic field. We find that some of these excited states form a relaxation-free subspace, i.e. they do not decay to the ground states. We also discuss the decoherence dynamics for an initial state formed by a quantum superposition of the two degenerate ground states corresponding to the orthogonal classical, ferromagnetic states.


title: Generalizations of some results about the regularity properties of an additive representation function

abstract: Let $A = \{a_{1},a_{2},\dots{}\}$ $(a_{1} < a_{2} < \dots{})$ be an infinite sequence of nonnegative integers, and let $R_{A,2}(n)$ denote the number of solutions of $a_{x}+a_{y}=n$ $(a_{x},a_{y}\in A)$. P. Erd\H{o}s, A. S\'ark\"ozy and V. T. S\'os proved that if $\lim_{N\to\infty}\frac{B(A,N)}{\sqrt{N}}=+\infty$ then $|\Delta_{1}(R_{A,2}(n))|$ cannot be bounded, where $B(A,N)$ denotes the number of blocks formed by consecutive integers in $A$ up to $N$ and $\Delta_{l}$ denotes the $l$-th difference. Their result was extended to $\Delta_{l}(R_{A,2}(n))$ for any fixed $l\ge2$. In this paper we give further generalizations of this problem.


title: Evidence for existence of Functional Monoclinic Phase in Sodium Niobate based Solid Solution by Powder Neutron Diffraction

abstract: We have carried out systematic temperature-dependent neutron diffraction measurements in conjunction with dielectric spectroscopy from 6 to 300 K for sodium niobate based compounds (1-x) NaNbO3 -xBaTiO3 (NNBTx). The dielectric constant is measured both as a function of temperature and frequency. It shows an anomaly at different temperatures in cooling and heating cycles and exhibits a large thermal hysteresis of 150 K for the composition x=0.03. The dielectric constant is found to be dispersive in nature and suggests a relaxor ferroelectric behavior. In order to explore structural changes as a function of temperature, we analyzed the powder neutron diffraction data for the composition x=0.03 and 0.05, respectively. Drastic changes are observed in the powder profiles near 30.6{\deg}, 32.1{\deg} and 34.6{\deg} in the diffraction pattern below 200 K during cooling and above 190 K in heating cycles, respectively.The disappearance of superlattice reflection and splitting in main perovskite peaks provide a signature for structural phase transition. We observed stabilization of a monoclinic phase (Cc) at low temperature. This monoclinic phase is believed to provide a flexible polarization rotation and considered to be directly linked to the high performance piezoelectricity in materials. The thermal hysteresis for composition x=0.03 is larger than x=0.05. This suggests that addition of BaTiO3 in NaNbO3 suppresses the thermal hysteresis. It is also observed that the structural phase transition temperature decreases on increasing dopant concentration.


title: Bound entangled states fit for robust experimental verification

abstract: Preparing and certifying bound entangled states in the laboratory is an intrinsically hard task, due to both the fact that they typically form narrow regions in the state space, and that a certificate requires a tomographic reconstruction of the density matrix. Indeed, the previous experiments that have reported the preparation of a bound entangled state relied on such tomographic reconstruction techniques. However, the reliability of these results crucially depends on the extra assumption of an unbiased reconstruction. We propose an alternative method for certifying the bound entangled character of a quantum state that leads to a rigorous claim within a desired statistical significance, while bypassing a full reconstruction of the state. The method is comprised by a search for bound entangled states that are robust for experimental verification, and a hypothesis test tailored for the detection of bound entanglement that is naturally equipped with a measure of statistical significance. We apply our method to families of states of $3\times 3$ and $4\times 4$ systems, and find that the experimental certification of bound entangled states is well within reach.


title: Ring-shaped fractional quantum Hall liquids with hard-wall potentials

abstract: We study the physics of $\nu=1/2$ bosonic fractional quantum Hall droplets confined in a ring-shaped region delimited by two concentric cylindrically symmetric hard-wall potentials. Trial wave functions based on an extension of the Jack polynomial formalism including two different chiral edges are proposed and validated for a wide range of confinement potentials in terms of their excellent overlap with the eigenstates numerically found by exact diagonalization. In the presence of a single repulsive potential centered in the origin, a recursive structure in the many-body spectra and a massively degenerate ground state manifold are found. The addition of a second hard-wall potential confining the fractional quantum Hall droplet from the outside leads to a non-degenerate ground state containing a well defined number of quasiholes at the center and, for suitable potential parameters, to a clear organization of the excitations on the two edges. The utility of this ring-shaped configuration in view of theoretical and experimental studies of subtle aspects of fractional quantum Hall physics is outlined.


title: Unique continuation for many-body Schr\"odinger operators and the Hohenberg-Kohn theorem

abstract: We prove the strong unique continuation property for many-body Schr\"odinger operators with an external potential and an interaction potential both in $L^p_{\rm loc}(\mathbb{R}^d)$, where $p > \max(2d/3,2)$, independently of the number of particles. With the same assumptions, we obtain the Hohenberg-Kohn theorem, which is one of the most fundamental results in Density Functional Theory.


title: Moments and convex optimization for analysis and control of nonlinear partial differential equations

abstract: This work presents a convex-optimization-based framework for analysis and control of nonlinear partial differential equations. The approach uses a particular weak embedding of the nonlinear PDE, resulting in a linear equation in the space of Borel measures. This equation is then used as a constraint of an infinite-dimensional linear programming problem (LP). This LP is then approximated by a hierarchy of convex, finite-dimensional, semidefinite programming problems (SDPs). In the case of analysis of uncontrolled PDEs, the solutions to these SDPs provide bounds on a specified, possibly nonlinear, functional of the solutions to the PDE; in the case of PDE control, the solutions to these SDPs provide bounds on the optimal value of a given optimal control problem as well as suboptimal feedback controllers. The entire approach is based purely on convex optimization and does not rely on spatio-temporal gridding, even though the PDE addressed can be fully nonlinear. The approach is applicable to a very broad class nonlinear PDEs with polynomial data. Computational complexity is analyzed and several complexity reduction procedures are described. Numerical examples demonstrate the approach.


title: On the Post Selection Inference constant under Restricted Isometry Properties

abstract: Uniformly valid confidence intervals post model selection in regression can be constructed based on Post-Selection Inference (PoSI) constants. PoSI constants are minimal for orthogonal design matrices, and can be upper bounded in function of the sparsity of the set of models under consideration, for generic design matrices. In order to improve on these generic sparse upper bounds, we consider design matrices satisfying a Restricted Isometry Property (RIP) condition. We provide a new upper bound on the PoSI constant in this setting. This upper bound is an explicit function of the RIP constant of the design matrix, thereby giving an interpolation between the orthogonal setting and the generic sparse setting. We show that this upper bound is asymptotically optimal in many settings by constructing a matching lower bound.


title: On some consequences of a theorem of J. Ludwig

abstract: We prove some qualitative results about the $p$-adic Jacquet--Langlands correspondence defined by Scholze, in the $GL(2,Q_p)$, residually reducible case, by using a vanishing theorem proved by Judith Ludwig. In particular, we show that in the cases under consideration the $p$-adic Jacquet--Langlands correspondence can also deal with principal series representations in a non-trivial way, unlike its classical counterpart.


title: A mixed finite element method for nearly incompressible multiple-network poroelasticity

abstract: In this paper, we present and analyze a new mixed finite element formulation of a general family of quasi-static multiple-network poroelasticity (MPET) equations. The MPET equations describe flow and deformation in an elastic porous medium that is permeated by multiple fluid networks of differing characteristics. As such, the MPET equations represent a generalization of Biot's equations, and numerical discretizations of the MPET equations face similar challenges. Here, we focus on the nearly incompressible case for which standard mixed finite element discretizations of the MPET equations perform poorly. Instead, we propose a new mixed finite element formulation based on introducing an additional total pressure variable. By presenting energy estimates for the continuous solutions and a priori error estimates for a family of compatible semi-discretizations, we show that this formulation is robust in the limits of incompressibility, vanishing storage coefficients, and vanishing transfer between networks. These theoretical results are corroborated by numerical experiments. Our primary interest in the MPET equations stems from the use of these equations in modelling interactions between biological fluids and tissues in physiological settings. So, we additionally present physiologically realistic numerical results for blood and tissue fluid flow interactions in the human brain.


title: The Mpemba effect in spin glasses is a persistent memory effect

abstract: The Mpemba effect occurs when a hot system cools faster than an initially colder one, when both are refrigerated in the same thermal reservoir. Using the custom built supercomputer Janus II, we study the Mpemba effect in spin glasses and show that it is a non-equilibrium process, governed by the coherence length \xi of the system. The effect occurs when the bath temperature lies in the glassy phase, but it is not necessary for the thermal protocol to cross the critical temperature. In fact, the Mpemba effect follows from a strong relationship between the internal energy and \xi that turns out to be a sure-tell sign of being in the glassy phase. Thus, the Mpemba effect presents itself as an intriguing new avenue for the experimental study of the coherence length in supercooled liquids and other glass formers.


title: Charged string loops in Reissner-Nordstr\"{o}m black hole background

abstract: We study the motion of current carrying charged string loops in the Reissner-Nordstr\"{o}m black hole background combining the gravitational and electromagnetic field. Introducing new electromagnetic interaction between central charge and charged string loop makes the string loop equations of motion to be non-integrable even in the flat spacetime limit, but it can be governed by an effective potential even in the black hole background. We classify different types of the string loop trajectories using effective potential approach, and we compare the innermost stable string loop positions with loci of the charged particle innermost stable orbits. We examine string loop small oscillations around minima of the string loop effective potential, and we plot radial profiles of the string loop oscillation frequencies for both the radial and vertical modes. We construct charged string loop quasi-periodic oscillations model and we compare it with observed data from microquasars GRO 1655-40, XTE 1550-564, and GRS 1915+105. We also study the acceleration of current carrying string loops along the vertical axis and the string loop ejection from RN black hole neighbourhood, taking also into account the electromagnetic interaction.


title: On the cluster admission problem for cloud computing

abstract: Cloud computing providers face the problem of matching heterogeneous customer workloads to resources that will serve them. This is particularly challenging if customers, who are already running a job on a cluster, scale their resource usage up and down over time. The provider therefore has to continuously decide whether she can add additional workloads to a given cluster or if doing so would impact existing workloads' ability to scale. Currently, this is often done using simple threshold policies to reserve large parts of each cluster, which leads to low efficiency (i.e., low average utilization of the cluster). We propose more sophisticated policies for controlling admission to a cluster and demonstrate that they significantly increase cluster utilization. We first introduce the cluster admission problem and formalize it as a constrained Partially Observable Markov Decision Process (POMDP). As it is infeasible to solve the POMDP optimally, we then systematically design admission policies that estimate moments of each workload's distribution of future resource usage. Via extensive simulations grounded in a trace from Microsoft Azure, we show that our admission policies lead to a substantial improvement over the simple threshold policy. We then show that substantial further gains are possible if high-quality information is available about arriving workloads. Based on this, we propose an information elicitation approach to incentivize users to provide this information and simulate its effects.


title: Centering Koebe polyhedra via M\"obius transformations

abstract: A variant of the Circle Packing Theorem states that the combinatorial class of any convex polyhedron contains elements midscribed to the unit sphere centered at the origin, and that these representatives are unique up to M\"obius transformations of the sphere. Motivated by this result, various papers investigate the problem of centering spherical configurations under M\"obius transformations. In particular, Springborn proved that for any discrete point set on the sphere there is a M\"obius transformation that maps it into a set whose barycenter is the origin, which implies that the combinatorial class of any convex polyhedron contains an element midsribed to a sphere with the additional property that the barycenter of the points of tangency is the center of the sphere. This result was strengthened by Baden, Krane and Kazhdan who showed that the same idea works for any reasonably nice measure defined on the sphere. The aim of the paper is to show that Springborn's statement remains true if we replace the barycenter of the tangency points by many other polyhedron centers. The proof is based on the investigation of the topological properties of the integral curves of certain vector fields defined in hyperbolic space. We also show that most centers of Koebe polyhedra cannot be obtained as the center of a suitable measure defined on the sphere.


title: MobileFaceNets: Efficient CNNs for Accurate Real-Time Face Verification on Mobile Devices

abstract: We present a class of extremely efficient CNN models, MobileFaceNets, which use less than 1 million parameters and are specifically tailored for high-accuracy real-time face verification on mobile and embedded devices. We first make a simple analysis on the weakness of common mobile networks for face verification. The weakness has been well overcome by our specifically designed MobileFaceNets. Under the same experimental conditions, our MobileFaceNets achieve significantly superior accuracy as well as more than 2 times actual speedup over MobileNetV2. After trained by ArcFace loss on the refined MS-Celeb-1M, our single MobileFaceNet of 4.0MB size achieves 99.55% accuracy on LFW and 92.59% TAR@FAR1e-6 on MegaFace, which is even comparable to state-of-the-art big CNN models of hundreds MB size. The fastest one of MobileFaceNets has an actual inference time of 18 milliseconds on a mobile phone. For face verification, MobileFaceNets achieve significantly improved efficiency over previous state-of-the-art mobile CNNs.


title: Redox reaction enhanced Schottky contact at a \LNO{}(001)/Al interface

abstract: Emergent phenomena at interfaces between oxides and metals can appear due to charge transfer and mass transport that modify the bulk properties. By coating the metallic oxide LaNiO$_3$ by aluminium, we fabricated a junction exhibiting a diode-like behaviour. At the equilibrium, the interface is insulating. The metallic behaviour can be recovered by applying a voltage drop across the junction in one polarity only. The electrical properties in direct and reverse bias are investigated. The observed electro-resistive effect rises up to $10^5$ \% and can be interpreted in terms of (i) a spontaneous redox reaction occurring at the interface and (ii) its reversal induced by charge injection in direct bias.


title: Optimal Sorting with Persistent Comparison Errors

abstract: We consider the problem of sorting $n$ elements in the case of \emph{persistent} comparison errors. In this model (Braverman and Mossel, SODA'08), each comparison between two elements can be wrong with some fixed (small) probability $p$, and \emph{comparisons cannot be repeated}. Sorting perfectly in this model is impossible, and the objective is to minimize the \emph{dislocation} of each element in the output sequence, that is, the difference between its true rank and its position. Existing lower bounds for this problem show that no algorithm can guarantee, with high probability, \emph{maximum dislocation} and \emph{total dislocation} better than $\Omega(\log n)$ and $\Omega(n)$, respectively, regardless of its running time. In this paper, we present the first \emph{$O(n\log n)$-time} sorting algorithm that guarantees both \emph{$O(\log n)$ maximum dislocation} and \emph{$O(n)$ total dislocation} with high probability. Besides improving over the previous state-of-the art algorithms -- the best known algorithm had running time $\tilde{O}(n^{3/2})$ -- our result indicates that comparison errors do not make the problem computationally more difficult: a sequence with the best possible dislocation can be obtained in $O(n\log n)$ time and, even without comparison errors, $\Omega(n\log n)$ time is necessary to guarantee such dislocation bounds. In order to achieve this optimal result, we solve two sub-problems, and the respective methods have their own merits for further application. One is how to locate a position in which to insert an element in an almost-sorted sequence having $O(\log n)$ maximum dislocation in such a way that the dislocation of the resulting sequence will still be $O(\log n)$. The other is how to simultaneously insert $m$ elements into an almost sorted sequence of $m$ different elements, such that the resulting sequence of $2m$ elements remains almost sorted.


title: Algorithmic construction of local models for entangled quantum states: optimization for two-qubit states

abstract: The correlations of certain entangled quantum states can be fully reproduced via a local model. We discuss in detail the practical implementation of an algorithm for constructing local models for entangled states, recently introduced by Hirsch et al. [Phys. Rev. Lett. 117, 190402 (2016)] and Cavalcanti et al. [Phys. Rev. Lett. 117, 190401 (2016)]. The method allows one to construct both local hidden state (LHS) and local hidden variable (LHV) models, and can be applied to arbitrary entangled states in principle. Here we develop an improved implementation of the algorithm, discussing the optimization of the free parameters. For the case of two-qubit states, we design a ready-to-use optimized procedure. This allows us to construct LHS models (for projective measurements) that are almost optimal, as we show for Bell diagonal states, for which the optimal model has recently been derived. Finally, we show how to construct fully analytical local models, based on the output of the convex optimization procedure.


title: Influence of the Hall-bar geometry on harmonic Hall voltage measurements of spin-orbit torques

abstract: Harmonic Hall voltage measurements are a wide-spread quantitative technique for the measurement of spin-orbit induced effective fields in heavy-metal / ferromagnet heterostructures. In the vicinity of the voltage pickup lines in the Hall bar, the current is inhomogeneous, which leads to a hitherto not quantified reduction of the effective fields and derived quantities, such as the spin Hall angle or the spin Hall conductivity. Here we present a thorough analysis of the influence of the aspect ratio of the voltage pickup lines to current channel widths on the apparent spin Hall angle. Experiments were performed with Hall bars with a broad range of aspect ratios and a substantial reduction of the apparent spin Hall angle is already seen in Hall crosses with an aspect ratio of 1:1. Our experimental results are confirmed by finite-element simulations of the current flow.


title: Dynamic Monte Carlo algorithm for out-of-equilibrium processes in colloidal dispersions

abstract: Colloids have a striking relevance in a wide spectrum of industrial formulations, spanning from personal care products to protective paints. Their behaviour can be easily influenced by extremely weak forces, which disturb their thermodynamic equilibrium and dramatically determine their performance. Motivated by the impact of colloidal dispersions in fundamental science and formulation engineering, we have designed an efficient Dynamic Monte Carlo (DMC) approach to mimic their out-of-equilibrium dynamics. Our recent theory, which provided a rigorous method to reproduce the Brownian motion of colloids by MC simulations, is here generalised to reproduce the Brownian motion of colloidal particles during transitory unsteady states, when their thermodynamic equilibrium is significantly modified. To this end, we investigate monodisperse and bidisperse rod-like particles in the isotropic phase and apply an external field that forces their reorientation along a common direction and induces an isotropic-to-nematic phase transition. We also study the behaviour of the system once the external field is removed. Our simulations are in excellent quantitative agreement with Brownian Dynamics simulations when the DMC results are rescaled with a time-dependent acceptance ratio, which depends on the strength of the applied field. Further generalising our DMC algorithm to processes displaying significant density fluctuations, such as nucleation and growth, where the MC acceptance ratio is expected to depend on both time and space, is currently under investigation.


title: Alteration in contact line dynamics through competition between thermocapillary and electrothermal effects

abstract: The contact line dynamics of a thermal field assisted flow configuration of two immiscible fluids is considered in a narrow thermofluidic pathway. The surfaces of the channel are wetted with predesigned wettabilities and interdigitated electrodes are mounted on the substrates to generate non-uniform electric field. In this study, the interplay of thermocapillary and electrothermal forces on interfacial dynamics are studied in detail. The former is caused by surface tension gradients while the latter results from gradients in permittivity and electrical conductivity. Our investigations reveal that the relative strength of interfacial forces and electrothermal forces and their interactions can be effectively used to control the capillary filling time as well as the flow dynamics. For same strength of thermocapillary and electrothermal forces (characterized by individual dimensionless numbers) electrothermal forces dominate over thermocapillary forces. However, interfacial forces at some wettabilities dominate over electrothermal forces and set the fluid motion toward the entry of the channel.


title: Robust And Scalable Learning Of Complex Dataset Topologies Via Elpigraph

abstract: Large datasets represented by multidimensional data point clouds often possess non-trivial distributions with branching trajectories and excluded regions, with the recent single-cell transcriptomic studies of developing embryo being notable examples. Reducing the complexity and producing compact and interpretable representations of such data remains a challenging task. Most of the existing computational methods are based on exploring the local data point neighbourhood relations, a step that can perform poorly in the case of multidimensional and noisy data. Here we present ElPiGraph, a scalable and robust method for approximation of datasets with complex structures which does not require computing the complete data distance matrix or the data point neighbourhood graph. This method is able to withstand high levels of noise and is capable of approximating complex topologies via principal graph ensembles that can be combined into a consensus principal graph. ElPiGraph deals efficiently with large and complex datasets in various fields from biology, where it can be used to infer gene dynamics from single-cell RNA-Seq, to astronomy, where it can be used to explore complex structures in the distribution of galaxies.


title: Automatic Stance Detection Using End-to-End Memory Networks

abstract: We present a novel end-to-end memory network for stance detection, which jointly (i) predicts whether a document agrees, disagrees, discusses or is unrelated with respect to a given target claim, and also (ii) extracts snippets of evidence for that prediction. The network operates at the paragraph level and integrates convolutional and recurrent neural networks, as well as a similarity matrix as part of the overall architecture. The experimental evaluation on the Fake News Challenge dataset shows state-of-the-art performance.


title: Alternating current driven interfacial dynamics of a binary fluid in a patterned fluidic environment modulated by electrothermal effects

abstract: In this paper, we depict interfacial electro-thermo-chemical-hydrodynamics of two immiscible fluids in a microchannel with substrates patterned by ribs. The motion of the binary fluids is set by an alternating current electrothermal (ACET) mechanism. Our investigations, based on free-energy-based phase field formalism, reveal that the capillary filling dynamics and the contact line motion are strong functions of the wetting characteristics and geometric parameters of the patterned ribs. Modulation of these parameters alters the surface energy over the rib surface, which, in turn, facilitates the interaction between interfacial tension and driving electrothermal forces. The competition between two forces may speed up or slow down the fluid-fluid-solid contact line motion over the rib surface. At the edges of the ribs, the interface can halt for a sufficiently long time owing to contact line pinning. Alteration in positions of the rib between the electrode pairs changes the electric field strength and thereby bulk ACET forces across the contact line. Further, by suitable arrangement of the ribs, various intricate shapes of the liquid front can be achieved over a short distance, which can have significant implications in the morphological control of microscale flows.


title: Approaches for Enriching and Improving Textual Knowledge Bases

abstract: Verifiability is one of the core editing principles in Wikipedia, where editors are encouraged to provide citations for the added statements. Statements can be any arbitrary piece of text, ranging from a sentence up to a paragraph. However, in many cases, citations are either outdated, missing, or link to non-existing references (e.g. dead URL, moved content etc.). In total, 20\% of the cases such citations refer to news articles and represent the second most cited source. Even in cases where citations are provided, there are no explicit indicators for the span of a citation for a given piece of text. In addition to issues related with the verifiability principle, many Wikipedia entity pages are incomplete, with relevant information that is already available in online news sources missing. Even for the already existing citations, there is often a delay between the news publication time and the reference time. In this thesis, we address the aforementioned issues and propose automated approaches that enforce the verifiability principle in Wikipedia, and suggest relevant and missing news references for further enriching Wikipedia entity pages.


title: From Charge to Orbital Ordered Metal-Insulator Transition in Alkaline-Earth Ferrites

abstract: While CaFeO$_3$ exhibits upon cooling a metal-insulator transition linked to charge ordering, SrFeO$_3$ and BaFeO$_3$ keep metallic behaviors down to very low temperatures. Moreover, alkaline-earth ferrites do not seem prone to orbital ordering in spite of the d$^4$ formal occupancy of Fe$^{4+}$. Here, from first-principles simulations, we show that the metal-insulator transition of CaFeO$_3$ is structurally triggered by oxygen rotation motions as in rare-earth nickelates. This not only further clarifies why SrFeO$_3$ and BaFeO$_3$ remain metallic but allows us to predict that an insulating charge-ordered phase can be induced in SrFeO$_3$ from appropriate engineering of oxygen rotation motions. Going further, we unveil the possibility to switch from the usual charge-ordered to an orbital-ordered insulating ground state under moderate tensile strain in CaFeO$_3$ thin films. We rationalize the competition between charge and orbital orderings, highlighting alternative possible strategies to produce such a change of ground state, also relevant to manganite and nickelate compounds.


title: Edge Dynamics from the Path Integral: Maxwell and Yang-Mills

abstract: We derive an action describing edge dynamics on interfaces for gauge theories (Maxwell and Yang-Mills) using the path integral. The canonical structure of the edge theory is deduced and the thermal partition function calculated. We test the edge action in several applications. For Maxwell in Rindler space, we recover earlier results, now embedded in a dynamical canonical framework. A second application is 2d Yang-Mills theory where the boundary action becomes just the particle-on-a-group action. Correlators of boundary-anchored Wilson lines in 2d Yang-Mills are matched with, and identified as correlators of bilocal operators in the particle-on-a-group edge model.


title: Cosmic-ray fermion decay through tau-antitau emission with Lorentz violation

abstract: We study CPT and Lorentz violation in the tau-lepton sector of the Standard Model in the context of the Standard-Model Extension, described by a coefficient which is thus far unbounded by experiment. We show that any non-zero value of this coefficient implies that, for sufficiently large energies, standard-model fermions become unstable against decay due to the emission of a pair of tau-antitau leptons. We calculate the induced fermion energy-loss rate and we deduce the first limit on the Lorentz- and CPT-violating coefficient.


title: ClaimRank: Detecting Check-Worthy Claims in Arabic and English

abstract: We present ClaimRank, an online system for detecting check-worthy claims. While originally trained on political debates, the system can work for any kind of text, e.g., interviews or regular news articles. Its aim is to facilitate manual fact-checking efforts by prioritizing the claims that fact-checkers should consider first. ClaimRank supports both Arabic and English, it is trained on actual annotations from nine reputable fact-checking organizations (PolitiFact, FactCheck, ABC, CNN, NPR, NYT, Chicago Tribune, The Guardian, and Washington Post), and thus it can mimic the claim selection strategies for each and any of them, as well as for the union of them all.


title: Catalytic flow with a coupled Finite Difference -- Lattice Boltzmann scheme

abstract: Many catalyst devices employ flow through porous structures, which leads to a complex macroscopic mass and heat transport. To unravel the detailed dynamics of the reactive gas flow, we present an all-encompassing model, consisting of thermal lattice Boltzmann model by Kang et al., used to solve the heat and mass transport in the gas domain, coupled to a finite differences solver for the heat equation in the solid via thermal reactive boundary conditions for a consistent treatment of the reaction enthalpy. The chemical surface reactions are incorporated in a flexible fashion through flux boundary conditions at the gas-solid interface. We scrutinize the thermal FD-LBM by benchmarking the macroscopic transport in the gas domain as well as conservation of the enthalpy across the solid-gas interface. We exemplify the applicability of our model by simulating the reactive gas flow through a microporous material catalysing the so-called water-gas-shift reaction.


title: On the modular completion of certain generating functions

abstract: We complete several generating functions to non-holomorphic modular forms in two variables. For instance, we consider the generating function of a natural family of meromorphic modular forms of weight two. We then show that this generating series can be completed to a smooth, non-holomorphic modular form of weights 3/2 and two. Moreover, it turns out that the same function is also a modular completion of the generating function of weakly holomorphic modular forms of weight 3/2, which prominently appear in work of Zagier on traces of singular moduli.


title: 3D modelling of HCO$^+$ and its isotopologues in the low-mass proto-star IRAS16293$-$2422

abstract: Ions and electrons play an important role in various stages of the star formation process. By following the magnetic field of their environment and interacting with neutral species, they slow down the gravitational collapse of the proto-star envelope. This process (known as ambipolar diffusion) depends on the ionisation degree, which can be derived from the \hco abundance. We present a study of \hco and its isotopologues (H$^{13}$CO$^+$, HC$^{18}$O$^+$, DCO$^+$, and H$^{13}$CO$^+$) in the low-mass proto-star IRAS16293$-$2422. The structure of this object is complex, and the HCO$^+$ emission arises from the contribution of a young NW-SE outflow, the proto-stellar envelope and the foreground cloud. We aim at constraining the physical parameters of these structures using all the observed transitions. For the young NW-SE outflow, we derive $T_{\rm kin}=180-220$ K and $n({\rm H_2})=(4-7)\times10^6$ cm$^{-3}$ with an HCO$^+$ abundance of $(3-5)\times10^{-9}$. Following previous studies, we demonstrate that the presence of a cold ($T_{\rm kin}$$\leqslant$30 K) and low density ($n({\rm H_2})\leqslant1\times10^4$ cm$^{-3}$) foreground cloud is also necessary to reproduce the observed line profiles. We have used the gas-grain chemical code \textsc{nautilus} to derive the HCO$^+$ abundance profile across the envelope and the external regions where X(HCO$^+$)$\gtrsim1\times10^{-9}$ dominate the envelope emission. From this, we derive an ionisation degree of $10^{-8.9}\,\lesssim\,x(e)\,\lesssim\,10^{-7.9}$. The ambipolar diffusion timescale is $\sim$5 times the free-fall timescale, indicating that the magnetic field starts to support the source against gravitational collapse and the magnetic field strength is estimated to be $6-46 \mu$G.


title: Single-loop realization of arbitrary non-adiabatic holonomic single-qubit quantum gates in a superconducting circuit

abstract: Geometric phases are noise-resilient, and thus provide a robust way towards high fidelity quantum manipulation. Here we experimentally demonstrate arbitrary non-adiabatic holonomic single-qubit quantum gates for both a superconducting transmon qubit and a microwave cavity in a single-loop way. In both cases, an auxiliary state is utilized, and two resonant microwave drives are simultaneously applied with well-controlled but varying amplitudes and phases for the arbitrariness of the gate. The resulting gates on the transmon qubit achieve a fidelity of 0.996 characterized by randomized benchmarking and the ones on the cavity show an averaged fidelity of 0.978 based on a full quantum process tomography. In principle, a nontrivial two-qubit holonomic gate between the qubit and the cavity can also be realized based on our presented experimental scheme. Our experiment thus paves the way towards practical non-adiabatic holonomic quantum manipulation with both qubits and cavities in a superconducting circuit.


title: Characterising Transient Noise in the LIGO Detectors

abstract: Data from the LIGO detectors typically contain many non-Gaussian noise transients which arise due to instrumental and environmental conditions. These non-Gaussian transients can be an issue for the modelled and unmodelled transient gravitational-wave searches, as they can mask or mimic a true signal. Data quality can change quite rapidly, making it imperative to track and find new sources of transient noise so that data are minimally contaminated. Several examples of transient noise and the tools used to track them are presented. These instances serve to highlight the diverse range of noise sources present at the LIGO detectors during their second observing run.


title: Calculating hard probe radiative energy loss beyond soft-gluon approximation: Examining the approximation validity

abstract: The soft-gluon approximation, which implies that radiated gluon carries away a small fraction of initial parton's energy, is a commonly used assumption in calculating radiative energy loss of high momentum partons traversing QGP created at RHIC and LHC. While soft-gluon approximation is convenient, different theoretical approaches reported significant radiative energy loss of high $p_{\perp}$ partons, thereby questioning its validity. To address this issue, we relaxed the soft-gluon approximation within DGLV formalism. The obtained analytical expressions are quite distinct compared to the soft-gluon case. However, numerical results for the first order in opacity fractional energy loss lead to small differences in predictions for the two cases. The difference in the predicted number of radiated gluons is also small. Moreover, the effect on these two variables has an opposite sign, which when combined results in almost overlapping suppression predictions. Therefore, our results imply that, contrary to the commonly held doubts, the soft-gluon approximation in practice works surprisingly well in DGLV formalism. Finally, we also discuss generalizing this relaxation in the dynamical QCD medium, which suggests a more general applicability of the conclusions obtained here.


title: General circular velocity relation of a test particle in a 3D gravitational potential: application to the rotation curves analysis and total mass determination of UGC 8490 and UGC 9753

abstract: In this paper we derive a novel circular velocity relation for a test particle in a 3D gravitational potential applicable to every system of curvilinear coordinates, suitable to be reduced to orthogonal form. As an illustration of the potentiality of the determined circular velocity expression we perform the rotation curves analysis of UGC 8490 and UGC 9753 and we estimate the total and dark matter mass of these two galaxies under the assumption that their respective dark matter halos have spherical, prolate and oblate spheroidal mass distributions. We employ stellar population synthesis models and the total HI density map to obtain the stellar and HI+He+metals rotation curves of both galaxies. The subtraction of the stellar plus gas rotation curves from the observed rotation curves of UGC 8490 and UGC 9753 generates the dark matter circular velocity curves of both galaxies. We fit the dark matter rotation curves of UGC 8490 and UGC 9753 through the newly established circular velocity formula specialised to the spherical, prolate and oblate spheroidal mass distributions, considering the Navarro, Frenk and White, Burkert, Di Cintio, Einasto and Stadel dark matter halos. Our principal findings are the following: globally, cored dark matter profiles Burkert and Einasto prevail over cuspy Navarro, Frenk and White and Di Cintio. Also, spherical/oblate dark matter models fit better the dark matter rotation curves of both galaxies than prolate dark matter halos.


title: On time-dependent Besov vector fields and the regularity of their flows

abstract: We show ODE-closedness for a large class of Besov spaces $\mathcal{B}^{n,\alpha,p}(\mathbb{R}^d,\mathbb{R}^d)$, where $n \geq 1,~\alpha \in (0,1],~p \in [1,\infty]$. ODE-closedness means that pointwise time-dependent $\mathcal{B}^{n,\alpha,p}$-vector fields $u$ have unique flows $\Phi_u \in \operatorname{Id} + \mathcal{B}^{n,\alpha,p}(\mathbb{R}^d,\mathbb{R}^d)$. The class of vector fields under consideration contains as a special case the class of Bochner integrable vector fields $L^1(I, \mathcal{B}^{n,\alpha,p}(\mathbb{R}^d,\mathbb{R}^d))$. In addition, for $n \geq 2$ and $\alpha < \beta$, we show continuity of the flow mapping $L^1(I,\mathcal{B}^{n,\beta,p}(\mathbb{R}^d,\mathbb{R}^d)) \rightarrow C(I,\mathcal{B}^{n,\alpha,p}(\mathbb{R}^d,\mathbb{R}^d)), ~ u \mapsto \Phi_u-\operatorname{Id}$. We even get $\gamma$-H\"older continuity for any $\gamma < \beta - \alpha$.


title: Anomalous Multipole Expansion: Charge Regulation of Patchy, Inhomogeneously Charged Spherical Particles

abstract: Charge regulation is an important aspect of electrostatics in biological and colloidal systems, where the charges are generally not fixed, but depend on the environmental variables. Here, we analyze the charge regulation mechanism in patchy, inhomogeneously charged spherical particles, such as globular proteins, colloids, or viruses. Together with the multipole expansion of inhomogeneously charged spherical surfaces, the charge regulation mechanism on the level of linear approximation is shown to lead to a mixing between different multipole moments depending on their capacitance -- the response function of the charge distribution with respect to the electrostatic potential. This presents an additional anomalous feature of molecular electrostatics in the presence of ionic screening. We demonstrate the influence of charge regulation on several examples of inhomogeneously charged spherical particles, showing that it leads to significant changes in their multipole moments.


title: Chern numbers for the index surfaces of photonic crystals: conical refraction as a basis for topological materials

abstract: The classification of bandstructures by topological invariants provides a powerful tool for understanding phenomena such as the quantum Hall effect. This classification was originally developed in the context of electrons, but can also be applied to photonic crystals. In this paper we study the topological classification of the refractive index surfaces of two-dimensional photonic crystals. We consider crystals formed from birefringent materials, in which the constitutive relation provides an optical spin-orbit coupling. We show that this coupling, in conjunction with optical activity, can lead to a gapped set of index surfaces with non-zero Chern numbers. This method for designing photonic Chern insulators exploits birefringence rather than lattice structure, and does not require band crossings originating from specific lattice geometries.


title: OpenFPM: A scalable open framework for particle and particle-mesh codes on parallel computers

abstract: Scalable and efficient numerical simulations continue to gain importance, as computation is firmly established as the third pillar of discovery, alongside theory and experiment. Meanwhile, the performance of computing hardware grows through increasing heterogeneous parallelism, enabling simulations of ever more complex models. However, efficiently implementing scalable codes on heterogeneous, distributed hardware systems becomes the bottleneck. This bottleneck can be alleviated by intermediate software layers that provide higher-level abstractions closer to the problem domain, hence allowing the computational scientist to focus on the simulation. Here, we present OpenFPM, an open and scalable framework that provides an abstraction layer for numerical simulations using particles and/or meshes. OpenFPM provides transparent and scalable infrastructure for shared-memory and distributed-memory implementations of particles-only and hybrid particle-mesh simulations of both discrete and continuous models, as well as non-simulation codes. This infrastructure is complemented with portable implementations of frequently used numerical routines, as well as interfaces to third-party libraries. We present the architecture and design of OpenFPM, detail the underlying abstractions, and benchmark the framework in applications ranging from Smoothed-Particle Hydrodynamics (SPH) to Molecular Dynamics (MD), Discrete Element Methods (DEM), Vortex Methods, stencil codes, high-dimensional Monte Carlo sampling (CMA-ES), and Reaction-Diffusion solvers, comparing it to the current state of the art and existing software frameworks.


title: Ticket Coverage: Putting Test Coverage into Context

abstract: There is no metric that determines how well the implementation of a ticket has been tested. As a consequence, code changed within the context of a ticket might unintentionally remain untested and get into production. This is a major problem, because changed code is more fault-prone than unchanged code. In this paper, we introduce the metric ticket coverage which puts test coverage into the context of tickets. For each ticket, it determines the ratio of changed methods covered by automated or manual tests. We conducted an empirical study on an industrial system consisting of 650k lines of Java code and show that ticket coverage brings transparency into the test state of tickets and reveals relevant test gaps.


title: Conditional Maximum Lq-Likelihood Estimation for Regression Model with Autoregressive Error Terms

abstract: In this article, we consider the parameter estimation of regression model with pth order autoregressive (AR(p)) error term. We use the Maximum Lq-likelihood (MLq) estimation method that is proposed by Ferrari and Yang (2010a), as a robust alternative to the classical maximum likelihood (ML) estimation method to handle the outliers in the data. After exploring the MLq estimators for the parameters of interest, we provide some asymptotic properties of the resulting MLq estimators. We give a simulation study and a real data example to illustrate the performance of the new estimators over the ML estimators and observe that the MLq estimators have superiority over the ML estimators when outliers are present in the data.


title: Decoupled Pairing Amplitude and Electronic Coherence in Iron-Based Superconductors

abstract: Here we use angle-resolved photoemission spectroscopy to study superconductivity that emerges in two extreme cases, from a Fermi liquid phase (LiFeAs) and an incoherent bad-metal phase (FeTe0.55Se0.45). We find that although the electronic coherence can strongly reshape the single-particle spectral function in the superconducting state, it is decoupled from the maximum superconducting pairing amplitude, which shows a universal scaling that is valid for all FeSCs. Our observation excludes pairing scenarios in the BCS and the BEC limit for FeSCs and calls for a universal strong coupling pairing mechanism for the FeSCs.


title: Choice Revision

abstract: Choice revision is a sort of non-prioritized multiple revision, in which the agent partially accepts the new information represented by a set of sentences. We investigate the construction of choice revision based on a new approach to belief change called descriptor revision. We prove that each of two variants of choice revision based on such construction is axiomatically characterized with a set of plausible postulates, assuming that the object language is finite. Furthermore, we introduce an alternative modelling for choice revision, which is based on a type of relation on sets of sentences, named multiple believability relation. We show without assuming a finite language that choice revision constructed from such relations is axiomatically characterized with the same sets of postulates proposed for the choice revision based on descriptor revision, whenever the relations satisfy certain rationality conditions.


title: The Bond-Calculus: A Process Algebra for Complex Biological Interaction Dynamics

abstract: We present the bond-calculus, a process algebra for modelling biological and chemical systems featuring nonlinear dynamics, multiway interactions, and dynamic bonding of agents. Mathematical models based on differential equations have been instrumental in modelling and understanding the dynamics of biological systems. Quantitative process algebras aim to build higher level descriptions of biological systems, capturing the agents and interactions underlying their behaviour, and can be compiled down to a range of lower level mathematical models. The bond-calculus builds upon the work of Kwiatkowski, Banks, and Stark's continuous pi-calculus by adding a flexible multiway communication operation based on affinity patterns and general kinetic laws. We develop a compositional semantics based on vector fields and linear operators, which we use to define the time evolution of this system. This enables simulation and analysis via differential equation generation or stochastic simulation. Finally, we apply our framework to an existing biological model: Kuznetsov's classic model of tumour immune interactions.


title: An Empirical Survey on the Early Adoption of DNS Certification Authority Authorization

abstract: A new certification authority authorization (CAA) resource record for the domain name system (DNS) was standardized in 2013. Motivated by the later 2017 decision to enforce mandatory CAA checking for most certificate authorities, this paper surveys the early adoption of CAA by using an empirical sample collected from the Alexa's top-million domains. According to the results, (i) the adoption of CAA is still at a modest level; only a little below two percent of the popular domains sampled have adopted CAA. Among the domains that have adopted CAA, (ii) authorizations dealing with wildcard certificates are rare compared to conventional certificates. Interestingly, (iii) the results only partially reflect the market structure of the global certificate business. With these timely results, the paper contributes to the ongoing large-scale empirical research on the use of encryption technologies.


title: Distributed, Private, and Derandomized Allocation Algorithm for EV Charging

abstract: Efficient resource allocation is challenging when privacy of users is important. Distributed approaches have recently been used extensively to find a solution for such problems. In this work, the efficiency of distributed AIMD algorithm for allocation of subsidized goods is studied. First, a suitable utility function is assigned to each user describing the amount of satisfaction that it has from allocated resource. Then the resource allocation is defined as a total utilitarianism problem that is an optimization problem of sum of users utility functions subjected to capacity constraint. Recently, a stochastic state-dependent variant of AIMD algorithm is used for allocation of common goods among users with strictly increasing and concave utility functions. Here, the stochastic AIMD algorithm is derandomized and its efficiency is compared with the stochastic version. Moreover, the algorithm is improved to allocate subsidized goods to users with concave and non-monotone utility functions as well as users with Sigmoidal utility functions. To illustrate the effectiveness of the proposed solutions, simulation results is presented for a public renewable-energy powered charging station in which the electric vehicles (EV) compete to be recharged.


title: Why clothes don't fall apart: tension transmission in staple yarns

abstract: The problem of how staple yarns transmit tension is addressed within abstract models in which the Amontons-Coulomb friction laws yield a linear programming (LP) problem for the tensions in the fiber elements. We find there is a percolation transition such that above the percolation threshold the transmitted tension is in principle unbounded, We determine that the mean slack in the LP constraints is a suitable order parameter to characterize this supercritical state. We argue the mechanism is generic, and in practical terms corresponds to a switch from a ductile to a brittle failure mode accompanied by a significant increase in mechanical strength.


title: A study of divergence from randomness in the distribution of prime numbers within the arithmetic progressions 1+6n and 5+6n

abstract: In this article I present results from a statistical study of prime numbers that shows a behaviour that is not compatible with the thesis that they are distributed randomly. The analysis is based on studying two arithmetical progressions defined by the following polynomials: ($1+6n$, $5+6n$, $n\in{N}$) whose respective numerical sequences have the characteristic of containing all the prime numbers except $3$ and $2$. If prime numbers were distributed randomly, we would expect the two polynomials to generate the same number of primes. Instead, as the reported findings show, we note that the polynomial $5+6n$ tends to generate many more primes, and that this divergence grows progressively as more prime numbers are considered. A possible explanation for this phenomenon can be found by calculating the number of products that generate composite numbers which are expressible by the two polynomials. This analysis reveals that the number of products that generate composite numbers expressible by the polynomial $1+6n$ is $(n+1)^{ 2}$, while the number of products that generate composites expressible by the polynomial $5+6n$ is $(n+1)n$, con $n\in{N}$. As a composite number is a non-prime number, this difference incited me to analyse the distribution of prime numbers generated by the two polynomials. The results, based on studying the first (approx.) 500 million prime numbers, confirm the fact that the number of primes that can be written using the polynomial $1+6n$ is lower than the number of primes that can written using the polynomial $5+6n$, and that this divergence grows progressively with the number of primes considered.


title: An Executable Operational Semantics for Rust with the Formalization of Ownership and Borrowing

abstract: Rust is an emergent systems programming language highlighting memory safety by its Ownership and Borrowing System (OBS). The existing formal semantics for Rust only covers limited subsets of the major language features of Rust. Moreover, they formalize OBS as type systems at the language-level, which can only be used to conservatively analyze programs against the OBS invariants at compile-time. That is, they are not executable, and thus cannot be used for automated verification of runtime behavior. In this paper, we propose RustSEM, a new executable operational semantics for Rust. RustSEM covers a much larger subset of the major language features than existing semantics. Moreover, RustSEM provides an operational semantics for OBS at the memory-level, which can be used to verify the runtime behavior of Rust programs against the OBS invariants. We have implemented RustSEM in the executable semantics modeling tool K-Framework. We have evaluated the semantics correctness of RustSEM wrt. the Rust compiler using around 700 tests. In particular, we have proposed a new technique for testing semantic consistency to ensure the absence of semantic ambiguities on all possible execution selections. We have also evaluated the potential applications of RustSEM in automated runtime and formal verification for both functional and memory properties. Experimental results show that RustSEM can enhance the memory safety mechanism of Rust, as it is more powerful than OBS in detecting memory errors.


title: The Effect of Signaling Latencies and Node Refractory States on the Dynamics of Networks

abstract: We describe the construction and theoretical analysis of a framework derived from canonical neurophysiological principles that model the competing dynamics of incident signals into nodes along directed edges in a network. The framework describes the dynamics between the offset in the latencies of propagating signals, which reflect the geometry of the edges and conduction velocities, and the internal refractory dynamics and processing times of the downstream node receiving the signals. This framework naturally extends to the construction of a perceptron model that takes into account such dynamic geometric considerations. We first describe the model in detail, culminating with the model of a geometric dynamic perceptron. We then derive upper and lower bounds for a notion of optimal efficient signaling between vertex pairs based on the structure of the framework. Efficient signaling in the context of the framework we develop here means that there needs to be a temporal match between the arrival time of the signals relative to how quickly nodes can internally process signals. These bounds reflect numerical constraints on the compensation of the timing of signaling events of upstream nodes attempting to activate downstream nodes they connect into that preserve this notion of efficiency. When a mismatch between signal arrival times and the internal states of activated nodes occurs, it can cause a break down in the signaling dynamics of the network. In contrast to essentially all the current state of the art in machine learning, this work provides a theoretical foundation for machine learning and intelligence architectures based on the timing of node activations and their abilities to respond, rather than necessary changes in synaptic weights. At the same time, this work is guiding the discovery of experimentally testable new structure-function principles in the biological brain.


title: A Rigorous Analysis of Least Squares Sine Fitting Using Quantized Data: the Random Phase Case

abstract: This paper considers least-square based estimation of the amplitude and square amplitude of a quantized sine wave, done by considering random initial record phase. Using amplitude- and frequency-domain modeling techniques, it is shown that the estimator is inconsistent, biased and has a variance that may be underestimated if the simple model of quantization is applied. The effects of both sine wave offset values and additive Gaussian noise are taken into account. General estimator properties are derived, without making simplifying assumptions on the role of the quantization process, to allow assessment of measurement uncertainty, when this least-square procedure is used.


title: Regular solutions to the fractional Euler alignment system in the Besov spaces framework

abstract: We here construct (large) local and small global-in-time regular unique solutions to the fractional Euler alignment system in the whole space ${\mathbb R}^d$, in the case where the deviation of the initial density from a constant is sufficiently small. Our analysis strongly relies on the use of Besov spaces of the type $L^1(0,T;\dot B^s_{p,1})$, which allow to get time independent estimates for the density even though it satisfies a transport equation with no damping. Our choice of a functional setting is not optimal but aims at providing a transparent and accessible argumentation.


title: Revisiting Small Batch Training for Deep Neural Networks

abstract: Modern deep neural network training is typically based on mini-batch stochastic gradient optimization. While the use of large mini-batches increases the available computational parallelism, small batch training has been shown to provide improved generalization performance and allows a significantly smaller memory footprint, which might also be exploited to improve machine throughput. In this paper, we review common assumptions on learning rate scaling and training duration, as a basis for an experimental comparison of test performance for different mini-batch sizes. We adopt a learning rate that corresponds to a constant average weight update per gradient calculation (i.e., per unit cost of computation), and point out that this results in a variance of the weight updates that increases linearly with the mini-batch size $m$. The collected experimental results for the CIFAR-10, CIFAR-100 and ImageNet datasets show that increasing the mini-batch size progressively reduces the range of learning rates that provide stable convergence and acceptable test performance. On the other hand, small mini-batch sizes provide more up-to-date gradient calculations, which yields more stable and reliable training. The best performance has been consistently obtained for mini-batch sizes between $m = 2$ and $m = 32$, which contrasts with recent work advocating the use of mini-batch sizes in the thousands.