title: Algebra and Hilbert space structures induced by quantum probes

abstract: In the general setting of quantum controls, it is unrealistic to control all of the degrees of freedom of a quantum system. We consider a scenario where our direct access is restricted to a small subsystem $S$ that is constantly interacting with the rest of the system $E$. What we investigate here is the fundamental structure of the Hilbert space that is caused solely by the restrictedness of the direct control. We clarify the intrinsic space structure of the entire system and that of the operations which could be activated through $S$. The structures hereby revealed would help us make quantum control problems more transparent and provide a guide for understanding what we can implement. They can be deduced by considering an algebraic structure, which is the Jordan algebra formed from Hermitian operators, naturally induced by the setting of limited access. From a few very simple assumptions about direct operations, we elucidate rich structures of the operator algebras and Hilbert spaces that manifest themselves in quantum control scenarios.


title: MIMO Over-the-Air Computation for High-Mobility Multi-Modal Sensing

abstract: In future Internet-of-Things networks, sensors or even access points can be mounted on ground/aerial vehicles for smart-city surveillance or environment monitoring. To support the high-mobility sensing with low network latency, a technique called over-the-air-computation (AirComp) was recently developed which enables an access-point to receive a desired function of sensing-data from concurrent-transmissions by exploiting the superposition property of a multi-access-channel. This work aims at further developing AirComp for next-generation multi-antenna multi-modal sensor networks. Specifically, we design beamforming and channel-feedback techniques for multi-function AirComp. Given the objective of minimizing sum-mean-squared-error of computed functions, the optimization of receive-beamforming for multi-function AirComp is a NP-hard problem. The approximate problem based on tightening transmission-power constraints, however, is shown to be solvable using differential-geometry. The solution is proved to be the weighted-centroid of points on a Grassmann-manifold, where each point represents the subspace spanned by the channel matrix of a sensor. As a by-product, the beamforming problem is found to have the same form as the classic problem of multicast-beamforming, establishing the AirComp-multicasting-duality. Its significance lies in making the said Grassmannian-centroid solution transferable to the latter problem which otherwise is solved using the computation-intensive semidefinite-relaxation-technique. Last, building on the AirComp-beamforming solution, an efficient channel-feedback technique is designed for an access-point to receive the beamformer from distributed sensor transmissions of designed signals that are functions of local channel-state-information.


title: Incentive Design in a Distributed Problem with Strategic Agents

abstract: In this paper, we consider a general distributed system with multiple agents who select and then implement actions in the system. The system has an operator with a centralized objective. The agents, on the other hand, are selfinterested and strategic in the sense that each agent optimizes its own individual objective. The operator aims to mitigate this misalignment by designing an incentive scheme for the agents. The problem is difficult due to the cost functions of the agents being coupled, the objective of the operator not being social welfare, and the operator having no direct control over actions being implemented by the agents. This problem has been studied in many fields, particularly in mechanism design and cost allocation. However, mechanism design typically assumes that the operator has knowledge of the cost functions of the agents and the actions being implemented by the operator. On the other hand, cost allocation classically assumes that agents do not anticipate the effect of their actions on the incentive that they obtain. We remove these assumptions and present an incentive rule for this setup by bridging the gap between mechanism design and classical cost allocation. We analyze whether the proposed design satisfies various desirable properties such as social optimality, budget balance, participation constraint, and so on. We also analyze which of these properties can be satisfied if the assumptions of cost functions of the agents being private and the agents being anticipatory are relaxed.


title: Novel Fourier Quadrature Transforms and Analytic Signal Representations for Nonlinear and Non-stationary Time Series Analysis

abstract: The Hilbert transform (HT) and associated Gabor analytic signal (GAS) representation are well-known and widely used mathematical formulations for modeling and analysis of signals in various applications. In this study, like the HT, to obtain quadrature component of a signal, we propose the novel discrete Fourier cosine quadrature transforms (FCQTs) and discrete Fourier sine quadrature transforms (FSQTs), designated as Fourier quadrature transforms (FQTs). Using these FQTs, we propose sixteen Fourier-Singh analytic signal (FSAS) representations with following properties: (1) real part of eight FSAS representations is the original signal and imaginary part is the FCQT of the real part, (2) imaginary part of eight FSAS representations is the original signal and real part is the FSQT of the real part, (3) like the GAS, Fourier spectrum of the all FSAS representations has only positive frequencies, however unlike the GAS, the real and imaginary parts of the proposed FSAS representations are not orthogonal to each other. The Fourier decomposition method (FDM) is an adaptive data analysis approach to decompose a signal into a set of small number of Fourier intrinsic band functions which are AM-FM components. This study also proposes a new formulation of the FDM using the discrete cosine transform (DCT) with the GAS and FSAS representations, and demonstrate its efficacy for improved time-frequency-energy representation and analysis of nonlinear and non-stationary time series.


title: Notes on computational-to-statistical gaps: predictions using statistical physics

abstract: In these notes we describe heuristics to predict computational-to-statistical gaps in certain statistical problems. These are regimes in which the underlying statistical problem is information-theoretically possible although no efficient algorithm exists, rendering the problem essentially unsolvable for large instances. The methods we describe here are based on mature, albeit non-rigorous, tools from statistical physics. These notes are based on a lecture series given by the authors at the Courant Institute of Mathematical Sciences in New York City, on May 16th, 2017.


title: Search for high-mass resonances in final states with a lepton and missing transverse momentum at $\sqrt{s}=$ 13 TeV

abstract: A search for new high-mass resonances in proton-proton collisions having final states with an electron or muon and missing transverse momentum is presented. The analysis uses proton-proton collision data collected in 2016 with the CMS detector at the LHC at a center-of-mass energy of 13 TeV, corresponding to an integrated luminosity of 35.9 fb$^{-1}$. The transverse mass distribution of the charged lepton-neutrino system is used as the discriminating variable. No significant deviation from the standard model prediction is found. The best limit, from the combination of electron and muon channels, is 5.2 TeV at 95% confidence level for the mass of a W$'$ boson with the same couplings as those of the standard model W boson. Exclusion limits of 2.9 TeV are set on the inverse radius of the extra dimension in the framework of split universal extra dimensions. In addition, model-independent limits are set on the production cross section and coupling strength of W$'$ bosons decaying into this final state. An interpretation is also made in the context of an R parity violating supersymmetric model with a slepton as a mediator and flavor violating decay.


title: Capturing Polynomial Time using Modular Decomposition

abstract: The question of whether there is a logic that captures polynomial time is one of the main open problems in descriptive complexity theory and database theory. In 2010 Grohe showed that fixed point logic with counting captures polynomial time on all classes of graphs with excluded minors. We now consider classes of graphs with excluded induced subgraphs. For such graph classes, an effective graph decomposition, called modular decomposition, was introduced by Gallai in 1976. The graphs that are non-decomposable with respect to modular decomposition are called prime. We present a tool, the Modular Decomposition Theorem, that reduces (definable) canonization of a graph class C to (definable) canonization of the class of prime graphs of C that are colored with binary relations on a linearly ordered set. By an application of the Modular Decomposition Theorem, we show that fixed point logic with counting captures polynomial time on the class of permutation graphs. Within the proof of the Modular Decomposition Theorem, we show that the modular decomposition of a graph is definable in symmetric transitive closure logic with counting. We obtain that the modular decomposition tree is computable in logarithmic space. It follows that cograph recognition and cograph canonization is computable in logarithmic space.


title: Charged-to-neutral meson yield ratio at $\psi(3770)$ and $\Upsilon(4S)$ revisited

abstract: The recent precision measurement of the relative yield of $D^+D^-$ and $D^0 \bar D^0$ meson pairs at the $\psi(3770)$ peak in $e^+e^-$ annihilation is about 3.7 sigma away from a straightforward theoretical estimate. It is argued that combined with an even more significant deviation of similar ratio for the $B$ mesons at the $\Upsilon(4S)$ peak, this provides an insight into the structure of heavy mesons and requires both a form factor, corresponding to their finite `size', and a strong interaction between the mesons mesons in the isovector state $I^G(J^P) = 1^+(1^-)$. It is also argued that the data for the $D$ and $B$ mesons are possibly compatible with the heavy quark limit of the same meson-antimeson strong interaction in both systems.


title: Conformal Prediction in Learning Under Privileged Information Paradigm with Applications in Drug Discovery

abstract: This paper explores conformal prediction in the learning under privileged information (LUPI) paradigm. We use the SVM+ realization of LUPI in an inductive conformal predictor, and apply it to the MNIST benchmark dataset and three datasets in drug discovery. The results show that using privileged information produces valid models and improves efficiency compared to standard SVM, however the improvement varies between the tested datasets and is not substantial in the drug discovery applications. More importantly, using SVM+ in a conformal prediction framework enables valid prediction intervals at specified significance levels.


title: Online Barycenter Estimation of Large Weighted Graphs

abstract: In this paper, we propose a new method to compute the barycenter of large weighted graphs endowed with probability measures on their nodes. We suppose that the edge weights are distances between the nodes and that the probability measure on the nodes is related to events observed there. For instance, a graph can represent a subway network: its edge weights are the distance between two stations, and the observed events at each node are the subway users getting in or leaving the subway network at this station. The probability measure on the nodes does not need to be explicitly known. Our strategy only uses observed node related events to give more or less emphasis to the different nodes. Furthermore, the barycenter estimation can be updated in real time with each new event. We propose a multiscale extension of \cite{arXiv:1605.04148} where the decribed strategy is valid only for medium-sized graphs due to memory costs. Our multiscale approach is inspired from the geometrical decomposition of the barycenter in a Euclidean space: we apply a heuristic \textit{divide et impera} strategy based on a preliminary clustering. Our strategy is finally assessed on road- and social-networks of up to $10^6$ nodes. We show that its results compare well with \cite{arXiv:1605.04148} in terms of accuracy and stability on small graphs, and that it can additionally be used on large graphs even on standard laptops.


title: Colorless green recurrent networks dream hierarchically

abstract: Recurrent neural networks (RNNs) have achieved impressive results in a variety of linguistic processing tasks, suggesting that they can induce non-trivial properties of language. We investigate here to what extent RNNs learn to track abstract hierarchical syntactic structure. We test whether RNNs trained with a generic language modeling objective in four languages (Italian, English, Hebrew, Russian) can predict long-distance number agreement in various constructions. We include in our evaluation nonsensical sentences where RNNs cannot rely on semantic or lexical cues ("The colorless green ideas I ate with the chair sleep furiously"), and, for Italian, we compare model performance to human intuitions. Our language-model-trained RNNs make reliable predictions about long-distance agreement, and do not lag much behind human performance. We thus bring support to the hypothesis that RNNs are not just shallow-pattern extractors, but they also acquire deeper grammatical competence.


title: Sequential Product Spaces are Jordan Algebras

abstract: We show that finite-dimensional order unit spaces equipped with a continuous sequential product as defined by Gudder and Greechie are homogeneous and self-dual. As a consequence of the Koecher-Vinberg theorem these spaces therefore correspond to Euclidean Jordan algebras. We remark on the significance of this result in the context of reconstructions of quantum theory. In particular, we show that sequential product spaces must be C*-algebras when their vector space tensor product is also a sequential product space (in the parlance of operational theories, when the space `allows a local composite'). We also show that sequential product spaces in infinite dimension correspond to JB-algebras when a few additional conditions are satisfied. Finally, we remark on how changing the axioms of the sequential product might lead to a new characterisation of homogeneous cones.


