title: Structural and Dynamical Analysis of 0.1pc Cores and Filaments in the 30~Doradus-10 Giant Molecular Cloud

abstract: High-resolution ($<$0.1pc) ALMA observations of the 30Dor-10 molecular cloud 15pc north of R136 are presented. The $^{12}$CO 2-1 emission morphology contains clumps near the locations of known mid-infrared massive protostars, as well as a series of parsec-long filaments oriented almost directly towards R136. There is elevated kinetic energy (linewidths at a given size scale) in 30Dor-10 compared to other LMC and Galactic star formation regions, consistent with large scale energy injection to the region. Analysis of the cloud substructures is performed by segmenting emission into disjoint approximately round "cores" using clumpfind, by considering the hierarchical structures defined by isointensity contours using dendrograms, and by segmenting into disjoint long thin "filaments" using Filfinder. Identified filaments have widths $\sim$0.1pc. The inferred balance between gravity and kinematic motions depends on the segmentation method: Entire objects identified with clumpfind are consistent with free-fall collapse or virial equilibrium with moderate external pressure, whereas many dendrogram-identified parts of hierarchical structures have higher mass surface densities $\Sigma_{LTE}$ than if gravitational and kinetic energies were in balance. Filaments have line masses that vary widely compared to the critical line mass calculated assuming thermal and nonthermal support. Velocity gradients in the region do not show any strong evidence for accretion of mass along filaments. The upper end of the "core" mass distribution is consistent with a power-law with the same slope as the stellar initial mass function.


title: PANTHER: A Programmable Architecture for Neural Network Training Harnessing Energy-efficient ReRAM

abstract: The wide adoption of deep neural networks has been accompanied by ever-increasing energy and performance demands due to the expensive nature of training them. Numerous special-purpose architectures have been proposed to accelerate training: both digital and hybrid digital-analog using resistive RAM (ReRAM) crossbars. ReRAM-based accelerators have demonstrated the effectiveness of ReRAM crossbars at performing matrix-vector multiplication operations that are prevalent in training. However, they still suffer from inefficiency due to the use of serial reads and writes for performing the weight gradient and update step. A few works have demonstrated the possibility of performing outer products in crossbars, which can be used to realize the weight gradient and update step without the use of serial reads and writes. However, these works have been limited to low precision operations which are not sufficient for typical training workloads. Moreover, they have been confined to a limited set of training algorithms for fully-connected layers only. To address these limitations, we propose a bit-slicing technique for enhancing the precision of ReRAM-based outer products, which is substantially different from bit-slicing for matrix-vector multiplication only. We incorporate this technique into a crossbar architecture with three variants catered to different training algorithms. To evaluate our design on different types of layers in neural networks (fully-connected, convolutional, etc.) and training algorithms, we develop PANTHER, an ISA-programmable training accelerator with compiler support. Our evaluation shows that PANTHER achieves up to $8.02\times$, $54.21\times$, and $103\times$ energy reductions as well as $7.16\times$, $4.02\times$, and $16\times$ execution time reductions compared to digital accelerators, ReRAM-based accelerators, and GPUs, respectively.


title: Breaking of the tetra-maximal neutrino mixing pattern

abstract: We make an attempt to study the present status of the tetra-maximal neutrino mixing (TMM) pattern. It predicts all the three leptonic mixing angles $\theta_{13} \approx 8.4^\circ, \theta_{12} \approx 30.4^\circ, $ and $\theta_{23} = 45^\circ $ together with the three CP-violating phases $ - \delta = \rho = \sigma = 90^\circ $. However, the latest global analysis of neutrino oscillation data prefer relatively higher best-fit value of $ \theta_{12} $ as well as non-maximal values of both $ \theta_{23}, \delta $. In order to explain the realistic data, we study the breaking of TMM pattern. We first examine the breaking of TMM due to renormalization group (RG) running effects and then study the impact of explicit breaking terms. We also examine the effect of RG-induced symmetry breaking on the effective Majorana neutrino mass in neutrinoless double beta decay experiments.


title: Fluctuations of the spectrum in rotationally invariant random matrix ensembles

abstract: We investigate traces of powers of random matrices whose distributions are invariant under rotations (with respect to the Hilbert--Schmidt inner product) within a real-linear subspace of the space of $n\times n$ matrices. The matrices we consider may be real or complex, and Hermitian, antihermitian, or general. We use Stein's method to prove multivariate central limit theorems, with convergence rates, for these traces of powers, which imply central limit theorems for polynomial linear eigenvalue statistics. In contrast to the usual situation in random matrix theory, in our approach general, nonnormal matrices turn out to be easier to study than Hermitian matrices.


title: A taxonomy of risk-based testing

abstract: Software testing has often to be done under severe pressure due to limited resources and a challenging time schedule facing the demand to assure the fulfillment of the software requirements. In addition, testing should unveil those software defects that harm the mission-critical functions of the software. Risk-based testing uses risk (re-)assessments to steer all phases of the test process in order to optimize testing efforts and limit risks of the software-based system. Due to its importance and high practical relevance several risk-based testing approaches were proposed in academia and industry. This paper presents a taxonomy of risk-based testing providing a framework to understand, categorize, assess, and compare risk-based testing approaches to support their selection and tailoring for specific purposes. The taxonomy is aligned with the consideration of risks in all phases of the test process and consists of the top-level classes risk drivers, risk assessment, and risk-based test process. The taxonomy of risk-based testing has been developed by analyzing the work presented in available publications on risk-based testing. Afterwards, it has been applied to the work on risk-based testing presented in this special section of the International Journal on Software Tools for Technology Transfer.


title: Brane mechanism of spontaneously generated gravity

abstract: The braneworld scenario is studied and the effective action of 3-brane living in 5-dim. Minkowski space is constructed. This action is proved to be invariant under spontaneously broken scale and Weyl symmetries and to encode a model of quadratic gravity generalizing the Starobinsky model. The symmetry breaking generates the Hilbert-Einstein term with the Newton constant $G_{N}\sim\frac{1}{\mu^{2}}$, where $\mu$ is a mass scale equal to the mean curvature of the vacuum hyper-worldsheet of 3-brane. This result proposes a brane modification of the mechanism of spontaneously generated gravity.


title: Focusing and Diffusion: Bidirectional Attentive Graph Convolutional Networks for Skeleton-based Action Recognition

abstract: A collection of approaches based on graph convolutional networks have proven success in skeleton-based action recognition by exploring neighborhood information and dense dependencies between intra-frame joints. However, these approaches usually ignore the spatial-temporal global context as well as the local relation between inter-frame and intra-frame. In this paper, we propose a focusing and diffusion mechanism to enhance graph convolutional networks by paying attention to the kinematic dependence of articulated human pose in a frame and their implicit dependencies over frames. In the focusing process, we introduce an attention module to learn a latent node over the intra-frame joints to convey spatial contextual information. In this way, the sparse connections between joints in a frame can be well captured, while the global context over the entire sequence is further captured by these hidden nodes with a bidirectional LSTM. In the diffusing process, the learned spatial-temporal contextual information is passed back to the spatial joints, leading to a bidirectional attentive graph convolutional network (BAGCN) that can facilitate skeleton-based action recognition. Extensive experiments on the challenging NTU RGB+D and Skeleton-Kinetics benchmarks demonstrate the efficacy of our approach.


title: Large spin Hall angle and spin mixing conductance in highly resistive antiferromagnetic Mn2Au

abstract: Antiferromagnetic (AFM) materials recently have shown interest in the research in spintronics due to its zero stray magnetic field, high anisotropy, and spin orbit coupling. In this context, the bi-metallic AFM Mn2Au has drawn attention because it exhibits unique properties and its Neel temperature is very high. Here, we report spin pumping and inverse spin Hall effect investigations in Mn2Au and CoFeB bilayer system using ferromagnetic resonance. We found large spin Hall angle {\theta}_SH = 0.22


title: JackHammer: Efficient Rowhammer on Heterogeneous FPGA-CPU Platforms

abstract: After years of development, FPGAs are finally making an appearance on multi-tenant cloud servers. These heterogeneous FPGA-CPU architectures break common assumptions about isolation and security boundaries. Since the FPGA and CPU architectures share hardware resources, a new class of vulnerabilities requires us to reassess the security and dependability of these platforms. In this work, we analyze the memory and cache subsystem and study Rowhammer and cache attacks enabled on two proposed heterogeneous FPGA-CPU platforms by Intel: the Arria 10 GX with an integrated FPGA-CPU platform, and the Arria 10 GX PAC expansion card which connects the FPGA to the CPU via the PCIe interface. We show that while Intel PACs currently are immune to cache attacks from FPGA to CPU, the integrated platform is indeed vulnerable to Prime and Probe style attacks from the FPGA to the CPU's last level cache. Further, we demonstrate JackHammer, a novel and efficient Rowhammer from the FPGA to the host's main memory. Our results indicate that a malicious FPGA can perform twice as fast as a typical Rowhammer attack from the CPU on the same system and causes around four times as many bit flips as the CPU attack. We demonstrate the efficacy of JackHammer from the FPGA through a realistic fault attack on the WolfSSL RSA signing implementation that reliably causes a fault after an average of fifty-eight RSA signatures, 25% faster than a CPU rowhammer attack. In some scenarios our JackHammer attack produces faulty signatures more than three times more often and almost three times faster than a conventional CPU rowhammer attack.


title: Turbulent drag reduction by polymer additives: Fundamentals and recent advances

abstract: A small amount of polymer additives can cause substantial reduction in the energy dissipation and friction loss of turbulent flow. The problem of polymer-induced drag reduction has attracted continuous attention over the seven decades since its discovery. However, changes in research paradigm and perspectives have triggered a wave of new advancements in the past decade. This review attempts to bring researchers of all levels, from beginners to experts, to the forefront of this area. It starts with a comprehensive coverage of fundamental knowledge and classical findings and theories. It then highlights several recent developments that bring fresh insights into long-standing problems. Open questions and ongoing debates are also discussed.


title: On the algebra of the M\"obius crown

