title: Initialization and Curing Policies for Polya Contagion Networks

abstract: This paper investigates optimization policies for resource distribution in network epidemics using a model that derives from the classical Polya process. The basic mechanics of this model, called the Polya network contagion process, are based on a modified urn sampling scheme that accounts for both temporal and spatial contagion between neighbouring nodes in a network. We present various infection metrics and use them to develop two problems: one which takes place upon initialization and one which occurs continually as the Polya network process develops. We frame these problems as resource allocation problems with fixed budgets, and analyze a suite of potential policies. Due to the complexity of these problems, we introduce effective proxy measures for the average infection rate in each case. We also prove that the two-sided infection-curing game on the so-called expected network exposure admits a Nash equilibrium. In both the curing and initialization scenarios, we introduce heuristic policies that primarily function on the basis of limiting the number of targeted nodes within a particular network setup. Simulations are run for mid-to-large scale networks to compare performance of our heuristics to provably convergent gradient descent algorithms run on the simplified proxy measures.


title: Vacuum ultraviolet photoabsorption spectroscopy of space-related ices: 1 keV electron irradiation of nitrogen- and oxygen-rich ices

abstract: Molecular oxygen, nitrogen, and ozone have been detected in the Solar System. They are also expected to be present in ice-grain mantles within star-forming regions. Laboratory experiments that simulate energetic processing (ions, photons, and electrons) of ices are essential for interpreting and directing future astronomical observations. We provide VUV photoabsorption spectroscopic data of energetically processed nitrogen- and oxygen-rich ices that will help to identify absorption bands and/or spectral slopes observed on icy objects in the Solar System and on ice-grain mantles of the interstellar medium. We present VUV photoabsorption spectra of frozen O2 and N2, a 1:1 mixture of both, and a new systematic set of pure and mixed nitrogen oxide ices. Spectra were obtained at 22 K before and after 1 keV electron bombardment of the ice sample. Ices were then annealed to higher temperatures to study their thermal evolution. In addition, Fourier-transform infrared spectroscopy was used as a secondary probe of molecular synthesis to better identify the physical and chemical processes at play. Our VUV data show that ozone and the azide radical (N3) are observed in our experiments after electron irradiation of pure O2 and N2 ices, respectively. Energetic processing of an O2:N2 = 1:1 ice mixture leads to the formation of ozone along with a series of nitrogen oxides. The electron irradiation of solid nitrogen oxides, pure and in mixtures, induces the formation of new species such as O2, N2 , and other nitrogen oxides not present in the initial ice. Results are discussed here in light of their relevance to various astrophysical environments. Finally, we show that VUV spectra of solid NO2 and water can reproduce the observational VUV profile of the cold surface of Enceladus, Dione, and Rhea, strongly suggesting the presence of nitrogen oxides on the surface of the icy Saturn moons.


title: Extension to the Beraha-Kahane-Weiss Theorem with Applications

abstract: The beautiful Beraha-Kahane-Weiss theorem has found many applications within graph theory, allowing for the determination of the limits of root of graph polynomials in settings as vast as chromatic polynomials, network reliability, and generating polynomials related to independence and domination. Here we extend the class of functions to which the BKW theorem can be applied, and provide some applications in combinatorics.


title: Deconstructing the Planck TT Power Spectrum to Constrain Deviations from $\Lambda$CDM

abstract: Consistency checks of $\Lambda$CDM predictions with current cosmological data sets may illuminate the types of changes needed to resolve cosmological tensions. To this end, we modify the CLASS Boltzmann code to create phenomenological amplitudes, similar to the lensing amplitude parameter $A_L$, for the Sachs-Wolfe, Doppler, early Integrated Sachs-Wolfe (eISW), and Polarization contributions to the CMB temperature anisotropy, and then we include these additional amplitudes in fits to the Planck TT power spectrum. We find that allowing one of these amplitudes to vary at a time results in little improvement over $\Lambda$CDM alone suggesting that each of these physical effects are being correctly accounted for given the current level of precision. Further, we find that the only pair of phenomenological amplitudes that results in a significant improvement to the fit to Planck temperature data results from varying the amplitudes of the Sachs-Wolfe and Doppler effects simultaneously. However, we show that this model is really just refinding the $\Lambda$CDM + $A_L$ solution. We test adding our phenomenological amplitudes as well as $N_{\textrm{eff}}$, $Y_{\textrm{He}}$, and $n_{\textrm{run}}$ to $\Lambda$CDM + $A_L$ and find that none of these model extensions provide significant improvement over $\Lambda$CDM + $A_L$ when fitting Planck temperature data. Finally, we quantify the contributions of both the eISW effect and lensing on the constraint of the physical matter density from Planck temperature data by allowing the phenomenological amplitude from each effect to vary. We find that these effects play a relatively small role (the uncertainty increases by $3.5\%$ and $16\%$ respectively) suggesting that the overall photon envelope has the greatest constraining power.


title: Entropy Guided Adversarial Model for Weakly Supervised Object Localization

abstract: Weakly Supervised Object Localization is challenging because of the lack of bounding box annotations. Previous works tend to generate a class activation map i.e CAM to localize the object. Unfortunately, the network activates only the features that discriminate the object and does not activate the whole object. Some methods tend to remove some parts of the object to force the CNN to detect other features, whereas, others change the network structure to generate multiple CAMs from different levels of the model. In this present article, we propose to take advantage of the generalization ability of the network and train the model using clean examples and adversarial examples to localize the whole object. Adversarial examples are typically used to train robust models and are images where a perturbation is added. To get a good classification accuracy, the CNN trained with adversarial examples is forced to detect more features that discriminate the object. We futher propose to apply the shannon entropy on the CAMs generated by the network to guide it during training. Our method does not erase any part of the image neither does it change the network architecure and extensive experiments show that our Entropy Guided Adversarial model (EGA model) improved performance on state of the arts benchmarks for both localization and classification accuracy.


title: Risk-sensitive Dynkin games with heterogeneous Poisson random intervention times

abstract: The paper solves constrained Dynkin games with risk-sensitive criteria, where two players are allowed to stop at two independent Poisson random intervention times, via the theory of backward stochastic differential equations. This generalizes the previous work of [Liang and Sun, Dynkin games with Poisson random intervention times, SIAM Journal on Control and Optimization, 2019] from the risk-neutral criteria and common signal times for both players to the risk-sensitive criteria and two heterogenous signal times. Furthermore, the paper establishes a connection of such constrained risk-sensitive Dynkin games with a class of stochastic differential games via Krylov's randomized stopping technique.


abstract: We investigate a quantum teleportation process between two comoving observers Alice and Bob in an anisotropic expanding spacetime. In this model, we calculate the fidelity of teleportation and we noted an oscillation of its spectrum as a function of the azimuthal angle. We found that for the polar angle $\phi = \frac{\pi}{2}$ and the azimuthal angle $\theta \neq \frac{3\pi}{4} + n\pi$ with $n = 0, 1, 2, ...$ the efficiency of the process decreases, i.e., the fidelity is less than one. In addition, it is shown that the anisotropic effects on the fidelity becomes more significative in the regime of smooth expansion and the limit of massless particles. On the other hand, the influence of curvature coupling becomes noticeable in the regime of fast expansion (values of $\frac{\rho}{\omega} \gg 1$).


title: High order pressure-based semi-implicit IMEX schemes for the 3D Navier-Stokes equations at all Mach numbers

abstract: This article aims at developing a high order pressure-based solver for the solution of the 3D compressible Navier-Stokes system at all Mach numbers. We propose a cell-centered discretization of the governing equations that splits the fluxes into a fast and a slow scale part, that are treated implicitly and explicitly, respectively. A novel semi-implicit discretization is proposed for the kinetic energy as well as the enthalpy fluxes in the energy equation, hence avoiding any need of iterative solvers. The implicit discretization yields an elliptic equation on the pressure that can be solved for both ideal gas and general equation of state (EOS). A nested Newton method is used to solve the mildly nonlinear system for the pressure in case of nonlinear EOS. High order in time is granted by implicit-explicit (IMEX) time stepping, whereas a novel CWENO technique efficiently implemented in a dimension-by-dimension manner is developed for achieving high order in space for the discretization of explicit convective and viscous fluxes. A quadrature-free finite volume solver is then derived for the high order approximation of numerical fluxes. Central schemes with no dissipation of suitable order of accuracy are finally employed for the numerical approximation of the implicit terms. Consequently, the CFL-type stability condition on the maximum admissible time step is based only on the fluid velocity and not on the sound speed, so that the novel schemes work uniformly for all Mach numbers. Convergence and robustness of the proposed method are assessed through a wide set of benchmark problems involving low and high Mach number regimes, as well as inviscid and viscous flows.


title: An entertaining physics: On the possibility of energy storage enhancement in electric capacitors using the compensational inductive electric field

abstract: In this work, we consider the possibility of energy storage enhancement in electric capacitors using the compensational method. The essence of the proposed approach is the use of inductive voltage V_ind to partially compensate the electrostatic voltage q/C produced by the electric charges on the capacitor plates. We hypothesize that it may be possible to increase the amount of charge stored on the plates before the breakdown and increase the energy stored in the capacitor using the compensational inductive voltage. There are several possible scenarios of manipulating the inductive voltage to increase the amount of energy released via the discharge. We also consider several electro-magnetic capacitors for practical utilization. Potentially, the energy per volume stored in a simple parallel plate capacitor may exceed the one of gasoline. The physical limits and technological shortcomings of the proposed approach are also discussed.


title: Quantifying nonequlibrium thermodynamic operations in a multiterminal mesoscopic system

abstract: We investigate a multiterminal mesoscopic conductor in the quantum Hall regime, subject to temperature and voltage biases. The device can be considered as a nonequilibrium resource acting on a working substance. We previously showed that cooling and power production can occur in the absence of energy and particle currents from a nonequilibrium resource (calling this an N-demon). Here we allow energy or particle currents from the nonequilibrium resource and find that the device seemingly operates at a better efficiency than a Carnot engine. To overcome this problem, we define free-energy efficiencies which incorporate the fact that a nonequilibrium resource is consumed in addition to heat or power. These efficiencies are well behaved for equilibrium and nonequilibrium resources and have an upper bound imposed by the laws of thermodynamics. We optimize power production and cooling in experimentally relevant parameter regimes.


