title: The decay $\eta' \to \pi\rho$ in the chiral NJL model

abstract: The branching fraction of the decay $\eta' \to \pi\rho$ is calculated in the chiral quark NJL model. The decay exists due to the mass difference between $u$- and $d$-quarks leading to $\pi^{0}-\eta^{'}$ mixing. Two different approaches are applied: the approximate calculation of this process taking into account the transition $\pi^{0}-\eta^{'}$ explicitly without dioganalisation and a more precise approach consisting in the diagonalisation of the singlet and octet states leading to the physical fields $\pi^{0}$, $\eta$ and $\eta^{'}$. The obtained results are in satisfactory agreement with current experimental data.


title: Optimality conditions in DC constrained mathematical programming problems

abstract: This paper provides necessary and sufficient optimality conditions for abstract constrained mathematical programming problems in locally convex spaces under new qualification conditions. Our approach exploits the geometrical properties of certain mappings, in particular their structure as difference of convex functions, and uses techniques of generalized differentiation (subdifferential and coderivative). It turns out that these tools can be used fruitfully out of the scope of Asplund spaces. Applications to infinite, stochastic and semi-definite programming are developed in separate sections.


title: Kinetic theory for massive spin-1 particles

abstract: We calculate the Wigner function for charged spin-1 particles in inhomogeneous classical electromagnetic fields, going to first order in a power series in $\hbar$. The Boltzmann equation for the scalar distribution function obtained from this formalism agrees with previous calculations for spin-1/2 particles. In particular, we recover a Mathisson force of twice the magnitude, correctly reflecting the higher dipole moment of vector mesons. Evolution equations for vector and tensor degrees of freedom are obtained, and global equilibrium is discussed.


title: Evolution of direct reciprocity in group-structured populations

abstract: People tend to have their social interactions with members of their own community. Such group-structured interactions can have a profound impact on the behaviors that evolve. Group structure affects the way people cooperate, and how they reciprocate each other's cooperative actions. Past work has shown that population structure and reciprocity can both promote the evolution of cooperation. Yet the impact of these mechanisms has been typically studied in isolation. In this work, we study how the two mechanisms interact. Using a game-theoretic model, we explore how people engage in reciprocal cooperation in group-structured populations, compared to well-mixed populations of equal size. To derive analytical results, we focus on two scenarios. In the first scenario, we assume a complete separation of time scales. Mutations are rare compared to between-group comparisons, which themselves are rare compared to within-group comparisons. In the second scenario, there is a partial separation of time scales, where mutations and between-group comparisons occur at a comparable rate. In both scenarios, we find that the effect of population structure depends on the benefit of cooperation. When this benefit is small, group-structured populations are more cooperative. But when the benefit is large, well-mixed populations result in more cooperation. Overall, our results reveal how group structure can sometimes enhance and sometimes suppress the evolution of cooperation.


title: Probing the earliest phases in the formation of massive galaxies with simulated HST+JWST imaging data from Illustris

abstract: We use the Illustris-1 simulation to explore the capabilities of the $\textit{Hubble}$ and $\textit{James Webb Space Telescope}$ data to analyze the stellar populations in high-redshift galaxies, taking advantage of the combined depth, spatial resolution, and wavelength coverage. For that purpose, we use simulated broad-band ACS, WFC3 and NIRCam data and 2-dimensional stellar population synthesis (2D-SPS) to derive the integrated star formation history (SFH) of massive (M$_{\ast}>10^{10}\,$M$_{\odot}$) simulated galaxies at $1<z<4$ that evolve into a local M$_{\ast}>10^{11}\,$M$_{\odot}$ galaxy. In particular, we explore the potential of HST and JWST datasets reaching a depth similar to those of the CANDELS and ongoing CEERS observations, respectively, and concentrate on determining the capabilities of this dataset for characterizing the first episodes in the SFH of local M$_{\ast}>10^{11}\,$M$_{\odot}$ galaxies by studying their progenitors at $z>1$. The 2D-SPS method presented in this paper has been calibrated to robustly recover the cosmic times when the first star formation episodes occurred in massive galaxies, i.e., the first stages in their integrated SFHs. In particular, we discuss the times when the first 1% to 50% of their total stellar mass formed in the simulation. We demonstrate that we can recover these ages with typical median systematic offset of less than 5% and scatter around 20%-30%. According to our measurements on Illustris data, we are able to recover that local M$_{\ast}>10^{11}\,$M$_{\odot}$ galaxies would have started their formation by $z=16$, forming the first 5% of their stellar mass present at $z \sim 1$ by $z=4.5$, 10% by $z=3.7$, and 25% by $z=2.7$.


title: Inner relaxations in equiatomic single-phase high-entropy cantor alloy

abstract: The superior properties of high-entropy multi-functional materials are strongly connected with their atomic heterogeneity through many different local atomic interactions. The detailed element-specific studies on a local scale can provide insight into the primary arrangements of atoms in multicomponent systems and benefit to unravel the role of individual components in certain macroscopic properties of complex compounds. Herein, multi-edge X-ray absorption spectroscopy combined with reverse Monte Carlo simulations was used to explore a homogeneity of the local crystallographic ordering and specific structure relaxations of each constituent in the equiatomic single-phase face-centered cubic CrMnFeCoNi high-entropy alloy at room temperature. Within the considered fitting approach, all five elements of the alloy were found to be distributed at the nodes of the fcc lattice without any signatures of the additional phases at the atomic scale and exhibit very close statistically averaged interatomic distances (2.54-2.55 \r{A}) with their nearest-neighbors. Enlarged structural displacements were found solely for Cr atoms. The macroscopic magnetic properties probed by conventional magnetometry demonstrate no opening of the hysteresis loops at 5 K and illustrate a complex character of the long-range magnetic order after field-assisted cooling in $\pm$5 T. The observed magnetic behavior is assigned to effects related to structural relaxations of Cr. Besides, the advantages and limitations of the reverse Monte Carlo approach to studies of multicomponent systems like high-entropy alloys are highlighted.


title: Phonon Interference at the Atomic Scale

abstract: Phonons diffraction and interference patterns are observed at the atomic scale, using molecular dynamics simulations in systems containing crystalline silicon and nanometric obstacles as voids or amorphous-inclusions. The diffraction patterns caused by these nano-architectured systems of the same order as the phonon wavelengths are similar to the ones predicted by a simple Fresnel-Kirchhoff integral, with a few differences due to the nature of the obstacle and the anisotropy of crystalline silicon. These findings give evidence of the wave nature of phonons, can help to a better comprehension of the interaction of phonons with nanoobjects and at long term can be useful for intelligent thermal management and phonon frequency filtering at the nanoscale.


title: The effect of local magnetic moments on spectral properties and resistivity near the interaction- and doping induced Mott transitions

abstract: We study the effect of the formation and screening of local magnetic moments on the temperature- and interaction dependencies of spectral functions and resistivity in the vicinity of the metal-insulator transition. We use the dynamical mean-field theory for the strongly correlated Hubbard model and associate the peculiarities of the above mentioned properties with those found for the local charge $\chi_c$ and spin $\chi_s$ susceptibilities. We show that at half filling the maximum of resistivity at a certain temperature $T^*$ corresponds to the appearance of central quasiparticle peak of the spectral function and entering the metallic regime with well defined fermionic quasiparticles. At the same time, the temperature of the crossover to the regime with screening of local magnetic moments, determined by the minimum of double occupation, is smaller than the temperature scale $T^*$ and coincides at half filling with the boundary $T_{\beta=1}(U)$ corresponding to the exponent of resistivity $\beta\equiv d\ln \rho/d\ln T=1$. Away from half filling we find weak increase of the temperature of the beginning and completion of the screening (i.e. Kondo temperature) of local magnetic moments, while the unscreened local magnetic moments exist only up to few percents of doping. In the low temperature regime $T<T_{\beta=1}$ simultaneous presence of itinerant and localized degrees of freedom yields almost linear temperature dependence of scattering rate and resistivity.


title: Acoustic solitons in a periodic waveguide: theory and experiments

abstract: We study the propagation of high-amplitude sound waves, in the form of pulse-like solitary waves, in an air-filled acoustic waveguide of periodically varying cross section. Our numerical simulations, solving the compressible Navier-Stokes equations in two dimensions, as well as our experimental results, strongly suggest that nonlinear losses, originated from vortex shedding (at the segment changes) are crucial in the dynamics of high amplitude pulses. We find that, even in the presence of strong dissipation, the solitary wave roughly retains its characteristics (as described by the amplitude-velocity-width relations), obtained by the derivation and analysis of an effective Boussinesq equation. In addition, we propose a transmission-line based numerical scheme, able to capture well the experimental results. The proposed design offers a new playground for the study of the combined effects of dispersion, nonlinearity and dissipation in air-borne acoustics, while, due to its simplicity, it can be extended to higher dimensions.


title: Neural Strands: Learning Hair Geometry and Appearance from Multi-View Images

abstract: We present Neural Strands, a novel learning framework for modeling accurate hair geometry and appearance from multi-view image inputs. The learned hair model can be rendered in real-time from any viewpoint with high-fidelity view-dependent effects. Our model achieves intuitive shape and style control unlike volumetric counterparts. To enable these properties, we propose a novel hair representation based on a neural scalp texture that encodes the geometry and appearance of individual strands at each texel location. Furthermore, we introduce a novel neural rendering framework based on rasterization of the learned hair strands. Our neural rendering is strand-accurate and anti-aliased, making the rendering view-consistent and photorealistic. Combining appearance with a multi-view geometric prior, we enable, for the first time, the joint learning of appearance and explicit hair geometry from a multi-view setup. We demonstrate the efficacy of our approach in terms of fidelity and efficiency for various hairstyles.


title: Temperature and friction fluctuations inside a harmonic potential

