title: Scalable Factorized Hierarchical Variational Autoencoder Training

abstract: Deep generative models have achieved great success in unsupervised learning with the ability to capture complex nonlinear relationships between latent generating factors and observations. Among them, a factorized hierarchical variational autoencoder (FHVAE) is a variational inference-based model that formulates a hierarchical generative process for sequential data. Specifically, an FHVAE model can learn disentangled and interpretable representations, which have been proven useful for numerous speech applications, such as speaker verification, robust speech recognition, and voice conversion. However, as we will elaborate in this paper, the training algorithm proposed in the original paper is not scalable to datasets of thousands of hours, which makes this model less applicable on a larger scale. After identifying limitations in terms of runtime, memory, and hyperparameter optimization, we propose a hierarchical sampling training algorithm to address all three issues. Our proposed method is evaluated comprehensively on a wide variety of datasets, ranging from 3 to 1,000 hours and involving different types of generating factors, such as recording conditions and noise types. In addition, we also present a new visualization method for qualitatively evaluating the performance with respect to the interpretability and disentanglement. Models trained with our proposed algorithm demonstrate the desired characteristics on all the datasets.


title: Electromagnon in Y-type hexaferrite BaSrCoZnFe$_{11}$AlO$_{22}$

abstract: We investigated static and dynamic magnetoelectric properties of single crystalline BaSrCoZnFe$_{11}$AlO$_{22}$ which is a room-temperature multiferroic with Y-type hexaferrite crystal structure. Below $300\,\rm K$, a purely electric-dipole-active electromagnon at $\approx 1.2\,\rm THz$ with the electric polarization oscillating along the hexagonal axis was observed by THz and Raman spectroscopies. We investigated the behavior of the electromagnon with applied DC magnetic field and linked its properties to static measurements of the magnetic structure. Our analytical calculations determined selection rules for electromagnons activated by the magnetostriction mechanism in various magnetic structures of Y-type hexaferrite. Comparison with our experiment supports that the electromagnon is indeed activated by the magnetostriction mechanism involving spin vibrations along the hexagonal axis.


title: On the stability of charges in infinite quantum spin systems

abstract: We consider a theory of superselection sectors for infinite quantum spin systems, describing charges that can be approximately localized in cone-like regions. The primary examples we have in mind are the anyons (or charges) in topologically ordered models such as Kitaev's quantum double models and perturbations of such models. In order to cover the case of perturbed quantum double models, the Doplicher-Haag-Roberts approach, in which strict localization is assumed, has to be amended. To this end we consider endomorphisms of the observable algebra that are almost localized in cones. Under natural conditions on the reference ground state (which plays a role analogous to the vacuum state in relativistic theories), we obtain a braided tensor $C^*$-category describing the sectors. We also introduce a superselection criterion selecting excitations with energy below a threshold. When the threshold energy falls in a gap of the spectrum of the ground state, we prove stability of the entire superselection structure under perturbations that do not close the gap. We apply our results to prove that all essential properties of the anyons in Kitaev's abelian quantum double models are stable against perturbations.


title: Wrinkles in soft dielectric plates

abstract: We show that a smooth giant voltage actuation of soft dielectric plates is not easily obtained in practice. In principle one can exploit, through pre-deformation, the snap-through behavior of their loading curve to deliver a large stretch prior to electric breakdown. However, we demonstrate here that even in this favorable scenario, the soft dielectric is likely to first encounter the plate wrinkling phenomenon, as modeled by the onset of small-amplitude sinusoidal perturbations on its faces. We provide an explicit treatment of this incremental boundary value problem. We also derive closed-form expressions for the two limit cases of very thin membranes (with vanishing thickness) and of thick plates (with thickness comparable to or greater than the wavelength of the perturbation). We treat explicitly examples of ideal dielectric free energy functions (where the mechanical part is of the neo-Hookean, Mooney-Rivlin or Gent form) and of dielectrics exhibiting polarization saturation. Finally we make the link with the classical results of the Hessian electro-mechanical instability criterion and of Euler buckling for an elastic column.


title: On random polynomials generated by a symmetric three-term recurrence relation

abstract: We investigate the sequence $(P_{n}(z))_{n=0}^{\infty}$ of random polynomials generated by the three-term recurrence relation $P_{n+1}(z)=z P_{n}(z)-a_{n} P_{n-1}(z)$, $n\geq 1$, with initial conditions $P_{\ell}(z)=z^{\ell}$, $\ell=0, 1$, assuming that $(a_{n})_{n\in\mathbb{Z}}$ is a sequence of positive i.i.d. random variables. $(P_{n}(z))_{n=0}^{\infty}$ is a sequence of orthogonal polynomials on the real line, and $P_{n}$ is the characteristic polynomial of a Jacobi matrix $J_{n}$. We investigate the relation between the common distribution of the recurrence coefficients $a_{n}$ and two other distributions obtained as weak limits of the averaged empirical and spectral measures of $J_{n}$. Our main result is a description of combinatorial relations between the moments of the aforementioned distributions in terms of certain classes of colored planar trees. Our approach is combinatorial, and the starting point of the analysis is a formula of P. Flajolet for weight polynomials associated with labelled Dyck paths.


title: Merging joint distributions via causal model classes with low VC dimension

abstract: If $X,Y,Z$ denote sets of random variables, two different data sources may contain samples from $P_{X,Y}$ and $P_{Y,Z}$, respectively. We argue that causal inference can help inferring properties of the 'unobserved joint distributions' $P_{X,Y,Z}$ or $P_{X,Z}$. The properties may be conditional independences or also quantitative statements about dependences. More generally, we define a learning scenario where the input is a subset of variables and the label is some statistical property of that subset. Sets of jointly observed variables define the training points, while unobserved sets are possible test points. To solve this learning task, we infer, as an intermediate step, a causal model from the observations that then entails properties of unobserved sets. Accordingly, we can define the VC dimension of a class of causal models and derive generalization bounds for the predictions. Here, causal inference becomes more modest and better accessible to empirical tests than usual: rather than trying to find a causal hypothesis that is 'true' (which is a problematic term when it is unclear how to define interventions) a causal hypothesis is useful whenever it correctly predicts statistical properties of unobserved joint distributions. Within such a 'pragmatic' application of causal inference, some popular heuristic approaches become justified in retrospect. It is, for instance, allowed to infer DAGs from partial correlations instead of conditional independences if the DAGs are only used to predict partial correlations. I hypothesize that our pragmatic view on causality may even cover the usual meaning in terms of interventions and sketch why predicting the impact of interventions can sometimes also be phrased as a task of the above type.


title: Comments on the $S_N$ orbifold CFT in the large $N$-limit

abstract: We elaborate on various aspects of the conformal field theory of the symmetric orbifold. We collect various results that have appeared in the literature, and we present a coherent picture of the operator content of this CFT, relying on the orbifold extension of the Virasoro algebra. We then focus on the large $N$-limit of this theory, discuss the OPE of two twist operators, and find various selection rules. We review how to calculate four-point functions of twist operators, and we write down the most general four-point function in the covering space for large $N$. We show that it depends on some functions that obey a set of algebraic equations, that resemble the scattering equations. Finally, we provide a recipe on how to calculate correlation functions with insertions of the orbifold Virasoro generators.


title: Probing Ultralight Bosons with Binary Black Holes

abstract: We study the gravitational-wave (GW) signatures of clouds of ultralight bosons around black holes (BHs) in binary inspirals. These clouds, which are formed via superradiance instabilities for rapidly rotating BHs, produce distinct effects in the population of BH masses and spins, and a continuous monochromatic GW signal. We show that the presence of a binary companion greatly enriches the dynamical evolution of the system, most remarkably through the existence of resonant transitions between the growing and decaying modes of the cloud (analogous to Rabi oscillations in atomic physics). These resonances have rich phenomenological implications for current and future GW detectors. Notably, the amplitude of the GW signal from the clouds may be reduced, and in many cases terminated, much before the binary merger. The presence of a boson cloud can also be revealed in the GW signal from the binary through the imprint of finite-size effects, such as spin-induced multipole moments and tidal Love numbers. The time dependence of the cloud's energy density during the resonance leads to a sharp feature, or at least attenuation, in the contribution from the finite-size terms to the waveforms. The observation of these effects would constrain the properties of putative ultralight bosons through precision GW data, offering new probes of physics beyond the Standard Model.

categories: gr-qc astro-ph.CO astro-ph.HE hep-ph hep-th


title: Speech Commands: A Dataset for Limited-Vocabulary Speech Recognition

abstract: Describes an audio dataset of spoken words designed to help train and evaluate keyword spotting systems. Discusses why this task is an interesting challenge, and why it requires a specialized dataset that is different from conventional datasets used for automatic speech recognition of full sentences. Suggests a methodology for reproducible and comparable accuracy metrics for this task. Describes how the data was collected and verified, what it contains, previous versions and properties. Concludes by reporting baseline results of models trained on this dataset.


title: De Vries duality for compactifications and completely regular spaces

abstract: De Vries duality yields a dual equivalence between the category of compact Hausdorff spaces and a category of complete Boolean algebras with a proximity relation on them, known as de Vries algebras. We extend de Vries duality to completely regular spaces by replacing the category of de Vries algebras with certain extensions of de Vries algebras. This is done by first formulating a duality between compactifications and de Vries extensions, and then specializing to the extensions that correspond to Stone-\v{C}ech compactifications.


title: Mobiles as Portals for Interacting with Virtual Data Visualizations

abstract: We propose a set of techniques leveraging mobile devices as lenses to explore, interact and annotate n-dimensional data visualizations. The democratization of mobile devices, with their arrays of integrated sensors, opens up opportunities to create experiences for anyone to explore and interact with large information spaces anywhere. In this paper, we propose to revisit ideas behind the Chameleon prototype of Fitzmaurice et al. initially envisioned in the 90s for navigation, before spatially-aware devices became mainstream. We also take advantage of other input modalities such as pen and touch to not only navigate the space using the mobile as a lens, but interact and annotate it by adding toolglasses.