title: Deep Learning Based Early Diagnostics of Parkinsons Disease

abstract: In the world, about 7 to 10 million elderly people are suffering from Parkinson's Disease (PD) disease. Parkinson's disease is a common neurological degenerative disease, and its clinical characteristics are Tremors, rigidity, bradykinesia, and decreased autonomy. Its clinical manifestations are very similar to Multiple System Atrophy (MSA) disorders. Studies have shown that patients with Parkinson's disease often reach an irreparable situation when diagnosed, so As Parkinson's disease can be distinguished from MSA disease and get an early diagnosis, people are constantly exploring new methods. With the advent of the era of big data, deep learning has made major breakthroughs in image recognition and classification. Therefore, this study proposes to use The deep learning method to realize the diagnosis of Parkinson's disease, multiple system atrophy, and healthy people. This data source is from Istanbul University Cerrahpasa Faculty of Medicine Hospital. The processing of the original magnetic resonance image (Magnetic Resonance Image, MRI) is guided by the doctor of Istanbul University Cerrahpasa Faculty of Medicine Hospital. The focus of this experiment is to improve the existing neural network so that it can obtain good results in medical image recognition and diagnosis. An improved algorithm was proposed based on the pathological characteristics of Parkinson's disease, and good experimental results were obtained by comparing indicators such as model loss and accuracy.


title: On the model theory of higher rank arithmetic groups

abstract: Let $\Gamma$ be a centerless irreducible higher rank arithmetic lattice in characteristic zero. We prove that if $\Gamma$ is either non-uniform or is uniform of orthogonal type and dimension at least 9, then $\Gamma$ is bi-interpretable with the ring $\mathbb{Z}$ of integers. It follows that the first order theory of $\Gamma$ is undecidable, that all finitely generated subgroups of $\Gamma$ are definable, and that $\Gamma$ is characterized by a single first order sentence among all finitely generated groups.


title: Recovering a perturbation of a matrix polynomial from a perturbation of its linearization

abstract: A number of theoretical and computational problems for matrix polynomials are solved by passing to linearizations. Therefore a perturbation theory results for linearizations need to be related back to matrix polynomials. In this paper we present an algorithm that finds which perturbation of matrix coefficients of a matrix polynomial corresponds to a given perturbation of the entire linearization pencil. Moreover we find transformation matrices that, via strict equivalence, transform a perturbation of the linearization to the linearization of a perturbed polynomial. For simplicity, we present the results for the first companion linearization but they can be generalized to a broader class of linearizations.


title: Revealing Hidden Variability in PWNe With Spectral Index Maps

abstract: Pulsar wind nebulae (PWNe) are the synchrotron bubbles inflated by the rotational energy of a neutron star. Observing variability within them has previously been limited to cases of significant brightening, or the few instances where transient features are interpreted in terms of intrinsic motion or associated with variability from the pulsar. Jet and torus morphology are also only visible in cases of differing brightness with respect to the surrounding nebula and favourable alignment with our line of sight. Spectral map analysis involves binning observations with an adaptive algorithm to meet a signal limit and colouring the results based on the desired model parameter fits. Minute changes in spectral index become therefore apparent even in cases where brightness images alone do not suggest any underlying changes. We present a Chandra X-ray study of the PWNe in G21.5-0.9, Kes 75, G54.1+0.3, G11.2-0.3, and 3C 58, using archival observations accumulated over the ~20-year lifetime of the mission. With the spectral map analysis technique, we discover evidence for previously unknown variability opening a new window into viewing PWNe.


title: A Groebner-bases approach to syndrome-based fast Chase decoding of Reed--Solomon codes

abstract: We present a simple syndrome-based fast Chase decoding algorithm for Reed--Solomon (RS) codes. Such an algorithm was initially presented by Wu (IEEE Trans. IT, Jan. 2012), building on properties of the Berlekamp--Massey (BM) algorithm. Wu devised a fast polynomial-update algorithm to construct the error-locator polynomial (ELP) as the solution of a certain linear-feedback shift register (LFSR) synthesis problem. This results in a conceptually complicated algorithm, divided into $8$ subtly different cases. Moreover, Wu's polynomial-update algorithm is not immediately suitable for working with vectors of evaluations. Therefore, complicated modifications were required in order to achieve a true "one-pass" Chase decoding algorithm, that is, a Chase decoding algorithm requiring $O(n)$ operations per modified coordinate, where $n$ is the RS code length. The main result of the current paper is a conceptually simple syndrome-based fast Chase decoding of RS codes. Instead of developing a theory from scratch, we use the well-established theory of Groebner bases for modules over $\mathbb{F}_q[X]$ (where $\mathbb{F}_q$ is the finite field of $q$ elements, for $q$ a prime power). The basic observation is that instead of Wu's LFSR synthesis problem, it is much simpler to consider "the right" minimization problem over a module. The solution to this minimization problem is a simple polynomial-update algorithm that avoids syndrome updates and works seamlessly with vectors of evaluations. As a result, we obtain a conceptually simple algorithm for one-pass Chase decoding of RS codes. Our algorithm is general enough to work with any algorithm that finds a Groebner basis for the solution module of the key equation as the initial algorithm (including the Euclidean algorithm), and it is not tied only to the BM algorithm.


title: Insight-HXMT firm detection of the highest energy fundamental cyclotron resonance scattering feature in the spectrum of GRO J1008-57

abstract: We report on the observation of the accreting pulsar GRO J1008-57 performed by Insight-HXMT at the peak of the source's 2017 outburst. Pulsations are detected with a spin period of 93.283(1) s. The pulse profile shows double peaks at soft X-rays, and only one peak above 20 keV. The spectrum is well described by the phenomenological models of X-ray pulsars. A cyclotron resonant scattering feature is detected with very high statistical significance at a centroid energy of $E_{\rm cyc}=90.32_{-0.28}^{+0.32}$ keV, for the reference continuum and line models, HIGHECUT and GABS respectively. Detection is very robust with respect to different continuum models. The line energy is significantly higher than what suggested from previous observations, which provided very marginal evidence for the line. This establishes a new record for the centroid energy of a fundamental cyclotron resonant scattering feature observed in accreting pulsars. We also discuss the accretion regime of the source during the Insight-HXMT observation.


title: Physics-informed Tensor-train ConvLSTM for Volumetric Velocity Forecasting of Loop Current

abstract: According to the National Academies, a weekly forecast of velocity, vertical structure, and duration of the Loop Current (LC) and its eddies is critical for understanding the oceanography and ecosystem, and for mitigating outcomes of anthropogenic and natural disasters in the Gulf of Mexico (GoM). However, this forecast is a challenging problem since the LC behaviour is dominated by long-range spatial connections across multiple timescales. In this paper, we extend spatiotemporal predictive learning, showing its effectiveness beyond video prediction, to a 4D model, i.e., a novel Physics-informed Tensor-train ConvLSTM (PITT-ConvLSTM) for temporal sequences of 3D geospatial data forecasting. Specifically, we propose 1) a novel 4D higher-order recurrent neural network with empirical orthogonal function analysis to capture the hidden uncorrelated patterns of each hierarchy, 2) a convolutional tensor-train decomposition to capture higher-order space-time correlations, and 3) to incorporate prior physic knowledge that is provided from domain experts by informing the learning in latent space. The advantage of our proposed method is clear: constrained by physical laws, it simultaneously learns good representations for frame dependencies (both short-term and long-term high-level dependency) and inter-hierarchical relations within each time frame. Experiments on geospatial data collected from the GoM demonstrate that PITT-ConvLSTM outperforms the state-of-the-art methods in forecasting the volumetric velocity of the LC and its eddies for a period of over one week.


title: Commuting row contractions with polynomial characteristic functions

abstract: A characteristic function is a special operator-valued analytic function defined on the open unit ball of $\mathbb{C}^n$ associated with an $n$-tuple of commuting row contraction on some Hilbert space. In this paper, we continue our study of the representations of $n$-tuples of commuting row contractions on Hilbert spaces, which have polynomial characteristic functions. Gleason's problem plays an important role in the representations of row contractions. We further complement the representations of our row contractions by proving theorems concerning factorizations of characteristic functions. We also emphasize the importance and the role of the noncommutative operator theory and noncommutative varieties to the classification problem of polynomial characteristic functions.


title: Non-vacuum relativistic extensions of MOND using metric theories of gravity with curvature-matter couplings and their applications to the accelerated expansion of the Universe without dark components

abstract: We discuss the advantages of using metric theories of gravity with curvature-matter couplings in order to construct a relativistic generalisation of the simplest version of Modified Newtonian Dynamics (MOND), where Tully-Fisher scalings are valid for a wide variety of astrophysical objects. We show that these proposals are valid at the weakest perturbation order for trajectories of massive and massless particles (photons). These constructions can be divided into local and non-local metric theories of gravity with curvature-matter couplings. Using the simplest two local constructions in a FLRW universe for dust, we show that there is no need for the introduction of dark matter and dark energy components into the Friedmann equation in order to account for type Ia supernovae observations of an accelerated universe at the present epoch.


title: On the Sobolev and $L^p$-Stability of the $L^2$-projection

abstract: We show stability of the $L^2$-projection onto Lagrange finite element spaces with respect to (weighted) $L^p$ and $W^{1,p}$-norms for any polynomial degree and for any space dimension under suitable conditions on the mesh grading. This includes $W^{1,2}$-stability in two space dimensions for any polynomial degree and meshes generated by newest vertex bisection. Under realistic but conjectured assumptions on the mesh grading in three dimensions we show $W^{1,2}$-stability for all polynomial degrees. We also propose a modified bisection strategy that leads to better $W^{1,p}$-stability. Moreover, we investigate the stability of the $L^2$-projection onto Crouzeix-Raviart elements.


title: Reflections on the discovery of the first magnetic white dwarf

