title: Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic

abstract: The uniform one-dimensional fragment of first-order logic was introduced a few years ago as a generalization of the two-variable fragment to contexts involving relations of arity greater than two. Quantifiers in this logic are used in blocks, each block consisting only of existential quantifiers or only of universal quantifiers. In this paper we consider the possibility of mixing both types of quantifiers in blocks. We show the finite (exponential) model property and NExpTime-completeness of the satisfiability problem for two restrictions of the resulting formalism: in the first we require that every block of quantifiers is either purely universal or ends with the existential quantifier, in the second we restrict the number of variables to three; in both equality is not allowed. We also extend the second variation to a rich subfragment of the three-variable fragment (without equality) that still has the finite model property and decidable, NExpTime{}-complete satisfiability.


title: Spectral projection operators of the Sub-Laplacian and Laguerre calculus on non-degenerate nilpotent Lie groups of step two

abstract: In this paper, we introduce the spectral projection operators $\mathbb{P}_m$ on non-degenerate nilpotent Lie groups $\mathcal{N}$ of step two, associated to the joint spectrum of sub-Laplacian and derivatives in step two. We construct their kernels $P_m(\mathbf{y},\mathbf{t})$ by using Laguerre calculus and find a simple integral representation formula for $\mathbf{y}\neq 0$. Then we show the kernels are Lipschitzian homogeneous functions on $\mathcal{N}\setminus \{\mathbf{0}\}$ by analytic continuation. Moreover, they are shown to be Calder\'{o}n-Zygmund kernels, so that the spectral projection operator $\mathbb{P}_m$ can be extended to a bounded operator from $L^p(\mathcal{N})$ to itself. We also prove a convergence theorem of the Abel sum $\lim _{R \rightarrow 1^-} \sum_{m=0}^{\infty} R^{m}\mathbb{P}_{m}\phi=\phi$ by estimating the $L^p(\mathcal{N})$-norms of $\mathbb{P}_m$. Furthermore, $\mathbb{P}_m$ are mutually orthogonal projection operators and $\sum_{m=0}^{\infty} \mathbb{P}_{m}\phi=\phi$ for $\phi\in L^2(\mathcal{N})$.


title: The R-Process Alliance: Analysis of Limited-r Stars

abstract: Context. In recent years, the R-Process Alliance (RPA) has conducted a successful search for stars enhanced in elements produced by the rapid neutron-capture (r-)process. In particular, the RPA has uncovered a number of stars strongly enriched in light r-process elements, such as Sr, Y and Zr, the so-called limited-r stars, in order to investigate the astrophysical production site(s) of these elements. Aims. With this paper, we aim to investigate the possible formation sites for light neutron-capture elements, by deriving detailed abundances for neutron-capture elements from high-resolution, high signal-to-noise spectra of three limited-r stars. Methods. We conducted a 1D local thermodynamic equilibrium spectroscopic abundance analysis of three stars, as well as a kinematic analysis. Further, we calculated the lanthanide mass fraction (XLa) of our stars and of limited-r stars from the literature. Results. We found that the neutron-capture element abundance pattern of limited-r stars behaves differently depending on their [Ba/Eu]] ratios, and suggest that this should be taken into account in future investigations of their abundances. Furthermore, we found that the XLa of limited-r stars is lower than that of the kilonova AT2017gfo. The latter seems to be in the transition zone between limited-r XLa and that of r-I, r-II stars. Finally, we found that, unlike r-I and r-II stars, the current sample of limited-r stars are largely born in the Galaxy rather than being accreted.


title: On the Theoretical Expressive Power and the Design Space of Higher-Order Graph Transformers

abstract: Graph transformers have recently received significant attention in graph learning, partly due to their ability to capture more global interaction via self-attention. Nevertheless, while higher-order graph neural networks have been reasonably well studied, the exploration of extending graph transformers to higher-order variants is just starting. Both theoretical understanding and empirical results are limited. In this paper, we provide a systematic study of the theoretical expressive power of order-$k$ graph transformers and sparse variants. We first show that, an order-$k$ graph transformer without additional structural information is less expressive than the $k$-Weisfeiler Lehman ($k$-WL) test despite its high computational cost. We then explore strategies to both sparsify and enhance the higher-order graph transformers, aiming to improve both their efficiency and expressiveness. Indeed, sparsification based on neighborhood information can enhance the expressive power, as it provides additional information about input graph structures. In particular, we show that a natural neighborhood-based sparse order-$k$ transformer model is not only computationally efficient, but also expressive -- as expressive as $k$-WL test. We further study several other sparse graph attention models that are computationally efficient and provide their expressiveness analysis. Finally, we provide experimental results to show the effectiveness of the different sparsification strategies.


title: Learning to Plan and Generate Text with Citations

abstract: The increasing demand for the deployment of LLMs in information-seeking scenarios has spurred efforts in creating verifiable systems, which generate responses to queries along with supporting evidence. In this paper, we explore the attribution capabilities of plan-based models which have been recently shown to improve the faithfulness, grounding, and controllability of generated text. We conceptualize plans as a sequence of questions which serve as blueprints of the generated content and its organization. We propose two attribution models that utilize different variants of blueprints, an abstractive model where questions are generated from scratch, and an extractive model where questions are copied from the input. Experiments on long-form question-answering show that planning consistently improves attribution quality. Moreover, the citations generated by blueprint models are more accurate compared to those obtained from LLM-based pipelines lacking a planning component.


title: DIDA: Denoised Imitation Learning based on Domain Adaptation

abstract: Imitating skills from low-quality datasets, such as sub-optimal demonstrations and observations with distractors, is common in real-world applications. In this work, we focus on the problem of Learning from Noisy Demonstrations (LND), where the imitator is required to learn from data with noise that often occurs during the processes of data collection or transmission. Previous IL methods improve the robustness of learned policies by injecting an adversarially learned Gaussian noise into pure expert data or utilizing additional ranking information, but they may fail in the LND setting. To alleviate the above problems, we propose Denoised Imitation learning based on Domain Adaptation (DIDA), which designs two discriminators to distinguish the noise level and expertise level of data, facilitating a feature encoder to learn task-related but domain-agnostic representations. Experiment results on MuJoCo demonstrate that DIDA can successfully handle challenging imitation tasks from demonstrations with various types of noise, outperforming most baseline methods.


title: A unified Euler--Lagrange system for analyzing continuous-time accelerated gradient methods

abstract: This paper presents an Euler--Lagrange system for a continuous-time model of the accelerated gradient methods in smooth convex optimization and proposes an associated Lyapunov-function-based convergence analysis framework. Recently, ordinary differential equations (ODEs) with dumping terms have been developed to intuitively interpret the accelerated gradient methods, and the design of unified model describing the various individual ODE models have been examined. In existing reports, the Lagrangian, which results in the Euler-Lagrange equation, and the Lyapunov function for the convergence analysis have been separately proposed for each ODE. This paper proposes a unified Euler--Lagrange system and its Lyapunov function to cover the existing various models. In the convergence analysis using the Lyapunov function, a condition that parameters in the Lagrangian and Lyapunov function must satisfy is derived, and a parameter design for improving the convergence rate naturally results in the mysterious dumping coefficients. Especially, a symmetric Bregman divergence can lead to a relaxed condition of the parameters and a resulting improved convergence rate. As an application of this study, a slight modification in the Lyapunov function establishes the similar convergence proof for ODEs with smooth approximation in nondifferentiable objective function minimization.


title: LongVLM: Efficient Long Video Understanding via Large Language Models

abstract: Empowered by Large Language Models (LLMs), recent advancements in VideoLLMs have driven progress in various video understanding tasks. These models encode video representations through pooling or query aggregation over a vast number of visual tokens, making computational and memory costs affordable. Despite successfully providing an overall comprehension of video content, existing VideoLLMs still face challenges in achieving detailed understanding in videos due to overlooking local information in long-term videos. To tackle this challenge, we introduce LongVLM, a straightforward yet powerful VideoLLM for long video understanding, building upon the observation that long videos often consist of sequential key events, complex actions, and camera movements. Our approach proposes to decompose long videos into multiple short-term segments and encode local features for each local segment via a hierarchical token merging module. These features are concatenated in temporal order to maintain the storyline across sequential short-term segments. Additionally, we propose to integrate global semantics into each local feature to enhance context understanding. In this way, we encode video representations that incorporate both local and global information, enabling the LLM to generate comprehensive responses for long-term videos. Experimental results on the VideoChatGPT benchmark and zero-shot video question-answering datasets demonstrate the superior capabilities of our model over the previous state-of-the-art methods. Qualitative examples demonstrate that our model produces more precise responses for long videos understanding. Code will be available at https://github.com/ziplab/LongVLM.


title: Signed eigenvalue/vector distribution of complex order-three random tensor

abstract: We compute the signed distribution of the eigenvalues/vectors of the complex order-three random tensor by computing a partition function of a four-fermi theory, where signs are from a Hessian determinant associated to each eigenvector. The issue of the presence of a continuous degeneracy of the eigenvectors is properly treated by a gauge-fixing. The final expression is compactly represented by a generating function, which has an expansion whose powers are the dimensions of the tensor index spaces. A crosscheck is performed by Monte Carlo simulations. By taking the large-$N$ limit we obtain a critical point where the behavior of the signed distribution qualitatively changes, and also the end of the signed distribution. The expected agreement of the end of the signed distribution with that of the genuine distribution provides a few applications, such as the largest eigenvalue, the geometric measure of entanglement, and the best rank-one approximation in the large-$N$ limit.


title: SENSOR: Imitate Third-Person Expert's Behaviors via Active Sensoring

abstract: In many real-world visual Imitation Learning (IL) scenarios, there is a misalignment between the agent's and the expert's perspectives, which might lead to the failure of imitation. Previous methods have generally solved this problem by domain alignment, which incurs extra computation and storage costs, and these methods fail to handle the \textit{hard cases} where the viewpoint gap is too large. To alleviate the above problems, we introduce active sensoring in the visual IL setting and propose a model-based SENSory imitatOR (SENSOR) to automatically change the agent's perspective to match the expert's. SENSOR jointly learns a world model to capture the dynamics of latent states, a sensor policy to control the camera, and a motor policy to control the agent. Experiments on visual locomotion tasks show that SENSOR can efficiently simulate the expert's perspective and strategy, and outperforms most baseline methods.


