title: Anisotropic Thermal Conductivity Measurement of Organic Thin Film with Bidirectional 3omega Method

abstract: Organic thin film materials with molecular ordering are gaining attention as they exhibit semiconductor characteristics. When using them for electronics, the thermal management becomes important, where heat dissipation is directional owning to the anisotropic thermal conductivity arising from the molecular ordering. However, it is difficult to evaluate the anisotropy by simultaneously measuring in-plane and cross-plane thermal conductivities of the film on a substrate, because the film is typically as thin as tens to hundreds of nanometers and its in-plane thermal conductivity is low. Here, we develop a novel bidirectional 3{\omega} system that measures the anisotropic thermal conductivity of thin films by patterning two metal wires with different widths and preparing the films on top, and extracting the in-plane and cross-plane thermal conductivities using the difference in their sensitivities to the metal-wire width. Using the developed system, the thermal conductivity of spin-coated poly(3,4-ethylenedioxythiophene) olystyrene sulfonate (PEDOT:PSS) with thickness of 70 nm was successfully measured. The measured in-plane thermal conductivity of PEDOT:PSS film was as high as 2.9 W m-1 K-1 presumably due to the high structural ordering, giving anisotropy of 10. The calculations of measurement sensitivity to the film thickness and thermal conductivities suggest that the device can be applied to much thinner films by utilizing metal wires with smaller width.


title: A Bioinspired Approach-Sensitive Neural Network for Collision Detection in Cluttered and Dynamic Backgrounds

abstract: Rapid, accurate and robust detection of looming objects in cluttered moving backgrounds is a significant and challenging problem for robotic visual systems to perform collision detection and avoidance tasks. Inspired by the neural circuit of elementary motion vision in the mammalian retina, this paper proposes a bioinspired approach-sensitive neural network (ASNN) that contains three main contributions. Firstly, a direction-selective visual processing module is built based on the spatiotemporal energy framework, which can estimate motion direction accurately via only two mutually perpendicular spatiotemporal filtering channels. Secondly, a novel approach-sensitive neural network is modeled as a push-pull structure formed by ON and OFF pathways, which responds strongly to approaching motion while insensitivity to lateral motion. Finally, a method of directionally selective inhibition is introduced, which is able to suppress the translational backgrounds effectively. Extensive synthetic and real robotic experiments show that the proposed model is able to not only detect collision accurately and robustly in cluttered and dynamic backgrounds but also extract more collision information like position and direction, for guiding rapid decision making.


title: CARMI: A Cache-Aware Learned Index with a Cost-based Construction Algorithm

abstract: Learned indexes, which use machine learning models to replace traditional index structures, have shown promising results in recent studies. However, existing learned indexes exhibit a performance gap between synthetic and real-world datasets, making them far from practical indexes. In this paper, we identify that ignoring the importance of data partitioning during model training is the main reason for this problem. Thus, we explicitly apply data partitioning to index construction and propose a new efficient and updatable cache-aware RMI framework, called CARMI. Specifically, we introduce entropy as a metric to quantify and characterize the effectiveness of data partitioning of tree nodes in learned indexes and propose a novel cost model, laying a new theoretical foundation for future research. Then, based on our novel cost model, CARMI can automatically determine tree structures and model types under various datasets and workloads by a hybrid construction algorithm without any manual tuning. Furthermore, since memory accesses limit the performance of RMIs, a new cache-aware design is also applied in CARMI, which makes full use of the characteristics of the CPU cache to effectively reduce the number of memory accesses. Our experimental study shows that CARMI performs better than baselines, achieving an average of 2.2x/1.9x speedup compared to B+ Tree/ALEX, while using only about 0.77x memory space of B+ Tree. On the SOSD platform, CARMI outperforms all baselines, with an average speedup of 1.2x over the nearest competitor RMI, which has been carefully tuned for each dataset in advance.


title: Dynamic Underwater Acoustic Channel Tracking for Correlated Rapidly Time-varying Channels

abstract: In this work, we focus on the model-mismatch problem for model-based subspace channel tracking in the correlated underwater acoustic channel. A model based on the underwater acoustic channel's correlation can be used as the state-space model in the Kalman filter to improve the underwater acoustic channel tracking compared that without a model. Even though the data support the assumption that the model is slow-varying and uncorrelated to some degree, to improve the tracking performance further, we can not ignore the model-mismatch problem because most channel models encounter this problem in the underwater acoustic channel. Therefore, in this work, we provide a dynamic time-variant state-space model for underwater acoustic channel tracking. This model is tolerant to the slight correlation after decorrelation. Moreover, a forward-backward Kalman filter is combined to further improve the tracking performance. The performance of our proposed algorithm is demonstrated with the same at-sea data as that used for conventional channel tracking. Compared with the conventional algorithms, the proposed algorithm shows significant improvement, especially in rough sea conditions in which the channels are fast-varying.


title: Learning to Enhance Low-Light Image via Zero-Reference Deep Curve Estimation

abstract: This paper presents a novel method, Zero-Reference Deep Curve Estimation (Zero-DCE), which formulates light enhancement as a task of image-specific curve estimation with a deep network. Our method trains a lightweight deep network, DCE-Net, to estimate pixel-wise and high-order curves for dynamic range adjustment of a given image. The curve estimation is specially designed, considering pixel value range, monotonicity, and differentiability. Zero-DCE is appealing in its relaxed assumption on reference images, i.e., it does not require any paired or even unpaired data during training. This is achieved through a set of carefully formulated non-reference loss functions, which implicitly measure the enhancement quality and drive the learning of the network. Despite its simplicity, we show that it generalizes well to diverse lighting conditions. Our method is efficient as image enhancement can be achieved by an intuitive and simple nonlinear curve mapping. We further present an accelerated and light version of Zero-DCE, called Zero-DCE++, that takes advantage of a tiny network with just 10K parameters. Zero-DCE++ has a fast inference speed (1000/11 FPS on a single GPU/CPU for an image of size 1200*900*3) while keeping the enhancement performance of Zero-DCE. Extensive experiments on various benchmarks demonstrate the advantages of our method over state-of-the-art methods qualitatively and quantitatively. Furthermore, the potential benefits of our method to face detection in the dark are discussed. The source code will be made publicly available at https://li-chongyi.github.io/Proj_Zero-DCE++.html.


title: Vorticity-induced anomalous Hall effect in electron fluid

abstract: We develop a hydrodynamic theory for an electron system exhibiting the anomalous Hall effect, and show that an additional anomalous Hall effect is induced by a vorticity generated near boundaries. We calculate the momentum flux and force proportional to the electric field using linear response theory. The hydrodynamic equation is obtained by replacing the local electric field with the electric current, focusing on a scale that is sufficiently larger than the mean free path. It is demonstrated that there is a coupling between a vorticity of an electric current and a magnetization which generates a pressure from non-uniform vorticity. Taking into account Hall viscosity and relaxation forces, a non-uniform flow near a boundary and an additional Hall force are calculated. The additional anomalous Hall force is opposite to conventional anomalous Hall force, resulting in a sign reversal in thin systems.


title: IntelliGen: Automatic Driver Synthesis for FuzzTesting

abstract: Fuzzing is a technique widely used in vulnerability detection. The process usually involves writing effective fuzz driver programs, which, when done manually, can be extremely labor intensive. Previous attempts at automation leave much to be desired, in either degree of automation or quality of output. In this paper, we propose IntelliGen, a framework that constructs valid fuzz drivers automatically. First, IntelliGen determines a set of entry functions and evaluates their respective chance of exhibiting a vulnerability. Then, IntelliGen generates fuzz drivers for the entry functions through hierarchical parameter replacement and type inference. We implemented IntelliGen and evaluated its effectiveness on real-world programs selected from the Android Open-Source Project, Google's fuzzer-test-suite and industrial collaborators. IntelliGen covered on average 1.08X-2.03X more basic blocks and 1.36X-2.06X more paths over state-of-the-art fuzz driver synthesizers FUDGE and FuzzGen. IntelliGen performed on par with manually written drivers and found 10 more bugs.


title: Emergent O(4) symmetry at the phase transition from plaquette-singlet to antiferromagnetic order in quasi-two-dimensional quantum magnets

abstract: Recent experiments [J. Guo et al., Phys. Rev. Lett.124,206602 (2020)] on thermodynamic properties of the frustrated layered quantum magnet SrCu$_2$(BO$_3$)$_2$ -- the Shastry-Sutherland material -- have provided strong evidence for a low-temperature phase transition between plaquette-singlet and antiferromagnetic order as a function of pressure. Further motivated by the recently discovered unusual first-order quantum phase transition with an apparent emergent O(4) symmetry of the antiferromagnetic and plaquette-singlet order parameters in a two-dimensional "checkerboard J-Q" quantum spin model [B. Zhao et al., Nat. Phys. 15, 678 (2019)], we here study the same model in the presence of weak inter-layer couplings. Our focus is on the evolution of the emergent symmetry as the system crosses over from two to three dimensions and the phase transition extends from strictly zero temperature in two dimensions up to finite temperature as expected in SrCu$_2$(BO$_3$)$_2$. Using quantum Monte Carlo simulations, we map out the phase boundaries of the plaquette-singlet and antiferromagnetic phases, with particular focus on the triple point where these two order phases meet the paramagnetic phase for given strength of the inter-layer coupling. All transitions are first-order in the neighborhood of the triple points. We show that the emergent O(4) symmetry of the coexistence state breaks down clearly when the interlayer coupling becomes sufficiently large, but for a weak coupling, of the magnitude expected experimentally, the enlarged symmetry can still be observed at the triple point up to significant length scales. Thus, it is likely that the plaquette-singlet to antiferromagnetic transition in SrCu$_2$(BO$_3$)$_2$ exhibits remnants of emergent O(4) symmetry, which should be observable due to additional weakly gapped Goldstone modes.


