title: Unavoidable chromatic patterns in 2-colorings of the complete graph

abstract: We consider unavoidable chromatic patterns in $2$-colorings of the edges of the complete graph. Several such problems are explored being a junction point between Ramsey theory, extremal graph theory (Tur\'an type problems), zero-sum Ramsey theory, and interpolation theorems in graph theory. A role-model of these problems is the following: Let $G$ be a graph with $e(G)$ edges. We say that $G$ is omnitonal if there exists a function ${\rm ot}(n,G)$ such that the following holds true for $n$ sufficiently large: For any $2$-coloring $f: E(K_n) \to \{red, blue \}$ such that there are more than ${\rm ot}(n,G)$ edges from each color, and for any pair of non-negative integers $r$ and $b$ with $r+b = e(G)$, there is a copy of $G$ in $K_n$ with exactly $r$ red edges and $b$ blue edges. We give a structural characterization of omnitonal graphs from which we deduce that omnitonal graphs are, in particular, bipartite graphs, and prove further that, for an omnitonal graph $G$, ${\rm ot}(n,G) = \mathcal{O}(n^{2 - \frac{1}{m}})$, where $m = m(G)$ depends only on $G$. We also present a class of graphs for which ${\rm ot}(n,G) = ex(n,G)$, the celebrated Tur\'an numbers. Many more results and problems of similar flavor are presented.


title: Principal co-Higgs bundles on $\mathbb{P}^1$

abstract: For complex connected, reductive, affine, algebraic groups $G$, we give a Lie-theoretic characterization of the semistability of principal $G$-co-Higgs bundles on the complex projective line $\mathbb{P}^1$ in terms of the simple roots of a Borel subgroup of $G$. We describe a stratification of the moduli space in terms of the Harder-Narasimhan type of the underlying bundle.


title: Bicollapsibility and groups with torsion

abstract: We introduce the notion of a bicollapsible 2-complex. This allows us to generalize the hyperbolicity of one-relator groups with torsion to a broader class of groups with presentations whose relators are proper powers. We also prove that many such groups act properly and cocompactly on a CAT(0) cube complex.


title: An intrinsic flat limit of Riemannian manifolds with no geodesics

abstract: In this paper we produce a sequence of Riemannian manifolds $M_j^m$, $m \ge 2$, which converge in the intrinsic flat sense to the unit $m$-sphere with the restricted Euclidean distance. This limit space has no geodesics achieving the distances between points, exhibiting previously unknown behavior of intrinsic flat limits. In contrast, any compact Gromov-Hausdorff limit of a sequence of Riemannian manifolds is a geodesic space. Moreover, if $m\geq3$, the manifolds $M_j^m$ may be chosen to have positive scalar curvature.


title: Renarration for All

abstract: The accessibility of content for all has been a key goal of the Web since its conception. However, true accessibility -- access to relevant content in the global context -- has been elusive for reasons that extend beyond physical accessibility issues. Among them are the spoken languages, literacy levels, expertise, and culture. These issues are highly significant, since information may not reach those who are the most in need of it. For example, the minimum wage laws that are published in legalese on government sites and the low-literate and immigrant populations. While some organizations and volunteers work on bridging such gaps by creating and disseminating alternative versions of such content, Web scale solutions much be developed to take advantage of its distributed dissemination capabilities. This work examines content accessibility from the perspective of inclusiveness. For this purpose, a human in the loop approach for renarrating Web content is proposed, where a renarrator creates an alternative narrative of some Web content with the intent of extending its reach. A renarration relates some Web content with an alternative version by means of transformations like simplification, elaboration, translation, or production of audio and video material. This work presents a model and a basic architecture for supporting renarrations along with various scenarios. We also discuss the potentials of the W3C specification for Web Annotation Data Model towards a more inclusive and decentralized social web.


title: Conditionals in Homomorphic Encryption and Machine Learning Applications

abstract: Homomorphic encryption aims at allowing computations on encrypted data without decryption other than that of the final result. This could provide an elegant solution to the issue of privacy preservation in data-based applications, such as those using machine learning, but several open issues hamper this plan. In this work we assess the possibility for homomorphic encryption to fully implement its program without relying on other techniques, such as multiparty computation (SMPC), which may be impossible in many use cases (for instance due to the high level of communication required). We proceed in two steps: i) on the basis of the structured program theorem (Bohm-Jacopini theorem) we identify the relevant minimal set of operations homomorphic encryption must be able to perform to implement any algorithm; and ii) we analyse the possibility to solve -- and propose an implementation for -- the most fundamentally relevant issue as it emerges from our analysis, that is, the implementation of conditionals (requiring comparison and selection/jump operations). We show how this issue clashes with the fundamental requirements of homomorphic encryption and could represent a drawback for its use as a complete solution for privacy preservation in data-based applications, in particular machine learning ones. Our approach for comparisons is novel and entirely embedded in homomorphic encryption, while previous studies relied on other techniques, such as SMPC, demanding high level of communication among parties, and decryption of intermediate results from data-owners. Our protocol is also provably safe (sharing the same safety as the homomorphic encryption schemes), differently from other techniques such as Order-Preserving/Revealing-Encryption (OPE/ORE).


title: Accumulation point theorem for generalized log canonical thresholds

abstract: In this paper we show that the set of accumulation points of generalized log canonical thresholds for certain DCC sets comes from the set of generalized log canonical thresholds of dimension $1$ less of the same DCC sets.


title: Reduced models of point vortex systems

abstract: Nonequilibrium statistical models of point vortex systems are constructed using an optimal closure method, and these models are employed to approximate the relaxation toward equilibrium of systems governed by the two-dimensional Euler equations, as well as the quasi-geostrophic equations for either single-layer or two-layer flows. Optimal closure refers to a general method of reduction for Hamiltonian systems, in which macroscopic states are required to belong to a parametric family of distributions on phase space. In the case of point vortex ensembles, the macroscopic variables describe the spatially coarse-grained vorticity. Dynamical closure in terms of those macrostates is obtained by optimizing over paths in the parameter space of the reduced model subject to the constraints imposed by conserved quantities. This optimization minimizes a cost functional that quantifies the rate of information loss due to model reduction, meaning that an optimal path represents a macroscopic evolution that is most compatible with the microscopic dynamics in an information-theoretic sense. A near-equilibrium linearization of this method is used to derive dissipative equations for the low-order spatial moments of ensembles of point vortices in the plane. These severely reduced models describe the late-stage evolution of coherent structures in two-dimensional and geostrophic turbulence. For single-layer dynamics, they approximate the relaxation of initially distorted structures toward axisymmetric equilibrium states. For two-layer dynamics, they predict the rate of energy transfer in baroclinically perturbed structures returning to stable barotropic states. Comparisons against direct numerical simulations of the fully-resolved many-vortex dynamics validate the predictive capacity of these reduced models.


title: Long-term area coverage and radio relay positioning using swarms of UAVs

abstract: Unmanned Aerial Vehicles (UAVs) are becoming increasingly useful for tasks which require the acquisition of data over large areas. The coverage problem, i.e., the problem of periodically visiting all subregions of an area at a desired frequency, is especially interesting because of its practical applications, both in industry and long-term monitoring of areas hit by a natural disaster. We focus here on the latter scenario, and take into consideration its peculiar characteristic, i.e. the a coverage system should be resilient to a changing environment and not be dependent on pre-existing infrastructures for communication. To this purpose, we designed a novel algorithm for online area coverage and simultaneous signal relay that allows a UAV to cover an area freely, while a variable number of other UAVs provide a stable communication with the base and support in the coverage process at the same time. Finally, a test architecture based on the algorithm has been developed and tests have been performed. By comparison with a simple relay chain system, our approach employs up to 64% less time to reach a certain goal of coverage iterations over the map with only 17% worse average communication cost and no impact on the worst case communication cost.


title: Large Emission Regime in Mean Field Luminescence

abstract: We study a class of random processes on $N$ particles which can be interpreted as stochastic model of luminescence. Each particle can stay in one of two states: Excited state or ground state. Any particle at ground state is excited with a constant rate (pumping). The number of excited particles decreases by means of photon emission through interactions of the particles. We analyse the rare event of flashes, i.e., the emission of a very large number of photons $B$ during a fixed time interval $T$. We employ the theory of large deviations to provide the asymptotics of the probability of such event when the total number of particles $N$ tends to infinity. This theory gives us also the optimal trajectory of scaled process corresponding to this event. The stationary regime of this process we call the large emission regime. In several cases we prove that in the large emission regime a share of excited particles in a system is stable under the changes of the pumping and emission rates.


title: Deadline-Driven Multi-node Mobile Charging

abstract: Due to the merit without requiring charging cable, wireless power transfer technologies have drawn rising attention as a new method to replenish energy to Wireless Rechargeable Sensor Networks (WRSNs). In this paper, we study mobile charger scheduling problem for multi-node recharging with deadline-series. Our target is to maximize the overall effective charging utility, and minimize the traveling time as well. Instead of charging only once over a scheduling cycle, we incorporate the multiple charging strategy for multi-node charging with deadline constraint, where charging spots and tour are jointly optimized. Specifically, we formulate the effective charging utility maximization problem as to maximize a monotone submodular function subject to a partition matroid constraint, and propose a simple but effective 1/2 -approximation greedy algorithm. After that, we present the grid-based skip-substitute operation further to save the traveling time, which can increase the charging utility. Finally, we conduct the evaluation for the performance of our scheduling scheme. Comparing to the Early Deadline First scheme, the simulation and field experiment results show that our algorithm outperform EDF by 37.5% and 37.9%, respectively.


title: Non-singular derivations of solvable Lie algebras in prime characteristic

abstract: We study solvable Lie algebras in prime characteristic $p$ that admit non-singular derivations. We show that Jacobson's Theorem remains true if the quotients of the derived series have dimension less than~$p$. We also study the structure of Lie algebras with non-singular derivations in which the derived subalgebra is abelian and has codimension~one. The paper presents some new examples of solvable, but not nilpotent, Lie algebras of derived length~3 with non-singular derivations.


