title: Gauge invariant description of weak gravitational field on a spherically symmetric background with cosmological constant

abstract: We present a formalism for analysis of linear Cauchy data on a Kottler metric. Our method removes redundancy due to gauge transformations and constraints. A set of four gauge-invariant, scalar functions on the Cauchy surface is produced and shown to contain full physical information from the initial data. The symplectic form of the theory and equations of motion are reformulated in terms of these invariants and some simple solutions are explored.


title: Half-Quantum Vortices in Superfluid Helium

abstract: This is the manuscript version of the Physics ViewPoint article introducing the paper "Observation of half-quantum vortices in topological superfluid $^3$He", by S. Autti et al., which appeared in Physical Review Letters, December 14, 2016.


title: Considerations for a PAP Smear Image Analysis System with CNN Features

abstract: It has been shown that for automated PAP-smear image classification, nucleus features can be very informative. Therefore, the primary step for automated screening can be cell-nuclei detection followed by segmentation of nuclei in the resulting single cell PAP-smear images. We propose a patch based approach using CNN for segmentation of nuclei in single cell images. We then pose the question of ion of segmentation for classification using representation learning with CNN, and whether low-level CNN features may be useful for classification. We suggest a CNN-based feature level analysis and a transfer learning based approach for classification using both segmented as well full single cell images. We also propose a decision-tree based approach for classification. Experimental results demonstrate the effectiveness of the proposed algorithms individually (with low-level CNN features), and simultaneously proving the sufficiency of cell-nuclei detection (rather than accurate segmentation) for classification. Thus, we propose a system for analysis of multi-cell PAP-smear images consisting of a simple nuclei detection algorithm followed by classification using transfer learning.


title: Context-aware Failure-oblivious Computing as a Means of Preventing Buffer Overflows

abstract: In languages like C, buffer overflows are widespread. A common mitigation technique is to use tools that detect them during execution and abort the program to prevent the leakage of data or the diversion of control flow. However, for server applications, it would be desirable to prevent such errors while maintaining availability of the system. To this end, we present an approach to handle buffer overflows without aborting the program. This approach involves implementing a continuation logic in library functions based on an introspection function that allows querying the size of a buffer. We demonstrate that introspection can be implemented in popular bug-finding and bug-mitigation tools such as LLVM's AddressSanitizer, SoftBound, and Intel-MPX-based bounds checking. We evaluated our approach in a case study of real-world bugs and show that for tools that explicitly track bounds data, introspection results in a low performance overhead.


title: Joint similarity for commuting families of power bounded matrices

abstract: An example due to Pisier shows that two commuting, completely polynomially bounded Hilbert space operators may not be simultaneously similar to contractions. Thus, while each operator is individually similar to a contraction, the pair is not jointly similar to a pair of commuting contractions. We show that this phenomenon does not occur in finite dimensions. More precisely, we show that a finite family of power bounded commuting matrices is always jointly similar to a family of contractions. In fact, the result can be extended to infinite families satisfying certain uniformity conditions. Our approach is based on a joint spectral decomposition of the underlying space.


title: Residence Time Near an Absorbing Set

abstract: We determine how long a diffusing particle spends in a given spatial range before it dies at an absorbing boundary. In one dimension, for a particle that starts at $x_0$ and is absorbed at $x=0$, the average residence time in the range $[x,x+dx]$ is $T(x)=\frac{x}{D}\,dx$ for $x<x_0$ and $\frac{x_0}{D}\,dx$ for $x>x_0$, where $D$ is the diffusion coefficient. We extend our approach to biased diffusion, to a particle confined to a finite interval, and to general spatial dimensions. We use the generating function technique to derive parallel results for the average residence time of the one-dimensional symmetric nearest-neighbor random walk that starts at $x_0=1$ and is absorbed at $x=0$. We also determine the distribution of times at which the random walk first revisits $x=1$ before being absorbed.


title: Improving Text-to-SQL Evaluation Methodology

abstract: To be informative, an evaluation must measure how well systems generalize to realistic unseen data. We identify limitations of and propose improvements to current evaluations of text-to-SQL systems. First, we compare human-generated and automatically generated questions, characterizing properties of queries necessary for real-world applications. To facilitate evaluation on multiple datasets, we release standardized and improved versions of seven existing datasets and one new text-to-SQL dataset. Second, we show that the current division of data into training and test sets measures robustness to variations in the way questions are asked, but only partially tests how well systems generalize to new queries; therefore, we propose a complementary dataset split for evaluation of future work. Finally, we demonstrate how the common practice of anonymizing variables during evaluation removes an important challenge of the task. Our observations highlight key difficulties, and our methodology enables effective measurement of future development.


title: On Adversarial Examples for Character-Level Neural Machine Translation

abstract: Evaluating on adversarial examples has become a standard procedure to measure robustness of deep learning models. Due to the difficulty of creating white-box adversarial examples for discrete text input, most analyses of the robustness of NLP models have been done through black-box adversarial examples. We investigate adversarial examples for character-level neural machine translation (NMT), and contrast black-box adversaries with a novel white-box adversary, which employs differentiable string-edit operations to rank adversarial changes. We propose two novel types of attacks which aim to remove or change a word in a translation, rather than simply break the NMT. We demonstrate that white-box adversarial examples are significantly stronger than their black-box counterparts in different attack scenarios, which show more serious vulnerabilities than previously known. In addition, after performing adversarial training, which takes only 3 times longer than regular training, we can improve the model's robustness significantly.


title: Relating Structure and Power: Comonadic Semantics for Computational Resources

abstract: Combinatorial games are widely used in finite model theory, constraint satisfaction, modal logic and concurrency theory to characterize logical equivalences between structures. In particular, Ehrenfeucht-Fraisse games, pebble games, and bisimulation games play a central role. We show how each of these types of games can be described in terms of an indexed family of comonads on the category of relational structures and homomorphisms. The index k is a resource parameter which bounds the degree of access to the underlying structure. The coKleisli categories for these comonads can be used to give syntax-free characterizations of a wide range of important logical equivalences. Moreover, the coalgebras for these indexed comonads can be used to characterize key combinatorial parameters: tree-depth for the Ehrenfeucht-Fraisse comonad, tree-width for the pebbling comonad, and synchronization-tree depth for the modal unfolding comonad. These results pave the way for systematic connections between two major branches of the field of logic in computer science which hitherto have been almost disjoint: categorical semantics, and finite and algorithmic model theory.


title: Conformal GUT inflation, proton lifetime and non-thermal leptogenesis

abstract: In this paper, we generalize Coleman-Weinberg (CW) inflation in grand unified theories (GUTs) such as $\text{SU}(5)$ and $\text{SO}(10)$ by means of considering two complex singlet fields with conformal invariance. In this framework, inflation emerges from a spontaneously broken conformal symmetry. The GUT symmetry implies a potential with a CW form, as a consequence of radiative corrections. The conformal symmetry flattens the above VEV branch of the CW potential to a Starobinsky plateau. As a result, we obtain $n_{s}\sim 1-\frac{2}{N}$ and $r\sim \frac{12}{N^2}$ for $N\sim 50-60$ e-foldings. Furthermore, this framework allow us to estimate the proton lifetime as $\tau_{p}\lesssim 10^{40}$ years, whose decay is mediated by the superheavy gauge bosons. Moreover, we implement a type I seesaw mechanism by weakly coupling the complex singlet, which carries two units of lepton number, to the three generations of singlet right handed neutrinos (RHNs). The spontaneous symmetry breaking of global lepton number amounts to the generation of neutrino masses. We also consider non-thermal leptogenesis in which the inflaton dominantly decays into heavy RHNs that sources the observed baryon asymmetry. We constrain the couplings of the inflaton field to the RHNs, which gives the reheating temperature as $10^{6}\text{ GeV}\lesssim T_{R}<10^{9}$ GeV.


title: Weak and strong well-posedness of critical and supercritical SDEs with singular coefficients

abstract: Consider the following time-dependent stable-like operator with drift $$ \mathscr{L}_t\varphi(x)=\int_{\mathbb{R}^d}\big[\varphi(x+z)-\varphi(x)-z^{(\alpha)}\cdot\nabla\varphi(x)\big]\sigma(t,x,z)\nu_\alpha(d z)+b(t,x)\cdot\nabla \varphi(x), $$ where $d\geq 1$, $\nu_\alpha$ is an $\alpha$-stable type L\'evy measure with $\alpha\in(0,1]$ and $z^{(\alpha)}=1_{\alpha=1}1_{|z|\leq1}z$, $\sigma$ is a real-valued Borel function on $\mathbb{R}_+\times\mathbb{R}^d\times\mathbb{R}^d$ and $b$ is an $\mathbb{R}^d$-valued Borel function on $\mathbb{R}_+\times\mathbb{R}^d$. By using the Littlewood-Paley theory, we establish the well-posedness for the martingale problem associated with $\mathscr{L}_t$ under the sharp balance condition $\alpha+\beta\geq1$, where $\beta$ is the H\"older index of $b$ with respect to $x$. Moreover, we also study a class of stochastic differential equations driven by Markov processes with generators of the form $\mathscr{L}_t$. We prove the pathwise uniqueness of strong solutions for such equations when the coefficients are in certain Besov spaces.


title: Almost primes in various settings

abstract: Let $k \geq 3$ and let $L_i(n) = A_in + B_i$ be some linear forms such that $A_i$ and $B_i$ are integers. Define ${\mathcal{P}(n) = \prod_{i=1}^k L_i(n)}$. For each $k$ it is known that $\Omega (\mathcal{P} (n) ) \leq \rho_k$ infinitely often for some integer $\rho_k$. We improve the possible values of $\rho_k$ for $4 \leq k \leq 10$ assuming $GEH$. We also show that we can take $\rho_5=14$ unconditionally. As a by-product of our approach we reprove the $\rho_3=7$ result which was previously obtained by Maynard who used techniques specifically designed for this case.


title: Defending Malware Classification Networks Against Adversarial Perturbations with Non-Negative Weight Restrictions

