title: Developing correlation-consistent numeric atom-centered orbital basis sets for Krypton: Applications in RPA-based correlated calculations

abstract: Localized atomic orbitals are the preferred basis-set choice for large-scale explicit correlated calculations, and high-quality hierarchical correlation-consistent basis sets are a prerequisite for correlated methods to deliver numerically reliable results. At present, Numeric Atom-centered Orbital (NAO) basis sets with valence correlation consistency (VCC), designated as NAO-VCC-$n$Z, are only available for light elements from hydrogen (H) to argon (Ar) (\textit{New J. Phys.} \textbf{15}, 123033, (2013) ). In this work, we extend this series by developing NAO-VCC-$n$Z basis sets for krypton (Kr), a prototypical element in the fourth row of periodic table. We demonstrate that NAO-VCC-$n$Z basis sets facilitate the convergence of electronic total-energy calculations using the Random Phase Approximation (RPA), which can be used together with a two-point extrapolation scheme to approach the complete-basis-set (CBS) limit. Notably, the Basis Set Superposition Error (BSSE) associated with the newly generated NAO basis sets is minimal, making them suitable for applications where BSSE correction is either cumbersome or impractical to do. After confirming the reliability of NAO basis sets for Kr, we proceed to calculate the Helmholtz free energy for Kr crystal at the theoretical level of RPA plus renormalized single excitation (rSE) correction. From this, we derive the pressure-volume ($P$-$V$) diagram, which shows excellent agreement with the latest experimental data. Our work demonstrates the capability of correlation-consistent NAO basis sets for heavy elements, paving the way toward numerically reliable correlated calculations for bulk materials.


title: On Wolfgang Lusky's paper "The Gurarij spaces are unique''

abstract: This note surveys Wolfgang Lusky's proof of uniqueness of the Gurariy spaces and mentions further developments.


title: Harmonic analysis operators in the rational Dunkl settings

abstract: In this paper we study harmonic analysis operators in Dunkl settings associated with finite reflection groups on Euclidean spaces. We consider maximal operators, Littlewood-Paley functions, $\rho$-variation and oscillation operators involving time derivatives of the heat semigroup generated by Dunkl operators. We establish the boundedness properties of these operators in $L^p(\mathbb R^d,\omega _\mathfrak K)$, $1\leq p < 1$, Hardy spaces, BMO and BLO-type spaces in the Dunkl settings. The study of harmonic analysis operators associated to reflection groups need different strategies from the ones used in the Euclidean case since the integral kernels of the operators admit estimations involving two different metrics, namely, the Euclidean and the orbit metrics. For instance, the classical Calder\'on-Zygmund theory for singular integrals does not work in this setting.


title: Note on asymptotic symmetry of massless scalar field at null infinity

abstract: In this article we address the question of asymptotic symmetry of massless scalar field at null infinity. We slightly generalize notion of asymptotic symmetry in order to make sense for the theory without gauge symmetry. Derivations of the results are done in two different ways, using Hamiltonian analysis and using covariant phase space. The results are in agreement with the ones previously obtained by various authors for dual 2-form field and with the results obtained starting from scalar soft theorem.


title: Two involutions on binary trees and generalizations

abstract: This paper investigates two involutions on binary trees. One is the mirror symmetry of binary trees which combined with the classical bijection $\varphi$ between binary trees and plane trees answers an open problem posed by Bai and Chen. This involution can be generalized to weakly increasing trees, which admits to merge two recent equidistributions found by Bai--Chen and Chen--Fu, respectively. The other one is constructed to answer a bijective problem on di-sk trees asked by Fu--Lin--Wang and can be generalized naturally to rooted labeled trees. This second involution combined with $\varphi$ leads to a new statistic on plane trees whose distribution gives the Catalan's triangle. Moreover, a quadruple equidistribution on plane trees involving this new statistic is proved via a recursive bijection.


title: Minkowski space from quantum mechanics

abstract: Penrose's Spin Geometry Theorem is extended further, from $SU(2)$ and $E(3)$ (Euclidean) to $E(1,3)$ (Poincar\'e) invariant elementary quantum mechanical systems. The Lorentzian spatial distance between any two non-parallel timelike straight lines of Minkowski space, considered to be the centre-of-mass world lines of $E(1,3)$-invariant elementary classical mechanical systems with positive rest mass, is expressed in terms of \emph{$E(1,3)$-invariant basic observables}, viz. the 4-momentum and the angular momentum of the systems. An analogous expression for \emph{$E(1,3)$-invariant elementary quantum mechanical systems} in terms of the \emph{basic quantum observables} in an abstract, algebraic formulation of quantum mechanics is given, and it is shown that, in the classical limit, it reproduces the Lorentzian spatial distance between the timelike straight lines of Minkowski space with asymptotically vanishing uncertainty. Thus, the \emph{metric structure} of Minkowski space can be recovered from quantum mechanics in the classical limit using only the observables of abstract quantum mechanical systems.


title: Constraints on the annihilation of heavy dark matter in dwarf spheroidal galaxies with gamma-ray observations

abstract: Electrons and positrons produced in dark matter annihilation can generate secondary emission through synchrotron and IC processes, and such secondary emission provides a possible means to detect DM particles with masses beyond the detector's energy band. The secondary emission of heavy dark matter (HDM) particles in the TeV-PeV mass range lies within the Fermi-LAT energy band. In this paper, we utilize the Fermi-LAT observations of dwarf spheroidal (dSph) galaxies to search for annihilation signals of HDM particles. We consider the propagation of $e^+/e^-$ produced by DM annihilation within the dSphs, derive the electron spectrum of the equilibrium state by solving the propagation equation, and then compute the gamma-ray signals produced by the $e^+/e^-$ population through the IC and synchrotron processes. Considering the spatial diffusion of electrons, the dSphs are modeled as extended sources in the analysis of Fermi-LAT data according to the expected spatial intensity distribution of the gamma rays. We do not detect any significant HDM signal. By assuming a magnetic field strength of $B=1\,{\rm \mu G}$ and a diffusion coefficient of $D_0 = 3\times10^{28}\,{\rm cm^{2}s^{-1}}$ of the dSphs, we place limits on the annihilation cross section for HDM particles. Our results are weaker than the previous limits given by the VERITAS and IceCube observations of dSphs, but extend the existing limits to higher DM masses. As a complement, we also search for the prompt $\gamma$-rays produced by DM annihilation and give limits on the cross section in the 10-$10^5$ GeV mass range. Consequently, in this paper we obtain the upper limits on the DM annihilation cross section for a very wide mass range from 10 GeV to 100 PeV in a unified framework of the Fermi-LAT data analysis.


title: Distinguishing the importance of different charge trapping centers in CaF2-based 2D material MOSFETs

abstract: Crystalline CaF2 is drawing huge attentions due to its great potential of being the gate dielectric of two-dimensional (2D) material MOSFETs. It is deemed to be much superior than boron nitride and traditional SiO2 because of its larger dielectric constant, wider band gap, and lower defect density. Nevertheless, the CaF2-based MOSFETs fabricated in experiment still present notable reliability issues, and the underlying reason remains unclear. Here we studied the various intrinsic defects and adsorbates in CaF2/MoS2 and CaF2/MoSi2N4 interface systems to reveal the most active charge trapping centers in CaF2-based 2D material MOSFETs. An elaborate Table that comparing the importance of different defects in both n-type and p-type device is provided. Most impressively, the oxygen molecules adsorbed at the interface or surface, which are inevitable in experiments, are as active as the intrinsic defects in channel materials, and they can even change the MoSi2N4 to p-type spontaneously. These results mean that it is necessary to develop high vacuum packaging process as well as preparing high-quality 2D materials for better device performance.


title: Optoelectronic and Transport Properties of Vacancy Ordered Double Perovskite Halides: A First-principles Study

abstract: In the search for stable lead (Pb) free perovskites, Vacancy ordered double perovskite (VODP), A$_2$BX$_6$ has emerged as a promising class of materials for solar harvesting owing to their nontoxicity, better stability, and unique optoelectronic properties. Here, we present the stability and the key physical attributes of few selected compounds in a systematic manner using state-of-the-art first-principle calculations. A careful structural and stability analysis via simulating convex hull and compositional phase diagrams for different structural prototypes discloses 14 stable and 1 metastable compounds in this class. The electronic structure calculations using hybrid functional reveals six compounds to acquire band gap in the ideal visible region. These six compounds, namely Cs$_2$SnI$_6$, Cs$_2$PdI$_6$, Cs$_2$TeI$_6$, Cs$_2$TiI$_6$, Cs$_2$PtI$_6$, and Cs$_2$PdBr$_6$, show high optical absorption ($\approx$ 10$^{5}$ cm $^{-1}$) giving rise to high spectroscopic limited maximum efficiency, SLME (15-23\%) in the thin-film thickness range. Close inspection of transport properties reveals polar optical phonon scattering to be the dominant mechanism limiting the overall mobility. Further analysis of the polaron excitations discloses the possibility of large polaron formation at low to moderate defect concentrations. At high defect concentrations, ionized impurity scattering takes over. This suggests that, a simulation based guided control of defect concentrations during synthesis can yield a desired candidate for promissing device application. Additionally, few selected compounds show moderate to high electron mobility values ($\sim$13-63 cm$^2$V$^{-1}$ s$^{-1}$) at room temperature. Overall, the present study paves an important path to help design VODP as Pb-free potential candidates for future optoelectronic applications.


title: The chiral knife edge: a simplified rattleback to illustrate spin inversion

abstract: We present the chiral knife edge rattleback, an alternative version of previously presented systems that exhibit spin inversion. We offer a full treatment of the model using qualitative arguments, analytical solutions as well as numerical results. We treat a reduced, one--mode problem which not only contains the essence of the physics of spin inversion, but that also exhibits an unexpected connection to the Chaplygin sleigh, providing new insight into the non-holonomic structure of the problem. We also present exact results for the full problem together with estimates of the time between inversions that agree with previous results in the literature.


title: Representation theorems for functions of vanishing mean oscillation

