title: Exploring GeV-scale Majorana neutrinos in lepton-number-violating $\Lambda_b^0$ baryon decays

abstract: In this work, the lepton-number-violating processes in $|\Delta L|=2$ decays of $\Lambda_b^0$ baryon, $\Lambda_b^0 \to p \pi^+\mu^- \mu^-$ and $\Lambda_b^0 \to \Lambda_c^+ \pi^+\mu^- \mu^-$, are investigated for the first time, via an intermediate on-shell Majorana neutrino $N$ with a mass in the GeV scale. We explore the experimental sensitivity of these dimuon channels at the LHCb and CMS experiments, in which heavy neutrino lifetimes in the accessible ranges of $\tau_N = [1, 100, 1000]$ ps are considered. For a integrated luminosity collected of 10 and 50 fb${}^{-1}$ at the LHCb and 30, 300 and 3000 fb${}^{-1}$ at the CMS, we found significant sensitivity on branching fractions of the order ${\rm BR}(\Lambda_b^0 \to p \pi^+\mu^- \mu^-) \lesssim \mathcal{O}(10^{-9} - 10^{-8})$ and ${\rm BR}(\Lambda_b^0 \to \Lambda_c^+ \pi^+\mu^- \mu^-) \lesssim \mathcal{O}(10^{-8} - 10^{-7})$. Exclusion regions on the parameter space ($m_N,|V_{\mu N}|^{2}$) associated with the heavy neutrino are presented and compared with those from $K^- \to \pi^+\mu^-\mu^-$ (NA48/2) and $B^- \to \pi^+\mu^-\mu^-$ (LHCb) as well as by different search strategies such as NA3, CHARMII, NuTeV, Belle, and DELPHI.


title: Automorphism groups of quandles and related groups

abstract: In this paper we study different questions concerning automorphisms of quandles. For a conjugation quandle $Q={\rm Conj}(G)$ of a group $G$ we determine several subgroups of ${\rm Aut}(Q)$ and find necessary and sufficient conditions when these subgroups coincide with the whole group ${\rm Aut}(Q)$. In particular, we prove that ${\rm Aut}({\rm Conj}(G))={\rm Z}(G)\rtimes {\rm Aut}(G)$ if and only if either ${\rm Z}(G)=1$ or $G$ is one of the groups $\mathbb{Z}_2$, $\mathbb{Z}_2^2$ or $\mathbb{Z}_3$. For a big list of Takasaki quandles $T(G)$ of an abelian group $G$ with $2$-torsion we prove that the group of inner automorphisms ${\rm Inn}(T(G))$ is a Coxeter group. We study automorphisms of certain extensions of quandles and determine some interesting subgroups of the automorphism groups of these quandles. Also we classify finite quandles $Q$ with $3\leq k$-transitive action of ${\rm Aut}(Q)$.


title: Third-order Limiting for Hyperbolic Conservation Laws applied to Adaptive Mesh Refinement and Non-Uniform 2D Grids

abstract: In this paper we extend the recently developed third-order limiter function $H_{3\text{L}}^{(c)}$ [J. Sci. Comput., (2016), 68(2), pp.~624--652] to make it applicable for more elaborate test cases in the context of finite volume schemes. This work covers the generalization to non-uniform grids in one and two space dimensions, as well as two-dimensional Cartesian grids with adaptive mesh refinement (AMR). The extension to 2D is obtained by the common approach of dimensional splitting. In order to apply this technique without loss of third-order accuracy, the order-fix developed by Buchm\"uller and Helzel [J. Sci. Comput., (2014), 61(2), pp.~343--368] is incorporated into the scheme. Several numerical examples on different grid configurations show that the limiter function $H_{3\text{L}}^{(c)}$ maintains the optimal third-order accuracy on smooth profiles and avoids oscillations in case of discontinuous solutions.


title: The Dynamic Bowser Routing Problem

abstract: We investigate opportunities offered by telematics and analytics to enable better informed, and more integrated, collaborative management decisions on construction sites. We focus on efficient refuelling of assets across construction sites. More specifically, we develop decision support models that, by leveraging data supplied by different assets, schedule refuelling operations by minimising the distance travelled by the bowser truck as well as fuel shortages. Motivated by a practical case study elicited in the context of a project we recently conducted at Crossrail, we introduce the Dynamic Bowser Routing Problem. In this problem the decision maker aims to dynamically refuel, by dispatching a bowser truck, a set of assets which consume fuel and whose location changes over time; the goal is to ensure that assets do not run out of fuel and that the bowser covers the minimum possible distance. We investigate deterministic and stochastic variants of this problem and introduce effective and scalable mathematical programming models to tackle these cases. We demonstrate the effectiveness of our approaches in the context of an extensive computational study designed around data collected on site as well as supplied by our project partners. Keywords: Routing; Dynamic Bowser Routing Problem; Stochastic Bowser Routing Problem; Mixed-Integer Linear Programming; Construction.


title: The Importance of Automatic Syntactic Features in Vietnamese Named Entity Recognition

abstract: This paper presents a state-of-the-art system for Vietnamese Named Entity Recognition (NER). By incorporating automatic syntactic features with word embeddings as input for bidirectional Long Short-Term Memory (Bi-LSTM), our system, although simpler than some deep learning architectures, achieves a much better result for Vietnamese NER. The proposed method achieves an overall F1 score of 92.05% on the test set of an evaluation campaign, organized in late 2016 by the Vietnamese Language and Speech Processing (VLSP) community. Our named entity recognition system outperforms the best previous systems for Vietnamese NER by a large margin.


title: On Laplacian energy of non-commuting graphs of finite groups

abstract: In this paper, we compute Laplacian energy of the non-commuting graphs of some classes of finite non-abelian groups.


title: Correlated Uncertainties in Monte Carlo Reaction Rate Calculations

abstract: Context. Monte Carlo methods have enabled nuclear reaction rates from uncertain inputs to be presented in a statistically meaningful manner. However, these uncertainties are currently computed assuming no correlations between the physical quantities that enter those calculations. This is not always an appropriate assumption. Astrophysically important reactions are often dominated by resonances, whose properties are usually normalized to a well-known reference resonance. This insight provides a basis from which to develop a flexible framework for including correlations in Monte Carlo reaction rate calculations. Aims. The aim of this work is to develop and test a method for including correlations in Monte Carlo reaction rate calculations when the input has been normalized to a common reference. Methods. A mathematical framework is developed for including correlations between input parameters in Monte Carlo reaction rate calculations. The magnitude of those correlations is calculated from the uncertainties typically reported in experimental papers, where full correlation information is not available. The method is applied to four illustrative examples: a fictional 3-resonance reaction, $^{27}$Al(p,$\gamma$)$^{28}$Si, $^{23}$Na(p,$\alpha$)$^{20}$Ne, and $^{23}$Na($\alpha$,p)$^{26}$Al. Results. Reaction rates at low temperatures that are dominated by a few isolated resonances are found to minimally impacted by correlation effects. However, reaction rates determined from many overlapping resonances can be significantly affected. Uncertainties in the $^{23}$Na($\alpha$,p)$^{26}$Al reaction, for example, increase by up to a factor of 5. This highlights the need to take correlation effects into account in reaction rate calculations, and provide insight into which cases are expected to be most affected by them. The impact of correlation effects on nucleosynthesis is also investigated.


title: Consistency tests for the extraction of the Boer-Mulders and Sivers functions

abstract: At present, the Boer-Mulders (BM) function for a given quark flavour is extracted from data on semi-inclusive deep inelastic scattering (SIDIS) using the simplifying assumption that it is proportional to the Sivers function for that flavour. In a recent paper we suggested that the consistency of this assumption could be tested using information on so-called difference asymmetries, i.e. the difference between the asymmetries in the production of particles and their anti-particles. In this paper, using the SIDIS COMPASS deuteron data on the $\langle\cos\phi_h\rangle$, $\langle\cos 2 \phi_h\rangle$ and Sivers difference asymmetries, we carry out two independent consistency tests of the assumption of proportionality, but here applied to the sum of the valence-quark contributions. We find that such an assumption is compatible with the data. We also show that the proportionality assumptions made in the existing parametrizations of the BM functions are not compatible with our analysis, which suggests that the published results for the Boer-Mulders functions for individual flavours are unreliable. The $\langle\cos\phi_h\rangle$ and $\langle\cos 2 \phi_h\rangle$ asymmetries receive contributions also from the, in principle, calculable Cahn effect. We succeed in extracting the Cahn contributions from experiment (we believe for the first time) and compare with their calculated values, with interesting implications.


title: Near-Optimal Vector Linear Index Codes For Single Unicast Index Coding Problems with Symmetric Neighboring Interference

abstract: A single unicast index coding problem (SUICP) with symmetric neighboring interference (SNI) has equal number of $K$ messages and $K$ receivers, the $k$th receiver $R_{k}$ wanting the $k$th message $x_{k}$ and having the side-information $\mathcal{K}_{k}=(\mathcal{I}_{k} \cup x_{k})^c,$ where ${I}_k= \{x_{k-U},\dots,x_{k-2},x_{k-1}\}\cup\{x_{k+1}, x_{k+2},\dots,x_{k+D}\}$ is the interference with $D$ messages after and $U$ messages before its desired message. Maleki, Cadambe and Jafar obtained the capacity of this single unicast index coding problem with symmetric neighboring interference (SUICP-SNI) with $K$ tending to infinity and Blasiak, Kleinberg and Lubetzky for the special case of $(D=U=1)$ with $K$ being finite. In our previous work, we proved the capacity of SUICP-SNI for arbitrary $K$ and $D$ with $U=\text{gcd}(K,D+1)-1$. This paper deals with near-optimal linear code construction for SUICP-SNI with arbitrary $K,U$ and $D.$ For SUICP-SNI with arbitrary $K,U$ and $D$, we define a set of $2$-tuples such that for every $(a,b)$ in that set the rate $D+1+\frac{a}{b}$ is achieved by using vector linear index codes over every field. We prove that the set $\mathcal{\mathbf{S}}$ consists of $(a,b)$ such that the rate of constructed vector linear index codes are at most $\frac{K~\text{mod}~(D+1)}{\left \lfloor \frac{K}{D+1} \right \rfloor}$ away from a known lower bound on broadcast rate of SUICP-SNI. The three known results on the exact capacity of the SUICP-SNI are recovered as special cases of our results. Also, we give a low complexity decoding procedure for the proposed vector linear index codes for the SUICP-SNI.


