title: Resonant soft X-ray scattering reveals hierarchical structure in a multi-component vapor-deposited glass

abstract: Multi-phase vapor-deposited glasses are an important class of materials for organic electronics, particularly organic photovoltaics and thermoelectrics. These blends are frequently regarded as molecular alloys and there have been few studies of their structure at nanometer scales. Here we show that a co-deposited system of TPD and Disperse Orange 37, two small molecule glass-formers, separates into compositionally distinct phases with a domain size and spacing that depends on substrate temperature during deposition. Domains rich in one of the two components become larger and more pure at higher deposition temperatures. We use resonant soft X-ray scattering (RSoXS) complemented with Atomic Force Microscopy (AFM) and photo-induced force microscopy (PiFM) to measure the phase separation, topography, and purity of the deposited films. A forward-simulation approach to RSoXS analysis, the National Institute of Standards and Technology (NIST) RSoXS Simulation Suite (NRSS), is used with models developed from AFM images to evaluate the energy dependence of scattering across multiple length scales and interpret the RSoXS with respect to structure within the films. We find that the RSoXS is sensitive to a hidden length scale of phase separation that is not apparent from the AFM characterization alone. We demonstrate that vacuum scattering, which is often ignored in RSoXS analysis, contributes significantly to the features and energy dependence of the RSoXS pattern, and then illustrate how to properly account for vacuum scattering to analyze films with significant roughness. We then use this analysis framework to understand structure development mechanisms that occur during vapor deposition of a TPD-DO37 co-deposited glass with results that outline paths to tune morphology in multi-component materials.


title: Can Tree Based Approaches Surpass Deep Learning in Anomaly Detection? A Benchmarking Study

abstract: Detection of anomalous situations for complex mission-critical systems holds paramount importance when their service continuity needs to be ensured. A major challenge in detecting anomalies from the operational data arises due to the imbalanced class distribution problem since the anomalies are supposed to be rare events. This paper evaluates a diverse array of machine learning-based anomaly detection algorithms through a comprehensive benchmark study. The paper contributes significantly by conducting an unbiased comparison of various anomaly detection algorithms, spanning classical machine learning including various tree-based approaches to deep learning and outlier detection methods. The inclusion of 104 publicly available and a few proprietary industrial systems datasets enhances the diversity of the study, allowing for a more realistic evaluation of algorithm performance and emphasizing the importance of adaptability to real-world scenarios. The paper dispels the deep learning myth, demonstrating that though powerful, deep learning is not a universal solution in this case. We observed that recently proposed tree-based evolutionary algorithms outperform in many scenarios. We noticed that tree-based approaches catch a singleton anomaly in a dataset where deep learning methods fail. On the other hand, classical SVM performs the best on datasets with more than 10% anomalies, implying that such scenarios can be best modeled as a classification problem rather than anomaly detection. To our knowledge, such a study on a large number of state-of-the-art algorithms using diverse data sets, with the objective of guiding researchers and practitioners in making informed algorithmic choices, has not been attempted earlier.


title: How do Large Language Models Navigate Conflicts between Honesty and Helpfulness?

abstract: In day-to-day communication, people often approximate the truth - for example, rounding the time or omitting details - in order to be maximally helpful to the listener. How do large language models (LLMs) handle such nuanced trade-offs? To address this question, we use psychological models and experiments designed to characterize human behavior to analyze LLMs. We test a range of LLMs and explore how optimization for human preferences or inference-time reasoning affects these trade-offs. We find that reinforcement learning from human feedback improves both honesty and helpfulness, while chain-of-thought prompting skews LLMs towards helpfulness over honesty. Finally, GPT-4 Turbo demonstrates human-like response patterns including sensitivity to the conversational framing and listener's decision context. Our findings reveal the conversational values internalized by LLMs and suggest that even these abstract values can, to a degree, be steered by zero-shot prompting.


title: Power Transformer Fault Prediction Based on Knowledge Graphs

abstract: In this paper, we address the challenge of learning with limited fault data for power transformers. Traditional operation and maintenance tools lack effective predictive capabilities for potential faults. The scarcity of extensive fault data makes it difficult to apply machine learning techniques effectively. To solve this problem, we propose a novel approach that leverages the knowledge graph (KG) technology in combination with gradient boosting decision trees (GBDT). This method is designed to efficiently learn from a small set of high-dimensional data, integrating various factors influencing transformer faults and historical operational data. Our approach enables accurate safe state assessments and fault analyses of power transformers despite the limited fault characteristic data. Experimental results demonstrate that this method outperforms other learning approaches in prediction accuracy, such as artificial neural networks (ANN) and logistic regression (LR). Furthermore, it offers significant improvements in progressiveness, practicality, and potential for widespread application.


title: CLIPPER: Robust Data Association without an Initial Guess

abstract: Identifying correspondences in noisy data is a critically important step in estimation processes. When an informative initial estimation guess is available, the data association challenge is less acute; however, the existence of a high-quality initial guess is rare in most contexts. We explore graph-theoretic formulations for data association, which do not require an initial estimation guess. Existing graph-theoretic approaches optimize over unweighted graphs, discarding important consistency information encoded in weighted edges, and frequently attempt to solve NP-hard problems exactly. In contrast, we formulate a new optimization problem that fully leverages weighted graphs and seeks the densest edge-weighted clique. We introduce two relaxations to this problem: a convex semidefinite relaxation which we find to be empirically tight, and a fast first-order algorithm called CLIPPER which frequently arrives at nearly-optimal solutions in milliseconds. When evaluated on point cloud registration problems, our algorithms remain robust up to at least 95% outliers while existing algorithms begin breaking down at 80% outliers. Code is available at https://mit-acl.github.io/clipper.


title: The effects of interparticle cohesion on the collapse of granular columns

abstract: The presence of interparticle cohesion can drastically change the behavior of granular materials. For instance, powders are challenging to handle, and one can make a sandcastle using wet grains. In this study, we report experimental results for columns of model cohesive grains collapsing under their own weight in air and spreading on a rough horizontal surface. The effects of two different sources of interparticle cohesion on two collapse geometries are compared and rationalized in a common framework. Grains are made cohesive by adding a small amount of water, such that they are in the pendular state, or by applying a polymer coating. The effects of cohesion are reported for a cylindrical column that spreads unconfined axisymmetrically and a confined rectangular column that flows in a single direction. A dimensionless number, comparing macroscopic cohesive strength to particle weight, is shown to capture the effects of cohesion on the final morphology. To this end, a characterization of the cohesive strength of the granular materials is obtained, independent of the physical source of cohesion at the particle scale. Such a framework allows for a common description of cohesive granular materials with different sources of cohesion.


title: From cssc-crossed modules to categorical groups

abstract: For any cssc-crossed module a category is constructed, equipped with a structure and proved that this is a coherent categorical group. Together with a result of the previous paper, where to any categorical group the cssc-crossed module is associated, this construction will enable us to prove an equivalence between the categories of categorical groups and of cssc-crossed modules in the sequel to this paper.


title: Solutions of generalized supergravity equations with the BTZ black hole metric

abstract: We proceed to investigate the solutions of generalized supergravity equations (GSE) in three dimensions. Our candidate is the metric of BTZ black hole. It is shown that only the cases with $J=M=0$ and $J=0,~ M\neq 0$ of the BTZ metric satisfy the GSE. In the former, we find a family of solutions including the field strength $H_{_{r \varphi t}}=2r/l$, the cosmological constant $\Lambda=-1/l^2$, one-form $Z_{\mu}$ and a vector field which is obtained to be a linear combination of the directions of the time translation and rotational symmetries. In the latter, the solutions possess the same field strength as before, while the cosmological constant $\Lambda$, one-form $Z_{\mu}$ and vector field $I$ will be different from the previous case. Finally, we show that the charged black string solution found by Horne and Horowitz, which is Abelian T-dual to the the BTZ black hole solution, can be considered as a solution for the GSE.


title: Extending inner product for Hilbert C*-modules by ideals

abstract: We use essential ideals in a C*-algebra $A$ to extend the inner product on a Hilbert C*-module $M$ to a greater C*-submodule of the dual Banach module $M'$. This extension may go beyond the second dual module $M''$.


title: Virtual reassembling of 3D fragments for the data-driven analysis of fracture mechanisms in composite materials

abstract: This paper introduces a novel method for characterizing fracture mechanisms in composite materials using 3D image data gained by computed tomography (CT) measurements. In mineral liberation, the understanding of these mechanisms is crucial, particularly whether fractures occur along the boundaries of mineral phases (intergranular fracture) and/or within mineral phases (transgranular fracture). Conventional techniques for analyzing fracture mechanisms are focused on globally comparing the surface exposure of mineral phases extracted from image measurements before and after fracture. Instead, we present a virtual reassembling algorithm based on image registration techniques, which is applied to 3D data of composite materials before and after fracture in order to determine and characterize the individual fracture surfaces. This enables us to conduct a local quantitative analysis of fracture mechanisms by voxelwise comparing adjacent regions at fracture surfaces. A quantitative analysis of fracture mechanisms is especially important in the context of geometallurgical recycling processes. As primary deposits are decreasing worldwide, the focus is shifting to secondary raw materials containing low concentrations of valuable elements such as lithium. To extract these elements, they can be enriched as engineered artificial minerals in the slag phase of appropriately designed cooling processes. The subsequent liberation through comminution processes, such as crushing, is essential for the extraction of valuable minerals. A better understanding of crushing processes, especially fracture mechanisms in slags, is crucial for the success of recycling. The reassembling algorithm presented in this paper is evaluated through a simulation study, followed by an application to a naturally occurring ore and a slag resulting from a recycling process.


title: SRG/ART-XC Galactic Plane Survey near Galactic Longitude $l\simeq20^\circ$: Catalog of Sources

