title: Intel nGraph: An Intermediate Representation, Compiler, and Executor for Deep Learning

abstract: The Deep Learning (DL) community sees many novel topologies published each year. Achieving high performance on each new topology remains challenging, as each requires some level of manual effort. This issue is compounded by the proliferation of frameworks and hardware platforms. The current approach, which we call "direct optimization", requires deep changes within each framework to improve the training performance for each hardware backend (CPUs, GPUs, FPGAs, ASICs) and requires $\mathcal{O}(fp)$ effort; where $f$ is the number of frameworks and $p$ is the number of platforms. While optimized kernels for deep-learning primitives are provided via libraries like Intel Math Kernel Library for Deep Neural Networks (MKL-DNN), there are several compiler-inspired ways in which performance can be further optimized. Building on our experience creating neon (a fast deep learning library on GPUs), we developed Intel nGraph, a soon to be open-sourced C++ library to simplify the realization of optimized deep learning performance across frameworks and hardware platforms. Initially-supported frameworks include TensorFlow, MXNet, and Intel neon framework. Initial backends are Intel Architecture CPUs (CPU), the Intel(R) Nervana Neural Network Processor(R) (NNP), and NVIDIA GPUs. Currently supported compiler optimizations include efficient memory management and data layout abstraction. In this paper, we describe our overall architecture and its core components. In the future, we envision extending nGraph API support to a wider range of frameworks, hardware (including FPGAs and ASICs), and compiler optimizations (training versus inference optimizations, multi-node and multi-device scaling via efficient sub-graph partitioning, and HW-specific compounding of operations).


title: Two-Stage Polarization-Based Nonbinary Polar Codes for 5G URLLC

abstract: In this paper, we propose a new class of nonbinary polar codes with two-stage polarization for ultra-reliable and low-latency communications (URLLC), where the outer (symbol-level) polarization is achieved by using a 2X2 q-ary matrix [1 0; \beta 1] as the kernel and the inner (bit-level) polarization is achieved by a binary polarization matrix for each input symbol. With the two-stage polarization, bit-level code construction is introduced, resulting in partially-frozen symbols, where the frozen bits in these symbols can be used as active-check bits to facilitate the decoder. The encoder/decoder of the proposed codes has the same structure as the original binary polar codes, admitting an easily configurable and flexible implementation, which is an obvious advantage over the existing nonbinary polar codes based on Reed-Solomon (RS) codes. To support high spectral efficiency in URLLC, we also present, in addition to the single level coded modulation scheme with field matched modulation order, a mixed multilevel coded modulation scheme with arbitrary modulation order to trade off the latency against complexity. Simulation results show that our proposed nonbinary polar codes exhibit comparable performance with the RS4-based polar codes and outperform binary polar codes with low decoding latency, suggesting a potential application for 5G URLLC.


title: Discretely self-similar solutions to the Navier-Stokes equations with data in $L^2_{\mathrm{loc}}$ satisfying the local energy inequality

abstract: Chae and Wolf recently constructed discretely self-similar solutions to the Navier-Stokes equations for any discretely self similar data in $L^2_{\mathrm{loc}}$. Their solutions are in the class of local Leray solutions with projected pressure, and satisfy the "local energy inequality with projected pressure". In this note, for the same class of initial data, we construct discretely self-similar suitable weak solutions to the Navier-Stokes equations that satisfy the classical local energy inequality of Scheffer and Caffarelli-Kohn-Nirenberg. We also obtain an explicit formula for the pressure in terms of the velocity. Our argument involves a new purely local energy estimate for discretely self-similar solutions with data in $L^2_{\mathrm{loc}}$ and an approximation of divergence free, discretely self-similar vector fields in $L^2_{\mathrm{loc}}$ by divergence free, discretely self-similar elements of $L^3_w$.


title: Identification of Spikes in Time Series

abstract: Identification of unexpectedly high values in a time series is useful for epidemiologists, economists, and other social scientists interested in the effect of an exposure spike on an outcome variable. However, the best method to identify spikes in time series is not known. This paper aims to fill this gap by testing the performance of several spike detection methods in a simulation setting. We created simulations parameterized by monthly violence rates in nine California cities that represented different series features, and randomly inserted spikes into the series. We then compared the ability to detect spikes of the following methods: ARIMA modeling, Kalman filtering and smoothing, wavelet modeling with soft thresholding, and an iterative outlier detection method. We varied the magnitude of spikes from 10-50% of the mean rate over the study period and varied the number of spikes inserted from 1 to 10. We assessed performance of each method using sensitivity and specificity. The Kalman filtering and smoothing procedure had the best overall performance. We applied Kalman filtering and smoothing to the monthly violence rates in nine California cities and identified spikes in the rate over the 2005-2012 period.


title: The light bound states of $\mathcal{N}=1$ supersymmetric SU(3) Yang-Mills theory on the lattice

abstract: In this article we summarise our results from numerical simulations of $\mathcal{N}=1$ supersymmetric Yang-Mills theory with gauge group SU(3). We use the formulation of Curci and Veneziano with clover-improved Wilson fermions. The masses of various bound states have been obtained at different values of the gluino mass and gauge coupling. Extrapolations to the limit of vanishing gluino mass indicate that the bound states form mass-degenerate supermultiplets.


title: Doi-Peliti Path Integral Methods for Stochastic Systems with Partial Exclusion

abstract: Doi-Peliti methods are developed for stochastic models with finite maximum occupation numbers per site. We provide a generalized framework for the different Fock spaces reported in the literature. Paragrassmannian techniques are then utilized to construct path integral formulations of factorial moments. We show that for many models of interest, a Magnus expansion is required to construct a suitable action, meaning actions containing a finite number of terms are not always feasible. However, for such systems, perturbative techniques are still viable, and for some examples, including carrying capacity population dynamics, and diffusion with partial exclusion, the expansions are exactly summable.


title: SoK: Uncentralisable Ledgers and their Impact on Voting Systems

abstract: As we observe a trend towards the recentralisation of the Internet, this paper raises the question of guaranteeing an everlasting decentralisation. We introduce the properties of strong and soft uncentralisability in order to describe systems in which all authorities can be untrusted at any time without affecting the system. We link the soft uncentralisability to another property called perfect forkability. Using that knowledge, we introduce a new cryptographic primitive called uncentralisable ledger and study its properties. We use those properties to analyse what an uncentralisable ledger may offer to classic electronic voting systems and how it opens up the realm of possibilities for completely new voting mechanisms. We review a list of selected projects that implement voting systems using blockchain technol- ogy. We then conclude that the true revolutionary feature enabled by uncentralisable ledgers is a self-sovereign and distributed identity provider.


title: Perturbation approach for computing frequency- and time-resolved photon correlation functions

abstract: We propose an alternative formulation of the sensor method presented in [Phys. Rev. Lett 109, 183601 (2012)] for the calculation of frequency-filtered and time-resolved photon correlations. Our approach is based on an algebraic expansion of the joint steady state of quantum emitter and sensors with respect to the emitter-sensor coupling parameter \epsilon. This allows us to express photon correlations in terms of the open quantum dynamics of the emitting system only and ensures that computation of correlations are independent on the choice of a small value of \epsilon. Moreover, using time-dependent perturbation theory, we are able to express the frequency- and time- resolved second-order photon correlation as the addition of three components, each of which gives insight into the physical processes dominating the correlation at different time scales. We consider a bio-inspired vibronic dimer model to illustrate the agreement between the original formulation and our approach.


title: The dimensionally reduced description of the high energy scattering and the effective action for the reggeized gluons

abstract: We discuss the high energy scattering of hadrons with the multi - Regge kinematics. The effective $2D$ model for the interaction between the produced hard gluons appears as a result of the dimensional reduction, which is similar to the dimensional reduction $3+1$ D $\to 3$ D of the high temperature gauge theory. It is demonstrated that being supplemented by the exchange by virtual $3+1$ D gluons this $2D$ model gives rise to the hermitian version of the effective action of Lipatov for the interaction between the ordinary and the reggeized gluons.


title: $N$-tag Probability Law of the Symmetric Exclusion Process

abstract: The Symmetric Exclusion Process (SEP), in which particles hop symmetrically on a discrete line with hard-core constraints, is a paradigmatic model of subdiffusion in confined systems. This anomalous behavior is a direct consequence of strong spatial correlations induced by the requirement that the particles cannot overtake each other. Even if this fact has been recognised qualitatively for a long time, up to now there is no full quantitative determination of these correlations. Here we study the joint probability distribution of an arbitrary number of tagged particles in the SEP. We determine analytically the large time limit of all cumulants for an arbitrary density of particles, and their full dynamics in the high density limit. In this limit, we unveil a universal scaling form shared by the cumulants and obtain the time-dependent large deviation function of the problem.


title: Energy-parity from a bicomplex algebra

abstract: By replacing the field of complex numbers with the commutative ring of bicomplex numbers, we attempt to construct interacting scalar quantum field theories that feature both positive- and negative-energy states. This work places the tentative ideas proposed in [R. Dickinson, J. Forshaw and P. Millington, J. Phys. Conf. Ser. 631 (2015) 012059] on more solid and general mathematical foundations and incorporates the "energy-parity" symmetry introduced in [A. D. Linde, Phys. Lett. B 200 (1988) 272; D. E. Kaplan and R. Sundrum, JHEP 0607 (2006) 042]. The interplay of the positive- and negative-energy states allows for cancellations of the vacuum energy. Both the positive- and negative-energy states have positive norms, and their direct mixing is prevented by virtue of the zero divisors of the bicomplex numbers, thereby eliminating the possibility of negative-energy cascades. We suggest that the same interplay of positive- and negative-energy states may allow Haag's theorem to be circumvented, removing the associated criticism of the Fock representation. We consider scalar theories with cubic and quartic interactions and describe how this construction may yield transition probabilities consistent with the standard scattering theory. Whilst these results are intriguing, we draw attention to potentially serious limitations in relation to perturbative unitarity.


