title: Personalized Federated Learning of Probabilistic Models: A PAC-Bayesian Approach

abstract: Federated learning aims to infer a shared model from private and decentralized data stored locally by multiple clients. Personalized federated learning (PFL) goes one step further by adapting the global model to each client, enhancing the model's fit for different clients. A significant level of personalization is required for highly heterogeneous clients, but can be challenging to achieve especially when they have small datasets. To address this problem, we propose a PFL algorithm named PAC-PFL for learning probabilistic models within a PAC-Bayesian framework that utilizes differential privacy to handle data-dependent priors. Our algorithm collaboratively learns a shared hyper-posterior and regards each client's posterior inference as the personalization step. By establishing and minimizing a generalization bound on the average true risk of clients, PAC-PFL effectively combats over-fitting. PACPFL achieves accurate and well-calibrated predictions, supported by experiments on a dataset of photovoltaic panel power generation, FEMNIST dataset (Caldas et al., 2019), and Dirichlet-partitioned EMNIST dataset (Cohen et al., 2017).


title: Automated solver selection for simulation of multiphysics processes in porous media

abstract: Porous media processes involve various physical phenomena such as mechanical deformation, transport, and fluid flow. Accurate simulations must capture the strong couplings between these phenomena. Choosing an efficient solver for the multiphysics problem usually entails the decoupling into subproblems related to separate physical phenomena. Then, the suitable solvers for each subproblem and the iteration scheme must be chosen. The wide range of options for the solver components makes finding the optimum difficult and time-consuming; moreover, solvers come with numerical parameters that need to be optimized. As a further complication, the solver performance may depend on the physical regime of the simulation model, which may vary with time. Switching a solver with respect to the dominant process can be beneficial, but the threshold of when to switch solver is unclear and complicated to analyze. We address this challenge by developing a machine learning framework that automatically searches for the optimal solver for a given multiphysics simulation setup, based on statistical data from previously solved problems. For a series of problems, exemplified by successive time steps in a time-dependent simulation, the framework updates and improves its decision model online during the simulation. We show how it outperforms preselected state-of-the-art solvers for test problem setups. The examples are based on simulations of poromechanics and simulations of flow and transport. For the quasi-static linear Biot model, we demonstrate automated tuning of numerical solver parameters by showing how the L-parameter of the so-called Fixed-Stress preconditioner can be optimized. Motivated by a test example where the main heat transfer mechanism changes between convection and diffusion, we discuss how the solver selector can dynamically switch solvers when the dominant physical phenomenon changes with time.


title: Optimization of the plasmonic properties of titanium nitride films sputtered at room temperature through microstructure and thickness control

abstract: A current approach to depositing highly plasmonic titanium nitride films using the magnetron sputtering technique assumes that the process is performed at temperatures high enough to ensure the atoms have sufficient diffusivities to form dense and highly crystalline films. In this work, we demonstrate that the plasmonic properties of TiN films can be efficiently tuned even without intentional substrate heating by influencing the details of the deposition process and entailed films' stoichiometry and microstructure. We also discuss the dependence of the deposition time/films' thickness on the optical properties, which is another degree of freedom in controlling the optical response of the refractory metal nitride films. The proposed strategy allows for robust and cost-effective production of large-scale substrates with good plasmonic properties in a CMOS technology-compatible process that can be further processed, e.g., structurized. All reported films are characterized by the maximal values of the plasmonic Figure of Merit (FoM = -e1/e2) ranging from 0.8 to 2.6, and the sample with the best plasmonic properties is characterized by FoM at 700 nm and 1550 nm that is equal 2.1 in both cases. These are outstanding results, considering the films' polycrystallinity and deposition at room temperature onto a non-matched substrate.


title: Investigating Mixing Efficiency in Droplets: A Comprehensive Study of Numerical Modeling and Experimental Testing in 3D-Printed Microfluidic Devices

abstract: Effective mixing is essential for biochemical reactions. In droplet-based microfluidics, immediate mixing of substances upon contact in the droplet formation stage can greatly enhance the uniformity of chemical reactions. Furthermore, it eliminates the need for implementing micromixers in the chip. In our research, we conducted a comprehensive study by first employing a series of two-dimensional (2D) numerical simulations, followed by experimental investigations using three-dimensional-printed (3D-printed) microfluidic chips. Our primary focus was on assessing the mixing efficiency within droplets. Specifically, we compared the performance of three different types of droplet generators: T-junction, cross-junction, and a novel asymmetric design with various angles. Our evaluation criteria encompassed mixing efficiency, droplet diameter, and droplet eccentricity. Our findings indicate that 2D numerical simulations can serve as a valuable tool for qualitatively analyzing two-phase flows and the droplet generation process, particularly in quasi-two-dimensional devices. The relative simplicity of such simulations renders them readily applicable, specifically in complex microfluidic geometries. Regarding mixing efficiency, we observed that the asymmetric droplet generators outperformed the cross-junction configuration but fell slightly short of the mixing efficiency achieved by the T-junction. Additionally, while the mixing index in the asymmetric generators closely matched that of the T-junction, these asymmetric generators produced smaller droplets. Our study suggests that the novel asymmetric droplet generators offer a significant advantage by simplifying the design of microfluidic devices. This is achieved by facilitating both droplet formation and rapid reagent mixing within the droplets while concurrently maintaining a small droplet diameter.


title: Multidimensional Quantum Walks, Recursion, and Quantum Divide & Conquer

abstract: We introduce an object called a \emph{subspace graph} that formalizes the technique of multidimensional quantum walks. Composing subspace graphs allows one to seamlessly combine quantum and classical reasoning, keeping a classical structure in mind, while abstracting quantum parts into subgraphs with simple boundaries as needed. As an example, we show how to combine a \emph{switching network} with arbitrary quantum subroutines, to compute a composed function. As another application, we give a time-efficient implementation of quantum Divide \& Conquer when the sub-problems are combined via a Boolean formula. We use this to quadratically speed up Savitch's algorithm for directed $st$-connectivity.


title: Design and numerical analysis of metallic Ronchi diffraction gratings acting as reflective beam-splitter

abstract: In this work, a reflective beam-splitter based on a metallic Ronchi diffraction grating normally illuminated is designed and analysed. This kind of beam-splitter could have potential applications in photonics and optical technologies in which robustness is necessary since it may be manufactured over malleable metallic substrates. The main idea under the design is as simple as obligating the zero-th diffraction order to be null. Firstly, scalar approach is performed, showing an approximation to the parameters of the grating necessary to achieve beam-splitting. After that, a more rigorous approach such as Rigorous Coupled Waves Analysis (TE and TM polarization) is used to evaluate the proposed diffraction gratings as reflective beam-splitters. Beam-splitting is demonstrated for TE and TM polarization with slightly different dimensional parameters of the diffraction grating. Besides, we show how physical height of the grating grooves that allows cancelling zero-th diffraction order for a certain illumination wavelength depends on the metals used to manufacture the grating and its period. The dependence of the grooves height on the period is exponentially decreasing. To complete the analysis, we demonstrate how for a given grating period, the grooves height also depends on the illumination wavelength. Keywords: Diffraction, Diffraction grating, Beam-splitter


title: SAMF: Small-Area-Aware Multi-focus Image Fusion for Object Detection

abstract: Existing multi-focus image fusion (MFIF) methods often fail to preserve the uncertain transition region and detect small focus areas within large defocused regions accurately. To address this issue, this study proposes a new small-area-aware MFIF algorithm for enhancing object detection capability. First, we enhance the pixel attributes within the small focus and boundary regions, which are subsequently combined with visual saliency detection to obtain the pre-fusion results used to discriminate the distribution of focused pixels. To accurately ensure pixel focus, we consider the source image as a combination of focused, defocused, and uncertain regions and propose a three-region segmentation strategy. Finally, we design an effective pixel selection rule to generate segmentation decision maps and obtain the final fusion results. Experiments demonstrated that the proposed method can accurately detect small and smooth focus areas while improving object detection performance, outperforming existing methods in both subjective and objective evaluations. The source code is available at https://github.com/ixilai/SAMF.


title: Hallucination Detection and Hallucination Mitigation: An Investigation

abstract: Large language models (LLMs), including ChatGPT, Bard, and Llama, have achieved remarkable successes over the last two years in a range of different applications. In spite of these successes, there exist concerns that limit the wide application of LLMs. A key problem is the problem of hallucination. Hallucination refers to the fact that in addition to correct responses, LLMs can also generate seemingly correct but factually incorrect responses. This report aims to present a comprehensive review of the current literature on both hallucination detection and hallucination mitigation. We hope that this report can serve as a good reference for both engineers and researchers who are interested in LLMs and applying them to real world tasks.


title: Streamline-Directed Tunable Deterministic Lateral Displacement (DLD) Chip: A Novel Approach to Efficient Particle Separation

abstract: In conventional Deterministic Lateral Displacement (DLD), the migration behavior of a particle of specific size is determined by the critical diameter (Dc), which is predefined by the device's geometry. In contrast to the typical approach that alters the angle between the pillar array and fluid streamlines by modifying the geometrical parameters, this study introduces a novel perspective that focuses on changing the direction of the streamlines. The proposed technique enables the fabrication of a tunable DLD chip that is both easy to manufacture and design. This chip features one completely horizontal pillar array with two bypass channels on the top and bottom of the DLD chamber. The width of these bypass channels changes linearly from their inlet to their outlet. Two design configurations are suggested for this chip, characterized by either parallel or unparallel slopes of the bypass channels. This chip is capable of generating a wide range of Dc values by manipulating two distinct control parameters. The first control parameter involves adjusting the flow rates in the two bypass channels. The second control parameter entails controlling the slopes of these bypass channels. Both of these parameters influence the direction of particle-carrying streamlines resulting in a change in the path-line of the particles. By changing the angle of streamlines with pillar array, the Dc can be tuned. Prior to determining the Dc for each case, an initial estimation was made using a Python script that utilized the streamline coordinates. Subsequently, through FEM modeling of the particle trajectories, precise Dc values were ascertained and juxtaposed with the estimated values, revealing minimal disparities. This innovative chip enables the attainment of Dc values spanning from 0.5 to 14 {\mu}m.


