title: Fury: an experimental dynamo with anisotropic electrical conductivity

abstract: We report measurements of dynamo action in a new experimental setup, named Fury, based on the use of an anisotropic electrical conductivity. It consists in a copper rotor rotating inside a copper stator, electrically connected with a thin layer of liquid metal, galinstan. Grooves have been cut in the copper so that, everywhere, electrical conductivity can be considered to be that of copper along two directions while it is zero along the third one. The configuration is efficient and dynamo action can be powered by hand. We have also used a motor with better control, enabling us to drive the rotor at specified velocity or torque functions of time. The structure of the axisymmetric magnetic field produced is found to be close to the numerical modelling using FreeFem++. The experimental dynamo behaves very nearly as expected for a kinematic dynamo, so that the threshold dynamo velocity cannot be exceeded, or only briefly. More mechanical power in the rotor rotation leads to an increase in the magnetic field intensity, the magnetic energy being proportional to the extra mechanical power beyond threshold. In the transient following a step increase of torque, magnetic and angular velocity oscillations have been observed and explained.


title: Small-scale Dynamo in Cool Stars: I. Changes in stratification and near-surface convection for main-sequence spectral types

abstract: Some of the small-scale solar magnetic flux can be attributed to a small-scale dynamo (SSD) operating in the near-surface convection. The SSD fields have consequences for solar granular convection, basal flux, as well as chromospheric heating. A similar SSD mechanism is expected to be active in the near-surface convection of other cool main-sequence stars, but this has never been investigated. We aim to investigate changes in stratification and convection due to inclusion of SSD fields for F3V, G2V, K0V and M0V spectral types in the near-surface convection. 3D magnetohydrodynamic (MHD) models of the four stellar boxes, covering the subsurface convection zone up to the lower photosphere in a small cartesian box, are studied using the \textit{MURaM} radiative-MHD simulation code. The SSD runs are compared against reference hydrodynamic runs. An SSD is found to efficiently produce magnetic field with energies ranging between 5\% to 80\% of the plasma kinetic energy at different depths. This ratio tends to be larger for larger $T_{\mathrm{eff}}$. The relative change in density and gas pressure stratification for the deeper convective layers due to SSD magnetic fields is negligible, except for the F-star. For the F-star, there is a substantial reduction in convective velocities due to Lorentz force feedback from magnetic fields, which, in turn, reduces the turbulent pressure. SSD in near-surface convection for cool main-sequence stars introduces small but significant changes in thermodynamic stratification (especially for the F-star) due to reduction in convective velocities.


title: FELARE: Fair Scheduling of Machine Learning Tasks on Heterogeneous Edge Systems

abstract: Edge computing enables smart IoT-based systems via concurrent and continuous execution of latency-sensitive machine learning (ML) applications. These edge-based machine learning systems are often battery-powered (i.e., energy-limited). They use heterogeneous resources with diverse computing performance (e.g., CPU, GPU, and/or FPGAs) to fulfill the latency constraints of ML applications. The challenge is to allocate user requests for different ML applications on the Heterogeneous Edge Computing Systems (HEC) with respect to both the energy and latency constraints of these systems. To this end, we study and analyze resource allocation solutions that can increase the on-time task completion rate while considering the energy constraint. Importantly, we investigate edge-friendly (lightweight) multi-objective mapping heuristics that do not become biased toward a particular application type to achieve the objectives; instead, the heuristics consider "fairness" across the concurrent ML applications in their mapping decisions. Performance evaluations demonstrate that the proposed heuristic outperforms widely-used heuristics in heterogeneous systems in terms of the latency and energy objectives, particularly, at low to moderate request arrival rates. We observed 8.9% improvement in on-time task completion rate and 12.6% in energy-saving without imposing any significant overhead on the edge system.


title: Heavy sets and index bounded relative symplectic cohomology

abstract: We use relative symplectic cohomology to detect heavy sets, with the help of index bounded contact forms. This establishes a relation between two notions SH-heaviness and heaviness, which partly answers a conjecture of Dickstein-Ganor-Polterovich-Zapolsky in the symplectically aspherical setting.


title: Structural Forecasting for Short-term Tropical Cyclone Intensity Guidance

abstract: Because geostationary satellite (Geo) imagery provides a high temporal resolution window into tropical cyclone (TC) behavior, we investigate the viability of its application to short-term probabilistic forecasts of TC convective structure to subsequently predict TC intensity. Here, we present a prototype model which is trained solely on two inputs: Geo infrared imagery leading up to the synoptic time of interest and intensity estimates up to 6 hours prior to that time. To estimate future TC structure, we compute cloud-top temperature radial profiles from infrared imagery and then simulate the evolution of an ensemble of those profiles over the subsequent 12 hours by applying a Deep Autoregressive Generative Model (PixelSNAIL). To forecast TC intensities at hours 6 and 12, we input operational intensity estimates up to the current time (0 h) and simulated future radial profiles up to +12 h into a ``nowcasting'' convolutional neural network. We limit our inputs to demonstrate the viability of our approach and to enable quantification of value added by the observed and simulated future radial profiles beyond operational intensity estimates alone. Our prototype model achieves a marginally higher error than the National Hurricane Center's official forecasts despite excluding environmental factors, such as vertical wind shear and sea surface temperature. We also demonstrate that it is possible to reasonably predict short-term evolution of TC convective structure via radial profiles from Geo infrared imagery, resulting in interpretable structural forecasts that may be valuable for TC operational guidance.


title: Learning Mathematics through incorrect Problems

abstract: In this article we describe special type of mathematical problems that may help develop teaching methods that motivate students to explore patterns, formulate conjectures and find solutions without only memorizing formulas and procedures. These are problems that either their solutions do not make sense in a real life context and/or provide a contradiction during the solution process. In this article we call these problems incorrect problems. We show several examples that can be applied in undergraduate mathematics courses and provide possible ways these examples can be used to motivate critical mathematical thinking. We also discuss the results of exposing a group of 168 undergraduate engineering students to an incorrect problem in a Differential Equations course. This experience provided us with important insight on how well prepared our students are to "out of the box" thinking and on the importance of previous mathematical skills in order to master further mathematical analysis to solve such a problem.


title: Comparing feature fusion strategies for Deep Learning-based kidney stone identification

abstract: This contribution presents a deep-learning method for extracting and fusing image information acquired from different viewpoints with the aim to produce more discriminant object features. Our approach was specifically designed to mimic the morpho-constitutional analysis used by urologists to visually classify kidney stones by inspecting the sections and surfaces of their fragments. Deep feature fusion strategies improved the results of single view extraction backbone models by more than 10\% in terms of precision of the kidney stones classification.


title: On Analyzing Generative and Denoising Capabilities of Diffusion-based Deep Generative Models

abstract: Diffusion-based Deep Generative Models (DDGMs) offer state-of-the-art performance in generative modeling. Their main strength comes from their unique setup in which a model (the backward diffusion process) is trained to reverse the forward diffusion process, which gradually adds noise to the input signal. Although DDGMs are well studied, it is still unclear how the small amount of noise is transformed during the backward diffusion process. Here, we focus on analyzing this problem to gain more insight into the behavior of DDGMs and their denoising and generative capabilities. We observe a fluid transition point that changes the functionality of the backward diffusion process from generating a (corrupted) image from noise to denoising the corrupted image to the final sample. Based on this observation, we postulate to divide a DDGM into two parts: a denoiser and a generator. The denoiser could be parameterized by a denoising auto-encoder, while the generator is a diffusion-based model with its own set of parameters. We experimentally validate our proposition, showing its pros and cons.


title: Generative Models with Information-Theoretic Protection Against Membership Inference Attacks

abstract: Deep generative models, such as Generative Adversarial Networks (GANs), synthesize diverse high-fidelity data samples by estimating the underlying distribution of high dimensional data. Despite their success, GANs may disclose private information from the data they are trained on, making them susceptible to adversarial attacks such as membership inference attacks, in which an adversary aims to determine if a record was part of the training set. We propose an information theoretically motivated regularization term that prevents the generative model from overfitting to training data and encourages generalizability. We show that this penalty minimizes the JensenShannon divergence between components of the generator trained on data with different membership, and that it can be implemented at low cost using an additional classifier. Our experiments on image datasets demonstrate that with the proposed regularization, which comes at only a small added computational cost, GANs are able to preserve privacy and generate high-quality samples that achieve better downstream classification performance compared to non-private and differentially private generative models.


title: Distributions of Matrices over $\mathbb{F}_q[x]$

abstract: In this paper, we count the number of matrices $A = (A_{i,j} )\in \mathcal{O} \subset Mat_{n\times n}(\mathbb{F}_q[x])$ where $deg(A_{i,j})\leq k, 1\leq i,j\leq n$, $deg(\det A) = t$, and $\mathcal{O}$ a given orbit of $GL_n(\mathbb{F}_q[x])$. By an elementary argument, we show that the above number is exactly $\# GL_n(\mathbb{F}_q)\cdot q^{(n-1)(nk-t)}$. This formula gives an equidistribution result over $\mathbb{F}_q[x]$ which is an analogue, in strong form, of a result over $\mathbb{Z}$ before.


title: An update on Haiman's conjectures

abstract: We revisit Haiman's conjecture on the relations between characters of Kazdhan-Lusztig basis elements of the Hecke algebra over the symmetric group. The conjecture asserts that, for purposes of character evaluation, any Kazhdan-Lusztig basis element is reducible to a sum of the simplest possible ones (those associated to so-called codominant permutations). When the basis element is associated to a smooth permutation, we are able to give a geometric proof of this conjecture. On the other hand, if the permutation is singular, we provide a counterexample.


title: To the Fairness Frontier and Beyond: Identifying, Quantifying, and Optimizing the Fairness-Accuracy Pareto Frontier

