title: Flow-guided Semi-supervised Video Object Segmentation

abstract: We propose an optical flow-guided approach for semi-supervised video object segmentation. Optical flow is usually exploited as additional guidance information in unsupervised video object segmentation. However, its relevance in semi-supervised video object segmentation has not been fully explored. In this work, we follow an encoder-decoder approach to address the segmentation task. A model to extract the combined information from optical flow and the image is proposed, which is then used as input to the target model and the decoder network. Unlike previous methods where concatenation is used to integrate information from image data and optical flow, a simple yet effective attention mechanism is exploited in our work. Experiments on DAVIS 2017 and YouTube-VOS 2019 show that by integrating the information extracted from optical flow into the original image branch results in a strong performance gain and our method achieves state-of-the-art performance.


title: From Baseline to Top Performer: A Reproducibility Study of Approaches at the TREC 2021 Conversational Assistance Track

abstract: This paper reports on an effort of reproducing the organizers' baseline as well as the top performing participant submission at the 2021 edition of the TREC Conversational Assistance track. TREC systems are commonly regarded as reference points for effectiveness comparison. Yet, the papers accompanying them have less strict requirements than peer-reviewed publications, which can make reproducibility challenging. Our results indicate that key practical information is indeed missing. While the results can be reproduced within a 19% relative margin with respect to the main evaluation measure, the relative difference between the baseline and the top performing approach shrinks from the reported 18% to 5%. Additionally, we report on a new set of experiments aimed at understanding the impact of various pipeline components. We show that end-to-end system performance can indeed benefit from advanced retrieval techniques in either stage of a two-stage retrieval pipeline. We also measure the impact of the dataset used for fine-tuning the query rewriter and find that employing different query rewriting methods in different stages of the retrieval pipeline might be beneficial. Moreover, these results are shown to generalize across the 2020 and 2021 editions of the track. We conclude our study with a list of lessons learned and practical suggestions.


title: Sequential Bayesian Learning for Hidden Semi-Markov Models

abstract: In this paper, we explore the class of the Hidden Semi-Markov Model (HSMM), a flexible extension of the popular Hidden Markov Model (HMM) that allows the underlying stochastic process to be a semi-Markov chain. HSMMs are typically used less frequently than their basic HMM counterpart due to the increased computational challenges when evaluating the likelihood function. Moreover, while both models are sequential in nature, parameter estimation is mainly conducted via batch estimation methods. Thus, a major motivation of this paper is to provide methods to estimate HSMMs (1) in a computationally feasible time, (2) in an exact manner, i.e. only subject to Monte Carlo error, and (3) in a sequential setting. We provide and verify an efficient computational scheme for Bayesian parameter estimation on HSMMs. Additionally, we explore the performance of HSMMs on the VIX time series using Autoregressive (AR) models with hidden semi-Markov states and demonstrate how this algorithm can be used for regime switching, model selection and clustering purposes.


title: An LHCb Vertex Locator (VELO) for 2030s

abstract: The Upgrade II of the LHCb detector, foreseen for 2031, will operate at an instantaneous luminosity of 1.5 x 10$^{34}$ cm$^{-2}$s$^{-1}$, accumulating a sample of more than 300 fb$^{-1}$. To cope with the estimated pile-up of 42 and 200 charged particle tracks per event, precise timing will be added to the tracking and vertexing sub-systems. A new Vertex Locator (VELO), capable to manage the expected 7.5-fold increase in data rate, occupancy, and radiation fluence is needed. Based on a 4D hybrid silicon pixel technology, with enhanced rate and timing capabilities on the ASIC, the new VELO will allow for precise beauty & charm hadron identification and real time pattern recognition. Through detailed simulations, the fluence, inner radius, material budget and pixel size phase space are explored, while constraining the Impact Parameter (IP) resolution to the Upgrade I value. Two distinct scenarios emerge as starting points for further optimizations, with inner radii and end of life fluence of 5.1 mm at 6 x 10$^{16}$ n$_{eq}$/cm$^{2}$ and 12.5 mm at 8 x 10$^{15}$ n$_{eq}$/cm$^{2}$ respectively. Advances and current R&D on sensor technologies, including LGADs, 3Ds and planar pixels are reviewed, focusing on radiation hard designs and defect engineering. ASIC related requirements with respect to sensor capacitance and power budget are taken into consideration for achieving the 30 ps per hit timing target towards the future 28 nm protype submission. Improvements in cooling, mechanics and vacuum implementations are examined with respect to each layout scenario. The use of bi-phasic Krypton cooling is evaluated as an option for the case of above 1.5 W/cm$^{2}$ power dissipation. Replaceable sensor modules, coupled with 3D printed titanium supports are also under consideration. Finally, a comprehensive R&D schedule towards final design optimization within a six-year period is discussed.

categories: physics.ins-det hep-ex physics.acc-ph physics.app-ph


title: Understanding the TeV $\gamma$-ray emission surrounding the young massive star cluster Westerlund 1

abstract: Context: Young massive star clusters (YMCs) have come increasingly into the focus of discussions on the origin of galactic cosmic rays (CRs). The proposition of CR acceleration inside superbubbles (SBs) blown by the strong winds of these clusters avoids issues faced by the standard paradigm of acceleration at supernova remnant shocks. Aims: We provide an interpretation of the latest TeV $\gamma$-ray observations of the region around the YMC Westerlund 1 taken with the High Energy Stereoscopic System (H.E.S.S.) in terms of diffusive shock acceleration at the cluster wind termination shock, taking into account the spectrum and morphology of the emission. As Westerlund 1 is a prototypical example of a YMC, such a study is relevant to the general question about the role of YMCs for the Galactic CR population. Methods: We generate model $\gamma$-ray spectra, characterise particle propagation inside the SB based on the advection, diffusion, and cooling timescales, and constrain key parameters of the system. We consider hadronic emission from proton-proton interaction and subsequent pion decay and leptonic emission from inverse Compton scattering on all relevant photon fields, including the CMB, diffuse and dust-scattered starlight, and the photon field of Westerlund 1 itself. The effect of the magnetic field on cooling and propagation is discussed. Klein-Nishina effects are found to be important in determining the spectral evolution of the electron population. Results: A leptonic origin of the bulk of the observed $\gamma$-rays is preferable. The model is energetically plausible, consistent with the presence of a strong shock, and allows for the observed energy-independent morphology. The hadronic model faces two main issues: confinement of particles to the emission region and an unrealistic energy requirement.


title: E(n)-equivariant Graph Neural Cellular Automata

abstract: Cellular automata (CAs) are computational models exhibiting rich dynamics emerging from the local interaction of cells arranged in a regular lattice. Graph CAs (GCAs) generalise standard CAs by allowing for arbitrary graphs rather than regular lattices, similar to how Graph Neural Networks (GNNs) generalise Convolutional NNs. Recently, Graph Neural CAs (GNCAs) have been proposed as models built on top of standard GNNs that can be trained to approximate the transition rule of any arbitrary GCA. Existing GNCAs are anisotropic in the sense that their transition rules are not equivariant to translation, rotation, and reflection of the nodes' spatial locations. However, it is desirable for instances related by such transformations to be treated identically by the model. By replacing standard graph convolutions with E(n)-equivariant ones, we avoid anisotropy by design and propose a class of isotropic automata that we call E(n)-GNCAs. These models are lightweight, but can nevertheless handle large graphs, capture complex dynamics and exhibit emergent self-organising behaviours. We showcase the broad and successful applicability of E(n)-GNCAs on three different tasks: (i) pattern formation, (ii) graph auto-encoding, and (iii) simulation of E(n)-equivariant dynamical systems.


title: On deviation probabilities in non-parametric regression

abstract: This paper is devoted to the problem of determining the concentration bounds that are achievable in non-parametric regression. We consider the setting where features are supported on a bounded subset of $\mathbb{R}^d$, the regression function is Lipschitz, and the noise is only assumed to have a finite second moment. We first specify the fundamental limits of the problem by establishing a general lower bound on deviation probabilities, and then construct explicit estimators that achieve this bound. These estimators are obtained by applying the median-of-means principle to classical local averaging rules in non-parametric regression, including nearest neighbors and kernel procedures.


title: A Provable Splitting Approach for Symmetric Nonnegative Matrix Factorization

abstract: The symmetric Nonnegative Matrix Factorization (NMF), a special but important class of the general NMF, has found numerous applications in data analysis such as various clustering tasks. Unfortunately, designing fast algorithms for the symmetric NMF is not as easy as for its nonsymmetric counterpart, since the latter admits the splitting property that allows state-of-the-art alternating-type algorithms. To overcome this issue, we first split the decision variable and transform the symmetric NMF to a penalized nonsymmetric one, paving the way for designing efficient alternating-type algorithms. We then show that solving the penalized nonsymmetric reformulation returns a solution to the original symmetric NMF. Moreover, we design a family of alternating-type algorithms and show that they all admit strong convergence guarantee: the generated sequence of iterates is convergent and converges at least sublinearly to a critical point of the original symmetric NMF. Finally, we conduct experiments on both synthetic data and real image clustering to support our theoretical results and demonstrate the performance of the alternating-type algorithms.


title: Banker Online Mirror Descent: A Universal Approach for Delayed Online Bandit Learning

abstract: We propose Banker Online Mirror Descent (Banker-OMD), a novel framework generalizing the classical Online Mirror Descent (OMD) technique in the online learning literature. The Banker-OMD framework almost completely decouples feedback delay handling and the task-specific OMD algorithm design, thus facilitating the design of new algorithms capable of efficiently and robustly handling feedback delays. Specifically, it offers a general methodology for achieving $\widetilde{\mathcal O}(\sqrt{T} + \sqrt{D})$-style regret bounds in online bandit learning tasks with delayed feedback, where $T$ is the number of rounds and $D$ is the total feedback delay. We demonstrate the power of \texttt{Banker-OMD} by applications to two important bandit learning scenarios with delayed feedback, including delayed scale-free adversarial Multi-Armed Bandits (MAB) and delayed adversarial linear bandits. \texttt{Banker-OMD} leads to the first delayed scale-free adversarial MAB algorithm achieving $\widetilde{\mathcal O}(\sqrt{K}L(\sqrt T+\sqrt D))$ regret and the first delayed adversarial linear bandit algorithm achieving $\widetilde{\mathcal O}(\text{poly}(n)(\sqrt{T} + \sqrt{D}))$ regret. As a corollary, the first application also implies $\widetilde{\mathcal O}(\sqrt{KT}L)$ regret for non-delayed scale-free adversarial MABs, which is the first to match the $\Omega(\sqrt{KT}L)$ lower bound up to logarithmic factors and can be of independent interest.