title: AdaSem: Adaptive Goal-Oriented Semantic Communications for End-to-End Camera Relocalization

abstract: Recently, deep autoencoders have gained traction as a powerful method for implementing goal-oriented semantic communications systems. The idea is to train a mapping from the source domain directly to channel symbols, and vice versa. However, prior studies often focused on rate-distortion tradeoff and transmission delay, at the cost of increasing end-to-end complexity and thus latency. Moreover, the datasets used are often not reflective of real-world environments, and the results were not validated against real-world baseline systems, leading to an unfair comparison. In this paper, we study the problem of remote camera pose estimation and propose AdaSem, an adaptive semantic communications approach that optimizes the tradeoff between inference accuracy and end-to-end latency. We develop an adaptive semantic codec model, which encodes the source data into a dynamic number of symbols, based on the latent space distribution and the channel state feedback. We utilize a lightweight model for both transmitter and receiver to ensure comparable complexity to the baseline implemented in a real-world system. Extensive experiments on real-environment data show the effectiveness of our approach. When compared to a real implementation of a client-server camera relocalization service, AdaSem outperforms the baseline by reducing the end-to-end delay and estimation error by over 75% and 63%, respectively.


title: Adjoint Monte Carlo Method

abstract: This survey explores the development of adjoint Monte Carlo methods for solving optimization problems governed by kinetic equations, a common challenge in areas such as plasma control and device design. These optimization problems are particularly demanding due to the high dimensionality of the phase space and the randomness in evaluating the objective functional, a consequence of using a forward Monte Carlo solver. To overcome these difficulties, a range of ``adjoint Monte Carlo methods'' have been devised. These methods skillfully combine Monte Carlo gradient estimators with PDE-constrained optimization, introducing innovative solutions tailored for kinetic applications. In this review, we begin by examining three primary strategies for Monte Carlo gradient estimation: the score function approach, the reparameterization trick, and the coupling method. We also delve into the adjoint-state method, an essential element in PDE-constrained optimization. Focusing on applications in the radiative transfer equation and the nonlinear Boltzmann equation, we provide a comprehensive guide on how to integrate Monte Carlo gradient techniques within both the optimize-then-discretize and the discretize-then-optimize frameworks from PDE-constrained optimization. This approach leads to the formulation of effective adjoint Monte Carlo methods, enabling efficient gradient estimation in complex, high-dimensional optimization problems.


title: Modified Mach Zehnder interferometer for spatial coherence measurement

abstract: Spatial coherence of light sources is usually obtained by using the classical Youngs interferometer. Despite the original experiment has been improved in successive works, some drawbacks still remain. In addition, several pairs of points must be used to characterize the totally the 2D complex-coherence degree of the source. In this work, an alternative based on a modified Mach-Zehnder interferometer which includes a pair of lenses is presented. With this modified Mach-Zehnder interferometer, we are able to measure the spatial coherence length between any two points of the laser beam section simultaneously. The set-up does not have any movable part, which makes it robust and portable. To test it, the two-dimensional spatial coherence of a high-speed laser with two cavities has been measured for different pulse energy values. We observe from the experimental measurements that the complex degree of coherence changes with the selected output energy. Both laser cavities seem to have similar complex coherence degree for maximum energy although it is not symmetrical. Thus, this analysis will allow us to determine the best configuration of the double cavity laser for interferometric applications. Furthermore, the proposed approach can be applied to any other light sources.


title: Mitigating Bias in Machine Learning Models for Phishing Webpage Detection

abstract: The widespread accessibility of the Internet has led to a surge in online fraudulent activities, underscoring the necessity of shielding users' sensitive information from cybercriminals. Phishing, a well-known cyberattack, revolves around the creation of phishing webpages and the dissemination of corresponding URLs, aiming to deceive users into sharing their sensitive information, often for identity theft or financial gain. Various techniques are available for preemptively categorizing zero-day phishing URLs by distilling unique attributes and constructing predictive models. However, these existing techniques encounter unresolved issues. This proposal delves into persistent challenges within phishing detection solutions, particularly concentrated on the preliminary phase of assembling comprehensive datasets, and proposes a potential solution in the form of a tool engineered to alleviate bias in ML models. Such a tool can generate phishing webpages for any given set of legitimate URLs, infusing randomly selected content and visual-based phishing features. Furthermore, we contend that the tool holds the potential to assess the efficacy of existing phishing detection solutions, especially those trained on confined datasets.


title: Weighted Spectral Filters for Kernel Interpolation on Spheres: Estimates of Prediction Accuracy for Noisy Data

abstract: Spherical radial-basis-based kernel interpolation abounds in image sciences including geophysical image reconstruction, climate trends description and image rendering due to its excellent spatial localization property and perfect approximation performance. However, in dealing with noisy data, kernel interpolation frequently behaves not so well due to the large condition number of the kernel matrix and instability of the interpolation process. In this paper, we introduce a weighted spectral filter approach to reduce the condition number of the kernel matrix and then stabilize kernel interpolation. The main building blocks of the proposed method are the well developed spherical positive quadrature rules and high-pass spectral filters. Using a recently developed integral operator approach for spherical data analysis, we theoretically demonstrate that the proposed weighted spectral filter approach succeeds in breaking through the bottleneck of kernel interpolation, especially in fitting noisy data. We provide optimal approximation rates of the new method to show that our approach does not compromise the predicting accuracy. Furthermore, we conduct both toy simulations and two real-world data experiments with synthetically added noise in geophysical image reconstruction and climate image processing to verify our theoretical assertions and show the feasibility of the weighted spectral filter approach.


title: Combinatorics of q,r-analogues of Stirling numbers of type B

abstract: Stirling number of the first and the second kinds have seen many generalizations and applications in various areas of mathematics. We introduce some combinatorial parameters which realize $q$-analogues and Broder's $r$-variants of Stirling numbers of type $B$ of both kinds, which count signed set partitions and signed permutations respectively. Applications to orthogonality relations and power sums are given.


title: On the formalization of the notion of an algorithm

abstract: The starting point of this paper is a collection of properties of an algorithm that have been distilled from the informal descriptions of what an algorithm is that are given in standard works from the mathematical and computer science literature. Based on that, the notion of a proto-algorithm is introduced. The thought is that algorithms are equivalence classes of proto-algorithms under some equivalence relation. Three equivalence relations are defined. Two of them give bounds between which an appropriate equivalence relation must lie. The third lies in between these two and is likely an appropriate equivalence relation. A sound method is presented to prove, using an imperative process algebra based on ACP, that this equivalence relation holds between two proto-algorithms.


title: Morphology and Syntax of the Tamil Language

abstract: This paper provides an overview of the morphology and syntax of the Tamil language, focusing on its contemporary usage. The paper also highlights the complexity and richness of Tamil in terms of its morphological and syntactic features, which will be useful for linguists analysing the language and conducting comparative studies. In addition, the paper will be useful for those developing computational resources for the Tamil language. It is proven as a rule-based morphological analyser cum generator and a computational grammar for Tamil have already been developed based on this paper. To enhance accessibility for a broader audience, the analysis is conducted without relying on any specific grammatical formalism.


title: How cytoskeletal crosstalk makes cells move: bridging cell-free and cell studies

abstract: Cell migration is a fundamental process for life and is highly dependent on the dynamical and mechanical properties of the cytoskeleton. Intensive physical and biochemical crosstalk between actin, microtubules, and intermediate filaments ensures their coordination to facilitate and enable migration. In this review we discuss the different mechanical aspects that govern cell migration and provide, for each mechanical aspect, a novel perspective by juxtaposing two complementary approaches to the biophysical study of cytoskeletal crosstalk: live-cell studies (often referred to as top-down studies) and cell-free studies (often referred to as bottom-up studies). We summarize the main findings from both experimental approaches, and we provide our perspective on bridging the two perspectives to address the open questions of how cytoskeletal crosstalk governs cell migration and makes cells move.


title: Numerical model of the inhomogeneous scattering by the human lens

abstract: We present in this work a numerical model for characterizing the scattering properties of the human lens. After analyzing the scattering properties of two main scattering particles actually described in the literature through Finite Element Method simulations, we have modified a Monte Carlo bulk scattering algorithm for computing ray scattering in non-sequential ray tracing. We have implemented this ray scattering algorithm in a layered model of the human lens in order to calculate the scattering properties of the whole lens. We have tested our algorithm by simulating the classic experiment carried out by Van der Berg et al for measuring in vitro the angular distribution of forward scattered light by the human lens. The results show the ability of our model to simulate accurately the scattering properties of the human lens.


title: Digital quantum simulation of gravitational optomechanics with IBM quantum computers

abstract: We showcase the digital quantum simulation of the action of a Hamiltonian that governs the interaction between a quantum mechanical oscillator and an optical field, generating quantum entanglement between them via gravitational effects. This is achieved by making use of a boson-qubit mapping protocol and a digital gate decomposition that allow us to run the simulations in the quantum computers available in the IBM Quantum platform. We present the obtained results for the fidelity of the experiment in two different quantum computers, after applying error mitigation and post-selection techniques. The achieved results correspond to fidelities over 90%, which indicates that we were able to perform a faithful digital quantum simulation of the interaction and therefore of the generation of quantum entanglement by gravitational means in optomechanical systems.


title: How general is the Jensen--Varadhan large deviation functional for 1D conservation laws?

abstract: Starting from a microscopic particle model whose hydrodynamic limit under hyperbolic space-time scaling is a 1D conservation law, we derive the large deviation rate function encoding the probability to observe a density profile which is a non entropic shock, and compare this large deviation rate function with the classical Jensen-Varadhan functional, valid for the totally asymmetric exclusion process and the weakly asymmetric exclusion process in the strong asymmetry limit. We find that these two functionals have no reason to coincide, and in this sense Jensen-Varadhan functional is not universal. However, they do coincide in a small Mach number limit, suggesting that universality is restored in this regime. We then compute the leading order correction to the Jensen-Varadhan functional.


