title: Estimating strong correlations in optical lattices

abstract: Ultra-cold atoms in optical lattices provide one of the most promising platforms for analog quantum simulations of complex quantum many-body systems. Large-size systems can now routinely be reached and are already used to probe a large variety of different physical situations, ranging from quantum phase transitions to artificial gauge theories. At the same time, measurement techniques are still limited and full tomography for these systems seems out of reach. Motivated by this observation, we present a method to directly detect and quantify to what extent a quantum state deviates from a local Gaussian description, based on available noise correlation measurements from in-situ and time-of-flight measurements. This is an indicator of the significance of strong correlations in ground and thermal states, as Gaussian states are precisely the ground and thermal states of non-interacting models. We connect our findings, augmented by numerical tensor network simulations, to notions of equilibration, disordered systems and the suppression of transport in Anderson insulators.


title: Mixing properties of stochastic quantum Hamiltonians

abstract: Random quantum processes play a central role both in the study of fundamental mixing processes in quantum mechanics related to equilibration, thermalisation and fast scrambling by black holes, as well as in quantum process design and quantum information theory. In this work, we present a framework describing the mixing properties of continuous-time unitary evolutions originating from local Hamiltonians having time-fluctuating terms, reflecting a Brownian motion on the unitary group. The induced stochastic time evolution is shown to converge to a unitary design. As a first main result, we present bounds to the mixing time. By developing tools in representation theory, we analytically derive an expression for a local k-th moment operator that is entirely independent of k, giving rise to approximate unitary k-designs and quantum tensor product expanders. As a second main result, we introduce tools for proving bounds on the rate of decoupling from an environment with random quantum processes. By tying the mathematical description closely with the more established one of random quantum circuits, we present a unified picture for analysing local random quantum and classes of Markovian dissipative processes, for which we also discuss applications.


title: The impact of the photon PDF and electroweak corrections on $t \bar t$ distributions

abstract: We discuss the impact of EW corrections on differential distributions in top-quark pair production at the LHC and future hadron colliders, focusing on the effects of initial-state photons. Performing a calculation at Next-to-Leading Order QCD+EW accuracy, we investigate in detail the impact of photon-initiated channels on central values as well as PDF and scale uncertainties, both at order $\alpha_s\alpha$ and $\alpha_s^2\alpha$. We present predictions at 13 and 100 TeV, and provide results for the 8 TeV differential measurements performed by ATLAS and CMS. A thorough comparison of results obtained with the NNPDF2.3QED and CT14QED PDF sets is performed. While contributions due to the photon PDF are negligible with CT14QED, this is not the case for NNPDF2.3QED, where such contributions are sizeable and show large PDF uncertainties. On the one hand, we show that differential observables in top-pair production, in particular top-quark and $t\bar t$ rapidities, can be used to improve the determination of the photon PDF within the NNPDF approach. On the other hand, with current PDF sets, we demonstrate the necessity of including EW corrections and photon-induced contributions for a correct determination of both the central value and the uncertainties of theoretical predictions.


title: Three conjectures in extremal spectral graph theory

abstract: We prove three conjectures regarding the maximization of spectral invariants over certain families of graphs. Our most difficult result is that the join of $P_2$ and $P_{n-2}$ is the unique graph of maximum spectral radius over all planar graphs. This was conjectured by Boots and Royle in 1991 and independently by Cao and Vince in 1993. Similarly, we prove a conjecture of Cvetkovi\'c and Rowlinson from 1990 stating that the unique outerplanar graph of maximum spectral radius is the join of a vertex and $P_{n-1}$. Finally, we prove a conjecture of Aouchiche et al from 2008 stating that a pineapple graph is the unique connected graph maximizing the spectral radius minus the average degree. To prove our theorems, we use the leading eigenvector of a purported extremal graph to deduce structural properties about that graph. Using this setup, we give short proofs of several old results: Mantel's Theorem, Stanley's edge bound and extensions, the K\H{o}vari-S\'os-Tur\'an Theorem applied to $\mathrm{ex}\left(n, K_{2,t}\right)$, and a partial solution to an old problem of Erd\H{o}s on making a triangle-free graph bipartite.


title: Significantly improving stellar mass and radius estimates: A new reference function for the \Delta\nu\ scaling relation

abstract: The scaling relations between global asteroseismic observables and stellar properties are widely used to estimate masses and radii of stars exhibiting solar-like oscillations. Since the mass and radius of the Sun are known independently, the Sun is commonly used as a reference to scale to. However, the validity of the scaling relations depends on the homology between the star under study and the reference star. Solar-like oscillators span a wide range of masses and metallicities, as well as evolutionary phases. Most of these stars are therefore not homologous to the Sun. This leads to errors of up to 10% (5%) in mass (radius) when using the asteroseismic scaling relations with the Sun as the reference. In this paper we derive a reference function to replace the solar-reference value used in the large-frequency-separation scaling relation. Our function is the first that depends on both effective temperature and metallicity, and is applicable from the end of the main sequence to just above the bump on the red giant branch. This reference function improves the estimates of masses and radii determined through scaling relations by a factor of 2, i.e. allows masses and radii to be recovered with an accuracy of 5% and 2%, respectively.


title: Unification of Relativistic and Quantum Mechanics from Elementary Cycles Theory

abstract: In Elementary Cycles theory elementary quantum particles are consistently described as the manifestation of ultra-fast relativistic spacetime cyclic dynamics, classical in the essence. The peculiar relativistic geometrodynamics of Elementary Cycles theory yields de facto a unification of ordinary relativistic and quantum physics. In particular its classical-relativistic cyclic dynamics reproduce exactly from classical physics first principles all the fundamental aspects of Quantum Mechanics, such as all its axioms, the Feynman path integral, the Dirac quantisation prescription (second quantisation), quantum dynamics of statistical systems, non-relativistic quantum mechanics, atomic physics, superconductivity, graphene physics and so on. Furthermore the theory allows for the explicit derivation of gauge interactions, without postulating gauge invariance, directly from relativistic geometrodynamical transformations, in close analogy with the description of gravitational interaction in general relativity. In this paper we summarise some of the major achievements, rigorously proven also in several recent peer-reviewed papers, of this innovative formulation of quantum particle physics.


title: A simple table-top demonstration of radiation pressure on a macroscopic object

abstract: We report a simple demonstration of radiation pressure on a table-top experiment. Utilizing dynamic force microscopy in ambient environment, the resonant motion of a cm-sized cantilever driven by an amplitude-modulated diode laser is directly observed. Our versatile setup involves a host of exciting techniques that are relevant in precision force measurements and represents an ideal experiment in the undergraduate laboratory.


title: Holographic Entanglement Entropy in NMG

abstract: In this paper, we show that a higher derivative theory, such as New Massive Gravity, allows the existence of new entangling surfaces with non-zero extrinsic curvature. We perform the analysis for Lifshitz and Warped $AdS$ space times, revealing the role of the higher derivative contributions in the calculation of the holographic entanglement entropy. Finally, as an outcome of our holographic analysis we briefly comment on the dual boundary theory.


title: The p-adic Hodge decomposition according to Beilinson

abstract: A detailed presentation of Beilinson's approach to p-adic Hodge theory.


title: Giant photon gain in large-scale quantum dot circuit-QED systems

abstract: Motivated by recent experiments on the generation of coherent light in engineered hybrid quantum systems, we investigate gain in a microwave photonic cavity coupled to quantum dot structures, and develop concrete directions for achieving a giant amplification in photon transmission. We propose two architectures for scaling up the electronic gain medium: (i) $N$ double quantum dot systems (N-DQD), (ii) $M$ quantum dots arranged in series akin to a quantum cascade laser setup. In both setups, the fermionic reservoirs are voltage biased, and the quantum dots are coupled to a single-mode cavity. Optical amplification is explained based on a sum rule for the transmission function, and it is determined by an intricate competition between two different processes: charge density response in the gain medium, and cavity losses to input and output ports. The same design principle is also responsible for the corresponding giant amplification in other photonic observables, mean photon number and emission spectrum, thereby realizing a quantum device that behaves as a giant microwave amplifier.


title: Neutron star crust cooling in KS 1731-260: the influence of accretion outburst variability on the crustal temperature evolution

abstract: Using a theoretical model, we track the thermal evolution of a cooling neutron star crust after an accretion induced heating period with the goal of constraining the crustal parameters. We present for the first time a crust cooling model $-\text{ } NSCool\text{ } -$ that takes into account detailed variability during the full outburst based on the observed light curve. We apply our model to KS 1731-260. The source was in outburst for $\sim$12 years during which it was observed to undergo variations on both long (years) and short (days-weeks) timescales. Our results show that KS 1731-260 does not reach a steady state profile during the outburst due to fluctuations in the derived accretion rate. Additionally, long time-scale outburst variability mildly affects the complete crust cooling phase, while variations in the final months of the outburst strongly influence the first $\sim$40 days of the calculated cooling curve. We discuss the consequences for estimates of the neutron star crust parameters, and argue that detailed modelling of the final phase of the outburst is key to constraining the origin of the shallow heat source.


title: Preliminaries of a Space Situational Awareness Ontology

abstract: Space situational awareness (SSA) is vital for international safety and security, and the future of space travel. By improving SSA data-sharing we improve global SSA. Computational ontology may provide one means toward that goal. This paper develops the ontology of the SSA domain and takes steps in the creation of the space situational awareness ontology. Ontology objectives, requirements and desiderata are outlined; and both the SSA domain and the discipline of ontology are described. The purposes of the ontology include: exploring the potential for ontology development and engineering to (i) represent SSA data, general domain knowledge, objects and relationships (ii) annotate and express the meaning of that data, and (iii) foster SSA data-exchange and integration among SSA actors, orbital debris databases, space object catalogs and other SSA data repositories. By improving SSA via data- and knowledge-sharing, we can (iv) expand our scientific knowledge of the space environment, (v) advance our capacity for planetary defense from near-Earth objects, and (vi) ensure the future of safe space flight for generations to come.