title: Heckler: Breaking Confidential VMs with Malicious Interrupts

abstract: Hardware-based Trusted execution environments (TEEs) offer an isolation granularity of virtual machine abstraction. They provide confidential VMs (CVMs) that host security-sensitive code and data. AMD SEV-SNP and Intel TDX enable CVMs and are now available on popular cloud platforms. The untrusted hypervisor in these settings is in control of several resource management and configuration tasks, including interrupts. We present Heckler, a new attack wherein the hypervisor injects malicious non-timer interrupts to break the confidentiality and integrity of CVMs. Our insight is to use the interrupt handlers that have global effects, such that we can manipulate a CVM's register states to change the data and control flow. With AMD SEV-SNP and Intel TDX, we demonstrate Heckler on OpenSSH and sudo to bypass authentication. On AMD SEV-SNP we break execution integrity of C, Java, and Julia applications that perform statistical and text analysis. We explain the gaps in current defenses and outline guidelines for future defenses.


title: An observation concerning highly ramified $\epsilon$-factors

abstract: In this note we prove a quantitative stability result for the $\epsilon$-factors associated to generic irreducible representations of $\textrm{GL}_n(F)$ under twists by highly ramified characters, where $F$ is a non-archimedean local field.


title: Combinatorial Dyson-Schwinger Equations of Quartic Matrix Field Theory

abstract: Matrix field theory is a combinatorially non-local field theory which has recently been found to be a non-trivial but solvable QFT example. To generalize such non-perturbative structures to other models, a more combinatorial understanding of Dyson-Schwinger equations and their solutions is of high interest. To this end we consider combinatorial Dyson-Schwinger equations manifestly relying on the Hopf-algebraic structure of perturbative renormalization. We find that these equations are fully compatible with renormalization, relying only on the superficially divergent diagrams which are planar ribbon graphs, i.e. decompleted dual combinatorial maps. Still, they are of a similar kind as in realistic models of local QFT, featuring in particular an infinite number of primitive diagrams as well as graph-dependent combinatorial factors.


title: Material design optimization for large-m 11B4C-based Ni/Ti supermirror neutron optics

abstract: State-of-the-art Ni/Ti supermirror neutron optics have limited reflected intensity and a restricted neutron energy range due to the interface width. Incorporating low-neutron-absorbing 11B4C enhances reflectivity and allows for thinner layers to be deposited, with which more efficient supermirrors with higher m-values can be realized. However, incorporating 11B4C reduces the optical contrast, limiting the attainable reflectivity at low scattering vectors, making this approach infeasible. This study explores various approaches to optimize the material design of 11B4C-containing Ni/Ti supermirrors to maintain high reflectivity at low scattering vectors and achieve low interface widths at large scattering vectors. The scattering length density contrast versus interface width is investigated for multilayer periods of 30 {\AA}, 48 {\AA}, and 84 {\AA}, for designs involving pure Ni/Ti multilayers, multilayers with 11B4C co-deposited in Ni and Ti layers, multilayers with 11B4C co-deposited only in Ni layers, and multilayers with 11B4C as thin interlayers between Ni and Ti layers. Our results suggest that a depth-graded hybrid material design by incorporating 11B4C inside the Ni and Ti layers, below approximately 26 {\AA}, and introducing 1.5 {\AA} 11B4C interlayers between the thicker Ni and Ti layers can achieve a higher reflectivity than state-of-the-art Ni/Ti multilayers over the entire scattering vector range.


title: Peculiar magnetism and magneto-transport properties in a non-centrosymmetric self-intercalated van der Waals ferromagnet Cr5Te8

abstract: Trigonal Cr5Te8, a self-intercalated van der Waals ferromagnet with an out of plane magnetic anisotropy, has long been known to crystallise in a centrosymmetric structure. Through detailed structural analysis together with second harmonic generation experiments, we show that the compound actually adopts a non-centrosymmetric structure. A large anomalous Hall conductivity of 102 {\Omega}^(-1) cm^(-1) at low temperature stems from intrinsic origin, which is larger than any previously reported values in bulk Cr-Te system. In addition, we observe a hump-like feature in the field-dependent Hall resistivity data, resembling a typical topological Hall signal. We demonstrate that the feature is highly tunable and is not related to topological Hall effect even though we observe N\'eel-type skyrmions by Lorentz transmission electron microscopy which is consistent with the non-centrosymmetric structure of the compound.


title: Two Tricks to Improve Unsupervised Segmentation Learning

abstract: We present two practical improvement techniques for unsupervised segmentation learning. These techniques address limitations in the resolution and accuracy of predicted segmentation maps of recent state-of-the-art methods. Firstly, we leverage image post-processing techniques such as guided filtering to refine the output masks, improving accuracy while avoiding substantial computational costs. Secondly, we introduce a multi-scale consistency criterion, based on a teacher-student training scheme. This criterion matches segmentation masks predicted from regions of the input image extracted at different resolutions to each other. Experimental results on several benchmarks used in unsupervised segmentation learning demonstrate the effectiveness of our proposed techniques.


title: A superconvergence result in the RBF-FD method

abstract: Radial Basis Function-generated Finite Differences (RBF-FD) is a meshless method that can be used to numerically solve partial differential equations. The solution procedure consists of two steps. First, the differential operator is discretised on given scattered nodes and afterwards, a global sparse matrix is assembled and inverted to obtain an approximate solution. Focusing on Polyharmonic Splines as our Radial Basis Functions (RBFs) of choice, appropriately augmented with monomials, it is well known that the truncation error of the differential operator approximation is determined by the degree of monomial augmentation. Naively, one might think that the solution error will have the same order of convergence. We present a superconvergence result that shows otherwise - for some augmentation degrees, order of convergence is higher than expected.


title: Background Noise Reduction of Attention Map for Weakly Supervised Semantic Segmentation

abstract: In weakly-supervised semantic segmentation (WSSS) using only image-level class labels, a problem with CNN-based Class Activation Maps (CAM) is that they tend to activate the most discriminative local regions of objects. On the other hand, methods based on Transformers learn global features but suffer from the issue of background noise contamination. This paper focuses on addressing the issue of background noise in attention weights within the existing WSSS method based on Conformer, known as TransCAM. The proposed method successfully reduces background noise, leading to improved accuracy of pseudo labels. Experimental results demonstrate that our model achieves segmentation performance of 70.5% on the PASCAL VOC 2012 validation data, 71.1% on the test data, and 45.9% on MS COCO 2014 data, outperforming TransCAM in terms of segmentation performance.


title: Movable Antennas-Assisted Secure Transmission Without Eavesdroppers' Instantaneous CSI

abstract: Movable antenna (MA) technology is highly promising for improving communication performance, due to its advantage of flexibly adjusting positions of antennas to reconfigure channel conditions. In this paper, we investigate MAs-assisted secure transmission under a legitimate transmitter Alice, a legitimate receiver Bob and multiple eavesdroppers. Specifically, we consider a practical scenario where Alice has no any knowledge about the instantaneous non-line-of-sight component of the wiretap channel. Under this setup, we evaluate the secrecy performance by adopting the secrecy outage probability metric, the tight approximation of which is first derived by interpreting the Rician fading as a special case of Nakagami fading and concurrently exploiting the Laguerre series approximation. Then, we minimize the secrecy outage probability by jointly optimizing the transmit beamforming and positions of antennas at Alice. However, the problem is highly non-convex because the objective includes the complex incomplete gamma function. To tackle this challenge, we, for the first time, effectively approximate the inverse of the incomplete gamma function as a simple linear model. Based on this approximation, we arrive at a simplified problem with a clear structure, which can be solved via the developed alternating projected gradient ascent (APGA) algorithm. Considering the high complexity of the APGA, we further design another scheme where the zero-forcing based beamforming is adopted by Alice, and then we transform the problem into minimizing a simple function which is only related to positions of antennas at Alice.As demonstrated by simulations, our proposed schemes achieve significant performance gains compared to conventional schemes based on fixed-position antennas.


title: Characterization of the Early Dynamics of Solar Coronal Bright Fronts

abstract: We present a comprehensive characterization of 26 CME-driven compressive waves known as Coronal Bright Fronts (CBFs) observed in the low solar corona between 2010 and 2017. These CBFs have been found to be associated with SEP events near Earth, indicating their importance in understanding space weather phenomena. The aim of this study is to analyze and describe the early dynamics of CBFs using a physics-based heliospheric SEP forecasting system known as the SPREAdFAST framework. This framework utilizes a chain of data-driven analytic and numerical models to predict SEP fluxes at multiple locations in the inner heliosphere by considering their acceleration at CMEs near the Sun and subsequent interplanetary transport. To estimate the time-dependent plasma and compression parameters of the CBFs, we utilized sequences of base-difference images obtained from the AIA instrument on board the SDO satellite, and measurements of the height-time profiles of the CMEs obtained from the LASCO instrument on board the SOHO satellite. We employed kinematic measurements and plasma model results to derive these parameters. The SPREAdFAST framework facilitated the analysis and correlation of these observations with SEP events near Earth. Our analysis yielded statistical relations and distributions for both the shocks and plasma parameters associated with the 26 CBFs investigated. By combining the observations from the AIA and LASCO instruments, as well as the data products from the SPREAdFAST framework, we obtained a comprehensive understanding of the early dynamics of CBFs, including their temporal evolution, plasma properties, and compressional characteristics. These findings contribute to the growing body of knowledge in the field and have implications for space weather forecasting and the study of SEP events.


title: Controllable non-Hermitian qubit-qubit Coupling in Superconducting quantum Circuit

abstract: With a high-loss resonator supplying the non-Hermiticity, we study the Energy level degeneracy and quantum state evolution in tunable coupling superconducting quantum circuit. The qubit's effective energy level and damping rate can be continually tuned in superconducting circuit, and the positions and numbers of level degenerate points are controllable. The efficient of quantum state exchange and the asymmetry of quantum state evolution can be tuned with non-hermitian and nonreciprocal coupling between two qubits. The controllable non-Hermiticity provides new insights and methods for exploring the unconventional quantum effects in superconducting quantum circuit.