title: Linkage of modules with respect to a semidualizing module

abstract: The notion of linkage with respect to a semidualizing module is introduced. It is shown that over a Cohen-Macaulay local ring with canonical module, every Cohen-Macaulay module of finite Gorenstein injective dimension is linked with respect to the canonical module. For a linked module $M$ with respect to a semidualizing module, the connection between the Serre condition $(S_n)$ on $M$ with the vanishing of certain local cohomology modules of its linked module is discussed.


title: Dynamics of electron currents in nanojunctions with time-varying components and interactions

abstract: We study the dynamics of the electron current in nanodevices where there are time-varying components and interactions. These devices are a nanojunction attached to heat baths and with dynamical electron-phonon interactions and a nanojunction with photon beams incident and reflected at the channel. We use the two-time nonequilibrium Green's functions technique to calculate the time-dependent electron current flowing across the devices. We find that whenever a sudden change occurs in the device, the current takes time to react to the abrupt change, overshoots, oscillates, and eventually settles down to a steady value. With dynamical electron-phonon interactions, the interaction gives rise to a net resistance that reduces the flow of current across the device when a source-drain bias potential is attached. In the presence of dynamical electron-photon interactions, the photons drive the electrons to flow. The direction of flow, however, depends on the frequencies of the incident photons. Furthermore, the direction of electron flow in one lead is exactly opposite to the direction of flow in the other lead thereby resulting in no net change in current flowing across the device.


title: The nuclear configurational entropy impact parameter dependence in the Color-Glass Condensate

abstract: The impact parameter (b) dependence on the saturation scale, in the framework of the Color Glass Condensate (b-CGC) dipole model, is investigated from the configurational point of view. During the calculations and analysis of the quantum nuclear states, the critical points of stability in the configurational entropy setup are computed, matching the experimental parameters that define the onset of the quantum regime in the b-CGC in the literature with very good accuracy. This new approach is crucial and important for understanding the stability of quantum systems in study of deep inelastic scattering processes.


title: On the effectiveness of the truth-spreading/rumor-blocking strategy for restraining rumors

abstract: Spreading truths and blocking rumors are two typical strategies for inhibiting rumors. In practice, a tradeoff between the two strategies, which is known as the TSRB strategy, may achieve a better cost-effectiveness. This paper is devoted to assessing the effectiveness of the TSRB strategy. For that purpose, an individual-level spreading model (the generic URQT model) capturing the interaction between a rumor and the truth is established. Under the model, a set of criteria for the dying out of a rumor is presented. These criteria capture the combined influence of the basic parameters and the network structures on the effectiveness of the TSRB strategy. Experimental results show that, when the rumor dies out, the dynamics of a simplified URQT model (the linear URQT model) fits well with the actual rumor-truth interacting process. Therefore, the generic URQT model and sometimes the linear URQT model provide a proper basis for assessing the effectiveness of the TSRB strategy.


title: The Zak transform and Wiener estimates on Gelfand-Shilov and modulation spaces with applications to operator theory

abstract: We characterize Gelfand-Shilov spaces, their distribution spaces and modulation spaces in terms of estimates of their Zak transforms. We use these result for general investigations of quasi-periodic functions and distributions. We also establish necessary and sufficient conditions for linear operators in order for these operators should be conjugations by the Zak transform.


title: Neutrino mass in a gauged $L_\mu - L_\tau$ model

abstract: We study the origin of neutrino mass through lepton-number violation and spontaneous $U(1)_{L_\mu-L_\tau}$ symmetry breaking. To accomplish the purpose, we include one Higgs triplet, two singlet scalars, and two vector-like doublet leptons in the $U(1)_{L_\mu-L_\tau}$ gauge extension of the standard model. To completely determine the free parameters, we employ the Frampton-Glashow-Marfatia (FGM) two-zero texture neutrino mass matrix as a theoretical input. It is found that when some particular Yukawa couplings vanish, an FGM pattern can be achieved in the model. Besides the explanation of neutrino data, we find that the absolute value of neutrino mass $m_j$ can be obtained in the model, and their sum can satisfy the upper bound of the cosmological measurement with $\sum_j |m_j| < 0.12$ eV. The effective Majorana neutrino mass for neutrinoless double-beta decay is below the current upper limit and is obtained as $\langle m_{\beta \beta} \rangle =(0.34,\, 2.3)\times 10^{-2}$ eV. In addition, the doubly charged Higgs $H^{\pm\pm}$ decaying to $\mu^\pm \tau^\pm$ final states can be induced from a dimension-6 operator and is not suppressed, and its branching ratio is compatible with the $H^{\pm \pm}\to W^\pm W^\pm$ decay when the vacuum expectation value of Higgs triplet is $O(0.01)$ GeV.


title: Community Structure Characterization

abstract: This entry discusses the problem of describing some communities identified in a complex network of interest, in a way allowing to interpret them. We suppose the community structure has already been detected through one of the many methods proposed in the literature. The question is then to know how to extract valuable information from this first result, in order to allow human interpretation. This requires subsequent processing, which we describe in the rest of this entry.


title: Remarks on bernoulli constants, gauge conditions and phase velocities in the context of water waves

abstract: This short note is about the gauge condition for the velocity potential, the definitions of the Bernoulli constant and of the velocity speeds in the context of water waves. These definitions are often implicit and thus the source of confusion in the literature. This


title: Supersymmetric vortex defects in two dimensions

abstract: We study codimension-two BPS defects in 2d N=(2,2) supersymmetric gauge theories, focusing especially on those characterized by vortex-like singularities in the dynamical or non-dynamical gauge field. We classify possible SUSY-preserving boundary conditions on charged matter fields around the vortex defects, and derive a formula for defect correlators on the squashed sphere. We also prove an equivalence relation between vortex defects and 0d-2d coupled systems. Our defect correlators are shown to be consistent with the mirror symmetry duality between Abelian gauged linear sigma models and Landau-Ginzburg models, as well as that between the minimal model and its orbifold. We also study the vortex defects inserted at conical singularities.


title: A Dynamically Reconfigurable Terahertz Array Antenna for Near-field Imaging Applications

abstract: A proof of concept for high speed near-field imaging with sub-wavelength resolution using SLM is presented. An 8 channel THz detector array antenna with an electrode gap of 100 um and length of 5 mm is fabricated using the commercially available GaAs semiconductor substrate. Each array antenna can be excited simultaneously by spatially reconfiguring the optical probe beam and the THz electric field can be recorded using 8 channel lock-in amplifiers. By scanning the probe beam along the length of the array antenna, a 2D image can be obtained with amplitude, phase and frequency information.


title: On the decidability of $k$-Block determinism

abstract: Br\"uggemann-Klein and Wood define a one-unambiguous regular language as a language that can be recognized by a deterministic Glushkov automaton. They give a procedure performed on the minimal DFA, the BW-test, to decide whether a language is one-unambiguous. Block determinism is an extension of one-unambiguity while considering non-empty words as symbols and prefix-freeness as determinism. A block automaton is compact if it does not have two equivalent states (same right language). We showed that a language is $k$-block deterministic if it is recognized by some deterministic $k$-block automaton passing the BW-test. In this paper, we show that any $k$-block deterministic language is recognized by a compact deterministic $k$-block automaton passing the BW-test. We also give a procedure which enumerates, for a given language, the finite set of compact deterministic $k$-block automata. It gives us a decidable procedure to test whether a language is $k$-block deterministic.


title: Effective potential of the three-dimensional Ising model: the pseudo-$\epsilon$ expansion study

abstract: The ratios $R_{2k}$ of renormalized coupling constants $g_{2k}$ that enter the effective potential and small-field equation of state acquire the universal values at criticality. They are calculated for the three-dimensional scalar $\lambda\phi^4$ field theory (3D Ising model) within the pseudo-$\epsilon$ expansion approach. Pseudo-$\epsilon$ expansions for the critical values of $g_6$, $g_8$, $g_{10}$, $R_6 = g_6/g_4^2$, $R_8 = g_8/g_4^3$ and $R_{10} = g_{10}/g_4^4$ originating from the five-loop renormalization group (RG) series are derived. Pseudo-$\epsilon$ expansions for the sextic coupling have rapidly diminishing coefficients, so addressing Pad\'e approximants yields proper numerical results. Use of Pad\'e--Borel--Leroy and conformal mapping resummation techniques further improves the accuracy leading to the values $R_6^* = 1.6488$ and $R_6^* = 1.6490$ which are in a brilliant agreement with the result of advanced lattice calculations. For the octic coupling the numerical structure of the pseudo-$\epsilon$ expansions is less favorable. Nevertheless, the conform-Borel resummation gives $R_8^* = 0.868$, the number being close to the lattice estimate $R_8^* = 0.871$ and compatible with the result of 3D RG analysis $R_8^* = 0.857$. Pseudo-$\epsilon$ expansions for $R_{10}^*$ and $g_{10}^*$ are also found to have much smaller coefficients than those of the original RG series. They remain, however, fast growing and big enough to prevent obtaining fair numerical estimates.

categories: cond-mat.stat-mech hep-lat hep-ph hep-th


title: Fast optical control of spin in semiconductor interfacial structures

abstract: We report on a picosecond-fast optical removal of spin polarization from a self-confined photo-carrier system at an undoped GaAs/AlGaAs interface possessing superior long-range and high-speed spin transport properties. We employed a modified resonant spin amplification technique with unequal intensities of subsequent pump pulses to experimentally distinguish the evolution of spin populations originating from different excitation laser pulses. We demonstrate that the density of spins, which is injected into the system by means of the optical orientation, can be controlled by reducing the electrostatic confinement of the system using an additional generation of photocarriers. It is also shown that the disturbed confinement recovers within hundreds of picoseconds after which spins can be again photo-injected into the system.


title: Two-phase heat conductors with a stationary isothermic surface and their related elliptic overdetermined problems

abstract: We consider a two-phase heat conductor in two dimensions consisting of a core and a shell with different constant conductivities. When the medium outside the two-phase conductor has a possibly different conductivity, we consider the Cauchy problem in two dimensions where initially the conductor has temperature 0 and the outside medium has temperature 1. It is shown that, if there is a stationary isothermic surface in the shell near the boundary, then the structure of the conductor must be circular. Moreover, as by-products of the method of the proof, we mention other proofs of all the previous results of the author in $N(\ge 2)$ dimensions and two theorems on their related two-phase elliptic overdetermined problems.