abstract: A commutative algebra over a field gives rise to a representation of the category of finite sets and surjective maps. We consider the restriction of this representation to the subcategory of sets of cardinality at most $r$. For each $r$, we present two non-isomorphic algebras that give rise to isomorphic representations of this subcategory.


title: Broadband Sparse Array Focusing Via Spatial Periodogram Averaging and Correlation Resampling

abstract: This paper proposes two coherent broadband focusing algorithms for spatial correlation estimation using sparse linear arrays. Both algorithms decompose the time-domain array data into disjoint frequency bands through discrete Fourier transform or filter banks to obtain broadband frequency-domain snapshots. The periodogram averaging (AP) algorithm starts in the frequency domain by estimating the broadband spatial periodograms for all bands and then averaging them to reinforce the sources' spatial spectral information. Taking inverse spatial Fourier transform of the combined spatial periodogram estimates the focused spatial correlations. Alternatively, the spatial correlation resampling (SCR) algorithm directly computes the spatial correlations for each band and then rescales the spatial sampling rate to align at a focused frequency. The resampled spatial correlations from all frequency bands are then averaged to estimate the focused spatial correlations. The spatial correlations estimated from the AP or SCR algorithms populate the diagonals of a Hermitian Toeplitz augmented covariance matrix (ACM). The focused ACM is the input of a new minimum description length (MDL) based criteria, termed MDL-gap, for source enumeration and the standard narrowband MUSIC algorithm for DOA estimation. Numerical simulations show that both the AP and SCR algorithms improve source enumeration and DOA estimation performances over the incoherent subspace focusing algorithm in snapshot limited scenarios.


title: Pruning Deep Convolutional Neural Networks Architectures with Evolution Strategy

abstract: Currently, Deep Convolutional Neural Networks (DCNNs) are used to solve all kinds of problems in the field of machine learning and artificial intelligence due to their learning and adaptation capabilities. However, most successful DCNN models have a high computational complexity making them difficult to deploy on mobile or embedded platforms. This problem has prompted many researchers to develop algorithms and approaches to help reduce the computational complexity of such models. One of them is called filter pruning, where convolution filters are eliminated to reduce the number of parameters and, consequently, the computational complexity of the given model. In the present work, we propose a novel algorithm to perform filter pruning by using Multi-Objective Evolution Strategy (ES) algorithm, called DeepPruningES. Our approach avoids the need for using any knowledge during the pruning procedure and helps decision-makers by returning three pruned CNN models with different trade-offs between performance and computational complexity. We show that DeepPruningES can significantly reduce a model's computational complexity by testing it on three DCNN architectures: Convolutional Neural Networks (CNNs), Residual Neural Networks (ResNets), and Densely Connected Neural Networks (DenseNets).


title: Incremental auxetic response of composite lattices under isotropic prestress

abstract: This work studies the constitutive response of two- and three-dimensional lattice materials subject to isotropic prestress. The unit cell of the examined lattices is formed by an arbitrary number of junctions attached to a junction. Analytic formulae for second-order elastic constants and elastic stiffness coefficients of stretching-dominated lattices are provided. In addition, numerical results for the incremental elastic moduli of composite lattices equipped with hard and soft rods are presented. The given results highlight that isotropically pre-tensioned lattices may exhibit marked variations of the elastic stiffness moduli in the prestressed state, over the values competing to the stress-free configuration. This study also discloses that prestressed lattices may feature incremental auxetic response, when composite architectures suitably combining hard and soft materials are employed for their fabrication.


title: Random walk model for coordinate dependent diffusion in a force field

abstract: In this paper we develop a random walk model on lattice for coordinate dependent diffusion at constant temperature in contact with a heat bath. We employ here a coordinate dependent waiting time of the random walker to make the diffusivity coordinate dependent. The presence of a confining conservative force is modeled by appropriately breaking the isotropy of the jumps of the random walker to its nearest neighbors. We show that the equilibrium is characterized by the position distribution which is of modified Boltzmann form. We also show that, in such systems with coordinate dependent diffusivity, the modified Boltzmann distribution correctly captures the transition over a potential barrier as opposed to the Boltzmann distribution.


title: Localized modes on a metasurface through multi-wave interactions

abstract: In this paper, we describe the manifestation of localized states through coherent and incoherent analyses of a diffuse elastic wavefield inside a two-dimensional metamaterial made of a collection of vertical long beams glued to a thin plate. We demonstrate that localized states arise due to multi-wave interactions at the beam-plate attachment when the beams acts as coupled resonators for both compressional and flexural resonances on the metasurface. Due to the low-quality factor compressional resonance of the beams, inside the main bandgap the modal density of the systel drops to near a high-quality factor flexural resonance of the beams, and blocks the diffusion process of the wavefield intensity. This experiment physically highlights the tight-binding-like coupling in the localized regime for this two-dimensional metamaterial.


title: Pseudo Random Number Generation: a Reinforcement Learning approach

abstract: Pseudo-Random Numbers Generators (PRNGs) are algorithms produced to generate long sequences of statistically uncorrelated numbers, i.e. Pseudo-Random Numbers (PRNs). These numbers are widely employed in mid-level cryptography and in software applications. Test suites are used to evaluate PRNGs quality by checking statistical properties of the generated sequences. Machine learning techniques are often used to break these generators, for instance approximating a certain generator or a certain sequence using a neural network. But what about using machine learning to generate PRNs generators? This paper proposes a Reinforcement Learning (RL) approach to the task of generating PRNGs from scratch by learning a policy to solve an N-dimensional navigation problem. In this context, N is the length of the period of the generated sequence, and the policy is iteratively improved using the average value of an appropriate test suite run over that period. Aim of this work is to demonstrate the feasibility of the proposed approach, to compare it with classical methods, and to lay the foundation of a research path which combines RL and PRNGs.


title: Quantum Computer Control using Novel, Hybrid Semiconductor-Superconductor Electronics

abstract: Inspired by recent interest in quantum computing and recent studies of cryo CMOS for control electronics, this paper presents a hybrid semiconductor-superconductor approach for engineering scalable computing systems that operate across the gradient between room temperature and the temperature of a cryogenic payload. Such a hybrid computer architecture would have unique suitability to quantum computers, scalable sensors, and the quantum internet. The approach is enabled by Cryogenic Adiabatic Transistor Circuits (CATCs), a novel way of using adiabatic circuits to substantially reduce cooling requirements. In a hybrid chip of CATCs and a second technology, such as Josephson junctions (JJs) or cryo CMOS, the CATCs complement the speed, power, and density of the second technology as well as becoming a longsought cryogenic memory. This paper describes higher-level design principles for CATC hybrids with a quantum computer control system that includes CATC memory, an FPGA-like logic module that uses CATC for dense configuration logic and JJs for fast configured logic, and I/O subsystems including microwave modulators and low frequency control signals.


title: Estudo comparativo de meta-heur\'isticas para problemas de colora\c{c}\~oes de grafos

abstract: A classic graph coloring problem is to assign colors to vertices of any graph so that distinct colors are assigned to adjacent vertices. Optimal graph coloring colors a graph with a minimum number of colors, which is its chromatic number. Finding out the chromatic number is a combinatorial optimization problem proven to be computationally intractable, which implies that no algorithm that computes large instances of the problem in a reasonable time is known. For this reason, approximate methods and metaheuristics form a set of techniques that do not guarantee optimality but obtain good solutions in a reasonable time. This paper reports a comparative study of the Hill-Climbing, Simulated Annealing, Tabu Search, and Iterated Local Search metaheuristics for the classic graph coloring problem considering its time efficiency for processing the DSJC125 and DSJC250 instances of the DIMACS benchmark.


title: Uniformly perfect and hereditarily non uniformly perfect analytic and conformal non-autonomous attractor sets

