title: Heterochromatic Geometric Transversals of Convex sets

abstract: An infinite sequence of sets $\left\{B_{n}\right\}_{n\in\mathbb{N}}$ is said to be a heterochromatic sequence from an infinite sequence of families $\left\{ \mathcal{F}_{n} \right\}_{n \in \mathbb{N}}$, if there exists a strictly increasing sequence of natural numbers $\left\{ i_{n}\right\}_{n \in \mathbb{N}}$ such that for all $n \in \mathbb{N}$ we have $B_{n} \in \mathcal{F}_{i_{n}}$. In this paper, we have proved that if for each $n\in\mathbb{N}$, $\mathcal{F}_n$ is a family of {\em nicely shaped} convex sets in $\mathbb{R}^d$ such that each heterochromatic sequence $\left\{B_{n}\right\}_{n\in\mathbb{N}}$ from $\left\{ \mathcal{F}_{n} \right\}_{n \in \mathbb{N}}$ contains at least $k+2$ sets that can be pierced by a single $k$-flat ($k$-dimensional affine space) then all but finitely many families in $\left\{\mathcal{F}_{n}\right\}_{n\in \mathbb{N}}$ can be pierced by finitely many $k$-flats. This result can be considered as a {\em countably colorful} generalization of the $(\aleph_0, k+2)$-theorem proved by Keller and Perles (Symposium on Computational Geometry 2022). We have also established the tightness of our result by proving a number of no-go theorems.


title: Assisted Living in the United States: an Open Dataset

abstract: An assisted living facility (ALF) is a place where someone can live, have access to social supports such as transportation, and receive assistance with the activities of daily living such as toileting and dressing. Despite the important role of ALFs, they are not required to be certified with Medicare and there is no public national database of these facilities. We present the first public dataset of ALFs in the United States, covering all 50 states and DC with 44,638 facilities and over 1.2 million beds. This dataset can help provide answers to existing public health questions as well as help those in need find a facility. The dataset was validated by replicating the results of a nationwide study of ALFs that uses closed data [4], where the prevalence of ALFs is assessed with respect to county-level socioeconomic variables related to health disparity such as race, disability, and income. To showcase the value of this dataset, we also propose a novel metric to assess access to community-based care. We calculate the average distance an individual in need must travel in order to reach an ALF. The dataset and all relevant code are available at github.com/antonstengel/assisted-living-data.


title: Quasilinear wave equations on asymptotically flat spacetimes with applications to Kerr black holes

abstract: We prove global existence and decay for small-data solutions to a class of quasilinear wave equations on a wide variety of asymptotically flat spacetime backgrounds, allowing in particular for the presence of horizons, ergoregions and trapped null geodesics, and including as a special case the Schwarzschild and very slowly rotating $\vert a \vert \ll M$ Kerr family of black holes in general relativity. There are two distinguishing aspects of our approach. The first aspect is its dyadically localised nature: The nontrivial part of the analysis is reduced entirely to time-translation invariant $r^p$-weighted estimates, in the spirit of [DR09], to be applied on dyadic time-slabs which for large $r$ are outgoing. Global existence and decay then both immediately follow by elementary iteration on consecutive such time-slabs, without further global bootstrap. The second, and more fundamental, aspect is our direct use of a "blackbox" linear inhomogeneous energy estimate on exactly stationary metrics, together with a novel but elementary physical space top order identity that need not capture the structure of trapping and is robust to perturbation. In the specific example of Kerr black holes, the required linear inhomogeneous estimate can then be quoted directly from the literature [DRSR16], while the additional top order physical space identity can be shown easily in many cases (we include in the Appendix a proof for the Kerr case $\vert a \vert \ll M$, which can in fact be understood in this context simply as a perturbation of Schwarzschild). In particular, the approach circumvents the need either for producing a purely physical space identity capturing trapping or for a careful analysis of the commutation properties of frequency projections with the wave operator of time-dependent metrics.


title: Wormhole MAML: Meta-Learning in Glued Parameter Space

abstract: In this paper, we introduce a novel variation of model-agnostic meta-learning, where an extra multiplicative parameter is introduced in the inner-loop adaptation. Our variation creates a shortcut in the parameter space for the inner-loop adaptation and increases model expressivity in a highly controllable manner. We show both theoretically and numerically that our variation alleviates the problem of conflicting gradients and improves training dynamics. We conduct experiments on 3 distinctive problems, including a toy classification problem for threshold comparison, a regression problem for wavelet transform, and a classification problem on MNIST. We also discuss ways to generalize our method to a broader class of problems.


title: Partial Degeneration of Tensors

abstract: Tensors are often studied by introducing preorders such as restriction and degeneration: the former describes transformations of the tensors by local linear maps on its tensor factors; the latter describes transformations where the local linear maps may vary along a curve, and the resulting tensor is expressed as a limit along this curve. In this work we introduce and study partial degeneration, a special version of degeneration where one of the local linear maps is constant whereas the others vary along a curve. Motivated by algebraic complexity, quantum entanglement and tensor networks, we present constructions based on matrix multiplication tensors and find examples by making a connection to the theory of prehomogeneous tensor spaces. We highlight the subtleties of this new notion by showing obstruction and classification results for the unit tensor. To this end, we study the notion of aided rank, a natural generalization of tensor rank. The existence of partial degenerations gives strong upper bounds on the aided rank of a tensor, which allows one to turn degenerations into restrictions. In particular, we present several examples, based on the W-tensor and the Coppersmith-Winograd tensors, where lower bounds on aided rank provide obstructions to the existence of certain partial degenerations.


title: Saturation Properties of Ultrafilters in Canonical Inner Models

abstract: We improve Galvin's Theorem for ultrafilters which are p-point limits of p-points. This implies that in all the canonical inner models up to a superstrong cardinal, every kappa-complete ultrafilter over a measurable cardinal kappa satisfies the Galvin property. On the other hand, we prove that supercompact cardinals always carry non-Galvin kappa-complete ultrafilters. Finally, we prove that diamond_kappa implies the existence of a kappa-complete filter which extends the club filter and fails to satisfy the Galvin property. This answers questions Gitik, Shelah, Garti and the author.


title: A 3-Dimension Model of Volcanism Volatiles Contribution on Atmospheric Chemical Abundance of Habitable Planets

abstract: The volcanism plays an important part in mass exchange circle to bring matter from core of planet to atmosphere. Thus, it is a possible method to research the change of elements abundance in atmosphere by modeling the process of volatiles from volcanism get through and mix in atmosphere, which is the focused point of this article. This article penetrates from the generation of volatiles, talks the species, mass, and mole fractions of different typical elements in magma. Then a diffusion progress model of volatiles was built to quantify the abundance of elements with altitude. And the quantitative models of element abundance at different heights are obtained.


title: Locally Unitarily Invariantizable NEPv and Convergence Analysis of SCF

abstract: We consider a class of eigenvector-dependent nonlinear eigenvalue problems (NEPv) without the unitary invariance property. Those NEPv commonly arise as the first-order optimality conditions of a particular type of optimization problems over the Stiefel manifold, and previously, special cases have been studied in the literature. Two necessary conditions, a definiteness condition and a rank-preserving condition, on an eigenbasis matrix of the NEPv that is a global optimizer of the associated optimization problem are revealed, where the definiteness condition has been known for the special cases previously investigated. We show that, locally close to the eigenbasis matrix satisfying both necessary conditions, the NEPv can be reformulated as a unitarily invariant NEPv, the so-called aligned NEPv, through a basis alignment operation -- in other words, the NEPv is locally unitarily invariantizable. Numerically, the NEPv is naturally solved by an SCF-type iteration. By exploiting the differentiability of the coefficient matrix of the aligned NEPv, we establish a closed-form local convergence rate for the SCF-type iteration and analyze its level-shifted variant. Numerical experiments confirm our theoretical results.


title: Curator: Creating Large-Scale Curated Labelled Datasets using Self-Supervised Learning

abstract: Applying Machine learning to domains like Earth Sciences is impeded by the lack of labeled data, despite a large corpus of raw data available in such domains. For instance, training a wildfire classifier on satellite imagery requires curating a massive and diverse dataset, which is an expensive and time-consuming process that can span from weeks to months. Searching for relevant examples in over 40 petabytes of unlabelled data requires researchers to manually hunt for such images, much like finding a needle in a haystack. We present a no-code end-to-end pipeline, Curator, which dramatically minimizes the time taken to curate an exhaustive labeled dataset. Curator is able to search massive amounts of unlabelled data by combining self-supervision, scalable nearest neighbor search, and active learning to learn and differentiate image representations. The pipeline can also be readily applied to solve problems across different domains. Overall, the pipeline makes it practical for researchers to go from just one reference image to a comprehensive dataset in a diminutive span of time.


title: Leveraging World Knowledge in Implicit Hate Speech Detection

abstract: While much attention has been paid to identifying explicit hate speech, implicit hateful expressions that are disguised in coded or indirect language are pervasive and remain a major challenge for existing hate speech detection systems. This paper presents the first attempt to apply Entity Linking (EL) techniques to both explicit and implicit hate speech detection, where we show that such real world knowledge about entity mentions in a text does help models better detect hate speech, and the benefit of adding it into the model is more pronounced when explicit entity triggers (e.g., rally, KKK) are present. We also discuss cases where real world knowledge does not add value to hate speech detection, which provides more insights into understanding and modeling the subtleties of hate speech.


title: Exploring the role of SKA surveys with upcoming cosmic microwave background missions in probing primordial features

