title: Jacobian of a graph and graph automorphisms

abstract: In the present paper we investigate the faithfulness of certain linear representations of groups of automorphisms of a graph $X$ in the group of symmetries of the Jacobian of $X$. As a consequence we show that if a $3$-edge-connected graph $X$ admits a nonabelian semiregular group of automorphims, then the Jacobian of $X$ cannot be cyclic. In particular, Cayley graphs of degree at least three based on nonabelian groups have non-cyclic Jacobians. While the size of the Jacobian of $X$ is well-understood -- it is equal to the number of spanning trees of $X$ -- the combinatorial interpretation of the rank of Jacobian of a graph is unknown. Our paper presents a contribution in this direction.


title: Can vibrational sum frequency scattering spectra be measured from the surface of 40-100 nm aerosols in a cloud containing 10$^{6}$ particles/mL?

abstract: Understanding the interfacial properties of aerosol particles is important for science and medicine, crucial for air quality, human health, and environmental chemistry. Qian et al. presented vibrational sum frequency scattering (SFS) measurements of organic molecules on aerosol particles.$^{1}$ Relating an aerosol sample with a 40 nm average size and 10 - 300 nm particle size distribution at a density of 10$^{6}$ particle/mL to vibrational sum frequency scattering spectra recorded in a different apparatus, it was concluded that the vibrational spectra reported on the surface structure of the particles in the aerosol. Here, we show that the SF scattering power of such small particles with a density of 10$^{6}$ particle/mL is $\sim$ 10$^{7}$ smaller than the detection limit of the presented SFS experiment. We determine the detectable number density of particles, both theoretically and experimentally, to demonstrate the limits of the SFS method. We also propose possible reasons for the 10$^{7}$ order of magnitude discrepancy.


title: Controlled Signaling and Transmitter Replenishment for MC with Functionalized Nanoparticles

abstract: In this paper, we propose novel Transmitter (Tx) models for Molecular Communication (MC) systems based on functionalized Nanoparticles (NPs). Current Tx models often rely on simplifying assumptions for the molecule release and replenishment mechanisms. In contrast, we propose a Tx model where the signaling molecule release is controlled by a switchable membrane driven by an external trigger. Moreover, we propose a reloading mechanism, where signaling molecules are harvested based on an enzymatic reaction. Hence, no repeated injection of signaling molecules is required. For the proposed Tx model, we develop a general mathematical description in terms of a discrete-time transfer function model. Furthermore, we investigate two realizations of the proposed Tx model, i.e., an idealized Tx relying on simplifying assumptions, and a realistic Tx employing practical components for the reloading and release mechanisms. Finally, we numerically evaluate the proposed model and compare our results to stochastic Particle Based Simulations (PBSs).


title: On a Relation among Bi-orthogonal system, Quadratic Non-Hermitian Boson operators with real spectrum and Partial PT symmetry in Fock Space

abstract: A new kind of symmetry called partial PT symmetry has been considered for non-hermitian quadratic boson operators obtained from a bi-orthogonal set of vectors in C2. The symmetry behaviour has been understood in Fock space considered as a Reproducing Kernel Hilbert Space(RKHS). The reality of eigenvalues and its connection to the possibility of the aforesaid symmetry (and symmetry breaking) are studied in terms of a deformation parameter responsible for nonhermiticity


title: Distributional loss for convolutional neural network regression and application to GNSS multi-path estimation

abstract: Convolutional Neural Network (CNN) have been widely used in image classification. Over the years, they have also benefited from various enhancements and they are now considered as state of the art techniques for image like data. However, when they are used for regression to estimate some function value from images, fewer recommendations are available. In this study, a novel CNN regression model is proposed. It combines convolutional neural layers to extract high level features representations from images with a soft labelling technique. More specifically, as the deep regression task is challenging, the idea is to account for some uncertainty in the targets that are seen as distributions around their mean. The estimations are carried out by the model in the form of distributions. Building from earlier work, a specific histogram loss function based on the Kullback-Leibler (KL) divergence is applied during training. The model takes advantage of the CNN feature representation and is able to carry out estimation from multi-channel input images. To assess and illustrate the technique, the model is applied to Global Navigation Satellite System (GNSS) multi-path estimation where multi-path signal parameters have to be estimated from correlator output images from the I and Q channels. The multi-path signal delay, magnitude, Doppler shift frequency and phase parameters are estimated from synthetically generated datasets of satellite signals. Experiments are conducted under various receiving conditions and various input images resolutions to test the estimation performances quality and robustness. The results show that the proposed soft labelling CNN technique using distributional loss outperforms classical CNN regression under all conditions. Furthermore, the extra learning performance achieved by the model allows the reduction of input image resolution from 80x80 down to 40x40 or sometimes 20x20.


title: Offline Reinforcement Learning with Causal Structured World Models

abstract: Model-based methods have recently shown promising for offline reinforcement learning (RL), aiming to learn good policies from historical data without interacting with the environment. Previous model-based offline RL methods learn fully connected nets as world-models that map the states and actions to the next-step states. However, it is sensible that a world-model should adhere to the underlying causal effect such that it will support learning an effective policy generalizing well in unseen states. In this paper, We first provide theoretical results that causal world-models can outperform plain world-models for offline RL by incorporating the causal structure into the generalization error bound. We then propose a practical algorithm, oFfline mOdel-based reinforcement learning with CaUsal Structure (FOCUS), to illustrate the feasibility of learning and leveraging causal structure in offline RL. Experimental results on two benchmarks show that FOCUS reconstructs the underlying causal structure accurately and robustly. Consequently, it performs better than the plain model-based offline RL algorithms and other causal model-based RL algorithms.


title: Functional Connectivity Methods for EEG-based Biometrics on a Large, Heterogeneous Dataset

abstract: This study examines the utility of functional connectivity (FC) and graph-based (GB) measures with a support vector machine classifier for use in electroencephalogram (EEG) based biometrics. Although FC-based features have been used in biometric applications, studies assessing the identification algorithms on heterogeneous and large datasets are scarce. This work investigates the performance of FC and GB metrics on a dataset of 184 subjects formed by pooling three datasets recorded under different protocols and acquisition systems. The results demonstrate the higher discriminatory power of FC than GB metrics. The identification accuracy increases with higher frequency EEG bands, indicating the enhanced uniqueness of the neural signatures in beta and gamma bands. Using all the 56 EEG channels common to the three databases, the best identification accuracy of 97.4% is obtained using phase-locking value (PLV) based measures extracted from the gamma frequency band. Further, we investigate the effect of the length of the analysis epoch to determine the data acquisition time required to obtain satisfactory identification accuracy. When the number of channels is reduced to 21 from 56, there is a marginal reduction of 2.4% only in the identification accuracy using PLV features in the gamma band. Additional experiments have been conducted to study the effect of the cognitive state of the subject and mismatched train/test conditions on the performance of the system.


title: Task-Adaptive Pre-Training for Boosting Learning With Noisy Labels: A Study on Text Classification for African Languages

abstract: For high-resource languages like English, text classification is a well-studied task. The performance of modern NLP models easily achieves an accuracy of more than 90% in many standard datasets for text classification in English (Xie et al., 2019; Yang et al., 2019; Zaheer et al., 2020). However, text classification in low-resource languages is still challenging due to the lack of annotated data. Although methods like weak supervision and crowdsourcing can help ease the annotation bottleneck, the annotations obtained by these methods contain label noise. Models trained with label noise may not generalize well. To this end, a variety of noise-handling techniques have been proposed to alleviate the negative impact caused by the errors in the annotations (for extensive surveys see (Hedderich et al., 2021; Algan & Ulusoy, 2021)). In this work, we experiment with a group of standard noisy-handling methods on text classification tasks with noisy labels. We study both simulated noise and realistic noise induced by weak supervision. Moreover, we find task-adaptive pre-training techniques (Gururangan et al., 2020) are beneficial for learning with noisy labels.


title: Towards a theory of hadron resonances

abstract: In this review, we present the current state of the art of our understanding of the spectrum of excited strongly interacting particles and discuss methods that allow for a systematic and model-independent calculation of the hadron spectrum. These are lattice QCD and effective field theories. Synergies between both approaches can be exploited allowing for deeper understanding of the hadron spectrum. Results based on effective field theories and hadron-hadron scattering in lattice QCD or combinations thereof are presented and discussed. We also show that the often used Breit-Wigner parameterization is at odds with chiral symmetry and should not be used in case of strongly coupled channels.


title: Towards reliable calculations of thermal rate constants: ring polymer molecular dynamics for the OH + HBr $\to$ Br + H$_2$O reaction

abstract: We combined Moment Tensor Potential (MTP) and Ring Polymer Molecular Dynamics (RPMD) for calculating the thermal rate constants of the OH + HBr system. We used the active learning (AL) algorithm for constructing a training set during RPMD. We compared the obtained RPMD-AL-MTP rate constants with the ones previously calculated using the quasi-classical trajectories (QCT) and the POTLIB potential energy surface, and with the experimental ones. We demonstrated that the RPMD rate constants were systematically closer to the experimental rate constants than the QCT ones at 200 K, 300 K, and 500 K.


title: Electroweak renormalization based on gauge-invariant vacuum expectation values of non-linear Higgs representations: 2. extended Higgs sectors

abstract: A recently proposed scheme for a gauge-invariant treatment of tadpole corrections in spontaneously broken gauge theories - called Gauge-Invariant Vacuum expectation value Scheme (GIVS) - is applied to a singlet Higgs extension of the Standard Model and to the Two-Higgs Doublet Model. In contrast to previously used tadpole schemes, the GIVS unifies the gauge-invariance property with perturbative stability. For the Standard Model this was demonstrated for the conversion between on-shell and MSbar renormalized masses, where the GIVS leads to very moderate, gauge-independent electroweak corrections. In models with extended scalar sectors, issues with tadpole renormalization exist if Higgs mixing angles are renormalized with MSbar conditions, which is the major subject of this article. In detail, we first formulate non-linear representations of the extended scalar sectors, which is an interesting subject in its own right. Then we formulate the GIVS which employs these non-linear representations in the calculation of the tadpole renormalization constants, while actual higher-order calculations in the GIVS proceed in linear representations as usual. Finally, for the considered models we discuss the next-to-leading-order (electroweak and QCD) corrections to the decay processes $h/H\to WW/ZZ\to4\,$fermions of the CP-even neutral Higgs bosons h and H using MSbar-renormalized Higgs mixing angles with the GIVS and previously used tadpole treatments.


