title: Perpendicular magnetic anisotropy in bulk and thin-film CuMnAs for antiferromagnetic memory applications

abstract: CuMnAs with perpendicular magnetic anisotropy is proposed as an active material for antiferromagnetic memory. Information can be stored in the antiferromagnetic domain state, while writing and readout can rely on the existence of the surface magnetization. It is predicted, based on first-principles calculations, that easy-axis anisotropy can be achieved in bulk CuMnAs by substituting a few percent of As atoms by Ge, Si, Al, or B. This effect is attributed to the changing occupation of certain electronic bands near the Fermi level induced by the hole doping. The calculated temperature dependence of the magnetic anisotropy does not exhibit any anomalies. Thin CuMnAs(001) films are also predicted to have perpendicular magnetic anisotropy.


title: B- and D-meson leptonic decay constants and quark masses from four-flavor lattice QCD

abstract: We describe a recent lattice-QCD calculation of the leptonic decay constants of heavy-light pseudoscalar mesons containing charm and bottom quarks and of the masses of the up, down, strange, charm, and bottom quarks. Results for these quantities are of the highest precision to date. Calculations use 24 isospin-symmetric ensembles of gauge-field configurations with six different lattice spacings as small as approximately 0.03 fm and several values of the light quark masses down to physical values of the average up- and down-sea-quark masses. We use the highly-improved staggered quark (HISQ) formulation for valence and sea quarks, including the bottom quark. The analysis employs heavy-quark effective theory (HQET). A novel HQET method is used in the determination of the quark masses.


title: Pattern Formation and Oscillatory Dynamics in a Two-Dimensional Coupled Bulk-Surface Reaction-Diffusion System

abstract: On a two-dimensional circular domain, we analyze the formation of spatio-temporal patterns for a class of coupled bulk-surface reaction-diffusion models for which a passive diffusion process occurring in the interior bulk domain is linearly coupled to a nonlinear reaction-diffusion process on the domain boundary. For this coupled PDE system we construct a radially symmetric steady state solution and from a linearized stability analysis formulate criteria for which this base state can undergo either a Hopf bifurcation, a symmetry-breaking pitchfork (or Turing) bifurcation, or a codimension-two pitchfork-Hopf bifurcation. For each of these three types of bifurcations, a multiple time-scale asymptotic analysis is used to derive normal form amplitude equations characterizing the local branching behavior of spatio-temporal patterns in the weakly nonlinear regime. Among the novel aspects of this weakly nonlinear analysis are the two-dimensionality of the bulk domain, the systematic treatment of arbitrary reaction kinetics restricted to the boundary, the bifurcation parameters which arise in the boundary conditions, and the underlying spectral problem where both the differential operator and the boundary conditions involve the eigenvalue parameter. The normal form theory is illustrated for both Schnakenberg and Brusselator reaction kinetics, and the weakly nonlinear results are favorably compared with numerical bifurcation results and results from time-dependent PDE simulations of the coupled bulk-surface system. Overall, the results show the existence of either subcritical or supercritical Hopf and symmetry-breaking bifurcations, and mixed-mode oscillations characteristic of codimension-two bifurcations. Finally, the formation of global structures such as large amplitude rotating waves is briefly explored through PDE numerical simulations.


title: IGUG: A MATLAB package for $3$D inversion of gravity data using graph theory

abstract: The open source MATLAB package IGUG for 3D inversion of gravity data is presented. It is based on methodology that was introduced by Bijani et al (2015), in which a homogeneous subsurface body is modeled by an ensemble of simple point masses. The model parameters are the Cartesian coordinates of the point masses and their total mass. Associating the point masses to the vertices of a weighted full graph with weights computed by the Euclidean pairwise distances separating vertices, Kruskal's algorithm is used to find the minimum spanning tree of the graph. Stabilization is achieved using an equidistance function that restricts the spatial distribution of the masses and favors a homogeneous subsurface structure. A regularization parameter $\lambda$ is introduced to balance the two terms of the objective function, and reasonable physically-relevant bound constraints are imposed on the model parameters. Then the bound constrained objective function is solved using a genetic algorithm. A new diagnostic approach is presented for determining a suitable choice for $\lambda$, requiring a limited number of solutions for a small set of $\lambda$ without using the L-curve as suggested by Bijani et al. Simulations for synthetic examples demonstrate the efficiency and effectiveness of the implementation of the algorithm. It is verified that the constraints on the model parameters are not restrictive. Included in the package is the script GMD.m which is used for generating synthetic data and for putting measurement data in the format required for the inversion implemented by IGUG.m The script Diagnostic_Results.m is included for analyzing and visualizing the results. The software can be used to verify the simulations and the analysis of real data that is presented here, The real data set uses gravity data from the Mobrun ore body, north east of Noranda, Quebec, Canada.


title: Micromagnetic Simulations Study of Skyrmions in Magnetic FePt Nanoelements

abstract: The magnetization reversal in 330 nm triangular prismatic magnetic nanoelements with variable magnetocrystalline anisotropy similar to that of partially chemically ordered FePt is studied using micromagnetic simulations employing Finite Element discretizations. Several magnetic properties including the evaluation of the magnetic skyrmion number $S$ are computed in order to characterize magnetic configurations exhibiting vortex-like formations. Magnetic vortices and skyrmions are revealed in different systems generated by the variation of the magnitude and relative orientation of the magnetocrystalline anisotropy direction, with respect to the normal to the triangular prism base. Micromagnetic configurations with skyrmion number greater than one have been detected for the case where magnetocrystalline anisotropy was normal to nanoelement's base. For particular magnetocrystalline anisotropy values three distinct skyrmions are formed and persist for a range of external fields. The simulation-based calculations of the skyrmion number S revealed that skyrmions can be created for magnetic nanoparticle systems lacking of chiral interactions such as Dzyaloshinsky-Moriya, but by only varying the magnetocrystalline anisotropy.


title: Most vertex superalgebras associated to an odd unimodular lattice of rank 24 have an N=4 superconformal structure

abstract: Odd, positive-definite, integral, unimodular lattices N of rank 24 were classified by Borcherds. There are 273 isometry classes of such lattices. Associated to them are vertex superalgebras $V_N$ of central charge c=24. We show that at least 267 of these vertex operator superalgebras contain an N=4 superconformal subalgebra of central charge $c'=6$. This is achieved by studying embeddings $L+\subseteq N$ of a certain rank 6 lattice L+.


title: Embedding $\mathrm{C}^*$-algebras into the Calkin algebra

abstract: Every $\mathrm{C}^*$-algebra, regardless of its density character, can be embedded into the Calkin algebra in a forcing extension of the universe obtained without collapsing any cardinal.


title: Measurements of the 125 GeV Higgs boson at CMS

abstract: Results of the measurements of the 125 GeV Higgs boson properties with proton-proton collision data at $\sqrt{s}=13$ TeV collected by CMS detector are presented. The used Higgs boson decay channels include the five major decay modes, $\mathrm{H}\rightarrow\gamma\gamma$, $\mathrm{H}\rightarrow{\rm Z}{\rm Z}\rightarrow4\ell$, $\mathrm{H}\rightarrow{\rm W}{\rm W}\rightarrow\ell\nu\ell\nu$, $\mathrm{H}\rightarrow\tau^{+}\tau^{-}$ and $\mathrm{H}\rightarrow b\bar{b}$, and two rare decay modes, $\mathrm{H}\rightarrow\mu^{+}\mu^{-}$ and $\mathrm{H}\rightarrow{\rm Z}/\gamma^{*}+\gamma\rightarrow\ell\ell\gamma$, with $\ell={\rm e},\mu$. The measured Higgs boson properties include its mass, signal strength relative to the standard model prediction, signal strength modifiers for different Higgs boson production modes, coupling modifiers to fermions and bosons, effective coupling modifiers to photons and gluons, simplified template cross sections, fiducial cross sections. All results are consistent, within their uncertainties, with the expectations for the Standard Model Higgs boson.


title: Computational Convergence Analysis of Distributed Gradient Tracking for Smooth Convex Optimization Using Dissipativity Theory

abstract: We present a computational analysis that establishes the $O(1/K)$ convergence of the distributed gradient tracking method when the objective function is smooth and convex but not strongly convex. The analysis is inspired by recent work on applying dissipativity theory to the analysis of centralized optimization algorithms, in which convergence is proved by searching for a numerical certificate consisting of a storage function and a supply rate. We derive a base supply rate that can be used to analyze distributed optimization with non-strongly convex objective functions. The base supply rate is then used to create a class of supply rates by combining with integral quadratic constraints. Provided that the class of supply rates is rich enough, a numerical certificate of convergence can be automatically generated following a standard procedure that involves solving a linear matrix inequality. Our computational analysis is found capable of certifying convergence under a broader range of step sizes than what is given by the original analytic result.


title: Pulsed Schlieren Imaging of Ultrasonic Haptics and Levitation using Phased Arrays

abstract: Ultrasonic acoustic fields have recently been used to generate haptic effects on the human skin as well as to levitate small sub-wavelength size particles. Schlieren imaging and background-oriented schlieren techniques can be used for acoustic wave pattern and beam shape visualization. These techniques exploit variations in the refractive index of a propagation medium by applying refractive optics or cross-correlation algorithms of photographs of illuminated background patterns. Here both background-oriented and traditional schlieren systems are used to visualize the regions of the acoustic power involved in creating dynamic haptic sensations and dynamic levitation traps. We demonstrate for the first time the application of back-ground-oriented schlieren for imaging ultrasonic fields in air. We detail our imaging apparatus and present improved algorithms used to visualize these phenomena that we have produced using multiple phased arrays. Moreover, to improve imaging, we leverage an electronically controlled, high-output LED which is pulsed in synchrony with the ultrasonic carrier frequency.


title: Transport Spectroscopy of Sublattice-Resolved Resonant Scattering in Hydrogen-Doped Bilayer Graphene

