title: Compact cold atom clock for on-board timebase: tests in reduced gravity

abstract: We present a compact atomic clock using cold rubidium atoms based on an isotropic light cooling, a Ramsey microwave interrogation and an absorption detection. Its technology readiness level is suitable to industrial transfer. We use a fibre optical bench, based on a frequency-doubled telecom laser. The isotropic light cooling technique allows us to cool down the atoms in 100 ms and works with a cycle time around 200 ms. We carried out measurements in simulated microgravity and obtained the narrowest fringes ever recorded in microgravity.


title: Learning to Sample

abstract: Processing large point clouds is a challenging task. Therefore, the data is often sampled to a size that can be processed more easily. The question is how to sample the data? A popular sampling technique is Farthest Point Sampling (FPS). However, FPS is agnostic to a downstream application (classification, retrieval, etc.). The underlying assumption seems to be that minimizing the farthest point distance, as done by FPS, is a good proxy to other objective functions. We show that it is better to learn how to sample. To do that, we propose a deep network to simplify 3D point clouds. The network, termed S-NET, takes a point cloud and produces a smaller point cloud that is optimized for a particular task. The simplified point cloud is not guaranteed to be a subset of the original point cloud. Therefore, we match it to a subset of the original points in a post-processing step. We contrast our approach with FPS by experimenting on two standard data sets and show significantly better results for a variety of applications. Our code is publicly available at: https://github.com/orendv/learning_to_sample


title: Critical behavior of the quasi-periodic quantum Ising chain

abstract: The interplay of correlated spatial modulation and symmetry breaking leads to quantum critical phenomena intermediate between those of the clean and randomly disordered cases. By performing a detailed analytic and numerical case study of the quasi-periodically (QP) modulated transverse field Ising chain, we provide evidence for the conjectures of Ref. [Crowley et. al. 2018] regarding the QP-Ising universality class. In the generic case, we confirm that the logarithmic wandering coefficient $w$ governs both the macroscopic critical exponents and the energy-dependent localisation length of the critical excitations. However, for special values of the phase difference $\Delta$ between the exchange and transverse field couplings, the QP-Ising transition has different properties. For $\Delta=0$, a generalised Aubry-Andr\'e duality prevents the finite energy excitations from localising despite the presence of logarithmic wandering. For $\Delta$ such that the fields and couplings are related by a lattice shift, the wandering coefficient $w$ vanishes. Nonetheless, the presence of small couplings leads to non-trivial exponents and localised excitations. Our results add to the rich menagerie of quantum Ising transitions in the presence of spatial modulation.


title: Graph-based Security and Privacy Analytics via Collective Classification with Joint Weight Learning and Propagation

abstract: Many security and privacy problems can be modeled as a graph classification problem, where nodes in the graph are classified by collective classification simultaneously. State-of-the-art collective classification methods for such graph-based security and privacy analytics follow the following paradigm: assign weights to edges of the graph, iteratively propagate reputation scores of nodes among the weighted graph, and use the final reputation scores to classify nodes in the graph. The key challenge is to assign edge weights such that an edge has a large weight if the two corresponding nodes have the same label, and a small weight otherwise. Although collective classification has been studied and applied for security and privacy problems for more than a decade, how to address this challenge is still an open question. In this work, we propose a novel collective classification framework to address this long-standing challenge. We first formulate learning edge weights as an optimization problem, which quantifies the goals about the final reputation scores that we aim to achieve. However, it is computationally hard to solve the optimization problem because the final reputation scores depend on the edge weights in a very complex way. To address the computational challenge, we propose to jointly learn the edge weights and propagate the reputation scores, which is essentially an approximate solution to the optimization problem. We compare our framework with state-of-the-art methods for graph-based security and privacy analytics using four large-scale real-world datasets from various application scenarios such as Sybil detection in social networks, fake review detection in Yelp, and attribute inference attacks. Our results demonstrate that our framework achieves higher accuracies than state-of-the-art methods with an acceptable computational overhead.


title: Feed-Forward Neural Networks Need Inductive Bias to Learn Equality Relations

abstract: Basic binary relations such as equality and inequality are fundamental to relational data structures. Neural networks should learn such relations and generalise to new unseen data. We show in this study, however, that this generalisation fails with standard feed-forward networks on binary vectors. Even when trained with maximal training data, standard networks do not reliably detect equality.We introduce differential rectifier (DR) units that we add to the network in different configurations. The DR units create an inductive bias in the networks, so that they do learn to generalise, even from small numbers of examples and we have not found any negative effect of their inclusion in the network. Given the fundamental nature of these relations, we hypothesize that feed-forward neural network learning benefits from inductive bias in other relations as well. Consequently, the further development of suitable inductive biases will be beneficial to many tasks in relational learning with neural networks.


title: Skyline Diagram: Efficient Space Partitioning for Skyline Queries

abstract: Skyline queries are important in many application domains. In this paper, we propose a novel structure Skyline Diagram, which given a set of points, partitions the plane into a set of regions, referred to as skyline polyominos. All query points in the same skyline polyomino have the same skyline query results. Similar to $k^{th}$-order Voronoi diagram commonly used to facilitate $k$ nearest neighbor ($k$NN) queries, skyline diagram can be used to facilitate skyline queries and many other applications. However, it may be computationally expensive to build the skyline diagram. By exploiting some interesting properties of skyline, we present several efficient algorithms for building the diagram with respect to three kinds of skyline queries, quadrant, global, and dynamic skylines. In addition, we propose an approximate skyline diagram which can significantly reduce the space cost. Experimental results on both real and synthetic datasets show that our algorithms are efficient and scalable.


title: A Stable Cardinality Distance for Topological Classification

abstract: This work incorporates topological features via persistence diagrams to classify point cloud data arising from materials science. Persistence diagrams are multisets summarizing the connectedness and holes of given data. A new distance on the space of persistence diagrams generates relevant input features for a classification algorithm for materials science data. This distance measures the similarity of persistence diagrams using the cost of matching points and a regularization term corresponding to cardinality differences between diagrams. Establishing stability properties of this distance provides theoretical justification for the use of the distance in comparisons of such diagrams. The classification scheme succeeds in determining the crystal structure of materials on noisy and sparse data retrieved from synthetic atom probe tomography experiments.


title: Auto-tuning TensorFlow Threading Model for CPU Backend

abstract: TensorFlow is a popular deep learning framework used by data scientists to solve a wide-range of machine learning and deep learning problems such as image classification and speech recognition. It also operates at a large scale and in heterogeneous environments --- it allows users to train neural network models or deploy them for inference using GPUs, CPUs and deep learning specific custom-designed hardware such as TPUs. Even though TensorFlow supports a variety of optimized backends, realizing the best performance using a backend may require additional efforts. For instance, getting the best performance from a CPU backend requires careful tuning of its threading model. Unfortunately, the best tuning approach used today is manual, tedious, time-consuming, and, more importantly, may not guarantee the best performance. In this paper, we develop an automatic approach, called TensorTuner, to search for optimal parameter settings of TensorFlow's threading model for CPU backends. We evaluate TensorTuner on both Eigen and Intel's MKL CPU backends using a set of neural networks from TensorFlow's benchmarking suite. Our evaluation results demonstrate that the parameter settings found by TensorTuner produce 2% to 123% performance improvement for the Eigen CPU backend and 1.5% to 28% performance improvement for the MKL CPU backend over the performance obtained using their best-known parameter settings. This highlights the fact that the default parameter settings in Eigen CPU backend are not the ideal settings; and even for a carefully hand-tuned MKL backend, the settings may be sub-optimal. Our evaluations also revealed that TensorTuner is efficient at finding the optimal settings --- it is able to converge to the optimal settings quickly by pruning more than 90% of the parameter search space.


title: A Closed Form Solution for the Normal Form and Zero Dynamics of a Class of Nonlinear Systems

abstract: The normal form and zero dynamics are powerful tools useful in analysis and control of both linear and nonlinear systems. There are no simple closed form solutions to the general zero dynamics problem for nonlinear systems. A few algorithms exist for determining the zero dynamics, but none is straightforward and all are difficult to apply to large dimensional problems. A Closed form solution to the zero dynamics problem would motivate more usage of this powerful technique. The author presents here a simple algebraic methodology for the normal form and zero dynamics calculation of a class of nonlinear systems, mostly found in dynamical mechanical systems. The solution is in closed form so that application of the theorem presented is straight forward. As an illustration, the zero dynamics calculations for the complex dynamics of a flexible spacecraft is presented to demonstrate the simplicity and usefulness of the proposed closed form solution. Keywords: Control, Differential Geometry, Normal Form, Zero Dynamics, Nonlinear Systems, Feedback Linearization, Attitude Dynamics, Flexible Spacecraft.


title: A novel lightweight hardware-assisted static instrumentation approach for ARM SoC using debug components

abstract: Most of hardware-assisted solutions for software security, program monitoring, and event-checking approaches require instrumentation of the target software, an operation which can be performed using an SBI (Static Binary Instrumentation) or a DBI (Dynamic Binary Instrumentation) framework. Hardware-assisted instrumentation can use one of these two solutions to instrument data to a memory-mapped register. Both these approaches require an in-depth knowledge of frameworks and an important amount of software modifications in order to instrument a whole application. This work proposes a novel way to instrument an application with minor modifications, at the source code level, taking advantage of underlying hardware debug components such as CS (CoreSight) components available on Xilinx Zynq SoCs. As an example, the instrumentation approach proposed in this work is used to detect a double free security attack. Furthermore, it is evaluated in terms of runtime and area overhead. Results show that the proposed solution takes 30 $\mu$s on average to instrument an instruction while the optimized version only takes 0.014 us which is ten times better than usual memory-mapped register solutions used in existing works.


title: Possible Experimental Realization of a Basic Z2 Topological Semimetal