title: Scaling Up Video Summarization Pretraining with Large Language Models

abstract: Long-form video content constitutes a significant portion of internet traffic, making automated video summarization an essential research problem. However, existing video summarization datasets are notably limited in their size, constraining the effectiveness of state-of-the-art methods for generalization. Our work aims to overcome this limitation by capitalizing on the abundance of long-form videos with dense speech-to-video alignment and the remarkable capabilities of recent large language models (LLMs) in summarizing long text. We introduce an automated and scalable pipeline for generating a large-scale video summarization dataset using LLMs as Oracle summarizers. By leveraging the generated dataset, we analyze the limitations of existing approaches and propose a new video summarization model that effectively addresses them. To facilitate further research in the field, our work also presents a new benchmark dataset that contains 1200 long videos each with high-quality summaries annotated by professionals. Extensive experiments clearly indicate that our proposed approach sets a new state-of-the-art in video summarization across several benchmarks.


title: An asynchronous discontinuous Galerkin method for massively parallel PDE solvers

abstract: The discontinuous Galerkin (DG) method is widely being used to solve hyperbolic partial differential equations (PDEs) due to its ability to provide high-order accurate solutions in complex geometries, capture discontinuities, and exhibit high arithmetic intensity. However, the scalability of DG-based solvers is impeded by communication bottlenecks arising from the data movement and synchronization requirements at extreme scales. To address these challenges, recent studies have focused on the development of asynchronous computing approaches for PDE solvers. Herein, we introduce the asynchronous DG (ADG) method, which combines the benefits of the DG method with asynchronous computing to overcome communication bottlenecks. The ADG method relaxes the need for data communication and synchronization at a mathematical level, allowing processing elements to operate independently regardless of the communication status, thus potentially improving the scalability of solvers. The proposed ADG method ensures flux conservation and effectively addresses challenges arising from asynchrony. To assess its stability, Fourier-mode analysis is employed to examine the dissipation and dispersion behavior of fully-discrete equations that use the DG and ADG schemes along with the Runge-Kutta (RK) time integration scheme. Furthermore, an error analysis within a statistical framework is presented, which demonstrates that the ADG method with standard numerical fluxes achieves at most first-order accuracy. To recover accuracy, we introduce asynchrony-tolerant (AT) fluxes that utilize data from multiple time levels. Extensive numerical experiments were conducted to validate the performance of the ADG-AT scheme for both linear and nonlinear problems.


title: $q$-deformed Gaussian unitary ensemble: spectral moments and genus-type expansions

abstract: The eigenvalue probability density function of the Gaussian unitary ensemble permits a $q$-extension related to the discrete $q$-Hermite weight and corresponding $q$-orthogonal polynomials. A combinatorial counting method is used to specify a positive sum formula for the spectral moments of this model. The leading two terms of the scaled $1/N^2$ genus-type expansion of the moments are evaluated explicitly in terms of the incomplete beta function. Knowledge of these functional forms allows for the smoothed leading eigenvalue density and its first correction to be determined analytically.


title: Riemannian Covariance Fitting for Direction-of-Arrival Estimation

abstract: Covariance fitting (CF) is a comprehensive approach for direction of arrival (DoA) estimation, consolidating many common solutions. Standard practice is to use Euclidean criteria for CF, disregarding the intrinsic Hermitian positive-definite (HPD) geometry of the spatial covariance matrices. We assert that this oversight leads to inherent limitations. In this paper, as a remedy, we present a comprehensive study of the use of various Riemannian metrics of HPD matrices in CF. We focus on the advantages of the Affine-Invariant (AI) and the Log-Euclidean (LE) Riemannian metrics. Consequently, we propose a new practical beamformer based on the LE metric and derive analytically its spatial characteristics, such as the beamwidth and sidelobe attenuation, under noisy conditions. Comparing these features to classical beamformers shows significant advantage. In addition, we demonstrate, both theoretically and experimentally, the LE beamformer's robustness in scenarios with small sample sizes and in the presence of noise, interference, and multipath channels.


title: On steady solutions of the Hall-MHD system in Besov spaces

abstract: In this paper, we investigate the well-posedness and ill-posedness issues for the incompressible stationary Hall-magnetohydrodynamic (Hall-MHD) system in $\mathbb{R}^3.$ We first show the existence and uniqueness of solutions provided with the forces in $\dot B^{3/p-3}_{p,r}(\mathbb{R}^3)$ for $1\leq p <3$ and $r=1$. Moreover, this result can be extended to any $1\leq r\leq \infty$ whenever $p=2,$ without any additional assumption on the physical parameters. On the other hand, we establish some ill-posedness results for Hall-MHD system by using the discontinuity of the solution mapping of the three-dimensional stationary Navier-Stokes equations in \emph{critical} function spaces $\dot{B}^{3/p-1}_{p,r}(\mathbb{R}^3)$ ($p\geq 3$).


title: Chandra X-ray Analysis of Herbig Ae/Be Stars

abstract: Herbig Ae/Be (HAeBe) stars are intermediate-mass pre-main sequence stars, characterized by infrared excess and emission lines. They are observed to emit X-rays, whose origin is a matter of discussion and not settled yet. X-ray emission is not expected in HAeBe stars, as they lack the sub-surface convective zone. In this study, we retrieved observations from the Chandra archive for 62 HAeBe stars, among which 44 sources (detection fraction $\sim$71%) were detected in X-rays, with 7 being new detections. We use this sample as a test bed to conduct a comparative analysis of the X-ray properties of HAeBe stars and their low-mass counterparts, T Tauri Stars (TTSs). Further, we compare the X-ray properties of HAeBe stars and TTSs with optical and IR properties to constrain the X-ray emission mechanism in HAeBe stars. We found no correlation between X-ray emission and disk properties of HAeBe stars, confirming that X-rays are not related to accretion shocks. About 56% of HAeBe stars without any known sub-arcsec companions have lower plasma temperatures (kT $\leq$ 2 keV). We observe flaring/variability in HAeBe stars with confirmed low-mass companions. These stars show plasma temperatures > 2 keV, similar to TTSs. Guided by this information we discuss the role of a T Tauri companion for X-ray emission seen in our sample of HAeBe stars. From the results obtained in this paper, we suggest that X-ray emission from HAeBe stars may not be related to accretion shocks or hidden TTS, but rather can be due to magnetically driven coronal emission.


title: Robust inference for linear regression models with possibly skewed error distribution

abstract: Traditional methods for linear regression generally assume that the underlying error distribution, equivalently the distribution of the responses, is normal. Yet, sometimes real life response data may exhibit a skewed pattern, and assuming normality would not give reliable results in such cases. This is often observed in cases of some biomedical, behavioral, socio-economic and other variables. In this paper, we propose to use the class of skew normal (SN) distributions, which also includes the ordinary normal distribution as its special case, as the model for the errors in a linear regression setup and perform subsequent statistical inference using the popular and robust minimum density power divergence approach to get stable insights in the presence of possible data contamination (e.g., outliers). We provide the asymptotic distribution of the proposed estimator of the regression parameters and also propose robust Wald-type tests of significance for these parameters. We provide an influence function analysis of these estimators and test statistics, and also provide level and power influence functions. Numerical verification including simulation studies and real data analysis is provided to substantiate the theory developed.


title: Curves in the Fourier zeros of polytopal regions and the Pompeiu problem

abstract: We prove that any finite union $P$ of interior-disjoint polytopes in ${\mathbb R}^d$ has the Pompeiu property, a result first proved by Williams [Wil76]. This means that if a continuous function $f$ on $R^d$ integrates to 0 on any congruent copy of $P$ then $f$ is identically 0. By a fundamental result of Brown, Schreiber and Taylor [BST73] this is equivalent to showing that the Fourier-Laplace transform of the indicator function of $P$ does not vanish identically on any 0-centered complex sphere in ${\mathbb C}^d$ . Our proof initially follows the recent one of Machado and Robins [MR23] who are using the Brion-Barvinok formula for the Fourier-Laplace transform of a polytope. But we simplify this method considerably by removing the use of properties of Bessel function zeros. Instead we use some elementary arguments on the growth of linear combinations of exponentials with rational functions as coefficients. Our approach allows us to prove the non-existence of complex spheres of any center in the zero-set of the Fourier-Laplace transform. The planar case is even simpler in that we do not even need the Brion-Barvinok formula. We then go further in the question of which sets can be contained in the null set of the Fourier-Laplace transform of a polytope by extending results of Engel [Eng23] who showed that rationally parametrized hypersurfaces, under some mild conditions, cannot be contained in this null-set. We show that a rationally parametrized curve which is not contained in an affine hyperplane in ${\mathbb C}^d$ cannot be contained in this null-set. Results about curves parametrized by meromorphic functions are also given.


title: Non-trivial bundles and defect operators in $n$-form gauge theories

abstract: In $(d+1)$-dimensional $1$-form non-Abelian gauge theories, we classify non-trivial $0$-form bundles in $ \mathbb{R}^{d} $, which yield configurations of $D(d-2j)$-branes wrapping $(d-2j)$-cycles $c_{d-2j} $ in $Dd$-branes. We construct the related defect operators $ U^{(2j-1)} ( c_{d-2j} ) $, which are disorder operators carrying the $D(d-2j)$ charge. We compute the commutation relations between the defect operators and Chern-Simons operators on odd-dimensional closed manifolds, and derive the generalized Witten effect for $U^{(2j-1)} ( c_{d-2j} ) $. When $c_{d-2j}$ is not exact, $ U^{(2j-1)} ( c_{d-2j} ) $ and $ U^{(2j-1)} (- c_{d-2j} ) $ can also combine into an electric $(2j-1)$-form global symmetry operator, where the $(2j-1)$-form is the Chern-Simons form. The dual magnetic $(d-2j)$-form global symmetry is generated by the $D(d-2j)$ charge. We also study non-trivial $1$-form bundles in $(d+1)$-dimensional $2$-form non-Abelian gauge theories, where the defect operators are $\mathcal{U}^{(2j)} ( c_{d-2j-1} ) $. With the field strength of the $1$-form taken as the flat connection of the $2$-form, we classify the topological sectors in $2$-form theories.