title: Language Modeling with Sparse Product of Sememe Experts

abstract: Most language modeling methods rely on large-scale data to statistically learn the sequential patterns of words. In this paper, we argue that words are atomic language units but not necessarily atomic semantic units. Inspired by HowNet, we use sememes, the minimum semantic units in human languages, to represent the implicit semantics behind words for language modeling, named Sememe-Driven Language Model (SDLM). More specifically, to predict the next word, SDLM first estimates the sememe distribution gave textual context. Afterward, it regards each sememe as a distinct semantic expert, and these experts jointly identify the most probable senses and the corresponding word. In this way, SDLM enables language models to work beyond word-level manipulation to fine-grained sememe-level semantics and offers us more powerful tools to fine-tune language models and improve the interpretability as well as the robustness of language models. Experiments on language modeling and the downstream application of headline gener- ation demonstrate the significant effect of SDLM. Source code and data used in the experiments can be accessed at https:// github.com/thunlp/SDLM-pytorch.


title: Distinct Sampling on Streaming Data with Near-Duplicates

abstract: In this paper we study how to perform distinct sampling in the streaming model where data contain near-duplicates. The goal of distinct sampling is to return a distinct element uniformly at random from the universe of elements, given that all the near-duplicates are treated as the same element. We also extend the result to the sliding window cases in which we are only interested in the most recent items. We present algorithms with provable theoretical guarantees for datasets in the Euclidean space, and also verify their effectiveness via an extensive set of experiments.


title: A Statistical Simulation Method for Joint Time Series of Non-stationary Hourly Wave Parameters

abstract: Statistically simulated time series of wave parameters are required for many coastal and offshore engineering applications, often at the resolution of approximately one hour. Various studies have relied on autoregressive moving-average (ARMA) processes to simulate synthetic series of wave parameters in a Monte Carlo sense. However, accurately representing inter-series dependencies has remained a challenge. In particular, the relationship between wave height and period statistics is complex, due to the limiting steepness condition. Here, we present a new simulation method for joint time series of significant wave height, mean zero-crossing periods and a directional regime variable. The latter distinguishes between northern and southwestern waves. The method rests on several model components which include renewal processes, Fourier series with random coefficients, ARMA processes, copulas and regime-switching. A particular feature is a data-driven estimate for a wave height-dependent limiting wave steepness condition which is used to facilitate copulabased dependence modeling. The method was developed for and applied to a data set in the Southern North Sea. For this site, the method could simulate time series with realistic annual cycles and inter-annual variability. In the time series data, the bivariate distribution of significant wave height and mean zero-crossing period was well represented. An influence of the directional regime on the bivariate distribution could also be modeled. However, the influence was not as strong in simulated data as in observed data. Finally, simulated series captured duration and inter-arrival time of storm events well. Potential applications for output of the simulation method range from the assessment of coastal risks or design of coastal structures to the planning and budgeting of offshore operations.


title: Exponential Decay of Quasilinear Maxwell Equations with Interior Conductivity

abstract: We consider a quasilinear nonhomogeneous, anisotropic Maxwell system in a bounded smooth domain of $\mathbb{R}^{3}$ with a strictly positive conductivity subject to the boundary conditions of a perfect conductor. Under appropriate regularity conditions, adopting a classical $L^{2}$-Sobolev solution framework, a nonlinear energy barrier estimate is established for local-in-time $H^{3}$-solutions to the Maxwell system by a proper combination of higher-order energy and observability-type estimates under a smallness assumption on the initial data. Technical complications due to quasilinearity, anisotropy and the lack of solenoidality, etc., are addressed. Finally, provided the initial data are small, the barrier method is applied to prove that local solutions exist globally and exhibit an exponential decay rate.


title: Algebras with irreducible module varieties III: Birkhoff varieties

abstract: We study a family of affine varieties arising from a version of an old problem due to Birkhoff asking for the classification of embeddings of finite abelian p-groups. We show that all of these varieties are irreducible and have a dense orbit.


title: Breaking the Fluctuation-Dissipation Relation by Universal Transport Processes

abstract: Universal phenomena far from equilibrium exhibit additional independent scaling exponents and functions as compared to thermal universal behavior. For the example of an ultracold Bose gas we simulate nonequilibrium transport processes in a universal scaling regime and show how they lead to the breaking of the fluctuation-dissipation relation. As a consequence, the scaling of spectral functions (commutators) and statistical correlations (anticommutators) between different points in time and space become linearly independent with distinct dynamic scaling exponents. As a macroscopic signature of this phenomenon we identify a transport peak in the statistical two-point correlator, which is absent in the spectral function showing the quasiparticle peaks of the Bose gas.

categories: cond-mat.quant-gas cond-mat.stat-mech hep-ph quant-ph


title: Hankel Operators on the Bergman spaces of Reinhardt Domains and Foliations of Analytic Disks

abstract: Let $\Omega\subset \mathbb{C}^2$ be a bounded pseudoconvex complete Reinhardt domain with a smooth boundary. We study the behavior of analytic structure in the boundary of $\Omega$ and obtain a compactness result for Hankel operators on the Bergman space of $\Omega$.


title: Universal generation of the cylinder homomorphism of cubic hypersurfaces

abstract: In this article, we prove that the Chow group of algebraic cycles of a smooth cubic hypersurface $X$ over an arbitrary field $k$ is generated, via the natural cylinder homomorphism, by the algebraic cycles of its Fano variety of lines $F(X)$, under an assumption on the $1$-cycles of $X/k$. As an application, if $X/\mathbb{C}$ is a smooth complex cubic fourfold, using the result, we provide a proof of the integral Hodge conjecture for curve classes on the polarized hyper-K\"ahler variety $F(X)$. In addition, when $X/k$ is a smooth cubic fourfold over a finitely generated field $k$ with $\text{char}(k)\neq 2, 3$, our result enable us to prove the integral analog of the Tate conjecture for $1$-cycles on $F(X)$.


title: Backhaul-Aware Optimization of UAV Base Station Location and Bandwidth Allocation for Profit Maximization

abstract: Unmanned Aerial Vehicle Base Stations (UAVBSs) are envisioned to be an integral component of the next generation Wireless Communications Networks (WCNs) by dynamically moving the supply towards the demand. A significant drawback of the state-of-the-art have been designing a WCN in which the service-oriented performance measures (e.g., throughput) are optimized without considering different relevant decisions such as determining the location and allocating the resources, jointly. In this study, we address the UAVBS location and bandwidth allocation problems together to optimize the total network profit. In particular, a Mixed-Integer Non-Linear Programming (MINLP) formulation is developed, in which the location of a single UAVBS and bandwidth allocations to users are jointly determined. The objective is to maximize the total profit without exceeding the backhaul and access capacities. The profit gained from a specific user is assumed to be a piecewise-linear function of the provided data rate level, where higher data rate levels would yield higher profit. Due to high complexity of the MINLP, we propose an efficient heuristic algorithm with lower computational complexity. We show that, when the UAVBS location is determined, the resource allocation problem can be reduced to a Multidimensional Binary Knapsack Problem (MBKP), which can be solved in pseudo-polynomial time. To exploit this structure, the optimal bandwidth allocations are determined by solving several MBKPs in a search algorithm. We test the performance of our algorithm with two heuristics and with the MINLP model solved by a commercial solver. Our numerical results show that the proposed algorithm outperforms the alternative solution approaches and would be a promising tool to improve the total network profit.


title: Trace Abstraction Modulo Probability

abstract: We propose trace abstraction modulo probability, a proof technique for verifying high-probability accuracy guarantees of probabilistic programs. Our proofs overapproximate the set of program traces using failure automata, finite-state automata that upper bound the probability of failing to satisfy a target specification. We automate proof construction by reducing probabilistic reasoning to logical reasoning: we use program synthesis methods to select axioms for sampling instructions, and then apply Craig interpolation to prove that traces fail the target specification with only a small probability. Our method handles programs with unknown inputs, parameterized distributions, infinite state spaces, and parameterized specifications. We evaluate our technique on a range of randomized algorithms drawn from the differential privacy literature and beyond. To our knowledge, our approach is the first to automatically establish accuracy properties of these algorithms.


title: Comparing fitness and drift explanations of Neanderthal replacement

abstract: There is a general consensus among archaeologists that replacement of Neanderthals by anatomically modern humans in Europe occurred around 40K to 35K YBP. However, the causal mechanism for this replacement continues to be debated. Searching for specific fitness advantages in the archaeological record has proven difficult, as these may be obscured, absent, or subject to interpretation. Proposed models have therefore featured either fitness advantages in favor of anatomically modern humans, or invoked neutral drift under various preconditions. To bridge this gap, we rigorously compare the system-level properties of fitness- and drift-based explanations of Neanderthal replacement. Our stochastic simulations and analytical predictions show that, although both fitness and drift can produce fixation, they present important differences in 1) required initial conditions, 2) reliability, 3) time to replacement, and 4) path to replacement (population histories). These results present useful opportunities for comparison with archaeological and genetic data. We find far greater agreement between the available empirical evidence and the system-level properties of replacement by differential fitness, rather than by neutral drift.


title: Detecting Bots and Assessing Their Impact in Social Networks

abstract: Online social networks are often subject to influence campaigns by malicious actors through the use of automated accounts known as bots. We consider the problem of detecting bots in online social networks and assessing their impact on the opinions of individuals. We begin by analyzing the behavior of bots in social networks and identify that they exhibit heterophily, meaning they interact with humans more than other bots. We use this property to develop a detection algorithm based on the Ising model from statistical physics. The bots are identified by solving a minimum cut problem. We show that this Ising model algorithm can identify bots with higher accuracy while utilizing much less data than other state of the art methods. We then develop a a function we call generalized harmonic influence centrality to estimate the impact bots have on the opinions of users in social networks. This function is based on a generalized opinion dynamics model and captures how the activity level and network connectivity of the bots shift equilibrium opinions. To apply generalized harmonic influence centrality to real social networks, we develop a deep neural network to measure the opinions of users based on their social network posts. Using this neural network, we then calculate the generalized harmonic influence centrality of bots in multiple real social networks. For some networks we find that a limited number of bots can cause non-trivial shifts in the population opinions. In other networks, we find that the bots have little impact. Overall we find that generalized harmonic influence centrality is a useful operational tool to measure the impact of bots in social networks.