title: Arbitrary pattern formation by opaque fat robots on infinite grid

abstract: Arbitrary Pattern formation ($\mathcal{APF}$) by a swarm of mobile robots is a widely studied problem in the literature. Many works regarding $\mathcal{APF}$ have been proposed on plane and infinite grid by point robots. But in practical application, it is impossible to design point robots. In \cite{BoseAKS20}, the robots are assumed opaque fat robots but the environment is plane. To the best of our knowledge, no work till now ever considered the $\mathcal{APF}$ problem assuming opaque fat robots on infinite grid where movements are restricted. In this paper, we have provided a collisionless distributed algorithm and solved $\mathcal{APF}$ using 9 colors.


title: Periodic orbits in the Ott-Antonsen manifold

abstract: In their seminal paper [Chaos 18, 037113 (2008)], E. Ott and T. M. Antonsen showed that large groups of phase oscillators driven by a certain type of common force display low dimensional long-term dynamics, which is described by a small number of ordinary differential equations. This fact was later used as a simplifying reduction technique in many studies of synchronization phenomena occurring in networks of coupled oscillators and in neural networks. Most of these studies focused mainly on partially synchronized states corresponding to the equilibrium-type dynamics in the so called Ott-Antonsen manifold. Going beyond this paradigm, here we propose a universal approach for the efficient analysis of partially synchronized states with non-equilibrium periodic collective dynamics. Our method is based on the observation that the Poincar\'e map of the complex Riccati equation, which describes the dynamics in the Ott-Antonsen manifold, coincides with the well-known M\"obius transformation. To illustrate the possibilities of our method, we use it to calculate a complete bifurcation diagram of travelling chimera states in a ring network of phase oscillators with asymmetric nonlocal coupling.


title: Entropy and the arrow of time in population dynamics

abstract: The concept of entropy in statistical physics is related to the existence of irreversible macroscopic processes. In this work, we explore a recently introduced entropy formula for a class of stochastic processes with more than one absorbing state that is extensively used in population genetics models. We will consider the Moran process as a paradigm for this class, and will extend our discussion to other models outside this class. We will also discuss the relation between non-extensive entropies in physics and epistasis (i.e., when the effects of different alleles are not independent) and the role of symmetries in population genetic models.


title: Finding Rule-Interpretable Non-Negative Data Representation

abstract: Non-negative Matrix Factorization (NMF) is an intensively used technique for obtaining parts-based, lower dimensional and non-negative representation of non-negative data. It is a popular method in different research fields. Scientists performing research in the fields of biology, medicine and pharmacy often prefer NMF over other dimensionality reduction approaches (such as PCA) because the non-negativity of the approach naturally fits the characteristics of the domain problem and its result is easier to analyze and understand. Despite these advantages, it still can be hard to get exact characterization and interpretation of the NMF's resulting latent factors due to their numerical nature. On the other hand, rule-based approaches are often considered more interpretable but lack the parts-based interpretation. In this work, we present a version of the NMF approach that merges rule-based descriptions with advantages of part-based representation offered by the NMF approach. Given the numerical input data with non-negative entries and a set of rules with high entity coverage, the approach creates the lower-dimensional non-negative representation of the input data in such a way that its factors are described by the appropriate subset of the input rules. In addition to revealing important attributes for latent factors, it allows analyzing relations between these attributes and provides the exact numerical intervals or categorical values they take. The proposed approach provides numerous advantages in tasks such as focused embedding or performing supervised multi-label NMF.


title: Learning from Stochastically Revealed Preference

abstract: We study the learning problem of revealed preference in a stochastic setting: a learner observes the utility-maximizing actions of a set of agents whose utility follows some unknown distribution, and the learner aims to infer the distribution through the observations of actions. The problem can be viewed as a single-constraint special case of the inverse linear optimization problem. Existing works all assume that all the agents share one common utility which can easily be violated under practical contexts. In this paper, we consider two settings for the underlying utility distribution: a Gaussian setting where the customer utility follows the von Mises-Fisher distribution, and a $\delta$-corruption setting where the customer utility distribution concentrates on one fixed vector with high probability and is arbitrarily corrupted otherwise. We devise Bayesian approaches for parameter estimation and develop theoretical guarantees for the recovery of the true parameter. We illustrate the algorithm performance through numerical experiments.


title: Capacitively-coupled resonators for terahertz planar-Goubau-line filters

abstract: Low-loss planar Goubau lines show promising potential for terahertz applications. However, a single-wire waveguide exhibits less design freedom than standard multi-conductor lines, which is a significant constraint for realizing standard components. Existing filters for planar Goubau line lack clear design procedures preventing the synthesis of an arbitrary filter response. In this work, we present a design for a bandpass/bandstop filter for planar Goubau line by periodically loading the line with capacitively coupled {\lambda}/2 resonators, which can be easily tuned by changing their electrical length. The filter's working principle is explained by a proposed transmission-line model. We designed and fabricated a passband filter centered at 0.9 THz on a 10-{\mu}m silicon-membrane substrate and compared measurement results between 0.5 THz and 1.1 THz to electromagnetic simulations, showing excellent agreement in both S11 and S21. The measured passband has an insertion loss of 7 dB and a 3-dB bandwidth of 31 %. Overall, the proposed filter design has good performance while having a simple design procedure.


title: A Note on a Generalized AHM Model with Analytical Vortex Solutions

abstract: We study topological vortex solutions in a generalized Abelian Higgs model with non-polynomial dielectric and potential functions. These quantities are chosen by requiring integrability of the self-dual limit of the theory for all values of the magnetic flux. All the vortex profiles are described by exact analytical expressions that solve the self-dual vortex equations. There is only a symmetry-breaking superconducting phase and the model sustains regular phenomenology.


title: Coupled Cavity Model: Correctness and Limitations

abstract: Results of analysis of correctness and limitations of the classical Coupled Cavity Model are presented in the paper. It is shown that in the case of an infinite chain of resonators, there are spurious solutions of the characteristic equation. These spurious solutions do not violate the correctness of direct numerical calculations, but their existence makes it difficult (or even impossible) to use approximate WKB methods for analyzing chains with slowly varying parameters.


title: GIN: Graph-based Interaction-aware Constraint Policy Optimization for Autonomous Driving

abstract: Applying reinforcement learning to autonomous driving entails particular challenges, primarily due to dynamically changing traffic flows. To address such challenges, it is necessary to quickly determine response strategies to the changing intentions of surrounding vehicles. This paper proposes a new policy optimization method for safe driving using graph-based interaction-aware constraints. In this framework, the motion prediction and control modules are trained simultaneously while sharing a latent representation that contains a social context. To reflect social interactions, we illustrate the movements of agents in graph form and filter the features with the graph convolution networks. This helps preserve the spatiotemporal locality of adjacent nodes. Furthermore, we create feedback loops to combine these two modules effectively. As a result, this approach encourages the learned controller to be safe from dynamic risks and renders the motion prediction robust to abnormal movements. In the experiment, we set up a navigation scenario comprising various situations with CARLA, an urban driving simulator. The experiments show state-of-the-art performance on navigation strategy and motion prediction compared to the baselines.


title: Multiplication $(m,n)$-hypermodules

abstract: The concept of multiplication $(m,n)$-hypermodules was introduced by Ameri and Norouzi in \cite{sorc2}. Here we intend to investigate extensively the multiplication $(m,n)$-hypermodules. Let $(M,f,g)$ be a $(m,n)$-hypermodule (with canonical $(m,n)$-hypergroups) over a commutative Krasner $(m,n)$-hyperring $(R,h,k)$. A $(m, n)$-hypermodule $(M, f, g)$ over $(R, h, k)$ is called a multiplication $(m, n)$-hypermodule if for each subhypermodule $N$ of $M$, there exists a hyperideal $I$ of $R$ such that $N =g(I, 1^{(n-2)}, M)$.


title: Photometric properties of nuclear star clusters and their host galaxies in the Fornax cluster

abstract: We investigate the relations between nuclear star clusters (NSCs) and their host galaxies, and between the structural properties of nucleated and non-nucleated galaxies. We also address the environmental influences on the nucleation of galaxies in the Fornax main cluster and the Fornax A group. We select 557 Fornax galaxies ($10^{5.5} M_{\odot} < M_{\rm *,galaxy} < 10^{11.5} M_{\odot} $) for which structural decomposition models and non-parametric indices are available. We determine galaxy nucleation based on a combination of visual inspection and a model selection statistic, the Bayesian information criterion (BIC). We also test the BIC as an unsupervised method to determine nucleation labels. We find a dichotomy in the properties of nuclei which reside in galaxies more or less massive than $M_{\rm *,galaxy} \approx 10^{8.5} M_{\odot}$. Specifically, the nuclei tend to be bluer than their host galaxies and follow a scaling relation of $M_{\rm *,nuc} \propto {M_{\rm *,galaxy}}^{0.5}$ for $M_{\rm *,galaxy} < 10^{8.5} M_{\odot}$. In galaxies with $M_{\rm *,galaxy} > 10^{8.5} M_{\odot}$ we find that nuclei are redder compared to the host and follow $M_{\rm *,nuc} \propto M_{\rm *,galaxy}$. Comparing early-type galaxies, we find that nucleated galaxies tend to be redder in global ($g'-r'$) colour, have redder outskirts relative to their own inner regions ($\Delta (g'-r')$), be less asymmetric ($A$) and exhibit less scatter in the brightest second order moment of light ($M_{20}$) than their non-nucleated counterparts at a given stellar mass. Additionally, we find the nucleation fractions to be typically higher in the Fornax main cluster than in the Fornax A group, and that the nucleation fraction is highest towards the centre of their respective environments. We also find that the BIC can recover our labels of nucleation up to an accuracy of 97\%. (abridged)


