title: Pulse-shaping in the interaction of an elliptically-polarized laser and magnetized-plasma

abstract: Pulse shaping provides a significant level of control and precision when optimizing laser-plasma interactions. Pulse shaping enables precise control and manipulation, resulting in enhanced energy deposition, optimized particle acceleration, controlled polarization, and exploitation of resonant effects. The present study investigates the interaction of structured light with magnetized plasma, considering various spatial profiles and polarization states. This phenomenon involves modification of the temporal and spatial characteristics of the laser pulse due to the presence of the magnetized plasma. The discussion reveals how the electric field and electron velocity evolve within the plasma both spatially and temporally. Factors such as absorption, dispersion, collisions, and scattering are taken into account to understand how they influence the evolution of the pulse. The effects of electron density, external magnetic fields, relativistic velocities, and polarization states on pulse compression are examined. The spatial laser profile impact on pulse-shaping and plasma channel formation is also discussed. This exploration sheds light on the intricate interplays and potential pulse-shaping applications in laser-plasma interactions.


title: Magnetic Moments of Hidden-Bottom Pentaquark States

abstract: We study systematically magnetic moments of hiddden-bottom pentaquark states with quantum numbers $J^P=\frac{1}{2}^{\pm}$, $J^P=\frac{3}{2}^{\pm}$, and $J^P=\frac{5}{2}^{\pm}$ with molecular, diquark-diquark-antiquark, and diquark-triquark models. The numerical results show that magnetic moments are different within the same model according to same quantum numbers and spin-orbit couplings. The results are also different when different models are taken into account with the same angular momentum. The magnetic moments encode valuable information about inner structures. We believe that our results may be helpful for experimental studies.


title: Preparation of tautomer-pure molecular beams by electrostatic deflection

abstract: Tautomers are ubiquitous throughout chemistry, and typically considered inseparable in solution. Yet (bio)chemical activity is highly tautomer specific, with common examples being the amino and nucleic acids. While tautomers exist in an equilibrium in solution, in the cold environment of a molecular beam the barrier to tautomerization is typically much too high for interconversion, and tautomers can be considered separate species. Here we demonstrate the separation of tautomers and production of tautomerically-pure gas-phase samples. We show this for the 2-pyridone / 2-hydroxypyridine system, an important structural motif in both uracil and cytosine. Spatial separation of the tautomers is achieved via electrostatic deflection in strong inhomogeneous fields. We furthermore collect tautomer-resolved photoelectron spectra using femtosecond multiphoton ionization. This paves the way for studying the structure-function-dynamic relationship on the level of individual tautomers, using approaches that typically lack the resolution to do so, such as ultrafast dynamics experiments.


title: Radiation damping of a Rayleigh scatterer illuminated by a plane wave

abstract: We investigate the radiation damping experienced by a dielectric spherical particle when it is illuminated by an electromagnetic plane wave within the Rayleigh regime. We derive the equivalent electric dipole of the moving particle and subsequently calculate the electromagnetic force acting on it from two different approaches. In the first approach, we calculate the force from the integration of stress tensor and field momentum. In the second one, we calculate the force directly from the integration of the force density. Our derivations reveal that the damping coefficient is equal to $6P_{scat}/mc^2$ along the propagation direction, whereas it is $P_{scat}/mc^2$ along perpendicular directions. Here, $P_{scat}$ denotes the power scattered by the particle, and $mc^2$ represents the particle's mass energy. The radiation damping derived in this study sets upper limits on the quality factor of optically levitated objects and ensures the existence of a steady-state solution of the particle's dynamics.


title: Guided Bayesian Optimization: Data-Efficient Controller Tuning with Digital Twin

abstract: This article presents the guided Bayesian optimization algorithm as an efficient data-driven method for iteratively tuning closed-loop controller parameters using an event-triggered digital twin of the system based on available closed-loop data. We define a controller tuning framework independent of the controller or the plant structure. Our proposed methodology is model-free, making it suitable for nonlinear and unmodelled plants with measurement noise. The objective function consists of performance metrics modeled by Gaussian processes. We utilize the available information in the closed-loop system to identify and progressively maintain a digital twin that guides the optimizer, improving the data efficiency of our method. Switching the digital twin on and off is triggered by data-driven criteria related to the digital twin's uncertainty estimations in the BO tuning framework. Effectively, it replaces much of the exploration of the real system with exploration performed on the digital twin. We analyze the properties of our method in simulation and demonstrate its performance on two real closed-loop systems with different plant and controller structures. The experimental results show that our method requires fewer experiments on the physical plant than Bayesian optimization to find the optimal controller parameters.


title: Calibration of detector time constant with a thermal source for the POLARBEAR-2A CMB polarization experiment

abstract: The Simons Array (SA) project is a ground-based Cosmic Microwave Background (CMB) polarization experiment. The SA observes the sky using three telescopes, and POLARBEAR-2A (PB-2A) is the receiver system on the first telescope. For the ground-based experiment, atmospheric fluctuation is the primary noise source that could cause polarization leakage. In the PB-2A receiver system, a continuously rotating half-wave plate (HWP) is used to mitigate the polarization leakage. However, due to the rapid modulation of the polarization signal, the uncertainty in the time constant of the detector results in an uncertainty in the polarization angle. For PB-2A, the time constant of each bolometer needs to be calibrated at the sub-millisecond level to avoid introducing bias to the polarization signal. We have developed a new calibrator system that can be used to calibrate the time constants of the detectors. In this study, we present the design of the calibration system and the preliminary results of the time constant calibration for PB-2A.


title: Precise characterisation of HD 15337 with CHEOPS: a laboratory for planet formation and evolution

abstract: We aim to constrain the internal structure and composition of HD 15337 b and c, two short-period planets situated on opposite sides of the radius valley, using new transit photometry and radial velocity data. We acquire 6 new transit visits with the CHaracterising ExOPlanet Satellite (CHEOPS) and 32 new radial velocity measurements from the High Accuracy Radial Velocity Planet Searcher (HARPS) to improve the accuracy of the mass and radius estimates for both planets. We reanalyse light curves from TESS sectors 3 and 4 and analyse new data from sector 30, correcting for long-term stellar activity. Subsequently, we perform a joint fit of the TESS and CHEOPS light curves, and all available RV data from HARPS and the Planet Finder Spectrograph (PFS). Our model fits the planetary signals, the stellar activity signal and the instrumental decorrelation model for the CHEOPS data simultaneously. The stellar activity was modelled using a Gaussian-process regression on both the RV and activity indicators. We finally employ a Bayesian retrieval code to determine the internal composition and structure of the planets. We derive updated and highly precise parameters for the HD 15337 system. Our improved precision on the planetary parameters makes HD 15337 b one of the most precisely characterised rocky exoplanets, with radius and mass measurements achieving a precision better than 2\% and 7\%, respectively. We are able to improve the precision of the radius measurement of HD 15337 c to 3\%. Our results imply that the composition of HD 15337 b is predominantly rocky, while HD 15337 c exhibits a gas envelope with a mass of at least $0.01\ M_\oplus$.Our results lay the groundwork for future studies, which can further unravel the atmospheric evolution of these exoplanets and give new insights into their composition and formation history and the causes behind the radius gap.


title: Improving the Optimization in Model Predictive Controllers: Scheduling Large Groups of Electric Vehicles

abstract: In parking lots with large groups of electric vehicles (EVs), charging has to happen in a coordinated manner, among others, due to the high load per vehicle and the limited capacity of the electricity grid. To achieve such coordination, model predictive control can be applied, thereby repeatedly solving an optimization problem. Due to its repetitive nature and its dependency on the time granularity, optimization has to be (computationally) efficient. The work presented here focuses on that optimization subroutine, its computational efficiency and how to speed up the optimization for large groups of EVs. In particular, we adapt FOCS, an algorithm that can solve the underlying optimization problem, to better suit the repetitive set-up of model predictive control by adding a pre-mature stop feature. Based on real-world data, we empirically show that the added feature speeds up the median computation time for 1-minute granularity by up to 44%. Furthermore, since FOCS is an algorithm that uses maximum flow methods as a subroutine, the impact of choosing various maximum flow methods on the runtime is investigated. Finally, we compare FOCS to a commercially available solver, concluding that FOCS outperforms the state-of-the-art when making a full-day schedule for large groups of EVs.


title: Direct Production of Light Scalar in the Type-I Two-Higgs-Doublet Model at the Lifetime Frontier of LHC

abstract: A light pseudoscalar $A$ in the sufficient large $\tan\beta$ region of type-I two-Higgs-doublet model (2HDM) can be naturally a long-lived particle (LLP). We focus on $H^{\pm}A$, $HA$ and $AA$ pair productions via the electroweak processes mediated by the bosons at the LHC, including $pp \rightarrow W^\pm/Z \rightarrow H^{\pm}/H A$ and $pp \rightarrow h \rightarrow AA$ at the 14 TeV LHC. The possibility of probing $A$ as a LLP at the FASER-2, FACET, MoEDAL-MAPP-2, MATHUSLA is discussed. We find that FASER-2 fails to probe any parameter space within 0.2 GeV $< m_A <$ 10 GeV for all the considered processes. For 130 $< m_{H\pm} = m_H <$ 400 GeV, FACET, MoEDAL-MAPP-2 and MATHUSLA can probe $\tan \beta \lesssim 10^{4-6}$ for $m_A \lesssim 3$ GeV, and $\tan \beta \lesssim 10^{6-8}$ for 3 GeV $\lesssim m_A <$ 10 GeV from $pp \rightarrow W^\pm/Z \rightarrow H^{\pm}/Z A$ processes. And $pp \rightarrow h \rightarrow AA$ process covers similar parameter space. All processes can surpass the current limits.


title: Stable solution and extremal solution for the fractional $p$-Laplacian equation