abstract: We report experimental and theoretical evidence that GaGeTe is a basic $Z_2$ topological semimetal with three types of charge carriers: bulk-originated electrons and holes as well as surface state electrons. This electronic situation is qualitatively similar to the primer 3D topological insulator Bi2Se3, but important differences account for an unprecedented transport scenario in GaGeTe. High-resolution angle-resolved photoemission spectroscopy combined with advanced band structure calculations show a small indirect energy gap caused by a peculiar band inversion in the \textit{T}-point of the Brillouin zone in GaGeTe. An energy overlap of the valence and conduction bands brings both electron- and hole-like carriers to the Fermi level, while the momentum gap between the corresponding dispersions remains finite. We argue that peculiarities of the electronic spectrum of GaGeTe have a fundamental importance for the physics of topological matter and may boost the material's application potential.


title: Dynamo effect in the double periodic variable DQ Velorum

abstract: DQ Velorum is a galactic double periodic variable (DPV), this system is a semi-detached binary comprised of a B-type gainer and an A-type donor star plus an extended accretion disc around the gainer. The system also presents an orbital period of $6.08337$~days and a long period of $189$~days whose origin is still under debate. Here we studied the possibility that this period may be driven by a magnetic dynamo investigating the entire evolution of the system. The model matches in a very good way the current state of the system and it can potentially be used to describe the evolution of DQ Velorum. It also predicts an increase of the dynamo number of the donor during epochs of high mass transfer in this system, and a theoretical long/orbital period ratio very close to the observed one at the present system age.


title: Boulder Stranding in Ejecta Launched by an Impact Generated Seismic Pulse

abstract: We consider how an impact generated seismic pulse affects the surface of an asteroid distant from the impact site. With laboratory experiments on dry polydisperse gravel mixtures, we track the trajectories of particles ejected from the surface by a single strong upward propagating pressure pulse. High speed video images show that ejecta trajectories are independent of particle size, and collisions primarily take place upon landing. When they land particles are ballistically sorted, as proposed by Shinbrot et al. (2017), leaving larger particles on the surface and smaller particles more widely dispersed. A single strong pulse can leave previously buried boulders stranded on the surface. Boulder stranding due to an impact excited seismic pulse is an additional mechanism that could leave large boulders present on the surface of rubble asteroids such as 162173 Ryugu, 101955 Bennu and 25143 Itokawa.


title: On growth rate in $SL_2(\mathbf{F}_p)$, the affine group and sum-product type implications

abstract: This paper aims to study in more depth the relation between growth in matrix groups ${{\rm SL_2}}(\mathbf{F})$ and ${{\rm Aff}}(\mathbf{F})$ over a field $\mathbf{F}$ by multiplication and geometric incidence estimates, associated with the sum-product phenomenon over $\mathbf{F}$. It presents streamlined proofs of Helfgott's theorems on growth in the $\mathbf{F}_p$-case, which avoid sum-product estimates. For ${{\rm SL_2}}(\mathbf{F}_p)$, for sets exceeding in size some absolute constant, we improve the lower bound $\frac{1}{1512}$ for the growth exponent, due to Kowalski, to $\frac{1}{21}.$ For the affine group we fetch a sharp theorem of Sz\H{o}nyi on the number of directions, determined by a point set in $\mathbf{F}_p^2$. We then focus on ${{\rm Aff}}(\mathbf{F})$ and present a new incidence bound between a set of points and a set of lines in $\mathbf{F}^2$, which explicitly depends on the energy of the set of lines as affine transformations under composition. This bound, strong when the number of lines is considerably smaller than the number of points, yields generalizations of structural theorems of Elekes and Murphy on rich lines in grids. In the special case when the set of lines is also a grid -- relating back to sum-products -- we use growth in ${{\rm Aff}}(\mathbf{R})$ to obtain a subthreshold estimate on the energy of the set of lines. This yields a unified way to break the ice in various threshold sum-product type energy inequalities. We show this in applications to energy estimates, corresponding to sets $A(A+ A)$, $A+AA$ (also embracing asymmetric versions) as well as $A+B$ when $A$ has small multiplicative doubling and $\sqrt{|A|} \le |B|\le|A|^{1+o(1)}$.


title: Energy Efficient Hardware for On-Device CNN Inference via Transfer Learning

abstract: On-device CNN inference for real-time computer vision applications can result in computational demands that far exceed the energy budgets of mobile devices. This paper proposes FixyNN, a co-designed hardware accelerator platform which splits a CNN model into two parts: a set of layers that are fixed in the hardware platform as a front-end fixed-weight feature extractor, and the remaining layers which become a back-end classifier running on a conventional programmable CNN accelerator. The common front-end provides ubiquitous CNN features for all FixyNN models, while the back-end is programmable and specific to a given dataset. Image classification models for FixyNN are trained end-to-end via transfer learning, with front-end layers fixed for the shared feature extractor, and back-end layers fine-tuned for a specific task. Over a suite of six datasets, we trained models via transfer learning with an accuracy loss of <1%, resulting in a FixyNN hardware platform with nearly 2 times better energy efficiency than a conventional programmable CNN accelerator of the same silicon area (i.e. hardware cost).


title: Revisiting the Photon-Drag Effect in Metal Films

abstract: The photon-drag effect, the rectified current in a medium induced by conservation of momentum of absorbed or redirected light, is a unique probe of the detailed mechanisms underlying radiation pressure. We revisit this effect in gold, a canonical Drude metal. We discover that the signal for p-polarized illumination in ambient air is affected in both sign and magnitude by adsorbed molecules, opening previous measurements for reinterpretation. Further, we show that the intrinsic sign of the photon-drag effect is contrary to the prevailing intuitive model of direct momentum transfer to free electrons.


title: Proving that a Tree Language is not First-Order Definable

abstract: We explore from an algebraic viewpoint the properties of the tree languages definable with a first-order formula involving the ancestor predicate, using the description of these languages as those recognized by iterated block products of forest algebras defined from finite counter monoids. Proofs of nondefinability are infinite sequences of sets of forests, one for each level of the hierarchy of quantification levels that defines the corresponding variety of languages. The forests at a given level are built recursively by inserting forests from previous level at the ports of a suitable set of multicontexts. We show that a recursive proof exists for the syntactic algebra of every non-definable language. We also investigate certain types of uniform recursive proofs. For this purpose, we define from a forest algebra an algebra of mappings and an extended algebra, which we also use to redefine the notion of aperiodicity in a way that generalizes the existing ones.


title: Deep quench approximation and optimal control of general Cahn-Hilliard systems with fractional operators and double obstacle potentials

abstract: The paper arXiv:1804.11290 contains well-posedness and regularity results for a system of evolutionary operator equations having the structure of a Cahn-Hilliard system. The operators appearing in the system equations were fractional versions in the spectral sense of general linear operators A and B having compact resolvents and are densely defined, unbounded, selfadjoint, and monotone in a Hilbert space of functions defined in a smooth domain. The associated double-well potentials driving the phase separation process modeled by the Cahn-Hilliard system could be of a very general type that includes standard physically meaningful cases such as polynomial, logarithmic, and double obstacle nonlinearities. In the subsequent paper arXiv:1807.03218, an analysis of distributed optimal control problems was performed for such evolutionary systems, where only the differentiable case of certain polynomial and logarithmic double-well potentials could be admitted. Results concerning existence of optimizers and first-order necessary optimality conditions were derived. In the present paper, we complement these results by studying a distributed control problem for such evolutionary systems in the case of nondifferentiable nonlinearities of double obstacle type. For such nonlinearities, it is well known that the standard constraint qualifications cannot be applied to construct appropriate Lagrange multipliers. To overcome this difficulty, we follow here the so-called "deep quench" method. We first give a general convergence analysis of the deep quench approximation that includes an error estimate and then demonstrate that its use leads in the double obstacle case to appropriate first-order necessary optimality conditions in terms of a variational inequality and the associated adjoint state system.


title: Low-Dimensional Few-Body Processes in Confined Geometry of Atomic and Hybrid Atom-Ion Traps

abstract: We have developed an efficient approach for treating low-dimensional few-body processes in confined geometry of atomic and hybrid atom-ion traps. It based on the split-operator method in 2D discrete-variable representation (DVR) suggested by V. Melezhik for integration of the few-dimensional time-dependent Schr\"odinger equation. We give a brief review of the application to resonant ultracold atomic processes and discuss our latest results on hybrid atomic-ion systems. Prospects for the application of the method in other hot problems of the physics of low-dimensional few-particle systems are also discussed.


title: A Pixel-Based Framework for Data-Driven Clothing

abstract: With the aim of creating virtual cloth deformations more similar to real world clothing, we propose a new computational framework that recasts three dimensional cloth deformation as an RGB image in a two dimensional pattern space. Then a three dimensional animation of cloth is equivalent to a sequence of two dimensional RGB images, which in turn are driven/choreographed via animation parameters such as joint angles. This allows us to leverage popular CNNs to learn cloth deformations in image space. The two dimensional cloth pixels are extended into the real world via standard body skinning techniques, after which the RGB values are interpreted as texture offsets and displacement maps. Notably, we illustrate that our approach does not require accurate unclothed body shapes or robust skinning techniques. Additionally, we discuss how standard image based techniques such as image partitioning for higher resolution, GANs for merging partitioned image regions back together, etc., can readily be incorporated into our framework.


title: Solving group Steiner problems as Steiner problems: the rigorous proof

abstract: The Steiner tree problems are well-known NP-hard problems that have diverse applications. Duin et al. (2004) have intuitively proposed the widely-used transformation from the classical group Steiner tree problem to the classical Steiner tree problem in graphs. This transformation has not been rigorously proven so far. Specifically, the large M value that is used in this transformation has not been specified. In this paper, we address this issue by rigorously prove this transformation for a specific large M value.


title: Cluster Cosmology Constraints from the 2500 deg$^2$ SPT-SZ Survey: Inclusion of Weak Gravitational Lensing Data from Magellan and the Hubble Space Telescope

