title: Study on the multiple characteristics of M3 generation of pea mutants obtained by neutron irradiation

abstract: Irradiation breeding is an important technique in the effort to solve food shortages and improve the quality of agricultural products. In this study, a field test was implemented on the M3 generation of two mutant pea plants gained from previous neutron radiation of pea seeds. The relationship between agronomic characteristics and yields of the mutants was investigated. Moreover, differences in physiological and biochemical properties and seed nutrients were analyzed. The results demonstrated that the plant height, effective pods per plant, and yield per plant of mutant Leaf-M1 were 45.0%, 43.2%, and 50.9% higher than those of the control group. Further analysis attributed the increase in yield per plant to the increased branching number. The yield per plant of mutant Leaf-M2 was 7.8% higher than that of the control group, which could be related with the increased chlorophyll content in the leaves. There was a significant difference between the two mutants in the increase of yield per plant owing to morphological variation between the two mutants. There were significant differences in SOD activity and MDA content between the two mutants and the control, indicating that the physiological regulation of the two mutants also changed. In addition, the iron element content of seeds of the two mutants were about 10.9% lower than in the seeds of the control group, a significant difference. These findings indicate that the mutants Leaf-M1 and Leaf-M2 have breeding value and material value for molecular biological studies.


title: Noncommutative Poisson vertex algebras and Courant-Dorfman algebras

abstract: We introduce the notion of double Courant-Dorfman algebra and prove that it satisfies the so-called Kontsevich-Rosenberg principle, that is, a double Courant-Dorfman algebra induces Roytenberg's Courant-Dorfman algebras on the affine schemes parametrizing finite-dimensional representations of a noncommutative algebra. The main example is given by the direct sum of double derivations and noncommutative differential 1-forms, possibly twisted by a closed Karoubi-de Rham 3-form. To show that this basic example satisfies the required axioms, we first prove a variant of the Cartan identity $[L_X,L_Y]=L_{[X,Y]}$ for double derivations and Van den Bergh's double Schouten-Nijenhuis bracket. This new identity, together with noncommutative versions of the other Cartan identities already proved by Crawley-Boevey-Etingof-Ginzburg and Van den Bergh, establish the differential calculus on noncommutative differential forms and double derivations and should be of independent interest. Motivated by applications in the theory of noncommutative Hamiltonian PDEs, we also prove a one-to-one correspondence between double Courant-Dorfman algebras and double Poisson vertex algebras, introduced by De Sole-Kac-Valeri, that are freely generated in degrees 0 and 1.


title: Commutativity of central sequence algebras

abstract: The question of which separable C*-algebras have abelian central sequence algebras was raised and studied by Phillips ([Ph88]) and Ando-Kirchberg ([AK14]). In this paper we give a complete answer to their question: A separable C*-algebra $A$ has abelian central sequence algebra if and only if A satisfies Fell's condition. Moreover, we introduce a higher-dimensional analogue of Fell's condition and show that it completely characterizes subhomogeneity of central sequence algebras. In contrast, we show that any non-trivial extension by compact operators has not only non-abelian but not even residually type I central sequence algebra. In particular its central sequence algebra is not type I and not residually finite-dimensional (RFD). Our techniques extensively use properties of nilpotent elements in C*-algebras.


title: On polynomial solutions of PDE

abstract: In this paper we prove that the PDE $p(D)f=q,$ where $p$ and $q$ are multivariate polynomials, has a solution in the space of polynomials of total degree not exceeding ${n+s},$ where $n$ is the degree of $q$ and $s$ is the zero order of $O=(0,\ldots,0)$ for $p.$


title: Improving the Adversarial Robustness for Speaker Verification by Self-Supervised Learning

abstract: Previous works have shown that automatic speaker verification (ASV) is seriously vulnerable to malicious spoofing attacks, such as replay, synthetic speech, and recently emerged adversarial attacks. Great efforts have been dedicated to defending ASV against replay and synthetic speech; however, only a few approaches have been explored to deal with adversarial attacks. All the existing approaches to tackle adversarial attacks for ASV require the knowledge for adversarial samples generation, but it is impractical for defenders to know the exact attack algorithms that are applied by the in-the-wild attackers. This work is among the first to perform adversarial defense for ASV without knowing the specific attack algorithms. Inspired by self-supervised learning models (SSLMs) that possess the merits of alleviating the superficial noise in the inputs and reconstructing clean samples from the interrupted ones, this work regards adversarial perturbations as one kind of noise and conducts adversarial defense for ASV by SSLMs. Specifically, we propose to perform adversarial defense from two perspectives: 1) adversarial perturbation purification and 2) adversarial perturbation detection. Experimental results show that our detection module effectively shields the ASV by detecting adversarial samples with an accuracy of around 80%. Moreover, since there is no common metric for evaluating the adversarial defense performance for ASV, this work also formalizes evaluation metrics for adversarial defense considering both purification and detection based approaches into account. We sincerely encourage future works to benchmark their approaches based on the proposed evaluation framework.


title: Analysis of classifiers robust to noisy labels

abstract: We explore contemporary robust classification algorithms for overcoming class-dependant labelling noise: Forward, Importance Re-weighting and T-revision. The classifiers are trained and evaluated on class-conditional random label noise data while the final test data is clean. We demonstrate methods for estimating the transition matrix in order to obtain better classifier performance when working with noisy data. We apply deep learning to three data-sets and derive an end-to-end analysis with unknown noise on the CIFAR data-set from scratch. The effectiveness and robustness of the classifiers are analysed, and we compare and contrast the results of each experiment are using top-1 accuracy as our criterion.


title: H-FL: A Hierarchical Communication-Efficient and Privacy-Protected Architecture for Federated Learning

abstract: The longstanding goals of federated learning (FL) require rigorous privacy guarantees and low communication overhead while holding a relatively high model accuracy. However, simultaneously achieving all the goals is extremely challenging. In this paper, we propose a novel framework called hierarchical federated learning (H-FL) to tackle this challenge. Considering the degradation of the model performance due to the statistic heterogeneity of the training data, we devise a runtime distribution reconstruction strategy, which reallocates the clients appropriately and utilizes mediators to rearrange the local training of the clients. In addition, we design a compression-correction mechanism incorporated into H-FL to reduce the communication overhead while not sacrificing the model performance. To further provide privacy guarantees, we introduce differential privacy while performing local training, which injects moderate amount of noise into only part of the complete model. Experimental results show that our H-FL framework achieves the state-of-art performance on different datasets for the real-world image recognition tasks.


title: Infrared Renormalons in Collider Processes

abstract: Precise theoretical predictions are a key ingredient for an accurate determination of the structure of the Langrangian of particle physics, including its free parameters, which summarizes our understanding of the fundamental interactions among particles. Furthermore, due to the absence of clear new-physics signals, precise theoretical calculations are required in order to pin down possible subtle deviations from the Standard Model predictions. The error associated with such calculations must be scrutinized, as non-perturbative power corrections, dubbed infrared renormalons, can limit the ultimate precision of truncated perturbative expansions in quantum chromodynamics. In this review we focus on linear power corrections that can arise in certain kinematic distributions relevant for collider phenomenology where an operator product expansion is missing, e.g. those obtained from the top-quark decay products, shape observables and the transverse momentum of massive gauge bosons. Only the last one is found to be free from such corrections, while the mass of the system comprising the top decay products has a larger power correction if the perturbative expansion is expressed in terms of a short-distance mass instead of the pole mass. A proper modelization of non-perturbative corrections is crucial in the context of shape observables to obtain reliable strong coupling constant extractions.


title: Spectral theory of weighted hypergraphs via tensors

abstract: One way to study an hypergraph is to attach to it a tensor. Tensors are a generalization of matrices, and they are an efficient way to encode information in a compact form. In this paper we study how properties of weighted hypergraphs are reflected on eigenvalues and eigenvectors of their associated tensors. We also show how to efficiently compute eingenvalues with some techniques from numerical algebraic geometry.


title: Approximate and exact results for the harmonious chromatic number

abstract: Graph colorings is a fundamental topic in graph theory that require an assignment of labels (or colors) to vertices or edges subject to various constraints. We focus on the harmonious coloring of a graph, which is a proper vertex coloring such that for every two distinct colors i, j at most one pair of adjacent vertices are colored with i and j. This type of coloring is edge-distinguishing and has potential applications in transportation network, computer network, airway network system. The results presented in this paper fall into two categories: in the first part of the paper we are concerned with the computational aspects of finding a minimum harmonious coloring and in the second part we determine the exact value of the harmonious chromatic number for some particular graphs and classes of graphs. More precisely, in the first part we show that finding a minimum harmonious coloring for arbitrary graphs is APX-hard, the natural greedy algorithm is a $\Omega(\sqrt{n})$-approximation, and, moreover, we show a relationship between the vertex cover and the harmonious chromatic number. In the second part we determine the exact value of the harmonious chromatic number for all 3-regular planar graphs of diameter 3, some non-planar regular graphs and cycle-related graphs.


title: $L_0$ Isotonic Regression With Secondary Objectives

abstract: We provide algorithms for isotonic regression minimizing $L_0$ error (Hamming distance). This is also known as monotonic relabeling, and is applicable when labels have a linear ordering but not necessarily a metric. There may be exponentially many optimal relabelings, so we look at secondary criteria to determine which are best. For arbitrary ordinal labels the criterion is maximizing the number of labels which are only changed to an adjacent label (and recursively apply this). For real-valued labels we minimize the $L_p$ error. For linearly ordered sets we also give algorithms which minimize the sum of the $L_p$ and weighted $L_0$ errors, a form of penalized (regularized) regression. We also examine $L_0$ isotonic regression on multidimensional coordinate-wise orderings. Previous algorithms took $\Theta(n^3)$ time, but we reduce this to $o(n^{3/2})$.


title: AAPM DL-Sparse-View CT Challenge Submission Report: Designing an Iterative Network for Fanbeam-CT with Unknown Geometry

