title: Extended main-sequence turnoffs in the double cluster $h$ and $\chi$ Persei: The complex role of stellar rotation

abstract: Using {\sl Gaia} Data Release 2 photometry, we report the detection of extended main-sequence turnoff (eMSTO) regions in the color--magnitude diagrams (CMDs) of the $\sim 14$ Myr-old double clusters $h$ and $\chi$ Persei (NGC 869 and NGC 884). We find that stars with masses below $\sim$1.3 $M_{\odot}$ in both $h$ and $\chi$ Persei populate narrow main sequences (MSs), while more massive stars define the eMSTO, closely mimicking observations of young Galactic and Magellanic Cloud clusters (with ages older than $\sim$30 Myr). Previous studies based on clusters older than $\sim$30 Myr find that rapidly rotating MS stars are redder than slow rotators of similar luminosity, suggesting that stellar rotation may be the main driver of the eMSTO. By combining photometry and projected rotational velocities from the literature of stars in $h$ and $\chi$ Persei, we find no obvious relation between the rotational velocities and colors of non-emission-line eMSTO stars, in contrast with what is observed in older clusters. Similarly to what is observed in Magellanic Cloud clusters, most of the extremely rapidly rotating stars, identified by their strong H$\alpha$ emission lines, are located in the red part of the eMSTOs. This indicates that stellar rotation plays a role in the color and magnitude distribution of MSTO stars. By comparing the observations with simulated CMDs, we find that a simple population composed of coeval stars that span a wide range of rotation rates is unable to reproduce the color spread of the clusters' MSs. We suggest that variable stars, binary interactions, and stellar rotation affect the eMSTO morphology of these very young clusters.


title: Implications from GW170817 for $\Delta$-isobar admixed hypernuclear compact stars

abstract: The effects of $\Delta$ isobars on the equation of state of dense matter and structure of compact stars (CSs) are explored within the covariant density functional theory and confronted with the data on tidal deformability (TD) extracted from the GW170817 event. We show that the presence of $\Delta$ isobars substantially softens the tension between the predictions of the hypernuclear density functionals and the inference from the observations of relatively small radius and small TD of canonical mass CSs. The TDs deduced from GW170817 are compatible with the existence of hypernuclear CSs containing an admixture of $\Delta$ isobars. We thus argue that the GW170817 event is consistent with a merger of a binary CS system having both strangeness (hyperons) and $\Delta$ isobars in the stellar core.


title: Operational approach to the topological structure of the physical space

abstract: Abstract axiomatic formulation of mathematical structures are extensively used to describe our physical world. We take here the reverse way. By making basic assumptions as starting point, we reconstruct some features of both geometry and topology in a fully operational manner. Curiously enough, primitive concepts such as points, spaces, straight lines, planes are all defined within our formalism. Our construction breaks down with the usual literature, as our axioms have deep connection with nature. Besides that, we hope this operational approach could also be of pedagogical interest.


title: Why did Einstein Reject the November Tensor in 1912-1913, only to Come Back to it in November 1915?

abstract: The question of Einstein's rejection of the November tensor is re-examined in light of conflicting answers by several historians. I discuss these conflicting conjectures in view of three questions that should inform our thinking: Why did Einstein reject the November tensor in 1912, only to come back to it in 1915? Why was it hard for Einstein to recognize that the November tensor is a natural generalization of Newton's law of gravitation? Why did it take him three years to realize that the November tensor is not incompatible with Newton's law? I first briefly describe Einstein's work in the Zurich Notebook. I then discuss a number of interpretive conjectures formulated by historians and what may be inferred from them. Finally, I offer a new combined conjecture that answers the above questions.


title: Hausdorffness of General Compactifications

abstract: Magill proved that the remainders of two locally compact Hausdorff spaces in their StoneCech compactifications are homeomorphic if and only if the lattices of their Hausdorff compactifications are lattice isomorphic. His construction for compactifications are explicitely discussed through the partitions of their StoneCech compactifications. Partitions in a StoneCech compactification which lead to Hausdorff compactifications are characterized in this article. Embeddings of certain upper semi-lattices of compactifications into lattices of compactifications are constructed.


title: "Black holes ain't so black": An introduction to the great discoveries of Stephen Hawking

abstract: Between 1974 and 1975, Stephen Hawking revolutionized the world of physics by proposing that black holes have temperature, entropy, and evaporate gradually. The objective of this article is to offer a brief and updated introduction to these three remarkable results, employing only high school algebra and elementary physics. This article may be useful as pedagogical material in an introductory undergraduate physics course.


title: Some Constructions of the Golden Ratio in an Arbitrary Triangle

abstract: We establish some new constructions of the golden ratio in an arbitrary triangle using symmedians and nine-point circle.


title: Accelerating $GW$-Based Energy Level Alignment Calculations for Molecule-Metal Interfaces Using a Substrate Screening Approach

abstract: The physics of electronic energy level alignment at interfaces formed between molecules and metals can in general be accurately captured by the \emph{ab initio} $GW$ approach. However, the computational cost of such $GW$ calculations for typical interfaces is significant, given their large system size and chemical complexity. In the past, approximate self-energy corrections, such as those constructed from image-charge models together with gas-phase molecular level corrections, have been used to compute level alignment with good accuracy. However, these approaches often neglect dynamical effects of the polarizability and require the definition of an image plane. In this work, we propose a new approximation to enable more efficient $GW$-quality calculations of interfaces, where we greatly simplify the calculation of the non-interacting polarizability, a primary bottleneck for large heterogeneous systems. This is achieved by first computing the non-interacting polarizability of each individual component of the interface, e.g., the molecule and the metal, without the use of large supercells; and then using folding and spatial truncation techniques to efficiently combine these quantities. Overall this approach significantly reduces the computational cost for conventional $GW$ calculations of level alignment without sacrificing the accuracy. Moreover, this approach captures both dynamical and nonlocal polarization effects without the need to invoke a classical image-charge expression or to define an image plane. We demonstrate our approach by considering a model system of benzene at relatively low coverage on aluminum (111) surface. Although developed for such interfaces, the method can be readily extended to other heterogeneous interfaces.


title: On the classical complexity of sampling from quantum interference of indistinguishable bosons

abstract: Experimental demonstration of the quantum advantage over classical simulations with Boson Sampling is currently under intensive investigation. There seems to be a scalability issue to the necessary number of bosons on the linear optical platforms and the experiments, such as the recent Boson Sampling with $20$ photons on $60$-port interferometer by H.~Wang~\textit{et al}, \textit{Phys. Rev. Lett.} \textbf{123,} 250503 (2019), are usually carried out on a small interferometer, much smaller than the size necessary for the no-collision regime. Before demonstration of quantum advantage, it is urgent to estimate exactly how the classical computations necessary for sampling from the output distribution of Boson Sampling are reduced when a smaller-size interferometer is used. The present work supplies such a result, valid with arbitrarily close to $1$ probability, which reduces in the no-collision regime to the previous estimate by P.~Clifford and R.~Clifford. One of the results with immediate application to current experiments with Boson Sampling is that classically sampling from the interference of $N$ single bosons on an $M$-port interferometer is at least as hard as that with $\mathcal{N}= \frac{N}{1+N/M}$ single bosons in the no-collision regime, i.e., on a much larger interferometer with at least $\mathcal{M}\gg N^2$ ports.


title: A priori parameter choice in Tikhonov regularization with oversmoothing penalty for non-linear ill-posed problems

abstract: We study Tikhonov regularization for certain classes of non-linear ill-posed operator equations in Hilbert space. Emphasis is on the case where the solution smoothness fails to have a finite penalty value, as in the preceding study 'Tikhonov regularization with oversmoothing penalty for non-linear ill-posed problems in Hilbert scales'. Inverse Problems 34(1), 2018, by the same authors. Optimal order convergence rates are established for the specific a priori parameter choice, as used for the corresponding linear equations.


title: Quantum electrodynamic corrections to the $1s3d$ states of the helium atom

abstract: We perform quantum electrodynamic calculations of the ionization energy of the $1s3d$ states of the $^4$He atom, including a complete evaluation of the $m\alpha^6$ correction. We find a large contribution from the nonradiative part of this correction, which has not been accounted for in previous investigations. The additional contribution shifts theoretical predictions for ionization energies by about 10$\,\sigma$. Despite this shift, we confirm the previously reported systematic deviations between measured experimental results and theoretical predictions for transitions involving $3D$ states. The reason for these deviations remains unknown.


title: Stochastic Blockmodels with Edge Information

abstract: Stochastic blockmodels allow us to represent networks in terms of a latent community structure, often yielding intuitions about the underlying social structure. Typically, this structure is inferred based only on a binary network representing the presence or absence of interactions between nodes, which limits the amount of information that can be extracted from the data. In practice, many interaction networks contain much more information about the relationship between two nodes. For example, in an email network, the volume of communication between two users and the content of that communication can give us information about both the strength and the nature of their relationship. In this paper, we propose the Topic Blockmodel, a stochastic blockmodel that uses a count-based topic model to capture the interaction modalities within and between latent communities. By explicitly incorporating information sent between nodes in our network representation, we are able to address questions of interest in real-world situations, such as predicting recipients for an email message or inferring the content of an unopened email. Further, by considering topics associated with a pair of communities, we are better able to interpret the nature of each community and the manner in which it interacts with other communities.


title: Poly-Sinc Solution of Stochastic Elliptic Differential Equations

abstract: In this paper, we introduce a numerical solution of a stochastic partial differential equation (SPDE) of elliptic type using polynomial chaos along side with polynomial approximation at Sinc points. These Sinc points are defined by a conformal map and when mixed with the polynomial interpolation, it yields an accurate approximation. The first step to solve SPDE is to use stochastic Galerkin method in conjunction with polynomial chaos, which implies a system of deterministic partial differential equations to be solved. The main difficulty is the higher dimensionality of the resulting system of partial differential equations. The idea here is to solve this system using a small number of collocation points. Two examples are presented, mainly using Legendre polynomials for stochastic variables. These examples illustrate that we require to sample at few points to get a representation of a model that is sufficiently accurate.


