title: Use of Formal Ethical Reviews in NLP Literature: Historical Trends and Current Practices

abstract: Ethical aspects of research in language technologies have received much attention recently. It is a standard practice to get a study involving human subjects reviewed and approved by a professional ethics committee/board of the institution. How commonly do we see mention of ethical approvals in NLP research? What types of research or aspects of studies are usually subject to such reviews? With the rising concerns and discourse around the ethics of NLP, do we also observe a rise in formal ethical reviews of NLP studies? And, if so, would this imply that there is a heightened awareness of ethical issues that was previously lacking? We aim to address these questions by conducting a detailed quantitative and qualitative analysis of the ACL Anthology, as well as comparing the trends in our field to those of other related disciplines, such as cognitive science, machine learning, data mining, and systems.


title: On existence and uniqueness of asymptotic $N$-soliton-like solutions of the nonlinear klein-gordon equation

abstract: We are interested in solutions of the nonlinear Klein-Gordon equation (NLKG) in $\mathbb{R}^{1+d}$, $d\ge1$, which behave as a soliton or a sum of solitons in large time. In the spirit of other articles focusing on the supercritical generalized Korteweg-de Vries equations and on the nonlinear Schr{\"o}dinger equations, we obtain an $N$-parameter family of solutions of (NLKG) which converges exponentially fast to a sum of given (unstable) solitons. For $N = 1$, this family completely describes the set of solutions converging to the soliton considered; for $N\ge 2$, we prove uniqueness in a class with explicit algebraic rate of convergence.


title: Compressible test-field method and its application to shear dynamos

abstract: In this study we present a compressible test-field method (CTFM) for computing $\alpha$ effect and turbulent magnetic diffusivity tensors, as well as those relevant for mean ponderomotive force and mass source, applied to the full MHD equations. We describe the theoretical background of the method, and compare it to the quasi-kinematic test-field method, and to the previously studied variant working in simplified MHD (SMHD). We present several test cases using velocity and magnetic fields of the Roberts geometry, and also compare with the imposed-field method. We show that, for moderate imposed field strengths, the nonlinear CTFM (nCTFM) gives results in agreement with the imposed-field method. Comparison of different flavors of the nCTFM in the shear dynamo case also agree up to equipartition field strengths. Some deviations between the CTFM and SMHD variants exist. As a relevant physical application, we study non-helically forced shear flows, which exhibit large-scale dynamo action, and present a re-analysis of low Reynolds number, moderate shear systems, where we previously neglected the pressure gradient in the momentum equation, and found no coherent shear-current effect. Another key difference is that in the earlier study we used magnetic forcing to mimic small-scale dynamo action, while here it is self-consistently driven by purely kinetic forcing. The kinematic CTFM with general validity forms the core of our analysis. We still find no coherent shear-current effect, but do recover strong large-scale dynamo action that, according to our analysis, is driven through the incoherent effects.


title: Efficient Deterministic Leader Election for Programmable Matter

abstract: It was suggested that a programmable matter system (composed of multiple computationally weak mobile particles) should remain connected at all times since otherwise, reconnection is difficult and may be impossible. At the same time, it was not clear that allowing the system to disconnect carried a significant advantage in terms of time complexity. We demonstrate for a fundamental task, that of leader election, an algorithm where the system disconnects and then reconnects automatically in a non-trivial way (particles can move far away from their former neighbors and later reconnect to others). Moreover, the runtime of the temporarily disconnecting deterministic leader election algorithm is linear in the diameter. Hence, the disconnecting -- reconnecting algorithm is as fast as previous randomized algorithms. When comparing to previous deterministic algorithms, we note that some of the previous work assumed weaker schedulers. Still, the runtime of all the previous deterministic algorithms that did not assume special shapes of the particle system (shapes with no holes) was at least quadratic in $n$, where $n$ is the number of particles in the system. (Moreover, the new algorithm is even faster in some parameters than the deterministic algorithms that did assume special initial shapes.) Since leader election is an important module in algorithms for various other tasks, the presented algorithm can be useful for speeding up other algorithms under the assumption of a strong scheduler. This leaves open the question: "can a deterministic algorithm be as fast as the randomized ones also under weaker schedulers?"


title: Improvement over Pinball Loss Support Vector Machine

abstract: Recently, there have been several papers that discuss the extension of the Pinball loss Support Vector Machine (Pin-SVM) model, originally proposed by Huang et al.,[1][2]. Pin-SVM classifier deals with the pinball loss function, which has been defined in terms of the parameter $\tau$. The parameter $\tau$ can take values in $[ -1,1]$. The existing Pin-SVM model requires to solve the same optimization problem for all values of $\tau$ in $[ -1,1]$. In this paper, we improve the existing Pin-SVM model for the binary classification task. At first, we note that there is major difficulty in Pin-SVM model (Huang et al. [1]) for $ -1 \leq \tau < 0$. Specifically, we show that the Pin-SVM model requires the solution of different optimization problem for $ -1 \leq \tau < 0$. We further propose a unified model termed as Unified Pin-SVM which results in a QPP valid for all $-1\leq \tau \leq 1$ and hence more convenient to use. The proposed Unified Pin-SVM model can obtain a significant improvement in accuracy over the existing Pin-SVM model which has also been empirically justified by extensive numerical experiments with real-world datasets.


title: A Robust Controller for Stable 3D Pinching using Tactile Sensing

abstract: This paper proposes a controller for stable grasping of unknown-shaped objects by two robotic fingers with tactile fingertips. The grasp is stabilised by rolling the fingertips on the contact surface and applying a desired grasping force to reach an equilibrium state. The validation is both in simulation and on a fully-actuated robot hand (the Shadow Modular Grasper) fitted with custom-built optical tactile sensors (based on the BRL TacTip). The controller requires the orientations of the contact surfaces, which are estimated by regressing a deep convolutional neural network over the tactile images. Overall, the grasp system is demonstrated to achieve stable equilibrium poses on various objects ranging in shape and softness, with the system being robust to perturbations and measurement errors. This approach also has promise to extend beyond grasping to stable in-hand object manipulation with multiple fingers.


title: Deep Learning based Full-reference and No-reference Quality Assessment Models for Compressed UGC Videos

abstract: In this paper, we propose a deep learning based video quality assessment (VQA) framework to evaluate the quality of the compressed user's generated content (UGC) videos. The proposed VQA framework consists of three modules, the feature extraction module, the quality regression module, and the quality pooling module. For the feature extraction module, we fuse the features from intermediate layers of the convolutional neural network (CNN) network into final quality-aware feature representation, which enables the model to make full use of visual information from low-level to high-level. Specifically, the structure and texture similarities of feature maps extracted from all intermediate layers are calculated as the feature representation for the full reference (FR) VQA model, and the global mean and standard deviation of the final feature maps fused by intermediate feature maps are calculated as the feature representation for the no reference (NR) VQA model. For the quality regression module, we use the fully connected (FC) layer to regress the quality-aware features into frame-level scores. Finally, a subjectively-inspired temporal pooling strategy is adopted to pool frame-level scores into the video-level score. The proposed model achieves the best performance among the state-of-the-art FR and NR VQA models on the Compressed UGC VQA database and also achieves pretty good performance on the in-the-wild UGC VQA databases.


title: DynaEval: Unifying Turn and Dialogue Level Evaluation

abstract: A dialogue is essentially a multi-turn interaction among interlocutors. Effective evaluation metrics should reflect the dynamics of such interaction. Existing automatic metrics are focused very much on the turn-level quality, while ignoring such dynamics. To this end, we propose DynaEval, a unified automatic evaluation framework which is not only capable of performing turn-level evaluation, but also holistically considers the quality of the entire dialogue. In DynaEval, the graph convolutional network (GCN) is adopted to model a dialogue in totality, where the graph nodes denote each individual utterance and the edges represent the dependency between pairs of utterances. A contrastive loss is then applied to distinguish well-formed dialogues from carefully constructed negative samples. Experiments show that DynaEval significantly outperforms the state-of-the-art dialogue coherence model, and correlates strongly with human judgements across multiple dialogue evaluation aspects at both turn and dialogue level.


title: Retrieval of photon blockade effect in the dispersive Jaynes-Cummings model

abstract: We propose a reliable scheme to recover the conventional photon blockade effect in the dispersive Jaynes-Cummings model, which describes a two-level atom coupled to a single-mode cavity field in the large-detuning regime. This is achieved by introducing a transversal driving to the atom and then photonic nonlinearity is obtained. The eigenenergy spectrum of the system is derived analytically and the photon blockade effect is confirmed by numerically calculating the photon-number distributions and equal-time second-order correlation function of the cavity field in the presence of system dissipations. We find that the conventional photon blockade effect can be recovered at proper atomic and cavity-field drivings. This work will provide a method to generate the conventional photon blockade effect in the dispersively coupled quantum optical systems.


title: Design and Comparison of Reward Functions in Reinforcement Learning for Energy Management of Sensor Nodes

abstract: Interest in remote monitoring has grown thanks to recent advancements in Internet-of-Things (IoT) paradigms. New applications have emerged, using small devices called sensor nodes capable of collecting data from the environment and processing it. However, more and more data are processed and transmitted with longer operational periods. At the same, the battery technologies have not improved fast enough to cope with these increasing needs. This makes the energy consumption issue increasingly challenging and thus, miniaturized energy harvesting devices have emerged to complement traditional energy sources. Nevertheless, the harvested energy fluctuates significantly during the node operation, increasing uncertainty in actually available energy resources. Recently, approaches in energy management have been developed, in particular using reinforcement learning approaches. However, in reinforcement learning, the algorithm's performance relies greatly on the reward function. In this paper, we present two contributions. First, we explore five different reward functions to identify the most suitable variables to use in such functions to obtain the desired behaviour. Experiments were conducted using the Q-learning algorithm to adjust the energy consumption depending on the energy harvested. Results with the five reward functions illustrate how the choice thereof impacts the energy consumption of the node. Secondly, we propose two additional reward functions able to find the compromise between energy consumption and a node performance using a non-fixed balancing parameter. Our simulation results show that the proposed reward functions adjust the node's performance depending on the battery level and reduce the learning time.


title: Efficient and Expressive Bytecode-Level Instrumentation for Java Programs

abstract: We present an efficient and expressive tool for the instrumentation of Java programs at the bytecode-level. BISM (Bytecode-Level Instrumentation for Software Monitoring) is a light-weight Java bytecode instrumentation tool that features an expressive high-level control-flow-aware instrumentation language. The language is inspired by the aspect-oriented programming paradigm in modularizing instrumentation into separate transformers, that encapsulate joinpoint selection and advice inlining. BISM allows capturing joinpoints ranging from bytecode instructions to methods execution and provides comprehensive static and dynamic context information. It runs in two instrumentation modes: build-time and load-time. BISM also provides a mechanism to compose transformers and automatically detect their collision in the base program. Transformers in a composition can control the visibility of their advice and other instructions from the base program. We show several example applications for BISM and demonstrate its effectiveness using three experiments: a security scenario, a financial transaction system, and a general runtime verification case. The results show that BISM instrumentation incurs low runtime and memory overheads.


title: MOBS (Matrices Over Bit Strings) public key exchange

abstract: We use matrices over bit strings as platforms for Diffie-Hellman-like public key exchange protocols. When multiplying matrices like that, we use Boolean OR operation on bit strings in place of addition and Boolean AND operation in place of multiplication. As a result, (1) computations with these matrices are very efficient; (2) standard methods of attacking Diffie-Hellman-like protocols are not applicable.


title: Dynamics of Disordered Mechanical Systems with Large Connectivity, Free Probability Theory, and Quasi-Hermitian Random Matrices

abstract: Disordered mechanical systems with high connectivity represent a limit opposite to the more familiar case of disordered crystals. Individual ions in a crystal are subjected essentially to nearest-neighbor interactions. In contrast, the systems studied in this paper have all their degrees of freedom coupled to each other. Thus, the problem of linearized small oscillations of such systems involves two full positive-definite and non-commuting matrices, as opposed to the sparse matrices associated with disordered crystals. Consequently, the familiar methods for determining the averaged vibrational spectra of disordered crystals, introduced many years ago by Dyson and Schmidt, are inapplicable for highly connected disordered systems. In this paper we apply random matrix theory to calculate the averaged vibrational spectra of such systems, in the limit of infinitely large system size. We calculate the average spectrum of the product of two positive definite random matrices by means of free probability theory techniques. We also show that this problem is intimately related with quasi-hermitian random matrix theory. The analytical results we obtain for the spectrum agree well with our numerical results. The latter also exhibit oscillations at the high-frequency band edge, which fit well the Airy kernel pattern. We also compute inverse participation ratios of the corresponding amplitude eigenvectors and demonstrate that they are all extended, in contrast with conventional disordered crystals. In addition to matrix model analysis, we study the vibrational spectra of various multi-segmented disordered pendula, as concrete realizations of highly connected mechanical systems. A universal feature of the density of vibration modes, common to both pendula and the matrix model, is that it tends to a non-zero constant at vanishing frequency.

categories: math-ph cond-mat.dis-nn cond-mat.stat-mech hep-th math.MP math.PR


abstract: We perform a Koopman spectral analysis of elementary cellular automata (ECA). By lifting the system dynamics using a one-hot representation of the system state, we derive a matrix representation of the Koopman operator as a transpose of the adjacency matrix of the state-transition network. The Koopman eigenvalues are either zero or on the unit circle in the complex plane, and the associated Koopman eigenfunctions can be explicitly constructed. From the Koopman eigenvalues, we can judge the reversibility, determine the number of connected components in the state-transition network, evaluate the periods of asymptotic orbits, and derive the conserved quantities for each system. We numerically calculate the Koopman eigenvalues of all rules of ECA on a one-dimensional lattice of 13 cells with periodic boundary conditions. It is shown that the spectral properties of the Koopman operator reflect Wolfram's classification of ECA.


title: Identities for the Euler polynomials, $p$-adic integrals and Witt's formula

abstract: By using Cauchy's formula, it is known that Bernoulli numbers and Euler numbers can be represented by the contour integrals \begin{equation*} \begin{aligned} B_n&=\frac{n!}{2\pi i}\oint \frac{z}{e^z-1}\frac{d z}{z^{n+1}},\label{condefi}\\[4pt] E_n&=\frac{n!}{2\pi i}\oint \frac{2e^z}{e^{2z}+1}\frac{d z}{z^{n+1}}, \end{aligned} \end{equation*} while the following Witt's formula represents Euler polynomials through the fermionic $p$-adic integrals $$E_n(a)=\int_{\mathbb Z_p}(x+a)^nd\mu_{-1}(x).$$ Base on the above Witt's identity and the binomial theorem, we prove some new identities for the Euler polynomials briefly. In particular, some symmetry properties of Euler polynomials have been discovered, which implies many interesting identities (known or unknown), including the Kaneko-Momiyama type identities (shown by Wu, Sun, and Pan) and the Alzer-Kwong type identity for Euler polynomials.


title: Two phase models for elastic membranes with soft inclusions

abstract: We derive an effective membrane theory in the thin film limit within a two phase material model for a specimen consisting of an elastic matrix and soft inclusions. The soft inclusions may lead to the formation of cracks within the elastic matrix and the corresponding limiting models are described by Griffith type fracture energy functionals. We also provide simplified proofs of relaxation results for bulk materials.


title: Connections and Equivalences between the Nystr\"om Method and Sparse Variational Gaussian Processes

abstract: We investigate the connections between sparse approximation methods for making kernel methods and Gaussian processes (GPs) scalable to large-scale data, focusing on the Nystr\"om method and the Sparse Variational Gaussian Processes (SVGP). While sparse approximation methods for GPs and kernel methods share some algebraic similarities, the literature lacks a deep understanding of how and why they are related. This may pose an obstacle to the communications between the GP and kernel communities, making it difficult to transfer results from one side to the other. Our motivation is to remove this obstacle, by clarifying the connections between the sparse approximations for GPs and kernel methods. In this work, we study the two popular approaches, the Nystr\"om and SVGP approximations, in the context of a regression problem, and establish various connections and equivalences between them. In particular, we provide an RKHS interpretation of the SVGP approximation, and show that the Evidence Lower Bound of the SVGP contains the objective function of the Nystr\"om approximation, revealing the origin of the algebraic equivalence between the two approaches. We also study recently established convergence results for the SVGP and how they are related to the approximation quality of the Nystr\"om method.


title: The regularization continuation method with an adaptive time step control for linearly constrained optimization problems

abstract: This paper considers the regularization continuation method and the trust-region updating strategy for the optimization problem with linear equality constraints.The proposed method utilizes the linear conservation law of the regularization continuation method such that it does not need to compute the correction step for preserving the feasibility other than the previous continuation methods and the quasi-Newton updating formulas for the linearly constrained optimization problem. Moreover, the new method uses the special limited-memory Broyden-Fletcher-Goldfarb-Shanno (L-BFGS) formula as the preconditioning technique to improve its computational efficiency in the well-posed phase, and it uses the inverse of the regularized two-sided projection of the Lagrangian Hessian as the pre-conditioner to improve its robustness. Numerical results also show that the new method is more robust and faster than the traditional optimization method such as the alternating direction method of multipliers (ADMM),the sequential quadratic programming (SQP) method (the built-in subroutine fmincon.m of the MATLAB2020a environment), and the recent continuation method (Ptctr). The computational time of the new method is about 1/3 of that of SQP (fmincon.m). Finally, the global convergence analysis of the new method is also given.


title: A generalization of van der Corput's Difference Theorem

abstract: We prove a generalization of van der Corput's Difference Theorem in the theory of uniform distribution by establishing a connection with unitary operators that have Lebesgue spectrum. This allows us to show, for example, that if $(x_n)_{n = 1}^\infty \subseteq [0,1]$ is such that $(x_{n+h}-x_n)_{n = 1}^\infty$ is uniformly distributed for all $h \in \mathbb{N}$, then $(x_{n_k})_{k = 1}^\infty$ is uniformly distributed, where $(n_k)_{k = 1}^\infty$ is an enumeration of the $1s$ in the classical Thue-Morse sequence. We also establish a variant of van der Corput's Difference Theorem that is connected to unitary operators with continuous spectrum. Lastly, we obtain a new characterization of those sequence $(x_n)_{n = 1}^\infty \subseteq [0,1]$ for which $(x_{n+h},x_n)_{n = 1}^\infty$ is uniformly distributed in $[0,1]^2$ for all $h \in \mathbb{N}$.


title: Opening the Black Box of Deep Neural Networks in Physical Layer Communication

abstract: Deep Neural Network (DNN)-based physical layer techniques are attracting considerable interest due to their potential to enhance communication systems. However, most studies in the physical layer have tended to focus on the application of DNN models to wireless communication problems but not to theoretically understand how does a DNN work in a communication system. In this paper, we aim to quantitatively analyze why DNNs can achieve comparable performance in the physical layer comparing with traditional techniques and their cost in terms of computational complexity. We further investigate and also experimentally validate how information is flown in a DNN-based communication system under the information theoretic concepts.


title: Interpolation and linear prediction of data -- three kernel selection criteria

abstract: Interpolation and prediction have been useful approaches in modeling data in many areas of applications. The aim of this paper is the prediction of the next value of a time series (time series forecasting) using the techniques in interpolation of the spatial data, for the tow approaches kernel interpolation and kriging. We are interested in finding some sufficient conditions for the kernels and provide a detailed analyse of the prediction using kernel interpolation. Finally, we provide a natural idea to select a good kernel among a given family of kernels using only the data. We illustrate our results by application to the data set on the mean annual temperature of France and Morocco recorded for a period of 115 years (1901 to 2015).


title: Objective rates as covariant derivatives on the manifold of Riemannian metrics

abstract: The subject of so-called objective derivatives (in Continuum Mechanics) has a long history and is somehow controversial. Several works concern the formulation of the correct mathematical definition of what they are really and try to unify them all into one definition (or one family). In this paper, we show, finally, that all of them correspond in fact to covariant derivatives on the infinite dimensional manifold Met(B) of all Riemannian metrics on the body. Moreover, a natural Leibniz rule, which allows to define an objective derivative on contravariant tensor fields given one on covariant tensor fields and vice versa makes the distinction between those of them who are of "Lie type" or of "co-rotational type" useless. We calculate furthermore, for an exhaustive list of objective derivatives found in the literature, the corresponding covariant derivative on Met(B).


title: Towards Robust Classification Model by Counterfactual and Invariant Data Generation

abstract: Despite the success of machine learning applications in science, industry, and society in general, many approaches are known to be non-robust, often relying on spurious correlations to make predictions. Spuriousness occurs when some features correlate with labels but are not causal; relying on such features prevents models from generalizing to unseen environments where such correlations break. In this work, we focus on image classification and propose two data generation processes to reduce spuriousness. Given human annotations of the subset of the features responsible (causal) for the labels (e.g. bounding boxes), we modify this causal set to generate a surrogate image that no longer has the same label (i.e. a counterfactual image). We also alter non-causal features to generate images still recognized as the original labels, which helps to learn a model invariant to these features. In several challenging datasets, our data generations outperform state-of-the-art methods in accuracy when spurious correlations break, and increase the saliency focus on causal features providing better explanations.


title: Linear-Time Gromov Wasserstein Distances using Low Rank Couplings and Costs

abstract: The ability to align points across two related yet incomparable point clouds (e.g. living in different spaces) plays an important role in machine learning. The Gromov-Wasserstein (GW) framework provides an increasingly popular answer to such problems, by seeking a low-distortion, geometry-preserving assignment between these points. As a non-convex, quadratic generalization of optimal transport (OT), GW is NP-hard. While practitioners often resort to solving GW approximately as a nested sequence of entropy-regularized OT problems, the cubic complexity (in the number $n$ of samples) of that approach is a roadblock. We show in this work how a recent variant of the OT problem that restricts the set of admissible couplings to those having a low-rank factorization is remarkably well suited to the resolution of GW: when applied to GW, we show that this approach is not only able to compute a stationary point of the GW problem in time $O(n^2)$, but also uniquely positioned to benefit from the knowledge that the initial cost matrices are low-rank, to yield a linear time $O(n)$ GW approximation. Our approach yields similar results, yet orders of magnitude faster computation than the SoTA entropic GW approaches, on both simulated and real data.


title: Band Depth based initialization of $k$-Means for functional data clustering

abstract: The $k$-Means algorithm is one of the most popular choices for clustering data but is well-known to be sensitive to the initialization process. There is a substantial number of methods that aim at finding optimal initial seeds for $k$-Means, though none of them are universally valid. This paper presents an extension to longitudinal data of one of such methods, the BRIk algorithm, that relies on clustering a set of centroids derived from bootstrap replicates of the data and on the use of the versatile Modified Band Depth. In our approach we improve the BRIk method by adding a step where we fit appropriate B-splines to our observations and a resampling process that allows computational feasibility and handling issues such as noise or missing data. Our results with simulated and real data sets indicate that our $F$unctional Data $A$pproach to the BRIK method (FABRIk) is more effective than previous proposals at providing seeds to initialize $k$-Means in terms of clustering recovery.


title: Mitigation of rare events in multistable systems driven by correlated noise

abstract: We consider rare transitions induced by colored noise excitation in multistable systems. We show that undesirable transitions can be mitigated by a simple time-delay feedback control if the control parameters are judiciously chosen. We devise a parsimonious method for selecting the optimal control parameters, without requiring any Monte Carlo simulations of the system. This method relies on a new nonlinear Fokker-Planck equation whose stationary response distribution is approximated by a rapidly convergent iterative algorithm. In addition, our framework allows us to accurately predict, and subsequently suppress, the modal drift and tail inflation in the controlled stationary distribution. We demonstrate the efficacy of our method on two examples, including an optical laser model perturbed by multiplicative colored noise.


title: Performance and Usability of Visual and Verbal Verification of Word-based Key Fingerprints

abstract: The security of messaging applications against person-in-the-middle attacks relies on the authenticity of the exchanged keys. For users unable to meet in person, a manual key fingerprint verification is necessary to ascertain key authenticity. Such fingerprints can be exchanged visually or verbally, and it is not clear in which condition users perform best. This paper reports the results of a 62-participant study that investigated differences in performance and perceived usability of visual and verbal comparisons of word-based key fingerprints, and the influence of the individual's cognitive learning style. The results show visual comparisons to be more effective against non-security critical errors and are perceived to provide increased confidence, yet participants perceive verbal comparisons to be easier and require less mental effort. Besides, limited evidence was found on the influence of the individual's learning style on their performance.


title: Benchmarking CNN on 3D Anatomical Brain MRI: Architectures, Data Augmentation and Deep Ensemble Learning

abstract: Deep Learning (DL) and specifically CNN models have become a de facto method for a wide range of vision tasks, outperforming traditional machine learning (ML) methods. Consequently, they drew a lot of attention in the neuroimaging field in particular for phenotype prediction or computer-aided diagnosis. However, most of the current studies often deal with small single-site cohorts, along with a specific pre-processing pipeline and custom CNN architectures, which make them difficult to compare to. We propose an extensive benchmark of recent state-of-the-art (SOTA) 3D CNN, evaluating also the benefits of data augmentation and deep ensemble learning, on both Voxel-Based Morphometry (VBM) pre-processing and quasi-raw images. Experiments were conducted on a large multi-site 3D brain anatomical MRI data-set comprising N=10k scans on 3 challenging tasks: age prediction, sex classification, and schizophrenia diagnosis. We found that all models provide significantly better predictions with VBM images than quasi-raw data. This finding evolved as the training set approaches 10k samples where quasi-raw data almost reach the performance of VBM. Moreover, we showed that linear models perform comparably with SOTA CNN on VBM data. We also demonstrated that DenseNet and tiny-DenseNet, a lighter version that we proposed, provide a good compromise in terms of performance in all data regime. Therefore, we suggest to employ them as the architectures by default. Critically, we also showed that current CNN are still very biased towards the acquisition site, even when trained with N=10k multi-site images. In this context, VBM pre-processing provides an efficient way to limit this site effect. Surprisingly, we did not find any clear benefit from data augmentation techniques. Finally, we proved that deep ensemble learning is well suited to re-calibrate big CNN models without sacrificing performance.


title: MgPd$_2$Sb -- the first Mg-based Heusler-type superconductor

abstract: We report the synthesis and physical properties of a full Heusler compound, MgPd$_2$Sb, which we found to show superconductivity below $T_c$ = 2.2 K. MgPd$_2$Sb was obtained by a two-step solid-state reaction method and its purity and cubic crystal structure (Fm-3m, a=6.4523(1) \r{A}) were confirmed by powder x-ray diffraction. Normal and superconducting states were studied by electrical resistivity, magnetic susceptibility, and heat capacity measurements. The results show that MgPd$_2$Sb is a type-II, weak coupling superconductor ($\lambda_{e-p}$ = 0.53). The observed pressure dependence of $T_c$ ($\Delta T_c / p \approx $ -0.23 K/GPa) is one of the strongest reported for a superconducting Heusler compound. The electronic structure, phonons, and electron-phonon coupling in MgPd$_2$Sb were theoretically investigated. The obtained results are in agreement with the experiment, confirming the electron-phonon coupling mechanism of superconductivity. We compare the superconducting parameters tothose of all reported Heusler-type superconductors.


title: Smooth Q-learning: Accelerate Convergence of Q-learning Using Similarity

abstract: An improvement of Q-learning is proposed in this paper. It is different from classic Q-learning in that the similarity between different states and actions is considered in the proposed method. During the training, a new updating mechanism is used, in which the Q value of the similar state-action pairs are updated synchronously. The proposed method can be used in combination with both tabular Q-learning function and deep Q-learning. And the results of numerical examples illustrate that compared to the classic Q-learning, the proposed method has a significantly better performance.


title: MNL-Bandit with Knapsacks: a near-optimal algorithm

abstract: We consider a dynamic assortment selection problem where a seller has a fixed inventory of $N$ substitutable products and faces an unknown demand that arrives sequentially over $T$ periods. In each period, the seller needs to decide on the assortment of products (satisfying certain constraints) to offer to the customers. The customer's response follows an unknown multinomial logit model (MNL) with parameter $\boldsymbol{v}$. If customer selects product $i \in [N]$, the seller receives revenue $r_i$. The goal of the seller is to maximize the total expected revenue from the $T$ customers given the fixed initial inventory of $N$ products. We present MNLwK-UCB, a UCB-based algorithm and characterize its regret under different regimes of inventory size. We show that when the inventory size grows quasi-linearly in time, MNLwK-UCB achieves a $\tilde{O}(N + \sqrt{NT})$ regret bound. We also show that for a smaller inventory (with growth $\sim T^{\alpha}$, $\alpha < 1$), MNLwK-UCB achieves a $\tilde{O}(N(1 + T^{\frac{1 - \alpha}{2}}) + \sqrt{NT})$. In particular, over a long time horizon $T$, the rate $\tilde{O}(\sqrt{NT})$ is always achieved regardless of the constraints and the size of the inventory.


title: Some remarks on even-hole-free graphs

abstract: A vertex of a graph is bisimplicial if the set of its neighbors is the union of two cliques; a graph is quasi-line if every vertex is bisimplicial. A recent result of Chudnovsky and Seymour asserts that every non-empty even-hole-free graph has a bisimplicial vertex. Both Hadwiger's conjecture and the Erd\H{o}s-Lov\'asz Tihany conjecture have been shown to be true for quasi-line graphs, but are open for even-hole-free graphs. In this note, we prove that for all $k\ge7$, every even-hole-free graph with no $K_k$ minor is $(2k-5)$-colorable; every even-hole-free graph $G$ with $\omega(G)<\chi(G)=s+t-1$ satisfies the Erd\H{o}s-Lov\'asz Tihany conjecture provided that $ t\ge s> \chi(G)/3$. Furthermore, we prove that every $9$-chromatic graph $G$ with $\omega(G)\le 8$ has a $K_4\cup K_6$ minor. Our proofs rely heavily on the structural result of Chudnovsky and Seymour on even-hole-free graphs.


title: Cosmological evolution in $f(T,B)$ gravity

abstract: For the fourth-order teleparallel $f\left(T,B\right) $ theory of gravity, we investigate the cosmological evolution for the universe in the case of a spatially flat Friedmann--Lema\^{\i}tre--Robertson--Walker background space. We focus on the case for which $f\left(T,B\right) $ is separable, that is, $f\left(T,B\right) _{,TB}=0$ and $f\left(T,B\right) $ is a nonlinear function on the scalars $T$ and $B$. For this fourth-order theory we use a Lagrange multiplier to introduce a scalar field function which attributes the higher-order derivatives. In order to perform the analysis of the dynamics we use dimensionless variables which allow the Hubble function to change sign. The stationary points of the dynamical system are investigated both in the finite and infinite regimes. The physical properties of the asymptotic solutions and their stability characteristics are discussed.


title: Learning neural network potentials from experimental data via Differentiable Trajectory Reweighting

abstract: In molecular dynamics (MD), neural network (NN) potentials trained bottom-up on quantum mechanical data have seen tremendous success recently. Top-down approaches that learn NN potentials directly from experimental data have received less attention, typically facing numerical and computational challenges when backpropagating through MD simulations. We present the Differentiable Trajectory Reweighting (DiffTRe) method, which bypasses differentiation through the MD simulation for time-independent observables. Leveraging thermodynamic perturbation theory, we avoid exploding gradients and achieve around 2 orders of magnitude speed-up in gradient computation for top-down learning. We show effectiveness of DiffTRe in learning NN potentials for an atomistic model of diamond and a coarse-grained model of water based on diverse experimental observables including thermodynamic, structural and mechanical properties. Importantly, DiffTRe also generalizes bottom-up structural coarse-graining methods such as iterative Boltzmann inversion to arbitrary potentials. The presented method constitutes an important milestone towards enriching NN potentials with experimental data, particularly when accurate bottom-up data is unavailable.


title: How Flexible is Your Computing System

abstract: In literature computer architectures are frequently claimed to be highly flexible, typically implying there exist trade-offs between flexibility and performance or energy efficiency. Processor flexibility, however, is not very sharply defined, and as such these claims can not be validated, nor can such hypothetical relations be fully understood and exploited in the design of computing systems. This paper is an attempt to introduce scientific rigour to the notion of flexibility in computing systems.


title: semopy 2: A Structural Equation Modeling Package with Random Effects in Python

abstract: Structural Equation Modeling (SEM) is an umbrella term that includes numerous multivariate statistical techniques that are employed throughout a plethora of research areas, ranging from social to natural sciences. Until recently, SEM software was either commercial or restricted to niche languages, and the lack of SEM packages compatible with more mainstream programming languages was dire. To combat that, we introduced a Python package semopy 1 that surpassed other state-of-the-art software in terms of performance and estimation accuracy. Yet, it was lacking in functionality and its usage was burdened with unnecessary boilerplate code. Here, we introduce a complete overhaul of semopy that improves upon the previous results and comes with lots of new capabilities. Furthermore, we propose a novel SEM model that combines in itself a notion of random effects from linear mixed models (LMMs) to model numerous phenomena, such as spatial data, time series or population stratification in genetics.


title: The Generalization of the Periodic Orbit Dividing Surface in Hamiltonian Systems with three or more degrees of freedom -- I

abstract: We present a method that generalizes the periodic orbit dividing surface construction for Hamiltonian systems with three or more degrees of freedom. We construct a torus using as a basis a periodic orbit and we extend this to a $2n-2$ dimensional object in the $2n-1$ dimensional energy surface. We present our methods using benchmark examples for two and three degree of freedom Hamiltonian systems to illustrate the corresponding algorithm for this construction. Towards this end we use the normal form quadratic Hamiltonian system with two and three degrees of freedom. We found that the periodic orbit dividing surface can provide us the same dynamical information as the dividing surface constructed using normally hyperbolic invariant manifolds. This is significant because, in general, computations of normally hyperbolic invariant manifolds are very difficult in Hamiltonian systems with three or more degrees of freedom. However, our method avoids this computation and the only information that we need is the location of one periodic orbit.

categories: nlin.CD math-ph math.DS math.MP physics.chem-ph


title: Transition-Based Constrained DFT for the Robust and Reliable Treatment of Excitations in Supramolecular Systems

abstract: Despite the variety of available computational approaches, state-of-the-art methods for calculating excitation energies such as time-dependent density functional theory (TDDFT), are computationally demanding and thus limited to moderate system sizes. Here, we introduce a new variation of constrained DFT (CDFT), wherein the constraint corresponds to a particular transition (T), or combination of transitions, between occupied and virtual orbitals, rather than a region of the simulation space as in traditional CDFT. We compare T-CDFT with TDDFT and $\Delta$SCF results for the low lying excited states (S$_{1}$ and T$_{1}$) of a set of gas phase acene molecules and OLED emitters, as well as with reference results from the literature. At the PBE level of theory, T-CDFT outperforms $\Delta$SCF for both classes of molecules, while also proving to be more robust. For the local excitations seen in the acenes, T-CDFT and TDDFT perform equally well. For the charge-transfer (CT)-like excitations seen in the OLED molecules, T-CDFT also performs well, in contrast to the severe energy underestimation seen with TDDFT. In other words, T-CDFT is equally applicable to both local excitations and CT states, providing more reliable excitation energies at a much lower computational cost than TDDFT. T-CDFT is designed for large systems and has been implemented in the linear scaling BigDFT code. It is therefore ideally suited for exploring the effects of explicit environments on excitation energies, paving the way for future simulations of excited states in complex realistic morphologies, such as those which occur in OLED materials.


title: Accurate and Robust Deep Learning Framework for Solving Wave-Based Inverse Problems in the Super-Resolution Regime

abstract: We propose an end-to-end deep learning framework that comprehensively solves the inverse wave scattering problem across all length scales. Our framework consists of the newly introduced wide-band butterfly network coupled with a simple training procedure that dynamically injects noise during training. While our trained network provides competitive results in classical imaging regimes, most notably it also succeeds in the super-resolution regime where other comparable methods fail. This encompasses both (i) reconstruction of scatterers with sub-wavelength geometric features, and (ii) accurate imaging when two or more scatterers are separated by less than the classical diffraction limit. We demonstrate these properties are retained even in the presence of strong noise and extend to scatterers not previously seen in the training set. In addition, our network is straightforward to train requiring no restarts and has an online runtime that is an order of magnitude faster than optimization-based algorithms. We perform experiments with a variety of wave scattering mediums and we demonstrate that our proposed framework outperforms both classical inversion and competing network architectures that specialize in oscillatory wave scattering data.


title: Towards Emotional Support Dialog Systems

abstract: Emotional support is a crucial ability for many conversation scenarios, including social interactions, mental health support, and customer service chats. Following reasonable procedures and using various support skills can help to effectively provide support. However, due to the lack of a well-designed task and corpora of effective emotional support conversations, research on building emotional support into dialog systems remains untouched. In this paper, we define the Emotional Support Conversation (ESC) task and propose an ESC Framework, which is grounded on the Helping Skills Theory. We construct an Emotion Support Conversation dataset (ESConv) with rich annotation (especially support strategy) in a help-seeker and supporter mode. To ensure a corpus of high-quality conversations that provide examples of effective emotional support, we take extensive effort to design training tutorials for supporters and several mechanisms for quality control during data collection. Finally, we evaluate state-of-the-art dialog models with respect to the ability to provide emotional support. Our results show the importance of support strategies in providing effective emotional support and the utility of ESConv in training more emotional support systems.


title: Polaronic Enhancement of Second-Harmonic Generation in Lithium Niobate

abstract: Density-functional theory within a Berry-phase formulation of the dynamical polarization is used to determine the second-order susceptibility $\chi^{(2)}$ of lithium niobate (LiNbO$_3$). Defect trapped polarons and bipolarons are found to strongly enhance the nonlinear susceptibility of the material, in particular if localized at Nb$_\mathrm{V}$-V$_{\mathrm{Li}}$ defect pairs. This is essentially a consequence of the polaronic excitation resulting in relaxation-induced gap states. The occupation of these levels leads to strongly enhanced $\chi^{(2)}$ coefficients and allows for the spatial and transient modification of the second-harmonic generation of macroscopic samples.


title: Multi-stage, multi-swarm PSO for joint optimization of well placement and control

abstract: Evolutionary optimization algorithms, including particle swarm optimization (PSO), have been successfully applied in oil industry for production planning and control. Such optimization studies are quite challenging due to large number of decision variables, production scenarios, and subsurface uncertainties. In this work, a multi-stage, multi-swarm PSO (MS2PSO) is proposed to fix certain issues with canonical PSO algorithm such as premature convergence, excessive influence of global best solution, and oscillation. Multiple experiments are conducted using Olympus benchmark to compare the efficacy of algorithms. Canonical PSO hyperparameters are first tuned to prioritize exploration in early phase and exploitation in late phase. Next, a two-stage multi-swarm PSO (2SPSO) is used where multiple-swarms of the first stage collapse into a single swarm in the second stage. Finally, MS2PSO with multiple stages and multiple swarms is used in which swarms recursively collapse after each stage. Multiple swarm strategy ensures that diversity is retained within the population and multiple modes are explored. Staging ensures that local optima found during initial stage does not lead to premature convergence. Optimization test case comprises of 90 control variables and a twenty year period of flow simulation. It is observed that different algorithm designs have their own benefits and drawbacks. Multiple swarms and stages help algorithm to move away from local optima, but at the same time they may also necessitate larger number of iterations for convergence. Both 2SPSO and MS2PSO are found to be helpful for problems with high dimensions and multiple modes where greater degree of exploration is desired.


title: Pixel-integrated thin-film filter simulation and scaling trade-offs

abstract: Thin-film optical filters can nowadays be integrated onto pixels of commercial image sensors used for spectral imaging. A drawback of having more filters on an image sensor is a loss in spatial resolution which could be regained by using smaller pixels. However, this work shows that miniaturization causes a reduction in transmittance and requires a trade-off between pixel size and filter bandwidth. This is caused by diffraction and the reduced number of reflections in the filter. Analytical wave and ray optics models are developed and used for fast transmittance prediction and this is validated using a commercial spectral sensor and numerical simulations. The identified trade-off is an intrinsic limitation of pixel-integrated thin-film filter technology and the developed models will be useful tools for exploring new hardware and computational solutions.


title: Your Tribe Decides Your Vibe: Analyzing Local Popularity in the US Patent Citation Network

abstract: In many networks, the indegree of a vertex is a measure of its popularity. Past research has studied indegree distributions treating the network as a whole. In the US Patent citation network (USPCN), patents are classified into categories and subcategories. A natural question arises: How do patents gather their popularity from various (sub)categories? We analyse local indegree distributions to answer this question. The citation (indegree) of a patent within the same category indicates its internal popularity, while a cross-category citation indicates its external popularity. We analyze the internal and external indegree distributions at each level of USPCN hierarchy to learn how the internal and external popularity of patents varies across (sub)categories. We find that all (sub)categories have local preferences that decide internal and external patents' popularities. Different patents are popular in different groups: Groups C1, C2 and C3 may not agree on popular patents in C1. In general, patent popularity appears to be a highly local phenomenon with subcategories (not even categories) deciding their own popular patents independent of the other (sub)categories.


title: Exploring modality-agnostic representations for music classification

abstract: Music information is often conveyed or recorded across multiple data modalities including but not limited to audio, images, text and scores. However, music information retrieval research has almost exclusively focused on single modality recognition, requiring development of separate models for each modality. Some multi-modal works require multiple coexisting modalities given to the model as inputs, constraining the use of these models to the few cases where data from all modalities are available. To the best of our knowledge, no existing model has the ability to take inputs from varying modalities, e.g. images or sounds, and classify them into unified music categories. We explore the use of cross-modal retrieval as a pretext task to learn modality-agnostic representations, which can then be used as inputs to classifiers that are independent of modality. We select instrument classification as an example task for our study as both visual and audio components provide relevant semantic information. We train music instrument classifiers that can take both images or sounds as input, and perform comparably to sound-only or image-only classifiers. Furthermore, we explore the case when there is limited labeled data for a given modality, and the impact in performance by using labeled data from other modalities. We are able to achieve almost 70% of best performing system in a zero-shot setting. We provide a detailed analysis of experimental results to understand the potential and limitations of the approach, and discuss future steps towards modality-agnostic classifiers.


title: Feature Extraction for Functional Time Series: Theory and Application to NIR Spectroscopy Data

abstract: We propose a novel method to extract global and local features of functional time series. The global features concerning the dominant modes of variation over the entire function domain, and local features of function variations over particular short intervals within function domain, are both important in functional data analysis. Functional principal component analysis (FPCA), though a key feature extraction tool, only focus on capturing the dominant global features, neglecting highly localized features. We introduce a FPCA-BTW method that initially extracts global features of functional data via FPCA, and then extracts local features by block thresholding of wavelet (BTW) coefficients. Using Monte Carlo simulations, along with an empirical application on near-infrared spectroscopy data of wood panels, we illustrate that the proposed method outperforms competing methods including FPCA and sparse FPCA in the estimation functional processes. Moreover, extracted local features inheriting serial dependence of the original functional time series contribute to more accurate forecasts. Finally, we develop asymptotic properties of FPCA-BTW estimators, discovering the interaction between convergence rates of global and local features.


title: Towards Deeper Deep Reinforcement Learning with Spectral Normalization

abstract: In computer vision and natural language processing, innovations in model architecture that increase model capacity have reliably translated into gains in performance. In stark contrast with this trend, state-of-the-art reinforcement learning (RL) algorithms often use small MLPs, and gains in performance typically originate from algorithmic innovations. It is natural to hypothesize that small datasets in RL necessitate simple models to avoid overfitting; however, this hypothesis is untested. In this paper we investigate how RL agents are affected by exchanging the small MLPs with larger modern networks with skip connections and normalization, focusing specifically on actor-critic algorithms. We empirically verify that naively adopting such architectures leads to instabilities and poor performance, likely contributing to the popularity of simple models in practice. However, we show that dataset size is not the limiting factor, and instead argue that instability from taking gradients through the critic is the culprit. We demonstrate that spectral normalization (SN) can mitigate this issue and enable stable training with large modern architectures. After smoothing with SN, larger models yield significant performance improvements -- suggesting that more "easy" gains may be had by focusing on model architectures in addition to algorithmic innovations.


title: Absence of zero-field-cooled exchange bias effect in single crystalline La2-xAxCoMnO6 (A = Ca, Sr) compounds

abstract: Magnetic properties of A2BB'O6 (A = rare or alkaline earth ions; B,B' = transition metal ions) double perovskites are of great interest due to their potential spintronic applications. Particularly fascinating is the zero field cooled exchange bias (ZEB) effect observed for the hole doped La2-xAxCoMnO6 polycrystalline samples. In this work we synthesize La2CoMnO6, La1.5Ca0.5CoMnO6, and La1.5Sr0.5CoMnO6 single crystals by the floating zone method and study their magnetic behavior. The three materials are ferromagnetic. Surprisingly, we observe no zero or even conventional exchange bias effect for the Ca and Sr doped single crystals, in sharp contrast to polycrystalline samples. This absence indicates that the lack of grain boundaries and spin glass-like behavior, not observed in our samples, might be key ingredients for the spontaneous exchange bias phenomena seen in polycrystalline samples.


