title: Genuine Knowledge from Practice: Diffusion Test-Time Adaptation for Video Adverse Weather Removal

abstract: Real-world vision tasks frequently suffer from the appearance of unexpected adverse weather conditions, including rain, haze, snow, and raindrops. In the last decade, convolutional neural networks and vision transformers have yielded outstanding results in single-weather video removal. However, due to the absence of appropriate adaptation, most of them fail to generalize to other weather conditions. Although ViWS-Net is proposed to remove adverse weather conditions in videos with a single set of pre-trained weights, it is seriously blinded by seen weather at train-time and degenerates when coming to unseen weather during test-time. In this work, we introduce test-time adaptation into adverse weather removal in videos, and propose the first framework that integrates test-time adaptation into the iterative diffusion reverse process. Specifically, we devise a diffusion-based network with a novel temporal noise model to efficiently explore frame-correlated information in degraded video clips at training stage. During inference stage, we introduce a proxy task named Diffusion Tubelet Self-Calibration to learn the primer distribution of test video stream and optimize the model by approximating the temporal noise model for online adaptation. Experimental results, on benchmark datasets, demonstrate that our Test-Time Adaptation method with Diffusion-based network(Diff-TTA) outperforms state-of-the-art methods in terms of restoring videos degraded by seen weather conditions. Its generalizable capability is also validated with unseen weather conditions in both synthesized and real-world videos.


title: On fluctuations of complexity measures for the FIND algorithm

abstract: The FIND algorithm (also called Quickselect) is a fundamental algorithm to select ranks or quantiles within a set of data. It was shown by Gr\"ubel and R\"osler that the number of key comparisons required by Find as a process of the quantiles $\alpha\in[0,1]$ in a natural probabilistic model converges after normalization in distribution within the c\`adl\`ag space $D[0,1]$ endowed with the Skorokhod metric. We show that the process of the residuals in the latter convergence after normalization converges in distribution to a mixture of Gaussian processes in $D[0,1]$ and identify the limit's conditional covariance functions. A similar result holds for the related algorithm QuickVal. Our method extends to other cost measures such as the number of swaps (key exchanges) required by Find or cost measures which are based on key comparisons but take into account that the cost of a comparison between two keys may depend on their values, an example being the number of bit comparisons needed to compare keys given by their bit expansions.


title: Presenting the topological stratified homotopy hypothesis

abstract: This article is concerned with three different homotopy theories of stratified spaces: The one defined by Douteau and Henriques, the one defined by Haine, and the one defined by Nand-Lal. One of the central questions concerning these theories has been how precisely they connect with geometric and topological examples of stratified spaces, such as piecewise linear pseudomanifolds, Whitney stratified spaces, or more recently Ayala, Francis and Tanaka's conically smooth stratified spaces. More precisely, so far, it has been an open question whether there exist (semi)model structures on stratified topological spaces that present these theories, in which such relevant examples of stratified spaces are bifibrant. Here, we prove an affirmative answer to this question. As a consequence, we obtain a model categorical interpretation of a stratified homotopy hypothesis. Specifically, we show that Lurie's stratified singular simplicial set functor induces a Quillen equivalence between the semimodel category of stratified topological spaces presenting Nand-Lal's homotopy theory of stratified spaces and the left Bousfield localization of the Joyal model structure that corresponds to such $\infty$-categories in which every endomorphism is an isomorphism. We then perform a detailed investigation of bifibrant objects in these model structures of stratified spaces, proving a series of detection criteria and illuminating the relationship to Quinn's homotopically stratified spaces.


title: Annotations on a Budget: Leveraging Geo-Data Similarity to Balance Model Performance and Annotation Cost

abstract: Current foundation models have shown impressive performance across various tasks. However, several studies have revealed that these models are not effective for everyone due to the imbalanced geographical and economic representation of the data used in the training process. Most of this data comes from Western countries, leading to poor results for underrepresented countries. To address this issue, more data needs to be collected from these countries, but the cost of annotation can be a significant bottleneck. In this paper, we propose methods to identify the data to be annotated to balance model performance and annotation costs. Our approach first involves finding the countries with images of topics (objects and actions) most visually distinct from those already in the training datasets used by current large vision-language foundation models. Next, we identify countries with higher visual similarity for these topics and show that using data from these countries to supplement the training data improves model performance and reduces annotation costs. The resulting lists of countries and corresponding topics are made available at https://github.com/MichiganNLP/visual_diversity_budget.


title: Maxwell's Demon at Work: Efficient Pruning by Leveraging Saturation of Neurons

abstract: When training deep neural networks, the phenomenon of $\textit{dying neurons}$ $\unicode{x2013}$units that become inactive or saturated, output zero during training$\unicode{x2013}$ has traditionally been viewed as undesirable, linked with optimization challenges, and contributing to plasticity loss in continual learning scenarios. In this paper, we reassess this phenomenon, focusing on sparsity and pruning. By systematically exploring the impact of various hyperparameter configurations on dying neurons, we unveil their potential to facilitate simple yet effective structured pruning algorithms. We introduce $\textit{Demon Pruning}$ (DemP), a method that controls the proliferation of dead neurons, dynamically leading to network sparsity. Achieved through a combination of noise injection on active units and a one-cycled schedule regularization strategy, DemP stands out for its simplicity and broad applicability. Experiments on CIFAR10 and ImageNet datasets demonstrate that DemP surpasses existing structured pruning techniques, showcasing superior accuracy-sparsity tradeoffs and training speedups. These findings suggest a novel perspective on dying neurons as a valuable resource for efficient model compression and optimization.


title: Probing anomalous $Z\gamma\gamma\gamma$ couplings at a future muon collider

abstract: The sensitivity to anomalous quartic gauge couplings (AQGCs) of the $\gamma\gamma\gamma Z$ interaction is studied in the $\mu^+\mu^- \rightarrow \mu^+\gamma\gamma \mu^-$ scattering at a future muon collider with unpolarized beams. The anomalous $\gamma\gamma\gamma Z$ vertex is described by two couplings, $\zeta_1$ and $\zeta_2$. The differential and total cross sections are calculated for the center-of-mass energies of 3 TeV, 14 TeV, and 100 TeV. For these values of the collision energy the $95\%$ C.L. exclusion regions for AQGCs are obtained depending on the systematic error. In particular, for the 14 TeV muon collider with the integrated luminosity $L = 20$ ab$^{-1}$ the best sensitivities are derived to be $\zeta_1 = 3.1 \times 10^{-5}$ TeV$^{-4}$ and $\zeta_2 = 6.5 \times 10^{-5}$ TeV$^{-4}$. These constraints are three orders of magnitude stronger than the bounds obtained for the 27 TeV HE-LHC with $L = 15$ ab$^{-1}$. At the 100 TeV muon collider with $L = 1000$ ab$^{-1}$ AQGCs can be probed up to $(1.64 \div 3.4) \times 10^{-8}$ TeV$^{-4}$. The partial-wave unitarity constraints on couplings $\zeta_1$, $\zeta_2$ are evaluated. It is shown that the unitarity is not violated in the region of the AQGCs examined in the present paper.


title: SATDAUG -- A Balanced and Augmented Dataset for Detecting Self-Admitted Technical Debt

abstract: Self-admitted technical debt (SATD) refers to a form of technical debt in which developers explicitly acknowledge and document the existence of technical shortcuts, workarounds, or temporary solutions within the codebase. Over recent years, researchers have manually labeled datasets derived from various software development artifacts: source code comments, messages from the issue tracker and pull request sections, and commit messages. These datasets are designed for training, evaluation, performance validation, and improvement of machine learning and deep learning models to accurately identify SATD instances. However, class imbalance poses a serious challenge across all the existing datasets, particularly when researchers are interested in categorizing the specific types of SATD. In order to address the scarcity of labeled data for SATD \textit{identification} (i.e., whether an instance is SATD or not) and \textit{categorization} (i.e., which type of SATD is being classified) in existing datasets, we share the \textit{SATDAUG} dataset, an augmented version of existing SATD datasets, including source code comments, issue tracker, pull requests, and commit messages. These augmented datasets have been balanced in relation to the available artifacts and provide a much richer source of labeled data for training machine learning or deep learning models.


title: ORPO: Monolithic Preference Optimization without Reference Model

abstract: While recent preference alignment algorithms for language models have demonstrated promising results, supervised fine-tuning (SFT) remains imperative for achieving successful convergence. In this paper, we study the crucial role of SFT within the context of preference alignment, emphasizing that a minor penalty for the disfavored generation style is sufficient for preference-aligned SFT. Building on this foundation, we introduce a straightforward and innovative reference model-free monolithic odds ratio preference optimization algorithm, ORPO, eliminating the necessity for an additional preference alignment phase. We demonstrate, both empirically and theoretically, that the odds ratio is a sensible choice for contrasting favored and disfavored styles during SFT across the diverse sizes from 125M to 7B. Specifically, fine-tuning Phi-2 (2.7B), Llama-2 (7B), and Mistral (7B) with ORPO on the UltraFeedback alone surpasses the performance of state-of-the-art language models with more than 7B and 13B parameters: achieving up to 12.20% on $\text{AlpacaEval}_{2.0}$ (Figure 1), 66.19% on IFEval (instruction-level loose, Table 6), and 7.32 in MT-Bench (Figure 12). We release code and model checkpoints for Mistral-ORPO-$\alpha$ (7B) and Mistral-ORPO-$\beta$ (7B).


title: Masked AutoDecoder is Effective Multi-Task Vision Generalist

abstract: Inspired by the success of general-purpose models in NLP, recent studies attempt to unify different vision tasks in the same sequence format and employ autoregressive Transformers for sequence prediction. They apply uni-directional attention to capture sequential dependencies and generate task sequences recursively. However, such autoregressive Transformers may not fit vision tasks well, as vision task sequences usually lack the sequential dependencies typically observed in natural languages. In this work, we design Masked AutoDecoder~(MAD), an effective multi-task vision generalist. MAD consists of two core designs. First, we develop a parallel decoding framework that introduces bi-directional attention to capture contextual dependencies comprehensively and decode vision task sequences in parallel. Second, we design a masked sequence modeling approach that learns rich task contexts by masking and reconstructing task sequences. In this way, MAD handles all the tasks by a single network branch and a simple cross-entropy loss with minimal task-specific designs. Extensive experiments demonstrate the great potential of MAD as a new paradigm for unifying various vision tasks. MAD achieves superior performance and inference efficiency compared to autoregressive counterparts while obtaining competitive accuracy with task-specific models. Code will be released.


