title: Cauchy-completions and the rule of unique choice in relational doctrines

abstract: Lawvere's generalised the notion of complete metric space to the field of enriched categories: an enriched category is said to be Cauchy-complete if every left adjoint bimodule into it is represented by an enriched functor. Looking at this definition from a logical standpoint, regarding bimodules as an abstraction of relations and functors as an abstraction of functions, Cauchy-completeness resembles a formulation of the rule of unique choice. In this paper, we make this analogy precise, using the language of relational doctrines, a categorical tool that provides a functorial description of the calculus of relations, in the same way Lawvere's hyperdoctrines give a functorial description of predicate logic. Given a relational doctrine, we define Cauchy-complete objects as those objects of the domain category satisfying the rule of unique choice. Then, we present a universal construction that completes a relational doctrine with the rule of unique choice, that is, producing a new relational doctrine where all objects are Cauchy-complete. We also introduce relational doctrines with singleton objects and show that these have the minimal structure needed to build the reflector of the full subcategory of its domain on Cauchy-complete objects. The main result is that this reflector exists if and only if the relational doctrine has singleton objects and this happens if and only if its restriction to Cauchy-complete objects is equivalent to its completion with the rule of unique choice. We support our results with many examples, also falling outside the scope of standard doctrines, such as complete metric spaces, Banach spaces and compact Hausdorff spaces in the general context of monoidal topology, which are all shown to be Cauchy-complete objects for appropriate relational doctrines.


title: Robust Guidance for Unsupervised Data Selection: Capturing Perplexing Named Entities for Domain-Specific Machine Translation

abstract: Low-resourced data presents a significant challenge for neural machine translation. In most cases, the low-resourced environment is caused by high costs due to the need for domain experts or the lack of language experts. Therefore, identifying the most training-efficient data within an unsupervised setting emerges as a practical strategy. Recent research suggests that such effective data can be identified by selecting 'appropriately complex data' based on its volume, providing strong intuition for unsupervised data selection. However, we have discovered that establishing criteria for unsupervised data selection remains a challenge, as the 'appropriate level of difficulty' may vary depending on the data domain. We introduce a novel unsupervised data selection method named 'Capturing Perplexing Named Entities,' which leverages the maximum inference entropy in translated named entities as a metric for selection. When tested with the 'Korean-English Parallel Corpus of Specialized Domains,' our method served as robust guidance for identifying training-efficient data across different domains, in contrast to existing methods.


title: Extremal quantiles of intermediate orders under two-way clustering

abstract: This paper investigates extremal quantiles under two-way cluster dependence. We demonstrate that the limiting distribution of the unconditional intermediate order quantiles in the tails converges to a Gaussian distribution. This is remarkable as two-way cluster dependence entails potential non-Gaussianity in general, but extremal quantiles do not suffer from this issue. Building upon this result, we extend our analysis to extremal quantile regressions of intermediate order.


title: Highly stable photoluminescence in vacuum-processed halide perovskite core-shell 1D nanostructures

abstract: Hybrid organometal halide perovskites (HP) present exceptional optoelectronic properties, but their poor long-term stability is a major bottleneck for their commercialization. Herein, we present a solvent-free approach to growing single-crystal organic nanowires (ONW), nanoporous metal oxide scaffolds, and HP to form a core@multishell architecture. The synthetic procedure is carried out under mild vacuum conditions employing thermal evaporation for the metal-free phthalocyanine (H2Pc) nanowires, which will be the core, plasma-enhanced chemical vapor deposition (PECVD) for the TiO2 shell, and co-evaporation of lead iodide (PbI2) and methylammonium iodide (CH3NH3I / MAI) for the CH3NH3PbI3 (MAPbI3 / MAPI) perovskite shell. We present a detailed characterization of the nanostructures by (S)-TEM and XRD, revealing a different crystallization of the hybrid perovskite depending on the template: while the growth on H2Pc nanowires induces the typical tetragonal structure of the MAPI perovskite, a low-dimensional phase (LDP) was observed on the one-dimensional TiO2 nanotubes. Such a combination yields an unprecedentedly stable photoluminescence emission over 20 hours and over 300 hours after encapsulation in polymethyl methacrylate (PMMA) under different atmospheres including N2, air, and high moisture levels. In addition, the unique one-dimensional morphology of the system, together with the high refractive index HP, allows for a strong waveguiding effect along the nanowire length.


title: Learning Intra-view and Cross-view Geometric Knowledge for Stereo Matching

abstract: Geometric knowledge has been shown to be beneficial for the stereo matching task. However, prior attempts to integrate geometric insights into stereo matching algorithms have largely focused on geometric knowledge from single images while crucial cross-view factors such as occlusion and matching uniqueness have been overlooked. To address this gap, we propose a novel Intra-view and Cross-view Geometric knowledge learning Network (ICGNet), specifically crafted to assimilate both intra-view and cross-view geometric knowledge. ICGNet harnesses the power of interest points to serve as a channel for intra-view geometric understanding. Simultaneously, it employs the correspondences among these points to capture cross-view geometric relationships. This dual incorporation empowers the proposed ICGNet to leverage both intra-view and cross-view geometric knowledge in its learning process, substantially improving its ability to estimate disparities. Our extensive experiments demonstrate the superiority of the ICGNet over contemporary leading models.


title: Coloring locally sparse graphs

abstract: A graph $G$ is $k$-locally sparse if for each vertex $v \in V(G)$, the subgraph induced by its neighborhood contains at most $k$ edges. Alon, Krivelevich, and Sudakov showed that for $f > 0$ if a graph $G$ of maximum degree $\Delta$ is $\Delta^2/f$-locally-sparse, then $\chi(G) = O\left(\Delta/\log f\right)$. We introduce a more general notion of local sparsity by defining graphs $G$ to be $(k, F)$-locally-sparse for some graph $F$ if for each vertex $v \in V(G)$ the subgraph induced by the neighborhood of $v$ contains at most $k$ copies of $F$. Employing the R\"{o}dl nibble method, we prove the following generalization of the above result: for every bipartite graph $F$, if $G$ is $(k, F)$-locally-sparse, then $\chi(G) = O\left( \Delta /\log\left(\Delta k^{-1/|V(F)|}\right)\right)$. This improves upon results of Davies, Kang, Pirot, and Sereni who consider the case when $F$ is a path. Our results also recover the best known bound on $\chi(G)$ when $G$ is $K_{1, t, t}$-free for $t \geq 4$, and hold for list and correspondence coloring in the more general so-called ''color-degree'' setting.


title: Response to David Steigmann's discussion of our paper

abstract: We respond to David Steigmann's discussion of our paper "A general theory for anisotropic Kirchhoff-Love shells with in-plane bending of embedded fibers, Math. Mech. Solids, 28(5):1274-1317" (arXiv:2101.03122). His discussion allows us to clarify two misleading statements in our original paper, and confirm that its formulation is fully consistent with the formulation of Steigmann. We also demonstrate that some of our original statements criticized by Steigmann are not wrong.


title: PlanGPT: Enhancing Urban Planning with Tailored Language Model and Efficient Retrieval

abstract: In the field of urban planning, general-purpose large language models often struggle to meet the specific needs of planners. Tasks like generating urban planning texts, retrieving related information, and evaluating planning documents pose unique challenges. To enhance the efficiency of urban professionals and overcome these obstacles, we introduce PlanGPT, the first specialized Large Language Model tailored for urban and spatial planning. Developed through collaborative efforts with institutions like the Chinese Academy of Urban Planning, PlanGPT leverages a customized local database retrieval framework, domain-specific fine-tuning of base models, and advanced tooling capabilities. Empirical tests demonstrate that PlanGPT has achieved advanced performance, delivering responses of superior quality precisely tailored to the intricacies of urban planning.


title: Mixed-halide perovskite alloys $\text{CsPb}(\text{I}_{1-x}^{}\text{Br}_x^{})_3^{}$ and $\text{CsPb}(\text{Br}_{1-x}^{}\text{Cl}_x^{})_3^{}$: New insight of configuration entropy effect from first principles and phase diagrams

abstract: Stability is one of the key issues in mixed-halide perovskite alloys which are promising in emergent optoelectronics. Previous density-functional-theory (DFT) and machine learning studies indicate that the formation-energy convex hulls of these materials are very shallow, and stable alloy compositions are rare. In this work, we revisit this problem using DFT with special focus on the effects of configuration and vibration entropies. Allowed by the $20$-atomic models for the $\text{CsPb}(\text{I}_{1-x}^{}\text{Br}_x^{})_3^{}$ and $\text{CsPb}(\text{Br}_{1-x}^{}\text{Cl}_x^{})_3^{}$ series, the partition functions and therewith thermodynamic state functions are calculated by traversing all possible mixed-halide configurations. We can thus evaluate the temperature- and system-dependent configuration entropy, which largely corrects the conventional approach based on the ideal solution model. Finally, temperature-composition phase diagrams that include $\alpha$, $\beta$, $\gamma$ and $\delta$ phases of both alloys are constructed based on the free energy data, for which the contribution of phonon vibrations is included.


title: Adaptive Testing Environment Generation for Connected and Automated Vehicles with Dense Reinforcement Learning

abstract: The assessment of safety performance plays a pivotal role in the development and deployment of connected and automated vehicles (CAVs). A common approach involves designing testing scenarios based on prior knowledge of CAVs (e.g., surrogate models), conducting tests in these scenarios, and subsequently evaluating CAVs' safety performances. However, substantial differences between CAVs and the prior knowledge can significantly diminish the evaluation efficiency. In response to this issue, existing studies predominantly concentrate on the adaptive design of testing scenarios during the CAV testing process. Yet, these methods have limitations in their applicability to high-dimensional scenarios. To overcome this challenge, we develop an adaptive testing environment that bolsters evaluation robustness by incorporating multiple surrogate models and optimizing the combination coefficients of these surrogate models to enhance evaluation efficiency. We formulate the optimization problem as a regression task utilizing quadratic programming. To efficiently obtain the regression target via reinforcement learning, we propose the dense reinforcement learning method and devise a new adaptive policy with high sample efficiency. Essentially, our approach centers on learning the values of critical scenes displaying substantial surrogate-to-real gaps. The effectiveness of our method is validated in high-dimensional overtaking scenarios, demonstrating that our approach achieves notable evaluation efficiency.