title: Floquet Engineering of Quantum Materials

abstract: Floquet engineering, the control of quantum systems using periodic driving, is an old concept in condensed matter physics, dating back to ideas such as the inverse Faraday effect. There is a renewed interest in this concept owing to the rapid developments in laser and ultrafast spectroscopy techniques and discovery and understanding of various "quantum materials" hosting interesting exotic quantum properties. Here, starting from a nontechnical introduction with emphasis on the Floquet picture and effective Hamiltonians, we review the recent applications of Floquet engineering in ultrafast, nonlinear phenomena in the solid state. In particular, Floquet topological states, application to ultrafast spintronics, and to strongly correlated electron systems are overviewed.


title: Encounter-controlled coalescence and annihilation on a one-dimensional growing domain

abstract: The kinetics of encounter-controlled processes in growing domains is markedly different from that in a static domain. Here, we consider the specific example of diffusion limited coalescence and annihilation reactions in one-dimensional space. In the static case, such reactions are among the few systems amenable to exact solution, which can be obtained by means of a well-known method of intervals. In the case of a uniformly growing domain, we show that a double transformation in time and space allows one to extend this method to compute the main quantities characterizing the spatial and temporal behavior. We show that a sufficiently fast domain growth brings about drastic changes in the behavior. In this case, the reactions stop prematurely, as a result of which the survival probability of the reacting particles tends to a finite value at long times and their spatial distribution freezes before reaching the fully self-ordered state. We obtain exact results for the survival probability and for key properties characterizing the degree of self-ordering induced by the chemical reactions, i.e., the interparticle distribution function and the pair correlation function. These results are confirmed by numerical simulations.


title: Exceptional Points of Degeneracy and Branch Points for Transmission-Line Problems - Linear Algebra and Bifurcation Theory Perspectives

abstract: We demonstrate several new aspects of exceptional points of degeneracy (EPD) pertaining to propagation in two uniform coupled transmission-line structures. We describe an EPD using two different approaches - by solving an eigenvalue problem based on the system matrix, and as a singular point from bifurcation theory, and the link between these two disparate viewpoints. Cast as an eigenvalue problem, we show that eigenvalue degeneracies are always coincident with eigenvector degeneracies, so that all eigenvalue degeneracies are implicitly EPDs in two uniform coupled transmission lines. Furthermore, we discuss in some detail the fact that EPDs define branch points (BPs) in the complex-frequency plane; we provide simple formulas for these points, and show that parity-time (PT) symmetry leads to real-valued EPDs occurring on the real-frequency axis. We discuss the connection of the linear algebra approach to previous waveguide analysis based on singular points from bifurcation theory, which provides a complementary viewpoint of EPD phenomena, showing that EPDs are singular points of the dispersion function associated with the fold bifurcation. This provides an important connection of various modal interaction phenomena known in guided-wave structures with recent interesting effects observed in quantum mechanics, photonics, and metamaterials systems described in terms of the EPD formalism.


title: Pressure effects on the structural and superconducting transitions in La3Co4Sn13

abstract: La3Co4Sn13 is a superconducting material with transition temperature at Tc = 2.70 K, which presents a superlattice structural transition at T* ~ 150 K, a common feature for this class of compounds. However, for this material, it is not clear that at T* the lattice distortions arise from a charge density wave (CDW) or from a distinct microscopic origin. Interestingly, it has been suggested in isostructural non-magnetic intermetallic compounds that T* can be suppressed to zero temperature, by combining chemical and external pressure, and a quantum critical point is argued to be observed near these critical doping/pressure. Our study shows that application of pressure on single-crystalline La3Co4Sn13 enhances Tc and decreases T*. We observe thermal hysteresis loops for cooling/heating cycles around T* for P > 0.6 GPa, in electrical resistivity measurements, which are not seen in x-ray diffraction data. The hysteresis in electrical measurements may be due to the pinning of the CDW phase to impurities/defects, while the superlattice structural transition maintains its ambient pressure second-order transition nature under pressure. From our experiments we estimate that T* vanishes at around 5.5 GPa, though no quantum critical behavior is observed up to 2.53 GPa.


title: Efficiency of free auxiliary models in describing interacting fermions: from the Kohn-Sham model to the optimal entanglement model

abstract: Density functional theory maps an interacting Hamiltonian onto the Kohn-Sham Hamiltonian, an explicitly free model with identical local fermion densities. Using the interaction distance, the minimum distance between the ground state of the interacting system and a generic free fermion state, we quantify the applicability and limitations of the exact Kohn-Sham model in capturing the various properties of the interacting system. As a byproduct, this distance determines the optimal free state that reproduces the entanglement properties of the interacting system as faithfully as possible. The parent Hamiltonian of the optimal free state identifies a system that can determine the expectation value of any observable with controlled accuracy. This optimal entanglement model opens up the possibility of extending the systematic applicability of auxiliary free models into the non-perturbative, strongly-correlated regimes.


title: An intuitionistic axiomatization of `eventually'

abstract: Boudou and the authors have recently introduced the intuitionistic temporal logic $\sf ITL^e$ and shown it to be decidable. In this article we show that the `henceforth'-free fragment of this logic is complete for the class of non-deterministic quasimodels introduced by Fern\'andez-Duque. From this and results of Boudou, Romero and the authors, we conclude that this fragment is also complete for the standard semantics of $\sf ITL^e$ over the class of expanding posets.


title: Finding and Characterizing Other Worlds: the Thermal-IR ELT Opportunity

abstract: The next generation ground-based extremely large telescopes (ELTs) present incredible opportunities to discover and characterize diverse planetary systems, even potentially habitable worlds. Adaptive-optics assisted thermal-IR (3-14 micron) imaging is a powerful tool to study exoplanets with extant 6-12 meter telescopes. ELTs have the spatial resolution and sensitivity that offer an unparalleled expansion of the available discovery space. AO-assisted thermal-IR instruments on ELTs will be superior to JWST for high contrast imaging in the thermal-IR, and complementary to high contrast observations at shorter wavelengths, in space or with second-generation extreme AO instruments. With appropriate investments in instrumentation and pre-cursor observations, thermal-IR equipped ELTs could image the first terrestrial and super-earth planets around nearby stars, opening the door to characterization of potentially habitable planets from the ground and space.


title: Dynamic Pricing and Learning with Competition: Insights from the Dynamic Pricing Challenge at the 2017 INFORMS RM & Pricing Conference

abstract: This paper presents the results of the Dynamic Pricing Challenge, held on the occasion of the 17th INFORMS Revenue Management and Pricing Section Conference on June 29-30, 2017 in Amsterdam, The Netherlands. For this challenge, participants submitted algorithms for pricing and demand learning of which the numerical performance was analyzed in simulated market environments. This allows consideration of market dynamics that are not analytically tractable or can not be empirically analyzed due to practical complications. Our findings implicate that the relative performance of algorithms varies substantially across different market dynamics, which confirms the intrinsic complexity of pricing and learning in the presence of competition.


title: Collision properties of overtaking supersolitons with small amplitudes

abstract: The collision properties of overtaking small-amplitude supersolitons are investigated for the fluid model of a plasma consisting of cold ions and two-temperature Boltzmann electrons. A reductive perturbation analysis is performed for compositional parameters near the supercritical composition. A generalized Korteweg-de Vries equation with a quartic nonlinearity is derived, referred to as the modified Gardner equation. Criteria for the existence of small-amplitude supersolitons are derived. The modified Gardner equation is shown to be not completely integrable, implying that supersoliton collisions are inelastic, as confirmed by numerical simulations. These simulations also show that supersolitons may reduce to regular solitons as a result of overtaking collisions.


title: Measuring the neutron star tidal deformability with equation-of-state-independent relations and gravitational waves

abstract: Gravitational wave measurements of binary neutron star coalescences offer information about the properties of the extreme matter that comprises the stars. Despite our expectation that all neutron stars in the Universe obey the same equation of state, i.e. the properties of the matter that forms them are universal, current tidal inference analyses treat the two bodies as independent. We present a method to measure the effect of tidal interactions in the gravitational wave signal -- and hence constrain the equation of state -- that assumes that the two binary components obey the same equation of state. Our method makes use of a relation between the tidal deformabilities of the two stars given the ratio of their masses, a relation that has been shown to only have a weak dependance on the equation of state. We use this relation to link the tidal deformabilities of the two stars in a realistic parameter inference study while simultaneously marginalizing over the error in the relation. This approach incorporates more physical information into our analysis, thus leading to a better measurement of tidal effects in gravitational wave signals. Through simulated signals we estimate that uncertainties in the measured tidal parameters are reduced by a factor of at least 2 -- and in some cases up to 10 -- depending on the equation of state and mass ratio of the system.


title: The Peculiar Radial Distribution of Multiple Populations in the massive globular cluster M80

abstract: We present a detailed analysis of the radial distribution of light-element multiple populations (LE-MPs) in the massive and dense globular cluster M80 based on the combination of UV and optical Hubble Space Telescope data. Surprisingly, we find that first generation stars (FG) are significantly more centrally concentrated than extreme second generation ones (SG) out to $\sim 2.5 r_h$ from the cluster center. To understand the origin of such a peculiar behavior, we used a set of $N$-body simulations following the long-term dynamical evolution of LE-MPs. We find that, given the advanced dynamical state of the cluster, the observed difference does not depend on the primordial relative distributions of FG and SG stars. On the contrary, a difference of $\sim 0.05-0.10 M_{\odot}$ between the average masses of the two sub-populations is needed to account for the observed radial distributions. We argue that such a mass difference might be the result of the higher He abundance of SG stars (of the order of $\Delta Y\sim 0.05-0.06$) with respect to FG. Interestingly, we find that a similar He variation is necessary to reproduce the horizontal branch morphology of M80. These results demonstrate that differences in mass among LE-MPs, due to different He content, should be properly taken into account for a correct interpretation of their radial distribution, at least in dynamically evolved systems.


