title: Morley's theorem and Vaught's conjecture via Algebraic logic

abstract: Vaught's Conjecture states that if $T$ is a complete first order theory in a countable language that has more than $\aleph_0$ pairwise non-isomorphic countably infinite models, then $T$ has $2^{\aleph_0}$ such models. Morley showed that if $T$ has more than $\aleph_1$ pairwise non-isomorphic countably infinite models, then it has $2^{\aleph_0}$ such models.\\ In this paper, we re-prove Morley's result and prove the corresponding statement for languages without equality, and for theories which are not necessarily complete. Our proof uses algebraic logic, namely the representation theory of cylindric and quasi-polyadic algebras. Also, as in Morley's proof, we use results from descriptive set theory. After all this, we show that our proof can be modified to talk about the number of models omitting a certain family of types. \end{abstract}


title: Controlling the helicity of magnetic skyrmions in a $\beta$-Mn-type high-temperature chiral magnet

abstract: Magnetic helices and skyrmions in noncentrosymmetric magnets are representative examples of chiral spin textures in solids. Their spin swirling direction, often termed as the magnetic helicity and defined as either left-handed or right-handed, is uniquely determined by the Dzyaloshinskii-Moriya interaction (DMI) in fixed chirality host crystals. Thus far, there have been relatively few investigations of the DMI in metallic magnets as compared with insulating counterparts. Here, we focus on the metallic magnets Co$_{8-x}$Fe$_x$Zn$_8$Mn$_4$ (0 $\leq$ $x$ $\leq$ 4.5) with a $\beta$-Mn-type chiral structure and find that as $x$ varies under a fixed crystal chirality, a reversal of magnetic helicity occurs at $x_\mathrm{c}$ $\sim$ 2.7. This experimental result is supported by a theory based on first-principles electronic structure calculations, demonstrating the DMI to depend critically on the electron band filling. Thus by composition tuning our work shows the sign change of the DMI with respect to a fixed crystal chirality to be a universal feature of metallic chiral magnets.


title: User equilibrium with a policy-based link transmission model for stochastic time-dependent traffic networks

abstract: Non-recurrent congestion is a major problem in traffic networks that causes unexpected delays during travels. In such a scenario, it is preferable to use adaptive paths or policies where next link decisions on reaching junctions are continuously adapted based on the information gained with time. In this paper, we study a traffic assignment problem in stochastic time-dependent networks. The problem is modeled as a fixed-point problem and existence of the equilibrium solution is discussed. We iteratively solve the problem using the method of successive averages (MSA). A novel network loading model inspired from Link transmission model is developed that accepts policies as inputs for solving the problem. This network loading model is different from the existing network loading models that take predefined paths for input flows. We demonstrate through numerical tests that solving traffic assignment problem with the proposed loading modeling scheme is more efficient as compared to solving the problem using path-based network loading models.


title: Surface superconductivity in a three-dimensional Cd$_3$As$_2$ semimetal

abstract: We experimentally investigate charge transport through a single planar junction between Cd$_3$As$_2$ Dirac semimetal and a normal Au lead. For non-superconducting bulk Cd$_3$As$_2$ samples, we observe non-Ohmic $dV/dI(V)$ curves, which strongly resemble standard Andreev reflection with well-defined superconducting gap. Andreev-like behavior is demonstrated for Cd$_3$As$_2$ samples with different surface and contact preparation techniques. We connect this behavior with surface superconductivity due to the flat-band formation in Cd$_3$As$_2$, which has been predicted theoretically. The conclusion on superconductivity is also supported by the gap suppression by magnetic fields or temperature.


title: Evolvement Constrained Adversarial Learning for Video Style Transfer

abstract: Video style transfer is a useful component for applications such as augmented reality, non-photorealistic rendering, and interactive games. Many existing methods use optical flow to preserve the temporal smoothness of the synthesized video. However, the estimation of optical flow is sensitive to occlusions and rapid motions. Thus, in this work, we introduce a novel evolve-sync loss computed by evolvements to replace optical flow. Using this evolve-sync loss, we build an adversarial learning framework, termed as Video Style Transfer Generative Adversarial Network (VST-GAN), which improves upon the MGAN method for image style transfer for more efficient video style transfer. We perform extensive experimental evaluations of our method and show quantitative and qualitative improvements over the state-of-the-art methods.


title: ADMM for ND Line Spectral Estimation using Grid-Free Compressive Sensing from Multiple Measurements with Applications to DOA Estimation

abstract: This paper is concerned with estimating unknown multi-dimensional frequencies from linear compressive measurements. This is accomplished by employing the recently proposed atomic norm minimization framework to recover these frequencies under a sparsity prior without imposing any grid restriction on these frequencies. To this end, we give a rigorous derivation of an iterative scheme called alternating direction of multipliers method, which is able to incorporate multiple compressive snapshots from a multi-dimensional superposition of complex harmonics. The key result here is how to formulate the objective function minimized by this scheme and its partial derivatives, which become hard to manage if the dimensionality of the frequencies is larger than 1. Moreover we demonstrate the performance of this approach in case of 3D line spectral estimation and 2D DOA estimation with a synthetic antenna array.


title: Proofs of life: molecular-biology reasoning simulates cell behaviors from first principles

