title: Properly discontinuous actions versus uniform embeddings

abstract: Whenever a finitely generated group $G$ acts properly discontinuously by isometries on a metric space $X$, there is an induced uniform embedding (a Lipschitz and uniformly proper map) $\rho: G \rightarrow X$ given by mapping $G$ to an orbit. We study when there is a difference between a finitely generated group $G$ acting properly on a contractible $n$-manifold and uniformly embedding into a contractible $n$-manifold. For example, Kapovich and Kleiner showed that there are torsion-free hyperbolic groups that uniformly embed into a contractible $3$-manifold but only virtually act on a contractible $3$-manifold. We show that $k$-fold products of these examples do not act on a contractible $3k$-manifold.


title: Spin-perturbed orbits near black holes

abstract: Inspirals of rotating stellar-mass compact objects into massive black holes are influenced by the spin-curvature coupling, which drives the compact body away from geodesic motion due to its rotation. I formulate the Hamilton-Jacobi equation for a spinning test body orbiting a Kerr black hole, solve it to linear order in spin, and use the perturbative solution to compute the fundamental frequencies of motion along the orbit. This result provides one of the necessary ingredients for waveform models for the upcoming space-based gravitational-wave detector LISA.


title: SAT-based Compressive Sensing

abstract: We propose to reduce the original well-posed problem of compressive sensing to weighted-MAX-SAT. Compressive sensing is a novel randomized data acquisition approach that linearly samples sparse or compressible signals at a rate much below the Nyquist-Shannon sampling rate. The original problem of compressive sensing in sparse recovery is NP-hard; therefore, in addition to restrictions for the uniqueness of the sparse solution, the coding matrix has also to satisfy additional stringent constraints -usually the restricted isometry property (RIP)- so we can handle it by its convex or nonconvex relaxations. In practice, such constraints are not only intractable to be verified but also invalid in broad applications. We first divide the well-posed problem of compressive sensing into relaxed sub-problems and represent them as separate SAT instances in conjunctive normal form (CNF). After merging the resulting sub-problems, we assign weights to all clauses in such a way that the aggregated weighted-MAX-SAT can guarantee successful recovery of the original signal. The only requirement in our approach is the solution uniqueness of the associated problems, which is notably looser. As a proof of concept, we demonstrate the applicability of our approach in tackling the original problem of binary compressive sensing with binary design matrices. Experimental results demonstrate the supremacy of the proposed SAT-based compressive sensing over the $\ell_1$-minimization in the robust recovery of sparse binary signals. SAT-based compressive sensing on average requires 8.3% fewer measurements for exact recovery of highly sparse binary signals ($s/N\approx 0.1$). When $s/N \approx 0.5$, the $\ell_1$-minimization on average requires 22.2% more measurements for exact reconstruction of the binary signals. Thus, the proposed SAT-based compressive sensing is less sensitive to the sparsity of the original signals.


title: Hamilton-Jacobi equation for spinning particles near black holes

abstract: A compact stellar-mass object inspiralling onto a massive black hole deviates from geodesic motion due to radiation-reaction forces as well as finite-size effects. Such post-geodesic deviations need to be included with sufficient precision into wave-form models for the upcoming space-based gravitational-wave detector LISA. I present the formulation and solution of the Hamilton-Jacobi equation of geodesics near Kerr black holes perturbed by the so-called spin-curvature coupling, the leading order finite-size effect. In return, this solution allows to compute a number of observables such as the turning points of the orbits as well as the fundamental frequencies of motion. This result provides one of the necessary ingredients for waveform models for LISA and an important contribution useful for the relativistic two-body problem in general.


title: Deep Learning Based Online Power Control for Large Energy Harvesting Networks

abstract: In this paper, we propose a deep learning based approach to design online power control policies for large EH networks, which are often intractable stochastic control problems. In the proposed approach, for a given EH network, the optimal online power control rule is learned by training a deep neural network (DNN), using the solution of offline policy design problem. Under the proposed scheme, in a given time slot, the transmit power is obtained by feeding the current system state to the trained DNN. Our results illustrate that the DNN based online power control scheme outperforms a Markov decision process based policy. In general, the proposed deep learning based approach can be used to find solutions to large intractable stochastic control problems.


title: Exact results for the first-passage properties in a class of fractal networks

