title: Sparse-DySta: Sparsity-Aware Dynamic and Static Scheduling for Sparse Multi-DNN Workloads

abstract: Running multiple deep neural networks (DNNs) in parallel has become an emerging workload in both edge devices, such as mobile phones where multiple tasks serve a single user for daily activities, and data centers, where various requests are raised from millions of users, as seen with large language models. To reduce the costly computational and memory requirements of these workloads, various efficient sparsification approaches have been introduced, resulting in widespread sparsity across different types of DNN models. In this context, there is an emerging need for scheduling sparse multi-DNN workloads, a problem that is largely unexplored in previous literature. This paper systematically analyses the use-cases of multiple sparse DNNs and investigates the opportunities for optimizations. Based on these findings, we propose Dysta, a novel bi-level dynamic and static scheduler that utilizes both static sparsity patterns and dynamic sparsity information for the sparse multi-DNN scheduling. Both static and dynamic components of Dysta are jointly designed at the software and hardware levels, respectively, to improve and refine the scheduling approach. To facilitate future progress in the study of this class of workloads, we construct a public benchmark that contains sparse multi-DNN workloads across different deployment scenarios, spanning from mobile phones and AR/VR wearables to data centers. A comprehensive evaluation on the sparse multi-DNN benchmark demonstrates that our proposed approach outperforms the state-of-the-art methods with up to 10% decrease in latency constraint violation rate and nearly 4X reduction in average normalized turnaround time. Our artifacts and code are publicly available at: https://github.com/SamsungLabs/Sparse-Multi-DNN-Scheduling.


title: Experimenting AI Technologies for Disinformation Combat: the IDMO Project

abstract: The Italian Digital Media Observatory (IDMO) project, part of a European initiative, focuses on countering disinformation and fake news. This report outlines contributions from Rai-CRITS to the project, including: (i) the creation of novel datasets for testing technologies (ii) development of an automatic model for categorizing Pagella Politica verdicts to facilitate broader analysis (iii) creation of an automatic model for recognizing textual entailment with exceptional accuracy on the FEVER dataset (iv) assessment using GPT-4 to detecting content treatment style (v) a game to raise awareness about fake news at national events.


title: On Greenberg--Benois $\mathcal{L}$-invariants and Fontaine--Mazur $\mathcal{L}$-invariants

abstract: We prove a comparison theorem between Greenberg--Benois $\mathcal{L}$-invariants and Fontaine--Mazur $\mathcal{L}$-invariants. Such a comparison theorem supplies an affirmative answer to a speculation of Besser--de Shalit.


title: Unveiling Local Patterns of Child Pornography Consumption in France using Tor

abstract: Child pornography represents a severe form of exploitation and victimization of children, leaving the victims with emotional and physical trauma. In this study, we aim to analyze local patterns of child pornography consumption across 1341 French communes in 20 metropolitan regions of France using fine-grained mobile traffic data of Tor network-related web services. We estimate that approx. 0.08 % of Tor mobile download traffic observed in France is linked to the consumption of child sexual abuse materials by correlating it with local-level temporal porn consumption patterns. This compares to 0.19 % of what we conservatively estimate to be the share of child pornographic content in global Tor traffic. In line with existing literature on the link between sexual child abuse and the consumption of image-based content thereof, we observe a positive and statistically significant effect of our child pornography consumption estimates on the reported number of victims of sexual violence and vice versa, which validates our findings, after controlling for a set of spatial and non-spatial features including socio-demographic characteristics, voting behaviour, nearby points of interest and Google Trends queries. While this is a first, exploratory attempt to look at child pornography from a spatial epidemiological angle, we believe this research provides public health officials with valuable information to prioritize target areas for public awareness campaigns as another step to fulfil the global community's pledge to target 16.2 of the Sustainable Development Goals: "End abuse, exploitation, trafficking and all forms of violence and torture against children".


title: An analogue of a conjecture of Rasmussen and Tamagawa for abelian varieties over function fields

abstract: Let $L$ be a number field and let $\ell$ be a prime number. Rasmussen and Tamagawa conjectured, in a precise sense, that abelian varieties whose field of definition of the $\ell$-power torsion is both a pro-$\ell$ extension of $L(\mu_\ell)$ and unramified away from $\ell$ are quite rare. In this paper, we formulate an analogue of the Rasmussen--Tamagawa conjecture for non-isotrivial abelian varieties defined over function fields. We provide a proof of our analogue in the case of elliptic curves. In higher dimensions, when the base field is a subfield of the complex numbers, we show that our conjecture is a consequence of the uniform geometric torsion conjecture. Finally, using a theorem of Bakker and Tsimerman we also prove our conjecture unconditionally for abelian varieties with real multiplication.


title: Continuity of the extremal decomposition of the free state for finite-spin models on Cayley trees

abstract: We prove the continuity of the extremal decomposition measure of the free state of low temperature Potts models, and more generally of ferromagnetic finite-spin models, on a regular tree, including general clock models. The decomposition is supported on uncountably many inhomogeneous extremal states, that we call glassy states. The method of proof provides explicit concentration bounds on branch overlaps, which play the role of an order parameter for typical extremals. The result extends to the counterpart of the free state (called central state) in a wide range of models which have no symmetry, allowing also the presence of sufficiently small field terms. Our work shows in particular that the decomposition of central states into uncountably many glassy states in finite-spin models on trees at low temperature is a generic phenomenon, and does not rely on symmetries of the Hamiltonian.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: Refining Latent Representations: A Generative SSL Approach for Heterogeneous Graph Learning

abstract: Self-Supervised Learning (SSL) has shown significant potential and has garnered increasing interest in graph learning. However, particularly for generative SSL methods, its potential in Heterogeneous Graph Learning (HGL) remains relatively underexplored. Generative SSL utilizes an encoder to map the input graph into a latent representation and a decoder to recover the input graph from the latent representation. Previous HGL SSL methods generally design complex strategies to capture graph heterogeneity, which heavily rely on contrastive view construction strategies that are often non-trivial. Yet, refining the latent representation in generative SSL can effectively improve graph learning results. In this study, we propose HGVAE, a generative SSL method specially designed for HGL. Instead of focusing on designing complex strategies to capture heterogeneity, HGVAE centers on refining the latent representation. Specifically, HGVAE innovatively develops a contrastive task based on the latent representation. To ensure the hardness of negative samples, we develop a progressive negative sample generation (PNSG) mechanism that leverages the ability of Variational Inference (VI) to generate high-quality negative samples. As a pioneer in applying generative SSL for HGL, HGVAE refines the latent representation, thereby compelling the model to learn high-quality representations. Compared with various state-of-the-art (SOTA) baselines, HGVAE achieves impressive results, thus validating its superiority.


title: Secure Motion-Copying via Homomorphic Encryption

abstract: This study aims to develop an encrypted motion-copying system using homomorphic encryption for secure motion preservation and reproduction. A novel concept of encrypted motion-copying systems is introduced, realizing the preservation, edition, and reproduction of the motion over encrypted data. The developed motion-copying system uses the conventional encrypted four-channel bilateral control system with robotic arms to save the leader's motion by a human operator in the ciphertext in a memory. The follower's control system reproduces the motion using the encrypted data loaded from the secure memory. Additionally, the developed system enables us to directly edit the motion data preserved in the memory without decryption using homomorphic operation. Finally, this study demonstrates the effectiveness of the developed encrypted motion-copying system in free motion, object contact, and spatial scaling scenarios.


title: Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification

abstract: This paper is concerned with the computation of the local Lipschitz constant of feedforward neural networks (FNNs) with activation functions being rectified linear units (ReLUs). The local Lipschitz constant of an FNN for a target input is a reasonable measure for its quantitative evaluation of the reliability. By following a standard procedure using multipliers that capture the behavior of ReLUs,we first reduce the upper bound computation problem of the local Lipschitz constant into a semidefinite programming problem (SDP). Here we newly introduce copositive multipliers to capture the ReLU behavior accurately. Then, by considering the dual of the SDP for the upper bound computation, we second derive a viable test to conclude the exactness of the computed upper bound. However, these SDPs are intractable for practical FNNs with hundreds of ReLUs. To address this issue, we further propose a method to construct a reduced order model whose input-output property is identical to the original FNN over a neighborhood of the target input. We finally illustrate the effectiveness of the model reduction and exactness verification methods with numerical examples of practical FNNs.


title: Generalizability of CNN Architectures for Face Morph Presentation Attack

abstract: Automatic border control systems are wide spread in modern airports worldwide. Morphing attacks on face biometrics is a serious threat that undermines the security and reliability of face recognition systems deployed in airports and border controls. Therefore, developing a robust Machine Learning (ML) system is necessary to prevent criminals crossing borders with fake identifications especially since it has been shown that security officers cannot detect morphs better than machines. In this study, we investigate the generalization power of Convolutional Neural Network (CNN) architectures against morphing attacks. The investigation utilizes 5 distinct CNNs namely ShuffleNet, DenseNet201, VGG16, EffecientNet-B0 and InceptionResNet-v2. Each CNN architecture represents a well-known family of CNN models in terms of number of parameters, architectural design and performance across various computer vision applications. To ensure robust evaluation, we employ 4 different datasets (Utrecht, London, Defacto and KurdFace) that contain a diverse range of digital face images which cover variations in ethnicity, gender, age, lighting condition and camera setting. One of the fundamental concepts of ML system design is the ability to generalize effectively to previously unseen data, hence not only we evaluate the performance of CNN models within individual datasets but also explore their performance across combined datasets and investigating each dataset in testing phase only. Experimental results on more than 8 thousand images (genuine and morph) from the 4 datasets show that InceptionResNet-v2 generalizes better to unseen data and outperforms the other 4 CNN models.


title: 3D Structure-guided Network for Tooth Alignment in 2D Photograph

