title: Hyperfine structure of the $\mathbf{A^{1}\Pi}$ state of AlCl and its relevance to laser cooling and trapping

abstract: The majority of molecules proposed for laser cooling and trapping experiments have $\Sigma$-type ground states. Specifically, $^2\Sigma$ states have cycling transitions analogous to D1-lines in alkali-metal atoms while $^1\Sigma$ states offer both strong and weak cycling transitions analogous to those in alkaline-earth atoms. Despite this proposed variety, to date, only molecules with $^2\Sigma$-type ground states have successfully been confined and cooled in magneto-optical traps. While none of the proposed $^1\Sigma$-type molecules have been successfully laser cooled and trapped, they are expected to have various advantages in terms of exhibiting a lower chemical reactivity and an internal structure that benefits the cooling schemes. Here, we present the prospects and strategies for optical cycling in AlCl -- a $^1\Sigma$ molecule -- and report on the characterization of the $A^{1}\Pi$ state hyperfine structure. Based on these results, we carry out detailed simulations on the expected capture velocity of a magneto-optical trap for AlCl. Finally, using {\it ab initio} calculations, we identify the photodissociation via a $3^1\Pi$ state and photoionization process via the $3^1\Sigma^+$ state as possible loss mechanisms for a magneto-optical trap of AlCl.


title: Multi-Institutional Audit of FLASH and Conventional Dosimetry with a 3D-Printed Anatomically Realistic Mouse Phantom

abstract: We conducted a multi-institutional audit of dosimetric variability between FLASH and conventional dose rate (CONV) electron irradiations by using an anatomically realistic 3D-printed mouse phantom. A CT scan of a live mouse was used to create a 3D model of bony anatomy, lungs, and soft tissue. A dual-nozzle 3D printer was used to print the mouse phantom using acrylonitrile butadiene styrene ($~1.02 g/cm^3$) and polylactic acid ($~1.24 g/cm^3$) simultaneously to simulate soft tissue and bone densities, respectively. The lungs were printed separately using lightweight polylactic acid ($~0.64 g/cm^3$). Hounsfield units (HU) and densities were compared with the reference CT scan of the live mouse. Print-to-print reproducibility of the phantom was assessed. Three institutions were each provided a phantom, and each institution performed two replicates of irradiations at selected mouse anatomic regions. The average dose difference between FLASH and CONV dose distributions and deviation from the prescribed dose were measured with radiochromic film. Compared to the reference CT scan, CT scans of the phantom demonstrated mass density differences of $0.10 g/cm^3$ for bone, $0.12 g/cm^3$ for lung, and $0.03 g/cm^3$ for soft tissue regions. Between phantoms, the difference in HU for soft tissue and bone was <10 HU from print to print. Lung exhibited the most variation (54 HU) but minimally affected dose distribution (<0.5% dose differences between phantoms). The mean difference between FLASH and CONV from the first replicate to the second decreased from 4.3% to 1.2%, and the mean difference from the prescribed dose decreased from 3.6% to 2.5% for CONV and 6.4% to 2.7% for FLASH. The framework presented here is promising for credentialing of multi-institutional studies of FLASH preclinical research to maximize the reproducibility of biological findings.


title: Measuring lepton number violation in heavy neutral lepton decays at the future muon collider

abstract: The future muon collider has the potential to discover feebly interacting particles in a wide range of masses above the electroweak scale. It is particularly suitable to search for heavy neutral leptons (HNLs), as their production cross section $\sigma \sim m_W^{-2}$ is not suppressed by the new physics scale. We demonstrate that the muon collider, with the capacity to observe up to $10^5$ events in the previously unexplored TeV mass range, provides the means to measure the fraction of lepton number violating (LNV) processes with precision at the level of a percent. This capability enables elucidating the nature of HNLs, allowing us to differentiate between Majorana, Dirac, and non-minimal scenarios featuring multiple degenerate HNLs. We link the observed fraction of LNV processes to the parameters of the model with three degenerate HNLs, which could be responsible for generating baryon asymmetry in the Universe. Additionally, we present a simple estimate for the number of signal events, as well as analyze the feasibility of vector boson fusion processes in searches for HNLs.


title: Social Navigation in Crowded Environments with Model Predictive Control and Deep Learning-Based Human Trajectory Prediction

abstract: Crowd navigation has received increasing attention from researchers over the last few decades, resulting in the emergence of numerous approaches aimed at addressing this problem to date. Our proposed approach couples agent motion prediction and planning to avoid the freezing robot problem while simultaneously capturing multi-agent social interactions by utilizing a state-of-the-art trajectory prediction model i.e., social long short-term memory model (Social-LSTM). Leveraging the output of Social-LSTM for the prediction of future trajectories of pedestrians at each time-step given the robot's possible actions, our framework computes the optimal control action using Model Predictive Control (MPC) for the robot to navigate among pedestrians. We demonstrate the effectiveness of our proposed approach in multiple scenarios of simulated crowd navigation and compare it against several state-of-the-art reinforcement learning-based methods.


title: Nonminimal planar electrodynamics modified by higher-derivative terms

abstract: We consider a (2+1)-dimensional modified electrodynamics endowed with terms that are either Lorentz-invariant or Lorentz-violating and involve an ever increasing number of derivatives. Our construction relies on U(1) gauge invariance and the Abelian Chern-Simons term poses the starting point. The structure of the nonminimal Standard-Model Extension (SME) in (3+1) spacetime dimensions serves as an inspiration for our pursuit. For elaborate studies and applications we particularly focus on the second term of the operator series in the general framework, which is the first contribution with additional derivatives. The latter forms the essential ingredient for several models of modified planar electrodynamics to be examined. The propagators of the models constitute the foundation for us deriving the physical propagating modes as well as for drawing conclusions on unitarity in the quantum regime. We are also interested in identifying parameter regions of sub- and superluminal mode propagation and determine classical solutions of the field equations for the planar models introduced. Moreover, a duality between an extended Chern-Simons theory and a subset of the fermion sector coefficients in the nonminimal SME is pointed out, as well. Finally, the integer quantum Hall effect is chosen as a testbed to demonstrate the applicability of our findings to real physical systems. Predictions on momentum- and direction-dependent corrections of the Hall resistivity are made at the level of effective field theory, which could be tested in experiments. Thus, the (2+1)-dimensional models proposed are potentially applicable to model electromagnetic phenomena in certain planar condensed-matter systems.


title: Constant Approximation for Individual Preference Stable Clustering

abstract: Individual preference (IP) stability, introduced by Ahmadi et al. (ICML 2022), is a natural clustering objective inspired by stability and fairness constraints. A clustering is $\alpha$-IP stable if the average distance of every data point to its own cluster is at most $\alpha$ times the average distance to any other cluster. Unfortunately, determining if a dataset admits a $1$-IP stable clustering is NP-Hard. Moreover, before this work, it was unknown if an $o(n)$-IP stable clustering always \emph{exists}, as the prior state of the art only guaranteed an $O(n)$-IP stable clustering. We close this gap in understanding and show that an $O(1)$-IP stable clustering always exists for general metrics, and we give an efficient algorithm which outputs such a clustering. We also introduce generalizations of IP stability beyond average distance and give efficient, near-optimal algorithms in the cases where we consider the maximum and minimum distances within and between clusters.


title: Solution landscapes of ferronematics in microfluidic channels

abstract: We investigate solution landscapes for ferronematics i.e., a dilute suspension of magnetic nano-particles in a nematic liquid crystal host, in a reduced one-dimensional setting relevant for microfluidic problems. Solution landscapes show how critical points of an energy functional connect to one another on the energy landscape, hence revealing potential mechanism by which multistable systems may switch between different stable states. By varying model parameters, we show that increasing domain size and increasing nemato-magnetic coupling have the same impact on the solution landscape, in that both result in new emergent solutions. Hence, this presents multiple avenues for experimental realisation of multistable ferronematic systems with desired properties. We also show the prevalence, and therefore importance, of ferronematic polydomains, which present themselves as what we call order reconstruction (OR) solutions. These ferronematic OR solutions possess a great deal of complexity in terms of the location and multiplicity of domain walls, and also play a key role in the connectivity of stable states for the solution landscapes considered.


title: Layered Security Guidance for Data Asset Management in Additive Manufacturing

abstract: Manufacturing industries are increasingly adopting additive manufacturing (AM) technologies to produce functional parts in critical systems. However, the inherent complexity of both AM designs and AM processes render them attractive targets for cyber-attacks. Risk-based Information Technology (IT) and Operational Technology (OT) security guidance standards are useful resources for AM security practitioners, but the guidelines they provide are insufficient without additional AM-specific revisions. Therefore, a structured layering approach is needed to efficiently integrate these revisions with preexisting IT and OT security guidance standards. To implement such an approach, this paper proposes leveraging the National Institute of Standards and Technology's Cybersecurity Framework (CSF) to develop layered, risk-based guidance for fulfilling specific security outcomes. It begins with an in-depth literature review that reveals the importance of AM data and asset management to risk-based security. Next, this paper adopts the CSF asset identification and management security outcomes as an example for providing AM-specific guidance and identifies the AM geometry and process definitions to aid manufacturers in mapping data flows and documenting processes. Finally, this paper uses the Open Security Controls Assessment Language to integrate the AM-specific guidance together with existing IT and OT security guidance in a rigorous and traceable manner. This paper's contribution is to show how a risk-based layered approach enables the authoring, publishing, and management of AM-specific security guidance that is currently lacking. The authors believe implementation of the layered approach would result in value-added, non-redundant security guidance for AM that is consistent with the preexisting guidance.


title: A Mean Field Approach to Empirical Bayes Estimation in High-dimensional Linear Regression

abstract: We study empirical Bayes estimation in high-dimensional linear regression. To facilitate computationally efficient estimation of the underlying prior, we adopt a variational empirical Bayes approach, introduced originally in Carbonetto and Stephens (2012) and Kim et al. (2022). We establish asymptotic consistency of the nonparametric maximum likelihood estimator (NPMLE) and its (computable) naive mean field variational surrogate under mild assumptions on the design and the prior. Assuming, in addition, that the naive mean field approximation has a dominant optimizer, we develop a computationally efficient approximation to the oracle posterior distribution, and establish its accuracy under the 1-Wasserstein metric. This enables computationally feasible Bayesian inference; e.g., construction of posterior credible intervals with an average coverage guarantee, Bayes optimal estimation for the regression coefficients, estimation of the proportion of non-nulls, etc. Our analysis covers both deterministic and random designs, and accommodates correlations among the features. To the best of our knowledge, this provides the first rigorous nonparametric empirical Bayes method in a high-dimensional regression setting without sparsity.