title: Further Kernelization of Proper Interval Vertex Deletion: New Observations and Refined Analysis

abstract: In the Proper Interval Vertex Deletion problem (PIVD for short), we are given a graph $G$ and an integer parameter $k>0$, and the question is whether there are at most $k$ vertices in $G$ whose removal results in a proper interval graph. It is known that the PIVD problem is fixed-parameter tractable and admits a polynomial but "unreasonably" large kernel of $O(k^{53})$ vertices. A natural question is whether the problem admits a polynomial kernel of "reasonable" size. In this paper, we answer this question by deriving an $O(k^7)$-vertex kernel for the PIVD problem. Our kernelization is based on several new observations and a refined analysis of the kernelization.


title: Stellar Evidence that the Solar Dynamo may be in Transition

abstract: Precise photometry from the Kepler space telescope allows not only the measurement of rotation in solar-type field stars, but also the determination of reliable masses and ages from asteroseismology. These critical data have recently provided the first opportunity to calibrate rotation-age relations for stars older than the Sun. The evolutionary picture that emerges is surprising: beyond middle-age the efficiency of magnetic braking is dramatically reduced, implying a fundamental change in angular momentum loss beyond a critical Rossby number (Ro~2). We compile published chromospheric activity measurements for the sample of Kepler asteroseismic targets that were used to establish the new rotation-age relations. We use these data along with a sample of well characterized solar analogs from the Mount Wilson HK survey to develop a qualitative scenario connecting the evolution of chromospheric activity to a fundamental shift in the character of differential rotation. We conclude that the Sun may be in a transitional evolutionary phase, and that its magnetic cycle might represent a special case of stellar dynamo theory.


title: Supplemental Material for Comment on "Excitons in Molecular Aggregates with Levy Disorder: Anomalous Localization and Exchange Broadening of Optical Spectra", Phys.Rev.Lett. 109, 259701 (https://arxiv.org/abs/1208.2779)

abstract: In their Letter "Excitons in Molecular Aggregates with Levy Disorder: Anomalous Localization and Exchange Broadening of Optical Spectra", Eisfeld et al. predicted the existence of exchange broadening and blue-shift of the absorption band and a non-universal disorder scaling of the localisation length of absorption band excitons in J-aggregates with heavy-tailed disorder, which they contrasted with the previously analysed Gaussian and Lorentzian case. The observations were explained by another localisation mechanism, the chain segmentation by outliers in heavy tails of the disorder distribution. We argue that the previously known theory does not break down and consequently anticipates the properties of the absorption band investigated in the commented work.


title: Stochastic difference equations with the Allee effect

abstract: For a truncated stochastically perturbed equation $x_{n+1}=\max\{ f(x_n)+l\chi_{n+1}, 0 \}$ with $f(x)<x$ on $(0,m)$, which corresponds to the Allee effect, we observe that for very small perturbation amplitude $l$, the eventual behavior is similar to a non-perturbed case: there is extinction for small initial values in $(0,m-\varepsilon)$ and persistence for $x_0 \in (m+\delta, H]$ for some $H$ satisfying $H>f(H)>m$. As the amplitude grows, an interval $(m-\varepsilon, m+\delta)$ of initial values arises and expands, such that with a certain probability, $x_n$ sustains in $[m, H]$, and possibly eventually gets into the interval $(0,m-\varepsilon)$, with a positive probability. Lower estimates for these probabilities are presented. If $H$ is large enough, as the amplitude of perturbations grows, the Allee effect disappears: a solution persists for any positive initial value.


title: A near-stationary subspace for ridge approximation

abstract: Response surfaces are common surrogates for expensive computer simulations in engineering analysis. However, the cost of fitting an accurate response surface increases exponentially as the number of model inputs increases, which leaves response surface construction intractable for high-dimensional, nonlinear models. We describe ridge approximation for fitting response surfaces in several variables. A ridge function is constant along several directions in its domain, so fitting occurs on the coordinates of a low-dimensional subspace of the input space. We review essential theory for ridge approximation---e.g., the best mean-squared approximation and an optimal low-dimensional subspace---and we prove that the gradient-based active subspace is near-stationary for the least-squares problem that defines an optimal subspace. Motivated by the theory, we propose a computational heuristic that uses an estimated active subspace as an initial guess for a ridge approximation fitting problem. We show a simple example where the heuristic fails, which reveals a type of function for which the proposed approach is inappropriate. We then propose a simple alternating heuristic for fitting a ridge function, and we demonstrate the effectiveness of the active subspace initial guess applied to an airfoil model of drag as a function of its 18 shape parameters.


title: Consistency and Trust in Peer Data Exchange Systems

abstract: We propose and investigate a semantics for "peer data exchange systems" where different peers are related by data exchange constraints and trust relationships. These two elements plus the data at the peers' sites and their local integrity constraints are made compatible via a semantics that characterizes sets of "solution instances" for the peers. They are the intended -possibly virtual- instances for a peer that are obtained through a data repair semantics that we introduce and investigate. The semantically correct answers from a peer to a query, the so-called "peer consistent answers", are defined as those answers that are invariant under all its different solution instances. We show that solution instances can be specified as the models of logic programs with a stable model semantics. The repair semantics is based on null values as used in SQL databases, and is also of independent interest for repairs of single databases with respect to integrity constraints.


title: High harmonic interferometry of the Lorentz force in strong mid-infrared laser fields

abstract: The interaction of intense mid-infrared laser fields with atoms and molecules leads to a range of new opportunities, from the production of bright, coherent radiation in the soft x-ray range to imaging molecular structures and dynamics with attosecond temporal and sub-angstrom spatial resolution. However, all these effects, which rely on laser-driven recollision of an electron removed by the strong laser field and the parent ion, suffer from the rapidly increasing role of the magnetic field component of the driving pulse: the associated Lorentz force pushes the electrons off course in their excursion and suppresses all recollision-based processes, including high harmonic generation, elastic and inelastic scattering. Here we show how the use of two non-collinear beams with opposite circular polarizations produces a forwards ellipticity which can be used to monitor, control, and cancel the effect of the Lorentz force. This arrangement can thus be used to re-enable recollision-based phenomena in regimes beyond the long-wavelength breakdown of the dipole approximation, and it can be used to observe this breakdown in high-harmonic generation using currently-available light sources.


title: Inference of Causal Information Flow in Collective Animal Behavior

abstract: Understanding and even defining what constitutes animal interactions remains a challenging problem. Correlational tools may be inappropriate for detecting communication between a set of many agents exhibiting nonlinear behavior. A different approach is to define coordinated motions in terms of an information theoretic channel of direct causal information flow. In this work, we consider time series data obtained by an experimental protocol of optical tracking of the insect species Chironomus riparius. The data constitute reconstructed 3-D spatial trajectories of the insects' flight trajectories and kinematics. We present an application of the optimal causation entropy (oCSE) principle to identify direct causal relationships or information channels among the insects. The collection of channels inferred by oCSE describes a network of information flow within the swarm. We find that information channels with a long spatial range are more common than expected under the assumption that causal information flows should be spatially localized. The tools developed herein are general and applicable to the inference and study of intercommunication networks in a wide variety of natural settings.


title: A Decomposable Attention Model for Natural Language Inference

abstract: We propose a simple neural architecture for natural language inference. Our approach uses attention to decompose the problem into subproblems that can be solved separately, thus making it trivially parallelizable. On the Stanford Natural Language Inference (SNLI) dataset, we obtain state-of-the-art results with almost an order of magnitude fewer parameters than previous work and without relying on any word-order information. Adding intra-sentence attention that takes a minimum amount of order into account yields further improvements.


title: HR-Cosmos: Kinematics of Star-Forming Galaxies at z $\sim$ 0.9

abstract: We present the kinematic analysis of a sub-sample of 82 galaxies at $\mathrm{0.75<z<1.2}$ from our new survey HR-COSMOS aimed to obtain the first statistical study on the kinematics of star-forming galaxies in the treasury COSMOS field at $\mathrm{0<z<1.2}$. We observed $\sim\,$766 emission line galaxies using the multi-slit spectrograph ESO-VLT/VIMOS in high-resolution mode (R=2500). To better extract galaxy kinematics, VIMOS spectral slits have been carefully tilted along the major axis orientation of the galaxies, making use of the position angle measurements from the high spatial resolution ACS/HST COSMOS images. We constrained the kinematics of the sub-sample at $0.75<z<1.2$ by creating high resolution semi-analytical models. We established the stellar-mass Tully-Fisher relation at $z\simeq 0.9$ with high-quality stellar mass measurements derived using the latest COSMOS photometric catalog, which includes the latest data releases of UltraVISTA and Spitzer. In doubling the sample at these redshifts compared with the literature, we estimated the relation without setting its slope, and found it consistent with previous studies in other deep extragalactic fields assuming no significant evolution of the relation with redshift at $z\lesssim1$. We computed dynamical masses within the radius R$_{2.2}$ and found a median stellar-to-dynamical mass fraction equal to 0.2 (assuming Chabrier IMF), which implies a contribution of gas and dark matter masses of 80% of the total mass within R$_{2.2}$, in agreement with recent integral field spectroscopy surveys. We find no dependence of the stellar-mass Tully-Fisher relation with environment probing up to group scale masses. This study shows that multi-slit galaxy surveys remain a powerful tool to derive kinematics for large numbers of galaxies at both high and low redshift.


title: A generalized formulation for vehicle routing problems

abstract: Different types of formulations are proposed in the literature to model vehicle routing problems. Currently, the most used ones can be fitted into two classes, namely vehicle flow formulations and set partitioning formulations. These types of formulations differ from each other not only due to their variables and constraints but also due to their main features. Vehicle flow formulations have the advantage of being compact models, so general-purpose optimization packages can be used to straightforwardly solve them. However, they typically show weak linear relaxations and have a large number of constraints. Branch-and-cut methods based on specialized valid inequalities can also be devised to solve these formulations, but they have not shown to be effective for large-scale instances. On the other hand, set partitioning formulations have stronger linear relaxations, but requires the implementation of sophisticate techniques such as column generation and specialized branch-and-price methods. Due to all these reasons, so far it is has been recognized in the vehicle routing community that these two types of formulations are rather different. In this paper, we show that they are actually strongly related as they correspond to special cases of a generalized formulation of vehicle routing problems.


title: A brief introduction to the model microswimmer {\it Chlamydomonas reinhardtii}

abstract: The unicellular biflagellate green alga {\it Chlamydomonas reinhardtii} has been an important model system in biology for decades, and in recent years it has started to attract growing attention also within the biophysics community. Here we provide a concise review of some of the aspects of {\it Chlamydomonas} biology and biophysics most immediately relevant to physicists that might be interested in starting to work with this versatile microorganism.


title: Forecasting and skipping to Reduce Transmission Energy in WSN

abstract: This paper deals with the improvement of energy efficiency in wireless sensor networks (WSN).Taking into consideration the power saving problem which is of crucial importance when the sensors are supplied by a limited power source, this paper proposes a method that optimizes as much as possible the transmission power of the sensors. Under the assumption of perfect channel between the Base Station (BS) and the Sensor Nodes (SN's) and with sufficient power resources at the BS, transferring the effort of transmission power to the BS will not be a peculiar issue. This paper proposes a method that reduces the transmitted data at the SN's and compensate this by requesting the variance of the measured value form predicted values. Furthermore, a request management algorithm (RMA) is developed to reduce the amount of requested data based on consecutive successive predictions. The result of this method reveals a major impact on reducing the transmission power at the SN's. Keywords: Wireless Sensor Networks, Data Reduction, Time Series Forecasting, Artificial Neural Networks.


title: From geometry to non-geometry via T-duality

abstract: Reconsideration of the T-duality of the open string allows us to introduce some geometric features in non-geometric theories. First, we have found what symmetry is T-dual to the local gauge transformations. It includes transformations of background fields but does not include transformations of the coordinates. According to this we have introduced a new, up to now missing term, with additional gauge field $A^D_i$ (D denotes components with Dirichlet boundary conditions). It compensates non-fulfilment of the invariance under such transformations on the end-points of an open string, and the standard gauge field $A^N_a$ (N denotes components with Neumann boundary conditions) compensates non-fulfilment of the gauge invariance. Using a generalized procedure we will perform T-duality of vector fields linear in coordinates. We show that gauge fields $A^N_a$ and $A^D_i$ are T-dual to ${}^\star A_D^a$ and ${}^\star A_N^i$ respectively. We introduce the field strength of T-dual non-geometric theories as derivatives of T-dual gauge fields along both T-dual variable $y_\mu$ and its double ${\tilde y}_\mu$. This definition allows us to obtain gauge transformation of non-geometric theories which leaves the T-dual field strength invariant. Therefore, we introduce some new features of non-geometric theories where field strength has both antisymmetric and symmetric parts. This allows us to define new kinds of truly non-geometric theories.


title: Stabilisation of difference equations with noisy prediction-based control

abstract: We consider the influence of stochastic perturbations on stability of a unique positive equilibrium of a difference equation subject to prediction-based control. These perturbations may be multiplicative $$x_{n+1}=f(x_n)-\left( \alpha + l\xi_{n+1} \right) (f(x_n)-x_n), \quad n=0, 1, \dots$$ if they arise from stochastic variation of the control parameter, or additive $$x_{n+1}=f(x_n)-\alpha(f(x_n)-x_n) +l\xi_{n+1}, \quad n=0, 1, \dots $$ if they reflect the presence of systemic noise. We begin by relaxing the control parameter in the deterministic equation, and deriving a range of values for the parameter over which all solutions eventually enter an invariant interval. Then, by allowing the variation to be stochastic, we derive sufficient conditions (less restrictive than known ones for the unperturbed equation) under which the positive equilibrium will be globally a.s. asymptotically stable:i.e. the presence of noise improves the known effectiveness of prediction-based control. Finally, we show that systemic noise has a "blurring" effect on the positive equilibrium, which can be made arbitrarily small by controlling the noise intensity. Numerical examples illustrate our results.


title: Relativistic mechanical-thermodynamical formalism -- description of inelastic collisions

abstract: We present a relativistic formalism inspired on the Minkowski four-vectors that also includes conservation laws such as the first law of thermodynamics. It remains close to the relativistic four-vector formalism developed for a single particle, but it is also related to the classical treatment of problems that imperatively require both the Newton's second law and the energy conservation law. We apply the developed formalism to inelastic collisions to better show how it works.


title: Intra-Slot Interference Cancellation for Collision Resolution in Irregular Repetition Slotted ALOHA

abstract: ALOHA-type protocols became a popular solution for distributed and uncoordinated multiple random access in wireless networks. However, such distributed operation of the Medium Access Control (MAC) layer leads to sub-optimal utilization of the shared channel. One of the reasons is the occurrence of collisions when more than one packet is transmitted at the same time. These packets cannot be decoded and retransmissions are necessary. However, it has been recently shown that it is possible to apply signal processing techniques with these collided packets so that useful information can be decoded. This was recently proposed in the Irregular Repetition Slotted ALOHA (IRSA), achieving a throughput $T \simeq 0.97$ for very large MAC frame lengths as long as the number of active users is smaller than the number of slots per frame. In this paper, we extend the operation of IRSA with i) an iterative physical layer decoding processing that exploits the capture effect and ii) a Successive Interference Cancellation (SIC) processing at the slot-level, named intra-slot SIC, to decode more than one colliding packet per slot. We evaluate the performance of the proposed scheme, referred to as Extended IRSA (E-IRSA), in terms of throughput and channel capacity. Computer-based simulation results show that E-IRSA protocol allows to reach the maximum theoretical achievable throughput even in scenarios where the number of active users is higher than the number of slots per frame. Results also show that E-IRSA protocol significantly improves the performance even for small MAC frame lengths used in practical scenarios.