title: Large, Small or Both: A Novel Data Augmentation Framework Based on Language Models for Debiasing Opinion Summarization

abstract: As more than 70$\%$ of reviews in the existing opinion summary data set are positive, current opinion summarization approaches are reluctant to generate negative summaries given the input of negative texts. To address such sentiment bias, a direct approach without the over-reliance on a specific framework is to generate additional data based on large language models to balance the emotional distribution of the dataset. However, data augmentation based on large language models faces two disadvantages: 1) the potential issues or toxicity in the augmented data; 2) the expensive costs. Therefore, in this paper, we propose a novel data augmentation framework based on both large and small language models for debiasing opinion summarization. In specific, a small size of synthesized negative reviews is obtained by rewriting the positive text via a large language model. Then, a disentangle reconstruction model is trained based on the generated data. After training, a large amount of synthetic data can be obtained by decoding the new representation obtained from the combination of different sample representations and filtering based on confusion degree and sentiment classification. Experiments have proved that our framework can effectively alleviate emotional bias same as using only large models, but more economically.


title: Precision timing of eclipsing binaries from TESS full frame images. Method and performance

abstract: Several hundreds of thousands of eclipsing binaries (EBs) are expected to be detected in the Transiting Exoplanet Survey Satellite (TESS) full frame images (FFIs). This represents a significant increase in the number of EBs available for eclipse timing variation studies. In this paper, we investigate the feasibility of performing precise eclipse timing of TESS EBs using the FFIs. To this end, we developed a fast, automated method and applied it to a sample of $\sim$100 EBs selected from the Villanova TESS EB catalog. Our timing analysis resulted in the detection of ten new triple candidates with outer periods shorter than $\sim$1300$\,$d. For five of them, we were able to constrain the outer orbit by analyzing independently the short-cadence (SC) and FFI data and to derive the minimum mass of the third body with a precision better than 4 per cent for SC and 12 per cent for FFI data. We then compared the results obtained from the two datasets and found that using the FFI data leads to (1) a degradation of both the accuracy and precision of the tertiary mass determination for the tightest EBs and (2) an overall underestimation of the third component's mass. However, we stress that our main conclusions on the nature of the detected signals do not depend on which dataset is used. This confirms the great potential of TESS FFIs, which will allow us to search for rare objects such as substellar circumbinary companions and compact triple stellar systems.


title: Harmonically m-Concave Set-Valued Function

abstract: This research aimed to introduce the concept of harmonically m-concave set-valued functions, which is obtained from the combination of two definitions: harmonically m-concave functions and set-valued functions. In this work some properties and characteristics are developed, as well as a Kuhn type theorem and Bernstein-Doetcsh type result for such functions.


title: Peak-Brightness Localization of the CNEOS 2014-01-08 (IM1) Fireball

abstract: In a recent preprint, Fernando et al. (2024) used public data from infrasound stations to constrain the localization of the fireball of the CNEOS 2014-01-08 (IM1) bolide. The analysis inferred a 90-percent-confidence ellipse with semi-minor and semi-major axes of 186 and 388 km, respectively. This large error ellipse includes the much better localization box derived by sensors aboard U.S. Government satellites which detected the fireball light. At the fireball's peak brightness, the CNEOS localization box documented by NASA/JPL measures 11.112km on a side and is centered on a latitude of 1.3S and a longitude of 147.6E. Here, we point out that the recent expedition to retrieve materials from IM1's site (Loeb et al. 2024a,b,c) surveyed a region of tens of km around the CNEOS box center, and was not dictated by the data studied by Fernando et al. (2024) because of its larger uncertainties.


title: Using Equation of State Constraints to Classify Low-Mass Compact Binary Mergers

abstract: Compact objects observed via gravitational waves are classified as black holes or neutron stars primarily based on their inferred mass with respect to stellar evolution expectations. However, astrophysical expectations for the lowest mass range, $\lesssim 1.2 \,M_\odot$, are uncertain. If such low-mass compact objects exist, ground-based gravitational wave detectors may observe them in binary mergers. Lacking astrophysical expectations for classifying such observations, we go beyond the mass and explore the role of tidal effects. We evaluate how combined mass and tidal inference can inform whether each binary component is a black hole or a neutron star based on consistency with the supranuclear-density equation of state. Low-mass neutron stars experience a large tidal deformation; its observational identification (or lack thereof) can therefore aid in determining the nature of the binary components. Using simulated data, we find that the presence of a sub-solar mass neutron star (black hole) can be established with odds $\sim 100:1$ when two neutron stars (black holes) merge and emit gravitational waves at signal-to-noise ratio $\sim 20$. For the same systems, the absence of a black hole (neutron star) can be established with odds $\sim 10:1$. For mixed neutron star-black hole binaries, we can establish that the system contains a neutron star with odds $\gtrsim 5:1$. Establishing the presence of a black hole in mixed neutron star-black hole binaries is more challenging, except for the case of a $\lesssim 1\,M_{\odot}$ black hole with a $\gtrsim 1\,M_{\odot}$ neutron star companion. On the other hand, classifying each individual binary component suffers from an inherent labeling ambiguity.


title: The Kazdan-Warner problem on compact K\"ahler surfaces

abstract: In this paper, we investigate a Kazdan-Warner problem on compact K\"ahler surfaces with negative Gauduchon degree, which corresponds to prescribing sign-changing Chern scalar curvatures. By the method of our recent paper [J. Funt. Anal. 285 (2023): 109948], we establish a Chen-Li type existence theorem on compact K\"ahler surfaces when the candidate curvature function is of negative average. Moreover, we give an alternative proof of Ding-Liu's theorem [Trans. Amer. Math. Soc. 347(1995) 1059-1066] on prescribing sign-changing Gaussian curvatures by using the $\sup+\inf$ inequality due to H. Brezis, Y. Y. Li and I. Shafrir.


title: Ion Kinetics and Neutron Generation Associated with Electromagnetic Turbulence in Laboratory-scale Counter-streaming Plasmas

abstract: Electromagnetic turbulence and ion kinetics in counter-streaming plasmas hold great significance in laboratory astrophysics, such as turbulence field amplification and particle energization. Here, we quantitatively demonstrate for the first time how electromagnetic turbulence affects ion kinetics under achievable laboratory conditions (millimeter-scale interpenetrating plasmas with initial velocity of $2000\ \mathrm{km/s}$, density of $4 \times 10^{19}\ \mathrm{cm}^{-3}$, and temperature of $100\ \mathrm{eV}$) utilizing a recently developed high-order implicit particle-in-cell code without scaling transformation. It is found that the electromagnetic turbulence is driven by ion two-stream and filamentation instabilities. For the magnetized scenarios where an applied magnetic field of tens of Tesla is perpendicular to plasma flows, the growth rates of instabilities increase with the strengthening of applied magnetic field, which therefore leads to a significant enhancement of turbulence fields. Under the competition between the stochastic acceleration due to electromagnetic turbulence and collisional thermalization, ion distribution function shows a distinct super-Gaussian shape, and the ion kinetics are manifested in neutron yields and spectra. Our results have well explained the recent unmagnetized experimental observations, and the findings of magnetized scenario can be verified by current astrophysical experiments.


title: CuVLER: Enhanced Unsupervised Object Discoveries through Exhaustive Self-Supervised Transformers

abstract: In this paper, we introduce VoteCut, an innovative method for unsupervised object discovery that leverages feature representations from multiple self-supervised models. VoteCut employs normalized-cut based graph partitioning, clustering and a pixel voting approach. Additionally, We present CuVLER (Cut-Vote-and-LEaRn), a zero-shot model, trained using pseudo-labels, generated by VoteCut, and a novel soft target loss to refine segmentation accuracy. Through rigorous evaluations across multiple datasets and several unsupervised setups, our methods demonstrate significant improvements in comparison to previous state-of-the-art models. Our ablation studies further highlight the contributions of each component, revealing the robustness and efficacy of our approach. Collectively, VoteCut and CuVLER pave the way for future advancements in image segmentation.


title: Categorizing $SU(3)_f$ representations of scalar mesons by $J/\psi$ decays

abstract: We explore the possibilities of categorizing $SU(3)_f$ representations of scalar mesons through $J/\psi\to SV$ and $\gamma S$, with $S$ ($V$) being the scalar(vector) mesons. We find that $f_0(500)$ and $f_0(980)$ are singlet and octet states, respectively; which both belong to a nonet of the $SU(3)_f$ flavor symmetry. In addition, we determine the singlet-octet mixing angle of $\theta = (84.2\pm13.9)^{\circ}$ between $f_0(500)$ and $f_0(980)$, which supports the quark-antiquark ($q\bar{q}$) hypothesis. For the scalar mesons in the range of 1-2 GeV, containing two of $f_0(1370,\ 1500,\ 1700)$, we discuss the mixings between $q\bar{q}$ and glueballs. Our numerical results suggest that $f_0(1370 (1500))$ has the a significant component of $n\bar{n}$ ($s\bar{s}$), while $f_0(1710)$ is likely composed of the scalar glueball.


title: Lipschitz maps with prescribed local Lipschitz constants

abstract: Let $\Gamma$ be a closed subset of a complete Riemannian manifold $M$ of dimension $\geq 2$, let $f: M \to N$ be a Lipschitz map to a complete Riemannian manifold $N$, and let $\psi$ be a continuous function which dominates the local Lipschitz constant of $f$. We construct a Lipschitz map which agress with $f$ on $\Gamma$ and whose local Lipschitz constant is $\psi$.


title: Zitterbewegung CPT violation in neutral kaons system