title: The characteristic group of locally conformally product structures

abstract: A compact manifold $M$ together with a Riemannian metric $h$ on its universal cover $\tilde M$ for which $\pi_1(M)$ acts by similarities is called a similarity structure. In the case where $\pi_1(M) \not\subset \mathrm{Isom}(\tilde M, h)$ and $(\tilde M, h)$ is reducible but not flat, this is a Locally Conformally Product (LCP) structure. The so-called characteristic group of these manifolds, which is a connected abelian Lie group, is the key to understand how they are built. We focus in this paper on the case where this group is simply connected, and give a description of the corresponding LCP structures. It appears that they are quotients of trivial $\mathbb{R}^p$-principal bundle over simply-connected manifolds by certain discrete subgroups of automorphisms. We prove that, conversely, it is always possible to endow such quotients with an LCP structure.


title: Active Control of Ballistic Orbital Transport

abstract: Orbital current, defined as the orbital character of Bloch states in solids, can ballistically travel with larger coherence length through a broader range of materials than its spin counterpart, facilitating a robust, higher density and energy efficient information transmission. Hence, active control of orbital transport plays a pivotal role in propelling the progress of the evolving field of quantum information technology. Unlike spin angular momentum, orbital angular momentum (OAM), couples to phonon angular momentum (PAM) efficiently via orbital-crystal momentum (L-k) coupling, giving us the opportunity to control orbital transport through crystal field potential mediated angular momentum transfer. Here, leveraging the orbital dependant efficient L-k coupling, we have experimentally demonstrated the active control of orbital current velocity using THz emission spectroscopy. Our findings include the identification of a critical energy density required to overcome collisions in orbital transport, enabling a swifter flow of orbital current. The capability to actively control the ballistic orbital transport lays the groundwork for the development of ultrafast devices capable of efficiently transmitting information over extended distance.


title: Cross-lingual neural fuzzy matching for exploiting target-language monolingual corpora in computer-aided translation

abstract: Computer-aided translation (CAT) tools based on translation memories (MT) play a prominent role in the translation workflow of professional translators. However, the reduced availability of in-domain TMs, as compared to in-domain monolingual corpora, limits its adoption for a number of translation tasks. In this paper, we introduce a novel neural approach aimed at overcoming this limitation by exploiting not only TMs, but also in-domain target-language (TL) monolingual corpora, and still enabling a similar functionality to that offered by conventional TM-based CAT tools. Our approach relies on cross-lingual sentence embeddings to retrieve translation proposals from TL monolingual corpora, and on a neural model to estimate their post-editing effort. The paper presents an automatic evaluation of these techniques on four language pairs that shows that our approach can successfully exploit monolingual texts in a TM-based CAT environment, increasing the amount of useful translation proposals, and that our neural model for estimating the post-editing effort enables the combination of translation proposals obtained from monolingual corpora and from TMs in the usual way. A human evaluation performed on a single language pair confirms the results of the automatic evaluation and seems to indicate that the translation proposals retrieved with our approach are more useful than what the automatic evaluation shows.


title: Sparse PCA with False Discovery Rate Controlled Variable Selection

abstract: Sparse principal component analysis (PCA) aims at mapping large dimensional data to a linear subspace of lower dimension. By imposing loading vectors to be sparse, it performs the double duty of dimension reduction and variable selection. Sparse PCA algorithms are usually expressed as a trade-off between explained variance and sparsity of the loading vectors (i.e., number of selected variables). As a high explained variance is not necessarily synonymous with relevant information, these methods are prone to select irrelevant variables. To overcome this issue, we propose an alternative formulation of sparse PCA driven by the false discovery rate (FDR). We then leverage the Terminating-Random Experiments (T-Rex) selector to automatically determine an FDR-controlled support of the loading vectors. A major advantage of the resulting T-Rex PCA is that no sparsity parameter tuning is required. Numerical experiments and a stock market data example demonstrate a significant performance improvement.


title: KADEL: Knowledge-Aware Denoising Learning for Commit Message Generation

abstract: Commit messages are natural language descriptions of code changes, which are important for software evolution such as code understanding and maintenance. However, previous methods are trained on the entire dataset without considering the fact that a portion of commit messages adhere to good practice (i.e., good-practice commits), while the rest do not. On the basis of our empirical study, we discover that training on good-practice commits significantly contributes to the commit message generation. Motivated by this finding, we propose a novel knowledge-aware denoising learning method called KADEL. Considering that good-practice commits constitute only a small proportion of the dataset, we align the remaining training samples with these good-practice commits. To achieve this, we propose a model that learns the commit knowledge by training on good-practice commits. This knowledge model enables supplementing more information for training samples that do not conform to good practice. However, since the supplementary information may contain noise or prediction errors, we propose a dynamic denoising training method. This method composes a distribution-aware confidence function and a dynamic distribution list, which enhances the effectiveness of the training process. Experimental results on the whole MCMD dataset demonstrate that our method overall achieves state-of-the-art performance compared with previous methods. Our source code and data are available at https://github.com/DeepSoftwareAnalytics/KADEL


title: Pareto Curves for Compositionally Model Checking String Diagrams of MDPs

abstract: Computing schedulers that optimize reachability probabilities in MDPs is a standard verification task. To address scalability concerns, we focus on MDPs that are compositionally described in a high-level description formalism. In particular, this paper considers string diagrams, which specify an algebraic, sequential composition of subMDPs. Towards their compositional verification, the key challenge is to locally optimize schedulers on subMDPs without considering their context in the string diagram. This paper proposes to consider the schedulers in a subMDP which form a Pareto curve on a combination of local objectives. While considering all such schedulers is intractable, it gives rise to a highly efficient sound approximation algorithm. The prototype on top of the model checker Storm demonstrates the scalability of this approach.


title: Cluster categories for completed infinity-gons I: Categorifying triangulations

abstract: Paquette and Y{\i}ld{\i}r{\i}m recently introduced cluster-type categories for completed infinity-gons, which are discs with an infinite closed set of marked points on their boundary. They classify (weak) cluster-tilting subcategories, which turn out to be in bijection with very special triangulations of the disc. This is in contrast to Igusa and Todorov's earlier work in the uncompleted case, in which every triangulation corresponds to a weak cluster-tilting subcategory. In this paper, we replace the triangulated structure of Paquette and Y{\i}ld{\i}r{\i}m's category by an extriangulated substructure and prove that, with this structure, the weak cluster-tilting subcategories are once again in bijection with triangulations. We further show that functorial finiteness of such a subcategory is equivalent to a very mild condition on the triangulation. This condition also appears in \c{C}anak\c{c}{\i} and Felikson's study of infinite rank cluster algebras from Teichm\"uller theory. By comparison with the combinatorics of triangulations, we are also able to characterise when weak cluster-tilting subcategories can be mutated in this new extriangulated category.


title: Unitary model analysis of $f_0(500)$ pole positions by continuously varying $m_\pi$: comparison with discrete lattice predictions

abstract: Resonance, bound-state, and virtual-state pole positions of the $f_0(500)$ scalar meson are computed as a continuous function of pion mass in the framework of a unitarized and analytic coupled-channel model for scalar mesons, described as dynamical quark-antiquark states. The $f_0(500)$ is modeled with both light and strange $q\bar{q}$ seeds, mixing with each other through the common $S$-wave $\pi\pi$, $K\bar{K}$, and $\eta\eta$ meson-meson decay channels. The few model parameters are fitted to experimental $S$-wave $\pi\pi$ phase shifts up to 1 GeV. In the case of the physical $\pi^\pm$ mass of 139.57 MeV, resonance poles at $(460-i222)$ MeV and $(978-i37.2)$ MeV are found for the $f_0(500)$ and $f_0(980)$, respectively. Resonance, bound-state, and virtual-state pole trajectories are computed and plotted as a function of pion masses up to 500 MeV, both in the complex-energy and complex-momentum planes. The results are discussed and compared to the most advanced lattice QCD computations employing interpolators that correspond to the $q\bar{q}$ and meson-meson channels in the present model, that is, for a few discrete values of the unphysical pion mass in those lattice calculations.


title: Thermoelectric power of overdoped Tl2201 crystals: Charge density waves and $T^1$ and $T^2$ resistivities

abstract: We report measurements of the in-plane thermoelectric power (TEP) for an overdoped (OD) crystal of the single layer cuprate superconductor Tl$_2$Ba$_2$CuO$_{6+x}$ (Tl2201) at several hole concentrations ($p$), from 300 or 400 K to below the superconducting transition temperature ($T_c$). For $p$ = 0.192 and 0.220, small upturns in the TEP below 150 K are attributed to the presence of charge density waves (CDW) detected by resonant inelastic X-ray scattering studies. This suggests that measurement of the TEP could provide a simple and effective guide to the presence of a CDW. Over a certain temperature range, often strongly restricted by the CDW, the TEP is consistent with the Nordheim-Gorter rule and the $T^1$ and $T^2$ terms in the in-plane resistivity of similar crystals observed below 160 K. Two scenarios in which the $T^1$ scattering term is uniform or non-uniform around the Fermi surface are discussed. As found previously by others, for uniform scattering the $T^1$ terms give scattering rates ($\tau^{-1}$) at lower $p$ that are somewhat larger than the Planckian value $k_B T/\hbar$ and fall to zero for heavily OD crystals. Near 160 K, $\tau^{-1}$ from the $T^2$ terms corresponds to the Planckian value.


title: Robotic Imitation of Human Actions

abstract: Imitation can allow us to quickly gain an understanding of a new task. Through a demonstration, we can gain direct knowledge about which actions need to be performed and which goals they have. In this paper, we introduce a new approach to imitation learning that tackles the challenges of a robot imitating a human, such as the change in perspective and body schema. Our approach can use a single human demonstration to abstract information about the demonstrated task, and use that information to generalise and replicate it. We facilitate this ability by a new integration of two state-of-the-art methods: a diffusion action segmentation model to abstract temporal information from the demonstration and an open vocabulary object detector for spatial information. Furthermore, we refine the abstracted information and use symbolic reasoning to create an action plan utilising inverse kinematics, to allow the robot to imitate the demonstrated action.