title: Linear versus set valued Kronecker representations

abstract: A set valued representation of the Kronecker quiver is nothing but a quiver. We apply the forgetful functor from vector spaces to sets and compare linear with set valued representations of the Kronecker quiver.


title: Optimizing Point-to-Multipoint Transmissions in High Speed Packet Access Networks

abstract: In this paper an innovative Radio Resource Management (RRM) algorithm is proposed with the purpose of increasing High Speed Packet Access (HSPA) performances, in terms of system capacity and service quality, when the Multimedia Broadcast Multicast Services (MBMS) is supplied. The proposed RRM algorithm exploits channel quality indications to set up point-to-multipoint connections to subgroups of multicast users and to select the proper modulation and coding schemes on the downlink. The number of subgroups is determined through an optimization technique that also takes into account the user satisfaction. An exhaustive simulation campaign is conducted to compare the proposed algorithm with the most promising approaches in the literature. Comparisons aim to assess the capability of the proposed RRM algorithm to efficiently manage group oriented services by providing an increment in terms of user satisfaction.


title: On the Distribution of the Number of Copies of Weakly Connected Digraphs in Random $k$NN Digraphs

abstract: In a digraph with $n$ vertices, a minuscule construct is a subdigraph with $m<<n$ vertices. We study the number of copies of a minuscule constructs in $k$ nearest neighbor ($k$NN) digraph of the data from a random point process in $\mathbb{R}^d$. Based on the asymptotic theory for functionals of point sets under homogeneous Poisson process and binomial point process, we provide a general result for the asymptotic behavior of the number of minuscule constructs and as corollaries, we obtain asymptotic results for the number of vertices with fixed indegree, the number of shared $k$NN pairs and the number of reflexive $k$NN's in a $k$NN digraph.


title: Light quark mass differences in the $\pi^0 - \eta - \eta'$ system

abstract: A generalized 3 flavor Nambu-Jona--Lasinio Lagrangian including the explicit chiral symmetry breaking interactions which contribute at the same order in the large $1/N_c$ counting as the $U_A(1)$ 't Hooft flavor determinant is considered to obtain the mixing angles in the $\pi^0-\eta-\eta'$ system and related current quark mass ratios in close agreement with phenomenological values. At the same time an accurate ordering and magnitude of the splitting of states in the low lying pseudoscalar nonet is obtained.


title: Minimum-Information LQG Control - Part I: Memoryless Controllers

abstract: With the increased demand for power efficiency in feedback-control systems, communication is becoming a limiting factor, raising the need to trade off the external cost that they incur with the capacity of the controller's communication channels. With a proper design of the channels, this translates into a sequential rate-distortion problem, where we minimize the rate of information required for the controller's operation under a constraint on its external cost. Memoryless controllers are of particular interest both for the simplicity and frugality of their implementation and as a basis for studying more complex controllers. In this paper we present the optimality principle for memoryless linear controllers that utilize minimal information rates to achieve a guaranteed external-cost level. We also study the interesting and useful phenomenology of the optimal controller, such as the principled reduction of its order.


title: Minimum-Information LQG Control - Part II: Retentive Controllers

abstract: Retentive (memory-utilizing) sensing-acting agents may operate under limitations on the communication between their sensing, memory and acting components, requiring them to trade off the external cost that they incur with the capacity of their communication channels. In this paper we formulate this problem as a sequential rate-distortion problem of minimizing the rate of information required for the controller's operation under a constraint on its external cost. We reduce this bounded retentive control problem to the memoryless one, studied in Part I of this work, by viewing the memory reader as one more sensor and the memory writer as one more actuator. We further investigate the structure of the resulting optimal solution and demonstrate its interesting phenomenology.


title: Donaldson-Thomas Transformation of Double Bruhat Cells in General Linear Groups

abstract: Kontsevich and Soibelman defined the Donaldson-Thomas invariants of a 3d Calabi-Yau category with a stability condition. Any cluster variety can produce an example of such a category, whose corresponding Donaldson-Thomas invariants are encoded by a special formal automorphism of the cluster variety, known as the Donaldson-Thomas transformation. In this paper we prove a conjecture of Goncharov and Shen in the case of $\mathrm{GL}_n$, which describes the Donaldson-Thomas transformation of the double quotient of the double Bruhat cells $H \backslash \mathrm{GL}_n^{u,v}/H$ where $H$ is a maximal torus, as a certain explicit cluster transformation related to Fomin-Zelevinsky's twist map. Our result, combined with the work of Gross, Hacking, Keel, and Kontsevich, proves the duality conjecture of Fock and Goncharov in the case of $H\backslash \mathrm{GL}_n^{u,v}/H$.