abstract: We report the experimental observation of sublattice-resolved resonant scattering in bilayer graphene by performing simultaneous cryogenic atomic hydrogen doping and electron transport measurements in ultrahigh vacuum. This allows us to monitor the hydrogen adsorption on the different sublattices of bilayer graphene without atomic-scale microscopy. Specifically, we detect two distinct resonant scattering peaks in the gate-dependent resistance, which evolve as a function of atomic hydrogen dosage. Theoretical calculations show that one of the peaks originates from resonant scattering by hydrogen adatoms on the {\alpha}-sublattice (dimer site) while the other originates from hydrogen adatoms on the \b{eta}-sublattice (non-dimer site), thereby enabling a method for characterizing the relative sublattice occupancy via transport measurements. Utilizing this new capability, we investigate the adsorption and thermal desorption of hydrogen adatoms via controlled annealing and conclude that hydrogen adsorption on the \b{eta}-sublattice is energetically favored. Through site-selective desorption from the {\alpha}-sublattice, we realize hydrogen doping with adatoms primarily on a single sublattice, which is highly desired for generating ferromagnetism.


title: Layered Chaos in Mean-field and Quantum Many-body Dynamics

abstract: We investigate the dimension of the phase space attractor of a quantum chaotic many-body ratchet in the mean-field limit. Specifically, we explore a driven Bose-Einstein condensate in three distinct dynamical regimes - Rabi oscillations, chaos, and self-trapping regime, and for each of them we calculate the correlation dimension. For the ground state of the ratchet formed by a system of field-free non-interacting particles, we find four distinct pockets of chaotic dynamics throughout these regimes. We show that a measurement of a local density in each of the dynamical regimes, has an attractor characterized with a higher fractal dimension, $D_{R}=2.59\pm0.01$, $D_{C}=3.93\pm0.04$, and $D_{S}=3.05\pm0.05$, as compared to the global measure of current, $D_{R}=2.07\pm0.02$, $D_{C}=2.96\pm0.05$, and $D_{S}=2.30\pm0.02$. We find that the many-body case converges to mean-field limit with strong sub-unity power laws in particle number $N$, namely $N^{\alpha}$ with $\alpha_{R}={0.28\pm0.01}$, $\alpha_{C}={0.34\pm0.067}$ and $\alpha_{S}={0.90\pm0.24}$ for each of the dynamical regimes mentioned above. The deviation between local and global measurement of the attractor's dimension corresponds to an increase towards high condensate depletion which remains constant for long time scales in both Rabi and chaotic regimes. The depletion is found to scale polynomially with particle number as $N^{\beta}$ with $\beta_{R}={0.51\pm0.004}$ and $\beta_{C}={0.18\pm0.004}$ for the two regimes. Thus, we find a strong deviation from the mean-field results, especially in the chaotic regime of the quantum ratchet. The ratchet also reveals quantum revivals in the Rabi and self-trapped regimes but not in the chaotic regime. Based on the obtained results we outline pathways for the identification and characterization of the emergent phenomena in driven many-body systems.


title: On the limitations of some popular numerical models of flagellated microswimmers: importance of long-range forces and flagellum waveform

abstract: For a sperm cell-like flagellated swimmer in an unbounded domain, several numerical models of different fidelity are considered based on the Stokes flow approximation. The models include a Regularised Stokeslet Method and a 3D Finite Element Method, which serve as the benchmark solutions for several approximate models considered. The latter include the Resistive Force Theory versions of Lighthill and Gray and Hancock as well as a simplified approximation based on computing the hydrodynamic forces exerted on the head and the flagellum separately. It is shown how none of the simplified models is robust enough with regards to predicting the effect of the swimmer head shape change on the swimmer dynamics. For a range of swimmer motions considered, the resulting solutions for the swimmer force and velocities are analysed and the applicability of the Stokes model for the swimmers in question is probed.


title: On the Cauchy problem for nondegenerate parabolic integro-differential equations in the scale of generalized H\"older spaces

abstract: Parabolic integro-differential non degenerate Cauchy problem is considered in the scale of H\"older spaces of functions whose regularity is defined by a radially O-regularly varying L\'evy measure. Existence and uniqueness and the estimates of the solution are derived.


title: Anisotropic solutions of the time-fractional diffusion equation in multiple dimensions

abstract: Anomalous diffusion phenomena are ubiquitous in complex media, such as biological tissues. A wide class of sub-diffusive phenomena phenomena is described by the time-fractional diffusion equation. The paper investigates the case of anisotropic fractional diffusion in the Euclidean space. The solution of the fractional sub-diffusion equation can be expressed in terms of the Wright function and its spatial derivatives, parametrized by the directional unit vector (or alternatively a normal hyperplane). Moreover, the multidimensional case could be expressed as a transformation of the one-dimensional case.


title: CTEQ-TEA parton distribution functions with intrinsic charm

abstract: The possibility of a (sizable) nonperturbative contribution to the charm parton distribution function (PDF) in a nucleon is investigated together with theoretical issues arising in its interpretation. Results from the global PDF analysis are presented. The separation of the universal component of the nonperturbative charm from the rest of the radiative contributions is discussed and the potential impact of a nonperturbative charm PDF on LHC scattering processes is illustrated. An estimate of nonperturbative charm magnitude in the CT14 and CT14HERA2 global QCD analyses at the next-to-next-to leading order (NNLO) in the QCD coupling strength is given by including the latest experimental data from HERA and the Large Hadron Collider (LHC). A comparison between different models of intrinsic charm is shown and prospects for standard candle observables at the LHC are illustrated.


title: Hyperuniform and rigid stable matchings

abstract: We study a stable partial matching $\tau$ of the (possibly randomized) $d$-dimensional lattice with a stationary determinantal point process $\Psi$ on $\mathbb{R}^d$ with intensity $\alpha>1$. For instance, $\Psi$ might be a Poisson process. The matched points from $\Psi$ form a stationary and ergodic (under lattice shifts) point process $\Psi^\tau$ with intensity $1$ that very much resembles $\Psi$ for $\alpha$ close to $1$. On the other hand $\Psi^\tau$ is hyperuniform and number rigid, quite in contrast to a Poisson process. We deduce these properties by proving more general results for a stationary point process $\Psi$, whose so-called matching flower (a stopping set determining the matching partner of a lattice point) has a certain subexponential tail behaviour. For hyperuniformity, we also additionally need to assume some mixing condition on $\Psi$. Further, if $\Psi$ is a Poisson process then $\Psi^\tau$ has an exponentially decreasing truncated pair correlation function.


title: The Dense Gas Fraction in Galactic Center Clouds

abstract: We present an analysis of gas densities in the central R=300 parsecs of the Milky Way, focusing on three clouds: GCM-0.02-0.07 (the 50 km/s cloud), GCM-0.13-0.08 (the 20 km/s cloud), and GCM0.25+0.01 (the "Brick"). Densities are determined using observations of the J=(3-2), (4-3), (5-4), (10-9), (18-17), (19-18), (21-20), and (24-23) transitions of the molecule HC3N. We find evidence of at least two excitation regimes for HC3N and constrain the low-excitation component to have a density less than 10^4 cm^-3 and the high-excitation component to have a density between 10^5 and 10^6 cm^-3. This is much less than densities of 10^7 cm^-3 that are found in Sgr B2, the most actively star-forming cloud in the Galactic center. This is consistent with the requirement of a higher density threshold for star formation in the Galactic center than is typical in the Galactic disk. We are also able to constrain the column density of each component in order to determine the mass fraction of 'dense' (n>10^5 cm^-3) gas for these clouds. We find that this is ~15% for all three clouds. Applying the results of our models to ratios of the (10-9) and (3-2) line across the entire central R=300 pc, we find that the fraction of gas with n>10^4 cm^-3 increases inward of a radius of ~140 pc, consistent with the predictions of recent models for the gas dynamics in this region. Our observations show that HC3N is an excellent molecule for probing the density structure of clouds in the Galactic center.


title: Older Adults and Crowdsourcing: Android TV App for Evaluating TEDx Subtitle Quality

abstract: In this paper we describe the insights from an exploratory qualitative pilot study testing the feasibility of a solution that would encourage older adults to participate in online crowdsourcing tasks in a non-computer scenario. Therefore, we developed an Android TV application using Amara API to retrieve subtitles for TEDx talks which allows the participants to detect and categorize errors to support the quality of the translation and transcription processes. It relies on the older adults' innate skills as long-time native language users and the motivating factors of this socially and personally beneficial task. The study allowed us to verify the underlying concept of using Smart TVs as interfaces for crowdsourcing, as well as possible barriers, including the interface, configuration issues, topics and the process itself. We have also assessed the older adults' interaction and engagement with this TV-enabled online crowdsourcing task and we are convinced that the design of our setup addresses some key barriers to crowdsourcing by older adults. It also validates avenues for further research in this area focused on such considerations as autonomy and freedom of choice, familiarity, physical and cognitive comfort as well as building confidence and the edutainment value.


title: On asymptotic phase of dynamical system hyperbolic along attracting invariant manifold

abstract: We consider a dynamical system which has the hyperbolic structure along an attracting invariant manifold $M$. The problem is whether every motion starting in a neighborhood of $M$ possesses an asymptotic phase, i.e. eventually approaches a particular motion on $M$. Earlier, positive solutions to the problem were obtained under the condition that the decay rate of solutions toward the manifold exceeds the decay rate of the solutions within the manifold. We show that in our case the above condition is not necessary. To prove that a neighborhood of $M$ is filled with motions for each of which there exists an asymptotic phase we apply the Brouwer fixed point theorem. An invariant foliation structure which appears in the neighborhood of $M$ is discussed.


title: The unphysical character of dark energy fluids

abstract: It is well known that, in the context of general relativity, an unknown kind of matter that must violate the strong energy condition is required to explain the current accelerated phase of expansion of the Universe. This unknown component is called dark energy and is characterized by an equation of state parameter $w=p/\rho<-1/3$. Thermodynamic stability requires that $3w-d\ln |w|/d\ln a\ge0$ and positiveness of entropy that $w\ge-1$. In this paper we proof that we cannot obtain a differentiable function $w(a)$ to represent the dark energy that satisfies these conditions trough the entire history of the Universe.


title: On-line partitioning of width w posets into w^O(log log w) chains