abstract: We present a catalog of sources detected by the Mikhail Pavlinsky ART-XC telescope onboard the SRG space observatory during the observations of the Galactic plane region near a longitude $l\simeq20$ deg (L20 field) in October 2019. The L20 field was observed four times in the scanning mode, which provided a uniform coverage of the sky region with a total area of $\simeq24$ sq. deg with a median sensitivity of $8\times10^{-13}$ erg s$^{-1}$ cm$^{-2}$ (at 50% detection completeness) in the 4$-$12 keV. As a result, we have detected 29 X-ray sources at a statistically significant level, 11 of which have not been detected previously by other X-ray observatories. Preliminary estimates show that four of them can presumably be extragalactic in nature. We also show that the source SRGA J183220.1$-$103508 (CXOGSG J183220.8$-$103510), is most likely a galaxy cluster containing a bright radio galaxy at redshift $z\simeq0.121$.


title: Influence of high pressure on Ce3+ luminescence in LuAlO3 and YAlO3 single crystals and single crystalline layers

abstract: Results of spectroscopic studies at ambient and high pressures of a LuAlO3:Ce3+ (LuAP:Ce) single crystalline film (SCF) as well as LuAP:Ce and YAlO3:Ce (YAP:Ce) single crystals are reported. Room temperature absorption measurements of the single crystals in the vacuum UV region allowed establishing the bandgap energies of 7.63 eV for YAP and 7.86 eV for LuAP, with an assumption of the direct band-gaps. Luminescence of Ce3+ in LuAP and YAP bulk crystals was measured as a function of temperature from 6 K up to 873 K. Temperature quenching of the Ce3+ luminescence in YAP:Ce was observed above 650 K, which is related to the location of the lowest Ce3+ 5d level at 1.27 eV below the conduction band minimum. No temperature quenching occurred in LuAP:Ce up to 873 K, mostly due to the lower energy of the 4f levels with respect to the valence band maximum. The barycenter energies and splittings of Ce3+ 5d states in YAP and LuAP at room temperature were precisely established. Theoretical calculations of the Ce3+ 5d states energy structure under pressure revealed a discrepancy between the obtained experimental results and the prediction of Dorenbos' theoretical model. The discrepancy can be removed if instead of the 5d state of the free Ce3+ ion the bandgap of the compound is taken as reference energy for the red shift of the 5d level. This hypothesis also allows us to take into account the pressure-induced increase of the bandgap energy, expected for the studied compounds. Pressure dependences of LuAP:Ce luminescence spectra suggest that a certain type of phase transition occurs above 15 GPa.


title: Walsh's Conformal Map onto Lemniscatic Domains for Several Intervals

abstract: We consider Walsh's conformal map from the complement of a compact set $E = \cup_{j=1}^\ell E_j$ with $\ell$ components onto a lemniscatic domain $\widehat{\mathbb{C}} \setminus L$, where $L$ has the form $L = \{ w \in \mathbb{C} : \prod_{j=1}^\ell \lvert w - a_j \rvert^{m_j} \leq \operatorname{cap}(E) \}$. We prove that the exponents $m_j$ appearing in $L$ satisfy $m_j = \mu_E(E_j)$, where $\mu_E$ is the equilibrium measure of $E$. When $E$ is the union of $\ell$ real intervals, we derive a fast algorithm for computing the centers $a_1, \ldots, a_\ell$. For $\ell = 2$, the formulas for $m_1, m_2$ and $a_1, a_2$ are explicit. Moreover, we obtain the conformal map numerically. Our approach relies on the real and complex Green's functions of $\widehat{\mathbb{C}} \setminus E$ and $\widehat{\mathbb{C}} \setminus L$.


title: Varieties of modal algebras without the congruence extension property

abstract: In a recent paper, Krawczyk proved that there are continuum many axiomatic extensions of global consequence associated with the modal system $E$ that do not admit the local deduction detachment theorem. In algebraic parlance, he showed that there are continuum many varieties of modal algebras lacking the congruence extension property. In this paper, we extend Krawczyk's results and construct a continuum of varieties of modal algebras that do not have the congruence extension property, but that do admit other, logically relevant properties, such as monotonicity, extensiveness, idempotency, normality, etc. This gives a continuum of axiomatic extensions of the corresponding modal systems not having the local deduction detachment theorem.


title: On the Effectiveness of Machine Learning-based Call Graph Pruning: An Empirical Study

abstract: Static call graph (CG) construction often over-approximates call relations, leading to sound, but imprecise results. Recent research has explored machine learning (ML)-based CG pruning as a means to enhance precision by eliminating false edges. However, current methods suffer from a limited evaluation dataset, imbalanced training data, and reduced recall, which affects practical downstream analyses. Prior results were also not compared with advanced static CG construction techniques yet. This study tackles these issues. We introduce the NYXCorpus, a dataset of real-world Java programs with high test coverage and we collect traces from test executions and build a ground truth of dynamic CGs. We leverage these CGs to explore conservative pruning strategies during the training and inference of ML-based CG pruners. We conduct a comparative analysis of static CGs generated using zero control flow analysis (0-CFA) and those produced by a context-sensitive 1-CFA algorithm, evaluating both with and without pruning. We find that CG pruning is a difficult task for real-world Java projects and substantial improvements in the CG precision (+25%) meet reduced recall (-9%). However, our experiments show promising results: even when we favor recall over precision by using an F2 metric in our experiments, we can show that pruned CGs have comparable quality to a context-sensitive 1-CFA analysis while being computationally less demanding. Resulting CGs are much smaller (69%), and substantially faster (3.5x speed-up), with virtually unchanged results in our downstream analysis.


title: Training Heterogeneous Client Models using Knowledge Distillation in Serverless Federated Learning

abstract: Federated Learning (FL) is an emerging machine learning paradigm that enables the collaborative training of a shared global model across distributed clients while keeping the data decentralized. Recent works on designing systems for efficient FL have shown that utilizing serverless computing technologies, particularly Function-as-a-Service (FaaS) for FL, can enhance resource efficiency, reduce training costs, and alleviate the complex infrastructure management burden on data holders. However, existing serverless FL systems implicitly assume a uniform global model architecture across all participating clients during training. This assumption fails to address fundamental challenges in practical FL due to the resource and statistical data heterogeneity among FL clients. To address these challenges and enable heterogeneous client models in serverless FL, we utilize Knowledge Distillation (KD) in this paper. Towards this, we propose novel optimized serverless workflows for two popular conventional federated KD techniques, i.e., FedMD and FedDF. We implement these workflows by introducing several extensions to an open-source serverless FL system called FedLess. Moreover, we comprehensively evaluate the two strategies on multiple datasets across varying levels of client data heterogeneity using heterogeneous client models with respect to accuracy, fine-grained training times, and costs. Results from our experiments demonstrate that serverless FedDF is more robust to extreme non-IID data distributions, is faster, and leads to lower costs than serverless FedMD. In addition, compared to the original implementation, our optimizations for particular steps in FedMD and FedDF lead to an average speedup of 3.5x and 1.76x across all datasets.


title: Estimating the Mixing Coefficients of Geometrically Ergodic Markov Processes

abstract: We propose methods to estimate the individual $\beta$-mixing coefficients of a real-valued geometrically ergodic Markov process from a single sample-path $X_0,X_1, \dots,X_n$. Under standard smoothness conditions on the densities, namely, that the joint density of the pair $(X_0,X_m)$ for each $m$ lies in a Besov space $B^s_{1,\infty}(\mathbb R^2)$ for some known $s>0$, we obtain a rate of convergence of order $\mathcal{O}(\log(n) n^{-[s]/(2[s]+2)})$ for the expected error of our estimator in this case\footnote{We use $[s]$ to denote the integer part of the decomposition $s=[s]+\{s\}$ of $s \in (0,\infty)$ into an integer term and a {\em strictly positive} remainder term $\{s\} \in (0,1]$.}. We complement this result with a high-probability bound on the estimation error, and further obtain analogues of these bounds in the case where the state-space is finite. Naturally no density assumptions are required in this setting; the expected error rate is shown to be of order $\mathcal O(\log(n) n^{-1/2})$.


title: On Robust Measures of Spatial Correlation

abstract: As a rule statistical measures are often vulnerable to the presence of outliers and spatial correlation coefficients, critical in the assessment of spatial data, remain susceptible to this inherent flaw. In contexts where data originates from a variety of domains (such as, e. g., socio-economic, environmental or epidemiological disciplines) it is quite common to encounter not just anomalous data points, but also non-normal distributions. These irregularities can significantly distort the broader analytical landscape often masking significant spatial attributes. This paper embarks on a mission to enhance the resilience of traditional spatial correlation metrics, specifically the Moran Coefficient (MC), Geary's Contiguity ratio (GC), and the Approximate Profile Likelihood Estimator (APLE) and to propose a series of alternative measures. Drawing inspiration from established analytical paradigms, our research harnesses the power of influence function studies to examine the robustness of the proposed novel measures in the presence of different outlier scenarios.


title: Supervised Reconstruction for Silhouette Tomography

abstract: In this paper, we introduce silhouette tomography, a novel formulation of X-ray computed tomography that relies only on the geometry of the imaging system. We formulate silhouette tomography mathematically and provide a simple method for obtaining a particular solution to the problem, assuming that any solution exists. We then propose a supervised reconstruction approach that uses a deep neural network to solve the silhouette tomography problem. We present experimental results on a synthetic dataset that demonstrate the effectiveness of the proposed method.


title: Quantum Quality with Classical Cost: Ab Initio Nonadiabatic Dynamics Simulations using the Mapping Approach to Surface Hopping

abstract: Nonadiabatic dynamics methods are an essential tool for investigating photochemical processes. In the context of employing first principles electronic structure techniques, such simulations can be carried out in a practical manner using semiclassical trajectory-based methods or wave packet approaches. While all approaches applicable to first principles simulations are necessarily approximate, it is commonly thought that wave packet approaches offer inherent advantages over their semiclassical counterparts in terms of accuracy, and that this trait simply comes at a higher computational cost. Here we demonstrate that the mapping approach to surface hopping (MASH), a recently introduced trajectory-based nonadiabatic dynamics method, can be efficiently applied in tandem with ab initio electronic structure. Our results even suggest that MASH may provide more accurate results than on-the-fly wave packet techniques, all at a much lower computational cost.