abstract: In this article we study the trapped motion of a molecule undergoing diffusivity fluctuations inside a harmonic potential. For the same diffusing-diffusivity process, we investigate two possible interpretations. Depending on whether diffusivity fluctuations are interpreted as temperature or friction fluctuations, we show that they display drastically different statistical properties inside the harmonic potential. We compute the characteristic function of the process under both types of interpretations and analyse their limit behavior. Based on the integral representations of the processes we compute the mean-squared displacement and the normalized excess kurtosis. In the long-time limit, we show for friction fluctuations that the probability density function (PDF) always converges to a Gaussian whereas in the case of temperature fluctuations the stationary PDF can display either Gaussian distribution or generalized Laplace (Bessel) distribution depending on the ratio between diffusivity and positional correlation times.


title: Membrane domain formation induced by binding/unbinding of curvature-inducing molecules onto both membrane surfaces

abstract: The domain formation of curvature-inducing molecules, such as peripheral or transmembrane proteins and conical surfactants, is studied in thermal equilibrium and nonequilibrium steady states using meshless membrane simulations. These molecules can bind onto both surfaces of a bilayer membrane and also move to the opposite leaflet by a flip-flop. In symmetric conditions for the two leaflets, the membrane domains form checkerboard patterns in addition to stripe and spot patterns. The unbound membrane stabilizes the vertices of the checkerboard. In asymmetric conditions, the domains form kagome-lattice and thread-like domains. In the nonequilibrium steady states, a flow of the binding molecules between the upper and lower solutions can occur via the flip-flop.


title: Full counting statistics of interacting lattice gases after an expansion: The role of the condensate depletion in the many-body coherence

abstract: We study the full counting statistics (FCS) of quantum gases in samples of thousands of interacting bosons, detected atom-by-atom after a long free-fall expansion. In this far-field configuration, the FCS reveals the many-body coherence from which we characterize iconic states of interacting lattice bosons, by deducing the normalized correlations $g^{(n)}(0)$ up to the order $n=6$. In Mott insulators, we find a thermal FCS characterized by perfectly-contrasted correlations $g^{(n)}(0)= n!$. In interacting Bose superfluids, we observe small deviations to the Poisson FCS and to the ideal values $g^{(n)}(0)=1$ expected for a pure condensate. To describe these deviations, we introduce a heuristic model that includes an incoherent contribution attributed to the depletion of the condensate. The predictions of the model agree quantitatively with our measurements over a large range of interaction strengths, that includes the regime where the condensate is strongly depleted by interactions. These results suggest that the condensate component exhibits a full coherence $g^{(n)}(0) =1$ at any order $n$ up to $n=6$ and at arbitrary interaction strengths. The approach demonstrated here is readily extendable to characterize a large variety of interacting quantum states and phase transitions.


title: Verifiable Encodings for Secure Homomorphic Analytics

abstract: Homomorphic encryption, which enables the execution of arithmetic operations directly on ciphertexts, is a promising solution for protecting privacy of cloud-delegated computations on sensitive data. However, the correctness of the computation result is not ensured. We propose two error detection encodings and build authenticators that enable practical client-verification of cloud-based homomorphic computations under different trade-offs and without compromising on the features of the encryption algorithm. Our authenticators operate on top of trending ring learning with errors based fully homomorphic encryption schemes over the integers. We implement our solution in VERITAS, a ready-to-use system for verification of outsourced computations executed over encrypted data. We show that contrary to prior work VERITAS supports verification of any homomorphic operation and we demonstrate its practicality for various applications, such as ride-hailing, genomic-data analysis, encrypted search, and machine-learning training and inference.


title: WiVelo: Fine-grained Walking Velocity Estimation for Wi-Fi Passive Tracking