abstract: I was one of the six people most closely involved in the discovery of the first magnetic white dwarf in 1970, now 50 years ago. Thinking back on this event, I have realised that the discovery occurred when and how it did because of a series of lucky coincidences along a strange and winding path. In this paper I recount the events as I recall them, and reflect on how those unlikely coincidences helped us to succeed.


title: GPLAN: Computer-Generated Dimensioned Floorplans for given Adjacencies

abstract: In this paper, we present GPLAN, software aimed at constructing dimensioned floorplan layouts based on graph-theoretical and optimization techniques. GPLAN takes user requirements as input in the following two forms: i. Adjacency graph: It allows user to draw an adjacency graph on a GUI(graphical user interface) corresponding to which GPLAN produces a set of dimensioned floorplans with a rectangular boundary, where each floorplan is topologically distinct from others. ii. Dimensionless layout: Here, user can draw any layout with rectangular or non-rectangular boundary on a GUI and GPLAN transforms it into a dimensioned floorplan while preserving adjacencies, positions, shapes of the rooms. The above approaches represent different ways of inserting adjacencies and GPLAN generate dimensioned floorplans corresponding to the given adjacencies. The larger aim is to provide alternative platforms to user for producing dimensioned floorplans for all given (architectural) constraints, which can be further refined by architects.


title: Mixed $hp$ FEM for singularly perturbed fourth order boundary value problems with two small parameters

abstract: We consider fourth order singularly perturbed boundary value problems with two small parameters, and the approximation of their solution by the $hp$ version of the Finite Element Method on the {\emph{Spectral Boundary Layer}} mesh from \cite{MXO}. We use a mixed formulation requiring only $C^{0}$ basis functions in two-dimensional smooth domains. Under the assumption of analytic data, we show that the method converges uniformly, with respect to both singular perturbation parameters, at an exponential rate when the error is measured in the energy norm. Our theoretical findings are illustrated through numerical examples, including results using a stronger (balanced) norm.


title: Analytic Characterization of the Hessian in Shallow ReLU Models: A Tale of Symmetry

abstract: We consider the optimization problem associated with fitting two-layers ReLU networks with respect to the squared loss, where labels are generated by a target network. We leverage the rich symmetry structure to analytically characterize the Hessian at various families of spurious minima in the natural regime where the number of inputs $d$ and the number of hidden neurons $k$ is finite. In particular, we prove that for $d\ge k$ standard Gaussian inputs: (a) of the $dk$ eigenvalues of the Hessian, $dk - O(d)$ concentrate near zero, (b) $\Omega(d)$ of the eigenvalues grow linearly with $k$. Although this phenomenon of extremely skewed spectrum has been observed many times before, to our knowledge, this is the first time it has been established {rigorously}. Our analytic approach uses techniques, new to the field, from symmetry breaking and representation theory, and carries important implications for our ability to argue about statistical generalization through local curvature.


title: Fast Nonconvex $T_2^*$ Mapping Using ADMM

abstract: Magnetic resonance (MR)-$T_2^*$ mapping is widely used to study hemorrhage, calcification and iron deposition in various clinical applications, it provides a direct and precise mapping of desired contrast in the tissue. However, the long acquisition time required by conventional 3D high-resolution $T_2^*$ mapping method causes discomfort to patients and introduces motion artifacts to reconstructed images, which limits its wider applicability. In this paper we address this issue by performing $T_2^*$ mapping from undersampled data using compressive sensing (CS). We formulate the reconstruction as a nonconvex problem that can be decomposed into two subproblems. They can be solved either separately via the standard approach or jointly via the alternating direction method of multipliers (ADMM). Compared to previous CS-based approaches that only apply sparse regularization on the spin density $\boldsymbol X_0$ and the relaxation rate $\boldsymbol R_2^*$, our formulation enforces additional sparse priors on the $T_2^*$-weighted images at multiple echoes to improve the reconstruction performance. We performed convergence analysis of the proposed algorithm, evaluated its performance on in vivo data, and studied the effects of different sampling schemes. Experimental results showed that the proposed joint-recovery approach generally outperforms the state-of-the-art method, especially in the low-sampling rate regime, making it a preferred choice to perform fast 3D $T_2^*$ mapping in practice. The framework adopted in this work can be easily extended to other problems arising from MR or other imaging modalities with non-linearly coupled variables.


title: Explainable Predictive Process Monitoring

abstract: Predictive Business Process Monitoring is becoming an essential aid for organizations, providing online operational support of their processes. This paper tackles the fundamental problem of equipping predictive business process monitoring with explanation capabilities, so that not only the what but also the why is reported when predicting generic KPIs like remaining time, or activity execution. We use the game theory of Shapley Values to obtain robust explanations of the predictions. The approach has been implemented and tested on real-life benchmarks, showing for the first time how explanations can be given in the field of predictive business process monitoring.


title: High resolution neural texture synthesis with long range constraints

abstract: The field of texture synthesis has witnessed important progresses over the last years, most notably through the use of Convolutional Neural Networks. However, neural synthesis methods still struggle to reproduce large scale structures, especially with high resolution textures. To address this issue, we first introduce a simple multi-resolution framework that efficiently accounts for long-range dependency. Then, we show that additional statistical constraints further improve the reproduction of textures with strong regularity. This can be achieved by constraining both the Gram matrices of a neural network and the power spectrum of the image. Alternatively one may constrain only the autocorrelation of the features of the network and drop the Gram matrices constraints. In an experimental part, the proposed methods are then extensively tested and compared to alternative approaches, both in an unsupervised way and through a user study. Experiments show the interest of the multi-scale scheme for high resolution textures and the interest of combining it with additional constraints for regular textures.


title: Automated Topical Component Extraction Using Neural Network Attention Scores from Source-based Essay Scoring

abstract: While automated essay scoring (AES) can reliably grade essays at scale, automated writing evaluation (AWE) additionally provides formative feedback to guide essay revision. However, a neural AES typically does not provide useful feature representations for supporting AWE. This paper presents a method for linking AWE and neural AES, by extracting Topical Components (TCs) representing evidence from a source text using the intermediate output of attention layers. We evaluate performance using a feature-based AES requiring TCs. Results show that performance is comparable whether using automatically or manually constructed TCs for 1) representing essays as rubric-based features, 2) grading essays.


title: Sad syntax? Tonal closure Affects Children's Perception of Emotional Valence

abstract: Western music is largely governed by tonality, a quasi syntactic system regulating musical continuity and closure. Converging measures have established the psychological reality of tonality as a cognitive schema raising distinct expectancy for both adults and children. However, while tonal expectations were associated with emotion in adults, little is known about the tonality emotional effects in children. Here we examine whether children associate levels of tonal closure with emotional valence, whether such associations are age dependent, and how they interact with other musical dimensions. 52 children, aged 7, 11, listened to chord progressions implying closure followed by a probe tone. Probes could realize closure (tonic note), violate it mildly (unstable diatonic note) or extremely (out of key note). Three timbres (piano, guitar, woodwinds) and three pitch heights were used for each closure level. Stimuli were described to participants as exchanges between two children (chords, probe). Participants chose one of two emojis, suggesting positive or negative emotions, as representing the 2nd child response. A significant effect of tonal closure was found, with no interactions with age, instrument, or pitch height. Results suggest that tonality, a non referential cognitive schema, affects children perception of emotion in music early, robustly and independently of basic musical dimensions.


title: Connecting active and passive $\mathcal{PT}$-symmetric Floquet modulation models

abstract: Open systems with gain, loss, or both, described by non-Hermitian Hamiltonians, have been a research frontier for the past decade. In particular, such Hamiltonians which possess parity-time ($\mathcal{PT}$) symmetry feature dynamically stable regimes of unbroken symmetry with completely real eigenspectra that are rendered into complex conjugate pairs as the strength of the non-Hermiticity increases. By subjecting a $\mathcal{PT}$-symmetric system to a periodic (Floquet) driving, the regime of dynamical stability can be dramatically affected, leading to a frequency-dependent threshold for the $\mathcal{PT}$-symmetry breaking transition. We present a simple model of a time-dependent $\mathcal{PT}$-symmetric Hamiltonian which smoothly connects the static case, a $\mathcal{PT}$-symmetric Floquet case, and a neutral-$\mathcal{PT}$-symmetric case. We analytically and numerically analyze the $\mathcal{PT}$ phase diagrams in each case, and show that slivers of $\mathcal{PT}$-broken ($\mathcal{PT}$-symmetric) phase extend deep into the nominally low (high) non-Hermiticity region.


title: Computation and applications of Mathieu functions: A historical perspective

abstract: Mathieu functions of period $\pi$ or $2\pi$, also called elliptic cylinder functions, were introduced in 1868 by \'Emile Mathieu together with so-called modified Mathieu functions, in order to help understand the vibrations of an elastic membrane set in a fixed elliptical hoop. These functions still occur frequently in applications today: our interest, for instance, was stimulated by a problem of pulsatile blood flow in a blood vessel compressed into an elliptical cross-section. This paper surveys and recapitulates the historical development of the theory and methods of computation for Mathieu functions and modified Mathieu functions and identifies some gaps in current software capability, particularly to do with double eigenvalues of the Mathieu equation. We demonstrate how to compute Puiseux expansions of the Mathieu eigenvalues about such double eigenvalues, and give methods to compute the generalized eigenfunctions that arise there. In examining Mathieu's original contribution, we bring out that his use of anti-secularity predates that of Lindstedt. For interest, we also provide short biographies of some of the major mathematical researchers involved in the history of the Mathieu functions: \'Emile Mathieu, Sir Edmund Whittaker, Edward Ince, and Gertrude Blanch.


title: Double layer from least action principle

abstract: We derived the equations for the double layers in Quadratic Gravity, using solely the least action principle. The advantage of our approach is that, in the process of calculation, the $\delta'$-function does not appear at all, and the $\delta$-functions appear for a moment and are mutually canceled prior to integration. We revealed the peculiar structure of the obtained equations, namely, that the surface energy-momentum tensor of the matter fields (constituents of the thin shells) does not play a role in the determination of the trajectory of the double layer. Also, we suggested that the space-like double layers may provide us with the adequate description of the creation of the universe from the black hole singularity. The related topics, including the Gauss-Bonnet term and $F(R)$-theories, are shortly discussed.