title: Assisted Energy Management in Smart Microgrids

abstract: Demand response provides utilities with a mechanism to share with end users the stochasticity resulting from the use of renewable sources. Pricing is accordingly used to reflect energy availability, to allocate such a limited resource to those loads that value it most. However, the strictly competitive mechanism can result in service interruption in presence of competing demand. To solve this issue we investigate on the use of forward contracts, i.e., service level agreements priced to reflect the expectation of future supply and demand curves. Given the limited resources of microgrids, service interruption is an opposite objective to the one of service availability. We firstly design policy-based brokers and identify then a learning broker based on artificial neural networks. We show the latter being progressively minimizing the reimbursement costs and maximizing the overall profit.


title: Intrinsic Random Functions on the sphere

abstract: Spatial stochastic processes that are modeled over the entire Earth's surface require statistical approaches that directly consider the spherical domain. Here, we extend the notion of intrinsic random functions (IRF) to model non-stationary processes on the sphere and show that low-frequency truncation plays an essential role. Then, the universal kriging formula on the sphere is derived. We show that all of these developments can be presented through the theory of reproducing kernel Hilbert space. In addition, the link between universal kriging and splines is carefully investigated, whereby we show that thin-plate splines are non-applicable for surface fitting on the sphere.


title: Nanoporous monolithic microsphere arrays have anti-adhesive properties independent of humidity

abstract: Bioinspired artificial surfaces with tailored adhesive properties have attracted significant interest. While fibrillar adhesive pads mimicking gecko feet are optimized for strong reversible adhesion, monolithic microsphere arrays mimicking the slippery zone of the pitchers of carnivorous plants of the genus Nepenthes show anti-adhesive properties even against tacky counterpart surfaces. In contrast to the influence of topography, the influence of relative humidity (RH) on adhesion has been widely neglected. Some previous works deal with the influence of RH on the adhesive performance of fibrillar adhesive pads. Commonly, humidity-induced softening of the fibrils enhances adhesion. However, little is known on the influence of RH on solid anti-adhesive surfaces. We prepared polymeric nanoporous monolithic microsphere arrays (NMMAs) with microsphere diameters of a few 10 {\mu}m to test their anti-adhesive properties at RHs of 2 % and 90 %. Despite the presence of continuous nanopore systems through which the inner nanopore walls were accessible to humid air, the topography-induced anti-adhesive properties of NMMAs on tacky counterpart surfaces were retained even at RH = 90 %. This RH-independent robustness of the anti-adhesive properties of NMMAs significantly contrasts the adhesion enhancement by humidity-induced softening on nanoporous fibrillar adhesive pads made of the same material.


title: Spin Nernst Effect of Magnons in Collinear Antiferromagnets

abstract: In a collinear antiferromagnet with easy-axis anisotropy, symmetry guarantees that the spin wave modes are doubly degenerate. The two modes carry opposite spin angular momentum and exhibit opposite chirality. Using a honeycomb antiferromagnet in the presence of the Dzyaloshinskii-Moriya interaction, we show that a longitudinal temperature gradient can drive the two modes to opposite transverse directions, realizing a spin Nernst effect of magnons with vanishing thermal Hall current. We find that magnons around the {\Gamma}-point and the K-point contribute oppositely to the transverse spin transport, and their competition leads to a sign change of the spin Nernst coefficient at finite temperature. Possible material candidates are discussed.


title: Content-Based Interference Management for Video Transmission in D2D Communications Underlaying LTE

abstract: A novel interference management approach is proposed for modern communication scenarios, where multiple applications and networks coexist on the same channel resource. The leading principle behind the proposed approach is that the interference level should be adapted to the content being transmitted by the data links to maximize the amount of delivered information. A network setting is considered where Device-to-Device (D2D) communications underlay a Long Term Evolution (LTE) link uploading video content to the network infrastructure. For this scenario, an optimization problem is formulated aiming at the maximization of the D2D throughput under a constraint on the Peak Signal-to-Noise-Ratio of the video data stream. The resulting optimal policy focuses interference on specific packets within the video stream, and significantly increases the throughput achieved by the D2D link compared to an undifferentiated interference strategy. The optimal strategy is applied to a real-world video streaming application to further demonstrate the performance gain.


title: Spin-Wave and Electromagnon Dispersions in Multiferroic MnWO4 as Observed by Neutron Spectroscopy: Isotropic Heisenberg Exchange versus Anisotropic Dzyaloshinskii-Moriya Interaction

abstract: High resolution inelastic neutron scattering reveals that the elementary magnetic excitations in multiferroic MnWO4 consist of low energy dispersive electromagnons in addition to the well-known spin-wave excitations. The latter can well be modeled by a Heisenberg Hamiltonian with magnetic exchange coupling extending to the 12th nearest neighbor. They exhibit a spin-wave gap of 0.61(1) meV. Two electromagnon branches appear at lower energies of 0.07(1) meV and 0.45(1) meV at the zone center. They reflect the dynamic magnetoelectric coupling and persist in both, the collinear magnetic and paraelectric AF1 phase, and the spin spiral ferroelectric AF2 phase. These excitations are associated with the Dzyaloshinskii-Moriya exchange interaction, which is significant due to the rather large spin-orbit coupling.


title: One more proof of the Abhyankar-Moh-Suzuki theorem

abstract: We extract the Abhyankar-Moh-Suzuki theorem from the Lin-Zaidenberg theorem.


title: The Third Swift Burst Alert Telescope Gamma-Ray Burst Catalog

abstract: To date, the Burst Alert Telescope (BAT) onboard Swift has detected ~ 1000 gamma-ray bursts (GRBs), of which ~ 360 GRBs have redshift measurements, ranging from z = 0.03 to z = 9.38. We present the analyses of the BAT-detected GRBs for the past ~ 11 years up through GRB151027B. We report summaries of both the temporal and spectral analyses of the GRB characteristics using event data (i.e., data for each photon within approximately 250 s before and 950 s after the BAT trigger time), and discuss the instrumental sensitivity and selection effects of GRB detections. We also explore the GRB properties with redshift when possible. The result summaries and data products are available at http://swift.gsfc.nasa.gov/results/batgrbcat/index.html . In addition, we perform searches for GRB emissions before or after the event data using the BAT survey data. We estimate the false detection rate to be only one false detection in this sample. There are 15 ultra-long GRBs (~ 2% of the BAT GRBs) in this search with confirmed emission beyond ~ 1000 s of event data, and only two GRBs (GRB100316D and GRB101024A) with detections in the survey data prior to the starting of event data. (Some figures shown here are in lower resolution due to the size limit on arXiv. The full resolution version can be found at http://swift.gsfc.nasa.gov/results/batgrbcat/3rdBATcatalog.pdf )


title: Reliable Querying of Very Large, Fast Moving and Noisy Predicted Interaction Data using Hierarchical Crowd Curation

abstract: The abundance of predicted and mined but uncertain biological data show huge needs for massive, efficient and scalable curation efforts. The human expertise warranted by any successful curation enterprize is often economically prohibitive especially for speculative end user queries that may not ultimately bear fruit. So the challenge remains in devising a low cost engine capable of delivering fast but tentative annotation and curation of a set of data items that can be authoritatively validated by experts later demanding significantly small investment. The aim thus is to make a large volume of predicted data available for use as early as possible with an acceptable degree of confidence in their accuracy while the curation continues. In this paper, we present a novel approach to annotation and curation of biological database contents using crowd computing. The technical contribution is in the identification and management of trust of mechanical turks, and support for ad hoc declarative queries, both of which are leveraged to support reliable analytics using noisy predicted interactions.


title: Stellar populations in the Carina region: The Galactic plane at l = 291

abstract: Previous studies of the Carina region have revealed its complexity and richness as well as a significant number of early-type stars. In many cases, these studies only concentrated on the central region or were not homogeneous. This latter aspect, in particular, is crucial because very different ages and distances for key clusters have been claimed in recent years. The aim of this work is to study in detail an area of the Galactic plane in Carina. We analyze the properties of different stellar populations and focus on a sample of open clusters and their population of YSOs and highly reddened early stars. We also studied the stellar mass distribution in these clusters and the possible scenario of their formation. Finally, we outline the Galactic spiral structure in this direction. We obtained photometric data for six young open clusters located in Carina at l = 291, and their adjacent stellar fields, which we complemented with spectroscopic observations of a few selected targets. We also culled additional information from the literature. Our results provide more reliable estimates of distances, color excesses, masses, and ages of the stellar populations in this direction. We estimate the basic parameters of the studied clusters and find that they identify two overdensities of young stellar populations. We find evidence of PMS populations inside them, with an apparent coeval stellar formation in the most conspicuous clusters. We also discuss apparent age and distance gradients in the direction NW-SE. We study the mass distributions of several clusters in the region. They consistently show a canonical IMF slope. We discover and characterise an abnormally reddened massive stellar population. Spectroscopic observations of ten stars of this latter population show that all selected targets were massive OB stars. Their location is consistent with the position of the Car-Sag spiral arm.


title: Beyond Zipf's Law: The Lavalette Rank Function and its Properties

abstract: Although Zipf's law is widespread in natural and social data, one often encounters situations where one or both ends of the ranked data deviate from the power-law function. Previously we proposed the Beta rank function to improve the fitting of data which does not follow a perfect Zipf's law. Here we show that when the two parameters in the Beta rank function have the same value, the Lavalette rank function, the probability density function can be derived analytically. We also show both computationally and analytically that Lavalette distribution is approximately equal, though not identical, to the lognormal distribution. We illustrate the utility of Lavalette rank function in several datasets. We also address three analysis issues on the statistical testing of Lavalette fitting function, comparison between Zipf's law and lognormal distribution through Lavalette function, and comparison between lognormal distribution and Lavalette distribution.