abstract: Orthodontics focuses on rectifying misaligned teeth (i.e., malocclusions), affecting both masticatory function and aesthetics. However, orthodontic treatment often involves complex, lengthy procedures. As such, generating a 2D photograph depicting aligned teeth prior to orthodontic treatment is crucial for effective dentist-patient communication and, more importantly, for encouraging patients to accept orthodontic intervention. In this paper, we propose a 3D structure-guided tooth alignment network that takes 2D photographs as input (e.g., photos captured by smartphones) and aligns the teeth within the 2D image space to generate an orthodontic comparison photograph featuring aesthetically pleasing, aligned teeth. Notably, while the process operates within a 2D image space, our method employs 3D intra-oral scanning models collected in clinics to learn about orthodontic treatment, i.e., projecting the pre- and post-orthodontic 3D tooth structures onto 2D tooth contours, followed by a diffusion model to learn the mapping relationship. Ultimately, the aligned tooth contours are leveraged to guide the generation of a 2D photograph with aesthetically pleasing, aligned teeth and realistic textures. We evaluate our network on various facial photographs, demonstrating its exceptional performance and strong applicability within the orthodontic industry.


title: Heat kernel fluctuations for stochastic processes on fractals and random media

abstract: It is well-known that stochastic processes on fractal spaces or in certain random media exhibit anomalous heat kernel behaviour. One manifestation of such irregular behaviour is the presence of fluctuations in the short- or long-time asymptotics of the on-diagonal heat kernel. In this note we review some examples for which such fluctuations are known to occur, including Brownian motion on certain deterministic or random fractals, and simple random walks on various examples of random graph trees, such as the incipient infinite cluster of critical percolation on a regular tree and low-dimensional uniform spanning trees. We also announce some new results that add the one-dimensional Bouchaud trap model to this class of examples.


title: Extreme photometric and polarimetric variability of blazar S4 0954+65 at its maximum optical and $\gamma$-ray brightness levels

abstract: In 2022 the BL Lac object S4 0954+65 underwent a major variability phase, reaching its historical maximum brightness in the optical and $\gamma$-ray bands. We present optical photometric and polarimetric data acquired by the Whole Earth Blazar Telescope (WEBT) Collaboration from 2022 April 6 to July 6. Many episodes of unprecedented fast variability were detected, implying an upper limit to the size of the emitting region as low as $10^{-4}$ parsec. The WEBT data show rapid variability in both the degree and angle of polarization. We analyse different models to explain the polarization behaviour in the framework of a twisting jet model, which assumes that the long-term trend of the flux is produced by variations in the emitting region viewing angle. All the models can reproduce the average trend of the polarization degree, and can account for its general anticorrelation with the flux, but the dispersion of the data requires the presence of intrinsic mechanisms, such as turbulence, shocks, or magnetic reconnection. The WEBT optical data are compared to $\gamma$-ray data from the Fermi satellite. These are analysed with both fixed and adaptive binning procedures. We show that the strong correlation between optical and $\gamma$-ray data without measurable delay assumes different slopes in faint and high brightness states, and this is compatible with a scenario where in faint states we mainly see the imprint of the geometrical effects, while in bright states the synchrotron self-Compton process dominates.


title: MorphFlow: Estimating Motion in In Situ Tests of Concrete

abstract: We present a novel algorithm explicitly tailored to estimate motion from time series of 3D images of concrete. Such volumetric images are usually acquired by Computed Tomography and can contain for example in situ tests, or more complex procedures like self-healing. Our algorithm is specifically designed to tackle the challenge of large scale in situ investigations of concrete. That means it cannot only cope with big images, but also with discontinuous displacement fields that often occur in in situ tests of concrete. We show the superior performance of our algorithm, especially regarding plausibility and time efficient processing. Core of the algorithm is a novel multiscale representation based on morphological wavelets. We use two examples for validation: A classical in situ test on refractory concrete and and a three point bending test on normal concrete. We show that for both applications structural changes like crack initiation can be already found at low scales -- a central achievement of our algorithm.


title: Minimally Informed Linear Discriminant Analysis: training an LDA model with unlabelled data

abstract: Linear Discriminant Analysis (LDA) is one of the oldest and most popular linear methods for supervised classification problems. In this paper, we demonstrate that it is possible to compute the exact projection vector from LDA models based on unlabelled data, if some minimal prior information is available. More precisely, we show that only one of the following three pieces of information is actually sufficient to compute the LDA projection vector if only unlabelled data are available: (1) the class average of one of the two classes, (2) the difference between both class averages (up to a scaling), or (3) the class covariance matrices (up to a scaling). These theoretical results are validated in numerical experiments, demonstrating that this minimally informed Linear Discriminant Analysis (MILDA) model closely matches the performance of a supervised LDA model. Furthermore, we show that the MILDA projection vector can be computed in a closed form with a computational cost comparable to LDA and is able to quickly adapt to non-stationary data, making it well-suited to use as an adaptive classifier.


title: Nonlocal degenerate Isaacs operators: H\"older regularity

abstract: We show that bounded viscosity solutions of some nonlocal degenerate Isaacs type operators of order $2s$ are H\"older continuous, provided $s$ is sufficiently close to 1. As an application we obtain a Liouville theorem.


title: Super resolution of histopathological frozen sections via deep learning preserving tissue structure

abstract: Histopathology plays a pivotal role in medical diagnostics. In contrast to preparing permanent sections for histopathology, a time-consuming process, preparing frozen sections is significantly faster and can be performed during surgery, where the sample scanning time should be optimized. Super-resolution techniques allow imaging the sample in lower magnification and sparing scanning time. In this paper, we present a new approach to super resolution for histopathological frozen sections, with focus on achieving better distortion measures, rather than pursuing photorealistic images that may compromise critical diagnostic information. Our deep-learning architecture focuses on learning the error between interpolated images and real images, thereby it generates high-resolution images while preserving critical image details, reducing the risk of diagnostic misinterpretation. This is done by leveraging the loss functions in the frequency domain, assigning higher weights to the reconstruction of complex, high-frequency components. In comparison to existing methods, we obtained significant improvements in terms of Structural Similarity Index (SSIM) and Peak Signal-to-Noise Ratio (PSNR), as well as indicated details that lost in the low-resolution frozen-section images, affecting the pathologist's clinical decisions. Our approach has a great potential in providing more-rapid frozen-section imaging, with less scanning, while preserving the high resolution in the imaged sample.


title: Revisiting Sentiment Analysis for Software Engineering in the Era of Large Language Models

abstract: Software development is an inherently collaborative process, where various stakeholders frequently express their opinions and emotions across diverse platforms. Recognizing the sentiments conveyed in these interactions is crucial for the effective development and ongoing maintenance of software systems. Over the years, many tools have been proposed to aid in sentiment analysis, but accurately identifying the sentiments expressed in software engineering datasets remains challenging. Although fine-tuned smaller large language models (sLLMs) have shown potential in handling software engineering tasks, they struggle with the shortage of labeled data. With the emergence of bigger large language models (bLLMs), it is pertinent to investigate whether they can handle this challenge in the context of sentiment analysis for software engineering. In this work, we undertake a comprehensive empirical study using five established datasets. We assess the performance of three open-source bLLMs in both zero-shot and few-shot scenarios. Additionally, we compare them with fine-tuned sLLMs. Our experimental findings demonstrate that bLLMs exhibit state-of-the-art performance on datasets marked by limited training data and imbalanced distributions. bLLMs can also achieve excellent performance under a zero-shot setting. However, when ample training data is available or the dataset exhibits a more balanced distribution, fine-tuned sLLMs can still achieve superior results.


title: Viscoelastic wetting: Cox-Voinov theory with normal stress effects

abstract: The classical Cox-Voinov theory of contact line motion provides a relation between the macroscopically observable contact angle, and the microscopic wetting angle as a function of contact line velocity. Here we investigate how viscoelasticity, specifically the normal stress effect, modifies wetting dynamics. Using the thin film equation for the second-order fluid, it is found that the normal stress effect is dominant at small scales. We show that the effect can be incorporated in the Cox-Voinov theory through an apparent microscopic angle, which differs from the true microscopic angle. The theory is applied to the classical problems of drop spreading and dip-coating, which shows how normal stress facilitates (inhibits) the motion of advancing (receding) contact lines. For rapid advancing motion, the apparent microscopic angle can tend to zero in which case the dynamics is described by a new regime that was already anticipated in Boudaoud (2007).


title: Heat kernel fluctuations and quantitative homogenization for the one-dimensional Bouchaud trap model

abstract: We present on-diagonal heat kernel estimates and quantitative homogenization statements for the one-dimensional Bouchaud trap model. The heat kernel estimates are obtained using standard techniques, with key inputs coming from a careful analysis of the volume growth of the invariant measure of the process under study. As for the quantitative homogenization results, these include both quenched and annealed Berry-Esseen-type theorems, as well as a quantitative quenched local limit theorem. Whilst the model we study here is a particularly simple example of a random walk in a random environment, we believe the roadmap we provide for establishing the latter result in particular will be useful for deriving quantitative local limit theorems in other, more challenging, settings.


title: Cross-Platform Social Dynamics: An Analysis of ChatGPT and COVID-19 Vaccine Conversations

abstract: The role of social media in information dissemination and agenda-setting has significantly expanded in recent years. By offering real-time interactions, online platforms have become invaluable tools for studying societal responses to significant events as they unfold. However, online reactions to external developments are influenced by various factors, including the nature of the event and the online environment. This study examines the dynamics of public discourse on digital platforms to shed light on this issue. We analyzed over 12 million posts and news articles related to two significant events: the release of ChatGPT in 2022 and the global discussions about COVID-19 vaccines in 2021. Data was collected from multiple platforms, including Twitter, Facebook, Instagram, Reddit, YouTube, and GDELT. We employed topic modeling techniques to uncover the distinct thematic emphases on each platform, which reflect their specific features and target audiences. Additionally, sentiment analysis revealed various public perceptions regarding the topics studied. Lastly, we compared the evolution of engagement across platforms, unveiling unique patterns for the same topic. Notably, discussions about COVID-19 vaccines spread more rapidly due to the immediacy of the subject, while discussions about ChatGPT, despite its technological importance, propagated more gradually.


