title: The covering threshold of a directed acyclic graph by directed acyclic subgraphs

abstract: Let $H$ be a directed acyclic graph other than a rooted star. It is known that there are constants $c(H)$ and $C(H)$ such that the following holds for the complete directed graph $D_n$. There are at most $C\log n$ directed acyclic subgraphs of $D_n$ that cover every $H$-copy of $D_n$, while fewer than $c\log n$ directed acyclic subgraphs of $D_n$ do not cover all $H$-copies. Here this dichotomy is considerably strengthened. Let ${\vec G}(n,p)$ denote the random directed graph. The {\em fractional arboricity} of $H$ is $a(H) = max \{\frac{|E(H')|}{|V(H')|-1}\}$, where the maximum is over all non-singleton subgraphs of $H$. If $a(H) = \frac{|E(H)|}{|V(H)|-1}$ then $H$ is {\em totally balanced}. Complete graphs, complete multipartite graphs, cycles, trees, and, in fact, almost all graphs, are totally balanced. It is proved: 1) Let $H$ be a dag with $h$ vertices and $m$ edges other than a rooted star. For every $a^* > a(H)$ there exists $c^* = c^*(a^*,H) > 0$ such that almost surely $G \sim {\vec G}(n,n^{-1/a^*})$ has the property that every set $X$ of at most $c^*\log n$ directed acyclic subgraphs of $G$ does not cover all $H$-copies of $G$. Moreover, there exists $s(H) = m/2 + O(m^{4/5}h^{1/5})$ such that the following stronger assertion holds for any such $X$: There is an $H$-copy in $G$ that has no more than $s(H)$ of its edges covered by each element of $X$. 2) If $H$ is totally balanced then for every $0 < a^* < a(H)$, almost surely $G \sim {\vec G}(n,n^{-1/a^*})$ has a single directed acyclic subgraph that covers all its $H$-copies. As for the first result, note that if $h=o(m)$ then $s(H)=(1+o_m(1))m/2$ is about half of the edges of $H$. In fact, for infinitely many $H$ it holds that $s(H)=m/2$, optimally. As for the second result, the requirement that $H$ is totally balanced cannot, generally, be relaxed.


title: Improving cosmological covariance matrices with machine learning

abstract: Cosmological covariance matrices are fundamental for parameter inference, since they are responsible for propagating uncertainties from the data down to the model parameters. However, when data vectors are large, in order to estimate accurate and precise matrices we need huge numbers of observations, or rather costly simulations - neither of which may be viable. In this work we propose a machine learning approach to alleviate this problem in the context of the matrices used in the study of large-scale structure. With only a small amount of data (matrices built with samples of 50-200 halo power spectra) we are able to provide significantly improved matrices, which are almost indistinguishable from the ones built from much larger samples (thousands of spectra). In order to perform this task we trained convolutional neural networks to denoise the matrices, using in the training process a data set made up entirely of spectra extracted from simple, inexpensive halo simulations (mocks). We then show that the method not only removes the noise in the matrices of the cheap simulation, but it is also able to successfully denoise the matrices of halo power spectra from N-body simulations. We compare the denoised to the other matrices using several metrics, and in all of them they score better, without any signs of spurious artifacts. With the help of the Wishart distribution we derive an analytical extrapolation for the effective sample augmentation allowed by the denoiser. Finally, we show that, by using the denoised matrices, the cosmological parameters can be recovered with nearly the same accuracy as when using matrices built with a sample of 30,000 spectra in the case of the cheap simulations, and with 15,000 spectra in the case of the N-body simulations. Of particular interest is the bias in the Hubble parameter $H_0$, which was significantly reduced after applying the denoiser.


title: Moon and background removal algorithm for all-sky imager

abstract: All-sky imagers (ASIs) are used to record auroral activities from the ground but are often contaminated by the moon. Here, we studied the THEMIS ASIs data and developed an algorithm to eliminate the moon which can be generalized to other types of ASIs. With our algorithm, the ASI pixels within the moon's surface are typically saturated and thus removed by the algorithm. The ASI pixels within the moon's glow are close to but not saturated and thus can be calibrated by the algorithm to recover auroral structures within the glow. For pixels far away from the moon or when there is no moon, the algorithm preserves typical auroral forms, from the transient features of auroral streamers and pulsating aurora to more stable features of pre-onset arcs. Note that the algorithm does not treat clouds, which is a known limitation.


title: A necessary and sufficient condition for the existence of $\{p,p+1,q-1,q\}$-orientations in simple graphs

abstract: Let $G$ be a simple graph and let $p$ and $q$ be two integer-valued functions on $V(G)$ with $p< q$ in which for each $v\in V(G)$, $q(v) \ge \frac{1}{2}d_G(v)$ and $p(v) \ge \frac{1}{2} q(v)-2$. In this note, we show that $G$ has an orientation such that for each vertex $v$, $d^+_G(v)\in\{p(v),p(v)+1,q(v)-1,q(v)\}$ if and only if it has an orientation such that for each vertex $v$, $p(v) \le d^+_G(v)\le q(v)$ where $d^+_G(v)$ denotes the out-degree of $v$ in $G$. From this result, we refine a result due to Addario-Berry, Dalal, and Reed (2008) in bipartite simple graphs on the existence of degree constrained factors.


title: Sequence-to-Action: Grammatical Error Correction with Action Guided Sequence Generation

abstract: The task of Grammatical Error Correction (GEC) has received remarkable attention with wide applications in Natural Language Processing (NLP) in recent years. While one of the key principles of GEC is to keep the correct parts unchanged and avoid over-correction, previous sequence-to-sequence (seq2seq) models generate results from scratch, which are not guaranteed to follow the original sentence structure and may suffer from the over-correction problem. In the meantime, the recently proposed sequence tagging models can overcome the over-correction problem by only generating edit operations, but are conditioned on human designed language-specific tagging labels. In this paper, we combine the pros and alleviate the cons of both models by proposing a novel Sequence-to-Action~(S2A) module. The S2A module jointly takes the source and target sentences as input, and is able to automatically generate a token-level action sequence before predicting each token, where each action is generated from three choices named SKIP, COPY and GENerate. Then the actions are fused with the basic seq2seq framework to provide final predictions. We conduct experiments on the benchmark datasets of both English and Chinese GEC tasks. Our model consistently outperforms the seq2seq baselines, while being able to significantly alleviate the over-correction problem as well as holding better generality and diversity in the generation results compared to the sequence tagging models.


title: Improving AMD diagnosis by the simultaneous identification of associated retinal lesions

abstract: Age-related Macular Degeneration (AMD) is the predominant cause of blindness in developed countries, specially in elderly people. Moreover, its prevalence is increasing due to the global population ageing. In this scenario, early detection is crucial to avert later vision impairment. Nonetheless, implementing large-scale screening programmes is usually not viable, since the population at-risk is large and the analysis must be performed by expert clinicians. Also, the diagnosis of AMD is considered to be particularly difficult, as it is characterized by many different lesions that, in many cases, resemble those of other macular diseases. To overcome these issues, several works have proposed automatic methods for the detection of AMD in retinography images, the most widely used modality for the screening of the disease. Nowadays, most of these works use Convolutional Neural Networks (CNNs) for the binary classification of images into AMD and non-AMD classes. In this work, we propose a novel approach based on CNNs that simultaneously performs AMD diagnosis and the classification of its potential lesions. This latter secondary task has not yet been addressed in this domain, and provides complementary useful information that improves the diagnosis performance and helps understanding the decision. A CNN model is trained using retinography images with image-level labels for both AMD and lesion presence, which are relatively easy to obtain. The experiments conducted in several public datasets show that the proposed approach improves the detection of AMD, while achieving satisfactory results in the identification of most lesions.


title: Adaptive estimation for the nonparametric bivariate additive model in random design with long-memory dependent errors

abstract: We investigate the nonparametric bivariate additive regression estimation in the random design and long-memory errors and construct adaptive thresholding estimators based on wavelet series. The proposed approach achieves asymptotically near-optimal convergence rates when the unknown function and its univariate additive components belong to Besov space. We consider the problem under two noise structures; (1) homoskedastic Gaussian long memory errors and (2) heteroskedastic Gaussian long memory errors. In the homoskedastic long-memory error case, the estimator is completely adaptive with respect to the long-memory parameter. In the heteroskedastic long-memory case, the estimator may not be adaptive with respect to the long-memory parameter unless the heteroskedasticity is of polynomial form. In either case, the convergence rates depend on the long-memory parameter only when long-memory is strong enough, otherwise, the rates are identical to those under i.i.d. errors. The proposed approach is extended to the general $r$-dimensional additive case, with $r>2$, and the corresponding convergence rates are free from the curse of dimensionality.


title: A measure of dissimilarity between diffusive processes on networks

abstract: In this paper, we present a framework to compare the differences in the occupation probabilities of two random walk processes, which can be generated by modifications of the network or the transition probabilities between the nodes of the same network. We explore a dissimilarity measure defined in terms of the eigenvalues and eigenvectors of the normalized Laplacian of each process. This formalism is implemented to examine differences in the diffusive dynamics described by circulant matrices, the effect of new edges, and the rewiring in networks as well as to evaluate divergences in the transport in degree-biased random walks and random walks with stochastic reset. Our results provide a general tool to compare dynamical processes on networks considering the evolution of states and capturing the complexity of these structures.


title: h-Principle for Stratified Spaces

abstract: We extend Gromov and Eliashberg-Mishachev's h-principle on manifolds to stratified spaces. This is done in both the sheaf-theoretic framework of Gromov and the smooth jets framework of Eliashberg-Mishachev. The generalization involves developing 1) the notion of stratified continuous sheaves to extend Gromov's theory, 2) the notion of smooth stratified bundles to extend Eliashberg-Mishachev's theory. A new feature is the role played by homotopy fiber sheaves. We show, in particular, that stratumwise flexibility of stratified continuous sheaves along with flexibility of homotopy fiber sheaves furnishes the parametric h-principle. We extend the Eliashberg-Mishachev holonomic approximation theorem to stratified spaces. We also prove a stratified analog of the Smale-Hirsch immersion theorem.