abstract: This present article is dedicated to thoroughly exploring the competency of the synergy of the upcoming Cosmic Microwave Background (CMB) missions and Square Kilometre Array (SKA) surveys in detecting features in the primordial power spectrum. Features are by definition specific scale-dependent modifications to the minimal power-law power spectrum. The functional form of the features depends on the inflationary scenarios taken into consideration. The identification of any conclusive deviation from the feature-less power-law power spectrum will allow us to largely fathom out the microphysics of the primordial universe. Here, we consider three vital theoretically motivated feature models, namely, Sharp feature signal, Resonance feature signal, and Bump feature. To investigate these features, we associate each feature model with a specific scale-dependent function called a template. Here we explore three distinct fiducial models for each feature model and for each fiducial model we compare the sensitivity of 36 different combinations of the cosmological surveys. We implement the Fisher matrix forecast method to obtain the possible constraints on the feature model parameters for the future CMB missions, namely, PICO, CORE-M5, LiteBIRD and CMB-S4 in synergy with upcoming SKA surveys, wherein we explore SKA-Cosmic Shear and SKA-Intensity Mapping surveys. Furthermore, the significance of combining EUCLID-Galaxy surveys with the SKA-Intensity Mapping survey is also explored. To consider the feasibility of propagating theoretical uncertainties of nonlinear scales in estimating the uncertainties on the feature parameters, we adopt redshift dependent upper limits of scales. To demonstrate the relative sensitivities of these future surveys towards the parameters of the feature models, we present a comparative analysis of all three feature models.


title: Customizing Knowledge Graph Embedding to Improve Clinical Study Recommendation

abstract: Inferring knowledge from clinical trials using knowledge graph embedding is an emerging area. However, customizing graph embeddings for different use cases remains a significant challenge. We propose custom2vec, an algorithmic framework to customize graph embeddings by incorporating user preferences in training the embeddings. It captures user preferences by adding custom nodes and links derived from manually vetted results of a separate information retrieval method. We propose a joint learning objective to preserve the original network structure while incorporating the user's custom annotations. We hypothesize that the custom training improves user-expected predictions, for example, in link prediction tasks. We demonstrate the effectiveness of custom2vec for clinical trials related to non-small cell lung cancer (NSCLC) with two customization scenarios: recommending immuno-oncology trials evaluating PD-1 inhibitors and exploring similar trials that compare new therapies with a standard of care. The results show that custom2vec training achieves better performance than the conventional training methods. Our approach is a novel way to customize knowledge graph embeddings and enable more accurate recommendations and predictions.


title: COGEDAP: A COmprehensive GEnomic Data Analysis Platform

abstract: Non-sharable sensitive data collection and analysis in large-scale consortia for genomic research is complicated. Time consuming issues in installing software arise due to different operating systems, software dependencies and running the software. Therefore, easier, more standardized, automated protocols and platforms can be a solution to overcome these issues. We have developed one such solution for genomic data analysis using software container technologies. The platform, COGEDAP, consists of different software tools placed into Singularity containers with corresponding pipelines and instructions on how to perform genome-wide association studies (GWAS) and other genomic data analysis via corresponding tools. Using a provided helper script written in Python, users can obtain auto-generated scripts to conduct the desired analysis both on high-performance computing (HPC) systems and on personal computers. The analyses can be done by running these auto-generated scripts with the software containers. The helper script also performs minor re-formatting of the input/output data, so that the end user can work with a unified file format regardless of which genetic software is used for the analysis. COGEDAP is actively being used by users from different countries/projects to conduct their genomic data analyses. Thanks to this platform, users can easily run GWAS and other genomic analyses without spending much effort on software installation, data formats, and other technical requirements.


title: Towards automating Codenames spymasters with deep reinforcement learning

abstract: Although most reinforcement learning research has centered on competitive games, little work has been done on applying it to co-operative multiplayer games or text-based games. Codenames is a board game that involves both asymmetric co-operation and natural language processing, which makes it an excellent candidate for advancing RL research. To my knowledge, this work is the first to formulate Codenames as a Markov Decision Process and apply some well-known reinforcement learning algorithms such as SAC, PPO, and A2C to the environment. Although none of the above algorithms converge for the Codenames environment, neither do they converge for a simplified environment called ClickPixel, except when the board size is small.


title: Supercompliers

abstract: In a binary-treatment instrumental variable framework, we define supercompliers as the subpopulation whose treatment take-up positively responds to eligibility and whose outcome positively responds to take-up. Supercompliers are the only subpopulation to benefit from treatment eligibility and, hence, are of great policy interest. Given a set of jointly testable assumptions and a binary outcome, we can completely identify the characteristics of supercompliers. Specifically, we require the standard assumptions from the local average treatment effect literature along with an outcome monotonicity assumption (i.e., treatment is weakly beneficial). We can estimate and conduct inference on supercomplier characteristics using standard instrumental variable regression.


title: Provable Robust Saliency-based Explanations

abstract: Robust explanations of machine learning models are critical to establishing human trust in the models. The top-$k$ intersection is widely used to evaluate the robustness of explanations. However, most existing attacking and defense strategies are based on $\ell_p$ norms, thus creating a mismatch between the evaluation and optimization objectives. To this end, we define explanation thickness for measuring top-$k$ salient features ranking stability, and design the \textit{R2ET} algorithm based on a novel tractable surrogate to maximize the thickness and stabilize the top salient features efficiently. Theoretically, we prove a connection between R2ET and adversarial training; using a novel multi-objective optimization formulation and a generalization error bound, we further prove that the surrogate objective can improve both the numerical and statistical stability of the explanations. Experiments with a wide spectrum of network architectures and data modalities demonstrate that R2ET attains higher explanation robustness under stealthy attacks while retaining model accuracy.


title: Joint Discriminative and Metric Embedding Learning for Person Re-Identification

abstract: Person re-identification is a challenging task because of the high intra-class variance induced by the unrestricted nuisance factors of variations such as pose, illumination, viewpoint, background, and sensor noise. Recent approaches postulate that powerful architectures have the capacity to learn feature representations invariant to nuisance factors, by training them with losses that minimize intra-class variance and maximize inter-class separation, without modeling nuisance factors explicitly. The dominant approaches use either a discriminative loss with margin, like the softmax loss with the additive angular margin, or a metric learning loss, like the triplet loss with batch hard mining of triplets. Since the softmax imposes feature normalization, it limits the gradient flow supervising the feature embedding. We address this by joining the losses and leveraging the triplet loss as a proxy for the missing gradients. We further improve invariance to nuisance factors by adding the discriminative task of predicting attributes. Our extensive evaluation highlights that when only a holistic representation is learned, we consistently outperform the state-of-the-art on the three most challenging datasets. Such representations are easier to deploy in practical systems. Finally, we found that joining the losses removes the requirement for having a margin in the softmax loss while increasing performance.


title: Meromorphic connections on the projective line with specified local behavior

abstract: A meromorphic connection on the complex projective line induces formal connections at each singular point, and these formal connections constitute the local behavior at the singularities. In this primarily expository paper, we discuss the extent to which specified local behavior at singular points determines the global connection. In particular, given a finite set of points and a collection of ``formal types'' at these points, does there exist a moduli space of meromorphic connections with this local behavior, and if so, when is this moduli space nonempty or a singleton? In this paper, we discuss variants of these problems (for example, the Deligne--Simpson and rigidity problems) as the allowed singularities get progressively more complicated: first connections with only regular singularities, next connections with additional unramified irregular singularities allowed, and finally the general case.


title: Synthesis of Adversarial DDOS Attacks Using Tabular Generative Adversarial Networks

abstract: Network Intrusion Detection Systems (NIDS) are tools or software that are widely used to maintain the computer networks and information systems keeping them secure and preventing malicious traffics from penetrating into them, as they flag when somebody is trying to break into the system. Best effort has been set up on these systems, and the results achieved so far are quite satisfying, however, new types of attacks stand out as the technology of attacks keep evolving, one of these attacks are the attacks based on Generative Adversarial Networks (GAN) that can evade machine learning IDS leaving them vulnerable. This project investigates the impact of the Adversarial Attacks synthesized using real DDoS attacks generated using GANs on the IDS. The objective is to discover how will these systems react towards synthesized attacks. marking the vulnerability and weakness points of these systems so we could fix them.


title: Learning Representations for Masked Facial Recovery

abstract: The pandemic of these very recent years has led to a dramatic increase in people wearing protective masks in public venues. This poses obvious challenges to the pervasive use of face recognition technology that now is suffering a decline in performance. One way to address the problem is to revert to face recovery methods as a preprocessing step. Current approaches to face reconstruction and manipulation leverage the ability to model the face manifold, but tend to be generic. We introduce a method that is specific for the recovery of the face image from an image of the same individual wearing a mask. We do so by designing a specialized GAN inversion method, based on an appropriate set of losses for learning an unmasking encoder. With extensive experiments, we show that the approach is effective at unmasking face images. In addition, we also show that the identity information is preserved sufficiently well to improve face verification performance based on several face recognition benchmark datasets.


title: Effectiveness of Deep Image Embedding Clustering Methods on Tabular Data

abstract: Deep learning methods in the literature are commonly benchmarked on image data sets, which may not be suitable or effective baselines for non-image tabular data. In this paper, we take a data-centric view to perform one of the first studies on deep embedding clustering of tabular data. Eight clustering and state-of-the-art embedding clustering methods proposed for image data sets are tested on seven tabular data sets. Our results reveal that a traditional clustering method ranks second out of eight methods and is superior to most deep embedding clustering baselines. Our observation aligns with the literature that conventional machine learning of tabular data is still a robust approach against deep learning. Therefore, state-of-the-art embedding clustering methods should consider data-centric customization of learning architectures to become competitive baselines for tabular data.


title: Simultaneous control of spectral and directional emissivity with gradient epsilon-near-zero InAs photonic structures