title: Pair Production of Scalar Dyons in Kerr-Newman Black Holes

abstract: We study the spontaneous pair production of scalar dyons in the near extremal dyonic Kerr-Newman (KN) black hole, which contains a warped AdS$_3$ structure in the near horizon region. The leading term contribution of the pair production rate and the absorption cross section ratio are also calculated using the Hamilton-Jacobi approach and the thermal interpretation is given. In addition, the holographic dual conformal field theories (CFTs) descriptions of the pair production rate and absorption cross section ratios are analyzed both in the $J$-, $Q$- and $P$-pictures respectively based on the threefold dyonic KN/CFTs dualities.


title: Optical Communication in Space: Challenges and Mitigation Techniques

abstract: In recent years, free space optical communication has gained significant importance owing to its unique features: large bandwidth, license-free spectrum, high data rate, easy and quick deployability, less power and low mass requirements. FSO communication uses the optical carrier in the near infrared band to establish either terrestrial links within the Earth's atmosphere or inter-satellite or deep space links or ground-to-satellite or satellite-to-ground links. However, despite the great potential of FSO communication, its performance is limited by the adverse effects viz., absorption, scattering, and turbulence of the atmospheric channel. This paper presents a comprehensive survey on various challenges faced by FSO communication system for ground-to-satellite or satellite-to-ground and inter-satellite links. It also provides details of various performance mitigation techniques in order to have high link availability and reliability. The first part of the paper will focus on various types of impairments that pose a serious challenge to the performance of optical communication system for ground-to-satellite or satellite-to-ground and inter-satellite links. The latter part of the paper will provide the reader with an exhaustive review of various techniques both at physical layer as well as at the other layers i.e., link, network or transport layer to combat the adverse effects of the atmosphere. It also uniquely presents a recently developed technique using orbital angular momentum for utilizing the high capacity advantage of the optical carrier in case of space-based and near-Earth optical communication links. This survey provides the reader with comprehensive details on the use of space-based optical backhaul links in order to provide high-capacity and low-cost backhaul solutions.


title: Weyl fermions in a family of G\"{o}del-type geometries with a topological defect

abstract: In this paper we study Weyl fermions in a family of G\"odel-type geometries in Einstein general relativity. We also consider that these solutions are embedded in a topological defect background. We solve the Weyl equation and find the energy eigenvalues and eigenspinors for all three cases of G\"odel-type geometries where a topological defect is passing through them. We show that the presence of a topological in these geometries contributes to modification of the spectrum of energy. The energy zero modes for all three cases of the G\"odel geometries are discussed.


title: Strong geodesic convex functions of order m

abstract: Strong geodesic convex function and strong monotone vector field of order $m$ on Riemannian manifolds have been established. A characterization of strong geodesic convex function of order $m$ for the continuously differentiable functions has been discussed. The relation between the solution of a new variational inequality problem and the strict minimizers of order $m$ for a multiobjective programming problem has also been established.


title: Distributed Matrix Factorization using Asynchrounous Communication

abstract: Using the matrix factorization technique in machine learning is very common mainly in areas like recommender systems. Despite its high prediction accuracy and its ability to avoid over-fitting of the data, the Bayesian Probabilistic Matrix Factorization algorithm (BPMF) has not been widely used on large scale data because of the prohibitive cost. In this paper, we propose a distributed high-performance parallel implementation of the BPMF using Gibbs sampling on shared and distributed architectures. We show by using efficient load balancing using work stealing on a single node, and by using asynchronous communication in the distributed version we beat state of the art implementations.


title: Non-reduced moduli spaces of sheaves on multiple curves

abstract: Some coherent sheaves on projective varieties have a non reduced versal deformation space. For example, this is the case for most unstable rank 2 vector bundles on ${\mathbb P}_2$. In particular, it may happen that some moduli spaces of stable sheaves are non reduced. We consider the case of some sheaves on ribbons (double structures on smooth projective curves): the quasi locally free sheaves of rigid type. Le $E$ be such a sheaf. -- Let ${\mathcal E}$ be a flat family of sheaves containing $E$. We find that it is a reduced deformation of $E$ when some canonical family associated to ${\mathcal E}$ is also flat. -- We consider a deformation of the ribbon to reduced projective curves with two components, and find that $E$ can be deformed in two distinct ways to sheaves on the reduced curves. In particular some components $\bf M$ of the moduli spaces of stable sheaves deform to two components of the moduli spaces of sheaves on the reduced curves, and $\bf M$ appears as the "limit" of varieties with two components, whence the non reduced structure of $\bf M$.


title: A Predictive Momentum-Based Whole-Body Torque Controller: Theory and Simulations for the iCub Stepping

abstract: When balancing, a humanoid robot can be easily subjected to unexpected disturbances like external pushes. In these circumstances, reactive movements as steps become a necessary requirement in order to avoid potentially harmful falling states. In this paper we conceive a Model Predictive Controller which determines a desired set of contact wrenches by predicting the future evolution of the robot, while taking into account constraints switching in case of steps. The control inputs computed by this strategy, namely the desired contact wrenches, are directly obtained on the robot through a modification of the momentum-based whole-body torque controller currently implemented on iCub. The proposed approach is validated through simulations in a stepping scenario, revealing high robustness and reliability when executing a recovery strategy.


title: Integrable 7-point discrete equations and evolution lattice equations of order 2

abstract: We consider differential-difference equations that determine the continuous symmetries of discrete equations on the triangular lattice. It is shown that a certain combination of continuous flows can be represented as a scalar evolution lattice equation of order 2. The general scheme is illustrated by a number of examples, including an analog of the elliptic Yamilov lattice equation.


title: Resurrecting the exponential and inverse power-law potentials in non-canonical inflation

abstract: We study inflation within the framework of non-canonical scalar field. In this scenario, we obtain the inflationary observables such as the scalar spectral index, the tensor-to-scalar ratio, the running of the scalar spectral index as well as the equilateral non-Gaussianity parameter. Then, we apply these results for the exponential and inverse power-law potentials. Our investigation shows that although the predictions of these potentials in the standard canonical inflation are completely ruled out by the Planck 2015 observations, their results in non-canonical scenario can lie inside the allowed regions of the Planck 2015 data. We also find that in non-canonical inflation, the predictions of the aforementioned potentials for the running of the scalar spectral index and the equilateral non-Gaussianity parameter are in well agreement with the Planck 2015 results. Furthermore, we show that in the context of non-canonical inflation, the graceful exit problem of the exponential and inverse power-law potentials is resolved.


title: A Receding Horizon Push Recovery Strategy for Balancing the iCub Humanoid Robot

abstract: Balancing and reacting to strong and unexpected pushes is a critical requirement for humanoid robots. We recently designed a capture point based approach which interfaces with a momentum-based torque controller and we implemented and validated it on the iCub humanoid robot. In this work we implement a Receding Horizon control, also known as Model Predictive Control, to add the possibility to predict the future evolution of the robot, especially the constraints switching given by the hybrid nature of the system. We prove that the proposed MPC extension makes the step-recovery controller more robust and reliable when executing the recovery strategy. Experiments in simulation show the results of the proposed approach.


title: Grammatical Inference as a Satisfiability Modulo Theories Problem

abstract: The problem of learning a minimal consistent model from a set of labeled sequences of symbols is addressed from a satisfiability modulo theories perspective. We present two encodings for deterministic finite automata and extend one of these for Moore and Mealy machines. Our experimental results show that these encodings improve upon the state-of-the-art, and are useful in practice for learning small models.


title: Spatially and spectrally resolved orbital angular momentum interactions in plasmonic vortex generators

abstract: Understanding the near-field electromagnetic interactions that produce optical orbital angular momentum (OAM) is central to the integration of twisted light into nanotechnology. Here, we examine the cathodoluminescence (CL) of plasmonic vortices carrying OAM generated in spiral nanostructures through scanning transmission electron microscopy (STEM). The nanospiral geometry defines the photonic local density of states (LDOS) sampled by STEM-CL, which provides access to the phase and amplitude of the plasmonic vortex with nanometer spatial and meV spectral resolution. We map the full spectral dispersion of the plasmonic vortex in the spiral structure and examine the effects of increasing topological charge on the plasmon phase and amplitude in the detected CL signal. The vortex is mapped in CL over a broad spectral range, and deviations between the predicted and detected positions of near-field optical signatures of as much as 5 per cent are observed. Finally, enhanced luminescence is observed from concentric spirals of like handedness compared to that from concentric spirals of opposite handedness, indicating the potential to couple plasmonic vortices to chiral nanostructures for sensitive detection and manipulation of optical OAM.


title: Isotope effect on blob-statistics in gyrofluid simulations of scrape-off layer turbulence

abstract: We investigate time-series obtained from gyrofluid simulations in coupled edge/scrape-off layer turbulence characteristic for fusion edge-region plasmas. Blob birth near the separatrix produces intermittent signals whose statistics depend on the ion mass of the reactor fuel, pointing towards overall slower dynamics for heavier isotopes. We find that a recently established shot-noise stochastic model for scrape-off layer fluctuations coincides reasonably well with the numerical simulations performed in this contribution.


title: Optimizing Trade-offs Among Stakeholders in Real-Time Bidding by Incorporating Multimedia Metrics

abstract: Displaying banner advertisements (in short, ads) on webpages has usually been discussed as an Internet economics topic where a publisher uses auction models to sell an online user's page view to advertisers and the one with the highest bid can have her ad displayed to the user. This is also called \emph{real-time bidding} (RTB) and the ad displaying process ensures that the publisher's benefit is maximized or there is an equilibrium in ad auctions. However, the benefits of the other two stakeholders -- the advertiser and the user -- have been rarely discussed. In this paper, we propose a two-stage computational framework that selects a banner ad based on the optimized trade-offs among all stakeholders. The first stage is still auction based and the second stage re-ranks ads by considering the benefits of all stakeholders. Our metric variables are: the publisher's revenue, the advertiser's utility, the ad memorability, the ad click-through rate (CTR), the contextual relevance, and the visual saliency. To the best of our knowledge, this is the first work that optimizes trade-offs among all stakeholders in RTB by incorporating multimedia metrics. An algorithm is also proposed to determine the optimal weights of the metric variables. We use both ad auction datasets and multimedia datasets to validate the proposed framework. Our experimental results show that the publisher can significantly improve the other stakeholders' benefits by slightly reducing her revenue in the short-term. In the long run, advertisers and users will be more engaged, the increased demand of advertising and the increased supply of page views can then boost the publisher's revenue.