title: Shear oscillations in neutron stars and the nuclear symmetry energy

abstract: The shear and interface modes excited inside the neutron star due to the presence of elasticity depend on the properties of both the crust and core region. To examine how such eigenfrequencies depend on the neutron star properties, we solve the eigenvalue problem by adopting the relativistic Cowling approximation. Then, we confirm that the number of the interface modes excited in the star is generally equivalent to the number of the interface where the shear modulus discontinuously becomes zero, but we also find that the number of interface modes becomes smaller than that of the interface for the stellar model with lower or higher value of the slope parameter $L$. Furthermore, we derive the empirical relations for expressing the shear modes and one of the interface modes ($i_1$-mode in the text), which is the mode whose amplitude becomes dominant at the interface between the crust and envelopes and at the interface between the phases of slablike and cylindrical nuclei. At the end, we also show the possibility of identifying the higher QPO frequencies observed in GRB 200415A with the shear oscillations, as an alternative possibility instead of the torsional oscillations.


title: Exploiting Inter-Layer Expert Affinity for Accelerating Mixture-of-Experts Model Inference

abstract: In large language models like the Generative Pre-trained Transformer, the Mixture of Experts paradigm has emerged as a powerful technique for enhancing model expressiveness and accuracy. However, deploying GPT MoE models for parallel inference on distributed systems presents significant challenges, primarily due to the extensive Alltoall communication required for expert routing and aggregation. This communication bottleneck exacerbates the already complex computational landscape, hindering the efficient utilization of high-performance computing resources. In this paper, we propose a lightweight optimization technique called ExFlow, to largely accelerate the inference of these MoE models. We take a new perspective on alleviating the communication overhead by exploiting the inter-layer expert affinity. Unlike previous methods, our solution can be directly applied to pre-trained MoE models without any fine-tuning or accuracy degradation. By proposing a context-coherent expert parallelism on distributed systems, our design only uses one Alltoall communication to deliver the same functionality while previous methods all require two Alltoalls. By carefully examining the conditional probability in tokens' routing across multiple layers, we proved that pre-trained GPT MoE models implicitly exhibit a strong inter-layer expert affinity. We then design an efficient integer programming model to capture such features and show that by properly placing the experts on corresponding GPUs, we can reduce up to 67% cross-GPU routing latency. Our solution beats the cutting-edge MoE implementations with experts from 8 to 64, with up to 2.2x improvement in inference throughput. We further provide a detailed study of how the model implicitly acquires this expert affinity at the very early training stage and how this affinity evolves and stabilizes during training.


title: Shear and bulk viscosity of quark-gluon plasma with Gribov gluons and quasiparticle quarks

abstract: In this paper, we investigate the transport coefficients, specifically the bulk ($\zeta $) and shear ($\eta$) viscosity coefficients of hot QCD matter at finite temperature and vanishing chemical potential. For gluonic plasma, we consider the Gribov's prescription for the gluon propagator, which has been proven to be effective in exploring the non-perturbative region. For a system of quark-gluon plasma (QGP), we adopt the quasiparticle prescription for quarks along with the Gribov's prescription for gluons. We determine the Gribov parameter and quasi-quark mass by utilizing lattice QCD data for the equation-of-state of pure glue and QGP, respectively. Our primary objective is to examine the influence of quasi-quarks on the transport coefficients of QGP. In the end, we observed a significant decrease in the scaled transport coefficients with temperature across the entire relevant temperature range ($ 1 \le T/T_c \le 3 $).


title: An Efficient VCGen-based Modular Verification of Relational Properties

abstract: Deductive verification typically relies on function contracts that specify the behavior of each function for a single function call. Relational properties link several function calls together within a single specification. They can express more advanced properties of a given function, such as non-interference, continuity, or monotonicity, or relate calls to different functions, possibly run in parallel, for instance, to show the equivalence of two implementations. However, relational properties cannot be expressed and verified directly in the traditional setting of modular deductive verification. Recent work proposed a new technique for relational property verification that relies on a verification condition generator to produce logical formulas that must be verified to ensure a given relational property. This paper presents an overview of this approach and proposes important enhancements. We integrate an optimized verification condition generator and extend the underlying theory to show how relational properties can be proved in a modular way, where one relational property can be used to prove another one, like in modular verification of function contracts. Our results have been fully formalized and proved sound in the Coq proof assistant.


title: Deep Learning-based Group Causal Inference in Multivariate Time-series

abstract: Causal inference in a nonlinear system of multivariate timeseries is instrumental in disentangling the intricate web of relationships among variables, enabling us to make more accurate predictions and gain deeper insights into real-world complex systems. Causality methods typically identify the causal structure of a multivariate system by considering the cause-effect relationship of each pair of variables while ignoring the collective effect of a group of variables or interactions involving more than two-time series variables. In this work, we test model invariance by group-level interventions on the trained deep networks to infer causal direction in groups of variables, such as climate and ecosystem, brain networks, etc. Extensive testing with synthetic and real-world time series data shows a significant improvement of our method over other applied group causality methods and provides us insights into real-world time series. The code for our method can be found at:https://github.com/wasimahmadpk/gCause.


title: ZZ Tau IRS: a low mass UX Ori type star with strong wind

abstract: The results of photometric, polarimetric and spectroscopic observations of the young star ZZ Tau IRS in the visible and near-infrared bands are presented. Against the continuum of an M spectral type star about 50 emission lines of allowed (HI, HeI, NaI, SII) and forbidden (OI, OII, OIII, NI, NII, SII, CaII, FeII, NiII) transitions were identified. It was found that from the autumn of 2020 to the beginning of 2023, the brightness of the star in the visible region decreased $(\Delta I \approx 1.5^m),$ and then began to return to initial level. As the visible brightness of the star declined, its colour indices decreased in the visible region, but increased in the near-IR bands. At light minimum, the degree of polarization in the $I$ band reached $\approx$ 13%, and the equivalent widths of e.g. the H$\alpha$ and [SII] 6731 A lines increased to 376 and 79 A, respectively. Arguments are given in favour of ZZ Tau IRS being a UX Ori type star, and its variability being due to eclipses by dust clouds, which are inhomogeneities in the dusty disc wind. Forbidden lines are formed both in the disc wind and in the jet, the axis of which is oriented along PA$=61\pm 3$ degrees. The jet mass-loss rate is $>5 \times 10^{-10}$ M$_\odot$/yr, what is abnormally large for a star with a mass of $<0.3$ M$_\odot.$ Apparently, the disc wind of ZZ Tau IRS is not axially symmetric, probably due to the azimuthal asymmetry of the protoplanetary disc found earlier from ALMA observations.


title: The distribution of braid indices of 2-bridge knots

abstract: In this article we study the braid indices of 2-bridge knots with a fixed crossing number $c$. We show that the average braid index of the set of $2$-bridge knots of crossing number $c$ is asymptotically linear, approaching $\frac{c}{3}+\frac{11}{9}$. Additionally, we show that the variance of the braid indices of the set of $2$-bridge knots of crossing number $c$ is also asymptotically linear, approaching $\frac{2c}{27} - \frac{10}{81}$. Finally, we find a formula for the number $k_{c,b}$ of $2$-bridge knots with crossing number $c$ and braid index $b$, and show that for any fixed $c$, the braid index where $k_{c,b}$ achieves its maximum is $b=\left\lceil \frac{c}{3}\right\rceil +1$.


title: Sections of K3 surfaces with Picard number two and Mercat's conjecture

abstract: Farkas and Ortega found counterexamples to Mercat's conjecture by restricting to a hyperplane section $C$ some suitable rank-two vector bundles on a $K3$ surface whose Picard group is generated by $C$ and another very ample divisor. We prove that the same bundles produce other counterexamples by restriction to hypersurface sections $C_n\in|nC|$ for all $n\ge 2$. In the process, we compute the Clifford indices of the corresponding hypersurface sections $C_n$, noting their non-generic nature for $n\ge 2$. A key ingredient to prove the (semi)stability of the restricted bundles, is Green's Explicit $H^0$ Lemma. In what concerns the (semi)stability, although general restriction theorems as demonstrated by Flenner or Feyzbakhsh are applicable for sufficiently large, explicit values of $n$, our approach works for all $n\ge 2$. It is also worth noting that our proof deviates slightly from the one of Farkas-Ortega. Employing the same strategy leads to an enhancement of the main result of a paper of Sengupta.


title: Physics-informed Meta-instrument for eXperiments (PiMiX) with applications to fusion energy

abstract: Data-driven methods (DDMs), such as deep neural networks, offer a generic approach to integrated data analysis (IDA), integrated diagnostic-to-control (IDC) workflows through data fusion (DF), which includes multi-instrument data fusion (MIDF), multi-experiment data fusion (MXDF), and simulation-experiment data fusion (SXDF). These features make DDMs attractive to nuclear fusion energy and power plant applications, leveraging accelerated workflows through machine learning and artificial intelligence. Here we describe Physics-informed Meta-instrument for eXperiments (PiMiX) that integrates X-ray (including high-energy photons such as $\gamma$-rays from nuclear fusion), neutron and others (such as proton radiography) measurements for nuclear fusion. PiMiX solves multi-domain high-dimensional optimization problems and integrates multi-modal measurements with multiphysics modeling through neural networks. Super-resolution for neutron detection and energy resolved X-ray detection have been demonstrated. Multi-modal measurements through MIDF can extract more information than individual or uni-modal measurements alone. Further optimization schemes through DF are possible towards empirical fusion scaling laws discovery and new fusion reactor designs.


title: 2D unified atmosphere and wind simulations of O-type stars