abstract: As a significant application of the duality theory between real Hardy spaces $H^1(\mathbb{R}^n)$ and $\mathrm{BMO}(\mathbb{R}^n)$, Fefferman and Stein developed a representation theorem for $\mathrm{BMO}(\mathbb{R}^n)$ by utilizing the Riesz transforms $(n\geq 1)$. L. Carleson provided a constructive proof for the case $n=1$. In this article, we propose a representation theorem for $\mathrm{VMO}(\mathbb{S})$ using Carleson's construction and demonstrate a representation theorem for $\mathrm{VMO}(\mathbb{R}^n)$ through an iterative process. Additionally, we provide a brand-new characterization of $\mathrm{VMO}$ as an application of our results.


title: $D_{(s)}-$ mesons semileptonic form factors in the 4-flavor holographic QCD

abstract: We investigate semileptonic form factors of $D_{(s)}$ meson from a modified soft-wall 4-flavor holographic model. The model successfully reproduces the masses and decay constants of various mesons, including $\rho$, $K^*$, $D^*$, $D_s^*$, $a_1$, $K_1$, $f_1$, $D_1$,$D_{s1}$, $\pi$, $K$, $\eta$, $D$, and $D_s$. Moreover, we study the semileptonic decay processes $D^{+} \to (\pi, K, \eta) l^{+} \nu_{l}$ and $D_{s}^{+} \to ( K, \eta) l^{+} \nu_{l}$, associated with the vector meson exchange, as well as $D_{(s)}^{+} \to K^{} l^{+} \nu_{l}$, associated with the vector and axial vector meson exchange. The form factors $f_{+}(q^{2})$ for $D \to\pi$ and $D_{(s)}\to K$ decays agree excellently with experimental and lattice data, outperforming other theoretical approaches. The $f_{+}(q^{2})$ form factor for $D^{+} \to \eta $ is compatible with experimental data, while a slight discrepancy is observed for $D_{s}^{+} \to \eta $ at large $q^{2}$. Additionally, we predict the vector form factors $V(q^{2})$ and $A_{1}(q^{2})$ for $D \to K^{}$ and $D_{s} \to K^{}$ decays, respectively. The results agree well with other approaches and lattice data at maximum recoil ($q^{2}=0$).


title: Robust-MBDL: A Robust Multi-branch Deep Learning Based Model for Remaining Useful Life Prediction and Operational Condition Identification of Rotating Machines

abstract: In this paper, a Robust Multi-branch Deep learning-based system for remaining useful life (RUL) prediction and condition operations (CO) identification of rotating machines is proposed. In particular, the proposed system comprises main components: (1) an LSTM-Autoencoder to denoise the vibration data; (2) a feature extraction to generate time-domain, frequency-domain, and time-frequency based features from the denoised data; (3) a novel and robust multi-branch deep learning network architecture to exploit the multiple features. The performance of our proposed system was evaluated and compared to the state-of-the-art systems on two benchmark datasets of XJTU-SY and PRONOSTIA. The experimental results prove that our proposed system outperforms the state-of-the-art systems and presents potential for real-life applications on bearing machines.


title: Integrating Python data analysis in an existing introductory laboratory course

abstract: In this article we describe how we successfully incorporated data analysis in Python in a first-year laboratory course without significantly altering the course structure and without overburdening students. We show how we created and used carefully designed Jupyter Notebooks with exercises and physics application examples that allow students to master data analysis programming in the laboratory course. We use these Notebooks to guide students through the fundamentals of data handling and analysis in Python while performing simple experiments. We present our teaching approach and the developed materials. We discuss the effectiveness of our intervention based on the results from pre- and post- course questionnaires and students' group work. The results presented give insights about advantages and challenges of introducing computation at the early stage of the curriculum in a laboratory course setting and are informative for other instructors and the physics education research community.


title: Active Label Refinement for Semantic Segmentation of Satellite Images

abstract: Remote sensing through semantic segmentation of satellite images contributes to the understanding and utilisation of the earth's surface. For this purpose, semantic segmentation networks are typically trained on large sets of labelled satellite images. However, obtaining expert labels for these images is costly. Therefore, we propose to rely on a low-cost approach, e.g. crowdsourcing or pretrained networks, to label the images in the first step. Since these initial labels are partially erroneous, we use active learning strategies to cost-efficiently refine the labels in the second step. We evaluate the active learning strategies using satellite images of Bengaluru in India, labelled with land cover and land use labels. Our experimental results suggest that an active label refinement to improve the semantic segmentation network's performance is beneficial.


title: A comparison of citation-based clustering and topic modeling for science mapping

abstract: Science mapping is an important tool to gain insight into scientific fields, to identify emerging research trends, and to support science policy. Understanding the different ways in which different science mapping approaches capture the structure of scientific fields is critical. This paper presents a comparative analysis of two commonly used approaches, topic modeling (TM) and citation-based clustering (CC), to assess their respective strengths, weaknesses, and the characteristics of their results. We compare the two approaches using cluster-to-topic and topic-to-cluster mappings based on science maps of cardiovascular research (CVR) generated by TM and CC. Our findings reveal that relations between topics and clusters are generally weak, with limited overlap between topics and clusters. Only in a few exceptional cases do more than one-third of the documents in a topic belong to the same cluster, or vice versa. CC excels at identifying diseases and generating specialized clusters in Clinical Treatment & Surgical Procedures, while TM focuses on sub-techniques within diagnostic techniques, provides a general perspective on Clinical Treatment & Surgical Procedures, and identifies distinct topics related to practical guidelines. Our work enhances the understanding of science mapping approaches based on TM and CC and delivers practical guidance for scientometricians on how to apply these approaches effectively.


title: Towards an Understanding of Developers' Perceptions of Transparency in Software Development: A Preliminary Study

abstract: Software applications play an increasingly critical role in various aspects of our lives, from communication and entertainment to business and healthcare. As these applications become more pervasive, the importance of considering human values in software development has gained significant attention. In this preliminary study, we investigate developers's perceptions and experiences related to human values, with a focus on the human value of transparency. We interviewed five experienced developers and conducted thematic analysis to explore how developers perceive transparency, violations of transparency, and the process of fixing reported violations of transparency. Our findings reveal the significance of transparency as a fundamental value in software development, with developers recognising its importance for building trust, promoting accountability, and fostering ethical practices. Developers recognise the negative consequences of the violation of the human value of transparency and follow a systematic process to fix reported violations. This includes investigation, root cause analysis, corrective action planning, collaborative problem-solving, and testing and verification. These preliminary findings contribute to the understanding of transparency in software development and provide insights for promoting ethical practices.


title: Hamiltonian formulation of linear non-Hermitian systems

abstract: For a linear non-Hermitian system, I demonstrate that a Hamiltonian can be constructed such that the non-Hermitian equations can be expressed exactly in the form of Hamilton's canonical equations. This is first shown for discrete systems and then extended to continuous systems. With this Hamiltonian formulation, I am able to identify a conserved charge by applying Noether's theorem and recognize adiabatic invariants. When applied to Hermitian systems, all the results reduce to the familiar ones associated with the Schr\"odinger equation.


title: Overview of GUA-SPA at IberLEF 2023: Guarani-Spanish Code Switching Analysis

abstract: We present the first shared task for detecting and analyzing code-switching in Guarani and Spanish, GUA-SPA at IberLEF 2023. The challenge consisted of three tasks: identifying the language of a token, NER, and a novel task of classifying the way a Spanish span is used in the code-switched context. We annotated a corpus of 1500 texts extracted from news articles and tweets, around 25 thousand tokens, with the information for the tasks. Three teams took part in the evaluation phase, obtaining in general good results for Task 1, and more mixed results for Tasks 2 and 3.


title: Identifying multiwavelength counterparts to astrophysical neutrino events

abstract: High-energy neutrinos originating in astrophysical sources should be accompanied by gamma-rays at production. Depending on the properties of the emission environment and the distance of the source to the Earth, these gamma-rays may be observed directly, or through the detection of lower energy photons that result from interactions with the intervening radiation fields. In this work, we present an automated tool that aims at using data from the Fermi-Large Area Telescope to identify multiwavelength counterparts to astrophysical neutrino events. The main goal of this tool is to enable prompt follow-up observations with ground-based and space-based observatories in order to help pinpoint the neutrino source.


title: Unveiling the Complexity of Neural Populations: Evaluating the Validity and Limitations of the Wilson-Cowan Model

abstract: The population model of Wilson-Cowan is perhaps the most popular in the history of computational neuroscience. It embraces the nonlinear mean field dynamics of excitatory and inhibitory neuronal populations provided via a temporal coarse-graining technique. The traditional Wilson-Cowan equations exhibit either steady-state regimes or else limit cycle competitions for an appropriate range of parameters. As these equations lower the resolution of the neural system and obscure vital information, we assess the validity of mass-type model approximations for complex neural behaviors. Using a large-scale network of Hodgkin-Huxley style neurons, we derive implicit average population dynamics based on mean field assumptions. Our comparison of the microscopic neural activity with the macroscopic temporal profiles reveals dependency on the binary state of interacting subpopulations and the random property of the structural network at the Hopf bifurcation points when different synaptic weights are considered. For substantial configurations of stimulus intensity, our model provides further estimates of the neural population's dynamics official, ranging from simple periodic to quasi-periodic and aperiodic patterns, as well as phase transition regimes. While this shows its great potential for studying the collective behavior of individual neurons particularly concentrating on the occurrence of bifurcation phenomena, we must accept a quite limited accuracy of the Wilson-Cowan approximations-at least in some parameter regimes. Additionally, we report that the complexity and temporal diversity of neural dynamics, especially in terms of limit cycle trajectory, and synchronization can be induced by either small heterogeneity in the degree of various types of local excitatory connectivity or considerable diversity in the external drive to the excitatory pool.


title: Certified Robust Models with Slack Control and Large Lipschitz Constants