abstract: An on-line chain partitioning algorithm receives the elements of a poset one at a time, and when an element is received, irrevocably assigns it to one of the chains. In this paper, we present an on-line algorithm that partitions posets of width $w$ into $w^{O(\log{\log{w}})}$ chains. This improves over previously best known algorithms using $w^{O(\log{w})}$ chains by Bosek and Krawczyk and by Bosek, Kierstead, Krawczyk, Matecki, and Smith. Our algorithm runs in $w^{O(\sqrt{w})}n$ time, where $w$ is the width and $n$ is the size of a presented poset.


title: On a class of compressible viscoelastic rate-type fluids with stress--diffusion

abstract: We develop a mathematical theory for a class of compressible viscoelastic rate-type fluids with stress diffusion. Our approach is based on the concepts used in the nowadays standard theory of compressible Newtonian fluids as renormalization, effective viscous flux identity, compensated compactness. The presence of the extra stress, however, requires substantial modification of these techniques, in particular, a new version of the effective viscous flux identity is derived. With help of these tools, we show the existence of global--in--time weak solutions for any finite energy initial data.


title: Detecting Changes in User Preferences using Hidden Markov Models for Sequential Recommendation Tasks

abstract: Recommender systems help users find relevant items of interest based on the past preferences of those users. In many domains, however, the tastes and preferences of users change over time due to a variety of factors and recommender systems should capture these dynamics in user preferences in order to remain tuned to the most current interests of users. In this work we present a recommendation framework based on Hidden Markov Models (HMM) which takes into account the dynamics of user preferences. We propose a HMM-based approach to change point detection in the sequence of user interactions which reflect significant changes in preference according to the sequential behavior of all the users in the data. The proposed framework leverages the identified change points to generate recommendations in two ways. In one approach change points are used to create a sequence-aware non-negative matrix factorization model to generate recommendations that are aligned with the current tastes of user. In the second approach the HMM is used directly to generate recommendations taking into account the identified change points. These models are evaluated in terms of accuracy of change point detection and also the effectiveness of recommendations using a real music streaming dataset.


title: The outer hair cell of the organ of Corti possesses a voltage-dependent motile frequency response: evidence for the frequency-dependent compliance of prestin

abstract: The outer hair cell (OHC) of the organ of Corti underlies a mechanically based process that enhances hearing, termed cochlear amplification. The cell possesses a unique motor protein, prestin, which senses voltage and consequently changes conformation to cause large cell length changes, termed electromotility (eM). In OHCs studied in vitro, the prestin voltage sensor generates a capacitance that is both voltage and frequency dependent, peaking in magnitude at a characteristic membrane voltage (Vh), which can be greater than the linear capacitance of the cell. Consequently, the OHC membrane time constant is multifarious depending upon resting potential and frequency of AC evaluation. After precisely correcting for this influence on the whole-cell voltage clamp time constant, we find that OHC eM is low pass in nature, substantially attenuating in magnitude within the frequency bandwidth of human speech. The frequency response is slowest at Vh, with a cut-off near 1.5 kHz, but increases up to six-fold in a U shaped manner as holding voltage deviates from Vh. NLC measures follow this pattern. Viscous drag alone cannot account for such eM behavior; nor can it arise from viscous drag in combination with a sigmoidal voltage-dependent OHC stiffness. However, viscous drag combined with kinetics of prestin, likely corresponding to its bell-shaped conformational gating compliance (Iwasa, 2000), is in line with our observations. How OHC eM influences cochlear amplification at higher frequencies needs reconsideration.


title: Bayesian network marker selection via the thresholded graph Laplacian Gaussian prior

abstract: Selecting informative nodes over large-scale networks becomes increasingly important in many research areas. Most existing methods focus on the local network structure and incur heavy computational costs for the large-scale problem. In this work, we propose a novel prior model for Bayesian network marker selection in the generalized linear model (GLM) framework: the Thresholded Graph Laplacian Gaussian (TGLG) prior, which adopts the graph Laplacian matrix to characterize the conditional dependence between neighboring markers accounting for the global network structure. Under mild conditions, we show the proposed model enjoys the posterior consistency with a diverging number of edges and nodes in the network. We also develop a Metropolis-adjusted Langevin algorithm (MALA) for efficient posterior computation, which is scalable to large-scale networks. We illustrate the superiorities of the proposed method compared with existing alternatives via extensive simulation studies and an analysis of the breast cancer gene expression dataset in the Cancer Genome Atlas (TCGA).


title: Structural dynamics in hybrid halide perovskites: Bulk Rashba splitting, spin texture, and carrier localization

abstract: The extended carrier lifetime in hybrid halide perovskites was attributed to a quasi-indirect band gap that arises due to Rashba splitting in both conduction and valence band edges. In this paper, we present results for an effective relativistic band structure of (CH3NH3)PbI3 with the focus on the dispersion of electronic states near the band edges of (CH3NH3)PbI3 affected by thermal structural fluctuations. We establish a relation between the magnitude of Rashba splitting and a deviation of Pb-atom from its centrosymmetric site position in the PbI6 octahedron. For the splitting energy to reach the thermal energy kT~26 meV (room temperature), the displacement should be of the order 0.3 Ang, which is far above the static displacements of Pb-atoms in the tetragonal phase of (CH3NH3)PbI3. The significant dynamic enhancement of the Rashba splitting observed at earlier simulation times (less than 2 ps) later weakens and becomes less than the thermal energy despite the average displacement of Pb-atoms remaining large (0.37 Ang). It is randomization of Pb-displacement vectors and associated cancelation of the net effective magnetic field acting on electrons at the conduction band edge is responsible for reduction of the Rashba splitting. The lattice dynamics also leads to deterioration of Bloch character for states in the valence band leading to subsequent localization of holes, which affects bipolar mobility of charge carriers in (CH3NH3)PbI3. These results call into question the quasi-indirect band gap as a reason for the long carrier lifetime observed in (CH3NH3)PbI3 at room temperature. An alternative mechanism involves dynamic localization of holes and their reduced overlap with electrons in reciprocal space.


title: Wireless Powered Cooperative Relaying using NOMA with Imperfect CSI

abstract: The impact of imperfect channel state (CSI) information in an energy harvesting (EH) cooperative non-orthogonal multiple access (NOMA) network, consisting of a source, two users, and an EH relay is investigated in this paper. The relay is not equipped with a fixed power source and acts as a wireless powered node to help signal transmission to the users. Closed-form expressions for the outage probability of both users are derived under imperfect CSI for two different power allocation strategies namely fixed and dynamic power allocation. Monte Carlo simulations are used to numerically evaluate the effect of imperfect CSI. These results confirm the theoretical outage analysis and show that NOMA can outperform orthogonal multiple access even with imperfect CSI.


title: A Note on Congruences of Infinite Bounded Involution Lattices

abstract: We prove that an infinite (bounded) involution lattice and even pseudo--Kleene algebra can have any number of congruences between $2$ and its number of elements or equalling its number of subsets, regardless of whether it has as many ideals as elements or as many ideals as subsets; consequently, the same holds for antiortholattices. Under the Generalized Continuum Hypothesis, this means that an infinite (bounded) involution lattice, pseudo--Kleene algebra or antiortholattice can have any number of congruences between $2$ and its number of subsets, regardless of its number of ideals.


title: MultiWOZ -- A Large-Scale Multi-Domain Wizard-of-Oz Dataset for Task-Oriented Dialogue Modelling

abstract: Even though machine learning has become the major scene in dialogue research community, the real breakthrough has been blocked by the scale of data available. To address this fundamental obstacle, we introduce the Multi-Domain Wizard-of-Oz dataset (MultiWOZ), a fully-labeled collection of human-human written conversations spanning over multiple domains and topics. At a size of $10$k dialogues, it is at least one order of magnitude larger than all previous annotated task-oriented corpora. The contribution of this work apart from the open-sourced dataset labelled with dialogue belief states and dialogue actions is two-fold: firstly, a detailed description of the data collection procedure along with a summary of data structure and analysis is provided. The proposed data-collection pipeline is entirely based on crowd-sourcing without the need of hiring professional annotators; secondly, a set of benchmark results of belief tracking, dialogue act and response generation is reported, which shows the usability of the data and sets a baseline for future studies.


title: Tithonus: A Bitcoin Based Censorship Resilient System

abstract: Providing reliable and surreptitious communications is difficult in the presence of adaptive and resourceful state level censors. In this paper we introduce Tithonus, a framework that builds on the Bitcoin blockchain and network to provide censorship-resistant communication mechanisms. In contrast to previous approaches, we do not rely solely on the slow and expensive blockchain consensus mechanism but instead fully exploit Bitcoin's peer-to-peer gossip protocol. We develop adaptive, fast and cost effective data communication solutions that camouflage client requests into inconspicuous Bitcoin transactions. We propose solutions to securely request and transfer content, with unobservability and censorship resistance, and free, pay-per-access and subscription based payment options. When compared to state-of-the-art Bitcoin writing solutions, Tithonus reduces the cost of transferring data to censored clients by 2 orders of magnitude and increases the goodput by 3 to 5 orders of magnitude. We show that Tithonus client initiated transactions are hard to detect, while server initiated transactions cannot be censored without creating split world problems to the Bitcoin blockchain.


title: ABALONE Photosensors for the IceCube Experiment

abstract: The ABALONE Photosensor Technology (U.S. Pat. 9064678) is a modern, scalable technology specifically invented for cost effective mass production, robustness, and high performance. We present the performance of advanced fused silica ABALONE Photosensors, developed specifically for the potential extension of the Ice Cube neutrino experiment, and stress tested for 120 days. The resulting performance makes a significant difference: intrinsic gain in the high 100 million range, total afterpulsing rate of only 0.005 ions per photoelectron, subnanosecond timing resolution, single photon sensitivity, and unique radiopurity and UV sensitivity, thanks to the fused silica components, at no additional cost to the assembly process.

categories: physics.ins-det astro-ph.HE hep-ex nucl-ex


title: Community-Based Security for the Internet of Things

