title: Dynamic High Resolution Deformable Articulated Tracking

abstract: The last several years have seen significant progress in using depth cameras for tracking articulated objects such as human bodies, hands, and robotic manipulators. Most approaches focus on tracking skeletal parameters of a fixed shape model, which makes them insufficient for applications that require accurate estimates of deformable object surfaces. To overcome this limitation, we present a 3D model-based tracking system for articulated deformable objects. Our system is able to track human body pose and high resolution surface contours in real time using a commodity depth sensor and GPU hardware. We implement this as a joint optimization over a skeleton to account for changes in pose, and over the vertices of a high resolution mesh to track the subject's shape. Through experimental results we show that we are able to capture dynamic sub-centimeter surface detail such as folds and wrinkles in clothing. We also show that this shape estimation aids kinematic pose estimation by providing a more accurate target to match against the point cloud. The end result is highly accurate spatiotemporal and semantic information which is well suited for physical human robot interaction as well as virtual and augmented reality systems.


title: Personalization of Saliency Estimation

abstract: Most existing saliency models use low-level features or task descriptions when generating attention predictions. However, the link between observer characteristics and gaze patterns is rarely investigated. We present a novel saliency prediction technique which takes viewers' identities and personal traits into consideration when modeling human attention. Instead of only computing image salience for average observers, we consider the interpersonal variation in the viewing behaviors of observers with different personal traits and backgrounds. We present an enriched derivative of the GAN network, which is able to generate personalized saliency predictions when fed with image stimuli and specific information about the observer. Our model contains a generator which generates grayscale saliency heat maps based on the image and an observer label. The generator is paired with an adversarial discriminator which learns to distinguish generated salience from ground truth salience. The discriminator also has the observer label as an input, which contributes to the personalization ability of our approach. We evaluate the performance of our personalized salience model by comparison with a benchmark model along with other un-personalized predictions, and illustrate improvements in prediction accuracy for all tested observer groups.


title: Reinforcing Adversarial Robustness using Model Confidence Induced by Adversarial Training

abstract: In this paper we study leveraging confidence information induced by adversarial training to reinforce adversarial robustness of a given adversarially trained model. A natural measure of confidence is $\|F({\bf x})\|_\infty$ (i.e. how confident $F$ is about its prediction?). We start by analyzing an adversarial training formulation proposed by Madry et al.. We demonstrate that, under a variety of instantiations, an only somewhat good solution to their objective induces confidence to be a discriminator, which can distinguish between right and wrong model predictions in a neighborhood of a point sampled from the underlying distribution. Based on this, we propose Highly Confident Near Neighbor (${\tt HCNN}$), a framework that combines confidence information and nearest neighbor search, to reinforce adversarial robustness of a base model. We give algorithms in this framework and perform a detailed empirical study. We report encouraging experimental results that support our analysis, and also discuss problems we observed with existing adversarial training.


title: MemJam: A False Dependency Attack against Constant-Time Crypto Implementations

abstract: Cache attacks exploit memory access patterns of cryptographic implementations. Constant-Time implementation techniques have become an indispensable tool in fighting cache timing attacks. These techniques engineer the memory accesses of cryptographic operations to follow a uniform key independent pattern. However, the constant-time behavior is dependent on the underlying architecture, which can be highly complex and often incorporates unpublished features. CacheBleed attack targets cache bank conflicts and thereby invalidates the assumption that microarchitectural side-channel adversaries can only observe memory with cache line granularity. In this work, we propose MemJam, a side-channel attack that exploits false dependency of memory read-after-write and provides a high quality intra cache level timing channel. As a proof of concept, we demonstrate the first key recovery attacks on a constant-time implementation of AES, and a SM4 implementation with cache protection in the current Intel Integrated Performance Primitives (Intel IPP) cryptographic library. Further, we demonstrate the first intra cache level timing attack on SGX by reproducing the AES key recovery results on an enclave that performs encryption using the aforementioned constant-time implementation of AES. Our results show that we can not only use this side channel to efficiently attack memory dependent cryptographic operations but also to bypass proposed protections. Compared to CacheBleed, which is limited to older processor generations, MemJam is the first intra cache level attack applicable to all major Intel processors including the latest generations that support the SGX extension.


title: Electromechanically Tunable Metasurface Transmission Waveplate at Terahertz Frequencies

abstract: Dynamic polarization control of light is essential for numerous applications ranging from enhanced imaging to materials characterization and identification. We present a reconfigurable terahertz metasurface quarter-waveplate consisting of electromechanically actuated micro-cantilever arrays. Our anisotropic metasurface enables tunable polarization conversion cantilever actuation. Specifically, voltage-based actuation provides mode selective control of the resonance frequency, enabling real-time tuning of the polarization state of the transmitted light. The polarization tunable metasurface has been fabricated using surface micromachining and characterized using terahertz time domain spectroscopy. We observe a ~230 GHz cantilever actuated frequency shift of the resonance mode, sufficient to modulate the transmitted wave from pure circular polarization to linear polarization. Our CMOS-compatible tunable quarter-waveplate enriches the library of terahertz optical components, thereby facilitating practical applications of terahertz technologies.


title: Deviations of exact neutrino textures using radiative neutrino masses

abstract: The Weinberg operator allows for the construction of radiative Majorana neutrino masses. In this letter, it will be shown that it is possible to construct a one-loop diagram that will be the principal component of the neutrino mass matrix and that will have an exact mixing matrix with $\theta_{13} =0$. The addition of a two-loop diagram, which is naturally suppressed, allows the creation of the correct perturbations that will give a neutrino mixing matrix with entries inside experimental constrains, including the possibility of large CP Dirac phases.


title: Imaging bulk and edge transport near the Dirac point in graphene moir\'e superlattices

abstract: Van der Waals structures formed by aligning monolayer graphene with insulating layers of hexagonal boron nitride exhibit a moir\'e superlattice that is expected to break sublattice symmetry. Despite an energy gap of several tens of millielectron volts opening in the Dirac spectrum, electrical resistivity remains lower than expected at low temperature and varies between devices. While subgap states are likely to play a role in this behavior, their precise nature is unclear. We present a scanning gate microscopy study of moir\'e superlattice devices with comparable activation energy but with different charge disorder levels. In the device with higher charge impurity (~${10}^{10}$ $cm^{-2}$) and lower resistivity (~$10$ $k{\Omega}$) at the Dirac point we observe current flow along the graphene edges. Combined with simulations, our measurements suggest that enhanced edge doping is responsible for this effect. In addition, a device with low charge impurity (~$10^9$ $cm^{-2}$) and higher resistivity (~$100$ $k{\Omega}$) shows subgap states in the bulk, consistent with the absence of shunting by edge currents.


title: Relating Input Concepts to Convolutional Neural Network Decisions

abstract: Many current methods to interpret convolutional neural networks (CNNs) use visualization techniques and words to highlight concepts of the input seemingly relevant to a CNN's decision. The methods hypothesize that the recognition of these concepts are instrumental in the decision a CNN reaches, but the nature of this relationship has not been well explored. To address this gap, this paper examines the quality of a concept's recognition by a CNN and the degree to which the recognitions are associated with CNN decisions. The study considers a CNN trained for scene recognition over the ADE20k dataset. It uses a novel approach to find and score the strength of minimally distributed representations of input concepts (defined by objects in scene images) across late stage feature maps. Subsequent analysis finds evidence that concept recognition impacts decision making. Strong recognition of concepts frequently-occurring in few scenes are indicative of correct decisions, but recognizing concepts common to many scenes may mislead the network.


title: A Directional Antenna based Leader-Follower Relay System for End-to-End Robot Communications

abstract: In this paper, we present a directional antenna-based leader-follower robotic relay system capable of building end-to-end communication in complicated and dynamically changing environments. The proposed system consists of multiple networked robots - one is a mobile end node and the others are leaders or followers acting as radio relays. Every follower uses directional antennas to relay a communication radio and to estimate the location of the leader robot as a sensory device. For bearing estimation, we employ a weight centroid algorithm (WCA) and present a theoretical analysis of the use of WCA for this work. Using a robotic convoy method, we develop online, distributed control strategies that satisfy the scalability requirements of robotic network systems and enable cooperating robots to work independently. The performance of the proposed system is evaluated by conducting extensive real-world experiments that successfully build actual communication between two end nodes.


title: Search for gauge-mediated supersymmetry in events with at least one photon and missing transverse momentum in pp collisions at $\sqrt{s} = $ 13 TeV

abstract: A search for gauge-mediated supersymmetry (SUSY) in final states with photons and large missing transverse momentum is presented. The data sample of pp collisions at $\sqrt{s} = $ 13 TeV was collected with the CMS detector at the CERN LHC and corresponds to an integrated luminosity of 35.9 fb$^{-1}$. Data are compared with models in which the lightest neutralino has bino- or wino-like components, resulting in decays to photons and gravitinos, where the gravitinos escape detection. The event selection is optimized for both electroweak (EWK) and strong production SUSY scenarios. The observed data are consistent with standard model predictions, and limits are set in the context of a general gauge mediation model in which gaugino masses up to 980 GeV are excluded at 95% confidence level. Gaugino masses below 780 and 950 GeV are excluded in two simplified models with EWK production of mass-degenerate charginos and neutralinos. Stringent limits are set on simplified models based on gluino and squark pair production, excluding gluino (squark) masses up to 2100 (1750) GeV depending on the assumptions made for the decay modes and intermediate particle masses. This analysis sets the highest mass limits to date in the studied EWK models, and in the considered strong production models when the mass difference between the gauginos and the squarks or gluinos is small.


title: Unimodular Gravity and General Relativity UV divergent contributions to the scattering of massive scalar particles