title: Separating ABPs and Some Structured Formulas in the Non-Commutative Setting

abstract: The motivating question for this work is a long standing open problem, posed by Nisan (1991), regarding the relative powers of algebraic branching programs (ABPs) and formulas in the non-commutative setting. Even though the general question continues to remain open, we make some progress towards its resolution. To that effect, we generalise the notion of ordered polynomials in the non-commutative setting (defined by \Hrubes, Wigderson and Yehudayoff (2011)) to define abecedarian polynomials and models that naturally compute them. Our main contribution is a possible new approach towards separating formulas and ABPs in the non-commutative setting, via lower bounds against abecedarian formulas. In particular, we show the following. There is an explicit n-variate degree d abecedarian polynomial $f_{n,d}(x)$ such that 1. $f_{n, d}(x)$ can be computed by an abecedarian ABP of size O(nd); 2. any abecedarian formula computing $f_{n, \log n}(x)$ must have size that is super-polynomial in n. We also show that a super-polynomial lower bound against abecedarian formulas for $f_{\log n, n}(x)$ would separate the powers of formulas and ABPs in the non-commutative setting.


title: Chemo-mechanical model of a cell as a stochastic active gel

abstract: While it is commonly observed that the shape dynamics of mammalian cells can undergo large random fluctuations, theoretical models aiming at capturing cell mechanics often focus on the deterministic part of the motion. In this paper, we present a framework that couples an active gel model of the cell mechanical scaffold with the complex cell metabolic system stochastically delivering the chemical energy needed to sustain an active stress in the scaffold. Our closure assumption setting the magnitude of the fluctuations is that the chemo-mechanical free energy of the cell is controlled at a target homeostatic value. Our model rationalizes the experimental observation that the cell shape fluctuations depend on the mechanical environment that constraints the cell. We apply our framework to the simple case of a cell migrating on a one dimensional track to successfully capture the different regimes of the cell mean square displacement along the track as well as the magnitude of the long time scale effective diffusive motion of the cell.


title: Pyramid Transform of Manifold Data via Subdivision Operators

abstract: Multiscale transforms have become a key ingredient in many data processing tasks. With technological development, we observe a growing demand for methods to cope with non-linear data structures such as manifold values. In this paper, we propose a multiscale approach for analyzing manifold-valued data using a pyramid transform. The transform uses a unique class of downsampling operators that enable a non-interpolating subdivision schemes as upsampling operators. We describe this construction in detail and present its analytical properties, including stability and coefficient decay. Next, we numerically demonstrate the results and show the application of our method to denoising and anomaly detection.


title: Suppression of synchronous spiking in two interacting populations of excitatory and inhibitory quadratic integrate-and-fire neurons

abstract: Collective oscillations and their suppression by external stimulation are analyzed in a large-scale neural network consisting of two interacting populations of excitatory and inhibitory quadratic integrate-and-fire neurons. In the limit of an infinite number of neurons, the microscopic model of this network can be reduced to an exact low-dimensional system of mean-field equations. Bifurcation analysis of these equations reveals three different dynamic modes in a free network: a stable resting state, a stable limit cycle, and bistability with a coexisting resting state and a limit cycle. We show that in the limit cycle mode, high-frequency stimulation of an inhibitory population can stabilize an unstable resting state and effectively suppress collective oscillations. We also show that in the bistable mode, the dynamics of the network can be switched from a stable limit cycle to a stable resting state by applying an inhibitory pulse to the excitatory population. The results obtained from the mean-field equations are confirmed by numerical simulation of the microscopic model.


title: Panoramic Panoptic Segmentation: Towards Complete Surrounding Understanding via Unsupervised Contrastive Learning

abstract: In this work, we introduce panoramic panoptic segmentation as the most holistic scene understanding both in terms of field of view and image level understanding for standard camera based input. A complete surrounding understanding provides a maximum of information to the agent, which is essential for any intelligent vehicle in order to make informed decisions in a safety-critical dynamic environment such as real-world traffic. In order to overcome the lack of annotated panoramic images, we propose a framework which allows model training on standard pinhole images and transfers the learned features to a different domain. Using our proposed method, we manage to achieve significant improvements of over 5% measured in PQ over non-adapted models on our Wild Panoramic Panoptic Segmentation (WildPPS) dataset. We show that our proposed Panoramic Robust Feature (PRF) framework is not only suitable to improve performance on panoramic images but can be beneficial whenever model training and deployment are executed on data taken from different distributions. As an additional contribution, we publish WildPPS: The first panoramic panoptic image dataset to foster progress in surrounding perception.


title: Fool Me Once: Robust Selective Segmentation via Out-of-Distribution Detection with Contrastive Learning

abstract: In this work, we train a network to simultaneously perform segmentation and pixel-wise Out-of-Distribution (OoD) detection, such that the segmentation of unknown regions of scenes can be rejected. This is made possible by leveraging an OoD dataset with a novel contrastive objective and data augmentation scheme. By combining data including unknown classes in the training data, a more robust feature representation can be learned with known classes represented distinctly from those unknown. When presented with unknown classes or conditions, many current approaches for segmentation frequently exhibit high confidence in their inaccurate segmentations and cannot be trusted in many operational environments. We validate our system on a real-world dataset of unusual driving scenes, and show that by selectively segmenting scenes based on what is predicted as OoD, we can increase the segmentation accuracy by an IoU of 0.2 with respect to alternative techniques.


title: TwoPhaseFlow: An OpenFOAM based framework for development of two phase flow solvers

abstract: One of the prevailing challenges in Computational Fluid Dynamics is accurate simulation of two-phase flows involving heat and mass transfer across the fluid interface. This is currently an active field of research, which is to some extend impaired by a lack of a common programming framework for implementing and testing new models. Here we present a new OpenFOAM based open-source framework allowing fast implementation and test of new phase change and surface tension force models. Capitalizing on the runtime-selection mechanism in OpenFOAM, the new models can easily be selected and compared to analytical solutions and existing models. As a start, the framework includes the following curvature calculation methods for surface tension: height function, parabolic fit, and reconstructed distance function method. As for phase change, interface heat resistance and direct heat flux models are available. These can be combined with three solvers covering the range from isothermal, incompressible flow to non-isothermal, compressible flow with conjugated heat transfer. By design, addition of new models and solvers is straightforward and users are invited to contribute their specific models, solvers, and validation cases to the library.


title: FineNet: Frame Interpolation and Enhancement for Face Video Deblurring

abstract: The objective of this work is to deblur face videos. We propose a method that tackles this problem from two directions: (1) enhancing the blurry frames, and (2) treating the blurry frames as missing values and estimate them by interpolation. These approaches are complementary to each other, and their combination outperforms individual ones. We also introduce a novel module that leverages the structure of faces for finding positional offsets between video frames. This module can be integrated into the processing pipelines of both approaches, improving the quality of the final outcome. Experiments on three real and synthetically generated blurry video datasets show that our method outperforms the previous state-of-the-art methods by a large margin in terms of both quantitative and qualitative results.


title: Satellite data for the offshore renewable energy sector: synergies and innovation opportunities

abstract: Can satellite data be used to address challenges currently faced by the Offshore Renewable Energy (ORE) sector? What benefit can satellite observations bring to resource assessment and maintenance of ORE farms? Can satellite observations be used to assess the environmental impact of offshore renewables leading towards a more sustainable ORE sector? This review paper faces these questions presenting a holistic view of the current interactions between satellite and ORE sectors, and future needs to make this partnerships grow. The aim of the work is to start the conversation between these sectors by establishing a common ground. We present offshore needs and satellite technology limitations, as well as potential opportunities and areas of growth. To better understand this, the reader is guided through the history, current developments, challenges and future of offshore wind, tidal and wave energy technologies. Then, an overview on satellite observations for ocean applications is given, covering types of instruments and how they are used to provide different metocean variables, satellite performance, and data processing and integration. Past, present and future satellite missions are also discussed. Finally, the paper focuses on innovation opportunities and the potential of synergies between the ORE and satellite sectors. Specifically, we pay attention to improvements that satellite observations could bring to standard measurement techniques: assessing uncertainty, wind, tidal and wave conditions forecast, as well as environmental monitoring from space. Satellite-enabled measurement of ocean physical processes and applications for fisheries, mammals and birds, and habitat change, are also discussed in depth.


title: Improved non-linear devices for quantum applications

abstract: In this paper, we review the state of the art of mode selective, integrated sum-frequency generation devices tailored for quantum optical technologies. We explore benchmarks to asses their performance and discuss the current limitations of these devices, outlining possible strategies to overcome them. Finally, we present the fabrication of a new, improved device and its characterization. We analyse the fabrication quality of this device and discuss the next steps towards improved non-linear devices for quantum applications.


title: Path-specific Underwater Acoustic Channel Tracking and its Application in Passive Time Reversal Mirror

abstract: We consider the underwater acoustic channel which is time-variant and doubly-spread in this work. Since conventional channel estimation and decision feedback equalizer (DFE) can not work well for this type of channel, a path-specific underwater acoustic channel tracking is proposed. It is based on the framework of Kalman filter. We provide a simplified sound propagation model as the state transition model. A multipath tracker is proposed which is tolerant of the model-mismatch. Then we can obtain the time-variant path number and path-specific parameters such as delay and Doppler scaling factor. We also consider the application of the proposed path-specific underwater acoustic channel tracking. We propose two types of passive time reversal mirror (PTRM) with our path-specific parameters for time-variant and doubly-spread underwater acoustic channel. With the path-specific parameters obtained by the proposed channel tracking, the proposed PTRM can not only match the time dispersion as conventional PTRM, but also the doubly-spread channel, since the path-specific delay and Doppler scaler factor can help to match the channel in both time and frequency domain. For extensive doubly-spread channel, we can further apply the path-specific compensation to the PTRM. Both simulations and experimental results by data from 2016 Qiandao Lake experiment show the efficiency of proposed path-specific channel tracking and proposed PTRMs with path-specific parameters.