title: On the average behavior of the Fourier coefficients of $j^{th}$ symmetric power $L$-function over a certain sequences of positive integers

abstract: In this paper, we investigate the average behavior of the $n^{th}$ normalized Fourier coefficients of the $j^{th}$ ($j \geq 2$ be any fixed integer) symmetric power $L$-function (i.e., $L(s,sym^{j}f)$), attached to a primitive holomorphic cusp form $f$ of weight $k$ for the full modular group $SL(2,\mathbb{Z})$ over a certain sequences of positive integers. Precisely, we prove an asymptotic formula with an error term for the sum $$\sum_{\stackrel{a_{1}^{2}+a_{2}^{2}+a_{3}^{2}+a_{4}^{2}+a_{5}^{2}+a_{6}^{2}\leq {x}}{(a_{1},a_{2},a_{3},a_{4},a_{5},a_{6})\in\mathbb{Z}^{6}}}\lambda^{2}_{sym^{j}f}(a_{1}^{2}+a_{2}^{2}+a_{3}^{2}+a_{4}^{2}+a_{5}^{2}+a_{6}^{2}),$$ where $x$ is sufficiently large, and $$L(s,sym^{j}f):=\sum_{n=1}^{\infty}\dfrac{\lambda_{sym^{j}f}(n)}{n^{s}}.$$ When $j=2$, the error term which we obtain, improves the earlier known result.


title: A Tableau Method for the Realizability and Synthesis of Reactive Safety Specifications

abstract: We introduce a tableau decision method for deciding realizability of specifications expressed in a safety fragment of LTL that includes bounded future temporal operators. Tableau decision procedures for temporal and modal logics have been thoroughly studied for satisfiability and for translating temporal formulae into equivalent B\"uchi automata, and also for model checking, where a specification and system are provided. However, to the best of our knowledge no tableau method has been studied for the reactive synthesis problem. Reactive synthesis starts from a specification where propositional variables are split into those controlled by the environment and those controlled by the system, and consists on automatically producing a system that guarantees the specification for all environments. Realizability is the decision problem of whether there is one such system. In this paper we present a method to decide realizability of safety specifications, from which we can also extract (i.e. synthesize) a correct system (in case the specification is realizable). Our method can easily be extended to handle richer domains (integers, etc) and bounds in the temporal operators in ways that automata approaches for synthesis cannot.


title: Transferring Studies Across Embodiments: A Case Study in Confusion Detection

abstract: Human-robot studies are expensive to conduct and difficult to control, and as such researchers sometimes turn to human-avatar interaction in the hope of faster and cheaper data collection that can be transferred to the robot domain. In terms of our work, we are particularly interested in the challenge of detecting and modelling user confusion in interaction, and as part of this research programme, we conducted situated dialogue studies to investigate users' reactions in confusing scenarios that we give in both physical and virtual environments. In this paper, we present a combined review of these studies and the results that we observed across these two embodiments. For the physical embodiment, we used a Pepper Robot, while for the virtual modality, we used a 3D avatar. Our study shows that despite attitudinal differences and technical control limitations, there were a number of similarities detected in user behaviour and self-reporting results across embodiment options. This work suggests that, while avatar interaction is no true substitute for robot interaction studies, sufficient care in study design may allow well executed human-avatar studies to supplement more challenging human-robot studies.


title: New insights into the oscillation of the nucleon electromagnetic form factors

abstract: The electromagnetic form factors of the proton and the neutron in the timelike region are investigated. Electron-positron annihilation into antinucleon-nucleon ($\bar NN$) pairs is treated in distorted wave Born approximation, including the final-state interaction in the $\bar NN$ system. The latter is obtained by a Lippmann-Schwinger equation for $\bar{N}N$ potentials derived within SU(3) chiral effective field theory. By fitting to the phase shifts and (differential) cross section data, a high quality description is achieved. With these amplitudes, the oscillations of the electromagnetic form factors of the proton and the neutron are studied. It is found that each of them can be described by two fractional oscillators. One is characterized as \lq overdamped' and dominates near the threshold, while the other is \lq underdamped' and plays an important role in the high-energy region. These two oscillators are essential to understand the distributions of polarized electric charges induced by hard photons for the nucleons.


title: Constraining Gaussian processes for physics-informed acoustic emission mapping

abstract: The automated localisation of damage in structures is a challenging but critical ingredient in the path towards predictive or condition-based maintenance of high value structures. The use of acoustic emission time of arrival mapping is a promising approach to this challenge, but is severely hindered by the need to collect a dense set of artificial acoustic emission measurements across the structure, resulting in a lengthy and often impractical data acquisition process. In this paper, we consider the use of physics-informed Gaussian processes for learning these maps to alleviate this problem. In the approach, the Gaussian process is constrained to the physical domain such that information relating to the geometry and boundary conditions of the structure are embedded directly into the learning process, returning a model that guarantees that any predictions made satisfy physically-consistent behaviour at the boundary. A number of scenarios that arise when training measurement acquisition is limited, including where training data are sparse, and also of limited coverage over the structure of interest. Using a complex plate-like structure as an experimental case study, we show that our approach significantly reduces the burden of data collection, where it is seen that incorporation of boundary condition knowledge significantly improves predictive accuracy as training observations are reduced, particularly when training measurements are not available across all parts of the structure.


title: Causality Learning With Wasserstein Generative Adversarial Networks

abstract: Conventional methods for causal structure learning from data face significant challenges due to combinatorial search space. Recently, the problem has been formulated into a continuous optimization framework with an acyclicity constraint to learn Directed Acyclic Graphs (DAGs). Such a framework allows the utilization of deep generative models for causal structure learning to better capture the relations between data sample distributions and DAGs. However, so far no study has experimented with the use of Wasserstein distance in the context of causal structure learning. Our model named DAG-WGAN combines the Wasserstein-based adversarial loss with an acyclicity constraint in an auto-encoder architecture. It simultaneously learns causal structures while improving its data generation capability. We compare the performance of DAG-WGAN with other models that do not involve the Wasserstein metric in order to identify its contribution to causal structure learning. Our model performs better with high cardinality data according to our experiments.


title: SAXS Investigation of Core-Shell Microgels with High Scattering Contrast Cores: Access to Structure Factor and Volume Fraction

abstract: To explore dense packings of soft colloids, scattering experiments are ideal to access the structure factor. However, for soft microgels determination of the structure factor is difficult because of the low contrast of the polymer network and potential microgel interpenetration and deformation that change the form factor contribution. Here, we employ small-angle X-ray scattering (SAXS) to study soft, thermoresponsive microgels with poly-N-isopropylacrylamide (PNIPAM) shells and gold nanoparticle cores. The scattering of the gold cores dominates the scattering patterns and allows precise determination of the microgel volume fraction over a broad range of concentrations. At high volume fractions we find distinct patterns with sharp Bragg peaks allowing extraction of the structure factor and characterization of the phases combined with UV-Vis spectroscopy. The unique scattering contrast of our core-shell microgels combined with SAXS opens up new ways to investigate dense packings of soft microgels including in situ studies of phase transitions.


title: YOLOv5s-GTB: light-weighted and improved YOLOv5s for bridge crack detection

abstract: In response to the situation that the conventional bridge crack manual detection method has a large amount of human and material resources wasted, this study is aimed to propose a light-weighted, high-precision, deep learning-based bridge apparent crack recognition model that can be deployed in mobile devices' scenarios. In order to enhance the performance of YOLOv5, firstly, the data augmentation methods are supplemented, and then the YOLOv5 series algorithm is trained to select a suitable basic framework. The YOLOv5s is identified as the basic framework for the light-weighted crack detection model through experiments for comparison and validation.By replacing the traditional DarkNet backbone network of YOLOv5s with GhostNet backbone network, introducing Transformer multi-headed self-attention mechanism and bi-directional feature pyramid network (BiFPN) to replace the commonly used feature pyramid network, the improved model not only has 42% fewer parameters and faster inference response, but also significantly outperforms the original model in terms of accuracy and mAP (8.5% and 1.1% improvement, respectively). Luckily each improved part has a positive impact on the result. This paper provides a feasible idea to establish a digital operation management system in the field of highway and bridge in the future and to implement the whole life cycle structure health monitoring of civil infrastructure in China.


title: Ternary unitary quantum lattice models and circuits in $2 + 1$ dimensions

abstract: We extend the concept of dual unitary quantum gates to quantum lattice models in $2 + 1$ dimensions, by introducing and studying ternary unitary four-particle gates, which are unitary in time and both spatial dimensions. When used as building blocks of lattice models with periodic boundary conditions in time and space (corresponding to infinite temperature states), dynamical correlation functions exhibit a light-ray structure. We also generalize solvable MPS to two spatial dimensions with cylindrical boundary conditions, by showing that the analogous solvable PEPS can be identified with matrix product unitaries. In the resulting tensor network for evaluating equal-time correlation functions, the bulk ternary unitary gates cancel out. We delineate and implement a numerical algorithm for computing such correlations by contracting the remaining tensors.

categories: cond-mat.stat-mech cond-mat.str-el nlin.SI quant-ph


title: A Bayesian modelling framework to quantify multiple sources of spatial variation for disease mapping

abstract: Spatial connectivity is an important consideration when modelling infectious disease data across a geographical region. Connectivity can arise for many reasons, including shared characteristics between regions, and human or vector movement. Bayesian hierarchical models include structured random effects to account for spatial connectivity. However, conventional approaches require the spatial structure to be fully defined prior to model fitting. By applying penalised smoothing splines to coordinates, we create 2-dimensional smooth surfaces describing the spatial structure of the data whilst making minimal assumptions about the structure. The result is a non-stationary surface which is setting specific. These surfaces can be incorporated into a hierarchical modelling framework and interpreted similarly to traditional random effects. Through simulation studies we show that the splines can be applied to any continuous connectivity measure, including measures of human movement, and that the models can be extended to explore multiple sources of spatial structure in the data. Using Bayesian inference and simulation, the relative contribution of each spatial structure can be computed and used to generate hypotheses about the drivers of disease. These models were found to perform at least as well as existing modelling frameworks, whilst allowing for future extensions and multiple sources of spatial connectivity.


