title: Quantized excitation spectra by magnon confinement in quasi-one-dimensional S=1 spin systems

abstract: We apply the infinite time-evolving-block-decimation algorithm to calculate the dynamical spin-structure factors of the quasi-one-dimensional (q1D) S=1 antiferromagnetic spin system with the single-ion anisotropy and the bond alternation. We find that excitation continuum originating from magnons is quantized, when the staggered field induced by the weak inter-chain interaction is taken into account. The excitation energies of the quantized excitation spectra are well explained by negative zeros of the Airy functions, when the easy-axis anisotropy is strong and the ground state is located deep in the N\'eel phase. This quantization of the magnon continuum is a counterpart of the spinon confinement, which has been recently discussed in q1D S=1/2 antiferromagnets. We further show that, when the staggered field exists, the quantized excitation spectra appear the phase boundary between the Haldane phase and the N\'eel phase of the phase diagram without the staggered field. However, the quantized excitation spectra disappear in the singlet dimer phase.


title: Transforming mesoscale granular plasticity through particle shape

abstract: When an amorphous material is strained beyond the point of yielding it enters a state of continual reconfiguration via dissipative, avalanche-like slip events that relieve built-up local stress. However, how the statistics of such events depend on local interactions among the constituent units remains debated. To address this we perform experiments on granular material in which we use particle shape to vary the interactions systematically. Granular material, confined under constant pressure boundary conditions, is uniaxially compressed while stress is measured and internal rearrangements are imaged with x-rays. We introduce volatility, a quantity from economic theory, as a powerful new tool to quantify the magnitude of stress fluctuations, finding systematic, shape-dependent trends. For all 22 investigated shapes the magnitude $s$ of relaxation events is well-fit by a truncated power law distribution $P(s)\sim {s}^{-\tau} exp(-s/s^*)$, as has been proposed within the context of plasticity models. The power law exponent $\tau$ for all shapes tested clusters around $\tau=$ 1.5, within experimental uncertainty covering the range 1.3 - 1.7. The shape independence of $\tau$ and its compatibility with mean field models indicate that the granularity of the system, but not particle shape, modifies the stress redistribution after a slip event away from that of continuum elasticity. Meanwhile, the characteristic maximum event size $s^*$ changes by two orders of magnitude and tracks the shape dependence of volatility. Particle shape in granular materials is therefore a powerful new factor influencing the distance at which an amorphous system operates from scale-free criticality. These experimental results are not captured by current models and suggest a need to reexamine the mechanisms driving mesoscale plastic deformation in amorphous systems.


title: An Upper Bound for the Number of Solutions of Ternary Purely Exponential Diophantine Equations II

abstract: Let $a,b,c$ be fixed coprime positive integers with $\min\{a,b,c\}>1$. In this paper, by analyzing the gap rule for solutions of the ternary purely exponential diophantine equation $a^x+b^y=c^z$, we prove that if $\max\{a,b,c\}\geq 10^{62}$, then the equation has at most two positive integer solutions $(x,y,z)$.


title: Density Matrix Renormalization Group Pair-Density Functional Theory (DMRG-PDFT): Singlet-Triplet Gaps in Polyacenes and Polyacetylenes

abstract: The density matrix renormalization group (DMRG) is a powerful method to treat static correlation. Here we present an inexpensive way to add additional dynamic correlation energy to a DMRG self-consistent field (DMRG) wave function using pair-density functional theory (PDFT). We applied this new approach, called DMRG-PDFT, to study singlet-triplet gaps in polyacenes and polyacetylenes that require active spaces larger than the feasibility limit of the conventional complete active-space self-consistent field (CASSCF) method. The results match reasonably well the most reliable literature values and have only a moderate dependence on the compression of the initial DMRG wave function. Furthermore, DMRG-PDFT is significantly less expensive than other commonly applied ways of adding additional correlation to DMRG, such as DMRG followed by multireference perturbation theory or multireference configuration interaction.


title: Iteration-Complexity of the Subgradient Method on Riemannian Manifolds with Lower Bounded Curvature

abstract: The subgradient method for convex optimization problems on complete Riemannian manifolds with lower bounded sectional curvature is analyzed in this paper. Iteration-complexity bounds of the subgradient method with exogenous step-size and Polyak's step-size are stablished, completing and improving recent results on the subject.


title: Applying Machine Learning To Maize Traits Prediction

abstract: Heterosis is the improved or increased function of any biological quality in a hybrid offspring. We have studied yet the largest maize SNP dataset for traits prediction. We develop linear and non-linear models which consider relationships between different hybrids as well as other effect. Specially designed model proved to be efficient and robust in prediction maize's traits.


title: On the knot quandle of the twist-spun trefoil

abstract: We show that the knot quandle of the $3$-, $4$-, or $5$-twist-spun trefoil is isomorphic to a quandle related to the $16$-, $24$-, or $600$-cell respectively. We further show that the cardinality of the knot quandle of the $m$-twist-spun trefoil is finite if and only if $1 \leq m \leq 5$. This phenomenon is attributable to the fact that the regular tessellation $\{ 3, m \}$, in the sense of the Schl\"{a}fli symbol, consists of infinite triangles if $m$ is greater than or equal to 6.


title: An Efficient Approach for Geo-Multimedia Cross-Modal Retrieval

abstract: Due to the rapid development of mobile Internet techniques, cloud computation and popularity of online social networking and location-based services, massive amount of multimedia data with geographical information is generated and uploaded to the Internet. In this paper, we propose a novel type of cross-modal multimedia retrieval called geo-multimedia cross-modal retrieval which aims to search out a set of geo-multimedia objects based on geographical distance proximity and semantic similarity between different modalities. Previous studies for cross-modal retrieval and spatial keyword search cannot address this problem effectively because they do not consider multimedia data with geo-tags and do not focus on this type of query. In order to address this problem efficiently, we present the definition of $k$NN geo-multimedia cross-modal query at the first time and introduce relevant conceptions such as cross-modal semantic representation space. To bridge the semantic gap between different modalities, we propose a method named cross-modal semantic matching which contains two important component, i.e., CorrProj and LogsTran, which aims to construct a common semantic representation space for cross-modal semantic similarity measurement. Besides, we designed a framework based on deep learning techniques to implement common semantic representation space construction. In addition, a novel hybrid indexing structure named GMR-Tree combining geo-multimedia data and R-Tree is presented and a efficient $k$NN search algorithm called $k$GMCMS is designed. Comprehensive experimental evaluation on real and synthetic dataset clearly demonstrates that our solution outperforms the-state-of-the-art methods.


title: A generalization of the converse of Brolin's theorem

abstract: We prove a generalization of Lopes's theorem, that is, of the converse of Brolin's theorem.


title: The propagator of the finite XXZ spin-$\tfrac{1}{2}$ chain

abstract: We derive contour integral formulas for the real space propagator of the spin-$\tfrac12$ XXZ chain. The exact results are valid in any finite volume with periodic boundary conditions, and for any value of the anisotropy parameter. The integrals are on fixed contours, that are independent of the Bethe Ansatz solution of the model and the string hypothesis. The propagator is obtained by two different methods. First we compute it through the spectral sum of a deformed model, and as a by-product we also compute the propagator of the XXZ chain perturbed by a Dzyaloshinskii-Moriya interaction term. As a second way we also compute the propagator through a lattice path integral, which is evaluated exactly utilizing the so-called $F$-basis in the mirror (or quantum) channel. The final expressions are similar to the Yudson representation of the infinite volume propagator, with the volume entering as a parameter. As an application of the propagator we compute the Loschmidt amplitude for the quantum quench from a domain wall state.


title: Person Re-Identification by Semantic Region Representation and Topology Constraint

abstract: Person re-identification is a popular research topic which aims at matching the specific person in a multi-camera network automatically. Feature representation and metric learning are two important issues for person re-identification. In this paper, we propose a novel person re-identification method, which consists of a reliable representation called Semantic Region Representation (SRR), and an effective metric learning with Mapping Space Topology Constraint (MSTC). The SRR integrates semantic representations to achieve effective similarity comparison between the corresponding regions via parsing the body into multiple parts, which focuses on the foreground context against the background interference. To learn a discriminant metric, the MSTC is proposed to take into account the topological relationship among all samples in the feature space. It considers two-fold constraints: the distribution of positive pairs should be more compact than the average distribution of negative pairs with regard to the same probe, while the average distance between different classes should be larger than that between same classes. These two aspects cooperate to maintain the compactness of the intra-class as well as the sparsity of the inter-class. Extensive experiments conducted on five challenging person re-identification datasets, VIPeR, SYSU-sReID, QUML GRID, CUHK03, and Market-1501, show that the proposed method achieves competitive performance with the state-of-the-art approaches.


title: Incremental Learning in Person Re-Identification

abstract: Person Re-Identification is still a challenging task in Computer Vision due to a variety of reasons. On the other side, Incremental Learning is still an issue since deep learning models tend to face the problem of over catastrophic forgetting when trained on subsequent tasks. In this paper, we propose a model that can be used for multiple tasks in Person Re-Identification, provide state-of-the-art results on a variety of tasks and still achieve considerable accuracy subsequently. We evaluated our model on two datasets Market 1501 and Duke MTMC. Extensive experiments show that this method can achieve Incremental Learning in Person ReID efficiently as well as for other tasks in computer vision as well.


title: Robust Inference of Two-Dimensional Strain Fields from Diffraction-based Measurements

abstract: Diffraction-based methods have become an invaluable tool for the detailed assessment of residual strain and stress within experimental mechanics. These methods typically measure a component of the average strain within a gauge volume. It is common place to treat these measurements as point measurements and to interpolate and extrapolate their values over the region of interest. Such interpolations are not guaranteed to satisfy the physical properties of equilibrium and applied loading conditions. In this paper, we provide a numerically robust algorithm for inferring two dimensional, biaxial strain fields over a region of interest from diffraction-based measurements that satisfies equilibrium and any known loading conditions. By correctly treating the measurements as gauge volume averages rather than point-wise the algorithm has better performance when large gauge volumes and subsequently shorter beam-times are used. This algorithm is demonstrated on simulation and experimental data and compared to natural neighbour interpolation with linear extrapolation and is shown to provide a more accurate strain field.