abstract: We work out the one-loop and order $\kappa^2 m_\phi^2$ UV divergent contributions, coming from Unimodular Gravity and General Relativity, to the S matrix element of the scattering process $\phi + \phi\rightarrow \phi + \phi$ in a $\lambda \phi^4$ theory with mass $m_\phi$. We show that both Unimodular Gravity and General Relativity give rise to the same UV divergent contributions in Dimension Regularization. This seems to be at odds with the known result that in a multiplicative MS dimensional regularization scheme the General Relativity corrections, in the de Donder gauge, to the beta function $\beta_{\lambda}$ of the $\lambda$ coupling do not vanish, whereas the Unimodular Gravity corrections, in a certain gauge, do vanish. Actually, we show that the UV divergent contributions to the 1PI Feynman diagrams which give rise to those non-vanishing corrections to $\beta_{\lambda}$ do not contribute to the UV divergent behaviour of the S matrix element of $\phi + \phi\rightarrow \phi + \phi$ and this shows that any physical consequence --such existence of asymptotic freedom due to gravitational interactions-- drawn from the value of $\beta_{\lambda}$ is not physically meaningful.


title: Unsupervised Adaptation with Domain Separation Networks for Robust Speech Recognition

abstract: Unsupervised domain adaptation of speech signal aims at adapting a well-trained source-domain acoustic model to the unlabeled data from target domain. This can be achieved by adversarial training of deep neural network (DNN) acoustic models to learn an intermediate deep representation that is both senone-discriminative and domain-invariant. Specifically, the DNN is trained to jointly optimize the primary task of senone classification and the secondary task of domain classification with adversarial objective functions. In this work, instead of only focusing on learning a domain-invariant feature (i.e. the shared component between domains), we also characterize the difference between the source and target domain distributions by explicitly modeling the private component of each domain through a private component extractor DNN. The private component is trained to be orthogonal with the shared component and thus implicitly increases the degree of domain-invariance of the shared component. A reconstructor DNN is used to reconstruct the original speech feature from the private and shared components as a regularization. This domain separation framework is applied to the unsupervised environment adaptation task and achieved 11.08% relative WER reduction from the gradient reversal layer training, a representative adversarial training method, for automatic speech recognition on CHiME-3 dataset.


title: Observation of Gapless Dirac Surface States in ZrGeTe

abstract: The experimental discovery of the topological Dirac semimetal establishes a platform to search for various exotic quantum phases in real materials. ZrSiS-type materials have recently emerged as topological nodal-line semimetals where gapped Dirac-like surface states are observed. Here, we present a systematic angle-resolved photoemission spectroscopy (ARPES) study of ZrGeTe, a nonsymmorphic symmetry protected Dirac semimetal. We observe two Dirac-like gapless surface states at the same $\bar X$ point of the Brillouin zone. Our theoretical analysis and first-principles calculations reveal that these are protected by crystalline symmetry. Hence, ZrGeTe appears as a rare example of a naturally fine tuned system where the interplay between symmorphic and non-symmorphic symmetry leads to rich phenomenology, and thus opens for opportunities to investigate the physics of Dirac semimetallic and topological insulating phases realized in a single material.


title: A high order time discretization of the solution of the non-linear filtering problem

abstract: The solution of the continuous time filtering problem can be represented as a ratio of two expectations of certain functionals of the signal process that are parametrized by the observation path. We introduce a class of discretization schemes of these functionals of arbitrary order. The result generalizes the classical work of Picard, who introduced first order discretizations to the filtering functionals. For a given time interval partition, we construct discretization schemes with convergence rates that are proportional with the $m$-power of the mesh of the partition for arbitrary $m\in\mathbb{N}$. The result paves the way for constructing high order numerical approximation for the solution of the filtering problem.


title: OSQP: An Operator Splitting Solver for Quadratic Programs

abstract: We present a general-purpose solver for convex quadratic programs based on the alternating direction method of multipliers, employing a novel operator splitting technique that requires the solution of a quasi-definite linear system with the same coefficient matrix at almost every iteration. Our algorithm is very robust, placing no requirements on the problem data such as positive definiteness of the objective function or linear independence of the constraint functions. It can be configured to be division-free once an initial matrix factorization is carried out, making it suitable for real-time applications in embedded systems. In addition, our technique is the first operator splitting method for quadratic programs able to reliably detect primal and dual infeasible problems from the algorithm iterates. The method also supports factorization caching and warm starting, making it particularly efficient when solving parametrized problems arising in finance, control, and machine learning. Our open-source C implementation OSQP has a small footprint, is library-free, and has been extensively tested on many problem instances from a wide variety of application areas. It is typically ten times faster than competing interior-point methods, and sometimes much more when factorization caching or warm start is used. OSQP has already shown a large impact with tens of thousands of users both in academia and in large corporations.


title: The Riemannian Geometry of Deep Generative Models

abstract: Deep generative models learn a mapping from a low dimensional latent space to a high-dimensional data space. Under certain regularity conditions, these models parameterize nonlinear manifolds in the data space. In this paper, we investigate the Riemannian geometry of these generated manifolds. First, we develop efficient algorithms for computing geodesic curves, which provide an intrinsic notion of distance between points on the manifold. Second, we develop an algorithm for parallel translation of a tangent vector along a path on the manifold. We show how parallel translation can be used to generate analogies, i.e., to transport a change in one data point into a semantically similar change of another data point. Our experiments on real image data show that the manifolds learned by deep generative models, while nonlinear, are surprisingly close to zero curvature. The practical implication is that linear paths in the latent space closely approximate geodesics on the generated manifold. However, further investigation into this phenomenon is warranted, to identify if there are other architectures or datasets where curvature plays a more prominent role. We believe that exploring the Riemannian geometry of deep generative models, using the tools developed in this paper, will be an important step in understanding the high-dimensional, nonlinear spaces these models learn.


title: The Cosmic Ray Boron/Carbon Ratio Measured at Voyager and at AMS-2 from 10 MeV/nuc up to ~1 TeV/nuc and a Comparison With Propagation Calculations

abstract: We have used new measurements of the B/C ratio in galactic cosmic rays at both low and high energies by the Voyager and AMS-2 spacecraft, respectively, along with propagation calculations using a truncated LBM to examine the implications of these new measurements over an extended energy range from a few MeV/nuc to 1 TeV/nuc. We find that the predictions from both the truncated LBM and the Diffusive Reacceleration model for GALPROP both agree with the Voyager and AMS-2 measurements of the B/C ratio to within +/- 10 percent throughout the entire energy range from 50 MeV/nuc to 1 TeV/nuc. The two propagation approaches also agree with each other to within +/-10 percent or less throughout this energy range. In effect a diffusion model, without significant additional acceleration, provides a match within +/-10 percent to the combined data from Voyager 1 and AMS-2 on the B/C ratio from 50 MeV/nuc to 1 TeV/nuc. The B/C ratio below 50 MeV/nuc measured at V1 exceeds the predictions of both propagation models by as much as 3 sigma in the data measurement errors.


title: Deep Long Short-Term Memory Adaptive Beamforming Networks For Multichannel Robust Speech Recognition

abstract: Far-field speech recognition in noisy and reverberant conditions remains a challenging problem despite recent deep learning breakthroughs. This problem is commonly addressed by acquiring a speech signal from multiple microphones and performing beamforming over them. In this paper, we propose to use a recurrent neural network with long short-term memory (LSTM) architecture to adaptively estimate real-time beamforming filter coefficients to cope with non-stationary environmental noise and dynamic nature of source and microphones positions which results in a set of timevarying room impulse responses. The LSTM adaptive beamformer is jointly trained with a deep LSTM acoustic model to predict senone labels. Further, we use hidden units in the deep LSTM acoustic model to assist in predicting the beamforming filter coefficients. The proposed system achieves 7.97% absolute gain over baseline systems with no beamforming on CHiME-3 real evaluation set.


title: Continuous variable entanglement of counter-propagating twin beams

abstract: This work describes the continuous-variable entanglement of the counter-propagating twin beams generated in a Mirrorless Optical Parametric Oscillator below threshold, encompassing both their quadrature and photon-number correlation. In the first case, a comparison with the single-pass co-propagating geometry outlines the huge difference of the bandwidth involved and a completely different stability of the two sources with respect to the phase-angle. In the second case, stimulated by the critical divergence of the correlation time evidenced by Corti et al., we address the issue of the temporal bandwidth of the intensity squeezing.


title: Disagreement-Based Combinatorial Pure Exploration: Sample Complexity Bounds and an Efficient Algorithm

abstract: We design new algorithms for the combinatorial pure exploration problem in the multi-arm bandit framework. In this problem, we are given $K$ distributions and a collection of subsets $\mathcal{V} \subset 2^{[K]}$ of these distributions, and we would like to find the subset $v \in \mathcal{V}$ that has largest mean, while collecting, in a sequential fashion, as few samples from the distributions as possible. In both the fixed budget and fixed confidence settings, our algorithms achieve new sample-complexity bounds that provide polynomial improvements on previous results in some settings. Via an information-theoretic lower bound, we show that no approach based on uniform sampling can improve on ours in any regime, yielding the first interactive algorithms for this problem with this basic property. Computationally, we show how to efficiently implement our fixed confidence algorithm whenever $\mathcal{V}$ supports efficient linear optimization. Our results involve precise concentration-of-measure arguments and a new algorithm for linear programming with exponentially many constraints.


title: Toward Foraging for Understanding of StarCraft Agents: An Empirical Study

abstract: Assessing and understanding intelligent agents is a difficult task for users that lack an AI background. A relatively new area, called "Explainable AI," is emerging to help address this problem, but little is known about how users would forage through information an explanation system might offer. To inform the development of Explainable AI systems, we conducted a formative study, using the lens of Information Foraging Theory, into how experienced users foraged in the domain of StarCraft to assess an agent. Our results showed that participants faced difficult foraging problems. These foraging problems caused participants to entirely miss events that were important to them, reluctantly choose to ignore actions they did not want to ignore, and bear high cognitive, navigation, and information costs to access the information they needed.