title: A Case For Adaptive Deep Neural Networks in Edge Computing

abstract: Edge computing offers an additional layer of compute infrastructure closer to the data source before raw data from privacy-sensitive and performance-critical applications is transferred to a cloud data center. Deep Neural Networks (DNNs) are one class of applications that are reported to benefit from collaboratively computing between the edge and the cloud. A DNN is partitioned such that specific layers of the DNN are deployed onto the edge and the cloud to meet performance and privacy objectives. However, there is limited understanding of: (a) whether and how evolving operational conditions (increased CPU and memory utilization at the edge or reduced data transfer rates between the edge and the cloud) affect the performance of already deployed DNNs, and (b) whether a new partition configuration is required to maximize performance. A DNN that adapts to changing operational conditions is referred to as an 'adaptive DNN'. This paper investigates whether there is a case for adaptive DNNs in edge computing by considering three questions: (i) Are DNNs sensitive to operational conditions? (ii) How sensitive are DNNs to operational conditions? (iii) Do individual or a combination of operational conditions equally affect DNNs? (iv) Is DNN partitioning sensitive to hardware architectures on the cloud/edge? The exploration is carried out in the context of 8 pre-trained DNN models and the results presented are from analyzing nearly 8 million data points. The results highlight that network conditions affects DNN performance more than CPU or memory related operational conditions. Repartitioning is noted to provide a performance gain in a number of cases, but a specific trend was not noted in relation to its correlation to the underlying hardware architecture. Nonetheless, the need for adaptive DNNs is confirmed.


title: Deep Multi Depth Panoramas for View Synthesis

abstract: We propose a learning-based approach for novel view synthesis for multi-camera 360$^{\circ}$ panorama capture rigs. Previous work constructs RGBD panoramas from such data, allowing for view synthesis with small amounts of translation, but cannot handle the disocclusions and view-dependent effects that are caused by large translations. To address this issue, we present a novel scene representation - Multi Depth Panorama (MDP) - that consists of multiple RGBD$\alpha$ panoramas that represent both scene geometry and appearance. We demonstrate a deep neural network-based method to reconstruct MDPs from multi-camera 360$^{\circ}$ images. MDPs are more compact than previous 3D scene representations and enable high-quality, efficient new view rendering. We demonstrate this via experiments on both synthetic and real data and comparisons with previous state-of-the-art methods spanning both learning-based approaches and classical RGBD-based methods.


title: Protoclusters at z=5.7: A view from the MultiDark galaxies

abstract: Protoclusters, which will yield galaxy clusters at lower redshift, can provide valuable information on the formation of galaxy clusters. However, identifying progenitors of galaxy clusters in observations is not an easy task, especially at high redshift. Different priors have been used to estimate the overdense regions that are thought to mark the locations of protoclusters. In this paper, we use mimicked Ly$\alpha$-emitting galaxies at $z=5.7$ to identify protoclusters in the MultiDark galaxies, which are populated by applying three different semi-analytic models to the 1 $Gpc h^{-1}$ MultiDark Planck2 simulation. To compare with observational results, we extend the criterion 1 (a Ly$\alpha$ luminosity limited sample), to criterion 2 (a match to the observed mean galaxy number density). To further statistically study the finding efficiency of this method, we enlarge the identified protocluster sample (criterion 3) to about 3500 at $z=5.7$ and study their final mass distribution. The number of overdense regions and their selection probability depends on the semi-analytic models and strongly on the three selection criteria (partly by design). The protoclusters identified with criterion 1 are associated with a typical final cluster mass of $2.82\pm0.92 \times 10^{15} M_\odot$ which is in agreement with the prediction (within $\pm 1 \sigma$) of an observed massive protocluster at $z=5.7$. Identifying more protoclusters allows us to investigate the efficiency of this method, which is more suitable for identifying the most massive clusters: completeness ($\mathbb{C}$) drops rapidly with decreasing halo mass. We further find that it is hard to have a high purity ($\mathbb{P}$) and completeness simultaneously.


title: Planck Frequencies as Schelling Points in SETI

abstract: In SETI, when searching for "beacons" -- transmissions intended for us and meant to get our attention -- one must guess the appropriate frequency to search by considering what frequencies would be universally obvious to other species. This is a well known concept in game theory, where such solutions to a non-communicative cooperative game (such as a mutual search) are called "Schelling points." It is noteworthy, therefore, that when developing his eponymous units, Planck called them "natural" because they "remain meaningful for all times and also for extraterrestrial and non-human cultures." Here, I apply Planck's suggestion in the context of Schelling points in SETI with a "Planck Frequency Comb," constructed by multiplying the Planck energy by integer powers of the fine structure constant. This comb includes a small number of frequencies in regions of the electromagnetic spectrum where laser and radio SETI typically operates. Searches might proceed and individual teeth in the comb, or at many teeth at once, across the electromagnetic spectrum. Indeed, the latter strategy can be additionally justified by the transmitter's desire to signal at many frequencies at once, to improve the chances that the receiver will guess one of them correctly. There are many arbitrary and anthropocentric choices in this comb's construction, and indeed one can construct several different frequency combs with only minor and arbitrary modifications. This suggests that it may be fruitful to search for signals arriving in frequency combs of arbitrary spacing. And even though the frequencies suggested here are only debatably "better" than others proposed, the addition of the Planck Frequency Comb to the list of "magic frequencies" can only help searches for extraterrestrial beacons.


title: Graph Convolution with Low-rank Learnable Local Filters

abstract: Geometric variations like rotation, scaling, and viewpoint changes pose a significant challenge to visual understanding. One common solution is to directly model certain intrinsic structures, e.g., using landmarks. However, it then becomes non-trivial to build effective deep models, especially when the underlying non-Euclidean grid is irregular and coarse. Recent deep models using graph convolutions provide an appropriate framework to handle such non-Euclidean data, but many of them, particularly those based on global graph Laplacians, lack expressiveness to capture local features required for representation of signals lying on the non-Euclidean grid. The current paper introduces a new type of graph convolution with learnable low-rank local filters, which is provably more expressive than previous spectral graph convolution methods. The model also provides a unified framework for both spectral and spatial graph convolutions. To improve model robustness, regularization by local graph Laplacians is introduced. The representation stability against input graph data perturbation is theoretically proved, making use of the graph filter locality and the local graph regularization. Experiments on spherical mesh data, real-world facial expression recognition/skeleton-based action recognition data, and data with simulated graph noise show the empirical advantage of the proposed model.


title: A Suggested Alternative to Dark Matter in Galaxies: I. Theoretical Considerations

abstract: Dark matter is the generally accepted paradigm in astrophysics and cosmology as a solution to the higher rate of rotation in galaxies, among many other reasons. But since there are still some problems encountered by the standard dark matter paradigm at the galactic scale, we have resorted to an alternative solution, similar to Milgrom's Modified Newtonian dynamics (MOND). Here, we have assumed that: (i) either the gravitational constant, G, is a function of distance (scale): G = G(r), or, (ii) the gravitational-to-inertial mass ratio, mg/mi, is a function of distance (scale): f(r). We have used a linear approximation of each function, from which two new parameters appeared that have to be determined: G1, the first-order coefficient of gravitational coupling, and C1, the first-order coefficient of gravitational-to-inertial mass ratio. In the current part of this research, we have generated simplified theoretical rotation curves for some hypothetical galaxies by varying the parameters. We have concluded that our model gives a qualitatively and quantitatively acceptable behavior of the galactic rotation curves for some values of these parameters. The values of the 1st-order coefficients that give quantitatively acceptable description of galactic rotation curves are: G1 between around 10^-31 to 10^-30 m^2 s^-2 kg^-1; and, C1 between 10^-21 to 10^-20 m^-1. Furthermore, our model implies the existence of a critical distance at which the MOND effects become significant rather than a critical acceleration. In fact, Milgrom's MOND converges with our model if the critical acceleration is not a constant but a linear function of the galactic baryonic mass.


title: Lower Bounds on Circuit Depth of the Quantum Approximate Optimization Algorithm

abstract: The quantum approximate optimization algorithm (QAOA) is a method of approximately solving combinatorial optimization problems. While QAOA is developed to solve a broad class of combinatorial optimization problems, it is not clear which classes of problems are best suited for it. One factor in demonstrating quantum advantage is the relationship between a problem instance and the circuit depth required to implement the QAOA method. As errors in NISQ devices increases exponentially with circuit depth, identifying lower bounds on circuit depth can provide insights into when quantum advantage could be feasible. Here, we identify how the structure of problem instances can be used to identify lower bounds for circuit depth for each iteration of QAOA and examine the relationship between problem structure and the circuit depth for a variety of combinatorial optimization problems including MaxCut and MaxIndSet. Specifically, we show how to derive a graph, $G$, that describes a general combinatorial optimization problem and show that the depth of circuit is at least the chromatic index of $G$. By looking at the scaling of circuit depth, we argue that MaxCut, MaxIndSet, and some instances of Vertex Covering and Boolean satisifiability problems are suitable for QAOA approaches while Knapsack and Traveling Sales Person problems are not.


title: Switching Controls for Analytic Semigroups and Applications to Parabolic Systems

abstract: In this work, we push further the analysis of the problem of switching controls proposed in [E. Zuazua, Switching control, J. Eur. Math. Soc. (JEMS), 13(1): 85--117, 2011]. The problem consists in the following one: assuming that one can control a system using two or more actuators, does there exist a control strategy such that at all times, only one actuator is active? We answer positively to this question when the controlled system corresponds to an analytic semigroup spanned by a positive self-adjoint operator which is null-controllable in arbitrary small times. Similarly as the argument of E. Zuazua, our proof relies on analyticity arguments and will also work in finite dimensional setting and under some further spectral assumptions when the operator spans an analytic semigroup but is not necessarily self-adjoint.


title: Further insights into the thermodynamics of the Kitaev honeycomb model