title: Canted antiferromagnetism in phase-pure CuMnSb

abstract: We report the low-temperature properties of phase-pure single crystals of the half-Heusler compound CuMnSb grown by means of optical float-zoning. The magnetization, specific heat, electrical resistivity, and Hall effect of our single crystals exhibit an antiferromagnetic transition at $T_{\mathrm{N}} = 55~\mathrm{K}$ and a second anomaly at a temperature $T^{*} \approx 34~\mathrm{K}$. Powder and single-crystal neutron diffraction establish an ordered magnetic moment of $(3.9\pm0.1)~\mu_{\mathrm{B}}/\mathrm{f.u.}$, consistent with the effective moment inferred from the Curie-Weiss dependence of the susceptibility. Below $T_{\mathrm{N}}$, the Mn sublattice displays commensurate type-II antiferromagnetic order with propagation vectors and magnetic moments along $\langle111\rangle$ (magnetic space group $R[I]3c$). Surprisingly, below $T^{*}$, the moments tilt away from $\langle111\rangle$ by a finite angle $\delta \approx 11^{\circ}$, forming a canted antiferromagnetic structure without uniform magnetization consistent with magnetic space group $C[B]c$. Our results establish that type-II antiferromagnetism is not the zero-temperature magnetic ground state of CuMnSb as may be expected of the face-centered cubic Mn sublattice.


title: Exploiting Partial Structural Symmetry For Patient-Specific Image Augmentation in Trauma Interventions

abstract: In unilateral pelvic fracture reductions, surgeons attempt to reconstruct the bone fragments such that bilateral symmetry in the bony anatomy is restored. We propose to exploit this "structurally symmetric" nature of the pelvic bone, and provide intra-operative image augmentation to assist the surgeon in repairing dislocated fragments. The main challenge is to automatically estimate the desired plane of symmetry within the patient's pre-operative CT. We propose to estimate this plane using a non-linear optimization strategy, by minimizing Tukey's biweight robust estimator, relying on the partial symmetry of the anatomy. Moreover, a regularization term is designed to enforce the similarity of bone density histograms on both sides of this plane, relying on the biological fact that, even if injured, the dislocated bone segments remain within the body. The experimental results demonstrate the performance of the proposed method in estimating this "plane of partial symmetry" using CT images of both healthy and injured anatomy. Examples of unilateral pelvic fractures are used to show how intra-operative X-ray images could be augmented with the forward-projections of the mirrored anatomy, acting as objective road-map for fracture reduction procedures.


title: Applying Polynomial Chaos Expansion to Assess Probabilistic Available Delivery Capability for Distribution Networks with Renewables

abstract: Considering the increasing penetration of renewable energy sources and electrical vehicles in utility distribution feeders, it is imperative to study the impacts of the resulting increasing uncertainty on the delivery capability of a distribution network. In this paper, probabilistic available delivery capability (ADC) is formulated for a general distribution network integrating various RES and load variations. To reduce the computational efforts by using conventional Monte Carlo simulations, we develop and employ a computationally efficient method to assess the probabilistic ADC, which combines the up-to-date sparse polynomial chaos expansion (PCE) and the continuation method. Particularly, the proposed method is able to handle a large number of correlated random inputs with different marginal distributions. Numerical examples in the IEEE 13 and IEEE 123 node test feeders are presented, showing that the proposed method can achieve accuracy and efficiency simultaneously. Numerical results also demonstrate that the randomness brought about by the RES and loads indeed leads to a reduction in the delivery capability of a distribution network.


title: Enhancement of transmission quality in soliton-based optical waveguide systems by frequency dependent linear gain-loss and the Raman self-frequency shift

abstract: We study transmission stabilization against radiation emission in soliton-based nonlinear optical waveguides with weak linear gain-loss, cubic loss, and delayed Raman response. We show by numerical simulations with perturbed nonlinear Schr\"odinger propagation models that transmission quality in waveguides with frequency independent linear gain and cubic loss is not improved by the presence of delayed Raman response due to the lack of an efficient mechanism for suppression of radiation emission. In contrast, we find that the presence of delayed Raman response leads to significant enhancement of transmission quality in waveguides with frequency dependent linear gain-loss and cubic loss. Enhancement of transmission quality in the latter waveguides is enabled by the separation of the soliton's spectrum from the radiation's spectrum due to the Raman-induced self-frequency shift and by efficient suppression of radiation emission due to the frequency dependent linear gain-loss. Further numerical simulations demonstrate that the enhancement of transmission quality in waveguides with frequency dependent linear gain-loss, cubic loss, and delayed Raman response is similar to transmission quality enhancement in waveguides with linear gain, cubic loss, and guiding filters with a varying central frequency.


title: Simulation-Based Reachability Analysis for High-Index Large Linear Differential Algebraic Equations

abstract: Reachability analysis is a fundamental problem for safety verification and falsification of Cyber-Physical Systems (CPS) whose dynamics follow physical laws usually represented as differential equations. In the last two decades, numerous reachability analysis methods and tools have been proposed for a common class of dynamics in CPS known as ordinary differential equations (ODE). However, there is lack of methods dealing with differential algebraic equations (DAE) which is a more general class of dynamics that is widely used to describe a variety of problems from engineering and science such as multibody mechanics, electrical cicuit design, incompressible fluids, molecular dynamics and chemcial process control. Reachability analysis for DAE systems is more complex than ODE systems, especially for high-index DAEs because they contain both a differential part (i.e., ODE) and algebraic constraints (AC). In this paper, we extend the recent scalable simulation-based reachability analysis in combination with decoupling techniques for a class of high-index large linear DAEs. In particular, a high-index linear DAE is first decoupled into one ODE and one or several AC subsystems based on the well-known Marz decoupling method ultilizing admissible projectors. Then, the discrete reachable set of the DAE, represented as a list of star-sets, is computed using simulation. Unlike ODE reachability analysis where the initial condition is freely defined by a user, in DAE cases, the consistency of the inititial condition is an essential requirement to guarantee a feasible solution. Therefore, a thorough check for the consistency is invoked before computing the discrete reachable set. Our approach sucessfully verifies (or falsifies) a wide range of practical, high-index linear DAE systems in which the number of state variables varies from several to thousands.


title: Data Driven Optimizations for MTJ based Stochastic Computing

abstract: Stochastic computing, a form of computation with probabilities, presents an alternative to conventional arithmetic units. Magnetic Tunnel Junctions (MTJs), which exhibit probabilistic switching, have been explored as Stochastic Number Generators (SNGs). We provide a perspective of the energy requirements of such an application and design an energy-efficient and data-sensitive MTJ-based SNG. We discuss its benefits when used for stochastic computations, illustrating with the help of a multiplier circuit, in terms of energy savings when compared to computing with the baseline MTJ-SNG.


title: Rare Radiative Decays of Vector and Axial-Vector $B_{c}$ Mesons to $ (D_{s}, D^{*}_{s}, D_{s1}) $ Final States

abstract: In this work, we use the QCD sum rule method to study the radiative decays of the vector and axial-vector $B_c$ mesons to each of three charmed strange mesons, $D_s$, $D^*_s$ and $D_{s1}$, through their dominant weak annihilation channels. We calculate all relevant transition form factors, which are used to estimate the branching fractions at different channels. The order of branching ratios are obtained to be in the order of $ 10^{-6} - 10^{-5} $, which may be checked via differnet experiments.


title: NetAdapt: Platform-Aware Neural Network Adaptation for Mobile Applications

abstract: This work proposes an algorithm, called NetAdapt, that automatically adapts a pre-trained deep neural network to a mobile platform given a resource budget. While many existing algorithms simplify networks based on the number of MACs or weights, optimizing those indirect metrics may not necessarily reduce the direct metrics, such as latency and energy consumption. To solve this problem, NetAdapt incorporates direct metrics into its adaptation algorithm. These direct metrics are evaluated using empirical measurements, so that detailed knowledge of the platform and toolchain is not required. NetAdapt automatically and progressively simplifies a pre-trained network until the resource budget is met while maximizing the accuracy. Experiment results show that NetAdapt achieves better accuracy versus latency trade-offs on both mobile CPU and mobile GPU, compared with the state-of-the-art automated network simplification algorithms. For image classification on the ImageNet dataset, NetAdapt achieves up to a 1.7$\times$ speedup in measured inference latency with equal or higher accuracy on MobileNets (V1&V2).


title: On the simulation of the seismic energy transmission mechanisms

abstract: In recent years, considerable attention has been paid to research and development methods able to assess the seismic energy propagation on the territory. The seismic energy propagation is strongly related to the complexity of the source and it is affected by the attenuation and the scattering effects along the path. Thus, the effect of the earthquake is the result of a complex interaction between the signal emitted by the source and the propagation effects. The purpose of this work is to develop a methodology able to reproduce the propagation law of seismic energy, hypothesizing the "transmission" mechanisms that preside over the distribution of seismic effects on the territory, by means of a structural optimization process with a predetermined energy distribution. Briefly, the approach, based on a deterministic physical model, determines an objective correction of the detected distributions of seismic intensity on the soil, forcing the compatibility of the observed data with the physical-mechanical model. It is based on two hypotheses: (1) the earthquake at the epicentre is simulated by means of a system of distortions split into three parameters; (2) the intensity is considered coincident to the density of elastic energy. The optimal distribution of the beams stiffness is achieved, by reducing the difference between the values of intensity distribution computed on the mesh and those observed during four regional events historically reported concerning the Campania region (Italy).


title: Design and construction of a desktop AC susceptometer using an Arduino and a Bluetooth for serial interface