abstract: We derive cosmological constraints using a galaxy cluster sample selected from the 2500~deg$^2$ SPT-SZ survey. The sample spans the redshift range $0.25< z<1.75$ and contains 343 clusters with SZ detection significance $\xi>5$. The sample is supplemented with optical weak gravitational lensing measurements of 32 clusters with $0.29<z<1.13$ (from Magellan and HST) and X-ray measurements of 89 clusters with $0.25<z<1.75$ (from Chandra). We rely on minimal modeling assumptions: i) weak lensing provides an accurate means of measuring halo masses, ii) the mean SZ and X-ray observables are related to the true halo mass through power-law relations in mass and dimensionless Hubble parameter $E(z)$ with a-priori unknown parameters, iii) there is (correlated, lognormal) intrinsic scatter and measurement noise relating these observables to their mean relations. We simultaneously fit for these astrophysical modeling parameters and for cosmology. Assuming a flat $\nu\Lambda$CDM model, in which the sum of neutrino masses is a free parameter, we measure $\Omega_\mathrm{m}=0.276\pm0.047$, $\sigma_8=0.781\pm0.037$, and $\sigma_8(\Omega_\mathrm{m}/0.3)^{0.2}=0.766\pm0.025$. The redshift evolution of the X-ray $Y_\mathrm{X}$-mass and $M_\mathrm{gas}$-mass relations are both consistent with self-similar evolution to within $1\sigma$. The mass-slope of the $Y_\mathrm{X}$-mass relation shows a $2.3\sigma$ deviation from self-similarity. Similarly, the mass-slope of the $M_\mathrm{gas}$-mass relation is steeper than self-similarity at the $2.5\sigma$ level. In a $\nu w$CDM cosmology, we measure the dark energy equation of state parameter $w=-1.55\pm0.41$ from the cluster data. We perform a measurement of the growth of structure since redshift $z\sim1.7$ and find no evidence for tension with the prediction from General Relativity. We provide updated redshift and mass estimates for the SPT sample. (abridged)


title: Analyzing temporal variations of AGN emission line profiles in the context of (dusty) cloud structure formation in the broad line region

abstract: The formation processes and the exact appearance of the dust torus and broad line region (BLR) of active galactic nuclei (AGN) are under debate. Theoretical studies show a possible connection between the dust torus and BLR through a common origin in the accretion disk. However observationally the dust torus and BLR are typically studied separately. NGC~4151 is possibly one of the best suited Seyfert~1 galaxies for simultaneous examinations because of its high number of both photometric and spectroscopic observations in the past. Here we compare changes of the dust radius to shape variations of broad emission lines (BEL). While the radius of the dust torus decreased by almost a factor of two from 2004 to 2006 shape variations can be seen in the red wing of BELs of NGC~4151. These simultaneous changes are discussed in a dust and BEL formation scheme. We also use the BEL shape variations to assess possible cloud distributions, especially in azimuthal direction, which could be responsible for the observed variations. Our findings can best be explained in the framework of a dust inflated accretion disk. The changes in the BELs suggest that this dusty cloud formation does not happen continuously, and over the whole accretion disk, but on the contrary in spatially confined areas over rather short amount of times. We derive limits to the azimuthal extension of the observed localized BEL flux enhancement event.


title: Deep Bayesian Self-Training

abstract: Supervised Deep Learning has been highly successful in recent years, achieving state-of-the-art results in most tasks. However, with the ongoing uptake of such methods in industrial applications, the requirement for large amounts of annotated data is often a challenge. In most real world problems, manual annotation is practically intractable due to time/labour constraints, thus the development of automated and adaptive data annotation systems is highly sought after. In this paper, we propose both a (i) Deep Bayesian Self-Training methodology for automatic data annotation, by leveraging predictive uncertainty estimates using variational inference and modern Neural Network architectures, as well as (ii) a practical adaptation procedure for handling high label variability between different dataset distributions through clustering of Neural Network latent variable representations. An experimental study on both public and private datasets is presented illustrating the superior performance of the proposed approach over standard Self-Training baselines, highlighting the importance of predictive uncertainty estimates in safety-critical domains.


title: On pattern-avoiding Fishburn permutations

abstract: The class of permutations that avoid the bivincular pattern (231, {1},{1}) is known to be enumerated by the Fishburn numbers. In this paper, we call them Fishburn permutations and study their pattern avoidance. For classical patterns of size 3, we give a complete enumerative picture for regular and indecomposable Fishburn permutations. For patterns of size 4, we focus on a Wilf equivalence class of Fishburn permutations that are enumerated by the Catalan numbers. In addition, we also discuss a class enumerated by the binomial transform of the Catalan numbers and give conjectures for other equivalence classes of pattern-avoiding Fishburn permutations.


title: Substrate-Controlled Magnetism: Fe nanowires on vicinal Cu surfaces

abstract: Here we present a novel approach to control magnetic interactions in atomic-scale nanowires. Our ab initio calculations demonstrate the possibility to tune magnetic properties of Fe nanowires formed on vicinal Cu surfaces. Both intrawire and interwire magnetic exchange parameters are extracted from DFT calculations. This study suggests that the effective interwire magnetic exchange parameters exhibit Ruderman--Kittel--Kasuya--Yosida-like (RKKY) oscillations as a function of Fe interwire separation. The choice of vicinal Cu surface offers possibilities for controlling the magnetic coupling. Furthermore, an anisotropic Heisenberg model was used in Monte Carlo simulations to examine the stability of these magnetic configurations at finite temperature. The predicted critical temperatures of the Fe nanowires on Cu(422) and Cu(533) surfaces are well-above room temperature.


title: QCD matter with a crossover and a first-order phase transition

abstract: We present a phenomenological parametrization of the phase diagram of QCD as a function of temperature $T$ and baryochemical potential $\mu$. The parametrization is constructed by introducing a switching function which controls the nature of the transition between the Hadron-Resonance Gas (HRG) and Quark-Gluon Plasma (QGP) phases of nuclear matter, such that the equation of state (EOS) possesses a rapid crossover at large $T$ and small $\mu$, a critical point placed anywhere along the phase transition line, and a first-order transition at small $T$ and large $\mu$. This EOS offers a convenient phenomenological tool for assessing the possible effects of the conjectured QCD critical point on heavy-ion observables.


title: Noncirculatory fluid forces on panels with porosity gradients

abstract: This Note determines the unsteady non-circulatory forces on an arbitrarily deforming panel with a Holder-continuous porosity distribution. An analytical expression for the non-circulatory pressure distribution is presented and evaluated for the special cases of uniform and variable-porosity panels undergoing harmonic deformations, where special attention is paid to the influence of the panel end conditions. These results constitute the first major step towards a complete linearized, unsteady aerodynamic theory for lifting porous bodies, which may have potential application to the performance estimation of biologically-inspired swimmers and fliers and to the future assessment of aeroelastic stability and flow noise production of porous airfoils.


title: Continuous Data Assimilation with a Moving Cluster of Data Points for a Reaction Diffusion Equation: A Computational Study

abstract: Data assimilation is a technique for increasing the accuracy of simulations of solutions to partial differential equations by incorporating observable data into the solution as time evolves. Recently, a promising new algorithm for data assimilation based on feedback-control at the PDE level has been proposed in the pioneering work of Azouani, Olson, and Titi (2014). The standard version of this algorithm is based on measurement from data points that are fixed in space. In this work, we consider the scenario in which the data collection points move in space over time. We demonstrate computationally that, at least in the setting of the 1D Allen-Cahn reaction diffusion equations, the algorithm converges with significantly fewer measurement points, up to an order or magnitude in some cases. We also provide an application of the algorithm to an inverse problem in the case of a uniform static grid.


title: PointCloud Saliency Maps