abstract: Controlling both the spectral bandwidth and directional range of emitted thermal radiation is a fundamental challenge in modern photonics and materials research. Recent work has shown that materials with a spatial gradient in their epsilon near zero response can support broad spectrum directionality in their emissivity, enabling high radiance to specific angles of incidence. However, this capability has been limited spectrally and directionally by the availability of materials supporting phonon-polariton resonances over long-wave infrared wavelengths. Here, we design and experimentally demonstrate an approach using doped III-V semiconductors that can simultaneously tailor spectral peak, bandwidth and directionality of infrared emissivity. We epitaxially grow and characterize InAs-based gradient ENZ photonic structures that exhibit broadband directional emission with varying spectral bandwidths and peak directions as a function of their doping concentration profile and thickness. Due to its easy-to-fabricate geometry we believe this approach provides a versatile photonic platform to dynamically control broadband spectral and directional emissivity for a range of emerging applications.


title: Topological Data Analysis of Spatial Patterning in Heterogeneous Cell Populations: Clustering and Sorting with Varying Cell-Cell Adhesion

abstract: Different cell types aggregate and sort into hierarchical architectures during the formation of animal tissues. The resulting spatial organization depends (in part) on the strength of adhesion of one cell type to itself relative to other cell types. However, automated and unsupervised classification of these multicellular spatial patterns remains challenging, particularly given their structural diversity and biological variability. Recent developments based on topological data analysis are intriguing to reveal similarities in tissue architecture, but these methods remain computationally expensive. In this article, we show that multicellular patterns organized from two interacting cell types can be efficiently represented through persistence images. Our optimized combination of dimensionality reduction via autoencoders, combined with hierarchical clustering, achieved high classification accuracy for simulations with constant cell numbers. We further demonstrate that persistence images can be normalized to improve classification for simulations with varying cell numbers due to proliferation. Finally, we systematically consider the importance of incorporating different topological features as well as information about each cell type to improve classification accuracy. We envision that topological machine learning based on persistence images will enable versatile and robust classification of complex tissue architectures that occur in development and disease.


title: $\mathcal{N} = 2$ higher spins: superfield equations of motion, the hypermultiplet supercurrents, and the component structure

abstract: As a continuation of our previous papers arXiv:2109.07639 and arXiv:2202.08196, we study the linearized structure of the manifestly $4D, \mathcal{N} = 2$ supersymmetric theory of the cubic couplings of the higher spin gauge superfields to the matter hypermultiplets. We consider in detail the superfield equations of motion, construct the conserved hypermultiplet superfield currents, explore their component structure (basically in the bosonic sector) and compare it with the corresponding currents in the conventional higher-spin bosonic theory. We thoroughly study the $\mathcal{N} = 2$ spin $\mathbf{2}$ and $\mathbf{3}$ models as instructive examples.


title: Certifying Safety in Reinforcement Learning under Adversarial Perturbation Attacks

abstract: Function approximation has enabled remarkable advances in applying reinforcement learning (RL) techniques in environments with high-dimensional inputs, such as images, in an end-to-end fashion, mapping such inputs directly to low-level control. Nevertheless, these have proved vulnerable to small adversarial input perturbations. A number of approaches for improving or certifying robustness of end-to-end RL to adversarial perturbations have emerged as a result, focusing on cumulative reward. However, what is often at stake in adversarial scenarios is the violation of fundamental properties, such as safety, rather than the overall reward that combines safety with efficiency. Moreover, properties such as safety can only be defined with respect to true state, rather than the high-dimensional raw inputs to end-to-end policies. To disentangle nominal efficiency and adversarial safety, we situate RL in deterministic partially-observable Markov decision processes (POMDPs) with the goal of maximizing cumulative reward subject to safety constraints. We then propose a partially-supervised reinforcement learning (PSRL) framework that takes advantage of an additional assumption that the true state of the POMDP is known at training time. We present the first approach for certifying safety of PSRL policies under adversarial input perturbations, and two adversarial training approaches that make direct use of PSRL. Our experiments demonstrate both the efficacy of the proposed approach for certifying safety in adversarial environments, and the value of the PSRL framework coupled with adversarial training in improving certified safety while preserving high nominal reward and high-quality predictions of true state.


title: Coordination of Drones at Scale: Decentralized Energy-aware Swarm Intelligence for Spatio-temporal Sensing

abstract: Smart City applications, such as traffic monitoring and disaster response, often use swarms of intelligent and cooperative drones to efficiently collect sensor data over different areas of interest and time spans. However, when the required sensing becomes spatio-temporally large and varying, a collective arrangement of sensing tasks to a large number of battery-restricted and distributed drones is challenging. To address this problem, this paper introduces a scalable and energy-aware model for planning and coordination of spatio-temporal sensing. The coordination model is built upon a decentralized multi-agent collective learning algorithm (EPOS) to ensure scalability, resilience, and flexibility that existing approaches lack of. Experimental results illustrate the outstanding performance of the proposed method compared to state-of-the-art methods. Analytical results contribute a deeper understanding of how coordinated mobility of drones influences sensing performance. This novel coordination solution is applied to traffic monitoring using real-world data to demonstrate a $46.45\%$ more accurate and $2.88\%$ more efficient detection of vehicles as the number of drones become a scarce resource.


title: Improving a sequence-to-sequence nlp model using a reinforcement learning policy algorithm

abstract: Nowadays, the current neural network models of dialogue generation(chatbots) show great promise for generating answers for chatty agents. But they are short-sighted in that they predict utterances one at a time while disregarding their impact on future outcomes. Modelling a dialogue's future direction is critical for generating coherent, interesting dialogues, a need that has led traditional NLP dialogue models that rely on reinforcement learning. In this article, we explain how to combine these objectives by using deep reinforcement learning to predict future rewards in chatbot dialogue. The model simulates conversations between two virtual agents, with policy gradient methods used to reward sequences that exhibit three useful conversational characteristics: the flow of informality, coherence, and simplicity of response (related to forward-looking function). We assess our model based on its diversity, length, and complexity with regard to humans. In dialogue simulation, evaluations demonstrated that the proposed model generates more interactive responses and encourages a more sustained successful conversation. This work commemorates a preliminary step toward developing a neural conversational model based on the long-term success of dialogues.


title: Falsification of Learning-Based Controllers through Multi-Fidelity Bayesian Optimization

abstract: Simulation-based falsification is a practical testing method to increase confidence that the system will meet safety requirements. Because full-fidelity simulations can be computationally demanding, we investigate the use of simulators with different levels of fidelity. As a first step, we express the overall safety specification in terms of environmental parameters and structure this safety specification as an optimization problem. We propose a multi-fidelity falsification framework using Bayesian optimization, which is able to determine at which level of fidelity we should conduct a safety evaluation in addition to finding possible instances from the environment that cause the system to fail. This method allows us to automatically switch between inexpensive, inaccurate information from a low-fidelity simulator and expensive, accurate information from a high-fidelity simulator in a cost-effective way. Our experiments on various environments in simulation demonstrate that multi-fidelity Bayesian optimization has falsification performance comparable to single-fidelity Bayesian optimization but with much lower cost.


title: Crystal Nucleation and Growth in Liquids: Cooperative Atom Attachment and Detachment

abstract: Classical theories of crystal nucleation and growth from the liquid assume activated processes that are interface limited, with the atoms individually joining the growing interface by jumps that occur at a rate that is determined by the diffusion coefficient in the liquid phase. These assumptions are in contradiction with the results of molecular dynamics studies that are presented here for supercooled Ni and Al20Ni60Zr20. Instead of diffusion-based attachment across the interface, atoms join the interface by making small changes so as to match the orientational order parameter of the nucleating crystal. Further, instead of joining individually multiple atoms join cooperatively, with the number of cooperative atoms increasing with decreasing temperature.


title: Turnkey photonic flywheel in a Chimera cavity

abstract: Dissipative Kerr soliton (DKS) microcomb has emerged as an enabling technology that revolutionizes a wide range of applications in both basic science and technological innovation. Reliable turnkey operation with sub-opticalcycle and sub-femtosecond timing jitter is key to the success of many intriguing microcomb applications at the intersection of ultrafast optics and microwave electronics. Here we propose a novel approach to demonstrate the first turnkey Brillouin-DKS frequency comb. Our approach with a Chimera cavity offers essential benefits that are not attainable previously, including phase insensitivity, self-healing capability, deterministic selection of DKS state, and access to the ultralow noise comb state. The demonstrated turnkey Brillouin-DKS frequency comb achieves a fundamental comb linewidth of 100 mHz and DKS timing jitter of 1 femtosecond for averaging times up to 56 {\mu}s. The approach is universal and generalizable to various device platforms for user-friendly and field-deployable comb devices.


title: CellTranspose: Few-shot Domain Adaptation for Cellular Instance Segmentation

abstract: Automated cellular instance segmentation is a process utilized for accelerating biological research for the past two decades, and recent advancements have produced higher quality results with less effort from the biologist. Most current endeavors focus on completely cutting the researcher out of the picture by generating highly generalized models. However, these models invariably fail when faced with novel data, distributed differently than the ones used for training. Rather than approaching the problem with methods that presume the availability of large amounts of target data and computing power for retraining, in this work we address the even greater challenge of designing an approach that requires minimal amounts of new annotated data as well as training time. We do so by designing specialized contrastive losses that leverage the few annotated samples very efficiently. A large set of results show that 3 to 5 annotations lead to models with accuracy that: 1) significantly mitigate the covariate shift effects; 2) matches or surpasses other adaptation methods; 3) even approaches methods that have been fully retrained on the target distribution. The adaptation training is only a few minutes, paving a path towards a balance between model performance, computing requirements and expert-level annotation needs.


title: Noise-squeezed forward Brillouin lasers in multimode fiber microresonators