abstract: To our knowledge, this paper is the first attempt to consider the stable solution and extremal solution for the fractional $p$-Laplacian equation: $(-\Delta)_p^s u= \lambda f(u),\; u> 0 ~\text{in}~\Omega;\; u=0\;\text{in}~ \mathbb{R}^N\setminus\Omega$, where $p>1$, $s\in (0,1)$, $N>sp$, $\lambda>0$ and $\Omega$ is a bounded domain with continuous boundary. We first construct the notion of stable solution, and then we prove that when $f$ is of class $C^1$, nondecreasing and such that $f(0)>0$ and $\underset{t\to \infty}{\lim}\frac{f(t)}{t^{p-1}}=\infty$, there exists an extremal parameter $\lambda^*\in (0, \infty)$ such that a bounded minimal solution $u_\lambda$ exists if $\lambda\in (0, \lambda^*)$, and no bounded solution exists if $\lambda>\lambda^*$, no $W_0^{s,p}(\Omega)$ solution exists if in addition $f(t)^{\frac{1}{p-1}}$ is convex. Moreover, this family of minimal solutions are stable, and nondecreasing in $\lambda$, therefore the extremal function $u^*:=\underset{\lambda\to\lambda^*}{\lim}u_\lambda$ exists. For the regularity of the extremal function, we first show the $L^r$-estimates for the equation $(-\Delta)_p^su=g$ with $g\in W_0^{s, p}(\Omega)^*\cap L^q(\Omega)$, $q\ge 1$. When $f$ is a power-like nonlinearity, we derive the $W_0^{s,p}(\Omega)$ regularity of $u^*$ in all dimension and $L^{\infty}(\Omega)$ regularity of $u^*$ in some low dimensions. For more general nonlinearities, when $f$ is class of $C^2$ and such that some convexity assumptions, then $u^*\in W_0^{s,p}(\Omega)$ if $N<sp(1+\frac{p}{p-1})$ and $u^*\in L^{\infty}(\Omega)$ if $N<\frac{sp^2}{p-1}$. Furthermore, when the limit $\tau=\underset{t\to\infty}{\lim}\frac{f(t)f''(t)}{f'(t)^2}$ exists and $\tau>\frac{p-2}{p-1}$, the results above can be improved as: $u^*\in W_0^{s,p}(\Omega)$ for all dimensions, and $u^*\in L^{\infty}(\Omega)$ if $N<sp+\frac{4sp}{p-1}$.


title: A perfect obstruction theory for SU(2)-Higgs pairs

abstract: We redefine the perfect obstruction theory for $\mathbf{SU}(r)$-Higgs sheaves constructed by Tanaka-Thomas using a different method in the rank $2$ case: The key step here is a modification of the $\mathbf{C}^\times$-localisation formula from Graber-Pandharipande, replacing the torus action by an involution $(E,\phi) \mapsto (E^*,-\phi^*)$


title: Presenting Interval Pomsets with Interfaces

abstract: Interval-order partially ordered multisets with interfaces (ipomsets) have shown to be a versatile model for executions of concurrent systems in which both precedence and concurrency need to be taken into account. In this paper, we develop a presentation of ipomsets as generated by a graph of certain discrete ipomsets (starters and terminators) under the relation which composes subsequent starters and subsequent terminators. Using this presentation, we show that also subsumptions are generated by elementary relations. We develop a similar correspondence on the automata side, relating higher-dimensional automata, which generate ipomsets, and ST-automata, which generate step sequences, and their respective languages.


title: SDXS: Real-Time One-Step Latent Diffusion Models with Image Conditions

abstract: Recent advancements in diffusion models have positioned them at the forefront of image generation. Despite their superior performance, diffusion models are not without drawbacks; they are characterized by complex architectures and substantial computational demands, resulting in significant latency due to their iterative sampling process. To mitigate these limitations, we introduce a dual approach involving model miniaturization and a reduction in sampling steps, aimed at significantly decreasing model latency. Our methodology leverages knowledge distillation to streamline the U-Net and image decoder architectures, and introduces an innovative one-step DM training technique that utilizes feature matching and score distillation. We present two models, SDXS-512 and SDXS-1024, achieving inference speeds of approximately 100 FPS (30x faster than SD v1.5) and 30 FPS (60x faster than SDXL) on a single GPU, respectively. Moreover, our training approach offers promising applications in image-conditioned control, facilitating efficient image-to-image translation.


title: A comparison of graphical methods in the case of the murder of Meredith Kercher

abstract: We compare three graphical methods for displaying evidence in a legal case: Wigmore Charts, Bayesian Networks and Chain Event Graphs. We find that these methods are aimed at three distinct audiences, respectively lawyers, forensic scientists and the police. The methods are illustrated using part of the evidence in the case of the murder of Meredith Kercher. More specifically, we focus on representing the list of propositions, evidence, testimony and facts given in the first trial against Raffaele Sollecito and Amanda Knox with these graphical methodologies.


title: Orientation-Driven Large Magnetic Hysteresis of Er(III) Cyclooctatetraenide-Based Single-Ion Magnets Adsorbed on Ag(100)

abstract: The molecular self-assembly and the magnetic properties of two cyclooctatetraenide (COT) - based single-ion magnets (SIM) adsorbed on Ag(100) in the sub-monolayer range are reported. Our study combines scanning-tunneling microscopy, X-ray photoemission spectroscopy and polarized X-ray absorption spectroscopy to show that Cp*ErCOT (Cp* = 1,2,3,4,5-pentamethylcyclopentadienide anion) SIMs self-assemble as alternating compact parallel rows including standing-up and lying-down conformations, following the main crystallographic directions of the substrate. Conversely, K[Er(COT)$_2$], obtained from subliming the [K(18-c-6)][Er(COT)$_2$]$\cdot$ 2THF salt, forms uniaxially ordered domains with the (COT)$^{2-}$ rings perpendicular to the substrate plane. The polarization-dependent X-ray absorption spectra reproduced by the multiX simulations suggest that the strong in-plane magnetic anisotropy of K[Er(COT)$_2$]/Ag(100) and the weak out-of-plane anisotropy of Cp*ErCOT/Ag(100) can be attributed to the strikingly different surface ordering of these two complexes. Compared to the bulk phase, surface-supported K[Er(COT)$_2$] exhibits a similarly large hysteresis opening, while the Cp*ErCOT shows a rather small opening. This result reveals that despite structural similarities, the two organometallic SMMs have strongly different magnetic properties when adsorbed on the metal substrate, attributed to the different orientations and the resulting interactions of the ligand rings with the surface.


title: A comparative analysis of embedding models for patent similarity

abstract: This paper makes two contributions to the field of text-based patent similarity. First, it compares the performance of different kinds of patent-specific pretrained embedding models, namely static word embeddings (such as word2vec and doc2vec models) and contextual word embeddings (such as transformers based models), on the task of patent similarity calculation. Second, it compares specifically the performance of Sentence Transformers (SBERT) architectures with different training phases on the patent similarity task. To assess the models' performance, we use information about patent interferences, a phenomenon in which two or more patent claims belonging to different patent applications are proven to be overlapping by patent examiners. Therefore, we use these interferences cases as a proxy for maximum similarity between two patents, treating them as ground-truth to evaluate the performance of the different embedding models. Our results point out that, first, Patent SBERT-adapt-ub, the domain adaptation of the pretrained Sentence Transformer architecture proposed in this research, outperforms the current state-of-the-art in patent similarity. Second, they show that, in some cases, large static models performances are still comparable to contextual ones when trained on extensive data; thus, we believe that the superiority in the performance of contextual embeddings may not be related to the actual architecture but rather to the way the training phase is performed.


title: Nonequilibrium relaxation inequality on short timescales

abstract: An integral relation is derived from the Fokker-Planck equation which connects the steady-state probability currents with the dynamics of relaxation on short timescales in the limit of small perturbation fields. As a consequence of this integral relation, a lower bound on the steady-state entropy production is obtained. For the particular case of an ensemble of random perturbation fields of weak spatial gradient, a simpler bound is derived from the integral relation which provides a feasible method to estimate entropy production from relaxation experiments.


title: Risk Propagation in Endogenous Supply Chains

abstract: This paper investigates the endogenous formation of supply chains and its consequences for disruption propagation. In production networks where upstream risk is highly correlated and supplier relationships are not observable, the marginal risk reduction of adding an additional supplier is low, because this additional supplier's risk is likely to be correlated to that of the firm's existing suppliers. This channel reduces firm incentives to diversify, which gives rise to inefficiently fragile production networks. By solving the social planner problem, I show that, if the risk reduction experienced downstream resulting from upstream diversification were to be internalised by upstream firms, endogenous production networks would be resilient to most levels of risk. Furthermore, I show that imperfect information yields inefficient but more robust supply chains. Despite its stylised form, the model identifies the trade-off firms face when diversifying risk and isolates the mechanism that aggregates these decisions into a production network. Furthermore, it maps the conditions of the trade-off, such as expected profits of the firm or the sourcing costs, to the properties of the production network.


title: SASHIMI-SIDM: Semi-analytical subhalo modelling for self-interacting dark matter at sub-galactic scales

abstract: We combine the semi-analytical structure formation model, SASHIMI, which predicts subhalo populations in collisionless, cold dark matter (CDM), with a parametric model that maps CDM halos to self-interacting dark matter (SIDM) halos. The resulting model, SASHIMI-SIDM, generates SIDM subhalo populations down to sub-galactic mass scales, for an arbitrary input cross section, in minutes. We show that SASHIMI-SIDM agrees with SIDM subhalo populations from high-resolution cosmological zoom-in simulations in resolved regimes. Crucially, we predict that the fraction of core-collapsed subhalos peaks at a mass scale determined by the input SIDM cross section and decreases toward higher halo masses, consistent with the predictions of gravothermal models and cosmological simulations. For the first time, we also show that the core-collapsed fraction decreases toward lower halo masses; this result is uniquely enabled by our semi-analytical approach. As a proof of principle, we apply SASHIMI-SIDM to predict the boost to the local dark matter density and annihilation rate from core-collapsed SIDM subhalos, which can be enhanced relative to CDM by an order of magnitude for viable SIDM models. Thus, SASHIMI-SIDM provides an efficient and reliable tool for scanning SIDM parameter space and testing it with astrophysical observations. The code is publicly available at https://github.com/shinichiroando/sashimi-si.

categories: astro-ph.CO astro-ph.GA astro-ph.HE hep-ph


title: Symbolic and User-friendly Geometric Algebra Routines (SUGAR) for Computations in Matlab

abstract: Geometric algebra (GA) is a mathematical tool for geometric computing, providing a framework that allows a unified and compact approach to geometric relations which in other mathematical systems are typically described using different more complicated elements. This fact has led to an increasing adoption of GA in applied mathematics and engineering problems. However, the scarcity of symbolic implementations of GA and its inherent complexity, requiring a specific mathematical background, make it challenging and less intuitive for engineers to work with. This prevents wider adoption among more applied professionals. To address this challenge, this paper introduces SUGAR (Symbolic and User-friendly Geometric Algebra Routines), an open-source toolbox designed for Matlab and licensed under the MIT License. SUGAR facilitates the translation of GA concepts into Matlab and provides a collection of user-friendly functions tailored for GA computations, including support for symbolic operations. It supports both numeric and symbolic computations in high-dimensional GAs. Specifically tailored for applied mathematics and engineering applications, SUGAR has been meticulously engineered to represent geometric elements and transformations within two and three-dimensional projective and conformal geometric algebras, aligning with established computational methodologies in the literature. Furthermore, SUGAR efficiently handles functions of multivectors, such as exponential, logarithmic, sinusoidal, and cosine functions, enhancing its applicability across various engineering domains, including robotics, control systems, and power electronics. Finally, this work includes four distinct validation examples, demonstrating SUGAR's capabilities across the above-mentioned fields and its practical utility in addressing real-world applied mathematics and engineering problems.


title: V2X-PC: Vehicle-to-everything Collaborative Perception via Point Cluster

abstract: The objective of the collaborative vehicle-to-everything perception task is to enhance the individual vehicle's perception capability through message communication among neighboring traffic agents. Previous methods focus on achieving optimal performance within bandwidth limitations and typically adopt BEV maps as the basic collaborative message units. However, we demonstrate that collaboration with dense representations is plagued by object feature destruction during message packing, inefficient message aggregation for long-range collaboration, and implicit structure representation communication. To tackle these issues, we introduce a brand new message unit, namely point cluster, designed to represent the scene sparsely with a combination of low-level structure information and high-level semantic information. The point cluster inherently preserves object information while packing messages, with weak relevance to the collaboration range, and supports explicit structure modeling. Building upon this representation, we propose a novel framework V2X-PC for collaborative perception. This framework includes a Point Cluster Packing (PCP) module to keep object feature and manage bandwidth through the manipulation of cluster point numbers. As for effective message aggregation, we propose a Point Cluster Aggregation (PCA) module to match and merge point clusters associated with the same object. To further handle time latency and pose errors encountered in real-world scenarios, we propose parameter-free solutions that can adapt to different noisy levels without finetuning. Experiments on two widely recognized collaborative perception benchmarks showcase the superior performance of our method compared to the previous state-of-the-art approaches relying on BEV maps.


title: Detecting affine equivalences between certain types of parametric curves, in any dimension

abstract: Two curves are affinely equivalent if there exists an affine mapping transforming one of them onto the other. Thus, detecting affine equivalence comprises, as important particular cases, similarity, congruence and symmetry detection. In this paper we generalize previous results by the authors to provide an algorithm for computing the affine equivalences between two parametric curves of certain types, in any dimension. In more detail, the algorithm is valid for rational curves, and for parametric curves with non-rational but meromorphic components admitting a rational inverse. Unlike other algorithms already known for rational curves, the algorithm completely avoids polynomial system solving, and uses bivariate factoring, instead, as a fundamental tool. The algorithm has been implemented in the computer algebra system {\tt Maple}, and can be freely downloaded and used.


title: Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol

abstract: Decentralized Finance (DeFi) has emerged as a contemporary competitive as well as complementary to traditional centralized finance systems. As of 23rd January 2024, per Defillama approximately USD 55 billion is the total value locked on the DeFi applications on all blockchains put together. A Byzantine Fault Tolerant (BFT) State Machine Replication (SMR) protocol, popularly known as the consensus protocol, is the central component of a blockchain. If forks are possible in a consensus protocol, they can be misused to carry out double spending attacks and can be catastrophic given high volumes of finance that are transacted on blockchains. Formal verification of the safety of consensus protocols is the golden standard for guaranteeing that forks are not possible. However, it is considered complex and challenging to do. This is reflected by the fact that not many complex consensus protocols are formally verified except for Tendermint and QBFT. We focus on Supra's Pipelined Moonshot consensus protocol. Similar to Tendermint's formal verification, we too model Pipelined Moonshot using IVy and formally prove that for all network sizes, as long as the number of Byzantine validators is less than one thirds, the protocol does not allow forks, thus proving that Pipelined Moonshot is safe and double spending cannot be done using forks. The IVy model and proof of safety is available on Github.


title: AI-Generated Video Detection via Spatio-Temporal Anomaly Learning

abstract: The advancement of generation models has led to the emergence of highly realistic artificial intelligence (AI)-generated videos. Malicious users can easily create non-existent videos to spread false information. This letter proposes an effective AI-generated video detection (AIGVDet) scheme by capturing the forensic traces with a two-branch spatio-temporal convolutional neural network (CNN). Specifically, two ResNet sub-detectors are learned separately for identifying the anomalies in spatical and optical flow domains, respectively. Results of such sub-detectors are fused to further enhance the discrimination ability. A large-scale generated video dataset (GVD) is constructed as a benchmark for model training and evaluation. Extensive experimental results verify the high generalization and robustness of our AIGVDet scheme. Code and dataset will be available at https://github.com/multimediaFor/AIGVDet.


title: Investigating the Readability of Test Code: Combining Scientific and Practical Views

abstract: The readability of source code is key for understanding and maintaining software systems and tests. Several studies investigate the readability of source code, but there is limited research on the readability of test code and related influence factors. We investigate the factors that influence the readability of test code from an academic perspective complemented by practical views. First, we perform a Systematic Mapping Study (SMS) with a focus on scientific literature. Second, we extend this study by reviewing grey literature sources for practical aspects on test code readability and understandability. Finally, we conduct a controlled experiment on the readability of a selected set of test cases to collect additional knowledge on influence factors discussed in practice. The result set of the SMS includes 19 primary studies from the scientific literature. The grey literature search reveals 62 sources for information on test code readability. Based on an analysis of these sources, we identified a combined set of 14 factors that influence the readability of test code. 7 of these factors were found in scientific and grey literature, while some factors were mainly discussed in academia (2) or industry (5) with limited overlap. The controlled experiment on practically relevant influence factors showed that the investigated factors have a significant impact on readability for half of the selected test cases. Our review of scientific and grey literature showed that test code readability is of interest for academia and industry with a consensus on key influence factors. However, we also found factors only discussed by practitioners. For some of these factors we were able to confirm an impact on readability in a first experiment. Therefore, we see the need to bring together academic and industry viewpoints to achieve a common view on the readability of software test code.


title: Multi-Scale Texture Loss for CT denoising with GANs

abstract: Generative Adversarial Networks (GANs) have proved as a powerful framework for denoising applications in medical imaging. However, GAN-based denoising algorithms still suffer from limitations in capturing complex relationships within the images. In this regard, the loss function plays a crucial role in guiding the image generation process, encompassing how much a synthetic image differs from a real image. To grasp highly complex and non-linear textural relationships in the training process, this work presents a loss function that leverages the intrinsic multi-scale nature of the Gray-Level-Co-occurrence Matrix (GLCM). Although the recent advances in deep learning have demonstrated superior performance in classification and detection tasks, we hypothesize that its information content can be valuable when integrated into GANs' training. To this end, we propose a differentiable implementation of the GLCM suited for gradient-based optimization. Our approach also introduces a self-attention layer that dynamically aggregates the multi-scale texture information extracted from the images. We validate our approach by carrying out extensive experiments in the context of low-dose CT denoising, a challenging application that aims to enhance the quality of noisy CT scans. We utilize three publicly available datasets, including one simulated and two real datasets. The results are promising as compared to other well-established loss functions, being also consistent across three different GAN architectures. The code is available at: https://github.com/FrancescoDiFeola/DenoTextureLoss


title: Linearly stable self-similar solutions of semilinear heat equations

abstract: We classify the smooth linearly stable self-similar solutions of the semilinear heat equation $u_t=\Delta u+|u|^{p-1}u$ in $\mathbb{R}^n\times (0,T)$ under an integral condition for all $p>1$. As a corollary, we prove that finite time blowing up solutions of this equation on a bounded convex domain with $u(\cdot,0)\geq 0$ and $u_t(\cdot,0)\geq 0$ converges to a constant after rescaling at the blow-up point for all $p>1$.


title: Self-dual solution of 3D incompressible Navier-Stokes equations

abstract: Whether the 3D incompressible Navier-Stokes equations will have a global smooth solution for all smooth, finite energy initial data is a Millennium Prize problem. One of the main difficulties of this problem is that the Navier-Stokes equations are actually a system of semilinear heat equations rather than a single equation. In this paper, we discover a remarkable hidden symmetry of the 3D incompressible Navier-Stokes equations. Under this symmetric reduction, the system reduces to a single scalar semilinear heat equation. The symmetry also holds for the 3D incompressible Euler equations.


title: Self-Adaptive Reality-Guided Diffusion for Artifact-Free Super-Resolution

abstract: Artifact-free super-resolution (SR) aims to translate low-resolution images into their high-resolution counterparts with a strict integrity of the original content, eliminating any distortions or synthetic details. While traditional diffusion-based SR techniques have demonstrated remarkable abilities to enhance image detail, they are prone to artifact introduction during iterative procedures. Such artifacts, ranging from trivial noise to unauthentic textures, deviate from the true structure of the source image, thus challenging the integrity of the super-resolution process. In this work, we propose Self-Adaptive Reality-Guided Diffusion (SARGD), a training-free method that delves into the latent space to effectively identify and mitigate the propagation of artifacts. Our SARGD begins by using an artifact detector to identify implausible pixels, creating a binary mask that highlights artifacts. Following this, the Reality Guidance Refinement (RGR) process refines artifacts by integrating this mask with realistic latent representations, improving alignment with the original image. Nonetheless, initial realistic-latent representations from lower-quality images result in over-smoothing in the final output. To address this, we introduce a Self-Adaptive Guidance (SAG) mechanism. It dynamically computes a reality score, enhancing the sharpness of the realistic latent. These alternating mechanisms collectively achieve artifact-free super-resolution. Extensive experiments demonstrate the superiority of our method, delivering detailed artifact-free high-resolution images while reducing sampling steps by 2X. We release our code at https://github.com/ProAirVerse/Self-Adaptive-Guidance-Diffusion.git.


title: Bridging the Sim-to-Real Gap with Bayesian Inference

abstract: We present SIM-FSVGD for learning robot dynamics from data. As opposed to traditional methods, SIM-FSVGD leverages low-fidelity physical priors, e.g., in the form of simulators, to regularize the training of neural network models. While learning accurate dynamics already in the low data regime, SIM-FSVGD scales and excels also when more data is available. We empirically show that learning with implicit physical priors results in accurate mean model estimation as well as precise uncertainty quantification. We demonstrate the effectiveness of SIM-FSVGD in bridging the sim-to-real gap on a high-performance RC racecar system. Using model-based RL, we demonstrate a highly dynamic parking maneuver with drifting, using less than half the data compared to the state of the art.


title: Virtual Co-Pilot: Multimodal Large Language Model-enabled Quick-access Procedures for Single Pilot Operations

abstract: Advancements in technology, pilot shortages, and cost pressures are driving a trend towards single-pilot and even remote operations in aviation. Considering the extensive workload and huge risks associated with single-pilot operations, the development of a Virtual Co-Pilot (V-CoP) is expected to be a potential way to ensure aviation safety. This study proposes a V-CoP concept and explores how humans and virtual assistants can effectively collaborate. A preliminary case study is conducted to explore a critical role of V-CoP, namely automated quick procedures searching, using the multimodal large language model (LLM). The LLM-enabled V-CoP integrates the pilot instruction and real-time cockpit instrumental data to prompt applicable aviation manuals and operation procedures. The results showed that the LLM-enabled V-CoP achieved high accuracy in situational analysis and effective retrieval of procedure information. The results showed that the LLM-enabled V-CoP achieved high accuracy in situational analysis (90.5%) and effective retrieval of procedure information (86.5%). The proposed V-CoP is expected to provide a foundation for future virtual intelligent assistant development, improve the performance of single pilots, and reduce the risk of human errors in aviation.


title: Clustering Propagation for Universal Medical Image Segmentation

abstract: Prominent solutions for medical image segmentation are typically tailored for automatic or interactive setups, posing challenges in facilitating progress achieved in one task to another.$_{\!}$ This$_{\!}$ also$_{\!}$ necessitates$_{\!}$ separate$_{\!}$ models for each task, duplicating both training time and parameters.$_{\!}$ To$_{\!}$ address$_{\!}$ above$_{\!}$ issues,$_{\!}$ we$_{\!}$ introduce$_{\!}$ S2VNet,$_{\!}$ a$_{\!}$ universal$_{\!}$ framework$_{\!}$ that$_{\!}$ leverages$_{\!}$ Slice-to-Volume$_{\!}$ propagation$_{\!}$ to$_{\!}$ unify automatic/interactive segmentation within a single model and one training session. Inspired by clustering-based segmentation techniques, S2VNet makes full use of the slice-wise structure of volumetric data by initializing cluster centers from the cluster$_{\!}$ results$_{\!}$ of$_{\!}$ previous$_{\!}$ slice.$_{\!}$ This enables knowledge acquired from prior slices to assist in the segmentation of the current slice, further efficiently bridging the communication between remote slices using mere 2D networks. Moreover, such a framework readily accommodates interactive segmentation with no architectural change, simply by initializing centroids from user inputs. S2VNet distinguishes itself by swift inference speeds and reduced memory consumption compared to prevailing 3D solutions. It can also handle multi-class interactions with each of them serving to initialize different centroids. Experiments on three benchmarks demonstrate S2VNet surpasses task-specified solutions on both automatic/interactive setups.


title: Effect of Coriolis Force on Electrical Conductivity Tensor for Rotating Hadron Resonance Gas

abstract: We have investigated the influence of the Coriolis force on the electrical conductivity of hadronic matter formed in relativistic nuclear collisions, employing the Hadron Resonance Gas (HRG) model. A rotating matter in the peripheral heavy ion collisions can be expected from the initial stage of quark matter to late-stage hadronic matter. Present work is focused on rotating hadronic matter, whose medium constituents - hadron resonances can face a non-zero Coriolis force, which can influence the hadronic flow or conductivity. We estimate this conductivity tensor by using the relativistic Boltzmann transport equation. In the absence of Coriolis force, an isotropic conductivity tensor for hadronic matter is expected. However, our study finds that the presence of Coriolis force can generate an anisotropic conductivity tensor with three main conductivity components - parallel, perpendicular, and Hall, similar to the effect of Lorentz force at a finite magnetic field. Our study has indicated that a noticeable anisotropy of conductivity tensor can be found within the phenomenological range of angular velocity $\Omega= 0.001-0.02$ GeV and hadronic scattering radius $a=0.2-2$ fm.


title: On the Korteweg-de Vries limit for the Boussinesq equation

abstract: The Korteweg-de Vries (KdV) equation is known as a universal equation describing various long waves in dispersive systems. In this article, we prove that in a certain scaling regime, a large class of rough solutions to the Boussinesq equation are approximated by the sums of two counter-propagating waves solving the KdV equations. It extends the earlier result by \cite{Schneider1998} to slightly more regular than $L^2$-solutions. Our proof is based on robust Fourier analysis methods developed for the low regularity theory of nonlinear dispersive equations.


title: CLHA: A Simple yet Effective Contrastive Learning Framework for Human Alignment

abstract: Reinforcement learning from human feedback (RLHF) is a crucial technique in aligning large language models (LLMs) with human preferences, ensuring these LLMs behave in beneficial and comprehensible ways to users. However, a longstanding challenge in human alignment techniques based on reinforcement learning lies in their inherent complexity and difficulty in training. To address this challenge, we present a simple yet effective Contrastive Learning Framework for Human Alignment (CLHA) to align LLMs with human preferences directly. CLHA employs a novel rescoring strategy to evaluate the noise within the data by considering its inherent quality and dynamically adjusting the training process. Simultaneously, CLHA utilizes pairwise contrastive loss and adaptive supervised fine-tuning loss to adaptively modify the likelihood of generating responses, ensuring enhanced alignment with human preferences. Using advanced methods, CLHA surpasses other algorithms, showcasing superior performance in terms of reward model scores, automatic evaluations, and human assessments on the widely used ``Helpful and Harmless'' dataset.


title: Probing Stellar Clusters from Gaia DR2 as Galactic PeVatrons: I -- Expected Gamma-ray and Neutrino Emission

abstract: Young & massive stellar clusters (SCs) are a potential source of galactic cosmic rays up to very high energies as a result of two possible acceleration scenarios. Collective stellar winds from massive member stars form a wind-blown bubble with a termination shock (TS) at which particle acceleration to PeV energies may occur. Furthermore, shock acceleration may occur at SNRs expanding inside the bubble. By applying a model of CR acceleration at both the wind TS and SNR shocks to catalogues of known SCs derived from Gaia DR2, we identify the most promising targets to search for evidence of PeVatron activity. Predictions for the secondary fluxes of gamma-ray and neutrino emission are derived based on particle acceleration at the collective wind TS and the subsequent hadronic interactions with the surrounding medium. Predictions from our modelling under baseline and optimistic scenarios are compared to data, finding consistent results. We estimate the detection prospects for future gamma-ray and neutrino experiments. We find that degree-scale angular sizes of the wind-blown bubbles are typical, that may pose a challenge for experimental detection. A shortlist of the most promising candidates is provided, with an anticipated flux range. Of order 10 SCs may be detectable with future facilities, and 1-5 could be currently operating as PeVatrons. Of these, three gamma-ray detected SCs have data within our predicted range. Our model can consistently describe gamma-ray measurements of SC emission. Several further as-yet-undetected SCs offer promising targets for future observations, although the flux range allowed by our model can be large (> factor 10). The large angular size of the wind-blown bubble may lead to low surface brightness emission, worsening the problem of source confusion. Nevertheless, we discuss how further work will help to constrain SCs as PeVatron candidates. (abridged)


title: A short proof of the Dvoretzky--Kiefer--Wolfowitz--Massart inequality

abstract: The Dvoretzky--Kiefer--Wolfowitz--Massart inequality gives a sub-Gaussian tail bound on the supremum norm distance between the empirical distribution function of a random sample and its population counterpart. We provide a short proof of a result that improves the existing bound in two respects. First, our one-sided bound holds without any restrictions on the failure probability, thereby verifying a conjecture of Birnbaum and McCarty (1958). Second, it is local in the sense that it holds uniformly over sub-intervals of the real line with an error rate that adapts to the behaviour of the population distribution function on the interval.


title: Trajectory Planning of Robotic Manipulator in Dynamic Environment Exploiting DRL

abstract: This study is about the implementation of a reinforcement learning algorithm in the trajectory planning of manipulators. We have a 7-DOF robotic arm to pick and place the randomly placed block at a random target point in an unknown environment. The obstacle is randomly moving which creates a hurdle in picking the object. The objective of the robot is to avoid the obstacle and pick the block with constraints to a fixed timestamp. In this literature, we have applied a deep deterministic policy gradient (DDPG) algorithm and compared the model's efficiency with dense and sparse rewards.


title: Instantaneous Visual Analysis of Blood Flow in Stenoses Using Morphological Similarity

abstract: The emergence of computational fluid dynamics (CFD) enabled the simulation of intricate transport processes, including flow in physiological structures, such as blood vessels. While these so-called hemodynamic simulations offer groundbreaking opportunities to solve problems at the clinical forefront, a successful translation of CFD to clinical decision-making is challenging. Hemodynamic simulations are intrinsically complex, time-consuming, and resource-intensive, which conflicts with the time-sensitive nature of clinical workflows and the fact that hospitals usually do not have the necessary resources or infrastructure to support CFD simulations. To address these transfer challenges, we propose a novel visualization system which enables instant flow exploration without performing on-site simulation. To gain insights into the viability of the approach, we focus on hemodynamic simulations of the carotid bifurcation, which is a highly relevant arterial subtree in stroke diagnostics and prevention. We created an initial database of 120 high-resolution carotid bifurcation flow models and developed a set of similarity metrics used to place a new carotid surface model into a neighborhood of simulated cases with the highest geometric similarity. The neighborhood can be immediately explored and the flow fields analyzed. We found that if the artery models are similar enough in the regions of interest, a new simulation leads to coinciding results, allowing the user to circumvent individual flow simulations. We conclude that similarity-based visual analysis is a promising approach toward the usability of CFD in medical practice.


title: A Novel Loss Function-based Support Vector Machine for Binary Classification

abstract: The previous support vector machine(SVM) including $0/1$ loss SVM, hinge loss SVM, ramp loss SVM, truncated pinball loss SVM, and others, overlooked the degree of penalty for the correctly classified samples within the margin. This oversight affects the generalization ability of the SVM classifier to some extent. To address this limitation, from the perspective of confidence margin, we propose a novel Slide loss function ($\ell_s$) to construct the support vector machine classifier($\ell_s$-SVM). By introducing the concept of proximal stationary point, and utilizing the property of Lipschitz continuity, we derive the first-order optimality conditions for $\ell_s$-SVM. Based on this, we define the $\ell_s$ support vectors and working set of $\ell_s$-SVM. To efficiently handle $\ell_s$-SVM, we devise a fast alternating direction method of multipliers with the working set ($\ell_s$-ADMM), and provide the convergence analysis. The numerical experiments on real world datasets confirm the robustness and effectiveness of the proposed method.


title: Grammatical vs Spelling Error Correction: An Investigation into the Responsiveness of Transformer-based Language Models using BART and MarianMT

abstract: Text continues to remain a relevant form of representation for information. Text documents are created either in digital native platforms or through the conversion of other media files such as images and speech. While the digital native text is invariably obtained through physical or virtual keyboards, technologies such as OCR and speech recognition are utilized to transform the images and speech signals into text content. All these variety of mechanisms of text generation also introduce errors into the captured text. This project aims at analyzing different kinds of error that occurs in text documents. The work employs two of the advanced deep neural network-based language models, namely, BART and MarianMT, to rectify the anomalies present in the text. Transfer learning of these models with available dataset is performed to finetune their capacity for error correction. A comparative study is conducted to investigate the effectiveness of these models in handling each of the defined error categories. It is observed that while both models can bring down the erroneous sentences by 20+%, BART can handle spelling errors far better (24.6%) than grammatical errors (8.8%).


title: Graph Augmentation for Recommendation

abstract: Graph augmentation with contrastive learning has gained significant attention in the field of recommendation systems due to its ability to learn expressive user representations, even when labeled data is limited. However, directly applying existing GCL models to real-world recommendation environments poses challenges. There are two primary issues to address. Firstly, the lack of consideration for data noise in contrastive learning can result in noisy self-supervised signals, leading to degraded performance. Secondly, many existing GCL approaches rely on graph neural network (GNN) architectures, which can suffer from over-smoothing problems due to non-adaptive message passing. To address these challenges, we propose a principled framework called GraphAug. This framework introduces a robust data augmentor that generates denoised self-supervised signals, enhancing recommender systems. The GraphAug framework incorporates a graph information bottleneck (GIB)-regularized augmentation paradigm, which automatically distills informative self-supervision information and adaptively adjusts contrastive view generation. Through rigorous experimentation on real-world datasets, we thoroughly assessed the performance of our novel GraphAug model. The outcomes consistently unveil its superiority over existing baseline methods. The source code for our model is publicly available at: https://github.com/HKUDS/GraphAug.


title: Six new eccentric eclipsing systems with a third body

abstract: We present the discovery of six new triple stellar system candidates composed of an inner eccentric-orbit eclipsing binary with an apsidal motion. These stars were studied using new, precise TESS light curves and a long-term collection of older photometric ground-based data. These data were used for the monitoring of ETVs (eclipse timing variations) and to detect the slow apsidal movements along with additional periodic signals. The systems analysed were ASASSN-V J012214.37+643943.3 (orbital period 2.01156 d, eccentricity 0.15, third body with 3.3 yr period); ASASSN-V J052227.78+345257.6 (2.42673 d, 0.35, 3.2 yr); ASASSN-V J203158.98+410731.4 (2.53109 d, 0.20, 2.7 yr); ASASSN-V J230945.10+605349.3 (2.08957 d, 0.18, 2.3 yr); ASASSN-V J231028.27+590841.8 (2.41767 d, 0.43, 4.9 yr); and NSV 14698 (3.30047 d, 0.147, 0.5 yr). In the system ASASSN-V J230945.10+605349.3, we detected a second eclipsing pair (per 2.99252 d) and found adequate ETV for the pair B, proving its 2+2 bound quadruple nature. All of these detected systems deserve special attention from long-term studies for their three-body dynamics since their outer orbital periods are not too long and because some dynamical effects should be detectable during the next decades. The system NSV 14698 especially seems to be the most interesting from the dynamical point of view due to it having the shortest outer period of the systems we studied, its fast apsidal motion, and its possible orbital changes during the whole 20th century.


title: A classical Bousso bound for higher derivative corrections to general relativity

abstract: We prove the classical version of the covariant entropy bound (also known as the Bousso bound) in arbitrary diffeomorphism invariant gravitational theories. We focus on theories for which the higher derivative terms are considered as small corrections in the Lagrangian to Einstein's two-derivative theory of general relativity (GR). Even if the higher derivative corrections are treated perturbatively, we provide instances of specific configurations for which they can potentially violate the Bousso bound. To tackle this obstruction, we propose a modification in the Bousso bound that incorporates the offending contributions from the higher derivative corrections. Our proposed modifications are equivalent to replacing the Bekenstein-Hawking area term by Wald's definition (with dynamical corrections as suggested by Wall) for the black hole entropy. Hence, the modifications are physically well motivated by results from the laws of black hole mechanics in higher derivative theories.


title: The Directionality of Gravitational and Thermal Diffusive Transport in Geologic Fluid Storage

abstract: Diffusive transport has implications for the long-term status of underground storage of hydrogen (H$_2$) fuel and carbon dioxide (CO$_2$), technologies which are being pursued to mitigate climate change and advance the energy transition. Once injected underground, CO$_2$ and H$_2$ will exist in multiphase fluid-water-rock systems: being partially-soluble, injected fluids can flow through the porous rack in a connected plume, become disconnected and trapped as ganglia surrounded by groundwater within the storage rock pore space, and also dissolve and migrate through the aqueous phase. Recent analyses have focused on the concentration gradients induced by differing capillary pressure between fluid ganglia which can drive diffusive transport ("Ostwald ripening"). However, studies have neglected or excessively simplified important factors; namely: the non-ideality of gases under geologic conditions, the opposing equilibrium state of dissolved CO$_2$ and H$_2$ driven by the partial molar density of dissolved solutes, and entropic and thermodiffusive effects resulting from geothermal gradients. We conduct an analysis from thermodynamic first principles and use this to provide numerical estimates at conditions relevant to underground storage reservoirs. We show that entropic contributions to the free energy are so significant as to cause a reversal in the direction of diffusive transport in systems with geothermal gradients. For CO$_2$, even geothermal gradients less than 10 C/km induce downwards diffusion at depths relevant to storage. Diffusive transport of H$_2$ is less affected, but still reverses direction under typical gradients. Contrary to previous studies, we find that in diffusion and convection will likely work in concert - both driving CO$_2$ downwards, and both driving H$_2$ upwards - for conditions representative of their respective storage reservoirs.


title: Algorithms and data structures for numerical computations with automatic precision estimation

abstract: We introduce data structures and algorithms to count numerical inaccuracies arising from usage of floating numbers described in IEEE 754. Here we describe how to estimate precision for some collection of functions most commonly used for array manipulations and training of neural networks. For highly optimized functions like matrix multiplication, we provide a fast estimation of precision and some hint how the estimation can be strengthened.


title: Dynamics of Cayley Forms

abstract: The most natural first-order PDE's to be imposed on a Cayley 4-form in eight dimensions is the condition that it is closed. As is known, this implies integrability of the Spin(7) structure defined by the Cayley form, as well as Ricci-flatness of the associated metric. We address the question as to what the most natural second-order in derivatives set of conditions is. We start by constructing the most general diffeomorphism invariant second order in derivatives Lagrangian that is quadratic in the perturbations of the Cayley form. We find that there is a one-parameter family of such Lagrangians. We then describe a non-linear completion of the linear story. To this end, we parametrise the intrinsic torsion of a Spin(7) structure by a 3-form, and show that this 3-form is completely determined by the exterior derivative of the Cayley form. We construct an action functional, which depends on the Cayley 4-form and and auxiliary 3-form as independent variables. There is a unique functional whose Euler-Lagrange equation for the auxiliary 3-form states that it is equal to the torsion 3-form. There is, however, a more general one-parameter family of functionals that can be constructed, and we show how the linearisation of these functionals reproduces the linear story. For any member of our family of theories, the Euler-Lagrange equations are written only using the operator of exterior differentiation of forms, and do not require the knowledge of the metric-compatible Levi-Civita connection. Geometrically, there is a preferred member in the family of Lagrangians, and we propose that its Euler-Lagrange equations are the most natural second-order equations to be satisfied by Cayley forms. Our construction also leads to a natural geometric flow in the space of Cayley forms, defined as the gradient flow of our action functional.


title: RU22Fact: Optimizing Evidence for Multilingual Explainable Fact-Checking on Russia-Ukraine Conflict

abstract: Fact-checking is the task of verifying the factuality of a given claim by examining the available evidence. High-quality evidence plays a vital role in enhancing fact-checking systems and facilitating the generation of explanations that are understandable to humans. However, the provision of both sufficient and relevant evidence for explainable fact-checking systems poses a challenge. To tackle this challenge, we propose a method based on a Large Language Model to automatically retrieve and summarize evidence from the Web. Furthermore, we construct RU22Fact, a novel multilingual explainable fact-checking dataset on the Russia-Ukraine conflict in 2022 of 16K samples, each containing real-world claims, optimized evidence, and referenced explanation. To establish a baseline for our dataset, we also develop an end-to-end explainable fact-checking system to verify claims and generate explanations. Experimental results demonstrate the prospect of optimized evidence in increasing fact-checking performance and also indicate the possibility of further progress in the end-to-end claim verification and explanation generation tasks.


title: Phase separation dynamics in a symmetric binary mixture of ultrasoft particles

abstract: Phase separation plays an role in determining the self-assembly of biological and soft-matter systems. In biological systems, liquid-liquid phase separation inside a cell leads to the formation of various macromolecular aggregates. The interaction among these aggregates is soft, i.e., these can significantly overlap at a small energy cost. From the computer simulation point of view, these complex macromolecular aggregates are generally modeled by the so-called soft particles. The effective interaction between two particles is defined via the generalized exponential potential (GEM-n) with n = 4. Here, using molecular dynamics simulations, we study the phase separation dynamics of a size-symmetric binary mixture of ultrasoft particles. We find that when the mixture is quenched to a lower temperature below the critical temperature, the two components spontaneously start to separate. Domains of the two components form, and the equal-time order parameter reveals that the domains grow in a power-law manner with exponent 1/3, which is consistent with the Lifshitz-Slyozov law for conserved systems. Further, the static structure factor shows a power-law decay with exponent 4 consistent with the Porod law.


title: Skill Q-Network: Learning Adaptive Skill Ensemble for Mapless Navigation in Unknown Environments

abstract: This paper focuses on the acquisition of mapless navigation skills within unknown environments. We introduce the Skill Q-Network (SQN), a novel reinforcement learning method featuring an adaptive skill ensemble mechanism. Unlike existing methods, our model concurrently learns a high-level skill decision process alongside multiple low-level navigation skills, all without the need for prior knowledge. Leveraging a tailored reward function for mapless navigation, the SQN is capable of learning adaptive maneuvers that incorporate both exploration and goal-directed skills, enabling effective navigation in new environments. Our experiments demonstrate that our SQN can effectively navigate complex environments, exhibiting a 40% higher performance compared to baseline models. Without explicit guidance, SQN discovers how to combine low-level skill policies, showcasing both goal-directed navigations to reach destinations and exploration maneuvers to escape from local minimum regions in challenging scenarios. Remarkably, our adaptive skill ensemble method enables zero-shot transfer to out-of-distribution domains, characterized by unseen observations from non-convex obstacles or uneven, subterranean-like environments.


title: Adaptive Frequency Bin Interval in FFT via Dense Sampling Factor $\alpha$

abstract: The Fast Fourier Transform (FFT) is a fundamental tool for signal analysis, widely used across various fields. However, traditional FFT methods encounter challenges in adjusting the frequency bin interval, which may impede accurate spectral analysis. In this study, we propose a method for adjusting the frequency bin interval in FFT by introducing a parameter $\alpha$. We elucidate the underlying principles of the proposed method and discuss its potential applications across various contexts. Our findings suggest that the proposed method offers a promising approach to overcome the limitations of traditional FFT methods and enhance spectral analysis accuracy.


title: Revisiting the Sleeping Beauty problem

abstract: The Sleeping Beauty problem is a probability riddle with no definite solution for more than two decades and its solution is of great interest in many fields of knowledge. There are two main competing solutions to the problem: the halfer approach, and the thirder approach. The main reason for disagreement in the literature is connected to the use of different probability spaces to represent the same probabilistic riddle. In this work, we analyse the problem from a mathematical perspective, identifying probability distributions induced directly from the thought experiment's rules. The precise choices of probability spaces provide both halfer and thirder solutions to the problem. To try and decide on which approach to follow, a criterion involving the information available to Sleeping Beauty is proposed.


title: Deep Reinforcement Learning and Mean-Variance Strategies for Responsible Portfolio Optimization

abstract: Portfolio optimization involves determining the optimal allocation of portfolio assets in order to maximize a given investment objective. Traditionally, some form of mean-variance optimization is used with the aim of maximizing returns while minimizing risk, however, more recently, deep reinforcement learning formulations have been explored. Increasingly, investors have demonstrated an interest in incorporating ESG objectives when making investment decisions, and modifications to the classical mean-variance optimization framework have been developed. In this work, we study the use of deep reinforcement learning for responsible portfolio optimization, by incorporating ESG states and objectives, and provide comparisons against modified mean-variance approaches. Our results show that deep reinforcement learning policies can provide competitive performance against mean-variance approaches for responsible portfolio allocation across additive and multiplicative utility functions of financial and ESG responsibility objectives.


title: Who is bragging more online? A large scale analysis of bragging in social media

abstract: Bragging is the act of uttering statements that are likely to be positively viewed by others and it is extensively employed in human communication with the aim to build a positive self-image of oneself. Social media is a natural platform for users to employ bragging in order to gain admiration, respect, attention and followers from their audiences. Yet, little is known about the scale of bragging online and its characteristics. This paper employs computational sociolinguistics methods to conduct the first large scale study of bragging behavior on Twitter (U.S.) by focusing on its overall prevalence, temporal dynamics and impact of demographic factors. Our study shows that the prevalence of bragging decreases over time within the same population of users. In addition, younger, more educated and popular users in the U.S. are more likely to brag. Finally, we conduct an extensive linguistics analysis to unveil specific bragging themes associated with different user traits.


title: Domain Adaptive Detection of MAVs: A Benchmark and Noise Suppression Network

abstract: Visual detection of Micro Air Vehicles (MAVs) has attracted increasing attention in recent years due to its important application in various tasks. The existing methods for MAV detection assume that the training set and testing set have the same distribution. As a result, when deployed in new domains, the detectors would have a significant performance degradation due to domain discrepancy. In this paper, we study the problem of cross-domain MAV detection. The contributions of this paper are threefold. 1) We propose a Multi-MAV-Multi-Domain (M3D) dataset consisting of both simulation and realistic images. Compared to other existing datasets, the proposed one is more comprehensive in the sense that it covers rich scenes, diverse MAV types, and various viewing angles. A new benchmark for cross-domain MAV detection is proposed based on the proposed dataset. 2) We propose a Noise Suppression Network (NSN) based on the framework of pseudo-labeling and a large-to-small training procedure. To reduce the challenging pseudo-label noises, two novel modules are designed in this network. The first is a prior-based curriculum learning module for allocating adaptive thresholds for pseudo labels with different difficulties. The second is a masked copy-paste augmentation module for pasting truly-labeled MAVs on unlabeled target images and thus decreasing pseudo-label noises. 3) Extensive experimental results verify the superior performance of the proposed method compared to the state-of-the-art ones. In particular, it achieves mAP of 46.9%(+5.8%), 50.5%(+3.7%), and 61.5%(+11.3%) on the tasks of simulation-to-real adaptation, cross-scene adaptation, and cross-camera adaptation, respectively.