abstract: Conditions are given which imply that certain non-autonomous analytic iterated function systems (NIFS's) in the complex plane have uniformly perfect attractor sets, while other conditions imply the attractor is pointwise thin, and thus hereditarily non uniformly perfect. Examples are given to illustrate the main theorems, as well as to indicate how they generalize other results. Examples are also given to illustrate how possible generalizations of corresponding results for autonomous IFS's do not hold in general in this more flexible setting. Further, applications to non-autonomous Julia sets are given. Lastly, since our definition of NIFS is in some ways more general than others found in the literature, a careful analysis is given to show when certain familiar relationships still hold, along with detailed examples showing when other relationships do not hold.


title: In search of the best nuclear data file for proton induced reactions: varying both models and their parameters

abstract: A lot of research work has been carried out in fine tuning model parameters to reproduce experimental data for neutron induced reactions. This however is not the case for proton induced reactions where large deviations still exist between model calculations and experiments for some cross sections. In this work, we present a method for searching both the model and model parameter space in order to identify the 'best' nuclear reaction models with their parameter sets that reproduces carefully selected experimental data. Three sets of experimental data from EXFOR are used in this work: (1) cross sections of the target nucleus (2) cross sections of the residual nuclei and (3) angular distributions. Selected models and their parameters were varied simultaneously to produce a large set of random nuclear data files. The goodness of fit between our adjustments and experimental data was achieved by computing a global reduced chi square which took into consideration the above listed experimental data. The method has been applied for the adjustment of proton induced reactions on Co-59 between 1 to 100 MeV. The adjusted files obtained are compared with available experimental data and evaluations from other nuclear data libraries.


title: Abstract degenerate Volterra integro-differential equations: inverse generator problem

abstract: In this paper, we investigate the inverse generator problem for abstract degenerate Volterra integro-differential equations in locally convex spaces. The classes of degenerate $(a,k)$-regularized $C$-resolvent families and degenerate mild $(a,k)$-regularized $(C_{1},C_{2})$-existence and uniqueness families play an important role in our analysis. We provide several illustrative applications of obtained theoretical results, primarily to abstract degenerate fractional differential equations with Caputo derivatives.


title: First passage time in multi-step stochastic processes with applications to dust charging

abstract: An approach was developed to describe the first passage time (FPT) in multistep stochastic processes with discrete states governed by a master equation (ME). The approach is an extension of the totally absorbing boundary approach given for calculation of FPT in one-step processes (Van Kampen 2007) to include multistep processes where jumps are not restricted to adjacent sites. In addition, a Fokker-Planck equation (FPE) was derived from the multistep ME, assuming the continuity of the state variable. The developed approach and an FPE based approach (Gardiner 2004) were used to find the mean first passage time (MFPT) of the transition between the negative and positive stable macrostates of dust grain charge when the charging process was bistable. The dust was in a plasma and charged by collecting ions and electrons, and emitting secondary electrons. The MFPTs for the transitioning of grain charge from one macrostate to the other were calculated by the two approaches for a range of grain sizes. Both approaches produced very similar results for the same grain except for when it was very small. The difference between MFPTs of two approaches for very small grains was attributed to the failure of the charge continuity assumption in the FPE description. For a given grain, the MFPT for a transition from the negative macrostate to the positive one was substantially larger than that for a transition in a reverse order. The normalized MFPT for a transition from the positive to the negative macrostate showed little sensitivity to the grain radius. For a reverse transition, with the increase of the grain radius, it dropped first and then increased. The probability density function of FPT was substantially wider for a transition from the positive to the negative macrostate, as compared to a reverse transition.


title: Dimensionality-driven photoproduction of massive Dirac pairs near threshold in gapped graphene monolayers

abstract: Generation of quasi-particle--hole pairs in gapped graphene monolayers in the combined field of two counterpropagating light waves is studied. The process represents an analogue of electron-positron pair production from the QED vacuum by the Breit-Wheeler effect. We show, however, that the two-dimensional structure of graphene causes some striking differences between both scenarios. In particular, contrary to the QED case, it allows for non-zero pair production rates at the energy threshold when the Breit-Wheeler reaction proceeds nonlinearly with absorption of three photons.

categories: cond-mat.mes-hall hep-ph physics.atom-ph quant-ph


title: Random Matrix Ensembles in Hyperchaotic Classical Dissipative Dynamical Systems

abstract: We study the statistical fluctuations of Lyapunov exponents in the discrete version of the non-integrable perturbed sine-Gordon equation, the dissipative ac+dc driven Frenkel-Kontorova model. Our analysis shows that the fluctuations of the exponent spacings in the strictly overdamped limit, which is nonchaotic, conforms to the \textit{uncorrelated} Poisson distribution. By studying the spatiotemporal dynamics we relate the emergence of the Poissonian statistics to Middleton's no-passing rule. Next, by scanning over the dc driving and particle mass we identify several parameter regions for which this one-dimensional model exhibits hyperchaotic behavior. Furthermore, in the hyperchaotic regime where roughly fifty percent of exponents are positive, the fluctuations exhibit features of the \textit{correlated} universal statistics of the Gaussian Orthogonal Ensemble (GOE). Due to the dissipative nature of the dynamics, we find that the match, between the Lyapunov spectrum statistics and the universal statistics of GOE, is not complete. Finally, we present evidence supporting the existence of the Tracy-Widom distribution in the fluctuation statistics of the largest Lyapunov exponent.


title: Fluid segmentation in Neutrosophic domain

abstract: Optical coherence tomography (OCT) as retina imaging technology is currently used by ophthalmologist as a non-invasive and non-contact method for diagnosis of agerelated degeneration (AMD) and diabetic macular edema (DME) diseases. Fluid regions in OCT images reveal the main signs of AMD and DME. In this paper, an efficient and fast clustering in neutrosophic (NS) domain referred as neutrosophic C-means is adapted for fluid segmentation. For this task, a NCM cost function in NS domain is adapted for fluid segmentation and then optimized by gradient descend methods which leads to binary segmentation of OCT Bscans to fluid and tissue regions. The proposed method is evaluated in OCT datasets of subjects with DME abnormalities. Results showed that the proposed method outperforms existing fluid segmentation methods by 6% in dice coefficient and sensitivity criteria.


title: Characterizing Orphan Transactions in the Bitcoin Network

abstract: Orphan transactions are those whose parental income-sources are missing at the time that they are processed. These transactions are not propagated to other nodes until all of their missing parents are received, and they thus end up languishing in a local buffer until evicted or their parents are found. Although there has been little work in the literature on characterizing the nature and impact of such orphans, it is intuitive that they may affect throughput on the Bitcoin network. This work thus seeks to methodically research such effects through a measurement campaign of orphan transactions on live Bitcoin nodes. Our data show that, surprisingly, orphan transactions tend to have fewer parents on average than non-orphan transactions. Moreover, the salient features of their missing parents are a lower fee and larger size than their non-orphan counterparts, resulting in a lower transaction fee per byte. Finally, we note that the network overhead incurred by these orphan transactions can be significant, exceeding 17% when using the default orphan memory pool size (100 transactions). However, this overhead can be made negligible, without significant computational or memory demands, if the pool size is merely increased to 1000 transactions.


title: Dependent Modeling of Temporal Sequences of Random Partitions

abstract: We consider the task of modeling a dependent sequence of random partitions. It is well-known that a random measure in Bayesian nonparametrics induces a distribution over random partitions. The community has therefore assumed that the best approach to obtain a dependent sequence of random partitions is through modeling dependent random measures. We argue that this approach is problematic and show that the random partition model induced by dependent Bayesian nonparametric priors exhibit counter-intuitive dependence among partitions even though the dependence for the sequence of random probability measures is intuitive. Because of this, we advocate instead to model the sequence of random partitions directly when clustering is of principal interest. To this end, we develop a class of dependent random partition models that explicitly models dependence in a sequence of partitions. We derive conditional and marginal properties of the joint partition model and devise computational strategies when employing the method in Bayesian modeling. In the case of temporal dependence, we demonstrate through simulation how the methodology produces partitions that evolve gently and naturally over time. We further illustrate the utility of the method by applying it to an environmental data set that exhibits spatio-temporal dependence.


title: 2 Fast 2 Fiducial: Gaussian processes for the interpolation and marginalization of waveform error in extreme-mass-ratio-inspiral parameter estimation

abstract: A number of open problems hinder our present ability to extract scientific information from data that will be gathered by the near-future gravitational-wave mission LISA. Many of these relate to the modeling, detection and characterization of signals from binary inspirals with an extreme component-mass ratio of $\lesssim10^{-4}$. In this paper, we draw attention to the issue of systematic error in parameter estimation due to the use of fast but approximate waveform models; this is found to be relevant for extreme-mass-ratio inspirals even in the case of waveforms with $\gtrsim90\%$ overlap accuracy and moderate ($\gtrsim30$) signal-to-noise ratios. A scheme that uses Gaussian processes to interpolate and marginalize over waveform error is adapted and investigated as a possible precursor solution to this problem. Several new methodological results are obtained, and the viability of the technique is successfully demonstrated on a three-parameter example in the setting of the LISA Data Challenge.


title: CMOS Position-Based Charge Qubits: Theoretical Analysis of Control and Entanglement

abstract: In this study, a formal definition, robustness analysis and discussion on the control of a position-based semiconductor charge qubit are presented. Such a qubit can be realized in a chain of coupled quantum dots, forming a register of charge-coupled transistor-like devices, and is intended for CMOS implementation in scalable quantum computers. We discuss the construction and operation of this qubit, its Bloch sphere, and relation with maximally localized Wannier functions which define its position-based nature. We then demonstrate how to build a tight-binding model of single and multiple interacting qubits from first principles of the Schr\"odinger formalism. We provide all required formulae to calculate the maximally localized functions and the entries of the Hamiltonian matrix in the presence of interaction between qubits. We use three illustrative examples to demonstrate the electrostatic interaction of electrons and discuss how to build a model for many-electron (qubit) system. To conclude this study, we show that charge qubits can be entangled through electrostatic interaction.


title: Barycenters of Natural Images -- Constrained Wasserstein Barycenters for Image Morphing

abstract: Image interpolation, or image morphing, refers to a visual transition between two (or more) input images. For such a transition to look visually appealing, its desirable properties are (i) to be smooth; (ii) to apply the minimal required change in the image; and (iii) to seem "real", avoiding unnatural artifacts in each image in the transition. To obtain a smooth and straightforward transition, one may adopt the well-known Wasserstein Barycenter Problem (WBP). While this approach guarantees minimal changes under the Wasserstein metric, the resulting images might seem unnatural. In this work, we propose a novel approach for image morphing that possesses all three desired properties. To this end, we define a constrained variant of the WBP that enforces the intermediate images to satisfy an image prior. We describe an algorithm that solves this problem and demonstrate it using the sparse prior and generative adversarial networks.


title: Fast Generation of RSA Keys using Smooth Integers

abstract: Primality generation is the cornerstone of several essential cryptographic systems. The problem has been a subject of deep investigations, but there is still a substantial room for improvements. Typically, the algorithms used have two parts trial divisions aimed at eliminating numbers with small prime factors and primality tests based on an easy-to-compute statement that is valid for primes and invalid for composites. In this paper, we will showcase a technique that will eliminate the first phase of the primality testing algorithms. The computational simulations show a reduction of the primality generation time by about 30% in the case of 1024-bit RSA key pairs. This can be particularly beneficial in the case of decentralized environments for shared RSA keys as the initial trial division part of the key generation algorithms can be avoided at no cost. This also significantly reduces the communication complexity. Another essential contribution of the paper is the introduction of a new one-way function that is computationally simpler than the existing ones used in public-key cryptography. This function can be used to create new random number generators, and it also could be potentially used for designing entirely new public-key encryption systems.


title: Learning Transferable Features for Speech Emotion Recognition

abstract: Emotion recognition from speech is one of the key steps towards emotional intelligence in advanced human-machine interaction. Identifying emotions in human speech requires learning features that are robust and discriminative across diverse domains that differ in terms of language, spontaneity of speech, recording conditions, and types of emotions. This corresponds to a learning scenario in which the joint distributions of features and labels may change substantially across domains. In this paper, we propose a deep architecture that jointly exploits a convolutional network for extracting domain-shared features and a long short-term memory network for classifying emotions using domain-specific features. We use transferable features to enable model adaptation from multiple source domains, given the sparseness of speech emotion data and the fact that target domains are short of labeled data. A comprehensive cross-corpora experiment with diverse speech emotion domains reveals that transferable features provide gains ranging from 4.3% to 18.4% in speech emotion recognition. We evaluate several domain adaptation approaches, and we perform an ablation study to understand which source domains add the most to the overall recognition effectiveness for a given target domain.


title: A Drug Recommendation System (Dr.S) for cancer cell lines

abstract: Personalizing drug prescriptions in cancer care based on genomic information requires associating genomic markers with treatment effects. This is an unsolved challenge requiring genomic patient data in yet unavailable volumes as well as appropriate quantitative methods. We attempt to solve this challenge for an experimental proxy for which sufficient data is available: 42 drugs tested on 1018 cancer cell lines. Our goal is to develop a method to identify the drug that is most promising based on a cell line's genomic information. For this, we need to identify for each drug the machine learning method, choice of hyperparameters and genomic features for optimal predictive performance. We extensively compare combinations of gene sets (both curated and random), genetic features, and machine learning algorithms for all 42 drugs. For each drug, the best performing combination (considering only the curated gene sets) is selected. We use these top model parameters for each drug to build and demonstrate a Drug Recommendation System (Dr.S). Insights resulting from this analysis are formulated as best practices for developing drug recommendation systems. The complete software system, called the Cell Line Analyzer, is written in Python and available on github.


title: Modeling of Impact Ionization and Charge Trapping in SuperCDMS HVeV Detectors

abstract: A model for charge trapping and impact ionization, and an experiment to measure these parameters is presented for the SuperCDMS HVeV detector. A procedure to isolate and quantify the main sources of noise (bulk and surface charge leakage) in the measurements is also describe. This sets the stage to precisely measure the charge trapping and impact ionization probabilities in order to incorporate this model into future dark matter searches.


title: Artap: Robust Design Optimization Framework for Engineering Applications

abstract: The main goal of the Artap project is to provide an extensive infrastructure for robust design optimization, where usually many different numerical solvers have to be used together and the impact of the manufacturing uncertainties have to be minimized. Artap is an open-source software platform, developed jointly with the coupled numerical field solver, Agros Suite. Artap ensures interfaces for a broad collection of optimization algorithms (genetic and evolutionary algorithms, various interfaces to libraries such as Nlopt, Bayesopt, etc .), tools for machine learning (neural networks, Gaussian processes, etc. ), finite element solvers (Agros Suite, Comsol, Multiphysics, deal.II). The implemented tools offers an easy and straightforward solution not only for robust design optimization but parameter identification, model order reduction, and shape optimization, as well. Moreover, Artap provides automatic parallelization of the optimization process. The paper presents the structure of the framework and technologies powering the project. The main features of Artap are demonstrated on an induction brazing process design tasks.


title: $L^p$-versions of generalized Korn inequalities for incompatible tensor fields in arbitrary dimensions with $p$-integrable exterior derivative

abstract: For $n\ge2$ and $1<p<\infty$ we prove an $L^p$-version of the generalized Korn-type inequality for incompatible, $p$-integrable tensor fields $P:\Omega \to \mathbb{R}^{n\times n}$ having $p$-integrable generalized $\underline{\operatorname{Curl}}$ and generalized vanishing tangential trace $P\,\tau_l=0$ on $\partial \Omega$, denoting by $\{\tau_l\}_{l=1,\ldots, n-1}$ a moving tangent frame on $\partial\Omega$, more precisely we have: $$\| P \|_{L^p(\Omega,\mathbb{R}^{n\times n})}\leq c\,(\| \operatorname{sym} P\|_{L^p(\Omega,\mathbb{R}^{n \times n})} + \|\underline{\operatorname{Curl}} P \|_{L^p(\Omega,(\mathfrak{so}(n))^n)} ),$$ where the generalized $\underline{\operatorname{Curl}}$ is given by $ (\underline{\operatorname{Curl}})_{ijk} :=\partial_i P_{kj}-\partial_j P_{ki}$ and $c=c(n,p,\Omega)>0$.


title: Wideband Source Enumeration Using Sparse Array Periodogram Averaging in Low Snapshot Scenarios

abstract: This paper proposes a new sparse array source enumeration algorithm for underdetermined scenarios with more sources than sensors. The proposed algorithm decomposes the wideband signals into multiple uncorrelated frequency bands, computes the narrowband spatial periodograms and then averages periodograms to reinforce the sources' spectral information. The inverse spatial Fourier transform of the wideband periodogram estimates the spatial correlation function, which then populates the diagonals of a Hermitian Toeplitz augmented covariance matrix (ACM) after lag redundancy averaging. A modified minimum description length (MDL) criteria, termed MDLgap, is proposed for source enumeration using the eigenvalues of the constructed ACM. MDLgap provably never overestimates the number of sources present, and is asymptotically consistent when the signals present span a limited dynamic range. Numerical simulations show that the proposed MDLgap algorithm achieves improved performance over existing approaches for underdetermined source enumeration, especially in low snapshot scenarios.


title: Parameterization of the Stoner-Wohlfarth model of magnetic hysteresis

abstract: The Stoner-Wohlfarth is the most used model of magnetic hysteresis, but its computation is time-consuming. We use machine learning to approximate piecewise this model by easy-to-compute analytic functions. Our parametrization is suitable for fast quantitative evaluations and fitting experimental data, which we exemplify.

categories: cond-mat.mtrl-sci cond-mat.other math-ph math.MP physics.app-ph physics.comp-ph


title: Composable Effects for Flexible and Accelerated Probabilistic Programming in NumPyro

abstract: NumPyro is a lightweight library that provides an alternate NumPy backend to the Pyro probabilistic programming language with the same modeling interface, language primitives and effect handling abstractions. Effect handlers allow Pyro's modeling API to be extended to NumPyro despite its being built atop a fundamentally different JAX-based functional backend. In this work, we demonstrate the power of composing Pyro's effect handlers with the program transformations that enable hardware acceleration, automatic differentiation, and vectorization in JAX. In particular, NumPyro provides an iterative formulation of the No-U-Turn Sampler (NUTS) that can be end-to-end JIT compiled, yielding an implementation that is much faster than existing alternatives in both the small and large dataset regimes.


title: Explicit expression of scattering operator of some quantum walks on impurities

abstract: In this paper, we consider the scattering theory for a one-dimensional quantum walk with impurities which make reflections and transmissions. We focus on an explicit expression of the scattering operator. Our construction of the formula is based on the counting paths of quantum walkers. The Fourier transform of the scattering operator gives an explicit formula of the scattering matrix which is deeply related with the resonant-tunneling for quantum walks.


title: Effect of Functionalization on the Properties of Silsesquioxane; a Comparison to Silica

abstract: While similar in nature, the properties of silica and silsesquioxane are very different, but little is known about these differences. In this paper, functionalized silsesquioxane microparticles are synthesized by adapting the modified St\"ober method and post-functionalized with rhodamine-B. The as synthesized silsesquioxane particles are characterized by a variety of physical and chemical methods. The synthesized particles are amorphous and nonporous in nature and are less dense than silica. While silsesquioxane and silica have some similar physical properties from their siloxane core, the organic functional group of silsesquioxane and the one-half oxygen difference in its structure impact many other properties of these particles like their charging behavior in liquids. These differences not only allow for the ease surface modification as compared to that necessary to modify silica, but also the use in a variety of colloidal systems that due to pH or electrolyte concentrations may not be suitable for silica particles. Keywords: silsesquioxane, Stober method, density, morphology, zeta potential


title: Scheiderer motives and equivariant higher topos theory

abstract: We give an algebro-geometric interpretation of $C_2$-equivariant stable homotopy theory by means of the $b$-topology introduced by Claus Scheiderer in his study of $2$-torsion phenomena in \'etale cohomology. To accomplish this, we first revisit and extend work of Scheiderer on equivariant topos theory by functorially associating to a $\infty$-topos $\mathscr{X}$ with $G$-action a presentable stable $\infty$-category $\mathrm{Sp}^G(\mathscr{X})$, which recovers the $\infty$-category $\mathrm{Sp}^G$ of genuine $G$-spectra when $\mathscr{X}$ is the terminal $G$-$\infty$-topos. Given a scheme $X$ with $1/2 \in \mathcal{O}_X$, our construction then specializes to produce an $\infty$-category $\mathrm{Sp}^{C_2}_b(X)$ of "$b$-sheaves with transfers" as $b$-sheaves of spectra on the small \'etale site of $X$ equipped with certain transfers along the extension $X[i] \rightarrow X$; if $X$ is the spectrum of a real closed field, then $\mathrm{Sp}^{C_2}_b(X)$ recovers $\mathrm{Sp}^{C_2}$. On a large class of schemes, we prove that, after $p$-completion, our construction assembles into a premotivic functor satisfying the full six functors formalism. We then introduce the $b$-variant $\mathrm{SH}_b(X)$ of the $\infty$-category $\mathrm{SH}(X)$ of motivic spectra over $X$ (in the sense of Morel-Voevodsky), and produce a natural equivalence of $\infty$-categories $\mathrm{SH}_b(X)^{\wedge}_p \simeq \mathrm{Sp}^{C_2}_b(X)^{\wedge}_p$ through amalgamating the \'etale and real \'etale motivic rigidity theorems of Tom Bachmann. This involves a purely algebro-geometric construction of the $C_2$-Tate construction, which may be of independent interest. Finally, as applications, we deduce a "$b$-rigidity" theorem, use the Segal conjecture to show \'etale descent of the $2$-complete $b$-motivic sphere spectrum, and construct a parametrized version of the $C_2$-Betti realization functor of Heller-Ormsby.


title: DC resistivity near a nematic quantum critical point: Effects of weak disorder and acoustic phonons

abstract: We calculate the resistivity associated with an Ising-nematic quantum critical point in the presence of disorder and acoustic phonons in the lattice model. We use the memory-matrix transport theory, which has a crucial advantage compared to other methods of not relying on the existence of well-defined quasiparticles in the low-energy effective theory. As a result, we obtain that by including an inevitable interaction between the nematic fluctuations and the elastic degrees of freedom of the lattice (parametrized by the nemato-elastic coupling $\kappa_{\text{latt}}$), the resistivity $\rho(T)$ of the system as a function of temperature obeys a universal scaling form described by $\rho(T)\sim T\ln (1/T)$ at high temperatures, reminiscent of the paradigmatic strange metal regime observed in many strongly correlated compounds. For a window of temperatures comparable with $\kappa^{3/2}_{\text{latt}}\varepsilon_F$ (where $\varepsilon_F$ is the Fermi energy of the microscopic model), the system displays another regime in which the resistivity is consistent with a description in terms of $\rho(T)\sim T^{\alpha}$, where the effective exponent roughly satisfies the inequality $1\lesssim\alpha\lesssim 2$. However, in the low-temperature limit (i.e., $T\ll\kappa^{3/2}_{\text{latt}}\varepsilon_F$), the properties of the quantum critical state change in an important way depending on the types of disorder present in the system: It can either recover a conventional Fermi liquid described by $\rho(T)\sim T^2$ or it could exhibit yet another non-Fermi liquid regime characterized by the scaling form $\rho(T)-\rho_0\sim T^2\ln T$. Our results emphasize the key role played by both phonon and disorder effects in the scenario of nematic quantum criticality and might be fundamental for addressing recent transport experiments in some iron-based superconductors.


title: On the Convergence of WKB Approximations of the Damped Mathieu Equation

abstract: Consider the differential equation ${ m\ddot{x} +\gamma \dot{x} -x\epsilon \cos(\omega t) =0}$, $0 \leq t \leq T$. The form of the fundamental set of solutions are determined by Floquet theory. In the limit as $m \to 0$ we can apply WKB theory to get first order approximations of this fundamental set. WKB theory states that this approximation gets better as $m \to 0$ in the sense that the difference in sup norm is bounded as function of $m$ for a given $T$. However, convergence of the periodic parts and exponential parts are not addressed. We show that there is convergence to these components. The asymptotic error for the characteristic exponents are $O(m^2)$ and $O(m)$ for the periodic parts.


title: (t,r) broadcast domination in the infinite grid

abstract: The $(t,r)$ broadcast domination number of a graph $G$, $\gamma_{t,r}(G)$, is a generalization of the domination number of a graph. $\gamma_{t,r}(G)$ is the minimal number of towers needed, placed on vertices of $G$, each transmitting a signal of strength $t$ which decays linearly, such that every vertex receives a total amount of at least $r$ signal. In this paper we prove a conjecture by Drews, Harris, and Randolph about the minimal density of towers in $\mathbb{Z}^2$ that provide a $(t,3)$ domination broadcast for $t>17$ and explore generalizations. Additionally, we determine the $(t,r)$ broadcast domination number of powers of paths, $P_n^{(k)}$ and powers of cycles, $C_n^{(k)}$.


title: Case AD, AR, and AS binary evolution and their possible connections with W UMa binaries

abstract: Close detached binaries were theoretically predicted to evolve into contact by three subtypes of case A binary evolution: case AD, AR, and AS, which correspond to the formation of contact during dynamic-, thermal-, and nuclear-timescale mass transfer phase, respectively. It is unclear, however, what is the difference between contact binaries in these subtypes, and whether all of these subtypes can account for the formation of observed W UMa binaries. Using Eggleton's stellar evolution code with the nonconservative assumption, I obtained the low-mass contact binaries produced by case AD, AR, and AS at the moment of contact, and their parameter spaces. The results support that the progenitors of low-mass contact binaries are detached binaries with orbital periods shorter than $\sim2-5\,$d, and their borderlines depend strongly on the primary mass. In addition, the period-colour relations for case AR and AS can be in better agreement with that for observed W UMa candidates, but case AD shows a significantly worse agreement. Moreover, case AR and AS can produce a short-period limit (corresponding to a low-mass limit) at almost any age, e.g. from young age ($\sim0.2\,$Gyr) to old age ($\sim13\,$Gyr), agreeing with observed W UMa binaries in star clusters, but no such limit occurs for case AD at any age. These results support that case AR and AS, as opposed to case AD, can lead to W UMa binaries (including young W UMa binaries).


title: Quantum control of nonlinear thermoelectricity at the nanoscale

abstract: We theoretically study how one can control and enhance nonlinear thermoelectricity by regulating quantum coherence in nanostructures such as a quantum dot system or a single-molecule junction. In nanostructures, the typical temperature scale is much smaller than the resonance width, which largely suppresses thermoelectric effects. Yet we demonstrate one can achieve a reasonably good thermoelectric performance by regulating quantum coherence. Engaging a quantum-dot interferometer (a quantum dot embedded in the ring geometry) as a heat engine, we explore the idea of thermoelectric enhancement induced by the Fano resonance. We develop an analytical treatment of fully nonlinear responses for a dot with or without strong interaction. Based on the microscopic model with the nonequilibrium Green function technique, we show how to enhance efficiency and/or output power as well as where to locate an optimal gate voltage. We also argue how to assess nonlinear thermoelectricity by linear-response quantities.


title: Quantum Coherence Versus Non-Classical Correlations in Optomechanics

abstract: Coherence arises from the superposition principle, where it plays a central role in quantum mechanics. In [Phys.Rev.Lett.114,210401(2015)], it has been shown that the freezing phenomenon of quantum correlations beyond entanglement, is intimately related to the freezing of quantum coherence (QC). In this paper, we compare the behaviour of entanglement and quantum discord with quantum coherence in two di erent subsystems (optical and mechanical). We use respectively the en-tanglement of formation (EoF) and the Gaussian quantum discord (GQD) to quantify entanglement and quantum discord. Under thermal noise and optomechanical coupling e ects, we show that EoF, GQD and QC behave in the same way. Remarkably, when entanglement vanishes, GQD and QC re-main almost una ected by thermal noise, keeping non zero values even for high temperature, which in concordance with [Phys.Rev.Lett.114,210401(2015)]. Also, we nd that the coherence associated with the optical subsystem are more robustagainst thermal noisethan those of the mechanical subsystem. Our results con rm that optomechanical cavities constitute a powerful resource of QC.


title: Online Music Listening Culture of Kids and Adolescents: Listening Analysis and Music Recommendation Tailored to the Young

abstract: In this paper, we analyze a large dataset of user-generated music listening events from Last.fm, focusing on users aged 6 to 18 years. Our contribution is two-fold. First, we study the music genre preferences of this young user group and analyze these preferences for homogeneity within more fine-grained age groups and with respect to gender and countries. Second, we investigate the performance of a collaborative filtering recommender when tailoring music recommendations to different age groups. We find that doing so improves performance for all user groups up to 18 years, but decreases performance for adult users aged 19 years and older.


title: Rendering Synthetic Objects into Legacy Photographs

abstract: We propose a method to realistically insert synthetic objects into existing photographs without requiring access to the scene or any additional scene measurements. With a single image and a small amount of annotation, our method creates a physical model of the scene that is suitable for realistically rendering synthetic objects with diffuse, specular, and even glowing materials while accounting for lighting interactions between the objects and the scene. We demonstrate in a user study that synthetic images produced by our method are confusable with real scenes, even for people who believe they are good at telling the difference. Further, our study shows that our method is competitive with other insertion methods while requiring less scene information. We also collected new illumination and reflectance datasets; renderings produced by our system compare well to ground truth. Our system has applications in the movie and gaming industry, as well as home decorating and user content creation, among others.


title: Boundary Cues for 3D Object Shape Recovery

abstract: Early work in computer vision considered a host of geometric cues for both shape reconstruction and recognition. However, since then, the vision community has focused heavily on shading cues for reconstruction, and moved towards data-driven approaches for recognition. In this paper, we reconsider these perhaps overlooked "boundary" cues (such as self occlusions and folds in a surface), as well as many other established constraints for shape reconstruction. In a variety of user studies and quantitative tasks, we evaluate how well these cues inform shape reconstruction (relative to each other) in terms of both shape quality and shape recognition. Our findings suggest many new directions for future research in shape reconstruction, such as automatic boundary cue detection and relaxing assumptions in shape from shading (e.g. orthographic projection, Lambertian surfaces).


title: ConstructAide: Analyzing and Visualizing Construction Sites through Photographs and Building Models

abstract: We describe a set of tools for analyzing, visualizing, and assessing architectural/construction progress with unordered photo collections and 3D building models. With our interface, a user guides the registration of the model in one of the images, and our system automatically computes the alignment for the rest of the photos using a novel Structure-from-Motion (SfM) technique; images with nearby viewpoints are also brought into alignment with each other. After aligning the photo(s) and model(s), our system allows a user, such as a project manager or facility owner, to explore the construction site seamlessly in time, monitor the progress of construction, assess errors and deviations, and create photorealistic architectural visualizations. These interactions are facilitated by automatic reasoning performed by our system: static and dynamic occlusions are removed automatically, rendering information is collected, and semantic selection tools help guide user input. We also demonstrate that our user-assisted SfM method outperforms existing techniques on both real-world construction data and established multi-view datasets.


title: Blind Recovery of Spatially Varying Reflectance from a Single Image

abstract: We propose a new technique for estimating spatially varying parametric materials from a single image of an object with unknown shape in unknown illumination. Our method uses a low-order parametric reflectance model, and incorporates strong assumptions about lighting and shape. We develop new priors about how materials mix over space, and jointly infer all of these properties from a single image. This produces a decomposition of an image which corresponds, in one sense, to microscopic features (material reflectance) and macroscopic features (weights defining the mixing properties of materials over space). We have built a large dataset of real objects rendered with different material models under different illumination fields for training and ground truth evaluation. Extensive experiments on both our synthetic dataset images as well as real images show that (a) our method recovers parameters with reasonable accuracy; (b) material parameters recovered by our method give accurate predictions of new renderings of the object; and (c) our low-order reflectance model still provides a good fit to many real-world reflectances.


title: A random matrix approach to absorption in free products

abstract: This paper gives a free entropy theoretic perspective on amenable absorption results for free products of tracial von Neumann algebras. In particular, we give the first free entropy proof of Popa's famous result that the generator MASA in a free group factor is maximal amenable, and we partially recover Houdayer's results on amenable absorption and Gamma stability. Moreover, we give a unified approach to all these results using $1$-bounded entropy. We show that if $\mathcal{M} = \mathcal{P} * \mathcal{Q}$, then $\mathcal{P}$ absorbs any subalgebra of $\mathcal{M}$ that intersects it diffusely and that has $1$-bounded entropy zero (which includes amenable and property Gamma algebras as well as many others). In fact, for a subalgebra $\mathcal{P} \leq \mathcal{M}$ to have this absorption property, it suffices for $\mathcal{M}$ to admit random matrix models that have exponential concentration of measure and that "simulate" the conditional expectation onto $\mathcal{P}$.


title: SketchTransfer: A Challenging New Task for Exploring Detail-Invariance and the Abstractions Learned by Deep Networks

abstract: Deep networks have achieved excellent results in perceptual tasks, yet their ability to generalize to variations not seen during training has come under increasing scrutiny. In this work we focus on their ability to have invariance towards the presence or absence of details. For example, humans are able to watch cartoons, which are missing many visual details, without being explicitly trained to do so. As another example, 3D rendering software is a relatively recent development, yet people are able to understand such rendered scenes even though they are missing details (consider a film like Toy Story). The failure of machine learning algorithms to do this indicates a significant gap in generalization between human abilities and the abilities of deep networks. We propose a dataset that will make it easier to study the detail-invariance problem concretely. We produce a concrete task for this: SketchTransfer, and we show that state-of-the-art domain transfer algorithms still struggle with this task. The state-of-the-art technique which achieves over 95\% on MNIST $\xrightarrow{}$ SVHN transfer only achieves 59\% accuracy on the SketchTransfer task, which is much better than random (11\% accuracy) but falls short of the 87\% accuracy of a classifier trained directly on labeled sketches. This indicates that this task is approachable with today's best methods but has substantial room for improvement.


title: The rational Heun operator and Wilson biorthogonal functions

abstract: We consider the rational Heun operator defined as the most general second-order $q$-difference operator which sends any rational function of type $[(n-1)/n]$ to a rational function of type $[n/(n+1)]$. We shall take the poles to be located on the Askey-Wilson grid. It is shown that this operator is related to the one-dimensional degeneration of the Ruijsenaars-van Diejen Hamiltonians. The Wilson biorthogonal functions of type ${_{10}}\Phi_9$ are found to be solutions of a generalized eigenvalue problem involving rational Heun operators of the special "classical" kind.


title: Superflares on solar-type stars from the first year observation of TESS

abstract: Superflares, as strong explosions on stars, have been well studied with the progress of space time-domain astronomy. In this work, we present the study of superflares on solar-type stars using Transiting Exoplanet Survey Satellite ({\em{TESS}}) data. 13 sectors of observations during the first year of the {\em TESS} mission have covered the southern hemisphere of the sky, containing 25,734 solar-type stars. We verified 1,216 superflares on 400 solar-type stars through automatic search and visual inspection with 2-minute cadence data. Our result suggests a higher superflare frequency distribution than the result from {\em Kepler}. The reason may be that the majority of {\em TESS} solar-type stars in our dataset are rapidly rotating stars. The power-law index $\gamma$ of the superflare frequency distribution ($dN/dE\propto E^{-\gamma}$) is constrained to be $\gamma = 2.16\pm 0.10$, which is a little larger than that of solar flares but consistent with the results from {\em Kepler}. Because only 7 superflares of Sun-like stars are detected, we may not give a robust superflare occurrence frequency. And four stars are accompanied by unconfirmed hot planet candidates. Therefore, superflares are possibly caused by stellar magnetic activities instead of planet-star interactions. We also find an extraordinary star TIC43472154, which exhibits about 200 superflares per year. In addition, the correlation between energy and duration of superflares ($T_{\text {duration }} \propto E^{\beta}$) is analyzed. We derive the power-law index to be $\beta=0.42\pm0.01$, which is a little larger than $\beta=1/3$ from the prediction according to magnetic reconnection theory.


title: Magnon polarons in the spin Peltier effect

abstract: We report the observation of anomalous peak structures induced by hybridized magnon-phonon excitation (magnon polarons) in the magnetic field dependence of the spin Peltier effect (SPE) in a Lu$_{2}$Bi$_{1}$Fe$_{4}$Ga$_{1}$O$_{12}$ (BiGa:LuIG) with Pt contact. The SPE peaks coincide with magnetic fields tuned to the threshold of magnon-polaron formation, consistent with the previous observation in the spin Seebeck effect. The enhancement of SPE is attributed to the lifetime increase in spin current caused by magnon-phonon hybridization in BiGa:LuIG.


title: On the symmetry and monotonicity of Morrey extremals

abstract: We employ Clarkson's inequality to deduce that each extremal of Morrey's inequality is axially symmetric and is antisymmetric with respect to reflection about a plane orthogonal to its axis of symmetry. We also use symmetrization methods to show that each extremal is monotone in the distance from its axis of symmetry and in the direction of its axis when restricted to spheres centered at the intersection of its axis and its antisymmetry plane.


title: Hopping-Proof and Fee-Free Pooled Mining in Blockchain

abstract: The pool-hopping attack casts down the expected profits of both the mining pool and honest miners in Blockchain. The mainstream countermeasures, namely PPS (pay-per-share) and PPLNS (pay-per-last-N-share), can hedge pool hopping, but pose a risk to the pool as well as the cost to miners. In this study, we apply the zero-determinant (ZD) theory to design a novel pooled mining which offers an incentive mechanism for motivating non-memorial and memorial evolutionary miners not to switch in pools strategically. In short, our hopping-proof pooled mining has three unique features: 1) fee-free. No fee is charged if the miner does not hop. 2) wide applicability. It can be employed in both prepaid and postpaid mechanisms. 3) fairness. Even the pool can dominate the game with any miner, he has to cooperate when the miner does not hop among pools. The fairness of our scheme makes it have long-term sustainability. To the best of our knowledge, we are the first to propose a hopping-proof pooled mining with the above three natures simultaneously. Both theoretical and experimental analyses demonstrate the effectiveness of our scheme.