abstract: This report is dedicated to a short motivation and description of our contribution to the AAPM DL-Sparse-View CT Challenge (team name: "robust-and-stable"). The task is to recover breast model phantom images from limited view fanbeam measurements using data-driven reconstruction techniques. The challenge is distinctive in the sense that participants are provided with a collection of ground truth images and their noiseless, subsampled sinograms (as well as the associated limited view filtered backprojection images), but not with the actual forward model. Therefore, our approach first estimates the fanbeam geometry in a data-driven geometric calibration step. In a subsequent two-step procedure, we design an iterative end-to-end network that enables the computation of near-exact solutions.

categories: cs.LG cs.NA eess.IV math.NA physics.med-ph


title: Effects of Spatial Discretization in Lyman-alpha Line Radiation Transfer Simulations

abstract: We describe the addition of Lyman-alpha resonant line transfer to our dust continuum radiation transfer code SKIRT, verifying our implementation with published results for spherical problems and using some self-designed three-dimensional setups. We specifically test spatial discretization through various grid types, including hierarchical octree grids and unstructured Voronoi tessellations. We then use a radiation transfer post-processing model for one of the spiral galaxies produced by the Auriga cosmological zoom simulations to investigate the effect of spatial discretization on the synthetic observations. We find that the calculated Lyman-alpha line profiles exhibit an extraordinarily strong dependence on the type and resolution of the spatial grid, rendering the results untrustworthy at best. We attribute this effect to the large gradients in the hydrogen density distribution over small distances, which remain significantly under-resolved in the input model. We therefore argue that further research is needed to determine the required spatial resolution of a hydrodynamical simulation snapshot to enable meaningful Lyman-alpha line transfer post-processing.


title: Diffuse interface relaxation model for two-phase compressible flows with diffusion processes

abstract: The paper addresses a two-temperature model for simulating compressible two-phase flow taking into account diffusion processes related to the heat conduction and viscosity of the phases. This model is reduced from the two-phase Baer-Nunziato model in the limit of complete velocity relaxation and consists of the phase mass and energy balance equations, the mixture momentum equation, and a transport equation for the volume fraction.Terms describing effects of mechanical relaxation, temperature relaxation, and thermal conduction on volume fraction evolution are derived and demonstrated to be significant for heat conduction problems. The thermal conduction leads to instantaneous thermal relaxation so that the temperature equilibrium is always maintained in the interface region with meeting the entropy relations. A numerical method is developed to solve the model governing equations that ensures the pressure-velocity-temperature (PVT) equilibrium condition in its high-order extension. We solve the hyperbolic part of the governing equations with the Godunov method with the HLLC approximate Riemann solver. The non-linear parabolic part is solved with an efficient Chebyshev explicit iterative method without dealing with large sparse matrices. To verify the model and numerical methods proposed,we demonstrate numerical results of several numerical tests such as the multiphase shock tube problem, the multiphase impact problem, and the planar ablative Rayleigh-Taylor instability problem.


title: A mixed-frequency approach for exchange rates predictions

abstract: Selecting an appropriate statistical model to forecast exchange rates is still today a relevant issue for policymakers and central bankers. The so-called Meese and Rogoff puzzle assesses that exchange rate fluctuations are unpredictable. In the literature, a lot of studies tried to solve the puzzle finding alternative predictors and statistical models based on temporal aggregation. In this paper, we propose an approach based on mixed frequency models to overcome the lack of information caused by temporal aggregation. We show the effectiveness of our approach in comparison with other proposed methods by performing CAD/USD exchange rate predictions.


title: Cross-interactive residual smoothing for global and block Lanczos-type solvers for linear systems with multiple right-hand sides

abstract: Global and block Krylov subspace methods are efficient iterative solvers for large sparse linear systems with multiple right-hand sides. However, global or block Lanczos-type solvers often exhibit large oscillations in the residual norms and may have a large residual gap relating to the loss of attainable accuracy of the approximations. Conventional residual smoothing schemes suppress these oscillations but cannot improve the attainable accuracy, whereas a recent residual smoothing scheme enables the improvement of the attainable accuracy for single right-hand side Lanczos-type solvers. The underlying concept of this scheme is that the primary and smoothed sequences of the approximations and residuals influence one another, thereby avoiding the severe propagation of rounding errors. In the present study, we extend this cross-interactive residual smoothing to the case of solving linear systems with multiple right-hand sides. The resulting smoothed methods can reduce the residual gap with a low additional cost compared to their original counterparts. We demonstrate the effectiveness of the proposed approach through rounding error analysis and numerical experiments.


title: Shapley Counterfactual Credits for Multi-Agent Reinforcement Learning

abstract: Centralized Training with Decentralized Execution (CTDE) has been a popular paradigm in cooperative Multi-Agent Reinforcement Learning (MARL) settings and is widely used in many real applications. One of the major challenges in the training process is credit assignment, which aims to deduce the contributions of each agent according to the global rewards. Existing credit assignment methods focus on either decomposing the joint value function into individual value functions or measuring the impact of local observations and actions on the global value function. These approaches lack a thorough consideration of the complicated interactions among multiple agents, leading to an unsuitable assignment of credit and subsequently mediocre results on MARL. We propose Shapley Counterfactual Credit Assignment, a novel method for explicit credit assignment which accounts for the coalition of agents. Specifically, Shapley Value and its desired properties are leveraged in deep MARL to credit any combinations of agents, which grants us the capability to estimate the individual credit for each agent. Despite this capability, the main technical difficulty lies in the computational complexity of Shapley Value who grows factorially as the number of agents. We instead utilize an approximation method via Monte Carlo sampling, which reduces the sample complexity while maintaining its effectiveness. We evaluate our method on StarCraft II benchmarks across different scenarios. Our method outperforms existing cooperative MARL algorithms significantly and achieves the state-of-the-art, with especially large margins on tasks with more severe difficulties.


title: On Riemannian Optimization over Positive Definite Matrices with the Bures-Wasserstein Geometry

abstract: In this paper, we comparatively analyze the Bures-Wasserstein (BW) geometry with the popular Affine-Invariant (AI) geometry for Riemannian optimization on the symmetric positive definite (SPD) matrix manifold. Our study begins with an observation that the BW metric has a linear dependence on SPD matrices in contrast to the quadratic dependence of the AI metric. We build on this to show that the BW metric is a more suitable and robust choice for several Riemannian optimization problems over ill-conditioned SPD matrices. We show that the BW geometry has a non-negative curvature, which further improves convergence rates of algorithms over the non-positively curved AI geometry. Finally, we verify that several popular cost functions, which are known to be geodesic convex under the AI geometry, are also geodesic convex under the BW geometry. Extensive experiments on various applications support our findings.


title: Junta Distance Approximation with Sub-Exponential Queries

abstract: Leveraging tools of De, Mossel, and Neeman [FOCS, 2019], we show two different results pertaining to the \emph{tolerant testing} of juntas. Given black-box access to a Boolean function $f:\{\pm1\}^{n} \to \{\pm1\}$, we give a $poly(k, \frac{1}{\varepsilon})$ query algorithm that distinguishes between functions that are $\gamma$-close to $k$-juntas and $(\gamma+\varepsilon)$-far from $k'$-juntas, where $k' = O(\frac{k}{\varepsilon^2})$. In the non-relaxed setting, we extend our ideas to give a $2^{\tilde{O}(\sqrt{k/\varepsilon})}$ (adaptive) query algorithm that distinguishes between functions that are $\gamma$-close to $k$-juntas and $(\gamma+\varepsilon)$-far from $k$-juntas. To the best of our knowledge, this is the first subexponential-in-$k$ query algorithm for approximating the distance of $f$ to being a $k$-junta (previous results of Blais, Canonne, Eden, Levi, and Ron [SODA, 2018] and De, Mossel, and Neeman [FOCS, 2019] required exponentially many queries in $k$). Our techniques are Fourier analytical and make use of the notion of "normalized influences" that was introduced by Talagrand [AoP, 1994].


title: A Bayesian realized threshold measurement GARCH framework for financial tail risk forecasting

abstract: This paper proposes an innovative threshold measurement equation to be employed in a Realized-GARCH framework. The proposed framework incorporates a nonlinear threshold regression specification to consider the leverage effect and model the contemporaneous dependence between the observed realized measure and hidden volatility. A Bayesian Markov Chain Monte Carlo method is adapted and employed for model estimation, with its validity assessed via a simulation study. The validity of incorporating the proposed measurement equation in Realized-GARCH type models is evaluated via an empirical study, forecasting the 1% and 2.5% Value-at-Risk and Expected Shortfall on six market indices with two different out-of-sample sizes. The proposed framework is shown to be capable of producing competitive tail risk forecasting results in comparison to the GARCH and Realized-GARCH type models.


title: Resource-aware Online Parameter Adaptation for Computationally-constrained Visual-Inertial Navigation Systems

abstract: In this paper, a computational resources-aware parameter adaptation method for visual-inertial navigation systems is proposed with the goal of enabling the improved deployment of such algorithms on computationally constrained systems. Such a capacity can prove critical when employed on ultra-lightweight systems or alongside mission critical computationally expensive processes. To achieve this objective, the algorithm proposes selected changes in the vision front-end and optimization back-end of visual-inertial odometry algorithms, both prior to execution and in real-time based on an online profiling of available resources. The method also utilizes information from the motion dynamics experienced by the system to manipulate parameters online. The general policy is demonstrated on three established algorithms, namely S-MSCKF, VINS-Mono and OKVIS and has been verified experimentally on the EuRoC dataset. The proposed approach achieved comparable performance at a fraction of the original computational cost.


title: Dehn quandles of groups and orientable surfaces