title: USDC: Unified Static and Dynamic Compression for Visual Transformer

abstract: Visual Transformers have achieved great success in almost all vision tasks, such as classification, detection, and so on. However, the model complexity and the inference speed of the visual transformers hinder their deployments in industrial products. Various model compression techniques focus on directly compressing the visual transformers into a smaller one while maintaining the model performance, however, the performance drops dramatically when the compression ratio is large. Furthermore, several dynamic network techniques have also been applied to dynamically compress the visual transformers to obtain input-adaptive efficient sub-structures during the inference stage, which can achieve a better trade-off between the compression ratio and the model performance. The upper bound of memory of dynamic models is not reduced in the practical deployment since the whole original visual transformer model and the additional control gating modules should be loaded onto devices together for inference. To alleviate two disadvantages of two categories of methods, we propose to unify the static compression and dynamic compression techniques jointly to obtain an input-adaptive compressed model, which can further better balance the total compression ratios and the model performances. Moreover, in practical deployment, the batch sizes of the training and inference stage are usually different, which will cause the model inference performance to be worse than the model training performance, which is not touched by all previous dynamic network papers. We propose a sub-group gates augmentation technique to solve this performance drop problem. Extensive experiments demonstrate the superiority of our method on various baseline visual transformers such as DeiT, T2T-ViT, and so on.


title: $L^p$ positivity preservation and self-adjointness on incomplete Riemannian manifolds

abstract: The aim of this paper is to prove a qualitative property, namely the preservation of positivity, for Schr\"odinger-type operators acting on $L^p$ functions defined on (possibly incomplete) Riemannian manifolds. A key assumption is a control of the behaviour of the potential of the operator near the Cauchy boundary of the manifolds. As a by-product, we establish the essential self-adjointness of such operators, as well as its generalization to the case $p\neq 2$, i.e. the fact that smooth compactly supported functions are an operator core for the Schr\"odinger operator in $L^p$.


title: High-precision determination of $g$ factors and masses of $^{20}\text{Ne}^{9+}$ and $^{22}\text{Ne}^{9+}$

abstract: We present the measurements of individual bound electron $g$ factors of $^{20}\text{Ne}^{9+}$ and $^{22}\text{Ne}^{9+}$ on the relative level of $0.1\,\text{parts}$ per billion. The comparison with theory represents the most stringent test of bound-state QED in strong electric fields. A dedicated mass measurement results in $m\left(^{20}\text{Ne}\right)=19.992\,440\,168\,77\,(9)\,\text{u}$, which improves the current literature value by a factor of nineteen, disagrees by $4$ standard deviations and represents the most precisely measured mass value in atomic mass units. Together, these measurements yield an electron mass on the relative level of $0.1\,\text{ppb}$ with $m_{\text{e}}=5.485\,799\,090\,99\,(59) \times 10^{-4}\,\text{u}$ as well as a factor of eight improved $m\left(^{22}\text{Ne}\right)=21.991\,385\,098\,2\,(26)\,\text{u}$.


title: The influence of microwave pulse conditions on enantiomer-specific state transfer

abstract: We report a combined experimental and theoretical study on the influence of microwave pulse durations on enantiomer-specific state transfer. Two triads of rotational states within a chiral molecule (1-indanol) are selected to address the possible scenarios. In the triad connected to the absolute ground state, the simplest triad that exists for all chiral molecules, the enantiomer-specific state transfer process simplifies into a sequence of two-level transitions. The second triad, including higher rotational states, represents a more generic scenario that involves multiple Rabi frequencies for each transition. Our study reveals that the conventional $\frac{\pi}{2}-\pi-\frac{\pi}{2}$ pulse sequence is not the optimal choice, except for the ideal case when in the simplest triad only the lowest level is initially populated. We find that employing a shorter duration for the first and last pulse of the sequence leads to significantly higher state-specific enantiomeric enrichment, albeit at the expense of overall population in the target state. Our experimental results are in very good agreement with theory, substantiating the quantitative understanding of enantiomer-specific state transfer.


title: Quarantine as a delay, not a definitive solution

abstract: In the realm of pandemic dynamics, understanding the intricate interplay between disease transmission, interventions, and immunity is pivotal for effective control strategies. Through a rigorous agent-based simulation, we embarked on a comprehensive exploration, traversing unmitigated spread, lockdown scenarios, and the transformative potential of vaccination. we unveil a paradoxical trend: while quarantine unquestionably delays the pandemic peak, it does not act as an impenetrable barrier to halt the progression of infectious diseases. Vaccination factor revealed a potent weapon against outbreaks higher vaccination percentage not only delayed infection peaks but also substantially curtailed their impact. Our investigation into bond dilution below the percolation threshold presents an additional dimension to pandemic control. We observed that localized isolation through bond dilution offers a targeted control strategy that can be more resource-efficient compared to blanket lockdowns or large-scale vaccination campaigns.


title: Sensitivity-Aware Amortized Bayesian Inference

abstract: Sensitivity analyses reveal the influence of various modeling choices on the outcomes of statistical analyses. While theoretically appealing, they are overwhelmingly inefficient for complex Bayesian models. In this work, we propose sensitivity-aware amortized Bayesian inference (SA-ABI), a multifaceted approach to efficiently integrate sensitivity analyses into simulation-based inference with neural networks. First, we utilize weight sharing to encode the structural similarities between alternative likelihood and prior specifications in the training process with minimal computational overhead. Second, we leverage the rapid inference of neural networks to assess sensitivity to data perturbations and preprocessing steps. In contrast to most other Bayesian approaches, both steps circumvent the costly bottleneck of refitting the model for each choice of likelihood, prior, or data set. Finally, we propose to use deep ensembles to detect sensitivity arising from unreliable approximation (e.g., due to model misspecification). We demonstrate the effectiveness of our method in applied modeling problems, ranging from disease outbreak dynamics and global warming thresholds to human decision-making. Our results support sensitivity-aware inference as a default choice for amortized Bayesian workflows, automatically providing modelers with insights into otherwise hidden dimensions.


title: A note on right-nil and strong-nil skew braces

abstract: The aim of this short note is to completely answer Questions 2.34 and 2.35 of arXiv:1806.01127. In particular, we show that a finite strong-nil skew brace $B$ of abelian type need not be right-nilpotent, but that this is the case if~$B$ is of nilpotent type and $b\ast b=0$ for all $b\in B$ (our examples show that this is the best possible result).


title: Maintaining App Services in Disrupted Cities: A Crisis and Resilience Evaluation Tool

abstract: Disaster scenarios can disconnect entire cities from the core network (CN), isolating base stations (BSs) and disrupting the Internet connection of app services for many users. Such a disruption is particularly disastrous when it affects critical app services such as communication, information, and navigation. Deploying local app servers at the network edge can solve this issue but leaves mobile network operators (MNOs) faced with design decisions regarding the criticality of traffic flows, the BS topology, and the app server deployment. We present the Crisis and Resilience Evaluation Tool (CARET) for crisis-mode radio access networks RANs, enabling MNOs to make informed decisions about a city's RAN configuration based on real-world data of the NetMob23 dataset.


title: IXPE observation confirms a high spin in the accreting black hole 4U 1957+115

abstract: We present the results of the first X-ray polarimetric observation of the low-mass X-ray binary 4U 1957+115, performed with the Imaging X-ray Polarimetry Explorer in May 2023. The binary system has been in a high-soft spectral state since its discovery and is thought to host a black hole. The $\sim$571 ks observation reveals a linear polarisation degree of $1.9\% \pm 0.6\%$ and a polarisation angle of $-41^\circ.8 \pm 7^\circ.9$ in the 2-8 keV energy range. Spectral modelling is consistent with the dominant contribution coming from the standard accretion disc, while polarimetric data suggest a significant role of returning radiation: photons that are bent by strong gravity effects and forced to return to the disc surface, where they can be reflected before eventually reaching the observer. In this setting, we find that models with a black hole spin lower than 0.96 and an inclination lower than $50^\circ$ are disfavoured.


title: One-loop effective action of the IKKT model for cosmological backgrounds

abstract: We study cosmological solutions of the IKKT model with $k=-1$ FLWR geometry, taking into account one-loop corrections. A previously discussed covariant quantum spacetime is found to be stabilized through one-loop effects at early times, without adding a mass term to the model. At late times, this background is modified and goes through a period of acceleration, before settling down to a coasting FLRW geometry with scale parameter $a(t) \sim t$. This is qualitatively close to observation without any fine-tuning, irrespective of the detailed matter content of the universe.


title: A holographic uniqueness theorem

abstract: We consider a plane wave, a radiation solution, and the sum of these solutions (total solution) for the Helmholtz equation in an exterior region in $\R^3$. We consider a ray in this region, such that its direction is different from the propagation direction of the plane wave. We show that the restriction of the radiation solution to this ray is uniquely determined by the intensity of the total solution on an interval of this ray. As a corollary, we also obtain that the restriction of the radiation solution to any plane in the exterior region is uniquely determined by the intensity of the total solution on an open domain in this plane. In particular, these results solve one of old mathematical questions of holography.


title: Calculating the Coulomb blockade phase diagram in the strong coupling regime of single-electron transistor: a quantum Monte Carlo study

abstract: We present a novel approach for calculating the Coulomb Blockade Phase Diagram (CBPD) in the experimentally accessible strong coupling regime of a single-electron transistor (SET). Our method utilizes the Path Integral Monte Carlo (PIMC) technique to accurately compute the Coulomb oscillation of the Differential Capacitance (DC). Furthermore, we investigate the impact of the gate voltage and temperature variations on the DC, thereby gaining insights into the system's behaviour. As a result, we propose a method to calculate the Coulomb Blockade Boundary Line (CBBL) and demonstrate its efficacy by setting the visibility parameter to $10\%$. The resulting boundary line effectively defines the transition between the Coulomb and non-Coulomb blockade regimes, thereby enabling the construction of a comprehensive CBPD.