title: First-order methods for constrained convex programming based on linearized augmented Lagrangian function

abstract: First-order methods have been popularly used for solving large-scale problems. However, many existing works only consider unconstrained problems or those with simple constraint. In this paper, we develop two first-order methods for constrained convex programs, for which the constraint set is represented by affine equations and smooth nonlinear inequalities. Both methods are based on the classic augmented Lagrangian function. They update the multipliers in the same way as the augmented Lagrangian method (ALM) but employ different primal variable updates. The first method, at each iteration, performs a single proximal gradient step to the primal variable, and the second method is a block update version of the first one. For the first method, we establish its global iterate convergence as well as global sublinear and local linear convergence, and for the second method, we show a global sublinear convergence result in expectation. Numerical experiments are carried out on the basis pursuit denoising and a convex quadratically constrained quadratic program to show the empirical performance of the proposed methods. Their numerical behaviors closely match the established theoretical results.


title: Electrostatic stability of electron-positron plasmas in dipole geometry

abstract: The electrostatic stability of electron-positron plasmas is investigated in the point-dipole and Z-pinch limits of dipole geometry. The kinetic dispersion relation for sub-bounce-frequency instabilities is derived and solved. For the zero-Debye-length case, the stability diagram is found to exhibit singular behavior. However, when the Debye length is non-zero, a fluid mode appears, which resolves the observed singularity, and also demonstrates that both the temperature and density gradients can drive instability. It is concluded that a finite Debye length is necessary to determine the stability boundaries in parameter space. Landau damping is investigated at scales sufficiently smaller than the Debye length, where instability is absent.


title: Properties of the ferroelectric visible light absorbing semiconductors: Sn$_2$P$_2$S$_6$ and Sn$_2$P$_2$Se$_6$

abstract: Ferroelectrics with suitable band gaps have recently attracted attention as candidate solar absorbing materials for photovoltaics. The inversion symmetry breaking may promote the separation of photo-excited carriers and allow voltages higher than the band gap. However, these effects are not fully understood, in part because of a lack of suitable model systems for studying these effects in detail. Here, we report properties of ferroelectric Sn$_2$P$_2$S$_6$ and Sn$_2$P$_2$Se$_6$ using first principles calculations. Results are given for the electronic structure, carrier pocket shapes, optical absorption and transport. We find indirect band gaps of 2.20 eV and 1.55 eV, respectively, and favorable band structures for carrier transport, including both holes and electrons. Strong absorption is found above the direct gaps of 2.43 eV and 1.76 eV. Thus these compounds may serve as useful model systems for understanding photovoltaic effects in ferroelectric semiconductors.


title: Automated QCD and Electroweak Corrections with Sherpa

abstract: Precise theoretical predictions are vital for the interpretation of Standard Model measurements and facilitate conclusive searches for New Physics phenomena at the LHC. In this contribution I highlight some of the ongoing efforts in the framework of the Sherpa event generator to provide accurate and realistic simulations of Standard Model production processes. This includes the automated evaluation of NLO QCD and NLO EW corrections and their consistent consideration in the parton-shower evolution of scattering events. Particular emphasis is given to examples and applications involving the production of top quarks.


title: New complex analytic methods in the theory of minimal surfaces: a survey

abstract: In this paper we survey recent developments in the classical theory of minimal surfaces in Euclidean spaces which have been obtained as applications of both classical and modern complex analytic methods; in particular, Oka theory, period dominating holomorphic sprays, gluing methods for holomorphic maps, and the Riemann-Hilbert boundary value problem. Emphasis is on results pertaining to the global theory of minimal surfaces, in particular, the Calabi-Yau problem, constructions of properly immersed and embedded minimal surfaces in $\mathbb{R}^n$ and in minimally convex domains of $\mathbb{R}^n$, results on the complex Gauss map, isotopies of conformal minimal immersions, and the analysis of the homotopy type of the space of all conformal minimal immersions from a given open Riemann surface.


title: Avoidance bases for formulas with reversal

abstract: In the interest of studying formulas with reversal of high avoidability index, we find $n$-avoidance bases for formulas with reversal for $n\in\{1,2,3\}$. We demonstrate that there is a unique formula with reversal in each of these three bases of highest avoidability index $n+2$; these formulas are $xx$, $xyx\cdot y^R$, and $xyzx\cdot y^R\cdot z^R$, which belong to an infinite family of formulas with reversal that has been the subject of recent study by the authors.


title: Cosmic acceleration in asymptotically Ricci flat Universe