title: Congruences for the difference of even and odd number of parts of the cubic and some analogous partition functions

abstract: Partitions wherein the even parts appear in two different colours are known as cubic partitions. Recently, Merca introduced and studied the function $A(n)$, which is defined as the difference between the number of cubic partitions of $n$ into an even number of parts and the number of cubic partitions of $n$ into an odd number of parts. In particular, using Smoot's \textsf{RaduRK} Mathematica package, Merca proved the following congruences by finding the exact generating functions of the respective functions. For all $n\ge0$, \begin{align*}A(9n+5)\equiv 0\pmod 3,\\ A(27n+26)\equiv 0\pmod 3. \end{align*} By using generating function manipulations and dissections, da Silva and Sellers proved these congruences and two infinite families of congruences modulo 3 arising from these congruences. In this paper, by employing Ramanujan's theta function identities, we present simplified formulas of the generating functions from which proofs of the congruences of Merca as well as those of da Silva and Sellers follow quite naturally. We also study analogous partition functions wherein multiples of $k$ appear in two different colours, where $k\in\{3,5,7,23\}$.


title: SCANTRAP: Protecting Content Management Systems from Vulnerability Scanners with Cyber Deception and Obfuscation

abstract: Every attack begins with gathering information about the target. The entry point for network breaches are often vulnerabilities in internet facing websites, which often rely on an off-the-shelf Content Management System (CMS). Bot networks and human attackers alike rely on automated scanners to gather information about the CMS software installed and potential vulnerabilities. To increase the security of websites using a CMS, it is desirable to make the use of CMS scanners less reliable. The aim of this work is to extend the current knowledge about cyber deception in regard to CMS. To demonstrate this, a WordPress Plugin called 'SCANTRAP' was created, which uses simulation and dissimulation in regards to plugins, themes, versions, and users. We found that the resulting plugin is capable of obfuscating real information and to a certain extent inject false information to the output of one of the most popular WordPress scanners, WPScan, without limiting the legitimate functionality of the WordPress installation.


title: In Which Graph Structures Can We Efficiently Find Temporally Disjoint Paths and Walks?

