title: Adaptive Detrending to Accelerate Convolutional Gated Recurrent Unit Training for Contextual Video Recognition

abstract: Based on the progress of image recognition, video recognition has been extensively studied recently. However, most of the existing methods are focused on short-term but not long-term video recognition, called contextual video recognition. To address contextual video recognition, we use convolutional recurrent neural networks (ConvRNNs) having a rich spatio-temporal information processing capability, but ConvRNNs requires extensive computation that slows down training. In this paper, inspired by the normalization and detrending methods, we propose adaptive detrending (AD) for temporal normalization in order to accelerate the training of ConvRNNs, especially for convolutional gated recurrent unit (ConvGRU). AD removes internal covariate shift within a sequence of each neuron in recurrent neural networks (RNNs) by subtracting a trend. In the experiments for contextual recognition on ConvGRU, the results show that (1) ConvGRU clearly outperforms the feed-forward neural networks, (2) AD consistently offers a significant training acceleration and generalization improvement, and (3) AD is further improved by collaborating with the existing normalization methods.


title: Three observations on spectra of zero-nonzero patterns

abstract: Using standard techniques from combinatorics, model theory, and algebraic geometry, we prove generalized versions of several basic results in the theory of spectrally arbitrary matrix patterns. Also, we point out a counterexample to a conjecture proposed recently by McDonald and Melvin.


title: The linearization of periodic Hamiltonian systems with one degree of freedom under the Diophantine condition

abstract: In this paper we are concerned with the periodic Hamiltonian system with one degree of freedom, where the origin is a trivial solution. We assume that the corresponding linearized system at the origin is elliptic, and the characteristic exponents of the linearized system are $\pm i\omega$ with $\omega$ be a Diophantine number, moreover if the system is formally linearizable, then it is analytically linearizable. As a result, the origin is always stable in the sense of Liapunov in this case.


title: Quantum Dot at a Luttinger liquid edge

abstract: We study a system consisting of a Luttinger liquid coupled to a quantum dot on the boundary. The Luttinger liquid is expressed in terms of fermions interacting via density-density coupling and the dot is modeled as an interacting resonant level on to which the bulk fermions can tunnel. We solve the Hamiltonian exactly and construct all eigenstates. We study both the zero and finite temperature properties of the system, in particular we compute the exact dot occupation as a function of the dot energy in all parameter regimes. The system is seen to flow from weak to to strong coupling for all values of the bulk interaction, with the flow characterized by a non-perturbative Kondo scale. We identify the critical exponents at the weak and strong coupling regimes.


title: Threshold functions for small subgraphs: an analytic approach

abstract: We revisit the problem of counting the number of copies of a fixed graph in a random graph or multigraph, including the case of constrained degrees. Our approach relies heavily on analytic combinatorics and on the notion of patchwork to describe the possible overlapping of copies. This paper is a version, extended to include proofs, of the paper with the same title to be presented at the Eurocomb 2017 meeting.


title: Multicomponent exciton gas in cuprous oxide: cooling behaviour and the role of Auger decay

abstract: In this paper we present a hydrodynamic model to describe the dynamics of para- and orthoexcitons in cuprous oxide at ultralow temperatures inside a stress induced potential trap. We take into account the finite lifetime of the excitons, the excitation process and exciton-phonon as well as exciton-exciton interaction. Furthermore, we model the two-body loss mechanism assuming an Auger-like effect and compare it to an alternative explanation which relies on the formation of biexcitons. We discuss in detail the influence on the numerical results and compare the predictions to experimental data.


title: Far-Ultraviolet Observation of the Globular Cluster NGC 6397

abstract: We present an observational far-UV (FUV) and near-UV (NUV) study of the core region of the globular cluster NGC 6397. The observations were obtained with the Space Telescope Imaging Spectrograph (STIS, FUV), and the Wide Field Camera 3 (WFC3, NUV) on board the Hubble Space Telescope. Here, we focus on the UV bright stellar populations such as blue stragglers (BSs), white dwarfs (WDs) and cataclysmic variables (CVs). We present the first FUV-NUV color-magnitude diagram (CMD) for this cluster. To support our classification of the stellar populations, we compare our FUV-NUV CMD with optical data from the ACS Survey of Galactic Globular Clusters. The FUV-NUV CMD indicates 16 sources located in the WD area, and ten BSs within the 25"x 25" of the STIS FUV data. Eighteen Chandra X-ray sources are located within the FUV field of view. Thirteen of those have a NUV counterpart, of which nine sources also have a FUV counterpart. Out of those, five sources are previously suggested CVs, and indeed all five are located in the WD/CV region in our FUV-NUV CMD. Another CV only has a FUV but no NUV counterpart. We also detect a NUV (but no FUV) counterpart to the MSP located in the core of this cluster. The NUV lightcurves of the CVs and MSP show flickering behaviour typical of CVs. We found that the BSs and CVs are the most centrally concentrated population. This might be an effect of mass segregation or indicate the preferred birth place of BSs and CVs via dynamical interactions in the dense core region of GCs. HB stars are the least centrally concentrated population and absent in the innermost area of the core.


title: Entire solutions to reaction diffusion equations

abstract: In this paper, we first use the super-sub solution method to prove the local exponential asymptotic stability of some entire solutions to reaction diffusion equations, including the bistable and monostable cases. In the bistable case, we not only obtain the similar asymptotic stability result given by Yagisita in 2003, but also simplify his proof. For the monostable case, it is the first time to discuss the local asymptotic stability of entire solutions. Next, we will discuss the asymptotic behavior of entire solutions of bistable equations as $t\rightarrow+\infty$, since the other side was completely known. Here, our results are obtained by use of the asymptotic stability of constant solutions and pairs of diverging traveling front solutions of these equations, instead of constructing the corresponding super-sub solutions as usual.


title: Entire Solutions for the Classical Competitive Lotka-Volterra System with Diffusion in the Weak Competition Case

abstract: In this paper we are concerned with the entire solutions for the classical competitive Lotka-Volterra system with diffusion in the weak competition. For this purpose we firstly analyze the asymptotic behavior of traveling front solutions for this system connecting the origin and the positive equilibrium. Then, by using two different ways to construct pairs of coupled super-sub solutions of this system, we obtain two different kinds of entire solutions. The construction of the first kind of entire solutions is based on these fronts, and their reflects as well as the solutions of the system without diffusion. One component of the solution starts from 0 at $t\approx-\infty$, and as $t$ goes to $+\infty$, the two component of the entire solution will eventually stay in a conformed region. Another kind of entire solutions is related to some traveling front solutions of scalar equations


title: A Two-Level Graph Partitioning Problem Arising in Mobile Wireless Communications

abstract: In the k-partition problem (k-PP), one is given an edge-weighted undirected graph, and one must partition the node set into at most k subsets, in order to minimise (or maximise) the total weight of the edges that have their end-nodes in the same cluster. Various hierarchical variants of this problem have been studied in the context of data mining. We consider a 'two-level' variant that arises in mobile wireless communications. We show that an exact algorithm based on intelligent preprocessing, cutting planes and symmetry-breaking is capable of solving small- and medium-size instances to proven optimality, and providing strong lower bounds for larger instances.


title: Optical signature of Weyl electronic structures in tantalum pnictides Ta$Pn$ ($Pn=$ P, As)

abstract: To investigate the electronic structure of Weyl semimetals Ta$Pn$ ($Pn=$P, As), optical conductivity [$\sigma(\omega)$] spectra are measured over a wide range of photon energies and temperatures, and these measured values are compared with band calculations. Two significant structures can be observed: a bending structure at $\hbar\omega\sim$85 meV in TaAs, and peaks at $\hbar\omega\sim$ 50 meV (TaP) and $\sim$30 meV (TaAs). The bending structure can be explained by the interband transition between saddle points connecting a set of $W_2$ Weyl points. The temperature dependence of the peak intensity can be fitted by assuming the interband transition between saddle points connecting a set of $W_1$ Weyl points. Owing to the different temperature dependence of the Drude weight in both materials, it is found that the Weyl points of TaAs are located near the Fermi level, whereas those of TaP are further away.


title: A Control Performance Index for Multicopters Under Off-nominal Conditions

abstract: In order to prevent loss of control (LOC) accidents,the real-time control performance monitoring problem is studied for multicopters. Different from the existing work, this paper does not try to monitor the performance of the controllers directly. In turn, the disturbances of multicopters under off-nominal conditions are estimated to affect a proposed index to tell the user whether the multicopter will be LOC or not. Firstly, a new degree of controllability (DoC) will be proposed for multicopters subject to control constrains and off-nominal conditions. Then a control performance index (CPI) is defined based on the new DoC to reflect the control performance for multicopters. Besides, the proposed CPI is applied to a new switching control framework to guide the control decision of multicopter under off-nominal conditions. Finally, simulation and experimental results show the effectiveness of the CPI and the proposed switching control framework.


title: Periodic solutions of sublinear impulsive differential equations

abstract: In this paper, we consider sublinear second order differential equations with impulsive effects. Basing on the Poincar\'{e}-Bohl fixed point theorem, we first will prove the existence of harmonic solutions. The existence of subharmonic solutions is also obtained by a new twist fixed point theorem recently established by Qian etc in 2015 (\cite{Qian15}).


title: Hyperelliptic Curves with Maximal Galois Action on the Torsion Points of their Jacobians

abstract: In this article, we show that in each of four standard families of hyperelliptic curves, there is a density-$1$ subset of members with the property that their Jacobians have adelic Galois representation with image as large as possible. This result constitutes an explicit application of a general theorem on arbitrary rational families of abelian varieties to the case of families of Jacobians of hyperelliptic curves. Furthermore, we provide explicit examples of hyperelliptic curves of genus $2$ and $3$ over $\mathbb Q$ whose Jacobians have such maximal adelic Galois representations.


title: Periodic solutions of semilinear Duffing equations with impulsive effects

