title: Formal verification of an industrial UML-like model using mCRL2 (extended version)

abstract: Low-code development platforms are gaining popularity. Essentially, such platforms allow to shift from coding to graphical modeling, helping to improve quality and reduce development time. The Cordis SUITE is a low-code development platform that adopts the Unified Modeling Language (UML) to design complex machine-control applications. In this paper we introduce Cordis models and their semantics. To enable formal verification, we define an automatic translation of Cordis models to the process algebraic specification language mCRL2. As a proof of concept, we describe requirements of the control software of an industrial cylinder model developed by Cordis, and show how these can be verified using model checking. We show that our verification approach is effective to uncover subtle issues in the industrial model and its implementation.


title: Pairwise Comparison Network for Remote Sensing Scene Classification

abstract: Remote sensing scene classification aims to assign a specific semantic label to a remote sensing image. Recently, convolutional neural networks have greatly improved the performance of remote sensing scene classification. However, some confused images may be easily recognized as the incorrect category, which generally degrade the performance. The differences between image pairs can be used to distinguish image categories. This paper proposed a pairwise comparison network, which contains two main steps: pairwise selection and pairwise representation. The proposed network first selects similar image pairs, and then represents the image pairs with pairwise representations. The self-representation is introduced to highlight the informative parts of each image itself, while the mutual-representation is proposed to capture the subtle differences between image pairs. Comprehensive experimental results on two challenging datasets (AID, NWPU-RESISC45) demonstrate the effectiveness of the proposed network. The codes are provided in https://github.com/spectralpublic/PCNet.git.


title: Gender and Racial Bias in Visual Question Answering Datasets

abstract: Vision-and-language tasks have increasingly drawn more attention as a means to evaluate human-like reasoning in machine learning models. A popular task in the field is visual question answering (VQA), which aims to answer questions about images. However, VQA models have been shown to exploit language bias by learning the statistical correlations between questions and answers without looking into the image content: e.g., questions about the color of a banana are answered with yellow, even if the banana in the image is green. If societal bias (e.g., sexism, racism, ableism, etc.) is present in the training data, this problem may be causing VQA models to learn harmful stereotypes. For this reason, we investigate gender and racial bias in five VQA datasets. In our analysis, we find that the distribution of answers is highly different between questions about women and men, as well as the existence of detrimental gender-stereotypical samples. Likewise, we identify that specific race-related attributes are underrepresented, whereas potentially discriminatory samples appear in the analyzed datasets. Our findings suggest that there are dangers associated to using VQA datasets without considering and dealing with the potentially harmful stereotypes. We conclude the paper by proposing solutions to alleviate the problem before, during, and after the dataset collection process.


title: A Novel K-Repetition Design for SCMA

abstract: This work presents a novel K-Repetition based HARQ scheme for LDPC coded uplink SCMA by employing a network coding (NC) principle to encode different packets, where K-Repetition is an emerging technique (recommended in 3GPP Release 15) for enhanced reliability and reduced latency in future massive machine-type communication. Such a scheme is referred to as the NC aided K-repetition SCMA (NCK-SCMA). We introduce a joint iterative detection algorithm for improved detection of the data from the proposed LDPC coded NCKSCMA systems. Simulation results demonstrate the benefits of NCK-SCMA with higher throughput and improved reliability over the conventional K-Repetition SCMA.


title: UnPWC-SVDLO: Multi-SVD on PointPWC for Unsupervised Lidar Odometry

abstract: High-precision lidar odomety is an essential part of autonomous driving. In recent years, deep learning methods have been widely used in lidar odomety tasks, but most of the current methods only extract the global features of the point clouds. It is impossible to obtain more detailed point-level features in this way. In addition, only the fully connected layer is used to estimate the pose. The fully connected layer has achieved obvious results in the classification task, but the changes in pose are a continuous rather than discrete process, high-precision pose estimation can not be obtained only by using the fully connected layer. Our method avoids problems mentioned above. We use PointPWC as our backbone network. PointPWC is originally used for scene flow estimation. The scene flow estimation task has a strong correlation with lidar odomety. Traget point clouds can be obtained by adding the scene flow and source point clouds. We can achieve the pose directly through ICP algorithm solved by SVD, and the fully connected layer is no longer used. PointPWC extracts point-level features from point clouds with different sampling levels, which solves the problem of too rough feature extraction. We conduct experiments on KITTI, Ford Campus Vision and Lidar DataSe and Apollo-SouthBay Dataset. Our result is comparable with the state-of-the-art unsupervised deep learing method SelfVoxeLO.


title: Cluster on Wheels

abstract: This paper presents a very compact 16-node cluster that is the core of a future robot for collecting and storing massive amounts of sensor data for research on Simultaneous Localization and Mapping (SLAM). To the best of our knowledge, this is the first time that such a cluster is used in robotics. We first present the requirements and different options for computing of such a robot and then show the hardware and software of our solution in detail. The cluster consists of 16 nodes of AMD Ryzen 7 5700U CPUs with a total of 128 cores. As a system that is to be used on a Clearpath Husky robot, it is very small in size, can be operated from battery power and has all required power and networking components integrated. Stress tests on the completed cluster show that it performs well.


title: Dual-mode robust MPC for the tracking control of non-holonomoic mobile robots

abstract: In this paper, a novel dual-mode robust model predictive control (MPC) approach is proposed for solving the tracking control problem of non-holonomoic mobile robots with additive bounded disturbance. To reduce the negative effect of disturbance and drive the state of real system closer to the one of nominal system , a robust reference signal is introduced into the cost function of MPC. In order to reduced the computation burden caused by online optimization of MPC and further improve the tracking accuracy, a dual-mode control strucuture consisting of the robust MPC and the local nonlinear robust control is developed, in which the local nonlinear robust control law is applied within a specified terminal region. Finally, simulation results on the non-holonomic mobile robot are presented to show the validity of the proposed control approach.


title: Freezing Limits for Beta-Cauchy Ensembles

abstract: Bessel processes associated with the root systems $A_{N-1}$ and $B_N$ describe interacting particle systems with $N$ particles on $\mathbb R$; they form dynamic versions of the classical $\beta$-Hermite and Laguerre ensembles. In this paper we study corresponding Cauchy processes constructed via some subordination. This leads to $\beta$-Cauchy ensembles in both cases with explicit distributions. For these distributions we derive central limit theorems for fixed $N$ in the freezing regime, i.e., when the parameters tend to infinity. The results are closely related to corresponding known freezing results for $\beta$-Hermite and Laguerre ensembles and for Bessel processes.


title: Quantum neural networks

abstract: This PhD thesis combines two of the most exciting research areas of the last decades: quantum computing and machine learning. We introduce dissipative quantum neural networks (DQNNs), which are designed for fully quantum learning tasks, are capable of universal quantum computation and have low memory requirements while training. These networks are optimised with training data pairs in form of input and desired output states and therefore can be used for characterising unknown or untrusted quantum devices. We not only demonstrate the generalisation behaviour of DQNNs using classical simulations, but also implement them successfully on actual quantum computers. To understand the ultimate limits for such quantum machine learning methods, we discuss the quantum no free lunch theorem, which describes a bound on the probability that a quantum device, which can be modelled as a unitary process and is optimised with quantum examples, gives an incorrect output for a random input. Moreover we expand the area of applications of DQNNs in two directions. In the first case, we include additional information beyond just the training data pairs: since quantum devices are always structured, the resulting data is always structured as well. We modify the DQNN's training algorithm such that knowledge about the graph-structure of the training data pairs is included in the training process and show that this can lead to better generalisation behaviour. Both the original DQNN and the DQNN including graph structure are trained with data pairs in order to characterise an underlying relation. However, in the second extension of the algorithm we aim to learn characteristics of a set of quantum states in order to extend it to quantum states which have similar properties. Therefore we build a generative adversarial model where two DQNNs, called the generator and discriminator, are trained in a competitive way.


title: Communication-Free Shepherding Navigation with Multiple Steering Agents

abstract: Swarm guidance addresses a challenging problem considering the navigation and control of a group of passive agents. To solve this problem, shepherding offers a bio-inspired technique of navigating such group of agents by using external steering agents with appropriately designed movement law. Although most shepherding researches are mainly based on the availability of centralized instructions, these assumptions are not realistic enough to solve some emerging application problems. Therefore, this paper presents a decentralized shepherding method where each steering agent makes movements based on its own observation without any inter-agent communication. Our numerical simulations confirm the effectiveness of the proposed method by showing its high success rate and low costs in various placement patterns. These advantages particularly improve with the increase in the number of steering agents.


title: Reducing finite-size effects with reweighted renormalization group transformations

abstract: We combine histogram reweighting techniques with the two-lattice matching Monte Carlo renormalization group method to conduct computationally efficient calculations of critical exponents on systems with moderately small lattice sizes. The approach, which relies on the construction of renormalization group mappings between two systems of identical lattice size to partially eliminate finite-size effects, and the use of histogram reweighting to obtain computationally efficient results in extended regions of parameter space, is utilized to explicitly determine the renormalized coupling parameters of the two-dimensional $\phi^{4}$ scalar field theory and to extract multiple critical exponents. We conclude by quantifying the computational benefits of the approach and discuss how reweighting opens up the opportunity to extend Monte Carlo renormalization group methods to systems with complex-valued actions.


title: Uncertainty-based Network for Few-shot Image Classification

abstract: The transductive inference is an effective technique in the few-shot learning task, where query sets update prototypes to improve themselves. However, these methods optimize the model by considering only the classification scores of the query instances as confidence while ignoring the uncertainty of these classification scores. In this paper, we propose a novel method called Uncertainty-Based Network, which models the uncertainty of classification results with the help of mutual information. Specifically, we first data augment and classify the query instance and calculate the mutual information of these classification scores. Then, mutual information is used as uncertainty to assign weights to classification scores, and the iterative update strategy based on classification scores and uncertainties assigns the optimal weights to query instances in prototype optimization. Extensive results on four benchmarks show that Uncertainty-Based Network achieves comparable performance in classification accuracy compared to state-of-the-art method.


title: Center of mass motion in bag model