abstract: We axiomatize the molecular-biology reasoning style, show compliance of the standard reference: Ptashne, A Genetic Switch, and present proof-theory-induced technologies to help infer phenotypes and to predict life cycles from genotypes. The key is to note that `reductionist discipline' entails constructive reasoning: any proof of a compound property can be decomposed to proofs of constituent properties. Proof theory makes explicit the inner structure of the axiomatized reasoning style and allows the permissible dynamics to be presented as a mode of computation that can be executed and analyzed. Constructivity and execution guarantee simulation when working over domain-specific languages. Here, we exhibit phenotype properties for genotype reasons: a molecular-biology argument is an open-system concurrent computation that results in compartment changes and is performed among processes of physiology change as determined from the molecular programming of given DNA. Life cycles are the possible sequentializations of the processes. A main implication of our construction is that formal correctness provides a complementary perspective on science that is as fundamental there as for pure mathematics. The bulk of the presented work has been verified formally correct by computer.


title: Review: Solid-state physics of halide perovskites

abstract: Halide perovskite solar cells presented a unique opportunity to apply modern computational materials science techniques to an (initially) poorly understood new material. In this review, we recount the key understanding developed during the last five years, through a narrative review of research progress. The central enigma of the material is how it can be so defective, and yet work so well as a photovoltaic. The physical properties of the material were understood through molecular and lattice dynamic calculations, revealing the material to show large dynamic responses on a wide range of time scales. Longer length scales in the material was simulated with effective classical potentials, showing that complex domains can be generated by the interacting molecular dipoles, generating structured features in the electrostatic potential of the lattice. Relativistic electronic structure reveals unique features in the bands, which may explain observed slow recombination, and could be used in high efficiency photovoltaics. The large dielectric response of the lattice leads to a strong drive for the formation of polarons, some device physics of which are discussed. These polarons offer a possible explanation for the observed slow cooling of photoexcitations in the material.


title: Face Landmark-based Speaker-Independent Audio-Visual Speech Enhancement in Multi-Talker Environments

abstract: In this paper, we address the problem of enhancing the speech of a speaker of interest in a cocktail party scenario when visual information of the speaker of interest is available. Contrary to most previous studies, we do not learn visual features on the typically small audio-visual datasets, but use an already available face landmark detector (trained on a separate image dataset). The landmarks are used by LSTM-based models to generate time-frequency masks which are applied to the acoustic mixed-speech spectrogram. Results show that: (i) landmark motion features are very effective features for this task, (ii) similarly to previous work, reconstruction of the target speaker's spectrogram mediated by masking is significantly more accurate than direct spectrogram reconstruction, and (iii) the best masks depend on both motion landmark features and the input mixed-speech spectrogram. To the best of our knowledge, our proposed models are the first models trained and evaluated on the limited size GRID and TCD-TIMIT datasets, that achieve speaker-independent speech enhancement in a multi-talker setting.


title: Euler Characteristics of Finite Homotopy Colimits

abstract: In this short note, we provide a calculation of the Euler characteristic of a finite homotopy colimit of finite cell complexes, which depends only on the Euler characteristics of each space and resembles Mobius inversion. Versions of the result are known when the colimit is indexed by a finite category, but the behavior is more uniform when we index by finite quasicategories instead. The formula simultaneously generalizes the additive formula for Euler characteristic of a homotopy pushout and the multiplicative formula for Euler characteristic of a fiber bundle.


title: Mesh-Based Affine Abstraction of Nonlinear Systems with Tighter Bounds

abstract: In this paper, we consider the problem of piecewise affine abstraction of nonlinear systems, i.e., the overapproximation of its nonlinear dynamics by a pair of piecewise affine functions that "includes" the dynamical characteristics of the original system. As such, guarantees for controllers or estimators based on the affine abstraction also apply to the original nonlinear system. Our approach consists of solving a linear programming (LP) problem that over-approximates the nonlinear function at only the grid points of a mesh with a given resolution and then accounting for the entire domain via an appropriate correction term. To achieve a desired approximation accuracy, we also iteratively subdivide the domain into subregions. Our method applies to nonlinear functions with different degrees of smoothness, including Lipschitz continuous functions, and improves on existing approaches by enabling the use of tighter bounds. Finally, we compare the effectiveness of our approach with existing optimization-based methods in simulation and illustrate its applicability for estimator design.


title: Deep Reinforcement Learning for Green Security Games with Real-Time Information

abstract: Green Security Games (GSGs) have been proposed and applied to optimize patrols conducted by law enforcement agencies in green security domains such as combating poaching, illegal logging and overfishing. However, real-time information such as footprints and agents' subsequent actions upon receiving the information, e.g., rangers following the footprints to chase the poacher, have been neglected in previous work. To fill the gap, we first propose a new game model GSG-I which augments GSGs with sequential movement and the vital element of real-time information. Second, we design a novel deep reinforcement learning-based algorithm, DeDOL, to compute a patrolling strategy that adapts to the real-time information against a best-responding attacker. DeDOL is built upon the double oracle framework and the policy-space response oracle, solving a restricted game and iteratively adding best response strategies to it through training deep Q-networks. Exploring the game structure, DeDOL uses domain-specific heuristic strategies as initial strategies and constructs several local modes for efficient and parallelized training. To our knowledge, this is the first attempt to use Deep Q-Learning for security games.


title: Quantized Josephson phase battery

abstract: A ferromagnetic Josephson junction with a spin-flipper (magnetic impurity) sandwiched in-between acts as a phase battery that can store quantized amounts of superconducting phase difference $\Phi_0$ in the ground state of the junction. Moreover, for such $\Phi_0$-Josephson junction anomalous Josephson current appears at zero phase difference. We study the properties of this quantum spin-flip scattering induced anomalous Josephson current, especially its tun-ability via misorientation angle between two Ferromagnets.


title: Radio resource management for high-speed wireless cellular networks

abstract: The fifth-generation (5G) wireless cellular system, which would be deployed by 2020, is expected to deliver significantly higher capacity and better network performance compared to those of the current fourth-generation (4G) system. Specifically, it is predicted that tens of billions of wireless devices will be connected to the wireless network over the next few years, which results in an exponential explosion of mobile data traffic. Therefore, more advanced wireless architecture, as well as radical and innovative access technologies, must be proposed to meet this urgent increasing growth of mobile data and connectivity requirements in the coming years. Toward this end, two important wireless cellular architectures, namely wireless heterogeneous networks (HetNets) based on the dense deployment of small cells and the cloud radio access networks (C-RANs) have been proposed and actively studied by both academic and industry communities. Besides enabling a lot of advantages in increasing network coverage as well as end-to-end system throughput, these two novel network architectures have also raised some novel technical challenges and opened exciting research areas for further research. Motivated by the aforementioned technical challenges, the general objective of this Ph.D. research is to develop efficient radio resource allocation and interference management algorithms for the future high-speed wireless cellular networks. In particular, we have developed various efficient resource allocation algorithms for reducing the transmission power and increasing the end-to-end network throughput for both HetNets and C-RANs. Furthermore, extensive numerical results are presented to gain further insights and to evaluate the performance of our resource allocation designs.


title: Concept Learning with Energy-Based Models

abstract: Many hallmarks of human intelligence, such as generalizing from limited experience, abstract reasoning and planning, analogical reasoning, creative problem solving, and capacity for language require the ability to consolidate experience into concepts, which act as basic building blocks of understanding and reasoning. We present a framework that defines a concept by an energy function over events in the environment, as well as an attention mask over entities participating in the event. Given few demonstration events, our method uses inference-time optimization procedure to generate events involving similar concepts or identify entities involved in the concept. We evaluate our framework on learning visual, quantitative, relational, temporal concepts from demonstration events in an unsupervised manner. Our approach is able to successfully generate and identify concepts in a few-shot setting and resulting learned concepts can be reused across environments. Example videos of our results are available at sites.google.com/site/energyconceptmodels


title: Diameter of reduced spherical convex bodies

abstract: The intersection $L$ of two different non-opposite hemispheres of the unit sphere $S^2$ is called a lune. By $\Delta (L)$ we denote the distance of the centers of the semicircles bounding $L$. By the thickness $\Delta (C)$ of a convex body $C \subset S^2$ we mean the minimal value of $\Delta (L)$ over all lunes $L \supset C$. We call a convex body $R\subset S^2$ reduced provided $\Delta (Z) < \Delta (R)$ for every convex body $Z$ being a proper subset of $R$. Our aim is to estimate the diameter of $R$, where $\Delta (R) < \frac{\pi}{2}$, in terms of its thickness.


title: Towards Understanding of Gold Interaction with AIII-BV Semiconductors at Atomic Level

abstract: AIII-BV semiconductors have been considered for decades to be a promising material in overcoming the limitations of silicon semiconductor devices. One of the important aspects within AIII-BV semiconductor technology are gold-semiconductor interactions on the nanoscale. We report on investigations into the basic chemical interactions of Au atoms with AIII-BV semiconductor crystals by an investigation of nanostructures formation in the process of thermally-induced Au self-assembly on various AIII-BV surfaces, and this by means of atomically resolved High Angle Annular Dark Field (HAADF) Scanning Transmission Electron Microscopy (STEM) measurements. We have found that the formation of nanostructures is a consequence of the surface diffusion and nucleation of adatoms produced by Au induced chemical reactions on AIII-BV semiconductor surfaces. Only for InSb crystal we have found that there is efficient diffusion of Au atoms into the bulk, which we experimentally studied by Machine Learning HAADF STEM image quantification and theoretically by Density Functional Theory (DFT) calculations with the inclusion of finite temperature effects. Furthermore, the effective number of Au atoms needed to release one AIII metal atom has been estimated. The experimental finding reveals a difference in the Au interactions with In- and Ga-based groups of AIII-BV semiconductors. Our comprehensive and systematic studies uncover details of the Au interactions with the AIII-BV surface at the atomic level with chemical sensitivity and shed new light on the fundamental Au/AIII-BV interactions at the atomic scale.


title: Unifying Probabilistic Models for Time-Frequency Analysis

abstract: In audio signal processing, probabilistic time-frequency models have many benefits over their non-probabilistic counterparts. They adapt to the incoming signal, quantify uncertainty, and measure correlation between the signal's amplitude and phase information, making time domain resynthesis straightforward. However, these models are still not widely used since they come at a high computational cost, and because they are formulated in such a way that it can be difficult to interpret all the modelling assumptions. By showing their equivalence to Spectral Mixture Gaussian processes, we illuminate the underlying model assumptions and provide a general framework for constructing more complex models that better approximate real-world signals. Our interpretation makes it intuitive to inspect, compare, and alter the models since all prior knowledge is encoded in the Gaussian process kernel functions. We utilise a state space representation to perform efficient inference via Kalman smoothing, and we demonstrate how our interpretation allows for efficient parameter learning in the frequency domain.


title: $k$-Schur expansions of Catalan functions

abstract: We make a broad conjecture about the $k$-Schur positivity of Catalan functions, symmetric functions which generalize the (parabolic) Hall-Littlewood polynomials. We resolve the conjecture with positive combinatorial formulas in cases which address the $k$-Schur expansion of (1) Hall-Littlewood polynomials, proving the $q=0$ case of the strengthened Macdonald positivity conjecture of Lapointe, Lascoux, and Morse; (2) the product of a Schur function and a $k$-Schur function when the indexing partitions concatenate to a partition, describing a class of Gromov-Witten invariants for the quantum cohomology of complete flag varieties; (3) $k$-split polynomials, proving a substantial case of a problem of Broer and Shimozono-Weyman on parabolic Hall-Littlewood polynomials. In addition, we prove the conjecture that $k$-Schur functions defined in terms of $k$-split polynomials agree with strong tableau $k$-Schur functions.


title: Mobile Data Science: Towards Understanding Data-Driven Intelligent Mobile Applications

abstract: Due to the popularity of smart mobile phones and context-aware technology, various contextual data relevant to users' diverse activities with mobile phones is available around us. This enables the study on mobile phone data and context-awareness in computing, for the purpose of building data-driven intelligent mobile applications, not only on a single device but also in a distributed environment for the benefit of end users. Based on the availability of mobile phone data, and the usefulness of data-driven applications, in this paper, we discuss about mobile data science that involves in collecting the mobile phone data from various sources and building data-driven models using machine learning techniques, in order to make dynamic decisions intelligently in various day-to-day situations of the users. For this, we first discuss the fundamental concepts and the potentiality of mobile data science to build intelligent applications. We also highlight the key elements and explain various key modules involving in the process of mobile data science. This article is the first in the field to draw a big picture, and thinking about mobile data science, and it's potentiality in developing various data-driven intelligent mobile applications. We believe this study will help both the researchers and application developers for building smart data-driven mobile applications, to assist the end mobile phone users in their daily activities.


title: Top Quark Anomalous Couplings at the High-Luminosity Phase of the LHC

abstract: The combination of the latest and most precise measurements of several top quark properties is presented in this paper in order to establish allowed regions on anomalous contributions to the Lorentz structure of the $Wtb$ vertex. These measurements include single top production cross sections, $W$ boson helicity fractions and forward-backward asymmetries, both at Tevatron and at the Large Hadron Collider, up to a center-of-mass energy of 13 TeV. The results obtained at 95% Confidence Level for the top quark anomalous couplings are compared with the limits extracted from a combination that includes the expected measurements at the future High-Luminosity run of the Large Hadron Collider.


title: Quench dynamics and zero-energy modes: the case of the Creutz model

abstract: In most lattice models, the closing of a band gap typically occurs at high-symmetry points in the Brillouin zone. Differently, in the Creutz model $-$ describing a system of spinless fermions hopping on a two-leg ladder pierced by a magnetic field $-$ the gap closing at the quantum phase transition between the two topologically nontrivial phases of the model can be moved by tuning the hopping amplitudes. We take advantage of this property to examine the nonequilibrium dynamics of the model after a sudden quench of the magnetic flux through the plaquettes of the ladder. For a quench to one of the equilibrium quantum critical points we find that the revival period of the Loschmidt echo $-$ measuring the overlap between initial and time-evolved states $-$ is controlled by the gap closing zero-energy modes. In particular, and contrary to expectations, the revival period of the Loschmidt echo for a finite ladder does not scale linearly with size but exhibits jumps determined by the presence or absence of zero-energy modes. We further investigate the conditions for the appearance of dynamical quantum phase transitions in the model and find that, for a quench {\em to} an equilibrium critical point, such transitions occur only for ladders of sizes which host zero-energy modes. Exploiting concepts from quantum thermodynamics, we show that the average work and the irreversible work per lattice site exhibit a weak dependence on the size of the system after a quench {\em across} an equilibrium critical point, suggesting that quenching into a different phase induces effective correlations among the particles.


title: QCD phase diagram for finite imaginary chemical potential with HISQ fermions

abstract: We present results from an ongoing study of the phase diagram of (2+1)-flavor QCD using the HISQ action with smaller than physical light quark masses in the Roberge-Weiss (RW) plane on lattices with temporal extent $N_\tau=4$. We find that the endpoint of the $1^{st}$ order RW transition line remains $2^{nd}$ order at least down to light quark masses corresponding to Goldstone pion masses of $55$ MeV. Furthermore, we show that the chiral condensate is sensitive to the RW transition and may serve as a energy-like operator characterizing universal behavior close to the RW endpoint.


title: Homogeneous spinor flow

abstract: We study the spinor flow on homogeneous spin manifolds. After providing the general setup we discuss the homogeneous spinor flow in dimension 3 and on almost abelian Lie groups in detail. As a further example the flag manifold in dimension 6 is treated.


title: Towards continual learning in medical imaging

abstract: This work investigates continual learning of two segmentation tasks in brain MRI with neural networks. To explore in this context the capabilities of current methods for countering catastrophic forgetting of the first task when a new one is learned, we investigate elastic weight consolidation, a recently proposed method based on Fisher information, originally evaluated on reinforcement learning of Atari games. We use it to sequentially learn segmentation of normal brain structures and then segmentation of white matter lesions. Our findings show this recent method reduces catastrophic forgetting, while large room for improvement exists in these challenging settings for continual learning.


title: Time will tell - Recovering Preferences when Choices are Noisy

abstract: The ability to uncover preferences from choices is fundamental for both positive economics and welfare analysis. Overwhelming evidence shows that choice is stochastic, which has given rise to random utility models as the dominant paradigm in applied microeconomics. However, as is well known, it is not possible to infer the structure of preferences in the absence of assumptions on the structure of noise. This makes it impossible to empirically test the structure of noise independently from the structure of preferences. Here, we show that the difficulty can be bypassed if data sets are enlarged to include response times. A simple condition on response time distributions (a weaker version of first order stochastic dominance) ensures that choices reveal preferences without assumptions on the structure of utility noise. Sharper results are obtained if the analysis is restricted to specific classes of models. Under symmetric noise, response times allow to uncover preferences for choice pairs outside the data set, and if noise is Fechnerian, even choice probabilities can be forecast out of sample. We conclude by showing that standard random utility models from economics and standard drift-diffusion models from psychology necessarily generate data sets fulfilling our sufficient condition on response time distributions.


title: A spectral universality theorem for Maass $L$-functions

abstract: We show that for a positive proportion of Laplace eigenvalues $\lambda_j$ the associated Hecke-Maass $L$-functions $L(s,u_j)$ approximate with arbitrary precision any target function $f(s)$ on a closed disc with center in $3/4$ and radius $r<1/4$. The main ingredients in the proof are the spectral large sieve of Deshouillers-Iwaniec and Sarnak's equidistribution theorem for Hecke eigenvalues.


title: A high-order, conservative integrator with local time-stepping

abstract: We present a family of multistep integrators based on the Adams-Bashforth methods. These schemes can be constructed for arbitrary convergence order with arbitrary step size variation. The step size can differ between different subdomains of the system. It can also change with time within a given subdomain. The methods are linearly conservative, preserving a wide class of analytically constant quantities to numerical roundoff, even when numerical truncation error is significantly higher. These methods are intended for use in solving conservative PDEs in discontinuous Galerkin formulations or in finite-difference methods with compact stencils. A numerical test demonstrates these properties and shows that significant speed improvements over the standard Adams-Bashforth schemes can be obtained.


title: Unified Low Complexity Radix-2 Architectures for Time and Frequency-domain GFDM Modem

abstract: Most of the conventional multicarrier waveforms explicitly or implicitly involve a generalized frequency division multiplexing (GFDM)-based modem as a core part of the baseband processing. Some are based on GFDM with a single prototype filter, e.g. orthogonal frequency division multiplexing (OFDM) and others employ multiple filters such as filter bank multicarrier (FBMC). Moreover, the GFDM degrees of freedom combined with multiple prototype filters design allow the development and optimization of new waveforms. Nevertheless, GFDM has been widely considered as a complex modulation because of the requirements of odd number of subcarriers or subsymbols. Accordingly, the current state of the art implementations consume high resources. One solution to reduce the complexity is utilizing radix-2 parameters. Due to the advancement in GFDM filter design, the constraint of using odd parameters has been overcome and radix-2 realization is now possible. In this paper, we propose a unified low complexity architecture that can be reconfigured to provide both time-domain and frequency-domain modulation/demodulation. The design consists of several radix-2 fast Fourier transform (FFT) and memory blocks, in addition to one complex multiplier. Moreover, we provide a unified architecture for the state of the art implementations, which is designed based on direct computation of circular convolution using parallel multiplier chains. As we demonstrate in this work, the FFTbased architecture is computationally more efficient, provides more flexibility, significantly reduces the resource consumption, and achieves similar latency for larger block size.


title: Perturbative expansions of the conformation tensor in viscoelastic flows

abstract: We consider the problem of formulating perturbative expansions of the conformation tensor, which is a positive-definite tensor representing polymer deformation in viscoelastic flows. The classical approach does not explicitly take into account that the perturbed tensor must remain positive definite---a fact that has important physical implications, e.g. extensions and compressions are represented similarly to within a negative sign, when physically the former are unbounded and the latter are bounded from below. Mathematically, the classical approach assumes that the underlying geometry is Euclidean, and this assumption is not satisfied by the manifold of positive definite tensors. We provide an alternative formulation that retains the conveniences of classical perturbation methods used for generating linear and weakly nonlinear expansions, but also provides a clear physical interpretation and a mathematical basis for analysis. The approach is based on treating a perturbation as a sequence of successively smaller deformations of the polymer. Each deformation is modelled explicitly using geodesics on the manifold of positive-definite tensors. Using geodesics, and associated geodesic distances, is the natural way to model perturbations to positive-definite tensors because it is consistent with the manifold geometry. Approximations of the geodesics can then be used to reduce the total deformation to a series expansion in the small perturbation limit. We illustrate our approach using direct numerical simulations of the nonlinear evolution of Tollmien-Schlichting waves.


title: A dynamical model of opinion formation in voting processes under bounded confidence

abstract: In recent years, opinion dynamics has received an increasing attention, and various models have been introduced and evaluated mainly by simulation. In this study, we introduce and study a dynamical model inspired by the so-called `bounded confidence' approach where voters engaged in an electoral decision with two options are influenced by individuals sharing an opinion similar to their own. This model allows one to capture salient features of the evolution of opinions and results in final clusters of voters. The model is nonlinear and discontinuous. We provide a detailed study of the model, including a complete classification of fixed points of the appearing dynamical system and analysis of their stability. It is shown that any trajectory tends to a fixed point. The model highlights that the final electoral outcome depends on the level of interaction in the society, besides the initial opinion of each individual, so that a strongly interconnected society can reverse the electoral outcome as compared to a society with looser exchange.