title: The Erd\H{o}s--Faber--Lov\'{a}sz Conjecture revisited

abstract: The Erd\H{o}s--Faber--Lov\'{a}sz Conjecture, posed in 1972, states that if a graph $G$ is the union of $n$ cliques of order $n$ (referred to as defining $n$-cliques) such that two cliques can share at most one vertex, then the vertices of $G$ can be properly coloured using $n$ colours. Although still open after almost 50 years, it can be easily shown that the conjecture is true when every shared vertex belongs to exactly two defining $n$-cliques. We here provide a quick and easy algorithm to colour the vertices of $G$ in this case, and discuss connections with clique-decompositions and edge-colourings of graphs.


title: Cross sections of inclusive $\psi(2S)$ and $X(3872)$ production from $b$-hadron decays in $pp$ collisions and comparison with ATLAS and CMS data

abstract: We study the cross sections for the inclusive production of $\psi(2S)$ and $X(3872)$ hadrons in $pp$ collisions at the LHC at two different center-of-mass energies and compare with experimental data obtained by the ATLAS, CMS, and LHCb collaborations.


title: Pulsed characteristic-function measurement of a thermalizing harmonic oscillator

abstract: We present a method for the direct measurement of the Wigner characteristic function of a thermalizing harmonic oscillator that is completely inaccessible for control or measurement. The strategy employs a recently proposed probe-measurement-based scheme [Phys. Rev. Lett. 122, 110406 (2019)] which relies on the pulsed control of a two-level probe. We generalize this scheme to the case of a nonunitary time evolution of the target harmonic oscillator, describing its thermalization through contact to a finite-temperature environment, given in the form of a Lindblad master equation. This generalization is achieved using a superoperator formalism and yields analytical expressions for the direct measurement of the characteristic function, accounting for the decoherence during the measurement process.


title: Secure Estimation and Attack Isolation for Connected and Automated Driving in the Presence of Malicious Vehicles

abstract: Connected and Automated Vehicles (CAVs) rely on the correctness of position and other vehicle kinematics information to fulfill various driving tasks such as vehicle following, lane change, and collision avoidance. However, a malicious vehicle may send false sensor information to the other vehicles intentionally or unintentionally, which may cause traffic inconvenience or loss of human lives. Here, we take the advantage of cloud-computing and increase the resilience of CAVs to malicious vehicles by assuming each vehicle shares its local sensor information with other vehicles to create information redundancy on the cloud side. We exploit this redundancy and propose a sensor fusion algorithm for the cloud, capable of providing a robust state estimation of all vehicles in the cloud under the condition that the number of malicious information is sufficiently small. Using the proposed estimator, we provide an algorithm for isolating malicious vehicles. We use numerical examples to illustrate the effectiveness of our methods.


title: DR-TANet: Dynamic Receptive Temporal Attention Network for Street Scene Change Detection

abstract: Street scene change detection continues to capture researchers' interests in the computer vision community. It aims to identify the changed regions of the paired street-view images captured at different times. The state-of-the-art network based on the encoder-decoder architecture leverages the feature maps at the corresponding level between two channels to gain sufficient information of changes. Still, the efficiency of feature extraction, feature correlation calculation, even the whole network requires further improvement. This paper proposes the temporal attention and explores the impact of the dependency-scope size of temporal attention on the performance of change detection. In addition, based on the Temporal Attention Module (TAM), we introduce a more efficient and light-weight version - Dynamic Receptive Temporal Attention Module (DRTAM) and propose the Concurrent Horizontal and Vertical Attention (CHVA) to improve the accuracy of the network on specific challenging entities. On street scene datasets `GSV', `TSUNAMI' and `VL-CMU-CD', our approach gains excellent performance, establishing new state-of-the-art scores without bells and whistles, while maintaining high efficiency applicable in autonomous vehicles.


title: Experimental electronic stopping cross section of tungsten for light ions in a large energy interval

abstract: Electronic stopping cross section of tungsten for light ions was experimentally measured in a wide energy interval (20 to 6000 keV for protons and 50 to 9000 keV for helium) in backscattering and transmission geometries. The measurements were carried out in three laboratories (Austria, Germany and Sweden) using five different set-ups, the stopping data deduced from different data sets showed excellent agreement amongst each other, with total uncertainty varying within 1.5 - 3.8\% for protons and 2.2 - 5.5\% for helium, averaged over the respective energy range of each data set. The final data is compared to available data and to widely adopted semi-empirical and theoretical approaches, and found to be in good agreement with most adopted models at energies around and above the stopping maximum. Most importantly, our results extend the energy regime towards lower energies, and are thus of high technological relevance, e.g., in fusion research. At these low energies, our findings also revealed that tungsten - featured with fully and partially occupied f- and d-subshells, respectively, can be modeled as an electron gas for the energy loss process.


title: Understanding Emotions of Developer Community Towards Software Documentation

abstract: The availability of open-source projects facilitates developers to contribute and collaborate on a wide range of projects. As a result, the developer community contributing to such open-source projects is also increasing. Many of the projects involve frequent updates and extensive reuses. A well-updated documentation helps in a better understanding of the software project and also facilitates efficient contribution and reuse. Though software documentation plays an important role in the development and maintenance of software, it also suffers from various issues that include insufficiency, inconsistency, ill-maintainability, and so on. Exploring the perception of developers towards documentation could help in understanding the reasons behind prevalent issues in software documentation. It could further aid in deciding on training that could be given to the developer community towards building more sustainable projects for society. Analyzing sentiments of contributors to a project could provide insights on understanding developer perceptions. Hence, as the first step towards this direction, we analyze sentiments of commit messages specific to the documentation of a software project. To this end, we considered the commit history of 998 GitHub projects from the GHTorrent dataset and identified 10,996 commits that correspond to the documentation of repositories. Further, we apply sentiment analysis techniques to obtain insights on the type of sentiment being expressed in commit messages of the selected commits. We observe that around 45% of the identified commit messages express trust emotion.


title: k-apices of minor-closed graph classes. I. Bounding the obstructions

abstract: Let $\mathcal{G}$ be a minor-closed graph class. We say that a graph $G$ is a $k$-apex of $\mathcal{G}$ if $G$ contains a set $S$ of at most $k$ vertices such that $G\setminus S$ belongs to $\mathcal{G}.$ We denote by $\mathcal{A}_k (\mathcal{G})$ the set of all graphs that are $k$-apices of $\mathcal{G}.$ We prove that every graph in the obstruction set of $\mathcal{A}_k (\mathcal{G}),$ i.e., the minor-minimal set of graphs not belonging to $\mathcal{A}_k (\mathcal{G}),$ has size at most $2^{2^{2^{2^{\mathsf{poly}(k)}}}},$ where $\mathsf{poly}$ is a polynomial function whose degree depends on the size of the minor-obstructions of $\mathcal{G}.$ This bound drops to $2^{2^{\mathsf{poly}(k)}}$ when $\mathcal{G}$ excludes some apex graph as a minor.


title: A Secure Sensor Fusion Framework for Connected and Automated Vehicles under Sensor Attacks

abstract: By using various sensors to measure the surroundings and sharing local sensor information with the surrounding vehicles through wireless networks, connected and automated vehicles (CAVs) are expected to increase safety, efficiency, and capacity of our transportation systems. However, the increasing usage of sensors has also increased the vulnerability of CAVs to sensor faults and adversarial attacks. Anomalous sensor values resulting from malicious cyberattacks or faulty sensors may cause severe consequences or even fatalities. In this paper, we increase the resilience of CAVs to faults and attacks by using multiple sensors for measuring the same physical variable to create redundancy. We exploit this redundancy and propose a sensor fusion algorithm for providing a robust estimate of the correct sensor information with bounded errors independent of the attack signals, and for attack detection and isolation. The proposed sensor fusion framework is applicable to a large class of security-critical Cyber-Physical Systems (CPSs). To minimize the performance degradation resulting from the usage of estimation for control, we provide an $H_{\infty}$ controller for CACC-equipped CAVs capable of stabilizing the closed-loop dynamics of each vehicle in the platoon while reducing the joint effect of estimation errors and communication channel noise on the tracking performance and string behavior of the vehicle platoon. Numerical examples are presented to illustrate the effectiveness of our methods.


title: De-singularizing the extremal GMGHS black hole via higher derivatives corrections

abstract: The Gibbons-Maeda-Garfinkle-Horowitz-Strominger (GMGHS) black hole is an influential solution of the low energy heterotic string theory. As it is well known, it presents a singular extremal limit. We construct a regular extension of the GMGHS extremal black hole in a model with $\mathcal{O}(\alpha')$ corrections in the action, by solving the fully non-linear equations of motion. The de-singularization is supported by the $\mathcal{O}(\alpha')$-terms. The regularised extremal GMGHS BHs are asymptotically flat, possess a regular (non-zero size) horizon of spherical topology, with an $AdS_2\times S^2$ near horizon geometry, and their entropy is proportional to the electric charge. The near horizon solution is obtained analytically and some illustrative bulk solutions are constructed numerically.


title: Deep learning based geometric registration for medical images: How accurate can we get without visual features?

abstract: As in other areas of medical image analysis, e.g. semantic segmentation, deep learning is currently driving the development of new approaches for image registration. Multi-scale encoder-decoder network architectures achieve state-of-the-art accuracy on tasks such as intra-patient alignment of abdominal CT or brain MRI registration, especially when additional supervision, such as anatomical labels, is available. The success of these methods relies to a large extent on the outstanding ability of deep CNNs to extract descriptive visual features from the input images. In contrast to conventional methods, the explicit inclusion of geometric information plays only a minor role, if at all. In this work we take a look at an exactly opposite approach by investigating a deep learning framework for registration based solely on geometric features and optimisation. We combine graph convolutions with loopy belief message passing to enable highly accurate 3D point cloud registration. Our experimental validation is conducted on complex key-point graphs of inner lung structures, strongly outperforming dense encoder-decoder networks and other point set registration methods. Our code is publicly available at https://github.com/multimodallearning/deep-geo-reg.