title: Abundance of HCN and its C and N isotopologues in L1498

abstract: The isotopic ratio of nitrogen in nearby protoplanetary disks, recently measured in CN and HCN, indicates that a fractionated reservoir of nitrogen is available at the stage of comet formation. This reservoir presents a 3:1 enrichment in 15N relative to the elemental ratio of 330, identical to that between comets and the sun, suggesting that similar processes are responsible for the fractionation in the protosolar nebula (PSN) and in PSN analogs. However, how the fractionation of nitrogen takes place is an open question. Previously obtained HCN/HC15N abundance ratios suggest that HCN may be enriched in 15N in prestellar cores, although doubts remain on these measurements, which rely on the double-isotopologue method. Here we present direct measurements of the HCN/H13CN and HCN/HC15N abundance ratios in the L1498 prestellar core based on spatially resolved spectra of HCN(1-0), (3-2), H13CN(1-0), and HC15N(1-0). We use state-of-the-art radiative transfer calculations using ALICO, a 1D radiative transfer code capable of treating hyperfine (hf) overlaps. From an analysis of dust emission maps of L1498, we derive a new physical structure. We also use new, high-accuracy HCN-H2 hf collisional rates, which enable us to quantitatively reproduce all the features of the HCN(1-0) and HCN(3-2) spectra, especially the anomalous hf line ratios. Special attention is devoted to derive meaningful uncertainties on the abundance ratios. The obtained values, HCN/H13CN=45(3) and HCN/HC15N=338(28), indicate that carbon is fractionated in HCN, but nitrogen is not. For the HCN/HC15N abundance ratio, our study validates to some extent analyses based on the single excitation temperature assumption. Comparisons with other measurements suggest significant core-to-core variability. Furthermore, the 13C enrichment we found in HCN could explain the superfractionation of nitrogen measured in solar system chondrites.


title: Domain Wall and Three Dimensional Duality

abstract: We discuss 1/2 BPS domain walls in the 3d $\mathcal N=4$ supersymmetric gauge theory which is self-dual under the 3d mirror symmetry. We find that if a BF-type coupling is introduced, invariance of the BPS domain wall under the duality transformation can be explicitly seen from the classical BPS equations. It has been known that particles and vortices are swapped under the 3d duality transformations. We show that Noether charges and vortex topological charges localized on the domain walls are correctly exchanged under the 3d mirror symmetry.


title: Lifting map for ordered surfaces

abstract: When a material surface is functionalized so as to acquire some type of order, functionalization of which soft condensed matter systems have recently provided many interesting examples, the modeller faces an alternative. Either the order is described on the curved, physical surface where it belongs, or it is described on a flat surface that is unrolled as pre-image of the physical surface under a suitable height function. This paper proposes a general method that pursues the latter avenue by lifting whatever order tensor is deemed appropriate from a flat to a curved surface. To produce a specific application, we specialize this method to nematic shells, for which it also provides a simple, but convincing interpretation of the outcomes of some molecular-dynamics experiments on ellipsoidal shells.


title: Quantum Approach to Dehn Surgery Problem

abstract: We propose a new algorithm for Dehn surgery problem, finding exceptional Dehn filling slopes for a given hyperbolic 3-manifold with a torus boundary, using a quantum invariant called "3D index". The invariant is defined using an ideal triangulation of the cusped 3-manifold. We test the algorithm for many examples.


title: Operadic semi-infinite homology

abstract: We propose the notion of semi-infinite homology for algebras over operads using the relative homology theory for operadic algebras.


title: Search for Higgs boson decays into pairs of light (pseudo)scalar particles in the $\gamma\gamma jj$ final state in $pp$ collisions at $\sqrt{s}=13$ TeV with the ATLAS detector

abstract: This Letter presents a search for exotic decays of the Higgs boson to a pair of new (pseudo)scalar particles, $H\to aa$, where the $a$ particle has a mass in the range 20-60 GeV, and where one of the $a$ bosons decays into a pair of photons and the other to a pair of gluons. The search is performed in event samples enhanced in vector-boson fusion Higgs boson production by requiring two jets with large invariant mass in addition to the Higgs boson candidate decay products. The analysis is based on the full dataset of $pp$ collisions at $\sqrt{s}= 13$ TeV recorded in 2015 and 2016 with the ATLAS detector at the CERN Large Hadron Collider, corresponding to an integrated luminosity of 36.7 fb$^{-1}$. The data are in agreement with the Standard Model predictions and an upper limit at the 95% confidence level is placed on the production cross section times the branching ratio for the decay $H\to aa\to \gamma\gamma gg$. This limit ranges from 3.1 pb to 9.0 pb depending on the mass of the $a$ boson.


title: Three-Dimensional Magnetic Page Memory

abstract: The increasing need to store large amounts of information with an ultra-dense, reliable, low power and low cost memory device is driving aggressive efforts to improve upon current perpendicular magnetic recording technology. However, the difficulties in fabricating small grain recording media while maintaining thermal stability and a high signal-to-noise ratio motivate development of alternative methods, such as the patterning of magnetic nano-islands and utilizing energy-assist for future applications. In addition, both from sensor and memory perspective three-dimensional spintronic devices are highly desirable to overcome the restrictions on the functionality in the planar structures. Here we demonstrate a three-dimensional magnetic-memory (magnetic page memory) based on thermally assisted and stray-field induced transfer of domains in a vertical stack of magnetic nanowires with perpendicular anisotropy. Using spin-torque induced domain shifting in such a device with periodic pinning sites provides additional degrees of freedom by allowing lateral information flow to realize truly three-dimensional integration.


title: Learning Kinematic Descriptions using SPARE: Simulated and Physical ARticulated Extendable dataset

abstract: Next generation robots will need to understand intricate and articulated objects as they cooperate in human environments. To do so, these robots will need to move beyond their current abilities--- working with relatively simple objects in a task-indifferent manner--- toward more sophisticated abilities that dynamically estimate the properties of complex, articulated objects. To that end, we make two compelling contributions toward general articulated (physical) object understanding in this paper. First, we introduce a new dataset, SPARE: Simulated and Physical ARticulated Extendable dataset. SPARE is an extendable open-source dataset providing equivalent simulated and physical instances of articulated objects (kinematic chains), providing the greater research community with a training and evaluation tool for methods generating kinematic descriptions of articulated objects. To the best of our knowledge, this is the first joint visual and physical (3D-printable) dataset for the Vision community. Second, we present a deep neural network that can predit the number of links and the length of the links of an articulated object. These new ideas outperform classical approaches to understanding kinematic chains, such tracking-based methods, which fail in the case of occlusion and do not leverage multiple views when available.


title: The index of G-transversally elliptic families I

abstract: We define and study the index map for families of $G$-transversally elliptic operators and introduce the multiplicity for a given irreducible representation as a virtual bundle over the base of the fibration. We then prove the usual axiomatic properties for the index map extending the Atiyah-Singer results [1]. Finally, we compute the Kasparov intersection product of our index class against the K-homology class of an elliptic operator on the base. Our approach is based on the functorial properties of the intersection product, and relies on some constructions due to Connes-Skandalis and to Hilsum-Skandalis.


title: Magnetotransport properties in the magnetic phase of BaFe$_{2-x}$T$_x$As$_2$ (T = Co,Ni): A magnetic excitations approach

abstract: Because of their complex Fermi surfaces, the identification of the physical phenomena contributing to electronic scattering in the Fe-based superconductors is a difficult task. Here, we report on the electrical resistivity, magnetoresistance, and Hall effect in two series of BaFe$_{2-x}$T$_x$As$_2$ (T = Co, Ni) crystals with different values of $x$. The T contents were chosen so that the majority of the investigated samples present an intermediate magnetically ordered state and a superconducting ground state. We interpret the obtained results in terms of scattering of charge carriers by magnetic excitations instead of describing them as resulting uniquely from effects related to multiple-band conduction. Our samples are single crystals from the structural point of view and their overall magnetotransport properties are dominated by a single magnetic state.


title: Computation of Energy Eigenvalues of the Anharmonic Coulombic Potential with Irregular Singularities

abstract: The present contribution concerns the computation of energy eigenvalues of a perturbed anharmonic coulombic potential with irregular singularities using a combination of the Sinc collocation method and the double exponential transformation. This method provides a highly efficient and accurate algorithm to compute the energy eigenvalues of one-dimensional time-independent Schr\"odinger equation. The numerical results obtained illustrate clearly the highly efficiency and accuracy of the proposed method. All our codes are written in Julia and are available on github at \url{https://github.com/pjgaudre/DESincEig.jl}.


title: Fine-Grained Energy and Performance Profiling framework for Deep Convolutional Neural Networks