abstract: In this paper we are concerned with the existence of periodic solutions for semilinear Duffing equations with impulsive effects. Firstly for the autonomous one, basing on Poincar\'{e}-Birkhoff twist theorem, we prove the existence of infinitely many periodic solutions. Secondly, as for the nonautonomous case, the impulse brings us great challenges for the study, and there are only finitely many periodic solutions, which is quite different from the corresponding equation without impulses. Here, taking the autonomous one as an auxiliary equation, we find the relation between these two equations and then obtain the result also by Poincar\'{e}-Birkhoff twist theorem.


title: Back to the Drawing Board: Revisiting the Design of Optimal Location Privacy-preserving Mechanisms

abstract: In the last years we have witnessed the appearance of a variety of strategies to design optimal location privacy-preserving mechanisms, in terms of maximizing the adversary's expected error with respect to the users' whereabouts. In this work, we take a closer look at the defenses created by these strategies and show that, even though they are indeed optimal in terms of adversary's correctness, not all of them offer the same protection when looking at other dimensions of privacy. To avoid "bad" choices, we argue that the search for optimal mechanisms must be guided by complementary criteria. We provide two example auxiliary metrics that help in this regard: the conditional entropy, that captures an information-theoretic aspect of the problem; and the worst-case quality loss, that ensures that the output of the mechanism always provides a minimum utility to the users. We describe a new mechanism that maximizes the conditional entropy and is optimal in terms of average adversary error, and compare its performance with previously proposed optimal mechanisms using two real datasets. Our empirical results confirm that no mechanism fares well on every privacy criteria simultaneously, making apparent the need for considering multiple privacy dimensions to have a good understanding of the privacy protection a mechanism provides.


title: Pairing Tendencies in a Two-orbital Hubbard Model in One Dimension

abstract: The recent discovery of superconductivity under high pressure in the ladder compound BaFe$_2$S$_3$ has opened a new field of research in iron-based superconductors with focus on quasi one-dimensional geometries. In this publication, using the Density Matrix Renormalization Group technique, we study a two-orbital Hubbard model defined in one dimensional chains. Our main result is the presence of hole binding tendencies at intermediate Hubbard $U$ repulsion and robust Hund coupling $J_H/U=0.25$. Binding does not occur neither in weak coupling nor at very strong coupling. The pair-pair correlations that are dominant near half-filling, or of similar strength as the charge and spin correlation channels, involve hole-pair operators that are spin singlets, use nearest-neighbor sites, and employ different orbitals for each hole. The Hund coupling strength, presence of robust magnetic moments, and antiferromagnetic correlations among them are important for the binding tendencies found here.


title: Dynamic Occupancy Grid Prediction for Urban Autonomous Driving: A Deep Learning Approach with Fully Automatic Labeling

abstract: Long-term situation prediction plays a crucial role in the development of intelligent vehicles. A major challenge still to overcome is the prediction of complex downtown scenarios with multiple road users, e.g., pedestrians, bikes, and motor vehicles, interacting with each other. This contribution tackles this challenge by combining a Bayesian filtering technique for environment representation, and machine learning as long-term predictor. More specifically, a dynamic occupancy grid map is utilized as input to a deep convolutional neural network. This yields the advantage of using spatially distributed velocity estimates from a single time step for prediction, rather than a raw data sequence, alleviating common problems dealing with input time series of multiple sensors. Furthermore, convolutional neural networks have the inherent characteristic of using context information, enabling the implicit modeling of road user interaction. Pixel-wise balancing is applied in the loss function counteracting the extreme imbalance between static and dynamic cells. One of the major advantages is the unsupervised learning character due to fully automatic label generation. The presented algorithm is trained and evaluated on multiple hours of recorded sensor data and compared to Monte-Carlo simulation.


title: Strongly Ideal Robust Weyl Semimetals in Cubic Symmetry with Spatial-Inversion Breaking

abstract: We show that compounds in a family that possess time-reversal symmetry and share a non-centrosymmetric cubic structure with the space group F-43m (No. 216) host robust ideal Weyl semi-metal fermions with desirable topologically protected features. The candidates in this family are compounds with different chemical formulas AB2, ABC, ABC2, and ABCD and their Fermi levels are predominantly populated by nontrivial Weyl fermions. Symmetry of the system requires that the Weyl nodes with opposite chirality are well separated in momentum space. Adjacent Weyl points have the same chirality, thus these Weyl nodes would not annihilate each other with respect to lattice perturbations. As Fermi arcs and surface states connect Weyl nodes with opposite chirality, the large separation of the latter in momentum space guarantees the appearance of very long arcs and surface states. This work demonstrates the use of system symmetry by first-principles calculations as a powerful recipe for discovering new Weyl semi-metals with attractive features whose protected fermions may be candidates of many applications.


title: PERLE: Powerful Energy Recovery Linac for Experiments - Conceptual Design Report

abstract: A conceptual design is presented of a novel ERL facility for the development and application of the energy recovery technique to linear electron accelerators in the multi-turn, large current and large energy regime. The main characteristics of the powerful energy recovery linac experiment facility (PERLE) are derived from the design of the Large Hadron electron Collider, an electron beam upgrade under study for the LHC, for which it would be the key demonstrator. PERLE is thus projected as a facility to investigate efficient, high current (> 10 mA) ERL operation with three re-circulation passages through newly designed SCRF cavities, at 801.58 MHz frequency, and following deceleration over another three re-circulations. In its fully equipped configuration, PERLE provides an electron beam of approximately 1 GeV energy. A physics programme possibly associated with PERLE is sketched, consisting of high precision elastic electron-proton scattering experiments, as well as photo-nuclear reactions of unprecedented intensities with up to 30 MeV photon beam energy as may be obtained using Fabry-Perot cavities. The facility has further applications as a general technology test bed that can investigate and validate novel superconducting magnets (beam induced quench tests) and superconducting RF structures (structure tests with high current beams, beam loading and transients). Besides a chapter on operation aspects, the report contains detailed considerations on the choices for the SCRF structure, optics and lattice design, solutions for arc magnets, source and injector and on further essential components. A suitable configuration derived from the here presented design concept may next be moved forward to a technical design and possibly be built by an international collaboration which is being established.


title: ParMooN - a modernized program package based on mapped finite elements

abstract: {\sc ParMooN} is a program package for the numerical solution of elliptic and parabolic partial differential equations. It inherits the distinct features of its predecessor {\sc MooNMD} \cite{JM04}: strict decoupling of geometry and finite element spaces, implementation of mapped finite elements as their definition can be found in textbooks, and a geometric multigrid preconditioner with the option to use different finite element spaces on different levels of the multigrid hierarchy. After having presented some thoughts about in-house research codes, this paper focuses on aspects of the parallelization for a distributed memory environment, which is the main novelty of {\sc ParMooN}. Numerical studies, performed on compute servers, assess the efficiency of the parallelized geometric multigrid preconditioner in comparison with some parallel solvers that are available in the library {\sc PETSc}. The results of these studies give a first indication whether the cumbersome implementation of the parallelized geometric multigrid method was worthwhile or not.


title: Metallicity determination of M dwarfs - Expanded parameter range in metallicity and effective temperature

abstract: Context. Reliable metallicity values for M dwarfs are important for studies of the chemical evolution and advancement of planet formation theory in low-mass environments. Historically the determination of stellar parameters of low-mass stars has been challenging due to the low surface temperature, causing several molecules to form in the photospheric layers. In our work we use the fact that infrared high-resolution spectrographs have opened up a new window for investigating M dwarfs. Aims. Metallicity determination using high-resolution spectra is more accurate than the use of low-resolution spectra, but rather time-consuming. In this paper we expand our sample analyzed with this precise method both in metallicity and effective temperature in order to build up a calibration sample for a future revised empirical calibration. Methods. Because of the relatively few molecular lines in the J-band, continuum rectification is possible for high-resolution spectra, allowing the stellar parameters to be determined with greater accuracy than using optical spectra. The metallicity was determined using synthetic spectral fitting of several atomic species. Results. We have analyzed sixteen targets, with a range of effective temperature from 3350-4550 K. The resulting metallicities lie between -0.5 < [M/H] < +0.4. A few targets have previously been analyzed using low-resolution spectra, and we find a rather good agreement with our values. A comparison with available photometric calibrations shows varying agreement, and the spread within all empirical calibrations is large. Conclusions. Including the targets from our previous paper, we have analyzed 28 M dwarfs using high-resolution infrared spectra. The targets spread approximately one dex in metallicity and 1400 K in effective temperature. For individual M dwarfs we achieve uncertainties of 0.05 dex and 100 K on average.


title: Radiation Hardness tests with neutron flux on different Silicon photomultiplier devices

abstract: Radiation hardness is an important requirement for solid state readout devices operating in high radiation environments common in particle physics experiments. The MEGII experiment, at PSI, Switzerland, investigates the forbidden decay $\mu^+ \to \mathrm{e}^+ \gamma$. Exploiting the most intense muon beam of the world. A significant flux of non-thermal neutrons (kinetic energy $E_k\geq 0.5 ~MeV$) is present in the experimental hall produced along the beamline and in the hall itself. We present the effects of neutron fluxes comparable to the MEGII expected doses on several Silicon PhotoMulitpliers (SiPMs). The tested models are: AdvanSiD ASD-NUV3S-P50 (used in MEGII experiment), AdvanSiD ASD-NUV3S-P40, AdvanSiD ASD-RGB3S-P40, Hamamatsu and Excelitas C30742-33-050-X. The neutron source is the thermal Sub-critical Multiplication complex (SM1) moderated with water, located at the University of Pavia (Italy). We report the change of SiPMs most important electric parameters: dark current, dark pulse frequency, gain, direct bias resistance, as a function of the integrated neutron fluency.


title: Group divisible (K_4-e)-packings with any minimum leave

abstract: A decomposition of $K_{n(g)}\setminus L$, the complete n-partite equipartite graph with a subgraph L (called the leave) removed, into edge disjoint copies of a graph G is called a maximum group divisible packing of $K_{n(g)}$ with G if L contains as few edges as possible. We examine all possible minimum leaves for maximum group divisible $(K_4-e)$-packings. Necessary and sufficient conditions are established for their existences.


title: New examples of complete Calabi-Yau metrics on $\mathbb{C}^n$ for $n\ge 3$

