title: Multiple Query Satisfiability of Constrained Horn Clauses

abstract: We address the problem of checking the satisfiability of a set of constrained Horn clauses (CHCs) possibly including more than one query. We propose a transformation technique that takes as input a set of CHCs, including a set of queries, and returns as output a new set of CHCs, such that the transformed CHCs are satisfiable if and only if so are the original ones, and the transformed CHCs incorporate in each new query suitable information coming from the other ones so that the CHC satisfiability algorithm is able to exploit the relationships among all queries. We show that our proposed technique is effective on a non trivial benchmark of sets of CHCs that encode many verification problems for programs manipulating algebraic data types such as lists and trees.


title: A mathematical theory of super-resolution and two-point resolution

abstract: This paper focuses on the fundamental aspects of super-resolution, particularly addressing the stability of super-resolution and the estimation of two-point resolution. Our first major contribution is the introduction of two location-amplitude identities that characterize the relationships between locations and amplitudes of true and recovered sources in the one-dimensional super-resolution problem. These identities facilitate direct derivations of the super-resolution capabilities for recovering the number, location, and amplitude of sources, significantly advancing existing estimations to levels of practical relevance. As a natural extension, we establish the stability of a specific $l_0$ minimization algorithm in the super-resolution problem. The second crucial contribution of this paper is the theoretical proof of a two-point resolution limit in multi-dimensional spaces. The resolution limit is expressed as: \[ R = \frac{4\arcsin \left(\left(\frac{\sigma}{m_{\min}}\right)^{\frac{1}{2}} \right)}{\Omega} \] for $\frac{\sigma}{m_{\min}}\leq\frac{1}{2}$, where $\frac{\sigma}{m_{\min}}$ represents the inverse of the signal-to-noise ratio ($\mathrm{SNR}$) and $\Omega$ is the cutoff frequency. It also demonstrates that for resolving two point sources, the resolution can exceed the Rayleigh limit $\frac{\pi}{\Omega}$ when the signal-to-noise ratio (SNR) exceeds $2$. Moreover, we find a tractable algorithm that achieves the resolution $R$ when distinguishing two sources.


title: Deep learning optimal quantum annealing schedules for random Ising models

abstract: A crucial step in the race towards quantum advantage is optimizing quantum annealing using ad-hoc annealing schedules. Motivated by recent progress in the field, we propose to employ long-short term memory (LSTM) neural networks to automate the search for optimal annealing schedules for random Ising models on regular graphs. By training our network using locally-adiabatic annealing paths, we are able to predict optimal annealing schedules for unseen instances and even larger graphs than those used for training.


title: Landau theory and self-assembly of spherical nanoclusters and nanoparticles with octahedral symmetry

abstract: Spherical nanoclusters and nanoparticles are rising materials whose functional design provides many useful applications ranging from catalysis, molecular sensing, gas storage to drug targeting and delivery. Here, we develop phenomenological crystallization theory of such spherical structures with octahedral symmetries O and O_h. Within the developed theory, we propose a method, which is based on constructing irreducible octahedral density functions and allows to predict the positions of structural units in the spherical nanoobjects. The proposed theory explains the structures of the simplest known metal nanoclusters, some metal-organic polyhedra and membrane protein polyhedral nanoparticles, and also predicts more complex chiral spherical structures and achiral assemblies characterized by the geometry of semiregular polyhedra. A relationship between the constructed irreducible octahedral functions and spherical lattices, obtained by mapping a plane hexagonal order onto a spherical surface through an octahedron net, is discussed as well.


title: What's Behind the Mask: Estimating Uncertainty in Image-to-Image Problems

abstract: Estimating uncertainty in image-to-image networks is an important task, particularly as such networks are being increasingly deployed in the biological and medical imaging realms. In this paper, we introduce a new approach to this problem based on masking. Given an existing image-to-image network, our approach computes a mask such that the distance between the masked reconstructed image and the masked true image is guaranteed to be less than a specified threshold, with high probability. The mask thus identifies the more certain regions of the reconstructed image. Our approach is agnostic to the underlying image-to-image network, and only requires triples of the input (degraded), reconstructed and true images for training. Furthermore, our method is agnostic to the distance metric used. As a result, one can use $L_p$-style distances or perceptual distances like LPIPS, which contrasts with interval-based approaches to uncertainty. Our theoretical guarantees derive from a conformal calibration procedure. We evaluate our mask-based approach to uncertainty on image colorization, image completion, and super-resolution tasks, demonstrating high quality performance on each.


title: Fractional diffusion limit for a kinetic Fokker-Planck equation with diffusive boundary conditions in the half-line

abstract: We consider a particle living in $\mathbb{R}_+$, whose velocity is a positive recurrent diffusion with heavy-tailed invariant distribution when the particle lives in $(0,\infty)$. When it hits the boundary $x=0$, the particle restarts with a random strictly positive velocity. We show that the properly rescaled position process converges weakly to a stable process reflected on its infimum. From a P.D.E. point of view, the time-marginals of $(X_t, V_t)_{t\geq0}$ solve a kinetic Fokker-Planck equation on $(0,\infty)\times\mathbb{R}_+ \times \mathbb{R}$ with diffusive boundary conditions. Properly rescaled, the space-marginal converges to the solution of some fractional heat equation on $(0,\infty)\times\mathbb{R}_+$.


title: Phase engineering in tantalum sulfide monolayers on Au(111)

abstract: We prepare monolayers of tantalum sulfide on Au(111) by evaporation of Ta in a reactive background of H$_2$S. Under sulfur-rich conditions, monolayers of 2H-TaS$_2$ develop, whereas under sulfur-poor conditions TaS forms, a structure that can be derived from 2H-TaS$_2$ by removal of the bottom S layer. We analyse the alignment of the layers with respect to the substrate and the relation with the domains in the Au(111) herringbone reconstruction using scanning tunneling microscopy (STM). With the help of density functional theory (DFT) calculations we can determine the registry of the two phases with the substrate. We develop a growth process that allows preparation of uniquely oriented 2H-TaS$_2$ on Au(111). 2H-TaS$_2$ and TaS have a remarkably similar in-plane lattice structure and we observe the formation of lateral 2H-TaS$_2$-TaS heterostructures with atomically well-defined and defect-free boundaries. We observe mirror twin boundaries within 2H-TaS$_2$ along the S- and Ta-edge.


title: LHC sensitivity to Z'/W' states in composite Higgs models

abstract: Using the 4-Dimensional Composite Higgs Model (4DCHM) realization of the minimal composite Higgs scenario, we discuss the Large Hadron Collider (LHC) sensitivity to new physics signals from multiple $Z^\prime$ and $W^\prime$ broad resonances. We illustrate the role of systematic uncertainties due to QCD effects encoded in parton distribution functions for experimental searches in leptonic channels. We show that, by reducing this systematics through the combination of high-precision measurements of Standard Model (SM) lepton-charge and forward-backward asymmetries near the SM vector-boson peak, the sensitivity to the new physics signals can be greatly enhanced.


title: Progressive Learning without Forgetting

abstract: Learning from changing tasks and sequential experience without forgetting the obtained knowledge is a challenging problem for artificial neural networks. In this work, we focus on two challenging problems in the paradigm of Continual Learning (CL) without involving any old data: (i) the accumulation of catastrophic forgetting caused by the gradually fading knowledge space from which the model learns the previous knowledge; (ii) the uncontrolled tug-of-war dynamics to balance the stability and plasticity during the learning of new tasks. In order to tackle these problems, we present Progressive Learning without Forgetting (PLwF) and a credit assignment regime in the optimizer. PLwF densely introduces model functions from previous tasks to construct a knowledge space such that it contains the most reliable knowledge on each task and the distribution information of different tasks, while credit assignment controls the tug-of-war dynamics by removing gradient conflict through projection. Extensive ablative experiments demonstrate the effectiveness of PLwF and credit assignment. In comparison with other CL methods, we report notably better results even without relying on any raw data.


title: Interstitial segregation has the potential to mitigate liquid metal embrittlement in iron

abstract: The embrittlement of metallic alloys by liquid metals leads to catastrophic material failure and severely impacts their structural integrity. The weakening of grain boundaries by the ingress of liquid metal and preceding segregation in the solid are thought to promote early fracture. However, the potential of balancing between the segregation of cohesion-enhancing interstitial solutes and embrittling elements inducing grain boundary decohesion is not understood. Here, we unveil the mechanisms of how boron segregation mitigates the detrimental effects of the prime embrittler, zinc, in a $\Sigma 5\,[0\,0\,1]$ tilt grain boundary in $\alpha-$Fe ($4~at.\%$ Al). Zinc forms nanoscale segregation patterns inducing structurally and compositionally complex grain boundary states. Ab-initio simulations reveal that boron hinders zinc segregation and compensates for the zinc induced loss in grain boundary cohesion. Our work sheds new light on how interstitial solutes intimately modify grain boundaries, thereby opening pathways to use them as dopants for preventing disastrous material failure.


title: AquaFeL-PSO: A Monitoring System for Water Resources using Autonomous Surface Vehicles based on Multimodal PSO and Federated Learning

abstract: The preservation, monitoring, and control of water resources has been a major challenge in recent decades. Water resources must be constantly monitored to know the contamination levels of water. To meet this objective, this paper proposes a water monitoring system using autonomous surface vehicles, equipped with water quality sensors, based on a multimodal particle swarm optimization, and the federated learning technique, with Gaussian process as a surrogate model, the AquaFeL-PSO algorithm. The proposed monitoring system has two phases, the exploration phase and the exploitation phase. In the exploration phase, the vehicles examine the surface of the water resource, and with the data acquired by the water quality sensors, a first water quality model is estimated in the central server. In the exploitation phase, the area is divided into action zones using the model estimated in the exploration phase for a better exploitation of the contamination zones. To obtain the final water quality model of the water resource, the models obtained in both phases are combined. The results demonstrate the efficiency of the proposed path planner in obtaining water quality models of the pollution zones, with a 14$\%$ improvement over the other path planners compared, and the entire water resource, obtaining a 400$\%$ better model, as well as in detecting pollution peaks, the improvement in this case study is 4,000$\%$. It was also proven that the results obtained by applying the federated learning technique are very similar to the results of a centralized system.


title: Application of the YOLOv5 Model for the Detection of Microobjects in the Marine Environment