title: On the Coverage and Capacity of Ultra-Dense Networks with Directional Transmissions

abstract: We investigate the performance of a downlink ultra-dense network (UDN) with directional transmissions via stochastic geometry. Considering the dual-slope path loss model and sectored beamforming pattern, we derive the expressions and asymptotic characteristics of the coverage probability and constrained area spectrum efficiency (ASE). Several special scenarios, namely the physically feasible path loss model and adjustable beam pattern, are also analyzed. Although signal-to-interference-plus-noise ratio collapsing still exists when the path loss exponent in the near-field is no larger than 2, using strategies like beam pattern adaption, can avoid the decrease of the coverage probability and constrained ASE even when the base station density approaches infinity.


title: Symmetries in Yetter-Drinfel'd-Long categories

abstract: Let $H$ be a Hopf algebra and $\mathcal{LR}(H)$ the category of Yetter-Drinfel'd-Long bimodules over $H$. We first give sufficient and necessary conditions for $\mathcal{LR}(H)$ to be symmetry and pseudosymmetry, respectively. We then introduce the definition of $u$-condition in $\mathcal{LR}(H)$ and discuss the relation between the $u$-condition and the symmetry of $\mathcal{LR}(H)$. Finally, we show that $\mathcal{LR}(H)$ over a triangular (cotriangular, resp.) Hopf algebra contains a rich symmetric subcategory.


