title: A Simple and General Operational Framework to Deploy Optimal Routes with Source Routing

abstract: Source Routing, currently facilitated by Segment Routing (SR), enables precise control of forwarding paths by specifying detours (or segments) to deviate IP packets along routes with advanced properties beyond typical shortest IGP paths. Computing the desired optimal segment lists, known as encoding, leads to interesting challenges as the number of detours is tightly constrained for hardware performance. Existing solutions either lack generality, correctness, optimality, or practical computing efficiency-in particular for sparse realistic networks. In this paper, we address all such challenges with GOFOR-SR. Our framework extends usual path computation algorithms to inherently look at optimal and feasible segment lists, streamlining the deployment of TE-compliant paths. By integrating encoding within the path computation itself and modifying the distance comparison method, GOFOR allows algorithms with various optimization objectives to efficiently compute optimal segment lists. Despite the loss of substructure optimality induced by SR, GOFOR proves particularly efficient, inducing only a linear overhead at worst. It also offers different strategies and path diversity options for intricate TE-aware loadbalancing. We formally prove the correctness and optimality of GOFOR, implement our framework for various practical usecases, and demonstrate its performance and benefits on both real and challenging topologies.


title: PillarNeSt: Embracing Backbone Scaling and Pretraining for Pillar-based 3D Object Detection

abstract: This paper shows the effectiveness of 2D backbone scaling and pretraining for pillar-based 3D object detectors. Pillar-based methods mainly employ randomly initialized 2D convolution neural network (ConvNet) for feature extraction and fail to enjoy the benefits from the backbone scaling and pretraining in the image domain. To show the scaling-up capacity in point clouds, we introduce the dense ConvNet pretrained on large-scale image datasets (e.g., ImageNet) as the 2D backbone of pillar-based detectors. The ConvNets are adaptively designed based on the model size according to the specific features of point clouds, such as sparsity and irregularity. Equipped with the pretrained ConvNets, our proposed pillar-based detector, termed PillarNeSt, outperforms the existing 3D object detectors by a large margin on the nuScenes and Argoversev2 datasets. Our code shall be released upon acceptance.


title: Supervising the Centroid Baseline for Extractive Multi-Document Summarization

abstract: The centroid method is a simple approach for extractive multi-document summarization and many improvements to its pipeline have been proposed. We further refine it by adding a beam search process to the sentence selection and also a centroid estimation attention model that leads to improved results. We demonstrate this in several multi-document summarization datasets, including in a multilingual scenario.


title: When Mei-Gu Guan's 1960 Postmen Get Empowered with Bell's 1964 Nonlocal Correlations, or, Nonlocal Advantage in Vehicle Routing Problem

abstract: Vehicle routing problems, a comprehensive problem category originated from the seminal Chinese Postman Problem (first investigated by Chinese mathematician Mei-Gu Guan), entail strategic and tactical decision making for efficient scheduling and routing of vehicles. While Chinese postman problem is aimed at finding the minimum length cycle for a single postman, the broader challenges encompass scenarios with multiple postmen. Making cost-effective decisions in such cases depends on various factors, including vehicle sizes and types, vehicle usage time, road tax variations across routes, and more. In this work, we delve into a class of such problems wherein Bell nonlocal correlations provide advantages in optimizing the costs for non-communicating postmen, and thus establish a nascent utilization of quantum entanglement in traffic routing problem. Our investigation unveils promising applications for nonlocal correlations within combinatorial optimization and operational research problems, which otherwise have predominantly been explored within the quantum foundation and quantum information theory community.


title: Energetics, electronic structure and electric polarization of basal stacking faults in wurtzite GaN and ZnO

abstract: We investigate the effect of basal-plane stacking faults on the structural, electronic, and polarization properties of wurtzite GaN and ZnO. This theoretical study is performed within density-functional theory (DFT) using periodic hexagonal supercells. Both formation energies and band structures are obtained by means of total-energy calculations. The type-I stacking fault is observed to have the lowest formation energy, followed by type-II and finally the extrinsic stacking fault. In order to overcome the inherent shortcoming of DFT in reproducing band gaps, the generalized-gradient approximation is used in combination with the modified Becke-Johnson functional. It is shown that all stacking faults studied maintain a direct gap whose value is lower than that in the ideal defect-free crystals. The lowering in the band gap allows the creation of quantum-well regions at wurtzite/zincblende interfaces. In addition, we provide a consistent set of polarization parameters derived from the Berry-phase method. We find a trend of decreasing (increasing) spontaneous polarization and piezoelectric coefficient (polarization charge) in going from type-I to type-II to extrinsic stacking faults. We compare our results to experimental and theoretical data available from the literature and explain the observed trends in terms of the properties of the wurtzite and zincblende polytypes of both materials.


title: Enumeration of Minimum Weight Codewords of Pre-Transformed Polar Codes by Tree Intersection

abstract: Pre-transformed polar codes (PTPCs) form a class of codes that perform close to the finite-length capacity bounds. The minimum distance and the number of minimum weight codewords are two decisive properties for their performance. In this work, we propose an efficient algorithm for determining the number of minimum weight codewords of general PTPCs that eliminates all redundant visits to nodes of the search tree, thus reducing the computational complexity typically by several orders of magnitude compared to state-of-the-art algorithms. This reduction in complexity allows, for the first time, the minimum distance properties to be directly considered in the code design of PTPCs. The algorithm is demonstrated for randomly pre-transformed Reed-Muller (RM) codes and polarization-adjusted convolutional (PAC) codes. Furthermore, we design optimal polynomials for PAC codes with this algorithm, minimizing the number of minimum weight codewords.


title: A resonant sextuplet of sub-Neptunes transiting the bright star HD 110067

abstract: Planets with radii between that of the Earth and Neptune (hereafter referred to as sub-Neptunes) are found in close-in orbits around more than half of all Sun-like stars. Yet, their composition, formation, and evolution remain poorly understood. The study of multi-planetary systems offers an opportunity to investigate the outcomes of planet formation and evolution while controlling for initial conditions and environment. Those in resonance (with their orbital periods related by a ratio of small integers) are particularly valuable because they imply a system architecture practically unchanged since its birth. Here, we present the observations of six transiting planets around the bright nearby star HD 110067. We find that the planets follow a chain of resonant orbits. A dynamical study of the innermost planet triplet allowed the prediction and later confirmation of the orbits of the rest of the planets in the system. The six planets are found to be sub-Neptunes with radii ranging from 1.94 to 2.85 Re. Three of the planets have measured masses, yielding low bulk densities that suggest the presence of large hydrogen-dominated atmospheres.


title: One-Shot Open Affordance Learning with Foundation Models

abstract: We introduce One-shot Open Affordance Learning (OOAL), where a model is trained with just one example per base object category, but is expected to identify novel objects and affordances. While vision-language models excel at recognizing novel objects and scenes, they often struggle to understand finer levels of granularity such as affordances. To handle this issue, we conduct a comprehensive analysis of existing foundation models, to explore their inherent understanding of affordances and assess the potential for data-limited affordance learning. We then propose a vision-language framework with simple and effective designs that boost the alignment between visual features and affordance text embeddings. Experiments on two affordance segmentation benchmarks show that the proposed method outperforms state-of-the-art models with less than 1% of the full training data, and exhibits reasonable generalization capability on unseen objects and affordances.


title: Understanding the leakage process for multi-scale water infrastructure asset management: necessity for a dialogue between sociological and data sciences