title: AIGIQA-20K: A Large Database for AI-Generated Image Quality Assessment

abstract: With the rapid advancements in AI-Generated Content (AIGC), AI-Generated Images (AIGIs) have been widely applied in entertainment, education, and social media. However, due to the significant variance in quality among different AIGIs, there is an urgent need for models that consistently match human subjective ratings. To address this issue, we organized a challenge towards AIGC quality assessment on NTIRE 2024 that extensively considers 15 popular generative models, utilizing dynamic hyper-parameters (including classifier-free guidance, iteration epochs, and output image resolution), and gather subjective scores that consider perceptual quality and text-to-image alignment altogether comprehensively involving 21 subjects. This approach culminates in the creation of the largest fine-grained AIGI subjective quality database to date with 20,000 AIGIs and 420,000 subjective ratings, known as AIGIQA-20K. Furthermore, we conduct benchmark experiments on this database to assess the correspondence between 16 mainstream AIGI quality models and human perception. We anticipate that this large-scale quality database will inspire robust quality indicators for AIGIs and propel the evolution of AIGC for vision. The database is released on https://www.modelscope.cn/datasets/lcysyzxdxc/AIGCQA-30K-Image.


title: Comparative Efficacy of Commercial Wearables for Circadian Rhythm Home Monitoring from Activity, Heart Rate, and Core Body Temperature

abstract: Circadian rhythms govern biological patterns that follow a 24-hour cycle. Dysfunctions in circadian rhythms can contribute to various health problems, such as sleep disorders. Current circadian rhythm assessment methods, often invasive or subjective, limit circadian rhythm monitoring to laboratories. Hence, this study aims to investigate scalable consumer-centric wearables for circadian rhythm monitoring outside traditional laboratories. In a two-week longitudinal study conducted in real-world settings, 36 participants wore an Actigraph, a smartwatch, and a core body temperature sensor to collect activity, temperature, and heart rate data. We evaluated circadian rhythms calculated from commercial wearables by comparing them with circadian rhythm reference measures, i.e., Actigraph activities and chronotype questionnaire scores. The circadian rhythm metric acrophases, determined from commercial wearables using activity, heart rate, and temperature data, significantly correlated with the acrophase derived from Actigraph activities (r=0.96, r=0.87, r=0.79; all p<0.001) and chronotype questionnaire (r=-0.66, r=-0.73, r=-0.61; all p<0.001). The acrophases obtained concurrently from consumer sensors significantly predicted the chronotype (R2=0.64; p<0.001). Our study validates commercial sensors for circadian rhythm assessment, highlighting their potential to support maintaining healthy rhythms and provide scalable and timely health monitoring in real-life scenarios.


title: Analytical Characterization of Epileptic Dynamics in a Bistable System

abstract: Epilepsy is one of the most common neurological disorders globally, affecting millions of individuals. Despite significant advancements, the precise mechanisms underlying this condition remain largely unknown, making accurately predicting and preventing epileptic seizures challenging. In this paper, we employ a bistable model, where a stable equilibrium and a stable limit cycle coexist, to describe epileptic dynamics. The equilibrium captures normal steady-state neural activity, while the stable limit cycle signifies seizure-like oscillations. The noise-driven switch from the equilibrium to the limit cycle characterizes the onset of seizures. The differences in the regions of attraction of these two stable states distinguish epileptic brain dynamics from healthy ones. We analytically construct the regions of attraction for both states. Further, using the notion of input-to-state stability, we theoretically show how the regions of attraction influence the stability of the system subject to external perturbations. Generalizing the bistable system into coupled networks, we also find the role of network parameters in shaping the regions of attraction. Our findings shed light on the intricate interplay between brain networks and epileptic activity, offering mechanistic insights into potential avenues for more predictable treatments.


title: Electronic ferroelectricity in monolayer graphene for multifunctional neuromorphic electronics

abstract: Ferroelectricity is intriguing for its spontaneous electric polarization, which is switchable by an external electric field. Expanding ferroelectric materials to two-dimensional limit will provide versatile applications for the development of next-generation nonvolatile devices. Conventional ferroelectricity requires the materials consisting of at least two constituent elements associated with polar crystalline structures. Monolayer graphene as an elementary two-dimensional material unlikely exhibits ferroelectric order due to its highly centrosymmetric hexagonal lattices. Nevertheless, two-dimensional moire superlattices offer a powerful way to engineer diverse electronic orders in non-polar materials. Here, we report the observations of electronic ferroelectricity in monolayer graphene by introducing asymmetric moire superlattice at the graphene/h-BN interface. Utilizing Hall measurements, the electric polarization is identified to stem from electron-hole dipoles, suggesting the electronic dynamics of the observed ferroelectricity. Standard polarization-electric field hysteresis loops, as well as unconventional multiple switchable polarization states, have been achieved. By in-situ comparing with control devices, we found that the electronic ferroelectricity in graphene moire systems is independent of layer number of graphene and the corresponding fine band structures. Furthermore, we demonstrate the applications of this ferroelectric moire structures in multi-state non-volatile data storage and the emulation of versatile synaptic behaviors, including short-term plasticity, long-term potentiation and long-term depression. This work not only enriches the fundamental understanding of ferroelectricity, but also demonstrates the promising applications of graphene in multi-state memories and neuromorphic computing.


title: Red Teaming GPT-4V: Are GPT-4V Safe Against Uni/Multi-Modal Jailbreak Attacks?

abstract: Various jailbreak attacks have been proposed to red-team Large Language Models (LLMs) and revealed the vulnerable safeguards of LLMs. Besides, some methods are not limited to the textual modality and extend the jailbreak attack to Multimodal Large Language Models (MLLMs) by perturbing the visual input. However, the absence of a universal evaluation benchmark complicates the performance reproduction and fair comparison. Besides, there is a lack of comprehensive evaluation of closed-source state-of-the-art (SOTA) models, especially MLLMs, such as GPT-4V. To address these issues, this work first builds a comprehensive jailbreak evaluation dataset with 1445 harmful questions covering 11 different safety policies. Based on this dataset, extensive red-teaming experiments are conducted on 11 different LLMs and MLLMs, including both SOTA proprietary models and open-source models. We then conduct a deep analysis of the evaluated results and find that (1) GPT4 and GPT-4V demonstrate better robustness against jailbreak attacks compared to open-source LLMs and MLLMs. (2) Llama2 and Qwen-VL-Chat are more robust compared to other open-source models. (3) The transferability of visual jailbreak methods is relatively limited compared to textual jailbreak methods. The dataset and code can be found here https://anonymous.4open.science/r/red_teaming_gpt4-C1CE/README.md .


title: RADIUM: Predicting and Repairing End-to-End Robot Failures using Gradient-Accelerated Sampling

abstract: Before autonomous systems can be deployed in safety-critical applications, we must be able to understand and verify the safety of these systems. For cases where the risk or cost of real-world testing is prohibitive, we propose a simulation-based framework for a) predicting ways in which an autonomous system is likely to fail and b) automatically adjusting the system's design and control policy to preemptively mitigate those failures. Existing tools for failure prediction struggle to search over high-dimensional environmental parameters, cannot efficiently handle end-to-end testing for systems with vision in the loop, and provide little guidance on how to mitigate failures once they are discovered. We approach this problem through the lens of approximate Bayesian inference and use differentiable simulation and rendering for efficient failure case prediction and repair. For cases where a differentiable simulator is not available, we provide a gradient-free version of our algorithm, and we include a theoretical and empirical evaluation of the trade-offs between gradient-based and gradient-free methods. We apply our approach on a range of robotics and control problems, including optimizing search patterns for robot swarms, UAV formation control, and robust network control. Compared to optimization-based falsification methods, our method predicts a more diverse, representative set of failure modes, and we find that our use of differentiable simulation yields solutions that have up to 10x lower cost and requires up to 2x fewer iterations to converge relative to gradient-free techniques. In hardware experiments, we find that repairing control policies using our method leads to a 5x robustness improvement. Accompanying code and video can be found at https://mit-realm.github.io/radium/


title: MiniGPT4-Video: Advancing Multimodal LLMs for Video Understanding with Interleaved Visual-Textual Tokens

abstract: This paper introduces MiniGPT4-Video, a multimodal Large Language Model (LLM) designed specifically for video understanding. The model is capable of processing both temporal visual and textual data, making it adept at understanding the complexities of videos. Building upon the success of MiniGPT-v2, which excelled in translating visual features into the LLM space for single images and achieved impressive results on various image-text benchmarks, this paper extends the model's capabilities to process a sequence of frames, enabling it to comprehend videos. MiniGPT4-video does not only consider visual content but also incorporates textual conversations, allowing the model to effectively answer queries involving both visual and text components. The proposed model outperforms existing state-of-the-art methods, registering gains of 4.22%, 1.13%, 20.82%, and 13.1% on the MSVD, MSRVTT, TGIF, and TVQA benchmarks respectively. Our models and code have been made publicly available here https://vision-cair.github.io/MiniGPT4-video/


title: Can Small Language Models Help Large Language Models Reason Better?: LM-Guided Chain-of-Thought

abstract: We introduce a novel framework, LM-Guided CoT, that leverages a lightweight (i.e., <1B) language model (LM) for guiding a black-box large (i.e., >10B) LM in reasoning tasks. Specifically, the lightweight LM first generates a rationale for each input instance. The Frozen large LM is then prompted to predict a task output based on the rationale generated by the lightweight LM. Our approach is resource-efficient in the sense that it only requires training the lightweight LM. We optimize the model through 1) knowledge distillation and 2) reinforcement learning from rationale-oriented and task-oriented reward signals. We assess our method with multi-hop extractive question answering (QA) benchmarks, HotpotQA, and 2WikiMultiHopQA. Experimental results show that our approach outperforms all baselines regarding answer prediction accuracy. We also find that reinforcement learning helps the model to produce higher-quality rationales with improved QA performance.