abstract: Unifying various constructions of quandles including Coxeter quandles, free quandles, knot quandles of prime knots and Dehn quandles of orientable surfaces, we introduce Dehn quandles of groups with respect to their subsets. It turns out that Dehn quandles are precisely the ones that embed naturally into their enveloping groups. We prove that the enveloping group of the Dehn quandle of a given group with respect to its generating set is a central extension of that group, and that enveloping groups of Dehn quandles of Artin groups and link groups with respect to their standard generating sets are the groups themselves. We discuss orderability of Dehn quandles and prove that free involutory quandles are left orderable, whereas certain generalised Alexander quandles are bi-orderable. Specialising to surfaces, we give generating sets for Dehn quandles of orientable surfaces with punctures and compute their automorphism groups. As applications, we recover a result of Niebrzydowski and Przytycki proving that the knot quandle of the trefoil knot is isomorphic to the Dehn quandle of the torus and also extend a result of Yetter on epimorphisms of Dehn quandles of orientable surfaces onto certain involutory homological quandles.


title: Preview, Attend and Review: Schema-Aware Curriculum Learning for Multi-Domain Dialog State Tracking

abstract: Existing dialog state tracking (DST) models are trained with dialog data in a random order, neglecting rich structural information in a dataset. In this paper, we propose to use curriculum learning (CL) to better leverage both the curriculum structure and schema structure for task-oriented dialogs. Specifically, we propose a model-agnostic framework called Schema-aware Curriculum Learning for Dialog State Tracking (SaCLog), which consists of a preview module that pre-trains a DST model with schema information, a curriculum module that optimizes the model with CL, and a review module that augments mispredicted data to reinforce the CL training. We show that our proposed approach improves DST performance over both a transformer-based and RNN-based DST model (TripPy and TRADE) and achieves new state-of-the-art results on WOZ2.0 and MultiWOZ2.1.


title: Systematic calculations of reactions with exotic and stable nuclei to establish a unified theoretical approach

abstract: We report on systematical optical model (OM) and continuum discretized coupled channel (CDCC) calculations applied to describe the elastic scattering angular distributions of exotic and stable nuclei projectiles on heavy targets. Our optical potential (OP) is composed of the nuclear microscopic double folding S\~ao Paulo potential (SPP), derived from the nonlocal nature of the interaction, and the Coulomb dipole polarization (CDP) potential, derived from the semiclassical theory of Coulomb excitation. The OP is compared to the trivial equivalent local potential (TELP), extracted from CDCC calculations. The OM and CDCC predictions corroborate each other and account for important differences in the nuclei reaction mechanisms, which are directly related to their structural properties. Thus, OM and CDCC establish a common basis for analyzing or even predicting exotic and stable nuclei reactions.


title: A Non-commutative Extension of Lee-Seung's Algorithm for Positive Semidefinite Factorizations

abstract: Given a matrix $X\in \mathbb{R}_+^{m\times n}$ with nonnegative entries, a Positive Semidefinite (PSD) factorization of $X$ is a collection of $r \times r$-dimensional PSD matrices $\{A_i\}$ and $\{B_j\}$ satisfying $X_{ij}= \mathrm{tr}(A_i B_j)$ for all $\ i\in [m],\ j\in [n]$. PSD factorizations are fundamentally linked to understanding the expressiveness of semidefinite programs as well as the power and limitations of quantum resources in information theory. The PSD factorization task generalizes the Non-negative Matrix Factorization (NMF) problem where we seek a collection of $r$-dimensional nonnegative vectors $\{a_i\}$ and $\{b_j\}$ satisfying $X_{ij}= a_i^\top b_j$, for all $i\in [m],\ j\in [n]$ -- one can recover the latter problem by choosing matrices in the PSD factorization to be diagonal. The most widely used algorithm for computing NMFs of a matrix is the Multiplicative Update algorithm developed by Lee and Seung, in which nonnegativity of the updates is preserved by scaling with positive diagonal matrices. In this paper, we describe a non-commutative extension of Lee-Seung's algorithm, which we call the Matrix Multiplicative Update (MMU) algorithm, for computing PSD factorizations. The MMU algorithm ensures that updates remain PSD by congruence scaling with the matrix geometric mean of appropriate PSD matrices, and it retains the simplicity of implementation that Lee-Seung's algorithm enjoys. Building on the Majorization-Minimization framework, we show that under our update scheme the squared loss objective is non-increasing and fixed points correspond to critical points. The analysis relies on Lieb's Concavity Theorem. Beyond PSD factorizations, we use the MMU algorithm as a primitive to calculate block-diagonal PSD factorizations and tensor PSD factorizations. We demonstrate the utility of our method with experiments on real and synthetic data.


title: Special Functions for Heat Kernel Expansion

abstract: In this paper, we study an asymptotic expansion of the heat kernel for a Laplace operator on a smooth Riemannian manifold without a boundary at enough small values of the proper time. The Seeley-DeWitt coefficients of this decomposition satisfy a set of recurrence relations, which we use to construct two function families of a special kind. Using these functions, we study the expansion of a local heat kernel for the inverse Laplace operator. We show that the new functions have some important properties. For example, we can consider the Laplace operator on the function set as a shift one. Also we describe various applications useful in theoretical physics and, in particular, we find a decomposition of Green's functions near the diagonal in terms of new functions.


title: On the Polyhedrality of the Chvatal-Gomory Closure

abstract: In this paper, we provide an equivalent condition for the Chvatal-Gomory (CG) closure of a closed convex set to be finitely-generated. Using this result, we are able to prove that, for any closed convex set that can be written as the Minkowski sum of a compact convex set and a closed convex cone, its CG closure is a rational polyhedron if and only if its recession cone is a rational polyhedral cone. As a consequence, this generalizes and unifies all the currently known results, for the case of rational polyhedron and compact convex set.


title: A separation lemma on sub-lattices

abstract: We prove that Bourgain's separation lemma, Lemma~20.14 [B2] holds at fixed frequencies and their neighborhoods, on sub-lattices, sub-modules of the dual lattice associated with a quasi-periodic Fourier series in two dimensions. And by extension holds on the affine spaces. Previously Bourgain's lemma was not deterministic, and is valid only for a set of frequencies of positive measure. The new separation lemma generalizes classical lattice partition-type results to the hyperbolic Lorentzian setting, with signature $(1, -1, -1)$, and could be of independent interest. Combined with the method in [W2], this should lead to the existence of quasi-periodic solutions to the nonlinear Klein-Gordon equation with the usual polynomial nonlinear term $u^{p+1}$.


title: More Behind Your Electricity Bill: a Dual-DNN Approach to Non-Intrusive Load Monitoring

abstract: Non-intrusive load monitoring (NILM) is a well-known single-channel blind source separation problem that aims to decompose the household energy consumption into itemised energy usage of individual appliances. In this way, considerable energy savings could be achieved by enhancing household's awareness of energy usage. Recent investigations have shown that deep neural networks (DNNs) based approaches are promising for the NILM task. Nevertheless, they normally ignore the inherent properties of appliance operations in the network design, potentially leading to implausible results. We are thus motivated to develop the dual Deep Neural Networks (dual-DNN), which aims to i) take advantage of DNNs' learning capability of latent features and ii) empower the DNN architecture with identification ability of universal properties. Specifically in the design of dual-DNN, we adopt one subnetwork to measure power ratings of different appliances' operation states, and the other subnetwork to identify the running states of target appliances. The final result is then obtained by multiplying these two network outputs and meanwhile considering the multi-state property of household appliances. To enforce the sparsity property in appliance's state operating, we employ median filtering and hard gating mechanisms to the subnetwork for state identification. Compared with the state-of-the-art NILM methods, our dual-DNN approach demonstrates a 21.67% performance improvement in average on two public benchmark datasets.


title: Gaps between prime divisors and analogues in Diophantine geometry

abstract: Erd\H{o}s considered the second moment of the gap-counting function of prime divisors in 1946 and proved an upper bound that is not of the right order of magnitude. We prove asymptotics for all moments. Furthermore, we prove a generalisation stating that the gaps between primes $p$ for which there is no $\mathbb{Q}_p$-point on a random variety are Poisson distributed.


title: Three Dimensional Orientation of Complex Molecules Excited by Two-Color Femtosecond Pulses

abstract: We study the excitation of asymmetric-top (including chiral) molecules by two-color femtosecond laser pulses. In the cases of non-chiral asymmetric-top molecules excited by an orthogonally polarized two-color pulse, we demonstrate, classically and quantum mechanically, three-dimensional orientation. For chiral molecules, we show that the orientation induced by a cross-polarized two-color pulse is enantioselective along the laser propagation direction, namely, the two enantiomers are oriented in opposite directions. On the short time scale, the classical and quantum simulations give results that are in excellent agreement, whereas on the longer time scale, the enantioselective orientation exhibits quantum beats. These observations are qualitatively explained by analyzing the interaction potential between the two-color pulse and molecular (hyper-)polarizability. The prospects for utilizing the long-lasting orientation for measuring and using the enantioselective orientation for separating the individual enantiomers are discussed.


title: Throughput-Outage Scaling Behaviors for Wireless Single-Hop D2D Caching Networks with Physical Model -- Analysis and Derivations

abstract: Throughput-Outage scaling laws for single-hop cache-aided device-to-device (D2D) communications have been extensively investigated under the assumption of the protocol model. However, the corresponding performance under physical models has not been explored; in particular it remains unclear whether link-level power control and scheduling can improve the asymptotic performance. This paper thus investigates the throughput-outage scaling laws of cache-aided single-hop D2D networks considering a general physical channel model. By considering the networks with and without the equal-throughput assumption, we analyze the corresponding outer bounds and provide the achievable performance analysis. Results show that when the equal-throughput assumption is considered, using link-level power control and scheduling cannot improve the scaling laws. On the other hand, when the equal-throughput assumption is not considered, we show that the proposed double time-slot framework with appropriate link-level power control and scheduling can significantly improve the throughput-outage scaling laws, where the fundamental concept is to first distinguish links according to their communication distances, and then enhance the throughput for links with small communication distances.


title: Multi-cover Inequalities for Totally-Ordered Multiple Knapsack Sets: Theory and Computation