title: SPICA: Interactive Video Content Exploration through Augmented Audio Descriptions for Blind or Low-Vision Viewers

abstract: Blind or Low-Vision (BLV) users often rely on audio descriptions (AD) to access video content. However, conventional static ADs can leave out detailed information in videos, impose a high mental load, neglect the diverse needs and preferences of BLV users, and lack immersion. To tackle these challenges, we introduce SPICA, an AI-powered system that enables BLV users to interactively explore video content. Informed by prior empirical studies on BLV video consumption, SPICA offers novel interactive mechanisms for supporting temporal navigation of frame captions and spatial exploration of objects within key frames. Leveraging an audio-visual machine learning pipeline, SPICA augments existing ADs by adding interactivity, spatial sound effects, and individual object descriptions without requiring additional human annotation. Through a user study with 14 BLV participants, we evaluated the usability and usefulness of SPICA and explored user behaviors, preferences, and mental models when interacting with augmented ADs.


title: LISR: Learning Linear 3D Implicit Surface Representation Using Compactly Supported Radial Basis Functions

abstract: Implicit 3D surface reconstruction of an object from its partial and noisy 3D point cloud scan is the classical geometry processing and 3D computer vision problem. In the literature, various 3D shape representations have been developed, differing in memory efficiency and shape retrieval effectiveness, such as volumetric, parametric, and implicit surfaces. Radial basis functions provide memory-efficient parameterization of the implicit surface. However, we show that training a neural network using the mean squared error between the ground-truth implicit surface and the linear basis-based implicit surfaces does not converge to the global solution. In this work, we propose locally supported compact radial basis functions for a linear representation of the implicit surface. This representation enables us to generate 3D shapes with arbitrary topologies at any resolution due to their continuous nature. We then propose a neural network architecture for learning the linear implicit shape representation of the 3D surface of an object. We learn linear implicit shapes within a supervised learning framework using ground truth Signed-Distance Field (SDF) data for guidance. The classical strategies face difficulties in finding linear implicit shapes from a given 3D point cloud due to numerical issues (requires solving inverse of a large matrix) in basis and query point selection. The proposed approach achieves better Chamfer distance and comparable F-score than the state-of-the-art approach on the benchmark dataset. We also show the effectiveness of the proposed approach by using it for the 3D shape completion task.


title: A Review of the GIC Blocker Placement Problem

abstract: Space weather poses a tremendous threat to power systems: geomagnetic disturbances could result in widespread disruptions and long-duration blackouts, including severe damage to system components. To mitigate their impacts, a handful of strategies exist, with the most promising being the deployment of transformer neutral blocking devices. The high cost of these devices, however, precludes their installation at all substations; this motivates the development of effective solutions for the cost-effective placement of such devices. While the current state-of-the-art in blocker placement methods is insufficient to be applied to real-sized power grids, ongoing research continues to increase the size of networks for which the placement problem remains tractable. Along these lines, the contributions of this paper are two fold: first, a comprehensive overview of the current state-of-the-art in blocker placement methods is provided; and second, a complete optimization formulation - implemented and benchmarked in an open-source software - for the blocker placement problem is presented.


title: Analysing cycloids using linear algebra

abstract: Cycloids are particular Petri nets for modelling processes of actions or events. They belong to the fundaments of Petri's general systems theory and have very different interpretations, ranging from Einstein's relativity theory and elementary information processing gates to the modelling of interacting sequential processes. This article contains previously unpublished proofs of cycloid properties using linear algebra.


title: Insights into Natural Language Database Query Errors: From Attention Misalignment to User Handling Strategies

abstract: Querying structured databases with natural language (NL2SQL) has remained a difficult problem for years. Recently, the advancement of machine learning (ML), natural language processing (NLP), and large language models (LLM) have led to significant improvements in performance, with the best model achieving ~85% percent accuracy on the benchmark Spider dataset. However, there is a lack of a systematic understanding of the types, causes, and effectiveness of error-handling mechanisms of errors for erroneous queries nowadays. To bridge the gap, a taxonomy of errors made by four representative NL2SQL models was built in this work, along with an in-depth analysis of the errors. Second, the causes of model errors were explored by analyzing the model-human attention alignment to the natural language query. Last, a within-subjects user study with 26 participants was conducted to investigate the effectiveness of three interactive error-handling mechanisms in NL2SQL. Findings from this paper shed light on the design of model structure and error discovery and repair strategies for natural language data query interfaces in the future.


title: Spontaneous Symmetry Breaking in Polar Fluids

abstract: Spontaneous symmetry breaking and emergent polar order are each of fundamental importance to a range of scientific disciplines, as well as generating rich phase behaviour in liquid crystals (LCs). Here, we show the union of these phenomena to lead to two previously undiscovered polar liquid states of matter. Both phases have a lamellar structure with an inherent polar ordering of their constituent molecules. The first of these phases is characterised by polar order and a local tilted structure; the tilt direction precesses about a helix orthogonal to the layer normal, the period of which is such that we observe selective reflection of light. The second new phase type is anti-ferroelectric, with the constituent molecules aligning orthogonally to the layer normal. This has led us to term the phases the SmC_P^H and SmAAF phases, respectively. Further to this, we obtain room temperature ferroelectric nematic (NF) and SmC_P^Hphases via binary mixture formulation of the novel materials described here with a standard NF compound (DIO), with the resultant materials having melting points (and/or glass transitions) which are significantly below ambient temperature.


title: Sardinia Radio Telescope observations of the Coma Cluster

abstract: We present deep total intensity and polarization observations of the Coma cluster at 1.4 and 6.6 GHz performed with the Sardinia Radio Telescope. By combining the single-dish 1.4 GHz data with archival Very Large Array observations we obtain new images of the central radio halo and of the peripheral radio relic where we properly recover the brightness from the large scale structures. At 6.6 GHz we detect both the relic and the central part of the halo in total intensity and polarization. These are the highest frequency images available to date for these radio sources in this galaxy cluster. In the halo, we find a localized spot of polarized signal, with fractional polarization of about 45%. The polarized emission possibly extends along the north-east side of the diffuse emission. The relic is highly polarized, up to 55%, as usually found for these sources. We confirm the halo spectrum is curved, in agreement with previous single-dish results. The spectral index is alpha=1.48 +/- 0.07 at a reference frequency of 1 GHz and varies from alpha ~1.1, at 0.1 GHz, up to alpha ~ 1.8, at 10 GHz. We compare the Coma radio halo surface brightness profile at 1.4 GHz (central brightness and e-folding radius) with the same properties of the other halos, and we find that it has one of the lowest emissivities observed so far. Reanalyzing the relic's spectrum in the light of the new data, we obtain a refined radio Mach number of M=2.9 +/- 0.1.


title: Self-Consistent Conformal Prediction

abstract: In decision-making guided by machine learning, decision-makers may take identical actions in contexts with identical predicted outcomes. Conformal prediction helps decision-makers quantify uncertainty in point predictions of outcomes, allowing for better risk management for actions. Motivated by this perspective, we introduce \textit{Self-Consistent Conformal Prediction} for regression, which combines two post-hoc approaches -- Venn-Abers calibration and conformal prediction -- to provide calibrated point predictions and compatible prediction intervals that are valid conditional on model predictions. Our procedure can be applied post-hoc to any black-box model to provide predictions and inferences with finite-sample prediction-conditional guarantees. Numerical experiments show our approach strikes a balance between interval efficiency and conditional validity.


title: The Aubin-Lions-Dubinskii theorems on compactness in Bochner spaces

abstract: A fundamental issue in the theory of time-dependent differential equations is to characterize precompact sets in Bochner spaces. We here survey the theory, starting with the classical Aubin-Lions inequality and its important extension by Dubinskii. In particular, we give a simple and self-contained proof of the compactness result due to Chen, Jungel, and Liu.


title: HyperBERT: Mixing Hypergraph-Aware Layers with Language Models for Node Classification on Text-Attributed Hypergraphs

abstract: Hypergraphs are characterized by complex topological structure, representing higher-order interactions among multiple entities through hyperedges. Lately, hypergraph-based deep learning methods to learn informative data representations for the problem of node classification on text-attributed hypergraphs have garnered increasing research attention. However, existing methods struggle to simultaneously capture the full extent of hypergraph structural information and the rich linguistic attributes inherent in the nodes attributes, which largely hampers their effectiveness and generalizability. To overcome these challenges, we explore ways to further augment a pretrained BERT model with specialized hypergraph-aware layers for the task of node classification. Such layers introduce higher-order structural inductive bias into the language model, thus improving the model's capacity to harness both higher-order context information from the hypergraph structure and semantic information present in text. In this paper, we propose a new architecture, HyperBERT, a mixed text-hypergraph model which simultaneously models hypergraph relational structure while maintaining the high-quality text encoding capabilities of a pre-trained BERT. Notably, HyperBERT presents results that achieve a new state-of-the-art on five challenging text-attributed hypergraph node classification benchmarks.


title: BioNeRF: Biologically Plausible Neural Radiance Fields for View Synthesis

abstract: This paper presents BioNeRF, a biologically plausible architecture that models scenes in a 3D representation and synthesizes new views through radiance fields. Since NeRF relies on the network weights to store the scene's 3-dimensional representation, BioNeRF implements a cognitive-inspired mechanism that fuses inputs from multiple sources into a memory-like structure, improving the storing capacity and extracting more intrinsic and correlated information. BioNeRF also mimics a behavior observed in pyramidal cells concerning contextual information, in which the memory is provided as the context and combined with the inputs of two subsequent neural models, one responsible for producing the volumetric densities and the other the colors used to render the scene. Experimental results show that BioNeRF outperforms state-of-the-art results concerning a quality measure that encodes human perception in two datasets: real-world images and synthetic data.