abstract: There is a huge demand for on-device execution of deep learning algorithms on mobile and embedded platforms. These devices present constraints on the application due to limited resources and power. Hence, developing energy-efficient solutions to address this issue will require innovation in algorithmic design, software and hardware. Such innovation requires benchmarking and characterization of Deep Neural Networks based on performance and energy-consumption alongside accuracy. However, current benchmarks studies in existing deep learning frameworks (for example, Caffe, Tensorflow, Torch and others) are based on performance of these applications on high-end CPUs and GPUs. In this work, we introduce a benchmarking framework called "SyNERGY" to measure the energy and time of 11 representative Deep Convolutional Neural Networks on embedded platforms such as NVidia Jetson TX1. We integrate ARM's Streamline Performance Analyser with standard deep learning frameworks such as Caffe and CuDNNv5, to study the execution behaviour of current deep learning models at a fine-grained level (or specific layers) on image processing tasks. In addition, we build an initial multi-variable linear regression model to predict energy consumption of unseen neural network models based on the number of SIMD instructions executed and main memory accesses of the CPU cores of the TX1 with an average relative test error rate of 8.04 +/- 5.96 %. Surprisingly, we find that it is possible to refine the model to predict the number of SIMD instructions and main memory accesses solely from the application's Multiply-Accumulate (MAC) counts, hence, eliminating the need for actual measurements. Our predicted results demonstrate 7.08 +/- 6.0 % average relative error over actual energy measurements of all 11 networks tested, except MobileNet. By including MobileNet the average relative test error increases to 17.33 +/- 12.2 %.


title: Convergence of the backward Euler scheme for the operator-valued Riccati differential equation with semi-definite data

abstract: For initial value problems associated with operator-valued Riccati differential equations posed in the space of Hilbert--Schmidt operators existence of solutions is studied. An existence result known for algebraic Riccati equations is generalized and used to obtain the existence of a solution to the approximation of the problem via a backward Euler scheme. Weak and strong convergence of the sequence of approximate solutions is established permitting a large class of right-hand sides and initial data.


title: On the Positivity of Kirillov's Character Formula

abstract: We give a direct proof for the positivity of Kirillov's character on the convolution algebra of smooth, compactly supported functions on a connected, simply connected nilpotent Lie group $G$. Then we use this positivity result to construct a representation of $G\times G$ and establish a $G\times G$-equivariant isometric isomorphism between our representation and the Hilbert--Schmidt operators on the underlying representation of $G$. In fact, we provide a more general framework in which we establish the positivity of Kirillov's character for coadjoint orbits of groups such as $\operatorname{SL}(2, \mathbb{R})$ under additional hypotheses that are automatically satisfied in the nilpotent case. These hypotheses include the existence of a real polarization and the Pukanzsky condition.


title: An empirical approach to the relationship between emotion and music production quality

abstract: In music production, the role of the mix engineer is to take recorded music and convey the expressed emotions as professionally sounding as possible. We investigated the relationship between music production quality and musically induced and perceived emotions. A listening test was performed where 10 critical listeners and 10 non-critical listeners evaluated 10 songs. There were two mixes of each song, the low quality mix and the high quality mix. Each participant's subjective experience was measured directly through questionnaire and indirectly by examining peripheral physiological changes, change in facial expressions and the number of head nods and shakes they made as they listened to each mix. We showed that music production quality had more of an emotional impact on critical listeners. Also, critical listeners had significantly different emotional responses to non-critical listeners for the high quality mixes and to a lesser extent the low quality mixes. The findings suggest that having a high level of skill in mix engineering only seems to matter in an emotional context to a subset of music listeners.


title: Effective Action for Relativistic Hydrodynamics: Fluctuations, Dissipation, and Entropy Inflow

abstract: We present a detailed and self-contained analysis of the universal Schwinger-Keldysh effective field theory which describes macroscopic thermal fluctuations of a relativistic field theory, elaborating on our earlier construction in arXiv:1511.07809. We write an effective action for appropriate hydrodynamic Goldstone modes and fluctuation fields, and discuss the symmetries to be imposed. The constraints imposed by fluctuation-dissipation theorem are manifest in our formalism. Consequently, the action reproduces hydrodynamic constitutive relations consistent with the local second law at all orders in the derivative expansion, and captures the essential elements of the eightfold classification of hydrodynamic transport of arXiv:1502.00636. We demonstrate how to recover the hydrodynamic entropy and give predictions for the non-Gaussian hydrodynamic fluctuations. The basic ingredients of our construction involve (i) doubling of degrees of freedom a la Schwinger-Keldysh, (ii) an emergent thermal gauge symmetry associated with entropy which is encapsulated in a Noether current a la Wald, and (iii) a BRST/topological supersymmetry imposing the fluctuation-dissipation theorem a la Parisi-Sourlas. The overarching mathematical framework for our construction is provided by the balanced equivariant cohomology of thermal translations, which captures the basic constraints arising from the Schwinger-Keldysh doubling, and the thermal Kubo-Martin-Schwinger relations. All these features are conveniently implemented in a covariant superspace formalism. An added benefit is that the second law can be understood as being due to entropy inflow from the Grassmann-odd directions of superspace.

categories: hep-th cond-mat.stat-mech math-ph math.MP


title: A Machine Learning Approach to Galaxy-LSS Classification I: Imprints on Halo Merger Trees

abstract: The cosmic web plays a major role in the formation and evolution of galaxies and defines, to a large extent, their properties. However, the relation between galaxies and environment is still not well understood. Here we present a machine learning approach to study imprints of environmental effects on the mass assembly of haloes. We present a galaxy-LSS machine learning classifier based on galaxy properties sensitive to the environment. We then use the classifier to assess the relevance of each property. Correlations between galaxy properties and their cosmic environment can be used to predict galaxy membership to void/wall or filament/cluster with an accuracy of $93\%$. Our study unveils environmental information encoded in properties of haloes not normally considered directly dependent on the cosmic environment such as merger history and complexity. Understanding the physical mechanism by which the cosmic web is imprinted in a halo can lead to significant improvements in galaxy formation models. This is accomplished by extracting features from galaxy properties and merger trees, computing feature scores for each feature and then applying support vector machine to different feature sets. To this end, we have discovered that the shape and depth of the merger tree, formation time and density of the galaxy are strongly associated with the cosmic environment. We describe a significant improvement in the original classification algorithm by performing LU decomposition of the distance matrix computed by the feature vectors and then using the output of the decomposition as input vectors for support vector machine.


title: Security Consideration For Deep Learning-Based Image Forensics

abstract: Recently, image forensics community has paied attention to the research on the design of effective algorithms based on deep learning technology and facts proved that combining the domain knowledge of image forensics and deep learning would achieve more robust and better performance than the traditional schemes. Instead of improving it, in this paper, the safety of deep learning based methods in the field of image forensics is taken into account. To the best of our knowledge, this is a first work focusing on this topic. Specifically, we experimentally find that the method using deep learning would fail when adding the slight noise into the images (adversarial images). Furthermore, two kinds of strategys are proposed to enforce security of deep learning-based method. Firstly, an extra penalty term to the loss function is added, which is referred to the 2-norm of the gradient of the loss with respect to the input images, and then an novel training method are adopt to train the model by fusing the normal and adversarial images. Experimental results show that the proposed algorithm can achieve good performance even in the case of adversarial images and provide a safety consideration for deep learning-based image forensics


title: Exoplanet Catalogues

abstract: One of the most exciting developments in the field of exoplanets has been the progression from 'stamp-collecting' to demography, from discovery to characterisation, from exoplanets to comparative exoplanetology. There is an exhilaration when a prediction is confirmed, a trend is observed, or a new population appears. This transition has been driven by the rise in the sheer number of known exoplanets, which has been rising exponentially for two decades (Mamajek 2016). However, the careful collection, scrutiny and organisation of these exoplanets is necessary for drawing robust, scientific conclusions that are sensitive to the biases and caveats that have gone into their discovery. The purpose of this chapter is to discuss and demonstrate important considerations to keep in mind when examining or constructing a catalogue of exoplanets. First, we introduce the value of exoplanetary catalogues. There are a handful of large, online databases that aggregate the available exoplanet literature and render it digestible and navigable - an ever more complex task with the growing number and diversity of exoplanet discoveries. We compare and contrast three of the most up-to-date general catalogues, including the data and tools that are available. We then describe exoplanet catalogues that were constructed to address specific science questions or exoplanet discovery space. Although we do not attempt to list or summarise all the published lists of exoplanets in the literature in this chapter, we explore the case study of the NASA Kepler mission planet catalogues in some detail. Finally, we lay out some of the best practices to adopt when constructing or utilising an exoplanet catalogue.


title: Stochastic Gradient Hamiltonian Monte Carlo with Variance Reduction for Bayesian Inference

abstract: Gradient-based Monte Carlo sampling algorithms, like Langevin dynamics and Hamiltonian Monte Carlo, are important methods for Bayesian inference. In large-scale settings, full-gradients are not affordable and thus stochastic gradients evaluated on mini-batches are used as a replacement. In order to reduce the high variance of noisy stochastic gradients, Dubey et al. [2016] applied the standard variance reduction technique on stochastic gradient Langevin dynamics and obtained both theoretical and experimental improvements. In this paper, we apply the variance reduction tricks on Hamiltonian Monte Carlo and achieve better theoretical convergence results compared with the variance-reduced Langevin dynamics. Moreover, we apply the symmetric splitting scheme in our variance-reduced Hamiltonian Monte Carlo algorithms to further improve the theoretical results. The experimental results are also consistent with the theoretical results. As our experiment shows, variance-reduced Hamiltonian Monte Carlo demonstrates better performance than variance-reduced Langevin dynamics in Bayesian regression and classification tasks on real-world datasets.


title: GHz Rotation of an Optically Trapped Nanoparticle in Vacuum