abstract: The observed CP violation in neutral kaons experiments is explained as an interplay between two oscillations in the earth's Schwarzschild geometry: (i) mixing associated with second order weak coupling and (ii) quark's zitterbewegung. This violation is in fact a CPT violation with T conservation rather than a T violation with CPT conservation. The Hermitian evolution of a stable kaons system leads to the identification of this CPT violation. Then, the finite lifetime of the short-lived kaon rotates the violation parameter such that it appears as a T violation.


title: Symmetric Q-learning: Reducing Skewness of Bellman Error in Online Reinforcement Learning

abstract: In deep reinforcement learning, estimating the value function to evaluate the quality of states and actions is essential. The value function is often trained using the least squares method, which implicitly assumes a Gaussian error distribution. However, a recent study suggested that the error distribution for training the value function is often skewed because of the properties of the Bellman operator, and violates the implicit assumption of normal error distribution in the least squares method. To address this, we proposed a method called Symmetric Q-learning, in which the synthetic noise generated from a zero-mean distribution is added to the target values to generate a Gaussian error distribution. We evaluated the proposed method on continuous control benchmark tasks in MuJoCo. It improved the sample efficiency of a state-of-the-art reinforcement learning method by reducing the skewness of the error distribution.


title: Robust Synthetic-to-Real Transfer for Stereo Matching

abstract: With advancements in domain generalized stereo matching networks, models pre-trained on synthetic data demonstrate strong robustness to unseen domains. However, few studies have investigated the robustness after fine-tuning them in real-world scenarios, during which the domain generalization ability can be seriously degraded. In this paper, we explore fine-tuning stereo matching networks without compromising their robustness to unseen domains. Our motivation stems from comparing Ground Truth (GT) versus Pseudo Label (PL) for fine-tuning: GT degrades, but PL preserves the domain generalization ability. Empirically, we find the difference between GT and PL implies valuable information that can regularize networks during fine-tuning. We also propose a framework to utilize this difference for fine-tuning, consisting of a frozen Teacher, an exponential moving average (EMA) Teacher, and a Student network. The core idea is to utilize the EMA Teacher to measure what the Student has learned and dynamically improve GT and PL for fine-tuning. We integrate our framework with state-of-the-art networks and evaluate its effectiveness on several real-world datasets. Extensive experiments show that our method effectively preserves the domain generalization ability during fine-tuning.


title: Fast and Simple Explainability for Point Cloud Networks

abstract: We propose a fast and simple explainable AI (XAI) method for point cloud data. It computes pointwise importance with respect to a trained network downstream task. This allows better understanding of the network properties, which is imperative for safety-critical applications. In addition to debugging and visualization, our low computational complexity facilitates online feedback to the network at inference. This can be used to reduce uncertainty and to increase robustness. In this work, we introduce \emph{Feature Based Interpretability} (FBI), where we compute the features' norm, per point, before the bottleneck. We analyze the use of gradients and post- and pre-bottleneck strategies, showing pre-bottleneck is preferred, in terms of smoothness and ranking. We obtain at least three orders of magnitude speedup, compared to current XAI methods, thus, scalable for big point clouds or large-scale architectures. Our approach achieves SOTA results, in terms of classification explainability. We demonstrate how the proposed measure is helpful in analyzing and characterizing various aspects of 3D learning, such as rotation invariance, robustness to out-of-distribution (OOD) outliers or domain shift and dataset bias.


title: Tightly Bounded Polynomials via Flexible Discretizations for Dynamic Optimization Problems

abstract: Polynomials are widely used to represent the trajectories of states and/or inputs. It has been shown that a polynomial can be bounded by its coefficients, when expressed in the Bernstein basis. However, in general, the bounds provided by the Bernstein coefficients are not tight. We propose a method for obtaining numerical solutions to dynamic optimization problems, where a flexible discretization is used to achieve tight polynomial bounds. The proposed method is used to solve a constrained cart-pole swing-up optimal control problem. The flexible discretization eliminates the conservatism of the Bernstein bounds and enables a lower cost, in comparison with non-flexible discretizations. A theoretical result on obtaining tight polynomial bounds with a finite discretization is presented. In some applications with linear dynamics, the non-convexity introduced by the flexible discretization may be a drawback.


title: Improving Reinforcement Learning from Human Feedback Using Contrastive Rewards

abstract: Reinforcement learning from human feedback (RLHF) is the mainstream paradigm used to align large language models (LLMs) with human preferences. Yet existing RLHF heavily relies on accurate and informative reward models, which are vulnerable and sensitive to noise from various sources, e.g. human labeling errors, making the pipeline fragile. In this work, we improve the effectiveness of the reward model by introducing a penalty term on the reward, named as \textit{contrastive rewards}. %Contrastive rewards Our approach involves two steps: (1) an offline sampling step to obtain responses to prompts that serve as baseline calculation and (2) a contrastive reward calculated using the baseline responses and used in the Proximal Policy Optimization (PPO) step. We show that contrastive rewards enable the LLM to penalize reward uncertainty, improve robustness, encourage improvement over baselines, calibrate according to task difficulty, and reduce variance in PPO. We show empirically contrastive rewards can improve RLHF substantially, evaluated by both GPTs and humans, and our method consistently outperforms strong baselines.


title: Tomography of nonlinear materials via the Monotonicity Principle

abstract: In this paper we present a first non-iterative imaging method for nonlinear materials, based on Monotonicity Principle. Specifically, we deal with the inverse obstacle problem, where the aim is to retrieve a nonlinear anomaly embedded in linear known background. The Monotonicity Principle (MP) is a general property for various class of PDEs, that has recently generalized to nonlinear elliptic PDEs. Basically, it states a monotone relation between the point-wise value of the unknown material property and the boundary measurements. It is at the foundation of a class of non-iterative imaging methods, characterized by a very low execution time that makes them ideal candidates for real-time applications. In this work, we develop an inversion method that overcomes some of the peculiar difficulties in practical application of MP to imaging of nonlinear materials, preserving the feasibility for real-time applications. For the sake of clarity, we focus on a specific application, i.e. the Magnetostatic Permeability Tomography where the goal is retrieving the unknown (nonlinear) permeability by boundary measurements in DC operations. This choice is motivated by applications in the inspection of boxes and containers for security. Reconstructions from simulated data prove the effectiveness of the presented method.


title: Focusing Surface Acoustic Waves with a Plasmonic Hypersonic Lens

abstract: Plasmonic nanoantennas have proven to be efficient transducers of electromagnetic to mechanical energy and vice versa. The sudden thermal expansion of these structures after an ultrafast optical pulsed excitation leads to the emission of hypersonic acoustic waves to the supporting substrate, which can be detected by another antenna that acts as a high-sensitive mechanical probe due to the strong modulation of its optical response. Sophisticated fabrication techniques, together with the implementation of numerical simulations, have allowed the engineering of nanostructures for the controlled directional generation and detection of high-frequency acoustic phonons at the nanoscale, with many potential applications in telecommunications, sensing, mechanical switching, and energy transport. Here, we propose and experimentally demonstrate a nanoscale acoustic lens comprised of 11 gold nanodisks whose collective oscillation gives rise to an interference pattern that results in a diffraction-limited surface acoustic beam of about 340 nm width, with an amplitude contrast of 60%. Via spatially decoupled pump-probe experiments, we were able to map the radiated acoustic energy in the proximity of the focal area, obtaining a very good agreement with the continuum elastic theory.


title: SSM Meets Video Diffusion Models: Efficient Video Generation with Structured State Spaces

abstract: Given the remarkable achievements in image generation through diffusion models, the research community has shown increasing interest in extending these models to video generation. Recent diffusion models for video generation have predominantly utilized attention layers to extract temporal features. However, attention layers are limited by their memory consumption, which increases quadratically with the length of the sequence. This limitation presents significant challenges when attempting to generate longer video sequences using diffusion models. To overcome this challenge, we propose leveraging state-space models (SSMs). SSMs have recently gained attention as viable alternatives due to their linear memory consumption relative to sequence length. In the experiments, we first evaluate our SSM-based model with UCF101, a standard benchmark of video generation. In addition, to investigate the potential of SSMs for longer video generation, we perform an experiment using the MineRL Navigate dataset, varying the number of frames to 64, 200, and 400. In these settings, our SSM-based model can considerably save memory consumption for longer sequences, while maintaining competitive FVD scores to the attention-based models. Our codes are available at https://github.com/shim0114/SSM-Meets-Video-Diffusion-Models.


title: Nonlocal Stokes equation with relaxation on the divergence free equation

abstract: In this paper, we consider a new nonlocal approximation to the linear Stokes system with periodic boundary conditions in two and three dimensional spaces . A relaxation term is added to the equation of nonlocal divergence free equation, which is reminiscent to the relaxation of local Stokes equation with small artificial compressibility. Our analysis shows that the well-posedness of the nonlocal system can be established under some mild assumptions on the kernel of nonlocal interactions. Furthermore, the new nonlocal system converges to the conventional, local Stokes system in second order as the horizon parameter of the nonlocal interaction goes to zero. The study provides more theoretical understanding to some numerical methods, such as smoothed particle hydrodynamics, for simulating incompressible viscous flows.


title: Coupling of radiation and magnetospheric accretion flow in ULX pulsars: radiation pressure and photon escape time

abstract: The accretion flow within the magnetospheric radius of bright X-ray pulsars can form an optically thick envelope, concealing the central neutron star from the distant observer. Most photons are emitted at the surface of a neutron star and leave the system after multiple reflections by the accretion material covering the magnetosphere. Reflections cause momentum to be transferred between photons and the accretion flow, which contributes to the radiative force and should thus influence the dynamics of accretion. We employ Monte Carlo simulations and estimate the acceleration along magnetic field lines due to the radiative force as well as the radiation pressure across magnetic field lines. We demonstrate that the radiative acceleration can exceed gravitational acceleration along the field lines, and similarly, radiation pressure can exceed magnetic field pressure. Multiple reflections of X-ray photons back into the envelope tend to amplify both radiative force along the field lines and radiative pressure. We analyze the average photon escape time from the magnetosphere of a star and show that its absolute value is weakly dependent on the magnetic field strength of a star and roughly linearly dependent on the mass accretion rate being $\sim 0.1\,{\rm s}$ at $\dot{M}\sim 10^{20}\,{\rm g\,s^{-1}}$. At high mass accretion rates, the escape time can be longer than free-fall time from the inner disc radius.