abstract: Massive and luminous O-star atmospheres with winds have been studied primarily using one-dimensional (1D), spherically symmetric, and stationary models. However, observations and theory rather suggest that O-star atmospheres are highly structured, turbulent, and time-dependent. As such, when comparing to observations, present-day 1D modeling tools need to introduce ad-hoc quantities such as photospheric macro & microturbulence, wind clumping, etc. We present multi-dimensional, time-dependent, radiation-hydrodynamical (RHD) simulations for O-stars that encapsulate the deeper sub-surface envelope (down to T ~ 450 kK) as well as the supersonic line-driven wind outflow in one unified approach. Time-dependent, two-dimensional (2D) simulations of O-star atmospheres with winds are performed using a flux-limiting RHD finite volume modeling technique. Opacities are computed using a hybrid approach combining tabulated Rosseland means with calculations (based on the Sobolev approximation) of the enhanced line opacities expected for supersonic flows. When compared to 1D models, the average structures in the 2D simulations display less envelope expansion, no sharp density-inversions, density and temperature profiles that are significantly less steep around the photosphere, and a strong anti-correlation between velocity and density in the supersonic wind. To qualitatively match the different density and temperature profiles seen in our multi-D and 1D models, we need to add a modest amount of convective energy transport in the deep sub-surface layers and a large turbulent pressure around the photosphere to the 1D models.


title: DoraemonGPT: Toward Understanding Dynamic Scenes with Large Language Models (Exemplified as A Video Agent)

abstract: Recent LLM-driven visual agents mainly focus on solving image-based tasks, which limits their ability to understand dynamic scenes, making it far from real-life applications like guiding students in laboratory experiments and identifying their mistakes. Hence, this paper explores DoraemonGPT, a comprehensive and conceptually elegant system driven by LLMs to understand dynamic scenes. Considering the video modality better reflects the ever-changing nature of real-world scenarios, we exemplify DoraemonGPT as a video agent. Given a video with a question/task, DoraemonGPT begins by converting the input video into a symbolic memory that stores task-related attributes. This structured representation allows for spatial-temporal querying and reasoning by well-designed sub-task tools, resulting in concise intermediate results. Recognizing that LLMs have limited internal knowledge when it comes to specialized domains (e.g., analyzing the scientific principles underlying experiments), we incorporate plug-and-play tools to assess external knowledge and address tasks across different domains. Moreover, a novel LLM-driven planner based on Monte Carlo Tree Search is introduced to explore the large planning space for scheduling various tools. The planner iteratively finds feasible solutions by backpropagating the result's reward, and multiple solutions can be summarized into an improved final answer. We extensively evaluate DoraemonGPT's effectiveness on three benchmarks and several in-the-wild scenarios. The code will be released at https://github.com/z-x-yang/DoraemonGPT.


title: Loop current states and their stability in small fractal lattices of Bose-Einstein condensates

abstract: We consider a model of interacting Bose-Einstein condensates on small Sierpinski gaskets. We study eigenstates which are characterised by cyclic supercurrents per each triangular plaquette ("loop" states). For noninteracting systems we find at least three classes of loop eigenmodes: standard; chaotic and periodic. Standard modes are those inherited from the basic three-site ring of condensates with phase differences locked to $2\pi/3$. Standard modes become unstable in the interacting system but only when interaction exceeds a certain critical value $u_c$. Chaotic modes are characterised by very different circular currents per plaquette, so that the usual symmetry of loop currents is broken. Circular supercurrents associated with chaotic modes become chaotic for any finite interaction, signalling the loss of coherence between the condensates. Periodic modes are described by alternating populations and two different phase differences. The modes are self-similar and are present in all generations of Sierpinskii gasket. When interaction is included, circular current of such a mode becomes periodic in time with the amplitude growing linearly with interaction. Above a critical interaction the amplitude saturates signalling a transition to a macroscopic self-trapping state originally known from a usual Bose Josephson junction. We perform a systematic analysis of this novel and rich physics.


title: Collective photoprotection through light-induced phase separation in a phototactic micro-alga

abstract: Light can be harmful for photosynthetic organisms when it exceeds the capacity of photon conversion by the photosynthetic machinery. When light intensity is too high, the motile micro-algae Chlamydomonas reinhardtii reorients itself to swim away from the source. We recently discovered that a suspension of photophobic algae can be unstable, occasioning a complete phase separation of the system with the emergence of an active liquid phase. Indeed here small spatial fluctuations in cell density influence the phototactic behavior of surrounding cells which tend to join and therefore amplify the fluctuations. In a cylindrical geometry, this strong coupling between cell density and light fields through both negative phototaxis and light absorption by the individual cells led to the emergence of dynamic branching patterns whose features depend on the global cell density, light intensity and medium viscosity. We developed a simple model based on a drift-diffusion framework that finely reproduces the experimental data on the destabilization. We finally showed that this active phase separation efficiently protects the individual cells against the negative effects of light on the integrity of the photosynthetic machinery (photoinhibition of Photosystem II), demonstrating that on short timescales phototaxis efficiently contributes to photoprotection through collective behaviors at the population level.


title: High-Precision Transition Energy Measurements of Neonlike Fe XVII Ions

abstract: We improve by a factor of 4-20 the energy accuracy of the strongest soft X-ray transitions of Fe XVII ions by resonantly exciting them in an electron beam ion trap with a monochromatic beam at the P04 beamline of the PETRA III synchrotron facility. By simultaneously tracking instantaneous photon-energy fluctuations with a high-resolution photoelectron spectrometer, we minimize systematic uncertainties down to 10-15 meV, or velocity-equivalent +/- ~5 km/s in their rest energies, substantially improving our knowledge of this key astrophysical ion. Our large-scale configuration-interaction computations include more than four million relativistic configurations and agree with the experiment at a level without precedent for a ten-electron system. Thereby, theoretical uncertainties for interelectronic correlations become far smaller than those of quantum electrodynamics (QED) corrections. The present QED benchmark strengthens our trust in future calculations of many other complex atomic ions of interest to astrophysics, plasma physics, and for the development of optical clocks with highly charged ions.

categories: physics.atom-ph astro-ph.HE astro-ph.IM astro-ph.SR physics.plasm-ph


title: Hidden Flaws Behind Expert-Level Accuracy of GPT-4 Vision in Medicine

abstract: Recent studies indicate that Generative Pre-trained Transformer 4 with Vision (GPT-4V) outperforms human physicians in medical challenge tasks. However, these evaluations primarily focused on the accuracy of multi-choice questions alone. Our study extends the current scope by conducting a comprehensive analysis of GPT-4V's rationales of image comprehension, recall of medical knowledge, and step-by-step multimodal reasoning when solving New England Journal of Medicine (NEJM) Image Challenges - an imaging quiz designed to test the knowledge and diagnostic capabilities of medical professionals. Evaluation results confirmed that GPT-4V performs comparatively to human physicians regarding multi-choice accuracy (81.6% vs. 77.8%). GPT-4V also performs well in cases where physicians incorrectly answer, with over 78% accuracy. However, we discovered that GPT-4V frequently presents flawed rationales in cases where it makes the correct final choices (35.5%), most prominent in image comprehension (27.2%). Regardless of GPT-4V's high accuracy in multi-choice questions, our findings emphasize the necessity for further in-depth evaluations of its rationales before integrating such multimodal AI models into clinical workflows.


title: A Micro Architectural Events Aware Real-Time Embedded System Fault Injector

abstract: In contemporary times, the increasing complexity of the system poses significant challenges to the reliability, trustworthiness, and security of the SACRES. Key issues include the susceptibility to phenomena such as instantaneous voltage spikes, electromagnetic interference, neutron strikes, and out-of-range temperatures. These factors can induce switch state changes in transistors, resulting in bit-flipping, soft errors, and transient corruption of stored data in memory. The occurrence of soft errors, in turn, may lead to system faults that can propel the system into a hazardous state. Particularly in critical sectors like automotive, avionics, or aerospace, such malfunctions can have real-world implications, potentially causing harm to individuals. This paper introduces a novel fault injector designed to facilitate the monitoring, aggregation, and examination of micro-architectural events. This is achieved by harnessing the microprocessor's PMU and the debugging interface, specifically focusing on ensuring the repeatability of fault injections. The fault injection methodology targets bit-flipping within the memory system, affecting CPU registers and RAM. The outcomes of these fault injections enable a thorough analysis of the impact of soft errors and establish a robust correlation between the identified faults and the essential timing predictability demanded by SACRES.


title: High-Quality Mesh Blendshape Generation from Face Videos via Neural Inverse Rendering

abstract: Readily editable mesh blendshapes have been widely used in animation pipelines, while recent advancements in neural geometry and appearance representations have enabled high-quality inverse rendering. Building upon these observations, we introduce a novel technique that reconstructs mesh-based blendshape rigs from single or sparse multi-view videos, leveraging state-of-the-art neural inverse rendering. We begin by constructing a deformation representation that parameterizes vertex displacements into differential coordinates with tetrahedral connections, allowing for high-quality vertex deformation on high-resolution meshes. By constructing a set of semantic regulations in this representation, we achieve joint optimization of blendshapes and expression coefficients. Furthermore, to enable a user-friendly multi-view setup with unsynchronized cameras, we propose a neural regressor to model time-varying motion parameters. This approach implicitly considers the time difference across multiple cameras, enhancing the accuracy of motion modeling. Experiments demonstrate that, with the flexible input of single or sparse multi-view videos, we reconstruct personalized high-fidelity blendshapes. These blendshapes are both geometrically and semantically accurate, and they are compatible with industrial animation pipelines. Code and data will be released.


title: TACO: Benchmarking Generalizable Bimanual Tool-ACtion-Object Understanding