title: Future Predictive Success-or-Failure Classification for Long-Horizon Robotic Tasks

abstract: Automating long-horizon tasks with a robotic arm has been a central research topic in robotics. Optimization-based action planning is an efficient approach for creating an action plan to complete a given task. Construction of a reliable planning method requires a design process of conditions, e.g., to avoid collision between objects. The design process, however, has two critical issues: 1) iterative trials--the design process is time-consuming due to the trial-and-error process of modifying conditions, and 2) manual redesign--it is difficult to cover all the necessary conditions manually. To tackle these issues, this paper proposes a future-predictive success-or-failure-classification method to obtain conditions automatically. The key idea behind the proposed method is an end-to-end approach for determining whether the action plan can complete a given task instead of manually redesigning the conditions. The proposed method uses a long-horizon future-prediction method to enable success-or-failure classification without the execution of an action plan. This paper also proposes a regularization term called transition consistency regularization to provide easy-to-predict feature distribution. The regularization term improves future prediction and classification performance. The effectiveness of our method is demonstrated through classification and robotic-manipulation experiments.


title: Magnetic anisotropy of L1$_0$ FeNi (001), (010), and (111) ultrathin films: A first-principles study

abstract: In previous experiments, thin films of L1$\mathrm{_0}$ FeNi with different surfaces, including (001), (110) and (111), were produced and studied. Each surface defines a different alignment of the crystallographic tetragonal axis with respect to the film's plane, resulting in different magnetic anisotropies. In this study, we use density functional theory calculations to examine three series of L1$\mathrm{_0}$ FeNi films with surfaces (001), (010), and (111), and with thicknesses ranging from 0.5 to 3 nm (from 4 to 16 atomic monolayers). Our results show that films (001) have perpendicular magnetic anisotropy, while (010) favor in-plane magnetization, with a clear preference for the tetragonal axis [001]. We propose calling this type of in-plane anisotropy fixed in plane. A film with surface (111) and a thickness of four atomic monolayers has the magnetization easy axis almost perpendicular to the plane of the film. As the thickness of the (111) film increases, the direction of magnetization rotates towards a tetragonal axis [001], positioned at an angle of about 45$^{o}$ to the plane of the film. Furthermore, the magnetic moment of ultrathin films increases by a maximum of 5%, and the most significant changes in spin and orbital magnetic moments occur at a depth of about three near-surface atomic monolayers. The presented results could be useful for experimental efforts to synthesize ultrathin L1$\mathrm{_0}$ FeNi films with different surfaces. Ultrathin L1$\mathrm{_0}$ FeNi films with varying magnetic anisotropies may find applications in spintronic devices.


title: NMF-Based Analysis of Mobile Eye-Tracking Data

abstract: The depiction of scanpaths from mobile eye-tracking recordings by thumbnails from the stimulus allows the application of visual computing to detect areas of interest in an unsupervised way. We suggest using nonnegative matrix factorization (NMF) to identify such areas in stimuli. For a user-defined integer k, NMF produces an explainable decomposition into k components, each consisting of a spatial representation associated with a temporal indicator. In the context of multiple eye-tracking recordings, this leads to k spatial representations, where the temporal indicator highlights the appearance within recordings. The choice of k provides an opportunity to control the refinement of the decomposition, i.e., the number of areas to detect. We combine our NMF-based approach with visualization techniques to enable an exploratory analysis of multiple recordings. Finally, we demonstrate the usefulness of our approach with mobile eye-tracking data of an art gallery.


title: Permissible Knowledge Pooling

abstract: Information pooling has been extensively formalised across various logical frameworks in distributed systems, characterized by diverse information-sharing patterns. These approaches generally adopt an intersection perspective, aggregating all possible information, regardless of whether it is known or unknown to the agents. In contrast, this work adopts a unique stance, emphasising that sharing knowledge means distributing what is known, rather than what remains uncertain. This paper introduces new modal logics for knowledge pooling and sharing, ranging from a novel language of knowledge pooling to a dynamic mechanism for knowledge sharing. It also outlines their axiomatizations and discusses a potential framework for permissible knowledge pooling.


title: Integrating Hyperparameter Search into Model-Free AutoML with Context-Free Grammars

abstract: Automated Machine Learning (AutoML) has become increasingly popular in recent years due to its ability to reduce the amount of time and expertise required to design and develop machine learning systems. This is very important for the practice of machine learning, as it allows building strong baselines quickly, improving the efficiency of the data scientists, and reducing the time to production. However, despite the advantages of AutoML, it faces several challenges, such as defining the solutions space and exploring it efficiently. Recently, some approaches have been shown to be able to do it using tree-based search algorithms and context-free grammars. In particular, GramML presents a model-free reinforcement learning approach that leverages pipeline configuration grammars and operates using Monte Carlo tree search. However, one of the limitations of GramML is that it uses default hyperparameters, limiting the search problem to finding optimal pipeline structures for the available data preprocessors and models. In this work, we propose an extension to GramML that supports larger search spaces including hyperparameter search. We evaluated the approach using an OpenML benchmark and found significant improvements compared to other state-of-the-art techniques.


title: Modeling temporal dependency of longitudinal data: use of multivariate geometric skew-normal copula

abstract: Use of copula for the purpose of modeling dependence has been receiving considerable attention in recent times. On the other hand, search for multivariate copulas with desirable dependence properties also is an important area of research. When fitting regression models to non-Gaussian longitudinal data, multivariate Gaussian copula is commonly used to account for temporal dependence of the repeated measurements. But using symmetric multivariate Gaussian copula is not preferable in every situation, since it can not capture non-exchangeable dependence or tail dependence, if present in the data. Hence to ensure reliable inference, it is important to look beyond the Gaussian dependence assumption. In this paper, we construct geometric skew-normal copula from multivariate geometric skew-normal (MGSN) distribution proposed by Kundu (2014) and Kundu (2017) in order to model temporal dependency of non-Gaussian longitudinal data. First we investigate the theoretical properties of the proposed multivariate copula, and then develop regression models for both continuous and discrete longitudinal data. The quantile function of this copula is independent of the correlation matrix of its respective multivariate distribution, which provides computational advantage in terms of likelihood inference compared to the class of copulas derived from skew-elliptical distributions by Azzalini & Valle (1996). Moreover, composite likelihood inference is possible for this multivariate copula, which facilitates to estimate parameters from ordered probit model with same dependence structure as geometric skew-normal distribution. We conduct extensive simulation studies to validate our proposed models and therefore apply them to analyze the longitudinal dependence of two real world data sets. Finally, we report our findings in terms of improvements over multivariate Gaussian copula based regression models.


title: Generalizable 3D Scene Reconstruction via Divide and Conquer from a Single View

abstract: Single-view 3D reconstruction is currently approached from two dominant perspectives: reconstruction of scenes with limited diversity using 3D data supervision or reconstruction of diverse singular objects using large image priors. However, real-world scenarios are far more complex and exceed the capabilities of these methods. We therefore propose a hybrid method following a divide-and-conquer strategy. We first process the scene holistically, extracting depth and semantic information, and then leverage a single-shot object-level method for the detailed reconstruction of individual components. By following a compositional processing approach, the overall framework achieves full reconstruction of complex 3D scenes from a single image. We purposely design our pipeline to be highly modular by carefully integrating specific procedures for each processing step, without requiring an end-to-end training of the whole system. This enables the pipeline to naturally improve as future methods can replace the individual modules. We demonstrate the reconstruction performance of our approach on both synthetic and real-world scenes, comparing favorable against prior works. Project page: https://andreeadogaru.github.io/Gen3DSR.


title: Empirical Bayes for the Reluctant Frequentist

abstract: Empirical Bayes methods offer valuable tools for a large class of compound decision problems. In this tutorial we describe some basic principles of the empirical Bayes paradigm stressing their frequentist interpretation. Emphasis is placed on recent developments of nonparametric maximum likelihood methods for estimating mixture models. A more extensive introductory treatment will eventually be available in \citet{kg24}. The methods are illustrated with an extended application to models of heterogeneous income dynamics based on PSID data.


title: Spectral extremal graphs for fan graphs

abstract: A well-known result of Nosal states that a graph $G$ with $m$ edges and $\lambda(G) > \sqrt{m}$ contains a triangle. Nikiforov [Combin. Probab. Comput. 11 (2002)] extended this result to cliques by showing that if $\lambda (G) > \sqrt{2m(1-1/r)}$, then $G$ contains a copy of $K_{r+1}$. Let $C_k^+$ be the graph obtained from a cycle $C_k$ by adding an edge to two vertices with distance two, and let $F_k$ be the friendship graph consisting of $k$ triangles that share a common vertex. Recently, Zhai, Lin and Shu [European J. Combin. 95 (2021)], Sun, Li and Wei [Discrete Math. 346 (2023)], and Li, Lu and Peng [Discrete Math. 346 (2023)] proved that if $ m\ge 8$ and $\lambda (G) \ge \frac{1}{2} (1+\sqrt{4m-3})$, then $G$ contains a copy of $C_5,C_5^+$ and $F_2$, respectively, unless $G=K_2\vee \frac{m-1}{2}K_1$. In this paper, we give a unified extension by showing that such a graph contains a copy of $V_5$, where $V_5=K_1\vee P_4$ is the join of a vertex and a path on four vertices. Our result extends the aforementioned results since $C_5,C_5^+$ and $F_2$ are proper subgraphs of $V_5$. In addition, we prove that if $m\ge 33$ and $\lambda (G) \ge 1+ \sqrt{m-2}$, then $G$ contains a copy of $F_3$, unless $G=K_3\vee \frac{m-3}{3}K_1$. This confirms a conjecture on the friendship graph $F_k$ in the case $k=3$. Finally, we conclude some spectral extremal graph problems concerning the large fan graphs and wheel graphs.


title: Information entropy for central $^{197}$Au+$^{197}$Au collisions in the UrQMD model