title: Dominance of backward stimulated Raman scattering in gas-filled hollow-core photonic crystal fibers

abstract: Backward stimulated Raman scattering in gases provides a promising route to compression and amplification of a Stokes seed-pulse by counter-propagating against a pump-pulse, as has been already demonstrated in various platforms, mainly in free-space. However, the dynamics governing this process when seeded by noise has not yet been investigated in a fully controllable collinear environment. Here we report the first unambiguous observation of efficient noise-seeded backward stimulated Raman scattering in a hydrogen-filled hollow-core photonic crystal fiber. At high gas pressures, when the backward Raman gain is comparable with, but lower than, the forward gain, we report quantum conversion efficiencies exceeding 40% to the backward Stokes at 683 nm from a narrowband 532-nm-pump. The efficiency increases to 65% when the backward process is seeded by a small amount of back-reflected forward-generated Stokes light. At high pump powers the backward Stokes signal, emitted in a clean fundamental mode and spectrally pure, is unexpectedly always stronger than its forward-propagating counterpart. We attribute this striking observation to the unique temporal dynamics of the interacting fields, which cause the Raman coherence (which takes the form of a moving fine-period Bragg grating) to grow in strength towards the input end of the fiber. A good understanding of this process, together with the rapid development of novel anti-resonant-guiding hollow-core fibers, may lead to improved designs of efficient gas-based Raman lasers and amplifiers operating at wavelengths from the ultraviolet to the mid-infrared.


title: Large deviations and wandering exponent for random walk in a dynamic beta environment

abstract: Random walk in a dynamic i.i.d. beta random environment, conditioned to escape at an atypical velocity, converges to a Doob transform of the original walk. The Doob-transformed environment is correlated in time, i.i.d. in space, and its marginal density function is a product of a beta density and a hypergeometric function. Under its averaged distribution the transformed walk obeys the wandering exponent 2/3 that agrees with Kardar-Parisi-Zhang universality. The harmonic function in the Doob transform comes from a Busemann-type limit and appears as an extremal in a variational problem for the quenched large deviation rate function.


title: An $A_{\infty}$-coalgebra Structure on a Closed Compact Surface

abstract: Let $P$ be an $n$-gon with $n\geq3.$ There is a formal combinatorial $A_\infty$-coalgebra structure on cellular chains $C_*(P)$ with non-vanishing higher order structure when $n\geq5$. If $X_g$ is a closed compact surface of genus $g\geq2$ and $P_g$ is a polygonal decomposition, the quotient map $q:P_g\to X_g$ projects the formal $A_\infty$-coalgebra structure on $C_*(P_g)$ to a quotient structure on $C_*(X_g)$, which persists to homology $H_{\ast}\left( X_g;\mathbb{Z}_{2}\right) $, whose operations are determined by the quotient map $q$, and whose higher order structure is non-trivial if and only if $X_g$ is orientable or unorientable with $g\geq3$. But whether or not the $A_{\infty}$-coalgebra structure on homology observed here is topologically invariant is an open question.


title: A framework for rank identities -- With a view towards operator algebras