abstract: Stimulated Brillouin scattering (SBS) in low-power and compact microresonators has created a new field in cavity nonlinear photonics due to the marriage between acoustic and optical signal processing. Considering the fundamental differences between backward SBS and forward SBS processes, it is challenging to observe the coexistence of both processes in the same microresonator, as well as the photon noise suppression for the forward stimulated Brillouin laser (FSBL). In this paper, we demonstrate the first 20-dB-noise-squeezed FSBL generation excited by the coexisting backward SBL (BSBL) in an ultrahigh-quality-factor Fabry-Perot (FP) microresonator based on multimode fiber (MMF). Multiple FSBLs and BSBLs are cascaded by multiple intermodal SBS processes in the multimode microresonator, where the cascaded process between backward SBS and forward SBS process (pump-BSBL-FSBL) provides a route towards additional noise squeezing, rendering the FSBL phase noise to be -120 dBc/Hz at 1 MHz offset frequency. Furthermore, we demonstrate the first Brillouin-Kerr soliton from a high-order BSBL, which also coexists with FSBLs. Our experimental results show the potential of MMF FP microresonator as an ideal testbed for high-dimensional nonlinear cavity dynamics and laser source with ultrahigh coherence.


title: Comparison Results for Gromov-Wasserstein and Gromov-Monge Distances

abstract: Inspired by the Kantorovich formulation of optimal transport distance between probability measures on a metric space, Gromov-Wasserstein (GW) distances comprise a family of metrics on the space of isomorphism classes metric measure spaces. In previous work, the authors introduced a variant of this construction which was inspired by the original Monge formulation of optimal transport; elements of the resulting family are referred to Gromov-Monge (GM) distances. These GM distances, and related ideas, have since become a subject of interest from both theoretical and applications-oriented perspectives. In this note, we establish several theoretical properties of GM distances, focusing on comparisons between GM and GW distances. In particular, we show that GM and GW distances are equal for non-atomic mm-spaces. We also consider variants of GM distance, such as a Monge version of Sturm's $L_p$-transportion distance, and give precise comparisons to GW distance. Finally, we establish bi-H\"{o}lder equivalence between GM distance and an isometry-invariant Monge optimal transport distance between Euclidean metric measure spaces that has been utilized in shape and image analysis applications.


title: Joint Action is a Framework for Understanding Partnerships Between Humans and Upper Limb Prostheses

abstract: Recent advances in upper limb prostheses have led to significant improvements in the number of movements provided by the robotic limb. However, the method for controlling multiple degrees of freedom via user-generated signals remains challenging. To address this issue, various machine learning controllers have been developed to better predict movement intent. As these controllers become more intelligent and take on more autonomy in the system, the traditional approach of representing the human-machine interface as a human controlling a tool becomes limiting. One possible approach to improve the understanding of these interfaces is to model them as collaborative, multi-agent systems through the lens of joint action. The field of joint action has been commonly applied to two human partners who are trying to work jointly together to achieve a task, such as singing or moving a table together, by effecting coordinated change in their shared environment. In this work, we compare different prosthesis controllers (proportional electromyography with sequential switching, pattern recognition, and adaptive switching) in terms of how they present the hallmarks of joint action. The results of the comparison lead to a new perspective for understanding how existing myoelectric systems relate to each other, along with recommendations for how to improve these systems by increasing the collaborative communication between each partner.


title: MuTable (Music Table): Turn any surface into musical instrument

abstract: With the rise in pervasive computing solutions, interactive surfaces have gained a large popularity across multi-application domains including smart boards for education, touch-enabled kiosks for smart retail and smart mirrors for smart homes. Despite the increased popularity of such interactive surfaces, existing platforms are mostly limited to custom built surfaces with attached sensors and hardware, that are expensive and require complicated design considerations. To address this, we design a low-cost, intuitive system called MuTable that repurposes any flat surface (such as table tops) into a live musical instrument. This provides a unique, close to real-time instrument playing experience to the user to play any type of musical instrument. This is achieved by projecting the instrument's shape on any tangible surface, sensor calibration, user taps detection, tap position identification, and associated sound generation. We demonstrate the performance of our working system by reporting an accuracy of 83% for detecting softer taps, 100% accuracy for detecting the regular taps, and a precision of 95.7% for estimating hand location.


title: Modular termination verification with a higher-order concurrent separation logic (Intermediate report)

abstract: We report on intermediate results of our research on reasoning about liveness properties in addition to deep correctness properties for an imperative, concurrent programming language with a higher-order store. At present, we focus on one particular liveness property, namely termination. By guaranteeing termination we can strengthen statements of partial correctness to total correctness. This is achieved by the classic approach of turning termination into a safety property. In particular we extend the programming language under consideration with call permissions, which have been shown to enable modular reasoning about termination. Atomic blocks are added to increase the expressiveness of our call-permission-based approach. Our work builds on top of Iris -- a foundational, machine-checked, higher-order concurrent separation logic framework -- without modifying it. With these additions we are able to modularly reason about the termination of concurrent, but non-blocking algorithms. Our additions to the programming language under consideration preserve Iris' ability to reason about helping and prophecies. As an example, we apply the current system to an existing case study for a lock-free concurrent stack with helping that has been proven in Iris. Finally, we sketch the next steps to scale our approach to blocking concurrency.


title: Hidden Symmetries, Rapid Turns and Cosmic Acceleration

abstract: Hidden symmetries provide a powerful tool for finding exact solutions in multifield cosmological models. We review how, using such symmetries, one can find inflationary solutions in two-field models, which lead to the generation of primordial black holes. We also discuss an exact solution in a two-field cosmological model, which describes dark energy. This solution is obtained with the use of a hidden symmetry, although the latter is broken by a constant term in the scalar potential. All of the above solutions are characterized by field-space trajectories with rapid turns.


title: Joint Engagement Classification using Video Augmentation Techniques for Multi-person Human-robot Interaction

abstract: Affect understanding capability is essential for social robots to autonomously interact with a group of users in an intuitive and reciprocal way. However, the challenge of multi-person affect understanding comes from not only the accurate perception of each user's affective state (e.g., engagement) but also the recognition of the affect interplay between the members (e.g., joint engagement) that presents as complex, but subtle, nonverbal exchanges between them. Here we present a novel hybrid framework for identifying a parent-child dyad's joint engagement by combining a deep learning framework with various video augmentation techniques. Using a dataset of parent-child dyads reading storybooks together with a social robot at home, we first train RGB frame- and skeleton-based joint engagement recognition models with four video augmentation techniques (General Aug, DeepFake, CutOut, and Mixed) applied datasets to improve joint engagement classification performance. Second, we demonstrate experimental results on the use of trained models in the robot-parent-child interaction context. Third, we introduce a behavior-based metric for evaluating the learned representation of the models to investigate the model interpretability when recognizing joint engagement. This work serves as the first step toward fully unlocking the potential of end-to-end video understanding models pre-trained on large public datasets and augmented with data augmentation and visualization techniques for affect recognition in the multi-person human-robot interaction in the wild.


title: Matchertext: Towards Verbatim Interlanguage Embedding

abstract: Embedding text in one language within text of another is commonplace for numerous purposes, but usually requires tedious and error-prone "escaping" transformations on the embedded string. We propose a simple cross-language syntactic discipline, matchertext, which enables the safe embedding a string in any compliant language into a string in any other language via simple "copy-and-paste" - in particular with no escaping, obfuscation, or expansion of embedded strings. We apply this syntactic discipline to several common and frequently-embedded language syntaxes such as URIs, HTML, and JavaScript, exploring the benefits, costs, and compatibility issues in adopting the proposed matchertext discipline. One early matchertext-based language is MinML, a concise but general alternative syntax for writing HTML or XML.


title: Stable hypersurfaces with constant higher order mean curvature

abstract: We propose a notion of stability for capillary hypersurfaces with constant higher order mean curvature and we generalize some results of the classical stability theory for CMC capillary hypersurfaces.


title: TAToo: Vision-based Joint Tracking of Anatomy and Tool for Skull-base Surgery

abstract: Purpose: Tracking the 3D motion of the surgical tool and the patient anatomy is a fundamental requirement for computer-assisted skull-base surgery. The estimated motion can be used both for intra-operative guidance and for downstream skill analysis. Recovering such motion solely from surgical videos is desirable, as it is compliant with current clinical workflows and instrumentation. Methods: We present Tracker of Anatomy and Tool (TAToo). TAToo jointly tracks the rigid 3D motion of patient skull and surgical drill from stereo microscopic videos. TAToo estimates motion via an iterative optimization process in an end-to-end differentiable form. For robust tracking performance, TAToo adopts a probabilistic formulation and enforces geometric constraints on the object level. Results: We validate TAToo on both simulation data, where ground truth motion is available, as well as on anthropomorphic phantom data, where optical tracking provides a strong baseline. We report sub-millimeter and millimeter inter-frame tracking accuracy for skull and drill, respectively, with rotation errors below 1{\deg}. We further illustrate how TAToo may be used in a surgical navigation setting. Conclusion: We present TAToo, which simultaneously tracks the surgical tool and the patient anatomy in skull-base surgery. TAToo directly predicts the motion from surgical videos, without the need of any markers. Our results show that the performance of TAToo compares favorably to competing approaches. Future work will include fine-tuning of our depth network to reach a 1 mm clinical accuracy goal desired for surgical applications in the skull base.


title: Robust Bayesian Subspace Identification for Small Data Sets

abstract: Model estimates obtained from traditional subspace identification methods may be subject to significant variance. This elevated variance is aggravated in the cases of large models or of a limited sample size. Common solutions to reduce the effect of variance are regularized estimators, shrinkage estimators and Bayesian estimation. In the current work we investigate the latter two solutions, which have not yet been applied to subspace identification. Our experimental results show that our proposed estimators may reduce the estimation risk up to $40\%$ of that of traditional subspace methods.


title: Investigating Sindy As a Tool For Causal Discovery In Time Series Signals

abstract: The SINDy algorithm has been successfully used to identify the governing equations of dynamical systems from time series data. In this paper, we argue that this makes SINDy a potentially useful tool for causal discovery and that existing tools for causal discovery can be used to dramatically improve the performance of SINDy as tool for robust sparse modeling and system identification. We then demonstrate empirically that augmenting the SINDy algorithm with tools from causal discovery can provides engineers with a tool for learning causally robust governing equations.


title: Photonic frequency microcombs based on dissipative Kerr and quadratic cavity solitons