abstract: Despite recent success, state-of-the-art learning-based models remain highly vulnerable to input changes such as adversarial examples. In order to obtain certifiable robustness against such perturbations, recent work considers Lipschitz-based regularizers or constraints while at the same time increasing prediction margin. Unfortunately, this comes at the cost of significantly decreased accuracy. In this paper, we propose a Calibrated Lipschitz-Margin Loss (CLL) that addresses this issue and improves certified robustness by tackling two problems: Firstly, commonly used margin losses do not adjust the penalties to the shrinking output distribution; caused by minimizing the Lipschitz constant $K$. Secondly, and most importantly, we observe that minimization of $K$ can lead to overly smooth decision functions. This limits the model's complexity and thus reduces accuracy. Our CLL addresses these issues by explicitly calibrating the loss w.r.t. margin and Lipschitz constant, thereby establishing full control over slack and improving robustness certificates even with larger Lipschitz constants. On CIFAR-10, CIFAR-100 and Tiny-ImageNet, our models consistently outperform losses that leave the constant unattended. On CIFAR-100 and Tiny-ImageNet, CLL improves upon state-of-the-art deterministic $L_2$ robust accuracies. In contrast to current trends, we unlock potential of much smaller models without $K=1$ constraints.


title: Integration of Quantum Accelerators with High Performance Computing -- A Review of Quantum Programming Tools

abstract: Quantum computing (QC) introduces a novel mode of computation with the possibility of greater computational power that remains to be exploited - presenting exciting opportunities for high performance computing (HPC) applications. However, recent advancements in the field have made clear that QC does not supplant conventional HPC, but can rather be incorporated into current heterogeneous HPC infrastructures as an additional accelerator, thereby enabling the optimal utilization of both paradigms. The desire for such integration significantly affects the development of software for quantum computers, which in turn influences the necessary software infrastructure. To date, previous review papers have investigated various quantum programming tools (QPTs) (such as languages, libraries, frameworks) in their ability to program, compile, and execute quantum circuits. However, the integration effort with classical HPC frameworks or systems has not been addressed. This study aims to characterize existing QPTs from an HPC perspective, investigating if existing QPTs have the potential to be efficiently integrated with classical computing models and determining where work is still required. This work structures a set of criteria into an analysis blueprint that enables HPC scientists to assess whether a QPT is suitable for the quantum-accelerated classical application at hand.


title: Bayesian sampling with BeAtlas, a grid of synthetic Be star spectra I. Recovering the fundamental parameters of \alpha Eri and \beta CMi

abstract: Classical Be stars are fast rotating, near main sequence B-type stars. The rotation and the presence of circumstellar discs profoundly modify the observables of active Be stars. Our goal is to infer stellar and disc parameters, as well as distance and interstellar extinction, using the currently most favoured physical models for these objects. We present BeAtlas, a grid of 61.600 NLTE radiative transfer models for Be stars, calculated with the HDUST code. The grid was coupled with a Monte Carlo Markov chain code to sample the posterior distribution. We test our method on two well-studied Be stars, $\alpha$ Eri and $\beta$ CMi, using photometric, polarimetric and spectroscopic data as input to the code. We recover literature determinations for most of the parameters of the targets, in particular the mass and age of $\alpha$ Eri, the disc parameters of $\beta$ CMi, and their distances and inclinations. The main discrepancy is that we estimate lower rotational rates than previous works. We confirm previously detected signs of disc truncation in $\beta$ CMi and note that its inner disc seems to have a flatter density slope than its outer disc. The correlations between the parameters are complex, further indicating that exploring the entire parameter space simultaneously is a more robust approach, statistically. The combination of BeAtlas and Bayesian-MCMC techniques proves successful, and a powerful new tool for the field: the fundamental parameters of any Be star can now be estimated in a matter of hours or days.


title: Elucidating the solution space of extended reverse-time SDE for diffusion models

abstract: Diffusion models (DMs) demonstrate potent image generation capabilities in various generative modeling tasks. Nevertheless, their primary limitation lies in slow sampling speed, requiring hundreds or thousands of sequential function evaluations through large neural networks to generate high-quality images. Sampling from DMs can be seen alternatively as solving corresponding stochastic differential equations (SDEs) or ordinary differential equations (ODEs). In this work, we formulate the sampling process as an extended reverse-time SDE (ER SDE), unifying prior explorations into ODEs and SDEs. Leveraging the semi-linear structure of ER SDE solutions, we offer exact solutions and arbitrarily high-order approximate solutions for VP SDE and VE SDE, respectively. Based on the solution space of the ER SDE, we yield mathematical insights elucidating the superior performance of ODE solvers over SDE solvers in terms of fast sampling. Additionally, we unveil that VP SDE solvers stand on par with their VE SDE counterparts. Finally, we devise fast and training-free samplers, ER-SDE-Solvers, achieving state-of-the-art performance across all stochastic samplers. Experimental results demonstrate achieving 3.45 FID in 20 function evaluations and 2.24 FID in 50 function evaluations on the ImageNet $64\times64$ dataset.


title: Affine homogeneous varieties and suspensions

abstract: An algebraic variety $X$ is called a homogeneous variety if the automorphism group $\mathrm{Aut}(X)$ acts on $X$ transitively, and a homogeneous space if there exists a transitive action of an algebraic group on $X$. We prove a criterion of smoothness of a suspension to construct a wide class of homogeneous varieties. As an application, we give criteria for a Danielewski surface to be a homogeneous variety and a homogeneous space. Also, we construct affine suspensions of arbitrary dimension that are homogeneous varieties but not homogeneous spaces.


title: Privacy-Preserving Linkage of Distributed Datasets using the Personal Health Train

abstract: With the generation of personal and medical data at several locations, medical data science faces unique challenges when working on distributed datasets. Growing data protection requirements in recent years drastically limit the use of personally identifiable information. Distributed data analysis aims to provide solutions for securely working on highly sensitive data while minimizing the risk of information leaks, which would not be possible to the same degree in a centralized approach. A novel concept in this field is the Personal Health Train (PHT), which encapsulates the idea of bringing the analysis to the data, not vice versa. Data sources are represented as train stations. Trains containing analysis tasks move between stations and aggregate results. Train executions are coordinated by a central station which data analysts can interact with. Data remains at their respective stations and analysis results are only stored inside the train, providing a safe and secure environment for distributed data analysis. Duplicate records across multiple locations can skew results in a distributed data analysis. On the other hand, merging information from several datasets referring to the same real-world entities may improve data completeness and therefore data quality. In this paper, we present an approach for record linkage on distributed datasets using the Personal Health Train. We verify this approach and evaluate its effectiveness by applying it to two datasets based on real-world data and outline its possible applications in the context of distributed data analysis tasks.


title: Refining the Eulerian flow model

abstract: We revisit the molecular arguments underpinning the Eulerian model for compressible and diffusive flows, and conclude that a heat diffusive term appears to be missing in the original model. By studying a pure heat transfer problem, we quantify the new term in the updated Eulerian model and evaluate it in the context sound attenuation. Although the new diffusive term is important for certain problems, we also demonstrate that it has a negligible effect on the aerodynamic validation cases that the original model has already successfully passed. Furthermore, the updated Eulerian system is compatible with the weak well-posedness that has previously been established for the original Eulerian system.


title: Effect of Rare-earth Element Substitution in Superconducting R$_3$Ni$_2$O$_7$ Under Pressure

abstract: Recently, high temperature ($T_c\approx 80$K) superconductivity (SC) has been discovered in La$_3$Ni$_2$O$_7$ (LNO) under pressure. Question arises whether the transition temperature $T_c$ could be further enhanced under suitable conditions. A possible route for realizing higher $T_c$ is element substitution. Similar SC could appear in rare-earth (RE) R$_3$Ni$_2$O$_7$ (RNO, R=RE element) material series under pressure. The electronic properties in the RNO materials are dominated by the Ni $3d$ orbitals in the bilayer NiO$_2$ plane. In the strong coupling limit, the SC could be fully characterized by a bilayer single $3d_{x^2-y^2}$-orbital $t$-$J_{\parallel}$-$J_{\perp}$ model. Under RE element substitution from La to RE element, the lattice constant decreases and the electronic hopping increases, leading to stronger superexchanges between the $3d_{x^2-y^2}$ orbitals. Based on the slave-boson mean-field theory, we explore the pairing nature and the evolution of $T_c$ in RNO materials. Consequently, it is found that the element substitution does not alter the pairing nature, i.e. the inter-layer $s$-wave pairing is always favored in RNO. However, the $T_c$ increases from La to Sm and a nearly doubled $T_c$ is achieved for SmNO. This work provides evidence for possible higher $T_c$ R$_3$Ni$_2$O$_7$ materials, which may be realized in further experiments.


title: Relating Electric Vehicle Charging to Speed Scaling with Job-Specific Speed Limits

abstract: Due to the ongoing electrification of transport in combination with limited power grid capacities, efficient ways to schedule the charging of electric vehicles (EVs) are needed for the operation of, for example, large parking lots. Common approaches such as model predictive control repeatedly solve a corresponding offline problem. In this work, we first present and analyze the Flow-based Offline Charging Scheduler (FOCS), an offline algorithm to derive an optimal EV charging schedule for a fleet of EVs that minimizes an increasing, convex and differentiable function of the corresponding aggregated power profile. To this end, we relate EV charging to processor speed scaling models with job-specific speed limits. We prove our algorithm to be optimal and derive necessary and sufficient conditions for any EV charging profile to be optimal. Furthermore, we discuss two online algorithms and their competitive ratios for a specific class objective functions. In particular, we show that if those algorithms are applied and adapted to the presented EV scheduling problem, the competitive ratios for Average Rate and Optimal Available match those of the classical speed scaling problem. Finally, we present numerical results using real-world EV charging data to put the theoretical competitive ratios into a practical perspective.


title: AKEM: Aligning Knowledge Base to Queries with Ensemble Model for Entity Recognition and Linking