abstract: The efficiency of using the YOLOV5 machine learning model for solving the problem of automatic de-tection and recognition of micro-objects in the marine environment is studied. Samples of microplankton and microplastics were prepared, according to which a database of classified images was collected for training an image recognition neural network. The results of experiments using a trained network to find micro-objects in photo and video images in real time are presented. Experimental studies have shown high efficiency, comparable to manual recognition, of the proposed model in solving problems of detect-ing micro-objects in the marine environment.


title: Amorphous ultra-wide bandgap ZnOx thin films deposited at cryogenic temperatures

abstract: Crystalline wurtzite zinc oxide (w-ZnO) can be used as a wide band gap semiconductor for light emitting devices and for transparent or high temperature electronics. The use of amorphous zinc oxide (a-ZnO) can be an advantage in these applications. In this paper we report on X-ray amorphous a-ZnOx thin films (~500 nm) deposited at cryogenic temperatures by reactive magnetron sputtering. The substrates were cooled by a nitrogen flow through the copper substrate holder during the deposition. The films were characterized by X-ray diffraction (XRD), Raman, infrared, UV-Vis-NIR spectroscopies, and ellipsometry. The a-ZnOx films on glass and Ti substrates were obtained at the substrate holder temperature of approximately -100 oC. New vibration bands at 201, 372, and 473 cm-1 as well as O-H stretch and bend absorption bands in the a-ZnOx films were detected by FTIR spectroscopy. Raman spectra showed characteristic ZnO2 peaks at 386 and 858 cm-1 attributed to the peroxide ion O22- stretching and libration modes, respectively. In addition, the films contain neutral and ionized O2 and O2- species. The a-ZnOx films are highly transparent in the visible light range (approx. 87%) and exhibit a refractive index of 1.68 at 2.25 eV (550 nm). An optical band gaps is 4.65 eV with an additional band edge absorption feature at 3.50 eV. It has been shown that the deposition on actively cooled substrates can be a suitable technique to obtain low temperature phases that cannot be deposited at room temperature.


title: Federated Learning for 5G Base Station Traffic Forecasting

abstract: Cellular traffic prediction is of great importance on the path of enabling 5G mobile networks to perform intelligent and efficient infrastructure planning and management. However, available data are limited to base station logging information. Hence, training methods for generating high-quality predictions that can generalize to new observations across diverse parties are in demand. Traditional approaches require collecting measurements from multiple base stations, transmitting them to a central entity and conducting machine learning operations using the acquire data. The dissemination of local observations raises concerns regarding confidentiality and performance, which impede the applicability of machine learning techniques. Although various distributed learning methods have been proposed to address this issue, their application to traffic prediction remains highly unexplored. In this work, we investigate the efficacy of federated learning applied to raw base station LTE data for time-series forecasting. We evaluate one-step predictions using five different neural network architectures trained with a federated setting on non-identically distributed data. Our results show that the learning architectures adapted to the federated setting yield equivalent prediction error to the centralized setting. In addition, preprocessing techniques on base stations enhance forecasting accuracy, while advanced federated aggregators do not surpass simpler approaches. Simulations considering the environmental impact suggest that federated learning holds the potential for reducing carbon emissions and energy consumption. Finally, we consider a large-scale scenario with synthetic data and demonstrate that federated learning reduces the computational and communication costs compared to centralized settings.


title: A reduced basis super-localized orthogonal decomposition for reaction-convection-diffusion problems

abstract: This paper presents a method for the numerical treatment of reaction-convection-diffusion problems with parameter-dependent coefficients that are arbitrary rough and possibly varying at a very fine scale. The presented technique combines the reduced basis (RB) framework with the recently proposed super-localized orthogonal decomposition (SLOD). More specifically, the RB is used for accelerating the typically costly SLOD basis computation, while the SLOD is employed for an efficient compression of the problem's solution operator requiring coarse solves only. The combined advantages of both methods allow one to tackle the challenges arising from parametric heterogeneous coefficients. Given a value of the parameter vector, the method outputs a corresponding compressed solution operator which can be used to efficiently treat multiple, possibly non-affine, right-hand sides at the same time, requiring only one coarse solve per right-hand side.


title: A priori bounds and multiplicity results for slightly superlinear and sublinear elliptic p-Laplacian equations

abstract: We consider the following problem $ -\Delta_{p}u= h(x,u) \mbox{ in }\Omega$, $u\in W^{1,p}_{0}(\Omega)$, where $\Omega$ is a bounded domain in $\mathbb{R}^{N}$, $1<p<N$, with a smooth boundary. In this paper we assume that $h(x,u)=a(x)f(u)+b(x)g(u)$ such that $f$ is regularly varying of index $p-1$ and superlinear at infinity. The function $g$ is a $p$-sublinear function at zero. The coefficients $a$ and $b$ belong to $L^{k}(\Omega)$ for some $k>\frac{N}{p}$ and they are without sign condition. Firstly, we show a priori bound on solutions, then by using variational arguments, we prove the existence of at least two nonnegative solutions. One of the main difficulties is that the nonlinearity term $h(x,u)$ does not satisfy the standard Ambrosetti and Rabinowitz condition.


title: Gamma-convergence of a nonlocal perimeter arising in adversarial machine learning

abstract: In this paper we prove Gamma-convergence of a nonlocal perimeter of Minkowski type to a local anisotropic perimeter. The nonlocal model describes the regularizing effect of adversarial training in binary classifications. The energy essentially depends on the interaction between two distributions modelling likelihoods for the associated classes. We overcome typical strict regularity assumptions for the distributions by only assuming that they have bounded $BV$ densities. In the natural topology coming from compactness, we prove Gamma-convergence to a weighted perimeter with weight determined by an anisotropic function of the two densities. Despite being local, this sharp interface limit reflects classification stability with respect to adversarial perturbations. We further apply our results to deduce Gamma-convergence of the associated total variations, to study the asymptotics of adversarial training, and to prove Gamma-convergence of graph discretizations for the nonlocal perimeter.


title: The Pristine Inner Galaxy Survey (PIGS) VI: Different vertical distributions between two DIBs at 442.8 nm and 862.1 nm

abstract: Although diffuse interstellar bands (DIBs) were discovered over 100 years ago, for most of them, their origins are still unknown. Investigation on the correlations between different DIBs is an important way to study the behavior and distributions of their carriers. Based on stacking thousands of spectra from the Pristine Inner Galaxy Survey, we study the correlations between two DIBs at 442.8 nm ($\lambda$442.8) and 862.1 nm ($\lambda$862.1), as well as the dust grains, in a range of latitude spanning ${\sim}22^{\circ}$ ($4^{\circ}\,{<}\,|b|\,{<}\,15^{\circ}$) toward the Galactic center ($|\ell|\,{<}\,11^{\circ}$). Tight linear intensity correlations can be found between $\lambda$442.8, $\lambda$862.1, and dust grains for $|b|\,{<}\,12^{\circ}$ or $E(B-V)\,{>}\,0.3$ mag. For $|b|\,{>}\,12^{\circ}$, $\lambda$442.8 and $\lambda$862.1 present larger relative strength with respect to the dust grains. A systematic variation of the relative strength between $\lambda$442.8 and $\lambda$862.1 with $|b|$ and $E(B-V)$ concludes that the two DIBs do not share a common carrier. Furthermore, the carrier of $\lambda$862.1 is more abundant at high latitudes than that of $\lambda$442.8. This work can be treated as an example showing the significance and potentials to the DIB research covering a large latitude range.


title: Meet-in-the-middle: Multi-scale upsampling and matching for cross-resolution face recognition

abstract: In this paper, we aim to address the large domain gap between high-resolution face images, e.g., from professional portrait photography, and low-quality surveillance images, e.g., from security cameras. Establishing an identity match between disparate sources like this is a classical surveillance face identification scenario, which continues to be a challenging problem for modern face recognition techniques. To that end, we propose a method that combines face super-resolution, resolution matching, and multi-scale template accumulation to reliably recognize faces from long-range surveillance footage, including from low quality sources. The proposed approach does not require training or fine-tuning on the target dataset of real surveillance images. Extensive experiments show that our proposed method is able to outperform even existing methods fine-tuned to the SCFace dataset.


title: RAMP: A Flat Nanosecond Optical Network and MPI Operations for Distributed Deep Learning Systems

abstract: Distributed deep learning (DDL) systems strongly depend on network performance. Current electronic packet switched (EPS) network architectures and technologies suffer from variable diameter topologies, low-bisection bandwidth and over-subscription affecting completion time of communication and collective operations. We introduce a near-exascale, full-bisection bandwidth, all-to-all, single-hop, all-optical network architecture with nanosecond reconfiguration called RAMP, which supports large-scale distributed and parallel computing systems (12.8~Tbps per node for up to 65,536 nodes). For the first time, a custom RAMP-x MPI strategy and a network transcoder is proposed to run MPI collective operations across the optical circuit switched (OCS) network in a schedule-less and contention-less manner. RAMP achieves 7.6-171$\times$ speed-up in completion time across all MPI operations compared to realistic EPS and OCS counterparts. It can also deliver a 1.3-16$\times$ and 7.8-58$\times$ reduction in Megatron and DLRM training time respectively} while offering 42-53$\times$ and 3.3-12.4$\times$ improvement in energy consumption and cost respectively.


title: The role of drop shape in impact and splash

abstract: The impact and splash of liquid drops on solid substrates are ubiquitous in many important fields. However, previous studies have mainly focused on spherical drops while the non-spherical situations, such as raindrops, charged drops, oscillating drops, and drops affected by electromagnetic field, remain largely unexplored. Using ferrofluid, we realize various drop shapes and illustrate the fundamental role of shape in impact and splash. Experiments show that different drop shapes produce large variations in spreading dynamics, splash onset, and splash amount. However, underlying all these variations we discover universal mechanisms across various drop shapes: the impact dynamics is governed by the superellipse model, the splash onset is triggered by the Kelvin-Helmholtz instability, and the amount of splash is determined by the energy dissipation before liquid taking off. Our study generalizes the drop impact research beyond the spherical geometry, and reveals the potential of using drop shape to control impact and splash.


title: Diffusion-Dominated Pinch-Off of Ultralow Surface Tension Fluids