abstract: Humans commonly work with multiple objects in daily life and can intuitively transfer manipulation skills to novel objects by understanding object functional regularities. However, existing technical approaches for analyzing and synthesizing hand-object manipulation are mostly limited to handling a single hand and object due to the lack of data support. To address this, we construct TACO, an extensive bimanual hand-object-interaction dataset spanning a large variety of tool-action-object compositions for daily human activities. TACO contains 2.5K motion sequences paired with third-person and egocentric views, precise hand-object 3D meshes, and action labels. To rapidly expand the data scale, we present a fully automatic data acquisition pipeline combining multi-view sensing with an optical motion capture system. With the vast research fields provided by TACO, we benchmark three generalizable hand-object-interaction tasks: compositional action recognition, generalizable hand-object motion forecasting, and cooperative grasp synthesis. Extensive experiments reveal new insights, challenges, and opportunities for advancing the studies of generalizable hand-object motion analysis and synthesis. Our data and code are available at https://taco2024.github.io.


title: Well-posedness of a bulk-surface convective Cahn--Hilliard system with dynamic boundary conditions

abstract: We consider a general class of bulk-surface convective Cahn--Hilliard systems with dynamic boundary conditions. In contrast to classical Neumann boundary conditions, the dynamic boundary conditions of Cahn--Hilliard type allow for dynamic changes of the contact angle between the diffuse interface and the boundary, a convection-induced motion of the contact line as well as absorption of material by the boundary. The coupling conditions for bulk and surface quantities involve parameters $K,L\in[0,\infty]$, whose choice declares whether these conditions are of Dirichlet, Robin or Neumann type. We first prove the existence of a weak solution to our model in the case $K,L\in (0,\infty)$ by means of a Faedo--Galerkin approach. For all other cases, the existence of a weak solution is then shown by means of the asymptotic limits, where $K$ and $L$ are sent to zero or to infinity, respectively. Eventually, we establish higher regularity for the phase-fields, and we prove the uniqueness of weak solutions given that the mobility functions are constant.


title: Knots, Primes and the adele class space

abstract: We show that the scaling site $X_{\mathbb Q}$ and its periodic orbits $C_p$ of length $\log p$ offer a geometric framework for the well-known analogy between primes and knots. The role of the maximal abelian cover of $X_{\mathbb Q}$ is played by the quotient map $\pi:X_{\mathbb Q}^{ab}\to X_{\mathbb Q}$ from the adele class space $X_{\mathbb Q}^{ab}:={\mathbb Q}^\times \backslash {\mathbb A}_{\mathbb Q}$ to $X_{\mathbb Q}=X_{{\mathbb Q}}^{ab}/{\hat{\mathbb Z}^*}$. The inverse image $\pi^{-1}(C_p)\subset X_{\mathbb Q}^{ab}$ of the periodic orbit $C_p$ is canonically isomorphic to the mapping torus of the multiplication by the Frobenius at $p$ in the abelianized \'etale fundamental group $\pi_1^{e t}({\rm Spec} \, {\mathbb Z}_{(p)})^{ab}$ of the spectrum of the local ring ${\mathbb Z}_{(p)}$, thus exhibiting the linking of $p$ with all other primes. In the same way as the Grothendieck theory of the \'etale fundamental group of schemes is an extension of Galois theory to schemes, the adele class space gives, as a covering of the scaling site, the corresponding extension of the class field isomorphism for $\mathbb Q$ to schemes related to ${\rm Spec} \,\mathbb Z$.


title: Uniform Recovery Guarantees for Quantized Corrupted Sensing Using Structured or Generative Priors

abstract: This paper studies quantized corrupted sensing where the measurements are contaminated by unknown corruption and then quantized by a dithered uniform quantizer. We establish uniform guarantees for Lasso that ensure the accurate recovery of all signals and corruptions using a single draw of the sub-Gaussian sensing matrix and uniform dither. For signal and corruption with structured priors (e.g., sparsity, low-rankness), our uniform error rate for constrained Lasso typically coincides with the non-uniform one [Sun, Cui and Liu, 2022] up to logarithmic factors. By contrast, our uniform error rate for unconstrained Lasso exhibits worse dependence on the structured parameters due to regularization parameters larger than the ones for non-uniform recovery. For signal and corruption living in the ranges of some Lipschitz continuous generative models (referred to as generative priors), we achieve uniform recovery via constrained Lasso with a measurement number proportional to the latent dimensions of the generative models. Our treatments to the two kinds of priors are (nearly) unified and share the common key ingredients of (global) quantized product embedding (QPE) property, which states that the dithered uniform quantization (universally) preserves inner product. As a by-product, our QPE result refines the one in [Xu and Jacques, 2020] under sub-Gaussian random matrix, and in this specific instance we are able to sharpen the uniform error decaying rate (for the projected-back projection estimator with signals in some convex symmetric set) presented therein from $O(m^{-1/16})$ to $O(m^{-1/8})$.


title: The Quantization of Maxwell Theory in the Cauchy Radiation Gauge: Hodge Decomposition and Hadamard States

abstract: The aim of this paper is to prove the existence of Hadamard states for the Maxwell equations on any globally hyperbolic spacetime. This will be achieved by introducing a new gauge fixing condition, the Cauchy radiation gauge, that will allow to suppress all the unphysical degrees of freedom. The key ingredient for achieving this gauge is a new Hodge decomposition for differential k-forms in Sobolev spaces on complete (possibly non-compact) Riemannian manifolds.


title: Training and Comparison of nnU-Net and DeepMedic Methods for Autosegmentation of Pediatric Brain Tumors

abstract: Brain tumors are the most common solid tumors and the leading cause of cancer-related death among children. Tumor segmentation is essential in surgical and treatment planning, and response assessment and monitoring. However, manual segmentation is time-consuming and has high inter-operator variability, underscoring the need for more efficient methods. We compared two deep learning-based 3D segmentation models, DeepMedic and nnU-Net, after training with pediatric-specific multi-institutional brain tumor data using based on multi-parametric MRI scans.Multi-parametric preoperative MRI scans of 339 pediatric patients (n=293 internal and n=46 external cohorts) with a variety of tumor subtypes, were preprocessed and manually segmented into four tumor subregions, i.e., enhancing tumor (ET), non-enhancing tumor (NET), cystic components (CC), and peritumoral edema (ED). After training, performance of the two models on internal and external test sets was evaluated using Dice scores, sensitivity, and Hausdorff distance with reference to ground truth manual segmentations. Dice score for nnU-Net internal test sets was (mean +/- SD (median)) 0.9+/-0.07 (0.94) for WT, 0.77+/-0.29 for ET, 0.66+/-0.32 for NET, 0.71+/-0.33 for CC, and 0.71+/-0.40 for ED, respectively. For DeepMedic the Dice scores were 0.82+/-0.16 for WT, 0.66+/-0.32 for ET, 0.48+/-0.27, for NET, 0.48+/-0.36 for CC, and 0.19+/-0.33 for ED, respectively. Dice scores were significantly higher for nnU-Net (p<=0.01). External validation of the trained nnU-Net model on the multi-institutional BraTS-PEDs 2023 dataset revealed high generalization capability in segmentation of whole tumor and tumor core with Dice scores of 0.87+/-0.13 (0.91) and 0.83+/-0.18 (0.89), respectively. Pediatric-specific data trained nnU-Net model is superior to DeepMedic for whole tumor and subregion segmentation of pediatric brain tumors.


title: Interrogating AI: Characterizing Emergent Playful Interactions with ChatGPT

abstract: In an era of AI's growing capabilities and influences, recent advancements are reshaping HCI and CSCW's view of AI as mere tools. Playful interactions with AI systems naturally emerged as a way for users to make sense of the ever-changing technology. However, these emergent and playful interactions are underexamined. We target this gap by investigating playful interactions exhibited by users of a recently trending powerful AI technology, ChatGPT. Through a thematic analysis of 372 user-generated posts on the ChatGPT subreddit, we found that a substantial portion of user discourse revolves around playful interactions. The analysis further allowed us to construct a preliminary taxonomy to describe these interactions, categorizing them into six types: reflecting, jesting, imitating, challenging, tricking, and contriving; each included sub-categories. Overall, this study contributes to the field of HCI and CSCW by illuminating the multifaceted nature of playful interactions with AI, underlining their significance in shaping the human-AI relationship.


title: RAG vs Fine-tuning: Pipelines, Tradeoffs, and a Case Study on Agriculture

abstract: There are two common ways in which developers are incorporating proprietary and domain-specific data when building applications of Large Language Models (LLMs): Retrieval-Augmented Generation (RAG) and Fine-Tuning. RAG augments the prompt with the external data, while fine-Tuning incorporates the additional knowledge into the model itself. However, the pros and cons of both approaches are not well understood. In this paper, we propose a pipeline for fine-tuning and RAG, and present the tradeoffs of both for multiple popular LLMs, including Llama2-13B, GPT-3.5, and GPT-4. Our pipeline consists of multiple stages, including extracting information from PDFs, generating questions and answers, using them for fine-tuning, and leveraging GPT-4 for evaluating the results. We propose metrics to assess the performance of different stages of the RAG and fine-Tuning pipeline. We conduct an in-depth study on an agricultural dataset. Agriculture as an industry has not seen much penetration of AI, and we study a potentially disruptive application - what if we could provide location-specific insights to a farmer? Our results show the effectiveness of our dataset generation pipeline in capturing geographic-specific knowledge, and the quantitative and qualitative benefits of RAG and fine-tuning. We see an accuracy increase of over 6 p.p. when fine-tuning the model and this is cumulative with RAG, which increases accuracy by 5 p.p. further. In one particular experiment, we also demonstrate that the fine-tuned model leverages information from across geographies to answer specific questions, increasing answer similarity from 47% to 72%. Overall, the results point to how systems built using LLMs can be adapted to respond and incorporate knowledge across a dimension that is critical for a specific industry, paving the way for further applications of LLMs in other industrial domains.


title: Cross-Domain Few-Shot Segmentation via Iterative Support-Query Correspondence Mining