title: Two-loop non-planar four-point topology with massive internal loop

abstract: We study a set of two-loop non-planar master integrals needed for the NNLO QCD corrections to diphoton and dijet production at hadron colliders. The top-sector topology contains an internal massive fermion loop and is known to contain elliptic curves. Leveraging the method of differential equations, we provide a comprehensive discussion for deriving an $\epsilon$-factorized differential equation related to the most intricate sector within the Feynman integral family. Despite the dependence on multiple scales and the presence of two elliptic sectors, we demonstrate how to leverage the properties of their maximal cuts and the factorization of the Picard-Fuchs operator to deal with the complexity of the analytic computation. In particular, we construct a transformation matrix that brings the differential equations into a format enabling the convenient expression of analytic results in terms of Chen's iterated integrals.


title: Exploring the detection of AQNs in large liquid detectors

abstract: Recent work from the last years has raised the possibility that a portion of Dark Matter could consist of exotic particles, such as axion (anti)quark nuggets (AQN, A\bar{Q}N). After a brief review outlining the main features of axion antiquark nuggets, we explore potential experimental signatures that can be leveraged to search for these stable supermassive particles in future surface and underground experiments using large liquid detectors. These expected signals are discussed in relation to the specific characteristics of each detection system.


title: Compromise-Free Scaling of Qubit Speed and Coherence

abstract: Across a broad range of qubits, a pervasive trade-off becomes obvious: increased coherence seems to be only possible at the cost of qubit speed. This is consistent with the notion that protecting a qubit from its noisy surroundings also limits the control over it. Indeed, from ions to atoms, to superconductors and spins, the leading qubits share a similar Q-factor - the product of speed and coherence time - even though the speed and coherence of various qubits can differ by up to 8 orders of magnitude. This is the qubit speed-coherence dilemma: qubits are either coherent but slow or fast but short-lived. Here, we demonstrate a qubit for which we can triple the speed while simultaneously quadrupling the Hahn-echo coherence time when tuning a local electric field. In this way, the qubit speed and coherence scale together without compromise on either quantity, boosting the Q-factor by over an order of magnitude. Our qubit is a hole spin in a Ge/Si core/shell nanowire providing strong 1D confinement, resulting in the direct Rashba spin-orbit interaction. Due to Heavy-hole light-hole mixing a maximum of the spin-orbit strength is reached at finite electrical field. At the local maximum, charge fluctuations are decoupled from the qubit and coherence is enhanced, yet the drive speed becomes maximal. Our proof-of-concept experiment shows that a properly engineered qubit can be made faster and simultaneously more coherent, removing an important roadblock. Further, it demonstrates that through all-electrical control a qubit can be sped up, without coupling more strongly to the electrical noise environment. As charge fluctuators are unavoidable in semiconductors and all-electrical control is highly scalable, our results improve the prospects for quantum computing in Si and Ge.


title: Online Iterative Reinforcement Learning from Human Feedback with General Preference Model

abstract: We study Reinforcement Learning from Human Feedback (RLHF) under a general preference oracle. In particular, we do not assume that there exists a reward function and the preference signal is drawn from the Bradley-Terry model as most of the prior works do. We consider a standard mathematical formulation, the reverse-KL regularized minimax game between two LLMs for RLHF under general preference oracle. The learning objective of this formulation is to find a policy so that it is consistently preferred by the KL-regularized preference oracle over any competing LLMs. We show that this framework is strictly more general than the reward-based one, and propose sample-efficient algorithms for both the offline learning from a pre-collected preference dataset and online learning where we can query the preference oracle along the way of training. Empirical studies verify the effectiveness of the proposed framework.


title: On-Premises Superconducting Quantum Computer for Education and Research

abstract: With a growing interest in quantum technology globally, there is an increasing need for accessing relevant physical systems for education and research. In this paper we introduce a commercially available on-site quantum computer utilizing superconducting technology, offering insights into its fundamental hardware and software components. We show how this system can be used in education to teach quantum concepts and deepen understanding of quantum theory and quantum computing. It offers learning opportunities for future talent and contributes to technological progress. Additionally, we demonstrate its use in research by replicating some notable recent achievements.


title: Bounds on Growth and Impossibility of Collapse for Point Vortex Systems

abstract: We consider 2D point vortex systems and, under certain conditions on the masses of the point vortices, prove that collapse is impossible and provide bounds on the growth of the system. The bounds are typically of the form $O(t^a)$ for some $a<1/2$, but we obtain various results for various assumptions on the masses.


title: Congruences of modular forms and modularity of Tate-Shafarevich classes

abstract: We prove, under suitable assumptions, that $p$-torsion Tate-Shafarevich classes for elliptic curves over the rationals are visible in quotients of Jacobians of modular curves, as predicted by a conjecture of Jetchev-Stein. The key ingredient is the non-triviality of the Bertolini-Darmon bipartite Kolyvagin system, which implies that suitable cohomology classes of the system form a basis of the Selmer group modulo $p$.


title: Position: Optimization in SciML Should Employ the Function Space Geometry

abstract: Scientific machine learning (SciML) is a relatively new field that aims to solve problems from different fields of natural sciences using machine learning tools. It is well-documented that the optimizers commonly used in other areas of machine learning perform poorly on many SciML problems. We provide an infinite-dimensional view on optimization problems encountered in scientific machine learning and advocate for the paradigm first optimize, then discretize for their solution. This amounts to first choosing an appropriate infinite-dimensional algorithm which is then discretized in a second step. To illustrate this point, we show that recently proposed state-of-the-art algorithms for SciML applications can be derived within this framework. As the infinite-dimensional viewpoint is presently underdeveloped in scientific machine learning, we formalize it here and advocate for its use in SciML in the development of efficient optimization algorithms.


title: ODIN: Disentangled Reward Mitigates Hacking in RLHF

abstract: In this work, we study the issue of reward hacking on the response length, a challenge emerging in Reinforcement Learning from Human Feedback (RLHF) on LLMs. A well-formatted, verbose but less helpful response from the LLMs can often deceive LLMs or even human evaluators to achieve high scores. The same issue also holds for some reward models in RL. To address the challenges in both training and evaluation, we establish a more reliable evaluation protocol for comparing different training configurations, which inspects the trade-off between LLM evaluation score and response length obtained by varying training hyperparameters. Based on this evaluation, we conduct large-scale studies, where the results shed insights into the efficacy of hyperparameters and tricks used in RL on mitigating length bias. We further propose to improve the reward model by jointly training two linear heads on shared feature representations to predict the rewards, one trained to correlate with length, and the other trained to decorrelate with length and therefore focus more on the actual content. We then discard the length head in RL to prevent reward hacking on length. Experiments demonstrate that our approach almost eliminates the reward correlation with length, and improves the obtained policy by a significant margin.


title: Towards Explainable, Safe Autonomous Driving with Language Embeddings for Novelty Identification and Active Learning: Framework and Experimental Analysis with Real-World Data Sets

abstract: This research explores the integration of language embeddings for active learning in autonomous driving datasets, with a focus on novelty detection. Novelty arises from unexpected scenarios that autonomous vehicles struggle to navigate, necessitating higher-level reasoning abilities. Our proposed method employs language-based representations to identify novel scenes, emphasizing the dual purpose of safety takeover responses and active learning. The research presents a clustering experiment using Contrastive Language-Image Pretrained (CLIP) embeddings to organize datasets and detect novelties. We find that the proposed algorithm effectively isolates novel scenes from a collection of subsets derived from two real-world driving datasets, one vehicle-mounted and one infrastructure-mounted. From the generated clusters, we further present methods for generating textual explanations of elements which differentiate scenes classified as novel from other scenes in the data pool, presenting qualitative examples from the clustered results. Our results demonstrate the effectiveness of language-driven embeddings in identifying novel elements and generating explanations of data, and we further discuss potential applications in safe takeovers, data curation, and multi-task active learning.


title: Summing Up the Facts: Additive Mechanisms Behind Factual Recall in LLMs

abstract: How do transformer-based large language models (LLMs) store and retrieve knowledge? We focus on the most basic form of this task -- factual recall, where the model is tasked with explicitly surfacing stored facts in prompts of form `Fact: The Colosseum is in the country of'. We find that the mechanistic story behind factual recall is more complex than previously thought. It comprises several distinct, independent, and qualitatively different mechanisms that additively combine, constructively interfering on the correct attribute. We term this generic phenomena the additive motif: models compute through summing up multiple independent contributions. Each mechanism's contribution may be insufficient alone, but summing results in constructive interfere on the correct answer. In addition, we extend the method of direct logit attribution to attribute an attention head's output to individual source tokens. We use this technique to unpack what we call `mixed heads' -- which are themselves a pair of two separate additive updates from different source tokens.


title: Interference Among First-Price Pacing Equilibria: A Bias and Variance Analysis

abstract: Online A/B testing is widely used in the internet industry to inform decisions on new feature roll-outs. For online marketplaces (such as advertising markets), standard approaches to A/B testing may lead to biased results when buyers operate under a budget constraint, as budget consumption in one arm of the experiment impacts performance of the other arm. To counteract this interference, one can use a budget-split design where the budget constraint operates on a per-arm basis and each arm receives an equal fraction of the budget, leading to ``budget-controlled A/B testing.'' Despite clear advantages of budget-controlled A/B testing, performance degrades when budget are split too small, limiting the overall throughput of such systems. In this paper, we propose a parallel budget-controlled A/B testing design where we use market segmentation to identify submarkets in the larger market, and we run parallel experiments on each submarket. Our contributions are as follows: First, we introduce and demonstrate the effectiveness of the parallel budget-controlled A/B test design with submarkets in a large online marketplace environment. Second, we formally define market interference in first-price auction markets using the first price pacing equilibrium (FPPE) framework. Third, we propose a debiased surrogate that eliminates the first-order bias of FPPE, drawing upon the principles of sensitivity analysis in mathematical programs. Fourth, we derive a plug-in estimator for the surrogate and establish its asymptotic normality. Fifth, we provide an estimation procedure for submarket parallel budget-controlled A/B tests. Finally, we present numerical examples on semi-synthetic data, confirming that the debiasing technique achieves the desired coverage properties.