abstract: We report on rotating an optically trapped silica nanoparticle in vacuum by transferring spin angular momentum of light to the particle's mechanical angular momentum. At sufficiently low damping, realized at pressures below $10^{-5}$ mbar, we observe rotation frequencies of single 100 nm particles exceeding 1 GHz. We find that the steady-state rotation frequency scales linearly with the optical trapping power and inversely with pressure, consistent with theoretical considerations based on conservation of angular momentum. Rapidly changing the polarization of the trapping light allows us to extract the pressure-dependent response time of the particle's rotational degree of freedom.


title: Bi-Demographic Changes and Current Account using SVAR Modeling

abstract: The paper aims to explore the impacts of bi-demographic structure on the current account and growth. Using a SVAR modeling, we track the dynamic impacts between these underlying variables. New insights have been developed about the dynamic interrelation between population growth, current account and economic growth. The long-run net impact on economic growth of the domestic working population growth and demand labor for emigrants is positive, due to the predominant contribution of skilled emigrant workers. Besides, the positive long-run contribution of emigrant workers to the current account growth largely compensates the negative contribution from the native population, because of the predominance of skilled compared to unskilled workforce. We find that a positive shock in demand labor for emigrant workers leads to an increasing effect on native active age ratio. Thus, the emigrants appear to be more complements than substitutes for native workers.


title: Holographic local quench and effective complexity

abstract: We study the evolution of holographic complexity of pure and mixed states in $1+1$-dimensional conformal field theory following a local quench using both the "complexity equals volume" (CV) and the "complexity equals action" (CA) conjectures. We compare the complexity evolution to the evolution of entanglement entropy and entanglement density, discuss the Lloyd computational bound and demonstrate its saturation in certain regimes. We argue that the conjectured holographic complexities exhibit some non-trivial features indicating that they capture important properties of what is expected to be effective (or physical) complexity.

categories: hep-th cond-mat.stat-mech nlin.PS quant-ph


title: A Convex Reformulation of the Robust Freeway Network Control Problem with Controlled Merging Junctions

abstract: In the freeway network control (FNC) problem, the operation of a traffic network is optimized using only flow control. For special cases of the FNC problem, in particular the case when all merging flows are controlled, there exist tight convex relaxations of the corresponding optimization problem. However, model uncertainty, in particular regarding the fundamental diagram and predictions of future traffic demand, can be a problem in practice. This uncertainty poses a challenge to control approaches that pursue a model- and optimization-based strategy. In this work, we propose a robust counterpart to the FNC problem, where we introduce uncertainty sets for both the fundamental diagram and future, external traffic demands and seek to optimize the system operation, minimizing the worst-case cost. For a network with controlled merging junctions, and assuming that certain technical conditions on the uncertainty sets are satisfied, we show that the robust counterpart of the FNC problem can be reduced to a convex, finite-dimensional and deterministic optimization problem, whose numerical solution is tractable.


title: Light Pseudo-Goldstone Higgs Boson from SO(10) GUT with Realistic Phenomenology

abstract: Within the supersymmetric SO(10) grand unified theory (GUT), a new mechanism, giving the light Higgs doublet as a pseudo-Goldstone mode, is suggested. Realizing this mechanism, we present an explicit model with fully realistic phenomenology. In particular, desirable symmetry breaking and natural all-order hierarchy are achieved. The constructed model allows one to have a realistic fermion pattern, nucleon stability, and successful gauge coupling unification. The suggested mechanism opens prospects in the field for a novel $SO(10)$ GUT model building and for further investigations.


title: Configuration spaces in algebraic topology

abstract: These expository notes are dedicated to the study of the topology of configuration spaces of manifolds. We give detailed computations of many invariants, including the fundamental group of the configuration spaces of $\mathbb{R}^2$, the integral cohomology of the ordered---and the mod $p$ cohomology of the unordered---configuration spaces of $\mathbb{R}^n$, and the rational cohomology of the unordered configuration spaces of an arbitrary manifold of odd dimension. We also discuss models for mapping spaces in terms of labeled configuration spaces, and we show that these models split stably. Some classical results are given modern proofs premised on hypercover techniques, which we discuss in detail.


title: Quantum simulation of the universal features of the Polyakov loop

abstract: Lattice gauge theories are fundamental to our understanding of high-energy physics. Nevertheless, the search for suitable platforms for their quantum simulation has proven difficult. We show that the Abelian Higgs model in 1+1 dimensions is a prime candidate for an experimental quantum simulation of a lattice gauge theory. To this end, we use a discrete tensor reformulation to smoothly connect the space-time isotropic version used in most numerical lattice simulations to the continuous-time limit corresponding to the Hamiltonian formulation. The eigenstates of the Hamiltonian are neutral for periodic boundary conditions, but we probe the nonzero charge sectors by either introducing a Polyakov loop or an external electric field. In both cases we obtain universal functions relating the mass gap, the gauge coupling, and the spatial size which are invariant under the deformation of the temporal lattice spacing. We propose to use a physical multi-leg ladder of atoms trapped in optical lattices and interacting with Rydberg-dressed interactions to quantum simulate the model and check the universal features. Our results provide a path to the analog quantum simulation of lattice gauge theories with atoms in optical lattices.


title: Probing TeV scale origin of neutrino mass at future lepton colliders via neutral and doubly-charged scalars

abstract: We point out how future lepton colliders can provide unique insight into the scalar sector of TeV scale models for neutrino masses with local $B-L$ symmetry. Our specific focus is on the TeV scale left-right model, which naturally embeds this $B-L$ symmetry. In particular, we make a detailed study of the lepton collider implications of the neutral ($H_3$) and doubly-charged ($H^{\pm\pm}$) scalars from the right-handed triplet Higgs that is responsible for the spontaneous breaking of the $B-L$ symmetry and implementing the seesaw mechanism. Due to mixing with other scalars, the neutral scalar $H_3$ could acquire sizable flavor violating couplings to the charged leptons. Produced on-shell or off-shell at the planned $e^+e^-$ colliders, it would induce distinct lepton flavor violating signals like $e^+e^- \to \mu^\pm \tau^\mp ~ (+H_3)$, with the couplings probed up to $\sim 10^{-4}$ for a wide range of neutral scalar mass, which is well beyond the reach of current searches for charged lepton flavor violation. The Yukawa couplings of the doubly-charged scalar $H^{\pm\pm}$ to the charged leptons might also be flavor-violating, which is correlated to the heavy right-handed neutrino masses and mixings. With a combination of the pair, single and off-shell production of $H^{\pm\pm}$ like $e^+e^- \to H^{++} H^{--},\, H^{\pm\pm} e^\mp \mu^\mp,\, \mu^\pm \tau^\mp$, the Yukawa couplings can be probed up to $10^{-3}$ at future lepton colliders, which is allowed by current lepton flavor data in a large region of parameter space. For both the neutral and doubly-charged cases, the scalar masses could be probed up to the few-TeV range in the off-shell channel.


title: Dual graded graphs and Bratteli diagrams of towers of groups

abstract: An $r$-dual tower of groups is a nested sequence of finite groups, like the symmetric groups, whose Bratteli diagram forms an $r$-dual graded graph. Miller and Reiner introduced a special case of these towers in order to study the Smith forms of the up and down maps in a differential poset. Agarwal and the author have also used these towers to compute critical groups of representations of groups appearing in the tower. In this paper I prove that when $r$ is one or prime, wreath products of a fixed group with the symmetric groups are the only $r$-dual tower of groups, and conjecture that this is the case for general values of $r$. This implies that these wreath products are the only groups for which one can define an analog of the Robinson-Schensted bijection in terms of a growth rule in a dual graded graph.


title: Bounds on Dark Matter decay from 21 cm line

abstract: The observation of the cosmic 21-cm spectrum can serve as a probe for Dark Matter properties. We point out that the knowledge of the signal amplitude at a given redshift allows one to put conservative bounds on the DM decay rate which are independent of astrophysical parameters. These limits are valid for the vast majority of DM models, those without extra IGM cooling or additional background radiation. Using the experimental results reported by the EDGES collaboration, we derive bounds that are stronger than the ones derived from other CMB observations and competitive with the ones from indirect detection.


title: Cluster counts: calibration issue or new physics?

abstract: In recent years, the amplitude of matter fluctuations inferred from low-redshift probes has been found to be generally lower than the value derived from CMB observations in the $\Lambda$CDM model. This tension has been exemplified by Sunyaev-Zel'dovich and X-ray cluster counts which, when using their Planck standard cluster mass calibration, yield a value of $\sigma_8$ , appreciably lower than estimations based on the latest Planck CMB measurements. In this work we examine whether non-minimal neutrino masses can alleviate this tension substantially. We used the cluster X-ray temperature distribution function derived from a flux-limited sample of local X-ray clusters, combined with Planck CMB measurements. These datasets were compared to $\Lambda$CDM predictions based on recent mass function, adapted to account for the effects of massive neutrinos. Treating the clusters mass calibration as a free parameter, we examined whether the data favours neutrino masses appreciably higher than the minimal 0.06 eV value. Using Markov chain Monte Carlo methods, we found no significant correlation between the mass calibration of clusters and the sum of neutrino masses, meaning that massive neutrinos do not noticeably alleviate the above-mentioned Planck CMB--clusters tension. The addition of other datasets (BAO and Ly-$\alpha$) reinforces those conclusions. As an alternative possible solution to the tension, we introduced a simple, phenomenological modification of gravity by letting the growth index $\gamma$ vary as an additional free parameter. We find that the cluster mass calibration is robustly correlated with the $\gamma$ parameter, insensitively to the presence of massive neutrinos or/and additional data used. We conclude that the standard Planck mass calibration of clusters, if consolidated, would represent evidence for new physics beyond $\Lambda$CDM with massive neutrinos.


title: A metal-dielectric parabolic antenna to direct single photons

abstract: Quantum emitters radiate light omni-directionally, making it hard to collect and use the generated photons. Here we propose a 3D metal-dielectric parabolic antenna surrounding an individual quantum dot as a source of collimated single photons which can then be easily extracted and manipulated. Our fabrication method relies on a single optically-induced polymerization step, once the selected emitter has been localized by confocal microscopy. Compared to conventional nano-antennas, our geometry does not require near-field coupling and it is therefore very robust against misalignment issues, and minimally affected by absorption in the metal. The parabolic antenna provides one of the largest reported experimental directivities (D=106) and the lowest beam divergences ({\Theta}=13.5 deg), a broadband operation over all the visible and near-IR range, together with more than 96% extraction efficiency, offering a practical advantage for quantum technological applications.