abstract: We designed and developed a desktop ac susceptometer for the characterization of materials. The system consists of a lock-in amplifier, an ac function generator, a couple of coils, a sample holder, a computer system with a designed software in freeware C++ code, and an Arduino card coupled to a bluetooth module. The Arduino/bluetooth serial interface allows the user to have a connection to almost any computer and thus avoids the problem of connectivity between the computer and the peripherals such as the lock-in amplifier and the function generator. The bluetooth transmitter/receiver used is a commercial device which is robust and fast. These new features reduce the size and increment the versatility of the susceptometer for it can be used with a simple laptop. To test our instrument we performed measurements on magnetic materials and show that the system is reliable at both room temperature and cryogenic temperatures (77 K). The instrument is suitable for any physics or engineering laboratory either for research or academic purposes.


title: MSE-optimal 1-bit Precoding for Multiuser MIMO via Branch and Bound

abstract: In this paper, we solve the sum mean-squared error (MSE)-optimal 1-bit quantized precoding problem exactly for small-to-moderate sized multiuser multiple-input multiple-output (MU-MIMO) systems via branch and bound. To this end, we reformulate the original NP-hard precoding problem as a tree search and deploy a number of strategies that improve the pruning efficiency without sacrificing optimality. We evaluate the error-rate performance and the complexity of the resulting 1-bit branch-and-bound (BB-1) precoder, and compare its efficacy to that of existing, suboptimal algorithms for 1-bit precoding in MU-MIMO systems.


title: NLTE spectroscopic analysis of the $^3$He anomaly in subluminous B-type stars

abstract: Several B-type main-sequence stars show chemical peculiarities. A particularly striking class are the $^3$He stars, which exhibit a remarkable enrichment of $^3$He with respect to $^4$He. This isotopic anomaly has also been found in blue horizontal branch (BHB) and subdwarf B (sdB) stars, which are helium-core burning stars of the extreme horizontal branch. Using a hybrid local/non-local thermodynamic equilibrium (LTE/NLTE) approach for B-type stars, we analyzed high-quality spectra of two known $^3$He BHBs and nine known $^3$He sdBs to determine their isotopic helium abundances and $^4$He/$^3$He abundance ratios. We redetermined their atmospheric parameters and analyzed selected neutral helium lines, including $\lambda$4922 $\mathring{A}$ and $\lambda$6678 $\mathring{A}$, which are very sensitive to $^4$He/$^3$He. Most of the $^3$He sdBs cluster in a narrow temperature strip between 26000 K and 30000 K and are helium deficient in accordance with previous LTE analyses. BD+48$^\circ$ 2721 is reclassified as a BHB star because of its low temperature ($T_{\mathrm{eff}}=$ 20700 K). Whereas $^4$He is almost absent ($^4$He/$^3$He$<$ 0.25) in most of the known $^3$He stars, other sample stars show abundance ratios up to $^4$He/$^3$He$=$2.51. A search for $^3$He stars in the ESO SPY survey led to the discovery of two new $^3$He sdB stars (HE 0929-0424 and HE 1047-0436). The observed helium line profiles of all BHBs and of three sdBs are not matched by chemically homogeneous atmospheres, but hint at vertical helium stratification. This phenomenon has been seen in other peculiar B-type stars, but is found for the first time for sdBs. We estimate helium to increase from the outer to the inner atmosphere by factors ranging from 1.4 (SB 290) up to 8.0 (BD+48$^\circ$ 2721).


title: Large scale distributed neural network training through online distillation

abstract: Techniques such as ensembling and distillation promise model quality improvements when paired with almost any base model. However, due to increased test-time cost (for ensembles) and increased complexity of the training pipeline (for distillation), these techniques are challenging to use in industrial settings. In this paper we explore a variant of distillation which is relatively straightforward to use as it does not require a complicated multi-stage setup or many new hyperparameters. Our first claim is that online distillation enables us to use extra parallelism to fit very large datasets about twice as fast. Crucially, we can still speed up training even after we have already reached the point at which additional parallelism provides no benefit for synchronous or asynchronous stochastic gradient descent. Two neural networks trained on disjoint subsets of the data can share knowledge by encouraging each model to agree with the predictions the other model would have made. These predictions can come from a stale version of the other model so they can be safely computed using weights that only rarely get transmitted. Our second claim is that online distillation is a cost-effective way to make the exact predictions of a model dramatically more reproducible. We support our claims using experiments on the Criteo Display Ad Challenge dataset, ImageNet, and the largest to-date dataset used for neural language modeling, containing $6\times 10^{11}$ tokens and based on the Common Crawl repository of web data.


title: Building Function Approximators on top of Haar Scattering Networks

abstract: In this article we propose building general-purpose function approximators on top of Haar Scattering Networks. We advocate that this architecture enables a better comprehension of feature extraction, in addition to its implementation simplicity and low computational costs. We show its approximation and feature extraction capabilities in a wide range of different problems, which can be applied on several phenomena in signal processing, system identification, econometrics and other potential fields.


title: A Counting Semantics for Monitoring LTL Specifications over Finite Traces

abstract: We consider the problem of monitoring a Linear Time Logic (LTL) specification that is defined on infinite paths, over finite traces. For example, we may need to draw a verdict on whether the system satisfies or violates the property "p holds infinitely often." The problem is that there is always a continuation of a finite trace that satisfies the property and a different continuation that violates it. We propose a two-step approach to address this problem. First, we introduce a counting semantics that computes the number of steps to witness the satisfaction or violation of a formula for each position in the trace. Second, we use this information to make a prediction on inconclusive suffixes. In particular, we consider a good suffix to be one that is shorter than the longest witness for a satisfaction, and a bad suffix to be shorter than or equal to the longest witness for a violation. Based on this assumption, we provide a verdict assessing whether a continuation of the execution on the same system will presumably satisfy or violate the property.


title: Neutrino Cross Sections: Status and Prospects

abstract: We summarize the current status of accelerator based neutrino crosssection measurements. We focus on the experimental challenges while also presenting the motivation for these measurements. Selected results are highlighted after a quick description of the current major collaborations working on the field.


title: Bayesian reconstruction of gravitational wave bursts using chirplets

abstract: The LIGO-Virgo collaboration uses a variety of techniques to detect and characterize gravitational waves. One approach is to use templates - models for the signals derived from Einstein's equations. Another approach is to extract the signals directly from the coherent response of the detectors in LIGO-Virgo network. Both approaches played an important role in the first gravitational wave detections. Here we extend the BayesWave analysis algorithm, which reconstructs gravitational wave signals using a collection of continuous wavelets, to use a generalized wavelet family, known as chirplets, that have time-evolving frequency content. Since generic gravitational wave signals have frequency content that evolves in time, a collection of chirplets provides a more compact representation of the signal, resulting in more accurate waveform reconstructions, especially for low signal-to-noise events, and events that occupy a large time-frequency volume.


title: Deep Attention Model for Triage of Emergency Department Patients

abstract: Optimization of patient throughput and wait time in emergency departments (ED) is an important task for hospital systems. For that reason, Emergency Severity Index (ESI) system for patient triage was introduced to help guide manual estimation of acuity levels, which is used by nurses to rank the patients and organize hospital resources. However, despite improvements that it brought to managing medical resources, such triage system greatly depends on nurse's subjective judgment and is thus prone to human errors. Here, we propose a novel deep model based on the word attention mechanism designed for predicting a number of resources an ED patient would need. Our approach incorporates routinely available continuous and nominal (structured) data with medical text (unstructured) data, including patient's chief complaint, past medical history, medication list, and nurse assessment collected for 338,500 ED visits over three years in a large urban hospital. Using both structured and unstructured data, the proposed approach achieves the AUC of $\sim 88\%$ for the task of identifying resource intensive patients (binary classification), and the accuracy of $\sim 44\%$ for predicting exact category of number of resources (multi-class classification task), giving an estimated lift over nurses' performance by 16\% in accuracy. Furthermore, the attention mechanism of the proposed model provides interpretability by assigning attention scores for nurses' notes which is crucial for decision making and implementation of such approaches in the real systems working on human health.


title: A Quillen's Theorem A for strict $\infty$-categories II: the $\infty$-categorical proof

abstract: This paper is the second in a series of two papers about generalizing Quillen's Theorem A to strict $\infty$-categories. In the first one, we presented a proof of this Theorem A of a simplicial nature, direct but somewhat ad hoc. In the current paper, we give a conceptual proof of an $\infty$-categorical nature of the same theorem. This proof is based on the theory of join and slices for strict $\infty$-categories developed by the authors in a previous paper, and on a comma construction for strict $\infty$-categories generalizing classical comma categories and Gray's comma 2-categories. This $\infty$-categorical comma construction is used by the first author in another paper to prove a generalization of Quillen's Theorem B to strict $\infty$-categories. We believe that the importance of this comma construction in the theory of $\infty$-categories goes far beyond the scope of homotopy theory.


title: Quantum complexity and the virial theorem

abstract: It is conjectured that in the geometric formulation of quantum computing, one can study quantum complexity through classical entropy of statistical ensembles established non-relativistically in the group manifold of unitary operators. The kinetic and positional decompositions of statistical entropy are conjectured to correspond to the Kolmogorov complexity and computational complexity, respectively, of corresponding quantum circuits. In this paper, we claim that by applying the virial theorem to the group manifold, one can derive a generic relation between Kolmogorov complexity and computational complexity in the thermal equilibrium.


title: A GPU-based WFST Decoder with Exact Lattice Generation

abstract: We describe initial work on an extension of the Kaldi toolkit that supports weighted finite-state transducer (WFST) decoding on Graphics Processing Units (GPUs). We implement token recombination as an atomic GPU operation in order to fully parallelize the Viterbi beam search, and propose a dynamic load balancing strategy for more efficient token passing scheduling among GPU threads. We also redesign the exact lattice generation and lattice pruning algorithms for better utilization of the GPUs. Experiments on the Switchboard corpus show that the proposed method achieves identical 1-best results and lattice quality in recognition and confidence measure tasks, while running 3 to 15 times faster than the single process Kaldi decoder. The above results are reported on different GPU architectures. Additionally we obtain a 46-fold speedup with sequence parallelism and multi-process service (MPS) in GPU.