abstract: This paper presents a novel approach to address the Entity Recognition and Linking Challenge at NLPCC 2015. The task involves extracting named entity mentions from short search queries and linking them to entities within a reference Chinese knowledge base. To tackle this problem, we first expand the existing knowledge base and utilize external knowledge to identify candidate entities, thereby improving the recall rate. Next, we extract features from the candidate entities and utilize Support Vector Regression and Multiple Additive Regression Tree as scoring functions to filter the results. Additionally, we apply rules to further refine the results and enhance precision. Our method is computationally efficient and achieves an F1 score of 0.535.


title: Dual-Path Temporal Map Optimization for Make-up Temporal Video Grounding

abstract: Make-up temporal video grounding (MTVG) aims to localize the target video segment which is semantically related to a sentence describing a make-up activity, given a long video. Compared with the general video grounding task, MTVG focuses on meticulous actions and changes on the face. The make-up instruction step, usually involving detailed differences in products and facial areas, is more fine-grained than general activities (e.g, cooking activity and furniture assembly). Thus, existing general approaches cannot locate the target activity effectually. More specifically, existing proposal generation modules are not yet fully developed in providing semantic cues for the more fine-grained make-up semantic comprehension. To tackle this issue, we propose an effective proposal-based framework named Dual-Path Temporal Map Optimization Network (DPTMO) to capture fine-grained multimodal semantic details of make-up activities. DPTMO extracts both query-agnostic and query-guided features to construct two proposal sets and uses specific evaluation methods for the two sets. Different from the commonly used single structure in previous methods, our dual-path structure can mine more semantic information in make-up videos and distinguish fine-grained actions well. These two candidate sets represent the cross-modal makeup video-text similarity and multi-modal fusion relationship, complementing each other. Each set corresponds to its respective optimization perspective, and their joint prediction enhances the accuracy of video timestamp prediction. Comprehensive experiments on the YouMakeup dataset demonstrate our proposed dual structure excels in fine-grained semantic comprehension.


title: Single mode laser in the telecom range by deterministic amplification of the topological interface mode

abstract: Photonic integrated circuits are paving the way for novel on-chip functionalities with diverse applications in communication, computing, and beyond. The integration of on-chip light sources, especially single-mode lasers, is crucial for advancing those photonic chips to their full potential. Recently, novel concepts involving topological designs introduced a variety of options for tuning device properties such as the desired single mode emission. Here we introduce a novel cavity design that allows to amplify the topological interface mode by deterministic placement of gain material within the topological lattice. The proposed design is experimentally implemented by a selective epitaxy process resulting in Si and InGaAs nanorods embedded within the same topological lattice. This results in the first demonstration of a single-mode laser in the telecom band using the concept of amplified topological modes.


title: Quantum Simulation of the Bosonic Kitaev Chain

abstract: Superconducting quantum circuits are a natural platform for quantum simulations of a wide variety of important lattice models describing topological phenomena, spanning condensed matter and high-energy physics. One such model is the bosonic analogue of the well-known fermionic Kitaev chain, a 1D tight-binding model with both nearest-neighbor hopping and pairing terms. Despite being fully Hermitian, the bosonic Kitaev chain exhibits a number of striking features associated with non-Hermitian systems, including chiral transport and a dramatic sensitivity to boundary conditions known as the non-Hermitian skin effect. Here, using a multimode superconducting parametric cavity, we implement the bosonic Kitaev chain in synthetic dimensions. The lattice sites are mapped to frequency modes of the cavity, and the $\textit{in situ}$ tunable complex hopping and pairing terms are created by parametric pumping at the mode-difference and mode-sum frequencies, respectively. We experimentally demonstrate important precursors of nontrivial topology and the non-Hermitian skin effect in the bosonic Kitaev chain, including chiral transport, quadrature wavefunction localization, and sensitivity to boundary conditions. Our experiment is an important first step towards exploring genuine many-body non-Hermitian quantum dynamics.


title: Glancing Future for Simultaneous Machine Translation

abstract: Simultaneous machine translation (SiMT) outputs translation while reading the source sentence. Unlike conventional sequence-to-sequence (seq2seq) training, existing SiMT methods adopt the prefix-to-prefix (prefix2prefix) training, where the model predicts target tokens based on partial source tokens. However, the prefix2prefix training diminishes the ability of the model to capture global information and introduces forced predictions due to the absence of essential source information. Consequently, it is crucial to bridge the gap between the prefix2prefix training and seq2seq training to enhance the translation capability of the SiMT model. In this paper, we propose a novel method that glances future in curriculum learning to achieve the transition from the seq2seq training to prefix2prefix training. Specifically, we gradually reduce the available source information from the whole sentence to the prefix corresponding to that latency. Our method is applicable to a wide range of SiMT methods and experiments demonstrate that our method outperforms strong baselines.


title: Efficient Memory Management for Large Language Model Serving with PagedAttention

abstract: High throughput serving of large language models (LLMs) requires batching sufficiently many requests at a time. However, existing systems struggle because the key-value cache (KV cache) memory for each request is huge and grows and shrinks dynamically. When managed inefficiently, this memory can be significantly wasted by fragmentation and redundant duplication, limiting the batch size. To address this problem, we propose PagedAttention, an attention algorithm inspired by the classical virtual memory and paging techniques in operating systems. On top of it, we build vLLM, an LLM serving system that achieves (1) near-zero waste in KV cache memory and (2) flexible sharing of KV cache within and across requests to further reduce memory usage. Our evaluations show that vLLM improves the throughput of popular LLMs by 2-4$\times$ with the same level of latency compared to the state-of-the-art systems, such as FasterTransformer and Orca. The improvement is more pronounced with longer sequences, larger models, and more complex decoding algorithms. vLLM's source code is publicly available at https://github.com/vllm-project/vllm


title: Energy spectra of non-local internal gravity wave turbulence

abstract: Starting from the classical formulation of the weak turbulence theory in a density stratified fluid, we derive a simplified version of the kinetic equation of internal gravity wave turbulence. This equation allows us to uncover scaling laws for the spatial and temporal energy spectra of internal wave turbulence which are consistent with typical scaling exponents observed in the oceans. The keystone of our description is the assumption that the energy transfers are dominated by a class of non-local resonant interactions, known as the ``induced diffusion'' triads, which conserve the ratio between the wave frequency and vertical wave number. Our analysis remarkably shows that the internal wave turbulence cascade is associated to an apparent constant flux of wave action.


title: Quantum algorithms for the simulation of perturbative QCD processes

abstract: Quantum computers are expected to give major speed-ups for the simulation of quantum systems. In these conference proceedings, we discuss quantum algorithms for the simulation of perturbative Quantum Chromodynamics (QCD) processes. In particular, we describe quantum circuits for simulating the colour part of the interactions of quarks and gluons. We implement our circuits on a simulated noiseless quantum computer and validate them by calculating colour factors for various examples of Feynman diagrams.


title: Assessing the Generalization Gap of Learning-Based Speech Enhancement Systems in Noisy and Reverberant Environments

abstract: The acoustic variability of noisy and reverberant speech mixtures is influenced by multiple factors, such as the spectro-temporal characteristics of the target speaker and the interfering noise, the signal-to-noise ratio (SNR) and the room characteristics. This large variability poses a major challenge for learning-based speech enhancement systems, since a mismatch between the training and testing conditions can substantially reduce the performance of the system. Generalization to unseen conditions is typically assessed by testing the system with a new speech, noise or binaural room impulse response (BRIR) database different from the one used during training. However, the difficulty of the speech enhancement task can change across databases, which can substantially influence the results. The present study introduces a generalization assessment framework that uses a reference model trained on the test condition, such that it can be used as a proxy for the difficulty of the test condition. This allows to disentangle the effect of the change in task difficulty from the effect of dealing with new data, and thus to define a new measure of generalization performance termed the generalization gap. The procedure is repeated in a cross-validation fashion by cycling through multiple speech, noise, and BRIR databases to accurately estimate the generalization gap. The proposed framework is applied to evaluate the generalization potential of a feedforward neural network (FFNN), Conv-TasNet, DCCRN and MANNER. We find that for all models, the performance degrades the most in speech mismatches, while good noise and room generalization can be achieved by training on multiple databases. Moreover, while recent models show higher performance in matched conditions, their performance substantially decreases in mismatched conditions and can become inferior to that of the FFNN-based system.


title: Design monolayer iodinenes based on halogen bond and tiling theory

abstract: Xenes, two-dimensional (2D) monolayers composed of a single element, with graphene as a typical representative, have attracted widespread attention. Most of the previous Xenes, X from group-IIIA to group-VIA elements have bonding characteristics of covalent bonds. In this work, we for the first time unveil the pivotal role of a halogen bond, which is a distinctive type of bonding with interaction strength between that of a covalent bond and a van der Waals interaction, in 2D group-VIIA monolayers. Combing the ingenious non-edge-to-edge tiling theory and state-of-art ab initio method with refined local density functional M06-L, we provide a precise and effective bottom-up construction of 2D iodine monolayer sheets, iodinenes, primarily governed by halogen bonds, and successfully design a category of stable iodinenes, encompassing herringbone, Pythagorean, gyrated truncated hexagonal, i.e. diatomic-kagome, and gyrated hexagonal tiling pattern. These iodinene structures exhibit a wealth of properties, such as flat bands, nontrivial topology, and fascinating optical characteristics, offering valuable insights and guidance for future experimental investigations. Our work not only unveils the unexplored halogen bonding mechanism in 2D materials but also opens a new avenue for designing other non-covalent bonding 2D materials.


title: Dynamics and spreading speeds of a nonlocal diffusion model with advection and free boundaries

abstract: In this paper, we investigate a Fisher-KPP nonlocal diffusion model incorporating the effect of advection and free boundaries, aiming to explore the propagation dynamics of the nonlocal diffusion-advection model. Considering the effects of the advection, the existence, uniqueness, and regularity of the global solution are obtained. We introduce the principal eigenvalue of the nonlocal operator with the advection term and discuss the asymptotic properties influencing the long-time behaviors of the solution for this model. Moreover, we give several sufficient conditions determining the occurrences of spreading or vanishing and obtain the spreading-vanishing dichotomy. Most of all, applying the semi-wave solution and constructing the upper and the lower solution, we give an explicit description of the finite asymptotic spreading speeds for the double free boundaries on the effects of the nonlocal diffusion and advection compared with the corresponding problem without an advection term.