abstract: Algorithmic fairness has emerged as an important consideration when using machine learning to make high-stakes societal decisions. Yet, improved fairness often comes at the expense of model accuracy. While aspects of the fairness-accuracy tradeoff have been studied, most work reports the fairness and accuracy of various models separately; this makes model comparisons nearly impossible without a model-agnostic metric that reflects the balance of the two desiderata. We seek to identify, quantify, and optimize the empirical Pareto frontier of the fairness-accuracy tradeoff. Specifically, we identify and outline the empirical Pareto frontier through Tradeoff-between-Fairness-and-Accuracy (TAF) Curves; we then develop a metric to quantify this Pareto frontier through the weighted area under the TAF Curve which we term the Fairness-Area-Under-the-Curve (FAUC). TAF Curves provide the first empirical, model-agnostic characterization of the Pareto frontier, while FAUC provides the first metric to impartially compare model families on both fairness and accuracy. Both TAF Curves and FAUC can be employed with all group fairness definitions and accuracy measures. Next, we ask: Is it possible to expand the empirical Pareto frontier and thus improve the FAUC for a given collection of fitted models? We answer affirmately by developing a novel fair model stacking framework, FairStacks, that solves a convex program to maximize the accuracy of model ensemble subject to a score-bias constraint. We show that optimizing with FairStacks always expands the empirical Pareto frontier and improves the FAUC; we additionally study other theoretical properties of our proposed approach. Finally, we empirically validate TAF, FAUC, and FairStacks through studies on several real benchmark data sets, showing that FairStacks leads to major improvements in FAUC that outperform existing algorithmic fairness approaches.


title: A symmetric function lift of torus link homology

abstract: Suppose $M$ and $N$ are positive integers and let $k = \gcd(M, N)$, $m = M/k$, and $n=N/k$. We define a symmetric function $L_{M,N}$ as a weighted sum over certain tuples of lattice paths. We show that $L_{M,N}$ satisfies a generalization of Mellit and Hogancamp's recursion for the triply-graded Khovanov--Rozansky homology of the $M,N$-torus link. As a corollary, we obtain the triply-graded Khovanov--Rozansky homology of the $M,N$-torus link as a specialization of $L_{M,N}$. We conjecture that $L_{M,N}$ is equal (up to a constant) to the elliptic Hall algebra operator $\mathbf{Q}_{m,n}$ composed $k$ times and applied to 1.


title: Exploring two-dimensional van der Waals heavy-fermion material: Data mining theoretical approach

abstract: The discovery of two-dimensional (2D) van der Waals (vdW) materials often provides interesting playgrounds to explore novel phenomena. One of the missing components in 2D vdW materials is the intrinsic heavy-fermion systems, which can provide an additional degree of freedom to study quantum critical point (QCP), unconventional superconductivity, and emergent phenomena in vdW heterostructures. Here, we investigate 2D vdW heavy-fermion candidates through the database of experimentally known compounds based on dynamical mean-field theory calculation combined with density functional theory (DFT+DMFT). We have found that the Kondo resonance state of CeSiI does not change upon exfoliation and can be easily controlled by strain and surface doping. Our result indicates that CeSiI is an ideal 2D vdW heavy-fermion material and the quantum critical point can be identified by external perturbations.


title: Theory of Cuprate Pseudogap as Antiferromagnetic Order with Charged Domain Walls

abstract: While magnetic fields generally compete with superconductivity, a type II superconductor can persist to very high fields by confining the field in topological defects, namely vortices. We propose that a similar physics underlies the pseudogap phase in cuprates, where the relevant topological defects are the antiphase domain walls of an underlying antiferromagnetic (AFM) order. A key consequence of this scenario is that the termination of the pseudogap phase should be quantitatively described by the underlying AFM model. We demonstrate that this picture can explain a number of key experimentally observed signatures of the pseudogap phase and how it collapses in the cuprates.


title: Magnetic hourglass fermions: from exhaustive symmetry conditions to high-throughput materials predictions

abstract: Many topological band crossings (BCs) have been predicted efficiently utilizing the symmetry properties of wave-functions at high-symmetry points. Among various BCs, the so-called hourglass BCs (with the low-energy excitations dubbed as hourglass fermions) are fascinating since they can be guaranteed to exist under specific symmetry conditions even without realistic calculations. Such novel property renders the theoretical prediction on magnetic topological metals with hourglass BC (being Weyl point, Dirac point, lying in nodal loop, and so on) independent on the calculation methods and only determined by the symmetry of crystal and magnetic structure, namely, the magnetic space group (MSG). To date, there have no magnetic material verified with hourglass fermions. Here we first list all symmetry conditions that allow hourglass BCs in the 1651 MSGs and 528 magnetic layer groups (MLGs) with spin-orbital coupling (SOC): Only 331 MSGs and 53 MLGs can host hourglass BCs. Among these results, the essential hourglass BCs are highlighted, whose MSGs are then applied to predict hundreds of magnetic materials from the MAGNDATA magnetic materials database and first-principles calculations in the frame of LDA+SOC+U verify the hourglass BCs for different values of $U$. We take CsMn$_2$F$_6$, synthesized recently with a distorted pyrochlore structure to illustrate the hourglass band structure in detail which is very clear around the Fermi level and the topologically protected surface drumhead states of (100) surface are found to spread over more than one half surface Brillouin zone and only appear in a narrow energy window ($\sim 30$ meV), which could induce intriguing stability by prominent electronic correlation.


title: Static vacuum extensions with prescribed Bartnik boundary data near a general static vacuum metric

abstract: We introduce the notions of static regular of type (I) and type (II) and show that they are sufficient conditions for local well-posedness of solving asymptotically flat, static vacuum metrics with prescribed Bartnik boundary data. We then show that hypersurfaces in a very general open and dense family of hypersurfaces are static regular of type (II). As applications, we confirm Bartnik's static vacuum extension conjecture for a large class of Bartnik boundary data, including those that can be far from Euclidean and have large ADM masses, and give many new examples of static vacuum metrics with intriguing geometry.


title: Parallel Tempering With a Variational Reference

abstract: Sampling from complex target distributions is a challenging task fundamental to Bayesian inference. Parallel tempering (PT) addresses this problem by constructing a Markov chain on the expanded state space of a sequence of distributions interpolating between the posterior distribution and a fixed reference distribution, which is typically chosen to be the prior. However, in the typical case where the prior and posterior are nearly mutually singular, PT methods are computationally prohibitive. In this work we address this challenge by constructing a generalized annealing path connecting the posterior to an adaptively tuned variational reference. The reference distribution is tuned to minimize the forward (inclusive) KL divergence to the posterior distribution using a simple, gradient-free moment-matching procedure. We show that our adaptive procedure converges to the forward KL minimizer, and that the forward KL divergence serves as a good proxy to a previously developed measure of PT performance. We also show that in the large-data limit in typical Bayesian models, the proposed method improves in performance, while traditional PT deteriorates arbitrarily. Finally, we introduce PT with two references -- one fixed, one variational -- with a novel split annealing path that ensures stable variational reference adaptation. The paper concludes with experiments that demonstrate the large empirical gains achieved by our method in a wide range of realistic Bayesian inference scenarios.


title: Phase-tunable electron transport assisted by odd-frequency Cooper pairs in topological Josephson junctions

abstract: We consider a finite-size topological Josephson junction formed at the edge of a two-dimensional topological insulator in proximity to conventional superconductors and study the impact of Cooper pair symmetries on the electron transport. We find that, due to the finite junction size, electron transport is highly tunable by the superconducting phase difference $\phi$ across the junction. At zero frequency and $\phi=\pi$, the setup exhibits vanishing local Andreev reflection and perfect normal transmission due to the interplay of finite junction size and formation of topological Andreev bound states in the middle of the junction. We reveal that this striking behavior enables odd-frequency Cooper pairs to become the only type of pairing inside the topological junction that contribute to transport. Our paper thus offers a highly tunable detection scheme for odd-frequency Cooper pairs.


title: New asymptotically flat static vacuum metrics with near Euclidean boundary data

abstract: In our prior work toward Bartnik's static vacuum extension conjecture for near Euclidean boundary data, we establish a sufficient condition, called static regular, and confirm large classes of boundary hypersurfaces are static regular. In this note, we further improve some of those prior results. Specifically, we show that any hypersurface in an open and dense subfamily of a certain general smooth one-sided family of hypersurfaces (not necessarily a foliation) is static regular. The proof uses some of our new arguments motivated from studying the conjecture for boundary data near an arbitrary static vacuum metric.


title: Shape Invariant Potentials in Supersymmetric Quantum Cosmology

abstract: In this brief review, we comment on the concept of shape invariant potentials, which is an essential feature in many settings of $N=2$ supersymmetric quantum mechanics. To motivate its application within supersymmetric quantum cosmology, we present a case study to illustrate the value of this promising tool. Concretely, we take a spatially flat FRW model in the presence of a single scalar field, minimally coupled to gravity. Then, we extract the associated Schr\"odinger-Wheeler-DeWitt equation, allowing for a particular scope of factor ordering. Subsequently, we compute the corresponding supersymmetric partner Hamiltonians, $H_1$ and $H_2$. Moreover, we point out how the shape invariance property can be employed to bring a relation among several factor orderings choices for our Schr\"odinger-Wheeler-DeWitt equation. The ground state is retrieved, and the excited states easily written. Finally, the Hamiltonians, $H_1$ and $H_2$ are explicitly presented within a $N=2$ supersymmetric quantum mechanics framework.


title: X-ray emission from cosmic web filaments in SRG/eROSITA data

