title: Hardy inequalities for large fermionic systems

abstract: Given $0<s<\frac d2$ with $s\leq 1$, we are interested in the large $N$-behavior of the optimal constant $\kappa_N$ in the Hardy inequality $\sum_{n=1}^N (-\Delta_n)^s \geq \kappa_N \sum_{n<m} |X_n-X_m|^{-2s}$, when restricted to antisymmetric functions. We show that $N^{1-\frac{2s}d}\kappa_N$ has a positive, finite limit given by a certain variational problem, thereby generalizing a result of Lieb and Yau related to the Chandrasekhar theory of gravitational collapse.


title: Automated Contrastive Learning Strategy Search for Time Series

abstract: In recent years, Contrastive Learning (CL) has become a predominant representation learning paradigm for time series. Most existing methods in the literature focus on manually building specific Contrastive Learning Strategies (CLS) by human heuristics for certain datasets and tasks. However, manually developing CLS usually require excessive prior knowledge about the datasets and tasks, e.g., professional cognition of the medical time series in healthcare, as well as huge human labor and massive experiments to determine the detailed learning configurations. In this paper, we present an Automated Machine Learning (AutoML) practice at Microsoft, which automatically learns to contrastively learn representations for various time series datasets and tasks, namely Automated Contrastive Learning (AutoCL). We first construct a principled universal search space of size over 3x1012, covering data augmentation, embedding transformation, contrastive pair construction and contrastive losses. Further, we introduce an efficient reinforcement learning algorithm, which optimizes CLS from the performance on the validation tasks, to obtain more effective CLS within the space. Experimental results on various real-world tasks and datasets demonstrate that AutoCL could automatically find the suitable CLS for a given dataset and task. From the candidate CLS found by AutoCL on several public datasets/tasks, we compose a transferable Generally Good Strategy (GGS), which has a strong performance for other datasets. We also provide empirical analysis as a guidance for future design of CLS.


title: Interlayer Dzyaloshinskii-Moriya interaction in synthetic ferrimagnets

abstract: The antisymmetric interlayer exchange interaction, i.e., interlayer Dzyaloshinskii-Moriya interaction (IL-DMI) has attracted significant interest since this long-range chiral spin interaction provides a new dimension for controlling spin textures and dynamics. However, the role of IL-DMI in the field induced and spin-orbit torque (SOT) induced switching of synthetic ferrimagnets (SFi) has not been uncovered. Here, we exploit interlayer chiral exchange bias fields in SFi to address both the sign and magnitude of the IL-DMI. Depending on the degree of imbalance between the two magnetic moments of the SFi, the amount of asymmetry, addressed via loop shifts of the hysteresis loops under an in-plane field reveals a unidirectional and chiral nature of the IL-DMI. The devices are then tested with SOT switching experiments and the process is examined via both transient state and steady state detection. In addition to field-free SOT switching, we find that the combination of IL-DMI and SOT give rise to multi-resistance states, which provides a possible direction for the future design of neuromorphic computing devices based on SOT. This work is a step towards characterizing and understanding the IL-DMI for spintronic applications.


title: PH-NODE: A DFPT and finite displacement supercell based python code for searching nodes in topological phononic materials

abstract: Exploring the topological physics of phonons is fundamentally important for understanding various practical applications. Here, we present a density-functional perturbation theory and finite displacement supercell based Python 3 software package called PH-NODE for efficiently computing phonon nodes present in real material through a first-principle approach. The present version of the code is interfaced with the WIEN2k, Elk, and ABINIT packages. In order to benchmark the code, four different types of materials are considered, which include (i) FeSi, a well-known double-Weyl point; (ii) LiCaAs, a half-Heusler single-type-I Weyl topological phonon (TP); and (iii) ScZn, coexisting nodal-line and nodal-ring TPs; (iv) TiS, six pairs of bulk Weyl nodes. In FeSi, the node points are found at ${\Gamma}$(0, 0, 0) and R(0.5, 0.5, 0.5) high symmetric points. Also, there are 21 energy values at which the node points are situated, corresponding to the full Brillouin Zone. For LiCaAs, the previously reported literature claims that there is a node point along the W-X high symmetry direction between the highest longitudinal acoustic and the lowest transverse optical branch, while in our DFT calculations, a gap of 0.17 meV is found. Furthermore, ScZn hosts six nodal-ring TPs phonons at the boundary planes of the Brillouin Zone in the vicinity of the M high-symmetric point. In addition to this, straight-line TPs are also found along the ${\Gamma}$-X and ${\Gamma}$-R high symmetric directions. Moreover, for TiS, six weyl node points (WP1, WP2, WP3, WP4, WP5 and WP6) are found along H-K high-symmetric direction. The results obtained from the PH-NODE code are in good agreement with the experimentally and theoretically reported data for each material.


title: When Does Your Brain Know You? Segment Length and Its Impact on EEG-based Biometric Authentication Accuracy

abstract: In the quest for optimal EEG-based biometric authentication, this study investigates the pivotal balance for accurate identification without sacrificing performance or adding unnecessary computational complexity. Through a methodical exploration of segment durations, and employing a variety of sophisticated machine learning models, the research seeks to pinpoint a threshold where EEG data provides maximum informational yield for authentication purposes. The findings are set to advance the field of non-invasive biometric technologies, proposing a practical approach to secure and user-friendly identity verification systems while also raising considerations for the real-world application of EEG-based biometric authentication beyond controlled environments.


title: Calibration and characterization of the RED-100 detector at the Kalinin nuclear power plant

abstract: RED-100 is a two-phase Xe detector designed and built for the study of coherent elastic neutrino-nucleus scattering CEvNS of reactor antineutrinos. A comprehensive calibration was performed in order to obtain important parameters of the detector during its exposition at the Kalinin Nuclear Power Plant (Tver, Russia). This paper describes the analysis of calibration data, position and energy reconstruction procedures, and evaluation of the efficiency of electron extraction from the liquid xenon to the gas phase.


title: Prompt-fused framework for Inductive Logical Query Answering

abstract: Answering logical queries on knowledge graphs (KG) poses a significant challenge for machine reasoning. The primary obstacle in this task stems from the inherent incompleteness of KGs. Existing research has predominantly focused on addressing the issue of missing edges in KGs, thereby neglecting another aspect of incompleteness: the emergence of new entities. Furthermore, most of the existing methods tend to reason over each logical operator separately, rather than comprehensively analyzing the query as a whole during the reasoning process. In this paper, we propose a query-aware prompt-fused framework named Pro-QE, which could incorporate existing query embedding methods and address the embedding of emerging entities through contextual information aggregation. Additionally, a query prompt, which is generated by encoding the symbolic query, is introduced to gather information relevant to the query from a holistic perspective. To evaluate the efficacy of our model in the inductive setting, we introduce two new challenging benchmarks. Experimental results demonstrate that our model successfully handles the issue of unseen entities in logical queries. Furthermore, the ablation study confirms the efficacy of the aggregator and prompt components.


title: Uncertainty in the financial market and application to forecastabnormal financial fluctuations

abstract: The integration and innovation of finance and technology have gradually transformed the financial system into a complex one. Analyses of the causesd of abnormal fluctuations in the financial market to extract early warning indicators revealed that most early warning systems are qualitative and causal. However, these models cannot be used to forecast the risk of the financial market benchmark. Therefore, from a quantitative analysis perspective, we focus on the mean and volatility uncertainties of the stock index (benchmark) and then construct three early warning indicators: mean uncertainty, volatility uncertainty, and ALM-G-value at risk. Based on the novel warning indicators, we establish a new abnormal fluctuations warning model, which will provide a short-term warning for the country, society, and individuals to reflect in advance.


title: Revisiting Local Computation of PageRank: Simple and Optimal

abstract: We revisit the classic local graph exploration algorithm ApproxContributions proposed by Andersen, Borgs, Chayes, Hopcroft, Mirrokni, and Teng (WAW '07, Internet Math. '08) for computing an $\epsilon$-approximation of the PageRank contribution vector for a target node $t$ on a graph with $n$ nodes and $m$ edges. We give a worst-case complexity bound of ApproxContributions as $O(n\pi(t)/\epsilon\cdot\min(\Delta_{in},\Delta_{out},\sqrt{m}))$, where $\pi(t)$ is the PageRank score of $t$, and $\Delta_{in}$ and $\Delta_{out}$ are the maximum in-degree and out-degree of the graph, resp. We also give a lower bound of $\Omega(\min(\Delta_{in}/\delta,\Delta_{out}/\delta,\sqrt{m}/\delta,m))$ for detecting the $\delta$-contributing set of $t$, showing that the simple ApproxContributions algorithm is already optimal. We also investigate the computational complexity of locally estimating a node's PageRank centrality. We improve the best-known upper bound of $\widetilde{O}(n^{2/3}\cdot\min(\Delta_{out}^{1/3},m^{1/6}))$ given by Bressan, Peserico, and Pretto (SICOMP '23) to $O(n^{1/2}\cdot\min(\Delta_{in}^{1/2},\Delta_{out}^{1/2},m^{1/4}))$ by simply combining ApproxContributions with the Monte Carlo simulation method. We also improve their lower bound of $\Omega(\min(n^{1/2}\Delta_{out}^{1/2},n^{1/3}m^{1/3}))$ to $\Omega(n^{1/2}\cdot\min(\Delta_{in}^{1/2},\Delta_{out}^{1/2},m^{1/4}))$ if $\min(\Delta_{in},\Delta_{out})=\Omega(n^{1/3})$, and to $\Omega(n^{1/2-\gamma}(\min(\Delta_{in},\Delta_{out}))^{1/2+\gamma})$ if $\min(\Delta_{in},\Delta_{out})=o(n^{1/3})$, where $\gamma>0$ is an arbitrarily small constant. Our matching upper and lower bounds resolve the open problem of whether one can tighten the bounds given by Bressan, Peserico, and Pretto (FOCS '18, SICOMP '23). Remarkably, the techniques and analyses for proving all our results are surprisingly simple.