title: Interaction of the elementary waves for shallow water equations with discontinuous topography

abstract: The Riemann problem of one dimensional shallow water equations with discontinuous topography has been constructed recently. The elementary waves include shock waves, rarefaction waves, and the stationary wave. The stationary wave appears when the water depth changes, especially when there exists a bottom step. In this paper, we are mainly concerned with the interaction between a stationary wave with either a shock wave or a rarefaction wave. By using the characteristic analysis methods, the evolution of waves is described during the interaction process. The solution in large time scale is also presented in each case. The results may contribute to research on more complicated wave interaction problems.


title: Counterfactual Zero-Shot and Open-Set Visual Recognition

abstract: We present a novel counterfactual framework for both Zero-Shot Learning (ZSL) and Open-Set Recognition (OSR), whose common challenge is generalizing to the unseen-classes by only training on the seen-classes. Our idea stems from the observation that the generated samples for unseen-classes are often out of the true distribution, which causes severe recognition rate imbalance between the seen-class (high) and unseen-class (low). We show that the key reason is that the generation is not Counterfactual Faithful, and thus we propose a faithful one, whose generation is from the sample-specific counterfactual question: What would the sample look like, if we set its class attribute to a certain class, while keeping its sample attribute unchanged? Thanks to the faithfulness, we can apply the Consistency Rule to perform unseen/seen binary classification, by asking: Would its counterfactual still look like itself? If ``yes'', the sample is from a certain class, and ``no'' otherwise. Through extensive experiments on ZSL and OSR, we demonstrate that our framework effectively mitigates the seen/unseen imbalance and hence significantly improves the overall performance. Note that this framework is orthogonal to existing methods, thus, it can serve as a new baseline to evaluate how ZSL/OSR models generalize. Codes are available at https://github.com/yue-zhongqi/gcm-cf.


title: An introduction to finite element methods for inverse coefficient problems in elliptic PDEs

abstract: Several novel imaging and non-destructive testing technologies are based on reconstructing the spatially dependent coefficient in an elliptic partial differential equation from measurements of its solution(s). In practical applications, the unknown coefficient is often assumed to be piecewise constant on a given pixel partition (corresponding to the desired resolution), and only finitely many measurements can be made. This leads to the problem of inverting a finite-dimensional non-linear forward operator $\mathcal F:\ \mathcal D(\mathcal F)\subseteq \mathbb R^n\to \mathbb R^m$, where evaluating $\mathcal F$ requires one or several PDE solutions. Numerical inversion methods require the implementation of this forward operator and its Jacobian. We show how to efficiently implement both using a standard FEM package and prove convergence of the FEM approximations against their true-solution counterparts. We present simple example codes for Comsol with the Matlab Livelink package, and numerically demonstrate the challenges that arise from non-uniqueness, non-linearity and instability issues. We also discuss monotonicity and convexity properties of the forward operator that arise for symmetric measurement settings.


title: Collisions of ultracold molecules in bright and dark optical dipole traps

abstract: Understanding collisions between ultracold molecules is crucial for making stable molecular quantum gases and harnessing their rich internal degrees of freedom for quantum engineering. Transient complexes can strongly influence collisional physics, but in the ultracold regime, key aspects of their behavior have remained unknown. To explain experimentally observed loss of ground-state molecules from optical dipole traps, it was recently proposed that molecular complexes can be lost due to photo-excitation. By trapping molecules in a repulsive box potential using laser light near a narrow molecular transition, we are able to test this hypothesis with light intensities three orders of magnitude lower than what is typical in red-detuned dipole traps. This allows us to investigate light-induced collisional loss in a gas of nonreactive fermionic $^{23}$Na$^{40}$K molecules. Even for the lowest intensities available in our experiment, our results are consistent with universal loss, meaning unit loss probability inside the short-range interaction potential. Our findings disagree by at least two orders of magnitude with latest theoretical predictions, showing that crucial aspects of molecular collisions are not yet understood, and provide a benchmark for the development of new theories.


title: The Eulerian transformation

abstract: Eulerian polynomials are fundamental in combinatorics and algebra. In this paper we study the linear transformation $\mathcal{A} : \mathbb{R}[t] \to \mathbb{R}[t]$ defined by $\mathcal{A}(t^n) = A_n(t)$, where $A_n(t)$ denotes the $n$-th Eulerian polynomial. We give combinatorial, topological and Ehrhart theoretic interpretations of the operator $\mathcal{A}$, and investigate questions of unimodality and real-rootedness. In particular, we disprove a conjecture by Brenti (1989) concerning the preservation of real zeros, and generalize and strengthen recent results of Haglund and Zhang (2019) on binomial Eulerian polynomials.


title: Using contrastive learning to improve the performance of steganalysis schemes

abstract: To improve the detection accuracy and generalization of steganalysis, this paper proposes the Steganalysis Contrastive Framework (SCF) based on contrastive learning. The SCF improves the feature representation of steganalysis by maximizing the distance between features of samples of different categories and minimizing the distance between features of samples of the same category. To decrease the computing complexity of the contrastive loss in supervised learning, we design a novel Steganalysis Contrastive Loss (StegCL) based on the equivalence and transitivity of similarity. The StegCL eliminates the redundant computing in the existing contrastive loss. The experimental results show that the SCF improves the generalization and detection accuracy of existing steganalysis DNNs, and the maximum promotion is 2% and 3% respectively. Without decreasing the detection accuracy, the training time of using the StegCL is 10% of that of using the contrastive loss in supervised learning.


title: Heat kernel asymptotics for quaternionic contact manifolds

abstract: In this paper, we study the heat kernel associated to the intrinsic sublaplacian on a quaternionic contact manifold considered as a subriemannian manifold. More precisely, we explicitly compute the first two coefficients $c_0$ and $c_1$ appearing in the small time asymptotics expansion of the heat kernel on the diagonal. We show that the second coefficient $c_1$ depends linearly on the qc scalar curvature $\kappa$. Finally we apply our results to compact qc-Einstein manifolds and prove the spectral invariance of geometric quantities in the subriemannian setting.


title: Kilowatt-average-power compression of millijoule pulses in a gas-filled multi-pass cell

abstract: We demonstrate the reliable generation of 1-mJ, 31-fs pulses with an average power of 1 kW by post-compression of 200-fs pulses from a coherently combined Yb:fiber laser system in an argon-filled Herriott-type multi-pass cell with an overall compression efficiency of 96%. We also analyze the output beam, revealing essentially no spatio-spectral couplings or beam quality loss.


title: Stable maps and hyperbolic links

abstract: A stable map of a closed orientable $3$-manifold into the real plane is called a stable map of a link in the manifold if the link is contained in the set of definite fold points. We give a complete characterization of the hyperbolic links in the $3$-sphere that admit stable maps into the real plane with exactly one (connected component of a) fiber having two singular points.


title: Interpretable Stein Goodness-of-fit Tests on Riemannian Manifolds

abstract: In many applications, we encounter data on Riemannian manifolds such as torus and rotation groups. Standard statistical procedures for multivariate data are not applicable to such data. In this study, we develop goodness-of-fit testing and interpretable model criticism methods for general distributions on Riemannian manifolds, including those with an intractable normalization constant. The proposed methods are based on extensions of kernel Stein discrepancy, which are derived from Stein operators on Riemannian manifolds. We discuss the connections between the proposed tests with existing ones and provide a theoretical analysis of their asymptotic Bahadur efficiency. Simulation results and real data applications show the validity of the proposed methods.


title: Bernoulli sums and R\'enyi entropy inequalities

abstract: We investigate the R\'enyi entropy of independent sums of integer valued random variables through Fourier theoretic means, and give sharp comparisons between the variance and the R\'enyi entropy, for Poisson-Bernoulli variables. As applications we prove that a discrete ``min-entropy power'' is super additive on independent variables up to a universal constant, and give new bounds on an entropic generalization of the Littlewood-Offord problem that are sharp in the ``Poisson regime''.


title: Capacitance and Structure of Electric Double Layers: Comparing Brownian Dynamics and Classical Density Functional Theory

abstract: We present a study of the structure and differential capacitance of electric double layers of aqueous electrolytes. We consider Electric Double Layer Capacitors (EDLC) composed of spherical cations and anions in a dielectric continuum confined between a planar cathode and anode. The model system includes steric as well as Coulombic ion-ion and ion-electrode interactions. We compare results of computationally expensive, but "exact", Brownian Dynamics (BD) simulations with approximate, but cheap, calculations based on classical Density Functional Theory (DFT). Excellent overall agreement is found for a large set of system parameters $-$ including variations in concentrations, ionic size- and valency-asymmetries, applied voltages, and electrode separation $-$ provided the differences between the canonical ensemble of the BD simulations and the grand-canonical ensemble of DFT are properly taken into account. In particular a careful distinction is made between the differential capacitance $C_N$ at fixed number of ions and $C_\mu$ at fixed ionic chemical potential. Furthermore, we derive and exploit their thermodynamic relations. In the future these relations are also useful for comparing and contrasting.


title: Magnon driven skyrmion dynamics in antiferromagnets: The effect of magnon polarization

