title: Higher order tensor decomposition for proportional myoelectric control based on muscle synergies

abstract: Muscle synergies have recently been utilised in myoelectric control systems. Thus far, all proposed synergy-based systems rely on matrix factorisation methods. However, this is limited in terms of task-dimensionality. Here, the potential application of higher-order tensor decomposition as a framework for proportional myoelectric control is demonstrated. A novel constrained Tucker decomposition (consTD) technique of synergy extraction is proposed for synergy-based myoelectric control model and compared with state-of-the-art matrix factorisation models. The extracted synergies were used to estimate control signals for the wrist's Degree of Freedom (DoF) through direct projection. The consTD model was able to estimate the control signals for each DoF by utilising all data in one 3rd-order tensor. This is contrast with matrix factorisation models where data are segmented for each DoF and then the synergies often have to be realigned. Moreover, the consTD method offers more information by providing additional shared synergies, unlike matrix factorisation methods. The extracted control signals were fed to a ridge regression to estimate the wrist's kinematics based on real glove data. The Coefficient of Determination (R2) for the reconstructed wrist position showed that the proposed consTD was higher than matrix factorisation methods. In sum, this study provides the first proof of concept for the use of higher-order tensor decomposition in proportional myoelectric control and it highlights the potential of tensors to provide an objective and direct approach to identify synergies.


title: Alternating Segmentation and Simulation for Contrast Adaptive Tissue Classification

abstract: A key feature of magnetic resonance (MR) imaging is its ability to manipulate how the intrinsic tissue parameters of the anatomy ultimately contribute to the contrast properties of the final, acquired image. This flexibility, however, can lead to substantial challenges for segmentation algorithms, particularly supervised methods. These methods require atlases or training data, which are composed of MR image and labeled image pairs. In most cases, the training data are obtained with a fixed acquisition protocol, leading to suboptimal performance when an input data set that requires segmentation has differing contrast properties. This drawback is increasingly significant with the recent movement towards multi-center research studies involving multiple scanners and acquisition protocols. In this work, we propose a new framework for supervised segmentation approaches that is robust to contrast differences between the training MR image and the input image. Our approach uses a generative simulation model within the segmentation process to compensate for the contrast differences. We allow the contrast of the MR image in the training data to vary by simulating a new contrast from the corresponding label image. The model parameters are optimized by a cost function measuring the consistency between the input MR image and its simulation based on a current estimate of the segmentation labels. We provide a proof of concept of this approach by combining a supervised classifier with a simple simulation model, and apply the resulting algorithm to synthetic images and actual MR images.


title: Towards Scalable Subscription Aggregation and Real Time Event Matching in a Large-Scale Content-Based Network

abstract: Although many scalable event matching algorithms have been proposed to achieve scalability for large-scale content-based networks, content-based publish/subscribe networks (especially for large-scale real time systems) still suffer performance deterioration when subscription scale increases. While subscription aggregation techniques can be useful to reduce the amount of subscription dissemination traffic and the subscription table size by exploiting the similarity among subscriptions, efficient subscription aggregation is not a trivial task to accomplish. Previous research works have proved that it is either a NP-Complete or a co-NP complete problem. In this paper, we propose DLS (Discrete Label Set), a novel subscription representation model, and design algorithms to achieve the mapping from traditional Boolean predicate model to the DLS model. Based on the DLS model, we propose a subscription aggregation algorithm with O(1) time complexity in most cases, and an event matching algorithm with O(1) time complexity. The significant performance improvement is at the cost of memory consumption and controllable false positive rate. Our theoretical analysis shows that these algorithms are inherently scalable and can achieve real time event matching in a large-scale content-based publish/subscribe network. We discuss the tradeoff between memory, false positive rate and partition granules of content space. Experimental results show that proposed algorithms achieve expected performance. With the increasing of computer memory capacity and the dropping of memory price, more and more large-scale real time applications can benefit from our proposed DLS model, such as stock quote distribution, earthquake monitoring, and severe weather alert.


title: Proposal to measure the pair field correlator of a fluctuating pair density wave

abstract: I propose a method to directly measure the space and time dependence of the pair field correlator of a pair density wave. The method is based on two separate ideas. First, we adopt the solenoid insertion method of Kapon et al (2017) to provide the momentum in a tunnel junction. Second, we suggest the use of optimal or over-doped Bi-2201 films as a tunneling electrode with a known charge ordering wave-vector which can match the expected pair density wave wave-vectors we wish to study. The method is applicable to both fluctuating and ordered states. Potential applications are to the proposed stripe pair density wave order in LBCO and the possible pair density wave fluctuations at finite temperature or in high magnetic field in underdoped YBCO as well as other members of the Cuprate family.


title: Experimental Testing of Scattering Polarization Models

abstract: We realized a laboratory experiment to study the scattering polarization of the Na I D-doublet at 589.0 and 589.6 nm in the presence of a magnetic field. This work was stimulated by solar observations of that doublet, which have proven particularly challenging to explain through available models of polarized line formation, even to the point of casting doubts on our very understanding of the underlying physics. The purpose of the experiment was to test a quantum theory for the polarized scattering of spectrally flat incident radiation, on which much of the current magnetic diagnostics of stellar atmospheres is based. The experiment has confirmed the predictions of that theory, and its adequacy for the modeling of scattering polarization under flat-spectrum illumination.


title: A New Operator Splitting Method for Euler's Elastica Model

abstract: Euler's elastica model has a wide range of applications in Image Processing and Computer Vision. However, the non-convexity, the non-smoothness and the nonlinearity of the associated energy functional make its minimization a challenging task, further complicated by the presence of high order derivatives in the model. In this article we propose a new operator-splitting algorithm to minimize the Euler elastica functional. This algorithm is obtained by applying an operator-splitting based time discretization scheme to an initial value problem (dynamical flow) associated with the optimality system (a system of multivalued equations). The sub-problems associated with the three fractional steps of the splitting scheme have either closed form solutions or can be handled by fast dedicated solvers. Compared with earlier approaches relying on ADMM (Alternating Direction Method of Multipliers), the new method has, essentially, only the time discretization step as free parameter to choose, resulting in a very robust and stable algorithm. The simplicity of the sub-problems and its modularity make this algorithm quite efficient. Applications to the numerical solution of smoothing test problems demonstrate the efficiency and robustness of the proposed methodology.


title: Unnamed Entity Recognition of Sense Mentions

abstract: We consider the problem of recognizing mentions of human senses in text. Our contribution is a method for acquiring labeled data, and a learning method that is trained on this data. Experiments show the effectiveness of our proposed data labeling approach and our learning model on the task of sense recognition in text.


title: Dynamics and biological reference points in a stochastic age-structured fish population model with an illustration of the Patagonian toothfish population

abstract: In this manuscript we investigate the long-term behavior of a single-species fishery, which is harvested by several fleets. The time evolution of this population is modeled by a discrete time stochastic age-structured model. We assume that incertitude only affects the recruitment. First, for the deterministic version of this model, we characterize the equilibrium yields in terms of the fishing mortality. Then, for the stochastic version, we introduce the concepts of maximum expected, log expected and harmonic expected sustainable yield, and we analyze how the incertitude affects the behavior of these yields and their stationary distribution. All the numerical simulations are performed with data obtained from Patagonian Tooth-fish fishery, which is harvested by four different type of fleets: Chilean Industrial fleet, Chilean Artisanal fleet, Argentinean longline fleet, and Argentinean Artisanal fleet.


title: Unconventional anisotropic even-denominator fractional quantum Hall state in a system with mass anisotropy

abstract: The fractional quantum Hall state (FQHS) observed at a half-filled Landau level in an interacting two-dimensional electron system (2DES) is among the most exotic states of matter as its quasiparticles are expected to be Majoranas with non-Abelian statistics. We demonstrate here the unexpected presence of such a state in a novel 2DES with a strong band-mass anisotropy. The FQHS we observe has unusual characteristics. While its Hall resistance is well-quantized at low temperatures, it exhibits highly-anisotropic in-plane transport resembling compressible stripe/nematic charge-density-wave phases. More striking, the anisotropy sets in suddenly below a critical temperature, suggesting a finite-temperature phase transition. Our observations highlight how anisotropy modifies the many-body phases of a 2DES, and should further fuel the discussion surrounding the enigmatic even-denominator FQHS.


title: Deep Learning of Turbulent Scalar Mixing

abstract: Based on recent developments in physics-informed deep learning and deep hidden physics models, we put forth a framework for discovering turbulence models from scattered and potentially noisy spatio-temporal measurements of the probability density function (PDF). The models are for the conditional expected diffusion and the conditional expected dissipation of a Fickian scalar described by its transported single-point PDF equation. The discovered model are appraised against exact solution derived by the amplitude mapping closure (AMC)/ Johnsohn-Edgeworth translation (JET) model of binary scalar mixing in homogeneous turbulence.


title: A random walk version of Robbins' problem: small horizon

abstract: In Robbins' problem of minimizing the expected rank, a finite sequence of $n$ independent, identically distributed random variables are observed sequentially and the objective is to stop at such a time that the expected rank of the selected variable (among the sequence of all $n$ variables) is as small as possible. In this paper we consider an analogous problem in which the observed random variables are the steps of a symmetric random walk. Assuming continuously distributed step sizes, we describe the optimal stopping rules for the cases $n=2$ and $n=3$ in two versions of the problem: a "full information" version in which the actual steps of the random walk are disclosed to the decision maker; and a "partial information" version in which only the relative ranks of the positions taken by the random walk are observed. When $n=3$, the optimal rule and expected rank depend on the distribution of the step sizes. We give sharp bounds for the optimal expected rank in the partial information version, and fairly sharp bounds in the full information version.


title: Leveraging mmWave Imaging and Communications for Simultaneous Localization and Mapping