title: DeBERTinha: A Multistep Approach to Adapt DebertaV3 XSmall for Brazilian Portuguese Natural Language Processing Task

abstract: This paper presents an approach for adapting the DebertaV3 XSmall model pre-trained in English for Brazilian Portuguese natural language processing (NLP) tasks. A key aspect of the methodology involves a multistep training process to ensure the model is effectively tuned for the Portuguese language. Initial datasets from Carolina and BrWac are preprocessed to address issues like emojis, HTML tags, and encodings. A Portuguese-specific vocabulary of 50,000 tokens is created using SentencePiece. Rather than training from scratch, the weights of the pre-trained English model are used to initialize most of the network, with random embeddings, recognizing the expensive cost of training from scratch. The model is fine-tuned using the replaced token detection task in the same format of DebertaV3 training. The adapted model, called DeBERTinha, demonstrates effectiveness on downstream tasks like named entity recognition, sentiment analysis, and determining sentence relatedness, outperforming BERTimbau-Large in two tasks despite having only 40M parameters.


title: Business Model Canvas for Micro Operators in 5G Coopetitive Ecosystem

abstract: In order to address the need for more capacity and coverage in the 5th generation (5G) of wireless networks, ultra-dense wireless networks are introduced which mainly consist of indoor small cells. This new architecture has paved the way for the advent of a new concept called Micro Operator. A micro operator is an entity that provides connections and local 5G services to the customers and relies on local frequency resources. We discuss business models of micro operators in a 5G coopetitive environment and develop a framework to indicate the business model canvas (BMC) of this new concept. Providing BMC for new businesses is a strategic approach to offer value to customers. In this research study, BMC and its elements are introduced and explained for 5G micro operators.


title: Optimal Nonlinearities Improve Generalization Performance of Random Features

abstract: Random feature model with a nonlinear activation function has been shown to perform asymptotically equivalent to a Gaussian model in terms of training and generalization errors. Analysis of the equivalent model reveals an important yet not fully understood role played by the activation function. To address this issue, we study the "parameters" of the equivalent model to achieve improved generalization performance for a given supervised learning problem. We show that acquired parameters from the Gaussian model enable us to define a set of optimal nonlinearities. We provide two example classes from this set, e.g., second-order polynomial and piecewise linear functions. These functions are optimized to improve generalization performance regardless of the actual form. We experiment with regression and classification problems, including synthetic and real (e.g., CIFAR10) data. Our numerical results validate that the optimized nonlinearities achieve better generalization performance than widely-used nonlinear functions such as ReLU. Furthermore, we illustrate that the proposed nonlinearities also mitigate the so-called double descent phenomenon, which is known as the non-monotonic generalization performance regarding the sample size and the model size.


title: Small ideals in polynomial rings and applications

abstract: Let $\mathbf{k}$ be a field which is either finite or algebraically closed and let $R = \mathbf{k}[x_1,\ldots,x_n].$ We prove that any $g_1,\ldots,g_s\in R$ homogeneous of positive degrees $\le d$ are contained in an ideal generated by an $R_t$-sequence of $\le A(d)(s+t)^{B(d)}$ homogeneous polynomials of degree $\le d,$ subject to some restrictions on the characteristic of $\mathbf{k}.$ This yields effective bounds for new cases of Ananyan and Hochster's theorem A in arXiv:1610.09268 on strength and the codimension of the singular locus. It also implies effective bounds when $d$ equals the characteristic of $\mathbf{k}$ for Tao and Ziegler's result in arXiv:1101.1469 on rank and $U^d$ Gowers norms of polynomials over finite fields.


title: A genetic algorithm to search the space of Ehrhart $h^*$-vectors

abstract: We describe a genetic algorithm to find candidates for $h^*$-vectors satisfying given properties in the space of integers vectors of finite length. We use an implementation of such algorithm to find a 52-dimensional lattice polytope having a non-unimodal $h^*$-vector which is the Cartesian product of two lattice polytopes having unimodal $h^*$-vectors. This counterexample answers negatively to a question by Ferroni and Higashitani.


title: Space-Time Attention with Shifted Non-Local Search

abstract: Efficiently computing attention maps for videos is challenging due to the motion of objects between frames. While a standard non-local search is high-quality for a window surrounding each query point, the window's small size cannot accommodate motion. Methods for long-range motion use an auxiliary network to predict the most similar key coordinates as offsets from each query location. However, accurately predicting this flow field of offsets remains challenging, even for large-scale networks. Small spatial inaccuracies significantly impact the attention module's quality. This paper proposes a search strategy that combines the quality of a non-local search with the range of predicted offsets. The method, named Shifted Non-Local Search, executes a small grid search surrounding the predicted offsets to correct small spatial errors. Our method's in-place computation consumes 10 times less memory and is over 3 times faster than previous work. Experimentally, correcting the small spatial errors improves the video frame alignment quality by over 3 dB PSNR. Our search upgrades existing space-time attention modules, which improves video denoising results by 0.30 dB PSNR for a 7.5% increase in overall runtime. We integrate our space-time attention module into a UNet-like architecture to achieve state-of-the-art results on video denoising.


title: Sketch2CADScript: 3D Scene Reconstruction from 2D Sketch using Visual Transformer and Rhino Grasshopper

abstract: Existing 3D model reconstruction methods typically produce outputs in the form of voxels, point clouds, or meshes. However, each of these approaches has its limitations and may not be suitable for every scenario. For instance, the resulting model may exhibit a rough surface and distorted structure, making manual editing and post-processing challenging for humans. In this paper, we introduce a novel 3D reconstruction method designed to address these issues. We trained a visual transformer to predict a "scene descriptor" from a single wire-frame image. This descriptor encompasses crucial information, including object types and parameters such as position, rotation, and size. With the predicted parameters, a 3D scene can be reconstructed using 3D modeling software like Blender or Rhino Grasshopper which provides a programmable interface, resulting in finely and easily editable 3D models. To evaluate the proposed model, we created two datasets: one featuring simple scenes and another with complex scenes. The test results demonstrate the model's ability to accurately reconstruct simple scenes but reveal its challenges with more complex ones.


title: Extraction of the neutron F2 structure function from inclusive proton and deuteron deep-inelastic scattering data

abstract: The available world deep-inelastic scattering data on proton and deuteron structure functions F2p, F2d, and their ratios, are leveraged to extract the free neutron F2n structure function, the F2n/F2p ratio, and associated uncertainties using the latest nuclear effect calculations in the deuteron.Special attention is devoted to the normalization of the proton and deuteron experimental datasets and to the treatment of correlated systematic errors, as well as the quantification of procedural and theoretical uncertainties. The extracted F2n dataset is utilized to evaluate the Q2 dependence of the Gottfried sum rule and the nonsinglet F2p - F2n moments. To facilitate replication of our study, as well as for general applications, a comprehensive DIS database including all recent JLab 6 GeV measurements, the extracted F2n, a modified CTEQ-JLab global PDF fit named CJ15nlo_mod, and grids with calculated proton, neutron and deuteron DIS structure functions at next-to-leading order, are discussed and made publicly available.


title: Spreading in graphs

abstract: Several concepts that model processes of spreading (of information, disease, objects, etc.) in graphs or networks have been studied. In many contexts, we assume that some vertices of a graph $G$ are contaminated initially, before the process starts. By the $q$-forcing rule, a contaminated vertex having at most $q$ uncontaminated neighbors enforces all the neighbors to become contaminated, while by the $p$-percolation rule, an uncontaminated vertex becomes contaminated if at least $p$ of its neighbors are contaminated. In this paper, we consider sets $S$ that are at the same time $q$-forcing sets and $p$-percolating sets, and call them $(p,q)$-spreading sets. Given positive integers $p$ and $q$, the minimum cardinality of a $(p,q)$-spreading set in $G$ is a $(p,q)$-spreading number, $\sigma_{(p,q)}(G)$, of $G$. While $q$-forcing sets have been studied in a dozen of papers, the decision version of the corresponding graph invariant has not been considered earlier, and we fill the gap by proving its NP-completeness. This, in turn, enables us to prove the NP-completeness of the decision version of the $(p,q)$-spreading number in graphs for an arbitrary choice of $p$ and $q$. Again, for every $p\in \mathbb{N}$ and $q\in\mathbb{N}\cup\{\infty\}$, we find a linear-time algorithm for determining the $(p,q)$-spreading number of a tree. In addition, we present a lower and an upper bound on the $(p,q)$-spreading number of a tree and characterize extremal families of trees. In the case of square grids, we combine some known results and new results on $(2,1)$-spreading and $(4,q)$-spreading to obtain $\sigma_{(p,q)}(P_m\Box P_n)$ for all $(p,q)\in (\mathbb{N}\setminus\{3\})\times (\mathbb{N}\cup\{\infty\})$ and all $m,n\in\mathbb{N}$.


title: T1/T2 relaxation temporal modelling from accelerated acquisitions using a Latent Transformer

abstract: Quantitative cardiac magnetic resonance T1 and T2 mapping enable myocardial tissue characterisation but the lengthy scan times restrict their widespread clinical application. We propose a deep learning method that incorporates a time dependency Latent Transformer module to model relationships between parameterised time frames for improved reconstruction from undersampled data. The module, implemented as a multi-resolution sequence-to-sequence transformer, is integrated into an encoder-decoder architecture to leverage the inherent temporal correlations in relaxation processes. The presented results for accelerated T1 and T2 mapping show the model recovers maps with higher fidelity by explicit incorporation of time dynamics. This work demonstrates the importance of temporal modelling for artifact-free reconstruction in quantitative MRI.


title: Applications of Federated Learning in IoT for Hyper Personalisation