abstract: With more and more devices becoming connectable to the internet, the number of services but also a lot of threats increases dramatically. Security is often a secondary matter behind functionality and comfort, but the problem has already been recognized. Still, with many IoT devices being deployed already, security will come step-by-step and through updates, patches and new versions of apps and IoT software. While these updates can be safely retrieved from app stores, the problems kick in via jailbroken devices and with the variety of untrusted sources arising on the internet. Since hacking is typically a community effort? these days, security could be a community goal too. The challenges are manifold, and one reason for weak or absent security on IoT devices is their weak computational power. In this chapter, we discuss a community based security mechanism in which devices mutually aid each other in secure software management. We discuss game-theoretic methods of community formation and light-weight cryptographic means to accomplish authentic software deployment inside the IoT device community.


title: Multi-Layer Cyber-Physical Security and Resilience for Smart Grid

abstract: The smart grid is a large-scale complex system that integrates communication technologies with the physical layer operation of the energy systems. Security and resilience mechanisms by design are important to provide guarantee operations for the system. This chapter provides a layered perspective of the smart grid security and discusses game and decision theory as a tool to model the interactions among system components and the interaction between attackers and the system. We discuss game-theoretic applications and challenges in the design of cross-layer robust and resilient controller, secure network routing protocol at the data communication and networking layers, and the challenges of the information security at the management layer of the grid. The chapter will discuss the future directions of using game-theoretic tools in addressing multi-layer security issues in the smart grid.


title: Proxy Controls and Panel Data

abstract: We provide new results for nonparametric identification, estimation, and inference of causal effects using `proxy controls': observables that are noisy but informative proxies for unobserved confounding factors. Our analysis applies to cross-sectional settings but is particularly well-suited to panel models. Our identification results motivate a simple and `well-posed' nonparametric estimator. We derive convergence rates for the estimator and construct uniform confidence bands with asymptotically correct size. In panel settings, our methods provide a novel approach to the difficult problem of identification with non-separable, general heterogeneity and fixed $T$. In panels, observations from different periods serve as proxies for unobserved heterogeneity and our key identifying assumptions follow from restrictions on the serial dependence structure. We apply our methods to two empirical settings. We estimate consumer demand counterfactuals using panel data and we estimate causal effects of grade retention on cognitive performance.


title: Overcoming the Memory Bottleneck in Auxiliary Field Quantum Monte Carlo Simulations with Interpolative Separable Density Fitting

abstract: We investigate the use of interpolative separable density fitting (ISDF) as a means to reduce the memory bottleneck in auxiliary field quantum Monte Carlo (AFQMC) simulations of real materials in Gaussian basis sets. We find that ISDF can reduce the memory scaling of AFQMC simulations from $\mathcal{O}(M^4)$ to $\mathcal{O}(M^2)$. We test these developments by computing the structural properties of Carbon in the diamond phase, comparing to results from existing computational methods and experiment.


title: Universal quantum gates between nitrogen-vacancy centers in a levitated nanodiamond

abstract: We propose a scheme to realize universal quantum gates between nitrogen-vacancy (NV) centers in an optically trapped nanodiamond, through uniform magnetic field induced coupling between the NV centers and the torsional mode of the levitated nanodiamond. The gates are tolerant to the thermal noise of the torsional mode. By combining the scheme with dynamical decoupling technology, it is found that the high fidelity quantum gates are possible for the present experimental conditions. The proposed scheme is useful for NV-center-based quantum network and distributed quantum computation


title: Statistical Thermodynamics of Crystal Plasticity

abstract: This article is written in memory of Pierre Hohenberg with appreciation for his deep commitment to the basic principles of theoretical physics. I summarize recent developments in the theory of dislocation-enabled deformation of crystalline solids. This topic is especially appropriate for the Journal of Statistical Physics because materials scientists, for decades, have asserted that statistical thermodynamics is inapplicable to dislocations. By use of simple, first-principles analyses and comparisons with experimental data, I argue that these materials scientists have been wrong, and that this field should now be revisited because of its broad-ranging intellectual and technological importance.


title: Probing molecular environments with a Fictitious isotopic dipole

abstract: A HD-like isotopic dipole moment is proposed as a sensible probe for molecular environments, in particular for electrostatic fields and polarizable (reactive) sites of molecules. Fictitious nuclear masses are chosen in order to yield a rigid dipole with appropriate magnitude. Upon subtracting the Born-Oppenheimer energy, the interaction is reduced to the Field-dipole-like and the dipole-polarizability-like terms, the last one being particularly informative since connected to potentially reactive sites. The Field strength and orientation are easily obtained by identifying the minimum Field-dipole energy configuration and flipping the dipole from it. In this case the method appears to have a superior accuracy in comparison with ab initio approaches. In tests with hydrogen, water, benzene and chlorobenzene molecules and with a frustrated Lewis pair, the potential of the method is assessed.


title: Optical tweezers as a mathematically driven spatio-temporal potential generator

abstract: The ability to create and manipulate the spatio-temporal potentials is essential in the diverse fields of science and technology. Here, we introduce an optical feedback trap system based on a high precision position detection and an ultrafast feedback control of a Brownian particle in the optical tweezers to generate spatio-temporal virtual potentials of the desired shape in a controlled manner. As an application, we study nonequilibrium fluctuation dynamics of the particle in a time-varying virtual harmonic potential and validate the Crooks fluctuation theorem in highly nonequilibrium condition.


title: A Sheet of Maple to Compute Second-Order Edgeworth Expansions and Related Quantities of any Function of the Mean of an iid Sample of an Absolutely Continuous Distribution

abstract: We designed a completely automated Maple ($\geqslant 15$) worksheet for deriving Edgeworth and Cornish-Fisher expansions as well as the acceleration constant of the bootstrap bias-corrected and accelerated technique. It is valid for non-parametric or parametric bootstrap, of any (studentized) statistics that is -a regular enough- function of the mean of an iid sample of an absolutely continuous distribution. This worksheet allowed us to point out one error in the second-order Cornish-Fisher expansion of the studentized mean stated in Theorem 13.5 by Das Gupta in [8, p. 194] as well as lay the stress on the influence of the slight change of the normalizing constant when computing the second-order Edgeworth and Cornish-Fisher expansions of the t-distribution as stated in Theorem 11.4.2 by Lehman and Romano in [14, p. 460]. In addition, we successfully applied the worksheet to a complex maximum likelihood estimator as a first step to derive more accurate confidence intervals in order to enhance quality controls. The worksheet also features export of Maple results into R code. In addition, we provide R code to plot these expansions as well as their increasing rearrangements. All these supplemental materials are available upon request.


title: Cyber Insurance

abstract: This chapter will first present a principal-agent game-theoretic model to capture the interactions between one insurer and one user. The insurer is deemed as the principal who does not have incomplete information about user's security policies. The user, which refers to the infrastructure operator or the customer, implements his local protection and pays a premium to the insurer. The insurer designs an incentive compatible insurance mechanism that includes the premium and the coverage policy, while the user determines whether to participate in the insurance and his effort to defend against attacks. The chapter will also focus on an attack-aware cyber insurance model by introducing the adversarial behaviors into the framework. The behavior of an attacker determines the type of cyber threats, e.g. denial of service (DoS) attacks, data breaches, phishing and spoofing. The distinction of threat types plays a role in determining the type of losses and the coverage policies. The data breaches can lead to not only financial losses but also damage of the reputations. The coverage may only cover certain agreed percentage of the financial losses.


title: Global Solution for Gas-Liquid Flow of 1-D van der Waals Equation of State with Large Initial Data

abstract: This paper is concerned with a diffuse interface model for the gas-liquid phase transition. The model consists the compressible Navier-Stokes equations with van der Waals equation of state and a modified Allen-Cahn equation. The global existence and uniqueness of strong solution with the periodic boundary condition (or the mixed boundary condition) in one dimensional space is proved for large initial data. Furthermore, the phase variable and the density of the gas-liquid mixture are proved to stay in the physical reasonable interval. The proofs are based on the elementary energy method and the maximum principle, but with new development, where some techniques are introduced to establish the uniform bounds of the density and to treat the non-convexity of the pressure function.


title: Analysis of Limited-Memory BFGS on a Class of Nonsmooth Convex Functions

abstract: The limited memory BFGS (L-BFGS) method is widely used for large-scale unconstrained optimization, but its behavior on nonsmooth problems has received little attention. L-BFGS can be used with or without "scaling"; the use of scaling is normally recommended. A simple special case, when just one BFGS update is stored and used at every iteration, is sometimes also known as memoryless BFGS. We analyze memoryless BFGS with scaling, using any Armijo-Wolfe line search, on the function $f(x) = a|x^{(1)}| + \sum_{i=2}^{n} x^{(i)}$, initiated at any point $x_0$ with $x_0^{(1)}\not = 0$. We show that if $a\ge 2\sqrt{n-1}$, the absolute value of the normalized search direction generated by this method converges to a constant vector, and if, in addition, $a$ is larger than a quantity that depends on the Armijo parameter, then the iterates converge to a non-optimal point $\bar x$ with $\bar x^{(1)}=0$, although $f$ is unbounded below. As we showed in previous work, the gradient method with any Armijo-Wolfe line search also fails on the same function if $a\geq \sqrt{n-1}$ and $a$ is larger than another quantity depending on the Armijo parameter, but scaled memoryless BFGS fails under a weaker condition relating $a$ to the Armijo parameter than that implying failure of the gradient method. Furthermore, in sharp contrast to the gradient method, if a specific standard Armijo-Wolfe bracketing line search is used, scaled memoryless BFGS fails when $a\ge 2 \sqrt{n-1} $ regardless of the Armijo parameter. Finally, numerical experiments indicate that similar results hold for scaled L-BFGS with any fixed number of updates.


title: Axino abundances in high-scale supersymmetry

abstract: We consider the thermal production of axino dark matter in high-scale supersymmetry where all the superpartners except the axino are heavier than the maximum and reheating temperatures. In this case, the axinos are produced dominantly in pairs from the scattering of SM particles in thermal plasma in the early Universe after inflation. We find that the thermal averaged scattering cross section for the axino pair production is given by $\langle\sigma v\rangle \propto T^4$ in Kim-Shifman-Vainstein-Zakharov (KSVZ) axion model, while it does not depend on the temperature in Dine-Fischler-Srednicki-Zhitnitski (DFSZ) axion model. As a result, the axinos produced during the early matter domination is diluted by the entropy production, so the axino abundance is determined mainly by the reheating temperature, unlike the case with gravitino dark matter. We show that the axino pair production in DFSZ model opens up new parameter space for axino dark matter, due to non-decoupled Higgsino interactions at tree level.