title: InBox: Recommendation with Knowledge Graph using Interest Box Embedding

abstract: Knowledge graphs (KGs) have become vitally important in modern recommender systems, effectively improving performance and interpretability. Fundamentally, recommender systems aim to identify user interests based on historical interactions and recommend suitable items. However, existing works overlook two key challenges: (1) an interest corresponds to a potentially large set of related items, and (2) the lack of explicit, fine-grained exploitation of KG information and interest connectivity. This leads to an inability to reflect distinctions between entities and interests when modeling them in a single way. Additionally, the granularity of concepts in the knowledge graphs used for recommendations tends to be coarse, failing to match the fine-grained nature of user interests. This homogenization limits the precise exploitation of knowledge graph data and interest connectivity. To address these limitations, we introduce a novel embedding-based model called InBox. Specifically, various knowledge graph entities and relations are embedded as points or boxes, while user interests are modeled as boxes encompassing interaction history. Representing interests as boxes enables containing collections of item points related to that interest. We further propose that an interest comprises diverse basic concepts, and box intersection naturally supports concept combination. Across three training steps, InBox significantly outperforms state-of-the-art methods like HAKG and KGIN on recommendation tasks. Further analysis provides meaningful insights into the variable value of different KG data for recommendations. In summary, InBox advances recommender systems through box-based interest and concept modeling for sophisticated knowledge graph exploitation.


title: Adaptive Multilevel Neural Networks for Parametric PDEs with Error Estimation

abstract: To solve high-dimensional parameter-dependent partial differential equations (pPDEs), a neural network architecture is presented. It is constructed to map parameters of the model data to corresponding finite element solutions. To improve training efficiency and to enable control of the approximation error, the network mimics an adaptive finite element method (AFEM). It outputs a coarse grid solution and a series of corrections as produced in an AFEM, allowing a tracking of the error decay over successive layers of the network. The observed errors are measured by a reliable residual based a posteriori error estimator, enabling the reduction to only few parameters for the approximation in the output of the network. This leads to a problem adapted representation of the solution on locally refined grids. Furthermore, each solution of the AFEM is discretized in a hierarchical basis. For the architecture, convolutional neural networks (CNNs) are chosen. The hierarchical basis then allows to handle sparse images for finely discretized meshes. Additionally, as corrections on finer levels decrease in amplitude, i.e., importance for the overall approximation, the accuracy of the network approximation is allowed to decrease successively. This can either be incorporated in the number of generated high fidelity samples used for training or the size of the network components responsible for the fine grid outputs. The architecture is described and preliminary numerical examples are presented.


title: Mean-field derivation of Landau-like equations

abstract: We derive a class of space homogeneous Landau-like equations from stochastic interacting particles. Through the use of relative entropy, we obtain quantitative bounds on the distance between the solution of the N-particle Liouville equation and the tensorised solution of the limiting Landau-like equation.


title: Well-posedness of the stochastic thin-film equation with an interface potential

abstract: We consider strictly positive solutions to a class of fourth-order conservative quasilinear SPDEs on the $d$-dimensional torus modeled after the stochastic thin-film equation. We prove local Lipschitz estimates in Bessel potential spaces under minimal assumptions on the parameters and corresponding stochastic maximal $L^p$-regularity estimates for thin-film type operators with measurable in-time coefficients. As a result, we deduce local well-posedness of the stochastic thin-film equation as well as blow-up criteria and instantaneous regularization for the solution. In dimension one, we additionally close $\alpha$-entropy estimates and subsequently an energy estimate for the stochastic thin-film equation with an interface potential so that global well-posedness follows. We allow for a wide range of mobility functions including the power laws $u^n$ for $n\in [0,6)$ as long as the interface potential is sufficiently repulsive.


title: Composite likelihood estimation of stationary Gaussian processes with a view toward stochastic volatility

abstract: We develop a framework for composite likelihood inference of parametric continuous-time stationary Gaussian processes. We derive the asymptotic theory of the associated maximum composite likelihood estimator. We implement our approach on a pair of models that has been proposed to describe the random log-spot variance of financial asset returns. A simulation study shows that it delivers good performance in these settings and improves upon a method-of-moments estimation. In an application, we inspect the dynamic of an intraday measure of spot variance computed with high-frequency data from the cryptocurrency market. The empirical evidence supports a mechanism, where the short- and long-term correlation structure of stochastic volatility are decoupled in order to capture its properties at different time scales.


title: Water Aging Effects on Graphene Nanoplatelets and Multi-walled Carbon Nanotube Reinforced Epoxy Glass Fiber Nanocomposites

abstract: Nanocomposites reinforced with hybrid fillers of multi-walled carbon nanotubes (MWCNTs) and graphene nanoplatelets (GNPs) were developed, aimed at improving electrical and morphological properties of the hybrid nanocomposites while reducing the cost of the final product. GNPs and MWCNTs nanofillers have shown improved electrical and morphological properties with most polymers. In this work, the effect of short-term water aging for 1440 h on MCWNTs and GNPs reinforced epoxy glass fiber nanocomposites was studied. Epoxy nanocomposites were prepared with varying combinations of MCWNTs and GNPs (2:1, 2:2, and 2:3wt. %) as conducting fillers and their electrical conductivity was evaluated after short-term water aging. It was shown that the addition of MCWNTs and GNPs enhanced the electrical conductivity of composites: A low percolation threshold was achieved with 2 wt. % MCWNTs and 3 wt. % GNPs. The addition of MCWNTs enhanced the electrical conductivity and dielectric constant, confirming the synergistic effect of CNTs as multifunctional filler. Microstructural investigations and morphology of nanocomposites were investigated using Fourier transform-infrared spectroscopy and X-ray diffraction. The novelty of this work arises from the combination of two conducting fillers with different geometry and aspect ratios as well as different dispersion characteristics. The results obtained from the electrical measurements after water aging on hybrid nanocomposites indicates slight increases in electrical conductivity.


title: One-sided generalized Drazin-Riesz and one-sided generalized Drazin-meromorphic invertible operators

abstract: The aim of this paper is to introduce and study left and right versions of the class of generalized Drazin-Riesz invertible operators, as well as left and right versions of the class of generalized Drazin-meromorphic invertible operators.


title: ac Hall Effect and Photon Drag of Superconducting Condensate

abstract: We suggest a theoretical description of the photogalvanic phenomena arising in superconducting condensates in the field of electromagnetic wave. The ac Hall effect and photon drag are shown to originate from the second-order nonlinear response of superconducting carriers caused by the suppression of their concentration due to the combined influence of the electron - hole asymmetry and charge imbalance generated by the incident electromagnetic wave. Starting from the time-dependent Ginzburg-Landau theory with the complex relaxation constant we develop a phenomenological description of these phenomena and investigate the resulting behavior of the dc supercurrent and second harmonic induced by microwave radiation incident on a superconductor surface.


title: Local spectral estimates and quantitative weak mixing for substitution $\mathbb{Z}$-actions

abstract: The paper investigates H\"older and log-H\"older regularity of spectral measures for weakly mixing substitutions and the related question of quantitative weak mixing. It is assumed that the substitution is primitive, aperiodic, and its substitution matrix is irreducible over the rationals. In the case when there are no eigenvalues of the substitution matrix on the unit circle, our main theorem says that a weakly mixing substitution $\mathbb{Z}$-action has uniformly log-H\"older regular spectral measures, and hence admits power-logarithmic bounds for the rate of weak mixing. In the more delicate Salem substitution case, our second main result says that H\"older regularity holds for algebraic spectral parameters, but the H\"older exponent cannot be chosen uniformly.


title: Tuning-Free Image Customization with Image and Text Guidance

abstract: Despite significant advancements in image customization with diffusion models, current methods still have several limitations: 1) unintended changes in non-target areas when regenerating the entire image; 2) guidance solely by a reference image or text descriptions; and 3) time-consuming fine-tuning, which limits their practical application. In response, we introduce a tuning-free framework for simultaneous text-image-guided image customization, enabling precise editing of specific image regions within seconds. Our approach preserves the semantic features of the reference image subject while allowing modification of detailed attributes based on text descriptions. To achieve this, we propose an innovative attention blending strategy that blends self-attention features in the UNet decoder during the denoising process. To our knowledge, this is the first tuning-free method that concurrently utilizes text and image guidance for image customization in specific regions. Our approach outperforms previous methods in both human and quantitative evaluations, providing an efficient solution for various practical applications, such as image synthesis, design, and creative photography.


title: Graph Neural Networks for Carbon Dioxide Adsorption Prediction in Aluminium-Exchanged Zeolites

abstract: The ability to efficiently predict adsorption properties of zeolites can be of large benefit in accelerating the design process of novel materials. The existing configuration space for these materials is wide, while existing molecular simulation methods are computationally expensive. In this work, we propose a model which is 4 to 5 orders of magnitude faster at adsorption properties compared to molecular simulations. To validate the model, we generated datasets containing various aluminium configurations for the MOR, MFI, RHO and ITW zeolites along with their heat of adsorptions and Henry coefficients for CO$_2$, obtained from Monte Carlo simulations. The predictions obtained from the Machine Learning model are in agreement with the values obtained from the Monte Carlo simulations, confirming that the model can be used for property prediction. Furthermore, we show that the model can be used for identifying adsorption sites. Finally, we evaluate the capability of our model for generating novel zeolite configurations by using it in combination with a genetic algorithm.


title: ERASE: Benchmarking Feature Selection Methods for Deep Recommender Systems