title: Channel Fingerprint Based Beam Tracking for Millimeter Wave Communications

abstract: Beamforming structures with fixed beam codebooks provide economical solutions for millimeter wave (mmWave) communications due to the low hardware cost. However, the training overhead to search for the optimal beamforming configuration is proportional to the codebook size. To improve the efficiency of beam tracking, we propose a beam tracking scheme based on the channel fingerprint database, which comprises mappings between statistical beamforming gains and user locations. The scheme tracks user movement by utilizing the trained beam configurations and estimating the gains of beam configurations that are not trained. Simulations show that the proposed scheme achieves significant beamforming performance gains over existing beam tracking schemes.


title: Periodic one-point rank one commuting difference operators

abstract: In this paper we study one-point rank one commutative rings of difference operators. We find conditions on spectral data which specify such operators with periodic coefficients.


title: A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML)

abstract: This paper introduces the MCML approach for empirically studying the learnability of relational properties that can be expressed in the well-known software design language Alloy. A key novelty of MCML is quantification of the performance of and semantic differences among trained machine learning (ML) models, specifically decision trees, with respect to entire (bounded) input spaces, and not just for given training and test datasets (as is the common practice). MCML reduces the quantification problems to the classic complexity theory problem of model counting, and employs state-of-the-art model counters. The results show that relatively simple ML models can achieve surprisingly high performance (accuracy and F1-score) when evaluated in the common setting of using training and test datasets - even when the training dataset is much smaller than the test dataset - indicating the seeming simplicity of learning relational properties. However, MCML metrics based on model counting show that the performance can degrade substantially when tested against the entire (bounded) input space, indicating the high complexity of precisely learning these properties, and the usefulness of model counting in quantifying the true performance.