title: When Adaptive Diffusion Algorithm Converges to True Parameter?

abstract: We attempt to answer the question what data brings adaptive diffusion algorithms converging to true parameters. The discussion begins with the diffusion recursive least squares (RLS). When unknown parameters are scalar, the necessary and sufficient condition of the convergence for the diffusion RLS is established, in terms of the strong consistency and mean-square convergence both. However, for the general high dimensional parameter case, our results suggest that the diffusion RLS in a connected network might cause a diverging error, even if local data at every node could guarantee the individual RLS tending to true parameters. Due to the possible failure of the diffusion RLS, we prove that the diffusion Robbins-Monro (RM) algorithm could achieve the strong consistency and mean-square convergence simultaneously, under some cooperative information conditions. The convergence rates of the diffusion RM are derived explicitly.


title: On Exact and $\infty$-R\'enyi Common Informations

abstract: Recently, two extensions of Wyner's common information\textemdash exact and R\'enyi common informations\textemdash were introduced respectively by Kumar, Li, and El Gamal (KLE), and the present authors. The class of common information problems involves determining the minimum rate of the common input to two independent processors needed to exactly or approximately generate a target joint distribution. For the exact common information problem, exact generation of the target distribution is required, while for Wyner's and $\alpha$-R\'enyi common informations, the relative entropy and R\'enyi divergence with order $\alpha$ were respectively used to quantify the discrepancy between the synthesized and target distributions. The exact common information is larger than or equal to Wyner's common information. However, it was hitherto unknown whether the former is strictly larger than the latter for some joint distributions. In this paper, we first establish the equivalence between the exact and $\infty$-R\'enyi common informations, and then provide single-letter upper and lower bounds for these two quantities. For doubly symmetric binary sources, we show that the upper and lower bounds coincide, which implies that for such sources, the exact and $\infty$-R\'enyi common informations are completely characterized. Interestingly, we observe that for such sources, these two common informations are strictly larger than Wyner's. This answers an open problem posed by KLE. Furthermore, we extend Wyner's, $\infty$-R\'enyi, and exact common informations to sources with countably infinite or continuous alphabets, including Gaussian sources.


title: Self-consistency and covariance of light-front quark models: testing via $P$, $V$ and $A$ meson decay constants, and $P\to P$ weak transition form factors

abstract: In this paper, we test the self-consistencies of the standard and the covariant light-front quark model and study the zero-mode issue via the decay constants of pseudoscalar ($P$), vector ($V$) and axial-vector ($A$) mesons, as well as the $P\to P$ weak transition form factors. With the traditional type-I correspondence between the manifestly covariant and the light-front approach, the resulting $f_{V}$ as well as $f_{^1\!A}$ and $f_{^3\!A}$ obtained with the $\lbd=0$ and $\lbd=\pm$ polarization states are different from each other, which presents a challenge to the self-consistency of the covariant light-front quark model. However, such a self-consistency problem can be "resolved" within the type-II scheme, which requires an additional replacement $M\to M_0$ relative to the type-I case. Moreover, the replacement $M\to M_0$ is also essential for the self-consistency of the standard light-front quark model. In the type-II scheme, the valence contributions to the physical quantities~(${\cal Q}$) considered in this paper are alway the same as that obtained in the standard light-front quark model, $[{\cal Q}]_{\rm val.}=[{\cal Q}]_{\rm SLF}$, and the zero-mode contributions to $f_{V,^1\!A,^3\!A}$ and $f_-(q^2)$ exist only formally but vanish numerically, which implies further that $[{\cal Q}]_{\rm val.}\dot{=} [{\cal Q}]_{\rm full}$. In addition, the manifest covariance of the covariant light-front quark model is violated in the traditional type-I scheme, but can be recovered by taking the type-II scheme.


title: Spectral gaps and error estimates for infinite-dimensional Metropolis-Hastings with non-Gaussian priors

abstract: We study a class of Metropolis-Hastings algorithms for target measures that are absolutely continuous with respect to a large class of non-Gaussian prior measures on Banach spaces. The algorithm is shown to have a spectral gap in a Wasserstein-like semimetric weighted by a Lyapunov function. A number of error bounds are given for computationally tractable approximations of the algorithm including bounds on the closeness of Ces\'aro averages and other pathwise quantities via perturbation theory. Several applications illustrate the breadth of problems to which the results apply such as various likelihood approximations and perturbations of prior measures.


title: Zero-Delay Rate Distortion via Filtering for Vector-Valued Gaussian Sources

abstract: We deal with zero-delay source coding of a vector-valued Gauss-Markov source subject to a mean-squared error (MSE) fidelity criterion characterized by the operational zero-delay vector-valued Gaussian rate distortion function (RDF). We address this problem by considering the nonanticipative RDF (NRDF) which is a lower bound to the causal optimal performance theoretically attainable (OPTA) function and operational zero-delay RDF. We recall the realization that corresponds to the optimal "test-channel" of the Gaussian NRDF, when considering a vector Gauss-Markov source subject to a MSE distortion in the finite time horizon. Then, we introduce sufficient conditions to show existence of solution for this problem in the infinite time horizon. For the asymptotic regime, we use the asymptotic characterization of the Gaussian NRDF to provide a new equivalent realization scheme with feedback which is characterized by a resource allocation (reverse-waterfilling) problem across the dimension of the vector source. We leverage the new realization to derive a predictive coding scheme via lattice quantization with subtractive dither and joint memoryless entropy coding. This coding scheme offers an upper bound to the operational zero-delay vector-valued Gaussian RDF. When we use scalar quantization, then for "r" active dimensions of the vector Gauss-Markov source the gap between the obtained lower and theoretical upper bounds is less than or equal to 0.254r + 1 bits/vector. We further show that it is possible when we use vector quantization, and assume infinite dimensional Gauss-Markov sources to make the previous gap to be negligible, i.e., Gaussian NRDF approximates the operational zero-delay Gaussian RDF. We also extend our results to vector-valued Gaussian sources of any finite memory under mild conditions. Our theoretical framework is demonstrated with illustrative numerical experiments.


title: Training Behavior of Sparse Neural Network Topologies

abstract: Improvements in the performance of deep neural networks have often come through the design of larger and more complex networks. As a result, fast memory is a significant limiting factor in our ability to improve network performance. One approach to overcoming this limit is the design of sparse neural networks, which can be both very large and efficiently trained. In this paper we experiment training on sparse neural network topologies. We test pruning-based topologies, which are derived from an initially dense network whose connections are pruned, as well as RadiX-Nets, a class of network topologies with proven connectivity and sparsity properties. Results show that sparse networks obtain accuracies comparable to dense networks, but extreme levels of sparsity cause instability in training, which merits further study.


title: Cognitive-LPWAN: Towards Intelligent Wireless Services in Hybrid Low Power Wide Area Networks

abstract: The relentless development of the Internet of Things (IoT) communication technologies and the gradual maturity of Artificial Intelligence (AI) have led to a powerful cognitive computing ability. Users can now access efficient and convenient smart services in smart-city, green-IoT and heterogeneous networks. AI has been applied in various areas, including the intelligent household, advanced health-care, automatic driving and emotional interactions. This paper focuses on current wireless-communication technologies, including cellular-communication technologies (4G, 5G), low-power wide-area (LPWA) technologies with an unlicensed spectrum (LoRa, SigFox), and other LPWA technologies supported by 3GPP working with an authorized spectrum (EC-GSM, LTE-M, NB-IoT). We put forward a cognitive low-power wide-area-network (Cognitive-LPWAN) architecture to safeguard stable and efficient communications in a heterogeneous IoT. To ensure that the user can employ the AI efficiently and conveniently, we realize a variety of LPWA technologies to safeguard the network layer. In addition, to balance the demand for heterogeneous IoT devices with the communication delay and energy consumption, we put forward the AI-enabled LPWA hybrid method, starting from the perspective of traffic control. The AI algorithm provides the smart control of wireless-communication technology, intelligent applications and services for the choice of different wireless-communication technologies. As an example, we consider the AIWAC emotion interaction system, build the Cognitive-LPWAN and test the proposed AI-enabled LPWA hybrid method. The experimental results show that our scheme can meet the demands of communication-delay applications. Cognitive-LPWAN selects appropriate communication technologies to achieve a better interaction experience.


title: Fiber-base duality from the algebraic perspective

abstract: Quiver 5D $\mathcal{N}=1$ gauge theories describe the low-energy dynamics on webs of $(p,q)$-branes in type IIB string theory. S-duality exchanges NS5 and D5 branes, mapping $(p,q)$-branes to branes of charge $(-q,p)$, and, in this way, induces several dualities between 5D gauge theories. On the other hand, these theories can also be obtained from the compactification of topological strings on a Calabi-Yau manifold, for which the S-duality is realized as a fiber-base duality. Recently, a third point of view has emerged in which 5D gauge theories are engineered using algebraic objects from the Ding-Iohara-Miki (DIM) algebra. Specifically, the instanton partition function is obtained as the vacuum expectation value of an operator $\mathcal{T}$ constructed by gluing the algebra's intertwiners (the equivalent of topological vertices) following the rules of the toric diagram/brane web. Intertwiners and $\mathcal{T}$-operators are deeply connected to the co-algebraic structure of the DIM algebra. We show here that S-duality can be realized as the twist of this structure by Miki's automorphism.


title: DIMENSION: Dynamic MR Imaging with Both K-space and Spatial Prior Knowledge Obtained via Multi-Supervised Network Training