title: Advanced broad-band solid-state supermirror polarizers for cold neutrons

abstract: An ideal solid-state supermirror (SM) neutron polarizer assumes total reflection of neutrons from the SM coating for one spin-component and total absorption for the other, thus providing a perfectly polarized neutron beam at the exit. However, in practice, the substrate's neutron-nucleai optical potential does not match perfectly that for spin-down neutrons in the SM. For a positive step in the optical potential (as in a Fe/SiN(x) SM on Si substrate), this mismatch results in spin-independent total reflection for neutrons with small momentum transfer Q, limiting the useful neutron bandwidth in the low-Q region. To overcome this limitation, we propose to replace Si single-crystal substrates by media with higher optical potential than that for spin-down neutrons in the SM ferromagnetic layers. We found single-crystal sapphire and single-crystal quartz as good candidates for solid-state Fe/SiN(x) SM polarizers. To verify this idea, we coated a thick plate of single-crystal sapphire with a m=2.4 Fe/SiN(x) SM. At the T3 instrument at the ILL, we measured the spin-up and spin-down reflectivity curves with 7.5 A neutrons incident from the substrate to the interface between the substrate and the SM coating. The results of this experimental test were in excellent agreement with our expectations: the bandwidth of high polarizing power extended significantly into the low-Q region. This finding, together with the possibility to apply a strong magnetizing field, opens a new road to produce high-efficient solid-state SM polarizers with an extended neutron wavelength bandwidth and near-to-perfect polarizing power.


title: Bavard's duality theorem on conjugation-invariant norms

abstract: Bavard proved a duality theorem between commutator length and quasimorphisms. Burago, Ivanov and Polterovich introduced the notion of a conjugation-invariant norm which is a generalization of commutator length. Entov and Polterovich proved that Oh-Schwarz spectral invariants are subset-controlled quasimorphisms which are geralizations of quasimorphisms. In the present paper, we prove a Bavard-type duality theorem between conjugation-invariant (pseudo-)norms and subset-controlled quasimorphisms on stable groups. %We also give an application of its generalization to symplectic geometry related to Entov-Polterovich's theory on heavy subsets. We also pose a generalization of our main theorem and prove that "stably non-displaceable subsets of symplectic manifolds are heavy" in a rough sense if that generalization holds.


title: Efficient Deployment of Multiple Unmanned Aerial Vehicles for Optimal Wireless Coverage

abstract: In this paper, the efficient deployment of multiple unmanned aerial vehicles (UAVs) with directional antennas acting as wireless base stations that provide coverage for ground users is analyzed. First, the downlink coverage probability for UAVs as a function of the altitude and the antenna gain is derived. Next, using circle packing theory, the three-dimensional locations of the UAVs is determined in a way that the total coverage area is maximized while maximizing the coverage lifetime of the UAVs. Our results show that, in order to mitigate interference, the altitude of the UAVs must be properly adjusted based on the beamwidth of the directional antenna as well as coverage requirements. Furthermore, the minimum number of UAVs needed to guarantee a target coverage probability for a given geographical area is determined. Numerical results evaluate the various tradeoffs involved in various UAV deployment scenarios.


title: Analysis of polarizability measurements made with atom interferometry

abstract: We present revised measurements of the static electric dipole polarizabilities of K, Rb, and Cs based on atom interferometer experiments presented in [Phys. Rev. A 2015, 92, 052513] but now re-analyzed with new calibrations for the magnitude and geometry of the applied electric field gradient. The resulting polarizability values did not change, but the uncertainties were significantly reduced. Then we interpret several measurements of alkali metal atomic polarizabilities in terms of atomic oscillator strengths $f_{ik}$, Einstein coefficients $A_{ik}$, state lifetimes $\tau_{k}$, transition dipole matrix elements $D_{ik}$, line strengths $S_{ik}$, and van der Waals $C_6$ coefficients. Finally, we combine atom interferometer measurements of polarizabilities with independent measurements of lifetimes and $C_6$ values in order to quantify the residual contribution to polarizability due to all atomic transitions other than the principal $ns$-$np_J$ transitions for alkali metal atoms.


title: Heavy subsets and non-contractible trajectories

abstract: Entov and Polterovich defined heaviness for closed subsets of a symplectic manifold by using the Hamiltonian Floer theory on contractible trajectories. Heavy subsets are known to be non-displaceable. In the present paper, we define a relative symplectic capacity $C(M,X,R;e)$ for a symplectic manifold $(M,\omega)$ and its subset $X$ which measures the existence of non-contractible trajectories of Hamiltonian isotopies on the product with annulus. We prove that $C(M,X,R;e)$ is finite if $(M,\omega)$ is monotone and $X$ is a heavy subset. We also prove that $C(M,X,R;e)$ is infinite if $X$ is a displaceable compact subset.


title: Content-based Cognitive Interference Control for City Monitoring Applications in the Urban IoT

abstract: In the Urban Internet of Things devices and systems are interconnected at the city scale to provide innovative services to the citizens.However, the traffic generated by the sensing and processing systems may overload local access networks. A coexistence problem arises where concurrent applications mutually interfere and compete for available resources. This effect is further aggravated by the multiple scales involved and heterogeneity of the networks supporting the urban IoT. One of the main contributions of this paper is the introduction of the notion of content-oriented cognitive interference control in heterogeneous local access networks supporting computing and data processing in the urban IoT. A network scenario where multiple communication technologies, such as Device-to-Device and Long Term Evolution (LTE), is considered. The focus of the present paper is on city monitoring applications, where a video data stream generated by a camera system is remotely processed to detect objects. The cognitive network paradigm is extended to dynamically shape the interference pattern generated by concurrent data streams and induce a packet loss trajectory compatible with video processing algorithms. Numerical results show that the proposed cognitive transmission strategy enables a significant throughput increase of interfering applications for a target accuracy of the monitoring application.


title: Distributed Graphical Simulation in the Cloud

abstract: Graphical simulations are a cornerstone of modern media and films. But existing software packages are designed to run on HPC nodes, and perform poorly in the computing cloud. These simulations have complex data access patterns over complex data structures, and mutate data arbitrarily, and so are a poor fit for existing cloud computing systems. We describe a software architecture for running graphical simulations in the cloud that decouples control logic, computations and data exchanges. This allows a central controller to balance load by redistributing computations, and recover from failures. Evaluations show that the architecture can run existing, state-of-the-art simulations in the presence of stragglers and failures, thereby enabling this large class of applications to use the computing cloud for the first time.


title: $\mathfrak G$-bases in free (locally convex) topological vector spaces

abstract: We characterize topological (and uniform) spaces whose free (locally convex) topological vector spaces have a local $\mathfrak G$-base. A topological space $X$ has a local $\mathfrak G$-base if every point $x$ of $X$ has a neighborhood base $(U_\alpha)_{\alpha\in\omega^\omega}$ such that $U_\beta\subset U_\alpha$ for all $\alpha\le\beta$ in $\omega^\omega$. To construct $\mathfrak G$-bases in free topological vector spaces, we exploit a new description of the topology of a free topological vector space over a topological (or more generally, uniform) space.


title: BICEP2 / Keck Array VIII: Measurement of gravitational lensing from large-scale B-mode polarization

abstract: We present measurements of polarization lensing using the 150 GHz maps which include all data taken by the BICEP2 & Keck Array CMB polarization experiments up to and including the 2014 observing season (BK14). Despite their modest angular resolution ($\sim 0.5^\circ$), the excellent sensitivity ($\sim 3\mu$K-arcmin) of these maps makes it possible to directly reconstruct the lensing potential using only information at larger angular scales ($\ell\leq 700$). From the auto-spectrum of the reconstructed potential we measure an amplitude of the spectrum to be $A^{\phi\phi}_{\rm L}=1.15\pm 0.36$ (Planck $\Lambda$CDM prediction corresponds to $A^{\phi\phi}_{\rm L}=1$), and reject the no-lensing hypothesis at 5.8$\sigma$, which is the highest significance achieved to date using an EB lensing estimator. Taking the cross-spectrum of the reconstructed potential with the Planck 2015 lensing map yields $A^{\phi\phi}_{\rm L}=1.13\pm 0.20$. These direct measurements of $A^{\phi\phi}_{\rm L}$ are consistent with the $\Lambda$CDM cosmology, and with that derived from the previously reported BK14 B-mode auto-spectrum ($A^{\rm BB}_{\rm L}=1.20\pm 0.17$). We perform a series of null tests and consistency checks to show that these results are robust against systematics and are insensitive to analysis choices. These results unambiguously demonstrate that the B-modes previously reported by BICEP / Keck at intermediate angular scales ($150\lesssim\ell\lesssim 350$) are dominated by gravitational lensing. The good agreement between the lensing amplitudes obtained from the lensing reconstruction and B-mode spectrum starts to place constraints on any alternative cosmological sources of B-modes at these angular scales.


title: Power of Ordered Hypothesis Testing