abstract: Despite the great success on the mass spectra, the reputation of the bag model has been closely followed by the embarrassment from the center of mass motion. It leads to severe theoretical inconsistencies. For instance, the masses and the decay constants would no longer be independent of the momentum. In this work, we provide a systematical approach to resolve this problem. The meson decay constants as well as the baryon transition form factors can be computed consistently in our framework. Notably, the form factors in the neutron $\beta$ decays do not depend on any free parameters, and are determined to be $F^V_1 =1 $ and $F^A_1 = 1.31$ or $F_1^A/F_1^V= 1.31$, which is close the experimental value of $F^A_1/F^V_1 = 1.27$. In addition, we find that ${\cal B} (\Lambda_b \to \Lambda \gamma) = (6.8 \pm 3.3 ) \times 10^{-6} $, which agrees to the experimental value of $(7.1\pm 1.7)\times 10^{-6}$.


title: SEMI-FND: Stacked Ensemble Based Multimodal Inference For Faster Fake News Detection

abstract: Fake News Detection (FND) is an essential field in natural language processing that aims to identify and check the truthfulness of major claims in a news article to decide the news veracity. FND finds its uses in preventing social, political and national damage caused due to misrepresentation of facts which may harm a certain section of society. Further, with the explosive rise in fake news dissemination over social media, including images and text, it has become imperative to identify fake news faster and more accurately. To solve this problem, this work investigates a novel multimodal stacked ensemble-based approach (SEMIFND) to fake news detection. Focus is also kept on ensuring faster performance with fewer parameters. Moreover, to improve multimodal performance, a deep unimodal analysis is done on the image modality to identify NasNet Mobile as the most appropriate model for the task. For text, an ensemble of BERT and ELECTRA is used. The approach was evaluated on two datasets: Twitter MediaEval and Weibo Corpus. The suggested framework offered accuracies of 85.80% and 86.83% on the Twitter and Weibo datasets respectively. These reported metrics are found to be superior when compared to similar recent works. Further, we also report a reduction in the number of parameters used in training when compared to recent relevant works. SEMI-FND offers an overall parameter reduction of at least 20% with unimodal parametric reduction on text being 60%. Therefore, based on the investigations presented, it is concluded that the application of a stacked ensembling significantly improves FND over other approaches while also improving speed.


title: Stellar and substellar objects in modified gravity

abstract: The last findings on stellar and substellar objects in modified gravity are presented, allowing a reader to quickly jump into this topic. Early stellar evolution of low-mass stars, cooling models of brown dwarfs and giant gaseous exoplanets as well as internal structure of terrestrial planets are discussed. Moreover, possible test of models of gravity with the use of the discussed objects are proposed.


title: Comparison of spatial distributions of Intracluster light and Dark Matter

abstract: In a galaxy cluster, the relative spatial distributions of dark matter, member galaxies, gas, and intracluster light (ICL) may connote their mutual interactions over the cluster evolution. However, it is a challenging problem to provide a quantitative measure for the shape matching between two multi-dimensional scalar distributions. We present a novel methodology, named the {\em Weighted Overlap Coefficient (WOC)}, to quantify the similarity of 2-dimensional spatial distributions. We compare the WOC with a standard method known as the Modified Hausdorff Distance (MHD). We find that our method is robust, and performs well even with the existence of multiple sub-structures. We apply our methodology to search for a visible component whose spatial distribution resembled with that of dark matter. If such a component could be found to trace the dark matter distribution with high fidelity for more relaxed galaxy clusters, then the similarity of the distributions could also be used as a dynamical stage estimator of the cluster. We apply the method to six galaxy clusters at different dynamical stages simulated within the GRT simulation, which is an N-body simulation using the galaxy replacement technique. Among the various components (stellar particles, galaxies, ICL), the ICL+ brightest cluster galaxy (BCG) component most faithfully trace the dark matter distribution. Among the sample galaxy clusters, the relaxed clusters show stronger similarity in the spatial distribution of the dark matter and ICL+BCG than the dynamically young clusters. While the MHD results show weaker trend with the dynamical stages.


title: Axially harmonic functions and the harmonic functional calculus on the S-spectrum

abstract: The spectral theory on the S-spectrum was introduced to give an appropriate mathematical setting to quaternionic quantum mechanics, but it was soon realized that there were different applications of this theory, for example, to fractional heat diffusion and to the spectral theory for the Dirac operator on manifolds. In this seminal paper we introduce the harmonic functional calculus based on the S-spectrum and on an integral representation of axially harmonic functions. This calculus can be seen as a bridge between harmonic analysis and the spectral theory. The resolvent operator of the harmonic functional calculus is the commutative version of the pseudo S-resolvent operator. This new calculus also appears, in a natural way, in the product rule for the F-functional calculus.


title: Cosmic-ray diffusion and the multi-phase interstellar medium in a dwarf galaxy. I. Large-scale properties and $\gamma$-ray luminosities

abstract: Dynamically, cosmic rays with energies above about one GeV/nucleon may be important agents of galaxy evolution. Their pressures compare with the thermal and magnetic ones impacting galactic gas accretion, fountains and galactic outflows, and alter the mass cycling between the gas phases, its efficiency depends on the properties of CR transport in the different media. We aim to study the dynamical role of CRs in shaping the interstellar medium of a galaxy when changing their propagation mode. We perform MHD simulations with the AMR code RAMSES of the evolution of the same isolated galaxy (dwarf galaxy of $10^{11}$ M$_{\odot}$ down to 9-pc resolution) and compare the impact of the simplest cosmic-ray transport assumption of uniform diffusion. We have also updated the observational relation seen between the $\gamma$-ray luminosities and SFR of galaxies using the latest detection of Fermi LAT sources. We find that the radial and vertical distributions, and mass fractions of the gas in the different phases are marginally altered when changing CR transport. We observe positive feedback of CR on the amplification of the magnetic field in the inner half of the galaxy, except for fast isotropic diffusion. The increase in CR pressure for slow or anisotropic diffusion can suppress star formation by up to 50\%, but the dual effect of cosmic-ray pressure and magnetic amplification can reduce star formation by a factor 2.5. The $\gamma$-ray luminosities and SFR of the simulated galaxies are fully consistent with the trend seen in the observations in the case of anisotropic $10^{27.5-29}$ cm$^2$ s$^{-1}$ diffusion and for isotropic diffusion slower or equal to $3 \times 10^{28}$cm$^2$ s$^{-1}$. These results, therefore, do not confirm claims of very fast $10^{29-31}$ cm$^2$ s$^{-1}$ diffusion to match the Fermi LAT observations.


title: Jordan recoverability of some subcategories of modules over gentle algebras

abstract: Gentle algebras form a class of finite-dimensional algebras introduced by I. Assem and A. Skowro\'{n}ski in the 1980s. Modules over such an algebra can be described by string and band combinatorics in the associated gentle quiver from the work of M.C.R. Butler and C.M. Ringel. Any module can be naturally associated to a quiver representation. A nilpotent endomorphism of a quiver representation induces linear transformations over vector spaces at each vertex. Generically among all nilpotent endomorphisms, a well-defined Jordan form exists for these representations. We focus on subcategories additively generated by all the indecomposable representations of a gentle quiver, including a fixed vertex in their support. We show a characterization of the vertices such that the objects of this subcategory are determined up to isomorphism by their generic Jordan form.


title: Fast Evolution of Single Qubit Gate in Non-Adiabatic Geometric Quantum Computing

abstract: We implemented arbitrary single qubit gates of geometric quantum computing for a three-level system in a single-shot manner. The evolution time of the gate has been minimized by considering the shortest trajectory of the state on the Bloch sphere. The duration of gates grows from zero with the rotation angle $\gamma$, and the tested T gate time can be reduced to $\sim$40\% of those in the traditional orange-sliced-shaped path non-adiabatic holonomic quantum computing (NHQC) scheme by the parametrization of Rabi frequency. We also demonstrated that certain pulses are robust against static detuning errors and Rabi errors. The time-dependent detuning and Rabi frequency are found to be proportional to each other by a constant which is determined by the geometric phase. In this way, some previous NHQC schemes can be treated as special cases in our generalized model.


title: CellTypeGraph: A New Geometric Computer Vision Benchmark

abstract: Classifying all cells in an organ is a relevant and difficult problem from plant developmental biology. We here abstract the problem into a new benchmark for node classification in a geo-referenced graph. Solving it requires learning the spatial layout of the organ including symmetries. To allow the convenient testing of new geometrical learning methods, the benchmark of Arabidopsis thaliana ovules is made available as a PyTorch data loader, along with a large number of precomputed features. Finally, we benchmark eight recent graph neural network architectures, finding that DeeperGCN currently works best on this problem.


title: Blowup of cylindrically symmetric solutions for biharmonic NLS

abstract: In this paper, we consider blowup of solutions to the Cauchy problem for the following biharmonic NLS, $$ \textnormal{i} \, \partial_t u=\Delta^2 u-\mu \Delta u-|u|^{2 \sigma} u \quad \text{in} \,\, \R \times \R^d, $$ where $d \geq 1$, $\mu \in \R$ and $0<\sigma<\infty$ if $1 \leq d \leq 4$ and $0<\sigma<4/(d-4)$ if $d \geq 5$. In the mass critical and supercritical cases, we establish the existence of blowup solutions to the problem for cylindrically symmetric data. The result extends the known ones with respect to blowup of solutions to the problem for radially symmetric data.


title: Global existence of classical solutions and numerical simulations of a cancer invasion model

abstract: In this paper, we study a cancer invasion model both theoretically and numerically. The model is a nonstationary, nonlinear system of three coupled partial differential equations modeling the motion of cancer cells, degradation of the extracellular matrix, and certain enzymes. We first establish existence of global classical solutions in both two- and three-dimensional bounded domains, despite the lack of diffusion of the matrix-degrading enzymes and corresponding regularizing effects in the analytical treatment. Next, we give a weak formulation and apply finite differences in time and a Galerkin finite element scheme for spatial discretization. The overall algorithm is based on a fixed-point iteration scheme. In order to substantiate our theory and numerical framework, several numerical simulations are carried out in two and three spatial dimensions.


title: Restriction on the form of quark anomalous magnetic moment from lattice QCD results