abstract: Cross-Domain Few-Shot Segmentation (CD-FSS) poses the challenge of segmenting novel categories from a distinct domain using only limited exemplars. In this paper, we undertake a comprehensive study of CD-FSS and uncover two crucial insights: (i) the necessity of a fine-tuning stage to effectively transfer the learned meta-knowledge across domains, and (ii) the overfitting risk during the na\"ive fine-tuning due to the scarcity of novel category examples. With these insights, we propose a novel cross-domain fine-tuning strategy that addresses the challenging CD-FSS tasks. We first design Bi-directional Few-shot Prediction (BFP), which establishes support-query correspondence in a bi-directional manner, crafting augmented supervision to reduce the overfitting risk. Then we further extend BFP into Iterative Few-shot Adaptor (IFA), which is a recursive framework to capture the support-query correspondence iteratively, targeting maximal exploitation of supervisory signals from the sparse novel category samples. Extensive empirical evaluations show that our method significantly outperforms the state-of-the-arts (+7.8\%), which verifies that IFA tackles the cross-domain challenges and mitigates the overfitting simultaneously. The code is available at: https://github.com/niejiahao1998/IFA.


title: A Comprehensive Taxonomy of Cellular Automata

abstract: Cellular automata (CAs) are fully-discrete dynamical models that have received much attention due to the fact that their relatively simple setup can nonetheless express highly complex phenomena. Despite the model's theoretical maturity and abundant computational power, the current lack of a complete survey on the 'taxonomy' of various families of CAs impedes efficient and interdisciplinary progress. This review paper mitigates that deficiency; it provides a methodical overview of five important CA 'families': asynchronous, stochastic, multi-state, extended-neighbourhood, and non-uniform CAs. These five CA families are subsequently presented from four angles. First, a rigorous mathematical definition is given. Second, we map prominent variations within each CA family, as such highlighting mathematical equivalences with types from other families. Third, we discuss the genotype and phenotype of these CA types by means of mathematical tools, indicating when established tools break down. Fourth, we conclude each section with a brief overview of applications related to information theory and mathematical modelling.


title: Faster ISNet for Background Bias Mitigation on Deep Neural Networks

abstract: Bias or spurious correlations in image backgrounds can impact neural networks, causing shortcut learning (Clever Hans Effect) and hampering generalization to real-world data. ISNet, a recently introduced architecture, proposed the optimization of Layer-Wise Relevance Propagation (LRP, an explanation technique) heatmaps, to mitigate the influence of backgrounds on deep classifiers. However, ISNet's training time scales linearly with the number of classes in an application. Here, we propose reformulated architectures whose training time becomes independent from this number. Additionally, we introduce a concise and model-agnostic LRP implementation. We challenge the proposed architectures using synthetic background bias, and COVID-19 detection in chest X-rays, an application that commonly presents background bias. The networks hindered background attention and shortcut learning, surpassing multiple state-of-the-art models on out-of-distribution test datasets. Representing a potentially massive training speed improvement over ISNet, the proposed architectures introduce LRP optimization into a gamut of applications that the original model cannot feasibly handle.


title: Effects of colliding laser pulses polarization on $ e^{-}e^{+} $ cascade development in extreme focusing

abstract: The onset and development of electron-positron cascade in a standing wave formed by multiple colliding laser pulses requires tight focusing in order to achieve the maximum laser intensity. There, steep spatio-temporal gradients in the laser intensity expel seed particles from the high-intensity region and thus can prevent the onset of a cascade. We show that radially polarized laser pulses ensure that the seed electrons are present at the focal plane at the moment of the highest amplitude even in the case of extreme focusing. This feature reduces the required laser power for the onset of a cascade 100 times (80 times) compared to circularly (linearly) polarized laser pulses having the same focal spot radius and duration.


title: Using Counterfactuals to Improve Causal Inferences from Visualizations

abstract: Traditional approaches to data visualization have often focused on comparing different subsets of data, and this is reflected in the many techniques developed and evaluated over the years for visual comparison. Similarly, common workflows for exploratory visualization are built upon the idea of users interactively applying various filter and grouping mechanisms in search of new insights. This paradigm has proven effective at helping users identify correlations between variables that can inform thinking and decision-making. However, recent studies show that consumers of visualizations often draw causal conclusions even when not supported by the data. Motivated by these observations, this article highlights recent advances from a growing community of researchers exploring methods that aim to directly support visual causal inference. However, many of these approaches have their own limitations which limit their use in many real-world scenarios. This article therefore also outlines a set of key open challenges and corresponding priorities for new research to advance the state of the art in visual causal inference.


title: Branch and Cut for Partitioning a Graph into a Cycle of Clusters

abstract: In this paper we study formulations and algorithms for the cycle clustering problem, a partitioning problem over the vertex set of a directed graph with nonnegative arc weights that is used to identify cyclic behavior in simulation data generated from nonreversible Markov state models. Here, in addition to partitioning the vertices into a set of coherent clusters, the resulting clusters must be ordered into a cycle such as to maximize the total net flow in the forward direction of the cycle. We provide a problem-specific binary programming formulation and compare it to a formulation based on the reformulation-linearization technique (RLT). We present theoretical results on the polytope associated with our custom formulation and develop primal heuristics and separation routines for both formulations. In computational experiments on simulation data from biology we find that branch and cut based on the problem-specific formulation outperforms the one based on RLT.


title: Relativistic isotropic stellar model with Durgapal-V metric in $f({R}, {T})$ gravity

abstract: The main aim of this paper is to obtain a completely new relativistic non-singular model for static, spherically symmetric isotropic celestial compact stars in the $f(R, T)$ gravity scenario. In this regard, we have considered the isotropic Durgapal-V metric {\it ansatz} \cite{dur82} to find the solutions of Einstein's field equations in the framework of $f(R, T)$ gravity. The obtained solutions are analyzed graphically for the compact star {\it Cen X}-3 with mass $M$ = $ 1.49 \pm 0.08 ~ M_\odot$ and radius $R$ = 9.178 $\pm$ 0.13 $km$ \cite{ml11} and numerically for ten well-known different compact stars along with {\it Cen X}-3 corresponding to the different values of coupling constant $\chi$. The reported solutions are singularity-free at the center of the stars, physically well-behaved, and hold the physically stable matter configurations by satisfying all the energy conditions and EoS parameter $\omega(r) \in $ (0, 1), causality condition, adiabatic index $\Gamma(r) > 4/3$. We have also discussed hydrostatic equilibrium through the modified TOV equation to ensure the equilibrium position of the solutions representing matter distributions. Considering the several values of $\chi$ we have examined the impact of this parameter on the proposed solutions that help to make a fruitful comparison of modified $f(R, T)$ gravity to the standard general relativity, and interestingly, we have found that the modified $f(R, T)$ gravity holds long-term stable compact objects than the standard Einstein gravity. All the graphical and numerical results ensure that our reported model is under the physically admissible regime that indicates the acceptability of the model.


title: Enhancing Dynamical System Modeling through Interpretable Machine Learning Augmentations: A Case Study in Cathodic Electrophoretic Deposition

abstract: We introduce a comprehensive data-driven framework aimed at enhancing the modeling of physical systems, employing inference techniques and machine learning enhancements. As a demonstrative application, we pursue the modeling of cathodic electrophoretic deposition (EPD), commonly known as e-coating. Our approach illustrates a systematic procedure for enhancing physical models by identifying their limitations through inference on experimental data and introducing adaptable model enhancements to address these shortcomings. We begin by tackling the issue of model parameter identifiability, which reveals aspects of the model that require improvement. To address generalizability , we introduce modifications which also enhance identifiability. However, these modifications do not fully capture essential experimental behaviors. To overcome this limitation, we incorporate interpretable yet flexible augmentations into the baseline model. These augmentations are parameterized by simple fully-connected neural networks (FNNs), and we leverage machine learning tools, particularly Neural Ordinary Differential Equations (Neural ODEs), to learn these augmentations. Our simulations demonstrate that the machine learning-augmented model more accurately captures observed behaviors and improves predictive accuracy. Nevertheless, we contend that while the model updates offer superior performance and capture the relevant physics, we can reduce off-line computational costs by eliminating certain dynamics without compromising accuracy or interpretability in downstream predictions of quantities of interest, particularly film thickness predictions. The entire process outlined here provides a structured approach to leverage data-driven methods. Firstly, it helps us comprehend the root causes of model inaccuracies, and secondly, it offers a principled method for enhancing model performance.


title: From Coarse to Fine: Efficient Training for Audio Spectrogram Transformers

abstract: Transformers have become central to recent advances in audio classification. However, training an audio spectrogram transformer, e.g. AST, from scratch can be resource and time-intensive. Furthermore, the complexity of transformers heavily depends on the input audio spectrogram size. In this work, we aim to optimize AST training by linking to the resolution in the time-axis. We introduce multi-phase training of audio spectrogram transformers by connecting the seminal idea of coarse-to-fine with transformer models. To achieve this, we propose a set of methods for temporal compression. By employing one of these methods, the transformer model learns from lower-resolution (coarse) data in the initial phases, and then is fine-tuned with high-resolution data later in a curriculum learning strategy. Experimental results demonstrate that the proposed training mechanism for AST leads to improved (or on-par) performance with faster convergence, i.e. requiring fewer computational resources and less time. This approach is also generalizable to other AST-based methods regardless of their learning paradigms.


title: Rings, shells, and arc structures around B[e] supergiants: I. Classical tools of non-linear hydrodynamics

abstract: Structures in circumstellar matter reflect both fast processes and quasi-equilibrium states. A geometrical diversity of emitting circumstellar matter is observed around evolved massive stars, in particular around B[e] supergiants. We recapitulate classical analytical tools of linear and non-linear potential theory, such as Cole-Hopf transformations and Grad-Shafranov theory, and develop them further to explain occurrence of the circumstellar matter structures and their dynamics. We use potential theory to formulate the non-linear hydrodynamical equations and test dilatations of the quasi-equilibrium initial conditions. We find that a wide range of flow patterns can basically be generated and the time scales can switch, based on initial conditions, and lead to eruptive processes, reinforcing that the non-linear fluid environment includes both quasi-stationary structures and fast processes like finite-time singularities. Some constraints and imposed symmetries can lead to Keplerian orbits, while other constraints can deliver quasi-Keplerian ones. The threshold is given by a characteristic density at the stellar surface.