title: StableToolBench: Towards Stable Large-Scale Benchmarking on Tool Learning of Large Language Models

abstract: Large Language Models (LLMs) have witnessed remarkable advancements in recent years, prompting the exploration of tool learning, which integrates LLMs with external tools to address diverse real-world challenges. Assessing the capability of LLMs to utilise tools necessitates large-scale and stable benchmarks. However, previous works relied on either hand-crafted online tools with limited scale, or large-scale real online APIs suffering from instability of API status. To address this problem, we introduce StableToolBench, a benchmark evolving from ToolBench, proposing a virtual API server and stable evaluation system. The virtual API server contains a caching system and API simulators which are complementary to alleviate the change in API status. Meanwhile, the stable evaluation system designs solvable pass and win rates using GPT-4 as the automatic evaluator to eliminate the randomness during evaluation. Experimental results demonstrate the stability of StableToolBench, and further discuss the effectiveness of API simulators, the caching system, and the evaluator system.


title: Intra-video Positive Pairs in Self-Supervised Learning for Ultrasound

abstract: Self-supervised learning (SSL) is one strategy for addressing the paucity of labelled data in medical imaging by learning representations from unlabelled images. Contrastive and non-contrastive SSL methods produce learned representations that are similar for pairs of related images. Such pairs are commonly constructed by randomly distorting the same image twice. The videographic nature of ultrasound offers flexibility for defining the similarity relationship between pairs of images. In this study, we investigated the effect of utilizing proximal, distinct images from the same B-mode ultrasound video as pairs for SSL. Additionally, we introduced a sample weighting scheme that increases the weight of closer image pairs and demonstrated how it can be integrated into SSL objectives. Named Intra-Video Positive Pairs (IVPP), the method surpassed previous ultrasound-specific contrastive learning methods' average test accuracy on COVID-19 classification with the POCUS dataset by $\ge 1.3\%$. Detailed investigations of IVPP's hyperparameters revealed that some combinations of IVPP hyperparameters can lead to improved or worsened performance, depending on the downstream task. Guidelines for practitioners were synthesized based on the results, such as the merit of IVPP with task-specific hyperparameters, and the improved performance of contrastive methods for ultrasound compared to non-contrastive counterparts.


title: Main-sequence exoplanet systems: tidal evolution

abstract: The easiest exoplanets to detect are those that orbit very close to their hoststars. As a result, even though these planets are quite rare, they represent amajor fraction of the current exoplanet population. A side-effect of theproximity between the planet and the star is that the two have strong mutualinteractions through a number of physical processes. One of the most importantof these processes is tides. Tides are thought to shape the orbits of close-inexoplanets, heat the planet making its radius expand, and even drive someplanets to spiral into their host stars. This chapter briefly introduces thebasics of tidal physics and describes the various fingerprints tides leavewithin the observed exoplanet population.


title: Resolving Dual Active Galactic Nuclei with ~100 pc separation in MCG-03-34-64

abstract: We report the serendipitous multiwavelength discovery of a candidate dual black hole system with a separation of $\sim$100 pc, in the gas-rich luminous infrared galaxy MCG-03-34-64 (z=0.016). Hubble Space Telescope/ACS observations show three distinct optical centroids in the [O III] narrow-band and F814W images. Subsequent analysis of Chandra/ACIS data shows two spatially-resolved peaks of equal intensity in the neutral Fe K$\alpha$ (6.2-6.6 keV) band, while high-resolution radio continuum observations with the Very Large Array at 8.46 GHz (3.6 cm band) show two spatially-coincident radio peaks. Fast shocks as the ionizing source seem unlikely, given the energies required for production of Fe K$\alpha$. If confirmed, the separation of $\sim$100 pc would represent the closest dual AGN reported to date with spatially-resolved, multiwavelength observations.


title: WorkArena: How Capable Are Web Agents at Solving Common Knowledge Work Tasks?

abstract: We study the use of large language model-based agents for interacting with software via web browsers. Unlike prior work, we focus on measuring the agents' ability to perform tasks that span the typical daily work of knowledge workers utilizing enterprise software systems. To this end, we propose WorkArena, a remote-hosted benchmark of 33 tasks based on the widely-used ServiceNow platform. We also introduce BrowserGym, an environment for the design and evaluation of such agents, offering a rich set of actions as well as multimodal observations. Our empirical evaluation reveals that while current agents show promise on WorkArena, there remains a considerable gap towards achieving full task automation. Notably, our analysis uncovers a significant performance disparity between open and closed-source LLMs, highlighting a critical area for future exploration and development in the field.


title: Dynamic Graph Representation with Knowledge-aware Attention for Histopathology Whole Slide Image Analysis

abstract: Histopathological whole slide images (WSIs) classification has become a foundation task in medical microscopic imaging processing. Prevailing approaches involve learning WSIs as instance-bag representations, emphasizing significant instances but struggling to capture the interactions between instances. Additionally, conventional graph representation methods utilize explicit spatial positions to construct topological structures but restrict the flexible interaction capabilities between instances at arbitrary locations, particularly when spatially distant. In response, we propose a novel dynamic graph representation algorithm that conceptualizes WSIs as a form of the knowledge graph structure. Specifically, we dynamically construct neighbors and directed edge embeddings based on the head and tail relationships between instances. Then, we devise a knowledge-aware attention mechanism that can update the head node features by learning the joint attention score of each neighbor and edge. Finally, we obtain a graph-level embedding through the global pooling process of the updated head, serving as an implicit representation for the WSI classification. Our end-to-end graph representation learning approach has outperformed the state-of-the-art WSI analysis methods on three TCGA benchmark datasets and in-house test sets. Our code is available at https://github.com/WonderLandxD/WiKG.


title: Multi-modal Auto-regressive Modeling via Visual Words

abstract: Large Language Models (LLMs), benefiting from the auto-regressive modelling approach performed on massive unannotated texts corpora, demonstrates powerful perceptual and reasoning capabilities. However, as for extending auto-regressive modelling to multi-modal scenarios to build Large Multi-modal Models (LMMs), there lies a great difficulty that the image information is processed in the LMM as continuous visual embeddings, which cannot obtain discrete supervised labels for classification. In this paper, we successfully perform multi-modal auto-regressive modeling with a unified objective for the first time. Specifically, we propose the concept of visual words, which maps the visual features to probability distributions over LLM's vocabulary, providing supervision information for visual modelling. We further explore the distribution of visual features in the semantic space within LMM and the possibility of using text embeddings to represent visual information. Experimental results and ablation studies on 5 VQA tasks and 4 benchmark toolkits validate the powerful performance of our proposed approach.


title: Visual Decoding and Reconstruction via EEG Embeddings with Guided Diffusion

abstract: How to decode human vision through neural signals has attracted a long-standing interest in neuroscience and machine learning. Modern contrastive learning and generative models improved the performance of fMRI-based visual decoding and reconstruction. However, the high cost and low temporal resolution of fMRI limit their applications in brain-computer interfaces (BCIs), prompting a high need for EEG-based visual reconstruction. In this study, we present an EEG-based visual reconstruction framework. It consists of a plug-and-play EEG encoder called the Adaptive Thinking Mapper (ATM), which is aligned with image embeddings, and a two-stage EEG guidance image generator that first transforms EEG features into image priors and then reconstructs the visual stimuli with a pre-trained image generator. Our approach allows EEG embeddings to achieve superior performance in image classification and retrieval tasks. Our two-stage image generation strategy vividly reconstructs images seen by humans. Furthermore, we analyzed the impact of signals from different time windows and brain regions on decoding and reconstruction. The versatility of our framework is demonstrated in the magnetoencephalogram (MEG) data modality. We report that EEG-based visual decoding achieves SOTA performance, highlighting the portability, low cost, and high temporal resolution of EEG, enabling a wide range of BCI applications. The code of ATM is available at https://github.com/dongyangli-del/EEG_Image_decode.


title: Higgs photon associated production in a Two Higgs Doublet Type-II Seesaw Model at future electron-positron colliders

abstract: We studied the one-loop prediction for the single production of a Higgs-like boson in association with a photon in electron-positron collisions in the context of two Higgs doublet type-II seesaw model (2HDMcT). We explored to what extent the new scalars in the (2HDMcT) spectrum affect its production cross-section, the ratio $R_{\gamma h_1}$ as well as the signal strengths $R_{\gamma Z}$ and $R_{\gamma \gamma}$ when $h_1$ is identified with the observed $SM $ Higgs boson within the $2HDMcT$ delimited parameter space. More specifically, we focused on $e^+e^- \to h_1\gamma$ process at one-loop, and analyzed how it evolves under a full set of theoretical constraints and the available experimental data, including $B\to X_s\gamma$ constraint at 95$\%$ C.L. Our analysis showed that these observables are particularly sensitive to the parameters $\alpha_1$, $\lambda_{7}$, $\lambda_{9}$, the trilinear Higgs couplings and to the charged Higgs masses. We found that $\sigma (e^+e^- \to h_1\gamma)$ can significantly be enhanced up to $8.1\,\, 10^{-2}$ fb, so exceeding the Standard Model prediction. Additionally, as a byproduct, we also found that $R_{\gamma h_1}$ is entirely correlated with both the $h_1\to\gamma\gamma$ and $h_1\to\gamma Z$ signal strengths.


title: On the Last-Iterate Convergence of Shuffling Gradient Methods

abstract: Shuffling gradient methods are widely used in modern machine learning tasks and include three popular implementations: Random Reshuffle (RR), Shuffle Once (SO), and Incremental Gradient (IG). Compared to the empirical success, the theoretical guarantee of shuffling gradient methods was not well-understood for a long time. Until recently, the convergence rates had just been established for the average iterate for convex functions and the last iterate for strongly convex problems (using squared distance as the metric). However, when using the function value gap as the convergence criterion, existing theories cannot interpret the good performance of the last iterate in different settings (e.g., constrained optimization). To bridge this gap between practice and theory, we prove the first last-iterate convergence rates for shuffling gradient methods with respect to the objective value even without strong convexity. Our new results either (nearly) match the existing last-iterate lower bounds or are as fast as the previous best upper bounds for the average iterate.