abstract: The quark anomalous magnetic moment (AMM) is dynamically generated through the spontaneous chiral symmetry breaking. It has been revealed that even though its exact form is still unknown, the quark AMM is essential to explore quark matter properties and QCD phase structure under external magnetic fields. In this study, we take three different forms of the quark AMM and investigate its influence on the chiral phase transition under magnetic field. In general, a negative quark AMM plays the role as magnetic catalyzer and a positive quark AMM plays the role of magnetic inhibition. It is found that a constant quark AMM drives an unexpected 1st order chiral phase transition; a quark AMM proportional to the chiral condensate gives a flip of the sign on the chiral condensate; and a quark AMM proportional to the square of chiral condensate can produce results of chiral condensate as functions of the temperature and the magnetic field in good agreement with the lattice result.


title: Pessimism and Cynicism as Physical Entities

abstract: Choosing pessimism makes one cynical to and necessitates their destruction of information.


title: Confronting the Galactic 511 keV emission with $B-L$ gauge boson dark matter

abstract: The $B-L$ gauge symmetry motivated from the successful generation of the seesaw mechanism and leptogenesis. We show that if the $B-L$ gauge boson constitutes a small fraction of the dark matter (DM) it can explain the Galactic $511$ keV emission via the decay into an electron-positron pair. We find the model parameter space that is consistent with the seesaw mechanism, cosmologically viable, and accounting for the amplitude of the Galactic positron line. From this parameter space we derive an upper bound of the gauge boson mass and then an bound of the positron injection energy $\lesssim3$ MeV. This derived energy bound is consistent with the observational upper limit of the injection energy. The resultant model predicts the $B-L$ breaking scale to be in a relatively narrow range, i.e., $V_{B\textrm{--}L}\sim10^{15} \textrm{--} 10^{16} $GeV, which is consistent with a Grand Unification (GUT) scale seesaw mechanism. The model is consistent in several phenomenologies, suggesting their common origin from the B-L symmetry breaking.


title: Quasi-conical domains with embedded eigenvalues

abstract: The spectrum of the Dirichlet Laplacian on any quasi-conical open set coincides with the non-negative semi-axis. We show that there is a connected quasi-conical open set such that the respective Dirichlet Laplacian has a positive (embedded) eigenvalue. This open set is constructed as the tower of cubes of growing size connected by windows of vanishing size. Moreover, we show that the sizes of the windows in this construction can be chosen so that the absolutely continuous spectrum of the Dirichlet Laplacian is empty.


title: Efficient moment-based approach to the simulation of infinitely many heterogeneous phase oscillators

abstract: The dynamics of ensembles of phase oscillators are usually described considering their infinite-size limit. In practice, however, this limit is fully accessible only if the Ott-Antonsen theory can be applied, and the heterogeneity is distributed following a rational function. In this work we demonstrate the usefulness of a moment-based scheme to reproduce the dynamics of infinitely many oscillators. Our analysis is particularized for Gaussian heterogeneities, leading to a FourierHermite decomposition of the oscillator density. The Fourier-Hermite moments obey a set of hierarchical ordinary differential equations. As a preliminary experiment, the effects of truncating the moment system and implementing different closures are tested in the analytically solvable Kuramoto model. The moment-based approach proves to be much more efficient than the direct simulation of a large oscillator ensemble. The convenience of the moment-based approach is exploited in two illustrative examples: (i) the Kuramoto model with bimodal frequency distribution, and (ii) the 'enlarged Kuramoto model' (endowed with nonpairwise interactions). In both systems we obtain new results inaccessible through direct numerical integration of populations.


title: Turbulent diffusion of streaming cosmic rays in compressible, partially ionised plasma

abstract: Cosmic rays (CRs) are a dynamically important component of the interstellar medium (ISM) of galaxies. The $\sim$GeV CRs that carry most CR energy and pressure are likely confined by self-generated turbulence, leading them to stream along magnetic field lines at the ion Alfv\'en speed. However, the consequences of self-confinement for CR propagation on galaxy scales remain highly uncertain. In this paper, we use a large ensemble of magnetohydrodynamical turbulence simulations to quantify how the basic parameters describing ISM turbulence -- the sonic Mach number, $\mathcal{M}$ (plasma compressibility), Alfv\'en Mach number, $\mathcal{M}_{A0}$ (strength of the large-scale field with respect to the turbulence), and ionisation fraction by mass, $\chi$ -- affect the transport of streaming CRs. We show that the large-scale transport of CRs whose small-scale motion consists of streaming along field lines is well described as a combination of streaming along the mean field and superdiffusion both along (parallel to) and across (perpendicular to) it; $\mathcal{M}_{A0}$ drives the level of anisotropy between parallel and perpendicular diffusion and $\chi$ modulates the magnitude of the diffusion coefficients, while in our choice of units, $\mathcal{M}$ is unimportant except in the sub-Alfv\'enic ($\mathcal{M}_{A0} \lesssim 0.5$) regime. Our finding that superdiffusion is ubiquitous potentially explains the apparent discrepancy between CR diffusion coefficients inferred from measurements close to individual sources compared to those measured on larger, Galactic scales. Finally, we present empirical fits for the diffusion coefficients as a function of plasma parameters that may be used as sub-grid recipes for global interstellar medium, galaxy or cosmological simulations.


title: Probabilistic Automata of Bounded Ambiguity

abstract: Probabilistic automata are an extension of nondeterministic finite automata in which transitions are annotated with probabilities. Despite its simplicity, this model is very expressive and many of the associated algorithmic questions are undecidable. In this work we focus on the emptiness problem (and its variant the value problem), which asks whether a given probabilistic automaton accepts some word with probability greater than a given threshold. We consider a natural and well-studied structural restriction on automata, namely the degree of ambiguity, which is defined as the maximum number of accepting runs over all words. The known undecidability proofs exploits infinite ambiguity and so we focus on the case of finitely ambiguous probabilistic automata. Our main contributions are to construct efficient algorithms for analysing finitely ambiguous probabilistic automata through a reduction to a multi-objective optimisation problem called the stochastic path problem. We obtain a polynomial time algorithm for approximating the value of probabilistic automata of fixed ambiguity and a quasi-polynomial time algorithm for the emptiness problem for 2-ambiguous probabilistic automata. We complement these positive results by an inapproximability result stating that the value of finitely ambiguous probabilistic automata cannot be approximated unless PTIME = NP.


title: On the Convergence of Policy in Unregularized Policy Mirror Descent

abstract: In this short note, we give the convergence analysis of the policy in the recent famous policy mirror descent (PMD). We mainly consider the unregularized setting following [11] with generalized Bregman divergence. The difference is that we directly give the convergence rates of policy under generalized Bregman divergence. Our results are inspired by the convergence of value function in previous works and are an extension study of policy mirror descent. Though some results have already appeared in previous work, we further discover a large body of Bregman divergences could give finite-step convergence to an optimal policy, such as the classical Euclidean distance.


title: Multilayer atomic cluster expansion for semi-local interactions

abstract: Traditionally, interatomic potentials assume local bond formation supplemented by long-range electrostatic interactions when necessary. This ignores intermediate range multi-atom interactions that arise from the relaxation of the electronic structure. Here, we present the multilayer atomic cluster expansion (ml-ACE) that includes collective, semi-local multi-atom interactions naturally within its remit. We demonstrate that ml-ACE significantly improves fit accuracy compared to a local expansion on selected examples and provide physical intuition to understand this improvement.


title: Active learning of causal probability trees

abstract: The past two decades have seen a growing interest in combining causal information, commonly represented using causal graphs, with machine learning models. Probability trees provide a simple yet powerful alternative representation of causal information. They enable both computation of intervention and counterfactuals, and are strictly more general, since they allow context-dependent causal dependencies. Here we present a Bayesian method for learning probability trees from a combination of interventional and observational data. The method quantifies the expected information gain from an intervention, and selects the interventions with the largest gain. We demonstrate the efficiency of the method on simulated and real data. An effective method for learning probability trees on a limited interventional budget will greatly expand their applicability.


title: Pseudo Entropy in $U(1)$ gauge theory

abstract: We study the properties of pseudo entropy, a new generalization of entanglement entropy, in free Maxwell field theory in $d = 4$ dimension. We prepare excited states by the different components of the field strengths located at different Euclidean times acting on the vacuum. We compute the difference between the pseudo R\'{e}nyi entropy and the R\'{e}nyi entropy of the ground state and observe that the difference changes significantly near the boundary of the subsystems and vanishes far away from the boundary. Near the boundary of the subsystems, the difference between pseudo R\'{e}nyi entropy and R\'{e}nyi entropy of the ground state depends on the ratio of the two Euclidean times where the operators are kept. To begin with, we develop the method to evaluate pseudo entropy of conformal scalar field in $d=4$ dimension. We prepare two states by two operators with fixed conformal weight acting on the vacuum and observe that the difference between pseudo R\'{e}nyi entropy and ground state R\'{e}nyi entropy changes only near the boundary of the subsystems. We also show that a suitable analytical continuation of pseudo R\'{e}nyi entropy leads to the evaluation of real-time evolution of R\'{e}nyi entropy during quenches.


abstract: We propose the SAMU-XLSR: Semantically-Aligned Multimodal Utterance-level Cross-Lingual Speech Representation learning framework. Unlike previous works on speech representation learning, which learns multilingual contextual speech embedding at the resolution of an acoustic frame (10-20ms), this work focuses on learning multimodal (speech-text) multilingual speech embedding at the resolution of a sentence (5-10s) such that the embedding vector space is semantically aligned across different languages. We combine state-of-the-art multilingual acoustic frame-level speech representation learning model XLS-R with the Language Agnostic BERT Sentence Embedding (LaBSE) model to create an utterance-level multimodal multilingual speech encoder SAMU-XLSR. Although we train SAMU-XLSR with only multilingual transcribed speech data, cross-lingual speech-text and speech-speech associations emerge in its learned representation space. To substantiate our claims, we use SAMU-XLSR speech encoder in combination with a pre-trained LaBSE text sentence encoder for cross-lingual speech-to-text translation retrieval, and SAMU-XLSR alone for cross-lingual speech-to-speech translation retrieval. We highlight these applications by performing several cross-lingual text and speech translation retrieval tasks across several datasets.