title: Searching for a source of difference in Gaussian graphical models

abstract: In this work, we look at a two-sample problem within the framework of Gaussian graphical models. When the global hypothesis of equality of two distributions is rejected, the interest is usually in localizing the source of difference. Motivated by the idea that diseases can be seen as system perturbations, and by the need to distinguish between the origin of perturbation and components affected by the perturbation, we introduce the concept of a minimal seed set, and its graphical counterpart a graphical seed set. They intuitively consist of variables driving the difference between the two conditions. We propose a simple testing procedure, linear in the number of nodes, to estimate the graphical seed set from data, and study its finite sample behavior with a stimulation study. We illustrate our approach in the context of gene set analysis by means of a publicly available gene expression dataset.


title: Recent advances in methodology for clinical trials in small populations: the InSPiRe project

abstract: Where there are a limited number of patients, such as in a rare disease, clinical trials in these small populations present several challenges, including statistical issues. This led to an EU FP7 call for proposals in 2013. One of the three projects funded was the Innovative Methodology for Small Populations Research (InSPiRe) project. This paper summarizes the main results of the project, which was completed in 2017. The InSPiRe project has led to development of novel statistical methodology for clinical trials in small populations in four areas. We have explored new decision-making methods for small population clinical trials using a Bayesian decision-theoretic framework to compare costs with potential benefits, developed approaches for targeted treatment trials, enabling simultaneous identification of subgroups and confirmation of treatment effect for these patients, worked on early phase clinical trial design and on extrapolation from adult to pediatric studies, developing methods to enable use of pharmacokinetics and pharmacodynamics data, and also developed improved robust meta-analysis methods for a small number of trials to support the planning, analysis and interpretation of a trial as well as enabling extrapolation between patient groups. In addition to scientific publications, we have contributed to regulatory guidance and produced free software in order to facilitate implementation of the novel methods.