abstract: For each $n\ge 3$, we construct on $\mathbb{C}^n$ examples of complete Calabi-Yau metrics of Euclidean volume growth having a tangent cone at infinity with singular cross-section.


title: Equality of the usual definitions of Brakke flow

abstract: In 1978 Brakke introduced the mean curvature flow in the setting of geometric measure theory. There exist multiple variants of the original definition. Here we prove that most of them are indeed equal. One central point is to correct the proof of Brakke's \S 3.5, where he develops an estimate for the evolution of the measure of time-dependent test functions.


title: The Lov\'asz-Softmax loss: A tractable surrogate for the optimization of the intersection-over-union measure in neural networks

abstract: The Jaccard index, also referred to as the intersection-over-union score, is commonly employed in the evaluation of image segmentation results given its perceptual qualities, scale invariance - which lends appropriate relevance to small objects, and appropriate counting of false negatives, in comparison to per-pixel losses. We present a method for direct optimization of the mean intersection-over-union loss in neural networks, in the context of semantic image segmentation, based on the convex Lov\'asz extension of submodular losses. The loss is shown to perform better with respect to the Jaccard index measure than the traditionally used cross-entropy loss. We show quantitative and qualitative differences between optimizing the Jaccard index per image versus optimizing the Jaccard index taken over an entire dataset. We evaluate the impact of our method in a semantic segmentation pipeline and show substantially improved intersection-over-union segmentation scores on the Pascal VOC and Cityscapes datasets using state-of-the-art deep learning segmentation architectures.


title: An algebraic construction of a solution to the mean field equations on hyperelliptic Curves and its diabatic limit

abstract: In this paper, we give an algebraic construction of the solution to the following mean field equation $$ \Delta \psi+e^{\psi}=4\pi\sum_{i=1}^{2g+2}\delta_{P_{i}}, $$ on a genus $g\geq 2$ hyperelliptic curve $(X,ds^{2})$ where $ds^{2}$ is a canonical metric on $X$ and $\{P_{1},\cdots,P_{2g+2}\}$ is the set of Weierstrass points on $X.$ Furthermore, we study the rescaled equation $$ \Delta \psi+\gamma e^{\psi}=4\pi\gamma \sum_{i=1}^{2g+2}\delta_{P_{i}} $$ and its adiabatic limit at $\gamma=0$.


title: On the Combination of the Bernays-Sch\"onfinkel-Ramsey Fragment with Simple Linear Integer Arithmetic

abstract: In general, first-order predicate logic extended with linear integer arithmetic is undecidable. We show that the Bernays-Sch\"onfinkel-Ramsey fragment ($\exists^* \forall^*$-sentences) extended with a restricted form of linear integer arithmetic is decidable via finite ground instantiation. The identified ground instances can be employed to restrict the search space of existing automated reasoning procedures considerably, e.g., when reasoning about quantified properties of array data structures formalized in Bradley, Manna, and Sipma's array property fragment. Typically, decision procedures for the array property fragment are based on an exhaustive instantiation of universally quantified array indices with all the ground index terms that occur in the formula at hand. Our results reveal that one can get along with significantly fewer instances.


title: Measurement of the running of the fine structure constant below 1 GeV with the KLOE detector

abstract: The precision measurement of the $d\sigma(e^+e^- \rightarrow \mu^+\mu^- \gamma)/d\sqrt{s}$ cross section with the photon emitted in the initial state with the KLOE detector has been used to measure the running of the QED coupling constant $\alpha(s)$ in the energy range 0.6 $< \sqrt{s} <$ 0.975 GeV in the time-like region. We were able to achieve a significance of the hadronic contribution to the running of $\alpha(s)$ of more than 5$\sigma$ with a clear contribution of the $\rho - \omega$ resonances to the photon propagator. The real and imaginary part of the shift $\Delta\alpha$ to the running has been estracted and a fit of the real part allowed us to measure the branching fraction $BR(\omega \rightarrow \mu^+\mu^-)$ = (6.6$\pm$1.4$_{stat}$$\pm$1.7$_{syst}$ )$\cdot$10$^{-5}$.


title: Thermodynamic dislocation theory for non-uniform plastic deformations

abstract: The present paper extends the thermodynamic dislocation theory developed by Langer, Bouchbinder, and Lookmann to non-uniform plastic deformations. The free energy density as well as the positive definite dissipation function are proposed. The governing equations are derived from the variational equation. As illustration, the problem of plane strain constrained shear of single crystal deforming in single slip is solved within the proposed theory.


title: STFT with Adaptive Window Width Based on the Chirp Rate

abstract: An adaptive time-frequency representation (TFR) with higher energy concentration usually requires higher complexity. Recently, a low-complexity adaptive short-time Fourier transform (ASTFT) based on the chirp rate has been proposed. To enhance the performance, this method is substantially modified in this paper: i) because the wavelet transform used for instantaneous frequency (IF) estimation is not signal-dependent, a low-complexity ASTFT based on a novel concentration measure is addressed; ii) in order to increase robustness to IF estimation error, the principal component analysis (PCA) replaces the difference operator for calculating the chirp rate; and iii) a more robust Gaussian kernel with time-frequency-varying window width is proposed. Simulation results show that our method has higher energy concentration than the other ASTFTs, especially for multicomponent signals and nonlinear FM signals. Also, for IF estimation, our method is superior to many other adaptive TFRs in low signal-to-noise ratio (SNR) environments.


title: Robust procedure for creating and characterizing the atomic structure of scanning tunneling microscope tips

abstract: Scanning tunneling microscopes (STM) are used extensively for studying and manipulating matter at the atomic scale. In spite of the critical role of the STM tip, the control of the atomic-scale shape of STM tips remains a poorly solved problem. Here, we present a method for preparing tips {\it in-situ} and for ensuring the crystalline structure and reproducibly preparing tip structure up to the second atomic layer. We demonstrate a controlled evolution of such tips starting from undefined tip shapes.


title: Conjoined constraints on modified gravity from the expansion history and cosmic growth

abstract: In this paper we present conjoined constraints on several cosmological models from the expansion history $H(z)$ and cosmic growth $f\sigma_8(z)$. The models we study include the CPL $w_0w_a$ parametrization, the Holographic Dark Energy (HDE) model, the Time varying vacuum ($\Lambda_t$CDM) model, the Dvali, Gabadadze and Porrati (DGP) and Finsler-Randers (FRDE) models, a power law $f(T)$ model and finally the Hu-Sawicki $f(R)$ model. In all cases we perform a simultaneous fit to the SnIa, CMB, BAO, $H(z)$ and growth data, while also following the conjoined visualization of $H(z)$ and $f\sigma_8(z)$ as in Linder (2017). Furthermore, we introduce the Figure of Merit (FoM) in the $H(z)-f\sigma_8(z)$ parameter space as a way to constrain models that jointly fit both probes well. We use both the latest $H(z)$ and $f\sigma_8(z)$ data, but also LSST-like mocks with $1\%$ measurements and we find that the conjoined method of constraining the expansion history and cosmic growth simultaneously is able not only to place stringent constraints on these parameters but also to provide an easy visual way to discriminate cosmological models. Finally, we confirm the existence of a tension between the growth rate and Planck CMB data and we find that the FoM in the conjoined parameter space of $H(z)-f\sigma_8(z)$ can be used to discriminate between the $\Lambda$CDM model and certain classes of modified gravity models, namely the DGP and $f(T)$.


title: Robust FCC solute diffusion predictions from ab-initio machine learning methods

abstract: We evaluate the performance of four machine learning methods for modeling and predicting FCC solute diffusion barriers. More than 200 FCC solute diffusion barriers from previous density functional theory (DFT) calculations served as our dataset to train four machine learning methods: linear regression (LR), decision tree (DT), Gaussian kernel ridge regression (GKRR), and artificial neural network (ANN). We separately optimize key physical descriptors favored by each method to model diffusion barriers. We also assess the ability of each method to extrapolate when faced with new hosts with limited known data. GKRR and ANN were found to perform the best, showing 0.15 eV cross-validation errors and predicting impurity diffusion in new hosts to within 0.2 eV when given only 5 data points from the host. We demonstrate the success of a combined DFT + data mining approach towards solving materials science challenges and predict the diffusion barrier of all available impurities across all FCC hosts.


title: Mass-Angular Momentum Inequality For Black Ring Spacetimes

abstract: The inequality $m^3\geq \frac{27\pi}{4} |\mathcal{J}_{2}||\mathcal{J}_{1}-\mathcal{J}_{2}|$ relating total mass and angular momenta, is established for (possibly dynamical) spacetimes admitting black holes of ring ($S^1\times S^2$) topology. This inequality is shown to be sharp in the sense that it is saturated precisely for the extreme Pomeransky-Sen'kov black ring solutions. The physical significance of this inequality and its relation to new evidence of black ring instability, as well as the standard picture of gravitational collapse, are discussed.


title: Continuous testing for Poisson process intensities: A new perspective on scanning statistics

abstract: We propose a novel continuous testing framework to test the intensities of Poisson Processes. This framework allows a rigorous definition of the complete testing procedure, from an infinite number of hypothesis to joint error rates. Our work extends traditional procedures based on scanning windows, by controlling the family-wise error rate and the false discovery rate in a non-asymptotic manner and in a continuous way. The decision rule is based on a \pvalue process that can be estimated by a Monte-Carlo procedure. We also propose new test statistics based on kernels. Our method is applied in Neurosciences and Genomics through the standard test of homogeneity, and the two-sample test.


title: Properties of Normalization for a math based intermediate representation

abstract: The Normalization transformation plays a key role in the compilation of Diderot programs. The transformations are complicated and it would be easy for a bug to go undetected. To increase our confidence in normalization part of the compiler we provide a formal analysis on the rewriting system. We proof that the rewrite system is type preserving, value preserving (for tensor-valued expressions), and terminating.


title: Characterizing path-like trees from linear configurations

