title: Cardinal Virtues: Extracting Relation Cardinalities from Text

abstract: Information extraction (IE) from text has largely focused on relations between individual entities, such as who has won which award. However, some facts are never fully mentioned, and no IE method has perfect recall. Thus, it is beneficial to also tap contents about the cardinalities of these relations, for example, how many awards someone has won. We introduce this novel problem of extracting cardinalities and discusses the specific challenges that set it apart from standard IE. We present a distant supervision method using conditional random fields. A preliminary evaluation results in precision between 3% and 55%, depending on the difficulty of relations.


title: Liquid Splash Modeling with Neural Networks

abstract: This paper proposes a new data-driven approach to model detailed splashes for liquid simulations with neural networks. Our model learns to generate small-scale splash detail for the fluid-implicit-particle method using training data acquired from physically parametrized, high resolution simulations. We use neural networks to model the regression of splash formation using a classifier together with a velocity modifier. For the velocity modification, we employ a heteroscedastic model. We evaluate our method for different spatial scales, simulation setups, and solvers. Our simulation results demonstrate that our model significantly improves visual fidelity with a large amount of realistic droplet formation and yields splash detail much more efficiently than finer discretizations.


title: Study of cold and hot nuclear matter effects on jets with direct photon triggered correlations from PHENIX

abstract: Direct photons, being colorless objects, provide an unmodified control particle that can be used in conjunction with jets to probe the quark-gluon plasma. To leading order the direct photon momentum balances the momentum of opposing jets and can therefore provide a clean handle on the jet energy. Therefore, angular correlations with direct photons provide a mechanism to study the fragmentation of the opposing jet without performing jet reconstruction. Jet fragmentation modification has been measured previously in PHENIX in central Au+Au collisions. Recent RHIC runs offer the potential to study these observables in heavy ion collisions with greater statistics and over different collision systems including asymmetric collision geometries. In this talk we present results of isolated direct photon-triggered correlations in d+Au collisions and discuss the constraints of cold nuclear matter effects on the fragmentation functions. We also present the latest results with higher statistics on direct photon-triggered correlations in Au+Au collisions including differential measurements of fragmentation function modification. Finally, we present the status of the centrality and collision species dependence of these observables, including comparisons to related dihadron correlations. Together these results can give a view of jet modification going from small to large system size.


title: Two-Loop Corrections to Large Order Behavior of $\varphi^4$ Theory

abstract: We consider the large order behavior of the perturbative expansion of the scalar $\varphi^4$ field theory in terms of a perturbative expansion around an instanton solution. We have computed the series of the free energy up to two-loop order in two and three dimension. Topologically there is only an additional Feynman diagram with respect to the previously known one dimensional case, but a careful treatment of renormalization is needed. The propagator and Feynman diagrams were expressed in a form suitable for numerical evaluation. We then obtained explicit expressions summing over $O(10^3)$ distinct eigenvalues determined numerically with the corresponding eigenfunctions.


title: Optimal Power Splitting for Simultaneous Information Detection and Energy Harvesting

abstract: This letter deals with the joint information and energy processing at a receiver of a point-to-point communication channel. In particular, the trade-off between the achievable information rate and harvested energy for a multiple-antenna power splitting (PS) receiver is investigated. Here, the rate- energy region characterization is of particular interest, which is intrinsically a non-convex problem. In this letter, an efficient algorithm is proposed for obtaining an approximate solution to the problem in polynomial time. This algorithm is mainly based on the Taylor approximation in conjunction with semidefinite relaxation (SDR) which is solved by interior-point methods. Moreover, we utilize the Gaussian randomization procedure to obtain a feasible solution for the original problem. It is shown that by proper receiver design the rate-energy region can be significantly enlarged compared to the state of the art, while at the same time the receiver hardware costs is reduced by utilizing less number of energy harvesting circuitry.


title: Qumin, a minimalist quantum programming language