title: Coloring circle arrangements: New $4$-chromatic planar graphs

abstract: Felsner, Hurtado, Noy and Streinu (2000) conjectured that arrangement graphs of simple great-circle arrangements have chromatic number at most $3$. Motivated by this conjecture, we study the colorability of arrangement graphs for different classes of arrangements of (pseudo-)circles. In this paper the conjecture is verified for $\triangle$-saturated pseudocircle arrangements, i.e., for arrangements where one color class of the 2-coloring of faces consists of triangles only, as well as for further classes of (pseudo-)circle arrangements. These results are complemented by a construction which maps $\triangle$-saturated arrangements with a pentagonal face to arrangements with 4-chromatic 4-regular arrangement graphs. This "corona" construction has similarities with the crowning construction introduced by Koester (1985). Based on exhaustive experiments with small arrangements we propose three strengthenings of the original conjecture. We also investigate fractional colorings. It is shown that the arrangement graph of every arrangement $\mathcal{A}$ of pairwise intersecting pseudocircles is "close" to being $3$-colorable. More precisely, the fractional chromatic number $\chi_f(\mathcal{A})$ of the arrangement graph is bounded from above by $\chi_f(\mathcal{A}) \le 3+O(\frac{1}{n})$, where $n$ is the number of pseudocircles of $\mathcal{A}$. Furthermore, we construct an infinite family of $4$-edge-critical $4$-regular planar graphs which are fractionally $3$-colorable. This disproves a conjecture of Gimbel, K\"{u}ndgen, Li, and Thomassen (2019).


title: On Convergence of Tracking Differentiator with Multiple Stochastic Disturbances

abstract: In this paper, the convergence and noise-tolerant performance of a tracking differentiator in the presence of multiple stochastic disturbances are investigated for the first time. We consider a quite general case where the input signal is corrupted by additive colored noise, and the tracking differentiator itself is disturbed by additive colored noise and white noise. It is shown that the tracking differentiator tracks the input signal and its generalized derivatives in mean square and even in almost sure sense when the stochastic noise affecting the input signal is vanishing. Some numerical simulations are performed to validate the theoretical results.


title: Hurwitz Zeta Functions and Ramanujan's Identity for Odd Zeta Values

abstract: Inspired by a famous formula of Ramanujan for odd zeta values, we prove an analogous formula involving the Hurwitz zeta function. We introduce a new integral kernel related to the Hurwitz zeta function, generalizing the integral kernel associated to Ramanujan's identity. We also derive several infinite families of identities analogous to Ramanujan's formula.


title: SKILL: Structured Knowledge Infusion for Large Language Models

abstract: Large language models (LLMs) have demonstrated human-level performance on a vast spectrum of natural language tasks. However, it is largely unexplored whether they can better internalize knowledge from a structured data, such as a knowledge graph, or from text. In this work, we propose a method to infuse structured knowledge into LLMs, by directly training T5 models on factual triples of knowledge graphs (KGs). We show that models pre-trained on Wikidata KG with our method outperform the T5 baselines on FreebaseQA and WikiHop, as well as the Wikidata-answerable subset of TriviaQA and NaturalQuestions. The models pre-trained on factual triples compare competitively with the ones on natural language sentences that contain the same knowledge. Trained on a smaller size KG, WikiMovies, we saw 3x improvement of exact match score on MetaQA task compared to T5 baseline. The proposed method has an advantage that no alignment between the knowledge graph and text corpus is required in curating training data. This makes our method particularly useful when working with industry-scale knowledge graphs.


title: Symmetric integrators with improved uniform error bounds and long-time conservations for the nonlinear Klein-Gordon equation in the nonrelativistic limit regime

abstract: In this paper, we are concerned with symmetric integrators for the nonlinear relativistic Klein--Gordon (NRKG) equation with a dimensionless parameter $0<\varepsilon\ll 1$, which is inversely proportional to the speed of light. The highly oscillatory property in time of this model corresponds to the parameter $\varepsilon$ and the equation has strong nonlinearity when $\eps$ is small. There two aspects bring significantly numerical burdens in designing numerical methods. We propose and analyze a novel class of symmetric integrators which is based on some formulation approaches to the problem, Fourier pseudo-spectral method and exponential integrators. Two practical integrators up to order four are constructed by using the proposed symmetric property and stiff order conditions of implicit exponential integrators. The convergence of the obtained integrators is rigorously studied, and it is shown that the accuracy in time is improved to be $\mathcal{O}(\varepsilon^{3} \hh^2)$ and $\mathcal{O}(\varepsilon^{4} \hh^4)$ for the time stepsize $\hh$. The near energy conservation over long times is established for the multi-stage integrators by using modulated Fourier expansions. These theoretical results are achievable even if large stepsizes are utilized in the schemes. Numerical results on a NRKG equation show that the proposed integrators have improved uniform error bounds, excellent long time energy conservation and competitive efficiency.


title: Multi-component decompositions, linear superpositions, and new nonlinear integrable coupled KdV-type systems

abstract: The existence of decompositions of the nonlinear integrable systems not only permits us to establish so-called linear superposition solutions but also to derive new nonlinear integrable coupled systems. Restricting our attention to the single component decompositions of the potential BKP hierarchy, we obtain that suitable linear superpositions of some decomposition solutions still satisfy the same equations. In parallel, successful attempts are made by multi-component decompositions of the potential BKP hierarchy to construct linear superposition solutions and new nonlinear integrable coupled KdV-type systems that a change of dependent variables cannot decouple.


title: Deep neural networks with dependent weights: Gaussian Process mixture limit, heavy tails, sparsity and compressibility

abstract: This article studies the infinite-width limit of deep feedforward neural networks whose weights are dependent, and modelled via a mixture of Gaussian distributions. Each hidden node of the network is assigned a nonnegative random variable that controls the variance of the outgoing weights of that node. We make minimal assumptions on these per-node random variables: they are iid and their sum, in each layer, converges to some finite random variable in the infinite-width limit. Under this model, we show that each layer of the infinite-width neural network can be characterised by two simple quantities: a non-negative scalar parameter and a L\'evy measure on the positive reals. If the scalar parameters are strictly positive and the L\'evy measures are trivial at all hidden layers, then one recovers the classical Gaussian process (GP) limit, obtained with iid Gaussian weights. More interestingly, if the L\'evy measure of at least one layer is non-trivial, we obtain a mixture of Gaussian processes (MoGP) in the large-width limit. The behaviour of the neural network in this regime is very different from the GP regime. One obtains correlated outputs, with non-Gaussian distributions, possibly with heavy tails. Additionally, we show that, in this regime, the weights are compressible, and some nodes have asymptotically non-negligible contributions, therefore representing important hidden features. Many sparsity-promoting neural network models can be recast as special cases of our approach, and we discuss their infinite-width limits; we also present an asymptotic analysis of the pruning error. We illustrate some of the benefits of the MoGP regime over the GP regime in terms of representation learning and compressibility on simulated, MNIST and Fashion MNIST datasets.


title: An Artificial Neural Network Algorithm to Retrieve Chlorophyll a for Northwest European Shelf Seas from Top of Atmosphere Ocean Colour Reflectance

abstract: Chlorophyll-a (Chl) retrieval from ocean colour remote sensing is problematic for relatively turbid coastal waters due to the impact of non-algal materials on atmospheric correction and standard Chl algorithm performance. Artificial neural networks (NNs) provide an alternative approach for retrieval of Chl from space and results in northwest European shelf seas over the 2002-2020 period are shown. The NNs operate on 15 MODIS-Aqua visible and infrared bands and are tested using bottom of atmosphere (BOA), top of atmosphere (TOA) and Rayleigh corrected TOA reflectances (RC). In each case, a NN architecture consisting of 3 layers of 15 neurons improved performances and data availability compared to current state-of-the-art algorithms used in the region. The NN operating on TOA reflectance outperformed BOA and RC versions. By operating on TOA reflectance data, the NN approach overcomes the common but difficult problem of atmospheric correction in coastal waters. Moreover, the NN provides data for regions which other algorithms often mask out for turbid water or low zenith angle flags. A distinguishing feature of the NN approach is generation of associated product uncertainties based on multiple resampling of the training data set to produce a distribution of values for each pixel, and an example is shown for a coastal time series in the North Sea. The final output of the NN approach consists of a best-estimate image based on medians for each pixel and a second image representing uncertainty based on standard deviation for each pixel, providing pixel-specific estimates of uncertainty in the final product.


title: Automatic Acquisition of a Repertoire of Diverse Grasping Trajectories through Behavior Shaping and Novelty Search

abstract: Grasping a particular object may require a dedicated grasping movement that may also be specific to the robot end-effector. No generic and autonomous method does exist to generate these movements without making hypotheses on the robot or on the object. Learning methods could help to autonomously discover relevant grasping movements, but they face an important issue: grasping movements are so rare that a learning method based on exploration has little chance to ever observe an interesting movement, thus creating a bootstrap issue. We introduce an approach to generate diverse grasping movements in order to solve this problem. The movements are generated in simulation, for particular object positions. We test it on several simulated robots: Baxter, Pepper and a Kuka Iiwa arm. Although we show that generated movements actually work on a real Baxter robot, the aim is to use this method to create a large dataset to bootstrap deep learning methods.


title: Geometric realizations of birational transformations via $\mathbb{C}^*$-actions

abstract: In this paper we study varieties admitting torus actions as geometric realizations of birational transformations. We present an explicit construction of these geometric realizations for a particular class of birational transformations, and study some of their geometric properties, such as their Mori, Nef and Movable cones.


title: Semi-discretization and full-discretization with optimal accuracy for charged-particle dynamics in a strong nonuniform magnetic field