abstract: Passive human tracking via Wi-Fi has been researched broadly in the past decade. Besides straight-forward anchor point localization, velocity is another vital sign adopted by the existing approaches to infer user trajectory. However, state-of-the-art Wi-Fi velocity estimation relies on Doppler-Frequency-Shift (DFS) which suffers from the inevitable signal noise incurring unbounded velocity errors, further degrading the tracking accuracy. In this paper, we present WiVelo\footnote{Code\&datasets are available at \textit{https://github.com/liecn/WiVelo\_SECON22}} that explores new spatial-temporal signal correlation features observed from different antennas to achieve accurate velocity estimation. First, we use subcarrier shift distribution (SSD) extracted from channel state information (CSI) to define two correlation features for direction and speed estimation, separately. Then, we design a mesh model calculated by the antennas' locations to enable a fine-grained velocity estimation with bounded direction error. Finally, with the continuously estimated velocity, we develop an end-to-end trajectory recovery algorithm to mitigate velocity outliers with the property of walking velocity continuity. We implement WiVelo on commodity Wi-Fi hardware and extensively evaluate its tracking accuracy in various environments. The experimental results show our median and 90\% tracking errors are 0.47~m and 1.06~m, which are half and a quarter of state-of-the-arts.


title: Universal Chern number statistics in random matrix fields

abstract: We investigate the probability distribution of Chern numbers (quantum Hall effect integers) for a parametric version of the GUE random matrix ensemble, which is a model for a chaotic or disordered system. The numerically-calculated single-band Chern number statistics agree well with predictions based on an earlier study [O. Gat and M. Wilkinson, SciPost Phys., 10, 149, (2021)] of the statistics of the quantum adiabatic curvature, when the parametric correlation length is small. However, contrary to an earlier conjecture, we find that the gap Chern numbers are correlated, and that correlation is weak but slowly-decaying. Also, the statistics of weighted sums of Chern numbers for many bands differs markedly from predictions based upon the hypothesis that gap Chern numbers are uncorrelated. All our results are consistent with the universality hypothesis described in the earlier paper, including in the previously unstudied regime of large correlation length, where the Chern statistics is highly non-Gaussian.


title: PEA: Improving the Performance of ReLU Networks for Free by Using Progressive Ensemble Activations

abstract: In recent years novel activation functions have been proposed to improve the performance of neural networks, and they show superior performance compared to the ReLU counterpart. However, there are environments, where the availability of complex activations is limited, and usually only the ReLU is supported. In this paper we propose methods that can be used to improve the performance of ReLU networks by using these efficient novel activations during model training. More specifically, we propose ensemble activations that are composed of the ReLU and one of these novel activations. Furthermore, the coefficients of the ensemble are neither fixed nor learned, but are progressively updated during the training process in a way that by the end of the training only the ReLU activations remain active in the network and the other activations can be removed. This means that in inference time the network contains ReLU activations only. We perform extensive evaluations on the ImageNet classification task using various compact network architectures and various novel activation functions. Results show 0.2-0.8% top-1 accuracy gain, which confirms the applicability of the proposed methods. Furthermore, we demonstrate the proposed methods on semantic segmentation and we boost the performance of a compact segmentation network by 0.34% mIOU on the Cityscapes dataset.


title: Discovery and origin of the radio emission from the multiple stellar system KQVel

abstract: KQVel is a binary system composed of a slowly rotating magnetic Ap star with a companion of unknown nature. In this paper, we report the detection of its radio emission. We conducted a multi-frequency radio campaign using the ATCA interferometer (band-names: 16cm, 4cm, and 15mm). The target was detected in all bands. The most obvious explanation for the radio emission is that it originates in the magnetosphere of the Ap star, but this is shown unfeasible. The known stellar parameters of the Ap star enable us to exploit the scaling relationship for non-thermal gyro-synchrotron emission from early-type magnetic stars. This is a general relation demonstrating how radio emission from stars with centrifugal magnetospheres is supported by rotation. Using KQVel's parameters the predicted radio luminosity is more than five orders of magnitudes lower than the measured one. The extremely long rotation period rules out the Ap star as the source of the observed radio emission. Other possible explanations for the radio emission from KQVel, involving its unknown companion, have been explored. A scenario that matches the observed features (i.e. radio luminosity and spectrum, correlation to X-rays) is a hierarchical stellar system, where the possible companion of the magnetic star is a close binary (possibly of RSCVn type) with at least one magnetically active late-type star. To be compatible with the total mass of the system, the last scenario places strong constraints on the orbital inclination of the KQVel stellar system.


title: Topological modularity of Monstrous Moonshine

abstract: We explore connections among Monstrous Moonshine, orbifolds, the Kitaev chain and topological modular forms. Symmetric orbifolds of the Monster CFT, together with further orbifolds by subgroups of Monster, are studied and found to satisfy the divisibility property, which was recently used to rule out extremal holomorphic conformal field theories. For orbifolds by cyclic subgroups of Monster, we arrive at divisibility properties involving the full McKay-Thompson series. Orbifolds by non-abelian subgroups of Monster are further considered by utilizing the data of Generalized Moonshine.

categories: hep-th math-ph math.AT math.MP math.NT math.RT


title: The effect of side walls on the stability of falling films

abstract: We study the influence of side walls on the stability of falling liquid films. We combine a temporal biglobal stability analysis based on the linearized Navier-Stokes equations with experiments measuring the spatial growth rate of sinusoidal waves flowing downstream an inclined channel. Very good agreement was found when comparing the theoretical and experimental results. Strong lateral confinement of the channel stabilises the flow. In the wavenumber-Reynolds number space, the instability region experiences a fragmentation due to selective damping of moderate wavenumbers. For this range of parameters, the three dimensional confined problem shows several prominent stability modes which are classified into two categories, the well known Kapitza hydrodynamic instability mode (H-mode), and a new unstable mode, we refer to it as wall-mode (W-mode). The two mode types are stabilised differently, where the H-modes are stabilized at small wavenumbers, while the W-modes experience stabilization at high wavenumbers, and at sufficiently small channel widths, only the W-mode is observed. The reason behind the unique H-modes stabilisation is that they become analogous to waveguide modes, which can not propagate below a certain cut-off wavenumber. The spatial structure of the eigenmodes experiences significant restructuring at wavenumbers smaller than the most damped wavenumber. The mode switching preserves the spatial symmetry of the unstable mode.


title: Dirac/Weyl-node-induced oscillating Casimir effect

abstract: The Casimir effect is a quantum phenomenon induced by the zero-point energy of relativistic fields confined in a finite-size system. This effect for photon fields has been studied for a long time, while the realization of counterparts for fermion fields in Dirac/Weyl semimetals is an open question. We theoretically demonstrate the typical properties of the Casimir effect for relativistic electron fields in Dirac/Weyl semimetals and show the results from an effective Hamiltonian for realistic materials such as Cd$_3$As$_2$ and Na$_3$Bi. We find an oscillation of the Casimir energy as a function of the thickness of the thin film, which stems from the existence of Dirac/Weyl nodes in momentum space. Experimentally, such an effect can be observed in thin films of semimetals, where the thickness dependence of thermodynamic quantities is affected by the Casimir energy.

categories: cond-mat.mes-hall cond-mat.mtrl-sci hep-lat hep-th quant-ph


title: Target and beam-target asymmetries for the $\gamma p \to \pi^0 \pi^0 p$ reaction

abstract: Background: Photoproduction of pion pairs allows to study sequential decays of nucleon resonances via excited intermediate states. Such decays are important e.g. for states which in the quark model have both oscillators excited and de-excite them in a two-step process. However, analyses of multi-meson final states is difficult and requires more than unpolarized cross section measurements. Purpose: Experimental study and model analysis in view of resonant contributions of target and beam-target polarization observables for the reaction $\gamma p \to \pi^0 \pi^0 p$. Methods: Investigated were target (single) and beam-target (double) polarization asymmetries in dependence of several parameters. The experiments were performed at the Mainz Microtron (MAMI) using circularly polarized photon beams and transversally polarized solid-state butanol targets. The reaction products were analyzed with the Crystal Ball and TAPS detectors. Results: Studied were the polarization observables Py (unpolarized beam, target polarized in y direction) and Px (circularly polarized beam, target polarized in x direction), which are similar to T (target asymmetry) and F (beam-target asymmetry) for single pion production. The asymmetries were analyzed with three independent methods, revealing systematic uncertainties.


title: Topological Analysis of Ensembles of Hydrodynamic Turbulent Flows -- An Experimental Study

abstract: This application paper presents a comprehensive experimental evaluation of the suitability of Topological Data Analysis (TDA) for the quantitative comparison of turbulent flows. Specifically, our study documents the usage of the persistence diagram of the maxima of flow enstrophy (an established vorticity indicator), for the topological representation of 180 ensemble members, generated by a coarse sampling of the parameter space of five numerical solvers. We document five main hypotheses reported by domain experts, describing their expectations regarding the variability of the flows generated by the distinct solver configurations. We contribute three evaluation protocols to assess the validation of the above hypotheses by two comparison measures: (i) a standard distance used in scientific imaging (the L2 norm) and (ii) an established topological distance between persistence diagrams (the L2-Wasserstein metric). Extensive experiments on the input ensemble demonstrate the superiority of the topological distance (ii) to report as close to each other flows which are expected to be similar by domain experts, due to the configuration of their vortices. Overall, the insights reported by our study bring an experimental evidence of the suitability of TDA for representing and comparing turbulent flows, thereby providing to the fluid dynamics community confidence for its usage in future work. Also, our flow data and evaluation protocols provide to the TDA community an application-approved benchmark for the evaluation and design of further topological distances.


title: Irregular fibrations of derived equivalent varieties

abstract: We study the behavior of irregular fibrations of a variety under derived equivalence of its bounded derived category. In particular we prove the derived invariance of the existence of an irregular fibration over a variety of general type, extending the case of irrational pencils onto curves of genus $g\geq 2$. We also prove that a derived equivalence of such fibrations induces a derived equivalence between their general fibers.


title: An efficient semismooth Newton-AMG-based inexact primal-dual algorithm for generalized transport problems

abstract: This work is concerned with the efficient optimization method for solving a large class of optimal mass transport problems. An inexact primal-dual algorithm is presented from the time discretization of a proper dynamical system, and by using the tool of Lyapunov function, the global (super-)linear convergence rate is established for function residual and feasibility violation. The proposed algorithm contains an inner problem that possesses strong semismoothness property and motivates the use of the semismooth Newton iteration. By exploring the hidden structure of the problem itself, the linear system arising from the Newton iteration is transferred equivalently into a graph Laplacian system, for which a robust algebraic multigrid method is proposed and also analyzed via the famous Xu--Zikatanov identity. Finally, numerical experiments are provided to validate the efficiency of our method.


title: Weakly-Supervised Camouflaged Object Detection with Scribble Annotations

abstract: Existing camouflaged object detection (COD) methods rely heavily on large-scale datasets with pixel-wise annotations. However, due to the ambiguous boundary, annotating camouflage objects pixel-wisely is very time-consuming and labor-intensive, taking ~60mins to label one image. In this paper, we propose the first weakly-supervised COD method, using scribble annotations as supervision. To achieve this, we first relabel 4,040 images in existing camouflaged object datasets with scribbles, which takes ~10s to label one image. As scribble annotations only describe the primary structure of objects without details, for the network to learn to localize the boundaries of camouflaged objects, we propose a novel consistency loss composed of two parts: a cross-view loss to attain reliable consistency over different images, and an inside-view loss to maintain consistency inside a single prediction map. Besides, we observe that humans use semantic information to segment regions near the boundaries of camouflaged objects. Hence, we further propose a feature-guided loss, which includes visual features directly extracted from images and semantically significant features captured by the model. Finally, we propose a novel network for COD via scribble learning on structural information and semantic relations. Our network has two novel modules: the local-context contrasted (LCC) module, which mimics visual inhibition to enhance image contrast/sharpness and expand the scribbles into potential camouflaged regions, and the logical semantic relation (LSR) module, which analyzes the semantic relation to determine the regions representing the camouflaged object. Experimental results show that our model outperforms relevant SOTA methods on three COD benchmarks with an average improvement of 11.0% on MAE, 3.2% on S-measure, 2.5% on E-measure, and 4.4% on weighted F-measure.


title: Quantifying the lucky droplet model for rainfall

abstract: It is difficult to explain rainfall from ice-free clouds, because the timescale for the onset of rain showers is shorter than the mean time for collisions between microscopic water droplets. It has been suggested that raindrops are produced from very rare ' lucky' droplets, which undergo a large number of collisions on a timescale which is short compared to the mean time for a the first collision. This work uses large deviation theory to develop estimates for the timescale for the onset of a rain shower, as a function of the collision rate coefficients. The growth history of the fast-growing droplets which do become raindrops is discussed. It is shown that their first few collisions are always approximately equally spaced in time, regardless of how the mean time for typical droplets varies as a function of the number of collisions.


title: Exploration of the origin of 2020 X-ray outburst in OJ 287

abstract: Research into OJ 287 has been ongoing for many years. In 2020 April-June, this source underwent the second highest X-ray outburst (second only to the 2016-2017 outburst) and the mechanism of this outburst is still under debate. In this paper, we discuss two scenarios to explore the origin of the outburst: an after-effect of a black hole-disc impact and a tidal disruption event (TDE). We present the weak correlations of the spectral index versus X-ray flux and the hardness ratio (HR) versus the soft X-ray flux during the outburst, and these features are different from the case in the quiescent state. The correlations are compared with those of the 2016-2017 outburst with the highest X-ray flux in monitoring history. Analysis of the outbursts in 2016-2017 and 2020 shows that the expected time of the X-ray outburst, based on the theory of the after-effect of the black hole-disc impact and the estimation of available data, is inconsistent with historical observations. The soft X-ray spectra, the barely temporal evolution of colour, and the evolution of the HR mean that the 2020 outburst shares similar features with the 2016-2017 outburst, which was considered as a possible candidate for a TDE. Additionally, we find that the predictions of full TDEs ($t^{-5/3}$) and partial TDEs ($t^{-9/4}$) for the soft X-ray decay light curve are well fitted. Our analysis suggests that the 2020 outburst in OJ 287 is probably related to the TDE candidate.


title: Ever heard of ethical AI? Investigating the salience of ethical AI issues among the German population

abstract: Building and implementing ethical AI systems that benefit the whole society is cost-intensive and a multi-faceted task fraught with potential problems. While computer science focuses mostly on the technical questions to mitigate social issues, social science addresses citizens' perceptions to elucidate social and political demands that influence the societal implementation of AI systems. Thus, in this study, we explore the salience of AI issues in the public with an emphasis on ethical criteria to investigate whether it is likely that ethical AI is actively requested by the population. Between May 2020 and April 2021, we conducted 15 surveys asking the German population about the most important AI-related issues (total of N=14,988 respondents). Our results show that the majority of respondents were not concerned with AI at all. However, it can be seen that general interest in AI and a higher educational level are predictive of some engagement with AI. Among those, who reported having thought about AI, specific applications (e.g., autonomous driving) were by far the most mentioned topics. Ethical issues are voiced only by a small subset of citizens with fairness, accountability, and transparency being the least mentioned ones. These have been identified in several ethical guidelines (including the EU Commission's proposal) as key elements for the development of ethical AI. The salience of ethical issues affects the behavioral intentions of citizens in the way that they 1) tend to avoid AI technology and 2) engage in public discussions about AI. We conclude that the low level of ethical implications may pose a serious problem for the actual implementation of ethical AI for the Common Good and emphasize that those who are presumably most affected by ethical issues of AI are especially unaware of ethical risks. Yet, once ethical AI is top of the mind, there is some potential for activism.


title: CubeMLP: An MLP-based Model for Multimodal Sentiment Analysis and Depression Estimation

abstract: Multimodal sentiment analysis and depression estimation are two important research topics that aim to predict human mental states using multimodal data. Previous research has focused on developing effective fusion strategies for exchanging and integrating mind-related information from different modalities. Some MLP-based techniques have recently achieved considerable success in a variety of computer vision tasks. Inspired by this, we explore multimodal approaches with a feature-mixing perspective in this study. To this end, we introduce CubeMLP, a multimodal feature processing framework based entirely on MLP. CubeMLP consists of three independent MLP units, each of which has two affine transformations. CubeMLP accepts all relevant modality features as input and mixes them across three axes. After extracting the characteristics using CubeMLP, the mixed multimodal features are flattened for task predictions. Our experiments are conducted on sentiment analysis datasets: CMU-MOSI and CMU-MOSEI, and depression estimation dataset: AVEC2019. The results show that CubeMLP can achieve state-of-the-art performance with a much lower computing cost.


title: On the Sequential Probability Ratio Test in Hidden Markov Models