title: Modular Blind Video Quality Assessment

abstract: Blind video quality assessment (BVQA) plays a pivotal role in evaluating and improving the viewing experience of end-users across a wide range of video-based platforms and services. Contemporary deep learning-based models primarily analyze video content in its aggressively subsampled format, while being blind to the impact of the actual spatial resolution and frame rate on video quality. In this paper, we propose a modular BVQA model and a method of training it to improve its modularity. Our model comprises a base quality predictor, a spatial rectifier, and a temporal rectifier, responding to the visual content and distortion, spatial resolution, and frame rate changes on video quality, respectively. During training, spatial and temporal rectifiers are dropped out with some probabilities to render the base quality predictor a standalone BVQA model, which should work better with the rectifiers. Extensive experiments on both professionally-generated content and user-generated content video databases show that our quality model achieves superior or comparable performance to current methods. Additionally, the modularity of our model offers an opportunity to analyze existing video quality databases in terms of their spatial and temporal complexity.


title: The impact of the explicit representation of convection on the climate of a tidally locked planet in global stretched-mesh simulations

abstract: Convective processes are crucial in shaping exoplanetary atmospheres but are computationally expensive to simulate directly. A novel technique of simulating moist convection on tidally locked exoplanets is to use a global 3D model with a stretched mesh. This allows us to locally refine the model resolution to 4.7 km and resolve fine-scale convective processes without relying on parameterizations. We explore the impact of mesh stretching on the climate of a slowly rotating TRAPPIST-1e-like planet, assuming it is 1:1 tidally locked. In the stretched-mesh simulation with explicit convection, the climate is 5 K colder and 25% drier than that in the simulations with parameterized convection (with both stretched and quasi-uniform meshes)}. This is due to the increased cloud reflectivity - because of an increase of low-level cloudiness - and exacerbated by the diminished greenhouse effect due to less water vapor. At the same time, our stretched-mesh simulations reproduce the key characteristics of the global climate of tidally locked rocky exoplanets, without any noticeable numerical artifacts. Our methodology opens an exciting and computationally feasible avenue for improving our understanding of 3D mixing in exoplanetary atmospheres. Our study also demonstrates the feasibility of a global stretched mesh configuration for LFRic-Atmosphere, the next-generation Met Office climate and weather model.


title: Electrically defined quantum dots for bosonic excitons

abstract: Quantum dots are semiconductor nano-structures where particle motion is confined in all three spatial dimensions. Since their first experimental realization, nanocrystals confining the quanta of polarization waves, termed excitons, have found numerous applications in fields ranging from single photon sources for quantum information processing to commercial displays. A major limitation to further extending the range of potential applications has been the large inhomogeneity in, and lack-of tunability of, exciton energy that is generic to quantum dot materials. Here, we address this challenge by demonstrating electrically-defined quantum dots for excitons in monolayer semiconductors where the discrete exciton energies can be tuned using applied gate voltages. Resonance fluorescence measurements show strong spectral jumps and blinking of these resonances, verifying their zero-dimensional nature. Our work paves the way for realizing quantum confined bosonic modes where nonlinear response would arise exclusively from exciton--exciton interactions.


title: SIFT-Aided Rectified 2D-DIC for Displacement and Strain Measurements in Asphalt Concrete Testing

abstract: Two-dimensional digital image correlation (2D-DIC) is a widely used optical technique to measure displacement and strain during asphalt concrete (AC) testing. An accurate 2-D DIC measurement can only be achieved when the camera's principal axis is perpendicular to the planar specimen surface. However, this requirement may not be met during testing due to device constraints. This paper proposes a simple and reliable method to correct errors induced by non-perpendicularity. The method is based on image feature matching and rectification. No additional equipment is needed. A theoretical error analysis was conducted to quantify the effect of a non-perpendicular camera alignment on measurement accuracy. The proposed method was validated numerically using synthetic images and experimentally in an AC fracture test. It achieved relatively high accuracy, even under considerable camera rotation angle and large deformation. As a pre-processing technique, the proposed method showed promising performance in assisting the recently developed CrackPropNet for automated crack propagation measurement under a non-perpendicular camera alignment.


title: Mobile Health Text Misinformation Identification Using Mobile Data Mining

abstract: More than six million people died of the COVID-19 by April 2022. The heavy casualties have put people on great and urgent alert and people try to find all kinds of information to keep them from being inflected by the coronavirus. This research tries to find out whether the mobile health text information sent to peoples devices is correct as smartphones becoming the major information source for people. The proposed method uses various mobile information retrieval and data mining technologies including lexical analysis, stopword elimination, stemming, and decision trees to classify the mobile health text information to one of the following classes: (i) true, (ii) fake, (iii) misinformative, (iv) disinformative, and (v) neutral. Experiment results show the accuracy of the proposed method is above the threshold value 50 percentage, but is not optimal. It is because the problem, mobile text misinformation identification, is intrinsically difficult.


title: First simultaneous measurement of differential muon-neutrino charged-current cross sections on argon for final states with and without protons using MicroBooNE data

abstract: We report the first double-differential neutrino-argon cross section measurement made simultaneously for final states with and without protons for the inclusive muon neutrino charged-current interaction channel. The proton kinematics of this channel are further explored with a differential cross section measurement as a function of the leading proton's kinetic energy that extends across the detection threshold. These measurements utilize data collected using the MicroBooNE detector from 6.4$\times10^{20}$ protons on target from the Fermilab Booster Neutrino Beam with a mean neutrino energy of $\sim$0.8 GeV. Extensive data-driven model validation utilizing the conditional constraint formalism is employed. This motivates enlarging the uncertainties with an empirical reweighting approach to minimize the possibility of extracting biased cross section results. The extracted nominal flux-averaged cross sections are compared to widely used event generator predictions revealing severe mismodeling of final states without protons for muon neutrino charged-current interactions, possibly from insufficient treatment of final state interactions. These measurements provide a wealth of new information useful for improving event generators which will enhance the sensitivity of precision measurements in neutrino experiments.


title: WanJuan-CC: A Safe and High-Quality Open-sourced English Webtext Dataset

abstract: This paper presents WanJuan-CC, a safe and high-quality open-sourced English webtext dataset derived from Common Crawl data. The study addresses the challenges of constructing large-scale pre-training datasets for language models, which require vast amounts of high-quality data. A comprehensive process was designed to handle Common Crawl data, including extraction, heuristic rule filtering, fuzzy deduplication, content safety filtering, and data quality filtering. From approximately 68 billion original English documents, we obtained 2.22T Tokens of safe data and selected 1.0T Tokens of high-quality data as part of WanJuan-CC. We have open-sourced 100B Tokens from this dataset. The paper also provides statistical information related to data quality, enabling users to select appropriate data according to their needs. To evaluate the quality and utility of the dataset, we trained 1B-parameter and 3B-parameter models using WanJuan-CC and another dataset, RefinedWeb. Results show that WanJuan-CC performs better on validation datasets and downstream tasks.


title: The higher fixed point theorem for foliations. Applications to rigidity and integrality

abstract: We give applications of the higher Lefschetz theorems for foliations of [BH10], primarily involving Haefliger cohomology. These results show that the transverse structures of foliations carry important topological and geometric information. This is in the spirit of the passage from the Atiyah-Singer index theorem for a single compact manifold to their families index theorem, involving a compact fiber bundle over a compact base. For foliations, Haefliger cohomology plays the role that the cohomology of the base space plays in the families index theorem. We obtain highly useful numerical invariants by paring with closed holonomy invariant currents. In particular, we prove that the non-triviality of the higher A-hat genus of the foliation in Haefliger cohomology can be an obstruction to the existence of non-trivial leaf-preserving compact connected group actions. We then construct a large collection of examples for which no such actions exist. Finally, we relate our results to Connes' spectral triples, and prove useful integrality results.


title: Supercurrent through an Andreev trimer

abstract: Detection and control of Andreev Bound States (ABSs) localized at semiconductor-superconductor interfaces are essential for their use in quantum applications. Here we investigate the impact of ABSs on the supercurrent through a Josephson junction containing a quantum dot (QD). Additional normal-metal tunneling probes on both sides of the junction unveil the ABSs residing at the semi-superconductor interfaces. Such knowledge provides an ingredient missing in previous studies, improving the connection between theory and experimental data. By varying the ABS energies using electrostatic gates, we show control of the switching current, with the ability to alter it by more than an order of magnitude. Finally, the large degree of ABS tunability allows us to realize a three-site ABS-QD-ABS molecule (Andreev trimer) in which the central QD is screened by both ABSs. This system is studied simultaneously using both supercurrent and spectroscopy.


title: The Equation of Motion for Taut-Line Buzzers

abstract: Equations of motion are developed for the oscillatory rotation of a disk suspended between twisted strings kept under tension by a hanging mass, to which additional forces may be applied. In the absence of forcing, damped harmonic oscillations are observed to decay with an exponential time envelope for two different string types. This is consistent with damping caused by string viscosity, rather than air turbulence, and may be quantified in terms of a quality factor. To test the proposed equation of motion and model for viscous damping within the string, we measure both the natural oscillation frequency and the quality factor for widely varied values of string length, string radius, disk moment of inertia, and hanging mass. The data are found to scale in good accord with predictions. A variation where rotational kinetic energy is converted back and forth to spring potential energy is also discussed.


title: PrPSeg: Universal Proposition Learning for Panoramic Renal Pathology Segmentation