title: Antiferromagnetic Ground State of La$_{2}$CuO$_{4}$: A Parameter-free Ab Initio Description

abstract: We show how an accurate first-principles treatment of the antiferromagnetic (AFM) ground state of La$_2$CuO$_4$ can be obtained without invoking any free parameters such as the Hubbard $U$. The magnitude and orientation of our theoretically predicted magnetic moment of $0.495 \mu_{B}$ on Cu-sites along the (100) direction are in excellent accord with experimental results. The computed values of the band gap (1.00 eV) and the exchange-coupling (-138 meV) match the corresponding experimental values. We identify interesting band splittings below the Fermi energy, including an appreciable Hund's splitting of 1.25 eV. The magnetic form factor obtained from neutron scattering experiments is also well described by our calculations. Our study opens up a new pathway for first-principles investigations of electronic and atomic structures and phase diagrams of cuprates and other complex materials.


title: A continuum of incomplete intermediate logics

abstract: This paper generalizes the 1977 paper of V.B. Shehtman, which constructed the first Kripke incomplete intermediate logic, by presenting a continuum of such logics. This version fixes an error in my simplified proof of incompleteness of Shehtman's original logic.


title: Adjoint L-functions for GL(3) and U(2,1)

abstract: We show that the finite part of the adjoint $L$ function (including contributions from all nonarchimedean places, including ramified places) is holomorphic in $\Re(s) \ge 1/2$ for a cuspidal automorphic representation of $GL_3$ over a number field. This improves the main result of [H16]. We obtain more general results for twisted adjoint $L$ functions of both $GL_3$ and quasisplit unitary groups. For unitary groups, we explicate the relationship between poles of twisted adjoint $L$ functions, endoscopy, and the structure of the stable base change lifting.


title: The effect of cryogenic thermal cycling on aging, rejuvenation, and mechanical properties of metallic glasses

abstract: The structural relaxation, potential energy states, and mechanical properties of a model glass subjected to thermal cycling are investigated using molecular dynamics simulations. We study a non-additive binary mixture which is annealed with different cooling rates from the liquid phase to a low temperature well below the glass transition. The thermal treatment is applied by repeatedly heating and cooling the system at constant pressure, thus temporarily inducing internal stresses upon thermal expansion. We find that poorly annealed glasses are relocated to progressively lower levels of potential energy over consecutive cycles, whereas well annealed glasses can be rejuvenated at sufficiently large amplitudes of thermal cycling. Moreover, the lowest levels of potential energy after one hundred cycles are detected at a certain temperature amplitude for all cooling rates. The structural transition to different energy states is accompanied by collective nonaffine displacements of atoms that are organized into clusters, whose typical size becomes larger with increasing cooling rate or temperature amplitude. We show that the elastic modulus and the peak value of the stress overshoot exhibit distinct maxima at the cycling amplitude, which corresponds to the minimum of the potential energy. The simulation results indicate that the yielding peak as a function of the cycling amplitude for quickly annealed glasses represents a lower bound for the maximum stress in glasses prepared with lower cooling rates.


title: Superlinear Convergence of Randomized Block Lanczos Algorithm

abstract: The low rank approximation of matrices is a crucial component in many data mining applications today. A competitive algorithm for this class of problems is the randomized block Lanczos algorithm - an amalgamation of the traditional block Lanczos algorithm with a randomized starting matrix. While empirically this algorithm performs quite well, there has been scant new theoretical results on its convergence behavior and approximation accuracy, and past results have been restricted to certain parameter settings. In this paper, we present a unified singular value convergence analysis for this algorithm, for all valid choices of the block size parameter. We present novel results on the rate of singular value convergence and show that under certain spectrum regimes, the convergence is superlinear. Additionally, we provide results from numerical experiments that validate our analysis.


title: Multimodal speech synthesis architecture for unsupervised speaker adaptation

abstract: This paper proposes a new architecture for speaker adaptation of multi-speaker neural-network speech synthesis systems, in which an unseen speaker's voice can be built using a relatively small amount of speech data without transcriptions. This is sometimes called "unsupervised speaker adaptation". More specifically, we concatenate the layers to the audio inputs when performing unsupervised speaker adaptation while we concatenate them to the text inputs when synthesizing speech from text. Two new training schemes for the new architecture are also proposed in this paper. These training schemes are not limited to speech synthesis, other applications are suggested. Experimental results show that the proposed model not only enables adaptation to unseen speakers using untranscribed speech but it also improves the performance of multi-speaker modeling and speaker adaptation using transcribed audio files.


title: Multi-Perspective Context Aggregation for Semi-supervised Cloze-style Reading Comprehension

abstract: Cloze-style reading comprehension has been a popular task for measuring the progress of natural language understanding in recent years. In this paper, we design a novel multi-perspective framework, which can be seen as the joint training of heterogeneous experts and aggregate context information from different perspectives. Each perspective is modeled by a simple aggregation module. The outputs of multiple aggregation modules are fed into a one-timestep pointer network to get the final answer. At the same time, to tackle the problem of insufficient labeled data, we propose an efficient sampling mechanism to automatically generate more training examples by matching the distribution of candidates between labeled and unlabeled data. We conduct our experiments on a recently released cloze-test dataset CLOTH (Xie et al., 2017), which consists of nearly 100k questions designed by professional teachers. Results show that our method achieves new state-of-the-art performance over previous strong baselines.


title: Elliptic characterization and localization of Oka manifolds

abstract: We prove that Gromov's ellipticity condition $\mathrm{Ell}_1$ characterizes Oka manifolds. This characterization gives another proof of the fact that subellipticity implies the Oka property, and affirmative answers to Gromov's conjectures. As another application, we establish the localization principle for Oka manifolds, which gives new examples of Oka manifolds. In the appendix, it is also shown that the Oka property is not a bimeromorphic invariant.


title: Radicals of weight one blocks of Ariki-Koike algebras

abstract: Let $K$ be a field and $q\in K$, $q\neq 0, 1$. Let $\mathcal {H}_n(q, Q)$ be an Ariki-Koike algebra, where the cyclotomic parameter $Q=(Q_1, Q_2, \cdots, Q_r)\in K^r$ with $r\geq 2$, $Q_i=q^{a_i}$, $a_i\in \mathbb{Z}$. For a weight one block $B$ of $\mathcal {H}_n(q, Q)$, we prove in this paper that $\text{rad}\:B=I$, where $I$ is the nilpotent ideal constructed for a symmetric cellular algebra in [Radicals of symmetric cellular algebras, Colloq. Math. {\bf 133} (2013) 67-83]. We also give some applications of this result.


title: Rock bottom, the world, the sky: Catrobat, an extremely large-scale and long-term visual coding project relying purely on smartphones

abstract: Most of the 700 million teenagers everywhere in the world already have their own smartphones, but comparatively few of them have access to PCs, laptops, OLPCs, Chromebooks, or tablets. The free open source non-profit project Catrobat allows users to create and publish their own apps using only their smartphones. Initiated in 2010, with first public versions of our free apps since 2014 and 47 releases of the main coding app as of July 2018, Catrobat currently has more than 700,000 users from 180 countries, is available in 50+ languages, and has been developed so far by almost 1,000 volunteers from around the world ("the world"). Catrobat is strongly inspired by Scratch and indeed allows to import most Scratch projects, thus giving access to more than 30 million projects on our users' phones as of July 2018. Our apps are very intuitive ("rock bottom"), have many accessibility settings, e.g., for kids with visual or cognitive impairments, and there are tons of constructionist tutorials and courses in many languages. We also have created a plethora of extensions, e.g., for various educational robots, including Lego Mindstorms and flying Parrot quadcopters ("the sky"), as well as for controlling arbitrary external devices through Arduino or Raspberry Pi boards, going up to the stratosphere and even beyond to interplanetary space ("the sky"). A TurtleStitch extension allowing to code one's own embroidery patterns for clothes is currently being developed. Catrobat among others intensely focuses on including female teenagers. While a dedicated version for schools is being developed, our apps are meant to be primarily used outside of class rooms, anywhere and in particular outdoors ("rock bottom", "the world"). Catrobat is discovered by our users through various app stores such as Google Play and via social media channels such as YouTube as well as via our presence on Code.org.


title: Seymour's Second Neighborhood Conjecture for Subsets of Vertices

abstract: Seymour conjectured that every oriented simple graph contains a vertex whose second neighborhood is at least as large as its first. In this note, we put forward a conjecture that we prove is actually equivalent: every oriented simple graph contains a subset of vertices $S$ whose second neighborhood is at least as large as its first. This subset perspective gives some insight into the original conjecture. For example, if there is a counterexample to the second neighborhood conjecture with minimum degree $\delta$, then there exists a counterexample on at most ${\delta + 1 \choose 2}$ vertices. Given a vertex $v$, let $d_1^+(v)$ and $d_2^+(v)$ be the size of its first and second neighborhoods respectively. A digraph is $m$-free if there is no directed cycle on $m$ or fewer vertices. Let $\lambda_m$ be the largest value such that every $m$-free graph contains a vertex $v$ with $d_2^+(v) \geq \lambda_m d_1^+(v)$. The second neighborhood conjecture implies $\lambda_m = 1$ for all $m \geq 2$. Liang and Xu provided lower bounds for all $\lambda_m$, and showed that $\lambda_m \to 1$ as $m \to \infty$. We improve on Liang and Xu's bound for $m \geq 3$ using this subset perspective.


title: Force of light on a two-level atom near an ultrathin optical fiber

