title: Compressible fluids interacting with 3D visco-elastic bulk solids

abstract: We consider the physical setup of a three-dimensional fluid-structure interaction problem. A viscous compressible gas or liquid interacts with a nonlinear, visco-elastic, three-dimensional bulk solid. The latter is described by a hyperbolic evolution with a non-convex elastic energy functional. The fluid is modelled by the compressible Navier--Stokes equations with a barotropic pressure law. Due to the motion of the solid, the fluid domain is time-changing. Our main result is the long-time existence of a weak solution to the coupled system until the time of a collision. The nonlinear coupling between the motions of the two different matters is established via the method of minimising movements. The motion of both the solid and the fluid is chosen via an incrimental minimization with respect to dissipative and static potentials. These variational choices together with a careful construction of an underlying flow map for our approximation then directly result in the pressure gradient and the material time derivatives.


title: Sequen-C: A Multilevel Overview of Temporal Event Sequences

abstract: Building a visual overview of temporal event sequences with an optimal level-of-detail (i.e. simplified but informative) is an ongoing challenge - expecting the user to zoom into every important aspect of the overview can lead to missing insights. We propose a technique to build a multilevel overview of event sequences, whose granularity can be transformed across sequence clusters (vertical level-of-detail) or longitudinally (horizontal level-of-detail), using hierarchical aggregation and a novel cluster data representation Align-Score-Simplify. By default, the overview shows an optimal number of sequence clusters obtained through the average silhouette width metric - then users are able to explore alternative optimal sequence clusterings. The vertical level-of-detail of the overview changes along with the number of clusters, whilst the horizontal level-of-detail refers to the level of summarization applied to each cluster representation. The proposed technique has been implemented into a visualization system called Sequence Cluster Explorer (Sequen-C) that allows multilevel and detail-on-demand exploration through three coordinated views, and the inspection of data attributes at cluster, unique sequence, and individual sequence level. We present two case studies using real-world datasets in the healthcare domain: CUREd and MIMIC-III; which demonstrate how the technique can aid users to obtain a summary of common and deviating pathways, and explore data attributes for selected patterns.


title: Molecule Generation Experience: An Open Platform of Material Design for Public Users

abstract: Artificial Intelligence (AI)-driven material design has been attracting great attentions as a groundbreaking technology across a wide spectrum of industries. Molecular design is particularly important owing to its broad application domains and boundless creativity attributed to progresses in generative models. The recent maturity of molecular generative models has stimulated expectations for practical use among potential users, who are not necessarily familiar with coding or scripting, such as experimental engineers and students in chemical domains. However, most of the existing molecular generative models are Python libraries on GitHub, that are accessible for only IT-savvy users. To fill this gap, we newly developed a graphical user interface (GUI)-based web application of molecular generative models, Molecule Generation Experience, that is open to the general public. This is the first web application of molecular generative models enabling users to work with built-in datasets to carry out molecular design. In this paper, we describe the background technology extended from our previous work. Our new online evaluation and structural filtering algorithms significantly improved the generation speed by 30 to 1,000 times with a wider structural variety, satisfying chemical stability and synthetic reality. We also describe in detail our Kubernetes-based scalable cloud architecture and user-oriented GUI that are necessary components to achieve a public service. Finally, we present actual use cases in industrial research to design new photoacid generators (PAGs) as well as release cases in educational events.


title: External Human-Machine Interface on Delivery Robots: Expression of Navigation Intent of the Robot

abstract: External Human-Machine Interfaces (eHMI) are widely used on robots and autonomous vehicles to convey the machine's intent to humans. Delivery robots are getting common, and they share the sidewalk along with the pedestrians. Current research has explored the design of eHMI and its effectiveness for social robots and autonomous vehicles, but the use of eHMIs on delivery robots still remains unexplored. There is a knowledge gap on the effective use of eHMIs on delivery robots for indicating the robot's navigational intent to the pedestrians. An online survey with 152 participants was conducted to investigate the comprehensibility of the display and light-based eHMIs that convey the delivery robot's navigational intent under common navigation scenarios. Results show that display is preferred over lights in conveying the intent. The preferred type of content to be displayed varies according to the scenarios. Additionally, light is preferred as an auxiliary eHMI to present redundant information. The findings of this study can contribute to the development of future designs of eHMI on delivery robots.


title: Performance of the New FlashCam-based Camera in the 28\,m Telescope of H.E.S.S

abstract: In October 2019, the central 28 m telescope of the H.E.S.S. experiment has been upgraded with a new camera. The camera is based on the FlashCam design which has been developed in view of a possible future implementation in the Medium-Sized Telescopes of the Cherenkov Telescope Array (CTA), with emphasis on cost and performance optimization and on reliability. The fully digital design of the trigger and readout system makes it possible to operate the camera at high event rates and to precisely adjust and understand the trigger system. The novel design of the front-end electronics achieves a dynamic range of over 3,000 photoelectrons with only one electronics readout circuit per pixel. Here we report on the performance parameters of the camera obtained during the first year of operation in the field, including operational stability and optimization of calibration algorithms.


title: Domain-Centered Support for Layout, Tasks, and Specification for Control Flow Graph Visualization

abstract: Computing professionals in areas like compilers, performance analysis, and security often analyze and manipulate control flow graphs (CFGs) in their work. CFGs are directed networks that describe possible orderings of instructions in the execution of a program. Visualizing a CFG is a common activity in developing or debugging computational approaches that use them. However, general graph drawing layouts, including the hierarchical ones frequently applied to CFGs, do not capture CFG-specific structures or tasks and thus the resulting drawing may not match the needs of their audience, especially for more complicated programs. While several algorithms offer flexibility in specifying the layout, they often require expertise with graph drawing layouts and primitives that these potential users do not have. To bring domain-specific CFG drawing to this audience, we develop CFGConf, a library designed to match the abstraction level of CFG experts. CFGConf provides a JSON interface that produces drawings that can stand-alone or be integrated into multi-view visualization systems. We developed CFGConf through an interactive design process with experts while incorporating lessons learned from previous CFG visualization systems, a survey of CFG drawing conventions in computing systems conferences, and existing design principles for notations. We evaluate CFGConf in terms of expressiveness, usability, and notational efficiency through a user study and illustrative examples. CFG experts were able to use the library to produce the domain-aware layouts and appreciated the task-aware nature of the specification.


title: Energy Efficiency Maximization Precoding for Quantized Massive MIMO Systems

abstract: The use of low-resolution digital-to-analog and analog-to-digital converters (DACs and ADCs) significantly benefits energy efficiency (EE) at the cost of high quantization noise in implementing massive multiple-input multiple-output (MIMO) systems. For maximizing EE in quantized downlink massive MIMO systems, this paper formulates a precoding optimization problem with antenna selection; yet acquiring the optimal joint precoding and antenna selection solution is challenging due to the intricate EE characterization. To resolve this challenge, we decompose the problem into precoding direction and power optimization problems. For precoding direction, we characterize the first-order optimality condition, which entails the effects of quantization distortion and antenna selection. For precoding power, we obtain the optimum solution using a gradient descent algorithm to maximize EE for given precoding direction. We cast the derived condition as a functional eigenvalue problem, wherein finding the principal eigenvector attains the best local optimal point. To this end, we propose generalized power iteration based algorithm. Alternating these two methods, our algorithm identifies a joint solution of the active antenna set and the precoding direction and power. In simulations, the proposed methods provide considerable performance gains. Our results suggest that a few-bit DACs are sufficient for achieving high EE in massive MIMO systems.


title: Structural completeness in many-valued logics with rational constants

abstract: The logics RL, RP, and RG have been obtained by expanding Lukasiewicz logic L, product logic P, and G\"odel--Dummett logic G with rational constants. We study the lattices of extensions and structural completeness of these three expansions, obtaining results that stand in contrast to the known situation in L, P, and G. Namely, RL is hereditarily structurally complete. RP is algebraized by the variety of rational product algebras that we show to be Q-universal. We provide a base of admissible rules in RP, show their decidability, and characterize passive structural completeness for extensions of RP. Furthermore, structural completeness, hereditary structural completeness, and active structural completeness coincide for extensions of RP, and this is also the case for extensions of RG, where in turn passive structural completeness is characterized by the equivalent algebraic semantics having the joint embedding property. For nontrivial axiomatic extensions of RG we provide a base of admissible rules. We leave the problem open whether the variety of rational G\"odel algebras is Q-universal.


title: Investigation of the Aharonov-Bohm and Aharonov-Casher Topological Phases for Quantum Entangled States in 2+1 Dimensions

abstract: Aharonov-Bohm (AB) and Aharonov-Casher (AC) effects are treated fully relativistically in 2+1 dimensions. The influences of the relevant geometric and topological phases on an entangled spin-1/2 system are studied. It is shown that for the AC case the correlation function of the Clauser-Horne-Shimony-Holt (CHSH) inequality for certain choices of the spin measurements depends on the AC phase explicitly.


title: Deep Residual Echo Suppression and Noise Reduction: A Multi-Input FCRN Approach in a Hybrid Speech Enhancement System

abstract: Deep neural network (DNN)-based approaches to acoustic echo cancellation (AEC) and hybrid speech enhancement systems have gained increasing attention recently, introducing significant performance improvements to this research field. Using the fully convolutional recurrent network (FCRN) architecture that is among state of the art topologies for noise reduction, we present a novel deep residual echo suppression and noise reduction with up to four input signals as part of a hybrid speech enhancement system with a linear frequency domain adaptive Kalman filter AEC. In an extensive ablation study, we reveal trade-offs with regard to echo suppression, noise reduction, and near-end speech quality, and provide surprising insights to the choice of the FCRN inputs: In contrast to often seen input combinations for this task, we propose not to use the loudspeaker reference signal, but the enhanced signal after AEC, the microphone signal, and the echo estimate, yielding improvements over previous approaches by more than 0.2 PESQ points.