abstract: Deep Recommender Systems (DRS) are increasingly dependent on a large number of feature fields for more precise recommendations. Effective feature selection methods are consequently becoming critical for further enhancing the accuracy and optimizing storage efficiencies to align with the deployment demands. This research area, particularly in the context of DRS, is nascent and faces three core challenges. Firstly, variant experimental setups across research papers often yield unfair comparisons, obscuring practical insights. Secondly, the existing literature's lack of detailed analysis on selection attributes, based on large-scale datasets and a thorough comparison among selection techniques and DRS backbones, restricts the generalizability of findings and impedes deployment on DRS. Lastly, research often focuses on comparing the peak performance achievable by feature selection methods, an approach that is typically computationally infeasible for identifying the optimal hyperparameters and overlooks evaluating the robustness and stability of these methods. To bridge these gaps, this paper presents ERASE, a comprehensive bEnchmaRk for feAture SElection for DRS. ERASE comprises a thorough evaluation of eleven feature selection methods, covering both traditional and deep learning approaches, across four public datasets, private industrial datasets, and a real-world commercial platform, achieving significant enhancement. Our code is available online for ease of reproduction.


title: Reflected Brownian Motion in a wedge: sum-of-exponential absorption probability at the vertex and differential properties

abstract: We study a Brownian motion with drift in a wedge of angle $\beta$ which is obliquely reflected on each edge along angles $\varepsilon$ and $\delta$. We assume that the classical parameter $\alpha=\frac{\delta+\varepsilon - \pi}{\beta}$ is greater than $1$ and we focus on transient cases where the process can either be absorbed at the vertex or escape to infinity. We show that $\alpha\in\mathbb{N}^*$ is a necessary and sufficient condition for the absorption probability, seen as a function of the starting point, to be written as a finite sum of terms of exponential product form. In such cases, we give expressions for the absorption probability and its Laplace transform. When $\alpha\in\mathbb{Z}+\frac{\pi}{\beta}\mathbb{Z}$ we find explicit D-algebraic expression for the Laplace transform. Our results rely on Tutte's invariant method and on a recursive compensation approach.


title: Generic non-uniqueness of minimizing harmonic maps from a ball to a sphere

abstract: In this note, we study non-uniqueness for minimizing harmonic maps from $B^3$ to $\mathbb{S}^2$. We show that every boundary map can be modified to a boundary map that admits multiple minimizers of the Dirichlet energy by a small $W^{1,p}$-change for $p<2$. This strengthens a remark by the second-named author and Strzelecki. The main novel ingredient is a homotopy construction, which is the answer to an easier variant of a challenging question regarding the existence of a norm control for homotopies between $ W^{1,p} $ maps.


title: Renormalization of networks with weak geometric coupling

abstract: The Renormalization Group is crucial for understanding systems across scales, including complex networks. Renormalizing networks via network geometry, a framework in which their topology is based on the location of nodes in a hidden metric space, is one of the foundational approaches. However, the current methods assume that the geometric coupling is strong, neglecting weak coupling in many real networks. This paper extends renormalization to weak geometric coupling, showing that geometric information is essential to preserve self-similarity. Our results underline the importance of geometric effects on network topology even when the coupling to the underlying space is weak.


title: Deciphering AutoML Ensembles: cattleia's Assistance in Decision-Making

abstract: In many applications, model ensembling proves to be better than a single predictive model. Hence, it is the most common post-processing technique in Automated Machine Learning (AutoML). The most popular frameworks use ensembles at the expense of reducing the interpretability of the final models. In our work, we propose cattleia - an application that deciphers the ensembles for regression, multiclass, and binary classification tasks. This tool works with models built by three AutoML packages: auto-sklearn, AutoGluon, and FLAML. The given ensemble is analyzed from different perspectives. We conduct a predictive performance investigation through evaluation metrics of the ensemble and its component models. We extend the validation perspective by introducing new measures to assess the diversity and complementarity of the model predictions. Moreover, we apply explainable artificial intelligence (XAI) techniques to examine the importance of variables. Summarizing obtained insights, we can investigate and adjust the weights with a modification tool to tune the ensemble in the desired way. The application provides the aforementioned aspects through dedicated interactive visualizations, making it accessible to a diverse audience. We believe the cattleia can support users in decision-making and deepen the comprehension of AutoML frameworks.


title: Diffusion, viscosity and linear rheology of valence-limited disordered fluids

abstract: We numerically investigate the dynamics and linear rheology of disordered systems made of patchy particles, focussing on the role of valence, temperature and bonding mechanism. We demonstrate that the dynamics is enslaved to bonding, giving rise to an activated behaviour at low temperature. By independently computing the diffusion constant and the viscosity from the simulations, we also confirm the validity of the Stokes-Einstein relation in valence-limited systems, with two caveats: (i) the diffusion constant requires a finite-size correction, at least at the intermediate density we investigate, and (ii) there is the onset of a breakdown that appears at the lowest temperatures considered. Finally, our results show that the storage and loss moduli of mixtures of divalent and $M$-valent particles exhibit an apparent power-law dependence on frequency, hinting at the possibility of using the composition to finely tune the rheological response of these materials. Our results compare well with literature experimental data on valence-limited DNA nanostars. In addition, the wealth of data we present and analyse here will help to develop and test theoretical frameworks aimed at describing the dynamics of flexible limited-valence particles that self-assemble into disordered networks.


title: Multi-Dimensional Machine Translation Evaluation: Model Evaluation and Resource for Korean

abstract: Almost all frameworks for the manual or automatic evaluation of machine translation characterize the quality of an MT output with a single number. An exception is the Multidimensional Quality Metrics (MQM) framework which offers a fine-grained ontology of quality dimensions for scoring (such as style, fluency, accuracy, and terminology). Previous studies have demonstrated the feasibility of MQM annotation but there are, to our knowledge, no computational models that predict MQM scores for novel texts, due to a lack of resources. In this paper, we address these shortcomings by (a) providing a 1200-sentence MQM evaluation benchmark for the language pair English-Korean and (b) reframing MT evaluation as the multi-task problem of simultaneously predicting several MQM scores using SOTA language models, both in a reference-based MT evaluation setup and a reference-free quality estimation (QE) setup. We find that reference-free setup outperforms its counterpart in the style dimension while reference-based models retain an edge regarding accuracy. Overall, RemBERT emerges as the most promising model. Through our evaluation, we offer an insight into the translation quality in a more fine-grained, interpretable manner.


title: ICE: Interactive 3D Game Character Editing via Dialogue

abstract: Text-driven in-game 3D character auto-customization systems eliminate the complicated process of manipulating intricate character control parameters. However, current methods are limited by their single-round generation, incapable of further editing and fine-grained modification. In this paper, we propose an Interactive Character Editing framework (ICE) to achieve a multi-round dialogue-based refinement process. In a nutshell, our ICE offers a more user-friendly way to enable players to convey creative ideas iteratively while ensuring that created characters align with the expectations of players. Specifically, we propose an Instruction Parsing Module (IPM) that utilizes large language models (LLMs) to parse multi-round dialogues into clear editing instruction prompts in each round. To reliably and swiftly modify character control parameters at a fine-grained level, we propose a Semantic-guided Low-dimension Parameter Solver (SLPS) that edits character control parameters according to prompts in a zero-shot manner. Our SLPS first localizes the character control parameters related to the fine-grained modification, and then optimizes the corresponding parameters in a low-dimension space to avoid unrealistic results. Extensive experimental results demonstrate the effectiveness of our proposed ICE for in-game character creation and the superior editing performance of ICE. Project page: https://iceedit.github.io/.


title: AlphaFold2 for protein structure prediction: Best practices and critical analyses

abstract: AlphaFold2 (AF2) has emerged in recent years as a groundbreaking innovation that has revolutionized several scientific fields, in particular structural biology, drug design and the elucidation of disease mechanisms. Many scientists now use AF2 on a daily basis, including non-specialist users. This chapter is aimed at the latter. Tips and tricks for getting the most out of AF2 to produce a high quality biological model are discussed here. We suggest to non-specialist users how to maintain a critical perspective when working with AF2 models and provide guidelines on how to properly evaluate them. After showing how to perform our own structure prediction using ColabFold, we list several ways to improve AF2 models by adding information that is missing from the original AF2 model. By using software such as AlphaFill to add cofactors and ligands to the models, or MODELLER to add disulfide bridges between cysteines, we guide users to build a high quality biological model suitable for applications such as drug design, protein interaction or molecular dynamics studies.


title: Time delay in the gravitational field of an axisymmetric body at rest with full mass and spin multipole structure

abstract: The time delay of a light signal which propagates in the gravitational field of an isolated body is considered. The body can be of arbitrary but time-independent shape and inner structure and can be in uniform rotational motion, while the center of mass of the body is assumed to be at rest. The gravitational field is given in the post-Newtonian scheme and in terms of the full set of mass-multipoles and spin-multipoles of the body. The asymptotic configuration is considered, where source and observer are located at spatial infinity from the massive body. It is found that in this asymptotic limit the higher multipole terms of time delay are related to the higher multipole terms of total light deflection. Furthermore, it is shown that the gauge terms vanish in this asymptotic configuration. In case of an axisymmetric body in uniform rotational motion, the higher multipole terms of time delay can be expressed in terms of Chebyshev polynomials. This fact allows one to determine the upper limits of the time delay for higher multipoles. These upper limits represent a criterion to identify those multipoles which contribute significantly to the time delay for a given accuracy of time measurements. It is found that the first mass-multipoles with $l \le 8$ and the first spin-multipoles with $l \le 3$ are sufficient for an accuracy on the femto-second scale of accuracy in time measurements.


title: Driving Animatronic Robot Facial Expression From Speech

abstract: Animatronic robots aim to enable natural human-robot interaction through lifelike facial expressions. However, generating realistic, speech-synchronized robot expressions is challenging due to the complexities of facial biomechanics and responsive motion synthesis. This paper presents a principled, skinning-centric approach to drive animatronic robot facial expressions from speech. The proposed approach employs linear blend skinning (LBS) as the core representation to guide tightly integrated innovations in embodiment design and motion synthesis. LBS informs the actuation topology, enables human expression retargeting, and allows speech-driven facial motion generation. The proposed approach is capable of generating highly realistic, real-time facial expressions from speech on an animatronic face, significantly advancing robots' ability to replicate nuanced human expressions for natural interaction.


title: Enhancing Security of AI-Based Code Synthesis with GitHub Copilot via Cheap and Efficient Prompt-Engineering