abstract: In this work we consider a class of recursively-grown fractal networks $G_n(t)$, whose topology is controlled by two integer parameters $t$ and $n$. We first analyse the structural properties of $G_n(t)$ (including fractal dimension, modularity and clustering coefficient) and then we move to its transport properties. The latter are studied in terms of first-passage quantities (including the mean trapping time, the global mean first-passage time and the Kemeny's constant) and we highlight that their asymptotic behavior is controlled by network's size and diameter. Remarkably, if we tune $n$ (or, analogously, $t$) while keeping the network size fixed, as $n$ increases ($t$ decreases) the network gets more and more clustered and modular, while its diameter is reduced, implying, ultimately, a better transport performance. The connection between this class of networks and models for polymer architectures is also discussed.


title: On the rheology of pulmonary surfactant: effects of concentration and consequences for the surfactant replacement therapy

abstract: The role of pulmonary surfactant is to reduce the surface tension in the lungs and to facilitate breathing. Surfactant replacement therapy (SRT) aims at bringing a substitute by instillation into the airways, a technique that has proven to be efficient and lifesaving for preterm infants. Adapting this therapy to adults requires to scale the administered dose to the patient body weight and to in-crease the lipid concentration, whilst maintaining its surface and flow properties similar. Here, we exploit a magnetic wire-based microrheology technique to measure the viscosity of the exogenous pulmonary surfactant Curosurf in various experimental conditions. The Curosurf viscosity is found to increase exponentially with lipid concentration following the Krieger-Dougherty law of colloids. The Krieger-Dougherty behavior also predicts a divergence of the viscosity at the liquid-to-gel transition. For Curosurf the transition concentration is found close to the concentration at which it is formulated (117 g L-1 versus 80 g L-1). This outcome suggests that for SRT the surfactant rheological properties need to be monitored and kept within a certain range. The results found here could help in producing suspensions for respiratory distress syndrome adapted to adults. The present work also demonstrates the potential of the magnetic wire microrheology tech-nique as an accurate tool to explore biological soft matter dynamics.


title: Oscillations in electron transport caused by multiple resonances in a quantum dot-QED system in the steady-state regime

abstract: We model the electron transport current as the photon energy is swept through several resonances of a multi-level quantum dot, embedded in a short quantum wire, coupled to photon cavity. We use a Markovian quantum master equation appropriate for the long-time evolution and include the electron-electron and both the para- and the diamagnetic electron-photon interactions via diagonalization in a truncated many-body Fock space. Tuning the photon energy, several anti-crossings caused by Rabi-splitting in the energy spectrum of the quantum dot system are found. The strength of the Rabi-splittings and the photon-exchange between the resonant states depend on the polarization of the cavity photon field. We observe oscillations of the charge in the system and several resonant transport current peaks for the photon energies corresponding to the resonances in the steady-state regime.


title: Building Free Energy Functional from Atomically-Resolved Imaging: Atomic Scale Phenomena in La-doped BiFeO3

abstract: Scanning Transmission Electron Microscopy (STEM) has enabled mapping of atomic structures of solids with sub-pm precision, providing insight to the physics of ferroic phenomena and chemical expansion. However, only a subset of information is available, due to projective nature of imaging in the beam direction. Correspondingly, the analysis often relies on the postulated known form of macroscopic Landau-Ginzburg energy, and some predefined relationship between experimentally determined atomic coordinates and the order parameter field. Here, we propose an approach for exploring the structure of ferroics using reduced order parameter models constructed based on experimental data only. We develop a four sublattices model (FSM) for the analytical description of A-cation displacement in (anti)ferroelectric-antiferrodistortive perovskites of ABO3-type. The model describes the displacements of cation A in four neighboring unit cells and determines the conditions of different structural phases appearance and stability in ABO3. We show that FSM explains the coexistence of rhombohedral (R), orthorhombic (O) and spatially modulated (SM) phases, observed by atomic-resolution STEM in La-doped BiFeO3. Using this approach, we atomically resolve and theoretically model the sublattice asymmetry inherent to the case of the A-site La/Bi cation sublattice in LaxBi1-xFeO3 polymorphs. This approach allows exploring the ferroics behaviors from experimental data only, without additional assumptions on the nature of the order parameter.


title: Kiloparsec-scale Jets: Physics, Emission Mechanisms, and Challenges

abstract: Jets are a ubiquitous part of the accretion process, created in AGN, by a coupling between the magnetic field near the central black hole and inflowing material. We point out what advances can be achieved by new technologies, concentrating on kiloparsec scales, beyond the Bondi radius, where accretion stops. Here, jets profoundly influence their host galaxy and the surrounding clusters and groups, transporting prodigious amounts of matter and energies to scales of hundreds of kpc. Basic questions still remain regarding jet physics, which new instruments can advance greatly. The ngVLA, LOFAR, JWST and LUVOIR, as well as a Chandra successor, will give higher angular resolution and sensitivity. This will allow us to probe the emission mechanisms and dynamics of jets, and search for links between these areas, magnetic fields, particle acceleration and high-energy emission mechanisms. We stress the need for polarimetry in the X-ray and optical, critical to many of the most important questions in jet physics. We hope to directly probe resolved, flaring components, which for the first time will allow us to reveal how jets respond to stimuli and link statics and dynamics.


title: Scaling laws for diffusion on (trans)fractal scale-free networks

abstract: Fractal (or transfractal) features are common in real-life networks and are known to influence the dynamic processes taking place in the network itself. Here we consider a class of scale-free deterministic networks, called $(u,v)$-flowers, whose topological properties can be controlled by tuning the parameters $u$ and $v$; in particular, for $u>1$, they are fractals endowed with a fractal dimension $d_f$, while for $u=1$, they are transfractal endowed with a transfractal dimension $\tilde{d}_f$. In this work we investigate dynamic processes (i.e., random walks) and topological properties (i.e., the Laplacian spectrum) and we show that, under proper conditions, the same scalings (ruled by the related dimensions), emerge for both fractal and transfractal.


title: A highly parallel multilevel Newton-Krylov-Schwarz method with subspace-based coarsening and partition-based balancing for the multigroup neutron transport equations on 3D unstructured meshes

abstract: The multigroup neutron transport equations have been widely used to study the motion of neutrons and their interactions with the background materials. Numerical simulation of the multigroup neutron transport equations is computationally challenging because the equations is defined on a high dimensional phase space (1D in energy, 2D in angle, and 3D in spatial space), and furthermore, for realistic applications, the computational spatial domain is complex and the materials are heterogeneous. The multilevel domain decomposition methods is one of the most popular algorithms for solving the multigroup neutron transport equations, but the construction of coarse spaces is expensive and often not strongly scalable when the number of processor cores is large. In this paper, we study a highly parallel multilevel Newton-Krylov-Schwarz method equipped with several novel components, such as subspace-based coarsening, partition-based balancing and hierarchical mesh partitioning, that enable the overall simulation strongly scalable in terms of the compute time. Compared with the traditional coarsening method, the subspace-based coarsening algorithm significantly reduces the cost of the preconditioner setup that is often unscalable. In addition, the partition-based balancing strategy enhances the parallel efficiency of the overall solver by assigning a nearly-equal amount of work to each processor core. The hierarchical mesh partitioning is able to generate a large number of subdomains and meanwhile minimizes the off-node communication. We numerically show that the proposed algorithm is scalable with more than 10,000 processor cores for a realistic application with a few billions unknowns on 3D unstructured meshes.


title: Local Superconductivity in Vanadium Iron Arsenide

abstract: We investigate the chemical substitution of group 5 into BaFe2As2 (122) iron arsenide, in the effort to understand why Fe-site hole doping of this compound (e.g., using group 5 or 6) does not yield bulk superconductivity. We find an increase in c-lattice parameter of the BaFe2As2 with the substitution of V, Nb, or Ta; the reduction in c predicts the lack of bulk superconductivity [1] that is confirmed here through transport and magnetization results. However, our spectroscopy measurements find a coexistence of antiferromagnetic and local superconducting nanoscale regions in V-122, observed for the first time in a transition-metal hole-doped iron arsenide. In BaFe2As2, there is a complex connection between local parameters such as composition and lattice strain, average lattice details, and the emergence of bulk quantum states such as superconductivity and magnetism. [1] L. M. N. Konzen, and A. S. Sefat, J. Phys.: Condens. Matter 29 (2017), 083001.


title: Deformation and Smoothing of Singularities

abstract: We give a survey on some aspects of deformations of isolated singularities. In addition to the presentation of the general theory, we report on the question of the smoothability of a singularity and on relations between different invariants, such as the Milnor number, the Tjurina number, and the dimension of a smoothing component.


title: A Potential Outcomes Calculus for Identifying Conditional Path-Specific Effects

abstract: The do-calculus is a well-known deductive system for deriving connections between interventional and observed distributions, and has been proven complete for a number of important identifiability problems in causal inference. Nevertheless, as it is currently defined, the do-calculus is inapplicable to causal problems that involve complex nested counterfactuals which cannot be expressed in terms of the "do" operator. Such problems include analyses of path-specific effects and dynamic treatment regimes. In this paper we present the potential outcome calculus (po-calculus), a natural generalization of do-calculus for arbitrary potential outcomes. We thereby provide a bridge between identification approaches which have their origins in artificial intelligence and statistics, respectively. We use po-calculus to give a complete identification algorithm for conditional path-specific effects with applications to problems in mediation analysis and algorithmic fairness.


title: Characterization of the Hamamatsu VUV4 MPPCs for nEXO

abstract: In this paper we report on the characterization of the Hamamatsu VUV4 (S/N: S13370-6152) Vacuum Ultra-Violet (VUV) sensitive Silicon Photo-Multipliers (SiPMs) as part of the development of a solution for the detection of liquid xenon scintillation light for the nEXO experiment. Various SiPM features, such as: dark noise, gain, correlated avalanches, direct crosstalk and Photon Detection Efficiency (PDE) were measured in a dedicated setup at TRIUMF. SiPMs were characterized in the range $163 \text{ } \text{K} \leq \text{T}\leq 233 \text{ } \text{K}$. At an over voltage of $3.1\pm0.2$ V and at $\text{T}=163 \text{ }\text{K}$ we report a number of Correlated Avalanches (CAs) per pulse in the $1 \upmu\text{s}$ interval following the trigger pulse of $0.161\pm0.005$. At the same settings the Dark-Noise (DN) rate is $0.137\pm0.002 \text{ Hz/mm}^{2}$. Both the number of CAs and the DN rate are within nEXO specifications. The PDE of the Hamamatsu VUV4 was measured for two different devices at $\text{T}=233 \text{ }\text{K}$ for a mean wavelength of $189\pm7\text{ nm}$. At $3.6\pm0.2$ V and $3.5\pm0.2$ V of over voltage we report a PDE of $13.4\pm2.6\text{ }\%$ and $11\pm2\%$, corresponding to a saturation PDE of $14.8\pm2.8\text{ }\%$ and $12.2\pm2.3\%$, respectively. Both values are well below the $24\text{ }\%$ saturation PDE advertised by Hamamatsu. More generally, the second device tested at $3.5\pm0.2$ V of over voltage is below the nEXO PDE requirement. The first one instead yields a PDE that is marginally close to meeting the nEXO specifications. This suggests that with modest improvements the Hamamatsu VUV4 MPPCs could be considered as an alternative to the FBK-LF SiPMs for the final design of the nEXO detector.


title: Magnon quantum anomalies in Weyl ferromagnets

abstract: When subjected to parallel electric field $\mathbf E$ and magnetic field $\mathbf B$, Weyl semimetals exhibit the exotic transport property known as the chiral anomaly due to the pumping of electrons between Weyl cones of opposite chiralities. When one or both electromagnetic (EM) fields are replaced by strain-induced chiral pseudo-electromagnetic (pseudo-EM) fields, other types of quantum anomalies occur. In the present paper, we will show that such quantum anomalies can be reproduced in a completely different system -- a Weyl ferromagnet whose magnonic structure remarkably encodes Weyl physics. By analytical and numerical calculations, we will show that the magnon bands can be Landau-quantized by either an inhomogeneous electric field $\mathbf E$ or a chiral pseudo-electric field $\mathbf e$ induced by a torsional strain, and magnons can be pumped along bands by either an inhomogeneous magnetic field $\mathbf B$ or a chiral pseudo-magnetic field $\mathbf b$ due to a dynamic uniaxial strain. We list the magnon quantum anomalies and the associated anomalous spin and heat currents in the Weyl ferromagnet, and show they are distinct from their Weyl semimetal counterparts.


title: Recurrent Trajectories and Finite Critical Trajectories of Quadratic Differentials on the Riemann Sphere

abstract: In this paper, the focus will be on both the existence and non-existence respectively of finite critical trajectories and recurrent trajectories of a quadratic differential on the Riemann sphere. We show the connection between these two items. More precisely, we collect some criterions for the non-existence of recurrent trajectories. The first criterion is in the same vein of Jenkins Three-pole Theorem, while the second one is in relation with the so-called Level function of quadratic differentials.


title: Entropic CLT for smoothed convolutions and associated entropy bounds

abstract: We explore an asymptotic behavior of entropies for sums of independent random variables that are convolved with a small continuous noise.


title: Longest Path in the Price Model

abstract: The Price model, the directed version of the Barab\'{a}si-Albert model, produces a growing directed acyclic graph. We look at variants of the model in which directed edges are added to the new vertex in one of two ways: using cumulative advantage (preferential attachment) choosing vertices in proportion to their degree, or with random attachment in which vertices are chosen uniformly at random. In such networks, the longest path is well defined and in some cases is known to be a better approximation to geodesics than the shortest path. We define a reverse greedy path and show both analytically and numerically that this scales with the logarithm of the size of the network with a coefficient given by the number of edges added using random attachment. This is a lower bound on the length of the longest path to any given vertex and we show numerically that the longest path also scales with the logarithm of the size of the network but with a larger coefficient that has some weak dependence on the parameters of the model.


title: Hamiltonian S^1-spaces with large equivariant pseudo-index

abstract: Let \((M,\omega)\) be a compact symplectic manifold of dimension \(2n\) endowed with a Hamiltonian circle action with only isolated fixed points. Whenever \(M\) admits a toric \(1\)-skeleton \(\mathcal{S}\), which is a special collection of embedded \(2\)-spheres in \(M\), we define the notion of equivariant pseudo-index of \(\mathcal{S}\): this is the minimum of the evaluation of the first Chern class \(c_1\) on the spheres of \(\mathcal{S}\). This can be seen as the analog in this category of the notion of pseudo-index for complex Fano varieties. In this paper we provide upper bounds for the equivariant pseudo-index. In particular, when the even Betti numbers of \(M\) are unimodal, we prove that it is at most \(n+1\) . Moreover, when it is exactly \(n+1\), \(M\) must be homotopically equivalent to \(\C P^n\).


title: Recognizing and Tracking High-Level, Human-Meaningful Navigation Features of Occupancy Grid Maps

abstract: This paper describes a system whereby a robot detects and track human-meaningful navigational cues as it navigates in an indoor environment. It is intended as the sensor front-end for a mobile robot system that can communicate its navigational context with human users. From simulated LiDAR scan data we construct a set of 2D occupancy grid bitmaps, then hand-label these with human-scale navigational features such as closed doors, open corridors and intersections. We train a Convolutional Neural Network (CNN) to recognize these features on input bitmaps. In our demonstration system, these features are detected at every time step then passed to a tracking module that does frame-to-frame data association to improve detection accuracy and identify stable unique features. We evaluate the system in both simulation and the real world. We compare the performance of using input occupancy grids obtained directly from LiDAR data, or incrementally constructed with SLAM, and their combination.


title: Segmented YSO scintillation detectors as a new ${\rm \beta}$-implant detection tool for decay spectroscopy in fragmentation facilities

abstract: A newly developed segmented YSO scintillator detector was implemented for the first time at the RI-beam Factory at RIKEN Nishina Center as an implantation-decay counter. The results from the experiment demonstrate that the detector is a viable alternative to conventional silicon-strip detectors with its good timing resolution and high detection efficiency for ${\rm \beta}$ particles. A Position-Sensitive Photo-Multiplier Tube (PSPMT) is coupled with a $48\times48$ segmented YSO crystal. To demonstrate its capabilities, a known short-lived isomer in $^{76}$Ni and the ${\rm \beta}$ decay of $^{74}$Co were measured by implanting those ions into the YSO detector. The half-lives and ${\rm \gamma}$-rays observed in this work are consistent with the known values. The ${\rm \beta}$-ray detection efficiency is more than 80~\% for the decay of $^{74}$Co.


title: Lenses and Learners

abstract: Lenses are a well-established structure for modelling bidirectional transformations, such as the interactions between a database and a view of it. Lenses may be symmetric or asymmetric, and may be composed, forming the morphisms of a monoidal category. More recently, the notion of a learner has been proposed: these provide a compositional way of modelling supervised learning algorithms, and again form the morphisms of a monoidal category. In this paper, we show that the two concepts are tightly linked. We show both that there is a faithful, identity-on-objects symmetric monoidal functor embedding a category of asymmetric lenses into the category of learners, and furthermore there is such a functor embedding the category of learners into a category of symmetric lenses.


title: Generalized derivations and Hom-Lie algebra structures on $\mathfrak{sl}_2$

abstract: The purpose of this paper is to show that there are Hom-Lie algebra structures on $\mathfrak{sl}_2(\mathbb{F}) \oplus \mathbb{F}D$, where $D$ is a special type of generalized derivation of $\mathfrak{sl}_2(\mathbb{F})$, and $\mathbb{F}$ is an algebraically closed field of characteristic zero. It is shown that the generalized derivations $D$ of $\mathfrak{sl}_2(\mathbb{F})$ that we study in this work, satisfy the Hom-Lie Jacobi identity for the Lie bracket of $\mathfrak{sl}_2(\mathbb{F})$. We study the representation theory of Hom-Lie algebras within the appropriate category and prove that any finite dimensional representation of a Hom-Lie algebra of the form $\mathfrak{sl}_2(\mathbb{F}) \oplus \mathbb{F}D$, is completely reducible, in analogy to the well known Theorem of Weyl from the classical Lie theory. We apply this result to characterize the non-solvable Lie algebras having an invertible generalized derivation of the type of $D$. Finally, using root space decomposition techniques we provide an intrinsic proof of the fact that $\mathfrak{sl}_2(\mathbb{F})$ is the only simple Lie algebra admitting non-trivial Hom-Lie structures.


title: Expected value of the one-dimensional Earth Mover's Distance

abstract: From a combinatorial point of view, we consider the Earth Mover's Distance (EMD) associated with a metric measure space. The specific case considered is deceptively simple: Let the finite set [n] = {1,...,n} be regarded as a metric space by restricting the usual Euclidean distance on the real numbers. The EMD is defined on ordered pairs of probability distributions on [n]. We provide an easy method to compute a generating function encoding the values of EMD in its coefficients, which is related to the Segre embedding from projective algebraic geometry. As an application we use the generating function to compute the expected value of EMD in this one-dimensional case. The EMD is then used in clustering analysis for a specific data set.


title: Learning Self-Game-Play Agents for Combinatorial Optimization Problems

abstract: Recent progress in reinforcement learning (RL) using self-game-play has shown remarkable performance on several board games (e.g., Chess and Go) as well as video games (e.g., Atari games and Dota2). It is plausible to consider that RL, starting from zero knowledge, might be able to gradually approximate a winning strategy after a certain amount of training. In this paper, we explore neural Monte-Carlo-Tree-Search (neural MCTS), an RL algorithm which has been applied successfully by DeepMind to play Go and Chess at a super-human level. We try to leverage the computational power of neural MCTS to solve a class of combinatorial optimization problems. Following the idea of Hintikka's Game-Theoretical Semantics, we propose the Zermelo Gamification (ZG) to transform specific combinatorial optimization problems into Zermelo games whose winning strategies correspond to the solutions of the original optimization problem. The ZG also provides a specially designed neural MCTS. We use a combinatorial planning problem for which the ground-truth policy is efficiently computable to demonstrate that ZG is promising.


title: Recurrent Instability in LMXB Accretion Disks: How Strange is GRS 1915+105?

abstract: Low Mass X-Ray Binaries (LMXBs) are systems in which a compact object accretes from a binary companion star via an accretion disk. The X-ray properties of LMXBs show strong variability over timescales ranging from milliseconds to decades, much of which is tied to the extreme environment of the inner accretion disk, hence an understanding of this behaviour is key to understanding how matter behaves in such an environment. GRS 1915+105 and MXB 1730-335 are two LMXBs which show particularly unusual variability. GRS 1915+105 shows a large number of distinct classes of second-to-minute scale variability, consisting of repeated patterns of dips and flares. MXB 1730 shows Type II X-ray Bursts; minute-scale increases in X-ray intensity with a sudden onset and a slow decay. More recently two new objects, IGR J17091-3624 and GRO J1744-28 have been shown to display similar behaviours. In this thesis I present a new framework with which to classify variability in IGR J17091. I perform a comparison study between this source and GRS 1915. In GRS 1915, hard X-rays lag soft X-rays in all variability classes; in IGR J17091, I find that the sign of this lag varies between variability classes. Additionally, while GRS 1915+105 accretes at close to its Eddington Limit, I find that IGR J17091-3624 accretes at only ~5-33% of its Eddington Limit. I also perform a study of variability in GRO J1744 and find that it is more complex than in MXB 1730, consisting of at least 4 separate phenomena which may have separate physical origins. One of these phenomena, `Structured Bursting', consists of patterns of flares and dips similar to those seen in GRS 1915 and IGR J17091. I compare these types of variability and discuss the possibility of a physical link. I also present the alternative hypothesis that Structured Bursting is caused my 'hiccup accretion' similar to that seen in systems approaching the propeller regime.


title: Automated data validation: an industrial experience report

abstract: There has been a massive explosion of data generated by customers and retained by companies in the last decade. However, there is a significant mismatch between the increasing volume of data and the lack of automation methods and tools. The lack of best practices in data science programming may lead to software quality degradation, release schedule slippage, and budget overruns. To mitigate these concerns, we would like to bring software engineering best practices into data science. Specifically, we focus on automated data validation in the data preparation phase of the software development life cycle. This paper studies a real-world industrial case and applies software engineering best practices to develop an automated test harness called RESTORE. We release RESTORE as an open-source R package. Our experience report, done on the geodemographic data, shows that RESTORE enables efficient and effective detection of errors injected during the data preparation phase. RESTORE also significantly reduced the cost of testing. We hope that the community benefits from the open-source project and the practical advice based on our experience.


title: Isometric Embedding for Surfaces: Classical Approaches and Integrability

abstract: We review classical approaches to the problem of isometrically embedding a Riemannian surface into Euclidean 3-space, including coordinate-based approaches exposited by Darboux and Eisenhart, as well as the moving-frames based approaches advocated by Cartan. In particular, the first approach involves reducing the problem to solving a single PDE; settling the question of when this PDE is integrable by the method of Darboux is the subject of this short note. This is surprisingly easy, since it is related to the analogous question for the isometric embedding system arising from the moving frames approach, and this was accomplished in recent joint work with Clelland, Tehseen and Vassiliou (arXiv:1801.00241).


title: Particle Motion Analysis in the Bronnikov black hole solution

abstract: There is a growing interest in the study of regular black holes because they eliminate the problem of the singularity that conventional black hole models present. We analyze here the motion of different types of particles (without mass, massive and massive and charged particles) in an specific regular charged black hole solution obtained by Bronnikov in 2001. We also examine the geometry and the nature of the Bronnikov black hole, and compare it with the Reissner-Nordstrom black hole, for this we present first the features of both black holes and analyze the effective potential for each kind of particle followed by the numerical integration of the orbit equation in some cases of interest.


title: Application of the path optimization method to the sign problem in an effective model of QCD with a repulsive vector-type interaction

abstract: The path optimization method is applied to a QCD effective model with the Polyakov loop and the repulsive vector-type interaction at finite temperature and density to circumvent the model sign problem. We show how the path optimization method can increase the average phase factor and control the model sign problem. This is the first study which correctly treats the repulsive vector-type interaction in the QCD effective model with the Polyakov-loop via the Markov-chain Monte-Carlo approach. It is shown that the complexification of the temporal component of the gluon field and also the vector-type auxiliary field are necessary to evade the model sign problem within the standard path-integral formulation.


title: Fuzzy Bigraphs: An Exercise in Fuzzy Communicating Agents

abstract: Bigraphs and their algebra is a model of concurrency. Fuzzy bigraphs are a generalization of birgraphs intended to be a model of concurrency that incorporates vagueness. More specifically, this model assumes that agents are similar, communication is not perfect, and, in general, everything is or happens to some degree.


title: Schur-Weyl type duality for quantized gl(1|1),the Burau representation of braid groups and invariants of tangled graphs

abstract: We show that the Schur-Weyl type duality between $gl(1|1)$ and $GL_n$ gives a natural representation-theoretic setting for the relation between reduced and non-reduced Burau representations.


title: Joint Beamforming and Dynamic Relay Positioning for mmWave Urban Communications

abstract: The use of millimeter wave (mmWave) spectrum for commercial wireless communications is expected to offer data rates in the order of Gigabits-per-second, thus able to support future applications such as Vehicle-to-Vehicle or Vehicle-to-Infrastructure communication. However, especially in urban settings, mmWave signal propagation is sensitive to blockage by surrounding objects, resulting in significant signal attenuation. One approach to mitigate the effect of attenuation is through multi-hop communication with the help of relays. Leveraging the unique characteristics of the mmWave medium, we consider a single-source/destination $2$-hop system, where a cluster of spatially distributed and reconfigurable relays is used to cooperatively amplify-and-forward the source signal to the destination. Our system evolves in time slots, during which not only are optimal beamforming weights centrally determined, but also future relay positions for the subsequent time slot are optimally selected, jointly maximizing the expected signal-to-interference+noise ratio at the destination. Optimal predictive relay positioning is achieved by formulating a 2-stage stochastic programming problem, which is efficiently approximated via a conditional sample-average-approximation surrogate, and solved in a purely distributed fashion across relays. The efficacy of the proposed near-optimal positioning policy is corroborated by comparison against a randomized relay positioning policy, clearly confirming its superiority.


title: Transparency, Fairness, Data Protection, Neutrality: Data Management Challenges in the Face of New Regulation

abstract: The data revolution continues to transform every sector of science, industry and government. Due to the incredible impact of data-driven technology on society, we are becoming increasingly aware of the imperative to use data and algorithms responsibly -- in accordance with laws and ethical norms. In this article we discuss three recent regulatory frameworks: the European Union's General Data Protection Regulation (GDPR), the New York City Automated Decisions Systems (ADS) Law, and the Net Neutrality principle, that aim to protect the rights of individuals who are impacted by data collection and analysis. These frameworks are prominent examples of a global trend: Governments are starting to recognize the need to regulate data-driven algorithmic technology. Our goal in this paper is to bring these regulatory frameworks to the attention of the data management community, and to underscore the technical challenges they raise and which we, as a community, are well-equipped to address. The main take-away of this article is that legal and ethical norms cannot be incorporated into data-driven systems as an afterthought. Rather, we must think in terms of responsibility by design, viewing it as a systems requirement.


title: Primary User Emulation Attacks: A Detection Technique Based on Kalman Filter

abstract: Cognitive radio technology addresses the problem of spectrum scarcity by allowing secondary users to use the vacant spectrum bands without causing interference to the primary users. However, several attacks could disturb the normal functioning of the cognitive radio network. Primary user emulation attacks are one of the most severe attacks in which a malicious user emulates the primary user signal characteristics to either prevent other legitimate secondary users from accessing the idle channels or causing harmful interference to the primary users. There are several proposed approaches to detect the primary user emulation attackers. However, most of these techniques assume that the primary user location is fixed, which does not make them valid when the primary user is mobile. In this paper, we propose a new approach based on the Kalman filter framework for detecting the primary user emulation attacks with a non-stationary primary user. Several experiments have been conducted and the advantages of the proposed approach are demonstrated through the simulation results.


title: Spin Calogero-Moser models on symmetric spaces

abstract: In this paper we construct and prove superintegrability of spin Calogero-Moser type systems on symplectic leaves of $K_1\backslash T^*G/K_2$ where $K_1,K_2\subset G$ are subgroups. We call them two sided spin Calogero-Moser systems. One important type of such systems correspond to $K_1=K_2=K$ where $K$ is a subgroup of fixed points of Chevalley involution $\theta: G\to G$. The other important series of examples come from pair $G\subset G\times G$ with the diagonal embedding. We explicitly describe examples of such systems corresponding to symplectic leaves of rank one when $G=SL_n$.


title: The unique potential of extreme mass-ratio inspirals for gravitational-wave astronomy

abstract: The inspiral of a stellar-mass compact object into a massive ($\sim 10^{4}$-$10^{7} M_{\odot}$) black hole produces an intricate gravitational-wave signal. Due to the extreme-mass ratios involved, these systems complete $\sim 10^{4}$-$10^{5}$ orbits, most of them in the strong-field region of the massive black hole, emitting in the frequency range $\sim10^{-4}-1~$Hz. This makes them prime sources for the space-based observatory LISA (Laser Interferometer Space Antenna). LISA observations will enable high-precision measurements of the physical characteristics of these extreme-mass-ratio inspirals (EMRIs): redshifted masses, massive black hole spin and orbital eccentricity can be determined with fractional errors $\sim 10^{-4}$-$10^{-6}$, the luminosity distance with better than $\sim 10\%$ precision, and the sky localization to within a few square degrees. EMRIs will provide valuable information about stellar dynamics in galactic nuclei, as well as precise data about massive black hole populations, including the distribution of masses and spins. They will enable percent-level measurements of the multipolar structure of massive black holes, precisely testing the strong-gravity properties of their spacetimes. EMRIs may also provide cosmographical data regarding the expansion of the Universe if inferred source locations can be correlated with galaxy catalogs.


title: Toward Free Resolutions Over Scrolls

abstract: Let $R = k[x]/I$ where $I$ is the defining ideal of a rational normal $k$-scroll. We compute the Betti numbers of the ground field $\mathbb{k}$ as a module over $R$. For $k = 2$, we give the minimal free resolution of $\mathbb{k}$ over $R$.


title: Training Classifiers For Feedback Control

abstract: One approach for feedback control using high dimensional and rich sensor measurements is to classify the measurement into one out of a finite set of situations, each situation corresponding to a (known) control action. This approach computes a control action without estimating the state. Such classifiers are typically learned from a finite amount of data using supervised machine learning algorithms. We model the closed-loop system resulting from control with feedback from classifier outputs as a piece-wise affine differential inclusion. We show how to train a linear classifier based on performance measures related to learning from data and the local stability properties of the resulting closed-loop system. The training method is based on the projected gradient descent algorithm. We demonstrate the advantage of training classifiers using control-theoretic properties on a case study involving navigation using range-based sensors.


title: Neutrino Mass from Cosmology: Probing Physics Beyond the Standard Model

abstract: Recent advances in cosmic observations have brought us to the verge of discovery of the absolute scale of neutrino masses. Nonzero neutrino masses are known evidence of new physics beyond the Standard Model. Our understanding of the clustering of matter in the presence of massive neutrinos has significantly improved over the past decade, yielding cosmological constraints that are tighter than any laboratory experiment, and which will improve significantly over the next decade, resulting in a guaranteed detection of the absolute neutrino mass scale.


title: Transporting stochastic direct and indirect effects to new populations

abstract: Transported mediation effects may contribute to understanding how and why interventions may work differently when applied to new populations. However, we are not aware of any estimators for such effects. Thus, we propose several different estimators of transported stochastic direct and indirect effects: an inverse-probability of treatment stabilized weighted estimator, a doubly robust estimator that solves the estimating equation, and a doubly robust substitution estimator in the targeted minimum loss-based framework. We demonstrate their finite sample properties in a simulation study.


title: RoPAD: Robust Presentation Attack Detection through Unsupervised Adversarial Invariance

abstract: For enterprise, personal and societal applications, there is now an increasing demand for automated authentication of identity from images using computer vision. However, current authentication technologies are still vulnerable to presentation attacks. We present RoPAD, an end-to-end deep learning model for presentation attack detection that employs unsupervised adversarial invariance to ignore visual distractors in images for increased robustness and reduced overfitting. Experiments show that the proposed framework exhibits state-of-the-art performance on presentation attack detection on several benchmark datasets.


title: Self-triggered Control for Safety Critical Systems using Control Barrier Functions

abstract: We propose a real-time control strategy that combines self-triggered control with Control Lyapunov Functions (CLF) and Control Barrier Functions (CBF). Similar to related works proposing CLF-CBF-based controllers, the computation of the controller is achieved by solving a Quadratic Program (QP). However, we propose a Zeroth-Order Hold (ZOH) implementation of the controller that overcomes the main limitations of traditional approaches based on periodic controllers, i.e., unnecessary controller updates and potential violations of the safety constraints. Central to our approach is the novel notion of safe period, which enforces a strong safety guarantee for implementing ZOH control. In addition, we prove that the system does not exhibit a Zeno behavior as it approaches the desired equilibrium.


title: Active Learning a Convex Body in Low Dimensions

abstract: Consider a set $P \subseteq \Re^d$ of $n$ points, and a convex body $C$ provided via a separation oracle. The task at hand is to decide for each point of $P$ if it is in $C$ using the fewest number of oracle queries. We show that one can solve this problem in two and three dimensions using $O( h(P) \log n)$ queries, where $h(P)$ is the largest subset of points of $P$ in convex position. Furthermore, we show that in two dimensions one can solve this problem using $O( v(P,C) \log^2 n )$ oracle queries, where $v(P, C)$ is a lower bound on the minimum number of queries that any algorithm for this specific instance requires.


title: Everything old is new again: A multi-view learning approach to learning using privileged information and distillation

abstract: We adopt a multi-view approach for analyzing two knowledge transfer settings---learning using privileged information (LUPI) and distillation---in a common framework. Under reasonable assumptions about the complexities of hypothesis spaces, and being optimistic about the expected loss achievable by the student (in distillation) and a transformed teacher predictor (in LUPI), we show that encouraging agreement between the teacher and the student leads to reduced search space. As a result, improved convergence rate can be obtained with regularized empirical risk minimization.


title: Image Privacy Prediction Using Deep Neural Networks

abstract: Images today are increasingly shared online on social networking sites such as Facebook, Flickr, Foursquare, and Instagram. Despite that current social networking sites allow users to change their privacy preferences, this is often a cumbersome task for the vast majority of users on the Web, who face difficulties in assigning and managing privacy settings. Thus, automatically predicting images' privacy to warn users about private or sensitive content before uploading these images on social networking sites has become a necessity in our current interconnected world. In this paper, we explore learning models to automatically predict appropriate images' privacy as private or public using carefully identified image-specific features. We study deep visual semantic features that are derived from various layers of Convolutional Neural Networks (CNNs) as well as textual features such as user tags and deep tags generated from deep CNNs. Particularly, we extract deep (visual and tag) features from four pre-trained CNN architectures for object recognition, i.e., AlexNet, GoogLeNet, VGG-16, and ResNet, and compare their performance for image privacy prediction. Results of our experiments on a Flickr dataset of over thirty thousand images show that the learning models trained on features extracted from ResNet outperform the state-of-the-art models for image privacy prediction. We further investigate the combination of user tags and deep tags derived from CNN architectures using two settings: (1) SVM on the bag-of-tags features; and (2) text-based CNN. Our results show that even though the models trained on the visual features perform better than those trained on the tag features, the combination of deep visual features with image tags shows improvements in performance over the individual feature sets.


title: The Green Bank Ammonia Survey: A Virial Analysis of Gould Belt Clouds in Data Release 1

abstract: We perform a virial analysis of starless dense cores in three nearby star-forming regions : L1688 in Ophiuchus, NGC 1333 in Perseus, and B18 in Taurus. Our analysis takes advantage of comprehensive kinematic information for the dense gas in all of these regions made publicly available through the Green Bank Ammonia Survey Data Release 1, which used to estimate internal support against collapse. We combine this information with ancillary data used to estimate other important properties of the cores, including continuum data from the James Clerk Maxwell Telescope Gould Belt Survey for core identification, core masses, and core sizes. Additionally, we used \textit{Planck} and \textit{Herschel}-based column density maps for external cloud weight pressure, and Five College Radio Astronomy Observatory $^{13}$CO observations for external turbulent pressure. Our self-consistent analysis suggests that many dense cores in all three star-forming regions are not bound by gravity alone, but rather require additional pressure confinement to remain bound. Unlike a recent, similar study in Orion~A, we find that turbulent pressure represents a significant portion of the external pressure budget. Our broad conclusion emphasizing the importance of pressure confinement in dense core evolution, however, agrees with earlier work.


title: Scalable and Congestion-aware Routing for Autonomous Mobility-on-Demand via Frank-Wolfe Optimization

abstract: We consider the problem of vehicle routing for Autonomous Mobility-on-Demand (AMoD) systems, wherein a fleet of self-driving vehicles provides on-demand mobility in a given environment. Specifically, the task it to compute routes for the vehicles (both customer-carrying and empty travelling) so that travel demand is fulfilled and operational cost is minimized. The routing process must account for congestion effects affecting travel times, as modeled via a volume-delay function (VDF). Route planning with VDF constraints is notoriously challenging, as such constraints compound the combinatorial complexity of the routing optimization process. Thus, current solutions for AMoD routing resort to relaxations of the congestion constraints, thereby trading optimality with computational efficiency. In this paper, we present the first computationally-efficient approach for AMoD routing where VDF constraints are explicitly accounted for. We demonstrate that our approach is faster by at least one order of magnitude with respect to the state of the art, while providing higher quality solutions. From a methodological standpoint, the key technical insight is to establish a mathematical reduction of the AMoD routing problem to the classical traffic assignment problem (a related vehicle-routing problem where empty traveling vehicles are not present). Such a reduction allows us to extend powerful algorithmic tools for traffic assignment, which combine the classic Frank-Wolfe algorithm with modern techniques for pathfinding, to the AMoD routing problem. We provide strong theoretical guarantees for our approach in terms of near-optimality of the returned solution.


title: Skew-Fit: State-Covering Self-Supervised Reinforcement Learning

abstract: Autonomous agents that must exhibit flexible and broad capabilities will need to be equipped with large repertoires of skills. Defining each skill with a manually-designed reward function limits this repertoire and imposes a manual engineering burden. Self-supervised agents that set their own goals can automate this process, but designing appropriate goal setting objectives can be difficult, and often involves heuristic design decisions. In this paper, we propose a formal exploration objective for goal-reaching policies that maximizes state coverage. We show that this objective is equivalent to maximizing goal reaching performance together with the entropy of the goal distribution, where goals correspond to full state observations. To instantiate this principle, we present an algorithm called Skew-Fit for learning a maximum-entropy goal distributions. We prove that, under regularity conditions, Skew-Fit converges to a uniform distribution over the set of valid states, even when we do not know this set beforehand. Our experiments show that combining Skew-Fit for learning goal distributions with existing goal-reaching methods outperforms a variety of prior methods on open-sourced visual goal-reaching tasks. Moreover, we demonstrate that Skew-Fit enables a real-world robot to learn to open a door, entirely from scratch, from pixels, and without any manually-designed reward function.


title: Joint Inference of Kinematic and Force Trajectories with Visuo-Tactile Sensing

abstract: To perform complex tasks, robots must be able to interact with and manipulate their surroundings. One of the key challenges in accomplishing this is robust state estimation during physical interactions, where the state involves not only the robot and the object being manipulated, but also the state of the contact itself. In this work, within the context of planar pushing, we extend previous inference-based approaches to state estimation in several ways. We estimate the robot, object, and the contact state on multiple manipulation platforms configured with a vision-based articulated model tracker, and either a biomimetic tactile sensor or a force-torque sensor. We show how to fuse raw measurements from the tracker and tactile sensors to jointly estimate the trajectory of the kinematic states and the forces in the system via probabilistic inference on factor graphs, in both batch and incremental settings. We perform several benchmarks with our framework and show how performance is affected by incorporating various geometric and physics based constraints, occluding vision sensors, or injecting noise in tactile sensors. We also compare with prior work on multiple datasets and demonstrate that our approach can effectively optimize over multi-modal sensor data and reduce uncertainty to find better state estimates.


title: Dataspace: A Reconfigurable Hybrid Reality Environment for Collaborative Information Analysis

abstract: Immersive environments have gradually become standard for visualizing and analyzing large or complex datasets that would otherwise be cumbersome, if not impossible, to explore through smaller scale computing devices. However, this type of workspace often proves to possess limitations in terms of interaction, flexibility, cost and scalability. In this paper we introduce a novel immersive environment called Dataspace, which features a new combination of heterogeneous technologies and methods of interaction towards creating a better team workspace. Dataspace provides 15 high-resolution displays that can be dynamically reconfigured in space through robotic arms, a central table where information can be projected, and a unique integration with augmented reality (AR) and virtual reality (VR) headsets and other mobile devices. In particular, we contribute novel interaction methodologies to couple the physical environment with AR and VR technologies, enabling visualization of complex types of data and mitigating the scalability issues of existing immersive environments. We demonstrate through four use cases how this environment can be effectively used across different domains and reconfigured based on user requirements. Finally, we compare Dataspace with existing technologies, summarizing the trade-offs that should be considered when attempting to build better collaborative workspaces for the future.


title: Processor in Non-Volatile Memory (PiNVSM): Towards to Data-centric Computing in Decentralized Environment

abstract: The AI problem has no solution in the environment of existing hardware stack and OS architecture. CPU-centric model of computation has a huge number of drawbacks that originate from memory hierarchy and obsolete architecture of the computing core. The concept of mixing memory and logic has been around since 1960s. However, the concept of Processor-In-Memory (PIM) is unable to resolve the critical issues of the CPU-centric computing model because of inevitable replication of von Neumann architecture's drawbacks. The next generation of NVM/SCM memory is able to give the second birth to the data-centric computing paradigm. This paper presents a concept of Processor in Non-Volatile Memory (PiNVSM) architecture. The basis of PiNVSM architecture is the concept of DPU that contains the NVM memory and dedicated PU. All necessary PU's registers can be implemented in the space of NVM memory. NVM memory of DPU is the single space for storing and transformation of data. In the basis of PiNVSM architecture lies the DPU array is able to overcome the limitations as Turing machine model as von Neumann architecture. The DPU array hasn't a centralized computing core. Every data portion has dedicated computing core that excludes the necessity to transfer data to the place of data processing. Every DPU contains data portion that is associated with the set of keywords. Any complex data structure can be split on elementary items that can be stored into independent DPU with dedicated computing core(s). One DPU is able to apply the elementary transformation on one item. But the DPU array is able to make the transformation of complex structure by means of concurrent execution of elementary transformations in different DPUs. The PiNVSM architecture suggests a principally new architecture of the computing core that creates a new opportunity for data self-organization, data and code synthesis.


title: "Perch\'e il mare \`e blu?": una rivisitazione in chiave pedagogica ("Why is the sea blue": a pedagogical review)

abstract: Popularized explanations of the color of the sea often prove to be incomplete or oversimplified, and hence inadequate to become acquainted with the phenomenon in its whole. In this paper, after a historical review of the investigations on the subject in recent centuries and a brief account of the current state of knowledge, the topic is addressed in a more rigorous way adopting a comprehensive and multidisciplinary viewpoint. A phenomenological model providing operational results in educational context is proposed. --- Le spiegazioni del colore del mare proposte a scopo didattico o divulgativo si rivelano spesso incomplete o eccessivamente semplificate, e dunque inadeguate alla comprensione della totalit\`a del fenomeno. In questo articolo, dopo una rassegna storica delle indagini sull'argomento negli ultimi due secoli e un accenno allo stato attuale delle conoscenze, il problema viene affrontato in modo pi\`u rigoroso adottando un punto di vista comprensivo e pluridisciplinare. Viene proposto un modello fenomenologico in grado di fornire risultati operativi in contesto didattico.


title: $\phi$-FEM: a finite element method on domains defined by level-sets

abstract: We propose a new fictitious domain finite element method, well suited for elliptic problems posed in a domain given by a level-set function without requiring a mesh fitting the boundary. To impose the Dirichlet boundary conditions, we search the approximation to the solution as a product of a finite element function with the given level-set function, which also approximated by finite elements. Unlike other recent fictitious domain-type methods (XFEM, CutFEM), our approach does not need any non-standard numerical integration (on cut mesh elements or on the actual boundary). We consider the Poisson equation discretized with piecewise polynomial Lagrange finite elements of any order and prove the optimal convergence of our method in the $H^1$-norm. Moreover, the discrete problem is proven to be well conditioned, \textit{i.e.} the condition number of the associated finite element matrix is of the same order as that of a standard finite element method on a comparable conforming mesh. Numerical results confirm the optimal convergence in both $H^1$ and $L^2$ norms.


title: NeuTra-lizing Bad Geometry in Hamiltonian Monte Carlo Using Neural Transport

abstract: Hamiltonian Monte Carlo is a powerful algorithm for sampling from difficult-to-normalize posterior distributions. However, when the geometry of the posterior is unfavorable, it may take many expensive evaluations of the target distribution and its gradient to converge and mix. We propose neural transport (NeuTra) HMC, a technique for learning to correct this sort of unfavorable geometry using inverse autoregressive flows (IAF), a powerful neural variational inference technique. The IAF is trained to minimize the KL divergence from an isotropic Gaussian to the warped posterior, and then HMC sampling is performed in the warped space. We evaluate NeuTra HMC on a variety of synthetic and real problems, and find that it significantly outperforms vanilla HMC both in time to reach the stationary distribution and asymptotic effective-sample-size rates.


title: Linear Bandits with Feature Feedback

abstract: This paper explores a new form of the linear bandit problem in which the algorithm receives the usual stochastic rewards as well as stochastic feedback about which features are relevant to the rewards, the latter feedback being the novel aspect. The focus of this paper is the development of new theory and algorithms for linear bandits with feature feedback. We show that linear bandits with feature feedback can achieve regret over time horizon $T$ that scales like $k\sqrt{T}$, without prior knowledge of which features are relevant nor the number $k$ of relevant features. In comparison, the regret of traditional linear bandits is $d\sqrt{T}$, where $d$ is the total number of (relevant and irrelevant) features, so the improvement can be dramatic if $k\ll d$. The computational complexity of the new algorithm is proportional to $k$ rather than $d$, making it much more suitable for real-world applications compared to traditional linear bandits. We demonstrate the performance of the new algorithm with synthetic and real human-labeled data.


title: Habitable zone predictions and how to test them

abstract: The habitable zone (HZ) is the region around a star(s) where standing bodies of water could exist on the surface of a rocky planet. The classical HZ definition makes a number of assumptions common to the Earth, including assuming that the most important greenhouse gases for habitable planets are CO2 and H2O, habitable planets orbit main-sequence stars, and that the carbonate-silicate cycle is a universal process on potentially habitable planets. Here, we discuss these and other predictions for the habitable zone and the observations that are needed to test them. We also, for the first time, argue why A-stars may be interesting HZ prospects. Instead of relying on unverified extrapolations from our Earth, we argue that future habitability studies require first principles approaches where temporal, spatial, physical, chemical, and biological systems are dynamically coupled. We also suggest that next-generation missions are only the beginning of a much more data-filled era in the not-too-distant future, when possibly hundreds to thousands of HZ planets will yield the statistical data we need to go beyond just finding habitable zone planets to actually determining which ones are most likely to exhibit life.


title: Beyond the Poles in Attractor Models of Inflation

abstract: We offer a geometric interpretation of attractor theories with singular kinetic terms as a union of multiple canonical models. We demonstrate that different domains (separated by poles) can drastically differ in their phenomenology. We illustrate this with the help of a "master model" that leads to distinct predictions depending on which side of the pole the field evolves before examining the more realistic example of $\alpha$-attractor models. Such models lead to quintessential inflation within the poles when featuring an exponential potential. However, beyond the poles, we discover a novel behaviour: the scalar field responsible for the early-time acceleration of the Universe may reach the boundary of the field-space manifold, indicating that the theory is incomplete and that a boundary condition must be imposed in order to determine its late-time behaviour. If the evolution of the field is arrested before this happens, however, we discover that quintessence can be achieved without a potential offset. Turning to multifield models with singular kinetic terms, we see that poles generalise straightforwardly to singular curves, which act as "model walls" between distinct pole-free inflationary models. As an example, we study a simple two-field $\alpha$-attractor-inspired model, whose evolution of isocurvature perturbations is sensitive to where the non-canonical field begins its trajectory. We finally discuss initial conditions in attractor theories, where the existence of multiple disconnected canonical models implies that we must make a fundamental choice: in which domain we impose a distribution for the inflaton in order to then determine the likelihood of inflation.


title: A Detailed Analysis of Quicksort Running Time

abstract: One of the greatest algorithms of all time is Quicksort. Its average running time is famously O(nlog(n)), and its variance, less famously, is O(n^2) (hence its standard deviation is O(n)). But what about higher moments? Here we find explicit expressions for the first eight moments, their scaled limits, and we describe how to compute, approximately (but very accurately), percentiles of running time for any list-length


title: Polar Coding with Chemical Reaction Networks

abstract: In this paper, we propose a new polar coding scheme with molecular programming, which is capable of highly parallel implementation at a nano-scale without a need of electrical power sources. We designed chemical reaction networks (CRN) to employ either successive cancellation (SC) or maximum-likelihood (ML) decoding schemes for short polar codes. From ordinary differential equation (ODE) analysis of the proposed CRNs, we demonstrate that SC and ML decoding achieve accurate computations across fully-parallel chemical reactions. We also make a comparison in terms of the number of required chemical reactions and species, where the superiority of ML decoder over SC decoder is observed for very short block lengths.


title: Control Strategy Design for Power Quality Management in Active Distribution Networks

abstract: Uncertainty and variability of renewable energy sources present an imperative technical challenge for Electrical Distribution Utilities. Power Quality indices represent quality of energy delivered and reliability. In this work, a control strategy design for real-time PQ management in active distribution systems is presented. The present work addresses management of voltage fluctuations induced by the variability in renewable generation. A zero energy reserve approach to tackle fluctuations of renewable energy generators is developed. The power consumption of flexible loads is modulated to reduce the technical losses and peak load of the feeder in this reactive power control strategy. A Volt VAR control strategy formulation, using the capability of smart inverters to provide dynamic reactive power is presented. Unbalanced power flow, different load profiles and flexible loads as virtual energy storages are used to improve voltage profile and reduce technical losses while maintaining system reliability. IEEE 13 bus distribution system is used for control strategy design validation. Comparative results indicate reduction in the system technical losses and the stress on automatic voltage regulators. The ease of design of control strategy indicate potential real-life application.


title: Learning to Modulate for Non-coherent MIMO

abstract: The deep learning trend has recently impacted a variety of fields, including communication systems, where various approaches have explored the application of neural networks in place of traditional designs. Neural networks flexibly allow for data/simulation-driven optimization, but are often employed as black boxes detached from direct application of domain knowledge. Our work considers learning-based approaches addressing modulation and signal detection design for the non-coherent MIMO channel. We demonstrate that simulation-driven optimization can be performed while entirely avoiding neural networks, yet still perform comparably. Additionally, we show the feasibility of MIMO communications over extremely short coherence windows (i.e., channel coefficient stability period), with as few as two time slots.


title: Adaptive Power System Emergency Control using Deep Reinforcement Learning

abstract: Power system emergency control is generally regarded as the last safety net for grid security and resiliency. Existing emergency control schemes are usually designed off-line based on either the conceived "worst" case scenario or a few typical operation scenarios. These schemes are facing significant adaptiveness and robustness issues as increasing uncertainties and variations occur in modern electrical grids. To address these challenges, for the first time, this paper developed novel adaptive emergency control schemes using deep reinforcement learning (DRL), by leveraging the high-dimensional feature extraction and non-linear generalization capabilities of DRL for complex power systems. Furthermore, an open-source platform named RLGC has been designed for the first time to assist the development and benchmarking of DRL algorithms for power system control. Details of the platform and DRL-based emergency control schemes for generator dynamic braking and under-voltage load shedding are presented. Extensive case studies performed in both two-area four-machine system and IEEE 39-Bus system have demonstrated the excellent performance and robustness of the proposed schemes.


title: Deep Learning-Based Constellation Optimization for Physical Network Coding in Two-Way Relay Networks

abstract: This paper studies a new application of deep learning (DL) for optimizing constellations in two-way relaying with physical-layer network coding (PNC), where deep neural network (DNN)-based modulation and demodulation are employed at each terminal and relay node. We train DNNs such that the cross entropy loss is directly minimized, and thus it maximizes the likelihood, rather than considering the Euclidean distance of the constellations. The proposed scheme can be extended to higher level constellations with slight modification of the DNN structure. Simulation results demonstrate a significant performance gain in terms of the achievable sum rate over conventional relaying schemes. Furthermore, since our DNN demodulator directly outputs bit-wise probabilities, it is straightforward to concatenate with soft-decision channel decoding.


title: Jointly Learning Explainable Rules for Recommendation with Knowledge Graph

abstract: Explainability and effectiveness are two key aspects for building recommender systems. Prior efforts mostly focus on incorporating side information to achieve better recommendation performance. However, these methods have some weaknesses: (1) prediction of neural network-based embedding methods are hard to explain and debug; (2) symbolic, graph-based approaches (e.g., meta path-based models) require manual efforts and domain knowledge to define patterns and rules, and ignore the item association types (e.g. substitutable and complementary). In this paper, we propose a novel joint learning framework to integrate \textit{induction of explainable rules from knowledge graph} with \textit{construction of a rule-guided neural recommendation model}. The framework encourages two modules to complement each other in generating effective and explainable recommendation: 1) inductive rules, mined from item-centric knowledge graphs, summarize common multi-hop relational patterns for inferring different item associations and provide human-readable explanation for model prediction; 2) recommendation module can be augmented by induced rules and thus have better generalization ability dealing with the cold-start issue. Extensive experiments\footnote{Code and data can be found at: \url{https://github.com/THUIR/RuleRec}} show that our proposed method has achieved significant improvements in item recommendation over baselines on real-world datasets. Our model demonstrates robust performance over "noisy" item knowledge graphs, generated by linking item names to related entities.


title: Computational Analysis of Dispersive and Nonlinear 2D Materials by Using a Novel GS-FDTD Method

abstract: In this paper, we propose a novel numerical method for modeling nanostructures containing dispersive and nonlinear two-dimensional (2D) materials, by incorporating a nonlinear generalized source (GS) into the finite-difference time-domain (FDTD) method. Starting from the expressions of nonlinear currents characterizing nonlinear processes in 2D materials, such as second- and third-harmonic generation, we prove that the nonlinear response of such nanostructures can be rigorously determined using two linear simulations. In the first simulation, one computes the linear response of the system upon its excitation by a pulsed incoming wave, whereas in the second one the system is excited by a nonlinear generalized source, which is determined by the linear near-field calculated in the first linear simulation. This new method is particularly suitable for the analysis of dispersive and nonlinear 2D materials, such as graphene and transition-metal dichalcogenides, chiefly because, unlike the case of most alternative approaches, it does not require the thickness of the 2D material. In order to investigate the accuracy of the proposed GS-FDTD method and illustrate its versatility, the linear and nonlinear response of graphene gratings have been calculated and compared to results obtained using alternative methods. Importantly, the proposed GS-FDTD can be extended to 3D bulk nonlinearities, rendering it a powerful tool for the design and analysis of more complicated nanodevices.


title: Dimensional effects in Efimov physics

abstract: Efimov physics is drastically affected by the change of spatial dimensions. Efimov states occur in a tridimensional (3D) environment, but disappear in two (2D) and one (1D) dimensions. In this paper, dedicated to the memory of Prof. Faddeev, we will review some recent theoretical advances related to the effect of dimensionality in the Efimov phenomenon considering three-boson systems interacting by a zero-range potential. We will start with a very ideal case with no physical scales, passing to a system with finite energies in the Born-Oppenheimer (BO) approximation and finishing with a general system. The physical reason for the appearance of the Efimov effect is given essentially by two reasons which can be revealed by the BO approximation - the form of the effective potential is proportional to $1/R^2$ ($R$ is the relative distance between the heavy particles) and its strength is smaller than the critical value given by $-(D-2)^2/4$, where $D$ is the effective dimension.

categories: physics.atom-ph cond-mat.quant-gas nucl-th quant-ph


title: Infinitesimally Tight Lagrangian Orbits

abstract: We describe isotropic orbits for the restricted action of a subgroup of a Lie group acting on a symplectic manifold by Hamiltonian symplectomorphisms and admitting an Ad*-equivariant moment map. We obtain examples of Lagrangian orbits of complex flag manifolds, of cotangent bundles of orthogonal Lie groups, and of products of flags. We introduce the notion of infinitesimally tight and study the intersection theory of such Lagrangian orbits, giving many examples.


title: Neural-Network Optimized 1-bit Precoding for Massive MU-MIMO

abstract: Base station (BS) architectures for massive multi-user (MU) multiple-input multiple-output (MIMO) wireless systems are equipped with hundreds of antennas to serve tens of users on the same time-frequency channel. The immense number of BS antennas incurs high system costs, power, and interconnect bandwidth. To circumvent these obstacles, sophisticated MU precoding algorithms that enable the use of 1-bit DACs have been proposed. Many of these precoders feature parameters that are, traditionally, tuned manually to optimize their performance. We propose to use deep-learning tools to automatically tune such 1-bit precoders. Specifically, we optimize the biConvex 1-bit PrecOding (C2PO) algorithm using neural networks. Compared to the original C2PO algorithm, our neural-network optimized (NNO-)C2PO achieves the same error-rate performance at $\bf 2\boldsymbol\times$ lower complexity. Moreover, by training NNO-C2PO for different channel models, we show that 1-bit precoding can be made robust to vastly changing propagation conditions.


title: Trace Equivalence and Epistemic Logic to Express Security Properties

abstract: In process algebras, security properties are expressed as equivalences between processes, but which equivalence is suitable is not clear. This means that there is a gap between an intuitive security notion and the formulation. Appropriate formalization is essential for verification, and our purpose is bridging this gap. By chasing scope extrusions, we prove that trace equivalence is congruent. Moreover, we construct an epistemic logic for the applied pi calculus and show that its logical equivalence agrees with the trace equivalence. We use the epistemic logic to show that trace equivalence is pertinent in the presence of a non-adaptive attacker.


title: The parameters of a family of linear codes

abstract: A large family of linear codes with flexible parameters from almost bent functions and perfect nonlinear functions are constructed and their parameters are determined. Some constructed linear codes and their related codes are optimal in the sense that they meet certain bounds on linear codes. Applications of these codes in secret sharing schemes and combinational designs are presented.


title: On occupation times in the red of L\'evy risk models

abstract: In this paper, we obtain analytical expression for the distribution of the occupation time in the red (below level $0$) up to an (independent) exponential horizon for spectrally negative L\'{e}vy risk processes and refracted spectrally negative L\'{e}vy risk processes. This result improves the existing literature in which only the Laplace transforms are known. Due to the close connection between occupation time and many other quantities, we provide a few applications of our results including future drawdown, inverse occupation time, Parisian ruin with exponential delay, and the last time at running maximum. By a further Laplace inversion to our results, we obtain the distribution of the occupation time up to a finite time horizon for refracted Brownian motion risk process and refracted Cram\'{e}r-Lundberg risk model with exponential claims.


title: Constraining nuclear physics parameters with current and future COHERENT data

abstract: Motivated by the recent observation of coherent elastic neutrino-nucleus scattering (CE$\nu $NS) at the COHERENT experiment, our goal is to explore its potential in probing important nuclear structure parameters. We show that the recent COHERENT data offers unique opportunities to investigate the neutron nuclear form factor. Our present calculations are based on the deformed Shell Model (DSM) method which leads to a better fit of the recent CE$\nu $NS data, as compared to known phenomenological form factors such as the Helm-type, symmetrized Fermi and Klein-Nystrand. The attainable sensitivities and the prospects of improvement during the next phase of the COHERENT experiment are also considered and analyzed in the framework of two upgrade scenarios.


title: Optimizing Information Freshness in Broadcast Network with Unreliable Links and Random Arrivals: An Approximate Index Policy

abstract: With the rapid growth of real-time Internet of Things (IoT) applications, the need for fresh information has surged. Age of Information (AoI) is a tailor-made metric to characterize the information freshness perceived by the devices. In this paper, we investigate the problem of scheduling updates to minimize AoI in broadcast network. In this case, a central controller, e.g. a base station, collects status updates from different sources and schedules them to corresponding clients. Different from previous work, we consider both stochastic status updates and unreliable links. The problem is first modeled as an infinite horizon average constrained cost Markov decision problem (CMDP). With Lagrangian relaxation, an approximation of Whittle's index is derived and a scheduling policy is designed based on the approximate index. The results in previous work can be view as degenerate cases of the approximation index policy either with reliable links or periodic arrival constraints. Simulation results demonstrate the near-optimal performance of the proposed policy.


title: Formation of Charon's Red Poles From Seasonally Cold-Trapped Volatiles

abstract: A unique feature of Pluto's large satellite Charon is its dark red northern polar cap. Similar colours on Pluto's surface have been attributed to organic macromolecules produced by energetic radiation processing of hydrocarbons. The polar location of this material on Charon implicates the temperature extremes that result from Charon's high obliquity and long seasons. The escape of Pluto's atmosphere provides a potential feed stock for production of complex chemistry. Gas from Pluto that is transiently cold-trapped and processed at Charon's winter pole was proposed as an explanation on the basis of an image of Charon's northern hemisphere, but not modelled quantitatively. Here we report images of the southern hemisphere illuminated by Pluto-shine and also images taken during the approach phase showing the northern polar cap over a range of longitudes. We model the surface thermal environment on Charon, the supply and temporary cold-trapping of material escaping from Pluto, and, while cold-trapped, its photolytic processing into more complex and less volatile molecules. The model results are consistent with the proposed mechanism producing the observed colour pattern on Charon.


title: Control over Skies: Survivability, Coverage, and Mobility Laws for Hierarchical Aerial Base Stations

abstract: Aerial Base Stations (ABSs) have gained significant importance in the next generation of wireless networks for accommodating mobile ground users and flash crowds with high convenience and quality. However, to achieve an efficient ABS network, many factors pertaining to ABS flight, governing laws and information transmissions must be studied. In this article, multi-drone communications are studied in three major aspects, survivability, coverage, and mobility laws, which optimize the multi-tier ABS network to avoid issues related to inter-cell interference, deficient energy, frequent handovers, and lifetime. The article includes simulation results of hierarchical ABS allocations for handling a set of users over a defined geographical area. Several open issues and challenges are presented to provide deep insights into the ABS network management and its utility framework.


title: Mechanisms leading to a warmer climate on high obliquity planets

abstract: A consistent finding of high obliquity simulations is that they are warmer than their low obliquity counterparts when the climate is cold. Ice-albedo feedback has been suggested as a possible mechanism. In this study, we find that warmer climate under high obliquity holds with varying insolations, including almost ice-free conditions. We try to understand the mechanisms through a series of feedback suppression experiments. Turning off the ice-albedo feedback, the temperature contrast between high and low obliquity remains significant, but it vanishes when the cloud radiation effects or the seasonal variation is turned off. This suggests the warmer climate on high obliquity planets does not rely completely on the existence of ice, and therefore holds at high insolation. In that regime, the surface temperature, and hence the cloud formation, lags behind the substellar point, leading to inefficient sunlight reflection and warmer climate.


title: Extensions of the MapDE algorithm for mappings relating differential equations

abstract: This paper is a sequel of our previous work in which we introduced the MapDE algorithm to determine the existence of analytic invertible mappings of an input (source) differential polynomial system (DPS) to a specific target DPS, and sometimes by heuristic integration an explicit form of the mapping. A particular feature was to exploit the Lie symmetry invariance algebra of the source, without integrating its equations, to facilitate MapDE, making algorithmic an approach initiated by Bluman and Kumei. In applications, however, the explicit form of a target DPS is not available, and a more important question is, can the source be mapped to a more tractable class. This aspect was illustrated by giving an algorithm to determine the existence of a mapping of a linear differential equation to the class of constant coefficient linear differential equations, again algorithmically realizing a method of Bluman and Kumei. Key for this application was the exploitation of a commutative sub-algebra of symmetries corresponding to translations of the independent variables in the target. In this paper, we extend MapDE to determine if a source nonlinear DPS can be mapped to a linear differential system. The methods combine aspects of the Bluman-Kumei mapping approach, together with techniques introduced by Lyakhov et al,for the determination of exact linearizations of ODE. The Bluman-Kumei approach which is applied to PDE, focuses on the fact that such linearizable systems must admit an infinite Lie subpseudogroup corresponding to the linear superposition of solutions in the target. In contrast, Lyakhov et al., focus on ODE, and properties of the so-called derived sub-algebra of the (finite) dimensional Lie algebra of symmetries of the ODE. We also illustrate the powerful maximal symmetry groups facility as a natural tool to be used in conjunction with MapDE.


title: Pluto's Haze as a Surface Material

abstract: Pluto's atmospheric haze settles out rapidly compared with geological timescales. It needs to be accounted for as a surface material, distinct from Pluto's icy bedrock and from the volatile ices that migrate via sublimation and condensation on seasonal timescales. This paper explores how a steady supply of atmospheric haze might affect three distinct provinces on Pluto. We pose the question of why they each look so different from one another if the same haze material is settling out onto all of them. Cthulhu is a more ancient region with comparatively little present-day geological activity, where the haze appears to simply accumulate over time. Sputnik Planitia is a very active region where glacial convection, as well as sublimation and condensation rapidly refresh the surface, hiding recently deposited haze from view. Lowell Regio is a region of intermediate age featuring very distinct coloration from the rest of Pluto. Using a simple model haze particle as a colorant, we are not able to match the colors in both Lowell Regio and Cthulhu. To account for their distinct colors, we propose that after arrival at Pluto's surface, haze particles may be less inert than might be supposed from the low surface temperatures. They must either interact with local materials and environments to produce distinct products in different regions, or else the supply of haze must be non-uniform in time and/or location, such that different products are delivered to different places.


title: The Upcoming Mutual Event Season for the Patroclus - Menoetius Trojan Binary

abstract: We present new Hubble Space Telescope and ground-based Keck observations and new Keplerian orbit solutions for the mutual orbit of binary Jupiter Trojan asteroid (617) Patroclus and Menoetius, targets of NASA's Lucy mission. We predict event times for the upcoming mutual event season, which is anticipated to run from late 2017 through mid 2019.


title: Learning Quantum Graphical Models using Constrained Gradient Descent on the Stiefel Manifold

abstract: Quantum graphical models (QGMs) extend the classical framework for reasoning about uncertainty by incorporating the quantum mechanical view of probability. Prior work on QGMs has focused on hidden quantum Markov models (HQMMs), which can be formulated using quantum analogues of the sum rule and Bayes rule used in classical graphical models. Despite the focus on developing the QGM framework, there has been little progress in learning these models from data. The existing state-of-the-art approach randomly initializes parameters and iteratively finds unitary transformations that increase the likelihood of the data. While this algorithm demonstrated theoretical strengths of HQMMs over HMMs, it is slow and can only handle a small number of hidden states. In this paper, we tackle the learning problem by solving a constrained optimization problem on the Stiefel manifold using a well-known retraction-based algorithm. We demonstrate that this approach is not only faster and yields better solutions on several datasets, but also scales to larger models that were prohibitively slow to train via the earlier method.


title: Sparse Representations for Object and Ego-motion Estimation in Dynamic Scenes

abstract: Dynamic scenes that contain both object motion and egomotion are a challenge for monocular visual odometry (VO). Another issue with monocular VO is the scale ambiguity, i.e. these methods cannot estimate scene depth and camera motion in real scale. Here, we propose a learning based approach to predict camera motion parameters directly from optic flow, by marginalizing depthmap variations and outliers. This is achieved by learning a sparse overcomplete basis set of egomotion in an autoencoder network, which is able to eliminate irrelevant components of optic flow for the task of camera parameter or motionfield estimation. The model is trained using a sparsity regularizer and a supervised egomotion loss, and achieves the state-of-the-art performances on trajectory prediction and camera rotation prediction tasks on KITTI and Virtual KITTI datasets, respectively. The sparse latent space egomotion representation learned by the model is robust and requires only 5% of the hidden layer neurons to maintain the best trajectory prediction accuracy on KITTI dataset. Additionally, in presence of depth information, the proposed method demonstrates faithful object velocity prediction for wide range of object sizes and speeds by global compensation of predicted egomotion and a divisive normalization procedure.


title: A Spectroscopic Census of X-ray Systems in the COSMOS Field

abstract: We investigate spectroscopic properties of galaxy systems identified based on deep X-ray observations in the COSMOS field. The COSMOS X-ray system catalog we use George et al. (2011) includes 180 X-ray systems to a limiting flux of $1.0 \times 10^{-15}$ erg cm$^{-2}$ s$^{-1}$, an order of magnitude deeper than future e-ROSITA survey. We identify spectroscopic members of these X-ray systems based on the spectroscopic catalog constructed by compiling various spectroscopic surveys including 277 new measurements; 137 X-ray systems are spectroscopically identified groups with more than three spectroscopic members. We identify 1843 spectroscopic redshifts of member candidates in these X-ray systems. The X-ray luminosity ($L_{X}$) - velocity dispersion ($\sigma_{v}$) scaling relation of the COSMOS X-ray systems is consistent with that of massive X-ray clusters. One of the distinctive features of the COSMOS survey is that it covers the X-ray luminosity range where poor groups overlap the range for extended emission associated with individual quiescent galaxies. We assess the challenges posed by the complex morphology of the distribution of low X-ray luminosity systems, including groups and individual quiescent galaxies, in the $L_{x} - \sigma_{v}$ plane.


title: A Lightweight McEliece Cryptosystem Co-processor Design

abstract: Due to the rapid advances in the development of quantum computers and their susceptibility to errors, there is a renewed interest in error correction algorithms. In particular, error correcting code-based cryptosystems have reemerged as a highly desirable coding technique. This is due to the fact that most classical asymmetric cryptosystems will fail in the quantum computing era. Quantum computers can solve many of the integer factorization and discrete logarithm problems efficiently. However, code-based cryptosystems are still secure against quantum computers, since the decoding of linear codes remains as NP-hard even on these computing systems. One such cryptosystem is the McEliece code-based cryptosystem. The original McEliece code-based cryptosystem uses binary Goppa code, which is known for its good code rate and error correction capability. However, its key generation and decoding procedures have a high computation complexity. In this work we propose a design and hardware implementation of an public-key encryption and decryption co-processor based on a new variant of McEliece system. This co-processor takes the advantage of the non-binary Orthogonal Latin Square Codes to achieve much smaller computation complexity, hardware cost, and the key size.


title: Automated Reconstruction of Spherical Kikuchi Maps

abstract: An automated approach to reconstruct spherical Kikuchi maps from experimentally collected electron backscatter diffraction patterns and overlay each pattern onto its corresponding position on a simulated Kikuchi sphere is presented in this study. This work demonstrates the feasibility of warping any Kikuchi pattern onto its corresponding location of a simulated Kikuchi sphere and reconstructing a spherical Kikuchi map of a known phase based on any set of experimental patterns. The proposed method is the first automated approach to reconstructing spherical Kikuchi maps from experimental Kikuchi patterns. It potentially enables more accurate orientation calculation, new pattern center refinement methods, improved dictionary-based pattern matching, and phase identification in the future.


title: Post-Quantum Cryptographic Hardware Primitives

abstract: The development and implementation of post-quantum cryptosystems have become a pressing issue in the design of secure computing systems, as general quantum computers have become more feasible in the last two years. In this work, we introduce a set of hardware post-quantum cryptographic primitives (PCPs) consisting of four frequently used security components, i.e., public-key cryptosystem (PKC), key exchange (KEX), oblivious transfer (OT), and zero-knowledge proof (ZKP). In addition, we design a high speed polynomial multiplier to accelerate these primitives. These primitives will aid researchers and designers in constructing quantum-proof secure computing systems in the post-quantum era.


title: How Effectively Can Indoor Wireless Positioning Relieve Visual Tracking Pains: A Camera-Rao Bound Viewpoint

abstract: Visual tracking is fragile in some difficult scenarios, for instance, appearance ambiguity and variation, occlusion can easily degrade most of visual trackers to some extent. In this paper, visual tracking is empowered with wireless positioning to achieve high accuracy while maintaining robustness. Fundamentally different from the previous works, this study does not involve any specific wireless positioning algorithms. Instead, we use the confidence region derived from the wireless positioning Cramer-Rao bound (CRB) as the search region of visual trackers. The proposed framework is low-cost and very simple to implement, yet readily leads to enhanced and robustified visual tracking performance in difficult scenarios as corroborated by our experimental results. Most importantly, it is utmost valuable for the practioners to pre-evaluate how effectively can the wireless resources available at hand alleviate the visual tracking pains.


title: Bow shocks, bow waves, and dust waves. I. Strong coupling limit

abstract: Dust waves and bow waves result from the action of a star's radiation pressure on a stream of dusty plasma that flows past it. They are an alternative mechanism to hydrodynamic bow shocks for explaining the curved arcs of infrared emission seen around some stars. When gas and grains are perfectly coupled, for a broad class of stellar parameters, wind-supported bow shocks predominate when the ambient density is below 100 per cubic cm. At higher densities radiation-supported bows can form, tending to be optically thin bow waves around B stars, or optically thick bow shocks around early O stars. For OB stars with particularly weak stellar winds, radiation-supported bows become more prevalent.


title: Molecular Information Delivery in Porous Media

abstract: Information delivery via molecular signals is abundant in nature and potentially useful for industry sensing. Many propagation channels (e.g., tissue membranes and catalyst beds) contain porous medium materials and the impact this has on communication performance is not well understood. Here, communication through realistic porous channels is investigated for the first time via statistical breakthrough curves. Assuming that the number of arrived molecules can be approximated as a Gaussian random variable and using fully resolved computational fluid dynamics results for the breakthrough curves, the numerical results for the throughput, mutual information, error probability, and information diversity gain are presented. Using these numerical results, the unique characteristics of the porous medium channel are revealed.