title: Key Agreement and Oblivious Transfer from Free-Energy Limitations

abstract: We propose one of the very few constructive consequences of the second law of thermodynamics. More specifically, we present protocols for secret-key establishment and multiparty computation the security of which is based fundamentally on Landauer's principle. The latter states that the erasure cost of each bit of information is at least kTln2 (where k is Boltzmann's constant and T is the absolute temperature of the environment). Albeit impractical, our protocols explore the limits of reversible computation, and the only assumption about the adversary is her inability to access a quantity of free energy that is exponential in the one of the honest participants. Our results generalize to the quantum realm.


title: Constraints on the magnetic field structure in accreting compact objects from aperiodic variability

abstract: We investigate the aperiodic variability for a relatively large sample of accreting neutron stars and intermediate polars, focusing on the properties of the characteristic break commonly observed in power spectra of accreting objects. In particular, we investigate the relation of the break frequency and the magnetic field strength, both of which are connected to the size of the magnetosphere. We find that for the majority of objects in our sample the measured break frequency values indeed agree with estimated inner radii of the accretion disc, which allows to use observed break frequencies to independently assess the magnetic field strength and structure in accreting compact objects. As a special case, we focus on Hercules X-1 which is a persistent, medium-luminosity X-ray pulsar accreting from its low-mass companion. In the literature, it has been suggested that the complex pulse profiles, the spin-up behaviour and the luminosity-correlation of the cyclotron energy seen in Her X-1 can be explained with a complex magnetic field structure of the neutron star. Here, we connect the measured break frequency to the magnetospheric radius and show that the magnetic field strength derived assuming a dipole configuration is nearly an order of magnitude smaller than the magnetic field strength corresponding to the cyclotron energy. Accordingly, this discrepancy can be explained with the magnetic field having strong multipole components. The multipolar structure would also increase the accreting area on the neutron star surface, explaining why the critical luminosity for accretion column formation is puzzlingly high in this source.


title: A distance formula for tuples of operators

abstract: For a tuple of operators $\boldsymbol{A}= (A_1, \ldots, A_d)$, $\text{dist}(\boldsymbol{A}, \mathbb C^d \boldsymbol{I})$ is defined as $\min\limits_{\boldsymbol{z} \in \mathbb C^d} \|\boldsymbol{A-zI}\|$ and $\text{var}_x (\boldsymbol{A})$ as $\|\boldsymbol{A} x\|^2-\sum_{j=1}^d {\big|}\langle x| A_j x\rangle{\big|}^2.$ For a tuple $\boldsymbol{A}$ of commuting normal operators, it is known that $$\text{dist}(\boldsymbol{A}, \mathbb C^d \boldsymbol{I})^2=\sup_{\|x\|=1}\text{var}_x (\boldsymbol{A}).$$ We give an expression for the maximal joint numerical range of a tuple of doubly commuting matrices. Consequently, we obtain that the above distance formula holds for tuples of doubly commuting matrices. We also discuss some general conditions on the tuples of operators for this formula to hold. As a result, we obtain that it holds for tuples of Toeplitz operators as well.


title: Coarse-graining DNA: Symmetry, non-local elasticity and persistence length

abstract: While the behavior of double stranded DNA at mesoscopic scales is fairly well understood, less is known about its relation to the rich mechanical properties in the base-pair scale, which is crucial, for instance, to understand DNA-protein interactions and the nucleosome diffusion mechanism. Here, by employing the rigid base pair model, we connect its microscopic parameters to the persistence length. Combined with all-atom molecular dynamic simulations, our scheme identifies relevant couplings between different degrees of freedom at each coarse-graining step. This allows us to clarify how the scale dependence of the elastic moduli is determined in a systematic way encompassing the role of previously unnoticed off site couplings between deformations with different parity.


title: MAXI : Monitor of All-sky X-ray Image

abstract: Monitor of All-sky X-ray Image (MAXI) is a Japanese X-ray all-sky monitor onboard the International Space Station (ISS).


title: Can Hybrid Geometric Scattering Networks Help Solve the Maximum Clique Problem?

abstract: We propose a geometric scattering-based graph neural network (GNN) for approximating solutions of the NP-hard maximum clique (MC) problem. We construct a loss function with two terms, one which encourages the network to find highly connected nodes and the other which acts as a surrogate for the constraint that the nodes form a clique. We then use this loss to train an efficient GNN architecture that outputs a vector representing the probability for each node to be part of the MC and apply a rule-based decoder to make our final prediction. The incorporation of the scattering transform alleviates the so-called oversmoothing problem that is often encountered in GNNs and would degrade the performance of our proposed setup. Our empirical results demonstrate that our method outperforms representative GNN baselines in terms of solution accuracy and inference speed as well as conventional solvers like Gurobi with limited time budgets. Furthermore, our scattering model is very parameter efficient with only $\sim$ 0.1\% of the number of parameters compared to previous GNN baseline models.


title: Can Requirements Engineering Support Explainable Artificial Intelligence? Towards a User-Centric Approach for Explainability Requirements

abstract: With the recent proliferation of artificial intelligence systems, there has been a surge in the demand for explainability of these systems. Explanations help to reduce system opacity, support transparency, and increase stakeholder trust. In this position paper, we discuss synergies between requirements engineering (RE) and Explainable AI (XAI). We highlight challenges in the field of XAI, and propose a framework and research directions on how RE practices can help to mitigate these challenges.


title: Supercyclic vectors of operators on normed linear spaces

abstract: We give an affirmative answer to a question asked by Faghih-Ahmadi and Hedayatian regarding supercyclic vectors. We show that if $\mathcal X$ is an infinite-dimensional normed linear space and $T$ is a supercyclic operator on $\mathcal X$, then for any supercyclic vector $x$ for $T$, there exists a strictly increasing sequence $(n_k)_k$ of positive integers such that the closed linear span of the set $\{T^{n_k}x: k\ge 1\}$ is not the whole $\mathcal X$.


title: Canonical convolutional neural networks

abstract: We introduce canonical weight normalization for convolutional neural networks. Inspired by the canonical tensor decomposition, we express the weight tensors in so-called canonical networks as scaled sums of outer vector products. In particular, we train network weights in the decomposed form, where scale weights are optimized separately for each mode. Additionally, similarly to weight normalization, we include a global scaling parameter. We study the initialization of the canonical form by running the power method and by drawing randomly from Gaussian or uniform distributions. Our results indicate that we can replace the power method with cheaper initializations drawn from standard distributions. The canonical re-parametrization leads to competitive normalization performance on the MNIST, CIFAR10, and SVHN data sets. Moreover, the formulation simplifies network compression. Once training has converged, the canonical form allows convenient model-compression by truncating the parameter sums.


title: $Ab$ $initio$ low-energy effective Hamiltonians for high-temperature superconducting cuprates Bi$_2$Sr$_2$CuO$_6$, Bi$_2$Sr$_2$CaCu$_2$O$_8$, HgBa$_2$CuO$_4$ and CaCuO$_2$

abstract: We derive $ab$ $initio$ low-energy effective Hamiltonians (LEH) for high-temperature superconducting (SC) copper oxides Bi$_2$Sr$_2$CuO$_6$ (Bi2201, $N_{\ell}=1$, $T_c^{\rm exp} \sim 10$ K), Bi$_2$Sr$_2$CaCu$_2$O$_8$ (Bi2212, $N_{\ell}=2$, $T_c^{\rm exp} \sim 84$ K), HgBa$_2$CuO$_4$ (Hg1201, $N_{\ell}=1$, $T_c^{\rm exp} \sim 90$ K) and CaCuO$_2$ (Ca11, $N_{\ell}=\infty$, $T_c^{\rm exp} \sim 110$ K), with different experimental optimal SC transition temperature $T_c^{\rm exp}$ and number $N_{\ell}$ of laminated CuO$_2$ planes between the two neighboring block layers. We apply the latest methodology of the multiscale $ab$ $initio$ scheme for correlated electron systems (MACE), and focus on the LEH consisting of one antibonding (AB) Cu$3d_{x^2-y^2}$/O$2p_{\sigma}$ orbital centered on each Cu atom. We discuss prominent features of this LEH: (1) The ratio $U/|t_1|$ between the onsite effective Coulomb repulsion (ECR) $U$ and amplitude of nearest neighbour hopping $t_1$ increases with $T^{\rm exp}_c$ and $N_{\ell}$, consistently with the expected increase in $d$-wave SC correlation function $P_{dd}$ with $U/|t_1|$. One possible cause of the increase of $U/|t_1|$ is the replacement of apical O atoms by Cu atoms from neighbouring CuO$_2$ planes when $N_{\ell}$ increases. Furthermore, we show that the increase in distance between Cu and apical O atoms decreases the effective screening (ES) by electrons outside of the LEH and increases $U/|t_1|$. (2) For Hg1201 and Ca11, we show that $U/|t_1|$ decreases when hole doping per AB orbital $\delta$ increases, which may partly account for the disappearance of SC when $\delta$ exceeds the optimal value in experiment. (3) For $N_{\ell} \geq 2$, off-site inter-CuO$_2$ plane ECR is comparable to off-site intra-CuO$_2$ plane ECR. We discuss contributions of inter-CuO$_2$ plane ECR to both $P_{dd}$ and the stability of the SC state.


title: Simultaneous coloring of vertices and incidences of Outerplanar graphs

abstract: A $vi$-simultaneous proper $k$-coloring of a graph $G$ is a coloring of all vertices and incidences of the graph in which any two adjacent or incident elements in the set $V(G)\cup I(G)$ receive distinct colors, where $I(G)$ is the set of incidences of $G$. The $vi$-simultaneous chromatic number, denoted by $\chi_{vi}(G)$, is the smallest integer $k$ such that $G$ has a $vi$-simultaneous proper $k$-coloring. In [M. Mozafari-Nia, M. N. Iradmusa, A note on coloring of $\frac{3}{3}$-power of subquartic graphs, Vol. 79, No.3, 2021] $vi$-simultaneous proper coloring of graphs with maximum degree $4$ is investigated and they conjectured that for any graph $G$ with maximum degree $\Delta\geq 2$, $vi$-simultaneous proper coloring of $G$ is at most $2\Delta+1$. In [M. Mozafari-Nia, M. N. Iradmusa, Simultaneous coloring of vertices and incidences of graphs, arXiv:2205.07189, 2022] the correctness of the conjecture for some classes of graphs such as $k$-degenerated graphs, cycles, forests, complete graphs, regular bipartite graphs is investigated. In this paper, we prove that the $vi$-simultaneous chromatic number of any outerplanar graph $G$ is either $\Delta+2$ or $\Delta+3$, where $\Delta$ is the maximum degree of $G$.