abstract: AI assistants for coding are on the rise. However one of the reasons developers and companies avoid harnessing their full potential is the questionable security of the generated code. This paper first reviews the current state-of-the-art and identifies areas for improvement on this issue. Then, we propose a systematic approach based on prompt-altering methods to achieve better code security of (even proprietary black-box) AI-based code generators such as GitHub Copilot, while minimizing the complexity of the application from the user point-of-view, the computational resources, and operational costs. In sum, we propose and evaluate three prompt altering methods: (1) scenario-specific, (2) iterative, and (3) general clause, while we discuss their combination. Contrary to the audit of code security, the latter two of the proposed methods require no expert knowledge from the user. We assess the effectiveness of the proposed methods on the GitHub Copilot using the OpenVPN project in realistic scenarios, and we demonstrate that the proposed methods reduce the number of insecure generated code samples by up to 16\% and increase the number of secure code by up to 8\%. Since our approach does not require access to the internals of the AI models, it can be in general applied to any AI-based code synthesizer, not only GitHub Copilot.


title: Improving Interpretability of Scores in Anomaly Detection Based on Gaussian-Bernoulli Restricted Boltzmann Machine

abstract: Gaussian-Bernoulli restricted Boltzmann machines (GBRBMs) are often used for semi-supervised anomaly detection, where they are trained using only normal data points. In GBRBM-based anomaly detection, normal and anomalous data are classified based on a score that is identical to an energy function of the marginal GBRBM. However, the classification threshold is difficult to set to an appropriate value, as this score cannot be interpreted. In this study, we propose a measure that improves score's interpretability based on its cumulative distribution, and establish a guideline for setting the threshold using the interpretable measure. The results of numerical experiments show that the guideline is reasonable when setting the threshold solely using normal data points. Moreover, because identifying the measure involves computationally infeasible evaluation of the minimum score value, we also propose an evaluation method for the minimum score based on simulated annealing, which is widely used for optimization problems. The proposed evaluation method was also validated using numerical experiments.


title: $n$-cotorsion pairs and recollements of extriangulated categories

abstract: In this article, we prove that if $(\mathcal A ,\mathcal B,\mathcal C)$ is a recollement of extriangulated categories, then $n$-cotorsion pairs in $\mathcal A$ and $\mathcal C$ can induce $n$-cotorsion pairs in $\mathcal B$. Conversely, this holds true under natural assumptions. Besides, we give mild conditions on a pseudo cluster tilting subcategory on the middle category of a recollement of extriangulated categories, for the corresponding additive quotients to form a recollement of semi-abelian categories.


title: Some properties of Higman-Thompson monoids and digital circuits

abstract: We define various monoid versions of the R. Thompson group $V$, and prove connections with monoids of acyclic digital circuits. We show that the monoid $M_{2,1}$ (based on partial functions) is not embeddable into Thompson's monoid ${\sf tot}M_{2,1}$, but that ${\sf tot}M_{2,1}$ has a submonoid that maps homomorphically onto $M_{2,1}$. This leads to an efficient completion algorithm for partial functions and partial circuits. We show that the union of partial circuits with disjoint domains is an element of $M_{2,1}$, and conversely, every element of $M_{2,1}$ can be decomposed efficiently into a union of partial circuits with disjoint domains.


title: Pragmatic Competence Evaluation of Large Language Models for Korean

abstract: The current evaluation of Large Language Models (LLMs) predominantly relies on benchmarks focusing on their embedded knowledge by testing through multiple-choice questions (MCQs), a format inherently suited for automated evaluation. Our study extends this evaluation to explore LLMs' pragmatic competence--a facet previously underexamined before the advent of sophisticated LLMs, specifically in the context of Korean. We employ two distinct evaluation setups: the conventional MCQ format, adapted for automatic evaluation, and Open-Ended Questions (OEQs), assessed by human experts, to examine LLMs' narrative response capabilities without predefined options. Our findings reveal that GPT-4 excels, scoring 81.11 and 85.69 in the MCQ and OEQ setups, respectively, with HyperCLOVA X, an LLM optimized for Korean, closely following, especially in the OEQ setup, demonstrating a score of 81.56 with a marginal difference of 4.13 points compared to GPT-4. Furthermore, while few-shot learning strategies generally enhance LLM performance, Chain-of-Thought (CoT) prompting introduces a bias toward literal interpretations, hindering accurate pragmatic inference. Considering the growing expectation for LLMs to understand and produce language that aligns with human communicative norms, our findings emphasize the importance for advancing LLMs' abilities to grasp and convey sophisticated meanings beyond mere literal interpretations.


title: In-Hand Following of Deformable Linear Objects Using Dexterous Fingers with Tactile Sensing

abstract: Most research on deformable linear object (DLO) manipulation assumes rigid grasping. However, beyond rigid grasping and re-grasping, in-hand following is also an essential skill that humans use to dexterously manipulate DLOs, which requires continuously changing the grasp point by in-hand sliding while holding the DLO to prevent it from falling. Achieving such a skill is very challenging for robots without using specially designed but not versatile end-effectors. Previous works have attempted using generic parallel grippers, but their robustness is unsatisfactory owing to the conflict between following and holding, which is hard to balance with a one-degree-of-freedom gripper. In this work, inspired by how humans use fingers to follow DLOs, we explore the usage of a generic dexterous hand with tactile sensing to imitate human skills and achieve robust in-hand DLO following. To enable the hardware system to function in the real world, we develop a framework that includes Cartesian-space arm-hand control, tactile-based in-hand 3-D DLO pose estimation, and task-specific motion design. Experimental results demonstrate the significant superiority of our method over using parallel grippers, as well as its great robustness, generalizability, and efficiency.


title: Causal Change Point Detection and Localization

abstract: Detecting and localizing change points in sequential data is of interest in many areas of application. Various notions of change points have been proposed, such as changes in mean, variance, or the linear regression coefficient. In this work, we consider settings in which a response variable $Y$ and a set of covariates $X=(X^1,\ldots,X^{d+1})$ are observed over time and aim to find changes in the causal mechanism generating $Y$ from $X$. More specifically, we assume $Y$ depends linearly on a subset of the covariates and aim to determine at what time points either the dependency on the subset or the subset itself changes. We call these time points causal change points (CCPs) and show that they form a subset of the commonly studied regression change points. We propose general methodology to both detect and localize CCPs. Although motivated by causality, we define CCPs without referencing an underlying causal model. The proposed definition of CCPs exploits a notion of invariance, which is a purely observational quantity but -- under additional assumptions -- has a causal meaning. For CCP localization, we propose a loss function that can be combined with existing multiple change point algorithms to localize multiple CCPs efficiently. We evaluate and illustrate our methods on simulated datasets.


title: Empowering Air Travelers: A Chatbot for Canadian Air Passenger Rights

abstract: The Canadian air travel sector has seen a significant increase in flight delays, cancellations, and other issues concerning passenger rights. Recognizing this demand, we present a chatbot to assist passengers and educate them about their rights. Our system breaks a complex user input into simple queries which are used to retrieve information from a collection of documents detailing air travel regulations. The most relevant passages from these documents are presented along with links to the original documents and the generated queries, enabling users to dissect and leverage the information for their unique circumstances. The system successfully overcomes two predominant challenges: understanding complex user inputs, and delivering accurate answers, free of hallucinations, that passengers can rely on for making informed decisions. A user study comparing the chatbot to a Google search demonstrated the chatbot's usefulness and ease of use. Beyond the primary goal of providing accurate and timely information to air passengers regarding their rights, we hope that this system will also enable further research exploring the tradeoff between the user-friendly conversational interface of chatbots and the accuracy of retrieval systems.


title: Effective Metric Descriptions of Quantum Black Holes

abstract: In a recent work [arXiv:2307.13489 [gr-qc]], we have described spherically symmetric and static quantum black holes as deformations of the classical Schwarzschild metric that depend on the physical distance to the horizon. We have developed a framework that allows to compute the latter in a self-consistent fashion from the deformed geometry, in the vicinity of the horizon. However, in this formalism, the distance can be replaced by other physical quantities, e.g. curvature invariants such as the Ricci- or Kretschmann scalar. Here, we therefore define a more general framework, which we call an "effective metric description" (EMD), that captures the deformed geometry based on a generic physical quantity. We develop in detail the Ricci- and Kretschmann scalar EMD, in particular demonstrating how to compute the geometry in a self-consistent manner. Moreover, we provide explicit relations that allow to express one EMD in terms of the others, thus demonstrating their equivalence.


title: Plasma motions and compressive wave energetics in the solar corona and solar wind from radio wave scattering observations

abstract: Radio signals propagating via the solar corona and solar wind are significantly affected by compressive waves, impacting properties of solar bursts as well as sources viewed through the turbulent solar atmosphere. While static fluctuations scatter radio waves elastically, moving, turbulent or oscillating density irregularities act to broaden the frequency of the scattered waves. Using a new anisotropic density fluctuation model from the kinetic scattering theory for solar radio bursts, we deduce the plasma velocities required to explain observations of spacecraft signal frequency broadening. The inferred velocities are consistent with motions that are dominated by the solar wind at distances $\gtrsim 10$ $R_\odot$, but the levels of frequency broadening for $\lesssim 10$ $R_\odot$ require additional radial speeds $\sim (100-300)$ km s$^{-1}$ and/or transverse speeds $\sim (20-70)$ km s$^{-1}$. The inferred radial velocities also appear consistent with the sound or proton thermal speeds, while the speeds perpendicular to the radial direction are consistent with non-thermal motions measured via coronal Doppler-line broadening, interpreted as Alfv\'enic fluctuations. Landau damping of parallel propagating ion-sound (slow MHD) waves allow an estimate of the proton heating rate. The energy deposition rates due to ion-sound wave damping peak at a heliocentric distance of $\sim(1-3)$ $R_\odot$ are comparable to the rates available from a turbulent cascade of Alfv\'enic waves at large scales, suggesting a coherent picture of energy transfer, via the cascade or/and parametric decay of Alfv\'en waves to the small scales where heating takes place.