abstract: Using the publicly available eROSITA Final Equatorial Depth Survey (eFEDS) data, we detected the stacked X-ray emissions at the position of 463 filaments at a significance of 3.8 sigma based on the combination of all energy bands. In parallel, we found that the probability of the measurement under the null hypothesis is ~0.0017. The filaments were identified with galaxies in the Sloan Digital Sky Survey survey, ranging from 30 Mpc to 100 Mpc in length at 0.2 < z < 0.6. The stacking of the filaments was performed with the eFEDS X-ray count-rate maps in the energy range between 0.4 - 2.3 keV after masking the resolved galaxy groups and clusters and the identified X-ray point sources from the ROSAT, Chandra, XMM-Newton, and eROSITA observations. In addition, diffuse X-ray foreground and background emissions or any residual contribution were removed by subtracting the signal in the region between 10 - 20 Mpc from the filament spines. For the stacked signal, we performed an X-ray spectral analysis, which indicated that the signal is associated with a thermal emission. According to a model with the astrophysical plasma emission code for the plasma emission and with a beta-model gas distribution with beta=2/3, the detected X-ray signal can be interpreted as emission from hot gas in the filaments with an average gas temperature of 1.0 (+0.3 -0.2) keV and a gas overdensity of 21 +- 5 at the center of the filaments.


title: Semantically-enhanced Topic Recommendation System for Software Projects

abstract: Software-related platforms have enabled their users to collaboratively label software entities with topics. Tagging software repositories with relevant topics can be exploited for facilitating various downstream tasks. For instance, a correct and complete set of topics assigned to a repository can increase its visibility. Consequently, this improves the outcome of tasks such as browsing, searching, navigation, and organization of repositories. Unfortunately, assigned topics are usually highly noisy, and some repositories do not have well-assigned topics. Thus, there have been efforts on recommending topics for software projects, however, the semantic relationships among these topics have not been exploited so far. We propose two recommender models for tagging software projects that incorporate the semantic relationship among topics. Our approach has two main phases; (1) we first take a collaborative approach to curate a dataset of quality topics specifically for the domain of software engineering and development. We also enrich this data with the semantic relationships among these topics and encapsulate them in a knowledge graph we call SED-KGraph. Then, (2) we build two recommender systems; The first one operates only based on the list of original topics assigned to a repository and the relationships specified in our knowledge graph. The second predictive model, however, assumes there are no topics available for a repository, hence it proceeds to predict the relevant topics based on both textual information of a software project and SED-KGraph. We built SED-KGraph in a crowd-sourced project with 170 contributors from both academia and industry. The experiment results indicate that our solutions outperform baselines that neglect the semantic relationships among topics by at least 25% and 23% in terms of ASR and MAP metrics.


title: Extensive Study of Multiple Deep Neural Networks for Complex Random Telegraph Signals

abstract: Time-fluctuating signals are ubiquitous and diverse in many physical, chemical, and biological systems, among which random telegraph signals (RTSs) refer to a series of instantaneous switching events between two discrete levels from single-particle movements. Reliable RTS analyses are crucial prerequisite to identify underlying mechanisms related to performance sensitivity. When numerous levels partake, complex patterns of multilevel RTSs occur, making their quantitative analysis exponentially difficult, hereby systematic approaches are found elusive. Here, we present a three-step analysis protocol via progressive knowledge-transfer, where the outputs of early step are passed onto a subsequent step. Especially, to quantify complex RTSs, we build three deep neural network architectures that can process temporal data well and demonstrate the model accuracy extensively with a large dataset of different RTS types affected by controlling background noise size. Our protocol offers structured schemes to quantify complex RTSs from which meaningful interpretation and inference can ensue.


title: The Lelek fan as the inverse limit of intervals with a single set-valued bonding function whose graph is an arc

abstract: We consider a family of inverse limits of inverse sequences of closed unit intervals with a single upper semi-continuous set-valued bonding function whose graph is an arc; it is the union of two line segments in $[0,1]^2$, both of them contain the origin $(0, 0)$, have positive slope, and extend to the opposite boundary of $[0,1]^2$. We show that there is a large subfamily $\mathcal F$ of these bonding functions such that for each $f\in \mathcal F$, the inverse limit of the inverse sequence of closed unit intervals using $f$ as a single bonding function, is homeomorphic to the Lelek fan.


title: Strong convergence of the tamed Euler scheme for scalar SDEs with superlinearly growing and discontinuous drift coefficient

abstract: In this paper, we consider scalar stochastic differential equations (SDEs) with a superlinearly growing and piecewise continuous drift coefficient. Existence and uniqueness of strong solutions of such SDEs are obtained. Furthermore, the classical $L_p$-error rate 1/2 for all $p\in [1, +\infty)$ is recovered for the tamed Euler scheme. A numerical example is provided to support our conclusion.


title: Defining Quantum Games

abstract: In this article, we survey the existing quantum physics related games and based on them propose a definition for the concept of quantum games. We define quantum games as any type of rule-based games that use the principles or reference the theory of quantum physics or quantum phenomena through any of three proposed dimensions: the perceivable dimension of quantum physics, the dimension of quantum technologies, and the dimension of scientific purposes like citizen science or education. We also discuss the concept of quantum computer games, games on quantum computers and discuss the definitions for the concept of science games. At the same time, there are various games exploring quantum physics and quantum computing through digital, analogue, and hybrid means with diverse incentives driving their development. As interest in games as educational tools for supporting quantum literacy grows, understanding the diverse landscape of quantum games becomes increasingly important. We propose that three dimensions of quantum games identified in this article are used for designing, analysing and defining the phenomenon of quantum games.


title: Decentralized Saddle-Point Problems with Different Constants of Strong Convexity and Strong Concavity

abstract: Large-scale saddle-point problems arise in such machine learning tasks as GANs and linear models with affine constraints. In this paper, we study distributed saddle-point problems (SPP) with strongly-convex-strongly-concave smooth objectives that have different strong convexity and strong concavity parameters of composite terms, which correspond to min and max variables, and bilinear saddle-point part. We consider two types of first-order oracles: deterministic (returns gradient) and stochastic (returns unbiased stochastic gradient). Our method works in both cases and takes several consensus steps between oracle calls.


title: The Evolution and Mass Dependence of Galaxy Cluster Pressure Profiles at 0.05 $\le z \le$ 0.60 and $4 \times 10^{14}$ M$_{\odot}$ $\le \textrm{M}_{500} \le 30 \times 10^{14}$ M$_{\odot}$

abstract: We have combined X-ray observations from Chandra with Sunyaev-Zel'dovich (SZ) effect data from Planck and Bolocam to measure intra-cluster medium pressure profiles from 0.03R$_{500}$ $\le$ R $\le$ 5R$_{500}$ for a sample of 21 low-$z$ galaxy clusters with a median redshift $\langle z \rangle = 0.08$ and a median mass $\langle \textrm{M}_{500} \rangle = 6.1 \times 10^{14}$ M$_{\odot}$ and a sample of 19 mid-$z$ galaxy clusters with $\langle z \rangle = 0.50$ and $\langle \textrm{M}_{500} \rangle = 10.6 \times 10^{14}$ M$_{\odot}$. The mean scaled pressure in the low-$z$ sample is lower at small radii and higher at large radii, a trend that is accurately reproduced in similarly selected samples from The300 simulations. This difference appears to be primarily due to dynamical state at small radii, evolution at intermediate radii, and a combination of evolution and mass dependence at large radii. Furthermore, the overall flattening of the mean scaled pressure profile in the low-$z$ sample compared to the mid-$z$ sample is consistent with expectations due to differences in mass accretion rate and the fractional impact of feedback mechanisms. In agreement with previous studies, the fractional scatter about the mean scaled pressure profile reaches a minimum of $\simeq 20$ per cent near 0.5R$_{500}$. This scatter is consistent between the low-$z$ and mid-$z$ samples at all radii, suggesting it is not strongly impacted by sample selection, and this general behavior is reproduced in The300 simulations. Finally, analytic functions that approximately describe the mass and redshift trends in mean pressure profile shape are provided.


title: FHIST: A Benchmark for Few-shot Classification of Histological Images

abstract: Few-shot learning has recently attracted wide interest in image classification, but almost all the current public benchmarks are focused on natural images. The few-shot paradigm is highly relevant in medical-imaging applications due to the scarcity of labeled data, as annotations are expensive and require specialized expertise. However, in medical imaging, few-shot learning research is sparse, limited to private data sets and is at its early stage. In particular, the few-shot setting is of high interest in histology due to the diversity and fine granularity of cancer related tissue classification tasks, and the variety of data-preparation techniques. This paper introduces a highly diversified public benchmark, gathered from various public datasets, for few-shot histology data classification. We build few-shot tasks and base-training data with various tissue types, different levels of domain shifts stemming from various cancer sites, and different class-granularity levels, thereby reflecting realistic scenarios. We evaluate the performances of state-of-the-art few-shot learning methods on our benchmark, and observe that simple fine-tuning and regularization methods achieve better results than the popular meta-learning and episodic-training paradigm. Furthermore, we introduce three scenarios based on the domain shifts between the source and target histology data: near-domain, middle-domain and out-domain. Our experiments display the potential of few-shot learning in histology classification, with state-of-art few shot learning methods approaching the supervised-learning baselines in the near-domain setting. In our out-domain setting, for 5-way 5-shot, the best performing method reaches 60% accuracy. We believe that our work could help in building realistic evaluations and fair comparisons of few-shot learning methods and will further encourage research in the few-shot paradigm.


title: Easy Variational Inference for Categorical Models via an Independent Binary Approximation

abstract: We pursue tractable Bayesian analysis of generalized linear models (GLMs) for categorical data. Thus far, GLMs are difficult to scale to more than a few dozen categories due to non-conjugacy or strong posterior dependencies when using conjugate auxiliary variable methods. We define a new class of GLMs for categorical data called categorical-from-binary (CB) models. Each CB model has a likelihood that is bounded by the product of binary likelihoods, suggesting a natural posterior approximation. This approximation makes inference straightforward and fast; using well-known auxiliary variables for probit or logistic regression, the product of binary models admits conjugate closed-form variational inference that is embarrassingly parallel across categories and invariant to category ordering. Moreover, an independent binary model simultaneously approximates multiple CB models. Bayesian model averaging over these can improve the quality of the approximation for any given dataset. We show that our approach scales to thousands of categories, outperforming posterior estimation competitors like Automatic Differentiation Variational Inference (ADVI) and No U-Turn Sampling (NUTS) in the time required to achieve fixed prediction quality.