title: Latent Topology Induction for Understanding Contextualized Representations

abstract: In this work, we study the representation space of contextualized embeddings and gain insight into the hidden topology of large language models. We show there exists a network of latent states that summarize linguistic properties of contextualized representations. Instead of seeking alignments to existing well-defined annotations, we infer this latent network in a fully unsupervised way using a structured variational autoencoder. The induced states not only serve as anchors that mark the topology (neighbors and connectivity) of the representation manifold but also reveal the internal mechanism of encoding sentences. With the induced network, we: (1). decompose the representation space into a spectrum of latent states which encode fine-grained word meanings with lexical, morphological, syntactic and semantic information; (2). show state-state transitions encode rich phrase constructions and serve as the backbones of the latent space. Putting the two together, we show that sentences are represented as a traversal over the latent network where state-state transition chains encode syntactic templates and state-word emissions fill in the content. We demonstrate these insights with extensive experiments and visualizations.


title: Electron Mass Singularities in Semileptonic Kaon Decays

abstract: We show that recent improvements in the $O(\alpha)$ long-distance quantum electrodynamics (QED) corrections to the radiative inclusive $K_{e3}$ decay rate using the Sirlin representation are free from infrared divergences and collinear electron mass singularities in the limit $m_e\rightarrow0$, as predicted by the Kinoshita-Lee-Nauenberg theorem. We also verify that in massless QED with the simultaneous dimensional regularization of QED photon infrared divergences and electron mass singularities leads to the same result for the inclusive rate in the limit of four space-time dimensions. The equivalence of the two approaches results in part from an interesting interplay between a small chirality-breaking effect in the massless electron limit and the generalization of space-time algebra and phase space integrals to $d>4$ dimensions. Our finding supports the small theoretical uncertainty claimed for $K_{e3}$ radiative inclusive rates and reaffirms its utility in precision unitarity tests of the quark mixing matrix.


title: Phase transitions in ferroelectric domain walls

abstract: Despite multiple efforts, there exist many unsolved fundamental problems related with detection and analysis of internal polarization structure and related phase transitions in ferroelectric domain walls. Their solution can be very important for the progress in domain wall nanoelectronics and related applications in advanced memories and other information technologies. Here, we theoretically study the features of phase transitions in the domain walls, which are potentially detectable by the scanning probe capacitance microwave microscopy. The finite element modelling based on the Landau-Ginzburg-Devonshire theory is performed for the capacitance changes related with the domain wall motion in a multiaxial ferroelectric BaTiO$_3$.


title: Understanding Deep Learning via Decision Boundary

abstract: This paper discovers that the neural network with lower decision boundary (DB) variability has better generalizability. Two new notions, algorithm DB variability and $(\epsilon, \eta)$-data DB variability, are proposed to measure the decision boundary variability from the algorithm and data perspectives. Extensive experiments show significant negative correlations between the decision boundary variability and the generalizability. From the theoretical view, two lower bounds based on algorithm DB variability are proposed and do not explicitly depend on the sample size. We also prove an upper bound of order $\mathcal{O}\left(\frac{1}{\sqrt{m}}+\epsilon+\eta\log\frac{1}{\eta}\right)$ based on data DB variability. The bound is convenient to estimate without the requirement of labels, and does not explicitly depend on the network size which is usually prohibitively large in deep learning.


title: Completeness, Closedness and Metric Reflections of Pseudometric Spaces

abstract: It is well-known that a metric space $(X, d)$ is complete iff the set $X$ is closed in every metric superspace of $(X, d)$. For a given pseudometric space $(Y, \rho)$, we describe the maximal class $\mathbf{CEC}(Y, \rho)$ of superspaces of $(Y, \rho)$ such that $(Y, \rho)$ is complete if and only if $Y$ is closed in every $(Z, \Delta) \in \mathbf{CEC}(Y, \rho)$. We also introduce the concept of pseudoisometric spaces and prove that spaces are pseudoisometric iff their metric reflections are isometric. The last result implies that a pseudometric space is complete if and only if this space is pseudoisometric to a complete pseudometric space.


title: GraphDistNet: A Graph-based Collision-distance Estimator for Gradient-based Trajectory Optimization

abstract: Trajectory optimization (TO) aims to find a sequence of valid states while minimizing costs. However, its fine validation process is often costly due to computationally expensive collision searches, otherwise coarse searches lower the safety of the system losing a precise solution. To resolve the issues, we introduce a new collision-distance estimator, GraphDistNet, that can precisely encode the structural information between two geometries by leveraging edge feature-based convolutional operations, and also efficiently predict a batch of collision distances and gradients through 25,000 random environments with a maximum of 20 unforeseen objects. Further, we show the adoption of attention mechanism enables our method to be easily generalized in unforeseen complex geometries toward TO. Our evaluation show GraphDistNet outperforms state-of-the-art baseline methods in both simulated and real world tasks.


title: The Hong-Ou-Mandel experiment: from photon indistinguishability to continuous variables quantum computing

abstract: We extensively discuss the Hong-Ou-Mandel experiment taking an original phase-space-based perspective. For this, we analyze time and frequency variables as quantum continuous variables in perfect analogy with position and momentum of massive particles or with the electromagnetic field's quadratures. We discuss how this experiment can be used to directly measure the time-frequency Wigner function and implement logical gates in these variables. We also briefly discuss the quantum/classical aspects of this experiment providing a general expression for intensity correlations that explicit the differences between a classical Hong-Ou-Mandel like dip and a quantum one. Throughout the manuscript, we will often focus and refer to a particular system based on AlGaAs waveguides emitting photon pairs via spontaneous parametric down-conversion, but our results can be extended to other analogous experimental systems and to different degrees of freedom.


title: Single top and rare top quark production (including FCNC searches) at ATLAS and CMS

abstract: Measurements of single top and rare top quark production may be sensitive to theories of physics beyond the standard model (SM), including those in which the energy scale of new physics is beyond the energies directly accessible at the Large Hadron Collider. Such models may be observable through signatures like forbidden SM interactions or deviations of the top quark's couplings from the SM predictions. An overview of recent searches from the ATLAS and CMS Collaborations is presented, with a focus on flavor-changing neutral currents.


title: A Survey on Computationally Efficient Neural Architecture Search

abstract: Neural architecture search (NAS) has become increasingly popular in the deep learning community recently, mainly because it can provide an opportunity to allow interested users without rich expertise to benefit from the success of deep neural networks (DNNs). However, NAS is still laborious and time-consuming because a large number of performance estimations are required during the search process of NAS, and training DNNs is computationally intensive. To solve this major limitation of NAS, improving the computational efficiency is essential in the design of NAS. However, a systematic overview of computationally efficient NAS (CE-NAS) methods still lacks. To fill this gap, we provide a comprehensive survey of the state-of-the-art on CE-NAS by categorizing the existing work into proxy-based and surrogate-assisted NAS methods, together with a thorough discussion of their design principles and a quantitative comparison of their performances and computational complexities. The remaining challenges and open research questions are also discussed, and promising research topics in this emerging field are suggested.


title: On the quadratic equations for odeco tensors

abstract: Elina Robeva discovered quadratic equations satisfied by orthogonally decomposable ("odeco") tensors. Boralevi-Draisma-Horobe\c{t}-Robeva then proved that, over the real numbers, these equations characterise odeco tensors. This raises the question to what extent they also characterise the Zariski-closure of the set of odeco tensors over the complex numbers. In the current paper we restrict ourselves to symmetric tensors of order three, i.e., of format $n \times n \times n$. By providing an explicit counterexample to one of Robeva's conjectures, we show that for $n \geq 12$, these equations do not suffice. Furthermore, in the open subset where the linear span of the slices of the tensor contains an invertible matrix, we show that Robeva's equations cut out the limits of odeco tensors for dimension $n \leq 13$, and not for $n \geq 14$ on. To this end, we show that Robeva's equations essentially capture the Gorenstein locus in the Hilbert scheme of $n$ points and we use work by Casnati-Jelisiejew-Notari on the (ir)reducibility of this locus.


title: Functional acoustic metamaterial using shortcut to adiabatic passage in acoustic waveguide couplers

abstract: Shortcut to adiabatic passage (STAP), initially proposed to accelerate adiabatic quantum state transfer, has been widely explored and applied in quantum optics and integrated optics. Here we bring STAP into the field of acoustics to design compact couplers and functional metamaterial. The space-varying coupling strengths of acoustic waveguides (WGs) are tailored by means of dressed states in a three-level system, accounting for the desirable acoustic energy transfer among three WGs with short length. We show that the acoustic coupler has one-way feature when loss is introduced into the intermediate WG. More uniquely, when the propagation of acoustic wave is designed to mimic a Hadamard transformation, an acoustic metamaterial can be constructed by arraying several couplers, possessing the beam-splitting function and unidirectional, broadband performances. Our work bridges STAP and the acoustic coupler as well as metamaterial, which may have profound impacts on exploring quantum technologies for promoting advanced acoustic devices.


title: A High-Performance Customer Churn Prediction System based on Self-Attention