title: Adaptive Bregman-Kaczmarz: An Approach to Solve Linear Inverse Problems with Independent Noise Exactly

abstract: We consider the block Bregman-Kaczmarz method for finite dimensional linear inverse problems. The block Bregman-Kaczmarz method uses blocks of the linear system and performs iterative steps with these blocks only. We assume a noise model that we call independent noise, i.e. each time the method performs a step for some block, one obtains a noisy sample of the respective part of the right-hand side which is contaminated with new noise that is independent of all previous steps of the method. One can view these noise models as making a fresh noisy measurement of the respective block each time it is used. In this framework, we are able to show that a well-chosen adaptive stepsize of the block Bergman-Kaczmarz method is able to converge to the exact solution of the linear inverse problem. The plain form of this adaptive stepsize relies on unknown quantities (like the Bregman distance to the solution), but we show a way how these quantities can be estimated purely from given data. We illustrate the finding in numerical experiments and confirm that these heuristic estimates lead to effective stepsizes.


title: The Three Hundred: $M_{sub}-V_{circ}$ relation

abstract: In this study, we investigate a recent finding based on strong lensing observations, which suggests that the sub-halos observed in clusters exhibit greater compactness compared to those predicted by $\Lambda$CDM simulations. To address this discrepancy, we performed a comparative analysis by comparing the cumulative mass function of sub-halos and the $M_{\text{sub}}$-$V_{\text{circ}}$ relation between observed clusters and 324 simulated clusters from The Three Hundred project, focusing on re-simulations using GADGET-X and GIZMO-SIMBA baryonic models. The sub-halos' cumulative mass function of the GIZMO-SIMBA simulated clusters agrees with observations, while the GADGET-X simulations exhibit discrepancies in the lower sub-halo mass range possibly due to its strong SuperNova feedback. Both GADGET-X and GIZMO-SIMBA simulations demonstrate a redshift evolution of the sub-halo mass function and the $V_{max}$ function, with slightly fewer sub-halos observed at lower redshifts. Neither the GADGET-X nor GIZMO-SIMBA(albeit a little closer) simulated clusters' predictions for the $M_{\text{sub}}$-$V_{\text{circ}}$ relation align with the observational result. Further investigations on the correlation between sub-halo/halo properties and the discrepancy in the $M_{\text{sub}}$-$V_{\text{circ}}$ relation reveals that the sub-halo's half mass radius and galaxy stellar age, the baryon fraction and sub-halo distance from the cluster's centre, as well as the halo relaxation state play important roles on this relation. Nevertheless, we think it is still challenging in accurately reproducing the observed $M_{\text{sub}}$-$V_{\text{circ}}$ relation in our current hydrodynamic cluster simulation under the standard $\Lambda$CDM cosmology.


title: Computer Vision Pipeline for Automated Antarctic Krill Analysis

abstract: British Antarctic Survey (BAS) researchers launch annual expeditions to the Antarctic in order to estimate Antarctic Krill biomass and assess the change from previous years. These comparisons provide insight into the effects of the current environment on this key component of the marine food chain. In this work we have developed tools for automating the data collection and analysis process, using web-based image annotation tools and deep learning image classification and regression models. We achieve highly accurate krill instance segmentation results with an average 77.28% AP score, as well as separate maturity stage and length estimation of krill specimens with 62.99% accuracy and a 1.98mm length error respectively.


title: Cryogenic fiber-coupled electro-optic characterization platform for high-speed photodiodes

abstract: We have developed a cryogenic characterization platform for ultrafast photodiodes, whose time domain responses are extracted by electro-optic sampling using femtosecond laser pulses in a pump-probe configuration. The excitation of the photodiodes with the pump beam and the electro-optic sampling crystals with the probe beam are realized in a fully fiber-coupled manner. This allows us to place the characterization platform in almost any temperature environment. As application example, we characterize the time-domain response of commercial p-i-n photodiodes with a nominal bandwidth of 20 GHz and 60 GHz at temperatures of 4 K and 300 K and in a large parameter range of photocurrent and reverse bias. For these photodiodes, we detect frequency components up to approximately 250 GHz, while the theoretical bandwidth of our sampling method exceeds 1 THz. Our measurements demonstrate a significant excitation power and temperature dependence of the photodiodes' ultrafast time responses, reflecting, most likely, changes in carrier mobilities and electric field screening. Since our system is an ideal tool to characterize and optimize the response of fast photodiodes at cryogenic temperatures, it has direct impact on applications in superconducting quantum technology such as the enhancement of optical links to superconducting qubits and quantum-accurate waveform generators.


title: Spreading speeds of a nonlocal diffusion model with free boundaries in the time almost periodic media

abstract: In this paper, we mainly investigate the spreading dynamics of a nonlocal diffusion KPP model with free boundaries which is firstly explored in time almost periodic media. As the spreading occurs, the long-run dynamics are obtained. Especially, when the threshold condition for the kernel function is satisfied, applying the novel positive time almost periodic function, we accurately express the unique asymptotic spreading speed of the free boundary problem.


title: Characterisation and fundamental limitations of irreversible stochastic steering distillation

abstract: Steering resources, central for quantum advantages in one-sided device-independent quantum information tasks, can be enhanced via local filters. Recently, reversible steering conversion under local filters has been fully characterised. Here, we solve the problem in the irreversible scenario, which leads to a complete understanding of stochastic steering distillation. This result also provides an operational interpretation of the max-relative entropy as the optimal filter success probability. We further show that all steering measures can be used to quantify measurement incompatibility in certain stochastic steering distillation scenarios. Finally, for a broad class of steering robustness measures, we show that their maximally achievable values in stochastic steering distillation are always upper bounded by different types of incompatibility robustness measures. Hence, measurement incompatibility sets the fundamental limitations for stochastic steering distillation.


title: Improving and Evaluating the Detection of Fragmentation in News Recommendations with the Clustering of News Story Chains

abstract: News recommender systems play an increasingly influential role in shaping information access within democratic societies. However, tailoring recommendations to users' specific interests can result in the divergence of information streams. Fragmented access to information poses challenges to the integrity of the public sphere, thereby influencing democracy and public discourse. The Fragmentation metric quantifies the degree of fragmentation of information streams in news recommendations. Accurate measurement of this metric requires the application of Natural Language Processing (NLP) to identify distinct news events, stories, or timelines. This paper presents an extensive investigation of various approaches for quantifying Fragmentation in news recommendations. These approaches are evaluated both intrinsically, by measuring performance on news story clustering, and extrinsically, by assessing the Fragmentation scores of different simulated news recommender scenarios. Our findings demonstrate that agglomerative hierarchical clustering coupled with SentenceBERT text representation is substantially better at detecting Fragmentation than earlier implementations. Additionally, the analysis of simulated scenarios yields valuable insights and recommendations for stakeholders concerning the measurement and interpretation of Fragmentation.


title: Space-time structured plasma waves

abstract: Electrostatic waves play a critical role in nearly every branch of plasma physics from fusion to advanced accelerators, to astro, solar, and ionospheric physics. The properties of planar electrostatic waves are fully determined by the plasma conditions, such as density, temperature, ionization state, or details of the distribution functions. Here we demonstrate that electrostatic wavepackets structured with space-time correlations can have properties that are independent of the plasma conditions. For instance, an appropriately structured electrostatic wavepacket can travel at any group velocity, even backward with respect to its phase fronts, while maintaining a localized energy density. These linear, propagation-invariant wavepackets can be constructed with or without orbital angular momentum by superposing natural modes of the plasma and can be ponderomotively excited by space-time structured laser pulses like the flying focus.


title: A 3M-Hybrid Model for the Restoration of Unique Giant Murals: A Case Study on the Murals of Yongle Palace

abstract: The Yongle Palace murals, as valuable cultural heritage, have suffered varying degrees of damage, making their restoration of significant importance. However, the giant size and unique data of Yongle Palace murals present challenges for existing deep-learning based restoration methods: 1) The distinctive style introduces domain bias in traditional transfer learning-based restoration methods, while the scarcity of mural data further limits the applicability of these methods. 2) Additionally, the giant size of these murals results in a wider range of defect types and sizes, necessitating models with greater adaptability. Consequently, there is a lack of focus on deep learning-based restoration methods for the unique giant murals of Yongle Palace. Here, a 3M-Hybrid model is proposed to address these challenges. Firstly, based on the characteristic that the mural data frequency is prominent in the distribution of low and high frequency features, high and low frequency features are separately abstracted for complementary learning. Furthermore, we integrate a pre-trained Vision Transformer model (VIT) into the CNN module, allowing us to leverage the benefits of a large model while mitigating domain bias. Secondly, we mitigate seam and structural distortion issues resulting from the restoration of large defects by employing a multi-scale and multi-perspective strategy, including data segmentation and fusion. Experimental results demonstrate the efficacy of our proposed model. In regular-sized mural restoration, it improves SSIM and PSNR by 14.61% and 4.73%, respectively, compared to the best model among four representative CNN models. Additionally, it achieves favorable results in the final restoration of giant murals.


title: Optimization Guarantees of Unfolded ISTA and ADMM Networks With Smooth Soft-Thresholding

abstract: Solving linear inverse problems plays a crucial role in numerous applications. Algorithm unfolding based, model-aware data-driven approaches have gained significant attention for effectively addressing these problems. Learned iterative soft-thresholding algorithm (LISTA) and alternating direction method of multipliers compressive sensing network (ADMM-CSNet) are two widely used such approaches, based on ISTA and ADMM algorithms, respectively. In this work, we study optimization guarantees, i.e., achieving near-zero training loss with the increase in the number of learning epochs, for finite-layer unfolded networks such as LISTA and ADMM-CSNet with smooth soft-thresholding in an over-parameterized (OP) regime. We achieve this by leveraging a modified version of the Polyak-Lojasiewicz, denoted PL$^*$, condition. Satisfying the PL$^*$ condition within a specific region of the loss landscape ensures the existence of a global minimum and exponential convergence from initialization using gradient descent based methods. Hence, we provide conditions, in terms of the network width and the number of training samples, on these unfolded networks for the PL$^*$ condition to hold. We achieve this by deriving the Hessian spectral norm of these networks. Additionally, we show that the threshold on the number of training samples increases with the increase in the network width. Furthermore, we compare the threshold on training samples of unfolded networks with that of a standard fully-connected feed-forward network (FFNN) with smooth soft-thresholding non-linearity. We prove that unfolded networks have a higher threshold value than FFNN. Consequently, one can expect a better expected error for unfolded networks than FFNN.


