title: A Multicriteria Decision Making Approach to Study the Barriers to the Adoption of Autonomous Vehicles

abstract: The automation technology is emerging, but the adoption rate of autonomous vehicles (AV) will largely depend upon how policymakers and the government address various challenges such as public acceptance and infrastructure development. This study proposes a five-step method to understand these barriers to AV adoption. First, based on a literature review followed by discussions with experts, ten barriers are identified. Second, the opinions of eighteen experts from industry and academia regarding inter-relations between these barriers are recorded. Third, a multicriteria decision making (MCDM) technique, the grey-based Decision-making Trial and Evaluation Laboratory (Grey-DEMATEL), is applied to characterize the structure of relationships between the barriers. Fourth, robustness of the results is tested using sensitivity analysis. Fifth, the key results are depicted in a causal loop diagram (CLD), a systems thinking approach, to comprehend cause-and-effect relationships between the barriers. The results indicate that the lack of customer acceptance (LCA) is the most prominent barrier, the one which should be addressed at the highest priority. The CLD suggests that LCA can be rather mitigated by addressing two other prominent, yet more tangible, barriers -- lack of industry standards and the absence of regulations and certifications. The study's overarching contribution thus lies in bringing to fore multiple barriers to AV adoption and their potential influences on each other. Moreover, the insights from this study can help associations related to AVs prioritize their endeavors to expedite AV adoption. From the methodological perspective, this is the first study in transportation literature that integrates Grey-DEMATEL with systems thinking.


title: Data Poisoning Attack against Knowledge Graph Embedding

abstract: Knowledge graph embedding (KGE) is a technique for learning continuous embeddings for entities and relations in the knowledge graph.Due to its benefit to a variety of downstream tasks such as knowledge graph completion, question answering and recommendation, KGE has gained significant attention recently. Despite its effectiveness in a benign environment, KGE' robustness to adversarial attacks is not well-studied. Existing attack methods on graph data cannot be directly applied to attack the embeddings of knowledge graph due to its heterogeneity. To fill this gap, we propose a collection of data poisoning attack strategies, which can effectively manipulate the plausibility of arbitrary targeted facts in a knowledge graph by adding or deleting facts on the graph. The effectiveness and efficiency of the proposed attack strategies are verified by extensive evaluations on two widely-used benchmarks.


title: Sample Amplification: Increasing Dataset Size even when Learning is Impossible

abstract: Given data drawn from an unknown distribution, $D$, to what extent is it possible to ``amplify'' this dataset and output an even larger set of samples that appear to have been drawn from $D$? We formalize this question as follows: an $(n,m)$ $\text{amplification procedure}$ takes as input $n$ independent draws from an unknown distribution $D$, and outputs a set of $m > n$ ``samples''. An amplification procedure is valid if no algorithm can distinguish the set of $m$ samples produced by the amplifier from a set of $m$ independent draws from $D$, with probability greater than $2/3$. Perhaps surprisingly, in many settings, a valid amplification procedure exists, even when the size of the input dataset, $n$, is significantly less than what would be necessary to learn $D$ to non-trivial accuracy. Specifically we consider two fundamental settings: the case where $D$ is an arbitrary discrete distribution supported on $\le k$ elements, and the case where $D$ is a $d$-dimensional Gaussian with unknown mean, and fixed covariance. In the first case, we show that an $\left(n, n + \Theta(\frac{n}{\sqrt{k}})\right)$ amplifier exists. In particular, given $n=O(\sqrt{k})$ samples from $D$, one can output a set of $m=n+1$ datapoints, whose total variation distance from the distribution of $m$ i.i.d. draws from $D$ is a small constant, despite the fact that one would need quadratically more data, $n=\Theta(k)$, to learn $D$ up to small constant total variation distance. In the Gaussian case, we show that an $\left(n,n+\Theta(\frac{n}{\sqrt{d}} )\right)$ amplifier exists, even though learning the distribution to small constant total variation distance requires $\Theta(d)$ samples. In both the discrete and Gaussian settings, we show that these results are tight, to constant factors. Beyond these results, we formalize a number of curious directions for future research along this vein.


title: Benchmark and Survey of Automated Machine Learning Frameworks

abstract: Machine learning (ML) has become a vital part in many aspects of our daily life. However, building well performing machine learning applications requires highly specialized data scientists and domain experts. Automated machine learning (AutoML) aims to reduce the demand for data scientists by enabling domain experts to build machine learning applications automatically without extensive knowledge of statistics and machine learning. This paper is a combination of a survey on current AutoML methods and a benchmark of popular AutoML frameworks on real data sets. Driven by the selected frameworks for evaluation, we summarize and review important AutoML techniques and methods concerning every step in building an ML pipeline. The selected AutoML frameworks are evaluated on 137 data sets from established AutoML benchmark suits.


title: Short Range Operator Contributions to $0\nu\beta\beta$ decay from LQCD

abstract: The search for neutrinoless double beta decay of nuclei is believed to be one of the most promising means to search for new physics. Observation of this very rare nuclear process, which violates Lepton Number conservation, would imply the neutrino sector has a Majorana mass component and may also provide an explanation for the universe matter-antimatter asymmetry of the universe. In the case where a heavy intermediate particle is exchanged in this process, QCD contributions from short range interactions become relevant and the calculation of matrix elements with four-quark operators becomes necessary. In these proceedings we will discuss our current progress in the calculation of these four-quark operators from LQCD.


title: Air showers, hadronic models, and muon production

abstract: We report on a study about some characteristics of muon production during the development of extended air showers initiated by ultra-high-energy cosmic rays. Using simulations with the recent new version of the AIRES air shower simulation system, we analyze and discuss on the observed discrepancies between experimental measurements and simulated data.


title: Comment on "Hidden truncation hyperbolic distributions, finite mixtures thereof and their application for clustering" Murray, Browne, and \McNicholas

abstract: We comment on the paper of Murray, Browne, and McNicholas (2017), who proposed mixtures of skew distributions, which they termed hidden truncation hyperbolic (HTH). They recently made a clarification (Murray, Browne, McNicholas, 2019) concerning their claim that the so-called CFUST distribution is a special case of the HTH distribution. There are also some other matters in the original version of the paper that were in need of clarification as discussed here.


title: Inductive Matrix Completion Based on Graph Neural Networks

abstract: We propose an inductive matrix completion model without using side information. By factorizing the (rating) matrix into the product of low-dimensional latent embeddings of rows (users) and columns (items), a majority of existing matrix completion methods are transductive, since the learned embeddings cannot generalize to unseen rows/columns or to new matrices. To make matrix completion inductive, most previous works use content (side information), such as user's age or movie's genre, to make predictions. However, high-quality content is not always available, and can be hard to extract. Under the extreme setting where not any side information is available other than the matrix to complete, can we still learn an inductive matrix completion model? In this paper, we propose an Inductive Graph-based Matrix Completion (IGMC) model to address this problem. IGMC trains a graph neural network (GNN) based purely on 1-hop subgraphs around (user, item) pairs generated from the rating matrix and maps these subgraphs to their corresponding ratings. It achieves highly competitive performance with state-of-the-art transductive baselines. In addition, IGMC is inductive -- it can generalize to users/items unseen during the training (given that their interactions exist), and can even transfer to new tasks. Our transfer learning experiments show that a model trained out of the MovieLens dataset can be directly used to predict Douban movie ratings with surprisingly good performance. Our work demonstrates that: 1) it is possible to train inductive matrix completion models without using side information while achieving similar or better performances than state-of-the-art transductive methods; 2) local graph patterns around a (user, item) pair are effective predictors of the rating this user gives to the item; and 3) Long-range dependencies might not be necessary for modeling recommender systems.


title: ARCHANGEL: Tamper-proofing Video Archives using Temporal Content Hashes on the Blockchain

abstract: We present ARCHANGEL; a novel distributed ledger based system for assuring the long-term integrity of digital video archives. First, we describe a novel deep network architecture for computing compact temporal content hashes (TCHs) from audio-visual streams with durations of minutes or hours. Our TCHs are sensitive to accidental or malicious content modification (tampering) but invariant to the codec used to encode the video. This is necessary due to the curatorial requirement for archives to format shift video over time to ensure future accessibility. Second, we describe how the TCHs (and the models used to derive them) are secured via a proof-of-authority blockchain distributed across multiple independent archives. We report on the efficacy of ARCHANGEL within the context of a trial deployment in which the national government archives of the United Kingdom, Estonia and Norway participated.


title: Every planar graph with $\Delta\geqslant 8$ is totally $(\Delta+2)$-choosable

abstract: Total coloring is a variant of edge coloring where both vertices and edges are to be colored. A graph is totally $k$-choosable if for any list assignment of $k$ colors to each vertex and each edge, we can extract a proper total coloring. In this setting, a graph of maximum degree $\Delta$ needs at least $\Delta+1$ colors. In the planar case, Borodin proved in 1989 that $\Delta+2$ colors suffice when $\Delta$ is at least 9. We show that this bound also holds when $\Delta$ is $8$.


title: A Linear-Time Algorithm for Radius-Optimally Augmenting Paths in a Metric Space

abstract: Let $P$ be a path graph of $n$ vertices embedded in a metric space. We consider the problem of adding a new edge to $P$ to minimize the radius of the resulting graph. Previously, a similar problem for minimizing the diameter of the graph was solved in $O(n\log n)$ time. To the best of our knowledge, the problem of minimizing the radius has not been studied before. In this paper, we present an $O(n)$ time algorithm for the problem, which is optimal.


title: The inverse Lidov-Kozai resonance for an outer test particle due to an eccentric perturber