title: Probing Quantum States with Momentum Boosts

abstract: We present a technique to diagnose the condensate fraction in a one-dimensional optical lattice of weakly interacting bosons based on the dynamics of the trapped atoms under the influence of a momentum kick. It is shown using the Multi-Configuration Time Dependent Hartree method for Bosons (MCTDHB) that the two extreme cases of the superfluid and Mott insulator states exhibit different behaviors when the lattice is briefly tilted. The current induced by the momentum boost caused by the tilt which depends directly on the amount of phase coherence between the lattice sites is linearly proportional to the condensate fraction. The atom-atom interactions only change the slope of the linear relationship. We discuss the applications of this scheme in magnetic field gradiometery.


title: A general procedure for accurate defect excitation energies from DFT-1/2 band structures: The case of NV$^-$ center in diamond

abstract: A major challenge in creating a quantum computer is to find a quantum system that can be used to implement the qubits. For this purpose, deep centers are prominent candidates, and ab initio calculations are one of the most important tools to theoretically study their properties. However, these calculations are highly involved, due to the large supercell needed, and the computational cost can be even larger when one goes beyond the Kohn-Sham scheme to correct the band gap problem and achieve good accuracy. In this work, we present a method that overcomes these problems and provides the optical transition energies as a difference of Kohn-Sham eigenvalues; and even more, provides a complete and accurate band structure of the defect in the semiconductor. Despite the original motivations, the presented methodology is a general procedure, which can be used to systematically study the optical transitions between localized levels within the band gap of any system. The method is an extension of the low-cost and parameter-free DFT-1/2 approximate quasi-particle correction, and allows it to be applied in the study of complex defects. As a benchmark, we apply the method to the NV$^-$ center in diamond. The agreement with experiments is remarkable, with an accuracy of 0.1 eV. The band structure agrees with the expected qualitative features of this system, and thus provides a good intuitive physical picture by itself.


title: Coverings of Quantum Groups

abstract: It is known that any covering space of a topological group has the natural structure of a topological group. This article discusses a noncommutative generalization of this fact. A noncommutative generalization of the topological group is a quantum group. Also there is a noncommutative generalization of a covering. The combination of these algebraic constructions yields a motive to research the generalization of coverings of topological groups. In contrary to a topological group a covering space of a quantum group does not have the natural structure of the quantum group. However a covering space of a quantum group satisfies to a condition which is weaker than the condition of a covering space of a topological group.


title: Sandpile model on Scale Free Networks with preferential sand distribution: a new universality class

abstract: A two state sandpile model with preferential sand distribution is developed and studied numerically on scale free networks with power-law degree ($k$) distribution, {\em i.e.}: $P_k\sim k^{-\alpha}$. In this model, upon toppling of a critical node sand grains are given one to each of the neighbouring nodes with highest and lowest degrees instead of two randomly selected neighbouring nodes as in a stochastic sandpile model. The critical behaviour of the model is determined by characterizing various avalanche properties at the steady state varying the network structure from scale free to random, tuning $\alpha$ from $2$ to $5$. The model exhibits mean field scaling on the random networks, $\alpha>4$. However, in the scale free regime, $2<\alpha<4$, the scaling behaviour of the model not only deviates from the mean-field scaling but also the exponents describing the scaling behaviour are found to decrease continuously as $\alpha$ decreases. In this regime, the critical exponents of the present model are found to be different from those of the two state stochastic sandpile model on similar networks. The preferential sand distribution thus has non-trivial effects on the sandpile dynamics which leads the model to a new universality class.


title: MDA in Capillary for Whole Genome Amplification

abstract: Whole genome amplification (WGA) plays an important role in sample preparation of low-input templates for high-throughput sequencing. Multiple displacement amplification (MDA), a popular isothermal WGA method, suffers a major hurdle of highly uneven amplification. Optimizations have been made in the past by separating the reagents into numbers of tiny chambers or droplets in microfluidic devices, which significantly improves the amplification uniformity of MDA. However, skill barrier still exists for biological researchers to handle chip fabrication and droplet manipulation. Here, we present a novel MDA protocol, in-capillary MDA (icMDA), which significantly simplifies the manipulation and improves the uniformity of amplification by dispersing reagents in a long quasi-1D capillary tubing. We demonstrated that icMDA is able to accurately detect SNVs with higher efficiency and sensitivity. Moreover, this straightforward method employs neither customized instruments nor complicated operations, making it a ready-to-use approach for most laboratories.


title: The Logarithmic Funnel Heap: An Efficient Priority Queue For Extremely Large Sets

abstract: For many data-processing applications, a comprehensive set of efficient operations for the management of priority values is required. Indexed priority queues are particularly promising to satisfy this requirement by design. In this work, we report the design and analysis of an efficient indexed priority queue with a comprehensive set of operations. In particular, $\mathtt{insert}$, $\mathtt{delete}$ and $\mathtt{decrease}$ all run in expected $O(\log^{*}{n})$ time, while $\mathtt{increase}$ is conjectured by means of Monte Carlo simulations to run in expected $O(\log\log{n})$ time. The space complexity as well as the time complexity for the construction of the empty heap data structure is $O(n)$. For certain massive computational problems, such as specific analyses of extremely large graphs and (chemical) simulations, this heap system may exhibit considerable utility.


title: Computing Canonical Bases of Modules of Univariate Relations

abstract: We study the computation of canonical bases of sets of univariate relations $(p_1,\ldots,p_m) \in \mathbb{K}[x]^{m}$ such that $p_1 f_1 + \cdots + p_m f_m = 0$; here, the input elements $f_1,\ldots,f_m$ are from a quotient $\mathbb{K}[x]^n/\mathcal{M}$, where $\mathcal{M}$ is a $\mathbb{K}[x]$-module of rank $n$ given by a basis $\mathbf{M}\in\mathbb{K}[x]^{n\times n}$ in Hermite form. We exploit the triangular shape of $\mathbf{M}$ to generalize a divide-and-conquer approach which originates from fast minimal approximant basis algorithms. Besides recent techniques for this approach, we rely on high-order lifting to perform fast modular products of polynomial matrices of the form $\mathbf{P}\mathbf{F} \bmod \mathbf{M}$. Our algorithm uses $O\tilde{~}(m^{\omega-1}D + n^{\omega} D/m)$ operations in $\mathbb{K}$, where $D = \mathrm{deg}(\det(\mathbf{M}))$ is the $\mathbb{K}$-vector space dimension of $\mathbb{K}[x]^n/\mathcal{M}$, $O\tilde{~}(\cdot)$ indicates that logarithmic factors are omitted, and $\omega$ is the exponent of matrix multiplication. This had previously only been achieved for a diagonal matrix $\mathbf{M}$. Furthermore, our algorithm can be used to compute the shifted Popov form of a nonsingular matrix within the same cost bound, up to logarithmic factors, as the previously fastest known algorithm, which is randomized.


title: Fossil magnetic fields in intermediate-mass and massive stars

abstract: A small fraction of the population of intermediate-mass and massive stars host strong and stable magnetic fields organised on large scales. These fields are believed to be remnants of star formation. It is however not clear how such fossil fields have been shaped during their formation and subsequent evolution. We report recent and ongoing studies on the magnetic properties of pre-main sequence stars and main sequence binaries, allowing us to make progress in this field.


title: Measurement of $\mathcal{R}(D^*)$ with Three-Prong $\tau$ Decays at LHCb

abstract: The observable $\mathcal{R} ( D^{(*)} ) = \mathcal{B}\left( B^{0}\to D^{(*)-} \tau^{+} \nu_{\tau} \right) / \mathcal{B}\left( B^{0}\to D^{(*)-} \mu^{+} \nu_{\mu} \right)$ is a probe for Lepton Universality violation, so it is sensitive to New Physics processes. The current combination of the measurements of $\mathcal{R} ( D^{(*)} )$ differs from Standard Model predictions with a $4\sigma$ significance. A measurement of $\mathcal{R} ( D^* )$ using three-prong $\tau$ decays is currently ongoing at LHCb. The statistical precision of this analysis is 6.7%, i.e. the smallest statistical uncertainty for a single measurement of this observable. Therefore this measurement will be important to confirm or disprove the current discrepancy from the theoretical expectations.


title: Exact observability of a 1D wave equation on a non-cylindrical domain

abstract: We discuss admissibility and exact observability estimates of boundary observation and interior point observation of a one-dimensional wave equation on a time dependent domain for sufficiently regular boundary functions. We also discuss moving observers inside the non-cylindrical domain and simultaneous observability results.


title: Michaelis-Menten at 100 and allosterism at 50: driving molecular motors in a hailstorm with noisy ATPase engines and allosteric transmission

abstract: Cytoskeletal motor proteins move on filamentous tracks by converting input chemical energy that they derive by catalyzing the hydrolysis of ATP. The ATPase site is the analog of an engine and hydrolysis of ATP is the analog of burning of chemical fuel. Moreover, the functional role of a segment of the motor is analogous to that of the transmission system of an automobile that consists of shaft, gear, clutch, etc. The operation of the engine is intrinsically "noisy" and the motor faces a molecular "hailstorm" in the aqueous medium. In this commemorative article, we celebrate the centenary of Michaelis and Menten's landmark paper of 1913 and the golden jubilee of Monod et al.'s classic paper of 1963 by highlighting their relevance in explaining the operational mechanisms of the engine and the transmission system, respectively, of cytoskeletal motors.


title: Integrated Modeling of Second Phase Precipitation in Cold-Worked 316 Stainless Steels under Irradiation