abstract: There is a growing body of literature showing that deep neural networks are vulnerable to adversarial input modification. Recently this work has been extended from image classification to malware classification over boolean features. In this paper we present several new methods for training restricted networks in this specific domain that are highly effective at preventing adversarial perturbations. We start with a fully adversarially resistant neural network that has hard non-negative weight restrictions and is equivalent to learning a monotonic boolean function and then attempt to relax the constraints to improve classifier accuracy.


title: Spectroscopic Determination of Capella's Photospheric Abundances: Possible Influence of Stellar Activity

abstract: Capella is a spectroscopic binary consisting of two G-type giants, where the primary (G8III) is a normal red-clump giant while the secondary (G0III) is a chromospherically-active fast rotator showing considerable overabundance of Li as Li-enhanced giants. Recently, Takeda & Tajitsu (2017) reported that abundance ratios of specific light elements (e.g., [C/Fe] or [O/Fe]) in Li-rich giants of high activity tend to be anomalously high, which they suspected to be nothing but superficial caused by unusual atmospheric structure due to high activity. Towards verifying this hypothesis, we determined the elemental abundances of the primary and the secondary of Capella based on the disentangled spectrum of each component, in order to see whether any apparent disagreement exists between the two, which should have been formed with the same chemical composition. We found that the primary is slightly supersolar (by ~+0.1dex) while the secondary is subsolar (by several tenths dex) for heavier elements such as Fe, resulting in a marked discrepancy between the primary and secondary, though such a trend is not seen for light elements (e.g., C or O). These observational facts suggest that anomalously large [X/Fe] ratios found in Li-rich giants were mainly due to an apparent decrease of Fe abundance, which we speculate is caused by the overionization effect due to chromospheric UV radiation. We thus conclude that conventional model atmosphere analysis would fail to correctly determine the abundances of fast-rotating giants of high activity, for which proper treatment of chromospheric effect is required for deriving true photospheric abundances.


title: Doubly transitive lines I: Higman pairs and roux

abstract: We study lines through the origin of finite-dimensional complex vector spaces that enjoy a doubly transitive automorphism group. In doing so, we make fundamental connections with both discrete geometry and algebraic combinatorics. In particular, we show that doubly transitive lines are necessarily optimal packings in complex projective space, and we introduce a fruitful generalization of regular abelian distance-regular antipodal covers of the complete graph.


title: Deductron -- A Recurrent Neural Network

abstract: The current paper is a study in Recurrent Neural Networks (RNN), motivated by the lack of examples simple enough so that they can be thoroughly understood theoretically, but complex enough to be realistic. We constructed an example of structured data, motivated by problems from image-to-text conversion (OCR), which requires long-term memory to decode. Our data is a simple writing system, encoding characters 'X' and 'O' as their upper halves, which is possible due to symmetry of the two characters. The characters can be connected, as in some languages using cursive, such as Arabic (abjad). The string 'XOOXXO' may be encoded as '${\vee}{\wedge}\kern-1.5pt{\wedge}{\vee}\kern-1.5pt{\vee}{\wedge}$'. It follows that we may need to know arbitrarily long past to decode a current character, thus requiring long-term memory. Subsequently we constructed an RNN capable of decoding sequences encoded in this manner. Rather than by training, we constructed our RNN "by inspection", i.e. we guessed its weights. This involved a sequence of steps. We wrote a conventional program which decodes the sequences as the example above. Subsequently, we interpreted the program as a neural network (the only example of this kind known to us). Finally, we generalized this neural network to discover a new RNN architecture whose instance is our handcrafted RNN. It turns out to be a 3 layer network, where the middle layer is capable of performing simple logical inferences; thus the name "deductron". It is demonstrated that it is possible to train our network by simulated annealing. Also, known variants of stochastic gradient descent (SGD) methods are shown to work.


title: Parallel Transport Unfolding: A Connection-based Manifold Learning Approach

abstract: Manifold learning offers nonlinear dimensionality reduction of high-dimensional datasets. In this paper, we bring geometry processing to bear on manifold learning by introducing a new approach based on metric connection for generating a quasi-isometric, low-dimensional mapping from a sparse and irregular sampling of an arbitrary manifold embedded in a high-dimensional space. Geodesic distances of discrete paths over the input pointset are evaluated through "parallel transport unfolding" (PTU) to offer robustness to poor sampling and arbitrary topology. Our new geometric procedure exhibits the same strong resilience to noise as one of the staples of manifold learning, the Isomap algorithm, as it also exploits all pairwise geodesic distances to compute a low-dimensional embedding. While Isomap is limited to geodesically-convex sampled domains, parallel transport unfolding does not suffer from this crippling limitation, resulting in an improved robustness to irregularity and voids in the sampling. Moreover, it involves only simple linear algebra, significantly improves the accuracy of all pairwise geodesic distance approximations, and has the same computational complexity as Isomap. Finally, we show that our connection-based distance estimation can be used for faster variants of Isomap such as L-Isomap.


title: A useful fundamental speed limit for the imaginary-time Schrodinger equation

abstract: The quantum speed limit (QSL), or the energy-time uncertainty relation, gives a fundamental speed limit for quantum dynamics. Recently, Kieu [arXiv:1702.00603] derived a new class of QSL which is not only formal but also suitable for actually evaluating the speed limit. Inspired by his work, we obtain a similar speed limit for the imaginary-time Schr\"odinger equation. Using this new bound, we show that the optimal computational time of the Grover problem in imaginary-time quantum annealing is bounded from below by $\log N$, which is consistent with a result of previous study.


title: A Hybrid Approach for Using Programming Exercises in Introductory Physics

abstract: Incorporating computer programming exercises into introductory physics is a delicate task that involves a number of choices that may have an effect on student learning. We present a "hybrid" approach that speaks to a number of common concerns regarding cognitive load which arise when using programming exercises in introductory physics classes where many students are absolute beginner programmers. This "hybrid" approach provides the student with a highly interactive web-based visualization, not unlike a PhET or Physlet interactive, but importantly the student is shown only the subset of the code where the initial conditions are set and the system variables are evolved. We highlight results from a coding activity that resembles the classic game Asteroids. The goals of this activity are to show how a simple 1D code can be modified into a 2D code, and to reinforce ideas about the relationship between force, velocity, and acceleration vectors. Survey results from four semesters of introductory physics classes at the Ohio State University's Marion campus, in which a high percentage of the students are weak or absolute beginner programmers, provide evidence that most students can complete coding tasks without severe difficulty. Other survey results are promising for future work where conceptual learning will be assessed in a direct way using metrics like the Animated Force Concept Inventory (Dancy & Beichner 2006). The exercise highlighted here and others from our group are available for general use at http://compadre.org/PICUP


title: Formal Verification using Second-Quantized Horn Clauses

abstract: In our previous work [1] we described quantized computation using Horn clauses and based the semantics, dubbed as entanglement semantics as a generalization of denotational and distribution semantics, and founded it on quantum probability by exploiting the key insight classical random variables have quantum decompositions. Towards this end we built a Hilbert space of H-interpretations and a corresponding non commutative von Neu- mann algebra of bounded linear operators [2]. In this work we extend the formalism using second-quantized Horn clauses that describe processes such as Heisenberg evolutions in optical circuits, quantum walks, and quantum filters in a formally verifiable way. We base our system on a measure theoretic approach to handle infinite dimensional systems and demonstrate the expressive power of the formalism by casting an algebra used to describe interconnected quantum systems (QNET) [5] in this language. The variables of a Horn clause bounded by universal or existential quantifiers can be used to describe parameters of optical components such as beam splitter scattering paths, cavity detuning from resonance, strength of a laser beam, or input and output ports of these components. Prominent clauses in this non commutative framework are Weyl predicates, that are operators on a Boson Fock space in the language of quantum stochastic calculus, martingales and conjugate Brownian motions compactly representing statistics of quantum field fluctuations. We formulate the- orem proving as a quantum stochastic process, more precisely a martingale, in Heisenberg picture of quantum mechanics, a sequence of goals to be proved, on the Herbrand base.


title: A breakpoint detection in the mean model with heterogeneous variance on fixed time-intervals

abstract: This work is motivated by an application for the homogeneization of GNSS-derived IWV (Integrated Water Vapour) series. Indeed, these GPS series are affected by abrupt changes due to equipment changes or environemental effects. The detection and correction of the series from these changes is a crucial step before any use for climate studies. In addition to these abrupt changes, it has been observed in the series a non-stationary of the variability. We propose in this paper a new segmentation model that is a breakpoint detection in the mean model of a Gaussian process with heterogeneous variance on known time-intervals. In this segmentation case, the dynamic programming (DP) algorithm used classically to infer the breakpoints can not be applied anymore. We propose a procedure in two steps: we first estimate robustly the variances and then apply the classical inference by plugging these estimators. The performance of our proposed procedure is assessed through simulation experiments. An application to real GNSS data is presented.


title: Modified Eshelby tensor for an anisotropic matrix with interfacial damage

abstract: We derive a simple tensor algebraic expression of the modified Eshelby tensor for a spherical inclusion embedded in an arbitrarily anisotropic matrix in terms of three tensor quantities (the 4th order identity tensor, the elastic stiffness tensor, and the Eshelby tensor) and two scalar quantities (the inclusion radius and interfacial spring constant), when the interfacial damage is modelled as a linear-spring layer of vanishing thickness. We validate the expression for a triclinic crystal involving 21 independent elastic constants against finite element analysis (FEA).


title: Variational Wasserstein Clustering

abstract: We propose a new clustering method based on optimal transportation. We solve optimal transportation with variational principles, and investigate the use of power diagrams as transportation plans for aggregating arbitrary domains into a fixed number of clusters. We iteratively drive centroids through target domains while maintaining the minimum clustering energy by adjusting the power diagrams. Thus, we simultaneously pursue clustering and the Wasserstein distances between the centroids and the target domains, resulting in a measure-preserving mapping. We demonstrate the use of our method in domain adaptation, remeshing, and representation learning on synthetic and real data.


title: Disease Classification in Metagenomics with 2D Embeddings and Deep Learning

