title: The Development of Spatial Attention U-Net for The Recovery of Ionospheric Measurements and The Extraction of Ionospheric Parameters

abstract: We train a deep learning artificial neural network model, Spatial Attention U-Net to recover useful ionospheric signals from noisy ionogram data measured by Hualien's Vertical Incidence Pulsed Ionospheric Radar. Our results show that the model can well identify F2 layer ordinary and extraordinary modes (F2o, F2x) and the combined signals of the E layer (ordinary and extraordinary modes and sporadic Es). The model is also capable of identifying some signals that were not labeled. The performance of the model can be significantly degraded by insufficient number of samples in the data set. From the recovered signals, we determine the critical frequencies of F2o and F2x and the intersection frequency between the two signals. The difference between the two critical frequencies is peaking at 0.63 MHz, with the uncertainty being 0.18 MHz.


title: Bflier's: A Novel Butterfly Inspired Multi-robotic Model in Search of Signal Sources

abstract: The diversified ecology in nature had various forms of swarm behaviors in many species. The butterfly species is one of the prominent and a bit insightful in their random flights and converting that into an artificial metaphor would lead to enormous possibilities. This paper considers one such metaphor known as Butterfly Mating Optimization (BMO). In BMO, the Bfly follows the patrolling mating phenomena and simultaneously captures all the local optima of multimodal functions. To imitate this algorithm, a mobile robot (Bflybot) was designed to meet the features of the Bfly in the BMO algorithm. Also, the multi-Bflybot swarm is designed to act like butterflies in nature and follow the algorithm's rules. The real-time experiments were performed on the BMO algorithm in the multi-robotic arena and considered the signal source as the light source. The experimental results show that the BMO algorithm is applicable to detect multiple signal sources with significant variations in their movements i.e., static and dynamic. In the case of static signal sources, with varying initial locations of Bflybots, the convergence is affected in terms of time and smoothness. Whereas the experiments with varying step-size leads to their variation in the execution time and speed of the bots. In this work, experiments were performed in a dynamic environment where the movement of the signal source in both maneuvering and non-maneuvering scenarios. The Bflybot swarm is able to detect the single and multi-signal sources, moving linearly in between two fixed points, in circular, up and down movements.To evaluate the BMO phenomenon, various ongoing and prospective works such as mid-sea ship detection, aerial search applications, and earthquake prediction were discussed.


title: Combinatorial geometry of neural codes, neural data analysis, and neural networks

abstract: This dissertation explores applications of discrete geometry in mathematical neuroscience. We begin with convex neural codes, which model the activity of hippocampal place cells and other neurons with convex receptive fields. In Chapter 4, we introduce order-forcing, a tool for constraining convex realizations of codes, and use it to construct new examples of non-convex codes with no local obstructions. In Chapter 5, we relate oriented matroids to convex neural codes, showing that a code has a realization with convex polytopes iff it is the image of a representable oriented matroid under a neural code morphism. We also show that determining whether a code is convex is at least as difficult as determining whether an oriented matroid is representable, implying that the problem of determining whether a code is convex is NP-hard. Next, we turn to the problem of the underlying rank of a matrix. This problem is motivated by the problem of determining the dimensionality of (neural) data which has been corrupted by an unknown monotone transformation. In Chapter 6, we introduce two tools for computing underlying rank, the minimal nodes and the Radon rank. We apply these to analyze calcium imaging data from a larval zebrafish. In Chapter 7, we explore the underlying rank in more detail, establish connections to oriented matroid theory, and show that computing underlying rank is also NP-hard. Finally, we study the dynamics of threshold-linear networks (TLNs), a simple model of the activity of neural circuits. In Chapter 9, we describe the nullcline arrangement of a threshold linear network, and show that a subset of its chambers are an attracting set. In Chapter 10, we focus on combinatorial threshold linear networks (CTLNs), which are TLNs defined from a directed graph. We prove that if the graph of a CTLN is a directed acyclic graph, then all trajectories of the CTLN approach a fixed point.


title: Context-Aware Query Rewriting for Improving Users' Search Experience on E-commerce Websites

abstract: E-commerce queries are often short and ambiguous. Consequently, query understanding often uses query rewriting to disambiguate user-input queries. While using e-commerce search tools, users tend to enter multiple searches, which we call context, before purchasing. These history searches contain contextual insights about users' true shopping intents. Therefore, modeling such contextual information is critical to a better query rewriting model. However, existing query rewriting models ignore users' history behaviors and consider only the instant search query, which is often a short string offering limited information about the true shopping intent. We propose an end-to-end context-aware query rewriting model to bridge this gap, which takes the search context into account. Specifically, our model builds a session graph using the history search queries and their contained words. We then employ a graph attention mechanism that models cross-query relations and computes contextual information of the session. The model subsequently calculates session representations by combining the contextual information with the instant search query using an aggregation network. The session representations are then decoded to generate rewritten queries. Empirically, we demonstrate the superiority of our method to state-of-the-art approaches under various metrics. On in-house data from an online shopping platform, by introducing contextual information, our model achieves 11.6% improvement under the MRR (Mean Reciprocal Rank) metric and 20.1% improvement under the HIT@16 metric (a hit rate metric), in comparison with the best baseline method (Transformer-based model).


title: Improved fMRI-based Pain Prediction using Bayesian Group-wise Functional Registration

abstract: In recent years, neuroimaging has undergone a paradigm shift, moving away from the traditional brain mapping approach toward developing integrated, multivariate brain models that can predict categories of mental events. However, large interindividual differences in brain anatomy and functional localization after standard anatomical alignment remain a major limitation in performing this analysis, as it leads to feature misalignment across subjects in subsequent predictive models.


title: Portable Multi-Hypothesis Monte Carlo Localization for Mobile Robots

abstract: Self-localization is a fundamental capability that mobile robot navigation systems integrate to move from one point to another using a map. Thus, any enhancement in localization accuracy is crucial to perform delicate dexterity tasks. This paper describes a new location that maintains several populations of particles using the Monte Carlo Localization (MCL) algorithm, always choosing the best one as the sytems's output. As novelties, our work includes a multi-scale match matching algorithm to create new MCL populations and a metric to determine the most reliable. It also contributes the state-of-the-art implementations, enhancing recovery times from erroneous estimates or unknown initial positions. The proposed method is evaluated in ROS2 in a module fully integrated with Nav2 and compared with the current state-of-the-art Adaptive ACML solution, obtaining good accuracy and recovery times.


title: Theoretical Insight into Batch Normalization: Data Dependant Auto-Tuning of Regularization Rate

abstract: Batch normalization is widely used in deep learning to normalize intermediate activations. Deep networks suffer from notoriously increased training complexity, mandating careful initialization of weights, requiring lower learning rates, etc. These issues have been addressed by Batch Normalization (\textbf{BN}), by normalizing the inputs of activations to zero mean and unit standard deviation. Making this batch normalization part of the training process dramatically accelerates the training process of very deep networks. A new field of research has been going on to examine the exact theoretical explanation behind the success of \textbf{BN}. Most of these theoretical insights attempt to explain the benefits of \textbf{BN} by placing them on its influence on optimization, weight scale invariance, and regularization. Despite \textbf{BN} undeniable success in accelerating generalization, the gap of analytically relating the effect of \textbf{BN} to the regularization parameter is still missing. This paper aims to bring out the data-dependent auto-tuning of the regularization parameter by \textbf{BN} with analytical proofs. We have posed \textbf{BN} as a constrained optimization imposed on non-\textbf{BN} weights through which we demonstrate its data statistics dependant auto-tuning of regularization parameter. We have also given analytical proof for its behavior under a noisy input scenario, which reveals the signal vs. noise tuning of the regularization parameter. We have also substantiated our claim with empirical results from the MNIST dataset experiments.


title: Supporting Capabilities For Underground Facilities

abstract: The 2021 particle physics community study, known as "Snowmass 2021", has brought together particle physicists around the world to create a unified vision for the field over the next decade. One of the areas of focus is the Underground Facilities (UF) frontier, which addresses underground infrastructure and the scientific programs and goals of underground-based experiments. To this effect, the UF Supporting Capabilities topical group created two surveys for the community to identify potential gaps between the supporting capabilities of facilities and those needed by current and future experiments. Capabilities surveyed are discussed in this report and include underground cleanroom space size and specifications, radon-reduced space needs and availability, the assay need and other underground space needs as well timeline for future experiments. Results indicate that future, larger experiments will increasingly require underground assembly in larger, cleaner cleanrooms, often with better radon-reduction systems and increased monitoring capability for ambient contaminants. Most assay needs may be met by existing worldwide capabilities with organized cooperation between facilities and experiments. Improved assay sensitivity is needed for assays of bulk and surface radioactivity for some materials for some experiments, and would be highly beneficial for radon emanation.


title: PIZZA: A Powerful Image-only Zero-Shot Zero-CAD Approach to 6 DoF Tracking

abstract: Estimating the relative pose of a new object without prior knowledge is a hard problem, while it is an ability very much needed in robotics and Augmented Reality. We present a method for tracking the 6D motion of objects in RGB video sequences when neither the training images nor the 3D geometry of the objects are available. In contrast to previous works, our method can therefore consider unknown objects in open world instantly, without requiring any prior information or a specific training phase. We consider two architectures, one based on two frames, and the other relying on a Transformer Encoder, which can exploit an arbitrary number of past frames. We train our architectures using only synthetic renderings with domain randomization. Our results on challenging datasets are on par with previous works that require much more information (training images of the target objects, 3D models, and/or depth data). Our source code is available at https://github.com/nv-nguyen/pizza


title: Prediction of Gender from Longitudinal MRI data via Deep Learning on Adolescent Data Reveals Unique Patterns Associated with Brain Structure and Change over a Two-year Period