abstract: We propose a method to generate cutting-planes from multiple covers of knapsack constraints. The covers may come from different knapsack inequalities if the weights in the inequalities form a totally-ordered set. Thus, we introduce and study the structure of a totally-ordered multiple knapsack set. The valid multi-cover inequalities we derive for its convex hull have a number of interesting properties. First, they generalize the well-known (1, k)-configuration inequalities. Second, they are not aggregation cuts. Third, they cannot be generated as a rank-1 Chvatal-Gomory cut from the inequality system consisting of the knapsack constraints and all their minimal cover inequalities. We also provide conditions under which the inequalities are facets for the convex hull of the totally-ordered knapsack set, as well as conditions for those inequalities to fully characterize its convex hull. We give an integer program to solve the separation and provide numerical experiments that showcase the strength of these new inequalities.


title: Harvesting the Public MeSH Note field

abstract: In this document, we report an analysis of the Public MeSH Note field of the new descriptors introduced in the MeSH thesaurus between 2006 and 2020. The aim of this analysis was to extract information about the previous status of these new descriptors as Supplementary Concept Records. The Public MeSH Note field contains information in semi-structured text, meant to be read by humans. Therefore, we adopted a semi-automated approach, based on regular expressions, to extract information from it. In the large majority of cases, we managed to minimize the required manual effort for extracting the previous state of a new descriptor as a Supplementary Concept Record. The source code for this analysis is openly available on GitHub.


title: The measures with $L^2$-bounded Riesz transform satisfying a subcritical Wolff-type energy condition

abstract: In this work we obtain a geometric characterization of the measures $\mu$ in $\mathbb{R}^{n+1}$ with polynomial upper growth of degree $n$ such that the $n$-dimensional Riesz transform $\mathcal{R}\mu (x) = \int \frac{x-y}{|x-y|^{n+1}}\,d\mu(y)$ belongs to $L^2(\mu)$, under the assumption that $\mu$ satisfies the following Wolff energy estimate, for any ball $B\subset\mathbb{R}^{n+1}$: $$\int_B \int_0^\infty \left(\frac{\mu(B(x,r))}{r^{n-\frac38}}\right)^2\,\frac{dr}r\,d\mu(x)\leq M\,\bigg(\frac{\mu(2B)}{r(B)^{n-\frac38}}\bigg)^2\,\mu(2B).$$ More precisely, we show that $\mu$ satisfies the following estimate: $$\|\mathcal{R}\mu\|_{L^2(\mu)}^2 + \|\mu\|\approx \int\!\!\int_0^\infty \beta_{\mu,2}(x,r)^2\,\frac{\mu(B(x,r))}{r^n}\,\frac{dr}r\,d\mu(x) + \|\mu\|,$$ where $\beta_{\mu,2}(x,r)^2 = \inf_L \frac1{r^n}\int_{B(x,r)} \left(\frac{\mathrm{dist}(y,L)}r\right)^2\,d\mu(y),$ with the infimum taken over all affine $n$-planes $L\subset\mathbb{R}^{n+1}$. In a companion paper which relies on the results obtained in this work it is shown that the same result holds without the above assumption regarding the Wolff energy of $\mu$. This result has important consequences for the Painlev\'e problem for Lipschitz harmonic functions.


title: Observing black holes through holographic superconductors

abstract: We propose a way to observe the photon ring of the asymptotically anti-de Sitter black hole dual to a superconductor on the two-dimensional sphere. We consider the electric current of the superconductor under the localized time-periodic external electromagnetic field. On the gravity side, the bulk Maxwell field is sent from the AdS boundary and then diffracted by the black hole. We construct the image of the black hole from the asymptotic data of the bulk Maxwell field that corresponds to the electric current on the field theory side. We decompose the electric current into the dissipative and non-dissipative parts and take the dissipative part for the imaging of the black hole. We investigate the effect of the charged scalar condensate on the image. We obtain the bulk images that indicate the discontinuous change of the size of the photon ring.


title: Independent Prototype Propagation for Zero-Shot Compositionality

abstract: Humans are good at compositional zero-shot reasoning; someone who has never seen a zebra before could nevertheless recognize one when we tell them it looks like a horse with black and white stripes. Machine learning systems, on the other hand, usually leverage spurious correlations in the training data, and while such correlations can help recognize objects in context, they hurt generalization. To be able to deal with underspecified datasets while still leveraging contextual clues during classification, we propose ProtoProp, a novel prototype propagation graph method. First we learn prototypical representations of objects (e.g., zebra) that are conditionally independent w.r.t. their attribute labels (e.g., stripes) and vice versa. Next we propagate the independent prototypes through a compositional graph, to learn compositional prototypes of novel attribute-object combinations that reflect the dependencies of the target distribution. The method does not rely on any external data, such as class hierarchy graphs or pretrained word embeddings. We evaluate our approach on AO-Clever, a synthetic and strongly visual dataset with clean labels, and UT-Zappos, a noisy real-world dataset of fine-grained shoe types. We show that in the generalized compositional zero-shot setting we outperform state-of-the-art results, and through ablations we show the importance of each part of the method and their contribution to the final results.


title: Understanding peacefulness through the world news

abstract: Peacefulness is a principal dimension of well-being and is the way out of inequity and violence. Thus, its measurement has drawn the attention of researchers, policymakers, and peacekeepers. During the last years, novel digital data streams have drastically changed the research in this field. The current study exploits information extracted from a new digital database called Global Data on Events, Location, and Tone (GDELT) to capture peacefulness through the Global Peace Index (GPI). Applying predictive machine learning models, we demonstrate that news media attention from GDELT can be used as a proxy for measuring GPI at a monthly level. Additionally, we use explainable AI techniques to obtain the most important variables that drive the predictions. This analysis highlights each country's profile and provides explanations for the predictions, and particularly for the errors and the events that drive these errors. We believe that digital data exploited by researchers, policymakers, and peacekeepers, with data science tools as powerful as machine learning, could contribute to maximizing the societal benefits and minimizing the risks to peacefulness.


title: The Effect of Weekend Curfews on Epidemics: A Monte Carlo Simulation

abstract: The ongoing COVID-19 pandemic is being responded with various methods, applying vaccines, experimental treatment options, total lockdowns or partial curfews. Weekend curfews is one of the methods to reduce the amount of infected persons and this method is practically applied in some countries such as Turkey. In this study, the effect of weekend curfews on reducing the spread of a contagious disease, such as COVID-19, is modeled using a Monte Carlo algorithm with a hybrid lattice model. In the simulation setup, a fictional country with three towns and 26,610 citizens were used as a model. Results indicate that applying a weekend curfew reduces the active cases significantly and is one of the efficient ways to fight the epidemic. The results also show that applying personal precautions such as social distancing is important for reducing the number of cases and deaths.


title: Fast Splitting Algorithms for Sparsity-Constrained and Noisy Group Testing

abstract: In group testing, the goal is to identify a subset of defective items within a larger set of items based on tests whose outcomes indicate whether at least one defective item is present. This problem is relevant in areas such as medical testing, DNA sequencing, communication protocols, and many more. In this paper, we study (i) a sparsity-constrained version of the problem, in which the testing procedure is subjected to one of the following two constraints: items are finitely divisible and thus may participate in at most $\gamma$ tests; or tests are size-constrained to pool no more than $\rho$ items per test; and (ii) a noisy version of the problem, where each test outcome is independently flipped with some constant probability. Under each of these settings, considering the for-each recovery guarantee with asymptotically vanishing error probability, we introduce a fast splitting algorithm and establish its near-optimality not only in terms of the number of tests, but also in terms of the decoding time. While the most basic formulations of our algorithms require $\Omega(n)$ storage for each algorithm, we also provide low-storage variants based on hashing, with similar recovery guarantees.


title: Innovation in Large-scale agile -- Benefits and Challenges of Hackathons when Hacking from Home

abstract: Hackathons are events in which diverse teams work together to explore, and develop solutions, software or even ideas. Hackathons have been recognized not only as public events for hacking, but also as a corporate mechanism for innovation. Hackathons are a way for established companies to achieve increased employee wellbeing as well as being a curator for innovation and developing new products. Sudden transition to the work-from-home mode caused by the COVID-19 pandemic first put many corporate events requiring collocation, such as hackathons, temporarily on hold and then motivated companies to find ways to hold these events virtually. In this paper, we report our findings from investigating hackathons in the context of a large agile company by first exploring the general benefits and challenges of hackathons and then trying to understand how they were affected by the virtual setup. We conducted nine interviews, surveyed 23 employees and analyzed a hackathon demo. We found that hackathons provide both individual and organizational benefits of innovation, personal interests, and acquiring new skills and competences. Several challenges such as added stress due to stopping the regular work, employees fearing not having enough contribution to deliver and potential mismatch between individual and organizational goals were also found. With respect to the virtual setup, we found that virtual hackathons are not diminishing the innovation benefits, however, some negative effect surfaced on the social and networking side.


title: Symmetry of the isotropic Ornstein-Uhlenbeck process in a force field

abstract: We classify simple symmetries for an Ornstein-Uhlenbeck process, describing a particle in an external force field $f(x)$. It turns out that for sufficiently regular (in a sense to be defined) forces there are nontrivial symmetries only if $f(x)$ is at most linear. We fully discuss the isotropic case, while for the non-isotropic we only deal with a generic situation (defined in detail in the text).


title: What's a good imputation to predict with missing values?

abstract: How to learn a good predictor on data with missing values? Most efforts focus on first imputing as well as possible and second learning on the completed data to predict the outcome. Yet, this widespread practice has no theoretical grounding. Here we show that for almost all imputation functions, an impute-then-regress procedure with a powerful learner is Bayes optimal. This result holds for all missing-values mechanisms, in contrast with the classic statistical results that require missing-at-random settings to use imputation in probabilistic modeling. Moreover, it implies that perfect conditional imputation is not needed for good prediction asymptotically. In fact, we show that on perfectly imputed data the best regression function will generally be discontinuous, which makes it hard to learn. Crafting instead the imputation so as to leave the regression function unchanged simply shifts the problem to learning discontinuous imputations. Rather, we suggest that it is easier to learn imputation and regression jointly. We propose such a procedure, adapting NeuMiss, a neural network capturing the conditional links across observed and unobserved variables whatever the missing-value pattern. Experiments confirm that joint imputation and regression through NeuMiss is better than various two step procedures in our experiments with finite number of samples.