abstract: Dynamic MR image reconstruction from incomplete k-space data has generated great research interest due to its capability in reducing scan time. Nevertheless, the reconstruction problem is still challenging due to its ill-posed nature. Most existing methods either suffer from long iterative reconstruction time or explore limited prior knowledge. This paper proposes a dynamic MR imaging method with both k-space and spatial prior knowledge integrated via multi-supervised network training, dubbed as DIMENSION. Specifically, the DIMENSION architecture consists of a frequential prior network for updating the k-space with its network prediction and a spatial prior network for capturing image structures and details. Furthermore, a multisupervised network training technique is developed to constrain the frequency domain information and reconstruction results at different levels. The comparisons with classical k-t FOCUSS, k-t SLR, L+S and the state-of-the-art CNN-based method on in vivo datasets show our method can achieve improved reconstruction results in shorter time.


title: Newton-MR: Inexact Newton Method With Minimum Residual Sub-problem Solver

abstract: We consider a variant of inexact Newton Method, called Newton-MR, in which the least-squares sub-problems are solved approximately using Minimum Residual method. By construction, Newton-MR can be readily applied for unconstrained optimization of a class of non-convex problems known as invex, which subsumes convexity as a sub-class. For invex optimization, instead of the classical Lipschitz continuity assumptions on gradient and Hessian, Newton-MR's global convergence can be guaranteed under a weaker notion of joint regularity of Hessian and gradient. We also obtain Newton-MR's problem-independent local convergence to the set of minima. We show that fast local/global convergence can be guaranteed under a novel inexactness condition, which, to our knowledge, is much weaker than the prior related works. Numerical results demonstrate the performance of Newton-MR as compared with several other Newton-type alternatives on a few machine learning problems.


title: Correlation Propagation Networks for Scene Text Detection

abstract: In this work, we propose a novel hybrid method for scene text detection namely Correlation Propagation Network (CPN). It is an end-to-end trainable framework engined by advanced Convolutional Neural Networks. Our CPN predicts text objects according to both top-down observations and the bottom-up cues. Multiple candidate boxes are assembled by a spatial communication mechanism call Correlation Propagation (CP). The extracted spatial features by CNN are regarded as node features in a latticed graph and Correlation Propagation algorithm runs distributively on each node to update the hypothesis of corresponding object centers. The CP process can flexibly handle scale-varying and rotated text objects without using predefined bounding box templates. Benefit from its distributive nature, CPN is computationally efficient and enjoys a high level of parallelism. Moreover, we introduce deformable convolution to the backbone network to enhance the adaptability to long texts. The evaluation on public benchmarks shows that the proposed method achieves state-of-art performance, and it significantly outperforms the existing methods for handling multi-scale and multi-oriented text objects with much lower computation cost.


title: Resource Management in Fog/Edge Computing: A Survey

abstract: Contrary to using distant and centralized cloud data center resources, employing decentralized resources at the edge of a network for processing data closer to user devices, such as smartphones and tablets, is an upcoming computing paradigm, referred to as fog/edge computing. Fog/edge resources are typically resource-constrained, heterogeneous, and dynamic compared to the cloud, thereby making resource management an important challenge that needs to be addressed. This article reviews publications as early as 1991, with 85% of the publications between 2013-2018, to identify and classify the architectures, infrastructure, and underlying algorithms for managing resources in fog/edge computing.


title: A Projection-Oriented Mathematical Model for Second-Species Counterpoint

abstract: Drawing inspiration from both the classical Guerino Mazzola's symmetry-based model for first-species counterpoint (one note against one note) and Johann Joseph Fux's "Gradus ad Parnassum", we propose an extension for second-species (two notes against one note).


title: Mini-batch Serialization: CNN Training with Inter-layer Data Reuse

abstract: Training convolutional neural networks (CNNs) requires intense computations and high memory bandwidth. We find that bandwidth today is over-provisioned because most memory accesses in CNN training can be eliminated by rearranging computation to better utilize on-chip buffers and avoid traffic resulting from large per-layer memory footprints. We introduce the MBS CNN training approach that significantly reduces memory traffic by partially serializing mini-batch processing across groups of layers. This optimizes reuse within on-chip buffers and balances both intra-layer and inter-layer reuse. We also introduce the WaveCore CNN training accelerator that effectively trains CNNs in the MBS approach with high functional-unit utilization. Combined, WaveCore and MBS reduce DRAM traffic by 75%, improve performance by 53%, and save 26% system energy for modern deep CNN training compared to conventional training mechanisms and accelerators.


title: Posture recognition using an RGB-D camera : exploring 3D body modeling and deep learning approaches

abstract: The emergence of RGB-D sensors offered new possibilities for addressing complex artificial vision problems efficiently. Human posture recognition is among these computer vision problems, with a wide range of applications such as ambient assisted living and intelligent health care systems. In this context, our paper presents novel methods and ideas to design automatic posture recognition systems using an RGB-D camera. More specifically, we introduce two supervised methods to learn and recognize human postures using the main types of visual data provided by an RGB-D camera. The first method is based on convolutional features extracted from 2D images. Convolutional Neural Networks (CNNs) are trained to recognize human postures using transfer learning on RGB and depth images. Secondly, we propose to model the posture using the body joint configuration in the 3D space. Posture recognition is then performed through SVM classification of 3D skeleton-based features. To evaluate the proposed methods, we created a challenging posture recognition dataset with a considerable variability regarding the acquisition conditions. The experimental results demonstrated comparable performances and high precision for both methods in recognizing human postures, with a slight superiority for the CNN-based method when applied on depth images. Moreover, the two approaches demonstrated a high robustness to several perturbation factors, such as scale and orientation change.


title: Local Diffeomorphisms in Symplectic Space and Hamiltonian Systems with Constraints

abstract: In this paper we obtain exact normal forms with functional invariants for local diffeomorphisms, under the action of the symplectomorphism group in the source space. Using these normal forms we obtain exact classification results for the first occurring singularities of Hamiltonian systems with one-sided constraints, a problem posed by R. B. Melrose in his studies of glancing hypersurfaces.


title: Properties of Switching Jump Diffusions: Maximum Principles and Harnack Inequalities

abstract: This work examines a class of switching jump diffusion processes. The main effort is devoted to proving the maximum principle and obtaining the Harnack inequalities. Compared with the diffusions and switching diffusions, the associated operators for switching jump diffusions are non-local, resulting in more difficulty in treating such systems. Our study is carried out by taking into consideration of the interplay of stochastic processes and the associated systems of integro-differential equations.


title: Recurrence and Ergodicity for A Class of Regime-Switching Jump Diffusions

abstract: This work develops asymptotic properties of a class of switching jump diffusion processes. The processes under consideration may be viewed as a number of jump diffusion processes modulated by a random switching mechanism. The underlying processes feature in the switching process depends on the jump diffusions. In this paper, conditions for recurrence and positive recurrence are derived. Ergodicity is examined in detail. Existence of invariant probability measures is proved.


title: A Categorical Generalization of Counterpoint

abstract: We extend Mazzola's counterpoint model in terms of category theory. One immediate outcome is the possibility of relaxing the "yes/no" character of the definitions of consonance, and stressing its dependence on context in general. A counterpoint model with sets instead of pure pitches is obtained.


title: Finite Horizon Backward Reachability Analysis and Control Synthesis for Uncertain Nonlinear Systems

abstract: We present a method for synthesizing controllers to steer trajectories from an initial set to a target set on a finite time horizon. The proposed control synthesis problem is decomposed into two steps. The first step under-approximates the backward reachable set (BRS) from the target set, using level sets of storage functions. The storage function is constructed with an iterative algorithm to maximize the volume of the under-approximated BRS. The second step obtains a control law by solving a pointwise min-norm optimization problem using the pre-computed storage function. A closed-form solution of this min-norm optimization can be computed through the KKT conditions. This control synthesis framework is then extended to uncertain nonlinear systems with parametric uncertainties and L_2 disturbances. The computation algorithm for all cases is derived using sum-of-squares (SOS) programming and the S-procedure. The proposed method is applied to several robotics and aircraft examples.


title: CODIT: Code Editing with Tree-Based Neural Models

abstract: The way developers edit day-to-day code tends to be repetitive, often using existing code elements. Many researchers have tried to automate repetitive code changes by learning from specific change templates which are applied to limited scope. The advancement of deep neural networks and the availability of vast open-source evolutionary data opens up the possibility of automatically learning those templates from the wild. However, deep neural network based modeling for code changes and code in general introduces some specific problems that needs specific attention from research community. For instance, compared to natural language, source code vocabulary can be significantly larger. Further, good changes in code do not break its syntactic structure. Thus, deploying state-of-the-art neural network models without adapting the methods to the source code domain yields sub-optimal results. To this end, we propose a novel tree-based neural network system to model source code changes and learn code change patterns from the wild. Specifically, we propose a tree-based neural machine translation model to learn the probability distribution of changes in code. We realize our model with a change suggestion engine, CODIT, and train the model with more than 24k real-world changes and evaluate it on 5k patches. Our evaluation shows the effectiveness of CODITin learning and suggesting patches. CODIT can also learn specific bug fix pattern from bug fixing patches and can fix 25 bugs out of 80 bugs in Defects4J.


title: Convex Relaxation Methods for Community Detection

abstract: This paper surveys recent theoretical advances in convex optimization approaches for community detection. We introduce some important theoretical techniques and results for establishing the consistency of convex community detection under various statistical models. In particular, we discuss the basic techniques based on the primal and dual analysis. We also present results that demonstrate several distinctive advantages of convex community detection, including robustness against outlier nodes, consistency under weak assortativity, and adaptivity to heterogeneous degrees. This survey is not intended to be a complete overview of the vast literature on this fast-growing topic. Instead, we aim to provide a big picture of the remarkable recent development in this area and to make the survey accessible to a broad audience. We hope that this expository article can serve as an introductory guide for readers who are interested in using, designing, and analyzing convex relaxation methods in network analysis.


title: VVV Survey of Blue Horizontal-Branch Stars in the Bulge-Halo Transition Region of the Milky Way