title: Invariant Synchrony and Anti-Synchrony Subspaces of Weighted Networks

abstract: The internal state of a cell in a coupled cell network is often described by an element of a vector space. Synchrony or anti-synchrony occurs when some of the cells are in the same or the opposite state. Subspaces of the state space containing cells in synchrony or anti-synchrony are called polydiagonal subspaces. We study the properties of several types of polydiagonal subspaces of weighted coupled cell networks. In particular, we count the number of such subspaces and study when they are dynamically invariant. Of special interest are the evenly tagged anti-synchrony subspaces in which the number of cells in a certain state is equal to the number of cells in the opposite state. Our main theorem shows that the dynamically invariant polydiagonal subspaces determined by certain types of couplings are either synchrony subspaces or evenly tagged anti-synchrony subspaces. A special case of this result confirms a conjecture about difference-coupled graph network systems.


title: Reflectarray Design Using a Discrete Dipole Framework

abstract: We propose and numerically validate a patch reflectarray modeling approach suitable for small patches that describes each patch as a pair of polarizable magnetic dipoles. We introduce an extraction technique to obtain the effective polarizability of the patch dipoles via full-wave simulations on individual patches, followed by a beamforming design routine valid under weakly scattering configurations. This dipole framework serves as an alternative to the ray tracing model often used in reflectarray designs, in which rays are drawn from the feed point and scattered off of the patch elements. Whereas the ray tracing method solves the design problem in terms of phase delays, the dipole framework presented here has the potential to accurately design and predict beam patterns using a fully dipolar treatment of empirically characterized patches. We illustrate this technique by applying it to two modulation strategies: a variable patch size reflectarray in which the phase can be continuously tuned (grayscale patch response), and a fixed patch size (binary patch response) in which on/off modulation is achieved through selective patch electrical shorting. Methods for incorporating these cases into the dipole design framework are discussed and the results compared to those from full wave simulation.


title: Intra-Cavity Frequency-Doubled VECSEL System for Narrow Linewidth Rydberg EIT Spectroscopy

abstract: Vertical external-cavity surface-emitting lasers (VECSELs) augmented by intra-cavity nonlinear optical frequency conversion have emerged as an attractive light source of ultraviolet to visible light for demanding scientific applications, relative to other laser technologies. They offer high power, low phase noise, wide frequency tunability, and excellent beam quality in a simple and inexpensive system architecture. Here, we characterize the frequency stability of an intra-cavity frequency-doubled VECSEL with 690 mW of output power at 475 nm using the delayed self-heterodyne technique and direct comparison with a commercial external-cavity diode laser (ECDL). We measure the fundamental's Lorentzian linewidth to be $2\pi\times5.3(2)$ kHz, and the total linewidth to be $2\pi\times23(2)$ kHz. In addition, we perform Rydberg-state spectroscopy via electromagnetically induced transparency (EIT), observing narrow 3.5 MHz full-width half-maximum EIT. By doing so, we demonstrate that intra-cavity frequency-doubled VECSELs can perform precision spectroscopy at the MHz level, and are a promising tool for contemporary, and future, quantum technologies.


title: Real-time motion planning and decision-making for a group of differential drive robots under connectivity constraints using robust MPC and mixed-integer programming

abstract: This work is concerned with the problem of planning trajectories and assigning tasks for a Multi-Agent System (MAS) comprised of differential drive robots. We propose a multirate hierarchical control structure that employs a planner based on robust Model Predictive Control (MPC) with mixed-integer programming (MIP) encoding. The planner computes trajectories and assigns tasks for each element of the group in real-time, while also guaranteeing the communication network of the MAS to be robustly connected at all times. Additionally, we provide a data-based methodology to estimate the disturbances sets required by the robust MPC formulation. The results are demonstrated with experiments in two obstacle-filled scenarios


title: AGN Feedback in Groups and Clusters of Galaxies

abstract: AGN feedback stands for the dramatic impact that a SMBH can make on its environment. It has become an essential element of models that describe the formation and evolution of baryons in massive virialized halos. The baryons' radiative losses in the cores of these halos might lead to massive cooling and vigorous star formation on the order of 10-1000 Msun/yr, whereas observations show that the star formation rates are considerably less. It has now become clear from an observational, theoretical and simulation perspective that the activity of the central SMBH compensates for gas cooling losses and prevents very high star formation rates in massive galaxies, which otherwise would be much brighter than observed today. While AGN feedback is important over a broad range of halo masses, the most massive objects like galaxy groups and clusters truly provide outstanding laboratories for understanding the intrinsic details of AGN feedback. Partly, this is because in the nearby massive objects we can directly see what AGN feedback is doing to its surrounding hot halo in exquisite details, as opposed to less massive systems. Yet another reason is that in the most massive objects, the magnitude of AGN feedback has to be extremely large, providing the most stringent constraints. In a nutshell, the AGN feedback paradigm in groups and clusters postulates that (i) a SMBH in the center of a halo can release a vast amount of energy, (ii) this energy can be intercepted and thermalized by the gaseous atmosphere and (iii) the system self-regulates so that the energy released scales with the properties of the halo. A combination of multi-wavelength observations provides compelling evidence of the AGN feedback importance. Similarly, theoretical arguments suggest that self-regulation might be a natural property of a system consisting of a gaseous atmosphere and a SMBH at the bottom of the potential well.


title: Provably and Practically Efficient Neural Contextual Bandits

abstract: We consider the neural contextual bandit problem. In contrast to the existing work which primarily focuses on ReLU neural nets, we consider a general set of smooth activation functions. Under this more general setting, (i) we derive non-asymptotic error bounds on the difference between an overparameterized neural net and its corresponding neural tangent kernel, (ii) we propose an algorithm with a provably sublinear regret bound that is also efficient in the finite regime as demonstrated by empirical studies. The non-asymptotic error bounds may be of broader interest as a tool to establish the relation between the smoothness of the activation functions in neural contextual bandits and the smoothness of the kernels in kernel bandits.


title: VALHALLA: Visual Hallucination for Machine Translation

abstract: Designing better machine translation systems by considering auxiliary inputs such as images has attracted much attention in recent years. While existing methods show promising performance over the conventional text-only translation systems, they typically require paired text and image as input during inference, which limits their applicability to real-world scenarios. In this paper, we introduce a visual hallucination framework, called VALHALLA, which requires only source sentences at inference time and instead uses hallucinated visual representations for multimodal machine translation. In particular, given a source sentence an autoregressive hallucination transformer is used to predict a discrete visual representation from the input text, and the combined text and hallucinated representations are utilized to obtain the target translation. We train the hallucination transformer jointly with the translation transformer using standard backpropagation with cross-entropy losses while being guided by an additional loss that encourages consistency between predictions using either ground-truth or hallucinated visual representations. Extensive experiments on three standard translation datasets with a diverse set of language pairs demonstrate the effectiveness of our approach over both text-only baselines and state-of-the-art methods. Project page: http://www.svcl.ucsd.edu/projects/valhalla.


title: MAD-EN: Microarchitectural Attack Detection through System-wide Energy Consumption

abstract: Microarchitectural attacks have become more threatening the hardware security than before with the increasing diversity of attacks such as Spectre and Meltdown. Vendor patches cannot keep up with the pace of the new threats, which makes the dynamic anomaly detection tools more evident than before. Unfortunately, previous studies utilize hardware performance counters that lead to high performance overhead and profile limited number of microarchitectural attacks due to the small number of counters that can be profiled concurrently. This yields those detection tools inefficient in real-world scenarios. In this study, we introduce MAD-EN dynamic detection tool that leverages system-wide energy consumption traces collected from a generic Intel RAPL tool to detect ongoing anomalies in a system. In our experiments, we show that CNN-based MAD-EN can detect 10 different microarchitectural attacks with a total of 15 variants with the highest F1 score of 0.999, which makes our tool the most generic attack detection tool so far. Moreover, individual attacks can be distinguished with a 98% accuracy after an anomaly is detected in a system. We demonstrate that MAD-EN introduces 69.3% less performance overhead compared to performance counter-based detection mechanisms.


title: A Soft-Thresholding Operator for Sparse Time-Varying Effects in Survival Models

abstract: We consider a class of Cox models with time-dependent effects that may be zero over certain unknown time regions or, in short, sparse time-varying effects. The model is particularly useful for biomedical studies as it conveniently depicts the gradual evolution of effects of risk factors on survival. Statistically, estimating and drawing inference on infinite dimensional functional parameters with sparsity (e.g., time-varying effects with zero-effect time intervals) present enormous challenges. To address them, we propose a new soft-thresholding operator for modeling sparse, piecewise smooth and continuous time-varying coefficients in a Cox time-varying effects model. Unlike the common regularized methods, our approach enables one to estimate non-zero time-varying effects and detect zero regions simultaneously, and construct a new type of sparse confidence intervals that accommodate zero regions. This leads to a more interpretable model with a straightforward inference procedure. We develop an efficient algorithm for inference in the target functional space, show that the proposed method enjoys desired theoretical properties, and present its finite sample performance by way of simulations. We apply the proposed method to analyze the data of the Boston Lung Cancer Survivor Cohort, an epidemiological cohort study investigating the impacts of risk factors on lung cancer survival, and obtain clinically useful results.


title: An Empirical Study on How Well Do COVID-19 Information Dashboards Service Users' Information Needs

abstract: The ongoing COVID-19 pandemic highlights the importance of dashboards for providing critical real-time information. In order to enable people to obtain information in time and to understand complex statistical data, many developers have designed and implemented public-oriented COVID-19 "information dashboards" during the pandemic. However, development often takes a long time and developers are not clear about many people's information needs, resulting in gaps between information needs and supplies. According to our empirical study and observations with popular developed COVID-19 dashboards, this seriously impedes information acquirement. Our study compares people's needs on Twitter with existing information suppliers. We determine that despite the COVID-19 information that is currently on existing dashboards, people are also interested in the relationship between COVID-19 and other viruses, the origin of COVID-19, vaccine development, fake new about COVID-19, impact on women, impact on school/university, and impact on business. Most of these have not yet been well addressed. We also summarise the visualization and interaction patterns commonly applied in dashboards, finding key patterns between data and visualization as well as visualization and interaction. Our findings can help developers to better optimize their dashboard to meet people's needs and make improvements to future crisis management dashboard development.