abstract: Assume that we embed the path $P_n$ as a subgraph of a $2$-dimensional grid, namely, $P_k \times P_l$. Given such an embedding, we consider the ordered set of subpaths $L_1, L_2, \ldots , L_m$ which are maximal straight segments in the embedding, and such that the end of $L_i$ is the beginning of $L_{i+1}$. Suppose that $L_i\cong P_2$, for some $i$ and that some vertex $u$ of $L_{i-1}$ is at distance $1$ in the grid to a vertex $v$ of $L_{i+1}$. An elementary transformation of the path consists in replacing the edge of $L_i$ by a new edge $uv$. A tree $T$ of order $n$ is said to be a path-like tree, when it can be obtained from some embedding of $P_n$ in the $2$-dimensional grid, by a sequence of elementary transformations. Thus, the maximum degree of a path-like tree is at most $4$. Intuitively speaking, a tree admits a linear configuration if it can be described by a sequence of paths in such a way that only vertices from two consecutive paths, which are at the same distance of the end vertices are adjacent. In this paper, we characterize path-like trees of maximum degree $3$, with an even number of vertices of degree $3$, from linear configurations.


title: Stretching-induced conductance variations as fingerprints of contact configurations in single-molecule junctions

abstract: Molecule-electrode contact atomic structures are a critical factor that characterizes molecular devices, but their precise understanding and control still remain elusive. Based on combined first-principles calculations and single-molecule break junction experiments, we herein establish that the conductance of alkanedithiolate junctions can both increase and decrease with mechanical stretching and the specific trend is determined by the S-Au linkage coordination number (CN) or the molecule-electrode contact atomic structure. Specifically, we find that the mechanical pulling results in the conductance increase for the junctions based on S-Au CN two and CN three contacts, while the conductance is minimally affected by stretching for junctions with the CN one contact and decreases upon the formation of Au monoatomic chains. Detailed analysis unravels the mechanisms involving the competition between the stretching-induced upshift of the highest occupied molecular orbital-related states toward the Fermi level of electrodes and the deterioration of molecule-electrode electronic couplings in different contact CN cases. Moreover, we experimentally find a higher chance to observe the conductance enhancement mode under a faster elongation speed, which is explained by ab initio molecular dynamics simulations that reveal an important role of thermal fluctuations in aiding deformations of contacts into low-coordination configurations that include monoatomic Au chains. Pointing out the insufficiency in previous notions of associating peak values in conductance histograms with specific contact atomic structures, this work resolves the controversy on the origins of ubiquitous multiple conductance peaks in S-Au-based single-molecule junctions.


title: Beyond Parity: Fairness Objectives for Collaborative Filtering

abstract: We study fairness in collaborative-filtering recommender systems, which are sensitive to discrimination that exists in historical data. Biased data can lead collaborative-filtering methods to make unfair predictions for users from minority groups. We identify the insufficiency of existing fairness metrics and propose four new metrics that address different forms of unfairness. These fairness metrics can be optimized by adding fairness terms to the learning objective. Experiments on synthetic and real data show that our new metrics can better measure fairness than the baseline, and that the fairness objectives effectively help reduce unfairness.


title: A Bayesian Mallows approach to non-transitive pair comparison data: how human are sounds?

abstract: We are interested in learning how listeners perceive sounds as having human origins. An experiment was performed with a series of electronically synthesized sounds, and listeners were asked to compare them in pairs. We propose a Bayesian probabilistic method to learn individual preferences from non-transitive pairwise comparison data, as happens when one (or more) individual preferences in the data contradicts what is implied by the others. We build a Bayesian Mallows model in order to handle non-transitive data, with a latent layer of uncertainty which captures the generation of preference misreporting. We then develop a mixture extension of the Mallows model, able to learn individual preferences in a heterogeneous population. The results of our analysis of the musicology experiment are of interest to electroacoustic composers and sound designers, and to the audio industry in general, whose aim is to understand how computer generated sounds can be produced in order to sound more human.


title: Error estimators and their analysis for CG, Bi-CG and GMRES

abstract: The demands of accuracy in measurements and engineering models today, renders the condition number of problems larger. While a corresponding increase in the precision of floating point numbers ensured a stable computing, the uncertainty in convergence when using residue as a stopping criterion has increased. We present an analysis of the uncertainty in convergence when using relative residue as a stopping criterion for iterative solution of linear systems, and the resulting over/under computation for a given tolerance in error. This shows that error estimation is significant for an efficient or accurate solution even when the condition number of the matrix is not large. An $\mathcal{O}(1)$ error estimator for iterations of the CG algorithm was proposed more than two decades ago. Recently, an $\mathcal{O}(k^2)$ error estimator was described for the GMRES algorithm which allows for non-symmetric linear systems as well, where $k$ is the iteration number. We suggest a minor modification in this GMRES error estimation for increased stability. In this work, we also propose an $\mathcal{O}(n)$ error estimator for A-norm and $l_{2}$ norm of the error vector in Bi-CG algorithm. The robust performance of these estimates as a stopping criterion results in increased savings and accuracy in computation, as condition number and size of problems increase.


title: When Will AI Exceed Human Performance? Evidence from AI Experts

abstract: Advances in artificial intelligence (AI) will transform modern life by reshaping transportation, health, science, finance, and the military. To adapt public policy, we need to better anticipate these advances. Here we report the results from a large survey of machine learning researchers on their beliefs about progress in AI. Researchers predict AI will outperform humans in many activities in the next ten years, such as translating languages (by 2024), writing high-school essays (by 2026), driving a truck (by 2027), working in retail (by 2031), writing a bestselling book (by 2049), and working as a surgeon (by 2053). Researchers believe there is a 50% chance of AI outperforming humans in all tasks in 45 years and of automating all human jobs in 120 years, with Asian respondents expecting these dates much sooner than North Americans. These results will inform discussion amongst researchers and policymakers about anticipating and managing trends in AI.


title: Friendship and Selfishness Forwarding: applying machine learning techniques to Opportunistic Networks data forwarding

abstract: Opportunistic networks could become the solution to provide communication support in both cities where the cellular network could be overloaded, and in scenarios where a fixed infrastructure is not available, like in remote and developing regions. A critical issue that still requires a satisfactory solution is the design of an efficient data delivery solution. Social characteristics are recently being considered as a promising alternative. Most opportunistic network applications rely on the different mobile devices carried by users, and whose behavior affects the use of the device itself. This work presents the "Friendship and Selfishness Forwarding" (FSF) algorithm. FSF analyses two aspects to make message forwarding decisions when a contact opportunity arises: First, it classifies the friendship strength among a pair of nodes by using a machine learning algorithm to quantify the friendship strength among pairs of nodes in the network. Next, FSF assesses the relay node selfishness to consider those cases in which, despite a strong friendship with the destination, the relay node may not accept to receive the message because it is behaving selfishly, or because its device has resource constraints in that moment. By using trace-driven simulations through the ONE simulator, we show that the FSF algorithm outperforms previously proposed schemes in terms of delivery rate, average cost, and efficiency.


title: HTTP adaptive streaming with indoors-outdoors detection in mobile networks

abstract: In mobile networks, users may lose coverage when entering a building due to the high signal attenuation at windows and walls. Under such conditions, services with minimum bit-rate requirements, such as video streaming, often show poor Quality-of-Experience (QoE). We will present a Bayesian detector that combines measurements from two Smartphone sensors to decide if a user is inside a building or not. Based on this coverage classification, we will propose an HTTP adaptive streaming (HAS) algorithm to increase playback stability at a high average bitrate. Measurements in a typical office building show high accuracy for the presented detector and superior QoE for the proposed HAS algorithm.


title: Transport properties of Lix(NH3)yFe2(TezSe1-z)2 single crystals in the mixed state

abstract: We study the electric transport properties of Lix(NH3)yFe2(TezSe1-z)2 single crystals with z= 0 and 0.6 in the mixed state. Thermally-activated flux-flow, vortex glass and flux-flow Hall effect (FFHE) behaviors are observed. Experimental results show that there are rich vortex phases existing in these systems and the vortex liquid states occupy broad regions of phase diagrams. Further analysis suggests that thermal fluctuation plays an important role in the vortex phase diagrams of Lix(NH3)yFe2(TezSe1-z)2. Moreover, for Lix(NH3)yFe2Se2, there is no sigh reversal of FFHE in the mixed state and a scaling behavior |rhoxy(mu0H)|=Arhoxx(mu0H)^beta with beta ~ 2.0 is observed.


title: Canonical sequences of optimal quantization for condensation measures

abstract: We consider condensation measures of the form $P:=\frac 13 P\circ S_1^{-1}+ \frac 13 P\circ S_2^{-1}+ \frac 13 \nu $ associated with the system $(\mathcal{S}, (\frac 13, \frac 13, \frac 13), \nu) , $ where $\mathcal{S}=\{S_i\}_{i=1}^2 $ are contractions and $ \nu$ is a Borel probability measure on $\mathbb R$ with compact support. Let $D(\mu)$ denote the quantization dimension of a measure $\mu$ if it exists. In this paper, we study self-similar measures $\nu$ satisfying $D(\nu)>\kappa$, $D(\nu)<\kappa$, and $D(\nu)=\kappa, $ respectively, where $\kappa $ is the unique number satisfying $[\frac13 (\frac{1}{5})^2]^{\frac{\kappa}{2+\kappa}}=\frac 12. $ For each case we construct two sequences $a(n)$ and $F(n)$, which are utilized in determining the optimal sets of $F(n)$-means and the $F(n)$th quantization errors for $P. $ We also show that for each measure $\nu$ the quantization dimension $D(P)$ of $P$ exists and satisfies $D(P)=\max\{\kappa, D(\nu)\}. $ Moreover, we show that for $D(\nu)>\kappa$, the $D(P)$-dimensional lower and upper quantization coefficients are finite, positive and unequal; and for $D(\nu)\leq \kappa$, the $D(P)$-dimensional lower quantization coefficient is infinity.


title: Self-consistent dynamical model of the Broad Line Region