title: Prompt Scheduling for Selfish Agents

abstract: We give a prompt online mechanism for minimizing the sum of [weighted] completion times. This is the first prompt online algorithm for the problem. When such jobs are strategic agents, delaying scheduling decisions makes little sense. Moreover, the mechanism has a particularly simple form of an anonymous menu of options.


title: Poly-Spline Finite Element Method

abstract: We introduce an integrated meshing and finite element method pipeline enabling black-box solution of partial differential equations in the volume enclosed by a boundary representation. We construct a hybrid hexahedral-dominant mesh, which contains a small number of star-shaped polyhedra, and build a set of high-order basis on its elements, combining triquadratic B-splines, triquadratic hexahedra (27 degrees of freedom), and harmonic elements. We demonstrate that our approach converges cubically under refinement, while requiring around 50% of the degrees of freedom than a similarly dense hexahedral mesh composed of triquadratic hexahedra. We validate our approach solving Poisson's equation on a large collection of models, which are automatically processed by our algorithm, only requiring the user to provide boundary conditions on their surface.


title: Minimal-time mean field games

abstract: This paper considers a mean field game model inspired by crowd motion where agents want to leave a given bounded domain through a part of its boundary in minimal time. Each agent is free to move in any direction, but their maximal speed is bounded in terms of the average density of agents around their position in order to take into account congestion phenomena. After a preliminary study of the corresponding minimal-time optimal control problem, we formulate the mean field game in a Lagrangian setting and prove existence of Lagrangian equilibria using a fixed point strategy. We provide a further study of equilibria under the assumption that agents may leave the domain through the whole boundary, in which case equilibria are described through a system of a continuity equation on the distribution of agents coupled with a Hamilton--Jacobi equation on the value function of the optimal control problem solved by each agent. This is possible thanks to the semiconcavity of the value function, which follows from some further regularity properties of optimal trajectories obtained through Pontryagin Maximum Principle. Simulations illustrate the behavior of equilibria in some particular situations.


title: Fine-grained Activity Recognition in Baseball Videos

abstract: In this paper, we introduce a challenging new dataset, MLB-YouTube, designed for fine-grained activity detection. The dataset contains two settings: segmented video classification as well as activity detection in continuous videos. We experimentally compare various recognition approaches capturing temporal structure in activity videos, by classifying segmented videos and extending those approaches to continuous videos. We also compare models on the extremely difficult task of predicting pitch speed and pitch type from broadcast baseball videos. We find that learning temporal structure is valuable for fine-grained activity recognition.


title: A narrow band neutrino beam with high precision flux measurements

abstract: The ENUBET facility is a proposed narrow band neutrino beam where lepton production is monitored at single particle level in the instrumented decay tunnel. This facility addresses simultaneously the two most important challenges for the next generation of cross section experiments: a superior control of the flux and flavor composition at source and a high level of tunability and precision in the selection of the energy of the outcoming neutrinos. We report here the latest results in the development and test of the instrumentation for the decay tunnel. Special emphasis is given to irradiation tests of the photo-sensors performed at INFN-LNL and CERN in 2017 and to the first application of polysiloxane-based scintillators in high energy physics.


title: Non-linear hydrodynamic instability and turbulence in eccentric astrophysical discs with vertical structure

abstract: Non-linear evolution of the parametric instability of inertial waves inherent to eccentric discs is studied by way of a new local numerical model. Mode coupling of tidal deformation with the disc eccentricity is known to produce exponentially growing eccentricities at certain mean-motion resonances. However, the details of an efficient saturation mechanism balancing this growth still are not fully understood. This paper develops a local numerical model for an eccentric quasi-axisymmetric shearing box which generalises the often-used cartesian shearing box model. The numerical method is an overall second order well-balanced finite volume method which maintains the stratified and oscillatory steady-state solution by construction. This implementation is employed to study the non-linear outcome of the parametric instability in eccentric discs with vertical structure. Stratification is found to constrain the perturbation energy near the mid-plane and localise the effective region of inertial wave breaking that sources turbulence. A saturated marginally sonic turbulent state results from the non-linear breaking of inertial waves and is subsequently unstable to large-scale axisymmetric zonal flow structures. This resulting limit-cycle behaviour reduces access to the eccentric energy source and prevents substantial transport of angular momentum radially through the disc. Still, the saturation of this parametric instability of inertial waves is shown to damp eccentricity on a time-scale of a thousand orbital periods. It may thus be a promising mechanism for intermittently regaining balance with the exponential growth of eccentricity from the eccentric Lindblad resonances and may also help explain the occurrence of "bursty" dynamics such as the superhump phenomenon.

categories: astro-ph.EP astro-ph.HE astro-ph.SR physics.flu-dyn


title: Microwave non-reciprocity of magnon excitations in a non-centrosymmetric antiferromagnet Ba$_2$MnGe$_2$O$_7$

abstract: We have investigated the microwave non-reciprocity for a non-centrosymmetric antiferromagnet Ba$_2$MnGe$_2$O$_7$. The magnon modes expected by the conventional spin wave theory for staggered antiferromagnets are certainly observed. The magnitudes of exchange interaction and magnetic anisotropy are obtained by the comparison with the theory. The microwave non-reciprocity is identified for one of these mode. The relative magnitude of microwave non-reciprocity can be explained with use of spin wave theory and Kubo formula.


title: A Carlitz type result for linearized polynomials

abstract: For an arbitrary $q$-polynomial $f$ over $\mathbb{F}_{q^n}$ we study the problem of finding those $q$-polynomials $g$ over $\mathbb{F}_{q^n}$ for which the image sets of $f(x)/x$ and $g(x)/x$ coincide. For $n\leq 5$ we provide sufficient and necessary conditions and then apply our result to study maximum scattered linear sets of $\mathrm{PG}(1,q^5)$.


title: Design of an Autonomous Racecar: Perception, State Estimation and System Integration

abstract: This paper introduces fl\"uela driverless: the first autonomous racecar to win a Formula Student Driverless competition. In this competition, among other challenges, an autonomous racecar is tasked to complete 10 laps of a previously unknown racetrack as fast as possible and using only onboard sensing and computing. The key components of fl\"uela's design are its modular redundant sub-systems that allow robust performance despite challenging perceptual conditions or partial system failures. The paper presents the integration of key components of our autonomous racecar, i.e., system design, EKF-based state estimation, LiDAR-based perception, and particle filter-based SLAM. We perform an extensive experimental evaluation on real-world data, demonstrating the system's effectiveness by outperforming the next-best ranking team by almost half the time required to finish a lap. The autonomous racecar reaches lateral and longitudinal accelerations comparable to those achieved by experienced human drivers.


title: Scheme for the protective measurement of a single photon using a tunable quantum Zeno effect

abstract: This paper presents a proof-of-principle scheme for the protective measurement of a single photon. In this scheme, the photon is looped arbitrarily many times through an optical stage that implements a weak measurement of a polarization observable followed by a strong measurement protecting the state. The ability of this scheme to realize a large number of such interaction-protection steps means that the uncertainty in the measurement result can be drastically reduced while maintaining a sufficient probability for the photon to survive the measurement.


title: An example of a new simple theory

abstract: We construct a countable simple theory which, in Keisler's order, is strictly above the random graph (but "barely so") and also in some sense orthogonal to the building blocks of the recently discovered infinite descending chain. As a result we prove in ZFC that there are incomparable classes in Keisler's order.


title: Structural break analysis for spectrum and trace of covariance operators?

abstract: This paper deals with analyzing structural breaks in the covariance operator of sequentially observed functional data. For this purpose, procedures are developed to segment an observed stretch of curves into periods for which second-order stationarity may be reasonably assumed. The proposed methods are based on measuring the fluctuations of sample eigenvalues, either individually or jointly, and traces of the sample covariance operator computed from segments of the data. To implement the tests, new limit results are introduced that deal with the large-sample behavior of vector-valued processes built from partial sample eigenvalue estimates. These results in turn enable the calibration of the tests to a prescribed asymptotic level. A simulation study and an application to Australian annual minimum temperature curves confirm that the proposed methods work well in finite samples. The application suggests that the variation in annual minimum temperature underwent a structural break in the 1950s, after which typical fluctuations from the generally increasing trendstarted to be significantly smaller.


title: Restructuring expression dags for efficient parallelization

abstract: In the field of robust geometric computation it is often necessary to make exact decisions based on inexact floating-point arithmetic. One common approach is to store the computation history in an arithmetic expression dag and to re-evaluate the expression with increasing precision until an exact decision can be made. We show that exact-decisions number types based on expression dags can be evaluated faster in practice through parallelization on multiple cores. We compare the impact of several restructuring methods for the expression dag on its running time in a parallel environment.


title: Efficient Graph-based Word Sense Induction by Distributional Inclusion Vector Embeddings

abstract: Word sense induction (WSI), which addresses polysemy by unsupervised discovery of multiple word senses, resolves ambiguities for downstream NLP tasks and also makes word representations more interpretable. This paper proposes an accurate and efficient graph-based method for WSI that builds a global non-negative vector embedding basis (which are interpretable like topics) and clusters the basis indexes in the ego network of each polysemous word. By adopting distributional inclusion vector embeddings as our basis formation model, we avoid the expensive step of nearest neighbor search that plagues other graph-based methods without sacrificing the quality of sense clusters. Experiments on three datasets show that our proposed method produces similar or better sense clusters and embeddings compared with previous state-of-the-art methods while being significantly more efficient.