abstract: Reducing water losses is one of the most pressing issues for modern water utilities. To that end, improving the efficiency of the pipe leakage and repair process and aiding the selection of the pipes that are to be renewed or rehabilitated are essential. To help addressing these tasks, in this work, we develop a model predicting the probability of a pipe to be leaking. This work is set the context of a multidisciplinary project with Soci{\'e}t{\'e} Wallone des Eaux and it is aligned with their goal to improve their Infrastructure Asset Management in the short and the long terms. Developing and feeding this leakage probability model relies on an intense data processing phase, mobilizing data and water engineering sciences, since the raw data from SWDE is not ready to be used in the model. Complementarily, we thus employ techniques from sociology (e.g., interviews, analyses of the human/non-human actors and of the tools, sociotechnical translations) in order to complete the data, to improve our understanding of its production, and to increase its value and its availability for the prediction of the pipe leakage probability. This model will be implemented in SWDE's information system and used for strategies to reduce water losses.


title: Unified Binary and Multiclass Margin-Based Classification

abstract: The notion of margin loss has been central to the development and analysis of algorithms for binary classification. To date, however, there remains no consensus as to the analogue of the margin loss for multiclass classification. In this work, we show that a broad range of multiclass loss functions, including many popular ones, can be expressed in the relative margin form, a generalization of the margin form of binary losses. The relative margin form is broadly useful for understanding and analyzing multiclass losses as shown by our prior work (Wang and Scott, 2020, 2021). To further demonstrate the utility of this way of expressing multiclass losses, we use it to extend the seminal result of Bartlett et al. (2006) on classification-calibration of binary margin losses to multiclass. We then analyze the class of Fenchel-Young losses, and expand the set of these losses that are known to be classification-calibrated.


title: Closing the loop as an inverse problem: the real-time control of THEMIS adaptive optics

abstract: We have taken advantage of the implementation of an adaptive optics system on the Themis solar telescope to implement innovative strategies based on an inverse problem formulation for the control loop. Such an approach encompassing the whole system implies the estimation of the pixel variances of the Shack-Hartmann wavefront sensor, a novel real-time method to extract the wavefront slopes as well as their associated noise covariance, and the computation of pseudo-open loop data. The optimal commands are computed by iteratively solving a regularized inverse problem with spatio-temporal constraints including Kolmogorov statistics. The latency of the dedicated real-time control software with conventional CPU is shorter than 300 $\mu$s from the acquisition of the raw 400 x 400 pixel wavefront sensor image to the sending of the commands.


title: $Q_{bias}$ -- A Dataset on Media Bias in Search Queries and Query Suggestions

abstract: This publication describes the motivation and generation of $Q_{bias}$, a large dataset of Google and Bing search queries, a scraping tool and dataset for biased news articles, as well as language models for the investigation of bias in online search. Web search engines are a major factor and trusted source in information search, especially in the political domain. However, biased information can influence opinion formation and lead to biased opinions. To interact with search engines, users formulate search queries and interact with search query suggestions provided by the search engines. A lack of datasets on search queries inhibits research on the subject. We use $Q_{bias}$ to evaluate different approaches to fine-tuning transformer-based language models with the goal of producing models capable of biasing text with left and right political stance. Additionally to this work we provided datasets and language models for biasing texts that allow further research on bias in online information search.


title: Propagate & Distill: Towards Effective Graph Learners Using Propagation-Embracing MLPs

abstract: Recent studies attempted to utilize multilayer perceptrons (MLPs) to solve semisupervised node classification on graphs, by training a student MLP by knowledge distillation from a teacher graph neural network (GNN). While previous studies have focused mostly on training the student MLP by matching the output probability distributions between the teacher and student models during distillation, it has not been systematically studied how to inject the structural information in an explicit and interpretable manner. Inspired by GNNs that separate feature transformation $T$ and propagation $\Pi$, we re-frame the distillation process as making the student MLP learn both $T$ and $\Pi$. Although this can be achieved by applying the inverse propagation $\Pi^{-1}$ before distillation from the teacher, it still comes with a high computational cost from large matrix multiplications during training. To solve this problem, we propose Propagate & Distill (P&D), which propagates the output of the teacher before distillation, which can be interpreted as an approximate process of the inverse propagation. We demonstrate that P&D can readily improve the performance of the student MLP.


title: A simple testbed for stability analysis of quantum dissipative systems

abstract: We study a two-state quantum system with a non linearity intended to describe interactions with a complex environment, arising through a non local coupling term. We study the stability of particular solutions, obtained as constrained extrema of the energy functional of the system. The simplicity of the model allows us to justify a complete stability analysis. This is the opportunity to review in details the techniques to investigate the stability issue. We also bring out the limitations of perturbative approaches based on simpler asymptotic models.


abstract: Homeostasis, the ability to maintain a stable internal environment in the face of perturbations, is essential for the functioning of living systems. Given observations of a system, or even a detailed model of one, it is both valuable and extremely challenging to extract the control objectives of the homeostatic mechanisms. Lacking a clear separation between plant and controller, frameworks such as inverse optimal control and inverse reinforcement learning are unable to identify the homeostatic mechanisms. A recently developed data-driven algorithm, Identifying Regulation with Adversarial Surrogates (IRAS), detects highly regulated or conserved quantities as the solution of a min-max optimization scheme that automates classical surrogate data methods. Yet, the definition of homeostasis as regulation within narrow limits is too strict for biological systems which show sustained oscillations such as circadian rhythms. In this work, we introduce Identifying Dynamic Regulation with Adversarial Surrogates (IDRAS), a generalization of the IRAS algorithm, capable of identifying control objectives that are regulated with respect to a dynamical reference value. We test the algorithm on simulation data from realistic biological models and benchmark physical systems, demonstrating excellent empirical results.


title: A Bayesian model for dynamic mass reconstruction from PET listmode data

abstract: Positron emission tomography (PET) is a classical imaging technique to reconstruct the mass distribution of a radioactive material. If the mass distribution is static, this essentially leads to inversion of the X-ray transform. However, if the mass distribution changes temporally, the measurement signals received over time (the so-called listmode data) belong to different spatial configurations. We suggest and analyse a Bayesian approach to solve this dynamic inverse problem that is based on optimal transport regularization of the temporally changing mass distribution. Our focus lies on a rigorous derivation of the Bayesian model and the analysis of its properties, treating both the continuous as well as the discrete (finitely many detectors and time binning) setting.


title: An Algorithm Based on a Cable-Nernst Planck Model Predicting Synaptic Activity throughout the Dendritic Arbor with Micron Specificity

abstract: Recent technological advances have enabled the recording of neurons in intact circuits with a high spatial and temporal resolution, creating the need for modeling with the same precision. In particular, the development of ultra-fast two-photon microscopy combined with fluorescence-based genetically-encoded Ca2+-indicators allows capture of full-dendritic arbor and somatic responses associated with synaptic input and action potential output. The complexity of dendritic arbor structures and distributed patterns of activity over time results in the generation of incredibly rich 4D datasets that are challenging to analyze (Sakaki, 2020). Interpreting neural activity from fluorescence-based Ca2+ biosensors is challenging due to non-linear interactions between several factors influencing intracellular calcium ion concentration and its binding to sensors, including the ionic dynamics driven by diffusion, electrical gradients and voltage-gated conductance.To investigate those dynamics, we designed a model based on a Cable-like equation coupled to the Nernst-Planck equations for ionic fluxes in electrolytes. We employ this model to simulate signal propagation and ionic electrodiffusion across a dendritic arbor. Using these simulation results, we then designed an algorithm to detect synapses from Ca2+ imaging datasets. We finally apply this algorithm to experimental Ca2+-indicator datasets from neurons expressing jGCaMP7s (Dana et al., 2019), using full-dendritic arbor sampling in vivo in the Xenopus laevis optic tectum using fast random-access two-photon microscopy.Our model reproduces the dynamics of visual stimulus-evoked jGCaMP7s-mediated calcium signals observed experimentally, and the resulting algorithm allows prediction of the location of synapses across the dendritic arbor.Our study provides a way to predict synaptic activity and location on dendritic arbors, from fluorescence data in the full dendritic arbor of a neuron recorded in the intact and awake developing vertebrate brain.


title: DSS: Synthesizing long Digital Ink using Data augmentation, Style encoding and Split generation

abstract: As text generative models can give increasingly long answers, we tackle the problem of synthesizing long text in digital ink. We show that the commonly used models for this task fail to generalize to long-form data and how this problem can be solved by augmenting the training data, changing the model architecture and the inference procedure. These methods use contrastive learning technique and are tailored specifically for the handwriting domain. They can be applied to any encoder-decoder model that works with digital ink. We demonstrate that our method reduces the character error rate on long-form English data by half compared to baseline RNN and by 16% compared to the previous approach that aims at addressing the same problem. We show that all three parts of the method improve recognizability of generated inks. In addition, we evaluate synthesized data in a human study and find that people perceive most of generated data as real.


title: Collaborative software design and modeling in virtual reality

abstract: Context: Software engineering is becoming more and more distributed. Developers and other stakeholders are often located in different locations, departments, and countries and operating within different time zones. Most online software design and modeling tools are not adequate for distributed collaboration since they do not support awareness and lack features for effective communication. Objective: The aim of our research is to support distributed software design activities in Virtual Reality (VR). Method: Using design science research methodology, we design and evaluate a tool for collaborative design in VR. We evaluate the collaboration efficiency and recall of design information when using the VR software design environment compared to a non-VR software design environment. Moreover, we collect the perceptions and preferences of users to explore the opportunities and challenges that were incurred by using the VR software design environment. Results: We find that there is no significant difference in the efficiency and recall of design information when using the VR compared to the non-VR environment. Furthermore, we find that developers are more satisfied with collaboration in VR. Conclusion: The results of our research and similar studies show that working in VR is not yet faster or more efficient than working on standard desktops. It is very important to improve the interface in VR (gestures with haptics, keyboard and voice input), as confirmed by the difference in results between the first and second evaluation.


title: Design of a millifluidic device for the evaluation of blue-light disinfection on Pseudomonas aeruginosa PA01 biofilm

abstract: Significance: For the first time to our knowledge, a millifluidic device has been designed to observe the effects of blue-light irradiation in Pseudomonas aeruginosa PA01 bacterial biofilm. Approach: A bacterial biofilm is formed under controlled flow of nutrients in microfabricated channels settled on a microscope stage. The setup is devised to apply defined irradiation and evaluate the photo-killing efficiency in situ using video-microscopy and fluorescent probes. Results: We investigated bacterial survival after delivering a precise, controlled and spatially defined blue light dose upon growing biofilm. We demonstrate in this report that the combined use of constitutive GFP and propidium iodide in a millifluidic setup enables to evidence light-induced mortality at the single cell and community level. Conclusions: Real-time monitoring of a bacterial biofilm growing in a millifluidic device after irradiation opens an avenue for a better understanding of the biofilm community response to blue-light, permitting researchers to approach photokilling efficiency of biofilm as a dynamic process.


title: The Symmetric alpha-Stable Privacy Mechanism

abstract: With the rapid growth of digital platforms, there is increasing apprehension about how personal data is being collected, stored, and used by various entities. These concerns range from data breaches and cyber-attacks to potential misuse of personal information for targeted advertising and surveillance. As a result, differential privacy (DP) has emerged as a prominent tool for quantifying a system's level of protection. The Gaussian mechanism is commonly used because the Gaussian density is closed under convolution, a common method utilized when aggregating datasets. However, the Gaussian mechanism only satisfies approximate differential privacy. In this work, we present novel analysis of the Symmetric alpha-Stable (SaS) mechanism. We prove that the mechanism is purely differentially private while remaining closed under convolution. From our analysis, we believe the SaS Mechanism is an appealing choice for privacy focused applications.


title: FAT-HuBERT: Front-end Adaptive Training of Hidden-unit BERT for Distortion-Invariant Robust Speech Recognition

abstract: Advancements in monaural speech enhancement (SE) techniques have greatly improved the perceptual quality of speech. However, integrating these techniques into automatic speech recognition (ASR) systems has not yielded the expected performance gains, primarily due to the introduction of distortions during the SE process. In this paper, we propose a novel approach called FAT-HuBERT, which leverages distortion-invariant self-supervised learning (SSL) to enhance the robustness of ASR. To address the distortions introduced by the SE frontends, we introduce layer-wise fusion modules that incorporate features extracted from both observed noisy signals and enhanced signals. During training, the SE frontend is randomly selected from a pool of models. We evaluate the performance of FAT-HuBERT on simulated noisy speech generated from LibriSpeech as well as real-world noisy speech from the CHiME-4 1-channel dataset. The experimental results demonstrate a significant relative reduction in word error rate (WER).


title: U-Net v2: Rethinking the Skip Connections of U-Net for Medical Image Segmentation

abstract: In this paper, we introduce U-Net v2, a new robust and efficient U-Net variant for medical image segmentation. It aims to augment the infusion of semantic information into low-level features while simultaneously refining high-level features with finer details. For an input image, we begin by extracting multi-level features with a deep neural network encoder. Next, we enhance the feature map of each level by infusing semantic information from higher-level features and integrating finer details from lower-level features through Hadamard product. Our novel skip connections empower features of all the levels with enriched semantic characteristics and intricate details. The improved features are subsequently transmitted to the decoder for further processing and segmentation. Our method can be seamlessly integrated into any Encoder-Decoder network. We evaluate our method on several public medical image segmentation datasets for skin lesion segmentation and polyp segmentation, and the experimental results demonstrate the segmentation accuracy of our new method over state-of-the-art methods, while preserving memory and computational efficiency. Code is available at: https://github.com/yaoppeng/U-Net_v2


title: Polarization Measurements of $p^{\uparrow}$ and $^3$He$^\uparrow$ Beams at RHIC and Future EIC Using the Polarized Atomic Hydrogen Gas Jet Target

abstract: At the Relativistic Heavy-Ion Collider (RHIC), the Polarized Atomic Hydrogen Gas Jet Target polarimeter (HJET) is employed for the precise measurement of the absolute transverse (vertical) polarization of proton beams, achieving low systematic uncertainties of approximately $\sigma^\text{syst}_P/P\leq0.5\%$. The acquired experimental data not only facilitated the determination of single $A_\text{N}(t)$ and double $A_\text{NN}(t)$ spin analyzing powers for 100 and 255 GeV proton beams but also revealed a non-zero Pomeron spin-flip contribution through a Regge fit. Preliminary results obtained for forward inelastic $p^{\uparrow}p$ and elastic $p^{\uparrow}A$ analyzing powers will be discussed. The success of HJET at RHIC suggests its potential application for proton beam polarimetry at the upcoming Electron-Ion Collider (EIC), aiming for an accuracy of 1\%. Moreover, the provided analysis indicates that the RHIC HJET target can serve as a tool for the precision calibration, with the required accuracy, of the $^3$He beam polarization at the EIC.


title: Vines and MAT-labeled graphs

abstract: The present paper explores a connection between two concepts arising from different fields of mathematics. The first concept, called vine, is a graphical model for dependent random variables. This concept first appeared in a work of Joe (1994), and the formal definition was given later by Cooke (1997). Vines have nowadays become an active research area whose applications can be found in probability theory and uncertainty analysis. The second concept, called MAT-freeness, is a combinatorial property in the theory of freeness of logarithmic derivation modules of hyperplane arrangements. This concept was first studied by Abe-Barakat-Cuntz-Hoge-Terao (2016), and soon afterwards investigated further by Cuntz-M{\"u}cksch (2020). In the particular case of graphic arrangements, the last two authors (2023) recently proved that the MAT-freeness is completely characterized by the existence of certain edge-labeled graphs, called MAT-labeled graphs. In this paper, we first introduce a poset characterization of a vine, the so-called vine. Then we show that, interestingly, there exists an explicit equivalence between the categories of locally regular vines and MAT-labeled graphs. In particular, we obtain an equivalence between the categories of regular vines and MAT-labeled complete graphs. Several applications will be mentioned to illustrate the interaction between the two concepts. Notably, we give an affirmative answer to a question of Cuntz-M{\"u}cksch that MAT-freeness can be characterized by a generalization of the root poset in the case of graphic arrangements.


title: Noise Dynamics in the Quantum Regime

abstract: A time-dependent bias voltage on a tunnel junction generates a time-dependent modulation of its current fluctuations, and in particular of its variance. This translates into an excitation at frequency $\tilde{f}$ generating correlations between current fluctuating at any frequency $f$ and at frequency $\pm$ $\tilde{f} -f$. We report the measurement of such a correlation in the fully quantum regime, i.e. when both frequencies are much greater than $k_BT/h$ with $T$ the temperature. Such a correlator, usually referred to as the noise susceptibility, is involved in corrections to the measurements of higher-order moments and in the squeezing of noise.


title: Marginal Laplacian Score

abstract: High-dimensional imbalanced data poses a machine learning challenge. In the absence of sufficient or high-quality labels, unsupervised feature selection methods are crucial for the success of subsequent algorithms. Therefore, we introduce a Marginal Laplacian Score (MLS), a modification of the well known Laplacian Score (LS) tailored to better address imbalanced data. We introduce an assumption that the minority class or anomalous appear more frequently in the margin of the features. Consequently, MLS aims to preserve the local structure of the dataset's margin. We propose its integration into modern feature selection methods that utilize the Laplacian score. We integrate the MLS algorithm into the Differentiable Unsupervised Feature Selection (DUFS), resulting in DUFS-MLS. The proposed methods demonstrate robust and improved performance on synthetic and public datasets.


title: Opposite effects of the rotational and translational energy on the rates of ion-molecule reactions near $0\,\text{K}$: the $\text{D}_2^++\text{NH}_3$ and $\text{D}_2^++\text{ND}_3$ reactions

abstract: The ion-molecule reactions $\text{D}_2^++\text{NH}_3$ and $\text{D}_2^++\text{ND}_3$ are studied at low collision energies ($E_{\text{coll}}$ from zero to $\sim k_\textrm{B}\cdot 50\,\text{K}$), with the $\text{D}_2^+$ ions in the ground rovibrational state and for different rotational temperatures of the ammonia molecules, using the Rydberg-Stark merged-beam approach. Two different rotational temperatures ($\sim\,15\,\text{K}$ and $\sim\,40\,\text{K}$), measured by (2+1) resonance-enhanced multiphoton-ionization spectroscopy, are obtained by using a seeded supersonic expansion in He and a pure ammonia expansion, respectively. The experimental data reveal a strong enhancement of the rate coefficients at the lowest collision energies caused by the charge-dipole interaction. Calculations based on a rotationally adiabatic capture model accurately reproduce the observed kinetic-energy dependence of the rate coefficients. The rate coefficients increase with increasing rotational temperature of the ammonia molecules, which contradicts the expectation that rotational excitation should average the dipoles out. Moreover, these reactions exhibit a pronounced inverse kinetic isotope effect. The difference is caused by nuclear-spin-statistical factors, and the smaller rotational constants and tunneling splittings in $\text{ND}_3$.


title: Learning to Simulate: Generative Metamodeling via Quantile Regression

abstract: Stochastic simulation models, while effective in capturing the dynamics of complex systems, are often too slow to run for real-time decision-making. Metamodeling techniques are widely used to learn the relationship between a summary statistic of the outputs (e.g., the mean or quantile) and the inputs of the simulator, so that it can be used in real time. However, this methodology requires the knowledge of an appropriate summary statistic in advance, making it inflexible for many practical situations. In this paper, we propose a new metamodeling concept, called generative metamodeling, which aims to construct a "fast simulator of the simulator". This technique can generate random outputs substantially faster than the original simulation model, while retaining an approximately equal conditional distribution given the same inputs. Once constructed, a generative metamodel can instantaneously generate a large amount of random outputs as soon as the inputs are specified, thereby facilitating the immediate computation of any summary statistic for real-time decision-making. Furthermore, we propose a new algorithm -- quantile-regression-based generative metamodeling (QRGMM) -- and study its convergence and rate of convergence. Extensive numerical experiments are conducted to investigate the empirical performance of QRGMM, compare it with other state-of-the-art generative algorithms, and demonstrate its usefulness in practical real-time decision-making.


title: Adaptive Circuit Learning of Born Machine: Towards Realization of Amplitude Embedding and Data Loading

abstract: With the progress in the quantum algorithm in recent years, much of the existing literature claims the exponential quantum advantage against their classical counterpart. However, many of these successes hinge on the assumption that arbitrary states can be efficiently prepared in quantum circuits. In reality, crafting a circuit to prepare a generic $n$-qubit quantum state demands an operation count on the order of $\mathcal{O}(2^n)$, which is prohibitively demanding for the quantum algorithm to demonstrate its advantage against the classical one. To tackle this data-loading problem, numerous strategies have been put forward. Nonetheless, most of these approaches only consider a very simple and easy-to-implement circuit structure, which has been shown to suffer from serious optimization issues. In this study, we harness quantum circuits as Born machines to generate probability distributions. Drawing inspiration from methods used to investigate electronic structures in quantum chemistry and condensed matter physics, we present a novel algorithm "Adaptive Circuit Learning of Born Machine" (ACLBM) that dynamically expands the ansatz circuit. Our algorithm is tailored to selectively integrate two-qubit entangled gates that best capture the complex entanglement present within the target state. Empirical results underscore the proficiency of our approach in encoding real-world data through amplitude embedding, demonstrating not only compliance with but also enhancement over the performance benchmarks set by previous research.


title: Topological quantum criticality from multiplicative topological phases

abstract: Symmetry-protected topological phases (SPTs) characterized by short-range entanglement include many states essential to understanding of topological condensed matter physics, and the extension to gapless SPTs provides essential understanding of their consequences. In this work, we identify a fundamental connection between gapless SPTs and recently-introduced multiplicative topological phases, demonstrating that multiplicative topological phases are an intuitive and general approach to realizing concrete models for gapless SPTs. In particular, they are naturally well-suited to realizing higher-dimensional, stable, and intrinsic gapless SPTs through combination of canonical topological insulator and semimetal models with critical gapless models in symmetry-protected tensor product constructions, opening avenues to far broader and deeper investigation of topology via short-range entanglement.


title: The analysis of the harmonic-spin(7) flow

abstract: The group Spin(7) belongs to the list of possible holonomy of an eight-dimensional Riemannian manifold. The weaker notion of Spin(7)-structures plays for manifolds with holonomy Spin(7), the analogue of almost Hermitian for K{\"a}hler manifolds. As part of a more general scheme, a notion of harmonicity of Spin(7)-structures is developed with the objective of comparing isometric Spin(7)-structures among themselves. We present here an account of our study in [12] of the harmonic flow of Spin(7)-structures and its analytical properties.


title: Towards Efficient Hyperdimensional Computing Using Photonics

abstract: Over the past few years, silicon photonics-based computing has emerged as a promising alternative to CMOS-based computing for Deep Neural Networks (DNN). Unfortunately, the non-linear operations and the high-precision requirements of DNNs make it extremely challenging to design efficient silicon photonics-based systems for DNN inference and training. Hyperdimensional Computing (HDC) is an emerging, brain-inspired machine learning technique that enjoys several advantages over existing DNNs, including being lightweight, requiring low-precision operands, and being robust to noise introduced by the nonidealities in the hardware. For HDC, computing in-memory (CiM) approaches have been widely used, as CiM reduces the data transfer cost if the operands can fit into the memory. However, inefficient multi-bit operations, high write latency, and low endurance make CiM ill-suited for HDC. On the other hand, the existing electro-photonic DNN accelerators are inefficient for HDC because they are specifically optimized for matrix multiplication in DNNs and consume a lot of power with high-precision data converters. In this paper, we argue that photonic computing and HDC complement each other better than photonic computing and DNNs, or CiM and HDC. We propose PhotoHDC, the first-ever electro-photonic accelerator for HDC training and inference, supporting the basic, record-based, and graph encoding schemes. Evaluating with popular datasets, we show that our accelerator can achieve two to five orders of magnitude lower EDP than the state-of-the-art electro-photonic DNN accelerators for implementing HDC training and inference. PhotoHDC also achieves four orders of magnitude lower energy-delay product than CiM-based accelerators for both HDC training and inference.


title: Enveloping space of a globally hyperbolic conformally flat spacetime

abstract: We prove that any simply-connected globally hyperbolic conformally flat spacetime V can be conformally embedded in a bigger conformally flat spacetime, called enveloping space of V , containing all the conformally flat Cauchy-extensions of V , in particular its C 0-maximal extension. As a result, we establish a new proof of the existence and the uniqueness of the C 0-maximal extension of a globally hyperbolic conformally flat spacetime. Furthermore, this approach allows us to prove that C 0-maximal extensions respect inclusion.


title: On the root system of a Kac-Moody superalgebra

abstract: In this paper we extend several results about root systems of Kac-Moody algebras to superalgebra context. In particular, we describe the root bases and the sets of imaginary roots.


title: Aggregation Model Hyperparameters Matter in Digital Pathology

abstract: Digital pathology has significantly advanced disease detection and pathologist efficiency through the analysis of gigapixel whole-slide images (WSI). In this process, WSIs are first divided into patches, for which a feature extractor model is applied to obtain feature vectors, which are subsequently processed by an aggregation model to predict the respective WSI label. With the rapid evolution of representation learning, numerous new feature extractor models, often termed foundational models, have emerged. Traditional evaluation methods, however, rely on fixed aggregation model hyperparameters, a framework we identify as potentially biasing the results. Our study uncovers a co-dependence between feature extractor models and aggregation model hyperparameters, indicating that performance comparability can be skewed based on the chosen hyperparameters. By accounting for this co-dependency, we find that the performance of many current feature extractor models is notably similar. We support this insight by evaluating seven feature extractor models across three different datasets with 162 different aggregation model configurations. This comprehensive approach provides a more nuanced understanding of the relationship between feature extractors and aggregation models, leading to a fairer and more accurate assessment of feature extractor models in digital pathology.


title: A modified sine-Gordon theory with static multi-kinks

abstract: We construct a modified non-BPS sine-Gordon theory which supports stable static kinks of arbitrary topological degree $N$. We use this toy model to study problems which are interesting for higher-dimensional soliton theories supporting multi-solitons. We construct a 2-kink collective coordinate model and use it to generate scattering trajectories, which are compared to full-field dynamics. We find that the approximation works well, but starts to fail as radiation becomes more important due to our model becoming less BPS or when the initial kink velocities are large. We also construct the quantum 2-kink and calculate one-loop corrections to the 1- and 2-kinks. We consider how these quantum corrections affect the binding energy of the 2-kink.


title: Conditions for Virtually Cohen--Macaulay Simplicial Complexes

abstract: A simplicial complex $\Delta$ is a virtually Cohen-Macaulay simplicial complex if its associated Stanley-Reisner ring $S$ has a virtual resolution, as defined by Berkesch, Erman, and Smith, of length ${\rm codim}(S)$. We provide a sufficient condition on $\Delta$ to be a virtually Cohen-Macaulay simplicial complex. We also introduce virtually shellable simplicial complexes, a generalization of shellable simplicial complexes. Virtually shellable complexes have the property that they are virtually Cohen-Macaulay, generalizing the well-known fact that shellable simplicial complexes are Cohen-Macaulay.


title: Production of Entangled X-rays through Nonlinear Double Compton Scattering

abstract: An accessible source for the production of entangled x-rays is crucial for the field of high-energy quantum optics. Here, we present a detailed analysis of the entanglement and polarisation of the two photons emitted by an electron in an intense laser wave (nonlinear double Compton scattering), by working within the framework of strong-field QED. By identifying a contribution to the emission probability stemming from the electron being on-shell or off-shell between the two photons emissions, we show that the entangled photons are generated via the off-shell contribution, which can be distinguished from those emitted via the on-shell channel by a polarisation measurement. We also provide an intuitive picture to explain the entanglement and propose an experiment to produce and isolate entangled x-rays.


title: A Heteroscedastic Bayesian Generalized Logistic Regression Model with Application to Scaling Problems

abstract: Power law scaling models have been used to understand the complexity of systems as diverse as cities, neurological activity, and rainfall and lightning. In the scaling framework, power laws and standard linear regression methods are widely used to estimate model parameters with assumed normality and fixed variance. Generalized linear models (GLM) can accommodate a wider range of distributions where the chosen distribution must meet the assumptions of the data to prevent model bias. We present a widely applicable Bayesian generalized logistic regression (BGLR) framework to more flexibly model a continuous real response addressing skew and heteroscedasticity. The Generalized Logistic Distribution (GLD) was selected to flexibly model skewed continuous data. This resulted in a nonlinear posterior distribution which may not have an analytical solution which can be solved numerically with Markov Chain Monte Carlo (MCMC) methods. We compared the BGLR model to standard and Bayesian normal models having fixed and varying variance when fitting power laws to 759 days of COVID-19 data. The BGLR yielded information beyond existing methods about the evolution of skew and skedasticity while revealing parameter bias of widely used methods. The BGLR flexibly modelled the complex characteristics necessary for an improved understanding of the propagation and dynamics of this infectious disease. The model is generally applicable and can be used as a template for modeling complexity with other distributions.


title: Zeta Functions for Spherical Tits Buildings of Finite General Linear Groups

abstract: In this paper, we define edge zeta functions for spherical buildings associated with finite general linear groups. We derive elegant formulas for these zeta functions and reveal patterns of eigenvalues of these buildings, by introducing and applying insightful tools including digraphs X0 and X2, cyclic n-partite graphs, partite-transitive group actions, and Springer's theorem on Hecke algebras.


title: Coloring the Past: Neural Historical Buildings Reconstruction from Archival Photography

abstract: Historical buildings are a treasure and milestone of human cultural heritage. Reconstructing the 3D models of these building hold significant value. The rapid development of neural rendering methods makes it possible to recover the 3D shape only based on archival photographs. However, this task presents considerable challenges due to the limitations of such datasets. Historical photographs are often limited in number and the scenes in these photos might have altered over time. The radiometric quality of these images is also often sub-optimal. To address these challenges, we introduce an approach to reconstruct the geometry of historical buildings, employing volumetric rendering techniques. We leverage dense point clouds as a geometric prior and introduce a color appearance embedding loss to recover the color of the building given limited available color images. We aim for our work to spark increased interest and focus on preserving historical buildings. Thus, we also introduce a new historical dataset of the Hungarian National Theater, providing a new benchmark for the reconstruction method.


title: Improved Filters for Angular Filter Refractometry

abstract: Angular filter refractometry is an optical diagnostic that measures absolute contours of line-integrated density gradient by placing a filter with alternating opaque and transparent zones in the focal plane of a probe beam, which produce corresponding alternating light and dark regions in the image plane. Identifying transitions between these regions with specific zones on the angular filter (AF) allows the line-integrated density to be determined, but the sign of the density gradient at each transition is degenerate and must be broken using other information about the object plasma. Additional features from diffraction in the filter plane often complicate data analysis. In this paper, we present an improved AF design that uses a stochastic pixel pattern with a sinusoidal radial profile to minimize unwanted diffraction effects in the image caused by the sharp edges of the filter bands. We also present a technique in which a pair of AFs with different patterns on two branches of the same probe beam can be used to break the density gradient degeneracy. Both techniques are demonstrated using a synthetic diagnostic and data collected on the OMEGA EP laser.


title: DAP: Domain-aware Prompt Learning for Vision-and-Language Navigation

abstract: Following language instructions to navigate in unseen environments is a challenging task for autonomous embodied agents. With strong representation capabilities, pretrained vision-and-language models are widely used in VLN. However, most of them are trained on web-crawled general-purpose datasets, which incurs a considerable domain gap when used for VLN tasks. To address the problem, we propose a novel and model-agnostic domain-aware prompt learning (DAP) framework. For equipping the pretrained models with specific object-level and scene-level cross-modal alignment in VLN tasks, DAP applies a low-cost prompt tuning paradigm to learn soft visual prompts for extracting in-domain image semantics. Specifically, we first generate a set of in-domain image-text pairs with the help of the CLIP model. Then we introduce soft visual prompts in the input space of the visual encoder in a pretrained model. DAP injects in-domain visual knowledge into the visual encoder of the pretrained model in an efficient way. Experimental results on both R2R and REVERIE show the superiority of DAP compared to existing state-of-the-art methods.


title: Higher-Order DisCoCat (Peirce-Lambek-Montague semantics)

abstract: We propose a new definition of higher-order DisCoCat (categorical compositional distributional) models where the meaning of a word is not a diagram, but a diagram-valued higher-order function. Our models can be seen as a variant of Montague semantics based on a lambda calculus where the primitives act on string diagrams rather than logical formulae. As a special case, we show how to translate from the Lambek calculus into Peirce's system beta for first-order logic. This allows us to give a purely diagrammatic treatment of higher-order and non-linear processes in natural language semantics: adverbs, prepositions, negation and quantifiers. The theoretical definition presented in this article comes with a proof-of-concept implementation in DisCoPy, the Python library for string diagrams.


title: Exponential acceleration of macroscopic quantum tunneling in a Floquet Ising model

abstract: The exponential suppression of macroscopic quantum tunneling (MQT) in the number of elements to be reconfigured is an essential element of broken symmetry phases. This suppression is also a core bottleneck in quantum algorithms, such as traversing an energy landscape in optimization, and adiabatic state preparation more generally. In this work, we demonstrate exponential acceleration of MQT through Floquet engineering with the application of a uniform, high frequency transverse drive field. Using the ferromagnetic phase of the transverse field Ising model in one and two dimensions as a prototypical example, we identify three phenomenological regimes as a function of drive strength. For weak drives, the system exhibits exponentially decaying tunneling rates but robust magnetic order; in the crossover regime at intermediate drive strength, we find polynomial decay of tunnelling alongside vanishing magnetic order; and at very strong drive strengths both the Rabi frequency and time-averaged magnetic order are approximately constant with increasing system size. We support these claims with extensive full wavefunction and tensor network numerical simulations, and theoretical analysis. An experimental test of these results presents a technologically important and novel scientific question accessible on NISQ-era quantum computers.


title: A Survey on Design Methodologies for Accelerating Deep Learning on Heterogeneous Architectures

abstract: In recent years, the field of Deep Learning has seen many disruptive and impactful advancements. Given the increasing complexity of deep neural networks, the need for efficient hardware accelerators has become more and more pressing to design heterogeneous HPC platforms. The design of Deep Learning accelerators requires a multidisciplinary approach, combining expertise from several areas, spanning from computer architecture to approximate computing, computational models, and machine learning algorithms. Several methodologies and tools have been proposed to design accelerators for Deep Learning, including hardware-software co-design approaches, high-level synthesis methods, specific customized compilers, and methodologies for design space exploration, modeling, and simulation. These methodologies aim to maximize the exploitable parallelism and minimize data movement to achieve high performance and energy efficiency. This survey provides a holistic review of the most influential design methodologies and EDA tools proposed in recent years to implement Deep Learning accelerators, offering the reader a wide perspective in this rapidly evolving field. In particular, this work complements the previous survey proposed by the same authors in [203], which focuses on Deep Learning hardware accelerators for heterogeneous HPC platforms.


title: Fixed point actions from convolutional neural networks

abstract: Lattice gauge-equivariant convolutional neural networks (L-CNNs) can be used to form arbitrarily shaped Wilson loops and can approximate any gauge-covariant or gauge-invariant function on the lattice. Here we use L-CNNs to describe fixed point (FP) actions which are based on renormalization group transformations. FP actions are classically perfect, i.e., they have no lattice artifacts on classical gauge-field configurations satisfying the equations of motion, and therefore possess scale invariant instanton solutions. FP actions are tree-level Symanzik-improved to all orders in the lattice spacing and can produce physical predictions with very small lattice artifacts even on coarse lattices. We find that L-CNNs are much more accurate at parametrizing the FP action compared to older approaches. They may therefore provide a way to circumvent critical slowing down and topological freezing towards the continuum limit.


title: Seminal Electromagnetic fields from preinflation

abstract: We investigate the geometric dynamics of the primordial electric and magnetic fields during the early stages of the universe by extending a recently introduced quantum algebra \cite{BMM,BMAS}. We work on an extended model of gravity that considers the boundary terms from the Einstein-Hilbert action as geometric quantum fluctuations of the spacetime. We propose that the extended Riemann manifold is generated by a new connection ${\hat{\delta\Gamma}}^{\mu}_{\alpha\beta}$. This connection contains geometric information about the fluctuations of gravitational and electromagnetic fields in the vacuum, which could have been crucial during the primordial stages of the universe's evolution. We revisit a preinflationary cosmological model \cite{mb} with a variable time scale and negative spatial curvature, such that the universe begins with a null initial background energy density. We observed the emergence of large scale magnetic fields starting from small values during the early phases of the universe's evolution. Subsequently, these fields decrease to reach present day values on the order of $\left<\hat{\delta B}\right> \simeq 10^{-12}\,{\rm G}$ on cosmological scales (between $10^{24}$ and $10^{26}$ meters). This significant deviation from inflationary models eliminates the need to impose excessively large initial values on these fields.


title: Perimeter inequality under circular and Steiner symmetrisation: geometric characterisation of extremals

abstract: We study the perimeter inequality under circular symmetrisation, and we provide a full geometric characterisation of equality cases. A careful inspection of the proof shows that a similar characterisation holds true also for the perimeter inequality under Steiner symmetrisation. Our result is based on a new short proof of the perimeter inequality under symmetrisation.


title: Weak Solar Radio Bursts from the Solar Wind Acceleration Region Observed by Parker Solar Probe and Its Probable Emission Mechanism

abstract: The Parker Solar Probe (PSP) provides us the unprecedentedly close approach observation to the Sun, and hence the possibility of directly understanding the "elementary process" which occurs in the kinetic scale of particles collective interactioin in solar coronal plasmas. We reported a kind of weak solar radio bursts (SRBs), which are detected by PSP when it passed a low-density magnetic channel during its second encounter phase. These weak SRBs have low starting frequecny $\sim 20$ MHz and narrow frequency range from a few tens MHz to a few hundres kHz. Their dynamic spectra display a strongly evolving feature of the intermediate relative drift rate decreasing rapidly from above 0.01/s to below 0.01/s. Analyses based on common empirical models of solar coronal plasmas indicate that these weak SRBs originate from the heliocentric distance $\sim 1.1-6.1~R_S$ (the solar radius), a typical solar wind acceleration region with a low-$\beta$ plasma, and indicate that their soruces have a typic motion velociy $\sim v_A$ (Alfv\'en velocity) obviously lower than that of fast electrons required by effectively exciting SRBs. We propose that solitary kinetic Alfv\'en waves with kinetic scales can be responsible for the generation of these small-scalevweak SRBs, called solitary wave radiation (SWR).


title: Probing the Local Planetary Nebula Luminosity Function with Gaia

abstract: The Planetary Nebula Luminosity Function (PNLF) remains an important extragalactic distance indicator despite a still limited understanding of its most important feature - the bright cut-off. External galaxies benefit from consistent distance and extinction, which makes determining the PNLF easier but detailed study of individual objects much more difficult. Now, the advent of parallaxes from the Gaia mission has dramatically improved distance estimates to planetary nebulae (PNe) in the Milky Way. We have acquired ground-based narrowband imagery and measured the [OIII] fluxes for a volume-limited sample of hundreds of PNe whose best distance estimates from Gaia parallaxes and statistical methods place them within 3 kpc of the Sun. We present the first results of our study, comparing the local PNLF to other galaxies with different formation histories, and discussing how the brightness of the PNe relates to the evolutionary state of their central stars and the properties of the nebula.


title: Nonlinear erasing of propagating spin-wave pulses in thin-film Ga:YIG

abstract: Nonlinear phenomena are key for magnon-based information processing, but the nonlinear interaction between two spin-wave signals requires their spatio-temporal overlap which can be challenging for directional processing devices. Our study focuses on a gallium-substituted yttrium iron garnet film, which exhibits an exchange-dominated dispersion relation and thus provides a particularly broad range of group velocities compared to pure YIG. Using time- and space-resolved Brillouin light scattering spectroscopy, we demonstrate the excitation of time-separated spin-wave pulses at different frequencies from the same source, where the delayed pulse catches up with the previously excited pulse and outruns it due to its higher group velocity. By varying the excitation power of the faster pulse, the outcome can be finely tuned from a linear superposition to a nonlinear interaction of both pulses, resulting in a full attenuation of the slower pulse. Therefore, our findings demonstrate the all-magnonic erasing process of a propagating magnonic signal, which enables the realization of complex temporal logic operations with potential application, e.g., in inhibitory neuromorphic functionalities.


title: Anomalous Behavior Detection in Trajectory Data of Older Drivers

abstract: Given a road network and a set of trajectory data, the anomalous behavior detection (ABD) problem is to identify drivers that show significant directional deviations, hardbrakings, and accelerations in their trips. The ABD problem is important in many societal applications, including Mild Cognitive Impairment (MCI) detection and safe route recommendations for older drivers. The ABD problem is computationally challenging due to the large size of temporally-detailed trajectories dataset. In this paper, we propose an Edge-Attributed Matrix that can represent the key properties of temporally-detailed trajectory datasets and identify abnormal driving behaviors. Experiments using real-world datasets demonstrated that our approach identifies abnormal driving behaviors.


title: Wave equations for the fractional Sturm-Liouville operator with singular coefficients

abstract: In this paper, we consider the wave equation for the fractional Sturm-Liouville operator with lower order terms and singular coefficients and data. We prove that the problem has a very weak solution. Furthermore, we prove the uniqueness in an appropriate sense and the consistency of the very weak solution concept with the classical theory.


title: Depth-multiplexing spectral domain OCT for full eye length imaging with a single modulation unit

abstract: Measuring the axial length of the eye is emerging as a crucial approach to measure progression and monitor management of myopia. The high cost of current swept-source OCT devices, the preferred method for such measurements, limits their broad use, especially in lower-income communities.While spectral domain (SD) OCT is a more affordable option, its limited imaging range falls short for full eye length measurement. Existing depth-multiplexing (DM) techniques for SD-OCT provide a workaround by capturing images at multiple depths within the eye. However, these methods typically require multiple light modulation units or detectors for simultaneous imaging across depths, adding complexity and cost. In response, we propose a novel DM-SD-OCT approach that utilizes a single light modulation unit for depth encoding. This innovative method facilitates the capture of images at multiple depths within the eye using a single line scan camera, with subsequent computational demixing. Our implementation of this system successfully enabled simultaneous acquisition and demixing of signals from three distinct depths within the eye. The system's effectiveness was demonstrated using a model eye, confirming its potential as a cost-effective solution for comprehensive eye length measurement in clinical myopia research.


title: A comparison between axion-like and power law potentials in cosmological background

abstract: In this paper, we compare the scalar field dynamics in axion-like and power law potentials for both positive and negative values of the exponents. We find that, for positive exponents, both the potentials exhibit similar scalar field dynamics and it can be difficult to distinguish them at least at the background level. Even though the potentials are oscillatory in nature for positive exponents scaling solutions can be achieved for larger values of the exponent for which the dynamics can be different during early times. Because of the presence of this scaling nature there is a turnaround in the values of the scalar field equation of state as we increase the values of the exponent in both the potentials. This indicates the deviation from the oscillatory behaviour for the larger values of the exponent. For negative values of the exponent, the dynamics of the scalar field is distinguishable and axion-like potential can give rise to cosmologically viable tracker solutions unlike the power law potentials. For negative values of the exponent, axion-like potential can behave like a cosmological constant around its minima and the dark energy scale can be related to the potential scale. Due to the cosmological constant like behavior of the axion-like potential for negative exponent around its minima the late time dynamics can be similar to $\Lambda$CDM and we get similar observational constraint on the parameters for both $\Lambda$CDM and axion-like potential with negative exponent. So, while for positive exponents we may not distinguish the two potentials for negative exponents the dynamics of the scalar field is distinguishable.


title: Exploring Photoproduction with the GlueX Experiment

abstract: The GlueX experiment at Jefferson Lab (Newport News, VA USA) is designed to explore the spectrum of mesons up to about 3 GeV. We present results on the production of light-quark resonances with linearly polarized photons. These results enhance our understanding of photoproduction mechanisms, which is valuable in subsequent searches for exotic hybrid mesons. Measurements of the J/psi photoproduction cross section at threshold are also presented.


title: Constraining Gamma-ray Lines from Dark Matter Annihilation using Fermi-LAT and H.E.S.S. data

abstract: Using 14 years of Fermi-LAT data and 10 years of H.E.S.S. observations in the direction of the galactic center, we derive limits on gamma-ray lines originated from dark matter annihilations for fermionic and scalar fields. We describe the dark matter annihilation into $\gamma \gamma$ or $\gamma Z$ final states in terms of effective operators and place limits on the energy scale as a function of the dark matter mass taking into account the energy resolution of the instruments. For the Fermi-LAT data, we considered an NFW and a contracted NFW dark matter density profile, the latter being preferred by the Fermi GeV excess. For the H.E.S.S. observation, we used an NFW and Einasto profile. Fermi-LAT yields the most stringent constraints for dark matter masses below 300 GeV, whereas H.E.S.S. has the strongest ones for dark matter masses above 1 TeV. The telescopes share similar sensitivities for dark matter masses between 300 GeV and 1 TeV. We conclude that Fermi-LAT (H.E.S.S.) can probe energy scales up to $10(20)$~TeV for scalar and fermionic dark matter particles.


title: Dynamic redundancy as a mechanism to optimize collective random searches

abstract: We explore the case of a group of random walkers looking for a target randomly located in space, such that the number of walkers is not constant but new ones can join the search, or those that are active can abandon it, with constant rates $r_b$ and $r_d$, respectively. Exact analytical solutions are provided both for the fastest-first-passage time and for the collective search time required to reach the target, in the seminal case of Brownian walkers with $r_d=0$. We prove that even for such a simplified situation there exists an optimal rate $r_b$ at which walkers should join the search to minimize the collective effort required to reach the target. We discuss how these results open a new line to understand the optimal regulation of cooperative random searches, e.g. for the case of biological foraging in social species.


title: Co-Existence Test of Primordial Black Holes and Particle Dark Matter

abstract: If dark matter (DM) consists of primordial black holes (PBHs) and particles simultaneously, PBHs are generically embedded within particle DM halos. Such "dressed PBHs" (dPBHs) are not subject to typical PBH constraints and can explain the DM abundance in the mass range $10^{-1} \sim 10^2 M_\odot$. We show that diffractive lensing of chirping gravitational waves (GWs) from binary mergers can not only discover, but can also identify dPBH lenses and discriminate them from bare PBHs on the event-by-event basis, with potential to uniquely establish the co-existence of subdominant PBHs and particle DM.


title: Some problems and conjectures about $L^2$-invariants

abstract: In this article we give a survey on open problems and conjectures concerning L^2-invariants. We cover the whole portfolio and not only certain aspects as they are considered in the previous more specialized (and within their scope more detailed) survey articles [87,89]. Moreover, we include some new results and problems, which have occurred after these two survey articles were written. The reader may select a specific topic by looking at the table of contents below.


title: Confidence Regions for Filamentary Structures

abstract: Filamentary structures, also called ridges, generalize the concept of modes of density functions and provide low-dimensional representations of point clouds. Using kernel type plug-in estimators, we give asymptotic confidence regions for filamentary structures based on two bootstrap approaches: multiplier bootstrap and empirical bootstrap. Our theoretical framework respects the topological structure of ridges by allowing the possible existence of intersections. Different asymptotic behaviors of the estimators are analyzed depending on how flat the ridges are, and our confidence regions are shown to be asymptotically valid in different scenarios in a unified form. As a critical step in the derivation, we approximate the suprema of the relevant empirical processes by those of Gaussian processes, which are degenerate in our problem and are handled by anti-concentration inequalities for Gaussian processes that do not require positive infimum variance.


title: Flow Induced Corrosion in 6061-T6 Aluminum Pipes in De-Ionized Water Environments

abstract: Flow induced corrosion/erosion of 6061-T6 aluminum in de-ionized (DI) water environments has not been studied widely. Especially, the long-term effects of corrosion/erosion in seemingly benign flow velocity, temperature, and resistivity ranges of 8 ft/s, 85 oF, 3-5 MOhm-cm, respectively. This study concludes that the flow induced corrosion/erosion in the above parameter ranges is minimal. This is detailed by presenting a literature survey, measuring pipe wall samples from a system that has operated in the above parameter range, predict the loss of material in mm/year at the above velocities and at higher temperatures using electric potential values from other experimental studies coupled with wall shear stress simulated using Computational Fluid Dynamic (CFD) analysis.


title: DiG-IN: Diffusion Guidance for Investigating Networks -- Uncovering Classifier Differences, Neuron Visualisations, and Visual Counterfactual Explanations

abstract: While deep learning has led to huge progress in complex image classification tasks like ImageNet, unexpected failure modes, e.g. via spurious features, call into question how reliably these classifiers work in the wild. Furthermore, for safety-critical tasks the black-box nature of their decisions is problematic, and explanations or at least methods which make decisions plausible are needed urgently. In this paper, we address these problems by generating images that optimize a classifier-derived objective using a framework for guided image generation. We analyze the decisions of image classifiers by visual counterfactual explanations (VCEs), detection of systematic mistakes by analyzing images where classifiers maximally disagree, and visualization of neurons and spurious features. In this way, we validate existing observations, e.g. the shape bias of adversarially robust models, as well as novel failure modes, e.g. systematic errors of zero-shot CLIP classifiers. Moreover, our VCEs outperform previous work while being more versatile.


title: Spice-E : Structural Priors in 3D Diffusion using Cross-Entity Attention

abstract: We are witnessing rapid progress in automatically generating and manipulating 3D assets due to the availability of pretrained text-image diffusion models. However, time-consuming optimization procedures are required for synthesizing each sample, hindering their potential for democratizing 3D content creation. Conversely, 3D diffusion models now train on million-scale 3D datasets, yielding high-quality text-conditional 3D samples within seconds. In this work, we present Spice-E - a neural network that adds structural guidance to 3D diffusion models, extending their usage beyond text-conditional generation. At its core, our framework introduces a cross-entity attention mechanism that allows for multiple entities (in particular, paired input and guidance 3D shapes) to interact via their internal representations within the denoising network. We utilize this mechanism for learning task-specific structural priors in 3D diffusion models from auxiliary guidance shapes. We show that our approach supports a variety of applications, including 3D stylization, semantic shape editing and text-conditional abstraction-to-3D, which transforms primitive-based abstractions into highly-expressive shapes. Extensive experiments demonstrate that Spice-E achieves SOTA performance over these tasks while often being considerably faster than alternative methods. Importantly, this is accomplished without tailoring our approach for any specific task.


title: A semigroup with linearithmic Dehn function

abstract: It is known that there is no finitely presented group for which the Dehn function lies asymptotically strictly between linear and quadratic functions. This work presents an example of a semigroup that has Dehn function equivalent to $n \log n$, thus it lies strictly inside the said gap. The example is obtained by symmetrizing the rewriting rules of a particular semi-Thue system, which has the derivational complexity function $n \log n$. We also show that such connection is not universal by providing a semi-Thue system, for which the Dehn function of the symmetrized semigroup asymptotically differs from the derivational complexity of the initial system.


title: On Scaling Robust Feedback Control and State Estimation Problems in Power Networks

abstract: Many mainstream robust control/estimation algorithms for power networks are designed using the Lyapunov theory as it provides performance guarantees for linear/nonlinear models of uncertain power networks but comes at the expense of scalability and sensitivity. In particular, Lyapunov-based approaches rely on forming semi-definite programs (SDPs) that are (i) not scalable and (ii) extremely sensitive to the choice of the bounding scalar that ensures the strict feasibility of the linear matrix inequalities (LMIs). This paper addresses these two issues by employing a celebrated non-Lyapunov approach (NLA) from the control theory literature. In lieu of linearized models of power grids, we focus on (the more representative) nonlinear differential algebraic equation (DAE) models and showcase the simplicity, scalability, and parameter-resiliency of NLA. For some power systems, the approach is nearly fifty times faster than solving SDPs via standard solvers with almost no impact on the performance. The case studies also demonstrate that NLA can be applied to more realistic scenarios in which (i) only partial state data is available and (ii) sparsity structures are imposed on the feedback gain. The paper also showcases that virtually no degradation in state estimation quality is experienced when applying NLA.


title: Anytime Replanning of Robot Coverage Paths for Partially Unknown Environments

abstract: In this paper, we propose a method to replan coverage paths for a robot operating in an environment with initially unknown static obstacles. Existing coverage approaches reduce coverage time by covering along the minimum number of coverage lines (straight-line paths). However, recomputing such paths online can be computationally expensive resulting in robot stoppages that increase coverage time. A naive alternative is greedy detour replanning, i.e., replanning with minimum deviation from the initial path, which is efficient to compute but may result in unnecessary detours. In this work, we propose an anytime coverage replanning approach named OARP-Replan that performs near-optimal replans to an interrupted coverage path within a given time budget. We do this by solving linear relaxations of integer linear programs (ILPs) to identify sections of the interrupted path that can be optimally replanned within the time budget. We validate OARP-Replan in simulation and perform comparisons against a greedy detour replanner and other state-of-the-art coverage planners. We also demonstrate OARP-Replan in experiments using an industrial-level autonomous robot.


title: Bifurcation and Asymptotics of Cubically Nonlinear Transverse Magnetic Surface Plasmon Polaritons

abstract: Linear Maxwell equations for transverse magnetic (TM) polarized fields support single frequency surface plasmon polaritons (SPPs) localized at the interface of a metal and a dielectric. Metals are typically dispersive, i.e. the dielectric function depends on the frequency. We prove the bifurcation of localized SPPs in dispersive media in the presence of a cubic nonlinearity and provide an asymptotic expansion of the solution and the frequency. The problem is reduced to a system of nonlinear differential equations in one spatial dimension by assuming a plane wave dependence in the direction tangential to the (flat) interfaces. The number of interfaces is arbitrary and the nonlinear system is solved in a subspace of functions with the $H^1$-Sobolev regularity in each material layer. The corresponding linear system is an operator pencil in the frequency parameter due to the material dispersion. Because of the TM-polarization the problem cannot be reduced to a scalar equation. The studied bifurcation occurs at a simple isolated eigenvalue of the pencil. For geometries consisting of two or three homogeneous layers we provide explicit conditions on the existence of eigenvalues and on their simpleness and isolatedness. Real frequencies are shown to exist in the nonlinear setting in the case of PT-symmetric materials. We also apply a finite difference numerical method to the nonlinear system and compute bifurcating curves.


title: Diagrammatic Monte Carlo for Dissipative Quantum Impurity Models

abstract: We develop a diagrammatic Monte Carlo method for the real-time dynamics of dissipative quantum impurity models. These are small open quantum systems with interaction and local Markovian dissipation, coupled to a large quantum bath. Our algorithm sample the hybridization expansion formulated on a single real-time contour, rather than on the double Keldysh one, as it naturally arises in the thermofield/vectorized representation of the Lindblad dynamics. We show that local Markovian dissipation generally helps the convergence of the diagrammatic Monte Carlo sampling by reducing the sign problem, thus allowing to reach longer time scales as compared to the conventional unitary case. We apply our method to an Anderson impurity model in presence of local dephasing and discuss its effect on the charge and spin dynamics of the impurity.


title: A quasi-polynomial time algorithm for Multi-Dimensional Scaling via LP hierarchies

abstract: Multi-dimensional Scaling (MDS) is a family of methods for embedding an $n$-point metric into low-dimensional Euclidean space. We study the Kamada-Kawai formulation of MDS: given a set of non-negative dissimilarities $\{d_{i,j}\}_{i , j \in [n]}$ over $n$ points, the goal is to find an embedding $\{x_1,\dots,x_n\} \in \mathbb{R}^k$ that minimizes \[\text{OPT} = \min_{x} \mathbb{E}_{i,j \in [n]} \left[ \left(1-\frac{\|x_i - x_j\|}{d_{i,j}}\right)^2 \right] \] Kamada-Kawai provides a more relaxed measure of the quality of a low-dimensional metric embedding than the traditional bi-Lipschitz-ness measure studied in theoretical computer science; this is advantageous because strong hardness-of-approximation results are known for the latter, Kamada-Kawai admits nontrivial approximation algorithms. Despite its popularity, our theoretical understanding of MDS is limited. Recently, Demaine, Hesterberg, Koehler, Lynch, and Urschel (arXiv:2109.11505) gave the first approximation algorithm with provable guarantees for Kamada-Kawai in the constant-$k$ regime, with cost $\text{OPT} +\epsilon$ in $n^2 2^{\text{poly}(\Delta/\epsilon)}$ time, where $\Delta$ is the aspect ratio of the input. In this work, we give the first approximation algorithm for MDS with quasi-polynomial dependency on $\Delta$: we achieve a solution with cost $\tilde{O}(\log \Delta)\text{OPT}^{\Omega(1)}+\epsilon$ in time $n^{O(1)}2^{\text{poly}(\log(\Delta)/\epsilon)}$. Our approach is based on a novel analysis of a conditioning-based rounding scheme for the Sherali-Adams LP Hierarchy. Crucially, our analysis exploits the geometry of low-dimensional Euclidean space, allowing us to avoid an exponential dependence on the aspect ratio. We believe our geometry-aware treatment of the Sherali-Adams Hierarchy is an important step towards developing general-purpose techniques for efficient metric optimization algorithms.


title: Fast list-decoding of univariate multiplicity and folded Reed-Solomon codes

abstract: We show that the known list-decoding algorithms for univariate multiplicity and folded Reed-Solomon codes can be made to run in $\tilde{O}(n)$ time. Univariate multiplicity codes and FRS codes are natural variants of Reed-Solomon codes that were discovered and studied for their applications to list decoding. It is known that for every $\epsilon>0$, and rate $r \in (0,1)$, there exist explicit families of these codes that have rate $r$ and can be list decoded from a $(1-r-\epsilon)$ fraction of errors with constant list size in polynomial time (Guruswami & Wang (IEEE Trans. Inform. Theory 2013) and Kopparty, Ron-Zewi, Saraf & Wootters (SIAM J. Comput. 2023)). In this work, we present randomized algorithms that perform the above list-decoding tasks in $\tilde{O}(n)$, where $n$ is the block-length of the code. Our algorithms have two main components. The first component builds upon the lattice-based approach of Alekhnovich (IEEE Trans. Inf. Theory 2005), who designed a $\tilde{O}(n)$ time list-decoding algorithm for Reed-Solomon codes approaching the Johnson radius. As part of the second component, we design $\tilde{O}(n)$ time algorithms for two natural algebraic problems: given a $(m+2)$-variate polynomial $Q(x,y_0,\dots,y_m) = \tilde{Q}(x) + \sum_{i=0}^m Q_i(x)\cdot y_i$ the first algorithm solves order-$m$ linear differential equations of the form $Q\left(x, f(x), \frac{df}{dx}, \dots,\frac{d^m f}{dx^m}\right) \equiv 0$ while the second solves functional equations of the form $Q\left(x, f(x), f(\gamma x), \dots,f(\gamma^m x)\right) \equiv 0$, where $m$ is an arbitrary constant and $\gamma$ is a field element of sufficiently high order. These algorithms can be viewed as generalizations of classical $\tilde{O}(n)$ time algorithms of Sieveking (Computing 1972) and Kung (Numer. Math. 1974) for computing the modular inverse of a power series, and might be of independent interest.


title: Look Before You Leap: Unveiling the Power of GPT-4V in Robotic Vision-Language Planning

abstract: In this study, we are interested in imbuing robots with the capability of physically-grounded task planning. Recent advancements have shown that large language models (LLMs) possess extensive knowledge useful in robotic tasks, especially in reasoning and planning. However, LLMs are constrained by their lack of world grounding and dependence on external affordance models to perceive environmental information, which cannot jointly reason with LLMs. We argue that a task planner should be an inherently grounded, unified multimodal system. To this end, we introduce Robotic Vision-Language Planning (ViLa), a novel approach for long-horizon robotic planning that leverages vision-language models (VLMs) to generate a sequence of actionable steps. ViLa directly integrates perceptual data into its reasoning and planning process, enabling a profound understanding of commonsense knowledge in the visual world, including spatial layouts and object attributes. It also supports flexible multimodal goal specification and naturally incorporates visual feedback. Our extensive evaluation, conducted in both real-robot and simulated environments, demonstrates ViLa's superiority over existing LLM-based planners, highlighting its effectiveness in a wide array of open-world manipulation tasks.


title: Quantum trapping and rotational self-alignment in triangular Casimir microcavities

abstract: Casimir torque -- a rotational motion caused by the minimization of the zero-point energy -- is a problem that attracts significant theoretical and experimental interest. Recently, it has been realized using liquid crystal phases and natural anisotropic substrates. However, for natural materials, the torque reaches substantial values only at van der Waals distances of ~10 nm. Here, we employ Casimir self-assembly using templated gold nanostructures of triangular symmetry for the purpose of rotational self-alignment at truly Casimir distances (100 -- 200 nm separation). The joint action of repulsive electrostatic and attractive Casimir potentials leads to the formation of a stable quantum trap, giving rise to a tunable Fabry-Perot microcavity. This cavity self aligns both laterally and rotationally to maximize the overlap area between the templated and floating triangular flakes. The rotational self-alignment is remarkably sensitive to the equilibrium distance between the two triangles as well as their area, which opens possibilities for active control through manipulating the electrostatic screening. Our self-assembled and self-aligned Casimir microcavities could find future use as a versatile and tunable platform for nanophotonic, polaritonic, and optomechanical applications.


title: Analysis of Chiral Oxirane Molecules in Preparation for Next Generation Telescopes: A Review, New Analysis, & a Chiral Molecule Database

abstract: Human biology has a preference for left-handed chiral molecules and an outstanding question is if this is imposed through astrophysical origins. We aim to evaluate the known information about chiral molecules within astrophysical and astrochemical databases, evaluate chemical modeling accuracy, and use high-level CCSD(T) calculations to characterize propylene oxide and other oxirane variants. By comparing these computational values with past laboratory experiments, we find a 99.9% similarity. We also have put together a new database dedicated to chiral molecules and variants of chiral molecules to assist in answering this question.


title: Error estimation of different schemes to measure spin-squeezing inequalities

abstract: How can we analyze quantum correlations in large and noisy systems without quantum state tomography? An established method is to measure total angular momenta and employ the so-called spin-squeezing inequalities based on their expectations and variances. This allows to detect metrologically useful entanglement, but efficient strategies for estimating such non-linear quantities have yet to be determined. In this paper, we focus on the measurement of spin-squeezing inequalities in multi-qubit systems. We show that spin-squeezing inequalities can not only be evaluated by measurements of the total angular momentum but also by two-qubit correlations, either involving all pair correlations or randomly chosen pair correlations. Then we analyze the estimation errors of our approaches in terms of a hypothesis test. For this purpose, we discuss how error bounds can be derived for non-linear estimators with the help of their variances, characterizing the probability of falsely detecting a separable state as entangled. Our methods can be applied for the statistical treatment of other non-linear parameters of quantum states.


title: Towards Real-World Focus Stacking with Deep Learning

abstract: Focus stacking is widely used in micro, macro, and landscape photography to reconstruct all-in-focus images from multiple frames obtained with focus bracketing, that is, with shallow depth of field and different focus planes. Existing deep learning approaches to the underlying multi-focus image fusion problem have limited applicability to real-world imagery since they are designed for very short image sequences (two to four images), and are typically trained on small, low-resolution datasets either acquired by light-field cameras or generated synthetically. We introduce a new dataset consisting of 94 high-resolution bursts of raw images with focus bracketing, with pseudo ground truth computed from the data using state-of-the-art commercial software. This dataset is used to train the first deep learning algorithm for focus stacking capable of handling bursts of sufficient length for real-world applications. Qualitative experiments demonstrate that it is on par with existing commercial solutions in the long-burst, realistic regime while being significantly more tolerant to noise. The code and dataset are available at https://github.com/araujoalexandre/FocusStackingDataset.


title: FastSample: Accelerating Distributed Graph Neural Network Training for Billion-Scale Graphs

abstract: Training Graph Neural Networks(GNNs) on a large monolithic graph presents unique challenges as the graph cannot fit within a single machine and it cannot be decomposed into smaller disconnected components. Distributed sampling-based training distributes the graph across multiple machines and trains the GNN on small parts of the graph that are randomly sampled every training iteration. We show that in a distributed environment, the sampling overhead is a significant component of the training time for large-scale graphs. We propose FastSample which is composed of two synergistic techniques that greatly reduce the distributed sampling time: 1)a new graph partitioning method that eliminates most of the communication rounds in distributed sampling , 2)a novel highly optimized sampling kernel that reduces memory movement during sampling. We test FastSample on large-scale graph benchmarks and show that FastSample speeds up distributed sampling-based GNN training by up to 2x with no loss in accuracy.


title: WISDOM Project -- XVI. The link between circumnuclear molecular gas reservoirs and active galactic nucleus fuelling

abstract: We use high-resolution data from the millimetre-Wave Interferometric Survey of Dark Object Masses (WISDOM) project to investigate the connection between circumnuclear gas reservoirs and nuclear activity in a sample of nearby galaxies. Our sample spans a wide range of nuclear activity types including radio galaxies, Seyfert galaxies, low-luminosity active galactic nuclei (AGN) and inactive galaxies. We use measurements of nuclear millimetre continuum emission along with other archival tracers of AGN accretion/activity to investigate previous claims that at, circumnuclear scales (<100 pc), these should correlate with the mass of the cold molecular gas. We find that the molecular gas mass does not correlate with any tracer of nuclear activity. This suggests the level of nuclear activity cannot solely be regulated by the amount of cold gas around the supermassive black hole (SMBH). This indicates that AGN fuelling, that drives gas from the large scale galaxy to the nuclear regions, is not a ubiquitous process and may vary between AGN type, with timescale variations likely to be very important. By studying the structure of the central molecular gas reservoirs, we find our galaxies have a range of nuclear molecular gas concentrations. This could indicate that some of our galaxies may have had their circumnuclear regions impacted by AGN feedback, even though they currently have low nuclear activity. On the other hand, the nuclear molecular gas concentrations in our galaxies could instead be set by secular processes.


title: Traversing automata with current state uncertainty under LTL$_f$ constraints

abstract: In this paper, we consider a problem which we call LTL$_f$ model checking on paths: given a DFA $\mathcal{A}$ and a formula $\phi$ in LTL on finite traces, does there exist a word $w$ such that every path starting in a state of $\mathcal{A}$ and labeled by $w$ satisfies $\phi$? The original motivation for this problem comes from the constrained parts orienting problem, introduced in [Petra Wolf, "Synchronization Under Dynamic Constraints", FSTTCS 2020], where the input constraints restrict the order in which certain states are visited for the first or the last time while reading a word $w$ which is also required to synchronize $\mathcal{A}$. We identify very general conditions under which LTL$_f$ model checking on paths is solvable in polynomial space. For the particular constraints in the parts orienting problem, we consider PSPACE-complete cases and one NP-complete case. The former provide very strong lower bound for LTL$_f$ model checking on paths. The latter is related to (classical) LTL$_f$ model checking for formulas with the until modality only and with no nesting of operators. We also consider LTL$_f$ model checking of the power-set automaton of a given DFA, and get similar results for this setting. For all our problems, we consider the case where the required word must also be synchronizing, and prove that if the problem does not become trivial, then this additional constraint does not change the complexity.


title: Unified genus-1 potential and parametric P/NP relation

abstract: We study a parametric deformation of the unified genus-1 anharmonic potential and derive a parametric form of perturbative/non-perturbative (P/NP) relation, applicable across all parameter values. We explicitly demonstrate that the perturbative expansion around the perturbative saddle is sufficient to generate all the nonperturbative information in these systems. Our results confirm the known results in the literature, where the cubic and quartic anharmonic potentials are reproduced under extreme parameter values, and go beyond these known results by developing the nonperturbative function of real and complex instantons solely from perturbative data.


title: Leveraging VLM-Based Pipelines to Annotate 3D Objects

abstract: Pretrained vision language models (VLMs) present an opportunity to caption unlabeled 3D objects at scale. The leading approach to summarize VLM descriptions from different views of an object (Luo et al., 2023) relies on a language model (GPT4) to produce the final output. This text-based aggregation is susceptible to hallucinations as it merges potentially contradictory descriptions. We propose an alternative algorithm to marginalize over factors such as the viewpoint that affect the VLM's response. Instead of merging text-only responses, we utilize the VLM's joint image-text likelihoods. We show our probabilistic aggregation is not only more reliable and efficient, but sets the SoTA on inferring object types with respect to human-verified labels. The aggregated annotations are also useful for conditional inference; they improve downstream predictions (e.g., of object material) when the object's type is specified as an auxiliary text-based input. Such auxiliary inputs allow ablating the contribution of visual reasoning over visionless reasoning in an unsupervised setting. With these supervised and unsupervised evaluations, we show how a VLM-based pipeline can be leveraged to produce reliable annotations for 764K objects from the Objaverse dataset.


title: A Computing-in-Memory-based One-Class Hyperdimensional Computing Model for Outlier Detection

abstract: In this work, we present ODHD, an algorithm for outlier detection based on hyperdimensional computing (HDC), a non-classical learning paradigm. Along with the HDC-based algorithm, we propose IM-ODHD, a computing-in-memory (CiM) implementation based on hardware/software (HW/SW) codesign for improved latency and energy efficiency. The training and testing phases of ODHD may be performed with conventional CPU/GPU hardware or our IM-ODHD, SRAM-based CiM architecture using the proposed HW/SW codesign techniques. We evaluate the performance of ODHD on six datasets from different application domains using three metrics, namely accuracy, F1 score, and ROC-AUC, and compare it with multiple baseline methods such as OCSVM, isolation forest, and autoencoder. The experimental results indicate that ODHD outperforms all the baseline methods in terms of these three metrics on every dataset for both CPU/GPU and CiM implementations. Furthermore, we perform an extensive design space exploration to demonstrate the tradeoff between delay, energy efficiency, and performance of ODHD. We demonstrate that the HW/SW codesign implementation of the outlier detection on IM-ODHD is able to outperform the GPU-based implementation of ODHD by at least 331.5x/889x in terms of training/testing latency (and on average 14.0x/36.9x in terms of training/testing energy consumption.


title: On the Adversarial Robustness of Graph Contrastive Learning Methods

abstract: Contrastive learning (CL) has emerged as a powerful framework for learning representations of images and text in a self-supervised manner while enhancing model robustness against adversarial attacks. More recently, researchers have extended the principles of contrastive learning to graph-structured data, giving birth to the field of graph contrastive learning (GCL). However, whether GCL methods can deliver the same advantages in adversarial robustness as their counterparts in the image and text domains remains an open question. In this paper, we introduce a comprehensive robustness evaluation protocol tailored to assess the robustness of GCL models. We subject these models to adaptive adversarial attacks targeting the graph structure, specifically in the evasion scenario. We evaluate node and graph classification tasks using diverse real-world datasets and attack strategies. With our work, we aim to offer insights into the robustness of GCL methods and hope to open avenues for potential future research directions.