title: Observation and Modeling of Chromospheric Evaporation in a Coronal Loop Related to Active Region Transient Brightening

abstract: Using the observations recorded by Atmospheric Imaging Assembly (AIA) on-board the Solar Dynamics Observatory (SDO), the Interface Region Imaging Spectrograph (IRIS) and the Extreme-ultraviolet Imaging Spectrometer (EIS) and X-Ray Telescope (XRT) both on-board Hinode, we present the evidence of chromospheric evaporation in a coronal loop after the occurrence of two active region transient brightenings (ARTBs) at the two footpoints. The chromospheric evaporation started nearly simultaneously in all the three hot channels of AIA such as 131~{\AA}, 94~{\AA} and 335~{\AA}, which was observed to be temperature dependent, being fastest in the highest temperature channel. The whole loop became fully brightened following the ARTBs after $\approx25$~s in 131~{\AA}, $\approx 40$~s in 94~{\AA}, and $\approx 6.5$~min in 335~{\AA}. The DEM measurements at the two footpoints (i.e., of two ARTBs) and the loop-top suggest that the plasma attained a maximum temperature of $\sim$10~MK at all these locations. The spectroscopic observations from IRIS revealed the presence of redshifted emission of $\sim$20~km~s$^{-1}$ in cooler lines like \ion{C}{2} and \ion{Si}{4} during the ARTBs that was co-temporal with the evaporation flow at the footpoint of the loop. During the ARTBs, the line width of \ion{C}{2} and \ion{Si}{4} increased nearly by a factor of two during the peak emission. Moreover, enhancement in the line width preceded that in the Doppler shift which again preceded enhancement in the intensity. The observed results were qualitatively reproduced by 1-D hydrodynamic simulations where energy was deposited at both the footpoints of a monolithic coronal loop that mimicked the ARTBs identified in the observations.


title: Barren plateaus in quantum neural network training landscapes

abstract: Many experimental proposals for noisy intermediate scale quantum devices involve training a parameterized quantum circuit with a classical optimization loop. Such hybrid quantum-classical algorithms are popular for applications in quantum simulation, optimization, and machine learning. Due to its simplicity and hardware efficiency, random circuits are often proposed as initial guesses for exploring the space of quantum states. We show that the exponential dimension of Hilbert space and the gradient estimation complexity make this choice unsuitable for hybrid quantum-classical algorithms run on more than a few qubits. Specifically, we show that for a wide class of reasonable parameterized quantum circuits, the probability that the gradient along any reasonable direction is non-zero to some fixed precision is exponentially small as a function of the number of qubits. We argue that this is related to the 2-design characteristic of random circuits, and that solutions to this problem must be studied.


title: Proposal for a micromagnetic standard problem for materials with Dzyaloshinskii-Moriya interaction

abstract: Understanding the role of the Dzyaloshinskii-Moriya interaction (DMI) for the formation of helimagnetic order, as well as the emergence of skyrmions in magnetic systems that lack inversion symmetry, has found increasing interest due to the significant potential for novel spin based technologies. Candidate materials to host skyrmions include those belonging to the B20 group such as FeGe, known for stabilising Bloch-like skyrmions, interfacial systems such as cobalt multilayers or Pd/Fe bilayers on top of Ir(111), known for stabilising N\'eel-like skyrmions, and, recently, alloys with a crystallographic symmetry where anti-skyrmions are stabilised. Micromagnetic simulations have become a standard approach to aid the design and optimisation of spintronic and magnetic nanodevices and are also applied to the modelling of device applications which make use of skyrmions. Several public domain micromagnetic simulation packages such as OOMMF, MuMax3 and Fidimag already offer implementations of different DMI terms. It is therefore highly desirable to propose a so-called micromagnetic standard problem that would allow one to benchmark and test the different software packages in a similar way as is done for ferromagnetic materials without DMI. Here, we provide a sequence of well-defined and increasingly complex computational problems for magnetic materials with DMI. Our test problems include 1D, 2D and 3D domains, spin wave dynamics in the presence of DMI, and validation of the analytical and numerical solutions including uniform magnetisation, edge tilting, spin waves and skyrmion formation. This set of problems can be used by developers and users of new micromagnetic simulation codes for testing and validation and hence establishing scientific credibility.


title: Universal Sentence Encoder

abstract: We present models for encoding sentences into embedding vectors that specifically target transfer learning to other NLP tasks. The models are efficient and result in accurate performance on diverse transfer tasks. Two variants of the encoding models allow for trade-offs between accuracy and compute resources. For both variants, we investigate and report the relationship between model complexity, resource consumption, the availability of transfer task training data, and task performance. Comparisons are made with baselines that use word level transfer learning via pretrained word embeddings as well as baselines do not use any transfer learning. We find that transfer learning using sentence embeddings tends to outperform word level transfer. With transfer learning via sentence embeddings, we observe surprisingly good performance with minimal amounts of supervised training data for a transfer task. We obtain encouraging results on Word Embedding Association Tests (WEAT) targeted at detecting model bias. Our pre-trained sentence encoding models are made freely available for download and on TF Hub.


title: A Monotonicity Property of a New Bernstein Type Operator

abstract: In the present paper we prove that the probabilities of the P\'olya urn distribution (with negative replacement) satisfy a monotonicity property similar to that of the binomial distribution (P\'olya urn distribution with no replacement). As a consequence, we show that the random variables with P\'olya urn distribution (with negative replacement) are stochastically ordered with respect to the parameter giving the initial distribution of the urn. An equivalent formulation of this result shows that the new Bernstein operator recently introduced in [3] is a monotone operator. The proofs are probabilistic in spirit and rely on various inequalities, some of which are of independent interest (e.g. a refined version of the reversed Cauchy-Bunyakovsky-Schwarz inequality).


title: Bordism of constrained Morse functions

abstract: We call a Morse function $f$ on a closed manifold $k$-constrained if neither $f$ nor $-f$ has critical points of indefinite Morse index $< k$. In this paper we study bordism groups of $k$-constrained Morse functions, and thus interpolate between the case $k = 1$ of bordism groups of Morse functions (computed by Ikegami) and the case $k \gg 1$ of bordism groups of special generic functions (computed by Saeki). We employ Levine's elimination of cusps, Stein factorization, the two-index theorem of Hatcher-Wagoner, and a handle extension theorem for fold maps due to Gay-Kirby to show that the notion constrained bordism is strongly related to so-called connective bordism. As an application of our results we show that the oriented bordism group of constrained Morse functions detects exotic Kervaire spheres in certain dimensions.


title: Energy-level statistics in strongly disordered systems with power-law hopping

abstract: Motivated by neutral excitations in disordered electronic materials and systems of trapped ultracold particles with long-range interactions, we study energy-level statistics of quasiparticles with the power-law hopping Hamiltonian $\propto 1/r^\alpha$ in a strong random potential. In solid-state systems such quasiparticles, which are exemplified by neutral dipolar excitations, lead to long-range correlations of local observables and may dominate energy transport. Focussing on the excitations in disordered electronic systems, we compute the energy-level correlation function $R_2(\omega)$ in a finite system in the limit of sufficiently strong disorder. At small energy differences the correlations exhibit Wigner-Dyson statistics. In particular, in the limit of very strong disorder the energy-level correlation function is given by $R_2(\omega,V)=A_3\frac{\omega}{\omega_V}$ for small frequencies $\omega\ll\omega_V$ and $R_2(\omega,V)=1-(\alpha-d)A_{1}\left(\frac{\omega_V}{\omega}\right)^\frac{d}{\alpha} -A_2\left(\frac{\omega_V}{\omega}\right)^2$ for large frequencies $\omega\gg\omega_V$, where $\omega_V\propto V^{-\frac{\alpha}{d}}$ is the characteristic matrix element of excitation hopping in a system of volume $V$, and $A_1$, $A_2$ and $A_3$ are coefficient of order unity which depend on the shape of the system. The energy-level correlation function, which we study, allows for a direct experimental observation, for example, by measuring the correlations of the ac conductance of the system at different frequencies.


title: Proof-of-Concept Examples of Performance-Transparent Programming Models

abstract: Machine-specific optimizations command the machine to behave in a specific way. As current programming models largely leave machine details unexposed, they cannot accommodate direct encoding of such commands. In previous work we have proposed the design of performance-transparent programming models to facilitate this use-case; this report contains proof-of-concept examples of such programming models. We demonstrate how programming model abstractions may reveal the memory footprint, vector unit utilization and data reuse of an application, with prediction accuracy ranging from 0 to 25 \%.


title: Lindblad-Floquet description of finite-time quantum heat engines

abstract: The operation of autonomous finite-time quantum heat engines rely on the existence of a stable limit cycle in which the dynamics becomes periodic. The two main questions that naturally arise are therefore whether such a limit cycle will eventually be reached and, once it has, what is the state of the system within the limit cycle. In this paper we show that the application of Floquet's theory to Lindblad dynamics offers clear answers to both questions. By moving to a generalized rotating frame, we show that it is possible to identify a single object, the Floquet Liouvillian, which encompasses all operating properties of the engine. First, its spectrum dictates the convergence to a limit cycle. And second, the state within the limit cycle is precisely its zero eigenstate, therefore reducing the problem to that of determining the steady-state of a time-independent master equation. To illustrate the usefulness of this theory, we apply it to a harmonic oscillator subject to a time-periodic work protocol and time-periodic dissipation, an open-system generalization of the Ermakov-Lewis theory. The use of this theory to implement a finite-time Carnot engine subject to continuous frequency modulations is also discussed.


title: The American Space Exploration Narrative from the Cold War through the Obama Administration