abstract: Optical frequency comb, with precisely controlled spectral lines spanning a broad range, has been the key enabling technology for many scientific breakthroughs. In addition to the traditional implementation based on modelocked lasers, photonic frequency microcombs based on dissipative Kerr and quadratic cavity solitons in high-Q microresonators have become invaluable in applications requiring compact footprint, low cost, good energy efficiency, large comb spacing, and access to nonconventional spectral regions. In this review, we comprehensively examine the recent progress of photonic frequency microcombs and discuss how various phenomena can be utilized to enhance the microcomb performances that benefit a plethora of applications including optical atomic clockwork, optical frequency synthesizer, precision spectroscopy, astrospectrograph calibration, biomedical imaging, optical communications, coherent ranging, and quantum information science.


title: Concentration-Flux-Steered Mechanism Exploration with an Organocatalysis Application

abstract: Investigating a reactive chemical system with automated reaction network exploration algorithms provides a more detailed picture of its chemical mechanism than what would be accessible by manual investigation. In general, exploration algorithms cannot uncover reaction networks exhaustively for feasibility reasons. They should therefore decide which part of a network is kinetically relevant under some external conditions given. Here, we propose an automated algorithm that identifies and explores kinetically accessible regions of a reaction network on the fly by explicit modeling of concentration fluxes through an (incomplete) reaction network that is emerging during automated first-principles exploration. Key compounds are automatically identified and selected for the continuation of the exploration. As an example, we explore the reaction network of the multi-component proline-catalyzed Michael addition of propanal and nitropropene. Our algorithm provides a mechanistic picture of the Michael addition in unprecedented detail.


title: Polynomial sequences in discrete nilpotent groups of step 2

abstract: We discuss some of our work on averages along polynomial sequences in nilpotent groups of step 2. Our main results include boundedness of associated maximal functions and singular integrals operators, an almost everywhere pointwise convergence theorem for ergodic averages along polynomial sequences, and a nilpotent Waring theorem. Our proofs are based on analytical tools, such as a nilpotent Weyl inequality, and on complex almost-orthogonality arguments that are designed to replace Fourier transform tools, which are not available in the non-commutative nilpotent setting. In particular, we present what we call a "nilpotent circle method" that allows us to adapt some of the ideas of the classical circle method to the setting of nilpotent groups.


title: On irreducibility of modules of Whittaker type: twisted modules and nonabelian orbifolds

abstract: In arXiv:1811.04649, we extended the Dong-Mason theorem on irreducibility of modules for cyclic orbifold vertex algebras to the entire category weak modules and applied this result to Whittaker modules. In this paper we present further generalizations of these results for nonabelian orbifolds of vertex operator superalgebras. Let $V$ be a vertex superalgebra with a countable dimension and let $G$ be a finite subgroup of $\mathrm{Aut}(V)$. Assume that $h\in Z(G)$ where $Z(G)$ is the center of the group $G$. For any irreducible $h$-twisted (weak) $V$-module $M$, we prove that if $M\not\cong g\circ M$ for all $g\in G$ then $M$ is also irreducible as $V^G$-module. We also apply this result to examples and give irreducibility of modules of Whittaker type for orbifolds of Neveu-Schwarz vertex superalgebras, Heisenberg vertex algebras, Virasoro vertex operator algebra and Heisenberg-Virasoro vertex algebra.


title: Planning Paths through Occlusions in Urban Environments

abstract: This paper presents a novel framework for planning in unknown and occluded urban spaces. We specifically focus on turns and intersections where occlusions significantly impact navigability. Our approach uses an inpainting model to fill in a sparse, occluded, semantic lidar point cloud and plans dynamically feasible paths for a vehicle to traverse through the open and inpainted spaces. We demonstrate our approach using a car's lidar data with real-time occlusions, and show that by inpainting occluded areas, we can plan longer paths, with more turn options compared to without inpainting; in addition, our approach more closely follows paths derived from a planner with no occlusions (called the ground truth) compared to other state of the art approaches.


title: The matrix equation $aX^m+bY^n=cI$ over $M_2(\mathbb{Z})$

abstract: Let $\mathbb{N}$ be the set of all positive integers and let $a,\, b,\, c$ be nonzero integers such that $\gcd\left(a,\, b,\, c\right)=1$. In this paper, we prove the following three results: (1) the solvability of the matrix equation $aX^m+bY^n=cI,\,X,\,Y\in M_2(\mathbb{Z}),\, m,\, n\in\mathbb{N}$ can be reduced to the solvability of the corresponding Diophantine equation if $XY\neq YX$ and the solvability of the equation $ax^m+by^n=c,\, m,\, n\in\mathbb{N}$ in quadratic fields if $XY=YX$; (2) we determine all non-commutative solutions of the matrix equation $X^n+Y^n=c^nI,\,X,\,Y\in M_2(\mathbb{Z}),\,n\in\mathbb{N},\,n\geq3$, and the solvability of this matrix equation can be reduced to the solvability of the equation $x^n+y^n=c^n,\, n\in\mathbb{N},\,n\geq3$ in quadratic fields if $XY=YX$; (3) we determine all solutions of the matrix equation $aX^2+bY^2=cI,\,X,\,Y\in M_2(\mathbb{Z})$.


title: Every-other-layer Dipolar Excitons in a Spin-Valley locked Superlattice

abstract: Monolayer semiconducting transition metal dichalcogenides possess broken inversion symmetry and strong spin-orbit coupling, which leads to unique spin-valley locking effect. In 2H stacked pristine multilayers, the spin-valley locking yields an electronic superlattice structure, where alternating layers correspond to barrier and quantum well respectively, conditioned on the spin-valley indices. Here, we show that the spin-valley locked superlattice hosts a new kind of dipolar excitons with the electron and hole constituents separated in an every-other-layer configuration, i.e., either in two even or two odd layers. Such excitons become optically bright via hybridization with intralayer excitons, displaying multiple anti-crossing patterns in optical reflection spectrum as the dipolar exciton is tuned through the intralayer resonance by electric field. The reflectance spectra also reveal an excited state orbital of the every-other-layer exciton, pointing to a sizable binding energy in the same order of magnitude as the intralayer exciton. As layer thickness increases, the dipolar exciton can form one-dimensional Bose-Hubbard chain displaying a layer number dependent fine-structures in the reflectance spectra. Our work reveals a distinct valleytronic superlattice with highly tunable dipolar excitons for exploring light-matter interactions.

categories: cond-mat.mes-hall cond-mat.mtrl-sci physics.app-ph quant-ph


title: $\pi$QLB: A Privacy-preserving with Integrity-assuring Query Language for Blockchain

abstract: The increase in the adoption of blockchain technology in different application domains e.g., healthcare systems, supplychain management, has raised the demand for a data query mechanism on blockchain. Since current blockchain systems lack the support for querying data with embedded security and privacy guarantees, there exists inherent security and privacy concerns on those systems. In particular, existing systems require users to submit queries to blockchain operators (e.g., a node validator) in plaintext. This directly jeopardizes users' privacy as the submitted queries may contain sensitive information, e.g., location or gender preferences, that the users may not be comfortable sharing. On the other hand, currently, the only way for users to ensure integrity of the query result is to maintain the entire blockchain database and perform the queries locally. Doing so incurs high storage and computational costs on the users, precluding this approach to be practically deployable on common light-weight devices (e.g., smartphones). To this end, this paper proposes $\pi$QLB, a query language for blockchain systems that ensures both confidentiality of query inputs and integrity of query results. Additionally, $\pi$QLB enables SQL-like queries over the blockchain data by introducing relational data semantics into the existing blockchain database. $\pi$QLB has applied the recent cryptography primitive, i.e., function secret sharing (FSS), to achieve confidentiality. To support integrity, we extend the traditional FSS setting in such a way that integrity of FSS results can be efficiently verified. Successful verification indicates absence of malicious behaviors on the servers, allowing the user to establish trust from the result. To the best of our knowledge, $\pi$QLB is the first query model designed for blockchain databases with support for confidentiality, integrity, and SQL-like queries.


title: Joint User Association and Bandwidth Allocation in Semantic Communication Networks

abstract: Semantic communication (SemCom) has recently been considered a promising solution to guarantee high resource utilization and transmission reliability for future wireless networks. Nevertheless, the unique demand for background knowledge matching makes it challenging to achieve efficient wireless resource management for multiple users in SemCom-enabled networks (SC-Nets). To this end, this paper investigates SemCom from a networking perspective, where two fundamental problems of user association (UA) and bandwidth allocation (BA) are systematically addressed in the SC-Net. First, considering varying knowledge matching states between mobile users and associated base stations, we identify two general SC-Net scenarios, namely perfect knowledge matching-based SC-Net and imperfect knowledge matching-based SC-Net. Afterward, for each SC-Net scenario, we describe its distinctive semantic channel model from the semantic information theory perspective, whereby a concept of bit-rate-to-message-rate transformation is developed along with a new semantics-level metric, namely system throughput in message (STM), to measure the overall network performance. In this way, we then formulate a joint STM-maximization problem of UA and BA for each SC-Net scenario, followed by a corresponding optimal solution proposed. Numerical results in both scenarios demonstrate significant superiority and reliability of our solutions in the STM performance compared with two benchmarks.


title: Multimodal Wildland Fire Smoke Detection

abstract: Research has shown that climate change creates warmer temperatures and drier conditions, leading to longer wildfire seasons and increased wildfire risks in the United States. These factors have in turn led to increases in the frequency, extent, and severity of wildfires in recent years. Given the danger posed by wildland fires to people, property, wildlife, and the environment, there is an urgency to provide tools for effective wildfire management. Early detection of wildfires is essential to minimizing potentially catastrophic destruction. In this paper, we present our work on integrating multiple data sources in SmokeyNet, a deep learning model using spatio-temporal information to detect smoke from wildland fires. Camera image data is integrated with weather sensor measurements and processed by SmokeyNet to create a multimodal wildland fire smoke detection system. We present our results comparing performance in terms of both accuracy and time-to-detection for multimodal data vs. a single data source. With a time-to-detection of only a few minutes, SmokeyNet can serve as an automated early notification system, providing a useful tool in the fight against destructive wildfires.