abstract: In this work we introduce Qumin, a novel quantum programming language with a focus on providing an easy to use, minimalist, high-level, and easily extensible platform for quantum programming. Qumin's design concentrates on encompassing the various interactions between classical and quantum computation via the use of two sublanguages: an untyped one that handles classical preparation and control, and one linearly typed that explicitly handles quantum routines. This allows the classical part of the language to be freely used for general programming while placing restrictions on the quantum part that enforce rules of quantum computing like the no-cloning of qubits. We describe both the language's theoretical foundations in terms of lambda calculi and linear type systems, and more practical matters such as implementations of algorithms and useful programming tools like matrix and oracle generators that streamline the interaction of the classical and quantum fragments of a program. Finally, we provide an experimental open-source implementation of an interpreter, typechecker and related tools for the language (which can be found in \url{https://github.com/wintershammer/QImp}).


title: Multi-speed prethermalization in spin models with power-law decaying interactions

abstract: The relaxation of uniform quantum systems with finite-range interactions after a quench is generically driven by the ballistic propagation of long-lived quasi-particle excitations triggered by a sufficiently small quench. Here we investigate the case of long-range ($1/r^{\alpha}$) interactions for $d$-dimensional lattice spin models with uniaxial symmetry, and show that, in the regime $d < \alpha < d+2$, the entanglement and correlation buildup is radically altered by the existence of a non-linear dispersion relation of quasi-particles, $\omega\sim k^{z<1}$, at small wave vectors, leading to a divergence of the quasiparticle group velocity and super-ballistic propagation. This translates in a super-linear growth of correlation fronts with time, and sub-linear growth of relaxation times of subsystem observables with size, when focusing on $k=0$ fluctuations. Yet the large dispersion in group velocities leads to an extreme wavelength dependence of relaxation times of finite-$k$ fluctuations, with entanglement being susceptible to the longest of them. Our predictions are directly relevant to current experiments probing the nonequilibrium dynamics of trapped ions, or ultracold magnetic and Rydberg atoms in optical lattices.

categories: cond-mat.quant-gas cond-mat.stat-mech cond-mat.str-el quant-ph


title: Characterization of the initial state and QGP medium from a combined Bayesian analysis of LHC data at 2.76 and 5.02 TeV

abstract: We perform a global Bayesian analysis of a modern event-by-event heavy-ion collision model and LHC data at $\sqrt s$ = 2.76 and 5.02 TeV. After calibration, the model simultaneously describes multiplicity, transverse momentum, and flow data at both beam energies. We report new constraints on the scaling of initial-state entropy deposition and QGP transport coefficients, including a quantitative estimate of the temperature-dependent shear viscosity $(\eta/s)(T)$.


title: On Generalized Bellman Equations and Temporal-Difference Learning

abstract: We consider off-policy temporal-difference (TD) learning in discounted Markov decision processes, where the goal is to evaluate a policy in a model-free way by using observations of a state process generated without executing the policy. To curb the high variance issue in off-policy TD learning, we propose a new scheme of setting the $\lambda$-parameters of TD, based on generalized Bellman equations. Our scheme is to set $\lambda$ according to the eligibility trace iterates calculated in TD, thereby easily keeping these traces in a desired bounded range. Compared with prior work, this scheme is more direct and flexible, and allows much larger $\lambda$ values for off-policy TD learning with bounded traces. As to its soundness, using Markov chain theory, we prove the ergodicity of the joint state-trace process under nonrestrictive conditions, and we show that associated with our scheme is a generalized Bellman equation (for the policy to be evaluated) that depends on both the evolution of $\lambda$ and the unique invariant probability measure of the state-trace process. These results not only lead immediately to a characterization of the convergence behavior of least-squares based implementation of our scheme, but also prepare the ground for further analysis of gradient-based implementations.


title: Energy Attacks on Mobile Devices

abstract: All mobile devices are energy-constrained. They use batteries that allows using the device for a limited amount of time. In general, energy attacks on mobile devices are denial of service (DoS) type of attacks. While previous studies have analyzed the energy attacks in servers, no existing work has analyzed the energy attacks on mobile devices. As such, in this paper, we present the first systematic study on how to exploit the energy attacks on smartphones. In particular, we explore energy attacks from the following aspect: hardware components, software resources, and network communications through the design and implementation of concrete malicious apps, and malicious web pages. We quantitatively show how quickly we can drain the battery through each individual attack, as well as their combinations. Finally, we believe energy exploit will be a practical attack vector and mobile users should be aware of this type of attacks.


title: A Low-Complexity Approach to Distributed Cooperative Caching with Geographic Constraints

abstract: We consider caching in cellular networks in which each base station is equipped with a cache that can store a limited number of files. The popularity of the files is known and the goal is to place files in the caches such that the probability that a user at an arbitrary location in the plane will find the file that she requires in one of the covering caches is maximized. We develop distributed asynchronous algorithms for deciding which contents to store in which cache. Such cooperative algorithms require communication only between caches with overlapping coverage areas and can operate in asynchronous manner. The development of the algorithms is principally based on an observation that the problem can be viewed as a potential game. Our basic algorithm is derived from the best response dynamics. We demonstrate that the complexity of each best response step is independent of the number of files, linear in the cache capacity and linear in the maximum number of base stations that cover a certain area. Then, we show that the overall algorithm complexity for a discrete cache placement is polynomial in both network size and catalog size. In practical examples, the algorithm converges in just a few iterations. Also, in most cases of interest, the basic algorithm finds the best Nash equilibrium corresponding to the global optimum. We provide two extensions of our basic algorithm based on stochastic and deterministic simulated annealing which find the global optimum. Finally, we demonstrate the hit probability evolution on real and synthetic networks numerically and show that our distributed caching algorithm performs significantly better than storing the most popular content, probabilistic content placement policy and Multi-LRU caching policies.


title: The PXIE LEBT Design Choices

abstract: Typical front-ends of modern light-ion high-intensity accelerators typically consist of an ion source, a Low Energy Beam Transport (LEBT), a Radiofrequency Quadrupole (RFQ) and a Medium Energy Beam Transport (MEBT), which is followed by the main linac accelerating structures. Over the years, many LEBTs have been designed, constructed and operated very successfully. In this paper, we present the guiding principles and compromises that lead to the design choices of the PXIE LEBT, including the rationale for a beam line that allows un-neutralized transport over a significant portion of the LEBT whether the beam is pulsed or DC.


title: An Effective Model of QCD Monopoles

abstract: In this work, we carried out quantum many-body studies of magnetic monopole ensembles through numerical simulations of the path integral for one- and two-component Coulomb Bose systems. We found the relation between the critical temperature for the Bose-Einstein condensation phase transition and the Coulomb coupling strength using two methods, the finite-size scaling of the superfluid fraction and statistical analysis of permutation cycles. After finding parameters that match the correlation functions measured in our system with the correlation functions previously measured on the lattice, we arrived at an effective quantum model of color magnetic monopoles in QCD. From this matched model, we were able to extract the monopole contribution to QCD equation of state near $T_\text{c}$.


title: Coarse embeddings into superstable spaces

abstract: Krivine and Maurey proved in 1981 that every stable Banach space contains almost isometric copies of $\ell_p$, for some $p\in[1,\infty)$. In 1983, Raynaud showed that if a Banach space uniformly embeds into a superstable Banach space, then $X$ must contain an isomorphic copy of $\ell_p$, for some $p\in[1,\infty)$. In these notes, we show that if a Banach space coarsely embeds into a superstable Banach space, then $X$ has a spreading model isomorphic to $\ell_p$, for some $p\in[1,\infty)$. In particular, we obtain that there exist reflexive Banach spaces which do not coarsely embed into any superstable Banach space.


title: The Undulator Radiation Collider: An Energy Efficient Design For A $\sqrt{s}=10^{15}$ GeV Collider

abstract: We discuss the main factors affecting the design of accelerators aiming to investigate physics at the GUT scale. The most important constraints turn out to be the energy used and the time taken to accumulate sufficient luminosity. We propose a photon collider design, where the photons are generated by undulator radiation from high energy muon beams. This reduces the energy requirements by a factor of more than $10^7$ compared to a pp collider. Much of the reduction in energy use is achieved by using a periodic magnetic field, and by splitting the muon wavefunctions spatially to reduce the photon beam divergence; these prevent a cascade of secondary reactions at the collision points. The proposed collider would be powered by (part of) a Dyson swarm constructed around the Sun, and efficient use of energy will be important to reduce the time needed to reach the desired number of collisions. We also discuss why a neutrino collider would be much less efficient.


title: Lean From Thy Neighbor: Stochastic & Adversarial Bandits in a Network

abstract: An individual's decisions are often guided by those of his or her peers, i.e., neighbors in a social network. Presumably, being privy to the experiences of others aids in learning and decision making, but how much advantage does an individual gain by observing her neighbors? Such problems make appearances in sociology and economics and, in this paper, we present a novel model to capture such decision-making processes and appeal to the classical multi-armed bandit framework to analyze it. Each individual, in addition to her own actions, can observe the actions and rewards obtained by her neighbors, and can use all of this information in order to minimize her own regret. We provide algorithms for this setting, both for stochastic and adversarial bandits, and show that their regret smoothly interpolates between the regret in the classical bandit setting and that of the full-information setting as a function of the neighbors' exploration. In the stochastic setting the additional information must simply be incorporated into the usual estimation of the rewards, while in the adversarial setting this is attained by constructing a new unbiased estimator for the rewards and appropriately bounding the amount of additional information provided by the neighbors. These algorithms are optimal up to log factors; despite the fact that the agents act independently and selfishly, this implies that it is an approximate Nash equilibria for all agents to use our algorithms. Further, we show via empirical simulations that our algorithms, often significantly, outperform existing algorithms that one could apply to this setting.


title: Design Of The LBNF Beamline

abstract: The Long Baseline Neutrino Facility (LBNF) will utilize a beamline located at Fermilab to provide and aim a neutrino beam of sufficient intensity and appropriate energy range toward the Deep Underground Neutrino Experiment (DUNE) detectors, placed deep underground at the SURF Facility in Lead, South Dakota. The primary proton beam (60-120 GeV) will be extracted from the MI-10 section of Fermilab's Main Injector. Neutrinos will be produced when the protons interact with a solid target to produce mesons which will be subsequently focused by magnetic horns into a 194m long decay pipe where they decay into muons and neutrinos. The parameters of the facility were determined taking into account the physics goals, spatial and radiological constraints, and the experience gained by operating the NuMI facility at Fermilab. The Beamline facility is designed for initial operation at a proton-beam power of 1.2 MW, with the capability to support an upgrade to 2.4 MW. LBNF/DUNE obtained CD-1 approval in November 2015. We discuss here the design status and the associated challenges as well as the R&D and plans for improvements before baselining the facility.


title: Maximal Unbordered Factors of Random Strings

abstract: A border of a string is a non-empty prefix of the string that is also a suffix of the string, and a string is unbordered if it has no border other than itself. Loptev, Kucherov, and Starikovskaya [CPM 2015] conjectured the following: If we pick a string of length $n$ from a fixed non-unary alphabet uniformly at random, then the expected maximum length of its unbordered factors is $n - O(1)$. We confirm this conjecture by proving that the expected value is, in fact, ${n - \Theta(\sigma^{-1})}$, where $\sigma$ is the size of the alphabet. This immediately implies that we can find such a maximal unbordered factor in linear time on average. However, we go further and show that the optimum average-case running time is in $\Omega (\sqrt{n}) \cap O (\sqrt{n \log_\sigma n})$ due to analogous bounds by Czumaj and G\k{a}sieniec [CPM 2000] for the problem of computing the shortest period of a uniformly random string.


title: Additive Spanners and Distance Oracles in Quadratic Time

abstract: Let $G$ be an unweighted, undirected graph. An additive $k$-spanner of $G$ is a subgraph $H$ that approximates all distances between pairs of nodes up to an additive error of $+k$, that is, it satisfies $d_H(u,v) \le d_G(u,v)+k$ for all nodes $u,v$, where $d$ is the shortest path distance. We give a deterministic algorithm that constructs an additive $O\!\left(1\right)$-spanner with $O\!\left(n^{4/3}\right)$ edges in $O\!\left(n^2\right)$ time. This should be compared with the randomized Monte Carlo algorithm by Woodruff [ICALP 2010] giving an additive $6$-spanner with $O\!\left(n^{4/3}\log^3 n\right)$ edges in expected time $O\!\left(n^2\log^2 n\right)$. An $(\alpha,\beta)$-approximate distance oracle for $G$ is a data structure that supports the following distance queries between pairs of nodes in $G$. Given two nodes $u$, $v$ it can in constant time compute a distance estimate $\tilde{d}$ that satisfies $d \le \tilde{d} \le \alpha d + \beta$ where $d$ is the distance between $u$ and $v$ in $G$. Sommer [ICALP 2016] gave a randomized Monte Carlo $(2,1)$-distance oracle of size $O\!\left(n^{5/3}\text{poly} \log n\right)$ in expected time $O\!\left(n^2\text{poly} \log n\right)$. As an application of the additive $O(1)$-spanner we improve the construction by Sommer [ICALP 2016] and give a Las Vegas $(2,1)$-distance oracle of size $O\!\left(n^{5/3}\right)$ in time $O\!\left(n^2\right)$. This also implies an algorithm that in $O\!\left(n^2\right)$ gives approximate distance for all pairs of nodes in $G$ improving on the $O\!\left(n^2 \log n\right)$ algorithm by Baswana and Kavitha [SICOMP 2010].


title: Freely generated $n$-categories, coinserters and presentations of low dimensional categories

abstract: Composing with the inclusion $\mathsf{Set}\to\mathsf{Cat} $, a graph $G$ internal to $\mathsf{Set} $ becomes a graph of discrete categories, the coinserter of which is the category freely generated by $G$. Introducing a suitable definition of $n$-computad, we show that a similar approach gives the $n$-category freely generated by an $n$-computad. Suitable $n$-categories with relations on $n$-cells are presented by these $(n+1)$-computads, which allows us to prove results on presentations of thin groupoids and thin categories. So motivated, we introduce a notion of deficiency of (a presentation of) a groupoid via computads and prove that every small connected thin groupoid has deficiency $0$. We compare the resulting notions of deficiency and presentation with those induced by monads. In particular, we find our notion of group deficiency to coincide with the classical one. Finally, we study presentations of $2$-categories via $3$-computads, focusing on locally thin groupoidal $2$-categories. Under suitable hypotheses, we give efficient presentations of some locally thin and groupoidal $2$-categories. A fundamental tool is a $2$-dimensional analogue of the association of a "topological graph" to every graph internal to $\mathsf{Set} $. Concretely, we construct a left adjoint $\mathcal{F}_ {\mathsf{Top} _ 2} : 2\textrm{-}\mathsf{cmp}\to \mathsf{Top} $ associating a $2$-dimensional CW-complex to each small $2$-computad. Given a $2$-computad $\mathfrak{g} $, the groupoid it presents is equivalent to the fundamental groupoid of $\mathcal{F} _ {\mathsf{Top} _2}(\mathfrak{g}) $. Finally, we sketch the $3$-dimensional version $\mathcal{F}_ {\mathsf{Top} _ 3}$.


title: Ultra high stiffness and thermal conductivity of graphene like C3N

abstract: Recently, single crystalline carbon nitride 2D material with a C3N stoichiometry has been synthesized. In this investigation, we explored the mechanical response and thermal transport along pristine, free-standing and single-layer C3N. To this aim, we conducted extensive first-principles density functional theory (DFT) calculations as well as molecular dynamics (MD) simulations. DFT results reveal that C3N nanofilms can yield remarkably high elastic modulus of 341 GPa.nm and tensile strength of 35 GPa.nm, very close to those of defect-free graphene. Classical MD simulations performed at a low temperature, predict accurately the elastic modulus of 2D C3N with less than 3% difference with the first-principles estimation. The deformation process of C3N nanosheets was studied both by the DFT and MD simulations. Ab initio molecular dynamics simulations show that single-layer C3N can withstand high temperatures like 4000 K. Notably, the phononic thermal conductivity of free-standing C3N was predicted to be as high as 815 W/mK. Our atomistic modelling results reveal ultra high stiffness and thermal conductivity of C3N nanomembranes and therefore propose them as promising candidates for new application such as the thermal management in nanoelectronics or simultaneously reinforcing the thermal and mechanical properties of polymeric materials.


title: On a family of recurrences that includes the Fibonacci and the Narayana recurrences

abstract: We survey and prove properties a family of recurrences bears in relation to integer representations, compositions, the Pascal triangle, sums of digits, Nim games and Beatty sequences.


title: Merging groups and clusters of galaxies from the SDSS data. The catalogue of groups and potentially merging systems

abstract: Galaxy groups and clusters are the main tools used to test cosmological models and to study the environmental effect of galaxy formation. This work provides a catalogue of galaxy groups and clusters, as well as potentially merging systems based on the SDSS main galaxy survey. We identified galaxy groups and clusters using the modified friends-of-friends (FoF) group finder designed specifically for flux-limited galaxy surveys. The FoF group membership is refined by multimodality analysis to find subgroups and by using the group virial radius and escape velocity to expose unbound galaxies. We look for merging systems by comparing distances between group centres with group radii. The analysis results in a catalogue of 88662 galaxy groups with at least two members. Among them are 6873 systems with at least six members which we consider to be more reliable groups. We find 498 group mergers with up to six groups. We performed a brief comparison with some known clusters in the nearby Universe, including the Coma cluster and Abell 1750. The Coma cluster in our catalogue is a merging system with six distinguishable subcomponents. In the case of Abell 1750 we find a clear sign of filamentary infall toward this cluster. Our analysis of mass-to-light ratio (M/L) of galaxy groups reveals that M/L slightly increases with group richness.


title: Graphical Models: An Extension to Random Graphs, Trees, and Other Objects

abstract: In this work, we consider an extension of graphical models to random graphs, trees, and other objects. To do this, many fundamental concepts for multivariate random variables (e.g., marginal variables, Gibbs distribution, Markov properties) must be extended to other mathematical objects; it turns out that this extension is possible, as we will discuss, if we have a consistent, complete system of projections on a given object. Each projection defines a marginal random variable, allowing one to specify independence assumptions between them. Furthermore, these independencies can be specified in terms of a small subset of these marginal variables (which we call the atomic variables), allowing the compact representation of independencies by a directed graph. Projections also define factors, functions on the projected object space, and hence a projection family defines a set of possible factorizations for a distribution; these can be compactly represented by an undirected graph. The invariances used in graphical models are essential for learning distributions, not just on multivariate random variables, but also on other objects. When they are applied to random graphs and random trees, the result is a general class of models that is applicable to a broad range of problems, including those in which the graphs and trees have complicated edge structures. These models need not be conditioned on a fixed number of vertices, as is often the case in the literature for random graphs, and can be used for problems in which attributes are associated with vertices and edges. For graphs, applications include the modeling of molecules, neural networks, and relational real-world scenes; for trees, applications include the modeling of infectious diseases, cell fusion, the structure of language, and the structure of objects in visual scenes. Many classic models are particular instances of this framework.


title: Transport evidence for a sliding two-dimensional quantum electron solid

abstract: Ignited by the discovery of the metal-insulator transition, the behaviour of low-disorder two-dimensional (2D) electron systems is currently the focus of a great deal of attention. In the strongly-interacting limit, electrons are expected to crystallize into a quantum Wigner crystal, but no definitive evidence for this effect has been obtained despite much experimental effort over the years. Here, studying the insulating state of a 2D electron system in silicon, we have found two-threshold voltage-current characteristics with a dramatic increase in noise between the two threshold voltages. This behaviour cannot be described within existing traditional models. On the other hand, it is strikingly similar to that observed for the collective depinning of the vortex lattice in Type-II superconductors. Adapting the model used for vortexes to the case of an electron solid yields good agreement with our experimental results, favouring the quantum electron solid as the origin of the low-density state.


title: The inclusion relations of the countable models of set theory are all isomorphic

abstract: The structures $\langle M,\subseteq^M\rangle$ arising as the inclusion relation of a countable model of sufficient set theory $\langle M,\in^M\rangle$, whether well-founded or not, are all isomorphic. These structures $\langle M,\subseteq^M\rangle$ are exactly the countable saturated models of the theory of set-theoretic mereology: an unbounded atomic relatively complemented distributive lattice. A very weak set theory suffices, even finite set theory, provided that one excludes the $\omega$-standard models with no infinite sets and the $\omega$-standard models of set theory with an amorphous set. Analogous results hold also for class theories such as G\"odel-Bernays set theory and Kelley-Morse set theory.


title: Deep Structured Learning for Facial Action Unit Intensity Estimation

abstract: We consider the task of automated estimation of facial expression intensity. This involves estimation of multiple output variables (facial action units --- AUs) that are structurally dependent. Their structure arises from statistically induced co-occurrence patterns of AU intensity levels. Modeling this structure is critical for improving the estimation performance; however, this performance is bounded by the quality of the input features extracted from face images. The goal of this paper is to model these structures and estimate complex feature representations simultaneously by combining conditional random field (CRF) encoded AU dependencies with deep learning. To this end, we propose a novel Copula CNN deep learning approach for modeling multivariate ordinal variables. Our model accounts for $ordinal$ structure in output variables and their $non$-$linear$ dependencies via copula functions modeled as cliques of a CRF. These are jointly optimized with deep CNN feature encoding layers using a newly introduced balanced batch iterative training algorithm. We demonstrate the effectiveness of our approach on the task of AU intensity estimation on two benchmark datasets. We show that joint learning of the deep features and the target output structure results in significant performance gains compared to existing deep structured models for analysis of facial expressions.


title: Evidence for a quantum dipole liquid state in an organic quasi-two-dimensional material

abstract: Mott insulators are commonly pictured with electrons localized on lattice sites. Their low-energy degrees of freedom involve spins only. Here we observe emerging charge degrees of freedom in a molecule-based Mott insulator $\kappa$-(BEDT-TTF)$_2$Hg(SCN)$_2$Br, resulting in a quantum dipole liquid state. Electrons localized on molecular dimer lattice sites form electric dipoles that do not order at low temperatures and fluctuate with frequency detected experimentally in our Raman spectroscopy experiments. The heat capacity and Raman scattering response are consistent with a scenario where the composite spin and electric dipole degrees of freedom remain fluctuating down to the lowest measured temperatures.


title: Orbital magnetization of interacting Dirac fermions in graphene

abstract: We present a formalism to calculate the orbital magnetization of interacting Dirac fermions under a magnetic field. In this approach, the divergence difficulty is overcome with a special limit of the derivative of the thermodynamic potential with respect to the magnetic field. The formalism satisfies the particle-hole symmetry of the Dirac fermions system. We apply the formalism to the interacting Dirac fermions in graphene. The charge and spin orderings and the exchange interactions between all the Landau levels are taken into account by the mean-field theory. The results for the orbital magnetization of interacting Dirac fermions are compared with that of non-interacting cases.


title: Polynomial upper bound on interior Steklov nodal sets

abstract: We study solutions of uniformly elliptic PDE with Lipschitz leading coefficients and bounded lower order coefficients. We extend previous results of A. Logunov concerning nodal sets of harmonic functions and, in particular, prove polynomial upper bounds on interior nodal sets of Steklov eigenfunctions in terms of the corresponding eigenvalue $ \lambda $.


title: Electromagnetic fields from quantum sources in heavy-ion collisions

abstract: We compute the electromagnetic field created by an ultrarelativistic charged particle in vacuum at distances comparable to the particle Compton wavelength. The wave function of the particle is governed by the Klein-Gordon equation, for a scalar particle, or the Dirac equation, for a spin-half particle. The produced electromagnetic field is essentially different in magnitude and direction from the Coulomb field, induced by a classical point charge, due to the quantum diffusion effect. Thus, a realistic computation of the electromagnetic field produced in heavy-ion collisions must be based upon the full quantum treatment of the valence quarks.


title: Flow in small and large quark-gluon plasma droplets: the role of nucleon substructure

abstract: We study the effects of nucleon substructure on bulk observables in proton-lead collisions at the LHC using Bayesian methodology. Substructure is added to the TRENTO parametric initial condition model using Gaussian nucleons with a variable number of Gaussian partons. We vary the number and width of these partons while recovering the desired inelastic proton-proton cross section and ensemble averaged proton density. We then run the model through a large number of minimum bias hydrodynamic simulations and measure the response of final particle production and azimuthal particle correlations to initial state properties. Once these response functions are determined, we calibrate free parameters of the model using established Bayesian methodology. We comment on the implied viability of the partonic model for describing hydrodynamic behavior in small systems.


title: Interactive Proofs for Quantum Computations

abstract: The widely held belief that BQP strictly contains BPP raises fundamental questions: if we cannot efficiently compute predictions for the behavior of quantum systems, how can we test their behavior? In other words, is quantum mechanics falsifiable? In cryptographic settings, how can a customer of a future untrusted quantum computing company be convinced of the correctness of its quantum computations? To provide answers to these questions, we define Quantum Prover Interactive Proofs (QPIP). Whereas in standard interactive proofs the prover is computationally unbounded, here our prover is in BQP, representing a quantum computer. The verifier models our current computational capabilities: it is a BPP machine, with access to only a few qubits. Our main theorem states, roughly: 'Any language in BQP has a QPIP, which also hides the computation from the prover'. We provide two proofs, one based on a quantum authentication scheme (QAS) relying on random Clifford rotations and the other based on a QAS which uses polynomial codes (BOCG+ 06), combined with secure multiparty computation methods. This is the journal version of work reported in 2008 (ABOE08) and presented in ICS 2010; here we have completed the details and made the proofs rigorous. Some of the proofs required major modifications and corrections. Notably, the claim that the polynomial QPIP is fault tolerant was removed. Similar results (with different protocols) were reported independently around the same time of the original version in BFK08. The initial independent works (ABOE08, BFK08) ignited a long line of research of blind verifiable quantum computation, which we survey here, along with connections to various cryptographic problems. Importantly, the problems of making the results fault tolerant as well as removing the need for quantum communication altogether remain open.


title: Kakeya books and projections of Kakeya sets

abstract: Here we show some results related with Kakeya conjecture which says that for any integer $n\geq 2$, a set containing line segments in every dimension in $\mathbb{R}^n$ has full Hausdorff dimension as well as box dimension. We proved here that the Kakeya books, which are Kakeya sets with some restrictions on positions of line segments have full box dimension. We also prove here a relation between the projection property of Kakeya sets and the Kakeya conjecture. If for any Kakeya set $K\subset\mathbb{R}^n$, the Hausdorff dimension of orthogonal projections on $k\leq n$ subspaces is independent of directions then the Kakeya conjecture is true. Moreover, the converse is also true.


title: Fourier-based numerical approximation of the Weertman equation for moving dislocations

abstract: This work discusses the numerical approximation of a nonlinear reaction-advection-diffusion equation, which is a dimensionless form of the Weertman equation. This equation models steadily-moving dislocations in materials science. It reduces to the celebrated Peierls-Nabarro equation when its advection term is set to zero. The approach rests on considering a time-dependent formulation, which admits the equation under study as its long-time limit. Introducing a Preconditioned Collocation Scheme based on Fourier transforms, the iterative numerical method presented solves the time-dependent problem, delivering at convergence the desired numerical solution to the Weertman equation. Although it rests on an explicit time-evolution scheme, the method allows for large time steps, and captures the solution in a robust manner. Numerical results illustrate the efficiency of the approach for several types of nonlinearities.


title: Parity Objectives in Countable MDPs

abstract: We study countably infinite MDPs with parity objectives, and special cases with a bounded number of colors in the Mostowski hierarchy (including reachability, safety, Buchi and co-Buchi). In finite MDPs there always exist optimal memoryless deterministic (MD) strategies for parity objectives, but this does not generally hold for countably infinite MDPs. In particular, optimal strategies need not exist. For countable infinite MDPs, we provide a complete picture of the memory requirements of optimal (resp., $\epsilon$-optimal) strategies for all objectives in the Mostowski hierarchy. In particular, there is a strong dichotomy between two different types of objectives. For the first type, optimal strategies, if they exist, can be chosen MD, while for the second type optimal strategies require infinite memory. (I.e., for all objectives in the Mostowski hierarchy, if finite-memory randomized strategies suffice then also MD strategies suffice.) Similarly, some objectives admit $\epsilon$-optimal MD-strategies, while for others $\epsilon$-optimal strategies require infinite memory. Such a dichotomy also holds for the subclass of countably infinite MDPs that are finitely branching, though more objectives admit MD-strategies here.


title: Dissolving knot surgered 4-manifolds by classical cobordism arguments

abstract: The purpose of this note is to show that classical cobordism arguments, which go back to the pioneering works of Mandelbaum and Moishezon, provide quick and unified proofs of any knot surgered compact simply-connected 4-manifold X_K becoming diffeomorphic to X after a single stabilization by connected summing with S^2 x S^2 or CP^2 # -CP^2, and almost complete decomposability of X_K for many almost completely decomposable X, such as the elliptic surfaces.


title: Rigidity and flatness of the image of certain classes of mappings having tangential Laplacian

abstract: In this paper we consider the PDE system of vanishing normal projection of the Laplacian for $C^2$ maps $u : \mathbb{R}^n \supseteq \Omega \longrightarrow \mathbb{R}^N$: \[ [\![\mathrm{D} u]\!]^\bot \Delta u = 0 \ \, \text{ in }\Omega. \] This system has discontinuous coefficients and geometrically expresses the fact that the Laplacian is a vector field tangential to the image of the mapping. It arises as a constituent component of the $p$-Laplace system for all $p\in [2,\infty]$. For $p=\infty$, the $\infty$-Laplace system is the archetypal equation describing extrema of supremal functionals in vectorial Calculus of Variations in $L^\infty$. Herein we show that the image of a solution $u$ is piecewise affine if either the rank of $\mathrm{D} u$ is equal to one or $n=2$ and $u$ has the additively separated form $u(x,y)=f(x)+g(y)$. As a consequence we obtain corresponding flatness results for the images of $p$-Harmonic maps, $p\in [2,\infty]$.


title: Free differential Lie Rota-Baxter algebras and Gr\"obner-Shirshov bases

abstract: We establish the Gr\"obner-Shirshov bases theory for differential Lie $\Omega$-algebras. As an application, we give a linear basis of a free differential Lie Rota-Baxter algebra on a set.


title: Spectrum of the free rod under tension and compression

abstract: In this paper, we study the spectrum of the one-dimensional vibrating free rod equation $u^{(4)}-\tau u"=\mu u$ under tension $(\tau>0)$ or compression $(\tau<0)$. The eigenvalues $\mu$ as functions of the tension/compression parameter $\tau$ exhibit three distinct types of behavior. In particular, eigenvalue branches in the lower half-plane exhibit a cascading pattern of barely-avoided crossings. We provide a complete description of the eigenfunctions and eigenvalues by implicitly parameterizing the eigenvalue curves. We also establish properties of the eigenvalue curves such as monotonicity, crossings, asymptotic growth, cascading and phantom spectral lines.


title: Effective Field Theory Models for Thermal QCD

abstract: We present an effective field theory model for QCD at finite temperature with quarks. We discuss the mean field theory, the fixing of parameters, and a prediction for the curvature of the critical line. We proceed to write down a pionic theory of fluctuations around the mean field, and discuss how the parameters of this pionic effective theory descend from the model with quarks.


title: Exothermicity is not a necessary condition for enhanced diffusion of enzymes

abstract: Recent experiments have revealed that the diffusivity of exothermic and fast enzymes is enhanced when they are catalytically active, and different physical mechanisms have been explored and quantified to account for this observation. We perform measurements on the endothermic and relatively slow enzyme aldolase, which also shows substrate-induced enhanced diffusion. We propose a new physical paradigm, which reveals that the diffusion coefficient of a model enzyme hydrodynamically coupled to its environment increases significantly when undergoing changes in conformational fluctuations in a substrate-dependent manner, and is independent of the overall turnover rate of the underlying enzymatic reaction. Our results show that substrate-induced enhanced diffusion of enzyme molecules can be explained within an equilibrium picture, and that the exothermicity of the catalyzed reaction is not a necessary condition for the observation of this phenomenon.


title: TGIF-QA: Toward Spatio-Temporal Reasoning in Visual Question Answering

abstract: Vision and language understanding has emerged as a subject undergoing intense study in Artificial Intelligence. Among many tasks in this line of research, visual question answering (VQA) has been one of the most successful ones, where the goal is to learn a model that understands visual content at region-level details and finds their associations with pairs of questions and answers in the natural language form. Despite the rapid progress in the past few years, most existing work in VQA have focused primarily on images. In this paper, we focus on extending VQA to the video domain and contribute to the literature in three important ways. First, we propose three new tasks designed specifically for video VQA, which require spatio-temporal reasoning from videos to answer questions correctly. Next, we introduce a new large-scale dataset for video VQA named TGIF-QA that extends existing VQA work with our new tasks. Finally, we propose a dual-LSTM based approach with both spatial and temporal attention, and show its effectiveness over conventional VQA techniques through empirical evaluations.


title: Mobility Edges in 1D Bichromatic Incommensurate Potentials

abstract: We theoretically study a one-dimensional (1D) mutually incommensurate bichromatic lattice system which has been implemented in ultracold atoms to study quantum localization. It has been universally believed that the tight-binding version of this bichromatic incommensurate system is represented by the well-known Aubry-Andre model. Here we establish that this belief is incorrect and that the Aubry-Andre model description, which applies only in the extreme tight-binding limit of very deep primary lattice potential, generically breaks down near the localization transition due to the unavoidable appearance of single-particle mobility edges (SPME). In fact, we show that the 1D bichromatic incommensurate potential system manifests generic mobility edges which disappear in the tight-binding limit, leading to the well-studied Aubry-Andre physics. We carry out an extensive study of the localization properties of the 1D incommensurate optical lattice without making any tight-binding approximation. We find that, for the full lattice system, an intermediate phase between completely localized and completely delocalized regions appears due to the existence of the SPME, making the system qualitatively distinct from the Aubry-Andre prediction. Using the Wegner flow approach, we show that the SPME in the real lattice system can be attributed to significant corrections of higher-order harmonics in the lattice potential which are absent in the strict tight-binding limit. We calculate the dynamical consequences of the intermediate phase in detail to guide future experimental investigations for the observation of 1D SPME and the associated intermediate phase. We consider effects of interaction numerically, and conjecture the stability of SPME to weak interaction effects, thus leading to the exciting possibility of an experimentally viable nonergodic extended phase in interacting 1D optical lattices.


title: Empirical Determination of Dark Matter Velocities using Metal-Poor Stars

abstract: The Milky Way dark matter halo is formed from the accretion of smaller subhalos. These sub-units also harbor stars---typically old and metal-poor---that are deposited in the Galactic inner regions by disruption events. In this Letter, we show that the dark matter and metal-poor stars in the Solar neighborhood share similar kinematics due to their common origin. Using the high-resolution Eris simulation, which traces the evolution of both the dark matter and baryons in a realistic Milky-Way analog galaxy, we demonstrate that metal-poor stars are indeed effective tracers for the local, virialized dark matter velocity distribution. The local dark matter velocities can therefore be inferred from observations of the stellar halo made by the Sloan Digital Sky Survey within 4 kpc of the Sun. This empirical distribution differs from the Standard Halo Model in important ways and suggests that the bounds on the spin-independent scattering cross section may be weakened for dark matter masses below $\sim$10 GeV. Data from Gaia will allow us to further refine the expected distribution for the smooth dark matter component, and to test for the presence of local substructure.


title: RG Flow from $\phi^4$ Theory to the 2D Ising Model

abstract: We study 1+1 dimensional $\phi^4$ theory using the recently proposed method of conformal truncation. Starting in the UV CFT of free field theory, we construct a complete basis of states with definite conformal Casimir, $\mathcal{C}$. We use these states to express the Hamiltonian of the full interacting theory in lightcone quantization. After truncating to states with $\mathcal{C} \leq \mathcal{C}_{\max}$, we numerically diagonalize the Hamiltonian at strong coupling and study the resulting IR dynamics. We compute non-perturbative spectral densities of several local operators, which are equivalent to real-time, infinite-volume correlation functions. These spectral densities, which include the Zamolodchikov $C$-function along the full RG flow, are calculable at any value of the coupling. Near criticality, our numerical results reproduce correlation functions in the 2D Ising model.

categories: hep-th cond-mat.stat-mech cond-mat.str-el hep-lat


title: Exploring Cosmic Origins with CORE: B-mode Component Separation

abstract: We demonstrate that, for the baseline design of the CORE satellite mission, the polarized foregrounds can be controlled at the level required to allow the detection of the primordial cosmic microwave background (CMB) $B$-mode polarization with the desired accuracy at both reionization and recombination scales, for tensor-to-scalar ratio values of ${r\gtrsim 5\times 10^{-3}}$. We consider detailed sky simulations based on state-of-the-art CMB observations that consist of CMB polarization with $\tau=0.055$ and tensor-to-scalar values ranging from $r=10^{-2}$ to $10^{-3}$, Galactic synchrotron, and thermal dust polarization with variable spectral indices over the sky, polarized anomalous microwave emission, polarized infrared and radio sources, and gravitational lensing effects. Using both parametric and blind approaches, we perform full component separation and likelihood analysis of the simulations, allowing us to quantify both uncertainties and biases on the reconstructed primordial $B$-modes. Under the assumption of perfect control of lensing effects, CORE would measure an unbiased estimate of $r=\left(5 \pm 0.4\right)\times 10^{-3}$ after foreground cleaning. In the presence of both gravitational lensing effects and astrophysical foregrounds, the significance of the detection is lowered, with CORE achieving a $4\sigma$-measurement of $r=5\times 10^{-3}$ after foreground cleaning and $60$% delensing. For lower tensor-to-scalar ratios ($r=10^{-3}$) the overall uncertainty on $r$ is dominated by foreground residuals, not by the 40% residual of lensing cosmic variance. Moreover, the residual contribution of unprocessed polarized point-sources can be the dominant foreground contamination to primordial B-modes at this $r$ level, even on relatively large angular scales, $\ell \sim 50$. Finally, we report two sources of potential bias for the detection of the primordial $B$-modes.[abridged]


title: Magnetorotational Collapse of Supermassive Stars: Black Hole Formation, Gravitational Waves and Jets

abstract: We perform MHD simulations in full GR of uniformly rotating stars that are marginally unstable to collapse. Our simulations model the direct collapse of supermassive stars (SMSs) to seed black holes (BHs) that can grow to become the supermassive BHs at the centers of quasars and AGNs. They also crudely model the collapse of massive Pop III stars to BHs, which could power a fraction of distant, long gamma-ray bursts (GRBs). The initial stellar models we adopt are $\Gamma = 4/3$ polytropes seeded with a dynamically unimportant dipole magnetic field (B field). We treat initial B-field configurations either confined to the stellar interior or extending out from the interior into the stellar exterior. The BH formed following collapse has mass $M_{BH} \simeq 0.9M$ (where $M$ is the mass of the initial star) and spin $a_{BH}/M_{BH}\simeq 0.7$. A massive, hot, magnetized torus surrounds the remnant BH. At $\Delta t\sim 400-550M\approx 2000-2700(M/10^6M_\odot)$s following the gravitational wave (GW) peak amplitude, an incipient jet is launched. The disk lifetime is $\Delta t\sim 10^5(M/10^6M_\odot)$s, and the jet luminosity is $L_{EM}\sim 10^{51-52}$ ergs/s. If $\gtrsim 1-10\%$ of this power is converted into gamma rays, SWIFT and FERMI could potentially detect these events out to large redshifts $z\sim 20$. Thus, SMSs could be sources of ultra-long GRBs and massive Pop III stars could be the progenitors that power a fraction of the long GRBs observed at redshift $z \sim 5-8$. GWs are copiously emitted during the collapse, and peak at $\sim 15(10^6 M_{\odot}/M)\rm mHz$ ($\sim 0.15(10^4 M_{\odot}/M)\rm Hz$), i.e., in the LISA (DECIGO/BBO) band; optimally oriented SMSs could be detectable by LISA (DECIGO/BBO) at $z \lesssim 3$ ($z \lesssim 11$). Hence $10^4 M_{\odot}$ SMSs collapsing at $z\sim 10$ are promising multimessenger sources of coincident gravitational and electromagnetic waves.


title: Soft-NMS -- Improving Object Detection With One Line of Code

abstract: Non-maximum suppression is an integral part of the object detection pipeline. First, it sorts all detection boxes on the basis of their scores. The detection box M with the maximum score is selected and all other detection boxes with a significant overlap (using a pre-defined threshold) with M are suppressed. This process is recursively applied on the remaining boxes. As per the design of the algorithm, if an object lies within the predefined overlap threshold, it leads to a miss. To this end, we propose Soft-NMS, an algorithm which decays the detection scores of all other objects as a continuous function of their overlap with M. Hence, no object is eliminated in this process. Soft-NMS obtains consistent improvements for the coco-style mAP metric on standard datasets like PASCAL VOC 2007 (1.7% for both R-FCN and Faster-RCNN) and MS-COCO (1.3% for R-FCN and 1.1% for Faster-RCNN) by just changing the NMS algorithm without any additional hyper-parameters. Using Deformable-RFCN, Soft-NMS improves state-of-the-art in object detection from 39.8% to 40.9% with a single model. Further, the computational complexity of Soft-NMS is the same as traditional NMS and hence it can be efficiently implemented. Since Soft-NMS does not require any extra training and is simple to implement, it can be easily integrated into any object detection pipeline. Code for Soft-NMS is publicly available on GitHub (http://bit.ly/2nJLNMu).


title: DsixTools: The Standard Model Effective Field Theory Toolkit

abstract: We present DsixTools, a Mathematica package for the handling of the dimension-six Standard Model Effective Field Theory. Among other features, DsixTools allows the user to perform the full one-loop Renormalization Group Evolution of the Wilson coefficients in the Warsaw basis. This is achieved thanks to the SMEFTrunner module, which implements the full one-loop anomalous dimension matrix previously derived in the literature. In addition, DsixTools also contains modules devoted to the matching to the $\Delta B = \Delta S = 1,2$ and $\Delta B = \Delta C = 1$ operators of the Weak Effective Theory at the electroweak scale and their QCD and QED Renormalization Group Evolution below the electroweak scale.


title: Axion-like particle assisted strongly interacting massive particle

abstract: We propose a new realization of strongly interacting massive particles (SIMP) as self-interacting dark matter, where SIMPs couple to the Standard Model sector through an axion-like particle. Our model gets over major obstacles accompanying the original SIMP model, such as a missing mechanism of kinetically equilibrating SIMPs with the SM plasma as well as marginal perturbativity of the chiral Lagrangian density. Remarkably, the parameter region realizing $\sigma_{\rm self}/m_{\rm DM} \simeq 0.1 \textrm{--} 1 \, {\rm cm}^{2}/{\rm g}$ is within the reach of future beam dump experiments such as the Search for Hidden Particles (SHiP) experiment.


title: Enhanced third harmonic generation with graphene metasurfaces

abstract: The nonlinear responses of different materials provide useful mechanisms for optical switching, low noise amplification, and harmonic frequency generation. However, the nonlinear processes usually have an extremely weak nature and require high input power to be excited. To alleviate this severe limitation, we propose new designs of ultrathin nonlinear metasurfaces composed of patterned graphene micro-ribbons to significantly enhance third harmonic generation (THG) at far-infrared and terahertz (THz) frequencies. The incident wave is tightly confined and significantly boosted along the surface of graphene in these configurations due to the excitation of highly localized plasmons. The bandwidth of the resonant response becomes narrower due to the introduction of a metallic substrate below the graphene micro-ribbons, which leads to zero transmission and standing waves inside the intermediate dielectric spacer layer. The enhancement of the incident field, combined with the large nonlinear conductivity of graphene, can dramatically increase the THG conversion efficiency by several orders of magnitude. In addition, the resonant frequency of the metasurface can be adjusted by dynamically tuning the Fermi energy of graphene via electrical or chemical doping. As a result, the third harmonic generated wave can be optimized and tuned to be emitted at different frequencies without the need to change the nonlinear metasurface geometry. The proposed nonlinear metasurfaces provide a new way to realize compact and efficient nonlinear sources at the far-infrared and THz frequency ranges, as well as new frequency generation and wave mixing devices which are expected to be useful for nonlinear THz spectroscopy and noninvasive THz imaging applications.


title: Poking the Beehive From Space: K2 Rotation Periods For Praesepe

abstract: We analyze {\it K2} light curves for 794 low-mass ($1 > M_* > 0.1$ $M_{\odot}$) members of the $\approx$650-Myr-old open cluster Praesepe, and measure rotation periods ($P_{rot}$) for 677 of these stars. We find that half of the rapidly rotating $>$0.3 $M_{\odot}$ stars are confirmed or candidate binary systems. The remaining $>0.3$ $M_{\odot}$ fast rotators have not been searched for companions, and are therefore not confirmed single stars. We found previously that nearly all rapidly rotating $>$0.3 $M_{\odot}$ stars in the Hyades are binaries, but we require deeper binary searches in Praesepe to confirm whether binaries in these two co-eval clusters have different $P_{rot}$ distributions. We also compare the observed $P_{rot}$ distribution in Praesepe to that predicted by models of angular-momentum evolution. We do not observe the clear bimodal $P_{rot}$ distribution predicted by Brown (2014) for $>$0.5 $M_{\odot}$ stars at the age of Praesepe, but 0.25$-$0.5 $M_{\odot}$ stars do show stronger bimodality. In addition, we find that $>$60\% of early M dwarfs in Praesepe rotate more slowly than predicted at 650 Myr by Matt et al. (2015), which suggests an increase in braking efficiency for these stars relative to solar-type stars and fully convective stars. The incompleteness of surveys for binaries in open clusters likely impacts our comparison with these models, since the models only attempt to describe the evolution of isolated single stars.


title: On $\Gamma_n$-contractions and their Conditional Dilations

abstract: We prove some estimates for elementary symmetric polynomials on $\mathbb D^n.$ We show that these estimates are sharp which allow us to study the properties of closed symmetrized polydisc $\Gamma_n.$ Furthermore, we show the existence and uniqueness of solutions to the operator equations $$S_i-S_{n-i}^*S_n=D_{S_n}X_iD_{S_n}~~{\rm{and}}~~S_{n-i}-S_{i}^*S_n=D_{S_n}X_{n-i}D_{S_n},$$ where $X_i,X_{n-i}\in \mathcal B(\mathcal D_{S_n}), ~{\rm{for ~all~}} i=1,\ldots,(n-1),$ with numerical radius not greater than $1,$ for a $\Gamma_n$-contraction $(S_1,\ldots, S_n).$ We construct a conditional dilation of various classes of $\Gamma_n$-contractions. Various properties of a $\Gamma_n$-contraction and its explicit dilation allow us to construct a concrete functional model for a $\Gamma_n$-contraction. We describe the structure and additional characterization of $\Gamma_n$-unitaries and $\Gamma_n$-isometries in detail.


title: The Entropy of Backwards Analysis

abstract: Backwards analysis, first popularized by Seidel, is often the simplest most elegant way of analyzing a randomized algorithm. It applies to incremental algorithms where elements are added incrementally, following some random permutation, e.g., incremental Delauney triangulation of a pointset, where points are added one by one, and where we always maintain the Delauney triangulation of the points added thus far. For backwards analysis, we think of the permutation as generated backwards, implying that the $i$th point in the permutation is picked uniformly at random from the $i$ points not picked yet in the backwards direction. Backwards analysis has also been applied elegantly by Chan to the randomized linear time minimum spanning tree algorithm of Karger, Klein, and Tarjan. The question considered in this paper is how much randomness we need in order to trust the expected bounds obtained using backwards analysis, exactly and approximately. For the exact case, it turns out that a random permutation works if and only if it is minwise, that is, for any given subset, each element has the same chance of being first. Minwise permutations are known to have $\Theta(n)$ entropy, and this is then also what we need for exact backwards analysis. However, when it comes to approximation, the two concepts diverge dramatically. To get backwards analysis to hold within a factor $\alpha$, the random permutation needs entropy $\Omega(n/\alpha)$. This contrasts with minwise permutations, where it is known that a $1+\varepsilon$ approximation only needs $\Theta(\log (n/\varepsilon))$ entropy. Our negative result for backwards analysis essentially shows that it is as abstract as any analysis based on full randomness.


title: Configuration spaces, $\operatorname{FS^{op}}$-modules, and Kazhdan-Lusztig polynomials of braid matroids

abstract: The equivariant Kazhdan-Lusztig polynomial of a braid matroid may be interpreted as the intersection cohomology of a certain partial compactification of the configuration space of n distinct labeled points in the plane, regarded as a graded representation of the symmetric group. We show that, in fixed cohomological degree, this sequence of representations of symmetric groups naturally admits the structure of an FS-module, and that the dual FS^op-module is finitely generated. Using the work of Sam and Snowden, we give an asymptotic formula for the dimensions of these representations and obtain restrictions on which irreducible representations can appear in their decomposition.


title: Recovery of damped exponentials using structured low rank matrix completion

abstract: We introduce a structured low rank matrix completion algorithm to recover a series of images from their under-sampled measurements, where the signal along the parameter dimension at every pixel is described by a linear combination of exponentials. We exploit the exponential behavior of the signal at every pixel, along with the spatial smoothness of the exponential parameters to derive an annihilation relation in the Fourier domain. This relation translates to a low-rank property on a structured matrix constructed from the Fourier samples. We enforce the low rank property of the structured matrix as a regularization prior to recover the images. Since the direct use of current low rank matrix recovery schemes to this problem is associated with high computational complexity and memory demand, we adopt an iterative re-weighted least squares (IRLS) algorithm, which facilitates the exploitation of the convolutional structure of the matrix. Novel approximations involving two dimensional Fast Fourier Transforms (FFT) are introduced to drastically reduce the memory demand and computational complexity, which facilitates the extension of structured low rank methods to large scale three dimensional problems. We demonstrate our algorithm in the MR parameter mapping setting and show improvement over the state-of-the-art methods.


title: Devising superconvergent HDG methods with symmetric approximate stresses for linear elasticity by $M$-decompositions

abstract: We propose a new tool, which we call $M$-decompositions, for devising superconvergent hybridizable discontinuous Galerkin (HDG) methods and hybridized-mixed methods for linear elasticity with strongly symmetric approximate stresses on unstructured polygonal/polyhedral meshes. We show that for an HDG method, when its local approximation space admits an $M$-decomposition, optimal convergence of the approximate stress and superconvergence of an element-by-element postprocessing of the displacement field are obtained. The resulting methods are locking-free. Moreover, we explicitly construct approximation spaces that admit $M$-decompositions on general polygonal elements. We display numerical results on triangular meshes validating our theoretical findings.


title: A Temporal Slow Growth Formulation for Direct Numerical Simulation of Compressible Wall--Bounded Flows

abstract: A new slow growth formulation for DNS of wall-bounded turbulent flow is developed and demonstrated to enable extension of slow growth modeling concepts to complex boundary layer flows. As in previous slow growth approaches, the formulation assumes scale separation between the fast scales of turbulence and the slow evolution of statistics such as the mean flow. This separation enables the development of approaches where the fast scales of turbulence are directly simulated while the forcing provided by the slow evolution is modeled. The resulting model admits periodic boundary conditions in the streamwise direction, which avoids the need for extremely long domains and complex inflow conditions that typically accompany spatially developing simulations. Further, it enables the use of efficient Fourier numerics. Unlike previous approaches, the present approach is based on a temporally evolving boundary layer and is specifically tailored to give results for calibration and validation of RANS turbulence models. The use of a temporal homogenization simplifies the modeling, enabling straightforward extension to flows with complicating features, including cold and blowing walls. To generate data useful for calibration and validation of RANS models, special care is taken to ensure that the mean slow growth forcing is closed in terms of the mean and other quantities that appear in standard RANS models, ensuring that there is no confounding between typical RANS closures and additional closures required for the slow growth problem. The performance of the method is demonstrated on two problems: an essentially incompressible, zero-pressure-gradient boundary layer and a transonic boundary layer over a cooled wall with wall transpiration.


title: Structures, phase transitions, and magnetic properties of Co3Si from first-principles calculations

abstract: Co3Si was recently reported to exhibit remarkable magnetic properties in the nanoparticle form [Appl. Phys. Lett. 108, 152406 (2016)], yet better understanding of this material is to be promoted. Here we report a study on the crystal structures of Co3Si using adaptive genetic algorithm, and discuss its electronic and magnetic properties from first-principles calculations. Several competing phases of Co3Si have been revealed from our calculations. We show that the hexagonal Co3Si structure reported in experiments has lower energy in non-magnetic state than ferromagnetic state at zero temperature. The ferromagnetic state of the hexagonal structure is dynamically unstable with imaginary phonon modes and transforms to a new orthorhombic structure, which is confirmed by our structure searches to have the lowest energy for both Co3Si and Co3Ge. Magnetic properties of the experimental hexagonal structure and the lowest-energy structures obtained from our structure searches are investigated in detail.


title: Inertio-elastic instability in Taylor-Couette {\deg}ow of a model wormlike micellar system

abstract: In this work, we use flow visualization and rheometry techniques to study the dynamics and evolution of secondary flows in a model wormlike micellar solution sheared between concentric cylinders, i.e., in a Taylor-Couette (TC) cell. The wormlike micellar solution studied in this work contains cetyltrimethylammonium bromide (CTAB) and sodium salicylate (NaSal). This system can be shear banding and highly elastic, non-shear banding and moderately elastic, or nearly Newtonian as the temperature is varied over a narrow range. The effect of elasticity on transitions and instabilities is probed by changing the temperature over a wide range of elasticity (El<< 1, El ~1, and El>>1). Elasticity is defined as the ratio of the Weissenberg number to the Reynolds number. For shear banding wormlike micelle solutions where El>> 1, a primary transition from the base Couette flow to stationary vortices that are evenly spaced in the axial direction of the shear cell and are characterized by an asymptotic wave-length is observed. The dimensionless wave- length at the onset of this shear banding transition for CTAB/NaSal system turns out to be much larger than those reported for other shear banding wormlike micelle systems. For the same fluid at a temperature where it shear-thins but does not display shear banding, El~1, and for slow ramp speeds, the primary transition is to distinct structures that are not stationary but rather travel in the axial direction. At low elasticity (El<< 1), where the fluid behaves as a nearly Newtonian fluid, several transitions from purely azimuthal Couette flow to modified Taylor vortex flows and finally chaotic regimes are documented. The behavior in the shear-banding and non-shear-banding regimes are discussed and compared with results in related systems.


title: Interpretable 3D Human Action Analysis with Temporal Convolutional Networks

abstract: The discriminative power of modern deep learning models for 3D human action recognition is growing ever so potent. In conjunction with the recent resurgence of 3D human action representation with 3D skeletons, the quality and the pace of recent progress have been significant. However, the inner workings of state-of-the-art learning based methods in 3D human action recognition still remain mostly black-box. In this work, we propose to use a new class of models known as Temporal Convolutional Neural Networks (TCN) for 3D human action recognition. Compared to popular LSTM-based Recurrent Neural Network models, given interpretable input such as 3D skeletons, TCN provides us a way to explicitly learn readily interpretable spatio-temporal representations for 3D human action recognition. We provide our strategy in re-designing the TCN with interpretability in mind and how such characteristics of the model is leveraged to construct a powerful 3D activity recognition method. Through this work, we wish to take a step towards a spatio-temporal model that is easier to understand, explain and interpret. The resulting model, Res-TCN, achieves state-of-the-art results on the largest 3D human action recognition dataset, NTU-RGBD.


title: ShapeWorld - A new test methodology for multimodal language understanding

abstract: We introduce a novel framework for evaluating multimodal deep learning models with respect to their language understanding and generalization abilities. In this approach, artificial data is automatically generated according to the experimenter's specifications. The content of the data, both during training and evaluation, can be controlled in detail, which enables tasks to be created that require true generalization abilities, in particular the combination of previously introduced concepts in novel ways. We demonstrate the potential of our methodology by evaluating various visual question answering models on four different tasks, and show how our framework gives us detailed insights into their capabilities and limitations. By open-sourcing our framework, we hope to stimulate progress in the field of multimodal language understanding.


title: A note on energy forms on fractal domains

abstract: J. Kigami has laid the foundations of what is now known as analysis on fractals, by allowing the construction of an operator of the same nature of the Laplacian, defined locally, on graphs having a fractal character. The Sierpinski gasket stands out of the best known example. It has, since then, been taken up, developed and popularized by R. S. Strichartz. The Laplacian is obtained through a weak formulation, obtained by means of Dirichlet forms, built by induction on a sequence of graphs that converges towards the considered domain. It is these Dirichlet forms that enable one to obtain energy forms on this domain. Yet, things are not that simple. If, for domains like the Sierpinski gasket, the Laplacian is obtained in a quite natural way, one must bear in mind that Dirichlet forms solely depend on the topology of the domain, and not of its geometry. Which means that, if one aims at building a Laplacian on a fractal domain, the topology of which is the same as, for instance, a line segment, one has to find a way of taking account a very specific geometry. We came across that problem in our work on the graph of the Weierstrass function The solution was thus to consider energy forms more sophisticated than classical ones, by means of normalization constants that could, not only bear the topology, but, also, the very specific geometry of, from now on, we will call W-curves. We presently aim at investigating the links between energy forms and geometry. We have chosen to consider fractal curves, specifically, the Sierpi\'nski arrowhead curve, the limit of which is the Sierpi\'nski gasket. Does one obtain the same Laplacian as for the triangle ? The question appears as worth to be investigated.


title: Orbit Spaces of Linear Circle Actions

abstract: In this paper, it is shown that non-isomorphic effective linear circle actions yield non-diffeomorphic differential structures on the corresponding orbit spaces.


title: Neural Machine Translation Model with a Large Vocabulary Selected by Branching Entropy

abstract: Neural machine translation (NMT), a new approach to machine translation, has achieved promising results comparable to those of traditional approaches such as statistical machine translation (SMT). Despite its recent success, NMT cannot handle a larger vocabulary because the training complexity and decoding complexity proportionally increase with the number of target words. This problem becomes even more serious when translating patent documents, which contain many technical terms that are observed infrequently. In this paper, we propose to select phrases that contain out-of-vocabulary words using the statistical approach of branching entropy. This allows the proposed NMT system to be applied to a translation task of any language pair without any language-specific knowledge about technical term identification. The selected phrases are then replaced with tokens during training and post-translated by the phrase translation table of SMT. Evaluation on Japanese-to-Chinese, Chinese-to-Japanese, Japanese-to-English and English-to-Japanese patent sentence translation proved the effectiveness of phrases selected with branching entropy, where the proposed NMT model achieves a substantial improvement over a baseline NMT model without our proposed technique. Moreover, the number of translation errors of under-translation by the baseline NMT model without our proposed technique reduces to around half by the proposed NMT model.


title: Translation of Patent Sentences with a Large Vocabulary of Technical Terms Using Neural Machine Translation

abstract: Neural machine translation (NMT), a new approach to machine translation, has achieved promising results comparable to those of traditional approaches such as statistical machine translation (SMT). Despite its recent success, NMT cannot handle a larger vocabulary because training complexity and decoding complexity proportionally increase with the number of target words. This problem becomes even more serious when translating patent documents, which contain many technical terms that are observed infrequently. In NMTs, words that are out of vocabulary are represented by a single unknown token. In this paper, we propose a method that enables NMT to translate patent sentences comprising a large vocabulary of technical terms. We train an NMT system on bilingual data wherein technical terms are replaced with technical term tokens; this allows it to translate most of the source sentences except technical terms. Further, we use it as a decoder to translate source sentences with technical term tokens and replace the tokens with technical term translations using SMT. We also use it to rerank the 1,000-best SMT translations on the basis of the average of the SMT score and that of the NMT rescoring of the translated sentences with technical term tokens. Our experiments on Japanese-Chinese patent sentences show that the proposed NMT system achieves a substantial improvement of up to 3.1 BLEU points and 2.3 RIBES points over traditional SMT systems and an improvement of approximately 0.6 BLEU points and 0.8 RIBES points over an equivalent NMT system without our proposed technique.


title: Hierarchic Kernel Recursive Least-Squares

abstract: We present a new kernel-based algorithm for modeling evenly distributed multidimensional datasets that does not rely on input space sparsification. The presented method reorganizes the typical single-layer kernel-based model into a deep hierarchical structure, such that the weights of a kernel model over each dimension are modeled over its adjacent dimension. We show that modeling weights in the suggested structure leads to significant computational speedup and improved modeling accuracy.


title: CP asymmetries in $D\to PP^\prime$ decays

abstract: This talk addresses two topics related to CP asymmetries in $D$ meson decays to two pseudoscalar mesons. First I discuss how new physics can be distinguished from the Standard Model through two sum rules relating three direct CP asymmetries each, using the sum rule correlating $D^0\to K^+K^-$, $D^0\to \pi^+ \pi^-$, and $D^0\to \pi^0 \pi^0$ for illustration. The other sum rule involves $a_{CP}^{\mathrm{dir}}(D^+\rightarrow \bar{K}^0K^+)$, $a_{CP}^{\mathrm{dir}}(D_s^+\rightarrow K^0\pi^+)$, and $a_{CP}^{\mathrm{dir}}(D_s^+\to K^+ \pi^0)$. The second topic is the direct CP asymmetry in the decay $D^0 \to K_S K_S$, which is expected to be large in the Standard Model for two reasons: Flavor-SU(3) symmetry suppresses the tree amplitude which enhances the crucial "penguin-to-tree" ratio and the "penguin" amplitude is dominated by the tree-level $W$ boson exchange between $c$ and $u$ quarks. We find that $|a_{CP}^{\mathrm{dir}} (D^0 \to K_S K_S)|$ can be as large as $1.1 \%$ in the Standard Model. We advocate $D^0 \to K_S K_S$ as a discovery channel for charm CP violation.


title: Model Uncertainty, Recalibration, and the Emergence of Delta-Vega Hedging

abstract: We study option pricing and hedging with uncertainty about a Black-Scholes reference model which is dynamically recalibrated to the market price of a liquidly traded vanilla option. For dynamic trading in the underlying asset and this vanilla option, delta-vega hedging is asymptotically optimal in the limit for small uncertainty aversion. The corresponding indifference price corrections are determined by the disparity between the vegas, gammas, vannas, and volgas of the non-traded and the liquidly traded options.


title: Nanoindentation stress-strain for Fracture Analysis and computational modeling for hardness and modulus

abstract: Stress-strain plots based on nanoindentation load-depth curves reflected cracking phenomenon. A transition from ductile to brittle fracture was observed on increasing the depth or load of indenter penetration. A new approach with shape factors in the fracture studies based on radial crack branching and micro-cracking was done. Hardness and modulus plots were fitted with polynomials. The coefficients were varied to obtain different hardness and modulus responses.


title: Structure of virtual photon polarization in ultrarelativistic heavy-ion collisions

abstract: Anisotropy in heavy-ion collisions leads to polarization of both direct and virtual photons, the latter detected via internal conversion to dileptons pairs. Thus measurement of photon polarization probes the anisotropy at all stages of collisions. In order to characterize the polarization of virtual photons, we derive here the general structure of the photon polarization operator, rho^(mu nu), in an anisotropic medium, in terms of the four spectral functions, two transverse and one longitudinal, as usual, plus a new spectral function that reflects anisotropy in asymmetric collisions; and derive the local production rate of dilepton pairs in terms of these four functions.


title: QKZ-Ruijsenaars correspondence revisited

abstract: We discuss the Matsuo-Cherednik type correspondence between the quantum Knizhnik-Zamolodchikov equations associated with $GL(N)$ and the $n$-particle quantum Ruijsenaars model, with $n$ being not necessarily equal to $N$. The quasiclassical limit of this construction yields the quantum-classical correspondence between the quantum spin chains and the classical Ruijsenaars models.


title: Temporal and spectral manipulations of correlated photons using a time-lens

abstract: A common challenge in quantum information processing with photons is the limited ability to manipulate and measure correlated states. An example is the inability to measure picosecond scale temporal correlations of a multi-photon state, given state-of-the-art detectors have a temporal resolution of about 100 ps. Here, we demonstrate temporal magnification of time-bin entangled two-photon states using a time-lens, and measure their temporal correlation function which is otherwise not accessible because of the limited temporal resolution of single photon detectors. Furthermore, we show that the time-lens maps temporal correlations of photons to frequency correlations and could be used to manipulate frequency-bin entangled photons. This demonstration opens a new avenue to manipulate and analyze spectral and temporal wavefunctions of many-photon states.


title: Penguin pollution in $\beta$ and $\beta_s$

abstract: The mixing-induced CP asymmetries in $B_d \to J/\psi K_S$ and $B_s \to J/\psi \phi$ are essential to detect or constrain new physics in the $B_d\! - \overline{\!B}{}_d$ and $B_s\! - \overline{\!B}{}_s$ mixing amplitudes, respectively. To this end one must control the penguin contributions to the decay amplitudes, which affect the extraction of fundamental CP phases from the measured CP asymmetries. Although the "penguin pollution" is doubly Cabibbo-suppressed, it could compete in size with current experimental errors. In this talk I present a calculation of the penguin contributions treating QCD effects with soft-collinear factorisation and compare method and results with the alternative approach employing flavour-SU(3) symmetry. As a novel feature, I present results for the penguin pollution in $b\to c\overline c d$ modes.


title: Neural Extractive Summarization with Side Information

abstract: Most extractive summarization methods focus on the main body of the document from which sentences need to be extracted. However, the gist of the document may lie in side information, such as the title and image captions which are often available for newswire articles. We propose to explore side information in the context of single-document extractive summarization. We develop a framework for single-document summarization composed of a hierarchical document encoder and an attention-based extractor with attention over side information. We evaluate our model on a large scale news dataset. We show that extractive summarization with side information consistently outperforms its counterpart that does not use any side information, in terms of both informativeness and fluency.


title: OCAMS: The OSIRIS-REx Camera Suite

abstract: The requirements-driven OSIRIS-REx Camera Suite (OCAMS) acquires images essential to collecting a sample from the surface of Bennu. During proximity operations, these images document the presence of satellites and plumes, record spin state, enable an accurate digital terrain model of the shape of the asteroid and identify any surface hazards. They confirm the presence of sampleable regolith on the surface, observe the sampling event itself, and image the sample head in order to verify its readiness to be stowed. They document the history of Bennu as an example of early solar system material, as a microgravity body with a planetesimal size-scale, and as a carbonaceous object. OCAMS is fitted with three cameras. The MapCam records point-source color images on approach to the asteroid in order to connect ground-based point-source observations of Bennu to later higher-resolution surface spectral imaging. The SamCam documents the sample site before, during, and after it is disturbed by the sample mechanism. The PolyCam, using its focus mechanism, observes the sample site at sub-centimeter resolutions, revealing surface texture and morphology. While their imaging requirements divide naturally between the three cameras, they preserve a strong degree of functional overlap. OCAMS and the other spacecraft instruments allow the OSIRIS-REx mission to collect a sample from a microgravity body on the same visit during which it was first optically acquired from long range, a useful capability as humanity explores near-Earth, Main-Belt and Jupiter Trojan asteroids.


title: Energy Distribution in Intrinsically Coupled Systems: The Spring Pendulum Paradigm

abstract: Intrinsically nonlinear coupled systems present different oscillating components that exchange energy among themselves. We present a new approach to deal with such energy exchanges and to investigate how it depends on the system control parameters. The method consists in writing the total energy of the system, and properly identifying the energy terms for each component and, especially, their coupling. To illustrate the proposed approach, we work with the bi-dimensional spring pendulum, which is a paradigm to study nonlinear coupled systems, and is used as a model for several systems. For the spring pendulum, we identify three energy components, resembling the spring and pendulum like motions, and the coupling between them. With these analytical expressions, we analyze the energy exchange for individual trajectories, and we also obtain global characteristics of the spring pendulum energy distribution by calculating spatial and time average energy components for a great number of trajectories (periodic, quasi-periodic and chaotic) throughout the phase space. Considering an energy term due to the nonlinear coupling, we identify regions in the parameter space that correspond to strong and weak coupling. The presented procedure can be applied to nonlinear coupled systems to reveal how the coupling mediates internal energy exchanges, and how the energy distribution varies according to the system parameters.


title: Quadrature readout and generation of squeezed states of a harmonic oscillator using a qubit-based indirect measurement

abstract: We present a protocol for measuring the quadrature of a harmonic oscillator (HO). The HO is coupled to a qubit, with an interaction modulated by the qubit control and effectively proportional to the HO quadrature $I$. Repeated measurement of the qubit leads to gradually increasing information on the quadrature $I$, leading to squeezing. We derive an analytical formula for the quadrature variance, $(\Delta I)^2 = 1/(1+4\phi^2 s)$, with $\phi$ the product of interaction strength and interaction time and $s$ the number of repetitions of the measurement. We discuss the robustness of this scheme against decoherence. We find that this protocol could lead to significant squeezing in a realistic setup formed of a superconducting flux qubit used to measure an electrical or mechanical resonator.


title: To one problem of Saut-Temam for the 3D Zakharov-Kuznetsov equation

abstract: An initial-boundary value problem for the 3D Zakharov-Kuznetsov equation posed on an unbounded domain is considered. Existence and uniqueness of a global regular solution as well as exponential decay of the $H^2$-norm for small initial data are proven.


title: GCM Simulations of Unstable Climates in the Habitable Zone

abstract: It has recently been proposed that Earth-like planets in the outer regions of the habitable zone experience unstable climates, repeatedly cycling between glaciated and deglaciated climatic states (Menou 2015). While this result has been confirmed and also extended to explain early Mars climate records (Haqq-Misra et al. 2016; Batalha et al. 2016), all existing work relies on highly idealized low-dimensional climate models. Here, we confirm that the phenomenology of climate cycles remains in 3D Earth climate models with considerably more degrees of freedom. To circumvent the computational barrier of integrating climate on Gyr timescales, we design a hybrid 0D-3D integrator which uses a general circulation model (GCM) as a short relaxation step along a long evolutionary climate sequence. We find that GCM climate cycles are qualitatively consistent with reported low-dimensional results. This establishes on a firmer ground the notion that outer habitable zone planets may be preferentially found in transiently glaciated states.


title: Divergence Measures Estimation and Its Asymptotic Normality Theory Using Wavelets Empirical Processes

abstract: In this paper we provide the asymptotic theory of the general of $\phi$-divergences measures, which includes the most common divergence measures : Renyi and Tsallis families and the Kullback-Leibler measure. Instead of using the Parzen nonparametric estimators of the probability density functions whose discrepancy is estimated, we use the wavelets approach and the geometry of Besov spaces. One-sided and two-sided statistical tests are derived as well as symmetrized estimators. Almost sure rates of convergence and asymptotic normality theorem are obtained in the general case, and next particularized for the Renyi and Tsallis families and for the Kullback-Leibler measure as well. The applicability of the results to usual distribution functions is addressed.


title: Harnessing Flexible and Reliable Demand Response Under Customer Uncertainties

abstract: Demand response (DR) is a cost-effective and environmentally friendly approach for mitigating the uncertainties in renewable energy integration by taking advantage of the flexibility of customers' demands. However, existing DR programs suffer from either low participation due to strict commitment requirements or not being reliable in voluntary programs. In addition, the capacity planning for energy storage/reserves is traditionally done separately from the demand response program design, which incurs inefficiencies. Moreover, customers often face high uncertainties in their costs in providing demand response, which is not well studied in literature. This paper first models the problem of joint capacity planning and demand response program design by a stochastic optimization problem, which incorporates the uncertainties from renewable energy generation, customer power demands, as well as the customers' costs in providing DR. We propose online DR control policies based on the optimal structures of the offline solution. A distributed algorithm is then developed for implementing the control policies without efficiency loss. We further offer enhanced policy design by allowing flexibilities into the commitment level. We perform real world trace based numerical simulations. Results demonstrate that the proposed algorithms can achieve near optimal social costs, and significant social cost savings compared to baseline methods.


title: A Simple Randomized Algorithm to Compute Harmonic Numbers and Logarithms

abstract: Given a list of N numbers, the maximum can be computed in N iterations. During these N iterations, the maximum gets updated on average as many times as the Nth harmonic number. We first use this fact to approximate the Nth harmonic number as a side effect. Further, using the fact the Nth harmonic number is equal to the natural logarithm of N plus a constant that goes to zero with N, we approximate the natural logarithm from the harmonic number. To improve accuracy, we repeat the computation over many lists of uniformly generated random numbers. The algorithm is easily extended to approximate logarithms with integer bases or rational arguments.


title: Cross-lingual Abstract Meaning Representation Parsing

abstract: Abstract Meaning Representation (AMR) annotation efforts have mostly focused on English. In order to train parsers on other languages, we propose a method based on annotation projection, which involves exploiting annotations in a source language and a parallel corpus of the source language and a target language. Using English as the source language, we show promising results for Italian, Spanish, German and Chinese as target languages. Besides evaluating the target parsers on non-gold datasets, we further propose an evaluation method that exploits the English gold annotations and does not require access to gold annotations for the target languages. This is achieved by inverting the projection process: a new English parser is learned from the target language parser and evaluated on the existing English gold standard.


title: A New Take on Protecting Cyclists in Smart Cities

abstract: Pollution in urban centres is becoming a major societal problem. While pollution is a concern for all urban dwellers, cyclists are one of the most exposed groups due to their proximity to vehicle tailpipes. Consequently, new solutions are required to help protect citizens, especially cyclists, from the harmful effects of exhaust-gas emissions. In this context, hybrid vehicles (HVs) offer new actuation possibilities that can be exploited in this direction. More specifically, such vehicles when working together as a group, have the ability to dynamically lower the emissions in a given area, thus benefiting citizens, whilst still giving the vehicle owner the flexibility of using an Internal Combustion Engine (ICE). This paper aims to develop an algorithm, that can be deployed in such vehicles, whereby geofences (virtual geographic boundaries) are used to specify areas of low pollution around cyclists. The emissions level inside the geofence is controlled via a coin tossing algorithm to switch the HV motor into, and out of, electric mode, in a manner that is in some sense optimal. The optimality criterion is based on how polluting vehicles inside the geofence are, and the expected density of cyclists near each vehicle. The algorithm is triggered once a vehicle detects a cyclist. Implementations are presented, both in simulation, and in a real vehicle, and the system is tested using a Hardware-In-the-Loop (HIL) platform (video provided).


title: An unbalanced Optimal Transport splitting scheme for general advection-reaction-diffusion problems

abstract: In this paper, we show that unbalanced optimal transport provides a convenient framework to handle reaction and diffusion processes in a unified metric framework. We use a constructive method, alternating minimizing movements for the Wasserstein distance and for the Fisher-Rao distance, and prove existence of weak solutions for general scalar reaction-diffusion-advection equations. We extend the approach to systems of multiple interacting species, and also consider an application to a very degenerate diffusion problem involving a Gamma-limit. Moreover, some numerical simulations are included.


title: Determinants of public cooperation in multiplex networks

abstract: Synergies between evolutionary game theory and statistical physics have significantly improved our understanding of public cooperation in structured populations. Multiplex networks, in particular, provide the theoretical framework within network science that allows us to mathematically describe the rich structure of interactions characterizing human societies. While research has shown that multiplex networks may enhance the resilience of cooperation, the interplay between the overlap in the structure of the layers and the control parameters of the corresponding games has not yet been investigated. With this aim, we consider here the public goods game on a multiplex network, and we unveil the role of the number of layers and the overlap of links, as well as the impact of different synergy factors in different layers, on the onset of cooperation. We show that enhanced public cooperation emerges only when a significant edge overlap is combined with at least one layer being able to sustain some cooperation by means of a sufficiently high synergy factor. In the absence of either of these conditions, the evolution of cooperation in multiplex networks is determined by the bounds of traditional network reciprocity with no enhanced resilience. These results caution against overly optimistic predictions that the presence of multiple social domains may in itself promote cooperation, and they help us better understand the complexity behind prosocial behavior in layered social systems.