abstract: In this work, we propose a novel approach for high accuracy user localization by merging tools from both millimeter wave (mmWave) imaging and communications. The key idea of the proposed solution is to leverage mmWave imaging to construct a high-resolution 3D image of the line-of-sight (LOS) and non-line-of-sight (NLOS) objects in the environment at one antenna array. Then, uplink pilot signaling with the user is used to estimate the angle-of-arrival and time-of-arrival of the dominant channel paths. By projecting the AoA and ToA information on the 3D mmWave images of the environment, the proposed solution can locate the user with a sub-centimeter accuracy. This approach has several gains. First, it allows accurate simultaneous localization and mapping (SLAM) from a single standpoint, i.e., using only one antenna array. Second, it does not require any prior knowledge of the surrounding environment. Third, it can locate NLOS users, even if their signals experience more than one reflection and without requiring an antenna array at the user. The approach is evaluated using a hardware setup and its ability to provide sub-centimeter localization accuracy is shown.


title: Sense Perception Common Sense Relationships

abstract: Often missing in existing knowledge bases of facts, are relationships that encode common sense knowledge about unnamed entities. In this paper, we propose to extract novel, common sense relationships pertaining to sense perception concepts such as sound and smell.


title: JS-MA: A Jensen-Shannon Divergence Based Method for Mapping Genome-wide Associations on Multiple Diseases

abstract: Taking advantages of high-throughput genotyping technology of single nucleotide polymorphism (SNP), large genome-wide association studies (GWASs) have been considered as the promise to unravel the complex relationships between genotypes and phenotypes, in particularly common diseases. However, current multi-locus-based methods are insufficient, in terms of computational cost and discrimination power, to detect statistically significant interactions and they are lacking in the ability of finding diverse genetic effects on multifarious diseases. Especially, multiple statistic tests for high-order epistasis ($ \geq $ 2 SNPs) will raise huge analytical challenges because the computational cost increases exponentially as the growth of the cardinality of SNPs in an epistatic module. In this paper, we develop a simple, fast and powerful method, named JS-MA, using the Jensen-Shannon divergence and a high-dimensional $ k $-mean clustering algorithm for mapping the genome-wide multi-locus epistatic interactions on multiple diseases. Compared with some state-of-the-art association mapping tools, our method is demonstrated to be more powerful and efficient from the experimental results on the systematical simulations. We also applied JS-MA to the GWAS datasets from WTCCC for two common diseases, i.e. Rheumatoid Arthritis and Type 1 Diabetes. JS-MA not only confirms some recently reported biologically meaningful associations but also identifies some novel findings. Therefore, we believe that our method is suitable and efficient for the full-scale analysis of multi-disease-related interactions in the large GWASs.


title: RelationNet2: Deep Comparison Columns for Few-Shot Learning

abstract: Few-shot deep learning is a topical challenge area for scaling visual recognition to open ended growth of unseen new classes with limited labeled examples. A promising approach is based on metric learning, which trains a deep embedding to support image similarity matching. Our insight is that effective general purpose matching requires non-linear comparison of features at multiple abstraction levels. We thus propose a new deep comparison network comprised of embedding and relation modules that learn multiple non-linear distance metrics based on different levels of features simultaneously. Furthermore, to reduce over-fitting and enable the use of deeper embeddings, we represent images as distributions rather than vectors via learning parameterized Gaussian noise regularization. The resulting network achieves excellent performance on both miniImageNet and tieredImageNet.


title: Probability density function of SDEs with unbounded and path--dependent drift coefficient

abstract: In this paper, we first prove that the existence of a solution of SDEs under the assumptions that the drift coefficient is of linear growth and path--dependent, and diffusion coefficient is bounded, uniformly elliptic and H\"older continuous. We apply Gaussian upper bound for a probability density function of a solution of SDE without drift coefficient and local Novikov condition, in order to use Maruyama--Girsanov transformation. The aim of this paper is to prove the existence with explicit representations (under linear/super--linear growth condition), Gaussian two--sided bound and H\"older continuity (under sub--linear growth condition) of a probability density function of a solution of SDEs with path--dependent drift coefficient. As an application of explicit representation, we provide the rate of convergence for an Euler--Maruyama (type) approximation, and an unbiased simulation scheme.


title: Vectorial nonlinear optical generation

abstract: Nonlinear optical generation has been a well-established way to realize frequency conversion in nonlinear optics, whereas previous studies were just focusing on the scalar light fields. Here we report a concise yet efficient experiment to realize frequency conversion from vector fields to vector fields based on the vectorial nonlinear optical process, e.g., the second-harmonic generation. Our scheme is based on two cascading type-I phase-matching BBO crystals, whose fast axes are configured elaborately to be perpendicular to each other. Without loss of generality, we take the full Poincar\'e beams as the vectorial light fields in our experiment, and visualize the structured features of vectorial second-harmonic fields by using Stokes polarimetry. The interesting doubling effect of polarization topological index, i.e., a low-order full Poincar\'e beam is converted to a high-order one are demonstrated. However, polarization singularities of both C-points and L-lines are found to keep invariant during the SHG process. Our scheme can be straightforwardly generalized to other nonlinear optical effects. Our scheme can offer a deeper understanding on the interaction of vectorial light with media and may find important applications in optical imaging, optical communication and quantum information science.


title: Cross-modality deep learning brings bright-field microscopy contrast to holography

abstract: Deep learning brings bright-field microscopy contrast to holographic images of a sample volume, bridging the volumetric imaging capability of holography with the speckle- and artifact-free image contrast of bright-field incoherent microscopy.


title: On Hallucinating Context and Background Pixels from a Face Mask using Multi-scale GANs

abstract: We propose a multi-scale GAN model to hallucinate realistic context (forehead, hair, neck, clothes) and background pixels automatically from a single input face mask. Instead of swapping a face on to an existing picture, our model directly generates realistic context and background pixels based on the features of the provided face mask. Unlike face inpainting algorithms, it can generate realistic hallucinations even for a large number of missing pixels. Our model is composed of a cascaded network of GAN blocks, each tasked with hallucination of missing pixels at a particular resolution while guiding the synthesis process of the next GAN block. The hallucinated full face image is made photo-realistic by using a combination of reconstruction, perceptual, adversarial and identity preserving losses at each block of the network. With a set of extensive experiments, we demonstrate the effectiveness of our model in hallucinating context and background pixels from face masks varying in facial pose, expression and lighting, collected from multiple datasets subject disjoint with our training data. We also compare our method with two popular face swapping and face completion methods in terms of visual quality and recognition performance. Additionally, we analyze our cascaded pipeline and compare it with the recently proposed progressive growing of GANs.


title: Detection of Sparse Positive Dependence

abstract: In a bivariate setting, we consider the problem of detecting a sparse contamination or mixture component, where the effect manifests itself as a positive dependence between the variables, which are otherwise independent in the main component. We first look at this problem in the context of a normal mixture model. In essence, the situation reduces to a univariate setting where the effect is a decrease in variance. In particular, a higher criticism test based on the pairwise differences is shown to achieve the detection boundary defined by the (oracle) likelihood ratio test. We then turn to a Gaussian copula model where the marginal distributions are unknown. Standard invariance considerations lead us to consider rank tests. In fact, a higher criticism test based on the pairwise rank differences achieves the detection boundary in the normal mixture model, although not in the very sparse regime. We do not know of any rank test that has any power in that regime.


title: Lossless and loss-induced topological transitions of isofrequency surfaces of a composite magnetic-semiconductor medium

abstract: Topological transitions of isofrequency surfaces of a composite magnetic-semiconductor structure influenced by an external static magnetic field are studied in the long-wavelength approximation. For the lossless case, the topological transitions of isofrequency surfaces from a closed ellipsoid to open Type I and Type II hyperboloids as well as a bi-hyperboloid are demonstrated. Conditions for critical points where the topological transitions occur are found out. It is revealed that actual material losses in the constituents of the composite medium strongly influence the dispersion behaviours for the extraordinary waves, which manifest themselves in the loss-induced topological transitions of isofrequency surfaces. It is shown that the loss-induced topological transitions from a Type I hyperboloid to a bi-hyperboloid appear in the frequency band where the real part of a particular principal component of the anisotropic constitutive parameter (permittivity or permeability tensor) is a near-zero value while its imaginary part is a non-zero value.


title: Transfer Learning for Mixed-Integer Resource Allocation Problems in Wireless Networks

abstract: Effective resource allocation plays a pivotal role for performance optimization in wireless networks. Unfortunately, typical resource allocation problems are mixed-integer nonlinear programming (MINLP) problems, which are NP-hard. Machine learning based methods recently emerge as a disruptive way to obtain near-optimal performance for MINLP problems with affordable computational complexity. However, they suffer from severe performance deterioration when the network parameters change, which commonly happens in practice and can be characterized as the task mismatch issue. In this paper, we propose a transfer learning method via self-imitation, to address this issue for effective resource allocation in wireless networks. It is based on a general "learning to optimize" framework for solving MINLP problems. A unique advantage of the proposed method is that it can tackle the task mismatch issue with a few additional unlabeled training samples, which is especially important when transferring to large-size problems. Numerical experiments demonstrate that with much less training time, the proposed method achieves comparable performance with the model trained from scratch with sufficient amount of labeled samples. To the best of our knowledge, this is the first work that applies transfer learning for resource allocation in wireless networks.


title: Boosting the Robustness Verification of DNN by Identifying the Achilles's Heel

abstract: Deep Neural Network (DNN) is a widely used deep learning technique. How to ensure the safety of DNN-based system is a critical problem for the research and application of DNN. Robustness is an important safety property of DNN. However, existing work of verifying DNN's robustness is time-consuming and hard to scale to large-scale DNNs. In this paper, we propose a boosting method for DNN robustness verification, aiming to find counter-examples earlier. Our observation is DNN's different inputs have different possibilities of existing counter-examples around them, and the input with a small difference between the largest output value and the second largest output value tends to be the achilles's heel of the DNN. We have implemented our method and applied it on Reluplex, a state-of-the-art DNN verification tool, and four DNN attacking methods. The results of the extensive experiments on two benchmarks indicate the effectiveness of our boosting method.