title: Some combinatorial matrices and their LU-decomposition

abstract: Three combinatorial matrices are considered and their LU-decompositions were found. This is typically done by (creative) guessing, and necessary proofs are more or less routine calculations.


title: Deep Learning Aided Rational Design of Oxide Glasses

abstract: Despite the extensive usage of oxide glasses for a few millennia, the composition-property relationships in these materials still remain poorly understood. While empirical and physics-based models have been used to predict properties, these remain limited to a few select compositions or a series of glasses. Designing new glasses requires a priori knowledge of how the composition of a glass dictates its properties such as stiffness, density, or processability. Thus, accelerated design of glasses for targeted applications remain impeded due to the lack of universal composition-property models. Herein, using deep learning, we present a methodology for the rational design of oxide glasses. Exploiting a large dataset of glasses comprising of up to 37 oxide components and more than 100,000 glass compositions, we develop high-fidelity deep neural networks for the prediction of eight properties that enable the design of glasses, namely, density, Young's modulus, shear modulus, hardness, glass transition temperature, thermal expansion coefficient, liquidus temperature, and refractive index. These models are by far the most extensive models developed as they cover the entire range of human-made glass compositions. We demonstrate that the models developed here exhibit excellent predictability, ensuring close agreement with experimental observations. Using these models, we develop a series of new design charts, termed as glass selection charts. These charts enable the rational design of functional glasses for targeted applications by identifying unique compositions that satisfy two or more constraints, on both compositions and properties, simultaneously. The generic design approach presented herein could catalyze machine-learning assisted materials design and discovery for a large class of materials including metals, ceramics, and proteins.