title: Online and Real-Time Tracking in a Surveillance Scenario

abstract: This paper presents an approach for tracking in a surveillance scenario. Typical aspects for this scenario are a 24/7 operation with a static camera mounted above the height of a human with many objects or people. The Multiple Object Tracking Benchmark 20 (MOT20) reflects this scenario best. We can show that our approach is real-time capable on this benchmark and outperforms all other real-time capable approaches in HOTA, MOTA, and IDF1. We achieve this by contributing a fast Siamese network reformulated for linear runtime (instead of quadratic) to generate fingerprints from detections. Thus, it is possible to associate the detections to Kalman filters based on multiple tracking specific ratings: Cosine similarity of fingerprints, Intersection over Union, and pixel distance ratio in the image.


title: Controlled Update of Software Components using Concurrent Exection of Patched and Unpatched Versions

abstract: Software patching is a common method of removing vulnerabilities in software components to make IT systems more secure. However, there are many cases where software patching is not possible due to the critical nature of the application, especially when the vendor providing the application guarantees correct operation only in a specific configuration. In this paper, we propose a method to solve this problem. The idea is to run unpatched and patched application instances concurrently, with the unpatched one having complete control and the output of the patched one being used only for comparison, to watch for differences that are consequences of introduced bugs. To test this idea, we developed a system that allows us to run web applications in parallel and tested three web applications. The experiments have shown that the idea is promising for web applications from the technical side. Furthermore, we discuss the potential limitations of this system and the idea in general, how long two instances should run in order to be able to claim with some probability that the patched version has not introduced any new bugs, other potential use cases of the proposed system where two application instances run concurrently, and finally the potential uses of this system with different types of applications, such as SCADA systems.