abstract: The current work combines the Cluster Dynamics (CD) technique and CALPHAD-based precipitation modeling to address the second phase precipitation in cold-worked (CW) 316 stainless steels (SS) under irradiation at 300-400 C. CD provides the radiation enhanced diffusion and dislocation evolution as inputs for the precipitation model. The CALPHAD-based precipitation model treats the nucleation, growth and coarsening of precipitation processes based on classical nucleation theory and evolution equations, and simulates the composition, size and size distribution of precipitate phases. We benchmark the model against available experimental data at fast reactor conditions (9.4 x 10^-7 dpa/s and 390 C) and then use the model to predict the phase instability of CW 316 SS under light water reactor (LWR) extended life conditions (7 x 10^-8 dpa/s and 275 C). The model accurately predicts the gamma-prime (Ni3Si) precipitation evolution under fast reactor conditions and that the formation of this phase is dominated by radiation enhanced segregation. The model also predicts a carbide volume fraction that agrees well with available experimental data from a PWR reactor but is much higher than the volume fraction observed in fast reactors. We propose that radiation enhanced dissolution and/or carbon depletion at sinks that occurs at high flux could be the main sources of this inconsistency. The integrated model predicts ~1.2% volume fraction for carbide and ~3.0% volume fraction for gamma-prime for typical CW 316 SS (with 0.054 wt.% carbon) under LWR extended life conditions. This work provides valuable insights into the magnitudes and mechanisms of precipitation in irradiated CW 316 SS for nuclear applications.


title: Can ultrastrong coupling change ground state chemical reactions?

abstract: Recent advancements on the fabrication of organic micro- and nanostructures have permitted the strong collective light-matter coupling regime to be reached with molecular materials. Pioneering works in this direction have shown the effects of this regime in the excited state reactivity of molecular systems and at the same time has opened up the question of whether it is possible to introduce any modifications in the electronic ground energy landscape which could affect chemical thermodynamics and/or kinetics. In this work, we use a model system of many molecules coupled to a surface-plasmon field to gain insight on the key parameters which govern the modifications of the ground-state Potential Energy Surface (PES). Our findings confirm that the energetic changes per molecule are determined by single-molecule-light couplings which are essentially local, in contrast with those of the electronically excited states, for which energetic corrections are of a collective nature. Still, we reveal some intriguing quantum-coherent effects associated with pathways of concerted reactions, where two or more molecules undergo reactions simultaneously, and which can be of relevance in low-barrier reactions. Finally, we also explore modifications to nonadiabatic dynamics and conclude that, for this particular model, the presence of a large number of dark states yields negligible changes. Our study reveals new possibilities as well as limitations for the emerging field of polariton chemistry.


title: Generalized Seniority on Deformed Single-Particle Basis

abstract: Recently we proposed [62] a fast computing scheme for generalized seniority on spherical single-particle basis. This work redesigns the scheme to make it applicable to deformed single-particle basis. The algorithm is applied to the rare-earth nucleus $^{158}_{~64}$Gd$_{94}$ for intrinsic (body-fixed frame) neutron excitations under the low-momentum {\emph{NN}} interaction $V_{{\rm{low}}-k}$. By allowing as many as four broken pairs, we compute the lowest $300$ intrinsic states of several multipolarity. These states converge well to the exact ones, showing generalized seniority is very effective in truncating the deformed shell model. Under realistic interactions, the picture remains approximately valid that the ground state is a coherent pair condensate, and the pairs gradually break up as excitation energy increases.


title: A Fibrous Solid Electrolyte for Lithium-ion Batteries

abstract: The new methodology proposed in this work uses oxide filaments/fibers instead of a dense thin film electrolyte, allowing: (i) straightforward fabrication without the use of costly thin film production techniques, (ii) minor changes in the existing Li- ion battery production lines, and (iii) better mechanical stability and electrochemical performance. Li7La3Zr2O12 (LLZO) fibers as an electrolyte were prepared using the electrospinning technique. The crystallographic phase and morphology of the products was studied X-ray diffraction (XRD) patterns and scanning electron microscopy (SEM), respectively. The results indicated that the produced electrolyte would be a good alternative of all-solid-state batteries for electric vehicles in terms of battery safety and performance.


title: Fast Computation of the Roots of Polynomials Over the Ring of Power Series

abstract: We give an algorithm for computing all roots of polynomials over a univariate power series ring over an exact field $\mathbb{K}$. More precisely, given a precision $d$, and a polynomial $Q$ whose coefficients are power series in $x$, the algorithm computes a representation of all power series $f(x)$ such that $Q(f(x)) = 0 \bmod x^d$. The algorithm works unconditionally, in particular also with multiple roots, where Newton iteration fails. Our main motivation comes from coding theory where instances of this problem arise and multiple roots must be handled. The cost bound for our algorithm matches the worst-case input and output size $d \deg(Q)$, up to logarithmic factors. This improves upon previous algorithms which were quadratic in at least one of $d$ and $\deg(Q)$. Our algorithm is a refinement of a divide \& conquer algorithm by Alekhnovich (2005), where the cost of recursive steps is better controlled via the computation of a factor of $Q$ which has a smaller degree while preserving the roots.


title: Discovering Visual Concept Structure with Sparse and Incomplete Tags

abstract: Discovering automatically the semantic structure of tagged visual data (e.g. web videos and images) is important for visual data analysis and interpretation, enabling the machine intelligence for effectively processing the fast-growing amount of multi-media data. However, this is non-trivial due to the need for jointly learning underlying correlations between heterogeneous visual and tag data. The task is made more challenging by inherently sparse and incomplete tags. In this work, we develop a method for modelling the inherent visual data concept structures based on a novel Hierarchical-Multi-Label Random Forest model capable of correlating structured visual and tag information so as to more accurately interpret the visual semantics, e.g. disclosing meaningful visual groups with similar high-level concepts, and recovering missing tags for individual visual data samples. Specifically, our model exploits hierarchically structured tags of different semantic abstractness and multiple tag statistical correlations in addition to modelling visual and tag interactions. As a result, our model is able to discover more accurate semantic correlation between textual tags and visual features, and finally providing favourable visual semantics interpretation even with highly sparse and incomplete tags. We demonstrate the advantages of our proposed approach in two fundamental applications, visual data clustering and missing tag completion, on benchmarking video (i.e. TRECVID MED 2011) and image (i.e. NUS-WIDE) datasets.


title: $H$-$T$ phase diagram of solid oxygen

abstract: Comprehensive magnetic-field-temperature ($H$-$T$) phase diagram of solid oxygen including the $\theta$ phase is discussed in the context of the ultrahigh-field measurement and the magnetocaloric effect (MCE) measurement. The problems originating from the short duration of the pulse field, non-equilibrium condition and MCEs, are pointed out and dealt with. The obtained phase diagram manifests the entropy relation between the phases as $S_\theta \sim S_\alpha<S_\beta<<S_\gamma$.


title: Random Matrices with Slow Correlation Decay

abstract: We consider large random matrices with a general slowly decaying correlation among its entries. We prove universality of the local eigenvalue statistics and optimal local laws for the resolvent away from the spectral edges, generalizing the recent result of [arXiv:1604.08188] to allow slow correlation decay and arbitrary expectation. The main novel tool is a systematic diagrammatic control of a multivariate cumulant expansion.


title: Boosting Functional Regression Models with FDboost

abstract: The R add-on package FDboost is a flexible toolbox for the estimation of functional regression models by model-based boosting. It provides the possibility to fit regression models for scalar and functional response with effects of scalar as well as functional covariates, i.e., scalar-on-function, function-on-scalar and function-on-function regression models. In addition to mean regression, quantile regression models as well as generalized additive models for location scale and shape can be fitted with FDboost. Furthermore, boosting can be used in high-dimensional data settings with more covariates than observations. We provide a hands-on tutorial on model fitting and tuning, including the visualization of results. The methods for scalar-on-function regression are illustrated with spectrometric data of fossil fuels and those for functional response regression with a data set including bioelectrical signals for emotional episodes.


title: Generalization of a theorem of Zippin

abstract: We generalize and prove a result which was first shown by Zippin, and was explicitly formulated by Benyamini.


title: A Fast Stochastic Contact Model for Planar Pushing and Grasping: Theory and Experimental Validation

abstract: Based on the convex force-motion polynomial model for quasi-static sliding, we derive the kinematic contact model to determine the contact modes and instantaneous object motion on a supporting surface given a position controlled manipulator. The inherently stochastic object-to-surface friction distribution is modelled by sampling physically consistent parameters from appropriate distributions, with only one parameter to control the amount of noise. Thanks to the high fidelity and smoothness of convex polynomial models, the mechanics of patch contact is captured while being computationally efficient without mode selection at support points. The motion equations for both single and multiple frictional contacts are given. Simulation based on the model is validated with robotic pushing and grasping experiments.


title: Initial-boundary value problem for an integrable spin-1 Gross-Pitaevskii system with a 4x4 Lax pair on a finite interval