title: Real-Time Visual Analysis of High-Volume Social Media Posts

abstract: Breaking news and first-hand reports often trend on social media platforms before traditional news outlets cover them. The real-time analysis of posts on such platforms can reveal valuable and timely insights for journalists, politicians, business analysts, and first responders, but the high number and diversity of new posts pose a challenge. In this work, we present an interactive system that enables the visual analysis of streaming social media data on a large scale in real-time. We propose an efficient and explainable dynamic clustering algorithm that powers a continuously updated visualization of the current thematic landscape as well as detailed visual summaries of specific topics of interest. Our parallel clustering strategy provides an adaptive stream with a digestible but diverse selection of recent posts related to relevant topics. We also integrate familiar visual metaphors that are highly interlinked for enabling both explorative and more focused monitoring tasks. Analysts can gradually increase the resolution to dive deeper into particular topics. In contrast to previous work, our system also works with non-geolocated posts and avoids extensive preprocessing such as detecting events. We evaluated our dynamic clustering algorithm and discuss several use cases that show the utility of our system.


title: Characterization of laser-induced ionization dynamics in solid dielectrics

abstract: The formation of an electron-hole plasma during the interaction of intense femtosecond laser pulses with transparent solids lies at the heart of femtosecond laser processing. Advanced micro- and nanomachining applications require improved control over the excitation characteristics. Here, we relate the emission of low-order harmonics to the strong laser-field-induced plasma formation. Together with a measurement of the total plasma density we identify the contribution of two competing ionization mechanisms - strong-field and electron-impact ionization.


title: Sub-barrier quantum tunneling: eliminating the MacColl-Hartman paradox

abstract: I show that the MacColl-Hartman effect, namely, the saturation of the group delay time of sub-barrier quantum tunneling as a function of the barrier width, comes from the saturating behavior of a more fundamental concept - the phase of the stationary wave function. The explanation of saturation is given based on the decomposition of the stationary wave function into the spectrum of wave numbers and formulation of the initial condition for the direction of propagation of the incident matter wave. It is also shown that the saturation plateau of MacColl and Hartman actually doesn't continue indefinitely, but has a finite length. After the plateau, the sub-barrier tunneling time monotonically increases with increasing width of the potential, and this applies both to the maximum's of the wave packet and to the average tunneling time.


title: Adaptive space-time BEM for the heat equation

abstract: We consider the space-time boundary element method (BEM) for the heat equation with prescribed initial and Dirichlet data. We propose a residual-type a posteriori error estimator that is a lower bound and, up to weighted $L_2$-norms of the residual, also an upper bound for the unknown BEM error. The possibly locally refined meshes are assumed to be prismatic, i.e., their elements are tensor-products $J\times K$ of elements in time $J$ and space $K$. While the results do not depend on the local aspect ratio between time and space, assuming the scaling $|J| \eqsim {\rm diam}(K)^2$ for all elements and using Galerkin BEM, the estimator is shown to be efficient and reliable without the additional $L_2$-terms. In the considered numerical experiments on two-dimensional domains in space, the estimator seems to be equivalent to the error, independently of these assumptions. In particular for adaptive anisotropic refinement, both converge with the best possible convergence rate.


title: Efficient Quantum Vibrational Spectroscopy of Water with High-Order Path Integrals: from Bulk to Interfaces

abstract: Vibrational spectroscopy is key for probing the interplay between the structure and dynamics of aqueous systems. In order to map different regions of experimental spectra to the microscopic structure of a system, it is important to combine them with first-principles atomistic simulations that incorporate the quantum nature of nuclei. Here, we show that the large cost of calculating quantum vibrational spectra of aqueous systems can be dramatically reduced compared to standard path integral methods by using approximate quantum dynamics based on high-order path integrals. Together with state-of-the-art machine-learned electronic properties, our approach gives an excellent description of the infrared and Raman spectra of bulk water, but also of 2D correlation and more challenging sum-frequency generation spectra of the water-air interface. This paves the way for understanding complex interfaces such as water encapsulated between or in contact with hydrophobic and hydrophilic materials, through robust and inexpensive surface sensitive and multidimensional spectra with first-principles accuracy.


title: $(1+)$-complemented, $(1+)$-isomorphic copies of $L_{1}$ in dual Banach spaces

abstract: The present paper contributes to the ongoing programme of quantification of isomorphic Banach space theory focusing on Pe{\l}czy\'nski's classical work on dual Banach spaces containing $L_{1}$ ($=L_{1}[0,1]$) and the Hagler--Stegall characterisation of dual spaces containing complemented copies of $L_{1}$. We prove the following quantitative version of the Hagler--Stegall theorem asserting that for a Banach space $X$ the following statements are equivalent: $\bullet$ $X$ contains almost isometric copies of $(\bigoplus_{n=1}^{\infty} \ell_{\infty}^{n})_{\ell_1}$, $\bullet$ for all $\varepsilon>0$, $X^{*}$ contains a $(1+\varepsilon)$-complemented, $(1+\varepsilon)$-isomorphic copy of $L_{1}$, $\bullet$ for all $\varepsilon>0$, $X^{*}$ contains a $(1+\varepsilon)$-complemented, $(1+\varepsilon)$-isomorphic copy of $C[0,1]^{*}$. Moreover, if $X$ is separable, one may add the following assertion: $\bullet$ for all $\varepsilon>0$, there exists a $(1+\varepsilon)$-quotient map $T\colon X\rightarrow C(\Delta)$ so that $T^{*}[C(\Delta)^{*}]$ is $(1+\varepsilon)$-complemented in $X^{*}$, where $\Delta$ is the Cantor set.


title: Interpretation of LHC excesses in ditop and ditau channels as a 400-GeV pseudoscalar resonance

abstract: Since the discovery in 2012 of the Higgs boson at the LHC, as the last missing piece of the Standard Model of particle physics, any hint of new physics has been intensively searched for, with no confirmation to date. There are however slight deviations from the SM that are worth investigating. The CMS collaboration has reported, in a search for heavy resonances decaying in $t \bar t$ with a 13-TeV center-of-mass energy and a luminosity of 35.9 fb$^{-1}$, deviations from the SM predictions at the 3.5$\sigma$ level locally (1.9$\sigma$ after the look-elsewhere effect). In addition, in the ditau final state search performed by the ATLAS collaboration at $\sqrt{s}=13$ TeV and $\mathcal{L}=139$ fb$^{-1}$, deviations from the SM at the 2$\sigma$ level have been also observed. Interestingly, both slight excesses are compatible with a new pseudoscalar boson with a mass around 400 GeV that couples at least to fermions of the third generation and gluons. Starting from a purely phenomenological perspective, we inspect the possibility that a 400-GeV pseudoscalar can account for these deviations and at the same time satisfy the constraints on the rest of the channels that it gives contributions to and that are analyzed by the ATLAS and CMS experiments. After obtaining the range of effective couplings compatible with all experimental measurements, we study the gauge invariant UV completions that can give rise to this type of pseudoscalar resonance, which can be accommodated in an $SO(6)/SO(5)$ model with consistency at the 1$\sigma$ level and in a $SO(5)\times U(1)_{P}\times U(1)_{X}/SO(4)\times U(1)_X$ at the 2$\sigma$ level, while exceedingly large quartic couplings would be necessary to account for it in a general two Higgs doublet model.


title: Effects of edge addition or removal on the nullity of a graph in the Lights Out game

abstract: Lights out is a game which can be played on any graph $G$. Initially we have a configuration which assigns one of the two states on or off to each vertex. The aim of the game is to turn all vertices to off state for an initial configuration by activating some vertices where each activation switches the state of the vertex and all of its neighbors. If the aim of the game can be accomplished for all initial configurations then $G$ is called always solvable. We call the dimension of the kernel of the closed neighborhood matrix of the graph over the field $\mathbb{Z}_2$, nullity of $G$. It turns out that $G$ is always solvable if and only if its nullity is zero. We investigate the problem of how nullity changes when an edge is added to or removed from a graph. As a result we characterize always solvable graphs. We also showed that for every graph with positive nullity there exists an edge whose removal decreases the nullity. Conversely, we showed that for every always solvable graph which is not an even graph with odd order, there exists an edge whose addition increases the nullity.


title: A second-order semi-implicit method for the inertial Landau-Lifshitz-Gilbert equation

abstract: Recent theoretical and experimental advances show that the inertia of magnetization emerges at sub-picoseconds and contributes to the ultrafast magnetization dynamics which cannot be captured intrinsically by the LLG equation. Therefore, as a generalization, the inertial Landau-Lifshitz-Gilbert (iLLG) equation is proposed to model the ultrafast magnetization dynamics. Mathematically, the LLG equation is a nonlinear system of parabolic type with (possible) degeneracy. However, the iLLG equation is a nonlinear system of mixed hyperbolic-parabolic type with degeneracy, and exhibits more complicated structures. It behaves like a hyperbolic system at the sub-picosecond scale while behaves like a parabolic system at larger timescales. Such hybrid behaviors impose additional difficulties on designing numerical methods for the iLLG equation. In this work, we propose a second-order semi-implicit scheme to solve the iLLG equation. The second temporal derivative of magnetization is approximated by the standard centered difference scheme and the first derivative is approximated by the midpoint scheme involving three time steps. The nonlinear terms are treated semi-implicitly using one-sided interpolation with the second-order accuracy. At each step, the unconditionally unique solvability of the unsymmetric linear system of equations in the proposed method is proved with a detailed discussion on the condition number. Numerically, the second-order accuracy in both time and space is verified. Using the proposed method, the inertial effect of ferromagnetics is observed in micromagnetics simulations at small timescales, in consistency with the hyperbolic property of the model at sub-picoseconds. For long time simulations, the results of the iLLG model are in nice agreements with those of the LLG model, in consistency with the parabolic feature of the iLLG model at larger timescales.


