title: Eccentric-orbit EMRI radiation: Analytic forms of leading-logarithm and subleading-logarithm flux terms at high PN orders

abstract: We present new results on the analytic eccentricity dependence of several sequences of gravitational wave flux terms at high post-Newtonian (PN) order for extreme-mass-ratio inspirals. These sequences are the leading logarithms, which appear at PN orders $x^{3k} \log^k(x)$ and $x^{3k+3/2} \log^k(x)$ for integers $k\ge 0$ ($x$ a PN compactness parameter), and the subleading logarithms, which appear at orders $x^{3k} \log^{k-1}(x)$ and $x^{3k+3/2} \log^{k-1}(x)$ ($k\ge 1$), in both the energy and angular momentum radiated to infinity. For the energy flux leading logarithms, we show that to arbitrarily high PN order their eccentricity dependence is determined by particular sums over the function $g(n,e_t)$, derived from the Newtonian mass quadrupole moment, that normally gives the spectral content of the Peters-Mathews flux as a function of radial harmonic $n$. An analogous power spectrum $\tilde{g}(n,e_t)$ determines the leading logarithms of the angular momentum flux. For subleading logs, the quadrupole power spectra are again shown to play a role, providing a distinguishable part of the eccentricity dependence of these flux terms to high PN order. With the quadrupole contribution understood, the remaining analytic eccentricity dependence of the subleading logs can in principle be determined more easily using black hole perturbation theory. We show this procedure in action, deriving the complete analytic structure of the $x^6 \log(x)$ subleading-log term and an analytic expansion of the $x^{9/2}$ subleading log to high order in a power series in eccentricity. We discuss how these methods might be extended to other sequences of terms in the PN expansion involving logarithms.


title: The Likelihood of Detecting Young Giant Planets with High Contrast Imaging and Interferometry

abstract: Giant planets are expected to form at orbital radii that are relatively large compared to transit and radial velocity detections (>1 AU). As a result, giant planet formation is best observed through direct imaging. By simulating the formation of giant (0.3-5$M_{J}$) planets by core accretion, we predict planet magnitude in the near infrared (2-4 $\mu$m) and demonstrate that, once a planet reaches the runaway accretion phase, it is self-luminous and is bright enough to be detected in near infrared wavelengths. Using planet distribution models consistent with existing radial velocity and imaging constraints, we simulate a large sample of systems with the same stellar and disc properties to determine how many planets can be detected. We find that current large (8-10m) telescopes have, at most a 0.2% chance of detecting a core accretion giant planet in the L' band and 2% in the K band for a typical solar type star. Future instruments such as METIS and VIKiNG have higher sensitivity and are expected to detect exoplanets at a maximum rate of 2% and 8% respectively.


title: A diagnostic tool for the identification of Supernova Remnants

abstract: We present new diagnostic tools for distinguishing supernova remnants (SNRs) from HII regions. Up to now, sources with flux ratio [S II]/H$\rm{\alpha}$ higher than 0.4 have been considered as SNRs. Here, we present the combinations of three or two line ratios as more effective tools for the separation of these two kinds of nebulae, depicting them as 3D surfaces or 2D lines. The diagnostics are based on photoionization and shock excitation models (MAPPINGS III) analysed with Support Vector Machine (SVM) models for classification. The line-ratio combination that gives the most efficient diagnostic is: [O I]/H$\rm{\alpha}$ - [O II]/H$\rm{\beta}$ - [O III]/H$\rm{\beta}$. This method gives $98.95\% $ completeness in the SNR selection and $1.20\%$ contamination. We also define the [O I]/H$\rm{\alpha}$ SNR selection criterion and we measure its efficiency in comparison to other selection criteria.


title: Selective Quantum State Tomography

abstract: We introduce the concept of selective quantum state tomography or SQST, a tomographic scheme that enables a user to estimate arbitrary elements of an unknown quantum state using a fixed measurement record. We demonstrate how this may be done with the following notable advantages (i) a number of state copies that depends only on the desired precision of the estimation, rather than the dimension of the unknown state; (ii) a similar reduction in the requisite classical memory and computational cost; (iii) an approach to state tomography using $O(\epsilon^{-2}\log d)$ state copies for maximum norm error $\epsilon$, as well as achieving nearly optimal bounds for full tomography with independent measurements. As an immediate extension to this technique we proceed to show that SQST can be used to generate an universal data sample, of fixed and dimension independent size, from which one can extract the mean values from a continuous class of operators on demand.


title: Spin Transport in Thick Insulating Antiferromagnetic Films

abstract: Spin transport of magnonic excitations in uniaxial insulating antiferromagnets (AFs) is investigated. In linear response to spin biasing and a temperature gradient, the spin transport properties of normal-metal--insulating antiferromagnet--normal-metal heterostructures are calculated. We focus on the thick-film regime, where the AF is thicker than the magnon equilibration length. This regime allows the use of a drift-diffusion approach, which is opposed to the thin-film limit considered by Bender {\it et al.} 2017, where a stochastic approach is justified. We obtain the temperature- and thickness-dependence of the structural spin Seebeck coefficient $\mathcal{S}$ and magnon conductance $\mathcal{G}$. In their evaluation we incorporate effects from field- and temperature-dependent spin conserving inter-magnon scattering processes. Furthermore, the interfacial spin transport is studied by evaluating the contact magnon conductances in a microscopic model that accounts for the sub-lattice symmetry breaking at the interface. We find that while inter-magnon scattering does slightly suppress the spin Seebeck effect, transport is generally unaffected, with the relevant spin decay length being determined by non-magnon-conserving processes such as Gilbert damping. In addition, we find that while the structural spin conductance may be enhanced near the spin flip transition, it does not diverge due to spin impedance at the normal metal|magnet interfaces.


title: The emotions that we perceive in music: the influence of language and lyrics comprehension on agreement

abstract: In the present study, we address the relationship between the emotions perceived in pop and rock music (mainly in Euro-American styles with English lyrics) and the language spoken by the listener. Our goal is to understand the influence of lyrics comprehension on the perception of emotions and use this information to improve Music Emotion Recognition (MER) models. Two main research questions are addressed: 1. Are there differences and similarities between the emotions perceived in pop/rock music by listeners raised with different mother tongues? 2. Do personal characteristics have an influence on the perceived emotions for listeners of a given language? Personal characteristics include the listeners' general demographics, familiarity and preference for the fragments, and music sophistication. Our hypothesis is that inter-rater agreement (as defined by Krippendorff's alpha coefficient) from subjects is directly influenced by the comprehension of lyrics.


title: Widely Tunable Quantum Phase Transition from Moore-Read to Composite Fermi Liquid in Bilayer Graphene

abstract: We develop a proposal to realise a widely tunable and clean quantum phase transition in bilayer graphene between two paradigmatic fractionalized phases of matter: the Moore-Read fractional quantum Hall state and the composite Fermi liquid metal. This transition can be realized at total fillings $\nu=\pm 3+1/2$ and the critical point can be controllably accessed by tuning either the interlayer electric bias or the perpendicular magnetic field values over a wide range of parameters. We study the transition numerically within a model that contains all leading single particle corrections to the band-structure of bilayer graphene and includes the fluctuations between the $n=0$ and $n=1$ cyclotron orbitals of its zeroth Landau level to delineate the most favorable region of parameters to experimentally access this unconventional critical point. We also find evidence for a new anisotropic gapless phase stabilized near the level crossing of $n=0/1$ orbits.


title: WISDOM project -- V. Resolving molecular gas in Keplerian rotation around the supermassive black hole in NGC 0383

abstract: As part of the mm-Wave Interferometric Survey of Dark Object Masses (WISDOM), we present a measurement of the mass of the supermassive black hole (SMBH) in the nearby early-type galaxy NGC 0383 (radio source 3C 031). This measurement is based on Atacama Large Millimeter/sub-milimeter Array (ALMA) cycle 4 and 5 observations of the 12CO(2-1) emission line with a spatial resolution of 58x32pc2 (0."18x0."1). This resolution, combined with a channel width of 10 km/s, allows us to well resolve the radius of the black hole sphere of influence (measured as R_SOI = 316pc = 0."98), where we detect a clear Keplerian increase of the rotation velocities. NGC 0383 has a kinematically-relaxed, smooth nuclear molecular gas disc with weak ring/spiral features. We forward-model the ALMA data cube with the Kinematic Molecular Simulation (KinMS) tool and a Bayesian Markov Chain Monte Carlo method to measure a SMBH mass of (4.2+/-0.7)x10^9 Msun, a F160W-band stellar mass-to-light ratio that varies from 2.8+/-0.6 Msun/Lsun in the centre to 2.4+/-0.3 Msun/Lsun at the outer edge of the disc and a molecular gas velocity dispersion of 8.3+/-2.1 km/s (all 3-sigma uncertainties). We also detect unresolved continuum emission across the full bandwidth, consistent with synchrotron emission from an active galactic nucleus. This work demonstrates that low-J CO emission can resolve gas very close to the SMBH (~140,000 Schwarzschild radii) and hence that the molecular gas method is highly complimentary to megamaser observations as it can probe the same emitting material.


title: Analyzing machine-learned representations: A natural language case study

abstract: As modern deep networks become more complex, and get closer to human-like capabilities in certain domains, the question arises of how the representations and decision rules they learn compare to the ones in humans. In this work, we study representations of sentences in one such artificial system for natural language processing. We first present a diagnostic test dataset to examine the degree of abstract composable structure represented. Analyzing performance on these diagnostic tests indicates a lack of systematicity in the representations and decision rules, and reveals a set of heuristic strategies. We then investigate the effect of the training distribution on learning these heuristic strategies, and study changes in these representations with various augmentations to the training set. Our results reveal parallels to the analogous representations in people. We find that these systems can learn abstract rules and generalize them to new contexts under certain circumstances -- similar to human zero-shot reasoning. However, we also note some shortcomings in this generalization behavior -- similar to human judgment errors like belief bias. Studying these parallels suggests new ways to understand psychological phenomena in humans as well as informs best strategies for building artificial intelligence with human-like language understanding.


title: Nearly Optimal Algorithms for Piecewise-Stationary Cascading Bandits

abstract: Cascading bandit (CB) is a popular model for web search and online advertising, where an agent aims to learn the $K$ most attractive items out of a ground set of size $L$ during the interaction with a user. However, the stationary CB model may be too simple to apply to real-world problems, where user preferences may change over time. Considering piecewise-stationary environments, two efficient algorithms, \texttt{GLRT-CascadeUCB} and \texttt{GLRT-CascadeKL-UCB}, are developed and shown to ensure regret upper bounds on the order of $\mathcal{O}(\sqrt{NLT\log{T}})$, where $N$ is the number of piecewise-stationary segments, and $T$ is the number of time slots. At the crux of the proposed algorithms is an almost parameter-free change-point detector, the generalized likelihood ratio test (GLRT). Comparing with existing works, the GLRT-based algorithms: i) are free of change-point-dependent information for choosing parameters; ii) have fewer tuning parameters; iii) improve at least the $L$ dependence in regret upper bounds. In addition, we show that the proposed algorithms are optimal (up to a logarithm factor) in terms of regret by deriving a minimax lower bound on the order of $\Omega(\sqrt{NLT})$ for piecewise-stationary CB. The efficiency of the proposed algorithms relative to state-of-the-art approaches is validated through numerical experiments on both synthetic and real-world datasets.


