title: From galactic nuclei to the halo outskirts: tracing supermassive black holes across cosmic history and environments

abstract: We study the mass assembly and spin evolution of supermassive black holes (BHs) across cosmic time as well as the impact of gravitational recoil on the population of nuclear and wandering black holes (wBHs) by using the semi-analytical model LGalaxies run on top of Millennium merger trees. We track spin changes that BHs experience during both coalescence events and gas accretion phases. For the latter, we assume that spin changes are coupled with the bulge assembly. This assumption leads to predictions for the median spin values of z=0 BHs that depend on whether they are hosted by pseudobulges, classical bulges or ellipticals, being a ~ 0.9, 0.7 and 0.4, respectively. The outcomes of the model display a good consistency with z<4 quasar luminosity functions and the z=0 BH mass function, spin values and black hole-bulge mass correlation. Regarding the wBHs, we assume that they can originate from both the disruption of satellite galaxies (orphan wBH) and ejections due to gravitational recoils (ejected wBH). The model points to a number density of wBHs that increases with decreasing redshift, although this population is always ~2 dex smaller than the one of nuclear black holes. At all redshifts, wBHs are typically hosted in M_{halo}>10^{13} M_{\odot} and M_{stellar}>10^{10} M_{\odot}, being orphan wBHs the dominant type. Besides, independently of redshift and halo mass, \textit{ejected} wBHs inhabit the central regions (<0.3R_{200}) of the host DM halo, while orphan wBHs linger at larger scales (>0.5R_{200}). Finally, we find that gravitational recoils cause a progressive depletion of nuclear BHs with decreasing redshift and stellar mass. Moreover, ejection events lead to changes in the predicted local black hole-bulge relation, in particular for BHs in pseudobulges, for which the relation is flattened at M_{bulge}>10^{10.2} M{\odot} and the scatter increase up to ~3dex.


title: General Prescription for Global U(1)'s in 6D SCFTs

abstract: We present a general prescription for determining the global U(1) symmetries of six-dimensional superconformal field theories (6D SCFTs). We use the quiver-like gauge theory description of the tensor branch to identify candidate U(1) symmetries which can act on generalized matter. The condition that these candidate U(1)'s are free of Adler-Bell-Jackiw (ABJ) anomalies provides bottom-up constraints for U(1)'s. This agrees with the answer obtained from symmetry breaking patterns induced by Higgs branch flows. We provide numerous examples illustrating the details of this proposal. In the F-theory realization of these theories, some of these symmetries originate from deformations of non-abelian flavor symmetries localized on a component of the discriminant, while others come from an additional generator of the Mordell-Weil group. We also provide evidence that some of these global U(1)'s do not arise from gauge symmetries, as would happen in taking a decoupling limit of a model coupled to six-dimensional supergravity.


title: Boundary Criticality of Topological Quantum Phase Transitions in $2d$ systems

abstract: We discuss the boundary critical behaviors of two dimensional quantum phase transitions with fractionalized degrees of freedom in the bulk, motivated by the fact that usually it is the $1d$ boundary that is exposed and can be conveniently probed in many experimental platforms. In particular, we mainly discuss boundary criticality of two examples: i. the quantum phase transition between a $2d$ $Z_2$ topological order and an ordered phase with spontaneous symmetry breaking; ii. the continuous quantum phase transition between metal and a particular type of Mott insulator (U(1) spin liquid). This theoretical study could be relevant to many purely $2d$ systems, where recent experiments have found correlated insulator, superconductor, and metal in the same phase diagram.


title: Majorana versus Andreev bound state energy oscillations in a 1D semiconductor-superconductor heterostructure

abstract: The recent experimental observations of decaying energy oscillations in semiconductor-superconductor Majorana nanowires is in contrast with the typical expectations based on the presence of Majorana zero modes localized at the ends of the system, when the amplitude of the hybridization energy oscillations is predicted to increase with the applied magnetic field. These observations have been theoretically justified recently by considering a position-dependent, step-like spin-orbit coupling near end of the nanowire, which could arise due to the presence of tunnel gates in a standard tunneling conductance experiment. Here, we show that the window in parameter space where this phenomenology occurs is vanishingly small, when compared to the parameter region where Majorana oscillations increase in amplitude with the applied field. Further, including a position-dependent effective potential, which is also induced naturally near the end of the wire by, e.g., tunnel gates, practically removes the small window associated with decaying oscillations. Using extensive numerical calculations, we show that, as expected, increasing amplitude oscillations of the hybridization energy represent a generic property of topological Majorana zero modes, while decreasing amplitude oscillations are a generic property of low-energy trivial Andreev bound states that typically emerge in non-homogeneous systems. By averaging over several realistic parameter configurations, we identify robust features of the hybridization energy that can be observed in a typical differential conductance experiment without fine-tuning the control parameters.


title: Requirements for gravitational collapse in planetesimal formation --- the impact of scales set by Kelvin-Helmholtz and nonlinear streaming instability

abstract: The formation of planetesimals is an unsolved problem in planet formation theory. A prominent scenario for overcoming dust growth barriers in dead zones is the gravitational collapse of locally over-dense regions, shown to robustly produce $\sim$100 km sized objects. Still, the conditions under which planetesimal formation occurs remain unclear. For collapse to proceed, the self-gravity of an overdensity must overcome stellar tidal disruption on large scales and turbulent diffusion on small scales. Here, we relate the scales of streaming and Kelvin-Helmholtz instability, which both regulate particle densities on the scales of gravitational collapse, directly to planetesimal formation. We support our analytic findings by performing 3D hydrodynamical simulations of streaming and Kelvin-Helmholtz instability and planetesimal formation. We find that the vertical extent of the particle mid-plane layer and the radial width of streaming instability filaments are set by the same characteristic length scale, thus governing the strength of turbulent diffusion on the scales of planetesimal formation. We present and successfully test a collapse criterion: $0.1 Q \beta \epsilon^{-1}Z^{-1} \lesssim 1$ and show that even for Solar metallicities, planetesimals can form in dead zones of sufficiently massive disks. For a given gas Toomre-parameter $Q$, pressure gradient $\beta$, metallicity $Z$ and local particle enhancement $\epsilon$, the collapse criterion also provides a range of unstable scales, instituting a promising path for studying initial planetesimal mass distributions. Streaming instability is not required for planetesimal collapse, but by increasing $\epsilon$, can evolve a system to instability.


title: The analytic structure of amplitudes on backgrounds from gauge invariance and the infra-red

abstract: Gauge invariance and soft limits can be enough to determine the analytic structure of scattering amplitudes in certain theories. This prompts the question of how gauge invariance is connected to analytic structure in more general theories. Here we focus on QED in background plane waves. We show that imposing gauge invariance introduces new virtuality poles into internal momenta on which amplitudes factorise into a series of terms. Each term is gauge invariant, has a different analytic structure in external momenta, and exhibits a hard/soft factorisation. The introduced poles are dictated by infra-red behaviour, which allows us to extend our results to scalar Yukawa theory. The background is treated non-perturbatively throughout.


title: Intel Quantum Simulator: A cloud-ready high-performance simulator of quantum circuits

abstract: Classical simulation of quantum computers will continue to play an essential role in the progress of quantum information science, both for numerical studies of quantum algorithms and for modeling noise and errors. Here we introduce the latest release of Intel Quantum Simulator (IQS), formerly known as qHiPSTER. The high-performance computing (HPC) capability of the software allows users to leverage the available hardware resources provided by supercomputers, as well as available public cloud computing infrastructure. To take advantage of the latter platform, together with the distributed simulation of each separate quantum state, IQS allows to subdivide the computational resources to simulate a pool of related circuits in parallel. We highlight the technical implementation of the distributed algorithm and details about the new pool functionality. We also include some basic benchmarks (up to 42 qubits) and performance results obtained using HPC infrastructure. Finally, we use IQS to emulate a scenario in which many quantum devices are running in parallel to implement the quantum approximate optimization algorithm, using particle swarm optimization as the classical subroutine. The results demonstrate that the hyperparameters of this classical optimization algorithm depends on the total number of quantum circuit simulations one has the bandwidth to perform. Intel Quantum Simulator has been released open-source with permissive licensing and is designed to simulate a large number of qubits, to emulate multiple quantum devices running in parallel, and/or to study the effects of decoherence and other hardware errors on calculation results.


title: The Heat Equation on the Finite Poincar\'e Upper Half-Plane

abstract: A differential-difference operator is used to model the heat equation on a finite graph analogue of Poincar\'e's upper half-plane. Finite analogues of the classical theta functions are shown to be solutions to the heat equation in this setting.


title: Fano quiver moduli

abstract: We exhibit a large class of quiver moduli spaces which are Fano varieties, by studying line bundles on quiver moduli and their global sections in general, and work out several classes of examples, comprising moduli spaces of point configurations, Kronecker moduli, and toric quiver moduli.


title: Equivariant K-stability under finite group action

abstract: We show that G-equivariant K-semistability (resp. G-equivariant K-polystability) implies K-semistability (resp. K-polystability) for log Fano pairs when G is a finite group.


title: Solar-Metallicity Gas in the Extended Halo of a Galaxy at $z \sim 0.12$