abstract: We develope a self-consistent description of the Broad Line Region based on the concept of the failed wind powered by the radiation pressure acting on dusty accretion disk atmosphere in Keplerian motion. The material raised high above the disk is illuminated, dust evaportes, and the matter falls back towards the disk. This material is the source of emission lines. The model predicts the inner and outer radius of the region, the cloud dynamics under the dust radiation pressure and, subsequently, just the gravitational field of the central black hole, which results in assymetry between the rise and fall. Knowledge of the dynamics allows to predict the shapes of the emission lines as functions of the basic parameters of an active nucleus: black hole mass, accretion rate, black hole spin (or accretion efficiency) and the viewing angle with respect to the symmetry axis. Here we show preliminary results based on analytical approximations to the cloud motion.


title: A multiscale approach to hybrid RANS/LES wall modeling within a high-order discontinuous Galerkin scheme using function enrichment

abstract: We present a novel approach to hybrid RANS/LES wall modeling based on function enrichment, which overcomes the common problem of the RANS-LES transition and enables coarse meshes near the boundary. While the concept of function enrichment as an efficient discretization technique for turbulent boundary layers has been proposed in an earlier article by Krank & Wall (J. Comput. Phys. 316 (2016) 94-116), the contribution of this work is a rigorous derivation of a new multiscale turbulence modeling approach and a corresponding discontinuous Galerkin discretization scheme. In the near-wall area, the Navier-Stokes equations are explicitly solved for an LES and a RANS component in one single equation. This is done by providing the Galerkin method with an independent set of shape functions for each of these two methods; the standard high-order polynomial basis resolves turbulent eddies where the mesh is sufficiently fine and the enrichment automatically computes the ensemble-averaged flow if the LES mesh is too coarse. As a result of the derivation, the RANS model is consistently applied solely to the RANS degrees of freedom, which effectively prevents the typical issue of a log-layer mismatch in attached boundary layers. As the full Navier-Stokes equations are solved in the boundary layer, spatial refinement gradually yields wall-resolved LES with exact boundary conditions. Numerical tests show the outstanding characteristics of the wall model regarding grid independence, superiority compared to equilibrium wall models in separated flows, and achieve a speed-up by two orders of magnitude compared to wall-resolved LES.


title: Boundary Crossing Probabilities for General Exponential Families

abstract: We consider parametric exponential families of dimension $K$ on the real line. We study a variant of \textit{boundary crossing probabilities} coming from the multi-armed bandit literature, in the case when the real-valued distributions form an exponential family of dimension $K$. Formally, our result is a concentration inequality that bounds the probability that $\mathcal{B}^\psi(\hat \theta_n,\theta^\star)\geq f(t/n)/n$, where $\theta^\star$ is the parameter of an unknown target distribution, $\hat \theta_n$ is the empirical parameter estimate built from $n$ observations, $\psi$ is the log-partition function of the exponential family and $\mathcal{B}^\psi$ is the corresponding Bregman divergence. From the perspective of stochastic multi-armed bandits, we pay special attention to the case when the boundary function $f$ is logarithmic, as it is enables to analyze the regret of the state-of-the-art \KLUCB\ and \KLUCBp\ strategies, whose analysis was left open in such generality. Indeed, previous results only hold for the case when $K=1$, while we provide results for arbitrary finite dimension $K$, thus considerably extending the existing results. Perhaps surprisingly, we highlight that the proof techniques to achieve these strong results already existed three decades ago in the work of T.L. Lai, and were apparently forgotten in the bandit community. We provide a modern rewriting of these beautiful techniques that we believe are useful beyond the application to stochastic multi-armed bandits.


title: Power Systems Data Fusion based on Belief Propagation

abstract: The increasing complexity of the power grid, due to higher penetration of distributed resources and the growing availability of interconnected, distributed metering devices re- quires novel tools for providing a unified and consistent view of the system. A computational framework for power systems data fusion, based on probabilistic graphical models, capable of combining heterogeneous data sources with classical state estimation nodes and other customised computational nodes, is proposed. The framework allows flexible extension of the notion of grid state beyond the view of flows and injection in bus-branch models, and an efficient, naturally distributed inference algorithm can be derived. An application of the data fusion model to the quantification of distributed solar energy is proposed through numerical examples based on semi-synthetic simulations of the standard IEEE 14-bus test case.


title: Analysing Timelines of National Histories across Wikipedia Editions: A Comparative Computational Approach

abstract: Portrayals of history are never complete, and each description inherently exhibits a specific viewpoint and emphasis. In this paper, we aim to automatically identify such differences by computing timelines and detecting temporal focal points of written history across languages on Wikipedia. In particular, we study articles related to the history of all UN member states and compare them in 30 language editions. We develop a computational approach that allows to identify focal points quantitatively, and find that Wikipedia narratives about national histories (i) are skewed towards more recent events (recency bias) and (ii) are distributed unevenly across the continents with significant focus on the history of European countries (Eurocentric bias). We also establish that national historical timelines vary across language editions, although average interlingual consensus is rather high. We hope that this paper provides a starting point for a broader computational analysis of written history on Wikipedia and elsewhere.


title: Monopole Floer homology and the spectral geometry of three-manifolds

abstract: We refine some classical estimates in Seiberg-Witten theory, and discuss an application to the spectral geometry of three-manifolds. In particular, we show that on a rational homology three-sphere $Y$, for any Riemannian metric the first eigenvalue of the laplacian on coexact one-forms is bounded above explicitly in terms of the Ricci curvature, provided that $Y$ is not an $L$-space (in the sense of Floer homology). The latter is a purely topological condition, and holds in a variety of examples. Performing the analogous refinement in the case of manifolds with $b_1>0$, we obtain a gauge-theoretic proof of an inequality of Brock and Dunfield relating the Thurston and $L^2$ norms of hyperbolic three-manifolds, first proved using minimal surfaces.


title: A hierarchical multirate MPC scheme for interconnected systems - $\textit{extended version}$

abstract: This paper presents a hierarchical control scheme for interconnected linear systems. At the higher layer of the control structure a robust centralized Model Predictive Control (MPC) algorithm based on a reduced order dynamic model of the overall system optimizes a long-term performance index penalizing the deviation of the state and the control input from their nominal values. At the lower layer local MPC regulators, possibly working at different rates, are designed for the full order models of the subsystems to refine the control action computed at the higher layer. A simulation experiment is presented to describe the implementation aspects and the potentialities of the proposed approach.


title: Matrix-product structure of repeated-root constacyclic codes over finite fields

abstract: For any prime number $p$, positive integers $m, k, n$ satisfying ${\rm gcd}(p,n)=1$ and $\lambda_0\in \mathbb{F}_{p^m}^\times$, we prove that any $\lambda_0^{p^k}$-constacyclic code of length $p^kn$ over the finite field $\mathbb{F}_{p^m}$ is monomially equivalent to a matrix-product code of a nested sequence of $p^k$ $\lambda_0$-constacyclic codes with length $n$ over $\mathbb{F}_{p^m}$.


title: Variations of BPS structure and a large rank limit

abstract: We study a class of flat bundles, of finite rank $N$, which arise naturally from the Donaldson-Thomas theory of a Calabi-Yau threefold $X$ via the notion of a variation of BPS structure. We prove that in a large $N$ limit their flat sections converge to the solutions to certain infinite dimensional Riemann-Hilbert problems recently found by Bridgeland. In particular this implies an expression for the positive degree, genus $0$ Gopakumar-Vafa contribution to the Gromov-Witten partition function of $X$ in terms of solutions to confluent hypergeometric differential equations.


title: Causal Effect Inference with Deep Latent-Variable Models

abstract: Learning individual-level causal effects from observational data, such as inferring the most effective medication for a specific patient, is a problem of growing importance for policy makers. The most important aspect of inferring causal effects from observational data is the handling of confounders, factors that affect both an intervention and its outcome. A carefully designed observational study attempts to measure all important confounders. However, even if one does not have direct access to all confounders, there may exist noisy and uncertain measurement of proxies for confounders. We build on recent advances in latent variable modeling to simultaneously estimate the unknown latent space summarizing the confounders and the causal effect. Our method is based on Variational Autoencoders (VAE) which follow the causal structure of inference with proxies. We show our method is significantly more robust than existing methods, and matches the state-of-the-art on previous benchmarks focused on individual treatment effects.


title: Numerical simulation of turbulent channel flow over a viscous hyper-elastic wall

abstract: We perform numerical simulations of a turbulent channel flow over an hyper-elastic wall. In the fluid region the flow is governed by the incompressible Navier-Stokes (NS) equations, while the solid is a neo-Hookean material satisfying the incompressible Mooney-Rivlin law. The multiphase flow is solved with a one-continuum formulation, using a monolithic velocity field for both the fluid and solid phase, which allows the use of a fully Eulerian formulation. The simulations are carried out at Reynolds bulk $Re=2800$ and examine the effect of different elasticity and viscosity of the deformable wall. We show that the skin friction increases monotonically with the material elastic modulus. The turbulent flow in the channel is affected by the moving wall even at low values of elasticity since non-zero fluctuations of vertical velocity at the interface influence the flow dynamics. The near-wall streaks and the associated quasi-streamwise vortices are strongly reduced near a highly elastic wall while the flow becomes more correlated in the spanwise direction, similarly to what happens for flows over rough and porous walls. As a consequence, the mean velocity profile in wall units is shifted downwards when shown in logarithmic scale, and the slope of the inertial range increases in comparison to that for the flow over a rigid wall. We propose a correlation between the downward shift of the inertial range, its slope and the wall-normal velocity fluctuations at the wall, extending results for the flow over rough walls. We finally show that the interface deformation is determined by the fluid fluctuations when the viscosity of the elastic layer is low, while when this is high the deformation is limited by the solid properties.


title: A system of state-dependent delay differential equation modelling forest growth I: semiflow properties

abstract: In this article we investigate the semiflow properties of a class of state-dependent delay differential equations which is motivated by some models describing the dynamics of the number of adult trees in forests. We investigate the existence and uniqueness of a semiflow in the space of Lipschitz and $C^1$ weighted functions. We obtain a blow-up result when the time approaches the maximal time of existence. We conclude the paper with an application of a spatially structured forest model.


title: From source to target and back: symmetric bi-directional adaptive GAN