title: The core of the massive cluster merger MACS J0417.5-1154 as seen by VLT/MUSE

abstract: We present a multi-wavelength analysis of the core of the massive galaxy cluster MACS\,J0417.5-1154 ($z = 0.441$; MACS\;J0417). Our analysis takes advantage of VLT/MUSE observations which allow the spectroscopic confirmation of three strongly-lensed systems. One of these, nick-named \emph{The Doughnut}, consists of three complete images of a complex ring galaxy at $z = 0.8718$ and a fourth, partial and radial image close to the Brightest Cluster Galaxy (BCG) only discernible thanks to its strong [OII] line emission. The best-fit mass model (rms of 0.38\arcsec) yields a two-dimensional enclosed mass of $M({\rm R < 200\,kpc}) = (1.77\pm0.03)\times10^{14}\,\msun$ and almost perfect alignment between the peaks of the BCG light and the dark matter of ($0.5\pm0.5$)\arcsec . Our finding that a significant misalignment results when the radial image of \emph{The Doughnut} is omitted serves as an important caveat for studies of BCG-dark matter offsets in galaxy clusters. Using \emph{Chandra} data to map the intra-cluster gas, we observe an offset between the gas and dark-matter peaks of ($1.7\pm0.5$)\arcsec, and excellent alignment of the X-ray peak with the location of optical emission line associated with the BCG. We interpret all observational evidence in the framework of on-going merger activity, noting specifically that the coincidence between the gas peak and the peak of blue light from the BCG may be evidence of dense, cold gas leading to direct star formation. We use the surface area $\sigma_{\mu}$ above a given magnification factor $\mu$ as a metric to estimate the lensing power of MACS\,J0417. We obtain $\sigma(\mu > 3) = 0.22$\,arcmin$^2$ confirming MACS\,J0417 as an efficient gravitational lens. Finally, we discuss the differences between our mass model and Mahler et al. (2018).


title: Variational Bayes Inference in Digital Receivers

abstract: The digital telecommunications receiver is an important context for inference methodology, the key objective being to minimize the expected loss function in recovering the transmitted information. For that criterion, the optimal decision is the Bayesian minimum-risk estimator. However, the computational load of the Bayesian estimator is often prohibitive and, hence, efficient computational schemes are required. The design of novel schemes, striking new balances between accuracy and computational load, is the primary concern of this thesis. Two popular techniques, one exact and one approximate, will be studied. The exact scheme is a recursive one, namely the generalized distributive law (GDL), whose purpose is to distribute all operators across the conditionally independent (CI) factors of the joint model, so as to reduce the total number of operators required. In a novel theorem derived in this thesis, GDL, if applicable, will be shown to guarantee such a reduction in all cases. An associated lemma also quantifies this reduction. For practical use, two novel algorithms, namely the no-longer-needed (NLN) algorithm and the generalized form of the Markovian Forward-Backward (FB) algorithm, recursively factorizes and computes the CI factors of an arbitrary model, respectively. The approximate scheme is an iterative one, namely the Variational Bayes (VB) approximation, whose purpose is to find the independent (i.e. zero-order Markov) model closest to the true joint model in the minimum Kullback-Leibler divergence (KLD) sense. Despite being computationally efficient, this naive mean field approximation confers only modest performance for highly correlated models. A novel approximation, namely Transformed Variational Bayes (TVB), will be designed in the thesis in order to relax the zero-order constraint in the VB approximation, further reducing the KLD of the optimal approximation.


title: Superregular grammars do not provide additional explanatory power but allow for a compact analysis of animal song

abstract: A pervasive belief with regard to the differences between human language and animal vocal sequences (song) is that they belong to different classes of computational complexity, with animal song belonging to regular languages, whereas human language is superregular. This argument, however, lacks empirical evidence since superregular analyses of animal song are understudied. The goal of this paper is to perform a superregular analysis of animal song, using data from gibbons as a case study, and demonstrate that a superregular analysis can be effectively used with non-human data. A key finding is that a superregular analysis does not increase explanatory power but rather provides for compact analysis: Fewer grammatical rules are necessary once superregularity is allowed. This pattern is analogous to a previous computational analysis of human language, and accordingly, the null hypothesis, that human language and animal song are governed by the same type of grammatical systems, cannot be rejected.


title: SDR - half-baked or well done?

abstract: In speech enhancement and source separation, signal-to-noise ratio is a ubiquitous objective measure of denoising/separation quality. A decade ago, the BSS_eval toolkit was developed to give researchers worldwide a way to evaluate the quality of their algorithms in a simple, fair, and hopefully insightful way: it attempted to account for channel variations, and to not only evaluate the total distortion in the estimated signal but also split it in terms of various factors such as remaining interference, newly added artifacts, and channel errors. In recent years, hundreds of papers have been relying on this toolkit to evaluate their proposed methods and compare them to previous works, often arguing that differences on the order of 0.1 dB proved the effectiveness of a method over others. We argue here that the signal-to-distortion ratio (SDR) implemented in the BSS_eval toolkit has generally been improperly used and abused, especially in the case of single-channel separation, resulting in misleading results. We propose to use a slightly modified definition, resulting in a simpler, more robust measure, called scale-invariant SDR (SI-SDR). We present various examples of critical failure of the original SDR that SI-SDR overcomes.


title: Generalized quantum Zeno dynamics and ergodic means

abstract: We prove the existence of uniform limits for certain sequences of products of contractions and elements of a family of uniformly continuous propagators acting on a Hilbert or a Banach space. From the point of view of Quantum Physics, the considered sequences can represent the evolution of a system whose dynamics, described by a continuous propagator, is disturbed by a sequence of generic quantum operations (e.g., projective measurements or unitary pulses). This includes and also generalizes the so-called quantum Zeno dynamics. The time-evolution obtained from the limits of the considered sequences are described by propagators generated by ergodic means. The notion of such ergodic means is generalized in this paper to also include propagators of time-dependent generators, and thus our results can be used to develop new forms of active decoherence suppression. In a similar way, we also consider the effective time-evolution obtained from adding to the possibly time-dependent generator of the original propagator a generator of a uniformly continuous contraction semi-group with asymptotically increasing weight in the sum. By proving a generalized adiabatic theorem, it is shown that also for this set-up the resulting time-evolution is governed by a suitable ergodic mean.


title: UAlacant machine translation quality estimation at WMT 2018: a simple approach using phrase tables and feed-forward neural networks

abstract: We describe the Universitat d'Alacant submissions to the word- and sentence-level machine translation (MT) quality estimation (QE) shared task at WMT 2018. Our approach to word-level MT QE builds on previous work to mark the words in the machine-translated sentence as \textit{OK} or \textit{BAD}, and is extended to determine if a word or sequence of words need to be inserted in the gap after each word. Our sentence-level submission simply uses the edit operations predicted by the word-level approach to approximate TER. The method presented ranked first in the sub-task of identifying insertions in gaps for three out of the six datasets, and second in the rest of them.


title: Observation of Subradiant Atomic Momentum States with Bose-Einstein Condensates in a Recoil Resolving Optical Ring Resonator

abstract: We experimentally investigate the formation of subradiant atomic momentum states in Bose-Einstein condensates inside a recoil resolving optical ring resonator according to the theoretical proposal of Cola, Bigerni, and Piovella. The atoms are pumped from the side with laser light that contains two frequency components. They resonantly drive cavity assisted Raman transitions between three discreet atomic momentum states. Within a few hundred microseconds, the system evolves into a stationary subradiant state. In this state, the condensate develops two density gratings suitable to diffract the two frequency components of the pump field into the resonator. Both components destructively interfere such that scattering is efficiently suppressed. A series of subradiant states for various amplitude ratios of the two pump components between 0 and 2.1 have been observed. The results are well explained with a three state quantum model in mean field approximation.


title: Graph Based Power Flow Calculation for Energy Management System

abstract: Power flow calculation in EMS is required to accommodate a large and complex power system. To achieve a faster than real-time calculation, a graph based power flow calculation is proposed in this paper. Graph database and graph computing advantages in power system calculations are presented. A linear solver for power flow application is formulated and decomposed in nodal parallelism and hierarchical parallelism to fully utilize graph parallel computing capability. Comparison of the algorithm with traditional sequential programs shows significant benefits on computation efficiency. Case studies on practical large-scale systems provide supporting evidence that the new algorithm is promising for online computing for EMS.


title: Optical Wireless Cochlear Implants

abstract: In the present contribution, we introduce a wireless optical communication-based system architecture which is shown to significantly improve the reliability and the spectral and power efficiency of the transcutaneous link in cochlear implants (CIs). We refer to the proposed system as optical wireless cochlear implant (OWCI).In order to provide a quantified understanding of its design parameters, we establish a theoretical framework that takes into account the channel particularities, the integration area of the internal unit, the transceivers misalignment, and the characteristics of the optical units. To this end, we derive explicit expressions for the corresponding average signal-to-noise-ratio, outage probability, ergodic spectral efficiency and capacity of the transcutaneous optical link (TOL). These expressions are subsequently used to assess the dependence of the TOL's communication quality on the transceivers design parameters and the corresponding channels characteristics. The offered analytic results are corroborated with respective results from Monte Carlo simulations. Our findings reveal that OWCI is a particularly promising architecture that drastically increases the reliability and effectiveness of the CI TOL, whilst it requires considerably lower transmit power compared to the corresponding widely-used radio frequency (RF) solution.


title: Quantifying Uncertainty in High Dimensional Inverse Problems by Convex Optimisation