abstract: We document how the narrative and the policies of space exploration in the U.S. have changed over the past 50 years. We first examine the history of the U.S. space exploration program and also assess three current conditions of space exploration including: (1) the increasing role of the private sector, (2) the influence of global politics, and (3) the focus on a human mission to Mars. We identify five rhetorical themes: competition, prestige, collaboration, leadership, and a new paradigm. These themes are then used to analyze the content of forty documents from eight presidential administrations. The historical narrative and content analysis together suggest that space exploration has developed from a discourse about a bipolar world composed of the U.S. and U.S.S.R. into a complicated field that encompass many new players. We make three observations: (1) there is a disconnect between stated U.S. policy goals and the implementation of those goals, (2) the U.S. communicates mixed messages regarding its intent to be both the dominant leader in space exploration and also a committed participant in international collaborations, and (3) the U.S. cannot remain a true pioneer in space exploration if it does not embrace the realities of globalization and the changing dynamics within space exploration. We conclude with three suggestions: (1) the U.S. government and NASA should critically examine space exploration priorities and commit to implementing a program that will further realistic policy and goals, (2) the U.S. should re-examine its intention to play a dominant leadership role in space exploration and consider emphasizing a commitment toward active participation in international collaboration in space, and (3) the U.S. should fully embrace the new paradigm of space exploration by lowering barriers that hinder competitiveness.


title: Towards Open-Set Identity Preserving Face Synthesis

abstract: We propose a framework based on Generative Adversarial Networks to disentangle the identity and attributes of faces, such that we can conveniently recombine different identities and attributes for identity preserving face synthesis in open domains. Previous identity preserving face synthesis processes are largely confined to synthesizing faces with known identities that are already in the training dataset. To synthesize a face with identity outside the training dataset, our framework requires one input image of that subject to produce an identity vector, and any other input face image to extract an attribute vector capturing, e.g., pose, emotion, illumination, and even the background. We then recombine the identity vector and the attribute vector to synthesize a new face of the subject with the extracted attribute. Our proposed framework does not need to annotate the attributes of faces in any way. It is trained with an asymmetric loss function to better preserve the identity and stabilize the training process. It can also effectively leverage large amounts of unlabeled training face images to further improve the fidelity of the synthesized faces for subjects that are not presented in the labeled training face dataset. Our experiments demonstrate the efficacy of the proposed framework. We also present its usage in a much broader set of applications including face frontalization, face attribute morphing, and face adversarial example detection.


title: The Arf-Brown TQFT of Pin$^-$ Surfaces

abstract: The Arf-Brown invariant $\mathit{AB}(\Sigma)$ is an 8th root of unity associated to a surface $\Sigma$ equipped with a pin$^-$ structure. In this note we investigate a certain fully extended, invertible, topological quantum field theory (TQFT) whose partition function is the Arf-Brown invariant. Our motivation comes from the recent work of Freed-Hopkins on the classification of topological phases, of which the Arf-Brown TQFT provides a nice example of the general theory; physically, it can be thought of as the low energy effective theory of the Majorana chain, or as the anomaly theory of a free fermion in 1 dimension.

categories: math-ph cond-mat.str-el hep-th math.AT math.MP


title: Nanoscale Surface Dynamics of Bi$_2$Te$_3$(111): Observation of a Prominent Surface Acoustic Wave and the Role of van der Waals Interactions

abstract: We present a combined experimental and theoretical study of the surface vibrational modes of the topological insulator Bi$_2$Te$_3$. Using high-resolution helium-3 spin-echo spectroscopy we are able to resolve the acoustic phonon modes of Bi$_2$Te$_3$(111). The low energy region of the lattice vibrations is mainly dominated by the Rayleigh mode which has been claimed to be absent in previous experimental studies. The appearance of the Rayleigh mode is consistent with previous bulk lattice dynamics studies as well as theoretical predictions of the surface phonon modes. Density functional perturbation theory calculations including van der Waals corrections are in excellent agreement with the experimental data. Comparison of the experimental results with theoretically obtained values for films with a thickness of several layers further demonstrate, that for an accurate theoretical description of three-dimensional topological insulators with their layered structure the inclusion of van der Waals corrections is essential. The presence of a prominent surface acoustic wave and the contribution of van der Waals bonding to the lattice dynamics may hold important implications for the thermoelectric properties of thin-film and nanoscale devices.


title: Unsupervised Textual Grounding: Linking Words to Image Concepts

abstract: Textual grounding, i.e., linking words to objects in images, is a challenging but important task for robotics and human-computer interaction. Existing techniques benefit from recent progress in deep learning and generally formulate the task as a supervised learning problem, selecting a bounding box from a set of possible options. To train these deep net based approaches, access to a large-scale datasets is required, however, constructing such a dataset is time-consuming and expensive. Therefore, we develop a completely unsupervised mechanism for textual grounding using hypothesis testing as a mechanism to link words to detected image concepts. We demonstrate our approach on the ReferIt Game dataset and the Flickr30k data, outperforming baselines by 7.98% and 6.96% respectively.


title: Two can play this Game: Visual Dialog with Discriminative Question Generation and Answering

abstract: Human conversation is a complex mechanism with subtle nuances. It is hence an ambitious goal to develop artificial intelligence agents that can participate fluently in a conversation. While we are still far from achieving this goal, recent progress in visual question answering, image captioning, and visual question generation shows that dialog systems may be realizable in the not too distant future. To this end, a novel dataset was introduced recently and encouraging results were demonstrated, particularly for question answering. In this paper, we demonstrate a simple symmetric discriminative baseline, that can be applied to both predicting an answer as well as predicting a question. We show that this method performs on par with the state of the art, even memory net based methods. In addition, for the first time on the visual dialog dataset, we assess the performance of a system asking questions, and demonstrate how visual dialog can be generated from discriminative question generation and question answering.


title: MaskRNN: Instance Level Video Object Segmentation

abstract: Instance level video object segmentation is an important technique for video editing and compression. To capture the temporal coherence, in this paper, we develop MaskRNN, a recurrent neural net approach which fuses in each frame the output of two deep nets for each object instance -- a binary segmentation net providing a mask and a localization net providing a bounding box. Due to the recurrent component and the localization component, our method is able to take advantage of long-term temporal structures of the video data as well as rejecting outliers. We validate the proposed algorithm on three challenging benchmark datasets, the DAVIS-2016 dataset, the DAVIS-2017 dataset, and the Segtrack v2 dataset, achieving state-of-the-art performance on all of them.


title: Generative Modeling using the Sliced Wasserstein Distance

abstract: Generative Adversarial Nets (GANs) are very successful at modeling distributions from given samples, even in the high-dimensional case. However, their formulation is also known to be hard to optimize and often not stable. While this is particularly true for early GAN formulations, there has been significant empirically motivated and theoretically founded progress to improve stability, for instance, by using the Wasserstein distance rather than the Jenson-Shannon divergence. Here, we consider an alternative formulation for generative modeling based on random projections which, in its simplest form, results in a single objective rather than a saddle-point formulation. By augmenting this approach with a discriminator we improve its accuracy. We found our approach to be significantly more stable compared to even the improved Wasserstein GAN. Further, unlike the traditional GAN loss, the loss formulated in our method is a good measure of the actual distance between the distributions and, for the first time for GAN training, we are able to show estimates for the same.


title: Iterative Visual Reasoning Beyond Convolutions

abstract: We present a novel framework for iterative visual reasoning. Our framework goes beyond current recognition systems that lack the capability to reason beyond stack of convolutions. The framework consists of two core modules: a local module that uses spatial memory to store previous beliefs with parallel updates; and a global graph-reasoning module. Our graph module has three components: a) a knowledge graph where we represent classes as nodes and build edges to encode different types of semantic relationships between them; b) a region graph of the current image where regions in the image are nodes and spatial relationships between these regions are edges; c) an assignment graph that assigns regions to classes. Both the local module and the global module roll-out iteratively and cross-feed predictions to each other to refine estimates. The final predictions are made by combining the best of both modules with an attention mechanism. We show strong performance over plain ConvNets, \eg achieving an $8.4\%$ absolute improvement on ADE measured by per-class average precision. Analysis also shows that the framework is resilient to missing regions for reasoning.


title: Unconventional superconductivity in nearly flat bands in twisted bilayer graphene

abstract: Flat electronic bands can accommodate a plethora of interaction driven quantum phases, since kinetic energy is quenched therein and electronic interactions therefore prevail. Twisted bilayer graphene, near so-called the "magic angles", features \emph{slow} Dirac fermions close to the charge-neutrality point that persist up to high-energies. Starting from a continuum model of slow, but strongly interacting Dirac fermions, we show that with increasing chemical doping away from the charge-neutrality point, a time-reversal symmetry breaking, valley pseudo-spin-triplet, topological $p+ip$ superconductor gradually sets in, when the system resides at the brink of an anti-ferromagnetic ordering (due to Hubbard repulsion), in qualitative agreement with recent experimental findings. The $p+ip$ paired state exhibits quantized spin and thermal Hall conductivities, polar Kerr and Faraday rotations. Our conclusions should also be applicable for other correlated two-dimensional Dirac materials.


title: Approximation of the Boltzmann Collision Operator Based on Hermite Spectral Method

abstract: Based on the Hermite expansion of the distribution function, we introduce a Galerkin spectral method for the spatially homogeneous Boltzmann equation with the realistic inverse-power-law models. A practical algorithm is proposed to evaluate the coefficients in the spectral method with high accuracy, and these coefficients are also used to construct new computationally affordable collision models. Numerical experiments show that our method captures the low-order moments very efficiently.


title: Kant, Schlick and Friedman on Space, Time and Gravity in Light of Three Lessons from Particle Physics