title: Smart operators in industry 4.0: A human-centered approach to enhance operators' capabilities and competencies within the new smart factory context

abstract: As the Industry 4.0 takes shape, human operators experience an increased complexity of their daily tasks: they are required to be highly flexible and to demonstrate adaptive capabilities in a very dynamic working environment. It calls for tools and approaches that could be easily embedded into everyday practices and able to combine complex methodologies with high usability requirements. In this perspective, the proposed research work is focused on the design and development of a practical solution, called Sophos-MS, able to integrate augmented reality contents and intelligent tutoring systems with cutting-edge fruition technologies for operators' support in complex man-machine interactions. After establishing a reference methodological framework for the smart operator concept within the Industry 4.0 paradigm, the proposed solution is presented, along with its functional and non-function requirements. Such requirements are fulfilled through a structured design strategy whose main outcomes include a multi-layered modular solution, Sophos-MS, that relies on Augmented Reality contents and on an intelligent personal digital assistant with vocal interaction capabilities. The proposed approach has been deployed and its training potentials have been investigated with field experiments. The experimental campaign results have been firstly checked to ensure their statistical relevance and then analytically assessed in order to show that the proposed solution has a real impact on operators' learning curves and can make the difference between who uses it and who does not.


title: Deep learning pipeline for image classification on mobile phones

abstract: This article proposes and documents a machine-learning framework and tutorial for classifying images using mobile phones. Compared to computers, the performance of deep learning model performance degrades when deployed on a mobile phone and requires a systematic approach to find a model that performs optimally on both computers and mobile phones. By following the proposed pipeline, which consists of various computational tools, simple procedural recipes, and technical considerations, one can bring the power of deep learning medical image classification to mobile devices, potentially unlocking new domains of applications. The pipeline is demonstrated on four different publicly available datasets: COVID X-rays, COVID CT scans, leaves, and colorectal cancer. We used two application development frameworks: TensorFlow Lite (real-time testing) and Flutter (digital image testing) to test the proposed pipeline. We found that transferring deep learning models to a mobile phone is limited by hardware and classification accuracy drops. To address this issue, we proposed this pipeline to find an optimized model for mobile phones. Finally, we discuss additional applications and computational concerns related to deploying deep-learning models on phones, including real-time analysis and image preprocessing. We believe the associated documentation and code can help physicians and medical experts develop medical image classification applications for distribution.


title: Mario Plays on a Manifold: Generating Functional Content in Latent Space through Differential Geometry

abstract: Deep generative models can automatically create content of diverse types. However, there are no guarantees that such content will satisfy the criteria necessary to present it to end-users and be functional, e.g. the generated levels could be unsolvable or incoherent. In this paper we study this problem from a geometric perspective, and provide a method for reliable interpolation and random walks in the latent spaces of Categorical VAEs based on Riemannian geometry. We test our method with "Super Mario Bros" and "The Legend of Zelda" levels, and against simpler baselines inspired by current practice. Results show that the geometry we propose is better able to interpolate and sample, reliably staying closer to parts of the latent space that decode to playable content.


title: Optimal universal quantum circuits for unitary complex conjugation

abstract: Let $U_d$ be a unitary operator representing an arbitrary $d$-dimensional unitary quantum operation. This work presents optimal quantum circuits for transforming a number $k$ of calls of $U_d$ into its complex conjugate $\bar{U_d}$. Our circuits admit a parallel implementation and are proven to be optimal for any $k$ and $d$ with an average fidelity of $\left\langle{F}\right\rangle =\frac{k+1}{d(d-k)}$. Optimality is shown for average fidelity, robustness to noise, and other standard figures of merit. This extends previous works which considered the scenario of a single call ($k=1$) of the operation $U_d$, and the special case of $k=d-1$ calls. We then show that our results encompass optimal transformations from $k$ calls of $U_d$ to $f(U_d)$ for any arbitrary homomorphism $f$ from the group of $d$-dimensional unitary operators to itself, since complex conjugation is the only non-trivial automorphisms on the group of unitary operators. Finally, we apply our optimal complex conjugation implementation to design a probabilistic circuit for reversing arbitrary quantum evolutions.


title: Modeling pre-Exascale AMR Parallel I/O Workloads via Proxy Applications

abstract: The present work investigates the modeling of pre-exascale input/output (I/O) workloads of Adaptive Mesh Refinement (AMR) simulations through a simple proxy application. We collect data from the AMReX Castro framework running on the Summit supercomputer for a wide range of scales and mesh partitions for the hydrodynamic Sedov case as a baseline to provide sufficient coverage to the formulated proxy model. The non-linear analysis data production rates are quantified as a function of a set of input parameters such as output frequency, grid size, number of levels, and the Courant-Friedrichs-Lewy (CFL) condition number for each rank, mesh level and simulation time step. Linear regression is then applied to formulate a simple analytical model which allows to translate AMReX inputs into MACSio proxy I/O application parameters, resulting in a simple "kernel" approximation for data production at each time step. Results show that MACSio can simulate actual AMReX non-linear "static" I/O workloads to a certain degree of confidence on the Summit supercomputer using the present methodology. The goal is to provide an initial level of understanding of AMR I/O workloads via lightweight proxy applications models to facilitate autotune data management strategies in anticipation of exascale systems.


title: Signless Laplacian Estrada index and Laplacian Estrada index of uniform hypergraphs

abstract: We generalize the notions of Laplacian and signless Laplacian Estrada index to uniform hypergraphs. For an $r$-uniform hypergraph $H,$ we derive an order $r+1$ trace formula of the (signless) Laplacian tensor of $H.$ Among others by using this trace formula, we obtain lower bounds for the signless Laplacian Estrada index and upper bounds for the Laplacian Estrada index. Moreover, we establish a bound involving both the Laplacian Estrada index and Laplacian energy of a uniform hypergraph.


title: Scattering of a twisted electron wavepacket by a finite laser pulse

abstract: The behavior of a twisted electron colliding with a linearly polarized laser pulse is investigated within relativistic quantum mechanics. In order to better fit the real experimental conditions, we introduce a Gaussian spatial profile for the initial electron state as well as an envelope function for the laser pulse, so the both interacting objects have a finite size along the laser propagation direction. For this setup we analyze the dynamics of various observable quantities regarding the electron state: the probability density, angular momentum, and mean values of the spatial coordinates. It is shown that the motion of a twisted wavepacket can be accurately described by averaging over classical trajectories with various directions of the transverse momentum component. On the other hand, full quantum simulations demonstrate that the ring structure of the wavepacket in the transverse plane can be significantly distorted leading to large uncertainties in the total angular momentum of the electron. This effect remains after the interaction once the laser pulse has a nonzero electric-field area.


title: To Collaborate or Not in Distributed Statistical Estimation with Resource Constraints?

abstract: We study how the amount of correlation between observations collected by distinct sensors/learners affects data collection and collaboration strategies by analyzing Fisher information and the Cramer-Rao bound. In particular, we consider a simple setting wherein two sensors sample from a bivariate Gaussian distribution, which already motivates the adoption of various strategies, depending on the correlation between the two variables and resource constraints. We identify two particular scenarios: (1) where the knowledge of the correlation between samples cannot be leveraged for collaborative estimation purposes and (2) where the optimal data collection strategy involves investing scarce resources to collaboratively sample and transfer information that is not of immediate interest and whose statistics are already known, with the sole goal of increasing the confidence on an estimate of the parameter of interest. We discuss two applications, IoT DDoS attack detection and distributed estimation in wireless sensor networks, that may benefit from our results.


title: Relaxation of phonons in the Lieb-Liniger gas by dynamical refermionization

abstract: We investigate the Lieb-Liniger gas initially prepared in an out-of-equilibrium state that is Gaussian in terms of the phonons. Because the phonons are not exact eigenstates of the Hamiltonian, the gas relaxes to a stationary state at very long times. Thanks to integrability, that stationary state needs not be a thermal state. We characterize the stationary state of the gas after relaxation and compute its phonon population distribution. Technically, this follows from the mapping between the exact eigenstates of the Lieb-Liniger Hamiltonian and those of a non-interacting Fermi gas -- a mapping provided by the Bethe equations -- , as well as on bosonization formulas valid in the low-energy sector of the Hilbert space. We apply our results to the case where the initial state is an excited coherent state for a single phonon mode, and we compare them to exact results obtained in the hard-core limit.


title: BRExIt: On Opponent Modelling in Expert Iteration

abstract: Finding a best response policy is a central objective in game theory and multi-agent learning, with modern population-based training approaches employing reinforcement learning algorithms as best-response oracles to improve play against candidate opponents (typically previously learnt policies). We propose Best Response Expert Iteration (BRExIt), which accelerates learning in games by incorporating opponent models into the state-of-the-art learning algorithm Expert Iteration (ExIt). BRExIt aims to (1) improve feature shaping in the apprentice, with a policy head predicting opponent policies as an auxiliary task, and (2) bias opponent moves in planning towards the given or learnt opponent model, to generate apprentice targets that better approximate a best response. In an empirical ablation on BRExIt's algorithmic variants against a set of fixed test agents, we provide statistical evidence that BRExIt learns better performing policies than ExIt.


title: On rate optimal private regression under local differential privacy

abstract: We consider the problem of estimating a regression function from anonymized data in the framework of local differential privacy. We propose a novel partitioning estimate of the regression function, derive a rate of convergence for the excess prediction risk over H\"older classes, and prove a matching lower bound. In contrast to the existing literature on the problem the so-called strong density assumption on the design distribution is obsolete.


title: On the Brousseau sums $\sum_{i=1}^n i^p F_i$