abstract: Inverse problems play a key role in modern image/signal processing methods. However, since they are generally ill-conditioned or ill-posed due to lack of observations, their solutions may have significant intrinsic uncertainty. Analysing and quantifying this uncertainty is very challenging, particularly in high-dimensional problems and problems with non-smooth objective functionals (e.g. sparsity-promoting priors). In this article, a series of strategies to visualise this uncertainty are presented, e.g. highest posterior density credible regions, and local credible intervals (cf. error bars) for individual pixels and superpixels. Our methods support non-smooth priors for inverse problems and can be scaled to high-dimensional settings. Moreover, we present strategies to automatically set regularisation parameters so that the proposed uncertainty quantification (UQ) strategies become much easier to use. Also, different kinds of dictionaries (complete and over-complete) are used to represent the image/signal and their performance in the proposed UQ methodology is investigated.


title: From the flat-space S-matrix to the Wavefunction of the Universe

abstract: The physical information encoded in the cosmological late-time wavefunction of the universe is tied to its singularity structure and its behaviour as such singularities are approached. One important singularity is identified by the vanishing of the total energy, where the wavefunction reduces to the physics of scattering in flat space. In this paper, we discuss the behaviour of the perturbative wavefunction as its other singularities are approached and the role played by the flat-space scattering, in the simplified context of the class of toy models admitting a first principle definition in terms of cosmological polytopes. The problems then translates into the analysis of the structure of its facets, one of which -- the scattering facet -- beautifully encodes the flat-space S-matrix. We show that all the boundaries of the cosmological polytope encode information about the flat-space physics. In particular, a subset of its facets turns out to have a similar structure as the scattering facet, with the vertices which can be grouped together to form lower dimensional scattering facets. The other facets admit one (and only one) triangulation in terms of products of lower dimensional scattering facets. As a consequence, the whole perturbative wavefunction can be represented as a sum of product of flat-space scattering amplitudes. Finally, we turn the table around and ask whether the knowledge of the flat-space scattering amplitudes suffices to reconstruct the wavefunction of the universe. We show that, at least for our class of toy models, this is indeed the case at tree level if we are also provided with a subset of symmetries that the wavefunction ought to satisfy. Once the tree cosmological polytopes are reconstructed, the loop ones can be obtained as a particular projection of them.


title: Computing Entity Semantic Similarity by Features Ranking

abstract: This article presents a novel approach to estimate semantic entity similarity using entity features available as Linked Data. The key idea is to exploit ranked lists of features, extracted from Linked Data sources, as a representation of the entities to be compared. The similarity between two entities is then estimated by comparing their ranked lists of features. The article describes experiments with museum data from DBpedia, with datasets from a LOD catalog, and with computer science conferences from the DBLP repository. The experiments demonstrate that entity similarity, computed using ranked lists of features, achieves better accuracy than state-of-the-art measures.


title: NeuralDrop: DNN-based Simulation of Small-Scale Liquid Flows on Solids

abstract: Small-scale liquid flows on solid surfaces provide convincing details in liquid animation, but they are difficult to be simulated with efficiency and fidelity, mostly due to the complex nature of the surface tension at the contact front where liquid, air, and solid meet. In this paper, we propose to simulate the dynamics of new liquid drops from captured real-world liquid flow data, using deep neural networks. To achieve this goal, we develop a data capture system that acquires liquid flow patterns from hundreds of real-world water drops. We then convert raw data into compact data for training neural networks, in which liquid drops are represented by their contact fronts in a Lagrangian form. Using the LSTM units based on recurrent neural networks, our neural networks serve three purposes in our simulator: predicting the contour of a contact front, predicting the color field gradient of a contact front, and finally predicting whether a contact front is going to break or not. Using these predictions, our simulator recovers the overall shape of a liquid drop at every time step, and handles merging and splitting events by simple operations. The experiment shows that our trained neural networks are able to perform predictions well. The whole simulator is robust, convenient to use, and capable of generating realistic small-scale liquid effects in animation.


title: Luminous red galaxies in the Kilo Degree Survey: selection with broad-band photometry and weak lensing measurements

abstract: We use the overlap between multiband photometry of the Kilo-Degree Survey (KiDS) and spectroscopic data based on the Sloan Digital Sky Survey (SDSS) and Galaxy And Mass Assembly (GAMA) to infer the colour-magnitude relation of red-sequence galaxies. We then use this inferred relation to select luminous red galaxies (LRGs) in the redshift range of $0.1<z<0.7$ over the entire KiDS Data Release 3 footprint. We construct two samples of galaxies with different constant comoving densities and different luminosity thresholds. The selected red galaxies have photometric redshifts with typical photo-z errors of $\sigma_z \sim 0.014 (1+z)$ that are nearly uniform with respect to observational systematics. This makes them an ideal set of galaxies for lensing and clustering studies. As an example, we use the KiDS-450 cosmic shear catalogue to measure the mean tangential shear signal around the selected LRGs. We detect a significant weak lensing signal for lenses out to $z \sim 0.7$.


title: Squeezing the angular momentum of an ensemble of complex multi-level atoms

abstract: Squeezing of collective atomic spins has been shown to improve the sensitivity of atomic clocks and magnetometers to levels significantly below the standard quantum limit. In most cases the requisite atom-atom entanglement has been generated by dispersive interaction with a quantized probe field, or by state dependent collisions in a quantum gas. Such experiments typically use complex multilevel atoms like Rb or Cs, with the relevant interactions designed so atoms behave like pseudo-spin-$1/2$ particles. We demonstrate the viability of spin squeezing for collective spins composed of the physical angular momenta of $\sim 10^6$ Cs atoms, each in an internal spin-4 hyperfine state. A peak metrological squeezing of $\gtrsim -5$dB was generated by quantum backaction from a dispersive quantum nondemolition (QND) measurement, implemented using a two-color optical probe that minimizes tensor light shifts without sacrificing measurement strength. Other significant developments include the successful application of composite pulse techniques for accurate dynamical control of the collective spin, enabled by broadband suppression of background magnetic fields inside a state-of-the-art magnetic shield. The absence of classical noise has allowed us to compare the observed quantum projection noise and squeezing to a theoretical model that properly accounts for both the relevant atomic physics and the spatial mode of the collective spin, finding good quantitative agreement and thereby validating its use in other contexts. Thus, our work sets the stage for experiments on quantum feedback, deterministic squeezing, closed-loop magnetometry, and new types of quantum simulation based on continuous QND measurement and feedback.


title: Convergence of normalized Betti numbers in nonpositive curvature

abstract: We study the convergence of volume-normalized Betti numbers in Benjamini-Schramm convergent sequences of non-positively curved manifolds with finite volume. In particular, we show that if $X$ is an irreducible symmetric space of noncompact type, $X \neq \mathbb H^3$, and $(M_n)$ is any Benjamini-Schramm convergent sequence of finite volume $X$-manifolds, then the normalized Betti numbers $b_k(M_n)/vol(M_n)$ converge for all $k$. As a corollary, if $X$ has higher rank and $(M_n)$ is any sequence of distinct, finite volume $X$-manifolds, the normalized Betti numbers of $M_n$ converge to the $L^2$ Betti numbers of $X$. This extends our earlier work with Nikolov, Raimbault and Samet, where we proved the same convergence result for uniformly thick sequences of compact $X$-manifolds.


title: Achieving Acceleration in Distributed Optimization via Direct Discretization of the Heavy-Ball ODE

abstract: We develop a distributed algorithm for convex Empirical Risk Minimization, the problem of minimizing large but finite sum of convex functions over networks. The proposed algorithm is derived from directly discretizing the second-order heavy-ball differential equation and results in an accelerated convergence rate, i.e, faster than distributed gradient descent-based methods for strongly convex objectives that may not be smooth. Notably, we achieve acceleration without resorting to the well-known Nesterov's momentum approach. We provide numerical experiments and contrast the proposed method with recently proposed optimal distributed optimization algorithms.


title: Duality for the robust sum of functions

abstract: In this paper we associate with an infinite family of real extended functions defined on a locally convex space, a sum, called robust sum, which is always well-defined. We also associate with that family of functions a dual pair of problems formed by the unconstrained minimization of its robust sum and the so-called optimistic dual. For such a dual pair, we characterize weak duality, zero duality gap, and strong duality, and their corresponding stable versions, in terms of multifunctions associated with the given family of functions and a given non-negative approximation parameter epsilon which is related to the epsilon-subdifferential of the robust sum of the family. We also consider the particular case when all functions of the family are convex, assumption allowing to characterize the duality properties in terms of closedness conditions.


title: Kerr breather-soliton time crystals

abstract: Breather solitons in passive, driven, Kerr-nonlinear optical resonators are circulating pulses of light that have amplitude, bandwidth, and duration that oscillate in time over the course of many resonator round trips. These breather oscillations emerge spontaneously, and their frequency is determined by the system parameters. Here we propose and theoretically investigate the possibility that these breather oscillations may become subharmonically entrained to the periodic perturbation occurring at the resonator round-trip time $T_R$ that arises from out-coupling and pumping. The result of subharmonic entrainment is an integer ratio $T_b/T_R=N\gg1$ between the breather period $T_b$ and the round-trip time. We find that in a regime of intermediate resonator finesse ($\mathcal{F}\sim30-40$), rigid subharmonic entrainment---or locking of the breather oscillation to the round-trip time---occurs and is maintained over a range of system parameters. We observe entrainment with an integer locking ratio as high as $N=20$, and propose a way to realize the effect with higher entrainment ratios and at higher finesse. This system's subharmonic response to governing equations that are invariant under discrete time translations is similar to recently proposed and reported discrete time crystals in quantum many-body systems. We discuss a route towards realization of these breather-soliton time crystals in experiment, and explain how their incorporation into photonics systems could simplify proposed applications of microresonator solitons. Importantly, our work explores a new regime of microresonator Kerr-nonlinear dynamics in which the round-trip-time perturbation plays a significant role.