title: The mod 2 cohomology rings of oriented Grassmannians via Koszul complexes

abstract: We study the structure of mod 2 cohomology rings of oriented Grassmannians $\tilde{\operatorname{Gr}}_k(n)$ of oriented $k$-planes in $\mathbb{R}^n$. Our main focus is on the structure of the cohomology ring ${\rm H}^*(\tilde{\operatorname{Gr}}_k(n);\mathbb{F}_2)$ as a module over the characteristic subring $C$, which is the subring generated by the Stiefel-Whitney classes $w_2,\ldots, w_k$. We identify this module structure using Koszul complexes, which involves the syzygies between the relations defining $C$. We give an infinite family of such syzygies, which results in a new upper bound on the characteristic rank of $\tilde{\operatorname{Gr}}_k(2^t)$, and formulate a conjecture on the exact value of the characteristic rank of $\tilde{\operatorname{Gr}}_k(n)$. For the case $k=3$, we use the Koszul complex to compute a presentation of the cohomology ring $H={\rm H}^*(\tilde{\operatorname{Gr}}_3(n);\mathbb{F}_2)$ for $2^{t-1}<n\leq 2^t-4$, complementing existing descriptions in the $n=2^t-3,...,2^t$ cases. More precisely, as a $C$-module, $H$ splits as a direct sum of the characteristic subring $C$ and the anomalous module $H/C$, and we compute a complete presentation of $H/C$ as a $C$-module from the Koszul complex. We also discuss various issues that arise for the cases $k>3$, supported by computer calculation.


title: Topological Expressivity of ReLU Neural Networks

abstract: We study the expressivity of ReLU neural networks in the setting of a binary classification problem from a topological perspective. Recently, empirical studies showed that neural networks operate by changing topology, transforming a topologically complicated data set into a topologically simpler one as it passes through the layers. This topological simplification has been measured by Betti numbers, which are algebraic invariants of a topological space. We use the same measure to establish lower and upper bounds on the topological simplification a ReLU neural network can achieve with a given architecture. We therefore contribute to a better understanding of the expressivity of ReLU neural networks in the context of binary classification problems by shedding light on their ability to capture the underlying topological structure of the data. In particular the results show that deep ReLU neural networks are exponentially more powerful than shallow ones in terms of topological simplification. This provides a mathematically rigorous explanation why deeper networks are better equipped to handle complex and topologically rich data sets.


title: FROST: Towards Energy-efficient AI-on-5G Platforms -- A GPU Power Capping Evaluation

abstract: The Open Radio Access Network (O-RAN) is a burgeoning market with projected growth in the upcoming years. RAN has the highest CAPEX impact on the network and, most importantly, consumes 73% of its total energy. That makes it an ideal target for optimisation through the integration of Machine Learning (ML). However, the energy consumption of ML is frequently overlooked in such ecosystems. Our work addresses this critical aspect by presenting FROST - Flexible Reconfiguration method with Online System Tuning - a solution for energy-aware ML pipelines that adhere to O-RAN's specifications and principles. FROST is capable of profiling the energy consumption of an ML pipeline and optimising the hardware accordingly, thereby limiting the power draw. Our findings indicate that FROST can achieve energy savings of up to 26.4% without compromising the model's accuracy or introducing significant time delays.


title: Non-parametric Conditional Independence Testing for Mixed Continuous-Categorical Variables: A Novel Method and Numerical Evaluation

abstract: Conditional independence testing (CIT) is a common task in machine learning, e.g., for variable selection, and a main component of constraint-based causal discovery. While most current CIT approaches assume that all variables are numerical or all variables are categorical, many real-world applications involve mixed-type datasets that include numerical and categorical variables. Non-parametric CIT can be conducted using conditional mutual information (CMI) estimators combined with a local permutation scheme. Recently, two novel CMI estimators for mixed-type datasets based on k-nearest-neighbors (k-NN) have been proposed. As with any k-NN method, these estimators rely on the definition of a distance metric. One approach computes distances by a one-hot encoding of the categorical variables, essentially treating categorical variables as discrete-numerical, while the other expresses CMI by entropy terms where the categorical variables appear as conditions only. In this work, we study these estimators and propose a variation of the former approach that does not treat categorical variables as numeric. Our numerical experiments show that our variant detects dependencies more robustly across different data distributions and preprocessing types.


title: Synthesizing Invariants for Polynomial Programs by Semidefinite Programming

abstract: Constraint-solving-based program invariant synthesis involves taking a parametric template, encoding the invariant conditions, and attempting to solve the constraints to obtain a valid assignment of parameters. The challenge lies in that the resulting constraints are often non-convex and lack efficient solvers. Consequently, existing works mostly rely on heuristic algorithms or general-purpose solvers, leading to a trade-off between completeness and efficiency. In this paper, we propose two novel approaches to synthesize invariants for polynomial programs using semidefinite programming (SDP). For basic semialgebraic templates, we apply techniques from robust optimization to construct a hierarchy of SDP relaxations. These relaxations induce a series of sub-level sets that under-approximate the set of valid parameter assignments. Under a certain non-degenerate assumption, we present a weak completeness result that the synthesized sets include almost all valid assignments. Furthermore, we discuss several extensions to improve the efficiency and expressiveness of the algorithm. We also identify a subclass of basic semialgebraic templates, called masked templates, for which the non-degenerate assumption is violated. Regarding masked templates, we present a substitution-based method to strengthen the invariant conditions. The strengthened constraints again admit a hierarchy of SDP approximations. Both of our approaches have been implemented, and empirical results demonstrate that they outperform the state-of-the-art methods.


title: The Gorishny-Isaev vacuum integrations and UV(IR)-regime

abstract: We present the further development of the vacuum massless integrations. In particular, in the Gorishny-Isaev formula, it has been shown that the delta function representing UV-regime should be treated within the sequential approach. It allows us to resolve the problem of vacuum integrations related to the analytical continuation of diagram indices.


title: Towards atomistic understanding of Iron phosphate glass: a first-principles based DFT modeling and study of its physical properties

abstract: Iron phosphate glasses (IPG) have been proposed as futuristic glass material for nuclear waste immobilization, anode material for lithium batteries and also as bioactive glass. In the last decade, there have been attempts to propose atomistic models of IPG to explain their properties from atomistic viewpoint and to predict their behavior in radioactive environment. In this paper, we seek to produce small scale models of IPG that can be handled within the scheme of Density Functional Theory (DFT) to study the electronic structure of this material. The starting models generated using Monte Carlo (MC) method [S. Singh and S. Chandra, Comp. Mat. Sci., 202, 110943, (2022)] were subsequently annealed (at 1000 K) using ab-initio molecular dynamics (AIMD). This removes coordination defects present in the MC models. The equilibrated structure at this temperature was then force-relaxed using conjugate-gradient (CG) optimization. This hybrid approach (MC + AIMD + 0K DFT-CG optimization) produced good atomistic models of IPG which can reproduce experimentally observed electronic band-gap, vibrational density of states (VDOS), magnetic moment of Fe, the elastic constants as well as optical and dielectric properties. Computationally expensive melt-quench simulation can be avoided using present approach allowing the use of DFT for accurate calculations of properties of complex glass like IPG.


title: Equational Anti-Unification over Absorption Theories

abstract: Interest in anti-unification, the dual problem of unification, is on the rise due to applications within the field of software analysis and related areas. For example, anti-unification-based techniques have found uses within clone detection and automatic program repair methods. While syntactic forms of anti-unification are enough for many applications, some aspects of software analysis methods are more appropriately modeled by reasoning modulo an equational theory. Thus, extending existing anti-unification methods to deal with important equational theories is the natural step forward. This paper considers anti-unification modulo pure absorption theories, i.e., some operators are associated with a special constant satisfying the axiom $f(x,\varepsilon_f) \approx f(\varepsilon_f,x) \approx \varepsilon_f$. We provide a sound and complete rule-based algorithm for such theories. Furthermore, we show that anti-unification modulo absorption is infinitary. Despite this, our algorithm terminates and produces a finitary algorithmic representation of the minimal complete set of solutions. We also show that the linear variant is finitary.


title: Moments of polynomial functionals in Levy-driven queues with secondary jumps

abstract: A long-standing open problem concerns the calculation of the moments of the area beneath the M/G/1 workload graph during a busy period. While expressions for the first two moments were known, no results for higher moments were available. This paper includes a recursive algorithm to compute all moments in terms of the model primitives. Our results extend to any storage system fed by a superposition of a drifted Brownian motion and a subordinator with a secondary jump input, yielding the moments of a general class of polynomial functionals of the workload process. Some applications of these moments are also provided.


title: Keep Various Trajectories: Promoting Exploration of Ensemble Policies in Continuous Control

abstract: The combination of deep reinforcement learning (DRL) with ensemble methods has been proved to be highly effective in addressing complex sequential decision-making problems. This success can be primarily attributed to the utilization of multiple models, which enhances both the robustness of the policy and the accuracy of value function estimation. However, there has been limited analysis of the empirical success of current ensemble RL methods thus far. Our new analysis reveals that the sample efficiency of previous ensemble DRL algorithms may be limited by sub-policies that are not as diverse as they could be. Motivated by these findings, our study introduces a new ensemble RL algorithm, termed \textbf{T}rajectories-awar\textbf{E} \textbf{E}nsemble exploratio\textbf{N} (TEEN). The primary goal of TEEN is to maximize the expected return while promoting more diverse trajectories. Through extensive experiments, we demonstrate that TEEN not only enhances the sample diversity of the ensemble policy compared to using sub-policies alone but also improves the performance over ensemble RL algorithms. On average, TEEN outperforms the baseline ensemble DRL algorithms by 41\% in performance on the tested representative environments.