abstract: We start with new convolution formulas for $F_n - n^p$ involving only the binomial coefficients. Then, we use those to find direct formulas for the sums $\sum_{i=1}^n i^p F_{n-i}$ and $\sum_{i=1}^n i^p F_i$, and we show how our formulas connect to work in earlier papers by Ledin, Brousseau, Zeitlin, Adegoke, Shannon and Ollerton, and Kinlaw, Morris, and Thiagarajan.


title: Towards Eusociality Using an Inverse Agent Based Model

abstract: The emergence of eusocial species is both very rare in evolutionary history and results in remarkably successful species. By inverting an agent based model, agent rules are discovered that display behaviors characteristic of eusocial species as well as other behaviors that lead to unexpected population dynamics. By holding the agents' genome constant across the colony and allowing the agents' rules to evolve, the individual behaviors exhibit phenotypic plasticity in response to environmental cues. The phenotypically driven reduction of intrinsic growth rates and the emergence of non-reproducing phenotypes both demonstrate selection pressure at the colony (system) level. The efficiency of an evolved colony is shown to have a strong relationship to the computational capacity of the agents. Various other emergent behaviors, both eusocial and otherwise novel, are identified and discussed. A path forward to more capable eusocial populations and inter-colony evolution is outlined.


title: Disclosure of Investment Advisor and Broker-Dealer Relationships: Impact on Comprehension and Decision Making

abstract: Recently enacted regulations aimed to enhance retail investors' understanding about different types of investment accounts. Toward this goal, the Securities and Exchange Commission (SEC) mandated that SEC-registered investment advisors and broker-dealers provide a brief relationship summary (Form CRS) to retail investors. The present study examines the impact of this regulation on investors and considers its market implications. The effects of Form CRS were evaluated based on three outcome variables: perceived helpfulness, comprehension, and decision making. The study also examined whether personal characteristics, such as investment experience, influenced the disclosure's impact on decision making. Results indicated that participants perceived the disclosure as helpful and it significantly enhanced comprehension about the two types of investment accounts. Critically, participants also showed increased preference and choice for broker-dealers after the disclosure. Increased preference for broker-dealers was associated with greater investment experience, greater comprehension gains, and access to more information from a longer disclosure. These findings suggest that Form CRS may promote informed decision making among retail investors while simultaneously increasing the selection of broker-dealer accounts.


title: Principle of Relevant Information for Graph Sparsification

abstract: Graph sparsification aims to reduce the number of edges of a graph while maintaining its structural properties. In this paper, we propose the first general and effective information-theoretic formulation of graph sparsification, by taking inspiration from the Principle of Relevant Information (PRI). To this end, we extend the PRI from a standard scalar random variable setting to structured data (i.e., graphs). Our Graph-PRI objective is achieved by operating on the graph Laplacian, made possible by expressing the graph Laplacian of a subgraph in terms of a sparse edge selection vector $\mathbf{w}$. We provide both theoretical and empirical justifications on the validity of our Graph-PRI approach. We also analyze its analytical solutions in a few special cases. We finally present three representative real-world applications, namely graph sparsification, graph regularized multi-task learning, and medical imaging-derived brain network classification, to demonstrate the effectiveness, the versatility and the enhanced interpretability of our approach over prevalent sparsification techniques. Code of Graph-PRI is available at https://github.com/SJYuCNEL/PRI-Graphs


title: The Role of Magnetic Fields in the Stability and Fragmentation of Filamentary Molecular Clouds: Two Case Studies at OMC-3 and OMC-4

abstract: We present the stability analysis of two regions, OMC-3 and OMC-4, in the massive and long molecular cloud complex of Orion A. We obtained $214~\mu$m HAWC+/SOFIA polarization data, and we make use of archival data for the column density and C$^{18}$O (1-0) emission line. We find clear depolarization in both observed regions and that the polarization fraction is anti-correlated with the column density and the polarization-angle dispersion function. We find that the filamentary cloud and dense clumps in OMC-3 are magnetically supercritical and strongly subvirial. This region should be in the gravitational collapse phase and is consistent with many young stellar objects (YSOs) forming in the region. Our histogram of relative orientations (HROs) analysis shows that the magnetic field is dynamically sub-dominant in the dense gas structures of OMC-3. We present the first polarization map of OMC-4. We find that the observed region is generally magnetically subcritical except for an elongated dense core, which could be a result of projection effect of a filamentary structure aligned close to the line-of-sight. The relative large velocity dispersion and the unusual positive shape parameters at high column densities in the HROs analysis suggest that our viewing angle may be close to axes of filamentary substructures in OMC-4. The dominating strong magnetic field in OMC-4 is unfavorable for star formation and is consistent with much fewer YSOs than in OMC-3.


title: Decentralized Competing Bandits in Non-Stationary Matching Markets

abstract: Understanding complex dynamics of two-sided online matching markets, where the demand-side agents compete to match with the supply-side (arms), has recently received substantial interest. To that end, in this paper, we introduce the framework of decentralized two-sided matching market under non stationary (dynamic) environments. We adhere to the serial dictatorship setting, where the demand-side agents have unknown and different preferences over the supply-side (arms), but the arms have fixed and known preference over the agents. We propose and analyze a decentralized and asynchronous learning algorithm, namely Decentralized Non-stationary Competing Bandits (\texttt{DNCB}), where the agents play (restrictive) successive elimination type learning algorithms to learn their preference over the arms. The complexity in understanding such a system stems from the fact that the competing bandits choose their actions in an asynchronous fashion, and the lower ranked agents only get to learn from a set of arms, not \emph{dominated} by the higher ranked agents, which leads to \emph{forced exploration}. With carefully defined complexity parameters, we characterize this \emph{forced exploration} and obtain sub-linear (logarithmic) regret of \texttt{DNCB}. Furthermore, we validate our theoretical findings via experiments.


title: Near-Optimal Collaborative Learning in Bandits

abstract: This paper introduces a general multi-agent bandit model in which each agent is facing a finite set of arms and may communicate with other agents through a central controller in order to identify, in pure exploration, or play, in regret minimization, its optimal arm. The twist is that the optimal arm for each agent is the arm with largest expected mixed reward, where the mixed reward of an arm is a weighted sum of the rewards of this arm for all agents. This makes communication between agents often necessary. This general setting allows to recover and extend several recent models for collaborative bandit learning, including the recently proposed federated learning with personalization (Shi et al., 2021). In this paper, we provide new lower bounds on the sample complexity of pure exploration and on the regret. We then propose a near-optimal algorithm for pure exploration. This algorithm is based on phased elimination with two novel ingredients: a data-dependent sampling scheme within each phase, aimed at matching a relaxation of the lower bound.


title: A Class of Low-complexity DCT-like Transforms for Image and Video Coding

abstract: The discrete cosine transform (DCT) is a relevant tool in signal processing applications, mainly known for its good decorrelation properties. Current image and video coding standards -- such as JPEG and HEVC -- adopt the DCT as a fundamental building block for compression. Recent works have introduced low-complexity approximations for the DCT, which become paramount in applications demanding real-time computation and low-power consumption. The design of DCT approximations involves a trade-off between computational complexity and performance. This paper introduces a new multiparametric transform class encompassing the round-off DCT (RDCT) and the modified RDCT (MRDCT), two relevant multiplierless 8-point approximate DCTs. The associated fast algorithm is provided. Four novel orthogonal low-complexity 8-point DCT approximations are obtained by solving a multicriteria optimization problem. The optimal 8-point transforms are scaled to lengths 16 and 32 while keeping the arithmetic complexity low. The proposed methods are assessed by proximity and coding measures with respect to the exact DCT. Image and video coding experiments hardware realization are performed. The novel transforms perform close to or outperform the current state-of-the-art DCT approximations.

categories: eess.IV cs.MM cs.NA eess.SP math.NA stat.ME


title: Glo-In-One: Holistic Glomerular Detection, Segmentation, and Lesion Characterization with Large-scale Web Image Mining

abstract: The quantitative detection, segmentation, and characterization of glomeruli from high-resolution whole slide imaging (WSI) play essential roles in the computer-assisted diagnosis and scientific research in digital renal pathology. Historically, such comprehensive quantification requires extensive programming skills in order to be able to handle heterogeneous and customized computational tools. To bridge the gap of performing glomerular quantification for non-technical users, we develop the Glo-In-One toolkit to achieve holistic glomerular detection, segmentation, and characterization via a single line of command. Additionally, we release a large-scale collection of 30,000 unlabeled glomerular images to further facilitate the algorithmic development of self-supervised deep learning. The inputs of the Glo-In-One toolkit are WSIs, while the outputs are (1) WSI-level multi-class circle glomerular detection results (which can be directly manipulated with ImageScope), (2) glomerular image patches with segmentation masks, and (3) different lesion types. To leverage the performance of the Glo-In-One toolkit, we introduce self-supervised deep learning to glomerular quantification via large-scale web image mining. The GGS fine-grained classification model achieved a decent performance compared with baseline supervised methods while only using 10% of the annotated data. The glomerular detection achieved an average precision of 0.627 with circle representations, while the glomerular segmentation achieved a 0.955 patch-wise Dice Similarity Coefficient (DSC).


title: Low-complexity Three-dimensional Discrete Hartley Transform Approximations for Medical Image Compression

abstract: The discrete Hartley transform (DHT) is a useful tool for medical image coding. The three-dimensional DHT (3D DHT) can be employed to compress medical image data, such as magnetic resonance and X-ray angiography. However, the computation of the 3D DHT involves several multiplications by irrational quantities, which require floating-point arithmetic and inherent truncation errors. In recent years, a significant progress in wireless and implantable biomedical devices has been achieved. Such devices present critical power and hardware limitations. The multiplication operation demands higher hardware, power, and time consumption than other arithmetic operations, such as addition and bit-shifts. In this work, we present a set of multiplierless DHT approximations, which can be implemented with fixed-point arithmetic. We derive 3D DHT approximations by employing tensor formalism. Such proposed methods present prominent computational savings compared to the usual 3D DHT approach, being appropriate for devices with limited resources. The proposed transforms are applied in a lossy 3D DHT-based medical image compression algorithm, presenting practically the same level of visual quality ($>98\%$ in terms of SSIM) at a considerable reduction in computational effort ($100 \%$ multiplicative complexity reduction). Furthermore, we implemented the proposed 3D transforms in an ARM Cortex-M0+ processor employing the low-cost Raspberry Pi Pico board. The execution time was reduced by $\sim$70% compared to the usual 3D DHT and $\sim$90% compared to 3D DCT.