abstract: Deep learning algorithms for predicting neuroimaging data have shown considerable promise in various applications. Prior work has demonstrated that deep learning models that take advantage of the data's 3D structure can outperform standard machine learning on several learning tasks. However, most prior research in this area has focused on neuroimaging data from adults. Within the Adolescent Brain and Cognitive Development (ABCD) dataset, a large longitudinal development study, we examine structural MRI data to predict gender and identify gender-related changes in brain structure. Results demonstrate that gender prediction accuracy is exceptionally high (>97%) with training epochs >200 and that this accuracy increases with age. Brain regions identified as the most discriminative in the task under study include predominantly frontal areas and the temporal lobe. When evaluating gender predictive changes specific to a two-year increase in age, a broader set of visual, cingulate, and insular regions are revealed. Our findings show a robust gender-related structural brain change pattern, even over a small age range. This suggests that it might be possible to study how the brain changes during adolescence by looking at how these changes are related to different behavioral and environmental factors.


title: 3 MHz Space Observatory

abstract: Little is known about the radio astronomical universe at frequencies below 10 MHz because such radiation does not penetrate the ionosphere. A cubesat-based observatory for the 1--10 MHz band could be rapidly and economically deployed in low earth orbit. When shielded by the Earth from Solar emission, it could observe weak extra-Solar System sources. We consider possible transient and steady sources, and application to study of the ionosphere itself.

categories: astro-ph.IM astro-ph.EP astro-ph.GA astro-ph.HE


title: Explicit Tradeoffs between Adversarial and Natural Distributional Robustness

abstract: Several existing works study either adversarial or natural distributional robustness of deep neural networks separately. In practice, however, models need to enjoy both types of robustness to ensure reliability. In this work, we bridge this gap and show that in fact, explicit tradeoffs exist between adversarial and natural distributional robustness. We first consider a simple linear regression setting on Gaussian data with disjoint sets of core and spurious features. In this setting, through theoretical and empirical analysis, we show that (i) adversarial training with $\ell_1$ and $\ell_2$ norms increases the model reliance on spurious features; (ii) For $\ell_\infty$ adversarial training, spurious reliance only occurs when the scale of the spurious features is larger than that of the core features; (iii) adversarial training can have an unintended consequence in reducing distributional robustness, specifically when spurious correlations are changed in the new test domain. Next, we present extensive empirical evidence, using a test suite of twenty adversarially trained models evaluated on five benchmark datasets (ObjectNet, RIVAL10, Salient ImageNet-1M, ImageNet-9, Waterbirds), that adversarially trained classifiers rely on backgrounds more than their standardly trained counterparts, validating our theoretical results. We also show that spurious correlations in training data (when preserved in the test domain) can improve adversarial robustness, revealing that previous claims that adversarial vulnerability is rooted in spurious correlations are incomplete.


title: KW-Sun: The Konus-Wind Solar Flare Database in Hard X-ray and Soft Gamma-ray Ranges

abstract: We present a database of solar flares registered by the Konus-Wind instrument during more than 27 years of operation, from 1994 November to now (2022 June). The constantly updated database (hereafter KW-Sun) contains over 1000 events detected in the instrument's triggered mode and is accessible online at http://www.ioffe.ru/LEA/kwsun/. For each flare, the database provides time-resolved energy spectra in energy range from ~20 keV to ~15 MeV in FITS format along with count rate light curves in three wide energy bands G1 (~20-80 keV), G2 (~80-300 keV), and G3 (~300-1200 keV) with high time resolution (down to 16 ms) in ASCII and IDL SAV formats. This article focuses on the instrument capabilities in the context of solar observations, the structure of the KW-Sun data and their intended usage. The presented homogeneous data set obtained in the broad energy range with high temporal resolution during more than two full solar cycles is beneficial for both statistical and case studies as well as a source of context data for solar flare research.


title: Extremal Bounds for Three-Neighbour Bootstrap Percolation in Dimensions Two and Three

abstract: For $r\geq1$, the $r$-neighbour bootstrap process in a graph $G$ starts with a set of infected vertices and, in each time step, every vertex with at least $r$ infected neighbours becomes infected. The initial infection percolates if every vertex of $G$ is eventually infected. We exactly determine the minimum cardinality of a set that percolates for the $3$-neighbour bootstrap process when $G$ is a $3$-dimensional grid with minimum side-length at least $11$. We also characterize the integers $a$ and $b$ for which there is a set of cardinality $\frac{ab+a+b}{3}$ that percolates for the $3$-neighbour bootstrap process in the $a\times b$ grid; this solves a problem raised by Benevides, Bermond, Lesfari and Nisse [HAL Research Report 03161419v4, 2021].


title: Multipole expansion for 21cm Intensity Mapping power spectrum: forecasted cosmological parameters estimation for the SKA Observatory

abstract: The measurement of the large scale distribution of neutral hydrogen in the late Universe, obtained with radio telescopes through the hydrogen 21cm line emission, has the potential to become a key cosmological probe in the upcoming years. We explore the constraining power of 21cm intensity mapping observations on the full set of cosmological parameters that describe the $\Lambda$CDM model. We assume a single-dish survey for the SKA Observatory and simulate the 21cm linear power spectrum monopole and quadrupole within six redshift bins in the range $z=0.25-3$. Forecasted constraints are computed numerically through Markov Chain Monte Carlo techniques. We extend the sampler \texttt{CosmoMC} by implementing the likelihood function for the 21cm power spectrum multipoles. We assess the constraining power of the mock data set alone and combined with Planck 2018 CMB observations. We include a discussion on the impact of extending measurements to non-linear scales in our analysis. We find that 21cm multipoles observations alone are enough to obtain constraints on the cosmological parameters comparable with other probes. Combining the 21cm data set with CMB observations results in significantly reduced errors on all the cosmological parameters. The strongest effect is on $\Omega_ch^2$ and $H_0$, for which the error is reduced by almost a factor four. The percentage errors we estimate are $\sigma_{\Omega_ch^2} = 0.25\%$ and $\sigma_{H_0} = 0.16\%$, to be compared with the Planck only results $\sigma_{\Omega_ch^2} = 0.99\%$ and $\sigma_{H_0} = 0.79\%$. We conclude that 21cm SKAO observations will provide a competitive cosmological probe, complementary to CMB and, thus, pivotal for gaining statistical significance on the cosmological parameters constraints, allowing a stress test for the current cosmological model.


title: From quantum alchemy to Hammett's equation: Covalent bonding from atomic energy partitioning

abstract: We present an intuitive and general analytical approximation estimating the energy of covalent single and double bonds between participating atoms in terms of their respective nuclear charges with just three parameters, $[{E_\text{AB} \approx a - b Z_\text{A} Z_\text{B} + c (Z_\text{A}^{7/3} + Z_\text{B}^{7/3})}]$. The functional form of our expression models an alchemical atomic energy decomposition between participating atoms A and B. After calibration, reasonably accurate bond energy estimates are obtained for hydrogen-saturated diatomics composed of $p$-block elements coming from the same row $2\le n\le 4$ in the periodic table. Corresponding changes in bond energies due to substitution of atom B by C can be obtained via simple formulas. While being of different functional form and origin, our model is as simple and accurate as Pauling's well-known electronegativity model. Analysis indicates that the model's response in covalent bonding to variation in nuclear charge is near-linear -- which is consistent with Hammett's equation.


title: The Geometry of the Bing Involution

abstract: In 1952 Bing published a wild (not topologically conjugate to smooth) involution $I$ of the 3-sphere $S^3$. But exactly how wild is it, analytically? We prove that any involution $I^h$, topologically conjugate to $I$, must have a nearly exponential modulus of continuity. Specifically, given any $\alpha>0$, there exists a sequence of $\delta$'s converging to zero, $\delta > 0$, and points $x,y \in S^3$ with dist$(x,y) < \delta$, yet dist$(I^h(x), I^h(y)) > \epsilon$, where $\delta^{-1} = e^{\left(\frac{\epsilon^{-1}}{\log^{(1+\alpha)}(\epsilon^{-1})}\right)}$, and dist is the usual Riemannian distance on $S^3$. In particular, $I^h$ stretches distance much more than a Lipschitz function ($\delta^{-1} = c\epsilon^{-1}$) or a H\"{o}lder function ($\delta^{-1} = c^\prime(\epsilon^{-1})^{p}$, $1 < p < \infty$). Bing's original construction and known alternatives (see text) for $I$ have a modulus of continuity $\delta^{-1} > c \sqrt{2}^{\epsilon^{-1}}$, so the theorem is reasonably tight -- we prove the modulus must be at least exponential up to a polylog, whereas the truth may be fully exponential. Actually, the functional for $\delta^{-1}$ coming out of the proof can be chosen slightly closer to exponential than stated here (see Theorem 1). Using the same technique we analyze a large class of ``ramified'' Bing involutions and show, as a scholium, that given any function $f: \mathbb{R}^+ \rightarrow \mathbb{R}^+$, no matter how rapid its growth, we can find a corresponding involution $J$ of the 3-sphere such that any topological conjugate $J^h$ of $J$ must have a modulus of continuity $\delta^{-1}(\epsilon^{-1})$ growing faster than $f$ (near infinity). There is a literature on inherent differentiability (references in text) but as far as the authors know the subject of inherent modulus of continuity is new.


title: Mitigation Strategies for ${}^{42}$Ar/${}^{42}$K Background Reduction using Encapsulation with Ultra-Pure Plastic for the LEGEND Experiment

abstract: Neutrinoless double-beta (0$\nu\beta\beta$) decay is the most compelling approach to determine the Majorana nature of neutrino and measure effective Majorana neutrino mass. The LEGEND collaboration is aiming to look for 0$\nu\beta\beta$ decay of ${}^{76}$Ge with unprecedented sensitivity. If underground-sourced argon is not available, the cosmogenically-induced isotope ${}^{42}$Ar and its decay progeny ${}^{42}$K in the liquid argon active veto could create a challenging background for the 0$\nu\beta\beta$ signal. We are studying methodologies to mitigate the ${}^{42}$K background. In order to achieve this, encapsulation of germanium detectors with 3D-printed technologies using low background material are currently under investigation. Simulation results of Poly(ethylene 2,6- naphthalate) (PEN) encapsulation of germanium detectors and plans to study other potential materials are presented.