title: Automorphisms of the ring of invariants of the binary quintic representation of SL2

abstract: Let k^[6] denote a polynomial ring in 6 variables over an algebraically closed field k of characteristic zero and consider the action of SL2(k) on k^[6] induced by the irreducible representation of SL2 of degree 5 (the binary quintic representation). We consider the ring Q = (k^[6])^SL2 of invariant polynomials and show that Aut_k(Q) = u(k), the unit group of k, where Aut_k(Q) is the group of k-algebra automorphisms of Q. Based on this result, we show that the group of SL2-equivariant polynomial automorphisms of k^[6] is isomorphic to u(k).


title: IFFNeRF: Initialisation Free and Fast 6DoF pose estimation from a single image and a NeRF model

abstract: We introduce IFFNeRF to estimate the six degrees-of-freedom (6DoF) camera pose of a given image, building on the Neural Radiance Fields (NeRF) formulation. IFFNeRF is specifically designed to operate in real-time and eliminates the need for an initial pose guess that is proximate to the sought solution. IFFNeRF utilizes the Metropolis-Hasting algorithm to sample surface points from within the NeRF model. From these sampled points, we cast rays and deduce the color for each ray through pixel-level view synthesis. The camera pose can then be estimated as the solution to a Least Squares problem by selecting correspondences between the query image and the resulting bundle. We facilitate this process through a learned attention mechanism, bridging the query image embedding with the embedding of parameterized rays, thereby matching rays pertinent to the image. Through synthetic and real evaluation settings, we show that our method can improve the angular and translation error accuracy by 80.1% and 67.3%, respectively, compared to iNeRF while performing at 34fps on consumer hardware and not requiring the initial pose guess.


title: Evidence of extreme ionization conditions and low metallicity in GHZ2/GLASS-z12 from a combined analysis of NIRSpec and MIRI observations

abstract: GHZ2/GLASS-z12 has been recently observed by JWST with both NIRSpec and MIRI spectrographs, making it the most distant galaxy ($z_{spec}=12.34$) with complete spectroscopic coverage from rest-frame UV to optical. It is identified as a strong CIV$_{1549}$ emitter with many other detected emission lines (NIV], HeII, OIII], NIII], CIII], [OII], [NeIII], [OIII], and H$\alpha$), including a remarkable OIII$_{1333}$ Bowen fluorescence line. We analyze in this paper the joint NIRSpec+MIRI spectral data set. Combining six optical diagnostics (namely R2, R3, R23, O32, Ne3O2, and Ne3O2Hd), we find extreme ionization conditions, with O32 $=1.39 \pm 0.19$ and Ne3O2 $=0.37 \pm 0.18$ in stark excess compared to typical values in the ISM at lower redshifts. These line properties are compatible either with an AGN or with a compact, very dense star-forming environment ($\Sigma_{\rm SFR}$ $\sim 10^2$-$10^3$ Msun/yr/kpc$^2$), with a high ionization parameter ($\log_{10}$(U) $=-1.75 \pm 0.16$), a high ionizing photon production efficiency $\log(\xi_{\rm ion}) = 25.7_{-0.1}^{+0.2}$, and a low, although not pristine, metal content ranging between $5\%$ and $11\%$ Z$_\odot$, indicating a rapid enrichment of the ISM in the last few Myrs. These properties also suggest that a substantial amount of ionizing photons ($\sim 10\%$) are leaking outside. The general lessons learned from GHZ2 are the following: (i) the UV to optical combined nebular indicators are broadly in agreement with UV-only or optical-only indicators. (ii) UV+optical diagnostics fail to discriminate between an AGN and star-formation in a low metallicity, high density, and extreme ionization environment. (iii) comparing the nebular line ratios with local analogs may be approaching its limits at $z \gtrsim 10$, as this approach is potentially challenged by the unique conditions of star formation experienced by galaxies at these extreme redshifts.


title: Concepts and methods for predicting viral evolution

abstract: The seasonal human influenza virus undergoes rapid evolution, leading to significant changes in circulating viral strains from year to year. These changes are typically driven by adaptive mutations, particularly in the antigenic epitopes, the regions of the viral surface protein haemagglutinin targeted by human antibodies. Here we describe a consistent set of methods for data-driven predictive analysis of viral evolution. Our pipeline integrates four types of data: (1) sequence data of viral isolates collected on a worldwide scale, (2) epidemiological data on incidences, (3) antigenic characterization of circulating viruses, and (4) intrinsic viral phenotypes. From the combined analysis of these data, we obtain estimates of relative fitness for circulating strains and predictions of clade frequencies for periods of up to one year. Furthermore, we obtain comparative estimates of protection against future viral populations for candidate vaccine strains, providing a basis for pre-emptive vaccine strain selection. Continuously updated predictions obtained from the prediction pipeline for influenza and SARS-CoV-2 are available on the website https://previr.app.


title: Dynamic Manipulation of Deformable Objects using Imitation Learning with Adaptation to Hardware Constraints

abstract: Imitation Learning (IL) is a promising paradigm for learning dynamic manipulation of deformable objects since it does not depend on difficult-to-create accurate simulations of such objects. However, the translation of motions demonstrated by a human to a robot is a challenge for IL, due to differences in the embodiments and the robot's physical limits. These limits are especially relevant in dynamic manipulation where high velocities and accelerations are typical. To address this problem, we propose a framework that first maps a dynamic demonstration into a motion that respects the robot's constraints using a constrained Dynamic Movement Primitive. Second, the resulting object state is further optimized by quasi-static refinement motions to optimize task performance metrics. This allows both efficiently altering the object state by dynamic motions and stable small-scale refinements. We evaluate the framework in the challenging task of bag opening, designing the system BILBO: Bimanual dynamic manipulation using Imitation Learning for Bag Opening. Our results show that BILBO can successfully open a wide range of crumpled bags, using a demonstration with a single bag. See supplementary material at https://sites.google.com/view/bilbo-bag.


title: WaterVG: Waterway Visual Grounding based on Text-Guided Vision and mmWave Radar

abstract: The perception of waterways based on human intent is significant for autonomous navigation and operations of Unmanned Surface Vehicles (USVs) in water environments. Inspired by visual grounding, we introduce WaterVG, the first visual grounding dataset designed for USV-based waterway perception based on human prompts. WaterVG encompasses prompts describing multiple targets, with annotations at the instance level including bounding boxes and masks. Notably, WaterVG includes 11,568 samples with 34,987 referred targets, whose prompts integrates both visual and radar characteristics. The pattern of text-guided two sensors equips a finer granularity of text prompts with visual and radar features of referred targets. Moreover, we propose a low-power visual grounding model, Potamoi, which is a multi-task model with a well-designed Phased Heterogeneous Modality Fusion (PHMF) mode, including Adaptive Radar Weighting (ARW) and Multi-Head Slim Cross Attention (MHSCA). Exactly, ARW extracts required radar features to fuse with vision for prompt alignment. MHSCA is an efficient fusion module with a remarkably small parameter count and FLOPs, elegantly fusing scenario context captured by two sensors with linguistic features, which performs expressively on visual grounding tasks. Comprehensive experiments and evaluations have been conducted on WaterVG, where our Potamoi archives state-of-the-art performances compared with counterparts.


title: Audio-Visual Compound Expression Recognition Method based on Late Modality Fusion and Rule-based Decision

abstract: This paper presents the results of the SUN team for the Compound Expressions Recognition Challenge of the 6th ABAW Competition. We propose a novel audio-visual method for compound expression recognition. Our method relies on emotion recognition models that fuse modalities at the emotion probability level, while decisions regarding the prediction of compound expressions are based on predefined rules. Notably, our method does not use any training data specific to the target task. Thus, the problem is a zero-shot classification task. The method is evaluated in multi-corpus training and cross-corpus validation setups. Using our proposed method is achieved an F1-score value equals to 22.01% on the C-EXPR-DB test subset. Our findings from the challenge demonstrate that the proposed method can potentially form a basis for developing intelligent tools for annotating audio-visual data in the context of human's basic and compound emotions.


title: SEVEN: Pruning Transformer Model by Reserving Sentinels

abstract: Large-scale Transformer models (TM) have demonstrated outstanding performance across various tasks. However, their considerable parameter size restricts their applicability, particularly on mobile devices. Due to the dynamic and intricate nature of gradients on TM compared to Convolutional Neural Networks, commonly used pruning methods tend to retain weights with larger gradient noise. This results in pruned models that are sensitive to sparsity and datasets, exhibiting suboptimal performance. Symbolic Descent (SD) is a general approach for training and fine-tuning TM. In this paper, we attempt to describe the noisy batch gradient sequences on TM through the cumulative process of SD. We utilize this design to dynamically assess the importance scores of weights.SEVEN is introduced by us, which particularly favors weights with consistently high sensitivity, i.e., weights with small gradient noise. These weights are tended to be preserved by SEVEN. Extensive experiments on various TM in natural language, question-answering, and image classification domains are conducted to validate the effectiveness of SEVEN. The results demonstrate significant improvements of SEVEN in multiple pruning scenarios and across different sparsity levels. Additionally, SEVEN exhibits robust performance under various fine-tuning strategies. The code is publicly available at https://github.com/xiaojinying/SEVEN.


title: Stabilizing DG Methods Using Dafermos' Entropy Rate Criterion: III -- Unstructured Grids

abstract: The approach presented in the second installment of this series is extended to multidimensional systems of conservation laws that are approximated via a Discontinuous Galerkin method on unstructured (triangular) grids. Special attention is paid to predicting the entropy dissipation from boundaries. The resulting schemes are free of tunable viscosity parameters and tested on the Euler equations. The trinity of testcases is the spreading of thermal energy from a point source, transsonic and supersonic flows around airfoils, and supersonic air inlets.


title: LNPT: Label-free Network Pruning and Training