abstract: We present the detection and analysis of a weak low-ionization absorber at $z = 0.12122$ along the blazar sightline PG~$1424+240$, using spectroscopic data from both $HST$/COS and STIS. The absorber is a weak Mg II analogue, with incidence of weak C II and Si II, along with multi-component C IV and O VI. The low ions are tracing a dense ($n_{H} \sim 10^{-3}$ cm$^{-3}$) parsec scale cloud of solar or higher metallicity. The kinematically coincident higher ions are either from a more diffuse ($n_{H} \sim 10^{-5} - 10^{-4}$ cm$^{-3}$) photoionized phase of kiloparsec scale dimensions, or are tracing a warm (T $\sim 2 \times 10^{5}$ K) collisionally ionized transition temperature plasma layer. The absorber resides in a galaxy overdense region, with 18 luminous ($> L^*$) galaxies within a projected radius of $5$ Mpc and $750$ km s$^{-1}$ of the absorber. The multi-phase properties, high metallicity and proximity to a $1.4$ $L^*$ galaxy, at $\rho \sim 200$ kpc and $|\Delta v| = 11$ km s$^{-1}$ separation, favors the possibility of the absorption tracing circumgalactic gas. The absorber serves as an example of weak Mg II - O VI systems as a means to study multiphase high velocity clouds in external galaxies.


title: Quantum State Discrimination via Repeated Measurements and the Rule of Three

abstract: The task of state discrimination for a set of mutually orthogonal pure states is trivial if one has access to the corresponding sharp (projection-valued) measurement, but what if we are restricted to an unsharp measurement? Given that any realistic measurement device will be subject to some noise, such a problem is worth considering. In this paper we consider minimum error state discrimination for mutually orthogonal states with a noisy measurement. We show that by considering repetitions of commutative L\"uders measurements on the same system we are able to increase the probability of successfully distinguishing states. In the case of binary L\"uders measurements we provide a full characterisation of the success probabilities for any number of repetitions. This leads us to identify a 'rule of three', where no change in probability is obtained from a second measurement but there is noticeable improvement after a third. We also provide partial results for $N$-valued commutative measurements where the rule of three remains, but the general pattern present in binary measurements is no longer satisfied.


title: The KEEN Universe: An Ecosystem for Knowledge Graph Embeddings with a Focus on Reproducibility and Transferability

abstract: There is an emerging trend of embedding knowledge graphs (KGs) in continuous vector spaces in order to use those for machine learning tasks. Recently, many knowledge graph embedding (KGE) models have been proposed that learn low dimensional representations while trying to maintain the structural properties of the KGs such as the similarity of nodes depending on their edges to other nodes. KGEs can be used to address tasks within KGs such as the prediction of novel links and the disambiguation of entities. They can also be used for downstream tasks like question answering and fact-checking. Overall, these tasks are relevant for the semantic web community. Despite their popularity, the reproducibility of KGE experiments and the transferability of proposed KGE models to research fields outside the machine learning community can be a major challenge. Therefore, we present the KEEN Universe, an ecosystem for knowledge graph embeddings that we have developed with a strong focus on reproducibility and transferability. The KEEN Universe currently consists of the Python packages PyKEEN (Python KnowlEdge EmbeddiNgs), BioKEEN (Biological KnowlEdge EmbeddiNgs), and the KEEN Model Zoo for sharing trained KGE models with the community.


title: Who presents and where? An analysis of research seminars in US economics departments

abstract: Using a large dataset of research seminars held at US economics departments in 2018, I explore the factors that determine who is invited to present at a research seminar and whether the invitation is accepted. I find that high-quality scholars have a higher probability of being invited than low-quality scholars, and researchers are more likely to accept an invitation if it is issued by a top economics department. The probability of being invited increases with the size of the host department. Young and low-quality scholars have a higher probability of accepting an invitation. The distance between the host department and invited scholar reduces the probability of being invited and accepting the invitation. Female scholars do not have a lower probability of being invited to give a research seminar than men.


title: Correlation functions in massive Landau-Ginzburg orbifolds and tests of dualities

abstract: In this paper we discuss correlation function computations in massive topological Landau-Ginzburg orbifolds, extending old results of Vafa. We then apply these computations to provide further tests of the nonabelian mirrors proposal and two-dimensional Hori-Seiberg dualities with $(S)O_{\pm}$ gauge groups and their mirrors.


title: Hyperon-nucleon three-body forces and strangeness in neutron stars

abstract: Three-body forces acting on a $\Lambda$ hyperon in a nuclear medium are investigated, with special focus on the so-called hyperon puzzle in neutron stars. The hyperon-nucleon two-body interaction deduced from SU(3) chiral effective field theory is employed at next-to-leading order. Hyperon-nucleon three-body forces are approximated using saturation by decuplet baryons and are transcribed to density-dependent effective two-body interactions. These together are taken as input in a Brueckner-Bethe-Goldstone equation with explicit treatment of the $\Lambda N\leftrightarrow\Sigma N$ and $\Lambda NN\leftrightarrow\Sigma NN$ coupled channels. Single-particle potentials of a $\Lambda$ hyperon in symmetric nuclear matter and neutron matter are calculated. With parameters of the $\Lambda NN$ three-body force constrained by hypernuclear phenomenology, extrapolations to high baryon density are performed. By comparison of the $\Lambda$ and neutron chemical potentials at densities characteristic of the core of neutron stars it is found that the combined repulsive effects of two- and three-body correlations makes the appearance of $\Lambda$ hyperons in neutron stars energetically unfavourable, thus offering a possible solution to a longstanding question.


title: The evolution of magnetic stars in a single-age population

abstract: Observational and theoretical work has now established that the fossil fields of magnetic massive stars are surviving remnants from an earlier event, or an earlier evolutionary phase. However, many important questions remain regarding the effects of these fields on the late stages of stellar evolution, as well as their impact on the core-collapse mechanism and the formation of exotic compact objects such as magnetars and gravitational wave progenitors. There is currently a critical need to incorporate the impact of fossil fields in models of the structure and evolution of magnetic stars, and to determine the evolutionary history of magnetic massive stars. We present a preliminary population study of a cluster of co-evolving stars based on MESA evolutionary tracks that account for the effect of magnetic mass-loss quenching.


title: Classification of Strongly Disordered Topological Wires Using Machine Learning

abstract: In this article we apply the random forest machine learning model to classify 1D topological phases when strong disorder is present. We show that using the entanglement spectrum as training features the model gives high classification accuracy. The trained model can be extended to other regions in phase space, and even to other symmetry classes on which it was not trained and still provides accurate results. After performing a detailed analysis of the trained model we find that its dominant classification criteria captures degeneracy in the entanglement spectrum.


title: Rainbow independent sets on dense graph classes

abstract: Given a family $\mathcal{I}$ of independent sets in a graph, a rainbow independent set is an independent set $I$ such that there is an injection $\phi\colon I\to \mathcal{I}$ where for each $v\in I$, $v$ is contained in $\phi(v)$. Aharoni, Briggs, J. Kim, and M. Kim [Rainbow independent sets in certain classes of graphs. arXiv:1909.13143] determined for various graph classes $\mathcal{C}$ whether $\mathcal{C}$ satisfies a property that for every $n$, there exists $N=N(\mathcal{C},n)$ such that every family of $N$ independent sets of size $n$ in a graph in $\mathcal{C}$ contains a rainbow independent set of size $n$. In this paper, we add two dense graph classes satisfying this property, namely, the class of graphs of bounded neighborhood diversity and the class of $r$-powers of graphs in a bounded expansion class.


title: Path Query Data Structures in Practice