abstract: The controllable magnetic skyrmion motion represents a highly concerned issue in preparing advanced skyrmion-based spintronic devices. Specifically, magnon-driven skyrmion motion can be easily accessible in both metallic and insulating magnets, and thus is highly preferred over electric current control further for the ultra-low energy consumption. In this work, we investigate extensively the dynamics of skyrmion motion driven by magnon in an antiferromagnet using the collective coordinate theory, focusing on the effect of magnon polarization. It is revealed that the skyrmion Hall motion driven by circularly polarized magnon becomes inevitable generally, consistent with earlier report. Furthermore, the elastic scattering theory and numerical results unveil the strong inter-dependence between the linearly polarized magnon and skyrmion motion, suggesting the complicated dependence of the skyrmion motion on the polarization nature of driving magnon. On the reversal, the scattering from the moving skyrmion may lead to decomposition of the linearly polarized magnon into two elliptically polarized magnon bands. Consequently, a net transverse force acting on skyrmion is generated owing to the broken mirror symmetry, which in turn drives a skyrmion Hall motion. The Hall motion can be completely suppressed only in some specific condition where the mirror symmetry is preserved. The present work unveils non-trivial skyrmion-magnon scattering behavior in antiferromagnets, advancing the antiferromagnetic spintronics and benefiting to high-performance devices.


title: Computationally Efficient Wasserstein Loss for Structured Labels

abstract: The problem of estimating the probability distribution of labels has been widely studied as a label distribution learning (LDL) problem, whose applications include age estimation, emotion analysis, and semantic segmentation. We propose a tree-Wasserstein distance regularized LDL algorithm, focusing on hierarchical text classification tasks. We propose predicting the entire label hierarchy using neural networks, where the similarity between predicted and true labels is measured using the tree-Wasserstein distance. Through experiments using synthetic and real-world datasets, we demonstrate that the proposed method successfully considers the structure of labels during training, and it compares favorably with the Sinkhorn algorithm in terms of computation time and memory usage.


title: Weak local limit of preferential attachment random trees with additive fitness

abstract: We consider linear preferential attachment random trees with additive fitness, where fitness is defined as the random initial vertex attractiveness. We show that when the fitness distribution has positive bounded support, the weak local limit of this family can be constructed using a sequence of mixed Poisson point processes. We also provide a rate of convergence of the total variation distance between the r- neighbourhood of the uniformly chosen vertex in the preferential attachment tree and that of the root vertex of its weak local limit. We apply the theorem to obtain the limiting degree distributions of the uniformly chosen vertex and its ancestors, that is, the vertices that are on the path between the uniformly chosen vertex and the initial vertex. Rates of convergence in the total variation distance are established for these results.


title: On the Equivalence of the KMS Condition and the Variational Principle for Quantum Lattice Systems with Mean-Field Interactions

abstract: We extend Araki's well-known results on the equivalence of the KMS condition and the variational principle for equilibrium states of quantum lattice systems with short-range interactions, to a large class of models possibly containing mean-field interactions (representing an extreme form of long-range interactions). This result is reminiscent of van Hemmen's work on equilibrium states for mean-field models. The extension was made possible by our recent outcomes on states minimizing the free energy density of mean-field models on the lattice, as well as on the infinite volume dynamics for such models.


title: Manifold optimization for non-linear optimal transport problems

abstract: Optimal transport (OT) has recently found widespread interest in machine learning. It allows to define novel distances between probability measures, which have shown promise in several applications. In this work, we discuss how to computationally approach general non-linear OT problems within the framework of Riemannian manifold optimization. The basis of this is the manifold of doubly stochastic matrices (and their generalization). Even though the manifold geometry is not new, surprisingly, its usefulness for solving general non-linear OT problems has not been popular. To this end, we specifically discuss optimization-related ingredients that allow modeling the OT problem on smooth Riemannian manifolds by exploiting the geometry of the search space. We also discuss extensions where we reuse the developed optimization ingredients. We make available the Manifold optimization-based Optimal Transport, or MOT, repository with codes useful in solving OT problems in Python and Matlab. The codes are available at \url{https://github.com/SatyadevNtv/MOT}.


title: STUDD: A Student-Teacher Method for Unsupervised Concept Drift Detection

abstract: Concept drift detection is a crucial task in data stream evolving environments. Most of state of the art approaches designed to tackle this problem monitor the loss of predictive models. However, this approach falls short in many real-world scenarios, where the true labels are not readily available to compute the loss. In this context, there is increasing attention to approaches that perform concept drift detection in an unsupervised manner, i.e., without access to the true labels. We propose a novel approach to unsupervised concept drift detection based on a student-teacher learning paradigm. Essentially, we create an auxiliary model (student) to mimic the behaviour of the primary model (teacher). At run-time, our approach is to use the teacher for predicting new instances and monitoring the mimicking loss of the student for concept drift detection. In a set of experiments using 19 data streams, we show that the proposed approach can detect concept drift and present a competitive behaviour relative to the state of the art approaches.


title: At least two of $\zeta(5),\zeta(7),\ldots,\zeta(35)$ are irrational

abstract: Let $\zeta(s)$ be the Riemann zeta function. We prove the statement in the title, which improves a recent result of Rivoal and Zudilin by lowering $69$ to $35$. We also prove that at least one of $\beta(2),\beta(4),\ldots,\beta(10)$ is irrational, where $\beta(s) = L(s,\chi_4)$ and $\chi_4$ is the Dirichlet character with conductor $4$.


title: Set-Valued Dynamic Risk Measures for Processes and Vectors

abstract: The relationship between set-valued risk measures for processes and vectors on the optional filtration is investigated. The equivalence of risk measures for processes and vectors and the equivalence of their penalty function formulations are provided. In contrast with scalar risk measures, this equivalence requires an augmentation of the set-valued risk measures for processes. We utilize this result to deduce a new dual representation for risk measures for processes in the set-valued framework. Finally, the equivalence of multiportfolio time consistency between set-valued risk measures for processes and vectors is provided; to accomplish this, an augmented definition for multiportfolio time consistency of set-valued risk measures for processes is proposed.


title: Diverse Critical Interaction Generation for Planning and Planner Evaluation

abstract: Generating diverse and comprehensive interacting agents to evaluate the decision-making modules is essential for the safe and robust planning of autonomous vehicles~(AV). Due to efficiency and safety concerns, most researchers choose to train interactive adversary~(competitive or weakly competitive) agents in simulators and generate test cases to interact with evaluated AVs. However, most existing methods fail to provide both natural and critical interaction behaviors in various traffic scenarios. To tackle this problem, we propose a styled generative model RouteGAN that generates diverse interactions by controlling the vehicles separately with desired styles. By altering its style coefficients, the model can generate trajectories with different safety levels serve as an online planner. Experiments show that our model can generate diverse interactions in various scenarios. We evaluate different planners with our model by testing their collision rate in interaction with RouteGAN planners of multiple critical levels.


title: Modelling the Pressure Strain Correlation in turbulent flows using Deep Neural Networks

abstract: The pressure strain correlation plays a critical role in the Reynolds stress transport modelling. Accurate modelling of the pressure strain correlation leads to proper prediction of turbulence stresses and subsequently the other terms of engineering interest. However, classical pressure strain correlation models are often unreliable for complex turbulent flows. Machine learning based models have shown promise in turbulence modeling but their application has been largely restricted to eddy viscosity based models. In this article, we outline a rationale for the preferential application of machine learning and turbulence data to develop models at the level of Reynolds stress modeling. As the illustration We develop data driven models for the pressure strain correlation for turbulent channel flow using neural networks. The input features of the neural networks are chosen using physics based rationale. The networks are trained with the high resolution DNS data of turbulent channel flow at different friction Reynolds numbers. The testing of the models are performed for unknown flow statistics at other friction Reynolds numbers and also for turbulent plane Couette flows. Based on the results presented in this article, the proposed machine learning framework exhibits considerable promise and may be utilized for the development of accurate Reynolds stress models for flow prediction.


title: Study of the Standard Model with weak decays of charmed hadrons at BESIII

abstract: A comprehensive review of weak decays of charmed hadrons ($D^{0/+}$, $D^+_s$ and $\Lambda^+_c$) based on analyses of the threshold data from $e^+e^-$ annihilation in the BESIII experiment is presented. Current experimental challenges and successes in understanding decays of the charmed hadrons are discussed. Precise calibrations of QCD and tests of the Standard Model are provided by measurements of purely leptonic and semi-leptonic decays of charmed hadrons, and lepton universality is probed in purely leptonic decays of charmed mesons to three generations of leptons. Quantum correlations in threshold data samples provide access to strong phases in the neutral $D$ meson decays and probe the decay dynamics of the charmed $\Lambda_c$ baryon. Charm physics studies with near-threshold production of charmed particle pairs are unique to BESIII, and provide many important opportunities and challenges.


title: Real forms on rational surfaces

abstract: For any positive integer $r$, we construct a smooth complex projective rational surface which has at least $r$ real forms not isomorphic over $\mathbb{R}$.


title: Some achieved wedge products of positive currents

abstract: In this paper, we study the existence of the current gT for positive plurisubharmonic currents T and unbounded plurisubharmonic functions g.


title: Distortion in Social Choice Problems: The First 15 Years and Beyond

abstract: The notion of distortion in social choice problems has been defined to measure the loss in efficiency -- typically measured by the utilitarian social welfare, the sum of utilities of the participating agents -- due to having access only to limited information about the preferences of the agents. We survey the most significant results of the literature on distortion from the past 15 years, and highlight important open problems and the most promising avenues of ongoing and future work.


title: GestureMap: Supporting Visual Analytics and Quantitative Analysis of Motion Elicitation Data by Learning 2D Embeddings

abstract: This paper presents GestureMap, a visual analytics tool for gesture elicitation which directly visualises the space of gestures. Concretely, a Variational Autoencoder embeds gestures recorded as 3D skeletons on an interactive 2D map. GestureMap further integrates three computational capabilities to connect exploration to quantitative measures: Leveraging DTW Barycenter Averaging (DBA), we compute average gestures to 1) represent gesture groups at a glance; 2) compute a new consensus measure (variance around average gesture); and 3) cluster gestures with k-means. We evaluate GestureMap and its concepts with eight experts and an in-depth analysis of published data. Our findings show how GestureMap facilitates exploring large datasets and helps researchers to gain a visual understanding of elicited gesture spaces. It further opens new directions, such as comparing elicitations across studies. We discuss implications for elicitation studies and research, and opportunities to extend our approach to additional tasks in gesture elicitation.