abstract: We analyze the evolution of a Friedmann-Robertson-Walker spacetime within the framework of $f(R)$ metric gravity using an exponential model. We show that $f(R)$ gravity may lead to a vanishing effective cosmological constant in the far future (i.e. $R\rightarrow 0$) and yet produce a transient accelerated expansion at present time with a potentially viable cosmological history. This is in contrast with several $f(R)$ models which, while viable, produce in general a non-vanishing effective cosmological constant asymptotically in time ($R\rightarrow 4\Lambda_{\rm eff}$). We also show that relativistic {stars in asymptotically flat spacetimes can be supported within this framework without encountering any singularity, notably in the Ricci scalar $R$.


title: Understanding Quantum Tunneling using Diffusion Monte Carlo Simulations

abstract: In simple ferromagnetic quantum Ising models characterized by an effective double-well energy landscape the characteristic tunneling time of path-integral Monte Carlo (PIMC) simulations has been shown to scale as the incoherent quantum-tunneling time, i.e., as $1/\Delta^2$, where $\Delta$ is the tunneling gap. Since incoherent quantum tunneling is employed by quantum annealers (QAs) to solve optimization problems, this result suggests there is no quantum advantage in using QAs w.r.t. quantum Monte Carlo (QMC) simulations. A counterexample is the recently introduced shamrock model, where topological obstructions cause an exponential slowdown of the PIMC tunneling dynamics with respect to incoherent quantum tunneling, leaving the door open for potential quantum speedup, even for stoquastic models. In this work, we investigate the tunneling time of projective QMC simulations based on the diffusion Monte Carlo (DMC) algorithm without guiding functions, showing that it scales as $1/\Delta$, i.e., even more favorably than the incoherent quantum-tunneling time, both in a simple ferromagnetic system and in the more challenging shamrock model. However a careful comparison between the DMC ground-state energies and the exact solution available for the transverse-field Ising chain points at an exponential scaling of the computational cost required to keep a fixed relative error as the system size increases.


title: Recurrent Relational Networks

abstract: This paper is concerned with learning to solve tasks that require a chain of interdependent steps of relational inference, like answering complex questions about the relationships between objects, or solving puzzles where the smaller elements of a solution mutually constrain each other. We introduce the recurrent relational network, a general purpose module that operates on a graph representation of objects. As a generalization of Santoro et al. [2017]'s relational network, it can augment any neural network model with the capacity to do many-step relational reasoning. We achieve state of the art results on the bAbI textual question-answering dataset with the recurrent relational network, consistently solving 20/20 tasks. As bAbI is not particularly challenging from a relational reasoning point of view, we introduce Pretty-CLEVR, a new diagnostic dataset for relational reasoning. In the Pretty-CLEVR set-up, we can vary the question to control for the number of relational reasoning steps that are required to obtain the answer. Using Pretty-CLEVR, we probe the limitations of multi-layer perceptrons, relational and recurrent relational networks. Finally, we show how recurrent relational networks can learn to solve Sudoku puzzles from supervised training data, a challenging task requiring upwards of 64 steps of relational reasoning. We achieve state-of-the-art results amongst comparable methods by solving 96.6% of the hardest Sudoku puzzles.


title: Program Synthesis using Conflict-Driven Learning

abstract: We propose a new conflict-driven program synthesis technique that is capable of learning from past mistakes. Given a spurious program that violates the desired specification, our synthesis algorithm identifies the root cause of the conflict and learns new lemmas that can prevent similar mistakes in the future. Specifically, we introduce the notion of equivalence modulo conflict and show how this idea can be used to learn useful lemmas that allow the synthesizer to prune large parts of the search space. We have implemented a general-purpose CDCL-style program synthesizer called Neo and evaluate it in two different application domains, namely data wrangling in R and functional programming over lists. Our experiments demonstrate the substantial benefits of conflict-driven learning and show that Neo outperforms two state-of-the-art synthesis tools, Morpheus and Deepcoder, that target these respective domains.


title: Variance-based sensitivity analysis for time-dependent processes

abstract: The global sensitivity analysis of time-dependent processes requires history-aware approaches. We develop for that purpose a variance-based method that leverages the correlation structure of the problems under study and employs surrogate models to accelerate the computations. The errors resulting from fixing unimportant uncertain parameters to their nominal values are analyzed through a priori estimates. We illustrate our approach on a harmonic oscillator example and on a nonlinear dynamic cholera model.


title: Singular vector structure of quantum curves

abstract: We show that quantum curves arise in infinite families and have the structure of singular vectors of a relevant symmetry algebra. We analyze in detail the case of the hermitian one-matrix model with the underlying Virasoro algebra, and the super-eigenvalue model with the underlying super-Virasoro algebra. In the Virasoro case we relate singular vector structure of quantum curves to the topological recursion, and in the super-Virasoro case we introduce the notion of super-quantum curves. We also discuss the double quantum structure of the quantum curves and analyze specific examples of Gaussian and multi-Penner models.


title: Efficient low-dimensional approximation of continuous attractor networks

abstract: Continuous "bump" attractors are an established model of cortical working memory for continuous variables and can be implemented using various neuron and network models. Here, we develop a generalizable approach for the approximation of bump states of continuous attractor networks implemented in networks of both rate-based and spiking neurons. The method relies on a low-dimensional parametrization of the spatial shape of firing rates, allowing to apply efficient numerical optimization methods. Using our theory, we can establish a mapping between network structure and attractor properties that allows the prediction of the effects of network parameters on the steady state firing rate profile and the existence of bumps, and vice-versa, to fine-tune a network to produce bumps of a given shape.


title: Fluorescence branching ratios and magnetic tuning of the visible spectrum of SrOH

abstract: The magnetic tuning of the low rotational levels in the Xsigma+(0,0,0), Api(0,0,0), and Bsigma+ (0,0,0) electronic states of strontium hydroxide, SrOH, have been experimentally investigated using high resolution optical Zeeman spectroscopy of a cold molecular beam sample. The observed Zeeman shifts and splittings are successfully modeled using a traditional effective Hamiltonian approach to account for the interaction between the Api and Bsigma+ states. The determined magnetic g-factors for the Xsigma+, Api , and Bsigma+ states are compared to those predicted by perturbation theory. The dispersed fluorescence resulting from laser excitation of rotationally resolved branch features of the Bsigma+ (0,0,0)<Xsigma+(0,0,0) Api(0,0,0)< Xsigma+(0,0,0) transitions have been recorded and analyzed. The measured fluorescence branching ratios are compared with Franck-Condon calculations. The required bending motion wave functions are derived using a discrete variable representation (DVR) method. Implications for laser slowing and magneto-optical trapping experiments for SrOH are described.


title: Interaction of Non-Abelian Tensor Gauge Fields

abstract: The non-Abelian tensor gauge fields take value in extended Poincar\'e algebra. In order to define the invariant Lagrangian we introduce a vector variable in two alternative ways: through the transversal representation of the extended Poincar\'e algebra and through the path integral over the auxiliary vector field with the U(1) Abelian action. We demonstrate that path integral formulation allows to fix the unitary gauge, derive scattering amplitudes in spinor representation and to define the gauge invariant Lagrangian in a curved space-time.


title: C2 continuous time dependent feedrate scheduling with configurable kinematic constraints

abstract: We present a configurable trajectory planning strategy on planar paths for offline definition of time-dependent C2 piecewise quintic feedrates. The more conservative formulation ensures chord tolerance, as well as prescribed bounds on velocity, acceleration and jerk Cartesian components. Since the less restrictive formulations of our strategy can usually still ensure all the desired bounds while simultaneously producing faster motions, the configurability feature is useful not only when reduced motion control is desired but also when full kinematic control has to be guaranteed. Our approach can be applied to any planar path with a piecewise sufficiently smooth parametric representation. When Pythagoreanhodograph spline curves are considered, the corresponding accurate and efficient CNC interpolator algorithms can be exploited.


title: A Universal Transition in Atmospheric Diffusion for Hot Subdwarfs Near 18,000 K

abstract: In the color-magnitude diagrams (CMDs) of globular clusters, when the locus of stars on the horizontal branch (HB) extends to hot temperatures, discontinuities are observed at colors corresponding to ~12,000 K and ~18,000 K. The former is the "Grundahl jump" that is associated with the onset of radiative levitation in the atmospheres of hot subdwarfs. The latter is the "Momany jump" that has remained unexplained. Using the Space Telescope Imaging Spectrograph on the Hubble Space Telescope, we have obtained ultraviolet and blue spectroscopy of six hot subdwarfs straddling the Momany jump in the massive globular cluster omega Cen. By comparison to model atmospheres and synthetic spectra, we find that the feature is due primarily to a decrease in atmospheric Fe for stars hotter than the feature, amplified by the temperature dependence of the Fe absorption at these effective temperatures.


title: The Doctor Just Won't Accept That!

abstract: Calls to arms to build interpretable models express a well-founded discomfort with machine learning. Should a software agent that does not even know what a loan is decide who qualifies for one? Indeed, we ought to be cautious about injecting machine learning (or anything else, for that matter) into applications where there may be a significant risk of causing social harm. However, claims that stakeholders "just won't accept that!" do not provide a sufficient foundation for a proposed field of study. For the field of interpretable machine learning to advance, we must ask the following questions: What precisely won't various stakeholders accept? What do they want? Are these desiderata reasonable? Are they feasible? In order to answer these questions, we'll have to give real-world problems and their respective stakeholders greater consideration.


title: A continuum of path-dependent equilibrium solutions induced by sticky expectations

abstract: We analyze a simple macroeconomic model where rational inflation expectations is replaced by a boundedly rational, and genuinely sticky, response to changes in the actual inflation rate. The stickiness is introduced in a novel way using a mathematical operator that is amenable to rigorous analysis. We prove that, when exogenous noise is absent from the system, the unique equilibrium of the rational expectations model is replaced by an entire line segment of possible equilibria with the one chosen depending, in a deterministic way, upon the previous states of the system. The agents are sufficiently far-removed from the rational expectations paradigm that problems o indeterminacy do not arise. The response to exogenous noise is far more subtle than in a unique equilibrium model. After sufficiently small shocks the system will indeed revert to the same equilibrium but larger ones will move the system to a different one (at the same model parameters). The path to this new equilibrium may be very long with a highly unpredictable endpoint. At certain model parameters exogenously-triggered runaway inflation can occur. Finally, we analyze a variant model in which the same form of sticky response is introduced into the interest rate rule instead.


title: Alternating minimization, scaling algorithms, and the null-cone problem from invariant theory

abstract: Alternating minimization heuristics seek to solve a (difficult) global optimization task through iteratively solving a sequence of (much easier) local optimization tasks on different parts (or blocks) of the input parameters. While popular and widely applicable, very few examples of this heuristic are rigorously shown to converge to optimality, and even fewer to do so efficiently. In this paper we present a general framework which is amenable to rigorous analysis, and expose its applicability. Its main feature is that the local optimization domains are each a group of invertible matrices, together naturally acting on tensors, and the optimization problem is minimizing the norm of an input tensor under this joint action. The solution of this optimization problem captures a basic problem in Invariant Theory, called the null-cone problem. This algebraic framework turns out to encompass natural computational problems in combinatorial optimization, algebra, analysis, quantum information theory, and geometric complexity theory. It includes and extends to high dimensions the recent advances on (2-dimensional) operator scaling. Our main result is a fully polynomial time approximation scheme for this general problem, which may be viewed as a multi-dimensional scaling algorithm. This directly leads to progress on some of the problems in the areas above, and a unified view of others. We explain how faster convergence of an algorithm for the same problem will allow resolving central open problems. Our main techniques come from Invariant Theory, and include its rich non-commutative duality theory, and new bounds on the bitsizes of coefficients of invariant polynomials. They enrich the algorithmic toolbox of this very computational field of mathematics, and are directly related to some challenges in geometric complexity theory (GCT).


title: Identifying Most Walkable Direction for Navigation in an Outdoor Environment

abstract: We present an approach for identifying the most walkable direction for navigation using a hand-held camera. Our approach extracts semantically rich contextual information from the scene using a custom encoder-decoder architecture for semantic segmentation and models the spatial and temporal behavior of objects in the scene using a spatio-temporal graph. The system learns to minimize a cost function over the spatial and temporal object attributes to identify the most walkable direction. We construct a new annotated navigation dataset collected using a hand-held mobile camera in an unconstrained outdoor environment, which includes challenging settings such as highly dynamic scenes, occlusion between objects, and distortions. Our system achieves an accuracy of 84% on predicting a safe direction. We also show that our custom segmentation network is both fast and accurate, achieving mIOU (mean intersection over union) scores of 81 and 44.7 on the PASCAL VOC and the PASCAL Context datasets, respectively, while running at about 21 frames per second.


title: The Set Cover Conjecture and Subgraph Isomorphism with a Tree Pattern

abstract: In the Set Cover problem, the input is a ground set of $n$ elements and a collection of $m$ sets, and the goal is to find the smallest sub-collection of sets whose union is the entire ground set. The fastest algorithm known runs in time $O(mn2^n)$ [Fomin et al., WG 2004], and the Set Cover Conjecture (SeCoCo) [Cygan et al., TALG 2016] asserts that for every fixed $\varepsilon>0$, no algorithm can solve Set Cover in time $2^{(1-\varepsilon)n}poly(m)$, even if set sizes are bounded by $\Delta=\Delta(\varepsilon)$. We show strong connections between this problem and kTree, a special case of Subgraph Isomorphism where the input is an $n$-node graph $G$ and a $k$-node tree $T$, and the goal is to determine whether $G$ has a subgraph isomorphic to $T$. First, we propose a weaker conjecture Log-SeCoCo, that allows input sets of size $\Delta=O(1/\varepsilon \cdot\log n)$, and show that an algorithm breaking Log-SeCoCo would imply a faster algorithm than the currently known $2^n poly(n)$-time algorithm [Koutis and Williams, TALG 2016] for Directed nTree, which is kTree with $k=n$ and arbitrary directions to the edges of $G$ and $T$. This would also improve the running time for Directed Hamiltonicity, for which no algorithm significantly faster than $2^n poly(n)$ is known despite extensive research. Second, we prove that if Set Cover cannot be solved significantly faster than $2^npoly(m)$ (an assumption even weaker than Log-SeCoCo), then kTree cannot be computed significantly faster than $2^kpoly(n)$, the running time of the Koutis and Williams' algorithm. Applying the same techniques to the p-Partial Cover problem, a parameterized version of Set Cover that requires covering at least $p$ elements, we obtain a new algorithm with running time $(2+\varepsilon)^p (m+n)^{O(1/\varepsilon)}$ for arbitrary $\varepsilon>0$, which improves previous work and is nearly optimal assuming say Log-SeCoCo.


title: "I know it when I see it". Visualization and Intuitive Interpretability

abstract: Most research on the interpretability of machine learning systems focuses on the development of a more rigorous notion of interpretability. I suggest that a better understanding of the deficiencies of the intuitive notion of interpretability is needed as well. I show that visualization enables but also impedes intuitive interpretability, as it presupposes two levels of technical pre-interpretation: dimensionality reduction and regularization. Furthermore, I argue that the use of positive concepts to emulate the distributed semantic structure of machine learning models introduces a significant human bias into the model. As a consequence, I suggest that, if intuitive interpretability is needed, singular representations of internal model states should be avoided.


title: Polynomial Jump-Diffusion Models

abstract: We develop a comprehensive mathematical framework for polynomial jump-diffusions in a semimartingale context, which nest affine jump-diffusions and have broad applications in finance. We show that the polynomial property is preserved under polynomial transformations and L\'evy time change. We present a generic method for option pricing based on moment expansions. As an application, we introduce a large class of novel financial asset pricing models with excess log returns that are conditional L\'evy based on polynomial jump-diffusions.


title: Photonuclear Reactions in Lightning Discovered from Detection of Positrons and Neutrons

abstract: Lightning and thundercloud are the most dramatic natural particle accelerators on the Earth. Relativistic electrons accelerated by electric fields therein emit bremsstrahlung gamma rays, which have been detected at ground observations, by airborne detectors, and as terrestrial gamma-ray flashes (TGFs) from space. The energy of the gamma rays is sufficiently high to potentially invoke atmospheric photonuclear reactions 14N(gamma, n)13N, which would produce neutrons and eventually positrons via beta-plus decay of generated unstable radioactive isotopes, especially 13N. However, no clear observational evidence for the reaction has been reported to date. Here we report the first detection of neutron and positron signals from lightning with a ground observation. During a thunderstorm on 6 February 2017 in Japan, a TGF-like intense flash (within 1 ms) was detected at our monitoring sites 0.5-1.7 km away from the lightning. The subsequent initial burst quickly subsided with an exponential decay constant of 40-60 ms, followed by a prolonged line emission at about 0.511 megaelectronvolt (MeV), lasting for a minute. The observed decay timescale and spectral cutoff at about 10 MeV of the initial emission are well explained with de-excitation gamma rays from the nuclei excited by neutron capture. The centre energy of the prolonged line emission corresponds to the electron-positron annihilation, and hence is the conclusive indication of positrons produced after the lightning. Our detection of neutrons and positrons is unequivocal evidence that natural lightning triggers photonuclear reactions. No other natural event on the Earth is known to trigger photonuclear reactions. This discovery places lightning as only the second known natural channel on the Earth after the atmospheric cosmic-ray interaction, in which isotopes, such as 13C, 14C, and 15N, are produced.


title: Standards for enabling heterogeneous IaaS cloud federations

abstract: Technology market is continuing a rapid growth phase where different resource providers and Cloud Management Frameworks are positioning to provide ad-hoc solutions -in terms of management interfaces, information discovery or billing- trying to differentiate from competitors but that as a result remain incompatible between them when addressing more complex scenarios like federated clouds. Grasping interoperability problems present in current infrastructures is then a must-do, tackled by studying how existing and emerging standards could enhance user experience in the cloud ecosystem. In this paper we will review the current open challenges in Infrastructure as a Service cloud interoperability and federation, as well as point to the potential standards that should alleviate these problems.


title: Tracing the Assembly History of NGC 1395 through its Globular Cluster System

abstract: We used deep Gemini-South/GMOS g'r'i'z' images to study the globular cluster (GC) system of the massive elliptical galaxy NGC 1395, located in the Eridanus supergroup. The photometric analysis of the GC candidates reveals a clear colour bimodality distribution, indicating the presence of "blue" and "red" GC subpopulations. While a negative radial colour gradient is detected in the projected spatial distribution of the red GCs, the blue GCs display a shallow colour gradient. The blue GCs also display a remarkable shallow and extended surface density profile, suggesting a significant accretion of low-mass satellites in the outer halo of the galaxy. In addition, the slope of the projected spatial distribution of the blue GCs in the outer regions of the galaxy, is similar to that of the X-ray halo emission. Integrating up to 165 kpc the profile of the projected spatial distribution of the GCs, we estimated a total GC population and specific frequency of 6000$\pm$1100 and $S_N$=7.4$\pm$1.4, respectively. Regarding NGC 1395 itself, the analysis of the deep Gemini/GMOS images shows a low surface brightness umbrella-like structure indicating, at least, one recent merger event. Through relations recently published in the literature, we obtained global parameters, such as $M_\mathrm{stellar}=9.32\times10^{11}$ M$\odot$ and $M_h=6.46\times10^{13}$ M$\odot$. Using public spectroscopic data, we derive stellar population parameters of the central region of the galaxy by the full spectral fitting technique. We have found that, this region, seems to be dominated for an old stellar population, in contrast to findings of young stellar populations from the literature.


title: On the existence of oscillating solutions in non-monotone Mean-Field Games

abstract: For non-monotone single and two-populations time-dependent Mean-Field Game systems we obtain the existence of an infinite number of branches of non-trivial solutions. These non-trivial solutions are in particular shown to exhibit an oscillatory behaviour when they are close to the trivial (constant) one. The existence of such branches is derived using local and global bifurcation methods, that rely on the analysis of eigenfunction expansions of solutions to the associated linearized problem. Numerical analysis is performed on two different models to observe the oscillatory behaviour of solutions predicted by bifurcation theory, and to study further properties of branches far away from bifurcation points.


title: Dimension structures

abstract: We are going to introduce a new algebraic, analytic structure that is a kind of generalization of the Hausdorff dimension and measure. We give many examples and study the basic properties and relations of such systems.


title: Exceptional Bannai-Ito polynomials

abstract: We construct a non-trivial type of 1-step exceptional Bannai-Ito polynomials which satisfy discrete orthogonality by using a generalized Darboux transformation. In this generalization, the Darboux transformed Bannai-Ito operator is directly obtained through an intertwining relation. Moreover, the seed solution, which consists of a gauge factor and a polynomial part, plays an important role in the construction of these 1-step exceptional Bannai-Ito polynomials. And we show that there are 8 classes of gauge factors. We also provide the eigenfunctions of the corresponding multiple-step exceptional Bannai-Ito operator which can be expressed as a 3 x 3 determinant.


title: A Method of the Study of the Cauchy Problem for a Singularly Perturbed Linear Inhomogeneous Differential Equation

abstract: We construct a sequence that converges to a solution of the Cauchy problem for a singularly perturbed linear inhomogeneous differential equation of an arbitrary order. This sequence is also an asymptotic sequence in the following sense: the deviation (in the norm of the space of continuous functions) of its $n$th element from the solution of the problem is proportional to the $(n+1)$th power of the parameter of perturbation. This sequence can be used for justification of asymptotics obtained by the method of boundary functions.


title: Inequalities related to Symmetrized Harmonic Convex Functions

abstract: In this paper, we extend the Hermite-Hadamard type $\dot{I}$scan inequality to the class of symmetrized harmonic convex functions. The corresponding version for harmonic h-convex functions is also investigated. Furthermore, we establish Hermite-Hadamard type inequalites for the product of a harmonic convex function with a symmetrized harmonic convex function.


title: An optimal transportation approach to the decay of correlations for non-uniformly expanding maps

abstract: We consider the transfer operators of non-uniformly expanding maps for potentials of various regularity, and show that a specific property of potentials ("flatness") implies a Ruelle-Perron-Frobenius Theorem and a decay of the transfer operator of the same speed than entailed by the constant potential. The method relies neither on Markov partitions nor on inducing, but on functional analysis and duality, through the simplest principles of optimal transportation. As an application, we notably show that for any map of the circle which is expanding outside an arbitrarily flat neutral point, the set of H{\"o}lder potentials exhibiting a spectral gap is dense in the uniform topology. The method applies in a variety of situation, including Pomeau-Manneville maps with regular enough potentials, or uniformly expanding maps of low regularity with their natural potential; we also recover in a united fashion variants of several previous results.


title: Exo-lightning radio emission: the case study of HAT-P-11b

abstract: Lightning induced radio emission has been observed on solar system planets. Lecavelier des Etangs et al. [2013] carried out radio transit observations of the exoplanet HAT-P-11b, and suggested a tentative detection of a radio signal. Here, we explore the possibility of the radio emission having been produced by lightning activity on the exoplanet, following and expanding the work of Hodos\'an et al. [2016a]. After a summary of our previous work [Hodos\'an et al. 2016a], we extend it with a parameter study. The lightning activity of the hypothetical storm is largely dependent on the radio spectral roll-off, $n$, and the flash duration, $\tau_\mathrm{fl}$. The best-case scenario would require a flash density of the same order of magnitude as can be found during volcanic eruptions on Earth. On average, $3.8 \times 10^6$ times larger flash densities than the Earth-storms with the largest lightning activity is needed to produce the observed signal from HAT-P-11b. Combined with the results of Hodos\'an et al. [2016a] regarding the chemical effects of planet-wide thunderstorms, we conclude that future radio and infrared observations may lead to lightning detection on planets outside the solar system.

categories: astro-ph.EP astro-ph.SR physics.ao-ph physics.geo-ph


title: Generative Adversarial Positive-Unlabelled Learning

abstract: In this work, we consider the task of classifying binary positive-unlabeled (PU) data. The existing discriminative learning based PU models attempt to seek an optimal reweighting strategy for U data, so that a decent decision boundary can be found. However, given limited P data, the conventional PU models tend to suffer from overfitting when adapted to very flexible deep neural networks. In contrast, we are the first to innovate a totally new paradigm to attack the binary PU task, from perspective of generative learning by leveraging the powerful generative adversarial networks (GAN). Our generative positive-unlabeled (GenPU) framework incorporates an array of discriminators and generators that are endowed with different roles in simultaneously producing positive and negative realistic samples. We provide theoretical analysis to justify that, at equilibrium, GenPU is capable of recovering both positive and negative data distributions. Moreover, we show GenPU is generalizable and closely related to the semi-supervised classification. Given rather limited P data, experiments on both synthetic and real-world dataset demonstrate the effectiveness of our proposed framework. With infinite realistic and diverse sample streams generated from GenPU, a very flexible classifier can then be trained using deep neural networks.


title: A Generalized Function defined by the Euler first kind integral and its connection with the Dirac delta function

abstract: We have shown that in some region where the Euler integral of the first kind diverges, the Euler formula defines a generalized function. The connected of this generalized function with the Dirac delta function is found.


title: Assessing Mortality of Blunt Trauma with Co-morbidity

abstract: Objectives: To obtain a better estimate of the mortality of individuals suffering from blunt force trauma, including co-morbidity. Methodology: The Injury severity Score (ISS) is the default world standard for assessing the severity of multiple injuries. ISS is a mathematical fit to empirical field data. It is demonstrated that ISS is proportional to the Gibbs/Shannon Entropy. A new Entropy measure of morbidity from blunt force trauma including co-morbidity is derived based on the von Neumann Entropy, called the Abbreviated Morbidity Scale (AMS). Results: The ISS trauma measure has been applied to a previously published database, and good correlation has been achieved. Here the existing trauma measure is extended to include the co-morbidity of disease by calculating an Abbreviated Morbidity Score (AMS), which encapsulates the disease co-morbidity in a manner analogous to AIS, and on a consistent Entropy base. Applying Entropy measures to multiple injuries, highlights the role of co-morbidity and that the elderly die at much lower levels of injury than the general population, as a consequence of co-morbidity. These considerations lead to questions regarding current new car assessment protocols, and how well they protect the most vulnerable road users. Keywords: Blunt Force Trauma, Injury Severity Score, Co-morbidity, Entropy.


title: Truthful Bilateral Trade is Impossible even with Fixed Prices

abstract: A seminal theorem of Myerson and Satterthwaite (1983) proves that, in a game of bilateral trade between a single buyer and a single seller, no mechanism can be simultaneously individually-rational, budget-balanced, incentive-compatible and socially-efficient. However, the impossibility disappears if the price is fixed exogenously and the social-efficiency goal is subject to individual-rationality at the given price. We show that the impossibility comes back if there are multiple units of the same good, or multiple types of goods, even when the prices are fixed exogenously. Particularly, if there are $M$ units of the same good or $M$ kinds of goods, for some $M\geq 2$, then no truthful mechanism can guarantee more than $1/M$ of the optimal gain-from-trade. In the single-good multi-unit case, if both agents have submodular valuations (decreasing marginal returns), then no truthful mechanism can guarantee more than $1/H_M$ of the optimal gain-from-trade, where $H_M$ is the $M$-th harmonic number ($H_M\approx \ln{M}+1/2$). All upper bounds are tight.


title: Multiple-Instance, Cascaded Classification for Keyword Spotting in Narrow-Band Audio

abstract: We propose using cascaded classifiers for a keyword spotting (KWS) task on narrow-band (NB), 8kHz audio acquired in non-IID environments --- a more challenging task than most state-of-the-art KWS systems face. We present a model that incorporates Deep Neural Networks (DNNs), cascading, multiple-feature representations, and multiple-instance learning. The cascaded classifiers handle the task's class imbalance and reduce power consumption on computationally-constrained devices via early termination. The KWS system achieves a false negative rate of 6% at an hourly false positive rate of 0.75


title: Coherent generation of photonic fractional quantum Hall states in a cavity and the search for anyonic quasiparticles

abstract: We present and analyze a protocol in which polaritons in a noncoplanar optical cavity form fractional quantum Hall states. We model the formation of these states and present techniques for subsequently creating anyons and measuring their fractional exchange statistics. In this protocol, we use a rapid adiabatic passage scheme to sequentially add polaritons to the system, such that the system is coherently driven from $n$- to $(n+1)$-particle Laughlin states. Quasiholes are created by slowly moving local pinning potentials in from outside the cloud. They are braided by dragging the pinning centers around one another, and the resulting phases are measured interferometrically. The most technically challenging issue with implementing our procedure is that maintaining adiabaticity and coherence requires that the two-particle interaction energy $V_0$ be sufficiently large compared to the single-polariton decay rate $\gamma$, $V_0 /\gamma \gg 10 N^2 \ln N$, where $N$ is the number of particles in the target state. While this condition is very demanding for present-day experiments where $V_0 /\gamma\sim 50$, our protocol presents a significant advance over the existing protocols in the literature.


title: Efficient image deployment in cloud environments

abstract: The biggest overhead for the instantiation of a virtual machine in a cloud infrastructure is the time spent in transferring the image of the virtual machine into the physical node that executes it. This overhead becomes larger for requests composed of several virtual machines to be started concurrently, and the illusion of flexibility and elasticity usually associated with the cloud computing model may vanish. This poses a problem for both the resource providers and the software developers, since tackling those overheads is not a trivial issue. In this work we implement and evaluate several improvements for virtual machine image distribution problem in a cloud infrastructure and propose a method based on BitTorrent and local caching of the virtual machine images that reduces the transfer time when large requests are made


title: Baire categorical aspects of first passage percolation

abstract: In the previous decades, the theory of first passage percolation became a highly important area of probability theory. In this work, we will observe what can be said about the corresponding structure if we forget about the probability measure defined on the product space of edges and simply consider topology in the terms of residuality. We focus on interesting questions arising in the probabilistic setup that make sense in this setting, too. We will see that certain classical almost sure events, as the existence of geodesics have residual counterparts, while the notion of the limit shape or time constants gets as chaotic as possible.


title: Coupling magneto-elastic Lagrangians to spin transfer torque sources

abstract: The consequences of coupling magnetic and elastic degrees of freedom, where spins and deformations are carried by point-like objects subject to local interactions, are studied, theoretically and by detailed numerical simulations. From the constrained Lagrangians we derive consistent equations of motion for the coupled dynamical variables. In order to probe the dynamics of such a system, we consider external perturbations, such as spin transfer torques for the magnetic part, and homogeneous stresses for the elastic part, associated to their corresponding damping. This approach is applied to the study of ultrafast switching processes in anti-ferromagnetic systems, which have recently attracted attention as candidates for anti-ferromagnetic spintronic devices. Our strategy is then checked in simple, but instructive, situations. We carried out numerical experiments to study, in particular, how the magnetostrictive coupling and external stresses affect the nature of the switching processes in a prototype anti-ferromagnetic material.


title: Clonal analysis of newborn hippocampal dentate granule cell proliferation and development in temporal lobe epilepsy

abstract: Hippocampal dentate granule cells are among the few neuronal cell types generated throughout adult life in mammals. In the normal brain, new granule cells are generated from progenitors in the subgranular zone and integrate in a typical fashion. During the development of epilepsy, granule cell integration is profoundly altered. The new cells migrate to ectopic locations and develop misoriented basal dendrites. Although it has been established that these abnormal cells are newly generated, it is not known whether they arise ubiquitously throughout the progenitor cell pool or are derived from a smaller number of bad actor progenitors. To explore this question, we conducted a clonal analysis study in mice expressing the Brainbow fluorescent protein reporter construct in dentate granule cell progenitors. Mice were examined 2 months after pilocarpine-induced status epilepticus, a treatment that leads to the development of epilepsy. Brain sections were rendered translucent so that entire hippocampi could be reconstructed and all fluorescently labeled cells identified. Our findings reveal that a small number of progenitors produce the majority of ectopic cells following status epilepticus, indicating that either the affected progenitors or their local microenvironments have become pathological. By contrast, granule cells with basal dendrites were equally distributed among clonal groups. This indicates that these progenitors can produce normal cells and suggests that global factors sporadically disrupt the dendritic development of some new cells. Together, these findings strongly predict that distinct mechanisms regulate different aspects


title: Effect of sodium chloride (NaCl) on the growth of six Acacia species

abstract: Background: Salinity is one of the major abiotic stresses affecting plant production in arid and semi-arid regions. It causes reduction of cultivable area and combined with other factors, presents a serious threat to food stability in these areas. Context: In front of this problem, the selection of salt tolerant species and varieties remains the best economic approach for exploitation and rehabilitation of salt-affected regions. Objective: The purpose of this study was to assess and compare the seed germination response of six Acacia species under different NaCl concentrations in order to explore opportunities for selection and breeding salt tolerant genotypes. Methods: The salinity effect was examined by measuring some agro-morphological parameters in controlled growth environment using five treatment levels: 0, 100, 200, 300 and 400 mM of NaCl. Results: The analyzed data revealed significant variability in salt response within and between species. All growth parameters were progressively reduced by increased NaCl concentrations. Growth in height, leaf number and total plant dry weight were considered as the most sensitive parameters. However, the growth reduction varied among species in accordance with their tolerance level. It is important to note that all species survived at the highest salinity (400 mM). Whereas A. horrida and A. raddiana were proved to be often the best tolerant, they recorded the lowest reduction percentage at this stage. Conclusion: The genetic variability found in the studied species at seedling stage may be used to select genotypes particularly suitable for rehabilitation and exploitation of lands affected by salinity.


title: Investigating the Best Radio Propagation Model for 4G - WiMAX Networks Deployment in 2530MHz Band in Sub- Saharan Africa

abstract: One of the salient factors to look at during wireless network planning is developing a modified path loss prediction models to suit a new environment other than the one it was originally designed for. This helps to give accurate predictive outcomes. This paper seeks to demonstrate the effects of applying correction factors on radio propagation model used in planning for 4G-WiMAX network through a comparative analysis between estimated and field data collected on received power for a 4G-WiMAX site. Four existing models were considered for this research; COST 231 Hata, Extended COST 231 Hata, SUI (Stanford University Interim) and Ericsson models. In order to optimize and validate the effectiveness of the proposed models, the mean square error (MSE) and correlation co-efficient were calculated for each model between the predicted and the measured received power for the selected area before and after applying an appropriate correction factor. Based on this, the Extended COST-231 Hata prediction model proved to correlate well with the measured values since it showed least Mean Square Error (MSE) but with highest correlation co-efficient. Through comparative analysis of the corrected models, the Extended COST-231 Hata model could be applied for effective planning of the radio systems in Ghana and the subregion at large.


title: Measurement Contextuality and Planck's Constant

abstract: Contextuality is a necessary resource for universal quantum computation and non-contextual quantum mechanics can be simulated efficiently by classical computers in many cases. Orders of Planck's constant, $\hbar$, can also be used to characterize the classical-quantum divide by expanding quantities of interest in powers of $\hbar$---all orders higher than $\hbar^0$ can be interpreted as quantum corrections to the order $\hbar^0$ term. We show that contextual measurements in finite-dimensional systems have formulations within the Wigner-Weyl-Moyal (WWM) formalism that require higher than order $\hbar^0$ terms to be included in order to violate the classical bounds on their expectation values. As a result, we show that contextuality as a resource is equivalent to orders of $\hbar$ as a resource within the WWM formalism. This explains why qubits can only exhibit state-independent contextuality under Pauli observables as in the Peres-Mermin square while odd-dimensional qudits can also exhibit state-dependent contextuality. In particular, we find that qubit Pauli observables lack an order $\hbar^0$ contribution in their Weyl symbol and so exhibit contextuality regardless of the state being measured. On the other hand, odd-dimensional qudit observables generally possess non-zero order $\hbar^0$ terms, and higher, in their WWM formulation, and so exhibit contextuality depending on the state measured: odd-dimensional qudit states that exhibit measurement contextuality have an order $\hbar^1$ contribution that allows for the violation of classical bounds while states that do not exhibit measurement contextuality have insufficiently large order $\hbar^1$ contributions.


title: Continuous regional trace gas source attribution using a field-deployed dual frequency comb spectrometer

abstract: Identification and quantification of trace gas sources is a major challenge for understanding and regulating air quality and greenhouse gas emissions. Current approaches either provide continuous but localized monitoring, or quasi-instantaneous 'snapshot-in-time' regional monitoring. There is a need for emissions detection that provides both continuous and regional coverage, because sources and sinks can be episodic and spatially variable. We field deploy a dual frequency comb laser spectrometer for the first time, enabling an observing system that provides continuous detection of trace gas sources over multiple-square-kilometer regions. Field tests simulating methane emissions from oil and gas production demonstrate detection and quantification of a 1.6 g min^-1 source (approximate emissions from a small pneumatic valve) from a distance of 1 km, and the ability to discern two leaks among a field of many potential sources. The technology achieves the goal of detecting, quantifying, and attributing emissions sources continuously through time, over large areas, and at emissions rates ~1000x lower than current regional approaches. It therefore provides a useful tool for monitoring and mitigating undesirable sources and closes a major information gap in the atmospheric sciences.


title: Deterministic Policy Optimization by Combining Pathwise and Score Function Estimators for Discrete Action Spaces

abstract: Policy optimization methods have shown great promise in solving complex reinforcement and imitation learning tasks. While model-free methods are broadly applicable, they often require many samples to optimize complex policies. Model-based methods greatly improve sample-efficiency but at the cost of poor generalization, requiring a carefully handcrafted model of the system dynamics for each task. Recently, hybrid methods have been successful in trading off applicability for improved sample-complexity. However, these have been limited to continuous action spaces. In this work, we present a new hybrid method based on an approximation of the dynamics as an expectation over the next state under the current policy. This relaxation allows us to derive a novel hybrid policy gradient estimator, combining score function and pathwise derivative estimators, that is applicable to discrete action spaces. We show significant gains in sample complexity, ranging between $1.7$ and $25\times$, when learning parameterized policies on Cart Pole, Acrobot, Mountain Car and Hand Mass. Our method is applicable to both discrete and continuous action spaces, when competing pathwise methods are limited to the latter.


title: The Existence of Periodic Solutions for Nonlinear Beam Equations on $\mathbb T^d$ by a Para-differential Method

abstract: This paper focuses on the construction of periodic solutions of nonlinear beam equations on the $d$-dimensional tori. For a large set of frequencies, we demonstrate that an equivalent form of the nonlinear equations can be obtained by a para-differential conjugation. Given the non-resonant conditions on each finite dimensional subspaces, it is shown that the periodic solutions can be constructed for the block diagonal equation by a classical iteration scheme.


title: Weyl and Marchaud derivatives: a forgotten history

abstract: In this paper we recall the contribution given by Hermann Weyl and Andr\'e Marchaud to the notion of fractional derivative. In addition we discuss some relationships between the fractional Laplace operator and Marchaud derivative in the perspective to generalize these objects to different fields of the mathematics.


title: Zariski cancellation problem for non-domain noncommutative algebras

abstract: We study Zariski cancellation problem for noncommutative algebras that are not necessarily domains.


title: Restricted type II maximum likelihood priors on regression coefficients

abstract: In Bayesian hypothesis testing and model selection, prior distributions must be chosen carefully. For example, setting arbitrarily large prior scales for location parameters, which is common practice in estimation problems, can lead to undesirable behavior in testing (Lindley's paradox). We study the properties of some restricted type II maximum likelihood (type II ML) priors on regression coefficients. In type II ML, hyperparameters are "estimated" by maximizing the marginal likelihood of a model. In this article, we define priors by estimating their variances or covariance matrices, adding restrictions which ensure that the resulting priors are at least as vague as conventional proper priors for model uncertainty. We find that these type II ML priors typically yield results that are close to answers obtained with the Bayesian Information Criterion (BIC).


title: Reentrant Quantum Spin Hall States in Charge Density Wave Phase of Doped Single-Layer Transition Metal Dichalcogenides

abstract: Using first-principles calculation methods, we reveal a series of phase transitions as a function of electron doping in single-layer 1T$'$-MoTe$_2$ and 1T$'$-WTe$_2$ exhibiting quantum spin Hall (QSH) edge states without doping. As increasing doping, we show that a phonon mediated superconducting phase first realizes and is followed by a charge density wave (CDW) phase with a nonsymmorphic lattice symmetry. The newly found CDW phase exhibits Dirac or Weyl energy bands with a spin-orbit coupling in case of a fractional band filling and re-enters into topological insulating phase with fully filled bands. The robust resurgence of QSH state coexisting with the CDW phase is shown to originate from band inversions induced by the nonsymmorphic lattice distortion through the strong electron-phonon interaction, thus suggesting a realization of various interfacial states between superconducting, density wave and topological states on a two-dimensional crystal only by doping.


title: Mathematical Analysis of the 1D Model and Reconstruction Schemes for Magnetic Particle Imaging

abstract: Magnetic particle imaging (MPI) is a promising new in-vivo medical imaging modality in which distributions of super-paramagnetic nanoparticles are tracked based on their response in an applied magnetic field. In this paper we provide a mathematical analysis of the modeled MPI operator in the univariate situation. We provide a Hilbert space setup, in which the MPI operator is decomposed into simple building blocks and in which these building blocks are analyzed with respect to their mathematical properties. In turn, we obtain an analysis of the MPI forward operator and, in particular, of its ill-posedness properties. We further get that the singular values of the MPI core operator decrease exponentially. We complement our analytic results by some numerical studies which, in particular, suggest a rapid decay of the singular values of the MPI operator.


title: Intrusion Detection and Ubiquitous Host to Host Encryption

abstract: Growing concern for individual privacy, driven by an increased public awareness of the degree to which many of our electronic activities are tracked by interested third parties (e.g. Google knows what I am thinking before I finish entering my search query), is driving the development anonymizing technologies (e.g. Tor). The coming mass migration to IPv6 as the primary transport of Internet traffic promises to make one such technology, end-to-end host based encryption, more readily available to the average user. In a world where end-to-end encryption is ubiquitous, what can replace the existing models for network intrusion detection? How can network administrators and operators, responsible for securing networks against hostile activity, protect a network they cannot see? In an encrypted world, signature based event detection is unlikely to prove useful. In order to secure a network in such an environment, without trampling the privacy afforded to users by end-to-end encryption, our threat detection model needs to evolve from signature based detection to a heuristic model that flags deviations from normal network-wide behavior for further investigation. In this paper we present such a heuristic model and test its effectiveness for detecting intrusions in an entirely encrypted network environment. Our results demonstrate the network intrusion detection system's ability to monitor a network carrying only host-to-host encrypted traffic. This work indicates that a broad perspective change is required. Network security models need to evolve from endeavoring to define attack signatures to describing what the network looks like under normal conditions and searching for deviations from the norm.


title: Schur Number Five

abstract: We present the solution of a century-old problem known as Schur Number Five: What is the largest (natural) number $n$ such that there exists a five-coloring of the positive numbers up to $n$ without a monochromatic solution of the equation $a + b = c$? We obtained the solution, $n = 160$, by encoding the problem into propositional logic and applying massively parallel satisfiability solving techniques on the resulting formula. We constructed and validated a proof of the solution to increase trust in the correctness of the multi-CPU-year computations. The proof is two petabytes in size and was certified using a formally verified proof checker, demonstrating that any result by satisfiability solvers---no matter how large---can now be validated using highly trustworthy systems.


title: Modeling and emulation of nonstationary Gaussian fields

abstract: Geophysical and other natural processes often exhibit non-stationary covariances and this feature is important to take into account for statistical models that attempt to emulate the physical process. A convolution-based model is used to represent non-stationary Gaussian processes that allows for variation in the correlation range and vari- ance of the process across space. Application of this model has two steps: windowed estimates of the covariance function under the as- sumption of local stationary and encoding the local estimates into a single spatial process model that allows for efficient simulation. Specifically we give evidence to show that non-stationary covariance functions based on the Mat`ern family can be reproduced by the Lat- ticeKrig model, a flexible, multi-resolution representation of Gaussian processes. We propose to fit locally stationary models based on the Mat`ern covariance and then assemble these estimates into a single, global LatticeKrig model. One advantage of the LatticeKrig model is that it is efficient for simulating non-stationary fields even at 105 locations. This work is motivated by the interest in emulating spatial fields derived from numerical model simulations such as Earth system models. We successfully apply these ideas to emulate fields that de- scribe the uncertainty in the pattern scaling of mean summer (JJA) surface temperature from a series of climate model experiments. This example is significant because it emulates tens of thousands of loca- tions, typical in geophysical model fields, and leverages embarrassing parallel computation to speed up the local covariance fitting


title: HTMoL: full-stack solution for remote access, visualization, and analysis of Molecular Dynamics trajectory data

abstract: The field of structural bioinformatics has seen significant advances with the use of Molecular Dynamics (MD) simulations of biological systems. The MD methodology has allowed to explain and discover molecular mechanisms in a wide range of natural processes. There is an impending need to readily share the ever-increasing amount of MD data, which has been hindered by the lack of specialized tools in the past. To solve this problem, we present HTMoL, a state-of-the-art plug-in-free hardware-accelerated web application specially designed to efficiently transfer and visualize raw MD trajectory files on a web browser. Now, individual research labs can publish MD data on the Internet, or use HTMoL to profoundly improve scientific reports by including supplemental MD data in a journal publication. HTMoL can also be used as a visualization interface to access MD trajectories generated on a high-performance computer center directly. Availability: HTMoL is available free of charge for academic use. All major browsers are supported. A complete online documentation including instructions for download, installation, configuration, and examples is available at the HTMoL website http://htmol.tripplab.com. Supplementary data are available online. Corresponding author: mauricio.carrillo@cinvestav.mx


title: Scalable Inference of Ordinary Differential Equation Models of Biochemical Processes

abstract: Ordinary differential equation models have become a standard tool for the mechanistic description of biochemical processes. If parameters are inferred from experimental data, such mechanistic models can provide accurate predictions about the behavior of latent variables or the process under new experimental conditions. Complementarily, inference of model structure can be used to identify the most plausible model structure from a set of candidates, and thus gain novel biological insight. Several toolboxes can infer model parameters and structure for small- to medium-scale mechanistic models out of the box. However, models for highly multiplexed datasets can require hundreds to thousands of state variables and parameters. For the analysis of such large-scale models, most algorithms require intractably high computation times. This chapter provides an overview of state-of-the-art methods for parameter and model inference, with an emphasis on scalability.


title: Robust Stackelberg Equilibria in Extensive-Form Games and Extension to Limited Lookahead

abstract: Stackelberg equilibria have become increasingly important as a solution concept in computational game theory, largely inspired by practical problems such as security settings. In practice, however, there is typically uncertainty regarding the model about the opponent. This paper is, to our knowledge, the first to investigate Stackelberg equilibria under uncertainty in extensive-form games, one of the broadest classes of game. We introduce robust Stackelberg equilibria, where the uncertainty is about the opponent's payoffs, as well as ones where the opponent has limited lookahead and the uncertainty is about the opponent's node evaluation function. We develop a new mixed-integer program for the deterministic limited-lookahead setting. We then extend the program to the robust setting for Stackelberg equilibrium under unlimited and under limited lookahead by the opponent. We show that for the specific case of interval uncertainty about the opponent's payoffs (or about the opponent's node evaluations in the case of limited lookahead), robust Stackelberg equilibria can be computed with a mixed-integer program that is of the same asymptotic size as that for the deterministic setting.


title: Bifurcations of a Leslie Gower predator prey model with Holling type III functional response and Michaelis-Menten prey harvesting

abstract: We discuss the stability and bifurcation analysis for a predator-prey system with non-linear Michaelis-Menten prey harvesting. The existence and stability of possible equilibria are investigated. We provide rigorous mathematical proofs for the existence of Hopf and saddle node bifurcations. We prove that the system exhibits Bogdanov-Takens bifurcation of codimension two, calculating the normal form. We provide several numerical simulations to illustrate our theoretical findings.


title: Parameter Estimation in Gaussian Mixture Models with Malicious Noise, without Balanced Mixing Coefficients

abstract: We consider the problem of estimating means of two Gaussians in a 2-Gaussian mixture, which is not balanced and is corrupted by noise of an arbitrary distribution. We present a robust algorithm to estimate the parameters, together with upper bounds on the numbers of samples required for the estimate to be correct, where the bounds are parametrised by the dimension, ratio of the mixing coefficients, a measure of the separation of the two Gaussians, related to Mahalanobis distance, and a condition number of the covariance matrix. In theory, this is the first sample-complexity result for imbalanced mixtures corrupted by adversarial noise. In practice, our algorithm outperforms the vanilla Expectation-Maximisation (EM) algorithm in terms of estimation error.


title: Application of Natural Language Processing to Determine User Satisfaction in Public Services

abstract: Research on customer satisfaction has increased substantially in recent years. However, the relative importance and relationships between different determinants of satisfaction remains uncertain. Moreover, quantitative studies to date tend to test for significance of pre-determined factors thought to have an influence with no scalable means to identify other causes of user satisfaction. The gaps in knowledge make it difficult to use available knowledge on user preference for public service improvement. Meanwhile, digital technology development has enabled new methods to collect user feedback, for example through online forums where users can comment freely on their experience. New tools are needed to analyze large volumes of such feedback. Use of topic models is proposed as a feasible solution to aggregate open-ended user opinions that can be easily deployed in the public sector. Generated insights can contribute to a more inclusive decision-making process in public service provision. This novel methodological approach is applied to a case of service reviews of publicly-funded primary care practices in England. Findings from the analysis of 145,000 reviews covering almost 7,700 primary care centers indicate that the quality of interactions with staff and bureaucratic exigencies are the key issues driving user satisfaction across England.


title: A correction scheme for two-way coupled point-particle simulations on anisotropic grids

abstract: The accuracy of Lagrangian point-particle models for simulation of particle-laden flows may degrade when the particle and fluid momentum equations are two-way coupled. In these cases the fluid velocity at the location of the particle, which is often used as an estimation of the undisturbed velocity, is altered by the presence of the particle, modifying the slip velocity and producing an erroneous prediction of coupling forces between fluid and particle. In this article, we propose a correction scheme to eliminate this error and predict the undisturbed fluid velocity accurately. Conceptually, in this method, the computation cell is treated as a solid object immersed in the fluid that is subjected to the two-way coupling force and dragged at a velocity that is identical to the disturbance created by the particle. The proposed scheme is generic as it can be applied to unstructured grids with arbitrary geometry and particles that have different size and density. At its crudest form for isotropic grids, the present correction scheme reduces to dividing the Stokes drag by $1 - 0.75\Lambda$, where $\Lambda$ is the ratio of the particle diameter to the grid size. The accuracy of the proposed scheme is evaluated by comparing the computed settling velocity of individual and pair of particles under gravity on anisotropic rectilinear grids against analytical solutions. This comparison shows up to two orders of magnitude reduction in error in cases where the particle is up to 5 times larger than the grid that may have an aspect ratio of over 10. Furthermore, a comparison against the particle-resolved simulation of decaying turbulence demonstrates the excellent accuracy of the proposed scheme.


title: $B_s \to K \ell\nu$ form factors with 2+1 flavors

abstract: Using the MILC 2+1 flavor asqtad quark action ensembles, we are calculating the form factors $f_0$ and $f_+$ for the semileptonic $B_s \rightarrow K \ell\nu$ decay. A total of six ensembles with lattice spacing from $\approx0.12$ to 0.06 fm are being used. At the coarsest and finest lattice spacings, the light quark mass $m'_l$ is one-tenth the strange quark mass $m'_s$. At the intermediate lattice spacing, the ratio $m'_l/m'_s$ ranges from 0.05 to 0.2. The valence $b$ quark is treated using the Sheikholeslami-Wohlert Wilson-clover action with the Fermilab interpretation. The other valence quarks use the asqtad action. When combined with (future) measurements from the LHCb and Belle II experiments, these calculations will provide an alternate determination of the CKM matrix element $|V_{ub}|$.


title: A Two-Weight Inequality for Essentially Well Localized Operators with General Measures

abstract: We develop a new formulation of well localized operators as well as a new proof for the necessary and sufficient conditions to characterize their boundedness between $L^2(\mathbb{R}^n,u)$ and $L^2(\mathbb{R}^n,v)$ for general Radon measures $u$ and $v$.


title: A summation formula for triples of quadratic spaces

abstract: Let $V_1,V_2,V_3$ be a triple of even dimensional vector spaces over a number field $F$ equipped with nondegenerate quadratic forms $\mathcal{Q}_1,\mathcal{Q}_2,\mathcal{Q}_3$, respectively. Let \begin{align*} Y \subset \prod_{i=1}V_i \end{align*} be the closed subscheme consisting of $(v_1,v_2,v_3)$ on which $\mathcal{Q}_1(v_1)=\mathcal{Q}_2(v_2)=\mathcal{Q}_3(v_3)$. Motivated by conjectures of Braverman and Kazhdan and related work of Lafforgue, Ng\^o, and Sakellaridis we prove an analogue of the Poisson summation formula for certain functions on this space.