title: Friend of a friend models of network growth

abstract: One of the best-known models in network science is preferential attachment. In this model, the probability of attaching to a node depends on the degree of all nodes in the population, and thus depends on global information. In many biological, physical, and social systems, however, interactions between individuals depend only on local information. Here, we investigate a truly local model of network formation, based on the idea of a friend of a friend, with the following rule: individuals choose one node at random and link to it with probability p, then they choose a neighbour of that node and link with probability q. Our model produces power laws with empirical exponents ranging from 1.5 upwards and clustering co-efficients ranging from 0 up to 0.5 (consistent with many real networks). For small p and q=1, the model produces super-hub networks, and we prove that for p=0 and q=1, the proportion of non-hubs tends to 1 as the network grows. We show that power-law degree distributions, small world clustering and super-hub networks are all outcomes of this, more general, yet conceptually simple model.


title: Efficient Quantum Network Communication using Optimized Entanglement-Swapping Trees

abstract: Quantum network communication is challenging, as the No-cloning theorem in quantum regime makes many classical techniques inapplicable. For long-distance communication, the only viable communication approach is teleportation of quantum states, which requires a prior distribution of entangled pairs (EPs) of qubits. Establishment of EPs across remote nodes can incur significant latency due to the low probability of success of the underlying physical processes. The focus of our work is to develop efficient techniques that minimize EP generation latency. Prior works have focused on selecting entanglement paths; in contrast, we select entanglement swapping trees--a more accurate representation of the entanglement generation structure. We develop a dynamic programming algorithm to select an optimal swapping-tree for a single pair of nodes, under the given capacity and fidelity constraints. For the general setting, we develop an efficient iterative algorithm to compute a set of swapping trees. We present simulation results which show that our solutions outperform the prior approaches by an order of magnitude and are viable for long-distance entanglement generation.


title: Driven Hubbard model on a triangular lattice: tunable Heisenberg antiferromagnet with three-spin chiral term

abstract: We study the effects of a periodically varying electric field on the Hubbard model at half-filling on a triangular lattice. The electric field is incorporated through the phase of the nearest-neighbor hopping amplitude via the Peierls prescription. When the on-site interaction $U$ is much larger than the hopping, the effective Hamiltonian $H_{eff}$ describing the spin sector can be found using a Floquet perturbation theory. To third order in the hopping, $H_{eff}$ is found to have the form of a Heisenberg antiferromagnet with three different nearest-neighbor couplings $(J_\alpha,J_\beta,J_\gamma)$ on bonds lying along the different directions. Remarkably, when the periodic driving does not have time-reversal symmetry (TRS), $H_{eff}$ is also found to have a chiral three-spin interaction in each triangle, with the coefficient $C$ of the interaction having opposite signs on up- and down-pointing triangles. Thus periodic driving which breaks TRS can simulate the effect of a perpendicular magnetic flux which is known to generate such a chiral term in the spin sector, even though our model does not have a magnetic flux. The four parameters $(J_\alpha,J_\beta,J_\gamma,C)$ depend on the amplitude, frequency and direction of the oscillating electric field. We then study the spin model as a function of these parameters using exact diagonalization and find a rich phase diagram of the ground state with seven different phases consisting of two kinds of ordered phases (colinear and coplanar) and disordered phases. Thus periodic driving of the Hubbard model on the triangular lattice can lead to an effective spin model whose couplings can be tuned over a range of values thereby producing a variety of interesting phases.


title: Point spread function estimation for blind image deblurring problems based on framelet transform

abstract: One of the most important issues in the image processing is the approximation of the image that has been lost due to the blurring process. These types of matters are divided into non-blind and blind problems. The second type of problem is more complex in terms of calculations than the first problems due to the unknown of original image and point spread function estimation. In the present paper, an algorithm based on coarse-to-fine iterative by $l_0-\alpha l_1$ regularization and framelet transform is introduced to approximate the spread function estimation. Framelet transfer improves the restored kernel due to the decomposition of the kernel to different frequencies. Also in the proposed model fraction gradient operator is used instead of ordinary gradient operator. The proposed method is investigated on different kinds of images such as text, face, natural. The output of the proposed method reflects the effectiveness of the proposed algorithm in restoring the images from blind problems.


title: An Upwind Generalized Finite Difference Method (GFDM) for Meshless Analysis of Heat and Mass Transfer in Porous Media

abstract: In this paper, an upwind GFDM is developed for the coupled heat and mass transfer problems in porous media. GFDM is a meshless method that can obtain the difference schemes of spatial derivatives by using Taylor expansion in local node influence domains and the weighted least squares method. The first-order single-point upstream scheme in the FDM/FVM-based reservoir simulator is introduced to GFDM to form the upwind GFDM, based on which, a sequential coupled discrete scheme of the pressure diffusion equation and the heat convection-conduction equation is solved to obtain pressure and temperature profiles. This paper demonstrates that this method can be used to obtain the meshless solution of the convection-diffusion equation with a stable upwind effect. For porous flow problems, the upwind GFDM is more practical and stable than the method of manually adjusting the influence domain based on the prior information of the flow field to achieve the upwind effect. Two types of calculation errors are analyzed, and three numerical examples are implemented to illustrate the good calculation accuracy and convergence of the upwind GFDM for heat and mass transfer problems in porous media, and indicate the increase of the radius of the node influence domain will increase the calculation error of temperature profiles. Overall, the upwind GFDM discretizes the computational domain using only a point cloud that is generated with much less topological constraints than the generated mesh, but achieves good computational performance as the mesh-based approaches, and therefore has great potential to be developed as a general-purpose numerical simulator for various porous flow problems in domains with complex geometry.


title: The truncated $\theta$-Milstein method for nonautonomous and highly nonlinear stochastic differential delay equations

abstract: This paper focuses on the strong convergence of the truncated $\theta$-Milstein method for a class of nonautonomous stochastic differential delay equations whose drift and diffusion coefficients can grow polynomially. The convergence rate, which is close to one, is given under the weaker assumption than the monotone condition. To verify our theoretical findings, we present a numerical example.


title: Pseudo-Haptic Button for Improving User Experience of Mid-Air Interaction in VR

abstract: Mid-air interaction is one of the promising interaction modalities in virtual reality (VR) due to its merits in naturalness and intuitiveness, but the interaction suffers from the lack of haptic feedback as no force or vibrotactile feedback can be provided in mid-air. As a breakthrough to compensate for this insufficiency, the application of pseudo-haptic features which create the visuo-haptic illusion without actual physical haptic stimulus can be explored. Therefore, this study aimed to investigate the effect of four pseudo-haptic features: proximity feedback, protrusion, hit effect, and penetration blocking on user experience for free-hand mid-air button interaction in VR. We conducted a user study on 21 young subjects to collect user ratings on various aspects of user experience while users were freely interacting with 16 buttons with different combinations of four features. Results indicated that all investigated features significantly improved user experience in terms of haptic illusion, embodiment, sense of reality, spatiotemporal perception, satisfaction, and hedonic quality. In addition, protrusion and hit effect were more beneficial in comparison with the other two features. It is recommended to utilize the four proposed pseudo-haptic features in 3D user interfaces (UIs) to make users feel more pleased and amused, but caution is needed when using proximity feedback together with other features. The findings of this study could be helpful for VR developers and UI designers in providing better interactive buttons in the 3D interfaces.


title: Inferring nonequilibrium thermodynamics from tilted equilibrium using information-geometric Legendre transform

abstract: Nonstationary thermodynamic quantities depend on the full details of nonstationary probability distributions, making them difficult to measure directly in experiments and numerics. We propose a method to infer thermodynamic quantities in relaxation processes by measuring only a few observables, using additional information obtained from measurements in tilted equilibrium, i.e., equilibrium with external fields applied. Our method is applicable to arbitrary classical stochastic systems, possibly underdamped, that relax to equilibrium. The method allows us to compute the exact value of the minimum entropy production (EP) compatible with the nonstationary observations, giving a tight lower bound on the true EP. Under a certain additional condition, it also allows the inference of the EP rate, thermodynamic forces, and a constraint on relaxation paths. Our method uses a Legendre transform of EP at the level of probability distributions, which we develop based on a similar Legendre transform in information geometry.


title: Infinite particle systems with hard-core and long-range interaction

abstract: A system of Brownian hard balls is regarded as a reflecting Brownian motion in the configuration space and can be represented by a solution to a Skorohod-type equation. In this article, we consider the case that there are an infinite number of balls, and the interaction between balls is given by the long-range pair interaction. We discuss the existence and uniqueness of strong solutions to the infinite-dimensional Skorohod equation.


title: MPViT: Multi-Path Vision Transformer for Dense Prediction