abstract: We study the breakup of a liquid thread inside another liquid at different surface tensions. In general, the pinch-off of a liquid thread is governed by the dynamics of fluid flow. However, when the interfacial tension is ultralow (2 to 3 orders lower than normal liquids), we find that the pinch-off dynamics can be governed by bulk diffusion. By studying the velocity and the profile of the pinch-off, we explain why the diffusion-dominated pinch-off takes over the conventional breakup at ultralow surface tensions.


title: Bayesian analysis of diffusion-driven multi-type epidemic models with application to COVID-19

abstract: We consider a flexible Bayesian evidence synthesis approach to model the age-specific transmission dynamics of COVID-19 based on daily mortality counts. The temporal evolution of transmission rates in populations containing multiple types of individual is reconstructed via an appropriate dimension-reduction formulation driven by independent diffusion processes. A suitably tailored compartmental model is used to learn the latent counts of infection, accounting for fluctuations in transmission influenced by public health interventions and changes in human behaviour. The model is fitted to freely available COVID-19 data sources from the UK, Greece and Austria and validated using a large-scale seroprevalence survey in England. In particular, we demonstrate how model expansion can facilitate evidence reconciliation at a latent level. The code implementing this work is made freely available via the Bernadette R package.


title: Stability of Minkowski spacetime in exterior regions