title: Thermodynamics of a generalized graphene-motivated (2+1)-dimensional Gross-Neveu model beyond mean field within the Beth-Uhlenbeck approach

abstract: We investigate the thermodynamics at finite density of a generalized $(2 + 1)$-dimensional Gross-Neveu model of $N$ fermion species with various types of four-fermion interactions. The motivation for considering such a generalized schematic model arises from taking the Fierz-transformation of an effective Coulomb current-current interaction and certain symmetry breaking interaction terms, as considered for graphene-type models in Ref. [16]. We then apply path-integral bosonization techniques, based on the large $N$ limit, to derive the thermodynamic potential. This includes the leading order mean-field (saddle point) contribution as well as the next-order contribution of Gaussian fluctuations of exciton fields. The main focus of the paper is then the investigation of the thermodynamic properties of the resulting fermion-exciton plasma. In particular, we derive an extended Beth-Uhlenbeck form of the thermodynamic potential, discuss the Levinson theorem and the decomposition of the phase of the exciton correlation into a resonant and scattering part.


title: Directional Adaptive MUSIC-like Algorithm under {\alpha}-Stable Distributed Noise

abstract: An algorithm called MUSIC-like algorithm was originally proposed as an alternative method to the MUltiple SIgnal Classification (MUSIC) algorithm for direction-of-arrival (DOA) estimation. Without requiring explicit model order estimation, it was shown to have robust performance particularly in low signal-to-noise ratio (SNR) scenarios. In this letter, the working principle of a relaxation parameter {\beta}, a parameter which was introduced into the formulation of the MUSIC-like algorithm, is provided based on geometrical interpretation. To illustrate its robustness, the algorithm will be examined under symmetric {\alpha}-stable distributed noise environment. An adaptive framework is then developed and proposed in this letter to further optimize the algorithm. The proposed adaptive framework is compared with the original MUSIC-like, MUSIC, FLOM-MUSIC, and SSCM-MUSIC algorithms. A notable improvement in terms of targets resolvability of the proposed method is observed under different impulse noise scenarios as well as different SNR levels.


title: Harmonic Summing Improves Pulsar Detection Sensitivity: A Probability Analysis

abstract: Practical application of the harmonic summing technique in the power-spectrum analysis for searching pulsars has exhibited the technique's effectiveness. In this paper, theoretical verification of harmonic summing considering power's noise-signal probability distribution is given. With the top-hat and the modified von Mises pulse profile models, contours along which spectra total power is expected to exceed the 3\,$\sigma$ detection threshold with 0.999 confidence corresponding to $m=1, 2, 4, 8, 16$, or 32 harmonics summed are given with respect to the mean pulse amplitude and the pulse duty cycle. Optimized numbers of harmonics summed relative to the duty cycles are given. The routine presented builds a theoretical estimate of the minimum detectable mean flux density, i.e. sensitivity, under the power-spectrum searching method.


title: Augmented LiDAR Simulator for Autonomous Driving

abstract: In Autonomous Driving (AD), detection and tracking of obstacles on the roads is a critical task. Deep-learning based methods using annotated LiDAR data have been the most widely adopted approach for this. Unfortunately, annotating 3D point cloud is a very challenging, time- and money-consuming task. In this paper, we propose a novel LiDAR simulator that augments real point cloud with synthetic obstacles (e.g., cars, pedestrians, and other movable objects). Unlike previous simulators that entirely rely on CG models and game engines, our augmented simulator bypasses the requirement to create high-fidelity background CAD models. Instead, we can simply deploy a vehicle with a LiDAR scanner to sweep the street of interests to obtain the background point cloud, based on which annotated point cloud can be automatically generated. This unique "scan-and-simulate" capability makes our approach scalable and practical, ready for large-scale industrial applications. In this paper, we describe our simulator in detail, in particular the placement of obstacles that is critical for performance enhancement. We show that detectors with our simulated LiDAR point cloud alone can perform comparably (within two percentage points) with these trained with real data. Mixing real and simulated data can achieve over 95% accuracy.


title: How shall we determine detection sensitivity in radio pulsar search?

abstract: Determination of detection sensitivity in a number of previous pulsar search programmes was done via the straightfoward use of the radiometer equation. In the same surveys, the Fourier domain method was used to search for pulsars. As detection sensitivity is partially a function of the searching method, the straightfoward use of the radiometer equation for detection sensitivity determination is not consistent with the Fourier searching method. In this proceeding, I clarify the problem and note the way for sensitivity determination which is consistent with the Fourier searching method. More details can be found in Yu (2018).


title: Generalizations of Rodrigues Type Formulas for Hypergeometric Difference Equations on Nonuniform Lattices

abstract: By building a second order adjoint difference equations on nonuniform lattices, the generalized Rodrigues type representation for the second kind solution of a second order difference equation of hypergeometric type on nonuniform lattices is given. The general solution of the equation in the form of a combination of a standard Rodrigues formula and a generalized Rodrigues formula is also established.


title: Unsupervised Online Learning With Multiple Postsynaptic Neurons Based on Spike-Timing-Dependent Plasticity Using a TFT-Type NOR Flash Memory Array

abstract: We present a two-layer fully connected neuromorphic system based on a thin-film transistor (TFT)-type NOR flash memory array with multiple postsynaptic (POST) neurons. Unsupervised online learning by spike-timing-dependent plasticity (STDP) on the binary MNIST handwritten datasets is implemented, and its recognition result is determined by measuring firing rate of POST neurons. Using a proposed learning scheme, we investigate the impact of the number of POST neurons in terms of recognition rate. In this neuromorphic system, lateral inhibition function and homeostatic property are exploited for competitive learning of multiple POST neurons. The simulation results demonstrate unsupervised online learning of the full black-and-white MNIST handwritten digits by STDP, which indicates the performance of pattern recognition and classification without preprocessing of input patterns.


title: Swimming of a uniform deformable sphere in a viscous incompressible fluid with inertia

abstract: The swimming of a deformable uniform sphere is studied in second order perturbation theory in the amplitude of the stroke. The effect of the first order reaction force on the first order center of mass velocity is calculated in linear response theory by use of Newton's equation of motion. The response is characterized by a dipolar admittance, which is shown to be proportional to the translational admittance. As a consequence the mean swimming velocity, calculated in second order perturbation theory, depends on the added mass of the sphere. The mean swimming velocity and the mean rate of dissipation are calculated for several selected strokes.


title: Comparative study of gamma-ray emission from molecular clouds and star-forming galaxies

abstract: Star-forming regions on different scales, such as giant molecular clouds in our Galaxy and star-forming galaxies, emit GeV gamma-rays. These are thought to originate from hadronic interactions of cosmic-ray (CR) nuclei with the interstellar medium. It has recently been shown that the gamma-ray luminosity ($L_\gamma$) of star-forming galaxies is well correlated with their star formation rates (SFR). We investigated \textsl{Fermi} data of eight Galactic molecular clouds in the Gould belt and found that molecular clouds do not follow the $L_\gamma-{\rm SFR}$ correlation of star-forming galaxies. We also compared the scaling relations of gamma-ray luminosity, SFR, and the gas mass for molecular clouds and star-forming galaxies. Using a multiple-variable regression analysis, we found different dependences of gamma-ray emission on SFR or mass for molecular clouds and star-forming galaxies. This suggests that different mechanisms may govern the production of gamma-rays in these two types of sources. Specifically, the strong dependence on mass supports that gamma-ray emission of molecular clouds primarily comes from {\em \textup{passive}} interaction by diffuse Galactic CRs, whereas the strong dependence on SFR supports that gamma-ray emission of star-forming galaxies originates from CRs that are accelerated by local {\em \textup{active}} sources.


title: Optical detection of spin orbit torque and current induced heating

abstract: We have studied spin orbit torque in heavy metal (HM)/ferromagnetic metal (FM) bilayers using magneto-optical Kerr effect. A double modulation technique is developed to separate signals from spin orbit torque and Joule heating. At a current density of ~1x10$^{10}$ A/m$^2$, we observe optical signals that scale linearly and quadratically with the current density, both in similar magnitude. The spin orbit torque estimated using this technique is consistent with that evaluated using spin transport measurements. We find that changes in the refractive index of the film with temperature is the main source of the heating induced signal.


title: Surface reaction-diffusion kinetics on lattice at the microscopic scale

abstract: Microscopic models of reaction-diffusion processes on the cell membrane can link local spatiotemporal effects to macroscopic self-organized patterns often observed on the membrane. Simulation schemes based on the microscopic lattice method (MLM) can model these processes at the microscopic scale by tracking individual molecules, represented as hard-spheres, on fine lattice voxels. Although MLM is simple to implement and is generally less computationally demanding than off-lattice approaches, its accuracy and consistency in modeling surface reactions have not been fully verifed. Using the Spatiocyte scheme, we study the accuracy of MLM in diffusion-influenced surface reactions. We derive the lattice-based bimolecular association rates for two-dimensional surface-surface reaction and one-dimensional volume-surface adsorption according to the Smoluchowski-Collins-Kimball model and random walk theory. We match the time-dependent rates on lattice with off-lattice counterparts to obtain the correct expressions for MLM parameters in terms of physical constants. The expressions indicate that the voxel size needs to be at least 0.6% larger than the molecule to accurately simulate surface reactions on triangular lattice. On square lattice, the minimum voxel size should be even larger, at 5%. We also demonstrate the ability of MLM-based schemes such as Spatiocyte to simulate a reaction-diffusion model that involves all dimensions: three-dimensional diffusion in the cytoplasm, two-dimensional diffusion on the cell membrane and one-dimensional cytoplasm-membrane adsorption. With the model, we examine the contribution of the 2D reaction pathway to the overall reaction rate at different reactant diffusivity, reactivity and concentrations.