title: Theoretical study of the open-flavor tetraquark $T_{c\bar{s}}(2900)$ in the process $\Lambda_b\to K^0D^0\Lambda$

abstract: Recently, the LHCb Collaboration has measured the processes $B^0\to\bar{D}^0D_s^+\pi^-$ and $B^+\to\bar{D}^0D_s^+\pi^+$, where the $D_s^+\pi^-$ and $D_s^+\pi^+$ invariant mass distributions show the significant signals of two new open-flavor tetraquark states $T_{c\bar{s}}(2900)^0$ and $T_{c\bar{s}}(2900)^{++}$, as the two of the isospin triplet. In this work, we have investigated the process $\Lambda_b\to K^0D^0\Lambda$ by taking into account the intermediate nucleon resonance $N^*(1535)$ and the tetraquark state $T_{c\bar{s}}(2900)^0$, which could be dynamically generated by the interactions of the $D^*K^*/D^*_s\rho$ and the pseoduscalar mesons-octet baryons, respectively. Our results show that a clear peak of the open-flavor tetraquark $T_{c\bar{s}}(2900)$ may appear in the $K^0D^0$ invariant mass distribution of the process $\Lambda_b\to K^0D^0\Lambda$, which could be tested by future experiments.


title: Moving from ISAD(G) to a CIDOC CRM-based Linked Data Model in the Portuguese Archives

abstract: Archives are facing numerous challenges. On the one hand, archival assets are evolving to encompass digitized documents and increasing quantities of born-digital information in diverse formats. On the other hand, the audience is changing along with how it wishes to access archival material. Moreover, the interoperability requirements of cultural heritage repositories are growing. In this context, the Portuguese Archives started an ambitious program aiming to evolve its data model, migrate existing records, and build a new archival management system appropriate to both archival tasks and public access. The overall goal is to have a fine-grained and flexible description, more machine-actionable than the current one. This work describes ArchOnto, a linked open data model for archives, and rules for its automatic population from existing records. ArchOnto adopts a semantic web approach and encompasses the CIDOC Conceptual Reference Model and additional ontologies, envisioning interoperability with datasets curated by multiple communities of practice. Existing ISAD(G)-conforming descriptions are being migrated to the new model using the direct mappings provided here. We used a sample of 25 records associated with different description levels to validate the completeness and conformity of ArchOnto to existing data. This work is in progress and is original in several respects: (1) it is one of the first approaches to use CIDOC CRM in the context of archives, identifying problems and questions that emerged during the process and pinpointing possible solutions; (2) it addresses the balance in the model between the migration of existing records and the construction of new ones by archive professionals; and (3) it adopts an open world view on linking archival data to global information sources.


title: Long-form Simultaneous Speech Translation: Thesis Proposal

abstract: Simultaneous speech translation (SST) aims to provide real-time translation of spoken language, even before the speaker finishes their sentence. Traditionally, SST has been addressed primarily by cascaded systems that decompose the task into subtasks, including speech recognition, segmentation, and machine translation. However, the advent of deep learning has sparked significant interest in end-to-end (E2E) systems. Nevertheless, a major limitation of most approaches to E2E SST reported in the current literature is that they assume that the source speech is pre-segmented into sentences, which is a significant obstacle for practical, real-world applications. This thesis proposal addresses end-to-end simultaneous speech translation, particularly in the long-form setting, i.e., without pre-segmentation. We present a survey of the latest advancements in E2E SST, assess the primary obstacles in SST and its relevance to long-form scenarios, and suggest approaches to tackle these challenges.


title: BayesDiff: Estimating Pixel-wise Uncertainty in Diffusion via Bayesian Inference

abstract: Diffusion models have impressive image generation capability, but low-quality generations still exist, and their identification remains challenging due to the lack of a proper sample-wise metric. To address this, we propose BayesDiff, a pixel-wise uncertainty estimator for generations from diffusion models based on Bayesian inference. In particular, we derive a novel uncertainty iteration principle to characterize the uncertainty dynamics in diffusion, and leverage the last-layer Laplace approximation for efficient Bayesian inference. The estimated pixel-wise uncertainty can not only be aggregated into a sample-wise metric to filter out low-fidelity images but also aids in augmenting successful generations and rectifying artifacts in failed generations in text-to-image tasks. Extensive experiments demonstrate the efficacy of BayesDiff and its promise for practical applications.


title: Exploring a new machine learning based probabilistic model for high-resolution indoor radon mapping, using the German indoor radon survey data

abstract: Radon is a carcinogenic, radioactive gas that can accumulate indoors. Therefore, accurate knowledge of indoor radon concentration is crucial for assessing radon-related health effects or identifying radon-prone areas. Indoor radon concentration at the national scale is usually estimated on the basis of extensive measurement campaigns. However, characteristics of the sample often differ from the characteristics of the population due to the large number of relevant factors that control the indoor radon concentration such as the availability of geogenic radon or floor level. Furthermore, the sample size usually does not allow estimation with high spatial resolution. We propose a model-based approach that allows a more realistic estimation of indoor radon distribution with a higher spatial resolution than a purely data-based approach. A two-stage modelling approach was applied: 1) a quantile regression forest using environmental and building data as predictors was applied to estimate the probability distribution function of indoor radon for each floor level of each residential building in Germany; (2) a probabilistic Monte Carlo sampling technique enabled the combination and population weighting of floor-level predictions. In this way, the uncertainty of the individual predictions is effectively propagated into the estimate of variability at the aggregated level. The results show an approximate lognormal distribution with an arithmetic mean of 63 Bq/m3, a geometric mean of 41 Bq/m3 and a 95 %ile of 180 Bq/m3. The exceedance probability for 100 Bq/m3 and 300 Bq/m3 are 12.5 % (10.5 million people) and 2.2 % (1.9 million people), respectively.


title: On the Dehn functions of central products of nilpotent groups

abstract: We determine the Dehn functions of central products of two families of filiform nilpotent Lie groups of arbitrary dimension with all simply connected nilpotent Lie groups with cyclic centre and strictly lower nilpotency class. We also determine the Dehn functions of all central products of nilpotent Lie groups of dimension at most $5$ with one-dimensional centre. This confirms a conjecture of Llosa Isenrich, Pallier and Tessera for these cases, providing further evidence that the Dehn functions of central products are often strictly lower than those of the factors. Our work generalises previous results of Llosa Isenrich, Pallier and Tessera and produces an uncountable family of nilpotent Lie groups without lattices whose Dehn functions are strictly lower than the ones of the associated Carnot-graded groups. A consequence of our main result is the existence of an infinite family of groups such that Cornulier's bounds on the $e$ for which there is an $O(r^e)$-bilipschitz equivalence between them and their Carnot-graded groups are asymptotically optimal, as the nilpotency class goes to infinity.


title: Reduced model for H-mode sustainment in unfavorable $\mathbf{ \nabla B}$ drift configuration in ASDEX Upgrade

abstract: A recently developed reduced model of H-mode sustainment based on interchange-drift-Alfv\'en turbulence description in the vicinity of the separatrix matching experimental observations in ASDEX Upgrade has been extended to experiments with the unfavorable $\nabla B$ drift. The combination with the theory of the magnetic-shear-induced Reynolds stress offers a possibility to quantitatively explain the phenomena. The extension of the Reynolds stress estimate in the reduced model via the magnetic shear contribution is able to reproduce the strong asymmetry in the access conditions depending on the ion $\nabla B$ drift orientation in agreement with experimental observations. The Reynolds stress profile asymmetry predicted by the magnetic shear model is further extended by comparison with GRILLIX and GENE-X simulations matched with comparable experiments in realistic X-point geometry. The predictions of the radial electric field well depth and its difference between the favorable and unfavorable configurations at the same heating power from the extended model also show consistency with experimental measurements.


title: The Quo Vadis of the Relationship between Language and Large Language Models

abstract: In the field of Artificial (General) Intelligence (AI), the several recent advancements in Natural language processing (NLP) activities relying on Large Language Models (LLMs) have come to encourage the adoption of LLMs as scientific models of language. While the terminology employed for the characterization of LLMs favors their embracing as such, it is not clear that they are in a place to offer insights into the target system they seek to represent. After identifying the most important theoretical and empirical risks brought about by the adoption of scientific models that lack transparency, we discuss LLMs relating them to every scientific model's fundamental components: the object, the medium, the meaning and the user. We conclude that, at their current stage of development, LLMs hardly offer any explanations for language, and then we provide an outlook for more informative future research directions on this topic.


title: Uncovering wall-shear stress dynamics from neural-network enhanced fluid flow measurements

abstract: Friction drag from a turbulent fluid moving past or inside an object plays a crucial role in domains as diverse as transportation, public utility infrastructure, energy technology, and human health. As a direct measure of the shear-induced friction forces, an accurate prediction of the wall-shear stress can contribute to sustainability, conservation of resources, and carbon neutrality in civil aviation as well as enhanced medical treatment of vascular diseases and cancer. Despite such importance for our modern society, we still lack adequate experimental methods to capture the instantaneous wall-shear stress dynamics. In this contribution, we present a holistic approach that derives velocity and wall-shear stress fields with impressive spatial and temporal resolution from flow measurements using a deep optical flow estimator with physical knowledge. The validity and physical correctness of the derived flow quantities is demonstrated with synthetic and real-world experimental data covering a range of relevant fluid flows.


title: Topological gap solitons in Rabi Su-Schrieffer-Heeger lattices