abstract: We study the force of light on a two-level atom near an ultrathin optical fiber using the mode function method and the Green tensor technique. We show that the total force consists of the driving-field force, the spontaneous-emission recoil force, and the fiber-induced van der Waals potential force. Due to the existence of a nonzero axial component of the field in a guided mode, the Rabi frequency and, hence, the magnitude of the force of the guided driving field may depend on the propagation direction. When the atomic dipole rotates in the meridional plane, the spontaneous-emission recoil force may arise as a result of the asymmetric spontaneous emission with respect to opposite propagation directions. The van der Waals potential for the atom in the ground state is off-resonant and opposite to the off-resonant part of the van der Waals potential for the atom in the excited state. Unlike the potential for the ground state, the potential for the excited state may oscillate depending on the distance from the atom to the fiber surface.


title: Space Weather Prediction from the Ground: Case of CHAIN

abstract: In this article, we insist on the importance and the challenges of the prediction of solar eruptive phenomena including flares, coronal mass ejections (CME), and filament eruptions fully based on the ground-based telescopes. It is true that satellites' data are indispensable for the space weather prediction, but they are vulnerable to the space weather effects. Therefore, the ground-based telescopes can be complementary to them from the viewpoint of space weather prediction. From this view point, one possible new flare prediction method that makes use of H-alpha, red wings, and blue wings images obtained by the SDDI/SMART, the ground-based telescope at Hida Observatory, is presented. And in order to show the possibility for the actual operation based on that method, the recent progress of CHAIN project, the international observation network, is mentioned in terms of their outcomes and capacity buildings.


title: Universal Stagewise Learning for Non-Convex Problems with Convergence on Averaged Solutions

abstract: Although stochastic gradient descent (SGD) method and its variants (e.g., stochastic momentum methods, AdaGrad) are the choice of algorithms for solving non-convex problems (especially deep learning), there still remain big gaps between the theory and the practice with many questions unresolved. For example, there is still a lack of theories of convergence for SGD and its variants that use stagewise step size and return an averaged solution in practice. In addition, theoretical insights of why adaptive step size of AdaGrad could improve non-adaptive step size of {\sgd} is still missing for non-convex optimization. This paper aims to address these questions and fill the gap between theory and practice. We propose a universal stagewise optimization framework for a broad family of {\bf non-smooth non-convex} (namely weakly convex) problems with the following key features: (i) at each stage any suitable stochastic convex optimization algorithms (e.g., SGD or AdaGrad) that return an averaged solution can be employed for minimizing a regularized convex problem; (ii) the step size is decreased in a stagewise manner; (iii) an averaged solution is returned as the final solution that is selected from all stagewise averaged solutions with sampling probabilities {\it increasing} as the stage number. Our theoretical results of stagewise AdaGrad exhibit its adaptive convergence, therefore shed insights on its faster convergence for problems with sparse stochastic gradients than stagewise SGD. To the best of our knowledge, these new results are the first of their kind for addressing the unresolved issues of existing theories mentioned earlier. Besides theoretical contributions, our empirical studies show that our stagewise SGD and ADAGRAD improve the generalization performance of existing variants/implementations of SGD and ADAGRAD.


title: Generalized Lie Algebroids - Examples by Distinguished Lie Algebroids with Applications to Optimal Control

abstract: We will prove that the generalized Lie algebroid is a distinguished example by Lie algebroid. The generality of it with respect to the Lie algebroid is similar with the generality of the pull-back vector bundle with respect to the vector bundle. Next, we will prove that the proof of Theorem 3.1 from [15] is a misconception and the mentioned Theorem has no validity. Finally, we anatomize an optimal control problem solvable in the generalized Lie algebroid framework whereas Lie algebroid instrumentation can not solve it.


title: FedMark: A Marketplace for Federated Data on the Web

abstract: The Web of Data (WoD) has experienced a phenomenal growth in the past. This growth is mainly fueled by tireless volunteers, government subsidies, and open data legislations. The majority of commercial data has not made the transition to the WoD, yet. The problem is that it is not clear how publishers of commercial data can monetize their data in this new setting. Advertisement, which is one of the main financial engines of the World Wide Web, cannot be applied to the Web of Data as such unwanted data can easily be filtered out, automatically. This raises the question how the WoD can (i) maintain its grow when subsidies disappear and (ii) give commercial data providers financial incentives to share their wealth of data. In this paper, we propose a marketplace for the WoD as a solution for this data monetization problem. Our approach allows a customer to transparently buy data from a combination of different providers. To that end, we introduce two different approaches for deciding which data elements to buy and compare their performance. We also introduce FedMark, a prototypical implementation of our marketplace that represents a first step towards an economically viable WoD beyond subsidies.


title: Reply to "Comment on `Relation between scattering amplitude and Bethe-Salpeter wave function in quantum field theory"'

abstract: We reemphasize the momentum dependence of the coefficients of the derivative expansion as already explained in our paper [1]. We also discuss how the momentum dependence plagues the time-dependent HALQCD method and what is a necessary condition for the method to yield valid results being independent of the choice of the interpolating operators.


title: Refined Asymptotics in the Online Selection of an Increasing Subsequence

abstract: Let $v_n$ be the maximum expected length of an increasing subsequence, which can be selected by an online nonanticipating policy from a random sample of size $n$. Refining known estimates, we obtain an asymptotic expansion of $v_n$ up to a $O(1)$ term. The method we use is based on detailed analysis of the dynamic programming equation, and is also applicable to the online selection problem with observations occurring at times of a Poisson process.


title: Singlet Dirac Fermion Dark Matter with Mediators at Loop

abstract: We study the phenomenology of singlet Dirac fermion dark matter in the simplified models where the dark matter interacts with the Standard Model particles at loop-level with the help of either colored or non-colored mediators. We especially focus on the implications of non-zero CP phases in the dark sector, which induce the electric dipole moments of the Dirac fermion dark matter as well as those of electron and nucleon. It is then found that the dark matter direct detection searches and the measurements of the electric dipole moments are able to test the singlet Dirac fermion dark matter scenario in the forthcoming experiments.


title: Decomposed description of Ramsey spectra under atomic interactions

abstract: We introduce a description of Ramsey spectra under atomic interactions as a sum of decomposed components with differing dependence on interaction parameters. This description enables intuitive understanding of the loss of contrast and asymmetry of Ramsey spectra. We derive a quantitative relationship between the asymmetry and atomic interaction parameters, which enables their characterization without changing atom density. The model is confirmed through experiments with a Yb optical lattice clock.


title: An Economic Analysis of Privacy Protection and Statistical Accuracy as Social Choices

abstract: Statistical agencies face a dual mandate to publish accurate statistics while protecting respondent privacy. Increasing privacy protection requires decreased accuracy. Recognizing this as a resource allocation problem, we propose an economic solution: operate where the marginal cost of increasing privacy equals the marginal benefit. Our model of production, from computer science, assumes data are published using an efficient differentially private algorithm. Optimal choice weighs the demand for accurate statistics against the demand for privacy. Examples from U.S.\ statistical programs show how our framework can guide decision-making. Further progress requires a better understanding of willingness-to-pay for privacy and statistical accuracy.


title: Question Generation from SQL Queries Improves Neural Semantic Parsing

abstract: We study how to learn a semantic parser of state-of-the-art accuracy with less supervised training data. We conduct our study on WikiSQL, the largest hand-annotated semantic parsing dataset to date. First, we demonstrate that question generation is an effective method that empowers us to learn a state-of-the-art neural network based semantic parser with thirty percent of the supervised training data. Second, we show that applying question generation to the full supervised training data further improves the state-of-the-art model. In addition, we observe that there is a logarithmic relationship between the accuracy of a semantic parser and the amount of training data.


title: Post-Processing of Word Representations via Variance Normalization and Dynamic Embedding

abstract: Although embedded vector representations of words offer impressive performance on many natural language processing (NLP) applications, the information of ordered input sequences is lost to some extent if only context-based samples are used in the training. For further performance improvement, two new post-processing techniques, called post-processing via variance normalization (PVN) and post-processing via dynamic embedding (PDE), are proposed in this work. The PVN method normalizes the variance of principal components of word vectors while the PDE method learns orthogonal latent variables from ordered input sequences. The PVN and the PDE methods can be integrated to achieve better performance. We apply these post-processing techniques to two popular word embedding methods (i.e., word2vec and GloVe) to yield their post-processed representations. Extensive experiments are conducted to demonstrate the effectiveness of the proposed post-processing techniques.


title: Reed-Solomon codes over small fields with constrained generator matrices

abstract: We give constructions of some special cases of $[n,k]$ Reed-Solomon codes over finite fields of size at least $n$ and $n+1$ whose generator matrices have constrained support. Furthermore, we consider a generalisation of the GM-MDS conjecture proposed by Lovett in 2018. We show that Lovett's conjecture is false in general and we specify when the conjecture is true.


title: The speciation of Australopithecus and Paranthropus was caused by introgression from the Gorilla lineage