abstract: Kantian philosophy of space, time and gravity is significantly affected in three ways by particle physics. First, particle physics deflects Schlick's General Relativity-based critique of synthetic a priori knowledge. Schlick argued that since geometry was not synthetic a priori, nothing was---a key step toward logical empiricism. Particle physics suggests a Kant-friendlier theory of space-time and gravity presumably approximating General Relativity arbitrarily well, massive spin-2 gravity, while retaining a flat space-time geometry that is_indirectly_ observable at large distances. The theory's roots include Seeliger and Neumann in the 1890s and Einstein in 1917 as well as 1920s-30s physics. Such theories have seen renewed scientific attention since 2000 and especially since 2010 due to breakthroughs addressing early 1970s technical difficulties. Second, particle physics casts additional doubt on Friedman's constitutive \emph{a priori} role for the principle of equivalence. Massive spin-2 gravity presumably should have nearly the same empirical content as General Relativity while differing radically on foundational issues. Empirical content even in General Relativity resides in partial differential equations, not in an additional principle identifying gravity and inertia. Third, Kant's apparent claim that Newton's results could be known a priori is undermined by an alternate gravitational equation. The modified theory has a smaller (Galilean) symmetry group than does Newton's. What Kant wanted from Newton's gravity is impossible due its large symmetry group, but is closer to achievable given the alternative theory.


title: Electrical Impedance Tomography with Restricted Dirichlet-to-Neumann Map Data

abstract: We propose a new numerical method to reconstruct the isotropic electrical conductivity from measured restricted Dirichlet-to-Neumann map data in electrical impedance tomography (EIT) model. "Restricted Dirichlet-to-Neumann (DtN) map data" means that the Dirichlet and Neumann boundary data for EIT are generated by a point source running either along an interval of a straight line or along a curve located outside of the domain of interest. We "convexify" the problem via constructing a globally strictly convex Tikhonov-like functional using a Carleman Weight Function. In particular, two new Carleman estimates are established. Global convergenceto the correct solution of the gradient projection method for this functional is proven. Numerical examples demonstrate a good performance of this numerical procedure.


title: A Large Scale Spatio-temporal Binomial Regression Model for Estimating Seroprevalence Trends

abstract: This paper develops a large-scale Bayesian spatio-temporal binomial regression model for the purpose of investigating regional trends in antibody prevalence to Borrelia burgdorferi, the causative agent of Lyme disease. The proposed model uses Gaussian predictive processes to estimate the spatially varying trends and a conditional autoregressive model to account for spatio-temporal dependence. Careful consideration is made to develop a novel framework that is scalable to large spatio-temporal data. The proposed model is used to analyze approximately 16 million Borrelia burgdorferi test results collected on dogs located throughout the conterminous United States over a sixty month period. This analysis identifies several regions of increasing canine risk. Specifically, this analysis reveals evidence that Lyme disease is getting worse in some endemic regions and that it could potentially be spreading to other non-endemic areas. Further, given the zoonotic nature of this vector-borne disease, this analysis could potentially reveal areas of increasing human risk.


title: Commuting-projector Hamiltonians for chiral topological phases built from parafermions

abstract: We introduce a family of commuting-projector Hamiltonians whose degrees of freedom involve $\mathbb{Z}_{3}$ parafermion zero modes residing in a parent fractional-quantum-Hall fluid. The two simplest models in this family emerge from dressing Ising-paramagnet and toric-code spin models with parafermions; we study their edge properties, anyonic excitations, and ground-state degeneracy. We show that the first model realizes a symmetry-enriched topological phase (SET) for which $\mathbb{Z}_2$ spin-flip symmetry from the Ising paramagnet permutes the anyons. Interestingly, the interface between this SET and the parent quantum-Hall phase realizes symmetry-enforced $\mathbb{Z}_3$ parafermion criticality with no fine-tuning required. The second model exhibits a non-Abelian phase that is consistent with $\text{SU}(2)_{4}$ topological order, and can be accessed by gauging the $\mathbb{Z}_{2}$ symmetry in the SET. Employing Levin-Wen string-net models with $\mathbb{Z}_{2}$-graded structure, we generalize this picture to construct a large class of commuting-projector models for $\mathbb{Z}_{2}$ SETs and non-Abelian topological orders exhibiting the same relation. Our construction provides the first commuting-projector-Hamiltonian realization of chiral bosonic non-Abelian topological order.


title: Fractons

abstract: We review what is known about fracton phases of quantum matter. Fracton phases are characterized by excitations that exhibit restricted mobility, being either immobile under local Hamiltonian dynamics, or mobile only in certain directions. They constitute a new class of quantum state of matter, which does not wholly fit into any of the existing paradigms, but which connects to areas including glassy quantum dynamics, topological order, spin liquids, elasticity theory, quantum information theory, and gravity. We begin by discussing gapped fracton phases, which may be described using exactly solvable lattice spin models. We introduce the basic phenomena, and discuss the geometric and topological response of fracton phases. We also discuss connections to generalized gauge theories, and explain how gapped fracton phases may be obtained from more familiar theories. We then introduce the framework of tensor gauge theory, which provides a powerful complementary perspective on fracton phases. We discuss how tensor gauge theory encodes the fracton phenomenon, and how it allows us to access gapless fracton phases. We discuss the basic properties of gapless fracton phases, and their connections to elasticity theory and gravity. We also discuss what is known about the dynamics and thermodynamics of fractons at non-zero density, before concluding with a brief survey of some open problems.

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


title: Convexity of Solvability Set of Power Distribution Networks

abstract: The solvability set of a power network - the set of all power injection vectors for which the corresponding Power Flow equations admit a solution - is central to power systems stability and security, as well as to the tightness of Optimal Power Flow relaxations. Whenever the solvability set is convex, this allows for substantial simplifications of various optimization and risk assessment algorithms. In this paper we focus on the solvability set of power distribution networks and prove convexity of the full solvability set (real and reactive powers) for tree homogeneous networks with the same r/x ratio for all elements. We also show this result can not be improved: once the network is not homogeneous, the convexity is immediately lost. It is nevertheless the case that if the network is almost homogeneous, a substantial practically-important part of the solvability set is still convex. Finally, we prove convexity of real solvability set (only real powers) for any tree network as well as for purely resistive networks with arbitrary topology.


title: Stellar disc streams as probes of the Galactic potential and satellite impacts

abstract: Stars aligned in thin stream-like features (feathers), with widths of $\delta\sim1-10^{\circ}$ and lengths as large as $\Delta l\sim180^{\circ}$, have been observed towards the Anticenter of our Galaxy and their properties mapped in abundances and phase-space. We study their origin by analysing similar features arising in an N-body simulation of a Galactic disc interacting with a Sagittarius-like dwarf spheroidal galaxy (Sgr). By following the orbits of the particles identified as contributing to feathers backwards in time, we trace their excitation to one of Sgr's previous pericentric passages. These particles initially span a large range of phase-angles but a tight range of radii, suggesting they provide a probe of populations in distinct annuli in the outer Galactic disc. The structures are long lived and persist after multiple passages on timescales of $\sim4 \,\rm{Gyrs}$. On the sky, they exhibit oscillatory motion that can be traced with a single orbit mapped over much of their full length and with amplitudes and gradients similar to those observed. We demonstrate how these properties of feathers may be exploited to measure the potential, its flattening, as well as infer the strength of recent potential perturbations.


title: Symmetry Constrained Two Higgs Doublet Models

abstract: We study Two-Higgs-Doublet Models (2HDM) where Abelian symmetries have been introduced, leading to a drastic reduction in the number of free parameters in the 2HDM. Our analysis is inspired in BGL models, where, as the result of a symmetry of the Lagrangian, there are tree-level scalar mediated Flavour-Changing-Neutral-Currents, with the flavour structure depending only on the CKM matrix. A systematic analysis is done on the various possible schemes, which are classified in different classes, depending on the way the extra symmetries constrain the matrices of couplings defining the flavour structure of the scalar mediated neutral currents. All the resulting flavour textures of the Yukawa couplings are stable under renormalisation since they result from symmetries imposed at the Lagrangian level. We also present a brief phenomenological analysis of the most salient features of each class of symmetry constrained 2HDM.


title: Supermassive black holes with higher Eddington ratios preferentially form in gas-rich galaxies

abstract: The Eddington ratio ($\lambda_{\rm Edd}$) of supermassive black holes (SMBHs) is a fundamental parameter that governs the cosmic growth of SMBHs. Although gas mass accretion onto SMBHs is sustained when they are surrounded by large amounts of gas, little is known about the molecular content of galaxies, particularly those hosting super-Eddington SMBHs ($\lambda_{\rm Edd} > 1$: the key phase of SMBH growth). Here, we compiled reported optical and $^{12}$CO(1--0) data of local quasars to characterize their hosts. We found that higher $\lambda_{\rm Edd}$ SMBHs tend to reside in gas rich (i.e., high gas mass to stellar mass fraction = $f_{\rm gas}$) galaxies. We used two methods to make this conclusion: one uses black hole mass as a surrogate for stellar mass by assuming a local co-evolutionary relationship, and the other directly uses stellar masses estimated from near-infrared observations. The $f_{\rm gas}$--$\lambda_{\rm Edd}$ correlation we found concurs with the cosmic decreasing trend in $\lambda_{\rm Edd}$, as cold molecular gas is primarily consumed by star formation. This correlation qualitatively matches predictions of recent semi-analytic models about the cosmic downsizing of SMBHs as well. As the gas mass surface density would eventually be a key parameter controlling mass accretion, we need high-resolution observations to identify further differences in the molecular properties around super-Eddington and sub-Eddington SMBHs.


title: Reduction of the electrodynamics of superconductors to those for conductors with the incorporation of spatial dispersion

abstract: We derive general frequency dependencies of the surface impedance modulus for conductors without the dc dissipation, i. e. for superconductors or perfect conductors. The frequency-dependent surface impedance was applied for the solutions corresponding to the spatially dispersive eigenvalues of the permittivity operator for conductors. We demonstrate that appropriately taken into account effects of the spatial dispersion can give the general frequency dependence of the surface impedance for the obtained solutions including that for superconductor. It is shown that an incorporation of the spatial dispersion leads to an appearance of the Meissner effect in perfect conductors in the same manner as in superconductors.


title: Multiresolution analysis of point processes and statistical thresholding for wavelet-based intensity estimation