categories: eess.SP cs.MM cs.NA eess.IV math.NA stat.ME


title: Digital Wire Analyzer of Mechanical Tension, Electrical Continuity, and Isolation

abstract: A digital instrument that allows the measurement of the mechanical tension of an array of wires of known length and density, and the testing of their electrical continuity and isolation, has been developed. The instrument measures wire tension by measuring the fundamental frequency of the wire. Its working principle is to apply direct high voltages on neighboring wires of a wire under test and sweeping the frequency of an alternating high voltage that is also applied on those neighbors. A resonance is observed in the readout signal of the middle wire when the frequency of the alternating high voltage coincides with its fundamental frequency. The instrument automates the process over 128 wires, with eight read out simultaneously. An accuracy of 1% in the measurement of tension is achieved by this digital wire analyzer (DWA).


title: Spectrally resolving the phase and amplitude of coherent phonons in the charge density wave state of 1$T$-TaSe$_2$

abstract: The excitation and detection of coherent phonons has given unique insights into condensed matter, in particular for materials with strong electron-phonon coupling. We report a study of coherent phonons in the layered charge density wave (CDW) compound 1$T$-TaSe$_2$ performed using transient broadband reflectivity spectroscopy, in the photon energy range 1.75-2.65 eV. Several intense and long lasting (> 20 ps) oscillations, arising from the CDW superlattice reconstruction, are observed allowing for detailed analysis of the spectral dependence of their amplitude and phase. We find that for energies above 2.4 eV, where transitions involve Ta d-bands, the CDW amplitude mode at 2.19 THz dominates the coherent response. At lower energies, instead, beating arises between additional frequencies, with a particularly intense mode at 2.95 THz. Interestingly, our spectral analysis reveals a $\pi$ phase shift at 2.4 eV. Results are discussed considering the selective coupling of specific modes to energy bands involved in the optical transitions seen in steady-state reflectivity. The work demonstrates how coherent phonon spectroscopy can distinguish and resolve optical states strongly coupled to the CDW order and provide additional information normally hidden in conventional steady-state experiments.


title: Communication-efficient distributed eigenspace estimation with arbitrary node failures

abstract: We develop an eigenspace estimation algorithm for distributed environments with arbitrary node failures, where a subset of computing nodes can return structurally valid but otherwise arbitrarily chosen responses. Notably, this setting encompasses several important scenarios that arise in distributed computing and data-collection environments such as silent/soft errors, outliers or corrupted data at certain nodes, and adversarial responses. Our estimator builds upon and matches the performance of a recently proposed non-robust estimator up to an additive $\tilde{O}(\sigma \sqrt{\alpha})$ error, where $\sigma^2$ is the variance of the existing estimator and $\alpha$ is the fraction of corrupted nodes.


title: ForestPrune: Compact Depth-Controlled Tree Ensembles

abstract: Tree ensembles are powerful models that achieve excellent predictive performances, but can grow to unwieldy sizes. These ensembles are often post-processed (pruned) to reduce memory footprint and improve interpretability. We present ForestPrune, a novel optimization framework to post-process tree ensembles by pruning depth layers from individual trees. Since the number of nodes in a decision tree increases exponentially with tree depth, pruning deep trees drastically compactifies ensembles. We develop a specialized optimization algorithm to efficiently obtain high-quality solutions to problems under ForestPrune. Our algorithm typically reaches good solutions in seconds for medium-size datasets and ensembles, with 10000s of rows and 100s of trees, resulting in significant speedups over existing approaches. Our experiments demonstrate that ForestPrune produces parsimonious models that outperform models extracted by existing post-processing algorithms.


title: Fairness Transferability Subject to Bounded Distribution Shift

abstract: Given an algorithmic predictor that is "fair" on some source distribution, will it still be fair on an unknown target distribution that differs from the source within some bound? In this paper, we study the transferability of statistical group fairness for machine learning predictors (i.e., classifiers or regressors) subject to bounded distribution shifts. Such shifts may be introduced by initial training data uncertainties, user adaptation to a deployed predictor, dynamic environments, or the use of pre-trained models in new settings. Herein, we develop a bound that characterizes such transferability, flagging potentially inappropriate deployments of machine learning for socially consequential tasks. We first develop a framework for bounding violations of statistical fairness subject to distribution shift, formulating a generic upper bound for transferred fairness violations as our primary result. We then develop bounds for specific worked examples, focusing on two commonly used fairness definitions (i.e., demographic parity and equalized odds) and two classes of distribution shift (i.e., covariate shift and label shift). Finally, we compare our theoretical bounds to deterministic models of distribution shift and against real-world data, finding that we are able to estimate fairness violation bounds in practice, even when simplifying assumptions are only approximately satisfied.


title: CBS-Budget (CBSB): A Complete and Bounded Suboptimal Search for Multi-Agent Path Finding

abstract: Multi-Agent Path Finding (MAPF) is the problem of finding a collection of collision-free paths for a team of multiple agents while minimizing some global cost, such as the sum of the time travelled by all agents, or the time travelled by the last agent. Conflict Based Search (CBS) is a leading complete and optimal MAPF solver which lazily explores the joint agent state space, using an admissible heuristic joint plan. Such an admissible heuristic joint plan is computed by combining individual shortest paths found without considering inter-agent conflicts, and which becomes gradually more informed as constraints are added to individual agents' path planning problems to avoid discovered conflicts. In this paper, we seek to speedup CBS by finding a more informed heuristic joint plan which is bounded from above. We first propose the budgeted Class-Ordered A* (bCOA*), a novel algorithm that finds the shortest path with minimal number of conflicts that is upper bounded in terms of length. Then, we propose a novel bounded-cost variant of CBS, called CBS-Budget (CBSB) by using a bCOA* search at the low-level search of the CBS and by using a modified focal search at the high-level search of the CBS. We prove that CBSB is complete and bounded-suboptimal. In our numerical experiments, CBSB finds a near optimal solution for hundreds of agents within a fraction of a second. CBSB shows state-of-the-art performance, comparable to Explicit Estimation CBS (EECBS), an enhanced recent version of CBS. On the other hand, CBSB is easier to implement than EECBS, since only two priority queues at the high-level search are needed as in Enhanced CBS (ECBS).


title: Rectangular analogues of the square paths conjecture and the univariate Delta conjecture

abstract: In this paper, we extend the rectangular side of the shuffle conjecture by stating a rectangular analogue of the square paths conjecture. In addition, we describe a set of combinatorial objects and one statistic that are a first step towards a rectangular extension of (the rise version of) the Delta conjecture, and of (the rise version of) the Delta square conjecture, corresponding to the case $q=1$ of an expected general statement. We also prove our new rectangular paths conjecture in the special case when the sides of the rectangle are coprime.


title: Parametric quantile autoregressive moving average models with exogenous terms applied to Walmart sales data

abstract: Parametric autoregressive moving average models with exogenous terms (ARMAX) have been widely used in the literature. Usually, these models consider a conditional mean or median dynamics, which limits the analysis. In this paper, we introduce a class of quantile ARMAX models based on log-symmetric distributions. This class is indexed by quantile and dispersion parameters. It not only accommodates the possibility to model bimodal and/or light/heavy-tailed distributed data but also accommodates heteroscedasticity. We estimate the model parameters by using the conditional maximum likelihood method. Furthermore, we carry out an extensive Monte Carlo simulation study to evaluate the performance of the proposed models and the estimation method in retrieving the true parameter values. Finally, the proposed class of models and the estimation method are applied to a dataset on the competition "M5 Forecasting - Accuracy" that corresponds to the daily sales history of several Walmart products. The results indicate that the proposed log-symmetric quantile ARMAX models have good performance in terms of model fitting and forecasting.


title: Pre-training via Denoising for Molecular Property Prediction

abstract: Many important problems involving molecular property prediction from 3D structures have limited data, posing a generalization challenge for neural networks. In this paper, we describe a pre-training technique based on denoising that achieves a new state-of-the-art in molecular property prediction by utilizing large datasets of 3D molecular structures at equilibrium to learn meaningful representations for downstream tasks. Relying on the well-known link between denoising autoencoders and score-matching, we show that the denoising objective corresponds to learning a molecular force field -- arising from approximating the Boltzmann distribution with a mixture of Gaussians -- directly from equilibrium structures. Our experiments demonstrate that using this pre-training objective significantly improves performance on multiple benchmarks, achieving a new state-of-the-art on the majority of targets in the widely used QM9 dataset. Our analysis then provides practical insights into the effects of different factors -- dataset sizes, model size and architecture, and the choice of upstream and downstream datasets -- on pre-training.


title: A Formula for the Determinant

abstract: We give a formula for the determinant of an $n\times n$ matrix with entries from a commutative ring with unit. The formula can be evaluated by a "straight-line program" performing only additions, subtractions and multiplications of ring elements; in particular it requires no divisions or conditional branching (as are required, for example, by Gaussian elimination). The number of operations performed is bounded by a fixed power of $n$, specifically $O(n^4\log n)$. Furthermore, the operations can be partitioned into "stages" in such a way that the operands of the operations in a given stage are either matrix entries or the results of operations in earlier stages, and the number of stages is bounded by a fixed power of the logarithm of $n$, specifically $O\big((\log n)^2\big)$.


title: AVIDA: Alternating method for Visualizing and Integrating Data