abstract: The discovery of Paranthropus deyiremeda in 3.3-3.5 million year old fossil sites in Afar (Haile-Selassie, 2015), together with 30% of the gorilla genome showing lineage sorting between humans and chimpanzees (Scally, 2012), and a NUMT ("nuclear mitochondrial DNA segment") that is shared by both gorillas, humans and chimpanzees, and that dates back to 6 million years ago (Popadin, 2017), is conclusive evidence that introgression from the gorilla lineage caused the speciation of both the Australopithecus lineage and the Paranthropus lineage, providing a lens into the gorilla-like features within Paranthropus, as well as traits within Homo that originate from the gorilla branch, such as a high opposable thumb index (Alm\'ecija, 2015), an adducted great toe (Tocheri, 2011, McHenry, 2006), and large deposits of subcutaneous fat.


title: $L^p$ metric geometry of big and nef cohomology classes

abstract: Let $(X,\omega)$ be a compact K\"ahler manifold of dimension $n$, and $\theta$ be a closed smooth real $(1,1)$-form representing a big and nef cohomology class. We introduce a metric $d_p, p\geq 1$, on the finite energy space $\mathcal{E}^p(X,\theta)$, making it a complete geodesic metric space.


title: Sharp error estimates on a stochastic structure-preserving scheme in computing effective diffusivity of 3D chaotic flows

abstract: In this paper, we study the problem of computing the effective diffusivity for particles moving in chaotic flows. Instead of solving a convection-diffusion type cell problem in the Eulerian formulation (arising from homogenization theory for parabolic equations), we compute the motion of particles in the Lagrangian formulation, which is modeled by stochastic differential equations (SDEs). A robust numerical integrator based on a splitting method was proposed to solve the SDEs and a rigorous error analysis for the numerical integrator was provided using the backward error analysis (BEA) technique [35]. However, the upper bound in the error estimate is not sharp. To improve our result, we propose a new and uniform in time error analysis for the numerical integrator that allows us to get rid of the exponential growth factor in our previous error estimate. Our new error analysis is based on a probabilistic approach, which interprets the solution process generated by our numerical integrator as a Markov process. By exploring the ergodicity of the solution process, we prove the convergence analysis of our method in computing effective diffusivity over infinite time. We present numerical results to verify the accuracy and efficiency of the proposed method in computing effective diffusivity for several chaotic flows, especially the Arnold-Beltrami-Childress (ABC) flow and Kolmogorov flow in three-dimensional space.


title: Analysis of "Learn-As-You-Go" (LAGO) Studies

abstract: In learn-as-you-go (LAGO) adaptive studies, the intervention is a complex package consisting of multiple components, and is adapted in stages during the study based on past outcome data. This design formalizes standard practice, and desires for practice, in public health intervention studies. An effective intervention package is sought, while minimizing intervention package cost. When analyzing data from a learn-as-you-go study, the interventions in later stages depend upon the outcomes in the previous stages, violating standard statistical theory. We develop methods for estimating the intervention effects in a LAGO study. We prove consistency and asymptotic normality using a novel coupling argument, ensuring the validity of the test for the hypothesis of no overall intervention effect. We develop a confidence set for the optimal intervention package and confidence bands for the success probabilities under alternative package compositions. We illustrate our methods in the BetterBirth Study, which aimed to improve maternal and neonatal outcomes among 157,689 births in Uttar Pradesh, India through a complex, multi-component intervention package.


title: SN 2014J in M82: New Insights On the Spectral Diversity of Type Ia Supernovae

abstract: We present extensive spectroscopic observations for one of the closest type Ia supernovae (SNe Ia), SN 2014J discovered in M82, ranging from 10.4 days before to 473.2 days after B-band maximum light. The diffuse interstellar band (DIB) features detected in a high-resolution spectrum allow an estimate of line-of-sight extinction as Av=1.9+/-0.6 mag. Spectroscopically, SN 2014J can be put into the high-velocity (HV) subgroup in Wang's classification with a velocity of Si~II 6355 at maximum light as about 12200 km/s, but has a low velocity gradient (LVG, following Benetti's classification) as 41+/-2 km/s/day, which is inconsistent with the trend that HV SNe Ia generally have larger velocity gradients. We find that the HV SNe Ia with LVGs tend to have relatively stronger Si III (at ~4400 Angstrom) absorptions in early spectra, larger ratios of S II 5468 to S II 5640, and weaker Si II 5972 absorptions compared to their counterparts with similar velocities but high velocity gradients. This shows that the HV+LVG subgroup of SNe Ia may have intrinsically higher photospheric temperature, which indicates that their progenitors may experience more complete burning in the explosions relative to the typical HV SNe Ia.


title: Existence of asymptotic speed of solutions to birth and spread type nonlinear partial differential equations

abstract: In this paper, we prove the existence of asymptotic speed of solutions to fully nonlinear, possibly degenerate parabolic partial differential equations in a general setting. We then give some explicit examples of equations in this setting and study further properties of the asymptotic speed for each equation. Some numerical results concerning the asymptotic speed are presented.


title: Binomial coefficients and multifactorial numbers through generative grammars

abstract: In this paper, the formal derivative operator defined with respect to context-free grammars is used to prove some properties about binomial coefficients and multifactorial numbers. In addition, we extend the formal derivative operator to matrix grammars and show that multifactorial numbers can also be generated.


title: A General Framework of Multi-Armed Bandit Processes by Arm Switch Restrictions

abstract: This paper proposes a general framework of multi-armed bandit (MAB) processes by introducing a type of restrictions on the switches among arms evolving in continuous time. The Gittins index process is constructed for any single arm subject to the restrictions on switches and then the optimality of the corresponding Gittins index rule is established. The Gittins indices defined in this paper are consistent with the ones for MAB processes in continuous time, integer time, semi-Markovian setting as well as general discrete time setting, so that the new theory covers the classical models as special cases and also applies to many other situations that have not yet been touched in the literature. While the proof of the optimality of Gittins index policies benefits from ideas in the existing theory of MAB processes in continuous time, new techniques are introduced which drastically simplify the proof.


title: Yukawa interactions, flavor symmetry, and non-canonical K\"{a}hler potential

abstract: We study the origin of fermion mass hierarchy and flavor mixing in the standard model, paying attention to flavor symmetries and fermion kinetic terms. There is a possibility that the hierarchical flavor structure of quarks and charged leptons originates from non-canonical types of fermion kinetic terms in the presence of flavor symmetric Yukawa interactions. A flavor symmetry can be hidden in the form of non-unitary bases in the standard model. The structure of K\"{a}hler potential can become a touchstone of new physics.


title: Discovering Context Specific Causal Relationships

abstract: With the increasing need of personalised decision making, such as personalised medicine and online recommendations, a growing attention has been paid to the discovery of the context and heterogeneity of causal relationships. Most existing methods, however, assume a known cause (e.g. a new drug) and focus on identifying from data the contexts of heterogeneous effects of the cause (e.g. patient groups with different responses to the new drug). There is no approach to efficiently detecting directly from observational data context specific causal relationships, i.e. discovering the causes and their contexts simultaneously. In this paper, by taking the advantages of highly efficient decision tree induction and the well established causal inference framework, we propose the Tree based Context Causal rule discovery (TCC) method, for efficient exploration of context specific causal relationships from data. Experiments with both synthetic and real world data sets show that TCC can effectively discover context specific causal rules from the data.


title: Electric field induced permanent superconductivity in layered metal nitride chloride MNCl(M: Hf and Zr)

abstract: The device of electric double-layer transistor (EDLT) with ionic liquid has been employed as an effective way to dope carriers over a wide range, which can induce metallic state, magnetic reconstruction and superconducting transition. However, the induced electronic state can hardly survive in the materials after releasing the gate voltage, strongly restricting the experimental study for discovery of physics. Here, we show that a permanent superconductivity with transition temperature $T_c$ of 24 and 15 K is realized in single crystals and polycrystalline samples of HfNCl and ZrNCl upon applying proper gate voltage $V_{\rm G}$, respectively. Reversible change between insulating and superconducting state can be obtained through applying positive and negative $V_{\rm G}$ at low temperature such as 220 K, whereas $V_{\rm G}$ applied at high temperatures ($\geq$ 250 K) could induce partial deintercalation of Cl ions and result in irreversible superconducting transition. The present results clarify a connection between traditional chemical synthesis and the electrochemical mechanism of the EDLT induced superconductivity. Such a technique shows a great potential to systematically tune the bulk electronic state in the similar two-dimensional (2D) systems.


title: A Classically Impossible Task Done by Using Quantum Resources

abstract: We propose a task that cannot be done by using any classical mechanical means but can be done with quantum resources. The task is closely related to the violation of Bell's inequality.


title: Stability condition of a two-dimensional QBD process and its application to estimation of efficiency for two-queue models

abstract: In order to analyze stability of a two-queue model, we consider a two-dimensional quasi-birth-and-death process (2d-QBD process), denoted by $\{\boldsymbol{Y}(t)\}=\{((L_1(t),L_2(t)),J(t))\}$. The two-dimensional process $\{(L_1(t),L_2(t))\}$ on $\mathbb{Z}_+^2$ is called a level process, where the individual processes $\{L_1(t)\}$ and $\{L_2(t)\}$ are assumed to be skip free. The supplemental process $\{J(t)\}$ is called a phase process and it takes values in a finite set. The 2d-QBD process is a CTMC, in which the transition rates of the level process vary according to the state of the phase process like an ordinary (one-dimensional) QBD process. In this paper, we first state the conditions ensuring a 2d-QBD process is positive recurrent or transient and then demonstrate that the efficiency of a two-queue model can be estimated by using the conditions we obtain.


title: Characterization of Group-Strategyproof Mechanisms for Facility Location in Strictly Convex Space

abstract: We characterize the class of group-strategyproof mechanisms for the single facility location game in any unconstrained strictly convex space. A mechanism is \emph{group-strategyproof}, if no group of agents can misreport so that all its members are \emph{strictly} better off. A strictly convex space is a normed vector space where $\|x+y\|<2$ holds for any pair of different unit vectors $x \neq y$, e.g., any $L_p$ space with $p\in (1,\infty)$. We show that any deterministic, unanimous, group-strategyproof mechanism must be dictatorial, and that any randomized, unanimous, translation-invariant, group-strategyproof mechanism must be \emph{2-dictatorial}. Here a randomized mechanism is 2-dictatorial if the lottery output of the mechanism must be distributed on the line segment between two dictators' inputs. A mechanism is translation-invariant if the output of the mechanism follows the same translation of the input. Our characterization directly implies that any (randomized) translation-invariant approximation algorithm satisfying the group-strategyproofness property has a lower bound of $2$-approximation for maximum cost (whenever $n \geq 3$), and $n/2 - 1$ for social cost. We also find an algorithm that $2$-approximates the maximum cost and $n/2$-approximates the social cost, proving the bounds to be (almost) tight.


title: Unconventional exchange bias coupling at perovskite/brownmillerite interface in spontaneously stabilized SrCoO3-{\delta}/SrCoO2.5 bi-layer