abstract: We characterize the population of blue horizontal-branch (BHB) stars in the bulge-halo transition region of the Milky Way using the VISTA Variables in the V\'ia L\'actea (VVV) ESO Public Survey data. The selection of BHB stars is made using the globular cluster M22 as a reference standard, and constructing color-magnitude and color-color diagrams with specific cuts in the $ZYJHK_s$ near-infrared (IR) passbands. A total of 12,554 BHB stars were detected, in a region within $-10.0^{\circ} \leq \ell \leq 10.2^{\circ}$ and $-10.2^{\circ} \leq b \leq -8.0^{\circ}$. We provide accurate coordinates and near-IR photometry for this sample of BHB stars. We searched for over-densities of stars with sizes similar to those of known globular clusters and stellar streams. By comparing real data with Monte Carlo simulations, we conclude that the few over-densities detected are of low significance. We also constructed $K_s$-band light curves for the BHB stars to study their variability. Taking an average of 52 epochs to calculate periods and amplitudes, we identify hundreds of candidate eclipsing binaries and a dozen pulsating stars. Finally, we made some comparisons with results obtained in a previous study for RR Lyrae variable stars in this same region.


title: Quantification of historical drought conditions over different climatic zones of Nigeria

abstract: The impact of extreme climate such as drought and flooding on agriculture, tourism, migration and peace in Nigeria is immense. There is the need to study the trend and statistics for better planning, preparation and adaptation. In this study, the statistical and temporal variation of climatic indices Standardized Precipitation Index (SPI ) and Standardized Precipitation Evapotranspiration Index (SPEI) were computed for eighteen (18) stations covering four climatic zones (Sahel, Midland, Guinea Savannah and Coastal) of tropical Nigeria. Precipitation, minimum and maximum temperature from 1980 - 2010 obtained from the archives of the Nigerian Meteorological Services were used to compute both the SPI and SPEI indices at 1-, 3- 6- and 12-month timescales. The temporal variation of drought indices showed that droughts were more prominent at 6- and 12-months timescales. SPI and SPEI were found to be better correlated at longer timescales than short time scales. Predominant small, positive and significant trend across the region suggest an increasing trend due to climate change.


title: Sampled-Data State Observation over Lossy Networks under Round-Robin Scheduling

abstract: In this paper, we study the problem of continuous-time state observation over lossy communication networks. We consider the situation in which the samplers for measuring the output of the plant are spatially distributed and their communication with the observer is scheduled according to a round-robin scheduling protocol. We allow the observer gains to dynamically change in synchronization with the scheduling of communications. In this context, we propose a linear matrix inequality (LMI) framework to design the observer gains that ensure the asymptotic stability of the error dynamics in continuous time. We illustrate the effectiveness of the proposed methods by several numerical simulations.


title: Modeling Uncertainty with Hedged Instance Embedding

abstract: Instance embeddings are an efficient and versatile image representation that facilitates applications like recognition, verification, retrieval, and clustering. Many metric learning methods represent the input as a single point in the embedding space. Often the distance between points is used as a proxy for match confidence. However, this can fail to represent uncertainty arising when the input is ambiguous, e.g., due to occlusion or blurriness. This work addresses this issue and explicitly models the uncertainty by hedging the location of each input in the embedding space. We introduce the hedged instance embedding (HIB) in which embeddings are modeled as random variables and the model is trained under the variational information bottleneck principle. Empirical results on our new N-digit MNIST dataset show that our method leads to the desired behavior of hedging its bets across the embedding space upon encountering ambiguous inputs. This results in improved performance for image matching and classification tasks, more structure in the learned embedding space, and an ability to compute a per-exemplar uncertainty measure that is correlated with downstream performance.


title: A Necessary and Sufficient Condition for Existence of a Rational Point on an Elliptic Curve

abstract: In this paper, the proof of the existence of a rational point on an elliptic curve is transformed into the proof of the existence of an integer solution for a Diophantine equation. By a new formula for calculating the number of elements in intersection of two finite sets, a necessary and sufficient condition for existence of a rational point on an elliptic curve is established. This condition is different from L-function in the Birch and Swinnerton-Dyer conjecture.


title: Wearable, Epidermal, and Implantable Sensors for Medical Applications

abstract: Continuous health monitoring using wireless body area networks (WBANs) of wearable, epidermal and implantable medical devices is envisioned as a transformative approach to healthcare. Rapid advances in biomedical sensors, low-power electronics, and wireless communications have brought this vision to the verge of reality. However, key challenges still remain to be addressed. This paper surveys the current state-of-the-art in the area of wireless sensors for medical applications. Specifically, it focuses on presenting the recent advancements in wearable, epidermal and implantable technologies, and discusses reported ways of powering up such sensors. Furthermore, this paper addresses the challenges that exist in the various Open Systems Interconnection (OSI) layers and illustrates future research areas concerning the utilization of wireless sensors in healthcare applications.


title: A Deep Learning Framework for Single-Sided Sound Speed Inversion in Medical Ultrasound

abstract: Objective: Ultrasound elastography is gaining traction as an accessible and useful diagnostic tool for such things as cancer detection and differentiation and thyroid disease diagnostics. Unfortunately, state of the art shear wave imaging techniques, essential to promote this goal, are limited to high-end ultrasound hardware due to high power requirements; are extremely sensitive to patient and sonographer motion, and generally, suffer from low frame rates. Motivated by research and theory showing that longitudinal wave sound speed carries similar diagnostic abilities to shear wave imaging, we present an alternative approach using single sided pressure-wave sound speed measurements from channel data. Methods: In this paper, we present a single-sided sound speed inversion solution using a fully convolutional deep neural network. We use simulations for training, allowing the generation of limitless ground truth data. Results: We show that it is possible to invert for longitudinal sound speed in soft tissue at high frame rates. We validate the method on simulated data. We present highly encouraging results on limited real data. Conclusion: Sound speed inversion on channel data has significant potential, made possible in real time with deep learning technologies. Significance: Specialized shear wave ultrasound systems remain inaccessible in many locations. longitudinal sound speed and deep learning technologies enable an alternative approach to diagnosis based on tissue elasticity. High frame rates are possible.


title: Using the Modified Nearest Neighbor Method to Correct Fiber-collision Effects on Galaxy Clustering

abstract: Fiber collision is a persistent problem faced by modern spectroscopic galaxy surveys. In this work, we propose a new method to correct for this undesired effect, focusing on the clustering from the fiber-collision scale up to $\lesssim 10 \rm Mpc\,h^{-1}$. We assume that the fiber-collided galaxies are in association with their nearest three angular neighbors. Compared with the conventional nearest-neighbor method, we have properly accounted for the foreground (background) galaxies that are associated with the foreground (background) cosmic webs relative to the nearest neighbor. We have tested the new method with mock catalogs of the Sloan Digital Sky Survey (SDSS) Data Release 7 (DR7). The test demonstrates that our new method can recover the projected two-point correlation functions at an accuracy better than 1\% on small (below the fiber-collision scale) to intermediate (i.e., $10 \rm Mpc\,h^{-1}$) scales, where the fiber collision takes effect and the SDSS main sample can probe. The new method also gives a better recovery of the redshift-space correlation functions almost on all scales that we are interested in.


title: On the Winograd Schema: Situating Language Understanding in the Data-Information-Knowledge Continuum

abstract: The Winograd Schema (WS) challenge, proposed as an al-ternative to the Turing Test, has become the new standard for evaluating progress in natural language understanding (NLU). In this paper we will not however be concerned with how this challenge might be addressed. Instead, our aim here is threefold: (i) we will first formally 'situate' the WS challenge in the data-information-knowledge continuum, suggesting where in that continuum a good WS resides; (ii) we will show that a WS is just special case of a more general phenomenon in language understanding, namely the missing text phenomenon (henceforth, MTP) - in particular, we will argue that what we usually call thinking in the process of language understanding involves discovering a significant amount of 'missing text' - text that is not explicitly stated, but is often implicitly assumed as shared background knowledge; and (iii) we conclude by a brief discussion on why MTP is inconsistent with the data-driven and machine learning approach to language understanding.


title: Exactly Solvable Points and Symmetry-Protected Topological Phases of Quantum Spins on a Zig-Zag Lattice

abstract: A large number of symmetry-protected topological (SPT) phases have been hypothesized for strongly interacting spin-1/2 systems in one dimension. Realizing these SPT phases, however, often demands fine-tunings hard to reach experimentally. And the lack of analytical solutions hinders the understanding of their many-body wave functions. Here we show that two kinds of SPT phases naturally arise for ultracold polar molecules confined in a zigzag optical lattice. This system, motivated by recent experiments, is described by a spin model whose exchange couplings can be tuned by an external field to reach parameter regions not studied before for spin chains or ladders. Within the enlarged parameter space, we find the ground state wave function can be obtained exactly along a line and at a special point, for these two phases respectively. These exact solutions provide a clear physical picture for the SPT phases and their edge excitations. We further obtain the phase diagram by using infinite time-evolving block decimation, and discuss the phase transitions between the two SPT phases and their experimental signatures.


title: Using Graph-Pattern Association Rules On Yago Knowledge Base

abstract: We propose the use of Graph-Pattern Association Rules (GPARs) on the Yago knowledge base. Extending association rules for itemsets, GPARS can help to discover regularities between entities in knowledge bases. A rule-generated graph pattern (RGGP) algorithm was used for extracting rules from the Yago knowledge base and a graph-pattern association rules algorithm for creating association rules. Our research resulted in 1114 association rules, where the value of standard confidence at 50.18% was better than partial completeness assumption (PCA) confidence at 49.82%. Besides that the computation time for standard confidence was also better than for PCA confidence


title: Multi-Level Contextual Network for Biomedical Image Segmentation

abstract: Accurate and reliable image segmentation is an essential part of biomedical image analysis. In this paper, we consider the problem of biomedical image segmentation using deep convolutional neural networks. We propose a new end-to-end network architecture that effectively integrates local and global contextual patterns of histologic primitives to obtain a more reliable segmentation result. Specifically, we introduce a deep fully convolution residual network with a new skip connection strategy to control the contextual information passed forward. Moreover, our trained model is also computationally inexpensive due to its small number of network parameters. We evaluate our method on two public datasets for epithelium segmentation and tubule segmentation tasks. Our experimental results show that the proposed method provides a fast and effective way of producing a pixel-wise dense prediction of biomedical images.


title: On an oscillatory integral involving a homogeneous form