title: Wireless On-Chip Communications for Scalable In-memory Hyperdimensional Computing

abstract: Hyperdimensional computing (HDC) is an emerging computing paradigm that represents, manipulates, and communicates data using very long random vectors (aka hypervectors). Among different hardware platforms capable of executing HDC algorithms, in-memory computing (IMC) systems have been recently proved to be one of the most energy-efficient options, due to hypervector manipulations in the memory itself that reduces data movement. Although implementations of HDC on single IMC cores have been made, their parallelization is still unresolved due to the communication challenges that these novel architectures impose and that traditional Networks-on-Chip and Networks-in-Package were not designed for. To cope with this difficulty, we propose the use of wireless on-chip communication technology in unique ways. We are particularly interested in physically distributing a large number of IMC cores performing similarity search across a chip, and maintaining the classification accuracy when each of which is queried with a slightly different version of a bundled hypervector. To achieve it, we introduce a novel over-the-air computing that consists of defining different binary decision regions in the receivers so as to compute the logical majority operation (i.e., bundling, or superposition) required in HDC. It introduces moderate overheads of a single antenna and receiver per IMC core. By doing so, we achieve a joint broadcast distribution and computation with a performance and efficiency unattainable with wired interconnects, which in turn enables massive parallelization of the architecture. It is demonstrated that the proposed approach allows to both bundle at least three hypervectors and scale similarity search to 64 IMC cores seamlessly, while incurring an average bit error ratio of 0.01 without any impact in the accuracy of a generic HDC-based classifier working with 512-bit vectors.


title: Nonparametric likelihood-free inference with Jensen-Shannon divergence for simulator-based models with categorical output

abstract: Likelihood-free inference for simulator-based statistical models has recently attracted a surge of interest, both in the machine learning and statistics communities. The primary focus of these research fields has been to approximate the posterior distribution of model parameters, either by various types of Monte Carlo sampling algorithms or deep neural network -based surrogate models. Frequentist inference for simulator-based models has been given much less attention to date, despite that it would be particularly amenable to applications with big data where implicit asymptotic approximation of the likelihood is expected to be accurate and can leverage computationally efficient strategies. Here we derive a set of theoretical results to enable estimation, hypothesis testing and construction of confidence intervals for model parameters using asymptotic properties of the Jensen--Shannon divergence. Such asymptotic approximation offers a rapid alternative to more computation-intensive approaches and can be attractive for diverse applications of simulator-based models. 61


title: Hofmann-Mislove through the Lenses of Priestley

abstract: We use Priestley duality to give a new proof of the Hofmann-Mislove Theorem.


title: The Gromov-Tischler theorem for stratified spaces

abstract: We define a notion of a symplectic structure on stratified spaces, and demonstrate that given a symplectic structure on a stratified space $X$ with integral cohomology class, $X$ can be symplectically embedded in some complex projective space equipped with the standard K\"ahler form. This extends a theorem, due to Gromov and Tischler for manifolds, to stratified spaces.


title: Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers

abstract: In theorem proving, the task of selecting useful premises from a large library to unlock the proof of a given conjecture is crucially important. This presents a challenge for all theorem provers, especially the ones based on language models, due to their relative inability to reason over huge volumes of premises in text form. This paper introduces Thor, a framework integrating language models and automated theorem provers to overcome this difficulty. In Thor, a class of methods called hammers that leverage the power of automated theorem provers are used for premise selection, while all other tasks are designated to language models. Thor increases a language model's success rate on the PISA dataset from $39\%$ to $57\%$, while solving $8.2\%$ of problems neither language models nor automated theorem provers are able to solve on their own. Furthermore, with a significantly smaller computational budget, Thor can achieve a success rate on the MiniF2F dataset that is on par with the best existing methods. Thor can be instantiated for the majority of popular interactive theorem provers via a straightforward protocol we provide.


title: Human and technological infrastructures of fact-checking

abstract: Increasing demands for fact-checking has led to a growing interest in developing systems and tools to automate the fact-checking process. However, such systems are limited in practice because their system design often does not take into account how fact-checking is done in the real world and ignores the insights and needs of various stakeholder groups core to the fact-checking process. This paper unpacks the fact-checking process by revealing the infrastructures -- both human and technological -- that support and shape fact-checking work. We interviewed 26 participants belonging to 16 fact-checking teams and organizations with representation from 4 continents. Through these interviews, we describe the human infrastructure of fact-checking by identifying and presenting, in-depth, the roles of six primary stakeholder groups, 1) Editors, 2) External fact-checkers, 3) In-house fact-checkers, 4) Investigators and researchers, 5) Social media managers, and 6) Advocators. Our findings highlight that the fact-checking process is a collaborative effort among various stakeholder groups and associated technological and informational infrastructures. By rendering visibility to the infrastructures, we reveal how fact-checking has evolved to include both short-term claims centric and long-term advocacy centric fact-checking. Our work also identifies key social and technical needs and challenges faced by each stakeholder group. Based on our findings, we suggest that improving the quality of fact-checking requires systematic changes in the civic, informational, and technological contexts.


title: Contextual Information-Directed Sampling

abstract: Information-directed sampling (IDS) has recently demonstrated its potential as a data-efficient reinforcement learning algorithm. However, it is still unclear what is the right form of information ratio to optimize when contextual information is available. We investigate the IDS design through two contextual bandit problems: contextual bandits with graph feedback and sparse linear contextual bandits. We provably demonstrate the advantage of contextual IDS over conditional IDS and emphasize the importance of considering the context distribution. The main message is that an intelligent agent should invest more on the actions that are beneficial for the future unseen contexts while the conditional IDS can be myopic. We further propose a computationally-efficient version of contextual IDS based on Actor-Critic and evaluate it empirically on a neural network contextual bandit.


title: The Bold-Thin-Bold Diagrammatic Monte Carlo Method for Open Quantum Systems

abstract: We present two diagrammatic Monte Carlo methods for quantum systems coupled with harmonic baths, whose dynamics are described by integro-differential equations. The first approach can be considered as a reformulation of Dyson series, and the second one, called "bold-thin-bold diagrammatic Monte Carlo", is based on resummation of the diagrams in the Dyson series to accelerate its convergence. The underlying mechanism of the governing equations associated with the two methods lies in the recurrence relation of the path integrals, which is the most costly part in the numerical methods. The proposed algorithms give an extension to the work ["Fast algorithms of bath calculations in simulations of quantum system-bath dynamics", Computer Physics Communications, to appear], where the algorithms are designed based on reusing the previous calculations of bath influence functionals. Compared with the algorithms therein, our methods further include the reuse of system associated functionals and show better performance in terms of computational efficiency and memory cost. We demonstrate the two methods in the framework of spin-boson model, and numerical experiments are carried out to verify the validity of the methods.


title: Efficient PHY Layer Abstraction under Imperfect Channel Estimation

abstract: As most existing work investigate the PHY layer abstraction under an assumption of perfect channel estimation, it may become unreliable if there exists channel estimation error in a real communication system. This letter improves an efficient PHY layer method, EESM-log-SGN PHY layer abstraction, by considering the presence of channel estimation error. We develop two methods for implementing the EESM-log-SGN PHY abstraction under imperfect channel estimation. We show that the effective SINR is not impacted by the channel estimation error under multiple-input and single-output (MISO)/single-input and single-output (SISO) configuration, which is also verified by the full PHY simulation. The developed methods are then validated under different orthogonal frequency division multiplexing (OFDM) scenarios.


title: A meshfree collocation scheme for surface differential operators on point clouds

abstract: We present a meshfree collocation scheme to discretize intrinsic surface differential operators over scalar fields on smooth curved surfaces with given normal vectors and a non-intersecting tubular neighborhood. The method is based on Discretization-Corrected Particle Strength Exchange (DC-PSE), which generalizes finite difference methods to meshfree point clouds. The proposed Surface DC-PSE method is derived from an embedding theorem, but we analytically reduce the operator kernels along surface normals to obtain a purely intrinsic computational scheme over surface point clouds. We benchmark Surface DC-PSE by discretizing the Laplace-Beltrami operator on a circle and a sphere, and we present convergence results for both explicit and implicit solvers. We then showcase the algorithm on the problem of computing Gauss and mean curvature of an ellipsoid and of the Stanford Bunny by approximating the intrinsic divergence of the normal vector field. Finally, we compare Surface DC-PSE with Surface Finite Elements (SFEM) and Diffuse-Interface Finite Elements (DI FEM) in a validation case.


title: Asymptotic and catalytic containment of representations of $\mathsf{SU}(n)$

abstract: Given two finite-dimensional representations $\rho$ and $\sigma$ of $\mathsf{SU}(n)$, when is there $n \in \mathbb{N}$ such that $\rho^{\otimes n}$ is isomorphic to a subrepresentation of $\sigma^{\otimes n}$? When is there a third representation $\eta$ such that $\rho \otimes \eta$ is a subrepresentation of $\sigma \otimes \eta$? We call these the questions of asymptotic and catalytic containment, respectively. We answer both questions in terms of an explicit family of inequalities. These inequalities are almost necessary and sufficient in the following sense. If two representations satisfy all inequalities strictly, then asymptotic and catalytic containment follow (the former in generic cases). Conversely, if asymptotic or catalytic containment holds, then the inequalities must hold non-strictly. These results are an instance of a recent \emph{Vergleichsstellensatz} applied to the representation semiring.


title: Visual Explanations from Deep Networks via Riemann-Stieltjes Integrated Gradient-based Localization