title: Balancing Fairness and Accuracy in Data-Restricted Binary Classification

abstract: Applications that deal with sensitive information may have restrictions placed on the data available to a machine learning (ML) classifier. For example, in some applications, a classifier may not have direct access to sensitive attributes, affecting its ability to produce accurate and fair decisions. This paper proposes a framework that models the trade-off between accuracy and fairness under four practical scenarios that dictate the type of data available for analysis. Prior works examine this trade-off by analyzing the outputs of a scoring function that has been trained to implicitly learn the underlying distribution of the feature vector, class label, and sensitive attribute of a dataset. In contrast, our framework directly analyzes the behavior of the optimal Bayesian classifier on this underlying distribution by constructing a discrete approximation it from the dataset itself. This approach enables us to formulate multiple convex optimization problems, which allow us to answer the question: How is the accuracy of a Bayesian classifier affected in different data restricting scenarios when constrained to be fair? Analysis is performed on a set of fairness definitions that include group and individual fairness. Experiments on three datasets demonstrate the utility of the proposed framework as a tool for quantifying the trade-offs among different fairness notions and their distributional dependencies.


title: Algebraicity in monochromatic homotopy theory

abstract: Using Patchkoria--Pstr\k{a}gowski's version of Franke's algebraicity theorem, we prove that the category of $K_p(n)$-local spectra is exotically equivalent to the category of derived $I_n$-complete periodic comodules over the Adams Hopf algebroid $(E_*, E_*E)$ for large primes. This gives a finite prime result analogous to the asymptotic algebraicity for $\mathrm{Sp}_{K_p(n)}$ of Barthel--Schlank--Stapleton.


title: SemEval-2024 Shared Task 6: SHROOM, a Shared-task on Hallucinations and Related Observable Overgeneration Mistakes

abstract: This paper presents the results of the SHROOM, a shared task focused on detecting hallucinations: outputs from natural language generation (NLG) systems that are fluent, yet inaccurate. Such cases of overgeneration put in jeopardy many NLG applications, where correctness is often mission-critical. The shared task was conducted with a newly constructed dataset of 4000 model outputs labeled by 5 annotators each, spanning 3 NLP tasks: machine translation, paraphrase generation and definition modeling. The shared task was tackled by a total of 58 different users grouped in 42 teams, out of which 27 elected to write a system description paper; collectively, they submitted over 300 prediction sets on both tracks of the shared task. We observe a number of key trends in how this approach was tackled -- many participants rely on a handful of model, and often rely either on synthetic data for fine-tuning or zero-shot prompting strategies. While a majority of the teams did outperform our proposed baseline system, the performances of top-scoring systems are still consistent with a random handling of the more challenging items.


title: Tidal dissipation of binaries in asteroid pairs

abstract: Tidal dissipation in a celestial body can be used to probe its internal structure. Tides govern the orbital evolution of binary systems and therefore constraints on the interior of binary system members can be derived by knowing the age and tidal state of the binary system. For asteroids, age estimates are challenging due to a lack of direct observation of their surface. However, the age of asteroid pairs formed by rotational fission of a parent body can be derived from dynamical modeling, and as such can be used to constrain the age of binary systems existing within asteroid pairs.We study 13 binary asteroid systems existing in asteroid pairs by modeling their tidal locking and eccentricity damping timescales from tidal dissipation in the primaries and secondaries. We consider the impact of thermal torques on these timescales from the YORP and BYORP effects. The resulting constraints on the tidal dissipation ratio Q/k2 are compared to monolithic and rubble pile asteroid theories, showing that all secondaries are consistent with rubble piles with regolith layers greater than 3m and suggest that Q/k2 for rubble piles increases with radius. A particular case is the first bound secondary of asteroid (3749) Balam, whose Q/k2 is constrained to be between 2.7x10^4 and 1.4x10^6, consistent with a rubble-pile with a regolith thickness between 30m and 100m.


title: CAP: A General Algorithm for Online Selective Conformal Prediction with FCR Control

abstract: We study the problem of post-selection predictive inference in an online fashion. To avoid devoting resources to unimportant units, a preliminary selection of the current individual before reporting its prediction interval is common and meaningful in online predictive tasks. Since the online selection causes a temporal multiplicity in the selected prediction intervals, it is important to control the real-time false coverage-statement rate (FCR) which measures the overall miscoverage level. We develop a general framework named CAP (Calibration after Adaptive Pick) that performs an adaptive pick rule on historical data to construct a calibration set if the current individual is selected and then outputs a conformal prediction interval for the unobserved label. We provide tractable procedures for constructing the calibration set for popular online selection rules. We proved that CAP can achieve an exact selection-conditional coverage guarantee in the finite-sample and distribution-free regimes. To account for the distribution shift in online data, we also embed CAP into some recent dynamic conformal prediction algorithms and show that the proposed method can deliver long-run FCR control. Numerical results on both synthetic and real data corroborate that CAP can effectively control FCR around the target level and yield more narrowed prediction intervals over existing baselines across various settings.


title: Phonon pseudoangular momentum in $\alpha$-MoO$_3$

abstract: In recent studies, it has been discovered that phonons can carry angular momentum, leading to a series of investigations into systems with 3-fold rotation symmetry. However, for systems with 2-fold screw rotational symmetry, such as $\alpha$-MoO$_3$, there has been no relevant discussion. In this paper, we investigated the pseudoangular momentum of phonons in crystals with 2-fold screw rotational symmetry. Taking $\alpha$-MoO$_3$ as an example, we explain the selection rules in circularly polarized Raman experiments resulting from pseudoangular momentum conservation, providing important guidance for experiments. This study of pseudoangular momentum in $\alpha$-MoO$_3$ opens up a new degree of freedom for its potential applications, expanding into new application domains.


title: Mechanisms of Elevated Temperature Galling in Hardfacings

abstract: The galling mechanism of Tristelle 5183, an Fe-based hardfacing alloy, was investigated at elevated temperature. The test was performed using a bespoke galling rig. Adhesive transfer and galling were found to occur, as a result of shear at the adhesion boundary and the activation of an internal shear plane within one of the tribosurfaces. During deformation, carbides were observed to have fractured, as a result of the shear train they were exposed to and their lack of ductility. In the case of niobium carbides, their fracture resulted in the formation of voids, which were found to coalesce and led to cracking and adhesive transfer. A tribologically affected zone (TAZ) was found to form, which contained nanocrystalline austenite, as a result of the shear exerted within 30{\mu}m of the adhesion boundaries. The galling of Tristelle 5183 initiated from the formation of an adhesive boundary, followed by sub-surface shear in only one tribosurface, Following further sub-surface shear, an internal shear plane is activated. internal shear and shear at the adhesion boundary continues until fracture occur, resulting in adhesive transfer.


title: Performance Analysis of Matrix Multiplication for Deep Learning on the Edge

abstract: The devices designed for the Internet-of-Things encompass a large variety of distinct processor architectures, forming a highly heterogeneous zoo. In order to tackle this, we employ a simulator to estimate the performance of the matrix-matrix multiplication (GEMM) kernel on processors designed to operate at the edge. Our simulator adheres to the modern implementations of GEMM, advocated by GotoBLAS2, BLIS, OpenBLAS, etc., to carefully account for the amount of data transfers across the memory hierarchy of different algorithmic variants of the kernel. %Armed with this tool, A small collection of experiments provide the necessary data to calibrate the simulator and deliver highly accurate estimations of the execution time for a given processor architecture.


title: DESERE: The 1st Workshop on Decentralised Search and Recommendation

abstract: The DESERE Workshop, our First Workshop on Decentralised Search and Recommendation, offers a platform for researchers to explore and share innovative ideas on decentralised web services, mainly focusing on three major topics: (i) societal impact of decentralised systems: their effect on privacy, policy, and regulation; (ii) decentralising applications: algorithmic and performance challenges that arise from decentralisation; and (iii) infrastructure to support decentralised systems and services: peer-to-peer networks, routing, and performance evaluation tools


title: DSEG-LIME: Improving Image Explanation by Hierarchical Data-Driven Segmentation

abstract: Explainable Artificial Intelligence is critical in unraveling decision-making processes in complex machine learning models. LIME (Local Interpretable Model-agnostic Explanations) is a well-known XAI framework for image analysis. It utilizes image segmentation to create features to identify relevant areas for classification. Consequently, poor segmentation can compromise the consistency of the explanation and undermine the importance of the segments, affecting the overall interpretability. Addressing these challenges, we introduce DSEG-LIME (Data-Driven Segmentation LIME), featuring: i) a data-driven segmentation for human-recognized feature generation, and ii) a hierarchical segmentation procedure through composition. We benchmark DSEG-LIME on pre-trained models with images from the ImageNet dataset - scenarios without domain-specific knowledge. The analysis includes a quantitative evaluation using established XAI metrics, complemented by a qualitative assessment through a user study. Our findings demonstrate that DSEG outperforms in most of the XAI metrics and enhances the alignment of explanations with human-recognized concepts, significantly improving interpretability. The code is available under: https://github. com/patrick-knab/DSEG-LIME


title: On disintegration of lean hydrogen flames in narrow gaps

abstract: The disintegration of near limit flames propagating through the gap of Hele-Shaw cells has recently become a subject of active research. In this paper, the flamelets resulting from the disintegration of the continuous front are interpreted in terms of the Zeldovich flame-balls stabilized by volumetric heat losses. A complicated free-boundary problem for 2D self-drifting near circular flamelets is reduced to a 1D model. The 1D formulation is then utilized to obtain the locus of the flamelet velocity, size, heat losses and Lewis numbers at which the self-drifting flamelets may exist.


title: The Minimax Rate of HSIC Estimation for Translation-Invariant Kernels