abstract: The effectiveness of generative adversarial approaches in producing images according to a specific style or visual domain has recently opened new directions to solve the unsupervised domain adaptation problem. It has been shown that source labeled images can be modified to mimic target samples making it possible to train directly a classifier in the target domain, despite the original lack of annotated data. Inverse mappings from the target to the source domain have also been evaluated but only passing through adapted feature spaces, thus without new image generation. In this paper we propose to better exploit the potential of generative adversarial networks for adaptation by introducing a novel symmetric mapping among domains. We jointly optimize bi-directional image transformations combining them with target self-labeling. Moreover we define a new class consistency loss that aligns the generators in the two directions imposing to conserve the class identity of an image passing through both domain mappings. A detailed qualitative and quantitative analysis of the reconstructed images confirm the power of our approach. By integrating the two domain specific classifiers obtained with our bi-directional network we exceed previous state-of-the-art unsupervised adaptation results on four different benchmark datasets.


title: Characterizing Nonlocal Correlations via Universal Uncertainty Relations

abstract: Characterization and certification of nonlocal correlations is one of the the central topics in quantum information theory. In this work, we develop the detection methods of entanglement and steering based on the universal uncertainty relations and fine-grained uncertainty relations. In the course of our study, the uncertainty relations are formulated in majorization form, and the uncertainty quantifier can be chosen as any convex Schur concave functions, this leads to a large set of inequalities, including all existing criteria based on entropies. We address the question that if all steerable states (or entangled states) can be witnessed by some uncertainty-based inequality, we find that for pure states and many important families of states, this is the case.


title: Learning with Average Top-k Loss

abstract: In this work, we introduce the {\em average top-$k$} (\atk) loss as a new aggregate loss for supervised learning, which is the average over the $k$ largest individual losses over a training dataset. We show that the \atk loss is a natural generalization of the two widely used aggregate losses, namely the average loss and the maximum loss, but can combine their advantages and mitigate their drawbacks to better adapt to different data distributions. Furthermore, it remains a convex function over all individual losses, which can lead to convex optimization problems that can be solved effectively with conventional gradient-based methods. We provide an intuitive interpretation of the \atk loss based on its equivalent effect on the continuous individual loss functions, suggesting that it can reduce the penalty on correctly classified data. We further give a learning theory analysis of \matk learning on the classification calibration of the \atk loss and the error bounds of \atk-SVM. We demonstrate the applicability of minimum average top-$k$ learning for binary classification and regression using synthetic and real datasets.


title: Lepton Flavor Changing Higgs decays in the Littlest Higgs Model with T-parity

abstract: We calculate loop induced lepton flavor violating Higgs decays in the Littlest Higgs model with T-parity. We find that a finite amplitude is obtained only when all contributions from the T-odd lepton sector are included. This is in contrast to lepton flavor violating processes mediated by gauge bosons where the partners of the right-handed mirror leptons can be decoupled from the spectrum. These partners are necessary to cancel the divergence in the Higgs mass introduced by the mirror leptons but are otherwise unnecessary and assumed to be decoupled in previous phenomenological studies. Furthermore, as we emphasize, including the partner leptons in the spectrum also introduces a new source of lepton flavor violation via their couplings to the physical pseudo-Goldstone electroweak triplet scalar. Although this extra source also affects lepton flavor changing gauge transitions, it decouples from these amplitudes in the limit of heavy mass for the partner leptons. We find that the corresponding Higgs branching ratio into taus and muons can be as large as $\sim 0.2 \times 10^{-6}$ for T-odd masses of the order a few TeV, a demanding challenge even for the high luminosity LHC.


title: Deep Investigation of Cross-Language Plagiarism Detection Methods

abstract: This paper is a deep investigation of cross-language plagiarism detection methods on a new recently introduced open dataset, which contains parallel and comparable collections of documents with multiple characteristics (different genres, languages and sizes of texts). We investigate cross-language plagiarism detection methods for 6 language pairs on 2 granularities of text units in order to draw robust conclusions on the best methods while deeply analyzing correlations across document styles and languages.


title: Uniform generators, symbolic extensions with an embedding, and structure of periodic orbits

abstract: For a topological dynamical system $(X, T)$ we define a uniform generator as a finite measurable partition such that the symmetric cylinder sets in the generated process shrink in diameter uniformly to zero. The problem of existence and optimal cardinality of uniform generators has lead us to new challenges in the theory of symbolic extensions. At the beginning we show that uniform generators can be identified with so-called symbolic extensions with an embedding, i.e., symbolic extensions admitting an equivariant measurable selector from preimages. From here we focus on such extensions and we strive to characterize the collection of the corresponding extension entropy functions on invariant measures. For aperiodic zero-dimensional systems we show that this collection coincides with that of extension entropy functions in arbitrary symbolic extensions, which, by the general theory of symbolic extensions, is known to coincide with the collection of all affine superenvelopes of the entropy structure of the system. In particular, we recover, after [Bu16], that an aperiodic zero-dimensional system is asymptotically h- expansive if and only if it admits an isomorphic symbolic extension. Next we pass to systems with periodic points, and we introduce the notion of a period tail structure, which captures the local growth rate of periodic orbits. Finally, we succeed in precisely identifying the wanted collection of extension entropy functions in symbolic extensions with an embedding: these are all the affine superenvelopes of the usual entropy structure which lie above certain threshold function determined by the period tail structure. This characterization allows us, among other things, to give estimates (and in examples to compute precisely) the optimal cardinality of a uniform generator.


title: High Luminosity Large Hadron Collider HL-LHC

abstract: HL-LHC federates the efforts and R&D of a large international community towards the ambitious HL- LHC objectives and contributes to establishing the European Research Area (ERA) as a focal point of global research cooperation and a leader in frontier knowledge and technologies. HL-LHC relies on strong participation from various partners, in particular from leading US and Japanese laboratories. This participation will be required for the execution of the construction phase as a global project. In particular, the US LHC Accelerator R&D Program (LARP) has developed some of the key technologies for the HL-LHC, such as the large-aperture niobium-tin ($Nb_{3}Sn) quadrupoles and the crab cavities. The proposed governance model is tailored accordingly and should pave the way for the organization of the construction phase.


title: Photon structure studied at an Electron Ion Collider

abstract: A future Electron Ion Collider (EIC) will be able to provide collisions of polarized electrons with protons and heavy ions over a wide range of center-of-mass energies (20 $\mathrm{GeV}$ to 140 $\mathrm{GeV}$) at an instanteous luminosity of $10^{33} - 10^{34}$ cm$^{-2}$s$^{-1}$. One of its promising physics programs is the study of the partonic structure of quasi-real photons. Measuring di-jets in quasi-real photoproduction events, one can effectively access the underlying parton dynamics of the photons. In this paper, we discuss the feasibility of tagging resolved photon processes and measuring the di-jet cross section as a function of jet transverse momentum in the range of $0.01<x_{\gamma}^{rec}<1$ at an EIC. It will be shown that both unpolarized and polarized parton distributions in the photon can be extracted, and that the flavor of the parton can be tagged at an EIC.


title: Periodic expansiveness of smooth surface diffeomorphisms and applications

abstract: We prove that periodic asymptotic expansiveness introduced in \cite{em} implies the equidistribution of periodic points to measures of maximal entropy. Then following Yomdin's approach \cite{Yom} we show by using semi-algebraic tools that $C^\infty$ interval maps and $C^\infty$ surface diffeomorphisms satisfy this expansiveness property respectively for repelling and saddle hyperbolic points with Lyapunov exponents uniformly away from zero.


title: Measuring solar active region inflows with local correlation tracking of granulation

abstract: Context. Local helioseismology has detected spatially extended converging surface flows into solar active regions. These play an important role in flux-transport models of the solar dynamo. Aims. We aim to validate the existence of the inflows by deriving horizontal flow velocities around active regions with local correlation tracking of granulation. Methods. We generate a six-year long-time series of full-disk maps of the horizontal velocity at the solar surface by tracking granules in continuum intensity images provided by the Helioseismic and Magnetic Imager (HMI) onboard the Solar Dynamics Observatory (SDO). Results. On average, active regions are surrounded by inflows extending up to 10 deg from the center of the active region of magnitudes of 20-30 m/s, reaching locally up to 40 m/s, which is in agreement with results from local helioseismology. By computing an ensemble average consisting of 243 individual active regions, we show that the inflows are not azimuthally symmetric but converge predominantly towards the trailing polarity of the active region with respect to the longitudinally and temporally averaged flow field.


title: Photon and Pomeron -- induced production of Dijets in $pp$, $pA$ and $AA$ collisions

abstract: In this paper we present a detailed comparison of the dijet production by photon -- photon, photon -- pomeron and pomeron -- pomeron interactions in $pp$, $pA$ and ${\rm AA}$ collisions at the LHC energy. The transverse momentum, pseudo -- rapidity and angular dependencies of the cross sections are calculated at LHC energy using the Forward Physics Monte Carlo (FPMC), which allows to obtain realistic predictions for the dijet production with two leading intact hadrons. We obtain that $\gamma \pom$ channel is dominant at forward rapidities in $pp$ collisions and in the full kinematical range in the nuclear collisions of heavy nuclei. Our results indicate that the analysis of dijet production at the LHC can be useful to test the Resolved Pomeron model as well as to constrain the magnitude of the absorption effects.


title: On-Shell Gauge Invariant Three-Point Amplitudes

abstract: Assuming locality, Lorentz invariance and parity conservation we obtain a set of differential equations governing the 3-point interactions of massless bosons, which in turn determines the polynomial ring of these amplitudes. We derive all possible 3-point interactions for tensor fields with polarisations that have total symmetry and mixed symmetry under permutations of Lorentz indices. Constraints on the existence of gauge-invariant cubic vertices for totally symmetric fields are obtained in general spacetime dimensions and are compared with existing results obtained in the covariant and light-cone approaches. Expressing our results in spinor helicity formalism we reproduce the perhaps mysterious mismatch between the covariant approach and the light cone approach in 4 dimensions. Our analysis also shows that there exists a mismatch, in the 3-point gauge invariant amplitudes corresponding to cubic self-interactions, between a scalar field $\phi$ and an antisymmetric rank-2 tensor field $A_{\mu\nu}$. Despite the well-known fact that in 4 dimensions rank-2 anti-symmetric fields are dual to scalar fields in free theories, such duality does not extend to interacting theories.