abstract: Neural networks are becoming increasingly better at tasks that involve classifying and recognizing images. At the same time techniques intended to explain the network output have been proposed. One such technique is the Gradient-based Class Activation Map (Grad-CAM), which is able to locate features of an input image at various levels of a convolutional neural network (CNN), but is sensitive to the vanishing gradients problem. There are techniques such as Integrated Gradients (IG), that are not affected by that problem, but its use is limited to the input layer of a network. Here we introduce a new technique to produce visual explanations for the predictions of a CNN. Like Grad-CAM, our method can be applied to any layer of the network, and like Integrated Gradients it is not affected by the problem of vanishing gradients. For efficiency, gradient integration is performed numerically at the layer level using a Riemann-Stieltjes sum approximation. Compared to Grad-CAM, heatmaps produced by our algorithm are better focused in the areas of interest, and their numerical computation is more stable. Our code is available at https://github.com/mlerma54/RSIGradCAM


title: A Comment on Loop Corrections to the Celestial Stress Tensor

abstract: In this note we show how the 1-loop exact correction to the subleading soft graviton theorem arising from IR divergences of scattering amplitudes matches onto the quadratic corrections to the soft charges computed from the BMS flux algebra. In the process, we examine how the BMS flux construction extends the celestial diamond framework to non-linear order and non-trivial vacua, and provides the natural symmetry generators for Celestial CFT.


title: The Case for Perspective in Multimodal Datasets

abstract: This paper argues in favor of the adoption of annotation practices for multimodal datasets that recognize and represent the inherently perspectivized nature of multimodal communication. To support our claim, we present a set of annotation experiments in which FrameNet annotation is applied to the Multi30k and the Flickr 30k Entities datasets. We assess the cosine similarity between the semantic representations derived from the annotation of both pictures and captions for frames. Our findings indicate that: (i) frame semantic similarity between captions of the same picture produced in different languages is sensitive to whether the caption is a translation of another caption or not, and (ii) picture annotation for semantic frames is sensitive to whether the image is annotated in presence of a caption or not.


title: Odd frequency pairing in a quantum critical metal

abstract: We analyze a possibility for odd-frequency pairing near a quantum critical point(QCP) in a metal. We consider a model with dynamical pairing interaction $V(\Omega_n)\sim 1/|\Omega_n|^\gamma$ (the $\gamma$-model). This interaction gives rise to a non-Fermi liquid in the normal state and is attractive for pairing. The two trends compete with each other. We search for odd-frequency solutions for the pairing gap $\Delta (\omega_m)= -\Delta(\omega_m)$. We show that for $\gamma <1$, odd-frequency superconductivity looses the competition with a non-Fermi liquid and does not develop. We show that the pairing does develop in the extended model in which interaction in the pairing channel is larger than the one in the particle-hole channel. For $\gamma >1$, we argue that the original model is at the boundary towards odd-frequency pairing and analyze in detail how superconductivity is triggered by a small external perturbation. In addition, we show that for $\gamma >2$, the system gets frozen at the critical point towards pairing in a finite range in the parameter space. This give rise to highly unconventional phase diagrams with flat regions.


title: Dark Stars Powered by Self-Interacting Dark Matter

abstract: Dark matter annihilation might power the first luminous stars in the Universe. These types of stars, known as dark stars, could form in $(10^6\mathrm{-}10^8)\,M_\odot$ protohalos at redshifts $z \sim 20$, and they could be much more luminous and larger in size than ordinary stars powered by nuclear fusion. We investigate the formation of dark stars in the self-interacting dark matter (SIDM) scenario. We present a concrete particle physics model of SIDM that can simultaneously give rise to the observed dark matter density, satisfy constraints from astrophysical and terrestrial searches, and address the various small-scale problems of collisionless dark matter via the self-interactions. In this model, the power from dark matter annihilation is deposited in the baryonic gas in environments where dark stars could form. We further study the evolution of SIDM density profiles in the protohalos at $z \sim 20$. As the baryon cloud collapses due to the various cooling processes, the deepening gravitational potential can speed up gravothermal evolution of the SIDM halo, yielding sufficiently high dark matter densities for dark stars to form. We find that SIDM-powered dark stars can have similar properties, such as their luminosity and size, as dark stars predicted in collisionless dark matter models.


title: On the classification of UV completions of integrable $T \bar{T}$ deformations of CFT

abstract: It is well understood that 2d conformal field theory (CFT) deformed by an irrelevant $T\bar{T}$ perturbation of dimension $4$ has universal properties. In particular, for the most interesting cases, the theory develops a singularity in the ultra-violet (UV), signifying a shortest possible distance, with a Hagedorn transition in applications to string theory. We show that by adding an infinite number of higher $[T\bar{T}]_{s>1}$ irrelevant operators with tuned couplings, this singularity can be resolved and the theory becomes UV complete with UV central charge $c_{\rm UV}$. We propose an approach to classifying the possible UV completions that are integrable. For the Ising model with $c_{\rm IR} = \tfrac{1}{2}$ we find 3 UV completions based on a single massless Majorana fermion description with $c_{\rm UV} = \tfrac{7}{10}$ and $ \tfrac{3}{2}$, which both have ${\cal N}=1$ supersymmetry and were previously known, and we argue that these are the only solutions to our classification problem based on this spectrum of particles. We find 3 additional ones with a spectrum of 8 massless particles related to the Lie group $E_8$ appropriate to a magnetic perturbation with $c_{\rm UV} = \tfrac{21}{22} , \tfrac{15}{2}$ and $\tfrac{31}{2}$. We argue that it is likely there are more cases for this $E_8$ spectrum. We also study simpler cases based on ${\rm su(3)}$ and ${\rm su(4)}$ where we can propose complete classifications. For ${\rm su(3)}$ the infra-red (IR) theory is the 3-state Potts model with $c_{\rm IR} = \tfrac{4}{5}$ and we find 3 completions with $\tfrac{4}{5} < c_{\rm UV} \leq \tfrac{16}{5}$. For the ${\rm su(4)}$ case, which has $3$ particles and $c_{\rm IR} =1$, and we find $11$ UV completions with $1 < c_{\rm UV} \leq 5$, most of which were previously unknown.

categories: hep-th cond-mat.stat-mech math-ph math.MP


title: Monitoring of Perception Systems: Deterministic, Probabilistic, and Learning-based Fault Detection and Identification