abstract: We perform experimental studies on data structures that answer path median, path counting, and path reporting queries in weighted trees. These query problems generalize the well-known range median query problem in arrays, as well as the $2d$ orthogonal range counting and reporting problems in planar point sets, to tree structured data. We propose practical realizations of the latest theoretical results on path queries. Our data structures, which use tree extraction, heavy-path decomposition and wavelet trees, are implemented in both succinct and pointer-based form. Our succinct data structures are further specialized to be plain or entropy-compressed. Through experiments on large sets, we show that succinct data structures for path queries may present a viable alternative to standard pointer-based realizations, in practical scenarios. Compared to na{\"i}ve approaches that compute the answer by explicit traversal of the query path, our succinct data structures are several times faster in path median queries and perform comparably in path counting and path reporting queries, while being several times more space-efficient. Plain pointer-based realizations of our data structures, requiring a few times more space than the na{\"i}ve ones, yield up to $100$-times speed-up over them.


title: Landmark2Vec: An Unsupervised Neural Network-Based Landmark Positioning Method

abstract: A Neural Network-based method for unsupervised landmarks map estimation from measurements taken from landmarks is introduced. The measurements needed for training the network are the signals observed/received from landmarks by an agent. The definition of landmarks, agent, and the measurements taken by agent from landmarks is rather broad here: landmarks can be visual objects, e.g., poles along a road, with measurements being the size of landmark in a visual sensor mounted on a vehicle (agent), or they can be radio transmitters, e.g., WiFi access points inside a building, with measurements being the Received Signal Strength (RSS) heard from them by a mobile device carried by a person (agent). The goal of the map estimation is then to find the positions of landmarks up to a scale, rotation, and shift (i.e., the topological map of the landmarks). Assuming that there are $L$ landmarks, the measurements will be $L \times 1$ vectors collected over the area. A shallow network then will be trained to learn the map without any ground truth information.


title: Three New Fundamental Problems in Physics of the Aftershocks

abstract: Recently, the physics of aftershocks has been enriched by three new problems. We will conditionally call them dynamic, inverse, and morphological problems. Dynamic problem is to search for the cumulative effect of a round-the-world seismic echo appearing after the main shock of earthquake. According to the theory, a converging surface seismic wave excited by the main shock returns to the epicenter about 3 hours after the main shock and stimulates the excitation of a strong aftershock. The second problem is an adequate description of the averaged evolution of the aftershock flow. We introduced a new concept about the coefficient of deactivation of the earthquake source, and proposed an equation that describes the evolution of aftershocks. Based on the equation of evolution, we posed and solved the inverse problem of the physics of the earthquake source. The third task is to model the spatio-temporal distribution of aftershocks. Its solution refines our understanding of the structure of the earthquake source.


title: Detecting Troll Behavior via Inverse Reinforcement Learning: A Case Study of Russian Trolls in the 2016 US Election

abstract: Since the 2016 US Presidential election, social media abuse has been eliciting massive concern in the academic community and beyond. Preventing and limiting the malicious activity of users, such as trolls and bots, in their manipulation campaigns is of paramount importance for the integrity of democracy, public health, and more. However, the automated detection of troll accounts is an open challenge. In this work, we propose an approach based on Inverse Reinforcement Learning (IRL) to capture troll behavior and identify troll accounts. We employ IRL to infer a set of online incentives that may steer user behavior, which in turn highlights behavioral differences between troll and non-troll accounts, enabling their accurate classification. As a study case, we consider the troll accounts identified by the US Congress during the investigation of Russian meddling in the 2016 US Presidential election. We report promising results: the IRL-based approach is able to accurately detect troll accounts (AUC=89.1%). The differences in the predictive features between the two classes of accounts enables a principled understanding of the distinctive behaviors reflecting the incentives trolls and non-trolls respond to.


title: Pedestrian Motion Model Using Non-Parametric Trajectory Clustering and Discrete Transition Points

abstract: This paper presents a pedestrian motion model that includes both low level trajectory patterns, and high level discrete transitions. The inclusion of both levels creates a more general predictive model, allowing for more meaningful prediction and reasoning about pedestrian trajectories, as compared to the current state of the art. The model uses an iterative clustering algorithm with (1) Dirichlet Process Gaussian Processes to cluster trajectories into continuous motion patterns and (2) hypothesis testing to identify discrete transitions in the data called transition points. The model iteratively splits full trajectories into sub-trajectory clusters based on transition points, where pedestrians make discrete decisions. State transition probabilities are then learned over the transition points and trajectory clusters. The model is for online prediction of motions, and detection of anomalous trajectories. The proposed model is validated on the Duke MTMC dataset to demonstrate identification of low level trajectory clusters and high level transitions, and the ability to predict pedestrian motion and detect anomalies online with high accuracy.


title: Cycle type factorizations in $\mathrm{GL}_n \mathbb{F}_q$

abstract: Recent work by Huang, Lewis, Morales, Reiner, and Stanton suggests that the regular elliptic elements of $\mathrm{GL}_n \mathbb{F}_q$ are somehow analogous to the $n$-cycles of the symmetric group. In 1981, Stanley enumerated the factorizations of permutations into products of $n$-cycles. We study the analogous problem in $\mathrm{GL}_n \mathbb{F}_q$ of enumerating factorizations into products of regular elliptic elements. More precisely, we define a notion of cycle type for $\mathrm{GL}_n \mathbb{F}_q$ and seek to enumerate the tuples of a fixed number of regular elliptic elements whose product has a given cycle type. In some special cases, we provide explicit formulas, using a standard character-theoretic technique due to Frobenius by introducing simplified formulas for the necessary character values. We also address, for large $q$, the problem of computing the probability that the product of a random tuple of regular elliptic elements has a given cycle type. We conclude with some results about the polynomiality of our enumerative formulas and some open problems.


title: Study of dose-dependent combination immunotherapy using engineered T cells and IL-2 in cervical cancer

abstract: Adoptive T cell based immunotherapy is gaining significant traction in cancer treatment. Despite its limited success, so far, in treating solid cancers, it is increasingly successful, demonstrating to have a broader therapeutic potential. In this paper we develop a mathematical model to study the efficacy of engineered T cell receptor (TCR) T cell therapy targeting the E7 antigen in cervical cancer cell lines. We consider a dynamical system that follows the population of cancer cells, TCR T cells, and IL-2. We demonstrate that there exists a TCR T cell dosage window for a successful cancer elimination that can be expressed in terms of the initial tumor size. We obtain the TCR T cell dose for two cervical cancer cell lines: 4050 and CaSki. Finally, a combination therapy of TCR T cell and IL-2 treatment is studied. We show that certain treatment protocols can improve therapy responses in the 4050 cell line, but not in the CaSki cell line.


title: Pressure tuning of structural and magnetic transitions in EuAg$_4$As$_2$

abstract: We report temperature dependent measurements of ambient pressure specific heat, magnetic susceptibility, anisotropic resistivity and thermal expansion as well as in-plane resistivity under pressure up to 20.8 kbar on single crystals of EuAg$_4$As$_2$. Based on thermal expansion and in-plane electrical transport measurements at ambient pressure this compound has two, first order, structural transitions in 80 - 120 K temperature range. Ambient pressure specific heat, magnetization and thermal expansion measurements show a cascade of up to seven transitions between 8 and 16 K associated with the ordering of the Eu$^{2+}$ moments. In-plane electrical transport is able to detect more prominent of these transitions: at 15.5, 9.9, and 8.7 K as well as a weak feature at 11.8 K at ambient pressure. Pressure dependent electrical transport data show that the magnetic transitions shift to higher temperatures under pressure, as does the upper structural transition, whereas the lower structural transition is suppressed and ultimately vanishes. A jump in resistivity, associated with the upper structural transition, decreases under pressure with an extrapolated disappearance (or a change of sign) by 30-35 kbar. In the 10 - 15 kbar range a kink in the pressure dependence of the upper structural transition temperature as well as the high and low temperature in-plane resistivities suggest that a change in the electronic structure may occur in this pressure range. The results are compared with the literature data for SrAg$_4$As$_2$.


title: Starshade formation flying I: optical sensing

abstract: A key challenge for starshades is formation flying. To successfully image exoplanets, the telescope boresight and starshade must be aligned to ~1 m at separations of tens of thousands of kilometers. This challenge has two parts: first, the relative position of the starshade with respect to the telescope must be sensed; and second, sensor measurements must be combined with a control law to keep the two spacecraft aligned in the presence of gravitational and other disturbances. In this work, we present an optical sensing approach using a pupil imaging camera in a 2.4-m telescope that can measure the relative spacecraft bearing to a few centimeters in 1 s, much faster than any relevant dynamical disturbances. A companion paper will describe how this sensor can be combined with a control law to keep the two spacecraft aligned with minimal interruptions to science observations.


title: Entanglement in Fermionic Chains and Bispectrality

abstract: Entanglement in finite and semi-infinite free Fermionic chains is studied. A parallel is drawn with the analysis of time and band limiting in signal processing. It is shown that a tridiagonal matrix commuting with the entanglement Hamiltonian can be found using the algebraic Heun operator construct in instances when there is an underlying bispectral problem. Cases corresponding to the Lie algebras $\mathfrak{su}(2)$ and $\mathfrak{su}(1,1)$ as well as to the q-deformed algebra $\mathfrak{so}_q(3)$ at $q$ a root of unity are presented.


title: The e-value: A Fully Bayesian Significance Measure for Precise Statistical Hypotheses and its Research Program

abstract: This article gives a survey of the e-value, a statistical significance measure a.k.a. the evidence rendered by observational data, X, in support of a statistical hypothesis, H, or, the other way around, the epistemic value of H given X. The $e$-value and the accompanying FBST, the Full Bayesian Significance Test, constitute the core of a research program that was started at IME-USP, is being developed by over 20 researchers worldwide, and has, so far, been referenced by over 200 publications. The e-value and the FBST comply with the best principles of Bayesian inference, including the likelihood principle, complete invariance, asymptotic consistency, etc. Furthermore, they exhibit powerful logic or algebraic properties in situations where one needs to compare or compose distinct hypotheses that can be formulated either in the same or in different statistical models. Moreover, they effortlessly accommodate the case of sharp or precise hypotheses, a situation where alternative methods often require ad hoc and convoluted procedures. Finally, the FBST has outstanding robustness and reliability characteristics, outperforming traditional tests of hypotheses in many practical applications of statistical modeling and operations research.


title: Defects in Kitaev models and bicomodule algebras

abstract: We construct a Kitaev model, consisting of a Hamiltonian which is the sum of commuting local projectors, for surfaces with boundaries and defects of dimension 0 and 1. More specifically, we show that one can consider cell decompositions of surfaces whose 2-cells are labeled by semisimple Hopf algebras and 1-cells are labeled by semisimple bicomodule algebras. We introduce an algebra whose representations label the 0-cells and which reduces to the Drinfeld double of a Hopf algebra in the absence of defects. In this way we generalize the algebraic structure underlying the standard Kitaev model without defects or boundaries, where all 1-cells and 2-cells are labeled by a single Hopf algebra and where point defects are labeled by representations of its Drinfeld double. In the standard case, commuting local projectors are constructed using the Haar integral for semisimple Hopf algebras. A central insight we gain in this paper is that in the presence of defects and boundaries, the suitable generalization of the Haar integral is given by the unique symmetric separability idempotent for a semisimple (bi-)comodule algebra.


title: Observation of high-temperature quantum anomalous Hall regime in intrinsic MnBi$_2$Te$_4$/Bi$_2$Te$_3$ superlattice

abstract: The quantum anomalous Hall effect is a fundamental transport response of a topologically non-trivial system in zero magnetic field. Its physical origin relies on the intrinsically inverted electronic band structure and ferromagnetism, and its most consequential manifestation is the dissipation-free flow of chiral charge currents at the edges that can potentially transform future quantum electronics. Here we report a previously unknown Berry-curvature-driven anomalous Hall regime ('Q-window') at above-Kelvin temperatures in the magnetic topological bulk crystals where through growth Mn ions self-organize into a period-ordered MnBi$_2$Te$_4$/Bi$_2$Te$_3$ superlattice. Robust ferromagnetism of the MnBi$_2$Te$_4$ monolayers opens a large surface gap, and anomalous Hall conductance reaches an $e^2/h$ quantization plateau when the Fermi level is tuned into this gap within a Q-window in which the anomalous Hall conductance from the bulk is to a high precision zero. The quantization in this new regime is not obstructed by the bulk conduction channels and thus should be present in a broad family of topological magnets.


title: Detection of the phase curve and occultation of WASP-100b with TESS

abstract: We report the detection of the full orbital phase curve and occultation of the hot-Jupiter WASP-100b using TESS photometry. The phase curve is isolated by suppressing low frequency stellar and instrumental modes using both a non-parametric harmonic notch filter (phasma) and semi-sector long polynomials. This yields a phase curve signal of (73 +/- 9) ppm amplitude, preferred over a null-model by deltaBIC = 25, indicating very strong evidence for an observed effect. We recover the occultation event with a suite of five temporally localized tools, including Gaussian processes and cosine filtering. This allows us to infer an occultation depth of (100 +/- 14) ppm, with an additional +/- 16 ppm systematic error from the differences between methods. We regress a model including atmospheric reflection, emission, ellipsoidal variations and Doppler beaming to the combined phase curve and occultation data. This allows us to infer that WASP-100b has a geometric albedo of A_g = 0.16 (+0.04, -0.03) in the TESS bandpass, with a maximum dayside brightness temperature of (2710 +/- 100) K and a warm nightside temperature of (2380 [+170, -200]) K. Additionally, we find evidence that WASP-100b has a high thermal redistribution efficiency, manifesting as a substantial eastward hotspot offset of (71 [+2, -4]) degrees. These results present the first measurement of a thermal phase shift among the phase curves observed by TESS so far, and challenge the predicted efficiency of heat transport in the atmospheres of ultra-hot Jupiters.


title: Facebook Ads Monitor: An Independent Auditing System for Political Ads on Facebook

abstract: The 2016 United States presidential election was marked by the abuse of targeted advertising on Facebook. Concerned with the risk of the same kind of abuse to happen in the 2018 Brazilian elections, we designed and deployed an independent auditing system to monitor political ads on Facebook in Brazil. To do that we first adapted a browser plugin to gather ads from the timeline of volunteers using Facebook. We managed to convince more than 2000 volunteers to help our project and install our tool. Then, we use a Convolution Neural Network (CNN) to detect political Facebook ads using word embeddings. To evaluate our approach, we manually label a data collection of 10k ads as political or non-political and then we provide an in-depth evaluation of proposed approach for identifying political ads by comparing it with classic supervised machine learning methods. Finally, we deployed a real system that shows the ads identified as related to politics. We noticed that not all political ads we detected were present in the Facebook Ad Library for political ads. Our results emphasize the importance of enforcement mechanisms for declaring political ads and the need for independent auditing platforms.


title: Exploratory Spectroscopy of Magnetic Cataclysmic Variables Candidates and Other Variable Objects II

abstract: This is the second paper of a series presenting our search for magnetic Cataclysmic Variables (mCVs) among candidates selected mostly from the Catalina Real-Time Transient Survey (CRTS). We present the identification spectra, obtained at the SOAR Telescope, as well as magnitudes and Gaia distances for 45 objects. Of these, 39 objects are identified as CVs, from which 8 targets show observational characteristics of mCVs, being 7 polars and 1 intermediate polar. The remaining 31 CVs in our sample are probably non-magnetic systems, in low (22 systems) or high (9 systems) accretion states. Six targets of the sample are not CVs (5 AGNs and 1 T Tauri star). Among the 8 objects with mCV spectra, 6 are new classifications. Three polars were observed in low accretion state, either revealing photospheric features of the secondary star and allowing the estimation of their spectral type, or presenting H$\beta$ Zeeman components associated to the WD magnetic field. In addition to the results obtained in the first paper of the series, and depending on the confirmation of these classifications by observational follow-up, our results would increase the sample of known polars by about 9 percent.


title: Image polaritons in boron nitride for extreme polariton confinement with low losses

abstract: Polaritons in two-dimensional materials provide extreme light confinement that is difficult to achieve with metal plasmonics. However, such tight confinement inevitably increases optical losses through various damping channels. Here we demonstrate that hyperbolic phonon polaritons in hexagonal boron nitride can overcome this fundamental trade-off. Among two observed polariton modes, featuring a symmetric and antisymmetric charge distribution, the latter exhibits lower optical losses and tighter polariton confinement. Far-field excitation and detection of this high-momenta mode becomes possible with our resonator design that can boost the coupling efficiency via virtual polariton modes with image charges that we dub image polaritons. Using these image polaritons, we experimentally observe a record-high effective index of up to 132 and quality factors as high as 501. Further, our phenomenological theory suggests an important role of hyperbolic surface scattering in the damping process of hyperbolic phonon polaritons.


title: Two-Component Axionic Dark Matter Halos

abstract: We consider a two-component dark matter halo (DMH) of a galaxy containing ultra-light axions (ULA) of different mass. The DMH is described as a Bose-Einstein condensate (BEC) in its ground state. In the mean-field (MF) limit we have derived the integro-differential equations for the spherically symmetrical wave functions of the two DMH components. We studied numerically the radial distribution of the mass density of ULA and constructed the parameters which could be used to distinguish between the two- and one-component DMH. We also discuss an interesting connection between the BEC MF ground state of a one-component DMH and Hawking temperature and entropy of a corresponding Black Hole, and Unruh temperature.


title: An Automated Approach for the Discovery of Interoperability

abstract: In this article, we present an automated approach that would test for and discover the interoperability of CAD systems based on the approximately-invariant shape properties of their models. We further show that exchanging models in standard format does not guarantee the preservation of shape properties. Our analysis is based on utilizing queries in deriving the shape properties and constructing the proxy models of the given CAD models [1]. We generate template files to accommodate the information necessary for the property computations and proxy model constructions, and implement an interoperability discovery program called DTest to execute the interoperability testing. We posit that our method could be extended to interoperability testing on CAD-to-CAE and/or CAD-to-CAM interactions by modifying the set of property checks and providing the additional requirements that may emerge in CAE or CAM applications.


title: Frequentist Shrinkage under Inequality Constraints

abstract: This paper shows how to shrink extremum estimators towards inequality constraints motivated by economic theory. We propose an Inequality Constrained Shrinkage Estimator (ICSE) which takes the form of a weighted average between the unconstrained and inequality constrained estimators with the data dependent weight. The weight drives both the direction and degree of shrinkage. We use a local asymptotic framework to derive the asymptotic distribution and risk of the ICSE. We provide conditions under which the asymptotic risk of the ICSE is strictly less than that of the unrestricted extremum estimator. The degree of shrinkage cannot be consistently estimated under the local asymptotic framework. To address this issue, we propose a feasible plug-in estimator and investigate its finite sample behavior. We also apply our framework to gasoline demand estimation under the Slutsky restriction.


title: Right-angled Artin groups as normal subgroups of mapping class groups

abstract: We construct the first examples of normal subgroups of mapping class groups that are isomorphic to non-free right-angled Artin groups. Our construction also gives normal, non-free right-angled Artin subgroups of other groups, such as braid groups and pure braid groups, as well as many subgroups of the mapping class group, such as the Torelli subgroup. Our work recovers and generalizes the seminal result of Dahmani-Guirardel-Osin, which gives free, purely pseudo-Anosov normal subgroups of mapping class groups. We give two applications of our methods: (1) we produce an explicit proper normal subgroup of the mapping class group that is not contained in any level $m$ congruence subgroup, and (2) we produce an explicit example of a pseudo-Anosov mapping class with the property that all of its even powers have free normal closure and its odd powers normally generate the entire mapping class group. The technical theorem at the heart of our work is a new version of the windmill apparatus of Dahmani-Guirardel-Osin, which is tailored to the setting of group actions on the projection complexes of Bestvina-Bromberg-Fujiwara.


title: Formation of Planetary Populations II: Effects of Initial Disk Size & Radial Dust Drift

abstract: Recent ALMA observations indicate that while a range of disk sizes exist, typical disk radii are small, and that radial dust drift affects the distribution of solids in disks. Here we explore the consequences of these features in planet population synthesis models. A key feature of our model is planet traps - barriers to otherwise rapid type-I migration of forming planets - for which we include the ice line, heat transition, and outer edge of the dead zone. We find that the ice line plays a fundamental role in the formation of warm Jupiters. In particular, the ratio of super Earths to warm Jupiters formed at the ice line depend sensitively on the initial disk radius. Initial gas disk radii of $\sim$50 AU results in the largest super Earth populations, while both larger and smaller disk sizes result in the ice line producing more gas giants near 1 AU. This transition between typical planet class formed at the ice line at various disk radii confirms that planet formation is fundamentally linked to disk properties (in this case, disk size), and is a result that is only seen when dust evolution effects are included in our models. Additionally, we find that including radial dust drift results in the formation of more super Earths between 0.1 - 1 AU, having shorter orbital radii than those produced in models where dust evolution effects are not included.


title: Blockchain Enabled Smart Contract Based Applications: Deficiencies with the Software Development Life Cycle Models

abstract: With the recent popularity of Blockchain and other Distributed Ledger Technologies (DLT), blockchain enabled smart contract applications has attracted increased research focus. However, the immutability of the blocks, where the smart contracts are stored, causes conflicts with the traditional Software Development Life Cycle (SDLC) models usually followed by software engineers. This clearly shows the unsuitability of the application of SDLC in designing blockchain enabled smart contract based applications. This research article addresses this current problem by first exploring the six traditional SDLC models, clearly identifying the conflicts in a table with the application of smart contracts and advocates that there is an urgent need to develop new standard model(s) to address the arising issues. The concept of both block immutability and contract is introduced. This is further set in a historical context from legacy smart contracts and blockchain enabled smart contracts extending to the difference between "shallow smart contracts" and "deep smart contracts". To conclude, the traditional SDLC models are unsuitable for blockchain enabled smart contract-based applications.


title: An Effective Automatic Image Annotation Model Via Attention Model and Data Equilibrium

abstract: Nowadays, a huge number of images are available. However, retrieving a required image for an ordinary user is a challenging task in computer vision systems. During the past two decades, many types of research have been introduced to improve the performance of the automatic annotation of images, which are traditionally focused on content-based image retrieval. Although, recent research demonstrates that there is a semantic gap between content-based image retrieval and image semantics understandable by humans. As a result, existing research in this area has caused to bridge the semantic gap between low-level image features and high-level semantics. The conventional method of bridging the semantic gap is through the automatic image annotation (AIA) that extracts semantic features using machine learning techniques. In this paper, we propose a novel AIA model based on the deep learning feature extraction method. The proposed model has three phases, including a feature extractor, a tag generator, and an image annotator. First, the proposed model extracts automatically the high and low-level features based on dual-tree continues wavelet transform (DT-CWT), singular value decomposition, distribution of color ton, and the deep neural network. Moreover, the tag generator balances the dictionary of the annotated keywords by a new log-entropy auto-encoder (LEAE) and then describes these keywords by word embedding. Finally, the annotator works based on the long-short-term memory (LSTM) network in order to obtain the importance degree of specific features of the image. The experiments conducted on two benchmark datasets confirm that the superiority of the proposed model compared to the previous models in terms of performance criteria.


title: A critical examination of compound stability predictions from machine-learned formation energies

abstract: Machine learning has emerged as a novel tool for the efficient prediction of materials properties, and claims have been made that machine-learned models for the formation energy of compounds can approach the accuracy of Density Functional Theory (DFT). The models tested in this work include five recently published compositional models, a baseline model using stoichiometry alone, and a structural model. By testing seven machine learning models for formation energy on stability predictions using the Materials Project database of DFT calculations for 85,014 unique chemical compositions, we show that while formation energies can indeed be predicted well, all compositional models perform poorly on predicting the stability of compounds, making them considerably less useful than DFT for the discovery and design of new solids. Most critically, in sparse chemical spaces where few stoichiometries have stable compounds, only the structural model is capable of efficiently detecting which materials are stable. The non-incremental improvement of structural models compared with compositional models is noteworthy and encourages the use of structural models for materials discovery, with the constraint that for any new composition, the ground-state structure is not known a priori. This work demonstrates that accurate predictions of formation energy do not imply accurate predictions of stability, emphasizing the importance of assessing model performance on stability predictions, for which we provide a set of publicly available tests.


title: Signals induced on electrodes by moving charges, a general theorem for Maxwell's equations based on Lorentz-reciprocity

abstract: We discuss a signal theorem for charged particle detectors where the finite propagation time of the electromagnetic waves produced by a moving charge cannot be neglected. While the original Ramo-Shockley theorem and related extensions are all based on electrostatic or quasi-electrostatic approximations, the theorem presented in this report is based on the full extent of Maxwell's equations and does account for all electrodynamic effects. It is therefore applicable to all devices that detect fields and radiation from charged particles.


title: The Role of Commuting Operators in Quantum Superintegrable Systems

abstract: We discuss the role of commuting operators for quantum superintegrable systems, showing how they are used to build eigenfunctions. These ideas are illustrated in the context of resonant harmonic oscillators, the Krall-Sheffer operators, with polynomial eigenfunctions, and the Calogero-Moser system with additional harmonic potential. The construction is purely algebraic, avoiding the use of separation of variables and differential equation theory.


title: Simplifying Casts and Coercions

abstract: This paper introduces norm_cast, a toolbox of tactics for the Lean proof assistant designed to manipulate expressions containing coercions and casts. These expressions can be frustrating for beginning and expert users alike; the presence of coercions can cause seemingly identical expressions to fail to unify and rewrites to fail. The norm_cast tactics aim to make reasoning with such expressions as transparent as possible. They are used extensively to eliminate boilerplate arguments in the Lean mathematical library and in external developments.


title: Close stellar encounters kicking planets out of habitable zone in various stellar environments

abstract: Continuous habitability of a planet is a critical condition for advanced forms of life to appear, but it can be endangered by astronomical events such as stellar encounters. The purpose of this study is to analyze close stellar encounters able to change planetary orbits initially in circumstellar habitable zones and to investigate the expected encounter rates in a variety of stellar environments. Using gravitational simulations for three-body systems, this study analyzed the dependencies of encounter impact-parameters with kinematic, geometric, and habitability parameters of the system. We also used kinematic properties of various stellar regions and estimated encounter rates of the events. The expected number of threatening stellar encounters in the Solar neighborhood is $\approx3.9\times10^{-4}$ in 4 billion years, while for the Galactic bulge environment, we expect approximately 5.5 times the value. The encounter rates for other stellar environments are calculated and spheroidal dwarf galaxies and globular clusters encounter rates are estimated. The results show that in contrast with the solar neighborhood, close stellar encounters can play a significant role in the expected number of planets with continuous habitability in dense stellar environments. Another notable result shows that threatening stellar encounter rate follows the number density of stars, and is not strongly dependent of the region's velocity dispersion. Further investigations are needed to study long-term multiple planetary systems and how they can change the overall expected value of continuously habitable planets.


title: A new symmetry of the colored Alexander polynomial

abstract: We present a new conjectural symmetry of the colored Alexander polynomial, that is the specialization of the quantum $\mathfrak{sl}_N$ invariant widely known as the colored HOMFLY-PT polynomial. We provide arguments in support of the existence of the symmetry by studying the loop expansion and the character expansion of the colored HOMFLY-PT polynomial. We study the constraints this symmetry imposes on the group theoretic structure of the loop expansion and provide solutions to those constraints. The symmetry is a powerful tool for research on polynomial knot invariants and in the end we suggest several possible applications of the symmetry.


title: Stability of propagation features under time-asymptotic approximations for a class of dispersive equations

abstract: We consider solutions in frequency bands of dispersive equations on the line defined by Fourier multipliers, these solutions being considered as wave packets. In this paper, a refinement of an existing method permitting to expand time-asymptotically the solution formulas is proposed, leading to a first term inheriting the mean position of the true solution together with a constant variance error. In particular, this first term is supported in a space-time cone whose origin position depends explicitly on the initial state, implying especially a shifted time-decay rate. This method, which takes into account both spatial and frequency information of the initial state, makes then stable some propagation features and permits a better description of the motion and the dispersion of the solutions of interest. The results are achieved firstly by making apparent the cone origin in the solution formula, secondly by applying precisely an adapted version of the stationary phase method with a new error bound, and finally by minimizing the error bound with respect to the cone origin.


title: On radial Schroedinger operators with a Coulomb potential: General boundary conditions

abstract: This paper presents the spectral analysis of 1-dimensional Schroedinger operator on the half-line whose potential is a linear combination of the Coulomb term 1/r and the centrifugal term 1/r^2. The coupling constants are allowed to be complex, and all possible boundary conditions at 0 are considered. The resulting closed operators are organized in three holomorphic families. These operators are closely related to the Whittaker equation. Solutions of this equation are thoroughly studied in a large appendix to this paper. Various special cases of this equation are analyzed, namely the degenerate, the Laguerre and the doubly degenerate cases. A new solution to the Whittaker equation in the doubly degenerate case is also introduced.


title: Proof-of-principle experimental demonstration of twin-field quantum key distribution over optical channels with asymmetric losses

abstract: Twin-field (TF) quantum key distribution (QKD) is highly attractive because it can beat the fundamental limit of secret key rate for point-to-point QKD without quantum repeaters. Many theoretical and experimental studies have shown the superiority of TFQKD in long-distance communication. All previous experimental implementations of TFQKD have been done over optical channels with symmetric losses. But in reality, especially in a network setting, the distances between users and the middle node could be very different. In this paper, we perform a first proof-of-principle experimental demonstration of TFQKD over optical channels with asymmetric losses. We compare two compensation strategies, that are (1) applying asymmetric signal intensities and (2) adding extra losses, and verify that strategy (1) provides much better key rate. Moreover, the higher the loss, the more key rate enhancement it can achieve. By applying asymmetric signal intensities, TFQKD with asymmetric channel losses not only surpasses the fundamental limit of key rate of point-to-point QKD for 50 dB overall loss, but also has key rate as high as $2.918\times10^{-6}$ for 56 dB overall loss. Whereas no keys are obtained with strategy (2) for 56 dB loss. The increased key rate and enlarged distance coverage of TFQKD with asymmetric channel losses guarantee its superiority in long-distance quantum networks.


title: Prophet Inequalities with Linear Correlations and Augmentations

abstract: In a classical online decision problem, a decision-maker who is trying to maximize her value inspects a sequence of arriving items to learn their values (drawn from known distributions), and decides when to stop the process by taking the current item. The goal is to prove a "prophet inequality": that she can do approximately as well as a prophet with foreknowledge of all the values. In this work, we investigate this problem when the values are allowed to be correlated. Since non-trivial guarantees are impossible for arbitrary correlations, we consider a natural "linear" correlation structure introduced by Bateni et al. [ESA 2015] as a generalization of the common-base value model of Chawla et al. [GEB 2015]. A key challenge is that threshold-based algorithms, which are commonly used for prophet inequalities, no longer guarantee good performance for linear correlations. We relate this roadblock to another "augmentations" challenge that might be of independent interest: many existing prophet inequality algorithms are not robust to slight increase in the values of the arriving items. We leverage this intuition to prove bounds (matching up to constant factors) that decay gracefully with the amount of correlation of the arriving items. We extend these results to the case of selecting multiple items by designing a new $(1+o(1))$ approximation ratio algorithm that is robust to augmentations.


title: Weighted Speech Distortion Losses for Neural-network-based Real-time Speech Enhancement

abstract: This paper investigates several aspects of training a RNN (recurrent neural network) that impact the objective and subjective quality of enhanced speech for real-time single-channel speech enhancement. Specifically, we focus on a RNN that enhances short-time speech spectra on a single-frame-in, single-frame-out basis, a framework adopted by most classical signal processing methods. We propose two novel mean-squared-error-based learning objectives that enable separate control over the importance of speech distortion versus noise reduction. The proposed loss functions are evaluated by widely accepted objective quality and intelligibility measures and compared to other competitive online methods. In addition, we study the impact of feature normalization and varying batch sequence lengths on the objective quality of enhanced speech. Finally, we show subjective ratings for the proposed approach and a state-of-the-art real-time RNN-based method.


title: Towards accurate orbital-free simulations: a generalized gradient approximation for the non-interacting free energy density functional

abstract: For orbital-free {\it ab initio} molecular dynamics, especially on systems in extreme thermodynamic conditions, we provide the first pseudo-potential-adapted generalized gradient approximation (GGA) functional for the non-interacting free energy. This is achieved by systematic finite-temperature extension of our recent LKT ground state non-interacting kinetic energy GGA functional (Phys. Rev. B \textbf{98}, 041111(R) (2018)). We test the performance of the new functional first via static lattice calculations on crystalline aluminum and silicon. Then we compare deuterium equation of state results against both path-integral Monte Carlo and conventional (orbital-dependent) Kohn-Sham results. The new functional, denoted LKTF, outperforms the previous best semi-local free energy functional, VT84F (Phys.\ Rev.\ B \textbf{88}, 161108(R) (2013)), and provides modestly faster simulations. We also discuss subtleties of identification of kinetic and entropic contributions to non-interacting free-energy functionals obtained by extension from ground state orbital-free kinetic energy functionals.


title: Unsupervised Pre-training of Bidirectional Speech Encoders via Masked Reconstruction

abstract: We propose an approach for pre-training speech representations via a masked reconstruction loss. Our pre-trained encoder networks are bidirectional and can therefore be used directly in typical bidirectional speech recognition models. The pre-trained networks can then be fine-tuned on a smaller amount of supervised data for speech recognition. Experiments with this approach on the LibriSpeech and Wall Street Journal corpora show promising results. We find that the main factors that lead to speech recognition improvements are: masking segments of sufficient width in both time and frequency, pre-training on a much larger amount of unlabeled data than the labeled data, and domain adaptation when the unlabeled and labeled data come from different domains. The gain from pre-training is additive to that of supervised data augmentation.


title: Mimicking relative continuum measurements by electrode data in two-dimensional electrical impedance tomography

abstract: This paper introduces a constructive method for approximating relative continuum measurements in two-dimensional electrical impedance tomography based on data originating from either the point electrode model or the complete electrode model. The upper bounds for the corresponding approximation errors explicitly depend on the number (and size) of the employed electrodes as well as on the regularity of the continuum current that is mimicked. In particular, if the input current and the object boundary are infinitely smooth, the discrepancy associated with the point electrode model converges to zero faster than any negative power of the number of electrodes. The results are first proven for the unit disk via trigonometric interpolation and quadrature rules, and they are subsequently extended to more general domains with the help of conformal mappings.


title: Learning Absolute Sound Source Localisation With Limited Supervisions

abstract: An accurate auditory space map can be learned from auditory experience, for example during development or in response to altered auditory cues such as a modified pinna. We studied neural network models that learn to localise a single sound source in the horizontal plane using binaural cues based on limited supervisions. These supervisions can be unreliable or sparse in real life. First, a simple model that has unreliable estimation of the sound source location is built, in order to simulate the unreliable auditory orienting response of newborns. It is used as a Teacher that acts as a source of unreliable supervisions. Then we show that it is possible to learn a continuous auditory space map based only on noisy left or right feedbacks from the Teacher. Furthermore, reinforcement rewards from the environment are used as a source of sparse supervision. By combining the unreliable innate response and the sparse reinforcement rewards, an accurate auditory space map, which is hard to be achieved by either one of these two kind of supervisions, can eventually be learned. Our results show that the auditory space mapping can be calibrated even without explicit supervision. Moreover, this study implies a possibly more general neural mechanism where multiple sub-modules can be coordinated to facilitate each other's learning process under limited supervisions.


title: Cross-conductivity: novel transport coefficients to constrain the hadronic degrees of freedom of nuclear matter

abstract: In general, the constituents of the bulk matter produced in heavy-ion collisions carry, besides electric charge, multiple other conserved quantum numbers like baryon number and strangeness. Therefore, an electric field will not only generate an electric current but, at the same time, also currents in baryon number and strangeness. We propose that the impact of the electric field on these conserved currents should be characterized by additional transport coefficients, which we call cross-conductivities. In this paper, we introduce and present a calculation of these cross-conductivities from the Green-Kubo formalism within the transport code SMASH for different chemical compositions of hadron resonance gases. We find that the coefficients underlie an ordering in the active degrees of freedom and that thus the chemical composition of the system plays a crucial role. Further, we argue that in future comparisons of lattice QCD calculations with these findings, one could constrain which degrees of freedom and their corresponding charge properties are relevant for the QCD dynamics of the system.


title: Many-particle Entanglement in Multiple Quantum NMR Spectroscopy

abstract: We use multiple quantum (MQ) NMR dynamics of a gas of spin-carrying molecules in nanocavities at high and low temperatures for an investigation of many-particle entanglement. A distribution of MQ NMR intensities is obtained at high and low temperatures in a system of 201 spins 1/2. The second moment of the distribution, which provides a lower bound on the quantum Fisher information, sheds light on the many-particle entanglement in the system. The dependence of the many-particle entanglement on the temperature is investigated. Almost all spins are entangled at low temperatures.


title: You, Me, and IoT: How Internet-Connected Consumer Devices Affect Interpersonal Relationships

abstract: Internet-connected consumer devices have rapidly increased in popularity; however, relatively little is known about how these technologies are affecting interpersonal relationships in multi-occupant households. In this study, we conduct 13 semi-structured interviews and survey 508 individuals from a variety of backgrounds to discover and categorize how consumer IoT devices are affecting interpersonal relationships in the United States. We highlight several themes, providing exploratory data about the pervasiveness of interpersonal costs and benefits of consumer IoT devices. These results inform follow-up studies and design priorities for future IoT technologies to amplify positive and reduce negative interpersonal effects.


title: A Review on Object Pose Recovery: from 3D Bounding Box Detectors to Full 6D Pose Estimators

abstract: Object pose recovery has gained increasing attention in the computer vision field as it has become an important problem in rapidly evolving technological areas related to autonomous driving, robotics, and augmented reality. Existing review-related studies have addressed the problem at visual level in 2D, going through the methods which produce 2D bounding boxes of objects of interest in RGB images. The 2D search space is enlarged either using the geometry information available in the 3D space along with RGB (Mono/Stereo) images, or utilizing depth data from LIDAR sensors and/or RGB-D cameras. 3D bounding box detectors, producing category-level amodal 3D bounding boxes, are evaluated on gravity aligned images, while full 6D object pose estimators are mostly tested at instance-level on the images where the alignment constraint is removed. Recently, 6D object pose estimation is tackled at the level of categories. In this paper, we present the first comprehensive and most recent review of the methods on object pose recovery, from 3D bounding box detectors to full 6D pose estimators. The methods mathematically model the problem as a classification, regression, classification & regression, template matching, and point-pair feature matching task. Based on this, a mathematical-model-based categorization of the methods is established. Datasets used for evaluating the methods are investigated with respect to the challenges, and evaluation metrics are studied. Quantitative results of experiments in the literature are analyzed to show which category of methods best performs across what types of challenges. The analyses are further extended comparing two methods, which are our own implementations, so that the outcomes from the public results are further solidified. Current position of the field is summarized regarding object pose recovery, and possible research directions are identified.


title: Enhanced thermoelectric performance actuated by inelastic processes in the channel region

abstract: I propose a design strategy to enhance the performance of heat engine via absorption of thermal energy from the channel region. The absorption of thermal energy can be actuated by inelastic processes and may be accomplished by an energy restrictive flow of electrons into the channel. The proposed design strategy employs dual energy filters to inject and extract electrons through the contact to channel interface. The first filter injects a compressed stream of electrons from the hot contact, at an effective temperature much lower than the channel temperature. The compressed stream of injected electrons, then, absorb energy via inelastic scattering inside the channel and are finally extracted via a second filter at the cold contact interface. Rigorous mathematical derivations demonstrate that an optimized performance for the proposed design strategy demands the implementation of a box-car transmission function at the electron injecting terminal and a unit-step transmission function at the electron extracting terminal. Numerical simulation show that in the proposed design strategy, the heat engine performance, under optimal conditions, can surpass the ballistic limit when the required output power is low compared to the quantum bound. The proposed concept can be used to construct high efficiency thermoelectric generators in situations where the source of usable heat energy is limited, but insulated from environmental dissipation.


title: Single-step modified electrodes for vitamin C monitoring in sweat

abstract: We demonstrate a flexible sensor for ascorbic acid detection in sweat based on single-step modified gold microelectrodes. The modification consists on the electrodeposition of alginate membrane with trapped CuO nanoparticles on top of the electrodes. The electrodes are fabricated at a thin polyimide support and the soft nature of the membrane can withstand mechanical stress far beyond the requirements for skin monitoring. We further show the efficient detection of ascorbic acid at the micromolar levels in both, a neutral buffer and acidic artificial sweat, at ultra-low applied potential (-5 mV). The effect of possible interfering species present in sweat is minimized, with no observable cross-reaction, thus maintaining a high degree of selectivity despite absence of enzymes in the fabrication scheme. This sensor is envisioned as a promising component of a wearable device for e.g. non-invasive monitoring of micronutrient loss through sweat.


title: Thermodynamic Limit for Linear Harmonic Oscillator Resonance Frequency Measurement

abstract: Thermodynamic fluctuations in mechanical resonators cause uncertainty in their frequency measurement, fundamentally limiting performance of frequency-based sensors. Recently, integrating nanophotonic motion readout with micro- and nano-mechanical resonators allowed practical chip-scale sensors to routinely operate near this limit in high-bandwidth measurements. However, the exact and general expressions for either thermodynamic frequency measurement uncertainty or efficient, real-time frequency estimators are not well established, particularly for fast and weakly-driven resonators. Here, we derive, and numerically validate, the Cramer-Rao lower bound (CRLB) and an efficient maximum-likelihood estimator for the frequency of a classical linear harmonic oscillator subject to thermodynamic fluctuations. For a fluctuating oscillator without external drive, the frequency Allan deviation calculated from simulated resonator motion data agrees with the derived CRLB $\sigma_f = {1 \over 2\pi}\sqrt{\Gamma \over 2\tau}$ for averaging times $\tau$ below, as well as above, the relaxation time $1\over\Gamma$. The CRLB approach is general and can be extended to driven resonators, non-negligible motion detection imprecision, as well as backaction from a continuous linear quantum measurement.


title: Predicting Personalized Academic and Career Roads: First Steps Toward a Multi-Uses Recommender System

abstract: Nobody knows what one's do in the future and everyone will have had a different answer to the question : how do you see yourself in five years after your current job/diploma? In this paper we introduce concepts, large categories of fields of studies or job domains in order to represent the vision of the future of the user's trajectory. Then, we show how they can influence the prediction when proposing him a set of next steps to take.


title: An integrated in vitro in silico approach for silver nanoparticle dosimetry in cell cultures

abstract: Potential human and environmental hazards resulting from the exposure of living organisms to silver nanoparticles (Ag NPs) have been the subject of intensive discussion in the last decade. Despite the growing use of Ag NPs in biomedical applications, a quantification of the toxic effects as a function of the total silver mass reaching cells (namely, target cell dose) is still needed. To provide a more accurate dose-response analysis, we propose a novel integrated approach combining well-established computational and experimental methodologies. We first used the particokinetic model (ISD3) proposed by Thomas and colleagues (2018) for providing experimental validation of computed Ag NP sedimentation in static-cuvette experiments. After validation, ISD3 was employed to predict the total mass of silver reaching human endothelial cells and hepatocytes cultured in 96 well plates. Cell viability measured after 24h of culture was then related to this target cell dose. Our results show that the dose perceived by the cell monolayer after 24 h of exposure is around 85% lower than the administered nominal media concentration. Therefore, accurate dosimetry considering particle characteristics and experimental conditions (e.g., time, size and shape of wells) should be employed for better interpreting effects induced by the amount of silver reaching cells.


title: Indexical Cities: Articulating Personal Models of Urban Preference with Geotagged Data

abstract: How to assess the potential of liking a city or a neighborhood before ever having been there. The concept of urban quality has until now pertained to global city ranking, where cities are evaluated under a grid of given parameters, or either to empirical and sociological approaches, often constrained by the amount of available information. Using state of the art machine learning techniques and thousands of geotagged satellite and perspective images from diverse urban cultures, this research characterizes personal preference in urban spaces and predicts a spectrum of unknown likeable places for a specific observer. Unlike most urban perception studies, our intention is not by any means to provide an objective measure of urban quality, but rather to portray personal views of the city or Cities of Indexes.


title: On Newton Screening

abstract: Screening and working set techniques are important approaches to reducing the size of an optimization problem. They have been widely used in accelerating first-order methods for solving large-scale sparse learning problems. In this paper, we develop a new screening method called Newton screening (NS) which is a generalized Newton method with a built-in screening mechanism. We derive an equivalent KKT system for the Lasso and utilize a generalized Newton method to solve the KKT equations. Based on this KKT system, a built-in working set with a relatively small size is first determined using the sum of primal and dual variables generated from the previous iteration, then the primal variable is updated by solving a least-squares problem on the working set and the dual variable updated based on a closed-form expression. Moreover, we consider a sequential version of Newton screening (SNS) with a warm-start strategy. We show that NS possesses an optimal convergence property in the sense that it achieves one-step local convergence. Under certain regularity conditions on the feature matrix, we show that SNS hits a solution with the same signs as the underlying true target and achieves a sharp estimation error bound with high probability. Simulation studies and real data analysis support our theoretical results and demonstrate that SNS is faster and more accurate than several state-of-the-art methods in our comparative studies.


title: Systematic Review of Approaches to Improve Peer Assessment at Scale

abstract: Peer Assessment is a task of analysis and commenting on student's writing by peers, is core of all educational components both in campus and in MOOC's. However, with the sheer scale of MOOC's & its inherent personalised open ended learning, automatic grading and tools assisting grading at scale is highly important. Previously we presented survey on tasks of post classification, knowledge tracing and ended with brief review on Peer Assessment (PA), with some initial problems. In this review we shall continue review on PA from perspective of improving the review process itself. As such rest of this review focus on three facets of PA namely Auto grading and Peer Assessment Tools (we shall look only on how peer reviews/auto-grading is carried), strategies to handle Rogue Reviews, Peer Review Improvement using Natural Language Processing. The consolidated set of papers and resources so used are released in https://github.com/manikandan-ravikiran/cs6460-Survey-2.


title: Dispersion of inertial particles in cellular flows in the small-Stokes, large-P\'eclet regime

abstract: We investigate the transport of inertial particles by cellular flows when advection dominates over inertia and diffusion, that is, for Stokes and P\'eclet numbers satisfying $\mathrm{St} \ll 1$ and $\mathrm{Pe} \gg 1$. Starting from the Maxey--Riley model, we consider the distinguished scaling $\mathrm{St} \, \mathrm{Pe} = O(1)$ and derive an effective Brownian dynamics approximating the full Langevin dynamics. We then apply homogenisation and matched-asymptotics techniques to obtain an explicit expression for the effective diffusivity $\overline{D}$ characterising long-time dispersion. This expression quantifies how $\overline{D}$, proportional to $\mathrm{Pe}^{-1/2}$ when inertia is neglected, increases for particles heavier than the fluid and decreases for lighter particles. In particular, when $\mathrm{St} \gg \mathrm{Pe}^{-1}$, we find that $\overline{D}$ is proportional to $\mathrm{St}^{1/2}/(\log ( \mathrm{St} \, \mathrm{Pe}))^{1/2}$ for heavy particles and exponentially small in $\mathrm{St} \, \mathrm{Pe}$ for light particles. We verify our asymptotic predictions against numerical simulations of the particle dynamics.


title: Deep Learning in Multi-organ Segmentation

abstract: This paper presents a review of deep learning (DL) in multi-organ segmentation. We summarized the latest DL-based methods for medical image segmentation and applications. These methods were classified into six categories according to their network design. For each category, we listed the surveyed works, highlighted important contributions and identified specific challenges. Following the detailed review of each category, we briefly discussed its achievements, shortcomings and future potentials. We provided a comprehensive comparison among DL-based methods for thoracic and head & neck multiorgan segmentation using benchmark datasets, including the 2017 AAPM Thoracic Auto-segmentation Challenge datasets and 2015 MICCAI Head Neck Auto-Segmentation Challenge datasets.


title: Recent Advances in Coupled Oscillator Theory

abstract: We review the theory of weakly coupled oscillators for smooth systems. We then examine situations where application of the standard theory falls short and illustrate how it can be extended. Specific examples are given to non-smooth systems with applications to the Izhikevich neuron. We then introduce the idea of isostable reduction to explore behaviors that the weak coupling paradigm cannot explain. In an additional example, we show how bifurcations that change the stability of phase locked solutions in a pair of identical coupled neurons can be understood using the notion of isostable reduction.


title: Parallel Binary Code Analysis

abstract: Binary code analysis is widely used to assess a program's correctness, performance, and provenance. Binary analysis applications often construct control flow graphs, analyze data flow, and use debugging information to understand how machine code relates to source lines, inlined functions, and data types. To date, binary analysis has been single-threaded, which is too slow for applications such as performance analysis and software forensics, where it is becoming common to analyze binaries that are gigabytes in size and in large batches that contain thousands of binaries. This paper describes our design and implementation for accelerating the task of constructing control flow graphs (CFGs) from binaries with multithreading. Existing research focuses on addressing challenging code constructs encountered during constructing CFGs, including functions sharing code, jump table analysis, non-returning functions, and tail calls. However, existing analyses do not consider the complex interactions between concurrent analysis of shared code, making it difficult to extend existing serial algorithms to be parallel. A systematic methodology to guide the design of parallel algorithms is essential. We abstract the task of constructing CFGs as repeated applications of several core CFG operations regarding to creating functions, basic blocks, and edges. We then derive properties among CFG operations, including operation dependency, commutativity, monotonicity. These operation properties guide our design of a new parallel analysis for constructing CFGs. We achieved as much as 25$\times$ speedup for constructing CFGs on 64 hardware threads. Binary analysis applications are significantly accelerated with the new parallel analysis: we achieve 8$\times$ for a performance analysis tool and 7$\times$ for a software forensic tool with 16 hardware threads.


title: A Dip Into a Deep Well: Online Political Advertisements, Valence, and European Electoral Campaigning

abstract: Online political advertisements have become an important element in electoral campaigning throughout the world. At the same time, concepts such as disinformation and manipulation have emerged as a global concern. Although these concepts are distinct from online political ads and data-driven electoral campaigning, they tend to share a similar trait related to valence, the intrinsic attractiveness or averseness of a message. Given this background, the paper examines online political ads by using a dataset collected from Google's transparency reports. The examination is framed to the mid-2019 situation in Europe, including the European Parliament elections in particular. According to the results based on sentiment analysis of the textual ads displayed via Google's advertisement machinery, (i) most of the political ads have expressed positive sentiments, although these vary greatly between (ii) European countries as well as across (iii) European political parties. In addition to these results, the paper contributes to the timely discussion about data-driven electoral campaigning and its relation to politics and democracy.


title: Fast Rates for Online Prediction with Abstention

abstract: In the setting of sequential prediction of individual $\{0, 1\}$-sequences with expert advice, we show that by allowing the learner to abstain from the prediction by paying a cost marginally smaller than $\frac 12$ (say, $0.49$), it is possible to achieve expected regret bounds that are independent of the time horizon $T$. We exactly characterize the dependence on the abstention cost $c$ and the number of experts $N$ by providing matching upper and lower bounds of order $\frac{\log N}{1-2c}$, which is to be contrasted with the best possible rate of $\sqrt{T\log N}$ that is available without the option to abstain. We also discuss various extensions of our model, including a setting where the sequence of abstention costs can change arbitrarily over time, where we show regret bounds interpolating between the slow and the fast rates mentioned above, under some natural assumptions on the sequence of abstention costs.


title: Using precision timing to improve particle tracking

abstract: Silicon tracking detectors provide excellent spatial resolution, and so can provide excellent momentum resolution for energetic charged particles, even in compact detectors. However, at lower momenta, multiple scattering in the silicon degrades the momentum resolution. We present an alternate method to measure momentum and alleviate this degradation, using silicon detectors that also incorporate timing measurements. By using timing information between two silicon layers, it is possible to solve for the the radius of curvature, and hence the particle momentum, independent of multiple scattering within the silicon. We consider three examples: an all-silicon central tracker for an electron-ion collider, a simplified version of the CMS detector, and a forward detector for an electron-ion collider. For a 75 cm diameter tracker in a 1.5 T magnetic field, timing can improve the momentum determination for particles with momentum below 500 MeV/c. In the 3.8 T CMS magnetic field and 1.2 m radius tracker, timing can improve tracking up to momenta of 1.3 GeV/c. The resolution is best at mid-rapidity. We also discuss a simpler system, consisting of a single timing detector outside an all-silicon tracker.


title: Quantum Random Number Generation using a Solid-State Single-Photon Source

abstract: Quantum random number generation (QRNG) harnesses the intrinsic randomness of quantum mechanical phenomena. Demonstrations of such processes have, however, been limited to probabilistic sources, for instance, spontaneous parametric down-conversion or faint lasers, which cannot be triggered deterministically. Here, we demonstrate QRNG with a quantum emitter in hexagonal boron nitride; an emerging solid-state quantum source that can generate single photons on demand and operates at room temperature. We achieve true random number generation through the measurement of single photons exiting one of four integrated photonic waveguides, and subsequently, verify the randomness of the sequences in accordance with the National Institute of Standards and Technology benchmark suite. Our results open a new avenue to the fabrication of on-chip deterministic random number generators and other solid-state-based quantum-optical devices.


title: Low energy doubly-virtual Compton scattering from di-lepton electroproduction on a nucleon

abstract: We propose a new way to experimentally determine the subleading low-energy structure constant of doubly-virtual Compton scattering on a proton. Such empirical determination will reduce the theoretical model error in estimates of the hadronic correction to the muonic hydrogen Lamb shift. We demonstrate that the di-lepton forward-backward asymmetry in the $e^- p \to e^- p \, e^- e^+$ process, which can be accessed at electron scattering facilities, yields a large sensitivity to this so far unknown low-energy constant.


title: Stable and Efficient Structures in Multigroup Network Formation

abstract: In this work we present a strategic network formation model predicting the emergence of multigroup structures. Individuals decide to form or remove links based on the benefits and costs those connections carry; we focus on bilateral consent for link formation. An exogenous system specifies the frequency of coordination issues arising among the groups. We are interested in structures that arise to resolve coordination issues and, specifically, structures in which groups are linked through bridging, redundant, and co-membership interconnections. We characterize the conditions under which certain structures are stable and study their efficiency as well as the convergence of formation dynamics.


title: Topological Photonic Tamm-States and the Su-Schrieffer-Heeger Model

abstract: In this paper we study the formation of topological Tamm states at the interface between a semi-infinite one-dimensional photonic-crystal and a metal. We show that when the system is topologically non-trivial there is a single Tamm state in each of the band-gaps, whereas if it is topologically trivial the band-gaps host no Tamm states. We connect the disappearance of the Tamm states with a topological transition from a topologically non-trivial system to a topologically trivial one. This topological transition is driven by the modification of the dielectric functions in the unit cell. Our interpretation is further supported by an exact mapping between the solutions of Maxwell's equations and the existence of a tight-binding representation of those solutions. We show that the tight-binding representation of the 1D photonic crystal, based on Maxwell's equations, corresponds to a Su-Schrieffer-Heeger-type model (SSH-model) for each set of pairs of bands. Expanding this representation near the band edge we show that the system can be described by a Dirac-like Hamiltonian. It allows one to characterize the topology associated with the solution of Maxwell's equations via the winding number. In addition, for the infinite system, we provide an analytical expression for the photonic bands from which the band-gaps can be computed.


title: Planning for the Unexpected: Explicitly Optimizing Motions for Ground Uncertainty in Running

abstract: We propose a method to generate actuation plans for a reduced order, dynamic model of bipedal running. This method explicitly enforces robustness to ground uncertainty. The plan generated is not a fixed body trajectory that is aggressively stabilized: instead, the plan interacts with the passive dynamics of the reduced order model to create emergent robustness. The goal is to create plans for legged robots that will be robust to imperfect perception of the environment, and to work with dynamics that are too complex to optimize in real-time. Working within this dynamic model of legged locomotion, we optimize a set of disturbance cases together with the nominal case, all with linked inputs. The input linking is nontrivial due to the hybrid dynamics of the running model but our solution is effective and has analytical gradients. The optimization procedure proposed is significantly slower than a standard trajectory optimization, but results in robust gaits that reject disturbances extremely effectively without any replanning required.


title: First-Order Logic for Flow-Limited Authorization

abstract: We present the Flow-Limited Authorization First-Order Logic (FLAFOL), a logic for reasoning about authorization decisions in the presence of information-flow policies. We formalize the FLAFOL proof system, characterize its proof-theoretic properties, and develop its security guarantees. In particular, FLAFOL is the first logic to provide a non-interference guarantee while supporting all connectives of first-order logic. Furthermore, this guarantee is the first to combine the notions of non-interference from both authorization logic and information-flow systems. All theorems in this paper are proven in Coq.


title: Sub-Gaussian Matrices on Sets: Optimal Tail Dependence and Applications

abstract: Random linear mappings are widely used in modern signal processing, compressed sensing and machine learning. These mappings may be used to embed the data into a significantly lower dimension while at the same time preserving useful information. This is done by approximately preserving the distances between data points, which are assumed to belong to $\mathbb{R}^n$. Thus, the performance of these mappings is usually captured by how close they are to an isometry on the data. Gaussian linear mappings have been the object of much study, while the sub-Gaussian settings is not yet fully understood. In the latter case, the performance depends on the sub-Gaussian norm of the rows. In many applications, e.g., compressed sensing, this norm may be large, or even growing with dimension, and thus it is important to characterize this dependence. We study when a sub-Gaussian matrix can become a near isometry on a set, show that previous best known dependence on the sub-Gaussian norm was sub-optimal, and present the optimal dependence. Our result not only answers a remaining question posed by Liaw, Mehrabian, Plan and Vershynin in 2017, but also generalizes their work. We also develop a new Bernstein type inequality for sub-exponential random variables, and a new Hanson-Wright inequality for quadratic forms of sub-Gaussian random variables, in both cases improving the bounds in the sub-Gaussian regime under moment constraints. Finally, we illustrate popular applications such as Johnson-Lindenstrauss embeddings, null space property for 0-1 matrices, randomized sketches and blind demodulation, whose theoretical guarantees can be improved by our results (in the sub-Gaussian case).


title: IoT Behavioral Monitoring via Network Traffic Analysis

abstract: Smart homes, enterprises, and cities are increasingly being equipped with a plethora of Internet of Things (IoT), ranging from smart-lights to security cameras. While IoT networks have the potential to benefit our lives, they create privacy and security challenges not seen with traditional IT networks. Due to the lack of visibility, operators of such smart environments are not often aware of their IoT assets, let alone whether each IoT device is functioning properly safe from cyber-attacks. This thesis is the culmination of our efforts to develop techniques to profile the network behavioral pattern of IoTs, automate IoT classification, deduce their operating context, and detect anomalous behavior indicative of cyber-attacks. We begin this thesis by surveying IoT ecosystem, while reviewing current approaches to vulnerability assessments, intrusion detection, and behavioral monitoring. For our first contribution, we collect traffic traces and characterize the network behavior of IoT devices via attributes from traffic patterns. We develop a robust machine learning-based inference engine trained with these attributes and demonstrate real-time classification of 28 IoT devices with over 99% accuracy. Our second contribution enhances the classification by reducing the cost of attribute extraction while also identifying IoT device states. Prototype implementation and evaluation demonstrate the ability of our supervised machine learning method to detect behavioral changes for five IoT devices. Our third and final contribution develops a modularized unsupervised inference engine that dynamically accommodates the addition of new IoT devices and/or updates to existing ones, without requiring system-wide retraining of the model. We demonstrate via experiments that our model can automatically detect attacks and firmware changes in ten IoT devices with over 94% accuracy.


title: Conformally invariant proper time with general non-metricity

abstract: We show that the definition of proper time for Weyl-invariant space-times given by Perlick naturally extends to spaces with arbitrary non-metricity. We then discuss the relation between this generalized proper time and the Ehlers-Pirani-Schild definition of time when there is arbitrary non-metricity. Then we show how this generalized proper time suffers from a second clock effect. Assuming that muons are a device to measure this proper time, we constrain the non-metricity tensor on Earth's surface and then elaborate on the feasibility of such assumption.