title: Processes that break baryon number by two units and the Majorana nature of the neutrino

abstract: We employ the simplest possible models of scalar-fermion interactions that are consistent with the gauge symmetries of the Standard Model and permit no proton decay to analyze the connections possible among processes that break baryon number by two units. In this context we show how the observation of $n$-${\bar n}$ oscillations and of a pattern of particular nucleon-antinucleon conversion processes --- all accessible through e-d scattering --- namely, selecting from $e^- p \to e^+ {\bar p}$, $e^- p \to {\bar n} {\bar \nu}$, $e^- n \to {\bar p} {\bar \nu}$, and $e^- n \to e^- {\bar n} $ would reveal that the decay $\pi^- \pi^- \to e^- e^-$ must occur also. This latter process is the leading contribution to neutrinoless double beta decay in nuclei mediated by new short-distance physics, in contrast to that mediated by light Majorana neutrino exchange. The inferred existence of $\pi^- \pi^- \to e^- e^-$ would also reveal the Majorana nature of the neutrino, though the absence of this inference would not preclude it.


title: A New Nonparametric Estimate of the Risk-Neutral Density with Applications to Variance Swaps

abstract: We develop a new nonparametric approach for estimating the risk-neutral density of asset prices and reformulate its estimation into a double-constrained optimization problem. We evaluate our approach using the S\&P 500 market option prices from 1996 to 2015. A comprehensive cross-validation study shows that our approach outperforms the existing nonparametric quartic B-spline and cubic spline methods, as well as the parametric method based on the Normal Inverse Gaussian distribution. As an application, we use the proposed density estimator to price long-term variance swaps, and the model-implied prices match reasonably well with those of the variance future downloaded from the CBOE website.


title: Outer Approximation With Conic Certificates For Mixed-Integer Convex Problems

abstract: A mixed-integer convex (MI-convex) optimization problem is one that becomes convex when all integrality constraints are relaxed. We present a branch-and-bound LP outer approximation algorithm for an MI-convex problem transformed to MI-conic form. The polyhedral relaxations are refined with $\mathcal{K}^*$ cuts derived from conic certificates for continuous primal-dual conic subproblems. Under the assumption that all subproblems are well-posed, the algorithm detects infeasibility or unboundedness or returns an optimal solution in finite time. Using properties of the conic certificates, we show that the $\mathcal{K}^*$ cuts imply certain practically-relevant guarantees about the quality of the polyhedral relaxations, and demonstrate how to maintain helpful guarantees when the LP solver uses a positive feasibility tolerance. We discuss how to disaggregate $\mathcal{K}^*$ cuts in order to tighten the polyhedral relaxations and thereby improve the speed of convergence, and propose fast heuristic methods of obtaining useful $\mathcal{K}^*$ cuts. Our new open source MI-conic solver Pajarito (http://github.com/JuliaOpt/Pajarito.jl) uses an external mixed-integer linear (MILP) solver to manage the search tree and an external continuous conic solver for subproblems. Benchmarking on a library of mixed-integer second-order cone (MISOCP) problems, we find that Pajarito greatly outperforms Bonmin (the leading open source alternative) and is competitive with CPLEX's specialized MISOCP algorithm. We demonstrate the robustness of Pajarito by solving diverse MI-conic problems involving mixtures of positive semidefinite, second-order, and exponential cones, and provide evidence for the practical value of our analyses and enhancements of $\mathcal{K}^*$ cuts.


title: Tensor models for linguistics pitch curve data of native speakers of Afrikaans

abstract: We use tensor analysis techniques for high-dimensional data to gain insight into pitch curves, which play an important role in linguistics research. In particular, we propose that demeaned phonetics pitch curve data can be modeled as having a Kronecker product inverse covariance structure with sparse factors corresponding to words and time. Using data from a study of native Afrikaans speakers, we show that by targeting conditional independence through a graphical model, we reveal relationships associated with natural properties of words as studied by linguists. We find that words with long vowels cluster based on whether the vowel is pronounced at the front or back of the mouth, and words with short vowels have strong edges associated with the initial consonant.


title: Structural Characterization of Grain Boundaries and Machine Learning of Grain Boundary Energy and Mobility

abstract: Recent advances in the numerical representation of materials opened the way for successful machine learning of grain boundary (GB) energies and the classification of GB mobility and shear coupling. Two representations were needed for these machine learning applications: 1) the ASR representation, based on averaged local environment descriptors; and 2) the LER descriptor, based on fractions of globally unique local environments within the entire GB system. We present a detailed tutorial on how to construct these two representations to learn energy, mobility and shear coupling. Additionally, we catalog some of the null results encountered along the way.


title: Design-based Analysis in Difference-In-Differences Settings with Staggered Adoption

abstract: In this paper we study estimation of and inference for average treatment effects in a setting with panel data. We focus on the setting where units, e.g., individuals, firms, or states, adopt the policy or treatment of interest at a particular point in time, and then remain exposed to this treatment at all times afterwards. We take a design perspective where we investigate the properties of estimators and procedures given assumptions on the assignment process. We show that under random assignment of the adoption date the standard Difference-In-Differences estimator is is an unbiased estimator of a particular weighted average causal effect. We characterize the proeperties of this estimand, and show that the standard variance estimator is conservative.


title: Investigation of Using Disentangled and Interpretable Representations for One-shot Cross-lingual Voice Conversion

abstract: We study the problem of cross-lingual voice conversion in non-parallel speech corpora and one-shot learning setting. Most prior work require either parallel speech corpora or enough amount of training data from a target speaker. However, we convert an arbitrary sentences of an arbitrary source speaker to target speaker's given only one target speaker training utterance. To achieve this, we formulate the problem as learning disentangled speaker-specific and context-specific representations and follow the idea of [1] which uses Factorized Hierarchical Variational Autoencoder (FHVAE). After training FHVAE on multi-speaker training data, given arbitrary source and target speakers' utterance, we estimate those latent representations and then reconstruct the desired utterance of converted voice to that of target speaker. We investigate the effectiveness of the approach by conducting voice conversion experiments with varying size of training utterances and it was able to achieve reasonable performance with even just one training utterance. We also examine the speech representation and show that World vocoder outperforms Short-time Fourier Transform (STFT) used in [1]. Finally, in the subjective tests, for one language and cross-lingual voice conversion, our approach achieved significantly better or comparable results compared to VAE-STFT and GMM baselines in speech quality and similarity.


title: SINH-acceleration: efficient evaluation of probability distributions, option pricing, and Monte-Carlo simulations

abstract: Characteristic functions of several popular classes of distributions and processes admit analytic continuation into unions of strips and open coni around $\mathbb{R}\subset \mathbb{C}$. The Fourier transform techniques reduces calculation of probability distributions and option prices to evaluation of integrals whose integrands are analytic in domains enjoying these properties. In the paper, we suggest to use changes of variables of the form $\xi=\sqrt{-1}\omega_1+b\sinh (\sqrt{-1}\omega+y)$ and the simplified trapezoid rule to evaluate the integrals accurately and fast. We formulate the general scheme, and apply the scheme for calculation probability distributions and pricing European options in L\'evy models, the Heston model, the CIR model, and a L\'evy model with the CIR-subordinator. We outline applications to fast and accurate calibration procedures and Monte Carlo simulations in L\'evy models, regime switching L\'evy models that can account for stochastic drift, volatility and skewness, and the Heston model. For calculation of quantiles in the tails using the Newton or bisection method, it suffices to precalculate several hundred of values of the characteristic exponent at points of an appropriate grid ({\em conformal principal components}) and use these values in formulas for cpdf and pdf.


title: Model Selection via the VC-Dimension

abstract: We derive an objective function that can be optimized to give an estimator of the Vapnik- Chervonenkis dimension for model selection in regression problems. We verify our estimator is consistent. Then, we verify it performs well compared to seven other model selection techniques. We do this for a variety of types of data sets.


title: Characterizing the performance of the NIRC2 vortex coronagraph at W.M. Keck Observatory

abstract: The NIRC2 vortex coronagraph is an instrument on Keck II designed to directly image exoplanets and circumstellar disks at mid-infrared bands $L^\prime$ (3.4-4.1 $\mu$m) and $M_s$ (4.55-4.8 $\mu$m). We analyze imaging data and corresponding adaptive optics telemetry, observing conditions, and other metadata over a three year time period to characterize the performance of the instrument and predict the detection limits of future observations. We systematically process images from 359 observations of 304 unique stars to subtract residual starlight (i.e., the coronagraphic point spread function) of the target star using two methods: angular differential imaging (ADI) and reference star differential imaging (RDI). We find that for the typical parallactic angle (PA) rotation of our dataset ($\sim$10$^{\circ}$), RDI provides gains over ADI for angular separations smaller than 0.25$^{\prime\prime}$. Furthermore, we find a power-law relation between the angular separation from the host star and the minimum PA rotation required for ADI to outperform RDI, with a power-law index of -1.18$\pm$0.08. Finally, we use random forest models to estimate ADI and RDI post-processed detection limits a priori. These models, which we provide publicly on a website, explain 70%-80% of the variance in ADI detection limits and 30%-50% of the variance in RDI detection limits. Averaged over a range of angular separations, our models predict both ADI and RDI contrast to within a factor of 2. These results illuminate important factors in high-contrast imaging observations with the NIRC2 vortex coronagraph, help improve observing strategies, and inform future upgrades to the hardware.


title: Monitoring through many eyes: Integrating disparate datasets to improve monitoring of the Great Barrier Reef

abstract: Numerous organisations collect data in the Great Barrier Reef (GBR), but they are rarely analysed together due to different program objectives, methods, and data quality. We developed a weighted spatiotemporal Bayesian model and used it to integrate image based hard coral data collected by professional and citizen scientists, who captured and or classified underwater images. We used the model to predict coral cover across the GBR with estimates of uncertainty; thus filling gaps in space and time where no data exist. Additional data increased the models predictive ability by 43 percent, but did not affect model inferences about pressures (e.g. bleaching and cyclone damage). Thus, effective integration of professional and high-volume citizen data could enhance the capacity and cost efficiency of monitoring programs. This general approach is equally viable for other variables collected in the marine environment or other ecosystems; opening up new opportunities to integrate data and provide pathways for community engagement and stewardship.