abstract: Billions of IoT devices are being deployed, taking advantage of faster internet, and the opportunity to access more endpoints. Vast quantities of data are being generated constantly by these devices but are not effectively being utilised. Using FL training machine learning models over these multiple clients without having to bring it to a central server. We explore how to use such a model to implement ultra levels of personalization unlike before


title: A Variational Spike-and-Slab Approach for Group Variable Selection

abstract: We introduce a class of generic spike-and-slab priors for high-dimensional linear regression with grouped variables and present a Coordinate-ascent Variational Inference (CAVI) algorithm for obtaining an optimal variational Bayes approximation. Using parameter expansion for a specific, yet comprehensive, family of slab distributions, we obtain a further gain in computational efficiency. The method can be easily extended to fitting additive models. Theoretically, we present general conditions on the generic spike-and-slab priors that enable us to derive the contraction rates for both the true posterior and the VB posterior for linear regression and additive models, of which some previous theoretical results can be viewed as special cases. Our simulation studies and real data application demonstrate that the proposed method is superior to existing methods in both variable selection and parameter estimation. Our algorithm is implemented in the R package GVSSB.


title: A 9-Month Hubble Space Telescope Near-UV Survey of M87. II. A Strongly Enhanced Nova Rate near the Jet of M87

abstract: The 135 classical novae that we have discovered in M87 with two $\textit{Hubble Space Telescope}$ imaging surveys appear to be strongly concentrated along that galaxy's jet. Detailed simulations show that the likelihood that this distribution occurred by chance is of order $0.3\%$. The novae near the jet display outburst characteristics (peak luminosities, colors and decline rates) that are indistinguishable from novae far from the jet. We explore whether the remarkable nova distribution could be caused by the jet's irradiation of the hydrogen-rich donors in M87's cataclysmic binaries. This explanation, and others extant in the literature which rely on increased binary mass transfer rates, fail by orders of magnitude in explaining the enhanced nova rate near the jet. An alternate explanation is the presence of a genuine surplus of nova binary systems near the jet, perhaps due to jet-induced star formation. This explanation fails to explain the lack of nova enhancement along M87's counterjet. The enhanced rate of novae along M87's jet is now firmly established, and unexplained.


title: General and Unified Model of the Power Flow Problem in Multiterminal AC/DC Networks

abstract: This paper proposes a generic and unified model of the power flow (PF) problem for multiterminal hybrid AC/DC networks. The proposed model is an extension of the standard AC-PF. The DC network is treated as an AC one and, in addition to the Slack, PV and PQ nodes, four new node types are introduced to model the DC buses and the buses connecting the AC/DC interfacing converters (IC). The unified model is solved using the Newton-Raphson method. The extended PF equations can be used in the presence of multiple ICs operating under different control modes. Compared to other recent works, the proposed method allows multiple ICs to regulate the DC voltage simultaneously. This corresponds to more realistic operational conditions that ensure redundancy and allow for more flexible control of the hybrid grid. The proposed model can be used for networks under unbalanced conditions and allows for an intentionally negative sequence power injection. In addition to the operational advantages of this method, it is shown that the computational performance of the proposed method is one order of magnitude better than that of other methods presented in the existing recent literature while having the same accuracy.


title: Sharp Generalization of Transductive Learning: A Transductive Local Rademacher Complexity Approach

abstract: We introduce a new tool, Transductive Local Complexity (TLC), designed to analyze the generalization performance of transductive learning methods and inspire the development of new algorithms in this domain. Our work extends the concept of the popular Local Rademacher Complexity (LRC) to the transductive setting, incorporating significant and novel modifications compared to the typical analysis of LRC methods in the inductive setting. While LRC has been widely used as a powerful tool for analyzing inductive models, providing sharp generalization bounds for classification and minimax rates for nonparametric regression, it remains an open question whether a localized Rademacher complexity-based tool can be developed for transductive learning. Our goal is to achieve sharp bounds for transductive learning that align with the inductive excess risk bounds established by LRC. We provide a definitive answer to this open problem with the introduction of TLC. We construct TLC by first establishing a novel and sharp concentration inequality for the supremum of a test-train empirical processes. Using a peeling strategy and a new surrogate variance operator, we derive the a novel excess risk bound in the transductive setting which is consistent with the classical LRC-based excess risk bound in the inductive setting. As an application of TLC, we employ this new tool to analyze the Transductive Kernel Learning (TKL) model, deriving sharper excess risk bounds than those provided by the current state-of-the-art under the same assumptions. Additionally, the concentration inequality for the test-train process is employed to derive a sharp concentration inequality for the general supremum of empirical processes involving random variables in the setting of uniform sampling without replacement. The sharpness of our derived bound is compared to existing concentration inequalities under the same conditions.


title: Preface: A Data-driven Volumetric Prior for Few-shot Ultra High-resolution Face Synthesis

abstract: NeRFs have enabled highly realistic synthesis of human faces including complex appearance and reflectance effects of hair and skin. These methods typically require a large number of multi-view input images, making the process hardware intensive and cumbersome, limiting applicability to unconstrained settings. We propose a novel volumetric human face prior that enables the synthesis of ultra high-resolution novel views of subjects that are not part of the prior's training distribution. This prior model consists of an identity-conditioned NeRF, trained on a dataset of low-resolution multi-view images of diverse humans with known camera calibration. A simple sparse landmark-based 3D alignment of the training dataset allows our model to learn a smooth latent space of geometry and appearance despite a limited number of training identities. A high-quality volumetric representation of a novel subject can be obtained by model fitting to 2 or 3 camera views of arbitrary resolution. Importantly, our method requires as few as two views of casually captured images as input at inference time.


title: Hyperbolicity in non-metric cubical small-cancellation

abstract: Given a non-positively curved cube complex $X$, we prove that the quotient of $\pi_1X$ defined by a cubical presentation $\langle X\mid Y_1,\dots, Y_s\rangle$ satisfying sufficient non-metric cubical small-cancellation conditions is hyperbolic provided that $\pi_1X$ is hyperbolic. This generalises the fact that finitely presented classical $C(7)$ small-cancellation groups are hyperbolic.


title: Demystifying Spatial Confounding

abstract: Spatial confounding is a fundamental issue in regression models for spatially indexed data. It arises because spatial random effects, included to approximate unmeasured spatial variation, are typically not independent of the covariates in the model. This can lead to significant bias in covariate effect estimates. Despite extensive research, it is still a topic of much confusion with sometimes puzzling and seemingly contradictory results. In this paper we develop a broad theoretical framework that brings mathematical clarity to the mechanisms of spatial confounding, providing explicit and interpretable analytical expressions for the resulting bias. From these, we see that it is a problem directly linked to spatial smoothing, and we can identify exactly how the features of the model and the data generation process affect the size and occurrence of bias. We also use our framework to understand and generalise some of the main results on spatial confounding in the past, including suggested methods for bias adjustment. Thus, our comprehensive and mathematically explicit approach clears up existing confusion and, indeed, demystifies the issue of spatial confounding.


title: Stochastic Implicit Neural Signed Distance Functions for Safe Motion Planning under Sensing Uncertainty

abstract: Motion planning under sensing uncertainty is critical for robots in unstructured environments to guarantee safety for both the robot and any nearby humans. Most work on planning under uncertainty does not scale to high-dimensional robots such as manipulators, assumes simplified geometry of the robot or environment, or requires per-object knowledge of noise. Instead, we propose a method that directly models sensor-specific aleatoric uncertainty to find safe motions for high-dimensional systems in complex environments, without exact knowledge of environment geometry. We combine a novel implicit neural model of stochastic signed distance functions with a hierarchical optimization-based motion planner to plan low-risk motions without sacrificing path quality. Our method also explicitly bounds the risk of the path, offering trustworthiness. We empirically validate that our method produces safe motions and accurate risk bounds and is safer than baseline approaches.


title: M67 Blue Stragglers with High-resolution Infrared Spectroscopy

abstract: We report on the first detailed infrared chemical analysis of five binary members (S277, S997, S975, S1031, and S1195) in the open cluster M67 (NGC 2682). These stars are located outside (bluer and/or brighter than) the main-sequence turnoff region in M67. High-resolution (R ~ 45,000) near-infrared spectra were obtained with the Immersion GRating INfrared Spectrograph (IGRINS) at the McDonald Observatory 2.7 m Harlan J. Smith Telescope, providing full spectral coverage of the H and K bands. The abundances of C, Na, Mg, Al, Si, S, Ca, Fe, and Ni are measured using neutral atomic absorption lines. We detect v sin i greater than or equal to 25 km s-1 in three of our program stars: S1031, S975, and S1195. We find our derived abundances to be in good agreement with turnoff star abundances, similar to published analyses of blue straggler stars in M67 from optical spectra. Detection of a carbon enhancement or depletion resulting from mass transfer is difficult due to the uncertainties in the carbon abundance and the relatively modest changes that may occur through red giant and asymptotic giant branch evolution.


title: Extremizers of the Alexandrov--Fenchel inequality within a new class of convex bodies

abstract: Mixed volumes in $n$-dimensional Euclidean space are functionals of $n$-tuples consisting of convex bodies $K,L,C_1,\ldots,C_{n-2}$. The Alexandrov--Fenchel inequalities are fundamental inequalities between mixed volumes of convex bodies, which cover as very special cases many important inequalities between basic geometric functionals. The problem of characterizing completely the equality cases in the Alexandrov--Fenchel inequality is wide open. Major recent progress was made by Yair Shenfeld and Ramon van Handel \cite{SvH22,SvH23+}, in particular they resolved the problem in the cases where $K,L$ are general convex bodies and $C_1,\ldots,C_{n-2}$ are polytopes, zonoids or smooth bodies (under some dimensional restriction). We introduce the class of polyoids, which includes polytopes, zonoids and triangle bodies, and characterize polyoids by using generating measures. Based on this characterization and Shenfeld and van Handel's contribution, we extend their result to a class of convex bodies containing all polyoids and smooth bodies. Our result is stated in terms of the support of the mixed area measure of the unit ball $B^n$ and $C_1,\ldots,C_{n-2}$. A geometric description of this support is provided in the accompanying work \cite{HugReichert23+}.