abstract: Customer churn prediction is a challenging domain of research that contributes to customer retention strategy. The predictive performance of existing machine learning models, which are often adopted by churn communities, appear to be at a bottleneck, partly due to models' poor feature extraction capability. Therefore, a novel algorithm, a hybrid neural network with self-attention enhancement (HNNSAE), is proposed in this paper to improve the efficiency of feature screening and feature extraction, consequently improving the model's predictive performance. This model consists of three main blocks. The first block is the entity embedding layer, which is employed to process the categorical variables transformed into 0-1 code. The second block is the feature extractor, which extracts the significant features through the multi-head self-attention mechanism. In addition, to improve the feature extraction effect, we stack the residual connection neural network on multi-head self-attention modules. The third block is a classifier, which is a three-layer multilayer perceptron. This work conducts experiments on publicly available dataset related to commercial bank customers. The result demonstrates that HNNSAE significantly outperforms the other Individual Machine Learning (IML), Ensemble Machine Learning (EML), and Deep Learning (DL) methods tested in this paper. Furthermore, we compare the performance of the feature extractor proposed in this paper with that of other three feature extractors and find that the method proposed in this paper significantly outperforms other methods. In addition, four hypotheses about model prediction performance and overfitting risk are tested on the publicly available dataset.


title: Anomaly detection in surveillance videos using transformer based attention model

abstract: Surveillance footage can catch a wide range of realistic anomalies. This research suggests using a weakly supervised strategy to avoid annotating anomalous segments in training videos, which is time consuming. In this approach only video level labels are used to obtain frame level anomaly scores. Weakly supervised video anomaly detection (WSVAD) suffers from the wrong identification of abnormal and normal instances during the training process. Therefore it is important to extract better quality features from the available videos. WIth this motivation, the present paper uses better quality transformer-based features named Videoswin Features followed by the attention layer based on dilated convolution and self attention to capture long and short range dependencies in temporal domain. This gives us a better understanding of available videos. The proposed framework is validated on real-world dataset i.e. ShanghaiTech Campus dataset which results in competitive performance than current state-of-the-art methods. The model and the code are available at https://github.com/kapildeshpande/Anomaly-Detection-in-Surveillance-Videos


title: Development of Ni doped SnO$_2$ Dilute magnetic oxides for electronics and spintronics applications

abstract: We used a solid-state reaction method to prepare Sn$_{1-x}$Ni$_x$O$_2$ with $x$ = 0, 0.05, 0.1, 0.15 polycrystalline compounds. A rutile phase with tetragonal crystal structure was confirmed by X-ray diffraction. At room temperature, the magnetisation study shows that the saturation magnetization increases with Ni doping content whereas the coercive field decreases after $x$=0.1. The spin number increases as the Ni doping concentration increases, indicating that the incorporation of Ni into the Sn sites increases the number of spins interacting to improve the ferromagnetic phase , which is like saturation magnetization and coercive field.


title: Erd\H{o}s Matching Conjecture for almost perfect matchings

abstract: In 1965 Erd\H{o}s asked, what is the largest size of a family of $k$-element subsets of an $n$-element set that does not have a matching of size $s+1$? In this note, we improve upon a recent result of Frankl and resolve this problem for $s>101k^{3}$ and $(s+1)k\le n<(s+1)(k+\frac{1}{100k})$.


title: On some complete monotonic functions

abstract: Motivated by open questions in the papers " Refinements and sharpenings of some double inequalities for bounding the gamma function" and "Complete monotonicity and monotonicity of two functions defined by two derivatives of a function involving trigamma function",we confirm among other results and disprove other one.


title: Closed SPARSE -- a predictive particle cloud tracer

abstract: A closed and predictive particle cloud tracer method is presented. The tracer builds upon the Subgrid Particle Averaged Reynolds Stress Equivalent (SPARSE) formulation first introduced in [Davis et al., Proceedings of the Royal Society A, 473(2199), 2017] for the tracing of particle clouds. It was later extended to a Cloud-In-Cell (CIC) formulation in [Taverniers et al., Journal of Computational Physics, 390, 2019] using a Gaussian distribution of a cloud's influence over a mesh-based, velocity field solution. SPARSE corrects the cloud's trace to second order by combining a Taylor series expansion of the drag coefficient and Nusselt number correction factors around the mean relative velocity of a cloud of particles with a Reynolds decomposition of the particle equations to obtain a governing system for the first two statistical moments of the cloud's position, velocity and temperature. Here, we close the thus far unclosed SPARSE formulation by determining the velocity field in the vicinity of the mean cloud location using a truncated Taylor series velocity representation and by combining that with averaging. The resulting tracer is predictive. It enables the tracing of a cloud of particles through a single point and so reduces the required degrees of freedom in the accurate tracing of groups of particles. We demonstrate the accuracy and convergence of the method in several one-, two- and three-dimensional test cases.


title: Effects of Urban Boundary Layer Turbulence on Firebrand Transport

abstract: This study investigates the role of topography-induced turbulence, generated by an idealized urban region, in the transport of firebrands and risk of spotting. Flight dispersion, deposition, and smoldering state of tens of thousands of individual mass and size-changing firebrands were investigated in the atmospheric boundary layer turbulence, which was obtained using Large-eddy simulations. Firebrands were assumed to be smoldering spherical particles of Stokes numbers ranging from 30 to 175. Results indicate that the presence of urban topography significantly affects the firebrand flight behavior, landing distribution, and risk of spotting. Compared to a case with flat topography, horizontal dispersions of the smallest size firebrands were significantly enhanced when urban topography was presented, while the largest firebrands landed closer to each other and closer to the release point. Consequently, a notably different and more compact spotting risk map was achieved. Within the urban boundary layer turbulence, firebrands had shorter flight and smoldering times in comparison with the flat case. As a result, firebrands landed with larger temperatures, which contributed to a higher risk of spotting in the presence of urban topography.


title: A particle-based method using the mesh-constrained discrete point approach for two-dimensional Stokes flows

abstract: Meshless methods inherently do not require mesh topologies and are practically used for solving continuum equations. However, these methods generally tend to have a higher computational load than conventional mesh-based methods because calculation stencils for spatial discretization become large. In this study, a novel approach for the use of compact stencils in meshless methods is proposed, called the mesh-constrained discrete point (MCD) approach. The MCD approach introduces a Cartesian mesh system to the background of a domain. And the approach rigorously constrains the distribution of discrete points (DPs) in each mesh by solving a dynamic problem with nonlinear constraints. This can avoid the heterogeneity of the DP distribution at the mesh-size level and impose compact stencils with a fixed degree of freedom for derivative evaluations. A fundamental formulation for arrangements of DPs and an application to unsteady Stokes flows are presented in this paper. Numerical tests were performed for the distribution of DPs and flow problems in co-axial and eccentric circular channels. The proposed MCD approach achieved a reasonable distribution of DPs independently of the spatial resolution with a few iterations in pre-processing. Additionally, solutions using the obtained DP distributions in Stokes flow problems were in good agreement with theoretical and reference solutions. The results also confirmed that the numerical accuracies of velocity and pressure achieved the expected convergence order, even when compact stencils were used.


title: Crises and chaotic scattering in hydrodynamic pilot-wave experiments

abstract: Theoretical foundations of chaos have have been predominantly laid out for finite-dimensional dynamical systems, such as the three-body problem in classical mechanics and the Lorenz model in dissipative systems. In contrast, many real-world chaotic phenomena, e.g. weather, arise in systems with many (formally infinite) degrees of freedom, which limits direct quantitative analysis of such systems using chaos theory. In the present work, we demonstrate that the hydrodynamic pilot-wave systems offer a bridge between low- and high-dimensional chaotic phenomena by allowing for a systematic study of how the former connects to the latter. Specifically, we present experimental results which show the formation of low-dimensional chaotic attractors upon destabilization of regular dynamics and a final transition to high-dimensional chaos via the merging of distinct chaotic regions through a crisis bifurcation. Moreover, we show that the post-crisis dynamics of the system can be rationalized as consecutive scatterings from the nonattracting chaotic sets with lifetimes following exponential distributions.


title: Acquiring and Modelling Abstract Commonsense Knowledge via Conceptualization

abstract: Conceptualization, or viewing entities and situations as instances of abstract concepts in mind and making inferences based on that, is a vital component in human intelligence for commonsense reasoning. Despite recent progress in artificial intelligence to acquire and model commonsense attributed to neural language models and commonsense knowledge graphs (CKGs), conceptualization is yet to be introduced thoroughly, making current approaches ineffective to cover knowledge about countless diverse entities and situations in the real world. To address the problem, we thoroughly study the role of conceptualization in commonsense reasoning, and formulate a framework to replicate human conceptual induction by acquiring abstract knowledge about events regarding abstract concepts, as well as higher-level triples or inferences upon them. We then apply the framework to ATOMIC, a large-scale human-annotated CKG, aided by the taxonomy Probase. We annotate a dataset on the validity of contextualized conceptualizations from ATOMIC on both event and triple levels, develop a series of heuristic rules based on linguistic features, and train a set of neural models to generate and verify abstract knowledge. Based on these components, a pipeline to acquire abstract knowledge is built. A large abstract CKG upon ATOMIC is then induced, ready to be instantiated to infer about unseen entities or situations. Finally, we empirically show the benefits of augmenting CKGs with abstract knowledge in downstream tasks like commonsense inference and zero-shot commonsense QA.


title: A memo on bornologies and size functions

abstract: We recall the notion of abstract bornology, and connect it with topological spaces and size functions. As a generalization of measures of non-compactness, we show how every size function can be mapped to a maxitive measure.


title: Multi-charged moments of two intervals in conformal field theory

abstract: We study the multi-charged moments for two disjoint intervals in the ground state of two $1+1$ dimensional CFTs with central charge $c=1$ and global $U(1)$ symmetry: the massless Dirac field theory and the compact boson (Luttinger liquid). For this purpose, we compute the partition function on the higher genus Riemann surface arising from the replica method in the presence of background magnetic fluxes between the sheets of the surface. We consider the general situation in which the fluxes generate different twisted boundary conditions at each branch point. The obtained multi-charged moments allow us to derive the symmetry resolution of the R\'enyi entanglement entropies and the mutual information for non complementary bipartitions. We check our findings against exact numerical results for the tight-binding model, which is a lattice realisation of the massless Dirac theory.


title: Rethinking and Scaling Up Graph Contrastive Learning: An Extremely Efficient Approach with Group Discrimination