title: Exceptional Sequences and Idempotent Functions

abstract: We prove that there is a one to one correspondence between the following three sets: idempotent functions on a set of size $n$, complete exceptional sequences of linear radical square zero Nakayama algebras of rank $n$ and rooted labeled forests with $n$ nodes and height of at most one. Therefore, the number of exceptional sequences is given by the sum $\sum\limits^n_{j=1}\binom{n}{j}j^{n-j}$.


title: Flavor techniques for LFV processes: Higgs decays in a general seesaw model

abstract: Lepton flavor violating processes are optimal observables to test new physics, since they are forbidden in the Standard Model while they may be generated in new theories. The usual approach to these processes is to perform the computations in the physical basis; nevertheless this may lose track of the dependence on some of the fundamental parameters, in particular on those at the origin of the flavor violation. Consequently, in order to obtain analytical expressions directly in terms of these parameters, flavor techniques are often preferred. In this work, we focus on the mass insertion approximation technique, which works with the interaction states instead of the physical ones, and provides diagrammatic expansions of the observables. After reviewing the basics of this technique with two simple examples, we apply it to the lepton flavor violating Higgs decays in the framework of a general type-I seesaw model with an arbitrary number of right-handed neutrinos. We derive an effective vertex valid to compute these observables when the right-handed neutrino masses are above the electroweak scale and show that we recover previous results obtained for low scale seesaws. Finally, we apply current constraints on the model to conclude on maximum Higgs decay rates, which unfortunately are far from current experimental sensitivities.


title: Towards the Hadron-Quark Continuity Via a Topology Change in Compact Stars

abstract: We construct a generalized EFT approach to dense compact-star matter that exploits the CCP for hadron-quark continuity at high density, hidden topology and hidden symmetries of QCD. No Landau-Ginzburg-Wilsonian-type phase transition is involved. The microscopic DoF of QCD possibly intervening at high baryonic density are traded in for fractionalized topological objects. Essential in the description are symmetries invisible in QCD in the matter-free vacuum: Scale symmetry, flavor local symmetry and parity-doubling. The partial emergence of scale symmetry is signaled by a dilatonic scalar in a "pseudo-conformal" structure. Flavor gauge symmetry manifests with the $\rho$ meson mass going toward a Wilsonian RGFP identified with the VMFP at which the gauge boson mass goes to zero. Parity doubling is to take place as the quasi-nucleon mass converges to the chiral invariant $m_0$. The theory accounts satisfactorily for all known properties of normal nuclear matter and makes certain predictions that are drastically different from what's available in the literature. In particular, it provides a topological mechanism, argued to be robust, for the cross-over from soft-to-hard EoS that predicts the star properties in overall agreement with the presently available data, including the maximum star mass $M_{max}\sim 2.3 M_\odot$ and the recent LIGO/Virgo GW data. What is most glaringly different from all other approaches known, however, is the prediction for the rapid convergence to a sound velocity of star $v_s^2\approx 1/3$ at a density $n\gsim 3 n_0$, far from the asymptotic density $\gsim 50n_0$ expected in pQCD. We interpret this to signal the onset of albeit approximate conformal symmetry in dense compact-star matter. The model developed here could bring out a new paradigm in nuclear/hadron physics, exploiting ideas in condensed matter physics, nuclear and particle physics and astrophysics.


title: Determining the Scale of Impact from Denial-of-Service Attacks in Real Time Using Twitter

abstract: Denial of Service (DoS) attacks are common in on-line and mobile services such as Twitter, Facebook and banking. As the scale and frequency of Distributed Denial of Service (DDoS) attacks increase, there is an urgent need for determining the impact of the attack. Two central challenges of the task are to get feedback from a large number of users and to get it in a timely manner. In this paper, we present a weakly-supervised model that does not need annotated data to measure the impact of DoS issues by applying Latent Dirichlet Allocation and symmetric Kullback-Leibler divergence on tweets. There is a limitation to the weakly-supervised module. It assumes that the event detected in a time window is a DoS attack event. This will become less of a problem, when more non-attack events twitter got collected and become less likely to be identified as a new event. Another way to remove that limitation, an optional classification layer, trained on manually annotated DoS attack tweets, to filter out non-attack tweets can be used to increase precision at the expense of recall. Experimental results show that we can learn weakly-supervised models that can achieve comparable precision to supervised ones and can be generalized across entities in the same industry.


title: Traffic-aware Two-stage Queueing Communication Networks: Queue Analysis and Energy Saving

abstract: To boost energy saving for the general delay-tolerant IoT networks, a two-stage and single-relay queueing communication scheme is investigated. Concretely, a traffic-aware $N$-threshold and gated-service policy are applied at the relay. As two fundamental and significant performance metrics, the mean waiting time and long-term expected power consumption are explicitly derived and related with the queueing and service parameters, such as packet arrival rate, service threshold and channel statistics. Besides, we take into account the electrical circuit energy consumptions when the relay server and access point (AP) are in different modes and energy costs for mode transitions, whereby the power consumption model is more practical. The expected power minimization problem under the mean waiting time constraint is formulated. Tight closed-form bounds are adopted to obtain tractable analytical formulae with less computational complexity. The optimal energy-saving service threshold that can flexibly adjust to packet arrival rate is determined. In addition, numerical results reveal that: 1) sacrificing the mean waiting time not necessarily facilitates power savings; 2) a higher arrival rate leads to a greater optimal service threshold; and 3) our policy performs better than the current state-of-the-art.


title: Estimating Differential Latent Variable Graphical Models with Applications to Brain Connectivity

abstract: Differential graphical models are designed to represent the difference between the conditional dependence structures of two groups, thus are of particular interest for scientific investigation. Motivated by modern applications, this manuscript considers an extended setting where each group is generated by a latent variable Gaussian graphical model. Due to the existence of latent factors, the differential network is decomposed into sparse and low-rank components, both of which are symmetric indefinite matrices. We estimate these two components simultaneously using a two-stage procedure: (i) an initialization stage, which computes a simple, consistent estimator, and (ii) a convergence stage, implemented using a projected alternating gradient descent algorithm applied to a nonconvex objective, initialized using the output of the first stage. We prove that given the initialization, the estimator converges linearly with a nontrivial, minimax optimal statistical error. Experiments on synthetic and real data illustrate that the proposed nonconvex procedure outperforms existing methods.


title: 3d-printing Identification Spaces of the Square

abstract: We describe three identification spaces of the square, interesting choices of immersion into $\mathbb{R}^3$, and a process to construct 3d-printable models of their parametrizations.


title: A Note on Posterior Probability Estimation for Classifiers

abstract: One of the central themes in the classification task is the estimation of class posterior probability at a new point $\bf{x}$. The vast majority of classifiers output a score for $\bf{x}$, which is monotonically related to the posterior probability via an unknown relationship. There are many attempts in the literature to estimate this latter relationship. Here, we provide a way to estimate the posterior probability without resorting to using classification scores. Instead, we vary the prior probabilities of classes in order to derive the ratio of pdf's at point $\bf{x}$, which is directly used to determine class posterior probabilities. We consider here the binary classification problem.


title: Typical representations via fixed point sets in Bruhat--Tits buildings

abstract: For an essentially tame supercuspidal representation $\pi$ of a connected reductive $p$-adic group $G$, we establish two distinct and complementary sufficient conditions for the irreducible components of its restriction to a maximal compact subgroup to occur in a representation of $G$ which is not inertially equivalent to $\pi$. These two results are further formulated in terms of the geometry of the Bruhat-Tits building of $G$ and its fixed points under the action of certain tori. The consequence is a set of broadly applicable tools for addressing the branching rules of $\pi$ and the unicity of $[G,\pi]_G$-types.


title: Geometric Optimization of the MATHUSLA Detector

abstract: MATHUSLA is a proposed displaced vertex detector for neutral long-lived particle decays. It was proposed with general specifications of the size of its decay volume and its location. In this study, different simplified models containing LLPs are investigated using Monte Carlo event generators, and LLP decay probability maps are generated. Specific optimal configurations for the detector are found for each model according to available land around the CMS detector. We demonstrate that the placement and dimensions of a proposed 10000 m2 engineering benchmark can be modified so that an improvement in acceptance (up to 12% more LLP decays) is observed. Also, it is found that the engineering benchmark would observe about 80% of the number of LLP decays that the earlier MATHUSLA200 physics sensitivity benchmark with four times the area would observe.


title: Efficient 2.5D Hand Pose Estimation via Auxiliary Multi-Task Training for Embedded Devices

abstract: 2D Key-point estimation is an important precursor to 3D pose estimation problems for human body and hands. In this work, we discuss the data, architecture, and training procedure necessary to deploy extremely efficient 2.5D hand pose estimation on embedded devices with highly constrained memory and compute envelope, such as AR/VR wearables. Our 2.5D hand pose estimation consists of 2D key-point estimation of joint positions on an egocentric image, captured by a depth sensor, and lifted to 2.5D using the corresponding depth values. Our contributions are two fold: (a) We discuss data labeling and augmentation strategies, the modules in the network architecture that collectively lead to $3\%$ the flop count and $2\%$ the number of parameters when compared to the state of the art MobileNetV2 architecture. (b) We propose an auxiliary multi-task training strategy needed to compensate for the small capacity of the network while achieving comparable performance to MobileNetV2. Our 32-bit trained model has a memory footprint of less than 300 Kilobytes, operates at more than 50 Hz with less than 35 MFLOPs.