abstract: We take a wavelet based approach to the analysis of point processes and the estimation of the first order intensity under a continuous time setting. A multiresolution analysis of a point process is formulated which motivates the definition of homogeneity at different scales of resolution, termed $J$-th level homogeneity. Further to this, the activity in a point processes' first order behavior at different scales of resolution is also defined and termed $L$-th level innovation. Likelihood ratio tests for both these properties are proposed with asymptotic distributions provided, even when only a single realization of the point process is observed. The test for $L$-th level innovation forms the basis for a collection of statistical strategies for thresholding coefficients in a wavelet based estimator of the intensity function. These thresholding strategies are shown to outperform the existing local hard thresholding strategy on a range of simulation scenarios.


title: MemGEN: Memory is All You Need

abstract: We propose a new learning paradigm called Deep Memory. It has the potential to completely revolutionize the Machine Learning field. Surprisingly, this paradigm has not been reinvented yet, unlike Deep Learning. At the core of this approach is the \textit{Learning By Heart} principle, well studied in primary schools all over the world. Inspired by poem recitation, or by $\pi$ decimal memorization, we propose a concrete algorithm that mimics human behavior. We implement this paradigm on the task of generative modeling, and apply to images, natural language and even the $\pi$ decimals as long as one can print them as text. The proposed algorithm even generated this paper, in a one-shot learning setting. In carefully designed experiments, we show that the generated samples are indistinguishable from the training examples, as measured by any statistical tests or metrics.


title: Infinite dimensional Chevalley groups and Kac-Moody groups over $\mathbb{Z}$

abstract: Let $A$ be a symmetrizable generalized Cartan matrix, which is not of finite or affine type. Let $\mathfrak{g}$ be the corresponding Kac-Moody algebra over a commutative ring $R$ with $1$. We construct an infinite-dimensional group $G_V(R)$ analogous to a finite-dimensional Chevalley group over $R$. We use a $\mathbb{Z}$-form of the universal enveloping algebra of $\mathfrak{g}$ and a $\mathbb{Z}$-form of an integrable highest-weight module $V$. We construct groups $G_V(\mathbb{Z})$ analogous to arithmetic subgroups in the finite-dimensional case. We also consider a universal representation-theoretic Kac-Moody group $G$ and its completion $\widetilde{G}$. For the completion we prove a Bruhat decomposition $\widetilde{G}({\mathbb{Q}})=\widetilde{G}({\mathbb{Z}})\widetilde{B}({\mathbb{Q}})$ over $\mathbb{Q}$, and that the arithmetic subgroup $\widetilde{\Gamma}(\mathbb{Z})$ coincides with the subgroup of integral points $\widetilde{G}(\mathbb{Z})$


title: Quiver Subtractions

abstract: We study the vacuum structure of gauge theories with eight supercharges. It has been recently discovered that in the Higgs branch of $5d$ and $6d$ SQCD theories with eight supercharges, the new massless states, arising when the gauge coupling is taken to infinity, can be described in terms of Coulomb branches of $3d ~\mathcal N=4$ quiver gauge theories. The description of this new phenomenon draws from the ideas discovered in the analysis of nilpotent orbits as Higgs and Coulomb branches of $3d$ theories and promotes the Higgs mechanism known as the Kraft-Procesi transition to the status of a new operation between quivers. This is the quiver subtraction. This paper establishes this operation formally and examines some immediate consequences. One is the extension of the physical realization of Kraft-Procesi transitions from the classical to the exceptional Lie algebras. Another result is the extension from special nilpotent orbits to non-special ones. One further consequence is the analysis of the effect in $5d ~\mathcal N=1$ SQCD of integrating out a massive quark while the gauge coupling remains infinite. In general, the subtraction of quivers sheds light on the different types of singularities within the Coulomb branch and the structure of the massless states that arise at those singular points; including the nature of the new Higgs branches that open up. This allows for a systematic analysis of mixed branches of $3d ~\mathcal N=4$ quivers that do not necessarily have a simple embedding in string theory. The subtraction of two quivers is an extremely simple resource for the theoretical physicist interested in the vacuum structure of gauge theories, and yet its power is so remarkable that is bound to play a crucial role in the coming discoveries of new and exciting physics in $5$ and $6$ dimensions.


title: Search for Exotic Gluonic States in the Nucleus, A Letter of Intent to Jefferson Lab PAC 44

abstract: We renew our intent to submit a proposal to perform a search for a non-zero value of the unmeasured hadronic double helicity flip structure function $\Delta(x,Q^2)$, predicted to be sensitive to gluons in the nucleus. This would be performed with an unpolarized electron beam and transversely polarized, spin-1, nuclear target. This structure function was first identified by Jaffe and Manohar in 1989 as "a clear signature for exotic gluonic components in the target," and a recent lattice QCD result by our collaborators has prompted renewed interest in the topic. An inclusive search with deep inelastic scattering, below $x$ of 0.3, via single spin tensor asymmetries may be feasible using the CEBAF 12 GeV electron beam and JLab/UVa solid polarized target, and would represent the first experimental exploration of this quantity.


title: An FPGA-Based Hardware Accelerator for Energy-Efficient Bitmap Index Creation

abstract: Bitmap index is recognized as a promising candidate for online analytics processing systems, because it effectively supports not only parallel processing but also complex and multi-dimensional queries. However, bitmap index creation is a time-consuming task. In this study, by taking full advantage of massive parallel computing of field-programmable gate array (FPGA), two hardware accelerators of bitmap index creation, namely BIC64K8 and BIC32K16, are originally proposed. Each of the accelerator contains two primary components, namely an enhanced content-addressable memory and a query logic array module, which allow BIC64K8 and BIC32K16 to index 65,536 8-bit words and 32,768 16-bit words in parallel, at every clock cycle. The experimental results on an Intel Arria V 5ASTFD5 FPGA prove that at 100 MHz, BIC64K8 and BIC32K16 achieve the approximate indexing throughput of 1.43 GB/s and 1.46 GB/s, respectively. The throughputs are also proven to be stable, regardless the size of the data sets. More significantly, BIC32K16 only consumes as low as 6.76% and 3.28% of energy compared to the central-processing-unit- and graphic-processing-unit-based designs, respectively.


title: Tracy-Widom fluctuations in 2D random Schrodinger operators

abstract: We construct a random Schrodinger operator on a subset of the hexagonal lattice and study its smallest positive eigenvalues. Using an asymptotic mapping, we relate them to the partition function of the directed polymer model on the square lattice. For a specific choice of the edge weight distribution, we obtain a model known as the log-Gamma polymer, which is integrable. Recent results about the fluctuations of free energy for the log-Gamma polymer allow us to prove Tracy-Widom type fluctuations for the smallest eigenvalue of the random Schrodinger operator. We also relate the distribution of its k smallest positive eigenvalues to the nonintersecting partition functions of order k.


title: Interpretable and Globally Optimal Prediction for Textual Grounding using Image Concepts

abstract: Textual grounding is an important but challenging task for human-computer interaction, robotics and knowledge mining. Existing algorithms generally formulate the task as selection from a set of bounding box proposals obtained from deep net based systems. In this work, we demonstrate that we can cast the problem of textual grounding into a unified framework that permits efficient search over all possible bounding boxes. Hence, the method is able to consider significantly more proposals and doesn't rely on a successful first stage hypothesizing bounding box proposals. Beyond, we demonstrate that the trained parameters of our model can be used as word-embeddings which capture spatial-image relationships and provide interpretability. Lastly, at the time of submission, our approach outperformed the current state-of-the-art methods on the Flickr 30k Entities and the ReferItGame dataset by 3.08% and 7.77% respectively.


title: Is natural higgsino-only dark matter excluded?

abstract: The requirement of electroweak naturalness in supersymmetric (SUSY) models of particle physics necessitates light higgsinos not too far from the weak scale characterized by m(weak)~ m(W,Z,h)~100 GeV. On the other hand, LHC Higgs mass measurements and sparticle mass limits point to a SUSY breaking scale in the multi-TeV regime. Under such conditions, the lightest SUSY particle is expected to be a mainly higgsino-like neutralino with non-negligible gaugino components (required by naturalness). The computed thermal WIMP abundance in natural SUSY models is then found to be typically a factor 5-20 below its measured value. To gain concordance with observations, either an additional DM particle (the axion is a well-motivated possibility) must be present or additional non-thermal mechanisms must augment the neutralino abundance. We compare present direct and indirect WIMP detection limits to three natural SUSY models based on gravity-, anomaly- and mirage-mediation. We show that the case of natural higgsino-only dark matter where non-thermal production mechanisms augment its relic density, is essentially excluded by a combination of direct detection constraints from PandaX-II, LUX and Xenon-1t experiments, and by bounds from Fermi-LAT/MAGIC observations of gamma rays from dwarf spheroidal galaxies.


title: Unleashing and Speeding Up Readers in Atomic Object Implementations

abstract: Providing efficient emulations of atomic read/write objects in asynchronous, crash-prone, message-passing systems is an important problem in distributed computing. Communication latency is a factor that typically dominates the performance of message-passing systems, consequently the efficiency of algorithms implementing atomic objects is measured in terms of the number of communication exchanges involved in each read and write operation. The seminal result of Attiya, Bar-Noy, and Dolev established that two pairs of communication exchanges, or equivalently two round-trip communications, are sufficient. Subsequent research examined the possibility of implementations that involve less than four exchanges. The work of Dutta et al. showed that for single-writer/multiple-reader (SWMR) settings two exchanges are sufficient, provided that the number of readers is severely constrained with respect to the number of object replicas in the system and the number of replica failures, and also showed that no two exchange implementations of multiple-writer/multiple-reader (MWMR) objects are possible. Later research focused on providing implementations that remove the constraint on the number of readers, while having read and write operations that use variable number of communication exchanges, specifically two, three, or four exchanges. This work presents two advances in the state-of-the-art in this area. Specifically, for SWMR and MWMR systems algorithms are given in which read operations take two or three exchanges. This improves on prior works where read operations took either (a) three exchanges, or (b) two or four exchanges. The number of readers in the new algorithms is unconstrained, and write operations take the same number of exchanges as in prior work (two for SWMR and four for MWMR settings). The correctness of algorithms is rigorously argued.