title: On a problem by Nathan Jacobson for Malcev algebras

abstract: In this paper we solve a problem for a certain class of Malcev algebras, which is an analogous of an old problem posed by Nathan Jacobson for alternative algebras. Specifically we prove a coordinatization theorem for a class of Malcev algebras containing the 3-dimensional simple Lie algebra $\mathfrak{s l}_{2}(\mathbb{F})$ such that $m\,\mathfrak{s l}_{2}(\mathbb{F})\neq 0$ for any $0\neq m\in\mathcal{M}.$ We drop the last condition and we describe the structure of the same class of Malcev algebras $\mathcal{M}$ that contains $\mathfrak{s l}_{2}(\mathbb{F})$.


title: In-medium kinetic theory of $D$ mesons and heavy-flavor transport coefficients

abstract: We extend the kinetic theory of $D$ mesons to accommodate thermal and off-shell effects due to the medium modification of the heavy-meson spectral functions. From the Kadanoff-Baym approach we derive the off-shell Fokker-Planck equation which encodes the heavy-flavor transport coefficients. We analyze the thermal width (damping rate) of $D$ mesons due to their scattering off light mesons, focusing on new in-medium effects: off-shell corrections, inelastic channels, and the contribution of the Landau cut. We obtain that the latter effect (absent for vacuum scattering amplitudes) brings sizable corrections at moderate temperatures. We discuss how the heavy-flavor transport coefficients, like the drag and diffusion coefficients, are modified in matter. We find that the $D$-meson spatial diffusion coefficient matches smoothly to the latest results of lattice-QCD calculations and Bayesian analyses at higher temperatures.