abstract: Pruning before training enables the deployment of neural networks on smart devices. By retaining weights conducive to generalization, pruned networks can be accommodated on resource-constrained smart devices. It is commonly held that the distance on weight norms between the initialized and the fully-trained networks correlates with generalization performance. However, as we have uncovered, inconsistency between this metric and generalization during training processes, which poses an obstacle to determine the pruned structures on smart devices in advance. In this paper, we introduce the concept of the learning gap, emphasizing its accurate correlation with generalization. Experiments show that the learning gap, in the form of feature maps from the penultimate layer of networks, aligns with variations of generalization performance. We propose a novel learning framework, LNPT, which enables mature networks on the cloud to provide online guidance for network pruning and learning on smart devices with unlabeled data. Our results demonstrate the superiority of this approach over supervised training.


title: Efficient thermalization and universal quantum computing with quantum Gibbs samplers

abstract: The preparation of thermal states of matter is a crucial task in quantum simulation. In this work, we prove that a recently introduced, efficiently implementable dissipative evolution thermalizes to the Gibbs state in time scaling polynomially with system size at high enough temperatures, and for any Hamiltonian that satisfies a Lieb-Robinson bound, such as local Hamiltonians on a lattice. Furthermore, we show the efficient adiabatic preparation of the associated purifications or ``thermofield double'' states. To the best of our knowledge, these are the first results rigorously establishing the efficient preparation of high-temperature Gibbs states and their purifications. In the low-temperature regime, we show that implementing this family of dissipative evolutions for inverse temperatures logarithmic in the system's size is polynomially equivalent to standard quantum computation. On a technical level, for high temperatures, our proof makes use of the mapping of the generator of the evolution into a Hamiltonian, and then analysing it as perturbation of the Hamiltonian corresponding to infinite temperature. For low temperature, we instead perform a perturbation at zero temperature of the Laplace transform of the energy observable at fixed runtime, and resort to circuit-to-Hamiltonian mappings akin to the proof of universality of quantum adiabatic computing. Taken together, our results show that a family of quasi-local dissipative evolutions efficiently prepares a large class of quantum many-body states of interest, and has the potential to mirror the success of classical Monte Carlo methods for quantum many-body systems.


title: Mass spectra of heavy hybrid quarkonia and $\overline{b}gc$ mesons

abstract: Masses and current couplings of the charmonium and bottomonium hybrids $ \overline{c}gc$ and $\overline{b}gb$ with spin-parities $J^{\mathrm{PC} }=0^{++},\ 0^{+-},\ 0^{-+},\ 0^{--}$ and $1^{++},\ 1^{+-},\ 1^{-+},\ 1^{--}$ are calculated using QCD two-point sum rule method. Computations are performed by taking into account gluon condensates up to dimension 12 including terms $\sim \langle g_{s}^{3}G^{3}\rangle ^{2}$. The parameters of the bottom-charm hybrids $\overline{b}gc$ with quantum numbers $J^{\mathrm{PC }}=0^{+},\ 0^{-},\ 1^{+}$, and $1^{-}$ are calculated as well. In computations the dominance of the pole contribution to sum rule results is ensured. It is demonstrated that all charmonia hybrids decay strongly to two-meson final states. The bottomonium hybrids $0^{-+}$ and $1^{-+}$ as well as the bottom-charm hybrid mesons $0^{-(+)}$ and $1^{-(+)}$ may be stable against strong two-meson decay modes. Results of the present work are compared with ones obtained using the sum rule and alternative approaches. Our predictions for parameters of the heavy hybrid mesons may be useful to study their various decay channels which are important for interpretation of ongoing and future experiments.


title: As Firm As Their Foundations: Can open-sourced foundation models be used to create adversarial examples for downstream tasks?

abstract: Foundation models pre-trained on web-scale vision-language data, such as CLIP, are widely used as cornerstones of powerful machine learning systems. While pre-training offers clear advantages for downstream learning, it also endows downstream models with shared adversarial vulnerabilities that can be easily identified through the open-sourced foundation model. In this work, we expose such vulnerabilities in CLIP's downstream models and show that foundation models can serve as a basis for attacking their downstream systems. In particular, we propose a simple yet effective adversarial attack strategy termed Patch Representation Misalignment (PRM). Solely based on open-sourced CLIP vision encoders, this method produces adversaries that simultaneously fool more than 20 downstream models spanning 4 common vision-language tasks (semantic segmentation, object detection, image captioning and visual question-answering). Our findings highlight the concerning safety risks introduced by the extensive usage of public foundational models in the development of downstream systems, calling for extra caution in these scenarios.


title: Performance, Knowledge Acquisition and Satisfaction in Self-selected Groups: Evidence from a Classroom Field Experiment

abstract: We investigate how to efficiently set up work groups to boost group productivity, individual satisfaction, and learning. Therefore, we conduct a natural field experiment in a compulsory undergraduate course and study differences between self-selected and randomly assigned groups. We find that self-selected groups perform significantly worse on group assignments. Yet, students in self-selected groups learn more and are more satisfied than those in randomly assigned groups. The effect of allowing students to pick group members dominates the effect of different group compositions in self-selected groups: When controlling for the skill, gender, and home region composition of groups, the differences between self-selected and randomly formed groups persist almost unaltered. The distribution of GitHub commits per group reveals that the better average performance of randomly assigned groups is mainly driven by highly skilled individuals distributed over more groups due to the assignment mechanism. Moreover, these highly skilled individuals contribute more to the group in randomly formed groups. We argue that this mechanism explains why self-selected groups perform worse on the projects but acquire more knowledge than randomly formed groups. These findings are relevant for setting up workgroups in academic, business, and governmental organizations when tasks are not constrained to the skill set of specific individuals.


title: Federated Semi-supervised Learning for Medical Image Segmentation with intra-client and inter-client Consistency

abstract: Medical image segmentation plays a vital role in clinic disease diagnosis and medical image analysis. However, labeling medical images for segmentation task is tough due to the indispensable domain expertise of radiologists. Furthermore, considering the privacy and sensitivity of medical images, it is impractical to build a centralized segmentation dataset from different medical institutions. Federated learning aims to train a shared model of isolated clients without local data exchange which aligns well with the scarcity and privacy characteristics of medical data. To solve the problem of labeling hard, many advanced semi-supervised methods have been proposed in a centralized data setting. As for federated learning, how to conduct semi-supervised learning under this distributed scenario is worth investigating. In this work, we propose a novel federated semi-supervised learning framework for medical image segmentation. The intra-client and inter-client consistency learning are introduced to smooth predictions at the data level and avoid confirmation bias of local models. They are achieved with the assistance of a Variational Autoencoder (VAE) trained collaboratively by clients. The added VAE model plays three roles: 1) extracting latent low-dimensional features of all labeled and unlabeled data; 2) performing a novel type of data augmentation in calculating intra-client consistency loss; 3) utilizing the generative ability of itself to conduct inter-client consistency distillation. The proposed framework is compared with other federated semi-supervised or self-supervised learning methods. The experimental results illustrate that our method outperforms the state-of-the-art method while avoiding a lot of computation and communication overhead.


title: Bayesian estimation and uncertainty quantification of a temperature-dependent thermal conductivity

abstract: We consider the problem of estimating a temperature-dependent thermal conductivity model (curve) from temperature measurements. We apply a Bayesian estimation approach that takes into account measurement errors and limited prior information of system properties. The approach intertwines system simulation and Markov chain Monte Carlo (MCMC) sampling. We investigate the impact of assuming different model classes - cubic polynomials and piecewise linear functions - their parametrization, and different types of prior information - ranging from uninformative to informative. Piecewise linear functions require more parameters (conductivity values) to be estimated than the four parameters (coefficients or conductivity values) needed for cubic polynomials. The former model class is more flexible, but the latter requires less MCMC samples. While parametrizing polynomials with coefficients may feel more natural, it turns out that parametrizing them using conductivity values is far more natural for the specification of prior information. Robust estimation is possible for all model classes and parametrizations, as long as the prior information is accurate or not too informative. Gaussian Markov random field priors are especially well-suited for piecewise linear functions.


title: Optimal estimate of electromagnetic field concentration between two nearly-touching inclusions in the quasi-static regime

abstract: We investigate the electromagnetic field concentration between two nearly-touching inclusions that possess high-contrast electric permittivities in the quasi-static regime. By using layer potential techniques and asymptotic analysis in the low-frequency regime, we derive low-frequency expansions that provide integral representations for the solutions of the Maxwell equations. For the leading-order term $\bE_0$ of the asymptotic expansion of the electric field, we prove that it has the blow up order of $\epsilon^{-1} |\ln \epsilon|^{-1}$ within the radial geometry, where $\epsilon$ signifies the asymptotic distance between the inclusions. By delicate analysis of the integral operators involved, we further prove the boundedness of the first-order term $\bE_1$. We also conduct extensive numerical experiments which not only corroborate the theoretical findings but also provide more discoveries on the field concentration in the general geometric setup. Our study provides the first treatment in the literature on field concentration between nearly-touching material inclusions for the full Maxwell system.


title: System Support for Environmentally Sustainable Computing in Data Centers

abstract: Modern data centers suffer from a growing carbon footprint due to insufficient support for environmental sustainability. While hardware accelerators and renewable energy have been utilized to enhance sustainability, addressing Quality of Service (QoS) degradation caused by renewable energy supply and hardware recycling remains challenging: (1) prior accelerators exhibit significant carbon footprints due to limited reconfigurability and inability to adapt to renewable energy fluctuations; (2) integrating recycled NAND flash chips in data centers poses challenges due to their short lifetime, increasing energy consumption; (3) the absence of a sustainability estimator impedes data centers and users in evaluating and improving their environmental impact. This study aims to improve system support for environmentally sustainable data centers by proposing a reconfigurable hardware accelerator for intensive computing primitives and developing a fractional NAND flash cell to extend the lifetime of recycled flash chips while supporting graceful capacity degradation. We also introduce a sustainability estimator to evaluate user task energy consumption and promote sustainable practices. We present our preliminary results and recognize this as an ongoing initiative with significant potential to advance environmentally sustainable computing in data centers and stimulate further exploration in this critical research domain.


title: A second-order iterative time integration scheme for linear poroelasticity