abstract: We analyze the behavior of the argument of pericenter $\omega_2$ of an outer particle in the elliptical restricted three-body problem, focusing on the inverse Lidov-Kozai resonance. First, we calculate the contribution of the terms of quadrupole, octupole, and hexadecapolar order of the secular approximation of the potential to the outer particle's $\omega_2$ precession rate $(d\omega_2/d\tau)$. Then, we derive analytical criteria that determine the vanishing of the $\omega_2$ quadrupole precession rate $(d\omega_2/d\tau)_{\text{quad}}$ for different values of the inner perturber's eccentricity $e_1$. Finally, we use such analytical considerations and describe the behavior of $\omega_2$ of outer particles extracted from N-body simulations. Our analytical study indicates that the values of the inclination $i_2$ and the ascending node longitude $\Omega_2$ associated with the outer particle that vanish $(d\omega_2/d\tau)_{\text{quad}}$ strongly depend on the eccentricity $e_1$ of the inner perturber. In fact, if $e_1 <$ 0.25 ($>$ 0.40825), $(d\omega_2/d\tau)_{\text{quad}}$ is only vanished for particles whose $\Omega_2$ circulates (librates). For $e_1$ between 0.25 and 0.40825, $(d\omega_2/d\tau)_{\text{quad}}$ can be vanished for any particle for a suitable selection of pairs ($\Omega_2$, $i_2$). Our analysis of the N-body simulations shows that the inverse Lidov-Kozai resonance is possible for small, moderate and high values of $e_1$. Moreover, such a resonance produces distinctive features in the evolution of a particle in the ($\Omega_2$, $i_2$) plane. In fact, if $\omega_2$ librates and $\Omega_2$ circulates, the extremes of $i_2$ at $\Omega_2 =$ 90$^{\circ}$ and 270$^{\circ}$ do not reach the same value, while if $\omega_2$ and $\Omega_2$ librate, the evolutionary trajectory of the particle in the ($\Omega_2$, $i_2$) plane evidences an asymmetry respect to $i_2 =$ 90$^{\circ}$.


title: On K-P sub-Riemannian Problems and their Cut Locus

abstract: The problem of finding minimizing geodesics for a manifold M with a sub-Riemannian structure is equivalent to the time optimal control of a driftless system on M with a bound on the control. We consider here a class of sub-Riemannian problems on the classical Lie groups G where the dynamical equations are of the form \dot x=\sum_j X_j(x) u_j and the X_j=X_j(x) are right invariant vector fields on G and u_j:=u_j(t) the controls. The vector fields X_j are assumed to belong to the P part of a Cartan K-P decomposition. These types of problems admit a group of symmetries K which act on G by conjugation. Under the assumption that the minimal isotropy group in K is discrete, we prove that we can reduce the problem to a Riemannian problem on the regular part of the associated quotient space G/K. On this part we define the corresponding quotient metric. For the special cases of the K-P decomposition of SU(n) of type AIII we prove that the assumption on the minimal isotropy group is verified. Moreover, under the assumption that the quotient space G/K with the given metric has negative curvature we prove that the cut locus has to belong to the singular part of G. As an example of applications of these techniques we characterize the cut locus for a problem on SU(2) of interest in the control of quantum systems.


title: Smoothing and Interpolating Noisy GPS Data with Smoothing Splines

abstract: A comprehensive methodology is provided for smoothing noisy, irregularly sampled data with non-Gaussian noise using smoothing splines. We demonstrate how the spline order and tension parameter can be chosen a priori from physical reasoning. We also show how to allow for non-Gaussian noise and outliers which are typical in GPS signals. We demonstrate the effectiveness of our methods on GPS trajectory data obtained from oceanographic floating instruments known as drifters.

categories: stat.ME physics.data-an stat.AP stat.CO stat.ML


title: The Lifting Properties of A-Homotopy Theory

abstract: In classical homotopy theory, two spaces are homotopy equivalent if one space can be continuously deformed into the other. This theory, however, does not respect the discrete nature of graphs. For this reason, a discrete homotopy theory that recognizes the difference between the vertices and edges of a graph was invented, called A-homotopy theory [1-5]. In classical homotopy theory, covering spaces and lifting properties are often used to compute the fundamental group of the circle. In this paper, we develop the lifting properties for A-homotopy theory. Using a covering graph and these lifting properties, we compute the fundamental group of the 5-cycle, giving an alternate approach to [4].


title: ABIDES: Towards High-Fidelity Market Simulation for AI Research

abstract: We introduce ABIDES, an Agent-Based Interactive Discrete Event Simulation environment. ABIDES is designed from the ground up to support AI agent research in market applications. While simulations are certainly available within trading firms for their own internal use, there are no broadly available high-fidelity market simulation environments. We hope that the availability of such a platform will facilitate AI research in this important area. ABIDES currently enables the simulation of tens of thousands of trading agents interacting with an exchange agent to facilitate transactions. It supports configurable pairwise network latencies between each individual agent as well as the exchange. Our simulator's message-based design is modeled after NASDAQ's published equity trading protocols ITCH and OUCH. We introduce the design of the simulator and illustrate its use and configuration with sample code, validating the environment with example trading scenarios. The utility of ABIDES is illustrated through experiments to develop a market impact model. We close with discussion of future experimental problems it can be used to explore, such as the development of ML-based trading algorithms.


title: Algorithms for Quantum Control without Discontinuities; Application to the Simultaneous Control of two Qubits