abstract: Understanding the anatomy of renal pathology is crucial for advancing disease diagnostics, treatment evaluation, and clinical research. The complex kidney system comprises various components across multiple levels, including regions (cortex, medulla), functional units (glomeruli, tubules), and cells (podocytes, mesangial cells in glomerulus). Prior studies have predominantly overlooked the intricate spatial interrelations among objects from clinical knowledge. In this research, we introduce a novel universal proposition learning approach, called panoramic renal pathology segmentation (PrPSeg), designed to segment comprehensively panoramic structures within kidney by integrating extensive knowledge of kidney anatomy. In this paper, we propose (1) the design of a comprehensive universal proposition matrix for renal pathology, facilitating the incorporation of classification and spatial relationships into the segmentation process; (2) a token-based dynamic head single network architecture, with the improvement of the partial label image segmentation and capability for future data enlargement; and (3) an anatomy loss function, quantifying the inter-object relationships across the kidney.


title: StiefelGen: A Simple, Model Agnostic Approach for Time Series Data Augmentation over Riemannian Manifolds

abstract: Data augmentation is an area of research which has seen active development in many machine learning fields, such as in image-based learning models, reinforcement learning for self driving vehicles, and general noise injection for point cloud data. However, convincing methods for general time series data augmentation still leaves much to be desired, especially since the methods developed for these models do not readily cross-over. Three common approaches for time series data augmentation include: (i) Constructing a physics-based model and then imbuing uncertainty over the coefficient space (for example), (ii) Adding noise to the observed data set(s), and, (iii) Having access to ample amounts of time series data sets from which a robust generative neural network model can be trained. However, for many practical problems that work with time series data in the industry: (i) One usually does not have access to a robust physical model, (ii) The addition of noise can in of itself require large or difficult assumptions (for example, what probability distribution should be used? Or, how large should the noise variance be?), and, (iii) In practice, it can be difficult to source a large representative time series data base with which to train the neural network model for the underlying problem. In this paper, we propose a methodology which attempts to simultaneously tackle all three of these previous limitations to a large extent. The method relies upon the well-studied matrix differential geometry of the Stiefel manifold, as it proposes a simple way in which time series signals can placed on, and then smoothly perturbed over the manifold. We attempt to clarify how this method works by showcasing several potential use cases which in particular work to take advantage of the unique properties of this underlying manifold.


title: Coupling a single spin to high-frequency motion

abstract: Coupling a single spin to high-frequency mechanical motion is a fundamental bottleneck of applications such as quantum sensing, intermediate and long-distance spin-spin coupling, and classical and quantum information processing. Previous experiments have only shown single spin coupling to low-frequency mechanical resonators, such as diamond cantilevers. High-frequency mechanical resonators, having the ability to access the quantum regime, open a range of possibilities when coupled to single spins, including readout and storage of quantum states. Here we report the first experimental demonstration of spin-mechanical coupling to a high-frequency resonator. We achieve this all-electrically on a fully suspended carbon nanotube device. A new mechanism gives rise to this coupling, which stems from spin-orbit coupling, and it is not mediated by strain. We observe both resonant and off-resonant coupling as a shift and broadening of the electric dipole spin resonance (EDSR), respectively. We develop a complete theoretical model taking into account the tensor form of the coupling and non-linearity in the motion. Our results propel spin-mechanical platforms to an uncharted regime. The interaction we reveal provides the full toolbox for promising applications ranging from the demonstration of macroscopic superpositions, to the operation of fully quantum engines, to quantum simulators.


title: CAMixerSR: Only Details Need More "Attention"

abstract: To satisfy the rapidly increasing demands on the large image (2K-8K) super-resolution (SR), prevailing methods follow two independent tracks: 1) accelerate existing networks by content-aware routing, and 2) design better super-resolution networks via token mixer refining. Despite directness, they encounter unavoidable defects (e.g., inflexible route or non-discriminative processing) limiting further improvements of quality-complexity trade-off. To erase the drawbacks, we integrate these schemes by proposing a content-aware mixer (CAMixer), which assigns convolution for simple contexts and additional deformable window-attention for sparse textures. Specifically, the CAMixer uses a learnable predictor to generate multiple bootstraps, including offsets for windows warping, a mask for classifying windows, and convolutional attentions for endowing convolution with the dynamic property, which modulates attention to include more useful textures self-adaptively and improves the representation capability of convolution. We further introduce a global classification loss to improve the accuracy of predictors. By simply stacking CAMixers, we obtain CAMixerSR which achieves superior performance on large-image SR, lightweight SR, and omnidirectional-image SR.


title: Estimation and Deconvolution of Second Order Cyclostationary Signals

abstract: This method solves the dual problem of blind deconvolution and estimation of the time waveform of noisy second-order cyclo-stationary (CS2) signals that traverse a Transfer Function (TF) en route to a sensor. We have proven that the deconvolution filter exists and eliminates the TF effect from signals whose statistics vary over time. This method is blind, meaning it does not require prior knowledge about the signals or TF. Simulations demonstrate the algorithm high precision across various signal types, TFs, and Signal-to-Noise Ratios (SNRs). In this study, the CS2 signals family is restricted to the product of a deterministic periodic function and white noise. Furthermore, this method has the potential to improve the training of Machine Learning models where the aggregation of signals from identical systems but with different TFs is required.


title: A Dold-Kan Equivalence for Crossed Simplicial Groups

abstract: Using coinduction and restriction functors, we construct a Dold-Kan type equivalence for crossed simplicial groups. We first show that the original Dold-Kan equivalence is given by an adjoint pair of coinduction and restriction functors. Then we show that the category of simplicial vector spaces and the category of representations of a crossed simplicial group are similarly equivalent as model categories.


title: Fundamental Limits of Throughput and Availability: Applications to prophet inequalities & transaction fee mechanism design

abstract: This paper studies the fundamental limits of availability and throughput for independent and heterogeneous demands of a limited resource. Availability is the probability that the demands are below the capacity of the resource. Throughput is the expected fraction of the resource that is utilized by the demands. We offer a concentration inequality generator that gives lower bounds on feasible availability and throughput pairs with a given capacity and independent but not necessarily identical distributions of up-to-unit demands. We show that availability and throughput cannot both be poor. These bounds are analogous to tail inequalities on sums of independent random variables, but hold throughout the support of the demand distribution. This analysis gives analytically tractable bounds supporting the unit-demand characterization of Chawla, Devanur, and Lykouris (2023) and generalizes to up-to-unit demands. Our bounds also provide an approach towards improved multi-unit prophet inequalities (Hajiaghayi, Kleinberg, and Sandholm, 2007). They have applications to transaction fee mechanism design (for blockchains) where high availability limits the probability of profitable user-miner coalitions (Chung and Shi, 2023).


title: Thermodynamic Trade-Off Relations in Trace-Preserving Completely Positive Maps and Its Observation on a Quantum Computer

abstract: Thermodynamic trade-off relations reveal the costs inherent in quantum information processing. Using the framework of trace-preserving completely positive maps, we derive a generalized quantum thermodynamic uncertainty relation applicable to arbitrary observables. Exploiting this relation, we establish multiple trade-offs that connect thermodynamic costs with the precision, evolution of observables, and quantum time correlations. We experimentally demonstrate the trade-off relations using superconducting qubits on a quantum computer to verify the theory. The empirical results not only show remarkable agreement with the theoretical predictions but also reveal that the precision of an observable and the quantum time correlator are tightly constrained by the thermodynamic cost. Our findings highlight the relevance of the thermodynamic trade-off relations in current quantum technologies.


title: Degradation Modeling and Prognostic Analysis Under Unknown Failure Modes

abstract: Operating units often experience various failure modes in complex systems, leading to distinct degradation paths. Relying on a prognostic model trained on a single failure mode may lead to poor generalization performance across multiple failure modes. Therefore, accurately identifying the failure mode is of critical importance. Current prognostic approaches either ignore failure modes during degradation or assume known failure mode labels, which can be challenging to acquire in practice. Moreover, the high dimensionality and complex relations of sensor signals make it challenging to identify the failure modes accurately. To address these issues, we propose a novel failure mode diagnosis method that leverages a dimension reduction technique called UMAP (Uniform Manifold Approximation and Projection) to project and visualize each unit's degradation trajectory into a lower dimension. Then, using these degradation trajectories, we develop a time series-based clustering method to identify the training units' failure modes. Finally, we introduce a monotonically constrained prognostic model to predict the failure mode labels and RUL of the test units simultaneously using the obtained failure modes of the training units. The proposed prognostic model provides failure mode-specific RUL predictions while preserving the monotonic property of the RUL predictions across consecutive time steps. We evaluate the proposed model using a case study with the aircraft gas turbine engine dataset.


title: Anomaly Detection in Offshore Wind Turbine Structures using Hierarchical Bayesian Modelling

abstract: Population-based structural health monitoring (PBSHM), aims to share information between members of a population. An offshore wind (OW) farm could be considered as a population of nominally-identical wind-turbine structures. However, benign variations exist among members, such as geometry, sea-bed conditions and temperature differences. These factors could influence structural properties and therefore the dynamic response, making it more difficult to detect structural problems via traditional SHM techniques. This paper explores the use of a hierarchical Bayesian model to infer expected soil stiffness distributions at both population and local levels, as a basis to perform anomaly detection, in the form of scour, for new and existing turbines. To do this, observations of natural frequency will be generated as though they are from a small population of wind turbines. Differences between individual observations will be introduced by postulating distributions over the soil stiffness and measurement noise, as well as reducing soil depth (to represent scour), in the case of anomaly detection.


title: An AI based Digital Score of Tumour-Immune Microenvironment Predicts Benefit to Maintenance Immunotherapy in Advanced Oesophagogastric Adenocarcinoma