title: Social Engineering in Cybersecurity: A Domain Ontology and Knowledge Graph Application Examples

abstract: Social engineering has posed a serious threat to cyberspace security. To protect against social engineering attacks, a fundamental work is to know what constitutes social engineering. This paper first develops a domain ontology of social engineering in cybersecurity and conducts ontology evaluation by its knowledge graph application. The domain ontology defines 11 concepts of core entities that significantly constitute or affect social engineering domain, together with 22 kinds of relations describing how these entities related to each other. It provides a formal and explicit knowledge schema to understand, analyze, reuse and share domain knowledge of social engineering. Furthermore, this paper builds a knowledge graph based on 15 social engineering attack incidents and scenarios. 7 knowledge graph application examples (in 6 analysis patterns) demonstrate that the ontology together with knowledge graph is useful to 1) understand and analyze social engineering attack scenario and incident, 2) find the top ranked social engineering threat elements (e.g. the most exploited human vulnerabilities and most used attack mediums), 3) find potential social engineering threats to victims, 4) find potential targets for social engineering attackers, 5) find potential attack paths from specific attacker to specific target, and 6) analyze the same origin attacks.


title: Discontinuous Transitions Towards Vortex Condensates in Buoyancy-Driven Rotating Turbulence

abstract: Using direct numerical simulations of rotating Rayleigh-B\'enard convection, we explore the transitions between turbulent states from a 3D flow state towards a quasi-2D condensate known as the large-scale vortex (LSV). We vary the Rayleigh number $Ra$ as control parameter and study the system response (strength of the LSV) in terms of order parameters assessing the energetic content in the flow and the upscale energy flux. By sensitively probing the boundaries of the region of existence of the LSV in parameter space, we find discontinuous transitions and we identify the presence of a hysteresis loop as well as memoryless abrupt growth dynamics. We show furthermore that the creation of the condensate state coincides with a discontinuous transition of the energy transport into the largest mode of the system.