title: Probabilistic bivariate Bell polynomials

abstract: Let Y be a random variable whose moment generating function exists in some neighborhood of the origin. We consider the probabilistic bivariate Bell polynomials associated with Y and the probabilistic bivariate r-Bell polynomials associated with Y. For those polynomials, we derive the recurrence relations corresponding to the ones found by Zheng and Li for the bivariate Bell polynomials and the bivariate r-Bell polynomials.


title: Twisted conjugacy in dihedral Artin groups I: Torus Knot groups

abstract: In this paper we provide an alternative solution to a result by Juh\'{a}sz that the twisted conjugacy problem for odd dihedral Artin groups is solvable, that is, groups with presentation $G(m) = \langle a,b \; | \; _{m}(a,b) = {}_{m}(b,a) \rangle$, where $m\geq 3$ is odd, and $_{m}(a,b)$ is the word $abab \dots$ of length $m$, is solvable. Our solution provides an implementable linear time algorithm, by considering an alternative group presentation to that of a torus knot group, and working with geodesic normal forms. An application of this result is that the conjugacy problem is solvable in extensions of odd dihedral Artin groups.


title: Magnetic Order in Honeycomb Layered U$_2$Pt$_6$Ga$_{15}$ Studied by Resonant X-ray and Neutron Scatterings