abstract: High-dimensional multimodal data arises in many scientific fields. The integration of multimodal data becomes challenging when there is no known correspondence between the samples and the features of different datasets. To tackle this challenge, we introduce AVIDA, a framework for simultaneously performing data alignment and dimension reduction. In the numerical experiments, Gromov-Wasserstein optimal transport and t-distributed stochastic neighbor embedding are used as the alignment and dimension reduction modules respectively. We show that AVIDA correctly aligns high-dimensional datasets without common features with four synthesized datasets and two real multimodal single-cell datasets. Compared to several existing methods, we demonstrate that AVIDA better preserves structures of individual datasets, especially distinct local structures in the joint low-dimensional visualization, while achieving comparable alignment performance. Such a property is important in multimodal single-cell data analysis as some biological processes are uniquely captured by one of the datasets. In general applications, other methods can be used for the alignment and dimension reduction modules.


title: End-to-end Optimization of Machine Learning Prediction Queries

abstract: Prediction queries are widely used across industries to perform advanced analytics and draw insights from data. They include a data processing part (e.g., for joining, filtering, cleaning, featurizing the datasets) and a machine learning (ML) part invoking one or more trained models to perform predictions. These parts have so far been optimized in isolation, leaving significant opportunities for optimization unexplored. We present Raven, a production-ready system for optimizing prediction queries. Raven follows the enterprise architectural trend of collocating data and ML runtimes. It relies on a unified intermediate representation that captures both data and ML operators in a single graph structure to unlock two families of optimizations. First, it employs logical optimizations that pass information between the data part (and the properties of the underlying data) and the ML part to optimize each other. Second, it introduces logical-to-physical transformations that allow operators to be executed on different runtimes (relational, ML, and DNN) and hardware (CPU, GPU). Novel data-driven optimizations determine the runtime to be used for each part of the query to achieve optimal performance. Our evaluation shows that Raven improves performance of prediction queries on Apache Spark and SQL Server by up to 13.1x and 330x, respectively. For complex models where GPU acceleration is beneficial, Raven provides up to 8x speedup compared to state-of-the-art systems.


title: Social Bias Meets Data Bias: The Impacts of Labeling and Measurement Errors on Fairness Criteria

abstract: Although many fairness criteria have been proposed to ensure that machine learning algorithms do not exhibit or amplify our existing social biases, these algorithms are trained on datasets that can themselves be statistically biased. In this paper, we investigate the robustness of a number of existing (demographic) fairness criteria when the algorithm is trained on biased data. We consider two forms of dataset bias: errors by prior decision makers in the labeling process, and errors in measurement of the features of disadvantaged individuals. We analytically show that some constraints (such as Demographic Parity) can remain robust when facing certain statistical biases, while others (such as Equalized Odds) are significantly violated if trained on biased data. We also analyze the sensitivity of these criteria and the decision maker's utility to biases. We provide numerical experiments based on three real-world datasets (the FICO, Adult, and German credit score datasets) supporting our analytical findings. Our findings present an additional guideline for choosing among existing fairness criteria, or for proposing new criteria, when available datasets may be biased.


title: PASSAGES: The Large Millimeter Telescope and ALMA Observations of Extremely Luminous High Redshift Galaxies Identified by the Planck

abstract: The Planck All-Sky Survey to Analyze Gravitationally-lensed Extreme Starbursts (PASSAGES) project aims to identify a population of extremely luminous galaxies using the Planck All-Sky Survey and to explore the nature of their gas fuelling, induced starburst, and the resulting feedback that shape their evolution. Here, we report the identification of 22 high redshift luminous dusty star forming galaxies (DSFGs) at $z=1.1-3.3$ drawn from a candidate list constructed using the Planck Catalog of Compact Sources (PCCS) and WISE All-Sky Survey. They are confirmed through follow-up dust continuum imaging and CO spectroscopy using AzTEC and the Redshift Search Receiver (RSR) on the Large Millimeter Telescope Alfonso Serrano (LMT). Their apparent IR luminosities span $(0.1-3.1)\times 10^{14} L_\odot$ (median of $1.2\times10^{14}L_\odot$), making them some of the most luminous galaxies found so far. They are also some of the rarest objects in the sky with a source density of $\lesssim0.01$ deg$^{-2}$. Our Atacama Large Millimeter/submillimeter Array (ALMA) 1.1 mm continuum observations with $\theta$ $\approx$ 0.4" resolution show clear ring or arc morphologies characteristic of strong lensing. Their lensing-corrected luminosity of $L_{\rm IR}\gtrsim 10^{13}L_\odot$ ($SFR\gtrsim10^3 M_\odot$ yr$^{-1}$) indicates that they are the magnified versions of the most intrinsically luminous DSFGs found at these redshifts. Our spectral energy distribution (SED) analysis finds little detectable AGN activity despite their enormous luminosity, and any AGN activity present must be extremely heavily obscured.


title: Beyond Einstein's Horizon: Gravitational Condensates and Black Hole Interiors in the Effective Theory of Gravity

abstract: Two of the most fundamental problems at the nexus of Einstein's classical General Relativity (GR) and Quantum Field Theory (QFT) are: (1) complete gravitational collapse, presumed in classical GR to lead to a Black Hole (BH) horizon and interior singularity, which generate a number of paradoxes for quantum theory; and (2) the origin and magnitude of the cosmological dark energy driving the accelerated expansion of the Universe. In this Snowmass white paper it is proposed that these twin puzzles on disparate scales are related, and that their resolution depends upon taking full account of the conformal anomaly of quantum matter in gravitational fields. The topological term in the anomaly leads naturally to the introduction of an abelian $3$-form gauge field, whose field strength can account for a variable gravitational condensate with the vacuum dark energy equation of state $p=-\rho$, the magnitude of which depends upon macroscopic boundary conditions rather than ultraviolet cutoffs. The resulting Effective Field Theory (EFT) of low energy quantum gravity results in a non-singular `BH' interior and physical surface replacing the classical event horizon, which is a gravitational condensate star free of any information paradox. The development and predictions of this EFT can be tested by gravitational waves and observational cosmology in the coming decade.


title: What Can Database Query Processing Do for Instance-Spanning Constraints?

abstract: In the last decade, the term instance-spanning constraint has been introduced in the process mining field to refer to constraints that span multiple process instances of one or several processes. Of particular relevance, in this setting, is checking whether process executions comply with constraints of interest, which at runtime calls for suitable monitoring techniques. Even though event data are often stored in some sort of database, there is a lack of database-oriented approaches to tackle compliance checking and monitoring of (instance-spanning) constraints. In this paper, we fill this gap by showing how well-established technology from database query processing can be effectively used for this purpose. We propose to define an instance-spanning constraint through an ensemble of four database queries that retrieve the satisfying, violating, pending-satisfying, and pending-violating cases of the constraint. In this context, the problem of compliance monitoring then becomes an application of techniques for incremental view maintenance, which is well-developed in database query processing. In this paper, we argue for our approach in detail, and, as a proof of concept, present an experimental validation using the DBToaster incremental database query engine.


title: Extended depth-of-field light-sheet microscopy improves imaging of large volumes at high numerical aperture

abstract: Light-sheet microscopes must compromise between field of view, optical sectioning, resolution, and detection efficiency. High-numerical-aperture (NA) detection objective lenses provide high resolution but their narrow depth of field fails to capture effectively the fluorescence signal generated by the illumination light sheets, in imaging large volumes. Here, we present ExD-SPIM (extended depth-of-field selective-plane illumination microscopy), an improved light-sheet microscopy strategy that solves this limitation by extending the depth of field (DOF) of high-NA detection objectives to match the thickness of the illumination light sheet. This extension of the DOF uses a phase mask to axially stretch the point-spread function of the objective lens while largely preserving lateral resolution. This matching of the detection DOF to the illumination-sheet thickness increases total fluorescence collection, reduces background, and improves the overall signal-to-noise ratio (SNR). We demonstrate, through numerical simulations and imaging of bead phantoms as well as living animals, that ExD-SPIM increases the SNR by more than three-fold and dramatically reduces the rate of fluorescence photobleaching, when compared to a low-NA system with an equivalent depth of field. Compared to conventional high-NA detection, ExD-SPIM improves the signal sensitivity and volumetric coverage of whole-brain activity imaging, increasing the number of detected neurons by over a third.


title: IGLU Gridworld: Simple and Fast Environment for Embodied Dialog Agents

abstract: We present the IGLU Gridworld: a reinforcement learning environment for building and evaluating language conditioned embodied agents in a scalable way. The environment features visual agent embodiment, interactive learning through collaboration, language conditioned RL, and combinatorically hard task (3d blocks building) space.


title: Little-Parks oscillation and ${\bf d}$-vector texture in spin-triplet superconducting rings with bias current

abstract: We theoretically investigate the critical bias current $j_c$ for a superconducting (SC) ring in a magnetic field. Based on the Ginzburg-Landau theory, we show that $j_c$ exhibits a Little-Parks (LP) oscillation as a function of the magnetic flux passing through the ring, similarly to the LP oscillation in the SC transition temperature. It is also found that for a spin-triplet SC ring, the ${\bf d}$-vector rotates to yield a larger $j_c$, forming a texture along the circumference of the ring. Experimental implications of our result are discussed.


title: High-Fidelity, Low-Loss State Detection of Alkali-Metal Atoms in Optical Tweezer Traps

abstract: We demonstrate discrimination of ground-state hyperfine manifolds of a cesium atom in an optical tweezer using a simple probe beam with 99.91(2)% detection fidelity and 0.9(2)% detection-driven loss of bright state atoms. Our detection infidelity of 0.09(2)% is an order of magnitude better than previously published low-loss readout results for alkali-metal atoms in optical tweezers. Our low atom loss and high-fidelity state detection eliminates the extra depumping mechanism due to population transfer between excited-state sublevels through V-type stimulated Raman transitions caused by the trap laser when the probe laser is present. In this work, complex optical systems and stringent vacuum pressures are not required.