abstract: Deep learning (DL) techniques have shown unprecedented success when applied to images, waveforms, and text. Generally, when the sample size ($N$) is much bigger than the number of features ($d$), DL often outperforms other machine learning (ML) techniques, often through the use of Convolutional Neural Networks (CNNs). However, in many bioinformatics fields (including metagenomics), we encounter the opposite situation where $d$ is significantly greater than $N$. In these situations, applying DL techniques would lead to severe overfitting. Here we aim to improve classification of various diseases with metagenomic data through the use of CNNs. For this we proposed to represent metagenomic data as images. The proposed Met2Img approach relies on taxonomic and t-SNE embeddings to transform abundance data into "synthetic images". We applied our approach to twelve benchmark data sets including more than 1400 metagenomic samples. Our results show significant improvements over the state-of-the-art algorithms (Random Forest (RF), Support Vector Machine (SVM)). We observe that the integration of phylogenetic information alongside abundance data improves classification. The proposed approach is not only important in classification setting but also allows to visualize complex metagenomic data. The Met2Img is implemented in Python.


title: Amplitude tuning of steady state entanglement in strongly driven coupled qubits

abstract: In this work we report on a new mechanism to generate dissipative steady state entanglement in two coupled qubits driven by strong periodic ac fields. We show that steady entanglement can be generated at one side of a multiphoton resonance between a non-entangled ground state and an entangled excited state. The degree of entanglement can be tuned as a function of the amplitude of the periodic drive. A rich dynamic behavior with creation, death and revival of entanglement can be observed for certain parameter regimes, accessible in current experimental devices.


title: A classification point-of-view about conditional Kendall's tau

abstract: We show how the problem of estimating conditional Kendall's tau can be rewritten as a classification task. Conditional Kendall's tau is a conditional dependence parameter that is a characteristic of a given pair of random variables. The goal is to predict whether the pair is concordant (value of $1$) or discordant (value of $-1$) conditionally on some covariates. We prove the consistency and the asymptotic normality of a family of penalized approximate maximum likelihood estimators, including the equivalent of the logit and probit regressions in our framework. Then, we detail specific algorithms adapting usual machine learning techniques, including nearest neighbors, decision trees, random forests and neural networks, to the setting of the estimation of conditional Kendall's tau. Finite sample properties of these estimators and their sensitivities to each component of the data-generating process are assessed in a simulation study. Finally, we apply all these estimators to a dataset of European stock indices.


title: Propensity rules in photoelectron circular dichroism in chiral molecules I: Chiral hydrogen

abstract: Photoelectron circular dichroism results from one-photon ionization of chiral molecules by circularly polarized light and manifests itself in forward-backward asymmetry of electron emission in the direction orthogonal to the light polarization plane. What is the physical mechanism underlying asymmetric electron ejection? How "which way" information builds up in a chiral molecule and maps into forward-backward asymmetry? We introduce instances of bound chiral wave functions resulting from stationary superpositions of states in a hydrogen atom and use them to show that the chiral response in one-photon ionization of aligned molecular ensembles originates from two propensity rules: (i) Sensitivity of ionization to the sense of electron rotation in the polarization plane. (ii) Sensitivity of ionization to the direction of charge displacement or stationary current orthogonal to the polarization plane. In the companion paper we show how the ideas presented here are part of a broader picture valid for all chiral molecules and arbitrary degrees of molecular alignment.

categories: physics.atom-ph physics.atm-clus physics.chem-ph physics.optics quant-ph


title: Propensity rules in photoelectron circular dichroism in chiral molecules II: General picture

abstract: Photoelectron circular dichroism results from one-photon ionization of chiral molecules by circularly polarized light and manifests itself in forward-backward asymmetry of electron emission in the direction orthogonal to the light polarization plane. To expose the physical mechanism responsible for asymmetric electron ejection, we first establish a rigorous relation between the responses of unaligned and partially or perfectly aligned molecules. Next, we identify a propensity field, which is responsible for the chiral response in the electric-dipole approximation, i.e. a chiral response without magnetic interactions. We find that this propensity field, up to notations, is equivalent to the Berry curvature in a two-band solid. The propensity field directly encodes optical propensity rules, extending our conclusions regarding the role of propensity rules in defining the sign of forward-backward asymmetry from the specific case of chiral hydrogen to generic chiral systems. Optical propensity rules underlie the chiral response in photoelectron circular dichroism. The enantiosensitive flux of the propensity field through the sphere in momentum space determines the forward-backward asymmetry in unaligned molecules and suggests a geometrical origin of the chiral response. This flux has opposite sign for opposite enantiomers and vanishes for achiral molecules.


title: Families of directed graphs and topological conjugacy of the associated Markov-Dyck shifts

abstract: We describe structural properties of strongly connected finite directed graphs, that are invariants of the topological conjugacy of their Markov-Dyck shifts. For strongly connected finite directed graphs with these properties topological conjugacy of their Markov-Dyck shifts implies isomorphism of the graphs.


title: The Study of Multi-Layer sTGC Test System for ATLAS Phase-I upgrade

abstract: A completely New Small Wheel (NSW) will be constructed for ATLAS Phase-1 upgrade. Small-Strip Thin-Gap-Chamber (sTGC) will devote to the trigger function of NSW. A full-size sTGC quadruplet consists of 4 layers, and will need 4 pad Front-End-Boards and 4 strip Front-End-Boards for sTGC signals readout. The 8 boards should be readout simultaneously at a time. This paper presents the study of multi-layer sTGC test system, a FEB Driver Card (FEBDC) is designed for pFEB and sFEB boards handling. The design and test of FEBDC are described in details.


title: Arveson extreme points span free spectrahedra

abstract: Let $ SM_n(\mathbb{R})^g$ denote $g$-tuples of $n \times n$ real symmetric matrices. Given tuples $X=(X_1, \dots, X_g) \in SM_{n_1}(\mathbb{R})^g$ and $Y=(Y_1, \dots, Y_g) \in SM_{n_2}(\mathbb{R})^g$, a matrix convex combination of $X$ and $Y$ is a sum of the form \[ V_1^* XV_1+V_2^* Y V_2 \quad \quad \quad V_1^* V_1+V_2^* V_2=I_n \] where $V_1:\mathbb{R}^n \to \mathbb{R}^{n_1}$ and $V_2:\mathbb{R}^n \to \mathbb{R}^{n_2}$ are contractions. Matrix convex sets are sets which are closed under matrix convex combinations. A key feature of matrix convex combinations is that the $g$-tuples $X, Y$, and $V_1^* XV_1+V_2^* Y V_2$ do not need to have the same size. As a result, matrix convex sets are a dimension free analog of convex sets. While in the classical setting there is only one notion of an extreme point, there are three main notions of extreme points for matrix convex sets: ordinary, matrix, and absolute extreme points. Absolute extreme points are closely related to the classical Arveson boundary. A central goal in the theory of matrix convex sets is to determine if one of these types of extreme points for a matrix convex set minimally recovers the set through matrix convex combinations. This article shows that every real compact matrix convex set which is defined by a linear matrix inequality is the matrix convex hull of its absolute extreme points, and that the absolute extreme points are the minimal set with this property. Furthermore, we give an algorithm which expresses a tuple as a matrix convex combination of absolute extreme points with optimal bounds. Similar results hold when working over the field of complex numbers rather than the reals.


title: Anisotropic Error Estimates of The Linear Nonconforming Virtual Element Methods

abstract: A refined a priori error analysis of the lowest order (linear) nonconforming Virtual Element Method (VEM) for approximating a model Poisson problem is developed in both 2D and 3D. A set of new geometric assumptions is proposed on shape regularity of polytopal meshes. A new error equation for the lowest order (linear) nonconforming VEM is derived for any choice of stabilization, and a new stabilization using a projection on an extended element patch is introduced for the error analysis on anisotropic elements.


title: DARTS: Differentiable Architecture Search

abstract: This paper addresses the scalability challenge of architecture search by formulating the task in a differentiable manner. Unlike conventional approaches of applying evolution or reinforcement learning over a discrete and non-differentiable search space, our method is based on the continuous relaxation of the architecture representation, allowing efficient search of the architecture using gradient descent. Extensive experiments on CIFAR-10, ImageNet, Penn Treebank and WikiText-2 show that our algorithm excels in discovering high-performance convolutional architectures for image classification and recurrent architectures for language modeling, while being orders of magnitude faster than state-of-the-art non-differentiable techniques. Our implementation has been made publicly available to facilitate further research on efficient architecture search algorithms.


title: The first polluted white dwarf from Gaia DR2: the cool DAZ GaiaJ1738-0826

abstract: We present the first metal-polluted single white dwarf star identified through Gaia DR2. GaiaJ1738-0826, selected from color and absolute magnitude cuts in the Gaia DR2 data, was discovered to have strong Ca~II absorption in initial spectroscopic characterization at Lick Observatory. Notably, GaiaJ1738-0826 resembles in many ways the first confirmed metal-polluted hydrogen atmosphere white dwarf, the DAZ G74-7.


title: In-situ Stochastic Training of MTJ Crossbar based Neural Networks

abstract: Owing to high device density, scalability and non-volatility, Magnetic Tunnel Junction-based crossbars have garnered significant interest for implementing the weights of an artificial neural network. The existence of only two stable states in MTJs implies a high overhead of obtaining optimal binary weights in software. We illustrate that the inherent parallelism in the crossbar structure makes it highly appropriate for in-situ training, wherein the network is taught directly on the hardware. It leads to significantly smaller training overhead as the training time is independent of the size of the network, while also circumventing the effects of alternate current paths in the crossbar and accounting for manufacturing variations in the device. We show how the stochastic switching characteristics of MTJs can be leveraged to perform probabilistic weight updates using the gradient descent algorithm. We describe how the update operations can be performed on crossbars both with and without access transistors and perform simulations on them to demonstrate the effectiveness of our techniques. The results reveal that stochastically trained MTJ-crossbar NNs achieve a classification accuracy nearly same as that of real-valued-weight networks trained in software and exhibit immunity to device variations.