abstract: In this work, using binary Bose-Einstein condensate we propose a new type of topological insulator that does not explicitly use specially designed potential landscape, but instead utilizes spatially inhomogeneous Rabi coupling between two components, in the form of one- or two-dimensional Su-Schrieffer-Heeger (SSH) structure, combined with Zeeman splitting. Such Rabi lattices reveal the appearance of topologically nontrivial phases (including higher-order ones) controlled by spatial shift of the domains with enhanced coupling between condensates within unit cells of the structure, where localized topological states appear at the edges or in the corners of truncated Rabi lattice. We also show that the properties of edge states, their spatial localization, and location of their chemical potential within topological gap can be controlled by interatomic interactions that lead to formation of gap topological edge solitons bifurcating from linear edge states. Such solitons in condensates with inhomogeneous Rabi coupling appear as very robust nonlinear topological objects that do not require any threshold norm for their formation even in two-dimensional geometries, and that can exist in stable form for both attractive and repulsive interactions. Our results demonstrate considerable enhancement of stability of solitons in topological Rabi lattices in comparison with trivial Rabi lattices. They open new prospects for realization of topologically nontrivial phases by spatial engineering of coupling in multicomponent systems.


title: Complex Number Assignment in the Topology Method for Heartbeat Interval Estimation Using Millimeter-Wave Radar

abstract: The topology method is an algorithm for accurate estimation of instantaneous heartbeat intervals using millimeter-wave radar signals. In this model, feature points are extracted from the skin displacement waveforms generated by heartbeats and a complex number is assigned to each feature point. However, these numbers have been assigned empirically and without solid justification. This study used a simplified model of displacement waveforms to predict the optimal choice of the complex number assignments to feature points corresponding to inflection points, and the validity of these numbers was confirmed using analysis of a publicly available dataset.


title: $R$-dependence of jet observables with JEWEL+v-USPhydro

abstract: The $R$-dependence of jet observables provides a new tool in understanding the interplay between the jet energy-loss mechanism and medium response in heavy-ion collisions. This work applies the Monte Carlo events generator JEWEL and PYTHIA, coupled with $\rm T_{R}ENTo$ initial conditions and the state-of-the-art (2+1)D v-USPhydro, for the simulation of jet distributions and substructure observables for lead-lead collisions at LHC energy scales. We present the jet nuclear modification $R_{AA}$ and anisotropic flow coefficients $v_{n=2,3}$ varying the jet cone radius $R$, in the context of anti-$k_T$ jets, in addition to leading subjet fragmentation. The calculations indicate the impacts of the hydrodynamic evolution and weakly-coupled medium response, given by recoils, on the distributions. Results are compared to experimental data in a wide range of jet $p_T$ and collision centrality, and displayed along large jets ($R \ge 0.6$) predictions.


title: Life-Cycle Effects of Comprehensive Sex Education

abstract: Sex education can impact pupils sexual activity and convey the social norms regarding family formation and responsibility, which can have significant consequences to their future. To investigate the life-cycle effects of social norm transmission, this study draws on the introduction of comprehensive sex education in the curriculum of Swedish primary schools during the 1940s to the 1950s. Inspired by social-democratic values, sex education during this period taught students about abstinence, rational family planning choices, and the importance of taking social responsibility for their personal decisions. The study applies a state-of-the-art estimator of the difference-in-differences method to various outcomes of men and women throughout the life cycle. The results show that the reform affected most intended outcomes for men and women, ultimately decreasing gender inequality in earnings. The effects of the reform also extended to the succeeding generation of girls. Both generations created a critical mass that altered social norms in favor of collective engagement and democracy. The findings suggest that social norms, internalized through school-based sex education, persistently affect peoples outcomes in significant ways.


title: Revisiting representations of quark mixing matrix

abstract: Using unitarity, unlike the approaches available in the literature, we have constructed 9 independent representations of CKM matrix starting with each of the 9 elements of the matrix. The relationship of these independently constructed representations with the already available ones in the literature has been compared and discussed. Further, the implications of these representations have been explored for some of the CKM parameters such as \delta, J and \epsilon_k. Interestingly, we find that the PDG representation which is equivalent to our first representation seems to be most appropriate to incorporate the hierarchy of the elements of the CKM matrix as well as to describe the related phenomenology.


title: Unsupervised Pre-Training Using Masked Autoencoders for ECG Analysis

abstract: Unsupervised learning methods have become increasingly important in deep learning due to their demonstrated large utilization of datasets and higher accuracy in computer vision and natural language processing tasks. There is a growing trend to extend unsupervised learning methods to other domains, which helps to utilize a large amount of unlabelled data. This paper proposes an unsupervised pre-training technique based on masked autoencoder (MAE) for electrocardiogram (ECG) signals. In addition, we propose a task-specific fine-tuning to form a complete framework for ECG analysis. The framework is high-level, universal, and not individually adapted to specific model architectures or tasks. Experiments are conducted using various model architectures and large-scale datasets, resulting in an accuracy of 94.39% on the MITDB dataset for ECG arrhythmia classification task. The result shows a better performance for the classification of previously unseen data for the proposed approach compared to fully supervised methods.


title: Causal discovery using dynamically requested knowledge

abstract: Causal Bayesian Networks (CBNs) are an important tool for reasoning under uncertainty in complex real-world systems. Determining the graphical structure of a CBN remains a key challenge and is undertaken either by eliciting it from humans, using machine learning to learn it from data, or using a combination of these two approaches. In the latter case, human knowledge is generally provided to the algorithm before it starts, but here we investigate a novel approach where the structure learning algorithm itself dynamically identifies and requests knowledge for relationships that the algorithm identifies as uncertain during structure learning. We integrate this approach into the Tabu structure learning algorithm and show that it offers considerable gains in structural accuracy, which are generally larger than those offered by existing approaches for integrating knowledge. We suggest that a variant which requests only arc orientation information may be particularly useful where the practitioner has little preexisting knowledge of the causal relationships. As well as offering improved accuracy, the approach can use human expertise more effectively and contributes to making the structure learning process more transparent.


title: Left- vs right-handed badminton slice shots: opposite shuttlecock spinning and Magnus effect

abstract: The chiral nature of a badminton shuttlecock is responsible for its anti-clockwise spinning as it naturally propagates through the air. This induces a dissymmetry between left-handed and right-handed players and the resulting trajectories of the shuttlecock, which were captured in real condition on the badminton court and in slow-motion at 3700 fps. The videos clearly evidence this dissymmetry as slice shots performed by righties accelerate the natural anti-clockwise spinning, while the one performed by lefties induces a clockwise to anti-clockwise spinning, making trajectories of shuttlecocks different. The slow-motion videos also caught a brief Magnus effect, often neglected in badminton, lifting up the shuttlecock for both lefties and righties and affecting the effectiveness of the slice shot.


title: Enhancement of cell membrane poration by the antimicrobial peptide Melp5

abstract: Melittin, a natural antimicrobial peptide comprising 26 amino acid residues, can kill bacteria by inducing pores in cell membranes. Clinical applications of melittin as an antibiotic require a thorough understanding of its poration mechanism and mutations that enhance its antimicrobial activity. Previous experiments showed Melp5, a variant of melittin with five mutations, exhibits a higher poration ability. However, the mechanism of the enhanced poration ability is not fully understood. Here, we investigated the mechanism by comparing the poration of melittin and Melp5 using coarse-grained (CG) and all-atom (AA) molecular dynamics (MD) simulations. We observe that Melp5 is likely to form a pore with 5 peptides (pentameric), while melittin is likely to form a pore with 4 peptides (tetrameric). Our atomistic MD simulations show that the pentameric pore of Melp5 has a higher water permeability than the tetrameric pore of melittin. We also analyze the stability of the pores of melittin and Melp5 by calculating the interaction energies of the pores. In particular, we investigate the effects of mutant residues on pore stability by calculating electrostatic and LJ interactions. These results should provide insights on the enhanced poration ability of Melp5 and push it toward applications.


title: PyOcto: A high-throughput seismic phase associator

abstract: Seismic phase association is an essential task for characterising seismicity: given a collection of phase picks, identify all seismic events in the data. In recent years, machine learning pickers have lead to a rapid growth in the number of seismic phase picks. Even though new associators have been suggested, these suffer from long runtimes and sensitivity issues when faced with dense seismic sequences. Here we introduce PyOcto, a novel phase associator tackling these issues. PyOcto uses 4D space-time partitioning and can employ homogeneous and 1D velocity models. We benchmark PyOcto against popular state of the art associators on two synthetic scenarios and a real, dense aftershock sequence. PyOcto consistently achieves detection sensitivities on par or above current algorithms. Furthermore, its runtime is consistently at least 10 times lower, with many scenarios reaching speedup factors above 50. On the challenging 2014 Iquique earthquake sequence, PyOcto achieves excellent detection capability while maintaining a speedup factor of at least 70 against the other models. PyOcto is available as an open source tool for Python on Github and through PyPI.


title: Probing the Creativity of Large Language Models: Can models produce divergent semantic association?

abstract: Large language models possess remarkable capacity for processing language, but it remains unclear whether these models can further generate creative content. The present study aims to investigate the creative thinking of large language models through a cognitive perspective. We utilize the divergent association task (DAT), an objective measurement of creativity that asks models to generate unrelated words and calculates the semantic distance between them. We compare the results across different models and decoding strategies. Our findings indicate that: (1) When using the greedy search strategy, GPT-4 outperforms 96% of humans, while GPT-3.5-turbo exceeds the average human level. (2) Stochastic sampling and temperature scaling are effective to obtain higher DAT scores for models except GPT-4, but face a trade-off between creativity and stability. These results imply that advanced large language models have divergent semantic associations, which is a fundamental process underlying creativity.


title: Necessary and Sufficient Conditions for Data-driven Model Reference Control

abstract: The objective of model reference control is to design a controller that regulates the system's behavior so as to match the behavior of a specified reference model. This paper investigates necessary and sufficient conditions for model reference control from a data-driven perspective, when only a set of data generated by the system is utilized to directly accomplish the matching. Noiseless and noisy data cases are both considered. Notably, all methods we propose build on the concept of data informativity and do not rely on persistently exciting data.


title: Leveraging Diverse Semantic-based Audio Pretrained Models for Singing Voice Conversion