title: Lessons Learned from Mining the Hugging Face Repository

abstract: The rapidly evolving fields of Machine Learning (ML) and Artificial Intelligence have witnessed the emergence of platforms like Hugging Face (HF) as central hubs for model development and sharing. This experience report synthesizes insights from two comprehensive studies conducted on HF, focusing on carbon emissions and the evolutionary and maintenance aspects of ML models. Our objective is to provide a practical guide for future researchers embarking on mining software repository studies within the HF ecosystem to enhance the quality of these studies. We delve into the intricacies of the replication package used in our studies, highlighting the pivotal tools and methodologies that facilitated our analysis. Furthermore, we propose a nuanced stratified sampling strategy tailored for the diverse HF Hub dataset, ensuring a representative and comprehensive analytical approach. The report also introduces preliminary guidelines, transitioning from repository mining to cohort studies, to establish causality in repository mining studies, particularly within the ML model of HF context. This transition is inspired by existing frameworks and is adapted to suit the unique characteristics of the HF model ecosystem. Our report serves as a guiding framework for researchers, contributing to the responsible and sustainable advancement of ML, and fostering a deeper understanding of the broader implications of ML models.


title: Langmuir-like model of dilute impurities in concentrated solid solutions

abstract: High-entropy alloys have drawn recent interest for their promising mechanical properties and irradiation resistance. Various properties, namely transport properties, are controlled by point defect concentration, which must be known before performing atomistic simulations to compute transport coefficients. In this work, we present a general Langmuir-like model for impurity concentration in an arbitrarily complex solid solution and apply this model to generate expressions for concentrations of vacancies and small interstitial atoms. We then calculate the vacancy concentration as a function of temperature in the equiatomic CoNiCrFeMn and FeAl alloys with modified embedded-atom-method potentials for various chemical orderings, showing there is no clear correlation between vacancy thermodynamics and chemical ordering in the CoNiCrFeMn alloy but clear systematic patterns for FeAl.


title: Adaptive Voronoi-based Column Selection Methods for Interpretable Dimensionality Reduction

abstract: In data analysis, there continues to be a need for interpretable dimensionality reduction methods whereby instrinic meaning associated with the data is retained in the reduced space. Standard approaches such as Principal Component Analysis (PCA) and the Singular Value Decomposition (SVD) fail at this task. A popular alternative is the CUR decomposition. In an SVD-like manner, the CUR decomposition approximates a matrix $A \in \mathbb{R}^{m \times n}$ as $A \approx CUR$, where $C$ and $R$ are matrices whose columns and rows are selected from the original matrix \cite{goreinov1997theory}, \cite{mahoney2009cur}. The difficulty in constructing a CUR decomposition is in determining which columns and rows to select when forming $C$ and $R$. Current column/row selection algorithms, particularly those that rely on an SVD, become infeasible as the size of the data becomes large \cite{dong2021simpler}. We address this problem by reducing the column/row selection problem to a collection of smaller sub-problems. The basic idea is to first partition the rows/columns of a matrix, and then apply an existing selection algorithm on each piece; for illustration purposes we use the Discrete Empirical Interpolation Method (\textsf{DEIM}) \cite{sorensen2016deim}. For the first task, we consider two existing algorithms that construct a Voronoi Tessellation (VT) of the rows and columns of a given matrix. We then extend these methods to automatically adapt to the data. The result is four data-driven row/column selection methods that are well-suited for parallelization, and compatible with nearly any existing column/row selection strategy. Theory and numerical examples show the design to be competitive with the original \textsf{DEIM} routine.


title: Persian Speech Emotion Recognition by Fine-Tuning Transformers

abstract: Given the significance of speech emotion recognition, numerous methods have been developed in recent years to create effective and efficient systems in this domain. One of these methods involves the use of pretrained transformers, fine-tuned to address this specific problem, resulting in high accuracy. Despite extensive discussions and global-scale efforts to enhance these systems, the application of this innovative and effective approach has received less attention in the context of Persian speech emotion recognition. In this article, we review the field of speech emotion recognition and its background, with an emphasis on the importance of employing transformers in this context. We present two models, one based on spectrograms and the other on the audio itself, fine-tuned using the shEMO dataset. These models significantly enhance the accuracy of previous systems, increasing it from approximately 65% to 80% on the mentioned dataset. Subsequently, to investigate the effect of multilinguality on the fine-tuning process, these same models are fine-tuned twice. First, they are fine-tuned using the English IEMOCAP dataset, and then they are fine-tuned with the Persian shEMO dataset. This results in an improved accuracy of 82% for the Persian emotion recognition system. Keywords: Persian Speech Emotion Recognition, shEMO, Self-Supervised Learning


title: Multi-Modal Emotion Recognition by Text, Speech and Video Using Pretrained Transformers

abstract: Due to the complex nature of human emotions and the diversity of emotion representation methods in humans, emotion recognition is a challenging field. In this research, three input modalities, namely text, audio (speech), and video, are employed to generate multimodal feature vectors. For generating features for each of these modalities, pre-trained Transformer models with fine-tuning are utilized. In each modality, a Transformer model is used with transfer learning to extract feature and emotional structure. These features are then fused together, and emotion recognition is performed using a classifier. To select an appropriate fusion method and classifier, various feature-level and decision-level fusion techniques have been experimented with, and ultimately, the best model, which combines feature-level fusion by concatenating feature vectors and classification using a Support Vector Machine on the IEMOCAP multimodal dataset, achieves an accuracy of 75.42%. Keywords: Multimodal Emotion Recognition, IEMOCAP, Self-Supervised Learning, Transfer Learning, Transformer.


title: Computing discrete residues of rational functions

abstract: In 2012 Chen and Singer introduced the notion of discrete residues for rational functions as a complete obstruction to rational summability. More explicitly, for a given rational function f(x), there exists a rational function g(x) such that f(x) = g(x+1) - g(x) if and only if every discrete residue of f(x) is zero. Discrete residues have many important further applications beyond summability: to creative telescoping problems, thence to the determination of (differential-)algebraic relations among hypergeometric sequences, and subsequently to the computation of (differential) Galois groups of difference equations. However, the discrete residues of a rational function are defined in terms of its complete partial fraction decomposition, which makes their direct computation impractical due to the high complexity of completely factoring arbitrary denominator polynomials into linear factors. We develop a factorization-free algorithm to compute discrete residues of rational functions, relying only on gcd computations and linear algebra.


title: The Bias of Harmful Label Associations in Vision-Language Models

abstract: Despite the remarkable performance of foundation vision-language models, the shared representation space for text and vision can also encode harmful label associations detrimental to fairness. While prior work has uncovered bias in vision-language models' (VLMs) classification performance across geography, work has been limited along the important axis of harmful label associations due to a lack of rich, labeled data. In this work, we investigate harmful label associations in the recently released Casual Conversations datasets containing more than 70,000 videos. We study bias in the frequency of harmful label associations across self-provided labels for age, gender, apparent skin tone, and physical adornments across several leading VLMs. We find that VLMs are $4-7$x more likely to harmfully classify individuals with darker skin tones. We also find scaling transformer encoder model size leads to higher confidence in harmful predictions. Finally, we find improvements on standard vision tasks across VLMs does not address disparities in harmful label associations.


title: Expert-Adaptive Medical Image Segmentation

abstract: Medical image segmentation (MIS) plays an instrumental role in medical image analysis, where considerable effort has been devoted to automating the process. Currently, mainstream MIS approaches are based on deep neural networks (DNNs), which are typically trained on a dataset with annotations produced by certain medical experts. In the medical domain, the annotations generated by different experts can be inherently distinct due to complexity of medical images and variations in expertise and post-segmentation missions. Consequently, the DNN model trained on the data annotated by some experts may hardly adapt to a new expert. In this work, we evaluate a customised expert-adaptive method, characterised by multi-expert annotation, multi-task DNN-based model training, and lightweight model fine-tuning, to investigate model's adaptivity to a new expert in the situation where the amount and mobility of training images are limited. Experiments conducted on brain MRI segmentation tasks with limited training data demonstrate its effectiveness and the impact of its key parameters.


title: Fundamental Problems on Bounded-Treewidth Graphs: The Real Source of Hardness

abstract: It is known for many algorithmic problems that if a tree decomposition of width $t$ is given in the input, then the problem can be solved with exponential dependence on $t$. A line of research by Lokshtanov, Marx, and Saurabh [SODA 2011] produced lower bounds showing that in many cases known algorithms achieve the best possible exponential dependence on $t$, assuming the SETH. The main message of our paper is showing that the same lower bounds can be obtained in a more restricted setting: a graph consisting of a block of $t$ vertices connected to components of constant size already has the same hardness as a general tree decomposition of width $t$. Formally, a $(\sigma,\delta)$-hub is a set $Q$ of vertices such that every component of $Q$ has size at most $\sigma$ and is adjacent to at most $\delta$ vertices of $Q$. $\bullet$ For every $\epsilon> 0$, there are $\sigma,\delta> 0$ such that Independent Set/Vertex Cover cannot be solved in time $(2-\epsilon)^p\cdot n$, even if a $(\sigma,\delta)$-hub of size $p$ is given in the input, assuming the SETH. This matches the earlier tight lower bounds parameterized by the width of the tree decomposition. Similar tight bounds are obtained for Odd Cycle Transversal, Max Cut, $q$-Coloring, and edge/vertex deletions versions of $q$-Coloring. $\bullet$ For every $\epsilon>0$, there are $\sigma,\delta> 0$ such that Triangle-Partition cannot be solved in time $(2-\epsilon)^p\cdot n$, even if a $(\sigma,\delta)$-hub of size $p$ is given in the input, assuming the Set Cover Conjecture (SCC). In fact, we prove that this statement is equivalent to the SCC, thus it is unlikely that this could be proved assuming the SETH. $\bullet$ For Dominating Set, we can prove a non-tight lower bound ruling out $(2-\epsilon)^p\cdot n^{O(1)}$ algorithms, assuming either the SETH or the SCC, but this does not match the $3^p\cdot n^{O(1)}$ upper bound.