title: Golden interpolation

abstract: For the classic aesthetic interpolation problem, we propose an entirely new thought: apply the golden section. For how to apply the golden section to interpolation methods, we present three examples: the golden step interpolation, the golden piecewise linear interpolation and the golden curve interpolation, which respectively deal with the applications of golden section in the interpolation of degree 0, 1, and 2 in the plane. In each example, we present our basic ideas, the specific methods, comparative examples and applications, and relevant criteria. And it is worth mentioning that for aesthetics, we propose two novel concepts: the golden cuspidal hill and the golden domed hill. This paper aims to provide the reference for the combination of golden section and interpolation, and stimulate more and better related researches.


title: Are Free Android App Security Analysis Tools Effective in Detecting Known Vulnerabilities?

abstract: Increasing interest in securing the Android ecosystem has spawned numerous efforts to assist app developers in building secure apps. These efforts have resulted in tools and techniques capable of detecting vulnerabilities (and malicious behaviors) in apps. However, there has been no evaluation of the effectiveness of these tools and techniques in detecting known vulnerabilities. The absence of such evaluations puts app developers at a disadvantage when choosing security analysis tools to secure their apps. In this regard, we evaluated the effectiveness of vulnerability detection tools for Android apps. We reviewed 64 tools and empirically evaluated 14 vulnerability detection tools (incidentally along with five malicious behavior detection tools) against 42 known unique vulnerabilities captured by Ghera benchmarks, which are composed of both vulnerable and secure apps. Of the 24 observations from the evaluation, the main observation is existing vulnerability detection tools for Android apps are very limited in their ability to detect known vulnerabilities -- all of the evaluated tools together could only detect 30 of the 42 known unique vulnerabilities. More effort is required if security analysis tools are to help developers build secure apps. We hope the observations from this evaluation will help app developers choose appropriate security analysis tools and persuade tool developers and researchers to identify and address limitations in their tools and techniques. We also hope this evaluation will catalyze or spark a conversation in the software engineering and security communities to require a more rigorous and explicit evaluation of security analysis tools and techniques.


title: Disentangled VAE Representations for Multi-Aspect and Missing Data

abstract: Many problems in machine learning and related application areas are fundamentally variants of conditional modeling and sampling across multi-aspect data, either multi-view, multi-modal, or simply multi-group. For example, sampling from the distribution of English sentences conditioned on a given French sentence or sampling audio waveforms conditioned on a given piece of text. Central to many of these problems is the issue of missing data: we can observe many English, French, or German sentences individually but only occasionally do we have data for a sentence pair. Motivated by these applications and inspired by recent progress in variational autoencoders for grouped data, we develop factVAE, a deep generative model capable of handling multi-aspect data, robust to missing observations, and with a prior that encourages disentanglement between the groups and the latent dimensions. The effectiveness of factVAE is demonstrated on a variety of rich real-world datasets, including motion capture poses and pictures of faces captured from varying poses and perspectives.


title: Reilly-type inequalities for $p$-Laplacian on submanifolds in space forms

abstract: Let $M$ be an $n$-dimensional closed orientable submanifold in an $N$-dimensional space form. When $1<p \le \frac n2 + 1$, we obtain an upper bound for the first nonzero eigenvalue of the $p$-Laplacian in terms of the mean curvature of $M$ and the curvature of the space form. This generalizes the Reilly inequality for the Laplacian [9, 15] to the $p$-Laplacian and extends the work of [8] for the $p$-Laplacian.


title: A simplified and unified generalization of some majorization results

abstract: We consider positive, integral-preserving linear operators acting on $L^1$ space, known as stochastic operators or Markov operators. We show that, on finite-dimensional spaces, any stochastic operator can be approximated by a sequence of stochastic integral operators (such operators arise naturally when considering matrix majorization in $L^1$). We collect a number of results for vector-valued functions on $L^1$, simplifying some proofs found in the literature. In particular, matrix majorization and multivariate majorization are related in $\mathbb{R}^n$. In $\mathbb{R}$, these are also equivalent to convex function inequalities.


title: How LinkedIn Economic Graph Bonds Information and Product: Applications in LinkedIn Salary

abstract: The LinkedIn Salary product was launched in late 2016 with the goal of providing insights on compensation distribution to job seekers, so that they can make more informed decisions when discovering and assessing career opportunities. The compensation insights are provided based on data collected from LinkedIn members and aggregated in a privacy-preserving manner. Given the simultaneous desire for computing robust, reliable insights and for having insights to satisfy as many job seekers as possible, a key challenge is to reliably infer the insights at the company level when there is limited or no data at all. We propose a two-step framework that utilizes a novel, semantic representation of companies (Company2vec) and a Bayesian statistical model to address this problem. Our approach makes use of the rich information present in the LinkedIn Economic Graph, and in particular, uses the intuition that two companies are likely to be similar if employees are very likely to transition from one company to the other and vice versa. We compute embeddings for companies by analyzing the LinkedIn members' company transition data using machine learning algorithms, then compute pairwise similarities between companies based on these embeddings, and finally incorporate company similarities in the form of peer company groups as part of the proposed Bayesian statistical model to predict insights at the company level. We perform extensive validation using several different evaluation techniques, and show that we can significantly increase the coverage of insights while, in fact, even improving the quality of the obtained insights. For example, we were able to compute salary insights for 35 times as many title-region-company combinations in the U.S. as compared to previous work, corresponding to 4.9 times as many monthly active users. Finally, we highlight the lessons learned from deployment of our system.


title: A multi-channel DAQ system based on FPGA for long-distance transmission in nuclear physics experiments

abstract: As the development of electronic science and technology, electronic data acquisition (DAQ) system is more and more widely applied to nuclear physics experiments. Workstations are often utilized for data storage, data display, data processing and data analysis by researchers. Nevertheless, the workstations are ordinarily separated from detectors in nuclear physics experiments by several kilometers or even tens of kilometers. Thus a DAQ system that can transmit data for long distance is in demand. In this paper, we designed a DAQ system suitable for high-speed and high-precision sampling for remote data transfer. An 8-channel, 24-bit simultaneous sampling analog-to-digital converter(ADC) named AD7779 was utilized for high-speed and high-precision sampling, the maximum operating speed of which runs up to 16 kilo samples per second(KSPS). ADC is responsible for collecting signals from detectors, which is sent to Field Programmable Gate Array(FPGA) for processing and long-distance transmission to the workstation through optical fiber. As the central processing unit of DAQ system, FPGA provides powerful computing capability and has enough flexibility. The most prominent feature of the system is real-time mass data transfer based on streaming transmission mode, highly reliable data transmission based on error detection and correction and high-speed high-precision data acquisition. The results of our tests show that the system is able to transmit data stably at the bandwidth of 1Gbps.


title: A simple bijection for enhanced, classical, and 2-distant k-noncrossing partitions

abstract: In this note, we give a simple extension map from partitions of subsets of [n] to partitions of [n+1], which sends $\delta$-distant k-crossings to $(\delta+1)$-distant k-crossings (and similarly for nestings). This map provides a combinatorial proof of the fact that the numbers of enhanced, classical, and 2-distant k-noncrossing partitions are each related to the next via the binomial transform. Our work resolves a recent conjecture of Zhicong Lin and generalizes earlier reduction identities for partitions.


title: Large unidirectional spin Hall and Rashba-Edelstein magnetoresistance in topological insulator/magnetic insulator heterostructures

abstract: Thanks to its unique symmetry, the unidirectional spin Hall and Rashba-Edelstein magnetoresistance (USRMR) is of great fundamental and practical interest, particularly in the context of reading magnetization states in two-terminal spin-orbit torque switching memory and logic devices. Recent studies show that topological insulators could improve USRMR amplitude. However, the topological insulator device configurations studied so far in this context, namely ferromagnetic metal/topological insulator bilayers and magnetically doped topological insulators, suffer from current shunting by the metallic layer and low Curie temperature, respectively. Here, we report large USRMR in a new material category - magnetic insulator/topological insulator bi-layered heterostructures. Such structures exhibit USRMR that is about an order of magnitude larger than the highest values reported so far in all-metal Ta/Co bilayers. We also demonstrate current-induced magnetization switching aided by an Oersted field, and electrical read out by the USRMR, as a prototype memory device.


title: Dynamics of Insufflated Abdominal Wall Tissue for Magnetically Anchored Surgical Instruments

abstract: Magnetically-anchored surgical devices have recently gained attention in abdominal surgery, with the use of magnets to anchor surgical devices onto the insufflated abdominal wall. These anchors have been used to secure passive and active devices, where active device such as robotic manipulators produce motions that would excite the dynamics of the non-rigid abdominal wall. Hence, there is a need to investigate the mechanical dynamics of the abdominal wall tissue in insufflated state, combined with magnetic anchoring, specifically its response to mechanical excitations and the expected disturbances to the operation of the anchored devices. In this paper, loading and unloading tests are performed on a corresponding porcine specimen for dynamics identification. The experiment setup was constructed to emulate the insufflated state of the abdomen with the magnetically anchored mechanism. The tissue responses during unloading are captured and approximated with a general numerical model, which is in turn used for the dynamic analysis of the tissue using Bode plot. The results showed that in such stretched and compressed state, the steady state displacement of the tissue is approximately zero. The maximum transient error was found to be 1mm in displacement using a high magnetic anchoring force. Significant attenuation of the disturbances due to the high stiffness and damping of the abdominal wall, was observed from 100rad/s in the frequency response. If a robotic manipulator was attached to the anchoring device, the typical operating frequency of movements would still produce unattenuated disturbances. It is expected that some error compensation through suitable control strategies is required. These outcomes establish the basis for the controller design and the design specification of the active magnetically-anchored surgical devices for minimal disturbance impact onto the abdominal wall tissue.


title: Prototype of Front-end Electronics for PandaX-4ton Experiment