title: The Nowicki Conjecture for relatively free algebras

abstract: A linear locally nilpotent derivation of the polynomial algebra $K[X_m]$ in $m$ variables over a field $K$ of characteristic 0 is called a Weitzenb\"ock derivation. It is well known from the classical theorem of Weitzenb\"ock that the algebra of constants $K[X_{m}]^{\delta}$ of a Weitzenb\"ock derivation $\delta$ is finitely generated. Assume that $\delta$ acts on the polynomial algebra $K[X_{2d}]$ in $2d$ variables as follows: $\delta(x_{2i})=x_{2i-1}$, $\delta(x_{2i-1})=0$, $i=1,\ldots,d$. The Nowicki conjecture states that the algebra $K[X_{2d}]^{\delta}$ is generated by $x_1,x_3.\ldots,x_{2d-1}$, and $x_{2i-1}x_{2j}-x_{2i}x_{2j-1}$, $1\leq i<j\leq d$. The conjecture was proved by several authors based on different techniques. We apply the same idea to two relatively free algebras of rank $2d$. We give the infinite set of generators of the algebra of constants in the the free metabelian associative algebras $F_{2d}(\mathfrak A)$, and finite set of generators in the free algebra $F_{2d}(\mathcal G)$ in the variety determined by the identities of the infinite dimensional Grassmann algebra.


title: Classification of subsystem symmetry-protected topological phases

abstract: We consider symmetry-protected topological (SPT) phases in 2D protected by linear subsystem symmetries, i.e. those that act along rigid lines. There is a distinction between a "strong" subsystem SPT phase, and a "weak" one, which is composed of decoupled 1D SPTs with global symmetries. We propose a natural definition for strong equivalence of such phases, in terms of a linearly-symmetric local unitary transformation, under which a weak subsystem SPT is equivalent to the trivial phase. This leads to a number of distinct equivalence classes of strong subsystem SPTs, which we show are in one-to-one correspondence with elements of the group $\mathcal{C}[G_s] = \mathcal{H}^{2}[G_s^2,U(1)]/(\mathcal{H}^{2}[G_s,U(1)])^3$, where $G_s$ is the finite abelian onsite symmetry group. We also show that strong subsystem SPTs by our classification necessarily exhibit a spurious topological entanglement entropy on a cylinder.


title: Proton spectral functions in finite nuclei based on the extended Brueckner-Hartree-Fock approach

abstract: We have calculated the proton spectral functions in finite nuclei based on the local density approximation where the properties of finite nuclei and nuclear matter are calculated by the Skyrme-Hartree-Fock method and the extended Brueckner-Hartree-Fock approach, respectively. The scaled spectral function from our calculation is in good agreement with experimental results at small momenta while the difference between them becomes apparent at high momenta. Besides, a target dependence of the scaled proton spectral function is also obtained in our calculation as was observed in experiment. A further investigation indicates that the proportion of the high density region of the proton has a significant contribution to this target-dependent behavior since the spectral function in asymmetric nuclear matter increases significantly as a function of density.


title: Very ampleness of the canonical bundle of surfaces of type (1, 2, 2) on abelian threefolds

abstract: The present work deals with the canonical map of smooth, compact complex surfaces of general type in a polarization of type $(1,2,2)$ on an abelian threefold. A natural and classical question is whether the canonical system of such surfaces is very ample in the general case. In this work, we provide a positive answer to this question. First, we describe the structure of the canonical map of those smooth ample surfaces of type $(1,2,2)$ in an abelian threefold which are bidouble cover of principal polarizations. Then, we study the general behavior of the canonical map of general ample surfaces $\mathcal{S}$, yielding a $(1,2,2)$-polarization on an abelian threefold $A$ which is isogenous to a product. By combining these descriptions, we show that the canonical map yields a holomorphic embedding when $A$ and $\mathcal{S}$ are both sufficiently general. It follows, in particular, a proof of the existence of canonical irregular surfaces in $\mathbb{P}^5$ with numerical invariants $p_g = 6$, $q = 3$ and $K^2 = 24$.


title: Difference in charge and spin dynamics in a quantum dot-lead coupled system

abstract: We analyze time evolution of charge and spin states in a quantum dot coupled to an electric reservoir. Utilizing high-speed single-electron detection, we focus on dynamics induced by the first-order tunneling. We find that there is a difference between the spin and the charge relaxation: the former appears slower than the latter. The difference depends on the Fermi occupation factor and the spin relaxation becomes slower when the energy level of the quantum dot is lowered. We explain this behavior by a theory which includes the first-order tunneling processes. We conduct detailed comparison of the experiment and the theory with changing the energy of the quantum dot levels, and the theory can reproduce the experimental results.


title: Variable exponent Triebel-Lizorkin-Morrey spaces

abstract: We introduce variable exponent versions of Morreyfied Triebel-Lizorkin spaces. To that end, we prove an important convolution inequality which is a replacement for the Hardy-Littlewood maximal inequality in the fully variable setting. Using it we obtain characterizations by means of Peetre maximal functions and use them to show the independence of the introduced spaces from the admissible system used.


title: Linearly Solvable Mean-Field Road Traffic Games

abstract: We analyze the behavior of a large number of strategic drivers traveling over an urban traffic network using the mean-field game framework. We assume an incentive mechanism for congestion mitigation under which each driver selecting a particular route is charged a tax penalty that is affine in the logarithm of the number of agents selecting the same route. We show that the mean-field approximation of such a large-population dynamic game leads to the so-called linearly solvable Markov decision process, implying that an open-loop $\epsilon$-Nash equilibrium of the original game can be found simply by solving a finite-dimensional linear system.


title: Incorporating Consistency Verification into Neural Data-to-Document Generation

abstract: Recent neural models for data-to-document generation have achieved remarkable progress in producing fluent and informative texts. However, large proportions of generated texts do not actually conform to the input data. To address this issue, we propose a new training framework which attempts to verify the consistency between the generated texts and the input data to guide the training process. To measure the consistency, a relation extraction model is applied to check information overlaps between the input data and the generated texts. The non-differentiable consistency signal is optimized via reinforcement learning. Experimental results on a recently released challenging dataset ROTOWIRE show improvements from our framework in various metrics.


title: Treatment of material radioassay measurements in projecting sensitivity for low-background experiments

abstract: By analyzing sensitivity projections as a statisical estimation problem, we evaluated different ways of treating radioassay measurement results (values and upper limits) when projecting sensitivity for low-background experiments. We developed a figure of merit that incorporates a notion of conservativeness to quantitatively explore the consequences of attempts to bias sensitivity projections, and proposed a method to report sensitivity.


title: Circulation and Energy Theorem Preserving Stochastic Fluids

abstract: Smooth solutions of the incompressible Euler equations are characterized by the property that circulation around material loops is conserved. This is the Kelvin theorem. Likewise, smooth solutions of Navier-Stokes are characterized by a generalized Kelvin's theorem, introduced by Constantin-Iyer (2008). In this note, we introduce a class of stochastic fluid equations, whose smooth solutions are characterized by natural extensions of the Kelvin theorems of their deterministic counterparts, which hold along certain noisy flows. These equations are called the stochastic Euler-Poincar\'{e} and stochastic Navier-Stokes-Poincar\'{e} equations respectively. The stochastic Euler-Poincar\'{e} equations were previously derived from a stochastic variational principle by Holm (2015), which we briefly review. Solutions of these equations do not obey pathwise energy conservation/dissipation in general. In contrast, we also discuss a class of stochastic fluid models, solutions of which possess energy theorems but do not, in general, preserve circulation theorems.


title: Significant change in the electronic behavior associated with structural distortions in the single crystalline SrAg4As2

abstract: We report a combined study of transport and thermodynamic measurements on the layered pnictide material SrAg4As2. Upon cooling, a drop in electrical and Hall resistivity, a jump in heat capacity and an increase in susceptibility and magnetoresistance (MR) are observed around 110 K. These observations suggest that non-magnetic phase transitions emerge at around 110 K, that are likely associated with structural distortions. In sharp contrast with the first-principles calculations based on the crystal structure at room temperature, quantum oscillations reveal small Fermi pockets with light effective masses, suggesting a significant change in the Fermi surface topology caused by the low temperature structural distortion. No superconductivity emerges in SrAg$_4$As$_2$ down to 2 K and under pressures up to 2.13 GPa; instead, the low temperature structural distortion increases linearly with temperature at a rate of ~13 K/GPa above 0.89 GPa.


title: Bayesian extraction of jet energy loss distributions in heavy-ion collisions

abstract: Based on the factorization in perturbative QCD, a jet cross sections in heavy-ion collisions can be expressed as a convolution of the jet cross section in $p+p$ collisions and a jet energy loss distribution. Using this simple expression and the Markov Chain Monte Carlo method, we carry out Bayesian analyses of experimental data on jet spectra to extract energy loss distributions for both single inclusive and $\gamma$-triggered jets in $Pb+Pb$ collisions with different centralities at two colliding energies at the Large Hadron Collider. The average jet energy loss has a dependence on the initial jet energy that is slightly stronger than a logarithmic form and decreases from central to peripheral collisions. The extracted jet energy loss distributions with a scaling behavior in $x=\Delta p_T /\langle \Delta p_T\rangle$ have a large width. These are consistent with the linear Boltzmann transport model simulations, in which the observed jet quenching is caused on the average by only a few out-of-cone scatterings.


title: Semi-analytical solution of a McKean-Vlasov equation with feedback through hitting a boundary

abstract: In this paper, we study the non-linear diffusion equation associated with a particle system where the common drift depends on the rate of absorption of particles at a boundary. We provide an interpretation as a structural credit risk model with default contagion in a large interconnected banking system. Using the method of heat potentials, we derive a coupled system of Volterra integral equations for the transition density and for the loss through absorption. An approximation by expansion is given for a small interaction parameter. We also present a numerical solution algorithm and conduct computational tests.


title: Toward domain-invariant speech recognition via large scale training