abstract: Antiferromagnetic (AF) order of U$_{2}$Pt$_{6}$Ga$_{15}$ with the ordering temperature $T_{\rm N}$ = 26 K was investigated by resonant X-ray scattering and neutron diffraction on single crystals. This compound possesses a unique crystal structure in which uranium ions form honeycomb layers and then stacks along the $c$-axis with slight offset, which gives rise to a stacking disorder. The AF order can be described with the propagation vector of $q = (1/6, 1/6, 0)$ in the hexagonal notation. The ordered magnetic moments orient perpendicular to the honeycomb layers, indicating a collinear spin structure consistent with Ising-like anisotropy. The magnetic reflections are found to be broadened along $c^*$ indicating that the stacking disorder results in anisotropic correlation lengths. The semi-quantitative analysis of neutron diffraction intensity, combined with group theory considerations based on the crystallographic symmetry, suggests a zig-zag type magnetic structure for the AF ground state, in which the AF coupling runs perpendicular to the stacking offset, characterized as $q = (1, 0, 0)_{\rm orth}$. The realization of the zig-zag magnetic structure implies the presence of frustrating intralayer exchange interactions involving both ferromagnetic (FM) first-neighbor and AF second and third-neighbor interactions in this compound.


title: Quasi-randomization tests for network interference