title: Maximal towers and ultrafilter bases in computability

abstract: The tower number $\mathfrak t$ and the ultrafilter number $\mathfrak u$ are cardinal characteristics from set theory. They are based on combinatorial properties of classes of subsets of~$\omega$ and the almost inclusion relation $\subseteq^*$ between such subsets. We consider analogs of these cardinal characteristics in computability theory. We show that the mass problem of ultrafilter bases is equivalent to the mass problem of computing a function that dominates all computable functions, and hence, by Martin's characterization, it captures highness. On the other hand, the mass problem for maximal towers is below the mass problem of computing a non-low set. We also show that some, but not all, noncomputable low sets compute maximal towers: Every noncomputable (low) c.e.\ set computes a maximal tower but no 1-generic $\Delta^0_2$-set does so. We finally consider the mass problems of maximal almost disjoint, and of maximal independent families. We show that they are Medvedev equivalent to maximal towers, and to ultrafilter bases, respectively.


title: On the Stability of Mixed Finite-Element Formulations for High-Temperature Superconductors

abstract: In this work, we present and analyze the numerical stability of two coupled finite element formulations. The first one is the h-a-formulation and is well suited for modeling systems with superconductors and ferromagnetic materials. The second one, the so-called t-a-formulation with thin-shell approximation, applies for systems with thin superconducting domains. Both formulations involve two coupled unknown fields and are mixed on the coupling interfaces. Function spaces in mixed formulations must satisfy compatibility conditions to ensure stability of the problem and reliability of the numerical solution. We propose stable choices of function spaces using hierarchical basis functions and demonstrate the effectiveness of the approach on simple 2D examples.


title: Dual Graph enhanced Embedding Neural Network for CTR Prediction

abstract: CTR prediction, which aims to estimate the probability that a user will click an item, plays a crucial role in online advertising and recommender system. Feature interaction modeling based and user interest mining based methods are the two kinds of most popular techniques that have been extensively explored for many years and have made great progress for CTR prediction. However, (1) feature interaction based methods which rely heavily on the co-occurrence of different features, may suffer from the feature sparsity problem (i.e., many features appear few times); (2) user interest mining based methods which need rich user behaviors to obtain user's diverse interests, are easy to encounter the behavior sparsity problem (i.e., many users have very short behavior sequences). To solve these problems, we propose a novel module named Dual Graph enhanced Embedding, which is compatible with various CTR prediction models to alleviate these two problems. We further propose a Dual Graph enhanced Embedding Neural Network (DG-ENN) for CTR prediction. Dual Graph enhanced Embedding exploits the strengths of graph representation with two carefully designed learning strategies (divide-and-conquer, curriculum-learning-inspired organized learning) to refine the embedding. We conduct comprehensive experiments on three real-world industrial datasets. The experimental results show that our proposed DG-ENN significantly outperforms state-of-the-art CTR prediction models. Moreover, when applying to state-of-the-art CTR prediction models, Dual graph enhanced embedding always obtains better performance. Further case studies prove that our proposed dual graph enhanced embedding could alleviate the feature sparsity and behavior sparsity problems. Our framework will be open-source based on MindSpore in the near future.


title: Ordering regular languages: a danger zone

abstract: Ordering the collection of states of a given automaton starting from an order of the underlying alphabet is a natural move towards a computational treatment of the language accepted by the automaton. Along this path, Wheeler \emph{graphs} have been recently introduced as an extension/adaptation of the Burrows-Wheeler Transform (the now famous BWT, originally defined on strings) to graphs. These graphs constitute an important data-structure for languages, since they allow a very efficient storage mechanism for the transition function of an automaton, while providing a fast support to all sorts of substring queries. This is possible as a consequence of a property -- the so-called \emph{path coherence} -- valid on Wheeler graphs and consisting in an ordering on nodes that "propagates" to (collections of) strings. By looking at a Wheeler graph as an automaton, the ordering on strings corresponds to the co-lexicographic order of the words entering each state. This leads naturally to consider the class of regular languages accepted by Wheeler automata, i.e. the Wheeler languages. It has been shown that, as opposed to the general case, the classic determinization by powerset construction is polynomial on Wheeler languages. As a consequence, most of the classical problems turn out to be "easy" -- that is, solvable in polynomial time -- on Wheeler languages. Moreover, deciding whether a DFA is Wheeler and deciding whether a DFA accepts a Wheeler language is polynomial. Our contribution here is to put an upper bound to easy problems. For instance, whenever we generalize by switching to general NFAs or by not fixing an order of the underlying alphabet, the above mentioned problems become "hard" -- that is NP-complete or even PSPACE-complete.


title: LenAtten: An Effective Length Controlling Unit For Text Summarization

abstract: Fixed length summarization aims at generating summaries with a preset number of words or characters. Most recent researches incorporate length information with word embeddings as the input to the recurrent decoding unit, causing a compromise between length controllability and summary quality. In this work, we present an effective length controlling unit Length Attention (LenAtten) to break this trade-off. Experimental results show that LenAtten not only brings improvements in length controllability and ROGUE scores but also has great generalization ability. In the task of generating a summary with the target length, our model is 732 times better than the best-performing length controllable summarizer in length controllability on the CNN/Daily Mail dataset.


title: Data-Driven Shadowgraph Simulation of a 3D Object

abstract: In this work we propose a deep neural network based surrogate model for a plasma shadowgraph - a technique for visualization of perturbations in a transparent medium. We are substituting the numerical code by a computationally cheaper projection based surrogate model that is able to approximate the electric fields at a given time without computing all preceding electric fields as required by numerical methods. This means that the projection based surrogate model allows to recover the solution of the governing 3D partial differential equation, 3D wave equation, at any point of a given compute domain and configuration without the need to run a full simulation. This model has shown a good quality of reconstruction in a problem of interpolation of data within a narrow range of simulation parameters and can be used for input data of large size.


title: Semi-Supervised Disparity Estimation with Deep Feature Reconstruction

abstract: Despite the success of deep learning in disparity estimation, the domain generalization gap remains an issue. We propose a semi-supervised pipeline that successfully adapts DispNet to a real-world domain by joint supervised training on labeled synthetic data and self-supervised training on unlabeled real data. Furthermore, accounting for the limitations of the widely-used photometric loss, we analyze the impact of deep feature reconstruction as a promising supervisory signal for disparity estimation.


title: Bayesian Agency: Linear versus Tractable Contracts

abstract: We study principal-agent problems in which a principal commits to an outcome-dependent payment scheme (a.k.a. contract) so as to induce an agent to take a costly, unobservable action. We relax the assumption that the principal perfectly knows the agent by considering a Bayesian setting where the agent's type is unknown and randomly selected according to a given probability distribution, which is known to the principal. Each agent's type is characterized by her own action costs and action-outcome distributions. In the literature on non-Bayesian principal-agent problems, considerable attention has been devoted to linear contracts, which are simple, pure-commission payment schemes that still provide nice approximation guarantees with respect to principal-optimal (possibly non-linear) contracts. While in non-Bayesian settings an optimal contract can be computed efficiently, this is no longer the case for our Bayesian principal-agent problems. This further motivates our focus on linear contracts, which can be optimized efficiently given their single-parameter nature. Our goal is to analyze the properties of linear contracts in Bayesian settings, in terms of approximation guarantees with respect to optimal contracts and general tractable contracts (i.e., efficiently-computable ones). First, we study the approximation guarantees of linear contracts with respect to optimal ones, showing that the former suffer from a multiplicative loss linear in the number of agent's types. Nevertheless, we prove that linear contracts can still provide a constant multiplicative approximation $\rho$ of the optimal principal's expected utility, though at the expense of an exponentially-small additive loss $2^{-\Omega(\rho)}$. Then, we switch to tractable contracts, showing that, surprisingly, linear contracts perform well among them.


title: Distribution Matching for Rationalization

abstract: The task of rationalization aims to extract pieces of input text as rationales to justify neural network predictions on text classification tasks. By definition, rationales represent key text pieces used for prediction and thus should have similar classification feature distribution compared to the original input text. However, previous methods mainly focused on maximizing the mutual information between rationales and labels while neglecting the relationship between rationales and input text. To address this issue, we propose a novel rationalization method that matches the distributions of rationales and input text in both the feature space and output space. Empirically, the proposed distribution matching approach consistently outperforms previous methods by a large margin. Our data and code are available.


title: A Way to a Universal VR Accessibility Toolkit

abstract: Virtual Reality (VR) has become more and more popular with dropping prices for systems and a growing number of users. However, the issue of accessibility in VR has been hardly addressed so far and no uniform approach or standard exists at this time. In this position paper, we propose a customisable toolkit implemented at the system-level and discuss the potential benefits of this approach and challenges that will need to be overcome for a successful implementation.


title: Sequential Domain Adaptation by Synthesizing Distributionally Robust Experts

abstract: Least squares estimators, when trained on a few target domain samples, may predict poorly. Supervised domain adaptation aims to improve the predictive accuracy by exploiting additional labeled training samples from a source distribution that is close to the target distribution. Given available data, we investigate novel strategies to synthesize a family of least squares estimator experts that are robust with regard to moment conditions. When these moment conditions are specified using Kullback-Leibler or Wasserstein-type divergences, we can find the robust estimators efficiently using convex optimization. We use the Bernstein online aggregation algorithm on the proposed family of robust experts to generate predictions for the sequential stream of target test samples. Numerical experiments on real data show that the robust strategies may outperform non-robust interpolations of the empirical least squares estimators.


title: Boosting the Search Performance of B+-tree for Non-volatile Memory with Sentinels