title: Stein kernels for $q$-moment measures and new bounds for the rate of convergence in the central limit theorem

abstract: Given an isotropic probability measure $\mu$ on ${\mathbb R}^d$ with ${\rm d}\mu \left( x \right) = {\left( {\varrho \left( x \right)} \right)^{ - \alpha }}{\rm d}x$, where $\alpha > d + 1$ and $\varrho :{{\mathbb R}^d} \to \left( {0, + \infty } \right)$ is a continuous function and uniformly convex (${\nabla ^2}\varrho \ge {\varepsilon_0}{\rm {Id}}$). By using Stein kernels for $\left( {\alpha - d} \right)$-moment measures, we prove that the rates of convergence in the central limit theorem with sequence of i.i.d. random variables ${X_1},{X_2},...,{X_n}$ of the law $\mu$, to be of form $c_{{\varepsilon}_0}\,\sqrt {\dfrac{d}{n}} $. The general case (i.e., $\varrho$ is only convex and continuous) remains open.


title: On closed manifolds admitting an Anosov diffeomorphism but no expanding map

abstract: A few years ago, the first example of a closed manifold admitting an Anosov diffeomorphism but no expanding map was given. Unfortunately, this example is not explicit and is high-dimensional, although its exact dimension is unknown due to the type of construction. In this paper, we present a family of concrete 12-dimensional nilmanifolds with an Anosov diffeomorphism but no expanding map, where nilmanifolds are defined as the quotient of a 1-connected nilpotent Lie group by a cocompact lattice. We show that this family has the smallest possible dimension in the class of infra-nilmanifolds, which is conjectured to be the only type of manifolds admitting Anosov diffeomorphisms up to homeomorphism. The proof shows how to construct positive gradings from the eigenvalues of the Anosov diffeomorphism under some additional assumptions related to the rank, using the action of the Galois group on these algebraic units.


title: TSSOS: a Julia library to exploit sparsity for large-scale polynomial optimization

abstract: The Julia library TSSOS aims at helping polynomial optimizers to solve large-scale problems with sparse input data. The underlying algorithmic framework is based on exploiting correlative and term sparsity to obtain a new moment-SOS hierarchy involving potentially much smaller positive semidefinite matrices. TSSOS can be applied to numerous problems ranging from power networks to eigenvalue and trace optimization of noncommutative polynomials, involving up to tens of thousands of variables and constraints.


title: Towards a realistic track reconstruction algorithm based on graph neural networks for the HL-LHC

abstract: The physics reach of the HL-LHC will be limited by how efficiently the experiments can use the available computing resources, i.e. affordable software and computing are essential. The development of novel methods for charged particle reconstruction at the HL-LHC incorporating machine learning techniques or based entirely on machine learning is a vibrant area of research. In the past two years, algorithms for track pattern recognition based on graph neural networks (GNNs) have emerged as a particularly promising approach. Previous work mainly aimed at establishing proof of principle. In the present document we describe new algorithms that can handle complex realistic detectors. The new algorithms are implemented in ACTS, a common framework for tracking software. This work aims at implementing a realistic GNN-based algorithm that can be deployed in an HL-LHC experiment.


title: An open-source framework for ExpFinder integrating $N$-gram Vector Space Model and $\mu$CO-HITS

abstract: Finding experts drives successful collaborations and high-quality product development in academic and research domains. To contribute to the expert finding research community, we have developed ExpFinder which is a novel ensemble model for expert finding by integrating an $N$-gram vector space model ($n$VSM) and a graph-based model ($\mu$CO-HITS). This paper provides descriptions of ExpFinder's architecture, key components, functionalities, and illustrative examples. ExpFinder is an effective and competitive model for expert finding, significantly outperforming a number of expert finding models.


title: Spin drag and fast response in a quantum mixture of atomic gases

abstract: By applying a sudden perturbation to one of the components of a mixture of two quantum fluids, we explore the effect on the motion of the second component on a short time scale. By implementing perturbation theory, we prove that for short times the response of the second component is fixed by the energy weighted moment of the crossed dynamic structure factor (crossed f-sum rule). We also show that by properly monitoring the time duration of the perturbation it is possible to identify peculiar fast spin drag regimes, which are sensitive to the interaction effects in the Hamiltonian. Special focus is given to the case of coherently coupled Bose-Einstein condensates, interacting Bose mixtures exhibiting the Andreev-Bashkin effect, normal Fermi liquids and the polaron problem. The relevant excitations of the system contributing to the spin drag effect are identified and the contribution of the low frequency gapless excitations to the f-sum rule in the density and spin channels is explicitly calculated employing the proper macroscopic dynamic theories. Both spatially periodic and Galilean boost perturbations are considered.


title: Computing the sampling performance of event-triggered control

abstract: In the context of networked control systems, event-triggered control (ETC) has emerged as a major topic due to its alleged resource usage reduction capabilities. However, this is mainly supported by numerical simulations, and very little is formally known about the traffic generated by ETC. This work devises a method to estimate, and in some cases to determine exactly, the minimum average inter-sample time (MAIST) generated by periodic event-triggered control (PETC) of linear systems. The method involves abstracting the traffic model using a bisimulation refinement algorithm and finding the cycle of minimum average length in the graph associated to it. This always gives a lower bound to the actual MAIST. Moreover, if this cycle turns out to be related to a periodic solution of the closed-loop PETC system, the performance metric is exact.


title: Three-dimensional Dirac Phonons with Inversion Symmetry

abstract: Dirac semimetals associated with bulk Dirac fermions are well-known in topological electronic systems. In sharp contrast, three-dimensional (3D) Dirac phonons in crystalline solids are still unavailable. Here we perform symmetry arguments and first-principles calculations to systematically investigate 3D Dirac phonons in all space groups with inversion symmetry. The results show that there are two categories of 3D Dirac phonons depending on their protection mechanisms and positions in momentum space. The first category originates from the four-dimensional irreducible representations at the high symmetry points. The second category arises from the phonon branch inversion, and the symmetry guarantees Dirac points to be located along the high symmetry lines. Furthermore, we reveal that non-symmorphic symmetries and the combination of inversion and time-reversal symmetries play essential roles in the emergence of 3D Dirac phonons. Our work not only offers a comprehensive understanding of 3D Dirac phonons but also provides significant guidance for exploring Dirac bosons in both phononic and photonic systems.


title: Global control aspects for long waves in nonlinear dispersive media

abstract: A class of models of long waves in dispersive media with coupled quadratic nonlinearities on a periodic domain $\mathbb{T}$ are studied. We used two distributed controls, supported in $\omega\subset\mathbb{T}$ and assumed to be generated by a linear feedback law conserving the "mass" (or "volume"), to prove global control results. The first result, using spectral analysis, guarantees that the system in consideration is locally controllable in $H^s(\mathbb{T})$, for $s\geq0$. After that, by certain properties of Bourgain spaces we show a property of global exponential stability. This property together with the local exact controllability ensures for the first time in the literature that long waves in nonlinear dispersive media are globally exactly controllable in large time. Precisely, our analysis relies strongly on the bilinear estimates using the Fourier restriction spaces in two different dispersions that will guarantee a global control result for coupled systems of the Korteweg-de Vries type. This result, of independent interest in the area of control of coupled dispersive systems, provides a necessary first step for the study of global control properties to the coupled dispersive systems in periodic domains.


title: Steiner triple systems and spreading sets in projective spaces

abstract: We address several extremal problems concerning the spreading property of point sets of Steiner triple systems. This property is closely related to the structure of subsystems, as a set is spreading if and only if there is no proper subsystem which contains it. We give sharp upper bounds on the size of a minimal spreading set in a Steiner triple system and show that if all the minimal spreading sets are large then the examined triple system must be a projective space. We also show that the size of a minimal spreading set is not an invariant of a Steiner triple system.


title: Anticipation Next -- System-sensitive technology development and integration in work contexts

abstract: When discussing future concerns within socio-technical systems in work contexts, we often find descriptions of missed technology development and integration. The experience of technology that fails whilst being integrated is often rooted in dysfunctional epistemological approaches within the research and development process. Thus, ultimately leading to sustainable technology-distrust in work contexts. This is true for organizations that integrate new technologies and for organizations that invent them. Organizations in which we find failed technology development and integrations are, in their very nature, social systems. Nowadays, those complex social systems act within an even more complex environment. This urges the development of new anticipation methods for technology development and integration. Gathering of and dealing with complex information in the described context is what we call Anticipation Next. This explorative work uses existing literature from the adjoining research fields of system theory, organizational theory, and socio-technical research to combine various concepts. We deliberately aim at a networked way of thinking in scientific contexts and thus combine multidisciplinary subject areas in one paper to present an innovative way to deal with multi-faceted problems in a human-centred way. We end with suggesting a conceptual framework that should be used in the very early stages of technology development and integration in work contexts.


title: Monogamy of quantum discord