abstract: For every square matrix $A$ over a field $\mathbb{K}$, we have the equality $\mathrm{rank}(A) + \mathrm{rank}(I-A) = \mathrm{rank}(I) + \mathrm{rank}(A-A^2)$ where $I$ denotes the identity matrix with the same dimensions as $A$. In this article, we start a program to systematically characterize and generalize such rank identities with a view towards applications to operator algebras. We initiate the study of so-called ranked rings (unital rings with a `rank-system'), the main examples of interest being finite von Neumann algebras, Murray-von Neumann algebras, and von Neumann rank-rings. In our framework, a field $\mathbb{K}$ may be viewed as a ranked ring with a $\mathbb{Z}^+$-valued rank-system consisting of the usual rank functions on $M_n(\mathbb{K})$ (for $n \in \mathbb{N})$ and serves as the motivating example. We show that a finite von Neumann algebra $\mathscr{R}$ with center $\mathscr{C}$ (and the corresponding Murray-von Neumann algebra $\mathscr{R}_{\textrm{aff}}$) may be endowed with a $\mathscr{C}^{+}$-valued rank-system, considering $\mathscr{C}^{+}$ as a commutative monoid with respect to operator addition. We give an algorithm to generate rank identities in ranked $\mathbb{K}$-algebras via the polynomial function calculus, and in ranked complex Banach algebras via the holomorphic function calculus. As an illustrative application, using these abstract rank identities we show that the sum of finitely many idempotents $e_1, \ldots, e_m$ in a finite von Neumann algebra is an idempotent if and only if they are mutually orthogonal, that is, $e_i e_j = \delta_{ij} e_i$ for $1 \le i, j \le m$. In contrast, this does not hold in general in the ring of bounded operators on an infinite-dimensional complex Hilbert space.


title: Thermodynamic Mechanism of Life and Aging

abstract: Life is a complex biological phenomenon represented by numerous chemical, physical and biological processes performed by a biothermodynamic system/cell/organism. Both living organisms and inanimate objects are subject to aging, a biological and physicochemical process characterized by changes in biological and thermodynamic state. Thus, the same physical laws govern processes in both animate and inanimate matter. All life processes lead to change of an organism's state. The change of biological and thermodynamic state of an organism in time underlies all of three kinds of aging (chronological, biological and thermodynamic). Life and aging of an organism both start at the moment of fertilization and continue through entire lifespan. Fertilization represents formation of a new organism. The new organism represents a new thermodynamic system. From the very beginning, it changes its state by changing thermodynamic parameters. The change of thermodynamic parameters is observed as aging and can be related to change in entropy. Entropy is thus the parameter that is related to all others and describes aging in the best manner. In the beginning, entropy change appears as a consequence of accumulation of matter (growth). Later, decomposition and configurational changes dominate, as a consequence of various chemical reactions (free radical, decomposition, fragmentation, accumulation of lipofuscin-like substances...).


title: Non-parametric Estimation of Mutual Information with Application to Nonlinear Optical Fibers

abstract: This paper compares and evaluates a set of non-parametric mutual information estimators with the goal of providing a novel toolset to progress in the analysis of the capacity of the nonlinear optical channel, which is currently an open problem. In the first part of the paper, the methods of the study are presented. The second part details their application to several optically-related channels to highlight their features.


title: Tailoring Lattice Strain and Ferroelectric Polarization of Epitaxial BaTiO3 Thin Films on Si(001)

abstract: Ferroelectric BaTiO3 films with large polarization have been integrated with Si(001) by pulsed laser deposition. High quality c-oriented epitaxial films are obtained in a substrate temperature range of about 300 deg C wide. The deposition temperature critically affects the growth kinetics and thermodynamics balance, resulting on a high impact in the strain of the BaTiO3 polar axis, which can exceed 2% in films thicker than 100 nm. The ferroelectric polarization scales with the strain and therefore deposition temperature can be used as an efficient tool to tailor ferroelectric polarization. The developed strategy overcomes the main limitations of the conventional strain engineering methodologies based on substrate selection: it can be applied to films on specific substrates including Si(001) and perovskites, and it is not restricted to ultrathin films.


title: The simplest origin of the big bounce and inflation

abstract: Torsion is a geometrical object, required by quantum mechanics in curved spacetime, which may naturally solve fundamental problems of general theory of relativity and cosmology. The black-hole cosmology, resulting from torsion, could be a scenario uniting the ideas of the big bounce and inflation, which were the subject of a recent debate of renowned cosmologists.


title: An inequality of type sup+inf on $S_4$ for the Paneitz operator

abstract: We give a sup+inf inequality on $S_4$ for Paneitz operator.


title: Strontium and Barium in Aqueous Solution and a Potassium Channel Binding Site

abstract: Ion hydration structure and free energy establish criteria for understanding selective ion binding in potassium K+ ion channels, and may be significant to understanding blocking mechanisms as well. Recently, we investigated the hydration properties of Ba2+, the most potent blocker of K+ channels among the simple metal ions. Here, we use a similar method of combining ab initio molecular dynamics simulations, statistical mechanical theory, and electronic structure calculations to probe the fundamental hydration properties of Sr2+, which does not block bacterial K+ channels. The radial distribution of water around Sr2+ suggests a stable 8-fold geometry in the local hydration environment, similar to Ba2+. While the predicted hydration free energy of -331.8 kcal/mol is comparable with the experimental result of -334 kcal/mol, the value is significantly more favorable than the -305 kcal/mol hydration free energy of Ba2+. When placed in the innermost K+ channel blocking site, the solvation free energies and lowest energy structures of both Sr2+ and Ba2+ are nearly unchanged compared with their respective hydration properties. That result suggests that differences in blocking behavior arise due to free energies associated with exchange of water ligands for channel ligands instead of free energies of transfer from water to the binding site.


title: Edge singularities and quasi-long-range order in non-equilibrium steady states

abstract: The singularities of the dynamical response function are one of the most remarkable effects in many-body interacting systems. However in one dimension these divergences only exist strictly at zero temperature, making their observation very difficult in most cold atomic experimental settings. Moreover the presence of a finite temperature destroys another feature of one-dimensional quantum liquids: the real space quasi-long-range order in which the spatial correlation functions exhibit power-law decay. We consider a non-equilibrium protocol where two interacting Bose gases are prepared either at different temperatures or chemical potentials and then joined. We show that the non-equilibrium steady state emerging at large times around the junction displays edge singularities in the response function and quasi-long-range order.


title: Studying G-axion Inflation model in light of PLANCK

abstract: With the Planck 2015 result, most of the well known canonical large field inflation models turned out to be strongly disfavored. Axion inflation is one of such models which is becoming marginalized with the increasing precession of CMB data. In this paper, we have shown that with a simple Galileon type modification to the marginally favored axion model calling G-axion, we can turn them into one of the most favored models with its detectable prediction of $r$ and $n_s$ within its PLANCK $1\sigma $ range for a wide range of parameters. Interestingly it is this modification which plays the important role in turning the inflationary predictions to be independent of the explicit value of axion decay constant $f$. However, dynamics after the inflation turned out to have a non-trivial dependence on $f$. For each G-axion model there exists a critical value of $f_c$ such that for $f>f_c$ we have the oscillating phase after inflation and for $f<f_c$ we have non-oscillatory phase. Therefore, we obtained a range of sub-Planckian value of model parameters which give rise to consistent inflation. However for sub-Planckian axion decay constant the inflaton field configuration appeared to be singular after the end of inflation. To reheat the universe we, therefore, employ the instant preheating mechanism at the instant of first zero crossing of the inflaton. To our surprise, the instant preheating mechanism turned out to be inefficient as opposed to usual non-oscillatory quintessence model. For another class of G-axion model with super-Planckian axion decay constant, we performed in detail the reheating constraints analysis considering the latest PLANCK result.


title: Unconventional Supersymmetry at the Boundary of AdS_4 Supergravity

abstract: In this paper we perform, in the spirit of the holographic correspondence, a particular asymptotic limit of N=2, AdS_4 supergravity to N=2 supergravity on a locally AdS_3 boundary. Our boundary theory enjoys OSp(2|2) x SO(1,2) invariance and is shown to contain the D=3 super-Chern Simons OSp(2|2) theory considered in [Alvarez:2011gd] and featuring "unconventional local supersymmetry". The model constructed in that reference describes the dynamics of a spin-1/2 Dirac field in the absence of spin 3/2 gravitini and was shown to be relevant for the description of graphene, near the Dirac points, for specific spatial geometries. Our construction yields the model in [Alvarez:2011gd] with a specific prescription on the parameters. In this framework the Dirac spin-1/2 fermion originates from the radial components of the gravitini in D=4.


title: The Enskog equation for confined elastic hard spheres

abstract: A kinetic equation for a system of elastic hard spheres or disks confined by a hard wall of arbitrary shape is derived. It is a generalization of the modified Enskog equation in which the effects of the confinement are taken into account and it is supposed to be valid up to moderate densities. From the equation, balance equations for the hydrodynamic fields are derived, identifying the collisional transfer contributions to the pressure tensor and heat flux. A Lyapunov functional, $\mathcal{H}[f]$, is identified. For any solution of the kinetic equation, $\mathcal{H}$ decays monotonically in time until the system reaches the inhomogeneous equilibrium distribution, that is a Maxwellian distribution with a the density field consistent with equilibrium statistical mechanics.


title: Exclusive top production at a Linear Collider at and off the threshold

abstract: We review exclusive top pair production including decays at a future high-energy lepton collider, both in the threshold region and for higher energies. For the continuum process, we take complete QCD next-to-leading order matrix elements for the $2\to 6$ process with leptonic W decays into account. At threshold, we match the fixed-order relativistic QCD-NLO cross section to a nonrelativistic cross section with next-to-leading logarithmic (NLL) threshold resummation implemented via a form factor.


title: Regularity of high energy photon events from gamma ray bursts

abstract: The effect of Quantum Gravity (QG) may bring a tiny light speed variation as $v(E)=c(1-E/E_{\rm LV})$, where $E$ is the photon energy and $E_{\rm LV}$ is a Lorentz violation scale. A remarkable regularity was suggested in previous studies to look for the light speed variation from high energy photon events of Gamma Ray Bursts (GRBs). We provide a general analysis on the data of 25 bright GRBs observed by the Fermi Gamma-ray Space Telescope (FGST). Such method allows a completed scan over all possibilities in a more clean and impartial way without any bias compared to previous intuitive analysis. The results show that with the increase in the intrinsic energies of photons, such regularity truly emerges and gradually becomes significant. For photons with intrinsic energies higher than 40~GeV, the regularity exists at a significance of 3-5~$\sigma$ with $E_{\rm LV}=3.6\times 10^{17}~\rm GeV$ determined by the GRB data.


title: The Temple University Hospital Seizure Detection Corpus

abstract: We introduce the TUH EEG Seizure Corpus (TUSZ), which is the largest open source corpus of its type, and represents an accurate characterization of clinical conditions. In this paper, we describe the techniques used to develop TUSZ, evaluate their effectiveness, and present some descriptive statistics on the resulting corpus.


title: Virial expansion for the Tan contact and Beth-Uhlenbeck formula from 2D SO(2,1) anomalies

abstract: The relationship between 2D $SO(2,1)$ conformal anomalies in nonrelativistic systems and the virial expansion is explored using recently developed path-integral methods. In the process, the Beth-Uhlenbeck formula for the shift of the second virial coefficient $\delta b_2$ is obtained, as well as a virial expansion for the Tan contact. A possible extension of these techniques for higher orders in the virial expansion is discussed.

categories: cond-mat.quant-gas hep-th nucl-th quant-ph


title: Fractal analyses of networks of integrate-and-fire stochastic spiking neurons

abstract: Although there is increasing evidence of criticality in the brain, the processes that guide neuronal networks to reach or maintain criticality remain unclear. The present research examines the role of neuronal gain plasticity in time-series of simulated neuronal networks composed of integrate-and-fire stochastic spiking neurons, and the utility of fractal methods in assessing network criticality. Simulated time-series were derived from a network model of fully connected discrete-time stochastic excitable neurons. Monofractal and multifractal analyses were applied to neuronal gain time-series. Fractal scaling was greatest in networks with a mid-range of neuronal plasticity, versus extremely high or low levels of plasticity. Peak fractal scaling corresponded closely to additional indices of criticality, including average branching ratio. Networks exhibited multifractal structure, or multiple scaling relationships. Multifractal spectra around peak criticality exhibited elongated right tails, suggesting that the fractal structure is relatively insensitive to high-amplitude local fluctuations. Networks near critical states exhibited mid-range multifractal spectra width and tail length, which is consistent with literature suggesting that networks poised at quasi-critical states must be stable enough to maintain organization but unstable enough to be adaptable. Lastly, fractal analyses may offer additional information about critical state dynamics of networks by indicating scales of influence as networks approach critical states.


title: Pointer-Chase Prefetcher for Linked Data Structures

abstract: Caches only exploit spatial and temporal locality in a set of address referenced in a program. Due to dynamic construction of linked data-structures, they are difficult to cache as the spatial locality between the nodes is highly dependent on the data layout. Prefetching can play an important role in improving the performance of linked data-structures. In this project, a pointer chase mechanism along with compiler hints is adopted to design a prefetcher for linked data-structures. The design is evaluated against the baseline of processor with cache in terms of performance, area and energy


title: Current and future constraints on extended Bekenstein-type models for a varying fine-structure constant

abstract: There is a growing interest in astrophysical tests of the stability of dimensionless fundamental couplings, such as the fine-structure constant $\alpha$, as an optimal probe of new physics. The imminent arrival of the ESPRESSO spectrograph will soon enable significant gains in the precision and accuracy of these tests and widen the range of theoretical models that can be tightly constrained. Here we illustrate this by studying proposed extensions of the Bekenstein-type models for the evolution of $\alpha$ that allow different couplings of the scalar field to both dark matter and dark energy. We use a combination of current astrophysical and local laboratory data (from tests with atomic clocks) to show that these couplings are constrained to parts per million level, with the constraints being dominated by the atomic clocks. We also quantify the expected improvements from ESPRESSO and other future spectrographs, and briefly discuss possible observational strategies, showing that these facilities can improve current constraints by more than an order of magnitude.


title: An Algebraic Approach for Reasoning About Information Flow

abstract: This paper concerns the analysis of information leaks in security systems. We address the problem of specifying and analyzing large systems in the (standard) channel model used in quantitative information flow (QIF). We propose several operators which match typical interactions between system components. We explore their algebraic properties with respect to the security-preserving refinement relation defined by Alvim et al. and McIver et al. We show how the algebra can be used to simplify large system specifications in order to facilitate the computation of information leakage bounds. We demonstrate our results on the specification and analysis of the Crowds Protocol. Finally, we use the algebra to justify a new algorithm to compute leakage bounds for this protocol.


title: On Weak Supercyclicity I

abstract: This paper provides conditions (i) to distinguish weak supercyclicity form supercyclicity for operators acting on normed and Banach spaces, and also (ii) to ensure when weak supercyclicity implies weak stability.


title: Generalizable Data-free Objective for Crafting Universal Adversarial Perturbations

abstract: Machine learning models are susceptible to adversarial perturbations: small changes to input that can cause large changes in output. It is also demonstrated that there exist input-agnostic perturbations, called universal adversarial perturbations, which can change the inference of target model on most of the data samples. However, existing methods to craft universal perturbations are (i) task specific, (ii) require samples from the training data distribution, and (iii) perform complex optimizations. Additionally, because of the data dependence, fooling ability of the crafted perturbations is proportional to the available training data. In this paper, we present a novel, generalizable and data-free approaches for crafting universal adversarial perturbations. Independent of the underlying task, our objective achieves fooling via corrupting the extracted features at multiple layers. Therefore, the proposed objective is generalizable to craft image-agnostic perturbations across multiple vision tasks such as object recognition, semantic segmentation, and depth estimation. In the practical setting of black-box attack scenario (when the attacker does not have access to the target model and it's training data), we show that our objective outperforms the data dependent objectives to fool the learned models. Further, via exploiting simple priors related to the data distribution, our objective remarkably boosts the fooling ability of the crafted perturbations. Significant fooling rates achieved by our objective emphasize that the current deep learning models are now at an increased risk, since our objective generalizes across multiple tasks without the requirement of training data for crafting the perturbations. To encourage reproducible research, we have released the codes for our proposed algorithm.


title: Learning Symmetric and Low-energy Locomotion

abstract: Learning locomotion skills is a challenging problem. To generate realistic and smooth locomotion, existing methods use motion capture, finite state machines or morphology-specific knowledge to guide the motion generation algorithms. Deep reinforcement learning (DRL) is a promising approach for the automatic creation of locomotion control. Indeed, a standard benchmark for DRL is to automatically create a running controller for a biped character from a simple reward function. Although several different DRL algorithms can successfully create a running controller, the resulting motions usually look nothing like a real runner. This paper takes a minimalist learning approach to the locomotion problem, without the use of motion examples, finite state machines, or morphology-specific knowledge. We introduce two modifications to the DRL approach that, when used together, produce locomotion behaviors that are symmetric, low-energy, and much closer to that of a real person. First, we introduce a new term to the loss function (not the reward function) that encourages symmetric actions. Second, we introduce a new curriculum learning method that provides modulated physical assistance to help the character with left/right balance and forward movement. The algorithm automatically computes appropriate assistance to the character and gradually relaxes this assistance, so that eventually the character learns to move entirely without help. Because our method does not make use of motion capture data, it can be applied to a variety of character morphologies. We demonstrate locomotion controllers for the lower half of a biped, a full humanoid, a quadruped, and a hexapod. Our results show that learned policies are able to produce symmetric, low-energy gaits. In addition, speed-appropriate gait patterns emerge without any guidance from motion examples or contact planning.


title: Adaptive Recurrent Neural Network Based on Mixture Layer

abstract: Although Recurrent Neural Network (RNN) has been a powerful tool for modeling sequential data, its performance is inadequate when processing sequences with multiple patterns. In this paper, we address this challenge by introducing a novel mixture layer and constructing an adaptive RNN. The mixture layer augmented RNN (termed as M-RNN) partitions patterns in training sequences into several clusters and stores the principle patterns as prototype vectors of components in a mixture model. By leveraging the mixture layer, the proposed method can adaptively update states according to the similarities between encoded inputs and prototype vectors, leading to a stronger capacity in assimilating sequences with multiple patterns. Moreover, our approach can be further extended by taking advantage of prior knowledge about data. Experiments on both synthetic and real datasets demonstrate the effectiveness of the proposed method.


title: The Helmholtz equation in heterogeneous media: a priori bounds, well-posedness, and resonances

abstract: We consider the exterior Dirichlet problem for the heterogeneous Helmholtz equation, i.e. the equation $\nabla\cdot(A \nabla u ) + k^2 n u =-f$ where both $A$ and $n$ are functions of position. We prove new a priori bounds on the solution under conditions on $A$, $n$, and the domain that ensure nontrapping of rays; the novelty is that these bounds are explicit in $k$, $A$, $n$, and geometric parameters of the domain. We then show that these a priori bounds hold when $A$ and $n$ are $L^\infty$ and satisfy certain monotonicity conditions, and thereby obtain new results both about the well-posedness of such problems and about the resonances of acoustic transmission problems (i.e. $A$ and $n$ discontinuous) where the transmission interfaces are only assumed to be $C^0$ and star-shaped; the novelty of this latter result is that until recently the only known results about resonances of acoustic transmission problems were for $C^\infty$ convex interfaces with strictly positive curvature.


title: The mid-plane of the Main Asteroid Belt

abstract: We measure the mid-plane of the main asteroid belt by using the observational data of a nearly complete and unbiased sample of asteroids, and find that it has inclination $\bar{I}=0.93\pm0.04$ degrees and longitude of ascending node $\bar{\Omega}=87.6\pm2.6$ degrees (in J2000 ecliptic-equinox coordinate system). This plane differs significantly from previously published measurements, and it is also distinctly different than the solar system's invariable plane as well as Jupiter's orbit plane. The mid-plane of the asteroid belt is theoretically expected to be a slightly warped sheet whose local normal is controlled by the gravity of the major planets. Specifically, its inclination and longitude of ascending node varies with semi-major axis and time (on secular timescales), and is defined by the forced solution of secular perturbation theory; the $\nu_{16}$ nodal secular resonance is predicted to cause a significant warp of the mid-plane in the inner asteroid belt. We test the secular theory by measuring the current location of the asteroids' mid-plane in finer semi-major axis bins. We find that the measured mid-plane in the middle and outer asteroid belt is consistent, within 3--$\sigma$ confidence level, with the prediction of secular perturbation theory, but a notable discrepancy is present in the inner asteroid belt near $\sim2$ AU.


title: Bogoliubov transformation and the thermal operator representation in the real time formalism

abstract: It has been shown earlier \cite{brandt,brandt1} that, in the mixed space, there is an unexpected simple relation between any finite temperature graph and its zero temperature counterpart through a multiplicative scalar operator (termed thermal operator) which carries the entire temperature dependence. This was shown to hold only in the imaginary time formalism and the closed time path ($\sigma=0$) of the real time formalism (as well as for its conjugate $\sigma=1$). We study the origin of this operator from the more fundamental Bogoliubov transformation which acts, in the momentum space, on the doubled space of fields in the real time formalisms \cite{takahashi,umezawa,pushpa}. We show how the ($2\times 2$) Bogoliubov transformation matrix naturally leads to the scalar thermal operator for $\sigma=0,1$ while it fails for any other value $0<\sigma<1$. This analysis also suggests that a generalized scalar thermal operator description, in the mixed space, is possible even for $0<\sigma<1$. We also show the existence of a scalar thermal operator relation in the momentum space.


title: A Chronological Edge-Driven Approach to Temporal Subgraph Isomorphism

abstract: Many real world networks are considered temporal networks, in which the chronological ordering of the edges has importance to the meaning of the data. Performing temporal subgraph matching on such graphs requires the edges in the subgraphs to match the order of the temporal graph motif we are searching for. Previous methods for solving this rely on the use of static subgraph matching to find potential matches first, before filtering them based on edge order to find the true temporal matches. We present a new algorithm for temporal subgraph isomorphism that performs the subgraph matching directly on the chronologically sorted edges. By restricting our search to only the subgraphs with chronologically correct edges, we can improve the performance of the algorithm significantly. We present experimental timing results to show significant performance improvements on publicly available datasets for a number of different temporal query graph motifs with four or more nodes. We also demonstrate a practical example of how temporal subgraph isomorphism can produce more meaningful results than traditional static subgraph searches.


title: Logically-Constrained Reinforcement Learning

abstract: We present the first model-free Reinforcement Learning (RL) algorithm to synthesise policies for an unknown Markov Decision Process (MDP), such that a linear time property is satisfied. The given temporal property is converted into a Limit Deterministic Buchi Automaton (LDBA) and a robust reward function is defined over the state-action pairs of the MDP according to the resulting LDBA. With this reward function, the policy synthesis procedure is "constrained" by the given specification. These constraints guide the MDP exploration so as to minimize the solution time by only considering the portion of the MDP that is relevant to satisfaction of the LTL property. This improves performance and scalability of the proposed method by avoiding an exhaustive update over the whole state space while the efficiency of standard methods such as dynamic programming is hindered by excessive memory requirements, caused by the need to store a full-model in memory. Additionally, we show that the RL procedure sets up a local value iteration method to efficiently calculate the maximum probability of satisfying the given property, at any given state of the MDP. We prove that our algorithm is guaranteed to find a policy whose traces probabilistically satisfy the LTL property if such a policy exists, and additionally we show that our method produces reasonable control policies even when the LTL property cannot be satisfied. The performance of the algorithm is evaluated via a set of numerical examples. We observe an improvement of one order of magnitude in the number of iterations required for the synthesis compared to existing approaches.


title: Unsupervised learning from videos using temporal coherency deep networks

abstract: In this work we address the challenging problem of unsupervised learning from videos. Existing methods utilize the spatio-temporal continuity in contiguous video frames as regularization for the learning process. Typically, this temporal coherence of close frames is used as a free form of annotation, encouraging the learned representations to exhibit small differences between these frames. But this type of approach fails to capture the dissimilarity between videos with different content, hence learning less discriminative features. We here propose two Siamese architectures for Convolutional Neural Networks, and their corresponding novel loss functions, to learn from unlabeled videos, which jointly exploit the local temporal coherence between contiguous frames, and a global discriminative margin used to separate representations of different videos. An extensive experimental evaluation is presented, where we validate the proposed models on various tasks. First, we show how the learned features can be used to discover actions and scenes in video collections. Second, we show the benefits of such an unsupervised learning from just unlabeled videos, which can be directly used as a prior for the supervised recognition tasks of actions and objects in images, where our results further show that our features can even surpass a traditional and heavily supervised pre-training plus fine-tunning strategy.


title: Does boundary quantum mechanics imply quantum mechanics in the bulk?

abstract: Perturbative bulk reconstruction in AdS/CFT starts by representing a free bulk field $\phi^{(0)}$ as a smeared operator in the CFT. A series of $1/N$ corrections must be added to $\phi^{(0)}$ to represent an interacting bulk field $\phi$. These corrections have been determined in the literature from several points of view. Here we develop a new perspective. We show that correlation functions involving $\phi^{(0)}$ suffer from ambiguities due to analytic continuation. As a result $\phi^{(0)}$ fails to be a well-defined linear operator in the CFT. This means bulk reconstruction can be understood as a procedure for building up well-defined operators in the CFT which thereby singles out the interacting field $\phi$. We further propose that the difficulty with defining $\phi^{(0)}$ as a linear operator can be re-interpreted as a breakdown of associativity. Presumably $\phi^{(0)}$ can only be corrected to become an associative operator in perturbation theory. This suggests that quantum mechanics in the bulk is only valid in perturbation theory around a semiclassical bulk geometry.


title: Energy-constrained two-way assisted private and quantum capacities of quantum channels

abstract: With the rapid growth of quantum technologies, knowing the fundamental characteristics of quantum systems and protocols is essential for their effective implementation. A particular communication setting that has received increased focus is related to quantum key distribution and distributed quantum computation. In this setting, a quantum channel connects a sender to a receiver, and their goal is to distill either a secret key or entanglement, along with the help of arbitrary local operations and classical communication (LOCC). In this work, we establish a general theory of energy-constrained, LOCC-assisted private and quantum capacities of quantum channels, which are the maximum rates at which an LOCC-assisted quantum channel can reliably establish secret key or entanglement, respectively, subject to an energy constraint on the channel input states. We prove that the energy-constrained squashed entanglement of a channel is an upper bound on these capacities. We also explicitly prove that a thermal state maximizes a relaxation of the squashed entanglement of all phase-insensitive, single-mode input bosonic Gaussian channels, generalizing results from prior work. After doing so, we prove that a variation of the method introduced in [Goodenough et al., New J. Phys. 18, 063005 (2016)] leads to improved upper bounds on the energy-constrained secret-key-agreement capacity of a bosonic thermal channel. We then consider a multipartite setting and prove that two known multipartite generalizations of the squashed entanglement are in fact equal. We finally show that the energy-constrained, multipartite squashed entanglement plays a role in bounding the energy-constrained LOCC-assisted private and quantum capacity regions of quantum broadcast channels.


title: Robust and efficient discontinuous Galerkin methods for under-resolved turbulent incompressible flows

abstract: We present a robust and accurate discretization approach for incompressible turbulent flows based on high-order discontinuous Galerkin methods. The DG discretization of the incompressible Navier-Stokes equations uses the local Lax-Friedrichs flux for the convective term, the symmetric interior penalty method for the viscous term, and central fluxes for the velocity-pressure coupling terms. Stability of the discretization approach for under-resolved, turbulent flow problems is realized by a purely numerical stabilization approach. Consistent penalty terms that enforce the incompressibility constraint as well as inter-element continuity of the velocity field in a weak sense render the numerical method a robust discretization scheme in the under-resolved regime. The penalty parameters are derived by means of dimensional analysis using penalty factors of order 1. Applying these penalty terms in a postprocessing step leads to an efficient solution algorithm for turbulent flows. The proposed approach is applicable independently of the solution strategy used to solve the incompressible Navier-Stokes equations, i.e., it can be used for both projection-type solution methods as well as monolithic solution approaches. Since our approach is based on consistent penalty terms, it is by definition generic and provides optimal rates of convergence when applied to laminar flow problems. Robustness and accuracy are verified for the Orr-Sommerfeld stability problem, the Taylor-Green vortex problem, and turbulent channel flow. Moreover, the accuracy of high-order discretizations as compared to low-order discretizations is investigated for these flow problems. A comparison to state-of-the-art computational approaches for large-eddy simulation indicates that the proposed methods are highly attractive components for turbulent flow solvers.


title: $\zeta^{1} + \zeta^{2}$ Reticuli binary system: A puzzling chromospheric activity pattern

abstract: We perform, for the first time, a detailed long-term activity study of the binary system $\zeta$ Ret. We use all available HARPS spectra obtained between the years 2003 and 2016. We built a time series of the Mount Wilson $S$ index for both stars, then we analyse these series by using Lomb-Scargle periodograms. The components $\zeta^{1}$ Ret and $\zeta^{2}$ Ret that belong to this binary system are physically very similar to each other and also similar to our Sun, which makes it a remarkable system. We detect in the solar-analogue star $\zeta^{2}$ Ret a long-term activity cycle with a period of $\sim$10 yr, similar to the solar one ($\sim$11 yr). It is worthwhile to mention that this object satisfies previous criteria for a flat star and for a cycling star simultaneously. Another interesting feature of this binary system, is a high $\sim$0.220 dex difference between the averages log($\mathrm{R}'_\mathrm{HK}$) activity levels of both stars. Our study clearly shows that $\zeta^{1}$ Ret is significantly more active than $\zeta^{2}$ Ret. In addition, $\zeta^{1}$ Ret shows an erratic variability in its stellar activity. In this work, we explore different scenarios trying to explain this rare behaviour in a pair of coeval stars, which could help to explain the difference in this and other binary systems. From these results, we also warn that for the development of activity-age calibrations (which commonly use binary systems and/or stellar clusters as calibrators) it should be taken into account the whole history of activity available of the stars involved.


title: Matched asymptotics for large solutions to the Gelfand-Liouville problem in two-dimensional, doubly connected domains

abstract: In this paper we provide a formal matched asymptotic analysis for large solutions to the Gelfand-Liouville problem in planar, doubly connected domains in the plane. Using these, we rigorously construct a good approximate solution to the problem.


title: Asymptotic Analysis of the Local Potential Approximation to the Wetterich Equation

abstract: This paper reports a study of the nonlinear partial differential equation that arises in the local potential approximation to the Wetterich formulation of the functional renormalization group equation. A cut-off-dependent shift of the potential in this partial differential equation is performed. This shift allows a perturbative asymptotic treatment of the differential equation for large values of the infrared cut-off. To leading order in perturbation theory the differential equation becomes a heat equation, where the sign of the diffusion constant changes as the space-time dimension $D$ passes through $2$. When $D<2$, one obtains a forward heat equation whose initial-value problem is well-posed. However, for $D>2$ one obtains a backward heat equation whose initial-value problem is ill-posed. For the special case $D=1$ the asymptotic series for cubic and quartic models is extrapolated to the small infrared-cut-off limit by using Pad\'e techniques. The effective potential thus obtained from the partial differential equation is then used in a Schr\"odinger-equation setting to study the stability of the ground state. For cubic potentials it is found that this Pad\'e procedure distinguishes between a $PT$-symmetric $ig\phi^3$ theory and a conventional Hermitian $g\phi^3$ theory ($g$ real). For an $ig\phi^3$ theory the effective potential is nonsingular and has a stable ground state but for a conventional $g\phi^3$ theory the effective potential is singular. For a conventional Hermitian $g\phi^4$ theory and a $PT$-symmetric $-g\phi^4$ theory ($g>0$) the results are similar; the effective potentials in both cases are nonsingular and possess stable ground states.


title: Choreographies for Reactive Programming

abstract: Modular programming is a cornerstone in software development, as it allows to build complex systems from the assembly of simpler components, and support reusability and substitution principles. In a distributed setting, component assembly is supported by communication that is often required to follow a prescribed protocol of interaction. In this paper, we present a language for the modular development of distributed systems, where the assembly of components is supported by a choreography that specifies the communication protocol. Our language allows to separate component behaviour, given in terms of reactive data ports, and choreographies, specified as first class entities. This allows us to consider reusability and substitution principles for both components and choreographies. We show how our model can be compiled into a more operational perspective in a provably-correct way, and we present a typing discipline that addresses communication safety and progress of systems, where a notion of substitutability naturally arises.


title: A neural model of the locust visual system for detection of object approaches with real-world scenes

abstract: In the central nervous systems of animals like pigeons and locusts, neurons were identified which signal objects approaching the animal on a direct collision course. Unraveling the neural circuitry for collision avoidance, and identifying the underlying computational principles, is promising for building vision-based neuromorphic architectures, which in the near future could find applications in cars or planes. At the present there is no published model available for robust detection of approaching objects under real-world conditions. Here we present a computational architecture for signalling impending collisions, based on known anatomical data of the locust \emph{lobula giant movement detector} (LGMD) neuron. Our model shows robust performance even in adverse situations, such as with approaching low-contrast objects, or with highly textured and moving backgrounds. We furthermore discuss which components need to be added to our model to convert it into a full-fledged real-world-environment collision detector. KEYWORDS: Locust, LGMD, collision detection, lateral inhibition, diffusion, ON-OFF-pathways, neuronal dynamics, computer vision, image processing


title: The Hodge Star Operator and the Beltrami Equation

abstract: An essentially unique homeomorphic solution to the Beltrami equation was found in the 1960s using the theory of Calder\'{o}n-Zygmund and singular integral operators in $L^p(\mathbb C)$. We will present an alternative method to solve the Beltrami equation using the Hodge star operator and standard elliptic PDE theory. We will also discuss a different method to prove the regularity of the solution. This approach is partially based on work by Dittmar.


title: The challenge of simultaneous object detection and pose estimation: a comparative study

abstract: Detecting objects and estimating their pose remains as one of the major challenges of the computer vision research community. There exists a compromise between localizing the objects and estimating their viewpoints. The detector ideally needs to be view-invariant, while the pose estimation process should be able to generalize towards the category-level. This work is an exploration of using deep learning models for solving both problems simultaneously. For doing so, we propose three novel deep learning architectures, which are able to perform a joint detection and pose estimation, where we gradually decouple the two tasks. We also investigate whether the pose estimation problem should be solved as a classification or regression problem, being this still an open question in the computer vision community. We detail a comparative analysis of all our solutions and the methods that currently define the state of the art for this problem. We use PASCAL3D+ and ObjectNet3D datasets to present the thorough experimental evaluation and main results. With the proposed models we achieve the state-of-the-art performance in both datasets.


title: Cluster theory of the coherent Satake category

abstract: We study the category of G(O)-equivariant perverse coherent sheaves on the affine Grassmannian of G. This coherent Satake category is not semisimple and its convolution product is not symmetric, in contrast with the usual constructible Satake category. Instead, we use the Beilinson-Drinfeld Grassmannian to construct renormalized r-matrices. These are canonical nonzero maps between convolution products which satisfy axioms weaker than those of a braiding. We also show that the coherent Satake category is rigid, and that together these results strongly constrain its convolution structure. In particular, they can be used to deduce the existence of (categorified) cluster structures. We study the case G = GL_n in detail and prove that the loop rotation equivariant coherent Satake category of GL_n is a monoidal categorification of an explicit quantum cluster algebra. More generally, we construct renormalized r-matrices in any monoidal category whose product is compatible with an auxiliary chiral category, and explain how the appearance of cluster algebras in 4d N=2 field theory may be understood from this point of view.


title: Global Identifiability of Differential Models

abstract: Many real-world processes and phenomena are modeled using systems of ordinary differential equations with parameters. Given such a system, we say that a parameter is globally identifiable if it can be uniquely recovered from input and output data. The main contribution of this paper is to provide theory, an algorithm, and software for deciding global identifiability. First, we rigorously derive an algebraic criterion for global identifiability (this is an analytic property), which yields a deterministic algorithm. Second, we improve the efficiency by randomizing the algorithm while guaranteeing the probability of correctness. With our new algorithm, we can tackle problems that could not be tackled before. A software based on the algorithm (called SIAN) is available at https://github.com/pogudingleb/SIAN.


title: Free Energy Minimization Using the 2-D Cluster Variation Method: Initial Code Verification and Validation

abstract: A new approach for general artificial intelligence (GAI), building on neural network deep learning architectures, can make use of one or more hidden layers that have the ability to continuously reach a free energy minimum even after input stimulus is removed, allowing for a variety of possible behaviors. One reason that this approach has not been developed until now has been the lack of a suitable free energy equation. The Cluster Variation Method (CVM) offers a means for characterizing 2-D local pattern distributions, or configuration variables, and provides a free energy formalism in terms of these configuration variables. The equilibrium distribution of these configuration variables is defined in terms of a single interaction enthalpy parameter, h, for the case of equiprobable distribution of bistate units. For non-equiprobable distributions, the equilibrium distribution can be characterized by providing a fixed value for the fraction of units in the active state (x1), corresponding to the influence of a per-unit activation enthalpy, together with the pairwise interaction enthalpy parameter h. This paper provides verification and validation (V&V) for code that computes the configuration variable and thermodynamic values for 2-D CVM grids characterized by different interaction enthalpy parameters, or h-values. This work provides a foundation for experimenting with a 2-D CVM-based hidden layer that can, as an alternative to responding strictly to inputs, also now independently come to its own free energy minimum and also return to a free energy-minimized state after perturbations, which will enable a range of input-independent behaviors. A further use of this 2-D CVM grid is that by characterizing local patterns in terms of their corresponding h-values (together with their x1 values), we have a means for quantitatively characterizing different kinds of neural topographies.


title: Depending on Session-Typed Processes

abstract: This work proposes a dependent type theory that combines functions and session-typed processes (with value dependencies) through a contextual monad, internalising typed processes in a dependently-typed lambda-calculus. The proposed framework, by allowing session processes to depend on functions and vice-versa, enables us to specify and statically verify protocols where the choice of the next communication action can depend on specific values of received data. Moreover, the type theoretic nature of the framework endows us with the ability to internally describe and prove predicates on process behaviours. Our main results are type soundness of the framework, and a faithful embedding of the functional layer of the calculus within the session-typed layer, showcasing the expressiveness of dependent session types.


title: Eight Years of Rider Measurement in the Android Malware Ecosystem: Evolution and Lessons Learned

abstract: Despite the growing threat posed by Android malware, the research community is still lacking a comprehensive view of common behaviors and trends exposed by malware families active on the platform. Without such view, the researchers incur the risk of developing systems that only detect outdated threats, missing the most recent ones. In this paper, we conduct the largest measurement of Android malware behavior to date, analyzing over 1.2 million malware samples that belong to 1.2K families over a period of eight years (from 2010 to 2017). We aim at understanding how the behavior of Android malware has evolved over time, focusing on repackaging malware. In this type of threats different innocuous apps are piggybacked with a malicious payload (rider), allowing inexpensive malware manufacturing. One of the main challenges posed when studying repackaged malware is slicing the app to split benign components apart from the malicious ones. To address this problem, we use differential analysis to isolate software components that are irrelevant to the campaign and study the behavior of malicious riders alone. Our analysis framework relies on collective repositories and recent advances on the systematization of intelligence extracted from multiple anti-virus vendors. We find that since its infancy in 2010, the Android malware ecosystem has changed significantly, both in the type of malicious activity performed by the malicious samples and in the level of obfuscation used by malware to avoid detection. We then show that our framework can aid analysts who attempt to study unknown malware families. Finally, we discuss what our findings mean for Android malware detection research, highlighting areas that need further attention by the research community.


title: Psychlab: A Psychology Laboratory for Deep Reinforcement Learning Agents

abstract: Psychlab is a simulated psychology laboratory inside the first-person 3D game world of DeepMind Lab (Beattie et al. 2016). Psychlab enables implementations of classical laboratory psychological experiments so that they work with both human and artificial agents. Psychlab has a simple and flexible API that enables users to easily create their own tasks. As examples, we are releasing Psychlab implementations of several classical experimental paradigms including visual search, change detection, random dot motion discrimination, and multiple object tracking. We also contribute a study of the visual psychophysics of a specific state-of-the-art deep reinforcement learning agent: UNREAL (Jaderberg et al. 2016). This study leads to the surprising conclusion that UNREAL learns more quickly about larger target stimuli than it does about smaller stimuli. In turn, this insight motivates a specific improvement in the form of a simple model of foveal vision that turns out to significantly boost UNREAL's performance, both on Psychlab tasks, and on standard DeepMind Lab tasks. By open-sourcing Psychlab we hope to facilitate a range of future such studies that simultaneously advance deep reinforcement learning and improve its links with cognitive science.


title: Is the coexistence of Catalan and Spanish possible in Catalonia?

abstract: We study the stability of two coexisting languages (Catalan and Spanish) in Catalonia (North-Eastern Spain), a key European region in political and economic terms. Our analysis relies on recent, abundant empirical data that is studied within an analytic model of population dynamics. This model contemplates the possibilities of long-term language coexistence or extinction. We establish that the most likely scenario is a sustained coexistence. The data needs to be interpreted under different circumstances, some of them leading to the asymptotic extinction of one of the languages involved. We delimit the cases in which this can happen. Asymptotic behavior is often unrealistic as a predictor for complex social systems, hence we make an attempt at forecasting trends of speakers towards $2030$. These also suggest sustained coexistence between both tongues, but some counterintuitive dynamics are unveiled for extreme cases in which Catalan would be likely to lose an important fraction of speakers. As an intermediate step, model parameters are obtained that convey relevant information about the prestige and interlinguistic similarity of the tongues as perceived by the population. This is the first time that these parameters are quantified rigorously for this couple of languages. Remarkably, Spanish is found to have a larger prestige specially in areas which historically had larger communities of Catalan monolingual speakers. Limited, spatially-segregated data allows us to examine more fine grained dynamics, thus better addressing the likely coexistence or extinction. Variation of the model parameters across regions are informative about how the two languages are perceived in more urban or rural environments.


title: Notes on the SYK model in real time

abstract: Nonperturbative formulation of the Sachdev-Ye-Kitaev (SYK) model is discussed. The partition function of the model can be represented as a functional integral over the Grassmann variables in Euclidean time which is well defined but it diverges after the transformation to the fermion bilocal fields. We point out that the generating functional of the SYK model in real time is well defined even after the transformation to the bilocal fields and it can be used for nonperturbative investigations of its properties. The SYK model in zero dimensions is studied, its large N expansion is evaluated and phase transitions are investigated.


title: Thermal Casimir and Casimir-Polder interactions in $N$ parallel 2D Dirac materials

abstract: The Casimir and Casimir-Polder interactions are investigated in a stack of equally spaced graphene layers. The optical response of the individual graphene is taken into account using gauge invariant components of the polarization tensor extended to the whole complex frequency plane. The planar symmetry for the electromagnetic boundary conditions is further used to obtain explicit forms for the Casimir energy stored in the stack and the Casimir-Polder energy between an atom above the stack. Our calculations show that these fluctuation induced interactions experience strong thermal effects due to the graphene Dirac-like energy spectrum. The spatial dispersion and temperature dependence in the optical response are also found to be important for enhancing the interactions especially at smaller separations. Analytical expressions for low and high temperature limits and their comparison with corresponding expressions for an infinitely conducting planar stack are further used to expand our understanding of Casimir and Casimir-Polder energies in Dirac materials. Our results may be useful to experimentalists as new ways to probe thermal effects at the nanoscale in such universal interactions.


title: Optimal Estimation of Simultaneous Signals Using Absolute Inner Product with Applications to Integrative Genomics

abstract: Integrating the summary statistics from genome-wide association study (\textsc{gwas}) and expression quantitative trait loci (e\textsc{qtl}) data provides a powerful way of identifying the genes whose expression levels are potentially associated with complex diseases. A parameter called $T$-score that quantifies the genetic overlap between a gene and the disease phenotype based on the summary statistics is introduced based on the mean values of two Gaussian sequences. Specifically, given two independent samples $\mathbf{x}_n\sim N(\theta, \Sigma_1)$ and $\mathbf{y}_n\sim N(\mu, \Sigma_2)$, the $T$-score is defined as $\sum_{i=1}^n |\theta_i\mu_i|$, a non-smooth functional, which characterizes the amount of shared signals between two absolute normal mean vectors $|\theta|$ and $|\mu|$. Using approximation theory, estimators are constructed and shown to be minimax rate-optimal and adaptive over various parameter spaces. Simulation studies demonstrate the superiority of the proposed estimators over existing methods. The method is applied to an integrative analysis of heart failure genomics datasets and we identify several genes and biological pathways that are potentially causal to human heart failure.


title: Superconductivity in the vicinity of a ferroelectric quantum phase transition

abstract: Superconductivity has been observed in doped SrTiO$_3$ at charge-carrier densities below 10$^{18}$ cm$^{-3}$, where the density of states at the Fermi level of the itinerant electrons is several orders of magnitude lower than that of conventional metals. In terms of the Bardeen-Cooper-Schrieffer description, this implies the existence of an extraordinarily strong interaction driving the formation of Cooper pairs, potentially comparable in order of magnitude to that in some high Tc superconductors. Under suitable conditions the interaction might remain effective at densities approaching metallic densities, leading to the possibility of pair formation at elevated temperatures. Here we investigate the pressure dependence of the resistivity and superconducting transition temperature, Tc, of SrTiO$_3$ at a carrier density near to optimal doping. Our experiments show that Tc collapses rapidly with pressure and hence with increasing frequency of the soft transverse-optical phonon mode connected to the ferroelectric quantum critical point. We show that the superconductivity phase diagram can be understood in terms of the coupling of electrons via two hybrid longitudinal polar modes, based on a model of dipolar fluctuations of the charge carrier-ion system. In particular, we predict that for carrier densities above the order of 10$^{18}$ cm$^{-3}$, Tc can be strongly enhanced on approaching the ferroelectric quantum critical point, as seen in our measurements of SrTiO$_3$ and as found in many electrically conducting magnetic analogues. However below this density we predict the reverse behaviour, namely that Tc is suppressed on approaching the ferroelectric quantum critical point. Our model is also relevant to superconductivity found in gated ferroelectric quantum critical systems such as KTaO$_3$ and can guide searches for new superconductors in a diversity of materials.


title: Controlling an Alien Predator Population by Regional Controls

abstract: We investigate the problem of minimizing the total cost of the damages produced by an alien predator population and of the regional control paid to reduce this population. The dynamics of the predators is described by a prey-predator system with either local or nonlocal reaction terms. A sufficient condition for the zero-stabilizability (eradicability) of predators is given in terms of the sign of the principal eigenvalue of an appropriate operator that is not self-adjoint, and a stabilizing feedback control with a very simple structure is indicated. The minimization related to such a feedback control is treated for a closely related minimization problem viewed as a regional control problem. The level set method is a key ingredient. An iterative algorithm to decrease the total cost is obtained and numerical results show the effectiveness of the theoretical results. A spatially structured SIR problem may be described by the same system; in this case the above mentioned minimization problem is related to the problem of eradication of an epidemic by regional controls.


title: Massive star winds interacting with magnetic fields on various scales

abstract: One of the defining processes which govern massive star evolution is their continuous mass loss via dense, supersonic line-driven winds. In the case of those OB stars which also host a surface magnetic field, the interaction between that field and the ionized outflow leads to complex circumstellar structures known as magnetospheres. In this contribution, we review recent developments in the field of massive star magnetospheres, including current efforts to characterize the largest magnetosphere surrounding an O star: that of NGC 1624-2. We also discuss the potential of the `analytic dynamical magnetosphere' (ADM) model to interpret multi-wavelength observations. Finally, we examine the possible effects of -- heretofore undetected -- small-scale magnetic fields on massive star winds and compare their hypothetical consequences to existing, unexplained observations.


title: Ultrafast extreme ultraviolet photoemission without space charge

abstract: Time- and Angle-resolved photoelectron spectroscopy from surfaces can be used to record the dynamics of electrons and holes in condensed matter on ultrafast time scales. However, ultrafast photoemission experiments using extreme-ultraviolet (XUV) light have previously been limited by either space-charge effects, low photon flux, or limited tuning range. In this article, we describe space-charge-free XUV photoelectron spectroscopy experiments with up to 5 nA of average sample current using a tunable cavity-enhanced high-harmonic source operating at 88 MHz repetition rate. The source delivers $ > 10^{11}$ photons/s in isolated harmonics to the sample over a broad photon energy range from 18 to 37 eV with a spot size of $58 \times 100 \; \mu$m$^2$. From photoelectron spectroscopy data, we place conservative upper limits on the XUV pulse duration and photon energy bandwidth of 93 fs and 65 meV, respectively. The high photocurrent, lack of space charge distortions of the photoelectron spectra, and excellent isolation of individual harmonic orders allow us to observe the laser-assisted photoelectric effect with sideband amplitudes as low as $6 \times 10^{-4}$, enabling time-resolved XUV photoemission experiments in a qualitatively new regime.

categories: physics.optics cond-mat.mtrl-sci physics.atom-ph physics.chem-ph


title: A Kodaira Vanishing Theorem for Noncommutative Kahler Structures

abstract: Using the framework of noncommutative Kahler structures, we generalise to the noncommutative setting the celebrated vanishing theorem of Kodaira for positive line bundles. The result is established under the assumption that the associated Dirac-Dolbeault operator of the line bundle is diagonalisable, an assumption that is shown to always hold in the quantum homogeneous space case. The general theory is then applied to the covariant Kahler structure of the Heckenberger-Kolb calculus of the quantum Grassmannians allowing us to prove a direct q-deformation of the classical Grassmannian Bott-Borel-Weil theorem for positive line bundles.


title: Characterizing Subcritical Assemblies with Time of Flight Fixed by Energy Estimation Distributions

abstract: We present the Time of Flight Fixed by Energy Estimation (TOFFEE) as a measure of the fission chain dynamics in subcritical assemblies. TOFFEE is the time between correlated gamma rays and neutrons, subtracted by the estimated travel time of the incident neutron from its proton recoil. The measured subcritical assembly was the BeRP ball, a 4.482 kg sphere of alpha-phase weapons grade plutonium metal, which came in five configurations: bare, 0.5, 1, and 1.5 in iron, and 1 in nickel closed fitting shell reflectors. We extend the measurement with MCNPX-PoliMi simulations of shells ranging up to 6 inches in thickness, and two new reflector materials: aluminum and tungsten. We also simulated the BeRP ball with different masses ranging from 1 to 8 kg. A two-region and single-region point kinetics models were used to model the behavior of the positive side of the TOFFEE distribution from 0 to 100 ns. The single region model of the bare cases gave positive linear correlations between estimated and expected neutron decay constants and leakage multiplications. The two-region model provided a way to estimate neutron multiplication for the reflected cases, which correlated positively with expected multiplication, but the nature of the correlation (sub or super linear) changed between material types. Finally, we found that the areal density of the reflector shells had a linear correlation with the integral of the two-region model fit. Therefore, we expect that with knowledge of reflector composition, one could determine the shell thickness, or vice versa. Furthermore, up to a certain amount and thickness of the reflector, the two-region model provides a way of distinguishing bare and reflected plutonium assemblies.


title: New experimental approaches in the search for axion-like particles

abstract: Axions and other very light axion-like particles appear in many extensions of the Standard Model, and are leading candidates to compose part or all of the missing matter of the Universe. They also appear in models of inflation, dark radiation, or even dark energy, and could solve some long-standing astrophysical anomalies. The physics case of these particles has been considerably developed in recent years, and there are now useful guidelines and powerful motivations to attempt experimental detection. Admittedly, the lack of positive signal of new physics at the high energy frontier, and in underground detectors searching for weakly interacting massive particles, is also contributing to the increase of the interest in axion searches. The experimental landscape is rapidly evolving, with many novel detection concepts and new experiments being proposed lately. An updated account of those initiatives is lacking in the literature. In this review we attempt to provide such a review. We will focus on the new experimental approaches and their complementarity, but will also review the most relevant recent results from the consolidated strategies and the prospects of new generation experiments under consideration in the field. We will also briefly review the latest developments of the theory, cosmology and astrophysics of axions and we will discuss the prospects to probe a large fraction of relevant parameter space in the coming decade.


title: The Search for Dark Matter

abstract: The dark matter problem is almost a century old. Since the 1930s evidence has been growing that our cosmos is dominated by a new form of non-baryonic matter, that holds galaxies and clusters together and influences cosmic structures up to the largest observed scales. At the microscopic level, we still do not know the composition of this dark, or invisible matter, which does not interact directly with light. The simplest assumption is that it is made of new particles that interact with gravity and at most weakly with known elementary particles. I will discuss searches for such new particles, both space- and Earth-bound including those placed in deep underground laboratories. While a dark matter particle hasn't been yet identified, even after decades of concerted efforts, new technological developments and experiments have reached sensitivities where a discovery might be imminent, albeit certainly not guaranteed.


title: Running bumps from stealth bosons

abstract: For the "stealth bosons" $S$, light boosted particles with a decay $S \to A A \to q \bar q q \bar q$ into four quarks and reconstructed as a single fat jet, the groomed jet mass has a strong correlation with groomed jet substructure variables. Consequently, the jet mass distribution is strongly affected by the jet substructure selection cuts when applied on the groomed jet. We illustrate this fact by recasting a CMS search for low-mass dijet resonances and show a few representative examples. The mass distributions exhibit narrow and wide bumps at several locations in the 100 - 300 GeV range, between the masses of the daughter particles $A$ and the parent particle $S$, depending on the jet substructure selection. This striking observation introduces several caveats when interpreting and comparing experimental results, for the case of non-standard signatures. The possibility that a single boosted particle decaying hadronically produces multiple bumps, at quite different jet masses, and depending on the event selection, brings the game of anomaly chasing to the next level.


title: Efficient common-envelope ejection through dust-driven winds

abstract: Common-envelope evolution (CEE) is the short-lived phase in the life of an interacting binary-system during which two stars orbit inside a single shared envelope. Such evolution is thought to lead to the inspiral of the binary, the ejection of the extended envelope and the formation of a remnant short-period binary. However, detailed hydrodynamical models of CEE encounter major difficulties. They show that following the inspiral most of the envelope is not ejected; though it expands to larger separations, it remains bound to the binary. Here we propose that dust-driven winds can be produced following the CEE. These can evaporate the envelope following similar processes operating in the ejection of the envelopes of AGB stars. Pulsations in an AGB-star drives the expansion of its envelope, allowing the material to cool down to low temperatures thus enabling dust condensation. Radiation pressure on the dust accelerates it, and through its coupling to the gas it drives winds which eventually completely erode the envelope. We show that the inspiral phase in CE-binaries can effectively replace the role of stellar pulsation and drive the CE expansion to scales comparable with those of AGB stars, and give rise to efficient mass-loss through dust-driven winds.


title: Molten Antiferromagnets in Two Dimensions

abstract: We study crystal melting in two-dimensional antiferromagnets, by analyzing the statistical mechanics of the six-state clock model on a lattice in which defects (dislocations and disclinations) are allowed to appear. We show that the elementary dislocations bind to fractional magnetic vortices. We compute the phase diagram by mapping the system into a Coulomb gas model. Surprisingly, we find that in the limit of dominant magnetic interactions, antiferromagnetism can survive even in the hexatic and liquid phases. The ensuing molten antiferromagnets are topologically ordered and are characterized by spontaneous symmetry breaking of a non-local order parameter.


title: Mad-Dog Everettianism: Quantum Mechanics at Its Most Minimal

abstract: To the best of our current understanding, quantum mechanics is part of the most fundamental picture of the universe. It is natural to ask how pure and minimal this fundamental quantum description can be. The simplest quantum ontology is that of the Everett or Many-Worlds interpretation, based on a vector in Hilbert space and a Hamiltonian. Typically one also relies on some classical structure, such as space and local configuration variables within it, which then gets promoted to an algebra of preferred observables. We argue that even such an algebra is unnecessary, and the most basic description of the world is given by the spectrum of the Hamiltonian (a list of energy eigenvalues) and the components of some particular vector in Hilbert space. Everything else - including space and fields propagating on it - is emergent from these minimal elements.


title: Causal Inference in Disease Spread across a Heterogeneous Social System

abstract: Diffusion processes are governed by external triggers and internal dynamics in complex systems. Timely and cost-effective control of infectious disease spread critically relies on uncovering the underlying diffusion mechanisms, which is challenging due to invisible causality between events and their time-evolving intensity. We infer causal relationships between infections and quantify the reflexivity of a meta-population, the level of feedback on event occurrences by its internal dynamics (likelihood of a regional outbreak triggered by previous cases). These are enabled by our new proposed model, the Latent Influence Point Process (LIPP) which models disease spread by incorporating macro-level internal dynamics of meta-populations based on human mobility. We analyse 15-year dengue cases in Queensland, Australia. From our causal inference, outbreaks are more likely driven by statewide global diffusion over time, leading to complex behavior of disease spread. In terms of reflexivity, precursory growth and symmetric decline in populous regions is attributed to slow but persistent feedback on preceding outbreaks via inter-group dynamics, while abrupt growth but sharp decline in peripheral areas is led by rapid but inconstant feedback via intra-group dynamics. Our proposed model reveals probabilistic causal relationships between discrete events based on intra- and inter-group dynamics and also covers direct and indirect diffusion processes (contact-based and vector-borne disease transmissions).


title: On a counterexample in connection with the Picard-Lindel\"of theorem

abstract: We give an example, which demonstrates that in the situation of the Picard-Lindel\"of theorem, the Lipschitz condition on the right hand side $f(x,y)$ with respect to $y$, cannot be replaced by Lipschitz continuity in $y$ for every $x$. We show that, in our example, the classical Euler method detects only one of infinitely many solutions and we outline how the latter can be adjusted to find also other solutions numerically.


title: Analysis of the Yukawa gravitational potential in $f(R)$ gravity I: semiclassical periastron advance

abstract: The {\it concordance} cosmological model has been successfully tested throughout the last decades. Despite its successes, the fundamental nature of dark matter and dark energy is still unknown. Modifications of the gravitational action have been proposed as an alternative to these dark components. The straightforward modification of gravity is to generalize the action to a function, $f(R)$, of the scalar curvature. Thus one is able to describe the emergence and the evolution of the Large Scale Structure without any additional (unknown) dark component. In the weak field limit of the $f(R)$-gravity, a modified Newtonian gravitational potential arises. This gravitational potential accounts for an extra force, generally called fifth force, that produces a precession of the orbital motion even in the classic mechanical approach. We have shown that the orbits in the modified potential can be written as Keplerian orbits under some conditions on the strength and scale length of this extra force. Nevertheless, we have also shown that this extra term gives rise to the precession of the orbit. Thus, comparing our prediction with the measurements of the precession of some planetary motions, we have found that the strength of the fifth force must be in the range $[2.70-6.70]\times10^{-9}$ whit the characteristic scale length to fixed to the fiducial values of $\sim 5000$ AU.


title: Analysis of the Yukawa gravitational potential in $f(R)$ gravity II: relativistic periastron advance

abstract: Alternative theories of gravity may serve to overcame several shortcomings of the standard cosmological model but, in their weak field limit, General Relativity must be recovered so as to match the tight constraints at the Solar System scale. Therefore, testing such alternative models at scales of stellar systems could give a unique opportunity to confirm or rule them out. One of the most straightforward modifications is represented by analytical $f(R)$-gravity models that introduce a Yukawa-like modification to the Newtonian potential thus modifying the dynamics of particles. Using the geodesics equations, we have illustrated the amplitude of these modifications. First, we have integrated numerically the equations of motion showing the orbital precession of a particle around a massive object. Second, we have computed an analytic expression for the periastron advance of systems having their semi-major axis much shorter than the Yukawa-scale length. Finally, we have extended our results to the case of a binary system composed of two massive objects. Our analysis provides a powerful tool to obtain constraints on the underlying theory of gravity using current and forthcoming datasets.


title: Nerve impulse propagation and wavelet theory

abstract: A luminous stimulus which penetrates in a retina is converted to a nerve message. Ganglion cells give a response that may be approximated by a wavelet. We determine a function PSI which is associated with the propagation of nerve impulses along an axon. Each kind of channel (inward and outward) may be open or closed, depending on the transmembrane potential. The transition between these states is a random event. Using quantum relations, we estimate the number of channels susceptible to switch between the closed and open states. Our quantum approach was first to calculate the energy level distribution in a channel. We obtain, for each kind of channel, the empty level density and the filled level density of the open and closed conformations. The joint density of levels provides the transition number between the closed and open conformations. The algebraic sum of inward and outward open channels is a function PSI of the normalized energy E. The function PSI verifies the major properties of a wavelet. We calculate the functional dependence of the axon membrane conductance with the transmembrane energy.


title: Existence and concentration phenomena for a class of indefinite variational problems with critical growth

abstract: In this paper we are interested to prove the existence and concentration of ground state solution for the following class of problems $$ -\Delta u+V(x)u=A(\epsilon x)f(u), \quad x \in \R^{N}, \eqno{(P)_{\epsilon}} $$ where $N \geq 2$, $\epsilon>0$, $A:\R^{N}\rightarrow\R$ is a continuous function that satisfies $$ 0<\inf_{x\in\R^{N}}A(x)\leq\lim_{|x|\rightarrow+\infty}A(x)<\sup_{x\in\R^{N}}A(x)=A(0),\eqno{(A)} $$ $f:\R\rightarrow\R$ is a continuous function having critical growth, $V:\R^{N}\rightarrow\R$ is a continuous and $\Z^{N}$--periodic function with $0\notin\sigma(\Delta+V)$. By using variational methods, we prove the existence of solution for $\epsilon$ small enough. After that, we show that the maximum points of the solutions concentrate around of a maximum point of $A$.


title: The JCMT Gould Belt Survey: A First Look at the Auriga-California Molecular Cloud with SCUBA-2

abstract: We present 850 and 450 micron observations of the dense regions within the Auriga-California molecular cloud using SCUBA-2 as part of the JCMT Gould Belt Legacy Survey to identify candidate protostellar objects, measure the masses of their circumstellar material (disk and envelope), and compare the star formation to that in the Orion A molecular cloud. We identify 59 candidate protostars based on the presence of compact submillimeter emission, complementing these observations with existing Herschel/SPIRE maps. Of our candidate protostars, 24 are associated with young stellar objects (YSOs) in the Spitzer and Herschel/PACS catalogs of 166 and 60 YSOs, respectively (177 unique), confirming their protostellar nature. The remaining 35 candidate protostars are in regions, particularly around LkHalpha 101, where the background cloud emission is too bright to verify or rule out the presence of the compact 70 micron emission that is expected for a protostellar source. We keep these candidate protostars in our sample but note that they may indeed be prestellar in nature. Our observations are sensitive to the high end of the mass distribution in Auriga-Cal. We find that the disparity between the richness of infrared star forming objects in Orion A and the sparsity in Auriga-Cal extends to the submillimeter, suggesting that the relative star formation rates have not varied over the Class II lifetime and that Auriga-Cal will maintain a lower star formation efficiency.


title: An ALMA view of star formation efficiency suppression in early-type galaxies after gas-rich minor mergers

abstract: Gas-rich minor mergers contribute significantly to the gas reservoir of early-type galaxies (ETGs) at low redshift, yet the star formation efficiency (SFE; the star formation rate divided by the molecular gas mass) appears to be strongly suppressed following some of these events, in contrast to the more well-known merger-driven starbursts. We present observations with the Atacama Large Millimeter/submillimeter Array (ALMA) of six ETGs, which have each recently undergone a gas-rich minor merger, as evidenced by their disturbed stellar morphologies. These galaxies were selected because they exhibit extremely low SFEs. We use the resolving power of ALMA to study the morphology and kinematics of the molecular gas. The majority of our galaxies exhibit spatial and kinematical irregularities, such as detached gas clouds, warps, and other asymmetries. These asymmetries support the interpretation that the suppression of the SFE is caused by dynamical effects stabilizing the gas against gravitational collapse. Through kinematic modelling we derive high velocity dispersions and Toomre Q stability parameters for the gas, but caution that such measurements in edge-on galaxies suffer from degeneracies. We estimate merger ages to be about 100~Myr based on the observed disturbances in the gas distribution. Furthermore, we determine that these galaxies lie, on average, two orders of magnitude below the Kennicutt-Schmidt relation for star-forming galaxies as well as below the relation for relaxed ETGs. We discuss potential dynamical processes responsible for this strong suppression of star formation surface density at fixed molecular gas surface density.