title: Towards a Semantics for Hybrid ASP systems

abstract: Over the last decades the development of ASP has brought about an expressive modeling language powered by highly performant systems. At the same time, it gets more and more difficult to provide semantic underpinnings capturing the resulting constructs and inferences. This is even more severe when it comes to hybrid ASP languages and systems that are often needed to handle real-world applications. We address this challenge and introduce the concept of abstract and structured theories that allow us to formally elaborate upon their integration with ASP. We then use this concept to make precise the semantic characterization of CLINGO's theory-reasoning framework and establish its correspondence to the logic of Here-and-there with constraints. This provides us with a formal framework in which we can elaborate formal properties of existing hybridizations of CLINGO such as CLINGCON, CLINGOM[DL], and CLINGO[LP].


title: Imaging results from the legacy GMRT Galaxy Cluster Key Project

abstract: We have used archival GMRT data to image and study 39 galaxy clusters. These observations were made as part of the GMRT Key Project on galaxy clusters between 2001 and 2004. The observations presented in this sample include 14 observations at 610 MHz, 29 at 325 MHz and 3 at 244 MHz covering a redshift range of 0.02 to 0.62. Multi-frequency observations were made for 8 clusters. We analysed the clusters using the SPAM processing software and detected the presence of radio halo emission for the first time in the clusters RXC J0510-0801 and RXC J2211.7-0349. We also confirmed the presence of extended emission in 11 clusters which were known from the literature. In clusters where halos were not detected upper limits were placed using our own semi-automated program. We plot our detections and non-detections on the empirical $L_X-P_{1.4}$ and $M_{500}-P_{1.4}$ relation in radio halo clusters and discuss the results. The best fits follow a power law of the form $L_{500} \propto P_{1.4}^{1.82}$ and $M_{500} \propto P_{1.4}^{3.001}$ which is in accordance with the best estimates in the literature.


title: Possible evidence of QCD axion stars in HSC and OGLE microlensing events

abstract: Dark matter in the form of axions is expected to form miniclusters, and their dense regions can harbor compact axion stars. Such axion stars could be discovered by microlensing events. In particular, some candidate events reported by Subaru HSC and OGLE can be explained simultaneously if the axion stars with masses of the order of the Earth mass make up about $\sim27^{+7}_{013}$ percent of dark matter. For QCD axions, this corresponds to the axion mass in the range $10^{-9}-10^{-6}$ eV, which is consistent with the experimental constraints, as well as the cosmological anthropic window of parameters.


title: Spatiotemporal Contrastive Learning of Facial Expressions in Videos

abstract: We propose a self-supervised contrastive learning approach for facial expression recognition (FER) in videos. We propose a novel temporal sampling-based augmentation scheme to be utilized in addition to standard spatial augmentations used for contrastive learning. Our proposed temporal augmentation scheme randomly picks from one of three temporal sampling techniques: (1) pure random sampling, (2) uniform sampling, and (3) sequential sampling. This is followed by a combination of up to three standard spatial augmentations. We then use a deep R(2+1)D network for FER, which we train in a self-supervised fashion based on the augmentations and subsequently fine-tune. Experiments are performed on the Oulu-CASIA dataset and the performance is compared to other works in FER. The results indicate that our method achieves an accuracy of 89.4%, setting a new state-of-the-art by outperforming other works. Additional experiments and analysis confirm the considerable contribution of the proposed temporal augmentation versus the existing spatial ones.


title: QCD factorization for chiral-odd parton quasi- and pseudo-distributions

abstract: We study chiral-odd quark-antiquark correlation functions suitable for lattice calculations of twist-three nucleon parton distribution functions $h_L(x)$ and $e(x)$, and also the twist-two transversity distribution $\delta q(x)$. The corresponding factorized expressions are derived in terms of the twist-two and twist-three collinear distributions to one-loop accuracy. The results are presented both in position space, as the factorization theorem for Ioffe-time distributions, and in momentum space, for quasi- and pseudo-distributions. We demonstrate that the twist-two part of the $h_L$ quasi(pseudo)-distribution can be separated from the twist-three part by virtue of an exact Jaffe-Ji-like relation.


title: Uncertainty Visualization of the Marching Squares and Marching Cubes Topology Cases

abstract: Marching squares (MS) and marching cubes (MC) are widely used algorithms for level-set visualization of scientific data. In this paper, we address the challenge of uncertainty visualization of the topology cases of the MS and MC algorithms for uncertain scalar field data sampled on a uniform grid. The visualization of the MS and MC topology cases for uncertain data is challenging due to their exponential nature and the possibility of multiple topology cases per cell of a grid. We propose the topology case count and entropy-based techniques for quantifying uncertainty in the topology cases of the MS and MC algorithms when noise in data is modeled with probability distributions. We demonstrate the applicability of our techniques for independent and correlated uncertainty assumptions. We visualize the quantified topological uncertainty via color mapping proportional to uncertainty, as well as with interactive probability queries in the MS case and entropy isosurfaces in the MC case. We demonstrate the utility of our uncertainty quantification framework in identifying the isovalues exhibiting relatively high topological uncertainty. We illustrate the effectiveness of our techniques via results on synthetic, simulation, and hixel datasets.


title: Deriving Disinformation Insights from Geolocalized Twitter Callouts

abstract: This paper demonstrates a two-stage method for deriving insights from social media data relating to disinformation by applying a combination of geospatial classification and embedding-based language modelling across multiple languages. In particular, the analysis in centered on Twitter and disinformation for three European languages: English, French and Spanish. Firstly, Twitter data is classified into European and non-European sets using BERT. Secondly, Word2vec is applied to the classified texts resulting in Eurocentric, non-Eurocentric and global representations of the data for the three target languages. This comparative analysis demonstrates not only the efficacy of the classification method but also highlights geographic, temporal and linguistic differences in the disinformation-related media. Thus, the contributions of the work are threefold: (i) a novel language-independent transformer-based geolocation method; (ii) an analytical approach that exploits lexical specificity and word embeddings to interrogate user-generated content; and (iii) a dataset of 36 million disinformation related tweets in English, French and Spanish.


title: Machine learning for surface prediction in ACTS

abstract: We present an ongoing R&D activity for machine-learning-assisted navigation through detectors to be used for track reconstruction. We investigate different approaches of training neural networks for surface prediction and compare their results. This work is carried out in the context of the ACTS tracking toolkit.


title: Constructing orientable sequences