title: Big Data Meet Cyber-Physical Systems: A Panoramic Survey

abstract: The world is witnessing an unprecedented growth of cyber-physical systems (CPS), which are foreseen to revolutionize our world {via} creating new services and applications in a variety of sectors such as environmental monitoring, mobile-health systems, intelligent transportation systems and so on. The {information and communication technology }(ICT) sector is experiencing a significant growth in { data} traffic, driven by the widespread usage of smartphones, tablets and video streaming, along with the significant growth of sensors deployments that are anticipated in the near future. {It} is expected to outstandingly increase the growth rate of raw sensed data. In this paper, we present the CPS taxonomy {via} providing a broad overview of data collection, storage, access, processing and analysis. Compared with other survey papers, this is the first panoramic survey on big data for CPS, where our objective is to provide a panoramic summary of different CPS aspects. Furthermore, CPS {require} cybersecurity to protect {them} against malicious attacks and unauthorized intrusion, which {become} a challenge with the enormous amount of data that is continuously being generated in the network. {Thus, we also} provide an overview of the different security solutions proposed for CPS big data storage, access and analytics. We also discuss big data meeting green challenges in the contexts of CPS.


title: Formation of dark energy stars

abstract: Dark energy stars are finite size astrophysical objects with an interior equation of state typical of dark energy. Examples are self-gravitating false vacuum bubbles, vacuum non-singular black holes, and gravastars. We present a time-dependent solution of Einstein's field equations that describes the collapse of a spherical system from an initial state of positive pressure to a final state with a dark energy core. Our solution has no singularities, no event horizons, and does not violate the weak or null energy conditions.


title: Application of Clustering Methods to Anomaly Detection in Fibrous Media

abstract: The paper considers the problem of anomaly detection in 3D images of fibre materials. The spatial Stochastic Expectation Maximisation algorithm and Adaptive Weights Clustering are applied to solve this problem. The initial 3D grey scale image was divided into small cubes subject to clustering. For each cube clustering attributes values were calculated: mean local direction and directional entropy. Clustering is conducted according to the given attributes. The proposed methods are tested on the simulated images and on real fibre materials.


title: Electronic structure, magnetoexcitons and valley polarized electron gas in 2D crystals

abstract: We describe here recent work on the electronic properties, magnetoexcitons and valley polarised electron gas in 2D crystals. Among 2D crystals, monolayer $MoS_2$ has attracted significant attention as a direct-gap 2D semiconductor analogue of graphene. The crystal structure of monolayer $MoS_2$ breaks inversion symmetry and results in K valley selection rules allowing to address individual valleys optically. Additionally, the band nesting near Q points is responsible for enhancing the optical response of $MoS_2$.We show that at low energies the electronic structure of $MoS_2$ is well approximated by the massive Dirac Fermion model. We focus on the effect of magnetic field on optical properties of $MoS_2$. We discuss the Landau level structure of massive Dirac fermions in the two non-equivalent valleys and resulting valley Zeeman splitting. The effects of electron-electron interaction on the valley Zeeman splitting and on the magneto-exciton spectrum are described. We show the changes in the absorption spectrum as the self-energy, electron-hole exchange and correlation effects are included. Finally, we describe the valley-polarised electron gas in $WS_2$ and its optical signature in finite magnetic fields.


title: Physical processes involved in the EUV "Surge" Event of 09 May 2012

abstract: We study an EUV confined ejection observed on 09 May 2012 in active region (AR) NOAA 11476. For the analysis we use observations in multiple wavelengths (EUV, X-rays, H$\alpha$, and magnetograms) from a variety of ground-based and space instruments. The magnetic configuration showed the presence of two rotating bipoles, with decreasing magnetic flux, within the following polarity of the AR. This evolution was present along some tens of hours before the studied event and continued even later. A minifilament with a length of $\approx 30 \arcsec$ lay along the photospheric inversion line of the largest bipole. The minifilament was observed to erupt accompanied by an M4.7 flare (SOL20120509T12:23:00). Consequently, dense material, as well as twist, was injected along closed loops in the form of a very broad ejection whose morphology resembles that of typical H$\alpha$ surges. We conclude that the flare and eruption can be explained as due to two reconnection processes, one occurring below the erupting minifilament and another one above it. This second process injects the minifilament plasma within the reconnected closed loops linking the main AR polarities. Analyzing the magnetic topology using a force-free model of the coronal field, we identify the location of quasi-separatix layers (QSLs), where reconnection is prone to occur, and present a detailed interpretation of the chromospheric and coronal eruption observations. In particular, this event, contrary to what has been proposed in several models explaining surges and/or jets, is not originated by magnetic flux emergence but by magnetic flux cancellation accompanied by the rotation of the bipoles. In fact, the conjunction of these two processes, flux cancellation and bipole rotations, is at the origin of a series of events, homologous to the one we analyze in this article, that occurred in AR 11476 from 08 to 10 May 2012.


title: Why Abeta42 Is Much More Toxic Than Abeta40

abstract: Amyloid precursor with 770 amino acids dimerizes and aggregates, as do its c terminal 99 amino acids and amyloid 40,42 amino acids fragments. The titled question has been discussed extensively, and here it is addressed further using thermodynamic scaling theory to analyze mutational trends in structural factors and kinetics. Special attention is given to Family Alzheimer's Disease mutations outside amyloid 42. The scaling analysis is connected to extensive docking simulations which included membranes, thereby confirming their results and extending them to Amyloid precursor.


title: QKD from a microsatellite: the SOTA experience

abstract: The transmission and reception of polarized quantum-limited signals from space is of capital interest for a variety of fundamental-physics experiments and quantum-communication protocols. Specifically, Quantum Key Distribution (QKD) deals with the problem of distributing unconditionally-secure cryptographic keys between two parties. Enabling this technology from space is a critical step for developing a truly-secure global communication network. The National Institute of Information and Communications Technology (NICT, Japan) performed the first successful measurement on the ground of a quantum-limited signal from a satellite in experiments carried out on early August in 2016. The SOTA (Small Optical TrAnsponder) lasercom terminal onboard the LEO satellite SOCRATES (Space Optical Communications Research Advanced Technology Satellite) was utilized for this purpose. Two non-orthogonally polarized signals in the ~800-nm band and modulated at 10 MHz were transmitted by SOTA and received in the single-photon regime by using a 1-m Cassegrain telescope on a ground station located in an urban area of Tokyo (Japan). In these experiments, after compensating the Doppler effect induced by the fast motion of the satellite, a QKD-enabling QBER (Quantum Bit Error Rate) below 5% was measured with estimated key rates in the order of several Kbit/s, proving the feasibility of quantum communications in a real scenario from space for the first time.


title: Learning to Screen for Fast Softmax Inference on Large Vocabulary Neural Networks

abstract: Neural language models have been widely used in various NLP tasks, including machine translation, next word prediction and conversational agents. However, it is challenging to deploy these models on mobile devices due to their slow prediction speed, where the bottleneck is to compute top candidates in the softmax layer. In this paper, we introduce a novel softmax layer approximation algorithm by exploiting the clustering structure of context vectors. Our algorithm uses a light-weight screening model to predict a much smaller set of candidate words based on the given context, and then conducts an exact softmax only within that subset. Training such a procedure end-to-end is challenging as traditional clustering methods are discrete and non-differentiable, and thus unable to be used with back-propagation in the training process. Using the Gumbel softmax, we are able to train the screening model end-to-end on the training set to exploit data distribution. The algorithm achieves an order of magnitude faster inference than the original softmax layer for predicting top-$k$ words in various tasks such as beam search in machine translation or next words prediction. For example, for machine translation task on German to English dataset with around 25K vocabulary, we can achieve 20.4 times speed up with 98.9\% precision@1 and 99.3\% precision@5 with the original softmax layer prediction, while state-of-the-art ~\citep{MSRprediction} only achieves 6.7x speedup with 98.7\% precision@1 and 98.1\% precision@5 for the same task.


title: Holographic superconductor with nonlinear Born - Infeld-type electrodynamics

abstract: Holographic s-wave superconductors in the framework of nonlinear Born - Infeld-type electrodynamics is investigated in the background of Schwarzschild anti-de Sitter black holes. As particular cases, at some model parameters, we obtain results for Born - Infeld and exponential electrodynamics. We explore the analytical Sturm-Liouville eigenvalue problem in the probe limit where the scalar and electromagnetic fields do not effect on the background metric. The critical temperatures of phase transitions and the order parameter are calculated which depend on the model parameters. We show that the critical exponent near the critical temperature is 1/2. Making use of the matching method we derive analytical expressions for the condensation values and the critical temperature. The conductivity by the analytical method is calculated.


title: On the existence of smooth orbital varieties in simple Lie algebras

abstract: The orbital varieties are the irreducible components of the intersection between a nilpotent orbit and a Borel subalgebra of the Lie algebra of a reductive group. There is a geometric correspondence between orbital varieties and irreducible components of Springer fibers. In type A, a construction due to Richardson implies that every nilpotent orbit contains at least one smooth orbital variety and every Springer fiber contains at least one smooth component. In this paper, we show that this property is also true for the other classical cases. Our proof uses the interpretation of Springer fibers as varieties of isotropic flags and van Leeuwen's parametrization of their components in terms of domino tableaux. In the exceptional cases, smooth orbital varieties do not arise in every nilpotent orbit, as already noted by Spaltenstein. We however give a (non-exhaustive) list of nilpotent orbits which have this property. Our treatment of exceptional cases relies on an induction procedure for orbital varieties, similar to the induction procedure for nilpotent orbits.