title: A Bayesian study of quark models in view of recent astrophysical constraints

abstract: In this work, we perform a comparative analysis between the density-dependent quark model and the vector MIT bag model using Bayesian analysis. We use the equations of state generated by these two models to describe quark stars. We impose four recent observational astrophysical constraints on both models to determine their model-dependent parameters in an optimized manner assuming that the compact objects observed are composed entirely of self-bound quarks. The restrictions are aimed at producing stars with maximum masses $2 - 2.35$ M$_\odot$ and a mass-radii diagram compatible with the observed pulsars: PSR J0740+6620, PSR J0952-0607, PSR J0030+0451 and the compact object XMMU J173203.3-344518. With this analysis, the parameter dependence of the nuclear equation of state (EoS) of both models is restricted.


title: Stochastic Digital Twin for Copy Detection Patterns

abstract: Copy detection patterns (CDP) present an efficient technique for product protection against counterfeiting. However, the complexity of studying CDP production variability often results in time-consuming and costly procedures, limiting CDP scalability. Recent advancements in computer modelling, notably the concept of a "digital twin" for printing-imaging channels, allow for enhanced scalability and the optimization of authentication systems. Yet, the development of an accurate digital twin is far from trivial. This paper extends previous research which modelled a printing-imaging channel using a machine learning-based digital twin for CDP. This model, built upon an information-theoretic framework known as "Turbo", demonstrated superior performance over traditional generative models such as CycleGAN and pix2pix. However, the emerging field of Denoising Diffusion Probabilistic Models (DDPM) presents a potential advancement in generative models due to its ability to stochastically model the inherent randomness of the printing-imaging process, and its impressive performance in image-to-image translation tasks. This study aims at comparing the capabilities of the Turbo framework and DDPM on the same CDP datasets, with the goal of establishing the real-world benefits of DDPM models for digital twin applications in CDP security. Furthermore, the paper seeks to evaluate the generative potential of the studied models in the context of mobile phone data acquisition. Despite the increased complexity of DDPM methods when compared to traditional approaches, our study highlights their advantages and explores their potential for future applications.


title: Towards High Resolution Weather Monitoring with Sound Data

abstract: Across various research domains, remotely-sensed weather products are valuable for answering many scientific questions; however, their temporal and spatial resolutions are often too coarse to answer many questions. For instance, in wildlife research, it's crucial to have fine-scaled, highly localized weather observations when studying animal movement and behavior. This paper harnesses acoustic data to identify variations in rain, wind and air temperature at different thresholds, with rain being the most successfully predicted. Training a model solely on acoustic data yields optimal results, but it demands labor-intensive sample labeling. Meanwhile, hourly satellite data from the MERRA-2 system, though sufficient for certain tasks, produced predictions that were notably less accurate in predict these acoustic labels. We find that acoustic classifiers can be trained from the MERRA-2 data that are more accurate than the raw MERRA-2 data itself. By using MERRA-2 to roughly identify rain in the acoustic data, we were able to produce a functional model without using human-validated labels. Since MERRA-2 has global coverage, our method offers a practical way to train rain models using acoustic datasets around the world.


title: Analytically Computation of Sensitivity Coefficients in Hybrid AC/DC Micro-Grid

abstract: In this paper, we present a closed-form model for the analytical computation of the power flow sensitivity coefficients (SCs) for hybrid AC/DC networks. The SCs are defined as the partial derivates of the nodal voltages with respect to the active and reactive power injections. The proposed method is inspired by an existing SC computation process proposed for AC networks and here extended to include both the DC grid and the relevant AC/DC Interfacing Converters (ICs). The ICs can operate under different control modes i.e. voltage or power. Additionally, the model is able to compute the SCs for three-phase networks subjected to unbalanced loading conditions. The proposed method is numerically validated by means of a comparison with a detailed time-domain simulation model solved within the EMTP-RV simulation environment. Furthermore, we provide a formal proof regarding the uniqueness of the proposed SCs computational model for hybrid AC/DC networks.


title: Vidaptive: Efficient and Responsive Rate Control for Real-Time Video on Variable Networks

abstract: Real-time video streaming relies on rate control mechanisms to adapt video bitrate to network capacity while maintaining high utilization and low delay. However, the current video rate controllers, such as Google Congestion Control (GCC), are very slow to respond to network changes, leading to link under-utilization and latency spikes. While recent delay-based congestion control algorithms promise high efficiency and rapid adaptation to variable conditions, low-latency video applications have been unable to adopt these schemes due to the intertwined relationship between video encoders and rate control in current systems. This paper introduces Vidaptive, a new rate control mechanism designed for low-latency video applications. Vidaptive decouples packet transmission decisions from encoder output, injecting ``dummy'' padding traffic as needed to treat video streams akin to backlogged flows controlled by a delay-based congestion controller. Vidaptive then adapts the target bitrate of the encoder based on delay measurements to align the video bitrate with the congestion controller's sending rate. Our evaluations atop Google's implementation of WebRTC show that, across a set of cellular traces, Vidaptive achieves ~1.5x higher video bitrate and 1.4 dB higher SSIM, 1.3 dB higher PSNR, and 40% higher VMAF, and it reduces 95th-percentile frame latency by 2.2 s with a slight 17 ms increase in median frame latency.


title: LEF: Late-to-Early Temporal Fusion for LiDAR 3D Object Detection

abstract: We propose a late-to-early recurrent feature fusion scheme for 3D object detection using temporal LiDAR point clouds. Our main motivation is fusing object-aware latent embeddings into the early stages of a 3D object detector. This feature fusion strategy enables the model to better capture the shapes and poses for challenging objects, compared with learning from raw points directly. Our method conducts late-to-early feature fusion in a recurrent manner. This is achieved by enforcing window-based attention blocks upon temporally calibrated and aligned sparse pillar tokens. Leveraging bird's eye view foreground pillar segmentation, we reduce the number of sparse history features that our model needs to fuse into its current frame by 10$\times$. We also propose a stochastic-length FrameDrop training technique, which generalizes the model to variable frame lengths at inference for improved performance without retraining. We evaluate our method on the widely adopted Waymo Open Dataset and demonstrate improvement on 3D object detection against the baseline model, especially for the challenging category of large objects.


title: Nucleonic Shells and Nuclear Masses

abstract: The binding energy of an isotope is a sensitive indicator of the underlying shell structure as it reflects the net energy content of a nucleus. Since magic nuclei are significantly lighter, or more bound, compared to their neighbors, the presence of nucleonic shell structure makes an imprint on nuclear masses. In this work, using a carefully designed binding-energy indicator, we catalog the appearance of spherical and deformed shell and subshell closures throughout the nuclear landscape. After presenting experimental evidence for shell and subshell closures as seen through the lens of nuclear masses, we study the ability of global nuclear mass models to predict local binding-energy variations related to shell effects.


title: The support of mixed area measures involving a new class of convex bodies

abstract: Mixed volumes in $n$-dimensional Euclidean space are functionals of $n$-tuples of convex bodies $K,L,C_1,\ldots,C_{n-2}$. The Alexandrov--Fenchel inequalities are fundamental inequalities between mixed volumes of convex bodies. As very special cases they cover or imply many important inequalities between basic geometric functionals. A complete characterization of the equality cases in the Alexandrov--Fenchel inequality remains a challenging open problem. Major recent progress was made by Yair Shenfeld and Ramon van Handel \cite{SvH22,SvH23+}, in particular they resolved the problem in the cases where $C_1,\ldots,C_{n-2}$ are polytopes, zonoids or smooth bodies (under some dimensional restriction). In \cite{HugReichert23+} we introduced the class of polyoids, which are defined as limits of finite Minkowski sums of polytopes having a bounded number vertices. Polyoids encompass polytopes, zonoids and triangle bodies, and they can be characterized by means of generating measures. Based on this characterization and Shenfeld and van Handel's contribution, we extended their result to polyoids (or smooth bodies). Our previous result was stated in terms of the support of the mixed area measure associated with the unit ball $B^n$ and $C_1,\ldots,C_{n-2}$. This characterization result is completed in the present work which more generally provides a geometric description of the support of the mixed area measure of an arbitrary $(n-1)$-tuple of polyoids (or smooth bodies). The result confirms a long-standing conjecture by Rolf Schneider in the case of polyoids and hence, in particular, of zonoids.


title: Predicting Object Interactions with Behavior Primitives: An Application in Stowing Tasks

abstract: Stowing, the task of placing objects in cluttered shelves or bins, is a common task in warehouse and manufacturing operations. However, this task is still predominantly carried out by human workers as stowing is challenging to automate due to the complex multi-object interactions and long-horizon nature of the task. Previous works typically involve extensive data collection and costly human labeling of semantic priors across diverse object categories. This paper presents a method to learn a generalizable robot stowing policy from predictive model of object interactions and a single demonstration with behavior primitives. We propose a novel framework that utilizes Graph Neural Networks to predict object interactions within the parameter space of behavioral primitives. We further employ primitive-augmented trajectory optimization to search the parameters of a predefined library of heterogeneous behavioral primitives to instantiate the control action. Our framework enables robots to proficiently execute long-horizon stowing tasks with a few keyframes (3-4) from a single demonstration. Despite being solely trained in a simulation, our framework demonstrates remarkable generalization capabilities. It efficiently adapts to a broad spectrum of real-world conditions, including various shelf widths, fluctuating quantities of objects, and objects with diverse attributes such as sizes and shapes.


title: Sandwich Approach for Motion Planning and Control

abstract: This paper develops a new approach for robot motion planning and control in obstacle-laden environments that is inspired by fundamentals of fluid mechanics. For motion planning, we propose a novel transformation between motion space, with arbitrary obstacles of random sizes and shapes, and an obstacle-free planning space with geodesically-varying distances and constrained transitions. We then obtain robot desired trajectory by A* searching over a uniform grid distributed over the planning space. We show that implementing the A* search over the planning space can generate shorter paths when compared to the existing A* searching over the motion space. For trajectory tracking, we propose an MPC-based trajectory tracking control, with linear equality and inequality safety constraints, enforcing the safety requirements of planning and control.


title: Galaxy And Mass Assembly: The xSAGA Galaxy Complement in Nearby Galaxy Groups