title: Solving SAT and MaxSAT with a Quantum Annealer: Foundations, Encodings, and Preliminary Results

abstract: Quantum annealers (QAs) are specialized quantum computers that minimize objective functions over discrete variables by physically exploiting quantum effects. Current QA platforms allow for the optimization of quadratic objectives defined over binary variables (qubits), also known as Ising problems. In the last decade, QA systems as implemented by D-Wave have scaled with Moore-like growth. Current architectures provide 2048 sparsely-connected qubits, and continued exponential growth is anticipated, together with increased connectivity. We explore the feasibility of such architectures for solving SAT and MaxSAT problems as QA systems scale. We develop techniques for effectively encoding SAT -and, with some limitations, MaxSAT- into Ising problems compatible with sparse QA architectures. We provide the theoretical foundations for this mapping, and present encoding techniques that combine offline Satisfiability and Optimization Modulo Theories with on-the-fly placement and routing. Preliminary empirical tests on a current generation 2048-qubit D-Wave system support the feasibility of the approach for certain SAT and MaxSAT problems.


title: Double Adaptive Stochastic Gradient Optimization

abstract: Adaptive moment methods have been remarkably successful in deep learning optimization, particularly in the presence of noisy and/or sparse gradients. We further the advantages of adaptive moment techniques by proposing a family of double adaptive stochastic gradient methods~\textsc{DASGrad}. They leverage the complementary ideas of the adaptive moment algorithms widely used by deep learning community, and recent advances in adaptive probabilistic algorithms.We analyze the theoretical convergence improvements of our approach in a stochastic convex optimization setting, and provide empirical validation of our findings with convex and non convex objectives. We observe that the benefits of~\textsc{DASGrad} increase with the model complexity and variability of the gradients, and we explore the resulting utility in extensions of distribution-matching multitask learning.


title: CoHSI IV: Unifying Horizontal and Vertical Gene Transfer - is Mechanism Irrelevant ?

abstract: In previous papers we have described with strong experimental support, the organising role that CoHSI (Conservation of Hartley-Shannon Information) plays in determining important global properties of all known proteins, from defining the length distribution, to the natural emergence of very long proteins and their relationship to evolutionary time. Here we consider the insight that CoHSI might bring to a different problem, the distribution of identical proteins across species. Horizontal and Vertical Gene Transfer (HGT/VGT) both lead to the replication of protein sequences across species through a diversity of mechanisms some of which remain unknown. In contrast, CoHSI predicts from fundamental theory that such systems will demonstrate power law behavior independently of any mechanisms, and using the Uniprot database we show that the global pattern of protein re-use is emphatically linear on a log-log plot (adj. $R^{2} = 0.99, p < 2.2 \times 10^{-16}$ over 4 decades); i.e. it is extremely close to the predicted power law. Specifically we show that over 6.9 million proteins in TrEMBL 18-02 are re-used, i.e. their sequence appears identically in between 2 and 9,812 species, with re-used proteins varying in length from 7 to as long as 14,596 amino acids. Using (DL+V) to denote the three domains of life plus viruses, 21,676 proteins are shared between two (DL+V); 22 between three (DL+V) and 5 are shared in all four (DL+V). Although the majority of protein re-use occurs between bacterial species those proteins most frequently re-used occur disproportionately in viruses, which play a fundamental role in this distribution. These results suggest that diverse mechanisms of gene transfer (including traditional inheritance) are irrelevant in determining the global distribution of protein re-use.


title: Interactive coding resilient to an unknown number of erasures

abstract: We consider distributed computations between two parties carried out over a noisy channel that may erase messages. Following a noise model proposed by Dani et al. (2018), the noise level observed by the parties during the computation in our setting is arbitrary and a priori unknown to the parties. We develop interactive coding schemes that adapt to the actual level of noise and correctly execute any two-party computation. Namely, in case the channel erases $T$ transmissions, the coding scheme will take $N+2T$ transmissions using an alphabet of size $4$ (alternatively, using $2N+4T$ transmissions over a binary channel) to correctly simulate any binary protocol that takes $N$ transmissions assuming a noiseless channel. We can further reduce the communication to $N+T$ by relaxing the communication model and allowing parties to remain silent rather than forcing them to communicate in every round of the coding scheme. Our coding schemes are efficient, deterministic, have linear overhead both in their communication and round complexity, and succeed (with probability 1) regardless of the number of erasures $T$.


title: Discriminative training of RNNLMs with the average word error criterion

abstract: In automatic speech recognition (ASR), recurrent neural language models (RNNLM) are typically used to refine hypotheses in the form of lattices or n-best lists, which are generated by a beam search decoder with a weaker language model. The RNNLMs are usually trained generatively using the perplexity (PPL) criterion on large corpora of grammatically correct text. However, the hypotheses are noisy, and the RNNLM doesn't always make the choices that minimise the metric we optimise for, the word error rate (WER). To address this mismatch we propose to use a task specific loss to train an RNNLM to discriminate between multiple hypotheses within lattice rescoring scenario. By fine-tuning the RNNLM on lattices with the average edit distance loss, we show that we obtain a 1.9% relative improvement in word error rate over a purely generatively trained model.


title: Billiards with Markovian reflection laws

abstract: We construct a class of reflection laws for billiard processes in the unit interval whose stationary distribution for the billiard position and its velocity is the product of the uniform distribution and the standard normal distribution. These billiard processes have Markovian reflection laws, meaning their velocity is constant between reflections but changes in a Markovian way at reflection times.


title: Surplus sharing with coherent utility functions

abstract: We use the theory of coherent measures to look at the problem of surplus sharing in an insurance business. The surplus share of an insured is calculated by the surplus premium in the contract. The theory of coherent risk measures and the resulting capital allocation gives a way to divide the surplus between the insured and the capital providers, i.e. the shareholders.


title: Two Classes of Singularities and Novel Topology in a Specially Designed Synthetic Photonic Crystals

abstract: Zak phase and topological protected edge state are usually studied in one-dimensional(1D) photonic systems with spatial inversion symmetry(SIS). Interestingly in this work, we find specific classes of 1D structure without SIS can be mapped to system with SIS and also exhibit novel topology, which manifest as phase cut lines(PCLs) in our specially designed synthetic photonic crystals(SPCs). Zak phase defined in SIS is extended to depict the topology of PCLs after redefinition and topological protected edge state is also achieved in our 1D structure without SIS. In our SPCs, the relationship between Chern numbers in two-dimension(2D) and the extended Zak phases of 1D PCLs is given, which are bound by the first type singularities. Higher Chern numbers and multi chiral edge states are achieved utilizing the concept of synthetic dimensions. The effective Hamiltonian is given, based on which we find that the band edges of each PCLs play a role analogous to the valley pseudospin and our SPC is actually a new type of valley photonic crystal which is usually studied in graphene-like honeycomb lattice. The chiral valley edge transport is also demonstrated. In higher dimension, the shift of the first type singularity in expanded parameter space will lead to the Weyl point topological transition which we proposed in our previous work. In this paper, we find a second type of singularities which manifests as a singular surface in our expanded parameter space. The shift of the singular surface will lead to the nodal line topological transition. Astonishingly, we find the states on the singular surface possess extremely high robust against certain randomness, based on which a topological wave filter is constructed.


title: A family of quaternionic monodromy groups of the Kontsevich--Zorich cocycle

abstract: For all $d$ belonging to a density-$1/8$ subset of the natural numbers, we give an example of a square-tiled surface conjecturally realizing the group $\mathrm{SO}^*(2d)$ in its standard representation as the Zariski-closure of a factor of its monodromy. We prove that this conjecture holds for the first elements of this subset, showing that the group $\mathrm{SO}^*(2d)$ is realizable for every $11 \leq d \leq 299$ such that $d = 3 \bmod 8$, except possibly for $d = 35$ and $d = 203$.


title: Probing Screening and the Graviton Mass with Gravitational Waves

abstract: Gravitational waves can probe fundamental physics, leading to new constraints on the mass of the graviton. Previous tests, however, have neglected the effect of screening, which is typically present in modified theories that predict a non-zero graviton mass. We here study whether future gravitational wave observations can constrain the graviton mass when screening effects are taken into account. We first consider model-independent corrections to the propagation of gravitational waves due to screened massive graviton effects. We find that future observation can place constraints on the screening radius and the graviton mass of ${\cal{O}}(10^{2})$--${\cal{O}}(10^{4})$ Mpc and ${\cal{O}}(10^{-22})$--${\cal{O}}(10^{-26})$ eV respectively. We also consider screening effects in two specific theories, ghost-free massive gravity and bigravity, that might not realize these types of propagation modifications, but that do provide analytic expressions for screening parameters relevant to our analysis allowing for more concrete results. However, the constraints we are able to place are small. The reason for this is that second- and third-generation detectors are sensitive to graviton masses that lead to very small screening radii in these particular models. The effect of screening, however, can become important as constraints on the graviton mass are improved through the stacking of multiple observations in the near future.


title: Direct Observation of Topology from Single-photon Dynamics on a Photonic Chip