title: A field theoretic operator model and Cowen-Douglas class

abstract: In resonance to a recent geometric framework proposed by Douglas and Yang, a functional model for certain linear bounded operators with rank-one self-commutator acting on a Hilbert space is developed. By taking advantage of the refined existing theory of the principal function of a hyponormal operator we transfer the whole action outside the spectrum, on the resolvent of the underlying operator, localized at a distinguished vector. The whole construction turns out to rely on an elementary algebra body involving analytic multipliers and Cauchy transforms. A natural field theory interpretation of the resulting resolvent functional model is proposed.


title: Material design of indium based compounds: possible candidates for charge, valence, and bond disproportionation and superconductivity

abstract: We design and investigate the physical properties of new indium compounds AInX$_{3}$ (A = alkali metals, X = F or Cl). We find nine new In based materials in their ground state and are thermodynamically stable but are not reported in ICSD (Inorganic Crystal Structure Database). We also discuss several metastable structures. This new series of materials display multiple valences, charge and bond disproportionation, and dimerization. The most common valence of In is 3+. We also find two rare alternatives, one has In$^{2+}$ with In-In dimerization and the other shows valence disproportionation to In$^{1+}$ and In$^{3+}$ with bond disproportionation. We study the possibility of superconductivity in these new In compounds and find that CsInF$_{3}$ has a transition temperature about 24 K with sufficient hole doping and pressure.


title: Counting in Language with RNNs

abstract: In this paper we examine a possible reason for the LSTM outperforming the GRU on language modeling and more specifically machine translation. We hypothesize that this has to do with counting. This is a consistent theme across the literature of long term dependence, counting, and language modeling for RNNs. Using the simplified forms of language -- Context-Free and Context-Sensitive Languages -- we show how exactly the LSTM performs its counting based on their cell states during inference and why the GRU cannot perform as well.


title: Concentration of the Intrinsic Volumes of a Convex Body

abstract: The intrinsic volumes are measures of the content of a convex body. This paper uses probabilistic and information-theoretic methods to study the sequence of intrinsic volumes of a convex body. The main result states that the intrinsic volume sequence concentrates sharply around a specific index, called the central intrinsic volume. Furthermore, among all convex bodies whose central intrinsic volume is fixed, an appropriately scaled cube has the intrinsic volume sequence with maximum entropy.


title: Lower bounds for Mahler measure that depend on the number of monomials

abstract: We prove a new lower bound for the Mahler measure of a polynomial in one and in several variables that depends on the complex coefficients, and the number of monomials. In one variable our result generalizes a classical inequality of Mahler. In $M$ variables our result depends on $\mathbb{Z}^M$ as an ordered group, and in general our lower bound depends on the choice of ordering.


title: Quench-induced dynamical phase transitions and $\pi$-synchronization in the Bose-Hubbard Model

abstract: We investigate the non-equilibrium behavior of a fully-connected (or all-to-all coupled) Bose-Hubbard model after a Mott to superfluid quench, in the limit of large boson densities and for an arbitrary number $V$ of lattice sites, with potential relevance in experiments ranging from cold atoms to superconducting qubits. By means of the truncated Wigner approximation, we predict that crossing a critical quench strength the system undergoes a dynamical phase transition between two regimes that are characterized at long times either by an inhomogeneous population of the lattice (i.e. macroscopical self-trapping) or by the tendency of the mean-field bosonic variables to split into two groups with phase difference $\pi$, that we refer to as $\pi$-synchronization. We show the latter process to be intimately connected to the presence, only for $V \ge 4$, of a manifold of infinitely many fixed points of the dynamical equations. Finally, we show that no fine-tuning of the model parameters is needed for the emergence of such $\pi$-synchronization, that is in fact found to vanish smoothly in presence of an increasing site-dependent disorder, in what we call a synchronization crossover.


title: Language Classes Associated With Automata Over Matrix Groups

abstract: We investigate the language classes recognized by group automata over matrix groups. For the case of $2 \times 2 $ matrices, we prove that the corresponding group automata for rational matrix groups are more powerful than the corresponding group automata for integer matrix groups. Finite automata over some special matrix groups, such as the discrete Heisenberg group and the Baumslag-Solitar group are also examined. We also introduce the notion of time complexity for group automata and demonstrate some separations among related classes. The case of linear-time bounds is examined in detail throughout our repertory of matrix group automata.


title: Reasons in favor of a Hubble-Lemaitre-Slipher's (HLS) law

abstract: Based on historical facts, revisited from a present-day perspective, and on the documented opinions of the scientists involved in the discovery themselves, strong arguments are given in favor of a proposal to include prominent astronomer Vesto Slipher to the suggested addition of Georges Lema\^itre's name to Hubble's law on the expansion of the Universe, and thus eventually call it Hubble-Lema\^itre-Slipher's (HLS) law.


title: Dancing in the Dark: Uncertainty in ultra-faint dwarf galaxy predictions from cosmological simulations

abstract: The existence of ultra-faint dwarf (UFD) galaxies highlights the need to push our theoretical understanding of galaxies to extremely low mass. We examine the formation of UFDs by twice running a fully cosmological simulations of dwarf galaxies, but varying star formation. One run uses a temperature-density threshold for star formation, while the other uses an H$_{2}$-based sub-grid star formation model. The total number of dwarf galaxies that forms is different by a factor of 2 between the two runs, but most of these are satellites, leading to a factor of 5 difference in the number of luminous UFD companions around more massive, isolated dwarfs. The first run yields a 47\% chance of finding a satellite around a M$_{halo}$ $\sim 10^{10}$ M$_{\odot}$ host, while the H$_2$ run predicts only a 16\% chance. Metallicity is the primary physical parameter that creates this difference. As metallicity decreases, the formation of H$_2$ is slowed and relegated to higher-density material. Thus, our H$_2$ run is unable to form many (and often, any) stars before reionization removes gas. These results emphasize that predictions for UFD properties made using hydrodynamic simulations, in particular regarding the frequency of satellites around dwarf galaxies, the slope of the stellar mass function at low masses, as well as the properties of ultra-faint galaxies occupying the smallest halos, are extremely sensitive to the subgrid physics of star formation contained within the simulation. However, upcoming discoveries of ultra-faint dwarfs will provide invaluable constraining power on the physics of the first star formation.


title: Stay With Me: Lifetime Maximization Through Heteroscedastic Linear Bandits With Reneging

abstract: Sequential decision making for lifetime maximization is a critical problem in many real-world applications, such as medical treatment and portfolio selection. In these applications, a "reneging" phenomenon, where participants may disengage from future interactions after observing an unsatisfiable outcome, is rather prevalent. To address the above issue, this paper proposes a model of heteroscedastic linear bandits with reneging, which allows each participant to have a distinct "satisfaction level," with any interaction outcome falling short of that level resulting in that participant reneging. Moreover, it allows the variance of the outcome to be context-dependent. Based on this model, we develop a UCB-type policy, namely HR-UCB, and prove that it achieves $\mathcal{O}\big(\sqrt{{T}(\log({T}))^{3}}\big)$ regret. Finally, we validate the performance of HR-UCB via simulations.


title: Generalized Multiscale Multicontinuum Model for Fractured Vuggy Carbonate Reservoirs

abstract: Simulating flow in a highly heterogeneous reservoir with multiscale characteristics could be considerably demanding. To tackle this problem, we propose a numerical scheme coupling the Generalized Multiscale Finite Element Method (GMsFEM) with a triple-continuum model aimed at a faster simulator framework that can explicitly represent the interactions among different continua. To further enrich the descriptive ability of our proposed model, we combine the Discrete Fracture Model (DFM) to model the local effects of discrete fractures. In the proposed model, GMsFEM, as an advanced model reduction technique, enables capturing the multiscale flow dynamics. This is accomplished by systematically generating an approximation space through solving a series of local snapshot and spectral problems. The resulting eigenfunctions can pass the local features to the global level when acting as basis functions in coarse problems. Our goal in this paper is to further improve the accuracy of flow simulation in complicated reservoirs especially for the case when multiple discrete fractures located in single coarse neighborhood and multiscale finite element methods fail. Together with a detailed description of the model, several numerical experiments are conducted to confirm the success of our proposed method. A rigid proof is also given in the aspect of numerical analysis.


title: Spectral approximation of a variable coefficient fractional diffusion equation in one space dimension

abstract: In this article we consider the approximation of a variable coefficient (two-sided) fractional diffusion equation (FDE), having unknown $u$. By introducing an intermediate unknown, $q$, the variable coefficient FDE is rewritten as a lower order, constant coefficient FDE. A spectral approximation scheme, using Jacobi polynomials, is presented for the approximation of $q$, $q_{N}$. The approximate solution to $u$, $u_{N}$, is obtained by post processing $q_{N}$. An a priori error analysis is given for $(q \, - \, q_{N})$ and $(u \, - \, u_{N})$. Two numerical experiments are presented whose results demonstrate the sharpness of the derived error estimates.


title: On the forces that cable webs under tension can support and how to design cable webs to channel stresses

abstract: In many applications of Structural Engineering the following question arises: given a set of forces $\mathbf{f}_1,\mathbf{f}_2,\dots,\mathbf{f}_N$ applied at prescribed points $\mathbf{x}_1,\mathbf{x}_2,\dots,\mathbf{x}_N$, under what constraints on the forces does there exist a truss structure (or wire web) with all elements under tension that supports these forces? Here we provide answer to such a question for any configuration of the terminal points $\mathbf{x}_1,\mathbf{x}_2,\dots,\mathbf{x}_N$ in the two- and three-dimensional case. Specifically, the existence of a web is guaranteed by a necessary and sufficient condition on the loading which corresponds to a finite dimensional linear programming problem. In two-dimensions we show that any such web can be replaced by one in which there are at most $P$ elementary loops, where elementary means the loop cannot be subdivided into subloops, and where $P$ is the number of forces $\mathbf{f}_1,\mathbf{f}_2,\dots,\mathbf{f}_N$ applied at points strictly within the convex hull of $\mathbf{x}_1,\mathbf{x}_2,\dots,\mathbf{x}_N$. In three-dimensions we show that, by slightly perturbing $\mathbf{f}_1,\mathbf{f}_2,\dots,\mathbf{f}_N$, there exists a uniloadable web supporting this loading. Uniloadable means it supports this loading and all positive multiples of it, but not any other loading. Uniloadable webs provide a mechanism for distributing stress in desired ways.