title: The parameterfree Comprehension does not imply the full Comprehension in the 2nd order Peano arithmetic

abstract: The parameter-free part $\text{PA}_2^\ast$ of $\text{PA}_2$, the 2nd order Peano arithmetic, is considered. We make use of a product/iterated Sacks forcing to define an $\omega$-model of $\text{PA}_2^\ast + \text{CA}(\Sigma^1_2)$, in which an example of the full Comprehension schema $\text{CA}$ fails. Using Cohen's forcing, we also define an $\omega$-model of $\text{PA}_2^\ast$, in which not every set has its complement, and hence the full $\text{CA}$ fails in a rather elementary way.


title: STPOTR: Simultaneous Human Trajectory and Pose Prediction Using a Non-Autoregressive Transformer for Robot Following Ahead

abstract: In this paper, we develop a neural network model to predict future human motion from an observed human motion history. We propose a non-autoregressive transformer architecture to leverage its parallel nature for easier training and fast, accurate predictions at test time. The proposed architecture divides human motion prediction into two parts: 1) the human trajectory, which is the hip joint 3D position over time and 2) the human pose which is the all other joints 3D positions over time with respect to a fixed hip joint. We propose to make the two predictions simultaneously, as the shared representation can improve the model performance. Therefore, the model consists of two sets of encoders and decoders. First, a multi-head attention module applied to encoder outputs improves human trajectory. Second, another multi-head self-attention module applied to encoder outputs concatenated with decoder outputs facilitates learning of temporal dependencies. Our model is well-suited for robotic applications in terms of test accuracy and speed, and compares favorably with respect to state-of-the-art methods. We demonstrate the real-world applicability of our work via the Robot Follow-Ahead task, a challenging yet practical case study for our proposed model.


title: Towards Improving Calibration in Object Detection Under Domain Shift

abstract: With deep neural network based solution more readily being incorporated in real-world applications, it has been pressing requirement that predictions by such models, especially in safety-critical environments, be highly accurate and well-calibrated. Although some techniques addressing DNN calibration have been proposed, they are only limited to visual classification applications and in-domain predictions. Unfortunately, very little to no attention is paid towards addressing calibration of DNN-based visual object detectors, that occupy similar space and importance in many decision making systems as their visual classification counterparts. In this work, we study the calibration of DNN-based object detection models, particularly under domain shift. To this end, we first propose a new, plug-and-play, train-time calibration loss for object detection (coined as TCD). It can be used with various application-specific loss functions as an auxiliary loss function to improve detection calibration. Second, we devise a new implicit technique for improving calibration in self-training based domain adaptive detectors, featuring a new uncertainty quantification mechanism for object detection. We demonstrate TCD is capable of enhancing calibration with notable margins (1) across different DNN-based object detection paradigms both in in-domain and out-of-domain predictions, and (2) in different domain-adaptive detectors across challenging adaptation scenarios. Finally, we empirically show that our implicit calibration technique can be used in tandem with TCD during adaptation to further boost calibration in diverse domain shift scenarios.


title: On the Generic Capacity of $K$-User Symmetric Linear Computation Broadcast