title: Comparing Clinical Judgment with MySurgeryRisk Algorithm for Preoperative Risk Assessment: A Pilot Study

abstract: Background: Major postoperative complications are associated with increased short and long-term mortality, increased healthcare cost, and adverse long-term consequences. The large amount of data contained in the electronic health record (EHR) creates barriers for physicians to recognize patients most at risk. We hypothesize, if presented in an optimal format, information from data-driven predictive risk algorithms for postoperative complications can improve physician risk assessment. Methods: Prospective, non-randomized, interventional pilot study of twenty perioperative physicians at a quarterly academic medical center. Using 150 clinical cases we compared physicians' risk assessment before and after interaction with MySurgeryRisk, a validated machine-learning algorithm predicting preoperative risk for six major postoperative complications using EHR data. Results: The area under the curve (AUC) of MySurgeryRisk algorithm ranged between 0.73 and 0.85 and was significantly higher than physicians' risk assessments (AUC between 0.47 and 0.69) for all postoperative complications except cardiovascular complications. The AUC for repeated physician's risk assessment improved by 2% to 5% for all complications with the exception of thirty-day mortality. Physicians' risk assessment for acute kidney injury and intensive care unit admission longer than 48 hours significantly improved after knowledge exchange, resulting in net reclassification improvement of 12.4% and 16%, respectively. Conclusions: The validated MySurgeryRisk algorithm predicted postoperative complications with equal or higher accuracy than pilot cohort of physicians using available clinical preoperative data. The interaction with algorithm significantly improved physicians' risk assessment.


title: Generalized Kahler structures on group manifolds and T-duality

abstract: We study generalized Kahler structures on N = (2, 2) supersymmetric Wess-Zumino-Witten models; we use the well known case of SU(2) x U(1) as a toy model and develop tools that allow us to construct the superspace action and uncover the highly nontrivial structure of the hitherto unexplored case of SU(3); these tools should be useful for studying many other examples. We find that different generalized Kahler structures on N = (2, 2) supersymmetric Wess-Zumino-Witten models can be found by T-duality transformations along affine isometries.


title: A coupled CFD-FEA study of the sound generated in a stenosed artery and transmitted through tissue layers

abstract: A new computational approach for simulating the blood flow induced sound generation and propagation in a stenosed artery with one-sided constriction was investigated. This computational hemoacoustic method is based on mapping the transient pressure (force) fluctuations on the vessel wall and solving for the structural vibrations in frequency domain. These vibrations were detected as sound on the epidermal surface. The current hydro vibroacoustic method employs a two step, one way coupled approach for the sound generation in the flow domain and its propagation through the tissue layers. The results were validated by comparing with previous analytical and computational solutions. It was found that the bruits (generated from the flow around the stenosis) are related primarily to the time derivative of the integrated pressure force on the arterial wall downstream of the stenosis. Advantages of the methods used in the current study include: (a) capability of providing accurate solution with a faster solution time; (b) accurately capturing the break frequency of the velocity fluctuation measured on epidermal surface; (c) inclusion of the fluid structure interaction between blood flow and the arterial wall.


title: Juniper: A Tree+Table Approach to Multivariate Graph Visualization

abstract: Analyzing large, multivariate graphs is an important problem in many domains, yet such graphs are challenging to visualize. In this paper, we introduce a novel, scalable, tree+table multivariate graph visualization technique, which makes many tasks related to multivariate graph analysis easier to achieve. The core principle we follow is to selectively query for nodes or subgraphs of interest and visualize these subgraphs as a spanning tree of the graph. The tree is laid out linearly, which enables us to juxtapose the nodes with a table visualization where diverse attributes can be shown. We also use this table as an adjacency matrix, so that the resulting technique is a hybrid node-link/adjacency matrix technique. We implement this concept in Juniper and complement it with a set of interaction techniques that enable analysts to dynamically grow, restructure, and aggregate the tree, as well as change the layout or show paths between nodes. We demonstrate the utility of our tool in usage scenarios for different multivariate networks: a bipartite network of scholars, papers, and citation metrics and a multitype network of story characters, places, books, etc.


title: Correlation of Structure and Stress in Electroplated Thick Ni Films

abstract: Here we report the evolution of Ni stress in electroplated Ni films and investigate its origins as a function of electroplating time. First, low stress 200-nm-thick Ti / 200-nm thick Ni seed layers are deposited onto Si (100) wafers via electron-beam evaporator.Then, Ni films are electroplated onto the seeded Si (100) wafers in an All-Chloride bath. We observe that Ni grains nucleate prominently in the [111] direction aligning with Si[100]. Using optical curvature measurements, scanning electron microscopy (SEM), and X-ray diffraction (XRD) measurements, we quantify the electroplated Ni stress and investigate its evolution as a function of electroplated Ni thickness, grain size, crystal orientation, crystallite size, lattice spacing, and dislocation density. Particularly, when averaged electroplated Ni thickness was increased from 2.1 um to 5.9 um, Ni tensile stress reduced from 604.8+-137.9 MPa to 339.8+-74.7 MPa as (1) average Ni grain size increased by 40.9+-1.3 % (Ni lattice constant expanded by 0.19+-0.03 % in the [220] in-plane direction and shrunk by 0.22+-0.04 % along normal [111] direction), (2) Ni grain growth along Ni [110] was inhibited and that along Ni [100], [111], and [311] were promoted, (3) Ni crystallite size improved by 26.3+-6.2%, and (4) Ni dislocation density reduced by 42.7+-10.0%. Overall, Ni stress is shown to be strongly correlated with the Ni structure, which is a function of electroplating time, and both can be quantified through optical and structural characterization techniques.


title: Visualization Tool for Environmental Sensing and Public Health Data

abstract: To assist residents affected by oil and gas development, public health professionals in a non-profit organization have collected community data, including symptoms, air quality, and personal stories. However, the organization was unable to aggregate and visualize these data computationally. We present the Environmental Health Channel, an interactive web-based tool for visualizing environmental sensing and public health data. This tool enables discussing and disseminating scientific evidence to reveal local environmental and health impacts of industrial activities.


title: Stable and non-symmetric pitchfork bifurcations

abstract: In this paper, we present a criterion for pitchfork bifurcation of smooth vector fields based on a topological argument. Our result expands Rajapakse and Smale's result \cite{RS2} significantly. Based on our criterion, we present a class of families of non-symmetric vector fields undergoing a pitchfork bifurcation.


title: Singular Ricci flows II

abstract: We establish several quantitative results about singular Ricci flows, including estimates on the curvature and volume, and the set of singular times.


title: Exclusive vector meson production with leading neutrons in a saturation model for the dipole amplitude in mixed space

abstract: We investigate $\rho$ vector meson production in $ep$ collisions at HERA with leading neutrons in the dipole formalism. The interaction of the dipole and the pion is described in a mixed-space approach, in which the dipole-pion scattering amplitude is given by the Marquet-Peschanski-Soyez saturation model, which is based on the travelling wave solutions of the nonlinear Balitsky-Kovchegov equation. We estimate the magnitude of the absorption effects and compare our results with a previous analysis of the same process in full coordinate space. In contrast with this approach, the present study leads to absorption $K$ factors in the range of those predicted by previous theoretical studies on semi-inclusive processes.


title: In Defense of a "Single-World" Interpretation of Quantum Mechanics

abstract: In a recent result, Frauchiger and Renner argue that if quantum theory accurately describes complex systems like observers who perform measurements, then "we are forced to give up the view that there is one single reality." Following a review of the Frauchiger-Renner argument, I argue that quantum mechanics should be understood probabilistically, as a new sort of non-Boolean probability theory, rather than representationally, as a theory about the elementary constituents of the physical world and how these elements evolve dynamically over time. I show that this way of understanding quantum mechanics is not in conflict with a consistent "single-world" interpretation of the theory.


title: Magnetically Charged Calorons with Non-Trivial Holonomy

abstract: Instantons in pure Yang-Mills theories on partially periodic space $\mathbb{R}^3\times S^1$ are usually called calorons. The background periodicity brings on characteristic features of calorons such as non-trivial holonomy, which plays an essential role for confinement/deconfinement transition in pure Yang-Mills gauge theory. For the case of gauge group $SU(2)$, calorons can be interpreted as composite objects of two constituent "monopoles" with opposite magnetic charges. There are often the cases that the two monopole charges are unbalanced so that the calorons possess net magnetic charge in $\mathbb{R}^3$. In this paper, we consider several mechanism how such net magnetic charges appear for certain types of calorons through the ADHM/Nahm construction with explicit examples. In particular, we construct analytically the gauge configuration of the $(2,1)$-caloron with $U(1)$-symmetry, which has intrinsically magnetic charge.


title: Characterising information-theoretic storage and transfer in continuous time processes

abstract: The characterisation of information processing is an important task in complex systems science. Information dynamics is a quantitative methodology for modelling the intrinsic information processing conducted by a process represented as a time series, but to date has only been formulated in discrete time. Building on previous work which demonstrated how to formulate transfer entropy in continuous time, we give a total account of information processing in this setting, incorporating information storage. We find that a convergent rate of predictive capacity, comprised of the transfer entropy and active information storage, does not exist, arising through divergent rates of active information storage. We identify that active information storage can be decomposed into two separate quantities that characterise predictive capacity stored in a process: active memory utilisation and instantaneous predictive capacity. The latter involves prediction related to path regularity and so solely inherits the divergent properties of the active information storage, whilst the former permits definitions of pathwise and rate quantities. We formulate measures of memory utilisation for jump and neural spiking processes and illustrate measures of information processing in synthetic neural spiking models and coupled Ornstein-Uhlenbeck models. The application to synthetic neural spiking models demonstrates that active memory utilisation for point processes consists of discontinuous jump contributions (at spikes) interrupting a continuously varying contribution (relating to waiting times between spikes), complementing the behaviour previously demonstrated for transfer entropy in these processes.