title: Not just a matter of semantics: the relationship between visual similarity and semantic similarity

abstract: Knowledge transfer, zero-shot learning and semantic image retrieval are methods that aim at improving accuracy by utilizing semantic information, e.g. from WordNet. It is assumed that this information can augment or replace missing visual data in the form of labeled training images because semantic similarity correlates with visual similarity. This assumption may seem trivial, but is crucial for the application of such semantic methods. Any violation can cause mispredictions. Thus, it is important to examine the visual-semantic relationship for a certain target problem. In this paper, we use five different semantic and visual similarity measures each to thoroughly analyze the relationship without relying too much on any single definition. We postulate and verify three highly consequential hypotheses on the relationship. Our results show that it indeed exists and that WordNet semantic similarity carries more information about visual similarity than just the knowledge of "different classes look different". They suggest that classification is not the ideal application for semantic methods and that wrong semantic information is much worse than none.


title: Spectrum Cascade Bloch Oscillations in Temporally Modulated Acoustics

abstract: Bloch oscillations (BOs) refer to a periodically oscillatory motion of particle in lattice systems driven by a constant force. By temporally modulating acoustic waveguides, BOs can be generalized from spatial to frequency domain, opening new possibilities for spectrum manipulations. The modulation can induce mode transitions in the waveguide band and form an artificial frequency lattice, with the mismatched wave vector during transitions acting as a constant force that drives frequency Bloch oscillations (FBOs). Furthermore, the modulation phase accompanying transitions serves as a gauge potential that controls the initial oscillation phase, providing an additional degree of freedom to tailor FBOs. We report that multiple FBOs with judiciously designed oscillation phases can be further cascaded to realize acoustic spectrum self-imaging, unidirectional transduction and bandwidth engineering. The study proposes the concept of FBOs in acoustic systems and functionalizes its cascade configurations for advanced control of sound spectrum. This paradigm may find versatile applications in underwater secure communication, voice encryption and signal processing.


title: Dynamics Motivated by Sierpinski Fractals

abstract: Fatou-Julia iteration (FJI) is an effective instrument to construct fractals. Famous Julia and Mandelbrot sets are strong confirmations of this. In the present study, we use the paradigm of FJI to construct and map Sierpinski fractals. The fractals can be mapped by developing a mapping iteration on the basis of FJI. Because of the close link between mappings, differential equations and dynamical systems, one can introduce dynamics for a fractal through differential equations such that it becomes points of the solution trajectory. Thus, in this paper, we consider two types of dynamics motivated by the Sierpinski fractals. The first one is the dynamics of FJI itself, and the second one is the dynamics of a fractal mapping iteration which can be performed through differential equations. The characterization of fractals as trajectory points of the dynamics can help to enhance and widen the scope of their applications in physics and engineering.


title: Explicit Spatiotemporal Joint Relation Learning for Tracking Human Pose

abstract: We present a method for human pose tracking that is based on learning spatiotemporal relationships among joints. Beyond generating the heatmap of a joint in a given frame, our system also learns to predict the offset of the joint from a neighboring joint in the frame. Additionally, it is trained to predict the displacement of the joint from its position in the previous frame, in a manner that can account for possibly changing joint appearance, unlike optical flow. These relational cues in the spatial domain and temporal domain are inferred in a robust manner by attending only to relevant areas in the video frames. By explicitly learning and exploiting these joint relationships, our system achieves state-of-the-art performance on standard benchmarks for various pose tracking tasks including 3D body pose tracking in RGB video, 3D hand pose tracking in depth sequences, and 3D hand gesture tracking in RGB video.


title: VommaNet: an End-to-End Network for Disparity Estimation from Reflective and Texture-less Light Field Images

abstract: The precise combination of image sensor and micro-lens array enables lenslet light field cameras to record both angular and spatial information of incoming light, therefore, one can calculate disparity and depth from light field images. In turn, 3D models of the recorded objects can be recovered, which is a great advantage over other imaging system. However, reflective and texture-less areas in light field images have complicated conditions, making it hard to correctly calculate disparity with existing algorithms. To tackle this problem, we introduce a novel end-to-end network VommaNet to retrieve multi-scale features from reflective and texture-less regions for accurate disparity estimation. Meanwhile, our network has achieved similar or better performance in other regions for both synthetic light field images and real-world data compared to the state-of-the-art algorithms. Currently, we achieve the best score for mean squared error (MSE) on HCI 4D Light Field Benchmark.


title: Integrating domain knowledge: using hierarchies to improve deep classifiers

abstract: One of the most prominent problems in machine learning in the age of deep learning is the availability of sufficiently large annotated datasets. For specific domains, e.g. animal species, a long-tail distribution means that some classes are observed and annotated insufficiently. Additional labels can be prohibitively expensive, e.g. because domain experts need to be involved. However, there is more information available that is to the best of our knowledge not exploited accordingly. In this paper, we propose to make use of preexisting class hierarchies like WordNet to integrate additional domain knowledge into classification. We encode the properties of such a class hierarchy into a probabilistic model. From there, we derive a novel label encoding and a corresponding loss function. On the ImageNet and NABirds datasets our method offers a relative improvement of 10.4% and 9.6% in accuracy over the baseline respectively. After less than a third of training time, it is already able to match the baseline's fine-grained recognition performance. Both results show that our suggested method is efficient and effective.


title: SCRDet: Towards More Robust Detection for Small, Cluttered and Rotated Objects

abstract: Object detection has been a building block in computer vision. Though considerable progress has been made, there still exist challenges for objects with small size, arbitrary direction, and dense distribution. Apart from natural images, such issues are especially pronounced for aerial images of great importance. This paper presents a novel multi-category rotation detector for small, cluttered and rotated objects, namely SCRDet. Specifically, a sampling fusion network is devised which fuses multi-layer feature with effective anchor sampling, to improve the sensitivity to small objects. Meanwhile, the supervised pixel attention network and the channel attention network are jointly explored for small and cluttered object detection by suppressing the noise and highlighting the objects feature. For more accurate rotation estimation, the IoU constant factor is added to the smooth L1 loss to address the boundary problem for the rotating bounding box. Extensive experiments on two remote sensing public datasets DOTA, NWPU VHR-10 as well as natural image datasets COCO, VOC2007 and scene text data ICDAR2015 show the state-of-the-art performance of our detector. The code and models will be available at https://github.com/DetectionTeamUCAS.


title: Observational Predictions for Sub-Chandrasekhar Mass Explosions: Further Evidence for Multiple Progenitor Systems for Type Ia Supernovae

abstract: We present a numerical parameter survey of sub-Chandrasekhar mass white dwarf (WD) explosions. Carbon-oxygen WDs accreting a helium shell have the potential to explode in the sub-Chandrasekhar mass regime. Previous studies have shown how the ignition of a helium shell can either directly ignite the WD at the core-shell interface or propagate a shock wave into the the core causing a central ignition. We examine the explosions of WDs from 0.6 - 1.2 M$_\odot$ with helium shells of 0.01, 0.05 and 0.08 M$_\odot$. Distinct observational signatures of sub-Chandrasekhar mass WD explosions are predicted for two categories of shell size. Thicker-shell models show an early time flux excess, which is caused by the presence of radioactive material in the ashes of the helium shell, and red colors due to these ashes creating significant line blanketing in the UV through the blue portion of the spectrum. Thin shell models reproduce several typical Type Ia supernova signatures. We identify a relationship between Si II velocity and luminosity which, for the first time, identifies a sub-class of observed supernovae that are consistent with these models. This sub-class is further delineated by the absence of carbon in their atmospheres. We suggest that the proposed difference in the ratio of selective to total extinction between the high velocity and normal velocity Type Ia supernovae is not due to differences in the properties of the dust around these events, but is rather an artifact of applying a single extinction correction to two intrinsically different populations of supernovae.


title: Electronic band structure in $n$-type GaAs/AlGaAs wide quantum wells in tilted magnetic field

abstract: Oscillations of the real component of AC conductivity $\sigma_1$ in a magnetic field were measured in the n-AlGaAs/GaAs structure with a wide (75 nm) quantum well by contactless acoustic methods at $T$=(20-500)~mK. In a wide quantum well, the electronic band structure is associated with the two-subband electron spectrum, namely the symmetric (S) and antisymmetric (AS) subbands formed due to electrostatic repulsion of electrons. A change of the oscillations amplitude in tilted magnetic field observed in the experiments occurs due to crossings of Landau levels of different subbands (S and AS) at the Fermi level. The theory developed in this work shows that these crossings are caused by the difference in the cyclotron energies in the S and AS subbands induced by the in-plane magnetic field.


title: Circular photogalvanic effect in Cu/Bi bilayers

abstract: We have studied the circular photogalvanic effect (CPGE) in Cu/Bi bilayers. When a circularly polarized light in the visible range is irradiated to the bilayer from an oblique incidence, we find a photocurrent that depends on the helicity of light. Such photocurrent appears in a direction perpendicular to the light plane of incidence but is absent in the parallel configuration. The helicity dependent photocurrent is significantly reduced for a Bi single layer film and the effect is nearly absent for a Cu single layer film. Conventional interpretation of the CPGE suggests the existence of spin-momentum locked band(s) of a Rashba type in the Cu/Bi bilayer. In contrast to previous reports on the CPGE studied in other systems, however, the light energy used here to excite the carriers is much larger than the band gap of Bi. Moreover, the CPGE of the Cu/Bi bilayer is larger when the energy of the light is larger: the helicity dependent photocurrent excited with a blue light is nearly two times larger than that of a red light. We therefore consider the CPGE of the Cu/Bi bilayer may have a different origin compared to conventional systems.


title: Batch DropBlock Network for Person Re-identification and Beyond