abstract: Interface effect in complex oxide thin film heterostructures lies at the vanguard of current research to design technologically relevant functionality and explore emergent physical phenomena. While most of the previous works focus on the perovskite/perovskite heterostructures, the study on perovskite/brownmillerite interfaces remain at its infancy. Here, we investigate spontaneously stabilized perovskite-ferromagnet (SrCoO3-{\delta})/brownmillertite-antiferromagnet (SrCoO2.5) bi-layer with TN > TC and discover an unconventional interfacial magnetic exchange bias effect. From magnetometry investigations, it is rationalized that the observed effect stems from the interfacial ferromagnet/antiferromagnet coupling. The possibility for coupled ferromagnet/spinglass interface engendering such effect is ruled out. Strikingly, a finite coercive field persists in the paramagnetic state of SrCoO3-{\delta} whereas the exchange bias field vanishes at TC. We conjecture the observed effect to be due to the effective external quenched staggered field provided by the antiferromagtic layer for the ferromagnetic spins at the interface. Our results not only unveil a new paradigm to tailor the interfacial magnetic properties in oxide heterostructures without altering the cations at the interface, but also provide a purview to delve into the fundamental aspects of exchange bias in such unusual systems paving a big step forward in thin film magnetism.


title: Authenticating On-Body Backscatter by Exploiting Propagation Signatures

abstract: The vision of battery-free communication has made backscatter a compelling technology for on-body wearable and implantable devices. Recent advances have facilitated the communication between backscatter tags and on-body smart devices. These studies have focused on the communication dimension, while the security dimension remains vulnerable. It has been demonstrated that wireless connectivity can be exploited to send unauthorized commands or fake messages that result in device malfunctioning. The key challenge in defending these attacks stems from the minimalist design in backscatter. Thus, in this paper, we explore the feasibility of authenticating an on-body backscatter tag without modifying its signal or protocol. We present SecureScatter, a physical-layer solution that delegates the security of backscatter to an on-body smart device. To this end, we profile the on-body propagation paths of backscatter links, and construct highly sensitive propagation signatures to identify on-body backscatter links. We implement our design in a software radio and evaluate it with different backscatter tags that work at 2.4 GHz and 900 MHz. Results show that our system can identify on-body devices at 93.23% average true positive rate and 3.18% average false positive rate.


title: Universal Image Manipulation Detection using Deep Siamese Convolutional Neural Network

abstract: Detection of different types of image editing operations carried out on an image is an important problem in image forensics. It gives the information about the processing history of an image, and also can expose forgeries present in an image. There have been few methods proposed to detect different types of image editing operations in a single framework. However, all the operations have to be known a priori in the training phase. But, in real-forensics scenarios it may not be possible to know about the editing operations carried out on an image. To solve this problem, we propose a novel deep learning-based method which can differentiate between different types of image editing operations. The proposed method classifies image patches in a pair-wise fashion as either similarly or differently processed using a deep siamese neural network. Once the network learns feature that can discriminate between different image editing operations, it can differentiate between different image editing operations not present in the training stage. The experimental results show the efficacy of the proposed method in detecting/discriminating different image editing operations.


title: PAC-learning is Undecidable

abstract: The problem of attempting to learn the mapping between data and labels is the crux of any machine learning task. It is, therefore, of interest to the machine learning community on practical as well as theoretical counts to consider the existence of a test or criterion for deciding the feasibility of attempting to learn. We investigate the existence of such a criterion in the setting of PAC-learning, basing the feasibility solely on whether the mapping to be learnt lends itself to approximation by a given class of hypothesis functions. We show that no such criterion exists, exposing a fundamental limitation in the decidability of learning. In other words, we prove that testing for PAC-learnability is undecidable in the Turing sense. We also briefly discuss some of the probable implications of this result to the current practice of machine learning.


title: A transiting M-dwarf showing beaming effect in the field of Ruprecht 147

abstract: We report the discovery and characterization of an eclipsing M5V dwarf star, orbiting a slightly evolved F7V main sequence star. In contrast to previous claims in the literature, we confirm that the system does not belong to the galactic open cluster Ruprecht 147. We determine its fundamental parameters combining K2 time-series data with spectroscopic observations from the McDonald Observatory, FIES@NOT, and HIRES@KECK. The very precise photometric data from the K2 mission allows us to measure variations caused by the beaming effect (relativistic doppler boosting), ellipsoidal variation, reflection, and the secondary eclipse. We determined the radial velocity using spectroscopic observations and compare it to the radial velocity determined from the beaming effect observed in the photometric data. The M5V star has a radius of $0.200 \substack{+0.007 \\ -0.008}$ $R_{\odot}$ and a mass of $0.187 \substack{+0.012 \\ -0.013}$ $M_{\odot}$. The primary star has radius of $1.518 \substack{+0.038 \\ -0.049}$ $R_{\odot}$ and a mass of $1.008 \substack{+0.081 \\ -0.097}$ $M_{\odot}$. The orbital period is $ 5.441995 \pm 0.000007$ days. The system is one of the few eclipsing systems with observed beaming effect and spectroscopic radial velocity measurements and it can be used as test case for the modelling of the beaming effect. Current and forthcoming space missions such as TESS and PLATO might benefit of the analysis of the beaming effect to estimate the mass of transiting companions without the need for radial velocity follow up observations, provided that the systematic sources of noise affecting this method are well understood.


title: Integrability in Finite Terms And Actions of Lie Groups

abstract: According to Liouville's Theorem, an indefinite integral of an elementary function is usually not an elementary function. In this notes, we discuss that statement and a proof of this result. The differential Galois group of the extension obtained by adjoining an integral does not determine whether the integral is an elementary function or not. Nevertheless, Liouville's Theorem can be proved using differential Galois groups. The first step towards such a proof was suggested by Abel. This step is related to algebraic extensions and their finite Galois groups. A significant part of this notes is dedicated to a second step, which deals with pure transcendent extensions and their Galois groups which are connected Lie groups. The idea of the proof goes back to J.Liouville and J.Ritt.


title: Stripe and superconducting order competing in the Hubbard model on a square lattice studied by a combined variational Monte Carlo and tensor network method

abstract: The long-studied Hubbard model is one of the simplest models of copper-oxide superconductors. However, the connection between the model and the experimental phase diagram is still under debate, in particular regarding the existence and extent of the $d$-wave superconducting phase. Recent rapid progress in improving the accuracy of numerical solvers has opened a way to answer this question reliably. Here, we study the hole-doping concentration ($\delta$) dependence of the Hubbard model in the ground states on a square lattice at strong coupling $U/t=10$, for the on-site interaction $U$ and the transfer $t$, using a variational Monte Carlo method. The method, which combines tensor network and Lanczos methods on top of Pfaffian wave functions, reveals a rich phase diagram, in which many orders compete severely and degenerate within the energy range of 0.01$t$. We have identified distinct phases including a uniform $d$-wave superconducting phase for $0.17\lesssim \delta \lesssim0.22$ and a stripe charge/spin ordered phase for $\delta\lesssim0.17$ with the stripe period depending on $\delta$, together with presumable spatially coexisting antiferromagnetic and stripe order for $\delta\lesssim0.07$ and coexisting stripe and $d$-wave superconductivity for $0.07\lesssim\delta\lesssim0.17$. The present, improved method revealed a wider region of a charge uniform superconducting phase than the previous studies and shows a qualitative similarity to the phase diagram of the cuprate superconductors. The superconducting order parameter is largest at doping of around $\delta=0.17$ in the ground state, which undergoes phase transitions from an inhomogeneous to a uniform state.


title: Solvability of Equations by Quadratures and Newton's Theorem

abstract: Picard--Vessiot theorem (1910) provides a necessary and sufficient condition for solvability of linear differential equations of order $n$ by quadratures in terms of its Galois group. It is based on the differential Galois theory and is rather involved. J.Liouville in 1839 found an elementary criterium for such solvability for $n=2$. J.F.Ritt simplified Liouville's theorem (1948). In 1973 M. Rosenlicht proved a similar criterium for arbitrary $n$. Rosenlicht work relies on the valuation theory and is not elementary. In these notes we show that the elementary Liouville--Ritt method based on developing solutions in Puiseux series as functions of a parameter works smoothly for arbitrary $n$ and proves the same criterium.


title: The Mismatch Principle: The Generalized Lasso Under Large Model Uncertainties

abstract: We study the estimation capacity of the generalized Lasso, i.e., least squares minimization combined with a (convex) structural constraint. While Lasso-type estimators were originally designed for noisy linear regression problems, it has recently turned out that they are in fact robust against various types of model uncertainties and misspecifications, most notably, non-linearly distorted observation models. This work provides more theoretical evidence for this somewhat astonishing phenomenon. At the heart of our analysis stands the mismatch principle, which is a simple recipe to establish theoretical error bounds for the generalized Lasso. The associated estimation guarantees are of independent interest and are formulated in a fairly general setup, permitting arbitrary sub-Gaussian data, possibly with strongly correlated feature designs; in particular, we do not assume a specific observation model which connects the input and output variables. Although the mismatch principle is conceived based on ideas from statistical learning theory, its actual application area are (high-dimensional) estimation tasks for semi-parametric models. In this context, the benefits of the mismatch principle are demonstrated for a variety of popular problem classes, such as single-index models, generalized linear models, and variable selection. Apart from that, our findings are also relevant to recent advances in quantized and distributed compressed sensing.


title: On the minimal Hamming weight of a multi-base representation

abstract: Given a finite set of bases $b_1$, $b_2$, \dots, $b_r$ (integers greater than $1$), a multi-base representation of an integer~$n$ is a sum with summands $db_1^{\alpha_1}b_2^{\alpha_2} \cdots b_r^{\alpha_r}$, where the $\alpha_j$ are nonnegative integers and the digits $d$ are taken from a fixed finite set. We consider multi-base representations with at least two bases that are multiplicatively independent. Our main result states that the order of magnitude of the minimal Hamming weight of an integer~$n$, i.e., the minimal number of nonzero summands in a representation of~$n$, is $\log n / (\log \log n)$. This is independent of the number of bases, the bases themselves, and the digit set. For the proof, the existing upper bound for prime bases is generalized to multiplicatively independent bases, for the required analysis of the natural greedy algorithm, an auxiliary result in Diophantine approximation is derived. The lower bound follows by a counting argument and alternatively by using communication complexity, thereby improving the existing bounds and closing the gap in the order of magnitude. This implies also that the greedy algorithm terminates after $\mathcal{O}(\log n/\log \log n)$ steps, and that this bound is sharp.