abstract: Many classical inferential approaches fail to hold when interference exists among the population units. This amounts to the treatment status of one unit affecting the potential outcome of other units in the population. Testing for such spillover effects in this setting makes the null hypothesis non-sharp. An interesting approach to tackling the non-sharp nature of the null hypothesis in this setup is constructing conditional randomization tests such that the null is sharp on the restricted population. In randomized experiments, conditional randomized tests hold finite sample validity. Such approaches can pose computational challenges as finding these appropriate sub-populations based on experimental design can involve solving an NP-hard problem. In this paper, we view the network amongst the population as a random variable instead of being fixed. We propose a new approach that builds a conditional quasi-randomization test. Our main idea is to build the (non-sharp) null distribution of no spillover effects using random graph null models. We show that our method is exactly valid in finite-samples under mild assumptions. Our method displays enhanced power over other methods, with substantial improvement in complex experimental designs. We highlight that the method reduces to a simple permutation test, making it easy to implement in practice. We conduct a simulation study to verify the finite-sample validity of our approach and illustrate our methodology to test for interference in a weather insurance adoption experiment run in rural China.


title: Understanding the Functional Roles of Modelling Components in Spiking Neural Networks

abstract: Spiking neural networks (SNNs), inspired by the neural circuits of the brain, are promising in achieving high computational efficiency with biological fidelity. Nevertheless, it is quite difficult to optimize SNNs because the functional roles of their modelling components remain unclear. By designing and evaluating several variants of the classic model, we systematically investigate the functional roles of key modelling components, leakage, reset, and recurrence, in leaky integrate-and-fire (LIF) based SNNs. Through extensive experiments, we demonstrate how these components influence the accuracy, generalization, and robustness of SNNs. Specifically, we find that the leakage plays a crucial role in balancing memory retention and robustness, the reset mechanism is essential for uninterrupted temporal processing and computational efficiency, and the recurrence enriches the capability to model complex dynamics at a cost of robustness degradation. With these interesting observations, we provide optimization suggestions for enhancing the performance of SNNs in different scenarios. This work deepens the understanding of how SNNs work, which offers valuable guidance for the development of more effective and robust neuromorphic models.