title: Improved Accuracy for Trotter Simulations Using Chebyshev Interpolation

abstract: Quantum metrology allows for measuring properties of a quantum system at the optimal Heisenberg limit. However, when the relevant quantum states are prepared using digital Hamiltonian simulation, the accrued algorithmic errors will cause deviations from this fundamental limit. In this work, we show how algorithmic errors due to Trotterized time evolution can be mitigated through the use of standard polynomial interpolation techniques. Our approach is to extrapolate to zero Trotter step size, akin to zero-noise extrapolation techniques for mitigating hardware errors. We perform a rigorous error analysis of the interpolation approach for estimating eigenvalues and time-evolved expectation values, and show that the Heisenberg limit is achieved up to polylogarithmic factors in the error. Our work suggests that accuracies approaching those of state-of-the-art simulation algorithms may be achieved using Trotter and classical resources alone for a number of relevant algorithmic tasks.


title: The polytropic behavior of Solar Wind protons as observed by Ulysses spacecraft during Solar minimum

abstract: We analyze proton bulk parameters derived from Ulysses observations and investigate the polytropic behavior of solar wind protons over a wide range of heliocentric distances and latitudes. The large-scale variations of the proton density and temperature over heliocentric distance, indicate that plasma protons are governed by sub-adiabatic processes (polytropic index $\gamma$ < 5/3), if we assume protons with three effective kinetic degrees of freedom. From the correlation between the small-scale variations of the plasma density and temperature in selected sub-intervals, we derive a polytropic index $\gamma$ ~ 1.4 on average. Further examination shows that the polytropic index does not depend on the solar wind speed. This agrees with the results of previous analyses of solar wind protons at ~ 1 au. We find that the polytropic index varies slightly over the range of the heliocentric distances and heliographic latitudes explored by Ulysses. We also show that the homogeneity of the plasma and the accuracy of the polytropic model applied to the data-points vary over Ulysses orbit. We compare our results with the results of previous studies which derive the polytropic index of solar wind ions within the heliosphere using observations from various spacecraft. We finally discuss the implications of our findings in terms of heating mechanisms and the effective degrees of freedom of the plasma protons.


title: Local behavior of the Eden model on graphs and tessellations of manifolds

abstract: The Eden Model in $\mathbb{R}^n$ constructs a blob as follows: initially a single unit hypercube is infected, and each second a hypercube adjacent to the infected ones is selected randomly and infected. Manin, Rold\'{a}n, and Schweinhart investigated the topology of the Eden model in $\mathbb{R}^{n}$ by considering the possible shapes which can appear on the boundary. In particular, they give probabilistic lower bounds on the Betti numbers of the Eden model. In this paper, we prove analogous results for the Eden model on any infinite, vertex-transitive, locally finite graph: with high probability as time goes to infinity, every "possible" subgraph (with mild conditions on what "possible" means) occurs on the boundary of the Eden model at least a number of times proportional to an isoperimetric profile of the graph. Using this, we can extend the results about the topology of the Eden model to non-Euclidean spaces, such as hyperbolic $n$-space and universal covers of certain Riemannian manifolds.


title: The Jacobi metric approach for dynamical wormholes

abstract: We present the Jacobi metric formalism for dynamical wormholes. We show that in isotropic dynamical spacetimes , a first integral of the geodesic equations can be found using the Jacobi metric, and without any use of geodesic equation. This enables us to reduce the geodesic motion in dynamical wormholes to a dynamics defined in a Riemannian manifold. Then, making use of the Jacobi formalism, we study the circular stable orbits in the Jacobi metric framework for the dynamical wormhole background. Finally, we also show that the Gaussian curvature of the family of Jacobi metrics is directly related, as in the static case, to the flare-out condition of the dynamical wormhole, giving a way to characterize a wormhole spacetime by the sign of the Gaussian curvature of its Jacobi metric only.


title: Neutron capture-induced nuclear recoils as background for CE$\nu$NS~measurements at reactors

abstract: Nuclear reactors represent a promising neutrino source for CE$\nu$NS (coherent-elastic neutrino-nucleus scattering) searches. However, reactor sites also come with high ambient neutron flux. Neutron capture-induced nuclear recoils can create a spectrum that strongly overlaps the CE$\nu$NS signal for recoils $\lesssim$\,100\,eV for nuclear reactor measurements in silicon or germanium detectors. This background can be particularly critical for low-power research reactors providing a moderate neutrino flux. In this work we quantify the impact of this background and show that, for a measurement 10\,m from a 1\,MW reactor, the effective thermal neutron flux should be kept below $\sim$~7$\times$~10$^{-4}$\,n/cm$^2$s so that the CE$\nu$NS events can be measured at least at a 5$\sigma$ level with germanium detectors in 100~kg\,yr exposure time. This flux corresponds to 60\% of the sea-level flux but needs to be achieved in a nominally high-flux (reactor) environment. Improved detector resolution can help the measurements, but the thermal flux is the key parameter for the sensitivity of the experiment. For silicon detectors, the constraint is even stronger and thermal neutron fluxes must be near an order of magnitude lower. This constraint highlights the need of an effective thermal neutron mitigation strategy for future low threshold CE$\nu$NS searches. In particular, the neutron capture-induced background can be efficiently reduced by active veto systems tagging the deexcitation gamma following the capture.


title: Macro-block dropout for improved regularization in training end-to-end speech recognition models

abstract: This paper proposes a new regularization algorithm referred to as macro-block dropout. The overfitting issue has been a difficult problem in training large neural network models. The dropout technique has proven to be simple yet very effective for regularization by preventing complex co-adaptations during training. In our work, we define a macro-block that contains a large number of units from the input to a Recurrent Neural Network (RNN). Rather than applying dropout to each unit, we apply random dropout to each macro-block. This algorithm has the effect of applying different drop out rates for each layer even if we keep a constant average dropout rate, which has better regularization effects. In our experiments using Recurrent Neural Network-Transducer (RNN-T), this algorithm shows relatively 4.30 % and 6.13 % Word Error Rates (WERs) improvement over the conventional dropout on LibriSpeech test-clean and test-other. With an Attention-based Encoder-Decoder (AED) model, this algorithm shows relatively 4.36 % and 5.85 % WERs improvement over the conventional dropout on the same test sets.


title: A Dynamics Theory of Implicit Regularization in Deep Low-Rank Matrix Factorization

abstract: Implicit regularization is an important way to interpret neural networks. Recent theory starts to explain implicit regularization with the model of deep matrix factorization (DMF) and analyze the trajectory of discrete gradient dynamics in the optimization process. These discrete gradient dynamics are relatively small but not infinitesimal, thus fitting well with the practical implementation of neural networks. Currently, discrete gradient dynamics analysis has been successfully applied to shallow networks but encounters the difficulty of complex computation for deep networks. In this work, we introduce another discrete gradient dynamics approach to explain implicit regularization, i.e. landscape analysis. It mainly focuses on gradient regions, such as saddle points and local minima. We theoretically establish the connection between saddle point escaping (SPE) stages and the matrix rank in DMF. We prove that, for a rank-R matrix reconstruction, DMF will converge to a second-order critical point after R stages of SPE. This conclusion is further experimentally verified on a low-rank matrix reconstruction problem. This work provides a new theory to analyze implicit regularization in deep learning.


title: Noncrossing partitions of an annulus

abstract: The noncrossing partition poset associated to a Coxeter group $W$ and Coxeter element $c$ is the interval $[1,c]_T$ in the absolute order on $W$. We construct a new model of noncrossing partititions for $W$ of classical affine type, using planar diagrams (affine types $\tilde A$ and $\tilde C$ in this paper and affine types $\tilde D$ and $\tilde B$ in the sequel). The model in type $\tilde A$ consists of noncrossing partitions of an annulus. In type $\tilde C$, the model consists of symmetric noncrossing partitions of an annulus or noncrossing partitions of a disk with two orbifold points. Following the lead of McCammond and Sulway, we complete $[1,c]_T$ to a lattice by factoring the translations in $[1,c]_T$, but the combinatorics of the planar diagrams leads us to make different choices about how to factor.


title: Attractors of Hamiltonian nonlinear partial differential equations

abstract: We survey the theory of attractors of nonlinear Hamiltonian partial differential equations since its appearance in 1990. These are results on global attraction to stationary states, to solitons and to stationary orbits, on adiabatic effective dynamics of solitons and their asymptotic stability. Results of numerical simulations are also given. Based on these results, we propose a new general hypothesis on attractors of $G$-invariant nonlinear Hamiltonian partial differential equations. The obtained results suggest a novel dynamical interpretation of basic quantum phenomena: Bohr's transitions between quantum stationary states, wave-particle duality, and probabilistic interpretation.


title: Dynamics of flexible fibers in confined shear flows at finite Reynolds numbers

abstract: We carry out a numerical study on the dynamics of a single non-Brownian flexible fiber in two-dimensional Couette flows at finite Reynolds numbers. We employ the bead-spring model of flexible fibers to extend the fluid particle dynamics (FPD) method that is originally developed for rigid particles in viscous liquids. We implement the extended FPD method using a multiple-relaxation-time (MRT) scheme of the lattice Boltzmann method (LBM). The numerical scheme is validated firstly by a series of benchmark simulations that involve liquid-solid coupling. The method is then used to study the dynamics of flexible fibers in Couette flows. We only consider the highly symmetric case where the fibers are placed on the symmetry center of Couette flows and we focus on the effects of the fiber stiffness, the confinement strength, and the finite Reynolds number (from 1 to 10). A diagram of the fiber shape is obtained. For fibers under weak confinement and a small Reynolds number, three distinct tumbling orbits have been identified. (1) Jeffery orbits of rigid fibers. The fibers behave like rigid rods and tumble periodically without any visible deformation. (2) S-turn orbits of slightly flexible fibers. The fiber is bent to an S-shape and is straightened again when it orients to an angle of around 45 degrees relative to the positive x direction. (3) S-coiled orbits of fairly flexible fibers. The fiber is folded to an S-shape and tumbles periodically and steadily without being straightened anymore during its rotation. Moreover, the fiber tumbling is found to be hindered by increasing either the Reynolds number or the confinement strength, or both.