abstract: Singing Voice Conversion (SVC) is a technique that enables any singer to perform any song. To achieve this, it is essential to obtain speaker-agnostic representations from the source audio, which poses a significant challenge. A common solution involves utilizing a semantic-based audio pretrained model as a feature extractor. However, the degree to which the extracted features can meet the SVC requirements remains an open question. This includes their capability to accurately model melody and lyrics, the speaker-independency of their underlying acoustic information, and their robustness for in-the-wild acoustic environments. In this study, we investigate the knowledge within classical semantic-based pretrained models in much detail. We discover that the knowledge of different models is diverse and can be complementary for SVC. To jointly utilize the diverse pretrained models with mismatched time resolutions, we propose an efficient ReTrans strategy to address the feature fusion problem. Based on the above, we design a Singing Voice Conversion framework based on Diverse Semantic-based Feature Fusion (DSFF-SVC). Experimental results demonstrate that DSFF-SVC can be generalized and improve various existing SVC models, particularly in challenging real-world conversion tasks.


title: Accurate prediction of international trade flows: Leveraging knowledge graphs and their embeddings

abstract: Knowledge representation (KR) is vital in designing symbolic notations to represent real-world facts and facilitate automated decision-making tasks. Knowledge graphs (KGs) have emerged so far as a popular form of KR, offering a contextual and human-like representation of knowledge. In international economics, KGs have proven valuable in capturing complex interactions between commodities, companies, and countries. By putting the gravity model, which is a common economic framework, into the process of building KGs, important factors that affect trade relationships can be taken into account, making it possible to predict international trade patterns. This paper proposes an approach that leverages Knowledge Graph embeddings for modeling international trade, focusing on link prediction using embeddings. Thus, valuable insights are offered to policymakers, businesses, and economists, enabling them to anticipate the effects of changes in the international trade system. Moreover, the integration of traditional machine learning methods with KG embeddings, such as decision trees and graph neural networks are also explored. The research findings demonstrate the potential for improving prediction accuracy and provide insights into embedding explainability in knowledge representation. The paper also presents a comprehensive analysis of the influence of embedding methods on other intelligent algorithms.


title: A Numerical Optimisation Framework for Parameter Identification of the SIRD Model

abstract: We consider a numerical framework tailored to identifying optimal parameters in the context of modelling disease propagation. Our focus is on understanding the behaviour of optimisation algorithms for such problems, where the dynamics are described by a system of ordinary differential equations associated with the epidemiological SIRD model. We examine properties of the solution operator and determine existence of optimal parameters for the problem considered. Further, first-order optimality conditions are derived, the solution of which provides a certificate of goodness of fit, which is not always guaranteed with parameter tuning techniques. We then propose strategies for the numerical solution of such problems, based on projected gradient descent, Fast Iterative Shrinkage-Thresholding Algorithm (FISTA), and limited memory BFGS trust region approaches. We carry out a thorough computational study for a range of problems of interest, determining the relative performance of these numerical methods. Our results provide insights into the efficacy of these strategies, contributing to ongoing research into optimising parameters for accurate and reliable disease spread modelling. Moreover, our approach paves the way for calibration of more intricate compartmental models.


title: IMTLab: An Open-Source Platform for Building, Evaluating, and Diagnosing Interactive Machine Translation Systems

abstract: We present IMTLab, an open-source end-to-end interactive machine translation (IMT) system platform that enables researchers to quickly build IMT systems with state-of-the-art models, perform an end-to-end evaluation, and diagnose the weakness of systems. IMTLab treats the whole interactive translation process as a task-oriented dialogue with a human-in-the-loop setting, in which human interventions can be explicitly incorporated to produce high-quality, error-free translations. To this end, a general communication interface is designed to support the flexible IMT architectures and user policies. Based on the proposed design, we construct a simulated and real interactive environment to achieve end-to-end evaluation and leverage the framework to systematically evaluate previous IMT systems. Our simulated and manual experiments show that the prefix-constrained decoding approach still gains the lowest editing cost in the end-to-end evaluation, while BiTIIMT achieves comparable editing cost with a better interactive experience.


title: Experimental Investigation of the Photochemical Production of Hydrocarbons in Warm Gas Giant Exoplanet Atmospheres

abstract: In warm (equilibrium temperature <1000 K) gas giant exoplanet atmospheres, the observation of trace species in abundances deviating from thermochemical equilibrium predictions could be used as an indicator of disequilibrium chemical processes, such as photochemistry. To predict which compounds could be used as such tracers, it is therefore essential to study how photochemical processes affect their abundances. For this purpose, we investigated experimentally the efficiency of the photochemical formation of hydrocarbons in gas mixtures representative of warm gas giant atmospheres as a function of the gas temperature at millibar pressures. We find that, compared to thermal reactions alone, photochemistry efficiently promotes, under the studied conditions, the formation of hydrocarbons, with the detection of acetylene, ethane, and propane, as well as carbon monoxide. Therefore, our results confirm the importance of photochemistry in exoplanet atmospheres as a disequilibrium process. Ethane is the major hydrocarbon formed in our experiments, in apparent contradiction with the prediction by thermophotochemical models that acetylene should be the main hydrocarbon product. We also observe an evolution of the hydrocarbon production efficiency as a function of the temperature, a behavior not reproduced by a 0D thermophotochemical model. Additional studies are necessary to definitively understand the origin of the differences between the experimental and modeling results and to infer the importance of our results for understanding hydrocarbon formation in warm gas giant exoplanet atmospheres. Finally, our work demonstrates the importance of experimental studies together with modeling studies to accurately interpret, understand, and predict observations of exoplanet atmospheres.


title: Serenade: A Model for Human-in-the-loop Automatic Chord Estimation

abstract: Computational harmony analysis is important for MIR tasks such as automatic segmentation, corpus analysis and automatic chord label estimation. However, recent research into the ambiguous nature of musical harmony, causing limited inter-rater agreement, has made apparent that there is a glass ceiling for common metrics such as accuracy. Commonly, these issues are addressed either in the training data itself by creating majority-rule annotations or during the training phase by learning soft targets. We propose a novel alternative approach in which a human and an autoregressive model together co-create a harmonic annotation for an audio track. After automatically generating harmony predictions, a human sparsely annotates parts with low model confidence and the model then adjusts its predictions following human guidance. We evaluate our model on a dataset of popular music and we show that, with this human-in-the-loop approach, harmonic analysis performance improves over a model-only approach. The human contribution is amplified by the second, constrained prediction of the model.


title: ViSoBERT: A Pre-Trained Language Model for Vietnamese Social Media Text Processing

abstract: English and Chinese, known as resource-rich languages, have witnessed the strong development of transformer-based language models for natural language processing tasks. Although Vietnam has approximately 100M people speaking Vietnamese, several pre-trained models, e.g., PhoBERT, ViBERT, and vELECTRA, performed well on general Vietnamese NLP tasks, including POS tagging and named entity recognition. These pre-trained language models are still limited to Vietnamese social media tasks. In this paper, we present the first monolingual pre-trained language model for Vietnamese social media texts, ViSoBERT, which is pre-trained on a large-scale corpus of high-quality and diverse Vietnamese social media texts using XLM-R architecture. Moreover, we explored our pre-trained model on five important natural language downstream tasks on Vietnamese social media texts: emotion recognition, hate speech detection, sentiment analysis, spam reviews detection, and hate speech spans detection. Our experiments demonstrate that ViSoBERT, with far fewer parameters, surpasses the previous state-of-the-art models on multiple Vietnamese social media tasks. Our ViSoBERT model is available only for research purposes.


title: Reuniting $\chi$-boundedness with polynomial $\chi$-boundedness

abstract: A class $\mathcal F$ of graphs is $\chi$-bounded if there is a function $f$ such that $\chi(H)\le f(\omega(H))$ for all induced subgraphs $H$ of a graph in $\mathcal F$. If $f$ can be chosen to be a polynomial, we say that $\mathcal F$ is polynomially $\chi$-bounded. Esperet proposed a conjecture that every $\chi$-bounded class of graphs is polynomially $\chi$-bounded. This conjecture has been disproved; it has been shown that there are classes of graphs that are $\chi$-bounded but not polynomially $\chi$-bounded. Nevertheless, inspired by Esperet's conjecture, we introduce Pollyanna classes of graphs. A class $\mathcal C$ of graphs is Pollyanna if $\mathcal C\cap \mathcal F$ is polynomially $\chi$-bounded for every $\chi$-bounded class $\mathcal F$ of graphs. We prove that several classes of graphs are Pollyanna and also present some proper classes of graphs that are not Pollyanna.


title: Near to Mid-Infrared Spectroscopy of (65803) Didymos as observed by JWST: Characterization Observations Supporting the Double Asteroid Redirection Test

abstract: The Didymos binary asteroid was the target of the Double Asteroid Redirection Test (DART) mission, which intentionally impacted Dimorphos, the smaller member of the binary system. We used the Near-Infrared Spectrograph (NIRSpec) and Mid-Infrared Instrument (MIRI) instruments on JWST to measure the 0.6-5 $\mu$m and 5-20 $\mu$m spectra of Didymos approximately two months after the DART impact. These observations confirm that Didymos belongs to the S asteroid class and is most consistent with LL chondrite composition as was previously determined from its 0.6-2.5-$\mu$m reflectance spectrum. Measurements at wavelengths $>$ 2.5 $\mu$m show Didymos to have thermal properties typical for an S-complex asteroid of its size and to be lacking absorptions deeper than $\sim$2\% due to OH or H2O. Didymos' mid-infrared emissivity spectrum is within the range of what has been observed on S-complex asteroids observed with Spitzer Space Telescope and is most consistent with emission from small ($<$ 25 $\mu$m) surface particles. We conclude that the observed reflectance and physical properties make the Didymos system a good proxy for the type of ordinary chondrite asteroids that cross near-Earth space, and a good representative of likely future impactors.


title: MST-GAT: A Multimodal Spatial-Temporal Graph Attention Network for Time Series Anomaly Detection