abstract: The aim of this paper is to formulate and analyze numerical discretizations of charged-particle dynamics (CPD) in a strong nonuniform magnetic field. A strategy is firstly performed for the two dimensional CPD to construct the semi-discretization and full-discretization which have optimal accuracy. This accuracy is improved in the position and in the velocity when the strength of the magnetic field becomes stronger. This is a better feature than the usual so called "uniformly accurate methods". To obtain this refined accuracy, some reformulations of the problem and two-scale exponential integrators are incorporated, and the optimal accuracy is derived from this new procedure. Then based on the strategy given for the two dimensional case, a new class of uniformly accurate methods with simple scheme is formulated for the three dimensional CPD in maximal ordering case. All the theoretical results of the accuracy are numerically illustrated by some numerical tests.


title: Moral reinforcement learning using actual causation

abstract: Reinforcement learning systems will to a greater and greater extent make decisions that significantly impact the well-being of humans, and it is therefore essential that these systems make decisions that conform to our expectations of morally good behavior. The morally good is often defined in causal terms, as in whether one's actions have in fact caused a particular outcome, and whether the outcome could have been anticipated. We propose an online reinforcement learning method that learns a policy under the constraint that the agent should not be the cause of harm. This is accomplished by defining cause using the theory of actual causation and assigning blame to the agent when its actions are the actual cause of an undesirable outcome. We conduct experiments on a toy ethical dilemma in which a natural choice of reward function leads to clearly undesirable behavior, but our method learns a policy that avoids being the cause of harmful behavior, demonstrating the soundness of our approach. Allowing an agent to learn while observing causal moral distinctions such as blame, opens the possibility to learning policies that better conform to our moral judgments.


title: The HEP Software Foundation Community

abstract: The HEP Software Foundation was founded in 2014 to tackle common problems of software development and sustainability for high-energy physics. In this paper we outline the motivation for the founding of the organisation and give a brief history of its development. We describe how the organisation functions today and what challenges remain to be faced in the future.


title: Design of saturated boundary control for hyperbolic systems with in-domain disturbances

abstract: Boundary feedback control design is studied for 1D hyperbolic systems with an in-domain disturbance and a boundary feedback controller under the effect of actuator saturation. Nonlinear semigroup theory is used to prove well-posedness of mild solution pairs to the closed-loop system. Sufficient conditions in the form of dissipation functional inequalities are derived to establish global stability for the closed-loop system and $\mathcal{L}^2$-stability in presence of in-domain disturbances. The control design problem is then recast as an optimization problem over linear matrix inequality constraints. Numerical results are shown to validate the effectiveness of the proposed control design.


title: The Borel map in the mixed Beurling setting

abstract: The Borel map takes a smooth function to its infinite jet of derivatives (at zero). We study the restriction of this map to ultradifferentiable classes of Beurling type in a very general setting which encompasses the classical Denjoy-Carleman and Braun-Meise-Taylor classes. More precisely, we characterize when the Borel image of one class covers the sequence space of another class in terms of the two weights that define the classes. We present two independent solutions to this problem, one by reduction to the Roumieu case and the other by dualization of the involved Fr\'echet spaces, a Phragm\'en-Lindel\"of theorem, and H\"ormander's solution of the $\bar{\partial}$-problem.


title: The Bring sextic of equilateral pentagons