abstract: We consider the Sequential Probability Ratio Test applied to Hidden Markov Models. Given two Hidden Markov Models and a sequence of observations generated by one of them, the Sequential Probability Ratio Test attempts to decide which model produced the sequence. We show relationships between the execution time of such an algorithm and Lyapunov exponents of random matrix systems. Further, we give complexity results about the execution time taken by the Sequential Probability Ratio Test.


title: Determinants of twisted generalized hybrid weaving knots

abstract: This article presents a formula for the determinant of the twisted generalized hybrid weaving knot $\hat{Q}_3(m_1,m_2,n,l)$, which is a closed 3-braid. As a corollary, we prove Conjecture 2 of Singh & Chbili [Nuclear Physics B, 980:115800 (2022)].


title: Complexity and quenches in models with three and four spin interactions

abstract: We study information theoretic quantities in models with three and four spin interactions. These models show distinctive characteristics compared to their nearest neighbour counterparts. Here, we quantify these in terms of the Nielsen complexity in static and quench scenarios, the Fubini-Study complexity, and the entanglement entropy. The models that we study have a rich phase structure, and we show how the difference in the nature of phase transitions in these, compared to ones with nearest neighbour interactions, result in different behaviour of information theoretic quantities, from ones known in the literature. For example, the derivative of the Nielsen complexity does not diverge but shows a discontinuity near continuous phase transitions, and the Fubini-Study complexity may be regular and continuous across such transitions. The entanglement entropy shows a novel discontinuity both at first and second order quantum phase transitions. We also study multiple quench scenarios in these models and contrast these with quenches in the transverse XY model.


title: Fluctuations of the winding number of a directed polymer on a cylinder

abstract: We prove a central limit theorem for the winding number of a directed polymer on a cylinder, which is equivalent with proving the Gaussian fluctuations of the endpoint of the directed polymer in a spatial periodic environment.


title: Towards highly efficient broadband superconducting quantum memory

abstract: Microwave quantum memory promises advanced capabilities for noisy intermediate-scale superconducting quantum computers. Existing approaches to microwave quantum memory lack complete combination of high efficiency, long storage time, noiselessness and multi-qubit capacity. Here we report an efficient microwave broadband multimode quantum memory. The memory stores two spectral modes of single photon level microwave radiation in on-chip system of eight coplanar superconducting resonators. Single mode storage shows a power efficiency of up to $60\pm 3\%$ at single photon energy and more than $73\pm 3\%$ at higher intensity. The demonstrated efficiency is an order of magnitude larger than the previously reported multimode microwave quantum memory. The noiseless character of the storage is confirmed by coherent state quantum process tomography. The demonstrated results pave the way to further increase in efficiency and hence building a practical multimode microwave memory for superconducting quantum circuits.


title: Tunable $\Lambda$-type system made of a superconducting qubit pair

abstract: Two transversely coupled and resonant qubits form symmetric and antisymmetric states as their eigenstates. In this paper, we show that parametric modulation of an individual qubit enables direct Rabi swapping between the two states. Its application to setup a $\Lambda$-type system with a pair of strongly coupled superconducting transmon qubits is discussed. The excited state is made of the symmetric state and the metastable state is the antisymmetric state. The coherence of the metastable state is only limited by the pure dephasing mechanism. Based on this scheme, $\Lambda$-type electromagnetically induced transparency, Autler-Townes splitting and stimulated Raman adiabatic passage are numerically demonstrated. We highlight the large frequency tunability in such superconducting $\Lambda$-type systems.


title: Entity Type Prediction Leveraging Graph Walks and Entity Descriptions

abstract: The entity type information in Knowledge Graphs (KGs) such as DBpedia, Freebase, etc. is often incomplete due to automated generation or human curation. Entity typing is the task of assigning or inferring the semantic type of an entity in a KG. This paper presents \textit{GRAND}, a novel approach for entity typing leveraging different graph walk strategies in RDF2vec together with textual entity descriptions. RDF2vec first generates graph walks and then uses a language model to obtain embeddings for each node in the graph. This study shows that the walk generation strategy and the embedding model have a significant effect on the performance of the entity typing task. The proposed approach outperforms the baseline approaches on the benchmark datasets DBpedia and FIGER for entity typing in KGs for both fine-grained and coarse-grained classes. The results show that the combination of order-aware RDF2vec variants together with the contextual embeddings of the textual entity descriptions achieve the best results.


title: New developments in relativistic hydrodynamics

abstract: We review recent progress in relativistic hydrodynamics, discussing causal and stable first-order hydrodynamics, known as BDNK theories, hydrodynamic attractors, as well as hydrodynamics near the chiral critical point and spin hydrodynamics.


title: Towards Large-Scale Small Object Detection: Survey and Benchmarks