title: Transition to Shocks in TASEP and Decoupling of Last Passage Times

abstract: We consider the totally asymmetric simple exclusion process in a critical scaling parametrized by $a\geq0$, which creates a shock in the particle density of order $aT^{-1/3},$ $T$ the observation time. When starting from step initial data, we provide bounds on the limiting law which in particular imply that in the double limit $\lim_{a \to \infty}\lim_{T \to \infty}$ one recovers the product limit law and the degeneration of the correlation length observed at shocks of order $1$. This result is shown to apply to a general last-passage percolation model. We also obtain bounds on the two-point functions of several $\mathrm{Airy}$ processes.


title: Accurate expansion of cylindrical paraxial waves for its straightforward implementation in electromagnetic scattering

abstract: The evaluation of vector wave fields can be accurately performed by means of diffraction integrals, differential equations and also series expansions. In this paper, a Bessel series expansion which basis relies on the exact solution of the Helmholtz equation in cylindrical coordinates is theoretically developed for the straightforward yet accurate description of low-numerical-aperture focal waves. The validity of this approach is confirmed by explicit application to Gaussian beams and apertured focused fields in the paraxial regime. Finally we discuss how our procedure can be favorably implemented in scattering problems.


title: Maximum entropy formalism for the analytic continuation of matrix-valued Green's functions

abstract: We present a generalization of the maximum entropy method to the analytic continuation of matrix-valued Green's functions. To treat off-diagonal elements correctly based on Bayesian probability theory, the entropy term has to be extended for spectral functions that are possibly negative in some frequency ranges. In that way, all matrix elements of the Green's function matrix can be analytically continued; we introduce a computationally cheap element-wise method for this purpose. However, this method cannot ensure important constraints on the mathematical properties of the resulting spectral functions, namely positive semidefiniteness and Hermiticity. To improve on this, we present a full matrix formalism, where all matrix elements are treated simultaneously. We show the capabilities of these methods using insulating and metallic dynamical mean-field theory (DMFT) Green's functions as test cases. Finally, we apply the methods to realistic material calculations for LaTiO$_3$, where off-diagonal matrix elements in the Green's function appear due to the distorted crystal structure.


title: An even simpler understanding of quantum weak values

abstract: We explain the properties and clarify the meaning of quantum weak values using only the basic notions of elementary quantum mechanics.


title: Grand-canonical Monte-Carlo simulation of solutions of salt mixtures: theory and implementation

abstract: A Grand-canonical Monte-Carlo simulation method extended to simulate a mixture of salts is presented. Due to charge neutrality requirement of electrolyte solutions, ions must be added to or removed from the system in groups. This leads to some complications compared to regular Grand Canonical simulation. Here, a recipe for simulation of electrolyte solution of salt mixture is presented. It is then implemented to simulate solution of 1:1, 2:1 and 2:2 salts or their mixtures at different concentrations using the primitive ion model. The osmotic pressures of the electrolyte solutions are calculated and shown to depend linearly on the salt concentrations within the concentration range simulated. We also show that at the same concentration of divalent anions, the presence of divalent cations make it easier to insert monovalent cations into the system. This can explain some quantitative differences observed in experiments of the MgCl$_2$ salt mixture and MgSO$_4$ salt mixture.


title: Multi-Level Variational Autoencoder: Learning Disentangled Representations from Grouped Observations

abstract: We would like to learn a representation of the data which decomposes an observation into factors of variation which we can independently control. Specifically, we want to use minimal supervision to learn a latent representation that reflects the semantics behind a specific grouping of the data, where within a group the samples share a common factor of variation. For example, consider a collection of face images grouped by identity. We wish to anchor the semantics of the grouping into a relevant and disentangled representation that we can easily exploit. However, existing deep probabilistic models often assume that the observations are independent and identically distributed. We present the Multi-Level Variational Autoencoder (ML-VAE), a new deep probabilistic model for learning a disentangled representation of a set of grouped observations. The ML-VAE separates the latent representation into semantically meaningful parts by working both at the group level and the observation level, while retaining efficient test-time inference. Quantitative and qualitative evaluations show that the ML-VAE model (i) learns a semantically meaningful disentanglement of grouped data, (ii) enables manipulation of the latent representation, and (iii) generalises to unseen groups.


title: Robust Block Preconditioners for Biot's Model

abstract: In this paper, we design robust and efficient block preconditioners for the two-field formulation of Biot's consolidation model, where stabilized finite-element discretizations are used. The proposed block preconditioners are based on the well-posedness of the discrete linear systems. Block diagonal (norm-equivalent) and block triangular preconditioners are developed, and we prove that these methods are robust with respect to both physical and discretization parameters. Numerical results are presented to support the theoretical results.


title: Parsing with CYK over Distributed Representations

abstract: Syntactic parsing is a key task in natural language processing. This task has been dominated by symbolic, grammar-based parsers. Neural networks, with their distributed representations, are challenging these methods. In this article we show that existing symbolic parsing algorithms can cross the border and be entirely formulated over distributed representations. To this end we introduce a version of the traditional Cocke-Younger-Kasami (CYK) algorithm, called D-CYK, which is entirely defined over distributed representations. Our D-CYK uses matrix multiplication on real number matrices of size independent of the length of the input string. These operations are compatible with traditional neural networks. Experiments show that our D-CYK approximates the original CYK algorithm. By showing that CYK can be entirely performed on distributed representations, we open the way to the definition of recurrent layers of CYK-informed neural networks.


title: How a General-Purpose Commonsense Ontology can Improve Performance of Learning-Based Image Retrieval

abstract: The knowledge representation community has built general-purpose ontologies which contain large amounts of commonsense knowledge over relevant aspects of the world, including useful visual information, e.g.: "a ball is used by a football player", "a tennis player is located at a tennis court". Current state-of-the-art approaches for visual recognition do not exploit these rule-based knowledge sources. Instead, they learn recognition models directly from training examples. In this paper, we study how general-purpose ontologies---specifically, MIT's ConceptNet ontology---can improve the performance of state-of-the-art vision systems. As a testbed, we tackle the problem of sentence-based image retrieval. Our retrieval approach incorporates knowledge from ConceptNet on top of a large pool of object detectors derived from a deep learning technique. In our experiments, we show that ConceptNet can improve performance on a common benchmark dataset. Key to our performance is the use of the ESPGAME dataset to select visually relevant relations from ConceptNet. Consequently, a main conclusion of this work is that general-purpose commonsense ontologies improve performance on visual reasoning tasks when properly filtered to select meaningful visual relations.


title: Low x gluons determined by open charm production

abstract: We use the LHCb data on the forward production of $D$ mesons at 7, 13 and 5 TeV to make a direct determination of the gluon distribution, $xg$, at NLO in the $10^{-5} \lesssim x \lesssim 10^{-4}$ region. We first use a simple parametrization of the gluon density in each of the four transverse momentum intervals of the detected $D$ mesons. Second, we use a double log parametrization to make a combined fit to all the LHCb $D$ meson data. The values found for $xg$ in the above $x$ domain are of the similar magnitude (or a bit larger) than the central values of extrapolations of the gluons obtained by the global PDF analyses into this small $x$ region. However, in contrast, we find $xg$ has a weak dependence on $x$.


title: On the $\mu$-ordinary locus of a Shimura variety

abstract: In this paper, we study the $\mu$-ordinary locus of a Shimura variety with parahoric level structure. Under the axioms in \cite{HR}, we show that $\mu$-ordinary locus is a union of some maximal Ekedahl-Kottwitz-Oort-Rapoport strata introduced in \cite{HR} and we give criteria on the density of the $\mu$-ordinary locus.


title: Search for neutrinoless quadruple-$\beta$ decay of $^{150}$Nd with the NEMO-3 detector

abstract: We report the results of a first experimental search for lepton number violation by four units in the neutrinoless quadruple-$\beta$ decay of $^{150}$Nd using a total exposure of $0.19$ kg$\cdot$y recorded with the NEMO-3 detector at the Modane Underground Laboratory (LSM). We find no evidence of this decay and set lower limits on the half-life in the range $T_{1/2}>(1.1-3.2)\times10^{21}$ y at the $90\%$ CL, depending on the model used for the kinematic distributions of the emitted electrons.


title: Joint Distribution Optimal Transportation for Domain Adaptation

abstract: This paper deals with the unsupervised domain adaptation problem, where one wants to estimate a prediction function $f$ in a given target domain without any labeled sample by exploiting the knowledge available from a source domain where labels are known. Our work makes the following assumption: there exists a non-linear transformation between the joint feature/label space distributions of the two domain $\mathcal{P}_s$ and $\mathcal{P}_t$. We propose a solution of this problem with optimal transport, that allows to recover an estimated target $\mathcal{P}^f_t=(X,f(X))$ by optimizing simultaneously the optimal coupling and $f$. We show that our method corresponds to the minimization of a bound on the target error, and provide an efficient algorithmic solution, for which convergence is proved. The versatility of our approach, both in terms of class of hypothesis or loss functions is demonstrated with real world classification and regression problems, for which we reach or surpass state-of-the-art results.


title: Parallel Matrix-Free Implementation of Frequency-Domain Finite Difference Methods for Cluster Computing

abstract: Full-wave 3D electromagnetic simulations of complex planar devices, multilayer interconnects, and chip packages are presented for wide-band frequency-domain analysis using the finite difference integration technique developed in the PETSc software package. Initial reordering of the index assignment to the unknowns makes the resulting system matrix diagonally dominant. The rearrangement also facilitates the decomposition of large domain into slices for passing the mesh information to different machines. Matrix-free methods are then exploited to minimize the number of element-wise multiplications and memory requirements in the construction of the system of linear equations. Besides, the recipes provide extreme ease of modifications in the kernel of the code. The applicability of different Krylov subspace solvers is investigated. The accuracy is checked through comparisons with CST MICROWAVE STUDIO transient solver results. The parallel execution of the compiled code on specific number of processors in multi-core distributed-memory architectures demonstrate high scalability of the computational algorithm.