abstract: The next-generation non-volatile memory (NVM) is striding into computer systems as a new tier as it incorporates both DRAM's byte-addressability and disk's persistency. Researchers and practitioners have considered building persistent memory by placing NVM on the memory bus for CPU to directly load and store data. As a result, cache-friendly data structures have been developed for NVM. One of them is the prevalent B+-tree. State-of-the-art in-NVM B+-trees mainly focus on the optimization of write operations (insertion and deletion). However, search is of vital importance for B+-tree. Not only search-intensive workloads benefit from an optimized search, but insertion and deletion also rely on a preceding search operation to proceed. In this paper, we attentively study a sorted B+-tree node that spans over contiguous cache lines. Such cache lines exhibit a monotonically increasing trend and searching a target key across them can be accelerated by estimating a range the key falls into. To do so, we construct a probing Sentinel Array in which a sentinel stands for each cache line of B+-tree node. Checking the Sentinel Array avoids scanning unnecessary cache lines and hence significantly reduces cache misses for a search. A quantitative evaluation shows that using Sentinel Arrays boosts the search performance of state-of-the-art in-NVM B+-trees by up to 48.4% while the cost of maintaining of Sentinel Array is low.


title: Variational principles for asymptotic variance of general Markov processes

abstract: A variational formula for the asymptotic variance of general Markov processes is obtained. As application, we get a upper bound of the mean exit time of reversible Markov processes, and some comparison theorems between the reversible and non-reversible diffusion processes.


title: Chiral photonic circuits for deterministic spin transfer

abstract: Chiral quantum optics has attracted considerable interest in the field of quantum information science. Exploiting the spin-polarization properties of quantum emitters and engineering rational photonic nanostructures has made it possible to transform information from spin to path encoding. Here, compact chiral photonic circuits with deterministic circularly polarized chiral routing and beamsplitting are demonstrated using two laterally adjacent waveguides coupled with quantum dots. Chiral routing arises from the electromagnetic field chirality in waveguide, and beamsplitting is obtained via the evanescent field coupling. The spin- and position-dependent directional spontaneous emission are achieved by spatially selective micro-photoluminescence measurements, with a chiral contrast of up to 0.84 in the chiral photonic circuits. This makes a significant advancement for broadening the application scenarios of chiral quantum optics and developing scalable quantum photonic networks.


title: AI-Ethics by Design. Evaluating Public Perception on the Importance of Ethical Design Principles of AI

abstract: Despite the immense societal importance of ethically designing artificial intelligence (AI), little research on the public perceptions of ethical AI principles exists. This becomes even more striking when considering that ethical AI development has the aim to be human-centric and of benefit for the whole society. In this study, we investigate how ethical principles (explainability, fairness, security, accountability, accuracy, privacy, machine autonomy) are weighted in comparison to each other. This is especially important, since simultaneously considering ethical principles is not only costly, but sometimes even impossible, as developers must make specific trade-off decisions. In this paper, we give first answers on the relative importance of ethical principles given a specific use case - the use of AI in tax fraud detection. The results of a large conjoint survey (n=1099) suggest that, by and large, German respondents found the ethical principles equally important. However, subsequent cluster analysis shows that different preference models for ethically designed systems exist among the German population. These clusters substantially differ not only in the preferred attributes, but also in the importance level of the attributes themselves. We further describe how these groups are constituted in terms of sociodemographics as well as opinions on AI. Societal implications as well as design challenges are discussed.


title: Search from History and Reason for Future: Two-stage Reasoning on Temporal Knowledge Graphs

abstract: Temporal Knowledge Graphs (TKGs) have been developed and used in many different areas. Reasoning on TKGs that predicts potential facts (events) in the future brings great challenges to existing models. When facing a prediction task, human beings usually search useful historical information (i.e., clues) in their memories and then reason for future meticulously. Inspired by this mechanism, we propose CluSTeR to predict future facts in a two-stage manner, Clue Searching and Temporal Reasoning, accordingly. Specifically, at the clue searching stage, CluSTeR learns a beam search policy via reinforcement learning (RL) to induce multiple clues from historical facts. At the temporal reasoning stage, it adopts a graph convolution network based sequence method to deduce answers from clues. Experiments on four datasets demonstrate the substantial advantages of CluSTeR compared with the state-of-the-art methods. Moreover, the clues found by CluSTeR further provide interpretability for the results.


title: Optimizing travel routes using temporal networks constructed from GPS data

abstract: Because of the complexity of urban transportation networks and the temporal changes in traffic conditions, it is difficult to assess real-time traffic situations. However, the development of information terminals has made it easier to obtain personal mobility information. In this study, we propose methods for evaluating the mobility of people in a city using global positioning system data. There are two main methods for evaluating movement. One is to create a temporal network from real data and check the change in travel time according to time zones or seasons. Temporal networks are difficult to evaluate because of their time complexity, and in this study, we proposed an evaluation method using the probability density function of travel time. The other method is to define a time-dependent traveling salesman problem and find an efficient traveling route by finding the shortest path. By creating a time-dependent traveling salesman problem in an existing city and solving it, a traveler can choose an efficient route by considering traffic conditions at different times of the day. We used 2 months of data from Kyoto City to conduct a traffic evaluation as a case study.


title: Consistent Two-Flow Network for Tele-Registration of Point Clouds

abstract: Rigid registration of partial observations is a fundamental problem in various applied fields. In computer graphics, special attention has been given to the registration between two partial point clouds generated by scanning devices. State-of-the-art registration techniques still struggle when the overlap region between the two point clouds is small, and completely fail if there is no overlap between the scan pairs. In this paper, we present a learning-based technique that alleviates this problem, and allows registration between point clouds, presented in arbitrary poses, and having little or even no overlap, a setting that has been referred to as tele-registration. Our technique is based on a novel neural network design that learns a prior of a class of shapes and can complete a partial shape. The key idea is combining the registration and completion tasks in a way that reinforces each other. In particular, we simultaneously train the registration network and completion network using two coupled flows, one that register-and-complete, and one that complete-and-register, and encourage the two flows to produce a consistent result. We show that, compared with each separate flow, this two-flow training leads to robust and reliable tele-registration, and hence to a better point cloud prediction that completes the registered scans. It is also worth mentioning that each of the components in our neural network outperforms state-of-the-art methods in both completion and registration. We further analyze our network with several ablation studies and demonstrate its performance on a large number of partial point clouds, both synthetic and real-world, that have only small or no overlap.


title: Optical excitation of ultra-relativistic partially stripped ions

abstract: The Gamma Factory (GF) initiative aims at the construction of a unique experimental tool exploiting resonant interaction of light with ultra-relativistic partially stripped ions (PSI) stored in circular accelerators at CERN. Resonant excitation of high-energy electronic transitions in the ions is achieved through Doppler-boosting (by twice the Lorentz factor; from hundred to several thousand times) of light energy. In order to efficiently excite the ions, and hence generate intense beams of scattered/fluorescent photons, a detailed knowledge of the ions' electronic energy structure and the dynamics of optical excitation is required. Spectroscopic properties of PSI selected for the GF operation, as well as their optical excitation schemes, are investigated. Two regimes of the ion--light interaction are identified, leading to different dynamics of the excitation. The efficiency of the ion--light interaction, as well as the number of photons emitted from a single ion bunch, are estimated, both analytically and numerically, for three ions considered for the GF, i.e.~Li-like ${}^{208}_{\phantom{0}82}$Pb$^{79+}$, Li-like ${}^{40}_{20}$Ca$^{17+}$, and H-like ${}^{208}_{\phantom{0}82}$Pb$^{81+}$.


title: Compact retractions and Schauder decompositions in Banach spaces

abstract: In our note we show the very close connection between the existence of a Finite Dimensional Decomposition (FDD for short) for a separable Banach space $X$ and the existence of a Lipschitz retraction of $X$ onto a small (in a certain precise sense) generating convex and compact subset $K$ of $X$. In one direction, if $X$ admits an FDD then we construct a Lipschitz retraction onto a small generating convex and compact set $K$. On the other hand, we prove that if $X$ admits a small generating compact Lipschitz retract then $X$ has the $\pi$-property. We note that it is still unknown if the $\pi$-property is isomorphically equivalent to the existence of an FDD. For dual Banach spaces this is true, so our results lead in particular to a characterization of the FDD property for dual Banach spaces $X$ in terms of the existence of Lipschitz retractions onto small generating convex and compact subsets of $X$. It is conceivable that our results will find applications in the area of Lipschitz isomorphisms of Banach spaces. Our arguments make critical use of the Lipschitzization of coarse Lipschitz mappings due to J. Bourgain, and of an unpublished complementability result of V. Milman. We give an example of a small generating convex compact set which is not a Lipschitz retract of $C[0,1]$, although it is contained in a small convex Lipschitz retract and contains another one. In the last part of our note we characterize isomorphically Hilbertian spaces as those Banach spaces $X$ for which every convex and compact subset is a Lipschitz retract of $X$. Finally, we prove that a convex and compact set $K$ in any Banach space with a Uniformly Rotund in Every Direction norm is a uniform retract, of every bounded set containing it, via the nearest point map.


title: Accelerating Optimal Experimental Design for Robust Synchronization of Uncertain Kuramoto Oscillator Model Using Machine Learning

abstract: Recent advances in objective-based uncertainty quantification (objective-UQ) have shown that such a goal-driven approach for quantifying model uncertainty is extremely useful in real-world problems that aim at achieving specific objectives based on complex uncertain systems. Central to this objective-UQ is the concept of mean objective cost of uncertainty (MOCU), which provides effective means of quantifying the impact of uncertainty on the operational goals at hand. MOCU is especially useful for optimal experimental design (OED) as the potential efficacy of an experimental (or data acquisition) campaign can be quantified by estimating the MOCU that is expected to remain after the campaign. However, MOCU-based OED tends to be computationally expensive, which limits its practical applicability. In this paper, we propose a novel machine learning (ML) scheme that can significantly accelerate MOCU computation and expedite MOCU-based experimental design. The main idea is to use an ML model to efficiently search for the optimal robust operator under model uncertainty, a necessary step for computing MOCU. We apply the proposed ML-based OED acceleration scheme to design experiments aimed at optimally enhancing the control performance of uncertain Kuramoto oscillator models. Our results show that the proposed scheme results in up to 154-fold speed improvement without any degradation of the OED performance.


title: Table-top interferometry on extreme time and wavelength scales