title: On the number of clonoids

abstract: A clonoid is a set of finitary functions from a set $A$ to a set $B$ that is closed under taking minors. Hence clonoids are generalizations of clones. By a classical result of Post, there are only countably many clones on a 2-element set. In contrast to that, we present continuum many clonoids for $A = B = \{0,1\}$. More generally, for any finite set $A$ and any $2$-element algebra $\mathbf{B}$, we give the cardinality of the set of clonoids from $A$ to $\mathbf{B}$ that are closed under the operations of $\mathbf{B}$.


title: Everything you always wanted to know about a dataset: studies in data summarisation

abstract: Summarising data as text helps people make sense of it. It also improves data discovery, as search algorithms can match this text against keyword queries. In this paper, we explore the characteristics of text summaries of data in order to understand how meaningful summaries look like. We present two complementary studies: a data-search diary study with 69 students, which offers insight into the information needs of people searching for data; and a summarisation study, with a lab and a crowdsourcing component with overall 80 data-literate participants, which produced summaries for 25 datasets. In each study we carried out a qualitative analysis to identify key themes and commonly mentioned dataset attributes, which people consider when searching and making sense of data. The results helped us design a template to create more meaningful textual representations of data, alongside guidelines for improving data-search experience overall.


title: Nonlinear Semi-Classical 3D Quantum Spin

abstract: In an effort to provide an alternative method to represent a quantum spin, a precise 3D nonlinear dynamics method is used. A two-sided torque function is created to mimic the unique behavior of the quantum spin. A full 3D representation of the magnetic field of a Stern-Gerlach device was used as in the original experiment. Furthermore, the temporarily driven nonlinear damped model exhibits chaos, but struggles to be consistent through azimuthal angles in reproducing the quantum spin statistics.


title: Isogeometric Parametrization Inspired by Large Elastic Deformation

abstract: The construction of volumetric parametrizations for computational domains is a key step in the pipeline of isogeometric analysis. Here, we investigate a solution to this problem based on the mesh deformation approach. The desired domain is modeled as a deformed configuration of an initial simple geometry. Assuming that the parametrization of the initial domain is bijective and that it is possible to find a locally invertible displacement field, the method yields a bijective parametrization of the target domain. We compute the displacement field by solving the equations of nonlinear elasticity with the neo-Hookean material law, and we show an efficient variation of the incremental loading algorithm tuned specifically to this application. In order to construct the initial domain, we simplify the target domain's boundary by means of an L2-projection onto a coarse basis and then apply the Coons patch approach. The proposed methodology is not restricted to a single patch scenario but can be utilized to construct multi-patch parametrizations with naturally looking boundaries between neighboring patches. We illustrate its performance and compare the result to other established parametrization approaches on a range of two-dimensional and three-dimensional examples.


title: Lower-twin-peak quasiperiodic oscillation coherence in x-ray binaries and matter stretched by tides falling onto a compact object

abstract: Low mass x-ray binaries (LMXBs), with either a neutron star (NS) or a black hole, show in their power spectra quasiperiodic oscillations (QPOs). Those at highest frequencies show up in pairs and are named twin peak high frequency QPOs (HF QPOs). Their central frequencies are typical of the orbital motion timescale close to the compact object. HF QPOs are believed to carry unique information on the matter moving in the extreme gravitational field around the compact object. In previous works we highlighted the work done by strong tides on clumps of plasma orbiting in the accretion disk as suitable mechanism to produce the HF QPOs. We showed that the upper of the twin peak HF QPOs seen in NS LMXBs could originate from the tidal circularization of the clump's relativistic orbit, while the lower HF QPO could come from the spiraling clump losing orbital energy. Here we focus on the tidal deformation of a magnetized clump of plasma once tides load energy on it. The likely evolution of the shape of the clump after tidal circularization of the orbit and its subsequent orbital evolution are investigated. In atoll NS LMXBs, a subclass of NS LMXBs less luminous than Z NS LMXBs, the lower HF QPO displays a characteristic behavior of its coherence $Q$ versus its central frequency $\nu$. $Q$ keeps increasing over the range of frequencies $\nu\sim$ 600-850 Hz and then drops abruptly at $\nu\sim$ 900 Hz. We note, for the first time, that such behavior is reproduced by magnetized clumps of plasma stretched by strong tides and falling onto the NS on unstable orbits. We emphasize the overall behavior of the lower HF QPO coherence as candidate to disclose the innermost stable bound orbit predicted by the general relativity theory in the strong field regime.


title: Parallel Attention Mechanisms in Neural Machine Translation

abstract: Recent papers in neural machine translation have proposed the strict use of attention mechanisms over previous standards such as recurrent and convolutional neural networks (RNNs and CNNs). We propose that by running traditionally stacked encoding branches from encoder-decoder attention- focused architectures in parallel, that even more sequential operations can be removed from the model and thereby decrease training time. In particular, we modify the recently published attention-based architecture called Transformer by Google, by replacing sequential attention modules with parallel ones, reducing the amount of training time and substantially improving BLEU scores at the same time. Experiments over the English to German and English to French translation tasks show that our model establishes a new state of the art.


title: Inertial Kinetic-Alfv\'en Turbulence

abstract: Recent observational and analytical studies suggested that a new regime of kinetic turbulence may exist in plasma environments with low electron beta (Chen and Boldyrev, 2017). Such a regime, termed inertial kinetic-Alfv\'en turbulence, is relevant for the solar corona, Earth's magnetosheath, and other astrophysical systems where the electron and ion plasma beta parameters satisfy the condition $\beta_e\ll \beta_i\lesssim 1$. In this paper we present kinetic numerical simulations that confirm existence of the iKAW regime. Specifically, the simulations demonstrate a transition at scales below electron inertial length $d_e$ when $\beta_e\ll \beta_i\lesssim 1$. Spectral slopes and other statistical properties of turbulence at sub-$d_e$ scales are consistent with the phenomenological theory of inertial kinetic-Alfv\'en turbulence proposed by Chen and Boldyrev (2017) and with the recent observations in the Earth's magnetosheath.


title: Breaking the Curse of Horizon: Infinite-Horizon Off-Policy Estimation

abstract: We consider the off-policy estimation problem of estimating the expected reward of a target policy using samples collected by a different behavior policy. Importance sampling (IS) has been a key technique to derive (nearly) unbiased estimators, but is known to suffer from an excessively high variance in long-horizon problems. In the extreme case of in infinite-horizon problems, the variance of an IS-based estimator may even be unbounded. In this paper, we propose a new off-policy estimation method that applies IS directly on the stationary state-visitation distributions to avoid the exploding variance issue faced by existing estimators.Our key contribution is a novel approach to estimating the density ratio of two stationary distributions, with trajectories sampled from only the behavior distribution. We develop a mini-max loss function for the estimation problem, and derive a closed-form solution for the case of RKHS. We support our method with both theoretical and empirical analyses.


title: On the agreement between bibliometrics and peer review: evidence from the Italian research assessment exercises

abstract: This paper appraises the concordance between bibliometrics and peer review, by drawing evidence from the data of two experiments realized by the Italian governmental agency for research evaluation. The experiments were performed for validating the dual system of evaluation, consisting in the interchangeable use of bibliometyrics and peer review, adopted by the agency in the research assessment exercises. The two experiments were based on stratified random samples of journal articles. Each article was scored by bibliometrics and by peer review. The degree of concordance between the two evaluations is then computed. The correct setting of the experiments is defined by developing the design-based estimation of the Cohen's kappa coefficient and some testing procedures for assessing the homogeneity of missing proportions between strata. The results of both experiments show that for each research areas of hard sciences, engineering and life sciences, the degree of agreement between bibliometrics and peer review is -- at most -- weak at an individual article level. Thus, the outcome of the experiments does not validate the use of the dual system of evaluation in the Italian research assessments. More in general, the very weak concordance indicates that metrics should not replace peer review at the level of individual article. Hence, the use of the dual system of evaluation for reducing costs might introduce unknown biases in a research assessment exercise.


title: Partial Shading Detection and Smooth Maximum Power Point Tracking of PV Arrays under PSC

abstract: One of the most important issues in the operation of a photovoltaic (PV) system is extracting maximum power from the PV array, especially in partial shading condition (PSC). Under PSC, P-V characteristic of PV arrays will have multiple peak points, only one of which is global maximum. Conventional maximum power point tracking (MPPT) methods are not able to extract maximum power in this condition. In this paper, a novel two-stage MPPT method is presented to overcome this drawback. In the first stage, a method is proposed to determine the occurrence of PSC, and in the second stage, using a new algorithm that is based on ramp change of the duty cycle and continuous sampling from the P-V characteristic of the array, global maximum power point of array is reached. P&O algorithm is then re-activated to trace small changes of the new MPP. Open loop operation of the proposed method makes its implementation cheap and simple. The method is robust in the face of changing environmental conditions and array characteristics, and has minimum negative impact on the connected power system. Simulations in Matlab/Simulink and experimental results validate the performance of the proposed methods.


title: Production of $t\bar t$ pairs via $\gamma\gamma$ fusion with photon transverse momenta and proton dissociation