title: Observability of the Vertical Shear Instability in protoplanetary disk CO kinematics

abstract: Context. Dynamical and turbulent motions of gas in a protoplanetary disk are crucial for their evolution and affect planet formation. Recent observations suggest weak turbulence in the disk's outer regions. However, the physical mechanism of turbulence in these outer regions remains uncertain. The vertical shear instability (VSI) is a promising mechanism to produce turbulence in disks. Aims. Our aim is to study the observability of the gas velocity structure produced by the VSI via CO kinematics with ALMA. Methods. We perform global 3D hydrodynamical simulations of a VSI-unstable disk. We post-process the simulation results with radiative transfer calculations, and produce synthetic predictions of CO rotational emission lines. Following, we compute the line of sight velocity map, and its deviations from a sub-Keplerian equilibrium solution. We explore the detectability of the VSI by identifying kinematic signatures using realistic simulated observations. Results. Our 3D simulations of the VSI show the steady state dynamics of the gas in great detail. From the velocity structure we infer a turbulent stress value of $\alpha_{r\phi}=1.4 \times 10^{-4}$. On large scales, we observe velocity deviations of 50 m s$^{-1}$ as axisymmetric rings. We find optimal conditions at $i \lesssim 20^{\circ}$ to trace for the kinematic structures of the VSI. We found that current diagnostics to constrain gas turbulence from non-thermal broadening of the line emission are not applicable to anisotropic VSI turbulence. Conclusions. The detection of kinematic signatures produced by the VSI is possible with ALMA. Observations including an extended antenna configuration combined with the highest spectral resolution available are needed for robust detection. The characterization of the large-scale velocity perturbations is required to constrain the turbulence level produced by the VSI from gas observations.