title: Self-similar solutions in cylindrical magneto-hydrodynamic blast waves with energy injection at the centre

abstract: The evolution of shocks induced by massive stars does not depend only on the ambient magnetic field strength, but also on its orientation. In the present work, the dynamics of a magnetized blast wave is investigated under the influence of both azimuthal and axial ambient magnetic fields. The blast wave is driven by a central source and forms a shell that results from the accumulation of interstellar matter behind the shock front. A similarity form of the ambient magnetic field and a cylindrical geometry of the blast wave are assumed to obtain self-similar solutions. The model is studied separately for both azimuthal and axial magnetic field and applied to stellar wind bubbles and supernova remnants respectively, using 1D numerical simulations. We found that the magnetized blast wave differs from the self-similar case without an ambient magnetic field. The forward shock front goes slower in the azimuthal case and faster in the axial one. For both tangential orientations, the thickness of the shell increases with the magnetic strength. In the azimuthal case, the thermal energy can be converted to magnetic energy near the inner boundary of the shell. Thus, the temperature drops and the magnetic field increases at the tangential discontinuity of the stellar wind bubble. In the axial case of a supernova remnant, the numerical solution al w ays follows a special curve in the parameter space given by the self-similar model.


title: Design and Performance of Resonant Beam Communications -- Part I: Quasi-Static Scenario