abstract: At the China Jinping Underground Laboratory, the Particle AND Astrophysical Xenon phase IV (PandaX-4ton) in planning is a dark matter direct detection experiment with dual-phase xenon detector as an upgrade of the second phase of the experiment, PandaX-II. In this paper, the prototype of the front-end electronics of PandaX-4ton is presented. The front-end electronics consist of the high-gain preamplifier cards and the eight-channel digitizers with 14-bit resolution and 1 GSps sampling rate for waveform digitization. The clock synchronization circuit within the digitizer is well-designed to align all the PMT channels. The digitizer also contains gigabit fiber to exchange data with trigger and data acquisition system. The specification of effective number of bits f the digitizer is about 9.7 b at 148 MHz, and the integral nonlinearity of the digitizer ranges from -4 least significant bit (LSB) to +4 LSB, and the differential nonlinearity ranges from -0.6 LSB to +0.6 LSB. The performance of the front-end electronics can meet the requirements for the PandaX-4ton.


title: Anisotropic Error Estimates of The Linear Virtual Element Method on Polygonal Meshes

abstract: A refined a priori error analysis of the lowest order (linear) Virtual Element Method (VEM) is developed for approximating a model two dimensional Poisson problem. A set of new geometric assumptions is proposed on shape regularity of polygonal meshes. A new universal error equation for the lowest order (linear) VEM is derived for any choice of stabilization, and a new stabilization using broken half-seminorm is introduced to incorporate short edges naturally into the a priori error analysis on isotropic elements. The error analysis is then extended to a special class of anisotropic elements with high aspect ratio originating from a body-fitted mesh generator, which uses straight lines to cut a shape regular background mesh. Lastly, some commonly used tools for triangular elements are revisited for polygonal elements to give an in-depth view of these estimates' dependence on shapes.


title: Generative Models for Pose Transfer

abstract: We investigate nearest neighbor and generative models for transferring pose between persons. We take in a video of one person performing a sequence of actions and attempt to generate a video of another person performing the same actions. Our generative model (pix2pix) outperforms k-NN at both generating corresponding frames and generalizing outside the demonstrated action set. Our most salient contribution is determining a pipeline (pose detection, face detection, k-NN based pairing) that is effective at perform-ing the desired task. We also detail several iterative improvements and failure modes.


title: Walrasian Equilibrium and Centralized Distributed Optimization from the point of view of Modern Convex Optimization Methods on the Example of Resource Allocation Problem

abstract: We consider the resource allocation problem and its numerical solution. The following constructions are demonstrated: 1) Walrasian price-adjustment mechanism for determining the equilibrium; 2) Decentralized role of the prices; 3) Slater's method for price restrictions (dual Lagrange multipliers); 4) A new mechanism for determining equilibrium prices, in which prices are fully controlled not by Center (Government), but by economic agents -- nodes (factories). In economic literature the convergence of the considered methods is only proved. In contrast, this paper provides an accurate analysis of the convergence rate of the described procedures for determining the equilibrium. The analysis is based on the primal-dual nature of the suggested algorithms. More precisely, in this article we propose the economic interpretation of the following numerical primal-dual methods of convex optimization: dichotomy and subgradient projection method. Numerical experiments conclude the paper.


title: c-theorem of the entanglement entropy

abstract: We holographically investigate the renormalization group flow in a two-dimensional conformal field theory deformed by a relevant operator. If the relevant operator allows another fixed point, the UV conformal field theory smoothly flows to a new IR conformal field theory. From the holographic point of view, such a renormalization group flow can be realized as a dual geometry interpolating two different AdS boundaries. On this interpolating geometry, we investigate how the c-function of the entanglement entropy behaves along the RG flow analyt- ically and numerically, which reproduces the expected central charges of UV and IR. We also show that the c-function monotonically decreases from UV to IR without any phase transition.


title: The $S_{E1}$ factor of radiative $\alpha$ capture on $^{12}$C in cluster effective field theory

abstract: The $S_{E1}$-factor of radiative $\alpha$-capture on $^{12}$C is studied in effective field theory up to next-to-leading order. A modification of the counting rules for the radiative capture amplitudes is discussed. We find that only two unfixed parameters remain in the amplitudes, and those two parameters are fitted to the experimental $S_{E1}$ data. An $S_{E1}$ factor is calculated at the Gamow-peak energy as $S_{E1}=59\pm 3$ keV$\cdot$b, and the result is found to be about 30% smaller than the estimates reported recently. An uncertainty of the estimate in the present work is also discussed.


title: CT-image Super Resolution Using 3D Convolutional Neural Network

abstract: Computed Tomography (CT) imaging technique is widely used in geological exploration, medical diagnosis and other fields. In practice, however, the resolution of CT image is usually limited by scanning devices and great expense. Super resolution (SR) methods based on deep learning have achieved surprising performance in two-dimensional (2D) images. Unfortunately, there are few effective SR algorithms for three-dimensional (3D) images. In this paper, we proposed a novel network named as three-dimensional super resolution convolutional neural network (3DSRCNN) to realize voxel super resolution for CT images. To solve the practical problems in training process such as slow convergence of network training, insufficient memory, etc., we utilized adjustable learning rate, residual-learning, gradient clipping, momentum stochastic gradient descent (SGD) strategies to optimize training procedure. In addition, we have explored the empirical guidelines to set appropriate number of layers of network and how to use residual learning strategy. Additionally, previous learning-based algorithms need to separately train for different scale factors for reconstruction, yet our single model can complete the multi-scale SR. At last, our method has better performance in terms of PSNR, SSIM and efficiency compared with conventional methods.


title: Light induced sub-picosecond topological phase transition in MoTe2

abstract: Recent development of ultrashort laser pulses allows for optical control of structural and electronic properties of complex quantum materials. The layered transition metal dichalcogenide MoTe2, which can crystalize into several different structures with distinct topological and electronic properties, provides possibilities to control or switch between different phases. In this study we report a photo-induced sub-picosecond structural transition between the type-II Weyl semimetal phase and normal semimetal phase in bulk crystalline MoTe2 by using ultrafast pump-probe and time-resolved second harmonic generation spectroscopy. The phase transition is most clearly characterized by the dramatic change of the shear oscillation mode and the intensity loss of second harmonic generation. This work opens up new possibilities for ultrafast manipulation of the topological properties of solids, enabling potentially practical applications for topological switch device with ultrafast excitations.


title: Distributed Edge Caching in Ultra-dense Fog Radio Access Networks: A Mean Field Approach

abstract: In this paper, the edge caching problem in ultra-dense fog radio access networks (F-RAN) is investigated. Taking into account time-variant user requests and ultra-dense deployment of fog access points (F-APs), we propose a dynamic distributed edge caching scheme to jointly minimize the request service delay and fronthaul traffic load. Considering the interactive relationship among F-APs, we model the caching optimization problem as a stochastic differential game (SDG) which captures the temporal dynamics of F-AP states and incorporates user requests status. The SDG is further approximated as a mean field game (MFG) by exploiting the ultra-dense property of F-RAN. In the MFG, each F-AP can optimize its caching policy independently through iteratively solving the corresponding partial differential equations without any information exchange with other F-APs. The simulation results show that the proposed edge caching scheme outperforms the baseline schemes under both static and time-variant user requests.


title: Beyond Backprop: Online Alternating Minimization with Auxiliary Variables

abstract: Despite significant recent advances in deep neural networks, training them remains a challenge due to the highly non-convex nature of the objective function. State-of-the-art methods rely on error backpropagation, which suffers from several well-known issues, such as vanishing and exploding gradients, inability to handle non-differentiable nonlinearities and to parallelize weight-updates across layers, and biological implausibility. These limitations continue to motivate exploration of alternative training algorithms, including several recently proposed auxiliary-variable methods which break the complex nested objective function into local subproblems. However, those techniques are mainly offline (batch), which limits their applicability to extremely large datasets, as well as to online, continual or reinforcement learning. The main contribution of our work is a novel online (stochastic/mini-batch) alternating minimization (AM) approach for training deep neural networks, together with the first theoretical convergence guarantees for AM in stochastic settings and promising empirical results on a variety of architectures and datasets.


title: CNN-based Action Recognition and Supervised Domain Adaptation on 3D Body Skeletons via Kernel Feature Maps

abstract: Deep learning is ubiquitous across many areas areas of computer vision. It often requires large scale datasets for training before being fine-tuned on small-to-medium scale problems. Activity, or, in other words, action recognition, is one of many application areas of deep learning. While there exist many Convolutional Neural Network architectures that work with the RGB and optical flow frames, training on the time sequences of 3D body skeleton joints is often performed via recurrent networks such as LSTM. In this paper, we propose a new representation which encodes sequences of 3D body skeleton joints in texture-like representations derived from mathematically rigorous kernel methods. Such a representation becomes the first layer in a standard CNN network e.g., ResNet-50, which is then used in the supervised domain adaptation pipeline to transfer information from the source to target dataset. This lets us leverage the available Kinect-based data beyond training on a single dataset and outperform simple fine-tuning on any two datasets combined in a naive manner. More specifically, in this paper we utilize the overlapping classes between datasets. We associate datapoints of the same class via so-called commonality, known from the supervised domain adaptation. We demonstrate state-of-the-art results on three publicly available benchmarks.


title: Design of a Programmable Gain Waveform Digitization Instrument for Detector Calibration

abstract: To test and calibrate various detectors in nuclear and high energy physics experiments, a general purposed calibration instrument has been developed. All information including timing, amplitude and charge of signals can be directly obtained to calibrate detector with this instrument by amplifying and digitizing the signal waveform. The system consists of two parts, a large dynamic range pre-amplifier module and a high speed and high-resolution digitization module. The pre-amplifier module based on programmable gain amplifier and attenuator achieves gain from -26.2 dB to 24.4 dB, making it suitable to adapt to different detectors. Taking advantage of high speed and high-resolution analog-to-digit converter (ADC), the waveform digitization module samples the signal after conditioning with 12 bits resolution and up to 3.6 giga hertz samples per second (GSPS). To evaluate the feature of this instrument, an electronics testbench platform was installed and test results showed a bandwidth from direct current (DC) to 450 MHz and the effective number of bits (ENOB) is above 7 bits in high gain set and 5.8 bits in low gain set in the bandwidth range, which indicated that it had broad application prospect in detector calibration.