title: Semi-supervised Learning with GANs: Manifold Invariance with Improved Inference

abstract: Semi-supervised learning methods using Generative Adversarial Networks (GANs) have shown promising empirical success recently. Most of these methods use a shared discriminator/classifier which discriminates real examples from fake while also predicting the class label. Motivated by the ability of the GANs generator to capture the data manifold well, we propose to estimate the tangent space to the data manifold using GANs and employ it to inject invariances into the classifier. In the process, we propose enhancements over existing methods for learning the inverse mapping (i.e., the encoder) which greatly improves in terms of semantic similarity of the reconstructed sample with the input sample. We observe considerable empirical gains in semi-supervised learning over baselines, particularly in the cases when the number of labeled examples is low. We also provide insights into how fake examples influence the semi-supervised learning procedure.


title: Residual-based a posteriori error analysis for symmetric mixed Arnold-Winther FEM

abstract: This paper introduces an explicit residual-based a posteriori error analysis for the symmetric mixed finite element method in linear elasticity after Arnold-Winther with pointwise symmetric and H(div)-conforming stress approximation. Opposed to a previous publication, the residual-based a posteriori error estimator of this paper is reliable and efficient and truly explicit in that it solely depends on the symmetric stress and does neither need any additional information of some skew symmetric part of the gradient nor any efficient approximation thereof. Hence it is straightforward to implement an adaptive mesh-refining algorithm obligatory in practical computations. Numerical experiments verify the proven reliability and efficiency of the new a posteriori error estimator and illustrate the improved convergence rate in comparison to uniform mesh-refining. A higher convergence rates for piecewise affine data is observed in the L2 stress error and reproduced in non-smooth situations by the adaptive mesh-refining strategy.


title: Fast holonomic quantum computation based on solid-state spins with all-optical control

abstract: Holonomic quantum computation is a quantum computation strategy that promises some built-in noise-resilience features. Here, we propose a scheme for nonadiabatic holonomic quantum computation with nitrogen-vacancy center electron spins, which are characterized by fast quantum gates and long qubit coherence times. By varying the detuning, amplitudes, and phase difference of lasers applied to a nitrogen-vacancy center, one can directly realize an arbitrary single-qubit holonomic gate on the spin. Meanwhile, with the help of cavity-assisted interactions, a nontrivial two-qubit holonomic quantum gate can also be induced. The distinct merit of this scheme is that all the quantum gates are obtained via an all-optical geometric manipulation of the solid-state spins. Therefore, our scheme opens the possibility for robust quantum computation using solid-state spins in an all-optical way.


title: Parity fluctuations in stellar dynamos

abstract: Observations of the solar butterfly diagram from sunspot records suggest persistent fluctuation in parity, away from the overall, approximately dipolar structure. We use a simple mean-field dynamo model with a solar-like rotation law, and perturb the $\alpha$-effect. We find that the parity of the magnetic field with respect to the rotational equator can demonstrate what we describe as resonant behaviour, while the magnetic energy behaves in a more or less expected way. We discuss possible applications of the phenomena in the context of various deviations of the solar magnetic field from dipolar symmetry, as reported from analysis of archival sunspot data. We deduce that our model produces fluctuations in field parity, and hence in the butterfly diagram, that are consistent with observed fluctaions in solar behaviour.


title: Mixed $A_2$-$A_\infty$ estimates of the non-homogeneous vector square function with matrix weights

abstract: This paper extends the results from arXiv:1702.04569 about sharp $A_2$-$A_\infty$ estimates with matrix weights to the non-homogeneous situation.


title: On the expected moments between two identical random processes with application to sensor network

abstract: We give a closed analytical formula for expected distance to the power $a$ between two identical general random processes, when $a$ is an even positive number. As an application to sensor network we prove that the optimal transportation cost to the power $b>0$ of the maximal random bicolored matching with edges $\{X_k,Y_k\}$ is in $\frac{\Theta\left(n^{\frac{b}{2}+1}\right)}{{\lambda}^b}$ when $b \ge 2,$ and in $\frac{O\left(n^{\frac{b}{2}+1}\right)}{{\lambda}^b}$ when $0< b < 2.$


title: Absence of jet quenching in peripheral nucleus-nucleus collisions

abstract: Medium effects on the production of high-$p_{\rm T}$ particles in nucleus-nucleus (AA) collisions are generally quantified by the nuclear modification factor ($R_{\rm AA}$), defined to be unity in absence of nuclear effects. Modeling particle production including a nucleon-nucleon impact parameter dependence, we demonstrate that $R_{\rm AA}$ at midrapidity in peripheral AA collisions can be significantly affected by event selection and geometry biases. Even without jet quenching and shadowing, these biases cause an apparent suppression for $R_{\rm AA}$ in peripheral collisions, and are relevant for all types of hard probes and all collision energies. Our studies indicate that calculations of jet quenching in peripheral AA collisions should account for the biases, or else they will overestimate the relevance of parton energy loss. Similarly, expectations of parton energy loss in light-heavy collision systems based on comparison with apparent suppression seen in peripheral $R_{\rm AA}$ should be revised. Our interpretation of the peripheral $R_{\rm AA}$ data would unify observations for lighter collision systems or lower energies where significant values of elliptic flow are observed despite the absence of strong jet quenching.


title: Perturbation of Conservation Laws and Averaging on Manifolds

abstract: We prove a stochastic averaging theorem for stochastic differential equations in which the slow and the fast variables interact. The approximate Markov fast motion is a family of Markov process with generator ${\mathcal L}_x$ for which we obtain a locally uniform law of large numbers and obtain the continuous dependence of their invariant measures on the parameter $x$. These results are obtained under the assumption that ${\mathcal L}_x$ satisfies H\"ormander's bracket conditions, or more generally ${\mathcal L}_x$ is a family of Fredholm operators with sub-elliptic estimates. On the other hand a conservation law of a dynamical system can be used as a tool for separating the scales in singular perturbation problems. We also study a number of motivating examples from mathematical physics and from geometry where we use non-linear conservation laws to deduce slow-fast systems of stochastic differential equations.


title: Audio-replay attack detection countermeasures

abstract: This paper presents the Speech Technology Center (STC) replay attack detection systems proposed for Automatic Speaker Verification Spoofing and Countermeasures Challenge 2017. In this study we focused on comparison of different spoofing detection approaches. These were GMM based methods, high level features extraction with simple classifier and deep learning frameworks. Experiments performed on the development and evaluation parts of the challenge dataset demonstrated stable efficiency of deep learning approaches in case of changing acoustic conditions. At the same time SVM classifier with high level features provided a substantial input in the efficiency of the resulting STC systems according to the fusion systems results.


title: More Circulant Graphs exhibiting Pretty Good State Transfer

abstract: The transition matrix of a graph $G$ corresponding to the adjacency matrix $A$ is defined by $H(t):=\exp{\left(-itA\right)},$ where $t\in\mathbb{R}$. The graph is said to exhibit pretty good state transfer between a pair of vertices $u$ and $v$ if there exists a sequence $\left\lbrace t_k\right\rbrace$ of real numbers such that $\lim\limits_{k\rightarrow\infty} H(t_k) {\bf e}_u=\gamma {\bf e}_v$, where $\gamma$ is a complex number of unit modulus. We classify some circulant graphs exhibiting or not exhibiting pretty good state transfer. This generalize several pre-existing results on circulant graphs admitting pretty good state transfer.


title: Geometric growth for Anosov maps on the $3$ torus

abstract: We prove that for Anosov maps of the $3$-torus if the Lyapunov exponents of absolutely continuous measures in every direction are equal to the geometric growth of the invariant foliations then $f$ is $C^1$ conjugated to his linear part.


title: Handover analysis of the Improved Phantom Cells

abstract: Improved Phantom cell is a new scenario which has been introduced recently to enhance the capacity of Heterogeneous Networks (HetNets). The main trait of this scenario is that, besides maximizing the total network capacity in both indoor and outdoor environments, it claims to reduce the handover number compared to the conventional scenarios. In this paper, by a comprehensive review of the Improved Phantom cells structure, an appropriate algorithm will be introduced for the handover procedure of this scenario. To reduce the number of handover in the proposed algorithm, various parameters such as the received Signal to Interference plus Noise Ratio (SINR) at the user equipment (UE), users access conditions to the phantom cells, and users staying time in the target cell based on its velocity, has been considered. Theoretical analyses and simulation results show that applying the suggested algorithm the improved phantom cell structure has a much better performance than conventional HetNets in terms of the number of handover.


title: On Fujita's conjecture for pseudo-effective thresholds

abstract: We show Fujita's spectrum conjecture for $\epsilon$-log canonical pairs and Fujita's log spectrum conjecture for log canonical pairs. Then, we generalize the pseudo-effective threshold of a single divisor to multiple divisors and establish the analogous finiteness and the DCC properties.


title: Running of the Charm-Quark Mass from HERA Deep-Inelastic Scattering Data

abstract: Combined HERA data on charm production in deep-inelastic scattering have previously been used to determine the charm-quark running mass $m_c(m_c)$ in the MSbar renormalisation scheme. Here, the same data are used as a function of the photon virtuality $Q^2$ to evaluate the charm-quark running mass at different scales to one-loop order, in the context of a next-to-leading order QCD analysis. The scale dependence of the mass is found to be consistent with QCD expectations.


abstract: In this paper, we have compared two different accretion mechanisms of dark matter particles by a canonical neutron star with $M=1.4~M_{\odot}$ and $R=10~{\rm km}$, and shown the effects of dark matter heating on the surface temperature of star. We should take into account the Bondi accretion of dark matter by neutron stars rather than the accretion mechanism of Kouvaris (2008) \citep{Kouvaris08}, once the dark matter density is higher than $\sim3.81~\rm GeV/cm^3$. Based on the Bondi accretion mechanism and heating of dark matter annihilation, the surface temperature platform of star can appear at $\sim 10^{6.5}$ year and arrive $\sim 1.12\times10^5$ K for the dark matter density of $3.81~\rm GeV/cm^3$, which is one order of magnitude higher than the case of Kouvaris (2008) with dark matter density of $30~\rm GeV/cm^3$.