abstract: This paper investigates runtime monitoring of perception systems. Perception is a critical component of high-integrity applications of robotics and autonomous systems, such as self-driving cars. In these applications, failure of perception systems may put human life at risk, and a broad adoption of these technologies requires the development of methodologies to guarantee and monitor safe operation. Despite the paramount importance of perception, currently there is no formal approach for system-level perception monitoring. In this paper, we formalize the problem of runtime fault detection and identification in perception systems and present a framework to model diagnostic information using a diagnostic graph. We then provide a set of deterministic, probabilistic, and learning-based algorithms that use diagnostic graphs to perform fault detection and identification. Moreover, we investigate fundamental limits and provide deterministic and probabilistic guarantees on the fault detection and identification results. We conclude the paper with an extensive experimental evaluation, which recreates several realistic failure modes in the LGSVL open-source autonomous driving simulator, and applies the proposed system monitors to a state-of-the-art autonomous driving software stack (Baidu's Apollo Auto). The results show that the proposed system monitors outperform baselines, have the potential of preventing accidents in realistic autonomous driving scenarios, and incur a negligible computational overhead.


title: Improved Modeling of Persistence Diagram

abstract: High-dimensional reduction methods are powerful tools for describing the main patterns in big data. One of these methods is the topological data analysis (TDA), which modeling the shape of the data in terms of topological properties. This method specifically translates the original data into two-dimensional system, which is graphically represented via the 'persistence diagram'. The outliers points on this diagram present the data pattern, whereas the other points behave as a random noise. In order to determine which points are significant outliers, replications of the original data set are needed. Once only one original data is available, replications can be created by fitting a model for the points on the persistence diagram, and then using the MCMC methods. One of such model is the RST (Replicating Statistical Topology). In this paper we suggest a modification of the RST model. Using a simulation study, we show that the modified RST improves the performance of the RST in terms of goodness of fit. We use the MCMC Metropolis-Hastings algorithm for sampling according to the fitted model.


title: A note on the probabilistic stability of randomized Taylor schemes

abstract: We study the stability of randomized Taylor schemes for ODEs. We consider three notions of probabilistic stability: asymptotic stability, mean-square stability, and stability in probability. We prove fundamental properties of the probabilistic stability regions and benchmark them against the absolute stability regions for deterministic Taylor schemes.


title: Null Surface Thermodynamics in Topologically Massive Gravity

abstract: We study three dimensional topologically massive gravity (TMG) in presence of a generic codimension one null boundary. The existence of the boundary is accounted for by enlarging the Hilbert space of the theory by degrees of freedom which only reside at the boundary, the boundary degrees of freedom. The solution phase space of this theory in addition to bulk massive chiral gravitons of the TMG, involves boundary modes which are labeled by surface charges associated with large diffeomorphisms. We show boundary degrees of freedom obey a local thermodynamic description over the solution phase space, null surface thermodynamics, described by a local version of the first law, a local Gibbs-Duhem equation, and local zeroth law. Due to the expansion of the boundary and also the passage of the bulk mode through the boundary, our null surface thermodynamics describes an open boundary system that is generically out of thermal equilibrium.


title: Mechanisms without transfers for fully biased agents

abstract: A principal must decide between two options. Which one she prefers depends on the private information of two agents. One agent always prefers the first option; the other always prefers the second. Transfers are infeasible. One application of this setting is the efficient division of a fixed budget between two competing departments. We first characterize all implementable mechanisms under arbitrary correlation. Second, we study when there exists a mechanism that yields the principal a higher payoff than she could receive by choosing the ex-ante optimal decision without consulting the agents. In the budget example, such a profitable mechanism exists if and only if the information of one department is also relevant for the expected returns of the other department. We generalize this insight to derive necessary and sufficient conditions for the existence of a profitable mechanism in the n-agent allocation problem with independent types.


title: Power and accountability in reinforcement learning applications to environmental policy

abstract: Machine learning (ML) methods already permeate environmental decision-making, from processing high-dimensional data on earth systems to monitoring compliance with environmental regulations. Of the ML techniques available to address pressing environmental problems (e.g., climate change, biodiversity loss), Reinforcement Learning (RL) may both hold the greatest promise and present the most pressing perils. This paper explores how RL-driven policy refracts existing power relations in the environmental domain while also creating unique challenges to ensuring equitable and accountable environmental decision processes. We leverage examples from RL applications to climate change mitigation and fisheries management to explore how RL technologies shift the distribution of power between resource users, governing bodies, and private industry.


title: Limitations of a proposed correction for slow drifts in decision criterion

abstract: Trial history biases in decision-making tasks are thought to reflect systematic updates of decision variables, therefore their precise nature informs conclusions about underlying heuristic strategies and learning processes. However, random drifts in decision variables can corrupt this inference by mimicking the signatures of systematic updates. Hence, identifying the trial-by-trial evolution of decision variables requires methods that can robustly account for such drifts. Recent studies (Lak'20, Mendon\c{c}a'20) have made important advances in this direction, by proposing a convenient method to correct for the influence of slow drifts in decision criterion, a key decision variable. Here we apply this correction to a variety of updating scenarios, and evaluate its performance. We show that the correction fails for a wide range of commonly assumed systematic updating strategies, distorting one's inference away from the veridical strategies towards a narrow subset. To address these limitations, we propose a model-based approach for disambiguating systematic updates from random drifts, and demonstrate its success on real and synthetic datasets. We show that this approach accurately recovers the latent trajectory of drifts in decision criterion as well as the generative systematic updates from simulated data. Our results offer recommendations for methods to account for the interactions between history biases and slow drifts, and highlight the advantages of incorporating assumptions about the generative process directly into models of decision-making.


title: Improved Healthcare Access in Low-resource Regions: A Review of Technological Solutions

abstract: Technological advancements have led to significant improvements in healthcare for prevention, diagnosis, treatments, and care. While resourceful regions can capitalize on state-of-the-art healthcare technologies, there might be barriers and delays in technology-enabled healthcare availability for a low-resource region. Unique innovations guided by the constraints of low-resource regions are required to truly make healthcare technologies ubiquitous and achieve the goal of "healthcare for all". In this review, we identified several research and development works that have investigated technology-based healthcare innovations targeted at low-resource regions. We found three main pillars of work towards this end: low-cost hardware for the affordability of medical devices, use of information and communication technology (ICT) tools for scalability and operational efficiencies in healthcare services, and mobile health solutions. Several emerging technologies are also promising for healthcare in low-resource regions, such as artificial intelligence, the Internet of Things (IoT), and blockchain technology. We discuss these emerging technologies too in this review.


title: Weisfeiler and Leman Go Walking: Random Walk Kernels Revisited

abstract: Random walk kernels have been introduced in seminal work on graph learning and were later largely superseded by kernels based on the Weisfeiler-Leman test for graph isomorphism. We give a unified view on both classes of graph kernels. We study walk-based node refinement methods and formally relate them to several widely-used techniques, including Morgan's algorithm for molecule canonization and the Weisfeiler-Leman test. We define corresponding walk-based kernels on nodes that allow fine-grained parameterized neighborhood comparison, reach Weisfeiler-Leman expressiveness, and are computed using the kernel trick. From this we show that classical random walk kernels with only minor modifications regarding definition and computation are as expressive as the widely-used Weisfeiler-Leman subtree kernel but support non-strict neighborhood comparison. We verify experimentally that walk-based kernels reach or even surpass the accuracy of Weisfeiler-Leman kernels in real-world classification tasks.


title: Stable degenerations of singularities

abstract: For any Kawamata log terminal (klt) singularity and any minimizer of its normalized volume function, we prove that the associated graded ring is always finitely generated, as conjectured by Chi Li. As a consequence, we complete the last step of establishing the Stable Degeneration Conjecture proposed by Chi Li and the first named author for an arbitrary klt singularity.


title: Privacy-Preserving Data-Enabled Predictive Leading Cruise Control in Mixed Traffic

abstract: Data-driven predictive control of connected and automated vehicles (CAVs) has received increasing attention as it can achieve safe and optimal control without relying on explicit dynamical models. However, employing the data-driven strategy involves the collection and sharing of privacy-sensitive vehicle information, which is vulnerable to privacy leakage and might further lead to malicious activities. In this paper, we develop a privacy-preserving data-enabled predictive control scheme for CAVs in a mixed traffic environment, where human-driven vehicles and CAVs coexist. We tackle external eavesdroppers and honest-but-curious central unit eavesdroppers who wiretap the communication channel of the mixed traffic system and intend to infer the CAVs' state and input information. An affine masking-based privacy protection method is designed to conceal the true state and input signals, and an extended form of the data-enabled predictive leading cruise control under different matrix structures is derived to achieve privacy-preserving optimal control for CAVs. Numerical simulations demonstrate that the proposed scheme can protect the privacy of CAVs against attackers without affecting control performance or incurring heavy computations.


title: On Hofmann-Streicher universes

abstract: We have another look at the construction by Hofmann and Streicher of a universe $(U,{\mathsf{E}l})$ for the interpretation of Martin-L\"of type theory in a presheaf category $\psh{\C}$. It turns out that $(U,{\mathsf{E}l})$ can be described as the \emph{categorical nerve} of the classifier $\dot{\Set}^{\mathsf{op}} \to \op{\Set}$ for discrete fibrations in $\Cat$, where the nerve functor is right adjoint to the so-called ``Grothendieck construction'' taking a presheaf $P : \op{\C}\to\Set$ to its category of elements $\int_\C P$. We also consider change of base for such universes, as well as universes of structured families, such as fibrations.


title: Improved model of X-ray emission from hot accretion flows

abstract: We have developed an improved model of X-ray emission from optically thin, two-temperature accretion flows, \texttt{kerrflow}, using an exact Monte Carlo treatment of global Comptonization as well as with a fully general relativistic description of both the radiative and hydrodynamic processes. It also includes pion-decay electrons, whose synchrotron emission dominates the seed photons yield at high accretion rates in flows around supermassive black holes. We consider in detail the dependence of the model spectra on the black hole spin, the electron heating efficiency, the plasma magnetization and the accretion rate, and we discuss feasibility of constraining these parameters by analyzing X-ray spectra of nearby low-luminosity active galactic nuclei. We note some degeneracies which hinder precise estimations of these parameters when individual X-ray spectra are analyzed. These degeneracies are eliminated when several spectra from a given source are fitted jointly, which then allows us to reliably measure the model parameters. We find significant differences with previous spectral models of hot-flow emission, related with the computational methods for Comptonization. Finally, we briefly consider and discuss the dependence on the viscosity parameter and on the outflow strength.


title: Dynamics of microswimmers near a soft penetrable interface

abstract: Few simulations exist for microswimmers near deformable interfaces. Here, we present numerical simulations of the hydrodynamic flows associated with a single microswimmer embedded in a binary fluid mixture. The two fluids demix, separated by a penetrable and deformable interface that we assume to be initially prepared in its planar ground-state. We find that the microswimmer can either penetrate the interface, move parallel to it or bounce back off it. We analyze how the trajectory depends on the swimmer type (pusher/puller) and the angle of incidence with respect to the interface. Our simulations are performed in a system with periodic boundary conditions, corresponding to an infinite array of fluid interfaces. A puller reaches a steady state in which it either swims parallel to the interface or selects a perpendicular orientation, repeatedly penetrating through the interface. In contrast, a pusher follows a bouncing trajectory between two interfaces. We discuss several examples in biology in which swimmers penetrate soft interfaces. Our work can be seen as a highly simplified model of such processes.


title: Test-Time Robust Personalization for Federated Learning

abstract: Federated Learning (FL) is a machine learning paradigm where many clients collaboratively learn a shared global model with decentralized training data. Personalized FL additionally adapts the global model to different clients, achieving promising results on consistent local training and test distributions. However, for real-world personalized FL applications, it is crucial to go one step further: robustifying FL models under the evolving local test set during deployment, where various distribution shifts can arise. In this work, we identify the pitfalls of existing works under test-time distribution shifts and propose Federated Test-time Head Ensemble plus tuning(FedTHE+), which personalizes FL models with robustness to various test-time distribution shifts. We illustrate the advancement of FedTHE+ (and its computationally efficient variant FedTHE) over strong competitors, by training various neural architectures (CNN, ResNet, and Transformer) on CIFAR10 andImageNet with various test distributions. Along with this, we build a benchmark for assessing the performance and robustness of personalized FL methods during deployment. Code: https://github.com/LINs-lab/FedTHE.


title: Are there echoes of gravitational waves?

abstract: In several approaches to evading the information paradox, the semiclassical black hole is replaced by an Exotic Compact Object (ECO). It has been conjectured that gravitational waves emitted by the merger of ECOs can reflect off the ECOs and produce a detectable `echo'. We argue that while a part of the wave can indeed reflect off the surface of an ECO, this reflected wave will get trapped by a new closed trapped surface produced by its own backreaction. Thus no detectable signal of the echo will emerge to infinity. The only assumption in this analysis is that causality is maintained to leading order in gently curved spacetime. Thus if echoes are actually detected, then we would face a profound change in our understanding of physics.


title: On a property of congruence lattices of slim, planar, semimodular lattices

abstract: In a 2121 paper with G\'abor Cz\'edli, we introduced and verified the Three-pendant Three-crown Property, 3P3C, for congruence lattices of slim, planar, semimodular lattices. The proof is very long; in part, because it relies on Cz\'edli's 2021 paper on lamps. This paper verifies 3P3C using the Swing Lemma, an elementary and short approach.


title: On the first and second largest components in the percolated Random Geometric Graph

abstract: The percolated random geometric graph $G_n(\lambda, p)$ has vertex set given by a Poisson Point Process in the square $[0,\sqrt{n}]^2$, and every pair of vertices at distance at most 1 independently forms an edge with probability $p$. For a fixed $p$, Penrose proved that there is a critical intensity $\lambda_c = \lambda_c(p)$ for the existence of a giant component in $G_n(\lambda, p)$. Our main result shows that for $\lambda > \lambda_c$, the size of the second-largest component is a.a.s. of order $(\log n)^2$. Moreover, we prove that the size of the largest component rescaled by $n$ converges almost surely to a constant, thereby strengthening results of Penrose. We complement our study by showing a certain duality result between percolation thresholds associated to the Poisson intensity and the bond percolation of $G(\lambda, p)$ (which is the infinite volume version of $G_n(\lambda,p)$). Moreover, we prove that for a large class of graphs converging in a suitable sense to $G(\lambda, 1)$, the corresponding critical percolation thresholds converge as well to the ones of $G(\lambda,1)$.


title: Regularization of energy-dependent pointlike interactions in 1D quantum mechanics

abstract: We construct a family of hermitian potentials in 1D quantum mechanics that converges in the zero-range limit to a $\delta$ interaction with an energy-dependent coupling. It falls out of the standard four-parameter family of pointlike interactions in 1D. Such classification was made by requiring the pointlike interaction to be hermitian. But we show that although our Hamiltonian is hermitian for the standard inner product when the range of the potential is finite, it becomes hermitian for a different inner product in the zero-range limit. This inner product attributes a finite probability (and not probability density) for the particle to be exactly located at the position of the potential. Such pointlike interactions can then be used to construct potentials with a finite support with an energy-dependent coupling.


title: Effcient magnetometer sensor array selection for signal reconstruction and brain source localization

abstract: Magnetoencephalography (MEG) is a noninvasive method for measuring magnetic flux signals caused by brain activity using sensor arrays located on or above the scalp. A common strategy for monitoring brain activity is to place sensors on a nearly uniform grid, or sensor array, around the head. By increasing the total number of sensors, higher spatial-frequency components of brain activity can be resolved as dictated by Nyquist sampling theory. Currently, there are few principled mathematical architectures for sensor placement aside from Nyquist considerations. However, global brain activity often exhibits low-dimensional patterns of spatio-temporal dynamics. The low-dimensional global patterns can be computed from the singular value decomposition and can be leveraged to select a small number of sensors optimized for reconstructing brain signals and localizing brain sources. Moreover, a smaller number of sensors which are systematically chosen can outperform the entire sensor array when considering noisy measurements. We propose a greedy selection algorithm based upon the QR decomposition that is computationally efficient to implement for MEG. We demonstrate the performance of the sensor selection algorithm for the tasks of signal reconstruction and localization. The performance is dependent upon source localization, with shallow sources easily identified and reconstructed, and deep sources more difficult to locate. Our findings suggest that principled methods for sensor selection can improve MEG capabilities and potentially add cost savings for monitoring brain-wide activity.


title: Data-driven, Internet-inspired, and Scalable EV Charging for Power Distribution Grid

abstract: Electric vehicles (EVs) are finally making their way onto the roads. However, the challenges concerning their long charging times and their impact on congestion of the power distribution grid are still waiting to be resolved. With historical measurement data, EV chargers can take better-informed actions while staying mostly off-line. Proposed solutions that depend on heavy communication and rigorous computation for optimal operation are not scalable. The solutions that do not depend on power distribution topology information, such as Droop control, are more practical as they only use local measurements. However, they result in sub-optimal operation due to a lack of a feedback mechanism. This study develops a distributed and data-driven congestion detection methodology embedded in the Additive Increase Multiplicative Decrease (AIMD) algorithm to control mass EV charging in a distribution grid. The proposed distributed AIMD algorithm performs very closely to the ideal AIMD regarding fairness and congestion handling. Its communication need is almost as low as the Droop control. The results can provide crucial insights on how we can use data to reveal the inner dynamics and structure of the power grid and help develop more advanced data-driven algorithms for grid-integrated power electronics control.


title: Fast ABC-Boost: A Unified Framework for Selecting the Base Class in Multi-Class Classification

abstract: The work in ICML'09 showed that the derivatives of the classical multi-class logistic regression loss function could be re-written in terms of a pre-chosen "base class" and applied the new derivatives in the popular boosting framework. In order to make use of the new derivatives, one must have a strategy to identify/choose the base class at each boosting iteration. The idea of "adaptive base class boost" (ABC-Boost) in ICML'09, adopted a computationally expensive "exhaustive search" strategy for the base class at each iteration. It has been well demonstrated that ABC-Boost, when integrated with trees, can achieve substantial improvements in many multi-class classification tasks. Furthermore, the work in UAI'10 derived the explicit second-order tree split gain formula which typically improved the classification accuracy considerably, compared with using only the fist-order information for tree-splitting, for both multi-class and binary-class classification tasks. In this paper, we develop a unified framework for effectively selecting the base class by introducing a series of ideas to improve the computational efficiency of ABC-Boost. Our framework has parameters $(s,g,w)$. At each boosting iteration, we only search for the "$s$-worst classes" (instead of all classes) to determine the base class. We also allow a "gap" $g$ when conducting the search. That is, we only search for the base class at every $g+1$ iterations. We furthermore allow a "warm up" stage by only starting the search after $w$ boosting iterations. The parameters $s$, $g$, $w$, can be viewed as tunable parameters and certain combinations of $(s,g,w)$ may even lead to better test accuracy than the "exhaustive search" strategy. Overall, our proposed framework provides a robust and reliable scheme for implementing ABC-Boost in practice.


title: Homotopy type of spaces of locally convex curves in the sphere S^3

abstract: Locally convex (or nondegenerate) curves in the sphere $S^n$ (or the projective space) have been studied for several reasons, including the study of linear ordinary differential equations of order $n+1$. Taking Frenet frames allows us to obtain corresponding curves $\Gamma$ in the group $Spin_{n+1}$; recall that $\Pi: Spin_{n+1} \to Flag_{n+1}$ is the universal cover of the space of flags. Let $L(z_0;z_1)$ be the space of such curves $\Gamma$ with prescribed endpoints $\Gamma(0) = z_0$, $\Gamma(1) = z_1$. The aim of this paper is to determine the homotopy type of the spaces $L_3(z_0;z_1)$ for all $z_0, z_1 \in Spin_4$. Recall that $Spin_4 = S^3 \times S^3 \subset H \times H$, where $H$ is the ring of quaternions. This paper relies heavily on previous publications. The earliest such paper solves the corresponding problem for curves in $S^2$. Another previous result (with B. Shapiro) reduces the problem to $z_0 = 1$ and $z_1 \in Quat_4$ where $Quat_4 \subset Spin_4$ is a finite group of order $16$ with center $Z(Quat_4) = \{(\pm 1,\pm 1)\}$. A more recent paper shows that for $z_1 \in Quat_4 \smallsetminus Z(Quat_4)$ we have a homotopy equivalence $L_3(1;z_1) \approx \Omega Spin_4$. In this paper we compute the homotopy type of $L_3(1;z_1)$ for $z_1 \in Z(Quat_4)$: it is equivalent to the infinite wedge of $\Omega Spin_4$ with an infinite countable family of spheres (as for the case $n = 2$). The structure of the proof is roughly the same as for the case $n = 2$ but some of the steps are much harder. In both cases we construct explicit subsets $Y \subset L_n(z_0;z_1)$ for which the inclusion $Y \subset \Omega Spin_{n+1}(z_0;z_1)$ is a homotopy equivalence. For $n = 3$, this is done by considering the itineraries of such curves. The itinerary of a curve in $L_n(1;z_1)$ is a finite word in the alphabet $S_{n+1} \smallsetminus \{e\}$ of nontrivial permutations.


title: rgpdOS: GDPR Enforcement By The Operating System

abstract: The General Data Protection Regulation (GDPR) forces IT companies to comply with a number of principles when dealing with European citizens' personal data. Non-compliant companies are exposed to penalties which may represent up to 4% of their turnover. Currently, it is very hard for companies driven by personal data to make their applications GDPR-compliant, especially if those applications were developed before the GDPR was established. We present rgpdOS, a GDPR-aware operating system that aims to bring GDPR-compliance to every application, while requiring minimal changes to application code.


title: Bianchi I "asymptotically Kasner" solutions of the Einstein scalar field equations

abstract: In this work we investigate the asymptotic behaviour of solutions to the Einstein equations with a minimally coupled scalar field. The primary focus of the present paper here establishing under what conditions a solution becomes "asymptotically Kasner" sufficiently close to the initial singularity. To address this question we restrict our attention to Bianchi I space-times. By restricting our attention to a strictly monotonic scalar field we are able to provide necessary conditions on a potential so that the resulting solution is asymptotically Kasner. Moreover, we provide both explicit and numerical examples of asymptotically Kasner space-times.


title: Modelling the secular evolution of proto-planetary disc dust sizes -- A comparison between the viscous and magnetic wind case

abstract: For many years proto-planetary discs have been thought to evolve viscously: angular momentum redistribution leads to accretion and outward disc spreading. Recently, the hypothesis that accretion is due, instead, to angular momentum removal by magnetic winds gained new popularity: no disc spreading is expected in this case. In this paper, we run several one-dimensional gas and dust simulations to make predictions on the time-evolution of disc sizes \textit{in the dust} and to assess whether they can be used to understand how discs evolve. We show that viscous and magnetic wind models have very different dust disc radii. In particular, MHD wind models are compact and their sizes either remain constant or decrease with time. On the contrary, discs become larger with time in the viscous case (when $\alpha\gtrsim10^{-3}$). Although current observations lack enough sensitivity to discriminate between these two scenarios, higher-sensitivity surveys could be fruitful to this goal on a $1\,{\rm to}\,10\,{\rm Myr}$ age range. When compared with the available ALMA Band~7 data, both viscous and magnetic wind models are compatible with the observationally-inferred dust radii in Lupus, Chamaeleon~I and Upper Sco. Furthermore, in the drift-dominated regime, the size-luminosity correlation is reproduced in Lupus, both in Band~7 and 3, while in Upper Sco a different slope than in the data is predicted. Sub-structures (potentially undetected) can explain several outliers with large observed sizes. Higher-angular-resolution observations will be helpful to test our predictions in the case of more compact discs, expected in both frameworks, particularly at the age of Upper Sco.


title: Argumentative Explanations for Pattern-Based Text Classifiers

abstract: Recent works in Explainable AI mostly address the transparency issue of black-box models or create explanations for any kind of models (i.e., they are model-agnostic), while leaving explanations of interpretable models largely underexplored. In this paper, we fill this gap by focusing on explanations for a specific interpretable model, namely pattern-based logistic regression (PLR) for binary text classification. We do so because, albeit interpretable, PLR is challenging when it comes to explanations. In particular, we found that a standard way to extract explanations from this model does not consider relations among the features, making the explanations hardly plausible to humans. Hence, we propose AXPLR, a novel explanation method using (forms of) computational argumentation to generate explanations (for outputs computed by PLR) which unearth model agreements and disagreements among the features. Specifically, we use computational argumentation as follows: we see features (patterns) in PLR as arguments in a form of quantified bipolar argumentation frameworks (QBAFs) and extract attacks and supports between arguments based on specificity of the arguments; we understand logistic regression as a gradual semantics for these QBAFs, used to determine the arguments' dialectic strength; and we study standard properties of gradual semantics for QBAFs in the context of our argumentative re-interpretation of PLR, sanctioning its suitability for explanatory purposes. We then show how to extract intuitive explanations (for outputs computed by PLR) from the constructed QBAFs. Finally, we conduct an empirical evaluation and two experiments in the context of human-AI collaboration to demonstrate the advantages of our resulting AXPLR method.


title: AutoJoin: Efficient Adversarial Training for Robust Maneuvering via Denoising Autoencoder and Joint Learning

abstract: As a result of increasingly adopted machine learning algorithms and ubiquitous sensors, many 'perception-to-control' systems are developed and deployed. For these systems to be trustworthy, we need to improve their robustness with adversarial training being one approach. We propose a gradient-free adversarial training technique, called AutoJoin, which is a very simple yet effective and efficient approach to produce robust models for imaged-based maneuvering. Compared to other SOTA methods with testing on over 5M perturbed and clean images, AutoJoin achieves significant performance increases up to the 40% range under gradient-free perturbations while improving on clean performance up to 300%. Regarding efficiency, AutoJoin demonstrates strong advantages over other SOTA techniques by saving up to 83% time per training epoch and 90% training data. Although not the focus of AutoJoin, it even demonstrates superb ability in defending gradient-based attacks. The core idea of AutoJoin is to use a decoder attachment to the original regression model creating a denoising autoencoder within the architecture. This architecture allows the tasks 'maneuvering' and 'denoising sensor input' to be jointly learnt and reinforce each other's performance.


title: Decentralized Gradient Methods with Time-varying Uncoordinated Stepsizes: Convergence Analysis and Privacy Design

abstract: Decentralized optimization enables a network of agents to cooperatively optimize an overall objective function without a central coordinator and is gaining increased attention in domains as diverse as control, sensor networks, data mining, and robotics. However, the information sharing among agents in decentralized optimization also discloses agents' information, which is undesirable or even unacceptable when involved data are sensitive. This paper proposes two gradient based decentralized optimization algorithms that can protect participating agents' privacy without compromising optimization accuracy or incurring heavy communication/computational overhead. This is in distinct difference from differential privacy based approaches which have to trade optimization accuracy for privacy, or encryption based approaches which incur heavy communication and computational overhead. Both algorithms leverage a judiciously designed mixing matrix and time-varying uncoordinated stepsizes to enable privacy, one using diminishing stepsizes while the other using non-diminishing stepsizes. In both algorithms, when interacting with any one of its neighbors, a participating agent only needs to share one message in each iteration to reach convergence to an exact optimal solution, which is in contrast to most gradient-tracking based algorithms requiring every agent to share two messages (an optimization variable and an auxiliary gradient-tracking variable) under non-diminishing stepsizes. Furthermore, both algorithms can guarantee the privacy of a participating agent even when all information shared by the agent are accessible to an adversary, a scenario in which most existing accuracy-maintaining privacy approaches will fail to protect privacy. Simulation results confirm the effectiveness of the proposed algorithms.


title: Soft Scalars and the Geometry of the Space of Celestial CFTs

abstract: Known examples of the holographic dictionary in asymptotically Anti-de Sitter spacetimes equate moduli spaces of bulk vacua with conformal manifolds in the dual quantum field theory. We demonstrate that the same identification holds for gravity in asymptotically flat spacetimes in any dimension, in accord with expectations derived from the celestial conformal field theory (CCFT) formalism. Soft limits of moduli scalars described by the sigma model are universal, and relate to parallel transport of $S$-matrix observables over the moduli space of bulk vacua. The leading "soft moduli operator" is the shadow transform of a dimension $\Delta=d$ marginal operator $M(x)$. The universal form of the soft limit guarantees that $M(x)$ acts as a marginal deformation in the CCFT$_d$, and coherent states of the soft scalars correspond to finite deformations along the conformal manifold. This manifold typically has curvature, which is captured by the antisymmetric double-soft theorem and which reflects the Berry curvature in CCFT$_d$. We also compute the Mellin-transformed four-point function in the sigma model and compare to a formula of Kutasov for the curvature of the conformal manifold.


title: On Elimination Strategies for Bandit Fixed-Confidence Identification

abstract: Elimination algorithms for bandit identification, which prune the plausible correct answers sequentially until only one remains, are computationally convenient since they reduce the problem size over time. However, existing elimination strategies are often not fully adaptive (they update their sampling rule infrequently) and are not easy to extend to combinatorial settings, where the set of answers is exponentially large in the problem dimension. On the other hand, most existing fully-adaptive strategies to tackle general identification problems are computationally demanding since they repeatedly test the correctness of every answer, without ever reducing the problem size. We show that adaptive methods can be modified to use elimination in both their stopping and sampling rules, hence obtaining the best of these two worlds: the algorithms (1) remain fully adaptive, (2) suffer a sample complexity that is never worse of their non-elimination counterpart, and (3) provably eliminate certain wrong answers early. We confirm these benefits experimentally, where elimination improves significantly the computational complexity of adaptive methods on common tasks like best-arm identification in linear bandits.


title: muNet: Evolving Pretrained Deep Neural Networks into Scalable Auto-tuning Multitask Systems

abstract: Most uses of machine learning today involve training a model from scratch for a particular task, or sometimes starting with a model pretrained on a related task and then fine-tuning on a downstream task. Both approaches offer limited knowledge transfer between different tasks, time-consuming human-driven customization to individual tasks and high computational costs especially when starting from randomly initialized models. We propose a method that uses the layers of a pretrained deep neural network as building blocks to construct an ML system that can jointly solve an arbitrary number of tasks. The resulting system can leverage cross tasks knowledge transfer, while being immune from common drawbacks of multitask approaches such as catastrophic forgetting, gradients interference and negative transfer. We define an evolutionary approach designed to jointly select the prior knowledge relevant for each task, choose the subset of the model parameters to train and dynamically auto-tune its hyperparameters. Furthermore, a novel scale control method is employed to achieve quality/size trade-offs that outperform common fine-tuning techniques. Compared with standard fine-tuning on a benchmark of 10 diverse image classification tasks, the proposed model improves the average accuracy by 2.39% while using 47% less parameters per task.


title: Diversity Enhanced Table-to-Text Generation via Type Control

abstract: Generating natural language statements to convey logical inferences from tabular data (i.e., Logical NLG) is a process with one input and a variety of valid outputs. This characteristic underscores the need for a method to produce a diverse set of valid outputs, presenting different perspectives of the input data. We propose a simple yet effective diversity-enhancing scheme that builds upon an inherent property of the statements, their logic-types, by using a type-controlled table-to-text generation model. We demonstrate, through extensive automatic and human evaluations over the two publicly available Logical NLG datasets, that our proposed method both facilitates the ability to effectively control the generated statement type, and produces results superior to the strongest baselines in terms of quality and factuality-diversity trade-off.


title: Overview of the Instrumentation for the Dark Energy Spectroscopic Instrument

abstract: The Dark Energy Spectroscopic Instrument (DESI) has embarked on an ambitious five-year survey to explore the nature of dark energy with spectroscopy of 40 million galaxies and quasars. DESI will determine precise redshifts and employ the Baryon Acoustic Oscillation method to measure distances from the nearby universe to z > 3.5, as well as measure the growth of structure and probe potential modifications to general relativity. In this paper we describe the significant instrumentation we developed for the DESI survey. The new instrumentation includes a wide-field, 3.2-deg diameter prime-focus corrector that focuses the light onto 5020 robotic fiber positioners on the 0.812 m diameter, aspheric focal surface. The positioners and their fibers are divided among ten wedge-shaped petals. Each petal is connected to one of ten spectrographs via a contiguous, high-efficiency, nearly 50 m fiber cable bundle. The ten spectrographs each use a pair of dichroics to split the light into three channels that together record the light from 360 - 980 nm with a resolution of 2000 to 5000. We describe the science requirements, technical requirements on the instrumentation, and management of the project. DESI was installed at the 4-m Mayall telescope at Kitt Peak, and we also describe the facility upgrades to prepare for DESI and the installation and functional verification process. DESI has achieved all of its performance goals, and the DESI survey began in May 2021. Some performance highlights include RMS positioner accuracy better than 0.1", SNR per \sqrt{\AA} > 0.5 for a z > 2 quasar with flux 0.28e-17 erg/s/cm^2/A at 380 nm in 4000s, and median SNR = 7 of the [OII] doublet at 8e-17 erg/s/cm^2 in a 1000s exposure for emission line galaxies at z = 1.4 - 1.6. We conclude with highlights from the on-sky validation and commissioning of the instrument, key successes, and lessons learned. (abridged)


title: Toward smart composites: small-scale, untethered prediction and control for soft sensor/actuator systems

abstract: We present formulation and open-source tools to achieve in-material model predictive control of sensor/actuator systems using learned forward kinematics and on-device computation. Microcontroller units (MCUs) that compute the prediction and control task while colocated with the sensors and actuators enable in-material untethered behaviors. In this approach, small parameter size neural network models learn forward kinematics offline. Our open-source compiler, nn4mc, generates code to offload these predictions onto MCUs. A Newton-Raphson solver then computes the control input in real time. We first benchmark this nonlinear control approach against a PID controller on a mass-spring-damper simulation. We then study experimental results on two experimental rigs with different sensing, actuation and computational hardware: a tendon-based platform with embedded LightLace sensors and a HASEL-based platform with magnetic sensors. Experimental results indicate effective high-bandwidth tracking of reference paths (greater than or equal to 120 Hz) with a small memory footprint (less than or equal to 6.4% of flash memory). The measured path following error does not exceed 2mm in the tendon-based platform. The simulated path following error does not exceed 1mm in the HASEL-based platform. The mean power consumption of this approach in an ARM Cortex-M4f device is 45.4 mW. This control approach is also compatible with Tensorflow Lite models and equivalent on-device code. In-material intelligence enables a new class of composites that infuse autonomy into structures and systems with refined artificial proprioception.


title: A basic time series forecasting course with Python

abstract: The aim of this paper is to present a set of Python-based tools to develop forecasts using time series data sets. The material is based on a four week course that the author has taught for seven years to students on operations research, management science, analytics, and statistics one-year MSc programmes. However, it can easily be adapted to various other audiences, including executive management or some undergraduate programmes. No particular knowledge of Python is required to use this material. Nevertheless, we assume a good level of familiarity with standard statistical forecasting methods such as exponential smoothing, AutoRegressive Integrated Moving Average (ARIMA), and regression-based techniques, which is required to deliver such a course. Access to relevant data, codes, and lecture notes, which serve as based for this material are made available (see github.com/abzemkoho/forecasting) for anyone interested in teaching such a course or developing some familiarity with the mathematical background of relevant methods and tools.


title: Lotteries for Shared Experiences

abstract: We study a setting where tickets for an experience are allocated by lottery. Each agent belongs to a group, and a group is successful if and only if its members receive enough tickets for everyone. A lottery is efficient if it maximizes the number of agents in successful groups, and fair if it gives every group the same chance of success. We study the efficiency and fairness of existing approaches, and propose practical alternatives. If agents must identify the members of their group, a natural solution is the Group Lottery, which orders groups uniformly at random and processes them sequentially. We provide tight bounds on the inefficiency and unfairness of this mechanism, and describe modifications that obtain a fairer allocation. If agents may request multiple tickets without identifying members of their group, the most common mechanism is the Individual Lottery, which orders agents uniformly at random and awards each their request until no tickets remain. Because each member of a group may apply for (and win) tickets, this approach can yield arbitrarily unfair and inefficient outcomes. As an alternative, we propose the Weighted Individual Lottery, in which the processing order is biased against agents with large requests. Although it is still possible to have multiple winners in a group, this simple modification makes this event much less likely. As a result, the Weighted Individual Lottery is approximately fair and approximately efficient, and similar to the Group Lottery when there are many more agents than tickets.


title: Spatio-Temporal Cross-Covariance Functions under the Lagrangian Framework with Multiple Advections

abstract: When analyzing the spatio-temporal dependence in most environmental and earth sciences variables such as pollutant concentrations at different levels of the atmosphere, a special property is observed: the covariances and cross-covariances are stronger in certain directions. This property is attributed to the presence of natural forces, such as wind, which cause the transport and dispersion of these variables. This spatio-temporal dynamics prompted the use of the Lagrangian reference frame alongside any Gaussian spatio-temporal geostatistical model. Under this modeling framework, a whole new class was birthed and was known as the class of spatio-temporal covariance functions under the Lagrangian framework, with several developments already established in the univariate setting, in both stationary and nonstationary formulations, but less so in the multivariate case. Despite the many advances in this modeling approach, efforts have yet to be directed to probing the case for the use of multiple advections, especially when several variables are involved. Accounting for multiple advections would make the Lagrangian framework a more viable approach in modeling realistic multivariate transport scenarios. In this work, we establish a class of Lagrangian spatio-temporal cross-covariance functions with multiple advections, study its properties, and demonstrate its use on a bivariate pollutant dataset of particulate matter in Saudi Arabia.


title: Duality theory for optimistic bilevel optimization

abstract: In this paper, we exploit the so-called value function reformulation of the bilevel optimization problem to develop duality results for the problem. Our approach builds on Fenchel-Lagrange-type duality to establish suitable results for the bilevel optimization problem. First, we overview some standard duality results to show that they are not applicable to our problem. Secondly, via the concept of partial calmness, we establish weak and strong duality results. In particular, Lagrange, Fenchel-Lagrange, and Toland-Fenchel- Lagrange duality concepts are investigated for this type of problems under some suitable conditions. Thirdly, based on the use of some regularization of our bilevel program, we establish sufficient conditions ensuring strong duality results under a generalized Slater-type condition without convexity assumptions and without the partial calmness condition. Finally, without the Slater condition, a strong duality result is constructed for the bilevel optimization problem with geometric constraint.


title: A preconditioned deepest descent algorithm for a class of optimization problems involving the $p(x)$-Laplacian operator

abstract: In this paper we are concerned with a class of optimization problems involving the $p(x)$-Laplacian operator, which arise in imaging and signal analysis. We study the well-posedness of this kind of problems in an amalgam space considering that the variable exponent $p(x)$ is a log-H\"older continuous function. Further, we propose a preconditioned descent algorithm for the numerical solution of the problem, considering a "frozen exponent" approach in a finite dimension space. Finally, we carry on several numerical experiments to show the advantages of our method. Specifically, we study two detailed example whose motivation lies in a possible extension of the proposed technique to image processing.


title: Turing instability and pattern formation on directed networks

abstract: Pattern formation, arising from systems of autonomous reaction-diffusion equations, on networks has become a common topic of study in the scientific literature. In this work we focus primarily on directed networks. Although some work prior has been done to understand how patterns arise on directed networks, these works have restricted their attentions to networks for whom the Laplacian matrix (corresponding to the network) is diagonalizable. Here, we address the question "how does one detect pattern formation if the Laplacian matrix is not diagonalizable?" To this end, we find it is useful to also address the related problem of pattern formation arising from systems of reaction-diffusion equations with non-local (global) reaction kinetics. These results are then generalized to include non-autonomous systems as well as temporal networks, i.e., networks whose topology is allowed to change in time.


title: Deep Direct Discriminative Decoders for High-dimensional Time-series Data Analysis

abstract: The state-space models (SSMs) are widely utilized in the analysis of time-series data. SSMs rely on an explicit definition of the state and observation processes. Characterizing these processes is not always easy and becomes a modeling challenge when the dimension of observed data grows or the observed data distribution deviates from the normal distribution. Here, we propose a new formulation of SSM for high-dimensional observation processes. We call this solution the deep direct discriminative decoder (D4). The D4 brings deep neural networks' expressiveness and scalability to the SSM formulation letting us build a novel solution that efficiently estimates the underlying state processes through high-dimensional observation signal. We demonstrate the D4 solutions in simulated and real data such as Lorenz attractors, Langevin dynamics, random walk dynamics, and rat hippocampus spiking neural data and show that the D4 performs better than traditional SSMs and RNNs. The D4 can be applied to a broader class of time-series data where the connection between high-dimensional observation and the underlying latent process is hard to characterize.


title: Experimental observation of violent relaxation and the formation of out-of-equilibrium quasi-stationary states

abstract: Large scale structures in the Universe, ranging from globular clusters to entire galaxies, are the manifestation of relaxation to out-of-equilibrium states that are not described by standard statistical mechanics at equilibrium. Instead, they are formed through a process of a very different nature, i.e. violent relaxation. However, astrophysical time-scales are so large that it is not possible to directly observe these relaxation dynamics and therefore verify the details of the violent relaxation process. We develop a table-top experiment and model that allows us to directly observe effects such as mixing of phase space, and violent relaxation, leading to the formation of a table-top analogue of a galaxy. The experiment allows us to control a range of parameters, including the nonlocal (gravitational) interaction strength and quantum effects, thus providing an effective test-bed for gravitational models that cannot otherwise be directly studied in experimental settings.


title: Evaluating deep tracking models for player tracking in broadcast ice hockey video

abstract: Tracking and identifying players is an important problem in computer vision based ice hockey analytics. Player tracking is a challenging problem since the motion of players in hockey is fast-paced and non-linear. There is also significant player-player and player-board occlusion, camera panning and zooming in hockey broadcast video. Prior published research perform player tracking with the help of handcrafted features for player detection and re-identification. Although commercial solutions for hockey player tracking exist, to the best of our knowledge, no network architectures used, training data or performance metrics are publicly reported. There is currently no published work for hockey player tracking making use of the recent advancements in deep learning while also reporting the current accuracy metrics used in literature. Therefore, in this paper, we compare and contrast several state-of-the-art tracking algorithms and analyze their performance and failure modes in ice hockey.


title: New conserved integrals and invariants of radial compressible flow in $n>1$ dimensions

abstract: Conserved integrals and invariants (advected scalars) are studied for the equations of radial compressible fluid/gas flow in $n>1$ dimensions. Apart from entropy, which is a well-know invariant, three additional invariants are found from an explicit determination of invariants up to first-order. One holds for a general equation of state, and the two others hold only for entropic equations of state. A recursion operator on invariants is presented, which produces two hierarchies of higher-order invariants. Each invariant yields a corresponding integral invariant, describing an advected conserved integral on transported radial domains. In addition, a direct determination of kinematic conserved densities uncovers two "hidden" non-advected conserved integrals: one describes enthalpy-flux, holding for barotropic equations of state; the other describes entropy-weighted energy, holding for entropic equations of state. A further explicit determination of a class of first-order conserved densities shows that the corresponding non-kinematic conserved integrals on transported radial domains are equivalent to integral invariants, modulo trivial densities.


title: Incentivizing Federated Learning

abstract: Federated Learning is an emerging distributed collaborative learning paradigm used by many of applications nowadays. The effectiveness of federated learning relies on clients' collective efforts and their willingness to contribute local data. However, due to privacy concerns and the costs of data collection and model training, clients may not always contribute all the data they possess, which would negatively affect the performance of the global model. This paper presents an incentive mechanism that encourages clients to contribute as much data as they can obtain. Unlike previous incentive mechanisms, our approach does not monetize data. Instead, we implicitly use model performance as a reward, i.e., significant contributors are paid off with better models. We theoretically prove that clients will use as much data as they can possibly possess to participate in federated learning under certain conditions with our incentive mechanism


title: Analysis of functional neural codes of deep learning models: Functional Telescope Hypothesis

abstract: Deep neural networks (DNNs), the agents of deep learning (DL), require a massive number of parallel/sequential operations. This makes it difficult to comprehend DNNs' operations and impedes proper diagnosis. Without better knowledge of their internal process, deploying DNNs in high-stakes domains can lead to catastrophic failures. Therefore, to build more reliable DNNs/DL to be deployed in high-stakes real-world problems, it is imperative that we gain insights into DNNs' internal operations underlying their decision-making. Here, we use the self-organizing map (SOM) to analyze DL models' internal codes associated with DNNs' decision-making. Our analyses suggest that shallow layers close to the input layer compress features into condensed space and that deep layers close to the output layer expand feature space. We also found evidence indicating that compressed features may underlie DNNs' vulnerabilities to adversarial perturbations.


title: CYRUS Soccer Simulation 2D Team Description Paper 2022

abstract: Soccer Simulation 2D League is one of the major leagues of RoboCup competitions. In a Soccer Simulation 2D (SS2D) game, two teams of 11 players and one coach compete against each other. The players are only allowed to communicate with the server that is called Soccer Simulation Server. This paper introduces the previous and current research of the CYRUS soccer simulation team, the champion of RoboCup 2021. We will present our idea about improving Unmarking Decisioning and Positioning by using Pass Prediction Deep Neural Network. Based on our experimental results, this idea proven to be effective on increasing the winning rate of Cyrus against opponents.


title: An Automated System for Detecting Visual Damages of Wind Turbine Blades

abstract: Wind energy's ability to compete with fossil fuels on a market level depends on lowering wind's high operational costs. Since damages on wind turbine blades are the leading cause for these operational problems, identifying blade damages is critical. However, recent works in visual identification of blade damages are still experimental and focus on optimizing the traditional machine learning metrics such as IoU. In this paper, we argue that pushing models to production long before achieving the "optimal" model performance can still generate real value for this use case. We discuss the performance of our damage's suggestion model in production and how this system works in coordination with humans as part of a commercialized product and how it can contribute towards lowering wind energy's operational costs.


title: Investigating classification learning curves for automatically generated and labelled plant images

abstract: In the context of supervised machine learning a learning curve describes how a model's performance on unseen data relates to the amount of samples used to train the model. In this paper we present a dataset of plant images with representatives of crops and weeds common to the Manitoba prairies at different growth stages. We determine the learning curve for a classification task on this data with the ResNet architecture. Our results are in accordance with previous studies and add to the evidence that learning curves are governed by power-law relationships over large scales, applications, and models. We further investigate how label noise and the reduction of trainable parameters impacts the learning curve on this dataset. Both effects lead to the model requiring disproportionally larger training sets to achieve the same classification performance as observed without these effects.


title: CIRCLE: Continual Repair across Programming Languages

abstract: Automatic Program Repair (APR) aims at fixing buggy source code with less manual debugging efforts, which plays a vital role in improving software reliability and development productivity. Recent APR works have achieved remarkable progress via applying deep learning (DL), particularly neural machine translation (NMT) techniques. However, we observe that existing DL-based APR models suffer from at least two severe drawbacks: (1) Most of them can only generate patches for a single programming language, as a result, to repair multiple languages, we have to build and train many repairing models. (2) Most of them are developed in an offline manner. Therefore, they won't function when there are new-coming requirements. To address the above problems, a T5-based APR framework equipped with continual learning ability across multiple programming languages is proposed, namely \emph{C}ont\emph{I}nual \emph{R}epair a\emph{C}ross Programming \emph{L}anguag\emph{E}s (\emph{CIRCLE}). Specifically, (1) CIRCLE utilizes a prompting function to narrow the gap between natural language processing (NLP) pre-trained tasks and APR. (2) CIRCLE adopts a difficulty-based rehearsal strategy to achieve lifelong learning for APR without access to the full historical data. (3) An elastic regularization method is employed to strengthen CIRCLE's continual learning ability further, preventing it from catastrophic forgetting. (4) CIRCLE applies a simple but effective re-repairing method to revise generated errors caused by crossing multiple programming languages. We train CIRCLE for four languages (i.e., C, JAVA, JavaScript, and Python) and evaluate it on five commonly used benchmarks. The experimental results demonstrate that CIRCLE not only effectively and efficiently repairs multiple programming languages in continual learning settings, but also achieves state-of-the-art performance with a single repair model.


title: Fundamentals of Wobbling and Hardware Impairments-Aware Air-to-Ground Channel Model

abstract: In this paper, we develop an impairments-aware air-to-ground unified channel model that incorporates the effect of both wobbling and hardware impairments, where the former is caused by random physical fluctuations of unmanned aerial vehicles (UAVs), and the latter by intrinsic radio frequency (RF) nonidealities at both the transmitter and receiver, such as phase noise, in-phase/quadrature (I/Q) imbalance, and power amplifier (PA) nonlinearity. The impact of UAV wobbling is modeled by two stochastic processes, i.e., the canonical Wiener process and the more realistic sinusoidal process. On the other hand, the aggregate impact of all hardware impairments is modeled as two multiplicative and additive distortion noise processes, which is a well-accepted model. For the sake of generality, we consider both wide-sense stationary (WSS) and nonstationary processes for the distortion noises. We then rigorously characterize the autocorrelation function (ACF) of the wireless channel, using which we provide a comprehensive analysis of four key channel-related metrics: (i) power delay profile (PDP), (ii) coherence time, (iii) coherence bandwidth, and (iv) power spectral density (PSD) of the distortion-plus-noise process. Furthermore, we evaluate these metrics with reasonable UAV wobbling and hardware impairment models to obtain useful insights. Quite noticeably, we demonstrate that even for small UAV wobbling, the coherence time severely degrades at high frequencies, which renders air-to-ground channel estimation very difficult at these frequencies. To the best of our understanding, this is the first work that characterizes the joint impact of UAV wobbling and hardware impairments on the air-to-ground wireless channel.


title: Venus as an Exoplanet: I. An Initial Exploration of the 3-D Energy Balance for a CO$_{2}$ Exoplanetary Atmosphere Around an M-Dwarf Star

abstract: The chemical evolution of an exoplanetary Venus-like atmosphere is dependent upon the ultraviolet to near ultraviolet (FUV-NUV) radiation ratio from the parent star, the balance between CO$_{2}$ photolysis and recombination via reactions that depend on the water abundance, and various catalytic chemical cycles. In this study, we use a three-dimensional (3-D) model to simulate conditions for a Venus-like exoplanet orbiting the M-dwarf type star GJ 436 by varying the star/planet distance and considering the resultant effects on heating/cooling and dynamics. The simulation includes the middle and upper atmosphere (<40 mbar). Overall, these model comparisons reveal that the impact of extreme ultraviolet to ultraviolet (EUV-UV) heating on the energy balance shows both radiative and dynamical processes are responsible for driving significant variations in zonal winds and global temperature profiles at < 10$^{-5}$ mbar. More specifically, CO$_{2}$ 15-${\mu}$m cooling balances EUV/UV and Near InfraRed (NIR) heating at altitudes below 10$^{-7}$ mbar pressure with a strong maximum balance for pressures at ~10$^{-5}$ mbar, thus explaining the invariance of the temperature distribution at altitudes below 10$^{-5}$mbar pressure for all cases. Our model comparisons also show that moderate changes in NIR heating result in relatively small changes in neutral temperature in the upper atmosphere, and virtually no change in the middle atmosphere. However, with larger changes in the NIR heating profile, much greater changes in neutral temperature occur in the entire upper and middle atmosphere studied.


title: A practical guide to electromagnetically induced transparency in atomic vapor

abstract: This tutorial introduces the theoretical and experimental basics of Electromagnetically Induced Transparency (EIT) in thermal alkali vapors. We first introduce a brief phenomenological description of EIT in simple three-level systems of stationary atoms and derive analytical expressions for optical transmission and dispersion under EIT conditions. Then we focus on how the thermal motion of atoms affects various parameters of the EIT system. Specifically, we analyze the Doppler broadening of optical transitions, ballistic versus diffusive atomic motion in a limited-volume interaction region, and collisional depopulation and decoherence. Finally, we discuss the common trade-offs important for optimizing an EIT experiment and give a brief "walk-through" of a typical EIT experimental setup. We conclude with a brief overview of current and potential EIT applications.