abstract: This two-part paper studies a point-to-point resonant beam communication (RBCom) system, where two separately deployed retroreflectors are adopted to generate the resonant beam between the transmitter and the receiver, and analyzes the transmission rate of the considered system under both the quasi-static and mobile scenarios. Part I of this paper focuses on the quasi-static scenario where the locations of the transmitter and the receiver are relatively fixed. Specifically, we propose a new information-bearing scheme which adopts a synchronization-based amplitude modulation method to mitigate the echo interference caused by the reflected resonant beam. With this scheme, we show that the quasi-static RBCom channel is equivalent to a Markov channel and can be further simplified as an amplitude-constrained additive white Gaussian noise channel. Moreover, we develop an algorithm that jointly employs the bisection and exhaustive search to maximize its capacity upper and lower bounds. Finally, numerical results validate our analysis. Part II of this paper discusses the performance of the RBCom system under the mobile scenario.


title: FOOL: Addressing the Downlink Bottleneck in Satellite Computing with Neural Feature Compression

abstract: Nanosatellite constellations equipped with sensors capturing large geographic regions provide unprecedented opportunities for Earth observation. As constellation sizes increase, network contention poses a downlink bottleneck. Orbital Edge Computing (OEC) leverages limited onboard compute resources to reduce transfer costs by processing the raw captures at the source. However, current solutions have limited practicability due to reliance on crude filtering methods or over-prioritizing particular downstream tasks. This work presents FOOL, an OEC-native and task-agnostic feature compression method that preserves prediction performance. FOOL partitions high-resolution satellite imagery to maximize throughput. Further, it embeds context and leverages inter-tile dependencies to lower transfer costs with negligible overhead. While FOOL is a feature compressor, it can recover images with competitive scores on perceptual quality measures at lower bitrates. We extensively evaluate transfer cost reduction by including the peculiarity of intermittently available network connections in low earth orbit. Lastly, we test the feasibility of our system for standardized nanosatellite form factors. We demonstrate that FOOL permits downlinking over 100x the data volume without relying on prior information on the downstream tasks.


title: DeepGleason: a System for Automated Gleason Grading of Prostate Cancer using Deep Neural Networks

abstract: Advances in digital pathology and artificial intelligence (AI) offer promising opportunities for clinical decision support and enhancing diagnostic workflows. Previous studies already demonstrated AI's potential for automated Gleason grading, but lack state-of-the-art methodology and model reusability. To address this issue, we propose DeepGleason: an open-source deep neural network based image classification system for automated Gleason grading using whole-slide histopathology images from prostate tissue sections. Implemented with the standardized AUCMEDI framework, our tool employs a tile-wise classification approach utilizing fine-tuned image preprocessing techniques in combination with a ConvNeXt architecture which was compared to various state-of-the-art architectures. The neural network model was trained and validated on an in-house dataset of 34,264 annotated tiles from 369 prostate carcinoma slides. We demonstrated that DeepGleason is capable of highly accurate and reliable Gleason grading with a macro-averaged F1-score of 0.806, AUC of 0.991, and Accuracy of 0.974. The internal architecture comparison revealed that the ConvNeXt model was superior performance-wise on our dataset to established and other modern architectures like transformers. Furthermore, we were able to outperform the current state-of-the-art in tile-wise fine-classification with a sensitivity and specificity of 0.94 and 0.98 for benign vs malignant detection as well as of 0.91 and 0.75 for Gleason 3 vs Gleason 4 & 5 classification, respectively. Our tool contributes to the wider adoption of AI-based Gleason grading within the research community and paves the way for broader clinical application of deep learning models in digital pathology. DeepGleason is open-source and publicly available for research application in the following Git repository: https://github.com/frankkramer-lab/DeepGleason.


title: Giant tunability of magnetoelasticity in Fe$_4$N system: Platform for unveiling correlation between magnetostriction and magnetic damping

abstract: Flexible spintronics has opened new avenue to promising devices and applications in the field of wearable electronics. Particularly, miniaturized strain sensors exploiting the spintronic function have attracted considerable attention, in which the magnetoelasticity linking magnetism and lattice distortion is a vital property for high-sensitive detection of strain. This paper reports the demonstration that the magnetoelastic properties of Fe$_4$N can be significantly varied by partially replacing Fe with Co or Mn. The high quality Fe$_4$N film exhibits large negative magnetostriction along the [100] direction ($\lambda_{100}$) of -121 ppm while Fe$_{3.2}$Co$_{0.8}$N shows $\lambda_{100}$ of +46 ppm. This wide-range tunability of $\lambda_{100}$ from -121 to +46 across 0 allows us to thoroughly examine the correlation between the magnetoelasticity and other magnetic properties. The strong correlation between $\lambda_{100}$ and magnetic damping ($\alpha$) is found. The enhanced extrinsic term of $\alpha$ is attributable to the large two magnon scattering coming from the large magnetostriction. In addition, the density of states at the Fermi level plays a primal role to determine both $\lambda_{100}$ and the intrinsic term of $\alpha$. Thanks to the giant tunability and the bipolarity of magnetoelasticity, magnetic nitrides are candidate materials for high-sensitive spintronic strain sensors.


title: Symmetric Basis Convolutions for Learning Lagrangian Fluid Mechanics

abstract: Learning physical simulations has been an essential and central aspect of many recent research efforts in machine learning, particularly for Navier-Stokes-based fluid mechanics. Classic numerical solvers have traditionally been computationally expensive and challenging to use in inverse problems, whereas Neural solvers aim to address both concerns through machine learning. We propose a general formulation for continuous convolutions using separable basis functions as a superset of existing methods and evaluate a large set of basis functions in the context of (a) a compressible 1D SPH simulation, (b) a weakly compressible 2D SPH simulation, and (c) an incompressible 2D SPH Simulation. We demonstrate that even and odd symmetries included in the basis functions are key aspects of stability and accuracy. Our broad evaluation shows that Fourier-based continuous convolutions outperform all other architectures regarding accuracy and generalization. Finally, using these Fourier-based networks, we show that prior inductive biases, such as window functions, are no longer necessary. An implementation of our approach, as well as complete datasets and solver implementations, is available at https://github.com/tum-pbs/SFBC.


title: A note on generalization bounds for losses with finite moments

abstract: This paper studies the truncation method from Alquier [1] to derive high-probability PAC-Bayes bounds for unbounded losses with heavy tails. Assuming that the $p$-th moment is bounded, the resulting bounds interpolate between a slow rate $1 / \sqrt{n}$ when $p=2$, and a fast rate $1 / n$ when $p \to \infty$ and the loss is essentially bounded. Moreover, the paper derives a high-probability PAC-Bayes bound for losses with a bounded variance. This bound has an exponentially better dependence on the confidence parameter and the dependency measure than previous bounds in the literature. Finally, the paper extends all results to guarantees in expectation and single-draw PAC-Bayes. In order to so, it obtains analogues of the PAC-Bayes fast rate bound for bounded losses from [2] in these settings.


title: CHANG-ES. XXX. 10 kpc Radio Lobes in The Sombrero Galaxy

abstract: We report the discovery of the 10 kilo-parsec (kpc) scale radio lobes in the Sombrero galaxy (NGC 4594), using data from the Continuum Halos in Nearby Galaxies - an Expanded Very Large Array (VLA) Survey (CHANG-ES) project. We further examine the balance between the magnetic pressure inside the lobes and the thermal pressure of the ambient hot gas. At the radii $r$ of ~(1-10) kpc, the magnetic pressure inside the lobes and the thermal pressure of the ambient hot gas are generally in balance. This implies that the jets could expand into the surroundings at least to r ~ 10 kpc. The feedback from the active galactic nucleus (AGN) jet responsible for the large-scale lobes may help to explain the unusually high X-ray luminosity of this massive quiescent isolated disk galaxy, although more theoretical work is needed to further examine this possibility.