abstract: In 1993, the global stability of Minkowski spacetime has been proven in the celebrated work of Christodoulou and Klainerman \cite{Ch-Kl} in a maximal foliation. In 2003, Klainerman and Nic\`olo \cite{Kl-Ni} gave a second proof of the stability of Minkowski in the case of the exterior of an outgoing null cone. In this paper, we give a new proof of \cite{Kl-Ni}. Compared to \cite{Kl-Ni}, we reduce the number of derivatives needed in the proof, simplify the treatment of the last slice, and provide a unified treatment of the decay of initial data. Also, concerning the treatment of curvature estimates, we replace the vectorfield method used in \cite{Kl-Ni} by the $r^p$--weighted estimates of Dafermos and Rodnianski \cite{Da-Ro}.


title: Chroma-VAE: Mitigating Shortcut Learning with Generative Classifiers

abstract: Deep neural networks are susceptible to shortcut learning, using simple features to achieve low training loss without discovering essential semantic structure. Contrary to prior belief, we show that generative models alone are not sufficient to prevent shortcut learning, despite an incentive to recover a more comprehensive representation of the data than discriminative approaches. However, we observe that shortcuts are preferentially encoded with minimal information, a fact that generative models can exploit to mitigate shortcut learning. In particular, we propose Chroma-VAE, a two-pronged approach where a VAE classifier is initially trained to isolate the shortcut in a small latent subspace, allowing a secondary classifier to be trained on the complementary, shortcut-free latent subspace. In addition to demonstrating the efficacy of Chroma-VAE on benchmark and real-world shortcut learning tasks, our work highlights the potential for manipulating the latent space of generative classifiers to isolate or interpret specific correlations.


title: Winding of geodesic rays chosen by a harmonic measure

abstract: We prove limit theorems for the homological winding of geodesic rays distributed via a harmonic measure on a Gromov hyperbolic space. We obtain applications to the inverse problem for the harmonic measure, and winding statistics for Patterson-Sullivan measures.


title: Tackling Visual Control via Multi-View Exploration Maximization

abstract: We present MEM: Multi-view Exploration Maximization for tackling complex visual control tasks. To the best of our knowledge, MEM is the first approach that combines multi-view representation learning and intrinsic reward-driven exploration in reinforcement learning (RL). More specifically, MEM first extracts the specific and shared information of multi-view observations to form high-quality features before performing RL on the learned features, enabling the agent to fully comprehend the environment and yield better actions. Furthermore, MEM transforms the multi-view features into intrinsic rewards based on entropy maximization to encourage exploration. As a result, MEM can significantly promote the sample-efficiency and generalization ability of the RL agent, facilitating solving real-world problems with high-dimensional observations and spare-reward space. We evaluate MEM on various tasks from DeepMind Control Suite and Procgen games. Extensive simulation results demonstrate that MEM can achieve superior performance and outperform the benchmarking schemes with simple architecture and higher efficiency.


title: Shoupa: An AI System for Early Diagnosis of Parkinson's Disease

abstract: Parkinson's Disease (PD) is a progressive nervous system disorder that has affected more than 5.8 million people, especially the elderly. Due to the complexity of its symptoms and its similarity to other neurological disorders, early detection requires neurologists or PD specialists to be involved, which is not accessible to most old people. Therefore, we integrate smart mobile devices with AI technologies. In this paper, we introduce the framework of our developed PD early detection system which combines different tasks evaluating both motor and non-motor symptoms. With the developed model, we help users detect PD punctually in non-clinical settings and figure out their most severe symptoms. The results are expected to be further used for PD rehabilitation guidance and detection of other neurological disorders.


title: Reducing Domain Gap in Frequency and Spatial domain for Cross-modality Domain Adaptation on Medical Image Segmentation

abstract: Unsupervised domain adaptation (UDA) aims to learn a model trained on source domain and performs well on unlabeled target domain. In medical image segmentation field, most existing UDA methods depend on adversarial learning to address the domain gap between different image modalities, which is ineffective due to its complicated training process. In this paper, we propose a simple yet effective UDA method based on frequency and spatial domain transfer uner multi-teacher distillation framework. In the frequency domain, we first introduce non-subsampled contourlet transform for identifying domain-invariant and domain-variant frequency components (DIFs and DVFs), and then keep the DIFs unchanged while replacing the DVFs of the source domain images with that of the target domain images to narrow the domain gap. In the spatial domain, we propose a batch momentum update-based histogram matching strategy to reduce the domain-variant image style bias. Experiments on two cross-modality medical image segmentation datasets (cardiac, abdominal) show that our proposed method achieves superior performance compared to state-of-the-art methods.


title: Improvement of both performance and stability of photovoltaic devices by in situ formation of a sulfur-based 2D perovskite

abstract: Perovskite solar cells (PSCs) with superior performance have been recognized as a potential candidate in photovoltaic technologies. However, the defects in active perovskite layer induce non-radiative recombination which restricts the performance and stability of the PSCs. The construction of thiophene-based 2D structure is one of the significant approaches for surface passivation of hybrid PSCs that may combine the benefits of the stability of 2D perovskite with the high performance of 3D perovskite. Here, a sulfur-rich spacer cation 2-thiopheneethylamine iodide (TEAI) is synthesized as a passivation agent for the construction of three-dimensional/two-dimensional (3D/2D) perovskite bilayer structure. TEAI-treated PSCs possess a much higher efficiency (20.06%) compared to the 3D perovskite (MAFAPbI3) devices (17.42%). Time-resolved photoluminescence (TRPL) and femtosecond transient absorption (TA) spectroscopy are employed to investigate the effect of surface passivation on the charge carrier dynamics of the 3D perovskite. Additionally, the stability test of TEAI-treated perovskite devices reveals significant improvement in humid (RH ~ 56%) and thermal stability as the sulfur-based 2D (TEA)2PbI4 material self-assembles on the 3D surface making the perovskite surface hydrophobic. Our findings provide a reliable approach to improve device stability and performance successively, paving the way for industrialization of PSCs.


title: The limit point in the Jante's law process has an absolutely continuous distribution

abstract: We study a stochastic model of consensus formation, introduced in 2015 by Grinfeld, Volkov and Wade, who called it a multidimensional randomized Keynesian beauty contest. The model was generalized by Kennerberg and Volkov, who called their generalization the Jante's law process. We consider a version of the model where the space of possible opinions is a convex body $\mathcal{B}$ in $\mathbb{R}^d$. $N$ individuals in a population each hold a (multidimensional) opinion in $\mathcal{B}$. Repeatedly, the individual whose opinion is furthest from the center of mass of the $N$ current opinions chooses a new opinion, sampled uniformly at random from $\mathcal{B}$. Kennerberg and Volkov showed that the set of opinions that are not furthest from the center of mass converges to a random limit point. We show that the distribution of the limit opinion is continuous, thus proving the conjecture made after Proposition 3.2 in Grinfeld et al.


title: An Application of the supremum cosine angle between multiplication invariant spaces in $L^2(X; \mc H)$

abstract: In this article, we describe the supremum cosine angle between two multiplication invariant (MI) spaces and its connection with the closedness of the sum of those spaces. The results obtained for MI spaces are preserved by the corresponding fiber spaces almost everywhere. Employing the Zak transform, we obtain the results for translation invariant spaces on locally compact groups by action of its closed abelian subgroup. Additionally, we provide the application of our results to sampling theory.


title: Subshifts of finite type and matching for intermediate $\beta$-transformations

abstract: We focus on the relationships between matching and subshift of finite type for intermediate $\beta$-transformations $T_{\beta,\alpha}(x)=\beta x+\alpha $ ($\bmod$ 1), where $x\in[0,1]$ and $(\beta,\alpha) \in \Delta:= \{ (\beta, \alpha) \in \mathbb{R}^{2}:\beta \in (1, 2) \; \rm{and} \; 0 < \alpha <2 - \beta\}$. We prove that if the kneading space $\Omega_{\beta,\alpha}$ is a subshift of finite type, then $T_{\beta,\alpha}$ has matching. Moreover, each $(\beta,\alpha)\in\Delta$ with $T_{\beta,\alpha}$ has matching corresponds to a matching interval, and there are at most countable different matching intervals on the fiber. Using combinatorial approach, we construct a pair of linearizable periodic kneading invariants and show that, for any $\epsilon>0$ and $(\beta,\alpha)\in\Delta$ with $T_{\beta,\alpha}$ has matching, there exists $(\beta,\alpha^{\prime})$ on the fiber with $|\alpha-\alpha^{\prime}|<\epsilon$, such that $\Omega_{\beta,\alpha^{\prime}}$ is a subshift of finite type. As a result, the set of $(\beta,\alpha)$ for which $\Omega_{\beta,\alpha}$ is a subshift of finite type is dense on the fiber if and only if the set of $(\beta,\alpha)$ for which $T_{\beta,\alpha}$ has matching is dense on the fiber.


title: $p$-Linear schemes for sequences modulo $p^r$

abstract: Many interesting combinatorial sequences, such as Ap\'ery numbers and Franel numbers, enjoy the so-called Lucas property modulo almost all primes $p$. Modulo prime powers $p^r$ such sequences have a more complicated behaviour which can be described by matrix versions of the Lucas property called $p$-linear schemes. They are examples of finite $p$-automata. In this paper we construct such $p$-linear schemes and give upper bounds for the number of states which, for fixed $r$, do not depend on $p$.


title: Synthetic Principal Component Design: Fast Covariate Balancing with Synthetic Controls

abstract: The optimal design of experiments typically involves solving an NP-hard combinatorial optimization problem. In this paper, we aim to develop a globally convergent and practically efficient optimization algorithm. Specifically, we consider a setting where the pre-treatment outcome data is available and the synthetic control estimator is invoked. The average treatment effect is estimated via the difference between the weighted average outcomes of the treated and control units, where the weights are learned from the observed data. {Under this setting, we surprisingly observed that the optimal experimental design problem could be reduced to a so-called \textit{phase synchronization} problem.} We solve this problem via a normalized variant of the generalized power method with spectral initialization. On the theoretical side, we establish the first global optimality guarantee for experiment design when pre-treatment data is sampled from certain data-generating processes. Empirically, we conduct extensive experiments to demonstrate the effectiveness of our method on both the US Bureau of Labor Statistics and the Abadie-Diemond-Hainmueller California Smoking Data. In terms of the root mean square error, our algorithm surpasses the random design by a large margin.


title: Ising Model on Locally Tree-like Graphs: Uniqueness of Solutions to Cavity Equations

abstract: In the study of Ising models on large locally tree-like graphs, in both rigorous and non-rigorous methods one is often led to understanding the so-called belief propagation distributional recursions and its fixed points. We prove that there is at most one non-trivial fixed point for Ising models with zero or certain random external fields. Previously this was only known for sufficiently ``low-temperature'' models. Our main innovation is in applying information-theoretic ideas of channel comparison leading to a new metric (degradation index) between binary-input-symmetric (BMS) channels under which the Belief Propagation (BP) operator is a strict contraction (albeit non-multiplicative). A key ingredient of our proof is a strengthening of the classical stringy tree lemma of (Evans-Kenyon-Peres-Schulman'00). Our result simultaneously closes the following 6 conjectures in the literature: 1) independence of robust reconstruction accuracy to leaf noise in broadcasting on trees (Mossel-Neeman-Sly'16); 2) uselessness of global information for a labeled 2-community stochastic block model, or 2-SBM (Kanade-Mossel-Schramm'16); 3) optimality of local algorithms for 2-SBM under noisy side information (Mossel-Xu'16); 4) uniqueness of BP fixed point in broadcasting on trees in the Gaussian (large degree) limit (ibid); 5) boundary irrelevance in broadcasting on trees (Abbe-Cornacchia-Gu-Polyanskiy'21); 6) characterization of entropy (and mutual information) of community labels given the graph in 2-SBM (ibid).


title: DeepAngle: Fast calculation of contact angles in tomography images using deep learning

abstract: DeepAngle is a machine learning-based method to determine the contact angles of different phases in the tomography images of porous materials. Measurement of angles in 3--D needs to be done within the surface perpendicular to the angle planes, and it could become inaccurate when dealing with the discretized space of the image voxels. A computationally intensive solution is to correlate and vectorize all surfaces using an adaptable grid, and then measure the angles within the desired planes. On the contrary, the present study provides a rapid and low-cost technique powered by deep learning to estimate the interfacial angles directly from images. DeepAngle is tested on both synthetic and realistic images against the direct measurement technique and found to improve the r-squared by 5 to 16% while lowering the computational cost 20 times. This rapid method is especially applicable for processing large tomography data and time-resolved images, which is computationally intensive. The developed code and the dataset are available at an open repository on GitHub (https://www.github.com/ArashRabbani/DeepAngle).


title: Explicit Reconstruction of Polarization Ellipse using Rotating Polarizer

abstract: This paper describes a method for the explicit reconstruction and visualization of various polarization ellipses from the intensities measured after a rotating polarizer. The state of polarization of a light beam is represented by the variation of the electric field amplitude vector with polar angle in the laboratory coordinate system defined by the experimental set-up. The intensity of the light beam measured after passing through a rotating polarizer gives the estimate of the wave electric field component parallel to the polarizer pass axis averaged over a time period. The formulae for the estimation of orthogonal field component and polar angle, in the polarizer coordinate system have been derived. Both the orthogonally polarized components and the polar angle are functions of ellipse parameters that have been deduced from the intensity measurements. Finally, the resultant electric field and the polar angle are mapped to the laboratory coordinate system and compared with the representation of the polarization ellipse obtained from the Stokes vectors.


title: A blazar candidate for the Fermi source 4FGL J1848.7-0129

abstract: The Fermi source 4FGL J1848.7-0129 has been historically related to the globular cluster GLIMPSE-C01 since its very first detection. Although this association is widely accepted, as it appears in the most recent Fermi catalog, it deserves to be revisited given the multi-wavelength evidences and the recent discovery of variable X-ray sources in the Fermi source region. In particular, low frequency radio maps from the Giant Metre Radio Telescope in Pune (India) have been carefully inspected which, together with X-ray data re-analysis from Chandra, lead us to get a deep insight into the candidates to be associated to 4FGL J1848.7-0129. This results in the discovery of a new X-ray variable point source coincident with an unreported non-thermal radio emitter, both of them well inside the 4FGL J1848.7-0129 error ellipse. We analyze and discuss all these observational facts, and we propose now a newly discovered blazar candidate as the most promising responsible for the gamma ray emission in the Fermi source. If confirmed, this result would set constrains on the number of millisecond pulsars in GLIMPSE-C01 or their gamma-ray emission properties.


title: Borderline gradient continuity for the normalized $p$-parabolic operator

abstract: In this paper, we prove gradient continuity estimates for viscosity solutions to $\Delta_{p}^N u- u_t= f$ in terms of the scaling critical $L(n+2,1 )$ norm of $f$, where $\Delta_{p}^N$ is the game theoretic normalized $p-$Laplacian operator defined in (1.2) below. Our main result, Theorem 2.5 constitutes borderline gradient continuity estimate for $u$ in terms of the modified parabolic Riesz potential $\mathbf{P}^{f}_{n+1}$ as defined in (2.8) below. Moreover, for $f \in L^{m}$ with $m>n+2$, we also obtain H\"older continuity of the spatial gradient of the solution $u$, see Theorem 2.6 below. This improves the gradient H\"older continuity result in [3] which considers bounded $f$. Our main results Theorem 2.5 and Theorem 2.6 are parabolic analogues of those in [9]. Moreover differently from that in [3], our approach is independent of the Ishii-Lions method which is crucially used in [3] to obtain Lipschitz estimates for homogeneous perturbed equations as an intermediate step.


title: From Trees to Gravity

abstract: In this article we study two related models of quantum geometry: generic random trees and two-dimensional causal triangulations. The Hausdorff and spectral dimensions that arise in these models are calculated and their relationship with the structure of the underlying random geometry is explored. Modifications due to interactions with matter fields are also briefly discussed. The approach to the subject is that of classical statistical mechanics and most of the tools come from probability and graph theory.


title: Efficient Answer Enumeration in Description Logics with Functional Roles -- Extended Version

abstract: We study the enumeration of answers to ontology-mediated queries when the ontology is formulated in a description logic that supports functional roles and the query is a CQ. In particular, we show that enumeration is possible with linear preprocessing and constant delay when a certain extension of the CQ (pertaining to functional roles) is acyclic and free-connex acyclic. This holds both for complete answers and for partial answers. We provide matching lower bounds for the case where the query is self-join free.


title: Local permutation stability

abstract: We introduce a notion of "local stability in permutations" for finitely generated groups. If a group is sofic and locally stable in our sense, then it is also locally embeddable into finite groups (LEF). Our notion is weaker than the "permutation stability" introduced by Glebsky-Rivera and Arzhantseva-Paunescu, which allows one to upgrade soficity to residual finiteness. We prove a necessary and sufficient condition for an amenable group to be locally permutation stable, in terms of invariant random subgroups (IRSs), inspired by a similar criterion for permutation stability due to Becker, Lubotzky and Thom. We apply our criterion to prove that derived subgroups of topological full groups of Cantor minimal subshifts are locally stable, using Zheng's classification of IRSs for these groups. This last result provides continuum-many groups which are locally stable, but not stable.


title: Hyperchaos, intermittency, noise and disorder in modified semiconductor superlattices

abstract: Weakly coupled semiconductor superlattices under dc voltage bias are nonlinear systems with many degrees of freedom whose nonlinearity is due to sequential tunneling of electrons. They may exhibit spontaneous chaos at room temperature and act as fast physical random number generator devices. Here we present a general sequential transport model with different voltage drops at quantum wells and barriers that includes noise and fluctuations due to the superlattice epitaxial growth. Excitability and oscillations of the current in superlattices with identical periods are due to nucleation and motion of charge dipole waves that form at the emitter contact when the current drops below a critical value. Insertion of wider wells increases superlattice excitability by allowing wave nucleation at the modified wells and more complex dynamics. Then hyperchaos and different types of intermittent chaos are possible on extended dc voltage ranges. Intrinsic shot and thermal noises and external noises produce minor effects on chaotic attractors. However, random disorder due to growth fluctuations may suppress any regular or chaotic current oscillations. Numerical simulations show that more than 70\% of samples remain chaotic when the standard deviation of their fluctuations due to epitaxial growth is below 0.024 nm (10\% of a single monolayer) whereas for 0.015 nm disorder suppresses chaos.


title: Enhanced Fast Iterative Shrinkage Thresholding Algorithm For Linear Inverse Problem

abstract: The linear inverse problem emerges from various real-world applications such as Image deblurring, inpainting, etc., which are still thrust research areas for image quality improvement. In this paper, we have introduced a new algorithm called the Enhanced fast iterative shrinkage thresholding algorithm (EFISTA) for linear inverse problems. This algorithm uses a weighted least square term and a scaled version of the regularization parameter to accelerate the objective function minimization. The image deblurring simulation results show that EFISTA has a superior execution speed, with an improved performance than its predecessors in terms of peak-signal-to-noise ratio (PSNR), particularly at a high noise level. With these motivating results, we can say that the proposed EFISTA can also be helpful for other linear inverse problems to improve the reconstruction speed and handle noise effectively.


title: Some Restriction Coefficients for the Trivial and Sign Representations

abstract: We use character polynomials to obtain a positive combinatorial interpretation of the multiplicity of the sign representation in irreducible polynomial representations of $GL_n(\mathbb{C})$ indexed by two-column and hook partitions. Our method also yields a positive combinatorial interpretation for the multiplicity of the trivial representation of $S_n$ in an irreducible polynomial representation indexed by a hook partition.


title: Lipschitz constant estimation for 1D convolutional neural networks

abstract: In this work, we propose a dissipativity-based method for Lipschitz constant estimation of 1D convolutional neural networks (CNNs). In particular, we analyze the dissipativity properties of convolutional, pooling, and fully connected layers making use of incremental quadratic constraints for nonlinear activation functions and pooling operations. The Lipschitz constant of the concatenation of these mappings is then estimated by solving a semidefinite program which we derive from dissipativity theory. To make our method as efficient as possible, we exploit the structure of convolutional layers by realizing these finite impulse response filters as causal dynamical systems in state space and carrying out the dissipativity analysis for the state space realizations. The examples we provide show that our Lipschitz bounds are advantageous in terms of accuracy and scalability.


title: Learnable Front Ends Based on Temporal Modulation for Music Tagging

abstract: While end-to-end systems are becoming popular in auditory signal processing including automatic music tagging, models using raw audio as input needs a large amount of data and computational resources without domain knowledge. Inspired by the fact that temporal modulation is regarded as an essential component in auditory perception, we introduce the Temporal Modulation Neural Network (TMNN) that combines Mel-like data-driven front ends and temporal modulation filters with a simple ResNet back end. The structure includes a set of temporal modulation filters to capture long-term patterns in all frequency channels. Experimental results show that the proposed front ends surpass state-of-the-art (SOTA) methods on the MagnaTagATune dataset in automatic music tagging, and they are also helpful for keyword spotting on speech commands. Moreover, the model performance for each tag suggests that genre or instrument tags with complex rhythm and mood tags can especially be improved with temporal modulation.


title: ARISE: Graph Anomaly Detection on Attributed Networks via Substructure Awareness

abstract: Recently, graph anomaly detection on attributed networks has attracted growing attention in data mining and machine learning communities. Apart from attribute anomalies, graph anomaly detection also aims at suspicious topological-abnormal nodes that exhibit collective anomalous behavior. Closely connected uncorrelated node groups form uncommonly dense substructures in the network. However, existing methods overlook that the topology anomaly detection performance can be improved by recognizing such a collective pattern. To this end, we propose a new graph anomaly detection framework on attributed networks via substructure awareness (ARISE for abbreviation). Unlike previous algorithms, we focus on the substructures in the graph to discern abnormalities. Specifically, we establish a region proposal module to discover high-density substructures in the network as suspicious regions. The average node-pair similarity can be regarded as the topology anomaly degree of nodes within substructures. Generally, the lower the similarity, the higher the probability that internal nodes are topology anomalies. To distill better embeddings of node attributes, we further introduce a graph contrastive learning scheme, which observes attribute anomalies in the meantime. In this way, ARISE can detect both topology and attribute anomalies. Ultimately, extensive experiments on benchmark datasets show that ARISE greatly improves detection performance (up to 7.30% AUC and 17.46% AUPRC gains) compared to state-of-the-art attributed networks anomaly detection (ANAD) algorithms.


title: Bounded variation spaces with generalized Orlicz growth related to image denoising

abstract: Motivated by the image denoising problem and the undesirable stair-casing effect of the total variation method, we introduce bounded variation spaces with generalized Orlicz growth. Our setup covers earlier variable exponent and double phase models. We study the norm and modular of the new space and derive a formula for the modular in terms of the Lebesgue decomposition of the derivative measure and a location dependent recession function. We also show that the modular can be obtained as the $\Gamma$-limit of uniformly convex approximating energies.


title: Charged-hadron production in $pp$, $p$+Pb, Pb+Pb, and Xe+Xe collisions at $\sqrt{s_{_\text{NN}}}=5$ TeV with the ATLAS detector at the LHC

abstract: This paper presents measurements of charged-hadron spectra obtained in $pp$, $p$+Pb, and Pb+Pb collisions at $\sqrt{s}$ or $\sqrt{s_{_\text{NN}}}=5.02$ TeV, and in Xe+Xe collisions at $\sqrt{s_{_\text{NN}}}=5.44$ TeV. The data recorded by the ATLAS detector at the LHC have total integrated luminosities of 25 pb${}^{-1}$, 28 nb${}^{-1}$, 0.50 nb${}^{-1}$, and 3 $\mu$b${}^{-1}$, respectively. The nuclear modification factors $R_{p\text{Pb}}$ and $R_\text{AA}$ are obtained by comparing the spectra in heavy-ion and $pp$ collisions in a wide range of charged-particle transverse momenta and pseudorapidity. The nuclear modification factor $R_{p\text{Pb}}$ shows a moderate enhancement above unity with a maximum at $p_{\mathrm{T}} \approx 3$ GeV; the enhancement is stronger in the Pb-going direction. The nuclear modification factors in both Pb+Pb and Xe+Xe collisions feature a significant, centrality-dependent suppression. They show a similar distinct $p_{\mathrm{T}}$-dependence with a local maximum at $p_{\mathrm{T}} \approx 2$ GeV and a local minimum at $p_{\mathrm{T}} \approx 7$ GeV. This dependence is more distinguishable in more central collisions. No significant $|\eta|$-dependence is found. A comprehensive comparison with several theoretical predictions is also provided. They typically describe $R_\text{AA}$ better in central collisions and in the $p_{\mathrm{T}}$ range from about 10 to 100 GeV.


title: Bayesian Network Models of Causal Interventions in Healthcare Decision Making: Literature Review and Software Evaluation

abstract: This report summarises the outcomes of a systematic literature search to identify Bayesian network models used to support decision making in healthcare. After describing the search methodology, the selected research papers are briefly reviewed, with the view to identify publicly available models and datasets that are well suited to analysis using the causal interventional analysis software tool developed in Wang B, Lyle C, Kwiatkowska M (2021). Finally, an experimental evaluation of applying the software on a selection of models is carried out and preliminary results are reported.


title: A Call to Reflect on Evaluation Practices for Failure Detection in Image Classification

abstract: Reliable application of machine learning-based decision systems in the wild is one of the major challenges currently investigated by the field. A large portion of established approaches aims to detect erroneous predictions by means of assigning confidence scores. This confidence may be obtained by either quantifying the model's predictive uncertainty, learning explicit scoring functions, or assessing whether the input is in line with the training distribution. Curiously, while these approaches all state to address the same eventual goal of detecting failures of a classifier upon real-life application, they currently constitute largely separated research fields with individual evaluation protocols, which either exclude a substantial part of relevant methods or ignore large parts of relevant failure sources. In this work, we systematically reveal current pitfalls caused by these inconsistencies and derive requirements for a holistic and realistic evaluation of failure detection. To demonstrate the relevance of this unified perspective, we present a large-scale empirical study for the first time enabling benchmarking confidence scoring functions w.r.t all relevant methods and failure sources. The revelation of a simple softmax response baseline as the overall best performing method underlines the drastic shortcomings of current evaluation in the abundance of publicized research on confidence scoring. Code and trained models are at https://github.com/IML-DKFZ/fd-shifts.


title: ETF construction on CRIX

abstract: Investments in cryptocurrencies (CCs) remain risky due to high volatility. Exchange Traded Funds (ETFs) are a suitable tool to diversify risk and to benefit from the growth of the whole CC sector. We construct an ETF on the CRIX, the CRyptocurrency IndeX that maps the non-stationary CC dynamics closely by adapting its constituents weights dynamically. The scenario analysis considers the fee schedules of regulated CC exchanges, spreads obtained from high-frequency order book data, and models capital deposits to the ETF stochastically. The analysis yields valuable insights into the mechanisms, costs and risks of this new financial product: i) although the composition of the CRIX ETF changes frequently (from 5 to 30 constituents), it remains robust in its core, as the weights of Bitcoin (BTC) and Ethereum (ETH) are robust over time, ii) on average, a portion of 5.2% needed to be rebalanced at the rebalancing dates, iii) trading costs are low compared to traditional assets, iv) the liquidity of the CC sector has increased significantly during the analysis period, spreads occur especially for altcoins and increase by the size of the transactions. But since BTC and ETH are most affected by rebalancing, the cost of spreads remains limited.


title: Flexible Correct-by-Construction Programming

abstract: Correctness-by-Construction (CbC) is an incremental program construction process to construct functionally correct programs. The programs are constructed stepwise along with a specification that is inherently guaranteed to be satisfied. CbC is complex to use without specialized tool support, since it needs a set of predefined refinement rules of fixed granularity which are additional rules on top of the programming language. Each refinement rule introduces a specific programming statement and developers cannot depart from these rules to construct programs. CbC allows to develop software in a structured and incremental way to ensure correctness, but the limited flexibility is a disadvantage of CbC. In this work, we compare classic CbC with CbC-Block and TraitCbC. Both approaches CbC-Block and TraitCbC, are related to CbC, but they have new language constructs that enable a more flexible software construction approach. We provide for both approaches a programming guideline, which similar to CbC, leads to well-structured programs. CbC-Block extends CbC by adding a refinement rule to insert any block of statements. Therefore, we introduce CbC-Block as an extension of CbC. TraitCbC implements correctness-by-construction on the basis of traits with specified methods. We formally introduce TraitCbC and prove soundness of the construction strategy. All three development approaches are qualitatively compared regarding their programming constructs, tool support, and usability to assess which is best suited for certain tasks and developers.


title: HERDPhobia: A Dataset for Hate Speech against Fulani in Nigeria

abstract: Social media platforms allow users to freely share their opinions about issues or anything they feel like. However, they also make it easier to spread hate and abusive content. The Fulani ethnic group has been the victim of this unfortunate phenomenon. This paper introduces the HERDPhobia - the first annotated hate speech dataset on Fulani herders in Nigeria - in three languages: English, Nigerian-Pidgin, and Hausa. We present a benchmark experiment using pre-trained languages models to classify the tweets as either hateful or non-hateful. Our experiment shows that the XML-T model provides better performance with 99.83% weighted F1. We released the dataset at https://github.com/hausanlp/HERDPhobia for further research.


title: Quantum Correlations and Coherence in a Moving Unruh-deWitt Detector

abstract: In this paper, we investigate the quantum correlations and coherence of two accelerating Unruh-deWitt detectors coupled to a scalar field in 3 + 1 Minkowski space-time. We show that the entanglement is completely destroyed in the limit of infinite acceleration while the local quantum uncertainty and l1-norm of coherence remain nonzero. In addition, we also highlight the role of Unruh temperature and energy spacing of detectors on quantum correlations for different choices of initial states.


title: Orbital selective coupling in CeRh$_3$B$_2$: co-existence of high Curie and high Kondo temperature

abstract: We investigated the electronic structure of the enigmatic CeRh$_3$B$_2$ using resonant inelastic scattering and x-ray absorption spectroscopy in combination with $ab$ $initio$ density functional calculations. We find that the Rh 4$d$ states are irrelevant for the high-temperature ferromagnetism and the Kondo effect. We also find that the Ce 4$f$ crystal-field strength is too small to explain the strong reduction of the Ce magnetic moment. The data reveal instead the presence of two different active Ce 4$f$ orbitals, with each coupling selectively to different bands in CeRh$_3$B$_2$. The inter-site hybridization of the |J=5/2,Jz=+/-1/2> crystal-field state and Ce 5$d$ band combined with the intra-site Ce 4$f$-5$d$ exchange creates the strong ferromagnetism, while hybridization between the |J=5/2,Jz=+/-5/2> and the B $sp$ in the $ab$-plane contributes to the Kondo interaction which causes the moment reduction. This orbital selective coupling explains the unique and seemingly contradictory properties of CeRh$_3$B$_2$.


title: Assessing Bias in Face Image Quality Assessment

abstract: Face image quality assessment (FIQA) attempts to improve face recognition (FR) performance by providing additional information about sample quality. Because FIQA methods attempt to estimate the utility of a sample for face recognition, it is reasonable to assume that these methods are heavily influenced by the underlying face recognition system. Although modern face recognition systems are known to perform well, several studies have found that such systems often exhibit problems with demographic bias. It is therefore likely that such problems are also present with FIQA techniques. To investigate the demographic biases associated with FIQA approaches, this paper presents a comprehensive study involving a variety of quality assessment methods (general-purpose image quality assessment, supervised face quality assessment, and unsupervised face quality assessment methods) and three diverse state-of-theart FR models. Our analysis on the Balanced Faces in the Wild (BFW) dataset shows that all techniques considered are affected more by variations in race than sex. While the general-purpose image quality assessment methods appear to be less biased with respect to the two demographic factors considered, the supervised and unsupervised face image quality assessment methods both show strong bias with a tendency to favor white individuals (of either sex). In addition, we found that methods that are less racially biased perform worse overall. This suggests that the observed bias in FIQA methods is to a significant extent related to the underlying face recognition system.


title: Quantum Alternating Operator Ansatz for Solving the Minimum Exact Cover Problem

abstract: The Quantum Alternating Operator Ansatz (QAOA+) is an extension of the Quantum Approximate Optimization Algorithm (QAOA), where the search space is smaller in solving constrained combinatorial optimization problems. However, QAOA+ requires a trivial feasible solution as the initial state, so it cannot be used for problems that are difficult to find a trivial feasible solution. For simplicity, we call them as Non-Trivial-Feasible-Solution Problems (NTFSP). In this paper, we take the Minimum Exact Cover (MEC) problem as an example, studying how to apply QAOA+ to NTFSP. As we know, exact covering (EC) is the feasible space of MEC problem, which has no trivial solutions. To overcome the above problem, the EC problem is divided into two steps to solve. First, disjoint sets are obtained, which is equivalent to solving independent sets. Second, on this basis, the sets covering all elements (i.e., EC) are solved. In other words, we transform MEC into a multi-objective constrained optimization problem, where feasible space consists of independent sets that are easy to find. Finally, we also verify the feasibility of the algorithm from numerical experiments. Our method provides a feasible way for applying QAOA+ to NTFSP, and is expected to expand its application significantly.


title: Folded Polynomial Codes for Coded Distributed $AA^\top$-Type Matrix Multiplication

abstract: In this paper, due to the important value in practical applications, we consider the coded distributed matrix multiplication problem of computing $AA^\top$ in a distributed computing system with $N$ worker nodes and a master node, where the input matrices $A$ and $A^\top$ are partitioned into $m$-by-$p$ and $p$-by-$m$ blocks of equal-size sub-matrices respectively. For effective straggler mitigation, we propose a novel computation strategy, named \emph{folded polynomial code}, which is obtained by modifying the entangled polynomial codes. Moreover, we characterize a lower bound on the optimal recovery threshold among all linear computation strategies when the underlying field is the real number field, and our folded polynomial codes can achieve this bound in the case of $m=1$. Compared with all known computation strategies for coded distributed matrix multiplication, our folded polynomial codes outperform them in terms of recovery threshold, download cost, and decoding complexity.


title: Scientific and Creative Analogies in Pretrained Language Models

abstract: This paper examines the encoding of analogy in large-scale pretrained language models, such as BERT and GPT-2. Existing analogy datasets typically focus on a limited set of analogical relations, with a high similarity of the two domains between which the analogy holds. As a more realistic setup, we introduce the Scientific and Creative Analogy dataset (SCAN), a novel analogy dataset containing systematic mappings of multiple attributes and relational structures across dissimilar domains. Using this dataset, we test the analogical reasoning capabilities of several widely-used pretrained language models (LMs). We find that state-of-the-art LMs achieve low performance on these complex analogy tasks, highlighting the challenges still posed by analogy understanding.


title: Machine-learning-assisted construction of appropriate rotating frame

abstract: Machine learning with neural networks is now becoming a more and more powerful tool for various tasks, such as natural language processing, image recognition, winning the game, and even for the issues of physics. Although there are many studies on the application of machine learning to numerical calculation and the assistance of experimental detection, the methods of applying machine learning to find the analytical method are poorly studied. In this letter, we propose methods to use machine learning to find the analytical methods. We demonstrate that the recurrent neural networks can ``derive'' the Floquet-Magnus expansion just by inputting the time-periodic Hamiltonian to the neural networks, and derive the appropriate rotating frame in the periodically-driven system. We also argue that this method is also applicable to finding other theoretical frameworks in other systems.


title: Reconstruction of $B \to \rho \ell \nu_\ell$ decays identified using hadronic decays of the recoil $B$ meson in 2019 -- 2021 Belle II data

abstract: We present results on the semileptonic decays $B^0 \to \rho^- \ell^+ \nu_\ell$ and $B^+ \to \rho^0 \ell^+ \nu_\ell$ in a sample corresponding to 189.9/fb of Belle II data at the SuperKEKB $e^- e^+$ collider. Signal decays are identified using full reconstruction of the recoil $B$ meson in hadronic final states. We determine the total branching fractions via fits to the distributions of the square of the "missing" mass in the event and the dipion mass in the signal candidate and find ${\mathcal{B}(B^0\to\rho^-\ell^+ \nu_\ell) = (4.12 \pm 0.64(\mathrm{stat}) \pm 1.16(\mathrm{syst})) \times 10^{-4}}$ and ${\mathcal{B}({B^+\to\rho^0\ell^+\nu_\ell}) = (1.77 \pm 0.23 (\mathrm{stat}) \pm 0.36 (\mathrm{syst})) \times 10^{-4}}$ where the dominant systematic uncertainty comes from modeling the nonresonant $B\to (\pi\pi)\ell^+\nu_\ell$ contribution.


title: The Myth of Culturally Agnostic AI Models

abstract: The paper discusses the potential of large vision-language models as objects of interest for empirical cultural studies. Focusing on the comparative analysis of outputs from two popular text-to-image synthesis models, DALL-E 2 and Stable Diffusion, the paper tries to tackle the pros and cons of striving towards culturally agnostic vs. culturally specific AI models. The paper discusses several examples of memorization and bias in generated outputs which showcase the trade-off between risk mitigation and cultural specificity, as well as the overall impossibility of developing culturally agnostic models.


title: Topologically faithful image segmentation via induced matching of persistence barcodes

abstract: Image segmentation is a largely researched field where neural networks find vast applications in many facets of technology. Some of the most popular approaches to train segmentation networks employ loss functions optimizing pixel-overlap, an objective that is insufficient for many segmentation tasks. In recent years, their limitations fueled a growing interest in topology-aware methods, which aim to recover the correct topology of the segmented structures. However, so far, none of the existing approaches achieve a spatially correct matching between the topological features of ground truth and prediction. In this work, we propose the first topologically and feature-wise accurate metric and loss function for supervised image segmentation, which we term Betti matching. We show how induced matchings guarantee the spatially correct matching between barcodes in a segmentation setting. Furthermore, we propose an efficient algorithm to compute the Betti matching of images. We show that the Betti matching error is an interpretable metric to evaluate the topological correctness of segmentations, which is more sensitive than the well-established Betti number error. Moreover, the differentiability of the Betti matching loss enables its use as a loss function. It improves the topological performance of segmentation networks across six diverse datasets while preserving the volumetric performance. Our code is available in https://github.com/nstucki/Betti-matching.


title: Tchebycheffian B-splines in isogeometric Galerkin methods

abstract: Tchebycheffian splines are smooth piecewise functions whose pieces are drawn from (possibly different) Tchebycheff spaces, a natural generalization of algebraic polynomial spaces. They enjoy most of the properties known in the polynomial spline case. In particular, under suitable assumptions, Tchebycheffian splines admit a representation in terms of basis functions, called Tchebycheffian B-splines (TB-splines), completely analogous to polynomial B-splines. A particularly interesting subclass consists of Tchebycheffian splines with pieces belonging to null-spaces of constant-coefficient linear differential operators. They grant the freedom of combining polynomials with exponential and trigonometric functions with any number of individual shape parameters. Moreover, they have been recently equipped with efficient evaluation and manipulation procedures. In this paper, we consider the use of TB-splines with pieces belonging to null-spaces of constant-coefficient linear differential operators as an attractive substitute for standard polynomial B-splines and rational NURBS in isogeometric Galerkin methods. We discuss how to exploit the large flexibility of the geometrical and analytical features of the underlying Tchebycheff spaces according to problem-driven selection strategies. TB-splines offer a wide and robust environment for the isogeometric paradigm beyond the limits of the rational NURBS model.


title: Sharper bounds on the box-counting dimension of the singularities in the hyperdissipative Navier-Stokes equations

abstract: We provide an improved upper bound on the box-counting dimension of the set of potential singular points in suitable weak solutions to the $\alpha$-fractional Navier-Stokes equations for the hyperdissipation case $1<\alpha<\frac{5}{4}$.


title: A Conflict-driven Interface between Symbolic Planning and Nonlinear Constraint Solving

abstract: Robotic planning in real-world scenarios typically requires joint optimization of logic and continuous variables. A core challenge to combine the strengths of logic planners and continuous solvers is the design of an efficient interface that informs the logical search about continuous infeasibilities. In this paper we present a novel iterative algorithm that connects logic planning with nonlinear optimization through a bidirectional interface, achieved by the detection of minimal subsets of nonlinear constraints that are infeasible. The algorithm continuously builds a database of graphs that represent (in)feasible subsets of continuous variables and constraints, and encodes this knowledge in the logical description. As a foundation for this algorithm, we introduce Planning with Nonlinear Transition Constraints (PNTC), a novel planning formulation that clarifies the exact assumptions our algorithm requires and can be applied to model Task and Motion Planning (TAMP) efficiently. Our experimental results show that our framework significantly outperforms alternative optimization-based approaches for TAMP.


title: Pixel data real time processing as a next step for HL-LHC upgrades and beyond

abstract: The experiments at LHC are implementing novel and challenging detector upgrades for the High Luminosity LHC, among which the tracking systems. This paper reports on performance studies, illustrated by an electron trigger, using a simplified pixel tracker. To achieve a real-time trigger (e.g. processing HL-LHC collision events at 40 MHz), simple algorithms are developed for reconstructing pixel-based tracks and track isolation, utilizing look-up tables based on pixel detector information. Significant gains in electron trigger performance are seen when pixel detector information is included. In particular, a rate reduction up to a factor of 20 is obtained with a signal selection efficiency of more than 95\% over the whole $\eta$ coverage of this detector. Furthermore, it reconstructs p-p collision points in the beam axis (z) direction, with a high precision of 20 $\mu$m resolution in the very central region ($|\eta| < 0.8$), and, up to 380 $\mu$m in the forward region (2.7 $< |\eta| <$ 3.0). This study as well as the results can easily be adapted to the muon case and to the different tracking systems at LHC and other machines beyond the HL-LHC. The feasibility of such real-time processing of the pixel information is mainly constrained by the Level-1 trigger latency of the experiment. How this might be overcome by the Front-End ASIC design, new processors, and embedded Artificial Intelligence algorithms is briefly tackled as well.


title: $q$-enumeration of type B and D Eulerian polynomials based on parity of descents

abstract: Carlitz and Scoville in 1973 considered a four variable polynomial that enumerates permutations in $\mathfrak{S}_n$ with respect to the parity of its descents and ascents. In recent work, Pan and Zeng proved a $q$-analogue of Carlitz-Scoville's generating function by enumerating permutations with the above four statistice along with the inversion number. Further, they also proved a type B analogue by enumerating signed permutations with respect to the parity of descents and ascents. In this work we prove a $q$-analogue of the type B result of Pan and Zeng by enumerating permutations in $\mathfrak{B}_n$ with the above four statistics and the type B inversion number. We also obtain a $q$-analogue of the generating function for the type B bivariate alternating descent polynomials. We consider a similar five-variable polynomial in the type D Coxeter groups as well and give their egf. Alternating descents for the type D groups were previously also defined by Remmel, but our definition is slightly different. As a by-product of our proofs, we get bivariate $q$-analogues of Hyatt's recurrences for the type B and type D Eulerian polynomials. Further corollaries of our results are some symmetry relations for these polynomials and $q$-analogues of generating functions for snakes of types B and D.


title: Critical Neurons: optimized visual recognition in a neuronal network

abstract: In the past few decades, there have been intense debates whether the brain operates at a critical state. To verify the criticality hypothesis in the neuronal networks is challenging and the accumulating experimental and theoretical results remain controversial at this point. Here we simulate how visual information of a nature image is processed by the finite Kinouchi-Copelli neuronal network, extracting the trends of the mutual information (how sensible the neuronal network is), the dynamical range (how sensitive the network responds to external stimuli) and the statistical fluctuations (how criticality is defined in conventional statistical physics). It is rather remarkable that the optimized state for visual recognition, although close to, does not coincide with the critical state where the statistical fluctuations reach the maximum. Different images and/or network sizes of course lead to differences in details but the trend of the information optimization remains the same. Our findings pave the first step to investigate how the information processing is optimized in different neuronal networks and suggest that the criticality hypothesis may not be necessary to explain why a neuronal network can process information smartly.


title: Establishment of Neural Networks Robust to Label Noise

abstract: Label noise is a significant obstacle in deep learning model training. It can have a considerable impact on the performance of image classification models, particularly deep neural networks, which are especially susceptible because they have a strong propensity to memorise noisy labels. In this paper, we have examined the fundamental concept underlying related label noise approaches. A transition matrix estimator has been created, and its effectiveness against the actual transition matrix has been demonstrated. In addition, we examined the label noise robustness of two convolutional neural network classifiers with LeNet and AlexNet designs. The two FashionMINIST datasets have revealed the robustness of both models. We are not efficiently able to demonstrate the influence of the transition matrix noise correction on robustness enhancements due to our inability to correctly tune the complex convolutional neural network model due to time and computing resource constraints. There is a need for additional effort to fine-tune the neural network model and explore the precision of the estimated transition model in future research.


title: Abelian varieties over finite fields and their groups of rational points

abstract: We study the groups of rational points of abelian varieties defined over a finite field $ \mathbb{F}_q$ whose endomorphism rings are commutative, or, equivalently, whose isogeny classes are determined by squarefree characteristic polynomials. When $\mathrm{End}(A)$ is locally Gorenstein, we show that the group structure of $A(\mathbb{F}_q)$ is determined by $\mathrm{End}(A)$. Moreover, we prove that the same conclusion is attained if $\mathrm{End}(A)$ has local Cohen-Macaulay type at most $ 2$, under the additional assumption that $A$ is ordinary or $q$ is prime. The result in the Gorenstein case is used to characterize squarefree cyclic isogeny classes in terms of conductor ideals. Going in the opposite direction, we characterize squarefree isogeny classes of abelian varieties with $N$ rational points in which every abelian group of order $N$ is realized as a group of rational points. Finally, we study when an abelian variety $A$ over $\mathbb{F}_q$ and its dual $A^\vee$ succeed or fail to satisfy several interrelated properties, namely $A\cong A^\vee$, $A(\mathbb{F}_q)\cong A^\vee(\mathbb{F}_q)$, and $\mathrm{End}(A)=\mathrm{End}(A^\vee)$. In the process, we exhibit a sufficient condition for $A\not\cong A^\vee$ involving the local Cohen-Macaulay type of $\mathrm{End}(A)$. In particular, such an abelian variety $A$ is not a Jacobian, or even principally polarizable.


title: Flow: Per-Instance Personalized Federated Learning Through Dynamic Routing

abstract: Personalization in Federated Learning (FL) aims to modify a collaboratively trained global model according to each client. Current approaches to personalization in FL are at a coarse granularity, i.e. all the input instances of a client use the same personalized model. This ignores the fact that some instances are more accurately handled by the global model due to better generalizability. To address this challenge, this work proposes Flow, a fine-grained stateless personalized FL approach. Flow creates dynamic personalized models by learning a routing mechanism that determines whether an input instance prefers the local parameters or its global counterpart. Thus, Flow introduces per-instance routing in addition to leveraging per-client personalization to improve accuracies at each client. Further, Flow is stateless which makes it unnecessary for a client to retain its personalized state across FL rounds. This makes Flow practical for large-scale FL settings and friendly to newly joined clients. Evaluations on Stackoverflow, Reddit, and EMNIST datasets demonstrate the superiority in prediction accuracy of Flow over state-of-the-art non-personalized and only per-client personalized approaches to FL.


title: FLOWViZ: Framework for Phylogenetic Processing

abstract: The increasing risk of epidemics and a fast-growing world population has contributed to a great investment in phylogenetic analysis, in order to track numerous diseases and conceive effective medication and treatments. Phylogenetic analysis requires large quantities of information to be analyzed and processed for knowledge extraction, using suitable techniques and, nowadays, specific software and algorithms, to deliver results as efficiently and fast as possible. These algorithms and techniques are already provided by several free and available frameworks and tools. Usually, the process of phylogenetic analysis consists of several processing steps, which define a pipeline. Some phylogenetic frameworks have available more than one processing step, such as inferring phylogenetic trees, data integration, and visualization, but due to the continuous growth in involved data amounts, each step may last several hours or days. Scientific workflow systems may use high performance computing facilities, if available, for processing large volumes of data, concurrently. But most of these scientific workflow systems cannot be easily installed and configured, are available as centralized services, and, usually, it is not easy to integrate tools and processing steps available in phylogenetic frameworks. This paper summarizes the thesis document of the FLOWViZ framework, which main goal is to provide a software integration framework between a phylogenetic framework and a scientific workflow system. This framework makes it possible to build a customized integration with much fewer lines of code, while providing existing phylogenetic frameworks with workflow building and execution, to manage the processing of great amounts of data. The project was supported by funds, for a student grant of FCT - NGPHYLO PTDC/CCI-BIO/29676/2017 and an IPL project - IPL/2021/DIVA.


title: Double-replica theory for evolution of genotype-phenotype interrelationship

abstract: The relationship between genotype and phenotype plays a crucial role in determining the function and robustness of biological systems. Here the evolution progresses through the change in genotype, whereas the selection is based on the phenotype, and genotype-phenotype relation also evolves. Theory for such phenotypic evolution remains poorly-developed, in contrast to evolution under the fitness landscape determined by genotypes. Here we provide statistical-physics formulation of this problem by introducing replicas for genotype and phenotype. We apply it to an evolution model, in which phenotypes are given by spin configurations; genotypes are interaction matrix for spins to give the Hamiltonian, and the fitness depends only on the configuration of a subset of spins called target. We describe the interplay between the genetic variations and phenotypic variances by noise in this model by our new approach that extends the replica theory for spin-glasses to include spin-replica for phenotypes and coupling-replica for genotypes. Within this framework we obtain a phase diagram of the evolved phenotypes against the noise and selection pressure, where each phase is distinguished by the fitness and overlaps for genotypes and phenotypes. Among the phases, robust fitted phase, relevant to biological evolution, is achieved under the intermediate level of noise (temperature), where robustness to noise and to genetic mutation are correlated, as a result of replica symmetry. We also find a trade-off between maintaining a high fitness level of phenotype and acquiring a robust pattern of genes as well as the dependence of this trade-off on the ratio between the size of the functional (target) part to that of the remaining non-functional (non-target) one. The selection pressure needed to achieve high fitness increases with the fraction of target spins.


title: The effect of saturated thermal conduction on clouds in a hot plasma

abstract: We numerically investigate the internal evolution of multiphase clouds, which are at rest with respect to an ambient, highly ionized medium (HIM) representing the hot component of the circumgalactic medium (CGM). Time-dependent saturated thermal conduction and its implications like condensation rates and mixing efficiency are assessed in multiphase clouds. Our simulations are carried out by using the adaptive mesh refinement code Flash. We perform a grid of models of which we present here those characteristic for the presented study. The model clouds are initially in both hydrostatic and thermal equilibrium and are in pressure balance with the HIM. Thus, they have steep gradients in both temperature and density at the interface to HIM leading to non-negligible thermal conduction. Several physical processes are considered numerically or semi-analytically: thermal conduction, radiative cooling and external heating of gas, self-gravity, mass diffusion, and dissociation of molecules and ionization of atoms. It turns out that saturated thermal conduction triggers a continuous condensation irrespective of cloud mass. Dynamical interactions with ambient HIM all relate to the radial density gradient in the clouds: (1) mass flux due to condensation is the higher the more homogeneous the clouds are; (2) mixing of condensed gas with cloud gas is easier in low-mass clouds, because of their shallower radial density gradient; thus (3) accreted gas is distributed more efficiently. A distinct and sub-structured transition zone forms at the interface between cloud and HIM, which starts at smaller radii and is much narrower as deduced from analytical theory.


title: Measurement of transverse beam emittance of split beams for the CERN Proton Synchrotron Multi-Turn Extraction

abstract: Crossing a horizontal nonlinear resonance is the approach that can be used to split a beam in several beamlets with the goal to perform multi-turn extraction from a circular particle accelerator. Such an approach has been successfully implemented in the CERN Proton Synchrotron and is used routinely for the production of high-intensity proton beams for fixed-target physics at the Super Proton Synchrotron. Recently, thanks to the deployment of diamond detectors, originally installed to monitor the beam losses at extraction, it has been possible to measure the horizontal beam emittance of the split beam just prior to extraction. This is the first time that an emittance measurement is attempted for split beams, i.e. in a regime of highly nonlinear beam dynamics. In this paper, the technique is presented and its application to the analysis of the experimental data is presented and discussed in detail. This result is essential for the performance assessment of the splitting process and for the design of further performance improvements.


title: Masked Autoencoders for Egocentric Video Understanding @ Ego4D Challenge 2022

abstract: In this report, we present our approach and empirical results of applying masked autoencoders in two egocentric video understanding tasks, namely, Object State Change Classification and PNR Temporal Localization, of Ego4D Challenge 2022. As team TheSSVL, we ranked 2nd place in both tasks. Our code will be made available.


title: YA-DA: YAng-Based DAta Model for Fine-Grained IIoT Air Quality Monitoring

abstract: With the development of industrialization, air pollution is also steadily on the rise since both industrial and daily activities generate a massive amount of air pollution. Since decreasing air pollution is critical for citizens' health and well-being, air pollution monitoring is becoming an essential topic. Industrial Internet of Things (IIoT) research focuses on this crucial area. Several attempts already exist for air pollution monitoring. However, none of them are improving the performance of IoT data collection at the desired level. Inspired by the genuine Yet Another Next Generation (YANG) data model, we propose a YAng-based DAta model (YA-DA) to improve the performance of IIoT data collection. Moreover, by taking advantage of digital twin (DT) technology, we propose a DT-enabled fine-grained IIoT air quality monitoring system using YA-DA. As a result, DT synchronization becomes fine-grained. In turn, we improve the performance of IIoT data collection resulting in lower round-trip time (RTT), higher DT synchronization, and lower DT latency.


title: Elemental abundances in M31: Individual and Coadded Spectroscopic [Fe/H] and [{\alpha}/Fe] throughout the M31 Halo with SPLASH

abstract: We present spectroscopic chemical abundances of red giant branch (RGB) stars in Andromeda (M31), using medium resolution ($R\sim6000$) spectra obtained via the Spectroscopic and Photometric Landscape of Andromeda's Stellar Halo (SPLASH) survey. In addition to individual chemical abundances, we coadd low signal-to-noise ratio (S/N) spectra of stars to obtain a high enough to measure average [Fe/H] and [$\alpha$/Fe] abundances. We obtain individual and coadded measurements for [Fe/H] and [$\alpha$/Fe] for M31 halo stars, covering a range of 9--180 kpc in projected radius from the center of M31. With these measurements, we greatly increase the number of outer halo ($R_{\mathrm{proj}} > 50$ kpc) M31 stars with spectroscopic [Fe/H] and [$\alpha$/Fe], adding abundance measurements for 45 individual stars and 33 coadds from a pool of an additional 174 stars. We measure the spectroscopic metallicity ([Fe/H]) gradient, finding a negative radial gradient of $-0.0050\pm0.0003$ for all stars in the halo, consistent with gradient measurements obtained using photometric metallicities. Using the first measurements of [$\alpha$/Fe] for M31 halo stars covering a large range of projected radii, we find a positive gradient ($+0.0026\pm0.0004$) in [$\alpha$/Fe] as a function of projected radius. We also explore the distribution in [Fe/H]--[$\alpha$/Fe] space as a function of projected radius for both individual and coadded measurements in the smooth halo, and compare these measurements to those stars potentially associated with substructure. These spectroscopic abundance distributions highlight the substantial evidence that M31 has had an appreciably different formation and merger history compared to our own Galaxy.


title: Holographic Hydrodynamics of {\it Tilted} Dirac Materials

abstract: We present a gravity dual to a quantum material with tilted Dirac cone in 2+1 dimensional spacetime. In this many-body system the electronics degrees of freedom are strongly-coupled, constitute a Dirac fluid and admit an effective hydrodynamic description. The holographic techniques are applied to compute the thermodynamic variables and hydrodynamic transports of a fluid on the boundary of an asymptotically anti de Sitter spacetime with a boosted black hole in the bulk. We find that these materials exhibit deviations from the normal Dirac fluid which rely on the tilt of the Dirac cone. In particular, the shear viscosity to entropy density ratio is reduced and the KSS bound is violated in this system. This prediction can be experimentally verified in two-dimensional quantum materials ({\it e.g.} organic $\alpha$-({BEDT}-{TTF})$_2$I$_3$ and $8Pmmn$ borophene) with tilted Dirac cone.


title: Distance $5$ Curves in the Curve Graph of Closed Surfaces

abstract: Let $S_g$ denote a closed, orientable surface of genus $g \geq 2$ and $\mathcal{C}(S_g)$ be the associated curve graph. Let $d$ be the path metric on $\mathcal{C}(S_g)$ and $a_0$ and $a_4$ be a pair of curves on $S_g$ with $d(a_0, a_4) = 4$. In this article, we fix the vertex $a_0$ and apply the Dehn twist about $a_4$, $T_{a_4}$, to it in an attempt to create pairs of curves at a distance $5$ apart. We give a necessary and sufficient topological condition for $d(a_0, T_{a_4}(a_0))$ to be $4$. We then characterise the pairs of $a_0$ and $a_4$ for which $5 \leq d(a_0, T_{a_4}(a_0)) \leq 6$. Lastly, we give an example of a pair of curves on $S_2$ which represent vertices at a distance $5$ in $\mathcal{C}(S_2)$ with intersection number $144$.


title: On the tautological ring of Humbert curves

abstract: We exhibit a 2-dimensional family of non-hyperelliptic curves of genus 5, called Humbert curves, for which the tautological ring injects into cohomology. In particular, Humbert curves have a multiplicative Chow-K\"unneth decomposition (in the sense of Shen-Vial), and their Ceresa cycle is torsion.


title: Correlation driven near-flat band Stoner excitations in a Kagome magnet

abstract: Among condensed matter systems, Mott insulators exhibit diverse properties that emerge from electronic correlations. In itinerant metals, correlations are usually weak, but can also be enhanced via geometrical confinement of electrons, that manifest as `flat' dispersionless electronic bands. In the fast developing field of topological materials, which includes Dirac and Weyl semimetals, flat bands are one of the important components that can result in unusual magnetic and transport behaviour. To date, characterisation of flat bands and their magnetism is scarce, hindering the design of novel materials. Here, we investigate the ferromagnetic Kagom\'{e} semimetal Co$_3$Sn$_2$S$_2$ using resonant inelastic X-ray scattering. Remarkably, nearly non-dispersive Stoner spin excitation peaks are observed, sharply contrasting with the featureless Stoner continuum expected in conventional ferromagnetic metals. Our band structure and dynamic spin susceptibility calculations, and thermal evolution of the excitations, confirm the nearly non-dispersive Stoner excitations as unique signatures of correlations and spin-polarized electronic flat bands in Co$_3$Sn$_2$S$_2$. These observations serve as a cornerstone for further exploration of band-induced symmetry-breaking orders in topological materials.


title: Multiplication cubes and multiplication automata

abstract: We extend previously known two-dimensional multiplication tiling systems that simulate multiplication by two natural numbers $p$ and $q$ in base $pq$ to higher dimensional multiplication tessellation systems. We develop the theory of these systems and link different multiplication tessellation systems with each other via macrotile operations that glue cubes in one tessellation system into larger cubes of another tessellation system. The macrotile operations yield topological conjugacies and factor maps between cellular automata performing multiplication by positive numbers in various bases.