abstract: Kernel techniques are among the most influential approaches in data science and statistics. Under mild conditions, the reproducing kernel Hilbert space associated to a kernel is capable of encoding the independence of $M\ge 2$ random variables. Probably the most widespread independence measure relying on kernels is the so-called Hilbert-Schmidt independence criterion (HSIC; also referred to as distance covariance in the statistics literature). Despite various existing HSIC estimators designed since its introduction close to two decades ago, the fundamental question of the rate at which HSIC can be estimated is still open. In this work, we prove that the minimax optimal rate of HSIC estimation on $\mathbb R^d$ for Borel measures containing the Gaussians with continuous bounded translation-invariant characteristic kernels is $\mathcal O\!\left(n^{-1/2}\right)$. Specifically, our result implies the optimality in the minimax sense of many of the most-frequently used estimators (including the U-statistic, the V-statistic, and the Nystr\"om-based one) on $\mathbb R^d$.

categories: math.ST cs.IT cs.LG math.IT stat.ML stat.TH


title: Tightening big Ms in integer programming formulations for support vector machines with ramp loss

abstract: This paper considers various models of support vector machines with ramp loss, these being an efficient and robust tool in supervised classification for the detection of outliers. The exact solution approaches for the resulting optimization problem are of high demand for large datasets. Hence, the goal of this paper is to develop algorithms that provide efficient methodologies to exactly solve these optimization problems. These approaches are based on three strategies for obtaining tightened values of the big M parameters included in the formulation of the problem. Two of them require solving a sequence of continuous problems, while the third uses the Lagrangian relaxation to tighten the bounds. The proposed resolution methods are valid for the l1-norm and l2-norm ramp loss formulations. They were tested and compared with existing solution methods in simulated and real-life datasets, showing the efficiency of the developed methodology.


title: Photo-induced Ferromagnetic and Superconducting Orders in Multi-orbital Hubbard Models

abstract: The search for hidden orders in photoexcited lattice systems is an active research field driven by experimental reports of light-induced or light-stabilized phases. In this study, we investigate hidden electronic orders in strongly correlated two-orbital Hubbard models with orbital-dependent bandwidths. In equilibrium, the half-filled systems are antiferromagnetically ordered. Using non-equilibrium dynamical mean field theory we demonstrate the appearance of nonthermal ferromagnetic order in the photo-doped state, if the two bandwidths are sufficiently different, and its coexistence with spin-singlet $\eta$-superconductivity in the high photo-doping region. Spin-triplet $\eta$-superconducting order appears instead if the two bandwidths are comparable. The rich nonequilibrium phasediagram uncovered in this work shows that Mott insulating multi-orbital systems provide an interesting platform for the realization of nonthermal electronic orders.


title: Three statistical descriptions of classical systems and their extensions to hybrid quantum-classical systems

abstract: We present three statistical descriptions for systems of classical particles and consider their extension to hybrid quantum-classical systems. The classical descriptions are ensembles on configuration space, ensembles on phase space, and a Hilbert space approach using van Hove operators which provides an alternative to the Koopman-von Neumann formulation. In all cases, there is a natural way to define classical observables and a corresponding Lie algebra that is isomorphic to the usual Poisson algebra in phase space. We show that in the case of classical particles, the three descriptions are equivalent and indicate how they are related. We then modify and extend these descriptions to introduce hybrid models where a classical particle interacts with a quantum particle. The approach of ensembles on phase space and the Hilbert space approach, which are novel, lead to equivalent hybrid models, while they are not equivalent to the hybrid model of the approach of ensembles on configuration space. Thus, we end up identifying two inequivalent types of hybrid systems, making different predictions, especially when it comes to entanglement. These results are of interest regarding ``no-go'' theorems about quantum systems interacting via a classical mediator which address the issue of whether gravity must be quantized. Such theorems typically require assumptions that make them model dependent. The hybrid systems that we discuss provide concrete examples of inequivalent models that can be used to compute simple examples to test the assumptions of the ``no-go'' theorems and their applicability.


title: Topological Data Analysis of Monopoles in $U(1)$ Lattice Gauge Theory

abstract: In $4$-dimensional pure compact $U(1)$ lattice gauge theory, we analyse topological aspects of the dynamics of monopoles across the deconfinement phase transition. We do this using tools from Topological Data Analysis (TDA). We demonstrate that observables constructed from the zeroth and first homology groups of monopole current networks may be used to quantitatively and robustly locate the critical inverse coupling $\beta_{c}$ through finite-size scaling. Our method provides a mathematically robust framework for the characterisation of topological invariants related to monopole currents, putting on firmer ground earlier investigations. Moreover, our approach can be generalised to the study of Abelian monopoles in non-Abelian gauge theories.

categories: hep-lat cond-mat.stat-mech hep-th math.AT


title: Gapless neutron superfluidity can explain the late time cooling of transiently accreting neutron stars

abstract: The current interpretation of the observed late time cooling of transiently accreting neutron stars in low-mass X-ray binaries during quiescence requires the suppression of neutron superfluidity in their crust at variance with recent ab initio many-body calculations of dense matter. Focusing on the two emblematic sources KS~1731$-$260 and MXB~1659$-$29, we show that their thermal evolution can be naturally explained by considering the existence of a neutron superflow driven by the pinning of quantized vortices. Under such circumstances, we find that the neutron superfluid can be in a gapless state in which the specific heat is dramatically increased compared to that in the classical BCS state assumed so far, thus delaying the thermal relaxation of the crust. We have performed neutron-star cooling simulations taking into account gapless superfluidity and we have obtained excellent fits to the data thus reconciling astrophysical observations with microscopic theories. The imprint of gapless superfluidity on other observable phenomena is briefly discussed.


title: Uncertainty Quantification with Deep Ensembles for 6D Object Pose Estimation

abstract: The estimation of 6D object poses is a fundamental task in many computer vision applications. Particularly, in high risk scenarios such as human-robot interaction, industrial inspection, and automation, reliable pose estimates are crucial. In the last years, increasingly accurate and robust deep-learning-based approaches for 6D object pose estimation have been proposed. Many top-performing methods are not end-to-end trainable but consist of multiple stages. In the context of deep uncertainty quantification, deep ensembles are considered as state of the art since they have been proven to produce well-calibrated and robust uncertainty estimates. However, deep ensembles can only be applied to methods that can be trained end-to-end. In this work, we propose a method to quantify the uncertainty of multi-stage 6D object pose estimation approaches with deep ensembles. For the implementation, we choose SurfEmb as representative, since it is one of the top-performing 6D object pose estimation approaches in the BOP Challenge 2022. We apply established metrics and concepts for deep uncertainty quantification to evaluate the results. Furthermore, we propose a novel uncertainty calibration score for regression tasks to quantify the quality of the estimated uncertainty.


title: Satellite quenching and morphological transformation of galaxies in groups and clusters

abstract: We investigate the role that dense environments have on the quenching of star formation and the transformation of morphology for a sample of galaxies selected from the Sloan Digital Sky Survey. We make a distinction between galaxies falling into groups $(13 \leq \log{(M_{\text{halo}}/M_{\odot})} < 14)$ and clusters $(\log{(M_{\text{halo}}/M_{\odot})} \geq 14)$, and compare to a large sample of field galaxies. Using galaxy position in projected phase space as a proxy for time since infall, we study how galaxy specific star formation rate (sSFR) and morphology, parameterized by the bulge-to-total light ratio (B/T), change over time. After controlling for stellar mass, we find clear trends of increasing quenched and elliptical fractions as functions of infall time for galaxies falling into both groups and clusters. The trends are strongest for low mass galaxies falling into clusters. By computing quenching and morphological transformation timescales, we find evidence that star formation quenching occurs faster than morphological transformation in both environments. Comparing field galaxies to recently infalling galaxies, we determine there is pre-processing of both star formation and morphology, with pre-processing affecting star formation rates more strongly. Our analysis favours quenching mechanisms that act quickly to suppress star formation, while other mechanisms that act on longer timescales transform morphology through bulge growth and disc fading.


title: Equipping Computational Pathology Systems with Artifact Processing Pipelines: A Showcase for Computation and Performance Trade-offs

abstract: Histopathology is a gold standard for cancer diagnosis under a microscopic examination. However, histological tissue processing procedures result in artifacts, which are ultimately transferred to the digitized version of glass slides, known as whole slide images (WSIs). Artifacts are diagnostically irrelevant areas and may result in wrong deep learning (DL) algorithms predictions. Therefore, detecting and excluding artifacts in the computational pathology (CPATH) system is essential for reliable automated diagnosis. In this paper, we propose a mixture of experts (MoE) scheme for detecting five notable artifacts, including damaged tissue, blur, folded tissue, air bubbles, and histologically irrelevant blood from WSIs. First, we train independent binary DL models as experts to capture particular artifact morphology. Then, we ensemble their predictions using a fusion mechanism. We apply probabilistic thresholding over the final probability distribution to improve the sensitivity of the MoE. We developed DL pipelines using two MoEs and two multiclass models of state-of-the-art deep convolutional neural networks (DCNNs) and vision transformers (ViTs). DCNNs-based MoE and ViTs-based MoE schemes outperformed simpler multiclass models and were tested on datasets from different hospitals and cancer types, where MoE using DCNNs yielded the best results. The proposed MoE yields 86.15% F1 and 97.93% sensitivity scores on unseen data, retaining less computational cost for inference than MoE using ViTs. This best performance of MoEs comes with relatively higher computational trade-offs than multiclass models. The proposed artifact detection pipeline will not only ensure reliable CPATH predictions but may also provide quality control.


title: Harnessing two-photon dissipation for enhanced quantum measurement and control

abstract: Dissipation engineering offers a powerful tool for quantum technologies. Recently, new superconducting devices demonstrated an engineered two-photon dissipation rate exceeding all other relevant timescales. In particular, they have proven most useful to prevent transitions between the logical states $|\pm\alpha\rangle$ of a cat qubit. Here, we present three key applications of strong two-photon dissipation for quantum measurement and control, beyond cat qubit stabilization. Firstly, we demonstrate its efficacy in overcoming limitations encountered in Wigner tomography at high photon numbers. Secondly, we showcase its potential for realizing universal gates on cat qubits, exploiting the coherent mapping between cat qubit states and superpositions of 0 and 1 photons. Finally, we harness the transient dynamics of a cat state under two-photon dissipation to prepare squeezed cat states with a squeezing factor exceeding 3.8 dB.


abstract: Let $X$ and $Z$ be random vectors, and $Y=g(X,Z)$. In this paper, on the one hand, for the case that $X$ and $Z$ are continuous, by using the ideas from the total variation and the flux of $g$, we develop a point of view in causal inference capable of dealing with a broad domain of causal problems. Indeed, we focus on a function, called Probabilistic Easy Variational Causal Effect (PEACE), which can measure the direct causal effect of $X$ on $Y$ with respect to continuously and interventionally changing the values of $X$ while keeping the value of $Z$ constant. PEACE is a function of $d\ge 0$, which is a degree managing the strengths of probability density values $f(x|z)$. On the other hand, we generalize the above idea for the discrete case and show its compatibility with the continuous case. Further, we investigate some properties of PEACE using measure theoretical concepts. Furthermore, we provide some identifiability criteria and several examples showing the generic capability of PEACE. We note that PEACE can deal with the causal problems for which micro-level or just macro-level changes in the value of the input variables are important. Finally, PEACE is stable under small changes in $\partial g_{in}/\partial x$ and the joint distribution of $X$ and $Z$, where $g_{in}$ is obtained from $g$ by removing all functional relationships defining $X$ and $Z$.


title: Unleashing HyDRa: Hybrid Fusion, Depth Consistency and Radar for Unified 3D Perception

abstract: Low-cost, vision-centric 3D perception systems for autonomous driving have made significant progress in recent years, narrowing the gap to expensive LiDAR-based methods. The primary challenge in becoming a fully reliable alternative lies in robust depth prediction capabilities, as camera-based systems struggle with long detection ranges and adverse lighting and weather conditions. In this work, we introduce HyDRa, a novel camera-radar fusion architecture for diverse 3D perception tasks. Building upon the principles of dense BEV (Bird's Eye View)-based architectures, HyDRa introduces a hybrid fusion approach to combine the strengths of complementary camera and radar features in two distinct representation spaces. Our Height Association Transformer module leverages radar features already in the perspective view to produce more robust and accurate depth predictions. In the BEV, we refine the initial sparse representation by a Radar-weighted Depth Consistency. HyDRa achieves a new state-of-the-art for camera-radar fusion of 64.2 NDS (+1.8) and 58.4 AMOTA (+1.5) on the public nuScenes dataset. Moreover, our new semantically rich and spatially accurate BEV features can be directly converted into a powerful occupancy representation, beating all previous camera-based methods on the Occ3D benchmark by an impressive 3.7 mIoU. Code and models are available at https://github.com/phi-wol/hydra.


title: FineMath: A Fine-Grained Mathematical Evaluation Benchmark for Chinese Large Language Models

abstract: To thoroughly assess the mathematical reasoning abilities of Large Language Models (LLMs), we need to carefully curate evaluation datasets covering diverse mathematical concepts and mathematical problems at different difficulty levels. In pursuit of this objective, we propose FineMath in this paper, a fine-grained mathematical evaluation benchmark dataset for assessing Chinese LLMs. FineMath is created to cover the major key mathematical concepts taught in elementary school math, which are further divided into 17 categories of math word problems, enabling in-depth analysis of mathematical reasoning abilities of LLMs. All the 17 categories of math word problems are manually annotated with their difficulty levels according to the number of reasoning steps required to solve these problems. We conduct extensive experiments on a wide range of LLMs on FineMath and find that there is still considerable room for improvements in terms of mathematical reasoning capability of Chinese LLMs. We also carry out an in-depth analysis on the evaluation process and methods that have been overlooked previously. These two factors significantly influence the model results and our understanding of their mathematical reasoning capabilities. The dataset will be publicly available soon.


title: Ariadne and Theseus: Exploration and Rendezvous with Two Mobile Agents in an Unknown Graph

abstract: We investigate two fundamental problems in mobile computing: exploration and rendezvous, with two distinct mobile agents in an unknown graph. The agents can read and write information on whiteboards that are located at all nodes. They both move along one adjacent edge at every time-step. In the exploration problem, both agents start from the same node of the graph and must traverse all of its edges. We show that a simple variant of depth-first search achieves collective exploration in $m$ synchronous time-steps, where $m$ is the number of edges of the graph. This improves the competitive ratio of collective graph exploration. In the rendezvous problem, the agents start from different nodes of the graph and must meet as fast as possible. We introduce an algorithm guaranteeing rendezvous in at most $\frac{3}{2}m$ time-steps. This improves over the so-called `wait for Mommy' algorithm which requires $2m$ time-steps. All our guarantees are derived from a more general asynchronous setting in which the speeds of the agents are controlled by an adversary at all times. Our guarantees also generalize to weighted graphs, if the number of edges $m$ is replaced by the sum of all edge lengths.


title: Distributed Estimation by Two Agents with Different Feature Spaces

abstract: We consider the problem of estimation of a function by a system consisting of two agents and a fusion center. The two agents collect data comprising of samples of an independent variable and the corresponding value of a dependent variable. The objective of the system is to collaboratively estimate the function without any exchange of data among the members of the system. To this end, we propose the following framework. The agents are given a set of features using which they construct suitable function spaces to formulate and solve the estimation problems locally. The estimated functions are uploaded to a fusion space where an optimization problem is solved to fuse the estimates (also known as meta-learning) to obtain the system estimate of the mapping. The fused function is then downloaded by the agents to gather knowledge about the other agents estimate of the function. With respect to the framework, we present the following: a systematic construction of fusion space given the features of the agents; the derivation of an uploading operator for the agents to upload their estimated functions to a fusion space; the derivation of a downloading operator for the fused function to be downloaded. Through an example on least squares regression, we illustrate the distributed estimation architecture that has been developed.


title: Synth$^2$: Boosting Visual-Language Models with Synthetic Captions and Image Embeddings

abstract: The creation of high-quality human-labeled image-caption datasets presents a significant bottleneck in the development of Visual-Language Models (VLMs). In this work, we investigate an approach that leverages the strengths of Large Language Models (LLMs) and image generation models to create synthetic image-text pairs for efficient and effective VLM training. Our method employs a pretrained text-to-image model to synthesize image embeddings from captions generated by an LLM. Despite the text-to-image model and VLM initially being trained on the same data, our approach leverages the image generator's ability to create novel compositions, resulting in synthetic image embeddings that expand beyond the limitations of the original dataset. Extensive experiments demonstrate that our VLM, finetuned on synthetic data achieves comparable performance to models trained solely on human-annotated data, while requiring significantly less data. Furthermore, we perform a set of analyses on captions which reveals that semantic diversity and balance are key aspects for better downstream performance. Finally, we show that synthesizing images in the image embedding space is 25\% faster than in the pixel space. We believe our work not only addresses a significant challenge in VLM training but also opens up promising avenues for the development of self-improving multi-modal models.


title: Quotients of M-convex sets and M-convex functions

abstract: We unify the study of quotients of matroids, polymatroids, valuated matroids and strong maps of submodular functions in the framework of Murota's discrete convex analysis. As a main result, we compile a list of ten equivalent characterizations of quotients for M-convex sets, generalizing existing formulations for (poly)matroids and submodular functions. We also initiate the study of quotients of M-convex functions, constructing a hierarchy of four separate characterizations. Our investigations yield new insights into the fundamental operation of induction, as well as the structure of linking sets and linking functions, which are generalizations of linking systems and bimatroids.


title: Vision-based Vehicle Re-identification in Bridge Scenario using Flock Similarity

abstract: Due to the needs of road traffic flow monitoring and public safety management, video surveillance cameras are widely distributed in urban roads. However, the information captured directly by each camera is siloed, making it difficult to use it effectively. Vehicle re-identification refers to finding a vehicle that appears under one camera in another camera, which can correlate the information captured by multiple cameras. While license plate recognition plays an important role in some applications, there are some scenarios where re-identification method based on vehicle appearance are more suitable. The main challenge is that the data of vehicle appearance has the characteristics of high inter-class similarity and large intra-class differences. Therefore, it is difficult to accurately distinguish between different vehicles by relying only on vehicle appearance information. At this time, it is often necessary to introduce some extra information, such as spatio-temporal information. Nevertheless, the relative position of the vehicles rarely changes when passing through two adjacent cameras in the bridge scenario. In this paper, we present a vehicle re-identification method based on flock similarity, which improves the accuracy of vehicle re-identification by utilizing vehicle information adjacent to the target vehicle. When the relative position of the vehicles remains unchanged and flock size is appropriate, we obtain an average relative improvement of 204% on VeRi dataset in our experiments. Then, the effect of the magnitude of the relative position change of the vehicles as they pass through two cameras is discussed. We present two metrics that can be used to quantify the difference and establish a connection between them. Although this assumption is based on the bridge scenario, it is often true in other scenarios due to driving safety and camera location.


title: A robust SVM-based approach with feature selection and outliers detection for classification problems

abstract: This paper proposes a robust classification model, based on support vector machine (SVM), which simultaneously deals with outliers detection and feature selection. The classifier is built considering the ramp loss margin error and it includes a budget constraint to limit the number of selected features. The search of this classifier is modeled using a mixed-integer formulation with big M parameters. Two different approaches (exact and heuristic) are proposed to solve the model. The heuristic approach is validated by comparing the quality of the solutions provided by this approach with the exact approach. In addition, the classifiers obtained with the heuristic method are tested and compared with existing SVM-based models to demonstrate their efficiency.


title: An Optimal Sequence Reconstruction Algorithm for Reed-Solomon Codes

abstract: The sequence reconstruction problem, introduced by Levenshtein in 2001, considers a scenario where the sender transmits a codeword from some codebook, and the receiver obtains $N$ noisy outputs of the codeword. We study the problem of efficient reconstruction using $N$ outputs that are each corrupted by at most $t$ substitutions. Specifically, for the ubiquitous Reed-Solomon codes, we adapt the Koetter-Vardy soft-decoding algorithm, presenting a reconstruction algorithm capable of correcting beyond Johnson radius. Furthermore, the algorithm uses $\mathcal{O}(nN)$ field operations, where $n$ is the codeword length.


title: Pediatric vaccine tender scheduling in low- and middle-income countries

abstract: Effective and efficient scheduling of vaccine distribution can significantly impact vaccine uptake, which is critical to controlling the spread of infectious diseases. Ineffective scheduling can lead to waste, delays, and low vaccine coverage, potentially weakening the efforts to protect the public. Organizations such as UNICEF (United Nations Children's Fund), PAHO (Pan American Health Organization), and GAVI (Gavi, the Vaccine Alliance) coordinate vaccine tenders to ensure that enough supply is available on the international market at the lowest possible prices. Scheduling vaccine tenders over a planning horizon in a way that is equitable, efficient, and accessible is a complex problem that involves trade-offs between multiple objectives while ensuring that vaccine availability, demand, and logistical constraints are met. The current method for scheduling tenders is generally reactive and over short planning horizons. Vaccine tenders are scheduled when supply is insufficient to cover demand. We propose an optimization model to dynamically and proactively generate vaccine tender schedules over long planning horizons. This model helps us address the following research questions: What should the optimal sequencing and scheduling of vaccine tenders be to enhance affordability and profit over long time horizons? What is the optimal tender procurement schedule for single or multiple antigen scenarios? We use several real-life data sources to validate the model and address our research questions. Results from our analysis show when to schedule vaccine tenders, what volumes manufacturers should commit to, and the optimal tender lengths to satisfy demand. We show that vaccine tenders tend towards maximum lengths, generally converge over long time horizons, and are robust to changes in varying conditions.


title: Complete Minimal Left-Right Symmetric Model File

abstract: We develop a comprehensive implementation of the minimal Left-Right symmetric model within a FeynRules model file. We derive the complete set of mass spectra and mixings for the charged and neutral gauge bosons, would-be-Goldstones and gauge fixing, together with the ghost Lagrangian. In the scalar sector, we analytically re-derive all the massive states with mixings and devise a physical input scheme, which expresses the model couplings in terms of masses and mixing angles of all states. Fermion couplings are determined in closed form, including the Dirac mixing in the neutrino sector, evaluated explicitly with the Cayley-Hamilton method. We calculate the one loop next-to-leading QCD corrections and provide a complete UFO file for NLO studies, demonstrated on relevant benchmarks. We provide various restricted variants of the model file with different gauges, massless states, neutrino hierarchies and parity violating $g_L \neq g_R$ gauge couplings.


title: FAUST XI: Enhancement of the complex organic material in the shocked matter surrounding the [BHB2007] 11 protobinary system

abstract: iCOMs are species commonly found in the interstellar medium. They are believed to be crucial seed species for the build-up of chemical complexity in star forming regions as well as our own Solar System. Thus, understanding how their abundances evolve during the star formation process and whether it enriches the emerging planetary system is of paramount importance. We use data from the ALMA Large Program FAUST to study the compact line emission towards the [BHB2007] 11 proto-binary system (sources A and B), where a complex structure of filaments connecting the two sources with a larger circumbinary disk has previously been detected. More than 45 CH3OCHO lines are clearly detected, as well as 8 CH3OCH3 transitions , 1 H2CCO transition and 4 t-HCOOH transitions. We compute the abundance ratios with respect to CH3OH for CH3OCHO, CH3OCH3, H2CCO, t-HCOOH (as well as an upper limit for CH3CHO) through a radiative transfer analysis. We also report the upper limits on the column densities of nitrogen bearing iCOMs, N(C2H5CN) and N(C2H3CN). The emission from the detected iCOMs and their precursors is compact and encompasses both protostars, which are separated by only 0.2" (~ 28 au). The integrated intensities tend to align with the Southern filament, revealed by the high spatial resolution observations of the dust emission at 1.3 mm. A PV and 2D analysis are performed on the strongest and uncontaminated CH3OCH3 transition and show three different spatial and velocity regions, two of them being close to 11B (Southern filament) and the third one near 11A. All our observations suggest that the detected methanol, as well as the other iCOMs, are generated by the shocked gas from the incoming filaments streaming towards [BHB2007] 11A and 11B, respectively, making this source one of the few where chemical enrichment of the gas caused by the streaming material is observed.


title: HermEIS: A Parallel Multichannel Approach to Rapid Spectral Characterization of Neural MEAs

abstract: The promise of increasing channel counts in high density ($> 10^4$) neural Microelectrode Arrays (MEAs) for high resolution recording comes with the curse of developing faster characterization strategies for concurrent acquisition of multichannel electrode integrities over a wide frequency spectrum. To circumvent the latency associated with the current multiplexed technique for impedance acquisition, it is common practice to resort to the single frequency impedance measurement (i.e. $Z_{1 \text{kHz}}$). This, however, does not offer sufficient spectral impedance information crucial for determining the capacity of electrodes at withstanding slow and fast-changing stimulus and recordings. In this work, we present \textit{HermEIS}, a novel approach that leverages single cycle in-phase and quadrature signal integrations for reducing the massive data throughput characteristic of such high density acquisition systems. As an initial proof-of-concept, we demonstrate over $6$ decades of impedance bandwidth ($5\times10^{-2} - 5\times10^{4}\text{ Hz}$) in a parallel $4$-channel potentiostatic setup composed of a custom PCB with off-the-shelf electronics working in tandem with an FPGA.


title: Models of Accidental Dark Matter with a Fundamental Scalar

abstract: We consider models of accidental dark matter, namely models in which the dark matter is a composite state that is stable thanks to an accidental symmetry of the theory. The fundamental constituents are vectorlike fermions, taken to be fragments of representations of the grand unifying gauge group $SU(5)$, as well as a scalar singlet. All the new fields are charged under a new confining gauge group, which we take to be $SU(N)$, leading to models with complex dark matter. We analyse the models in the context of $SU(5)$ grand unification with a non-standard approach recently proposed in the literature. The advantage of including the scalar mainly resides in the fact that it allows to break several undesired accidental symmetries leading to a larger set of viable models with respect to previous literature, in which only fermions (or only scalars) were considered. Moreover these models present distinct novelties, namely dark states with non-zero baryon and lepton number and the existence of composite hybrid states of fermions and scalars. We identify phenomena that are specific to the inclusion of the scalar and discuss possibilities to test this setup.


title: Simplified Tight Bounds for Monotone Minimal Perfect Hashing

abstract: Given an increasing sequence of integers $x_1,\ldots,x_n$ from a universe $\{0,\ldots,u-1\}$, the monotone minimal perfect hash function (MMPHF) for this sequence is a data structure that answers the following rank queries: $rank(x) = i$ if $x = x_i$, for $i\in \{1,\ldots,n\}$, and $rank(x)$ is arbitrary otherwise. Assadi, Farach-Colton, and Kuszmaul recently presented at SODA'23 a proof of the lower bound $\Omega(n \min\{\log\log\log u, \log n\})$ for the bits of space required by MMPHF, provided $u \ge n 2^{2^{\sqrt{\log\log n}}}$, which is tight since there is a data structure for MMPHF that attains this space bound (and answers the queries in $O(\log u)$ time). In this paper, we close the remaining gap by proving that, for $u \ge (1+\epsilon)n$, where $\epsilon > 0$ is any constant, the tight lower bound is $\Omega(n \min\{\log\log\log \frac{u}{n}, \log n\})$, which is also attainable; we observe that, for all reasonable cases when $n < u < (1+\epsilon)n$, known facts imply tight bounds, which virtually settles the problem. Along the way we substantially simplify the proof of Assadi et al. replacing a part of their heavy combinatorial machinery by trivial observations. However, an important part of the proof still remains complicated. This part of our paper repeats arguments of Assadi et al. and is not novel. Nevertheless, we include it, for completeness, offering a somewhat different perspective on these arguments.


title: Elliptical Halbach magnet and gradient modules for low-field portable MRI

abstract: Objective. To develop methods to design the complete magnetic system for a truly portable MRI scanner for neurological and musculoskeletal (MSK) applications, optimized for field homogeneity, field of view (FoV) and gradient performance compared to existing low-weight configurations. Approach. We explore optimal elliptic-bore Halbach configurations based on discrete arrays of permanent magnets. In this way, we seek to improve the field homogeneity and remove constraints to the extent of the gradient coils typical of Halbach magnets. Specifically, we have optimized a tightly-packed distribution of magnetic Nd$_2$Fe$_14$B cubes with differential evolution algorithms, and a second array of shimming magnets with interior point and differential evolution methods. We have also designed and constructed an elliptical set of gradient coils that extend over the whole magnet length, maximizing the distance between the lobe centers. These are optimized with a target field method minimizing a cost function that considers also heat dissipation. Main result. We have employed the new toolbox to build the main magnet and gradient modules for a portable MRI scanner designed for point-of-care and residential use. The elliptical Halbach bore has semi-axes of 10 & 14 cm and the magnet generates a field of 87 mT homogeneous down to 5,700 ppm (parts per million) in a 20 cm diameter FoV, it weighs 216 kg and has a width of 65 cm and a height of 72 cm. Gradient efficiencies go up to around 0.8 mT/m/A, for a maximum of 12 mT/m with in 0.5 ms with 15 A & 15 V amplifier. The distance between lobes is 28 cm, significantly increased with respect to other Halbach-based scanners. Heat dissipation is around 25 W at maximum power, and gradient deviations from linearity are below 20% in a 20 cm sphere.


title: Supporting Annotators with Affordances for Efficiently Labeling Conversational Data

abstract: Without well-labeled ground truth data, machine learning-based systems would not be as ubiquitous as they are today, but these systems rely on substantial amounts of correctly labeled data. Unfortunately, crowdsourced labeling is time consuming and expensive. To address the concerns of effort and tedium, we designed CAL, a novel interface to aid in data labeling. We made several key design decisions for CAL, which include preventing inapt labels from being selected, guiding users in selecting an appropriate label when they need assistance, incorporating labeling documentation into the interface, and providing an efficient means to view previous labels. We implemented a production-quality implementation of CAL and report a user-study evaluation that compares CAL to a standard spreadsheet. Key findings of our study include users using CAL reported lower cognitive load, did not increase task time, users rated CAL to be easier to use, and users preferred CAL over the spreadsheet.