abstract: Since the person re-identification task often suffers from the problem of pose changes and occlusions, some attentive local features are often suppressed when training CNNs. In this paper, we propose the Batch DropBlock (BDB) Network which is a two branch network composed of a conventional ResNet-50 as the global branch and a feature dropping branch. The global branch encodes the global salient representations. Meanwhile, the feature dropping branch consists of an attentive feature learning module called Batch DropBlock, which randomly drops the same region of all input feature maps in a batch to reinforce the attentive feature learning of local regions. The network then concatenates features from both branches and provides a more comprehensive and spatially distributed feature representation. Albeit simple, our method achieves state-of-the-art on person re-identification and it is also applicable to general metric learning tasks. For instance, we achieve 76.4% Rank-1 accuracy on the CUHK03-Detect dataset and 83.0% Recall-1 score on the Stanford Online Products dataset, outperforming the existing works by a large margin (more than 6%).


title: High SNR Consistent Compressive Sensing Without Signal and Noise Statistics

abstract: Recovering the support of sparse vectors in underdetermined linear regression models, \textit{aka}, compressive sensing is important in many signal processing applications. High SNR consistency (HSC), i.e., the ability of a support recovery technique to correctly identify the support with increasing signal to noise ratio (SNR) is an increasingly popular criterion to qualify the high SNR optimality of support recovery techniques. The HSC results available in literature for support recovery techniques applicable to underdetermined linear regression models like least absolute shrinkage and selection operator (LASSO), orthogonal matching pursuit (OMP) etc. assume \textit{a priori} knowledge of noise variance or signal sparsity. However, both these parameters are unavailable in most practical applications. Further, it is extremely difficult to estimate noise variance or signal sparsity in underdetermined regression models. This limits the utility of existing HSC results. In this article, we propose two techniques, \textit{viz.}, residual ratio minimization (RRM) and residual ratio thresholding with adaptation (RRTA) to operate OMP algorithm without the \textit{a priroi} knowledge of noise variance and signal sparsity and establish their HSC analytically and numerically. To the best of our knowledge, these are the first and only noise statistics oblivious algorithms to report HSC in underdetermined regression models.


title: "Killing Mie Softly": Analytic Integrals for Resonant Scattering States

abstract: We consider integrals of products of Bessel functions and of spherical Bessel functions, combined with a Gaussian factor guaranteeing convergence at infinity. Explicit representations are obtained for the integrals, building on those in the 1992 paper by McPhedran, Dawes and Scott. Attention is paid to those sums with a distributive part arising as the Gaussian tends towards a constant. Taking this limit provides explicit analytic formulae for integrals which are difficult to evaluate numerically or otherwise, and whose interpretation has been contentious both in the literature of quantum mechanics and of electromagnetic scattering.


title: The limit distribution of the maximum probability nearest neighbor ball

abstract: Let $X_1, \ldots, X_n$ be independent random points drawn from an absolutely continuous probability measure with density $f$ in $\mathbb{R}^d$. Under mild conditions on $f$, we derive a Poisson limit theorem for the number of large probability nearest neighbor balls. Denoting by $P_n$ the maximum probability measure of nearest neighbor balls, this limit theorem implies a Gumbel extreme value distribution for $nP_n - \ln n$ as $n \to \infty$. Moreover, we derive a tight upper bound on the upper tail of the distribution of $nP_n - \ln n$, which does not depend on $f$.


title: Deep Discriminative Learning for Unsupervised Domain Adaptation

abstract: The primary objective of domain adaptation methods is to transfer knowledge from a source domain to a target domain that has similar but different data distributions. Thus, in order to correctly classify the unlabeled target domain samples, the standard approach is to learn a common representation for both source and target domain, thereby indirectly addressing the problem of learning a classifier in the target domain. However, such an approach does not address the task of classification in the target domain directly. In contrast, we propose an approach that directly addresses the problem of learning a classifier in the unlabeled target domain. In particular, we train a classifier to correctly classify the training samples while simultaneously classifying the samples in the target domain in an unsupervised manner. The corresponding model is referred to as Discriminative Encoding for Domain Adaptation (DEDA). We show that this simple approach for performing unsupervised domain adaptation is indeed quite powerful. Our method achieves state of the art results in unsupervised adaptation tasks on various image classification benchmarks. We also obtained state of the art performance on domain adaptation in Amazon reviews sentiment classification dataset. We perform additional experiments when the source data has less labeled examples and also on zero-shot domain adaptation task where no target domain samples are used for training.


title: An orbital window into the ancient Sun's mass

abstract: Models of the Sun's long-term evolution suggest that its luminosity was substantially reduced 2-4 billion years ago, which is inconsistent with substantial evidence for warm and wet conditions in the geological records of both ancient Earth and Mars. Typical solutions to this so-called "faint young Sun paradox" consider changes in the atmospheric composition of Earth and Mars, and while attractive, geological verification of these ideas is generally lacking-particularly for Mars. One possible underexplored solution to the faint young Sun paradox is that the Sun has simply lost a few percent of its mass during its lifetime. If correct, this would slow, or potentially even offset the increase in luminosity expected from a constant-mass model. However, this hypothesis is challenging to test. Here, we propose a novel observational proxy of the Sun's ancient mass that may be readily measured from accumulation patterns in sedimentary rocks on Earth and Mars. We show that the orbital parameters of the Solar system planets undergo quasi-cyclic oscillations at a frequency, given by secular mode g_2-g_5, that scales approximately linearly with the Sun's mass. Thus by examining the cadence of sediment accumulation in ancient basins, it is possible distinguish between the cases of a constant mass Sun and a more massive ancient Sun to a precision of greater than about 1 per cent. This approach provides an avenue toward verification, or of falsification, of the massive early Sun hypothesis.


title: Accurate redshift determination of standard sirens by the luminosity distance space-redshift space large scale structure cross correlation

abstract: We point out a new possibility to determine the average redshift distribution of a large sample of gravitational wave standard sirens, without spectroscopic follow-ups. It is based on the cross correlation between the luminosity-distance space large scale structure (LSS) traced by standard sirens, and the redshift space LSS traced by galaxies in preexisting electromagnetic wave observations. We construct an unbiased and model independent estimator $E_z$ to realize this possibility. We demonstrate with BBO and Euclid that, $0.1\%$ accuracy in redshift determination can be achieved. This method can significantly alleviate the need of spectroscopic follow-up of standard sirens, and enhance their cosmological applications.


title: Optimization of Robot Tasks with Cartesian Degrees of Freedom using Virtual Joints

abstract: A common task in robotics is unloading identical goods from a tray with rectangular grid structure. This naturally leads to the idea of programming the process at one grid position only and translating the motion to the other grid points, saving teaching time. However this approach usually fails because of joint limits or singularities of the robot. If the task description has some redundancies, e.g. the objects are cylinders where one orientation angle is free for the gripping process, the motion may be modified to avoid workspace problems. We present a mathematical algorithm that allows the automatic generation of robot programs for pick-and-place applications with structured positions when the workpieces have some symmetry, resulting in a Cartesian degree of freedom for the process. The optimization uses the idea of a virtual joint which measures the distance of the desired TCP to the workspace such that the nonlinear optimization method is not bothered with unreachable positions. Combined with smoothed versions of the functions in the nonlinear program higher order algorithms can be used, with theoretical justification superior to many ad-hoc approaches used so far.


title: Construction of Two Parametric Deformation of KdV-Hierarchy and Solution in Terms of Meromorphic Functions on the Sigma Divisor of a Hyperelliptic Curve of Genus 3

abstract: Buchstaber and Mikhailov introduced the polynomial dynamical systems in $\mathbb{C}^4$ with two polynomial integrals on the basis of commuting vector fields on the symmetric square of hyperelliptic curves. In our previous paper, we constructed the field of meromorphic functions on the sigma divisor of hyperelliptic curves of genus 3 and solutions of the systems for $g=3$ by these functions. In this paper, as an application of our previous results, we construct two parametric deformation of the KdV-hierarchy. This new system is integrated in the meromorphic functions on the sigma divisor of hyperelliptic curves of genus 3. In Section 8 of our previous paper [Funct. Anal. Appl. 51 (2017), 162-176], there are miscalculations. In appendix of this paper, we correct the errors.


title: Learning from power system data stream: phasor-detective approach

abstract: Assuming access to synchronized stream of Phasor Measurement Unit (PMU) data over a significant portion of a power system interconnect, say controlled by an Independent System Operator (ISO), what can you extract about past, current and future state of the system? We have focused on answering this practical questions pragmatically - empowered with nothing but standard tools of data analysis, such as PCA, filtering and cross-correlation analysis. Quite surprisingly we have found that even during the quiet "no significant events" period this standard set of statistical tools allows the "phasor-detective" to extract from the data important hidden anomalies, such as problematic control loops at loads and wind farms, and mildly malfunctioning assets, such as transformers and generators. We also discuss and sketch future challenges a mature phasor-detective can possibly tackle by adding machine learning and physics modeling sophistication to the basic approach.


title: Deep learning framework DNN with conditional WGAN for protein solubility prediction

abstract: Protein solubility plays a critical role in improving production yield of recombinant proteins in biocatalyst and pharmaceutical field. To some extent, protein solubility can represent the function and activity of biocatalysts which are mainly composed of recombinant proteins. Highly soluble proteins are more effective in biocatalytic processes and can reduce the cost of biocatalysts. Screening proteins by experiments in vivo is time-consuming and expensive. In literature, large amounts of machine learning models have been investigated, whereas parameters of those models are underdetermined with insufficient data of protein solubility. A data augmentation algorithm that can enlarge the dataset of protein solubility and improve the performance of prediction model is highly desired, which can alleviate the common issue of insufficient data in biotechnology applications for developing machine learning models. We first implemented a novel approach that a data augmentation algorithm, conditional WGAN was used to improve prediction performance of DNN for protein solubility from protein sequence by generating artificial data. After adding mimic data produced from conditional WGAN, the prediction performance represented by $R^{2}$ was improved compared with the $R^{2}$ without data augmentation. After tuning the hyperparameters of two algorithms and organizing the dataset, we achieved a $R^{2}$ value of $45.04\%$, which enhanced $R^{2}$ about $10\%$ compared with the previous study using the same dataset. Data augmentation opens the door to applications of machine learning models on biological data, as machine learning models always fail to be well trained by small datasets.