title: Electronic transport properties of Co cluster-decorated graphene

abstract: Interactions of magnetic elements with graphene may lead to various electronic states that have potential applications. We report an in-situ experiment in which the quantum transport properties of graphene are measured with increasing cobalt coverage in continuous ultra-high vacuum environment. The results show that e-beam deposited cobalt forms clusters on the surface of graphene, even at low sample temperatures. Scattering of charge carriers by the absorbed cobalt clusters results in the disappearance of the Shubnikov-de Haas (SdH) oscillations and the appearance of negative magnetoresistance (MR) which shows no sign of saturation up to an applied magnetic field of 9 T. We propose that these observations could originate from quantum interference driven by cobalt disorder and can be explained by the weak localization theory.


title: GPU PaaS Computation Model in Aneka Cloud Computing Environment

abstract: Due to the surge in the volume of data generated and rapid advancement in Artificial Intelligence (AI) techniques like machine learning and deep learning, the existing traditional computing models have become inadequate to process an enormous volume of data and the complex application logic for extracting intrinsic information. Computing accelerators such as Graphics processing units (GPUs) have become de facto SIMD computing system for many big data and machine learning applications. On the other hand, the traditional computing model has gradually switched from conventional ownership-based computing to subscription-based cloud computing model. However, the lack of programming models and frameworks to develop cloud-native applications in a seamless manner to utilize both CPU and GPU resources in the cloud has become a bottleneck for rapid application development. To support this application demand for simultaneous heterogeneous resource usage, programming models and new frameworks are needed to manage the underlying resources effectively. Aneka is emerged as a popular PaaS computing model for the development of Cloud applications using multiple programming models like Thread, Task, and MapReduce in a single container .NET platform. Since, Aneka addresses MIMD application development that uses CPU based resources and GPU programming like CUDA is designed for SIMD application development, here, the chapter discusses GPU PaaS computing model for Aneka Clouds for rapid cloud application development for .NET platforms. The popular opensource GPU libraries are utilized and integrated it into the existing Aneka task programming model. The scheduling policies are extended that automatically identify GPU machines and schedule respective tasks accordingly. A case study on image processing is discussed to demonstrate the system, which has been built using PaaS Aneka SDKs and CUDA library.


title: Trace Characterizations and Socle Identifications in Banach Algebras

abstract: As a follow-up to a paper of D. Petz and J. Zem\'anek [4], a number of equivalent conditions which characterize the trace among linear functionals on matrix algebras, finite rank operators and the socle elements of semisimple Banach algebras in general are given. Moreover, the converse problem is also addressed, that is, given the equivalence of certain conditions which characterize the trace, what can be said about the structure of the socle? In particular, we characterize those socles isomorphic to matrix algebras in this manner, as well as those socles which are minimal two-sided ideals.


title: Wrangling Rogues: Managing Experimental Post-Moore Architectures

abstract: The Rogues Gallery is a new experimental testbed that is focused on tackling "rogue" architectures for the Post-Moore era of computing. While some of these devices have roots in the embedded and high-performance computing spaces, managing current and emerging technologies provides a challenge for system administration that are not always foreseen in traditional data center environments. We present an overview of the motivations and design of the initial Rogues Gallery testbed and cover some of the unique challenges that we have seen and foresee with upcoming hardware prototypes for future post-Moore research. Specifically, we cover the networking, identity management, scheduling of resources, and tools and sensor access aspects of the Rogues Gallery and techniques we have developed to manage these new platforms.


title: Commutators, Commutativity and Dimension in the Socle of a Banach Algebra: A generalized Wedderburn-Artin and Shoda's Theorem

abstract: As a follow-up to work done in [7], some new insights to the structure of the socle of a semisimple Banach algebra is obtained. In particular, it is shown that the socle is isomorphic as an algebra to the direct sum of tensor products of corresponding left and right minimal ideals. Remarkably, the finite-dimensional case here reduces to the classical Wedderburn-Artin Theorem, and this approach does not use any continuous irreducible representations of the algebra in question. Furthermore, the structure of the socles for which the classical Shoda's Theorem for matrices can be extended, is characterized exactly as those socles which are minimal two-sided ideals. It is then shown that the set of commutators in the socle (i.e. $\left\{xy-yx : x, y \in \mathrm{Soc}\:A \right\}$) is a vector subspace. Finally, we characterize those socles which belong to the center of a Banach algebra and obtain results which suggests that the dimension of certain subalgebras of the socle in fact provides a measure, to some extent, of commutativity.


title: Non-signaling Causal Hierarchy of General Multisource Networks

abstract: Large-scale multisource networks have been employed to overcome the practical constraints that entangled systems are difficult to faithfully transmit over large distance or store in long time. However, a full characterization of the multipartite nonlocality of these networks remains out of reach, mainly due to the complexity of multipartite causal models. In this paper, we propose a general framework of Bayesian networks to reveal connections among different causal structures. The present model implies a special star-convex set of non-signaling correlations from multisource networks that allows constructing polynomial-time algorithm for solving the compatibility problem of a given correlation distribution and a fixed causal network. It is then used to classify the nonlocality originated from the standard entanglement swapping of tripartite networks. Our model provides a unified device-independent information processing method for exploring the practical security against non-signaling eavesdroppers on multisource quantum networks.


title: Optimal asset allocation for a DC plan with partial information under inflation and mortality risks

abstract: We study an asset allocation stochastic problem with restriction for a defined-contribution pension plan during the accumulation phase. We consider a financial market with stochastic interest rate, composed of a risk-free asset, a real zero coupon bond price, the inflation-linked bond and the risky asset. A plan member aims to maximize the expected power utility derived from the terminal wealth. In order to protect the rights of a member who dies before retirement, we introduce a clause which allows to withdraw his premiums and the difference is distributed among the survival members. Besides the mortality risk, the fund manager takes into account the salary and the inflation risks. We then obtain closed form solutions for the asset allocation problem using a sufficient maximum principle approach for the problem with partial information. Finally, we give a numerical example.


title: On cyclic codes of length $2^e$ over finite fields

abstract: Professor Cunsheng Ding gave cyclotomic constructions of cyclic codes with length being the product of two primes. In this paper, we study the cyclic codes of length $n=2^e$ and dimension $k=2^{e-1}$. Clearly, Ding's construction is not hold in this place. We describe two new types of generalized cyclotomy of order two, which are different from Ding's. Furthermore, we study two classes of cyclic codes of length $n$ and dimension $k$. We get the enumeration of these cyclic codes. What's more, all of the codes from our construction are among the best cyclic codes. Furthermore, we study the hull of cyclic codes of length $n$ over $\mathbb{F}_q$. We obtain the range of $\ell=\dim({\rm Hull}(C))$. We construct and enumerate cyclic codes of length $n$ having hull of given dimension.


title: Theory of bilinear magneto-electric resistance from topological-insulator surface states

abstract: We theoretically investigate a new kind of nonlinear magnetoresistance on the surface of three-dimensional topological insulators (TIs). At variance with the unidirectional magnetoresistance (UMR) effect in magnetic bilayers, this nonlinear magnetoresistance does not rely on a conducting ferromagnetic layer and scales linearly with both the applied electric and magnetic fields; for this reason, we name it bilinear magneto-electric resistance (BMER). We show that the sign and the magnitude of the BMER depends sensitively on the orientation of the current with respect to the magnetic field as well as the crystallographic axes -- a property that can be utilized to map out the spin texture of the topological surface states via simple transport measurement, alternative to the angle-resolved photoemission spectroscopy (ARPES).


title: Scalar curvature and the multiconformal class of a direct product Riemannian manifold

abstract: For a closed, connected direct product Riemannian manifold $(M, g)=(M_1\times\cdots\times M_l, g_1\oplus\cdots\oplus g_l)$, we define its multiconformal class $ [\![ g ]\!]$ as the totality $\{f_1^2g_1\oplus \cdots\oplus f_l^2g_l\}$ of all Riemannian metrics obtained from multiplying the metric $g_i$ of each factor $M_i$ by a function $f_i^2>0$ on the total space $M$. A multiconformal class $ [\![ g ]\!]$ contains not only all warped product type deformations of $g$ but also the whole conformal class $[\tilde{g}]$ of every $\tilde{g}\in [\![ g ]\!]$. In this article, we prove that $ [\![ g ]\!]$ carries a metric of positive scalar curvature if and only if the conformal class of some factor $(M_i, g_i)$ does, under the technical assumption $\dim M_i\ge 2$. We also show that, even in the case where every factor $(M_i, g_i)$ has positive scalar curvature, $ [\![ g ]\!]$ carries a metric of scalar curvature constantly equal to $-1$ and with arbitrarily large volume, provided $l\ge 2$ and $\dim M\ge 3$. In this case, such negative scalar curvature metrics within $ [\![ g ]\!]$ for $l=2$ cannot be of any warped product type.


title: On the error in Laplace approximations of high-dimensional integrals

abstract: Laplace approximations are commonly used to approximate high-dimensional integrals in statistical applications, but the quality of such approximations as the dimension of the integral grows is not well understood. In this paper, we prove a new result on the size of the error in first- and higher-order Laplace approximations, and apply this result to investigate the quality of Laplace approximations to the likelihood in some generalized linear mixed models.


title: The cumulants of the baryon number from central Au+Au collision at $E_{lab}$= 1.23 GeV$/$nucleon reveal the nuclear mean-field potentials