title: A General View on Double Limits in Differential Equations

abstract: In this paper, we review several results from singularly perturbed differential equations with multiple small parameters. In addition, we develop a general conceptual framework to compare and contrast the different results by proposing a three-step process. First, one specifies the setting and restrictions of the differential equation problem to be studied and identifies the relevant small parameters. Second, one defines a notion of equivalence via a property/observable for partitioning the parameter space into suitable regions near the singular limit. Third, one studies the possible asymptotic singular limit problems as well as perturbation results to complete the diagrammatic subdivision process. We illustrate this approach for two simple problems from algebra and analysis. Then we proceed to the review of several modern double-limit problems including multiple time scales, stochastic dynamics, spatial patterns, and network coupling. For each example, we illustrate the previously mentioned three-step process and show that already double-limit parametric diagrams provide an excellent unifying theme. After this review, we compare and contrast the common features among the different examples. We conclude with a brief outlook, how our methodology can help to systematize the field better, and how it can be transferred to a wide variety of other classes of differential equations.


title: Babel Fees via Limited Liabilities

abstract: Custom currencies (ERC-20) on Ethereum are wildly popular, but they are second class to the primary currency Ether. Custom currencies are more complex and more expensive to handle than the primary currency as their accounting is not natively performed by the underlying ledger, but instead in user-defined contract code. Furthermore, and quite importantly, transaction fees can only be paid in Ether. In this paper, we focus on being able to pay transaction fees in custom currencies. We achieve this by way of a mechanism permitting short term liabilities to pay transaction fees in conjunction with offers of custom currencies to compensate for those liabilities. This enables block producers to accept custom currencies in exchange for settling liabilities of transactions that they process. We present formal ledger rules to handle liabilities together with the concept of babel fees to pay transaction fees in custom currencies. We also discuss how clients can determine what fees they have to pay, and we present a solution to the knapsack problem variant that block producers have to solve in the presence of babel fees to optimise their profits.


title: Kashiwa Lectures on "New Approaches to the Monster"

abstract: These notes stem from lectures given by the first author (JM) at the 2008 "Moonshine Conference in Kashiwa" and contain a number of new perspectives and observations on Monstrous Moonshine. Because many new points have not appeared anywhere in print, it is thought expedient to update, annotate and clarify them (as footnotes), an editorial task which the second author (YHH) is more than delighted to undertake. We hope the various puzzles and correspondences, delivered in a personal and casual manner, will serve as diversions intriguing to the community.


title: Irreducibility criterion for singular hypersurfaces of $({\mathbb C}^n,0)$

abstract: Using vector fields we obtain an irreducibility criterion for hypersurfaces. It only requires the Weierstrass division.


title: Liquid walls and interfaces in arbitrary directions stabilized by vibrations

abstract: Gravity shapes liquids and play a crucial role in their internal balance. Creating new equilibrium configurations irrespective of the presence of a gravitational field is challenging with applications on earth as well as in zero-gravity environments. Vibrations are known to alter the shape of liquid interfaces and to also to change internal dynamics and stability in depth. Here, we show that vibrations can also create an "artificial gravity" in any direction. We demonstrate that a liquid can maintain an inclined interface when shaken in an arbitrary direction. A necessary condition for the equilibrium to occur is the existence of a velocity gradient determined by dynamical boundary conditions. However, no-slip boundary condition and incompressibility can perturb the required velocity profile leading to a destabilization of the equilibrium. We show that liquid layers provide a solution and liquid walls of several centimeters in height can thus be stabilized. We show that the buoyancy equilibrium is not affected by the forcing.


title: Decomposition-Coordination Method for Finite Horizon Bandit Problems

abstract: Optimally solving a multi-armed bandit problem suffers the curse of dimensionality. Indeed, resorting to dynamic programming leads to an exponential growth of computing time, as the number of arms and the horizon increase. We introduce a decompositioncoordination heuristic, DeCo, that turns the initial problem into parallelly coordinated one-armed bandit problems. As a consequence, we obtain a computing time which is essentially linear in the number of arms. In addition, the decomposition provides a theoretical lower bound on the regret. For the two-armed bandit case, dynamic programming provides the exact solution, which is almost matched by the DeCo heuristic. Moreover, in numerical simulations with up to 100 rounds and 20 arms, DeCo outperforms classic algorithms (Thompson sampling and Kullback-Leibler upper-confidence bound) and almost matches the theoretical lower bound on the regret for 20 arms.


title: Density questions on arithmetic equivalence

abstract: It is a classic result that two number fields have equal Dedekind zeta functions if and only if the arithmetic type of a prime $p$ is the same in both fields for almost all prime $p$. Here, almost all means with the possible exception of a set of Dirichlet density zero. One of the results of this paper shows that the condition density zero can be improved to a specific positive density that depends solely in the degree of the fields. More specifically, for every positive $n$ we exhibit a positive constan $c_{n}$ such that any two degree $n$ number fields $K$ and $L$ are arithmetically equivalent if and only if the set of primes $p$ such that the arithmetic type of $p$ in $K$ and $L$ is not the same has Dirichlet density at most $c_n$. We in fact show that $\displaystyle c_n=\frac{1}{4n^2}$ works and give a heuristic evidence that points to the fact that this value might be improved to $\displaystyle \frac{2}{n^2}$. We also show that to check whether or not two number fields are arithmetically equivalent it is enough to check equality between finitely many coefficients of their zeta functions, and we give an upper bound for such number.


title: End-to-End NLP Knowledge Graph Construction

abstract: This paper studies the end-to-end construction of an NLP Knowledge Graph (KG) from scientific papers. We focus on extracting four types of relations: evaluatedOn between tasks and datasets, evaluatedBy between tasks and evaluation metrics, as well as coreferent and related relations between the same type of entities. For instance, F1-score is coreferent with F-measure. We introduce novel methods for each of these relation types and apply our final framework (SciNLP-KG) to 30,000 NLP papers from ACL Anthology to build a large-scale KG, which can facilitate automatically constructing scientific leaderboards for the NLP community. The results of our experiments indicate that the resulting KG contains high-quality information.


title: Notes on flat fronts in hyperbolic space

abstract: We give a short introduction to discrete flat fronts in hyperbolic space and prove that any discrete flat front in the mixed area sense admits a Weierstrass representation.


title: A comparison of phase change materials in reconfigurable silicon photonic directional couplers

abstract: The unique optical properties of phase change materials (PCMs) can be exploited to develop efficient reconfigurable photonic devices. Here, we design, model, and compare the performance of programmable 1X2 optical couplers based on: Ge$_2$Sb$_2$Te$_5$, Ge$_2$Sb$_2$Se$_4$Te$_1$, Sb$_2$Se$_3$, and Sb$_2$S$_3$ PCMs. Once programmed, these devices are passive, which can reduce the overall energy consumed compared to thermo-optic or electro-optic reconfigurable devices. Of all the PCMs studied, our ellipsometry refractive index measurements show that Sb$_2$S$_3$ has the lowest absorption in the telecommunications wavelength band. Moreover, Sb$_2$S$_3$-based couplers show the best overall performance, with the lowest insertion losses in both the amorphous and crystalline states. We show that by growth crystallization tuning at least four different coupling ratios can be reliably programmed into the Sb$_2$S$_3$ directional couplers. We used this effect to design a 2-bit tuneable Sb$_2$S$_3$ directional coupler with a dynamic range close to 32 dB. The bit-depth of the coupler appears to be limited by the crystallization stochasticity.