abstract: Current state-of-the-art automatic speech recognition systems are trained to work in specific `domains', defined based on factors like application, sampling rate and codec. When such recognizers are used in conditions that do not match the training domain, performance significantly drops. This work explores the idea of building a single domain-invariant model for varied use-cases by combining large scale training data from multiple application domains. Our final system is trained using 162,000 hours of speech. Additionally, each utterance is artificially distorted during training to simulate effects like background noise, codec distortion, and sampling rates. Our results show that, even at such a scale, a model thus trained works almost as well as those fine-tuned to specific subsets: A single model can be robust to multiple application domains, and variations like codecs and noise. More importantly, such models generalize better to unseen conditions and allow for rapid adaptation -- we show that by using as little as 10 hours of data from a new domain, an adapted domain-invariant model can match performance of a domain-specific model trained from scratch using 70 times as much data. We also highlight some of the limitations of such models and areas that need addressing in future work.


title: Bulk locality and cooperative flows

abstract: We use the 'bit thread' formulation of holographic entanglement entropy to highlight the distinction between the universally-valid strong subadditivity and the more restrictive relation called monogamy of mutual information (MMI), known to hold for geometrical states (i.e. states of holographic theories with gravitational duals describing a classical bulk geometry). In particular, we provide a novel proof of MMI, using bit threads directly. To this end, we present an explicit geometrical construction of cooperative flows which we build out of disjoint thread bundles. We conjecture that our method applies in a wide class of configurations, including ones with non-trivial topology, causal structure, and time dependence. The explicit nature of the construction reveals that MMI is more deeply rooted in bulk locality than is the case for strong subadditivity.


title: Universality and crossover behavior of single-step growth models in $1+1$ and $2+1$ dimensions

abstract: We study the kinetic roughening of the single-step (SS) growth model with a tunable parameter $p$ in $1+1$ and $2+1$ dimensions by performing extensive numerical simulations. We show that there exists a very slow crossover from an intermediate regime dominated by the Edwards-Wilkinson class to an asymptotic regime dominated by the Kardar-Parisi-Zhang (KPZ) class for any $p <\frac{1}{2}$. We also identify the crossover time, the nonlinear coupling constant, and some nonuniversal parameters in the KPZ equation as a function $p$. The effective nonuniversal parameters are continuously decreasing with $p$, but not in a linear fashion. Our results provide complete and conclusive evidence that the SS model for $p \neq \frac{1}{2}$ belongs to the KPZ universality class in $2+1$ dimensions.


title: Nonstationary open dynamical systems

abstract: This paper studies nonstationary open dynamical systems from the statistical viewpoint. By open, we mean that trajectories may escape through holes in the phase space. By nonstationary, we mean that the dynamical model itself (as well as the holes) may vary with time. Unlike the setting of random dynamical systems, no assumptions are made about the statistics of this variability. We formulate general results that yield conditional memory loss (an analog of decay of correlations) at exponential rates for nonstationary open dynamical systems. We apply our results to a class of nonstationary piecewise-smooth expanding systems in higher dimension with moving holes.


title: A Trudinger-Moser inequality for conical metric in the unit ball

abstract: In this note, we prove a Trudinger-Moser inequality for conical metric in the unit ball. Precisely, let $\mathbb{B}$ be the unit ball in $\mathbb{R}^N$ $(N\geq 2)$, $p>1$, $g=|x|^{\frac{2p}{N}\beta}(dx_1^2+\cdots+dx_N^2)$ be a conical metric on $\mathbb{B}$, and $\lambda_p(\mathbb{B})=\inf\left\{\int_\mathbb{B}|\nabla u|^Ndx: u\in W_0^{1,N}(\mathbb{B}),\,\int_\mathbb{B}|u|^pdx=1\right\}$. We prove that for any $\beta\geq 0$ and $\alpha<(1+\frac{p}{N}\beta)^{N-1+\frac{N}{p}}\lambda_p(\mathbb{B})$, there exists a constant $C$ such that for all radially symmetric functions $u\in W_0^{1,N}(\mathbb{B})$ with $\int_\mathbb{B}|\nabla u|^Ndx-\alpha(\int_\mathbb{B}|u|^p|x|^{p\beta}dx)^{N/p}\leq 1$, there holds $$\int_\mathbb{B}e^{\alpha_N(1+\frac{p}{N}\beta)|u|^{\frac{N}{N-1}}}|x|^{p\beta}dx\leq C,$$ where $|x|^{p\beta}dx=dv_g$, $\alpha_N=N\omega_{N-1}^{1/(N-1)}$, $\omega_{N-1}$ is the area of the unit sphere in $\mathbb{R}^N$; moreover, extremal functions for such inequalities exist. The case $p=N$, $-1<\beta<0$ and $\alpha=0$ was considered by Adimurthi-Sandeep \cite{A-S}, while the case $p=N=2$, $\beta\geq 0$ and $\alpha=0$ was studied by de Figueiredo-do \'O-dos Santos \cite{F-do-dos}.


title: Sphere theorems and eigenvalue pinching without positive Ricci curvature assumption

abstract: Considering the almost rigidity of the Obata theorem, we generalize Petersen and Aubry's sphere theorem about eigenvalue pinching without assuming the positivity of Ricci curvature, only assuming $Ric\geq-Kg$ and $diam\leq D$ for some positive constants $K>0$ and $D>0$.


title: Insight-HXMT observations of the New Black Hole Candidate MAXI J1535-571: timing analysis

abstract: We present the X-ray timing results of the new black hole candidate (BHC) MAXI J1535-571 during its 2017 outburst from Hard X-ray Modulation Telescope (\emph{Insight}-HXMT) observations taken from 2017 September 6 to 23. Following the definitions given by \citet{Belloni2010}, we find that the source exhibits state transitions from Low/Hard state (LHS) to Hard Intermediate state (HIMS) and eventually to Soft Intermediate state (SIMS). Quasi-periodic oscillations (QPOs) are found in the intermediate states, which suggest different types of QPOs. With the large effective area of \emph{Insight}-HXMT at high energies, we are able to present the energy dependence of the QPO amplitude and centroid frequency up to 100 keV which is rarely explored by previous satellites. We also find that the phase lag at the type-C QPOs centroid frequency is negative (soft lags) and strongly correlated with the centroid frequency. By assuming a geometrical origin of type-C QPOs, the source is consistent with being a high inclination system.


title: Edge-transitive graphs of small order and the answer to a 1967 question by Folkman

abstract: In this paper, we introduce a method for finding all edge-transitive graphs of small order, using faithful representations of transitive permutation groups of small degree, and we explain how we used this method to find all edge-transitive graphs of order up to $47$, and all bipartite edge-transitive graphs of order up to $63$. We also give an answer to a 1967 question of Folkman about semi-symmetric graphs of large valency; in fact we show that for semi-symmetric graphs of order $2n$ and valency $d$, the ratio $d/n$ can be arbitrarily close to $1$.


title: Efficient operator-coarsening multigrid schemes for local discontinuous Galerkin methods

abstract: An efficient $hp$-multigrid scheme is presented for local discontinuous Galerkin (LDG) discretizations of elliptic problems, formulated around the idea of separately coarsening the underlying discrete gradient and divergence operators. We show that traditional multigrid coarsening of the primal formulation leads to poor and suboptimal multigrid performance, whereas coarsening of the flux formulation leads to optimal convergence and is equivalent to a purely geometric multigrid method. The resulting operator-coarsening schemes do not require the entire mesh hierarchy to be explicitly built, thereby obviating the need to compute quadrature rules, lifting operators, and other mesh-related quantities on coarse meshes. We show that good multigrid convergence rates are achieved in a variety of numerical tests on 2D and 3D uniform and adaptive Cartesian grids, as well as for curved domains using implicitly defined meshes and for multi-phase elliptic interface problems with complex geometry. Extension to non-LDG discretizations is briefly discussed.


title: The prism manifold realization problem III

abstract: Every prism manifold can be parametrized by a pair of relatively prime integers $p>1$ and $q$. In our earlier papers, we determined a complete list of prism manifolds $P(p, q)$ that can be realized by positive integral surgeries on knots in $S^3$ when $q<0$ or $q>p$; in the present work, we solve the case when $0<q<p$. This completes the solution of the realization problem for prism manifolds.


title: Decision-Making with Belief Functions: a Review

abstract: Approaches to decision-making under uncertainty in the belief function framework are reviewed. Most methods are shown to blend criteria for decision under ignorance with the maximum expected utility principle of Bayesian decision theory. A distinction is made between methods that construct a complete preference relation among acts, and those that allow incomparability of some acts due to lack of information. Methods developed in the imprecise probability framework are applicable in the Dempster-Shafer context and are also reviewed. Shafer's constructive decision theory, which substitutes the notion of goal for that of utility, is described and contrasted with other approaches. The paper ends by pointing out the need to carry out deeper investigation of fundamental issues related to decision-making with belief functions and to assess the descriptive, normative and prescriptive values of the different approaches.


title: 3D Face From X: Learning Face Shape from Diverse Sources

abstract: We present a novel method to jointly learn a 3D face parametric model and 3D face reconstruction from diverse sources. Previous methods usually learn 3D face modeling from one kind of source, such as scanned data or in-the-wild images. Although 3D scanned data contain accurate geometric information of face shapes, the capture system is expensive and such datasets usually contain a small number of subjects. On the other hand, in-the-wild face images are easily obtained and there are a large number of facial images. However, facial images do not contain explicit geometric information. In this paper, we propose a method to learn a unified face model from diverse sources. Besides scanned face data and face images, we also utilize a large number of RGB-D images captured with an iPhone X to bridge the gap between the two sources. Experimental results demonstrate that with training data from more sources, we can learn a more powerful face model.


title: Coexistence of Intrinsic Superconductivity and Topological Insulator State in Monoclinic Phase WS2

abstract: Recently, intriguing phenomena of superconductivity, type-II Weyl semimetal or quantum spin Hall states were discovered in metastable 1T'-type VIB-group transition metal dichalcogenides (TMDs). Here, we report that monoclinic phase WS2 was discovered and synthesized in our experiments. The intrinsic superconducting transition was observed in monoclinic WS2 with a transition temperature Tc of 8.8 K which is the highest among previously reported TMDs without any fine-tuning process. Intersteing, topological insulator state, defined by topological invariant Z2, was also discovered with a single Dirac cone on the surface, which is different from all topological states reported in TMDs. Further, the electronic structure was found to have a strong anisotropy by Shubnikov-de Haas oscillations and first-principles calculations. Our findings reveal that monoclinic WS2 might be a new topological superconductivity candidate with a strong anisotropy.


title: Electronic properties of binary compounds with high fidelity and high throughput

abstract: We present example applications of an approach to high-throughput first-principles calculations of the electronic properties of materials implemented within the Exabyte.io platform. We deploy computational techniques based on the Density Functional Theory with both Generalized Gradient Approximation (GGA) and Hybrid Screened Exchange (HSE) in order to extract the electronic band gaps and band structures for a set of 775 binary compounds. We find that for HSE, the average relative error fits within 22%, whereas for GGA it is 49%. We find the average calculation time on an up-to-date server centrally available from a public cloud provider to fit within 1.2 and 36 hours for GGA and HSE, respectively. The results and the associated data, including the materials and simulation workflows, are standardized and made available online in an accessible, repeatable and extensible setting.

categories: cond-mat.mtrl-sci cond-mat.other cs.CE cs.DC physics.comp-ph


title: SWAG: A Large-Scale Adversarial Dataset for Grounded Commonsense Inference

abstract: Given a partial description like "she opened the hood of the car," humans can reason about the situation and anticipate what might come next ("then, she examined the engine"). In this paper, we introduce the task of grounded commonsense inference, unifying natural language inference and commonsense reasoning. We present SWAG, a new dataset with 113k multiple choice questions about a rich spectrum of grounded situations. To address the recurring challenges of the annotation artifacts and human biases found in many existing datasets, we propose Adversarial Filtering (AF), a novel procedure that constructs a de-biased dataset by iteratively training an ensemble of stylistic classifiers, and using them to filter the data. To account for the aggressive adversarial filtering, we use state-of-the-art language models to massively oversample a diverse set of potential counterfactuals. Empirical results demonstrate that while humans can solve the resulting inference problems with high accuracy (88%), various competitive models struggle on our task. We provide comprehensive analysis that indicates significant opportunities for future research.


title: Distortion of Magnetic Fields in a Starless Core IV: Magnetic Field Scaling on Density and Mass-to-flux Ratio Distribution in FeSt 1-457

abstract: In the present study, the magnetic field scaling on density, $|B| \propto \rho^{\kappa}$, was revealed in a single starless core for the first time. The $\kappa$ index of $0.78 \pm 0.10$ was obtained toward the starless dense core FeSt 1-457 based on the analysis of the radial distribution of the polarization angle dispersion of background stars measured at the near-infrared wavelengths. The result prefers $\kappa = 2/3$ for the case of isotropic contraction, and the difference of the observed value from $\kappa = 1/2$ is 2.8 sigma. The distribution of the ratio of mass to magnetic flux was evaluated. FeSt 1-457 was found to be magnetically supercritical near the center ($\lambda \approx 2$), whereas nearly critical or slightly subcritical at the core boundary ($\lambda \approx 0.98$). Ambipolar-diffusion-regulated star formation models for the case of moderate magnetic field strength may explain the physical status of FeSt 1-457. The mass-to-flux ratio distribution for typical dense cores (critical Bonnor--Ebert sphere with central $\lambda=2$ and $\kappa=1/2$--$2/3$) was calculated and found to be magnetically critical/subcritical at the core edge, which indicates that typical dense cores are embedded in and evolve from magnetically critical/subcritical diffuse surrounding medium.


title: Tier structure of strongly endotactic reaction networks

abstract: Reaction networks are mainly used to model the time-evolution of molecules of interacting chemical species. Stochastic models are typically used when the counts of the molecules are low, whereas deterministic models are used when the counts are in high abundance. In 2011, the notion of `tiers' was introduced to study the long time behavior of deterministically modeled reaction networks that are weakly reversible and have a single linkage class. This `tier' based argument was analytical in nature. Later, in 2014, the notion of a strongly endotactic network was introduced in order to generalize the previous results from weakly reversible networks with a single linkage class to this wider family of networks. The point of view of this later work was more geometric and algebraic in nature. The notion of strongly endotactic networks was later used in 2018 to prove a large deviation principle for a class of stochastically modeled reaction networks. We provide an analytical characterization of strongly endotactic networks in terms of tier structures. By doing so, we shed light on the connection between the two points of view, and also make available a new proof technique for the study of strongly endotactic networks. We show the power of this new technique in two distinct ways. First, we demonstrate how the main previous results related to strongly endotactic networks, both for the deterministic and stochastic modeling choices, can be quickly obtained from our characterization. Second, we demonstrate how new results can be obtained by proving that a sub-class of strongly endotactic networks, when modeled stochastically, is positive recurrent. Finally, and similarly to recent independent work by Agazzi and Mattingly, we provide an example which closes a conjecture in the negative by showing that stochastically modeled strongly endotactic networks can be transient (and even explosive).