title: Universal Rank Inference via Residual Subsampling with Application to Large Networks

abstract: Determining the precise rank is an important problem in many large-scale applications with matrix data exploiting low-rank plus noise models. In this paper, we suggest a universal approach to rank inference via residual subsampling (RIRS) for testing and estimating rank in a wide family of models, including many popularly used network models such as the degree corrected mixed membership model as a special case. Our procedure constructs a test statistic via subsampling entries of the residual matrix after extracting the spiked components. The test statistic converges in distribution to the standard normal under the null hypothesis, and diverges to infinity with asymptotic probability one under the alternative hypothesis. The effectiveness of RIRS procedure is justified theoretically, utilizing the asymptotic expansions of eigenvectors and eigenvalues for large random matrices recently developed in Fan et al. (2019a) and Fan et al. (2019b). The advantages of the newly suggested procedure are demonstrated through several simulation and real data examples.


title: Exploration of the Applicability of Probabilistic Inference for Learning Control in Underactuated Autonomous Underwater Vehicles

abstract: Underwater vehicles are employed in the exploration of dynamic environments where tuning of a specific controller for each task would be time-consuming and unreliable as the controller depends on calculated mathematical coefficients in idealised conditions. For such a case, learning task from experience can be a useful alternative. This paper explores the capability of probabilistic inference learning to control autonomous underwater vehicles that can be used for different tasks without re-programming the controller. Probabilistic inference learning uses a Gaussian process model of the real vehicle to learn the correct policy with a small number of real field experiments. The use of probabilistic reinforced learning looks for a simple implementation of controllers without the burden of coefficients calculation, controller tuning or system identification. A series of computational simulations were employed to test the applicability of model-based reinforced learning in underwater vehicles. Three simulation scenarios were evaluated: waypoint tracking, depth control and 3D path tracking control. The 3D path tracking is done by coupling together a line-of-sight law with probabilistic inference for learning control. As a comparison study LOS-PILCO algorithm can perform better than a robust LOS-PID. The results shows that probabilistic model based reinforced learning is a possible solution to motion control of underactuated AUVs as can generate capable policies with minimum quantity of episodes.


title: THUEE system description for NIST 2019 SRE CTS Challenge

abstract: This paper describes the systems submitted by the department of electronic engineering, institute of microelectronics of Tsinghua university and TsingMicro Co. Ltd. (THUEE) to the NIST 2019 speaker recognition evaluation CTS challenge. Six subsystems, including etdnn/ams, ftdnn/as, eftdnn/ams, resnet, multitask and c-vector are developed in this evaluation.


title: Revisiting the stable structure of the Cu$_{4}$ complex in silicon

abstract: The photoluminescence (PL) spectrum of Cu-containing silicon has a sharp zero-phonon (ZP) band at 1.014 eV. The luminescence center corresponding to this band is called Cu$_{PL}$ and is known to have the local $C_{3v}$ symmetry. A recent measurement by ultrahigh-resolution PL spectroscopy revealed that the Cu$_{PL}$ center is a Cu$_{4}$ complex. Later, it was shown, by first-principles calculations, that the structure was Cu$_{(s)}$Cu$_{3(i)}$, that is, a complex composed of three interstitial Cu$_{(i)}$ atoms around a substitutional Cu$_{(s)}$ atom. This complex (called $C$-type) has the desired symmetry. However, in this study, we show that the lowest-energy structure is different. The tetrahedral structure Cu$_{4}$, called $T$-type, has the lowest energy, with the value being 0.26 eV lower than that of $C$-type. Between these two types, there is an energy barrier of 0.14 eV, which allows $C$-type to exist in a metastable state. Details of the electronic properties of the $T$-type complex are given, by comparing with $C$-type and other isovalent complexes such as Li$_{4}$. Whereas the Cu$_{4}$ tetrahedron is incorporated in silicon in a manner compatible with the tetrahedral network, it also has its own molecular orbitals that exhibit metallic characteristics, in contrast to other complexes. The ZP of the PL spectrum is very likely ascribed to the backflow mode of the Cu$_{4}$ tetrahedron.


title: When the Large Divisors of a Natural Number Are in Arithmetic Progression

abstract: Iannucci considered the positive divisors of a natural number $n$ that do not exceed the square root of $n$ and found all numbers whose such divisors are in arithmetic progression. Continuing the work, we define large divisors to be divisors at least $\sqrt{n}$ and find all numbers whose large divisors are in arithmetic progression. The asymptotic formula for the count of these numbers up to a bound $x$ is observed to be $\frac{x\log\log x}{\log x}$.


title: Next-Generation Big Data Federation Access Control: A Reference Model

abstract: This paper discusses one of the most significant challenges of next-generation big data (BD) federation platforms, namely, Hadoop access control. Privacy and security on a federation scale remain significant concerns among practitioners. Hadoop's current primitive access control presents security concerns and limitations, such as the complexity of deployment and the consumption of resources. However, this major concern has not been a subject of intensive study in the literature. This paper critically reviews and investigates these security limitations and provides a framework called BD federation access broker to address 8 main security limitations. This paper proposes the federated access control reference model (FACRM) to formalize the design of secure BD solutions within the Apache Hadoop stack. Furthermore, this paper discusses the implementation of the access broker and its usefulness for security breach detection and digital forensics investigations. The efficiency of the proposed access broker has not sustainably affected the performance overhead. The experimental results show only 1\% of each 100 MB read/write operation in a WebHDFS. Overall, the findings of the paper pave the way for a wide range of revolutionary and state-of-the-art enhancements and future trends within Hadoop stack security and privacy.


title: Neural Subgraph Isomorphism Counting

abstract: In this paper, we study a new graph learning problem: learning to count subgraph isomorphisms. Different from other traditional graph learning problems such as node classification and link prediction, subgraph isomorphism counting is NP-complete and requires more global inference to oversee the whole graph. To make it scalable for large-scale graphs and patterns, we propose a learning framework which augments different representation learning architectures and iteratively attends pattern and target data graphs to memorize subgraph isomorphisms for the global counting. We develop both small graphs (<= 1,024 subgraph isomorphisms in each) and large graphs (<= 4,096 subgraph isomorphisms in each) sets to evaluate different models. A mutagenic compound dataset, MUTAG, is also used to evaluate neural models and demonstrate the success of transfer learning. While the learning based approach is inexact, we are able to generalize to count large patterns and data graphs in linear time compared to the exponential time of the original NP-complete problem. Experimental results show that learning based subgraph isomorphism counting can speed up the traditional algorithm, VF2, 10-1,000 times with acceptable errors. Domain adaptation based on fine-tuning also shows the usefulness of our approach in real-world applications.


title: The factorization method for recovering cavities in a heat conductor

abstract: In this paper, we develop a factorization method to reconstruct cavities in a heat conductor by knowing the Neumann-to-Dirichlet map at the boundary of this conductor. The factorization method is a very well known reconstruction method for inverse problems described by self-adjoint elliptic equations. It enables us to reconstruct the boundaries of unknown targets such as cavities and inclusions. This method was successfully applied for examples to the inverse scattering problem by obstacles for the acoustic wave and the electrical impedance tomography problem. The forward model equations for these problems are the Helmholtz equation and the conductivity equation which are both self-adjoint equations. On the other hand, the heat equation is a typical non-selfadjoint equation. This paper is giving the first attempt to study the factorization method for inverse problems whose forward model equations are non-selfadjoint. We emphasize that an auxiliary operator introduced in this paper is the key which makes this attempt successful. This operator connects the back projection operators for the forward and backward heat equations.


title: Learning performance in inverse Ising problems with sparse teacher couplings

abstract: We investigate the learning performance of the pseudolikelihood maximization method for inverse Ising problems. In the teacher-student scenario under the assumption that the teacher's couplings are sparse and the student does not know the graphical structure, the learning curve and order parameters are assessed in the typical case using the replica and cavity methods from statistical mechanics. Our formulation is also applicable to a certain class of cost functions having locality; the standard likelihood does not belong to that class. The derived analytical formulas indicate that the perfect inference of the presence/absence of the teacher's couplings is possible in the thermodynamic limit taking the number of spins $N$ as infinity while keeping the dataset size $M$ proportional to $N$, as long as $\alpha=M/N > 2$. Meanwhile, the formulas also show that the estimated coupling values corresponding to the truly existing ones in the teacher tend to be overestimated in the absolute value, manifesting the presence of estimation bias. These results are considered to be exact in the thermodynamic limit on locally tree-like networks, such as the regular random or Erd\H{o}s--R\'enyi graphs. Numerical simulation results fully support the theoretical predictions. Additional biases in the estimators on loopy graphs are also discussed.


title: Universal conductance dips and fractional excitations in a two-subband quantum wire