abstract: Fluctuations of the baryon number in relativistic heavy-ion collisions are a promising observable to explore the structure of the QCD phase diagram. The cumulant ratios in heavy ion collisions at intermediate energies ($\sqrt{s_{\textrm{NN}}} < 7$ GeV) have not been studied to date. We investigate the effects of mean field potential and clustering on the cumulant ratios of baryon and proton number distributions in Au+Au collisions at beam energy of 1.23 GeV$/$nucleon as measured by the HADES Collaboration at GSI. Ultrarelativistic Quantum Molecular Dynamics (UrQMD) and the JAM model are used to calculate the cumulants with different mean field potentials. It is found that the cumulant ratios are strongly time dependent. At the early stage, the effects of the potentials on the fluctuations of the particle multiplicity in momentum space are relatively weak. The mean fields enhance the fluctuations during the expansion stage, especially for small rapidity acceptance windows. The enhancement of cumulant ratios for free protons is strongly suppressed as compared to that for all baryons. The mean field potentials and the clustering play an important role for the measured cumulant ratios at intermediate energy.


title: Surface Radioactivity or Interactions? Multiple Origins of Early-excess Type Ia Supernovae and Associated Subclasses

abstract: Early-phase Type Ia supernovae (SNe Ia), especially those with luminosity enhancement within the first few days of explosions ("early-excess SNe Ia"), play an irreplaceable role in addressing the long-standing progenitor and explosion issue of SNe Ia. In this paper, we systematically investigate 11 early-excess SNe Ia from subluminous to luminous subclasses. Eight of them are selected from 23 SNe Ia with extremely early-phase optical light curves ("golden" early-phase SNe Ia), and three of them are selected from 40 SNe Ia (including 14 golden samples) with early-phase UV/NUV light curves. We found that previously discovered early-excess SNe Ia show a clear preference for specific SN Ia subclasses. In particular, the early-excess feature shown in all six luminous (91T- and 99aa-like) SNe Ia is in conflict with the viewing angle dependence predicted by the companion-ejecta interaction scenario. Instead, such a high early-excess fraction is likely related to the explosion physics of luminous SNe Ia; i.e. a more efficient detonation happening in the progenitor of luminous SNe Ia may consequently account for the early-excess feature powered by the radiation from a $^{56}$Ni-abundant outer layer. The diversity of early-excess features shown in different SN Ia subclasses suggests multiple origins of the discovered early-excess SNe Ia, challenging their applicability as a robust progenitor indicator. Further understanding of the early-excess diversity relies not only on multiband photometry and prompt-response spectroscopy of individual early-excess SNe Ia but also on investigations of the general early-phase light-curve behavior of each SN Ia subclass, which can be realized through ongoing/forthcoming transient survey projects in the near future.


title: Non-equilibrium vortex annealing of structural disorder in Berezinskii-Kosterlitz-Thouless dynamics of two-dimensional XY-model

abstract: The non-equilibrium annealing of structural disorder in a two-dimensional XY-model leads to coarsening of defects clusters in a cores of spin vortices. We revealed the effect of "inertial" growth of the clusters in coarsening dynamic regime. The calculated transverse stiffness $\rho(p,T)$ of the system in the high-temperature phase $T>T_{\rm BKT}(p)$ becomes negative and has described by a power low $\rho(p,T) \sim T^{-\kappa}$ with temperature independent exponent $\kappa=\kappa(p)$. The dynamical scaling lead to the dynamic dependence of the correlation length $\xi \sim (t / \ln^{q} (t/t_{0}))^{1/z}$ which can be explained by a shift of spin vortices friction constant $\gamma$ induced by annealed disorder.


title: Pseudolattices, del Pezzo surfaces, and Lefschetz fibrations

abstract: Motivated by the relationship between numerical Grothendieck groups induced by the embedding of a smooth anticanonical elliptic curve into a del Pezzo surface, we define the notion of a quasi del Pezzo homomorphism between pseudolattices and establish its basic properties. The primary aim of the paper is then to prove a classification theorem for quasi del Pezzo homomorphisms, using a pseudolattice variant of the minimal model program. Finally, this result is applied to the classification of a certain class of genus one Lefschetz fibrations over discs.


title: Plethora of Coexisting Topological Band Degeneracies in Nonsymmorphic Molecular Crystal OsOF$_5$

abstract: In band theory of solids, degeneracies manifest themselves as point, line, and surface objects. The topological nature of band degeneracies has recently been appreciated since the recognition of gapless topological quantum phases of matter. Based on first-principles calculations, we report the topological semimetal phase in osmium oxyhalide OsOF$_5$ that exhibits zero-dimensional Weyl points, one-dimensional nodal lines, and two-dimensional nodal surfaces. The semimetal phase is ensured by the electron filling constraint while band degeneracies of various dimensionalities are protected by the nonsymmorphic crystalline symmetries. Focusing on two nodal loops crossing the Fermi level, we demonstrate their topological protection by $\pi$ Berry phase and describe the drumhead surface states topologically connected by nontrivial $\mathbb{Z}_2$ index. Our prediction highlights OsOF$_5$ as a unique topological material in which a rich variety of topological degeneracies exists in a narrow energy range close to the Fermi level owing to the molecular crystal structure of this material.


title: A Distribution Similarity Based Regularizer for Learning Bayesian Networks

abstract: Probabilistic graphical models compactly represent joint distributions by decomposing them into factors over subsets of random variables. In Bayesian networks, the factors are conditional probability distributions. For many problems, common information exists among those factors. Adding similarity restrictions can be viewed as imposing prior knowledge for model regularization. With proper restrictions, learned models usually generalize better. In this work, we study methods that exploit such high-level similarities to regularize the learning process and apply them to the task of modeling the wave propagation in inhomogeneous media. We propose a novel distribution-based penalization approach that encourages similar conditional probability distribution rather than force the parameters to be similar explicitly. We show in experiment that our proposed algorithm solves the modeling wave propagation problem, which other baseline methods are not able to solve.


title: Every Data Structure Deserves Lock-Free Memory Reclamation

abstract: Memory-management support for lock-free data structures is well known to be a tough problem. Recent work has successfully reduced the overhead of such schemes. However, applying memory-management support to a data structure remains complex and, in many cases, requires redesigning the data structure. In this paper, we present the first lock-free memory-management scheme that is applicable to general (arbitrary) lock-free data structures and that can be applied automatically via a compiler plug-in. In addition to the simplicity of incorporating to data structures, this scheme provides low overhead and does not rely on the lock freedom of any OS services.


title: Optimal gradient estimates of heat kernels of stable-like operators

abstract: In this note we show the optimal gradient estimate for heat kernels of stable-like operators by providing a counterexample.


title: Finite element method with local damage on the mesh

abstract: We consider the finite element method on locally damaged meshes allowing for some distorted cells which are isolated from one another. In the case of the Poisson equation and piecewise linear Lagrange finite elements, we show that the usual a priori error estimates remain valid on such meshes. We also propose an alternative finite element scheme which is optimally convergent and, moreover, well conditioned, i.e. its conditioning is of the same order as that of a standard finite element method on a regular mesh of comparable size.


title: Lambda Calculus with Explicit Read-back

abstract: This paper introduces a new term rewriting system that is similar to the embedded read-back mechanism for interaction nets presented in our previous work, but is easier to follow than in the original setting and thus to analyze its properties. Namely, we verify that it correctly represents the lambda calculus. Further, we show that there is exactly one reduction sequence that starts with any term in our term rewriting system. Finally, we represent the leftmost strategy which is known to be normalizing.


title: Navigating the Landscape for Real-time Localisation and Mapping for Robotics and Virtual and Augmented Reality

abstract: Visual understanding of 3D environments in real-time, at low power, is a huge computational challenge. Often referred to as SLAM (Simultaneous Localisation and Mapping), it is central to applications spanning domestic and industrial robotics, autonomous vehicles, virtual and augmented reality. This paper describes the results of a major research effort to assemble the algorithms, architectures, tools, and systems software needed to enable delivery of SLAM, by supporting applications specialists in selecting and configuring the appropriate algorithm and the appropriate hardware, and compilation pathway, to meet their performance, accuracy, and energy consumption goals. The major contributions we present are (1) tools and methodology for systematic quantitative evaluation of SLAM algorithms, (2) automated, machine-learning-guided exploration of the algorithmic and implementation design space with respect to multiple objectives, (3) end-to-end simulation tools to enable optimisation of heterogeneous, accelerated architectures for the specific algorithmic requirements of the various SLAM algorithmic approaches, and (4) tools for delivering, where appropriate, accelerated, adaptive SLAM solutions in a managed, JIT-compiled, adaptive runtime context.


title: Optimal illumination pattern for transport-of-intensity quantitative phase microscopy