abstract: Multiplicity information entropy in central $^{197}$Au + $^{197}$Au collisions at impact parameters of 0$-$3 fm are calculated at various center of mass energies ($\sqrt{s_{\rm NN}}$) of 5.0, 7.7, 11.5, 14.5, 19.6, 27.0, 32.0, 35.0, 39.0, and 54.4 GeV using the Ultra-relativistic Quantum Molecular Dynamics model (UrQMD). The simulations in UrQMD model are compared with hydro modes with three different equations of state (EoS) and also with a default mode without hydrodynamics. The study reveals that the information entropies of baryons, net-baryons and net-protons with different equations of state in the hydro modes exhibit first decreases and then slowly increases with the increase of $\sqrt{s_{\rm NN}}$, while those of hadrons and anti-hadrons, antibaryons show a monotonous increase with $\sqrt{s_{\rm NN}}$. An enhancement is found around $\sqrt{s_{\rm NN}}$ $\sim$ 30 GeV potentially corresponding to the critical endpoint with chiral hadron gas EoS and Bag model EoS.


title: ChangeMamba: Remote Sensing Change Detection with Spatio-Temporal State Space Model

abstract: Convolutional neural networks (CNN) and Transformers have made impressive progress in the field of remote sensing change detection (CD). However, both architectures have inherent shortcomings: CNN are constrained by a limited receptive field that may hinder their ability to capture broader spatial contexts, while Transformers are computationally intensive, making them costly to train and deploy on large datasets. Recently, the Mamba architecture, based on state space models, has shown remarkable performance in a series of natural language processing tasks, which can effectively compensate for the shortcomings of the above two architectures. In this paper, we explore for the first time the potential of the Mamba architecture for remote sensing CD tasks. We tailor the corresponding frameworks, called MambaBCD, MambaSCD, and MambaBDA, for binary change detection (BCD), semantic change detection (SCD), and building damage assessment (BDA), respectively. All three frameworks adopt the cutting-edge Visual Mamba architecture as the encoder, which allows full learning of global spatial contextual information from the input images. For the change decoder, which is available in all three architectures, we propose three spatio-temporal relationship modeling mechanisms, which can be naturally combined with the Mamba architecture and fully utilize its attribute to achieve spatio-temporal interaction of multi-temporal features, thereby obtaining accurate change information. On five benchmark datasets, our proposed frameworks outperform current CNN- and Transformer-based approaches without using any complex training strategies or tricks, fully demonstrating the potential of the Mamba architecture in CD tasks. Further experiments show that our architecture is quite robust to degraded data. The source code will be available in https://github.com/ChenHongruixuan/MambaCD


title: Accurate estimation of feature importance faithfulness for tree models

abstract: In this paper, we consider a perturbation-based metric of predictive faithfulness of feature rankings (or attributions) that we call PGI squared. When applied to decision tree-based regression models, the metric can be computed accurately and efficiently for arbitrary independent feature perturbation distributions. In particular, the computation does not involve Monte Carlo sampling that has been typically used for computing similar metrics and which is inherently prone to inaccuracies. Moreover, we propose a method of ranking features by their importance for the tree model's predictions based on PGI squared. Our experiments indicate that in some respects, the method may identify the globally important features better than the state-of-the-art SHAP explainer


title: GMMCalib: Extrinsic Calibration of LiDAR Sensors using GMM-based Joint Registration

abstract: State-of-the-art LiDAR calibration frameworks mainly use non-probabilistic registration methods such as Iterative Closest Point (ICP) and its variants. These methods suffer from biased results due to their pair-wise registration procedure as well as their sensitivity to initialization and parameterization. This often leads to misalignments in the calibration process. Probabilistic registration methods compensate for these drawbacks by specifically modeling the probabilistic nature of the observations. This paper presents GMMCalib, an automatic target-based extrinsic calibration approach for multi-LiDAR systems. Using an implementation of a Gaussian Mixture Model (GMM)-based registration method that allows joint registration of multiple point clouds, this data-driven approach is compared to ICP algorithms. We perform simulation experiments using the digital twin of the EDGAR research vehicle and validate the results in a real-world environment. We also address the local minima problem of local registration methods for extrinsic sensor calibration and use a distance-based metric to evaluate the calibration results. Our results show that an increase in robustness against sensor miscalibrations can be achieved by using GMM-based registration algorithms. The code is open source and available on GitHub.


title: Edisum: Summarizing and Explaining Wikipedia Edits at Scale

abstract: An edit summary is a succinct comment written by a Wikipedia editor explaining the nature of, and reasons for, an edit to a Wikipedia page. Edit summaries are crucial for maintaining the encyclopedia: they are the first thing seen by content moderators and help them decide whether to accept or reject an edit. Additionally, edit summaries constitute a valuable data source for researchers. Unfortunately, as we show, for many edits, summaries are either missing or incomplete. To overcome this problem and help editors write useful edit summaries, we propose a model for recommending edit summaries generated by a language model trained to produce good edit summaries given the representation of an edit diff. This is a challenging task for multiple reasons, including mixed-quality training data, the need to understand not only what was changed in the article but also why it was changed, and efficiency requirements imposed by the scale of Wikipedia. We address these challenges by curating a mix of human and synthetically generated training data and fine-tuning a generative language model sufficiently small to be used on Wikipedia at scale. Our model performs on par with human editors. Commercial large language models are able to solve this task better than human editors, but would be too expensive to run on Wikipedia at scale. More broadly, this paper showcases how language modeling technology can be used to support humans in maintaining one of the largest and most visible projects on the Web.


title: Scaffolding Language Learning via Multi-modal Tutoring Systems with Pedagogical Instructions

abstract: Intelligent tutoring systems (ITSs) that imitate human tutors and aim to provide immediate and customized instructions or feedback to learners have shown their effectiveness in education. With the emergence of generative artificial intelligence, large language models (LLMs) further entitle the systems to complex and coherent conversational interactions. These systems would be of great help in language education as it involves developing skills in communication, which, however, drew relatively less attention. Additionally, due to the complicated cognitive development at younger ages, more endeavors are needed for practical uses. Scaffolding refers to a teaching technique where teachers provide support and guidance to students for learning and developing new concepts or skills. It is an effective way to support diverse learning needs, goals, processes, and outcomes. In this work, we investigate how pedagogical instructions facilitate the scaffolding in ITSs, by conducting a case study on guiding children to describe images for language learning. We construct different types of scaffolding tutoring systems grounded in four fundamental learning theories: knowledge construction, inquiry-based learning, dialogic teaching, and zone of proximal development. For qualitative and quantitative analyses, we build and refine a seven-dimension rubric to evaluate the scaffolding process. In our experiment on GPT-4V, we observe that LLMs demonstrate strong potential to follow pedagogical instructions and achieve self-paced learning in different student groups. Moreover, we extend our evaluation framework from a manual to an automated approach, paving the way to benchmark various conversational tutoring systems.


title: Equivalence and Similarity Refutation for Probabilistic Programs

abstract: We consider the problems of statically refuting equivalence and similarity of output distributions defined by a pair of probabilistic programs. Equivalence and similarity are two fundamental relational properties of probabilistic programs that are essential for their correctness both in implementation and in compilation. In this work, we present a new method for static equivalence and similarity refutation. Our method refutes equivalence and similarity by computing a function over program outputs whose expected value with respect to the output distributions of two programs is different. The function is computed simultaneously with an upper expectation supermartingale and a lower expectation submartingale for the two programs, which we show to together provide a formal certificate for refuting equivalence and similarity. To the best of our knowledge, our method is the first approach to relational program analysis to offer the combination of the following desirable features: (1) it is fully automated, (2) it is applicable to infinite-state probabilistic programs, and (3) it provides formal guarantees on the correctness of its results. We implement a prototype of our method and our experiments demonstrate the effectiveness of our method to refute equivalence and similarity for a number of examples collected from the literature.


title: MEDIATE: Mutually Endorsed Distributed Incentive Acknowledgment Token Exchange

abstract: Recent advances in multi-agent systems (MAS) have shown that incorporating peer incentivization (PI) mechanisms vastly improves cooperation. Especially in social dilemmas, communication between the agents helps to overcome sub-optimal Nash equilibria. However, incentivization tokens need to be carefully selected. Furthermore, real-world applications might yield increased privacy requirements and limited exchange. Therefore, we extend the PI protocol for mutual acknowledgment token exchange (MATE) and provide additional analysis on the impact of the chosen tokens. Building upon those insights, we propose mutually endorsed distributed incentive acknowledgment token exchange (MEDIATE), an extended PI architecture employing automatic token derivation via decentralized consensus. Empirical results show the stable agreement on appropriate tokens yielding superior performance compared to static tokens and state-of-the-art approaches in different social dilemma environments with various reward distributions.


title: Piecemeal Quantum Telescope with Superresolution

abstract: Detecting remote objects with higher precision and resolution takes a crucial role in many scientific tasks, such as astronomical observation. Compared with classical telescopes, quantum telescopes can detect more precise angle value for single-star target. The precision of existing quantum telescopes is improved in the scale of square root of incident single photons. Here we propose the piecemeal quantum telescope with bit-by-bit iteration. It improves precision exponentially with number of nincident single-photons in detecting the star angle. As a result, it requests to detect only a few hundreds of photons for a precision breaking classical limit by 4 to 5 magnitude orders. Moreover, it can detect a general astronomical target consisting of unknown number of stars.


title: The operator distances from projections to an idempotent

abstract: The main purpose of this paper is to give a full characterization of the operator distances from projections to an idempotent, which includes the minimum value, the maximum value and the intermediate values. Let $H$ be a Hilbert space and $\mathbb{B}(H)$ be the set of bounded linear operators on $H$. Given an arbitrary idempotent $Q\in \mathbb{B}(H)$, it is proved that $$\|m(Q)-Q\|\le \|P-Q\|\le \|I-m(Q)-Q\|$$ for every projection $P$ on $H$, in which $I$ is the identity operator on $H$ and $m(Q)$ is a specific projection called the matched projection of $Q$. When $Q\in\mathbb{B}(H)$ is a non-projection idempotent, it is proved that for every number $\alpha$ contained in the interval $\left[\|m(Q)-Q\|,\|I-m(Q)-Q\|\right]$, there exists a projection $P\in \mathbb{B}(H)$ such that $\|P-Q\|=\alpha$. Two uniqueness problems concerning the projections that attain the minimum value or the maximum value are also dealt with.