abstract: Gastric and oesophageal (OG) cancers are the leading causes of cancer mortality worldwide. In OG cancers, recent studies have showed that PDL1 immune checkpoint inhibitors (ICI) in combination with chemotherapy improves patient survival. However, our understanding of the tumour immune microenvironment in OG cancers remains limited. In this study, we interrogate multiplex immunofluorescence (mIF) images taken from patients with advanced Oesophagogastric Adenocarcinoma (OGA) who received first-line fluoropyrimidine and platinum-based chemotherapy in the PLATFORM trial (NCT02678182) to predict the efficacy of the treatment and to explore the biological basis of patients responding to maintenance durvalumab (PDL1 inhibitor). Our proposed Artificial Intelligence (AI) based marker successfully identified responder from non-responder (p < 0.05) as well as those who could potentially benefit from ICI with statistical significance (p < 0.05) for both progression free and overall survival. Our findings suggest that T cells that express FOXP3 seem to heavily influence the patient treatment response and survival outcome. We also observed that higher levels of CD8+PD1+ cells are consistently linked to poor prognosis for both OS and PFS, regardless of ICI.


title: Linear stability of cylindrical, multicomponent vesicles

abstract: Vesicles are important surrogate structures made up of multiple phospholipids and cholesterol distributed in the form of a lipid bilayer. Tubular vesicles can undergo pearling i.e., formation of beads on the liquid thread akin to the Rayleigh-Plateau instability. Previous studies have inspected the effects of surface tension on the pearling instabilities of single-component vesicles. In this study, we perform a linear stability analysis on a multicomponent cylindrical vesicle. We solve the Stokes equations along with the Cahn-Hilliard equations to develop the linearized dynamic equations governing the vesicle shape and surface concentration fields. This helps us show that multicomponent vesicles can undergo pearling, buckling, and wrinkling even in the absence of surface tension, which is a significantly different result from studies on single-component vesicles. This behaviour arises due to the competition between the free energies of phase separation, line tension, and bending for this multi-phospholipid system. We determine the conditions under which axisymmetric and non-axisymmetric modes are dominant, and supplement our results with an energy analysis that shows the sources for these instabilities. We further show that these trends qualitatively match recent experiments.

categories: cond-mat.soft math-ph math.MP physics.flu-dyn


title: Suppress and Rebalance: Towards Generalized Multi-Modal Face Anti-Spoofing

abstract: Face Anti-Spoofing (FAS) is crucial for securing face recognition systems against presentation attacks. With advancements in sensor manufacture and multi-modal learning techniques, many multi-modal FAS approaches have emerged. However, they face challenges in generalizing to unseen attacks and deployment conditions. These challenges arise from (1) modality unreliability, where some modality sensors like depth and infrared undergo significant domain shifts in varying environments, leading to the spread of unreliable information during cross-modal feature fusion, and (2) modality imbalance, where training overly relies on a dominant modality hinders the convergence of others, reducing effectiveness against attack types that are indistinguishable sorely using the dominant modality. To address modality unreliability, we propose the Uncertainty-Guided Cross-Adapter (U-Adapter) to recognize unreliably detected regions within each modality and suppress the impact of unreliable regions on other modalities. For modality imbalance, we propose a Rebalanced Modality Gradient Modulation (ReGrad) strategy to rebalance the convergence speed of all modalities by adaptively adjusting their gradients. Besides, we provide the first large-scale benchmark for evaluating multi-modal FAS performance under domain generalization scenarios. Extensive experiments demonstrate that our method outperforms state-of-the-art methods. Source code and protocols will be released on https://github.com/OMGGGGG/mmdg.


title: RL-GPT: Integrating Reinforcement Learning and Code-as-policy

abstract: Large Language Models (LLMs) have demonstrated proficiency in utilizing various tools by coding, yet they face limitations in handling intricate logic and precise control. In embodied tasks, high-level planning is amenable to direct coding, while low-level actions often necessitate task-specific refinement, such as Reinforcement Learning (RL). To seamlessly integrate both modalities, we introduce a two-level hierarchical framework, RL-GPT, comprising a slow agent and a fast agent. The slow agent analyzes actions suitable for coding, while the fast agent executes coding tasks. This decomposition effectively focuses each agent on specific tasks, proving highly efficient within our pipeline. Our approach outperforms traditional RL methods and existing GPT agents, demonstrating superior efficiency. In the Minecraft game, it rapidly obtains diamonds within a single day on an RTX3090. Additionally, it achieves SOTA performance across all designated MineDojo tasks.


title: $\mathrm{SL}_2$-like Properties of Matrices Over Noncommutative Rings and Generalizations of Markov Numbers

abstract: We study $2\times 2$ matrices over noncommutative rings with anti-involution, with a special focus on the symplectic group $\mathrm{Sp}_2(\mathcal{A},\sigma)$. We define traces and determinants of such matrices and use them to prove a Cayley Hamilton identity and trace relations which generalize well known relations for elements of $\mathrm{SL}_2(R)$ over a commutative ring. We compare the structure of elements of $\mathrm{Sp}_2(\mathcal{A},\sigma)$ with Manin matrices over general noncommutative rings; this naturally leads to a quantization $\mathrm{Sp}_2(\mathcal{A},\sigma)_q$. In contrast to the usual definition of the quantum group as a deformation of the ring of matrix functions on $\mathrm{SL}_2(R)$, this quantization produces a group of matrices over a new noncommutative ring with involution. We finish the comparison by constructing a generalization of a Hopf algebra structure on the noncommutative ring of matrix functions of our quantum group. Finally, we use the noncommutative surface-type cluster algebras of Berenstein and Retakh to give a geometric interpretation of our Hopf algebra structure and to produce noncommutative generalizations of Markov numbers over many rings with involution including the complex numbers, dual numbers, matrix rings, and group rings.


title: Strong divisibility sequences and sieve methods

abstract: We investigate strong divisibility sequences and produce lower and upper bounds for the density of integers in the sequence which only have (somewhat) large prime factors. We focus on the special cases of Fibonacci numbers and elliptic divisibility sequences, discussing the limitations of our methods. At the end of the paper there is an appendix by Sandro Bettin on divisor closed sets, that we use to study the density of prime terms that appear in strong divisibility sequences.


title: DiffAssemble: A Unified Graph-Diffusion Model for 2D and 3D Reassembly

abstract: Reassembly tasks play a fundamental role in many fields and multiple approaches exist to solve specific reassembly problems. In this context, we posit that a general unified model can effectively address them all, irrespective of the input data type (images, 3D, etc.). We introduce DiffAssemble, a Graph Neural Network (GNN)-based architecture that learns to solve reassembly tasks using a diffusion model formulation. Our method treats the elements of a set, whether pieces of 2D patch or 3D object fragments, as nodes of a spatial graph. Training is performed by introducing noise into the position and rotation of the elements and iteratively denoising them to reconstruct the coherent initial pose. DiffAssemble achieves state-of-the-art (SOTA) results in most 2D and 3D reassembly tasks and is the first learning-based approach that solves 2D puzzles for both rotation and translation. Furthermore, we highlight its remarkable reduction in run-time, performing 11 times faster than the quickest optimization-based method for puzzle solving. Code available at https://github.com/IIT-PAVIS/DiffAssemble


title: Learnability Gaps of Strategic Classification

abstract: In contrast with standard classification tasks, strategic classification involves agents strategically modifying their features in an effort to receive favorable predictions. For instance, given a classifier determining loan approval based on credit scores, applicants may open or close their credit cards to fool the classifier. The learning goal is to find a classifier robust against strategic manipulations. Various settings, based on what and when information is known, have been explored in strategic classification. In this work, we focus on addressing a fundamental question: the learnability gaps between strategic classification and standard learning. We essentially show that any learnable class is also strategically learnable: we first consider a fully informative setting, where the manipulation structure (which is modeled by a manipulation graph $G^\star$) is known and during training time the learner has access to both the pre-manipulation data and post-manipulation data. We provide nearly tight sample complexity and regret bounds, offering significant improvements over prior results. Then, we relax the fully informative setting by introducing two natural types of uncertainty. First, following Ahmadi et al. (2023), we consider the setting in which the learner only has access to the post-manipulation data. We improve the results of Ahmadi et al. (2023) and close the gap between mistake upper bound and lower bound raised by them. Our second relaxation of the fully informative setting introduces uncertainty to the manipulation structure. That is, we assume that the manipulation graph is unknown but belongs to a known class of graphs. We provide nearly tight bounds on the learning complexity in various unknown manipulation graph settings. Notably, our algorithm in this setting is of independent interest and can be applied to other problems such as multi-label learning.


title: Viscoelastic response and anisotropic hydrodynamics in Weyl semimetals

abstract: We study viscoelastic response in Weyl semimetals with broken time-reversal symmetry. Topology and anisotropy of the Fermi surface are manifested in the viscoelasticity tensor of the electron fluid. In the dynamic (inter-band) part of this tensor, the anisotropy leads to a qualitatively different, compared to isotropic models, scaling with frequency and the Fermi energy. While components of the viscosity tensor determined by the Fermi surface properties agree in the Kubo and kinetic formalisms, the latter misses the anomalous Hall viscosity determined by filled states below the Fermi surface. The anisotropy of the dispersion relation is also manifested in the acceleration and relaxation terms of the hydrodynamic equations.


title: HyenaPixel: Global Image Context with Convolutions