abstract: We discuss the production of $t\bar t$ quark-antiquark pairs in proton-proton collisions via the $\gamma\gamma$ fusion mechanism. We include topologies in which both protons stay intact or one or even both of them undergo dissociation. The calculations are performed within the $k_{\rm T}$-factorisation approach, including transverse momenta of intermediate photons. Photon fluxes associated to inelastic (dissociative) processes are calculated based on modern parameterisations of proton structure functions. We find an integrated cross section of about 2.36 fb at $\sqrt{s}=$ 13 TeV for all contributions. The cross section for the fully elastic process is the smallest. Inelastic contributions are significantly reduced when a veto on outgoing jets is imposed. We present several differential distributions in rapidity and transverse momenta of single $t$ or $\bar t$ quarks/antiquarks as well as distributions in invariant mass of both the $t\bar t$ and masses of dissociated systems. A few two-dimensional distributions are presented in addition.


title: Resilient degree sequences with respect to Hamilton cycles and matchings in random graphs

abstract: P\'osa's theorem states that any graph $G$ whose degree sequence $d_1 \le \ldots \le d_n$ satisfies $d_i \ge i+1$ for all $i < n/2$ has a Hamilton cycle. This degree condition is best possible. We show that a similar result holds for suitable subgraphs $G$ of random graphs, i.e. we prove a `resilience version' of P\'osa's theorem: if $pn \ge C \log n$ and the $i$-th vertex degree (ordered increasingly) of $G \subseteq G_{n,p}$ is at least $(i+o(n))p$ for all $i<n/2$, then $G$ has a Hamilton cycle. This is essentially best possible and strengthens a resilience version of Dirac's theorem obtained by Lee and Sudakov. Chv\'atal's theorem generalises P\'osa's theorem and characterises all degree sequences which ensure the existence of a Hamilton cycle. We show that a natural guess for a resilience version of Chv\'atal's theorem fails to be true. We formulate a conjecture which would repair this guess, and show that the corresponding degree conditions ensure the existence of a perfect matching in any subgraph of $G_{n,p}$ which satisfies these conditions. This provides an asymptotic characterisation of all degree sequences which resiliently guarantee the existence of a perfect matching.


title: Generalized symmetries and conservation laws of (1+1)-dimensional Klein-Gordon equation

abstract: Using advantages of nonstandard computational techniques based on the light-cone variables, we explicitly find the algebra of generalized symmetries of the (1+1)-dimensional Klein-Gordon equation. This allows us to describe this algebra in terms of the universal enveloping algebra of the essential Lie invariance algebra of the Klein-Gordon equation. Then we single out variational symmetries of the corresponding Lagrangian and compute the space of local conservation laws of this equation, which turns out to be generated, up to the action of generalized symmetries, by a single first-order conservation law. Moreover, for every conservation law we find a conserved current of minimal order that is contained in this conservation law.


title: Concealing the identity of faces in oblique images with adaptive hopping Gaussian mixtures

abstract: Cameras mounted on Micro Aerial Vehicles (MAVs) are increasingly used for recreational photography. However, aerial photographs of public places often contain faces of bystanders thus leading to a perceived or actual violation of privacy. To address this issue, we propose to pseudo-randomly modify the appearance of face regions in the images using a privacy filter that prevents a human or a face recogniser from inferring the identities of people. The filter, which is applied only when the resolution is high enough for a face to be recognisable, adaptively distorts the face appearance as a function of its resolution. Moreover, the proposed filter locally changes its parameters to discourage attacks that use parameter estimation. The filter exploits both global adaptiveness to reduce distortion and local hopping of the parameters to make their estimation difficult for an attacker. In order to evaluate the efficiency of the proposed approach, we use a state-of-the-art face recognition algorithm and synthetically generated face data with 3D geometric image transformations that mimic faces captured from an MAV at different heights and pitch angles. Experimental results show that the proposed filter protects privacy while reducing distortion and exhibits resilience against attacks.


title: Object Detection based on LIDAR Temporal Pulses using Spiking Neural Networks

abstract: Neural networks has been successfully used in the processing of Lidar data, especially in the scenario of autonomous driving. However, existing methods heavily rely on pre-processing of the pulse signals derived from Lidar sensors and therefore result in high computational overhead and considerable latency. In this paper, we proposed an approach utilizing Spiking Neural Network (SNN) to address the object recognition problem directly with raw temporal pulses. To help with the evaluation and benchmarking, a comprehensive temporal pulses data-set was created to simulate Lidar reflection in different road scenarios. Being tested with regard to recognition accuracy and time efficiency under different noise conditions, our proposed method shows remarkable performance with the inference accuracy up to 99.83% (with 10% noise) and the average recognition delay as low as 265 ns. It highlights the potential of SNN in autonomous driving and some related applications. In particular, to our best knowledge, this is the first attempt to use SNN to directly perform object recognition on raw Lidar temporal pulses.


title: Prior-preconditioned conjugate gradient method for accelerated Gibbs sampling in "large $n$ & large $p$" Bayesian sparse regression

abstract: In a modern observational study based on healthcare databases, the number of observations and of predictors typically range in the order of $10^5$ ~ $10^6$ and of $10^4$ ~ $10^5$. Despite the large sample size, data rarely provide sufficient information to reliably estimate such a large number of parameters. Sparse regression techniques provide potential solutions, one notable approach being the Bayesian methods based on shrinkage priors. In the "large n & large p" setting, however, posterior computation encounters a major bottleneck at repeated sampling from a high-dimensional Gaussian distribution, whose precision matrix $\Phi$ is expensive to compute and factorize. In this article, we present a novel algorithm to speed up this bottleneck based on the following observation: we can cheaply generate a random vector $b$ such that the solution to the linear system $\Phi \beta = b$ has the desired Gaussian distribution. We can then solve the linear system by the conjugate gradient (CG) algorithm through matrix-vector multiplications by $\Phi$; this involves no explicit factorization or calculation of $\Phi$ itself. Rapid convergence of CG in this context is guaranteed by the theory of prior-preconditioning we develop. We apply our algorithm to a clinically relevant large-scale observational study with n = 72,489 patients and p = 22,175 clinical covariates, designed to assess the relative risk of adverse events from two alternative blood anti-coagulants. Our algorithm demonstrates an order of magnitude speed-up in posterior inference, in our case cutting the computation time from two weeks to less than a day.


title: On Linear Dynamics of Sets of Operators

abstract: Let $X$ be a complex topological vector space with $dim(X)>1$ and $\mathcal{B}(X)$ the set of all continuous linear operators on $X$. The concept of hypercyclicity for a subset of $\mathcal{B}(X)$, was introduced in \cite{AKH}. In this work, we introduce the notion of hypercyclic criterion for a subset of $\mathcal{B}(X)$. We extend some results known for a single operator and $C_0$-semigroup to a subset of $\mathcal{B}(X)$ and we give applications for $C$-regularized groups of operators.


title: Characterising and recognising game-perfect graphs

abstract: Consider a vertex colouring game played on a simple graph with $k$ permissible colours. Two players, a maker and a breaker, take turns to colour an uncoloured vertex such that adjacent vertices receive different colours. The game ends once the graph is fully coloured, in which case the maker wins, or the graph can no longer be fully coloured, in which case the breaker wins. In the game $g_B$, the breaker makes the first move. Our main focus is on the class of $g_B$-perfect graphs: graphs such that for every induced subgraph $H$, the game $g_B$ played on $H$ admits a winning strategy for the maker with only $\omega(H)$ colours, where $\omega(H)$ denotes the clique number of $H$. Complementing analogous results for other variations of the game, we characterise $g_B$-perfect graphs in two ways, by forbidden induced subgraphs and by explicit structural descriptions. We also present a clique module decomposition, which may be of independent interest, that allows us to efficiently recognise $g_B$-perfect graphs.


title: TallyQA: Answering Complex Counting Questions

abstract: Most counting questions in visual question answering (VQA) datasets are simple and require no more than object detection. Here, we study algorithms for complex counting questions that involve relationships between objects, attribute identification, reasoning, and more. To do this, we created TallyQA, the world's largest dataset for open-ended counting. We propose a new algorithm for counting that uses relation networks with region proposals. Our method lets relation networks be efficiently used with high-resolution imagery. It yields state-of-the-art results compared to baseline and recent systems on both TallyQA and the HowMany-QA benchmark.


title: Modelling visual-vestibular integration and behavioural adaptation in the driving simulator

abstract: It is well established that not only vision but also other sensory modalities affect drivers' control of their vehicles, and that drivers adapt over time to persistent changes in sensory cues (for example in driving simulators), but the mechanisms underlying these behavioural phenomena are poorly understood. Here, we consider the existing literature on how driver steering in slalom tasks is affected by the down-scaling of vestibular cues, and propose a driver model that can explain the empirically observed effects, namely: decreased task performance and increased steering effort during initial exposure, followed by a partial reversal of these effects as task exposure is prolonged. Unexpectedly, the model also reproduced another empirical finding: a local optimum for motion down-scaling, where path-tracking is better than when one-to-one motion cues are available. Overall, the results imply that: (1) drivers make direct use of vestibular information as part of determining appropriate steering, and (2) motion down-scaling causes a yaw rate underestimation phenomenon, where drivers behave as if the simulated vehicle is rotating more slowly than it is. However, (3) in the slalom task, a certain degree of such yaw rate underestimation is beneficial to path tracking performance. Furthermore, (4) behavioural adaptation, as empirically observed in slalom tasks, may occur due to (a) down-weighting of vestibular cues, and/or (b) increased sensitivity to control errors, in determining when to adjust steering and by how much, but (c) seemingly not in the form of a full compensatory rescaling of the received vestibular input. The analyses presented here provide new insights and hypotheses about simulator driving, and the developed models can be used to support research on multisensory integration and behavioural adaptation in both driving and other task domains.


title: Design and Implementation of Ecological Adaptive Cruise Control for Autonomous Driving with Communication to Traffic Lights

abstract: This paper presents the design and implementation results of an ecological adaptive cruise controller (ECO-ACC) which exploits driving automation and connectivity. The controller avoids front collisions and traffic light violations, and is designed to reduce the energy consumption of connected automated vehicles by utilizing historical and real-time signal phase and timing data of traffic lights that adapt to the current traffic conditions. We propose an optimization-based generation of a reference velocity, and a velocity-tracking model predictive controller that avoids front collisions and violations. We present an experimental setup encompassing the real vehicle and controller in the loop, and an environment simulator in which the traffic flow and the traffic light patterns are calibrated on real-world data. We present and analyze simulation and experimental results, finding a significant potential for energy consumption reduction, even in the presence of traffic.


title: Learning Better Internal Structure of Words for Sequence Labeling

abstract: Character-based neural models have recently proven very useful for many NLP tasks. However, there is a gap of sophistication between methods for learning representations of sentences and words. While most character models for learning representations of sentences are deep and complex, models for learning representations of words are shallow and simple. Also, in spite of considerable research on learning character embeddings, it is still not clear which kind of architecture is the best for capturing character-to-word representations. To address these questions, we first investigate the gaps between methods for learning word and sentence representations. We conduct detailed experiments and comparisons of different state-of-the-art convolutional models, and also investigate the advantages and disadvantages of their constituents. Furthermore, we propose IntNet, a funnel-shaped wide convolutional neural architecture with no down-sampling for learning representations of the internal structure of words by composing their characters from limited, supervised training corpora. We evaluate our proposed model on six sequence labeling datasets, including named entity recognition, part-of-speech tagging, and syntactic chunking. Our in-depth analysis shows that IntNet significantly outperforms other character embedding models and obtains new state-of-the-art performance without relying on any external knowledge or resources.


title: Overlapping Discs Filtration in the Commutative Operad

abstract: The spaces of configurations of non-$k$-overlapping discs have been studied as a bimodule over the little discs operad. In fact, the spaces form a filtered operad. We define and study the induced structure on the homology.


title: Geometric Median Shapes

abstract: We present an algorithm to compute the geometric median of shapes which is based on the extension of median to high dimensions. The median finding problem is formulated as an optimization over distances and it is solved directly using the watershed method as an optimizer. We show that computing the geometric median of shapes is robust in the presence of outliers and it is superior to the mean shape which can easily be affected by the presence of outliers. The geometric median shape thus faithfully represents the true central tendency of the data, contaminated or not. Our approach can be applied to manifold and non manifold shapes, with connected or disconnected shapes. The application of distance transforms and watershed algorithm, two well established constructs of image processing, lead to an algorithm that can be quickly implemented to generate fast solutions with linear storage requirements. We demonstrate our methods in synthetic and natural shapes and compare median and mean results under increasing contamination by strong outliers.


title: Direct current resistivity with steel-cased wells

abstract: The work in this paper is motivated by the increasing use of electrical and electromagnetic methods in geoscience problems where steel-cased wells are present. Applications of interest include monitoring carbon capture and storage and hydraulic fracturing operations, as well as detecting flaws or breaks in degrading steel-casings -- such wells pose serious environmental hazards. The general principles of electrical methods with steel-cased wells are understood, and several authors have demonstrated that the presence of steel-cased wells can be beneficial for detecting signal due to targets at depth. However, the success of a DC resistivity survey lies in the details. Secondary signals might only be a few percent of the primary signal. In designing a survey, the geometry of the source and receivers, and whether the source is at the top of the casing, inside of it, or beneath the casing will impact measured responses. Also the physical properties and geometry of the background geology, target, and casing will have a large impact on the measured data. Because of the small values of the diagnostic signals, it is important to understand the detailed physics of the problem and also to be able to carry out accurate simulations. This latter task is computationally challenging because of the extreme geometry of the wells, which extend kilometers in depth but have millimeter variations in the radial direction, and the extreme variation in the electrical conductivity (typically 5-7 orders of magnitude between the casing and the background geology).


title: Contractibility of a persistence map preimage

abstract: This work is motivated by the following question in data-driven study of dynamical systems: given a dynamical system that is observed via time series of persistence diagrams that encode topological features of solutions snapshots, what conclusions can be drawn about solutions of the original dynamical system? In this paper we provide a definition of a persistence diagram for a point in $\mathbb{R}^N$ modeled on piecewise monotone functions. We then provide conditions under which time series of persistence diagrams can be used to guarantee the existence of a fixed point of the flow on $\mathbb{R}^N$ that generates the time series. To obtain this result requires an understanding of the preimage of the persistence map. The main theorem of this paper gives conditions under which these preimages are contractible simplicial complexes.


title: Incremental Learning for Semantic Segmentation of Large-Scale Remote Sensing Data

abstract: In spite of remarkable success of the convolutional neural networks on semantic segmentation, they suffer from catastrophic forgetting: a significant performance drop for the already learned classes when new classes are added on the data, having no annotations for the old classes. We propose an incremental learning methodology, enabling to learn segmenting new classes without hindering dense labeling abilities for the previous classes, although the entire previous data are not accessible. The key points of the proposed approach are adapting the network to learn new as well as old classes on the new training data, and allowing it to remember the previously learned information for the old classes. For adaptation, we keep a frozen copy of the previously trained network, which is used as a memory for the updated network in absence of annotations for the former classes. The updated network minimizes a loss function, which balances the discrepancy between outputs for the previous classes from the memory and updated networks, and the mis-classification rate between outputs for the new classes from the updated network and the new ground-truth. For remembering, we either regularly feed samples from the stored, little fraction of the previous data or use the memory network, depending on whether the new data are collected from completely different geographic areas or from the same city. Our experimental results prove that it is possible to add new classes to the network, while maintaining its performance for the previous classes, despite the whole previous training data are not available.


title: Free group algebras in division rings with valuation II

abstract: We apply the filtered and graded methods developed in earlier works to find (noncommutative) free group algebras in division rings. If $L$ is a Lie algebra, we denote by $U(L)$ its universal enveloping algebra. P. M. Cohn constructed a division ring $\mathfrak{D}_L$ that contains $U(L)$. We denote by $\mathfrak{D}(L)$ the division subring of $\mathfrak{D}_L$ generated by $U(L)$. Let $k$ be a field of characteristic zero and $L$ be a nonabelian Lie $k$-algebra. If either $L$ is residually nilpotent or $U(L)$ is an Ore domain, we show that $\mathfrak{D}(L)$ contains (noncommutative) free group algebras. In those same cases, if $L$ is equipped with an involution, we are able to prove that the free group algebra in $\mathfrak{D}(L)$ can be chosen generated by symmetric elements in most cases. Let $G$ be a nonabelian residually torsion-free nilpotent group and $k(G)$ be the division subring of the Malcev-Neumann series ring generated by the group algebra $k[G]$. If $G$ is equipped with an involution, we show that $k(G)$ contains a (noncommutative) free group algebra generated by symmetric elements.


title: String C-group representations of alternating groups

abstract: We prove that for any integer $n\geq 12$, and for every $r$ in the interval $[3, \ldots, \lfloor (n-1)/2\rfloor]$, the group $A_n$ has a string C-group representation of rank $r$ therefore showing that the only alternating group whose set of ranks is not an interval is $A_{11}$.


title: Hurricane's maximum potential intensity and surface heat fluxes

abstract: Emanuel's concept of Maximum Potential Intensity (E-PI) relates the maximum velocity $V_{\rm max}$ of tropical storms, assumed to be in gradient wind balance, to environmental parameters. Several studies suggested that the unbalanced flow is responsible for E-PI sometimes significantly underpredicting $V_{\rm max}$. Additionally, two major modifications generated a considerable range of E-PI predictions: the dissipative heating and the power expended to lift water were respectively suggested to increase and reduce E-PI $V_{\rm max}$ by about 20%. Here we re-derive the E-PI concept separating its dynamic and thermodynamic assumptions and lifting the gradient wind balance limitation. Our analysis reveals that E-PI formulations for a balanced and a radially unbalanced flow are similar, while the systematic underestimate of $V_{\rm max}$ reflects instead an incompatibility between several E-PI assumptions. We discuss how these assumptions can be modified. We further show that irrespective of whether dissipative heating occurs or not, E-PI uniquely relates $V_{\rm max}$ to the latent heat flux (not to the total oceanic heat flux as originally proposed). We clarify that, in contrast to previous suggestions, lifting water has little impact on E-PI. We demonstrate that in E-PI the negative work of the pressure gradient in the upper atmosphere consumes all the kinetic energy generated in the boundary layer. This key dynamic constraint is independent of other E-PI assumptions and thus can apply to diverse circulation patterns. Finally, we show that the E-PI maximum kinetic energy per unit volume equals the local partial pressure of water vapor and discuss the implications of this finding for predicting $V_{\rm max}$.


title: Complier stochastic direct effects: identification and robust estimation

abstract: Mediation analysis is critical to understanding the mechanisms underlying exposure-outcome relationships. In this paper, we identify the instrumental variable (IV)-direct effect of the exposure on the outcome not through the mediator, using randomization of the instrument. To our knowledge, such an estimand has not previously been considered or estimated. We propose and evaluate several estimators for this estimand: a ratio of inverse-probability of treatment-weighted estimators (IPTW), a ratio of estimating equation estimators (EE), a ratio of targeted minimum loss-based estimators (TMLE), and a TMLE that targets the CSDE directly. These estimators are applicable for a variety of study designs, including randomized encouragement trials, like the MTO housing voucher experiment we consider as an illustrative example, treatment discontinuities, and Mendelian randomization. We found the IPTW estimator to be the most sensitive to finite sample bias, resulting in bias of over 40% even when all models were correctly specified in a sample size of N=100. In contrast, the EE estimator and compatible TMLE estimator were far less sensitive to finite samples. The EE and TMLE estimators also have advantages over the IPTW estimator in terms of efficiency and reduced reliance on correct parametric model specification.


title: Feshbach resonances in potassium Bose-Bose mixtures

abstract: We present a detailed study of the scattering properties of ultracold mixtures of bosonic potassium atoms. We locate 20 previously unobserved Feshbach resonances in isotopic 39K-41K mixtures. These are assigned to s-wave molecular channels by comparison to an asymptotic bound state model and coupled channels calculations. Additional Feshbach resonances are studied in spin mixtures of a single potassium isotope, both in 39K and 41K. In particular, we characterize the parameters of a selected 39K Feshbach resonance by radio-frequency association of Feshbach molecules. Our results could be exploited to refine the model potentials for potassium scattering. Furthermore, these new Feshbach resonances enlarge the range of experiments possible with degenerate Bose-Bose mixtures.


title: Evidence for massive warm-hot circumgalactic medium around NGC 3221

abstract: We report a 3.4$\sigma$ detection of the warm-hot, massive, extended circumgalactic medium (CGM) around an L$^\star$ star-forming spiral galaxy NGC 3221, using deep Suzaku observations. The temperature of the gas is $10^{6.1}$ K, comparable to that of the Milky Way CGM. The spatial extent of the gas is at least $150$ kpc. For a $\beta$-model of density profile with solar abundance, the central emission measure is EM = $3\pm 1 \times 10^{-5}$ cm$^{-6}$ kpc and the central electron density is $n_{eo} = 4\pm 1 \times10^{-4}$ cm$^{-3}$, with a slope of $\beta = 0.56$. We investigate a range of $\beta$ values, and find that the details of the density profile do not change our results significantly. The mass of the warm-hot gas, assuming a metallicity of $\frac{1}{3}$ Z$_\odot$ is $16 \pm 3 \times 10^{10}$ M$_\odot$, being the most massive baryon component of NGC 3221. The baryon fraction is $f_b$ = 0.120 $\pm$ 0.036 (statistical) $^{+0.104}_{-0.048}$ (systematic), consistent with the cosmological mean value, closing the baryon budget of this galaxy. We also investigated the missing metals problem in conjunction with the missing baryons problem and conclude that metals are likely to be preferentially expelled from the galaxy. Ours is the first detection of an extended warm-hot CGM around an external L$^\star$ star-forming spiral galaxy, where the CGM likely accounts for the missing galactic baryons.


title: Electroweak superpartners scrutinized at the LHC in events with multi-leptons

abstract: We analyze a multi-lepton signal plus missing transverse energy from neutrinos expected at the LHC for a Bino-like neutralino as the lightest supersymmetric particle (LSP), when the left sneutrino is the next-to-LSP and hence a suitable source of Binos. The discussion is carried out in the framework of the $\mu \nu$SSM, where the presence of $R$-parity violating (RPV) couplings involving right-handed neutrinos solves the $\mu$ problem and can reproduce simultaneously the neutrino data. Left sneutrinos/sleptons are pair produced at $pp$ collisions decaying to Binos, with the latter decaying via RPV to $W\ell$ or $Z\nu$. This signal can be compared with LHC searches for electroweak superpartners through chargino-neutralino production. The reduced cross section of the sneutrino/slepton production in comparison with the one of the latter process, limits the sensitivity of the searches to small sneutrino/slepton masses. Although the resulting compressed spectrum typically evades the aforementioned searches, we show that analyses using recursive jigsaw reconstruction are sensitive to these scenarios. As a by-product, we find that the region of Bino masses $110-120$ GeV and sneutrino masses $120-140$ GeV can give rise to a tri-lepton signal compatible with the local excess recently reported by ATLAS.


title: A Simple Recurrent Unit with Reduced Tensor Product Representations

abstract: idely used recurrent units, including Long-short Term Memory (LSTM) and the Gated Recurrent Unit (GRU), perform well on natural language tasks, but their ability to learn structured representations is still questionable. Exploiting reduced Tensor Product Representations (TPRs) --- distributed representations of symbolic structure in which vector-embedded symbols are bound to vector-embedded structural positions --- we propose the TPRU, a simple recurrent unit that, at each time step, explicitly executes structural-role binding and unbinding operations to incorporate structural information into learning. A gradient analysis of our proposed TPRU is conducted to support our model design, and its performance on multiple datasets shows the effectiveness of our design choices. Furthermore, observations on a linguistically grounded study demonstrate the interpretability of our TPRU.


title: Distributed Convex Optimization With Limited Communications

abstract: In this paper, a distributed convex optimization algorithm, termed \emph{distributed coordinate dual averaging} (DCDA) algorithm, is proposed. The DCDA algorithm addresses the scenario of a large distributed optimization problem with limited communication among nodes in the network. Currently known distributed subgradient methods, such as the distributed dual averaging or the distributed alternating direction method of multipliers algorithms, assume that nodes can exchange messages of large cardinality. Such network communication capabilities are not valid in many scenarios of practical relevance. In the DCDA algorithm, on the other hand, communication of each coordinate of the optimization variable is restricted over time. For the proposed algorithm, we bound the rate of convergence under different communication protocols and network architectures. We also consider the extensions to the case of imperfect gradient knowledge and the case in which transmitted messages are corrupted by additive noise or are quantized. Relevant numerical simulations are also provided.


title: Temporal clustering of rotational glitches in the Crab pulsar

abstract: It is an open question whether glitch activity in individual pulsars varies on decadal time-scales. The Crab pulsar has experienced 23 spin-up glitches in the last 36 years, interrupting an otherwise monotonic deceleration. A homogeneous Poisson process, i.e. a process with constant rate, is not sufficient to describe the time-ordered distribution of glitch epochs in the Crab pulsar. There are signs of clustering at the $2\sigma$ level when testing with Ripley's $K$ function. Two alternative, inhomogeneous models with one and two step-wise rate changes are found to have higher relative evidence (Bayes factors of 1.74 and 2.86 respectively) than the homogeneous Poisson process. The distinction between clustering, where events are correlated, and rate variation is discussed. The implications for glitch microphysics, in particular trigger mechanisms based on avalanche processes, are briefly discussed.


title: Towards the higher point holographic momentum space amplitudes

abstract: In this paper, we calculate higher point tree level vector amplitudes propagating in AdS$_4$. We use bulk perturbation theory to compute tree level Witten diagrams. We show that when these amplitudes are written in momentum space, they reduce to relatively simple expressions. We explicitly compute four and five point correlators and also sketch a general strategy to compute the full six-point correlators.


title: A Novel Approach to Quantized Matrix Completion Using Huber Loss Measure

abstract: In this paper, we introduce a novel and robust approach to Quantized Matrix Completion (QMC). First, we propose a rank minimization problem with constraints induced by quantization bounds. Next, we form an unconstrained optimization problem by regularizing the rank function with Huber loss. Huber loss is leveraged to control the violation from quantization bounds due to two properties: 1- It is differentiable, 2- It is less sensitive to outliers than the quadratic loss. A Smooth Rank Approximation is utilized to endorse lower rank on the genuine data matrix. Thus, an unconstrained optimization problem with differentiable objective function is obtained allowing us to advantage from Gradient Descent (GD) technique. Novel and firm theoretical analysis on problem model and convergence of our algorithm to the global solution are provided. Another contribution of our work is that our method does not require projections or initial rank estimation unlike the state- of-the-art. In the Numerical Experiments Section, the noticeable outperformance of our proposed method in learning accuracy and computational complexity compared to those of the state-of- the-art literature methods is illustrated as the main contribution.


title: Stokes-anti-Stokes correlated photon properties akin to photonic Cooper pairs

abstract: Photons interact with each other in condensed matter through the same mechanism that forms Cooper pairs in superconductors -- the exchange of virtual phonons [PRL 119, 193603 (2017)]. It is however unclear which consequences of this interaction will be observable and potentially lead to further analogy with superconductivity. We investigate the energy, momentum and production rate of correlate Stokes-anti-Stokes (SaS) photons in diamond and other transparent media, experiencing properties akin to those of electronic Cooper pairs. The rate of correlated SaS production depends on the energy shifts of the pair, which in the BCS theory determines whether there should be an attractive or repulsive interaction. With this view, we only observe correlated SaS in the case of attractive interactions. While traditional photon-phonon collisions scatter light in all directions, the correlated SaS photons follow the same path as the noninteracting laser. The observed correlated SaS photon pairs are rare, but our model indicates paths to achieve higher interaction energies.


title: Dance Teaching by a Robot: Combining Cognitive and Physical Human-Robot Interaction for Supporting the Skill Learning Process

abstract: This letter presents a physical human-robot interaction scenario in which a robot guides and performs the role of a teacher within a defined dance training framework. A combined cognitive and physical feedback of performance is proposed for assisting the skill learning process. Direct contact cooperation has been designed through an adaptive impedance-based controller that adjusts according to the partner's performance in the task. In measuring performance, a scoring system has been designed using the concept of progressive teaching (PT). The system adjusts the difficulty based on the user's number of practices and performance history. Using the proposed method and a baseline constant controller, comparative experiments have shown that the PT presents better performance in the initial stage of skill learning. An analysis of the subjects' perception of comfort, peace of mind, and robot performance have shown a significant difference at the p < .01 level, favoring the PT algorithm.


title: Low-scale leptogenesis with three heavy neutrinos

abstract: Leptogenesis induced by the oscillations of GeV-scale neutrinos provides a minimal and testable explanation of the baryon asymmetry of the Universe. In this work we extend previous studies invoking only two heavy neutrinos to the case of three heavy neutrinos. We find qualitatively new behaviour as a result of lepton number violating oscillations and decays, strong flavour effects in the washout and a resonant enhancement due to matter effects. An approximate global $B - \bar L$ symmetry (representing the difference of baryon and a generalised lepton number) can protect the light neutrino masses from large radiative corrections, while simultaneously providing the ingredients for the resonant enhancement of the lepton asymmetry due to thermal contributions to the heavy neutrino dispersion relations. This mechanism is particularly efficient for large heavy neutrino mixing angles near the current experimental limits, a regime in which leptogenesis is not feasible in the minimal scenario with two heavy neutrinos. In this new parameter regime, low-scale leptogenesis is testable by the LHC and other existing experiments.