title: Development of a 256-channel Time-of-flight Electronics System For Neutron Beam Profiling

abstract: A 256-channel time-of-flight (TOF) electronics system has been developed for a beam line facility called "Back-n WNS" in China Spallation Neutron Source (CSNS). This paper shows the structure and performance of electronics system and the test results in CSNS. A 256-channel photomultiplier tube (PMT) is chosen as the detector in this system. In order to acquire the time information from the PMT, an electronics system has been designed. The electronics system mainly includes one front-end board (FEB), four time-to-digital converter (TDC) boards and one clock distribution module (CDM). There are 256 channels on FEB and 64 channels on each TDC board. The FEB is connected to the PMT with high-density connectors and the TDC boards are connected to the FEB through 2m cables. The TDC boards are 6U size so that they can be PCI extensions for Instrumentation (PXI) cards. Data from TDC boards can be transferred to the PXI control card through the backboard. In order to make four TDC boards work synchronously, a CDM outputs four clock signals to TDC boards which are distributed from one clock source. The TDC boards achieve a timing resolution of 3.5ns by test with a signal generator. The TOF measurement system has been used in CSNS.


title: Ethical Implications of Social Internet of Vehicles Systems

abstract: The core concept of IoT is to equip real world objects with computing, processing and communicating capabilities to enable socializing between them. Internet of Vehicles (IoV) is an adherent of IoT that has realized significant advancements using communication technologies. Vehicles connected through Internet are capable of sharing information that can substantially enhance the quality of traffic on roads. Social Internet of Things (SIoT) is an instance of IoT that deals specifically in socialization of connected objects. SIoT enables the notion of Social Internet of Vehicles (SIoV) where vehicles are the key entities for sharing information between themselves and the infrastructure (commonly known as Road Side Units (RSUs)). Vehicles in SIoV socialize by exchanging data such as traffic congestions, weather conditions, infotainment, vacant parking slots, alternate routes and discount coupons for restaurants etc. In SIoV, vehicles can communicate with other vehicles and infrastructure through traditional communication technologies like Wi-Fi, Cellular networks or through Dedicated Short Range Communication (DSRC) etc. SIoV will be confronted with ethical dilemmas and expected to function in an ethically responsible manner. This paper highlights the ethical implications of SIoV systems. Vehicle to Vehicle (V2V) and Vehicle to Infrastructure (V2I) involves autonomous decision making that requires setting ethical and moral rules before taking verdict. The article discusses the lack of ethical guidelines in designing and deploying of SIoV systems that are of utmost importance. Finally, an addition to SIoV architecture is proposed to incorporate the ethical and moral principles for scheming the SIoV systems.


title: Measuring News Similarity Across Ten U.S. News Sites

abstract: News websites make editorial decisions about what stories to include on their website homepages and what stories to emphasize (e.g., large font size for main story). The emphasized stories on a news website are often highly similar to many other news websites (e.g, a terrorist event story). The selective emphasis of a top news story and the similarity of news across different news organizations are well-known phenomena but not well-measured. We provide a method for identifying the top news story for a select set of U.S.-based news websites and then quantify the similarity across them. To achieve this, we first developed a headline and link extractor that parses select websites, and then examined ten United States based news website homepages during a three month period, November 2016 to January 2017. Using archived copies, retrieved from the Internet Archive (IA), we discuss the methods and difficulties for parsing these websites, and how events such as a presidential election can lead news websites to alter their document representation just for these events. We use our parser to extract k = 1, 3, 10 maximum number of stories for each news site. Second, we used the cosine similarity measure to calculate news similarity at 8PM Eastern Time for each day in the three months. The similarity scores show a buildup (0.335) before Election Day, with a declining value (0.328) on Election Day, and an increase (0.354) after Election Day. Our method shows that we can effectively identity top stories and quantify news similarity.


title: The Sloan Digital Sky Survey Reverberation Mapping Project: Quasar Host Galaxies at $z < 0.8$ from Image Decomposition

abstract: We present the rest-frame UV and optical photometry and morphology of low-redshift broad-line quasar host galaxies from the Sloan Digital Sky Survey Reverberation Mapping project. Our sample consists of 103 quasars at $z<0.8$, spanning a luminosity range of $-25\le M_g\le -17$ mag. We stack the multi-epoch images in the $g$ and $i$ bands taken by the Canada-France-Hawaii Telescope. The combined $g$-band ($i$-band) images reach a $5\sigma$ depth of 26.2 (25.2) mag, with a typical PSF size of $0.7"$ ($0.6"$). Each quasar is decomposed into a PSF and a S\'ersic profile, representing the central AGN and the host galaxy components, respectively. The systematic errors of the measured host galaxy flux in the two bands are 0.23 and 0.18 mag. The relative errors of the measured galaxy half-light radii ($R_e$) are about 13%. We estimate the rest-frame $u$- and $g$-band flux of the host galaxies, and find that the AGN-to-galaxy flux ratios in the $g$ band are between 0.9 to 4.4 (68.3% confidence). These galaxies have high stellar masses $M_\ast = 10^{10}\sim10^{11}\, M_\odot$. They have similar color with star-forming galaxies at similar redshifts, in consistent with AGN positive feedback in these quasars. We find that the $M_*-M_\text{BH}$ relation in our sample is shallower than the local $M_\text{Bulge}-M_\text{BH}$ relation. The S\'ersic indices and the $M_*-R_e$ relation indicate that the majority of the host galaxies are disk-like.


title: Artwork Identification from Wearable Camera Images for Enhancing Experience of Museum Audiences

abstract: Recommendation systems based on image recognition could prove a vital tool in enhancing the experience of museum audiences. However, for practical systems utilizing wearable cameras, a number of challenges exist which affect the quality of image recognition. In this pilot study, we focus on recognition of museum collections by using a wearable camera in three different museum spaces. We discuss the application of wearable cameras, and the practical and technical challenges in devising a robust system that can recognize artworks viewed by the visitors to create a detailed record of their visit. Specifically, to illustrate the impact of different kinds of museum spaces on image recognition, we collect three training datasets of museum exhibits containing variety of paintings, clocks, and sculptures. Subsequently, we equip selected visitors with wearable cameras to capture artworks viewed by them as they stroll along exhibitions. We use Convolutional Neural Networks (CNN) which are pre-trained on the ImageNet dataset and fine-tuned on each of the training sets for the purpose of artwork identification. In the testing stage, we use CNNs to identify artworks captured by the visitors with a wearable camera. We analyze the accuracy of their recognition and provide an insight into the applicability of such a system to further engage audiences with museum exhibitions.


title: Lowest Earth's atmosphere layers probed during a lunar eclipse

abstract: We report the results of detailed investigation of the Earth's transmission spectra during the lunar eclipse on UT 2011 December 10. The spectra were taken by using the High Dispersion Spectrograph (HDS) mounted on the Subaru 8.2 m telescope with unprecedented resolutions both in time and wavelength (300 s exposure time in umbra and 160,000 spectral resolution, respectively). In our penumbra and umbra data, we detected the individual absorption lines of O2 and H2O in transmission spectra and found that it became deeper as the eclipse became deeper. It indicates that the sunlight reaching the Moon passed through lower layers in the Earth's atmosphere with time because we monitored a given point on the Moon during the full eclipse duration. From the comparison between the observed and theoretically constructed transmission spectra, the lowest altitude at which the sunlight actually passed through the atmosphere is estimated to be about 10 km from the ground, which suggests the existence of sunlight blocking clouds below that altitude. Our result would be a test case for future investigations of atmospheric structure of Earth-like exoplanets via transmission spectroscopy including the refraction effect of the planetary atmosphere.


title: Multivector variate distributions: An application in Finance

abstract: A new family of multivariate distributions, which shall be termed multivector variate distributions, based in the family of the multivariate contoured elliptically distribution is proposed. Several particular cases of multivector variate distributions are obtained and a number of published multivariate distributions in another contexts are found as simple corollaries. An application of interest in finance is full derived and compared with the traditional methods.


title: The CLT in high dimensions: quantitative bounds via martingale embedding

abstract: We introduce a new method for obtaining quantitative convergence rates for the central limit theorem (CLT) in a high dimensional setting. Using our method, we obtain several new bounds for convergence in transportation distance and entropy, and in particular: (a) We improve the best known bound, obtained by the third named author, for convergence in quadratic Wasserstein transportation distance for bounded random vectors; (b) We derive the first non-asymptotic convergence rate for the entropic CLT in arbitrary dimension, for general log-concave random vectors; (c) We give an improved bound for convergence in transportation distance under a log-concavity assumption and improvements for both metrics under the assumption of strong log-concavity. Our method is based on martingale embeddings and specifically on the Skorokhod embedding constructed by the first named author.


title: Complete topological classification of Baire spaces functions on ordinals

abstract: The paper considers the spaces $B_p[1, \alpha]$ of all Baire functions $x\colon [1,\alpha]\to \mathbb{R}$, defined on segments of ordinals $[1,\alpha]$ and endowed with the topology of pointwise convergence. A complete topological classification of these spaces is given


title: Character-Level Feature Extraction with Densely Connected Networks

abstract: Generating character-level features is an important step for achieving good results in various natural language processing tasks. To alleviate the need for human labor in generating hand-crafted features, methods that utilize neural architectures such as Convolutional Neural Network (CNN) or Recurrent Neural Network (RNN) to automatically extract such features have been proposed and have shown great results. However, CNN generates position-independent features, and RNN is slow since it needs to process the characters sequentially. In this paper, we propose a novel method of using a densely connected network to automatically extract character-level features. The proposed method does not require any language or task specific assumptions, and shows robustness and effectiveness while being faster than CNN- or RNN-based methods. Evaluating this method on three sequence labeling tasks - slot tagging, Part-of-Speech (POS) tagging, and Named-Entity Recognition (NER) - we obtain state-of-the-art performance with a 96.62 F1-score and 97.73% accuracy on slot tagging and POS tagging, respectively, and comparable performance to the state-of-the-art 91.13 F1-score on NER.