abstract: In computer vision, a larger effective receptive field (ERF) is associated with better performance. While attention natively supports global context, its quadratic complexity limits its applicability to tasks that benefit from high-resolution input. In this work, we extend Hyena, a convolution-based attention replacement, from causal sequences to bidirectional data and two-dimensional image space. We scale Hyena's convolution kernels beyond the feature map size, up to 191$\times$191, to maximize ERF while maintaining sub-quadratic complexity in the number of pixels. We integrate our two-dimensional Hyena, HyenaPixel, and bidirectional Hyena into the MetaFormer framework. For image categorization, HyenaPixel and bidirectional Hyena achieve a competitive ImageNet-1k top-1 accuracy of 84.9% and 85.2%, respectively, with no additional training data, while outperforming other convolutional and large-kernel networks. Combining HyenaPixel with attention further improves accuracy. We attribute the success of bidirectional Hyena to learning the data-dependent geometric arrangement of pixels without a fixed neighborhood definition. Experimental results on downstream tasks suggest that HyenaPixel with large filters and a fixed neighborhood leads to better localization performance.


title: New Pathways in Neutrino Physics via Quantum-Encoded Data Analysis

abstract: Ever-increasing amount of data is produced by particle detectors in their quest to unveil the laws of Nature. The large data rate requires the use of specialized triggers that promptly reduce the data rate to a manageable level; however, in doing so, unexpected new phenomena may escape detection. Additionally, the large data rate is increasingly difficult to analyze effectively, which has led to a recent revolution on machine learning techniques. Here, we present a methodology based on recent quantum compression techniques that has the capacity to store exponentially more amount of information than classically available methods. To demonstrate this, we encode the full neutrino telescope event information using parity observables in an IBM quantum processor using 8 qubits. Then we show that we can recover the information stored on the quantum computer with a fidelity of 84%. Finally, we illustrate the use of our protocol by performing a classification task that separates electron-neutrino events to muon-neutrinos events in a neutrino telescope. This new capability would eventually allow us to solve the street light effect in particle physics, where we only record signatures of particles with which we are familiar.


title: Solucion exacta para un modelo simplificado de un sistema cuantico abierto

abstract: A simplified model of an initially excited oscillator as a quantum system interacting with a large number of oscillators acting as a reservoir has been developed in this work. All these oscillators are in their ground state uncoupled each other and at the limit of the weak coupling between the system and the reservoir. This system could be an oscillator excited in a microcavity that interacts with the vacuum's electromagnetic field at zero temperature. This work's primary goal is to obtain the system's density matrix's exact solution in these conditions. The general approach calculates all oscillators' evolution as a single isolated entity using the evolution operator. Starting from a total initial state that can be factored between the system and the reservoir, the evolution is unitary, and the partial trace is taken in all the degrees of freedom of the environment to obtain the density matrix of the system at any instant of time; this procedure requires diagonalizing Hamiltonian. The results are evaluated for a reservoir of N=1000 oscillators, particular values of the coupling force, and ohmic order of the spectral density, contrasted with the corresponding Markovian solution described in section [2.3.1].


title: Loss-Free Machine Unlearning

abstract: We present a machine unlearning approach that is both retraining- and label-free. Most existing machine unlearning approaches require a model to be fine-tuned to remove information while preserving performance. This is computationally expensive and necessitates the storage of the whole dataset for the lifetime of the model. Retraining-free approaches often utilise Fisher information, which is derived from the loss and requires labelled data which may not be available. Thus, we present an extension to the Selective Synaptic Dampening algorithm, substituting the diagonal of the Fisher information matrix for the gradient of the l2 norm of the model output to approximate sensitivity. We evaluate our method in a range of experiments using ResNet18 and Vision Transformer. Results show our label-free method is competitive with existing state-of-the-art approaches.


title: Closed-loop training of static output feedback neural network controllers for large systems: A distillation case study

abstract: The online implementation of model predictive control for constrained multivariate systems has two main disadvantages: it requires an estimate of the entire model state and an optimisation problem must be solved online. These issues have typically been treated separately. This work proposes an integrated approach for the offline training of an output feedback neural network controller in closed loop. Online this neural network controller computers the plant inputs cheaply using noisy measurements. In addition, the controller can be trained to only make use of certain predefined measurements. Further, a heuristic approach is proposed to perform the automatic selection of important measurements. The proposed method is demonstrated by extensive simulations using a non-linear distillation column model of 50 states.


title: Some Remarks on Wang-Yau Quasi-Local Mass

abstract: We review Wang-Yau quasi-local definitions along the line of gravitational Hamiltonian. This makes clear the connection and difference between Wang-Yau definition and Brown-York or even global ADM definition. We make a brief comment on admissibility condition in Wang-Yau quasi-lcoal mass. We extend the positivity proof for Wang-Yau quasi-local energy to allow possible presence of strictly stable apparent horizons through establishing solvability of Dirac equation in certain 3-manifolds that possess cylindrical ends, as in the case of Jang's graph blowing up at marginally outer trapped surfaces.


title: Anisotropy-Induced Spin Parity Effects

abstract: Spin parity effects refer to those special situations where a dichotomy in the physical behavior of a system arises, solely depending on whether the relevant spin quantum number is integral or half-odd integral. As is the case with the Haldane conjecture in antiferromagnetic spin chains, their pursuit often derives deep insights and invokes new developments in quantum condensed matter physics. Here we put forth a simple and general scheme for generating such effects in any spatial dimension through the use of anisotropic interactions, and a setup within reasonable reach of state-of-the-art cold-atom implementations. We demonstrate its utility through a detailed analysis of the magnetization behavior of a specific one-dimensional spin chain model -- an anisotropic antiferromagnet in a transverse magnetic field, unraveling along the way the quantum origin of finite-size effects observed in the magnetization curve that had previously been noted but not clearly understood.

categories: cond-mat.stat-mech cond-mat.quant-gas physics.atom-ph quant-ph


title: Basolateral mechanics prevents rigidity transition in epithelial monolayers

abstract: The mechanics of epithelial tissues, which is governed by forces generated in various cell domains, is often investigated using two-dimensional models that account for the apically-positioned actomyosin structures but neglect basolateral mechanics. We employ a more detailed three-dimensional model to study how lateral surface tensions affect the structure and rigidity of such tissues. We find that cells are apicobasally asymmetric, with one side appearing more ordered than the other depending on cell target perimeter. In contrast to the 2D model, which predicts a rigidity transition at large target perimeters, tissues in the 3D model remain solid-like across all parameter space.


title: Calibrating gravitational-wave search algorithms with conformal prediction

abstract: In astronomy, we frequently face the decision problem: does this data contain a signal? Typically, a statistical approach is used, which requires a threshold. The choice of threshold presents a common challenge in settings where signals and noise must be delineated, but their distributions overlap. Gravitational-wave astronomy, which has gone from the first discovery to catalogues of hundreds of events in less than a decade, presents a fascinating case study. For signals from colliding compact objects, the field has evolved from a frequentist to a Bayesian methodology. However, the issue of choosing a threshold and validating noise contamination in a catalogue persists. Confusion and debate often arise due to the misapplication of statistical concepts, the complicated nature of the detection statistics, and the inclusion of astrophysical background models. We introduce Conformal Prediction (CP), a framework developed in Machine Learning to provide distribution-free uncertainty quantification to point predictors. We show that CP can be viewed as an extension of the traditional statistical frameworks whereby thresholds are calibrated such that the uncertainty intervals are statistically rigorous and the error rate can be validated. Moreover, we discuss how CP offers a framework to optimally build a meta-pipeline combining the outputs from multiple independent searches. We introduce CP with a toy cosmic-ray detector, which captures the salient features of most astrophysical search problems and allows us to demonstrate the features of CP in a simple context. We then apply the approach to a recent gravitational-wave Mock Data Challenge using multiple search algorithms for compact binary coalescence signals in interferometric gravitational-wave data. Finally, we conclude with a discussion on the future potential of the method for gravitational-wave astronomy.


title: Sources of high-energy astrophysical neutrinos

abstract: We discuss recent results in neutrino astronomy and their implications for the cosmic-ray acceleration in relativistic outflows, such as in Active Galactic Nuclei (AGN) jets, Gamma-Ray Bursts (GRBs), and Tidal Disruption Events (TDEs). We especially focus on challenges at the interface to particle acceleration which can be inferred from the multi-messenger context, such as the paradigm that the sources power the Ultra-High-Energy Cosmic Rays (UHECRs). We demonstrate that both AGN blazars (in the context of neutrino observations) and GRBs (as UHECR sources in the context of neutrino-non-observations) point towards acceleration spectra harder than $E^{-2}$, or relatively high minimal cosmic-ray injection energies, to meet the respective energy budget requirements. We furthermore speculate that neutrino flares in blazars may be related to super-Eddington accretion flares, or that GRBs are powered by significantly higher kinetic energies than typically assumed in electromagnetic models. For internal shock models, the UHECR paradigm for GRBs can only be maintained in the light of neutrino stacking limits in multi-zone models. While relativistic outflows in TDEs have become recently interesting per se and models for the neutrino emission from jetted TDEs exist, a direct connection between TDE jets pointing in our direction and astrophysical neutrinos has not been identified yet.


title: On the Existence of Static Equilibria of a Cable-Suspended Load with Non-stopping Flying Carriers

abstract: This work answers positively the question whether non-stop flights are possible for maintaining constant the pose of cable-suspended objects. Such a counterintuitive answer paves the way for a paradigm shift where energetically efficient fixed-wing flying carriers can replace the inefficient multirotor carriers that have been used so far in precise cooperative cable-suspended aerial manipulation. First, we show that one or two flying carriers alone cannot perform non-stop flights while maintaining a constant pose of the suspended object. Instead, we prove that three flying carriers can achieve this task provided that the orientation of the load at the equilibrium is such that the components of the cable forces that balance the external force (typically gravity) do not belong to the plane of the cable anchoring points on the load. Numerical tests are presented in support of the analytical results.


title: Taut-Line Buzzers with Periodic Forcing