categories: astro-ph.SR astro-ph.GA math-ph math.MP physics.flu-dyn physics.space-ph


title: Contrastive Preference Optimization: Pushing the Boundaries of LLM Performance in Machine Translation

abstract: Moderate-sized large language models (LLMs) -- those with 7B or 13B parameters -- exhibit promising machine translation (MT) performance. However, even the top-performing 13B LLM-based translation models, like ALMA, does not match the performance of state-of-the-art conventional encoder-decoder translation models or larger-scale LLMs such as GPT-4. In this study, we bridge this performance gap. We first assess the shortcomings of supervised fine-tuning for LLMs in the MT task, emphasizing the quality issues present in the reference data, despite being human-generated. Then, in contrast to SFT which mimics reference translations, we introduce Contrastive Preference Optimization (CPO), a novel approach that trains models to avoid generating adequate but not perfect translations. Applying CPO to ALMA models with only 22K parallel sentences and 12M parameters yields significant improvements. The resulting model, called ALMA-R, can match or exceed the performance of the WMT competition winners and GPT-4 on WMT'21, WMT'22 and WMT'23 test datasets.


title: Modulating Entanglement Dynamics of Two V-type Atoms in Dissipative Cavity by Detuning, Weak Measurement and Reversal

abstract: In this paper, how to modulate entanglement dynamics of two V-type atoms in dissipative cavity by detuning, weak measurement and weak measurement reversal is studied. The analytical solution of this model is obtained by solving Schrodinger Equation after diagonalizing Hamiltonian of dissipative cavity. It is discussed in detail how the entanglement dynamics is influenced by cavity--environment coupling, spontaneously generated interference (SGI) parameter, detuning between cavity with environment and weak measurement reversal. The results show that the entanglement dynamics of different initial states obviously depends on coupling, SGI parameter, detuning and reversing measurement strength. The stronger coupling, the smaller SGI parameter, the larger detuning and the bigger reversing measurement strength can all not only protect but also generate the entanglement, and the detuning is more effectively in tne strong coupling regime than the weak measurement reversal, which is more effectively than the SGI parameter. We also give corresponding physical interpretations.


title: Probing the four-fermion operators via the transverse double spin asymmetry at the Electron-Ion Collider

abstract: The chirality-flipping operators of light fermions are currently poorly constrained by experimental analyses due to the lack of interference with Standard Model (SM) amplitudes in traditional observables. In this work, we propose to investigate the semi-leptonic scalar/tensor four-fermion operators of electron and quarks through the transverse double spin asymmetry (DSA) at Electron-Ion Collider, where both the electron and proton beams could be highly transversely polarized. Due to the chirality-flipping nature of these operators, we demonstrate that their interference with the SM results in an unsuppressed contribution to the DSA, and could lead to non-trivial azimuthal $\cos2\phi$ and $\sin2\phi$ distributions that are linearly dependent on their Wilson coefficients. This new method has the potential to significantly improve the current constraints on these scalar/tensor four-fermion operators without relying on theoretical assumptions about other types of new physics effects, particularly for the tensor type operator of the $u$-quark. Additionally, our findings indicate that both the real and imaginary parts of these operators can be simultaneously constrained and offer a new opportunity for probing potential $CP$-violation effects. However, it is important to note that these results would be sensitive to the quark transversity distributions, which are currently poorly constrained by the experimental data, but could be significantly improved at the upcoming Electron-Ion Collider. Therefore, our work opens up a new avenue to utilize this new spin asymmetry for exploring the new physics effects from the scalar/tensor four-fermion operators.


title: Ask the experts: sourcing high-quality datasets for nutritional counselling through Human-AI collaboration

abstract: Large Language Models (LLMs), with their flexible generation abilities, can be powerful data sources in domains with few or no available corpora. However, problems like hallucinations and biases limit such applications. In this case study, we pick nutrition counselling, a domain lacking any public resource, and show that high-quality datasets can be gathered by combining LLMs, crowd-workers and nutrition experts. We first crowd-source and cluster a novel dataset of diet-related issues, then work with experts to prompt ChatGPT into producing related supportive text. Finally, we let the experts evaluate the safety of the generated text. We release HAI-coaching, the first expert-annotated nutrition counselling dataset containing ~2.4K dietary struggles from crowd workers, and ~97K related supportive texts generated by ChatGPT. Extensive analysis shows that ChatGPT while producing highly fluent and human-like text, also manifests harmful behaviours, especially in sensitive topics like mental health, making it unsuitable for unsupervised use.


title: The relations among the notions of various kinds of stability and their applications

abstract: First, we prove that a random metric space can be isometrically embedded into a complete random normed module, as an application of which, it is easy to see that the notion of $d$-$\sigma$-stability introduced for a nonempty subset of a random metric space can be regarded as a special case of the notion of $\sigma$-stability introduced for a nonempty subset of a random normed module, as another application we give the final version of the characterization for a $d$-$\sigma$-stable random metric space to be stably compact. Second, we prove that an $L^{\infty}$-module is an $L^{p}$-normed $L^{\infty}$-module iff it is generated by a complete random normed module, from which it is easily seen that the gluing property of an $L^{p}$-normed $L^{\infty}$-module can be derived from the $\sigma$-stability of the generating random normed module, as applications the known and new basic facts of module duals for $L^{p}$-normed $L^{\infty}$-modules can be obtained, in a simple and direct way, from the theory of random conjugate spaces of random normed modules. Third, we prove that a random normed space is order complete iff it is complete with respect to the $(\varepsilon,\lambda)$-topology, as an application it is proved that the $d$-decomposability of an order complete random normed space is exactly its $d$-$\sigma$-stability. Finally, we prove that an equivalence relation on the product space $X\times B$ of a nonempty set $X$ and a complete Boolean algebra $B$ is regular iff it can be induced by a $B$-valued Boolean metric $d$ on $X$, as an application it is proved that a nonempty subset of a Boolean set $(X,d)$ is universally complete iff it is a $B$-stable set defined by a regular equivalence relation.


title: Improving Limited Supervised Foot Ulcer Segmentation Using Cross-Domain Augmentation

abstract: Diabetic foot ulcers pose health risks, including higher morbidity, mortality, and amputation rates. Monitoring wound areas is crucial for proper care, but manual segmentation is subjective due to complex wound features and background variation. Expert annotations are costly and time-intensive, thus hampering large dataset creation. Existing segmentation models relying on extensive annotations are impractical in real-world scenarios with limited annotated data. In this paper, we propose a cross-domain augmentation method named TransMix that combines Augmented Global Pre-training AGP and Localized CutMix Fine-tuning LCF to enrich wound segmentation data for model learning. TransMix can effectively improve the foot ulcer segmentation model training by leveraging other dermatology datasets not on ulcer skins or wounds. AGP effectively increases the overall image variability, while LCF increases the diversity of wound regions. Experimental results show that TransMix increases the variability of wound regions and substantially improves the Dice score for models trained with only 40 annotated images under various proportions.


title: Multivariate Splines and Their Applications

abstract: This paper begins by reviewing numerous theoretical advancements in the field of multivariate splines, primarily contributed by Professor Larry L. Schumaker. These foundational results have paved the way for a wide range of applications and computational techniques. The paper then proceeds to highlight various practical applications of multivariate splines. These include scattered data fitting and interpolation, the construction of smooth curves and surfaces, and the numerical solutions of various partial differential equations, encompassing both linear and nonlinear PDEs. Beyond these conventional and well-established uses, the paper introduces a novel application of multivariate splines in function value denoising. This innovative approach facilitates the creation of LKB splines, which are instrumental in approximating high-dimensional functions and effectively circumventing the curse of dimensionality.


title: Multimodal assessment of best possible self as a self-regulatory activity for the classroom

abstract: Best possible self (BPS) is a positive psychological intervention shown to enhance well-being which involves writing a description of an ideal future scenario. This paper presents a comparison of psychophysiological effects of a BPS activity that has been adapted for classroom settings and a time-matched control activity (NA). Thirty-three undergraduate students participated in the study that assessed state anxiety (State-Trait Anxiety Inventory, STAI), affect (Affective Slider, AS), and cardiac vagal activity (heart-rate variability, HRV) as an indicator of self-regulatory resource usage, at three time periods (PRE, DURING, POST). Results show that BPS led to a significantly greater increase in positive valence (DURING) and overall higher levels of cardiac vagal activity (HRV) compared to NA. These findings suggest that BPS has promising characteristics as a self-regulatory technique aimed at fostering positive affect and positively impacting self-regulatory resources. As BPS does not require expert knowledge nor specialized technology to administer, it may be a suitable activity for educators to use when teaching and having students practice self-regulation. This study presents evidence collected in a replicable multimodal approach of the self-regulatory effects of a brief BPS activity on undergraduate students.


title: U-DIADS-Bib: a full and few-shot pixel-precise dataset for document layout analysis of ancient manuscripts

abstract: Document Layout Analysis, which is the task of identifying different semantic regions inside of a document page, is a subject of great interest for both computer scientists and humanities scholars as it represents a fundamental step towards further analysis tasks for the former and a powerful tool to improve and facilitate the study of the documents for the latter. However, many of the works currently present in the literature, especially when it comes to the available datasets, fail to meet the needs of both worlds and, in particular, tend to lean towards the needs and common practices of the computer science side, leading to resources that are not representative of the humanities real needs. For this reason, the present paper introduces U-DIADS-Bib, a novel, pixel-precise, non-overlapping and noiseless document layout analysis dataset developed in close collaboration between specialists in the fields of computer vision and humanities. Furthermore, we propose a novel, computer-aided, segmentation pipeline in order to alleviate the burden represented by the time-consuming process of manual annotation, necessary for the generation of the ground truth segmentation maps. Finally, we present a standardized few-shot version of the dataset (U-DIADS-BibFS), with the aim of encouraging the development of models and solutions able to address this task with as few samples as possible, which would allow for more effective use in a real-world scenario, where collecting a large number of segmentations is not always feasible.