abstract: Topology manifesting in many branches of physics deepens our understanding on state of matters. Topological photonics has recently become a rapidly growing field since artificial photonic structures can be well designed and constructed to support topological states, especially a promising large-scale implementation of these states using photonic chips. Meanwhile, due to the inapplicability of Hall conductance to photons, it is still an elusive problem to directly measure the integer topological invariants and topological phase transitions for photons. Here, we present a direct observation of topological winding numbers by using bulk-state photon dynamics on a chip. Furthermore, we for the first time experimentally observe the topological phase transition points via single-photon dynamics. The integrated topological structures, direct measurement in the single-photon regime and strong robustness against disorder add the key elements into the toolbox of `quantum topological photonics' and may enable topologically protected quantum information processing in large scale.


title: The Role of Demand-Side Flexibility in Hedging Electricity Price Volatility in Distribution Grids

abstract: Locational Marginal Price (LMP) is a dual variable associated with supply-demand matching and represents the cost of delivering power to a particular location if the load at that location increases. In recent times it become more volatile due to increased integration of renewables that are intermittent. The issue of price volatility is further heightened during periods of grid congestion. Motivated by these problems, we propose a market design where, by constraining dual variables, we determine the amount of demand-side flexibility required to limit the rise of LMP. Through our proposed approach a price requesting load can specify its maximum willingness to pay for electricity and through demand-side flexibility hedge against price volatility. For achieving this, an organizational structure for flexibility management is proposed that exhibits the coordination required between the Distribution System Operator (DSO), an aggregator and the price requesting load. To demonstrate the viability of our proposed formulation, we run an illustrative simulation under infinite and finite line capacities.


title: A Bisimilarity Congruence for the Applied pi-Calculus Sufficiently Coarse to Verify Privacy Properties

abstract: This paper is the first thorough investigation into the coarsest notion of bisimilarity for the applied pi-calculus that is a congruence relation: open barbed bisimilarity. An open variant of labelled bisimilarity (quasi-open bisimilarity), better suited to constructing bisimulations, is proven to coincide with open barbed bisimilarity. These bisimilary congruences are shown to be characterised by an intuitionistic modal logic that can be used, for example, to describe an attack on privacy whenever a privacy property is violated. Open barbed bisimilarity provides a compositional approach to verifying cryptographic protocols, since properties proven can be reused in any context, including under input prefix. Furthermore, open barbed bisimilarity is sufficiently coarse for reasoning about security and privacy properties of cryptographic protocols; in constrast to the finer bisimilarity congruence, open bisimilarity, which cannot verify certain privacy properties.


title: On the existence and number of invariant polynomials

abstract: This paper explores a natural action of the group $\mathrm{PGL}_2(\mathbb F_q)$ on the set of monic irreducible polynomials of degree at least two over a finite field $\mathbb F_q$. Our main results deal with the existence and number of fixed points and, in particular, we provide some improvements of previous works.


title: Spin in $p$-adic AdS/CFT

abstract: We study the holographic dual of the simplest notion of spin in a $p$-adic field theory, namely Green's functions which involve non-trivial sign characters over the $p$-adic numbers. In order to recover these sign characters from bulk constructions, we find that we must introduce a non-dynamical $U(1)$ gauge field on the line graph of the Bruhat-Tits tree. Wilson lines of this gauge field on suitable paths yield the desired sign characters. We show explicitly how to start with complex scalars or fermions in the bulk, coupled to the $U(1)$ gauge field, and compute the holographic two-point functions of their dual operators on the boundary.


title: Deep feature transfer between localization and segmentation tasks

abstract: In this paper, we propose a new pre-training scheme for U-net based image segmentation. We first train the encoding arm as a localization network to predict the center of the target, before extending it into a U-net architecture for segmentation. We apply our proposed method to the problem of segmenting the optic disc from fundus photographs. Our work shows that the features learned by encoding arm can be transferred to the segmentation network to reduce the annotation burden. We propose that an approach could have broad utility for medical image segmentation, and alleviate the burden of delineating complex structures by pre-training on annotations that are much easier to acquire.


title: Regret Circuits: Composability of Regret Minimizers

abstract: Regret minimization is a powerful tool for solving large-scale problems; it was recently used in breakthrough results for large-scale extensive-form game solving. This was achieved by composing simplex regret minimizers into an overall regret-minimization framework for extensive-form game strategy spaces. In this paper we study the general composability of regret minimizers. We derive a calculus for constructing regret minimizers for composite convex sets that are obtained from convexity-preserving operations on simpler convex sets. We show that local regret minimizers for the simpler sets can be combined with additional regret minimizers into an aggregate regret minimizer for the composite set. As one application, we show that the CFR framework can be constructed easily from our framework. We also show ways to include curtailing (constraining) operations into our framework. For one, they enables the construction of CFR generalization for extensive-form games with general convex strategy constraints that can cut across decision points.


title: Hodge decomposition for Cousin groups and for Oeljeklaus-Toma manifolds

abstract: We compute the Dolbeault cohomology of geodesically convex domains contained in Cousin groups which satisfy a strong dispersiveness condition. As a consequence we obtain a description of the Dolbeault cohomology of Oeljeklaus-Toma manifolds and in particular the fact that the Hodge decomposition holds for their cohomology.


title: Search for the production of a long-lived neutral particle decaying within the ATLAS hadronic calorimeter in association with a $Z$ boson from $pp$ collisions at $\sqrt{s} = 13$ TeV

abstract: This Letter presents a search for the production of a long-lived neutral particle ($Z_d$) decaying within the ATLAS hadronic calorimeter, in association with a Standard Model (SM) $Z$ boson produced via an intermediate scalar boson, where $Z\to l^+l^-$ ($l=e,\mu$). The data used were collected by the ATLAS detector during 2015 and 2016 $pp$ collisions with a center-of-mass energy of $\sqrt{s} = 13$ TeV at the Large Hadron Collider and corresponds to an integrated luminosity of $36.1\pm0.8$ fb$^{-1}$. No significant excess of events is observed above the expected background. Limits on the production cross section of the scalar boson times its decay branching fraction into the long-lived neutral particle are derived as a function of the mass of the intermediate scalar boson, the mass of the long-lived neutral particle, and its $c\tau$ from a few centimeters to one hundred meters. In the case that the intermediate scalar boson is the SM Higgs boson, its decay branching fraction to a long-lived neutral particle with a $c\tau$ approximately between 0.1 m and 7 m is excluded with a 95% confidence level up to 10% for $m_{Z_d}$ between 5 and 15 GeV.


title: Spectral modeling of type II supernovae. I. Dilution factors

abstract: We present substantial extensions to the Monte Carlo radiative transfer code TARDIS to perform spectral synthesis for type II supernovae. By incorporating a non-LTE ionization and excitation treatment for hydrogen, a full account of free-free and bound-free processes, a self-consistent determination of the thermal state and by improving the handling of relativistic effects, the improved code version includes the necessary physics to perform spectral synthesis for type II supernovae to high precision as required for the reliable inference of supernova properties. We demonstrate the capabilities of the extended version of TARDIS by calculating synthetic spectra for the prototypical type II supernova SN1999em and by deriving a new and independent set of dilution factors for the expanding photosphere method. We have investigated in detail the dependence of the dilution factors on photospheric properties and, for the first time, on changes in metallicity. We also compare our results with two previously published sets of dilution factors by Eastman et al. (1996) and by Dessart & Hillier (2005), and discuss the potential sources of the discrepancies between studies.


title: Significant core shift variability in parsec-scale jets of active galactic nuclei

abstract: The apparent position of jet base (core) in radio-loud active galactic nuclei changes with frequency because of synchrotron self-absorption. Studying this `core shift` effect enables us to reconstruct properties of the jet regions close to the central engine. We report here results from core shift measurements in AGNs observed with global VLBI at 2 and 8 GHz at epochs from 1994 to 2016. Our sample contains 40 objects observed at least 10 times during that period. The core shift is determined using a new automatic procedure introduced to minimize possible biases. The resulting multiple epoch measurements of the core position are employed for examining temporal variability of the core shift. We argue that the core shift variability is a common phenomenon, as established for 33 of 40 AGNs we study. Our analysis shows that the typical offsets between the core positions at 2 and 8 GHz are about 0.5 mas and they vary in time. Typical variability of the individual core positions is about 0.3 mas. The measurements show a strong dependence between the core position and its flux density, suggesting that changes in both are likely related to the nuclear flares injecting denser plasma into the flow. We determine that density of emitting relativistic particles significantly increases during these flares, while relative magnetic field changes less and in the opposite direction.


title: Hide-and-Seek: A Data Augmentation Technique for Weakly-Supervised Localization and Beyond

abstract: We propose 'Hide-and-Seek' a general purpose data augmentation technique, which is complementary to existing data augmentation techniques and is beneficial for various visual recognition tasks. The key idea is to hide patches in a training image randomly, in order to force the network to seek other relevant content when the most discriminative content is hidden. Our approach only needs to modify the input image and can work with any network to improve its performance. During testing, it does not need to hide any patches. The main advantage of Hide-and-Seek over existing data augmentation techniques is its ability to improve object localization accuracy in the weakly-supervised setting, and we therefore use this task to motivate the approach. However, Hide-and-Seek is not tied only to the image localization task, and can generalize to other forms of visual input like videos, as well as other recognition tasks like image classification, temporal action localization, semantic segmentation, emotion recognition, age/gender estimation, and person re-identification. We perform extensive experiments to showcase the advantage of Hide-and-Seek on these various visual recognition problems.


title: A Model for General Intelligence

abstract: The overarching problem in artificial intelligence (AI) is that we do not understand the intelligence process well enough to enable the development of adequate computational models. Much work has been done in AI over the years at lower levels, but a big part of what has been missing involves the high level, abstract, general nature of intelligence. We address this gap by developing a model for general intelligence. To accomplish this, we focus on three basic aspects of intelligence. First, we must realize the general order and nature of intelligence at a high level. Second, we must come to know what these realizations mean with respect to the overall intelligence process. Third, we must describe these realizations as clearly as possible. We propose a hierarchical model to help capture and exploit the order within intelligence. The underlying order involves patterns of signals that become organized, stored and activated in space and time. These patterns can be described using a simple, general hierarchy, with physical signals at the lowest level, information in the middle, and abstract signal representations at the top. This high level perspective provides a big picture that literally helps us see the intelligence process, thereby enabling fundamental realizations, a better understanding and clear descriptions of the intelligence process. The resulting model can be used to support all kinds of information processing across multiple levels of abstraction. As computer technology improves, and as cooperation increases between humans and computers, people will become more efficient and more productive in performing their information processing tasks.


title: Debiased Inference of Average Partial Effects in Single-Index Models

abstract: We propose a method for average partial effect estimation in high-dimensional single-index models that is root-n-consistent and asymptotically unbiased given sparsity assumptions on the underlying regression model. This note was prepared as a comment on Wooldridge and Zhu [2018], forthcoming in the Journal of Business and Economic Statistics.


title: Heterotic-string amplitudes at one loop: modular graph forms and relations to open strings

abstract: We investigate one-loop four-point scattering of non-abelian gauge bosons in heterotic string theory and identify new connections with the corresponding open-string amplitude. In the low-energy expansion of the heterotic-string amplitude, the integrals over torus punctures are systematically evaluated in terms of modular graph forms, certain non-holomorphic modular forms. For a specific torus integral, the modular graph forms in the low-energy expansion are related to the elliptic multiple zeta values from the analogous open-string integrations over cylinder boundaries. The detailed correspondence between these modular graph forms and elliptic multiple zeta values supports a recent proposal for an elliptic generalization of the single-valued map at genus zero.


title: Language GANs Falling Short

abstract: Generating high-quality text with sufficient diversity is essential for a wide range of Natural Language Generation (NLG) tasks. Maximum-Likelihood (MLE) models trained with teacher forcing have consistently been reported as weak baselines, where poor performance is attributed to exposure bias (Bengio et al., 2015; Ranzato et al., 2015); at inference time, the model is fed its own prediction instead of a ground-truth token, which can lead to accumulating errors and poor samples. This line of reasoning has led to an outbreak of adversarial based approaches for NLG, on the account that GANs do not suffer from exposure bias. In this work, we make several surprising observations which contradict common beliefs. First, we revisit the canonical evaluation framework for NLG, and point out fundamental flaws with quality-only evaluation: we show that one can outperform such metrics using a simple, well-known temperature parameter to artificially reduce the entropy of the model's conditional distributions. Second, we leverage the control over the quality / diversity trade-off given by this parameter to evaluate models over the whole quality-diversity spectrum and find MLE models constantly outperform the proposed GAN variants over the whole quality-diversity space. Our results have several implications: 1) The impact of exposure bias on sample quality is less severe than previously thought, 2) temperature tuning provides a better quality / diversity trade-off than adversarial training while being easier to train, easier to cross-validate, and less computationally expensive. Code to reproduce the experiments is available at github.com/pclucas14/GansFallingShort


title: Strange Expectations and the Winnie-the-Pooh Problem

abstract: Motivated by the study of simultaneous cores, we give three proofs (in varying levels of generality) for the expected norm of a weight in a highest weight representation of a complex simple Lie algebra. First, we argue directly using the polynomial method and the Weyl character formula. Second, we use the combinatorics of semistandard tableaux to obtain the result in type A. Third, and most interestingly, we relate this problem to the "Winnie-the-Pooh problem" regarding orthogonal decompositions of Lie algebras; although this approach offers the most explanatory power, it applies only to Cartan types other than A and C. We conclude with computations of many combinatorial cumulants.


title: Topological defects in lattice models and affine Temperley-Lieb algebra

abstract: This paper is the first in a series where we attempt to define defects in critical lattice models that give rise to conformal field theory topological defects in the continuum limit. We focus mostly on models based on the Temperley-Lieb algebra, with future applications to restricted solid-on-solid (also called anyonic chains) models, as well as non-unitary models like percolation or self-avoiding walks. Our approach is essentially algebraic and focusses on the defects from two points of view: the "crossed channel" where the defect is seen as an operator acting on the Hilbert space of the models, and the "direct channel" where it corresponds to a modification of the basic Hamiltonian with some sort of impurity. Algebraic characterizations and constructions are proposed in both points of view. In the crossed channel, this leads us to new results about the center of the affine Temperley-Lieb algebra; in particular we find there a special basis with non-negative integer structure constants that are interpreted as fusion rules of defects. In the direct channel, meanwhile, this leads to the introduction of fusion products and fusion quotients, with interesting algebraic properties that allow to describe representations content of the lattice model with a defect, and to describe its spectrum.


title: Spatio-temporal correlations in multimode fibers for pulse delivery

abstract: Long-range speckle correlations play an essential role in wave transport through disordered media, but have rarely been studied in other complex systems. Here we discover spatio-temporal intensity correlations for an optical pulse propagating through a multimode fiber with strong random mode coupling. Positive long-range correlations arise from multiple scattering in fiber mode space and depend on the statistical distribution of arrival times. By optimizing the incident wavefront of a pulse, we maximize the power transmitted at a selected time, and such control is significantly enhanced by the long-range spatio-temporal correlations. We provide an explicit relation between the correlations and the enhancements, which closely agrees with experimental data. Our work shows that multimode fibers provide a fertile ground for studying complex wave phenomena, and the strong spatio-temporal correlations can be employed for efficient power delivery at a well-defined time.


title: A Closer Look at Deep Policy Gradients

abstract: We study how the behavior of deep policy gradient algorithms reflects the conceptual framework motivating their development. To this end, we propose a fine-grained analysis of state-of-the-art methods based on key elements of this framework: gradient estimation, value prediction, and optimization landscapes. Our results show that the behavior of deep policy gradient algorithms often deviates from what their motivating framework would predict: the surrogate objective does not match the true reward landscape, learned value estimators fail to fit the true value function, and gradient estimates poorly correlate with the "true" gradient. The mismatch between predicted and empirical behavior we uncover highlights our poor understanding of current methods, and indicates the need to move beyond current benchmark-centric evaluation methods.


title: Quantizers with Parameterized Distortion Measures

abstract: In many quantization problems, the distortion function is given by the Euclidean metric to measure the distance of a source sample to any given reproduction point of the quantizer. We will in this work regard distortion functions, which are additively and multiplicatively weighted for each reproduction point resulting in a heterogeneous quantization problem, as used for example in deployment problems of sensor networks. Whereas, normally in such problems, the average distortion is minimized for given weights (parameters), we will optimize the quantization problem over all weights, i.e., we tune or control the distortion functions in our favor. For a uniform source distribution in one-dimension, we derive the unique minimizer, given as the uniform scalar quantizer with an optimal common weight. By numerical simulations, we demonstrate that this result extends to two-dimensions where asymptotically the parameter optimized quantizer is the hexagonal lattice with common weights. As an application, we will determine the optimal deployment of unmanned aerial vehicles (UAVs) to provide a wireless communication to ground terminals under a minimal communication power cost. Here, the optimal weights relate to the optimal flight heights of the UAVs.


title: A local quantum Mach principle and the metricity of spacetime

abstract: We revisit the old question of what distinguishes the formulation of spacetime geometry in terms of a Lorentzian metric physically from more general geometric structures. Our approach to this question is operational and leads us to also revisit the notion of local inertial frames, arising in operational formulations of the equivalence and Mach's principle, both of which can be interpreted in generalized geometries. We extend the notion of inertial laboratory frames by taking serious that all matter inside the lab is fundamentally quantum and considering how it may couple to the quantum gravitational degrees of freedom generating the ambient effective spacetime structure. This revolves around the question of which structures an agent inside the inertial laboratory has available to operationally define the orientation of their reference frame, an aspect on which both the equivalence and Mach's principle are silent. We then contemplate the situation of a completely inertial laboratory, which, in terms of the quantum matter experiments inside it, is not only isolated from any matter outside it, but also from a direct coupling to effective quantum gravitational degrees of freedom. We formulate this as a local Mach principle (LMP): a local inertial laboratory has to be self-sufficient, so that an agent can only resort to relations among the quantum matter systems inside it to self-generate any reference structures relative to which to orient their frame. The transformations between different frame orientations thereby originate in the local quantum matter structures. Combining this with dispersion relations leads to various non-trivial compatibility conditions on the spacetime structures encoded by them. This permits us to formulate additional operational assumptions under which the LMP singles out Lorentzian metric spacetimes within generalized geometries defined by dispersion relations.


title: On error term estimates \`a la Walfisz for mean values of arithmetic functions

abstract: Walfisz (1963) proved the asymptotic formula \[ \sum_{n\le x}\varphi(n) = \frac{3}{\pi^2}x^2+O(x(\log x)^{\frac{2}{3}}(\log\log x)^{\frac{4}{3}}), \] which improved the error term estimate of Mertens (1874) and had been the best possible estimate for more than 50 years. Recently, H.-Q. Liu (2016) improved Walfisz's error term estimate to \[ \sum_{n\le x}\varphi(n) = \frac{3}{\pi^2}x^2+O(x(\log x)^{\frac{2}{3}}(\log\log x)^{\frac{1}{3}}). \] We generalize Liu's result to a certain class of arithmetic functions and improve the result of Balakrishnan and P\'etermann (1996). To this end, we provide a refined version of Vinogradov's combinatorial decomposition available for a wider class of multiplicative functions.