abstract: The time-dependent forcing and work per cycle required to drive sinusoidal spinning of a taut-line buzzer is analytically derived, both on and off resonance, from the nonlinear equation of motion. To test predictions, a model experimental system is constructed and characterized in terms of contraction versus twist angle and damped oscillations. The predicted force profile is then approximately implemented by hand. Nearly sinusoidal motion is observed, and the energy injection per cycle needed to maintain steady state oscillations is found to agree with theory. Additional force profiles are implemented, one to maximize non-sinusoidal response and one to maximize the response per operator effort. With the latter, an Aluminum disk of radius 5~cm and height 0.95~cm was spun at a peak speed of over 11,000~RMP for fifteen minutes. The corresponding hand-powered centrifuge system would required $1.5\times$ more force, twice the power, and triple the time in order to run $90\times$ more samples than prior state-of-art.


title: Simulation framework for integrated nonlinear quantum photonics

abstract: Nonlinear quantum photonics serves as a cornerstone in photonic quantum technologies, such as universal quantum computing and quantum communications. The emergence of integrated photonics platform not only offers the advantage of large-scale manufacturing but also provides a variety of engineering methods. Given the complexity of integrated photonics engineering, a comprehensive simulation framework is essential to fully harness the potential of the platform. In this context, we introduce a nonlinear quantum photonics simulation framework which can accurately model a variety of features such as adiabatic waveguide, material anisotropy, linear optics components, photon losses, and detectors. Furthermore, utilizing the framework, we have developed a device scheme, chip-scale temporal walk-off compensation, that is useful for various quantum information processing tasks. Applying the simulation framework, we show that the proposed device scheme can enhance the squeezing parameter of photon-pair sources and the conversion efficiency of quantum frequency converters without relying on higher pump power.


title: DISCERN: Designing Decision Support Interfaces to Investigate the Complexities of Workplace Social Decision-Making With Line Managers

abstract: Line managers form the first level of management in organizations, and must make complex decisions, while maintaining relationships with those impacted by their decisions. Amidst growing interest in technology-supported decision-making at work, their needs remain understudied. Further, most existing design knowledge for supporting social decision-making comes from domains where decision-makers are more socially detached from those they decide for. We conducted iterative design research with line managers within a technology organization, investigating decision-making practices, and opportunities for technological support. Through formative research, development of a decision-representation tool -- DISCERN -- and user enactments, we identify their communication and analysis needs that lack adequate support. We found they preferred tools for externalizing reasoning rather than tools that replace interpersonal interactions, and they wanted tools to support a range of intuitive and calculative decision-making. We discuss how design of social decision-making supports, especially in the workplace, can more explicitly support highly interactional social decision-making.


title: Attacks Against Mobility Prediction in 5G Networks

abstract: The $5^{th}$ generation of mobile networks introduces a new Network Function (NF) that was not present in previous generations, namely the Network Data Analytics Function (NWDAF). Its primary objective is to provide advanced analytics services to various entities within the network and also towards external application services in the 5G ecosystem. One of the key use cases of NWDAF is mobility trajectory prediction, which aims to accurately support efficient mobility management of User Equipment (UE) in the network by allocating ``just in time'' necessary network resources. In this paper, we show that there are potential mobility attacks that can compromise the accuracy of these predictions. In a semi-realistic scenario with 10,000 subscribers, we demonstrate that an adversary equipped with the ability to hijack cellular mobile devices and clone them can significantly reduce the prediction accuracy from 75\% to 40\% using just 100 adversarial UEs. While a defense mechanism largely depends on the attack and the mobility types in a particular area, we prove that a basic KMeans clustering is effective in distinguishing legitimate and adversarial UEs.


title: Electron-correlated study of excited states and absorption spectra of some low-symmetry graphene quantum dots

abstract: We have computed the linear optical absorption spectra of three graphene quantum dots (GQDs), saturated by hydrogens on the edges, using both first-principles time-dependent density-functional theory (TDDFT) and the Pariser-Parr-Pople (PPP) model coupled with the configuration-interaction (CI) approach. To understand the influence of electron-correlation effects, we have also calculated the singlet-triplet energy gap (spin gap) of the three GQDs. Because of the presence of edge hydrogens, these GQDs are effectively polycyclic aromatic hydrocarbons (PAHs) dibenzo[bc,ef]coronene (also known as benzo(1,14)bisanthene, C$_{30}$H$_{14}$), and two isomeric compounds, dinaphtho[8,1,2abc;2,1,8klm]coronene and dinaphtho[8,1,2abc;2,1,8jkl]coronene with the chemical formula C$_{36}$H$_{16}$. The two isomers have different point group symmetries, $C_{2v}$, and $C_{2h}$, therefore, this study will also help us understand the influence of symmetry on optical properties. A common feature of the absorption spectra of the three GQDs is that the first peak representing the optical gap is of low to moderate intensity, while the intense peaks appear at higher energies. For each GQD, PPP model calculations performed with the screened parameters agree well with the experimental results of the corresponding PAH, and also with the TDDFT calculations.


title: Connections between Planetary Populations and the Chemical Characteristics of their Host Stars

abstract: Chemical anomalies in planet-hosting stars (PHSs) are studied in order to assess how the planetary nature and multiplicity affect the atmospheric chemical abundances of their host stars. We employ APOGEE DR17 to select thin-disk stars of the Milky Way, and cross-match them with the Kepler Input Catalog to identify confirmed PHSs, which results in 227 PHSs with available chemical-abundance ratios for six refractory elements. We also examine an ensemble of stars without planet signals, which are equivalent to the selected PHSs in terms of evolutionary stage and stellar parameters, to correct for Galactic chemical-evolution effects, and derive the abundance gradient of refractory elements over the condensation temperature for the PHSs. Using the Galactic chemical-evolution corrected abundances, we found that PHSs do not show a significant difference in abundance slope from the stars without planets. Furthermore, we examine the depletion trends of refractory elements of PHSs depending on total number of planets and their types, and find that the PHSs with giant planets are more depleted in refractory elements than those with rocky planets. Among the PHSs with rocky planets, the refractory-depletion trends are potentially correlated with the terrestrial planets' radii and multiplicity. In the cases of PHSs with giant planets, sub-Jovian PHSs demonstrated more depleted refractory trends than stars hosting Jovian-mass planets, raising questions on different planetary-formation processes for Neptune-like and Jupiter-like planets.


title: Verification of Neural Networks' Global Robustness

abstract: Neural networks are successful in various applications but are also susceptible to adversarial attacks. To show the safety of network classifiers, many verifiers have been introduced to reason about the local robustness of a given input to a given perturbation. While successful, local robustness cannot generalize to unseen inputs. Several works analyze global robustness properties, however, neither can provide a precise guarantee about the cases where a network classifier does not change its classification. In this work, we propose a new global robustness property for classifiers aiming at finding the minimal globally robust bound, which naturally extends the popular local robustness property for classifiers. We introduce VHAGaR, an anytime verifier for computing this bound. VHAGaR relies on three main ideas: encoding the problem as a mixed-integer programming and pruning the search space by identifying dependencies stemming from the perturbation or the network's computation and generalizing adversarial attacks to unknown inputs. We evaluate VHAGaR on several datasets and classifiers and show that, given a three hour timeout, the average gap between the lower and upper bound on the minimal globally robust bound computed by VHAGaR is 1.9, while the gap of an existing global robustness verifier is 154.7. Moreover, VHAGaR is 130.6x faster than this verifier. Our results further indicate that leveraging dependencies and adversarial attacks makes VHAGaR 78.6x faster.


title: Fault-tolerant structures for measurement-based quantum computation on a network

abstract: In this work, we introduce a method to construct fault-tolerant measurement-based quantum computation (MBQC) architectures and numerically estimate their performance over various types of networks. A possible application of such a paradigm is distributed quantum computation, where separate computing nodes work together on a fault-tolerant computation through entanglement. We gauge error thresholds of the architectures with an efficient stabilizer simulator to investigate the resilience against both circuit-level and network noise. We show that, for both monolithic (i.e., non-distributed) and distributed implementations, an architecture based on the diamond lattice may outperform the conventional cubic lattice. Moreover, the high erasure thresholds of non-cubic lattices may be exploited further in a distributed context, as their performance may be boosted through entanglement distillation by trading in entanglement success rates against erasure errors during the error-decoding process. These results highlight the significance of lattice geometry in the design of fault-tolerant measurement-based quantum computing on a network, emphasizing the potential for constructing robust and scalable distributed quantum computers.


title: Entropy of axial product of multiplicative subshifts

abstract: We obtain the entropy and the surface entropy of the axial products on $\mathbb{N}^d$ and the $d$-tree $T^d$ of two types of systems: the subshift and the multiplicative subshift.


title: Do End-to-End Neural Diarization Attractors Need to Encode Speaker Characteristic Information?

abstract: In this paper, we apply the variational information bottleneck approach to end-to-end neural diarization with encoder-decoder attractors (EEND-EDA). This allows us to investigate what information is essential for the model. EEND-EDA utilizes attractors, vector representations of speakers in a conversation. Our analysis shows that, attractors do not necessarily have to contain speaker characteristic information. On the other hand, giving the attractors more freedom to allow them to encode some extra (possibly speaker-specific) information leads to small but consistent diarization performance improvements. Despite architectural differences in EEND systems, the notion of attractors and frame embeddings is common to most of them and not specific to EEND-EDA. We believe that the main conclusions of this work can apply to other variants of EEND. Thus, we hope this paper will be a valuable contribution to guide the community to make more informed decisions when designing new systems.


title: Generalizable Whole Slide Image Classification with Fine-Grained Visual-Semantic Interaction