abstract: With the rise of deep convolutional neural networks, object detection has achieved prominent advances in past years. However, such prosperity could not camouflage the unsatisfactory situation of Small Object Detection (SOD), one of the notoriously challenging tasks in computer vision, owing to the poor visual appearance and noisy representation caused by the intrinsic structure of small targets. In addition, large-scale dataset for benchmarking small object detection methods remains a bottleneck. In this paper, we first conduct a thorough review of small object detection. Then, to catalyze the development of SOD, we construct two large-scale Small Object Detection dAtasets (SODA), SODA-D and SODA-A, which focus on the Driving and Aerial scenarios respectively. SODA-D includes 24828 high-quality traffic images and 278433 instances of nine categories. For SODA-A, we harvest 2513 high resolution aerial images and annotate 872069 instances over nine classes. The proposed datasets, as we know, are the first-ever attempt to large-scale benchmarks with a vast collection of exhaustively annotated instances tailored for multi-category SOD. Finally, we evaluate the performance of mainstream methods on SODA. We expect the released benchmarks could facilitate the development of SOD and spawn more breakthroughs in this field. Datasets and codes are available at: \url{https://shaunyuan22.github.io/SODA}.


title: Dynamical properties of minimal Ferenczi subshifts

abstract: We provide an explicit S-adic representation of rank one subshifts with bounded spacers and call the subshifts obtained in this way ''Ferenczi subshifts''. We aim to show that this approach is very convenient to study the dynamical behavior of rank one systems. For instance, we compute their topological rank, the strong and the weak orbit equivalence class. We observe that they have an induced systems that is a Toeplitz subshift having discrete spectrum. We also characterize continuous and non continuous eigenvalues of minimal Ferenczi subshifts.


title: Convergence of iterates in nonlinear Perron-Frobenius theory

abstract: Let $C$ be a closed cone with nonempty interior $C^\circ$ in a Banach space. Let $f:C^\circ \rightarrow C^\circ$ be an order-preserving subhomogeneous function with a fixed point in $C^\circ$. We introduce a condition which guarantees that the iterates $f^k(x)$ converge to a fixed point for all $x \in C^\circ$. This condition generalizes the notion of type K order-preserving for maps on $\mathbb{R}^n_{>0}$. We also prove that when iterates converge to a fixed point, the rate of convergence is always R-linear in two special cases: for piecewise affine maps and also for order-preserving, homogeneous, analytic, multiplicatively convex functions on $\mathbb{R}^n_{>0}$. This later category includes the maps associated with the homogeneous eigenvalue problem for nonnegative tensors.


title: The simulator of the VLT Deformable Secondary Mirror: a test tool for adaptive optics instruments for the Yepun-UT4 telescope

abstract: The Deformable Mirror Simulator (DMS) is an optical device reproducing the F/13 beam from the adaptive secondary mirror of the Very Large Telescope UT4. The system has been designed and integrated as a test tool for the calibration and functional verification of the WaveFront sensor module of the ERIS instrument (or ERIS-AO). To this purpose the DSMSim includes a high order deformable mirror and two sources to mimic the laser and natural asterisms and illuminate the WFS optics. In this paper we report the design of the DSMSim, the integration, verification and alignment procedure with the ERIS-AO; in the end we outline a roadmap for future improvements of the system. This work is intended to be a reference for future intrumentation projects (e.g. MAVIS-AO) for the VLT.


title: Images of graded polynomials on matrix algebras

abstract: The aim of this paper is to start the study of images of graded polynomials on full matrix algebras. We work with the matrix algebra $M_n(K)$ over a field $K$ endowed with its canonical $\mathbb{Z}_n$-grading (Vasilovsky's grading). We explicitly determine the possibilities for the linear span of the image of a multilinear graded polynomial over the field $\mathbb Q$ of rational numbers and state an analogue of the L'vov-Kaplansky conjecture about images of multilinear graded polynomials on $n\times n$ matrices, where $n$ is a prime number. We confirm such conjecture for polynomials of degree 2 over $M_n(K)$ when $K$ is a quadratically closed field of characteristic zero or greater than $n$ and for polynomials of arbitrary degree over matrices of order 2. We also determine all the possible images of semi-homogeneous graded polynomials evaluated on $M_2(K)$.


title: 4-component relativistic Hamiltonian with effective QED potentials for molecular calculations

abstract: We report the implementation of effective QED potentials for all-electron 4-component relativistic molecular calculations using the DIRAC code. The potentials are also available for 2-component calculations, proper picture-change being mandatory. Specificially, we have implemented the Uehling potential [E. A. Uehling, Phys. Rev. 48 , 55 (1935)] for vacuum polarization and two effective potentials [P. Pyykk\"o and L.-B. Zhao, J. Phys. B 36 , 1469 (2003); V. V. Flambaum and J. S. M. Ginges, Phys. Rev. A 72 , 052115 (2005)] for electron self-energy. We provide extensive theoretical background for these potentials. We report the following sample applications: i) we confirm the conjecture of Pyykk\"o that QED effects are observable for the AuCN molecule by directly calculating ground-state rotational constants $B_0$ of the three isotopomers studied by MW spectroscopy; QED brings the corresponding substitution Au-C bond length $r_s$ from 0.23 to 0.04 pm agreement with experiment, ii) spectroscopic constants of van der Waals dimers M$_2$ (M=Hg, Rn, Cn, Og) iii) there is a significant change of valence s population of Pb in the reaction PbH$_4$ -> PbH$_2$ + H$_2$, which is thereby a good candidate for observing QED effects in chemical reactions, as proposed in [K. G. Dyall et al., Chem. Phys. Lett. 348 , 497 (2001)]. QED contributes 0.32 kcal/mol to the reaction energy, thereby reducing its magnitude by -1.27 %. For corresponding hydrides of superheavy flerovium, the electronic structures are quite similar. Interestingly, the QED contribution to the reaction energy is of quite similar magnitude (0.35 kcal/mol), whereas the relative change is significantly smaller (-0.50 %). This curious observation can be explained by the faster increase of negative vacuum polarization over positive electron self-energy contributions as a function of nuclear charge.


title: Quantum Complexity of Permutations

abstract: Let $S_n$ be the symmetric group of all permutations of $\{1, \cdots, n\}$ with two generators: the transposition switching $1$ with $2$ and the cyclic permutation sending $k$ to $k+1$ for $1\leq k\leq n-1$ and $n$ to $1$ (denoted by $\sigma$ and $\tau$). In this article, we study quantum complexity of permutations in $S_n$ using $\{\sigma, \tau, \tau^{-1}\}$ as logic gates. We give an explicit construction of permutations in $S_n$ with quadratic quantum complexity lower bound $\frac{n^2-2n-7}{4}$. We also prove that all permutations in $S_n$ have quadratic quantum complexity upper bound $3(n-1)^2$. Finally, we show that almost all permutations in $S_n$ have quadratic quantum complexity lower bound when $n\rightarrow \infty$.


title: Low-complexity Sparse Array Synthesis Based on Off-grid Compressive Sensing

abstract: A novel sparse array synthesis method for non-uniform planar arrays is proposed, which belongs to compressive sensing (CS)-based systhesis. Particularly, we propose an off-grid refinement technique to simultaneously optimize the antenna element positions and excitations with a low complexity, in response to the antenna position optimization problem that is difficult for standard CS. More importantly, we take into account the minimum inter-element spacing constraint for ensuring the physically realizable solution. Specifically, the off-grid Orthogonal Match Pursuit (OMP) algorithm is first proposed with low complexity and then off-grid Look Ahead Orthogonal Match Pursuit (LAOMP) is designed with better synthesis performance but higher complexity. In addition, simulation results have shown the proposed schemes have more advantages in computational complexity and synthesis performances compared with the related method.


title: Homological Knot Invariants from Mirror Symmetry

abstract: In 1999, Khovanov showed that a link invariant known as the Jones polynomial is the Euler characteristic of a homology theory. The knot categorification problem is to find a general construction of knot homology groups, and to explain their meaning -- what are they homologies of? Homological mirror symmetry, formulated by Kontsevich in 1994, naturally produces hosts of homological invariants. Typically though, it leads to invariants which have no particular interest outside of the problem at hand. I showed recently that there is a new family of mirror pairs of manifolds, for which homological mirror symmetry does lead to interesting invariants and solves the knot categorification problem. The resulting invariants are computable explicitly for any simple Lie algebra, and certain Lie superalgebras.


title: Production of twisted particles in magnetic fields

abstract: The use of a (quasi)uniform magnetic field opens new possibilities for a production of twisted particles having orbital angular momenta. Quantum states suitable for a production of charged particles in a uniform magnetic field are determined. The particle penetration from a solenoid to vacuum or another solenoid is analyzed in detail. Experiments allowing one successful discoveries of twisted positrons and positroniums are developed. We find a new effect of increasing a uncertainty of phase of the particle rotation with the distance passed by the particle in the solenoid. This effect leads to exciting new possibilities of production of twisted particles in real solenoids without additional devices like particle sources.


title: MarkerMap: nonlinear marker selection for single-cell studies

abstract: Single-cell RNA-seq data allow the quantification of cell type differences across a growing set of biological contexts. However, pinpointing a small subset of genomic features explaining this variability can be ill-defined and computationally intractable. Here we introduce MarkerMap, a generative model for selecting minimal gene sets which are maximally informative of cell type origin and enable whole transcriptome reconstruction. MarkerMap provides a scalable framework for both supervised marker selection, aimed at identifying specific cell type populations, and unsupervised marker selection, aimed at gene expression imputation and reconstruction. We benchmark MarkerMap's competitive performance against previously published approaches on real single cell gene expression data sets. MarkerMap is available as a pip installable package, as a community resource aimed at developing explainable machine learning techniques for enhancing interpretability in single-cell studies.


title: Fast Compressive Channel Estimation for MmWave MIMO Hybrid Beamforming Systems

abstract: Given the high degree of computational complexity of the channel estimation technique based on the conventional one-dimensional (1-D) compressive sensing (CS) framework employed in the hybrid beamforming architecture, this study proposes two low-complexity channel estimation strategies. One is two-stage CS, which exploits row-group sparsity to estimate angle-of-arrival (AoA) first and uses the conventional 1-D CS method to obtain angle-of-departure (AoD). The other is two-dimensional (2-D) CS, which utilizes a 2-D dictionary to reconstruct the 2-D sparse signal. To conduct a meaningful comparison of the three CS frameworks, i.e., 1-D, two-stage and 2-D CS, the orthogonal match pursuit (OMP) algorithm is employed as the basic algorithm and is expanded to two variants for the proposed frameworks. Analysis and simulations demonstrate that when the 1-D CS method is compared, two-stage CS has somewhat lower performance but significantly lower computational complexity, while 2-D CS is not only the same as 1-D CS in terms of performance but also slightly lower in computational complexity than two-stage CS.


title: Short Synchronizing Words for Random Automata

abstract: We prove that a uniformly random automaton with $n$ states on a 2-letter alphabet has a synchronizing word of length $O(n^{1/2}\log n)$ with high probability (w.h.p.). That is to say, w.h.p. there exists a word $\omega$ of such length, and a state $v_0$, such that $\omega$ sends all states to $v_0$. Prior to this work, the best upper bound was the quasilinear bound $O(n\log^3n)$ due to Nicaud (2016). The correct scaling exponent had been subject to various estimates by other authors between $0.5$ and $0.56$ based on numerical simulations, and our result confirms that the smallest one indeed gives a valid upper bound (with a log factor). Our proof introduces the concept of $w$-trees, for a word $w$, that is, automata in which the $w$-transitions induce a (loop-rooted) tree. We prove a strong structure result that says that, w.h.p., a random automaton on $n$ states is a $w$-tree for some word $w$ of length at most $(1+\epsilon)\log_2(n)$, for any $\epsilon>0$. The existence of the (random) word $w$ is proved by the probabilistic method. This structure result is key to proving that a short synchronizing word exists.


title: Transport signatures of Fermi arcs at twin boundaries in Weyl materials

abstract: One of the most striking signatures of Weyl fermions is their surface Fermi arcs. Less known is that Fermi arcs can also be localized at internal twin boundaries where two Weyl materials of opposite chirality meet. In this work, we derive constraints on the topology and connectivity of these "internal Fermi arcs." We show that internal Fermi arcs can exhibit transport signatures and propose two probes: quantum oscillations and a quantized chiral magnetic current. We propose merohedrally twinned B20 materials as candidates to host internal Fermi arcs, verified through both model and ab initio calculations. Our theoretical investigation sheds lights on the topological features and motivates experimental studies into the intriguing physics of internal Fermi arcs.


title: Well-posedness for Cauchy fractional problems involving discrete convolution operators

abstract: This work is focused on establishing sufficient conditions to guarantee the well-posedness of the following nonlinear fractional semidiscrete model \begin{equation*} \begin{cases} \mathbb D^\beta_t u(n,t)= B u(n,t) + f(n-ct,u(n,t)),\, &n\in\mathbb{Z}, \;t>0, u(n,0)=\varphi(n),\; &n\in\mathbb{Z}, \end{cases} \end{equation*} under the assumptions that $\beta \in (0,1]$, $c>0$ some constant, $B$ is a discrete convolution operator with kernel $b\in\ell^1(\Z)$, which is the infinitesimal generator of the Markovian $C_0$-semigroup and suitable nonlinearity $f$. We present results concerning the existence and uniqueness of solution, as well as establishing a comparison principle of solutions according to respective initial values.


title: Symmetry protected 1D chains in mixed-valence iron oxides

abstract: During the last decade of high-pressure research a whole new series of iron oxides was discovered, like Fe$_4$O$_5$, Fe$_5$O$_6$, Fe$_7$O$_9$ etc., featuring closely related structures with arrays of one-dimensional (1D) chains of trigonal prisms embedded between slabs of octahedra. Here, we develop a unified approach to the series based on a specific crystallographic generation mechanism which predicts the structures of these oxides and naturally classifies them in terms of the slab cycle. When including magnetic interactions, we show that the 1D chains have a symmetry protection against magnetic perturbations from the iron ions in the slabs, and that the slab size determines the type of magnetic order, which is either ferromagnetic or antiferromagnetic. Dynamical mean-field theory calculations reveal the orbitally selective Mott state of the Fe ions and tendency of conductivity to low-dimensional behavior with particular enhancement along the 1D chains. Across the series, the decoupling of the chains increases, and so with the inherent charge ordering of the slabs, these structures have the potential to allow experimental realization of the model system of coupled 1D wires. We point out the possibility to stabilize these compounds in the thin-film form that, together with a wide range of possible ionic substitutions and fact that these compounds are recoverable at ambient pressure, makes them a very promising platform to engineer physical systems with interesting magnetotransport phenomena, as corroborated by the recent discovery of quantum Hall effect in ZrTe$_5$.


title: Computing High-Quality Solutions for the Patient Admission Scheduling Problem using Evolutionary Diversity Optimisation

abstract: Diversification in a set of solutions has become a hot research topic in the evolutionary computation community. It has been proven beneficial for optimisation problems in several ways, such as computing a diverse set of high-quality solutions and obtaining robustness against imperfect modeling. For the first time in the literature, we adapt the evolutionary diversity optimisation for a real-world combinatorial problem, namely patient admission scheduling. We introduce an evolutionary algorithm to achieve structural diversity in a set of solutions subjected to the quality of each solution. We also introduce a mutation operator biased towards diversity maximisation. Finally, we demonstrate the importance of diversity for the aforementioned problem through a simulation.


title: On Galois groups of linearized polynomials related to the general linear group of prime degree

abstract: Let $L(x)$ be any $q$-linearized polynomial with coefficients in $\mathbb{F}_q$, of degree $q^n$. We consider the Galois group of $L(x)+tx$ over $\mathbb{F}_q(t)$, where $t$ is transcendental over $\mathbb{F}_q$. We prove that when $n$ is a prime, the Galois group is always $GL(n,q)$, except when $L(x)=x^{q^n}$. Equivalently, we prove that the arithmetic monodromy group of $L(x)/x$ is $GL(n,q)$.


title: Classification of FIB/SEM-tomography images for highly porous multiphase materials using random forest classifiers

abstract: FIB/SEM tomography represents an indispensable tool for the characterization of three-dimensional nanostructures in battery research and many other fields. However, contrast and 3D classification/reconstruction problems occur in many cases, which strongly limits the applicability of the technique especially on porous materials, like those used for electrode materials in batteries or fuel cells. Distinguishing the different components like active Li storage particles and carbon/binder materials is difficult and often prevents a reliable quantitative analysis of image data, or may even lead to wrong conclusions about structure-property relationships. In this contribution, we present a novel approach for data classification in three-dimensional image data obtained by FIB/SEM tomography and its applications to NMC battery electrode materials. We use two different image signals, namely the signal of the angled SE2 chamber detector and the Inlens detector signal, combine both signals and train a random forest, i.e. a particular machine learning algorithm. We demonstrate that this approach can overcome current limitations of existing techniques suitable for multi-phase measurements and that it allows for quantitative data reconstruction even where current state-of the art techniques fail, or demand for large training sets. This approach may yield as guideline for future research using FIB/SEM tomography.


title: Turbulence in the outer heliosphere

abstract: The solar wind (SW) and local interstellar medium (LISM) are turbulent media. Their interaction is governed by complex physical processes and creates heliospheric regions with significantly different properties in terms of particle populations, bulk flow and turbulence. Our knowledge of the solar wind turbulence \nature and dynamics mostly relies on near-Earth and near-Sun observations, and has been increasingly improving in recent years due to the availability of a wealth of space missions, including multi-spacecraft missions. In contrast, the properties of turbulence in the outer heliosphere are still not completely understood. In situ observations by Voyager and New Horizons, and remote neutral atom measurements by IBEX strongly suggest that turbulence is one of the critical processes acting at the heliospheric interface. It is intimately connected to charge exchange processes responsible for the production of suprathermal ions and energetic neutral atoms. This paper reviews the observational evidence of turbulence in the distant SW and in the LISM, advances in modeling efforts, and open challenges.

categories: physics.space-ph astro-ph.EP astro-ph.SR physics.flu-dyn physics.plasm-ph


title: Claim-Dissector: An Interpretable Fact-Checking System with Joint Re-ranking and Veracity Prediction

abstract: We present Claim-Dissector: a novel latent variable model for fact-checking and analysis, which given a claim and a set of retrieved evidences jointly learns to identify: (i) the relevant evidences to the given claim, (ii) the veracity of the claim. We propose to disentangle the per-evidence relevance probability and its contribution to the final veracity probability in an interpretable way -- the final veracity probability is proportional to a linear ensemble of per-evidence relevance probabilities. In this way, the individual contributions of evidences towards the final predicted probability can be identified. In per-evidence relevance probability, our model can further distinguish whether each relevant evidence is supporting (S) or refuting (R) the claim. This allows to quantify how much the S/R probability contributes to the final verdict or to detect disagreeing evidence. Despite its interpretable nature, our system achieves results competitive with state-of-the-art on the FEVER dataset, as compared to typical two-stage system pipelines, while using significantly fewer parameters. It also sets new state-of-the-art on FAVIQ and RealFC datasets. Furthermore, our analysis shows that our model can learn fine-grained relevance cues while using coarse-grained supervision, and we demonstrate it in 2 ways. (i) We show that our model can achieve competitive sentence recall while using only paragraph-level relevance supervision. (ii) Traversing towards the finest granularity of relevance, we show that our model is capable of identifying relevance at the token level. To do this, we present a new benchmark TLR-FEVER focusing on token-level interpretability -- humans annotate tokens in relevant evidences they considered essential when making their judgment. Then we measure how similar are these annotations to the tokens our model is focusing on.


title: Rotation-induced granular motion on the secondary component of binary asteroids: Application to the DART impact on Dimorphos

abstract: NASA's Double Asteroid Redirection Test (DART) mission will kinetically impact Dimorphos, the secondary component of the Didymos binary asteroid system, which will excite Dimorphos's dynamical state and lead to significant libration about the synchronous state and possibly chaotic non-principal axis rotation. Although this particular outcome is human caused, many other secondary components of binary systems are also prone to such exotic spin states. For a satellite in an excited spin state, the time-varying tidal and rotational environment can lead to significant surface accelerations. Depending on the circumstances, this mechanism may drive granular motion on the surface of the secondary. We modeled the dynamical evolution of a Didymos-like binary asteroid system using a fully coupled, three-dimensional simulation code. Then, we computed the time-varying gravitational and rotational accelerations felt over the entire surface resulting from the secondary's perturbed dynamical state. We find that an excited spin and orbit can induce large changes in the effective surface slope, potentially triggering granular motion and surface refreshment. However, for the case of the DART impact, this effect is highly dependent on many unknowns, such as Dimorphos's detailed shape, bulk density, surface geology, and the momentum transferred. Aside from the Didymos system and the DART mission, this effect also has important implications for binary systems in general.


title: Emergent structure and dynamics of tropical forest-grassland landscapes

abstract: Previous work indicates that tropical forest can exist as an alternative stable state to savanna. Therefore, perturbation by climate change or human impact may lead to crossing of a tipping point beyond which there is rapid forest dieback that is not easily reversed. A hypothesised mechanism for such bistability is a feedback between fire and vegetation, where fire spreads as a contagion process on grass patches. Theoretical models have largely implemented this mechanism implicitly, by assuming a threshold dependence of fire spread on flammable vegetation. Here, we show how the nonlinear dynamics and bistability emerge spontaneously, without assuming equations or thresholds for fire spread. We find that the forest geometry causes the nonlinearity that induces bistability. We demonstrate this in three steps. First, we model forest and fire as interacting contagion processes on grass patches, %using a cellular automaton showing that spatial structure emerges due to two counteracting effects on the forest perimeter: forest expansion by dispersal, and forest erosion by fires originating in adjacent grassland. Then, we derive a landscape-scale balance equation in which these two effects link forest geometry and dynamics: forest expands proportionally to its perimeter, while it shrinks proportionally to its perimeter weighted by adjacent grassland area. Finally, we show that these perimeter quantities introduce nonlinearity in our balance equation and lead to bistability. Relying on the link between structure and dynamics, we propose a forest resilience indicator that could be used for targeted conservation or restoration.


title: A Survey of Syntactic Modelling Structures in Biomedical Ontologies

abstract: Despite the large-scale uptake of semantic technologies in the biomedical domain, little is known about common modelling practices in published ontologies. OWL ontologies are often published only in the crude form of sets of axioms leaving the underlying design opaque. However, a principled and systematic ontology development life cycle is likely to be reflected in regularities of the ontology's emergent syntactic structure. To develop an understanding of this emergent structure, we propose to reverse-engineer ontologies taking a syntax-directed approach for identifying and analysing regularities for axioms and sets of axioms. We survey BioPortal in terms of syntactic modelling trends and common practices for OWL axioms and class frames. Our findings suggest that biomedical ontologies only share simple syntactic structures in which OWL constructors are not deeply nested or combined in a complex manner. While such simple structures often account for large proportions of axioms in a given ontology, many ontologies also contain non-trivial amounts of more complex syntactic structures that are not common across ontologies.


title: Relations among $\mathbb{P}$-Twists

abstract: Given two $\mathbb{P}$-objects in some algebraic triangulated category, we investigate the possible relations among the associated $\mathbb{P}$-twists. The main result is that, under certain technical assumptions, the $\mathbb{P}$-twists commute if and only if the $\mathbb{P}$-objects are orthogonal. Otherwise, there are no relations at all. In particular, this applies to most of the known pairs of $\mathbb{P}$-objects on hyperk\"ahler varieties. In order to show this, we relate $\mathbb{P}$-twists to spherical twists and apply known results about the absence of relations between pairs of spherical twists.


title: GJ 3090 b: one of the most favourable mini-Neptune for atmospheric characterisation

abstract: We report the detection of GJ 3090 b (TOI-177.01), a mini-Neptune on a 2.9-day orbit transiting a bright (K = 7.3 mag) M2 dwarf located at 22 pc. The planet was identified by the Transiting Exoplanet Survey Satellite and was confirmed with the High Accuracy Radial velocity Planet Searcher radial velocities. Seeing-limited photometry and speckle imaging rule out nearby eclipsing binaries. Additional transits were observed with the LCOGT, Spitzer, and ExTrA telescopes. We characterise the star to have a mass of 0.519 $\pm$ 0.013 M$_\odot$ and a radius of 0.516 $\pm$ 0.016 R$_\odot$. We modelled the transit light curves and radial velocity measurements and obtained a planetary mass of 3.34 $\pm$ 0.72 M$_\oplus$, a radius of 2.13 $\pm$ 0.11 R$_\oplus$, and a mean density of 1.89$^{+0.52}_{-0.45}$ g/cm$^3$. The low density of the planet implies the presence of volatiles, and its radius and insolation place it immediately above the radius valley at the lower end of the mini-Neptune cluster. A coupled atmospheric and dynamical evolution analysis of the planet is inconsistent with a pure H-He atmosphere and favours a heavy mean molecular weight atmosphere. The transmission spectroscopy metric of 221$^{+66}_{-46}$ means that GJ 3090 b is the second or third most favourable mini-Neptune after GJ 1214 b whose atmosphere may be characterised. At almost half the mass of GJ 1214 b, GJ 3090 b is an excellent probe of the edge of the transition between super-Earths and mini-Neptunes. We identify an additional signal in the radial velocity data that we attribute to a planet candidate with an orbital period of 13 days and a mass of 17.1$^{+8.9}_{-3.2}$ M$_\oplus$, whose transits are not detected.


title: Edge Determining Sets and Determining Index

abstract: A graph automorphism is a bijective mapping of the vertices that preserves adjacent vertices. A vertex determining set of a graph is a set of vertices such that the only automorphism that fixes those vertices is the identity. The size of a smallest such set is called the determining number, denoted Det$(G)$. The determining number is a parameter of the graph capturing its level of symmetry. We introduce the related concept of an edge determining set and determining index, Det$'(G)$. We prove that Det$'(G) \le \text{Det}(G) \le 2\text{Det}'(G)$ when Det$(G) \neq 1$ and show both bounds are sharp for infinite families of graphs. Further, we investigate properties of these new concepts, as well as provide the determining index for several families of graphs.


title: Resolving oxidation states and Sn-halide interactions of perovskites through Auger parameter analysis in XPS

abstract: Reliable chemical state analysis of Sn semiconductors by XPS is hindered by the marginal observed shift in the Sn 3d region. For hybrid Sn-based perovskites especially, errors associated with charge referencing can easily exceed chemistry-related shifts. Studies based on the modified Auger parameter ${\alpha}'$ provide a suitable alternative and have been used previously to resolve different chemical states in Sn alloys and oxides. However, the meaningful interpretation of Auger parameter variations on Sn-based perovskite semiconductors requires fundamental studies. In this work, we perform a comprehensive Auger parameter study through systematic compositional variations of Sn halide perovskites. We find that in addition to the oxidation state, ${\alpha}'$ is highly sensitivity to the composition of the halide-site, inducing shifts of up to ${\Delta}{\alpha}' = 2 eV$ between ASnI$_3$ and ASnBr$_3$ type perovskites. The reported dependencies of ${\alpha}'$ on the Sn oxidation state, coordination and local chemistry provide a framework that enables reliable tracking of degradation as well as X-site interaction for Sn-based perovskites and related compounds. The higher robustness and sensitivity of such studies not only enables more in-depth surface analysis of Sn-based perovskites than previously performed, but also increases reproducibility across laboratories.


title: Graph Neural Networks to Predict Sports Outcomes

abstract: Predicting outcomes in sports is important for teams, leagues, bettors, media, and fans. Given the growing amount of player tracking data, sports analytics models are increasingly utilizing spatially-derived features built upon player tracking data. However, player-specific information, such as location, cannot readily be included as features themselves, since common modeling techniques rely on vector input. Accordingly, spatially-derived features are commonly constructed in relation to anchor objects, such as the distance to a ball or goal, through global feature aggregations, or via role-assignment schemes, where players are designated a distinct role in the game. In doing so, we sacrifice inter-player and local relationships in favor of global ones. To address this issue, we introduce a sport-agnostic graph-based representation of game states. We then use our proposed graph representation as input to graph neural networks to predict sports outcomes. Our approach preserves permutation invariance and allows for flexible player interaction weights. We demonstrate how our method provides statistically significant improvements over the state of the art for prediction tasks in both American football and esports, reducing test set loss by 9% and 20%, respectively. Additionally, we show how our model can be used to answer "what if" questions in sports and to visualize relationships between players.


title: Signature of parity anomaly in the measurement of optical Hall conductivity in quantum anomalous Hall systems

abstract: Parity anomaly is a quantum mechanical effect that the parity symmetry in a two-dimensional classical action is failed to be restored in any regularization of the full quantum theory and is characterized by a half-quantized Hall conductivity. Here we propose a scheme to explore the experimental signature from parity anomaly in the measurement of optical Hall conductivity, in which the optical Hall conductivity is nearly half quantized for a proper range of frequency. The behaviors of optical Hall conductivity are studied for several models, which reveal the appearance of half-quantized Hall conductivity in low or high-frequency regimes. The optical Hall conductivity can be extracted from the measurement of Kerr and Faraday rotations and the absorption rate of the circularly polarized light. This proposal provides a practical method to explore the signature of parity anomaly in topological quantum materials.


title: Gravitational-wave event rates as a new probe for dark matter microphysics

abstract: We show that gravitational waves have the potential to unravel the microphysical properties of dark matter due to the dependence of the binary black hole merger rate on cosmic structure formation, which is itself highly dependent on the dark matter scenario. In particular, we demonstrate that suppression of small-scale structure -- such as that caused by interacting, warm, or fuzzy dark matter -- leads to a significant reduction in the rate of binary black hole mergers at redshifts $z\gtrsim5$. This shows that future gravitational-wave observations will provide a new probe of physics beyond the $\Lambda$CDM model.


title: Hyperbolic models for CAT(0) spaces

abstract: We introduce two new tools for studying CAT(0) spaces: \emph{curtains}, versions of cubical hyperplanes; and the \emph{curtain model}, a counterpart of the curve graph. These tools shed new light on CAT(0) spaces, allowing us to prove a dichotomy of a rank-rigidity flavour, establish Ivanov-style rigidity theorems for isometries of the curtain model, find isometry-invariant copies of its Gromov boundary in the visual boundary of the underlying CAT(0) space, and characterise rank-one isometries both in terms of their action on the curtain model and in terms of curtains. Finally, we show that the curtain model is universal for WPD actions over all groups acting properly on the CAT(0) space.


title: Analysis of Polkadot: Architecture, Internals, and Contradictions

abstract: Polkadot is a network protocol launched in 2020 with the ambition of unlocking the full potential of blockchain technologies. Its novel multi-chain protocol allows arbitrary data to be transferred across heterogeneous blockchains, enabling the implementation of a wide range of novel use cases. The Polkadot architecture is based on the principles of sharding, which promises to solve scalability and interoperability shortcomings that encumber many existing blockchain-based systems. Lured by these impressive features, investors immediately appreciated the Polkadot project, which is now firmly ranked among the top 10 cryptocurrencies by capitalization (around 20 Billions USD). However, Polkadot has not received the same level of attention from academia that other proposals in the crypto domain have received so far, like Bitcoin, Ethereum, and Algorand, to cite a few. Polkadot architecture is described and discussed only in the grey literature, and very little is known about its internals. In this paper, we provide the first systematic study on the Polkadot environment, detailing its protocols, governance, and economic model. Then, we identify several limitations -- supported by an empirical analysis of its ledger -- that could severely affect the scalability and overall security of the network. Finally, based on our analysis, we provide future directions to inspire researchers to investigate further the Polkadot ecosystem and its pitfalls in terms of performance, security, and network aspects.


title: Magnetic properties of CrSnS3: A new Van der Waals ferromagnet

abstract: We report an experimental discovery of CrSnS3, a new Van der Waals ferromagnetic (FM) with Curie temperature TC ~119K. The Curie temperature is in qualitative agreement of Chittari et. al. DFT prediction (TC =112.3K) for an Ising model with the addition of Coulomb potential. The FM ordering temperature in CrSnS3 is the highest among Cr-based Van der Waals materials: CrI3, CrSiTe3 and CrGeTe3. The dc-susceptibility revealed a sharp increase at Tc (~119K) indicative of a first order transition; then raises to a wide maximum at AFM Neel temperature TN~90K.The ac-susceptibility reveals the presence of two sharp peaks; one close to Tc (119K) and the other at TN~90K. Ac-susceptibility measurements in an applied dc-magnetic field indicates that CrSnS3 undergoes two successive phase transitions: a sharp increase in the susceptibility indicates a first order PM to FM at 119K, followed by more gradual decrease at the onset of AFM transition at TN~90K. The magnetization isotherms below 30K indicates that the materials orders in an AFM state; while the magnetic isotherms at T >30K rises sharply to its saturated values confirming the ferromagnetic state.


title: FedVARP: Tackling the Variance Due to Partial Client Participation in Federated Learning

abstract: Data-heterogeneous federated learning (FL) systems suffer from two significant sources of convergence error: 1) client drift error caused by performing multiple local optimization steps at clients, and 2) partial client participation error caused by the fact that only a small subset of the edge clients participate in every training round. We find that among these, only the former has received significant attention in the literature. To remedy this, we propose FedVARP, a novel variance reduction algorithm applied at the server that eliminates error due to partial client participation. To do so, the server simply maintains in memory the most recent update for each client and uses these as surrogate updates for the non-participating clients in every round. Further, to alleviate the memory requirement at the server, we propose a novel clustering-based variance reduction algorithm ClusterFedVARP. Unlike previously proposed methods, both FedVARP and ClusterFedVARP do not require additional computation at clients or communication of additional optimization parameters. Through extensive experiments, we show that FedVARP outperforms state-of-the-art methods, and ClusterFedVARP achieves performance comparable to FedVARP with much less memory requirements.


title: PencilNet: Zero-Shot Sim-to-Real Transfer Learning for Robust Gate Perception in Autonomous Drone Racing

abstract: In autonomous and mobile robotics, one of the main challenges is the robust on-the-fly perception of the environment, which is often unknown and dynamic, like in autonomous drone racing. In this work, we propose a novel deep neural network-based perception method for racing gate detection -- PencilNet -- which relies on a lightweight neural network backbone on top of a pencil filter. This approach unifies predictions of the gates' 2D position, distance, and orientation in a single pose tuple. We show that our method is effective for zero-shot sim-to-real transfer learning that does not need any real-world training samples. Moreover, our framework is highly robust to illumination changes commonly seen under rapid flight compared to state-of-art methods. A thorough set of experiments demonstrates the effectiveness of this approach in multiple challenging scenarios, where the drone completes various tracks under different lighting conditions.


title: Distance between various discretized fermion actions

abstract: We present the leading order mixed-action effect $\Delta_{\rm mix}\equiv m_{\pi,{\rm vs}}^2-\frac{m_{\pi,{\rm vv}}^2+m_{\pi,{\rm ss}}^2}{2}$ using HISQ, clover or overlap valence fermion actions on gauge ensembles using various sea fermion actions across a widely-used lattice spacing range $a\in [0.04,0.19]$~fm. The results suggest that $\Delta_{\rm mix}$ decreases as the fourth order of the lattice spacing on the gauge ensembles with dynamical chiral sea fermions, such as Domain wall or HISQ fermions. When a clover sea fermion action which has explicit chiral symmetry breaking is used in the ensemble, $\Delta_{\rm mix}$ can be much larger regardless of the valence fermion action used.


title: Learning unseen coexisting attractors

abstract: Reservoir computing is a machine learning approach that can generate a surrogate model of a dynamical system. It can learn the underlying dynamical system using fewer trainable parameters and hence smaller training data sets than competing approaches. Recently, a simpler formulation, known as next-generation reservoir computing, removes many algorithm metaparameters and identifies a well-performing traditional reservoir computer, thus simplifying training even further. Here, we study a particularly challenging problem of learning a dynamical system that has both disparate time scales and multiple co-existing dynamical states (attractors). We compare the next-generation and traditional reservoir computer using metrics quantifying the geometry of the ground-truth and forecasted attractors. For the studied four-dimensional system, the next-generation reservoir computing approach uses $\sim 1.7 \times$ less training data, requires $10^3 \times$ shorter `warm up' time, has fewer metaparameters, and has an $\sim 100\times$ higher accuracy in predicting the co-existing attractor characteristics in comparison to a traditional reservoir computer. Furthermore, we demonstrate that it predicts the basin of attraction with high accuracy. This work lends further support to the superior learning ability of this new machine learning algorithm for dynamical systems.


title: A Transformer-based Generative Adversarial Network for Brain Tumor Segmentation

abstract: Brain tumor segmentation remains a challenge in medical image segmentation tasks. With the application of transformer in various computer vision tasks, transformer blocks show the capability of learning long-distance dependency in global space, which is complementary with CNNs. In this paper, we proposed a novel transformer-based generative adversarial network to automatically segment brain tumors with multi-modalities MRI. Our architecture consists of a generator and a discriminator, which are trained in min-max game progress. The generator is based on a typical "U-shaped" encoder-decoder architecture, whose bottom layer is composed of transformer blocks with resnet. Besides, the generator is trained with deep supervision technology. The discriminator we designed is a CNN-based network with multi-scale $L_{1}$ loss, which is proved to be effective for medical semantic image segmentation. To validate the effectiveness of our method, we conducted experiments on BRATS2015 dataset, achieving comparable or better performance than previous state-of-the-art methods.


title: VACSEN: A Visualization Approach for Noise Awareness in Quantum Computing

abstract: Quantum computing has attracted considerable public attention due to its exponential speedup over classical computing. Despite its advantages, today's quantum computers intrinsically suffer from noise and are error-prone. To guarantee the high fidelity of the execution result of a quantum algorithm, it is crucial to inform users of the noises of the used quantum computer and the compiled physical circuits. However, an intuitive and systematic way to make users aware of the quantum computing noise is still missing. In this paper, we fill the gap by proposing a novel visualization approach to achieve noise-aware quantum computing. It provides a holistic picture of the noise of quantum computing through multiple interactively coordinated views: a Computer Evolution View with a circuit-like design overviews the temporal evolution of the noises of different quantum computers, a Circuit Filtering View facilitates quick filtering of multiple compiled physical circuits for the same quantum algorithm, and a Circuit Comparison View with a coupled bar chart enables detailed comparison of the filtered compiled circuits. We extensively evaluate the performance of VACSEN through two case studies on quantum algorithms of different scales and an in-depth interviews with 12 quantum computing users. The results demonstrate the effectiveness and usability of VACSEN in achieving noise-aware quantum computing.


title: Modal noise in few-mode fibers

abstract: NIRPS (Near Infra-Red Planet Searcher) is an AO-assisted and fiber-fed spectrograph for high precision radial velocity measurements in the YJH-bands. NIRPS also has the specificity to be an SCAO assisted instrument, enabling the use of few-mode fibers for the first time. This choice offers an excellent trade-off by allowing to design a compact cryogenic spectrograph, while maintaining a high coupling efficiency under bad seeing conditions and for faint stars. The main drawback resides in a much more important modal-noise, a problem that has to be tackled for allowing 1m/s precision radial velocity measurements. We present in this paper the result of a semi-empirical work that allowed to validate the scrambling device and strategies to mitigate modal noise. It is based at first on a complete set of lab measurements of the final fibers. Second, such measurements are injected in the spectrograph design to study in particular the impact of grating and optics illumination on derived RVs.


title: Electronic interaction $U_{pp}$ on oxygen $p$ orbitals in oxides: Role of correlated orbitals on the example of UO$_2$ and TiO$_2$

abstract: We carry out a detailed study of the role of electronic interaction on $p$ oxygen orbitals in a Mott insulator oxide (UO$_2$) and a charge transfer oxide (TiO$_2$). First, we calculate values of effective interactions \Uff, \Upp{} and $U_{fp}$ in UO$_2$ and \Udd{}, \Upp{} and $U_{dp}$ in TiO$_2$. Second, we analyze the role of electronic interactions \Upp{} on $p$ orbitals of oxygen in spectral and structural properties. Finally, we show that this role depends strongly on the definition of correlated orbitals and that using Wannier functions leads to more physical results for spectral and structural properties.


title: Generating Teammates for Training Robust Ad Hoc Teamwork Agents via Best-Response Diversity

abstract: Ad hoc teamwork (AHT) is the challenge of designing a robust learner agent that effectively collaborates with unknown teammates without prior coordination mechanisms. Early approaches address the AHT challenge by training the learner with a diverse set of handcrafted teammate policies, usually designed based on an expert's domain knowledge about the policies the learner may encounter. However, implementing teammate policies for training based on domain knowledge is not always feasible. In such cases, recent approaches attempted to improve the robustness of the learner by training it with teammate policies generated by optimising information-theoretic diversity metrics. The problem with optimising existing information-theoretic diversity metrics for teammate policy generation is the emergence of superficially different teammates. When used for AHT training, superficially different teammate behaviours may not improve a learner's robustness during collaboration with unknown teammates. In this paper, we present an automated teammate policy generation method optimising the Best-Response Diversity (BRDiv) metric, which measures diversity based on the compatibility of teammate policies in terms of returns. We evaluate our approach in environments with multiple valid coordination strategies, comparing against methods optimising information-theoretic diversity metrics and an ablation not optimising any diversity metric. Our experiments indicate that optimising BRDiv yields a diverse set of training teammate policies that improve the learner's performance relative to previous teammate generation approaches when collaborating with near-optimal previously unseen teammate policies.


title: Nominal Matching Logic

abstract: We introduce Nominal Matching Logic (NML) as an extension of Matching Logic with names and binding following the Gabbay-Pitts nominal approach. Matching logic is the foundation of the $\mathbb{K}$ framework, used to specify programming languages and automatically derive associated tools (compilers, debuggers, model checkers, program verifiers). Matching logic does not include a primitive notion of name binding, though binding operators can be represented via an encoding that internalises the graph of a function from bound names to expressions containing bound names. This approach is sufficient to represent computations involving binding operators, but has not been reconciled with support for inductive reasoning over syntax with binding (e.g., reasoning over $\lambda$-terms). Nominal logic is a formal system for reasoning about names and binding, which provides well-behaved and powerful principles for inductive reasoning over syntax with binding, and NML inherits these principles. We discuss design alternatives for the syntax and the semantics of NML, prove meta-theoretical properties and give examples to illustrate its expressive power. In particular, we show how induction principles for $\lambda$-terms ($\alpha$-structural induction) can be defined and used to prove standard properties of the $\lambda$-calculus.


title: Playing a 2D Game Indefinitely using NEAT and Reinforcement Learning

abstract: For over a decade now, robotics and the use of artificial agents have become a common thing.Testing the performance of new path finding or search space optimization algorithms has also become a challenge as they require simulation or an environment to test them.The creation of artificial environments with artificial agents is one of the methods employed to test such algorithms.Games have also become an environment to test them.The performance of the algorithms can be compared by using artificial agents that will behave according to the algorithm in the environment they are put in.The performance parameters can be, how quickly the agent is able to differentiate between rewarding actions and hostile actions.This can be tested by placing the agent in an environment with different types of hurdles and the goal of the agent is to reach the farthest by taking decisions on actions that will lead to avoiding all the obstacles.The environment chosen is a game called "Flappy Bird".The goal of the game is to make the bird fly through a set of pipes of random heights.The bird must go in between these pipes and must not hit the top, the bottom, or the pipes themselves.The actions that the bird can take are either to flap its wings or drop down with gravity.The algorithms that are enforced on the artificial agents are NeuroEvolution of Augmenting Topologies (NEAT) and Reinforcement Learning.The NEAT algorithm takes an "N" initial population of artificial agents.They follow genetic algorithms by considering an objective function, crossover, mutation, and augmenting topologies.Reinforcement learning, on the other hand, remembers the state, the action taken at that state, and the reward received for the action taken using a single agent and a Deep Q-learning Network.The performance of the NEAT algorithm improves as the initial population of the artificial agents is increased.


title: Possible discovery of Calvera's supernova remnant

abstract: We report the discovery of a ring of low surface brightness radio emission around the Calvera pulsar, a high Galactic latitude, isolated neutron star, in the LOFAR Two-metre Sky Survey (LoTSS). It is centered at $\alpha=14\mathrm{h}11\mathrm{m}12.6\mathrm{s}$, $\delta=+79^\mathrm{o}23'15"$, has inner and outer radii of $14.2'$ and $28.4'$, and an integrated flux density at 144 MHz of $1.08\pm0.15$ Jy. The ring center is offset by $4.9'$ from the location of the Calvera pulsar. H$\alpha$ observations with the Isaac Newton Telescope show no coincident optical emission, but do show a small ($\sim20"$) optical structure internal to the ring. We consider three possible interpretations for the ring: that it is an H~II region, a supernova remnant (SNR), or an Odd Radio Circle (ORC). The positional coincidence of the ring, the pulsar, and an X-ray-emitting non-equilibrium ionisation plasma previously detected, lead us to prefer the SNR interpretation. If the source is indeed a SNR and its association with the Calvera pulsar is confirmed, then Calvera's SNR, or G118.4+37.0, will be one of few SNRs in the Galactic halo.