abstract: The transport-of-intensity equation (TIE) is a well-established non-interferometric phase retrieval approach, which enables quantitative phase imaging (QPI) of transparent sample simply by measuring the intensities at multiple axially displaced planes. Nevertheless, it still suffers from two fundamentally limitations. First, it is quite susceptible to low-frequency errors (such as \cloudy" artifacts), which results from the poor contrast of the phase transfer function (PTF) near the zero frequency. Second, the reconstructed phase tends to blur under spatially low-coherent illumination, especially when the defocus distance is beyond the near Fresnel region. Recent studies have shown that the shape of the illumination aperture has a significant impact on the resolution and phase reconstruction quality, and by simply replacing the conventional circular illumination aperture with an annular one, these two limitations can be addressed, or at least significantly alleviated. However, the annular aperture was previously empirically designed based on intuitive criteria related to the shape of PTF, which does not guarantee optimality. In this work, we optimize the illumination pattern to maximize TIE's performance based on a combined quantitative criterion for evaluating the \goodness" of an aperture. In order to make the size of the solution search space tractable, we restrict our attention to binary coded axis-symmetric illumination patterns only, which are easier to implement and can generate isotropic TIE PTFs. We test the obtained optimal illumination by imaging both a phase resolution target and HeLa cells based on a small-pitch LED array, suggesting superior performance over other suboptimal patterns in terms of both signal-to-noise ratio (SNR) and spatial resolution.


title: Signed Graph Convolutional Network

abstract: Due to the fact much of today's data can be represented as graphs, there has been a demand for generalizing neural network models for graph data. One recent direction that has shown fruitful results, and therefore growing interest, is the usage of graph convolutional neural networks (GCNs). They have been shown to provide a significant improvement on a wide range of tasks in network analysis, one of which being node representation learning. The task of learning low-dimensional node representations has shown to increase performance on a plethora of other tasks from link prediction and node classification, to community detection and visualization. Simultaneously, signed networks (or graphs having both positive and negative links) have become ubiquitous with the growing popularity of social media. However, since previous GCN models have primarily focused on unsigned networks (or graphs consisting of only positive links), it is unclear how they could be applied to signed networks due to the challenges presented by negative links. The primary challenges are based on negative links having not only a different semantic meaning as compared to positive links, but their principles are inherently different and they form complex relations with positive links. Therefore we propose a dedicated and principled effort that utilizes balance theory to correctly aggregate and propagate the information across layers of a signed GCN model. We perform empirical experiments comparing our proposed signed GCN against state-of-the-art baselines for learning node representations in signed networks. More specifically, our experiments are performed on four real-world datasets for the classical link sign prediction problem that is commonly used as the benchmark for signed network embeddings algorithms.


title: Deep learning, deep change? Mapping the development of the Artificial Intelligence General Purpose Technology

abstract: General Purpose Technologies (GPTs) that can be applied in many industries are an important driver of economic growth and national and regional competitiveness. In spite of this, the geography of their development and diffusion has not received significant attention in the literature. We address this with an analysis of Deep Learning (DL), a core technique in Artificial Intelligence (AI) increasingly being recognized as the latest GPT. We identify DL papers in a novel dataset from ArXiv, a popular preprints website, and use CrunchBase, a technology business directory to measure industrial capabilities related to it. After showing that DL conforms with the definition of a GPT, having experienced rapid growth and diffusion into new fields where it has generated an impact, we describe changes in its geography. Our analysis shows China's rise in AI rankings and relative decline in several European countries. We also find that initial volatility in the geography of DL has been followed by consolidation, suggesting that the window of opportunity for new entrants might be closing down as new DL research hubs become dominant. Finally, we study the regional drivers of DL clustering. We find that competitive DL clusters tend to be based in regions combining research and industrial activities related to it. This could be because GPT developers and adopters located close to each other can collaborate and share knowledge more easily, thus overcoming coordination failures in GPT deployment. Our analysis also reveals a Chinese comparative advantage in DL after we control for other explanatory factors, perhaps underscoring the importance of access to data and supportive policies for the successful development of this complex, `omni-use' technology.


title: Causal Discovery by Telling Apart Parents and Children

abstract: We consider the problem of inferring the directed, causal graph from observational data, assuming no hidden confounders. We take an information theoretic approach, and make three main contributions. First, we show how through algorithmic information theory we can obtain SCI, a highly robust, effective and computationally efficient test for conditional independence---and show it outperforms the state of the art when applied in constraint-based inference methods such as stable PC. Second, building upon on SCI, we show how to tell apart the parents and children of a given node based on the algorithmic Markov condition. We give the Climb algorithm to efficiently discover the directed, causal Markov blanket---and show it is at least as accurate as inferring the global network, while being much more efficient. Last, but not least, we detail how we can use the Climb score to direct those edges that state of the art causal discovery algorithms based on PC or GES leave undirected---and show this improves their precision, recall and F1 scores by up to 20%.


title: Strang splitting in combination with rank-$1$ and rank-$r$ lattices for the time-dependent Schr\"odinger equation

abstract: We approximate the solution for the time dependent Schr\"odinger equation (TDSE) in two steps. We first use a pseudo-spectral collocation method that uses samples of functions on rank-1 or rank-r lattice points with unitary Fourier transforms. We then get a system of ordinary differential equations in time, which we solve approximately by stepping in time using the Strang splitting method. We prove that the numerical scheme proposed converges quadratically with respect to the time step size, given that the potential is in a Korobov space with the smoothness parameter greater than $9/2$. Particularly, we prove that the required degree of smoothness is independent of the dimension of the problem. We demonstrate our new method by comparing with results using sparse grids from [12], with several numerical examples showing large advantage for our new method and pushing the examples to higher dimensionality. The proposed method has two distinctive features from a numerical perspective: (i) numerical results show the error convergence of time discretization is consistent even for higher-dimensional problems; (ii) by using the rank-$1$ lattice points, the solution can be efficiently computed (and further time stepped) using only $1$-dimensional Fast Fourier Transforms.


title: Search for squarks and gluinos in final states with hadronically decaying $\tau$-leptons, jets, and missing transverse momentum using $pp$ collisions at $\sqrt{s}$ = 13 TeV with the ATLAS detector

abstract: A search for supersymmetry in events with large missing transverse momentum, jets, and at least one hadronically decaying $\tau$-lepton is presented. Two exclusive final states with either exactly one or at least two $\tau$-leptons are considered. The analysis is based on proton-proton collisions at $\sqrt{s}$ = 13 TeV corresponding to an integrated luminosity of 36.1 fb$^{-1}$ delivered by the Large Hadron Collider and recorded by the ATLAS detector in 2015 and 2016. No significant excess is observed over the Standard Model expectation. At 95% confidence level, model-independent upper limits on the cross section are set and exclusion limits are provided for two signal scenarios: a simplified model of gluino pair production with $\tau$-rich cascade decays, and a model with gauge-mediated supersymmetry breaking (GMSB). In the simplified model, gluino masses up to 2000 GeV are excluded for low values of the mass of the lightest supersymmetric particle (LSP), while LSP masses up to 1000 GeV are excluded for gluino masses around 1400 GeV. In the GMSB model, values of the supersymmetry-breaking scale are excluded below 110 TeV for all values of $\tan\beta$ in the range $2 \leq \tan\beta \leq 60$, and below 120 TeV for $\tan\beta>30$.


title: Leveraging Historical Associations between Requirements and Source Code to Identify Impacted Classes

abstract: As new requirements are introduced and implemented in a software system, developers must identify the set of source code classes which need to be changed. Therefore, past effort has focused on predicting the set of classes impacted by a requirement. In this paper, we introduce and evaluate a new type of information based on the intuition that the set of requirements which are associated with historical changes to a specific class are likely to exhibit semantic similarity to new requirements which impact that class. This new Requirements to Requirements Set (R2RS) family of metrics captures the semantic similarity between a new requirement and the set of existing requirements previously associated with a class. The aim of this paper is to present and evaluate the usefulness of R2RS metrics in predicting the set of classes impacted by a requirement. We consider 18 different R2RS metrics by combining six natural language processing techniques to measure the semantic similarity among texts (e.g., VSM) and three distribution scores to compute overall similarity (e.g., average among similarity scores). We evaluate if R2RS is useful for predicting impacted classes in combination and against four other families of metrics that are based upon temporal locality of changes, direct similarity to code, complexity metrics, and code smells. Our evaluation features five classifiers and 78 releases belonging to four large open-source projects, which result in over 700,000 candidate impacted classes. Experimental results show that leveraging R2RS information increases the accuracy of predicting impacted classes practically by an average of more than 60% across the various classifiers and projects.


title: Entropy of Transcendental entire functions

abstract: We prove that all entire transcendental entire functions have infinite topological entropy.


title: On numerical nonvanishing for generalized log canonical pairs

abstract: The nonvanishing conjecture for projective log canonical pairs plays a key role in the minimal model program of higher dimensional algebraic geometry. The numerical nonvanishing conjecture considered in this paper is a weaker version of the usual nonvanishing conjecture, but valid in the more general setting of generalized log canonical pairs. We confirm it in dimension two. Under some necessary conditions we obtain effective versions of numerical nonvanishing for surfaces. Several applications are also discussed. In higher dimensions, we mainly consider the conjecture for generalized klt pairs $(X, B+\mathbf{M})$, and reduce it to lower dimensions when $K_X+\mathbf{M}_X$ is not pseudo-effective. Up to scaling the nef part, we prove the numerical nonvanishing for pseudo-effective generalized lc threefolds with rational singularities.


title: Towards Anticipation of Architectural Smells using Link Prediction Techniques

abstract: Software systems naturally evolve, and this evolution often brings design problems that cause system degradation. Architectural smells are typical symptoms of such problems, and several of these smells are related to undesired dependencies among modules. The early detection of these smells is important for developers, because they can plan ahead for maintenance or refactoring efforts, thus preventing system degradation. Existing tools for identifying architectural smells can detect the smells once they exist in the source code. This means that their undesired dependencies are already created. In this work, we explore a forward-looking approach that is able to infer groups of likely module dependencies that can anticipate architectural smells in a future system version. Our approach considers the current module structure as a network, along with information from previous versions, and applies link prediction techniques (from the field of social network analysis). In particular, we focus on dependency-related smells, such as Cyclic Dependency and Hublike Dependency, which fit well with the link prediction model. An initial evaluation with two open-source projects shows that, under certain considerations, the predictions of our approach are satisfactory. Furthermore, the approach can be extended to other types of dependency-based smells or metrics.


title: New parameter-free mobility model: Opportunity priority selection model

abstract: Predicting human mobility patterns has many practical applications in urban planning, traffic engineering, infectious disease epidemiology, emergency management and location-based services. Developing a universal model capable of accurately predicting the mobility fluxes between locations is a fundamental and challenging problem in regional economics and transportation science. Here, we propose a new parameter-free model named opportunity priority selection model as an alternative in human mobility prediction. The basic assumption of the model is that an individual will select destination locations that present higher opportunity benefits than the location opportunities of the origin and the intervening opportunities between the origin and destination. We use real mobility data collected from a number of cities and countries to demonstrate the predictive ability of this simple model. The results show that the new model offers universal predictions of intracity and intercity mobility patterns that are consistent with real observations, thus suggesting that the proposed model better captures the mechanism underlying human mobility than previous models.


title: An extension of the Siegel space of complex abelian varieties and conjectures on stability structures

abstract: We study semi--algebraic domains associated with symplectic tori and conjecturally identified with spaces of stability conditions on the Fukaya categories of these tori. Our motivation is to test which results from the theory of flat surfaces could hold for more general spaces of stability conditions. The main results concern systolic bounds and volume of the moduli space.