title: Towards Deep Cellular Phenotyping in Placental Histology

abstract: The placenta is a complex organ, playing multiple roles during fetal development. Very little is known about the association between placental morphological abnormalities and fetal physiology. In this work, we present an open sourced, computationally tractable deep learning pipeline to analyse placenta histology at the level of the cell. By utilising two deep Convolutional Neural Network architectures and transfer learning, we can robustly localise and classify placental cells within five classes with an accuracy of 89%. Furthermore, we learn deep embeddings encoding phenotypic knowledge that is capable of both stratifying five distinct cell populations and learn intraclass phenotypic variance. We envisage that the automation of this pipeline to population scale studies of placenta histology has the potential to improve our understanding of basic cellular placental biology and its variations, particularly its role in predicting adverse birth outcomes.


title: Better bounds for poset dimension and boxicity

abstract: We prove that the dimension of every poset whose comparability graph has maximum degree $\Delta$ is at most $\Delta\log^{1+o(1)} \Delta$. This result improves on a 30-year old bound of F\"uredi and Kahn, and is within a $\log^{o(1)}\Delta$ factor of optimal. We prove this result via the notion of boxicity. The "boxicity" of a graph $G$ is the minimum integer $d$ such that $G$ is the intersection graph of $d$-dimensional axis-aligned boxes. We prove that every graph with maximum degree $\Delta$ has boxicity at most $\Delta\log^{1+o(1)} \Delta$, which is also within a $\log^{o(1)}\Delta$ factor of optimal. We also show that the maximum boxicity of graphs with Euler genus $g$ is $\Theta(\sqrt{g \log g})$, which solves an open problem of Esperet and Joret and is tight up to a $O(1)$ factor.


title: Parameter estimation with data-driven nonparametric likelihood functions

abstract: In this paper, we consider a surrogate modeling approach using a data-driven nonparametric likelihood function constructed on a manifold on which the data lie (or to which they are close). The proposed method represents the likelihood function using a spectral expansion formulation known as the kernel embedding of the conditional distribution. To respect the geometry of the data, we employ this spectral expansion using a set of data-driven basis functions obtained from the diffusion maps algorithm. The theoretical error estimate suggests that the error bound of the approximate data-driven likelihood function is independent of the variance of the basis functions, which allows us to determine the amount of training data for accurate likelihood function estimations. Supporting numerical results to demonstrate the robustness of the data-driven likelihood functions for parameter estimation are given on instructive examples involving stochastic and deterministic differential equations. When the dimension of the data manifold is strictly less than the dimension of the ambient space, we found that the proposed approach (which does not require the knowledge of the data manifold) is superior compared to likelihood functions constructed using standard parametric basis functions defined on the ambient coordinates. In an example where the data manifold is not smooth and unknown, the proposed method is more robust compared to an existing polynomial chaos surrogate model which assumes a parametric likelihood, the non-intrusive spectral projection.


title: On the Supermodularity of Active Graph-based Semi-supervised Learning with Stieltjes Matrix Regularization

abstract: Active graph-based semi-supervised learning (AG-SSL) aims to select a small set of labeled examples and utilize their graph-based relation to other unlabeled examples to aid in machine learning tasks. It is also closely related to the sampling theory in graph signal processing. In this paper, we revisit the original formulation of graph-based SSL and prove the supermodularity of an AG-SSL objective function under a broad class of regularization functions parameterized by Stieltjes matrices. Under this setting, supermodularity yields a novel greedy label sampling algorithm with guaranteed performance relative to the optimal sampling set. Compared to three state-of-the-art graph signal sampling and recovery methods on two real-life community detection datasets, the proposed AG-SSL method attains superior classification accuracy given limited sample budgets.


title: Efficient Predictor Ranking and False Discovery Proportion Control in High-Dimensional Regression

abstract: We propose a ranking and selection procedure to prioritize relevant predictors and control false discovery proportion (FDP) of variable selection. Our procedure utilizes a new ranking method built upon the de-sparsified Lasso estimator. We show that the new ranking method achieves the optimal order of minimum non-zero effects in ranking relevant predictors ahead of irrelevant ones. Adopting the new ranking method, we develop a variable selection procedure to asymptotically control FDP at a user-specified level. We show that our procedure can consistently estimate the FDP of variable selection as long as the de-sparsified Lasso estimator is asymptotically normal. In numerical analyses, our procedure compares favorably to existing methods in ranking efficiency and FDP control when the regression model is relatively sparse.


title: Developments in Topological Gravity

abstract: This note aims to provide an entr\'ee to two developments in two-dimensional topological gravity -- that is, intersection theory on the moduli space of Riemann surfaces -- that have not yet become well-known among physicists. A little over a decade ago, Mirzakhani discovered \cite{M1,M2} an elegant new proof of the formulas that result from the relationship between topological gravity and matrix models of two-dimensional gravity. Here we will give a very partial introduction to that work, which hopefully will also serve as a modest tribute to the memory of a brilliant mathematical pioneer. More recently, Pandharipande, Solomon, and Tessler \cite{PST} (with further developments in \cite{Tes,BT,STa}) generalized intersection theory on moduli space to the case of Riemann surfaces with boundary, leading to generalizations of the familiar KdV and Virasoro formulas. Though the existence of such a generalization appears natural from the matrix model viewpoint -- it corresponds to adding vector degrees of freedom to the matrix model -- constructing this generalization is not straightforward. We will give some idea of the unexpected way that the difficulties were resolved.


title: Holographic RG Flows for Four-dimensional $\mathcal{N}=2$ SCFTs

abstract: We study holographic renormalization group flows from four-dimensional $\mathcal{N}=2$ SCFTs to either $\mathcal{N}=2$ or $\mathcal{N}=1$ SCFTs. Our approach is based on the framework of five-dimensional half-maximal supergravity with general gauging, which we use to study domain wall solutions interpolating between different supersymmetric AdS$_5$ vacua. We show that a holographic RG flow connecting two $\mathcal{N}=2$ SCFTs is only possible if the flavor symmetry of the UV theory admits an ${\rm SO}(3)$ subgroup. In this case the ratio of the IR and UV central charges satisfies a universal relation which we also establish in field theory. In addition we provide several general examples of holographic flows from $\mathcal{N}=2$ to $\mathcal{N}=1$ SCFTs and relate the ratio of the UV and IR central charges to the conformal dimension of the operator triggering the flow. Instrumental to our analysis is a derivation of the general conditions for AdS vacua preserving eight supercharges as well as for domain wall solutions preserving eight Poincare supercharges in half-maximal supergravity.


title: Identifiability for graphexes and the weak kernel metric

abstract: In two recent papers by Veitch and Roy and by Borgs, Chayes, Cohn, and Holden, a new class of sparse random graph processes based on the concept of graphexes over $\sigma$-finite measure spaces has been introduced. In this paper, we introduce a metric for graphexes that generalizes the cut metric for the graphons of the dense theory of graph convergence. We show that a sequence of graphexes converges in this metric if and only if the sequence of graph processes generated by the graphexes converges in distribution. In the course of the proof, we establish a regularity lemma and determine which sets of graphexes are precompact under our metric. Finally, we establish an identifiability theorem, characterizing when two graphexes are equivalent in the sense that they lead to the same process of random graphs.


title: Spin-orbit coupling induced quantum droplet in ultracold Bose-Fermi mixtures

abstract: Quantum droplets have intrigued much attention recently in view of their successful observations in the ultracold homonuclear atoms. In this work, we demonstrate a new mechanism for the formation of quantum droplet in heteronuclear atomic systems, i.e., by applying the synthetic spin-orbit coupling(SOC). Take the Bose-Fermi mixture for example, we show that by imposing a Rashba SOC between the spin states of fermions, the greatly suppressed Fermi pressure can enable the formation of Bose-Fermi droplets even for very weak boson-fermion attractions, which are insufficient to bound a droplet if without SOC. In such SOC-induced quantum droplets, the boson/fermion density ratio universally depends on the SOC strength, and they occur in the mean-field collapsing regime but with a negative fluctuation energy, distinct from the interaction-induced droplets found in literature. The accessibility of these Bose-Fermi droplets in ultracold Cs-Li and Rb-K mixtures is also discussed. Our results shed light on the droplet formation in a vast class of heteronuclear atomic systems through the manipulation of single-particle physics.


title: Gauge-independent Brout-Englert-Higgs mechanism and Yang-Mills theory with a gauge-invariant gluon mass term

abstract: For the Yang-Mills theory coupled to a single scalar field in the fundamental representation of the gauge group, we present a gauge-independent description of the Brout-Englert-Higgs mechanism by which massless gauge bosons acquire their mass. The new description should be compared with the conventional gauge-dependent description relying on the spontaneous gauge symmetry breaking due to a choice of the non-vanishing vacuum expectation value of the scalar field. In this paper we focus our consideration on the fundamental scalar field which extends the previous work done for the Yang-Mills theory with an adjoint scalar field. Moreover, we show that the Yang-Mills theory with a gauge-invariant mass term is obtained from the corresponding gauge-scalar model when the radial degree of freedom (length) of the scalar field is fixed. The result obtained in this paper is regarded as a continuum realization of the Fradkin-Shenker continuity and Osterwalder-Seiler theorem for the complementarity between Higgs regime and Confinement regime which was given in the gauge-invariant framework of the lattice gauge theory. Moreover, we discuss how confinement is investigated through the gauge-independent Brout-Englert-Higgs mechanism by starting with the complementary gauge-scalar model.


title: A Deep Active Survival Analysis Approach for Precision Treatment Recommendations: Application of Prostate Cancer