abstract: A temporal graph has an edge set that may change over discrete time steps, and a temporal path (or walk) must traverse edges that appear at increasing time steps. Accordingly, two temporal paths (or walks) are temporally disjoint if they do not visit any vertex at the same time. The study of the computational complexity of finding temporally disjoint paths or walks in temporal graphs has recently been initiated by Klobas et al. [IJCAI '21]. This problem is motivated by applications in multi-agent path finding (MAPF), which include robotics, warehouse management, aircraft management, and traffic routing. We extend Klobas et al.'s research by providing parameterized hardness results for very restricted cases, with a focus on structural parameters of the so-called underlying graph. On the positive side, we identify sufficiently simple cases where we can solve the problem efficiently. Our results reveal some surprising differences between the "path version" and the "walk version" (where vertices may be visited multiple times) of the problem, and answer several open questions posed by Klobas et al.


title: A systematic comparison between Membrane, Shell, and 3D Solid formulations for non-linear vascular biomechanics

abstract: Typical computational techniques for vascular biomechanics represent the blood vessel wall via either a membrane, a shell, or a 3D solid element. Each of these formulations has its trade offs concerning accuracy, ease of implementation, and computational costs. Despite the widespread use of these formulations, a systematic comparison on the performance and accuracy of these formulations for nonlinear vascular biomechanics is lacking. Therefore, the decision regarding the optimal choice often relies on intuition or previous experience, with unclear consequences of choosing one approach over the other. Here, we present a systematic comparison among three different formulations to represent vessel wall: (i) a nonlinear membrane model, (ii) a nonlinear, rotation-free shell model, and (iii) a nonlinear 3D solid model. For the 3D solid model, we consider two different implementations employing linear and quadratic interpolation. We present comparison results in both idealized and subject-specific mouse geometries. For the idealized cylindrical geometry, we compare our results against the axisymmetric solution for three different wall thickness to radius ratio. Subsequently, a comparison of these approaches is presented in an idealized bifurcation model for regionally varying wall thickness. Lastly, we present the comparison results for a subject-specific mouse geometry with regionally varying material properties and wall thickness, while incorporating the effect of external tissue surrounding the vessel wall.


title: Asymptotically uniform functions: a single hypothesis which solves two old problems

abstract: The asymptotic study of a time-dependent function $f$ as the solution of a differential equation often leads to the question of whether its derivative $\dot f$ vanishes at infinity. We show that a necessary and sufficient condition for this is that $\dot f$ is what may be called "asymptotically uniform". We generalize the result to higher order derivatives. We further show that the same property for $f$ itself is also necessary and sufficient for its one-sided improper integrals to exist. On the way, the article provides a broad study of such asymptotically uniform functions.


title: Nonequilibrium Seebeck effect and thermoelectric efficiency of Kondo-correlated molecular junctions

abstract: We theoretically study the nonequilibrium thermoelectric transport properties of a strongly-correlated molecule (or quantum dot) embedded in a tunnel junction. Assuming that the coupling of the molecule to the contacts is asymmetric, we determine the nonlinear current driven by the voltage and temperature gradients by using the perturbation theory. However, the subsystem consisting of the molecule strongly coupled to one of the contacts is solved by using the numerical renormalization group method, which allows for accurate description of Kondo correlations. We study the temperature gradient and voltage dependence of the nonlinear and differential Seebeck coefficients for various initial configurations of the system. In particular, we show that in the Coulomb blockade regime with singly occupied molecule, both thermopowers exhibit sign changes due to the Kondo correlations at nonequilibrium conditions. Moreover, we determine the nonlinear heat current and thermoelectric efficiency, demonstrating that the system can work as a heat engine with considerable efficiency, depending on the transport regime.


title: AI Tool for Exploring How Economic Activities Impact Local Ecosystems

abstract: We present an AI-based ecosystem simulator that uses three-dimensional models of the terrain and animal models controlled by deep reinforcement learning. The simulations take place in a game engine environment, which enables continuous visual observation of the ecosystem model. The terrain models are generated from geographic data with altitudes and land cover type. The animal models combine three-dimensional conformation models with animation schemes and decision-making mechanisms trained with deep reinforcement learning in increasingly complex environments (curriculum learning). We show how AI tools of this kind can be used for modeling the development of specific ecosystems with and without different forms of economic activities. In particular, we show how they might be used for modeling local biodiversity effects of land cover change, exploitation of natural resources, pollution, invasive species, and climate change.


title: Bright continuously-tunable VUV source for ultrafast spectroscopy

abstract: Ultrafast electron dynamics drive phenomena such as photochemical reactions, catalysis, and light harvesting. To capture such dynamics in real-time, femtosecond to attosecond light sources are extensively used. However, an exact match between the excitation photon energy and a characteristic resonance is crucial. High-harmonic generation sources are exceptional in terms of pulse duration but limited in spectral tunability in the VUV range. Here, we present a monochromatic femtosecond source continuously tunable around 21 eV photon energy utilizing the second harmonic of an OPCPA laser system to drive high-harmonic generation. The unique tunability of the source is verified in an experiment probing the interatomic Coulombic decay in doped He nanodroplets across the He absorption bands. Moreover, we achieved intensities sufficient for driving non-linear processes using a tight focusing of the VUV beam. We demonstrated it on the observation of collective autoionization of multiply excited pure He nanodroplets.


title: On the modularity of elliptic curves over imaginary quadratic fields

abstract: In this paper, we establish the modularity of every elliptic curve $E/F$, where $F$ runs over infinitely many imaginary quadratic fields, including $\mathbb{Q}(\sqrt{-d})$ for $d=1,2,3,5$. More precisely, let $F$ be imaginary quadratic and assume that the modular curve $X_0(15)$, which is an elliptic curve of rank $0$ over $\mathbb{Q}$, also has rank $0$ over $F$. Then we prove that all elliptic curves over $F$ are modular. More generally, when $F/\mathbb{Q}$ is an imaginary CM field that does not contain a primitive fifth root of unity, we prove the modularity of elliptic curves $E/F$ under a technical assumption on the image of the representation of $\mathrm{Gal}(\overline{F}/F)$ on $E[3]$ or $E[5]$. The key new technical ingredient we use is a local-global compatibility theorem for the $p$-adic Galois representations associated to torsion in the cohomology of the relevant locally symmetric spaces. We establish this result in the crystalline case, under some technical assumptions, but allowing arbitrary dimension, arbitrarily large regular Hodge--Tate weights, and allowing $p$ to be small and highly ramified in the imaginary CM field $F$.


title: Randomized Benchmarking using Non-Destructive Readout in a 2D Atom Array

abstract: Neutral atoms are a promising platform for scalable quantum computing, however prior demonstration of high fidelity gates or low-loss readout methods have employed restricted numbers of qubits. Using randomized benchmarking of microwave-driven single-qubit gates, we demonstrate average gate errors of $7(2)\times10^{-5}$ on a 225 site atom array using conventional, destructive readout. We further demonstrate a factor of 1.7 suppression of the primary measurement errors via low-loss, non-destructive and state-selective readout on 49 sites whilst achieving gate errors of $2(9)\times10^{-4}$.


title: On the Well-Posedness of a Fractional Stokes-Transport System

abstract: The purpose of this paper is to study the existence, uniqueness and lifespan of solutions for a fractional Stokes-Transport system. This problem should be understood as a model for sedimentation in a fluid where the viscosity law is given by a fractional Lapalce operator $(- \Delta)^{\alpha/2}$, with $\alpha = 2$ corresponding to the case of a normal viscous fluid, and $\alpha = 0$ reducing the problem to the Inviscid Incompressible Porous Media equation. For each value of $\alpha \in [0, d]$, we prove various results related to well-posedness in critical function spaces, such as the existence of global weak solutions (for $\alpha > 0$), local existence and uniqueness (for $\alpha \geq 0$), global existence and uniqueness (for $\alpha \geq 1$), as well as study the lifespan of local solutions (for $0 \leq \alpha < 1$). In particular, we show that gravity stratification leads to a directional blow-up criterion for local solutions (for $\alpha \in [0, 1[$) and find a lower bound for the lifespan of solutions which depends on the value of the dissipation parameter $\alpha \in [0, 1[$.


title: Stark localization as a resource for weak-field sensing with super-Heisenberg precision

abstract: Gradient fields can effectively suppress particle tunneling in a lattice and localize the wave function at all energy scales, a phenomenon known as Stark localization. Here, we show that Stark systems can be used as a probe for the precise measurement of gradient fields, particularly in the weak-field regime where most sensors do not operate optimally. In the extended phase, Stark probes achieve super-Heisenberg precision, which is well beyond most of the known quantum sensing schemes. In the localized phase, the precision drops in a universal way showing fast convergence to the thermodynamic limit. For single-particle probes, we show that quantum-enhanced sensitivity, with super-Heisenberg precision, can be achieved through a simple position measurement for all the eigenstates across the entire spectrum. For such probes, we have identified several critical exponents of the Stark localization transition and established their relationship. Thermal fluctuations, whose universal behavior is identified, reduce the precision from super-Heisenberg to Heisenberg, still outperforming classical sensors. Multiparticle interacting probes also achieve super-Heisenberg scaling in their extended phase, which shows even further enhancement near the transition point. Quantum-enhanced sensitivity is still achievable even when state preparation time is included in resource analysis.


title: Stick-slip Dynamics in the Forced Wetting of Polymer Brushes

abstract: We study the static and dynamic wetting of adaptive substrates using a mesoscopic hydrodynamic model for a liquid droplet on a solid substrate covered by a polymer brush. First, we show that on the macroscale Young's law still holds for the equilibrium contact angle and that on the mesoscale a Neumann-type law governs the shape of the wetting ridge. Following an analytic and numeric assessment of the static profiles of droplet and wetting ridge, we examine the dynamics of the wetting ridge for a liquid meniscus that is advanced at constant speed. In other words, we consider an inverse Landau-Levich case where a brush-covered plate is introduced into (and not drawn from) a liquid bath. We find a characteristic stick-slip motion that emerges when the dynamic contact angle of the stationary moving meniscus decreases with increasing velocity, and relate the onset of slip to Gibbs' inequality and to a cross-over in relevant time scales.


title: Ordered Exponential and Its Features in Yang-Mills Effective Action

abstract: In this paper we discuss some non-trivial relations for ordered exponentials on smooth Riemannian manifolds. As an example of application, we study a dependence of the four-dimensional quantum Yang-Mills effective action on the background filed and gauge transformations. Also, we formulate some open questions about a structure of divergences.


title: Early stages of Galilean moon formation in a water-depleted environment

abstract: A key feature of the Galilean satellite system is its monotonic decrease in bulk density with distance from Jupiter, indicating an ice mass fraction that is zero in the innermost moon Io, and about half in the outer moons Ganymede and Callisto. Jupiter formation models, and perhaps the Juno spacecraft water measurements, are consistent with the possibility that the Jovian system may have formed, at least partly, from ice-poor material. And yet, models of the formation of the Galilean satellites usually assume abundant water ice in the system. Here, we investigate the possibility that the Jovian circumplanetary disk was populated with ice-depleted chondritic minerals, including phyllosilicates. We show that the dehydration of such particles and the outward diffusion of the released water vapor allow condensation of significant amounts of ice in the formation region of Ganymede and Callisto in the Jovian circumplanetary disk. Our model predicts that Europa, Ganymede and Callisto should have accreted little if any volatiles other than water ice, in contrast to the comet-like composition of Saturn's moon Enceladus. This mechanism allows for the presence of ice-rich moons in water-depleted formation environments around exoplanets as well.


title: What are the Machine Learning best practices reported by practitioners on Stack Exchange?

abstract: Machine Learning (ML) is being used in multiple disciplines due to its powerful capability to infer relationships within data. In particular, Software Engineering (SE) is one of those disciplines in which ML has been used for multiple tasks, like software categorization, bugs prediction, and testing. In addition to the multiple ML applications, some studies have been conducted to detect and understand possible pitfalls and issues when using ML. However, to the best of our knowledge, only a few studies have focused on presenting ML best practices or guidelines for the application of ML in different domains. In addition, the practices and literature presented in previous literature (i) are domain-specific (e.g., concrete practices in biomechanics), (ii) describe few practices, or (iii) the practices lack rigorous validation and are presented in gray literature. In this paper, we present a study listing 127 ML best practices systematically mining 242 posts of 14 different Stack Exchange (STE) websites and validated by four independent ML experts. The list of practices is presented in a set of categories related to different stages of the implementation process of an ML-enabled system; for each practice, we include explanations and examples. In all the practices, the provided examples focus on SE tasks. We expect this list of practices could help practitioners to understand better the practices and use ML in a more informed way, in particular newcomers to this new area that sits at the intersection of software engineering and machine learning.


title: Multi-Tenant Optimization For Few-Shot Task-Oriented FAQ Retrieval

abstract: Business-specific Frequently Asked Questions (FAQ) retrieval in task-oriented dialog systems poses unique challenges vis-\`a-vis community based FAQs. Each FAQ question represents an intent which is usually an umbrella term for many related user queries. We evaluate performance for such Business FAQs both with standard FAQ retrieval techniques using query-Question (q-Q) similarity and few-shot intent detection techniques. Implementing a real world solution for FAQ retrieval in order to support multiple tenants (FAQ sets) entails optimizing speed, accuracy and cost. We propose a novel approach to scale multi-tenant FAQ applications in real-world context by contrastive fine-tuning of the last layer in sentence Bi-Encoders along with tenant-specific weight switching.


title: A Deep Gaussian Process Model for Seismicity Background Rates

abstract: The spatio-temporal properties of seismicity give us incisive insight into the stress state evolution and fault structures of the crust. Empirical models based on self-exciting point-processes continue to provide an important tool for analyzing seismicity, given the epistemic uncertainty associated with physical models. In particular, the epidemic-type aftershock sequence (ETAS) model acts as a reference model for studying seismicity catalogs. The traditional ETAS model uses simple parametric definitions for the background rate of triggering-independent seismicity. This reduces the effectiveness of the basic ETAS model in modelling the temporally complex seismicity patterns seen in seismic swarms that are dominated by aseismic tectonic processes such as fluid injection rather than aftershock triggering. In order to robustly capture time-varying seismicity rates, we introduce a deep Gaussian process formulation for the background rate as an extension to ETAS. Gaussian processes (GPs) are a robust non-parametric model for function spaces with covariance structure. By conditioning the lengthscale structure of a GP with another GP, we have a deep-GP: a probabilistic, hierarchical model that automatically tunes its structure to match data constraints. We show how the deep-GP-ETAS model can be efficiently sampled by making use of a Metropolis-within-Gibbs scheme, taking advantage of the branching process formulation of ETAS and a stochastic partial differential equation (SPDE) approximation for Mat\'ern GPs. We illustrate our method using synthetic examples, and show that the deep-GP-ETAS model successfully captures multiscale temporal behavior in the background forcing rate of seismicity. We then apply the results to two real-data catalogues: the Ridgecrest, CA July 5 2019 Mw 7.1 event catalogue and the 2016--2019 Cahuilla, CA earthquake swarm.


title: Lecture Notes on Monadic First- and Second-Order Logic on Strings

abstract: These notes present the essentials of first- and second-order monadic logics on strings with introductory purposes. We discuss Monadic First-Order logic and show that it is strictly less expressive than Finite-State Automata, in that it only captures a strict subset of Regular Languages -- the non-counting ones. We then introduce Monadic Second-Order logic; such a logic is, syntactically, a superset of Monadic First-Order logic and captures Regular Languages exactly. We also show how to transform an automaton into a corresponding formula and vice versa. Finally, we discuss the use of logical characterizations of classes of languages as the basis for automatic verification techniques.


title: Ultra-NeRF: Neural Radiance Fields for Ultrasound Imaging

abstract: We present a physics-enhanced implicit neural representation (INR) for ultrasound (US) imaging that learns tissue properties from overlapping US sweeps. Our proposed method leverages a ray-tracing-based neural rendering for novel view US synthesis. Recent publications demonstrated that INR models could encode a representation of a three-dimensional scene from a set of two-dimensional US frames. However, these models fail to consider the view-dependent changes in appearance and geometry intrinsic to US imaging. In our work, we discuss direction-dependent changes in the scene and show that a physics-inspired rendering improves the fidelity of US image synthesis. In particular, we demonstrate experimentally that our proposed method generates geometrically accurate B-mode images for regions with ambiguous representation owing to view-dependent differences of the US images. We conduct our experiments using simulated B-mode US sweeps of the liver and acquired US sweeps of a spine phantom tracked with a robotic arm. The experiments corroborate that our method generates US frames that enable consistent volume compounding from previously unseen views. To the best of our knowledge, the presented work is the first to address view-dependent US image synthesis using INR.


title: ExaRanker: Explanation-Augmented Neural Ranker

abstract: Recent work has shown that inducing a large language model (LLM) to generate explanations prior to outputting an answer is an effective strategy to improve performance on a wide range of reasoning tasks. In this work, we show that neural rankers also benefit from explanations. We use LLMs such as GPT-3.5 to augment retrieval datasets with explanations and train a sequence-to-sequence ranking model to output a relevance label and an explanation for a given query-document pair. Our model, dubbed ExaRanker, finetuned on a few thousand examples with synthetic explanations performs on par with models finetuned on 3x more examples without explanations. Furthermore, the ExaRanker model incurs no additional computational cost during ranking and allows explanations to be requested on demand.


title: Robot Subset Selection for Swarm Lifetime Maximization in Computation Offloading with Correlated Data Sources

abstract: Consider robot swarm wireless networks where mobile robots offload their computing tasks to a computing server located at the mobile edge. Our aim is to maximize the swarm lifetime through efficient exploitation of the correlation between distributed data sources. The optimization problem is handled by selecting appropriate robot subsets to send their sensed data to the server. In this work, the data correlation between distributed robot subsets is modelled as an undirected graph. A least-degree iterative partitioning (LDIP) algorithm is proposed to partition the graph into a set of subgraphs. Each subgraph has at least one vertex (i.e., subset), termed representative vertex (R-Vertex), which shares edges with and only with all other vertices within the subgraph; only R-Vertices are selected for data transmissions. When the number of subgraphs is maximized, the proposed subset selection approach is shown to be optimum in the AWGN channel. For independent fading channels, the max-min principle can be incorporated into the proposed approach to achieve the best performance.


title: A Novel IoT-Based System for Ten Pin Bowling

abstract: Bowling is a target sport that is popular among all age groups with professionals and amateur players. Delivering an accurate and consistent bowling throw into the lane requires the incorporation of motion techniques. Consequently, this research presents a novel IoT-Cloud based system for providing real-time monitoring and coaching services to bowling athletes. The system includes two inertial measurement units (IMUs) sensors for capturing motion data, a mobile application and a cloud server for processing the data. First, the quality of each phase of a throw is assessed using a Dynamic Time Wrapping (DTW) based algorithm. Second, an on device-level technique is proposed to identify common bowling errors. Finally, an SVM classification model is employed for assessing the skill level of bowler athletes. We recruited nine right-handed bowlers to perform 50 throws wearing the two sensors and using the proposed system. The results of our experiments suggest that the proposed system can effectively and efficiently assess the quality of the throw, detect common bowling errors and classify the skill level of the bowler.


title: Stability of Bogoliubov Fermi Surfaces within BCS Theory

abstract: It has recently been realized that the gap nodes of multiband superconductors that break time-reversal symmetry generically take the form of Fermi surfaces of Bogoliubov quasiparticles. However, these Fermi surfaces lead to a nonzero density of states (DOS) at the Fermi energy, which typically disfavors such superconducting states. It has thus not been clear whether they can be stable for reasonable pairing interactions or are in practice preempted by time-reversal-symmetric states with vanishing DOS. In this Letter, we show within BCS theory applied to a paradigmatic model that the time-reversal-symmetry-breaking states are indeed stabilized over broad parameter ranges at weak coupling. Moreover, we introduce a fast method that involves solving the inverse BCS gap equation, does not require iteration, does not suffer from convergence problems, and can handle metastable solutions.


title: Symplectomorphisms and spherical objects in the conifold smoothing

abstract: Let $X$ denote the `conifold smoothing', the symplectic Weinstein manifold which is the complement of a smooth conic in $T^*S^3$, or equivalently the plumbing of two copies of $T^*S^3$ along a Hopf link. Let $Y$ denote the `conifold resolution', by which we mean the complement of a smooth divisor in $\mathcal{O}(-1) \oplus \mathcal{O}(-1) \to \mathbb{P}^1$. We prove that the compactly supported symplectic mapping class group of $X$ splits off a copy of an infinite rank free group, in particular is infinitely generated; and we classify spherical objects in the bounded derived category $D(Y)$ (the three-dimensional `affine $A_1$-case'). Our results build on work of Chan-Pomerleano-Ueda and Toda, and both theorems make essential use of working on the `other side' of the mirror.


title: Fundamental Limits of Intelligent Reflecting Surface Aided Multiuser Broadcast Channel

abstract: Intelligent reflecting surface (IRS) has recently received significant attention in wireless networks owing to its ability to smartly control the wireless propagation through passive reflection. Although prior works have employed the IRS to enhance the system performance under various setups, the fundamental capacity limits of an IRS aided multi-antenna multi-user system have not yet been characterized. Motivated by this, we investigate an IRS aided multiple-input single-output (MISO) broadcast channel by considering the capacity-achieving dirty paper coding (DPC) scheme and dynamic beamforming configurations. We first propose a bisection based framework to characterize its capacity region by optimally solving the sum-rate maximization problem under a set of rate constraints, which is also applicable to characterize the achievable rate region with the zero-forcing (ZF) scheme. Interestingly, it is rigorously proved that dynamic beamforming is able to enlarge the achievable rate region of ZF if the IRS phase-shifts cannot achieve fully orthogonal channels, whereas the attained gains become marginal due to the reduction of the channel correlations induced by smartly adjusting the IRS phase-shifts. The result implies that employing the IRS is able to reduce the demand for implementing dynamic beamforming. Finally, we analytically prove that the sum-rate achieved by the IRS aided ZF is capable of approaching that of the IRS aided DPC with a sufficiently large IRS in practice. Simulation results shed light on the impact of the IRS on transceiver designs and validate our theoretical findings, which provide useful guidelines to practical systems by indicating that replacing sophisticated schemes with easy-implementation schemes would only result in slight performance loss.


title: Cross-lingual Argument Mining in the Medical Domain

abstract: Nowadays the medical domain is receiving more and more attention in applications involving Artificial Intelligence as clinicians decision-making is increasingly dependent on dealing with enormous amounts of unstructured textual data. In this context, Argument Mining (AM) helps to meaningfully structure textual data by identifying the argumentative components in the text and classifying the relations between them. However, as it is the case for man tasks in Natural Language Processing in general and in medical text processing in particular, the large majority of the work on computational argumentation has been focusing only on the English language. In this paper, we investigate several strategies to perform AM in medical texts for a language such as Spanish, for which no annotated data is available. Our work shows that automatically translating and projecting annotations (data-transfer) from English to a given target language is an effective way to generate annotated data without costly manual intervention. Furthermore, and contrary to conclusions from previous work for other sequence labelling tasks, our experiments demonstrate that data-transfer outperforms methods based on the crosslingual transfer capabilities of multilingual pre-trained language models (model-transfer). Finally, we show how the automatically generated data in Spanish can also be used to improve results in the original English monolingual setting, providing thus a fully automatic data augmentation strategy.


title: An Incremental Inverse Reinforcement Learning Approach for Motion Planning with Separated Path and Velocity Preferences

abstract: Humans often demonstrate diverse behaviors due to their personal preferences, for instance, related to their individual execution style or personal margin for safety. In this paper, we consider the problem of integrating both path and velocity preferences into trajectory planning for robotic manipulators. We first learn reward functions that represent the user path and velocity preferences from kinesthetic demonstration. We then optimize the trajectory in two steps: first the path and then the velocity, to produce trajectories that adhere to both task requirements and user preferences. We design a set of parameterized features that capture the fundamental preferences in a pick-and-place type of object-transportation task, both in shape and timing of the motion. We demonstrate that our method is capable of generalizing such preferences to new scenarios. We implement our algorithm on a Franka Emika 7-DoF robot arm, and validate the functionality and flexibility of our approach in a user study. The results show that non-expert users are able to teach the robot their preferences with just a few iterations of feedback.


title: Smooth Subsum Search: A heuristic for practical integer factorization

abstract: The two currently fastest general-purpose integer factorization algorithms are the Quadratic Sieve and the Number Field Sieve. Both techniques are used to find so-called smooth values of certain polynomials, i.e., values that factor completely over a set of small primes (the factor base). As the names of the methods suggest, a sieving procedure is used for the task of quickly identifying smooth values among the candidates in a certain range. While the Number Field Sieve is asymptotically faster, the Quadratic Sieve is still considered the most efficient factorization technique for numbers up to around 100 digits. In this paper, we challenge the Quadratic Sieve by presenting a novel approach based on representing smoothness candidates as sums that are always divisible by several of the primes in the factor base. The resulting values are generally smaller than those considered in the Quadratic Sieve, increasing the likelihood of them being smooth. Using the fastest implementations of the Self-initializing Quadratic Sieve in Python as benchmarks, a Python implementation of our approach runs consistently 5 to 7 times faster for numbers with 45-100 digits, and around 10 times faster for numbers with 30-40 digits. We discuss several avenues for further improvements and applications of the technique.


title: CFD simulation for Hydraulic Short-Circuit feasibility analysis

abstract: Hydraulic Short Circuit (HSC) application allows the simultaneous pumping and generating operations on different units of the same pumped hydro energy storage (PHES) plants for the extension of the power consumption range. This article proposes a methodology based on time-history statistics and CFD numerical simulations to investigate the feasibility of integrating such a kind of operation in pre-existing hydropower plants. The evaluation of the potential power output and pressure drop analysis in the new HSC operation are presented. The penstock trifurcation of a selected PHES plant is also analysed by CFD simulations, by evaluating the loss-head coefficients and comparing the flow conditions in different PHES operations.


title: 3D Tooth Mesh Segmentation with Simplified Mesh Cell Representation

abstract: Manual tooth segmentation of 3D tooth meshes is tedious and there is variations among dentists. %Manual tooth annotation of 3D tooth meshes is a tedious task. Several deep learning based methods have been proposed to perform automatic tooth mesh segmentation. Many of the proposed tooth mesh segmentation algorithms summarize the mesh cell as - the cell center or barycenter, the normal at barycenter, the cell vertices and the normals at the cell vertices. Summarizing of the mesh cell/triangle in this manner imposes an implicit structural constraint and makes it difficult to work with multiple resolutions which is done in many point cloud based deep learning algorithms. We propose a novel segmentation method which utilizes only the barycenter and the normal at the barycenter information of the mesh cell and yet achieves competitive performance. We are the first to demonstrate that it is possible to relax the implicit structural constraint and yet achieve superior segmentation performance


title: A de Broglie-Bohm Model of Pure Shape Dynamics: $N$-body system

abstract: We provide the construction of a de Broglie-Bohm model of the $N$-body system within the framework of Pure Shape Dynamics. The equation of state of the curve in shape space is worked out, with the instantaneous shape being guided by a wave function. In order to get a better understanding of the dynamical system, we also give some numerical analysis of the 3-body case. Remarkably enough, our simulations typically show the attractor-driven behaviour of complexity, well known in the classical case, thereby providing further evidence for the claim that the arrow of complexity is the ultimate cause of the experienced arrow of time.


title: Capturing the lowest luminosity state of the Supergiant Fast X-ray Transient XTE J1739-302

abstract: We report here on the results of the analysis of Chandra, XMM-Newton and NuSTAR recent observations of the Supergiant Fast X-ray Transient XTEJ1739-302. The source was caught in a low X-ray luminosity state, from a few $10^{31}$ to $10^{34}$ erg/s (0.5-10 keV). In particular, a very low X-ray luminosity was captured during an XMM-Newton observation performed in October 2022, at a few $10^{31}$ erg/s (0.5-10 keV), never observed before in XTEJ1739-302. The XMM-Newton spectrum could be well fitted either by an absorbed, steep power law model (photon index of 3.5) or by a collisionally-ionized diffuse gas with a temperature of 0.7 keV, very likely produced by shocks in the supergiant donor wind. These observations covered different orbital phases, but all appear compatible with the low luminosity level expected from the orbital INTEGRAL light curve. The absorbing column density is variable in the range $10^{22}-10^{23}$ cm$^{-2}$. A broad-band X-ray spectrum could be investigated at $10^{34}$ erg/s (0.5-30 keV) for the first time in XTEJ1739-302 with not simultaneous (but at similar orbital phases) Chandra and NuSTAR data, showing a power law spectral shape with a photon index of about 2.2 and an absorbing column density of $\sim$$10^{23}$ cm$^{-2}$. Remarkably, owing to the XMM-Newton observation, the amplitude of the X-ray variability has increased to five orders of magnitude, making XTEJ1739-302 one of the most extreme SFXTs.


title: The Bogomolov multiplier of groups of order $p^7$ and exponent $p$

abstract: In this paper, the Bogomolov multiplier of $p$-groups of order $p^7$ ($p>2$) and exponent $p$ is given.


title: Gate-controlled Magnetotransport and Electrostatic Modulation of Magnetism in 2D magnetic semiconductor CrPS$_4$

abstract: Using field-effect transistors (FETs) to explore atomically thin magnetic semiconductors with transport measurements is difficult, because the very narrow bands of most 2D magnetic semiconductors cause carrier localization, preventing transistor operation. Here, we show that exfoliated layers of CrPS$_4$ -- a 2D layered antiferromagnetic semiconductor whose bandwidth approaches 1 eV -- allow the realization of FETs that operate properly down to cryogenic temperature. Using these devices, we perform conductance measurements as a function of temperature and magnetic field, to determine the full magnetic phase diagram, which includes a spin-flop and a spin-flip phase. We find that the magnetoconductance depends strongly on gate voltage, reaching values as high as 5000 % near the threshold for electron conduction. The gate voltage also allows the magnetic states to be tuned, despite the relatively large thickness of the CrPS$_4$ multilayers employed in our study. Our results show the need to employ 2D magnetic semiconductors with sufficiently large bandwidth to realize properly functioning transistors, and identify a candidate material to realize a fully gate-tunable half-metallic conductor.


title: Understanding and Improving Deep Graph Neural Networks: A Probabilistic Graphical Model Perspective

abstract: Recently, graph-based models designed for downstream tasks have significantly advanced research on graph neural networks (GNNs). GNN baselines based on neural message-passing mechanisms such as GCN and GAT perform worse as the network deepens. Therefore, numerous GNN variants have been proposed to tackle this performance degradation problem, including many deep GNNs. However, a unified framework is still lacking to connect these existing models and interpret their effectiveness at a high level. In this work, we focus on deep GNNs and propose a novel view for understanding them. We establish a theoretical framework via inference on a probabilistic graphical model. Given the fixed point equation (FPE) derived from the variational inference on the Markov random fields, the deep GNNs, including JKNet, GCNII, DGCN, and the classical GNNs, such as GCN, GAT, and APPNP, can be regarded as different approximations of the FPE. Moreover, given this framework, more accurate approximations of FPE are brought, guiding us to design a more powerful GNN: coupling graph neural network (CoGNet). Extensive experiments are carried out on citation networks and natural language processing downstream tasks. The results demonstrate that the CoGNet outperforms the SOTA models.


title: Finite dimensional algebras not arising as blocks of group algebras

abstract: We develop new techniques to classify basic algebras of blocks of finite groups over algebraically closed fields of prime characteristic. We apply these techniques to simplify and extend previous classifications by Linckelmann, Murphy and Sambale. In particular, we fully classify blocks with 16-dimensional basic algebra.


title: Comfort-oriented driving: performance comparison between human drivers and motion planners

abstract: Motion planning is a fundamental component in automated vehicles. It influences the comfort and time efficiency of the ride. Despite a vast collection of studies working towards improving motion comfort in self-driving cars, little attention has been paid to the performance of human drivers as a baseline. In this paper, we present an experimental study conducted on a public road using an instrumented vehicle to investigate how human drivers balance comfort and time efficiency. The human driving data is compared with two optimization-based motion planners that we developed in the past. In situations when there is no difference in travel times, human drivers incurred an average of 23.5% more energy in the longitudinal and lateral acceleration signals than the motion planner that minimizes accelerations. In terms of frequency-weighted acceleration energy, an indicator correlated with the incidence of motion sickness, the average performance deficiency rises to 70.2%. Frequency-domain analysis reveals that human drivers exhibit more longitudinal oscillations in the frequency range of 0.2-1 Hz and more lateral oscillations in the frequency range of up to 0.2 Hz. This is reflected in time-domain data features such as less smooth speed profiles and higher velocities for long turns. The performance difference also partly results from several practical matters and additional factors considered by human drivers when planning and controlling vehicle motion. The driving data collected in this study provides a performance baseline for motion planning algorithms to compare with and can be further exploited to deepen the understanding of human drivers.


title: Convergence of M{\o}ller-Plesset perturbation theory for excited reference states

abstract: Excited states in molecules can be difficult to investigate and generally require methods that are either computationally expensive or are not universally accurate. Recent research has focused on using higher-energy Slater determinants as mean-field representations of excited states, which can then be used to define reference states for electron correlation techniques such as M{\o}ller-Plesset theory. However, the convergence behaviour of these excited-state perturbation series has not yet been explored, limiting our understanding into the systematic improvability and reliability of such methods. Here, we present a systematic analysis of the M{\o}ller-Plesset perturbation series for closed-shell excited states using higher-energy reference determinants identified with, and without, state-specific orbital optimisation. We combine numerical calculations with complex analysis to show that the excited-state M{\o}ller-Plesset theory diverges almost universally for the stereotypical $\mathrm{H}_2$, $\mathrm{H}_2\mathrm{O}$, and $\mathrm{CH}_2$ molecules. Our results cast doubt on the suitability of higher-energy Slater determinants as reference states for perturbative treatments of electron correlation.


title: Modelling Long Range Dependencies in $N$D: From Task-Specific to a General Purpose CNN

abstract: Performant Convolutional Neural Network (CNN) architectures must be tailored to specific tasks in order to consider the length, resolution, and dimensionality of the input data. In this work, we tackle the need for problem-specific CNN architectures. We present the Continuous Convolutional Neural Network (CCNN): a single CNN able to process data of arbitrary resolution, dimensionality and length without any structural changes. Its key component are its continuous convolutional kernels which model long-range dependencies at every layer, and thus remove the need of current CNN architectures for task-dependent downsampling and depths. We showcase the generality of our method by using the same architecture for tasks on sequential ($1{\rm D}$), visual ($2{\rm D}$) and point-cloud ($3{\rm D}$) data. Our CCNN matches and often outperforms the current state-of-the-art across all tasks considered.


title: Educational Game on Cryptocurrency Investment: Using Microeconomic Decision Making to Understand Macroeconomics Principles

abstract: Gamification is an effective strategy for motivating and engaging users, which is grounded in business, marketing, and management by designing games in nongame contexts. Gamifying education, which consists of the design and study of educational games, is an emerging trend. However, the existing classroom games for understanding macroeconomics have weak connections to the microfoundations of individual decision-making. We design an educational game on cryptocurrency investment for understanding macroeconomic concepts in microeconomic decisions. We contribute to the literature by designing game-based learning that engages students in understanding macroeconomics in incentivized individual investment decisions. Our game can be widely implemented in online, in-person, and hybrid classrooms. We also reflect on strategies for improving the user experience for future educational game implementations.

categories: econ.GN cs.CR q-fin.CP q-fin.EC q-fin.GN


title: A new puzzle in non-leptonic B decays

abstract: We build a set of new observables using closely related non-leptonic penguin-mediated $B_d$ and $B_s$ decays: ${\bar B}_{d,s}\to K^{*0}\bar{K}^{*0}$, ${\bar B}_{d,s}\to K^{0}\bar{K}^{0}$, ${\bar B}_{d,s}\to K^{0}\bar{K}^{*0}$ and ${\bar B}_{d,s}\to\bar{K}^{0}{K^{*0}}$ together with their CP conjugate partners. These optimised observables are designed to reduce hadronic uncertainties, mainly coming from form factors and power-suppressed infrared divergences, and thus maximize their sensitivity to New Physics (NP). The deviations observed with respect to the SM in the ratios of branching ratios of ${\bar B}_{d,s}\to K^{*0}\bar{K}^{*0}$ ($2.6\sigma$) and ${\bar B}_{d,s}\to K^{0}\bar{K}^{0}$ ($2.4\sigma$) can be explained by simple NP scenarios involving the Wilson coefficients ${\cal C}_4$ and ${\cal C}_6$ (QCD penguin operators) and the coefficient ${\cal C}_{8g}$ (chromomagnetic operator). The optimised observables for ${\bar B}_{d,s}\to K^{0}\bar{K}^{*0}$ and ${\bar B}_{d,s}\to\bar{K}^{0}{K^{*0}}$ show distinctive patterns of deviations with respect to their SM predictions under these NP scenarios. The pattern of deviations of individual branching ratios, though affected by significant hadronic uncertainties, suggests that NP is needed both in $b\to d$ and $b\to s$ transitions. We provide the regions for the Wilson coefficients consistent with both optimised observables and individual branching ratios. The NP scenarios considered to explain the deviations of ${\bar B}_{d,s}\to K^{*0}\bar{K}^{*0}$ and ${\bar B}_{d,s}\to K^{0}\bar{K}^{0}$ can yield deviations up to an order of magnitude among the observables that we introduced for ${\bar B}_{d,s} \to K^{0} \bar{K}^{*0}$ and ${\bar B}_{d,s}\to\bar{K}^{0} {K^{*0}}$. Probing these new observables experimentally may confirm the consistency of the deviations already observed and provide a highly valuable hint of NP in the non-leptonic sector.


title: Fundamental cause for superior optoelectronic properties in halide perovskites

abstract: Halide perovskites have emerged as revolutionary materials for high performance photovoltaics and optoelectronics due to their superior optoelectronic properties. The physical origin for the superior optoelectronic properties of halide perovskites so far is still poorly understood. Here we propose and demonstrate a hypothesis that electron upconversion (detrapping) driven by ionic energy reservoir is the fundamental cause for the superior optoelectronic properties of halide perovskites. We fully consider ionic influence on the electronic dynamics in mixed ionic-electronic conduction system by introducing new concepts of ionic energy reservoir, ion-electron coupling and ion-phonon scattering. We clarified that the ionic beneficial effect originates from the different mechanisms from that of the detrimental effect of mobile ion. Our hypothesis consistently interprets that the electron detrapping directly leads to significantly enhanced fluorescence efficiency, prolonged carrier lifetime, and increased diffusion length, as well as the anomalous phenomena of defect healing and defect tolerance, which are responsible for the excellent device performance of halide perovskites. By adding the ion-electron coupling into the rate equations, we establish the physical correlation between electronic dynamics in the timescale of nanosecond-microsecond and ionic dynamics in the timescales of second to hour. This finding adds the missing puzzle into the holistic physics picture and provides a deep understanding of halide perovskites and ion-electron interaction in mixed ionic-electronic semiconductors. Our results suggest the possibility of maximizing the potential of halide perovskite devices through enhancing ion-electron coupling.


title: Stray field computation by inverted finite elements: a new method in micromagnetic simulations

abstract: In this paper, we propose a new method for computing the stray-field and the corresponding energy for a given magnetization configuration. Our approach is based on the use of inverted finite elements and does not need any truncation. After analyzing the problem in an appropriate functional framework, we describe the method and we prove its convergence. We then display some computational results which demonstrate its efficiency and confirm its full potential.


title: Beware of the Unexpected: Bimodal Taint Analysis

abstract: Static analysis is a powerful tool for detecting security vulnerabilities and other programming problems. Global taint tracking, in particular, can spot vulnerabilities arising from complicated data flow across multiple functions. However, precisely identifying which flows are problematic is challenging, and sometimes depends on factors beyond the reach of pure program analysis, such as conventions and informal knowledge. For example, learning that a parameter "name" of an API function "locale" ends up in a file path is surprising and potentially problematic. In contrast, it would be completely unsurprising to find that a parameter "command" passed to an API function "execaCommand" is eventually interpreted as part of an operating-system command. This paper presents Fluffy, a bimodal taint analysis that combines static analysis, which reasons about data flow, with machine learning, which probabilistically determines which flows are potentially problematic. The key idea is to let machine learning models predict from natural language information involved in a taint flow, such as API names, whether the flow is expected or unexpected, and to inform developers only about the latter. We present a general framework and instantiate it with four learned models, which offer different trade-offs between the need to annotate training data and the accuracy of predictions. We implement Fluffy on top of the CodeQL analysis framework and apply it to 250K JavaScript projects. Evaluating on five common vulnerability types, we find that Fluffy achieves an F1 score of 0.85 or more on four of them across a variety of datasets.


title: Backward Compatibility During Data Updates by Weight Interpolation

abstract: Backward compatibility of model predictions is a desired property when updating a machine learning driven application. It allows to seamlessly improve the underlying model without introducing regression bugs. In classification tasks these bugs occur in the form of negative flips. This means an instance that was correctly classified by the old model is now classified incorrectly by the updated model. This has direct negative impact on the user experience of such systems e.g. a frequently used voice assistant query is suddenly misclassified. A common reason to update the model is when new training data becomes available and needs to be incorporated. Simply retraining the model with the updated data introduces the unwanted negative flips. We study the problem of regression during data updates and propose Backward Compatible Weight Interpolation (BCWI). This method interpolates between the weights of the old and new model and we show in extensive experiments that it reduces negative flips without sacrificing the improved accuracy of the new model. BCWI is straight forward to implement and does not increase inference cost. We also explore the use of importance weighting during interpolation and averaging the weights of multiple new models in order to further reduce negative flips.


title: General Distributions of Number Representation Elements

abstract: We provide general expressions for the joint distributions of the $k$ most significant $b$-ary digits and of the $k$ leading continued fraction coefficients of outcomes of an arbitrary continuous random variable. Our analysis highlights the connections between the two problems. In particular, we give the general convergence law of the distribution of the $j$-th significant digit, which is the counterpart of the general convergence law of the distribution of the $j$-th continued fraction coefficient (Gauss-Kuz'min law). We also particularise our general results for Benford and Pareto random variables. The former particularisation allows us to show the central role played by Benford variables in the asymptotics of the general expressions, among other results. The particularisation for Pareto variables -- which include Benford variables as a special case -- is specially relevant in the context of pervasive scale-invariant phenomena, where Pareto variables occur much more frequently than Benford variables. This suggests that the Pareto expressions that we produce have wider applicability than their Benford counterparts in modelling most significant digits and leading continued fraction coefficients of real data. Our results may find practical application in all areas where Benford's law has been previously used.


title: Metal adsorption and nucleation on free-standing graphene by low-energy electron point source microscopy (graphene intercalation)

abstract: The interaction of metals with carbon materials, specifically with graphene, is of importance for various technological applications. In particular, intercalation of alkali metals is believed to provide a means for tuning the electronic properties of graphene for device applications. While the macroscopic effects of such intercalation events can readily be studied, following the related processes at an atomic scale in detail and under well-defined experimental conditions constitutes a challenge. Here, we investigate in situ the adsorption and nucleation of the alkali metals K, Cs, and Li on free-standing graphene by means of low-energy electron point source microscopy. We find that alkali metals readily intercalate in between bilayer graphene. In fact, the equilibrium distribution of K and Cs favours a much higher particle density in between the bilayer than on the single layer graphene. We obtain a quantitative value for the difference of the free energy of binding between these two domains. Our study is completed with a control experiment introducing Pd as a representative of the non-alkali metals. Now, we observe cluster formation in equal measure on both, single and bilayer graphene, however no intercalation. Our investigations thus constitute the first in situ study of metal atom sorption of different specificity on free-standing graphene.


title: International Centre for the Advancement of Multidisciplinary Studies on Socio-Economic Systems

abstract: We start by summarising very briefly the various prior attempts (during the last one and half a decade), some of which were made as independent research centres and others as visiting centres with extensive visiting programs for luminaries from various basic sciences (Mathematics, Physics, Biology, Economics, and Sociology) and students from various institutions around the world for such interdisciplinary fusion of ideas and researches. Additionally, we briefly discuss the efforts that our institute has made (without any visible success so far, as in the other attempts elsewhere). We then emphasise the critical need for such an international centre to attract stalwarts in the basic disciplinary fields as well as interested students from around the world in order to comprehend the world's global socio-economic dynamics.


title: Structural insulators and promotors in networks under generic problem-solving dynamics

abstract: The collective coordination of distributed tasks in a complex system can be represented as decision dynamics on a graph. This abstract representation allows studying the performance of local decision heuristics as a function of task complexity and network architecture. Here we identify hard-to-solve and easy-to-solve networks in a social differentiation task within the basic model of small-world graphs. We show that, depending on the details of the decision heuristic as well as the length of the added links, shortcuts can serve as structural promotors, which speed up convergence towards a solution, but also as structural insulators, which make the network more difficult to solve. Our findings have implications for situations where, in distributed decision systems, regional solutions emerge, which are globally incompatible as for example during the emergence of technological standards.


title: Variation-Aware Semantic Image Synthesis

abstract: Semantic image synthesis (SIS) aims to produce photorealistic images aligning to given conditional semantic layout and has witnessed a significant improvement in recent years. Although the diversity in image-level has been discussed heavily, class-level mode collapse widely exists in current algorithms. Therefore, we declare a new requirement for SIS to achieve more photorealistic images, variation-aware, which consists of inter- and intra-class variation. The inter-class variation is the diversity between different semantic classes while the intra-class variation stresses the diversity inside one class. Through analysis, we find that current algorithms elusively embrace the inter-class variation but the intra-class variation is still not enough. Further, we introduce two simple methods to achieve variation-aware semantic image synthesis (VASIS) with a higher intra-class variation, semantic noise and position code. We combine our method with several state-of-the-art algorithms and the experimental result shows that our models generate more natural images and achieves slightly better FIDs and/or mIoUs than the counterparts. Our codes and models will be publicly available.


title: Low-frequency radio observations of recurrent nova RS Ophiuchi with MeerKAT and LOFAR

abstract: We report low-frequency radio observations of the 2021 outburst of the recurrent nova RS Ophiuchi. These observations include the lowest frequency observations of this system to date. Detailed light curves are obtained by MeerKAT at 0.82 and 1.28 GHz and LOFAR at 54 and 154 MHz. These low-frequency detections allow us to put stringent constraints on the brightness temperature that clearly favour a non-thermal emission mechanism. The radio emission is interpreted and modelled as synchrotron emission from the shock interaction between the nova ejecta and the circumbinary medium. The light curve shows a plateauing behaviour after the first peak, which can be explained by either a non-uniform density of the circumbinary medium or a second emission component. Allowing for a second component in the light-curve modelling captures the steep decay at late times. Furthermore, extrapolating this model to 15 yr after the outburst shows that the radio emission might not fully disappear between outbursts. Further modelling of the light curves indicates a red giant mass-loss rate of $\sim 5 \cdot 10^{-8}~{\rm M_\odot~yr^{-1}}$. The spectrum cannot be modelled in detail at this stage, as there are likely at least four emission components. Radio emission from stellar wind or synchrotron jets is ruled out as the possible origin of the radio emission. Finally, we suggest a strategy for future observations that would advance our understanding of the physical properties of RS Ophiuchi.


title: Modeling of mouse experiments suggests that optimal anti-hormonal treatment for breast cancer is diet-dependent

abstract: Estrogen receptor positive breast cancer is frequently treated with anti-hormonal treatment such as aromatase inhibitors (AI). Interestingly, a high body mass index has been shown to have a negative impact on AI efficacy, most likely due to disturbances in steroid metabolism and adipokine production. Here, we propose a mathematical model based on a system of ordinary differential equations to investigate the effect of high-fat diet on tumor growth. We inform the model with data from mouse experiments, where the animals are fed with high-fat or control (normal) diet. By incorporating AI treatment with drug resistance into the model and by solving optimal control problems we found differential responses for control and high-fat diet. To the best of our knowledge, this is the first attempt to model optimal anti-hormonal treatment for breast cancer in the presence of drug resistance. Our results underline the importance of considering high-fat diet and obesity as factors influencing clinical outcomes during anti-hormonal therapies in breast cancer patients.


title: Optomechanical feedback cooling of a 5 mm-long torsional mode

abstract: We report three orders of magnitude optical cooling of the fundamental torsional mode of a 5 mm-long, 550 nm diameter optical nanofiber. The rotation of the nanofiber couples to the polarization of guided laser fields. We use a weak laser probe to monitor the rotation, and use feedback to modulate the polarization of an auxiliary drive laser providing torque. Our results present a tool for the optomechanical control of large-scale torsional resonators, with metrological applications and potential implications for studying macroscopic objects in quantum states.


title: A conventional expansion of first-order Belnap-Dunn logic

abstract: This paper concerns an expansion of first-order Belnap-Dunn logic whose connectives and quantifiers are all familiar from classical logic. The language and logical consequence relation of the logic are defined, a proof system for the defined logic is presented, and the soundness and completeness of the presented proof system is established. The close relationship between the logical consequence relations of the defined logic and the version of classical logic with the same language is illustrated by the minor differences between the presented proof system and a sound and complete proof system for the version of classical logic with the same language. Moreover, fifteen classical laws of logical equivalence are given by which the logical equivalence relation of the defined logic distinguishes itself from the logical equivalence relation of many logics that are closely related at first glance.


title: Synthesis with Explicit Dependencies

abstract: Quantified Boolean Formulas (QBF) extend propositional logic with quantification $\forall, \exists$. In QBF, an existentially quantified variable is allowed to depend on all universally quantified variables in its scope. Dependency Quantified Boolean Formulas (DQBF) restrict the dependencies of existentially quantified variables. In DQBF, existentially quantified variables have explicit dependencies on a subset of universally quantified variables called Henkin dependencies. Given a Boolean specification between the set of inputs and outputs, the problem of Henkin synthesis is to synthesize each output variable as a function of its Henkin dependencies such that the specification is met. Henkin synthesis has wide-ranging applications, including verification of partial circuits, controller synthesis, and circuit realizability. This work proposes a data-driven approach for Henkin synthesis called Manthan3. On an extensive evaluation of over 563 instances arising from past DQBF solving competitions, we demonstrate that Manthan3 is competitive with state-of-the-art tools. Furthermore, Manthan3 could synthesize Henkin functions for 26 benchmarks for which none of the state-of-the-art techniques could synthesize.


title: BQP $=$ PSPACE

abstract: The complexity class $PSPACE$ includes all computational problems that can be solved by a classical computer with polynomial memory. All $PSPACE$ problems are known to be solvable by a quantum computer too with polynomial memory and are, thus, known to be in $BQPSPACE$. Here, we present a polynomial time quantum algorithm for a $PSPACE$-complete problem, implying that $PSPACE$ is equal to the class $BQP$ of all problems solvable by a quantum computer in polynomial time. In particular, we outline a $BQP$ algorithm for the $PSPACE$-complete problem of evaluating a full binary $NAND$ tree. An existing best of quadratic speedup is achieved using quantum walks for this problem, so that the complexity is still exponential in the problem size. By contrast, we achieve an exponential speedup for the problem, allowing for solving it in polynomial time. There are many real-world applications of our result, such as strategy games like chess or Go. As an example, in quantum sensing, the problem of quantum illumination, that is treated as that of channel discrimination, is $PSPACE$-complete. Our work implies that quantum channel discrimination, and so, quantum illumination, can be performed efficiently by a quantum computer.


title: Early life exposure to measles and later-life outcomes: Evidence from the introduction of a vaccine

abstract: Until the mid 1960s, the UK experienced regular measles epidemics, with the vast majority of children being infected in early childhood. The introduction of a measles vaccine substantially reduced its incidence. The first part of this paper examines the long-term human capital and health effects of this change in the early childhood disease environment. The second part investigates interactions between the vaccination campaign and individuals' endowments as captured using molecular genetic data, shedding light on complementarities between public health investments and individual endowments. We use two identification approaches, based on the nationwide introduction of the vaccine in 1968 and local vaccination trials in 1966. Our results show that exposure to the vaccination in early childhood positively affects adult height, but only among those with high genetic endowments for height. We find no effects on years of education; neither a direct effect, nor evidence of complementarities.


title: Tracking Different Ant Species: An Unsupervised Domain Adaptation Framework and a Dataset for Multi-object Tracking

abstract: Tracking individuals is a vital part of many experiments conducted to understand collective behaviour. Ants are the paradigmatic model system for such experiments but their lack of individually distinguishing visual features and their high colony densities make it extremely difficult to perform reliable tracking automatically. Additionally, the wide diversity of their species' appearances makes a generalized approach even harder. In this paper, we propose a data-driven multi-object tracker that, for the first time, employs domain adaptation to achieve the required generalisation. This approach is built upon a joint-detection-and-tracking framework that is extended by a set of domain discriminator modules integrating an adversarial training strategy in addition to the tracking loss. In addition to this novel domain-adaptive tracking framework, we present a new dataset and a benchmark for the ant tracking problem. The dataset contains 57 video sequences with full trajectory annotation, including 30k frames captured from two different ant species moving on different background patterns. It comprises 33 and 24 sequences for source and target domains, respectively. We compare our proposed framework against other domain-adaptive and non-domain-adaptive multi-object tracking baselines using this dataset and show that incorporating domain adaptation at multiple levels of the tracking pipeline yields significant improvements. The code and the dataset are available at https://github.com/chamathabeysinghe/da-tracker.


title: Witnessing the fragmentation of a filament into prestellar cores in Orion B/NGC 2024

abstract: Recent Herschel observations of nearby clouds have shown that filamentary structures are ubiquitous and that most prestellar cores form in filaments. Probing the density ($n$) and velocity ($V$) structure of filaments is crucial for the understanding of the star formation process. To characterize both the $n$ and the $V$ field of a fragmenting filament, we mapped NGC2024. 13CO, C18O, and H13CO+ trace the filament seen in the $N_{H_2}$ data. The radial profile from the $N_{H_2}$ data shows $D_{HP}$~0.081 pc, which is similar to the Herschel findings. The $D_{HP}$ from 13CO and C18O are broader, while the $D_{HP}$ from H13CO+ is narrower, than $D_{HP}$ from Herschel. These results suggest that 13CO and C18O trace only the outer part of the filament and H13CO+ only the inner part. The H13CO+ $V_{centroid}$ map reveals $V$ gradients along both filament axis, as well as $V$ oscillations with a period $\lambda$~0.2 pc along the major axis. Comparison between the $V$ and the $n$ distribution shows a tentative $\lambda$/4 shift in H13CO+ or C18O. This $\lambda$/4 shift is not simultaneously observed for all cores in any single tracer but is tentatively seen in either H13CO+ or C18O. We produced a toy model taking into account a transverse $V$ gradient, a longitudinal $V$ gradient, and a longitudinal oscillation mode caused by fragmentation. Examination of synthetic data shows that the oscillation component produces an oscillation pattern in the velocity structure function (VSF) of the model. The H13CO+ VSF shows an oscillation pattern, suggesting that our observations are partly tracing core-forming motions and fragmentation. We also found that the mean $M_{core}$ corresponds to the effective $M_{BE}$ in the filament. This is consistent with a scenario in which higher-mass cores form in higher line-mass filaments.


title: Integrated multiresonator quantum memory

abstract: We develop the integrated efficient multiresonator quantum memory scheme based on a system of three interacting resonators coupled through a common resonator to an external waveguide via switchable coupler. It is shown that high-precision parameter matching based on the step-by-step optimization makes it possible to efficiently store the signal field and on demand retrieval the signal at specified time moments. Possible experimental implementations and practical applications of the proposed quantum memory scheme are discussed.


title: Design and optimization of a porous fence for the reduction of wind erosion

abstract: A porous fence can be used as a shelter to reduce wind-induced erosion and the dispersion of dust particles from sand piles. Although many experimental and numerical studies have been carried out to analyze the effect of a porous fence on the erosion mechanism, optimizing porosity depending on in situ conditions remains a design challenge. This study focuses on the combined simulation and optimization of fence porosity considering the objective of reducing wind erosion over a triangular prism. Optimization of fence porosity is automated by integrating open-source computational fluid dynamics code and optimization tools to avoid trial and error. A comparison of numerical and experimental results demonstrates that the present numerical model can accurately predict turbulent flow through the porous fence for different porosities. Various fence shapes placed upstream of the prism were tested and optimized to reduce pressure and friction forces over the prism. The porosity of the new design is optimized according to the sand mitigation measure for different incoming wind speeds and sand grain diameters. The height of the fence is then optimized to prevent the onset of the erosion process under severe wind conditions. Unsteady three-dimensional simulation results are analyzed to reveal the underlying flow mechanism triggered by the porous fence. Eventually, the curved fence design proposed in the current study can be effectively used for the mitigation of wind erosion.


title: Evidence Profiles for Validity Threats in Program Comprehension Experiments

abstract: Searching for clues, gathering evidence, and reviewing case files are all techniques used by criminal investigators to draw sound conclusions and avoid wrongful convictions. Similarly, in software engineering (SE) research, we can develop sound methodologies and mitigate threats to validity by basing study design decisions on evidence. Echoing a recent call for the empirical evaluation of design decisions in program comprehension experiments, we conducted a 2-phases study consisting of systematic literature searches, snowballing, and thematic synthesis. We found out (1) which validity threat categories are most often discussed in primary studies of code comprehension, and we collected evidence to build (2) the evidence profiles for the three most commonly reported threats to validity. We discovered that few mentions of validity threats in primary studies (31 of 409) included a reference to supporting evidence. For the three most commonly mentioned threats, namely the influence of programming experience, program length, and the selected comprehension measures, almost all cited studies (17 of 18) did not meet our criteria for evidence. We show that for many threats to validity that are currently assumed to be influential across all studies, their actual impact may depend on the design and context of each specific study. Researchers should discuss threats to validity within the context of their particular study and support their discussions with evidence. The present paper can be one resource for evidence, and we call for more meta-studies of this type to be conducted, which will then inform design decisions in primary studies. Further, although we have applied our methodology in the context of program comprehension, our approach can also be used in other SE research areas to enable evidence-based experiment design decisions and meaningful discussions of threats to validity.


title: Succinct Planar Encoding with Minor Operations

abstract: Let $G$ be an unlabeled planar and simple $n$-vertex graph. Unlabeled graphs are graphs where the label-information is either not given or lost during the construction of data-structures. We present a succinct encoding of $G$ that provides induced-minor operations, i.e., edge contractions and vertex deletions. Any sequence of such operations is processed in $O(n)$ time in the word-RAM model. At all times the encoding provides constant time (per element output) neighborhood access and degree queries. Optional hash tables extend the encoding with constant expected time adjacency queries and edge-deletion (thus, all minor operations are supported) such that any number of edge deletions are computed in $O(n)$ expected time. Constructing the encoding requires $O(n)$ bits and $O(n)$ time. The encoding requires $\mathcal{H}(n) + o(n)$ bits of space with $\mathcal{H}(n)$ being the entropy of encoding a planar graph with $n$ vertices. Our data structure is based on the recent result of Holm et al. [ESA 2017] who presented a linear time contraction data structure that allows to maintain parallel edges and works for labeled graphs, but uses $\Theta(n \log n)$ bits of space. We combine the techniques used by Holm et al. with novel ideas and the succinct encoding of Blelloch and Farzan [CPM 2010] for arbitrary separable graphs. Our result partially answers the question raised by Blelloch and Farzan whether their encoding can be modified to allow modifications of the graph. As a simple application of our encoding, we present a linear time outerplanarity testing algorithm that uses $O(n)$ bits of space.


title: Scattering-matrix approach for a quantitative evaluation of the topological protection in valley photonic crystals

abstract: In this work, we use valley-topological triangular resonators coupled to an input waveguide to evaluate the quality of the topological protection. To that purpose, we first analyze via numerical simulations the existence of backward scattering at cavity corners or transmission with pseudo-spin conversion at the splitter between the input waveguide and the cavity. We evidence that a breakdown of topological protection takes place, in particular at sharp corners, which results in transmission minima and split-resonances, otherwise non-existent. In order to evaluate the small coupling coefficients associated to this breakdown, a phenomenological model based on an exact parameterization of scattering matrices at splitters and corners of the resonators is then introduced. By comparison with the numerical simulations, we are able to quantify the loss of topological protection at sharp bends and splitters. Finally, we use the obtained set of phenomenological parameters to compare the predictions of the phenomenological model with full numerical simulations for fractal-inspired cavities based on the Sierpi\'nski triangle construction. We show that the agreement is overall good, but shows more differences for the cavity composed of the smallest triangles. Our results suggest that even in a system exempt of geometrical and structural defects, topological protection is not complete at corners, sharp bends and splitters. However, simpler but predictive calculations can be realized with a phenomenological approach, allowing simulations of very large devices beyond the reach of standard simulation methods, which is crucial to design photonic devices which gather compactness and low losses through topological conduction of electromagnetic waves.


title: Global asymmetry in $\Delta$X variations during the 06 April 2000 geomagnetic storm: Relative roles of IMF Bz and By

abstract: This investigation is directed to understand the asymmetry in $\Delta$X variations caused due to the relative roles played by IMF Bz and IMF By in a particular interval (22:22 - 22:55 UT), during the main phase of a strong geomagnetic storm event of April 06, 2000 (Ap = 236). Two pairs of antipodal stations, being part of the SuperMAG network, are considered here. Ionospheric convection maps from SuperDARN network are used to understand spatio-temporal evolution of the DP2 ionospheric convection patterns over high-latitudes. The two-dimensional maps of equivalent currents are used to show signatures of global DP2 currents associated with the interplay effect between the two IMF components. Observations show increases in the difference in $\Delta$X variations between nearly antipodal stations from the Japanese-European/African sector with respect to the same between the nearly antipodal stations from the Pacific/American-Indian sector. This asymmetry is observed during the period when the absolute magnitude of IMF By is larger than that of IMF Bz resulting in a significant and conspicuous enhancement in IMF |By/Bz|. It is suggested that the distortions in DP2 cells and associated rotation of electrodynamic day-night divider, bring one pair of stations under the same DP2 cell and one station of the other pair under a different DP2 cell and throat flow region leading to the asymmetry in $\Delta$X variations between the antipodal stations. Therefore, the work highlights the importance of the interplay between IMF Bz and IMF By in determining the ionospheric impact over low latitudes during strong geomagnetic conditions.

categories: physics.space-ph astro-ph.EP astro-ph.SR physics.geo-ph physics.plasm-ph


title: The CMS inner Tracker Endcap PiXel upgrade

abstract: The High Luminosity Large Hadron Collider (HL-LHC) at CERN is expected to collide protons at a center-of-mass energy of 14 TeV and to reach the unprecedented peak instantaneous luminosity of $7.5 \times 10^{34} \text{cm}^{-2} \text{s}^{-1}$ with an average number of pileup vertices of 200. This will allow the ATLAS and CMS experiments to collect a data sample with an integrated luminosity up to $4000\,\mathrm{fb}^{-1}$ during the project's lifetime. To adapt to these harsh conditions, the CMS detector will be substantially upgraded before starting the HL-LHC, a plan known as CMS Phase-2 upgrade. The entire CMS silicon pixel detector (IT) will be replaced and the new detector will feature increased radiation hardness, higher granularity and capability to handle higher data rate and longer trigger latency. The upgraded IT will be composed of a barrel part, TBPX, as well as small and large forward disks, TFPX and TEPX. The TEPX detector has four large disks on each end, extending the coverage up to $\lvert \eta \rvert \approx 4.0$. In TEPX, the modules are arranged in five concentric rings. In this contribution the new TEPX detector will be presented, with particular focus on the mechanics design and thermal performance, using finite element methods. Effects of the material choice for the cooling pipes and disk support structures connecting the modules with the CO$_2$ coolant are presented as well.


title: Neural Mechanisms of Temporal and Rhythmic Structure Processing in Non-Musicians

abstract: Music is increasingly being used as a therapeutic tool in the field of rehabilitation medicine and psychophysiology. One of the main key components of music is its temporal organization. The characteristics of neurocognitive processes during music perception of meter in different tempo variations technique have been studied by using the event-related potentials technique. The study involved 20 volunteers (6 men, the median age of the participants was 23 years). The participants were asked to listen to 4 experimental series that differed in tempo (fast vs. slow) and meter (duple vs. triple). Each series consisted of 625 audio stimuli, 85% of which were organized with a standard metric structure (standard stimulus) while 15% included unexpected accents (deviant stimulus). The results revealed that the type of metric structure influences the detection of the change in stimuli. The analysis showed that the N200 wave occurred significantly faster for stimuli with duple meter and fast tempo and was the slowest for stimuli with triple meter and fast pace.


title: Spatio-Temporal Graph Neural Networks: A Survey

abstract: Graph Neural Networks have gained huge interest in the past few years. These powerful algorithms expanded deep learning models to non-Euclidean space and were able to achieve state of art performance in various applications including recommender systems and social networks. However, this performance is based on static graph structures assumption which limits the Graph Neural Networks performance when the data varies with time. Spatiotemporal Graph Neural Networks are extension of Graph Neural Networks that takes the time factor into account. Recently, various Spatiotemporal Graph Neural Network algorithms were proposed and achieved superior performance compared to other deep learning algorithms in several time dependent applications. This survey discusses interesting topics related to Spatiotemporal Graph Neural Networks, including algorithms, applications, and open challenges.


title: Accelerating Brain Simulations with the Fast Multipole Method

abstract: The brain is probably the most complex organ in the human body. To understand processes such as learning or healing after brain lesions, we need suitable tools for brain simulations. The Model of Structural Plasticity offers a solution to that problem. It provides a way to model the brain bottom-up by specifying the behavior of the neurons and using structural plasticity to form the synapses. However, its original formulation involves a pairwise evaluation of attraction kernels, which drastically limits scalability. While this complexity has recently been decreased to $O(n\cdot \log^2 n)$ after reformulating the task as a variant of an n-body problem and solving it using an adapted version of the Barnes-Hut approximation, we propose an even faster approximation based on the fast multipole method (FMM). The fast multipole method was initially introduced to solve pairwise interactions in linear time. Our adaptation achieves this time complexity, and it is also faster in practice than the previous approximation.