abstract: Ordered testing procedures are multiple testing procedures that exploit a pre-specified ordering of the null hypotheses, from most to least promising. We analyze and compare the power of several recent proposals using the asymptotic framework of Li & Barber (2015). While accumulation tests including ForwardStop can be quite powerful when the ordering is very informative, they are asymptotically powerless when the ordering is weaker. By contrast, Selective SeqStep, proposed by Barber & Cand\`es (2015), is much less sensitive to the quality of the ordering. We compare the power of these procedures in different r\'egimes, concluding that Selective SeqStep dominates accumulation tests if either the ordering is weak or non-null hypotheses are sparse or weak. Motivated by our asymptotic analysis, we derive an improved version of Selective SeqStep which we call Adaptive SeqStep, analogous to Storey's improvement on the Benjamini-Hochberg procedure. We compare these methods using the GEOQuery data set analyzed by Li & Barber (2015) and find Adaptive SeqStep has favorable performance for both good and bad prior orderings.


title: Stabilization of difference equations with noisy proportional feedback control

abstract: Given a deterministic difference equation $x_{n+1}= f(x_n)$, we would like to stabilize any point $x^{\ast}\in (0, f(b))$, where $b$ is a unique maximum point of $f$, by introducing proportional feedback (PF) control. We assume that PF control contains either a multiplicative $x_{n+1}= f\left( (\nu + \ell\chi_{n+1})x_n \right)$ or an additive noise $x_{n+1}=f(\lambda x_n) +\ell\chi_{n+1}$. We study conditions under which the solution eventually enters some interval, treated as a stochastic (blurred) equilibrium. In addition, we prove that, for each $\varepsilon>0$, when the noise level $\ell$ is sufficiently small, all solutions eventually belong to the interval $(x^{\ast}-\varepsilon,x^{\ast}+\varepsilon)$.


title: Mal-Netminer: Malware Classification Approach based on Social Network Analysis of System Call Graph

abstract: As the security landscape evolves over time, where thousands of species of malicious codes are seen every day, antivirus vendors strive to detect and classify malware families for efficient and effective responses against malware campaigns. To enrich this effort, and by capitalizing on ideas from the social network analysis domain, we build a tool that can help classify malware families using features driven from the graph structure of their system calls. To achieve that, we first construct a system call graph that consists of system calls found in the execution of the individual malware families. To explore distinguishing features of various malware species, we study social network properties as applied to the call graph, including the degree distribution, degree centrality, average distance, clustering coefficient, network density, and component ratio. We utilize features driven from those properties to build a classifier for malware families. Our experimental results show that influence-based graph metrics such as the degree centrality are effective for classifying malware, whereas the general structural metrics of malware are less effective for classifying malware. Our experiments demonstrate that the proposed system performs well in detecting and classifying malware families within each malware class with accuracy greater than 96%.


title: Scalable, Fast Cloud Computing with Execution Templates

abstract: Large scale cloud data analytics applications are often CPU bound. Most of these cycles are wasted: benchmarks written in C++ run 10-51 times faster than frameworks such as Naiad and Spark. However, calling faster implementations from those frameworks only sees moderate (3-5x) speedups because their control planes cannot schedule work fast enough. This paper presents execution templates, a control plane abstraction for CPU-bound cloud applications, such as machine learning. Execution templates leverage highly repetitive control flow to cache scheduling decisions as {\it templates}. Rather than reschedule hundreds of thousands of tasks on every loop execution, nodes instantiate these templates. A controller's template specifies the execution across all worker nodes, which it partitions into per-worker templates. To ensure that templates execute correctly, controllers dynamically patch templates to match program control flow. We have implemented execution templates in Nimbus, a C++ cloud computing framework. Running in Nimbus, analytics benchmarks can run 16-43 times faster than in Naiad and Spark. Nimbus's control plane can scale out to run these faster benchmarks on up to 100 nodes (800 cores).


title: Isometric copies of directed trees in orientations of graphs

abstract: For every $n\in\mathbb N$ we construct a finite graph $G$ such that every orientation $\vec G$ of $G$ contains an isometric copy of any oriented tree on $n$ vertices, and evaluate the smallest possible cardinality of $G$. On the other hand, we prove that every graph $G$ admits an orientation containing no directed $\omega$-paths of infinite diameter.


title: Tensor algebras and decorated representations

abstract: In arXiv:1506.05880 we gave a generalization of the theory of quivers with potentials introduced by Derksen-Weyman-Zelevinsky, via completed tensor algebras over $S$-bimodules where $S$ is a finite dimensional basic semisimple algebra. In this paper we show how to extend this construction to the level of decorated representations and we prove that mutation of decorated representations is an involution. Moreover, we prove that there exists a nearly Morita equivalence between the Jacobian algebras which are related via mutation. This generalizes the construction given by Buan-Iyama-Reiten-Smith.


title: Absolute Combinatorial Game Theory

abstract: We propose a unifying additive theory for standard conventions in Combinatorial Game Theory, including normal-, mis\`ere- and scoring-play, studied by Berlekamp, Conway, Dorbec, Ettinger, Guy, Larsson, Milley, Neto, Nowakowski, Renault, Santos, Siegel, Sopena, Stewart (1976-2019), and others. A game {\em universe} is a set of games that satisfies some standard closure properties. Here, we reveal when the fundamental game comparison problem, ``Is $G\su H$?'', simplifies to a constructive `local' solution, which generalizes Conway's foundational result in ONAG (1976) for normal-play games. This happens in a broad and general fashion whenever a given game universe is {\em absolute}. Games in an absolute universe satisfy two properties, dubbed {\em parentality} and {\em saturation}, and we prove that the latter is implied by the former. Parentality means that any pair of non-empty finite sets of games is admissible as options, and saturation means that, given any game, the first player can be favored in a disjunctive sum. Game comparison is at the core of combinatorial game theory, and for example efficiency of potential reduction theorems rely on a local comparison. We distinguish between three levels of game comparison; superordinate (global), basic (semi-constructive) and subordinate (local) comparison. In proofs, a sometimes tedious challenge faces a researcher in CGT: in order to disprove an inequality, an explicit distinguishing game might be required. Here, we explain how this job becomes obsolete whenever a universe is absolute. Namely, it suffices to see if a pair of games satisfies a certain Proviso together with a Maintenance of an inequality.


title: Uniformity, Universality, and Computability Theory

abstract: We prove a number of results motivated by global questions of uniformity in computability theory, and universality of countable Borel equivalence relations. Our main technical tool is a game for constructing functions on free products of countable groups. We begin by investigating the notion of uniform universality, first proposed by Montalb\'an, Reimann and Slaman. This notion is a strengthened form of a countable Borel equivalence relation being universal, which we conjecture is equivalent to the usual notion. With this additional uniformity hypothesis, we can answer many questions concerning how countable groups, probability measures, the subset relation, and increasing unions interact with universality. For many natural classes of countable Borel equivalence relations, we can also classify exactly which are uniformly universal. We also show the existence of refinements of Martin's ultrafilter on Turing invariant Borel sets to the invariant Borel sets of equivalence relations that are much finer than Turing equivalence. For example, we construct such an ultrafilter for the orbit equivalence relation of the shift action of the free group on countably many generators. These ultrafilters imply a number of structural properties for these equivalence relations.


title: Geometric Divisors in Normal Local Domains

abstract: Let A be the local ring at a point of a normal complex variety with completion R. Srinivas has asked about the possible images of the induced map from Cl A to Cl R over all geometric normal domains A with fixed completion R. We use Noether-Lefschetz theory to prove that all finitely generated subgroups are possible in some familiar cases. As a byproduct we show that every finitely generated abelian group appears as the class group of the local ring at the vertex of a cone over some smooth complex variety of each positive dimension.


title: Combinatorial descriptions of the crystal structure on certain PBW bases

abstract: Using the theory of PBW bases, one can realize the crystal $B(\infty)$ for any semisimple Lie algebra over $\mathbf{C}$ using Kostant partitions as the underlying set. In fact there are many such realizations, one for each reduced expression for the longest element of the Weyl group. There is an algorithm to calculate the actions of the crystal operators, but it can be quite complicated. Here we show that, for certain reduced expressions, the crystal operators can also be described by a much simpler bracketing rule. We give conditions describing these reduced expressions, and show that there is at least one example in every type except possibly $E_8$, $F_4$ and $G_2$. We then discuss some examples.


title: Exploring the Design Space of Longitudinal Censorship Measurement Platforms

abstract: Despite the high perceived value and increasing severity of online information controls, a data-driven understanding of the phenomenon has remained elusive. In this paper, we consider two design points in the space of Internet censorship measurement with particular emphasis on how they address the challenges of locating vantage points, choosing content to test, and analyzing results. We discuss the trade offs of decisions made by each platform and show how the resulting data provides complementary views of global censorship. Finally, we discuss lessons learned and open challenges discovered through our experiences.


title: Open-source Hardware: Opportunities and Challenges

abstract: Innovation in hardware is slowing due to rising costs of chip design and diminishing benefits from Moore's law and Dennard scaling. Software innovation, on the other hand, is flourishing, helped in good measure by a thriving open-source ecosystem. We believe that open source can similarly help hardware innovation, but has not yet due to several reasons. We identify these reasons and how the industry, academia, and the hardware community at large can come together to address them.


title: Deep neural networks are robust to weight binarization and other non-linear distortions

abstract: Recent results show that deep neural networks achieve excellent performance even when, during training, weights are quantized and projected to a binary representation. Here, we show that this is just the tip of the iceberg: these same networks, during testing, also exhibit a remarkable robustness to distortions beyond quantization, including additive and multiplicative noise, and a class of non-linear projections where binarization is just a special case. To quantify this robustness, we show that one such network achieves 11% test error on CIFAR-10 even with 0.68 effective bits per weight. Furthermore, we find that a common training heuristic--namely, projecting quantized weights during backpropagation--can be altered (or even removed) and networks still achieve a base level of robustness during testing. Specifically, training with weight projections other than quantization also works, as does simply clipping the weights, both of which have never been reported before. We confirm our results for CIFAR-10 and ImageNet datasets. Finally, drawing from these ideas, we propose a stochastic projection rule that leads to a new state of the art network with 7.64% test error on CIFAR-10 using no data augmentation.


title: Self-dual nonsymmetric operads with two binary operations

abstract: We consider nonsymmetric operads with two binary operations satisfying relations in arity 3; hence these operads are quadratic, and so we can investigate Koszul duality. We first consider operations which are nonassociative (not necessarily associative) and then specialize to the associative case. We obtain a complete classification of self-dual quadratic nonsymmetric operads with two (associative or nonassociative) binary operations. These operads generalize associativity for one operation to the setting of two operations.


title: The redshift selected sample of long gamma-ray burst host galaxies: the overall metallicity distribution at $z < 0.4$