abstract: This paper describes new, simple, recursive methods of construction for orientable sequences, i.e. periodic binary sequences in which any n-tuple occurs at most once in a period in either direction. As has been previously described, such sequences have potential applications in automatic position-location systems, where the sequence is encoded onto a surface and a reader needs only examine n consecutive encoded bits to determine its location and orientation on the surface. The only previously described method of construction (due to Dai et al.) is somewhat complex, whereas the new techniques are simple to both describe and implement. The methods of construction cover both the standard `infinite periodic' case, and also the aperiodic, finite sequence, case. Both the new methods build on the Lempel homomorphism, first introduced as a means of recursively generating de Bruijn sequences.


title: SWSR: A Chinese Dataset and Lexicon for Online Sexism Detection

abstract: Online sexism has become an increasing concern in social media platforms as it has affected the healthy development of the Internet and can have negative effects in society. While research in the sexism detection domain is growing, most of this research focuses on English as the language and on Twitter as the platform. Our objective here is to broaden the scope of this research by considering the Chinese language on Sina Weibo. We propose the first Chinese sexism dataset -- Sina Weibo Sexism Review (SWSR) dataset --, as well as a large Chinese lexicon SexHateLex made of abusive and gender-related terms. We introduce our data collection and annotation process, and provide an exploratory analysis of the dataset characteristics to validate its quality and to show how sexism is manifested in Chinese. The SWSR dataset provides labels at different levels of granularity including (i) sexism or non-sexism, (ii) sexism category and (iii) target type, which can be exploited, among others, for building computational methods to identify and investigate finer-grained gender-related abusive language. We conduct experiments for the three sexism classification tasks making use of state-of-the-art machine learning models. Our results show competitive performance, providing a benchmark for sexism detection in the Chinese language, as well as an error analysis highlighting open challenges needing more research in Chinese NLP. The SWSR dataset and SexHateLex lexicon are publicly available.


title: Observing two-photon subwavelength interference of broadband chaotic light in polarization-selective Michelson interferometer

abstract: Differing from the traditional method of achieving subwavelength interference, we have demonstrated the two-photon subwavelength interference effect of broadband chaotic light in a polarization-selective Michelson interferometer with an ultrafast two-photon absorption detector the first time, which is achieved by manipulating two-photon probability amplitudes involved in the interference. In theory, the two-photon polarization coherence matrix and probability amplitudes matrix are combined to develop polarized two-photon interference terms, which explains the experimental results well. In order to make better use of this interferometer to produce the subwavelength effect, we also make a series of error analyses to find out the relationship between the visibility and the degree of polarization error. Our experimental and theoretical results are helpful to understand the two-photon subwavelength interference, which sheds light on the development of the two-photon interference theory of vector light field based on quantum mechanics. These experimental results may help to develop future optical interferometry, optical polarimetry, and subwavelength lithography.


title: STR-GQN: Scene Representation and Rendering for Unknown Cameras Based on Spatial Transformation Routing

abstract: Geometry-aware modules are widely applied in recent deep learning architectures for scene representation and rendering. However, these modules require intrinsic camera information that might not be obtained accurately. In this paper, we propose a Spatial Transformation Routing (STR) mechanism to model the spatial properties without applying any geometric prior. The STR mechanism treats the spatial transformation as the message passing process, and the relation between the view poses and the routing weights is modeled by an end-to-end trainable neural network. Besides, an Occupancy Concept Mapping (OCM) framework is proposed to provide explainable rationals for scene-fusion processes. We conducted experiments on several datasets and show that the proposed STR mechanism improves the performance of the Generative Query Network (GQN). The visualization results reveal that the routing process can pass the observed information from one location of some view to the associated location in the other view, which demonstrates the advantage of the proposed model in terms of spatial cognition.


title: Application of the constituent quark exchange model to the parton distributions and the EMC ratios of $^{12}C$ and $^{14}N$ nuclei

abstract: The quark exchange model (QEM) is reformulated for the $A=12$ and $14$ systems to obtain the constituent quark distributions of $^{12}C$ and $^{14}N$ nuclei, respectively. Afterwards, the different types of the point-like parton distribution functions (PDFs), i.e., the valence quarks, the sea quarks and the gluons, are extracted from the constituent quark model (CQM), at the hadronic scale $Q_0^2=0.34$ $GeV^2$ to generate the constituent quark exchange model (CQEM = QEM $\oplus$ CQM) PDFs. From the resulted PDFs, the structure functions and the European Muon Collaboration (EMC) ratios of the above-mentioned nuclei at the appropriate hadronic scale are calculated. To make our results more comparable with the available experimental data, we evolve the PDFs, by using the standard DGALP evolution equations, to the higher hard scales. Subsequently, the EMC ratios of $^{12}C$ and $^{14}N$ nuclei at the some higher energy scales, corresponding to the scales of available data, are calculated, at the leading (LO) and the next-to-leading (NLO) orders of pQCD. By doing so, it is observed that the EMC ratios do not significantly depend on the hard scale $Q^2$, and the outcomes are consistent with the various experimental data such as HERMES, BCDMS, JLab, SLAC, NMC, and EMC. Especially, in the mid-range of Bjorken $x$ values, the results are so desirable. Like our previous works for the $^4He$ and $^6Li$ nuclei, we again observe that at a fixed scale $Q^2$, the LO and the NLO EMC ratios with high precision are approximately the same. Therefore, one can conclude that at a given hard scale, the LO approximation is good enough for calculating the EMC ratios of light nuclei.


title: Adaptive finite element method for an elliptic optimal control problem with integral state constraints

abstract: In this article, we develop a posteriori error analysis of a nonconforming finite element method for a linear quadratic elliptic distributed optimal control problem with two different set of constraints, namely (i) integral state constraint and integral control constraint (ii) integral state constraint and pointwise control constraints. In the analysis, we have taken the approach of reducing the state-control constrained minimization problem into a state minimization problem obtained by eliminating the control variable. The reliability and efficiency of a posteriori error estimator are discussed. Numerical results are reported to illustrate the behavior of the error estimator.


title: The $3+1$ Formalism in the Geometric Trinity of Gravity

abstract: The geometric trinity of gravity offers a platform in which gravity can be formulated in three analogous approaches, namely curvature, torsion and nonmetricity. In this vein, general relativity can be expressed in three dynamically equivalent ways which may offer insights into the different properties of these decompositions such as their Hamiltonian structure, the efficiency of numerical analyses, as well as the classification of gravitational field degrees of freedom. In this work, we take a $3+1$ decomposition of the teleparallel equivalent of general relativity and the symmetric teleparallel equivalent of general relativity which are both dynamically equivalent to curvature based general relativity. By splitting the spacetime metric and corresponding tetrad into their spatial and temporal parts as well as through finding the Gauss-like equations, it is possible to set up a general foundation for the different formulations of gravity. Based on these results, general $3$-tetrad and $3$-metric evolution equations are derived. Finally through the choice of the two respective connections, the metric $3+1$ formulation for general relativity is recovered as well as the tetrad $3+1$ formulation of the teleparallel equivalent of general relativity and the metric $3+1$ formulation of symmetric teleparallel equivalent of general relativity. The approach is capable, in principle, of resolving common features of the various formulations of general relativity at a fundamental level and pointing out characteristics that extensions and alternatives to the various formulations can present.


title: Certified Compilation of Financial Contracts

abstract: We present an extension to a certified financial contract management system that allows for templated declarative financial contracts and for integration with financial stochastic models through verified compilation into so-called payoff-expressions. Such expressions readily allow for determining the value of a contract in a given evaluation context, such as contexts created for stochastic simulations. The templating mechanism is useful both at the contract specification level, for writing generic reusable contracts, and for reuse of code that, without the templating mechanism, needs to be recompiled for different evaluation contexts. We report on the effect of using the certified system in the context of a GPGPU-based Monte Carlo simulation engine for pricing various over-the-counter (OTC) financial contracts. The full contract-management system, including the payoff-language compilation, is verified in the Coq proof assistant and certified Haskell code is extracted from our Coq development along with Futhark code for use in a data-parallel pricing engine.


title: High Resolution Imaging of a Black Hole Shadow with Millimetron Orbit around Lagrange Point L2

abstract: Imaging of the shadow around supermassive black hole (SMBH) horizon with a very long baseline interferometry (VLBI) is recognized recently as a powerful tool for experimental testing of Einstein's General relativity. The Event Horizon Telescope (EHT) has demonstrated that an Earth-extended VLBI with the maximum long base ($D=10,700$ km) can provide a sufficient angular resolution $\theta\sim 20~\mu$as at $\lambda=1.3$ mm ($\nu=230$ GHz) for imaging the shadow around SMBH located in the galaxy M87$^\ast$. However, the accuracy of critically important characteristics, such as the asymmetry of the crescent-shaped bright structure around the shadow and the sharpness of a transition zone between the shadow floor and the bright crescent silhouette, both of order $\Delta\theta\sim 4~\mu$as, is still to be improved. In our previous paper we have shown that Space-Earth VLBI observation within a joint Millimetron and EHT configuration at the near-Earth high elliptical orbit (HEO) can considerably improve the image quality. Even more solid grounds for firm experimental validation of General relativity can be obtained with a higher resolution available within the joint Millimetron and EHT program at the Lagrangian point L2 in the Sun-Earth system with an expected imaging resolution at 230~GHz of $\Delta\theta\sim 5~\mu$as. In this paper we argue that in spite of limitations of L2 orbit, an adequate sparse $(u,v)$ coverage can be achieved and the imaging of the shadows around Sgr A$^\ast$ and M87$^\ast$ can be performed with a reasonable quality.


title: Dispersionless BKP equation, the Manakov-Santini system and Einstein-Weyl structures

abstract: We construct a map of solutions of the dispersionless BKP (dBKP) equation to solutions of the Manakov-Santini (MS) system. This map defines an Einstein-Weyl structure corresponding to the dBKP equation through the general Lorentzian Einstein-Weyl structure corresponding to the MS system. We give a spectral characterisation of reduction of the MS system which singles out the image of the dBKP equation solutions and also consider more general reductions of this class. We define the BMS system and extend the map defined above to the map (Miura transformation) of solutions of the BMS system to solutions of the MS system, thus obtaining an Einstein-Weyl structure for the BMS system.


title: Strictly Commutative Complex Orientations of $Tmf_1(N)$

abstract: We construct by adapting methods and results of Ando, Hopkins, Rezkand Wilson combined with results of Hopkins and Lawson strictly commu-tative complex orientations for the spectra of topological modular forms with level $\Gamma_1(N)$.


title: Lighthill equation for quantum liquids

abstract: A quantum version of the Lighthill equation that originated in the field of theoretical aeroacoustics is derived for the probability density of a superfluid starting from the time-dependent Gross-Pitaevskii equation. It involves a second-order time derivative and should be supplemented by two-time boundary conditions. Its physical implications are discussed in relation to the quantum equilibrium hypothesis and the general applicability of Born's rule.


title: Rectified Euler k-means and Beyond

abstract: Euler k-means (EulerK) first maps data onto the unit hyper-sphere surface of equi-dimensional space via a complex mapping which induces the robust Euler kernel and next employs the popular $k$-means. Consequently, besides enjoying the virtues of k-means such as simplicity and scalability to large data sets, EulerK is also robust to noises and outliers. Although so, the centroids captured by EulerK deviate from the unit hyper-sphere surface and thus in strict distributional sense, actually are outliers. This weird phenomenon also occurs in some generic kernel clustering methods. Intuitively, using such outlier-like centroids should not be quite reasonable but it is still seldom attended. To eliminate the deviation, we propose two Rectified Euler k-means methods, i.e., REK1 and REK2, which retain the merits of EulerK while acquire real centroids residing on the mapped space to better characterize the data structures. Specifically, REK1 rectifies EulerK by imposing the constraint on the centroids while REK2 views each centroid as the mapped image from a pre-image in the original space and optimizes these pre-images in Euler kernel induced space. Undoubtedly, our proposed REKs can methodologically be extended to solve problems of such a category. Finally, the experiments validate the effectiveness of REK1 and REK2.


title: Anomaly Search with Multiple Plays under Delay and Switching Costs

abstract: The problem of searching for $L$ anomalous processes among $M$ processes is considered. At each time, the decision maker can observe a subset of $K$ processes (i.e., multiple plays). The measurement drawn when observing a process follows one of two different distributions, depending on whether the process is normal or abnormal. The goal is to design a policy that minimizes the Bayes risk which balances between the sample complexity, detection errors, and the switching cost associated with switching across processes. We develop a policy, dubbed consecutive controlled sensing (CCS), to achieve this goal. On the one hand, by contrast to existing studies on controlled sensing, the CCS policy senses processes consecutively to reduce the switching cost. On the other hand, the policy controls the sensing operation in a closed-loop manner to switch between processes when necessary to guarantee reliable inference. We prove theoretically that CCS is asymptotically optimal in terms of minimizing the Bayes risk as the detection error approaches zero (i.e., the sample complexity increases). Simulation results demonstrate strong performance of CCS in the finite regime as well.


title: Analysis of Orbital Configurations for Millimetron Space Observatory

abstract: In this contribution a primary feasibility study of different orbital configurations for Millimetron space observatory is presented. Priority factors and limitations were considered by which it is possible to assess the capabilities of a particular orbit. It included technical and scientific capabilities of each orbit regarding the fuel costs, satellite observability, the quality of very long baseline interferometric (VLBI) imaging observations and source visibilities.


title: Transferring Knowledge Distillation for Multilingual Social Event Detection

abstract: Recently published graph neural networks (GNNs) show promising performance at social event detection tasks. However, most studies are oriented toward monolingual data in languages with abundant training samples. This has left the more common multilingual settings and lesser-spoken languages relatively unexplored. Thus, we present a GNN that incorporates cross-lingual word embeddings for detecting events in multilingual data streams. The first exploit is to make the GNN work with multilingual data. For this, we outline a construction strategy that aligns messages in different languages at both the node and semantic levels. Relationships between messages are established by merging entities that are the same but are referred to in different languages. Non-English message representations are converted into English semantic space via the cross-lingual word embeddings. The resulting message graph is then uniformly encoded by a GNN model. In special cases where a lesser-spoken language needs to be detected, a novel cross-lingual knowledge distillation framework, called CLKD, exploits prior knowledge learned from similar threads in English to make up for the paucity of annotated data. Experiments on both synthetic and real-world datasets show the framework to be highly effective at detection in both multilingual data and in languages where training samples are scarce.


title: A Campanato Regularity Theory for Multi-Valued Functions with Applications to Minimal Surface Regularity Theory

abstract: The regularity theory of the Campanato space $\mathcal{L}^{(q,\lambda)}_k(\Omega)$ has found many applications within the regularity theory of solutions to various geometric variational problems. Here we extend this theory from single-valued functions to multi-valued functions, adapting for the most part Campanato's original ideas (\cite{campanato}). We also give an application of this theory within the regularity theory of stationary integral varifolds. More precisely, we prove a regularity theorem for certain \textit{blow-up classes} of multi-valued functions, which typically arise when studying blow-ups of sequences of stationary integral varifolds converging to higher multiplicity planes or unions of half-planes. In such a setting, based in part on ideas in \cite{wickstable}, \cite{minterwick}, and \cite{beckerwick}, we are able to deduce a boundary regularity theory for multi-valued harmonic functions; such a boundary regularity result would appear to be the first of its kind for the multi-valued setting. In conjunction with \cite{minter}, the results presented here establish a regularity theorem for stable codimension one stationary integral varifolds near classical cones of density $\frac{5}{2}$.


title: Angular dependence of hump-shape Hall Effects for distinguishing between Karplus-Luttinger and Geometrical Origins

abstract: Among various magnetic thin film heterostructures in solid state Physics, two contrasting mechanisms of the hump-shaped Hall Effects remain ambiguous and debated, namely the overlap of two opposite-signed Karplus-Luttinger Hall-loops associated with inhomogeneous collinear magnetic bubbles with perpendicular anisotropy, or the Geometrical/Topological Hall Effect associated with magnetic skyrmions. Their similarity in topology imposes difficulty in discrimination via magnetic imaging. Here, this ambiguity is overcome by the divergence exponent of angle-dependent hump peak fields via magnetic field rotation characterization on several heterostructures. Their difference in sensitivity to in-plane fields reveals that the former mechanism involves higher uniaxial anisotropy than the latter, departing from the pure skyrmion regime described by Ginzburg-Landau framework of triple-q spin-wave superposition. Various materials can be collapsed into a single curve of divergence exponent versus domain wall energy, bridging the crossover of the two aforementioned mechanisms.


title: Detecting Requirements Smells With Deep Learning: Experiences, Challenges and Future Work

abstract: Requirements Engineering (RE) is the initial step towards building a software system. The success or failure of a software project is firmly tied to this phase, based on communication among stakeholders using natural language. The problem with natural language is that it can easily lead to different understandings if it is not expressed precisely by the stakeholders involved, which results in building a product different from the expected one. Previous work proposed to enhance the quality of the software requirements detecting language errors based on ISO 29148 requirements language criteria. The existing solutions apply classical Natural Language Processing (NLP) to detect them. NLP has some limitations, such as domain dependability which results in poor generalization capability. Therefore, this work aims to improve the previous work by creating a manually labeled dataset and using ensemble learning, Deep Learning (DL), and techniques such as word embeddings and transfer learning to overcome the generalization problem that is tied with classical NLP and improve precision and recall metrics using a manually labeled dataset. The current findings show that the dataset is unbalanced and which class examples should be added more. It is tempting to train algorithms even if the dataset is not considerably representative. Whence, the results show that models are overfitting; in Machine Learning this issue is solved by adding more instances to the dataset, improving label quality, removing noise, and reducing the learning algorithms complexity, which is planned for this research.


title: The Differential Spectrum of the Power Mapping $x^{p^n-3}$

abstract: Let $n$ be a positive integer and $p$ a prime. The power mapping $x^{p^n-3}$ over $\mathbb{F}_{p^n}$ has desirable differential properties, and its differential spectra for $p=2,\,3$ have been determined. In this paper, for any odd prime $p$, by investigating certain quadratic character sums and some equations over $\mathbb{F}_{p^n}$, we determine the differential spectrum of $x^{p^n-3}$ with a unified approach. The obtained result shows that for any given odd prime $p$, the differential spectrum can be expressed explicitly in terms of $n$. Compared with previous results, a special elliptic curve over $\mathbb{F}_{p}$ plays an important role in our computation for the general case $p \ge 5$.


title: Cross-lingual Capsule Network for Hate Speech Detection in Social Media

abstract: Most hate speech detection research focuses on a single language, generally English, which limits their generalisability to other languages. In this paper we investigate the cross-lingual hate speech detection task, tackling the problem by adapting the hate speech resources from one language to another. We propose a cross-lingual capsule network learning model coupled with extra domain-specific lexical semantics for hate speech (CCNL-Ex). Our model achieves state-of-the-art performance on benchmark datasets from AMI@Evalita2018 and AMI@Ibereval2018 involving three languages: English, Spanish and Italian, outperforming state-of-the-art baselines on all six language pairs.


title: Path classification by stochastic linear recurrent neural networks

abstract: We investigate the functioning of a classifying biological neural network from the perspective of statistical learning theory, modelled, in a simplified setting, as a continuous-time stochastic recurrent neural network (RNN) with identity activation function. In the purely stochastic (robust) regime, we give a generalisation error bound that holds with high probability, thus showing that the empirical risk minimiser is the best-in-class hypothesis. We show that RNNs retain a partial signature of the paths they are fed as the unique information exploited for training and classification tasks. We argue that these RNNs are easy to train and robust and back these observations with numerical experiments on both synthetic and real data. We also exhibit a trade-off phenomenon between accuracy and robustness.


title: Quantum Gate for Kerr Nonlinear Parametric Oscillator Using Effective Excited States

abstract: A Kerr nonlinear parametric oscillator (KPO) can stabilize a quantum superposition of two coherent states with opposite phases, which can be used as a qubit. In a universal gate set for quantum computation with KPOs, an $R_x$ gate, which interchanges the two coherent states, is relatively hard to perform owing to the stability of the two states. We propose a method for a high-fidelity $R_x$ gate by exciting the KPO outside the qubit space with parity-selective transitions, which can be implemented by only adding a driving field. In this method, the utilization of higher effective excited states leads to a faster $R_x$ gate, rather than states near the qubit space. The proposed method can realize a continuous $R_x$ gate and thus is expected to be useful for, e.g., recently proposed variational quantum algorithms.


title: Approximating Optimal Asset Allocations using Simulated Bifurcation

abstract: This paper investigates the application of Simulated Bifurcation algorithms to approximate optimal asset allocations. It will provide the reader with an explanation of the physical principles underlying the method and a Python implementation of the latter applied to 441 assets belonging to the S&P500 index. In addition, the paper tackles the problem of the selection of an optimal sub-allocation; in this particular case, we find an adequate solution in an unrivaled timescale.


title: Freeze-dried microfluidic monodisperse microbubbles as a new generation of ultrasound contrast agents

abstract: In the paper, we succeeded to freeze-dry monodisperse microbubbles without degrading their size and acoustic properties. We used microfluidic technology to generate highly monodisperse (coefficient of variation, CV<5%) microbubbles and optimized their formulation along with a cryoprotectant. By using a specific technique of retrieval of the bubble, we showed that freeze-drying the microbubbles does not alter their size distribution. To compare the fundamental resonance properties of the bubbles, we performed backscattered acoustic characterization measurements. Our experimental results revealed that the freeze-drying process conserved the acoustic properties of the bubbles. The maximum backscattering power amplitude of fresh and freeze-dried monodisperse PVA bubbles was around ten eight times higher than that of SonoVue at a similar concentration in vitro. By solving the question of storage and transportation of monodisperse bubbles, our work facilitates their penetration in the domain of UCAs, for performing new tasks and developing novel non-invasive measurements, such as pressure, unaccessible to the existing commercialized bubbles.


title: Strong well-posedness, stability and optimal control theory for a mathematical model for magneto-viscoelastic fluids

abstract: In this article, we study the strong well-posedness, stability and optimal control of an incompressible magneto-viscoelastic fluid model in two dimensions. The model consists of an incompressible Navier--Stokes equation for the velocity field, an evolution equation for the deformation tensor, and a gradient flow equation for the magnetization vector. First, we prove that the model under consideration posseses a global strong solution in a suitable functional framework. Second, we derive stability estimates with respect to an external magnetic field. Based on the stability estimates we use the external magnetic field as the control to minimize a cost functional of tracking-type. We prove existence of an optimal control and derive first-order necessary optimality conditions. Finally, we consider a second optimal control problem, where the external magnetic field, which represents the control, is generated by a finite number of fixed magnetic field coils.


title: Optimizing Probabilities in Probabilistic Logic Programs

abstract: Probabilistic Logic Programming is an effective formalism for encoding problems characterized by uncertainty. Some of these problems may require the optimization of probability values subject to constraints among probability distributions of random variables. Here, we introduce a new class of probabilistic logic programs, namely Probabilistic Optimizable Logic Programs, and we provide an effective algorithm to find the best assignment to probabilities of random variables, such that a set of constraints is satisfied and an objective function is optimized. This paper is under consideration for acceptance in Theory and Practice of Logic Programming.


title: Topological Conditional Separation

abstract: Pearl's d-separation is a foundational notion to study conditional independence between random variables. We define the topological conditional separation and we show that it is equivalent to the d-separation, extended beyond acyclic graphs, be they finite or infinite.


title: Nonexpansive maps with surjective displacement

abstract: We investigate necessary and sufficient conditions for a nonexpansive map $f$ on a Banach space $X$ to have surjective displacement, that is, for $f - \mathrm{id}$ to map onto $X$. In particular, we give a computable necessary and sufficient condition when $X$ is a finite dimensional space with a polyhedral norm. We give a similar computable necessary and sufficient condition for a fixed point of a polyhedral norm nonexpansive map to be unique. We also consider applications to nonlinear Perron-Frobenius theory and suggest some additional computable sufficient conditions for surjective displacement and uniqueness of fixed points.


title: Localization in 1D non-parametric latent space models from pairwise affinities

abstract: We consider the problem of estimating latent positions in a one-dimensional torus from pairwise affinities. The observed affinity between a pair of items is modeled as a noisy observation of a function $f(x^*_{i},x^*_{j})$ of the latent positions $x^*_{i},x^*_{j}$ of the two items on the torus. The affinity function $f$ is unknown, and it is only assumed to fulfill some shape constraints ensuring that $f(x,y)$ is large when the distance between $x$ and $y$ is small, and vice-versa. This non-parametric modeling offers a good flexibility to fit data. We introduce an estimation procedure that provably localizes all the latent positions with a maximum error of the order of $\sqrt{\log(n)/n}$, with high-probability. This rate is proven to be minimax optimal. A computationally efficient variant of the procedure is also analyzed under some more restrictive assumptions. Our general results can be instantiated to the problem of statistical seriation, leading to new bounds for the maximum error in the ordering.


title: Causal Inference Theory with Information Dependency Models

abstract: Inferring the potential consequences of an unobserved event is a fundamental scientific question. To this end, Pearl's celebrated do-calculus provides a set of inference rules to derive an interventional probability from an observational one. In this framework, the primitive causal relations are encoded as functional dependencies in a Structural Causal Model (SCM), which are generally mapped into a Directed Acyclic Graph (DAG) in the absence of cycles. In this paper, by contrast, we capture causality without reference to graphs or functional dependencies, but with information fields and Witsenhausen's intrinsic model. The three rules of do-calculus reduce to a unique sufficient condition for conditional independence, the topological separation, which presents interesting theoretical and practical advantages over the d-separation. With this unique rule, we can deal with systems that cannot be represented with DAGs, for instance systems with cycles and/or 'spurious' edges. We treat an example that cannot be handled-to the extent of our knowledge-with the tools of the current literature. We also explain why, in the presence of cycles, the theory of causal inference might require different tools, depending on whether the random variables are discrete or continuous.


title: Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures

abstract: Dealing with context dependent knowledge has led to different formalizations of the notion of context. Among them is the Contextualized Knowledge Repository (CKR) framework, which is rooted in description logics but links on the reasoning side strongly to logic programs and Answer Set Programming (ASP) in particular. The CKR framework caters for reasoning with defeasible axioms and exceptions in contexts, which was extended to knowledge inheritance across contexts in a coverage (specificity) hierarchy. However, the approach supports only this single type of contextual relation and the reasoning procedures work only for restricted hierarchies, due to non-trivial issues with model preference under exceptions. In this paper, we overcome these limitations and present a generalization of CKR hierarchies to multiple contextual relations, along with their interpretation of defeasible axioms and preference. To support reasoning, we use ASP with algebraic measures, which is a recent extension of ASP with weighted formulas over semirings that allows one to associate quantities with interpretations depending on the truth values of propositional atoms. Notably, we show that for a relevant fragment of CKR hierarchies with multiple contextual relations, query answering can be realized with the popular asprin framework. The algebraic measures approach is more powerful and enables e.g. reasoning with epistemic queries over CKRs, which opens interesting perspectives for the use of quantitative ASP extensions in other applications.


title: Metric upper bounds for Steklov and Laplace eigenvalues

abstract: We prove two upper bounds for the Steklov eigenvalues of a compact Riemannian manifold with boundary. The first involves the volume of the manifold and of its boundary, as well as packing and volume growth constants of the boundary and its distortion. Its proof is based on a metric-measure space technique that was introduced by Colbois and Maerten. The second bound is in terms of the extrinsic diameter of the boundary and its injectivity radius. It is obtained from a concentration inequality, akin to Gromov-Milman concentration for closed manifolds. By applying these bounds to cylinders over closed manifold, we obtain bounds for eigenvalues of the Laplace operator, in the spirit of Grigor'yan-Netrusov-Yau and of Berger-Croke. For a family of manifolds that has uniformly bounded volume and boundary of fixed intrinsic geometry, we deduce that a large first nonzero Steklov eigenvalue implies that each boundary component is contained in a ball of small extrinsic radius.


title: Quantitative polarimetry of the disk around HD 169142

abstract: We investigate high resolution imaging polarimetry of HD 169142 taken in the R' and I' bands with the SPHERE/ZIMPOL instrument for an accurate quantitative measurement of the radiation scattered by the circumstellar disk. We observe a strong dependence of the disk polarimetry on the atmospheric turbulences, which strongly impact the AO performance. With our non-coronagraphic data we can analyze the polarimetric signal of the disk simultaneously with the strongly variable stellar PSF, correct for the convolution effects to determine the intrinsic polarization of the disk with high precision. We also extract the disk intensity signal and derive the fractional polarization. We compare the scattered flux from the inner and outer disk rings with the corresponding thermal dust emissions measured in the IR and estimate the ratio between scattered and absorbed radiation. We obtain ratios between the integrated disk polarization flux and total system flux of 0.43% for the R' band and 0.55% for the I' band. This indicates a reddish color for the light reflection by the dust. The inner disk ring contributes about 75% to the total disk flux. The obtained fractional polarization for the bright inner disk ring is 23.6% for the I' band and similar for the R' band. The ratio between scattered disk flux and star flux is about 2.3%. This is much smaller than the derived IR excess of 17.6% for the disk components observed in scattered light. This indicates that only a small fraction of the radiation illuminating the disk is scattered; most is absorbed and reemitted in the IR. We conclude that accurate, quantitative measurements of the scattered light from circumstellar disks are possible with ground based high contrast AO systems, if the PSF convolution effects are properly taken into account, and this provides important new constraints on the properties of the scattering dust.


title: Visualizing the in-gap states in domain boundaries of ultra-thin topological insulator films

abstract: Ultra-thin topological insulators provide a platform of realizing many exotic phenomena such a Quantum spin Hall effect, Quantum anomalous Hall effect, etc. These effects or states are characterized by quantized transport behavior of edge states. Experimentally, although these states have been realized in various systems, the temperature for the edge states to be the dominating channel in transport is extremely low, contrary to the fact that the bulk gap is usually in the order of a few tens of milli-electron volts. There must be other in-gap conduction channels that won't freeze out till a much low temperature. Here we grow ultra-thin topological insulator Bi2Te3 and Sb2Te3 films by molecular beam epitaxy and investigate the structures of domain boundaries in these films. By scanning tunneling microscopy and spectroscopy we find that the domain boundaries with large rotation angles have pronounced in-gap bound states, through which one dimensional conduction channels are suggested to form as visualized by spatially resolved spectroscopy. Our work indicates the critical role played by domain boundaries in degrading the transport properties.


title: An automatic approach to explore multi-reaction mechanism for medium-sized bimolecular reactions via collision dynamics simulations and transition state searches

abstract: We develop a broadly-applicable computational method for the automatic exploration of the bimolecular multi-reaction mechanism. The current methodology mainly involves the high-energy Born-Oppenheimer molecular dynamics (BOMD) simulation and the successive reaction pathway construction. Several computational tricks are introduced, which include the selection of the reactive regions based on the electronic-structure calculations and the employment of the virtual collision-dynamics simulations with monitoring atomic distance before BOMD. These prescreening steps largely reduce the number of trajectories in the BOMD simulations and significantly save computational cost. The hidden Markov model combined with modified atomic connectivity matrix is taken for the detection of reaction events in each BOMD trajectory. Starting from several geometries close to reaction events, the further intermediate optimization and transition-state searches are conducted. The proposed method allows us to build the complicated multi-reaction mechanism of medium-sized bimolecular systems automatically. Here we examine the feasibility and efficiency of the current method by its performance in searching the mechanisms of two prototype reactions in environmental science, which are the penicillin G anion + H2O and the penicillin G anion + OH radical reactions. The result indicates that the proposed theoretical method is a powerful protocol for the automatic searching of the bimolecular reaction mechanisms for medium-sized compounds.


title: The minimal model program for arithmetic surfaces enriched by a Brauer class

abstract: We examine the noncommutative minimal model program for orders on arithmetic surfaces, or equivalently, arithmetic surfaces enriched by a Brauer class $\beta$. When $\beta$ has prime index $p>5$, we show the classical theory extends with analogues of existence of terminal resolutions, Castelnuovo contraction and Zariski factorisation. We also classify $\beta$-terminal surfaces and Castelnuovo contractions, and discover new unexpected behaviour.


title: The sinking dynamics and splitting of a granular droplet

abstract: Recent experimental results have shown that vibro-fluidized, binary granular materials exhibit Rayleigh-Taylor-like instabilities that manifest themselves in rising plumes, rising bubbles and the sinking and splitting of granular droplets. This work explores the physics behind the splitting of a granular droplet that is composed of smaller and denser particles in a bed of larger and lighter particles. During its sinking motion, a granular droplet undergoes a series of binary splits resembling the fragmentation of a liquid droplet falling in a miscible fluid. However, different physical mechanisms cause a granular droplet to split. By applying particle-image-velocimetry and numerical simulations, we demonstrate that the droplet of high-density particles causes the formation of an immobilized zone underneath the droplet. This zone obstructs the downwards motion of the droplet and causes the droplet to spread and ultimately to split. The resulting fragments sink at inclined trajectories around the immobilized zone until another splitting event is initiated. The occurrence of consecutive splitting events is explained by the re-formation of an immobilized zone underneath the droplet fragments. Our investigations identified three requirements for a granular droplet to split: 1) frictional inter-particle contacts, 2) a higher density of the particles composing the granular droplet compared to the bulk particles and 3) and a minimal granular droplet diameter.


title: When Googling it doesn't work: The challenge of finding security advice for smart home devices

abstract: As users increasingly introduce Internet-connected devices into their homes, having access to accurate and relevant cyber security information is a fundamental means of ensuring safe use. Given the paucity of information provided with many devices at the time of purchase, this paper engages in a critical study of the type of advice that home Internet of Things (IoT) or smart device users might be presented with on the Internet to inform their cyber security practices. We base our research on an analysis of 427 web pages from 234 organisations that present information on security threats and relevant cyber security advice. The results show that users searching online for information are subject to an enormous range of advice and news from various sources with differing levels of credibility and relevance. With no clear explanation of how a user may assess the threats as they are pertinent to them, it becomes difficult to understand which pieces of advice would be the most effective in their situation. Recommendations are made to improve the clarity, consistency and availability of guidance from recognised sources to improve user access and understanding.


title: Scaling of relaxation and excess entropy in plastically deformed amorphous solids

abstract: When stressed sufficiently, solid materials yield and deform plastically via reorganization of microscopic constituents. Indeed, it is possible to alter the micro-structure of materials by judicious application of stress, an empirical pro- cess utilized in practice to enhance the mechanical properties of metals. Un- derstanding the interdependence of plastic flow and microscopic structure in these non-equilibrium states, however, remains a major challenge. Here, we ex- perimentally investigate this relationship, between the relaxation dynamics and microscopic structure of disordered colloidal solids during plastic deformation. We apply oscillatory shear to solid colloidal monolayers and study their particle trajectories as a function of shear rate in the plastic regime. Under these cir- cumstances, the strain rate, the relaxation rate associated with plastic flow, and the sample microscopic structure oscillate together but with different phases. Interestingly, the experiments reveal that the relaxation rate associated with plastic flow at time t is correlated with the strain rate and sample microscopic structure measured at earlier and later times, respectively. The relaxation rate, in this non-stationary condition, exhibits power-law shear-thinning behavior and scales exponentially with sample excess entropy. Thus, measurement of sample static structure (excess entropy) provides insight about both strain-rate and constituent rearrangement dynamics in the sample at earlier times.


title: Fluctuations of the free energy of the mixed $p$-spin mean field spin glass model

abstract: We prove the convergence in distribution of the fluctuations of the free energy of the mixed $p$-spin Sherrington-Kirkpatrick model with non-vanishing $2$-spin component at high enough temperature. The limit is Gaussian, and the fluctuations are seen to arise from weighted cycle counts in the complete graph on the spin indices weighted by the $2$-spin interaction matrix.


title: A Pomeranzian Growth Theory of the Great Divergence

abstract: This study constructs a growth model of the Great Divergence that formalizes Pomeranz's (2000) hypothesis that the relief of land constraints in Europe has caused divergence in economic growth between Europe and China since the 19th century. The model consists of the agricultural and manufacturing sectors. The agricultural sector produces subsistence goods from land, intermediate goods from the manufacturing sector, and labor. The manufacturing sector produces goods from labor, and its productivity grows through the learning-by-doing of full-time manufacturing workers. Households make fertility decisions. In the model, a large exogenous positive shock in land supply causes the transition of the economy from the Malthusian state, in which all workers are engaged in agricultural production and per capita income is constant, to the non-Malthusian state, in which the share of workers engaged in agricultural production gradually decreases and per capita income grows at a roughly constant growth rate. The quantitative predictions of the model provide several insights into the causes of the Great Divergence.


title: Learning Objectives, Insights, and Assessments: How Specification Formats Impact Design

abstract: Despite the ubiquity of communicative visualizations, specifying communicative intent during design is ad hoc. Whether we are selecting from a set of visualizations, commissioning someone to produce them, or creating them ourselves, an effective way of specifying intent can help guide this process. Ideally, we would have a concise and shared specification language. In previous work, we have argued that communicative intents can be viewed as a learning/assessment problem (i.e., what should the reader learn and what test should they do well on). Learning-based specification formats are linked (e.g., assessments are derived from objectives) but some may more effectively specify communicative intent. Through a large-scale experiment, we studied three specification types: learning objectives, insights, and assessments. Participants, guided by one of these specifications, rated their preferences for a set of visualization designs. Then, we evaluated the set of visualization designs to assess which specification led participants to prefer the most effective visualizations. We find that while all specification types have benefits over no-specification, each format has its own advantages. Our results show that learning objective-based specifications helped participants the most in visualization selection. We also identify situations in which specifications may be insufficient and assessments are vital.


title: Continua with non-local constitutive laws: exploitation of entropy inequality

abstract: In this paper, we consider a system of balance laws sufficiently general to contain the equations describing the thermomechanics of a one-dimensional continuum; this system involves some constitutive functions depending on the elements of the so called state space assumed to contain the spatial gradients of some of the unknown fields. The compatibility of the constitutive equations with an entropy-like principle is considered via an extended Liu procedure by using as constraints both the balance equations and some of their gradient extensions. This procedure is then applied to the equations of a fluid whose description involves an internal variable and first order non-local constitutive relations, and to a Korteweg fluid with second order non-localities. In both cases, the restrictions placed by an entropy inequality are solved, and an explicit solution for the constitutive equations is provided.


title: A Minimal Space Interferometer Configuration for Imaging at Low Radio Frequencies

abstract: The radio sky at lower frequencies, particularly below 20 MHz, is expected to be a combination of increasingly bright non-thermal emission and significant absorption from intervening thermal plasma. The sky maps at these frequencies cannot therefore be obtained by simple extrapolation of those at higher frequencies. However, due to severe constraints in ground-based observations, this spectral window still remains greatly unexplored. In this paper, we propose and study, through simulations, a novel minimal configuration for a space interferometer system which would enable imaging of the radio sky at frequencies well below 20 MHz with angular resolutions comparable to those achieved at higher radio frequencies in ground-based observations by using the aperture-synthesis technique. The minimal configuration consists of three apertures aboard Low Earth Orbit (LEO) satellites orbiting the Earth in mutually orthogonal orbits. Orbital periods for the satellites are deliberately chosen to differ from each other so as to obtain maximum (u, v) coverage in short time spans with baselines greater than 15000 km, thus, giving us angular resolutions finer than 10 arcsec even at these low frequencies. The sensitivity of the (u, v) coverage is assessed by varying the orbit and the initial phase of the satellites. We discuss the results obtained from these simulations and highlight the advantages of such a system.


title: Beyond the Hausdorff Metric in Digital Topology

abstract: Two objects may be close in the Hausdorff metric, yet have very different geometric and topological properties. We examine other methods of comparing digital images such that objects close in each of these measures have some similar geometric or topological property. Such measures may be combined with the Hausdorff metric to yield a metric in which close images are similar with respect to multiple properties.


title: Quantum Propagators for Geodesic Congruences

abstract: Using the Raychaudhuri equation, we show that a quantum probability amplitude (Feynman propagator) can be univocally associated to any timelike or null affinely parametrized geodesic congruence.


title: TS4Net: Two-Stage Sample Selective Strategy for Rotating Object Detection

abstract: Rotating object detection has wide applications in aerial photographs, remote sensing images, UAVs, etc. At present, most of the rotating object detection datasets focus on the field of remote sensing, and these images are usually shot in high-altitude scenes. However, image datasets captured at low-altitude areas also should be concerned, such as drone-based datasets. So we present a low-altitude dronebased dataset, named UAV-ROD, aiming to promote the research and development in rotating object detection and UAV applications. The UAV-ROD consists of 1577 images and 30,090 instances of car category annotated by oriented bounding boxes. In particular, The UAV-ROD can be utilized for the rotating object detection, vehicle orientation recognition and object counting tasks. Compared with horizontal object detection, the regression stage of the rotation detection is a tricky problem. In this paper, we propose a rotating object detector TS4Net, which contains anchor refinement module (ARM) and two-stage sample selective strategy (TS4). The ARM can convert preseted horizontal anchors into high-quality rotated anchors through twostage anchor refinement. The TS4 module utilizes different constrained sample selective strategies to allocate positive and negative samples, which is adaptive to the regression task in different stages. Benefiting from the ARM and TS4, the TS4Net can achieve superior performance for rotating object detection solely with one preseted horizontal anchor. Extensive experimental results on UAV-ROD dataset and three remote sensing datasets DOTA, HRSC2016 and UCAS-AOD demonstrate that our method achieves competitive performance against most state-of-the-art methods.


title: Uncertainty-Based Dynamic Graph Neighborhoods For Medical Segmentation

abstract: In recent years, deep learning based methods have shown success in essential medical image analysis tasks such as segmentation. Post-processing and refining the results of segmentation is a common practice to decrease the misclassifications originating from the segmentation network. In addition to widely used methods like Conditional Random Fields (CRFs) which focus on the structure of the segmented volume/area, a graph-based recent approach makes use of certain and uncertain points in a graph and refines the segmentation according to a small graph convolutional network (GCN). However, there are two drawbacks of the approach: most of the edges in the graph are assigned randomly and the GCN is trained independently from the segmentation network. To address these issues, we define a new neighbor-selection mechanism according to feature distances and combine the two networks in the training procedure. According to the experimental results on pancreas segmentation from Computed Tomography (CT) images, we demonstrate improvement in the quantitative measures. Also, examining the dynamic neighbors created by our method, edges between semantically similar image parts are observed. The proposed method also shows qualitative enhancements in the segmentation maps, as demonstrated in the visual results.


title: Interplay of magnetism and dimerization in pressurized Kitaev material $\beta$-Li$_2$IrO$_3$

abstract: We present magnetization measurements on polycrystalline $\beta$-Li$_2$IrO$_3$ under hydrostatic pressures up to 3~GPa and construct the temperature-pressure phase diagram of this material. Our data confirm that magnetic order breaks down in a first-order phase transition at $p_{\rm{c}}$ $\approx$ 1.4~GPa and additionally reveal a step-like feature -- magnetic signature of structural dimerization -- that appears at $p_{\rm{c}}$ and shifts to higher temperatures upon further compression. Following the structural study by L. S. I. Veiga et al. [Phys. Rev. B 100, 064104 (2019)], we suggest that a partially dimerized phase with a mixture of magnetic and non-magnetic Ir$^{4+}$ sites develops above $p_{\rm{c}}$. This phase is thermodynamically stable between 1.7 and 2.7~GPa according to our ab initio calculations. It confines the magnetic Ir$^{4+}$ sites to weakly coupled tetramers with a singlet ground state and no long-range magnetic order. Our results rule out the formation of a pressure-induced spin-liquid phase in $\beta$-Li$_2$IrO$_3$ and reveal peculiarities of the magnetism collapse transition in a Kitaev material. We also show that a compressive strain imposed by the pressure treatment of $\beta$-Li$_2$IrO$_3$ enhances signatures of the 100~K magnetic anomaly at ambient pressure.


title: Translation of Werner Heisenberg's Paper "Quantum-Theoretical Reinterpretation of Kinematic and Mechanical Relations" Zeitschrift f\"{u}r Physik 33, 1925, 879-893 into Czech language

abstract: To facilitate teaching of quantum mechanics on undergraduate and even advanced secondary school levels, we present an unabridged translation of the original German text of the famous Werner Heisenberg's breakthrough paper of 1925 into Czech language. While the paper introduces fundamentally new concepts into mechanics, and it contains a relatively large number of equations, its conceptual side is surprisingly lightweight when it comes to the use of advanced mathematics. The discussions contained in its Section 1 allow students of quantum mechanics to contemplate the reasons for the inadequacy of classical kinematic concepts in the micro-world. Understanding of the kinematic transition from real valued functions to complex valued "matrices", which is the central point of the paper, can be reached with relatively elementary mathematics. Translations of the Heisenberg's work into languages other than English provide a unique opportunity to introduce the great scientific concepts of quantum mechanics first hand to a broader audience of students who have yet to reach proficiency in the current scientific lingua franca. The present translation is equipped with footnotes explaining the notation, identifying several typos and pointing out sudden changes in notation in the original paper.


abstract: In this paper, we present a Stochastic Deep Neural Network-based Model Reference Adaptive Control. Building on our work "Deep Model Reference Adaptive Control", we extend the controller capability by using Bayesian deep neural networks (DNN) to represent uncertainties and model non-linearities. Stochastic Deep Model Reference Adaptive Control uses a Lyapunov-based method to adapt the output-layer weights of the DNN model in real-time, while a data-driven supervised learning algorithm is used to update the inner-layers parameters. This asynchronous network update ensures boundedness and guaranteed tracking performance with a learning-based real-time feedback controller. A Bayesian approach to DNN learning helped avoid over-fitting the data and provide confidence intervals over the predictions. The controller's stochastic nature also ensured "Induced Persistency of excitation," leading to convergence of the overall system signal.


title: Kink-antikink stripe interactions in the two-dimensional sine-Gordon equation

abstract: The main focus of the present work is to study quasi-one-dimensional kink-antikink stripes embedded in the two-dimensional sine-Gordon equation. Using variational techniques, we reduce the interaction dynamics between a kink and an antikink stripe on their respective time and space dependent widths and locations. The resulting reduced system of coupled equations is found to accurately describe the width and undulation dynamics of a single kink stripe as well as that of interacting ones. As an aside, we also discuss two related topics: the computational identification of the kink center and its numerical implications and alternative perturbative and multiple scales approaches to the transverse direction induced dynamics for a single kink stripe in the two-dimensional realm.


title: Computation and Communication Co-Design for Real-Time Monitoring and Control in Multi-Agent Systems

abstract: We investigate the problem of co-designing computation and communication in a multi-agent system (e.g. a sensor network or a multi-robot team). We consider the realistic setting where each agent acquires sensor data and is capable of local processing before sending updates to a base station, which is in charge of making decisions or monitoring phenomena of interest in real time. Longer processing at an agent leads to more informative updates but also larger delays, giving rise to a delay-accuracy-tradeoff in choosing the right amount of local processing at each agent. We assume that the available communication resources are limited due to interference, bandwidth, and power constraints. Thus, a scheduling policy needs to be designed to suitably share the communication channel among the agents. To that end, we develop a general formulation to jointly optimize the local processing at the agents and the scheduling of transmissions. Our novel formulation leverages the notion of Age of Information to quantify the freshness of data and capture the delays caused by computation and communication. We develop efficient resource allocation algorithms using the Whittle index approach and demonstrate our proposed algorithms in two practical applications: multi-agent occupancy grid mapping in time-varying environments, and ride sharing in autonomous vehicle networks. Our experiments show that the proposed co-design approach leads to a substantial performance improvement (18-82% in our tests).


title: Integral points in orbits in characteristic $p$

abstract: We prove a characteristic $p$ version of a theorem of Silverman on integral points in orbits over number fields and establish a primitive prime divisor theorem for polynomials in this setting. We provide some applications of these results, including a finite index theorem for arboreal representations coming from quadratic polynomials over function fields of odd characteristic.


title: Contrastive Learning for View Classification of Echocardiograms

abstract: Analysis of cardiac ultrasound images is commonly performed in routine clinical practice for quantification of cardiac function. Its increasing automation frequently employs deep learning networks that are trained to predict disease or detect image features. However, such models are extremely data-hungry and training requires labelling of many thousands of images by experienced clinicians. Here we propose the use of contrastive learning to mitigate the labelling bottleneck. We train view classification models for imbalanced cardiac ultrasound datasets and show improved performance for views/classes for which minimal labelled data is available. Compared to a naive baseline model, we achieve an improvement in F1 score of up to 26% in those views while maintaining state-of-the-art performance for the views with sufficiently many labelled training observations.


title: Beyond Cuts in Small Signal Scenarios -- Enhanced Sneutrino Detectability Using Machine Learning

abstract: We investigate enhancing the sensitivity of new physics searches at the LHC by machine learning in the case of background dominance and a high degree of overlap between the observables for signal and background. We use two different models, XGBoost and a deep neural network, to exploit correlations between observables and compare this approach to the traditional cut-and-count method. We consider different methods to analyze the models' output, finding that a template fit generally performs better than a simple cut. By means of a Shapley decomposition, we gain additional insight into the relationship between event kinematics and the machine learning model output. We consider a supersymmetric scenario with a metastable sneutrino as a concrete example, but the methodology can be applied to a much wider class of models.


title: Purely elastic linear instabilities in parallel shear flows with free-slip boundary conditions

abstract: We perform a linear stability analysis of viscoelastic plane Couette and plane Poiseuille flows with free-slip boundary conditions. The fluid is described by the Oldroyd-B constitutive model, and the flows are driven by a suitable body force. We find that both types of flow become linearly unstable, and we characterise the spatial structure of the unstable modes. By performing a boundary condition homotopy from the free-slip to no-slip boundaries, we demonstrate that the unstable modes are directly related to the least stable modes of the no-slip problem, destabilised under the free-slip situation. We discuss how our observations can be used to study recently discovered purely elastic turbulence in parallel shear flows.


title: The line graph of a tree and its edge ideal

abstract: We describe all the trees with the property that the corresponding edge ideal of their line graph has a linear resolution. As a consequence, we give a complete characterization of those trees $T$ for which the line graph $L(T)$ is co-chordal. We also compute the second Betti number of the edge ideal of $L(T)$ and we determine the number of cycles in $\overline{L(T)}$. As a consequence, we obtain also the first Zagreb index of a graph. For edge ideals of line graphs of caterpillar graphs we determine the Krull dimension, the Castelnuovo-Mumford regularity, and the projective dimension under some additional assumption on the degrees of the cutpoints.


title: Derivation of the Redfield quantum master equation and corrections to it by the Bogoliubov method

abstract: Following the ideas N. N. Bogoliubov used to derive the classical and quantum nonlinear kinetic equations, we give an alternative derivation of the Redfield quantum linear master equation, which is widely used in the theory of open quantum systems, as well as higher-order corrections to it. This derivation naturally considers initially correlated system-reservoir states arising from the previous system-reservoir dynamics. It turns out that the Redfield equation does not require any modifications in this case. The expressions of higher-order corrections are simpler than those obtained by other methods.