title: Learning From Simplicial Data Based on Random Walks and 1D Convolutions

abstract: Triggered by limitations of graph-based deep learning methods in terms of computational expressivity and model flexibility, recent years have seen a surge of interest in computational models that operate on higher-order topological domains such as hypergraphs and simplicial complexes. While the increased expressivity of these models can indeed lead to a better classification performance and a more faithful representation of the underlying system, the computational cost of these higher-order models can increase dramatically. To this end, we here explore a simplicial complex neural network learning architecture based on random walks and fast 1D convolutions (SCRaWl), in which we can adjust the increase in computational cost by varying the length and number of random walks considered while accounting for higher-order relationships. Importantly, due to the random walk-based design, the expressivity of the proposed architecture is provably incomparable to that of existing message-passing simplicial neural networks. We empirically evaluate SCRaWl on real-world datasets and show that it outperforms other simplicial neural networks.


title: Size dependent photoemission study by electrochemical coarsening of nanoporous gold

abstract: The generation and utilization of hot charge carriers in plasmonic materials have emerged as a topic of significant importance, with profound implications across multiple disciplines, including optoelectronics, photovoltaics, photocatalysis, and sensing. In this study, we investigate the hot electron transfer from nanoporous gold (npAu) in dependence of the structure size, utilizing both the nanoscale feature size and the interconnected nature of this material. We employ photoelectron injection from nanoporous gold into the electrolyte under UV illumination as a test electron transfer process. Nanoporous gold thin films with sub-10 nm initial ligament diameter are stepwise coarsened by potential cycles in a photoelectrochemical setup, thereby allowing us to precisely probe the influence of ligament diameter on the photocurrent response. The resulting ligament diameter variations are confirmed by scanning electron microscopy (SEM) analysis. As the ligament diameter increased from 8 to 16 nm, there was a corresponding decrease in quantum efficiency proportional to the inverse ligament diameter squared. Such dependency is expected for electrons excited by surface collisions. For the small ligament diameter of 10 nm we estimate an emission efficiency of excited 6sp electrons as 3.14%, reaching 23% for the surface excited electrons.


title: Interpreting End-to-End Deep Learning Models for Speech Source Localization Using Layer-wise Relevance Propagation

abstract: Deep learning models are widely applied in the signal processing community, yet their inner working procedure is often treated as a black box. In this paper, we investigate the use of eXplainable Artificial Intelligence (XAI) techniques to learning-based end-to-end speech source localization models. We consider the Layer-wise Relevance Propagation (LRP) technique, which aims to determine which parts of the input are more important for the output prediction. Using LRP we analyze two state-of-the-art models, of differing architectural complexity that map audio signals acquired by the microphones to the cartesian coordinates of the source. Specifically, we inspect the relevance associated with the input features of the two models and discover that both networks denoise and de-reverberate the microphone signals to compute more accurate statistical correlations between them and consequently localize the sources. To further demonstrate this fact, we estimate the Time-Difference of Arrivals (TDoAs) via the Generalized Cross Correlation with Phase Transform (GCC-PHAT) using both microphone signals and relevance signals extracted from the two networks and show that through the latter we obtain more accurate time-delay estimation results.


title: Knowledge Graph Representation for Political Information Sources

abstract: With the rise of computational social science, many scholars utilize data analysis and natural language processing tools to analyze social media, news articles, and other accessible data sources for examining political and social discourse. Particularly, the study of the emergence of echo-chambers due to the dissemination of specific information has become a topic of interest in mixed methods research areas. In this paper, we analyze data collected from two news portals, Breitbart News (BN) and New York Times (NYT) to prove the hypothesis that the formation of echo-chambers can be partially explained on the level of an individual information consumption rather than a collective topology of individuals' social networks. Our research findings are presented through knowledge graphs, utilizing a dataset spanning 11.5 years gathered from BN and NYT media portals. We demonstrate that the application of knowledge representation techniques to the aforementioned news streams highlights, contrary to common assumptions, shows relative "internal" neutrality of both sources and polarizing attitude towards a small fraction of entities. Additionally, we argue that such characteristics in information sources lead to fundamental disparities in audience worldviews, potentially acting as a catalyst for the formation of echo-chambers.


title: Fractional-charge hadrons and leptons to tell the Standard Model group apart

abstract: The gauge group of strong and electroweak interactions in Nature could be any of the four that share the same Lie algebra, $SU(3)_c\times SU(2)_L\times U(1)_Y/Z_p\equiv G_p$ with $Z_p=\left\{Z_6,Z_3,Z_2,Z_1\right\}$. Each of these cases allows in its spectrum for the matter fields of the SM but also for new distinctive representations, e.g. under the assumption that $q_L$ possesses the minimum possible hypercharge in Nature, $G_p$ allows for particles with a multiple of $p\,e/6$ for electric charge. This letter discusses how these new possibilities in the spectrum could be used to tell the SM group apart.


title: Science, Technology, Engineering, and Mathematics Undergraduates' Knowledge and Interest in Quantum Careers: Barriers and Opportunities to Building a Diverse Quantum Workforce

abstract: Efforts to build the workforce in support of the second quantum revolution are growing, including the creation of education programs that will prepare students for jobs in this area. We surveyed 186 undergraduate students with majors across the STEM disciplines and followed up with group interviews to understand their perspectives. The project was designed to understand what these STEM students know about quantum and quantum career opportunities and their level of interest in pursuing a career related to quantum. We found that most of the students know very little about quantum. Nevertheless, except for students in the life sciences, there was an interest in quantum careers. Across STEM majors, women were less likely to express interest in quantum careers than men, but this difference disappeared when we examined only physical and computer science majors. Of the few students who had knowledge of quantum concepts, most learned about this topic from online media, especially online videos. Some students reported learning about quantum in high school classes, where it was taught as an extension beyond the usual topics of the course. The undergraduate STEM students in our study identified multiple ways they would like to learn more about quantum, including short videos, seminars, courses, certificates, and degree programs.


title: Design and Optimization of Cooperative Sensing With Limited Backhaul Capacity