abstract: 3D point-cloud recognition with PointNet and its variants has received remarkable progress. A missing ingredient, however, is the ability to automatically evaluate point-wise importance w.r.t.\! classification performance, which is usually reflected by a saliency map. A saliency map is an important tool as it allows one to perform further processes on point-cloud data. In this paper, we propose a novel way of characterizing critical points and segments to build point-cloud saliency maps. Our method assigns each point a score reflecting its contribution to the model-recognition loss. The saliency map explicitly explains which points are the key for model recognition. Furthermore, aggregations of highly-scored points indicate important segments/subsets in a point-cloud. Our motivation for constructing a saliency map is by point dropping, which is a non-differentiable operator. To overcome this issue, we approximate point-dropping with a differentiable procedure of shifting points towards the cloud centroid. Consequently, each saliency score can be efficiently measured by the corresponding gradient of the loss w.r.t the point under the spherical coordinates. Extensive evaluations on several state-of-the-art point-cloud recognition models, including PointNet, PointNet++ and DGCNN, demonstrate the veracity and generality of our proposed saliency map. Code for experiments is released on \url{https://github.com/tianzheng4/PointCloud-Saliency-Maps}.


title: How Energy-Efficient Can a Wireless Communication System Become?

abstract: The data traffic in wireless networks is steadily growing. The long-term trend follows Cooper's law, where the traffic is doubled every two-and-a-half year, and it will likely continue for decades to come. The data transmission is tightly connected with the energy consumption in the power amplifiers, transceiver hardware, and baseband processing. The relation is captured by the energy efficiency metric, measured in bit/Joule, which describes how much energy is consumed per correctly received information bit. While the data rate is fundamentally limited by the channel capacity, there is currently no clear understanding of how energy-efficient a communication system can become. Current research papers typically present values on the order of 10 Mbit/Joule, while previous network generations seem to operate at energy efficiencies on the order of 10 kbit/Joule. Is this roughly as energy-efficient future systems (5G and beyond) can become, or are we still far from the physical limits? These questions are answered in this paper. We analyze a different cases representing potential future deployment and hardware characteristics.


title: Training for 'Unstable' CNN Accelerator:A Case Study on FPGA

abstract: With the great advancements of convolution neural networks(CNN), CNN accelerators are increasingly developed and deployed in the major computing systems.To make use of the CNN accelerators, CNN models are trained via the off-line training systems such as Caffe, Pytorch and Tensorflow on multi-core CPUs and GPUs first and then compiled to the target accelerators. Although the two-step process seems to be natural and has been widely applied, it assumes that the accelerators' behavior can be fully modeled on CPUs and GPUs. This does not hold true and the behavior of the CNN accelerators is un-deterministic when the circuit works at 'unstable' mode when it is overclocked or is affected by the environment like fault-prone aerospace. The exact behaviors of the accelerators are determined by both the chip fabrication and the working environment or status. In this case, applying the conventional off-line training result to the accelerators directly may lead to considerable accuracy loss. To address this problem, we propose to train for the 'unstable' CNN accelerator and have the 'un-determined behavior' learned together with the data in the same framework. Basically, it starts from the off-line trained model and then integrates the uncertain circuit behaviors into the CNN models through additional accelerator-specific training. The fine-tuned training makes the CNN models less sensitive to the circuit uncertainty. We apply the design method to both an overclocked CNN accelerator and a faulty accelerator. According to our experiments on a subset of ImageNet, the accelerator-specific training can improve the top 5 accuracy up to 3.4% and 2.4% on average when the CNN accelerator is at extreme overclocking. When the accelerator is exposed to a faulty environment, the top 5 accuracy improves up to 6.8% and 4.28% on average under the most severe fault injection.


title: General-to-Detailed GAN for Infrequent Class Medical Images

abstract: Deep learning has significant potential for medical imaging. However, since the incident rate of each disease varies widely, the frequency of classes in a medical image dataset is imbalanced, leading to poor accuracy for such infrequent classes. One possible solution is data augmentation of infrequent classes using synthesized images created by Generative Adversarial Networks (GANs), but conventional GANs also require certain amount of images to learn. To overcome this limitation, here we propose General-to-detailed GAN (GDGAN), serially connected two GANs, one for general labels and the other for detailed labels. GDGAN produced diverse medical images, and the network trained with an augmented dataset outperformed other networks using existing methods with respect to Area-Under-Curve (AUC) of Receiver Operating Characteristic (ROC) curve.


title: Measurement of inclusive very forward jet cross sections in proton-lead collisions at $\sqrt{s_\mathrm{NN}} =$ 5.02 TeV

abstract: Measurements of differential cross sections for inclusive very forward jet production in proton-lead collisions as a function of jet energy are presented. The data were collected with the CMS experiment at the LHC in the laboratory pseudorapidity range $-$6.6 $<$ $\eta$ $<$ $-$5.2. Asymmetric beam energies of 4 TeV for protons and 1.58 TeV per nucleon for Pb nuclei were used, corresponding to a center-of-mass energy per nucleon pair of $\sqrt{s_\mathrm{NN}} =$ 5.02 TeV. Collisions with either the proton (p+Pb) or the ion (Pb+p) traveling towards the negative $\eta$ hemisphere are studied. The jet cross sections are unfolded to stable-particle level cross sections with $p_\mathrm{T}$ $\gtrsim$ 3 GeV, and compared to predictions from various Monte Carlo event generators. In addition, the cross section ratio of p+Pb and Pb+p data is presented. The results are discussed in terms of the saturation of gluon densities at low fractional parton momenta. None of the models under consideration describes all the data over the full jet-energy range and for all beam configurations. Discrepancies between the differential cross sections in data and model predictions of more than two orders of magnitude are observed.


title: Asymptotic free independence and entry permutations for Gaussian random matrices

abstract: The paper presents conditions on entry permutations that induce asymptotic freeness when acting on Gaussian random matrices. The class of permutations described includes the matrix transpose, as well as entry permutations relevant in Quantum Information Theory and Quantum Physics.


title: Spread of hate speech in online social media

abstract: The present online social media platform is afflicted with several issues, with hate speech being on the predominant forefront. The prevalence of online hate speech has fueled horrific real-world hate-crime such as the mass-genocide of Rohingya Muslims, communal violence in Colombo and the recent massacre in the Pittsburgh synagogue. Consequently, It is imperative to understand the diffusion of such hateful content in an online setting. We conduct the first study that analyses the flow and dynamics of posts generated by hateful and non-hateful users on Gab (gab.com) over a massive dataset of 341K users and 21M posts. Our observations confirms that hateful content diffuse farther, wider and faster and have a greater outreach than those of non-hateful users. A deeper inspection into the profiles and network of hateful and non-hateful users reveals that the former are more influential, popular and cohesive. Thus, our research explores the interesting facets of diffusion dynamics of hateful users and broadens our understanding of hate speech in the online world.


title: Dynamical equivalence of $f(R)$ gravity in Jordan and Einstein frames

abstract: We investigate the dynamics of $f(R)$ gravity in Jordan and Einstein frames. First, we perform a phase-space singularities analysis in both frames. We show that, typically, anisotropic singularities are absent in the Einstein frame, whereas they may appear in the Jordan frame. We conciliate this apparent inconsistency by showing that the necessary conditions for the existence of the Einstein frame are namely the same ones assuring the absence of the anisotropic singularities in the Jordan frame. In other words, we show that, at least in the context of Bianchi I cosmologies, the Einstein frame is available only when the original formulation in the Jordan frame is free of anisotropic singularities. Furthermore, we present a novel dynamical system formulation for anisotropic cosmologies in which both frames, provided they exist, will be manifestly equivalent from the dynamical point of view, even though they fail to be diffeomorphic in general. Our results could help not only the construction of viable (free of anisotropic singularities) $f(R)$ cosmological models, but also contribute to the still active debate on the physical interpretation of the two frames.


title: Landau levels in wrinkled and rippled graphene sheets

abstract: We study the discrete energy spectrum of curved graphene sheets in the presence of a magnetic field. The shifting of the Landau levels is determined for complex and realistic geometries of curved graphene sheets. The energy levels follow a similar square root dependence on the energy quantum number as for rippled and flat graphene sheets. The Landau levels are shifted towards lower energies proportionally to the average deformation and the effect is larger compared to a simple uni-axially rippled geometry. Furthermore, the resistivity of wrinkled graphene sheets is calculated for different average space curvatures and shown to obey a linear relation. The study is carried out with a quantum lattice Boltzmann method, solving the Dirac equation on curved manifolds.


title: Learning Individualized Cardiovascular Responses from Large-scale Wearable Sensors Data

abstract: We consider the problem of modeling cardiovascular responses to physical activity and sleep changes captured by wearable sensors in free living conditions. We use an attentional convolutional neural network to learn parsimonious signatures of individual cardiovascular response from data recorded at the minute level resolution over several months on a cohort of 80k people. We demonstrate internal validity by showing that signatures generated on an individual's 2017 data generalize to predict minute-level heart rate from physical activity and sleep for the same individual in 2018, outperforming several time-series forecasting baselines. We also show external validity demonstrating that signatures outperform plain resting heart rate (RHR) in predicting variables associated with cardiovascular functions, such as age and Body Mass Index (BMI). We believe that the computed cardiovascular signatures have utility in monitoring cardiovascular health over time, including detecting abnormalities and quantifying recovery from acute events.


title: Measurements of inclusive and differential fiducial cross-sections of $t\bar{t}\gamma$ production in leptonic final states at $\sqrt{s}$ = 13 TeV in ATLAS

abstract: Inclusive and differential cross-sections for the production of a top-quark pair in association with a photon are measured with proton-proton collision data corresponding to an integrated luminosity of 36.1 fb$^{-1}$, collected by the ATLAS detector at the LHC in 2015 and 2016 at a centre-of-mass energy of 13 TeV. The measurements are performed in single-lepton and dilepton final states in a fiducial volume. Events with exactly one photon, one or two leptons, a channel-dependent minimum number of jets, and at least one $b$-jet are selected. Neural network algorithms are used to separate the signal from the backgrounds. The fiducial cross-sections are measured to be 521 $\pm$ 9(stat.) $\pm$ 41(sys.) fb and 69 $\pm$ 3(stat.) $\pm$ 4(sys.) fb for the single-lepton and dilepton channels, respectively. The differential cross-sections are measured as a function of photon transverse momentum, photon absolute pseudorapidity, and angular distance between the photon and its closest lepton in both channels, as well as azimuthal opening angle and absolute pseudorapidity difference between the two leptons in the dilepton channel. All measurements are in agreement with the theoretical predictions.


title: On free subgroups in division rings

abstract: Let $K$ be a field and let $\sigma$ be an automorphism and let $\delta$ be a $\sigma$-derivation of $K$. Then we show that the multiplicative group of nonzero elements of the division ring $D=K(x;\sigma,\delta)$ contains a free non-cyclic subgroup unless $D$ is commutative, answering a special case of a conjecture of Lichtman. As an application, we show that division algebras formed by taking the Goldie ring of quotients of group algebras of torsion-free non-abelian solvable-by-finite groups always contain free non-cyclic subgroups.


title: Assigning a Grade: Accurate Measurement of Road Quality Using Satellite Imagery

abstract: Roads are critically important infrastructure to societal and economic development, with huge investments made by governments every year. However, methods for monitoring those investments tend to be time-consuming, laborious, and expensive, placing them out of reach for many developing regions. In this work, we develop a model for monitoring the quality of road infrastructure using satellite imagery. For this task, we harness two trends: the increasing availability of high-resolution, often-updated satellite imagery, and the enormous improvement in speed and accuracy of convolutional neural network-based methods for performing computer vision tasks. We employ a unique dataset of road quality information on 7000km of roads in Kenya combined with 50cm resolution satellite imagery. We create models for a binary classification task as well as a comprehensive 5-category classification task, with accuracy scores of 88 and 73 percent respectively. We also provide evidence of the robustness of our methods with challenging held-out scenarios, though we note some improvement is still required for confident analysis of a never before seen road. We believe these results are well-positioned to have substantial impact on a broad set of transport applications.


title: Box-splines orthogonal projections

abstract: Let $P$ be orthogonal projection on B-splines of degree $r-1$ with equally spaced knots. Sweldens and Piessens proved that $P(x^r)-x^r$ is Bernoulli polynomial. We generalize Sweldens ans Piessens's result for box-splines. It gives the opportunity to define the seminorm of Sobolev space in terms of the asymptotic formula for the error in orthogonal projection.


title: Divergence-Free Magnetohydrodynamics on Conformally Moving, Adaptive Meshes Using a Vector Potential Method

abstract: We present a new method for evolving the equations of magnetohydrodynamics (both Newtonian and relativistic) that is capable of maintaining a divergence-free magnetic field ($\nabla \cdot \mathbf{B} = 0$) on adaptively refined, conformally moving meshes. The method relies on evolving the magnetic vector potential and then using it to reconstruct the magnetic fields. The advantage of this approach is that the vector potential is not subject to a constraint equation in the same way the magnetic field is, and so can be refined and moved in a straightforward way. We test this new method against a wide array of problems from simple Alfven waves on a uniform grid to general relativistic MHD simulations of black hole accretion on a nested, spherical-polar grid. We find that the code produces accurate results and in all cases maintains a divergence-free magnetic field to machine precision.


title: Radiative corrections and Lorentz violation

abstract: Radiative corrections in Lorentz violating (LV) models have already received a lot of attention in the literature in recent years, with many instances where a LV operator in one sector of the Standard Model Extension (SME) generates, via loop corrections, one of the LV coefficients in the photon sector, which is probably the most understood and well constrained part of the SME. In many of these works, however, the now standard notation of the SME is not used, which can obscure the comparison of different results, and their possible phenomenological relevance. In this work, we fill this gap, trying to build up a more general perspective on the topic, bringing many of the results to the SME conventional notation and commenting on their possible phenomenological relevance. We uncover one example where a result already presented in the literature can be used to place a stronger bound on the temporal component of the b_{\mu} coefficient of the fermion sector of the SME.


title: Ramsey Spectroscopy with Displaced Frequency Jumps

abstract: Sophisticated Ramsey-based interrogation protocols using composite laser pulse sequences have been recently proposed to provide next-generation high-precision atomic clocks with a near perfect elimination of frequency shifts induced during the atom-probing field interaction. We propose here a simple alternative approach to the auto-balanced Ramsey (ABR) interrogation protocol and demonstrate its application to a cold-atom microwave clock based on coherent population trapping. The main originality of the method, based on two consecutive Ramsey sequences with different dark periods, is to sample the central Ramsey fringes with frequency-jumps finely-adjusted by an additional frequency-displacement concomitant parameter, scaling as the inverse of the dark-period. The advantage of this displaced frequency-jumps Ramsey (DFJR) method is that the local oscillator frequency is used as a single physical variable to control both servo loops of the sequence, simplifying its implementation and avoiding noise associated with controlling the LO phase. Compared to the usual Ramsey-CPT technique, the DFJR scheme reduces the sensitivity of the clock frequency to variations of the CPT sideband ratio and to the one-photon laser detuning by more than an order of magnitude. This simple method could be applied in a wide variety of Ramsey-spectroscopy based applications including frequency metrology with CPT-based and optical atomic clocks, mass spectrometry, and precision spectroscopy.


title: Impact of Sentiment Detection to Recognize Toxic and Subversive Online Comments

abstract: The presence of toxic content has become a major problem for many online communities. Moderators try to limit this problem by implementing more and more refined comment filters, but toxic users are constantly finding new ways to circumvent them. Our hypothesis is that while modifying toxic content and keywords to fool filters can be easy, hiding sentiment is harder. In this paper, we explore various aspects of sentiment detection and their correlation to toxicity, and use our results to implement a toxicity detection tool. We then test how adding the sentiment information helps detect toxicity in three different real-world datasets, and incorporate subversion to these datasets to simulate a user trying to circumvent the system. Our results show sentiment information has a positive impact on toxicity detection against a subversive user.


title: Multivalued fields and monopole operators

abstract: In this work, we investigate the role of multivalued fields in the formulation of monopole operators and their connection with topological states of matter. In quantum field theory it is known that certain states describe collective modes of the fundamental fields and are created by operators that are often non-local, being defined over lines or higher-dimensional surfaces. For this reason, they may be sensitive to global, topological, properties of the system and depend on nonperturbative data. Such operators are generally known as monopole operators. Sometimes they act as disorder operators because their nonzero expectation values define a disordered vacuum associated with a condensate of the collective modes, also known as defects. In this work we investigate the definition of these operators and their relation to the multivalued properties of the fundamental fields. We study several examples of scalar field theories and generalize the discussion to $p$-forms, with the main purpose of studying new field configurations that may be related to topological states of matter. We specifically investigate the so-called chiral vortex configurations in topological superconductors. We highlight an important aspect of this formalism, which is the splitting of the fields in their regular and singular parts that identifies an ambiguity that can be explored, much like gauge symmetry, in order to define observables.


title: Rapid 3D Reconstruction of Indoor Environments to Generate Virtual Reality Serious Games Scenarios

abstract: Virtual Reality (VR) for Serious Games (SGs) is attracting increasing attention for training applications due to its potential to provide significantly enhanced learning to users. Some examples of the application of VR for SGs are complex training evacuation problems such as indoor earthquake evacuation or fire evacuation. The indoor 3D geometry of existing buildings can largely influence evacuees' behaviour, being instrumental in the design of VR SGs storylines and simulation scenarios. The VR scenarios of existing buildings can be generated from drawings and models. However, these data may not reflect the 'as-is' state of the indoor environment and may not be suitable to reflect dynamic changes of the system (e.g. Earthquakes), resulting in excessive development efforts to design credible and meaningful user experience. This paper explores several workflows for the rapid and effective reconstruction of 3D indoor environments of existing buildings that are suitable for earthquake simulations. These workflows start from Building Information Modelling (BIM), laser scanning and 360-degree panoramas. We evaluated the feasibility and efficiency of different approaches by using an earthquake-based case study developed for VR SGs.


title: On dynamics of wage-price spiral and stagflation in some model economic systems

abstract: This article aims to present an elementary analytical solution to the question of the formation of a structure of differentiation of rates of return in a classical gravitation model and in a model of the dynamics of price-wage spirals.


title: Black hole hyperaccretion inflow-outflow model. II. Long-duration gamma-ray bursts and supernova $\rm ^{56}Ni$ bumps

abstract: Long-duration gamma-ray bursts (LGRBs) associated with supernovae (SNe) are possibly born out of the death of a massive star. After the star collapses, a stellar-mass black hole (BH) is formed, surrounded by a hyperaccretion disk with outflows. Blandford-Znajek jets can be launched and then break out from the envelope to power LGRBs. The jet luminosity depends on the net inflow accretion rate at the inner radius of the disk. Furthermore, $\rm ^{56}Ni$ synthesis should occur in the strong outflows from the accretion disk. The decay of $\rm ^{56}Ni$ is considered to be the possible origin of SN bumps in the subsequent optical afterglows of LGRBs. If $\rm ^{56}Ni$ originates entirely from the outflows, there is competition between the luminosities of LGRBs and those of the corresponding $\rm ^{56}Ni$ bumps because of the material distribution between the disk inflows and outflows. In this paper, we investigated these two luminosities based on 15 cases of LGRB-SN in the framework of the BH hyperaccretion inflow-outflow model. Then, one can constrain the characteristics of the progenitor stars of these LGRBs. The results indicate that these LGRBs may originate from the low-metallicity ($Z\lesssim 10^{-2}Z_{\odot}$, where $Z$ and $Z_{\odot}$ are the metallicities of the stars and the Sun, respectively) stars or some massive solar-metallicity stars. For ultra-LGRBs (ULGRBs), such as GRB 111209A, most of the massive low-metallicity stars with $Z \lesssim 10^{-2}Z_{\odot}$ could be progenitors only if very strong outflows are launched from the disks. When the contributions of nucleosynthesis in the disk outflows are considered, there is no shortage of $\rm ^{56}Ni$ mass for luminous SNe associated with ULGRBs.


title: Recent Advances in Thermoelectric Performance of Half-Heusler Compounds

abstract: Half-Heusler phases (space group F43m, C1b) have recently captured much attention as promising thermoelectric materials for heat-to-electric power conversion in the mid-to-high temperature range. The most studied ones are the RNiSn-type half-Heusler compounds, where R represents refractory metals Hf, Zr, and Ti. These compounds have shown a high-power factor and high-power density, as well as good material stability and scalability. Due to their high thermal conductivity, however, the dimensionless figure of merit (zT) of these materials has stagnated near 1 for a long time. Since 2013, the verifiable ZT of half-Heusler compounds has risen from 1 to near 1.5 for both n- and p-type compounds in the temperature range of 500 to 900 degrees C. In this brief review, we summarize recent advances as well as approaches in achieving the high ZT reported. In particular, we discuss the less-exploited strain-relief effect and dopant resonant state effect studied by the author and his collaborators in more detail. Finally, we point out directions for further development. Keywords: half-Heusler compounds; figure of merit; power density; lattice disorder; dopant resonant states


title: GANtruth - an unpaired image-to-image translation method for driving scenarios

abstract: Synthetic image translation has significant potentials in autonomous transportation systems. That is due to the expense of data collection and annotation as well as the unmanageable diversity of real-words situations. The main issue with unpaired image-to-image translation is the ill-posed nature of the problem. In this work, we propose a novel method for constraining the output space of unpaired image-to-image translation. We make the assumption that the environment of the source domain is known (e.g. synthetically generated), and we propose to explicitly enforce preservation of the ground-truth labels on the translated images. We experiment on preserving ground-truth information such as semantic segmentation, disparity, and instance segmentation. We show significant evidence that our method achieves improved performance over the state-of-the-art model of UNIT for translating images from SYNTHIA to Cityscapes. The generated images are perceived as more realistic in human surveys and outperforms UNIT when used in a domain adaptation scenario for semantic segmentation.


title: A Graph-CNN for 3D Point Cloud Classification

abstract: Graph convolutional neural networks (Graph-CNNs) extend traditional CNNs to handle data that is supported on a graph. Major challenges when working with data on graphs are that the support set (the vertices of the graph) do not typically have a natural ordering, and in general, the topology of the graph is not regular (i.e., vertices do not all have the same number of neighbors). Thus, Graph-CNNs have huge potential to deal with 3D point cloud data which has been obtained from sampling a manifold. In this paper, we develop a Graph-CNN for classifying 3D point cloud data, called PointGCN. The architecture combines localized graph convolutions with two types of graph downsampling operations (also known as pooling). By the effective exploration of the point cloud local structure using the Graph-CNN, the proposed architecture achieves competitive performance on the 3D object classification benchmark ModelNet, and our architecture is more stable than competing schemes.


title: Multiview Based 3D Scene Understanding On Partial Point Sets

abstract: Deep learning within the context of point clouds has gained much research interest in recent years mostly due to the promising results that have been achieved on a number of challenging benchmarks, such as 3D shape recognition and scene semantic segmentation. In many realistic settings however, snapshots of the environment are often taken from a single view, which only contains a partial set of the scene due to the field of view restriction of commodity cameras. 3D scene semantic understanding on partial point clouds is considered as a challenging task. In this work, we propose a processing approach for 3D point cloud data based on a multiview representation of the existing 360{\deg} point clouds. By fusing the original 360{\deg} point clouds and their corresponding 3D multiview representations as input data, a neural network is able to recognize partial point sets while improving the general performance on complete point sets, resulting in an overall increase of 31.9% and 4.3% in segmentation accuracy for partial and complete scene semantic understanding, respectively. This method can also be applied in a wider 3D recognition context such as 3D part segmentation.


title: FineFool: Fine Object Contour Attack via Attention

abstract: Machine learning models have been shown vulnerable to adversarial attacks launched by adversarial examples which are carefully crafted by attacker to defeat classifiers. Deep learning models cannot escape the attack either. Most of adversarial attack methods are focused on success rate or perturbations size, while we are more interested in the relationship between adversarial perturbation and the image itself. In this paper, we put forward a novel adversarial attack based on contour, named FineFool. Finefool not only has better attack performance compared with other state-of-art white-box attacks in aspect of higher attack success rate and smaller perturbation, but also capable of visualization the optimal adversarial perturbation via attention on object contour. To the best of our knowledge, Finefool is for the first time combines the critical feature of the original clean image with the optimal perturbations in a visible manner. Inspired by the correlations between adversarial perturbations and object contour, slighter perturbations is produced via focusing on object contour features, which is more imperceptible and difficult to be defended, especially network add-on defense methods with the trade-off between perturbations filtering and contour feature loss. Compared with existing state-of-art attacks, extensive experiments are conducted to show that Finefool is capable of efficient attack against defensive deep models.


title: Deep Learning Architect: Classification for Architectural Design through the Eye of Artificial Intelligence

abstract: This paper applies state-of-the-art techniques in deep learning and computer vision to measure visual similarities between architectural designs by different architects. Using a dataset consisting of web scraped images and an original collection of images of architectural works, we first train a deep convolutional neural network (DCNN) model capable of achieving 73% accuracy in classifying works belonging to 34 different architects. Through examining the weights in the trained DCNN model, we are able to quantitatively measure the visual similarities between architects that are implicitly learned by our model. Using this measure, we cluster architects that are identified to be similar and compare our findings to conventional classification made by architectural historians and theorists. Our clustering of architectural designs remarkably corroborates conventional views in architectural history, and the learned architectural features also coheres with the traditional understanding of architectural designs.


title: On functorial (co)localization of algebras and modules over operads

abstract: Motivated by calculations of motivic homotopy groups, we give widely attained conditions under which operadic algebras and modules thereof are preserved under (co)localization functors


title: Learning to Unlearn: Building Immunity to Dataset Bias in Medical Imaging Studies

abstract: Medical imaging machine learning algorithms are usually evaluated on a single dataset. Although training and testing are performed on different subsets of the dataset, models built on one study show limited capability to generalize to other studies. While database bias has been recognized as a serious problem in the computer vision community, it has remained largely unnoticed in medical imaging research. Transfer learning thus remains confined to the re-use of feature representations requiring re-training on the new dataset. As a result, machine learning models do not generalize even when trained on imaging datasets that were captured to study the same variable of interest. The ability to transfer knowledge gleaned from one study to another, without the need for re-training, if possible, would provide reassurance that the models are learning knowledge fundamental to the problem under study instead of latching onto the idiosyncracies of a dataset. In this paper, we situate the problem of dataset bias in the context of medical imaging studies. We show empirical evidence that such a problem exists in medical datasets. We then present a framework to unlearn study membership as a means to handle the problem of database bias. Our main idea is to take the data from the original feature space to an intermediate space where the data points are indistinguishable in terms of which study they come from, while maintaining the recognition capability with respect to the variable of interest. This will promote models which learn the more general properties of the etiology under study instead of aligning to dataset-specific peculiarities. Essentially, our proposed model learns to unlearn the dataset bias.


title: Towards Accurate Generative Models of Video: A New Metric & Challenges

abstract: Recent advances in deep generative models have lead to remarkable progress in synthesizing high quality images. Following their successful application in image processing and representation learning, an important next step is to consider videos. Learning generative models of video is a much harder task, requiring a model to capture the temporal dynamics of a scene, in addition to the visual presentation of objects. While recent attempts at formulating generative models of video have had some success, current progress is hampered by (1) the lack of qualitative metrics that consider visual quality, temporal coherence, and diversity of samples, and (2) the wide gap between purely synthetic video data sets and challenging real-world data sets in terms of complexity. To this extent we propose Fr\'{e}chet Video Distance (FVD), a new metric for generative models of video, and StarCraft 2 Videos (SCV), a benchmark of game play from custom starcraft 2 scenarios that challenge the current capabilities of generative models of video. We contribute a large-scale human study, which confirms that FVD correlates well with qualitative human judgment of generated videos, and provide initial benchmark results on SCV.


title: Deep Learning for Classical Japanese Literature

abstract: Much of machine learning research focuses on producing models which perform well on benchmark tasks, in turn improving our understanding of the challenges associated with those tasks. From the perspective of ML researchers, the content of the task itself is largely irrelevant, and thus there have increasingly been calls for benchmark tasks to more heavily focus on problems which are of social or cultural relevance. In this work, we introduce Kuzushiji-MNIST, a dataset which focuses on Kuzushiji (cursive Japanese), as well as two larger, more challenging datasets, Kuzushiji-49 and Kuzushiji-Kanji. Through these datasets, we wish to engage the machine learning community into the world of classical Japanese literature. Dataset available at https://github.com/rois-codh/kmnist


title: Knowing what you know in brain segmentation using Bayesian deep neural networks

abstract: In this paper, we describe a Bayesian deep neural network (DNN) for predicting FreeSurfer segmentations of structural MRI volumes, in minutes rather than hours. The network was trained and evaluated on a large dataset (n = 11,480), obtained by combining data from more than a hundred different sites, and also evaluated on another completely held-out dataset (n = 418). The network was trained using a novel spike-and-slab dropout-based variational inference approach. We show that, on these datasets, the proposed Bayesian DNN outperforms previously proposed methods, in terms of the similarity between the segmentation predictions and the FreeSurfer labels, and the usefulness of the estimate uncertainty of these predictions. In particular, we demonstrated that the prediction uncertainty of this network at each voxel is a good indicator of whether the network has made an error and that the uncertainty across the whole brain can predict the manual quality control ratings of a scan. The proposed Bayesian DNN method should be applicable to any new network architecture for addressing the segmentation problem.


title: Searching for Heavy Neutral Leptons with Displaced Vertices at the LHC

abstract: Heavy Neutral Leptons are naturally present in many well-motivated extensions of the Standard Model. If their mass is of few dozens of GeVs, they can be long-lived and lead to events with displaced vertices, giving rise to promising signatures due to the low background. We revisit the opportunities offered by the LHC to discover these long-lived states via searches with displaced vertices. We study in particular the implication on the parameter space sensitivity when all mixings to active flavors are taken into account.


title: Electric-Dipole Spin Resonances

abstract: Resonance phenomena in solids generally fall into two distinct classes, electric and magnetic, driven, respectively, by the $E$ and $H$ components of the electromagnetic wave incident on the solid. The canonical examples of the two types of resonances are the electron cyclotron resonance (CR) and the electron paramagnetic resonance (EPR), originating from the electron orbital and spin degrees of freedom, respectively. The behavior becomes considerably more interesting (and more complicated) in the presence of the spin-orbital interaction. In this case, a more general type of resonance may occur, which is driven by the electric excitation mechanism and involves the spin degrees of freedom. Such electric-dipole spin resonance (EDSR) may occur at the spin excitation frequency or at a combination of the orbital and spin frequencies, spanning a wide bandwidth. The EDSR phenomenon, first predicted by Rashba (1960), has been probed experimentally in 3D solids with different crystal symmetries, as well as in low-dimensional systems (heterojunctions, inversion layers, dislocations and impurity states). Due to its electric dipole origin, the EDSR features a relatively high intensity, which may exceed by orders of magnitude the EPR intensity. This review summarizes the work on EDSR prior to 1991, laying out the theoretical framework and discussing different experimental systems in which the EDSR-related physics can be realized and explored.


title: Coverage and Rate Analysis for Unmanned Aerial Vehicle Base Stations with LoS/NLoS Propagation

abstract: The use of unmanned aerial vehicle base stations (UAV-BSs) as airborne base stations has recently gained great attention. In this paper, we model a network of UAV-BSs as a Poisson point process (PPP) operating at a certain altitude above the ground users. We adopt an air-to-ground (A2G) channel model that incorporates line-of-sight (LoS) and non-line-of-sight (NLoS) propagation. Thus, UAV-BSs can be decomposed into two independent inhomogeneous PPPs. Under the assumption that NLoS and LoS channels experience Rayleigh and Nakagami-m fading, respectively, we derive approximations for the coverage probability and average achievable rate, and show that these approximations match the simulations with negligible errors. Numerical simulations have shown that the coverage probability and average achievable rate decrease as the height of the UAV-BSs increases.


title: Doubly Robust Difference-in-Differences Estimators

abstract: This article proposes doubly robust estimators for the average treatment effect on the treated (ATT) in difference-in-differences (DID) research designs. In contrast to alternative DID estimators, the proposed estimators are consistent if either (but not necessarily both) a propensity score or outcome regression working models are correctly specified. We also derive the semiparametric efficiency bound for the ATT in DID designs when either panel or repeated cross-section data are available, and show that our proposed estimators attain the semiparametric efficiency bound when the working models are correctly specified. Furthermore, we quantify the potential efficiency gains of having access to panel data instead of repeated cross-section data. Finally, by paying articular attention to the estimation method used to estimate the nuisance parameters, we show that one can sometimes construct doubly robust DID estimators for the ATT that are also doubly robust for inference. Simulation studies and an empirical application illustrate the desirable finite-sample performance of the proposed estimators. Open-source software for implementing the proposed policy evaluation tools is available.


title: Magnetic Aharonov-Bohm effects and the quantum phase shift: A heuristic interpretation

abstract: The shift in Aharanov-Bohm electron-interference fringe positions has been previously derived as resulting from phase differences induced by the magnetic vector potential, without being clear on the physical mechanism behind it. In this paper, we show that the de Broglie wavelength of the electron wavefunction is changed locally by its interaction with the vector potential. The vector potential thus acts as a quantum "phase plate", changing the phase difference between interfering electron wavefunctions in a non-dispersive, gauge-invariant manner.


title: Integrated solutions of non-densely defined semilinear integro-differential inclusions: existence, topology and applications

abstract: Given a linear closed but not necessarily densely defined operator $A$ on a Banach space $E$ with nonempty resolvent set and a multivalued map $F\colon I\times E\map E$ with weakly sequentially closed graph, we consider the integro-differential inclusion \begin{center} $\dot{u}\in Au+F(t,\int u)\;\;\text{on }I,\;\;u(0)=x_0.$ \end{center} We focus on the case when $A$ generates an integrated semigroup and obtain existence of integrated solutions in the sense of \cite[Def.6.4.]{thieme} if $E$ is weakly compactly generated and $F$ satisfies \[\beta(F(t,\Omega))\<\eta(t)\beta(\Omega)\;\;\text{for all bounded }\Omega\subset E,\] where $\eta\in L^1(I)$ and $\beta$ denotes the De Blasi measure of noncompactness. When $E$ is separable, we are able to show that the set of all integrated solutions is a compact $R_\delta$-subset of the space $C(I,E)$ endowed with the weak topology. We use this result to investigate a nonlocal Cauchy problem described by means of a nonconvex-valued boundary condition operator. Some applications to partial differential equations with multivalued terms are also included.


title: NY Vir Eclipse timing observations: Two planet solution

abstract: We report 18 new primary minima timing observations of the short-period eclipsing binary system NY Virginis. We combined these minima with previously published primary minima to update circumbinary exoplanet models in this system based on O-C timing variations. We performed a non-linear least-squares minimization search using a quadratic ephemeris and either one or two exoplanets. The only model with an acceptable fit includes a period derivative $\dot{P} = 2.83\times10^{-12}$ and two planets in eccentric orbits $e = 0.15,0.15$ with minimum masses 2.7 and 5.5 Jovian masses. Analysis of the orbit stability shows that this solution is stable for at least $10^8$ yr, but a small increase in eccentricity ($e\geq0.20$) for either planet renders the orbits unstable in less than $10^6$ years. A number of model parameters are significantly degenerate, so additional observations are required to determine planetary parameters with high statistical confidence.


title: Optimal models of decision-making in dynamic environments

abstract: Nature is in constant flux, so animals must account for changes in their environment when making decisions. How animals learn the timescale of such changes and adapt their decision strategies accordingly is not well understood. Recent psychophysical experiments have shown humans and other animals can achieve near-optimal performance at two alternative forced choice (2AFC) tasks in dynamically changing environments. Characterization of performance requires the derivation and analysis of computational models of optimal decision-making policies on such tasks. We review recent theoretical work in this area, and discuss how models compare with subjects' behavior in tasks where the correct choice or evidence quality changes in dynamic, but predictable, ways.


title: On the Heins Theorem

abstract: It is known that the famous Heins Theorem (also known as the de Branges Lemma) about the minimum of two entire functions of minimal type does not extend to functions of finite exponential type. We study in detail pairs of entire functions $f, g$ of finite exponential type satisfying $\sup_{z\in\mathbb{C}}\min\{|f(z)|,|g(z)|\}<\infty.$ It turns out that $f$ and $g$ have to be bounded on some rotating half-planes. We also obtain very close upper and lower bounds for possible rotation functions of these half-planes.


title: Boltzmann Generators -- Sampling Equilibrium States of Many-Body Systems with Deep Learning

abstract: Computing equilibrium states in condensed-matter many-body systems, such as solvated proteins, is a long-standing challenge. Lacking methods for generating statistically independent equilibrium samples in "one shot", vast computational effort is invested for simulating these system in small steps, e.g., using Molecular Dynamics. Combining deep learning and statistical mechanics, we here develop Boltzmann Generators, that are shown to generate unbiased one-shot equilibrium samples of representative condensed matter systems and proteins. Boltzmann Generators use neural networks to learn a coordinate transformation of the complex configurational equilibrium distribution to a distribution that can be easily sampled. Accurate computation of free energy differences and discovery of new configurations are demonstrated, providing a statistical mechanics tool that can avoid rare events during sampling without prior knowledge of reaction coordinates.

categories: stat.ML cond-mat.stat-mech cs.LG physics.chem-ph


title: Universality and the Coulomb interaction

abstract: We study the relationship between universal effects and the Coulomb interaction. Here, we present our approach and a first illustrative example. Understanding the relationship of universality and the Coulomb interaction is important for weakly bound nuclear few-body systems. The example nucleus we study is the excited state of $^{17}$F which we model as a proton and an $^{16}$O core. We use a Gaussian potential to represent short-range forces together with a Coulomb potential. Our calculation uses the Gaussian Expansion Method (GEM), which is a variational method well-suited to our problem. We find that we need to choose the range of the Gaussian potential in addition to the potential strength that reproduces the right scattering length. We propose to fit the range of the Gaussian potential such that the effective range is reproduced. We show that this approach leads to consistent results for $^{17}$F.


title: Domain Mismatch Robust Acoustic Scene Classification using Channel Information Conversion

abstract: In a recent acoustic scene classification (ASC) research field, training and test device channel mismatch have become an issue for the real world implementation. To address the issue, this paper proposes a channel domain conversion using factorized hierarchical variational autoencoder. Proposed method adapts both the source and target domain to a pre-defined specific domain. Unlike the conventional approach, the relationship between the target and source domain and information of each domain are not required in the adaptation process. Based on the experimental results using the IEEE detection and classification of acoustic scenes and event 2018 task 1-B dataset and the baseline system, it is shown that the proposed approach can mitigate the channel mismatching issue of different recording devices.


title: Variations on the theme of quantum Lefschetz

abstract: In this companion piece to 1712.03573, some variations on the main results there are sketched. In particular, the recursions in 1712.03573, which we interpreted as the quantum Lefschetz, is reformulated in terms of Givental's quantization formalism, or equivalently, a summation of finitely many graphs. Meanwhile, varieties of modification of the auxilliary spaces (masterspaces) for the fixed point localization are given, leading to different (looking) recursions. There are also some applications of this circle of ideas to derive (apparently) new relations of Gromov--Witten invariants.


title: A Sunspot Catalog for the Period 1952-1986 from Observations Made at the Madrid Astronomical Observatory

abstract: Sunspot catalogs are very useful for studying the solar activity of the recent past. In this context, a catalog covering more than three solar cycles made by the astronomers of the Madrid Astronomical Observatory in Spain (nowadays, the National Astronomical Observatory) from 1952 until 1986 has been recovered. Moreover, a machine-readable version of this catalog has been made available. We have recovered abundant metadata and studied the reliability of this dataset by comparing it with other sunspot catalogs.


title: Graphical Models for Extremes

abstract: Conditional independence, graphical models and sparsity are key notions for parsimonious statistical models and for understanding the structural relationships in the data. The theory of multivariate and spatial extremes describes the risk of rare events through asymptotically justified limit models such as max-stable and multivariate Pareto distributions. Statistical modelling in this field has been limited to moderate dimensions so far, partly owing to complicated likelihoods and a lack of understanding of the underlying probabilistic structures. We introduce a general theory of conditional independence for multivariate Pareto distributions that allows the definition of graphical models and sparsity for extremes. A Hammersley-Clifford theorem links this new notion to the factorization of densities of extreme value models on graphs. For the popular class of H\"usler-Reiss distributions we show that, similarly to the Gaussian case, the sparsity pattern of a general extremal graphical model can be read off from suitable inverse covariance matrices. New parametric models can be built in a modular way and statistical inference can be simplified to lower-dimensional marginals. We discuss learning of minimum spanning trees and model selection for extremal graph structures, and illustrate their use with an application to flood risk assessment on the Danube river.


title: Learning Cheap and Novel Flight Itineraries

abstract: We consider the problem of efficiently constructing cheap and novel round trip flight itineraries by combining legs from different airlines. We analyse the factors that contribute towards the price of such itineraries and find that many result from the combination of just 30% of airlines and that the closer the departure of such itineraries is to the user's search date the more likely they are to be cheaper than the tickets from one airline. We use these insights to formulate the problem as a trade-off between the recall of cheap itinerary constructions and the costs associated with building them. We propose a supervised learning solution with location embeddings which achieves an AUC=80.48, a substantial improvement over simpler baselines. We discuss various practical considerations for dealing with the staleness and the stability of the model and present the design of the machine learning pipeline. Finally, we present an analysis of the model's performance in production and its impact on Skyscanner's users.


title: Machine Learning of coarse-grained Molecular Dynamics Force Fields

abstract: Atomistic or ab-initio molecular dynamics simulations are widely used to predict thermodynamics and kinetics and relate them to molecular structure. A common approach to go beyond the time- and length-scales accessible with such computationally expensive simulations is the definition of coarse-grained molecular models. Existing coarse-graining approaches define an effective interaction potential to match defined properties of high-resolution models or experimental data. In this paper, we reformulate coarse-graining as a supervised machine learning problem. We use statistical learning theory to decompose the coarse-graining error and cross-validation to select and compare the performance of different models. We introduce CGnets, a deep learning approach, that learns coarse-grained free energy functions and can be trained by a force matching scheme. CGnets maintain all physically relevant invariances and allow one to incorporate prior physics knowledge to avoid sampling of unphysical structures. We show that CGnets can capture all-atom explicit-solvent free energy surfaces with models using only a few coarse-grained beads and no solvent, while classical coarse-graining methods fail to capture crucial features of the free energy surface. Thus, CGnets are able to capture multi-body terms that emerge from the dimensionality reduction.


title: Decompose to manipulate: Manipulable Object Synthesis in 3D Medical Images with Structured Image Decomposition

abstract: The performance of medical image analysis systems is constrained by the quantity of high-quality image annotations. Such systems require data to be annotated by experts with years of training, especially when diagnostic decisions are involved. Such datasets are thus hard to scale up. In this context, it is hard for supervised learning systems to generalize to the cases that are rare in the training set but would be present in real-world clinical practices. We believe that the synthetic image samples generated by a system trained on the real data can be useful for improving the supervised learning tasks in the medical image analysis applications. Allowing the image synthesis to be manipulable could help synthetic images provide complementary information to the training data rather than simply duplicating the real-data manifold. In this paper, we propose a framework for synthesizing 3D objects, such as pulmonary nodules, in 3D medical images with manipulable properties. The manipulation is enabled by decomposing of the object of interests into its segmentation mask and a 1D vector containing the residual information. The synthetic object is refined and blended into the image context with two adversarial discriminators. We evaluate the proposed framework on lung nodules in 3D chest CT images and show that the proposed framework could generate realistic nodules with manipulable shapes, textures and locations, etc. By sampling from both the synthetic nodules and the real nodules from 2800 3D CT volumes during the classifier training, we show the synthetic patches could improve the overall nodule detection performance by average 8.44% competition performance metric (CPM) score.


title: Multiview Cross-supervision for Semantic Segmentation

abstract: This paper presents a semi-supervised learning framework for a customized semantic segmentation task using multiview image streams. A key challenge of the customized task lies in the limited accessibility of the labeled data due to the requirement of prohibitive manual annotation effort. We hypothesize that it is possible to leverage multiview image streams that are linked through the underlying 3D geometry, which can provide an additional supervisionary signal to train a segmentation model. We formulate a new cross-supervision method using a shape belief transfer---the segmentation belief in one image is used to predict that of the other image through epipolar geometry analogous to shape-from-silhouette. The shape belief transfer provides the upper and lower bounds of the segmentation for the unlabeled data where its gap approaches asymptotically to zero as the number of the labeled views increases. We integrate this theory to design a novel network that is agnostic to camera calibration, network model, and semantic category and bypasses the intermediate process of suboptimal 3D reconstruction. We validate this network by recognizing a customized semantic category per pixel from realworld visual data including non-human species and a subject of interest in social videos where attaining large-scale annotation data is infeasible.


title: Benchmarking Keyword Spotting Efficiency on Neuromorphic Hardware

abstract: Using Intel's Loihi neuromorphic research chip and ABR's Nengo Deep Learning toolkit, we analyze the inference speed, dynamic power consumption, and energy cost per inference of a two-layer neural network keyword spotter trained to recognize a single phrase. We perform comparative analyses of this keyword spotter running on more conventional hardware devices including a CPU, a GPU, Nvidia's Jetson TX1, and the Movidius Neural Compute Stick. Our results indicate that for this inference application, Loihi outperforms all of these alternatives on an energy cost per inference basis while maintaining equivalent inference accuracy. Furthermore, an analysis of tradeoffs between network size, inference speed, and energy cost indicates that Loihi's comparative advantage over other low-power computing devices improves for larger networks.


title: Time-resolved X-ray diffraction study of the structural dynamics in a ferroelectric thin film induced by sub-coercive fields

abstract: The electric field-dependence of structural dynamics in a tetragonal ferroelectric lead zirconate titanate thin film is investigated under sub-coercive and above-coercive fields using time-resolved X-ray diffraction. During the application of an external field to the pre-poled thin film capacitor, structural signatures of domain nucleation and growth include broadening of the in-plane peak width of a Bragg reflection concomitant with a decrease of the peak intensity. This disordered domain state is remanent and can be erased with an appropriate voltage pulse sequence.


title: Exploiting Data Sensitivity on Partitioned Data

abstract: Several researchers have proposed solutions for secure data outsourcing on the public clouds based on encryption, secret-sharing, and trusted hardware. Existing approaches, however, exhibit many limitations including high computational complexity, imperfect security, and information leakage. This chapter describes an emerging trend in secure data processing that recognizes that an entire dataset may not be sensitive, and hence, non-sensitivity of data can be exploited to overcome some of the limitations of existing encryption-based approaches. In particular, data and computation can be partitioned into sensitive or non-sensitive datasets - sensitive data can either be encrypted prior to outsourcing or stored/processed locally on trusted servers. The non-sensitive dataset, on the other hand, can be outsourced and processed in the cleartext. While partitioned computing can bring new efficiencies since it does not incur (expensive) encrypted data processing costs on non-sensitive data, it can lead to information leakage. We study partitioned computing in two contexts - first, in the context of the hybrid cloud where local resources are integrated with public cloud resources to form an effective and secure storage and computational platform for enterprise data. In the hybrid cloud, sensitive data is stored on the private cloud to prevent leakage and a computation is partitioned between private and public clouds. Care must be taken that the public cloud cannot infer any information about sensitive data from inter-cloud data access during query processing. We then consider partitioned computing in a public cloud only setting, where sensitive data is encrypted before outsourcing. We formally define a partitioned security criterion that any approach to partitioned computing on public clouds must ensure in order to not introduce any new vulnerabilities to the existing secure solution.


title: Domain-Adaptive Single-View 3D Reconstruction

abstract: Single-view 3D shape reconstruction is an important but challenging problem, mainly for two reasons. First, as shape annotation is very expensive to acquire, current methods rely on synthetic data, in which ground-truth 3D annotation is easy to obtain. However, this results in domain adaptation problem when applied to natural images. The second challenge is that there are multiple shapes that can explain a given 2D image. In this paper, we propose a framework to improve over these challenges using adversarial training. On one hand, we impose domain confusion between natural and synthetic image representations to reduce the distribution gap. On the other hand, we impose the reconstruction to be `realistic' by forcing it to lie on a (learned) manifold of realistic object shapes. Our experiments show that these constraints improve performance by a large margin over baseline reconstruction models. We achieve results competitive with the state of the art with a much simpler architecture.


title: Resonant electronic-bridge excitation of the U-235 nuclear transition in ions with chaotic spectra

abstract: Electronic bridge excitation of the 76 eV nuclear isomeric state in $^{235}$U is shown to be strongly enhanced in the U$^{7+}$ ion, potentially enabling laser excitation of this nucleus. This is because the electronic spectrum has a very high level density near the nuclear transition energy that ensures the resonance condition is fulfilled. We present a quantum statistical theory based on many-body quantum chaos to demonstrate that typical values for the electronic factor increase the probability of electronic bridge in $^{235}$U$^{7+}$ by many orders of magnitude. We also extract the nuclear matrix element by considering internal conversion from neutral uranium. The final electronic bridge rate is comparable to the rate of the Yb$^+$ octupole transition currently used in precision spectroscopy.


title: Nucleation Rates of Water Using Adjusted SAFT-0 EOS

abstract: The SAFT-0 is an equation of state (EOS) that considers the effects of molecular association based on the statistical association fluid theory (SAFT). This EOS recently showed relatively successful calculations of the phase-equilibrium properties and the classical and nonclassical nucleation rates of methanol. Motivated by methanol results, we use the SAFT-0 EOS for water, in particular within the temperature range of anomalous density behavior below T_{max}=277.15 K. To do so, we adjust the effective temperature-dependent segment diameter in terms of the association energy in a way that the SAFT-0 EOS reproduces the water vapor-liquid equilibria and the vapor pressures, particularly in the temperature range where the data of nucleation rates of water are available (220-260 K). The Gibbsian form of classical nucleation theory (CNT) (known as the P-form) and nonclassical gradient theory (GT) calculations were carried out using the SAFT-0 EOS with and without including this adjusted diameter. Calculated rates were compared to the experimental values of W\"olk and Strey [J. Phys. Chem. B 2001, 105, 11683-11701]. In addition to the phase-equilibrium properties, this adjustment improved the nucleation rates from both GT and CNT by factors of 500 and 100, respectively. To explore this further, the GT and experimental rates were analyzed using Hale's scaled model [J. Chem. Phys., 2005, 122, 204509]. This analysis shows that the predictions of GT scale relatively well with those of the experimental data.