abstract: Graph contrastive learning (GCL) alleviates the heavy reliance on label information for graph representation learning (GRL) via self-supervised learning schemes. The core idea is to learn by maximising mutual information for similar instances, which requires similarity computation between two node instances. However, GCL is inefficient in both time and memory consumption. In addition, GCL normally requires a large number of training epochs to be well-trained on large-scale datasets. Inspired by an observation of a technical defect (i.e., inappropriate usage of Sigmoid function) commonly used in two representative GCL works, DGI and MVGRL, we revisit GCL and introduce a new learning paradigm for self-supervised graph representation learning, namely, Group Discrimination (GD), and propose a novel GD-based method called Graph Group Discrimination (GGD). Instead of similarity computation, GGD directly discriminates two groups of node samples with a very simple binary cross-entropy loss. In addition, GGD requires much fewer training epochs to obtain competitive performance compared with GCL methods on large-scale datasets. These two advantages endow GGD with very efficient property. Extensive experiments show that GGD outperforms state-of-the-art self-supervised methods on eight datasets. In particular, GGD can be trained in 0.18 seconds (6.44 seconds including data preprocessing) on ogbn-arxiv, which is orders of magnitude (10,000+) faster than GCL baselines while consuming much less memory. Trained with 9 hours on ogbn-papers100M with billion edges, GGD outperforms its GCL counterparts in both accuracy and efficiency.


title: On the use of asymptotically motivated gauge functions to obtain convergent series solutions to nonlinear ODEs

abstract: We examine the power series solutions of two classical nonlinear ordinary differential equations of fluid mechanics that are mathematically related by their large-distance asymptotic behaviors in semi-infinite domains. The first problem is that of the "Sakiadis" boundary layer over a moving flat wall, for which no exact analytic solution has been put forward. The second problem is that of a static air-liquid meniscus with surface tension that intersects a flat wall at a given contact angle and limits to a flat pool away from the wall. For the latter problem, the exact analytic solution -- given as distance from the wall as function of meniscus height -- has long been known (Batchelor, 1967). Here, we provide an explicit solution as meniscus height vs. distance from the wall to elucidate structural similarities to the Sakiadis boundary layer. Although power series solutions are readily obtainable to the governing nonlinear ordinary differential equations, we show that -- in both problems -- the series diverge due to non-physical complex or negative real-valued singularities. In both cases, these singularities can be moved by expanding in exponential gauge functions motivated by their respective large distance asymptotic behaviors to enable series convergence over their full semi-infinite domains. For the Sakiadis problem, this not only provides a convergent Taylor series (and conjectured exact) solution to the ODE, but also a means to evaluate the wall shear parameter (and other properties) to within any desired precision. Although the nature of nonlinear ODEs precludes general conclusions, our results indicate that asymptotic behaviors can be useful when proposing variable transformations to overcome power series divergence.


title: Numerical simulation of heat extraction by a coaxial ground heat exchanger under freezing conditions

abstract: A new finite-difference model of heat transfer inside a shallow coaxial ground heat exchanger and in the surrounding layered soil is presented, taking into account the freezing of ground moisture. Three modes of heat exchanger operation are numerically simulated: stationary mode, transient mode and controlled mode. In the stationary mode, estimates of the sensitivity of the heat carrier fluid outlet temperature to changes in the heat exchanger parameters are calculated. In all modes, close attention is paid to demonstrating the difference in the results at a negative temperature of the fluid, calculated with and without taking into account the freezing of ground moisture. It is shown that this difference, caused by the zero-curtain effect, can range from 10% in the stationary mode to 35% in the control mode.


title: Accelerating hydrodynamic simulations of urban drainage systems with physics-guided machine learning

abstract: We propose and demonstrate a new approach for fast and accurate surrogate modelling of urban drainage system hydraulics based on physics-guided machine learning. The surrogates are trained against a limited set of simulation results from a hydrodynamic (HiFi) model. Our approach reduces simulation times by one to two orders of magnitude compared to a HiFi model. It is thus slower than e.g. conceptual hydrological models, but it enables simulations of water levels, flows and surcharges in all nodes and links of a drainage network and thus largely preserves the level of detail provided by HiFi models. Comparing time series simulated by the surrogate and the HiFi model, R2 values in the order of 0.9 are achieved. Surrogate training times are currently in the order of one hour. However, they can likely be reduced through the application of transfer learning and graph neural networks. Our surrogate approach will be useful for interactive workshops in initial design phases of urban drainage systems, as well as for real time applications. In addition, our model formulation is generic and future research should investigate its application for simulating other water systems.


title: Anisotropic turbulent viscosity and large-scale motive force in thermally driven turbulence at low Prandtl number

abstract: The fully developed turbulent Boussinesq convection is known to form large-scale rolls, often termed the 'large-scale circulation' (LSC). It is an interesting question how such a large-scale flow is created, in particular in systems when the energy input occurs at small scales, when inverse cascade is required in order to transfer energy into the large-scale modes. Here, the small-scale driving is introduced through stochastic, randomly distributed heat source (say radiational). The mean flow equations are derived by means of simplified renormalization group technique, which can be termed 'weakly nonlinear renormalization procedure' based on consideration of only the leading order terms at each step of the recursion procedure, as full renormalization in the studied anisotropic case turns out unattainable. The effective, anisotropic viscosity is obtained and it is shown, that the inverse energy cascade occurs via an effective 'motive force' which takes the form of transient negative, vertical diffusion.


title: Fiibrations property of embedding maps of orbifold charts

abstract: In this paper we introduce the notion of Hurewicz fibrations in the class of embedding maps of orbifold charts by giving the concept of E-fibration embedding. We study the fundamental properties of this concept such as the restriction, product and its relationship with Hurewicz fibration, etc. Furthermore, we introduce the notion of lifting functions of E-fibration embedding and study preserving projection property of these lifting functions.


title: A robust solution strategy for the Cahn-Larch\'e equations

abstract: In this paper we propose a solution strategy for the Cahn-Larch\'e equations, which is a model for linearized elasticity in a medium with two elastic phases that evolve subject to a Ginzburg-Landau type energy functional. The system can be seen as a combination of the Cahn-Hilliard regularized interface equation and linearized elasticity, and is non-linearly coupled, has a fourth order term that comes from the Cahn-Hilliard subsystem, and is non-convex and nonlinear in both the phase-field and displacement variables. We propose a novel semi-implicit discretization in time that uses a standard convex-concave splitting method of the nonlinear double-well potential, as well as special treatment to the elastic energy. We show that the resulting discrete system is equivalent to a convex minimization problem, and propose and prove the convergence of alternating minimization applied to it. Finally, we present numerical experiments that show the robustness and effectiveness of both alternating minimization and the monolithic Newton method applied to the newly proposed discrete system of equations. We compare it to a system of equations that has been discretized with a standard convex-concave splitting of the double-well potential, and implicit evaluations of the elasticity contributions and show that the newly proposed discrete system is better conditioned for linearization techniques.


title: Detecting the Severity of Major Depressive Disorder from Speech: A Novel HARD-Training Methodology

abstract: Major Depressive Disorder (MDD) is a common worldwide mental health issue with high associated socioeconomic costs. The prediction and automatic detection of MDD can, therefore, make a huge impact on society. Speech, as a non-invasive, easy to collect signal, is a promising marker to aid the diagnosis and assessment of MDD. In this regard, speech samples were collected as part of the Remote Assessment of Disease and Relapse in Major Depressive Disorder (RADAR-MDD) research programme. RADAR-MDD was an observational cohort study in which speech and other digital biomarkers were collected from a cohort of individuals with a history of MDD in Spain, United Kingdom and the Netherlands. In this paper, the RADAR-MDD speech corpus was taken as an experimental framework to test the efficacy of a Sequence-to-Sequence model with a local attention mechanism in a two-class depression severity classification paradigm. Additionally, a novel training method, HARD-Training, is proposed. It is a methodology based on the selection of more ambiguous samples for the model training, and inspired by the curriculum learning paradigm. HARD-Training was found to consistently improve - with an average increment of 8.6% - the performance of our classifiers for both of two speech elicitation tasks used and each collection site of the RADAR-MDD speech corpus. With this novel methodology, our Sequence-to-Sequence model was able to effectively detect MDD severity regardless of language. Finally, recognising the need for greater awareness of potential algorithmic bias, we conduct an additional analysis of our results separately for each gender.


title: Beyond Opinion Mining: Summarizing Opinions of Customer Reviews

abstract: Customer reviews are vital for making purchasing decisions in the Information Age. Such reviews can be automatically summarized to provide the user with an overview of opinions. In this tutorial, we present various aspects of opinion summarization that are useful for researchers and practitioners. First, we will introduce the task and major challenges. Then, we will present existing opinion summarization solutions, both pre-neural and neural. We will discuss how summarizers can be trained in the unsupervised, few-shot, and supervised regimes. Each regime has roots in different machine learning methods, such as auto-encoding, controllable text generation, and variational inference. Finally, we will discuss resources and evaluation methods and conclude with the future directions. This three-hour tutorial will provide a comprehensive overview over major advances in opinion summarization. The listeners will be well-equipped with the knowledge that is both useful for research and practical applications.


title: Polynomial approximation on $C^2$-domains

abstract: We introduce appropriate computable moduli of smoothness to characterize the rate of best approximation by multivariate polynomials on a connected and compact $C^2$-domain $\Omega\subset \mathbb{R}^d$. This new modulus of smoothness is defined via finite differences along the directions of coordinate axes, and along a number of tangential directions from the boundary. With this modulus, we prove both the direct Jackson inequality and the corresponding inverse for the best polynomial approximation in $L_p(\Omega)$. The Jackson inequality is established for the full range of $0<p\leq \infty$, while its proof relies on a recently established Whitney type estimates with constants depending only on certain parameters; and on a highly localized polynomial partitions of unity on a $C^2$-domain which is of independent interest. The inverse inequality is established for $1\leq p\leq \infty$, and its proof relies on a recently proved Bernstein type inequality associated with the tangential derivatives on the boundary of $\Omega$. Such an inequality also allows us to establish the inverse theorem for Ivanov's average moduli of smoothness on general compact $C^2$-domains.


title: Mesh-free Eulerian Physics-Informed Neural Networks