abstract: We propose a novel time stepping method for linear poroelasticity by extending a recent iterative decoupling approach to the second-order case. This results in a two-step scheme with an inner iteration and a relaxation step. We prove second-order convergence for a prescribed number of inner iteration steps, only depending on the coupling strength of the elastic and the flow equation. The efficiency of the scheme is illustrated by a number of numerical experiments, including a simulation of three-dimensional brain tissue.


title: Growth of metal nanoparticles in hydrocarbon atmosphere of arc discharge

abstract: A direct current (DC) arc discharge is a widely used method for large-scale production of metal nanoparticles, core-shell particles, and carbon nanotubes. Here, we explore the growth of iron nanoparticles in a modified DC arc discharge. Iron particles are produced by the evaporation of an anode, made from low-carbon steel. Methane admixture into argon gas serves as a carbon source. Electron microscopy and elemental analysis suggest that hydrocarbons decompose on iron clusters forming a carbon shell, which inhibits iron particle growth until its full encapsulation, at which point the iron core growth is ceased. Experimental observations are explained using an aerosol growth model. The results demonstrate the path to manipulate metal particle size in a hydrocarbon arc environment.


title: Unraveling the dynamics of magnetization in topological insulator-ferromagnet heterostructures via spin-orbit torque

abstract: Spin-orbit coupling stands as a pivotal determinant in the realm of condensed matter physics. In recent, its profound influence on spin dynamics opens up a captivating arena with promising applications. Notably, the topological insulator-ferromagnet heterostructure has been recognized for inducing spin dynamics through applied current, driven by spin-orbit torque. Building upon recent observations revealing spin flip signals within this heterostructure, our study elucidates the conditions governing spin flips by studying the magnetization dynamics. We establish that the interplay between spin-anisotropy and spin-orbit torque plays a crucial role in shaping the physics of magnetization dynamics within the heterostructure. Furthermore, we categorize various modes of magnetization dynamics, constructing a comprehensive phase diagram across distinct energy scales, damping constants, and applied frequencies. This research not only offers insights into controlling spin direction but also charts a new pathway to the practical application of spin-orbit coupled systems.


title: Learning Cross-view Visual Geo-localization without Ground Truth

abstract: Cross-View Geo-Localization (CVGL) involves determining the geographical location of a query image by matching it with a corresponding GPS-tagged reference image. Current state-of-the-art methods predominantly rely on training models with labeled paired images, incurring substantial annotation costs and training burdens. In this study, we investigate the adaptation of frozen models for CVGL without requiring ground truth pair labels. We observe that training on unlabeled cross-view images presents significant challenges, including the need to establish relationships within unlabeled data and reconcile view discrepancies between uncertain queries and references. To address these challenges, we propose a self-supervised learning framework to train a learnable adapter for a frozen Foundation Model (FM). This adapter is designed to map feature distributions from diverse views into a uniform space using unlabeled data exclusively. To establish relationships within unlabeled data, we introduce an Expectation-Maximization-based Pseudo-labeling module, which iteratively estimates associations between cross-view features and optimizes the adapter. To maintain the robustness of the FM's representation, we incorporate an information consistency module with a reconstruction loss, ensuring that adapted features retain strong discriminative ability across views. Experimental results demonstrate that our proposed method achieves significant improvements over vanilla FMs and competitive accuracy compared to supervised methods, while necessitating fewer training parameters and relying solely on unlabeled data. Evaluation of our adaptation for task-specific models further highlights its broad applicability.


title: ReProbe: An Architecture for Reconfigurable and Adaptive Probes

abstract: Modern distributed systems are highly dynamic and scalable, requiring monitoring solutions that can adapt to rapid changes. Monitoring systems that rely on external probes can only achieve adaptation through expensive operations such as deployment, undeployment, and reconfiguration. This poster paper introduces ReProbes, a class of adaptive monitoring probes that can handle rapid changes in data collection strategies. ReProbe offers controllable and configurable self-adaptive capabilities for data transmission, collection, and analysis methods. The resulting architecture can effectively enhance probe adaptability when qualitatively compared to state-of-the-art monitoring solutions.


title: $J/\psi$ production within a jet in high-energy proton-proton and nucleus-nucleus collisions

abstract: Within the framework of leading power factorization formalism of nonrelativistic quantum chromodynamics, we calculate the jet fragmentation function for $J/\psi$ production in proton-proton (pp) collisions ranging from $\sqrt{s}=500$ GeV to $13$ TeV. The reasonable agreements between theory and experimental data indicate that $J/\psi$ production within a jet is mainly dominated by gluon fragmentation. Such a mechanism can be further tested by the predicted jet transverse momentum and radius dependence of jet fragmentation function. Based on the satisfying description of pp baseline, we carry out the first theoretical investigation on medium modification on $J/\psi$ production within jet in heavy-ion collisions at the Large Hadron Collider, using a linear Boltzmann transport model combined with hydrodynamics for the simulation of jet-medium interaction. The consistency with the experimental measurement on nuclear modification factor $R_{\text{AA}}$ by CMS collaboration reveals that the gluon jet quenching is the driving force for the suppression of $J/\psi$ production in jet. Furthermore, we make predictions for the dependence of $R_{\text{AA}}$ on the jet transverse momentum and jet radius $R$, which can be tested in future measurements to further constrain the flavor dependence of jet quenching.


title: The ultrametric backbone is the union of all minimum spanning forests

abstract: Minimum spanning trees and forests are powerful sparsification techniques that remove cycles from weighted graphs to minimize total edge weight while preserving node connectivity. They have applications in computer science, network science, and graph theory. Despite their utility and ubiquity, they have several limitations, including that they are only defined for undirected networks, they significantly alter dynamics on networks, and they do not generally preserve important network features such as shortest distances, shortest path distribution, and community structure. In contrast, distance backbones, which are subgraphs formed by all edges that obey a generalized triangle inequality, are well defined in both directed and undirected graphs and preserve those and other important network features. The backbone of a graph is defined with respect to a specified path-length operator that aggregates weights along a path to define its length, thereby associating a cost to indirect connections. The backbone is the union of all shortest paths between each pair of nodes according to the specified operator. One such operator, the max function, computes the length of a path as the largest weight of the edges that compose it (a weakest link criterion). It is the only operator that yields an algebraic structure for computing shortest paths that is consistent with De Morgan's laws. Applying this operator yields the ultrametric backbone of a graph in that (semi-triangular) edges whose weights are larger than the length of an indirect path connecting the same nodes (i.e., those that break the generalized triangle inequality based on max as a path-length operator) are removed. We show that the ultrametric backbone is the union of all minimum spanning forests in undirected graphs and provides a new generalization of minimum spanning trees to directed graphs.


title: AnimateDiff-Lightning: Cross-Model Diffusion Distillation

abstract: We present AnimateDiff-Lightning for lightning-fast video generation. Our model uses progressive adversarial diffusion distillation to achieve new state-of-the-art in few-step video generation. We discuss our modifications to adapt it for the video modality. Furthermore, we propose to simultaneously distill the probability flow of multiple base diffusion models, resulting in a single distilled motion module with broader style compatibility. We are pleased to release our distilled AnimateDiff-Lightning model for the community's use.


title: Selective Domain-Invariant Feature for Generalizable Deepfake Detection

abstract: With diverse presentation forgery methods emerging continually, detecting the authenticity of images has drawn growing attention. Although existing methods have achieved impressive accuracy in training dataset detection, they still perform poorly in the unseen domain and suffer from forgery of irrelevant information such as background and identity, affecting generalizability. To solve this problem, we proposed a novel framework Selective Domain-Invariant Feature (SDIF), which reduces the sensitivity to face forgery by fusing content features and styles. Specifically, we first use a Farthest-Point Sampling (FPS) training strategy to construct a task-relevant style sample representation space for fusing with content features. Then, we propose a dynamic feature extraction module to generate features with diverse styles to improve the performance and effectiveness of the feature extractor. Finally, a domain separation strategy is used to retain domain-related features to help distinguish between real and fake faces. Both qualitative and quantitative results in existing benchmarks and proposals demonstrate the effectiveness of our approach.


title: On the openness of the idempotent barycenter map related to a t-norm

abstract: We demonstrate that the idempotent barycenter map, associated with a t-norm $\ast$, is open if and only if the map of max-$\ast$ convex combination is open. As a corollary, we deduce that the idempotent barycenter map is open for spaces of idempotent measures associated with any t-norm $\ast$. Nevertheless, we illustrate that the characteristics of the idempotent barycenter map, in general, depend on the specific t-norm being employed.


title: Invariant Theory: a Third Lease of Life

abstract: In 1993, just about a century after the epoch of Classical Invariant Theory and almost 30 years after Mumford's seminal book on Geometric Invariant Theory, Bernd Sturmfels approached the subject from a new, algorithmic perspective in his book on Algorithms in Invariant Theory. This article aims to highlight some of the developments that followed the book. Inspired by Bernd's style of teaching mathematics, the goal is neither comprehensiveness nor maximal generality, but to emphasize the main ideas and to convey the beauty of the subject. The article is intended as an invitation to invariant theory, and in particular to Bernd's work and the ideas inspired by it.


title: Selective, Interpretable, and Motion Consistent Privacy Attribute Obfuscation for Action Recognition

abstract: Concerns for the privacy of individuals captured in public imagery have led to privacy-preserving action recognition. Existing approaches often suffer from issues arising through obfuscation being applied globally and a lack of interpretability. Global obfuscation hides privacy sensitive regions, but also contextual regions important for action recognition. Lack of interpretability erodes trust in these new technologies. We highlight the limitations of current paradigms and propose a solution: Human selected privacy templates that yield interpretability by design, an obfuscation scheme that selectively hides attributes and also induces temporal consistency, which is important in action recognition. Our approach is architecture agnostic and directly modifies input imagery, while existing approaches generally require architecture training. Our approach offers more flexibility, as no retraining is required, and outperforms alternatives on three widely used datasets.