title: Unified Gas-kinetic Wave-Particle methods I: Continuum and Rarefied Gas Flow

abstract: The unified gas-kinetic scheme (UGKS) provides a framework for simulating multiscale transport with the updates of both gas distribution function and macroscopic flow variables on the cell size and time step scales. The multiscale dynamics in UGKS is achieved through the coupled particle transport and collision in the particle evolution process within a time step. In this paper, under the UGKS framework, we propose an efficient multiscale unified gas-kinetic wave-particle (UGKWP) method. The gas dynamics in UGKWP method is described by the individual particle movement coupled with the evolution of the probability density function (PDF). During a time step, the trajectories of simulation particles are tracked until collision happens, and the post-collision particles are evolved collectively through the evolution of the corresponding distribution function. The evolution of simulation particles and distribution function is guided by evolution of macroscopic variables. The two descriptions on a gas particle, i.e. wave and particle, switch dynamically with time. A new concept of multiscale multi-efficiency preserving (MMP) method is introduced, and the UGKWP method is shown to be an MMP scheme. The UGKWP method is specially efficient for hypersonic flow simulation in all regimes in comparison with the wave-type discrete ordinate methods, and presents a much lower stochastic noise in the continuum flow regime in comparison with the particle-based Monte Carlo methods. Numerical tests for flows over a wide range of Mach and Knudsen numbers are presented. The examples include mainly the hypersonic flow passing a circular cylinder at Mach numbers $20$ and $30$ and Knudsen numbers $1$ and $10^{-4}$, low speed lid-driven cavity flow, and laminar boundary layer. These results validate the accuracy, efficiency, and multiscale property of UGKWP method.


title: On Reachability in Parameterized Phaser Programs

abstract: We address the problem of statically checking safety properties (such as assertions or deadlocks) for parameterized phaser programs. Phasers embody a non-trivial and modern synchronization construct used to orchestrate executions of parallel tasks. This generic construct supports dynamic parallelism with runtime registrations and deregistrations of spawned tasks. It generalizes many synchronization patterns such as collective and point-to-point schemes. For instance, phasers can enforce barriers or producer-consumer synchronization patterns among all or subsets of the running tasks. We consider in this work programs that may generate arbitrarily many tasks and phasers. We study different formulations of the verification problem and propose an exact procedure that is guaranteed to terminate for some reachability problems even in the presence of unbounded phases and arbitrarily many spawned tasks. In addition, we prove undecidability results for several problems on which our procedure cannot be guaranteed to terminate.


title: High Quality Prediction of Protein Q8 Secondary Structure by Diverse Neural Network Architectures

abstract: We tackle the problem of protein secondary structure prediction using a common task framework. This lead to the introduction of multiple ideas for neural architectures based on state of the art building blocks, used in this task for the first time. We take a principled machine learning approach, which provides genuine, unbiased performance measures, correcting longstanding errors in the application domain. We focus on the Q8 resolution of secondary structure, an active area for continuously improving methods. We use an ensemble of strong predictors to achieve accuracy of 70.7% (on the CB513 test set using the CB6133filtered training set). These results are statistically indistinguishable from those of the top existing predictors. In the spirit of reproducible research we make our data, models and code available, aiming to set a gold standard for purity of training and testing sets. Such good practices lower entry barriers to this domain and facilitate reproducible, extendable research.


title: A simulink circuit model for measurement of consumption of electric energy using frequency method

abstract: The following analysis and presentation summarizes the implementation in Matlab / Simulink environment of a prototype model digital energy circuit for measurement of the consumption of electric energy of an electrification network in the installations of customer of electric energy that can be applied as part of any consumption smart meter.


title: Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games

abstract: Probabilistic model checking for stochastic games enables formal verification of systems that comprise competing or collaborating entities operating in a stochastic environment. Despite good progress in the area, existing approaches focus on zero-sum goals and cannot reason about scenarios where entities are endowed with different objectives. In this paper, we propose probabilistic model checking techniques for concurrent stochastic games based on Nash equilibria. We extend the temporal logic rPATL (probabilistic alternating-time temporal logic with rewards) to allow reasoning about players with distinct quantitative goals, which capture either the probability of an event occurring or a reward measure. We present algorithms to synthesise strategies that are subgame perfect social welfare optimal Nash equilibria, i.e., where there is no incentive for any players to unilaterally change their strategy in any state of the game, whilst the combined probabilities or rewards are maximised. We implement our techniques in the PRISM-games tool and apply them to several case studies, including network protocols and robot navigation, showing the benefits compared to existing approaches.


title: The Impatient May Use Limited Optimism to Minimize Regret

abstract: Discounted-sum games provide a formal model for the study of reinforcement learning, where the agent is enticed to get rewards early since later rewards are discounted. When the agent interacts with the environment, she may regret her actions, realizing that a previous choice was suboptimal given the behavior of the environment. The main contribution of this paper is a PSPACE algorithm for computing the minimum possible regret of a given game. To this end, several results of independent interest are shown. (1) We identify a class of regret-minimizing and admissible strategies that first assume that the environment is collaborating, then assume it is adversarial---the precise timing of the switch is key here. (2) Disregarding the computational cost of numerical analysis, we provide an NP algorithm that checks that the regret entailed by a given time-switching strategy exceeds a given value. (3) We show that determining whether a strategy minimizes regret is decidable in PSPACE.


title: Existence of strong solutions to the Dirichlet problem for the Griffith energy

abstract: In this paper we continue the study of the Griffith brittle fracture energy minimisation under Dirichlet boundary conditions, suggested by Francfort and Marigo in 1998. In a recent paper, we proved the existence of weak minimisers of the problem. Now we show that these minimisers are indeed strong solutions, namely their jump set is closed and they are smooth away from the jump set and continuous up to the Dirichlet boundary. This is obtained by extending up to the boundary the recent regularity results of Conti, Focardi, Iurlano, and of Chambolle, Conti, Iurlano.


title: Orthogonally $a$-Jensen mappings on $C^*$-modules

abstract: We investigate the representation of the so-called orthogonally $a$-Jensen mappings acting on $C^*$-modules. More precisely, let $\mathfrak{A}$ be a unital $C^*$-algebra with the unit $1$, let $a \in \mathfrak{A}$ be fixed such that $a, 1-a$ are invertible and let $\mathscr{E}, \mathscr{F}, \mathscr{G}$ be inner product $\mathfrak{A}$-modules. We prove that if there exist additive mappings $\varphi, \psi$ from $\mathscr{F}$ into $\mathscr{E}$ such that $\big\langle \varphi(y), \psi(z)\big\rangle=0$ and $a \big\langle \varphi(y), \varphi(z)\big\rangle a^\ast = (1 - a)\big\langle \psi(y), \psi(z)\big\rangle (1 - a)^\ast$ for all $y, z\in \mathscr{F}$, then a mapping $f: \mathscr{E} \to \mathscr{G}$ is orthogonally $a$-Jensen if and only if it is of the form $f(x) = A(x) + B(x, x) +f(0)$ for $x\in \mathscr{K} := \varphi(\mathscr{F})+\psi(\mathscr{F})$, where $A: \mathscr{E} \to \mathscr{G}$ is an $a$-additive mapping on $\mathscr{K}$ and $B$ is a symmetric $a$-biadditive orthogonality preserving mapping on $\mathscr{K}\times \mathscr{K}$. Some other related results are also presented.


title: Logics for Rough Concept Analysis