title: Segmentation of Overlapped Steatosis in Whole-Slide Liver Histopathology Microscopy Images

abstract: An accurate steatosis quantification with pathology tissue samples is of high clinical importance. However, such pathology measurement is manually made in most clinical practices, subject to severe reader variability due to large sampling bias and poor reproducibility. Although some computerized automated methods are developed to quantify the steatosis regions, they present limited analysis capacity for high resolution whole-slide microscopy images and accurate overlapped steatosis division. In this paper, we propose a method that extracts an individual whole tissue piece at high resolution with minimum background area by estimating tissue bounding box and rotation angle. This is followed by the segmentation and segregation of steatosis regions with high curvature point detection and an ellipse fitting quality assessment method. We validate our method with isolated and overlapped steatosis regions in liver tissue images of 11 patients. The experimental results suggest that our method is promising for enhanced support of steatosis quantization during the pathology review for liver disease treatment.


title: An Input-Output Approach to Structured Stochastic Uncertainty in Continuous Time

abstract: We consider the continuous-time setting of linear time-invariant (LTI) systems in feedback with multiplicative stochastic uncertainties. The objective of the paper is to characterize the conditions of Mean-Square Stability (MSS) using a purely input-output approach, i.e. without having to resort to state space realizations. This has the advantage of encompassing a wider class of models (such as infinite dimensional systems and systems with delays). The input-output approach leads to uncovering new tools such as stochastic block diagrams that have an intimate connection with the more general Stochastic Integral Equations (SIE), rather than Stochastic Differential Equations (SDE). Various stochastic interpretations are considered, such as It\=o and Stratonovich, and block diagram conversion schemes between different interpretations are devised. The MSS conditions are given in terms of the spectral radius of a matrix operator that takes different forms when different stochastic interpretations are considered.


title: The Fermi bubbles as a Superbubble

abstract: In order to model the Fermi bubbles we apply the theory of the superbubble (SB). A thermal model and a self-gravitating model are reviewed. We introduce a third model based on the momentum conservation of a thin layer which propagates in a medium with an inverse square dependence for the density. A comparison have been made between the sections of the three models and the section of an observed map of the Fermi bubbles. An analytical law for the SB expansion as function of the time and polar angle is deduced. We derive a new analytical result for the image formation of the Fermi bubbles in an elliptical framework.


title: Analysis of Cellular Feature Differences of Astrocytomas with Distinct Mutational Profiles Using Digitized Histopathology Images

abstract: Cellular phenotypic features derived from histopathology images are the basis of pathologic diagnosis and are thought to be related to underlying molecular profiles. Due to overwhelming cell numbers and population heterogeneity, it remains challenging to quantitatively compute and compare features of cells with distinct molecular signatures. In this study, we propose a self-reliant and efficient analysis framework that supports quantitative analysis of cellular phenotypic difference across distinct molecular groups. To demonstrate efficacy, we quantitatively analyze astrocytomas that are molecularly characterized as either Isocitrate Dehydrogenase (IDH) mutant (MUT) or wildtype (WT) using imaging data from The Cancer Genome Atlas database. Representative cell instances that are phenotypically different between these two groups are retrieved after segmentation, feature computation, data pruning, dimensionality reduction, and unsupervised clustering. Our analysis is generic and can be applied to a wide set of cell-based biomedical research.


title: Decentralized Asynchronous Coded Caching in Fog-RAN

abstract: In this paper, we investigate asynchronous coded caching in fog radio access networks (F-RAN). To minimize the fronthaul load, the encoding set collapsing rule and encoding set partition method are proposed to establish the relationship between the coded-multicasting contents in asynchronous and synchronous coded caching. Furthermore, a decentralized asynchronous coded caching scheme is proposed, which provides asynchronous and synchronous transmission methods for different delay requirements. The simulation results show that our proposed scheme creates considerable coded-multicasting opportunities in asynchronous request scenarios.


title: Graph-based Cooperative Caching in Fog-RAN

abstract: In this paper, the cooperative caching problem in fog radio access networks (F-RAN) is investigated. To maximize the incremental offloaded traffic, we formulate the clustering optimization problem with the consideration of cooperative caching and local content popularity, which falls into the scope of combinatorial programming. % and is NP-hard. We then propose an effective graph-based approach to solve this challenging problem. Firstly, a node graph is constructed with its vertex set representing the considered fog access points (F-APs) and its edge set reflecting the potential cooperations among the F-APs. %whether the F-APs the distance and load difference among the F-APs. Then, by exploiting the adjacency table of each vertex of the node graph, we propose to get the complete subgraphs through indirect searching for the maximal complete subgraphs for the sake of a reduced searching complexity. Furthermore, by using the complete subgraphs so obtained, a weighted graph is constructed. By setting the weights of the vertices of the weighted graph to be the incremental offloaded traffics of their corresponding complete subgraphs, the original clustering optimization problem can be transformed into an equivalent 0-1 integer programming problem. The max-weight independent subset of the vertex set of the weighted graph, which is equivalent to the objective cluster sets, can then be readily obtained by solving the above optimization problem through the greedy algorithm that we propose. Our proposed graph-based approach has an apparently low complexity in comparison with the brute force approach which has an exponential complexity. Simulation results show the remarkable improvements in terms of offloading gain by using our proposed approach.


title: Status of Belle II experiment before the first beams

abstract: The Belle II experiment has been preparing for its first e+ e- collisions, scheduled in April 2018. With a target luminosity 40 times greater than the Belle experiment, the goal of Belle II is to open the door to a panorama of measurements in heavy flavour physics and much more. The initial beams and the commissioning of the SuperKEKB collider took place earlier in 2016. After completing most of the detector assembly and performing test runs with cosmic rays, the experiment is ready for initial collisions. Soon after in early 2019, data collection with the full Belle II detector will commence and the largest B-factory data sample will be collected.


title: Reflected wavefront manipulation by acoustic metasurface with anisotropic local resonant units

abstract: Metasurfaces with planar profile and wave front shaping capabilities would be ideally suitable to improve the performance of acoustic wave-based applications. It is significant that the general Snell's law provides a new approach to engineer the phase profile of reflected acoustic wave. Here, we present a new type of acoustic metasurface based on three-component composites which contain a steel ball coated with a thin elliptical layer of silicone rubber and embedded in epoxy. The acoustic metasurface with changeable radii of steel balls can realize the anomalous reflections, a planar acoustic lens through designed gradient phase profile. The acoustic metasurface contained with elaborately selected three-component composites, as a skin cloak, successfully achieve the acoustical invisibility.


title: Dirichlet forms on self-similar sets with overlaps

abstract: We study Dirichlet forms and Laplacians on self-similar sets with overlaps. A notion of "finitely ramified of finite type($f.r.f.t.$) nested structure" for self-similar sets is introduced. It allows us to reconstruct a class of self-similar sets in a graph-directed manner by a modified setup of Mauldin and Williams, which satisfies the property of finite ramification. This makes it possible to extend the technique developed by Kigami for analysis on $p.c.f.$ self-similar sets to this more general framework. Some basic properties related to $f.r.f.t.$ nested structures are investigated. Several non-trivial examples and their Dirichlet forms are provided.


title: Blockchain Technologies for the Internet of Things: Research Issues and Challenges

abstract: This paper presents a comprehensive survey of the existing blockchain protocols for the Internet of Things (IoT) networks. We start by describing the blockchains and summarizing the existing surveys that deal with blockchain technologies. Then, we provide an overview of the application domains of blockchain technologies in IoT, e.g, Internet of Vehicles, Internet of Energy, Internet of Cloud, Fog computing, etc. Moreover, we provide a classification of threat models, which are considered by blockchain protocols in IoT networks, into five main categories, namely, identity-based attacks, manipulation-based attacks, cryptanalytic attacks, reputation-based attacks, and service-based attacks. In addition, we provide a taxonomy and a side-by-side comparison of the state-of-the-art methods towards secure and privacy-preserving blockchain technologies with respect to the blockchain model, specific security goals, performance, limitations, computation complexity, and communication overhead. Based on the current survey, we highlight open research challenges and discuss possible future research directions in the blockchain technologies for IoT.


title: Longitudinal Mode-by-Mode Feedback System for The J-PARC Main Ring

abstract: The J-PARC Main Ring (MR) is a high intensity proton synchrotron, which accelerates protons from 3 GeV to 30 GeV. The MR delivers $2.6\times10^{14}$ protons per pulse, which corresponds to the beam power of 500 kW, to the neutrino experiment as of May 2018, and the studies to reach higher beam intensities are in progress. During studies, we observed the longitudinal dipole coupled-bunch instabilities in the MR for the beam power beyond 470 kW. To mitigate them for higher beam intensities, we have developed a longitudinal mode-by-mode feedback system. The feedback system consists of a wall current monitor, a FPGA-based feedback processor, RF power amplifiers, and a RF cavity as a longitudinal kicker. In the feedback processor, we utilize the single sideband filtering technique to detect the oscillation components of the individual coupled-bunch mode in the beam signal. The frequency response of the filters in the feedback processor matched well with the simulation. The oscillation amplitude of the coupled bunch oscillation measured by the system agreed with the oscilloscope analysis.


title: Non-Markovianity and negative entropy production rates

abstract: Entropy production plays a fundamental role in nonequilibrium thermodynamics to quantify the irreversibility of open systems. Its positivity can be ensured for a wide class of setups, but the entropy production rate can become negative sometimes. This is often taken as an indicator of non-Markovian dynamics. We make this link precise by showing under which conditions a negative entropy production rate implies non-Markovian dynamics and when it does not. This is established within a unified language for two setups: (i) the dynamics resulting from a coarse-grained description of a system in contact with a single heat bath described by a Markovian master equation and (ii) the classical Hamiltonian dynamics of a driven system, which is coupled arbitrary strongly to a single heat bath. The quantum version of the latter result is shown not to hold despite the fact that the integrated thermodynamic description is formally equivalent to the classical case. The instantaneous steady state of a non-Markovian dynamics plays an important element in our study. Our key contribution is to provide a consistent theoretical framework to study the finite-time thermodynamics of a large class of dynamics with a precise link to its non-Markovianity.