title: Sequential Behavioral Data Processing Using Deep Learning and the Markov Transition Field in Online Fraud Detection

abstract: Due to the popularity of the Internet and smart mobile devices, more and more financial transactions and activities have been digitalized. Compared to traditional financial fraud detection strategies using credit-related features, customers are generating a large amount of unstructured behavioral data every second. In this paper, we propose an Recurrent Neural Netword (RNN) based deep-learning structure integrated with Markov Transition Field (MTF) for predicting online fraud behaviors using customer's interactions with websites or smart-phone apps as a series of states. In practice, we tested and proved that the proposed network structure for processing sequential behavioral data could significantly boost fraud predictive ability comparing with the multilayer perceptron network and distance based classifier with Dynamic Time Warping(DTW) as distance metric.


title: Intrinsic defect properties in halide double perovskites for optoelectronic applications

abstract: Lead-free halide double perovskites with the formula of quaternary A$_2^+$B'B'$^{3+}$X$_6^-$ have recently attracted intense interest as alternatives to lead-halide-perovskite-based optoelectronic materials for their non-toxicity and enhanced chemical and thermodynamic stability. However, the understanding of intrinsic defect properties and their effects on carrier transport and Fermi level tuning is still limited. In this paper, we show that, by exploring the phase diagram of a halide double perovskite, one can control the effects of intrinsic defects on carrier trapping and Fermi level pinning. We reveal the ideal growth conditions to grow p-type Cs$_2$AgInCl$_6$ and Cs$_2$AgBiCl$_6$ as well as semi-insulating Cs$_2$AgBiBr$_6$ with low trap density for targeted photovoltaic or visible-light/radiation detection application.


title: On the Convergence of Learning-based Iterative Methods for Nonconvex Inverse Problems

abstract: Numerous tasks at the core of statistics, learning and vision areas are specific cases of ill-posed inverse problems. Recently, learning-based (e.g., deep) iterative methods have been empirically shown to be useful for these problems. Nevertheless, integrating learnable structures into iterations is still a laborious process, which can only be guided by intuitions or empirical insights. Moreover, there is a lack of rigorous analysis about the convergence behaviors of these reimplemented iterations, and thus the significance of such methods is a little bit vague. This paper moves beyond these limits and proposes Flexible Iterative Modularization Algorithm (FIMA), a generic and provable paradigm for nonconvex inverse problems. Our theoretical analysis reveals that FIMA allows us to generate globally convergent trajectories for learning-based iterative methods. Meanwhile, the devised scheduling policies on flexible modules should also be beneficial for classical numerical methods in the nonconvex scenario. Extensive experiments on real applications verify the superiority of FIMA.


title: Does nonaxisymmetric dynamo operate in the Sun?