title: Intent-Based Access Control: Using LLMs to Intelligently Manage Access Control

abstract: In every enterprise database, administrators must define an access control policy that specifies which users have access to which assets. Access control straddles two worlds: policy (organization-level principles that define who should have access) and process (database-level primitives that actually implement the policy). Assessing and enforcing process compliance with a policy is a manual and ad-hoc task. This paper introduces a new paradigm for access control called Intent-Based Access Control for Databases (IBAC-DB). In IBAC-DB, access control policies are expressed more precisely using a novel format, the natural language access control matrix (NLACM). Database access control primitives are synthesized automatically from these NLACMs. These primitives can be used to generate new DB configurations and/or evaluate existing ones. This paper presents a reference architecture for an IBAC-DB interface, an initial implementation for PostgreSQL (which we call LLM4AC), and initial benchmarks that evaluate the accuracy and scope of such a system. We find that our chosen implementation, LLM4AC, vastly outperforms other baselines, achieving near-perfect F1 scores on our initial benchmarks.


title: Planar near-field antenna measurements with a uniform step larger than half-wavelength

abstract: In this paper, a new sampling scheme of the near field radiated by a planar source is proposed and assessed. More in detail, the paper shows a uniform sampling criterion that allows representing the near field over a plane with a number of measurements lower than the classical half-wavelength sampling. At first, a discretization strategy of the near field based on the warping method is recalled from the literature. The latter requires to collect a non-redundant number of field measurements that are non-uniformly arranged over the observation domain. Despite this, the warping sampling scheme works well only if the measurement plane does not overcome the source. When the observation domain is larger, it does not predict the exact positions of the field samples at the edges of the measurement plane; accordingly, in these regions it is not possible to recover the near field behavior by the collected samples. To overcome this drawback, a spatially varying oversampling is exploited. The latter is chosen in such a way that the resulting sampling becomes uniform. Such choice also ensures a growth of the sampling rate only at the edges of the observation domain permitting the retrieval of the near field by its samples. Finally, numerical simulations based on experimental data corroborate the effectiveness of the approach in recovering both the near and the far field.


title: Differentially Private Training of Mixture of Experts Models

abstract: This position paper investigates the integration of Differential Privacy (DP) in the training of Mixture of Experts (MoE) models within the field of natural language processing. As Large Language Models (LLMs) scale to billions of parameters, leveraging expansive datasets, they exhibit enhanced linguistic capabilities and emergent abilities. However, this growth raises significant computational and privacy concerns. Our study addresses these issues by exploring the potential of MoE models, known for their computational efficiency, and the application of DP, a standard for privacy preservation. We present the first known attempt to train MoE models under the constraints of DP, addressing the unique challenges posed by their architecture and the complexities of DP integration. Our initial experimental studies demonstrate that MoE models can be effectively trained with DP, achieving performance that is competitive with their non-private counterparts. This initial study aims to provide valuable insights and ignite further research in the domain of privacy-preserving MoE models, softly laying the groundwork for prospective developments in this evolving field.


title: Cultural gems linked open data: Mapping culture and intangible heritage in European cities

abstract: The recovery and resilience of the cultural and creative sectors after the COVID-19 pandemic is a current topic with priority for the European Commission. Cultural gems is a crowdsourced web platform managed by the Joint Research Centre of the European Commission aimed at creating community-led maps as well as a common repository for cultural and creative places across European cities and towns. More than 130,000 physical locations and online cultural activities in more than 300 European cities and towns are currently tracked by the application. The main objective of Cultural gems consists in raising a holistic vision of European culture, reinforcing a sense of belonging to a common European cultural space. This data article describes the ontology developed for Cultural gems, adopted to represent the domain of knowledge of the application by means of FAIR (Findable, Accessible, Interoperable, Reusable) principles and following the paradigms of Linked Open Data (LOD). We provide an overview of this dataset, and describe the ontology model, along with the services used to access and consume the data.


title: Obligations and permissions on selfextensional logics

abstract: We further develop the abstract algebraic logic approach to input/output logic initiated in \cite{wollic22}, where the family of selfextensional logics was proposed as a general background environment for input/output logics. In this paper, we introduce and discuss the generalizations of several types of permission (negative, dual negative, static, dynamic), as well as their interactions with normative systems, to various families of selfextensional logics, thereby proposing a systematic approach to the definition of normative and permission systems on nonclassical propositional bases.


title: A saturation theorem for submonoids of nilpotent groups and the Identity Problem

abstract: If $M$ is a submonoid of a finitely generated nilpotent group $G$, and $MG'$ is a finite index subgroup of $G$, then $M$ itself is a finite index subgroup of $G$. If $MG'=G$, then $M=G$. This generalizes a well-known theorem for subgroups of finitely generated nilpotent groups. As a result, we give an algorithm for the Identity Problem in nilpotent groups.


title: Exploring Saliency Bias in Manipulation Detection

abstract: The social media-fuelled explosion of fake news and misinformation supported by tampered images has led to growth in the development of models and datasets for image manipulation detection. However, existing detection methods mostly treat media objects in isolation, without considering the impact of specific manipulations on viewer perception. Forensic datasets are usually analyzed based on the manipulation operations and corresponding pixel-based masks, but not on the semantics of the manipulation, i.e., type of scene, objects, and viewers' attention to scene content. The semantics of the manipulation play an important role in spreading misinformation through manipulated images. In an attempt to encourage further development of semantic-aware forensic approaches to understand visual misinformation, we propose a framework to analyze the trends of visual and semantic saliency in popular image manipulation datasets and their impact on detection.


title: Beyond the Headlines: Understanding Sentiments and Morals Impacting Female Employment in Spain

abstract: After decades of improvements in the employment conditions of females in Spain, this process came to a sudden stop with the Great Spanish Recession of 2008. In this contribution, we analyse a large longitudinal corpus of national and regional news outlets employing advanced Natural Language Processing techniques to capture the valence of mentions of gender inequality expressed in the Spanish press. The automatic analysis of the news articles does indeed capture the known hardships faced by females in the Spanish labour market. Our approach can be straightforwardly generalised to other topics of interest. Assessing the sentiment and moral values expressed in the articles, we notice that females are, in the majority of cases, concerned more than males when there is a deterioration in the overall labour market conditions, based on newspaper articles. This behaviour has been present in the entire period of study (2000--2022) and looked particularly pronounced during the economic crisis of 2008 and the recent COVID-19 pandemic. Most of the time, this phenomenon looks to be more pronounced at the regional level, perhaps caused by a significant focus on local labour markets rather than on aggregate statistics or because, in local contexts, females might suffer more from an isolation or discrimination condition. Our findings contribute to a deeper understanding of the gender inequalities in Spain using alternative data, informing policymakers and stakeholders.


title: Random Geometric Graph Alignment with Graph Neural Networks

abstract: We characterize the performance of graph neural networks for graph alignment problems in the presence of vertex feature information. More specifically, given two graphs that are independent perturbations of a single random geometric graph with noisy sparse features, the task is to recover an unknown one-to-one mapping between the vertices of the two graphs. We show under certain conditions on the sparsity and noise level of the feature vectors, a carefully designed one-layer graph neural network can with high probability recover the correct alignment between the vertices with the help of the graph structure. We also prove that our conditions on the noise level are tight up to logarithmic factors. Finally we compare the performance of the graph neural network to directly solving an assignment problem on the noisy vertex features. We demonstrate that when the noise level is at least constant this direct matching fails to have perfect recovery while the graph neural network can tolerate noise level growing as fast as a power of the size of the graph.

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


title: Noise-Adaptive Confidence Sets for Linear Bandits and Application to Bayesian Optimization

abstract: Adapting to a priori unknown noise level is a very important but challenging problem in sequential decision-making as efficient exploration typically requires knowledge of the noise level, which is often loosely specified. We report significant progress in addressing this issue for linear bandits in two respects. First, we propose a novel confidence set that is `semi-adaptive' to the unknown sub-Gaussian parameter $\sigma_*^2$ in the sense that the (normalized) confidence width scales with $\sqrt{d\sigma_*^2 + \sigma_0^2}$ where $d$ is the dimension and $\sigma_0^2$ is the specified sub-Gaussian parameter (known) that can be much larger than $\sigma_*^2$. This is a significant improvement over $\sqrt{d\sigma_0^2}$ of the standard confidence set of Abbasi-Yadkori et al. (2011), especially when $d$ is large or $\sigma_*^2=0$. We show that this leads to an improved regret bound in linear bandits. Second, for bounded rewards, we propose a novel variance-adaptive confidence set that has much improved numerical performance upon prior art. We then apply this confidence set to develop, as we claim, the first practical variance-adaptive linear bandit algorithm via an optimistic approach, which is enabled by our novel regret analysis technique. Both of our confidence sets rely critically on `regret equality' from online learning. Our empirical evaluation in diverse Bayesian optimization tasks shows that our proposed algorithms demonstrate better or comparable performance compared to existing methods.


title: Imagining a Future of Designing with AI: Dynamic Grounding, Constructive Negotiation, and Sustainable Motivation

abstract: We ideate a future design workflow that involves AI technology. Drawing from activity and communication theory, we attempt to isolate the new value large AI models can provide design compared to past technologies. We arrive at three affordances -- dynamic grounding, constructive negotiation, and sustainable motivation -- that summarize latent qualities of natural language-enabled foundation models that, if explicitly designed for, can support the process of design. Through design fiction, we then imagine a future interface as a diegetic prototype, the story of Squirrel Game, that demonstrates each of our three affordances in a realistic usage scenario. Our design process, terminology, and diagrams aim to contribute to future discussions about the relative affordances of AI technology with regard to collaborating with human designers.