title: Detecting Bot-Generated Text by Characterizing Linguistic Accommodation in Human-Bot Interactions

abstract: Language generation models' democratization benefits many domains, from answering health-related questions to enhancing education by providing AI-driven tutoring services. However, language generation models' democratization also makes it easier to generate human-like text at-scale for nefarious activities, from spreading misinformation to targeting specific groups with hate speech. Thus, it is essential to understand how people interact with bots and develop methods to detect bot-generated text. This paper shows that bot-generated text detection methods are more robust across datasets and models if we use information about how people respond to it rather than using the bot's text directly. We also analyze linguistic alignment, providing insight into differences between human-human and human-bot conversations.


title: Digital homotopy relations and digital homology theories

abstract: In this paper we prove results relating to two homotopy relations and four homology theories developed in the topology of digital images. We introduce a new type of homotopy relation for digitally continuous functions which we call "strong homotopy." Both digital homotopy and strong homotopy are natural digitizations of classical topological homotopy: the difference between them is analogous to the difference between digital 4-adjacency and 8-adjacency in the plane. We also consider four different digital homology theories: a simplicial homology theory by Arslan et al which is the homology of the clique complex, a singular simplicial homology theory by D. W. Lee, a cubical homology theory by Jamil and Ali, and a new kind of cubical homology for digital images with $c_1$-adjacency which is easily computed, and generalizes a construction by Karaca \& Ege. We show that the two simplicial homology theories are isomorphic to each other, but distinct from the two cubical theories. We also show that homotopic maps have the same induced homomorphisms in the cubical homology theory, and strong homotopic maps additionally have the same induced homomorphisms in the simplicial theory.


title: Probing galactic double-mode RR Lyrae stars against Gaia EDR3

abstract: Classical double-mode pulsators (RR Lyrae stars and delta Cepheids) are important for their simultaneous pulsation in low-order radial modes. This enables us to put stringent constraints on their physical parameters. We use 30 bright galactic double-mode RR~Lyrae (RRd) stars to estimate their luminosities and compare them with those derived from the parallaxes of the recent data release (EDR3) of the Gaia survey. We employ pulsation and evolutionary models, together with observationally determined effective temperatures to derive the basic stellar parameters. Excluding 6 outlying stars (e.g., with blending issues) the RRd and Gaia luminosities correlate well. With the adopted temperature zero point from one of the works based on the infrared flux method, we find it necessary to increase the Gaia parallaxes by 0.02 mas to bring the RRd and Gaia luminosities into agreement. This value is consonant with those derived from studies on binary stars in the context of Gaia. We examine also the resulting period-luminosity-metallicity (PLZ) relation in the 2MASS K band as follows from the RRd parameters. This leads to the verification of two independently derived other PLZs. No significant zero point differences are found. Furthermore, the predicted K absolute magnitudes agree within sigma=0.005-0.01mag.


title: On the approximation ratio of LZ-End to LZ77

abstract: A family of Lempel-Ziv factorizations is a well-studied string structure. The LZ-End factorization is a member of the family that achieved faster extraction of any substrings (Kreft & Navarro, TCS 2013). One of the interests for LZ-End factorizations is the possible difference between the size of LZ-End and LZ77 factorizations. They also showed families of strings where the approximation ratio of the number of LZ-End phrases to the number of LZ77 phrases asymptotically approaches 2. However, the alphabet size of these strings is unbounded. In this paper, we analyze the LZ-End factorization of the period-doubling sequence. We also show that the approximation ratio for the period-doubling sequence asymptotically approaches 2 for the binary alphabet.


title: Nitsche's Finite Element Method for Model Coupling in Elasticity

abstract: We develop a Nitsche finite element method for a model of Euler--Bernoulli beams with axial stiffness embedded in a two--dimensional elastic bulk domain. The beams have their own displacement fields, and the elastic subdomains created by the beam network are triangulated independently and are coupled to the beams weakly by use of Nitsche's method in the framework of hybridization.


title: Generators and Relations for the Group On(Z[1/2])

abstract: We give a finite presentation by generators and relations for the group O_n(Z[1/2]) of n-dimensional orthogonal matrices with entries in Z[1/2]. We then obtain a similar presentation for the group of n-dimensional orthogonal matrices of the form M/sqrt(2)^k, where k is a nonnegative integer and M is an integer matrix. Both groups arise in the study of quantum circuits. In particular, when the dimension is a power of 2, the elements of the latter group are precisely the unitary matrices that can be represented by a quantum circuit over the universal gate set consisting of the Toffoli gate, the Hadamard gate, and the computational ancilla.


title: Hybrid Ensemble optimized algorithm based on Genetic Programming for imbalanced data classification

abstract: One of the most significant current discussions in the field of data mining is classifying imbalanced data. In recent years, several ways are proposed such as algorithm level (internal) approaches, data level (external) techniques, and cost-sensitive methods. Although extensive research has been carried out on imbalanced data classification, however, several unsolved challenges remain such as no attention to the importance of samples to balance, determine the appropriate number of classifiers, and no optimization of classifiers in the combination of classifiers. The purpose of this paper is to improve the efficiency of the ensemble method in the sampling of training data sets, especially in the minority class, and to determine better basic classifiers for combining classifiers than existing methods. We proposed a hybrid ensemble algorithm based on Genetic Programming (GP) for two classes of imbalanced data classification. In this study uses historical data from UCI Machine Learning Repository to assess minority classes in imbalanced datasets. The performance of our proposed algorithm is evaluated by Rapid-miner studio v.7.5. Experimental results show the performance of the proposed method on the specified data sets in the size of the training set shows 40% and 50% better accuracy than other dimensions of the minority class prediction.


title: Learning to Time-Decode in Spiking Neural Networks Through the Information Bottleneck

abstract: One of the key challenges in training Spiking Neural Networks (SNNs) is that target outputs typically come in the form of natural signals, such as labels for classification or images for generative models, and need to be encoded into spikes. This is done by handcrafting target spiking signals, which in turn implicitly fixes the mechanisms used to decode spikes into natural signals, e.g., rate decoding. The arbitrary choice of target signals and decoding rule generally impairs the capacity of the SNN to encode and process information in the timing of spikes. To address this problem, this work introduces a hybrid variational autoencoder architecture, consisting of an encoding SNN and a decoding Artificial Neural Network (ANN). The role of the decoding ANN is to learn how to best convert the spiking signals output by the SNN into the target natural signal. A novel end-to-end learning rule is introduced that optimizes a directed information bottleneck training criterion via surrogate gradients. We demonstrate the applicability of the technique in an experimental settings on various tasks, including real-life datasets.


title: ImVoxelNet: Image to Voxels Projection for Monocular and Multi-View General-Purpose 3D Object Detection

abstract: In this paper, we introduce the task of multi-view RGB-based 3D object detection as an end-to-end optimization problem. To address this problem, we propose ImVoxelNet, a novel fully convolutional method of 3D object detection based on monocular or multi-view RGB images. The number of monocular images in each multi-view input can variate during training and inference; actually, this number might be unique for each multi-view input. ImVoxelNet successfully handles both indoor and outdoor scenes, which makes it general-purpose. Specifically, it achieves state-of-the-art results in car detection on KITTI (monocular) and nuScenes (multi-view) benchmarks among all methods that accept RGB images. Moreover, it surpasses existing RGB-based 3D object detection methods on the SUN RGB-D dataset. On ScanNet, ImVoxelNet sets a new benchmark for multi-view 3D object detection. The source code and the trained models are available at https://github.com/saic-vul/imvoxelnet.


title: The bosonic algebraic approach applied to the $[QQ][\bar{Q}\bar{Q}]$ tetraquarks

abstract: The exact eigenenergies of the $T_{4c}=[cc][\bar{c}\bar{c}]$, $T_{4b}=[bb][\bar{b}\bar{b}]$, and $T_{2[bc]}=[bc][\bar{b}\bar{c}]$ tetraquarks are calculated within the extended transitional Hamiltonian approach, in which the so-called Bethe \emph{ansatz} within an infinite-dimensional Lie algebra is used. We fit the parameters appearing in the transitional region from phenomenology associated with potential candidates of tetraquarks. The rotation and vibration transitional theory seems to provide a better description of heavy tetraquarks than other attempts within the same formalism. Our results indicate that the pairing strengths are large enough to provide binding; an extended comparison with the current literature is also performed.


title: The de Almeida-Thouless Line in Hierarchical Quantum Spin Glasses

abstract: We determine explicitly and discuss in detail the effects of the joint presence of a longitudinal and a transversal (random) magnetic field on the phases of the Random Energy Model (REM) and its hierarchical generalization, the GREM. Our results extent known results both in the classical case of vanishing transversal field and in the quantum case for vanishing longitudinal field. Following Derrida and Gardner, we argue that the longitudinal field has to be implemented hierarchically also in the Quantum GREM. We show that this ensures the shrinking of the spin glass phase in the presence of the magnetic fields as also expected for the Quantum Sherrington-Kirkpatrick model.


title: Asymmetric Little-Parks Oscillations in Full Shell Double Nanowires

abstract: Little-Parks oscillations of a hollow superconducting cylinder are of interest for flux-driven topological superconductivity in single Rashba nanowires. The oscillations are typically symmetric in the orientation of the applied magnetic flux. Using double InAs nanowires coated by an epitaxial superconducting Al shell which, despite the non-centro-symmetric geometry, behaves effectively as one hollow cylinder, we demonstrate that a small misalignment of the applied parallel field with respect to the axis of the nanowires can produce field-asymmetric Little-Parks oscillations. These are revealed by the simultaneous application of a magnetic field perpendicular to the misaligned parallel field direction. The asymmetry occurs in both the destructive regime, in which superconductivity is destroyed for half-integer quanta of flux through the shell, and in the non-destructive regime, where superconductivity is depressed but not fully destroyed at these flux values.