abstract: We discuss the host galaxy metallicity distribution of all long gamma-ray bursts (GRBs) whose redshifts are known to be $< 0.4$, including newly obtained spectroscopic datasets of the host galaxies of GRB 060614, 090417B, and 130427A. We compare the metallicity distribution of the low-redshift sample to the model predictions, and constrain the relation between metallicity and GRB occurrence. We take account of spatial variation of metallicities among star forming regions within a galaxy. We found that the models, in which only low-metallicity stars produce GRBs with a sharp cutoff of GRB production efficiency around 12+log(O/H) $\sim$ 8.3, can well reproduce the observed distribution, while the models with no metallicity dependence are not consistent with the observations. We also discuss possible sampling biases we may suffer by collecting long GRBs whose redshifts are known, presenting the photometric observations of the host galaxy of GRB 111225A at $z = 0.297$ whose redshift has been undetermined until $\sim$ 2.3 years after the burst.


title: Expectile Matrix Factorization for Skewed Data Analysis

abstract: Matrix factorization is a popular approach to solving matrix estimation problems based on partial observations. Existing matrix factorization is based on least squares and aims to yield a low-rank matrix to interpret the conditional sample means given the observations. However, in many real applications with skewed and extreme data, least squares cannot explain their central tendency or tail distributions, yielding undesired estimates. In this paper, we propose \emph{expectile matrix factorization} by introducing asymmetric least squares, a key concept in expectile regression analysis, into the matrix factorization framework. We propose an efficient algorithm to solve the new problem based on alternating minimization and quadratic programming. We prove that our algorithm converges to a global optimum and exactly recovers the true underlying low-rank matrices when noise is zero. For synthetic data with skewed noise and a real-world dataset containing web service response times, the proposed scheme achieves lower recovery errors than the existing matrix factorization method based on least squares in a wide range of settings.


title: Adaptation is Useless for Two Discrete Additive-Noise Two-Way Channels

abstract: In two-way channels, each user transmits and receives at the same time. This allows each encoder to interactively adapt the current input to its own message and all previously received signals. Such coding approach can introduce correlation between inputs of different users, since all the users' outputs are correlated by the nature of the channel. However, for some channels, such adaptation in the coding scheme and its induced correlation among users are useless in the sense that they do not help enlarge the capacity region with respect to the standard coding method (where each user encodes only based on its own message). In this paper, it is shown that adaptation is not helpful for enlarging the capacity region of two classes of two-way discrete channels: the modulo additive-noise channel with memory and the multiple access/degraded broadcast channel.


title: A Continuous Analogue of Lattice Path Enumeration: Part II

abstract: Here are exhibited some additional results about the continuous binomial coefficients as introduced by L. Cano and R. Diaz in [1].


title: Spatial spreading model and dynamics of West Nile virus in birds and mosquitoes with free boundary

abstract: In this paper, a reaction-diffusion system is proposed to model the spatial spreading of West Nile virus in vector mosquitoes and host birds in North America. Infection dynamics are based on a simplified model for cross infection between mosquitoes and birds, and the free boundary is introduced to model and explore the expanding front of the infective region. The spatial-temporal risk index $R_0^F(t)$, which involves time and characters of the region, is defined for the simplified model with the free boundary to compare with other related threshold values, including the usual basic reproduction number $R_0$. Sufficient conditions for the virus to vanish or spread are given. Our results suggest that the virus will be in a scenario of vanishing if $R_0\leq 1$, and the virus will spread to the whole region if $R_{0}^F(t_0)\geq 1$ for some $t_0\geq 0$, while if $R^F_0(0)<1<R_0$, the spreading or vanishing of the virus depends on the initial numbers of infected mosquitoes and birds, the area of the infected region and diffusion rates. Moreover, some remarks on the basic reproduction numbers and the spreading speed are presented and compared.


title: Topologically twisted renormalization group flow and its holographic dual

abstract: Euclidean field theories admit more general deformations than usually discussed in quantum field theories because of mixing between rotational symmetry and internal symmetry (a.k.a topological twist). Such deformations may be relevant, and if the subsequent renormalization group flow leads to a non-trivial fixed point, it generically gives rise to a scale invariant Euclidean field theory without conformal invariance. Motivated by an ansatz studied in cosmological models some time ago, we develop a holographic dual description of such renormalization group flows in the context of AdS/CFT. We argue that the non-trivial fixed points require fine-tuning of the bulk theory in general, but remarkably we find that the $O(3)$ Yang-Mills theory coupled with the four-dimensional Einstein gravity in the minimal manner supports such a background with the Euclidean AdS metric.


title: A Duality Web in 2+1 Dimensions and Condensed Matter Physics

abstract: Building on earlier work in the high energy and condensed matter communities, we present a web of dualities in $2+1$ dimensions that generalize the known particle/vortex duality. Some of the dualities relate theories of fermions to theories of bosons. Others relate different theories of fermions. For example, the long distance behavior of the $2+1$-dimensional analog of QED with a single Dirac fermion (a theory known as $U(1)_{1/2}$) is identified with the $O(2)$ Wilson-Fisher fixed point. The gauged version of that fixed point with a Chern-Simons coupling at level one is identified as a free Dirac fermion. The latter theory also has a dual version as a fermion interacting with some gauge fields. Assuming some of these dualities, other dualities can be derived. Our analysis resolves a number of confusing issues in the literature including how time reversal is realized in these theories. It also has many applications in condensed matter physics like the theory of topological insulators (and their gapped boundary states) and the problem of electrons in the lowest Landau level at half filling. (Our techniques also clarify some points in the fractional Hall effect and its description using flux attachment.) In addition to presenting several consistency checks, we also present plausible (but not rigorous) derivations of the dualities and relate them to $3+1$-dimensional $S$-duality.


title: Neural Network Models for Implicit Discourse Relation Classification in English and Chinese without Surface Features

abstract: Inferring implicit discourse relations in natural language text is the most difficult subtask in discourse parsing. Surface features achieve good performance, but they are not readily applicable to other languages without semantic lexicons. Previous neural models require parses, surface features, or a small label set to work well. Here, we propose neural network models that are based on feedforward and long-short term memory architecture without any surface features. To our surprise, our best configured feedforward architecture outperforms LSTM-based model in most cases despite thorough tuning. Under various fine-grained label sets and a cross-linguistic setting, our feedforward models perform consistently better or at least just as well as systems that require hand-crafted surface features. Our models present the first neural Chinese discourse parser in the style of Chinese Discourse Treebank, showing that our results hold cross-linguistically.


title: Operational approach to Bell inequalities: applications to qutrits

abstract: Bell inequalities can be studied both as constraints in the space of probability distributions and as expectation values of multipartite operators. The latter approach is particularly useful when considering outcomes as eigenvalues of unitary operators. This brings the possibility of exploiting the complex structure of the coefficients in the Bell operators. We investigate this avenue of though in the known case of two outcomes, and find new Bell inequalities for the cases of three outcomes and $n=3,4,5$ and $6$ parties. We find their corresponding classical bounds and their maximum violation in the case of qutrits. We further propose a novel way to generate Bell inequalities based on a mapping from maximally entangled states to Bell operators and produce examples for different outcomes and number of parties.


title: An Active Set Algorithm for Nonlinear Optimization with Polyhedral Constraints

abstract: A polyhedral active set algorithm PASA is developed for solving a nonlinear optimization problem whose feasible set is a polyhedron. Phase one of the algorithm is the gradient projection method, while phase two is any algorithm for solving a linearly constrained optimization problem. Rules are provided for branching between the two phases. Global convergence to a stationary point is established, while asymptotically PASA performs only phase two when either a nondegeneracy assumption holds, or the active constraints are linearly independent and a strong second-order sufficient optimality condition holds.


title: Asynchronous Multi-Agent Primal-Dual Optimization

abstract: We present a framework for asynchronously solving convex optimization problems over networks of agents which are augmented by the presence of a centralized cloud computer. This framework uses a Tikhonov-regularized primal-dual approach in which the agents update the system's primal variables and the cloud updates its dual variables. To minimize coordination requirements placed upon the system, the times of communications and computations among the agents are allowed to be arbitrary, provided they satisfy mild conditions. Communications from the agents to the cloud are likewise carried out without any coordination in their timing. However, we require that the cloud keep the dual variable's value synchronized across the agents, and a counterexample is provided that demonstrates that this level of synchrony is indeed necessary for convergence. Convergence rate estimates are provided in both the primal and dual spaces, and simulation results are presented that demonstrate the operation and convergence of the proposed algorithm.


title: CFO: Conditional Focused Neural Question Answering with Large-scale Knowledge Bases

abstract: How can we enable computers to automatically answer questions like "Who created the character Harry Potter"? Carefully built knowledge bases provide rich sources of facts. However, it remains a challenge to answer factoid questions raised in natural language due to numerous expressions of one question. In particular, we focus on the most common questions --- ones that can be answered with a single fact in the knowledge base. We propose CFO, a Conditional Focused neural-network-based approach to answering factoid questions with knowledge bases. Our approach first zooms in a question to find more probable candidate subject mentions, and infers the final answers with a unified conditional probabilistic framework. Powered by deep recurrent neural networks and neural embeddings, our proposed CFO achieves an accuracy of 75.7% on a dataset of 108k questions - the largest public one to date. It outperforms the current state of the art by an absolute margin of 11.8%.


title: Structurable equivalence relations

abstract: For a class $\mathcal K$ of countable relational structures, a countable Borel equivalence relation $E$ is said to be $\mathcal K$-structurable if there is a Borel way to put a structure in $\mathcal K$ on each $E$-equivalence class. We study in this paper the global structure of the classes of $\mathcal K$-structurable equivalence relations for various $\mathcal K$. We show that $\mathcal K$-structurability interacts well with several kinds of Borel homomorphisms and reductions commonly used in the classification of countable Borel equivalence relations. We consider the poset of classes of $\mathcal K$-structurable equivalence relations for various $\mathcal K$, under inclusion, and show that it is a distributive lattice; this implies that the Borel reducibility preordering among countable Borel equivalence relations contains a large sublattice. Finally, we consider the effect on $\mathcal K$-structurability of various model-theoretic properties of $\mathcal K$. In particular, we characterize the $\mathcal K$ such that every $\mathcal K$-structurable equivalence relation is smooth, answering a question of Marks.