abstract: Consider equilateral pentagons $V_1,\ldots,V_5$ in the Euclidean plane. When we identify pentagons that differ by translation, rotation, and magnification, the moduli space of possible shapes that we get is an oft-studied polygon space: a 2-manifold $E_5$ known topologically to be a quadruple torus (genus 4). We study $E_5$ geometrically, our goal being a conformal map of that terrain of possible shapes. The differential geometry that we use is all due to Gauss, though much of it is named after his student Riemann. The manifold $E_5$ inherits a Riemannian metric from the Grassmannian approach of Hausmann and Knutson, a metric $e_5$ under which $E_5$ has 240 isometries: an optional reflection combined with any permutation of the order in which the five edge vectors $V_{k+1}-V_k$ get assembled into a pentagon. Giving $E_5$ the conformal structure imposed by $e_5$ yields a compact Riemann surface of genus 4 with 120 automorphisms: the 120 isometries that preserve orientation. But there is only one Riemann surface with those properties: the Bring sextic. So $(E_5, e_5)$ conformally embeds in the hyperbolic plane, like the Bring sextic, as a repeating pattern of 240 triangles, each with vertex angles of $\frac{\pi}{2}$, $\frac{\pi}{4}$, and $\frac{\pi}{5}$. That conformal map realizes our goal. To plot pentagons on our map, we compute an initial pair of isothermal coordinates for $E_5$ by solving the Beltrami equation \`a la Gauss. We then use a conformal mapping to convert one of those isothermal triangular regions into a Poincar\'e projection of a $(\frac{\pi}{2},\frac{\pi}{4},\frac{\pi}{5})$ hyperbolic triangle.


title: Refined and Generalized $\hat{Z}$ Invariants for Plumbed 3-Manifolds

abstract: We introduce a two-variable refinement $\hat{Z}_a(q,t)$ of plumbed 3-manifold invariants $\hat{Z}_a(q)$, which were previously defined for weakly negative definite plumbed 3-manifolds. We also provide a number of explicit examples in which we argue the recovering process to obtain $\hat{Z}_a(q)$ from $\hat{Z}_a(q,t)$ by taking a limit $ t\rightarrow 1 $. For plumbed 3-manifolds with two high-valency vertices, we analytically compute the limit by using the explicit integer solutions of quadratic Diophantine equations in two variables. Based on numerical computations of the recovered $\hat{Z}_a(q)$ for plumbings with two high-valency vertices, we propose a conjecture that the recovered $\hat{Z}_a(q)$, if exists, is an invariant for all tree plumbed 3-manifolds. Finally, we provide a formula of the $\hat{Z}_a(q,t)$ for the connected sum of plumbed 3-manifolds in terms of those for the components.

categories: math.GT hep-th math-ph math.MP math.NT math.QA


title: Programmable skyrmion logic gates based on skyrmion tunneling

abstract: Magnetic skyrmions are promising candidates as elementary nanoscale bits in logic-in-memory devices, intrinsically merging high density memory and computing capabilities. Here we exploit the dynamics of skyrmions interacting with anisotropy energy barriers patterned by ion irradiation to design programmable logic gates. Using micromagnetic simulations with experimental parameters, we show that a fine tuning of the barrier height and width allows the selective tunneling of skyrmions between parallel nanotracks triggered by skyrmion-skyrmion interaction. This can be leveraged to design skyrmion De-multiplexer (DMux) logic gate which works solely using skyrmions as logic inputs. By cascading and connecting demultiplexer gates with a specific topology, we develop a fully programmable logic gate capable of producing any possible logic output as a sum of all minterms generated by a given set of inputs without requiring any complex additional electric/magnetic interconversion. The proposed design is fully conservative and cascadable and paves a new pathway for full skyrmionic-based logic-in-memory devices.


title: Sharp asymptotics on the compression of two-layer neural networks

abstract: In this paper, we study the compression of a target two-layer neural network with N nodes into a compressed network with M<N nodes. More precisely, we consider the setting in which the weights of the target network are i.i.d. sub-Gaussian, and we minimize the population L_2 loss between the outputs of the target and of the compressed network, under the assumption of Gaussian inputs. By using tools from high-dimensional probability, we show that this non-convex problem can be simplified when the target network is sufficiently over-parameterized, and provide the error rate of this approximation as a function of the input dimension and N. In this mean-field limit, the simplified objective, as well as the optimal weights of the compressed network, does not depend on the realization of the target network, but only on expected scaling factors. Furthermore, for networks with ReLU activation, we conjecture that the optimum of the simplified optimization problem is achieved by taking weights on the Equiangular Tight Frame (ETF), while the scaling of the weights and the orientation of the ETF depend on the parameters of the target network. Numerical evidence is provided to support this conjecture.


title: Robust and programmable logic-in-memory devices exploiting skyrmion confinement and channeling using local energy barriers

abstract: Magnetic skyrmions are promising candidates for logic-in-memory applications, intrinsically merging high density non-volatile data storage with computing capabilities, owing to their nanoscale size, fast motion, and mutual repulsions. However, concepts proposed so far suffer from reliability issues as well as inefficient conversion of magnetic information to electrical signals. In this paper, we propose a logic-in-memory device which exploits skyrmion confinement and channeling using anisotropy energy barriers to achieve reliable data storage and synchronous shift in racetracks combined with cascadable and reprogrammable logics relying purely on magnetic interactions. The device combines a racetrack shift register based on skyrmions confined in nanodots with Full Adder (FA) gates. The designed FA is reprogrammable and cascadable and can also be used to perform simple logic operations such as AND, OR, NOT, NAND, XOR and NXOR. The monolithic design of the logic gate and the absence of any complex electrical contacts makes the device ideal for integration with conventional CMOS circuitry.


title: A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems

abstract: Software-intensive systems constantly evolve. To prevent software changes from unintentionally introducing costly system defects, it is important to understand their impact to reduce risk. However, it is in practice nearly impossible to foresee the full impact of software changes when dealing with huge industrial systems with many configurations and usage scenarios. To assist developers with change impact analysis we introduce a novel multi-level methodology for behavioral comparison of software-intensive systems. Our fully automated methodology is based on comparing state machine models of software behavior. We combine existing complementary comparison methods into a novel approach, guiding users step by step though relevant differences by gradually zooming into more and more detail. We empirically evaluate our work through a qualitative exploratory field study, showing its practical value using multiple case studies at ASML, a leading company in developing lithography systems. Our method shows great potential for preventing regressions in system behavior for software changes.


title: An Application of Scenario Exploration to Find New Scenarios for the Development and Testing of Automated Driving Systems in Urban Scenarios

abstract: Verification and validation are major challenges for developing automated driving systems. A concept that gets more and more recognized for testing in automated driving is scenario-based testing. However, it introduces the problem of what scenarios are relevant for testing and which are not. This work aims to find relevant, interesting, or critical parameter sets within logical scenarios by utilizing Bayes optimization and Gaussian processes. The parameter optimization is done by comparing and evaluating six different metrics in two urban intersection scenarios. Finally, a list of ideas this work leads to and should be investigated further is presented.


title: On the Hierarchy of Distributed Majority Protocols

abstract: We study the Consensus problem among $n$ agents, defined as follows. Initially, each agent holds one of two possible opinions. The goal is to reach a consensus configuration in which every agent shares the same opinion. To this end, agents randomly sample other agents and update their opinion according to a simple update function depending on the sampled opinions. We consider two communication models: the gossip model and a variant of the population model. In the gossip model, agents are activated in parallel, synchronous rounds. In the population model, one agent is activated after the other in a sequence of discrete time steps. For both models we analyze the following natural family of majority processes called $j$-Majority: when activated, every agent samples $j$ other agents uniformly at random (with replacement) and adopts the majority opinion among the sample (breaking ties uniformly at random). As our main result we show a hierarchy among majority protocols: $(j+1)$-Majority (for $j > 1$) converges stochastically faster than $j$-Majority for any initial opinion configuration. In our analysis we use Strassen's Theorem to prove the existence of a coupling. This gives an affirmative answer for the case of two opinions to an open question asked by Berenbrink et al. [2017].


title: Three-Dirac-fermion approach to unexpected universal gapless surface states of van der Waals magnetic topological insulators

abstract: Layered van der Waals (vdW) topological materials, especially the recently discovered MnBi$_2$Te$_4$-family magnetic topological insulators (TIs), have aroused great attention. However, there has been a serious debate about whether the surface states are gapped or gapless for antiferromagnetic (AFM) TI MnBi$_2$Te$_4$, which is crucial to the prospect of various magnetic topological phenomena. Here, a minimal three-Dirac-fermion approach is developed to generally describe topological surface states of nonmagnetic/magnetic vdW TIs under the modulation of the interlayer vdW gap. In particular, this approach is applied to address the controversial issues concerning the surface states of vdW AFM TIs. Remarkably, topologically protected gapless Dirac-cone surface states are found to arise due to a small expansion of the interlayer vdW gap on the surface, when the Chern number equals zero for the surface ferromagnetic layer; while the surface states remain gapped in all other cases. These results are further confirmed by our first-principles calculations on AFM TI MnBi$_2$Te$_4$. The theorectically discovered gapless Dirac-cone states provide a unique mechanism for understanding the puzzle of the experimentally observed gapless surface states in MnBi$_2$Te$_4$. This work also provides a promising way for experiments to realize the intrinsic magnetic quantum anomalous Hall effect in MnBi$_2$Te$_4$ films with a large energy gap.


title: Shedding light on the electroweak phase transition from exotic Higgs boson decays at the lifetime frontiers

abstract: We study the scenarios where a strongly first-order electroweak phase transition (EWPT) is triggered by a light singlet scalar, which has feeble interactions to the Higgs. Since the singlet scalar is light and has weak couplings, it can decay at a macroscopic distance away from the collision point. Therefore, it can be regarded as a long-lived particles (LLP) in such scenarios. We perform the searches of the LLPs from the exotic Higgs decays, at the FASER, MAPP and CMS-Timing detectors of the 14 TeV HL-LHC, to probe the strongly first-order EWPT. In certain scenarios, we show that the LLP searches can help to reach the parameter space of the strongly first-order EWPT remarkably, where the searches for promptly exotic Higgs decays are not valid.


title: Lattice points on a curve via $\ell^2$ decoupling

abstract: We prove a generalization of Bombieri-Pila's inequality for lattice points on a curve to proper generalized arithmetic progressions. The proof uses the $\ell^2$ decoupling inequality for non-degenerate curves in $\mathbb{R}^n$. We also review the curve-lifting method and use it to establish various estimates of lattice points on a planar curve.


title: DynPL-SVO: A Robust Stereo Visual Odometry for Dynamic Scenes

abstract: Most feature-based stereo visual odometry (SVO) approaches estimate the motion of mobile robots by matching and tracking point features along a sequence of stereo images. However, in dynamic scenes mainly comprising moving pedestrians, vehicles, etc., there are insufficient robust static point features to enable accurate motion estimation, causing failures when reconstructing robotic motion. In this paper, we proposed DynPL-SVO, a complete dynamic SVO method that integrated united cost functions containing information between matched point features and re-projection errors perpendicular and parallel to the direction of the line features. Additionally, we introduced a \textit{dynamic} \textit{grid} algorithm to enhance its performance in dynamic scenes. The stereo camera motion was estimated through Levenberg-Marquard minimization of the re-projection errors of both point and line features. Comprehensive experimental results on KITTI and EuRoC MAV datasets showed that accuracy of the DynPL-SVO was improved by over 20\% on average compared to other state-of-the-art SVO systems, especially in dynamic scenes.


title: Distributed Kalman filtering with event-triggered communication: a robust approach

abstract: We consider the problem of distributed Kalman filtering for sensor networks in the case there is a limit in data transmission and there is model uncertainty. More precisely, we propose a distributed filtering strategy with event-triggered communication in which the state estimators are computed according to the least favorable model. The latter belongs to a ball (in Kullback-Leibler topology) about the nominal model. We also present a preliminary numerical example in order to test the performance of the proposed strategy.


title: blob loss: instance imbalance aware loss functions for semantic segmentation

abstract: Deep convolutional neural networks (CNN) have proven to be remarkably effective in semantic segmentation tasks. Most popular loss functions were introduced targeting improved volumetric scores, such as the Dice coefficient (DSC). By design, DSC can tackle class imbalance, however, it does not recognize instance imbalance within a class. As a result, a large foreground instance can dominate minor instances and still produce a satisfactory DSC. Nevertheless, detecting tiny instances is crucial for many applications, such as disease monitoring. For example, it is imperative to locate and surveil small-scale lesions in the follow-up of multiple sclerosis patients. We propose a novel family of loss functions, \emph{blob loss}, primarily aimed at maximizing instance-level detection metrics, such as F1 score and sensitivity. \emph{Blob loss} is designed for semantic segmentation problems where detecting multiple instances matters. We extensively evaluate a DSC-based \emph{blob loss} in five complex 3D semantic segmentation tasks featuring pronounced instance heterogeneity in terms of texture and morphology. Compared to soft Dice loss, we achieve 5% improvement for MS lesions, 3% improvement for liver tumor, and an average 2% improvement for microscopy segmentation tasks considering F1 score.


title: Towards Robotic Laboratory Automation Plug & Play: Survey and Concept Proposal on Teaching-free Robot Integration with the LAPP Digital Twin

abstract: The Laboratory Automation Plug & Play (LAPP) framework is an over-arching reference architecture concept for the integration of robots in life science laboratories. The plug & play nature lies in the fact that manual configuration is not required, including the teaching of the robots. In this paper a digital twin (DT) based concept is proposed that outlines the types of information that have to be provided for each relevant component of the system. In particular, for the devices interfacing with the robot, the robot positions have to be defined beforehand in a device-attached coordinate system (CS) by the vendor. This CS has to be detectable by the vision system of the robot by means of optical markers placed on the front side of the device. With that, the robot is capable of tending the machine by performing the pick-and-place type transportation of standard sample carriers. This basic use case is the primary scope of the LAPP-DT framework. The hardware scope is limited to simple benchtop and mobile manipulators with parallel grippers at this stage. This paper first provides an overview of relevant literature and state-of-the-art solutions, after which it outlines the framework on the conceptual level, followed by the specification of the relevant DT parameters for the robot, for the devices and for the facility. Finally, appropriate technologies and strategies are identified for the implementation.


title: Initial non-invasive in vivo sensing of the lung using time domain diffuse optics

abstract: Non-invasive in vivo sensing of the lung with light would help diagnose and monitor pulmonary disorders (caused by e.g. COVID-19, emphysema, immature lung tissue in infants). We investigated the possibility to probe the lung with time domain diffuse optics, taking advantage of the increased depth (few cm) reached by photons detected after a long (few ns) propagation time. An initial study on 5 healthy volunteers included time-resolved broadband diffuse optical spectroscopy measurements at 3 cm source-detector distance over the 600-1100 nm range, and long-distance (6-9 cm) measurements at 820 nm performed during a breathing protocol. The interpretation of the in vivo data with a simplified homogeneous model yielded a maximum probing depth of 2.6-3.9 cm, suitable to reach the lung. Also, signal changes related to the inspiration act were observed, especially at high photon propagation times. Yet, intra- and inter-subject variability and inconsistencies, possibly alluring to competing scattering and absorption effects, prevented a simple interpretation. Aspects to be further investigated to gain a deeper insight are discussed.


title: The specific heat of astro-materials: Review of theoretical concepts, materials and techniques

abstract: We provide detailed background, theoretical and practical, on the specific heat cp of minerals and mixtures thereof, 'astro-materials', as well as background information on common minerals and other relevant solid substances found on the surfaces of solar system bodies. Furthermore, we demonstrate how to use specific heat and composition data for lunar samples and meteorites as well as a new database of endmember mineral heat capacities (the result of an extensive literature review) to construct reference models for the isobaric specific heat cP as a function of temperature for common solar system materials. Using a (generally linear) mixing model for the specific heat of minerals allows extrapolation of the available data to very low and very high temperatures, such that models cover the temperature range between 10 and 1000 K at least (and pressures from zero up to several kbars). We describe a procedure to estimate cp(T) for virtually any solid solar system material with a known mineral composition, e.g., model specific heat as a function of temperature for a number of typical meteorite classes with known mineralogical compositions. We present, as examples, the cp(T) curves of a number of well-described laboratory regolith analogues, as well as for planetary ices and 'tholins' in the outer solar system. Part II will review and present the heat capacity database for minerals and compounds and part III is going to cover applications, standard reference compositions, cp(T) curves and a comparison with new and literature experimental data.

categories: astro-ph.EP cond-mat.mtrl-sci physics.class-ph physics.geo-ph


title: Light curve analysis of six totally eclipsing W UMa binaries

abstract: We analyze multicolor light curves of six totally eclipsing, short-period W UMa binaries and derive, for the first time, their orbital and stellar parameters. The mass ratios are established robustly through an automated q-search procedure that performs a heuristic survey of the parameter space. Five stars belong to the W and one to the A subtype. The mass ratios range from 0.23 to 0.51 and the fillouts from 10 to 15%. We estimate the ages and discuss the evolutionary status of these objects in comparison with a sample of other short-period W UMa binaries from the literature.


title: Cauchy matrix solutions to some local and nonlocal complex equations

abstract: In this paper, we develop a Cauchy matrix reduction technique that enables us to obtain solutions for the reduced local and nonlocal complex equations from the Cauchy matrix solutions of the original before-reduction systems. Specifically, by imposing local and nonlocal complex reductions on some Ablowitz-Kaup-Newell-Segur-type equations, we study some local and nonlocal complex equations, involving the local and nonlocal complex modified Korteweg-de Vries equation, the local and nonlocal complex sine-Gordon equation, the local and nonlocal potential nonlinear Schr\"{o}dinger equation and the local and nonlocal potential complex modified Korteweg-de Vries equation. Cauchy matrix-type soliton solutions and Jordan block solutions for the aforesaid local and nonlocal complex equations are presented. The dynamical behaviors of some obtained solutions are analyzed with graphical illustrations.


title: Explanations of the Tentative New Physics Anomalies and Dark Matter in the Simple Extension of the Standard Model (SESM)

abstract: We revisit the Simple Extension of the Standard Model (SESM) which can account for various tentative new physics anomalies and dark matter (DM). We consider a complete scalar potential which is needed to address the $W$ boson anomaly. Interestingly, the SESM can simultaneously explain the B physics anomaly, muon anomalous magnetic moment, $W$ mass anomaly, and dark matter, etc. Also, we study the unitarity constraint in this model. We perform the systematic study, and find the viable parameter spaces which can explain these anomalies and evade all the current experimental constraints. To be complete, we briefly comment on the neutrino masses and mixings, baryon asymmetry, and inflation.


title: Existence theorems for a generalized Chern-Simons equation on finite graphs

abstract: Denote by $G=(V,E)$ a finite graph. We study a generalized Chern-Simons equation $$ \Delta u=\lambda \mathrm{e}^u(\mathrm{e}^{bu}-1)+4\pi\sum\limits_{j=1}^{N}\delta_{p_j} $$ on $G$, where $\lambda$ and $b$ are positive constants; $N$ is a positive integer; $p_1, p_2, \cdot\cdot\cdot, p_N$ are distinct vertices of $V$ and $\delta_{p_j}$ is the Dirac delta mass at $p_j$. We prove that there exists a critical value $\lambda_c$ such that the equation has a solution if $\lambda\geq \lambda_c$ and the equation has no solution if $\lambda<\lambda_c$. We also prove that if $\lambda>\lambda_c$ the equation has at least two solutions which include a local minimizer for the corresponding functional and a mountain-pass type solution.


title: Specific versus Nonspecific Solvent Interactions of a Biomolecule in Water

abstract: Solvent interactions, particularly hydration, are vital in chemical and biochemical systems. Model systems unveil microscopic details of such interactions. We uncover a specific hydrogen-bonding motif of the biomolecular building block indole (C$_8$H$_7$N), tryptophan's chromophore, in water: a strong localized $\text{N-H}\cdots\text{OH}_2$ hydrogen bond, alongside unstructured solvent interactions. This insight is revealed from a combined experimental and theoretical analysis of indole's electronic structure in aqueous solution. We have recorded the complete X-ray photoemission and Auger spectrum of aqueous-phase indole, quantitatively explaining all peaks through \emph{ab initio} modeling. The efficient and accurate technique for modeling valence and core photoemission spectra involves the maximum-overlap method and the non-equilibrium polarizable-continuum model. A two-hole electron-population analysis quantitatively describes the Auger spectra. Core-electron binding energies for nitrogen and carbon highlight the specific interaction with a hydrogen-bonded water molecule at the N-H group and otherwise nonspecific solvent interactions.


title: Is hyperinterpolation efficient in the approximation of singular and oscillatory functions?

abstract: Singular and oscillatory functions feature in numerous applications. The high-accuracy approximation of such functions shall greatly help us develop high-order methods for solving applied mathematics problems. This paper demonstrates that hyperinterpolation, a discrete projection method with coefficients obtained by evaluating the $L^2$ orthogonal projection coefficients using some numerical integration methods, may be inefficient for approximating singular and oscillatory functions. A relatively large amount of numerical integration points are necessary for satisfactory accuracy. Moreover, in the spirit of product-integration, we propose an efficient modification of hyperinterpolation for such approximation. The proposed approximation scheme, called efficient hyperinterpolation, achieves satisfactory accuracy with fewer numerical integration points than the original scheme. The implementation of the new approximation scheme is relatively easy. Theorems are also given to explain the outperformance of efficient hyperinterpolation over the original scheme in such approximation, with the functions assumed to belong to $L^1(\Omega)$, $L^2(\Omega)$, and $\mathcal{C}(\Omega)$ spaces, respectively. These theorems, as well as numerical experiments on the interval and the sphere, show that efficient hyperinterpolation has better accuracy in such approximation than the original one when the amount of numerical integration points is limited.


title: Review on CFD modeling of electrostatic powder charging during pneumatic conveying

abstract: Thus far, Computational Fluid Dynamics (CFD) simulations fail to reliably predict the electrostatic charging of powder during pneumatic conveying. The lack of a predictive tool is one reason for unwanted discharges and growing deposits that make a plant a prime candidate for an explosion. This paper reviews the numerical models' state-of-the-art, limitations, and progress in recent years. In particular, the discussion includes the condenser model, which is up to today most popular in CFD simulations of powder flow electrification but fails to predict most of its features. New experiments led to advanced models, such as the non-uniform charge model, which resolves the local distribution of charge on non-conductive particle surfaces. Further, models relying on the surface state theory predicted bipolar charging of polydisperse particles made of the same material. Whereas these models were usually implemented in CFD tools using an Eulerian-Lagrangian strategy, powder charging was recently successfully described in an Eulerian framework. The Eulerian framework is computationally efficient when handling complete powders; thus, this research can pave the way from academic studies to simulating powder processing units. Overall, even though CFD models for powder flow charging improved, major hurdles toward a predictive tool remain.


title: Rate-Region Characterization and Channel Estimation for Cell-Free Symbiotic Radio Communications

abstract: Cell-free massive MIMO and symbiotic radio communication have been recently proposed as the promising beyond fifth-generation (B5G) networking architecture and transmission technology, respectively. To reap the benefits of both, this paper studies cell-free symbiotic radio communication systems, where a number of cell-free access points (APs) cooperatively send primary information to a receiver, and simultaneously support the passive backscattering communication of the secondary backscatter device (BD). We first derive the achievable communication rates of the active primary user and passive secondary user under the assumption of perfect channel state information (CSI), based on which the transmit beamforming of the cellfree APs is optimized to characterize the achievable rate-region of cell-free symbiotic communication systems. Furthermore, to practically acquire the CSI of the active and passive channels, we propose an efficient channel estimation method based on two-phase uplink-training, and the achievable rate-region taking into account CSI estimation errors are further characterized. Simulation results are provided to show the effectiveness of our proposed beamforming and channel estimation methods.


title: Efficient Unsupervised Sentence Compression by Fine-tuning Transformers with Reinforcement Learning

abstract: Sentence compression reduces the length of text by removing non-essential content while preserving important facts and grammaticality. Unsupervised objective driven methods for sentence compression can be used to create customized models without the need for ground-truth training data, while allowing flexibility in the objective function(s) that are used for learning and inference. Recent unsupervised sentence compression approaches use custom objectives to guide discrete search; however, guided search is expensive at inference time. In this work, we explore the use of reinforcement learning to train effective sentence compression models that are also fast when generating predictions. In particular, we cast the task as binary sequence labelling and fine-tune a pre-trained transformer using a simple policy gradient approach. Our approach outperforms other unsupervised models while also being more efficient at inference time.


title: Phase transition in compressed sensing with horseshoe prior

abstract: In Bayesian statistics, horseshoe prior has attracted increasing attention as an approach to the sparse estimation. The estimation accuracy of compressed sensing with the horseshoe prior is evaluated by statistical mechanical method. It is found that there exists a phase transition in signal recoverability in the plane of the number of observations and the number of nonzero signals and that the recoverability phase is more extended than that using the well-known $l_1$ norm regularization.


title: Conditions for Social Preference Transitivity When Cycle Involved and A $\hat{O}\mbox{-}\hat{I}$ Framework

abstract: We present some conditions for social preference transitivity under the majority rule when the individual preferences include cycles. First, our concern is with the restriction on the preference orderings of individuals except those (called cycle members) whose preferences constitute the cycles, but the considered transitivity is, of course, of the society as a whole. In our discussion, the individual preferences are assumed concerned and the cycle members' preferences are assumed as strict orderings. Particularly, for an alternative triple when one cycle is involved and the society is sufficient large (at least 5 individuals in the society), we present a sufficient condition for social transitivity; when two antagonistic cycles are involved and the society has at least 9 individuals, necessary and sufficient conditions are presented which are merely restricted on the preferences of those individuals except the cycle members. Based on the work due to Slutsky (1977) and Gaertner \& Heinecke (1978), we then outline a conceptual $\hat{O}\mbox{-}\hat{I}$ framework of social transitivity in an axiomatic manner. Connections between some already identified conditions and the $\hat{O}\mbox{-}\hat{I}$ framework is examined.


title: Spin Dynamics, Loop Formation and Cooperative Reversal in Artificial Quasicrystals with Tailored Exchange Coupling

abstract: Aperiodicity and un-conventional rotational symmetries allow quasicrystalline structures to exhibit unprecedented physical and functional properties. In magnetism, artificial ferromagnetic quasicrystals exhibited knee anomalies suggesting reprogrammable magnetic properties via nonstochastic switching. However, the decisive roles of short-range exchange and long-range dipolar interactions have not yet been clarified for optimized reconfigurable functionality. We report broadband spin-wave spectroscopy and X-ray photoemission electron microscopy on different quasicrystal lattices consisting of ferromagnetic Ni81Fe19 nanobars arranged on aperiodic Penrose and Ammann tilings with different exchange and dipolar interactions. We imaged the magnetic states of partially reversed quasicrystals and analyzed their configurations in terms of the charge model, geometrical frustration and the formation of flux-closure loops. Only the exchange-coupled lattices are found to show aperiodicity-specific collective phenomena and non-stochastic switching. Both, exchange and dipolarly coupled quasicrystals show magnonic excitations with narrow linewidths in minor loop measurements. Thereby reconfigurable functionalities in spintronics and magnonics become realistic.


title: ROP inception: signal estimation with quadratic random sketching

abstract: Rank-one projections (ROP) of matrices and quadratic random sketching of signals support several data processing and machine learning methods, as well as recent imaging applications, such as phase retrieval or optical processing units. In this paper, we demonstrate how signal estimation can be operated directly through such quadratic sketches--equivalent to the ROPs of the "lifted signal" obtained as its outer product with itself--without explicitly reconstructing that signal. Our analysis relies on showing that, up to a minor debiasing trick, the ROP measurement operator satisfies a generalised sign product embedding (SPE) property. In a nutshell, the SPE shows that the scalar product of a signal sketch with the "sign" of the sketch of a given pattern approximates the square of the projection of that signal on this pattern. This thus amounts to an insertion (an "inception") of a ROP model inside a ROP sketch. The effectiveness of our approach is evaluated in several synthetic experiments.


title: The Bernstein-Gelfand Tensor Product Functor and the Weight-2 Eisenstein Series

abstract: The Bernstein-Gelfand tensor product functors are endofunctors of the category of Harish-Chandra modules provided by tensor products with finite dimensional modules. We provide an automorphic analogue of these tensor product functors, implemented by vector-valued automorphic representations that are trivial at all finite places. They naturally explain the role of vector-valued modular forms in recent work by Bringmann-Kudla on Harish-Chandra modules associated with harmonic weak Maa\ss{} forms. We give a detailed account of the image $\mathrm{sym}^1 \otimes \varpi(E_2)$ of the automorphic representation $\varpi(E_2)$ generated by the Eisenstein series of weight $2$ under one of those tensor product functors. This builds upon work by Roy-Schmidt-Yi, who recently determined the structure of $\varpi(E_2)$. They found that $\varpi(E_2)$ does not decompose as a restricted tensor product over all places of $\mathbb{Q}$, while we discover that $\mathrm{sym}^1 \otimes \varpi(E_2)$ has a direct summand that does. This summand corresponds to a holomorphic and modular, vector-valued analogue of $E_2$. The complement in $\mathrm{sym}^1 \otimes \varpi(E_2)$ arises from one of the vector-valued examples in the work of Bringmann-Kudla. Our approach allows us to determine its structure at the finite places.


title: A NuSTAR and Swift View of the Hard State of MAXI J1813-095

abstract: We present an analysis of the NuSTAR and Swift spectra of the black hole candidate MAXI J1813-095 in a failed-transition outburst in 2018. The NuSTAR observations show evidence of reflected emission from the inner region of the accretion disc. By modelling the reflection component in the spectra, we find a disc inner radius of $R_{\rm in}<7$ $r_{\rm g}$. This result suggests that either a slightly truncated disc or a non-truncated disc forms at a few percent of the Eddington limit in MAXI J1813-095. Our best-fit reflection models indicate that the geometry of the innermost accretion remains consistent during the period of NuSTAR observations. The spectral variability of MAXI J1813-095 from multi-epoch observations is dominated by the variable photon index of the Comptonisation emission.


title: NNLO anomalous dimension matrix for twist-two flavor-singlet operators

abstract: Conformal symmetry of QCD is restored at the Wilson-Fisher critical point in noninteger $4-2\epsilon$ space-time dimensions. Correlation functions of multiplicatively renormalizable operators with different anomalous dimensions at the critical point vanish identically. We show that this property allows one to calculate off-diagonal parts of the anomalous dimension matrices for leading-twist operators from a set of two-point correlation functions of gauge-invariant operators which can be evaluated using standard computer algebra techniques. As an illustration, we present the results for the NNLO anomalous dimension matrix for flavor-singlet QCD operators for spin $N\le 8$.


title: A Re-examination of Ellipticity Corrections for Seismic Phases

abstract: The Earth's ellipticity of figure has an effect on the travel times of seismic waves over teleseismic distances. Tables of ellipticity corrections and coefficients have been used by seismologists for several decades, however due to the increasing variety and complexity of seismic phases in use, current tables of ellipticity coefficients are now outmoded and incomplete. We present a Python package, EllipticiPy, for the calculation of ellipticity corrections that removes the dependence on pre-calculated coefficients at discrete source depths and epicentral distances. EllipticiPy also facilitates the calculation of ellipticity corrections on other planetary bodies. When applied to both Earth and Mars, the magnitudes of ellipticity corrections are on the order of single seconds and are significant for some seismic studies on Earth but remain negligible on Mars due to other greater sources of uncertainty.


title: Centralisers, complex reflection groups and actions in the Weyl group $E_6$

abstract: The compact, connected Lie group $E_6$ admits two forms: simply connected and adjoint type. As we previously established, the Baum-Connes isomorphism relates the two Langlands dual forms, giving a duality between the equivariant K-theory of the Weyl group acting on the corresponding maximal tori. Our study of the $A_n$ case showed that this duality persists at the level of homotopy, not just homology. In this paper we compute the extended quotients of maximal tori for the two forms of $E_6$, showing that the homotopy equivalences of sectors established in the $A_n$ case also exist here, leading to a conjecture that the homotopy equivalences always exist for Langlands dual pairs. In computing these sectors we show that centralisers in the $E_6$ Weyl group decompose as direct products of reflection groups, generalising Springer's results for regular elements, and we develop a pairing between the component groups of fixed sets generalising Reeder's results. As a further application we compute the $K$-theory of the reduced Iwahori-spherical $C^*$-algebra of the p-adic group $E_6$, which may be of adjoint type or simply connected.


title: Hyper-Learning for Gradient-Based Batch Size Adaptation

abstract: Scheduling the batch size to increase is an effective strategy to control gradient noise when training deep neural networks. Current approaches implement scheduling heuristics that neglect structure within the optimization procedure, limiting their flexibility to the training dynamics and capacity to discern the impact of their adaptations on generalization. We introduce Arbiter as a new hyperparameter optimization algorithm to perform batch size adaptations for learnable scheduling heuristics using gradients from a meta-objective function, which overcomes previous heuristic constraints by enforcing a novel learning process called hyper-learning. With hyper-learning, Arbiter formulates a neural network agent to generate optimal batch size samples for an inner deep network by learning an adaptive heuristic through observing concomitant responses over T inner descent steps. Arbiter avoids unrolled optimization, and does not require hypernetworks to facilitate gradients, making it reasonably cheap, simple to implement, and versatile to different tasks. We demonstrate Arbiter's effectiveness in several illustrative experiments: to act as a stand-alone batch size scheduler; to complement fixed batch size schedules with greater flexibility; and to promote variance reduction during stochastic meta-optimization of the learning rate.


title: LogicSolver: Towards Interpretable Math Word Problem Solving with Logical Prompt-enhanced Learning

abstract: Recently, deep learning models have made great progress in MWP solving on answer accuracy. However, they are uninterpretable since they mainly rely on shallow heuristics to achieve high performance without understanding and reasoning the grounded math logic. To address this issue and make a step towards interpretable MWP solving, we first construct a high-quality MWP dataset named InterMWP which consists of 11,495 MWPs and annotates interpretable logical formulas based on algebraic knowledge as the grounded linguistic logic of each solution equation. Different from existing MWP datasets, our InterMWP benchmark asks for a solver to not only output the solution expressions but also predict the corresponding logical formulas. We further propose a novel approach with logical prompt and interpretation generation, called LogicSolver. For each MWP, our LogicSolver first retrieves some highly-correlated algebraic knowledge and then passes them to the backbone model as prompts to improve the semantic representations of MWPs. With these improved semantic representations, our LogicSolver generates corresponding solution expressions and interpretable knowledge formulas in accord with the generated solution expressions, simultaneously. Experimental results show that our LogicSolver has stronger logical formula-based interpretability than baselines while achieving higher answer accuracy with the help of logical prompts, simultaneously. The source code and dataset is available at https://github.com/yangzhch6/InterMWP.


title: Towards understanding the central limit theorem by learning Python basics

abstract: We report on a first experiment about an email based course that connects learning Python basics and introductory probability theory. In the experiment 7 short sequences of homework were sent out to prospective mathematics teachers who did not have any programming background formerly, but already had some minor knowledge on probability theory. The experiment was about to decide if learning basics of programming can promote understanding main concepts of probability theory.


title: Delaytron: Efficient Learning of Multiclass Classifiers with Delayed Bandit Feedbacks

abstract: In this paper, we present online algorithm called {\it Delaytron} for learning multi class classifiers using delayed bandit feedbacks. The sequence of feedback delays $\{d_t\}_{t=1}^T$ is unknown to the algorithm. At the $t$-th round, the algorithm observes an example $\mathbf{x}_t$ and predicts a label $\tilde{y}_t$ and receives the bandit feedback $\mathbb{I}[\tilde{y}_t=y_t]$ only $d_t$ rounds later. When $t+d_t>T$, we consider that the feedback for the $t$-th round is missing. We show that the proposed algorithm achieves regret of $\mathcal{O}\left(\sqrt{\frac{2 K}{\gamma}\left[\frac{T}{2}+\left(2+\frac{L^2}{R^2\Vert \W\Vert_F^2}\right)\sum_{t=1}^Td_t\right]}\right)$ when the loss for each missing sample is upper bounded by $L$. In the case when the loss for missing samples is not upper bounded, the regret achieved by Delaytron is $\mathcal{O}\left(\sqrt{\frac{2 K}{\gamma}\left[\frac{T}{2}+2\sum_{t=1}^Td_t+\vert \mathcal{M}\vert T\right]}\right)$ where $\mathcal{M}$ is the set of missing samples in $T$ rounds. These bounds were achieved with a constant step size which requires the knowledge of $T$ and $\sum_{t=1}^Td_t$. For the case when $T$ and $\sum_{t=1}^Td_t$ are unknown, we use a doubling trick for online learning and proposed Adaptive Delaytron. We show that Adaptive Delaytron achieves a regret bound of $\mathcal{O}\left(\sqrt{T+\sum_{t=1}^Td_t}\right)$. We show the effectiveness of our approach by experimenting on various datasets and comparing with state-of-the-art approaches.