title: Cookiescanner: An Automated Tool for Detecting and Evaluating GDPR Consent Notices on Websites

abstract: The enforcement of the GDPR led to the widespread adoption of consent notices, colloquially known as cookie banners. Studies have shown that many website operators do not comply with the law and track users prior to any interaction with the consent notice, or attempt to trick users into giving consent through dark patterns. Previous research has relied on manually curated filter lists or automated detection methods limited to a subset of websites, making research on GDPR compliance of consent notices tedious or limited. We present \emph{cookiescanner}, an automated scanning tool that detects and extracts consent notices via various methods and checks if they offer a decline option or use color diversion. We evaluated cookiescanner on a random sample of the top 10,000 websites listed by Tranco. We found that manually curated filter lists have the highest precision but recall fewer consent notices than our keyword-based methods. Our BERT model achieves high precision for English notices, which is in line with previous work, but suffers from low recall due to insufficient candidate extraction. While the automated detection of decline options proved to be challenging due to the dynamic nature of many sites, detecting instances of different colors of the buttons was successful in most cases. Besides systematically evaluating our various detection techniques, we have manually annotated 1,000 websites to provide a ground-truth baseline, which has not existed previously. Furthermore, we release our code and the annotated dataset in the interest of reproducibility and repeatability.


title: 360$^\circ$ from a Single Camera: A Few-Shot Approach for LiDAR Segmentation

abstract: Deep learning applications on LiDAR data suffer from a strong domain gap when applied to different sensors or tasks. In order for these methods to obtain similar accuracy on different data in comparison to values reported on public benchmarks, a large scale annotated dataset is necessary. However, in practical applications labeled data is costly and time consuming to obtain. Such factors have triggered various research in label-efficient methods, but a large gap remains to their fully-supervised counterparts. Thus, we propose ImageTo360, an effective and streamlined few-shot approach to label-efficient LiDAR segmentation. Our method utilizes an image teacher network to generate semantic predictions for LiDAR data within a single camera view. The teacher is used to pretrain the LiDAR segmentation student network, prior to optional fine-tuning on 360$^\circ$ data. Our method is implemented in a modular manner on the point level and as such is generalizable to different architectures. We improve over the current state-of-the-art results for label-efficient methods and even surpass some traditional fully-supervised segmentation networks.


title: Equivalence of two constructions for $\widehat{sl}_2$--integrable hierarchies

abstract: In this paper, we investigate the equivalence of Date--Jimbo--Kashiwara--Miwa (DJKM) construction and Kac--Wakimoto (KW) construction for $\widehat{sl}_2$--integrable hierarchies. DJKM method has gained great success in constructions of integrable hierarchies corresponding to classical ABCD affine Lie algebras, while the KW method is more applicable, which can be even used in exceptional EFG affine Lie algebras. But in KW construction, it is quite difficult to obtain Lax equations for the corresponding integrable hierarchies, while in DJKM construction, one can derive Lax structures for many integrable hierarchies. It is still an open problem for the derivation of Lax equations from bilinear equations in KW construction. Therefore if we can show the equivalent DJKM construction for the integrable hierarchies derived by the KW construction, then it will be helpful to get corresponding Lax structures. Here the equivalence of DJKM and KW methods is showed in the $\widehat{sl}_2$--integrable hierarchy for principal and homogeneous representations by using the language of the lattice vertex algebras.


title: SCP: Scene Completion Pre-training for 3D Object Detection

abstract: 3D object detection using LiDAR point clouds is a fundamental task in the fields of computer vision, robotics, and autonomous driving. However, existing 3D detectors heavily rely on annotated datasets, which are both time-consuming and prone to errors during the process of labeling 3D bounding boxes. In this paper, we propose a Scene Completion Pre-training (SCP) method to enhance the performance of 3D object detectors with less labeled data. SCP offers three key advantages: (1) Improved initialization of the point cloud model. By completing the scene point clouds, SCP effectively captures the spatial and semantic relationships among objects within urban environments. (2) Elimination of the need for additional datasets. SCP serves as a valuable auxiliary network that does not impose any additional efforts or data requirements on the 3D detectors. (3) Reduction of the amount of labeled data for detection. With the help of SCP, the existing state-of-the-art 3D detectors can achieve comparable performance while only relying on 20% labeled data.


title: Petri Net Classes for Collaboration Mining: Assessment and Design Guidelines

abstract: Collaboration mining develops discovery, conformance checking, and enhancement techniques for collaboration processes. The collaboration process model is key to represent the discovery result. As for process mining in general, Petri Net classes are candidates for collaboration process models due to their analytical power. However, a standard model class to represent collaboration processes is lacking due to the heterogeneity of collaboration and, thus, of collaboration mining techniques. Collaboration heterogeneity requires to cover, for example, intra-organizational collaborations as well as choreographies that span a process across multiple organizations. A standard collaboration model class would advance collaboration mining by focusing discovery through a common target model, supporting comparison, and enabling flexible mining pipelines. To find a standard model class, we aim at capturing collaboration heterogeneity in a meta model, assess Petri net classes as candidates for collaboration process models through the meta model, and derive design guidelines for the collaboration discovery.


title: High Order Numerical Methods To Approximate The Singular Value Decomposition

abstract: In this paper, we present a class of high order methods to approximate the singular value decomposition of a given complex matrix (SVD). To the best of our knowledge, only methods up to order three appear in the the literature. A first part is dedicated to defline and analyse this class of method in the regular case, i.e., when the singular values are pairwise distinct. The construction is based on a perturbation analysis of a suitable system of associated to the SVD (SVD system). More precisely, for an integer $p$ be given, we define a sequence which converges with an order $p + 1$ towards the left-right singular vectors and the singular values if the initial approximation of the SVD system satisfies a condition which depends on three quantities : the norm of initial approximation of the SVD system, the greatest singular value and the greatest inverse of the modulus of the difference between the singular values. From a numerical computational point of view, this furnishes a very efficient simple test to prove and certifiy the existence of a SVD in neighborhood of the initial approximation. We generalize these result in the case of clusters of singular values. We show also how to use the result of regular case to detect the clusters of singular values and to define a notion of deflation of the SVD. Moreover numerical experiments confirm the theoretical results.


title: Fast Sparse PCA via Positive Semidefinite Projection for Unsupervised Feature Selection

abstract: In the field of unsupervised feature selection, sparse principal component analysis (SPCA) methods have attracted more and more attention recently. Compared to spectral-based methods, SPCA methods don't rely on the construction of a similarity matrix and show better feature selection ability on real-world data. The original SPCA formulates a nonconvex optimization problem. Existing convex SPCA methods reformulate SPCA as a convex model by regarding the reconstruction matrix as an optimization variable. However, they are lack of constraints equivalent to the orthogonality restriction in SPCA, leading to larger solution space. In this paper, it's proved that the optimal solution to a convex SPCA model falls onto the Positive Semidefinite (PSD) cone. A standard convex SPCA-based model with PSD constraint for unsupervised feature selection is proposed. Further, a two-step fast optimization algorithm via PSD projection is presented to solve the proposed model. Two other existing convex SPCA-based models are also proven to have their solutions optimized on the PSD cone in this paper. Therefore, the PSD versions of these two models are proposed to accelerate their convergence as well. We also provide a regularization parameter setting strategy for our proposed method. Experiments on synthetic and real-world datasets demonstrate the effectiveness and efficiency of the proposed methods.


title: Modelling Rabi oscillations for widefield radiofrequency imaging in nitrogen-vacancy centers in diamond

abstract: In this paper we study the dynamics of an ensemble of nitrogen-vacancy centers in diamond when its photoluminescence is detected by means of a widefield imaging system. We develop a seven-level model and use it to simulate the widefield detection of nitrogen-vacancy centers Rabi oscillations. The simulation results are compared with experimental measurements showing a good agreement. In particular, we use the model to explain the asymmetric shape of the detected Rabi oscillations due to an incomplete repolarization of the nitrogen-vacancy center during the pulse sequence implemented for the detection of Rabi oscillations.


title: Proximity-induced interfacial room-temperature ferromagnetism in semiconducting Fe3GeTe2

abstract: The discoveries of two-dimensional ferromagnetism and magnetic semiconductors highly enrich the magnetic material family for constructing spin-based electronic devices but with an acknowledged challenge that the Curie temperature (Tc) is usually far below room temperature. Many efforts such as voltage control and magnetic ion doping are currently underway to enhance the functional temperature, in which the involvement of additional electrodes or extra magnetic ions limits their plenty of applications in practical devices. Here we demonstrate that the magnetic proximity, a robust effect but with elusive mechanisms, can induce room-temperature ferromagnetism at the interface between sputtered Pt and semiconducting Fe3GeTe2, both of which do not show ferromagnetism at 300 K. The independent electrical and magnetization measurements, structure analysis, and control samples with Ta highlighting the role of Pt confirm that the ferromagnetism with the Tc of above 400 K arises from the Fe3GeTe2/Pt interfaces, rather than Fe aggregation or other artificial effects. Moreover, contrary to conventional ferromagnet/Pt structures, the spin current generated by the Pt layer is enhanced more than two times at the Fe3GeTe2/Pt interfaces, indicating the potential applications of the unique proximity effect in building high-efficient spintronic devices. These results may pave a new avenue to create room-temperature functional spin devices based on low-Tc materials and provide clear evidences of magnetic proximity effects by using non-ferromagnetic materials.