abstract: The CFHT Large Area U-band Deep Survey (CLAUDS) uses data taken with the MegaCam mosaic imager on CFHT to produce images of 18.60 deg2 with median seeing of FWHM=0.92 arcsec and to a median depth of U = 27.1 AB (5 sigma in 2 arcsec apertures), with selected areas that total 1.36 deg2 reaching a median depth of U=27.7 AB. These are the deepest U-band images assembled to date over this large an area. These data are located in four fields also imaged to comparably faint levels in grizy and several narrowband filters as part of the Hyper Suprime-Cam (HSC) Subaru Strategic Program (HSC-SSP). These CFHT and Subaru datasets will remain unmatched in their combination of area and depth until the advent of the Large Synoptic Survey Telescope (LSST). This paper provides an overview of the scientific motivation for CLAUDS and gives details of the observing strategy, observations, data reduction, and data merging with the HSC-SSP. Three early applications of these deep data are used to illustrate the potential of the dataset: deep U-band galaxy number counts, z~3 Lyman break galaxy (LBG) selection, and photometric redshifts improved by adding CLAUDS U to the Subaru HSC grizy photometry.


title: Negative curves on special rational surfaces

abstract: We study negative curves on surfaces obtained by blowing up special configurations of points in the complex projective palne. Our main results concern the following configurations: very general points on a cubic, 3-torsion points on an elliptic curve and nine Fermat points. As a consequence of our analysis, we also show that the Bounded Negativity Conjecture holds for the surfaces we consider. The note contains also some problems for future attention.


title: Equilibria of plane convex bodies

abstract: We obtain a formula for the number of horizontal equilibria of a planar convex body $K$ with respect to a center of mass $O$ in terms of the winding number of the evolute of $\partial K$ with respect to $O$. The formula extends to the case where $O$ lies on the evolute of $\partial K$ and a suitably modified version holds true for non-horizontal equilibria.


title: Examples, counterexamples, and structure in bounded width algebras

abstract: We study bounded width algebras which are minimal in the sense that every proper reduct does not have bounded width. We show that minimal bounded width algebras can be arranged into a pseudovariety with one basic ternary operation. We classify minimal bounded width algebras which have size at most three, and prove a structure theorem for minimal bounded width algebras which have no majority subalgebra, which form a pseudovariety with a commutative binary operation. As a byproduct of our results, we also classify minimal clones which have a Taylor term.


title: Weak-type estimates for the Bergman projection on the polydisc and the Hartogs triangle

abstract: In this paper, we investigate the weak-type regularity of the Bergman projection. The two domains we focus on are the polydisc and the Hartogs triangle. For the polydisc we provide a proof that the weak-type behavior is of "$L\log L$" type. This result is likely known to the experts, but does not appear to be in the literature. For the Hartogs triangle we show that the operator is of weak-type $(4,4)$; settling the question of the behavior of the projection at this endpoint. At the other endpoint of interest, we show that the Bergman projection is not of weak-type $(\frac{4}{3}, \frac{4}{3})$ and provide evidence as to what the correct behavior at this endpoint might be.


title: Compound Sequential Change-point Detection in Parallel Data Streams

abstract: We consider sequential change-point detection in parallel data streams, where each stream has its own change point. Once a change is detected in a data stream, this stream is deactivated permanently. The goal is to maximize the normal operation of the pre-change streams, while controlling the proportion of post-change streams among the active streams at all time points. Taking a Bayesian formulation, we develop a compound decision framework for this problem. A procedure is proposed that is uniformly optimal among all sequential procedures which control the expected proportion of postchange streams at all time points. We also investigate the asymptotic behavior of the proposed method when the number of data streams grows large. Numerical examples are provided to illustrate the use and performance of the proposed method.


title: Perceptual Image Anomaly Detection

abstract: We present a novel method for image anomaly detection, where algorithms that use samples drawn from some distribution of "normal" data, aim to detect out-of-distribution (abnormal) samples. Our approach includes a combination of encoder and generator for mapping an image distribution to a predefined latent distribution and vice versa. It leverages Generative Adversarial Networks to learn these data distributions and uses perceptual loss for the detection of image abnormality. To accomplish this goal, we introduce a new similarity metric, which expresses the perceived similarity between images and is robust to changes in image contrast. Secondly, we introduce a novel approach for the selection of weights of a multi-objective loss function (image reconstruction and distribution mapping) in the absence of a validation dataset for hyperparameter tuning. After training, our model measures the abnormality of the input image as the perceptual dissimilarity between it and the closest generated image of the modeled data distribution. The proposed approach is extensively evaluated on several publicly available image benchmarks and achieves state-of-the-art performance.


title: Atomic hydrogen in star-forming galaxies at intermediate redshifts

abstract: We have used the upgraded Giant Metrewave Radio Telescope to carry out a deep (117 on-source hours) L-band observation of the Extended Groth Strip, to measure the average neutral hydrogen (HI) mass and median star formation rate (SFR) of star-forming galaxies, as well as the cosmic HI mass density, at $0.2 < z < 0.4$. This was done by stacking the HI 21cm emission and the rest-frame 1.4 GHz radio continuum from 445 blue star-forming galaxies with $\rm M_B \leq -17$ at $z_{\rm mean} \approx 0.34$. The stacked HI 21cm emission signal is detected at $\approx 7\sigma$ significance, implying an average HI mass of $\rm \langle M_{HI} \rangle = (4.93 \pm 0.70) \times 10^9 \: M_{\odot}$. We also stacked the rest-frame 1.4 GHz radio continuum emission of the same galaxies, to obtain a median SFR of $(0.54 \pm 0.06) \: {\rm M}_\odot$ yr$^{-1}$; this implies an average atomic gas depletion time scale of $\rm \langle \Delta t_{HI}\rangle \approx$ 9 Gyr, consistent with values in star-forming galaxies in the local Universe. This indicates that the star-formation efficiency does not change significantly over the redshift range $0 - 0.4$. We used the detection of the stacked HI 21cm emission signal to infer the normalized cosmic HI mass density $(\rm \rho_{HI}/\rho_{c,0})$ in star-forming galaxies at $z \approx 0.34$. Assuming the local relation between HI mass and absolute B-magnitude, we obtain $\rm \rho_{HI}/\rho_{c,0} = (4.81 \pm 0.75) \times 10^{-4}$, implying no significant evolution in $\rm \rho_{HI}/\rho_{c,0}$ from $z \approx 0.4$ to the present epoch.


title: Shadowing the rotating annulus. Part II: Gradient descent in the perfect model scenario

abstract: Shadowing trajectories are model trajectories consistent with a sequence of observations of a system, given a distribution of observational noise. The existence of such trajectories is a desirable property of any forecast model. Gradient descent of indeterminism is a well-established technique for finding shadowing trajectories in low-dimensional analytical systems. Here we apply it to the thermally-driven rotating annulus, a laboratory experiment intermediate in model complexity and physical idealisation between analytical systems and global, comprehensive atmospheric models. We work in the perfect model scenario using the MORALS model to generate a sequence of noisy observations in a chaotic flow regime. We demonstrate that the gradient descent technique recovers a pseudo-orbit of model states significantly closer to a model trajectory than the initial sequence. Gradient-free descent is used, where the adjoint model is set to $\lambda$I in the absence of a full adjoint model. The indeterminism of the pseudo-orbit falls by two orders of magnitude during the descent, but we find that the distance between the pseudo-orbit and the initial, true, model trajectory reaches a minimum and then diverges from truth. We attribute this to the use of the $\lambda$-adjoint, which is well suited to noise reduction but not to finely-tuned convergence towards a model trajectory. We find that $\lambda=0.25$ gives optimal results, and that candidate model trajectories begun from this pseudo-orbit shadow the observations for up to 80 s, about the length of the longest timescale of the system, and similar to expected shadowing times based on the distance between the pseudo-orbit and the truth. There is great potential for using this method with real laboratory data.

categories: physics.data-an math.DS nlin.CD physics.ao-ph physics.flu-dyn


title: Second order linear differential equations with analytic uncertainties: stochastic analysis via the computation of the probability density function

abstract: This paper concerns the analysis of random second order linear differential equations. Usually, solving these equations consists of computing the first statistics of the response process, and that task has been an essential goal in the literature. A more ambitious objective is the computation of the solution probability density function. We present advances on these two aspects in the case of general random non-autonomous second order linear differential equations with analytic data processes. The Fr\"obenius method is employed to obtain the stochastic solution in the form of a mean square convergent power series. We demonstrate that the convergence requires the boundedness of the random input coefficients. Further, the mean square error of the Fr\"obenius method is proved to decrease exponentially with the number of terms in the series, although not uniformly in time. Regarding the probability density function of the solution at a given time, we rely on the law of total probability to express it in closed-form as an expectation. For the computation of this expectation, a sequence of approximating density functions is constructed by reducing the dimensionality of the problem using the truncated power series of the fundamental set. We prove several theoretical results regarding the pointwise convergence of the sequence of density functions and the convergence in total variation. The pointwise convergence turns out to be exponential under a Lipschitz hypothesis. As the density functions are expressed in terms of expectations, we propose a symbolic Monte Carlo sampling algorithm for their estimation. This algorithm is implemented and applied on several numerical examples designed to illustrate the theoretical findings of the paper.


title: Neurological Nature of Vision and Thought and Mechanisms of Perception Experiences