abstract: We theoretically investigate a quasi-one-dimensional quantum wire, where the lowest two subbands are populated, in the presence of a helical magnetic field. We uncover a backscattering mechanism involving the helical magnetic field and Coulomb interaction between the electrons. The combination of these ingredients results in scattering resonances and partial gaps which give rise to non-standard plateaus and conductance dips at certain electron densities. The positions and values of these dips are independent of material parameters, serving as direct transport signatures of this mechanism. Our theory applies to generic quasi-one-dimensional systems, including a Kondo lattice and a quantum wire subject to intrinsic or extrinsic spin-orbit coupling. Observation of the universal conductance dips would identify a strongly correlated fermion system hosting fractional excitations, resembling the fractional quantum Hall states.


title: Optical probing of pups brain tissue and molecular specific nuclear nano-structural alterations due to fetal alcoholism via dual spectroscopic approach

abstract: Mesoscopic physics-based dual spectroscopic imaging techniques, partial wave spectroscopy (PWS) and inverse participation ratio (IPR), are used to quantify the nano to submicron scales structural alterations in postnatal pups brain cells and tissues due to fetal alcoholism. Chronic alcoholism during pregnancy, being teratogenic, results in fetal alcohol syndrome and neurological disorder. Results of PWS studies of brain tissues show a higher degree of structural alterations. Furthermore, the IPR analyses of cell nuclei show that spatial molecular mass density structural disorder increases in DNA while decreases for histone. This study characterize the brain spatial structures from molecular to tissue level in fetal alcoholism.


title: Deterministic and quasi-random sampling of optimized Gaussian mixture distributions for vibronic Monte Carlo

abstract: It was recently shown that path integral Monte Carlo can be used to directly compute partition functions of Hamiltonians with vibronic coupling [J. Chem. Phys. 148, 194110 (2018)]. While the importance sampling Monte Carlo integration scheme was successful, it required many samples to reduce the stochastic error and suffered from the need to manually construct a sampling distribution for each system. We tackle these issues by using deterministic component selection for Gaussian mixture distributions (GMDs), introducing quasi-random numbers into the Monte Carlo sampling, and automatically optimizing the GMD parameters to obtain an improved sampling distribution. We demonstrate the effectiveness of our methods using vibronic model systems, but these methods are in principle widely applicable to general Monte Carlo sampling of GMDs.


title: The Windfall Clause: Distributing the Benefits of AI for the Common Good

abstract: As the transformative potential of AI has become increasingly salient as a matter of public and political interest, there has been growing discussion about the need to ensure that AI broadly benefits humanity. This in turn has spurred debate on the social responsibilities of large technology companies to serve the interests of society at large. In response, ethical principles and codes of conduct have been proposed to meet the escalating demand for this responsibility to be taken seriously. As yet, however, few institutional innovations have been suggested to translate this responsibility into legal commitments which apply to companies positioned to reap large financial gains from the development and use of AI. This paper offers one potentially attractive tool for addressing such issues: the Windfall Clause, which is an ex ante commitment by AI firms to donate a significant amount of any eventual extremely large profits. By this we mean an early commitment that profits that a firm could not earn without achieving fundamental, economically transformative breakthroughs in AI capabilities will be donated to benefit humanity broadly, with particular attention towards mitigating any downsides from deployment of windfall-generating AI.


title: Enforcing strong stability of explicit Runge--Kutta methods with superviscosity

abstract: A time discretization method is called strongly stable, if the norm of its numerical solution is nonincreasing. It is known that, even for linear semi-negative problems, many explicit Runge--Kutta (RK) methods fail to preserve this property. In this paper, we enforce strong stability by modifying the method with superviscosity, which is a numerical technique commonly used in spectral methods. We propose two approaches, the modified method and the filtering method for stabilization. The modified method is achieved by modifying the semi-negative operator with a high order superviscosity term; the filtering method is to post-process the solution by solving a diffusive or dispersive problem with small superviscosity. For linear problems, most explicit RK methods can be stabilized with either approach without accuracy degeneration. Furthermore, we prove a sharp bound (up to an equal sign) on diffusive superviscosity for ensuring strong stability. The bound we derived for general dispersive-diffusive superviscosity is also verified to be sharp numerically. For nonlinear problems, a filtering method is investigated for stabilization. Numerical examples with linear non-normal ordinary differential equation systems and for discontinuous Galerkin approximation of conservation laws are performed to validate our analysis and to test the performance.


title: Effective Data Augmentation with Multi-Domain Learning GANs

abstract: For deep learning applications, the massive data development (e.g., collecting, labeling), which is an essential process in building practical applications, still incurs seriously high costs. In this work, we propose an effective data augmentation method based on generative adversarial networks (GANs), called Domain Fusion. Our key idea is to import the knowledge contained in an outer dataset to a target model by using a multi-domain learning GAN. The multi-domain learning GAN simultaneously learns the outer and target dataset and generates new samples for the target tasks. The simultaneous learning process makes GANs generate the target samples with high fidelity and variety. As a result, we can obtain accurate models for the target tasks by using these generated samples even if we only have an extremely low volume target dataset. We experimentally evaluate the advantages of Domain Fusion in image classification tasks on 3 target datasets: CIFAR-100, FGVC-Aircraft, and Indoor Scene Recognition. When trained on each target dataset reduced the samples to 5,000 images, Domain Fusion achieves better classification accuracy than the data augmentation using fine-tuned GANs. Furthermore, we show that Domain Fusion improves the quality of generated samples, and the improvements can contribute to higher accuracy.


title: Grand Challenges in Resilience: Autonomous System Resilience through Design and Runtime Measures

abstract: A set of about 80 researchers, practitioners, and federal agency program managers participated in the NSF-sponsored Grand Challenges in Resilience Workshop held on Purdue campus on March 19-21, 2019. The workshop was divided into three themes: resilience in cyber, cyber-physical, and socio-technical systems. About 30 attendees in all participated in the discussions of cyber resilience. This article brings out the substantive parts of the challenges and solution approaches that were identified in the cyber resilience theme. In this article, we put forward the substantial challenges in cyber resilience in a few representative application domains and outline foundational solutions to address these challenges. These solutions fall into two broad themes: resilience-by-design and resilience-by-reaction. We use examples of autonomous systems as the application drivers motivating cyber resilience. We focus on some autonomous systems in the near horizon (autonomous ground and aerial vehicles) and also a little more distant (autonomous rescue and relief). For resilience-by-design, we focus on design methods in software that are needed for our cyber systems to be resilient. In contrast, for resilience-by-reaction, we discuss how to make systems resilient by responding, reconfiguring, or recovering at runtime when failures happen. We also discuss the notion of adaptive execution to improve resilience, execution transparently and adaptively among available execution platforms (mobile/embedded, edge, and cloud). For each of the two themes, we survey the current state, and the desired state and ways to get there. We conclude the paper by looking at the research challenges we will have to solve in the short and the mid-term to make the vision of resilient autonomous systems a reality.


title: A Logical Model for Supporting Social Commonsense Knowledge Acquisition

abstract: To make machine exhibit human-like abilities in the domains like robotics and conversation, social commonsense knowledge (SCK), i.e., common sense about social contexts and social roles, is absolutely necessarily. Therefor, our ultimate goal is to acquire large-scale SCK to support much more intelligent applications. Before that, we need to know clearly what is SCK and how to represent it, since automatic information processing requires data and knowledge are organized in structured and semantically related ways. For this reason, in this paper, we identify and formalize three basic types of SCK based on first-order theory. Firstly, we identify and formalize the interrelationships, such as having-role and having-social_relation, among social contexts, roles and players from the perspective of considering both contexts and roles as first-order citizens and not generating role instances. Secondly, we provide a four level structure to identify and formalize the intrinsic information, such as events and desires, of social contexts, roles and players, and illustrate the way of harvesting the intrinsic information of social contexts and roles from the exhibition of players in concrete contexts. And thirdly, enlightened by some observations of actual contexts, we further introduce and formalize the embedding of social contexts, and depict the way of excavating the intrinsic information of social contexts and roles from the embedded smaller and simpler contexts. The results of this paper lay the foundation not only for formalizing much more complex SCK but also for acquiring these three basic types of SCK.


title: A statistical test for correspondence of texts to the Zipf-Mandelbrot law

abstract: We analyse correspondence of a text to a simple probabilistic model. The model assumes that the words are selected independently from an infinite dictionary. The probability distribution correspond to the Zipf---Mandelbrot law. We count sequentially the numbers of different words in the text and get the process of the numbers of different words. Then we estimate Zipf---Mandelbrot law parameters using the same sequence and construct an estimate of the expectation of the number of different words in the text. Then we subtract the corresponding values of the estimate from the sequence and normalize along the coordinate axes, obtaining a random process on a segment from 0 to 1. We prove that this process (the empirical text bridge) converges weakly in the uniform metric on $C (0,1)$ to a centered Gaussian process with continuous a.s. paths. We develop and implement an algorithm for approximate calculation of eigenvalues of the covariance function of the limit Gaussian process, and then an algorithm for calculating the probability distribution of the integral of the square of this process. We use the algorithm to analyze uniformity of texts in English, French, Russian and Chinese.


title: A computational study of positive streamers interacting with dielectrics

abstract: We use numerical simulations to study the dynamics of surface discharges, which are common in high-voltage engineering. We simulate positive streamer discharges that propagate towards a dielectric surface, attach to it, and then propagate over the surface. The simulations are performed in air with a two-dimensional plasma fluid model, in which a flat dielectric is placed between two plate electrodes. Electrostatic attraction is the main mechanism that causes streamers to grow towards the dielectric. Due to the net charge in the streamer head, the dielectric gets polarized, and the electric field between the streamer and the dielectric is increased. Compared to streamers in bulk gas, surface streamers have a smaller radius, a higher electric field, a higher electron density, and higher propagation velocity. A higher applied voltage leads to faster inception and faster propagation of the surface discharge. A higher dielectric permittivity leads to more rapid attachment of the streamer to the surface and a thinner surface streamer. Secondary emission coefficients are shown to play a modest role, which is due to relatively strong photoionization in air. In the simulations, a high electric field is present between the positive streamers and the dielectric surface. We show that the magnitude and decay of this field are affected by the positive ion mobility.