abstract: The original quantum discord (QD) is shown to be not monogamous except for the three-qubit states. Recently, a complete monogamy relation for multiparty quantum system was established for entanglement in [Phys. Rev. A. {101}, 032301~(2020)], and in addition, a new multipartite generalization of QD was proposed in [Phys. Rev. Lett. {124}, 110401~(2020)]. In this work, we firstly define the complete monogamy for this multipartite quantum discord (MQD) and the global quantum discord (GQD). MQD, with the same spirit as the complete monogamy of entanglement, is said to be completely monogamous (i) if it does not increase under coarsening of subsystems and (ii) if some given combination of subsystems reach the total amount of the correlation, then all other combination of subsystems that do not include all the given subsystems do not contain such a correlation any more. Here, coarsening of subsystems means discarding or combining some subsystems up to the given partition. Simultaneously, the complete monogamy of GQD is also defined with slight modification on the coarsening relation.Consequently, we explore all the coarsening relations of MQD and show that it is completely monogamous with a modicum assumption. In addition, with the same spirit, we investigate all the coarsening relations for GQD and show that GQD is not completely monogamous.That is, in the sense of the complete monogamy relation, MQD as a generalization of the original QD captures the nature of such a quantum correlation, and thus it is nicer than GQD as a generalization.


title: BG Ind: the nearest doubly eclipsing, compact hierarchical quadruple system

abstract: BG Ind is a well studied, bright, nearby binary consisting of a pair of F stars in a 1.46-day orbit. We have discovered in the TESS lightcurve for TIC 229804573 (aka BG Ind) a second eclipsing binary in the system with a 0.53-day. Our subsequent analyses of the recent TESS and archival ground-based photometric and radial velocity data, reveal that the two binaries are gravitationally bound in a 721-day period, moderately eccentric orbit. We present the results of a joint spectro-photodynamical analysis of the eclipse timing variation curves of both binaries based on TESS and ground-based archival data, the TESS lightcurve, archival radial velocity data and the spectral energy distribution, coupled with the use of PARSEC stellar isochrones. We confirm prior studies of BG Ind which found that the brighter binary A consists of slightly evolved F-type stars with refined masses of 1.32 and 1.43 $M_\odot$, and radii of 1.59 and 2.34 $R_\odot$. The previously unknown binary B has two less massive stars of 0.69 and 0.64 $M_\odot$ and radii of 0.64 and 0.61 $R_\odot$. Based on a number of different arguments which we discuss, we conclude that the three orbital planes are likely aligned to within 17$^\circ$.


title: A pathwise stochastic Landau-Lifshitz-Gilbert equation with application to large deviations

abstract: Using a rough path formulation, we investigate existence, uniqueness and regularity for the stochastic Landau-Lifshitz-Gilbert equation with Stratonovich noise on the one dimensional torus. As a main result we show the continuity of the so-called It\^o-Lyons map in the energy spaces $L^\infty(0,T;H^k)\cap L^2(0,T;H^{k+1})$ for any $k\ge1$. The proof proceeds in two steps. First, based on an energy estimate in the aforementioned space together with a compactness argument we prove existence of a unique solution, implying the continuous dependence in a weaker norm. This is then strengthened in the second step where the continuity in the optimal norm is established through an application of the rough Gronwall lemma. Our approach is direct and does not rely on any transformation formula, which permits to treat multidimensional noise. As an easy consequence we then deduce a Wong-Zakai type result, a large deviation principle for the solution and a support theorem.


title: On compactly supported dual windows of Gabor frames

abstract: The main purpose of the paper is to give a characterization of all compactly supported dual windows of a Gabor frame. As an application, we consider an iterative procedure for approximation of the canonical dual window via compactly supported dual windows on every step. In particular, the procedure allows to have approximation of the canonical dual window via dual windows from certain modulation spaces or from the Schwartz space.


title: A CPG-Based Agile and Versatile Locomotion Framework Using Proximal Symmetry Loss

abstract: Humanoid robots are made to resemble humans but their locomotion abilities are far from ours in terms of agility and versatility. When humans walk on complex terrains, or face external disturbances, they combine a set of strategies, unconsciously and efficiently, to regain stability. This paper tackles the problem of developing a robust omnidirectional walking framework, which is able to generate versatile and agile locomotion on complex terrains. The Linear Inverted Pendulum Model and Central Pattern Generator concepts are used to develop a closed-loop walk engine, which is then combined with a reinforcement learning module. This module learns to regulate the walk engine parameters adaptively, and generates residuals to adjust the robot's target joint positions (residual physics). Additionally, we propose a proximal symmetry loss function to increase the sample efficiency of the Proximal Policy Optimization algorithm, by leveraging model symmetries and the trust region concept. The effectiveness of the proposed framework was demonstrated and evaluated across a set of challenging simulation scenarios. The robot was able to generalize what it learned in unforeseen circumstances, displaying human-like locomotion skills, even in the presence of noise and external pushes.


title: The relation between general relativity and a class of Ho\v{r}ava gravity theories

abstract: Violations of Lorentz (and specifically boost) invariance can make gravity renormalizable in the ultraviolet, as initially noted by Ho\v{r}ava, but are increasingly constrained in the infrared. At low energies, Ho\v{r}ava gravity is characterized by three dimensionless couplings, $\alpha$, $\beta$ and $\lambda$, which vanish in the general relativistic limit. Solar system and gravitational wave experiments bound two of these couplings ($\alpha$ and $\beta$) to tiny values, but the third remains relatively unconstrained ($0\leq\lambda\lesssim 0.01-0.1$). Moreover, demanding that (slowly moving) black-hole solutions are regular away from the central singularity requires $\alpha$ and $\beta$ to vanish {\it exactly}. Although a canonical constraint analysis shows that the class of khronometric theories resulting from these constraints ($\alpha=\beta=0$ and $\lambda\neq0$) cannot be equivalent to General Relativity, even in vacuum, previous calculations of the dynamics of the solar system, binary pulsars and gravitational-wave generation show perfect agreement with General Relativity. Here, we analyze spherical collapse and compute black-hole quasinormal modes, and find again that they behave {\it exactly} as in General Relativity, as far as {\it observational} predictions are concerned. Nevertheless, we find that spherical collapse leads to the formation of a regular {\it universal} horizon, i.e. a causal boundary for signals of arbitrary propagation speeds, inside the usual event horizon for matter and tensor gravitons. Our analysis also confirms that the additional scalar degree of freedom present alongside the spin-2 graviton of General Relativity remains strongly coupled at low energies, even on curved backgrounds. These puzzling results suggest that any further bounds on Ho\v{r}ava gravity will probably come from cosmology.


title: Unsupervised dynamic modeling of medical image transformation

abstract: Spatiotemporal imaging has applications in e.g. cardiac diagnostics, surgical guidance, and radiotherapy monitoring, In this paper, we explain the temporal motion by identifying the underlying dynamics, only based on the sequential images. Our dynamical model maps the inputs of observed high-dimensional sequential images to a low-dimensional latent space wherein a linear relationship between a hidden state process and the lower-dimensional representation of the inputs holds. For this, we use a conditional variational auto-encoder (CVAE) to nonlinearly map the higher-dimensional image to a lower-dimensional space, wherein we model the dynamics with a linear Gaussian state-space model (LG-SSM). The model, a modified version of the Kalman variational auto-encoder, is end-to-end trainable, and the weights, both in the CVAE and LG-SSM, are simultaneously updated by maximizing the evidence lower bound of the marginal likelihood. In contrast to the original model, we explain the motion with a spatial transformation from one image to another. This results in sharper reconstructions and the possibility of transferring auxiliary information, such as segmentation, through the image sequence. Our experiments, on cardiac ultrasound time series, show that the dynamic model outperforms traditional image registration in execution time, to a similar performance. Further, our model offers the possibility to impute and extrapolate for missing samples.

categories: physics.med-ph cs.CV cs.LG cs.SY eess.IV eess.SY


title: Data-Driven Approach for Noise Reduction in Pressure-Sensitive Paint Data Based on Modal Expansion and Time-Series Data at Optimally Placed Points

abstract: We propose a noise reduction method for unsteady pressure-sensitive paint (PSP) data based on modal expansion, the coefficients of which are determined from time-series data at optimally placed points. In this study, the proper orthogonal decomposition (POD) mode calculated from the time-series PSP data is used as a modal basis. Based on the POD modes, the points that effectively represent the features of the pressure distribution are optimally placed by the sensor optimization technique. Then, the time-dependent coefficient vector of the POD modes is determined by minimizing the difference between the time-series pressure data and the reconstructed pressure at the optimal points. Here, the coefficient vector is assumed to be a sparse vector. The advantage of the proposed method is a self-contained method, while existing methods use other data such as pressure tap data for the reduction of the noise. As a demonstration, we applied the proposed method to the PSP data measuring the K\'arm\'an vortex street behind a square cylinder. The reconstructed pressure data is agreed very well with the pressures independently measured by pressure transducers.


title: $P=W$ conjecture in lowest degree for rank $2$ over the $5$-punctured sphere

abstract: We use abelianization of Higgs bundles away from the ramification divisor and fiducial solutions to analyze the large scale behaviour of Fenchel--Nielsen co-ordinates on the moduli space of rank $2$ Higgs bundles on the Riemann sphere with $5$ punctures. We solve the related Hitchin WKB problem and prove the lowest degree weighted pieces of the $P=W$ conjecture in this case.


title: DF-VO: What Should Be Learnt for Visual Odometry?