abstract: Whole Slide Image (WSI) classification is often formulated as a Multiple Instance Learning (MIL) problem. Recently, Vision-Language Models (VLMs) have demonstrated remarkable performance in WSI classification. However, existing methods leverage coarse-grained pathogenetic descriptions for visual representation supervision, which are insufficient to capture the complex visual appearance of pathogenetic images, hindering the generalizability of models on diverse downstream tasks. Additionally, processing high-resolution WSIs can be computationally expensive. In this paper, we propose a novel "Fine-grained Visual-Semantic Interaction" (FiVE) framework for WSI classification. It is designed to enhance the model's generalizability by leveraging the interaction between localized visual patterns and fine-grained pathological semantics. Specifically, with meticulously designed queries, we start by utilizing a large language model to extract fine-grained pathological descriptions from various non-standardized raw reports. The output descriptions are then reconstructed into fine-grained labels used for training. By introducing a Task-specific Fine-grained Semantics (TFS) module, we enable prompts to capture crucial visual information in WSIs, which enhances representation learning and augments generalization capabilities significantly. Furthermore, given that pathological visual patterns are redundantly distributed across tissue slices, we sample a subset of visual instances during training. Our method demonstrates robust generalizability and strong transferability, dominantly outperforming the counterparts on the TCGA Lung Cancer dataset with at least 9.19% higher accuracy in few-shot experiments. The code is available at: https://github.com/ls1rius/WSI_FiVE.


title: GPTFF: A high-accuracy out-of-the-box universal AI force field for arbitrary inorganic materials

abstract: This study introduces a novel AI force field, namely graph-based pre-trained transformer force field (GPTFF), which can simulate arbitrary inorganic systems with good precision and generalizability. Harnessing a large trove of the data and the attention mechanism of transformer algorithms, the model can accurately predict energy, atomic forces, and stress with Mean Absolute Error (MAE) values of 32 meV/atom, 71 meV/{\AA}, and 0.365 GPa, respectively. The dataset used to train the model includes 37.8 million single-point energies, 11.7 billion force pairs, and 340.2 million stresses. We also demonstrated that GPTFF can be universally used to simulate various physical systems, such as crystal structure optimization, phase transition simulations, and mass transport.


title: Seeking Soulmate via Voice: Understanding Promises and Challenges of Online Synchronized Voice-Based Mobile Dating

abstract: Online dating has become a popular way for individuals to connect with potential romantic partners. Many dating apps use personal profiles that include a headshot and self-description, allowing users to present themselves and search for compatible matches. However, this traditional model often has limitations. In this study, we explore a non-traditional voice-based dating app called "Soul". Unlike traditional platforms that rely heavily on profile information, Soul facilitates user interactions through voice-based communication. We conducted semi-structured interviews with 18 dedicated Soul users to investigate how they engage with the platform and perceive themselves and others in this unique dating environment. Our findings indicate that the role of voice as a moderator influences impression management and shapes perceptions between the sender and the receiver of the voice. Additionally, the synchronous voice-based and community-based dating model offers benefits to users in the Chinese cultural context. Our study contributes to understanding the affordances introduced by voice-based interactions in online dating in China.


title: Social Links vs. Language Barriers: Decoding the Global Spread of Streaming Content

abstract: The development of the internet has allowed for the global distribution of content, redefining media communication and property structures through various streaming platforms. Previous studies successfully clarified the factors contributing to trends in each streaming service, yet the similarities and differences between platforms are commonly unexplored; moreover, the influence of social connections and cultural similarity is usually overlooked. We hereby examine the social aspects of three significant streaming services--Netflix, Spotify, and YouTube--with an emphasis on the dissemination of content across countries. Using two-year-long trending chart datasets, we find that streaming content can be divided into two types: video-oriented (Netflix) and audio-oriented (Spotify). This characteristic is differentiated by accounting for the significance of social connectedness and linguistic similarity: audio-oriented content travels via social links, but video-oriented content tends to spread throughout linguistically akin countries. Interestingly, user-generated contents, YouTube, exhibits a dual characteristic by integrating both visual and auditory characteristics, indicating the platform is evolving into unique medium rather than simply residing a midpoint between video and audio media.


title: A Novel Approach to Industrial Defect Generation through Blended Latent Diffusion Model with Online Adaptation

abstract: Effectively addressing the challenge of industrial Anomaly Detection (AD) necessitates an ample supply of defective samples, a constraint often hindered by their scarcity in industrial contexts. This paper introduces a novel algorithm designed to augment defective samples, thereby enhancing AD performance. The proposed method tailors the blended latent diffusion model for defect sample generation, employing a diffusion model to generate defective samples in the latent space. A feature editing process, controlled by a ``trimap" mask and text prompts, refines the generated samples. The image generation inference process is structured into three stages: a free diffusion stage, an editing diffusion stage, and an online decoder adaptation stage. This sophisticated inference strategy yields high-quality synthetic defective samples with diverse pattern variations, leading to significantly improved AD accuracies based on the augmented training set. Specifically, on the widely recognized MVTec AD dataset, the proposed method elevates the state-of-the-art (SOTA) performance of AD with augmented data by 1.5%, 1.9%, and 3.1% for AD metrics AP, IAP, and IAP90, respectively. The implementation code of this work can be found at the GitHub repository https://github.com/GrandpaXun242/AdaBLDM.git


title: Multiplicative Hitchin Fibration and Fundamental Lemma

abstract: Let $k$ be a finite field and let $G$ be a reductive group over $k[[\pi]]$. Suppose $\mathrm{char}(k)$ is larger than twice the Coxeter number of $G$, we prove the standard endoscopic fundamental lemma for the spherical Hecke algebra of $G$ using multiplicative Hitchin fibrations.


title: Siegel Zeros and the Hardy-Littlewood Conjecture

abstract: In 2016, Fei \cite{fei2016application} established a bound on the Siegel zeros for real primitive Dirichlet characters modulo $q$, assuming the weak Hardy-Littlewood conjecture. Building on Fei's work, Jia \cite{jia2022conditional} demonstrated the same bound using a stronger version of the Hardy-Littlewood conjecture. In this paper, we present a slightly simplified approach to reprove their results.


title: Compact Speech Translation Models via Discrete Speech Units Pretraining

abstract: We propose a pretraining method to use Self-Supervised Speech (SSS) model to creating more compact Speech-to-text Translation. In contrast to using the SSS model for initialization, our method is more suitable to memory constrained scenario such as on-device deployment. Our method is based on Discrete Speech Units (DSU) extracted from the SSS model. In the first step, our method pretrains two smaller encoder-decoder models on 1) Filterbank-to-DSU (Fbk-to-DSU) and 2) DSU-to-Translation (DSU-to-Trl) data respectively. The DSU thus become the distillation inputs of the smaller models. Subsequently, the encoder from the Fbk-to-DSU model and the decoder from the DSU-to-Trl model are taken to initialise the compact model. Finally, the compact model is finetuned on the paired Fbk-Trl data. In addition to being compact, our method requires no transcripts, making it applicable to low-resource settings. It also avoids speech discretization in inference and is more robust to the DSU tokenization. Evaluation on CoVoST-2 (X-En) shows that our method has consistent improvement over the baseline in three metrics while being compact i.e., only half the SSS model size.


title: Here's a Free Lunch: Sanitizing Backdoored Models with Model Merge

abstract: The democratization of pre-trained language models through open-source initiatives has rapidly advanced innovation and expanded access to cutting-edge technologies. However, this openness also brings significant security risks, including backdoor attacks, where hidden malicious behaviors are triggered by specific inputs, compromising natural language processing (NLP) system integrity and reliability. This paper suggests that merging a backdoored model with other homogeneous models can significantly remediate backdoor vulnerabilities even if such models are not entirely secure. In our experiments, we verify our hypothesis on various models (BERT-Base, RoBERTa-Large, Llama2-7B, and Mistral-7B) and datasets (SST-2, OLID, AG News, and QNLI). Compared to multiple advanced defensive approaches, our method offers an effective and efficient inference-stage defense against backdoor attacks on classification and instruction-tuned tasks without additional resources or specific knowledge. Our approach consistently outperforms recent advanced baselines, leading to an average of about 75% reduction in the attack success rate. Since model merging has been an established approach for improving model performance, the extra advantage it provides regarding defense can be seen as a cost-free bonus.


title: On the structure of the character degree graphs having diameter three

abstract: The structure of the character degree graphs $\Delta(G)$, i.e. the prime graphs on the set $\mathrm{cd}(G)$ of the irreducible character degrees of a finite group $G$, such that $G$ is solvable and $\Delta(G)$ has diameter three, remains an intriguing area of study. However, a comprehensive understanding of these structures remains elusive. In this paper, we prove some properties and provide an infinite series of examples of this class of graphs, building on the ideas of Mark Lewis.


title: Measurements of CNT Forest Self-Assembly from In-situ ESEM Synthesis

abstract: Understanding the dynamic self-assembly mechanisms of carbon nanotube (CNT) forests is necessary to advance their technological promise. Here, in-situ environmental scanning electron microscope (ESEM) chemical vapor deposition (CVD) synthesis observes the real-time nucleation, assembly, delamination, and self-termination of dense ($>$ 10$^9$ CNT/cm$^2$), tall ($>$ 100 $\mu$m) CNT forests in real time. Forest synthesis is continuously observed from nucleation to self-termination. Assembly forces generated near the substrate detach CNTs from the substrate, which simulation suggests requires approximately 10 nN of tensile force. Delamination initiates at both the CNT-catalyst and the catalyst-substrate interfaces, indicating multiple delamination mechanism. Digital image correlation applied to SEM image sequences measures time-invariant strain within growing forests, indicating that forests grow as rigid bodies after liftoff. The Meta CoTracker algorithm measured CNT growth rates reduce from 50 nm/sec to full termination over 150 seconds. This work provides a robust strategy to observe and measure CVD material synthesis in-situ using ESEM. The method is uniquely suited to observe population-based phenomena at both nanometer spatial resolution and at a highly scalable field of view.


title: Integral field spectroscopy supports atmospheric optics to reveal the finite outer scale of the turbulence