title: Meta Distribution of Partial-NOMA

abstract: This work studies the meta distribution (MD) in a two-user partial non-orthogonal multiple access (pNOMA) network. Compared to NOMA where users fully share a resource-element, pNOMA allows sharing only a fraction $\alpha$ of the resource-element. The MD is computed via moment-matching using the first two moments where reduced integral expressions are derived. Accurate approximates are also proposed for the $b{\rm th}$ moment for mathematical tractability. We show that in terms of percentile-performance of links, pNOMA only outperforms NOMA when $\alpha$ is small. Additionally, pNOMA improves the percentile-performance of the weak-user more than the strong-user highlighting its role in improving fairness.


title: Mass of quantum topological excitations and order parameter finite size dependence

abstract: We consider the spontaneously broken regime of the $O(n)$ vector model in $d=n+1$ space-time dimensions, with boundary conditions enforcing the presence of a topological defect line. Comparing theory and finite size dependence of one-point functions observed in recent numerical simulations we argue that the mass of the underlying topological quantum particle becomes infinite when $d\geq 4$.


title: SGNet: Salient Geometric Network for Point Cloud Registration

abstract: Point Cloud Registration (PCR) is a critical and challenging task in computer vision. One of the primary difficulties in PCR is identifying salient and meaningful points that exhibit consistent semantic and geometric properties across different scans. Previous methods have encountered challenges with ambiguous matching due to the similarity among patch blocks throughout the entire point cloud and the lack of consideration for efficient global geometric consistency. To address these issues, we propose a new framework that includes several novel techniques. Firstly, we introduce a semantic-aware geometric encoder that combines object-level and patch-level semantic information. This encoder significantly improves registration recall by reducing ambiguity in patch-level superpoint matching. Additionally, we incorporate a prior knowledge approach that utilizes an intrinsic shape signature to identify salient points. This enables us to extract the most salient super points and meaningful dense points in the scene. Secondly, we introduce an innovative transformer that encodes High-Order (HO) geometric features. These features are crucial for identifying salient points within initial overlap regions while considering global high-order geometric consistency. To optimize this high-order transformer further, we introduce an anchor node selection strategy. By encoding inter-frame triangle or polyhedron consistency features based on these anchor nodes, we can effectively learn high-order geometric features of salient super points. These high-order features are then propagated to dense points and utilized by a Sinkhorn matching module to identify key correspondences for successful registration. In our experiments conducted on well-known datasets such as 3DMatch/3DLoMatch and KITTI, our approach has shown promising results, highlighting the effectiveness of our novel method.


title: Memory Effect of Gravitational Wave Pulses in PP-Wave Spacetimes

abstract: In this paper, we study the gravitational memory effect in pp-wave spacetimes due to the passage of a pulse having the form of a ramp profile through this spacetime. We have analyzed the effect of this pulse on the evolution of nearby geodesics, and have determined analytical solutions of the geodesic equations in the Brinkmann coordinates. We have also examined the changes in the separation between a pair of geodesics and their velocity profiles. The separation (along $ x $ or $ y $-direction) increases monotonically from an initial constant value. In contrast, the relative velocity grows from zero and settles to a final non-zero constant value. These resulting changes are retained as memory after the pulse dies out. The nature of this memory is similar to that determined by earlier workers using Gaussian, square, and other pulse profiles, thereby validating the universality of gravitational wave memory.


title: Fractal and Fractional SIS model for syphilis data

abstract: This work studies the SIS model extended by fractional and fractal derivatives. We obtain explicit solutions for the standard and fractal formulations; for the fractional case, we study numerical solutions. As a real data example, we consider the Brazilian syphilis data from 2011 to 2021. We fit the data by considering the three variations of the model. Our fit suggests a recovery period of 11.6 days and a reproduction ratio ($R_0$) equal to 6.5. By calculating the correlation coefficient ($r$) between the real data and the theoretical points, our results suggest that the fractal model presents a higher $r$ compared to the standard or fractional case. The fractal formulation is improved when two different fractal orders with distinguishing weights are considered. This modification in the model provides a better description of the data and improves the correlation coefficient.


title: On the distribution of $k$-free numbers on the view point of random walks

abstract: In this paper, we investigate the distribution of $k$-free numbers in a class of $\alpha$-random walks on the integer lattice $\mathbb{Z}$. In these walks, the walker starts from a non-negative integer $r$ and moves to the right by $a$ units with probability $\alpha$, or by $b$ units with probability $1-\alpha$. For $k\geq 3$, we obtain the asymptotic proportion of $k$-free numbers in a path of such $\alpha$-random walks in almost surely sense. This provides a generalization of a classical result on the distribution of $k$-free numbers in arithmetic progressions.


title: Resolvent approach to diffusions with discontinuous scale

abstract: Quasidiffusion is an extension of regular diffusion which can be described as a Feller process on $\mathbb{R}$ with infinitesimal operator $L=\frac{1}{2}D_mD_s$. Here, $s(x) = x$ and $m$ refers to the (not necessarily fully supported) speed measure. In this paper, we will examine an analogous operator where the scale function s is general and only assumed to be non-decreasing. We find that, like regular diffusion or quasidiffusion, the reproducing kernel can still be generated by two specific positive monotone solutions of the {\alpha}-harmonic equation $Lf = \alpha f$ for each $\alpha>0$. Our main result shows that this reproducing kernel is able to induce a Markov process, which is identical to that obtained in [25] using a semigroup approach or in [17] through Dirichlet forms. Further investigations into the properties of this process will be presented.


title: Long-term drought prediction using deep neural networks based on geospatial weather data

abstract: The problem of high-quality drought forecasting up to a year in advance is critical for agriculture planning and insurance. Yet, it is still unsolved with reasonable accuracy due to data complexity and aridity stochasticity. We tackle drought data by introducing an end-to-end approach that adopts a spatio-temporal neural network model with accessible open monthly climate data as the input. Our systematic research employs diverse proposed models and five distinct environmental regions as a testbed to evaluate the efficacy of the Palmer Drought Severity Index (PDSI) prediction. Key aggregated findings are the exceptional performance of a Transformer model, EarthFormer, in making accurate short-term (up to six months) forecasts. At the same time, the Convolutional LSTM excels in longer-term forecasting. Both models achieved high ROC AUC scores: 0.948 for one month ahead and 0.617 for twelve months ahead forecasts, becoming closer to perfect ROC-AUC by $54\%$ and $16\%$, respectively, c.t. classic approaches.


title: Higman-Thompson groups and profinite properties of right-angled Coxeter groups

abstract: We prove that every right-angled Coxeter group (RACG) is profinitely rigid amongst all Coxeter groups. On the other hand we exhibit RACGs which have infinite profinite genus amongst all finitely generated residually finite groups. We also establish profinite rigidity results for graph products of finite groups. Along the way we prove that the Higman-Thompson groups $V_{n}$ are generated by $4$ involutions, generalising a classical result of Higman for Thompson's group $V$.


title: On the symplectic structure over the moduli space of projective structures on a surface

abstract: The moduli space of projective structures on a compact oriented surface $\Sigma$ has a holomorphic symplectic structure, which is constructed by pulling back, using the monodromy map, the Atiyah--Bott--Goldman symplectic form on the character variety ${\rm Hom}(\pi_1(\Sigma), \text{PSL}(2, {\mathbb C}))/\!\!/\text{PSL}(2, {\mathbb C})$. We produce another construction of this symplectic form. This construction shows that the symplectic form on the moduli space is actually algebraic. Note that the monodromy map is only holomorphic and not algebraic, so the first construction does not give algebraicity of the pulled back form.


title: Coboundary expansion and Gromov hyperbolicity

abstract: We prove that if a compact $n$-manifold admits a sequence of residual covers that form a coboundary expander in dimension $n-2$, then the manifold has Gromov-hyperbolic fundamental group. In particular, residual sequences of covers of non-hyperbolic compact connected irreducible 3-manifolds are not 1-coboundary expanders.


title: Brute-force nucleation rates of hard spheres compared with rare-event methods and classical nucleation theory

abstract: We determine the nucleation rates of hard spheres using brute-force molecular dynamics simulations. We overcome nucleation barriers of up to $28 k_B T$, leading to a rigorous test of nucleation rates obtained from rare-event methods and classical nucleation theory. Our brute-force nucleation rates show excellent agreement with umbrella sampling simulations by Filion et al. [J. Chem. Phys. 133, 244115 (2010)] and seeding simulations by Espinosa et al. [J. Chem. Phys. 144, 034501 (2016)].


title: HAMUR: Hyper Adapter for Multi-Domain Recommendation

abstract: Multi-Domain Recommendation (MDR) has gained significant attention in recent years, which leverages data from multiple domains to enhance their performance concurrently.However, current MDR models are confronted with two limitations. Firstly, the majority of these models adopt an approach that explicitly shares parameters between domains, leading to mutual interference among them. Secondly, due to the distribution differences among domains, the utilization of static parameters in existing methods limits their flexibility to adapt to diverse domains. To address these challenges, we propose a novel model Hyper Adapter for Multi-Domain Recommendation (HAMUR). Specifically, HAMUR consists of two components: (1). Domain-specific adapter, designed as a pluggable module that can be seamlessly integrated into various existing multi-domain backbone models, and (2). Domain-shared hyper-network, which implicitly captures shared information among domains and dynamically generates the parameters for the adapter. We conduct extensive experiments on two public datasets using various backbone networks. The experimental results validate the effectiveness and scalability of the proposed model.


title: An exploration of the phonon frequency spectrum and Born-von Karman periodic boundary conditions in 1D and 2D Lattice systems using a computational approach

abstract: The concept of periodic boundary conditions (PBCs) is immensely significant in treating an ideal lattice of infinite extent as a finite lattice. An explicit usage of PBCs is often found missing in undergraduate texts on analytical treatment of lattice dynamics. The aim of the present work is to cover this gap by illustrating the application of Born-von Karman PBCs in lattice dynamical calculations using a computational approach. The equations of motion are set up for a linear diatomic lattice with a basis, using the nearest neighbour approximation. The solution is obtained by implementing fourth order Runge-Kutta algorithm in python. Fast Fourier Transform (FFT) technique is then used to obtain the phonon frequency spectrum corresponding to the computed solutions. Similar computations are extended to obtain the phonon spectrum for monatomic square and honeycomb lattices under the second nearest neighbour approximation. The computed results are validated against the analytical ones in each case. The target group of the present work are the students and educators at the undergraduate level.