abstract: High-resolution Fourier-transform spectroscopy using table-top sources in the extreme ultraviolet (XUV) spectral range is still in its infancy. In this contribution a significant advance is presented based on a Michelson-type all-reflective split-and-delay autocorrelator operating in a quasi amplitude splitting mode. The autocorrelator works under a grazing incidence angle in a broad spectral range $\mathrm{(10\,nm - 1\,\mu m)}$ providing collinear propagation of both pulse replicas and thus a constant phase difference across the beam profile. The compact instrument allows for XUV pulse autocorrelation measurements in the time domain with a single-digit attosecond precision resulting in a resolution of $\mathrm{E/\Delta E=2000}$. Its performance for spectroscopic applications is demonstrated by characterizing a very sharp electronic transition at $\mathrm{26.6\,eV}$ in Ar gas induced by the $\mathrm{11^{th}}$ harmonic of a frequency-doubled Yb-fiber laser leading to the characteristic $\mathrm{3s3p^{6}4p^{1}P^{1}}$ Fano-resonance of Ar atoms. We benchmark our time-domain interferometry results with a high-resolution XUV grating spectrometer and find an excellent agreement. The common-path interferometer opens up new opportunities for short-wavelength femtosecond and attosecond pulse metrology and dynamic studies on extreme time scales in various research fields.


title: An In-depth Study on Internal Structure of Chinese Words

abstract: Unlike English letters, Chinese characters have rich and specific meanings. Usually, the meaning of a word can be derived from its constituent characters in some way. Several previous works on syntactic parsing propose to annotate shallow word-internal structures for better utilizing character-level information. This work proposes to model the deep internal structures of Chinese words as dependency trees with 11 labels for distinguishing syntactic relationships. First, based on newly compiled annotation guidelines, we manually annotate a word-internal structure treebank (WIST) consisting of over 30K multi-char words from Chinese Penn Treebank. To guarantee quality, each word is independently annotated by two annotators and inconsistencies are handled by a third senior annotator. Second, we present detailed and interesting analysis on WIST to reveal insights on Chinese word formation. Third, we propose word-internal structure parsing as a new task, and conduct benchmark experiments using a competitive dependency parser. Finally, we present two simple ways to encode word-internal structures, leading to promising gains on the sentence-level syntactic parsing task.


title: Chasing maximal pro-p Galois groups via 1-cyclotomicity

abstract: Let $p$ be a prime. We prove that certain amalgamated free pro-$p$ products of Demushkin groups with pro-$p$-cyclic amalgam cannot give rise to a 1-cyclotomic oriented pro-$p$ group, and thus do not occur as maximal pro-$p$ Galois groups of fields containing a root of 1 of order $p$. We show that other cohomological obstructions which are used to detect pro-$p$ groups that are not maximal pro-$p$ Galois groups - the quadraticity of $\mathbb{Z}/p\mathbb{Z}$-cohomology and the vanishing of Massey products - fail with the above pro-$p$ groups. Finally, we prove that the Mina\v{c}-T\^an pro-$p$ group cannot give rise to a 1-cyclotomic oriented pro-$p$ group, and we conjecture that every 1-cyclotomic oriented pro-$p$ group satisfy the strong $n$-Massey vanishing property for $n>2$.


title: The algebraic and geometric classification of nilpotent left-symmetric algebras

abstract: This paper is devoted to the complete algebraic and geometric classification of complex $4$-dimensional nilpotent left-symmetric algebras. The corresponding geometric variety has dimension $15$ and decomposes into $3$ irreducible components determined by the Zariski closures of two one-parameter families of algebras and a two-parameter family of algebras (see Theorem B). In particular, there are no rigid $4$-dimensional complex nilpotent left symmetric algebras.


title: $L^2$-type Lyapunov functions for hyperbolic scalar conservation laws

abstract: We prove the decay of the L 2-distance from the solution u(t) of a hyperbolic scalar conservation law, to some convex, flow-invariant target sets.


title: Theory of Chiral Transport in Carbon Nanotubes

abstract: Based on the similarity between the chiral nanotube and the classical solenoid, we study chiral transport along the circumferential direction in a carbon nanotube. We calculate the chiral conductivity, representing a circumferential current induced by an electric field along the nanotube axis for various chiralities of carbon nanotubes. We find that the chiral conductivity in a chiral nanotube is in general non zero, and oscillates as a function of the Fermi energy. This oscillating behavior is attributed to the subband structure of the nanotubes and the warping of the Fermi surfaces.


title: Studying Duplicate Logging Statements and Their Relationships with Code Clones

abstract: In this paper, we focus on studying duplicate logging statements, which are logging statements that have the same static text message. We manually studied over 4K duplicate logging statements and their surrounding code in five large-scale open source systems. We uncovered five patterns of duplicate logging code smells. For each instance of the duplicate logging code smell, we further manually identify the potentially problematic and justifiable cases. Then, we contact developers to verify our manual study result. We integrated our manual study result and the feedback of developers into our automated static analysis tool, DLFinder, which automatically detects problematic duplicate logging code smells. We evaluated DLFinder on the five manually studied systems and three additional systems. In total, combining the results of DLFinder and our manual analysis, we reported 91 problematic duplicate logging code smell instances to developers and all of them have been fixed. We further study the relationship between duplicate logging statements, including the problematic instances of duplicate logging code smells, and code clones. We find that 83% of the duplicate logging code smell instances reside in cloned code, but 17% of them reside in micro-clones that are difficult to detect using automated clone detection tools. We also find that more than half of the duplicate logging statements reside in cloned code snippets, and a large portion of them reside in very short code blocks which may not be effectively detected by existing code clone detection tools. Our study shows that, in addition to general source code that implements the business logic, code clones may also result in bad logging practices that could increase maintenance difficulties.


title: Constant Tamagawa numbers of special elliptic curves

abstract: For the elliptic curves $E_{\sigma 2D} : y^2 = x^3 + \sigma 2Dx$ , which has 2-isogeny curve $E'_{\sigma 2D} : y^2 = x^3 -\sigma 8Dx$, $\sigma = \pm 1,\ D = p_1^{e_1}p_2^{e_2}\cdots p_n^{e_n}$, where $p_i$ are different odd prime numbers and $e_i = 1 \text{ or } 3$, we demonstrate that Tamagawa numbers of these elliptic curves are always one or zero by the use of matrix in finite field $\mathbb F_2$. The specific number depends on the value of $\sigma$. By our proofs of these results, we find a method to quickly sieve a part of the elliptic curves with Mordell-Weil rank zero or rank one in this form as an application.


title: Vacuum-gap transmon qubits realized using flip-chip technology

abstract: Significant progress has been made in building large-scale superconducting quantum processors based on flip-chip technology. In this work, we use the flip-chip technology to realize a modified transmon qubit, donated as the "flipmon", whose large shunt capacitor is replaced by a vacuum-gap parallel plate capacitor. To further reduce the qubit footprint, we place one of the qubit pads and a single Josephson junction on the bottom chip and the other pad on the top chip which is galvanically connected with the single Josephson junction through an indium bump. The electric field participation ratio can arrive at nearly 53% in air when the vacuum-gap is about 5 microns, and thus potentially leading to a lower dielectric loss. The coherence times of the flipmons are measured in the range of 30-60 microseconds, which are comparable with that of traditional transmons with similar fabrication processes. The electric field simulation indicates that the metal-air interface's participation ratio increases significantly and may dominate the qubit's decoherence. This suggests that more careful surface treatment needs to be considered. No evidence shows that the indium bumps inside the flipmons cause significant decoherence. With well-designed geometry and good surface treatment, the coherence of the flipmons can be further improved.


title: Domain of existence of the Laplace transform of infinitely divisible negative multinomial distributions

abstract: This article provides the domain of existence $\Omega$ of the Laplace transform of infinitely divisible negative multinomial distributions. We define a negative multinomial distribution on $\mathbb{N}^{n},$ where $\mathbb{N}$ is the set of nonnegative integers, by its probability generating function which will be of the form $\left( A\left( a_{1}z_{1} ,\ldots,a_{n}z_{n}\right) /A\left( a_{1},\ldots,a_{n}\right) \right) ^{-\lambda}$ where $A\left( \mathbf{z}\right) = {\displaystyle\sum\limits_{T\subset\left\{ 1,2,\ldots,n\right\} }} a_{T}\prod\limits_{i\in T}z_{i},$ where $a_{\emptyset}\neq0,$ and where $\lambda$ is a positive number. Finding couples $\left( A,\lambda\right) $ for which we obtain a probability generating function is a difficult problem. Necessary and sufficient conditions on the coefficients $a_{T}$ of $A$ for which we obtain a probability generating function for any positive number $\lambda$ are know by (Bernardoff, 2003). Thus we obtain necessary and sufficient conditions on $\mathbf{a}=\left( a_{1},\ldots,a_{n}\right) $ so that $\mathbf{a}=\left( \mathbf{e}^{t_{1}},\ldots,\mathbf{e}^{t_{n}}\right) $ with $\mathbf{t}=\left( t_{1},\ldots,t_{n}\right) $ belonging to $\Omega$. This makes it possible to construct all the infinitely divisible multinomial distributions on $\mathbb{N}^{n}$. We give examples of construction in dimensions 2 and 3.


title: Reinforce Security: A Model-Free Approach Towards Secure Wiretap Coding

abstract: The use of deep learning-based techniques for approximating secure encoding functions has attracted considerable interest in wireless communications due to impressive results obtained for general coding and decoding tasks for wireless communication systems. Of particular importance is the development of model-free techniques that work without knowledge about the underlying channel. Such techniques utilize for example generative adversarial networks to estimate and model the conditional channel distribution, mutual information estimation as a reward function, or reinforcement learning. In this paper, the approach of reinforcement learning is studied and, in particular, the policy gradient method for a model-free approach of neural network-based secure encoding is investigated. Previously developed techniques for enforcing a certain co-set structure on the encoding process can be combined with recent reinforcement learning approaches. This new approach is evaluated by extensive simulations, and it is demonstrated that the resulting decoding performance of an eavesdropper is capped at a certain error level.