abstract: Multimodal time series (MTS) anomaly detection is crucial for maintaining the safety and stability of working devices (e.g., water treatment system and spacecraft), whose data are characterized by multivariate time series with diverse modalities. Although recent deep learning methods show great potential in anomaly detection, they do not explicitly capture spatial-temporal relationships between univariate time series of different modalities, resulting in more false negatives and false positives. In this paper, we propose a multimodal spatial-temporal graph attention network (MST-GAT) to tackle this problem. MST-GAT first employs a multimodal graph attention network (M-GAT) and a temporal convolution network to capture the spatial-temporal correlation in multimodal time series. Specifically, M-GAT uses a multi-head attention module and two relational attention modules (i.e., intra- and inter-modal attention) to model modal correlations explicitly. Furthermore, MST-GAT optimizes the reconstruction and prediction modules simultaneously. Experimental results on four multimodal benchmarks demonstrate that MST-GAT outperforms the state-of-the-art baselines. Further analysis indicates that MST-GAT strengthens the interpretability of detected anomalies by locating the most anomalous univariate time series.


title: Ultra high strength and plasticity mechanisms of Si and SiC nanoparticles revealed by first principles molecular dynamics

abstract: It is now well established that materials are stronger when their dimensions are reduced to submicron scale. However, what happens at dimensions such as a few tens of nanometers or lower remains largely unknown, with conflicting reports on strength or plasticity mechanisms. Here, we combined first principles molecular dynamics and classical force fields to investigate the mechanical properties of 1-2 nm Si and SiC nanoparticles. These compression simulations unambiguously reveal that the strength continues to increase down to such sizes, and that in these systems the theoretical bulk strength can be reached or even exceeded in some cases. Most of the nanoparticles yield by amorphization at strains greater than 20%, with no evidence of beta-tin phase for Si. Original and unexpected mechanisms are also identified, such as the homogeneous formation of a dislocation loop embryo for the <111> compression of SiC nanoparticles, and an elastic softening for the <001> compression of Si nanoparticles.


title: Improving Testing Behavior by Gamifying IntelliJ

abstract: Testing is an important aspect of software development, but unfortunately, it is often neglected. While test quality analyses such as code coverage or mutation analysis inform developers about the quality of their tests, such reports are viewed only sporadically during continuous integration or code review, if they are considered at all, and their impact on the developers' testing behavior therefore tends to be negligible. To actually influence developer behavior, it may rather be necessary to motivate developers directly within their programming environment, while they are coding. We introduce IntelliGame, a gamified plugin for the popular IntelliJ Java Integrated Development Environment, which rewards developers for positive testing behavior using a multi-level achievement system: A total of 27 different achievements, each with incremental levels, provide affirming feedback when developers exhibit commendable testing behavior, and provide an incentive to further continue and improve this behavior. A controlled experiment with 49 participants given a Java programming task reveals substantial differences in the testing behavior triggered by IntelliGame: Incentivized developers write more tests, achieve higher coverage and mutation scores, run their tests more often, and achieve functionality earlier.


title: Dimensions and cotorsion pairs in recollements of extriangulated categories

abstract: Let $(\mathcal A, \mathcal B, \mathcal C)$ be a recollement of extriangulated categories. In this paper, we provide bounds on the coresolution dimensions of the subcategories involved in $\mathcal A$, $\mathcal B$ and $\mathcal C$. We show that a hereditary cotorsion pair in $\mathcal B$ can induce hereditary cotorsion pairs in $\mathcal A$ and $\mathcal C$ under certain conditions. Besides, we construct recollements of abelian categories from a recollement of extriangulated categories with respect to the hearts of cotorsion pairs.


title: Knowledge Extraction and Distillation from Large-Scale Image-Text Colonoscopy Records Leveraging Large Language and Vision Models

abstract: The development of artificial intelligence systems for colonoscopy analysis often necessitates expert-annotated image datasets. However, limitations in dataset size and diversity impede model performance and generalisation. Image-text colonoscopy records from routine clinical practice, comprising millions of images and text reports, serve as a valuable data source, though annotating them is labour-intensive. Here we leverage recent advancements in large language and vision models and propose EndoKED, a data mining paradigm for deep knowledge extraction and distillation. EndoKED automates the transformation of raw colonoscopy records into image datasets with pixel-level annotation. We validate EndoKED using multi-centre datasets of raw colonoscopy records (~1 million images), demonstrating its superior performance in training polyp detection and segmentation models. Furthermore, the EndoKED pre-trained vision backbone enables data-efficient and generalisable learning for optical biopsy, achieving expert-level performance in both retrospective and prospective validation.


title: Indirect boundary stabilization for weakly coupled degenerate wave equations under fractional damping

abstract: In this paper, we consider the well-posedness and stability of a one-dimensional system of degenerate wave equations coupled via zero order terms with one boundary fractional damping acting on one end only. We prove optimal polynomial energy decay rate of order $1/t^{(3-\tau)}$. The method is based on the frequency domain approach combined with multiplier technique.


title: Ray and caustic structure of Ince-Gauss beams

abstract: The Ince-Gauss beams, separable in elliptic coordinates, are studied through a ray-optical approach. Their ray structure can be represented over a ray-Poincar\'e sphere by generalized Viviani curves (intersections of a cylinder and a sphere). This representation shows two topologically different regimes, in which the curve is composed of one or two loops. The overall beam shape is described by the ray caustics that delimit the beams' bright regions. These caustics are inferred from the generalized Viviani curve through a geometric procedure that reveals connections with other physical systems and geometrical constructions. Depending on the regime, the caustics are composed either of two confocal ellipses or of segments of an ellipse and a hyperbola that are confocal. The weighting of the rays is shown to follow the two-mode meanfield Gross-Pitaevskii equations, which can be mapped to the equation of a simple pendulum. Finally, it is shown that the wave field can be accurately estimated from the ray description.


title: Analyzing Behavior and User Experience in Online Museum Virtual Tours

abstract: The disruption to tourism and travel caused by the COVID-related health crisis highlighted the potential of virtual tourism to provide a universally accessible way to engage in cultural experiences. 360-degree virtual tours, showing a realistic representation of the physical location, enable virtual tourists to experience cultural heritage sites and engage with their collections from the comfort and safety of their home. However, there is no clear standard for the design of such tours and the experience of visitors may vary widely from platform to platform. We first conducted a comprehensive analysis of 40 existing virtual tours, constructing a descriptive framework for understanding the key components and characteristics of virtual tours. Next, we conducted a remote usability study to gain deeper insights into the actual experiences and challenges faced by VT users. Our investigation revealed a significant disparity between users' mental models of virtual tours and the actual system behavior. We discuss these issues and provide concrete recommendations for the creation of better, user-friendly 360-degree virtual tours.


title: Crystal structure discrimination based on a single atom speed dynamics

abstract: Atom arrangement plays a critical role in determining material properties. It is, therefore, essential for materials science and engineering to identify and characterize distinct atom configurations. Currently, crystal structures can be determined either by its static properties or by quantifying its structural evolution. Here we show how to classify an atom into phase solely by its speed dynamics. We model silicon crystals at different phase transition points and use a single atom speed trajectory to demonstrate that crystal-structure-independent Maxwell distribution of speed is generated by crystal-structure-dependent atom dynamics. As the classification accuracy of the method increases with trajectory length, we show that subtle difference in local atomic structures can be identified using sufficiently long trajectories. Thanks to symbolization of atom dynamics, the method is computationally efficient and suitable for an analysis of large datasets on the fly.


title: FocDepthFormer: Transformer with LSTM for Depth Estimation from Focus

abstract: Depth estimation from focal stacks is a fundamental computer vision problem that aims to infer depth from focus/defocus cues in the image stacks. Most existing methods tackle this problem by applying convolutional neural networks (CNNs) with 2D or 3D convolutions over a set of fixed stack images to learn features across images and stacks. Their performance is restricted due to the local properties of the CNNs, and they are constrained to process a fixed number of stacks consistent in train and inference, limiting the generalization to the arbitrary length of stacks. To handle the above limitations, we develop a novel Transformer-based network, FocDepthFormer, composed mainly of a Transformer with an LSTM module and a CNN decoder. The self-attention in Transformer enables learning more informative features via an implicit non-local cross reference. The LSTM module is learned to integrate the representations across the stack with arbitrary images. To directly capture the low-level features of various degrees of focus/defocus, we propose to use multi-scale convolutional kernels in an early-stage encoder. Benefiting from the design with LSTM, our FocDepthFormer can be pre-trained with abundant monocular RGB depth estimation data for visual pattern capturing, alleviating the demand for the hard-to-collect focal stack data. Extensive experiments on various focal stack benchmark datasets show that our model outperforms the state-of-the-art models on multiple metrics.


title: A diffusive wetting model for water entry/exit based on the weakly-compressible SPH method

abstract: This paper proposes a diffusive wetting model for the weakly-compressible smoothed particle hydrodynamics (WCSPH) method to simulate individual water entry/exit as well as the complete process from water entry to exit. The model is composed of a physically consistent diffusive wetting equation to describe the wetting evolution at the fluid-solid interface, a wetting-coupled identification approach to determine the type of fluid particles by taking into account the wetting degree of the contacted solid, and a numerical regularization on the fluid particles at fully wetted fluid-solid interface. The accuracy, efficiency, and versatility of the present model are validated through qualitative and quantitative comparisons with experiments, including the 3-D water entry of a sphere, the 2-D water entry/exit of a cylinder, and the complete process from water entry to exit of a 2-D cylinder.


title: On the automorphism groups of some nilpotent 3-dimensional Leibniz algebras

abstract: Let $L$ be an algebra over a field $F$ with the binary operations $+$ and $[,]$. Then $L$ is called a left Leibniz algebra if it satisfies the left Leibniz identity: $[[a,b],c]=[a,[b,c]]-[b,[a,c]]$ for all elements $a,b,c\in L$. The structure of the automorphism group of $3$-dimensional Leibniz algebras, which have nilpotency class $2$ and a one-dimensional center, is studied.