abstract: Survival analysis has been developed and applied in the number of areas including manufacturing, finance, economics and healthcare. In healthcare domain, usually clinical data are high-dimensional, sparse and complex and sometimes there exists few amount of time-to-event (labeled) instances. Therefore building an accurate survival model from electronic health records is challenging. With this motivation, we address this issue and provide a new survival analysis framework using deep learning and active learning with a novel sampling strategy. First, our approach provides better representation with lower dimensions from clinical features using labeled (time-to-event) and unlabeled (censored) instances and then actively trains the survival model by labeling the censored data using an oracle. As a clinical assistive tool, we introduce a simple effective treatment recommendation approach based on our survival model. In the experimental study, we apply our approach on SEER-Medicare data related to prostate cancer among African-Americans and white patients. The results indicate that our approach outperforms significantly than baseline models.


title: Recurrent Neural Networks for Person Re-identification Revisited

abstract: The task of person re-identification has recently received rising attention due to the high performance achieved by new methods based on deep learning. In particular, in the context of video-based re-identification, many state-of-the-art works have explored the use of Recurrent Neural Networks (RNNs) to process input sequences. In this work, we revisit this tool by deriving an approximation which reveals the small effect of recurrent connections, leading to a much simpler feed-forward architecture. Using the same parameters as the recurrent version, our proposed feed-forward architecture obtains very similar accuracy. More importantly, our model can be combined with a new training process to significantly improve re-identification performance. Our experiments demonstrate that the proposed models converge substantially faster than recurrent ones, with accuracy improvements by up to 5% on two datasets. The performance achieved is better or on par with other RNN-based person re-identification techniques.


title: Segmentation of Multiple Sclerosis lesion in brain MR images using Fuzzy C-Means

abstract: Magnetic resonance images (MRI) play an important role in supporting and substituting clinical information in the diagnosis of multiple sclerosis (MS) disease by presenting lesion in brain MR images. In this paper, an algorithm for MS lesion segmentation from Brain MR Images has been presented. We revisit the modification of properties of fuzzy -c means algorithms and the canny edge detection. By changing and reformed fuzzy c-means clustering algorithms, and applying canny contraction principle, a relationship between MS lesions and edge detection is established. For the special case of FCM, we derive a sufficient condition and clustering parameters, allowing identification of them as (local) minima of the objective function.


title: Radiation Pressure Quantization

abstract: Kepler's observation of comets tails initiated the research on the radiation pressure of celestial objects and 250 years later they found new incarnation after the Maxwell's equations were formulated to describe a plethora of light-matter coupling phenomena. Further, quantum mechanics gave birth to the photon drag effect. Here, we predict a novel universal phenomenon which can be referred to as quantization of the radiation pressure. We develop a microscopic theory of this effect which can be applied to a general system containing Bose-Einstein-condensed particles, which possess an internal structure of quantum states. By analyzing the response of the system to an external electromagnetic field we find that such drag results in a flux of particles constituting both the condensate and the excited states. We show that in the presence of the condensed phase, the response of the system becomes quantized which manifests itself in a step-like behavior of the particle flux as a function of electromagnetic field frequency with the elementary quantum determined by the internal energy structure of the particles.


title: Echo-Liquid State Deep Learning for $360^\circ$ Content Transmission and Caching in Wireless VR Networks with Cellular-Connected UAVs

abstract: In this paper, the problem of content caching and transmission is studied for a wireless virtual reality (VR) network in which unmanned aerial vehicles (UAVs) capture videos on live games or sceneries and transmit them to small base stations (SBSs) that service the VR users. However, due to its limited capacity, the wireless network may not be able to meet the delay requirements of such 360 content transmissions. To meet the VR delay requirements, the UAVs can extract specific visible content (e.g., user field of view) from the original 360 data and send this visible content to the users so as to reduce the traffic load over backhaul and radio access links. To further alleviate the UAV-SBS backhaul traffic, the SBSs can also cache the popular contents that users request. This joint content caching and transmission problem is formulated as an optimization problem whose goal is to maximize the users' reliability, defined as the probability that the content transmission delay of each user satisfies the instantaneous VR delay target. To address this problem, a distributed deep learning algorithm that brings together new neural network ideas from liquid state machine (LSM) and echo state networks (ESNs) is proposed. The proposed algorithm enables each SBS to predict the users' reliability so as to find the optimal contents to cache and content transmission format for each UAV. Analytical results are derived to expose the various network factors that impact content caching and content transmission format selection. Simulation results show that the proposed algorithm yields 25.4% gain of reliability compared to Q-learning. The results also show that the proposed algorithm can achieve 14.7% gain of reliability due to the reduction of traffic load over backhaul compared to the proposed algorithm with random caching.


title: LLL and stochastic sandpile models

abstract: Theaimofthepresentpaperistosuggestthatstatisticalphysicsprovides the correct language to understand the practical behavior of the LLL algorithm, most of which are left unexplained to this day. To this end, we propose sandpile models that imitate LLL with compelling accuracy, and prove for these models some of the most desired statements regarding LLL. We also formulate a few conjectures that formally capture our heuristics and would serve as milestones for further development of the theory.


title: On the Robustness of the CVPR 2018 White-Box Adversarial Example Defenses

abstract: Neural networks are known to be vulnerable to adversarial examples. In this note, we evaluate the two white-box defenses that appeared at CVPR 2018 and find they are ineffective: when applying existing techniques, we can reduce the accuracy of the defended models to 0%.


title: Understanding Humans in Crowded Scenes: Deep Nested Adversarial Learning and A New Benchmark for Multi-Human Parsing

abstract: Despite the noticeable progress in perceptual tasks like detection, instance segmentation and human parsing, computers still perform unsatisfactorily on visually understanding humans in crowded scenes, such as group behavior analysis, person re-identification and autonomous driving, etc. To this end, models need to comprehensively perceive the semantic information and the differences between instances in a multi-human image, which is recently defined as the multi-human parsing task. In this paper, we present a new large-scale database "Multi-Human Parsing (MHP)" for algorithm development and evaluation, and advances the state-of-the-art in understanding humans in crowded scenes. MHP contains 25,403 elaborately annotated images with 58 fine-grained semantic category labels, involving 2-26 persons per image and captured in real-world scenes from various viewpoints, poses, occlusion, interactions and background. We further propose a novel deep Nested Adversarial Network (NAN) model for multi-human parsing. NAN consists of three Generative Adversarial Network (GAN)-like sub-nets, respectively performing semantic saliency prediction, instance-agnostic parsing and instance-aware clustering. These sub-nets form a nested structure and are carefully designed to learn jointly in an end-to-end way. NAN consistently outperforms existing state-of-the-art solutions on our MHP and several other datasets, and serves as a strong baseline to drive the future research for multi-human parsing.


title: Enabling a Pepper Robot to provide Automated and Interactive Tours of a Robotics Laboratory

abstract: The Pepper robot has become a widely recognised face for the perceived potential of social robots to enter our homes and businesses. However, to date, commercial and research applications of the Pepper have been largely restricted to roles in which the robot is able to remain stationary. This restriction is the result of a number of technical limitations, including limited sensing capabilities, and have as a result, reduced the number of roles in which use of the robot can be explored. In this paper, we present our approach to solving these problems, with the intention of opening up new research applications for the robot. To demonstrate the applicability of our approach, we have framed this work within the context of providing interactive tours of an open-plan robotics laboratory.


title: Planning Multi-Fingered Grasps as Probabilistic Inference in a Learned Deep Network

abstract: We propose a novel approach to multi-fingered grasp planning leveraging learned deep neural network models. We train a convolutional neural network to predict grasp success as a function of both visual information of an object and grasp configuration. We can then formulate grasp planning as inferring the grasp configuration which maximizes the probability of grasp success. We efficiently perform this inference using a gradient-ascent optimization inside the neural network using the backpropagation algorithm. Our work is the first to directly plan high quality multifingered grasps in configuration space using a deep neural network without the need of an external planner. We validate our inference method performing both multifinger and two-finger grasps on real robots. Our experimental results show that our planning method outperforms existing planning methods for neural networks; while offering several other benefits including being data-efficient in learning and fast enough to be deployed in real robotic applications.


title: A derivation of the Black-Scholes option pricing model using a central limit theorem argument

abstract: The Black-Scholes model (sometimes known as the Black-Scholes-Merton model) gives a theoretical estimate for the price of European options. The price evolution under this model is described by the Black-Scholes formula, one of the most well-known formulas in mathematical finance. For their discovery, Merton and Scholes have been awarded the 1997 Nobel prize in Economics. The standard method of deriving the Black-Scholes European call option pricing formula involves stochastic differential equations. This approach is out of reach for most students learning the model for the first time. We provide an alternate derivation using the Lindeberg-Feller central limit theorem under suitable assumptions. Our approach is elementary and can be understood by undergraduates taking a standard undergraduate course in probability.


title: Amorphous complexions enable a new region of high temperature stability in nanocrystalline Ni-W

abstract: Solute segregation is used to limit grain growth in nanocrystalline metals, but this stabilization often breaks down at high temperatures. Amorphous intergranular films can form in certain alloys at sufficiently high temperatures, providing a possible alternative route to lower grain boundary energy and therefore limit grain growth. In this study, nanocrystalline Ni-W that is annealed at temperatures of 1000 {\deg}C and above, then rapidly quenched, is found to contain amorphous intergranular films. These complexions lead to a new, unexpected region of nanocrystalline stability at elevated temperatures.


title: Gromov-Witten Invariants of Local P^2 and Modular Forms

abstract: We construct a sheaf of Fock spaces over the moduli space of elliptic curves E_y with Gamma_1(3)-level structure, arising from geometric quantization of H^1(E_y), and a global section of this Fock sheaf. The global section coincides, near appropriate limit points, with the Gromov-Witten potentials of local P^2 and of the orbifold C^3/mu_3. This proves that the Gromov-Witten potentials of local P^2 are quasi-modular functions for the group Gamma_1(3), as predicted by Aganagic-Bouchard-Klemm, and proves the Crepant Resolution Conjecture for [C^3/mu_3] in all genera.