abstract: We explore effects of random non-axisymmetric perturbations of kinetic helicity (the $\alpha$ effect) and diffusive decay of bipolar magnetic regions on generation and evolution of large-scale non-axisymmetric magnetic fields on the Sun. Using a reduced 2D nonlinear mean-field dynamo model and assuming that bipolar regions emerge due to magnetic buoyancy in situ of the large-scale dynamo action, we show that fluctuations of the $\alpha$ effect can maintain the non-axisymmetric magnetic fields through a solar-type $\alpha^{2}\Omega$ dynamo process. It is found that diffusive decay of bipolar active regions is likely to be the primary source of the non-axisymmetric magnetic fields observed on the Sun. Our results show that the non-axisymmetric dynamo model with stochastic perturbations of the $\alpha$ effect can explain periods of extremely high activity (`super-cycle' events) as well as periods of deep decline of magnetic activity. We compare the models with synoptic observations of solar magnetic fields for the last four activity cycles, and discuss implications of our results for interpretation of observations of stellar magnetic activity.


title: Superconductivity in the Bi/Ni bilayer

abstract: Motivated by the recent observations of possible p-wave superconductivity in the bismuth-nickel (Bi/Ni) bilayer, we explore theoretically the possibilities of realizing p-wave superconductivity in this bilayer. We begin with a literature survey on this system and related materials which have similar superconducting transition temperature. From the survey, the superconducting mechanism in this bilayer system is suggested to be phonon mediated type II superconductivity. A simple model is proposed to explain why the p-wave like Andreev reflection signals are likely to be observed in the surface probe, assuming the strong spin-orbit coupled surface state of Bi thin film is not completely destroyed by the formation of alloys.


title: Active Distribution Learning from Indirect Samples

abstract: This paper studies the problem of {\em learning} the probability distribution $P_X$ of a discrete random variable $X$ using indirect and sequential samples. At each time step, we choose one of the possible $K$ functions, $g_1, \ldots, g_K$ and observe the corresponding sample $g_i(X)$. The goal is to estimate the probability distribution of $X$ by using a minimum number of such sequential samples. This problem has several real-world applications including inference under non-precise information and privacy-preserving statistical estimation. We establish necessary and sufficient conditions on the functions $g_1, \ldots, g_K$ under which asymptotically consistent estimation is possible. We also derive lower bounds on the estimation error as a function of total samples and show that it is order-wise achievable. Leveraging these results, we propose an iterative algorithm that i) chooses the function to observe at each step based on past observations; and ii) combines the obtained samples to estimate $p_X$. The performance of this algorithm is investigated numerically under various scenarios, and shown to outperform baseline approaches.


title: Improved Chord Recognition by Combining Duration and Harmonic Language Models

abstract: Chord recognition systems typically comprise an acoustic model that predicts chords for each audio frame, and a temporal model that casts these predictions into labelled chord segments. However, temporal models have been shown to only smooth predictions, without being able to incorporate musical information about chord progressions. Recent research discovered that it might be the low hierarchical level such models have been applied to (directly on audio frames) which prevents learning musical relationships, even for expressive models such as recurrent neural networks (RNNs). However, if applied on the level of chord sequences, RNNs indeed can become powerful chord predictors. In this paper, we disentangle temporal models into a harmonic language model---to be applied on chord sequences---and a chord duration model that connects the chord-level predictions of the language model to the frame-level predictions of the acoustic model. In our experiments, we explore the impact of each model on the chord recognition score, and show that using harmonic language and duration models improves the results.


title: Simultaneous Localization And Mapping with depth Prediction using Capsule Networks for UAVs

abstract: In this paper, we propose an novel implementation of a simultaneous localization and mapping (SLAM) system based on a monocular camera from an unmanned aerial vehicle (UAV) using Depth prediction performed with Capsule Networks (CapsNet), which possess improvements over the drawbacks of the more widely-used Convolutional Neural Networks (CNN). An Extended Kalman Filter will assist in estimating the position of the UAV so that we are able to update the belief for the environment. Results will be evaluated on a benchmark dataset to portray the accuracy of our intended approach.


title: The geometric realization of regular path complexes via (co-)homology

abstract: The aim of this paper is to give the geometric realization of regular path complexes via (co)homology groups with coefficients in a ring $R$. Concretely, for each regular path complex $P$, we associate it with a singular $\Delta$-complex $S(P)$ and show that the (co)homology groups of $P$ are isomorphic to those of $S(P)$ with coefficients in $R$. As a direct result we recognize path (co)homology as Hochschild (co)homology in case that $R$ is commutative and $P$ regular finite. Analogues of the Eilenberg-Zilber theorem and K\"{u}nneth formula are also showed for the Cartesian product and the join of two regular path complexes. In fact, we meanwhile improve some previous results which are covered by these conclusions in this paper.


title: Limitations of performance of Exascale Applications and supercomputers they are running on

abstract: The paper highlights that the cooperation of the components of the computing systems receives even more focus in the coming age of exascale computing. It discovers that inherent performance limitations exist and identifies the major critical contributions of the performance on many-many processor systems. The extended and reinterpreted simple Amdahl model describes the behavior of the existing supercomputers surprisingly well, and explains some mystical happenings around high-performance computing. It is pointed out that using the present technology and paradigm only marginal development of performance is possible, and that the major obstacle towards higher performance applications is the 70-years old computing paradigm itself. A way to step forward is also suggested


title: Propensity Score Weighting for Causal Inference with Multiple Treatments

abstract: Causal or unconfounded descriptive comparisons between multiple groups are common in observational studies. Motivated from a racial disparity study in health services research, we propose a unified propensity score weighting framework, the balancing weights, for estimating causal effects with multiple treatments. These weights incorporate the generalized propensity scores to balance the weighted covariate distribution of each treatment group, all weighted toward a common pre-specified target population. The class of balancing weights include several existing approaches such as the inverse probability weights and trimming weights as special cases. Within this framework, we propose a set of target estimands based on linear contrasts. We further develop the generalized overlap weights, constructed as the product of the inverse probability weights and the harmonic mean of the generalized propensity scores. The generalized overlap weighting scheme corresponds to the target population with the most overlap in covariates across the multiple treatments. These weights are bounded and thus bypass the problem of extreme propensities. We show that the generalized overlap weights minimize the total asymptotic variance of the moment weighting estimators for the pairwise contrasts within the class of balancing weights. We consider two balance check criteria and propose a new sandwich variance estimator for estimating the causal effects with generalized overlap weights. We apply these methods to study the racial disparities in medical expenditure between several racial groups using the 2009 Medical Expenditure Panel Survey (MEPS) data. Simulations were carried out to compare with existing methods.


title: Genre-Agnostic Key Classification With Convolutional Neural Networks

abstract: We propose modifications to the model structure and training procedure to a recently introduced Convolutional Neural Network for musical key classification. These modifications enable the network to learn a genre-independent model that performs better than models trained for specific music styles, which has not been the case in existing work. We analyse this generalisation capability on three datasets comprising distinct genres. We then evaluate the model on a number of unseen data sets, and show its superior performance compared to the state of the art. Finally, we investigate the model's performance on short excerpts of audio. From these experiments, we conclude that models need to consider the harmonic coherence of the whole piece when classifying the local key of short segments of audio.


title: Automatic Chord Recognition with Higher-Order Harmonic Language Modelling

abstract: Common temporal models for automatic chord recognition model chord changes on a frame-wise basis. Due to this fact, they are unable to capture musical knowledge about chord progressions. In this paper, we propose a temporal model that enables explicit modelling of chord changes and durations. We then apply N-gram models and a neural-network-based acoustic model within this framework, and evaluate the effect of model overconfidence. Our results show that model overconfidence plays only a minor role (but target smoothing still improves the acoustic model), and that stronger chord language models do improve recognition results, however their effects are small compared to other domains.


title: Formalisation of a frame stack semantics for a Java-like language

abstract: We present a Coq formalisation of the small-step operational semantics of Jafun, a small Java-like language with classes. This format of semantics makes it possible to naturally specify and prove invariants that should hold at each computation step. In contrast to the Featherweight Java approach the semantics explicitly manipulates frame stack of method calls. Thanks to that one can express properties of computation that depend on execution of particular methods. On the basis of the semantics, we developed a type system that makes it possible to delineate a notion of a compound value and classify certain methods as extensional functions operating on them. In our formalisation we make a mechanised proof that the operational semantics for the untyped version of the semantics agrees with the one for the typed one. We discuss different methods to make such formalisation effort and provide experiments that substantiate it.


title: A Unified Approach to Holomorphic Anomaly Equations and Quantum Spectral Curves

abstract: We present a unified approach to holomorphic anomaly equations and some well-known quantum spectral curves. We develop a formalism of abstract quantum field theory based on the diagrammatics of the Deligne-Mumford moduli spaces $\overline{{\mathcal M}}_{g,n}$ and derive a quadratic recursion relation for the abstract free energies in terms of the edge-cutting operators. This abstract quantum field theory can be realized by various choices of a sequence of holomorphic functions or formal power series and suitable propagators, and the realized quantum field theory can be represented by formal Gaussian integrals. Various applications are given.


title: Quality-Net: An End-to-End Non-intrusive Speech Quality Assessment Model based on BLSTM

abstract: Nowadays, most of the objective speech quality assessment tools (e.g., perceptual evaluation of speech quality (PESQ)) are based on the comparison of the degraded/processed speech with its clean counterpart. The need of a "golden" reference considerably restricts the practicality of such assessment tools in real-world scenarios since the clean reference usually cannot be accessed. On the other hand, human beings can readily evaluate the speech quality without any reference (e.g., mean opinion score (MOS) tests), implying the existence of an objective and non-intrusive (no clean reference needed) quality assessment mechanism. In this study, we propose a novel end-to-end, non-intrusive speech quality evaluation model, termed Quality-Net, based on bidirectional long short-term memory. The evaluation of utterance-level quality in Quality-Net is based on the frame-level assessment. Frame constraints and sensible initializations of forget gate biases are applied to learn meaningful frame-level quality assessment from the utterance-level quality label. Experimental results show that Quality-Net can yield high correlation to PESQ (0.9 for the noisy speech and 0.84 for the speech processed by speech enhancement). We believe that Quality-Net has potential to be used in a wide variety of applications of speech signal processing.


title: Determination of wind-fed model parameters of neutron stars in high-mass X-ray binaries

abstract: We have studied several neutron star high-mass X-ray binaries (HMXBs) with super-giant (SG) companions using a wind-fed binary model associated with the magnetic field. By using the concept of torque balance, the magnetic field parameter determines the mass accretion rate. This would help us to consider the relationship between wind velocity and mass-loss rate. These parameters significantly improve our understanding of the accretion mechanism. The wind velocity is critical in determining the X-ray features. This can be used to identify the ejection process and the stochastic variations in their accretion regimes. However, even in systems with a long orbital period, an accretion disk can be created when the wind velocity is slow. This will allow the HMXB of both types, SG and Be, to be better characterised by deriving accurate properties from these binaries. In addition, we have performed segmentation in the parameter space of donors intended for several SG-HMXB listed in our sample set. The parameter space can be categorised into five regimes, depending on the possibility of disk formation associated with accretion from the stellar wind. This can give a quantitative clarification of the observed variability and the properties of these objects. For most of the systems, we show that the derived system parameters are consistent with the assumption that the system is emitting X-rays through direct accretion. However, there are some sources (LMC X-4, Cen X-3 and OAO1657-415) that are not in the direct accretion regime, although they share similar donor parameters. This may indicate that these systems are transitioning from a normal wind accretion phase to partial RLOF regimes.


title: Criminal Fishing System Based on Wireless Local Area Network Access Points - Can Media Access Control address assist criminal investigation?

abstract: Currently, many Wi-Fi access points are being installed in urban areas. This paper considers how this infrastructure can be used to assist criminal investigations and improve public safety. We propose a criminal investigation assistance system that uses multiple wireless local area network (LAN) access points and cameras. The proposed "Criminal Fishing System" enumerates candidate media access control (MAC) addresses of culprits' mobile devices from probe request signals gathered by access points during the period in which a culprit is near the scene of an incident. Preliminary experiments demonstrated that the proposed system could identify the MAC address of the culprit's device, which would allow authorities to capture the culprit's radiowave fingerprint. After enumerating the candidate MAC addresses, the culprit's usual appearance can be obtained by surveilling these MAC addresses, especially when it changes less frequently. Moreover, the MAC address itself can be admissible as evidence that the culprit was near the scene of an incident, given that the MAC address is static, that is, it has not changed after the incident, or the original MAC address can be retrieved from the randomized MAC address.


title: Tool Breakage Detection using Deep Learning

abstract: In manufacture, steel and other metals are mainly cut and shaped during the fabrication process by computer numerical control (CNC) machines. To keep high productivity and efficiency of the fabrication process, engineers need to monitor the real-time process of CNC machines, and the lifetime management of machine tools. In a real manufacturing process, breakage of machine tools usually happens without any indication, this problem seriously affects the fabrication process for many years. Previous studies suggested many different approaches for monitoring and detecting the breakage of machine tools. However, there still exists a big gap between academic experiments and the complex real fabrication processes such as the high demands of real-time detections, the difficulty in data acquisition and transmission. In this work, we use the spindle current approach to detect the breakage of machine tools, which has the high performance of real-time monitoring, low cost, and easy to install. We analyze the features of the current of a milling machine spindle through tools wearing processes, and then we predict the status of tool breakage by a convolutional neural network(CNN). In addition, we use a BP neural network to understand the reliability of the CNN. The results show that our CNN approach can detect tool breakage with an accuracy of 93%, while the best performance of BP is 80%.


title: Two-leg ladder Bose Hubbard models with staggered fluxes

abstract: We investigate the ground state properties of ultracold atoms trapped in a two-leg ladder potential in the presence of an artificial magnetic field in a staggered configuration. We focus on the strongly interacting regime and use the Landau theory of phase transitions and a mean field Gutzwiller variational method to identify the stable superfluid phases and their boundaries with the Mott-insulator regime as a function of magnetic flux. In addition, we calculate the local and chiral currents of these superfluid phases, which show a staggered vortex anti-vortex configuration. The analytical results are confirmed by numerical simulations using a cluster mean-field theory approach.


title: Polynomial Parametrization for $\text{SL}_2$ over Quadratic Number Rings

abstract: If $R$ is the ring of integers of a number field, then there exists a polynomial parametrization of the set $\text{SL}_2(R)$, i.e., an element $A \in \text{SL}_2(\mathbb{Z}[x_1,\ldots,x_n])$ such that every element of $\text{SL}_2(R)$ is obtained by specializing $A$ via some homomorphism $\mathbb{Z}[x_1,\ldots,x_n]\to R$.


title: Stochastic epidemics in a homogeneous community

abstract: These notes describe stochastic epidemics in a homogenous community. Our main concern is stochastic compartmental models (i.e. models where each individual belongs to a compartment, which stands for its status regarding the epidemic under study : S for susceptible, E for exposed, I for infectious, R for recovered) for the spread of an infectious disease. In the present notes we restrict ourselves to homogeneously mixed communities. We present our general model and study the early stage of the epidemic in chapter 1. Chapter 2 studies the particular case of Markov models, especially in the asymptotic of a large population, which leads to a law of large numbers and a central limit theorem. Chapter 3 considers the case of a closed population, and describes the final size of the epidemic (i.e. the total number of individuals who ever get infected). Chapter 4 considers models with a constant influx of susceptibles (either by birth, immigration of loss of immunity of recovered individuals), and exploits the CLT and Large Deviations to study how long it takes for the stochastic disturbances to stop an endemic situation which is stable for the deterministic epidemic model. The document ends with an Appendix which presents several mathematical notions which are used in these notes, as well as solutions to many of the exercises which are proposed in the various chapters.


title: Some Aspects on Solving Transportation Problem

abstract: In this paper, we consider a class of transportation problems which arises in sample surveys and other areas of statistics. The associated cost matrices of these transportation problems are of special structure. We observe that the optimality of North West corner solution holds for the general problem where cost component is replaced by a convex function. We revisit assignment problem and present a weighted version of K$\ddot{o}$nig-Egerv$\acute{a}$ry theorem and Hungarian method. The weighted Hungarian method proposed in the paper can be used for solving transportation problem.


title: Sparse Multivariate ARCH Models: Finite Sample Properties

abstract: We provide finite sample properties of sparse multivariate ARCH processes, where the linear representation of ARCH models allows for an ordinary least squares estimation. Under the restricted strong convexity of the unpenalized loss function, regularity conditions on the penalty function, strict stationary and beta-mixing process, we prove non-asymptotic error bounds on the regularized ARCH estimator. Based on the primal-dual witness method of Loh and Wainwright (2017), we establish variable selection consistency, including the case when the penalty function is non-convex. These theoretical results are supported by empirical studies.


title: Identifying Implementation Bugs in Machine Learning based Image Classifiers using Metamorphic Testing

abstract: We have recently witnessed tremendous success of Machine Learning (ML) in practical applications. Computer vision, speech recognition and language translation have all seen a near human level performance. We expect, in the near future, most business applications will have some form of ML. However, testing such applications is extremely challenging and would be very expensive if we follow today's methodologies. In this work, we present an articulation of the challenges in testing ML based applications. We then present our solution approach, based on the concept of Metamorphic Testing, which aims to identify implementation bugs in ML based image classifiers. We have developed metamorphic relations for an application based on Support Vector Machine and a Deep Learning based application. Empirical validation showed that our approach was able to catch 71% of the implementation bugs in the ML applications.


title: The lower $p$-central series of a free profinite group and the shuffle algebra

abstract: For a prime number $p$ and a free profinite group $S$ on the basis $X$, let $S^{(n,p)}$, $n=1,2,\ldots$ be the lower $p$-central filtration of $S$. For $p>n$, we give a combinatorial description of $H^2(S/S^{(n,p)},\mathbb{Z}/p)$ in terms of the Shuffle algebra on $X$.


title: Conceptual Domain Adaptation Using Deep Learning

abstract: Deep learning has recently been shown to be instrumental in the problem of domain adaptation, where the goal is to learn a model on a target domain using a similar --but not identical-- source domain. The rationale for coupling both techniques is the possibility of extracting common concepts across domains. Considering (strictly) local representations, traditional deep learning assumes common concepts must be captured in the same hidden units. We contend that jointly training a model with source and target data using a single deep network is prone to failure when there is inherently lower-level representational discrepancy between the two domains; such discrepancy leads to a misalignment of corresponding concepts in separate hidden units. We introduce a search framework to correctly align high-level representations when training deep networks; such framework leads to the notion of conceptual --as opposed to representational-- domain adaptation.


title: Dynamo Action in the Steeply Decaying Conductivity Region of Jupiter-like Dynamo Models

abstract: The Juno mission is delivering spectacular data of Jupiter's magnetic field, while the gravity measurements finally allow constraining the depth of the winds observed at cloud level. However, to which degree the zonal winds contribute to the planet's dynamo action remains an open question. Here we explore numerical dynamo simulations that include an Jupiter-like electrical conductivity profile and successfully model the planet's large scale field. We concentrate on analyzing the dynamo action in the Steeply Decaying Conductivity Region (SDCR) where the high conductivity in the metallic Hydrogen region drops to the much lower values caused by ionization effects in the very outer envelope of the planet. Our simulations show that the dynamo action in the SDCR is strongly ruled by diffusive effects and therefore quasi stationary. The locally induced magnetic field is dominated by the horizontal toroidal field, while the locally induced currents flow mainly in the latitudinal direction. The simple dynamics can be exploited to yield estimates of surprisingly high quality for both the induced field and the electric currents in the SDCR. These could be potentially be exploited to predict the dynamo action of the zonal winds in Jupiter's SDCR but also in other planets.


title: Mitigation of Flooding and Slow DDoS Attacks in a Software-Defined Network

abstract: Distributed denial of service (DDoS) attacks are a constant threat for services in the Internet. This year, the record for the largest DDoS attack ever observed was set at 1.7 Tbps. Meanwhile, detection and mitigation mechanisms are still lacking behind. Many mitigation systems require the assistance by the victim - or the victim's administrator themself has to become active to mitigate attacks. We introduced a system that can detect attacks, identify attackers, and mitigate the attacks purely within the network infrastructure. With the improved flexibility of software-defined networks, new possibilities to mitigate such attacks can be implemented. In addition to our short paper on the mitigation of reflective DDoS attacks on LCN 2018, we also like to demonstrate our work on mitigating flooding attacks presented at LCN 2017 and our mitigation of slow DDoS attacks. In our demo, we show how these systems can be combined and how they work when faced with such different attacks.


title: KAM Theorem for a Hamiltonian system with Sublinear Growth Frequencies at Infinity

abstract: We prove an infinite-dimensional KAM theorem for a Hamiltonian system with sublinear growth frequencies at infinity. As an application, we prove the reducibility of the linear fractional Schr\"odinger equation with quasi-periodic time-dependent forcing.


title: Neural Networks Assist Crowd Predictions in Discerning the Veracity of Emotional Expressions

abstract: Crowd predictions have demonstrated powerful performance in predicting future events. We aim to understand crowd prediction efficacy in ascertaining the veracity of human emotional expressions. We discover that collective discernment can increase the accuracy of detecting emotion veracity from 63%, which is the average individual performance, to 80%. Constraining data to best performers can further increase the result up to 92%. Neural networks can achieve an accuracy to 99.69% by aggregating participants' answers. That is, assigning positive and negative weights to high and low human predictors, respectively. Furthermore, neural networks that are trained with one emotion data can also produce high accuracies on discerning the veracity of other emotion types: our crowdsourced transfer of emotion learning is novel. We find that our neural networks do not require a large number of participants, particularly, 30 randomly selected, to achieve high accuracy predictions, better than any individual participant. Our proposed method of assembling peoples' predictions with neural networks can provide insights for applications such as fake news prevention and lie detection.


title: Compiling Control as Offline Partial Deduction

abstract: We present a new approach to a technique known as compiling control, whose aim is to compile away special mechanisms for non-standard atom selection in logic programs. It has previously been conjectured that compiling control could be implemented as an instance of the first Futamura projection, in which an interpreter is specialized for an input program. However, the exact nature of such an interpreter and of the required technique for specialization were never specified. In this work, we propose a Prolog meta-interpreter which applies the desired non-standard selection rule and which is amenable to specialization using offline partial deduction. After the initial analysis phase of compiling control, we collect annotations to specialize the interpreter using the Logen system for offline partial deduction. We also show that the result of the specialization is equivalent to the program obtained using the traditional approach to compiling control. In this way, we simplify the synthesis step.


title: Adversarial Collaborative Auto-encoder for Top-N Recommendation

abstract: During the past decade, model-based recommendation methods have evolved from latent factor models to neural network-based models. Most of these techniques mainly focus on improving the overall performance, such as the root mean square error for rating predictions and hit ratio for top-N recommendation, where the users' feedback is considered as the ground-truth. However, in real-world applications, the users' feedback is possibly contaminated by imperfect user behaviours, namely, careless preference selection. Such data contamination poses challenges on the design of robust recommendation methods. In this work, to address the above issue, we propose a general adversial training framework for neural network-based recommendation models, which improves both the model robustness and the overall performance. We point out the tradeoffs between performance and robustness enhancement with detailed instructions on how to strike a balance. Specifically, we implement our approach on the collaborative auto-encoder, followed by experiments on three public available datasets: MovieLens-1M, Ciao, and FilmTrust. We show that our approach outperforms highly competitive state-of-the-art recommendation methods. In addition, we carry out a thorough analysis on the noise impacts, as well as the complex interactions between model nonlinearity and noise levels. Through simple modifications, our adversarial training framework can be applied to a host of neural network-based models whose robustness and performance are expected to be both enhanced.


title: Generalized Four Moment Theorem and an Application to CLT for Spiked Eigenvalues of Large-dimensional Covariance Matrices

abstract: We consider a more generalized spiked covariance matrix $\Sigma$, which is a general non-definite matrix with the spiked eigenvalues scattered into a few bulks and the largest ones allowed to tend to infinity. By relaxing the matching of the 4th moment to a tail probability decay, a {\it Generalized Four Moment Theorem} (G4MT) is proposed to show the universality of the asymptotic law for the local spectral statistics of generalized spiked covariance matrices, which implies the limiting distribution of the spiked eigenvalues of the generalized spiked covariance matrix is independent of the actual distributions of the samples satisfying our relaxed assumptions. Moreover, by applying it to the Central Limit Theorem (CLT) for the spiked eigenvalues of the generalized spiked covariance matrix, we also extend the result of Bai and Yao (2012) to a general form of the population covariance matrix, where the 4th moment is not necessarily required to exist and the spiked eigenvalues are allowed to be dependent on the non-spiked ones, thus meeting the actual cases better.


title: Observational Viability of an Inflation Model with E-Model non-Minimal Derivative Coupling

abstract: By starting with a two-fields model in which the fields and their derivatives are nonminimally coupled to gravity, and then by using a conformal gauge, we obtain a model in which the derivatives of the canonically normalized field are nonminimally coupled to gravity. By adopting some appropriate functions, we study two cases with constant and E-model nonminimal derivative coupling, while the potential in both cases is chosen to be E-model one. We show that in contrary to the single field $\alpha$-attractor model that there is an attractor \textit{point} in the large $N$ and small $\alpha$ limits, in our setup and for both mentioned cases there is an attractor \emph{line} in these limits that the $r-n_{s}$ trajectories tend to. By studying the linear and nonlinear perturbations in this setup and comparing the numerical results with Planck2015 observational data, we obtain some constraints on the free parameter $\alpha$. We show that by considering the E-model potential and coupling function, the model is observationally viable for all values of $M$ (mass scale of the model). We use the observational constraints on the tensor-to-scalar ratio and the consistency relation to obtain some constraints on the sound speed of the perturbations in this model. As a result, we show that in a nonminimal derivative $\alpha$-attractor model, it is possible to have small sound speed and therefore large non-Gaussianity.


title: A Smooth Double Proximal Primal-Dual Algorithm for a Class of Distributed Nonsmooth Optimization Problem

abstract: This technical note studies a class of distributed nonsmooth convex consensus optimization problem. The cost function is a summation of local cost functions which are convex but nonsmooth. Each of the local cost functions consists of a twice differentiable convex function and two lower semi-continuous convex functions. We call this problem as single-smooth plus double-nonsmooth (SSDN) problem. Under mild conditions, we propose a distributed double proximal primal-dual optimization algorithm. The double proximal operator is designed to deal with the difficulty caused by the unproximable property of the summation of those two nonsmooth functions. Besides, it can also guarantee that the proposed algorithm is locally Lipschitz continuous. An auxiliary variable in the double proximal operator is introduced to estimate the subgradient of the second nonsmooth function. Theoretically, we conduct the convergence analysis by employing Lyapunov stability theory. It shows that the proposed algorithm can make the states achieve consensus at the optimal point. In the end, nontrivial simulations are presented and the results demonstrate the effectiveness of the proposed algorithm.


title: Global-mean Vertical Tracer Mixing in Planetary Atmospheres II: Tidally Locked Planets

abstract: In Zhang $\&$ Showman (2018, hereafter Paper I), we developed an analytical theory of 1D eddy diffusivity $K_{zz}$ for global-mean vertical tracer transport in a 3D atmosphere. We also presented 2D numerical simulations on fast-rotating planets to validate our theory. On a slowly rotating planet such as Venus or a tidally locked planet (not necessarily a slow-rotator) such as a hot Jupiter, the tracer distribution could exhibit significant longitudinal inhomogeneity and tracer transport is intrinsically 3D. Here we study the global-mean vertical tracer transport on tidally locked planets using 3D tracer-transport simulations. We find that our analytical $K_{zz}$ theory in Paper I is validated on tidally locked planets over a wide parameter space. $K_{zz}$ strongly depends on the large-scale circulation strength, horizontal mixing due to eddies and waves and local tracer sources and sinks due to chemistry and microphysics. As our analytical theory predicted, $K_{zz}$ on tidally locked planets also exhibit three regimes In Regime I where the chemical and microphysical processes are uniformly distributed across the globe, different chemical species should be transported via different eddy diffusivity. In Regime II where the chemical and microphysical processes are non-uniform---for example, photochemistry or cloud formation that exhibits strong day-night contrast---the global-mean vertical tracer mixing does not always behave diffusively. In the third regime where the tracer is long-lived, non-diffusive effects are significant. Using species-dependent eddy diffusivity, we provide a new analytical theory of the dynamical quench points for disequilibrium tracers on tidally locked planets from first principles.


title: Strong Converse for Hypothesis Testing Against Independence over a Two-Hop Network

abstract: By proving a strong converse, we strengthen the weak converse result by Salehkalaibar, Wigger and Wang (2017) concerning hypothesis testing against independence over a two-hop network with communication constraints. Our proof follows by judiciously combining two recently proposed techniques for proving strong converse theorems, namely the strong converse technique via reverse hypercontractivity by Liu, van Handel, and Verd\'u (2017) and the strong converse technique by Tyagi and Watanabe (2018), in which the authors used a change-of-measure technique and replaced hard Markov constraints with soft information costs. The techniques used in our paper can also be applied to prove strong converse theorems for other multiterminal hypothesis testing against independence problems.


title: Do 5-minute oscillations of the Sun affect the magnetosphere and lithosphere of the Earth?

abstract: In this paper, we analyzed a number of problems that are relevant for the physics of solar-terrestrial relationships and the dynamics of geospheres. It is shown that permanent 5-minute oscillations of the photosphere, well known in helioseismology, probably influence regime of the ultra low frequency (ULF) geoelectromagnetic waves. We detected maxima at a period close to 5 min in the spectra of the ULF waves of SE, BMP and Pc5 types. As for the question of the influence of 5-minute oscillations of the photosphere on geoseismicity, the answer is negative. This could be foreseen in advance, but the very formulation of the question led unexpectedly to a turn of the topic and gave us an opportunity to discuss the problem of the hidden periodicity of natural processes synchronized by the world clock. The article was written during the authors' visit to the GO Borok IPE RAS in the summer of 2018. Keywords: gelioseismology, interplanetary plasma, Alfv\'en waves, Doppler effect, ultra-low-frequency oscillations, earthquakes, thunderstorms, human impact.


title: Fast three-dimensional phase retrieval in propagation-based x-ray tomography

abstract: The following paper describes a method for three-dimensional (3D) reconstruction of multi-material objects based on propagation-based X-ray phase-contrast tomography (PB-CT) with phase retrieval using the homogenous form of the Transport-of-Intensity equation (TIE-Hom). Unlike conventional PB-CT algorithms that perform phase retrieval of individual projections, the described post-reconstruction phase-retrieval method is applied in 3D to a localised region of the CT-reconstructed volume. We demonstrate via numerical simulations the accuracy and noise characteristics of the method under a variety of experimental conditions, comparing it to both conventional absorption tomography and two-dimensional (2D) TIE-Hom phase retrieval applied to projection images. The results indicate that the 3D post-reconstruction method generally achieves a modest improvement in noise suppression over existing PB-CT methods. It is also shown that potentially large computational gains over projection-based phase retrieval for multi-material samples are possible. In particular, constraining phase retrieval to a localised 3D region of interest reduces the overall computational cost and eliminates the need for multiple CT reconstructions and global 2D phase retrieval operations for each material within the sample.


title: Disorder-sensitive node-like small gap in FeSe

abstract: We investigate the band structure, nematic state and superconducting gap structure of two selected FeSe single crystals containing different amount of disorder. Transport and angle-resolved photoemission spectroscopy measurements show that the small amount of disorder has little effect to the band structure and the nematic state of FeSe. However, temperature and magnetic field dependencies of specific heat for the two samples are quite different. Wave-vector-dependent gap structure are obtained from the three dimensional field-angle-resolved specific heat measurements. A small gap with two vertical-line nodes or gap minima along the $k_z$ direction is found only in the sample with higher quality. Such symmetry-unprotected nodes or gap minima are found to be smeared out by small amount of disorder, and the gap becomes isotropic in the sample of lower quality. Our study reveals that the reported controversy on the gap structure of FeSe is due to the disorder-sensitive node-like small gap.


title: Stability analysis of dissipative systems subject to nonlinear damping via Lyapunov techniques

abstract: In this article, we provide a general strategy based on Lyapunov functionals to analyse global asymptotic stability of linear infinite-dimensional systems subject to nonlinear dampings under the assumption that the origin of the system is globally asymp-totically stable with a linear damping. To do so, we first characterize, in terms of Lyapunov functionals, several types of asymptotic stability for linear infinite-dimensional systems, namely the exponential and the polynomial stability. Then, we derive a Lyapunov functional for the nonlinear system, which is the sum of a Lyapunov functional coming from the linear system and another term with compensates the nonlinearity. Our results are then applied to the linearized Korteweg-de Vries equation and some wave equations.


title: Some results and a conjecture on certain subclasses of graphs according to the relations among certain energies, degrees and conjugate degrees of graphs

abstract: Let $G$ be a simple graph of order $n$ with degree sequence $(d)=(d_1,d_2,\ldots,d_n)$ and conjugate degree sequence $(d^*)=(d_1^*,d_2^*,\ldots,d_n^*)$. In \cite{AkbariGhorbaniKoolenObudi2010,DasMojallalGutman2017} it was proven that $\mathcal{E}(G)\leq \sum_{i=1}^{n} \sqrt{d_i}$ and $\sum_{i=1}^{n} \sqrt{d_i^*} \leq LEL(G) \leq IE(G) \leq \sum_{i=1}^{n} \sqrt{d_i}$, where $\mathcal{E}(G)$, $LEL(G)$ and $IE(G)$ are the energy, the Laplacian-energy-like invariant and the incidence energy of $G$, respectively, and in \cite{DasMojallalGutman2017} it was concluded that the class of all connected simple graphs of order $n$ can be dividend into four subclasses according to the position of $\mathcal{E}(G)$ in the order relations above. Then, they proposed a problem about characterizing all graphs in each subclass. In this paper, we attack this problem. First, we count the number of graphs of order $n$ in each of four subclasses for every $1\leq n \leq 8$ using a Sage code. Second, we present a conjecture on the ratio of the number of graphs in each subclass to the number of all graphs of order $n$ as $n$ approaches the infinity. Finally, as a first partial solution to the problem, we determine subclasses to which a path, a complete graph and a cycle graph of order $n\geq 1$ belong.


title: QCD Sum Rule for Open Strange Meson $K_1^\pm$ in Nuclear Matter

abstract: The properties of open strange meson $K_1^\pm$ in nuclear matter are estimated in the QCD sum rule approach. We obtain a relation between the in-medium mass and width of $K_1^-$ ($K_1^+$) in nuclear matter, and show that the upper limit of the mass shift is as large as -249 (-35) MeV. The spectral modification of the $K_1$ meson is possible to be probed by using kaon beams at J-PARC. Such measurement together with that of $K^*$ will shed light on how chiral symmetry is partially restored in nuclear matter.


title: Higher simple structure sets of lens spaces with the fundamental group of order $2^K$

abstract: Extending work of many authors we calculate the higher simple structure sets of lens spaces in the sense of surgery theory in the case when the fundamental group has order a power of $2$. As a corollary we also obtain a calculation of the simple structure set of the products of lens spaces and spheres of dimension grater or equal to $3$ in this case.


title: Computing Word Classes Using Spectral Clustering

abstract: Clustering a lexicon of words is a well-studied problem in natural language processing (NLP). Word clusters are used to deal with sparse data in statistical language processing, as well as features for solving various NLP tasks (text categorization, question answering, named entity recognition and others). Spectral clustering is a widely used technique in the field of image processing and speech recognition. However, it has scarcely been explored in the context of NLP; specifically, the method used in this (Meila and Shi, 2001) has never been used to cluster a general word lexicon. We apply spectral clustering to a lexicon of words, evaluating the resulting clusters by using them as features for solving two classical NLP tasks: semantic role labeling and dependency parsing. We compare performance with Brown clustering, a widely-used technique for word clustering, as well as with other clustering methods. We show that spectral clusters produce similar results to Brown clusters, and outperform other clustering methods. In addition, we quantify the overlap between spectral and Brown clusters, showing that each model captures some information which is uncaptured by the other.


title: Failure of Nielsen-Ninomiya theorem and fragile topology in two-dimensional systems with space-time inversion symmetry: application to twisted bilayer graphene at magic angle

abstract: We show that the Wannier obstruction and the fragile topology of the nearly flat bands in twisted bilayer graphene at magic angle are manifestations of the nontrivial topology of two-dimensional real wave functions characterized by the Euler class. To prove this, we examine the generic band topology of two dimensional real fermions in systems with space-time inversion $I_{ST}$ symmetry. The Euler class is an integer topological invariant classifying real two band systems. We show that a two-band system with a nonzero Euler class cannot have an $I_{ST}$-symmetric Wannier representation. Moreover, a two-band system with the Euler class $e_{2}$ has band crossing points whose total winding number is equal to $-2e_2$. Thus the conventional Nielsen-Ninomiya theorem fails in systems with a nonzero Euler class. We propose that the topological phase transition between two insulators carrying distinct Euler classes can be described in terms of the pair creation and annihilation of vortices accompanied by winding number changes across Dirac strings. When the number of bands is bigger than two, there is a $Z_{2}$ topological invariant classifying the band topology, that is, the second Stiefel Whitney class ($w_2$). Two bands with an even (odd) Euler class turn into a system with $w_2=0$ ($w_2=1$) when additional trivial bands are added. Although the nontrivial second Stiefel-Whitney class remains robust against adding trivial bands, it does not impose a Wannier obstruction when the number of bands is bigger than two. However, when the resulting multi-band system with the nontrivial second Stiefel-Whitney class is supplemented by additional chiral symmetry, a nontrivial second-order topology and the associated corner charges are guaranteed.


title: Towards Automated Data Integration in Software Analytics

abstract: Software organizations want to be able to base their decisions on the latest set of available data and the real-time analytics derived from them. In order to support "real-time enterprise" for software organizations and provide information transparency for diverse stakeholders, we integrate heterogeneous data sources about software analytics, such as static code analysis, testing results, issue tracking systems, network monitoring systems, etc. To deal with the heterogeneity of the underlying data sources, we follow an ontology-based data integration approach in this paper and define an ontology that captures the semantics of relevant data for software analytics. Furthermore, we focus on the integration of such data sources by proposing two approaches: a static and a dynamic one. We first discuss the current static approach with a predefined set of analytic views representing software quality factors and further envision how this process could be automated in order to dynamically build custom user analysis using a semi-automatic platform for managing the lifecycle of analytics infrastructures.


title: Neural Architecture Search: A Survey

abstract: Deep Learning has enabled remarkable progress over the last years on a variety of tasks, such as image recognition, speech recognition, and machine translation. One crucial aspect for this progress are novel neural architectures. Currently employed architectures have mostly been developed manually by human experts, which is a time-consuming and error-prone process. Because of this, there is growing interest in automated neural architecture search methods. We provide an overview of existing work in this field of research and categorize them according to three dimensions: search space, search strategy, and performance estimation strategy.


title: Local photo-mechanical stiffness revealed in gold nanoparticles supracrystals by ultrafast small-angle electron diffraction

abstract: We demonstrate that highly-ordered two-dimensional crystals of ligand-capped gold nanoparticles display a local photo-mechanical stiffness as high as that of solids such as graphite. In out-of equilibrium electron diffraction experiments, a strong temperature jump is induced in a thin film with a femtosecond laser pulse. The initial electronic excitation transfers energy to the underlying structural degrees of freedom, with a rate generally proportional to the stiffness of the material. With femtosecond small-angle electron diffraction, we observe the temporal evolution of the diffraction feature associated to the nearest-neighbor nanoparticle distance. The Debye-Waller decay for the octanethiol-capped nanoparticles supracrystal, in particular, is found to be unexpectedly fast, almost as fast as the stiffest solid known and observed by the same technique, i.e. graphite. Our observations unravel that local stiffness in a dense supramolecular assembly can be created by Van der Waals interactions up to a level comparable to crystalline systems characterized by covalent bonding.

categories: cond-mat.mes-hall cond-mat.dis-nn cond-mat.mtrl-sci cond-mat.soft physics.ins-det


title: Computer Modeling of Personal Autonomy and Legal Equilibrium

abstract: Empirical studies of personal autonomy as state and status of individual freedom, security, and capacity to control own life, particularly by independent legal reasoning, are need dependable models and methods of precise computation. Three simple models of personal autonomy are proposed. The linear model of personal autonomy displays a relation between freedom as an amount of agent's action and responsibility as an amount of legal reaction and shows legal equilibrium, the balance of rights and duties needed for sustainable development of any community. The model algorithm of judge personal autonomy shows that judicial decision making can be partly automated, like other human jobs. Model machine learning of autonomous lawyer robot under operating system constitution illustrates the idea of robot rights. Robots, i.e. material and virtual mechanisms serving the people, deserve some legal guarantees of their rights such as robot rights to exist, proper function and be protected by the law. Robots, actually, are protected as any human property by the wide scope of laws, starting with Article 17 of Universal Declaration of Human Rights, but the current level of human trust in autonomous devices and their role in contemporary society needs stronger legislation to guarantee the robot rights.


title: Egocentric Gesture Recognition for Head-Mounted AR devices

abstract: Natural interaction with virtual objects in AR/VR environments makes for a smooth user experience. Gestures are a natural extension from real world to augmented space to achieve these interactions. Finding discriminating spatio-temporal features relevant to gestures and hands in ego-view is the primary challenge for recognising egocentric gestures. In this work we propose a data driven end-to-end deep learning approach to address the problem of egocentric gesture recognition, which combines an ego-hand encoder network to find ego-hand features, and a recurrent neural network to discern temporally discriminating features. Since deep learning networks are data intensive, we propose a novel data augmentation technique using green screen capture to alleviate the problem of ground truth annotation. In addition we publish a dataset of 10 gestures performed in a natural fashion in front of a green screen for training and the same 10 gestures performed in different natural scenes without green screen for validation. We also present the results of our network's performance in comparison to the state-of-the-art using the AirGest dataset