title: UniStore: A fault-tolerant marriage of causal and strong consistency (extended version)

abstract: Modern online services rely on data stores that replicate their data across geographically distributed data centers. Providing strong consistency in such data stores results in high latencies and makes the system vulnerable to network partitions. The alternative of relaxing consistency violates crucial correctness properties. A compromise is to allow multiple consistency levels to coexist in the data store. In this paper we present UniStore, the first fault-tolerant and scalable data store that combines causal and strong consistency. The key challenge we address in UniStore is to maintain liveness despite data center failures: this could be compromised if a strong transaction takes a dependency on a causal transaction that is later lost because of a failure. UniStore ensures that such situations do not arise while paying the cost of durability for causal transactions only when necessary. We evaluate UniStore on Amazon EC2 using both microbenchmarks and a sample application. Our results show that UniStore effectively and scalably combines causal and strong consistency.


title: Decay of the vortex muon

abstract: Muon decay is self-analyzing: the spectral-angular distribution of the emitted electron reveals the spin orientation of the polarized muon. Here, we show that the same feature applies to muons in non-plane-wave states and helps reveal the rich polarization opportunities available. We focus on the so-called vortex states, in which the muon carries a non-zero orbital angular momentum with respect to the average propagation direction and exhibits a cone structure in the momentum distribution. We compute the spectrum and the angular distribution of the electrons emitted in decays of vortex muons and show that the most revealing observable is not the angular distribution but the fixed-angle electron spectra. Even for very small cone opening angles of the vortex muons, it will be easy to observe significant modifications of the electron spectra which would allow one to distinguish vortex muons from approximately plane wave muons, as well as to differentiate among various polarization states. These features will be the key to tracking the evolution of vortex muons in external magnetic fields.


title: Groups of prime degree and the Bateman-Horn Conjecture

abstract: As a consequence of the classification of finite simple groups, the classification of permutation groups of prime degree is complete, apart from the question of when the natural degree $(q^n-1)/(q-1)$ of ${\rm PSL}_n(q)$ is prime. We present heuristic arguments and computational evidence based on the Bateman-Horn Conjecture to support a conjecture that for each prime $n\ge 3$ there are infinitely many primes of this form, even if one restricts to prime values of $q$. Similar arguments and results apply to the parameters of the simple groups ${\rm PSL}_n(q)$, ${\rm PSU}_n(q)$ and ${\rm PSp}_{2n}(q)$ which arise in the work of Dixon and Zalesskii on linear groups of prime degree.


title: Strong magnetic fields: neutron stars with an extended inner crust

abstract: Using relativistic mean-field models, the formation of clusterized matter, as the one expected to exist in the inner crust of neutron stars, is determined under the effect of strong magnetic fields. As already predicted from a calculation of the unstable modes resulting from density fluctuations at subsaturation densities, we confirm in the present work that for magnetic field intensities of the order of $\approx 5 \times 10^{16}$ G to $5 \times 10^{17}$ G, pasta phases may occur for densities well above the zero-field crust-core transition density. This confirms that the extension of the crust may be larger than expected. It is also verified that the equilibrium structure of the clusterized matter is very sensitive to the intensity of the magnetic fields. As a result, the decay of the magnetic field may give rise to internal stresses which may result on the yield and fracture of the inner crust lattice.


title: The Causal Effect of Transport Infrastructure: Evidence from a New Historical Database

abstract: In this paper, we analyze the effect of transport infrastructure investments in railways. As a testing ground, we use data from a new historical database that includes annual panel data on approximately 2,400 Swedish rural geographical areas during the period 1860-1917. We use a staggered event study design that is robust to treatment effect heterogeneity. Importantly, we find extremely large reduced-form effects of having access to railways. For real nonagricultural income, the cumulative treatment effect is approximately 120% after 30 years. Equally important, we also show that our reduced-form effect is likely to reflect growth rather than a reorganization of existing economic activity since we find no spillover effects between treated and untreated regions. Specifically, our results are consistent with the big push hypothesis, which argues that simultaneous/coordinated investment, such as large infrastructure investment in railways, can generate economic growth if there are strong aggregate demand externalities (e.g., Murphy et al. 1989). We used plant-level data to further corroborate this mechanism. Indeed, we find that investments in local railways dramatically, and independent of initial conditions, increase local industrial production and employment on the order of 100-300% across almost all industrial sectors.


title: Quantum Error Correction and Holographic Information from Bilocal Holography

abstract: Bilocal holography is a constructive approach to the higher spin theory holographically dual to $O(N)$ vector models. In contrast to other approaches to bulk reconstruction, bilocal holography does not take input from the dual gravitational theory. The resulting map is a complete bulk/boundary mapping in that it maps the complete set of $O(N)$ invariant degrees of freedom in the CFT, to the complete set of higher spin degrees of freedom. After restricting to a suitable code subspace we demonstrate that bilocal holography naturally reproduces the quantum error correcting properties of holography and it gives a robust bulk (entanglement wedge) reconstruction. A gauge invariant entangled pair of CFT degrees of freedom are naturally smeared over a semicircle in the bulk spacetime, which is highly suggestive of bit threads. Finally, we argue that finite $N$ relations in the CFT, when interpreted in the dual AdS spacetime, can provide relations between degrees of freedom located near the boundary and degrees of freedom deep in the bulk.


title: The causal effect of political power on the provision of public education: Evidence from a weighted voting system

abstract: In this paper, we estimate the causal effect of political power on the provision of public education. We use data from a historical nondemocratic society with a weighted voting system where eligible voters received votes in proportion to their taxable income and without any limit on the maximum of votes, i.e., the political system used in Swedish local governments during the period 1862-1909. We use a novel identification strategy where we combine two different identification strategies, i.e., a threshold regression analysis and a generalized event-study design, both of which exploit nonlinearities or discontinuities in the effect of political power between two opposing local elites: agricultural landowners and emerging industrialists. The results suggest that school spending is approximately 90-120% higher if the nonagrarian interest controls all of the votes compared to when landowners have more than a majority of votes. Moreover, we find no evidence that the concentration of landownership affected this relationship


title: Optically and magnetically addressable valley pseudospin of interlayer excitons in bilayer MoS2

abstract: Interlayer valley excitons in bilayer MoS2 feature concurrently large oscillator strength and long lifetime, and hence represent an advantageous scenario for valleytronic applications. However, control of valley pseudospin of interlayer excitons in pristine bilayer MoS2, which lies at the heart of valleytronics, has remained elusive. Here we report the observation of highly circularly polarized photoluminescence from interlayer excitons of bilayer MoS2 with both optical and magnetic addressability. Under excitation of circularly polarized light near exciton resonance, interlayer excitons of bilayer MoS2 show a near-unity, but negative circular polarization. Significantly, by breaking time-reversal symmetry with an out-of-plane magnetic field, a record level of spontaneous valley polarization (7.7%/Tesla) is identified for interlayer excitons in bilayer MoS2. The giant valley polarization of the interlayer excitons in bilayer MoS2, together with the feasibility of electrical/optical/magnetic control and strong oscillator strength, provides a firm basis for the development of next-generation electronic and optoelectronic applications.


title: Replicating and Extending "Because Their Treebanks Leak": Graph Isomorphism, Covariants, and Parser Performance

abstract: S{\o}gaard (2020) obtained results suggesting the fraction of trees occurring in the test data isomorphic to trees in the training set accounts for a non-trivial variation in parser performance. Similar to other statistical analyses in NLP, the results were based on evaluating linear regressions. However, the study had methodological issues and was undertaken using a small sample size leading to unreliable results. We present a replication study in which we also bin sentences by length and find that only a small subset of sentences vary in performance with respect to graph isomorphism. Further, the correlation observed between parser performance and graph isomorphism in the wild disappears when controlling for covariants. However, in a controlled experiment, where covariants are kept fixed, we do observe a strong correlation. We suggest that conclusions drawn from statistical analyses like this need to be tempered and that controlled experiments can complement them by more readily teasing factors apart.


title: Medium effects in antikaon-induced $\Xi^-$ hyperon production on nuclei near threshold

abstract: We study the antikaon-induced inclusive cascade $\Xi^-$ hyperon production from $^{12}$C and $^{184}$W target nuclei near threshold within a nuclear spectral function approach. The approach describes incoherent direct $\Xi^-$ hyperon production in elementary ${K^-}p \to {K^+}\Xi^-$ and ${K^-}n \to {K^0}\Xi^-$ processes as well as takes into account the influence of the scalar nuclear $K^-$, $K^+$, $K^0$, $\Xi^-$ and their Coulomb potentials on these processes. We calculate the absolute differential and total cross sections for the production of $\Xi^-$ hyperons off these nuclei at laboratory angles $\le$ 45$^{\circ}$ by $K^-$ mesons with momenta of 1.0 and 1.3 GeV/c, which are close to the threshold momentum (1.05 GeV/c) for $\Xi^-$ hyperon production on the free target nucleon at rest. We also calculate the momentum dependence of the transparency ratio for the $^{184}$W/$^{12}$C combination for $\Xi^-$ hyperons at these $K^-$ beam momenta. We show that the $\Xi^-$ differential and total (absolute and relative) production cross sections at the considered initial momenta reveal a distinct sensitivity to the variations in the scalar $\Xi^-$ nuclear potential at saturation density $\rho_0$, studied in the paper, in the low-momentum region of 0.1--0.6 GeV/c. We also demonstrate that for the subthreshold $K^-$ meson momentum of 1.0 GeV/c there is a strong sensitivity of the transparency ratio for $\Xi^-$ hyperons to the considered changes in the $\Xi^-$ nuclear potential at all outgoing $\Xi^-$ momenta as well. Therefore, the measurement of these absolute and relative observables in a dedicated experiment at the J-PARC will provide valuable information on the $\Xi^-$ in-medium properties, which will be complementary to that deduced from the study of the inclusive ($K^-$,$K^+$) reactions at incident momenta of 1.6--1.8 GeV/c in the $\Xi^-$ bound and quasi-free regions.