title: A Class-wise Non-salient Region Generalized Framework for Video Semantic Segmentation

abstract: Video semantic segmentation (VSS) is beneficial for dealing with dynamic scenes due to the continuous property of the real-world environment. On the one hand, some methods alleviate the predicted inconsistent problem between continuous frames. On the other hand, other methods employ the previous frame as the prior information to assist in segmenting the current frame. Although the previous methods achieve superior performances on the independent and identically distributed (i.i.d) data, they can not generalize well on other unseen domains. Thus, we explore a new task, the video generalizable semantic segmentation (VGSS) task that considers both continuous frames and domain generalization. In this paper, we propose a class-wise non-salient region generalized (CNSG) framework for the VGSS task. Concretely, we first define the class-wise non-salient feature, which describes features of the class-wise non-salient region that carry more generalizable information. Then, we propose a class-wise non-salient feature reasoning strategy to select and enhance the most generalized channels adaptively. Finally, we propose an inter-frame non-salient centroid alignment loss to alleviate the predicted inconsistent problem in the VGSS task. We also extend our video-based framework to the image-based generalizable semantic segmentation (IGSS) task. Experiments demonstrate that our CNSG framework yields significant improvement in the VGSS and IGSS tasks.


title: WarpGate: A Semantic Join Discovery System for Cloud Data Warehouses

abstract: Data discovery is a major challenge in enterprise data analysis: users often struggle to find data relevant to their analysis goals or even to navigate through data across data sources, each of which may easily contain thousands of tables. One common user need is to discover tables joinable with a given table. This need is particularly critical because join is a ubiquitous operation in data analysis, and join paths are mostly obscure to users, especially across databases. Furthermore, users are typically interested in finding ``semantically'' joinable tables: with columns that can be transformed to become joinable even if they are not joinable as currently represented in the data store. We present WarpGate, a system prototype for data discovery over cloud data warehouses. WarpGate implements an embedding-based solution to semantic join discovery, which encodes columns into high-dimensional vector space such that joinable columns map to points that are near each other. Through experiments on several table corpora, we show that WarpGate (i) captures semantic relationships between tables, especially those across databases, and (ii) is sample efficient and thus scalable to very large tables of millions of rows. We also showcase an application of WarpGate within an enterprise product for cloud data analytics.


title: Decentralized Voltage Control with Peer-to-peer Energy Trading in a Distribution Network

abstract: Utilizing distributed renewable and energy storage resources via peer-to-peer (P2P) energy trading has long been touted as a solution to improve energy system's resilience and sustainability. Consumers and prosumers (those who have energy generation resources), however, do not have expertise to engage in repeated P2P trading, and the zero-marginal costs of renewables present challenges in determining fair market prices. To address these issues, we propose a multi-agent reinforcement learning (MARL) framework to help automate consumers' bidding and management of their solar PV and energy storage resources, under a specific P2P clearing mechanism that utilizes the so-called supply-demand ratio. In addition, we show how the MARL framework can integrate physical network constraints to realize decentralized voltage control, hence ensuring physical feasibility of the P2P energy trading and paving ways for real-world implementations.


title: Fundamental theorem of Possion $(A,H)$-Hopf module for weak Hopf algebras

abstract: Let $H$ be a weak Hopf algebra and $A$ an $H$-comodule Poisson algebra. In this paper, we mainly generalize the fundamental theorem of Possion Hopf module to the case of weak Hopf algebra.


title: BiMLP: Compact Binary Architectures for Vision Multi-Layer Perceptrons