title: Holomorphic Floer theory I: exponential integrals in finite and infinite dimensions

abstract: In the first of the series of papers devoted to our project ``Holomorphic Floer Theory" we discuss exponential integrals and related wall-crossing structures. We emphasize two points of view on the subject: the one based on the ideas of deformation quantization and the one based on the ideas of Floer theory. Their equivalence is a corollary of our generalized Riemann-Hilbert correspondence. In the case of exponential integrals this amounts to several comparison isomorphisms between local and global versions of de Rham and Betti cohomology. We develop the corresponding theories in particular generalizing Morse-Novikov theory to the holomorphic case. We prove that arising wall-crossing structures are analytic. As a corollary, perturbative expansions of exponential integrals are resurgent. Based on a careful study of finite-dimensional exponential integrals we propose a conjectural approach to infinite-dimensional exponential integrals. We illustrate this approach in the case of Feynman path integral with holomorphic Lagrangian boundary conditions as well as in the case of the complexified Chern-Simons theory. We discuss the arising perverse sheaf of infinite rank as well as analyticity of the corresponding ``Chern-Simons wall-crossing structure". We develop a general theory of quantum wave functions and show that in the case of Chern-Simons theory it gives an alternative description of the Chern-Simons wall-crossing structure based on the notion of generalized Nahm sum. We propose several conjectures about analyticity and resurgence of the corresponding perturbative series.

categories: math.SG hep-th math-ph math.AG math.MP quant-ph


title: Measurement Scheduling for ICU Patients with Offline Reinforcement Learning

abstract: Scheduling laboratory tests for ICU patients presents a significant challenge. Studies show that 20-40% of lab tests ordered in the ICU are redundant and could be eliminated without compromising patient safety. Prior work has leveraged offline reinforcement learning (Offline-RL) to find optimal policies for ordering lab tests based on patient information. However, new ICU patient datasets have since been released, and various advancements have been made in Offline-RL methods. In this study, we first introduce a preprocessing pipeline for the newly-released MIMIC-IV dataset geared toward time-series tasks. We then explore the efficacy of state-of-the-art Offline-RL methods in identifying better policies for ICU patient lab test scheduling. Besides assessing methodological performance, we also discuss the overall suitability and practicality of using Offline-RL frameworks for scheduling laboratory tests in ICU settings.


title: Computing Krylov iterates in the time of matrix multiplication

abstract: Krylov methods rely on iterated matrix-vector products $A^k u_j$ for an $n\times n$ matrix $A$ and vectors $u_1,\ldots,u_m$. The space spanned by all iterates $A^k u_j$ admits a particular basis -- the \emph{maximal Krylov basis} -- which consists of iterates of the first vector $u_1, Au_1, A^2u_1,\ldots$, until reaching linear dependency, then iterating similarly the subsequent vectors until a basis is obtained. Finding minimal polynomials and Frobenius normal forms is closely related to computing maximal Krylov bases. The fastest way to produce these bases was, until this paper, Keller-Gehrig's 1985 algorithm whose complexity bound $O(n^\omega \log(n))$ comes from repeated squarings of $A$ and logarithmically many Gaussian eliminations. Here $\omega>2$ is a feasible exponent for matrix multiplication over the base field. We present an algorithm computing the maximal Krylov basis in $O(n^\omega\log\log(n))$ field operations when $m \in O(n)$, and even $O(n^\omega)$ as soon as $m\in O(n/\log(n)^c)$ for some fixed real $c>0$. As a consequence, we show that the Frobenius normal form together with a transformation matrix can be computed deterministically in $O(n^\omega \log\log(n)^2)$, and therefore matrix exponentiation~$A^k$ can be performed in the latter complexity if $\log(k) \in O(n^{\omega-1-\varepsilon})$, for $\varepsilon>0$. A key idea for these improvements is to rely on fast algorithms for $m\times m$ polynomial matrices of average degree $n/m$, involving high-order lifting and minimal kernel bases.


title: The PFS view of TOI-677 b: A spin-orbit aligned warm Jupiter in a dynamically hot system

abstract: TOI-677 b is part of an emerging class of ``tidally-detached'' gas giants ($a/R_\star \gtrsim 11$) that exhibit large orbital eccentricities and yet low stellar obliquities. Such sources pose a challenge for models of giant planet formation, which must account for the excitation of high eccentricities without large changes in the orbital inclination. In this work, we present a new Rossiter-McLaughlin (RM) measurement for the tidally-detached warm Jupiter TOI-677 b, obtained using high-precision radial velocity observations from the PFS/Magellan spectrograph. Combined with previously published observations from the ESPRESSO/VLT spectrograph, we derive one of the most precisely constrained sky-projected spin-orbit angle measurements to date for an exoplanet. The combined fit offers a refined set of self-consistent parameters, including a low sky-projected stellar obliquity of $\lambda=3.2^{+1.6}_{-1.5}$ deg and a moderately high eccentricity of $e=0.460^{+0.019}_{-0.018}$, that further constrains the puzzling architecture of this system. We examine several potential scenarios that may have produced the current TOI-677 orbital configuration, ultimately concluding that TOI-677 b most likely had its eccentricity excited through disk-planet interactions. This system adds to a growing population of aligned warm Jupiters on eccentric orbits around hot ($T_{\rm eff}>6100$ K) stars.


title: Accuracy of TextFooler black box adversarial attacks on 01 loss sign activation neural network ensemble