abstract: The spatial coherence wavefront outer scale (L_0) characterizes the size of the largest turbulence eddies in Earth's atmosphere, determining low spatial frequency perturbations in the wavefront of the light captured by ground-based telescopes. The motivation of this work is to introduce a novel technique for estimating L_0 from seeing-limited integral field spectroscopic (IFS) data. This approach is based on the impact of a finite L_0 on the light collected by the pupil entrance of a ground-based telescope. We take advantage of the homogeneity of IFS to generate band filter images spanning a wide wavelength range, enabling the assessment of image quality (IQ) at the telescope's focal plane. Comparing the measured wavelength-dependent IQ variation with predictions from Tokovinin (2002) analytical approach offers valuable insights into the prevailing L_0 parameter during the observations. We applied the proposed technique to observations from MUSE in the Wide Field Mode obtained at the Paranal Observatory. Our analysis successfully validates Tokovinin's analytical expression, which combines the seeing (E_0) and the L_0 parameters, to predict the IQ variations with the wavelength in ground-based astronomical data. However, we observed some discrepancies between the measured and predictions of the IQ that are analyzed in terms of uncertainties in the estimated E_0 and dome-induced turbulence contributions. This work constitutes the empirical validation of the analytical expression for estimating IQ at the focal plane of ground-based telescopes under specific E_0 and finite L_0 conditions. Additionally, we provide a simple methodology to characterize the L_0 and dome-seeing (E_d) as by-products of IFS observations routinely conducted at major ground-based astronomical observatories.


title: 3D Super-resolution Optical Fluctuation Imaging with Temporal Focusing two-photon excitation

abstract: 3D super-resolution fluorescence microscopy typically requires sophisticated setups, sample preparation, or long measurements. A notable exception, SOFI, only requires recording a sequence of frames and no hardware modifications whatsoever but being a wide-field method, it faces problems in thick, dense samples. We combine SOFI with temporal focusing two-photon excitation -- the wide-field method that is capable of excitation of a thin slice in 3D volume. Both methods are easy to implement in a standard microscope, and by merging them, we obtain super-resolved 3D images of neurons stained with quantum dots. Our approach offers reduced bleaching and an improved signal-to-background ratio that can be used when robust resolution improvement is required in thick, dense samples.


title: Stitching Gaps: Fusing Situated Perceptual Knowledge with Vision Transformers for High-Level Image Classification

abstract: The increasing demand for automatic high-level image understanding, particularly in detecting abstract concepts (AC) within images, underscores the necessity for innovative and more interpretable approaches. These approaches need to harmonize traditional deep vision methods with the nuanced, context-dependent knowledge humans employ to interpret images at intricate semantic levels. In this work, we leverage situated perceptual knowledge of cultural images to enhance performance and interpretability in AC image classification. We automatically extract perceptual semantic units from images, which we then model and integrate into the ARTstract Knowledge Graph (AKG). This resource captures situated perceptual semantics gleaned from over 14,000 cultural images labeled with ACs. Additionally, we enhance the AKG with high-level linguistic frames. We compute KG embeddings and experiment with relative representations and hybrid approaches that fuse these embeddings with visual transformer embeddings. Finally, for interpretability, we conduct posthoc qualitative analyses by examining model similarities with training instances. Our results show that our hybrid KGE-ViT methods outperform existing techniques in AC image classification. The posthoc interpretability analyses reveal the visual transformer's proficiency in capturing pixel-level visual attributes, contrasting with our method's efficacy in representing more abstract and semantic scene elements. We demonstrate the synergy and complementarity between KGE embeddings' situated perceptual knowledge and deep visual model's sensory-perceptual understanding for AC image classification. This work suggests a strong potential of neuro-symbolic methods for knowledge integration and robust image representation for use in downstream intricate visual comprehension tasks. All the materials and code are available online.


title: One model to use them all: Training a segmentation model with complementary datasets

abstract: Understanding a surgical scene is crucial for computer-assisted surgery systems to provide any intelligent assistance functionality. One way of achieving this scene understanding is via scene segmentation, where every pixel of a frame is classified and therefore identifies the visible structures and tissues. Progress on fully segmenting surgical scenes has been made using machine learning. However, such models require large amounts of annotated training data, containing examples of all relevant object classes. Such fully annotated datasets are hard to create, as every pixel in a frame needs to be annotated by medical experts and, therefore, are rarely available. In this work, we propose a method to combine multiple partially annotated datasets, which provide complementary annotations, into one model, enabling better scene segmentation and the use of multiple readily available datasets. Our method aims to combine available data with complementary labels by leveraging mutual exclusive properties to maximize information. Specifically, we propose to use positive annotations of other classes as negative samples and to exclude background pixels of binary annotations, as we cannot tell if they contain a class not annotated but predicted by the model. We evaluate our method by training a DeepLabV3 on the publicly available Dresden Surgical Anatomy Dataset, which provides multiple subsets of binary segmented anatomical structures. Our approach successfully combines 6 classes into one model, increasing the overall Dice Score by 4.4% compared to an ensemble of models trained on the classes individually. By including information on multiple classes, we were able to reduce confusion between stomach and colon by 24%. Our results demonstrate the feasibility of training a model on multiple datasets. This paves the way for future work further alleviating the need for one large, fully segmented datasets.


title: RoadRunner - Learning Traversability Estimation for Autonomous Off-road Driving

abstract: Autonomous navigation at high speeds in off-road environments necessitates robots to comprehensively understand their surroundings using onboard sensing only. The extreme conditions posed by the off-road setting can cause degraded camera image quality due to poor lighting and motion blur, as well as limited sparse geometric information available from LiDAR sensing when driving at high speeds. In this work, we present RoadRunner, a novel framework capable of predicting terrain traversability and an elevation map directly from camera and LiDAR sensor inputs. RoadRunner enables reliable autonomous navigation, by fusing sensory information, handling of uncertainty, and generation of contextually informed predictions about the geometry and traversability of the terrain while operating at low latency. In contrast to existing methods relying on classifying handcrafted semantic classes and using heuristics to predict traversability costs, our method is trained end-to-end in a self-supervised fashion. The RoadRunner network architecture builds upon popular sensor fusion network architectures from the autonomous driving domain, which embed LiDAR and camera information into a common Bird's Eye View perspective. Training is enabled by utilizing an existing traversability estimation stack to generate training data in hindsight in a scalable manner from real-world off-road driving datasets. Furthermore, RoadRunner improves the system latency by a factor of roughly 4, from 500 ms to 140 ms, while improving the accuracy for traversability costs and elevation map predictions. We demonstrate the effectiveness of RoadRunner in enabling safe and reliable off-road navigation at high speeds in multiple real-world driving scenarios through unstructured desert environments.


title: Integrate on a closed stratified surface

abstract: We prove that the Drinfeld center centralized by a symmetric fusion category is a symmetric monoidal functor if we choose proper domain and codomain categories. We also compute the factorization homology of stratified surfaces with coefficients satisfying certain anomaly-free conditions.


title: Infinite Order Hydrodynamics: an Analytical Example

abstract: We construct a kinetic model for matter-radiation interactions where the hydrodynamic gradient expansion can be computed analytically up to infinite order in derivatives, in the fully non-linear regime, and for arbitrary flows. The frequency dependence of the opacity of matter is chosen to mimic the relaxation time of a self-interacting scalar field. In this way, the transient sector simulates that of a realistic quantum field theory. As expected, the gradient series is divergent for most flows. We identify the mechanism at the origin of the divergence, and we provide a successful regularization scheme. Additionally, we propose a universal qualitative framework for predicting the breakdown of the gradient expansion of an arbitrary microscopic system undergoing a given flow. This framework correctly predicts the factorial divergence of the gradient expansion in most non-linear flows and its breakdown due to stochastic fluctuations. It also predicts that jets may induce an ultraviolet divergence in the gradient expansion of quark matter hydrodynamics.


title: The 6th Affective Behavior Analysis in-the-wild (ABAW) Competition

abstract: This paper describes the 6th Affective Behavior Analysis in-the-wild (ABAW) Competition, which is part of the respective Workshop held in conjunction with IEEE CVPR 2024. The 6th ABAW Competition addresses contemporary challenges in understanding human emotions and behaviors, crucial for the development of human-centered technologies. In more detail, the Competition focuses on affect related benchmarking tasks and comprises of five sub-challenges: i) Valence-Arousal Estimation (the target is to estimate two continuous affect dimensions, valence and arousal), ii) Expression Recognition (the target is to recognise between the mutually exclusive classes of the 7 basic expressions and 'other'), iii) Action Unit Detection (the target is to detect 12 action units), iv) Compound Expression Recognition (the target is to recognise between the 7 mutually exclusive compound expression classes), and v) Emotional Mimicry Intensity Estimation (the target is to estimate six continuous emotion dimensions). In the paper, we present these Challenges, describe their respective datasets and challenge protocols (we outline the evaluation metrics) and present the baseline systems as well as their obtained performance. More information for the Competition can be found in: https://affective-behavior-analysis-in-the-wild.github.io/6th.


title: Multi-frequency tracking via group-sparse optimal transport

abstract: In this work, we introduce an optimal transport framework for inferring power distributions over both spatial location and temporal frequency. Recently, it has been shown that optimal transport is a powerful tool for estimating spatial spectra that change smoothly over time. In this work, we consider the tracking of the spatio-temporal spectrum corresponding to a small number of moving broad-band signal sources. Typically, such tracking problems are addressed by treating the spatio-temporal power distribution in a frequency-by-frequency manner, allowing to use well-understood models for narrow-band signals. This however leads to decreased target resolution due to inefficient use of the available information. We propose an extension of the optimal transport framework that exploits information from several frequencies simultaneously by estimating a spatio-temporal distribution penalized by a group-sparsity regularizer. This approach finds a spatial spectrum that changes smoothly over time, and at each time instance has a small support that is similar across frequencies. To the best of the authors knowledge, this is the first formulation combining optimal transport and sparsity for solving inverse problems. As is shown on simulated and real data, our method can successfully track targets in scenarios where information from separate frequency bands alone is insufficient.