abstract: This paper studies the problem of designing compact binary architectures for vision multi-layer perceptrons (MLPs). We provide extensive analysis on the difficulty of binarizing vision MLPs and find that previous binarization methods perform poorly due to limited capacity of binary MLPs. In contrast with the traditional CNNs that utilizing convolutional operations with large kernel size, fully-connected (FC) layers in MLPs can be treated as convolutional layers with kernel size $1\times1$. Thus, the representation ability of the FC layers will be limited when being binarized, and places restrictions on the capability of spatial mixing and channel mixing on the intermediate features. To this end, we propose to improve the performance of binary MLP (BiMLP) model by enriching the representation ability of binary FC layers. We design a novel binary block that contains multiple branches to merge a series of outputs from the same stage, and also a universal shortcut connection that encourages the information flow from the previous stage. The downsampling layers are also carefully designed to reduce the computational complexity while maintaining the classification performance. Experimental results on benchmark dataset ImageNet-1k demonstrate the effectiveness of the proposed BiMLP models, which achieve state-of-the-art accuracy compared to prior binary CNNs. The MindSpore code is available at \url{https://gitee.com/mindspore/models/tree/master/research/cv/BiMLP}.


title: Innovation in times of Covid-19

abstract: Did the Covid-19 pandemic have an impact on innovation? Past economic disruptions, anecdotal evidence, and the previous literature suggest a decline with substantial differences between industries. We leverage USPTO patent application data to investigate and quantify the disturbance. We assess differences by field of technology (at the CPC subclass level) as well as the impact of direct and indirect relevance for the management of the pandemic. Direct Covid-19 relevance is identified from a keyword search of the patent application fulltexts; indirect Covid-19 relevance is derived from past CPC subclass to subclass citation patterns. We find that direct Covid-19 relevance is associated with a strong boost to the growth of the number of patent applications in the first year of the pandemic at the same order of magnitude (in percentage points) as the percentage of patents referencing Covid-19. We find no effect for indirect Covid-19 relevance, indicating a focus on applied research at the expense of more basic research. Fields of technology (CPC mainsections) have an additional significant impact, with, e.g., mainsections A (human necessities) and C (chemistry, metallurgy) having a strong performance.


title: A Deep Learning Method for Real-time Bias Correction of Wind Field Forecasts in the Western North Pacific

abstract: Forecasts by the European Centre for Medium-Range Weather Forecasts (ECMWF; EC for short) can provide a basis for the establishment of maritime-disaster warning systems, but they contain some systematic biases.The fifth-generation EC atmospheric reanalysis (ERA5) data have high accuracy, but are delayed by about 5 days. To overcome this issue, a spatiotemporal deep-learning method could be used for nonlinear mapping between EC and ERA5 data, which would improve the quality of EC wind forecast data in real time. In this study, we developed the Multi-Task-Double Encoder Trajectory Gated Recurrent Unit (MT-DETrajGRU) model, which uses an improved double-encoder forecaster architecture to model the spatiotemporal sequence of the U and V components of the wind field; we designed a multi-task learning loss function to correct wind speed and wind direction simultaneously using only one model. The study area was the western North Pacific (WNP), and real-time rolling bias corrections were made for 10-day wind-field forecasts released by the EC between December 2020 and November 2021, divided into four seasons. Compared with the original EC forecasts, after correction using the MT-DETrajGRU model the wind speed and wind direction biases in the four seasons were reduced by 8-11% and 9-14%, respectively. In addition, the proposed method modelled the data uniformly under different weather conditions. The correction performance under normal and typhoon conditions was comparable, indicating that the data-driven mode constructed here is robust and generalizable.


title: Transactions Make Debugging Easy

abstract: We propose TROD, a novel transaction-oriented framework for debugging modern distributed web applications and online services. Our critical insight is that if applications store all state in databases and only access state transactionally, TROD can use lightweight always-on tracing to track the history of application state changes and data provenance, and then leverage the captured traces and transaction logs to faithfully replay or even test modified code retroactively on any past event. We demonstrate how TROD can simplify programming and debugging in production applications, list several research challenges and directions, and encourage the database and systems communities to drastically rethink the synergy between the way people develop and debug applications.


title: OrthoGAN:High-Precision Image Generation for Teeth Orthodontic Visualization

abstract: Patients take care of what their teeth will be like after the orthodontics. Orthodontists usually describe the expectation movement based on the original smile images, which is unconvincing. The growth of deep-learning generative models change this situation. It can visualize the outcome of orthodontic treatment and help patients foresee their future teeth and facial appearance. While previous studies mainly focus on 2D or 3D virtual treatment outcome (VTO) at a profile level, the problem of simulating treatment outcome at a frontal facial image is poorly explored. In this paper, we build an efficient and accurate system for simulating virtual teeth alignment effects in a frontal facial image. Our system takes a frontal face image of a patient with visible malpositioned teeth and the patient's 3D scanned teeth model as input, and progressively generates the visual results of the patient's teeth given the specific orthodontics planning steps from the doctor (i.e., the specification of translations and rotations of individual tooth). We design a multi-modal encoder-decoder based generative model to synthesize identity-preserving frontal facial images with aligned teeth. In addition, the original image color information is used to optimize the orthodontic outcomes, making the results more natural. We conduct extensive qualitative and clinical experiments and also a pilot study to validate our method.


title: A Data-Adaptive Prior for Bayesian Learning of Kernels in Operators

abstract: Kernels are efficient in representing nonlocal dependence and they are widely used to design operators between function spaces. Thus, learning kernels in operators from data is an inverse problem of general interest. Due to the nonlocal dependence, the inverse problem can be severely ill-posed with a data-dependent singular inversion operator. The Bayesian approach overcomes the ill-posedness through a non-degenerate prior. However, a fixed non-degenerate prior leads to a divergent posterior mean when the observation noise becomes small, if the data induces a perturbation in the eigenspace of zero eigenvalues of the inversion operator. We introduce a data-adaptive prior to achieve a stable posterior whose mean always has a small noise limit. The data-adaptive prior's covariance is the inversion operator with a hyper-parameter selected adaptive to data by the L-curve method. Furthermore, we provide a detailed analysis on the computational practice of the data-adaptive prior, and demonstrate it on Toeplitz matrices and integral operators. Numerical tests show that a fixed prior can lead to a divergent posterior mean in the presence of any of the four types of errors: discretization error, model error, partial observation and wrong noise assumption. In contrast, the data-adaptive prior always attains posterior means with small noise limits.


title: On Transforming Reinforcement Learning by Transformer: The Development Trajectory

abstract: Transformer, originally devised for natural language processing, has also attested significant success in computer vision. Thanks to its super expressive power, researchers are investigating ways to deploy transformers to reinforcement learning (RL) and the transformer-based models have manifested their potential in representative RL benchmarks. In this paper, we collect and dissect recent advances on transforming RL by transformer (transformer-based RL or TRL), in order to explore its development trajectory and future trend. We group existing developments in two categories: architecture enhancement and trajectory optimization, and examine the main applications of TRL in robotic manipulation, text-based games, navigation and autonomous driving. For architecture enhancement, these methods consider how to apply the powerful transformer structure to RL problems under the traditional RL framework, which model agents and environments much more precisely than deep RL methods, but they are still limited by the inherent defects of traditional RL algorithms, such as bootstrapping and "deadly triad". For trajectory optimization, these methods treat RL problems as sequence modeling and train a joint state-action model over entire trajectories under the behavior cloning framework, which are able to extract policies from static datasets and fully use the long-sequence modeling capability of the transformer. Given these advancements, extensions and challenges in TRL are reviewed and proposals about future direction are discussed. We hope that this survey can provide a detailed introduction to TRL and motivate future research in this rapidly developing field.


abstract: Rapid advancements in collection and dissemination of multi-platform molecular and genomics data has resulted in enormous opportunities to aggregate such data in order to understand, prevent, and treat human diseases. While significant improvements have been made in multi-omic data integration methods to discover biological markers and mechanisms underlying both prognosis and treatment, the precise cellular functions governing these complex mechanisms still need detailed and data-driven de-novo evaluations. We propose a framework called Functional Integrative Bayesian Analysis of High-dimensional Multiplatform Genomic Data (fiBAG), that allows simultaneous identification of upstream functional evidence of proteogenomic biomarkers and the incorporation of such knowledge in Bayesian variable selection models to improve signal detection. fiBAG employs a conflation of Gaussian process models to quantify (possibly non-linear) functional evidence via Bayes factors, which are then mapped to a novel calibrated spike-and-slab prior, thus guiding selection and providing functional relevance to the associations with patient outcomes. Using simulations, we illustrate how integrative methods with functional calibration have higher power to detect disease related markers than non-integrative approaches. We demonstrate the profitability of fiBAG via a pan-cancer analysis of 14 cancer types to identify and assess the cellular mechanisms of proteogenomic markers associated with cancer stemness and patient survival.

categories: stat.ME q-bio.GN q-bio.QM stat.AP stat.ML


title: Gravitational soliton solutions to self-coupled Klein-Gordon and Schr\"odinger equations

abstract: We use the Klein-Gordon equation in a curved spacetime to construct the relativistic analog of the Schr\"odinger-Newton problem, where a scalar particle lives in a gravitational potential well generated by its own probability distribution. A static, spherically symmetric metric is computed from the field equations of general relativity, both directly and as modeled by a perfect-fluid assumption that uses the Tolman-Oppenheimer-Volkov equation for hydrostatic equilibrium of the mass density. The latter is appropriate for a Hartree approximation to the many-body problem of a bosonic star. Simultaneous self-consistent solution of the Klein--Gordon equation in this curved spacetime then yields solitons with a range of radial excitations. We compare results with the nonrelativistic case.


title: Data Reduction Process and Pipeline for the NIC Polarimetry Mode in Python, NICpolpy

abstract: A systematic way of data reduction for the Nishiharima Infrared Camera (NIC) polarimetry mode has been devised and implemented to an open software called NICpolpy in the programming language python (tested on version 3.8--3.10 as of writing). On top of the classical methods, including vertical pattern removal, a new way of diagonal pattern (Fourier pattern) removal has been implemented. Each image undergoes four reduction steps, resulting in "level 1" to "level 4" products, as well as nightly calibration frames. A simple tutorial and in-depth descriptions are provided, as well as the descriptions of algorithms. The dome flat frames (taken on UT 2020-06-03) were analyzed, and the pixel positions vulnerable to flat error were found. Using the dark and flat frames, the detector parameters, gain factor (the conversion factor), and readout noise are also updated. We found gain factor and readout noise are likely constants over pixel or "quadrant".


title: Non-tangential Burns-Krantz rigidity

abstract: We prove some non-tangential Burns-Krantz type boundary rigidity theorems.


title: Discriminator-Cooperated Feature Map Distillation for GAN Compression

abstract: Despite excellent performance in image generation, Generative Adversarial Networks (GANs) are notorious for its requirements of enormous storage and intensive computation. As an awesome ''performance maker'', knowledge distillation is demonstrated to be particularly efficacious in exploring low-priced GANs. In this paper, we investigate the irreplaceability of teacher discriminator and present an inventive discriminator-cooperated distillation, abbreviated as DCD, towards refining better feature maps from the generator. In contrast to conventional pixel-to-pixel match methods in feature map distillation, our DCD utilizes teacher discriminator as a transformation to drive intermediate results of the student generator to be perceptually close to corresponding outputs of the teacher generator. Furthermore, in order to mitigate mode collapse in GAN compression, we construct a collaborative adversarial training paradigm where the teacher discriminator is from scratch established to co-train with student generator in company with our DCD. Our DCD shows superior results compared with existing GAN compression methods. For instance, after reducing over 40x MACs and 80x parameters of CycleGAN, we well decrease FID metric from 61.53 to 48.24 while the current SoTA method merely has 51.92. This work's source code has been made accessible at https://github.com/poopit/DCD-official.


title: Simulating neutrino oscillations on a superconducting qutrit

abstract: Precise measurements of parameters in the PMNS framework might lead to new physics beyond the Standard Model. However, they are incredibly challenging to determine in neutrino oscillation experiments. Quantum simulations can be a powerful supplementary tool to study these phenomenologies. In today's noisy quantum hardware, encoding neutrinos in a multi-qubit system requires a redundant basis and tricky entangling gates. We encode a three-flavor neutrino in a superconducting qutrit and study its oscillations using PMNS theory with time evolution expressed in terms of single qutrit gates. The qutrit is engineered from the multi-level structure of IBM transmon devices. High-fidelity gate control and readout are fine-tuned using programming microwave pulses using a high-level language. Our quantum simulations on real hardware match well to analytical calculations in three oscillation cases: vacuum, interaction with matter, and CP-violation.


title: A Measure Theoretic Proof of $\mathfrak p=\mathfrak t$

abstract: Rothberger's question of whether the two cardinals $\mathfrak p$ and $\mathfrak t$ are equal, posed back in 1948, was only answered fairly recently in the affirmative. Here we answer the more difficult progenitor question (posed in the same place) on when filter-bases can be refined to towers. Of equal import, our proof that $\mathfrak p=\mathfrak t$ addresses issues raised by Gowers concerning the "proof path" of the original solution. This is applied to obtain a gap spectrum result for the ultrapowers $\mathbb N^{\mathbb N}\,/\,{\mathcal U}$.


title: $\aleph_0$-distributive modules and rings

abstract: Let $A$ be a ring with minimum condition on principal right ideals. It is proved that $\aleph_0$-distributive right (left) $A$-modules coincide with Artinian (Noetherian) right (left) $A$-modules. Rings, over which all right modules are direct sums of $\aleph_0$-distributive coincide with rings of of finite representation type. Rings, whose right modules are semidistributive, coincide with Kawada rings, over basis rings of which all right modules are completely cyclic. The studies of Tuganbaev are supported by Russian Scientific Foundation, project 22-11-00052.


title: Near-Tight Algorithms for the Chamberlin-Courant and Thiele Voting Rules

abstract: We present an almost optimal algorithm for the classic Chamberlin-Courant multiwinner voting rule (CC) on single-peaked preference profiles. Given $n$ voters and $m$ candidates, it runs in almost linear time in the input size, improving the previous best $O(nm^2)$ time algorithm of Betzler et al. (2013). We also study multiwinner voting rules on nearly single-peaked preference profiles in terms of the candidate-deletion operation. We show a polynomial-time algorithm for CC where a given candidate-deletion set $D$ has logarithmic size. Actually, our algorithm runs in $2^{|D|} \cdot poly(n,m)$ time and the base of the power cannot be improved under the Strong Exponential Time Hypothesis. We also adapt these results to all non-constant Thiele rules which generalize CC with approval ballots.


title: Supermartingale Brenier's Theorem with full-marginals constraint

abstract: We explicitly construct the supermartingale version of the Fr{\'e}chet-Hoeffding coupling in the setting with infinitely many marginal constraints. This extends the results of Henry-Labordere et al. obtained in the martingale setting. Our construction is based on the Markovian iteration of one-period optimal supermartingale couplings. In the limit, as the number of iterations goes to infinity, we obtain a pure jump process that belongs to a family of local L{\'e}vy models introduced by Carr et al. We show that the constructed processes solve the continuous-time supermartingale optimal transport problem for a particular family of path-dependent cost functions. The explicit computations are provided in the following three cases: the uniform case, the Bachelier model and the Geometric Brownian Motion case.


title: Regularity of the spatially homogenous fractional Kramers-Fokker-Planck equation

abstract: We study the Cauchy problem of the spatially homogenous fractional Kramers-Fokker-Planck equation and show that the solution enjoys Gevrey regularity and decay estimation with an L2 initial datum for positive time.