abstract: This paper introduces a cooperative sensing framework designed for integrated sensing and communication cellular networks. The framework comprises one base station (BS) functioning as the sensing transmitter, while several nearby BSs act as sensing receivers. The primary objective is to facilitate cooperative target localization by enabling each receiver to share specific information with a fusion center (FC) over a limited capacity backhaul link. To achieve this goal, we propose an advanced cooperative sensing design that enhances the communication process between the receivers and the FC. Each receiver independently estimates the time delay and the reflecting coefficient associated with the reflected path from the target. Subsequently, each receiver transmits the estimated values and the received signal samples centered around the estimated time delay to the FC. To efficiently quantize the signal samples, a Karhunen-Lo\`eve Transform coding scheme is employed. Furthermore, an optimization problem is formulated to allocate backhaul resources for quantizing different samples, improving target localization. Numerical results validate the effectiveness of our proposed advanced design and demonstrate its superiority over a baseline design, where only the locally estimated values are transmitted from each receiver to the FC.


title: Benchmarking ChatGPT on Algorithmic Reasoning

abstract: We evaluate ChatGPT's ability to solve algorithm problems from the CLRS benchmark suite that is designed for GNNs. The benchmark requires the use of a specified classical algorithm to solve a given problem. We find that ChatGPT outperforms specialist GNN models, using Python to successfully solve these problems. This raises new points in the discussion about learning algorithms with neural networks and how we think about what out of distribution testing looks like with web scale training data.


title: Privacy Engineering From Principles to Practice: A Roadmap

abstract: Privacy engineering is gaining momentum in industry and academia alike. So far, manifold low-level primitives and higher-level methods and strategies have successfully been established. Still, fostering adoption in real-world information systems calls for additional aspects to be consciously considered in research and practice.


title: Part-Attention Based Model Make Occluded Person Re-Identification Stronger

abstract: The goal of occluded person re-identification (ReID) is to retrieve specific pedestrians in occluded situations. However, occluded person ReID still suffers from background clutter and low-quality local feature representations, which limits model performance. In our research, we introduce a new framework called PAB-ReID, which is a novel ReID model incorporating part-attention mechanisms to tackle the aforementioned issues effectively. Firstly, we introduce the human parsing label to guide the generation of more accurate human part attention maps. In addition, we propose a fine-grained feature focuser for generating fine-grained human local feature representations while suppressing background interference. Moreover, We also design a part triplet loss to supervise the learning of human local features, which optimizes intra/inter-class distance. We conducted extensive experiments on specialized occlusion and regular ReID datasets, showcasing that our approach outperforms the existing state-of-the-art methods.


title: Simultaneous State Estimation and Contact Detection for Legged Robots by Multiple-Model Kalman Filtering

abstract: This paper proposes an algorithm for combined contact detection and state estimation for legged robots. The proposed algorithm models the robot's movement as a switched system, in which different modes relate to different feet being in contact with the ground. The key element in the proposed algorithm is an interacting multiple-model Kalman filter, which identifies the currently-active mode defining contacts, while estimating the state. The rationale for the proposed estimation framework is that contacts (and contact forces) impact the robot's state and vice versa. This paper presents validation studies with a quadruped using (i) the high-fidelity simulator Gazebo for a comparison with ground truth values and a baseline estimator, and (ii) hardware experiments with the Unitree A1 robot. The simulation study shows that the proposed algorithm outperforms the baseline estimator, which does not simultaneous detect contacts. The hardware experiments showcase the applicability of the proposed algorithm and highlights the ability to detect contacts.


title: Radiative corrections to the spin asymmetry in elastic polarized electron-nucleus collisions at high energy

abstract: Improving the numerical precision, dispersion corrections to the beam-normal spin asymmetry which arise from the dominant nuclear excitations, are estimated up to a collision energy of 1 GeV. A nonperturbative calculation of vacuum polarization and the vertex plus self-energy correction, using optimized potentials, indicates that for small scattering angles both these quantum electrodynamical (QED) effects on the spin asymmetry decrease with energy above 200 MeV and can mostly be neglected at high energies. Examples are given for the 12C and 208Pb nuclei. While our results disagree with the measured high-energy spin asymmetry for 12C, they are able to explain the data on 208Pb near 1 GeV.


title: SP$^2$OT: Semantic-Regularized Progressive Partial Optimal Transport for Imbalanced Clustering

abstract: Deep clustering, which learns representation and semantic clustering without labels information, poses a great challenge for deep learning-based approaches. Despite significant progress in recent years, most existing methods focus on uniformly distributed datasets, significantly limiting the practical applicability of their methods. In this paper, we propose a more practical problem setting named deep imbalanced clustering, where the underlying classes exhibit an imbalance distribution. To address this challenge, we introduce a novel optimal transport-based pseudo-label learning framework. Our framework formulates pseudo-label generation as a Semantic-regularized Progressive Partial Optimal Transport (SP$^2$OT) problem, which progressively transports each sample to imbalanced clusters under several prior distribution and semantic relation constraints, thus generating high-quality and imbalance-aware pseudo-labels. To solve SP$^2$OT, we develop a Majorization-Minimization-based optimization algorithm. To be more precise, we employ the strategy of majorization to reformulate the SP$^2$OT problem into a Progressive Partial Optimal Transport problem, which can be transformed into an unbalanced optimal transport problem with augmented constraints and can be solved efficiently by a fast matrix scaling algorithm. Experiments on various datasets, including a human-curated long-tailed CIFAR100, challenging ImageNet-R, and large-scale subsets of fine-grained iNaturalist2018 datasets, demonstrate the superiority of our method.


title: ZynqMP-based board-management mezzanines for Serenity ATCA-blades

abstract: In the context of the CMS Phase-2 tracker back-end processing system, two mezzanines based on the Zynq Ultrascale+ Multi-Processor System-on-Chip (MPSoC) device have been developed to serve as centralized slow control and board management solution for the Serenity-family \textcolor{black}{Advanced Telecommunications Computing Architecture (ATCA)} blades. This paper presents the developments of the MPSoC mezzanines to execute the Intelligent Platform Management Controller (IPMC) software in the real-time capable processors of the MPSoC. In coordination with the Shelf Manager, once full-power is enabled, a CentOS-based Linux distribution is executed in the application processors of the MPSoC, on which EMPButler and the Serenity Management Shell (SMASH) are running.


title: CO radial gradients in the bulge of M31

abstract: We present new H- and K-band spectroscopy for the bulge of M31, taken with the LUCI spectrograph at the Large Binocular Telescope (LBT). We studied radial trends of CO absorption features (namely, CO1.58, CO1.60, CO1.64, CO1.66, CO1.68, CO2.30, CO2.32, CO2.35) in the bulge of M31, out to a galactocentric distance of 100'' (380pc). We find that most COs do not exhibit a strong radial gradient, despite the strong metallicity gradient inferred from the optical spectral range, except for CO1.64, showing a steep increase in the center. We compared the observed line strengths to predictions of different state-of-the-art stellar population models, including an updated version of EMILES models, which also uses the extended IRTF spectral library. The observed COs are close to models' predictions, but in some models they turn out to be underestimated. We find that the lack of radial gradients is due to the combination of increasing CO strength with metallicity and C abundance, and decreasing CO strength with IMF slope and O abundance. We speculate that the steep gradient of CO1.64 might be due to Na overabundance. Remarkably, we were able to fit, at the same time, optical indices and all the NIR COs except for CO1.68, leaving abundance ratios (i.e., [C/Fe], [O/Fe], and [Mg/Fe]) as free-fitting parameters, imposing age and metallicity constraints from the optical, with no significant contribution from intermediate-age populations. For the majority of the bulge, we find [Mg/Fe]~0.15dex, [O/Fe] larger than [Mg/Fe] (by ~0.1dex), and C abundance consistent with that of Mg. In the central (few arcsec) region, we still find an enhancement of O and Mg, but significantly lower [C/Fe]. We find that the COs' line strengths of the bulge are significantly lower than those of massive galaxies, possibly because of a difference in carbon abundance, as well as, to some extent, total metallicity.


title: Integrating AI in NDE: Techniques, Trends, and Further Directions

abstract: The digital transformation is fundamentally changing our industries, affecting planning, execution as well as monitoring of production processes in a wide range of application fields. With product line-ups becoming more and more versatile and diverse, the necessary inspection and monitoring sparks significant novel requirements on the corresponding Nondestructive Evaluation (NDE) systems. The establishment of increasingly powerful approaches to incorporate Artificial Intelligence (AI) may provide just the needed innovation to solve some of these challenges. In this paper we provide a comprehensive survey about the usage of AI methods in NDE in light of the recent innovations towards NDE 4.0. Since we cannot discuss each NDE modality in one paper, we limit our attention to magnetic methods, ultrasound, thermography, as well as optical inspection. In addition to reviewing recent AI developments in each field, we draw common connections by pointing out NDE-related tasks that have a common underlying mathematical problem and categorizing the state of the art according to the corresponding sub-tasks. In so doing, interdisciplinary connections are drawn that provide a more complete overall picture.


title: Computational analysis of a contraction rheometer for the grade-two fluid model

abstract: We explore the possibility of simulating the grade-two fluid model in a geometry related to a contraction rheometer, and we provide details on several key aspects of the computation. We show how the results can be used to determine the viscosity $\nu$ from experimental data. We also explore the identifiability of the grade-two parameters $\alpha_1$ and $\alpha_2$ from experimental data. In particular, as the flow rate varies, force data appears to be nearly the same for certain distinct pairs of values $\alpha_1$ and $\alpha_2$; however we determine a regime for $\alpha_1$ and $\alpha_2$ for which the parameters may be identifiable with a contraction rheometer.


title: How Much Data are Enough? Investigating Dataset Requirements for Patch-Based Brain MRI Segmentation Tasks

abstract: Training deep neural networks reliably requires access to large-scale datasets. However, obtaining such datasets can be challenging, especially in the context of neuroimaging analysis tasks, where the cost associated with image acquisition and annotation can be prohibitive. To mitigate both the time and financial costs associated with model development, a clear understanding of the amount of data required to train a satisfactory model is crucial. This paper focuses on an early stage phase of deep learning research, prior to model development, and proposes a strategic framework for estimating the amount of annotated data required to train patch-based segmentation networks. This framework includes the establishment of performance expectations using a novel Minor Boundary Adjustment for Threshold (MinBAT) method, and standardizing patch selection through the ROI-based Expanded Patch Selection (REPS) method. Our experiments demonstrate that tasks involving regions of interest (ROIs) with different sizes or shapes may yield variably acceptable Dice Similarity Coefficient (DSC) scores. By setting an acceptable DSC as the target, the required amount of training data can be estimated and even predicted as data accumulates. This approach could assist researchers and engineers in estimating the cost associated with data collection and annotation when defining a new segmentation task based on deep neural networks, ultimately contributing to their efficient translation to real-world applications.


title: Schr\"odinger equation in dimension two with competing logarithmic self-interaction

abstract: In this paper we study the equation \[ -\Delta u +(\log |\cdot|*|u|^2)u=(\log|\cdot|*|u|^q)|u|^{q-2}u, \qquad \hbox{ in }\mathbb{R}^2, \] where $8/3 < q < 4$. By means of variational arguments, we find infinitely many radially symmetric classical solutions. The main difficulties rely on the competition between the two nonlocal terms and on the presence of logarithmic kernels, which have not a prescribed sign. In addition, in order to find finite energy solutions, a suitable functional setting analysis is required.


title: Conditioning of Banach Space Valued Gaussian Random Variables: An Approximation Approach Based on Martingales

abstract: In this paper we investigate the conditional distributions of two Banach space valued, jointly Gaussian random variables. These conditional distributions are again Gaussian and their means and covariances are determined by a general approximation scheme based upon a martingale idea. We then apply our general results to the case of Gaussian processes with continuous paths conditioned to partial observations of their paths.


title: Modeling of Zircaloy Oxidation Through Dynamic Mesh Deformation

abstract: Zircaloy cladding corrosion in Light Water Reactors (LWRs) results in the formation of an outer oxide layer and in the thinning of the metallic portion of the cladding. At the \'Ecole Polytechnique F\'ed\'erale de Lausanne (EPFL), we aim to investigate the impact of asymmetric oxide or crud layers and their feedback on thermal-hydraulics. To achieve this, we are implementing mechanistic capabilities for the treatment of corrosion within the open-source multi-dimensional code OFFBEAT. In this work, we outline our approach based on the combination of traditional laws for predicting the growth of the oxide layer with methods to dynamically modify the mesh points and topology. Specifically, our methodology employs routines available in the OpenFOAM library to add or remove layers of cells according to the growth of the oxide layer, along with a mesh motion solver to maintain mesh quality. We verify the methodologys against an analytical test case and then we demonstrate its potential for the study of non-uniform oxide distributions by modeling a simplified cladding ring with asymmetric temperature profile, mimicking the conditions of azimuthal power peaking in a Boiling Water Reactor (BWR).


title: Synergy as the failure of distributivity

abstract: A physical system is synergistic if it cannot be reduced to its constituents. Intuitively this is paraphrased into the common statement that 'the whole is greater than the sum of its parts'. In this manner, many basic elements in combination may give rise to some unexpected collective behavior. A paradigmatic example of such phenomenon is information. Several sources, which are already known individually, may provide some new knowledge when joined together. Here we take the trivial case of discrete random variables and explore whether and how it is possible get more information out of lesser parts. Our approach is inspired by set theory as the fundamental description of part-whole relations. If taken unaltered, synergistic behavior is forbidden by the set theoretical axioms. Indeed, the union of sets cannot contain extra elements not found in any particular one of them. However, random variables are not a perfect analogy of sets. We formalise the distinction, finding a single broken axiom - union/intersection distributivity. Nevertheless, it remains possible to describe information using Venn-type diagrams. We directly connect the existence of synergy to the failure of distributivity for random variables. When compared to the partial information decomposition framework (PID), our technique fully reproduces previous results while resolving the self-contradictions that plagued the field and providing additional constraints on the solutions. This opens the way towards quantifying emergence in large systems.

categories: cs.IT math.IT physics.bio-ph physics.data-an