abstract: Groups of galaxies are the intermediate density environment in which much of the evolution of galaxies is thought to take place. In spectroscopic redshift surveys, one can identify these as close spatial redshift associations. However, spectroscopic surveys will always be more limited in luminosity and completeness than imaging ones. Here we combine the Galaxy And Mass Assembly group catalogue with the extended Satellites Around Galactic Analogues (xSAGA) catalogue of Machine Learning identified low-redshift satellite galaxies. We find 1825 xSAGA galaxies within the bounds of the GAMA equatorial fields (m < 21), 1562 of which could have a counterpart in the GAMA spectroscopic catalogue (m < 19.8). Of these, 1326 do have a GAMA counterpart with 974 below z=0.03 (true positives) and 352 above (false positives). By crosscorrelating the GAMA group catalogue with the xSAGA catalogue, we can extend and characterize the satellite content of GAMA galaxy groups. We find that most groups have <5 xSAGA galaxies associated with them but richer groups may have more. Each additional xSAGA galaxy contributes only a small fraction of the group's total stellar mass (<<10%). Selecting GAMA groups that resemble the Milky Way halo, with a few (<4) bright galaxies, we find xSAGA can add a magnitude fainter sources to a group and that the Local Group does not stand out in the number of bright satellites. We explore the quiescent fraction of xSAGA galaxies in GAMA groups and find a good agreement with the literature.


title: Evaluating the Efficiency of Software-only Techniques to Detect SEU and SET in Microprocessors

abstract: This paper presents a detailed evaluation of the efficiency of software-only techniques to mitigate SEU and SET in microprocessors. A set of well-known rules is presented and implemented automatically to transform an unprotected program into a hardened one. SEU and SET are injected in all sensitive areas of a MIPS-based microprocessor architecture. The efficiency of each rule and a combination of them are tested. Experimental results show the inefficiency of the control-flow techniques in detecting the majority of SEU and SET faults. Three effects of the non-detected faults are explained. The conclusions can lead designers in developing more efficient techniques to detect these types of faults.


title: Achieving ultra-low and -uniform residual magnetic fields in a very large magnetically shielded room for fundamental physics experiments

abstract: High-precision searches for an electric dipole moment of the neutron (nEDM) require stable and uniform magnetic field environments. We present the recent achievements of degaussing and equilibrating the magnetically shielded room (MSR) for the n2EDM experiment at the Paul Scherrer Institute. We present the final degaussing configuration that will be used for n2EDM after numerous studies. The optimized procedure results in a residual magnetic field that has been reduced by a factor of two. The ultra-low field is achieved with the full magnetic-field-coil system, and a large vacuum vessel installed, both in the MSR. In the inner volume of ~1.4 m^3, the field is now more uniform and below 300 pT. In addition, the procedure is faster and dissipates less heat into the magnetic environment, which in turn, reduces its thermal relaxation time from 12 h down to ~1.5 h.


title: Investigating Human-Identifiable Features Hidden in Adversarial Perturbations

abstract: Neural networks perform exceedingly well across various machine learning tasks but are not immune to adversarial perturbations. This vulnerability has implications for real-world applications. While much research has been conducted, the underlying reasons why neural networks fall prey to adversarial attacks are not yet fully understood. Central to our study, which explores up to five attack algorithms across three datasets, is the identification of human-identifiable features in adversarial perturbations. Additionally, we uncover two distinct effects manifesting within human-identifiable features. Specifically, the masking effect is prominent in untargeted attacks, while the generation effect is more common in targeted attacks. Using pixel-level annotations, we extract such features and demonstrate their ability to compromise target models. In addition, our findings indicate a notable extent of similarity in perturbations across different attack algorithms when averaged over multiple models. This work also provides insights into phenomena associated with adversarial perturbations, such as transferability and model interpretability. Our study contributes to a deeper understanding of the underlying mechanisms behind adversarial attacks and offers insights for the development of more resilient defense strategies for neural networks.


title: Nanowire Breakup via a Morphological Instability Enhanced by Surface Electromigration

abstract: Using a recent continuum model of a single-crystal nanowire morphological evolution in the applied axial electric field, an axisymmetric evolution of a microscopically rough nanowire surface is computed. Morphological evolution results in a wire breakup into a cylindrical segments (particles). Breakup time and the number of particles are characterized for various levels of the radial and axial surface roughness. It is shown that electromigration and larger surface roughness lead to a shorter breakup time and the increased number of particles.


title: Near Delay-Optimal Scheduling of Batch Jobs in Multi-Server Systems

abstract: We study a class of scheduling problems, where each job is divided into a batch of unit-size tasks and these tasks can be executed in parallel on multiple servers with New-Better-than-Used (NBU) service time distributions. While many delay optimality results are available for single-server queueing systems, generalizing these results to the multi-server case has been challenging. This motivated us to investigate near delay-optimal scheduling of batch jobs in multi-server queueing systems. We consider three lowcomplexity scheduling policies: the Fewest Unassigned Tasks first (FUT) policy, the Earliest Due Date first (EDD) policy, and the First-Come, First-Served (FCFS) policy. We prove that for arbitrary number, batch sizes, arrival times, and due times of the jobs, these scheduling policies are near delay-optimal in stochastic ordering for minimizing three classes of delay metrics among all causal and non-preemptive policies. In particular, the FUT policy is within a constant additive delay gap from the optimum for minimizing the mean average delay, and the FCFS policy within twice of the optimum for minimizing the mean maximum delay and the mean p-norm of delay. The key proof tools are several novel samplepath orderings, which can be used to compare the sample-path delay of different policies in a near-optimal sense.


title: Semiclassical asymptotics and entropy

abstract: We study the entanglement of quantum states associated with submanifolds of Kaehler manifolds. As a motivating example, we discuss the semiclassical asymptotics of entanglement entropy of pure states on the two dimensional sphere with the standard metric.


title: Message Propagation Through Time: An Algorithm for Sequence Dependency Retention in Time Series Modeling

abstract: Time series modeling, a crucial area in science, often encounters challenges when training Machine Learning (ML) models like Recurrent Neural Networks (RNNs) using the conventional mini-batch training strategy that assumes independent and identically distributed (IID) samples and initializes RNNs with zero hidden states. The IID assumption ignores temporal dependencies among samples, resulting in poor performance. This paper proposes the Message Propagation Through Time (MPTT) algorithm to effectively incorporate long temporal dependencies while preserving faster training times relative to the stateful solutions. MPTT utilizes two memory modules to asynchronously manage initial hidden states for RNNs, fostering seamless information exchange between samples and allowing diverse mini-batches throughout epochs. MPTT further implements three policies to filter outdated and preserve essential information in the hidden states to generate informative initial hidden states for RNNs, facilitating robust training. Experimental results demonstrate that MPTT outperforms seven strategies on four climate datasets with varying levels of temporal dependencies.


title: The Lipschitz-Variance-Margin Tradeoff for Enhanced Randomized Smoothing

abstract: Real-life applications of deep neural networks are hindered by their unsteady predictions when faced with noisy inputs and adversarial attacks. The certified radius in this context is a crucial indicator of the robustness of models. However how to design an efficient classifier with an associated certified radius? Randomized smoothing provides a promising framework by relying on noise injection into the inputs to obtain a smoothed and robust classifier. In this paper, we first show that the variance introduced by the Monte-Carlo sampling in the randomized smoothing procedure estimate closely interacts with two other important properties of the classifier, \textit{i.e.} its Lipschitz constant and margin. More precisely, our work emphasizes the dual impact of the Lipschitz constant of the base classifier, on both the smoothed classifier and the empirical variance. To increase the certified robust radius, we introduce a different way to convert logits to probability vectors for the base classifier to leverage the variance-margin trade-off. We leverage the use of Bernstein's concentration inequality along with enhanced Lipschitz bounds for randomized smoothing. Experimental results show a significant improvement in certified accuracy compared to current state-of-the-art methods. Our novel certification procedure allows us to use pre-trained models with randomized smoothing, effectively improving the current certification radius in a zero-shot manner.


title: An MCTS-DRL Based Obstacle and Occlusion Avoidance Methodology in Robotic Follow-Ahead Applications

abstract: We propose a novel methodology for robotic follow-ahead applications that address the critical challenge of obstacle and occlusion avoidance. Our approach effectively navigates the robot while ensuring avoidance of collisions and occlusions caused by surrounding objects. To achieve this, we developed a high-level decision-making algorithm that generates short-term navigational goals for the mobile robot. Monte Carlo Tree Search is integrated with a Deep Reinforcement Learning method to enhance the performance of the decision-making process and generate more reliable navigational goals. Through extensive experimentation and analysis, we demonstrate the effectiveness and superiority of our proposed approach in comparison to the existing follow-ahead human-following robotic methods. Our code is available at https://github.com/saharLeisiazar/follow-ahead-ros.


title: Accretion disk wind of Hercules X-1 during the Short High state