abstract: Multi-view geometry-based methods dominate the last few decades in monocular Visual Odometry for their superior performance, while they have been vulnerable to dynamic and low-texture scenes. More importantly, monocular methods suffer from scale-drift issue, i.e., errors accumulate over time. Recent studies show that deep neural networks can learn scene depths and relative camera in a self-supervised manner without acquiring ground truth labels. More surprisingly, they show that the well-trained networks enable scale-consistent predictions over long videos, while the accuracy is still inferior to traditional methods because of ignoring geometric information. Building on top of recent progress in computer vision, we design a simple yet robust VO system by integrating multi-view geometry and deep learning on Depth and optical Flow, namely DF-VO. In this work, a) we propose a method to carefully sample high-quality correspondences from deep flows and recover accurate camera poses with a geometric module; b) we address the scale-drift issue by aligning geometrically triangulated depths to the scale-consistent deep depths, where the dynamic scenes are taken into account. Comprehensive ablation studies show the effectiveness of the proposed method, and extensive evaluation results show the state-of-the-art performance of our system, e.g., Ours (1.652%) v.s. ORB-SLAM (3.247%}) in terms of translation error in KITTI Odometry benchmark. Source code is publicly available at: \href{https://github.com/Huangying-Zhan/DF-VO}{DF-VO}.


title: Angle-Domain Intelligent Reflecting Surface Systems: Design and Analysis

abstract: This paper considers an angle-domain intelligent reflecting surface (IRS) system. We derive maximum likelihood (ML) estimators for the effective angles from the base station (BS) to the user and the effective angles of propagation from the IRS to the user. It is demonstrated that the accuracy of the estimated angles improves with the number of BS antennas. Also, deploying the IRS closer to the BS increases the accuracy of the estimated angle from the IRS to the user. Then, based on the estimated angles, we propose a joint optimization of BS beamforming and IRS beamforming, which achieves similar performance to two benchmark algorithms based on full CSI and the multiple signal classification (MUSIC) method respectively. Simulation results show that the optimized BS beam becomes more focused towards the IRS direction as the number of reflecting elements increases. Furthermore, we derive a closed-form approximation, upper bound and lower bound for the achievable rate. The analytical findings indicate that the achievable rate can be improved by increasing the number of BS antennas or reflecting elements. Specifically, the BS-user link and the BS-IRS-user link can obtain power gains of order $N$ and $NM^2$, respectively, where $N$ is the antenna number and $M$ is the number of reflecting elements.


title: Information geometry for Fermi-Dirac and Bose-Einstein quantum statistics

abstract: Information geometry is an emergent branch of probability theory that consists of assigning a Riemannian differential geometry structure to the space of probability distributions. We present an information geometric investigation of gases following the Fermi-Dirac and the Bose-Einstein quantum statistics. For each quantum gas, we study the information geometry of the curved statistical manifolds associated with the grand canonical ensemble. The Fisher-Rao information metric and the scalar curvature are computed for both fermionic and bosonic models of non-interacting particles. In particular, by taking into account the ground state of the ideal bosonic gas in our information geometric analysis, we find that the singular behavior of the scalar curvature in the condensation region disappears. This is a counterexample to a long held conjecture that curvature always diverges in phase transitions.


title: An algorithm to construct subsolutions of convex optimal control problems

abstract: We propose an algorithm that produces a non-decreasing sequence of subsolutions for a class of optimal control problems distinguished by the property that the associated Bellman operators preserve convexity. In addition to a theoretical discussion and proofs of convergence, numerical experiments are presented to illustrate the feasibility of the method.


title: OMNet: Learning Overlapping Mask for Partial-to-Partial Point Cloud Registration

abstract: Point cloud registration is a key task in many computational fields. Previous correspondence matching based methods require the inputs to have distinctive geometric structures to fit a 3D rigid transformation according to point-wise sparse feature matches. However, the accuracy of transformation heavily relies on the quality of extracted features, which are prone to errors with respect to partiality and noise. In addition, they can not utilize the geometric knowledge of all the overlapping regions. On the other hand, previous global feature based approaches can utilize the entire point cloud for the registration, however they ignore the negative effect of non-overlapping points when aggregating global features. In this paper, we present OMNet, a global feature based iterative network for partial-to-partial point cloud registration. We learn overlapping masks to reject non-overlapping regions, which converts the partial-to-partial registration to the registration of the same shape. Moreover, the previously used data is sampled only once from the CAD models for each object, resulting in the same point clouds for the source and reference. We propose a more practical manner of data generation where a CAD model is sampled twice for the source and reference, avoiding the previously prevalent over-fitting issue. Experimental results show that our method achieves state-of-the-art performance compared to traditional and deep learning based methods. Code is available at https://github.com/megvii-research/OMNet.


title: Differential 2-rigs

abstract: We study the notion of a "differential 2-rig", a category R with coproducts and a monoidal structure distributing over them, also equipped with an endofunctor D : R -> R that satisfies a categorified analogue of the Leibniz rule. This is intended as a tool to unify various applications of such categories to computer science, algebraic topology, and enumerative combinatorics. The theory of differential 2-rigs has a geometric flavour but boils down to a specialization of the theory of tensorial strengths on endofunctors; this builds a surprising connection between apparently disconnected fields. We build "free 2-rigs" on a signature, and we prove various initiality results: for example, a certain category of colored species is the free differential 2-rig on a single generator.


title: Mixed variational formulations for structural topology optimization based on the phase-field approach

abstract: We propose a variational principle combining a phase-field functional for structural topology optimization with a mixed (three-field) Hu-Washizu functional, then including directly in the formulation equilibrium, constitutive, and compatibility equations. The resulting mixed variational functional is then specialized to derive a classical topology optimization formulation (where the amount of material to be distributed is an \emph{a priori} assigned quantity acting as a global constraint for the problem) as well as a novel topology optimization formulation (where the amount of material to be distributed is minimized, hence with no pre imposed constraint for the problem). Both formulations are numerically solved by implementing a mixed finite element scheme, with the second approach avoiding the introduction of a global constraint, hence respecting the convenient local nature of the finite element discretization. Furthermore, within the proposed approach it is possible to obtain guidelines for settings proper values of phase-field-related simulation parameters and, thanks to the combined phase-field and Hu-Washizu rationale, a monolithic algorithm solution scheme can be easily adopted. An insightful and extensive numerical investigation results in a detailed convergence study and a discussion on the obtained final designs. The numerical results clearly highlight differences between the two formulations as well as advantages related to the monolithic solution strategy; numerical investigations address both two-dimensional and three-dimensional applications.


title: LADMM-Net: An Unrolled Deep Network For Spectral Image Fusion From Compressive Data

abstract: Image fusion aims at estimating a high-resolution spectral image from a low-spatial-resolution hyperspectral image and a low-spectral-resolution multispectral image. In this regard, compressive spectral imaging (CSI) has emerged as an acquisition framework that captures the relevant information of spectral images using a reduced number of measurements. Recently, various image fusion methods from CSI measurements have been proposed. However, these methods exhibit high running times and face the challenging task of choosing sparsity-inducing bases. In this paper, a deep network under the algorithm unrolling approach is proposed for fusing spectral images from compressive measurements. This architecture, dubbed LADMM-Net, casts each iteration of a linearized version of the alternating direction method of multipliers into a processing layer whose concatenation deploys a deep network. The linearized approach enables obtaining fusion estimates without resorting to costly matrix inversions. Furthermore, this approach exploits the benefits of learnable transforms to estimate the image details included in both the auxiliary variable and the Lagrange multiplier. Finally, the performance of the proposed technique is evaluated on two spectral image databases and one dataset captured at the laboratory. Extensive simulations show that the proposed method outperforms the state-of-the-art approaches that fuse spectral images from compressive measurements.


abstract: A graph is called Ricci-flat if its Ricci curvatures vanish on all edges, here the definition of Ricci curvature on graphs was given by Lin-Lu-Yau. The authors in arXiv:1301.0102 and arXiv:1802.02982 obtained a complete characterization for all Ricci-flat graphs with girth at least five. In this paper, we completely determined all Ricci-flat graphs with maximum degree at most 4.


title: Directing Words of Fuzzy Finite Automata

abstract: A deterministic finite automaton is directable if it has a directing word which takes the automaton from every state to the same state. These notions have been extended also to other kinds of automata. Thus, B.~Imreh and M.~Steinby (1999) identified three natural types of directing words, called D1-, D2- and D3-directing words, for nondeterministic finite automata (NFAs). Here we adapt these notions for fuzzy finite automata (FFAs). The D3-directing words obtained this way are precisely the directing words introduced by V.~Karthikeyan and M. Rajasekar (2015). With any FFA F we associate an NFA Fnd which has the same Di-directing words as F. Thus, if these definitions are used, the theory of directable FFAs reduces to that of NFAs. We also introduce three new kinds of directing words of fuzzy automata that we call DD1-, DD2- and DD3-directing words, respectively which depend more on the fuzzy transition degrees between states. We establish some basic properties of the sets $DDi(F)$ of DDi-directing words of any given FFA F. In particular, it is shown that these languages are regular, and that DDi-directability is decidable. For so-called normal FFAs the languages DDi(F) are shown to have some special properties. Several relationships between the families of the corresponding sets DDi(F) of DDi-directing words are presented. We also determine the complete meet-semilattice of the various classes of DDi-directable FFAs and normal FFAs and their intersections.


title: Prospects for kilonova signals in the gravitational-wave era

abstract: The binary neutron star merger gravitational-wave signal GW170817 was followed by three electromagnetic counterparts, including a kilonova arising from the radioactivity of freshly synthesized $r$-process elements in ejecta from the merger. Finding kilonovae after gravitational-wave triggers is crucial for (i) the search for further counterparts, such as the afterglow, (ii) probing the diversity of kilonovae and their dependence on the system's inclination angle, and (iii) building a sample for multi-messenger cosmology. During the third observing run of the gravitational-wave interferometer network, no kilonova counterpart was found. We aim to predict the expected population of detectable kilonova signals for the upcoming O4 and O5 observing runs of the LIGO-Virgo-KAGRA instruments. Using a simplified criterion for gravitational-wave detection and a simple GW170817-calibrated model for the kilonova peak magnitude, we determine the rate of kilonovae in reach of follow-up campaigns and their distributions in magnitude for various bands. We briefly consider the case of GW190425, the only binary neutron star merger confirmed since GW170817, and obtain constraints on its inclination angle from the non-detection of its kilonova, assuming the source was below the follow-up thresholds. We also show that non-gravitational-wave-triggered kilonovae can be a numerous class of sources in future surveys and briefly discuss associations with short bright gamma-ray bursts. We finally discuss the detection of the jetted outflow afterglow in addition to the kilonova.