title: Human Action Co-occurrence in Lifestyle Vlogs using Graph Link Prediction

abstract: We introduce the task of automatic human action co-occurrence identification, i.e., determine whether two human actions can co-occur in the same interval of time. We create and make publicly available the ACE (Action Co-occurrencE) dataset, consisting of a large graph of ~12k co-occurring pairs of visual actions and their corresponding video clips. We describe graph link prediction models that leverage visual and textual information to automatically infer if two actions are co-occurring. We show that graphs are particularly well suited to capture relations between human actions, and the learned graph representations are effective for our task and capture novel and relevant information across different data domains. The ACE dataset and the code introduced in this paper are publicly available at https://github.com/MichiganNLP/vlog_action_co-occurrence.


title: Minimisation of 2-coverings of genus 2 Jacobians

abstract: An important problem in computational arithmetic geometry is to find changes of coordinates to simplify a system of polynomial equations with rational coefficients. This is tackled by a combination of two techniques, called minimisation and reduction. We give an algorithm for minimising certain pairs of quadratic forms, subject to the constraint that the first quadratic form is fixed. This has applications to 2-descent on the Jacobian of a genus 2 curve.


title: Use neural networks to recognize students' handwritten letters and incorrect symbols

abstract: Correcting students' multiple-choice answers is a repetitive and mechanical task that can be considered an image multi-classification task. Assuming possible options are 'abcd' and the correct option is one of the four, some students may write incorrect symbols or options that do not exist. In this paper, five classifications were set up - four for possible correct options and one for other incorrect writing. This approach takes into account the possibility of non-standard writing options.


title: Lower bounds on the homology of Vietoris-Rips complexes of hypercube graphs

abstract: We provide novel lower bounds on the Betti numbers of Vietoris-Rips complexes of hypercube graphs of all dimensions, and at all scales. In more detail, let $Q_n$ be the vertex set of $2^n$ vertices in the $n$-dimensional hypercube graph, equipped with the shortest path metric. Let $VR(Q_n;r)$ be its Vietoris--Rips complex at scale parameter $r \ge 0$, which has $Q_n$ as its vertex set, and all subsets of diameter at most $r$ as its simplices. For integers $r<r'$ the inclusion $VR(Q_n;r)\hookrightarrow VR(Q_n;r')$ is nullhomotopic, meaning no persistent homology bars have length longer than one, and we therefore focus attention on the individual spaces $VR(Q_n;r)$. We provide lower bounds on the ranks of homology groups of $VR(Q_n;r)$. For example, using cross-polytopal generators, we prove that the rank of $H_{2^r-1}(VR(Q_n;r))$ is at least $2^{n-(r+1)}\binom{n}{r+1}$. We also prove a version of \emph{homology propagation}: if $q\ge 1$ and if $p$ is the smallest integer for which $rank H_q(VR(Q_p;r))\neq 0$, then $rank H_q(VR(Q_n;r)) \ge \sum_{i=p}^n 2^{i-p} \binom{i-1}{p-1} \cdot rank H_q(VR(Q_p;r))$ for all $n \ge p$. When $r\le 3$, this result and variants thereof provide tight lower bounds on the rank of $H_q(VR(Q_n;r))$ for all $n$, and for each $r \ge 4$ we produce novel lower bounds on the ranks of homology groups. Furthermore, we show that for each $r\ge 2$, the homology groups of $VR(Q_n;r)$ for $n \ge 2r+1$ contain propagated homology not induced by the initial cross-polytopal generators.


title: Unveiling Single-Bit-Flip Attacks on DNN Executables

abstract: Recent research has shown that bit-flip attacks (BFAs) can manipulate deep neural networks (DNNs) via DRAM Rowhammer exploitations. Existing attacks are primarily launched over high-level DNN frameworks like PyTorch and flip bits in model weight files. Nevertheless, DNNs are frequently compiled into low-level executables by deep learning (DL) compilers to fully leverage low-level hardware primitives. The compiled code is usually high-speed and manifests dramatically distinct execution paradigms from high-level DNN frameworks. In this paper, we launch the first systematic study on the attack surface of BFA specifically for DNN executables compiled by DL compilers. We design an automated search tool to identify vulnerable bits in DNN executables and identify practical attack vectors that exploit the model structure in DNN executables with BFAs (whereas prior works make likely strong assumptions to attack model weights). DNN executables appear more "opaque" than models in high-level DNN frameworks. Nevertheless, we find that DNN executables contain extensive, severe (e.g., single-bit flip), and transferrable attack surfaces that are not present in high-level DNN models and can be exploited to deplete full model intelligence and control output labels. Our finding calls for incorporating security mechanisms in future DNN compilation toolchains.


title: Hyperbolic groups satisfy the Boone-Higman conjecture

abstract: The 1973 Boone-Higman conjecture predicts that every finitely generated group with solvable word problem embeds in a finitely presented simple group. In this paper, we show that hyperbolic groups satisfy this conjecture, that is, each hyperbolic group embeds in some finitely presented simple group. This shows that the conjecture holds in the "generic" case for finitely presented groups. Our key tool is a new family of groups, which we call "rational similarity groups (RSGs)", that is interesting in its own right. We prove that every hyperbolic group embeds in a full, contracting RSG, and every full, contracting RSG embeds in a finitely presented simple group, thus establishing the result. Another consequence of our work is that all contracting self-similar groups satisfy the Boone-Higman conjecture.


title: GRFolres: A code for modified gravity simulations in strong gravity

abstract: GRFolres is an open-source code for performing simulations in modified theories of gravity, based on the publicly available 3+1D numerical relativity code GRChombo. Note: Submitted for review in the Journal of Open Source Software; Comments welcome; The code can be found at https://github.com/GRChombo/GRFolres


title: L\'evy distributed fluctuations in the living cell cortex

abstract: The actomyosin cortex is an active material that provides animal cells with a strong but flexible exterior, whose mechanics, including non-Gaussian fluctuations and occasional large displacements or cytoquakes, have defied explanation. We study the active nanoscale fluctuations of the cortex using high-performance tracking of an array of flexible microposts adhered to multiple cultured cell types. When the confounding effects of static heterogeneity and tracking error are removed, the fluctuations are found to be heavy-tailed and well-described by a truncated L\'evy stable distribution over a wide range of timescales and multiple cell types. Notably, cytoquakes appear to correspond to the largest random displacements, unifying all cortical fluctuations into a single spectrum. These findings reinforce the cortex's previously noted similarity to soft glassy materials such as foams, while the form of the fluctuation distribution will constrain future models of the cytoskeleton.


title: On the Injunction of XAIxArt

abstract: The position paper highlights the range of concerns that are engulfed in the injunction of explainable artificial intelligence in art (XAIxArt). Through a series of quick sub-questions, it points towards the ambiguities concerning 'explanation' and the postpositivist tradition of 'relevant explanation'. Rejecting both 'explanation' and 'relevant explanation', the paper takes a stance that XAIxArt is a symptom of insecurity of the anthropocentric notion of art and a nostalgic desire to return to outmoded notions of authorship and human agency. To justify this stance, the paper makes a distinction between an ornamentation model of explanation to a model of explanation as sense-making.


title: Is air traffic delay propagation recurrent?

abstract: We experience air traffic delays every day, but are there any recurrent patterns in these delays? In this study, we investigate the recurrence of delay propagation patterns in Japan's domestic air transport network in 2019 by integrating delay causality networks and temporal network analysis. Additionally, we examine characteristics unique to delay propagation by comparing delay causality networks with corresponding randomized networks generated by a directed configuration model. As a result, we found that the structure of the delay propagation patterns can be classified into several groups. The identified groups exhibit statistically significant differences in total delay time and average out-degree, with different airports playing central roles in spreading delays. The results also suggest that some delay propagation patterns are particularly prominent during specific times of the year, which could be influenced by Japan's seasonal and geographical factors. Furthermore, we discovered that specific network motifs appear significantly more (or less) frequently in delay causality networks than their corresponding randomized counterparts. This characteristic is particularly pronounced in groups with more significant delays. These results suggest that delays propagate following specific directional patterns, which could significantly contribute to predicting and controlling air traffic delays. We expect the present study to trigger further research on recurrent and non-recurrent natures of air traffic delay propagation.


title: PreciseBugCollector: Extensible, Executable and Precise Bug-fix Collection

abstract: Bug datasets are vital for enabling deep learning techniques to address software maintenance tasks related to bugs. However, existing bug datasets suffer from precise and scale limitations: they are either small-scale but precise with manual validation or large-scale but imprecise with simple commit message processing. In this paper, we introduce PreciseBugCollector, a precise, multi-language bug collection approach that overcomes these two limitations. PreciseBugCollector is based on two novel components: a) A bug tracker to map the codebase repositories with external bug repositories to trace bug type information, and b) A bug injector to generate project-specific bugs by injecting noise into the correct codebases and then executing them against their test suites to obtain test failure messages. We implement PreciseBugCollector against three sources: 1) A bug tracker that links to the national vulnerability data set (NVD) to collect general-wise vulnerabilities, 2) A bug tracker that links to OSS-Fuzz to collect general-wise bugs, and 3) A bug injector based on 16 injection rules to generate project-wise bugs. To date, PreciseBugCollector comprises 1057818 bugs extracted from 2968 open-source projects. Of these, 12602 bugs are sourced from bug repositories (NVD and OSS-Fuzz), while the remaining 1045216 project-specific bugs are generated by the bug injector. Considering the challenge objectives, we argue that a bug injection approach is highly valuable for the industrial setting, since project-specific bugs align with domain knowledge, share the same codebase, and adhere to the coding style employed in industrial projects.