abstract: Let $F \in \mathbb{R}[x_1, \ldots, x_n]$ be a homogeneous form of degree $d > 1$ satisfying $(n - \dim V_{F}^*) > 4$, where $V_F^*$ is the singular locus of $V(F) = \{ \mathbf{z} \in {\mathbb{C}}^n: F(\mathbf{z}) = 0 \}$. Suppose there exists $\mathbf{x}_0 \in (0,1)^n \cap (V(F) \backslash V_F^*)$. Let $\mathbf{t} = (t_1, \ldots, t_n) \in \mathbb{R}^n$. Then for a smooth function $\varpi:\mathbb{R}^n \rightarrow \mathbb{R}$ with its support contained in a small neighbourhood of $\mathbf{x}_0$, we prove $$ \Big{|} \int_{0}^{\infty} \cdots \int_{0}^{\infty} \varpi(\mathbf{x}) x_1^{i t_1} \cdots x_n^{i t_n} e^{2 \pi i \tau F(\mathbf{x})} d \mathbf{x} \Big{|} \ll \min \{ 1, |\tau|^{-1} \}, $$ where the implicit constant is independent of $\tau$ and $\mathbf{t}$.


title: An Overview of Blockchain Integration with Robotics and Artificial Intelligence

abstract: Blockchain technology is growing everyday at a fast-passed rhythm and it's possible to integrate it with many systems, namely Robotics with AI services. However, this is still a recent field and there isn't yet a clear understanding of what it could potentially become. In this paper, we conduct an overview of many different methods and platforms that try to leverage the power of blockchain into robotic systems, to improve AI services or to solve problems that are present in the major blockchains, which can lead to the ability of creating robotic systems with increased capabilities and security. We present an overview, discuss the methods and conclude the paper with our view on the future of the integration of these technologies.


title: Field Generated by Division Points of Certain Formal Group Laws - II

abstract: The article investigates several questions about field generated by certain formal group laws. This is continuation of a study initiated by the author in prior article titled 'Field Generated by Division Points of Certain Formal Group Laws'.


title: Edge states in a two-dimensional honeycomb lattice of massive magnetic skyrmions

abstract: We study the collective dynamics of a two-dimensional honeycomb lattice of magnetic skyrmions. By performing large-scale micromagnetic simulations, we find multiple chiral and non-chiral edge modes of skyrmion oscillations in the lattice. The non-chiral edge states are due to the Tamm-Shockley mechanism, while the chiral ones are topologically protected against structure defects and hold different handednesses depending on the mode frequency. To interpret the emerging multiband nature of the chiral edge states, we generalize the massless Thiele's equation by including a second-order inertial term of skyrmion mass as well as a third-order non-Newtonian gyroscopic term, which allows us to model the band structure of skrymion oscillations. Theoretical results compare well with numerical simulations. Our findings uncover the importance of high order effects in strongly coupled skyrmions and are helpful for designing novel topological devices.


title: Representability and autoequivalence groups

abstract: For a finite dimensional algebra $A$, we prove that the bounded homotopy category of projective $A$-modules and the bounded derived category of $A$-modules are dual to each other via certain categories of locally-finite cohomological functors. The duality gives rise to a $2$-categorical duality between certain strict $2$-categories involving the bounded homotopy categories and bounded derived categories, respectively. We apply the $2$-categorical duality to the study of triangle autoequivalence groups. These results are analogous to the ones in [M.R. Ballard, {\em Derived categories of sheaves on singular schemes with an application to reconstruction}, Adv. Math. {\bf 227} (2011), 895--919].


title: Specificity measures and reference

abstract: In this paper we study empirically the validity of measures of referential success for referring expressions involving gradual properties. More specifically, we study the ability of several measures of referential success to predict the success of a user in choosing the right object, given a referring expression. Experimental results indicate that certain fuzzy measures of success are able to predict human accuracy in reference resolution. Such measures are therefore suitable for the estimation of the success or otherwise of a referring expression produced by a generation algorithm, especially in case the properties in a domain cannot be assumed to have crisp denotations.


title: A Linear and Quadratic Time-Frequency Analysis of Gravitational Waves from Core-Collapse Supernovae

abstract: Recent core-collapse supernova (CCSN) simulations have predicted several distinct features in gravitational-wave (GW) spectrograms, including a ramp-up signature due to the g-mode oscillation of the proto-neutron star (PNS) and an excess in the low-frequency domain (100-300 Hz) potentially induced by the standing accretion shock instability (SASI). These predictions motivated us to perform a sophisticated time-frequency analysis (TFA) of the GW signals, aimed at preparation for future observations. By reanalyzing a gravitational waveform obtained in a three-dimensional general-relativistic CCSN simulation, we show that both the spectrogram with an adequate window and the quadratic TFA separate the multimodal GW signatures much more clearly compared with the previous analysis. We find that the observed low-frequency excess during the SASI active phase is divided into two components, a stronger one at 130 Hz and an overtone at 260 Hz, both of which evolve quasi-statically during the simulation time. We also identify a new mode whose frequency varies from 700 to 600 Hz. Furthermore, we develop the quadratic TFA for the Stokes I, Q, U, and V parameters as a new tool to investigate the GW circular polarization. We demonstrate that the polarization states that randomly change with time after bounce are associated with the PNS g-mode oscillation, whereas a slowly changing polarization state in the low-frequency domain is connected to the PNS core oscillation. This study demonstrates the capability of the sophisticated TFA for diagnosing the polarized CCSN GWs in order to explore their complex nature.


title: Biased bootstrap sampling for efficient two-sample testing

abstract: The so-called 'energy test' is a frequentist technique used in experimental particle physics to decide whether two samples are drawn from the same distribution. Its usage requires a good understanding of the distribution of the test statistic, T, under the null hypothesis. We propose a technique which allows the extreme tails of the T-distribution to be determined more efficiently than possible with present methods. This allows quick evaluation of (for example) 5-sigma confidence intervals that otherwise would have required prohibitively costly computation times or approximations to have been made. Furthermore, we comment on other ways that T computations could be sped up using established results from the statistics community. Beyond two-sample testing, the proposed biased bootstrap method may provide benefit anywhere extreme values are currently obtained with bootstrap sampling.


title: Bidirectional Soliton Rain Dynamics Induced by Casimir-Like Interactions in a Graphene Mode-Locked Fiber Laser

abstract: We study experimentally and theoretically the interactions among ultrashort optical pulses in the soliton rain multiple-pulse dynamics of a fiber laser. The laser is mode-locked by a graphene saturable absorber fabricated using the mechanical transfer technique. Dissipative optical solitons aggregate into pulse bunches that exhibit complex behavior, which includes acceleration and bi-directional motion in the moving reference frame. The drift speed and direction depend on the bunch size and relative location in the cavity, punctuated by abrupt changes under bunch collisions. We model the main effects using the recently proposed noise-mediated pulse interaction mechanism, and obtain a good agreement with experiments. This highlights the major role of long-range Casimir-like interactions over dynamical pattern formations within ultrafast lasers.


title: Learning to Perform Local Rewriting for Combinatorial Optimization

abstract: Search-based methods for hard combinatorial optimization are often guided by heuristics. Tuning heuristics in various conditions and situations is often time-consuming. In this paper, we propose NeuRewriter that learns a policy to pick heuristics and rewrite the local components of the current solution to iteratively improve it until convergence. The policy factorizes into a region-picking and a rule-picking component, each parameterized by a neural network trained with actor-critic methods in reinforcement learning. NeuRewriter captures the general structure of combinatorial problems and shows strong performance in three versatile tasks: expression simplification, online job scheduling and vehicle routing problems. NeuRewriter outperforms the expression simplification component in Z3; outperforms DeepRM and Google OR-tools in online job scheduling; and outperforms recent neural baselines and Google OR-tools in vehicle routing problems.


title: Mineralogy of northern nearside mare basalts

abstract: The mineralogy of mare basalts reflects the chemical composition of the magma source, as well as the physical and chemical environment of the rock's formation. It is significant for understanding the thermal evolution of the Moon. In this study, the spatial distribution of the mineralogy of the lunar northern nearside basalts was mapped using the Moon Mineralogy Mapper (M3) data. The study area, which is an elongated mare, Mare Frigoris and northern Mare Imbrium, was mapped and characterized into 27 units based on multi-source data, including spectrum, terrain, and element abundance. We extracted 177 M3 spectra from fresh craters. Spectral parameters such as absorption center and band area ratio (BAR) were obtained through data processing. The variation of mafic mineral of this region was acquired by analyzing these parameters. The basaltic units in eastern Mare Frigoris, which are older, have been found to be dominated by clinopyroxene with lower CaO compared to the returned lunar samples; this is similar to older basaltic units in Mare Imbrium. The basaltic units of western Mare Frigoris and Sinus Roris which are younger have been found to be rich in olivine. The late-stage basalts in Oceanus Procellarum and Mare Imbrium show the same feature. These wide-spread olivine-rich basalts suggest the uniqueness in the evolution of the Moon. Geographically speaking, Mare Frigoris is an individual mare, but the magma source region have connections with surrounding maria in consideration of mineral differences between western and eastern Frigoris, as well as mineral similarities with maria at the same location.


title: Directed topological complexity of spheres

abstract: We show that the directed topological complexity (as defined by E. Goubault) of the directed $n$-sphere is $2$, for all $n\ge1$.


title: Direct observation of magnetic domain evolution in the vicinity of Verwey transition in Fe3O4 thin films

abstract: We report a direct observation of magnetic domain evolution near the Verwey transition (TV) in Fe3O4 films. We found the stripe domains in the Fe3O4/Mg2TiO4 film while the irregular domains in the Fe3O4/MgO film and the similar characters of magnetic domains in the vicinity of TV for both samples: the bigger domain size and the higher contrast of the phase signal below TV and the more disordered domain images at TV. Remarkably, the magnetic behaviors can be well understood and the domain-wall energy and the demagnetizing energy can be calculated from the magnetic domains near TV in the Fe3O4/Mg2TiO4 film. Our work presents a demonstration of the low temperature magnetic domains and gives a new perspective to understand the Verwey transition in Fe3O4 thin films.