abstract: Physics-informed Neural Networks (PINNs) have recently emerged as a principled way to include prior physical knowledge in form of partial differential equations (PDEs) into neural networks. Although PINNs are generally viewed as mesh-free, current approaches still rely on collocation points within a bounded region, even in settings with spatially sparse signals. Furthermore, if the boundaries are not known, the selection of such a region is difficult and often results in a large proportion of collocation points being selected in areas of low relevance. To resolve this severe drawback of current methods, we present a mesh-free and adaptive approach termed particle-density PINN (pdPINN), which is inspired by the microscopic viewpoint of fluid dynamics. The method is based on the Eulerian formulation and, different from classical mesh-free method, does not require the introduction of Lagrangian updates. We propose to sample directly from the distribution over the particle positions, eliminating the need to introduce boundaries while adaptively focusing on the most relevant regions. This is achieved by interpreting a non-negative physical quantity (such as the density or temperature) as an unnormalized probability distribution from which we sample with dynamic Monte Carlo methods. The proposed method leads to higher sample efficiency and improved performance of PINNs. These advantages are demonstrated on various experiments based on the continuity equations, Fokker-Planck equations, and the heat equation.


title: Tunneling Analysis of Kerr-Newman Black Hole-Like Solution in Rastall Theory

abstract: Hamilton-Jacobi ansatz is used to analyze boson charged particles tunneling in Rastall gravity Kerr- Newman black hole (BH) surrounded by perfect fluid matter through the horizon. The geometrical BH parameters are observed, how these are affecting the radiation utilizing the Lagrangian gravity equation. In this article, the corrected Hawking temperature is computed by considering the effects of quantum gravity. In our analysis, the Rastall gravity BH solution surround by perfect fluid matter effects on Hawking radiation is analyzed graphically. Moreover, the stability and instability of Rastall gravity BH are investigated. The influence of quantum gravity and rotation parameters on BH radiation are also observed by graphical representation.


title: Understanding NVMe Zoned Namespace (ZNS) Flash SSD Storage Devices

abstract: The standardization of NVMe Zoned Namespaces (ZNS) in the NVMe 2.0 specification presents a unique new addition to storage devices. Unlike traditional SSDs, where the flash media management idiosyncrasies are hidden behind a flash translation layer (FTL) inside the device, ZNS devices push certain operations regarding data placement and garbage collection out from the device to the host. This allows the host to achieve more optimal data placement and predictable garbage collection overheads, along with lower device write amplification. Thus, additionally increasing flash media lifetime. As a result, ZNS devices are gaining significant attention in the research community. However, with the current software stack there are numerous ways of integrating ZNS devices into a host system. In this work, we begin to systematically analyze the integration options, report on the current software support for ZNS devices in the Linux Kernel, and provide an initial set of performance measurements. Our main findings show that larger I/O sizes are required to saturate the ZNS device bandwidth, and configuration of the I/O scheduler can provide workload dependent performance gains, requiring careful consideration of ZNS integration and configuration depending on the application workload and its access patterns. Our dataset and code are available at https: //github.com/nicktehrany/ZNS-Study.


title: Dust Formation in Astrophysical Environments: The Importance of Kinetics

abstract: Astronomical observations and analysis of stardust isolated from meteorites have revealed a highly diverse interstellar and circumstellar grain inventory, including a wide range of amorphous materials and crystalline compounds (silicates and carbon). This diversity reflects the wide range of stellar sources injecting solids into the interstellar medium each with its own physical characteristics such as density, temperature and elemental composition and highlights the importance of kinetics rather than thermodynamics in the formation of these compounds. Based upon the extensive literature on soot formation in terrestrial settings, detailed kinetic pathways have been identified for the formation of carbon dust in C-rich stellar ejecta. These have been incorporated in astronomical models for these environments. In recent years, the chemical routes in the nucleation of oxides and silicates have been the focus of much astronomical research. These aspects of stardust formation will be reviewed and lessons for dust formation in planetary atmospheres will be drawn with the emphasis on the influence of kinetics on the characteristics and structure of dust in these environments.


title: On higher-dimensional del Pezzo varieties

abstract: We study del Pezzo varieties, higher-dimensional analogues of del Pezzo surfaces. In particular, we introduce ADE classification of del Pezzo varieties, show that in type A the dimension of non-conical del Pezzo varieties is bounded by $12 - d - r$, where $d$ is the degree and $r$ is the rank of the class group, and classify maximal del Pezzo varieties.


title: TCE at Qur'an QA 2022: Arabic Language Question Answering Over Holy Qur'an Using a Post-Processed Ensemble of BERT-based Models

abstract: In recent years, we witnessed great progress in different tasks of natural language understanding using machine learning. Question answering is one of these tasks which is used by search engines and social media platforms for improved user experience. Arabic is the language of the Holy Qur'an; the sacred text for 1.8 billion people across the world. Arabic is a challenging language for Natural Language Processing (NLP) due to its complex structures. In this article, we describe our attempts at OSACT5 Qur'an QA 2022 Shared Task, which is a question answering challenge on the Holy Qur'an in Arabic. We propose an ensemble learning model based on Arabic variants of BERT models. In addition, we perform post-processing to enhance the model predictions. Our system achieves a Partial Reciprocal Rank (pRR) score of 56.6% on the official test set.


title: Linearized Polynomials, Galois Groups and Symmetric Power Modules

abstract: We investigate some Galois groups of linearized polynomials over fields such as $\mathbb{F}_q(t)$. The space of roots of such a polynomial is a module for its Galois group. We present a realization of the symmetric powers of this module, as a subspace of the splitting field of another linearized polynomial.


title: Is an encoder within reach?

abstract: The encoder network of an autoencoder is an approximation of the nearest point projection onto the manifold spanned by the decoder. A concern with this approximation is that, while the output of the encoder is always unique, the projection can possibly have infinitely many values. This implies that the latent representations learned by the autoencoder can be misleading. Borrowing from geometric measure theory, we introduce the idea of using the reach of the manifold spanned by the decoder to determine if an optimal encoder exists for a given dataset and decoder. We develop a local generalization of this reach and propose a numerical estimator thereof. We demonstrate that this allows us to determine which observations can be expected to have a unique, and thereby trustworthy, latent representation. As our local reach estimator is differentiable, we investigate its usage as a regularizer and show that this leads to learned manifolds for which projections are more often unique than without regularization.


title: Detecting hyperbolic geometry in networks: why triangles are not enough

abstract: In the past decade, geometric network models have received vast attention in the literature. These models formalize the natural idea that similar vertices are likely to connect. Because of that, these models are able to adequately capture many common structural properties of real-world networks, such as self-invariance and high clustering. Indeed, many real-world networks can be accurately modeled by positioning vertices of a network graph in hyperbolic spaces. Nevertheless, if one observes only the network connections, the presence of geometry is not always evident. Currently, triangle counts and clustering coefficients are the standard statistics to signal the presence of geometry. In this paper we show that triangle counts or clustering coefficients are insufficient because they fail to detect geometry induced by hyperbolic spaces. We therefore introduce a novel triangle-based statistic, which weighs triangles based on their strength of evidence for geometry. We show analytically, as well as on synthetic and real-world data, that this is a powerful statistic to detect hyperbolic geometry in networks.


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

abstract: Let $F$ be a field of prime characteristic $p$ and let $q$ be a power of $p$. We assume that $F$ contains the finite field of order $q$. A $q$-polynomial $L$ over $F$ is an element of the polynomial ring $F[x]$ with the property that those powers of $x$ that occur as terms of $L$ with nonzero coefficient have exponent a power of $q$. If the exponent of the leading term of $L$ is $q^n$, we say that $L$ has $q$-degree $n$. We assume that the coefficient of the $x$ term of $L$ is nonzero. We investigate the Galois group $G$, say, of $L$ over $F$, under the assumption that $L(x)/x$ is irreducible in $F[x]$. It is well known that if $L$ has $q$-degree $n$, its roots are an $n$-dimensional vector space over the field of order $q$ and $G$ acts linearly on this space. Our main theorem is the following. We consider a monic $q$-polynomial $L$ whose $q$-degree is a prime, $r$, say, with $L(x)/x$ irreducible over $F$. Assuming that the coefficient of the $x$ term of $L$ is $(-1)^r$, we show that the Galois group of $L$ over $F$ must be the special linear group $SL(r,q)$ of degree $r$ over the field of order $q$ when $q>2$. We also prove a projective version for the projective special linear group $PSL(r,q)$, and we present the analysis when $q=2$.


title: Implicitisation and Parameterisation in Polynomial Functors

abstract: In earlier work, the second author showed that a closed subset of a polynomial functor can always be defined by finitely many polynomial equations. In follow-up work on $\operatorname{GL}\nolimits_{\infty}$-varieties, Bik-Draisma-Eggermont-Snowden showed, among other things, that in characteristic zero every such closed subset is the image of a morphism whose domain is the product of a finite-dimensional affine variety and a polynomial functor. In this paper, we show that both results can be made algorithmic: there exists an algorithm $\mathbf{implicitise}$ that takes as input a morphism into a polynomial functor and outputs finitely many equations defining the closure of the image; and an algorithm $\mathbf{parameterise}$ that takes as input a finite set of equations defining a closed subset of a polynomial functor and outputs a morphism whose image is that closed subset.


title: Global homotopy theory via partially lax limits

abstract: We provide new $\infty$-categorical models for unstable and stable global homotopy theory. We use the notion of partially lax limits to formalize the idea that a global object is a collection of $G$-objects, one for each compact Lie group $G$, which are compatible with the restriction-inflation functors. More precisely, we show that the $\infty$-category of global spaces is equivalent to a partially lax limit of the functor sending a compact Lie group $G$ to the $\infty$-category of $G$-spaces. We also prove the stable version of this result, showing that the $\infty$-category of global spectra is equivalent to the partially lax limit of a diagram of $G$-spectra. Finally, the techniques employed in the previous cases allow us to describe the $\infty$-category of proper $G$-spectra for a Lie group $G$, as a limit of a diagram of $H$-spectra for $H$ running over all compact subgroups of $G$.