abstract: Here we revisit the thermodynamics of the Kitaev quantum spin liquid realized on the honeycomb lattice. We address two main questions: First, we investigate whether there are observable thermodynamic signatures of the topological Majorana boundary modes of the Kitaev honeycomb model. We argue that for the time-reversal invariant case the residual low-temperature entropy is the primary thermodynamic signature of these Majorana edge modes, and verify using large-scale Monte Carlo simulations that this residual entropy is present in the full Kitaev model. When time-reversal symmetry is broken, the Majorana edge modes are potentially observable in more direct thermodynamic measurements such as the specific heat, though only at temperatures well below the bulk gap. % Second, we study the energetics, and the corresponding thermodynamic signatures, of the flux excitations in the Kitaev model. Specifically, we study the flux interactions on both cylinder and torus geometries numerically, and quantify their impact on the thermodynamics of the Kitaev spin liquid by using a polynomial fit for the average flux energy as a function of flux density and extrapolating it to the thermodynamic limit. By comparing this model to Monte Carlo simulations, we find that flux interactions have a significant quantitative impact on the shape and the position of the low-temperature peak in the specific heat.


title: Asymptotic linking of volume-preserving actions of ${\mathbb R}^k$

abstract: We extend V. Arnold's theory of asymptotic linking for two volume preserving flows on a domain in ${\mathbb R}^3$ and $S^3$ to volume preserving actions of ${\mathbb R}^k$ and ${\mathbb R}^\ell$ on certain domains in ${\mathbb R}^n$ and also to linking of a volume preserving action of ${\mathbb R}^k$ with a closed oriented singular $\ell$-dimensional submanifold in ${\mathbb R}^n$, where $n=k+\ell+1$. We also extend the Biot-Savart formula to higher dimensions.


title: The Intersection of $3$-Maximal Submonids

abstract: Very little is known about the structure of the intersection of two $k$-generated monoids of words, even for $k=3$. Here we investigate the case of $k$-maximal monoids, that is, monoids whose basis of cardinality $k$ cannot be non-trivially decomposed into at most $k$ words. We characterize the intersection in the case of two $3$-maximal monoids.


title: Robust Reinforcement Learning using Adversarial Populations

abstract: Reinforcement Learning (RL) is an effective tool for controller design but can struggle with issues of robustness, failing catastrophically when the underlying system dynamics are perturbed. The Robust RL formulation tackles this by adding worst-case adversarial noise to the dynamics and constructing the noise distribution as the solution to a zero-sum minimax game. However, existing work on learning solutions to the Robust RL formulation has primarily focused on training a single RL agent against a single adversary. In this work, we demonstrate that using a single adversary does not consistently yield robustness to dynamics variations under standard parametrizations of the adversary; the resulting policy is highly exploitable by new adversaries. We propose a population-based augmentation to the Robust RL formulation in which we randomly initialize a population of adversaries and sample from the population uniformly during training. We empirically validate across robotics benchmarks that the use of an adversarial population results in a more robust policy that also improves out-of-distribution generalization. Finally, we demonstrate that this approach provides comparable robustness and generalization as domain randomization on these benchmarks while avoiding a ubiquitous domain randomization failure mode.


title: The April-June 2020 super-outburst of OJ 287 and its long-term multiwavelength light curve with Swift: binary supermassive black hole and jet activity

abstract: We report detection of a very bright X-ray-UV-optical outburst of OJ 287 in April-June 2020; the second brightest since the beginning of our Swift multi-year monitoring in late 2015. It is shown that the outburst is predominantly powered by jet emission. Optical-UV-X-rays are closely correlated, and the low-energy part of the XMM-Newton spectrum displays an exceptionally soft emission component consistent with a synchrotron origin. A much harder X-ray powerlaw component (Gamma-x = 2.4, still relatively steep when compared to expectations from inverse-Compton models) is detected out to 70 keV by NuSTAR. We find evidence for reprocessing around the Fe region, consistent with an absorption line. If confirmed, it implies matter in outflow at approx 0.1c. The multi-year Swift lightcurve shows multiple episodes of flaring or dipping with a total amplitude of variability of a factor of 10 in X-rays, and 15 in the optical-UV. The 2020 outburst observations are consistent with an after-flare predicted by the binary black hole model of OJ 287, where the disk impact of the secondary black hole triggers time-delayed accretion and jet activity of the primary black hole.


title: High performance on-demand de-identification of a petabyte-scale medical imaging data lake

abstract: With the increase in Artificial Intelligence driven approaches, researchers are requesting unprecedented volumes of medical imaging data which far exceed the capacity of traditional on-premise client-server approaches for making the data research analysis-ready. We are making available a flexible solution for on-demand de-identification that combines the use of mature software technologies with modern cloud-based distributed computing techniques to enable faster turnaround in medical imaging research. The solution is part of a broader platform that supports a secure high performance clinical data science platform.


title: Understanding the Relationship between Social Distancing Policies, Traffic Volume, Air Quality, and the Prevalence of COVID-19 Outcomes in Urban Neighborhoods

abstract: In response to the COVID-19 pandemic, governments have implemented policies to curb the spread of the novel virus. Little is known about how these policies impact various groups in society. This paper explores the relationship between social distancing policies, traffic volumes and air quality and how they impact various socioeconomic groups. This study aims to understand how disparate communities respond to Stay-at-Home Orders and other social distancing policies to understand how human behavior in response to policy may play a part in the prevalence of COVID-19 positive cases. We collected data on traffic density, air quality, socio-economic status, and positive cases rates of COVID-19 for each zip code of Salt Lake County, Utah (USA) between February 17 and June 12, 2020. We studied the impact of social distancing policies across three periods of policy implementation. We found that wealthier and whiter zip codes experienced a greater reduction in traffic and air pollution during the Stay-at-Home period. However, air quality did not necessarily follow traffic volumes in every case due to the complexity of interactions between emissions and meteorology. We also found a strong relationship between lower socioeconomic status and positive COVID-19 rates. This study provides initial evidence for social distancing's effectiveness in limiting the spread of COVID-19, while providing insight into how socioeconomic status has compounded vulnerability during this crisis. Behavior restrictions disproportionately benefit whiter and wealthier communities both through protection from spread of COVID-19 and reduction in air pollution. Such findings may be further compounded by the impacts of air pollution, which likely exacerbate COVID-19 transmission and mortality rates. Policy makers need to consider adapting social distancing policies to maximize equity in health protection.

categories: physics.soc-ph cs.CY econ.GN q-bio.PE q-fin.EC


title: Homotopical analysis of 4d Chern-Simons theory and integrable field theories

abstract: This paper provides a detailed study of $4$-dimensional Chern-Simons theory on $\mathbb{R}^2 \times \mathbb{C}P^1$ for an arbitrary meromorphic $1$-form $\omega$ on $\mathbb{C}P^1$. Using techniques from homotopy theory, the behaviour under finite gauge transformations of a suitably regularised version of the action proposed by Costello and Yamazaki is investigated. Its gauge invariance is related to boundary conditions on the surface defects located at the poles of $\omega$ that are determined by isotropic Lie subalgebras of a certain defect Lie algebra. The groupoid of fields satisfying such a boundary condition is proved to be equivalent to a groupoid that implements the boundary condition through a homotopy pullback, leading to the appearance of edge modes. The latter perspective is used to clarify how integrable field theories arise from $4$-dimensional Chern-Simons theory.


title: Tree Inference: Response Time in a Binary Multinomial Processing Tree, Representation and Uniqueness of Parameters

abstract: A Multinomial Processing Tree (MPT) is a directed tree with a probability associated with each arc. Here we consider an additional parameter associated with each arc, a measure such as the time required to select the arc. MPTs are often used as models of tasks. Each vertex represents a process and an arc descending from a vertex represents selection of an outcome of the process. A source vertex represents processing that begins when a stimulus is presented and a terminal vertex represents making a response. Responses are partitioned into classes. An experimental factor selectively influences a vertex if changing the level of the factor changes parameter values on arcs descending from that vertex and on no others. Earlier work shows that if each of two experimental factors selectively influences a different vertex in an arbitrary MPT it is equivalent for the factors to one of two relatively simple MPTs. Which of the two applies depends on whether the two selectively influenced vertices are ordered by the factors or not. A special case, the Standard Binary Tree for Ordered Processes, arises if the vertices are so ordered and the factor selectively influencing the first vertex changes parameter values on only two arcs descending from that vertex. Here we derive necessary and sufficient conditions for the probability and measure associated with a particular response class to be accounted for by this special case. Parameter values are not unique and we give admissible transformations for transforming one set of parameter values to another. When an experiment with two factors is conducted, the number of observations and parameters to be estimated depend on the number of levels of each factor; we provide degrees of freedom.


title: Unitary, continuum, stationary perturbation theory for the radial Schr\"odinger equation

abstract: The commutators of the Poincar\'e group generators will be unchanged in form if a unitary transformation relates the free generators to the generators of an interacting relativistic theory. We test the concept of unitary transformations of generators in the nonrelativistic case, requiring that the free and interacting Hamiltonians be related by a unitary transformation. Other authors have applied this concept to time-dependent perturbation theory to give unitarity of the time evolution operator to each order in perturbation theory, with results that show improvement over the standard perturbation theory. In our case, a stationary perturbation theory can be constructed to find approximate solutions of the radial Schr\"odinger equation for scattering from a spherically symmetric potential. General formulae are obtained for the phase shifts at first and second order in the coupling constant. We test the method on a simple system with a known exact solution and find complete agreement between our first- and second-order contributions to the s-wave phase shifts and the corresponding expansion to second order of the exact solution.


title: Future Vector Enhanced LSTM Language Model for LVCSR

abstract: Language models (LM) play an important role in large vocabulary continuous speech recognition (LVCSR). However, traditional language models only predict next single word with given history, while the consecutive predictions on a sequence of words are usually demanded and useful in LVCSR. The mismatch between the single word prediction modeling in trained and the long term sequence prediction in read demands may lead to the performance degradation. In this paper, a novel enhanced long short-term memory (LSTM) LM using the future vector is proposed. In addition to the given history, the rest of the sequence will be also embedded by future vectors. This future vector can be incorporated with the LSTM LM, so it has the ability to model much longer term sequence level information. Experiments show that, the proposed new LSTM LM gets a better result on BLEU scores for long term sequence prediction. For the speech recognition rescoring, although the proposed LSTM LM obtains very slight gains, the new model seems obtain the great complementary with the conventional LSTM LM. Rescoring using both the new and conventional LSTM LMs can achieve a very large improvement on the word error rate.