abstract: Linear computation broadcast (LCBC) refers to a setting with $d$ dimensional data stored at a central server, where $K$ users, each with some prior linear side-information, wish to retrieve various linear combinations of the data. The goal is to determine the minimum amount of information that must be broadcast to satisfy all the users. The reciprocal of the optimal broadcast cost is the capacity of LCBC. The capacity is known for up to $K=3$ users. Since LCBC includes index coding as a special case, large $K$ settings of LCBC are at least as hard as the index coding problem. Instead of the general setting (all instances), by focusing on the generic setting (almost all instances) this work shows that the generic capacity of the symmetric LCBC (where every user has $m'$ dimensions of side-information and $m$ dimensions of demand) for large number of users ($K>d$ suffices) is $C_g=1/\Delta_g$, where $\Delta_g=\min\left\{\max\{0,d-m'\}, \frac{dm}{m+m'}\right\}$, is the broadcast cost that is both achievable and unbeatable asymptotically almost surely for large $n$, among all LCBC instances with the given parameters $p,K,d,m,m'$. Relative to baseline schemes of random coding or separate transmissions, $C_g$ shows an extremal gain by a factor of $K$ as a function of number of users, and by a factor of $\approx d/4$ as a function of data dimensions, when optimized over remaining parameters. For arbitrary number of users, the generic capacity of the symmetric LCBC is characterized within a factor of $2$.


title: Hub-aware Random Walk Graph Embedding Methods for Classification

abstract: In the last two decades we are witnessing a huge increase of valuable big data structured in the form of graphs or networks. To apply traditional machine learning and data analytic techniques to such data it is necessary to transform graphs into vector-based representations that preserve the most essential structural properties of graphs. For this purpose, a large number of graph embedding methods have been proposed in the literature. Most of them produce general-purpose embeddings suitable for a variety of applications such as node clustering, node classification, graph visualisation and link prediction. In this paper, we propose two novel graph embedding algorithms based on random walks that are specifically designed for the node classification problem. Random walk sampling strategies of the proposed algorithms have been designed to pay special attention to hubs -- high-degree nodes that have the most critical role for the overall connectedness in large-scale graphs. The proposed methods are experimentally evaluated by analyzing the classification performance of three classification algorithms trained on embeddings of real-world networks. The obtained results indicate that our methods considerably improve the predictive power of examined classifiers compared to currently the most popular random walk method for generating general-purpose graph embeddings (node2vec).


title: Parallel faceted imaging in radio interferometry via proximal splitting (Faceted HyperSARA): II. Code and real data proof of concept

abstract: In a companion paper, a faceted wideband imaging technique for radio interferometry, dubbed Faceted HyperSARA, has been introduced and validated on synthetic data. Building on the recent HyperSARA approach, Faceted HyperSARA leverages the splitting functionality inherent to the underlying primal-dual forward-backward algorithm to decompose the image reconstruction over multiple spatio-spectral facets. The approach allows complex regularization to be injected into the imaging process while providing additional parallelization flexibility compared to HyperSARA. The present paper introduces new algorithm functionalities to address real datasets, implemented as part of a fully fledged MATLAB imaging library made available on Github. A large scale proof-of-concept is proposed to validate Faceted HyperSARA in a new data and parameter scale regime, compared to the state-of-the-art. The reconstruction of a 15 GB wideband image of Cyg A from 7.4 GB of VLA data is considered, utilizing 1440 CPU cores on a HPC system for about 9 hours. The conducted experiments illustrate the reconstruction performance of the proposed approach on real data, exploiting new functionalities to leverage known direction-dependent effects (DDEs), for an accurate model of the measurement operator, and an effective noise level accounting for imperfect calibration. They also demonstrate that, when combined with a further dimensionality reduction functionality, Faceted HyperSARA enables the recovery of a 3.6 GB image of Cyg A from the same data using only 91 CPU cores for 39 hours. In this setting, the proposed approach is shown to provide a superior reconstruction quality compared to the state-of-the-art wideband CLEAN-based algorithm of the WSClean software.


title: Transitive points in CR-dynamical systems

abstract: We study different types of transitive points in CR-dynamical systems (X,G) with closed relations G on compact metric spaces X. We also introduce transitive and dense orbit transitive CR-dynamical systems and discuss their properties and the relations between them. This generalizes the notion of transitive topological dynamical systems (X, f ).


title: CES-KD: Curriculum-based Expert Selection for Guided Knowledge Distillation

abstract: Knowledge distillation (KD) is an effective tool for compressing deep classification models for edge devices. However, the performance of KD is affected by the large capacity gap between the teacher and student networks. Recent methods have resorted to a multiple teacher assistant (TA) setting for KD, which sequentially decreases the size of the teacher model to relatively bridge the size gap between these models. This paper proposes a new technique called Curriculum Expert Selection for Knowledge Distillation (CES-KD) to efficiently enhance the learning of a compact student under the capacity gap problem. This technique is built upon the hypothesis that a student network should be guided gradually using stratified teaching curriculum as it learns easy (hard) data samples better and faster from a lower (higher) capacity teacher network. Specifically, our method is a gradual TA-based KD technique that selects a single teacher per input image based on a curriculum driven by the difficulty in classifying the image. In this work, we empirically verify our hypothesis and rigorously experiment with CIFAR-10, CIFAR-100, CINIC-10, and ImageNet datasets and show improved accuracy on VGG-like models, ResNets, and WideResNets architectures.


title: A Hierarchy of Multipartite Correlations Based on Concentratable Entanglement

abstract: Multipartite entanglement is one of the hallmarks of quantum mechanics and is central to quantum information processing. In this work we show that Concentratable Entanglement (CE), an operationally motivated entanglement measure, induces a hierarchy upon pure states from which different entanglement structures can be certified. In particular, we find that nearly all genuine multipartite entangled states can be verified through CE. In the process we find the exact maximal value of CE and corresponding states for up to 18 qubits and show that these correspond to extremal quantum error correcting codes. The latter allows us to unravel a deep connection between CE and coding theory. Finally, our results also offer an alternative proof, on up to 31 qubits, that absolutely maximally entangled states do not exist.


title: The Role of Bias in News Recommendation in the Perception of the Covid-19 Pandemic

abstract: News recommender systems (NRs) have been shown to shape public discourse and to enforce behaviors that have a critical, oftentimes detrimental effect on democracies. Earlier research on the impact of media bias has revealed their strong impact on opinions and preferences. Responsible NRs are supposed to have depolarizing capacities, once they go beyond accuracy measures. We performed sequence prediction by using the BERT4Rec algorithm to investigate the interplay of news of coverage and user behavior. Based on live data and training of a large data set from one news outlet "event bursts", "rally around the flag" effect and "filter bubbles" were investigated in our interdisciplinary approach between data science and psychology. Potentials for fair NRs that go beyond accuracy measures are outlined via training of the models with a large data set of articles, keywords, and user behavior. The development of the news coverage and user behavior of the COVID-19 pandemic from primarily medical to broader political content and debates was traced. Our study provides first insights for future development of responsible news recommendation that acknowledges user preferences while stimulating diversity and accountability instead of accuracy, only.


title: A transitive homeomorphism on the Lelek fan

abstract: Let $X$ be a continuum and let $\varphi:X\rightarrow X$ be a homeomorphism. To construct a dynamical system $(X,\varphi)$ with interesting dynamical properties, the continuum $X$ often needs to have some complicated topological structure. In this paper, we are interested in one such dynamical property: transitivity. By now, various examples of continua $X$ have been constructed in such a way that the dynamical system $(X,\varphi)$ is transitive. Mostly, they are examples of continua that are not path-connected, such as the pseudo-arc or the pseudo-circle, or they are examples of locally connected continua (and every locally connected continuum is path-connected), Wazewski's universal dendrite and the Sierpinski carpet are such examples. In this paper, we present an example of a dynamical system $(X,\varphi)$, where $\varphi$ is a homeomorphism on the continuum $X$ and $X$ is a path-connected but not locally connected continuum. We construct a transitive homeomorphism on the Lelek fan. As a by-product, a non-invertible transitive map on the Lelek fan is also constructed.


title: Color-Perception-Guided Display Power Reduction for Virtual Reality

abstract: Battery life is an increasingly urgent challenge for today's untethered VR and AR devices. However, the power efficiency of head-mounted displays is naturally at odds with growing computational requirements driven by better resolution, refresh rate, and dynamic ranges, all of which reduce the sustained usage time of untethered AR/VR devices. For instance, the Oculus Quest 2, under a fully-charged battery, can sustain only 2 to 3 hours of operation time. Prior display power reduction techniques mostly target smartphone displays. Directly applying smartphone display power reduction techniques, however, degrades the visual perception in AR/VR with noticeable artifacts. For instance, the "power-saving mode" on smartphones uniformly lowers the pixel luminance across the display and, as a result, presents an overall darkened visual perception to users if directly applied to VR content. Our key insight is that VR display power reduction must be cognizant of the gaze-contingent nature of high field-of-view VR displays. To that end, we present a gaze-contingent system that, without degrading luminance, minimizes the display power consumption while preserving high visual fidelity when users actively view immersive video sequences. This is enabled by constructing a gaze-contingent color discrimination model through psychophysical studies, and a display power model (with respect to pixel color) through real-device measurements. Critically, due to the careful design decisions made in constructing the two models, our algorithm is cast as a constrained optimization problem with a closed-form solution, which can be implemented as a real-time, image-space shader. We evaluate our system using a series of psychophysical studies and large-scale analyses on natural images. Experiment results show that our system reduces the display power by as much as 24% with little to no perceptual fidelity degradation.


title: Corpus-Guided Contrast Sets for Morphosyntactic Feature Detection in Low-Resource English Varieties

abstract: The study of language variation examines how language varies between and within different groups of speakers, shedding light on how we use language to construct identities and how social contexts affect language use. A common method is to identify instances of a certain linguistic feature - say, the zero copula construction - in a corpus, and analyze the feature's distribution across speakers, topics, and other variables, to either gain a qualitative understanding of the feature's function or systematically measure variation. In this paper, we explore the challenging task of automatic morphosyntactic feature detection in low-resource English varieties. We present a human-in-the-loop approach to generate and filter effective contrast sets via corpus-guided edits. We show that our approach improves feature detection for both Indian English and African American English, demonstrate how it can assist linguistic research, and release our fine-tuned models for use by other researchers.


title: Two-Loop Electroweak Corrections with Fermion Loops to $e^+ e^- \to ZH$

abstract: We present a complete calculation of the next-to-next-to-leading (NNLO) electroweak corrections involving closed fermion loops to the $e^+ e^- \to ZH$ process. This has been achieved by using a semi-numerical technique for the two-loop vertex and box diagrams, which is based on Feynman parameters and dispersion relations for one of the two sub-loops. UV divergences are treated with suitable subtraction terms. Numerical results for the unpolarized differential and integrated cross-section at center-of-mass energy $\sqrt{s}=240~\text{GeV}$ are provided. Combining the NNLO contributions with one and two closed fermions loops, they are found to increase the NLO cross-section by 0.7\%.


title: Galaxy mergers can rapidly shut down star formation

abstract: Galaxy mergers trigger both star formation and accretion onto the central supermassive black hole. As a result of subsequent energetic feedback processes, it has long been proposed that star formation may be promptly extinguished in galaxy merger remnants. However, this prediction of widespread, rapid quenching in late stage mergers has been recently called into question with modern simulations and has never been tested observationally. Here we perform the first empirical assessment of the long-predicted end phase in the merger sequence. Based on a sample of ~500 post-mergers identified from the Ultraviolet Near Infrared Optical Northern Survey (UNIONS), we show that the frequency of post-merger galaxies that have rapidly shutdown their star formation following a previous starburst is 30-60 times higher than expected from a control sample of non-merging galaxies. No such excess is found in a sample of close galaxy pairs, demonstrating that mergers can indeed lead to a rapid halt to star formation, but that this process only manifests after coalescence.


title: How does Twitter account moderation work? Dynamics of account creation and suspension on Twitter during major geopolitical events

abstract: Social media moderation policies are often at the center of public debate, and their implementation and enactment are sometimes surrounded by a veil of mystery. Unsurprisingly, due to limited platform transparency and data access, relatively little research has been devoted to characterizing moderation dynamics, especially in the context of controversial events and the platform activity associated with them. Here, we study the dynamics of account creation and suspension on Twitter during two global political events: Russia's invasion of Ukraine and the 2022 French Presidential election. Leveraging a large-scale dataset of 270M tweets shared by 16M users in multiple languages over several months, we identify peaks of suspicious account creation and suspension, and we characterize behaviours that more frequently lead to account suspension. We show how large numbers of accounts get suspended within days from their creation. Suspended accounts tend to mostly interact with legitimate users, as opposed to other suspicious accounts, often making unwarranted and excessive use of reply and mention features, and predominantly sharing spam and harmful content. While we are only able to speculate about the specific causes leading to a given account suspension, our findings shed light on patterns of platform abuse and subsequent moderation during major events.


title: Existence of Partially Quadratic Lyapunov Functions That Can Certify The Local Asymptotic Stability of Nonlinear Systems

abstract: This paper proposes a method for certifying the local asymptotic stability of a given nonlinear Ordinary Differential Equation (ODE) by using Sum-of-Squares (SOS) programming to search for a partially quadratic Lyapunov Function (LF). The proposed method is particularly well suited to the stability analysis of ODEs with high dimensional state spaces. This is due to the fact that partially quadratic LFs are parametrized by fewer decision variables when compared with general SOS LFs. The main contribution of this paper is using the Center Manifold Theorem to show that partially quadratic LFs that certify the local asymptotic stability of a given ODE exist under certain conditions.


title: Reducing Access Disparities in Networks using Edge Augmentation

abstract: In social networks, a node's position is a form of \it{social capital}. Better-positioned members not only benefit from (faster) access to diverse information, but innately have more potential influence on information spread. Structural biases often arise from network formation, and can lead to significant disparities in information access based on position. Further, processes such as link recommendation can exacerbate this inequality by relying on network structure to augment connectivity. We argue that one can understand and quantify this social capital through the lens of information flow in the network. We consider the setting where all nodes may be sources of distinct information, and a node's (dis)advantage deems its ability to access all information available on the network. We introduce three new measures of advantage (broadcast, influence, and control), which are quantified in terms of position in the network using \it{access signatures} -- vectors that represent a node's ability to share information. We then consider the problem of improving equity by making interventions to increase the access of the least-advantaged nodes. We argue that edge augmentation is most appropriate for mitigating bias in the network structure, and frame a budgeted intervention problem for maximizing minimum pairwise access. Finally, we propose heuristic strategies for selecting edge augmentations and empirically evaluate their performance on a corpus of real-world social networks. We demonstrate that a small number of interventions significantly increase the broadcast measure of access for the least-advantaged nodes (over 5 times more than random), and also improve the minimum influence. Additional analysis shows that these interventions can also dramatically shrink the gap in advantage between nodes (over \%82) and reduce disparities between their access signatures.


title: Training Recipe for N:M Structured Sparsity with Decaying Pruning Mask

abstract: Sparsity has become one of the promising methods to compress and accelerate Deep Neural Networks (DNNs). Among different categories of sparsity, structured sparsity has gained more attention due to its efficient execution on modern accelerators. Particularly, N:M sparsity is attractive because there are already hardware accelerator architectures that can leverage certain forms of N:M structured sparsity to yield higher compute-efficiency. In this work, we focus on N:M sparsity and extensively study and evaluate various training recipes for N:M sparsity in terms of the trade-off between model accuracy and compute cost (FLOPs). Building upon this study, we propose two new decay-based pruning methods, namely "pruning mask decay" and "sparse structure decay". Our evaluations indicate that these proposed methods consistently deliver state-of-the-art (SOTA) model accuracy, comparable to unstructured sparsity, on a Transformer-based model for a translation task. The increase in the accuracy of the sparse model using the new training recipes comes at the cost of marginal increase in the total training compute (FLOPs).


title: Differentiable Bilevel Programming for Stackelberg Congestion Games

abstract: In a Stackelberg congestion game (SCG), a leader aims to maximize their own gain by anticipating and manipulating the equilibrium state at which the followers settle by playing a congestion game. Often formulated as bilevel programs, large-scale SCGs are well known for their intractability and complexity. Here, we attempt to tackle this computational challenge by marrying traditional methodologies with the latest differentiable programming techniques in machine learning. The core idea centers on replacing the lower-level equilibrium problem with a smooth evolution trajectory defined by the imitative logit dynamic (ILD), which we prove converges to the equilibrium of the congestion game under mild conditions. Building upon this theoretical foundation, we propose two new local search algorithms for SCGs. The first is a gradient descent algorithm that obtains the derivatives by unrolling ILD via differentiable programming. Thanks to the smoothness of ILD, the algorithm promises both efficiency and scalability. The second algorithm adds a heuristic twist by cutting short the followers' evolution trajectory. Behaviorally, this means that, instead of anticipating the followers' best response at equilibrium, the leader seeks to approximate that response by only looking ahead a limited number of steps. Our numerical experiments are carried out over various instances of classic SCG applications, ranging from toy benchmarks to large-scale real-world examples. The results show the proposed algorithms are reliable and scalable local solvers that deliver high-quality solutions with greater regularity and significantly less computational effort compared to the many incumbents included in our study.


title: Hierarchical Superquadric Decomposition with Implicit Space Separation

abstract: We introduce a new method to reconstruct 3D objects using a set of volumetric primitives, i.e., superquadrics. The method hierarchically decomposes a target 3D object into pairs of superquadrics recovering finer and finer details. While such hierarchical methods have been studied before, we introduce a new way of splitting the object space using only properties of the predicted superquadrics. The method is trained and evaluated on the ShapeNet dataset. The results of our experiments suggest that reasonable reconstructions can be obtained with the proposed approach for a diverse set of objects with complex geometry.


title: Fuzzy-based forest fire prevention and detection by wireless sensor networks

abstract: Forest fires may cause considerable damages both in ecosystems and lives. This proposal describes the application of Internet of Things and wireless sensor networks jointly with multi-hop routing through a real time and dynamic monitoring system for forest fire prevention. It is based on gathering and analyzing information related to meteorological conditions, concentrations of polluting gases and oxygen level around particular interesting forest areas. Unusual measurements of these environmental variables may help to prevent wildfire incidents and make their detection more efficient. A forest fire risk controller based on fuzzy logic has been implemented in order to activate environmental risk alerts through a Web service and a mobile application. For this purpose, security mechanisms have been proposed for ensuring integrity and confidentiality in the transmission of measured environmental information. Lamport's signature and a block cipher algorithm are used to achieve this objective.


title: Multivariate Hawkes-based Models in LOB: European, Spread and Basket Option Pricing

abstract: In this paper, we consider pricing of European options and spread options for Hawkes-based model for the limit order book. We introduce multivariate Hawkes process and the multivariable general compound Hawkes process. Exponential multivariate general compound Hawkes processes and limit theorems for them, namely, LLN and FCLT, are considered then. We also consider a special case of one-dimensional EMGCHP and its limit theorems. Option pricing with $1D$ EGCHP in LOB, hedging strategies, and numerical example are presented. We also introduce greeks calculations for those models. Margrabe's spread options valuations with Hawkes-based models for two assets and numerical example are presented. Also, Margrabe's spread option pricing with two $2D$ EMGCHP and numerical example are included. Basket options valuations with numerical example are included. We finally discuss the implied volatility and implied order flow. It reveals the relationship between stock volatility and the order flow in the limit order book system. In this way, the Hawkes-based model can provide more market forecast information than the classical Black-Scholes model.


title: Snowmass Topical Report: Underground Facilities for Neutrinos

abstract: This topical report of the 2021 US Community Study on the Future of Particle Physics (Snowmass 2021) summarizes the underground facilities needs for upcoming and next generation neutrino experiments. The underground facilities needs are discussed in the context of two broad categories: accelerator neutrinos, in particular with respect to the Deep Underground Neutrino Experiment (DUNE); and non-accelerator neutrinos, focusing on neutrinos from natural sources and on searches for neutrinoless double-beta decay.


title: Studying the explanations for the automated prediction of bug and non-bug issues using LIME and SHAP

abstract: Context: The identification of bugs within the reported issues in an issue tracker is crucial for the triage of issues. Machine learning models have shown promising results regarding the performance of automated issue type prediction. However, we have only limited knowledge beyond our assumptions how such models identify bugs. LIME and SHAP are popular technique to explain the predictions of classifiers. Objective: We want to understand if machine learning models provide explanations for the classification that are reasonable to us as humans and align with our assumptions of what the models should learn. We also want to know if the prediction quality is correlated with the quality of explanations. Method: We conduct a study where we rate LIME and SHAP explanations based on their quality of explaining the outcome of an issue type prediction model. For this, we rate the quality of the explanations themselves, i.e., if they align with our expectations and if they help us to understand the underlying machine learning model.


title: Construction of Polynomials with prescribed divisibility conditions on the critical orbit

abstract: We consider the family of polynomials $f_{d,c}(x)=x^d+c$ over the rational field $\Q$. Fixing integers $d, n\ge 2$, we show that the density of primes that can appear as primitive prime divisors of $f_{d,c}^n(0)$ for some $c\in\Q$ is positive. In fact, under certain assumptions, we explicitly calculate the latter density when $d=2$. Furthermore, fixing $d,n\ge 2$, we show that for a given integer $N>0$, there is $c\in \Q$ such that $\f^n(0)$ has at least $N$ primitive prime divisors each of which is appearing up to any predetermined power. This shows that there is no uniform upper bound on the number of primitive prime divisors in the critical orbit of $\f(x)$ that does not depend on $c$. The developed results provide a method to construct polynomials of the form $\f(x)$ for which the splitting field of the $m$-th iteration, $m\ge1$, has Galois group of maximal possible order. During the course of this work, we give explicit new results on post-critically finite polynomials $\f(x)$ over local fields.


title: Extremal combinatorics, iterated pigeonhole arguments, and generalizations of PPP

abstract: We study the complexity of computational problems arising from existence theorems in extremal combinatorics. For some of these problems, a solution is guaranteed to exist based on an iterated application of the Pigeonhole Principle. This results in the definition of a new complexity class within TFNP, which we call PLC (for "polynomial long choice"). PLC includes all of PPP, as well as numerous previously unclassified total problems, including search problems related to Ramsey's theorem, the Sunflower theorem, the Erd\H{o}s-Ko-Rado lemma, and K\"onig's lemma. Whether the first two of these four problems are PLC-complete is an important open question which we pursue; in contrast, we show that the latter two are PPP-complete. Finally, we reframe PPP as an optimization problem, and define a hierarchy of such problems related to Tur\'an's theorem.


title: Incremental cycle bases for cycle-based pose graph optimization

abstract: Pose graph optimization is a special case of the simultaneous localization and mapping problem where the only variables to be estimated are pose variables and the only measurements are inter-pose constraints. The vast majority of pose graph optimization techniques are vertex based (variables are robot poses), but recent work has parameterized the pose graph optimization problem in a relative fashion (variables are the transformations between poses) that utilizes a minimum cycle basis to maximize the sparsity of the problem. We explore the construction of a cycle basis in an incremental manner while maximizing the sparsity. We validate an algorithm that constructs a sparse cycle basis incrementally and compare its performance with a minimum cycle basis. Additionally, we present an algorithm to approximate the minimum cycle basis of two graphs that are sparsely connected as is common in multi-agent scenarios. Lastly, the relative parameterization of pose graph optimization has been limited to using rigid body transforms on SE(2) or SE(3) as the constraints between poses. We introduce a methodology to allow for the use of lower-degree-of-freedom measurements in the relative pose graph optimization problem. We provide extensive validation of our algorithms on standard benchmarks, simulated datasets, and custom hardware.


title: Using blogs to make peer-reviewed research more accessible

abstract: Discipline-based education researchers produce knowledge that aims to help instructors improve student learning and educational outcomes. Yet, the information produced may not even reach the educators it is intended to influence. Prior work has found that instructors often face barriers to implementing practices in peer-reviewed literature. Some of these barriers are related to accessing the knowledge in the first place such as difficulty finding and understanding research and a lack of time to do so. To lower these barriers, we created an online blog, PERbites, that summarizes recent discipline-based education research in short posts that use plain language. Having covered nearly 100 papers to date, we conducted a survey to see if we were addressing the need we had originally set out to address. We posted a 23-item survey on our website and received 24 usable responses. The results suggested that readers do generally agree that we are meeting our original goals. Readers reported that our articles were easier to understand and used more plain language than a typical discipline-based education research (DBER) journal article. At the same time, readers thought that all the important information was still included. Finally, readers said that this approach helped them keep up with DBER studies and read about papers they otherwise would not have. However, most readers did not indicate they changed their teaching and research practice as a result of reading our blog. Our results suggest that alternative methods of sharing research (e.g., non-peer reviewed publications or conference talks) can be an effective method of connecting research with practitioners, and future work should consider how we as a community might build on these efforts to ensure education research can make meaningful changes in the classroom.


title: Universal abundance fluctuations across microbial communities, tropical forests, and urban populations

abstract: The growth of complex populations, such as microbial communities, forests, and cities, occurs over vastly different spatial and temporal scales. Although research in different fields has developed detailed, system-specific models to understand each individual system, a unified analysis of different complex populations is lacking; such an analysis could deepen our understanding of each system and facilitate cross-pollination of tools and insights across fields. Here, for the first time we use a shared framework to analyze time-series data of the human gut microbiome, tropical forest, and urban employment. We demonstrate that a single, three-parameter model of stochastic population dynamics can reproduce the empirical distributions of population abundances and fluctuations in all three data sets. The three parameters characterizing a species measure its mean abundance, deterministic stability, and stochasticity. Our analysis reveals that, despite the vast differences in scale, all three systems occupy a similar region of parameter space when time is measured in generations. In other words, although the fluctuations observed in these systems may appear different, this difference is primarily due to the different physical timescales associated with each system. Further, we show that the distribution of temporal abundance fluctuations is described by just two parameters and derive a two-parameter functional form for abundance fluctuations to improve risk estimation and forecasting.


title: Self-Relation Attention and Temporal Awareness for Emotion Recognition via Vocal Burst

abstract: The technical report presents our emotion recognition pipeline for high-dimensional emotion task (A-VB High) in The ACII Affective Vocal Bursts (A-VB) 2022 Workshop \& Competition. Our proposed method contains three stages. Firstly, we extract the latent features from the raw audio signal and its Mel-spectrogram by self-supervised learning methods. Then, the features from the raw signal are fed to the self-relation attention and temporal awareness (SA-TA) module for learning the valuable information between these latent features. Finally, we concatenate all the features and utilize a fully-connected layer to predict each emotion's score. By empirical experiments, our proposed method achieves a mean concordance correlation coefficient (CCC) of 0.7295 on the test set, compared to 0.5686 on the baseline model. The code of our method is available at https://github.com/linhtd812/A-VB2022.


title: Shrinking Without Doing Much At All

abstract: In 1952 Bing astonished the mathematical world with his wild involution on $S^3$. It has been among the most seminal examples in topology. The example depends on finding shrinking homeomorphisms of Bing's decomposition of $S^3$ into points and arcs. If Bing's original homeomorphisms are varied, Bing's original wild involution changes by conjugation, which preserves some analytic properties \cite{fs22} while altering others. In 1988, Bing published a second paper "Shrinking Without Lengthening," answering a question that one of the present authors posed to him in an effort to understand the geometry of the entire conjugacy class. In this paper we produce a counterintuitive construction, namely, a method to shrink the Bing decomposition doing almost nothing at all--neither lengthening much nor rotating much.


title: Optimal robust stimulated Raman exact passage by inverse optimization

abstract: We apply the inverse geometric optimization technique to generate an optimal and robust stimulated Raman exact passage (STIREP) considering the loss of the upper state as a characterization parameter. Control fields temporal shapes that are optimal with respect to pulse area, energy, and duration, are found to form a simple sequence with a combination of intuitively (near the beginning and the end) and counter-intuitively ordered pulse pairs. The resulting dynamics produces a loss which is about a third of that of the non-robust optimal STIREP. Alternative optimal solutions featuring lower losses, larger pulse areas, and fully counter-intuitive pulse sequences are derived.


title: Fast hierarchical low-rank view factor matrices for thermal irradiance on planetary surfaces

abstract: We present an algorithm for compressing the radiosity view factor model commonly used in radiation heat transfer and computer graphics. We use a format inspired by the hierarchical off-diagonal low rank format, where elements are recursively partitioned using a quadtree or octree and blocks are compressed using a sparse singular value decomposition -- the hierarchical matrix is assembled using dynamic programming. The motivating application is time-dependent thermal modeling on vast planetary surfaces, with a focus on permanently shadowed craters which receive energy through indirect irradiance. In this setting, shape models are comprised of a large number of triangular facets which conform to a rough surface. At each time step, a quadratic number of triangle-to-triangle scattered fluxes must be summed; that is, as the sun moves through the sky, we must solve the same view factor system of equations for a potentially unlimited number of time-varying righthand sides. We first conduct numerical experiments with a synthetic spherical cap-shaped crater, where the equilibrium temperature is analytically available. We also test our implementation with triangle meshes of planetary surfaces derived from digital elevation models recovered by orbiting spacecrafts. Our results indicate that the compressed view factor matrix can be assembled in quadratic time, which is comparable to the time it takes to assemble the full view matrix itself. Memory requirements during assembly are reduced by a large factor. Finally, for a range of compression tolerances, the size of the compressed view factor matrix and the speed of the resulting matrix vector product both scale linearly (as opposed to quadratically for the full matrix), resulting in orders of magnitude savings in processing time and memory space.


title: Affine subspaces of antisymmetric matrices with constant rank

abstract: For every $n \in \mathbb{N}$ and every field $K$, let $A(n,K)$ be the vector space of the antisymmetric $(n \times n)$-matrices over $K$. We say that an affine subspace $S$ of $A(n,K)$ has constant rank $r$ if every matrix of $S$ has rank $r$. Define $${\cal A}_{antisym}^K(n;r)= \{ S \;| \; S \; \mbox{\rm affine subsapce of $A(n,K)$ of constant rank } r\}$$ $$a_{antisym}^K(n;r) = \max \{\dim S \mid S \in {\cal A}_{antisym}^K(n;r) \}.$$ In this paper we prove the following formulas: for $n \geq 2r +2 $ $$a_{antisym}^{\mathbb{R}}( n; 2r) = (n-r-1) r ;$$ for $n=2r$ $$a_{antisym}^{\mathbb{R}}( n; 2r) =r(r-1) ;$$ for $n=2r+1$ $$a_{antisym}^{\mathbb{R}}( n; 2r) = r(r+1) .$$


title: Stateful Memory-Augmented Transformers for Efficient Dialogue Modeling

abstract: Transformer encoder-decoder models have achieved great performance in dialogue generation tasks, however, their inability to process long dialogue history often leads to truncation of the context To address this problem, we propose a novel memory-augmented transformer that is compatible with existing pre-trained encoder-decoder models and enables efficient preservation of the dialogue history information. By incorporating a separate memory module alongside the pre-trained transformer, the model can effectively interchange information between the memory states and the current input context. We evaluate our model on three dialogue datasets and two language modeling datasets. Experimental results show that our method has achieved superior efficiency and performance compared to other pre-trained Transformer baselines.


title: Unified Modeling and Experimental Realization of Electrical and Thermal Percolation in Polymer Composites

abstract: Correlations between electrical and thermal conduction in polymer composites are blurred due to the complex contribution of charge and heat carriers at the nanoscale junctions of filler particles. Conflicting reports on the lack or existence of thermal percolation in polymer composites have made it the subject of great controversy for decades. Here, we develop a generalized percolation framework that describes both electrical and thermal conductivity within a remarkably wide range of filler-to-matrix conductivity ratios (Y_f/Y_m), covering 20 orders of magnitude. Our unified theory provides a genuine classification of electrical conductivity with typical Y_f/Y_m >= 10^10 as insulator-conductor percolation with the standard power-law behavior, and of thermal conductivity with 10^2<= Y_f/Y_m <= 10^4 as poor-good conductor percolation characterized by two universal critical exponents. Experimental verification of the universal and unified features of our theoretical framework is conducted by constructing a 3D segregated and well-extended network of multi-walled carbon nanotubes in polypropylene as a model polymer matrix under a carefully designed fabrication method. We study the evolution of the electrical and thermal conductivity in our fabricated composites at different loading levels up to 5 vol%. Significantly, we find an ultralow electrical percolation threshold at 0.02 vol% and a record-low thermal percolation threshold at 1.5 vol%. We also apply our theoretical model to a number of 23 independent experimental and numerical datasets reported in the literature, including more than 350 data points, for systems with different microscopic details, and show that all collapse onto our proposed universal scaling function, which depends only on dimensionality.


title: Improving Language Model Prompting in Support of Semi-autonomous Task Learning

abstract: Language models (LLMs) offer potential as a source of knowledge for agents that need to acquire new task competencies within a performance environment. We describe efforts toward a novel agent capability that can construct cues (or "prompts") that result in useful LLM responses for an agent learning a new task. Importantly, responses must not only be "reasonable" (a measure used commonly in research on knowledge extraction from LLMs) but also specific to the agent's task context and in a form that the agent can interpret given its native language capacities. We summarize a series of empirical investigations of prompting strategies and evaluate responses against the goals of targeted and actionable responses for task learning. Our results demonstrate that actionable task knowledge can be obtained from LLMs in support of online agent task learning.


title: Library transfer between distinct Laser-Induced Breakdown Spectroscopy systems with shared standards

abstract: The mutual incompatibility of distinct spectroscopic systems is among the most limiting factors in Laser-Induced Breakdown Spectroscopy (LIBS). The cost related to setting up a new LIBS system is increased, as its extensive calibration is required. Solving the problem would enable inter-laboratory reference measurements and shared spectral libraries, which are fundamental for other spectroscopic techniques. In this work, we study a simplified version of this challenge where LIBS systems differ only in used spectrometers and collection optics but share all other parts of the apparatus, and collect spectra simultaneously from the same plasma plume. Extensive datasets measured as hyperspectral images of heterogeneous specimens are used to train machine learning models that can transfer spectra between systems. The transfer is realized by a pipeline that consists of a variational autoencoder (VAE) and a fully-connected artificial neural network (ANN). In the first step, we obtain a latent representation of the spectra which were measured on the Primary system (by using the VAE). In the second step, we map spectra from the Secondary system to corresponding locations in the latent space (by the ANN). Finally, Secondary system spectra are reconstructed from the latent space to the space of the Primary system. The transfer is evaluated by several figures of merit (Euclidean and cosine distances, both spatially resolved; k-means clustering of transferred spectra). The methodology is compared to several baseline approaches.


title: Quantum Clocks, Gravitational Time Dilation, and Quantum Interference

abstract: A proper time observable for a quantum clock is introduced and it is found that the proper time read by one clock conditioned on another clock reading a different proper time obeys classical time dilation in accordance with special relativistic kinematical time dilation. Here, we extend this proposal to a weak gravitational field in order to investigate whether the weak equivalence principle holds for quantum matter. We find that for general quantum states the quantum time dilation in a weak gravitational field obeys a similar gravitational time dilation found in classical relativity. However, unlike the special relativistic case, the time dilation involves the external time (a background coordinate time at the observer on the Earth) as well as the proper times of two clocks. We also investigate a quantum time dilation effect induced by a clock in a superposition of wave packets localized in momentum space or in position space and propose the setup to observe the gravitational effect in the quantum interference effect in the time dilation.


title: Chasing the spin gap through the phase diagram of a frustrated Mott insulator

abstract: The quest for entangled spin excitations has stimulated intense research on frustrated magnetic systems. For almost two decades, the triangular-lattice Mott insulator $\kappa$-(BEDT-TTF)$_2$Cu$_2$(CN)$_3$ has been the hottest candidate for a $gapless$ quantum spin liquid with itinerant spinons. Very recently, however, this scenario was overturned as electron-spin-resonance (ESR) studies unveiled a spin gap, calling for reevaluation of the magnetic ground state. Here we achieve a precise mapping of this spin-gapped phase through the Mott transition by ultrahigh-resolution strain tuning. Our transport experiments reveal a reentrance of charge localization below $T^{\star}=6$ K associated with a gap size of 30-50 K. The negative slope of the insulator-metal boundary, $dT^{\star}/dp<0$, evidences the low-entropy nature of the spin-singlet ground state. By tuning the enigmatic '6 K anomaly' through the phase diagram of $\kappa$-(BEDT-TTF)$_2$Cu$_2$(CN)$_3$, we identify it as the transition to a valence-bond-solid phase, with typical magnetic and structural fingerprints, that persists at $T\rightarrow 0$ until unconventional superconductivity and metallic transport proliferate.


title: Haptic Feedback Relocation from the Fingertips to the Wrist for Two-Finger Manipulation in Virtual Reality

abstract: Relocation of haptic feedback from the fingertips to the wrist has been considered as a way to enable haptic interaction with mixed reality virtual environments while leaving the fingers free for other tasks. We present a pair of wrist-worn tactile haptic devices and a virtual environment to study how various mappings between fingers and tactors affect task performance. The haptic feedback rendered to the wrist reflects the interaction forces occurring between a virtual object and virtual avatars controlled by the index finger and thumb. We performed a user study comparing four different finger-to-tactor haptic feedback mappings and one no-feedback condition as a control. We evaluated users' ability to perform a simple pick-and-place task via the metrics of task completion time, path length of the fingers and virtual cube, and magnitudes of normal and shear forces at the fingertips. We found that multiple mappings were effective, and there was a greater impact when visual cues were limited. We discuss the limitations of our approach and describe next steps toward multi-degree-of-freedom haptic rendering for wrist-worn devices to improve task performance in virtual environments.


title: Application of Liquid Rank Reputation System for Content Recommendation

abstract: An effective content recommendation on social media platforms should be able to benefit both creators to earn fair compensation and consumers to enjoy really relevant, interesting, and personalized content. In this paper, we propose a model to implement the liquid democracy principle for the content recommendation system. It uses a personalized recommendation model based on reputation ranking system to encourage personal interests driven recommendation. Moreover, the personalization factors to an end users' higher-order friends on the social network (initial input Twitter channels in our case study) to improve the accuracy and diversity of recommendation results. This paper analyzes the dataset based on cryptocurrency news on Twitter to find the opinion leader using the liquid rank reputation system. This paper deals with the tier-2 implementation of a liquid rank in a content recommendation model. This model can be also used as an additional layer in the other recommendation systems. The paper proposes the implementation, challenges, and future scope of the liquid rank reputation model.


title: Inductive Matrix Completion and Root-MUSIC-Based Channel Estimation for Intelligent Reflecting Surface (IRS)-Aided Hybrid MIMO Systems

abstract: This paper studies the estimation of cascaded channels in passive intelligent reflective surface (IRS)- aided multiple-input multiple-output (MIMO) systems employing hybrid precoders and combiners. We propose a low-complexity solution that estimates the channel parameters progressively. The angles of departure (AoDs) and angles of arrival (AoAs) at the transmitter and receiver, respectively, are first estimated using inductive matrix completion (IMC) followed by root-MUSIC based super-resolution spectrum estimation. Forward-backward spatial smoothing (FBSS) is applied to address the coherence issue. Using the estimated AoAs and AoDs, the training precoders and combiners are then optimized and the angle differences between the AoAs and AoDs at the IRS are estimated using the least squares (LS) method followed by FBSS and the root-MUSIC algorithm. Finally, the composite path gains of the cascaded channel are estimated using on-grid sparse recovery with a small-size dictionary. The simulation results suggest that the proposed estimator can achieve improved channel parameter estimation performance with lower complexity as compared to several recently reported alternatives, thanks to the exploitation of the knowledge of the array responses and low-rankness of the channel using low-complexity algorithms at all the stages.


title: Equation of State and Energy Loss of Hot and Dense Quark-Gluon matter from Holographic Black Holes

abstract: By using gravity/gauge correspondence, we construct a holographic model, constrained to mimic the lattice QCD equation of state at zero density, to investigate the temperature and baryon chemical potential dependence of the equation of state. We also obtained the energy loss of light and heavy partons within the hot and dense plasma represented by the heavy quark drag force, Langevin diffusion coefficients and jet quenching parameter at the critical point and across the first-order transition line predicted by the model.


title: Efficient detection and characterization of exoplanets within the diffraction limit: nulling with a mode-selective photonic lantern

abstract: Coronagraphs allow for faint off-axis exoplanets to be observed, but are limited to angular separations greater than a few beam widths. Accessing closer-in separations would greatly increase the expected number of detectable planets, which scales inversely with the inner working angle. The Vortex Fiber Nuller (VFN) is an instrument concept designed to characterize exoplanets within a single beam-width. It requires few optical elements and is compatible with many coronagraph designs as a complementary characterization tool. However, the peak throughput for planet light is limited to about 20%, and the measurement places poor constraints on the planet location and flux ratio. We propose to augment the VFN design by replacing its single-mode fiber with a six-port mode-selective photonic lantern, retaining the original functionality while providing several additional ports that reject starlight but couple planet light. We show that the photonic lantern can also be used as a nuller without a vortex. We present monochromatic simulations characterizing the response of the Photonic Lantern Nuller (PLN) to astrophysical signals and wavefront errors, and show that combining exoplanet flux from the nulled ports significantly increases the overall throughput of the instrument. We show using synthetically generated data that the PLN detects exoplanets more effectively than the VFN. Furthermore, with the PLN, the exoplanet can be partially localized, and its flux ratio constrained. The PLN has the potential to be a powerful characterization tool complementary to traditional coronagraphs in future high-contrast instruments.


title: Scalable Computation of Energy Functions for Nonlinear Balanced Truncation

abstract: Nonlinear balanced truncation is a model order reduction technique that reduces the dimension of nonlinear systems in a manner that accounts for either open- or closed-loop observability and controllability aspects of the system. A computational challenges that has so far prevented its deployment on large-scale systems is that the energy functions required for characterization of controllability and observability are solutions of various high-dimensional Hamilton-Jacobi-(Bellman) equations, which are computationally intractable in high dimensions. This work proposes a unifying and scalable approach to this challenge by considering a Taylor-series-based approximation to solve a class of parametrized Hamilton-Jacobi-Bellman equations that are at the core of nonlinear balancing. The value of a formulation parameter provides either open-loop balancing or a variety of closed-loop balancing options. To solve for the coefficients of Taylor-series approximations to the energy functions, the presented method derives a linear tensor system and heavily utilizes it to numerically solve structured linear systems with billions of unknowns. The strength and scalability of the algorithm is demonstrated on two semi-discretized partial differential equations, namely the Burgers and the Kuramoto-Sivashinsky equations.


title: Bayesian Identification of Nonseparable Hamiltonian Systems Using Stochastic Dynamic Models

abstract: This paper proposes a probabilistic Bayesian formulation for system identification (ID) and estimation of nonseparable Hamiltonian systems using stochastic dynamic models. Nonseparable Hamiltonian systems arise in models from diverse science and engineering applications such as astrophysics, robotics, vortex dynamics, charged particle dynamics, and quantum mechanics. The numerical experiments demonstrate that the proposed method recovers dynamical systems with higher accuracy and reduced predictive uncertainty compared to state-of-the-art approaches. The results further show that accurate predictions far outside the training time interval in the presence of sparse and noisy measurements are possible, which lends robustness and generalizability to the proposed approach. A quantitative benefit is prediction accuracy with less than 10% relative error for more than 12 times longer than a comparable least-squares-based method on a benchmark problem.

categories: math.DS cs.LG cs.SY eess.SY physics.comp-ph physics.data-an


title: Computing the optimal distributionally-robust strategy to commit to

abstract: The Stackelberg game model, where a leader commits to a strategy and the follower best responds, has found widespread application, particularly to security problems. In the security setting, the goal is for the leader to compute an optimal strategy to commit to, in order to protect some asset. In many of these applications, the parameters of the follower utility model are not known with certainty. Distributionally-robust optimization addresses this issue by allowing a distribution over possible model parameters, where this distribution comes from a set of possible distributions. The goal is to maximize the expected utility with respect to the worst-case distribution. We initiate the study of distributionally-robust models for computing the optimal strategy to commit to. We consider the case of normal-form games with uncertainty about the follower utility model. Our main theoretical result is to show that a distributionally-robust Stackelberg equilibrium always exists across a wide array of uncertainty models. For the case of a finite set of possible follower utility functions we present two algorithms to compute a distributionally-robust strong Stackelberg equilibrium (DRSSE) using mathematical programs. Next, in the general case where there is an infinite number of possible follower utility functions and the uncertainty is represented by a Wasserstein ball around a finitely-supported nominal distribution, we give an incremental mixed-integer-programming-based algorithm for computing the optimal distributionally-robust strategy. Experiments substantiate the tractability of our algorithm on a classical Stackelberg game, showing that our approach scales to medium-sized games.


title: Selecting a significance level in sequential testing procedures for community detection

abstract: While there have been numerous sequential algorithms developed to estimate community structure in networks, there is little available guidance and study of what significance level or stopping parameter to use in these sequential testing procedures. Most algorithms rely on prespecifiying the number of communities or use an arbitrary stopping rule. We provide a principled approach to selecting a nominal significance level for sequential community detection procedures by controlling the tolerance ratio, defined as the ratio of underfitting and overfitting probability of estimating the number of clusters in fitting a network. We introduce an algorithm for specifying this significance level from a user-specified tolerance ratio, and demonstrate its utility with a sequential modularity maximization approach in a stochastic block model framework. We evaluate the performance of the proposed algorithm through extensive simulations and demonstrate its utility in controlling the tolerance ratio in single-cell RNA sequencing clustering by cell type and by clustering a congressional voting network.


title: On the Cauchy transform of complex powers of the identity function

abstract: The integral $\int_{|z|=1} \frac{z^\beta}{z-\alpha} dz$ for $\beta=\frac{1}{2}$ has been comprehensively studied by Mortini and Rupp for pedagogical purposes. We write for a similar purpose, elaborating on their work with the more general consideration $\beta \in \mathbb{C}$. This culminates in an explicit solution in terms of the hypergeometric function for $|\alpha| \neq 1$ and any $\beta \in \mathbb{C}$. For rational $\beta$, the integral is reduced to a finite sum. A differential equation in $\alpha$ is derived for this integral, which we show has similar properties to the hypergeometric equation.


title: Statistical Properties of the Entropy from Ordinal Patterns

abstract: The ultimate purpose of the statistical analysis of ordinal patterns is to characterize the distribution of the features they induce. In particular, knowing the joint distribution of the pair Entropy-Statistical Complexity for a large class of time series models would allow statistical tests that are unavailable to date. Working in this direction, we characterize the asymptotic distribution of the empirical Shannon's Entropy for any model under which the true normalized Entropy is neither zero nor one. We obtain the asymptotic distribution from the Central Limit Theorem (assuming large time series), the Multivariate Delta Method, and a third-order correction of its mean value. We discuss the applicability of other results (exact, first-, and second-order corrections) regarding their accuracy and numerical stability. Within a general framework for building test statistics about Shannon's Entropy, we present a bilateral test that verifies if there is enough evidence to reject the hypothesis that two signals produce ordinal patterns with the same Shannon's Entropy. We applied this bilateral test to the daily maximum temperature time series from three cities (Dublin, Edinburgh, and Miami) and obtained sensible results.


title: A short proof that $w(3,k) \ge (1-o(1))k^2$

abstract: Here we present a short proof that the two-color van der Waerden number $w(3,k)$ is bounded from below by $(1-o(1))k^2$. Previous work has already shown that a superpolynomial lower bound holds for $w(3,k)$. However, we believe our result is still is of interest due to our techniques.


title: Unveiling new quantum phases in the Shastry-Sutherland compound SrCu2(BO3)2up to the saturation magnetic field

abstract: Under magnetic fields, quantum magnets often undergo exotic phase transitions with various kinds of order. The discovery of a sequence of fractional magnetization plateaus in the Shastry-Sutherland compound SrCu2(BO3)2 has played a central role in the high-field research on quantum materials, but so far this system could only be probed up to half the saturation value of the magnetization. Here, we report the first experimental and theoretical investigation of this compound up to the saturation magnetic field of 140 T and beyond. Using ultrasound and magnetostriction techniques combined with extensive tensor-network calculations (iPEPS), several spin-supersolid phases are revealed between the 1/2 plateau and saturation (1/1 plateau). Quite remarkably, the sound velocity of the 1/2 plateau exhibits a drastic decrease of -50%, related to the tetragonal-to-orthorhombic instability of the checkerboard-type magnon crystal. The unveiled nature of this paradigmatic quantum system is a new milestone for exploring exotic quantum states of matter emerging in extreme conditions.


title: Causal Set Quantum Gravity and the Hard Problem of Consciousness

abstract: I develop Rafael D. Sorkin's proposal that a partially ordered process of the birth of spacetime atoms in causal set quantum gravity provides an objective physical correlate of our perception of time passing. I argue that one cannot have a fully objective, external picture of the birth process because the order in which the spacetime atoms are born is a partial order. I propose that live experience in causal set theory is an internal view of the objective birth process in which events that are neural correlates of consciousness occur. In causal set theory, what ``breathes fire'' into a neural correlate of consciousness is that which breathes fire into the whole universe: the unceasing, partially ordered process of the birth of spacetime atoms.


title: Cerberus: Low-Drift Visual-Inertial-Leg Odometry For Agile Locomotion

abstract: We present an open-source Visual-Inertial-Leg Odometry (VILO) state estimation solution, Cerberus, for legged robots that estimates position precisely on various terrains in real time using a set of standard sensors, including stereo cameras, IMU, joint encoders, and contact sensors. In addition to estimating robot states, we also perform online kinematic parameter calibration and contact outlier rejection to substantially reduce position drift. Hardware experiments in various indoor and outdoor environments validate that calibrating kinematic parameters within the Cerberus can reduce estimation drift to lower than 1% during long distance high speed locomotion. Our drift results are better than any other state estimation method using the same set of sensors reported in the literature. Moreover, our state estimator performs well even when the robot is experiencing large impacts and camera occlusion. The implementation of the state estimator, along with the datasets used to compute our results, are available at https://github.com/ShuoYangRobotics/Cerberus.


title: Multiscale Adaptive Scheduling and Path-Planning for Power-Constrained UAV-Relays via SMDPs

abstract: We describe the orchestration of a decentralized swarm of rotary-wing UAV-relays, augmenting the coverage and service capabilities of a terrestrial base station. Our goal is to minimize the time-average service latencies involved in handling transmission requests from ground users under Poisson arrivals, subject to an average UAV power constraint. Equipped with rate adaptation to efficiently leverage air-to-ground channel stochastics, we first derive the optimal control policy for a single relay via a semi-Markov decision process formulation, with competitive swarm optimization for UAV trajectory design. Accordingly, we detail a multiscale decomposition of this construction: outer decisions on radial wait velocities and end positions optimize the expected long-term delay-power trade-off; consequently, inner decisions on angular wait velocities, service schedules, and UAV trajectories greedily minimize the instantaneous delay-power costs. Next, generalizing to UAV swarms via replication and consensus-driven command-and-control, this policy is embedded with spread maximization and conflict resolution heuristics. We demonstrate that our framework offers superior performance with respect to average service latencies and average per-UAV power consumption: 11x faster data payload delivery relative to static UAV-relay deployments and 2x faster than a deep-Q network solution; remarkably, one relay with our scheme outclasses three relays under a joint successive convex approximation policy by 62%.


title: Lieb-Thirring inequality on the four-dimensional sphere and torus

abstract: In this paper, we mainly study the Lieb-Thirring inequality for families of orthonormal scalar functions on the four-dimensional sphere $ \mathbb{S}^{4} $ and torus $ \mathbb{T}^{4} $. The bounds of all the constants involved are obtained. Specifically, we prove that the costant $ \mathcal{K}_{4}(\mathbb{S}^{4}) $ of the Lieb-Thirring inequality on the sphere $ \mathbb{S}^{4} $ satisfies $$ 0.0844 \leq \mathcal{K}_{4}(\mathbb{S}^{4})\leq 0.1728,$$ and the constant $ \mathcal{K}_{4}(\mathbb{T}^{4}) $ of the Lieb-Thirring inequality on the torus $ \mathbb{T}^{4} $ satisfies $$ 0.0190 \leq \mathcal{K}_{4}(\mathbb{T}^{4}) \leq 0.1222.$$


title: Analysis of Heuristic and Digital Filters as Applied to Video-oculography Signals

abstract: In 1993, Stampe [1993] suggested two "heurisitic" filters that were designed for video-oculography data. Several manufacturers (e.g., SR-Research, Tobii T60 XL and SMI) have employed these filters as an option for recording eye-movements. For the EyeLink family of eye-trackers, these two filters are referred to as standard (STD) or EXTRA. We have implemented these filters as software functions. For those who use their eye-trackers for data-collection only, this will allow users to collect unfiltered data and simultaneously have access to unfiltered, STD filtered and EXTRA filtered data for the exact same recording. Based on the literature, which has employed various eye-tracking technologies, and our analysis of our EyeLink-1000 data, we conclude that the highest signal frequency content needed for most eye-tracking studies (i.e., saccades, microsaccades and smooth pursuit) is around 100 Hz, excluding fixation microtremor. For those who collect their data at 1000 Hz or higher, we test two zero-phase low-pass digital filters, one with a cutoff of 50 Hz and one with a cutoff of 100 Hz. We perform a Fourier (FFT) analysis to examine the frequency content for unfiltered data, STD data, EXTRA filtered data, and data filtered by low-pass digital filters. We also examine the frequency response of these filters. The digital filter with the 100 Hz cutoff dramatically outperforms both heuristic filters because the heuristic filters leave noise above 100 Hz. In the paper we provide additional conclusions and suggest the use of digital filters in scenarios where offline data processing is an option.


title: Brownian Axion-like particles

abstract: We study the non-equilibrium dynamics of a pseudoscalar axion-like particle (ALP) weakly coupled to degrees of freedom in thermal equilibrium by obtaining its reduced density matrix. Its time evolution is determined by the in-in effective action which we obtain to leading order in the (ALP) coupling but to \emph{all orders} in the couplings of the bath to other fields within or beyond the standard model. The effective equation of motion for the (ALP) is a Langevin equation with noise and friction kernels obeying the fluctuation dissipation relation. A ``misaligned'' initial condition yields damped coherent oscillations, however, the (ALP) population increases towards thermalization with the bath. As a result, the energy density features a mixture of a cold component from misalignment and a hot component from thermalization with proportions that vary in time $(cold)\,e^{-\Gamma t}+(hot)\,(1-e^{-\Gamma t})$, providing a scenario wherein the ``warmth'' of the dark matter evolves in time from colder to hotter. As a specific example we consider the (ALP)-photon coupling $g a \vec{E}\cdot \vec{B}$ to lowest order, valid from recombination onwards. For $T \gg m_a$ the long-wavelength relaxation rate is substantially enhanced $\Gamma_T = \frac{g^2\,m^2_a\,T}{16\pi} $. The ultraviolet divergences of the (ALP) self-energy require higher order derivative terms in the effective action. We find that at high temperature, the finite temperature effective mass of the (ALP) is $m^2_a(T) = m^2_a(0)\Big[ 1-(T/T_c)^4\Big]$, with $T_c \propto \sqrt{m_a(0)/g}$, \emph{suggesting} the possibility of an inverted phase transition, which when combined with higher derivatives may possibly indicate exotic new phases. We discuss possible cosmological consequences on structure formation, the effective number of relativistic species and birefringence of the cosmic microwave background.