title: Optimal Mass Transport of Nonlinear Systems under Input and Density Constraints

abstract: We investigate optimal mass transport problem of affine-nonlinear dynamical systems with input and density constraints. Three algorithms are proposed to tackle this problem, including two Uzawa-type methods and a splitting algorithm based on the Douglas-Rachford algorithm. Some preliminary simulation results are presented to demonstrate the effectiveness of our approaches.


title: Electrically tunable, rapid spin-orbit torque induced modulation of colossal magnetoresistance in Mn$_3$Si$_2$Te$_6$ nanoflakes

abstract: As a quasi-layered ferrimagnetic material, Mn$_3$Si$_2$Te$_6$ nanoflakes exhibit magnetoresistance behaviour that is fundamentally different from their bulk crystal counterparts. They offer three key properties crucial for spintronics. Firstly, at least 10^6 times faster response comparing to that exhibited by bulk crystals has been observed in current-controlled resistance and magnetoresistance. Secondly, ultra-low current density is required for resistance modulation (~ 5 A/cm$^2$). Thirdly, electrically gate-tunable magnetoresistance has been realized. Theoretical calculations reveal that the unique magnetoresistance behaviour in the Mn$_3$Si$_2$Te$_6$ nanoflakes arises from a magnetic field induced band gap shift across the Fermi level. The rapid current induced resistance variation is attributed to spin-orbit torque, an intrinsically ultra-fast process (~nanoseconds). This study suggests promising avenues for spintronic applications. In addition, it highlights Mn$_3$Si$_2$Te$_6$ nanoflakes as a suitable platform for investigating the intriguing physics underlying chiral orbital moments, magnetic field induced band variation and spin torque.


title: ToXCL: A Unified Framework for Toxic Speech Detection and Explanation

abstract: The proliferation of online toxic speech is a pertinent problem posing threats to demographic groups. While explicit toxic speech contains offensive lexical signals, implicit one consists of coded or indirect language. Therefore, it is crucial for models not only to detect implicit toxic speech but also to explain its toxicity. This draws a unique need for unified frameworks that can effectively detect and explain implicit toxic speech. Prior works mainly formulated the task of toxic speech detection and explanation as a text generation problem. Nonetheless, models trained using this strategy can be prone to suffer from the consequent error propagation problem. Moreover, our experiments reveal that the detection results of such models are much lower than those that focus only on the detection task. To bridge these gaps, we introduce ToXCL, a unified framework for the detection and explanation of implicit toxic speech. Our model consists of three modules: a (i) Target Group Generator to generate the targeted demographic group(s) of a given post; an (ii) Encoder-Decoder Model in which the encoder focuses on detecting implicit toxic speech and is boosted by a (iii) Teacher Classifier via knowledge distillation, and the decoder generates the necessary explanation. ToXCL achieves new state-of-the-art effectiveness, and outperforms baselines significantly.


title: JWST MIRI Flight Performance: Imaging

abstract: The Mid-Infrared Instrument (MIRI) aboard the James Webb Space Telescope (JWST) provides the observatory with a huge advance in mid-infrared imaging and spectroscopy covering the wavelength range of 5 to 28 microns. This paper describes the performance and characteristics of the MIRI imager as understood during observatory commissioning activities, and through its first year of science operations. We discuss the measurements and results of the imager's point spread function, flux calibration, background, distortion and flat fields as well as results pertaining to best observing practices for MIRI imaging, and discuss known imaging artefacts that may be seen during or after data processing. Overall, we show that the MIRI imager has met or exceeded all its pre-flight requirements, and we expect it to make a significant contribution to mid-infrared science for the astronomy community for years to come.


title: Investigation of the effectiveness of applying ChatGPT in Dialogic Teaching Using Electroencephalography

abstract: In recent years, the rapid development of artificial intelligence technology, especially the emergence of large language models (LLMs) such as ChatGPT, has presented significant prospects for application in the field of education. LLMs possess the capability to interpret knowledge, answer questions, and consider context, thus providing support for dialogic teaching to students. Therefore, an examination of the capacity of LLMs to effectively fulfill instructional roles, thereby facilitating student learning akin to human educators within dialogic teaching scenarios, is an exceptionally valuable research topic. This research recruited 34 undergraduate students as participants, who were randomly divided into two groups. The experimental group engaged in dialogic teaching using ChatGPT, while the control group interacted with human teachers. Both groups learned the histogram equalization unit in the information-related course "Digital Image Processing". The research findings show comparable scores between the two groups on the retention test. However, students who engaged in dialogue with ChatGPT exhibited lower performance on the transfer test. Electroencephalography data revealed that students who interacted with ChatGPT exhibited higher levels of cognitive activity, suggesting that ChatGPT could help students establish a knowledge foundation and stimulate cognitive activity. However, its strengths on promoting students. knowledge application and creativity were insignificant. Based upon the research findings, it is evident that ChatGPT cannot fully excel in fulfilling teaching tasks in the dialogue teaching in information related courses. Combining ChatGPT with traditional human teachers might be a more ideal approach. The synergistic use of both can provide students with more comprehensive learning support, thus contributing to enhancing the quality of teaching.


title: Optimal convex $M$-estimation via score matching

abstract: In the context of linear regression, we construct a data-driven convex loss function with respect to which empirical risk minimisation yields optimal asymptotic variance in the downstream estimation of the regression coefficients. Our semiparametric approach targets the best decreasing approximation of the derivative of the log-density of the noise distribution. At the population level, this fitting process is a nonparametric extension of score matching, corresponding to a log-concave projection of the noise distribution with respect to the Fisher divergence. The procedure is computationally efficient, and we prove that our procedure attains the minimal asymptotic covariance among all convex $M$-estimators. As an example of a non-log-concave setting, for Cauchy errors, the optimal convex loss function is Huber-like, and our procedure yields an asymptotic efficiency greater than 0.87 relative to the oracle maximum likelihood estimator of the regression coefficients that uses knowledge of this error distribution; in this sense, we obtain robustness without sacrificing much efficiency. Numerical experiments confirm the practical merits of our proposal.


title: Synapse: Learning Preferential Concepts from Visual Demonstrations

abstract: This paper addresses the problem of preference learning, which aims to learn user-specific preferences (e.g., "good parking spot", "convenient drop-off location") from visual input. Despite its similarity to learning factual concepts (e.g., "red cube"), preference learning is a fundamentally harder problem due to its subjective nature and the paucity of person-specific training data. We address this problem using a new framework called Synapse, which is a neuro-symbolic approach designed to efficiently learn preferential concepts from limited demonstrations. Synapse represents preferences as neuro-symbolic programs in a domain-specific language (DSL) that operates over images, and leverages a novel combination of visual parsing, large language models, and program synthesis to learn programs representing individual preferences. We evaluate Synapse through extensive experimentation including a user case study focusing on mobility-related concepts in mobile robotics and autonomous driving. Our evaluation demonstrates that Synapse significantly outperforms existing baselines as well as its own ablations. The code and other details can be found on the project website https://amrl.cs.utexas.edu/synapse .


title: The Compton scientific mission in Brazil in 1941: a perspective from national newspaper and documents of the time

abstract: Starting from the perspective of reports published in Brazilian newspapers at the time, as well as letters exchanged between scientists who worked in Brazil and North American colleagues and documents from the symposium on cosmic rays, a chronological sequence of how the so-called Compton mission in Brazil took place and was perceived by the literate public will be presented.


title: Asymptotic and non-asymptotic results for a binary additive problem involving Piatetski-Shapiro numbers

abstract: For all $\alpha_1,\alpha_2\in(1,2)$ with $1/\alpha_1+1/\alpha_2>5/3$, we show that the number of pairs $(n_1,n_2)$ of positive integers with $N=\lfloor{n_1^{\alpha_1}}\rfloor+\lfloor{n_2^{\alpha_2}}\rfloor$ is equal to $\Gamma(1+1/\alpha_1)\Gamma(1+1/\alpha_2)\Gamma(1/\alpha_1+1/\alpha_2)^{-1}N^{1/\alpha_1+1/\alpha_2-1} + o(N^{1/\alpha_1+1/\alpha_2-1})$ as $N\to\infty$, where $\Gamma$ denotes the gamma function. Moreover, we show a non-asymptotic result for the same counting problem when $\alpha_1,\alpha_2\in(1,2)$ lie in a larger range than the above. Finally, we give some asymptotic formulas for similar counting problems in a heuristic way.


title: Selective laser etching of displays: Closing the gap between optical simulations and fabrication

abstract: Simulations and measurements on selective laser etching of display glasses are reported. By means of a holographic 3D beam splitter, ultrashort laser pulses are focused inside the volume of a glass sample creating type III modifications along a specific trajectory like pearls on a string. Superimposed by a feed of the glass sample a full 3D area of modifications is achieved building the cornerstone for subsequent etch processes. Based on KOH the modifications are selectively etched at a much higher rate compared to unmodified regions resulting in a separation of the glass along the trajectory of modifications. For gaining further insight into the etch process, we perform simulations on this wet chemical process and compare it to our experimental results.


title: Interior Schauder estimates for fractional elliptic equations in nondivergence form

abstract: We obtain sharp interior Schauder estimates for solutions to nonlocal Poisson problems driven by fractional powers of nondivergence form elliptic operators $(-a^{ij}(x) \partial_{ij})^s$, for $0<s<1$, in bounded domains under minimal regularity assumptions on the coefficients $a^{ij}(x)$. Solutions to the fractional problem are characterized by a local degenerate/singular extension problem. We introduce a novel notion of viscosity solutions for the extension problem and implement Caffarelli's perturbation methodology in the corresponding degenerate/singular Monge--Amp\`ere geometry to prove Schauder estimates in the extension. This in turn implies interior Schauder estimates for solutions to the fractional nonlocal equation. Furthermore, we prove a new Hopf lemma, the interior Harnack inequality and H\"older regularity in the Monge--Amp\`ere geometry for viscosity solutions to the extension problem.