abstract: In this paper, we explore the initial-boundary value (IBV) problem for an integrable spin-1 Gross-Pitaevskii system with a 4x4 Lax pair on the finite interval by extending the Fokas unified transform approach. The solution of this system can be expressed in terms of the solution of a 4x4 matrix Riemann-Hilbert (RH) problem formulated in the complex k-plane. Furthermore, the relevant jump matrices with explicit (x, t)-dependence of the matrix RH problem can be explicitly found via three spectral functions {s(k), S(k), S_L(k)} arising from the initial data and the Dirichlet-Neumann boundary conditions at x=0 and x=L, respectively. The global relation is also found to deduce two distinct but equivalent types of representations (i.e., one via the large $k$ of asymptotics of the eigenfunctions and another one in terms of the Gel'fand-Levitan-Marchenko (GLM) approach) for the Dirichlet and Neumann boundary value problems. In particular, the formulae for IBV problems on the finite interval can reduce to ones on a half-line as the length $L$ of the interval approaches to infinity. Moreover, we also present the linearizable boundary conditions for the GLM representations.

categories: nlin.SI math-ph math.AP math.MP quant-ph


title: Low-temperature heat transport of CuFe$_{1-x}$Ga$_x$O$_2$ ($x =$ 0--0.12) single crystals

abstract: We report a study on the thermal conductivity of CuFe$_{1-x}$Ga$_x$O$_2$ ($x =$ 0--0.12) single crystals at temperatures down to 0.3 K and in magnetic fields up to 14 T. CuFeO$_2$ is a well-known geometrically frustrated triangular lattice antiferromagnet and can be made to display multiferroicity either by applying magnetic field along the $c$ axis or by doping nonmagnetic impurities, accompanied with rich behaviors of magnetic phase transitions. The main experimental findings of this work are: (i) the thermal conductivities ($\kappa_a$ and $\kappa_c$) show drastic anomalies at temperature- or field-induced magnetic transitions; (ii) the low-$T$ $\kappa(H)$ isotherms exhibit irreversibility in a broad region of magnetic fields; (iii) there are phonon scattering effect caused by magnetic fluctuations at very low temperatures. These results demonstrate strong spin-phonon coupling in this material and reveal the non-negligible magnetic fluctuations in the "ground state" of pure and Ga-doped samples.


title: Conditional Adversarial Domain Adaptation

abstract: Adversarial learning has been embedded into deep networks to learn disentangled and transferable representations for domain adaptation. Existing adversarial domain adaptation methods may not effectively align different domains of multimodal distributions native in classification problems. In this paper, we present conditional adversarial domain adaptation, a principled framework that conditions the adversarial adaptation models on discriminative information conveyed in the classifier predictions. Conditional domain adversarial networks (CDANs) are designed with two novel conditioning strategies: multilinear conditioning that captures the cross-covariance between feature representations and classifier predictions to improve the discriminability, and entropy conditioning that controls the uncertainty of classifier predictions to guarantee the transferability. With theoretical guarantees and a few lines of codes, the approach has exceeded state-of-the-art results on five datasets.


title: Heteroepitaxial growth of tetragonal Mn$_{2.7-x}$Fe$_{x}$Ga$_{1.3}$ (0 $\leqslant$ x $\leqslant$ 1.2) Heusler films with perpendicular magnetic anisotropy

abstract: This work reports on the structural and magnetic properties of Mn$_{2.7-x}$Fe$_{x}$Ga$_{1.3}$ Heusler films with different Fe content x (0 $\leqslant$ x $\leqslant$ 1.2). The films were deposited heteroepitaxially on MgO single crystal substrates, by magnetron sputtering. Mn$_{2.7-x}$Fe$_{x}$Ga$_{1.3}$ films with the thickness of 35 nm were crystallized in tetragonal D0$_{22}$ structure with (001) preferred orientation. Tunable magnetic properties were achieved by changing the Fe content x. Mn$_{2.7-x}$Fe$_{x}$Ga$_{1.3}$ thins films exhibit high uniaxial anisotropy Ku $\geqslant$ 1.4 MJ/m3, coercivity from 0.95 to 0.3 T and saturation magnetization from 290 to 570 kA/m. The film with Mn$_{1.6}$Fe$_{1.1}$Ga$_{1.3}$ composition shows high Ku of 1.47 MJ/m3 and energy product ${(BH)_{max}}$ of 37 kJ/m3, at room temperature. These findings demonstrate that Mn$_{2.7-x}$Fe$_{x}$Ga$_{1.3}$ films have promising properties for mid-range permanent magnet and spintronic applications.


title: SecureTime: Secure Multicast Time Synchronization

abstract: Due to the increasing dependency of critical infrastructure on synchronized clocks, network time synchronization protocols have become an attractive target for attackers. We identify data origin authentication as the key security objective and suggest to employ recently proposed high-performance digital signature schemes (Ed25519 and MQQ-SIG)) as foundation of a novel set of security measures to secure multicast time synchronization. We conduct experiments to verify the computational and communication efficiency for using these signatures in the standard time synchronization protocols NTP and PTP. We propose additional security measures to prevent replay attacks and to mitigate delay attacks. Our proposed solutions cover 1-step mode for NTP and PTP and we extend our security measures specifically to 2-step mode (PTP) and show that they have no impact on time synchronization's precision.


title: Duality between the deconfined quantum-critical point and the bosonic topological transition

abstract: Recently significant progress has been made in $(2+1)$-dimensional conformal field theories without supersymmetry. In particular, it was realized that different Lagrangians may be related by hidden dualities, i.e., seemingly different field theories may actually be identical in the infrared limit. Among all the proposed dualities, one has attracted particular interest in the field of strongly-correlated quantum-matter systems: the one relating the easy-plane noncompact CP$^1$ model (NCCP$^1$) and noncompact quantum electrodynamics (QED) with two flavors ($N = 2$) of massless two-component Dirac fermions. The easy-plane NCCP$^1$ model is the field theory of the putative deconfined quantum-critical point separating a planar (XY) antiferromagnet and a dimerized (valence-bond solid) ground state, while $N=2$ noncompact QED is the theory for the transition between a bosonic symmetry-protected topological phase and a trivial Mott insulator. In this work we present strong numerical support for the proposed duality. We realize the $N=2$ noncompact QED at a critical point of an interacting fermion model on the bilayer honeycomb lattice and study it using determinant quantum Monte Carlo (QMC) simulations. Using stochastic series expansion QMC, we study a planar version of the $S=1/2$ $J$-$Q$ spin Hamiltonian (a quantum XY-model with additional multi-spin couplings) and show that it hosts a continuous transition between the XY magnet and the valence-bond solid. The duality between the two systems, following from a mapping of their phase diagrams extending from their respective critical points, is supported by the good agreement between the critical exponents according to the proposed duality relationships.


title: The $QCD$ parameters are affected by power-law Maxwell field

abstract: In this paper, we introduce Einstein power-law Maxwell-Scalar gravity with Liouvill potential in n + 1 dimension. The corresponding metric background or solution of above mentioned action lead us to achieve some thermodynamics quantities of black hole. On the other hand, we take information from $AdS/CFT$ correspondence and investigate some parameters in $QCD$ as jet quenching and entropic force. We note that two obtained parameters give some important information about $Q\bar{Q}$ moving in $QGP$ media and dissociation length of quark-antiquark. Finally, we have several figures for the jet quenching parameter and entropic force. The corresponding figures show how two parameters are affected by power law Maxwell field with different of $p$.


title: Shear shock waves are observed in the brain

abstract: The internal deformation of the brain is far more complex than the rigid motion of the skull. An ultrasound imaging technique that we have developed has a combination of penetration, frame-rate, and motion detection accuracy required to directly observe, for the first time, the formation and evolution of shear shock waves in the brain. Experiments at low impacts on the traumatic brain injury scale demonstrate that they are spontaneously generated and propagate within the porcine brain. Compared to the initially smooth impact, the acceleration at the shock front is amplified up to a factor of 8.5. This highly localized increase in acceleration suggests that shear shock waves are a fundamental mechanism for traumatic injuries in soft tissue.


title: Synthesis, characterization and computational simulation of graphene nanoplatelets stabilized in poly(styrene sulfonate) sodium salt

abstract: The production of large area interfaces and the use of scalable methods to build-up designed nanostructures generating advanced functional properties are of high interest for many materials science applications. Nevertheless, large area coverage remains a major problem for pristine graphene and here we present a hybrid, composite graphene-like material soluble in water, which can be exploited in many areas, such as energy storage, electrodes fabrication, selective membranes and biosensing. Graphene oxide (GO) was produced by the traditional Hummers method being further reduced in the presence of poly(styrene sulfonate) sodium salt (PSS), thus creating stable reduced graphene oxide (rGO) nanoplateles wrapped by PSS (GPSS). Molecular dynamics simulations were carried out of further clarify the interactions between PSS molecules and rGO nanoplatelets, with calculations supported by FTIR analysis. The intermolecular forces between rGO nanoplatelets and PSS lead to the formation of a hybrid material (GPSS) stabilized by van der Waals forces, allowing the fabrication of high quality layer-by-layer (LbL) films with polyalillamine hydrochloride (PAH). Raman and electrical characterizations corroborated the successful modifications in the electronic structures from GO to GPSS after the chemical treatment, resulting in (PAH/GPSS) LbL films four orders of magnitude more conductive than (PAH/GO).


title: Combining electronic structure and many-body theory with large data-bases: a method for predicting the nature of 4f states in Ce compounds

abstract: Here we present the first large scale investigation of electronic properties and correlated magnetism in Ce-based compounds accompanied by a systematic study of the electronic structure and 4f-hybridization function of a large body of Ce compounds. We systematically study the electronic structure and 4f-hybridization function of a large body of Ce compounds with the goal of elucidating the nature of the 4f states and their interrelation with the measured Kondo energy in these compounds. The hybridization function has been analyzed for more than 350 data sets of cubic Ce compounds using electronic structure theory that relies on a full-potential approach. We demonstrate that the strength of the hybridization function, evaluated in this way, allows us to draw precise conclusions about the degree of localization of the 4f states in these compounds. The theoretical results are entirely consistent with all experimental information, relevant to the degree of 4f localization for all investigated materials. Furthermore, a more detailed analysis of the electronic structure and the hybridization function allows us to make precise statements about Kondo correlations in these systems. The calculated hybridization functions, together with the corresponding density of states, reproduce the expected exponential behavior of the observed Kondo temperatures and prove a consistent trend in real materials. This trend allows us to predict which systems may be correctly identified as Kondo systems. A strong anti-correlation between the size of the hybridization function and the volume of the systems has been observed. Our approach demonstrates the predictive power of materials informatics when a large number of materials is used to establish significant trends which can be used to design new materials with desired properties.


title: Spin-transport, spin-torque and memory in antiferromagnetic devices: Part of a collection of reviews on antiferromagnetic spintronics

abstract: Ferromagnets are key materials for sensing and memory applications. In contrast, antiferromagnets that represent the more common form of magnetically ordered materials, have so far found less practical application beyond their use for establishing reference magnetic orientations via exchange bias. This might change in the future due to the recent progress in materials research and discoveries of antiferromagnetic spintronic phenomena suitable for device applications. Experimental demonstrations of the electrical switching and electrical detection of the N\'eel order open a route towards memory devices based on antiferromagnets. Apart from the radiation and magnetic-field hardness, memory cells fabricated in antiferromagnets are inherently multilevel which could be used for neuromorphic computing. Switching speeds attainable in antiferromagnets far exceed those of the ferromagnetic and semiconductor memory technologies. Here we review the recent progress in electronic spin-transport and spin-torque phenomena in antiferromagnets that are dominantly of the relativistic quantum mechanics origin. We discuss their utility in pure antiferromagnetic or hybrid ferromagnetic/antiferromagnetic memory devices


title: Statistical Mechanics of the Uniform Electron Gas

abstract: In this paper we define and study the classical Uniform Electron Gas (UEG), a system of infinitely many electrons whose density is constant everywhere in space. The UEG is defined differently from Jellium, which has a positive constant background but no constraint on the density. We prove that the UEG arises in Density Functional Theory in the limit of a slowly varying density, minimizing the indirect Coulomb energy. We also construct the quantum UEG and compare it to the classical UEG at low density.