abstract: We propose a technique to design control algorithms for a class of finite dimensional quantum systems so that the control law does not present discontinuities. The class of models considered admits a group of symmetries which allows us to reduce the problem of control to a quotient space where the control system is `fully actuated'. As a result we can prescribe a desired trajectory which is, to some extent, arbitrary and derive the corresponding control. We discuss the application to the simultaneous control of two non-interacting spin 1/2 particles with different gyromagnetic ratios in zero field NMR in detail. Our method provides a flexible toolbox for the design of control algorithms to drive the state of finite dimensional quantum systems to any desired final configuration with smooth controls.


title: Authenticated Key-Value Stores with Hardware Enclaves

abstract: Authenticated data storage on an untrusted platform is an important computing paradigm for cloud applications ranging from big-data outsourcing, to cryptocurrency and certificate transparency log. These modern applications increasingly feature update-intensive workloads, whereas existing authenticated data structures (ADSs) designed with in-place updates are inefficient to handle such workloads. In this paper, we address this issue and propose a novel authenticated log-structured merge tree (eLSM) based key-value store by leveraging Intel SGX enclaves. We present a system design that runs the code of eLSM store inside enclave. To circumvent the limited enclave memory (128 MB with the latest Intel CPUs), we propose to place the memory buffer of the eLSM store outside the enclave and protect the buffer using a new authenticated data structure by digesting individual LSM-tree levels. We design protocols to support query authentication in data integrity, completeness (under range queries), and freshness. The proof in our protocol is made small by including only the Merkle proofs at selective levels. We implement eLSM on top of Google LevelDB and Facebook RocksDB with minimal code change and performance interference. We evaluate the performance of eLSM under the YCSB workload benchmark and show a performance advantage of up to 4.5X speedup.


title: Improving Deep Speech Denoising by Noisy2Noisy Signal Mapping

abstract: Existing deep learning-based speech denoising approaches require clean speech signals to be available for training. This paper presents a deep learning-based approach to improve speech denoising in real-world audio environments by not requiring the availability of clean speech signals in a self-supervised manner. A fully convolutional neural network is trained by using two noisy realizations of the same speech signal, one used as the input and the other as the output of the network. Extensive experimentations are conducted to show the superiority of the developed deep speech denoising approach over the conventional supervised deep speech denoising approach based on four commonly used performance metrics and also based on actual field-testing outcomes.


title: Optimal Bayesian Estimation for Random Dot Product Graphs

abstract: We propose a Bayesian approach, called the posterior spectral embedding, for estimating the latent positions in random dot product graphs, and prove its optimality. Unlike the classical spectral-based adjacency/Laplacian spectral embedding, the posterior spectral embedding is a fully-likelihood based graph estimation method taking advantage of the Bernoulli likelihood information of the observed adjacency matrix. We develop a minimax-lower bound for estimating the latent positions, and show that the posterior spectral embedding achieves this lower bound since it both results in a minimax-optimal posterior contraction rate, and yields a point estimator achieving the minimax risk asymptotically. The convergence results are subsequently applied to clustering in stochastic block models, the result of which strengthens an existing result concerning the number of mis-clustered vertices. We also study a spectral-based Gaussian spectral embedding as a natural Bayesian analogy of the adjacency spectral embedding, but the resulting posterior contraction rate is sub-optimal with an extra logarithmic factor. The practical performance of the proposed methodology is illustrated through extensive synthetic examples and the analysis of a Wikipedia graph data.


title: Forecasting Super-Sample Covariance in Future Weak Lensing Surveys with SuperSCRAM

abstract: The observable universe contains density perturbations on scales larger than any finite volume survey. Perturbations on scales larger than a survey can measure degrade its power to constrain cosmological parameters. The dependence of survey observables such as the weak lensing power spectrum on these long-wavelength modes results in super-sample covariance. Accurately forecasting parameter constraints for future surveys requires accurately accounting for the super-sample effects. If super-sample covariance is in fact a major component of the survey error budget, it may be necessary to investigate mitigation strategies that constrain the specific realization of the long-wavelength modes. We present a Fisher matrix based formalism for approximating the magnitude of super-sample covariance and the effectiveness of mitigation strategies for realistic survey geometries. We implement our formalism in the public code SuperSCRAM: Super-Sample Covariance Reduction and Mitigation. We illustrate SuperSCRAM with an example application, where the modes contributing to super-sample covariance in the WFIRST weak lensing survey are constrained by the low-redshift galaxy number counts in the wider LSST footprint. We find that super-sample covariance increases the volume of the error ellipsoid in 7D cosmological parameter space by a factor of 4.5 relative to Gaussian statistical errors only, but our simple mitigation strategy more than halves the contamination, to a factor of 2.0.


title: Flow-based generative models for Markov chain Monte Carlo in lattice field theory

abstract: A Markov chain update scheme using a machine-learned flow-based generative model is proposed for Monte Carlo sampling in lattice field theories. The generative model may be optimized (trained) to produce samples from a distribution approximating the desired Boltzmann distribution determined by the lattice action of the theory being studied. Training the model systematically improves autocorrelation times in the Markov chain, even in regions of parameter space where standard Markov chain Monte Carlo algorithms exhibit critical slowing down in producing decorrelated updates. Moreover, the model may be trained without existing samples from the desired distribution. The algorithm is compared with HMC and local Metropolis sampling for $\phi^4$ theory in two dimensions.

categories: hep-lat cond-mat.dis-nn cond-mat.stat-mech cs.LG


title: Microwave spectroscopy of radio-frequency dressed $^{87}$Rb

abstract: We study the hyperfine spectrum of atoms of $^{87}$Rb dressed by a radio-frequency field, and present experimental results in three different situations: freely falling atoms, atoms trapped in an optical dipole trap and atoms in an adiabatic radio-frequency dressed shell trap. In all cases, we observe several resonant side bands spaced (in frequency) at intervals equal to the dressing frequency, corresponding to transitions enabled by the dressing field. We theoretically explain the main features of the microwave spectrum, using a semi-classical model in the low field limit and the Rotating Wave Approximation for alkali-like species in general and $^{87}$Rb atoms in particular. As a proof of concept, we demonstrate how the spectral signal of a dressed atomic ensemble enables an accurate determination of the dressing configuration and the probing microwave field.


title: Existence and Regularity of Spheres Minimising the Canham-Helfrich Energy

abstract: We prove existence and regularity of minimisers for the Canham-Helfrich energy in the class of weak (possibly branched and bubbled) immersions of the $2$-sphere. This solves (the spherical case) of the minimisation problem proposed by Helfrich in 1973, modelling lipid bilayer membranes. On the way to prove the main results we establish the lower semicontinuity of the Canham-Helfrich energy under weak convergence of (possibly branched and bubbled) weak immersions.


title: Guessing probability in quantum key distribution

abstract: On the basis of the existing trace distance result, we present a simple and efficient method to tighten the upper bound of the guessing probability. The guessing probability of the final key k can be upper bounded by the guessing probability of another key k', if k' can be mapped from the final key k. Compared with the known methods, our result is more tightened by thousands of orders of magnitude. For example, given a 10^{-9}-secure key from the sifted key, the upper bound of the guessing probability obtained using our method is 2*10^(-3277). This value is smaller than the existing result 10^(-9) by more than 3000 orders of magnitude. Our result shows that from the perspective of guessing probability, the performance of the existing trace distance security is actually much better than what was assumed in the past.


title: Direct determination of the $^{138}$La $\beta$-decay $Q$ value using Penning trap mass spectrometry

abstract: Background: The understanding and description of forbidden decays provides interesting challenges for nuclear theory. These calculations could help to test underlying nuclear models and interpret experimental data. Purpose: Compare a direct measurement of the $^{138}$La $\beta$-decay $Q$ value with the $\beta$-decay spectrum end-point energy measured by Quarati et al. using LaBr$_3$ detectors [Appl. Radiat. Isot. 108, 30 (2016)]. Use new precise measurements of the $^{138}$La $\beta$-decay and electron capture (EC) $Q$ values to improve theoretical calculations of the $\beta$-decay spectrum and EC probabilities. Method: High-precision Penning trap mass spectrometry was used to measure cyclotron frequency ratios of $^{138}$La, $^{138}$Ce and $^{138}$Ba ions from which $\beta$-decay and EC $Q$ values for $^{138}$La were obtained. Results: The $^{138}$La $\beta$-decay and EC $Q$ values were measured to be $Q$ = 1052.42(41) keV and $Q_{EC}$ = 1748.41(34) keV, improving the precision compared to the values obtained in the most recent atomic mass evaluation [Wang, et al., Chin. Phys. C 41, 030003 (2017)] by an order of magnitude. These results are used for improved calculations of the $^{138}$La $\beta$-decay shape factor and EC probabilities. New determinations for the $^{138}$Ce 2EC $Q$ value and the atomic masses of $^{138}$La, $^{138}$Ce, and $^{138}$Ba are also reported. Conclusion: The $^{138}$La $\beta$-decay $Q$ value measured by Quarati et al. is in excellent agreement with our new result, which is an order of magnitude more precise. Uncertainties in the shape factor calculations for $^{138}$La beta-decay using our new $Q$ value are reduced by an order of magnitude. Uncertainties in the EC probability ratios are also reduced and show improved agreement with experimental data.


title: Modeling a Transient Secondary Paleo-Lunar Atmosphere: 3-D Simulations and Analysis

abstract: The lunar history of water deposition, loss, and transport post-accretion has become an important consideration in relation to the possibility of a human outpost on the Moon. Very recent work has shown that a secondary primordial atmosphere of up to 10 mb could have been emplaced ~3.5 billion years ago due to volcanic outgassing from the maria. Using a zero dimensional chemistry model we demonstrate the temperature dependence of the resulting major atmospheric components (CO or CO$_2$). We use a three dimensional general circulation model to test the viability of such an atmosphere and derive its climatological characteristics. Based on these results we then conjecture on its capability to transport volatiles outgassed from the maria to the permanently shadowed regions at the poles. Our preliminary results demonstrate that atmospheres as low as 1 mb are viable and that permanent cold trapping of volatiles is only possible at the poles.


title: Mutation of type $D$ friezes

abstract: In this article we study mutation of friezes of type $D$. We provide a combinatorial formula for the entries in a frieze after mutation. The two main ingredients in the proof include a certain transformation of a type $D$ frieze into a sub pattern of a frieze of type $A$ and the mutation formula for type $A$ friezes recently found by Baur et al.


title: Atomic Crosschain Transactions for Ethereum Private Sidechains

abstract: Public blockchains such as Ethereum and Bitcoin do not give enterprises the privacy they need for many of their business processes. Consequently consortiums are exploring private blockchains to keep their membership and transactions private. Ethereum Private Sidechains is a private blockchain technology which allows many blockchains to be operated in parallel. Communication is needed between Ethereum Private Sidechains to allow a function in a contract on one sidechain to execute function calls which return values from, or update the state of, another sidechain. We propose a crosschain technique which allows transactions to be executed atomically across sidechains, introduce a new mechanism for proving values across sidechains, describe a transaction locking mechanism which works in the context of blockchain to enable atomic transactions, and a methodology for providing a global time-out across sidechains. We outline the programming model to be used with this technology and provide as an example, a variable amount atomic swap contract for exchanging value between sidechains. Although this paper presents Atomic Crosschain Transaction technology in the context of Ethereum Private Sidechains, we discuss how this technology can be readily applied to many blockchain systems to provide cross-blockchain transactions.


title: Characterizing Round Spheres Using Half-Geodesics

abstract: A half-geodesic is a closed geodesic realizing the distance between any pair of its points. All geodesics in a round sphere are half-geodesics. Conversely, this note establishes that Riemannian spheres with all geodesics closed and sufficiently many half-geodesics are round.


title: Vortex solitons: Old results and new perspectives

abstract: A review is given of some well-known and some recent results for two- and three-dimensional (2D and 3D) solitons, with emphasis on states carrying embedded vorticity. Unlike typically stable 1D solitons, 2D and 3D ones are vulnerable to instabilities induced by the critical and supercritical collapse, respectively, in the 2D and 3D models with cubic focusing nonlinearity. Vortex solitons are subject to a still stronger splitting instability. For this reason, a central problem is looking for physical settings in which 2D and 3D solitons may be stabilized. The review addresses, first, two well-established topics, viz., the stabilization of vortex solitons by means of competing nonlinearities, or by trapping potentials (harmonic-oscillator and spatially-periodic ones). The former topic includes a new addition, viz., the prediction of robust quantum droplets. Two other topics outline new schemes elaborated for the creation of stable vortical solitons. One scheme relies on the use of spin-orbit coupling (SOC) in binary BEC, making it possible to predict stable 2D and 3D solitons, which couple or mix components with vorticities S=0 and (+/-)1 (semi-vortices (SVs) or mixed modes (MMs), respectively). In this system, the situation is different in the 2D and 3D geometries. In 2D, SOC helps to create a ground state (GS), represented by stable SV or MM solitons, whose norm falls below the threshold value at which the critical collapse sets in. In the 3D geometry, the supercritical collapse does not allow one to create a GS, but metastable solitons of the SV and MM types can be constructed. Another new scheme makes it possible to create stable 2D vortex-ring solitons with arbitrarily high S in a binary BEC with components coupled by microwave radiation. Some other topics are addressed too, such as vortex solitons in dissipative media and attempts to create vortex solitons in experiments.


title: Convergence of Stochastic-extended Lagrangian molecular dynamics method for polarizable force field simulation

abstract: Extended Lagrangian molecular dynamics (XLMD) is a general method for performing molecular dynamics simulations using quantum and classical many-body potentials. Recently several new XLMD schemes have been proposed and tested on several classes of many-body polarization models such as induced dipoles or Drude charges, by creating an auxiliary set of these same degrees of freedom that are reversibly integrated through time. This gives rise to a singularly perturbed Hamiltonian system that provides a good approximation to the time evolution of the real mutual polarization field. To further improve upon the accuracy of the XLMD dynamics, and to potentially extend it to other many-body potentials, we introduce a stochastic modification which leads to a set of singularly perturbed Langevin equations with degenerate noise. We prove that the resulting Stochastic-XLMD converges to the accurate dynamics, and the convergence rate is both optimal and is independent of the accuracy of the initial polarization field. We carefully study the scaling of the damping factor and numerical noise for efficient numerical simulation for Stochastic-XLMD, and we demonstrate the effectiveness of the method for model polarizable force field systems.


title: Exponential Family Estimation via Adversarial Dynamics Embedding

abstract: We present an efficient algorithm for maximum likelihood estimation (MLE) of exponential family models, with a general parametrization of the energy function that includes neural networks. We exploit the primal-dual view of the MLE with a kinetics augmented model to obtain an estimate associated with an adversarial dual sampler. To represent this sampler, we introduce a novel neural architecture, dynamics embedding, that generalizes Hamiltonian Monte-Carlo (HMC). The proposed approach inherits the flexibility of HMC while enabling tractable entropy estimation for the augmented model. By learning both a dual sampler and the primal model simultaneously, and sharing parameters between them, we obviate the requirement to design a separate sampling procedure once the model has been trained, leading to more effective learning. We show that many existing estimators, such as contrastive divergence, pseudo/composite-likelihood, score matching, minimum Stein discrepancy estimator, non-local contrastive objectives, noise-contrastive estimation, and minimum probability flow, are special cases of the proposed approach, each expressed by a different (fixed) dual sampler. An empirical investigation shows that adapting the sampler during MLE can significantly improve on state-of-the-art estimators.


title: Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers

abstract: In this paper, we investigate the feasibility of learning GNN (Graph Neural Network) based solvers and GNN-based heuristics for specified QBF (Quantified Boolean Formula) problems. We design and evaluate several GNN architectures for 2QBF formulae, and conjecture that GNN has limitations in learning 2QBF solvers. Then we show how to learn a heuristic CEGAR 2QBF solver. We further explore generalizing GNN-based heuristics to larger unseen instances, and uncover some interesting challenges. In summary, this paper provides a comprehensive surveying view of applying GNN-embeddings to specified QBF solvers, and aims to offer guidance in applying ML to more complicated symbolic reasoning problems.


title: The Category of Node-and-Choice Forms, with Subcategories for Choice-Sequence Forms and Choice-Set Forms

abstract: The literature specifies extensive-form games in many styles, and eventually I hope to formally translate games across those styles. Toward that end, this paper defines $\mathbf{NCF}$, the category of node-and-choice forms. The category's objects are extensive forms in essentially any style, and the category's isomorphisms are made to accord with the literature's small handful of ad hoc style equivalences. Further, this paper develops two full subcategories: $\mathbf{CsqF}$ for forms whose nodes are choice-sequences, and $\mathbf{CsetF}$ for forms whose nodes are choice-sets. I show that $\mathbf{NCF}$ is "isomorphically enclosed" in $\mathbf{CsqF}$ in the sense that each $\mathbf{NCF}$ form is isomorphic to a $\mathbf{CsqF}$ form. Similarly, I show that $\mathbf{CsqF_{\tilde a}}$ is isomorphically enclosed in $\mathbf{CsetF}$ in the sense that each $\mathbf{CsqF}$ form with no-absentmindedness is isomorphic to a $\mathbf{CsetF}$ form. The converses are found to be almost immediate, and the resulting equivalences unify and simplify two ad hoc style equivalences in Kline and Luckraz 2016 and Streufert 2019. Aside from the larger agenda, this paper already makes three practical contributions. Style equivalences are made easier to derive by [1] a natural concept of isomorphic invariance and [2] the composability of isomorphic enclosures. In addition, [3] some new consequences of equivalence are systematically deduced.


title: Global mild solutions of the Landau and non-cutoff Boltzmann equations

abstract: This paper proves the existence of small-amplitude global-in-time unique mild solutions to both the Landau equation including the Coulomb potential and the Boltzmann equation without angular cutoff. Since the well-known works (Guo, 2002) and (Gressman-Strain-2011, AMUXY-2012) on the construction of classical solutions in smooth Sobolev spaces which in particular are regular in the spatial variables, it still remains an open problem to obtain global solutions in an $L^\infty_{x,v}$ framework, similar to that in (Guo-2010), for the Boltzmann equation with cutoff in general bounded domains. One main difficulty arises from the interaction between the transport operator and the velocity-diffusion-type collision operator in the non-cutoff Boltzmann and Landau equations; another major difficulty is the potential formation of singularities for solutions to the boundary value problem. In the present work we introduce a new function space with low regularity in the spatial variable to treat the problem in cases when the spatial domain is either a torus, or a finite channel with boundary. For the latter case, either the inflow boundary condition or the specular reflection boundary condition is considered. An important property of the function space is that the $L^\infty_T L^2_v$ norm, in velocity and time, of the distribution function is in the Wiener algebra $A(\Omega)$ in the spatial variables. Besides the construction of global solutions in these function spaces, we additionally study the large-time behavior of solutions for both hard and soft potentials, and we further justify the property of propagation of regularity of solutions in the spatial variables.


title: Experiments in Cuneiform Language Identification

abstract: This paper presents methods to discriminate between languages and dialects written in Cuneiform script, one of the first writing systems in the world. We report the results obtained by the PZ team in the Cuneiform Language Identification (CLI) shared task organized within the scope of the VarDial Evaluation Campaign 2019. The task included two languages, Sumerian and Akkadian. The latter is divided into six dialects: Old Babylonian, Middle Babylonian peripheral, Standard Babylonian, Neo Babylonian, Late Babylonian, and Neo Assyrian. We approach the task using a meta-classifier trained on various SVM models and we show the effectiveness of the system for this task. Our submission achieved 0.738 F1 score in discriminating between the seven languages and dialects and it was ranked fourth in the competition among eight teams.


title: Neural source-filter waveform models for statistical parametric speech synthesis

abstract: Neural waveform models such as WaveNet have demonstrated better performance than conventional vocoders for statistical parametric speech synthesis. As an autoregressive (AR) model, WaveNet is limited by a slow sequential waveform generation process. Some new models that use the inverse-autoregressive flow (IAF) can generate a whole waveform in a one-shot manner. However, these IAF-based models require sequential transformation during training, which severely slows down the training speed. Other models such as Parallel WaveNet and ClariNet bring together the benefits of AR and IAF-based models and train an IAF model by transferring the knowledge from a pre-trained AR teacher to an IAF student without any sequential transformation. However, both models require additional training criteria, and their implementation is prohibitively complicated. We propose a framework for neural source-filter (NSF) waveform modeling without AR nor IAF-based approaches. This framework requires only three components for waveform generation: a source module that generates a sine-based signal as excitation, a non-AR dilated-convolution-based filter module that transforms the excitation into a waveform, and a conditional module that pre-processes the acoustic features for the source and filer modules. This framework minimizes spectral-amplitude distances for model training, which can be efficiently implemented by using short-time Fourier transform routines. Under this framework, we designed three NSF models and compared them with WaveNet. It was demonstrated that the NSF models generated waveforms at least 100 times faster than WaveNet, and the quality of the synthetic speech from the best NSF model was better than or equally good as that from WaveNet.


title: Probing galaxy cluster and intra-cluster gas with luminous red galaxies

abstract: We use the cross-correlation between the thermal Sunyaev-Zeldovich (tSZ) signal measured by the Planck satellite and the luminous red galaxy (LRG) samples provided by the SDSS DR7 to study the properties of galaxy cluster and intra-cluster gas. We separate the samples into three redshift bins z_1=(0.16, 0.26), z_2=(0.26, 0.36), z_3=(0.36, 0.47), and stack the Planck y-map against LRGs to derive the averaged y-profile for each redshift bin. We then fit the stacked profile with the theoretical prediction from the universal pressure profile (UPP) by using the Markov-Chain Monte-Carlo method. We find that the best-fit values of the UPP parameters for the three bins are generally consistent with the previous studies, except for the noticeable evolution of the parameters in the three redshift bins. We simultaneously fit the data in the three redshift bins together, and find that the original UPP model cannot fit the data at small angular scales very well in the first and third redshift bins. The joint fits can be improved by including an additional parameter eta to change the redshift-dependence of the model (i.e. E(z)^{8/3} -> E(z)^{8/3+eta}) with best-fit value as eta=-3.11^{+1.09}_{-1.13}. This suggests that the original UPP model with less redshift-dependence may provide a better fit to the stacked thermal Sunyaev-Zeldovich profile.


title: A spectroscopic study of a rich cluster at z=1.52 with Subaru $\&$ LBT: the environmental impacts on the mass-metallicity relation

abstract: We present the results of our near-infrared (NIR) spectroscopic observations of a rich cluster candidate around a radio galaxy at $z=1.52$ (4C65.22) with Subaru/MOIRCS and LBT/LUCI. We observed 71 galaxies mostly on the star-forming main sequence selected by our previous broad-band (photo-$z$) and narrow-band H$\alpha$ imaging observation in this cluster environment. We successfully confirmed the redshifts of 39 galaxies, and conclude that this is a gravitationally bound, real cluster at $z=1.517$. Our spectroscopic data also suggest a hint of large-scale filaments or sheet-like three-dimensional structures crossing at the highest-density cluster core. By stacking the spectra to derive their average interstellar medium (ISM) gas-phase metallicity based on the [NII]/H$\alpha$ emission line flux ratio, we find that the mass-metallicity relation (MZR) in the 4C65.22 cluster environment is consistent with that of H$\alpha$-selected field galaxies at similar redshifts. Our results suggest that the environmental impacts on the MZR is small at high redshifts, but a larger sample of high-$z$ clusters and their member galaxies is still required to fully address the effect of environment as well as its cluster-cluster variation.


title: Staggered discontinuous Galerkin methods for the Helmholtz equations with large wave number

abstract: In this paper we investigate staggered discontinuous Galerkin method for the Helmholtz equation with large wave number on general quadrilateral and polygonal meshes. The method is highly flexible by allowing rough grids such as the trapezoidal grids and highly distorted grids, and at the same time, is numerical flux free. Furthermore, it allows hanging nodes, which can be simply treated as additional vertices. By exploiting a modified duality argument, the stability and convergence can be proved under the condition that $\kappa h$ is sufficiently small, where $\kappa$ is the wave number and $h$ is the mesh size. Error estimates for both the scalar and vector variables in $L^2$ norm are established. Several numerical experiments are tested to verify our theoretical results and to present the capability of our method for capturing singular solutions.


title: Spatio-Temporal Change of Support Modeling with R

abstract: Spatio-temporal change of support methods are designed for statistical analysis on spatial and temporal domains which can differ from those of the observed data. Previous work introduced a parsimonious class of Bayesian hierarchical spatio-temporal models, which we refer to as STCOS, for the case of Gaussian outcomes. Application of STCOS methodology from this literature requires a level of proficiency with spatio-temporal methods and statistical computing which may be a hurdle for potential users. The present work seeks to bridge this gap by guiding readers through STCOS computations. We focus on the R computing environment because of its popularity, free availability, and high quality contributed packages. The stcos package is introduced to facilitate computations for the STCOS model. A motivating application is the American Community Survey (ACS), an ongoing survey administered by the U.S. Census Bureau that measures key socioeconomic and demographic variables for various populations in the United States. The STCOS methodology offers a principled approach to compute model-based estimates and associated measures of uncertainty for ACS variables on customized geographies and/or time periods. We present a detailed case study with ACS data as a guide for change of support analysis in R, and as a foundation which can be customized to other applications.


title: First measurements of absolute branching fractions of the $\Xi_c^+$ baryon at Belle

abstract: We present the first measurements of the absolute branching fractions of $\Xi_c^+$ decays into $\Xi^- \pi^+ \pi^+$ and $p K^- \pi^+$ final states. Our analysis is based on a data set of $(772\pm 11)\times 10^{6}$ $B\bar{B}$ pairs collected at the $\Upsilon(4S)$ resonance with the Belle detector at the KEKB $e^+e^-$ collider. We measure the absolute branching fraction of $\bar{B}^{0} \to \bar{\Lambda}_{c}^{-} \Xi_{c}^{+}$ with the $\Xi_c^+$ recoiling against $\bar{\Lambda}_c^-$ in $\bar{B}^0$ decays resulting in ${\cal B}(\bar{B}^{0} \to \bar{\Lambda}_{c}^{-} \Xi_{c}^{+}) = [1.16 \pm 0.42(\rm stat.) \pm 0.15(\rm syst.)] \times 10^{-3}$. We then measure the product branching fractions ${\cal B}(\bar{B}^{0} \to \bar{\Lambda}_c^- \Xi_c^+){\cal B}(\Xi_c^+ \to \Xi^- \pi^+ \pi^+)$ and ${\cal B}(\bar{B}^{0} \to \bar{\Lambda}_c^- \Xi_c^+){\cal B}(\Xi_c^+ \to p K^- \pi^+)$. Dividing these product branching fractions by $\bar{B}^{0} \to \bar{\Lambda}_{c}^{-} \Xi_{c}^{+}$ yields: ${\cal B}(\Xi_c^+ \to \Xi^- \pi^+ \pi^+) = [2.86 \pm 1.21(\rm stat.) \pm 0.38(\rm syst.)]\%$ and ${\cal B}(\Xi_c^+ \to p K^- \pi^+)=[0.45 \pm 0.21(\rm stat.) \pm 0.07(\rm syst.)]\%$. Our result for ${\cal B}(\Xi_c^+ \to \Xi^- \pi^+ \pi^+)$ can be combined with $\Xi_c^+$ branching fractions measured relative to $\Xi_c^+ \to \Xi^- \pi^+ \pi^+$ to set the absolute scale for many $\Xi_c^+$ branching fractions.


title: Accelerating Proposal Generation Network for \\Fast Face Detection on Mobile Devices

abstract: Face detection is a widely studied problem over the past few decades. Recently, significant improvements have been achieved via the deep neural network, however, it is still challenging to directly apply these techniques to mobile devices for its limited computational power and memory. In this work, we present a proposal generation acceleration framework for real-time face detection. More specifically, we adopt a popular cascaded convolutional neural network (CNN) as the basis, then apply our acceleration approach on the basic framework to speed up the model inference time. We are motivated by the observation that the computation bottleneck of this framework arises from the proposal generation stage, where each level of the dense image pyramid has to go through the network. In this work, we reduce the number of image pyramid levels by utilizing both global and local facial characteristics (i.e., global face and facial parts). Experimental results on public benchmarks WIDER-face and FDDB demonstrate the satisfactory performance and faster speed compared to the state-of-the-arts. %the comparable accuracy to state-of-the-arts with faster speed.


title: Verified computations for closed hyperbolic 3-manifolds

abstract: Extending methods first used by Casson, we show how to verify a hyperbolic structure on a finite triangulation of a closed 3-manifold using interval arithmetic methods. A key ingredient is a new theoretical result (akin to a theorem by Neumann-Zagier and Moser for ideal triangulations upon which HIKMOT is based) showing that there is a redundancy among the edge equations if the edges avoid "gimbal lock". We successfully test the algorithm on known examples such as the orientable closed manifolds in the Hodgson-Weeks census and the bundle census by Bell. We also tackle a previously unsolved problem and determine all knots and links with up to 14 crossings that have a hyperbolic branched double cover.


title: Bounds of numerical radius of bounded linear operator using $t$-Aluthge transform

abstract: We develop a number of inequalities to obtain bounds for the numerical radius of a bounded linear operator defined on a complex Hilbert space using the properties of $t$-Aluthge transform. We show that the bounds obtained are sharper than the existing bounds.


title: A Congruence Condition For The Four-Distance Problem

abstract: Place the vertices of a rectangle at $\{(0, \pm 1/2), (a, \pm 1/2)\}$, where $a$ is rational. We show that if $v_3(a) = 0$, then any point $(x,y)$ that is rational distance from all four vertices of the rectangle has either $v_3(x) < 0$ or $v_3(y)<0$, where $v_3(\cdot)$ is the 3-adic valuation. The case of particular interest is the long-open four-distance problem, which asks whether such a rational distance point exists in the case $a=1$ of the unit square. For the four-distance problem, our result rules out one-fourth of all potential solutions with bounded height.


title: Enabling Open-World Specification Mining via Unsupervised Learning

abstract: Many programming tasks require using both domain-specific code and well-established patterns (such as routines concerned with file IO). Together, several small patterns combine to create complex interactions. This compounding effect, mixed with domain-specific idiosyncrasies, creates a challenging environment for fully automatic specification inference. Mining specifications in this environment, without the aid of rule templates, user-directed feedback, or predefined API surfaces, is a major challenge. We call this challenge Open-World Specification Mining. In this paper, we present a framework for mining specifications and usage patterns in an Open-World setting. We design this framework to be miner-agnostic and instead focus on disentangling complex and noisy API interactions. To evaluate our framework, we introduce a benchmark of 71 clusters extracted from five open-source projects. Using this dataset, we show that interesting clusters can be recovered, in a fully automatic way, by leveraging unsupervised learning in the form of word embeddings. Once clusters have been recovered, the challenge of Open-World Specification Mining is simplified and any trace-based mining technique can be applied. In addition, we provide a comprehensive evaluation of three word-vector learners to showcase the value of sub-word information for embeddings learned in the software-engineering domain.


title: Learning to Fuse Local Geometric Features for 3D Rigid Data Matching

abstract: This paper presents a simple yet very effective data-driven approach to fuse both low-level and high-level local geometric features for 3D rigid data matching. It is a common practice to generate distinctive geometric descriptors by fusing low-level features from various viewpoints or subspaces, or enhance geometric feature matching by leveraging multiple high-level features. In prior works, they are typically performed via linear operations such as concatenation and min pooling. We show that more compact and distinctive representations can be achieved by optimizing a neural network (NN) model under the triplet framework that non-linearly fuses local geometric features in Euclidean spaces. The NN model is trained by an improved triplet loss function that fully leverages all pairwise relationships within the triplet. Moreover, the fused descriptor by our approach is also competitive to deep learned descriptors from raw data while being more lightweight and rotational invariant. Experimental results on four standard datasets with various data modalities and application contexts confirm the advantages of our approach in terms of both feature matching and geometric registration.


title: Possible chiral doublets in $^{60}$Ni

abstract: The open problem on whether or not the chirality exists in doublet bands M1 and M4 in light-mass even-even nucleus $^{60}$Ni is studied by adopting the recently developed fully quantal four-$j$ shells triaxial particle rotor model. The corresponding experimental energy spectra, energy differences between doublet bands, and the available $B(M1)/B(E2)$ values are successfully reproduced. The analyses on the basis of the angular momentum components, the azimuthal plots, and the $K$-plots suggest that the chiral modes exist at $I\geq 12\hbar$ in doublet bands M1 and M4.


title: Fast Infant MRI Skullstripping with Multiview 2D Convolutional Neural Networks

abstract: Skullstripping is defined as the task of segmenting brain tissue from a full head magnetic resonance image~(MRI). It is a critical component in neuroimage processing pipelines. Downstream deformable registration and whole brain segmentation performance is highly dependent on accurate skullstripping. Skullstripping is an especially challenging task for infant~(age range 0--18 months) head MRI images due to the significant size and shape variability of the head and the brain in that age range. Infant brain tissue development also changes the $T_1$-weighted image contrast over time, making consistent skullstripping a difficult task. Existing tools for adult brain MRI skullstripping are ill equipped to handle these variations and a specialized infant MRI skullstripping algorithm is necessary. In this paper, we describe a supervised skullstripping algorithm that utilizes three trained fully convolutional neural networks~(CNN), each of which segments 2D $T_1$-weighted slices in axial, coronal, and sagittal views respectively. The three probabilistic segmentations in the three views are linearly fused and thresholded to produce a final brain mask. We compared our method to existing adult and infant skullstripping algorithms and showed significant improvement based on Dice overlap metric~(average Dice of 0.97) with a manually labeled ground truth data set. Label fusion experiments on multiple, unlabeled data sets show that our method is consistent and has fewer failure modes. In addition, our method is computationally very fast with a run time of 30 seconds per image on NVidia P40/P100/Quadro 4000 GPUs.


title: Sound Event Detection with Sequentially Labelled Data Based on Connectionist Temporal Classification and Unsupervised Clustering

abstract: Sound event detection (SED) methods typically rely on either strongly labelled data or weakly labelled data. As an alternative, sequentially labelled data (SLD) was proposed. In SLD, the events and the order of events in audio clips are known, without knowing the occurrence time of events. This paper proposes a connectionist temporal classification (CTC) based SED system that uses SLD instead of strongly labelled data, with a novel unsupervised clustering stage. Experiments on 41 classes of sound events show that the proposed two-stage method trained on SLD achieves performance comparable to the previous state-of-the-art SED system trained on strongly labelled data, and is far better than another state-of-the-art SED system trained on weakly labelled data, which indicates the effectiveness of the proposed two-stage method trained on SLD without any onset/offset time of sound events.


title: Bayesian time-aligned factor analysis of paired multivariate time series

abstract: Many modern data sets require inference methods that can estimate the shared and individual-specific components of variability in collections of matrices that change over time. Promising methods have been developed to analyze these types of data in static cases, but very few approaches are available for dynamic settings. To address this gap, we consider novel models and inference methods for pairs of matrices in which the columns correspond to multivariate observations at different time points. In order to characterize common and individual features, we propose a Bayesian dynamic factor modeling framework called Time Aligned Common and Individual Factor Analysis (TACIFA) that includes uncertainty in time alignment through an unknown warping function. We provide theoretical support for the proposed model, showing identifiability and posterior concentration. The structure enables efficient computation through a Hamiltonian Monte Carlo (HMC) algorithm. We show excellent performance in simulations, and illustrate the method through application to a social synchrony experiment.


title: Several Experiments on Investigating Pretraining and Knowledge-Enhanced Models for Natural Language Inference

abstract: Natural language inference (NLI) is among the most challenging tasks in natural language understanding. Recent work on unsupervised pretraining that leverages unsupervised signals such as language-model and sentence prediction objectives has shown to be very effective on a wide range of NLP problems. It would still be desirable to further understand how it helps NLI; e.g., if it learns artifacts in data annotation or instead learn true inference knowledge. In addition, external knowledge that does not exist in the limited amount of NLI training data may be added to NLI models in two typical ways, e.g., from human-created resources or an unsupervised pretraining paradigm. We runs several experiments here to investigate whether they help NLI in the same way, and if not,how?


title: Polynomial Approximation of Anisotropic Analytic Functions of Several Variables

abstract: Motivated by numerical methods for solving parametric partial differential equations, this paper studies the approximation of multivariate analytic functions by algebraic polynomials. We introduce various anisotropic model classes based on Taylor expansions, and study their approximation by finite dimensional polynomial spaces $\cal{P}_{\Lambda}$ described by lower sets $\Lambda$. Given a budget $n$ for the dimension of $\cal{P}_{\Lambda}$, we prove that certain lower sets $\Lambda_n$, with cardinality $n$, provide a certifiable approximation error that is in a certain sense optimal, and that these lower sets have a simple definition in terms of simplices. Our main goal is to obtain approximation results when the number of variables $d$ is large and even infinite, and so we concentrate almost exclusively on the case $d=\infty$. We also emphasize obtaining results which hold for the full range $n\ge 1$, rather than asymptotic results that only hold for $n$ sufficiently large. In applications, one typically wants $n$ small to comply with computational budgets.


title: Understanding Dataset Design Choices for Multi-hop Reasoning

abstract: Learning multi-hop reasoning has been a key challenge for reading comprehension models, leading to the design of datasets that explicitly focus on it. Ideally, a model should not be able to perform well on a multi-hop question answering task without doing multi-hop reasoning. In this paper, we investigate two recently proposed datasets, WikiHop and HotpotQA. First, we explore sentence-factored models for these tasks; by design, these models cannot do multi-hop reasoning, but they are still able to solve a large number of examples in both datasets. Furthermore, we find spurious correlations in the unmasked version of WikiHop, which make it easy to achieve high performance considering only the questions and answers. Finally, we investigate one key difference between these datasets, namely span-based vs. multiple-choice formulations of the QA task. Multiple-choice versions of both datasets can be easily gamed, and two models we examine only marginally exceed a baseline in this setting. Overall, while these datasets are useful testbeds, high-performing models may not be learning as much multi-hop reasoning as previously thought.


title: Blue-Light-Emitting Color Centers in High-Quality Hexagonal Boron Nitride

abstract: Light emitters in wide band gap semiconductors are of great fundamental interest and have potential as optically addressable qubits. Here we describe the discovery of a new color center in high-quality hexagonal boron nitride (h-BN) with a sharp emission line at 435 nm. The emitters are activated and deactivated by electron beam irradiation and have spectral and temporal characteristics consistent with atomic color centers weakly coupled to lattice vibrations. The emitters are conspicuously absent from commercially available h-BN and are only present in ultra-high-quality h-BN grown using a high-pressure, high-temperature Ba-B-N flux/solvent, suggesting that these emitters originate from impurities or related defects specific to this unique synthetic route. Our results imply that the light emission is activated and deactivated by electron beam manipulation of the charge state of an impurity-defect complex.


title: Stability and bifurcations in Wilson-Cowan systems with distributed delays, and an application to basal ganglia interactions

abstract: The traditional Wilson-Cowan model of excitatory and inhibitory mean field interactions in neuronal populations considers a weak Gamma distribution of time delays when processing inputs, and is obtained via a time-coarse graining technique that averages the population response. Previous analyses of the stability of the Wilson-Cowan model focused on more simplified cases, where the delays were either not present, constant or were of a specific type. Since these simplifications may significantly alter the behavior of the model, we focus on understanding the behavior of the system before time-course graining, and for a wider range of delay distributions. For these generalized delay equations, we perform stability and bifurcation analyses with respect to parameters that capture both the coupling profile, and the time delay. The investigation is done through the examination of the system's associated characteristic equation. Under mild assumptions, we give complete mathematical proofs of our theoretical results, for the model with general delay distributions and prove the transversality condition for the possible Hopf bifurcations, in a generalized context. The stability region in this parameter space is described theoretically for several types of delay kernels, and numerical simulations are presented to substantiate the theoretical results. We illustrate these theoretical principles in an application to a basal ganglia circuit, in which $\beta$-band oscillations have been associated with Parkinson's Disease.


title: Eigenvalues of periodic difference operators on lattice octant

abstract: Consider a difference operator $H$ with periodic coefficients on the octant of the lattice. We show that for any integer $N$ and any bounded interval $I$, there exists an operator $H$ having $N$ eigenvalues, counted with multiplicity on this interval, and does not exist other spectra on the interval. Also right and to the left of it are spectra and the corresponding subspaces have an infinite dimension. Moreover, we prove similar results for other domains and any dimension. The proof is based on the inverse spectral theory for periodic Jacobi operators.


title: Fate of the Landau-Yang theorem for twisted photons

abstract: Landau-Yang theorem is sometimes formulated as a selection rule forbidding two real (that is, non-virtual) photons with zero total momentum to be in the state of the total angular momentum J=1. In this paper we discuss whether the theorem itself and this particular formulation can be extended to a pair of two {\em twisted} photons, which carry orbital angular momentum with respect to their propagation direction. We point out possible sources of confusion, which may arise both from the unusual features of twisted photons and from the fact that usual proofs of the Landau-Yang theorem operate in the center of motion reference frame, which, strictly speaking, exists only for plane waves. We show with an explicit calculation that a pair of twisted photons does have a non-zero overlap with the J=1 state. What is actually forbidden is production of a spin-1 particle by such a photon pair, and in this formulation the Landau-Yang theorem is rock-solid. Although both the twisted photon pair and the spin-1 particle can exist in the J=1 state, these two systems just cannot be coupled in a gauge-invariant and Lorentz invariant manner respecting Bose symmetry.


title: A Novel Fuzzy Search Approach over Encrypted Data with Improved Accuracy and Efficiency

abstract: As cloud computing becomes prevalent in recent years, more and more enterprises and individuals outsource their data to cloud servers. To avoid privacy leaks, outsourced data usually is encrypted before being sent to cloud servers, which disables traditional search schemes for plain text. To meet both end of security and searchability, search-supported encryption is proposed. However, many previous schemes suffer severe vulnerability when typos and semantic diversity exist in query requests. To overcome such flaw, higher error-tolerance is always expected for search-supported encryption design, sometimes defined as 'fuzzy search'. In this paper, we propose a new scheme of multi-keyword fuzzy search over encrypted and outsourced data. Our approach introduces a new mechanism to map a natural language expression into a word-vector space. Compared with previous approaches, our design shows higher robustness when multiple kinds of typos are involved. Besides, our approach is enhanced with novel data structures to improve search efficiency. These two innovations can work well for both accuracy and efficiency. Moreover, these designs will not hurt the fundamental security. Experiments on a real-world dataset demonstrate the effectiveness of our proposed approach, which outperforms currently popular approaches focusing on similar tasks.


title: Decision Procedure for the Existence of Two-Channel Prefix-Free Codes

abstract: The Kraft inequality gives a necessary and sufficient condition for the existence of a single channel prefix-free code. However, the multichannel Kraft inequality does not imply the existence of a multichannel prefix-free code in general. It is natural to ask whatever there exists an efficient decision procedure for the existence of multichannel prefix-free codes. In this paper, we tackle the two-channel case of the above problem by relating it to a constrained rectangle packing problem. Although a general rectangle packing problem is NP-complete, the extra imposed constraints allow us to propose an algorithm which can solve the problem efficiently.


title: Tail models and the statistical limit of accuracy in risk assessment

abstract: In risk management, tail risks are of crucial importance. The assessment of risks should be carried out in accordance with the regulatory authority's requirement at high quantiles. In general, the underlying distribution function is unknown, the database is sparse, and therefore special tail models are used. Very often, the generalized Pareto distribution is employed as a basic model, and its parameters are determined with data from the tail area. With the determined tail model, statisticians then calculate the required high quantiles. In this context, we consider the possible accuracy of the calculation of the quantiles and determine the finite sample distribution function of the quantile estimator, depending on the confidence level and the parameters of the tail model, and then calculate the finite sample bias and the finite sample variance of the quantile estimator. Finally, we present an impact analysis on the quantiles of an unknown distribution function.


title: Neutron star radius measurement from the ultraviolet and soft X-ray thermal emission of PSR J0437-4715

abstract: We analyzed the thermal emission from the entire surface of the millisecond pulsar PSR J0437-4715 observed in the ultraviolet and soft X-ray bands. For this, we calculated non-magnetized, partially ionized atmosphere models of hydrogen, helium, and iron compositions and included plasma frequency effects that may affect the emergent spectrum. This is particularly true for the coldest atmospheres composed of iron (up to a few percent changes in the soft X-ray flux). Employing a Markov chain Monte Carlo method, we found that the spectral fits favour a hydrogen atmosphere, disfavour a helium composition and rule out iron atmosphere and blackbody models. By using a Gaussian prior on the dust extinction, based on the latest 3D map of Galactic dust, and accounting for the presence of hot polar caps found in previous work, we found that the hydrogen atmosphere model results in a well-constrained neutron star radius $R_\mathrm{NS} = 13.6^{+0.9}_{-0.8}~\mathrm{km}$ and bulk surface temperature $T^{\infty}_\mathrm{eff}=\left(2.3\pm0.1\right)\times10^5~\mathrm{K}$. This relatively large radius favours a stiff equation of state and disfavours a strange quark composition inside neutron stars.


title: Direct capture cross section of $^{9}$Be(n,$\gamma$)$^{10}$Be

abstract: The cross section of the $^{9}$Be(n,$\gamma$)$^{10}$Be reaction was calculated in the direct capture model. All parameters of the calculations were adjusted to properties of the $^{9}$Be + n system at thermal energies. The calculated cross section at thermonuclear energies shows the expected $1/v$ behavior of $s$-wave capture at low energies, but increases towards higher energies as typical $p$-wave capture. Excellent agreement between new experimental data in the astrophysically relevant energy region and the present calculation is found.


title: A Novel Dual-Lidar Calibration Algorithm Using Planar Surfaces

abstract: Multiple lidars are prevalently used on mobile vehicles for rendering a broad view to enhance the performance of localization and perception systems. However, precise calibration of multiple lidars is challenging since the feature correspondences in scan points cannot always provide enough constraints. To address this problem, the existing methods require fixed calibration targets in scenes or rely exclusively on additional sensors. In this paper, we present a novel method that enables automatic lidar calibration without these restrictions. Three linearly independent planar surfaces appearing in surroundings is utilized to find correspondences. Two components are developed to ensure the extrinsic parameters to be found: a closed-form solver for initialization and an optimizer for refinement by minimizing a nonlinear cost function. Simulation and experimental results demonstrate the high accuracy of our calibration approach with the rotation and translation errors smaller than 0.05rad and 0.1m respectively.


title: Automatic Support Removal for Additive Manufacturing Post Processing

abstract: An additive manufacturing (AM) process often produces a {\it near-net} shape that closely conforms to the intended design to be manufactured. It sometimes contains additional support structure (also called scaffolding), which has to be removed in post-processing. We describe an approach to automatically generate process plans for support removal using a multi-axis machining instrument. The goal is to fracture the contact regions between each support component and the part, and to do it in the most cost-effective order while avoiding collisions with evolving near-net shape, including the remaining support components. A recursive algorithm identifies a maximal collection of support components whose connection regions to the part are accessible as well as the orientations at which they can be removed at a given round. For every such region, the accessible orientations appear as a 'fiber' in the collision-free space of the evolving near-net shape and the tool assembly. To order the removal of accessible supports, the algorithm constructs a search graph whose edges are weighted by the Riemannian distance between the fibers. The least expensive process plan is obtained by solving a traveling salesman problem (TSP) over the search graph. The sequence of configurations obtained by solving TSP is used as the input to a motion planner that finds collision free paths to visit all accessible features. The resulting part without the support structure can then be finished using traditional machining to produce the intended design. The effectiveness of the method is demonstrated through benchmark examples in 3D.


title: Incremental personalized E-mail spam filter using novel TFDCR feature selection with dynamic feature update

abstract: Communication through e-mails remains to be highly formalized, conventional and indispensable method for the exchange of information over the Internet. An ever-increasing ratio and adversary nature of spam e-mails have posed a great many challenges such as uneven class distribution, unequal error cost, frequent change of content and personalized context-sensitive discrimination. In this research, we propose a novel and distinctive approach to develop an incremental personalized e-mail spam filter. The proposed work is described using three significant contributions. First, we applied a novel term frequency difference and category ratio based feature selection function TFDCR to select the most discriminating features irrespective of the number of samples in each class. Second, an incremental learning model is used which enables the classifier to update the discriminant function dynamically. Third, a heuristic function called selectionRankWeight is introduced to upgrade the existing feature set that determines new features carrying strong discriminating ability from an incoming set of e-mails. Three public e-mail datasets possessing different characteristics are used to evaluate the filter performance. Experiments are conducted to compare the feature selection efficiency of TFDCR and to observe the filter performance under both the batch and the incremental learning mode. The results demonstrate the superiority of TFDCR as the most effective f eature selection function. The incremental learning model incorporating dynamic feature update function overcomes the problem of drifting concepts. The proposed filter validates its efficiency and feasibility by substantially improving the classification accuracy and reducing the false positive error of misclassifying legitimate e-mail as spam.


title: Magnetic tuning of ultracold barrierless chemical reactions

abstract: While attaining external field control of bimolecular chemical reactions has long been a coveted goal of physics and chemistry, the role of hyperfine interactions and dc magnetic fields in achieving such control has remained elusive. We develop an extended coupled-channel statistical theory of barrierless atom-diatom chemical reactions, and apply it to elucidate the effects of magnetic fields and hyperfine interactions on the ultracold chemical reaction Li($^2\text{S}_{1/2}$) + CaH($^2\Sigma^+$) $\to$ LiH($^1\Sigma^+$) + Ca($^1\text{S}_{0}$) on a newly developed set of ab initio potential energy surfaces. We observe large field effects on the reaction cross sections, opening up the possibility of controlling ultracold barrierless chemical reactions by tuning selected hyperfine states of the reactants with an external magnetic field.


title: On generalized quasi-Einstein GRW space-times

abstract: Recently, it is proven that generalized Robertson-Walker space-times in all orthogonal subspaces of Gray's decomposition but one(unrestricted) are perfect fluid space-times. GRW space-times in the unrestricted subspace are identified by having constant scalar curvature. Generalized quasi-Einstein GRW space-times have a constant scalar curvature. It is shown that generalized quasi-Einstein GRW space-times reduce to Einstein space-times or perfect fluid space-times.


title: Criteria to detect genuine multipartite entanglement using spin measurements

abstract: We derive conditions in the form of inequalities to detect the genuine $N$-partite entanglement of $N$ systems. The inequalities are expressed in terms of variances of spin operators, and can be tested by local spin measurements performed on the individual systems. Violation of the inequalities is sufficient (but not necessary) to certify the multipartite entanglement, and occurs when a type of spin squeezing is created. The inequalities are similar to those derived for continuous-variable systems, but instead are based on the Heisenberg spin-uncertainty relation $\Delta J_{x}\Delta J_{y}\geq|\langle J_{z}\rangle|/2$. We also extend previous work to derive spin-variance inequalities that certify the full tripartite inseparability or genuine multi-partite entanglement among systems with fixed spin $J$, as in Greenberger-Horne-Zeilinger (GHZ) states and W states where $J=1/2$. These inequalities are derived from the planar spin-uncertainty relation $(\Delta J_{x})^{2}+(\Delta J_{y})^{2}\geq C_{J}$ where $C_{J}$ is a constant for each $J$. Finally, it is shown how the inequalities detect multipartite entanglement based on Stokes operators. We illustrate with experiments that create entanglement shared among separated atomic ensembles, polarization-entangled optical modes, and the clouds of atoms of an expanding spin-squeezed Bose-Einstein condensate. For each example, we give a criterion to certify the mutual entanglement.


title: Phase diagram of a magnetic topological nodal semimetal: Stable nodal line in an easy-plane ferromagnet

abstract: We study a topological phase diagram of a ferromagnetic topological nodal semimetal. We consider a lattice model for three-dimensional topological insulators with ferromagnetic ordering. The exchange coupling between the magnetization and the electron spin leads to the nodal band structure. The topology of the nodal band structure depends on the direction of the magnetization and both the Weyl points and the nodal line emerge. We find that the nodal line structure is stable under an easy-plane magnetization in appropriate model parameters. In this case, the nodal line phase emerges as a phase boundary between two topologically distinct Weyl semimetal phases.


title: On null geodesically complete spacetimes uder NEC and NGC; is the Gao-Wald "time dilation" a topological effect?

abstract: We review a theorem of Gao-Wald on a kind of a gravitational "time delay" effect in null geodesically complete spacetimes under NEC and NGC, and we observe that it is not valid anymore throughout its statement, as well as a conclusion that there is a class of cosmological models where particle horizons are absent, if one substituted the manifold topology with a finer (spacetime-) topology. Since topologies of the Zeeman-G\"obel class incorporate the causal, differential and conformal structure of a spacetime, and there are serious mathematical arguments in favour of such topologies and against the manifold topology, there is a strong evidence that "time dilation" theorems of this kind are topological in nature rather than having a particular physical meaning.


title: Entanglement of purification and disentanglement in CFTs

abstract: We study the entanglement of purification (EoP) of subsystem $A$ and B in conformal field theories (CFTs) stressing on its relation to unitary operations of disentanglement, if the auxiliary subsystem $\tilde{A}$ adjoins $A$ and $\tilde{A}\tilde{B}$ is the complement of $AB$. We estimate the amount of the disentanglement by using the holographic EoP conjecture as well as the inequality of Von Neumann entropy. Denote the state that produces the EoP by $|\psi\rangle_M$. We calculate the variance of entanglement entropy of $A\tilde{A}$ in the state $|\psi(\delta)\rangle:=e^{i\delta H_{\tilde{A}\tilde{B}}}|\psi\rangle_M$. We find a constraint on the state $|\psi\rangle_M$, $[K_{A\tilde{A},M},O_{\tilde{A}}]=0$, where $K_{A\tilde{A},M}$ is the modular Hamiltonian of $A\tilde{A}$ in the state $|\psi\rangle_M$, $O_{\tilde{A}}\in \mathscr{R}(\tilde{A})$ is an arbitrary operator. We also study three different states that can be seen as disentangled states. Two of them can produce the holographic EoP result in some limit. But we show that none of they could be a candidate of the state $|\psi\rangle_M$, since the distance between these three states and $|\psi\rangle_M$ is very large.


title: Statistical Relationship between Interference Estimates and Network Capacity

abstract: Interference is a major impediment to the performance of a wireless network as it has a significant adverse impact on Network Capacity. There has been a gradual and consistent densification of WiFi networks due to Overlapping Basic Service Set (OBSS) deployments. With the upcoming 802.11ax standards, dense and ultra-dense deployments will become the norm and the detrimental impact of Interference on Capacity will only exacerbate. However, the precise nature of the association between Interference and Network Capacity remains to be investigated, a gap we bridge in this work. We employ linear and polynomial regression to find answers to several unexplored questions concerning the Capacity Interference Relationship (CIR). We devise an algorithm to select regression models that best explain this relationship by considering a variety of factors including outlier threshold. We ascertain the statistical significance of their association, and also determine the explainability of variation in Network Capacity when Interference is varied, and vice versa. While the relationship is generally believed to be non-linear, we demonstrate that scenarios exist where a strong linear correlation exists between the two. We also investigate the impact of WMN topology on this relationship by considering four carefully designed Wireless Mesh Network (WMN) topologies in the experiments. To quantify endemic Interference, we consider four popular Theoretical Interference Estimation Metrics (TIEMs) viz., TID, CDALcost, CXLSwt, and CALM. To ensure a sound regression analysis, we consider a large set of 100 Channel Assignment (CA) schemes, a majority of which are generated through a Generic Interference aware CA Generator proposed in this work. Finally, we test the TIEMs in terms of their reliability and the ability to model Interference. We carry out the experiments on IEEE 802.11g/n WMNs simulated in ns-3.


title: Optimal estimates for far field asymptotics of solutions to the quasi-geostrophic equation

abstract: The initial value problem for the two dimensional dissipative quasi-geostrophic equation of the critical and the supercritical cases is considered. Anomalous diffusion on this equation provides slow decay of solutions as the spatial parameter tends to infinity. In this paper, uniform estimates for far field asymptotics of solutions are given.


title: X-ray photoelectron spectroscopy, Raman and photoluminescence studies on formation of defects in Cu:ZnO thin films and its role in non-linear optical features

abstract: The structural, optical, morphological and nonlinear optical properties of Cu:ZnO spray-coated films are studied. The surface morphology of Cu:ZnO thin films turned out to be homogenous, crack free and well covered with pea-shaped grains. The peak shift observed in the x-ray photoelectron spectroscopy spectra of the Cu:ZnO thin films infers the defect states present in the films. The satellite peak observed at 939.9 eV for Cu2P core-level spectra confirms the +2 oxidation state of Cu in the films. The formation of additional defect levels in the nanostruc-tures upon Cu doping was investigated using photoluminescence (PL) and Raman spectroscopy studies. The luminescent centers in the violet, blue and green spectral region were observed. The most prominent emission was centered at the blue color center for 5% Cu:ZnO thin films. The en-hancement in the PL emission intensity confirms the increase in the defect state density upon Cu doping. The shifting of the UV emission peak to the visible region validates the increase in the non-radiative recombination process in the films upon doping. The phonon modes observed in Raman analysis around 439, 333 and 558 cm-1 confirm the improvement in the crystallinity and formation of defect states in the films. X-ray diffraction reveals that the deposited films are of single-phase wurtzite ZnO structure with preferential growth orientation parallel (0 0 2) to the C-axis. The third-order optical susceptibility \c{hi}(3) has been increased from 3.5 x 10-4 to 2.77 x 10-3 esu due to the enhancement of electronic transition to different defect levels formed in the films and through local heating effects arising due to continuous wave laser illumination. The enhanced third harmonic generation signal investigated using a Nd:YAG laser at 1064 nm and 8 ns pulse width shows the credibility of Cu:ZnO films in frequency tripling applications.


title: Achieve Higher Efficiency at Maximum Power with Finite-time Quantum Otto Cycle

abstract: The optimization of finite-time thermodynamic heat engines was intensively explored recently, yet limited to few cycles, e.g. finite-time Carnot-like cycle. In this paper, we supplement a new type of finite-time engine with quantum Otto cycle and show the better performance. The current model can be widely utilized benefited from the general \mathcal{C}/\tau^{2} scaling of extra work for finite-time adiabatic process with long control time \tau. Such scaling allows analytical optimization of the generic finite-time quantum Otto cycle to surpass the efficiency at maximum power for the Carnot-like engine. We apply the current perturbation method to the quantum piston model and calculate the efficiency at maximum power, which is validated with exact solution.


title: Emergence of nuclear clustering in electric-dipole excitations of $^6$Li

abstract: Nuclear clustering plays an important role, especially in the dynamics of light nuclei. The importance of the emergence of the nuclear clustering was discussed in the recent measurement of the photoabsorption cross sections as it offered the possibility of the coexistence of various excitation modes which are closely related to the nuclear clustering. To understand the excitation mechanism, we study the electric-dipole ($E1$) responses of $^6$Li with a fully microscopic six-body calculation. The ground-state wave function is accurately described with a superposition of correlated Gaussian (CG) functions with the aid of the stochastic variational method. The final-state wave functions are also expressed by a number of the CG functions including important configurations to describe the six-body continuum states excited by the $E1$ field. We found that the out-of-phase transitions occur due to the oscillations of the valence nucleons against the $^4$He cluster at the low energies around 10 MeV indicating ``soft'' giant-dipole-resonance(GDR)-type excitations, which are very unique in the $^6$Li system but could be found in other nuclear systems. At the high energies beyond $\sim 30$ MeV typical GDR-type transitions occur. The $^3$He-$^3$H clustering plays an important role to the GDR phenomena in the intermediate energy regions around 20 MeV.


title: On the Divisibility of Character Values of the Symmetric Group

abstract: Fix a partition $\mu=(\mu_1,\dotsc,\mu_m)$ of an integer $k$ and positive integer $d$. For each $n>k$, let $\chi^\lambda_\mu$ denote the value of the irreducible character of $S_n$ at a permutation with cycle type $(\mu_1,\dotsc,\mu_m,1^{n-k})$. We show that the proportion of partitions $\lambda$ of $n$ such that $\chi^\lambda_\mu$ is divisible by $d$ approaches $1$ as $n$ approaches infinity.


title: Boundary Objects and their Use in Agile Systems Engineering

abstract: Agile methods are increasingly introduced in automotive companies in the attempt to become more efficient and flexible in the system development. The adoption of agile practices influences communication between stakeholders, but also makes companies rethink the management of artifacts and documentation like requirements, safety compliance documents, and architecture models. Practitioners aim to reduce irrelevant documentation, but face a lack of guidance to determine what artifacts are needed and how they should be managed. This paper presents artifacts, challenges, guidelines, and practices for the continuous management of systems engineering artifacts in automotive based on a theoretical and empirical understanding of the topic. In collaboration with 53 practitioners from six automotive companies, we conducted a design-science study involving interviews, a questionnaire, focus groups, and practical data analysis of a systems engineering tool. The guidelines suggest the distinction between artifacts that are shared among different actors in a company (boundary objects) and those that are used within a team (locally relevant artifacts). We propose an analysis approach to identify boundary objects and three practices to manage systems engineering artifacts in industry.


title: A comparative study of local quantum Fisher information and local quantum uncertainty in Heisenberg $XY$ model

abstract: Recently, it has been shown that the quantum Fisher information via local observables and via local measurements (i.e., local quantum Fisher information (LQFI)) is a central concept in quantum estimation and quantum metrology and captures the quantumness of correlations in the multi-component quantum system [S. Kim et al., Phys. Rev. A. 97, 032326 (2018)]. This new discord-like measure is very similar to the quantum correlations measure called local quantum uncertainty (LQU). In the present study, we have revealed that LQU is bounded by LQFI in the phase estimation protocol. Also, a comparative study between these two quantum correlations quantifiers is addressed for the quantum Heisenberg $XY$ model. Two distinct situations are considered. The first one concerns the anisotropic $XY$ model and the second situation concerns the isotropic $XY$ model submitted to an external magnetic field. Our results confirm that LQFI reveals more quantum correlations than LQU.


title: Neuronal mechanisms for sequential activation of memory items: dynamics and reliability

abstract: In this article we present a biologically inspired model of activation of memory items in a sequence. Our model produces two types of sequences, corresponding to two different types of cerebral functions: activation of regular or irregular sequences. The switch between the two types of activation occurs through the modulation of biological parameters, without altering the connectivity matrix. Some of the parameters included in our model are neuronal gain, strength of inhibition, synaptic depression and noise. We investigate how these parameters enable the existence of sequences and influence the type of sequences observed. In particular we show that synaptic depression and noise drive the transitions from one memory item to the next and neuronal gain controls the switching between regular and irregular (random) activations.


title: Regulating AI: do we need new tools?

abstract: The Artificial Intelligence paradigm (hereinafter referred to as "AI") builds on the analysis of data able, among other things, to snap pictures of the individuals' behaviors and preferences. Such data represent the most valuable currency in the digital ecosystem, where their value derives from their being a fundamental asset in order to train machines with a view to developing AI applications. In this environment, online providers attract users by offering them services for free and getting in exchange data generated right through the usage of such services. This swap, characterized by an implicit nature, constitutes the focus of the present paper, in the light of the disequilibria, as well as market failures, that it may bring about. We use mobile apps and the related permission system as an ideal environment to explore, via econometric tools, those issues. The results, stemming from a dataset of over one million observations, show that both buyers and sellers are aware that access to digital services implicitly implies an exchange of data, although this does not have a considerable impact neither on the level of downloads (demand), nor on the level of the prices (supply). In other words, the implicit nature of this exchange does not allow market indicators to work efficiently. We conclude that current policies (e.g. transparency rules) may be inherently biased and we put forward suggestions for a new approach.


title: About Fibonacci trees. I

abstract: In this first paper, we look at the following question: are the properties of the Fibonacci tree still true if we consider a finitely generated tree by the same rules but rooted at a black node? The direct answer is no, but new properties arise, a bit more complex than in the case of a tree rooted at a white node, but still of interest.


title: Correlations between avalanches in the depinning dynamics of elastic interfaces

abstract: We study the correlations between avalanches in the depinning dynamics of elastic interfaces driven on a random substrate. In the mean field theory (the Brownian force model), it is known that the avalanches are uncorrelated. Here we obtain a simple field theory which describes the first deviations from this uncorrelated behavior in a $\epsilon=d_c-d$ expansion below the upper critical dimension $d_c$ of the model. We apply it to calculate the correlations between (i) avalanche sizes (ii) avalanche dynamics in two successive avalanches, or more generally, in two avalanches separated by a uniform displacement $W$ of the interface. For (i) we obtain the correlations of the total sizes, of the local sizes and of the total sizes with given seeds (starting points). For (ii) we obtain the correlations of the velocities, of the durations, and of the avalanche shapes. In general we find that the avalanches are {\it anti-correlated}, the occurence of a larger avalanche making more likely the occurence of a smaller one, and vice-versa. Examining the universality of our results leads us to conjecture several new exact scaling relations for the critical exponents that characterize the different distributions of correlations. The avalanche size predictions are confronted to numerical simulations for a $d=1$ interface with short range elasticity. They are also compared to our recent related work on static avalanches (shocks). Finally we show that the naive extrapolation of our result into the thermally activated creep regime at finite temperature, predicts strong positive correlations between the forward motion events, as recently observed in numerical simulations.