abstract: Understanding of the phenomena of vision and thought require clarification of the general mechanism of perception. So far, philosophical inquiries and scientific investigations have not been able to address clearly the mysteries surrounding them. The present work is an attempt to unravel the essences of these phenomenal based on the presumption of computational brain. Within this context, the natures of thought is clarified, and the basis of the experience of perception is established. And by drawing from the successes of the developed tactile vision substitution systems (TVSS), which render some measure of vision,in vision handicapped persons, early or congenital blinds, the true nature of vision as cutaneous sensations is also divulged. The mechanism of perception involves sensing of the stimuli, and autonomous engagement of brain neuronal complexity resolution patterns; that is the brain implicit embedded computational instructions. Upon commencement of the triggers, brain computations, which aso involve engaging body's biophysical feedback system, are performed; and the results are outputted as motor signals that render the realization of perception. However, this requires deployment of a perception medium; an interface. Given the nature of efferent signals, there must be a (known) bio-mechanical system interface, other than the body muscle and skeletal system, which performs the needed function: Considering the fact that the vocal system performs such task for verbalization of brain's synthesis of language, the possibility of its further role in the experience of thought and vision, in the form of mostly quiet (inaudible) recital of the related motor signals, is suggested.


title: Mental Stress: Source of Neurological Degeneration; Case of MS

abstract: Mental stress is a vague though familiar concept that accounts for an agency of the good, the bad and the ugly, that operates in the brains of animated beings, in response to environmental stressors. In this work, we provide evidence for correlation of stressors with afflictions of MS throughout the world, and put forward arguments in support of the fact that stressors can render disruptions in the normal computational processes of the brain, defining the innards of the mental stress, which in turn may lead to the onset of physiologic adversities in the biologic systems, possibly rendering various diseases, even one as MS. While the real cause of the disease is still not known, major focus is put on the treatment of MS symptoms, aiming to slow down its progress and to reduce the frequency of attacks. In this effort we establish the link between MS and mental stress, through analyses of various aspects of statistics of prevalence and incidence, available in the literature [3-5], which lends itself to opening up of additional treatment possibilities that could be used separate of, or conjunctively with, the medical approaches. On a grander scale, publicizing the adverse workings of the mental stress and its evils can attain statistical gains, in the incidence reduction.


title: Brain Neurological Constructs: The Neuronal Computational Schemes for Resolution of Life's Complexities

abstract: For complex life to evolve, a sophisticated nervous system for handling its complexities was fundamental. The demand resulted in the emergence of brain's computational facility, the neuronal network. This facet of the brain is attested solidly by its inspired scientific computational neural nets which (mathematically) resolve and solve many complex problems. The presumptive general semblance of the computational operation between the two systems allows for the inference that the process in brain's neural domain also renders complexities for solution, as sets of parametric equations, like the basic implicit algorithmic formalisms underlying the operations of the scientific neural nets. This parallel is based on the fact that such devices resolve complex problems for which no declarative logical formulation is deployed. The mathematically resolved neural net problem formalism also resembled that of any theoretically known and formulated complexities which are algorithmized, in their discretized solution domains, within the context of initial and boundary value problems for direct or iterative solution by computers. The brain neuronal net algorithmization of complexities delineate the governing equations of life and living, solutions of which are achieved by trial and error learning, deploying rest of the nervous system and other faculties of living beings. The computational operations of the brain delineate two mental states: consciousness and the unconscious; the aware and unaware states which describes the interactive living processes involved in charting life's path.


title: Investigating the link between proton reaction cross sections and the quenching of proton spectroscopic factors in $^{48}$Ca