title: Modeling Multi-turn Conversation with Deep Utterance Aggregation

abstract: Multi-turn conversation understanding is a major challenge for building intelligent dialogue systems. This work focuses on retrieval-based response matching for multi-turn conversation whose related work simply concatenates the conversation utterances, ignoring the interactions among previous utterances for context modeling. In this paper, we formulate previous utterances into context using a proposed deep utterance aggregation model to form a fine-grained context representation. In detail, a self-matching attention is first introduced to route the vital information in each utterance. Then the model matches a response with each refined utterance and the final matching score is obtained after attentive turns aggregation. Experimental results show our model outperforms the state-of-the-art methods on three multi-turn conversation benchmarks, including a newly introduced e-commerce dialogue corpus.


title: Subword-augmented Embedding for Cloze Reading Comprehension

abstract: Representation learning is the foundation of machine reading comprehension. In state-of-the-art models, deep learning methods broadly use word and character level representations. However, character is not naturally the minimal linguistic unit. In addition, with a simple concatenation of character and word embedding, previous models actually give suboptimal solution. In this paper, we propose to use subword rather than character for word embedding enhancement. We also empirically explore different augmentation strategies on subword-augmented embedding to enhance the cloze-style reading comprehension model reader. In detail, we present a reader that uses subword-level representation to augment word embedding with a short list to handle rare words effectively. A thorough examination is conducted to evaluate the comprehensive performance and generalization ability of the proposed reader. Experimental results show that the proposed approach helps the reader significantly outperform the state-of-the-art baselines on various public datasets.


title: Accuracy Analysis for Distributed Weighted Least-Squares Estimation in Finite Steps and Loopy Networks

abstract: Distributed parameter estimation for large-scale systems is an active research problem. The goal is to derive a distributed algorithm in which each agent obtains a local estimate of its own subset of the global parameter vector, based on local measurements as well as information received from its neighbours. A recent algorithm has been proposed, which yields the optimal solution (i.e., the one that would be obtained using a centralized method) in finite time, provided the communication network forms an acyclic graph. If instead, the graph is cyclic, the only available alternative algorithm, which is based on iterative matrix inversion, achieving the optimal solution, does so asymptotically. However, it is also known that, in the cyclic case, the algorithm designed for acyclic graphs produces a solution which, although non optimal, is highly accurate. In this paper we do a theoretical study of the accuracy of this algorithm, in communication networks forming cyclic graphs. To this end, we provide bounds for the sub-optimality of the estimation error and the estimation error covariance, for a class of systems whose topological sparsity and signal-to-noise ratio satisfy certain condition. Our results show that, at each node, the accuracy improves exponentially with the so-called loop-free depth. Also, although the algorithm no longer converges in finite time in the case of cyclic graphs, simulation results show that the convergence is significantly faster than that of methods based on iterative matrix inversion. Our results suggest that, depending on the loop-free depth, the studied algorithm may be the preferred option even in applications with cyclic communication graphs.


title: One-shot Learning for Question-Answering in Gaokao History Challenge

abstract: Answering questions from university admission exams (Gaokao in Chinese) is a challenging AI task since it requires effective representation to capture complicated semantic relations between questions and answers. In this work, we propose a hybrid neural model for deep question-answering task from history examinations. Our model employs a cooperative gated neural network to retrieve answers with the assistance of extra labels given by a neural turing machine labeler. Empirical study shows that the labeler works well with only a small training dataset and the gated mechanism is good at fetching the semantic representation of lengthy answers. Experiments on question answering demonstrate the proposed model obtains substantial performance gains over various neural model baselines in terms of multiple evaluation metrics.


title: The Electronics Design of Error Field Feedback Control System in KTX

abstract: KTX (Keda Tours eXperiment) is a new RFP (reversed field pinch) device at the University of Science and Technology of China. The unique double-C design of the KTX makes modifications and investigations of power and particle control easy, but the error field of slit zone in the new design should not be neglected. The objective of this paper is to introduce a new active feedback control system which can change the voltage between the unique double-C structures to make the toroidal field better. FPGA is the central part of the whole system to control all the process, because it can manipulate and transmit the data from coils in real time. There are 2 high-speed 8-channels ADCs in the system to convert the analog signal from 16 Rogowski coils which can detect dynamic eddy current of copper shells near the vertical gap. FPGA also control the external power amplifier to change the voltage between the unique double-C structures by commanding 16 high-speed DACs to give the RFP device a feedback. Result indicated that the error field in KTX device was reduced, and the system could successfully achieve fast matrix calculation with lower delay.


title: Localization of random walks to competing manifolds of distinct dimensions

abstract: We consider localization of a random walk (RW) when attracted or repelled by multiple extended manifolds of different dimensionalities. In particular, we focus on $(d-1)$- and $(d-2)$-dimensional manifolds in $d$-dimensional space, where attractive interactions are (fully or marginally) relevant. The RW can then be in one of four phases where it is localized to neither, one, or both manifolds. The four phases merge at a special multi-critical point where (away from the manifolds) the RW spreads diffusively. Extensive numerical analyses on two dimensional RWs confined inside or outside a rectangular wedge confirm general features expected from a continuum theory, but also exhibit unexpected attributes, such as a reentrant localization to the corner while repelled by it.


title: On $r$-Simple $k$-Path and Related Problems Parameterized by $k/r$

abstract: Abasi et al. (2014) and Gabizon et al. (2015) studied the following problems. In the $r$-Simple $k$-Path problem, given a digraph $G$ on $n$ vertices and integers $r,k$, decide whether $G$ has an $r$-simple $k$-path, which is a walk where every vertex occurs at most $r$ times and the total number of vertex occurrences is $k$. In the $(r,k)$-Monomial Detection problem, given an arithmetic circuit that encodes some polynomial $P$ on $n$ variables and integers $k,r$, decide whether $P$ has a monomial of degree $k$ where the degree of each variable is at most~$r$. In the $p$-Set $(r,q)$-Packing problem, given a universe $V$, positive integers $p,q,r$, and a collection $\cal H$ of sets of size $p$ whose elements belong to $V$, decide whether there exists a subcollection ${\cal H}'$ of $\cal H$ of size $q$ where each element occurs in at most $r$ sets of ${\cal H}'$. Abasi et al. and Gabizon et al. proved that the three problems are single-exponentially fixed-parameter tractable (FPT) when parameterized by $(k/r)\log r$, where $k=pq$ for $p$-Set $(r,q)$-Packing and asked whether the $\log r$ factor in the exponent can be avoided. We consider their question from a wider perspective: are the above problems FPT when parameterized by $k/r$ only? We resolve the wider question by (a) obtaining a $2^{O((k/r)^2\log(k/r))} (n+\log k)^{O(1)}$-time algorithm for $r$-Simple $k$-Path on digraphs and a $2^{O(k/r)} (n+\log k)^{O(1)}$-time algorithm for $r$-Simple $k$-Path on undirected graphs (i.e., for undirected graphs we answer the original question in affirmative), (b) showing that $p$-Set $(r,q)$-Packing is FPT, and (c) proving that $(r,k)$-Monomial Detection is para-NP-hard. For $p$-Set $(r,q)$-Packing, we obtain a polynomial kernel for any fixed $p$, which resolves a question posed by Gabizon et al. regarding the existence of polynomial kernels for problems with relaxed disjointness constraints.


title: Copper underpotential deposition on boron nitride nanomesh

abstract: The boron nitride nanomesh is a corrugated monolayer of hexagonal boron nitride (h-BN) on Rh(111), which so far has been studied mostly under ultrahigh vacuum conditions. Here, we investigate how copper underpotential deposition (upd) can be used to quantify defects in the boron nitride monolayer and to assess the potential window of the nanomesh, which is important to explore its functionality under ambient and electrochemical conditions. In dilute sulfuric acid, the potential window of h-BN/Rh(111) is close to 1 volt, i.e. larger than that of the Rh substrate, and is limited by molecular hydrogen evolution on the negative and by oxidative removal on the positive side. From copper upd on pristine h-BN/Rh(111) wafer samples, we estimate a collective defect fraction on the order of 0.08-0.7% of the geometric area, which may arise from line and point defects in the h-BN layer that are created during its chemical vapour deposition. Overpotential deposition (opd) is demonstrated to have significant consequences on the defect area. We hypothesise that this non-innocent Cu electrodeposition involves intercalation originating at initial defects, causing irreversible delamination of the h-BN layer; this effect may be used for 2D material nanoengineering. On the relevant timescale, upd itself does not alter the defect area on repeated cycling; therefore, metal upd may find use as a general tool to determine the collective defect area in hybrids between 2D materials and various substrate metals.


title: The SAGE Photometric Sky Survey: Technical Description

abstract: To investigate in more details of Stellar Abundance and Galactic Evolution (SAGE) and in a huge sample, we are performing a northern sky photometric survey named SAGES with the SAGE photometric system, which consists of 8 filters: Str\"omgren-$u$, SAGE-$v$, SDSS $g$, $r$, $i$, DDO-$51$, $H\alpha_{wide}$, and $H\alpha _{narrow}$, including three Sloan broadband filters, three intermediate-band filters and two narrow-band filters, and one newly-designed narrow-band filter. SAGES covers $\sim$12,000 square degrees of the northern sky with $\delta > -5 ^{\circ}$, excluding the Galactic disk ($|b|<10^{\circ}$) and the sky area of 12 hr $<$ R.A. $<$ 18\,hr. The photometric detection limit depth at signal-to-noise ratio $5\sigma$ can be as deep as $V\sim$20\,mag. The SAGES will produce a depth-uniformed photometric catalogue for $\sim$500 million stars with atmospheric parameters including effective temperature $T_{\rm eff}$, surface gravity log\,g, and metallicity [Fe/H], as well as interstellar extinction to each individual target. In this work, we will briefly introduce the SAGE photometric system, the SAGE survey, and a preliminary test field of the open cluster NGC\,6791 and around.