title: Comment on the paper "Third-harmonic generation investigated by a short-range bottomless exponential potential well" by M. Hu, K. Guo, Q. Yu, Z. Zhang [Superlattices and Microstructures, 122 (2018) 538-547]

abstract: We have discovered several severe errors in the recent paper M. Hu, K. Guo, Q. Yu, Z. Zhang [Superlattices and Microstructures, 122 (2018) 538-547]. Specifically, we demonstrate that both the solution of the Schr\"odinger equation and the bound-state wave functions used in the paper are incorrect.


title: Non-Commutative Ring Learning With Errors From Cyclic Algebras

abstract: The Learning with Errors (LWE) problem is the fundamental backbone of modern lattice based cryptography, allowing one to establish cryptography on the hardness of well-studied computational problems. However, schemes based on LWE are often impractical, so Ring LWE was introduced as a form of `structured' LWE, trading off a hard to quantify loss of security for an increase in efficiency by working over a well chosen ring. Another popular variant, Module LWE, generalizes this exchange by implementing a module structure over a ring. In this work, we introduce a novel variant of LWE over cyclic algebras (CLWE) to replicate the addition of the ring structure taking LWE to Ring LWE by adding cyclic structure to Module LWE. The proposed construction is both more efficient than Module LWE and conjecturally more secure than Ring LWE, the best of both worlds. We show that the security reductions expected for an LWE problem hold, namely a reduction from certain structured lattice problems to the hardness of the decision variant of the CLWE problem. As a contribution of theoretic interest, we view CLWE as the first variant of Ring LWE which supports non-commutative multiplication operations. This ring structure compares favorably with Module LWE, and naturally allows a larger message space for error correction coding.


title: Secrecy Limits of Energy Harvesting IoT Networks under Channel Imperfections

abstract: Simultaneous wireless information and power transfer (SWIPT) has recently gathered much research interest from both academia and industry as a key enabler of energy harvesting Internet-of-things (IoT) networks. Due to a number of growing use cases of such networks, it is important to study their performance limits from the perspective of physical layer security (PLS). With this intent, this work aims to provide a novel analysis of the ergodic secrecy capacity of a SWIPT system is provided for Rician and Nakagami-m faded communication links. For a realistic evaluation of the system, the imperfections of channel estimations for different receiver designs of the SWIPT-based IoT systems have been taken into account. Subsequently, the closedform expressions of the ergodic secrecy capacities for the considered scenario are provided and, then, validated through extensive simulations. The results indicate that an error ceiling appears due to imperfect channel estimation at high values of signal-to-noise ratio (SNR). More importantly, the secrecy capacity under different channel conditions stops increasing beyond a certain limit, despite an increase of the main link SNR. The in-depth analysis of secrecy-energy trade-off has also been performed and a comparison has been provided for imperfect and perfect channel estimation cases. As part of the continuous evolution of IoT networks, the results provided in this work can help in identifying the secrecy limits of IoT networks in the presence of multiple eavesdroppers.


title: Lectures notes on Heegaard Floer homology

abstract: These are the lecture notes for a course on Heegaard Floer homology held at PCMI in Summer 2019. We describe Heegaard diagrams, Heegaard Floer homology, knot Floer homology, and the relationship between the knot and 3-manifold invariants.


title: The Hubble Space Telescope's near-UV and optical transmission spectrum of Earth as an exoplanet

abstract: We observed the 2019 January total lunar eclipse with the Hubble Space Telescope's STIS spectrograph to obtain the first near-UV (1700-3200 $\r{A}$) observation of Earth as a transiting exoplanet. The observatories and instruments that will be able to perform transmission spectroscopy of exo-Earths are beginning to be planned, and characterizing the transmission spectrum of Earth is vital to ensuring that key spectral features (e.g., ozone, or O$_3$) are appropriately captured in mission concept studies. O$_3$ is photochemically produced from O$_2$, a product of the dominant metabolism on Earth today, and it will be sought in future observations as critical evidence for life on exoplanets. Ground-based observations of lunar eclipses have provided the Earth's transmission spectrum at optical and near-IR wavelengths, but the strongest O$_3$ signatures are in the near-UV. We describe the observations and methods used to extract a transmission spectrum from Hubble lunar eclipse spectra, and identify spectral features of O$_3$ and Rayleigh scattering in the 3000-5500 \r{A} region in Earth's transmission spectrum by comparing to Earth models that include refraction effects in the terrestrial atmosphere during a lunar eclipse. Our near-UV spectra are featureless, a consequence of missing the narrow time span during the eclipse when near-UV sunlight is not completely attenuated through Earth's atmosphere due to extremely strong O$_3$ absorption and when sunlight is transmitted to the lunar surface at altitudes where it passes through the O$_3$ layer rather than above it.


title: Estimating Evaporation Fields and Specific Heats Through Atom Probe Tomography

abstract: Estimations of evaporation field values in atom probe tomography (APT) literature are sparse despite their importance in the reconstruction and data analysis process. This work describes a straightforward method for estimating the zero-barrier evaporation field ($F_E$) that uses the measured voltage vs. laser pulse energy for a constant evaporation rate. This estimate depends on the sample radius of curvature and its specific heat ($C_p$). If a similar measurement is made of the measured voltage vs. base temperature for a fixed evaporation rate, direct extraction of the material's $C_p$ can be made, leaving only the sample radius of curvature as an input parameter. The method is applied to extract $F_E$ from a previously published voltage vs. laser pulse energy dataset for CdTe ($18.07 \pm 0.87~\mathrm{V~nm^{-1}}$); furthermore, using the published voltage vs. base-temperature sweep of CdTe permits extraction of a specific heat ($11.27 \pm 2.54~\mathrm{J~K^{-1}mol^{-1}}$ at $23.1~\mathrm{K}$) in good agreement with the literature ($11.14~\mathrm{J~K^{-1}mol^{-1}}$ at $22.17~\mathrm{K}$). The method is then applied to the previously uncharacterized material tris[2-phenylpyridinato-C2,N]iridium(III) ($\mathrm{Ir(ppy)_3}$), yielding $F_E = 7.49 \pm 0.96~\mathrm{V~nm^{-1}}$ and $C_p = 173 \pm 27~\mathrm{J~K^{-1} mol^{-1}}$; this $F_E$ is much lower than most materials characterized with APT to date.


title: Sketching Datasets for Large-Scale Learning (long version)

abstract: This article considers "compressive learning," an approach to large-scale machine learning where datasets are massively compressed before learning (e.g., clustering, classification, or regression) is performed. In particular, a "sketch" is first constructed by computing carefully chosen nonlinear random features (e.g., random Fourier features) and averaging them over the whole dataset. Parameters are then learned from the sketch, without access to the original dataset. This article surveys the current state-of-the-art in compressive learning, including the main concepts and algorithms, their connections with established signal-processing methods, existing theoretical guarantees -- on both information preservation and privacy preservation, and important open problems.


title: Changes in a Dusty Ringlet in the Cassini Division after 2010

abstract: A dusty ringlet designated R/2006 S3, also known as the "Charming Ringlet", is located around 119,940 km from the center of Saturn within the Laplace Gap in the Cassini Division. Prior to 2010, the ringlet had a simple radial profile and a predictable eccentric shape with two components, one forced by solar radiation pressure and the other freely precessing around the planet. However, observations made by the Cassini spacecraft since late 2012 revealed a shelf of material extending inwards from the ringlet that was not present in the earlier observations. Closer inspection of images obtained after 2012 shows that sometime between 2010 and 2012 the freely-precessing component of the ringlet's eccentricity increased by over 50%, and that for at least 3 years after 2012 the ringlet had longitudinal brightness variations that rotated around the planet at a range of rates corresponding to roughly 60 km in orbital semi-major axis. Some event therefore disturbed this ringlet between 2010 and late 2012.


title: Extended lifetime of respiratory droplets in a turbulent vapour puff and its implications on airborne disease transmission

abstract: To quantify the fate of respiratory droplets under different ambient relative humidities, direct numerical simulations of a typical respiratory event are performed. We found that, because small droplets (with initial diameter of 10um) are swept by turbulent eddies in the expelled humid puff, their lifetime gets extended by a factor of more than 30 times as compared to what is suggested by the classical picture by William F. Wells, for 50% relative humidity. With increasing ambient relative humidity the extension of the lifetimes of the small droplets further increases and goes up to around 150 times for 90% relative humidity, implying more than two meters advection range of the respiratory droplets within one second. Employing Lagrangian statistics, we demonstrate that the turbulent humid respiratory puff engulfs the small droplets, leading to many orders of magnitude increase in their lifetimes, implying that they can be transported much further during the respiratory events than the large ones. Our findings provide the starting points for larger parameter studies and may be instructive for developing strategies on optimizing ventilation and indoor humidity control. Such strategies are key in mitigating the COVID-19 pandemic in the present autumn and upcoming winter.

categories: physics.flu-dyn physics.app-ph physics.comp-ph physics.med-ph physics.soc-ph


title: Geometric formulation of the Covariant Phase Space methods with boundaries

abstract: We analyze in full-detail the geometric structure of the covariant phase space (CPS) of any local field theory defined over a space-time with boundary. To this end, we introduce a new frame: the "relative bicomplex framework". It is the result of merging an extended version of the "relative framework" (initially developed in the context of algebraic topology by R.~Bott and L.W.~Tu in the 1980s to deal with boundaries) and the variational bicomplex framework (the differential geometric arena for the variational calculus). The relative bicomplex framework is the natural one to deal with field theories with boundary contributions, including corner contributions. In fact, we prove a formal equivalence between the relative version of a theory with boundary and the non-relative version of the same theory with no boundary. With these tools at hand, we endow the space of solutions of the theory with a (pre)symplectic structure canonically associated with the action and which, in general, has boundary contributions. We also study the symmetries of the theory and construct, for a large group of them, their Noether currents, and charges. Moreover, we completely characterize the arbitrariness (or lack thereof for fiber bundles with contractible fibers) of these constructions. This clarifies many misconceptions about the role of the boundary terms in the CPS description of a field theory. Finally, we provide what we call the CPS-algorithm to construct the aforementioned (pre)symplectic structure and apply it to some relevant examples.

categories: math-ph gr-qc hep-th math.MP physics.class-ph


title: Detector tilt considerations in high-energy Bragg coherent diffraction imaging: a simulation study

abstract: This paper addresses three-dimensional signal distortion and image reconstruction issues in x-ray Bragg coherent diffraction imaging (BCDI) in the event of a general non-orthogonal orientation of the area detector with respect to the diffracted beam. Growing interest in novel BCDI adaptations at fourth-generation synchrotron light sources has necessitated improvisations in the experimental configuration and the subsequent data analysis. One such possibly unavoidable improvisation that is envisioned in this paper is a photon-counting area detector whose face is tilted away from the perpendicular to the Bragg-diffracted beam during acquisition of the coherent diffraction signal. We describe a likely circumstance in which one would require such a detector configuration, along with experimental precedent at third generation synchrotrons. Using physically accurate diffraction simulations from synthetic scatterers in the presence of such tilted detectors, we analyze the general nature of the observed signal distortion qualitatively and quantitatively, and provide a prescription to correct for it during image reconstruction. Our simulations and reconstructions are based on an adaptation of the known theory of BCDI sampling geometry as well as recently developed projection-based methods of wavefield propagation. Such configurational modifications and their numerical remedies are potentially valuable in realizing unconventional coherent diffraction measurement geometries and eventually paving the way for the integration of BCDI into new materials characterization experiments at next-generation light sources.


title: Broadband antireflection with halide-perovskite metasurfaces

abstract: Meta-optics based on optically-resonant dielectric nanostructures is a rapidly developing research field with many potential applications. Halide perovskite metasurfaces emerged recently as a novel platform for meta-optics, and they offer unique opportunities for control of light in optoelectronic devices. Here we employ the generalized Kerker conditions to overlap electric and magnetic Mie resonances in each meta-atom of MAPbBr3 perovskite metasurface and demonstrate broadband suppression of reflection down to 4%. We reveal also that metasurface nanostructuring is also beneficial for the enhancement of photoluminescence. Our results may be useful for applications of nanostructured halide perovskites in photovoltaics and semi-transparent multifunctional metadevices where reflection reduction is important for their high efficiency.


title: M-current Induced Bogdanov-Takens Bifurcation and Switching of Neuron Excitability Class

abstract: In this work, we consider a general conductance-based neuron model with the inclusion of the acetycholine sensitive, M-current. We study bifurcations in the parameter space consisting of the applied current, $I_{app}$ the maximal conductance of the M-current, $g_M$, and the conductance of the leak current, $g_L$. We give precise conditions for the model that ensure the existence of a Bogdanov-Takens (BT) point and show such a point can occur by varying $I_{app}$ and $g_{M}$. We discuss the case when the BT point becomes a Bogdanov-Takens-Cusp (BTC) point and show that such a point can occur in the three dimensional parameter space. The results of the bifurcation analysis are applied to different neuronal models and are verified and supplemented by numerical bifurcation diagrams generated using the package MATCONT. We conclude that there is a transition in the neuronal excitability type organized by the BT point and the neuron switches from Class-I to Class-II as conductance of the M-current increases.


title: Stabilizing Deep Tomographic Reconstruction

abstract: Tomographic image reconstruction with deep learning is an emerging field, but a recent landmark study reveals that several deep reconstruction networks are unstable for computed tomography (CT) and magnetic resonance imaging (MRI). Specifically, three kinds of instabilities were reported: (1) strong image artefacts from tiny perturbations, (2) small features missing in a deeply reconstructed image, and (3) decreased imaging performance with increased input data. On the other hand, compressed sensing (CS) inspired reconstruction methods do not suffer from these instabilities because of their built-in kernel awareness. For deep reconstruction to realize its full potential and become a mainstream approach for tomographic imaging, it is thus critically important to meet this challenge by stabilizing deep reconstruction networks. Here we propose an Analytic Compressed Iterative Deep (ACID) framework to address this challenge. ACID synergizes a deep reconstruction network trained on big data, kernel awareness from CS-inspired processing, and iterative refinement to minimize the data residual relative to real measurement. Our study demonstrates that the deep reconstruction using ACID is accurate and stable, and sheds light on the converging mechanism of the ACID iteration under a Bounded Relative Error Norm (BREN) condition. In particular, the study shows that ACID-based reconstruction is resilient against adversarial attacks, superior to classic sparsity-regularized reconstruction alone, and eliminates the three kinds of instabilities. We anticipate that this integrative data-driven approach will help promote development and translation of deep tomographic image reconstruction networks into clinical applications.


title: Free bounded archimedean $\ell$-algebras

abstract: We show that free objects on sets do not exist in the category $bal$ of bounded archimedean $\ell$-algebras. On the other hand, we introduce the category of weighted sets and prove that free objects on weighted sets do exist in $bal$. We conclude by discussing several consequences of this result.


title: Forecasting AI Progress: A Research Agenda

abstract: Forecasting AI progress is essential to reducing uncertainty in order to appropriately plan for research efforts on AI safety and AI governance. While this is generally considered to be an important topic, little work has been conducted on it and there is no published document that gives and objective overview of the field. Moreover, the field is very diverse and there is no published consensus regarding its direction. This paper describes the development of a research agenda for forecasting AI progress which utilized the Delphi technique to elicit and aggregate experts' opinions on what questions and methods to prioritize. The results of the Delphi are presented; the remainder of the paper follow the structure of these results, briefly reviewing relevant literature and suggesting future work for each topic. Experts indicated that a wide variety of methods should be considered for forecasting AI progress. Moreover, experts identified salient questions that were both general and completely unique to the problem of forecasting AI progress. Some of the highest priority topics include the validation of (partially unresolved) forecasts, how to make forecasting action-guiding and the quality of different performance metrics. While statistical methods seem more promising, there is also recognition that supplementing judgmental techniques can be quite beneficial.


title: Duality for powerset coalgebras

abstract: Let CABA be the category of complete and atomic boolean algebras and complete boolean homomorphisms, and let CSL be the category of complete meet-semilattices and complete meet-homomorphisms. We show that the forgetful functor from CABA to CSL has a left adjoint. This allows us to describe an endofunctor H on CABA such that the category Alg(H) of algebras for H is dually equivalent to the category Coalg(P) of coalgebras for the powerset endofunctor P on Set. As a consequence, we derive Thomason duality from Tarski duality, thus paralleling how J\'onsson-Tarski duality is derived from Stone duality.


title: Well-posedness and global in time behavior for $L^p$-mild solutions to the Navier-Stokes equation on the hyperbolic space

abstract: We study mild solutions to the Navier-Stokes equation on the $n$-dimensional hyperbolic space $\mathbb{H}^n$, $n \geq 2$. We use dispersive and smoothing estimates proved by Pierfelice on a class of complete Riemannian manifolds to extend the Fujita-Kato theory of mild solutions from $\mathbb{R}^n$ to $\mathbb{H}^n$. This includes well-posedness results for $L^n$ initial data and $L^n \cap L^p$ initial data for $1 < p < n$, global in time results for small initial data, and time decay results for the $L^n$ and $L^p$ norms of both $u$ and $\nabla u$. Due to the additional exponential time decay offered on $\mathbb{H}^n$, we are able to simplify the proofs of the $L^n$ and $L^p$ norm decay results as compared to the Euclidean setting. Additionally, we are able to show that mild solutions on $\mathbb{H}^n$ belong to a wider range of space-time $L^rL^q$ spaces than is known for Euclidean space, and that the $L^n$ norm of a global solution decays to zero as $t$ goes to infinity on $\mathbb{H}^n$, which was a question left open by Kato for $\mathbb{R}^n$, $n\geq 3$. As a necessary part of our work, we extend to $\mathbb{H}^n$ known facts in Euclidean space concerning the strong continuity and contractivity of the semigroup generated by the Laplacian. Also, we establish necessary boundedness and commutation properties for a certain projection operator in the setting of $\mathbb{H}^n$ using spectral theory. This work, together with Pierfelice's, contributes to providing a full Fujita-Kato theory on $\mathbb{H}^n$.


title: Limit shapes for Gibbs partitions of sets

abstract: This study extends a prior investigation of limit shapes for partitions of integers, which was based on analysis of sums of geometric random variables. Here we compute limit shapes for grand canonical Gibbs ensembles of partitions of sets, which lead to the sums of Poisson random variables. Under mild monotonicity assumptions, we study all possible scenarios arising from different asymptotic behaviors of the energy, and also compute local limit shape profiles for cases in which the limit shape is a step function.


title: On Stochastic Maximum Principle: A Backward Stochastic Partial Differential Equations Point of View

abstract: In this paper, we consider a class of stochastic control problems for stochastic differential equations with random coefficients. The control domain need not to be convex but the control process is not allowed to enter in diffusion term. Moreover, the terminal cost involves a non linear term of the expected value of terminal state. Our purpose is to derive a new version of the Pontryagin's stochastic maximum principle by adopting an idea inspired from the work of Peng [S. Peng, Maximum Principle for Stochastic Optimal Control with Nonconvex Control Domain, Lecture Notes in Control & Information Sciences, 114, (1990), pp. 724-732]. More specifically, we show that if we combine the spike perturbation of the optimal control combined with the stochastic Feynman-Kac representation of linear backward stochastic partial differential equations (BSPDE, for short), a new version of the stochastic maximum principle can be derived. We also investigate sufficient conditions of optimality. In the last part of this paper, motivated by our version of SMP, an interesting class of forward backward stochastic partial differential equations is naturally introduced and the solvability of such kind of equations is briefly presented.


title: A quantum-enhanced search for dark matter axions

abstract: In dark matter axion searches, quantum uncertainty manifests as a fundamental noise source, limiting the measurement of the quadrature observables used for detection. We use vacuum squeezing to circumvent the quantum limit in a search for a new particle. By preparing a microwave-frequency electromagnetic field in a squeezed state and near-noiselessly reading out only the squeezed quadrature, we double the search rate for axions over a mass range favored by recent theoretical projections. We observe no signature of dark matter axions in the combined $16.96-17.12$ and $17.14-17.28\space\mu\text{eV}/c^2$ mass window for axion-photon couplings above $g_{\gamma} = 1.38\times g_{\gamma}^\text{KSVZ}$, reporting exclusion at the 90% level.


title: Dynamic Stiction Mode by Friction Vector Rotation

abstract: We numerically study a simple sliding system: a rigid mass pulled by a spring with a strong in-plane stiffness anisotropy and a small misalignment angle. Simulations show that the apparent stick phase appearing in this system is in reality a phase of very slow creep, followed by a rapid sliding, slip. Surprisingly, the absolute value of the friction force remains almost constant from the very beginning of the stick phase, merely rotating in the sliding plane. We call this specific mechanism of apparent stick due to rotation of the force vector "dynamic stiction".


title: DAEMON: Dataset-Agnostic Explainable Malware Classification Using Multi-Stage Feature Mining

abstract: Numerous metamorphic and polymorphic malicious variants are generated automatically on a daily basis by mutation engines that transform the code of a malicious program while retaining its functionality, in order to evade signature-based detection. These automatic processes have greatly increased the number of malware variants, deeming their fully-manual analysis impossible. Malware classification is the task of determining to which family a new malicious variant belongs. Variants of the same malware family show similar behavioral patterns. Thus, classifying newly discovered malicious programs and applications helps assess the risks they pose. Moreover, malware classification facilitates determining which of the newly discovered variants should undergo manual analysis by a security expert, in order to determine whether they belong to a new family (e.g., one whose members exploit a zero-day vulnerability) or are simply the result of a concept drift within a known malicious family. This motivated intense research in recent years on devising high-accuracy automatic tools for malware classification. In this work, we present DAEMON - a novel dataset-agnostic malware classifier. A key property of DAEMON is that the type of features it uses and the manner in which they are mined facilitate understanding the distinctive behavior of malware families, making its classification decisions explainable. We've optimized DAEMON using a large-scale dataset of x86 binaries, belonging to a mix of several malware families targeting computers running Windows. We then re-trained it and applied it, without any algorithmic change, feature re-engineering or parameter tuning, to two other large-scale datasets of malicious Android applications consisting of numerous malware families. DAEMON obtained highly accurate classification results on all datasets, establishing that it is also platform-agnostic.


title: A Library of Self-Consistent Simulated Exoplanet Atmospheres

abstract: We present a publicly available library of model atmospheres with radiative-convective equilibrium Pressure-Temperature ($P$-$T$) profiles fully consistent with equilibrium chemical abundances, and the corresponding emission and transmission spectrum with R$\sim$5000 at 0.2 $\mu$m decreasing to R$\sim$35 at 30 $\mu$m, for 89 hot Jupiter exoplanets, for four re-circulation factors, six metallicities and six C/O ratios. We find the choice of condensation process (local/rainout) alters the $P$-$T$ profile and thereby the spectrum substantially, potentially detectable by JWST. We find H$^-$ opacity can contribute to form a strong temperature inversion in ultra-hot Jupiters for C/O ratios $\geq$ 1 and can make transmission spectra features flat in the optical, alongside altering the entire emission spectra. We highlight how adopting different model choices such as thermal ionisation, opacities, line-wing profiles and the methodology of varying the C/O ratio, effects the $P$-$T$ structure and the spectrum. We show the role of Fe opacity to form primary/secondary inversion in the atmosphere. We use WASP-17b and WASP-121b as test cases to demonstrate the effect of grid parameters across their full range, while highlighting some important findings, concerning the overall atmospheric structure, chemical transition regimes and their observables. Finally, we apply this library to the current transmission and emission spectra observations of WASP-121b, which shows H$_2$O and tentative evidence for VO at the limb, and H$_2$O emission feature indicative of inversion on the dayside, with very low energy redistribution, thereby demonstrating the applicability of library for planning and interpreting observations of transmission and emission spectrum.


title: On the dynamical interaction between overshooting convection and an underlying dipole magnetic field -- I. The non-dynamo regime

abstract: Motivated by the dynamics in the deep interiors of many stars, we study the interaction between overshooting convection and the large-scale poloidal fields residing in radiative zones. We have run a suite of 3D Boussinesq numerical calculations in a spherical shell that consists of a convection zone with an underlying stable region that initially compactly contains a dipole field. By varying the strength of the convective driving, we find that, in the less turbulent regime, convection acts as turbulent diffusion that removes the field faster than solely molecular diffusion would do. However, in the more turbulent regime, turbulent pumping becomes more efficient and partially counteracts turbulent diffusion, leading to a local accumulation of the field below the overshoot region. These simulations suggest that dipole fields might be confined in underlying stable regions by highly turbulent convective motions at stellar parameters. The confinement is of large-scale field in an average sense and we show that it is reasonably modeled by mean-field ideas. Our findings are particularly interesting for certain models of the Sun, which require a large-scale, poloidal magnetic field to be confined in the solar radiative zone in order to explain simultaneously the uniform rotation of the latter and the thinness of the solar tachocline.


title: Detection of a Satellite of the Trojan Asteroid (3548) Eurybates -- A Lucy Mission Target

abstract: We describe the discovery of a satellite of the Trojan asteroid (3548) Eurybates in images obtained with the Hubble Space Telescope. The satellite was detected on three separate epochs, two in September 2018 and one in January 2020. The satellite has a brightness in all three epochs consistent with an effective diameter of d2 =1.2+/-0.4 km. The projected separation from Eurybates was s~1700-2300 km and varied in position, consistent with a large range of possible orbits. Eurybates is a target of the Lucy Discovery mission and the early detection of a satellite provides an opportunity for a significant expansion of the scientific return from this encounter.


title: Zero-pairing and zero-temperature limits of finite temperature Hartree-Fock-Bogoliubov theory

abstract: Recently, the zero-pairing limit of Hartree-Fock-Bogoliubov (HFB) mean-field theory was studied in detail in arXiv:2006.02871. It was shown that such a limit is always well-defined for any particle number A, but the resulting many-body description differs qualitatively depending on whether the system is of closed-(sub)shell or open-(sub)shell nature. Here, we extend the discussion to the more general framework of Finite-Temperature HFB (FTHFB) which deals with statistical density operators, instead of pure many-body states. We scrutinize in detail the zero-temperature and zero-pairing limits of such a description, and in particular the combination of both limits. For closed-shell systems, we find that the FTHFB formulism reduces to the (zero-temperature) Hartree-Fock formulism, i.e. we recover the textbook solution. For open-shell systems, however, the resulting description depends on the order in which both limits are taken: if the zero-temperature limit is performed first, the FTHFB density operator demotes to a pure state which is a linear combination of a finite number of Slater determinants, i.e. the case of arXiv:2006.02871. If the zero-pairing limit is performed first, the FTHFB density operator remains a mixture of a finite number of Slater determinants with non-zero entropy, even as the temperature vanishes. These analytical findings are illustrated numerically for a series of Oxygen isotopes.


title: Importance of Self-Consistency in Active Learning for Semantic Segmentation

abstract: We address the task of active learning in the context of semantic segmentation and show that self-consistency can be a powerful source of self-supervision to greatly improve the performance of a data-driven model with access to only a small amount of labeled data. Self-consistency uses the simple observation that the results of semantic segmentation for a specific image should not change under transformations like horizontal flipping (i.e., the results should only be flipped). In other words, the output of a model should be consistent under equivariant transformations. The self-supervisory signal of self-consistency is particularly helpful during active learning since the model is prone to overfitting when there is only a small amount of labeled training data. In our proposed active learning framework, we iteratively extract small image patches that need to be labeled, by selecting image patches that have high uncertainty (high entropy) under equivariant transformations. We enforce pixel-wise self-consistency between the outputs of segmentation network for each image and its transformation (horizontally flipped) to utilize the rich self-supervisory information and reduce the uncertainty of the network. In this way, we are able to find the image patches over which the current model struggles the most to classify. By iteratively training over these difficult image patches, our experiments show that our active learning approach reaches $\sim96\%$ of the top performance of a model trained on all data, by using only $12\%$ of the total data on benchmark semantic segmentation datasets (e.g., CamVid and Cityscapes).


title: The Third Logarithmic Coefficient For The Subclasses Of Close-To-Convex Functions

abstract: Let $\mathcal{A}$ denote the set of all analytic functions $f$ in the unit disk $\mathbb{D}:=\{z \in \mathbb{C}: |z| < 1\}$ normalized by $f (0) = 0$ and $f'(0) = 1.$ The logarithmic coefficients $\gamma_n$ of $f \in \mathcal{A}$ are defined by $ \log f(z)/z =2 \sum_{n=1}^{\infty}\gamma_{n}z^{n}.$ In the present paper, the upper bound of the third logarithmic coefficient in general case of $f''(0)$ was computed when $f$ belongs to some familiar subclasses of close-to-convex functions.


title: On sparse geometry of numbers

abstract: Let $L$ be a lattice of full rank in $n$-dimensional real space. A vector in $L$ is called $i$-sparse if it has no more than $i$ nonzero coordinates. We define the $i$-th successive sparsity level of $L$, $s_i(L)$, to be the minimal $s$ so that $L$ has $s$ linearly independent $i$-sparse vectors, then $s_i(L) \leq n$ for each $1 \leq i \leq n$. We investigate sufficient conditions for $s_i(L)$ to be smaller than $n$ and obtain explicit bounds on the sup-norms of the corresponding linearly independent sparse vectors in~$L$. This result can be viewed as a partial sparse analogue of Minkowski's successive minima theorem. We then use this result to study virtually rectangular lattices, establishing conditions for the lattice to be virtually rectangular and determining the index of a rectangular sublattice. We further investigate the $2$-dimensional situation, showing that virtually rectangular lattices in the plane correspond to elliptic curves isogenous to those with real $j$-invariant. We also identify planar virtually rectangular lattices in terms of a natural rationality condition of the geodesics on the modular curve carrying the corresponding points.