abstract: Dense computer vision tasks such as object detection and segmentation require effective multi-scale feature representation for detecting or classifying objects or regions with varying sizes. While Convolutional Neural Networks (CNNs) have been the dominant architectures for such tasks, recently introduced Vision Transformers (ViTs) aim to replace them as a backbone. Similar to CNNs, ViTs build a simple multi-stage structure (i.e., fine-to-coarse) for multi-scale representation with single-scale patches. In this work, with a different perspective from existing Transformers, we explore multi-scale patch embedding and multi-path structure, constructing the Multi-Path Vision Transformer (MPViT). MPViT embeds features of the same size~(i.e., sequence length) with patches of different scales simultaneously by using overlapping convolutional patch embedding. Tokens of different scales are then independently fed into the Transformer encoders via multiple paths and the resulting features are aggregated, enabling both fine and coarse feature representations at the same feature level. Thanks to the diverse, multi-scale feature representations, our MPViTs scaling from tiny~(5M) to base~(73M) consistently achieve superior performance over state-of-the-art Vision Transformers on ImageNet classification, object detection, instance segmentation, and semantic segmentation. These extensive results demonstrate that MPViT can serve as a versatile backbone network for various vision tasks. Code will be made publicly available at \url{https://git.io/MPViT}.


title: Electronic and optical properties of SrTiO3 perovskite using semi-local and hybrid first principles density functional theory

abstract: The lattice constants of Strontium titanate perovskite has been studied using the Density functional theory formalism at the PBE and the HSE levels of theory. The study has been done in all the 3 existing phases; namely cubic, orthorhombic and tetragonal, however, experimental details are available only for the cubic phase so far.


title: Ergodicity for uniformly differentiable modulo $p$ functions on ${\mathbb Z}_p$

abstract: We provide an ergodicity criterion for uniformly differentiable modulo $p$ functions on ${\mathbb Z}_p$ in regard to the minimal level of the reduced functions by showing that ergodic conditions are explicitly found in terms of the coefficients of Mahler or van der Put for each prime $p.$ To this end, it is essential to give an alternative, natural proof of Memi$\acute{c}$'s result regarding Mahler's coefficients estimation for uniformly differentiable modulo $p$ functions on ${\mathbb Z}_p.$


title: On the role of the Fibonacci matrix as key in modified ECC

abstract: In this paper, we have proposed a modified cryptographic scheme based on the application of recursive matrices as key in ECC and ElGamal. For encryption, we consider mapping analogous to affine Hill cipher in which a plaintext matrix has been constructed by points corresponding to letters on elliptic curves. In the formation of key-space, the generalized Fibonacci matrices have been taken into account, which is the sequence of matrices. The beauty of considering Fibonacci matrices is their construction where we need only two parameters(integers) in place of $n^2$ elements. The use of a recursive matrix makes a large keyspace for our proposed scheme and increases its efficiency. Thus, it reduces time as well space complexity, and its security \& strength is based on EC-DLP which is a hard problem in number theory.


title: fMRI Neurofeedback Learning Patterns are Predictive of Personal and Clinical Traits

abstract: We obtain a personal signature of a person's learning progress in a self-neuromodulation task, guided by functional MRI (fMRI). The signature is based on predicting the activity of the Amygdala in a second neurofeedback session, given a similar fMRI-derived brain state in the first session. The prediction is made by a deep neural network, which is trained on the entire training cohort of patients. This signal, which is indicative of a person's progress in performing the task of Amygdala modulation, is aggregated across multiple prototypical brain states and then classified by a linear classifier to various personal and clinical indications. The predictive power of the obtained signature is stronger than previous approaches for obtaining a personal signature from fMRI neurofeedback and provides an indication that a person's learning pattern may be used as a diagnostic tool. Our code has been made available, and data would be shared, subject to ethical approvals.


title: Snapshots of a light-induced metastable hidden phase driven by the collapse of charge order

abstract: Nonequilibrium hidden states, both transient and long-lived, provide a unique window into thermally inaccessible regimes of strong coupling between microscopic degrees of freedom in quantum materials. Understanding the physical origin of these states is of both fundamental and practical significance, allowing the exploration of far-from-equilibrium thermodynamics and the development of optoelectronic devices with on-demand photoresponses. However, mapping the ultrafast formation of a long-lived hidden phase remains a long-standing challenge in physics since the initial state of the system is not recovered rapidly and conventional pump-probe methods are thus not applicable. Here, using a suite of state-of-the-art single-shot spectroscopy techniques, we present a direct ultrafast visualization of the photoinduced phase transition to both transient and long-lived hidden states in an electronic crystal, 1T-TaS2. Capturing the dynamics of this complex phase transformation in a single-shot fashion demonstrates a commonality in microscopic pathways, driven by the collapse of charge order, that the system undergoes to enter the hidden state and provides unambiguous spectral fingerprints that distinguish such state from thermally accessible phases. We present a theory of fluctuation-dominated process that explains both the dynamics and the nature of the metastable state. Our results settle the debate around the origin of this elusive metastable state and pave the way for the discovery of new quantum phases of matter.


title: Counting Simplices in Hypergraph Streams

abstract: We consider the problem of space-efficiently estimating the number of simplices in a hypergraph stream. This is the most natural hypergraph generalization of the highly-studied problem of estimating the number of triangles in a graph stream. Our input is a $k$-uniform hypergraph $H$ with $n$ vertices and $m$ hyperedges. A $k$-simplex in $H$ is a subhypergraph on $k+1$ vertices $X$ such that all $k+1$ possible hyperedges among $X$ exist in $H$. The goal is to process a stream of hyperedges of $H$ and compute a good estimate of $T_k(H)$, the number of $k$-simplices in $H$. We design a suite of algorithms for this problem. Under a promise that $T_k(H) \ge T$, our algorithms use at most four passes and together imply a space bound of $O( \epsilon^{-2} \log\delta^{-1} \text{polylog} n \cdot \min\{ m^{1+1/k}/T, m/T^{2/(k+1)} \} )$ for each fixed $k \ge 3$, in order to guarantee an estimate within $(1\pm\epsilon)T_k(H)$ with probability at least $1-\delta$. We also give a simpler $1$-pass algorithm that achieves $O(\epsilon^{-2} \log\delta^{-1} \log n\cdot (m/T) ( \Delta_E + \Delta_V^{1-1/k} ))$ space, where $\Delta_E$ (respectively, $\Delta_V$) denotes the maximum number of $k$-simplices that share a hyperedge (respectively, a vertex). We complement these algorithmic results with space lower bounds of the form $\Omega(\epsilon^{-2})$, $\Omega(m^{1+1/k}/T)$, $\Omega(m/T^{1-1/k})$ and $\Omega(m\Delta_V^{1/k}/T)$ for multi-pass algorithms and $\Omega(m\Delta_E/T)$ for $1$-pass algorithms, which show that some of the dependencies on parameters in our upper bounds are nearly tight. Our techniques extend and generalize several different ideas previously developed for triangle counting in graphs, using appropriate innovations to handle the more complicated combinatorics of hypergraphs.


title: Exceptional mode topological surface laser

abstract: Band topology has been studied as a design principle of realizing robust boundary modes. Here, by exploring non-Hermitian topology, we propose a three-dimensional topological laser that amplifies surface modes. The topological surface laser is protected by nontrivial topology around branchpoint singularities known as exceptional points. In contrast to two-dimensional topological lasers, the proposed three-dimensional setup can realize topological boundary modes without judicious gain at the edge or symmetry protection, which are thus robust against a broad range of disorders. We also propose a possible optical setup to experimentally realize the topological surface laser. Our results provide a general guiding principle to construct non-Hermitian topological devices in three-dimensional systems.


title: A Theoretical View of Linear Backpropagation and Its Convergence

abstract: Backpropagation (BP) is widely used for calculating gradients in deep neural networks (DNNs). Applied often along with stochastic gradient descent (SGD) or its variants, BP is considered as a de-facto choice in a variety of machine learning tasks including DNN training and adversarial attack/defense. Recently, a linear variant of BP named LinBP was introduced for generating more transferable adversarial examples for performing black-box attacks, by Guo et al. Although it has been shown empirically effective in black-box attacks, theoretical studies and convergence analyses of such a method is lacking. This paper serves as a complement and somewhat an extension to Guo et al.'s paper, by providing theoretical analyses on LinBP in neural-network-involved learning tasks, including adversarial attack and model training. We demonstrate that, somewhat surprisingly, LinBP can lead to faster convergence in these tasks in the same hyper-parameter settings, compared to BP. We confirm our theoretical results with extensive experiments.


title: Mining Drifting Data Streams on a Budget: Combining Active Learning with Self-Labeling

abstract: Mining data streams poses a number of challenges, including the continuous and non-stationary nature of data, the massive volume of information to be processed and constraints put on the computational resources. While there is a number of supervised solutions proposed for this problem in the literature, most of them assume that access to the ground truth (in form of class labels) is unlimited and such information can be instantly utilized when updating the learning system. This is far from being realistic, as one must consider the underlying cost of acquiring labels. Therefore, solutions that can reduce the requirements for ground truth in streaming scenarios are required. In this paper, we propose a novel framework for mining drifting data streams on a budget, by combining information coming from active learning and self-labeling. We introduce several strategies that can take advantage of both intelligent instance selection and semi-supervised procedures, while taking into account the potential presence of concept drift. Such a hybrid approach allows for efficient exploration and exploitation of streaming data structures within realistic labeling budgets. Since our framework works as a wrapper, it may be applied with different learning algorithms. Experimental study, carried out on a diverse set of real-world data streams with various types of concept drift, proves the usefulness of the proposed strategies when dealing with highly limited access to class labels. The presented hybrid approach is especially feasible when one cannot increase a budget for labeling or replace an inefficient classifier. We deliver a set of recommendations regarding areas of applicability for our strategies.


title: Efficient reductions and algorithms for variants of Subset Sum

abstract: Given $(a_1, \dots, a_n, t) \in \mathbb{Z}_{\geq 0}^{n + 1}$, the Subset Sum problem ($\mathsf{SSUM}$) is to decide whether there exists $S \subseteq [n]$ such that $\sum_{i \in S} a_i = t$. There is a close variant of the $\mathsf{SSUM}$, called $\mathsf{Subset~Product}$. Given positive integers $a_1, ..., a_n$ and a target integer $t$, the $\mathsf{Subset~Product}$ problem asks to determine whether there exists a subset $S \subseteq [n]$ such that $\prod_{i \in S} a_i=t$. There is a pseudopolynomial time dynamic programming algorithm, due to Bellman (1957) which solves the $\mathsf{SSUM}$ and $\mathsf{Subset~Product}$ in $O(nt)$ time and $O(t)$ space. In the first part, we present {\em search} algorithms for variants of the Subset Sum problem. Our algorithms are parameterized by $k$, which is a given upper bound on the number of realisable sets (i.e.,~number of solutions, summing exactly $t$). We show that $\mathsf{SSUM}$ with a unique solution is already NP-hard, under randomized reduction. This makes the regime of parametrized algorithms, in terms of $k$, very interesting. Subsequently, we present an $\tilde{O}(k\cdot (n+t))$ time deterministic algorithm, which finds the hamming weight of all the realisable sets for a subset sum instance. We also give a poly$(knt)$-time and $O(\log(knt))$-space deterministic algorithm that finds all the realisable sets for a subset sum instance. In the latter part, we present a simple and elegant randomized $\tilde{O}(n + t)$ time algorithm for $\mathsf{Subset~Product}$. Moreover, we also present a poly$(nt)$ time and $O(\log^2 (nt))$ space deterministic algorithm for the same. We study these problems in the unbounded setting as well. Our algorithms use multivariate FFT, power series and number-theoretic techniques, introduced by Jin and Wu (SOSA'19) and Kane (2010).


title: Giant dynamical electron-magnon coupling in metal-metal-ferromagnetic insulator heterostructure

abstract: Magnon-mediated spin transport across nonmagnetic metal (NM) and ferromagnetic insulator (FI) interface depends critically on electron-magnon coupling. We propose a novel route to enhance electron-magnon coupling dynamically from transport viewpoint. Using non-equilibrium Green's function a theoretical formalism for magnon-mediated spin current is developed. In the language of transport, the effective electron-magnon coupling at NM/FI interface is determined by self-energy of FI lead, which is proportional to density of states (DOS) at NM/FI interface due to nonlinear process of electron-magnon conversion. By modifying interfacial DOS, the spin conductance of 2D and 3D NM/FI systems can be increased by almost three orders of magnitude, setting up a new platform of manipulating dynamical electron-magnon coupling.


title: Synthetic Data and Simulators for Recommendation Systems: Current State and Future Directions

abstract: Synthetic data and simulators have the potential to markedly improve the performance and robustness of recommendation systems. These approaches have already had a beneficial impact in other machine-learning driven fields. We identify and discuss a key trade-off between data fidelity and privacy in the past work on synthetic data and simulators for recommendation systems. For the important use case of predicting algorithm rankings on real data from synthetic data, we provide motivation and current successes versus limitations. Finally we outline a number of exciting future directions for recommendation systems that we believe deserve further attention and work, including mixing real and synthetic data, feedback in dataset generation, robust simulations, and privacy-preserving methods.


title: Robust Recommendation with Implicit Feedback via Eliminating the Effects of Unexpected Behaviors

abstract: In the implicit feedback recommendation, incorporating short-term preference into recommender systems has attracted increasing attention in recent years. However, unexpected behaviors in historical interactions like clicking some items by accident don't well reflect users' inherent preferences. Existing studies fail to model the effects of unexpected behaviors, thus achieve inferior recommendation performance. In this paper, we propose a Multi-Preferences Model (MPM) to eliminate the effects of unexpected behaviors. MPM first extracts the users' instant preferences from their recent historical interactions by a fine-grained preference module. Then an unexpected-behaviors detector is trained to judge whether these instant preferences are biased by unexpected behaviors. We also integrate user's general preference in MPM. Finally, an output module is performed to eliminate the effects of unexpected behaviors and integrates all the information to make a final recommendation. We conduct extensive experiments on two datasets of a movie and an e-retailing, demonstrating significant improvements in our model over the state-of-the-art methods. The experimental results show that MPM gets a massive improvement in HR@10 and NDCG@10, which relatively increased by 3.643% and 4.107% compare with AttRec model on average. We publish our code at https://github.com/chenjie04/MPM/.


title: Reputation-based PoS for the Restriction of Illicit Activities on Blockchain: Algorand Usecase

abstract: In cryptocurrency-based permissionless blockchain networks, the decentralized structure enables any user to join and operate across different regions. The criminal entities exploit it by using cryptocurrency transactions on the blockchain to facilitate activities such as money laundering, gambling, and ransomware attacks. In recent times, different machine learning-based techniques can detect such criminal elements based on blockchain transaction data. However, there is no provision within the blockchain to deal with such elements. We propose a reputation-based methodology for response to the users detected carrying out the aforementioned illicit activities. We select Algorand blockchain to implement our methodology by incorporating it within the consensus protocol. The theoretical results obtained prove the restriction and exclusion of criminal elements through block proposal rejection and attenuation of the voting power as a validator for such entities. Further, we analyze the efficacy of our method and show that it puts no additional strain on the communication resources.


title: Hamilton-Ivey estimates for gradient Ricci solitons

abstract: We first show that any $4$-dimensional non-Ricci-flat steady gradient Ricci soliton singularity model must satisfy $|Rm|\leq cR$ for some positive constant $c$. Then, we apply the Hamilton-Ivey estimate to prove a quantitative lower bound of the curvature operator for $4$-dimensional steady gradient solitons with linear scalar curvatrue decay and proper potential function. The technique is also used to establish a sufficient condition for a $3$-dimensional expanding gradient Ricci soliton to have positive curvature. This sufficient condition is satisfied by a large class of conical expanders. As an application, we remove the positive curvature condition in a classification result by Chodosh 14 in dimension three and show that any $3$-dimensional gradient Ricci expander $C^2$ asymptotic to $\left(C(\mathbb S^2), dt^2+\alpha t^2 g_{\mathbb{S}^2}\right)$ is rotationally symmetric, where $\alpha \in (0,1]$ is a constant and $g_{\mathbb{S}^2}$ is the standard metric on $\mathbb{S}^2$ with constant curvature $1$.


title: Asymptotic analysis and numerical computation of the Laplacian eigenvalues using the conformal mapping

abstract: We consider the Dirichlet and Neumann eigenvalues of the Laplacian for a simply connected, planar domain. The eigenvalues are the characteristic values of layer potential operators involving the Hankel function. First, we obtain an asymptotic formula for the Laplace eigenvalues with respect to the perturbation of the domain. The results are based on the Gohberg--Sigal theory for operator valued functions. Second, we propose a numerical computation scheme to compute the Laplacian eigenvalues based on the matrix formulation of the layer potential operators with a geometric basis associated with the exterior conformal mapping of the domain. This provides a way to compute Laplace eigenvalues, $\lambda$, by finding roots of polynomials in $\lambda$ and $\log\lambda$. We also derive a fully computable a priori error estimate with no assumption on the domain's convexity. This shows the relation between the domain's regularity and the convergence rate of the proposed method to compute Laplace eigenvalues.


title: More is Less: Inducing Sparsity via Overparameterization

abstract: In deep learning it is common to overparameterize neural networks, that is, to use more parameters than training samples. Quite surprisingly training the neural network via (stochastic) gradient descent leads to models that generalize very well, while classical statistics would suggest overfitting. In order to gain understanding of this implicit bias phenomenon we study the special case of sparse recovery (compressed sensing) which is of interest on its own. More precisely, in order to reconstruct a vector from underdetermined linear measurements, we introduce a corresponding overparameterized square loss functional, where the vector to be reconstructed is deeply factorized into several vectors. We show that, if there exists an exact solution, vanilla gradient flow for the overparameterized loss functional converges to a good approximation of the solution of minimal $\ell_1$-norm. The latter is well-known to promote sparse solutions. As a by-product, our results significantly improve the sample complexity for compressed sensing via gradient flow/descent on overparameterized models derived in previous works. The theory accurately predicts the recovery rate in numerical experiments. Our proof relies on analyzing a certain Bregman divergence of the flow. This bypasses the obstacles caused by non-convexity and should be of independent interest.


title: Masses of fully-heavy tetraquark states from a four-quark static potential model

abstract: In this article, we study the ground-state mass of full-heavy tetraquarks $cc\bar c\bar c$ and $bb\bar b \bar b$ with solving the nonrelativistic four-body systems. The flux-tube configurations, the tetraquark four-body potential butterfly, and the dimeson potential flip-flop of SU(3) lattice quantum chromodynamics have been applied to describe the tetraquark interaction. Our numerical analysis indicates that the disconnected and connected static potentials can predict the mass of tetraquark very close to experimental data.


title: A homeomorphism theorem for sums of translates

abstract: For a fixed positive integer $n$ consider continuous functions $ K_1,\dots$, $ K_n:[-1,1]\to \mathbb{R}\cup\{-\infty\}$ that are concave and real valued on $[-1,0)$ and on $(0,1]$, and satisfy $K_j(0)=-\infty$. Moreover, let $J:[0,1]\to \mathbb{R}\cup\{-\infty\}$ be upper bounded and such that $[0,1]\setminus J^{-1}(\{-\infty\})$ has at least $n+1$ elements, but it is arbitrary otherwise. For $x_0:=0<x_1<\dots< x_n \le x_{n+1}:=1$, so called nodes, and for $t\in [0,1]$ consider the sum of translates function $F(x_1,\ldots,x_n,t):=J(t)+\sum_{j=1}^n K_j(t-x_j)$, and the vector of interval maximum values $m_j:=m_j(x_1,\ldots,x_n):=\max_{t\in [x_j,x_{j+1}]}F(x_1,\ldots,x_n,t)$ ($j=0,1,\ldots,n$). We describe the structure of the arising interval maxima as the nodes run over the $n$-dimensional simplex. Applications presented here range from abstract moving node Hermite-Fej\'er interpolation for generalized algebraic and trigonometric polynomials via Bojanov's problem to more abstract results of interpolation theoretic flavour.


title: Maxwell: a hardware and software highly integrated compute-storage system

abstract: The compute-storage framework is responsible for data storage and processing, and acts as the digital chassis of all upper-level businesses. The performance of the framework affects the business's processing throughput, latency, jitter, and etc., and also determines the theoretical performance upper bound that the business can achieve. In financial applications, the compute-storage framework must have high reliability and high throughput, but with low latency as well as low jitter characteristics. For some scenarios such as hot-spot account update, the performance of the compute-storage framework even surfaces to become a server performance bottleneck of the whole business system. In this paper, we study the hot-spot account issue faced by Alipay and present our exciting solution to this problem by developing a new compute-storage system, called Maxwell. Maxwell is a distributed compute-storage system with integrated hardware and software optimizations. Maxwell does not rely on any specific hardware (e.g. GPUs or FPGAs). Instead, it takes deep advantage of computer components' characteristics, such as disk, network, operating system and CPU, and aims to emit the ultimate performance of both hardware and software. In comparison with the existing hot-spot account updating solutions deployed online, Maxwell achieves three orders of magnitude performance improvement for end-to-end evaluation. Meanwhile, Maxwell also demonstrates remarkable performance gains in other related businesses of Ant Group.


title: On Cross-Lingual Retrieval with Multilingual Text Encoders

abstract: In this work we present a systematic empirical study focused on the suitability of the state-of-the-art multilingual encoders for cross-lingual document and sentence retrieval tasks across a number of diverse language pairs. We first treat these models as multilingual text encoders and benchmark their performance in unsupervised ad-hoc sentence- and document-level CLIR. In contrast to supervised language understanding, our results indicate that for unsupervised document-level CLIR -- a setup with no relevance judgments for IR-specific fine-tuning -- pretrained multilingual encoders on average fail to significantly outperform earlier models based on CLWEs. For sentence-level retrieval, we do obtain state-of-the-art performance: the peak scores, however, are met by multilingual encoders that have been further specialized, in a supervised fashion, for sentence understanding tasks, rather than using their vanilla 'off-the-shelf' variants. Following these results, we introduce localized relevance matching for document-level CLIR, where we independently score a query against document sections. In the second part, we evaluate multilingual encoders fine-tuned in a supervised fashion (i.e., we learn to rank) on English relevance data in a series of zero-shot language and domain transfer CLIR experiments. Our results show that supervised re-ranking rarely improves the performance of multilingual transformers as unsupervised base rankers. Finally, only with in-domain contrastive fine-tuning (i.e., same domain, only language transfer), we manage to improve the ranking quality. We uncover substantial empirical differences between cross-lingual retrieval results and results of (zero-shot) cross-lingual transfer for monolingual retrieval in target languages, which point to "monolingual overfitting" of retrieval models trained on monolingual data.


title: ANUBIS: A Provenance Graph-Based Framework for Advanced Persistent Threat Detection

abstract: We present ANUBIS, a highly effective machine learning-based APT detection system. Our design philosophy for ANUBIS involves two principal components. Firstly, we intend ANUBIS to be effectively utilized by cyber-response teams. Therefore, prediction explainability is one of the main focuses of ANUBIS design. Secondly, ANUBIS uses system provenance graphs to capture causality and thereby achieve high detection performance. At the core of the predictive capability of ANUBIS, there is a Bayesian Neural Network that can tell how confident it is in its predictions. We evaluate ANUBIS against a recent APT dataset (DARPA OpTC) and show that ANUBIS can detect malicious activity akin to APT campaigns with high accuracy. Moreover, ANUBIS learns about high-level patterns that allow it to explain its predictions to threat analysts. The high predictive performance with explainable attack story reconstruction makes ANUBIS an effective tool to use for enterprise cyber defense.


title: Grammars Based on a Logic of Hypergraph Languages

abstract: The hyperedge replacement grammar (HRG) formalism is a natural and well-known generalization of context-free grammars. HRGs inherit a number of properties of context-free grammars, e.g. the pumping lemma. This lemma turns out to be a strong restriction in the hypergraph case: it implies that languages of unbounded connectivity cannot be generated by HRGs. We introduce a formalism that turns out to be more powerful than HRGs while having the same algorithmic complexity (NP-complete). Namely, we introduce hypergraph Lambek grammars; they are based on the hypergraph Lambek calculus, which may be considered as a logic of hypergraph languages. We explain the underlying principles of hypergraph Lambek grammars, establish their basic properties, and show some languages of unbounded connectivity that can be generated by them (e.g. the language of all graphs, the language of all bipartite graphs, the language of all regular graphs).


title: Stochastic Graph Transformation For Social Network Modeling

abstract: Adaptive networks model social, physical, technical, or biological systems as attributed graphs evolving at the level of both their topology and data. They are naturally described by graph transformation, but the majority of authors take an approach inspired by the physical sciences, combining an informal description of the operations with programmed simulations, and systems of ODEs as the only abstract mathematical description. We show that we can capture a range of social network models, the so-called voter models, as stochastic attributed graph transformation systems, demonstrate the benefits of this representation and establish its relation to the non-standard probabilistic view adopted in the literature. We use the theory and tools of graph transformation to analyze and simulate the models and propose a new variant of a standard stochastic simulation algorithm to recreate the results observed.


title: Is electricity storage systems in the Netherlands indispensable or doable? Testing electricity storage business models with exploratory agent-based modeling

abstract: Electricity storage systems (ESS) are hailed by many scholars and practitioners as a key element of the future electricity systems and a key step toward the transition to renewables . Nonetheless, the global speed of ESS implementation is relatively slow, and among possible reasons is the lack of viable business models. We developed an agent-based model to simulate the behavior of ESS within the Dutch electricity market. We adopted an exploratory modeling analysis (EMA) approach to investigate the effects of two specific business models on the value of ESS from the perspective of both investors and the government under uncertainties in the ESS technical and economics characteristics, and uncertainties in market conditions and regulations. Our results show ESS is not profitable in most scenarios, and generally wholesale arbitrage business model leads to more profit than reserve capacity. In addition, ESS economic and technical characteristics play more important roles in the value of ESS than market conditions, and carbon pricing.


title: A Canonical Complex Structure and the Bosonic Signature Operator for Scalar Fields in Globally Hyperbolic Spacetimes

abstract: The bosonic signature operator is defined for Klein-Gordon fields and massless scalar fields on globally hyperbolic Lorentzian manifolds of infinite lifetime. The construction is based on an analysis of families of solutions of the Klein-Gordon equation with a varying mass parameter. It makes use of the so-called bosonic mass oscillation property which states that integrating over the mass parameter generates decay of the field at infinity. We derive a canonical decomposition of the solution space of the Klein-Gordon equation into two subspaces, independent of observers or the choice of coordinates. This decomposition endows the solution space with a canonical complex structure. It also gives rise to a distinguished quasi-free state. Taking a suitable limit where the mass tends to zero, we obtain corresponding results for massless fields. Our constructions and results are illustrated in the examples of Minkowski space and ultrastatic spacetimes.


title: SOIT: Segmenting Objects with Instance-Aware Transformers

abstract: This paper presents an end-to-end instance segmentation framework, termed SOIT, that Segments Objects with Instance-aware Transformers. Inspired by DETR \cite{carion2020end}, our method views instance segmentation as a direct set prediction problem and effectively removes the need for many hand-crafted components like RoI cropping, one-to-many label assignment, and non-maximum suppression (NMS). In SOIT, multiple queries are learned to directly reason a set of object embeddings of semantic category, bounding-box location, and pixel-wise mask in parallel under the global image context. The class and bounding-box can be easily embedded by a fixed-length vector. The pixel-wise mask, especially, is embedded by a group of parameters to construct a lightweight instance-aware transformer. Afterward, a full-resolution mask is produced by the instance-aware transformer without involving any RoI-based operation. Overall, SOIT introduces a simple single-stage instance segmentation framework that is both RoI- and NMS-free. Experimental results on the MS COCO dataset demonstrate that SOIT outperforms state-of-the-art instance segmentation approaches significantly. Moreover, the joint learning of multiple tasks in a unified query embedding can also substantially improve the detection performance. Code is available at \url{https://github.com/yuxiaodongHRI/SOIT}.


title: Anomalous ambipolar transport in depleted GaAs nanowires

abstract: We have used a polarized microluminescence technique to investigate photocarrier charge and spin transport in n-type depleted GaAs nanowires ($ \approx 10^{17}$ cm$^{-3}$ doping level). At 6K, a long-distance tail appears in the luminescence spatial profile, indicative of charge and spin transport, only limited by the length of the NW. This tail is independent on excitation power and temperature. Using a self-consistent calculation based on the drift-diffusion and Poisson equations as well as on photocarrier statistics (Van Roosbroeck model), it is found that this tail is due to photocarrier drift in an internal electric field nearly two orders of magnitude larger than electric fields predicted by the usual ambipolar model. This large electric field appears because of two effects. Firstly, for transport in the spatial fluctuations of the conduction band minimum and valence band maximum, the electron mobility is activated by the internal electric field. This implies, in a counter intuitive way, that the spatial fluctuations favor long distance transport. Secondly, the range of carrier transport is further increased because of the finite NW length, an effect which plays a key role in one-dimensional systems.


title: A finite sum involving generalized falling factorial polynomials and degenerate Eulerian polynomials

abstract: The aim of this paper is twofold. Firstly, we investigate a finite sum involving the generalized falling factorial polynomials, in some special cases of which we express it in terms of the degenerate Stirling numbers of the second kind, the degenerate Bernoulli polynomials and the degenerate Frobenius-Euler polynomials. Secondly, we consider the degenerate Eulerian polynomials and deduce the generating function and a recurrence relation for them.


title: Distributed Machine Learning and the Semblance of Trust

abstract: The utilisation of large and diverse datasets for machine learning (ML) at scale is required to promote scientific insight into many meaningful problems. However, due to data governance regulations such as GDPR as well as ethical concerns, the aggregation of personal and sensitive data is problematic, which prompted the development of alternative strategies such as distributed ML (DML). Techniques such as Federated Learning (FL) allow the data owner to maintain data governance and perform model training locally without having to share their data. FL and related techniques are often described as privacy-preserving. We explain why this term is not appropriate and outline the risks associated with over-reliance on protocols that were not designed with formal definitions of privacy in mind. We further provide recommendations and examples on how such algorithms can be augmented to provide guarantees of governance, security, privacy and verifiability for a general ML audience without prior exposure to formal privacy techniques.


title: Geometry-Aware Unsupervised Domain Adaptation

abstract: Unsupervised Domain Adaptation (UDA) aims to transfer the knowledge from the labeled source domain to the unlabeled target domain in the presence of dataset shift. Most existing methods cannot address the domain alignment and class discrimination well, which may distort the intrinsic data structure for downstream tasks (e.g., classification). To this end, we propose a novel geometry-aware model to learn the transferability and discriminability simultaneously via nuclear norm optimization. We introduce the domain coherence and class orthogonality for UDA from the perspective of subspace geometry. The domain coherence will ensure the model has a larger capacity for learning separable representations, and class orthogonality will minimize the correlation between clusters to alleviate the misalignment. So, they are consistent and can benefit from each other. Besides, we provide a theoretical insight into the norm-based learning literature in UDA, which ensures the interpretability of our model. We show that the norms of domains and clusters are expected to be larger and smaller to enhance the transferability and discriminability, respectively. Extensive experimental results on standard UDA datasets demonstrate the effectiveness of our theory and model.


title: Investigation of a submerged fully passive energy-extracting flapping foil operating in sheared inflow

abstract: In this work a fully passive energy harvesting foil is studied computationally. An in-house 2nd order finite volume CFD solver, MaPFlow, is strongly coupled with a rigid body dynamics solver to investigate the foil operation under uniform and sheared inflow conditions with/without free surface. The mesh follows the airfoil motion using a radial basis function (RBF) mesh deformation approach. Initially, MaPFlow predictions are compared to experimental and numerical results available in the literature, where reasonable agreement is found. Next, one-phase simulations are considered for linearly sheared inflow for various shear rates. Results suggested that foil performance can be enhanced under sheared inflow conditions. Finally, two-phase simulations taking into account the free surface, for both uniform and sheared inflow, are considered. Predictions indicate a significant deterioration in performance of the system when the foil operates under the free surface due to the interaction of the shed vorticity with the free surface.


title: Spin accumulation without spin current

abstract: The spin Hall (SH) effect is a phenomenon in which the spin current flows perpendicular to an applied electric field and causes the spin accumulation at the boundaries. However, in the presence of spin-orbit couplings, the spin current is not well defined. Here, we calculate the spin response to an electric-field gradient, which naturally appears at the boundaries. We derive a generic formula using the Bloch wave functions and the phenomenological relaxation time. We also calculate the response for the uniform Rashba model with $\delta$-function nonmagnetic disorder within the first-order Born approximation and corresponding vertex corrections. We find the nonzero spin accumulation, although the SH conductivity exactly vanishes.


title: Extending Merge Resolution to a Family of Proof Systems

abstract: Merge Resolution (MRes [Beyersdorff et al. J. Autom. Reason.'2021]) is a recently introduced proof system for false QBFs. It stores the countermodels as merge maps. Merge maps are deterministic branching programs in which isomorphism checking is efficient making MRes a polynomial time verifiable proof system. In this paper, we introduce a family of proof systems MRes-R in which, the countermodels are stored in any pre-fixed complete representation R, instead of merge maps. Hence corresponding to each such R, we have a sound and refutationally complete QBF-proof system in MRes-R. To handle arbitrary representations for the strategies, we introduce consistency checking rules in MRes-R instead of isomorphism checking. As a result these proof systems are not polynomial time verifiable. Consequently, the paper shows that using merge maps is too restrictive and can be replaced with arbitrary representations leading to several interesting proof systems. Exploring proof theoretic properties of MRes-R, we show that eFrege+$\forall$red simulates all valid refutations from proof systems in MRes-R. In order to simulate arbitrary representations in MRes-R, we first represent the steps used by the proof systems as a new complete structure. Consequently, the corresponding proof system belonging to MRes-R is able to simulate all proof systems in MRes-R. Finally, we simulate this proof system via eFrege+$\forall$red using the ideas from [Chew et al. ECCC.'2021]. On the lower bound side, we show that the completion principle formulas from [Jonata et al. Theor. Comput. Sci.'2015] which are shown to be hard for regular MRes in [Beyersdorff et al. FSTTCS.'2020], are also hard for any regular proof system in MRes-R. Thereby, the paper lifts the lower bound of regular MRes to an entire class of proof systems, which use some complete representation, including those undiscovered, instead of merge maps.


title: Local Strong Convexity of Source Localization and Error Bound for Target Tracking under Time-of-Arrival Measurements

abstract: In this paper, we consider a time-varying optimization approach to the problem of tracking a moving target using noisy time-of-arrival (TOA) measurements. Specifically, we formulate the problem as that of sequential TOA-based source localization and apply online gradient descent (OGD) to it to generate the position estimates of the target. To analyze the tracking performance of OGD, we first revisit the classic least-squares formulation of the (static) TOA-based source localization problem and elucidate its estimation and geometric properties. In particular, under standard assumptions on the TOA measurement model, we establish a bound on the distance between an optimal solution to the least-squares formulation and the true target position. Using this bound, we show that the loss function in the formulation, albeit non-convex in general, is locally strongly convex at its global minima. To the best of our knowledge, these results are new and can be of independent interest. By combining them with existing techniques from online strongly convex optimization, we then establish the first non-trivial bound on the cumulative target tracking error of OGD. Our numerical results corroborate the theoretical findings and show that OGD can effectively track the target at different noise levels.


title: A randomized measurement toolbox for an interacting Rydberg-atom quantum simulator

abstract: We present a toolbox to probe quantum many-body states implemented on Rydberg-atoms quantum hardware via randomized measurements. We illustrate the efficacy of this measurement toolbox in the context of probing entanglement, via the estimation of the purity, and of verifying a ground-state preparation using measurements of the Hamiltonian variance. To achieve this goal, we develop and discuss in detail a protocol to realize independent, local unitary rotations. We benchmark the protocol by investigating the ground state of the one-dimensional SSH model, recently realized on a chain of Rydberg atom, and the state resulting after a sudden quench in a staggered XY chain. We probe the robustness of our toolbox by taking into account experimental imperfections, such as pulse fluctuations and measurement errors.

categories: quant-ph cond-mat.quant-gas cond-mat.stat-mech physics.atom-ph physics.comp-ph


title: Record high $T_{\rm c}$ and robust superconductivity in transition metal $\delta$-Ti phase at megabar pressure

abstract: We report a record high superconducting transition temperature ($T_{\rm c}$) up to 23.6 K under high pressure in the elemental metal Ti, one of the top ten most abundant elements in Earth's crust. The $T_{\rm c}$ increases monotonically from 2.3 K at 40.3 GPa to 23.6 K at 144.9 GPa, which surpasses all known records from elemental metals reported so far. With further compression, a robust $T_{\rm c}$ of ~23 K is observed between 144.9 and 183 GPa in the $\delta$-Ti phase. The pressure-dependent $T_{\rm c}$ can be well described by the conventional electron-phonon coupling (EPC) mechanism. Density Functional Theory calculations show the Fermi nesting and the phonon softening of optical branches at the $\gamma$-Ti to $\delta$-Ti phase transition pressure enhance EPC, which results in the record high $T_{\rm c}$. We attribute the robust superconductivity in $\delta$-Ti to the apparent robustness of its strong EPC against lattice compression. These results provide new insight into exploring new high-$T_{\rm c}$ elemental metals and Ti-based superconducting alloys.


title: First-principles phonon calculations for lattice dynamics, thermal expansion and lattice thermal conductivity of CoSi at high temperature region

abstract: This study presents the first-principles phonon calculations to understand the experimental thermal expansion ($\alpha(T)$) and lattice thermal conductivity ($\kappa_{L}$) of CoSi at high temperature region. Phonon dispersion is computed using finite displacement method and supercell approach by taking the equilibrium crystal structures obtained from DFT. The calculation of $\alpha(T)$ is done under quasi-harmonic approximation. The $\kappa_{L}$ is calculated using first-principle anharmonic lattice dynamics calculations under single-mode relaxation time approximation. Calculated $\alpha(T)$ in the temperature range $0-1300$ K gives the good match with existing experimental data. The calculated value of $\kappa_{L}$ ($\sim$8.0 W/m-K) at 300 K is found to be in good agreement with the experimental value of $\sim$8.3 W/m-K. The temperature dependent of phonon lifetime due to phonon-phonon interaction is calculated to understand the behaviour of $\kappa_{L}$. Present study suggests that ground state phonon dispersion obtained from DFT based methods gives reasonably good explanation of experimental $\alpha(T)$ and $\kappa_{L}$.


title: Baryonic form factors of the pion and kaon in a chiral quark model

abstract: The baryonic form factor of charged pions is studied in detail in the Nambu--Jona-Lasinio model with constituent quarks, where the spontaneously broken chiral symmetry is the key dynamical ingredient guaranteeing the would-be Goldstone boson nature of the pseudoscalar mesons octet. In general, this form factor arises when the isospin symmetry is broken, which is the case if the $u$ and $d$ quark masses are split, as in the real world, or if the electromagnetic effects were taken into account. We obtain estimates for this basic property of the pion resulting from the quark mass splitting for a range of model parameters, and importantly, for different pion masses, going up to the values used in lattice QCD. We find very stable model results, with the mean square radius of $\pi^+$ in the range $(0.05-0.07~{\rm fm})^2$. From charge conjugation, the baryonic form factor of $\pi^+$ and $\pi^-$ are equal and opposite. We also obtain the transverse-coordinate, relativistically invariant baryonic density of the charged pion. In $\pi^+$, the inner region carries a negative, and the outside -- a positive baryon number density, both cancelling to zero, as obviously the pion carries no net baryon charge. We also carry out an analogous analysis for the kaon, where the effect is much larger due to the sizable $s$ and $u/d$ quark mass splitting. We discuss the prospects of lattice QCD measurements of the baryonic form factors of charged pions and kaons.


title: DensityTool: A post-processing tool for space- and spin-resolved density of states from VASP

abstract: The knowledge of the local electronic structure of heterogeneous solid materials is crucial for understanding their electronic, magnetic, transport, optical, and other properties. VASP, one of the mostly used packages for density-functional calculations, provides local electronic structure either by projecting the electronic wave functions on atomic spheres, or as a band-decomposed partial charge density. Here, we present a simple tool which takes the partial charge density and the energy eigenvalues calculated by VASP as input and constructs local charge and spin densities. The new data provides a much better spatial resolution than the projection on the atomic spheres. It can be visualized directly in the real space e.g. with Vesta, or averaged along planes spanned by two of the lattice vectors of the periodic unit cell. The plane-averaged local (spin) density of states can be easily plotted e.g. as color-coded data using almost any plotting program. DensityTool can be applied to manipulate, visualize, and understand the local electronic structure of any system calculated with VASP. We expect it to be useful especially for researchers concerned with inhomogeneous systems, such as interfaces, defects, surfaces, adsorbed molecules, or hybrid inorganic-organic composites.


title: A Feynman-Kac approach for the spatial derivative of the solution to the Wick stochastic heat equation driven by time homogeneous white noise

abstract: We consider the (unique) mild solution $u(t,x)$ of a 1-dimensional stochastic heat equation on $[0,T]\times\mathbb R$ driven by time-homogeneous white noise in the Wick-Skorokhod sense. The main result of this paper is the computation of the spatial derivative of $u(t,x)$, denoted by $\partial_x u(t,x)$, and its representation as a Feynman-Kac type closed form. The chaos expansion of $\partial_x u(t,x)$ makes it possible to find its (optimal) H\"older regularity especially in space.


title: Predicting Job Titles from Job Descriptions with Multi-label Text Classification

abstract: Finding a suitable job and hunting for eligible candidates are important to job seeking and human resource agencies. With the vast information about job descriptions, employees and employers need assistance to automatically detect job titles based on job description texts. In this paper, we propose the multi-label classification approach for predicting relevant job titles from job description texts, and implement the Bi-GRU-LSTM-CNN with different pre-trained language models to apply for the job titles prediction problem. The BERT with multilingual pre-trained model obtains the highest result by F1-scores on both development and test sets, which are 62.20% on the development set, and 47.44% on the test set.


title: The interaction of multiple bubbles in a Hele-Shaw channel

abstract: We study the dynamics of two air bubbles driven by the motion of a suspending viscous fluid in a Hele-Shaw channel with a small elevation along its centreline via physical experiment and numerical simulation of a depth-averaged model. For a single-bubble system we establish that, in general, bubble propagation speed monotonically increases with bubble volume so that two bubbles of different sizes, in the absence of any hydrodynamic interactions will either coalesce or separate in a finite time. However our experiments indicate that the bubbles interact and that an unstable two-bubble state is responsible for the eventual dynamical outcome: coalescence or separation. These results motivate us to develop an edge-tracking routine and calculate these weakly unstable two-bubble steady states from the governing equations. The steady states consist of pairs of `aligned' bubbles that appear on the same side of the centreline with the larger bubble leading. We also discover, through time-simulations and physical experiment, another class of two-bubble states which, surprisingly, consist of stable two-bubble steady states. In contrast to the `aligned' steady states, these bubbles appear either side of the centreline and are `offset' from each other. We calculate the bifurcation structures of both classes of steady states as the flow-rate and bubble volume ratio is varied. We find that they exhibit intriguing similarities to the single-bubble bifurcation structure, which has implications for the existence of $n$-bubble steady states.


title: Determination of Proton Parton Distribution Functions using ATLAS Data

abstract: Using differential cross-section data of inclusive $W$ and $Z/\gamma^\ast$ boson production and of their production in association with jets, and differential cross-section data of top-quark pair production in the lepton + jets and dilepton channels in proton$-$proton collisions at the CERN Large Hadron Collider at center-of-mass energies of $\sqrt{s}=7$ and 8 TeV, together with deep inelastic scattering data from electron$-$proton collisions at the HERA collider, several determinations of parton distribution functions of the proton have been performed by the ATLAS experiment. The results are presented here. The emphasis is given to the determination of the strange sea quark distribution and its evolution over time.


title: A Scalable Deep Reinforcement Learning Model for Online Scheduling Coflows of Multi-Stage Jobs for High Performance Computing

abstract: Coflow is a recently proposed networking abstraction to help improve the communication performance of data-parallel computing jobs. In multi-stage jobs, each job consists of multiple coflows and is represented by a Directed Acyclic Graph (DAG). Efficiently scheduling coflows is critical to improve the data-parallel computing performance in data centers. Compared with hand-tuned scheduling heuristics, existing work DeepWeave [1] utilizes Reinforcement Learning (RL) framework to generate highly-efficient coflow scheduling policies automatically. It employs a graph neural network (GNN) to encode the job information in a set of embedding vectors, and feeds a flat embedding vector containing the whole job information to the policy network. However, this method has poor scalability as it is unable to cope with jobs represented by DAGs of arbitrary sizes and shapes, which requires a large policy network for processing a high-dimensional embedding vector that is difficult to train. In this paper, we first utilize a directed acyclic graph neural network (DAGNN) to process the input and propose a novel Pipelined-DAGNN, which can effectively speed up the feature extraction process of the DAGNN. Next, we feed the embedding sequence composed of schedulable coflows instead of a flat embedding of all coflows to the policy network, and output a priority sequence, which makes the size of the policy network depend on only the dimension of features instead of the product of dimension and number of nodes in the job's DAG.Furthermore, to improve the accuracy of the priority scheduling policy, we incorporate the Self-Attention Mechanism into a deep RL model to capture the interaction between different parts of the embedding sequence to make the output priority scores relevant. Based on this model, we then develop a coflow scheduling algorithm for online multi-stage jobs.


title: Regularity theory and geometry of unbalanced optimal transport

abstract: Using the dual formulation only, we show that regularity of unbalanced optimal transport also called entropy-transport inherits from regularity of standard optimal transport. We then provide detailed examples of Riemannian manifolds and costs for which unbalanced optimal transport is regular.Among all entropy-transport formulations, Wasserstein-Fisher-Rao metric, also called Hellinger-Kantorovich, stands out since it admits a dynamic formulation, which extends the Benamou-Brenier formulation of optimal transport. After demonstrating the equivalence between dynamic and static formulations on a closed Riemannian manifold, we prove a polar factorization theorem, similar to the one due to Brenier and Mc-Cann. As a byproduct, we formulate the Monge-Amp{\`e}re equation associated with Wasserstein-Fisher-Rao metric, which also holds for more general costs.


title: Hot Circumsingle Disks Drive Binary Black Hole Mergers in Active Galactic Nucleus Disks

abstract: Binary black hole (BBH) mergers, particularly those with component masses in the pair-instability gap, may be produced by hierarchical mergers in the disks surrounding Active Galactic Nuclei (AGN). While the interaction of an embedded BBH with an AGN disk is typically assumed to facilitate a merger, recent high-resolution hydrodynamical simulations challenge this assumption. However, these simulations often have simplified treatments for the gas thermodynamics. In this work, we model the possible consequence of various feedback from an embedded BBH with a simple model that maintains an enhanced temperature profile around each binary component. We show that when the minidisks around each BH become hotter than the background by a factor of three, the BBH orbital evolution switches from expansion to contraction. By analyzing the gravitational torque profile, we find that this change in direction is driven by a weakening of the minidisk spirals and their positive torque on the binary. Our results highlight the important role of thermodynamics around BBHs and its effect on their orbital evolution, suggesting that AGN disks could be efficient factories for BBH mergers.


title: Toffoli gate based on a three-body fine-structure-state-changing F\"orster resonance in Rydberg atoms

abstract: We have developed an improved scheme of a three-qubit Toffoli gate based on fine structure state changing three-body Stark-tuned Rydberg interaction. This scheme is a substantial improvement of our previous proposal [I.I.Beterov et al., Physical Review A 98, 042704 (2018)]. Due to the use of a different type of three-body F\"orster resonance we substantially simplified the scheme of laser excitation and phase dynamics of collective three-body states. This type of F\"orster resonance exists only in systems with more than two atoms, while the two-body resonance is absent. We reduced the sensitivity of the gate fidelity to fluctuations of external electric field and eliminated the necessity to use external magnetic field for fine tuning of the resonant electric field value, compared to the previous scheme of Toffoli gate based on Rydberg atoms. A gate fidelity of >99% was demonstrated in the calculations.


title: A level-set approach to the control of state-constrained McKean-Vlasov equations: application to renewable energy storage and portfolio selection

abstract: We consider the control of McKean-Vlasov dynamics (or mean-field control) with probabilistic state constraints. We rely on a level-set approach which provides a representation of the constrained problem in terms of an unconstrained one with exact penalization and running maximum or integral cost. The method is then extended to the common noise setting. Our work extends (Bokanowski, Picarelli, and Zidani, SIAM J. Control Optim. 54.5 (2016), pp. 2568--2593) and (Bokanowski, Picarelli, and Zidani, Appl. Math. Optim. 71 (2015), pp. 125--163) to a mean-field setting. The reformulation as an unconstrained problem is particularly suitable for the numerical resolution of the problem, that is achieved from an extension of a machine learning algorithm from (Carmona, Lauri{\`e}re, arXiv:1908.01613 to appear in Ann. Appl. Prob., 2019). A first application concerns the storage of renewable electricity in the presence of mean-field price impact and another one focuses on a mean-variance portfolio selection problem with probabilistic constraints on the wealth. We also illustrate our approach for a direct numerical resolution of the primal Markowitz continuous-time problem without relying on duality.


title: A study of the elastic $\pi N$ scattering at finite baryon density

abstract: We investigate the elastic $\pi N$ scattering for the $I=3/2$ channel dominated by the $\Delta(1232)$ resonance at finite baryon density $\rho_B$ for the symmetric nuclear matter, employing the effective Lagrangian approach at the tree-level Born approximation. The quark-meson coupling (QMC) model and linear-density approximation are employed to describe the medium modifications for the in-medium baryon properties, such as the nucleon and $\Delta$ masses, and $\Delta$ full decay width. We first reproduce the experimental data in vacuum by fitting the model parameters, then analyze various physical observables including total and differential cross sections, proton-spin asymmetry in medium. It turns out that the $\Delta$-resonance contribution becomes diminished with respect to $\rho_B$, due to the weaker $\pi N$-interaction strength in medium. Beyond the $\Delta$-resonance region $\sqrt{s}\gtrsim1.5$ GeV, the cross sections are almost independent of the density. The present results will be useful to understand the role of the $\Delta$ resonance in the neutron-star equation of state (EoS) as well as in relativistic heavy-ion collision experiments.


title: Online programming system for robotic fillet welding in Industry 4.0

abstract: Fillet welding is one of the most widespread types of welding in the industry, which is still carried out manually or automated by contact. This paper aims to describe an online programming system for noncontact fillet welding robots with U and L shaped structures, which responds to the needs of the Fourth Industrial Revolution. In this paper, the authors propose an online robot programming methodology that eliminates unnecessary steps traditionally performed in robotic welding, so that the operator only performs three steps to complete the welding task. First, choose the piece to weld. Then, enter the welding parameters. Finally, it sends the automatically generated program to the robot. The system finally managed to perform the fillet welding task with the proposed method in a more efficient preparation time than the compared methods. For this, a reduced number of components was used compared to other systems, such as, a structured light 3D camera, two computers and a concentrator, in addition to the six axis industrial robotic arm. The operating complexity of the system has been reduced as much as possible. To the best of the authors knowledge, there is no scientific or commercial evidence of an online robot programming system capable of performing a fillet welding process, simplifying the process so that it is completely transparent for the operator and framed in the Industry 4.0 paradigm. Its commercial potential lies mainly in its simple and low cost implementation in a flexible system capable of adapting to any industrial fillet welding job and to any support that can accommodate it.


title: L-types for resource awareness: an implicit name approach

abstract: Since the early work of Church on $\lambda$I-calculus and Gentzen on structural rules, the control of variable use has gained an important role in computation and logic emerging different resource aware calculi and substructural logics with applications to programming language and compiler design. This paper presents the first formalization of variable control in calculi with implicit names based on de Bruijn indices. We design and implement three calculi: first, a restricted calculus with implicit names; then, a restricted calculus with implicit names and explicit substitution, and finally, an extended calculus with implicit names and resource control. We propose a novel concept of L-types, which are used (a) to define terms and (b) to characterize certain classes of terms in each of the presented calculi. We have adopted to work simultaneously on the design and implementation in Haskell and Agda. The benefit of this strategy is twofold: dependent types enable to express and check properties of programs in the type system and constructive proofs of preservation enable a constructive evaluator for terms (programs).


title: On the Schr\"odinger Equation for Time-Dependent Hamiltonians with a Constant Form Domain

abstract: We study two seminal approaches, developed by B. Simon and J. Kisy\'nski, to the well-posedness of the Schr\"odinger equation with a time-dependent Hamiltonian. In both cases the Hamiltonian is assumed to be semibounded from below and to have constant form domain but a possibly non-constant operator domain. The problem is addressed in the abstract setting, without assuming any specific functional expression for the Hamiltonian. The connection between the two approaches is the relation between sesquilinear forms and the bounded linear operators representing them. We provide a characterization of continuity and differentiability properties of form-valued and operator-valued functions which enables an extensive comparison between the two approaches and their technical assumptions.


title: Ranking and Selection from Pairwise Comparisons: Empirical Bayes Methods for Citation Analysis

abstract: We study the Stigler model of citation flows among journals adapting the pairwise comparison model of Bradley and Terry to do ranking and selection of journal influence based on nonparametric empirical Bayes procedures. Comparisons with several other rankings are made.


title: Leveraging Image Complexity in Macro-Level Neural Network Design for Medical Image Segmentation

abstract: Recent progress in encoder-decoder neural network architecture design has led to significant performance improvements in a wide range of medical image segmentation tasks. However, state-of-the-art networks for a given task may be too computationally demanding to run on affordable hardware, and thus users often resort to practical workarounds by modifying various macro-level design aspects. Two common examples are downsampling of the input images and reducing the network depth to meet computer memory constraints. In this paper we investigate the effects of these changes on segmentation performance and show that image complexity can be used as a guideline in choosing what is best for a given dataset. We consider four statistical measures to quantify image complexity and evaluate their suitability on ten different public datasets. For the purpose of our experiments we also propose two new encoder-decoder architectures representing shallow and deep networks that are more memory efficient than currently popular networks. Our results suggest that median frequency is the best complexity measure in deciding about an acceptable input downsampling factor and network depth. For high-complexity datasets, a shallow network running on the original images may yield better segmentation results than a deep network running on downsampled images, whereas the opposite may be the case for low-complexity images.


title: Connections between the shadow radius and the quasinormal modes of Kerr-Sen black hole

abstract: The correspondence between the shadow radius and the quasi-normal modes of the Kerr-Sen black hole is studied. By using the equation of the shadow radius of the Kerr-Sen black hole and the angular separation constant of the quasi-normal modes, the expression of the real part of quasi-normal modes related to the shadow radius is obtained. We found that in the eikonal limit, our formula coincides with the previous result. Moreover, we also calculate the energy emission rate of the Kerr-Sen black hole, it turns out that the peak energy emissivity is inversely correlated with the charge parameter.


title: A dynamical scan path model for task-dependence during scene viewing

abstract: In real-world scene perception human observers generate sequences of fixations to move image patches into the high-acuity center of the visual field. Models of visual attention developed over the last 25 years aim to predict two-dimensional probabilities of gaze positions for a given image via saliency maps. Recently, progress has been made on models for the generation of scan paths under the constraints of saliency as well as attentional and oculomotor restrictions. Experimental research demonstrated that task constraints can have a strong impact on viewing behavior. Here we propose a scan path model for both fixation positions and fixation durations, which includes influences of task instructions and interindividual differences. Based on an eye-movement experiment with four different task conditions, we estimated model parameters for each individual observer and task condition using a fully Bayesian dynamical modeling framework using a joint spatial-temporal likelihood approach with sequential estimation. Resulting parameter values demonstrate that model properties such as the attentional span are adjusted to task requirements. Posterior predictive checks indicate that our dynamical model can reproduce task differences in scan path statistics across individual observers.


title: Study of dust-induced beam losses in the cryogenic arcs of the CERN Large Hadron Collider

abstract: The interaction of dust particles with the LHC proton beams accounts for a major fraction of irregular beam loss events observed in LHC physics operation. The events cease after a few beam revolutions because of the expulsion of dust particles from the beam once they become ionized in the transverse beam tails. Despite the transient nature of these events, the resulting beam losses can trigger beam aborts or provoke quenches of superconducting magnets. In this paper, we study the characteristics of beam-dust particle interactions in the cryogenic arcs by reconstructing key observables like nuclear collision rates, loss durations and integral losses per event. The study is based on events recorded during 6.5 TeV operation with stored beam intensities of up to $\sim 3\times 10{^{14}}$ protons per beam. We show that inelastic collision rates can reach almost $10^{12}$ collisions per second, resulting in a loss of up to $\sim 1.6\times 10^{8}$ protons per event. We demonstrate that the experimental distributions and their dependence on beam parameters can be described quantitatively by a previously developed simulation model if dust particles are assumed to be attracted by the beam. The latter finding is consistent with recent time profile studies and yields further evidence that dust particles carry a negative charge when entering the beam. We also develop different hypotheses regarding the absence of higher-loss events in the measurements, although such events are theoretically not excluded by the simulation model. The results provide grounds for predicting dust-induced beam losses in presence of higher-intensity beams in future runs of the High-Luminosity LHC.


title: Long time behavior for a curvature flow of networks related to grain bundary motion with the effect of lattice misorientations

abstract: The mathematical model of grain boundary motion, including lattice misorientations' effect, is considered. When time-dependent lattice misorientations are state variables of the surface tension of the grain boundary, to ensure the energy dissipation law, one can obtain a curvature flow of networks with time-dependent mobilities. This paper studies the solvability and long-time asymptotic behavior of the curvature flow subjected to the Herring condition which ensures that the constituent grain boundary surface tensions are balanced at the triple junction.


title: An Inference Approach To Question Answering Over Knowledge Graphs

abstract: Knowledge Graphs (KG) act as a great tool for holding distilled information from large natural language text corpora. The problem of natural language querying over knowledge graphs is essential for the human consumption of this information. This problem is typically addressed by converting the natural language query to a structured query and then firing the structured query on the KG. Direct answering models over knowledge graphs in literature are very few. The query conversion models and direct models both require specific training data pertaining to the domain of the knowledge graph. In this work, we convert the problem of natural language querying over knowledge graphs to an inference problem over premise-hypothesis pairs. Using trained deep learning models for the converted proxy inferencing problem, we provide the solution for the original natural language querying problem. Our method achieves over 90% accuracy on MetaQA dataset, beating the existing state-of-the-art. We also propose a model for inferencing called Hierarchical Recurrent Path Encoder(HRPE). The inferencing models can be fine-tuned to be used across domains with less training data. Our approach does not require large domain-specific training data for querying on new knowledge graphs from different domains.


title: Explanation of Machine Learning Models Using Shapley Additive Explanation and Application for Real Data in Hospital

abstract: When using machine learning techniques in decision-making processes, the interpretability of the models is important. In the present paper, we adopted the Shapley additive explanation (SHAP), which is based on fair profit allocation among many stakeholders depending on their contribution, for interpreting a gradient-boosting decision tree model using hospital data. For better interpretability, we propose two novel techniques as follows: (1) a new metric of feature importance using SHAP and (2) a technique termed feature packing, which packs multiple similar features into one grouped feature to allow an easier understanding of the model without reconstruction of the model. We then compared the explanation results between the SHAP framework and existing methods. In addition, we showed how the A/G ratio works as an important prognostic factor for cerebral infarction using our hospital data and proposed techniques.


title: Scalable Multi-Chain Coordination via the Hierarchical Longest Chain Rule

abstract: This paper introduces BlockReduce, a Proof-of-Work (PoW) based blockchain system which achieves high transaction throughput through a hierarchy of merged mined blockchains, each operating in parallel on a partition the overall application state. Most notably, the full PoW available within the network is applied to all blockchains in BlockReduce, and cross-blockchain state transitions are enabled seamlessly within the core protocol. This paper shows that, given a hierarchy of blockchains and its associated security model, the protocol scales superlinearly in transaction throughput with the number of blockchains operated by the protocol.


title: Spectral Correspondences for Rank One Locally Symmetric Spaces -- The Case of Exceptional Parameters

abstract: In this paper we complete the program of relating the Laplace spectrum for rank one compact locally symmetric spaces with the first band Ruelle-Pollicott resonances of the geodesic flow on its sphere bundle. This program was started by Flaminio and Forni for hyperbolic surfaces, continued by Dyatlov, Faure and Guillarmou for real hyperbolic spaces and by Guillarmou, Hilgert and Weich for general rank one spaces. Except for the case of hyperbolic surfaces a countable set of exceptional spectral parameters always left untreated since the corresponding Poisson transforms are neither injective nor surjective. We use vector valued Poisson transforms to treat also the exceptional spectral parameters. For surfaces the exceptional spectral parameters lead to discrete series representations of $\mathrm{SL}(2,\mathbb R)$. In higher dimensions the situation is more complicated, but can be described completely.


title: New Method for Computing zeros of monotone maps in Lebesgue spaces with applications to integral equations, fixed points, optimization, and variational inequality problems

abstract: Let $E = L_p, \; 1<p\leq 2,$ and $A : E \to E^*$ be a bounded monotone map such that $0 \in R(A)$. In this paper, we introduce and study an algorithm for approximating zeros of $A$. Furthermore, we study the application of this algorithm to the approximation of Hammerstein integral equations, fixed points, convex optimization, and variational inequality problems. Finally, we present numerical and illustrative examples of our results and their applications.


title: Diffraction gratings based on multilayer silicon nitride waveguide with high upward efficiency and large effective length

abstract: Diffraction gratings with high upward diffraction efficiency and large effective length are required for chip-scale light detection and ranging. In this paper, we propose a diffraction grating based on a multilayer silicon nitride waveguide, which theoretically achieves an upward diffraction efficiency of 92$\%$, a near-field effective length of 376 $\mu m$ and a far-field divergence angle of 0.105$^{\circ}$ at a wavelength of 850 nm. The diffraction grating has a high tolerance to process variations based on Monte Carlo Analysis. When the conditions are $\pm$5$\%$ layer thickness variation, $\pm$50 nm lithographic variation and $\pm$20 nm wavelength drift, more than 71$\%$ of the grating samples have a diffraction efficiency higher than 80$\%$, and 100$\%$ of the samples have an effective length larger than 200 $\mu m$ (corresponding to a far-field divergence <0.2$ ^{\circ}$). Furthermore, the near-field effective length of the grating with an upward diffraction efficiency above 90$\%$ can be adjusted from hundreds of microns to centimeters by changing the etching layer thickness and the grating duty cycle. This diffraction grating has potential application in optical sensing and imaging from visible to near-infrared wavelengths.


title: Electronic structure of rare-earth mononitrides: quasiatomic excitations and semiconducting bands

abstract: The electronic structure of the rare-earth mononitrides LnN (where Ln=rare-earth), which are promising materials for future spintronics applications, is difficult to resolve experimentally due to a strong influence of defects on their transport and optical properties. At the same time, LnN are challenging for theory, since wide semiconducting/semimetallic 2p and 5d bands need to be described simultaneously with strongly correlated 4f states. Here, we calculate the many-body spectral functions and optical gaps of a series of LnN (with Ln= Pr, Nd, Sm, Gd, Tb, Dy, Ho, Er) by a density-functional+dynamical mean-field theory (DFT+DMFT) approach treating the correlated Ln 4f shells within the quasi-atomic Hubbard-I approximation. The on-site Coulomb interaction in the 4f shell is evaluated by a constrained DFT+Hubbard-I approach. Furthermore, to improve the treatment of semiconducting bands in DFT+DMFT, we employ the modified Becke-Johnson semilocal exchange potential. Focusing on the paramagnetic high-temperature phase, we find that all investigated LnN are pd semiconductors with gap values ranging from 1.02 to 2.14 eV along the series. The pd band gap is direct for light Ln= La...Sm and becomes indirect for heavy rare-earths. Despite a pronounced evolution of the Ln 4f states along the series, empty 4f states are invariably found above the bottom of the 5d conduction band. The calculated spectra agree well with those available from x-ray photoemission, x-ray emission and x-ray absorption measurements.


title: A Small-Step Operational Semantics for GP 2

abstract: The operational semantics of a programming language is said to be small-step if each transition step is an atomic computation step in the language. A semantics with this property faithfully corresponds to the implementation of the language. The previous semantics of the graph programming language GP 2 is not fully small-step because the loop and branching commands are defined in big-step style. In this paper, we present a truly small-step operational semantics for GP 2 which, in particular, accurately models diverging computations. To obtain small-step definitions of all commands, we equip the transition relation with a stack of host graphs and associated operations. We prove that the new semantics is non-blocking in that every computation either diverges or eventually produces a result graph or the failure state. We also show the finite nondeterminism property, viz. that each configuration has only a finite number of direct successors. The previous semantics of GP 2 is neither non-blocking nor does it have the finite nondeterminism property. We also show that, for a program and a graph that terminate, both semantics are equivalent, and that the old semantics can be simulated with the new one.


title: RC-Net: A Convolutional Neural Network for Retinal Vessel Segmentation

abstract: Over recent years, increasingly complex approaches based on sophisticated convolutional neural network architectures have been slowly pushing performance on well-established benchmark datasets. In this paper, we take a step back to examine the real need for such complexity. We present RC-Net, a fully convolutional network, where the number of filters per layer is optimized to reduce feature overlapping and complexity. We also used skip connections to keep spatial information loss to a minimum by keeping the number of pooling operations in the network to a minimum. Two publicly available retinal vessel segmentation datasets were used in our experiments. In our experiments, RC-Net is quite competitive, outperforming alternatives vessels segmentation methods with two or even three orders of magnitude less trainable parameters.


title: Data fission: splitting a single data point

abstract: Suppose we observe a random vector $X$ from some distribution $P$ in a known family with unknown parameters. We ask the following question: when is it possible to split $X$ into two parts $f(X)$ and $g(X)$ such that neither part is sufficient to reconstruct $X$ by itself, but both together can recover $X$ fully, and the joint distribution of $(f(X),g(X))$ is tractable? As one example, if $X=(X_1,\dots,X_n)$ and $P$ is a product distribution, then for any $m<n$, we can split the sample to define $f(X)=(X_1,\dots,X_m)$ and $g(X)=(X_{m+1},\dots,X_n)$. Rasines and Young (2022) offers an alternative approach that uses additive Gaussian noise -- this enables post-selection inference in finite samples for Gaussian distributed data and asymptotically when errors are non-Gaussian. In this paper, we offer a more general methodology for achieving such a split in finite samples by borrowing ideas from Bayesian inference to yield a (frequentist) solution that can be viewed as a continuous analog of data splitting. We call our method data fission, as an alternative to data splitting, data carving and p-value masking. We exemplify the method on a few prototypical applications, such as post-selection inference for trend filtering and other regression problems.


title: Agglomeration-based geometric multigrid schemes for the Virtual Element Method

abstract: In this paper we analyse the convergence properties of two-level, W-cycle and V-cycle agglomeration-based geometric multigrid schemes for the numerical solution of the linear system of equations stemming from the lowest order $C^0$-conforming Virtual Element discretization of two-dimensional second-order elliptic partial differential equations. The sequence of agglomerated tessellations are nested, but the corresponding multilevel virtual discrete spaces are generally non-nested thus resulting into non-nested multigrid algorithms. We prove the uniform convergence of the two-level method with respect to the mesh size and the uniform convergence of the W-cycle and the V-cycle multigrid algorithms with respect to the mesh size and the number of levels. Numerical experiments confirm the theoretical findings.


title: RepMLPNet: Hierarchical Vision MLP with Re-parameterized Locality

abstract: Compared to convolutional layers, fully-connected (FC) layers are better at modeling the long-range dependencies but worse at capturing the local patterns, hence usually less favored for image recognition. In this paper, we propose a methodology, Locality Injection, to incorporate local priors into an FC layer via merging the trained parameters of a parallel conv kernel into the FC kernel. Locality Injection can be viewed as a novel Structural Re-parameterization method since it equivalently converts the structures via transforming the parameters. Based on that, we propose a multi-layer-perceptron (MLP) block named RepMLP Block, which uses three FC layers to extract features, and a novel architecture named RepMLPNet. The hierarchical design distinguishes RepMLPNet from the other concurrently proposed vision MLPs. As it produces feature maps of different levels, it qualifies as a backbone model for downstream tasks like semantic segmentation. Our results reveal that 1) Locality Injection is a general methodology for MLP models; 2) RepMLPNet has favorable accuracy-efficiency trade-off compared to the other MLPs; 3) RepMLPNet is the first MLP that seamlessly transfer to Cityscapes semantic segmentation. The code and models are available at https://github.com/DingXiaoH/RepMLP.


title: Fundamental regions for non-isometric group actions

abstract: We generalise results about isometric group actions on metric spaces and their fundamental regions to the context of merely continuous group actions. We will focus on results that yield the relative compactness of a fundamental region for a cocompact group action, which requires us to replace the condition of local finiteness by a strictly stronger condition. Finally we will give some applications of our results, including a necessary condition for homothetic transformation of a semi-Riemannian manifold to be essential.


title: Ab initio simulation of laser-induced electronic and vibrational coherence

abstract: The atomistic resolution recently achieved by ultrafast spectroscopies demands corresponding theoretical advances. Real-time time-dependent density-functional theory (RT-TDDFT) with Ehrenfest dynamics offers an optimal trade-off between accuracy and computational costs to study electronic and vibrational dynamics of laser-excited materials in the sub-picosecond regime. However, this approach is unable to account for thermal effects or zero-point energies which are crucial in the physics involved. Herein, we adopt a quantum-semiclassical method based on RT-TDDFT+Ehrenfest to simulate laser-induced electronic and vibrational coherences in condensed matter. With the example of carbon-conjugated molecules, we show that ensemble-averaging with initial configurations from a nuclear quantum distribution remedies many shortcomings of single-trajectory RT-TDDFT+Ehrenfest, damping electronic coherence and introducing ultrafast non-adiabatic coupling between excited states. As the number of sampled configurations decreases with size and rigidity of the compounds, computational costs remain moderate for large systems for which mean-field approaches shine. The explicit inclusion of a time-dependent pulse in the simulations makes this method a prime advance for first-principles studies of coherent nonlinear spectroscopy as an independent counterpart to experimental results.