title: Tests for categorical data beyond Pearson: A distance covariance and energy distance approach

abstract: Categorical variables are of uttermost importance in biomedical research. When two of them are considered, it is often the case that one wants to test whether or not they are statistically dependent. We show weaknesses of classical methods -- such as Pearson's and the G-test -- and we propose testing strategies based on distances that lack those drawbacks. We first develop this theory for classical two-dimensional contingency tables, within the context of distance covariance, an association measure that characterises general statistical independence of two variables. We then apply the same fundamental ideas to one-dimensional tables, namely to the testing for goodness of fit to a discrete distribution, for which we resort to an analogous statistic called energy distance. We prove that our methodology has desirable theoretical properties, and we show how we can calibrate the null distribution of our test statistics without resorting to any resampling technique. We illustrate all this in simulations, as well as with some real data examples, demonstrating the adequate performance of our approach for biostatistical practice.


title: Addressing Source Scale Bias via Image Warping for Domain Adaptation

abstract: In visual recognition, scale bias is a key challenge due to the imbalance of object and image size distribution inherent in real scene datasets. Conventional solutions involve injecting scale invariance priors, oversampling the dataset at different scales during training, or adjusting scale at inference. While these strategies mitigate scale bias to some extent, their ability to adapt across diverse datasets is limited. Besides, they increase computational load during training and latency during inference. In this work, we use adaptive attentional processing -- oversampling salient object regions by warping images in-place during training. Discovering that shifting the source scale distribution improves backbone features, we developed a instance-level warping guidance aimed at object region sampling to mitigate source scale bias in domain adaptation. Our approach improves adaptation across geographies, lighting and weather conditions, is agnostic to the task, domain adaptation algorithm, saliency guidance, and underlying model architecture. Highlights include +6.1 mAP50 for BDD100K Clear $\rightarrow$ DENSE Foggy, +3.7 mAP50 for BDD100K Day $\rightarrow$ Night, +3.0 mAP50 for BDD100K Clear $\rightarrow$ Rainy, and +6.3 mIoU for Cityscapes $\rightarrow$ ACDC. Our approach adds minimal memory during training and has no additional latency at inference time. Please see Appendix for more results and analysis.


title: Spanning Euler Tours in Hypergraphs

abstract: Motivated by generalizations of de Bruijn cycles to various combinatorial structures (Chung, Diaconis, and Graham), we study various Euler tours in set systems. Let $\mathcal{G}$ be a hypergraph whose corank and rank are $c\geq 3$ and $k$, respetively. The minimum $t$-degree of $\mathcal{G}$ is the fewest number of edges containing every $t$-subset of vertices. An Euler tour (family, respectively) in $\mathcal{G}$ is a (family of, respectively) closed walk(s) that (jointly, respectively) traverses each edge of $\mathcal{G}$ exactly once. An Euler tour is spanning if it traverses all the vertices of $\mathcal{G}$. We show that $\mathcal{G}$ has an Euler family if its incidence graph is $(1+\lceil k/c \rceil)$-edge-connected. Provided that the number of vertices of $\mathcal{G}$ meets a reasonable lower bound, and either $2$-degree is at least $k$ or $t$-degree is at least one for $t\geq 3$, we show that $\mathcal{G}$ has a spanning Euler tour. To exhibit the usefulness of our results, we solve a number of open problems concerning ordering blocks of a design (these have applications in other fields such as erasure-correcting codes). Answering a question of Horan and Hurlbert, we show that a Steiner quadruple system of order $n$ has a (spanning) Euler tour if and only if $n\geq 8$ and $n\equiv 2,4 \pmod 6$, and we prove a similar result for all Steiner systems, as well as all designs except for 2-designs whose index $\lambda$ is less than the largest block size. We nearly solve a conjecture of Dewar and Stevens on the existence of universal cycles in pairwise balanced designs. Motivated by R.L. Graham's question on the existence of Hamiltonian cycles in block-intersection graphs of Steiner triple systems, we establish the Hamiltonicity of the block-intersection graph of a large family of (not necessarily uniform) designs. All our results are constructive and of polynomial time complexity.


title: On the use of the cumulant generating function for inference on time series

abstract: We introduce innovative inference procedures for analyzing time series data. Our methodology enables density approximation and composite hypothesis testing based on Whittle's estimator, a widely applied M-estimator in the frequency domain. Its core feature involves the (general Legendre transform of the) cumulant generating function of the Whittle likelihood score, as obtained using an approximated distribution of the periodogram ordinates. We present a testing algorithm that significantly expands the applicability of the state-of-the-art saddlepoint test, while maintaining the numerical accuracy of the saddlepoint approximation. Additionally, we demonstrate connections between our findings and three other prevalent frequency domain approaches: the bootstrap, empirical likelihood, and exponential tilting. Numerical examples using both simulated and real data illustrate the advantages and accuracy of our methodology.


title: Bayesian uncertainty evaluation applied to the tilted-wave interferometer

abstract: The tilted-wave interferometer is a promising technique for the development of a reference measurement system for the highly accurate form measurement of aspheres and freeform surfaces. The technique combines interferometric measurements, acquired with a special setup, and sophisticated mathematical evaluation procedures. To determine the form of the surface under test, a computational model is required that closely mimics the measurement process of the physical measurement instruments. The parameters of the computational model, comprising the surface under test sought, are then tuned by solving an inverse problem. Due to this embedded structure of the real experiment and computational model and the overall complexity, a thorough uncertainty evaluation is challenging. In this work, a Bayesian approach is proposed to tackle the inverse problem, based on a statistical model derived from the computational model of the tilted-wave interferometer. Such a procedure naturally allows for uncertainty quantification to be made. We present an approximate inference scheme to efficiently sample quantities of the posterior using Monte Carlo sampling involving the statistical model. In particular, the methodology derived is applied to the tilted-wave interferometer to obtain an estimate and corresponding uncertainty of the pixel-by-pixel form of the surface under test for two typical surfaces taking into account a number of key influencing factors. A statistical analysis using experimental design is employed to identify main influencing factors and a subsequent analysis confirms the efficacy of the method derived.


title: A New Reduction Method from Multivariate Polynomials to Univariate Polynomials

abstract: Polynomial multiplication is a fundamental problem in symbolic computation. There are efficient methods for the multiplication of two univariate polynomials. However, there is rarely efficiently nontrivial method for the multiplication of two multivariate polynomials. Therefore, we consider a new multiplication mechanism that involves a) reversibly reducing multivariate polynomials into univariate polynomials, b) calculating the product of the derived univariate polynomials by the Toom-Cook or FFT algorithm, and c) correctly recovering the product of multivariate polynomials from the product of two univariate polynomials. This work focuses on step a), expecting the degrees of the derived univariate polynomials to be as small as possible. We propose iterative Kronecker substitution, where smaller substitution exponents are selected instead of standard Kronecker substitution. We also apply the Chinese remainder theorem to polynomial reduction and find its advantages in some cases. Afterwards, we provide a hybrid reduction combining the advantages of both reduction methods. Moreover, we compare these reduction methods in terms of lower and upper bounds of the degree of the product of two derived univariate polynomials, and their computational complexities. With randomly generated multivariate polynomials, experiments show that the degree of the product of two univariate polynomials derived from the hybrid reduction can be reduced even to approximately 3% that resulting from the standard Kronecker substitution, implying an efficient subsequent multiplication of two univariate polynomials.


title: Survey of Methods, Resources, and Formats for Teaching Constraint Programming

abstract: This paper provides an overview of the state of teaching for Constraint Programming, based on a survey of the community for the 2023 Workshop on Teaching Constraint Programming at the CP 2023 conference in Toronto. The paper presents the results of the survey, as well as lists of books, video courses and other tutorial materials for teaching Constraint Programming. The paper serves as a single location for current and public information on course resources, topics, formats, and methods.


title: Emergence of dynamical networks in termites

abstract: Termites form complex dynamical trail networks from simple individual rules when exploring their environment. To help identify those simple rules, we reconstructed trail networks from time-lapse images of roaming termites. We quantified the trails' frequentations over time and compared them to the ones obtained by a null model. Arena borders were preferred in both simulated and observed data. Yet, the amplification phenomenon was higher with real termites, underlining the role of pheromones.


title: Bilevel Hypergraph Networks for Multi-Modal Alzheimer's Diagnosis

abstract: Early detection of Alzheimer's disease's precursor stages is imperative for significantly enhancing patient outcomes and quality of life. This challenge is tackled through a semi-supervised multi-modal diagnosis framework. In particular, we introduce a new hypergraph framework that enables higher-order relations between multi-modal data, while utilising minimal labels. We first introduce a bilevel hypergraph optimisation framework that jointly learns a graph augmentation policy and a semi-supervised classifier. This dual learning strategy is hypothesised to enhance the robustness and generalisation capabilities of the model by fostering new pathways for information propagation. Secondly, we introduce a novel strategy for generating pseudo-labels more effectively via a gradient-driven flow. Our experimental results demonstrate the superior performance of our framework over current techniques in diagnosing Alzheimer's disease.


title: Shared Autonomy via Variable Impedance Control and Virtual Potential Fields for Encoding Human Demonstration

abstract: This article introduces a framework for complex human-robot collaboration tasks, such as the co-manufacturing of furniture. For these tasks, it is essential to encode tasks from human demonstration and reproduce these skills in a compliant and safe manner. Therefore, two key components are addressed in this work: motion generation and shared autonomy. We propose a motion generator based on a time-invariant potential field, capable of encoding wrench profiles, complex and closed-loop trajectories, and additionally incorporates obstacle avoidance. Additionally, the paper addresses shared autonomy (SA) which enables synergetic collaboration between human operators and robots by dynamically allocating authority. Variable impedance control (VIC) and force control are employed, where impedance and wrench are adapted based on the human-robot autonomy factor derived from interaction forces. System passivity is ensured by an energy-tank based task passivation strategy. The framework's efficacy is validated through simulations and an experimental study employing a Franka Emika Research 3 robot. More information can be found on the project website https://shailjadav.github.io/SALADS/