categories: math-ph cond-mat.stat-mech math.MP physics.chem-ph


title: UCLCHEM: A Gas-Grain Chemical Code

abstract: We present a publicly available, open source version of the time dependent gas-grain chemical code UCLCHEM. UCLCHEM propagates the abundances of chemical species through a large network of chemical reactions in a variety of physical conditions. The model is described in detail along with its applications. As an example of possible uses, UCLCHEM is used to explore the effect of protostellar collapse on commonly observed molecules and to study the behaviour of molecules in C-type shocks. We find the collapse of a simple Bonnor-Ebert sphere successfully reproduces most of the behaviour of CO,CS and NH$_3$ from cores observed by \citet{Tafalla2004} but cannot predict the behaviour of N$_2$H$^+$. In the C-shock application, we find that molecules can be categorized so that they can be useful observational tracers of shocks and their physical properties. Whilst many molecules are enhanced in shocked gas, we identify two groups of molecules in particular. A small number of molecules are enhanced by the sputtering of the ices as the shock propagates and then remain high in abundance throughout the shock. A second, larger set are also enhanced by sputtering but then are destroyed as the gas temperature rises. Through these applications the general applicability of UCLCHEM is demonstrated.


title: A mechanical model of bacteriophage DNA ejection

abstract: Single molecule experiments on bacteriophages show an exponential scaling for the dependence of mobility on the length of DNA within the capsid. It has been suggested that this could be due to the "capstan mechanism" -- the exponential amplification of friction forces that result when a rope is wound around a cylinder as in a ship's capstan. Here we describe a desktop experiment that illustrates the effect. Though our model phage is a million times larger, it exhibits the same scaling observed in single molecule experiments.


title: State-independent Uncertainty Relations and Entanglement Detection in Noisy Systems

abstract: Quantifying quantum mechanical uncertainty is vital for the increasing number of experiments that reach the uncertainty limited regime. We present a method for computing tight variance uncertainty relations, i.e., the optimal state-independent lower bound for the sum of the variances for any set of two or more measurements. The bounds come with a guaranteed error estimate, so results of pre-assigned accuracy can be obtained straightforwardly. Our method also works for POVM measurements. Therefore, it can be used for detecting entanglement in noisy environments, even in cases where conventional spin squeezing criteria fail because of detector noise.


title: Discovery of Kiloparsec Extended Hard X-ray Continuum and Fe K alpha from the Compton Thick AGN ESO428-G014

abstract: We report the discovery of kpc-scale diffuse emission in both the hard continuum (3-6 keV) and in the Fe K alpha line in the Compton Thick (CT) Seyfert galaxy ESO428-G014. This extended hard component contains at least ~24% of the observed 3-8 keV emission, and follows the direction of the extended optical line emission (ionization cone) and radio jet. The extended hard component has ~0.5% of the intrinsic 2-10 keV luminosity within the bi-cones. A uniform scattering medium of density 1 cm-3 would produce this luminosity in a 1kpc path length in the bi-cones. Alternatively, higher column density molecular clouds in the disk of ESO428-G014 may be responsible for these components. The continuum may also be enhanced by the acceleration of charged particles in the radio jet. The steeper spectrum (Gamma ~1.7 +-0.4) of the hard continuum outside of the central 1.5" radius nuclear region suggests a contribution of scattered/fluorescent intrinsic Seyfert emission. Ultrafast nuclear outflows cannot explain the extended F K alpha emission. This discovery suggests that we may need to revise the picture at the base of our interpretation of CT AGN spectra.


title: Extragalactic Background Light: a measurement at 400 nm using dark cloud shadow I. Low surface brightness spectrophotometry in the area of Lynds 1642

abstract: We present the method and observations for the measurement of the Extragalactic Background Light (EBL) utilizing the shadowing effect of a dark cloud. We measure the surface brightness difference between the opaque cloud core and its unobscured surroundings. In the difference the large atmospheric and Zodiacal light components are eliminated and the only remaining foreground component is the scattered starlight from the cloud itself. Although much smaller, its separation is the key problem in the method. For its separation we use spectroscopy. While the scattered starlight has the characteristic Fraunhofer lines and 400 nm discontinuity the EBL spectrum is smooth and without these features. Medium resolution spectrophotometry at $\lambda$ = 380 - 580 nm was performed with ${VLT}$/FORS at ESO of the surface brightness in and around the high-galactic-latitude dark cloud Lynds 1642. Besides the spectrum for the core with $A_V \ge 15$ mag, further spectra were obtained for intermediate-opacity cloud positions. They are used as proxy for the spectrum of the impinging starlight spectrum and facilitate the separation of the scattered starlight (cf. Paper II, Mattila et al. 2017b). Our spectra reach a precision of $\sim 0.5$ $10^{-9}$ erg cm$^{-2}$s$^{-1}$sr$^{-1}$\AA$^{-1}$ as required to measure an EBL intensity in range of $\sim$1 to a few times $10^{-9}$ erg cm$^{-2}$s$^{-1}$sr$^{-1}$\AA$^{-1}$. Because all surface brightness components are measured using the same equipment the method does not require unusually high absolute calibration accuracy, a condition which has been a problem for some previous EBL projects


title: Lattice QCD results on soft and hard probes of strongly interacting matter

abstract: We present recent results from lattice QCD relevant for the study of strongly interacting matter as it is produced in heavy ion collision experiments. The equation of state at non-vanishing density from a Taylor expansion up to $6^{th}$ order will be discussed for a strangeness neutral system and using the expansion coefficients of the series limits on the critical point are estimated. Chemical freeze-out temperatures from the STAR and ALICE Collaborations will be compared to lines of constant physics calculated from the Taylor expansion of QCD bulk thermodynamic quantities. We show that qualitative features of the $\sqrt{s_{NN}}$ dependence of skewness and kurtosis ratios of net proton-number fluctuations measured by the STAR Collaboration can be understood from QCD results for cumulants of conserved baryon-number fluctuations. As an example for recent progress towards the determination of spectral and transport properties of the QGP from lattice QCD, we will present constraints on the thermal photon rate determined from a spectral reconstruction of continuum extrapolated lattice correlation functions in combination with input from most recent perturbative calculations.


title: Dynamics of the Local Group: the Dwarf Galaxies

abstract: I present a dynamical analysis of the measured redshifts and distances of 64 dwarf galaxies at distances between 50 kpc and 2.6 Mpc. These dwarfs are assumed to move as test particles in the gravitational field of 12 massive actors---galaxies and groups of galaxies---under the mixed boundary conditions imposed by cosmology. The model fits most of the measured dwarf distances and redshifts. But more work, perhaps on the gravitational interaction among dwarf galaxies, is required to account for the motions of six galaxies in the NGC 3109 association and two in the DDO 210 association. The sample of dwarfs is large enough to constrain the halo mass run in the Milky Way. The evidence points to a sharper break from a nearly flat inner rotation curve than predicted by the NFW profile.


title: Kinks and antikinks of buckled graphene: A testing ground for phi^4 field model

abstract: Kinks and antikinks of the classical phi^4 field model are topological solutions connecting its two distinct ground states. Here we establish an analogy between the excitations of a long graphene nanoribbon buckled in the transverse direction and phi^4 model results. Using molecular dynamics simulations, we investigated the dynamics of a buckled graphene nanoribbon with a single kink and with a kink-antikink pair. Several features of phi^4 model have been observed including the kink-antikink capture at low energies, kink-antikink reflection at high energies, and a bounce resonance. Our results pave the way towards the experimental observation of a rich variety of phi^4 model predictions based on graphene.


title: Long-time limits and occupation times for stable Fleming-Viot processes with decaying sampling rates

abstract: A class of Fleming-Viot processes with decaying sampling rates and $\alpha$-stable motions that correspond to distributions with growing populations are introduced and analyzed. Almost sure long-time scaling limits for these processes are developed, addressing the question of long-time population distribution for growing populations. Asymptotics in higher orders are investigated. Convergence of particle location occupation and inhabitation time processes are also addressed and related by way of the historical process. The basic results and techniques allow general Feller motion/mutation and may apply to other measure-valued Markov processes.


title: Feature Squeezing Mitigates and Detects Carlini/Wagner Adversarial Examples

abstract: Feature squeezing is a recently-introduced framework for mitigating and detecting adversarial examples. In previous work, we showed that it is effective against several earlier methods for generating adversarial examples. In this short note, we report on recent results showing that simple feature squeezing techniques also make deep learning models significantly more robust against the Carlini/Wagner attacks, which are the best known adversarial methods discovered to date.


title: The new versatile general purpose surface-muon instrument (GPS) based on silicon photomultipliers for ${\mu}$SR measurements on a continuous-wave beam

abstract: We report on the design and commissioning of a new spectrometer for muon-spin relaxation/rotation studies installed at the Swiss Muon Source (S$\mu$S) of the Paul Scherrer Institute (PSI, Switzerland). This new instrument is essentially a new design and replaces the old general-purpose surface-muon instrument (GPS) which has been for long the workhorse of the $\mu$SR user facility at PSI. By making use of muon and positron detectors made of plastic scintillators read out by silicon photomultipliers (SiPMs), a time resolution of the complete instrument of about 160 ps (standard deviation) could be achieved. In addition, the absence of light guides, which are needed in traditionally built $\mu$SR instrument to deliver the scintillation light to photomultiplier tubes located outside magnetic fields applied, allowed us to design a compact instrument with a detector set covering an increased solid angle compared to the old GPS.


title: Simple derivation of Schrodinger equation from Newtonian dynamics

abstract: The Eherenfest theorem states that Schrodinger representation of quantum mechanics (wave mechanics) reproduces Newton laws of motion in terms of expectation values. Remarkably, the contrary is considered elusive and, indeed, many authors have tried to obtain wave mechanics starting from other alternative frameworks of classical mechanics (for instance, Hamilton-Jacobi theory). Despite this common opinion, we present here a simple method to make Newtonian dynamics develop naturally into Schrodinger representation. The proof is based on the assumption of matter waves and is laid out in three fundamental steps. First, the role of classical density functions is underlined in view of their use to define constants of the motion for massive particles. Thanks to this preparatory step, density functions generate wave functions whose spatial and time variables obey Newton laws of motion. The resulting wave equation is defined in dependence on a parameter that plays the identical role of the constant K introduced by Schrodinger in the original formulation of his theory. In the final step, the classical wave equation is treated under the hypothesis of conservative forces common to the Eherenfest theorem and, after some algebra, the Schrodinger equation emerges by means of the identification of the classical momentum with de Broglie momentum of matter waves.