abstract: Hercules X-1 is a nearly edge-on X-ray binary with a warped, precessing accretion disk, which manifests through a 35-day cycle of alternating High and Low flux states. This disk precession introduces a changing line of sight towards the X-ray source, through an ionized accretion disk wind. The sightline variation allows us to uniquely determine how the wind properties vary with height above the disk. All the previous wind measurements were made in the brighter Main High state of Her X-1. Here, we analyze the only Chandra observation during the fainter `Short' High state, and significantly detect blueshifted ionized absorption. We find a column density of $2.0_{-0.6}^{+1.1}\times10^{22}$ cm$^{-2}$, an ionization parameter $\log (\xi$/erg cm s$^{-1})=3.41_{-0.12}^{+0.15}$ and an outflow velocity of $380 \pm 40$ km/s. The properties of the outflow measured during the Short High state are in good agreement with those measured at equivalent precession phases during Main High. We conclude that we are sampling the same wind structure, seen during both Main and Short High, which is precessing alongside with the warped accretion disk every 35 days. Finally, the high spectral resolution of Chandra gratings above 1 keV in this observation enabled us to measure the abundances of certain elements in the outflow. We find Mg/O$=1.5_{-0.4}^{+0.5}$, Si/O$=1.5 \pm 0.4$ and S/O$=3.0_{-1.1}^{+1.2}$, whereas in our previous study of Her X-1 with XMM-Newton, we found an over-abundance of N, Ne and Fe compared with O. These peculiar abundance ratios were likely introduced by pollution of the donor by the supernova which created Her X-1.


title: Two-body Coulomb problem and hidden $g^{(2)}$ algebra: superintegrability and cubic polynomial algebra

abstract: It is shown that the two-body Coulomb problem in the Sturm representation leads to a new two-dimensional, exactly-solvable, superintegrable quantum system in curved space with a $g^{(2)}$ hidden algebra and a cubic polynomial algebra of integrals. The two integrals are of orders two and four, they are made from two components of the angular momentum and from the modified Laplace-Runge-Lenz vector, respectively. It is demonstrated that the cubic polynomial algebra is an infinite-dimensional subalgebra of the universal enveloping algebra $U_{g^{(2)}}$.


title: Platformization of Inequality: Gender and Race in Digital Labor Platforms

abstract: We contribute empirical and conceptual insights regarding the roles of digital labor platforms in online freelancing, focusing attention to social identities such as gender, race, ethnicity, and occupation. Findings highlight how digital labor platforms reinforce and exacerbate identity-based stereotypes, bias and expectations in online freelance work. We focus on online freelancing as this form of working arrangement is becoming more prevalent. Online freelancing also relies on the market-making power of digital platforms to create an online labor market. Many see this as one likely future of work with less bias. Others worry that labor platforms' market power allows them to embed known biases into new working arrangements: a platformization of inequality. Drawing on data from 108 online freelancers, we discuss six findings: 1) female freelance work is undervalued; 2) gendered occupational expectations; 3) gendered treatment; 4) shared expectations of differential values; 5) racial stereotypes and expectations; and 6) race and ethnicity as an asset. We discuss the role of design in the platformization and visibility of social identity dimensions and the implications of the reinforced identity perceptions and marginalization in digital labor platforms.


title: Beyond Gut Feel: Using Time Series Transformers to Find Investment Gems

abstract: This paper addresses the growing application of data-driven approaches within the Private Equity (PE) industry, particularly in sourcing investment targets (i.e., companies) for Venture Capital (VC) and Growth Capital (GC). We present a comprehensive review of the relevant approaches and propose a novel approach leveraging a Transformer-based Multivariate Time Series Classifier (TMTSC) for predicting the success likelihood of any candidate company. The objective of our research is to optimize sourcing performance for VC and GC investments by formally defining the sourcing problem as a multivariate time series classification task. We consecutively introduce the key components of our implementation which collectively contribute to the successful application of TMTSC in VC/GC sourcing: input features, model architecture, optimization target, and investor-centric data processing. Our extensive experiments on two real-world investment tasks, benchmarked towards three popular baselines, demonstrate the effectiveness of our approach in improving decision making within the VC and GC industry.


title: Superpixel Transformers for Efficient Semantic Segmentation

abstract: Semantic segmentation, which aims to classify every pixel in an image, is a key task in machine perception, with many applications across robotics and autonomous driving. Due to the high dimensionality of this task, most existing approaches use local operations, such as convolutions, to generate per-pixel features. However, these methods are typically unable to effectively leverage global context information due to the high computational costs of operating on a dense image. In this work, we propose a solution to this issue by leveraging the idea of superpixels, an over-segmentation of the image, and applying them with a modern transformer framework. In particular, our model learns to decompose the pixel space into a spatially low dimensional superpixel space via a series of local cross-attentions. We then apply multi-head self-attention to the superpixels to enrich the superpixel features with global context and then directly produce a class prediction for each superpixel. Finally, we directly project the superpixel class predictions back into the pixel space using the associations between the superpixels and the image pixel features. Reasoning in the superpixel space allows our method to be substantially more computationally efficient compared to convolution-based decoder methods. Yet, our method achieves state-of-the-art performance in semantic segmentation due to the rich superpixel features generated by the global self-attention mechanism. Our experiments on Cityscapes and ADE20K demonstrate that our method matches the state of the art in terms of accuracy, while outperforming in terms of model parameters and latency.


title: A 64-pixel mid-infrared single-photon imager based on superconducting nanowire detectors

abstract: A large-format mid-infrared single-photon imager with very low dark count rates would enable a broad range of applications in fields like astronomy and chemistry. Superconducting nanowire single-photon detectors (SNSPDs) are a mature photon-counting technology as demonstrated by their figures of merit. However, scaling SNSPDs to large array sizes for mid-infrared applications requires sophisticated readout architectures in addition to superconducting materials development. In this work, an SNSPD array design that combines a thermally coupled row-column multiplexing architecture with a thermally coupled time-of-flight transmission line was developed for mid-infrared applications. The design requires only six cables and can be scaled to larger array sizes. The demonstration of a 64-pixel array shows promising results for wavelengths between $\mathrm{3.4\,\mu m}$ and $\mathrm{10\,\mu m}$, which will enable the use of this single-photon detector technology for a broad range of new applications.

categories: quant-ph cond-mat.supr-con physics.app-ph physics.ins-det physics.optics


title: The Multipurpose Interferometric Array and the development of its technological demonstrator

abstract: We present a proposal for the construction and development of a new instrument for radio astronomical observations based on interferometric techniques, that will provide high angular resolution in the 21 cm band, with the intention of improving and extending the current performance of the instruments used at the Argentine Institute of Radio Astronomy. This will allow internationally competitive scientific research and the acquisition of cutting-edge scientific and technological know-how in the aforementioned techniques, enabling interferometric measurements and the development of very long baseline or VLBI techniques. This project is called MIA, an acronym for "Multipurpose Interferometric Array".


title: Kernels for the Disjoint Paths Problem on Subclasses of Chordal Graphs

abstract: Given an undirected graph $G$ and a multiset of $k$ terminal pairs $\mathcal{X}$, the Vertex-Disjoint Paths (\VDP) and Edge-Disjoint Paths (\EDP) problems ask whether $G$ has $k$ pairwise internally vertex-disjoint paths and $k$ pairwise edge-disjoint paths, respectively, connecting every terminal pair in~$\mathcal{X}$. In this paper, we study the kernelization complexity of \VDP~and~\EDP~on subclasses of chordal graphs. For \VDP, we design a $4k$ vertex kernel on split graphs and an $\mathcal{O}(k^2)$ vertex kernel on well-partitioned chordal graphs. We also show that the problem becomes polynomial-time solvable on threshold graphs. For \textsc{EDP}, we first prove that the problem is $\mathsf{NP}$-complete on complete graphs. Then, we design an $\mathcal{O}(k^{2.75})$ vertex kernel for \EDP~on split graphs, and improve it to a $7k+1$ vertex kernel on threshold graphs. Lastly, we provide an $\mathcal{O}(k^2)$ vertex kernel for \EDP~on block graphs and a $2k+1$ vertex kernel for clique paths. Our contributions improve upon several results in the literature, as well as resolve an open question by Heggernes et al.~[Theory Comput. Syst., 2015].


title: Data-driven reevaluation of $ft$-values in superallowed $\beta$ decays

abstract: We present a comprehensive re-evaluation of the $ft$ values in superallowed nuclear $\beta$ decays crucial for the precise determination of $V_{ud}$ and low-energy tests of the electroweak Standard Model. It consists of the first, fully data-driven analysis of the nuclear $\beta$ decay form factor, that utilizes isospin relations to connect the nuclear charged weak distribution to the measurable charge distributions. This prescription supersedes previous shell-model estimations, and allows for a rigorous quantification of theory uncertainties in $f$ which is absent in the existing literature. Our new evaluation shows an overall downward shift of the central values of $f$ at the level of 0.01\%.


title: A structure-preserving particle discretisation for the Lenard-Bernstein collision operator

abstract: Collisions are an important dissipation mechanism in plasmas. In one-dimensional modelling, a commonly used collision operator is the Lenard-Bernstein operator, or its modified energy- and momentum-conserving counterpart. When approximating such operators numerically, it is important to respect their structure in order to satisfy the laws of thermodynamics. It is, however, challenging to discretise such operators in a structure-preserving way when considering particle methods. In this work, we present a macro-particle discretisation of the Lenard-Bernstein collision operator that is energy and momentum preserving.


title: Magnetically Induced Schr\"odinger Cat States: The Shadow of a Quantum Space

abstract: Schr\"odinger cat states, which are superpositions of macroscopically distinct states, are potentially critical resources for upcoming quantum information technologies. In this paper, we introduce a scheme to generate entangled Schr\"odinger cat states in a non-relativistic electric dipole system situated on a two-dimensional plane, along with an external potential and a uniform strong magnetic field perpendicular to the plane. Additionally, our findings demonstrate that this setup can lead to the phenomenon of collapse and revival of entanglement for a specific range of our model parameters


title: Algorithmic Recourse for Anomaly Detection in Multivariate Time Series

abstract: Anomaly detection in multivariate time series has received extensive study due to the wide spectrum of applications. An anomaly in multivariate time series usually indicates a critical event, such as a system fault or an external attack. Therefore, besides being effective in anomaly detection, recommending anomaly mitigation actions is also important in practice yet under-investigated. In this work, we focus on algorithmic recourse in time series anomaly detection, which is to recommend fixing actions on abnormal time series with a minimum cost so that domain experts can understand how to fix the abnormal behavior. To this end, we propose an algorithmic recourse framework, called RecAD, which can recommend recourse actions to flip the abnormal time steps. Experiments on two synthetic and one real-world datasets show the effectiveness of our framework.


title: Efficient Algorithms for Semirandom Planted CSPs at the Refutation Threshold

abstract: We present an efficient algorithm to solve semirandom planted instances of any Boolean constraint satisfaction problem (CSP). The semirandom model is a hybrid between worst-case and average-case input models, where the input is generated by (1) choosing an arbitrary planted assignment $x^*$, (2) choosing an arbitrary clause structure, and (3) choosing literal negations for each clause from an arbitrary distribution "shifted by $x^*$" so that $x^*$ satisfies each constraint. For an $n$ variable semirandom planted instance of a $k$-arity CSP, our algorithm runs in polynomial time and outputs an assignment that satisfies all but a $o(1)$-fraction of constraints, provided that the instance has at least $\tilde{O}(n^{k/2})$ constraints. This matches, up to $polylog(n)$ factors, the clause threshold for algorithms that solve fully random planted CSPs [FPV15], as well as algorithms that refute random and semirandom CSPs [AOW15, AGK21]. Our result shows that despite having worst-case clause structure, the randomness in the literal patterns makes semirandom planted CSPs significantly easier than worst-case, where analogous results require $O(n^k)$ constraints [AKK95, FLP16]. Perhaps surprisingly, our algorithm follows a significantly different conceptual framework when compared to the recent resolution of semirandom CSP refutation. This turns out to be inherent and, at a technical level, can be attributed to the need for relative spectral approximation of certain random matrices - reminiscent of the classical spectral sparsification - which ensures that an SDP can certify the uniqueness of the planted assignment. In contrast, in the refutation setting, it suffices to obtain a weaker guarantee of absolute upper bounds on the spectral norm of related matrices.


title: A Sign Language Recognition System with Pepper, Lightweight-Transformer, and LLM

abstract: This research explores using lightweight deep neural network architectures to enable the humanoid robot Pepper to understand American Sign Language (ASL) and facilitate non-verbal human-robot interaction. First, we introduce a lightweight and efficient model for ASL understanding optimized for embedded systems, ensuring rapid sign recognition while conserving computational resources. Building upon this, we employ large language models (LLMs) for intelligent robot interactions. Through intricate prompt engineering, we tailor interactions to allow the Pepper Robot to generate natural Co-Speech Gesture responses, laying the foundation for more organic and intuitive humanoid-robot dialogues. Finally, we present an integrated software pipeline, embodying advancements in a socially aware AI interaction model. Leveraging the Pepper Robot's capabilities, we demonstrate the practicality and effectiveness of our approach in real-world scenarios. The results highlight a profound potential for enhancing human-robot interaction through non-verbal interactions, bridging communication gaps, and making technology more accessible and understandable.


title: On the Contractivity of Plug-and-Play Operators

abstract: In plug-and-play (PnP) regularization, the proximal operator in algorithms such as ISTA and ADMM is replaced by a powerful denoiser. This formal substitution works surprisingly well in practice. In fact, PnP has been shown to give state-of-the-art results for various imaging applications. The empirical success of PnP has motivated researchers to understand its theoretical underpinnings and, in particular, its convergence. It was shown in prior work that for kernel denoisers such as the nonlocal means, PnP-ISTA provably converges under some strong assumptions on the forward model. The present work is motivated by the following questions: Can we relax the assumptions on the forward model? Can the convergence analysis be extended to PnP-ADMM? Can we estimate the convergence rate? In this letter, we resolve these questions using the contraction mapping theorem: (i) for symmetric denoisers, we show that (under mild conditions) PnP-ISTA and PnP-ADMM exhibit linear convergence; and (ii) for kernel denoisers, we show that PnP-ISTA and PnP-ADMM converge linearly for image inpainting. We validate our theoretical findings using reconstruction experiments.


title: Prospective of Zr$^{3+}$ ion as a THz atomic clock

abstract: We demonstrate transition between the fine structure splitting of the ground state of triply ionized zirconium (Zr IV) is suitable for a terahertz (THz) atomic clock. Its transition frequency is about 37.52 THz and is mainly guided by the magnetic dipole (M1) transition and can be accessible by a readily available laser. We suggest to consider stable even isotopes of Zr and $M_J= \pm 1/2$ sublevels (i.e. $|4D_{3/2},M_J=\pm 1/2\rangle \rightarrow |4D_{5/2},M_J=\pm 1/2\rangle$ clock transition) for the experimental advantage. By performing necessary calculations, we have estimated possible systematics due to blackbody radiation, ac Stark, electric quadrupole and second-order Zeeman shifts along with shifts due to the second-order Doppler effects. The proposed THz atomic clock can be very useful in quantum thermometry and frequency metrology.


title: Shortest Paths of Mutually Visible Robots

abstract: Given a set of $n$ point robots inside a simple polygon $P$, the task is to move the robots from their starting positions to their target positions along their shortest paths, while the mutual visibility of these robots is preserved. Previous work only considered two robots. In this paper, we present an $O(mn)$ time algorithm, where $m$ is the complexity of the polygon, when all the starting positions lie on a line segment $S$, all the target positions lie on a line segment $T$, and $S$ and $T$ do not intersect. We also argue that there is no polynomial-time algorithm, whose running time depends only on $n$ and $m$, that uses a single strategy for the case where $S$ and $T$ intersect.


title: Investigating Shift Equivalence of Convolutional Neural Networks in Industrial Defect Segmentation

abstract: In industrial defect segmentation tasks, while pixel accuracy and Intersection over Union (IoU) are commonly employed metrics to assess segmentation performance, the output consistency (also referred to equivalence) of the model is often overlooked. Even a small shift in the input image can yield significant fluctuations in the segmentation results. Existing methodologies primarily focus on data augmentation or anti-aliasing to enhance the network's robustness against translational transformations, but their shift equivalence performs poorly on the test set or is susceptible to nonlinear activation functions. Additionally, the variations in boundaries resulting from the translation of input images are consistently disregarded, thus imposing further limitations on the shift equivalence. In response to this particular challenge, a novel pair of down/upsampling layers called component attention polyphase sampling (CAPS) is proposed as a replacement for the conventional sampling layers in CNNs. To mitigate the effect of image boundary variations on the equivalence, an adaptive windowing module is designed in CAPS to adaptively filter out the border pixels of the image. Furthermore, a component attention module is proposed to fuse all downsampled features to improve the segmentation performance. The experimental results on the micro surface defect (MSD) dataset and four real-world industrial defect datasets demonstrate that the proposed method exhibits higher equivalence and segmentation performance compared to other state-of-the-art methods.Our code will be available at https://github.com/xiaozhen228/CAPS.


title: Solar Wind with Field Lines and Energetic Particles (SOFIE) Model: Application to Historical Solar Energetic Particle Events

abstract: In this paper, we demonstrate the applicability of the data-driven and self-consistent solar energetic particle model, Solar-wind with FIeld-lines and Energetic-particles (SOFIE), to simulate acceleration and transport processes of solar energetic particles. SOFIE model is built upon the Space Weather Modeling Framework (SWMF) developed at the University of Michigan. In SOFIE, the background solar wind plasma in the solar corona and interplanetary space is calculated by the Aflv\'en Wave Solar-atmosphere Model(-Realtime) (AWSoM-R) driven by the near-real-time hourly updated Global Oscillation Network Group (GONG) solar magnetograms. In the background solar wind, coronal mass ejections (CMEs) are launched by placing an imbalanced magnetic flux rope on top of the parent active region, using the Eruptive Event Generator using Gibson-Low model (EEGGL). The acceleration and transport processes are modeled by the Multiple-Field-Line Advection Model for Particle Acceleration (M-FLAMPA). In this work, nine solar energetic particle events (Solar Heliospheric and INterplanetary Environment (SHINE) challenge/campaign events) are modeled. The three modules in SOFIE are validated and evaluated by comparing with observations, including the steady-state background solar wind properties, the white-light image of the CME, and the flux of solar energetic protons, at energies of > 10 MeV.


title: Symmetry breaking bifurcations and excitations of solitons in linearly coupled NLS equations with PT-symmetric potentials

abstract: We address symmetry breaking bifurcations (SBBs) in the ground-state (GS) and dipole-mode (DM) solitons of the 1D linearly coupled NLS equations, modeling the propagation of light in a dual-core planar waveguide with the Kerr nonlinearity and two types of PT-symmetric potentials. The PT-symmetric potential is employed to obtained different types of solutions. A supercritical pitchfork bifurcation occurs in families of symmetric solutions of both the GS and DM types. A novel feature of the system is interplay between breakings of the PT and inter-core symmetries. Stability of symmetric GS and DM modes and their asymmetric counterparts, produced by SBBs of both types, is explored via the linear-stability analysis and simulations. It is found that the instability of PT-symmetric solutions takes place prior to the inter-core symmetry breaking. Surprisingly, stable inter-core-symmetric GS solutions may remain stable while the PT symmetry is broken. Fully asymmetric GS and DM solitons are only partially stable. Moreover, we construct symmetric and asymmetric GS solitons under the action of a pure imaginary localized potential, for which the SBB is subcritical. These results exhibit that stable solitons can still be found in dissipative systems. Finally, excitations of symmetric and asymmetric GS solitons are investigated by making the potential's parameters or the system's coupling constant functions, showing that GS solitons can be converted from an asymmetric shape onto a symmetric one under certain conditions. These results may pave the way for the study of linear and nonlinear phenomena in a dual-core planar waveguide with PT potential and related experimental designs.

categories: nlin.PS math-ph math.MP nlin.SI physics.optics quant-ph


title: Towards a Unified Framework for Adaptable Problematic Content Detection via Continual Learning

abstract: Detecting problematic content, such as hate speech, is a multifaceted and ever-changing task, influenced by social dynamics, user populations, diversity of sources, and evolving language. There has been significant efforts, both in academia and in industry, to develop annotated resources that capture various aspects of problematic content. Due to researchers' diverse objectives, the annotations are inconsistent and hence, reports of progress on detection of problematic content are fragmented. This pattern is expected to persist unless we consolidate resources considering the dynamic nature of the problem. We propose integrating the available resources, and leveraging their dynamic nature to break this pattern. In this paper, we introduce a continual learning benchmark and framework for problematic content detection comprising over 84 related tasks encompassing 15 annotation schemas from 8 sources. Our benchmark creates a novel measure of progress: prioritizing the adaptability of classifiers to evolving tasks over excelling in specific tasks. To ensure the continuous relevance of our framework, we designed it so that new tasks can easily be integrated into the benchmark. Our baseline results demonstrate the potential of continual learning in capturing the evolving content and adapting to novel manifestations of problematic content.


title: A local surjection theorem with continuous inverse in Banach spaces

abstract: In this paper we prove a local surjection theorem with continuous right-inverse for maps between Banach spaces, and we apply it to a class of inversion problems with loss of derivatives.


title: Nonlocality via multiqubit orthogonal product bases

abstract: We investigate the quantum nonlocality via the discrimination on two, three and four-qubit orthogonal product bases (OPBs). We show that every two-qubit, and some three and four-qubit OPBs can be locally distinguished. It turns out that the remaining three and four-qubit OPBs cannot be locally distinguished, and thus they show the quantum nonlocality without entanglement. We also distinguish them by merging some systems using quantum teleportation with assisted Bell states.


title: Accurate estimate of $C_5$ dispersion coefficients of the alkali atoms interacting with different material media

abstract: By inferring the dynamic permittivity of different material media from the observations and calculating dynamic electric dipole polarizabilties of the Li through Cs alkali atoms, precise values of $C_3$ coefficients were estimated in Phys. Rev. A {\bf 89}, 022511 (2014) and Phys. Lett. A {\bf 380}, 3366 (2016). Since significant contribution towards the long range van der Waals potential is given by the quadrupole polarization effects, we have estimated the $C_5$ coefficients in this work arising from the quadrupole polarization effects of all the alkali atoms interacting with metal (Au), semiconductor (Si) and four dielectric materials (SiO$_2$, SiN$_x$, YAG and sapphire). The required dynamic electric quadrupole (E2) polarizabilities are evaluated by calculating E2 matrix elements of a large number of transitions in the alkali atoms by employing a relativistic coupled-cluster method. Our finding shows that contributions from the $C_5$ coefficients to the atom-wall interaction potentials are pronounced at short distances (1$-$10 nm). The $C_3$ coefficients of Fr atom interacting with the above material media are also reported. These results can be useful in understanding the interactions of alkali atoms trapped in different material bodies during the high-precision measurements.


title: ASAP: Automated Sequence Planning for Complex Robotic Assembly with Physical Feasibility

abstract: The automated assembly of complex products requires a system that can automatically plan a physically feasible sequence of actions for assembling many parts together. In this paper, we present ASAP, a physics-based planning approach for automatically generating such a sequence for general-shaped assemblies. ASAP accounts for gravity to design a sequence where each sub-assembly is physically stable with a limited number of parts being held and a support surface. We apply efficient tree search algorithms to reduce the combinatorial complexity of determining such an assembly sequence. The search can be guided by either geometric heuristics or graph neural networks trained on data with simulation labels. Finally, we show the superior performance of ASAP at generating physically realistic assembly sequence plans on a large dataset of hundreds of complex product assemblies. We further demonstrate the applicability of ASAP on both simulation and real-world robotic setups. Project website: asap.csail.mit.edu


title: Magnetic Sublevel Independent Magic and Tune-out Wavelengths of the Alkaline-earth Ions

abstract: Lightshift of a state due to the applied laser in an atomic system vanishes at the tune-out wavelengths ($\lambda_T$s). Similarly, differential light shift of a transition vanishes at the magic wavelengths ($\lambda_{magic}$s). In many of the earlier studies, values of the electric dipole (E1) matrix elements were inferred precisely by combining measurements of $\lambda_{magic}$ with the calculated their values. Similarly, the $\lambda_T$ values of an atomic state can be used to infer the E1 matrix element as it involves dynamic electric dipole ($\alpha$) values of only one state whereas the $\lambda_{magic}$ values are dealt with $\alpha$ values of two states. However, both the $\lambda_T$ and $\lambda_{magic}$ values depend on angular momenta and their magnetic components ($M$) of states. Here, we report the $\lambda_T$ and $\lambda_{magic}$ values of many $S_{1/2}$ and $D_{3/2,5/2}$ states, and transitions among these states of the Mg$^{+}$, Ca$^{+}$, Sr$^{+}$ and Ba$^{+}$ ions that are independent of $M$- values. Measuring these wavelengths in a special set-up as discussed in the paper, it could be possible to infer a large number of E1 matrix elements of the above ions accurately.


title: Dynamic Batching of Online Arrivals to Leverage Economies of Scale

abstract: Many settings, such as medical testing of patients in hospitals or matching riders to drivers in ride-hailing platforms, require handling arrivals over time. In such applications, it is often beneficial to group the arriving orders, samples, or requests into batches and process the larger batches rather than individual arrivals. However, waiting too long to create larger batches incurs a waiting cost for past arrivals. On the other hand, processing the arrivals too soon leads to higher processing costs by missing the economies of scale of grouping larger numbers of arrivals into larger batches. Moreover, the timing of the next arrival is often unknown, meaning that fixed-size batches or fixed wait times tend to be suboptimal. In this work, we consider the problem of finding the optimal batching schedule to minimize the average wait time plus the average processing cost under both offline and online settings. In the offline problem in which all arrival times are known a priori, we show that the optimal batching schedule can be found in polynomial time by reducing it to a shortest path problem on a weighted acyclic graph. For the online problem with unknown arrival times, we develop online algorithms that are provably competitive for a broad range of processing-cost functions. We also provide a lower bound on the competitive ratio that no online algorithm can beat. Finally, we run extensive numerical experiments on simulated and real data to demonstrate the effectiveness of our proposed algorithms against the optimal offline benchmark.


title: Fourier synthesis optical diffraction tomography for kilohertz rate volumetric imaging

abstract: Many biological and soft matter processes occur at high speeds in complex 3D environments, and developing imaging techniques capable of elucidating their dynamics is an outstanding experimental challenge. Here, we introduce Fourier Synthesis Optical Diffraction Tomography (FS-ODT), a novel approach for high-speed quantitative phase imaging capable of recording the 3D refractive index at kilohertz rates. FS-ODT introduces new pattern generation and inverse computational strategies that multiplex tens of illumination angles in a single tomogram, dramatically increasing the volumetric imaging rate. We validate FS-ODT performance by imaging samples of known composition and accurately recovering the refractive index for increasing pattern complexity. We further demonstrate the capabilities of FS-ODT for probing complex systems by studying the hindered diffusion of colloids in solution and the motility of single-cellular bacterial swimmers. We believe that FS-ODT is a promising approach for unlocking challenging imaging regimes in biophysics and soft matter that have been little explored, including understanding the physical interactions of colloids and microswimmers with their viscous 3D environment and the interplay between these stimuli and the molecular response of biological systems.


title: SIMD-ified R-tree Query Processing and Optimization

abstract: The introduction of Single Instruction Multiple Data (SIMD) instructions in mainstream CPUs has enabled modern database engines to leverage data parallelism by performing more computation with a single instruction, resulting in a reduced number of instructions required to execute a query as well as the elimination of conditional branches. Though SIMD in the context of traditional database engines has been studied extensively, it has been overlooked in the context of spatial databases. In this paper, we investigate how spatial database engines can benefit from SIMD vectorization in the context of an R-tree spatial index. We present vectorized versions of the spatial range select, and spatial join operations over a vectorized R-tree index. For each of the operations, we investigate two storage layouts for an R-tree node to leverage SIMD instructions. We design vectorized algorithms for each of the spatial operations given each of the two data layouts. We show that the introduction of SIMD can improve the latency of the spatial query operators up to 9x. We introduce several optimizations over the vectorized implementation of these query operators, and study their effectiveness in query performance and various hardware performance counters under different scenarios.


title: Sharing the Cost of IoT Wireless Coverage with a Strengthened Linear Programming Formulation

abstract: Sharing infrastructure between many users is often advantageous, however finding a fair and reasonable way to allocate its cost between its users can be challenging. This is particularly true for LPWANs, a popular Internet of Things solution for wirelessly connecting devices to the internet. We study cost-allocation of LPWANS using a covering integer program. Standard cost-allocation methods are inapplicable in this model, because the integrality gap of its natural LP-relaxation is unbounded. We overcome this challenge by strengthening the natural LP with knapsack-cover inequalities. Our main result is proving that all dual-feasible solutions to the strengthened LP produce cost-allocations that satisfy the core property. This reduces the problem of finding a cost-allocation to that of finding a strengthened-LP-relative approximation algorithm. Existing algorithms imply improved cost-recovery ratios for families of sparse CIP instances. Finally, we show that the strengthened formulation simplifies and improves the analysis of a cross-monotone cost-allocation mechanism as well.


title: Vistrust: a Multidimensional Framework and Empirical Study of Trust in Data Visualizations

abstract: Trust is an essential aspect of data visualization, as it plays a crucial role in the interpretation and decision-making processes of users. While research in social sciences outlines the multi-dimensional factors that can play a role in trust formation, most data visualization trust researchers employ a single-item scale to measure trust. We address this gap by proposing a comprehensive, multidimensional conceptualization and operationalization of trust in visualization. We do this by applying general theories of trust from social sciences, as well as synthesizing and extending earlier work and factors identified by studies in the visualization field. We apply a two-dimensional approach to trust in visualization, to distinguish between cognitive and affective elements, as well as between visualization and data-specific trust antecedents. We use our framework to design and run a large crowd-sourced study to quantify the role of visual complexity in establishing trust in science visualizations. Our study provides empirical evidence for several aspects of our proposed theoretical framework, most notably the impact of cognition, affective responses, and individual differences when establishing trust in visualizations.


title: ONNXExplainer: an ONNX Based Generic Framework to Explain Neural Networks Using Shapley Values

abstract: Understanding why a neural network model makes certain decisions can be as important as the inference performance. Various methods have been proposed to help practitioners explain the prediction of a neural network model, of which Shapley values are most popular. SHAP package is a leading implementation of Shapley values to explain neural networks implemented in TensorFlow or PyTorch but lacks cross-platform support, one-shot deployment and is highly inefficient. To address these problems, we present the ONNXExplainer, which is a generic framework to explain neural networks using Shapley values in the ONNX ecosystem. In ONNXExplainer, we develop its own automatic differentiation and optimization approach, which not only enables One-Shot Deployment of neural networks inference and explanations, but also significantly improves the efficiency to compute explanation with less memory consumption. For fair comparison purposes, we also implement the same optimization in TensorFlow and PyTorch and measure its performance against the current state of the art open-source counterpart, SHAP. Extensive benchmarks demonstrate that the proposed optimization approach improves the explanation latency of VGG19, ResNet50, DenseNet201, and EfficientNetB0 by as much as 500%.