abstract: Recent work has shown the defense of 01 loss sign activation neural networks against image classification adversarial attacks. A public challenge to attack the models on CIFAR10 dataset remains undefeated. We ask the following question in this study: are 01 loss sign activation neural networks hard to deceive with a popular black box text adversarial attack program called TextFooler? We study this question on four popular text classification datasets: IMDB reviews, Yelp reviews, MR sentiment classification, and AG news classification. We find that our 01 loss sign activation network is much harder to attack with TextFooler compared to sigmoid activation cross entropy and binary neural networks. We also study a 01 loss sign activation convolutional neural network with a novel global pooling step specific to sign activation networks. With this new variation we see a significant gain in adversarial accuracy rendering TextFooler practically useless against it. We make our code freely available at \url{https://github.com/zero-one-loss/wordcnn01} and \url{https://github.com/xyzacademic/mlp01example}. Our work here suggests that 01 loss sign activation networks could be further developed to create fool proof models against text adversarial attacks.


title: Carleman estimates for higher step Grushin operators

abstract: The higher step Grushin operators $\Delta_{\alpha}$ are a family of sub-elliptic operators which degenerate on a sub-manifold of $\mathbb{R}^{n+m}$. This paper establishes Carleman-type inequalities for these operators. It is achieved by deriving a weighted $L^{p}-L^{q}$ estimate for the Grushin-harmonic projector. The crucial ingredient in the proof is the addition formula for Gegenbauer polynomials due to T. Koornwinder and Y. Xu. As a consequence, we obtain the strong unique continuation property for the Schr\"odinger operators $-\Delta_{\alpha}+V$ at points of the degeneracy manifold, where $V$ belongs to certain $ L^{r}_{{\rm loc}}(\mathbb{R}^{n+m})$.


title: Control Variates for MCMC

abstract: This chapter describes several control variate methods for improving estimates of expectations from MCMC.


title: Antagonistic AI

abstract: The vast majority of discourse around AI development assumes that subservient, "moral" models aligned with "human values" are universally beneficial -- in short, that good AI is sycophantic AI. We explore the shadow of the sycophantic paradigm, a design space we term antagonistic AI: AI systems that are disagreeable, rude, interrupting, confrontational, challenging, etc. -- embedding opposite behaviors or values. Far from being "bad" or "immoral," we consider whether antagonistic AI systems may sometimes have benefits to users, such as forcing users to confront their assumptions, build resilience, or develop healthier relational boundaries. Drawing from formative explorations and a speculative design workshop where participants designed fictional AI technologies that employ antagonism, we lay out a design space for antagonistic AI, articulating potential benefits, design techniques, and methods of embedding antagonistic elements into user experience. Finally, we discuss the many ethical challenges of this space and identify three dimensions for the responsible design of antagonistic AI -- consent, context, and framing.


title: Ontology Engineering to Model the European Cultural Heritage: The Case of Cultural Gems

abstract: Cultural gems is a web application conceived by the European Commission's Joint Research Centre (DG JRC), which aims at engaging people and organisations across Europe to create a unique repository of cultural and creative places. The main goal is to provide a vision of European culture in order to strengthen a sense of identity within a single European cultural realm. Cultural gems maps more than 130,000 physical places in over 300 European cities and towns, and since 2020 it also lists online cultural initiatives. The new release aims, among other, to increase the interoperability of the application. At this purpose, we provide an overview on the current development of an ontology for Cultural gems used to map cultural heritage in European cities by using Linked Open Data (LOD) standards, and making the data FAIR, that is Findable, Accessible, Interoperable, and Reusable. We provide an overview of the methodology, presenting the structure of the ontology, and the services and tools we are currently building on top.


abstract: The order of training samples can have a significant impact on the performance of a classifier. Curriculum learning is a method of ordering training samples from easy to hard. This paper proposes the novel idea of a curriculum learning approach called Data Distribution-based Curriculum Learning (DDCL). DDCL uses the data distribution of a dataset to build a curriculum based on the order of samples. Two types of scoring methods known as DDCL (Density) and DDCL (Point) are used to score training samples thus determining their training order. DDCL (Density) uses the sample density to assign scores while DDCL (Point) utilises the Euclidean distance for scoring. We evaluate the proposed DDCL approach by conducting experiments on multiple datasets using a neural network, support vector machine and random forest classifier. Evaluation results show that the application of DDCL improves the average classification accuracy for all datasets compared to standard evaluation without any curriculum. Moreover, analysis of the error losses for a single training epoch reveals that convergence is faster when using DDCL over the no curriculum method.


title: Optimized Gr\"obner basis algorithms for maximal determinantal ideals and critical point computations

abstract: Given polynomials $g$ and $f_1,\dots,f_p$, all in $\Bbbk[x_1,\dots,x_n]$ for some field $\Bbbk$, we consider the problem of computing the critical points of the restriction of $g$ to the variety defined by $f_1=\cdots=f_p=0$. These are defined by the simultaneous vanishing of the $f_i$'s and all maximal minors of the Jacobian matrix associated to $(g,f_1, \ldots, f_p)$. We use the Eagon-Northcott complex associated to the ideal generated by these maximal minors to gain insight into the syzygy module of the system defining these critical points. We devise new $F_5$-type criteria to predict and avoid more reductions to zero when computing a Gr\"obner basis for the defining system of this critical locus. We give a bound for the arithmetic complexity of this enhanced $F_5$ algorithm and compare it to the best previously known bound for computing critical points using Gr\"obner bases.


title: Re-DiffiNet: Modeling discrepancies in tumor segmentation using diffusion models

abstract: Identification of tumor margins is essential for surgical decision-making for glioblastoma patients and provides reliable assistance for neurosurgeons. Despite improvements in deep learning architectures for tumor segmentation over the years, creating a fully autonomous system suitable for clinical floors remains a formidable challenge because the model predictions have not yet reached the desired level of accuracy and generalizability for clinical applications. Generative modeling techniques have seen significant improvements in recent times. Specifically, Generative Adversarial Networks (GANs) and Denoising-diffusion-based models (DDPMs) have been used to generate higher-quality images with fewer artifacts and finer attributes. In this work, we introduce a framework called Re-Diffinet for modeling the discrepancy between the outputs of a segmentation model like U-Net and the ground truth, using DDPMs. By explicitly modeling the discrepancy, the results show an average improvement of 0.55\% in the Dice score and 16.28\% in HD95 from cross-validation over 5-folds, compared to the state-of-the-art U-Net segmentation model.


title: Sampling from the Mean-Field Stationary Distribution

abstract: We study the complexity of sampling from the stationary distribution of a mean-field SDE, or equivalently, the complexity of minimizing a functional over the space of probability measures which includes an interaction term. Our main insight is to decouple the two key aspects of this problem: (1) approximation of the mean-field SDE via a finite-particle system, via uniform-in-time propagation of chaos, and (2) sampling from the finite-particle stationary distribution, via standard log-concave samplers. Our approach is conceptually simpler and its flexibility allows for incorporating the state-of-the-art for both algorithms and theory. This leads to improved guarantees in numerous settings, including better guarantees for optimizing certain two-layer neural networks in the mean-field regime.


title: A Novel Gaussian Min-Max Theorem and its Applications

abstract: A celebrated result by Gordon allows one to compare the min-max behavior of two Gaussian processes if certain inequality conditions are met. The consequences of this result include the Gaussian min-max (GMT) and convex Gaussian min-max (CGMT) theorems which have had far-reaching implications in high-dimensional statistics, machine learning, non-smooth optimization, and signal processing. Both theorems rely on a pair of Gaussian processes, first identified by Slepian, that satisfy Gordon's comparison inequalities. To date, no other pair of Gaussian processes satisfying these inequalities has been discovered. In this paper, we identify such a new pair. The resulting theorems extend the classical GMT and CGMT Theorems from the case where the underlying Gaussian matrix in the primary process has iid rows to where it has independent but non-identically-distributed ones. The new CGMT is applied to the problems of multi-source Gaussian regression, as well as to binary classification of general Gaussian mixture models.


title: Regression Trees for Fast and Adaptive Prediction Intervals

abstract: Predictive models make mistakes. Hence, there is a need to quantify the uncertainty associated with their predictions. Conformal inference has emerged as a powerful tool to create statistically valid prediction regions around point predictions, but its naive application to regression problems yields non-adaptive regions. New conformal scores, often relying upon quantile regressors or conditional density estimators, aim to address this limitation. Although they are useful for creating prediction bands, these scores are detached from the original goal of quantifying the uncertainty around an arbitrary predictive model. This paper presents a new, model-agnostic family of methods to calibrate prediction intervals for regression problems with local coverage guarantees. Our approach is based on pursuing the coarsest partition of the feature space that approximates conditional coverage. We create this partition by training regression trees and Random Forests on conformity scores. Our proposal is versatile, as it applies to various conformity scores and prediction settings and demonstrates superior scalability and performance compared to established baselines in simulated and real-world datasets. We provide a Python package clover that implements our methods using the standard scikit-learn interface.


title: On max-plus two-sided linear systems whose solution sets are min-plus linear

abstract: The max-plus algebra $\mathbb{R}\cup \{-\infty \}$ is defined in terms of a combination of the following two operations: addition, $a \oplus b := \max(a,b)$, and multiplication, $a \otimes b := a + b$. In this study, we propose a new method to characterize the set of all solutions of a max-plus two-sided linear system $A \otimes x = B \otimes x$. We demonstrate that the minimum ``min-plus'' linear subspace containing the ``max-plus'' solution space can be computed by applying the alternating method algorithm, which is a well-known method to compute single solutions of two-sided systems. Further, we derive a sufficient condition for the ``min-plus'' and ``max-plus'' subspaces to be identical. The computational complexity of the method presented in this study is pseudo-polynomial.


title: Structured Satellite-UAV-Terrestrial Networks for 6G Internet of Things

abstract: The upcoming sixth generation (6G) wireless communication network is envisioned to cover space, air, and maritime areas, in addition to urban-centered terrestrial coverage by the fifth generation (5G) network, to support intelligent Internet of Things (IoT). Towards this end, we investigate structured integration of satellites, unmanned aerial vehicles (UAVs), and terrestrial networks, aiming to serve future universal IoT possibly with a massive number of devices in the coverage holes of current 5G. The hybrid satellite-UAV-terrestrial network usually leads to high system complexity, due to the heterogeneity and dynamics of space/air/ground links. With a systematic thinking, we propose to create and exploit hierarchies for the integrated network. Four basic structures are discussed by learning from the synergies in our human body. To orchestrate multiple heterogeneous basic structures, we further propose a process-oriented on-demand coverage method, which characterizes the system behavior as a series of events over time and is able to tackle the system complexity elaborately. We also outline open issues for promoting the agility and intelligence of structured satellite-UAV-terrestrial networks in the making.


title: Measurement-induced state transitions in dispersive qubit readout schemes

abstract: The dispersive readout scheme enables quantum non-demolition measurement of superconducting qubits. An increased readout power can shorten the readout time and reduce the state discrimination error but can promote qubit transitions into higher noncomputational states. The ability to predict the onset of these measurement-induced state transitions can aid the optimization of qubit circuits and provide means for comparing the readout performance of different qubit types. Building upon the concept of dressed coherent states, we consider two straightforward metrics for determining the maximum number of photons that can be used for dispersive readout without causing state transitions. We focus on the fluxonium readout to demonstrate the independence of the metrics from any qubit-type-specific approximations. The dispersive readout of transmons and other superconducting qubits can be treated universally in the same fashion.


title: A Mathematical Proof of the Four-Color Conjecture (1): Transformation Step

abstract: The four-color conjecture has puzzled mathematicians for over 170 years and has yet to be proven by purely mathematical methods. This series of articles provides a purely mathematical proof of the four-color conjecture, consisting of two parts: the transformation step and the decycle step. The transformation step uses two innovative tools, contracting and extending operations and unchanged bichromatic cycles, to transform the proof of the four-color conjecture into the decycle problem of 4-base modules. Moreover, the decycle step solves the decycle problem of 4-base modules using two other innovative tools: the color-connected potential and the pocket operations. This article presents the proof of the transformation step.


title: Exploring Composite Dark Matter with an SU(4) gauge theory with 1 fermion flavor

abstract: Several SU(N) gauge theories have been explored as candidates for producing stable dark matter particles that can explain their relative abundance, while also evading current constraints from direct, indirect and collider searches. In this talk, I will present the confinement and spectral properties of a new model we name "Hyper Stealth Dark Matter", which involves an SU(4) gauge theory with 1 quark flavor. The lightest baryon in this theory can be a potential dark matter candidate as it is protected from decay and hence can evade detection with a mass of just a few GeV. Existence of a first order confinement transition would open the possibility of potential detection of gravitational waves from such a transition at future observatories.


title: Strategically-Robust Learning Algorithms for Bidding in First-Price Auctions

abstract: Learning to bid in repeated first-price auctions is a fundamental problem at the interface of game theory and machine learning, which has seen a recent surge in interest due to the transition of display advertising to first-price auctions. In this work, we propose a novel concave formulation for pure-strategy bidding in first-price auctions, and use it to analyze natural Gradient-Ascent-based algorithms for this problem. Importantly, our analysis goes beyond regret, which was the typical focus of past work, and also accounts for the strategic backdrop of online-advertising markets where bidding algorithms are deployed -- we prove that our algorithms cannot be exploited by a strategic seller and that they incentivize truth-telling for the buyer. Concretely, we show that our algorithms achieve $O(\sqrt{T})$ regret when the highest competing bids are generated adversarially, and show that no online algorithm can do better. We further prove that the regret improves to $O(\log T)$ when the competition is stationary and stochastic. Moving beyond regret, we show that a strategic seller cannot exploit our algorithms to extract more revenue on average than is possible under the optimal mechanism, i.e., the seller cannot do much better than posting the monopoly reserve price in each auction. Finally, we prove that our algorithm is also incentive compatible -- it is a (nearly) dominant strategy for the buyer to report her values truthfully to the algorithm as a whole.


title: On spaces of minimal higher topological complexity

abstract: Let TC$_n$ denote the n-th topological complexity. For nilpotent CW space of finite type, Grant--Lupton--Oprea proved the following: If TC$_n$(X)=n-1 then X is homotopy equivalent to an odd-dimensional sphere. In my previous version I stated that I can get rid of the nilpotence condition. Currently I cannot do it (the proof of Theorem 4.4 in the previous version is wrong) but I have made some progress there, and I present it here