title: Auditing Search Engines for Differential Satisfaction Across Demographics

abstract: Many online services, such as search engines, social media platforms, and digital marketplaces, are advertised as being available to any user, regardless of their age, gender, or other demographic factors. However, there are growing concerns that these services may systematically underserve some groups of users. In this paper, we present a framework for internally auditing such services for differences in user satisfaction across demographic groups, using search engines as a case study. We first explain the pitfalls of na\"ively comparing the behavioral metrics that are commonly used to evaluate search engines. We then propose three methods for measuring latent differences in user satisfaction from observed differences in evaluation metrics. To develop these methods, we drew on ideas from the causal inference literature and the multilevel modeling literature. Our framework is broadly applicable to other online services, and provides general insight into interpreting their evaluation metrics.


title: An approach to the spherical mean Radon transform with detectors on a line

abstract: The article suggests a new approach what is called a consistency method for the inversion of the spherical Radon transform in 2D with detectors on a line. It is known that there is not an exact inversion formula in 2D. By means of the method was proved that the reconstruction has a local description and found a new iteration formula which give an practical algorithm to recover an unknown function supported completely on one side of a line $L$ from its spherical means over circles centered on the line $L$. Such an inversion is required in problems of thermo- and photo-acoustic tomography.


title: Interplay between organic cations and inorganic framework and incommensurability in hybrid lead-halide perovskite CH3NH3PbBr3

abstract: Organic-inorganic coupling in the hybrid lead-halide perovskite is a central issue in rationalizing the outstanding photovoltaic performance of these emerging materials. Here we compare and contrast the evolution of structure and dynamics of the hybrid CH3NH3PbBr3 and the inorganic CsPbBr3 lead-halide perovskites with temperature, using Raman spectroscopy and single-crystal X-ray diffraction. Results reveal a stark contrast between their order-disorder transitions, abrupt for the hybrid whereas smooth for the inorganic perovskite. X-ray diffraction observes an intermediate incommensurate phase between the ordered and the disordered phases in CH3NH3PbBr3. Low-frequency Raman scattering captures the appearance of a sharp soft mode in the incommensurate phase, ascribed to the theoretically predicted amplitudon mode. Our work highlights the interaction between the structural dynamics of organic cation CH3NH3+ and the lead-halide framework, and unravels the competition between tendencies of the organic and inorganic moieties to minimize energy in the incommensurate phase of the hybrid perovskite structure.


title: A Snowballing Literature Study on Test Amplification

abstract: The adoption of agile development approaches has put an increased emphasis on developer testing, resulting in software projects with strong test suites. These suites include a large number of test cases, in which developers embed knowledge about meaningful input data and expected properties in the form of oracles. This article surveys various works that aim at exploiting this knowledge in order to enhance these manually written tests with respect to an engineering goal (e.g., improve coverage of changes or increase the accuracy of fault localization). While these works rely on various techniques and address various goals, we believe they form an emerging and coherent field of research, which we call `test amplification'. We devised a first set of papers from DBLP, looking for all papers containing `test' and `amplification' in their title. We reviewed the 70 papers in this set and selected the 4 papers that fit our definition of test amplification. We use these 4 papers as the seed for our snowballing study, and systematically followed the citation graph. This study is the first that draws a comprehensive picture of the different engineering goals proposed in the literature for test amplification. In particular, we note that the goal of test amplification goes far beyond maximizing coverage only. We believe that this survey will help researchers and practitioners entering this new field to understand more quickly and more deeply the intuitions, concepts and techniques used for test amplification.


title: A nonlinear delayed model for the immune response in the presence of viral mutation

abstract: In this paper we consider a delayed nonlinear model of the dynamics of the immune system against a viral infection that contains wild-type virus and one mutant. A finite response time of the immune system was considered in order which leads to sustained oscillatory behavior as well as chaotic behavior, triggered by the presence of delays. We present a thoroughly numeric analysis and some analytical results.


title: Deep Learning is Robust to Massive Label Noise

abstract: Deep neural networks trained on large supervised datasets have led to impressive results in image classification and other tasks. However, well-annotated datasets can be time-consuming and expensive to collect, lending increased interest to larger but noisy datasets that are more easily obtained. In this paper, we show that deep neural networks are capable of generalizing from training data for which true labels are massively outnumbered by incorrect labels. We demonstrate remarkably high test performance after training on corrupted data from MNIST, CIFAR, and ImageNet. For example, on MNIST we obtain test accuracy above 90 percent even after each clean training example has been diluted with 100 randomly-labeled examples. Such behavior holds across multiple patterns of label noise, even when erroneous labels are biased towards confusing classes. We show that training in this regime requires a significant but manageable increase in dataset size that is related to the factor by which correct labels have been diluted. Finally, we provide an analysis of our results that shows how increasing noise decreases the effective batch size.


title: Baryogenesis in Lorentz-violating gravity theories

abstract: Lorentz-violating theories of gravity typically contain constrained vector fields. We show that the lowest-order coupling of such vectors to $\mathrm{U}(1)$-symmetric scalars can naturally give rise to baryogenesis in a manner akin to the Affleck-Dine mechanism. We calculate the cosmology of this new mechanism, demonstrating that a net $B-L$ can be generated in the early Universe, and that the resulting baryon-to-photon ratio matches that which is presently observed. We discuss constraints on the model using solar system and astrophysical tests of Lorentz violation in the gravity sector. Generic Lorentz-violating theories can give rise to the observed matter-antimatter asymmetry without violating any current bounds.


title: Localized Gaussian width of $M$-convex hulls with applications to Lasso and convex aggregation

abstract: Upper and lower bounds are derived for the Gaussian mean width of the intersection of a convex hull of $M$ points with an Euclidean ball of a given radius. The upper bound holds for any collection of extreme point bounded in Euclidean norm. The upper bound and the lower bound match up to a multiplicative constant whenever the extreme points satisfy a one sided Restricted Isometry Property. This bound is then applied to study the Lasso estimator in fixed-design regression, the Empirical Risk Minimizer in the anisotropic persistence problem, and the convex aggregation problem in density estimation.


title: The heterodimer auto-repression loop: a robust and flexible pulse-generating genetic module

abstract: We investigate the dynamics of the heterodimer autorepression loop (HAL), a small genetic module in which a protein A acts as an auto-repressor and binds to a second protein B to form a AB dimer. For suitable values of the rate constants the HAL produces pulses of A alternating with pulses of B. By means of analytical and numerical calculations, we show that the duration of A-pulses is extremely robust against variation of the rate constants while the duration of the B-pulses can be flexibly adjusted. The HAL is thus a minimal genetic module generating robust pulses with tunable duration an interesting property for cellular signalling.


title: ResnetCrowd: A Residual Deep Learning Architecture for Crowd Counting, Violent Behaviour Detection and Crowd Density Level Classification

abstract: In this paper we propose ResnetCrowd, a deep residual architecture for simultaneous crowd counting, violent behaviour detection and crowd density level classification. To train and evaluate the proposed multi-objective technique, a new 100 image dataset referred to as Multi Task Crowd is constructed. This new dataset is the first computer vision dataset fully annotated for crowd counting, violent behaviour detection and density level classification. Our experiments show that a multi-task approach boosts individual task performance for all tasks and most notably for violent behaviour detection which receives a 9\% boost in ROC curve AUC (Area under the curve). The trained ResnetCrowd model is also evaluated on several additional benchmarks highlighting the superior generalisation of crowd analysis models trained for multiple objectives.


title: Pumping Lemma for Higher-order Languages

abstract: We study a pumping lemma for the word/tree languages generated by higher-order grammars. Pumping lemmas are known up to order-2 word languages (i.e., for regular/context-free/indexed languages), and have been used to show that a given language does not belong to the classes of regular/context-free/indexed languages. We prove a pumping lemma for word/tree languages of arbitrary orders, modulo a conjecture that a higher-order version of Kruskal's tree theorem holds. We also show that the conjecture indeed holds for the order-2 case, which yields a pumping lemma for order-2 tree languages and order-3 word languages.


title: On a conjecture of George Beck

abstract: In this paper, we prove a conjecture proposed by George Beck, which involves gap-free partitions and partitions with distinct parts.


title: Multi-Labelled Value Networks for Computer Go

abstract: This paper proposes a new approach to a novel value network architecture for the game Go, called a multi-labelled (ML) value network. In the ML value network, different values (win rates) are trained simultaneously for different settings of komi, a compensation given to balance the initiative of playing first. The ML value network has three advantages, (a) it outputs values for different komi, (b) it supports dynamic komi, and (c) it lowers the mean squared error (MSE). This paper also proposes a new dynamic komi method to improve game-playing strength. This paper also performs experiments to demonstrate the merits of the architecture. First, the MSE of the ML value network is generally lower than the value network alone. Second, the program based on the ML value network wins by a rate of 67.6% against the program based on the value network alone. Third, the program with the proposed dynamic komi method significantly improves the playing strength over the baseline that does not use dynamic komi, especially for handicap games. To our knowledge, up to date, no handicap games have been played openly by programs using value networks. This paper provides these programs with a useful approach to playing handicap games.


title: Cautious Model Predictive Control using Gaussian Process Regression

abstract: Gaussian process (GP) regression has been widely used in supervised machine learning due to its flexibility and inherent ability to describe uncertainty in function estimation. In the context of control, it is seeing increasing use for modeling of nonlinear dynamical systems from data, as it allows the direct assessment of residual model uncertainty. We present a model predictive control (MPC) approach that integrates a nominal system with an additive nonlinear part of the dynamics modeled as a GP. Approximation techniques for propagating the state distribution are reviewed and we describe a principled way of formulating the chance constrained MPC problem, which takes into account residual uncertainties provided by the GP model to enable cautious control. Using additional approximations for efficient computation, we finally demonstrate the approach in a simulation example, as well as in a hardware implementation for autonomous racing of remote controlled race cars, highlighting improvements with regard to both performance and safety over a nominal controller.


title: Some characterizations of asymmetric truncated Toeplitz operators

abstract: It was recently proved that in some special cases asymmetric truncated Toeplitz operators can be characterized in terms of compressed shifts and rank-two operators of special form. In this paper we show that such characterizations hold in all cases.