title: Automating Speedrun Routing: Overview and Vision

abstract: Speedrunning in general means to play a video game fast, i.e. using all means at one's disposal to achieve a given goal in the least amount of time possible. To do so, a speedrun must be planned in advance, or routed, as referred to by the community. This paper focuses on discovering challenges and defining models needed when trying to approach the problem of routing algorithmically. To do so, this paper is split in two parts. The first part provides an overview of relevant speedrunning literature, extracting vital information and formulating criticism. Important categorizations are pointed out and a nomenclature is built to support professional discussion. The second part of this paper then refers to the actual speedrun routing optimization problem. Different concepts of graph representations are presented and their potential is discussed. Visions both for problem modeling as well as solving are presented and assessed regarding suitability and expected challenges. Finally, a first assessment of the applicability of existing optimization methods to the defined problem is made, including metaheuristics/EA and Deep Learning methods.


title: A Cluster-based Approach for Improving Isotropy in Contextual Embedding Space

abstract: The representation degeneration problem in Contextual Word Representations (CWRs) hurts the expressiveness of the embedding space by forming an anisotropic cone where even unrelated words have excessively positive correlations. Existing techniques for tackling this issue require a learning process to re-train models with additional objectives and mostly employ a global assessment to study isotropy. Our quantitative analysis over isotropy shows that a local assessment could be more accurate due to the clustered structure of CWRs. Based on this observation, we propose a local cluster-based method to address the degeneration issue in contextual embedding spaces. We show that in clusters including punctuations and stop words, local dominant directions encode structural information, removing which can improve CWRs performance on semantic tasks. Moreover, we find that tense information in verb representations dominates sense semantics. We show that removing dominant directions of verb representations can transform the space to better suit semantic applications. Our experiments demonstrate that the proposed cluster-based method can mitigate the degeneration problem on multiple tasks.


title: Formally Verified Convergence of Policy-Rich DBF Routing Protocols

abstract: In this paper we present new general convergence results about the behaviour of the Distributed Bellman-Ford (DBF) family of routing protocols, which includes distance-vector protocols (e.g. RIP) and path-vector protocols (e.g. BGP). Our results apply to ``policy-rich" protocols, by which we mean protocols that can have complex policies (e.g. conditional route transformations) that violate traditional assumptions made in the standard presentation of Bellman-Ford protocols. First, we propose a new algebraic model for abstract routing problems which has fewer primitives than previous models and can represent more expressive policy languages. The new model is also the first to allow concurrent reasoning about distance-vector and path-vector protocols. Second, we demonstrate how DBF routing protocols are instances of a larger class of asynchronous iterative algorithms, for which there already exist powerful results about convergence. These results allow us to build upon conditions previously shown by Sobrinho to be sufficient and necessary for the convergence of path-vector protocols and strengthen them: we show that, with a minor modification, they also apply to distance-vector protocols; we prove they guarantee that the final routing solution reached is unique, thereby eliminating the possibility of anomalies such as BGP wedgies; we relax the model of asynchronous communication, showing that the results still hold if routing messages can be lost, reordered, and duplicated. Thirdly, our model and our accompanying theoretical results have been fully formalised in the Agda theorem prover. The resulting library is a powerful tool for quickly prototyping and formally verifying new policy languages. As an example, we formally verify the correctness of a policy language with many of the features of BGP including communities, conditional policy, path-inflation and route filtering.


title: Ordinal Optimisation and the Offline Multiple Noisy Secretary Problem

abstract: We study the success probability for a variant of the secretary problem, with noisy observations and multiple offline selection. Our formulation emulates, and is motivated by, problems involving noisy selection arising in the disciplines of stochastic simulation and simulation-based optimisation. In addition, we employ the philosophy of ordinal optimisation - involving an ordinal selection rule, and a percentile notion of goal softening for the success probability. As a result, it is shown that the success probability only depends on the underlying copula of the problem. Other general properties for the success probability are also presented. Specialising to the case of Gaussian copulas, we also derive an analytic lower bound for the success probability, which may then be inverted to find sufficiently large sample sizes that guarantee a high success probability arbitrarily close to one.


title: Self-Supervised Document Similarity Ranking via Contextualized Language Models and Hierarchical Inference

abstract: We present a novel model for the problem of ranking a collection of documents according to their semantic similarity to a source (query) document. While the problem of document-to-document similarity ranking has been studied, most modern methods are limited to relatively short documents or rely on the existence of "ground-truth" similarity labels. Yet, in most common real-world cases, similarity ranking is an unsupervised problem as similarity labels are unavailable. Moreover, an ideal model should not be restricted by documents' length. Hence, we introduce SDR, a self-supervised method for document similarity that can be applied to documents of arbitrary length. Importantly, SDR can be effectively applied to extremely long documents, exceeding the 4,096 maximal token limits of Longformer. Extensive evaluations on large document datasets show that SDR significantly outperforms its alternatives across all metrics. To accelerate future research on unlabeled long document similarity ranking, and as an additional contribution to the community, we herein publish two human-annotated test sets of long documents similarity evaluation. The SDR code and datasets are publicly available.


title: A remark on one-harmonic maps from a Hadamard surface of pinched negative curvature to the hyperbolic plane

abstract: We show that every one-harmonic map, in the sense of Trapani and Valli, from a Hadamard surface of pinched negative curvature to $\mathbb{H}^2$ has image the interior of the convex hull of a subset of $\partial_\infty\mathbb{H}^2$. The proof relies on Minkowski geometry, by interpreting one-harmonic maps as the Gauss maps of convex surfaces.


title: Yu-Shiba-Rusinov qubit

abstract: Magnetic impurities in $s$-wave superconductors lead to spin-polarized Yu-Shiba-Rusinov (YSR) in-gap states. Chains of magnetic impurities offer one of the most viable routes for the realization of Majorana bound states which hold a promise for topological quantum computing. However, this ambitious goal looks distant since no quantum coherent degrees of freedom have yet been identified in these systems. To fill this gap we propose an effective two-level system, a YSR qubit, stemming from two nearby impurities. Using a time-dependent wave-function approach, we derive an effective Hamiltonian describing the YSR qubit evolution as a function of distance between the impurity spins, their relative orientations, and their dynamics. We show that the YSR qubit can be controlled and read out using the state-of-the-art experimental techniques for manipulation of the spins. Finally, we address the effect of the spin noises on the coherence properties of the YSR qubit, and show a robust behaviour for a wide range of experimentally relevant parameters. Looking forward, the YSR qubit could facilitate the implementation of a universal set of quantum gates in hybrid systems where they are coupled to topological Majorana qubits.


title: Stabilisation of the generalised Rao-Nakra beam by partial viscous damping

abstract: In this paper, we consider the stabilization of the generalized Rao-Nakra beam equation, which consists of four wave equations for the longitudinal displacements and the shear angle of the top and bottom layers and one Euler-Bernoulli beam equation for the transversal displacement. Dissipative mechanism are provided through viscous damping for two displacements. The location of the viscous damping are divided into two groups, characterized by whether both of the top and bottom layers are directly damped or otherwise. Each group consists of three cases. We obtain the necessary and sufficient conditions for the cases in group two to be strongly stable. Furthermore, polynomial stability of certain orders are proved. The cases in group one are left for future study


title: Counting Lyndon Subsequences

abstract: Counting substrings/subsequences that preserve some property (e.g., palindromes, squares) is an important mathematical interest in stringology. Recently, Glen et al. studied the number of Lyndon factors in a string. A string $w = uv$ is called a Lyndon word if it is the lexicographically smallest among all of its conjugates $vu$. In this paper, we consider a more general problem "counting Lyndon subsequences". We show (1) the maximum total number of Lyndon subsequences in a string, (2) the expected total number of Lyndon subsequences in a string, (3) the expected number of distinct Lyndon subsequences in a string.


title: Topic-Aware Evidence Reasoning and Stance-Aware Aggregation for Fact Verification

abstract: Fact verification is a challenging task that requires simultaneously reasoning and aggregating over multiple retrieved pieces of evidence to evaluate the truthfulness of a claim. Existing approaches typically (i) explore the semantic interaction between the claim and evidence at different granularity levels but fail to capture their topical consistency during the reasoning process, which we believe is crucial for verification; (ii) aggregate multiple pieces of evidence equally without considering their implicit stances to the claim, thereby introducing spurious information. To alleviate the above issues, we propose a novel topic-aware evidence reasoning and stance-aware aggregation model for more accurate fact verification, with the following four key properties: 1) checking topical consistency between the claim and evidence; 2) maintaining topical coherence among multiple pieces of evidence; 3) ensuring semantic similarity between the global topic information and the semantic representation of evidence; 4) aggregating evidence based on their implicit stances to the claim. Extensive experiments conducted on the two benchmark datasets demonstrate the superiority of the proposed model over several state-of-the-art approaches for fact verification. The source code can be obtained from https://github.com/jasenchn/TARSA.


title: Optical control of topological memory based on orbital magnetization

abstract: Under suitable conditions, some twisted graphene multilayers and transition-metal dichalcogenides become Chern insulators, exhibiting the anomalous quantum Hall effect and orbital magnetization due to spontaneous valley polarization. We study interaction of a Chern insulator with circularly polarized light. The interaction energy contains an antisymmetric term that couples to the helicity of incident light. For a two-band Chern insulator, this term is expressed as an integral involving the Berry curvature of the system. Taking advantage of this interaction, we propose an experimental protocol for switching topological memory based on orbital magnetization by circularly polarized light. Moreover, two laser beams of opposite circular polarization can nucleate domains of opposite magnetization and thus produce an optically configurable domain wall carrying topologically protected chiral edge modes.