title: Interpreting tunneling time in circularly polarized strong-laser ionization

abstract: We propose a method to study the tunneling process by analyzing the time-dependent ionization yield in circularly polarized laser. A numerical calculation shows that for an atom exposed to a long laser pulse, if its initial electronic state wave function is non-spherical symmetric, the delayed phase shift of the ionization rate vs. the laser cycle period in real time in the region close to the peak intensity of the laser pulse can be used to probe the tunneling time. In this region, an obvious delay phase shift is observed, showing the tunneling time is in order of tens of attoseconds. Further study shows the atom has a longer tunneling time in the ionization under a shorter wavelength laser pulse. In our method, a Wigner rotation technique is employed to numerically solve the time-dependent Schr\"odinger equation of a single-active-electron in a three dimensional spherical coordinate system.


title: Modeling the effect of transient violations of the second law of thermodynamics on heat transfer in silicon nanowire

abstract: Violations of the second law of thermodynamics for small systems well below the thermodynamic limit has already been experimentally observed. However, the effects of such violations on experimentally measurable quantities have not been studied in detail. Here we report the effect of transient violations, i.e., spontaneous transfer of heat from cold to hot objects, on heat transfer in silicon nanowire by modeling the violations as a Poisson process. Our modeling and simulations show that it is increasingly difficult to cool down the nanoscale objects to the bath temperature, there is a transition from power law to exponential behavior, and the fluctuations have inverse square law dependence on number of sites.


title: A remark on equisingular approximations of quasi-plurisubharmonic functions

abstract: In this note, we will present global equisingular approximations of quasi-plurisubharmonic functions with stable analytic pluripolar sets on compact complex manifolds.


title: Enhanced current noise correlations in a Coulomb-Majorana device

abstract: Majorana bound states (MBSs) nested in a topological nanowire are predicted to manifest nonlocal correlations in the presence of a finite energy splitting between the MBSs. However, the signal of the nonlocal correlations has not yet been detected in experiments. A possible reason is that the energy splitting is too weak and seriously affected by many system parameters. Here we investigate the charging energy induced nonlocal correlations in a hybrid device of MBSs and quantum dots. The nanowire that hosts the MBSs is assumed in proximity to a mesoscopic superconducting island with a finite charging energy. Each end of the nanowire is coupled to one lead via a quantum dot with resonant levels. With a floating superconducting island, the devices shows a negative differential conductance and giant super-Poissonian shot noise, due to the interplay between the nonlocality of the MBSs and dynamical Coulomb blockade effect. When the island is strongly coupled to a bulk superconductor, the current cross correlations at small lead chemical potentials are negative by tuning the dot energy levels. In contrast, the cross correlation is always positive in a non-Majorana setup. This difference may provide a signature for the existence of the MBSs.


title: Intrinsic charm content of the nucleon and charmness-nucleon sigma term

abstract: In the extended chiral constituent quark model, the intrinsic $c \bar{c}$ content of the nucleon is investigated. The probabilities of the quark-antiquark components in the nucleon wave functions are calculated by taking the nucleon to be admixtures of three- and five-quark components, with the relevant transitions handled {\it via} the $^{3}$P$_{0}$ mechanism. Predictions for the probability of the $c \bar{c}$ in the nucleon wave function and the charmness-nucleon sigma term are presented. Our numerical results turn out to be consistent with the predictions from various other approaches reported in the literature.


title: Reconfigurable Microwave Photonic Topological Insulator

abstract: Using full 3D finite element simulation and underlining Hamiltonian models, we demonstrate reconfigurable photonic analogues of topological insulators on a regular lattice of tunable posts in a re-entrant 3D lumped element type system. The tunability allows dynamical {\it in-situ} change of media chirality and other properties via alteration of the same parameter for all posts, and as a result, great flexibility in choice of bulk/edge configurations. Additionally, one way photon transport without an external magnetic field is demonstrated. The ideas are illustrated by using both full finite element simulation as well as simplified harmonic oscillator models. Dynamical reconfigurability of the proposed systems paves the way to a new class of systems that can be employed for random access, topological signal processing and sensing.


title: Cherkis bow varieties and Coulomb branches of quiver gauge theories of affine type $A$

abstract: We show that Coulomb branches of quiver gauge theories of affine type $A$ are Cherkis bow varieties, which have been introduced as ADHM type description of moduli space of instantons on the Taub-NUT space equivariant under a cyclic group action.


title: Memory-enhanced Decoder for Neural Machine Translation

abstract: We propose to enhance the RNN decoder in a neural machine translator (NMT) with external memory, as a natural but powerful extension to the state in the decoding RNN. This memory-enhanced RNN decoder is called \textsc{MemDec}. At each time during decoding, \textsc{MemDec} will read from this memory and write to this memory once, both with content-based addressing. Unlike the unbounded memory in previous work\cite{RNNsearch} to store the representation of source sentence, the memory in \textsc{MemDec} is a matrix with pre-determined size designed to better capture the information important for the decoding process at each time step. Our empirical study on Chinese-English translation shows that it can improve by $4.8$ BLEU upon Groundhog and $5.3$ BLEU upon on Moses, yielding the best performance achieved with the same training set.


title: Limit Theorems for Generalized Baker's Transformations

abstract: In this paper we study decay of correlations and limit theorems for generalized baker's transformations. Our examples are piecewise non-uniformly hyperbolic maps on the unit square that posses two spatially separated lines of indifferent fixed points. We obtain sharp rates of mixing for Lipschitz functions on the unit square and limit theorems for H\"older observables on the unit square. Some of our limit theorems exhibit convergence to non-normal stable distributions for H\"older observables. We observe that stable distributions with any skewness parameter in the allowable range of $[-1,1]$ can be obtained as a limit and derive an explicit relationship between the skewness parameter and the values of the H\"older observable along the lines of indifferent fixed points. This paper is the first application of anisotropic Banach space methods and operator renewal theory to generalized baker's transformations. Our decay of correlations results recover the results of Bose and Murray. Our results on limit theorems are new for generalized baker's transformations.


title: Heat kernels of non-symmetric jump processes: beyond the stable case

abstract: Let $J$ be the L\'evy density of a symmetric L\'evy process in $\mathbb{R}^d$ with its L\'evy exponent satisfying a weak lower scaling condition at infinity. Consider the non-symmetric and non-local operator $$ {\mathcal L}^{\kappa}f(x):= \lim_{\epsilon \downarrow 0} \int_{\{z \in \mathbb{R}^d: |z|>\epsilon\}}(f(x+z)-f(x))\kappa(x,z)J(z)\, dz\, , $$ where $\kappa(x,z)$ is a Borel measurable function on $\mathbb{R}^d\times \mathbb{R}^d$ satisfying $0<\kappa_0\le \kappa(x,z)\le \kappa_1$, $\kappa(x,z)=\kappa(x,-z)$ and $|\kappa(x,z)-\kappa(y,z)|\le \kappa_2|x-y|^{\beta}$ for some $\beta\in (0, 1)$. We construct the heat kernel $p^\kappa(t, x, y)$ of ${\mathcal L}^\kappa$, establish its upper bound as well as its fractional derivative and gradient estimates. Under an additional weak upper scaling condition at infinity, we also establish a lower bound for the heat kernel $p^\kappa$.


title: Incorporating Discrete Translation Lexicons into Neural Machine Translation

abstract: Neural machine translation (NMT) often makes mistakes in translating low-frequency content words that are essential to understanding the meaning of the sentence. We propose a method to alleviate this problem by augmenting NMT systems with discrete translation lexicons that efficiently encode translations of these low-frequency words. We describe a method to calculate the lexicon probability of the next word in the translation candidate by using the attention vector of the NMT model to select which source word lexical probabilities the model should focus on. We test two methods to combine this probability with the standard NMT probability: (1) using it as a bias, and (2) linear interpolation. Experiments on two corpora show an improvement of 2.0-2.3 BLEU and 0.13-0.44 NIST score, and faster convergence time.


title: iFogSim: A Toolkit for Modeling and Simulation of Resource Management Techniques in Internet of Things, Edge and Fog Computing Environments

abstract: Internet of Things (IoT) aims to bring every object (e.g. smart cameras, wearable, environmental sensors, home appliances, and vehicles) online, hence generating massive amounts of data that can overwhelm storage systems and data analytics applications. Cloud computing offers services at the infrastructure level that can scale to IoT storage and processing requirements. However, there are applications such as health monitoring and emergency response that require low latency, and delay caused by transferring data to the cloud and then back to the application can seriously impact their performances. To overcome this limitation, Fog computing paradigm has been proposed, where cloud services are extended to the edge of the network to decrease the latency and network congestion. To realize the full potential of Fog and IoT paradigms for real-time analytics, several challenges need to be addressed. The first and most critical problem is designing resource management techniques that determine which modules of analytics applications are pushed to each edge device to minimize the latency and maximize the throughput. To this end, we need a evaluation platform that enables the quantification of performance of resource management policies on an IoT or Fog computing infrastructure in a repeatable manner. In this paper we propose a simulator, called iFogSim, to model IoT and Fog environments and measure the impact of resource management techniques in terms of latency, network congestion, energy consumption, and cost. We describe two case studies to demonstrate modeling of an IoT environment and comparison of resource management policies. Moreover, scalability of the simulation toolkit in terms of RAM consumption and execution time is verified under different circumstances.


title: A new type of sharp bounds for ratios of modified Bessel functions

abstract: The bounds for the ratios of first and second kind modified Bessel functions of consecutive orders are important quantities appearing in a large number of scientific applications. We obtain new bounds which are accurate in a large region of parameters and which are shaper than previous bounds. The new bounds are obtained by a qualitative analysis of the Riccati equation satisfied by these ratios. A procedure is considered in which the bounds obtained from the analysis of the Riccati equation are used to define a new function satisfying a new Riccati equation which yields sharper bounds. Similar ideas can be applied to other functions.