abstract: The nucleon self-energies of $^{40}$Ca and $^{48}$Ca are determined using a nonlocal dispersive optical model (DOM). By enforcing the dispersion relation connecting the real and imaginary part of the self-energy, scattering and structure data are used to constrain these self-energies. The ability to calculate both bound and scattering states simultaneously puts these self-energies in a unique position to consistently describe exclusive knockout reactions such as $(e,e'p)$. The present analysis reveals the importance of high-energy proton reaction cross-section data in constraining spectroscopic factors required for the description of the $(e,e'p)$ cross sections. In particular, it is imperative that high-energy proton reaction cross-section data are measured for $^{48}$Ca in the near future so that the quenching of the spectroscopic factors in the $^{48}$Ca$(e,e'p)^{47}$K reaction can be unambiguously constrained using the DOM. Measurements of proton reaction cross sections in inverse kinematics employing rare isotope beams with large neutron excess will provide corresponding constraints on proton spectroscopic factors for exotic nuclei. Moreover, DOM generated spectral functions indicate that the quenching of spectroscopic factors compared to $^{40}$Ca is not only due to long-range correlation, but also partly due to the increase in high-momentum protons in $^{48}$Ca on account of the strong neutron-proton interaction. Single-particle momentum distributions of protons and neutrons in $^{48}$Ca calculated from these spectral functions confirm that neutron excess causes a higher fraction of high-momentum protons than neutrons.


title: Joint Inference of Reward Machines and Policies for Reinforcement Learning

abstract: Incorporating high-level knowledge is an effective way to expedite reinforcement learning (RL), especially for complex tasks with sparse rewards. We investigate an RL problem where the high-level knowledge is in the form of reward machines, i.e., a type of Mealy machine that encodes the reward functions. We focus on a setting in which this knowledge is a priori not available to the learning agent. We develop an iterative algorithm that performs joint inference of reward machines and policies for RL (more specifically, q-learning). In each iteration, the algorithm maintains a hypothesis reward machine and a sample of RL episodes. It derives q-functions from the current hypothesis reward machine, and performs RL to update the q-functions. While performing RL, the algorithm updates the sample by adding RL episodes along which the obtained rewards are inconsistent with the rewards based on the current hypothesis reward machine. In the next iteration, the algorithm infers a new hypothesis reward machine from the updated sample. Based on an equivalence relationship we defined between states of reward machines, we transfer the q-functions between the hypothesis reward machines in consecutive iterations. We prove that the proposed algorithm converges almost surely to an optimal policy in the limit if a minimal reward machine can be inferred and the maximal length of each RL episode is sufficiently long. The experiments show that learning high-level knowledge in the form of reward machines can lead to fast convergence to optimal policies in RL, while standard RL methods such as q-learning and hierarchical RL methods fail to converge to optimal policies after a substantial number of training steps in many tasks.


title: First Constraint on Coherent Elastic Neutrino-Nucleus Scattering in Argon

abstract: Coherent elastic neutrino-nucleus scattering (CEvNS) is the dominant neutrino scattering channel for neutrinos of energy $E_\nu < 100$ MeV. We report a limit for this process using data collected in an engineering run of the 29 kg CENNS-10 liquid argon detector located 27.5 m from the Oak Ridge National Laboratory Spallation Neutron Source (SNS) Hg target with $4.2\times 10^{22}$ protons on target. The dataset yielded $< 7.4$ observed CEvNS events implying a cross section for the process, averaged over the SNS pion decay-at-rest flux, of $<3.4 \times 10^{-39}$ cm$^{2}$, a limit within twice the Standard Model prediction. This is the first limit on CEvNS from an argon nucleus and confirms the earlier CsI non-standard neutrino interaction constraints from the collaboration. This run demonstrated the feasibility of the ongoing experimental effort to detect CEvNS with liquid argon.


title: Local Solutions of the Landau Equation with Rough, Slowly Decaying Initial Data

abstract: We consider the Cauchy problem for the spatially inhomogeneous Landau equation with soft potentials in the case of large (i.e. non-perturbative) initial data. We construct a solution for any bounded, measurable initial data with uniform polynomial decay in the velocity variable, and that satisfies a technical lower bound assumption (but can have vacuum regions). For uniqueness in this weak class, we have to make the additional assumption that the initial data is H\"older continuous. Our hypotheses are much weaker, in terms of regularity and decay, than previous large-data well-posedness results in the literature. We also derive a continuation criterion for our solutions that is, for the case of very soft potentials, an improvement over the previous state of the art.


title: Uncovering the effects of interface-induced ordering of liquid on crystal growth using machine learning

abstract: The process of crystallization is often understood in terms of the fundamental microstructural elements of the crystallite being formed, such as surface orientation or the presence of defects. Considerably less is known about the role of the liquid structure on the kinetics of crystal growth. Here atomistic simulations and machine learning methods are employed together to demonstrate that the liquid adjacent to solid-liquid interfaces presents significant structural ordering, which effectively reduces the mobility of atoms and slows down the crystallization kinetics. Through detailed studies of silicon and copper we discover that the extent to which liquid mobility is affected by interface-induced ordering (IIO) varies greatly with the degree of ordering and nature of the adjacent interface. Physical mechanisms behind the IIO anisotropy are explained and it is demonstrated that incorporation of this effect on a physically-motivated crystal growth model enables the quantitative prediction of the growth rate temperature dependence.


title: The Galactic Bulge Diffuse Emission in Broad-Band X-rays with NuSTAR

abstract: The diffuse hard X-ray emission that fills the Galactic center, bulge, and ridge is believed to arise from unresolved populations of X-ray binary systems. However, the identity of the dominant class of accreting objects in each region remains unclear. Recent studies of Fe line properties and the low-energy (<10 keV) X-ray continuum of the bulge indicate a major population fraction of non-magnetic cataclysmic variables (CVs), in particular quiescent dwarf novae. This is in contrast to previous high-energy (>10 keV) X-ray measurements of the bulge and ridge, which indicate a dominant population of magnetic CVs, in particular intermediate polars. In addition, NuSTAR broad-band measurements have uncovered a much heavier intermediate polar population in the central ~100 pc than previously assumed, raising the possibility that some fraction of this population extends further from the center. Here we use NuSTAR's large aperture for unfocused photons and its broad-band X-ray range to probe the diffuse continuum of the inner ~1-3$^\circ$ of the Galactic bulge. This allows us to constrain possible multi-temperature components of the spectrum, such as could indicate a mixture of soft and hard populations. Our emissivity is consistent with previous hard X-ray measurements in the bulge and ridge, with the diffuse X-ray luminosity tracing the stellar mass. The spectrum is well-described by a single-temperature thermal plasma with $kT \approx 8$ keV, with no significant emission above 20 keV. This supports that the bulge is dominated by quiescent dwarf novae; we find no evidence of a significant intermediate polar population in the hard X-ray band.


title: A method for Cloud Mapping in the Field of View of the Infra-Red Camera during the EUSO-SPB1 flight

abstract: EUSO-SPB1 was released on April 24th, 2017, from the NASA balloon launch site in Wanaka (New Zealand) and landed on the South Pacific Ocean on May 7th. The data collected by the instruments onboard the balloon were analyzed to search UV pulse signatures of UHECR (Ultra High Energy Cosmic Rays) air showers. Indirect measurements of UHECRs can be affected by cloud presence during nighttime, therefore it is crucial to know the meteorological conditions during the observation period of the detector. During the flight, the onboard EUSO-SPB1 UCIRC camera (University of Chicago Infra-Red Camera), acquired images in the field of view of the UV telescope. The available nighttime and daytime images include information on meteorological conditions of the atmosphere observed in two infra-red bands. The presence of clouds has been investigated employing a method developed to provide a dense cloudiness map for each available infra-red image. The final masks are intended to give pixel cloudiness information at the IR-camera pixel resolution that is nearly 4-times higher than the one of the UV-camera. In this work, cloudiness maps are obtained by using an expert system based on the analysis of different low-level image features. Furthermore, an image enhancement step was needed to be applied as a preprocessing step to deal with uncalibrated data.


title: Coherent control of nonlinear mode transitions in Bose-Einstein condensates

abstract: We investigate the formation of non-ground-state Bose-Einstein condensates within the mean-field description represented by the Gross-Pitaevskii equation (GPE). The objective is to form excited states of a condensate known as nonlinear topological modes, which are stationary solutions of the GPE. Nonlinear modes can be generated by modulating either the trapping potential or the atomic scattering length. We show that it is possible to coherently control the transitions to excited nonlinear modes by manipulating the relative phase of the modulations. In addition, we show that the use of both modulations can modify the speed of the transitions. In our analysis, we employ approximate analytical techniques, including a perturbative treatment, and numerical calculations for the GPE. Our study evidences that the coherent control of the GPE presents novel possibilities which are not accessible for the Schr\"odinger equation.


title: Hard X-ray Fluorescence measurements with TESs at the Advanced Photon Source

abstract: Transition Edge Sensor (TES) spectrometers for hard X-ray beamline science will enable improved X-ray emission and absorption spectroscopy in the information-rich 2 to 20 keV energy range. We are building a TES-based instrument for the Advanced Photon Source (APS) synchrotron, to be made available to beamline users. 24-pixel prototype arrays have recently been fabricated and tested. The first spectroscopy measurements using these arrays are promising, with a best single-pixel energy resolution of 11.2 eV and saturation energy > 20 keV. We present a series of recent X-ray Fluorescence measurements involving transition metal elements and multi-element samples with closely spaced emission lines, in particular a Cu-Ni-Co thin film and a foil of Cu and Hf. The TES-measured spectra are directly compared to spectra measured with silicon drift detectors at an APS beamline, demonstrating the improved X-ray science made possible by TES spectrometers.


title: The Adjunction Inequality for Weyl-Harmonic Maps

abstract: In this paper we study an analog of minimal surfaces called Weyl-minimal surfaces in conformal manifolds with a Weyl connection $(M^4,c,D)$. We show that there is an Eells-Salamon type correspondence between nonvertical $\mathcal{J}$-holomorphic curves in the weightless twistor space and branched Weyl-minimal surfaces. When $(M,c,J)$ is conformally almost-Hermitian, there is a canonical Weyl connection. We show that for the canonical Weyl connection, branched Weyl-minimal surfaces satisfy the adjunction inequality \begin{equation}\label{adj} \chi(T_f\Sigma)+\chi(N_f\Sigma) \le \pm c_1(f^*T^{(1,0)}M). \end{equation} The $\pm J$-holomorphic curves are automatically Weyl-minimal and satisfy the corresponding equality.


title: Towards Model-Agnostic Adversarial Defenses using Adversarially Trained Autoencoders

abstract: Adversarial machine learning is a well-studied field of research where an adversary causes predictable errors in a machine learning algorithm through precise manipulation of the input. Numerous techniques have been proposed to harden machine learning algorithms and mitigate the effect of adversarial attacks. Of these techniques, adversarial training, which augments the training data with adversarial samples, has proven to be an effective defense with respect to a certain class of attacks. However, adversarial training is computationally expensive and its improvements are limited to a single model. In this work, we take a first step toward creating a model-agnostic adversarial defense. We propose Adversarially-Trained Autoencoder Augmentation (AAA), the first model-agnostic adversarial defense that is robust against certain adaptive adversaries. We show that AAA allows us to achieve a partially model-agnostic defense by training a single autoencoder to protect multiple pre-trained classifiers; achieving adversarial performance on par or better than adversarial training without modifying the classifiers. Furthermore, we demonstrate that AAA can be used to create a fully model-agnostic defense for MNIST and Fashion MNIST datasets by improving the adversarial performance of a never before seen pre-trained classifier by at least 45% with no additional training. Finally, using a natural image corruption dataset, we show that our approach improves robustness to naturally corrupted images,which has been identified as strongly indicative of true adversarial robustness.


title: Monte Carlo Approximation of Bayes Factors via Mixing with Surrogate Distributions

abstract: By mixing the target posterior distribution with a surrogate distribution, of which the normalizing constant is tractable, we propose a method for estimating the marginal likelihood using the Wang-Landau algorithm. We show that a faster convergence of the proposed method can be achieved via the momentum acceleration. Two implementation strategies are detailed: (i) facilitating global jumps between the posterior and surrogate distributions via the Multiple-try Metropolis; (ii) constructing the surrogate via the variational approximation. When a surrogate is difficult to come by, we describe a new jumping mechanism for general reversible jump Markov chain Monte Carlo algorithms, which combines the Multiple-try Metropolis and a directional sampling algorithm. We illustrate the proposed methods on several statistical models, including the Log-Gaussian Cox process, the Bayesian Lasso, the logistic regression, and the g-prior Bayesian variable selection.


title: Constraints on the spectral index of polarized synchrotron emission from WMAP and Faraday-corrected S-PASS data

abstract: We constrain the spectral index of polarized synchrotron emission, $\beta_s$, by correlating the recently released 2.3 GHz S-Band Polarization All Sky Survey (S-PASS) data with the 23 GHz 9-year Wilkinson Microwave Anisotropy Probe (WMAP) sky maps. We subdivide the S-PASS field, which covers the southern ecliptic hemisphere, into 95 $15^{\circ}\times15^{\circ}$ regions and estimate the spectral index of polarized synchrotron emission within each region using a simple but robust T-T plot technique. Three different versions of the S-PASS data are considered, corresponding to: no correction for Faraday rotation; Faraday correction based on the rotation measure model presented by the S-PASS team; or Faraday correction based on a rotation measure model presented by Hutschenreuter and En{\ss}lin. We find that the correlation between S-PASS and WMAP is strongest when applying the S-PASS model. Adopting this correction model, we find that the mean spectral index of polarized synchrotron emission gradually steepens from $\beta_s\approx-2.8$ at low Galactic latitudes to $\beta_s\approx-3.3$ at high Galactic latitudes, in good agreement with previously published results. Finally, we consider two special cases defined by the BICEP2 and SPIDER fields and obtain mean estimates of $\beta_{BICEP2}=-3.22\pm0.06$ and $\beta_{SPIDER}=-3.21\pm0.03$, respectively. A comparison with a similar analysis performed in the 23-33 GHz range suggests a flattening of about $\Delta\beta_s \sim 0.1 \pm 0.2$ from low to higher frequencies, but with no statistical significance due to high uncertainties.


title: Bidirectional Sequential Motion Planning

abstract: We define a simpler notion of symmetric topological complexity more ad hoc to the motion planning problem which was the original motivation for the definition of topological complexity. This is a homotopy invariant that we call bidirectional topological complexity. We prove properties of this invariant and show specific instances for which the symmetrized topological complexity can be relaxed to the bidirectional setting. This approach allows us to estimate higher values of symmetrized topological complexities.


title: Geometry of the parameter space of a quantum system: Classical point of view

abstract: The local geometry of the parameter space of a quantum system is described by the quantum metric tensor and the Berry curvature, which are two fundamental objects that play a crucial role in understanding geometrical aspects of condensed matter physics. We consider classical integrable systems and report a new approach to obtain the classical analogs of the quantum metric tensor and the Berry curvature. An advantage of this approach is that it can be applied to a wide variety of classical systems corresponding to quantum systems with bosonic and fermionic degrees of freedom. Our approach arises from the semiclassical approximation of the Berry curvature and the quantum metric tensor in the Lagrangian formalism. We also exploit this semiclassical approximation to establish, for the first time, the relation between the quantum metric tensor and its classical counterpart. We illustrate and validate our approach by applying it to five systems: the generalized harmonic oscillator, the symmetric and linearly coupled harmonic oscillators, the singular Euclidean oscillator, and a spin-half particle in a magnetic field. Finally, we mention some potential applications of this approach and possible generalizations that can be of interest in the field of condensed matter physics


title: Encoding Visual Attributes in Capsules for Explainable Medical Diagnoses

abstract: Convolutional neural network based systems have largely failed to be adopted in many high-risk application areas, including healthcare, military, security, transportation, finance, and legal, due to their highly uninterpretable "black-box" nature. Towards solving this deficiency, we teach a novel multi-task capsule network to improve the explainability of predictions by embodying the same high-level language used by human-experts. Our explainable capsule network, X-Caps, encodes high-level visual object attributes within the vectors of its capsules, then forms predictions based solely on these human-interpretable features. To encode attributes, X-Caps utilizes a new routing sigmoid function to independently route information from child capsules to parents. Further, to provide radiologists with an estimate of model confidence, we train our network on a distribution of expert labels, modeling inter-observer agreement and punishing over/under confidence during training, supervised by human-experts' agreement. X-Caps simultaneously learns attribute and malignancy scores from a multi-center dataset of over 1000 CT scans of lung cancer screening patients. We demonstrate a simple 2D capsule network can outperform a state-of-the-art deep dense dual-path 3D CNN at capturing visually-interpretable high-level attributes and malignancy prediction, while providing malignancy prediction scores approaching that of non-explainable 3D CNNs. To the best of our knowledge, this is the first study to investigate capsule networks for making predictions based on radiologist-level interpretable attributes and its applications to medical image diagnosis. Code is publicly available at https://github.com/lalonderodney/X-Caps .


title: Detection of a 50 degree-long Trailing Tidal Tail for the Globular Cluster M5

abstract: Using photometry and proper motions from Gaia Data Release 2, we detect a 50 degree-long stream of about 70 stars extending westward from the halo globular cluster M5. Based on the similarities in distance, proper motions, inferred color-magnitude distribution, and trajectory, we identify this stream as the trailing tidal tail of M5. While the surface density of stars is very low (~1.5 stars per square degree, or approximately 35 magnitudes per square arcsecond), selecting only stars having proper motions consistent with the orbit of the cluster yield a detection significance ~10 sigma. While we find a possible continuation of the stream to ~85 degrees, increasing foreground contamination combined with a greater predicted stream distance make it difficult to detect with current data even if the stream continues unabated. The non-uniform distribution of stars in the stream appears to be consistent with episodic tidal stripping, with the most recently shed stars now trailing the cluster by tens of degrees. We provide a table of the highest-ranked candidate stream stars for ongoing and future spectroscopic surveys.


title: Group velocity distribution and short-pulse dispersion in a disordered transverse Anderson localization optical waveguide

abstract: We investigate the group velocity distribution of waveguide modes in the presence of disorder. The results are based on extensive numerical simulations of disordered optical waveguides using statistical methods. We observe that the narrowest distribution of group velocities is obtained in the presence of a small amount of disorder; therefore, the modal dispersion of an optical pulse is minimized when there is only a slight disorder in the waveguide. The absence of disorder or the presence of a large amount of disorder can result in a large modal dispersion due to the broadening of the distribution of the group velocities. We devise a metric that can be applied to the mode group index probability-density-function and predict the optimal level of disorder that results in the lowest amount of modal dispersion for short pulse propagation. Our results are important for studying the propagation of optical pulses in the linear regime, e.g., for optical communications; and the nonlinear regime for high-power short-pulse propagation.


title: Refinement invariance of intersection (co)homologies

abstract: We study the refinement invariance of several intersection (co)homologies existing in the literature. These (co)homologies have been introduced in order to establish the Poincar\'e Duality in variousl contexts. We found the classical topological invariance of the intersection homology and also various refinement invariance results already proved.


title: Age of Information Aware Cache Updating with File- and Age-Dependent Update Durations

abstract: We consider a system consisting of a library of time-varying files, a server that at all times observes the current version of all files, and a cache that at the beginning stores the current versions of all files but afterwards has to update %fresh versions of these files from the server. Unlike previous works, the update duration is not constant but depends on the file and its Age of Information (AoI), i.e., of the time elapsed since it was last updated. The goal of this work is to design an update policy that minimizes the average AoI of all files with respect to a given popularity distribution. Actually a relaxed problem, close to the original optimization problem, is solved and a practical update policy is derived. The update policy relies on the file popularity and on the functions that characterize the update durations of the files depending on their AoI. Numerical simulations show a significant improvement of this new update policy compared to the so-called square-root policy that is optimal under file-independent and constant update durations.


title: Associating the Invariant Subspaces of a Non-Normal Matrix with Transient Effects in its Matrix Exponential or Matrix Powers

abstract: It is well known that the matrix exponential of a non-normal matrix can exhibit transient growth even when all eigenvalues of the matrix have negative real part, and similarly for the powers of the matrix when all eigenvalues have magnitude less than 1. Established conditions for the existence of these transient effects depend on properties of the entire matrix, such as the Kreiss constant, and can be laborious to use in practice. In this work we develop a relationship between the invariant subspaces of the matrix and the existence of transient effects in the matrix exponential or matrix powers. Analytical results are obtained for two-dimensional invariant subspaces and Jordan subspaces, with the former causing transient effects when the angle between the subspace's constituent eigenvectors is sufficiently small. In addition to providing a finer-grained understanding of transient effects in terms of specific invariant subspaces, this analysis also enables geometric interpretations for the transient effects.


title: The holographic vortex lattice using the circular cell method

abstract: We investigate vortex lattice solutions in a holographic superconductor model in asymptotically $AdS_4$ spacetime which includes the gravitational backreaction of the vortex. The circular cell approximation, which is known to give a good result for several physical quantities in the Ginzburg-Landau model, is used. The critical magnetic fields and the magnetization curve are computed. The vortex lattice profiles are compared to expectations from the Abrikosov solution in the regime nearby the upper critical magnetic field $H_{2c}$ for which superconductivity is lost.


title: A local Langlands parameterization for generic supercuspidal representations of $p$-adic $G_2$

abstract: We construct a Langlands parameterization of supercuspidal representations of $G_2$ over a $p$-adic field. More precisely, for any finite extension $K / \QQ_p$ we will construct a bijection \[ \CL_g : \CA^0_g(G_2,K) \rightarrow \CG^0(G_2,K) \] from the set of generic supercuspidal representations of $G_2(K)$ to the set of irreducible continuous homomorphisms $\rho : W_K \to G_2(\CC)$ with $W_K$ the Weil group of $K$. The construction of the map is simply a matter of assembling arguments that are already in the literature, together with a previously unpublished theorem of G. Savin on exceptional theta correspondences, included as an appendix. The proof that the map is a bijection is arithmetic in nature, and specifically uses automorphy lifting theorems. These can be applied thanks to a recent result of Hundley and Liu on automorphic descent from $GL(7)$ to $G_2$.


title: Star clusters in the dwarf irregular galaxy Leo A

abstract: Leo A is an isolated gas-rich dwarf irregular galaxy of low stellar mass and metallicity residing at the outskirts of the Local Group. Ages of the stellar populations in Leo A range from $\sim$10 Myr to $\sim$10 Gyr. So far, only one star cluster has been discovered in this galaxy. Our aim is to search for star cluster candidates in the Leo A galaxy. We performed photometry of star-like objects on HST ACS archive observation frames in the $F475W$ and $F814W$ passbands and studied the spatial clustering of the Leo A stars down to the turn-off point of the old stellar populations. We report the discovery of four star clusters in the Leo A galaxy. This means that now a sample of five star clusters is known in Leo A. Two clusters are of a young age ($\sim$20 Myr; overlapping with HII regions) and low in mass ($\gtrsim$400 M$_\odot$ and $\gtrsim$150 M$_\odot$), the other three clusters are older ($\gtrsim$100 Myr) and also of low mass ($\gtrsim$300 M$_\odot$). These rough estimates are made assuming the isochrones of a metallicity derived for HII regions ($Z=0.0007$). Colour-magnitude diagrams of the stars residing in the circular areas of a 2.5arcsec radius around the clusters and integrated aperture photometry results of the clusters are presented.


title: Prediction of many-electron wavefunctions using atomic potentials: extended basis sets and molecular dissociation

abstract: A one-electron Schroedinger equation based on special one-electron potentials for atoms is shown to exist that produces orbitals for an arbitrary molecule that are sufficiently accurate to be used without modification to construct single- and multi-determinant wavefunctions. The exact Hamiltonian is used to calculate the energy variationally and to generate configuration interaction expansions. Earlier work on equilibrium geometries is extended to larger basis sets and molecular dissociation. For a test set of molecules representing different bonding environments, a single set of invariant atomic potentials gives wavefunctions with energies that deviate from configuration interaction energies based on SCF orbitals by less than 0.04 eV per bond or valence electron pair. On a single diagonalization of the Fock matrix, the corresponding errors are reduced 0.01 eV. Atomization energies are also in good agreement with CI values based on canonical SCF orbitals. Configuration interaction applications to single bond dissociations of water and glycine, and multiple bond dissociations of ethylene and oxygen produce dissociation energy curves in close agreement with CI calculations based on canonical SCF orbitals for the entire range of internuclear distances.


title: Magnetostrictively induced stationary entanglement between two microwave fields

abstract: We present a scheme to entangle two microwave fields by using the nonlinear magnetostrictive interaction in a ferrimagnet. The magnetostrictive interaction enables the coupling between a magnon mode (spin wave) and a mechanical mode in the ferrimagnet, and the magnon mode simultaneously couples to two microwave cavity fields via the magnetic dipole interaction. The magnon-phonon coupling is enhanced by directly driving the ferrimagnet with a strong red-detuned microwave field, and the driving photons are scattered onto two sidebands induced by the mechanical motion. We show that two cavity fields can be prepared in a stationary entangled state if they are respectively resonant with two mechanical sidebands. The present scheme illustrates a new mechanism for creating entangled states of optical fields, and enables potential applications in quantum information science and quantum tasks that require entangled microwave fields.


title: Grid diagrams as tools to investigate knot spaces and topoisomerase-mediated simplification of DNA topology

abstract: Grid diagrams with their relatively simple mathematical formalism provide a convenient way to generate and model projections of various knots. It has been an open question whether these 2D diagrams can be used to model a complex 3D process such as the topoisomerase-mediated preferential unknotting of DNA molecules. We model here topoisomerase-mediated passages of double-stranded DNA segments through each other using the formalism of grid diagrams. We show that this grid diagram-based modelling approach captures the essence of the preferential unknotting mechanism, based on topoisomerase selectivity of hooked DNA juxtapositions as the sites of intersegmental passages. We show that grid diagram-based approach provide an important, new and computationally convenient framework for investigating entanglement in biopolymers.


title: On the Rank-$1$ convex hull of a set arising from a hyperbolic system of Lagrangian elasticity

abstract: We address the questions (P1), (P2) asked in Kirchheim-M\"{u}ller-\v{S}ver\'{a}k (2003) concerning the structure of the Rank-$1$ convex hull of a submanifold $\mathcal{K}_1\subset M^{3\times 2}$ that is related to weak solutions of the two by two system of Lagrangian equations of elasticity studied by DiPerna (1985) with one entropy augmented. This system serves as a model problem for higher order systems for which there are only finitely many entropies. The Rank-$1$ convex hull is of interest in the study of solutions via convex integration: the Rank-$1$ convex hull needs to be sufficiently non-trivial for convex integration to be possible. Such non-triviality is typically shown by embedding a $\mathbb{T}_4$ (Tartar square) into the set. We show that in the strictly hyperbolic, genuinely nonlinear case considered by DiPerna (1985), no $\mathbb{T}_4$ configuration can be embedded into $\mathcal{K}_1$.


title: On the entropy norm on $Ham(S^2)$

abstract: In this note we prove that for each positive integer $m$ there exists a bi-Lipschitz embedding $Z^m\to Ham(S^2)$, where $Ham(S^2)$ is equipped with the entropy metric. In particular, the same result holds when the entropy metric is substituted with the autonomous metric.


title: The Urban Observatory: a Multi-Modal Imaging Platform for the Study of Dynamics in Complex Urban Systems

abstract: We describe an "Urban Observatory" facility designed for the study of complex urban systems via persistent, synoptic, and granular imaging of dynamical processes in cities. An initial deployment of the facility has been demonstrated in New York City and consists of a suite of imaging systems - both broadband and hyperspectral - sensitive to wavelengths from the visible (~400 nm) to the infrared (~13 micron) operating at cadences of ~0.01 - 30 Hz (characteristically ~0.1 Hz). Much like an astronomical survey, the facility generates a large imaging catalog from which we have extracted observables (e.g., time-dependent brightnesses, spectra, temperatures, chemical species, etc.), collecting them in a parallel source catalog. We have demonstrated that, in addition to the urban science of cities as systems, these data are applicable to a myriad of domain-specific scientific inquiries related to urban functioning including energy consumption and end use, environmental impacts of cities, and patterns of life and public health. We show that an Urban Observatory facility of this type has the potential to improve both a city's operations and the quality of life of its inhabitants.


title: On the uniqueness of Schwarzschild-de Sitter spacetime

abstract: We establish a new uniqueness theorem for the three dimensional Schwarzschild-de Sitter metrics. For this some new or improved tools are developed. These include a reverse Lojasiewicz inequality, which holds in a neighborhood of the extremal points of any smooth function. We further prove smoothness of the set of maxima of the lapse, whenever this set contains a topological hypersurface. This leads to a new strategy for the classification of well behaved static solutions of Einstein equations with a positive cosmological constant, based on the geometry of the maximum-set of the lapse.


title: The High-Resolution Coronal Imager, Flight 2.1

abstract: The third flight of the High-Resolution Coronal Imager (Hi-C 2.1) occurred on May 29, 2018, the Sounding Rocket was launched from White Sands Missile Range in New Mexico. The instrument has been modified from its original configuration (Hi-C 1) to observe the solar corona in a passband that peaks near 172 Angstrom and uses a new, custom-built low-noise camera. The instrument targeted Active Region 12712, and captured 78 images at a cadence of 4.4 sec (18:56:22 - 19:01:57 UT; 5 min and 35 sec observing time). The image spatial resolution varies due to quasi-periodic motion blur from the rocket; sharp images contain resolved features of at least 0.47 arcsec. There are coordinated observations from multiple ground- and space-based telescopes providing an unprecedented opportunity to observe the mass and energy coupling between the chromosphere and the corona. Details of the instrument and the data set are presented in this paper.


title: Spline-based Interface Modeling and Optimization (SIMO) for Surface Tension and Contact Angle Measurements

abstract: Surface tension and contact angle measurements are fundamental characterization techniques relevant to thermal and fluidic applications. Drop shape analysis techniques for the measurement of interfacial tension are powerful, versatile and flexible. Here we develop a Spline-based Interface Modeling and Optimization (SIMO) tool for estimating the surface tension and the contact angle from the profiles of sessile and pendant drops of various sizes. The employed strategy models the profile using a vector parametrized cubic spline which is then evolved to the eventual equilibrium shape using a novel thermodynamic free-energy minimization-based iterative algorithm. We perform experiments to show that in comparison, the typical fitting-based techniques are very sensitive to errors due to image acquisition, digitization and edge detection, and do not predict the correct surface tension and the contact angle values. We mimic these errors in theoretical drop profiles by applying the Gaussian noise and the smoothing filters. We then demonstrate that our optimization algorithm can even drive such inaccurate digitized profiles to the minimum energy equilibrium shape for the precise estimation of the surface tension and the contact angle values. We compare our scheme with software tools available in public domain to characterize the accuracy and the precision of SIMO.


title: An improved uniqueness result for a system of stochastic differential equations related to the stochastic wave equation

abstract: We improve on the strong uniqueness results of [GLM+17], which deal with the following system of SDE. \begin{align*} dX_t&=Y_tdt \\ dY_t&=|X_{t}|^{\alpha}dB_t \end{align*} and $X_0=x_0,Y_0=y_0$. For $(x_0,y_0)\ne(0,0)$, we show that short-time uniqueness holds for $\alpha>-1/2$.


title: An enriched count of the bitangents to a smooth plane quartic curve

abstract: Recent work of Kass--Wickelgren gives an enriched count of the $27$ lines on a smooth cubic surface over arbitrary fields. Their approach using $\mathbb{A}^1$-enumerative geometry suggests that other classical enumerative problems should have similar enrichments, when the answer is computed as the degree of the Euler class of a relatively orientable vector bundle. Here, we consider the closely related problem of the $28$ bitangents to a smooth plane quartic. However, it turns out the relevant vector bundle is not relatively orientable and new ideas are needed to produce enriched counts. We introduce a fixed "line at infinity," which leads to enriched counts of bitangents that depend on their geometry relative to the quartic and this distinguished line.


title: Gaussians on Riemannian Manifolds: Applications for Robot Learning and Adaptive Control

abstract: This article presents an overview of robot learning and adaptive control applications that can benefit from a joint use of Riemannian geometry and probabilistic representations. The roles of Riemannian manifolds, geodesics and parallel transport in robotics are first discussed. Several forms of manifolds already employed in robotics are then presented, by also listing manifolds that have been underexploited but that have potentials in future robot learning applications. A varied range of techniques employing Gaussian distributions on Riemannian manifolds is then introduced, including clustering, regression, information fusion, planning and control problems. Two examples of applications are presented, involving the control of a prosthetic hand from surface electromyography (sEMG) data, and the teleoperation of a bimanual underwater robot. Further perspectives are finally discussed, with suggestions of promising research directions.


title: NASA's Meteoroid Engineering Model (MEM) 3 and its ability to replicate spacecraft impact rates

abstract: Meteoroids pose one of the largest risks to spacecraft outside of low Earth orbit. In order to correctly predict the rate at which meteoroids impact and damage spacecraft, environment models must describe the mass, directionality, velocity, and density distributions of meteoroids. NASA's Meteoroid Engineering Model (MEM) is one such model; MEM 3 is an updated version of the code that better captures the correlation between directionality and velocity and incorporates a bulk density distribution. This paper describes MEM 3 and compares its predictions with the rate of large particle impacts seen on the Long Duration Exposure Facility (LDEF) and the Pegasus II and III satellites.


title: Unsupervised Image Regression for Heterogeneous Change Detection

abstract: Change detection in heterogeneous multitemporal satellite images is an emerging and challenging topic in remote sensing. In particular, one of the main challenges is to tackle the problem in an unsupervised manner. In this paper we propose an unsupervised framework for bitemporal heterogeneous change detection based on the comparison of affinity matrices and image regression. First, our method quantifies the similarity of affinity matrices computed from co-located image patches in the two images. This is done to automatically identify pixels that are likely to be unchanged. With the identified pixels as pseudo-training data, we learn a transformation to map the first image to the domain of the other image, and vice versa. Four regression methods are selected to carry out the transformation: Gaussian process regression, support vector regression, random forest regression, and a recently proposed kernel regression method called homogeneous pixel transformation. To evaluate the potentials and limitations of our framework, and also the benefits and disadvantages of each regression method, we perform experiments on two real data sets. The results indicate that the comparison of the affinity matrices can already be considered a change detection method by itself. However, image regression is shown to improve the results obtained by the previous step alone and produces accurate change detection maps despite of the heterogeneity of the multitemporal input data. Notably, the random forest regression approach excels by achieving similar accuracy as the other methods, but with a significantly lower computational cost and with fast and robust tuning of hyperparameters.


title: Adjusting Rate of Spread Factors through Derivative-Free Optimization: A New Methodology to Improve the Performance of Forest Fire Simulators

abstract: In practical applications, it is common that wildfire simulators do not correctly predict the evolution of the fire scar. Usually, this is caused due to multiple factors including inaccuracy in the input data such as land cover classification, moisture, improperly represented local winds, cumulative errors in the fire growth simulation model, high level of discontinuity/heterogeneity within the landscape, among many others. Therefore in practice, it is necessary to adjust the propagation of the fire to obtain better results, either to support suppression activities or to improve the performance of the simulator considering new default parameters for future events, best representing the current fire spread growth phenomenon. In this article, we address this problem through a new methodology using Derivative-Free Optimization (DFO) algorithms for adjusting the Rate of Spread (ROS) factors in a fire simulation growth model called Cell2Fire. To achieve this, we solve an error minimization optimization problem that captures the difference between the simulated and observed fire, which involves the evaluation of the simulator output in each iteration as part of a DFO framework, allowing us to find the best possible factors for each fuel present on the landscape. Numerical results for different objective functions are shown and discussed, including a performance comparison of alternative DFO algorithms.


title: Mutual-Information Regularization in Markov Decision Processes and Actor-Critic Learning

abstract: Cumulative entropy regularization introduces a regulatory signal to the reinforcement learning (RL) problem that encourages policies with high-entropy actions, which is equivalent to enforcing small deviations from a uniform reference marginal policy. This has been shown to improve exploration and robustness, and it tackles the value overestimation problem. It also leads to a significant performance increase in tabular and high-dimensional settings, as demonstrated via algorithms such as soft Q-learning (SQL) and soft actor-critic (SAC). Cumulative entropy regularization has been extended to optimize over the reference marginal policy instead of keeping it fixed, yielding a regularization that minimizes the mutual information between states and actions. While this has been initially proposed for Markov Decision Processes (MDPs) in tabular settings, it was recently shown that a similar principle leads to significant improvements over vanilla SQL in RL for high-dimensional domains with discrete actions and function approximators. Here, we follow the motivation of mutual-information regularization from an inference perspective and theoretically analyze the corresponding Bellman operator. Inspired by this Bellman operator, we devise a novel mutual-information regularized actor-critic learning (MIRACLE) algorithm for continuous action spaces that optimizes over the reference marginal policy. We empirically validate MIRACLE in the Mujoco robotics simulator, where we demonstrate that it can compete with contemporary RL methods. Most notably, it can improve over the model-free state-of-the-art SAC algorithm which implicitly assumes a fixed reference policy.


title: Deterministic Parallel Fixpoint Computation

abstract: Abstract interpretation is a general framework for expressing static program analyses. It reduces the problem of extracting properties of a program to computing an approximation of the least fixpoint of a system of equations. The de facto approach for computing this approximation uses a sequential algorithm based on weak topological order (WTO). This paper presents a deterministic parallel algorithm for fixpoint computation by introducing the notion of weak partial order (WPO). We present an algorithm for constructing a WPO in almost-linear time. Finally, we describe PIKOS, our deterministic parallel abstract interpreter, which extends the sequential abstract interpreter IKOS. We evaluate the performance and scalability of PIKOS on a suite of 1017 C programs. When using 4 cores, PIKOS achieves an average speedup of 2.06x over IKOS, with a maximum speedup of 3.63x. When using 16 cores, PIKOS achieves a maximum speedup of 10.97x.


title: End-to-End Neural Speaker Diarization with Permutation-Free Objectives

abstract: In this paper, we propose a novel end-to-end neural-network-based speaker diarization method. Unlike most existing methods, our proposed method does not have separate modules for extraction and clustering of speaker representations. Instead, our model has a single neural network that directly outputs speaker diarization results. To realize such a model, we formulate the speaker diarization problem as a multi-label classification problem, and introduces a permutation-free objective function to directly minimize diarization errors without being suffered from the speaker-label permutation problem. Besides its end-to-end simplicity, the proposed method also benefits from being able to explicitly handle overlapping speech during training and inference. Because of the benefit, our model can be easily trained/adapted with real-recorded multi-speaker conversations just by feeding the corresponding multi-speaker segment labels. We evaluated the proposed method on simulated speech mixtures. The proposed method achieved diarization error rate of 12.28%, while a conventional clustering-based system produced diarization error rate of 28.77%. Furthermore, the domain adaptation with real-recorded speech provided 25.6% relative improvement on the CALLHOME dataset. Our source code is available online at https://github.com/hitachi-speech/EEND.


title: Optimized Synthesis of Snapping Fixtures

abstract: Fixtures for constraining the movement of parts have been extensively investigated in robotics, since they are essential for using robots in automated manufacturing. This paper deals with the design and optimized synthesis of a special type of fixtures, which we call \emph{snapping fixtures}. Given a polyhedral workpiece $P$ with $n$ vertices and of constant genus, which we need to hold, a snapping fixture is a semi-rigid polyhedron $G$, made of a palm and several fingers, such that when $P$ and $G$ are well separated, we can push $P$ toward $G$, slightly bending the fingers of $G$ on the way (exploiting its mild flexibility), and obtain a configuration, where $G$ is back in its original shape and $P$ and $G$ are inseparable as rigid bodies. We prove the minimal closure conditions under which such fixtures can hold parts, using Helly's theorem. We then introduce an algorithm running in $O(n^3)$ time that produces a snapping fixture, minimizing the number of fingers and optimizing additional objectives, if a snapping fixture exists. We also provide an efficient and robust implementation of a simpler version of the algorithm, which produces the fixture model to be 3D printed and runs in $O(n^4)$ time. We describe two applications with different optimization criteria: Fixtures to hold add-ons for drones, where we aim to make the fixture as lightweight as possible, and small-scale fixtures to hold precious stones in jewelry, where we aim to maximize the exposure of the stones, namely minimize the obscuring of the workpiece by the fixture.


title: Optical Parametric Amplification of Mid-Infrared Few-Cycle Pulses

abstract: We describe Ti:Sapphire pumped optical parametric amplification of carrier-envelope phase stabilized few-cycle ($<10$fs) mid-infrared pulses in type I $\beta$-barium borate. Experimental measurements show a $\times3.5$ amplification factor (from 100$\mu$J to 350$\mu$J) of the octave spanning spectrum ($1.1-2.4$$\mu$m) using a pump beam with 2.3mJ energy, 30fs duration and central wavelength of 800nm, corresponding to an energy extraction efficiency of $11\%$. Numerical simulations suggest potential amplification to 4.25mJ energy and temporal compression to a pulse duration of 7.3fs is possible with a pump energy of 30mJ and duration of 30fs in a 25mm diameter, 1.5mm thick BBO crystal.


title: Automorphisms of the category of finitely generated free groups of the some subvariety of the variety of all groups

abstract: In universal algebraic geometry the category of the finite generated free algebras of some fixed variety of algebras and the quotient group A/Y are very important. Here A is a group of all automorphisms of this category and Y is a group of all inner automorphisms of this category. In the varieties of all the groups, all the abelian groups (see B. Plotkin and G. Zhitomirski, 2006), all the nilpotent groups of the class no more then n (see A. Tsurkov, 2007) the group A/Y is trivial. B. Plotkin posed a question: "Is there a subvariety of the variety of all the groups, such that the group A/Y in this subvariety is not trivial?" A. Tsurkov hypothesized that exist some varieties of periodic groups, such that the groups A/Y in these varieties is not trivial. In this paper we give an example of one subvariety of this kind.


title: Dispersive estimates for Klein-Gordon equations via a physical space approach

abstract: Building on the hyperboloidal foliation approach of Lefloch and Ma, we extend Klainerman's physical-space approach to dispersive estimates to recover the frequency-restricted $L^1$--$L^\infty$ dispersive estimates for Klein-Gordon equations. The hyperboloidal foliation approach naturally only provide estimates within a fixed forward light-cone, and is based on an initial data norm that is not translation invariant. Both of these problems can be handled with frequency-dependent physical-space truncations. To handle the lack of scaling symmetry for the Klein-Gordon equation and complete the argument, we also need to keep track of the effectiveness of our estimates in the vanishing mass limit.


title: Topological Signatures in Quantum Transport in Anomalous Floquet-Anderson Insulators

abstract: Topological states require the presence of extended bulk states, as usually found in the picture of energy bands and topological states bridging the bulk gaps. But in driven systems this can be circumvented, and one can get topological states coexisting with fully localized bulk states, as in the case of the anomalous Floquet-Anderson insulator. Here, we show the fingerprints of this peculiar topological phase in the transport properties and their dependence on the disorder strength, geometrical configuration (two-terminal and multiterminal setups) and details of the driving protocol.


title: Measurement of the hyperfine coupling constant for $nS_{1/2}$ Rydberg states of $^{85}$Rb

abstract: We present measurements of the hyperfine structure splittings of $nS_{1/2}$ Rydberg states of $^{85}$Rb for $n$= 43, 44, 45 and 46. From the splittings, the hyperfine coupling constant, $A_{\mathrm{HFS}}$, is determined to be 15.372(80) GHz. This result is an order-of-magnitude improvement from previous measurements. We study and account for systematic uncertainty sources, such as unwanted electric and magnetic fields, dipolar Rydberg-Rydberg interactions, and AC shifts. Initial evidence for hyperfine-mixed Rydberg pair states is found.


title: Estimator-Based Output-Feedback Stabilization of Linear Multi-Delay Systems using SOS

abstract: In this paper, we investigate the estimator-based output feedback control problem of multi-delay systems. This work is an extension of recently developed operator-value LMI framework for infinite-dimensional time-delay systems. Based on the optimal convex state feedback controller and generalized Luenberger observer synthesis conditions we already have, the estimator-based output feedback controller is designed to contain the estimates of both the present state and history of the state. An output feedback controller synthesis condition is proposed using SOS method, which is expressed in a set of LMI/SDP constraints. The simulation examples are displayed to demonstrate the effectiveness and advantages of the proposed results.


title: Multi-Messenger Observations of GRBs: The GW connection

abstract: Two years ago, the astronomical community witnessed a historical breakthrough observation: the detection of a short Gamma-Ray Burst (GRB) by gamma-ray instruments in coincidence with the detection of a Gravitation Wave (GW) signal produced by the coalescence of two binary neutron stars. This joint GRB-GW observation paved the way to a new chapter in modern astrophysics: the "Multi-Messenger" era. In this contribution, I will review the main results by gamma-ray experiments obtained from 2015 to 2017 during the first two observational runs of the LIGO-Virgo experiments (O1/O2), and highlight strategies and status during the current run (O3) which will cover a 1-year period starting April 2019. Finally, I will focus on future prospects for gamma-ray missions dedicated to GW counterpart studies.


title: TESS Asteroseismology of the known red-giant host stars HD 212771 and HD 203949

abstract: The Transiting Exoplanet Survey Satellite (TESS) is performing a near all-sky survey for planets that transit bright stars. In addition, its excellent photometric precision enables asteroseismology of solar-type and red-giant stars, which exhibit convection-driven, solar-like oscillations. Simulations predict that TESS will detect solar-like oscillations in nearly 100 stars already known to host planets. In this paper, we present an asteroseismic analysis of the known red-giant host stars HD 212771 and HD 203949, both systems having a long-period planet detected through radial velocities. These are the first detections of oscillations in previously known exoplanet-host stars by TESS, further showcasing the mission's potential to conduct asteroseismology of red-giant stars. We estimate the fundamental properties of both stars through a grid-based modeling approach that uses global asteroseismic parameters as input. We discuss the evolutionary state of HD 203949 in depth and note the large discrepancy between its asteroseismic mass ($M_\ast = 1.23 \pm 0.15\,{\rm M}_\odot$ if on the red-giant branch or $M_\ast = 1.00 \pm 0.16\,{\rm M}_\odot$ if in the clump) and the mass quoted in the discovery paper ($M_\ast = 2.1 \pm 0.1\,{\rm M}_\odot$), implying a change $>30\,\%$ in the planet's mass. Assuming HD 203949 to be in the clump, we investigate the planet's past orbital evolution and discuss how it could have avoided engulfment at the tip of the red-giant branch. Finally, HD 212771 was observed by K2 during its Campaign 3, thus allowing for a preliminary comparison of the asteroseismic performances of TESS and K2. We estimate the ratio of the observed oscillation amplitudes for this star to be $A_{\rm max}^{\rm TESS}/A_{\rm max}^{\rm K2} = 0.75 \pm 0.14$, consistent with the expected ratio of $\sim0.85$ due to the redder bandpass of TESS.