abstract: Taking an algebraic perspective on the basic structures of Rough Concept Analysis as the starting point, in this paper we introduce some varieties of lattices expanded with normal modal operators which can be regarded as the natural rough algebra counterparts of certain subclasses of rough formal contexts, and introduce proper display calculi for the logics associated with these varieties which are sound, complete, conservative and with uniform cut elimination and subformula property. These calculi modularly extend the multi-type calculi for rough algebras to a `nondistributive' (i.e. general lattice-based) setting.


title: Hybrid Pulsations and Tidal Splitting detected in the Kepler Eclipsing and Spotted Binary System KIC 6048106

abstract: We present a new asteroseismic analysis of KIC~6048106, a \textit{Kepler} Algol-type eclipsing binary star in a circularized orbit with $P_\rm{orb}$=1.559361$\pm$0.000036~d. Based on a physical model for the binary and its corresponding set of fundamental parameters, ($T_\rm{eff}=7033\pm187~K, ~M_\rm{1}=1.55\pm0.11M_{\odot}$ and $T_\rm{eff}=4522\pm103~K,~M_\rm{2}=0.33\pm0.07M_{\odot}$, respectively for the primary and the secondary component), we obtained the residual light curve after removal of the full binary model, including a 290-day activity cycle for the secondary component (Samadi Gh. et al.\,2018). In this work, we used the method of Fourier analysis of the residual light curve in combination with least squares optimization for the frequency analysis. We detected seven dominant, independent gravity ($g$) modes as well as 34 low-amplitude acoustic ($p$) modes. The $g$ modes in the range $1.96-2.85$ d$^{-1}$ have a mean spacing of $\Delta\Pi_\rm{mean}=1517.92\pm131.54$~s. Though of much lower amplitude, additional significant frequencies were detected in the intervals $7.49-15.2$ d$^{-1}$ and $19-22.5$ d$^{-1}$ (i.e. in the $p$ mode region), with corresponding dominant modes $\nu_\rm{max_\rm{1}}=11.745\pm0.001$ d$^{-1}$ and $\nu_\rm{max_\rm{2}}=20.960\pm0.002$ d$^{-1}$. From its position in the H-R diagram, we conclude that the primary component is the source of the detected hybrid pulsations. Consequently, the pulsation constants, Q, of the high frequencies cover the range $0.028-0.064$~d. Furthermore, $\nu_\rm{43} $ (19.037$\pm$0.002 d$^{-1}$) might correspond to the fundamental radial mode (Q = 0.033$\pm$0.007 d). The other frequencies in the range $19-22.5$ d$^{-1}$ could be radial or non-radial overtone modes. Moreover, the low-amplitude $p$ modes show an equidistant splitting by $f_\rm{orb}$, which we interpret as tidal splitting following theoretical predictions.


title: Relative strongly regular holonomic ${\mathcal{D}}$-modules and the Riemann-Hilbert correspondence

abstract: We introduce the notion of strong regular holonomic ${\mathcal{D}}_{{X\times S}/S}$-module and we prove that the functor ${\mathrm{RH}}^S$ introduced by T. Monteiro Fernandes and C. Sabbah in [14] takes image in ${\mathsf{D}}^{\mathrm{b}}_{\mathrm{srhol}}({\mathcal{D}}_{{X\times S}/S})$ (complexes of ${\mathcal{D}}_{{X\times S}/S}$-module whose cohomologies are strongly regular). We prove that for $\dim X=\dim S=1$ the functor solution functor ${}^\mathrm{p}{\mathrm{Sol}}$ restricted to ${\mathsf{D}}^{\mathrm{b}}_{\mathrm{srhol}}({\mathcal{D}}_{{X\times S}/S})$ is an equivalence of categories with quasi-inverse ${\mathrm{RH}}^S$.


title: Leading Order $k_Fa$ Corrections to the Free Energy and Phase Separation in Two-component Fermion Systems

abstract: We study phase separation in a dilute two-component Fermi system with attractive interactions as a function of the coupling strength and the polarization or number density asymmetry between the two components. In weak and strong couplings with a finite number density asymmetry, phase separation is energetically more favorable. A heterogeneous phase containing a symmetric superfluid component and an asymmetric normal phase has lower energy than a homogeneous normal phase. We show that for a small number density asymmetry, taking into consideration the leading order corrections at order $k_Fa$ of the interaction parameter, phase separation is stable against the normal phase in the whole BCS range. We investigate the consequences of the consideration of the leading order $k_Fa$ corrections to the thermodynamic potentials of the normal and BCS phase on the Chandrasekhar-Clogston limit. We have also investigated the stability of a Bose-Fermi mixture in the far-BEC limit. We find that the molecular BEC is locally stable against an external magnetic field $h$, provided $|h|$ is smaller than the pairing gap $\Delta_{gap}$.

categories: cond-mat.quant-gas cond-mat.other cond-mat.supr-con nucl-th


title: Robust Website Fingerprinting Through the Cache Occupancy Channel

abstract: Website fingerprinting attacks, which use statistical analysis on network traffic to compromise user privacy, have been shown to be effective even if the traffic is sent over anonymity-preserving networks such as Tor. The classical attack model used to evaluate website fingerprinting attacks assumes an on-path adversary, who can observe all traffic traveling between the user's computer and the Tor network. In this work we investigate these attacks under a different attack model, in which the adversary is capable of running a small amount of unprivileged code on the target user's computer. Under this model, the attacker can mount cache side-channel attacks, which exploit the effects of contention on the CPU's cache, to identify the website being browsed. In an important special case of this attack model, a JavaScript attack is launched when the target user visits a website controlled by the attacker. The effectiveness of this attack scenario has never been systematically analyzed, especially in the open-world model which assumes that the user is visiting a mix of both sensitive and non-sensitive sites. In this work we show that cache website fingerprinting attacks in JavaScript are highly feasible, even when they are run from highly restrictive environments, such as the Tor Browser. Specifically, we use machine learning techniques to classify traces of cache activity. Unlike prior works, which try to identify cache conflicts, our work measures the overall occupancy of the last-level cache. We show that our approach achieves high classification accuracy in both the open-world and the closed-world models. We further show that our techniques are resilient both to network-based defenses and to side-channel countermeasures introduced to modern browsers as a response to the Spectre attack.


title: Subharmonic variation of Azukawa pseudometrics for balanced domains

abstract: We consider the subharmonicity property of the logarithm of Azukawa pseudometrics of pseudoconvex domains under pseudoconvex variations. We prove that such a property holds for the variation of balanced domains. We also give a non-balanced example. The relation of the volume of Azukawa indicatrix and the estimate in the Ohsawa-Takegoshi $L^2$-extension theorem is also discussed.


title: Monotonic classification: an overview on algorithms, performance measures and data sets

abstract: Currently, knowledge discovery in databases is an essential step to identify valid, novel and useful patterns for decision making. There are many real-world scenarios, such as bankruptcy prediction, option pricing or medical diagnosis, where the classification models to be learned need to fulfil restrictions of monotonicity (i.e. the target class label should not decrease when input attributes values increase). For instance, it is rational to assume that a higher debt ratio of a company should never result in a lower level of bankruptcy risk. Consequently, there is a growing interest from the data mining research community concerning monotonic predictive models. This paper aims to present an overview about the literature in the field, analyzing existing techniques and proposing a taxonomy of the algorithms based on the type of model generated. For each method, we review the quality metrics considered in the evaluation and the different data sets and monotonic problems used in the analysis. In this way, this paper serves as an overview of the research about monotonic classification in specialized literature and can be used as a functional guide of the field.


title: On a two-phase Serrin-type problem and its numerical computation

abstract: We consider an overdetermined problem of Serrin-type with respect to an operator in divergence form with piecewise constant coefficients. We give sufficient condition for unique solvability near radially symmetric configurations by means of a perturbation argument relying on shape derivatives and the implicit function theorem. This problem is also treated numerically, by means of a steepest descent algorithm based on a Kohn-Vogelius functional.


title: Recurrent Convolutions for Causal 3D CNNs

abstract: Recently, three dimensional (3D) convolutional neural networks (CNNs) have emerged as dominant methods to capture spatiotemporal representations in videos, by adding to pre-existing 2D CNNs a third, temporal dimension. Such 3D CNNs, however, are anti-causal (i.e., they exploit information from both the past and the future frames to produce feature representations, thus preventing their use in online settings), constrain the temporal reasoning horizon to the size of the temporal convolution kernel, and are not temporal resolution-preserving for video sequence-to-sequence modelling, as, for instance, in action detection. To address these serious limitations, here we present a new 3D CNN architecture for the causal/online processing of videos. Namely, we propose a novel Recurrent Convolutional Network (RCN), which relies on recurrence to capture the temporal context across frames at each network level. Our network decomposes 3D convolutions into (1) a 2D spatial convolution component, and (2) an additional hidden state $1\times 1$ convolution, applied across time. The hidden state at any time $t$ is assumed to depend on the hidden state at $t-1$ and on the current output of the spatial convolution component. As a result, the proposed network: (i) produces causal outputs, (ii) provides flexible temporal reasoning, (iii) preserves temporal resolution. Our experiments on the large-scale large Kinetics and MultiThumos datasets show that the proposed method performs comparably to anti-causal 3D CNNs, while being causal and using fewer parameters.


title: Extinction time of non-Markovian self-similar processes, persistence, annihilation of jumps and the Fr\'echet distribution

abstract: We start by providing an explicit characterization and analytical properties, including the persistence phenomena, of the distribution of the extinction time $\mathbb{T}$ of a class of non-Markovian self-similar stochastic processes with two-sided jumps that we introduce as a stochastic time-change of Markovian self-similar processes. For a suitably chosen time-changed, we observe, for classes with two-sided jumps, the following surprising facts. On the one hand, all the $\mathbb{T}$'s within a class have the same law which we identify in a simple form for all classes and reduces, in the spectrally positive case, to the Fr\'echet distribution. On the other hand, each of its distribution corresponds to the law of an extinction time of a single Markov process without positive jumps, leaving the interpretation that the time-changed has annihilated the effect of positive jumps. The example of the non-Markovian processes associated to L\'evy stable processes is detailed.


title: Transverse spin and surface waves in acoustic metamaterials

abstract: We consider spin angular momentum density in inhomogeneous acoustic fields: evanescent waves and surface waves at interfaces with negative-density metamaterials. Despite being purely longitudinal (curl-free), acoustic waves possess intrinsic vector properties described by the velocity field. Motivated by the recent description and observation of the spin properties in elastic and acoustic waves, we compare these properties with their well-known electromagnetic counterparts. Surprisingly, both the transverse spin of evanescent waves and the parameters of surface waves are very similar in electromagnetism and acoustics. We also briefly analyze the important role of dispersion in the description of the energy and spin densities in acoustic metamaterials.


title: Discrete Faddeev action for the tetrad fields strongly varying along different coordinates

abstract: Faddeev gravity using a $d$-dimensional tetrad (normally $d = 10$) is classically equivalent to general relativity (GR). The discrete Faddeev gravity on the piecewise flat spacetime normally assumes slowly varying metric and tetrad from vertex to vertex. Meanwhile, Faddeev action is finite (although not unambiguously defined) for discontinuous tetrad fields thus allowing, in particular, to consider a surface as consisting of virtually independent elementary triangles, and its area spectrum as the sum of elementary area spectra. In the discrete connection form, area tensors are canonically conjugate to SO(10) connection matrices, and earlier we have found the elementary area spectrum, which is nonsingular just at large connection or the strongly varying fields constituting a kind of "antiferromagnetic" structure. We appropriately define discrete {\it connection} Faddeev action to unambiguously determine the discrete Faddeev action for the strongly varying fields, but weakly varying metric, equivalent in the continuum limit to the GR action with this metric. Previously, we considered large variations in only one direction, now we use an ansatz in some respects less common, but overall, probably the most common. A unified simplicial connection representation is written out (depending on an auxiliary connection) both for the discrete Faddeev action and for the Regge action.


title: Edge-Based Blur Kernel Estimation Using Sparse Representation and Self-Similarity

abstract: Blind image deconvolution is the problem of recovering the latent image from the only observed blurry image when the blur kernel is unknown. In this paper, we propose an edge-based blur kernel estimation method for blind motion deconvolution. In our previous work, we incorporate both sparse representation and self-similarity of image patches as priors into our blind deconvolution model to regularize the recovery of the latent image. Since almost any natural image has properties of sparsity and multi-scale self-similarity, we construct a sparsity regularizer and a cross-scale non-local regularizer based on our patch priors. It has been observed that our regularizers often favor sharp images over blurry ones only for image patches of the salient edges and thus we define an edge mask to locate salient edges that we want to apply our regularizers. Experimental results on both simulated and real blurry images demonstrate that our method outperforms existing state-of-the-art blind deblurring methods even for handling of very large blurs, thanks to the use of the edge mask.


title: Attention-based Walking Gait and Direction Recognition in Wi-Fi Networks

abstract: The study of human gait recognition has been becoming an active research field. In this paper, we propose to adopt the attention-based Recurrent Neural Network (RNN) encoder-decoder framework to implement a cycle-independent human gait and walking direction recognition system in Wi-Fi networks. For capturing more human walking dynamics, two receivers together with one transmitter are deployed in different spatial layouts. In the proposed system, the Channel State Information (CSI) measurements from different receivers are first gathered together and refined to form an integrated walking profile. Then, the RNN encoder reads and encodes the walking profile into primary feature vectors. Given a specific recognition task, the decoder computes a corresponding attention vector which is a weighted sum of the primary features assigned with different attentions, and is finally used to predict the target. The attention scheme motivates our system to learn to adaptively align with different critical clips of CSI data sequence for human walking gait and direction recognitions. We implement our system on commodity Wi-Fi devices in indoor environment, and the experimental results demonstrate that our system can achieve average F1 scores of 89.69% for gait recognition from a group of 8 subjects and 95.06% for direction recognition from 8 walking directions, in addition, the average accuracies of these two recognition tasks both exceed 97%.


title: Nuclear electromagnetic dipole response with the Self-Consistent Green's Function formalism

abstract: Microscopic calculations of the electromagnetic response of medium-mass nuclei are now feasible thanks to the availability of realistic nuclear interactions with accurate saturation and spectroscopic properties, and the development of large-scale computing methods for many-body physics. The purpose is to compute isovector dipole electromagnetic (E1) response and related quantities, i.e. integrated dipole cross section and polarizability, and compare with data from photoabsorption and Coulomb excitation experiments. The single-particle propagator is obtained by solving the Dyson equation, where the self-energy includes correlations non-perturbatively through the Algebraic Diagrammatic Construction (ADC) method. The particle-hole ($ph$) polarization propagator is treated in the Dressed Random Phase Approximation (DRPA), based on an effective correlated propagator that includes some $2p2h$ effects but keeps the same computation scaling as the standard Hartree-Fock propagator. The E1 responses for $^{14,16,22,24}$O, $^{36,40,48,52,54,70}$Ca and $^{68}$Ni have been computed: the presence of a soft dipole mode of excitation for neutron-rich nuclei is found, and there is a fair reproduction of the low-energy part of the experimental excitation spectrum. This is reflected in a good agreement with the empirical dipole polarizability values. For a realistic interaction with an accurate reproduction of masses and radii up to medium-mass nuclei, the Self-Consistent Green's Function method provides a good description of the E1 response, especially in the part of the excitation spectrum below the Giant Dipole Resonance. The dipole polarizability is largely independent from the strategy of mapping the dressed propagator to a simplified one that is computationally manageable


title: Evolution of Cosmological Horizons of Wormhole Cosmology

abstract: Recently we solved the Einstein's field equations to obtain the exact solution of the cosmological model with the Morris-Thorne type wormhole. We found the apparent horizons and analyzed their geometric natures, including the causal tructures. We also derived the Hawking temperature near the apparent cosmological horizon with a proper definition of the Kodama vector. In this paper, we investigate the dynamic properties of the apparent horizons according to the distribution of cosmic matter. The matter-, radiation-, and lambda-dominated universes are considered as a single component universe. As a multi-component universe, we adopt the $\Lambda$CDM universe which contains the matter and lambda. We also considered the speeds of apparent horizons and compared them with those of the universe without wormhole. The past light cone and the particle horizon is examined for what happens in the case of model with wormhole. Since the spatial coordinates of the spacetime with the wormhole are limited outside the throat, the past light cone can be operated by removing the smaller-than-wormhole region. The past light cones without wormhole begin start earlier than the past light cones with wormhole in conformal time-proper distance coordinates. The travel-through-wormhole can shows different part from normal one. Therefore, the particle horizon distance determined from the observer's past light cone can not be defined in a unique way. The case of the travel-through-wormhole can be extended into another universe or far distant causally disconnected region.


title: Constructing large self-small modules

abstract: We give a method for constructing (possible large) self--small modules via some special homomorphisms of rings, called here weak epimorphisms.


title: Pacing Equilibrium in First-Price Auction Markets

abstract: Mature internet advertising platforms offer high-level campaign management tools to help advertisers run their campaigns, often abstracting away the intricacies of how each ad is placed and focusing on aggregate metrics of interest to advertisers. On such platforms, advertisers often participate in auctions through a proxy bidder, so the standard incentive analyses that are common in the literature do not apply directly. In this paper, we take the perspective of a budget management system that surfaces aggregated incentives -- instead of individual auctions -- and compare first and second price auctions. We show that theory offers surprising endorsement for using a first price auction to sell individual impressions. In particular, first price auctions guarantee uniqueness of the steady-state equilibrium of the budget management system, monotonicity, and other desirable properties, as well as efficient computation through the solution to the well-studied Eisenberg-Gale convex program. Contrary to what one can expect from first price auctions, we show that incentives issues are not a barrier that undermines the system. Using realistic instances generated from data collected at real-world auction platforms, we show that bidders have small regret with respect to their optimal ex-post strategy, and they do not have a big incentive to misreport when they can influence equilibria directly by giving inputs strategically. Finally, budget-constrained bidders, who have significant prevalence in real-world platforms, tend to have smaller regrets. Our computations indicate that bidder budgets, pacing multipliers and regrets all have a positive association in statistical terms.


title: Central extensions of free periodic groups

abstract: It is proved that any countable abelian group $D$ can be embedded as a centre into a $m$-generated group $A$ such that the quotient group $A/D$ is isomorphic to the free Burnside group $B(m,n)$ of rank $m>1$ and of odd period $n\ge665$. The proof is based on some modification of the method which was used by S.I.Adian in his monograph in 1975 for a positive solution of Kontorovich's famous problem from Kourovka Notebook on the existence of a finitely generated non-commutative analogue of the additive group of rational numbers. More precisely, he proved that the desired analogues in which the intersection of any two non-trivial subgroups is infinite, can be constructed as a central extension of the free Burnside group $ B (m, n) $, where $ m> 1 $, and $ n \ge665 $ is an odd number, using as its center the infinite cyclic group. The paper also discusses other applications of the proposed generalization of Adian's technique. In particular, we describe the free groups of the variety defined by the identity $[x^n,y]=1$ and the Schur multipliers of the free Burnside groups $B(m,n)$ for any odd $n\ge665$.


title: Stable structural phase of potassium-doped p-terphenyl and its semiconducting state

abstract: The potassium-doped p-terphenyl compounds were synthesized in recent experiments and the superconductivity with high transition temperatures were reported, but the atomic structure of potassium-doped p-terphenyl is unclear. In this paper, we studied the structural and electronic properties of potassium-doped p-terphenyl with various doping levels by the first-principles simulation. We first find out the low energy position of K atom in intralayer interstitial space of the molecular layer, then examine whether two rows of K atoms can be accommodated in this one space, at last the effect of the interlayer arrangement between adjacent two molecular layers on total energy is taken into account. Our results show that the doped K atoms prefer to stay at the bridge site of single C-C bond connected two phenyls instead of locating at the site above the phenyl ring, distinct from the situation of K-doped picene and phenanthrene. Among the possible structural phases of Kx-p-terphenyl, the K2-p-terphenyl phase with P212121 group symmetry is determined to be most appropriate, which is different from the one in recent report. The stable K 2 -p-terphenyl phase is semiconducting with an energy gap of 0.3 eV and the bands from the lowest unoccupied molecular orbitals are just fully filled by the electrons transferred from K atoms.


title: What Propels Celebrity Follower Counts? Language Use or Social Connectivity

abstract: Follower count is a factor that quantifies the popularity of celebrities. It is a reflection of their power, prestige and overall social reach. In this paper we investigate whether the social connectivity or the language choice is more correlated to the future follower count of a celebrity. We collect data about tweets, retweets and mentions of 471 Indian celebrities with verified Twitter accounts. We build two novel networks to approximate social connectivity of the celebrities. We study various structural properties of these two networks and observe their correlations with future follower counts. In parallel, we analyze the linguistic structure of the tweets (LIWC features, syntax and sentiment features and style and readability features) and observe the correlations of each of these with the future follower count of a celebrity. As a final step we use there features to classify a celebrity in a specific bucket of future follower count (HIGH, MID or LOW). We observe that the network features alone achieve an accuracy of 0.52 while the linguistic features alone achieve an accuracy of 0.69 grossly outperforming the network features. The network and linguistic features in conjunction produce an accuracy of 0.76. We also discuss some final insights that we obtain from further data analysis celebrities with larger follower counts post tweets that have (i) more words from friend and family LIWC categories, (ii) more positive sentiment laden words, (iii) have better language constructs and are (iv) more readable.