title: Astro2020 Science White Paper: A New Era for X-ray Lensing Studies of Quasars and Galaxies

abstract: Current X-ray observations and simulations show that gravitational lensing can be used to infer the structure near the event horizons of black holes, constrain the dynamics and evolution of black-hole accretion and outflows, test general relativity in the strong-gravity regime and place constraints on the evolution of dark matter in the lensing galaxies. These science goals currently cannot be achieved in a statistically large sample of z = 0.5 - 5 lensed quasars due to the limited capabilities of current X-ray telescopes and the relatively low number (~200) of known lensed quasars. The latter limitation will be resolved with the multi-band and wide-field photometric optical survey of LSST that is expected to lead to the discovery of > 4,000 additional gravitationally lensed systems. As we show in this white paper, these science goals can be reached with an X-ray telescope having a spatial resolution of <0.5arcsec to resolve the lensed images and a collecting area of >0.5 m^2 at 1 keV.


title: Inertial migration of an electrophoretic rigid sphere in a two-dimensional Poiseuille flow

abstract: In this work, we analyze the inertial migration of an electrophoretic particle in a 2-D Poiseuille flow with an electric field applied parallel to the walls. For a thin electrical double layer, the particle exhibits a slip-driven electrokinetic motion along the direction of the applied electric field, which causes the particle to lead or lag the flow (depending on its surface charge). The fluid disturbance caused by this slip-driven motion is characterized by a rapidly decaying source-dipole field which alters the inertial lift on the particle. We determine this inertial lift using the reciprocal theorem. Assuming no wall effects, we derive an analytical expression for a phoretic-lift which captures the modification to the inertial lift due to electrophoresis. We also take wall effects into account and find that the analytical expression is valid away from the walls. We find that for a leading particle, the phoretic-lift acts towards the regions of high shear (i.e. walls), while the reverse is true for a lagging particle. Using an order-of-magnitude analysis, we obtain different components which contribute to the inertial force and classify them on the basis of the interactions from which they emerge. We show that the dominant contribution to the phoretic-lift originates from the interaction of slip-driven source-dipole field with the stresslet field (generated due to particle's resistance to strain in the background flow). Furthermore, to contrast the slip-driven phenomenon from a force-driven phenomenon in terms of their influence on the inertial migration, we also study a non-neutrally buoyant particle. We show that the gravitational effects alter the inertial lift primarily through the interaction of background shear with buoyancy induced stokeslet field.


title: Jointly Extracting and Compressing Documents with Summary State Representations

abstract: We present a new neural model for text summarization that first extracts sentences from a document and then compresses them. The proposed model offers a balance that sidesteps the difficulties in abstractive methods while generating more concise summaries than extractive methods. In addition, our model dynamically determines the length of the output summary based on the gold summaries it observes during training and does not require length constraints typical to extractive summarization. The model achieves state-of-the-art results on the CNN/DailyMail and Newsroom datasets, improving over current extractive and abstractive methods. Human evaluations demonstrate that our model generates concise and informative summaries. We also make available a new dataset of oracle compressive summaries derived automatically from the CNN/DailyMail reference summaries.


title: Unsupervised Progressive Learning and the STAM Architecture

abstract: We first pose the Unsupervised Progressive Learning (UPL) problem: an online representation learning problem in which the learner observes a non-stationary and unlabeled data stream, learning a growing number of features that persist over time even though the data is not stored or replayed. To solve the UPL problem we propose the Self-Taught Associative Memory (STAM) architecture. Layered hierarchies of STAM modules learn based on a combination of online clustering, novelty detection, forgetting outliers, and storing only prototypical features rather than specific examples. We evaluate STAM representations using clustering and classification tasks. While there are no existing learning scenarios that are directly comparable to UPL, we compare the STAM architecture with two recent continual learning models, Memory Aware Synapses (MAS) and Gradient Episodic Memories (GEM), after adapting them in the UPL setting.


title: On the Measurement of Fundamental Parameters of White Dwarfs in the Gaia Era

abstract: We present a critical review of the determination of fundamental parameters of white dwarfs discovered by the Gaia mission. We first reinterpret color-magnitude and color-color diagrams using photometric and spectroscopic information contained in the Montreal White Dwarf Database (MWDD), combined with synthetic magnitudes calculated from a self-consistent set of model atmospheres with various atmospheric compositions. The same models are then applied to measure the fundamental parameters of white dwarfs using the so-called photometric technique, which relies on the exquisite Gaia trigonometric parallax measurements, and photometric data from Pan-STARRS, SDSS, and Gaia. In particular, we discuss at length the systematic effects induced by these various photometric systems. We then study in great detail the mass distribution as a function of effective temperature for the white dwarfs spectroscopically identified in the MWDD, as well as for the white dwarf candidates discovered by Gaia. We pay particular attention to the assumed atmospheric chemical composition of cool, non-DA stars. We also briefly revisit the validity of the mass-radius relation for white dwarfs, and the recent discovery of the signature of crystallization in the Gaia color-magnitude diagram for DA white dwarfs. We finally present evidence that the core composition of most of these white dwarfs is, in bulk, a mixture of carbon and oxygen, an expected result from stellar evolution theory, but never empirically well established before.


title: Performance Analysis of Directional Modulation with Finite-quantized RF Phase Shifters in Analog Beamforming Structure

abstract: The radio frequency (RF) phase shifter with finite quantization bits in analog beamforming (AB) structure forms quantization error (QE) and causes a performance loss of received signal to interference plus noise ratio (SINR) at the receiver (called Bob). By using the law of large numbers in probability theory, the closed-form expression of SINR performance loss is derived to be inversely proportional to the square of sinc (or sin(x)/x) function. Here, a phase alignment method is applied in directional modulation transmitter with AB structure. Also, the secrecy rate (SR) expression is derived with QE. From numerical simulation results, we find that the SINR performance loss gradually decreases as the number L of quantization bits increases. This loss is less than 0.3dB when L is larger than or equal to 3. As L exceeds 5, the SINR performance loss at Bob can be approximately trivial. Similarly, SR performance loss gradually reduces as L increases. In particular, the SR performance loss is about 0.1 bits/s/Hz for L=3 at signal-to-noise ratio of 15dB.


title: Super accurate low latency object detection on a surveillance UAV

abstract: Drones have proven to be useful in many industry segments such as security and surveillance, where e.g. on-board real-time object tracking is a necessity for autonomous flying guards. Tracking and following suspicious objects is therefore required in real-time on limited hardware. With an object detector in the loop, low latency becomes extremely important. In this paper, we propose a solution to make object detection for UAVs both fast and super accurate. We propose a multi-dataset learning strategy yielding top eye-sky object detection accuracy. Our model generalizes well on unseen data and can cope with different flying heights, optically zoomed-in shots and different viewing angles. We apply optimization steps such that we achieve minimal latency on embedded on-board hardware by fusing layers, quantizing calculations to 16-bit floats and 8-bit integers, with negligible loss in accuracy. We validate on NVIDIA's Jetson TX2 and Jetson Xavier platforms where we achieve a speed-wise performance boost of more than 10x.


title: Vorono\"{i} summation via switching cusps

abstract: We consider the Fourier expansion of a Hecke (resp.\ Hecke--Maa\ss) cusp form of general level $N$ at the various cusps of $\Gamma_{0}(N)\bs\Hb$. We explain how to compute these coefficients via the local theory of $p$-adic Whittaker functions and establish a classical Vorono\"i summation formula allowing an arbitrary additive twist. Our discussion has applications to bounding sums of Fourier coefficients and understanding the (generalised) Atkin--Lehner relations.


title: Intermolecular distance and density scaling of dynamics in molecular liquids

abstract: A broad variety of liquids conform to density scaling: relaxation times expressed as a function of the ratio of temperature to density, the latter raised to a material constant {\gamma}. For atomic liquids interacting only through simple pair potentials, the exponent {\gamma} is very nearly equal to n/3, where n is the steepness of the intermolecular potential, while for molecular liquids having rigid bonds and built using the same interatomic potential, {\gamma}>n/3. We find that for this class of molecular liquids {\gamma}=n/{\delta}, where the parameter {\delta} relates the intermolecular distance to the density along an isomorph (line of approximately constant dynamics and structure). {\delta} depends only on the molecular structure and not the interatomic potential.


title: The Satisfiability Threshold for Non-Uniform Random 2-SAT

abstract: Propositional satisfiability (SAT) is one of the most fundamental problems in computer science. Its worst-case hardness lies at the core of computational complexity theory, for example in the form of NP-hardness and the (Strong) Exponential Time Hypothesis. In practice however, SAT instances can often be solved efficiently. This contradicting behavior has spawned interest in the average-case analysis of SAT and has triggered the development of sophisticated rigorous and non-rigorous techniques for analyzing random structures. Despite a long line of research and substantial progress, most theoretical work on random SAT assumes a uniform distribution on the variables. In contrast, real-world instances often exhibit large fluctuations in variable occurrence. This can be modeled by a non-uniform distribution of the variables, which can result in distributions closer to industrial SAT instances. We study satisfiability thresholds of non-uniform random $2$-SAT with $n$ variables and $m$ clauses and with an arbitrary probability distribution $(p_i)_{i\in[n]}$ with $p_1 \ge p_2 \ge \ldots \ge p_n > 0$ over the n variables. We show for $p_1^2=\Theta(\sum_{i=1}^n p_i^2)$ that the asymptotic satisfiability threshold is at $m=\Theta( (1-\sum_{i=1}^n p_i^2)/(p_1\cdot(\sum_{i=2}^n p_i^2)^{1/2}) )$ and that it is coarse. For $p_1^2=o(\sum_{i=1}^n p_i^2)$ we show that there is a sharp satisfiability threshold at $m=(\sum_{i=1}^n p_i^2)^{-1}$. This result generalizes the seminal works by Chvatal and Reed [FOCS 1992] and by Goerdt [JCSS 1996].


title: CAM-Convs: Camera-Aware Multi-Scale Convolutions for Single-View Depth

abstract: Single-view depth estimation suffers from the problem that a network trained on images from one camera does not generalize to images taken with a different camera model. Thus, changing the camera model requires collecting an entirely new training dataset. In this work, we propose a new type of convolution that can take the camera parameters into account, thus allowing neural networks to learn calibration-aware patterns. Experiments confirm that this improves the generalization capabilities of depth prediction networks considerably, and clearly outperforms the state of the art when the train and test images are acquired with different cameras.


title: Matrix element interference in $N$-patch functional renormalization group

abstract: We show that the N-patch functional renormalization group (pFRG), a theoretical method commonly applied for correlated electron systems, is unable to implement consistently the matrix element interference arising from strong momentum dependence in the Bloch state contents or the interaction vertices. We show that such a deficit could lead to results incompatible with checkable limits of weak and strong coupling. We propose that the pFRG could be improved by a better account of momentum conservation.


title: Derivation of the physical parameters of the jet in S5 0836+710 from stability analysis

abstract: A number of extragalactic jets show periodic structures at different scales that can be associated with growing instabilities. The wavelengths of the developing instability modes and their ratios depend on the flow parameters, so the study of those structures can shed light on jet physics at the scales involved. In this work, we use the fits to the jet ridgeline obtained from different observations of S5 B0836$+$710 and apply stability analysis of relativistic, sheared flows to derive an estimate of the physical parameters of the jet. Based on the assumption that the observed structures are generated by growing Kelvin-Helmholtz (KH) instability modes, we have run numerical calculations of stability of a relativistic, sheared jet over a range of different jet parameters. We have spanned several orders of magnitude in jet-to-ambient medium density ratio, and jet internal energy, and checked different values of the Lorentz factor and shear layer width. This represents an independent method to obtain estimates of the physical parameters of a jet. By comparing the fastest growing wavelengths of each relevant mode given by the calculations with the observed wavelengths reported in the literature, we have derived independent estimates of the jet Lorentz factor, specific internal energy, jet-to-ambient medium density ratio and Mach number. We obtain a jet Lorentz factor $\gamma \simeq 12$, specific internal energy of $\varepsilon \simeq 10^{-2}\,c^2$, jet-to-ambient medium density ratio of $\eta\approx 10^{-3}$, and an internal (classical) jet Mach number of $M_\mathrm{j}\approx 12$. We also find that the wavelength ratios are better recovered by a transversal structure with a width of $\simeq 10\,\%$ of the jet radius. This method represents a powerful tool to derive the jet parameters in all jets showing helical patterns with different wavelengths.


title: Characterization of the response maps of alternating-current networks

abstract: In an alternating-current network, each edge has a complex "conductance" with positive real part. The response map is the linear map from the vector of voltages at a subset of "boundary nodes" to the vector of currents flowing into the network through these nodes. We prove that the known necessary conditions for these response maps are sufficient, and we construct an appropriate alternating-current network for a given response map.


title: OpBerg: Discovering causal sentences using optimal alignments

abstract: The biological literature is rich with sentences that describe causal relations. Methods that automatically extract such sentences can help biologists to synthesize the literature and even discover latent relations that had not been articulated explicitly. Current methods for extracting causal sentences are based on either machine learning or a predefined database of causal terms. Machine learning approaches require a large set of labeled training data and can be susceptible to noise. Methods based on predefined databases are limited by the quality of their curation and are unable to capture new concepts or mistakes in the input. We address these challenges by adapting and improving a method designed for a seemingly unrelated problem: finding alignments between genomic sequences. This paper presents a novel and outperforming method for extracting causal relations from text by aligning the part-of-speech representations of an input set with that of known causal sentences. Our experiments show that when applied to the task of finding causal sentences in biological literature, our method improves on the accuracy of other methods in a computationally efficient manner.


title: SANNS: Scaling Up Secure Approximate k-Nearest Neighbors Search

abstract: The $k$-Nearest Neighbor Search ($k$-NNS) is the backbone of several cloud-based services such as recommender systems, face recognition, and database search on text and images. In these services, the client sends the query to the cloud server and receives the response in which case the query and response are revealed to the service provider. Such data disclosures are unacceptable in several scenarios due to the sensitivity of data and/or privacy laws. In this paper, we introduce SANNS, a system for secure $k$-NNS that keeps client's query and the search result confidential. SANNS comprises two protocols: an optimized linear scan and a protocol based on a novel sublinear time clustering-based algorithm. We prove the security of both protocols in the standard semi-honest model. The protocols are built upon several state-of-the-art cryptographic primitives such as lattice-based additively homomorphic encryption, distributed oblivious RAM, and garbled circuits. We provide several contributions to each of these primitives which are applicable to other secure computation tasks. Both of our protocols rely on a new circuit for the approximate top-$k$ selection from $n$ numbers that is built from $O(n + k^2)$ comparators. We have implemented our proposed system and performed extensive experimental results on four datasets in two different computation environments, demonstrating more than $18-31\times$ faster response time compared to optimally implemented protocols from the prior work. Moreover, SANNS is the first work that scales to the database of 10 million entries, pushing the limit by more than two orders of magnitude.


title: Internal versus external balancing in the evaluation of graph-based number types

abstract: Number types for exact computation are usually based on directed acyclic graphs. A poor graph structure can impair the efficency of their evaluation. In such cases the performance of a number type can be drastically improved by restructuring the graph or by internally balancing error bounds with respect to the graph's structure. We compare advantages and disadvantages of these two concepts both theoretically and experimentally.


title: Extraction of energy from an extremal rotating electrovacuum black hole: Particle collisions along the axis of symmetry

abstract: High-energy collisions can occur for radially moving charged test particles in the extremal Reissner-Nordstr\"om spacetime if one of the particles is fine-tuned and the collision point is taken close to the horizon. This is an analogy of the Banados-Silk-West (BSW) effect, first described for extremal Kerr black holes. However, it differs significantly in terms of energy extraction: unlike for the original BSW process, no unconditional upper bounds on mass and energy of an escaping test particle produced in the collision were found for the charged version. We show that these results can be replicated for the motion of charged test particles along the axis of a general extremal rotating electrovacuum black hole, also including the Schnittman-type process with reflected fine-tuned particles. This brings the possibility of high-energy extraction closer to astrophysical black holes, which can be fast spinning and have a small "Wald charge" due to interaction with external magnetic fields. Nevertheless, we find numerous caveats that can make the energy extraction unfeasible despite the lack of unconditional kinematic bounds.


title: A Large-Scale Comparison of Historical Text Normalization Systems

abstract: There is no consensus on the state-of-the-art approach to historical text normalization. Many techniques have been proposed, including rule-based methods, distance metrics, character-based statistical machine translation, and neural encoder--decoder models, but studies have used different datasets, different evaluation methods, and have come to different conclusions. This paper presents the largest study of historical text normalization done so far. We critically survey the existing literature and report experiments on eight languages, comparing systems spanning all categories of proposed normalization techniques, analysing the effect of training data quantity, and using different evaluation methods. The datasets and scripts are made publicly available.


title: Automated Fact Checking in the News Room

abstract: Fact checking is an essential task in journalism; its importance has been highlighted due to recently increased concerns and efforts in combating misinformation. In this paper, we present an automated fact-checking platform which given a claim, it retrieves relevant textual evidence from a document collection, predicts whether each piece of evidence supports or refutes the claim, and returns a final verdict. We describe the architecture of the system and the user interface, focusing on the choices made to improve its user-friendliness and transparency. We conduct a user study of the fact-checking platform in a journalistic setting: we integrated it with a collection of news articles and provide an evaluation of the platform using feedback from journalists in their workflow. We found that the predictions of our platform were correct 58\% of the time, and 59\% of the returned evidence was relevant.


title: Perturbative solutions of ${\cal N}=1^*$ holography on $S^4$

abstract: We apply the recently proposed perturbative technique to solve the supergravity BPS equations of ${\cal N}=1^*$ theories put on $S^4$. In particular, we have calculated the coefficients of the leading quartic terms exactly, in the expression of the universal part for the holographic free energy as a function of the mass parameters. We also report on the coefficients of higher order terms upto 10th order, which are computed numerically.


title: Band alignment at semiconductor-water interfaces using explicit and implicit descriptions for liquid water

abstract: In this work we study and contrast implicit solvation models against explicit atomistic, quantum mechanical models in the description of the band alignment of semiconductors in aqueous environment, using simulations based on density functional theory. We find consistent results for both methods for 9 different terminations across 6 different materials whenever the first solvation shell is treated explicitly, quantum mechanically. Interestingly this first layer of explicit water is more relevant when water is adsorbed but not dissociated, hinting at the importance of saturating the surface with quantum mechanical bonds. Furthermore, we provide absolute alignments by determining the position of the averaged electrostatic reference potential in the bulk region of explicit and implicit water with respect to vacuum. It is found that the absolute level alignments in explicit and implicit simulations agree within $\sim 0.1-0.2$ V if the implicit potential is assumed to lie 0.33 V below the vacuum reference level. By studying the interface between implicit and explicit water we are able to trace back the origin of this offset to the absence of a water surface dipole in the implicit model, as well as a small additional inherent polarization across the implicit-explicit interface.


title: CP-Violation phase analysis via non-trivial correlation of quarks and leptons in 3+1 scenario

abstract: The existence and mysterious nature of sterile neutrinos are revolutionizing physics from the particle level to the cosmological scales. The recent results from the MiniBooNE experiment at Fermi-lab observed far more $\nu_{e}$ appearance than expected, which have provided a hint about the possible existence of \textit{sterile neutrinos}. The results, if confirmed in future experiments, will have significant implications for cosmology and astroparticle physics. This will require new neutrino mass models to accommodate these additional degrees of freedom. In respect to that, the present work is just an extension of our recent work towards the CP phase analysis of Quark-lepton complementarity(QLC) model in a 3+1 scenario. The parametrization of $CKM_{4}$ and $PMNS_{4}$ using Monte Carlo Simulation is used to estimate the texture of non-trivial correlation matrix ($V_{c_{4}}$). As such, we have successfully investigated the constrained values for sterile neutrino parameters, and also predicted the values for Dirac CP-Violation phase and the CP re-phasing invariant (J). The results obtained are consistent with the data available from various experiments, like No$\nu$A, MINOS, SuperK and IceCube-DeepCore. Furthermore, this analysis would be very important in view of growing sterile neutrino experiments.


title: Loop Homology of Bi-secondary Structures

abstract: In this paper we compute the loop homology of bi-secondary structures. Bi-secondary structures were introduced by Haslinger and Stadler and are pairs of RNA secondary structures, i.e. diagrams having non-crossing arcs in the upper half-plane. A bi-secondary structure is represented by drawing its respective secondary structures in the upper and lower half-plane. An RNA secondary structure has a loop decomposition, where a loop corresponds to a boundary component, regarding the secondary structure as an orientable fatgraph. The loop-decomposition of secondary structures facilitates the computation of its free energy and any two loops intersect either trivially or in exactly two vertices. In bi-secondary structures the intersection of loops is more complex and is of importance in current algorithmic work in bio-informatics and evolutionary optimization. We shall construct a simplicial complex capturing the intersections of loops and compute its homology. We prove that only the zeroth and second homology groups are nontrivial and furthermore show that the second homology group is free. Finally, we provide evidence that the generators of the second homology group have a bio-physical interpretation: they correspond to pairs of mutually exclusive substructures.


title: On-the-Fly Active Learning of Interpretable Bayesian Force Fields for Atomistic Rare Events

abstract: Machine learned force fields typically require manual construction of training sets consisting of thousands of first principles calculations, which can result in low training efficiency and unpredictable errors when applied to structures not represented in the training set of the model. This severely limits the practical application of these models in systems with dynamics governed by important rare events, such as chemical reactions and diffusion. We present an adaptive Bayesian inference method for automating the training of interpretable, low-dimensional, and multi-element interatomic force fields using structures drawn on the fly from molecular dynamics simulations. Within an active learning framework, the internal uncertainty of a Gaussian process regression model is used to decide whether to accept the model prediction or to perform a first principles calculation to augment the training set of the model. The method is applied to a range of single- and multi-element systems and shown to achieve a favorable balance of accuracy and computational efficiency, while requiring a minimal amount of ab initio training data. We provide a fully open-source implementation of our method, as well as a procedure to map trained models to computationally efficient tabulated force fields.


title: Platonic Compounds of Cylinders

abstract: Generalizing the octahedral configuration of six congruent cylinders touching the unit sphere, we exhibit configurations of congruent cylinders associated to a pair of dual Platonic bodies.


title: Genealogy-valued Feller diffusion

abstract: We consider the evolution of the genealogy of the population currently alive in a Feller branching diffusion model. In contrast to the approach via labeled trees in the continuum random tree world, the genealogies are modeled as equivalence classes of ultrametric measure spaces, the elements of the space $\mathbb{U}$. This space is Polish and has a rich semigroup structure for the genealogy. We focus on the evolution of the genealogy in time and the large time asymptotics conditioned both on survival up to present time and on survival forever. We prove existence, uniqueness and Feller property of solutions of the martingale problem for this genealogy valued, i.e., $\mathbb{U}$-valued Feller diffusion. We give the precise relation to the time-inhomogeneous $\mathbb{U}_1$-valued Fleming-Viot process. The uniqueness is shown via Feynman-Kac duality with the distance matrix augmented Kingman coalescent. Using a semigroup operation on $\mathbb{U}$, called concatenation, together with the branching property we obtain a L\'evy-Khintchine formula for $\mathbb{U}$-valued Feller diffusion and we determine explicitly the L\'evy measure on $\mathbb{U}\setminus\{0\}$. From this we obtain for $h>0$ the decomposition into depth-$h$ subfamilies, a representation of the process as concatenation of a Cox point process of genealogies of single ancestor subfamilies. Furthermore, we will identify the $\mathbb{U}$-valued process conditioned to survive until a finite time $T$. We study long time asymptotics, such as generalized quasi-equilibrium and Kolmogorov-Yaglom limit law on the level of ultrametric measure spaces. We also obtain various representations of the long time limits.


title: Order 9 automorphisms of K3 surfaces

abstract: In this paper we provide a complete classification of non-symplectic automorphisms of order nine of complex K3 surfaces.


title: Lattice QCD form factor for $B_s\to D_s^* l\nu$ at zero recoil with non-perturbative current renormalisation

abstract: We present details of a lattice QCD calculation of the $B_s\to D_s^*$ axial form factor at zero recoil using the Highly Improved Staggered Quark (HISQ) formalism on the second generation MILC gluon ensembles that include up, down, strange and charm quarks in the sea. Using the HISQ action for all valence quarks means that the lattice axial vector current that couples to the $W$ can be renormalized fully non-perturbatively, giving a result free of the perturbative matching errors that previous lattice QCD calculations have had. We calculate correlation functions at three values of the lattice spacing, and multiple `$b$'-quark masses, for physical $c$ and $s$. The functional dependence on the $b$-quark mass can be determined and compared to Heavy Quark Effective Theory expectations, and a result for the form factor obtained at the physical value of the $b$-quark mass. We find $\mathcal{F}^{B_s\to D_s^*}(1) = h^s_{A_1}(1) = 0.9020(96)_{\text{stat}}(90)_{\text{sys}}$. This is in agreement with earlier lattice QCD results, which use NRQCD $b$ quarks, with a total uncertainty reduced by more than a factor of two. We discuss implications of this result for the $B\to D^*$ axial form factor at zero recoil and for determinations of $V_{cb}$.


title: Sets of points which project to complete intersections

abstract: The motivating problem addressed by this paper is to describe those non-degenerate sets of points $Z$ in $\mathbb P^3$ whose general projection to a general plane is a complete intersection of curves in that plane. One large class of such $Z$ is what we call $(m,n)$-grids. We relate this problem to the {\em unexpected cone property} ${\mathcal C}(d)$, a special case of the unexpected hypersurfaces which have been the focus of much recent research. After an analysis of ${\mathcal C}(d)$ for small $d$, we show that a non-degenerate set of $9$ points has a general projection that is the complete intersection of two cubics if and only if the points form a $(3,3)$-grid. However, in an appendix we describe a set of $24$ points that are not a grid but nevertheless have the projection property. These points arise from the $F_4$ root system. Furthermore, from this example we find subsets of $20$, $16$ and $12$ points with the same feature.


title: Towards Computational Models and Applications of Insect Visual Systems for Motion Perception: A Review

abstract: Motion perception is a critical capability determining a variety of aspects of insects' life, including avoiding predators, foraging and so forth. A good number of motion detectors have been identified in the insects' visual pathways. Computational modelling of these motion detectors has not only been providing effective solutions to artificial intelligence, but also benefiting the understanding of complicated biological visual systems. These biological mechanisms through millions of years of evolutionary development will have formed solid modules for constructing dynamic vision systems for future intelligent machines. This article reviews the computational motion perception models originating from biological research of insects' visual systems in the literature. These motion perception models or neural networks comprise the looming sensitive neuronal models of lobula giant movement detectors (LGMDs) in locusts, the translation sensitive neural systems of direction selective neurons (DSNs) in fruit flies, bees and locusts, as well as the small target motion detectors (STMDs) in dragonflies and hover flies. We also review the applications of these models to robots and vehicles. Through these modelling studies, we summarise the methodologies that generate different direction and size selectivity in motion perception. At last, we discuss about multiple systems integration and hardware realisation of these bio-inspired motion perception models.


title: No evidence of fish biodiversity effects on coral reef ecosystem functioning across scales

abstract: We demonstrate that the conclusions drawn by Lefcheck et al. (2019) regarding the positive effects of fish diversity on coral reef ecosystem functioning across scales are flawed because of a series of conceptual and statistical issues that include spurious correlations, the conflation of population size and species diversity effects and a failure to recognize that observing a biodiversity effect at multiple sites is not equivalent to observing it at multiple scales.


title: Improving Model-based Genetic Programming for Symbolic Regression of Small Expressions

abstract: The Gene-pool Optimal Mixing Evolutionary Algorithm (GOMEA) is a model-based EA framework that has been shown to perform well in several domains, including Genetic Programming (GP). Differently from traditional EAs where variation acts blindly, GOMEA learns a model of interdependencies within the genotype, i.e., the linkage, to estimate what patterns to propagate. In this article, we study the role of Linkage Learning (LL) performed by GOMEA in Symbolic Regression (SR). We show that the non-uniformity in the distribution of the genotype in GP populations negatively biases LL, and propose a method to correct for this. We also propose approaches to improve LL when ephemeral random constants are used. Furthermore, we adapt a scheme of interleaving runs to alleviate the burden of tuning the population size, a crucial parameter for LL, to SR. We run experiments on 10 real-world datasets, enforcing a strict limitation on solution size, to enable interpretability. We find that the new LL method outperforms the standard one, and that GOMEA outperforms both traditional and semantic GP. We also find that the small solutions evolved by GOMEA are competitive with tuned decision trees, making GOMEA a promising new approach to SR.


title: Harmonic Standing-Wave Excitations of Simply-Supported Isotropic Solid Elastic Circular Cylinders: Exact 3D Linear Elastodynamic Response

abstract: The vibration of a solid elastic cylinder is one of the classical applied problems of elastodynamics. Many fundamental forced-vibration problems involving solid elastic cylinders have not yet been studied or solved using the full three-dimensional (3D) theory of linear elasticity. One such problem is the steady-state forced-vibration response of a simply-supported isotropic solid elastic circular cylinder subjected to two-dimensional harmonic standing-wave excitations on its curved surface. In this paper, we exploit certain previously-obtained particular solutions to the Navier-Lam\'{e} equation of motion and exact matrix algebra to construct an exact closed-form 3D elastodynamic solution to the problem. The method of solution is direct and demonstrates a general approach that can be applied to solve other similar forced-vibration problems involving elastic cylinders. Two complete analytical solutions are in fact constructed corresponding to two different but closely-related families of harmonic standing-wave excitations. The second of these analytical solutions is evaluated numerically in order to study the steady-state frequency response in some example excitation cases. In each case, the solution generates a series of resonances that are in correspondence with a subset of the natural frequencies of the simply-supported cylinder. The considered problem is of general interest both as an exactly-solvable 3D elastodynamics problem and as a benchmark forced-vibration problem involving a solid elastic cylinder.


title: Estimating Chlorophyll a Concentrations of Several Inland Waters with Hyperspectral Data and Machine Learning Models

abstract: Water is a key component of life, the natural environment and human health. For monitoring the conditions of a water body, the chlorophyll a concentration can serve as a proxy for nutrients and oxygen supply. In situ measurements of water quality parameters are often time-consuming, expensive and limited in areal validity. Therefore, we apply remote sensing techniques. During field campaigns, we collected hyperspectral data with a spectrometer and in situ measured chlorophyll a concentrations of 13 inland water bodies with different spectral characteristics. One objective of this study is to estimate chlorophyll a concentrations of these inland waters by applying three machine learning regression models: Random Forest, Support Vector Machine and an Artificial Neural Network. Additionally, we simulate four different hyperspectral resolutions of the spectrometer data to investigate the effects on the estimation performance. Furthermore, the application of first order derivatives of the spectra is evaluated in turn to the regression performance. This study reveals the potential of combining machine learning approaches and remote sensing data for inland waters. Each machine learning model achieves an R2-score between 80 % to 90 % for the regression on chlorophyll a concentrations. The random forest model benefits clearly from the applied derivatives of the spectra. In further studies, we will focus on the application of machine learning models on spectral satellite data to enhance the area-wide estimation of chlorophyll a concentration for inland waters.


title: On quint-canonical birationality of irregular threefolds

abstract: Let $X$ be a complex smooth projective threefold of general type. Assume $q(X)>0$. We show that the $m$-canonical map of $X$ is birational for all $m\geq 5$.


title: DiscreteFDR: An R package for controlling the false discovery rate for discrete test statistics

abstract: The simultaneous analysis of many statistical tests is ubiquitous in applications. Perhaps the most popular error rate used for avoiding type one error inflation is the false discovery rate (FDR). However, most theoretical and software development for FDR control has focused on the case of continuous test statistics. For discrete data, methods that provide proven FDR control and good performance have been proposed only recently. The R package DiscreteFDR provides an implementation of these methods. For particular commonly used discrete tests such as Fisher's exact test, it can be applied as an off-the-shelf tool by taking only the raw data as input. It can also be used for any arbitrary discrete test statistics by using some additional information on the distribution of these statistics. The paper reviews the statistical methods in a non-technical way, provides a detailed description of the implementation in DiscreteFDR and presents some sample code and analyses.


title: Nonmonotonic behavior in the dense assemblies of active colloids

abstract: We study experimentally a sediment of self-propelled Brownian particles with densities ranging from dilute to ergodic supercooled, to nonergodic glass, to nonergodic polycrystal. In a compagnon letter, we observe a nonmonotonic response to activity of relaxation of the nonergodic glass state: a dramatic slowdown when particles become weakly self-propelled, followed by a speedup at higher activities. Here we map ergodic supercooled states to standard passive glassy physics, provided a monotonic shift of the glass packing fraction and the replacement of the ambient temperature by the effective temperature. However we show that this mapping fails beyond glass transition. This failure is responsible for the nonmonotonic response. Furthermore, we generalize our finding by examining the dynamical response of an other class of nonergodic systems : polycrystals. We observe the same nonmonotinic response to activity. To explain this phenomenon, we measure the size of domains were particles move in the same direction. This size also shows a nonmonotonic response, with small lengths corresponding to slow relaxation. This suggests that the failure of the mapping of nonergodic active states to a passive situation is general and is linked to anisotropic relaxation mechanisms specific to active matter.


title: Relativistic Astronomy. II. In-Flight Solution of Motion and Test of Special Relativity Light Aberration

abstract: The Breakthrough Starshot project aims to send centimeter-sized, gram-scale "StarChip" probes to Alpha Centauri at a speed of $\sim0.2c$. On the other hand, Zhang \& Li recently proposed that trans-relativistic cameras may be sent to any direction to study astronomical objects and test special relativity. To conduct such "relativistic astronomy", one needs to solve the motion of the probe in flight. We solve the motion of the probe (including the moving direction and the velocity) by comparing the positions of three or more point sources observed in the Earth rest frame and in the probe's comoving frame. When the positions of enough point sources are taken into account, the motion of the probe can be solved with an error which is even smaller than the diffraction limit of the transrelativistic camera. After solving the motion, when the measurement of the position of an additional point source is introduced, one can use the data to test the light aberration effect in special relativity. The upper limit of the photon mass can be placed from the deviation of aberration to slightly lower than the energy of the photon, e.g. $\sim 1 \rm {eV}$.


title: Interpreting Adversarial Examples by Activation Promotion and Suppression

abstract: It is widely known that convolutional neural networks (CNNs) are vulnerable to adversarial examples: images with imperceptible perturbations crafted to fool classifiers. However, interpretability of these perturbations is less explored in the literature. This work aims to better understand the roles of adversarial perturbations and provide visual explanations from pixel, image and network perspectives. We show that adversaries have a promotion-suppression effect (PSE) on neurons' activations and can be primarily categorized into three types: i) suppression-dominated perturbations that mainly reduce the classification score of the true label, ii) promotion-dominated perturbations that focus on boosting the confidence of the target label, and iii) balanced perturbations that play a dual role in suppression and promotion. We also provide image-level interpretability of adversarial examples. This links PSE of pixel-level perturbations to class-specific discriminative image regions localized by class activation mapping (Zhou et al. 2016). Further, we examine the adversarial effect through network dissection (Bau et al. 2017), which offers concept-level interpretability of hidden units. We show that there exists a tight connection between the units' sensitivity to adversarial attacks and their interpretability on semantic concepts. Lastly, we provide some new insights from our interpretation to improve the adversarial robustness of networks.


title: Do Hospital Data Breaches Reduce Patient Care Quality?

abstract: Objective: To estimate the relationship between a hospital data breach and hospital quality outcome Materials and Methods: Hospital data breaches reported to the U.S. Department of Health and Human Services breach portal and the Privacy Rights Clearinghouse database were merged with the Medicare Hospital Compare data to assemble a panel of non-federal acutecare inpatient hospitals for years 2011 to 2015. The study panel included 2,619 hospitals. Changes in 30-day AMI mortality rate following a hospital data breach were estimated using a multivariate regression model based on a difference-in-differences approach. Results: A data breach was associated with a 0.338[95% CI, 0.101-0.576] percentage point increase in the 30-day AMI mortality rate in the year following the breach and a 0.446[95% CI, 0.164-0.729] percentage point increase two years after the breach. For comparison, the median 30-day AMI mortality rate has been decreasing about 0.4 percentage points annually since 2011 due to progress in care. The magnitude of the breach impact on hospitals' AMI mortality rates was comparable to a year's worth historical progress in reducing AMI mortality rates. Conclusion: Hospital data breaches significantly increased the 30-day mortality rate for AMI. Data breaches may disrupt the processes of care that rely on health information technology. Financial costs to repair a breach may also divert resources away from patient care. Thus breached hospitals should carefully focus investments in security procedures, processes, and health information technology that jointly lead to better data security and improved patient outcomes.


title: Tunable Eigenvector-Based Centralities for Multiplex and Temporal Networks

abstract: Characterizing the importances (i.e., centralities) of nodes in social, biological, and technological networks is a core topic in both network science and data science. We present a linear-algebraic framework that generalizes eigenvector-based centralities, including PageRank and hub/authority scores, to provide a common framework for two popular classes of multilayer networks: multiplex networks (which have layers that encode different types of relationships) and temporal networks (in which the relationships change over time). Our approach involves the study of joint, marginal, and conditional "supracentralities" that one can calculate from the dominant eigenvector of a supracentrality matrix [Taylor et al., 2017], which couples centrality matrices that are associated with individual network layers. We extend this prior work (which was restricted to temporal networks with layers that are coupled by adjacent-in-time coupling) by allowing the layers to be coupled through a (possibly asymmetric) interlayer-adjacency matrix $\tilde{{\bf A}}$, where the entry $\tilde{A}_{tt'} \geq 0$ encodes the coupling between layers $t$ and $t'$. Our framework provides a unifying foundation for centrality analysis of multiplex and temporal networks; it also illustrates a complicated dependency of the supracentralities on the topology and weights of interlayer coupling. By scaling $\tilde{{\bf A}}$ by an interlayer-coupling strength $\omega\ge0$ and developing a singular perturbation theory for the limits of weak ($\omega\to0^+$) and strong coupling ($\omega\to\infty$), we also reveal an interesting dependence of supracentralities on the dominant left and right eigenvectors of $\tilde{{\bf A}}$.


title: The contribution of effective quantum gravity to the high energy scattering in the framework of modified perturbation theory and one loop approximation

abstract: The asymptotic behavior of the scattering amplitude for two scalar particles at high energies with fixed momentum transfers is studied. The study is done within the effective theory of quantum gravity based on quasi-potential equation. By using the modified perturbation theory, a systematic method is developed to find the leading eikonal scattering amplitudes together with corrections to them in the one-loop gravitational approximation. The relation is established and discussed between the solutions obtained by means of the operator and functional approaches applied to quasi-potential equation. The first non-leading corrections to the leading eikonal amplitude are found.


title: Inverse Low Gain Avalanche Detectors (iLGADs) for precise tracking and timing applications

abstract: Low Gain Avalanche Detector (LGAD) is the baseline sensing technology of the recently proposed Minimum Ionizing Particle (MIP) end-cap timing detectors (MTD) at the Atlas and CMS experiments. The current MTD sensor is designed as a multi-pad matrix detector delivering a poor position resolution, due to the relatively large pad area, around 1 $mm^2$; and a good timing resolution, around 20-30 ps. Besides, in his current technological incarnation, the timing resolution of the MTD LGAD sensors is severely degraded once the MIP particle hits the inter-pad region since the signal amplification is missing for this region. This limitation is named as the LGAD fill-factor problem. To overcome the fill factor problem and the poor position resolution of the MTD LGAD sensors, a p-in-p LGAD (iLGAD) was introduced. Contrary to the conventional LGAD, the iLGAD has a non-segmented deep p-well (the multiplication layer). Therefore, iLGADs should ideally present a constant gain value over all the sensitive region of the device without gain drops between the signal collecting electrodes; in other words, iLGADs should have a 100${\%}$ fill-factor by design. In this paper, tracking and timing performance of the first iLGAD prototypes is presented.


title: An Ensemble Deep Learning Model for Drug Abuse Detection in Sparse Twitter-Sphere

abstract: As the problem of drug abuse intensifies in the U.S., many studies that primarily utilize social media data, such as postings on Twitter, to study drug abuse-related activities use machine learning as a powerful tool for text classification and filtering. However, given the wide range of topics of Twitter users, tweets related to drug abuse are rare in most of the datasets. This imbalanced data remains a major issue in building effective tweet classifiers, and is especially obvious for studies that include abuse-related slang terms. In this study, we approach this problem by designing an ensemble deep learning model that leverages both word-level and character-level features to classify abuse-related tweets. Experiments are reported on a Twitter dataset, where we can configure the percentages of the two classes (abuse vs. non abuse) to simulate the data imbalance with different amplitudes. Results show that our ensemble deep learning models exhibit better performance than ensembles of traditional machine learning models, especially on heavily imbalanced datasets.


title: Generalized Variational Inference: Three arguments for deriving new Posteriors

abstract: We advocate an optimization-centric view on and introduce a novel generalization of Bayesian inference. Our inspiration is the representation of Bayes' rule as infinite-dimensional optimization problem (Csiszar, 1975; Donsker and Varadhan; 1975, Zellner; 1988). First, we use it to prove an optimality result of standard Variational Inference (VI): Under the proposed view, the standard Evidence Lower Bound (ELBO) maximizing VI posterior is preferable to alternative approximations of the Bayesian posterior. Next, we argue for generalizing standard Bayesian inference. The need for this arises in situations of severe misalignment between reality and three assumptions underlying standard Bayesian inference: (1) Well-specified priors, (2) well-specified likelihoods, (3) the availability of infinite computing power. Our generalization addresses these shortcomings with three arguments and is called the Rule of Three (RoT). We derive it axiomatically and recover existing posteriors as special cases, including the Bayesian posterior and its approximation by standard VI. In contrast, approximations based on alternative ELBO-like objectives violate the axioms. Finally, we study a special case of the RoT that we call Generalized Variational Inference (GVI). GVI posteriors are a large and tractable family of belief distributions specified by three arguments: A loss, a divergence and a variational family. GVI posteriors have appealing properties, including consistency and an interpretation as approximate ELBO. The last part of the paper explores some attractive applications of GVI in popular machine learning models, including robustness and more appropriate marginals. After deriving black box inference schemes for GVI posteriors, their predictive performance is investigated on Bayesian Neural Networks and Deep Gaussian Processes, where GVI can comprehensively improve upon existing methods.


title: Minimum Volume Topic Modeling

abstract: We propose a new topic modeling procedure that takes advantage of the fact that the Latent Dirichlet Allocation (LDA) log likelihood function is asymptotically equivalent to the logarithm of the volume of the topic simplex. This allows topic modeling to be reformulated as finding the probability simplex that minimizes its volume and encloses the documents that are represented as distributions over words. A convex relaxation of the minimum volume topic model optimization is proposed, and it is shown that the relaxed problem has the same global minimum as the original problem under the separability assumption and the sufficiently scattered assumption introduced by Arora et al. (2013) and Huang et al. (2016). A locally convergent alternating direction method of multipliers (ADMM) approach is introduced for solving the relaxed minimum volume problem. Numerical experiments illustrate the benefits of our approach in terms of computation time and topic recovery performance.


title: Health and Kinship Matter: Learning About Direct-To-Consumer Genetic Testing User Experiences via Online Discussions

abstract: Direct-to-consumer (DTC) genetic testing has gained in popularity over the past decade, with over 12 million consumers to date. Given its increasing stature in society, along with weak regulatory oversight, it is important to learn about actual consumers' testing experiences. Traditional interviews or survey-based studies have been limited in that they had small sample sizes or lacked detailed descriptions of personal experiences. Yet many people are now sharing their DTC genetic testing experiences via online social media platforms. In this paper, we focused on one particularly lively online discussion forum, \textit{r/23andme} subreddit, where, as of before March 2018, 5,857 users published 37,183 posts. We applied topic modeling to the posts and examined the identified topics and temporal posting trends. We further applied regression analysis to learn the association between the attention that a submission received, in terms of votes and comments, and the posting content. Our findings indicate that bursts of the increase of such online discussion in 2017 may correlate with the Food and Drug Administration's authorization for marketing of 23andMe genetic test on health risks, as well as the hot sale of 23andMe's products on Black Friday. While ancestry composition was a popular subject, kinship was steadily growing towards a major online discussion topic. Moreover, compared with other topics, health and kinship were more likely to receive attention, in terms of votes, while testing reports were more likely to receive attention, in term of comments. Our findings suggest that people may not always be prepared to deal with the unexpected consequences of DTC genetic testing. Moreover, it appears that the users in this subreddit might not sufficiently consider privacy when taking a test or seeking an interpretation from a third-party service provider.


title: Teleporting digital images

abstract: During the last 25 years the scientific community has coexisted with the most fascinating protocol due to Quantum Physics: quantum teleportation (QTele), which would have been impossible if quantum entanglement, so questioned by Einstein, did not exist. In this work, a complete architecture for the teleportation of Computational Basis States (CBS) is presented. Such CBS will represent each of the possible 24 classical bits commonly used to encode every pixel of a 3-color-channel-image (red-green-blue, or cyan-yellow-magenta). For this purpose, a couple of interfaces: classical-to-quantum (Cl2Qu) and quantum-to-classical (Qu2Cl) are presented with two versions of the teleportation protocol: standard and simplified.


title: Gluon-pair-Creation Production Model of Strong Interaction Vertices

abstract: By studying the $\eta_c$ exclusive decay to double glueballs, we introduce a model to mimic phenomenologically the gluon-pair-vacuum interaction vertices, namely the $0^{++}$ model. Based on this model, we study glueball production in pseudoscalar quarkonium decays, explicitly $\eta_c \to f_0(1500)\eta(1405)$, $\eta_b\to f_0(1500)\eta(1405)$ and $\eta_b\to f_0(1710)\eta(1405)$ processes. Among them $f_0(1500)$ and $f_0(1710)$ are well-known scalars possessing large glue components and $\eta(1405)$ is a potential candidate for pseudoscalar glueball. The preliminary calculation results indicate that these processes are marginally accessible in the presently running experiments BES III, BELLE II, and LHCb.


title: A queueing approach to the latency of decoupled UL/DL with flexible TDD and asymmetric services

abstract: One of the main novelties in 5G is the flexible Time Division Duplex (TDD) frame, which allows adaptation to the latency requirements. However, this flexibility is not sufficient to support heterogeneous latency requirements, in which different traffic instances have different switching requirements between Uplink (UL) and Downlink (DL). This is visible in a traffic mix of enhanced mobile broadband (eMBB) and ultra-reliable low-latency communications (URLLC). In this paper we address this problem through the use of a decoupled UL/DL access, where the UL and the DL of a device are not necessarily served by the same base station. The latency gain over coupled access is quantified in the form of queueing sojourn time in a Rayleigh channel, as well as an upper bound for critical traffic.


title: Climate of an Ultra hot Jupiter: Spectroscopic phase curve of WASP-18b with HST/WFC3

abstract: We present the analysis of a full-orbit, spectroscopic phase curve of the ultra hot Jupiter WASP-18b, obtained with the Wide Field Camera 3 aboard the Hubble Space Telescope. We measure the planet's normalized day-night contrast as >0.96 in luminosity: the disk-integrated dayside emission from the planet is at 964+-25 ppm, corresponding to 2894+-30 K, and we place an upper limit on the nightside emission of <32ppm or 1430K at the 3-sigma level. We also find that the peak of the phase curve exhibits a small, but significant offset in brightness of 4.5+-0.5 degrees eastward. We compare the extracted phase curve and phase resolved spectra to 3D Global Circulation Models and find that broadly the data can be well reproduced by some of these models. We find from this comparison several constraints on the atmospheric properties of the planet. Firstly we find that we need efficient drag to explain the very inefficient day-night re-circulation observed. We demonstrate that this drag could be due to Lorentz-force drag by a magnetic field as weak as 10 Gauss. Secondly, we show that a high metallicity is not required to match the large day-night temperature contrast. In fact, the effect of metallicity on the phase curve is different from cooler gas-giant counterparts, due to the high-temperature chemistry in WASP-18b's atmosphere. Additionally, we compare the current UHJ spectroscopic phase curves, WASP-18b and WASP-103b, and show that these two planets provide a consistent picture with remarkable similarities in their measured and inferred properties. However, key differences in these properties, such as their brightness offsets and radius anomalies, suggest that UHJ could be used to separate between competing theories for the inflation of gas-giant planets.


title: Separate Universe Simulations with IllustrisTNG: baryonic effects on power spectrum responses and higher-order statistics

abstract: We measure power spectrum response functions in the presence of baryonic physical processes using separate universe simulations with the IllustrisTNG galaxy formation model. The response functions describe how the small-scale power spectrum reacts to long-wavelength perturbations and they can be efficiently measured with the separate universe technique by absorbing the effects of the long modes into a modified cosmology. Specifically, we focus on the total first-order matter power spectrum response to an isotropic density fluctuation $R_1(k,z)$, which is fully determined by the logarithmic derivative of the nonlinear matter power spectrum ${\rm dln}P_m(k,z)/{\rm dln}k$ and the growth-only response function $G_1(k,z)$. We find that $G_1(k,z)$ is not affected by the baryonic physical processes in the simulations at redshifts $z < 3$ and on all scales probed ($k \lesssim 15h/{\rm Mpc}$, i.e. length scales $\gtrsim 0.4 {\rm Mpc}/h$). In practice, this implies that the power spectrum fully specifies the baryonic dependence of its response function. Assuming an idealized lensing survey setup, we evaluate numerically the baryonic impact on the squeezed-lensing bispectrum and the lensing super-sample power spectrum covariance, which are given in terms of responses. Our results show that these higher-order lensing statistics can display varying levels of sensitivity to baryonic effects compared to the power spectrum, with the squeezed-bispectrum being the least sensitive. We also show that ignoring baryonic effects on lensing covariances slightly overestimates the error budget (and is therefore conservative from the point of view of parameter error bars) and likely has negligible impact on parameter biases in inference analyses.


title: Optimal non-signalling violations via tensor norms

abstract: In this paper we characterize the set of bipartite non-signalling probability distributions in terms of tensor norms. Using this characterization we give optimal upper and lower bounds on Bell inequality violations when non-signalling distributions are considered. Interestingly, our upper bounds show that non-signalling Bell inequality violations cannot be significantly larger than quantum Bell inequality violations.


title: Processing Tweets for Cybersecurity Threat Awareness

abstract: Receiving timely and relevant security information is crucial for maintaining a high-security level on an IT infrastructure. This information can be extracted from Open Source Intelligence published daily by users, security organisations, and researchers. In particular, Twitter has become an information hub for obtaining cutting-edge information about many subjects, including cybersecurity. This work proposes SYNAPSE, a Twitter-based streaming threat monitor that generates a continuously updated summary of the threat landscape related to a monitored infrastructure. Its tweet-processing pipeline is composed of filtering, feature extraction, binary classification, an innovative clustering strategy, and generation of Indicators of Compromise (IoCs). A quantitative evaluation considering all tweets from 80 accounts over more than 8 months (over 195.000 tweets), shows that our approach timely and successfully finds the majority of security-related tweets concerning an example IT infrastructure (true positive rate above 90%), incorrectly selects a small number of tweets as relevant (false positive rate under 10%), and summarises the results to very few IoCs per day. A qualitative evaluation of the IoCs generated by SYNAPSE demonstrates their relevance (based on the CVSS score and the availability of patches or exploits), and timeliness (based on threat disclosure dates from NVD).


title: Rank zero quadratic twists of $y^2 = x^3 + 2$

abstract: We produce two families of rank zero quadratic twists of the elliptic curve $E:~y^2=x^3+2$. Moreover, we prove that there are infinitely many members with rank zero in each of these families.


title: A Visual Neural Network for Robust Collision Perception in Vehicle Driving Scenarios

abstract: This research addresses the challenging problem of visual collision detection in very complex and dynamic real physical scenes, specifically, the vehicle driving scenarios. This research takes inspiration from a large-field looming sensitive neuron, i.e., the lobula giant movement detector (LGMD) in the locust's visual pathways, which represents high spike frequency to rapid approaching objects. Building upon our previous models, in this paper we propose a novel inhibition mechanism that is capable of adapting to different levels of background complexity. This adaptive mechanism works effectively to mediate the local inhibition strength and tune the temporal latency of local excitation reaching the LGMD neuron. As a result, the proposed model is effective to extract colliding cues from complex dynamic visual scenes. We tested the proposed method using a range of stimuli including simulated movements in grating backgrounds and shifting of a natural panoramic scene, as well as vehicle crash video sequences. The experimental results demonstrate the proposed method is feasible for fast collision perception in real-world situations with potential applications in future autonomous vehicles.


title: Learning for Multi-Type Subspace Clustering

abstract: Subspace clustering has been extensively studied from the hypothesis-and-test, algebraic, and spectral clustering based perspectives. Most assume that only a single type/class of subspace is present. Generalizations to multiple types are non-trivial, plagued by challenges such as choice of types and numbers of models, sampling imbalance and parameter tuning. In this work, we formulate the multi-type subspace clustering problem as one of learning non-linear subspace filters via deep multi-layer perceptrons (mlps). The response to the learnt subspace filters serve as the feature embedding that is clustering-friendly, i.e., points of the same clusters will be embedded closer together through the network. For inference, we apply K-means to the network output to cluster the data. Experiments are carried out on both synthetic and real world multi-type fitting problems, producing state-of-the-art results.


title: Lightweight FEC: Rectangular Codes with Minimum Feedback Information

abstract: We propose a hybrid protocol combining a rectangular error-correcting code - paired with an error-detecting code - and a backward error correction in order to send packages of information over a noisy channel. We depict a linear-time algorithm the receiver can use to determine the minimum amount of information to be requested from the sender in order to repair all transmission errors. Repairs may possibly occur over several cycles of emissions and requests. We show that the expected bandwidth use on the backward channel by our protocol is asymptotically small. In most configurations we give the explicit asymptotic expansion for said expectation. This is obtained by linking our problem to a well known algorithmic problem on a gadget graph, feedback edge set. The little use of the backward channel makes our protocol suitable where one could otherwise simply use backward error correction, e.g. TCP, but where overly using the backward channel is undesirable. We confront our protocol to numerical analysis versus TCP protocol. In most cases our protocol allows to reduce the number of iterations down to 60%, while requiring only negligibly more packages.


title: Graph based Nearest Neighbor Search: Promises and Failures

abstract: Recently, graph based nearest neighbor search gets more and more popular on large-scale retrieval tasks. The attractiveness of this type of approaches lies in its superior performance over most of the known nearest neighbor search approaches as well as its genericness to various metrics. In this paper, the role of two strategies, namely hierarchical structure and graph diversification that are adopted as the key steps in the graph based approaches, is investigated. We find the hierarchical structure could not achieve "much better logarithmic complexity scaling" as it was claimed in the original paper, particularly on high dimensional cases. Moreover, we find that similar high search speed efficiency as the one with hierarchical structure could be achieved with the support of flat k-NN graph after graph diversification. Finally, we point out the difficulty, that is faced by most of the graph based search approaches, is directly linked to "curse of dimensionality".


title: Norm Inequalities for Inner Product Type Integral Transformers

abstract: In this paper, we give a detailed survey on norm inequalities for inner product type integral transformers. We first consider unitarily invariant norms and operator valued functions. We then give results on norm inequalities for inner product type integral transformers in terms of Landau inequality, Gr\" uss inequality. Lastly, we explore some of the applications in quantum theory.


title: Symbolic Exact Inference for Discrete Probabilistic Programs

abstract: The computational burden of probabilistic inference remains a hurdle for applying probabilistic programming languages to practical problems of interest. In this work, we provide a semantic and algorithmic foundation for efficient exact inference on discrete-valued finite-domain imperative probabilistic programs. We leverage and generalize efficient inference procedures for Bayesian networks, which exploit the structure of the network to decompose the inference task, thereby avoiding full path enumeration. To do this, we first compile probabilistic programs to a symbolic representation. Then we adapt techniques from the probabilistic logic programming and artificial intelligence communities in order to perform inference on the symbolic representation. We formalize our approach, prove it sound, and experimentally validate it against existing exact and approximate inference techniques. We show that our inference approach is competitive with inference procedures specialized for Bayesian networks, thereby expanding the class of probabilistic programs that can be practically analyzed.


title: Estimating country-specific space heating threshold temperatures from national consumption data

abstract: Space heating in buildings is becoming a key element of sector-coupled energy system research. Data availability limits efforts to model the buildings sector, because heat consumption is not directly metered in most countries. Space heating is often related to weather through the proxy of heating degree-days using a specific heating threshold temperature, but methods vary between studies. This study estimates country-specific heating threshold temperatures using widely and publicly available consumption and weather data. This allows for national climate and culture-specific human behaviour to be captured in energy systems modelling. National electricity and gas consumption data are related to degree-days through linear models, and Akaike's Information Criteria is used to define the summer season in each country, when space heating is not required. We find that the heating threshold temperatures computed using daily, weekly and monthly aggregated consumption data are statistically indifferent. In general, threshold temperatures for gas heating centre around 15.0 +/- 1.7 degree C (daily averaged temperature), while heating by electricity averages to 13.4 +/- 2.4 degree C. We find no evidence of space heating during June, July and August, even if heating degree-days are present.


title: Combining the Runge approximation and the Whitney embedding theorem in hybrid imaging

abstract: This paper addresses enforcing non-vanishing constraints for solutions to a second order elliptic partial differential equation by appropriate choices of boundary conditions. We show that, in dimension $d\geq2$, under suitable regularity assumptions, the family of $2d$ solutions such that their Jacobian has maximal rank in the domain is both open and dense. The case of less regular coefficients is also addressed, together with other constraints, which are relevant for applications to recent hybrid imaging modalities. Our approach is based on the combination of the Runge approximation property and the Whitney projection argument [Greene and Wu, Ann. Inst. Fourier (Grenoble), 25(1, vii):215-235, 1975]. The method is very general, and can be used in other settings.


title: FatSegNet : A Fully Automated Deep Learning Pipeline for Adipose Tissue Segmentation on Abdominal Dixon MRI

abstract: Purpose: Development of a fast and fully automated deep learning pipeline (FatSegNet) to accurately identify, segment, and quantify abdominal adipose tissue on Dixon MRI from the Rhineland Study - a large prospective population-based study. Method: FatSegNet is composed of three stages: (i) consistent localization of the abdominal region using two 2D-Competitive Dense Fully Convolutional Networks (CDFNet), (ii) segmentation of adipose tissue on three views by independent CDFNets, and (iii) view aggregation. FatSegNet is trained with 33 manually annotated subjects, and validated by: 1) comparison of segmentation accuracy against a testingset covering a wide range of body mass index (BMI), 2) test-retest reliability, and 3) robustness in a large cohort study. Results: The CDFNet demonstrates increased robustness compared to traditional deep learning networks. FatSegNet dice score outperforms manual raters on the abdominal visceral adipose tissue (VAT, 0.828 vs. 0.788), and produces comparable results on subcutaneous adipose tissue (SAT, 0.973 vs. 0.982). The pipeline has very small test-retest absolute percentage difference and excellent agreement between scan sessions (VAT: APD = 2.957%, ICC=0.998 and SAT: APD= 3.254%, ICC=0.996). Conclusion: FatSegNet can reliably analyze a 3D Dixon MRI in1 min. It generalizes well to different body shapes, sensitively replicates known VAT and SAT volume effects in a large cohort study, and permits localized analysis of fat compartments.


title: Dynamic perfect plasticity and damage in viscoelastic solids

abstract: In this paper we analyze an isothermal and isotropic model for viscoelastic media combining linearized perfect plasticity (allowing for concentration of plastic strain and development of shear bands) and damage effects in a dynamic setting. The interplay between the viscoelastic rheology with inertia, elasto-plasticity, and unidirectional rate-dependent incomplete damage affecting both the elastic and viscous response, as well as the plastic yield stress, is rigorously characterized by showing existence of weak solutions to the constitutive and balance equations of the model. The analysis relies on the notions of plastic-strain measures and bounded-deformation displacements, on sophisticated time-regularity estimates to establish a duality between acceleration and velocity of the elastic displacement, on the theory of rate-independent processes for the energy conservation in the dynamical-plastic part, and on the proof of the strong convergence of the elastic strains. Existence of a suitably defined weak solutions is proved rather constructively by using a staggered two-step time discretization scheme.


title: Optimal order finite difference approximation of generalized solutions to the biharmonic equation in a cube

abstract: We prove an optimal order error bound in the discrete $H^2(\Omega)$ norm for finite difference approximations of the first boundary-value problem for the biharmonic equation in $n$ space dimensions, with $n \in \{2,\dots,7\}$, whose generalized solution belongs to the Sobolev space $H^s(\Omega) \cap H^2_0(\Omega)$, for $\frac{1}{2} \max(5,n) < s \leq 4$, where $\Omega = (0,1)^n$. The result extends the range of the Sobolev index $s$ in the best convergence results currently available in the literature to the maximal range admitted by the Sobolev embedding of $H^s(\Omega)$ into $C(\overline\Omega)$ in $n$ space dimensions.


title: The Science Case for a Southern Wide Field of View Detector

abstract: EAS arrays are survey instruments able to monitor continuously all the overhead sky. Their sensitivity in the sub-TeV/TeV energy domain cannot compete with that of Cherenkov telescopes, but the wide field of view (about 2 sr) is ideal to complement directional detectors by performing unbiased sky surveys, by monitoring variable or flaring sources such as Active Galactic Nuclei (AGN) and to discover transients or explosive events (GRBs). Arrays are well suited to study extended sources, such as the Galactic diffuse emission, and to measure the spectra of Galactic sources at the highest energies (near or beyond 100 TeV). An EAS array is able to detect at the same time events induced by photons and charged cosmic rays, thus studying the connection between these two messengers of the non-thermal Universe. Therefore, these detectors are, by definition, multi-messenger instruments. All EAS arrays presently in operation or under installation are located in the Northern hemisphere. The scientific potential of a next-generation survey instrument in the Southern Hemisphere will be presented and briefly discussed.


title: Non-Orthogonal Unicast and Broadcast Transmission via Joint Beamforming and LDM in Cellular Networks

abstract: Limited bandwidth resources and higher energy efficiency requirements motivate incorporating multicast and broadcast transmission into the next-generation cellular network architectures, particularly for multimedia streaming applications. Layered division multiplexing (LDM), a form of NOMA, can potentially improve unicast throughput and broadcast coverage with respect to traditional orthogonal frequency division multiplexing (FDM) or time division multiplexing (TDM), by simultaneously using the same frequency and time resources for multiple unicast or broadcast transmissions. In this paper, the performance of LDM-based unicast and broadcast transmission in a cellular network is studied by assuming a single frequency network (SFN) operation for the broadcast layer, while allowing arbitrarily clustered cooperation among the base stations (BSs) for the transmission of unicast data streams. Beamforming and power allocation between unicast and broadcast layers, the so-called injection level in the LDM literature, are optimized with the aim of minimizing the sum-power under constraints on the user-specific unicast rates and on the common broadcast rate. The effects of imperfect channel coding and imperfect CSI are also studied to gain insights into robust implementation in practical systems. The non-convex optimization problem is tackled by means of successive convex approximation (SCA) techniques. Performance upper bounds are also presented by means of the $\rm{S}$-procedure followed by semidefinite relaxation (SDR). Finally, a dual decomposition-based solution is proposed to facilitate an efficient distributed implementation of LDM where the optimal unicast beamforming vectors can be obtained locally by the cooperating BSs. Numerical results are presented, which show the tightness of the proposed bounds and hence the near-optimality of the proposed solutions.


title: Diffraction-dominated observational astronomy

abstract: This paper is based on the opening lecture given at the 2017 edition of the Evry Schatzman school on high-angular resolution imaging of stars and their direct environment. Two relevant observing techniques: long baseline interferometry and adaptive optics fed high-contrast imaging produce data whose overall aspect is dominated by the phenomenon of diffraction. The proper interpretation of such data requires an understanding of the coherence properties of astrophysical sources, that is, the ability of light to produce interferences. This theory is used to describe high-contrast imaging in more details. The paper introduces the rationale for ideas such as apodization and coronagraphy and describes how they interact with adaptive optics. The incredible precision brought by the latest generation adaptive optics systems makes observations particularly sensitive to subtle instrumental biases that must be accounted for, up until now using post-processing techniques. The ability to directly measure the coherence of the light in the focal plane of high-contrast imaging instruments using focal-plane based wavefront control techniques will be the next step to further enhance our ability to directly detect extrasolar planets.


title: Spectra of elliptic potentials and supersymmetric gauge theories

abstract: We study a relation between asymptotic spectra of the quantum mechanics problem with a four components elliptic function potential, the Darboux-Treibich-Verdier (DTV) potential, and the Omega background deformed N=2 supersymmetric SU(2) QCD models with four massive flavors in the Nekrasov-Shatashvili limit. The weak coupling spectral solution of the DTV potential is related to the instanton partition function of supersymmetric QCD with surface operator. There are two strong coupling spectral solutions of the DTV potential, they are related to strong coupling expansions of gauge theory prepotential at the magnetic and dyonic points in the moduli space. A set of duality transformations relate the two strong coupling expansions for spectral solution, and for gauge theory prepotential.


title: Leveraging Electromagnetic Side-Channel Analysis for the Investigation of IoT Devices

abstract: Internet of Things (IoT) devices have expanded the horizon of digital forensic investigations by providing a rich set of new evidence sources. IoT devices includes health implants, sports wearables, smart burglary alarms, smart thermostats, smart electrical appliances, and many more. Digital evidence from these IoT devices is often extracted from third party sources, e.g., paired smartphone applications or the devices' back-end cloud services. However vital digital evidence can still reside solely on the IoT device itself. The specifics of the IoT device's hardware is a black-box in many cases due to the lack of proven, established techniques to inspect IoT devices. This paper presents a novel methodology to inspect the internal software activities of IoT devices through their electromagnetic radiation emissions during live device investigation. When a running IoT device is identified at a crime scene, forensically important software activities can be revealed through an electromagnetic side-channel analysis (EM-SCA) attack. By using two representative IoT hardware platforms, this work demonstrates that cryptographic algorithms running on high-end IoT devices can be detected with over 82% accuracy, while minor software code differences in low-end IoT devices could be detected over 90% accuracy using a neural network-based classifier. Furthermore, it was experimentally demonstrated that malicious modification of the stock firmware of an IoT device can be detected through machine learning-assisted EM-SCA techniques. These techniques provide a new investigative vector for digital forensic investigators to inspect IoT devices.


title: Ozawa's class $\mathcal S$ for locally compact groups and unique prime factorization

abstract: We study class $\mathcal S$ for locally compact groups. We characterize locally compact groups in this class as groups having an amenable action on a boundary that is small at infinity, generalizing a theorem of Ozawa. Using this characterization, we provide new examples of groups in class $\mathcal S$ and prove unique prime factorization results for group von Neumann algebras of products of locally compact groups in this class. We also prove that class $\mathcal S$ is a measure equivalence invariant.


title: Light in the beam dump -- ALP production from decay photons in proton beam-dumps

abstract: The exploration of long-lived particles in the MeV-GeV region is a formidable task but it may provide us a unique access to dark sectors. Fixed-target facilities with sufficiently energetic and intense proton beams are an ideal tool for this challenge. In this work we show that the production rate of Axion-Like-Particles (ALPs) coupled pre-dominantly to photons receives a significant contribution from daughter-photons of secondary $\pi^0$ and $\eta$ mesons created in the proton shower. We carefully compare the PYTHIA simulated spectra of such secondaries to experimental literature, compute the ALP flux from the Primakoff conversion of these photons, and finally revisit existing limits on ALPs and update the prospects for a set of existing and future searches. Our results show that taking this production mechanism into account significantly enhances the sensitivity compared to previous studies based on coherent ALP production in primary proton-nucleus interactions.