title: Symmetric Khovanov--Rozansky link homologies

abstract: We provide a finite dimensional categorification of the symmetric evaluation of $\mathfrak{sl}_N$-webs using foam technology. As an output we obtain a symmetric link homology theory categorifying the link invariant associated to symmetric powers of the standard representation of $\mathfrak{sl}_N$. In addition, the construction is actually made in an equivariant setting. We prove also that there is a spectral sequence from the Khovanov-Rozansky triply graded link homology to the symmetric one and provide along the way a foam interpretation of Soergel bimodules.


title: Essential dimension in mixed characteristic

abstract: Suppose $G$ is a finite group and $p$ is either a prime number or $0$. For $p$ positive, we say that $G$ is weakly tame at $p$ if $G$ has no non-trivial normal $p$-subgroups. By convention we say that every finite group is weakly tame at $0$. Now suppose that $G$ is a finite group which is weakly tame at the residue characteristic of a discrete valuation ring $R$. Our main result shows that the essential dimension of $G$ over the fraction field $K$ of $R$ is at least as large as the essential dimension of $G$ over the residue field $k$. We also prove a more general statement of this type for a class of \'etale gerbes over $R$. As a corollary, we show that, if $G$ is weakly tame at $p$ and $k$ is any field of characteristic $p >0$ containing the algebraic closure of $\mathbb{F}_p$, then the essential dimension of $G$ over $k$ is less than or equal to the essential dimension of $G$ over any characteristic $0$ field. A conjecture of A. Ledet asserts that the essential dimension, $\mathrm{ed}_k(\mathbb{Z}/p^n\mathbb{Z})$, of the cyclic group of order $p^n$ over a field $k$ is equal to $n$ whenever $k$ is a field of characteristic $p$. We show that this conjecture implies that $\mathrm{ed}_{\mathbb{C}}(G) \geq n$ for any finite group $G$ which is weakly tame at $p$ and contains an element of order $p^n$. To the best of our knowledge, an unconditional proof of the last inequality is out of the reach of all presently known techniques.


title: On the Coulomb Interaction in a Nucleus for Odd J States

abstract: With a certain approximation for the Coulomb matrix elements in a single j shell of protons and neutrons it is found that wave functions of states of odd angular momentum J in an even-even nucleus are not strongly affected by their presence,


title: A sharpening of a problem on Bernstein polynomials and convex function and related results

abstract: We present a short proof of a conjecture proposed by I. Ra\c{s}a (2017), which is an inequality involving basic Bernstein polynomials and convex functions. This proof was given in the letter to I. Ra\c{s}a (2017). The methods of our proof allow us to obtain some extended versions of this inequality as well as other inequalities given by I. Ra\c{s}a. As a tool we use stochastic convex ordering relations. We propose also some generalizations of the binomial convex concentration inequality. We use it to insert some additional expressions between left and right sides of the Ra\c{s}a inequalities.


title: Exact distribution of selected multivariate test criteria by numerical inversion of their characteristic functions

abstract: Application of the exact statistical inference frequently leads to a non-standard probability distributions of the considered estimators or test statistics. The exact distributions of many estimators and test statistics can be specified by their characteristic functions. Typically, distribution of many estimators and test statistics can be structurally expressed as a linear combination or product of independent random variables with known distributions and characteristic functions, as is the case for many standard multivariate test criteria. The characteristic function represents complete characterization of the distribution of the random variable. However, analytical inversion of the characteristic function, if possible, frequently leads to a complicated and computationally rather strange expressions for the corresponding distribution function (CDF/PDF) and the required quantiles. As an efficient alternative, here we advocate to use the well-known method based on numerical inversion of the characteristic functions --- a method which is, however, ignored in popular statistical software packages. The applicability of the approach is illustrated by computing the exact distribution of the Bartlett's test statistic for testing homogeneity of variances in several normal populations and the Wilks's $\Lambda$-distribution used in multivariate hypothesis testing.


title: Mass of a Patch of an FRW Universe

abstract: In 1963, Zel'dovich devised a method to define the mass of a closed Friedmann-Robertson-Walker (FRW) universe, showing that by this definition it is exactly zero. Rounding out this result, we show that the masses of flat and open universes are (unsurprisingly) divergent. We also present closed-form solutions for the trajectory of the boundary of a finite spherical patch of homogeneous pressureless dust for each class of curvature, exploring the dynamics of the boundary in detail. In all cases, the FRW patch emerges from a white hole. In the closed case, the patch expands to a maximum radius before contracting and entering a black hole, while flat and open FRW patches expand without bound. We compare our results to the classical expectations of Newtonian cosmology, showing that for small radii the Newtonian energy gives the leading correction to the rest mass energy.


title: Dynamics of test particles in the five-dimensional G\"{o}del spacetime

abstract: We derive the complete set of geodesic equations for massive and massless, charged test particles of a five-dimensional, rotating and charged solution of the Einstein-Maxwell-Chern-Simons field equations in five-dimensional minimal gauged supergravity and present their analytical solutions. We study the polar and radial motion, depending on the spacetime and test particle parameters, and characterize the test particle motion qualitatively by the means of parametric plots and effective potentials. We use the analytical solutions in order to visualize the test particle motion by three-dimensional plots.


title: Graph Autoencoder-Based Unsupervised Feature Selection with Broad and Local Data Structure Preservation

abstract: Feature selection is a dimensionality reduction technique that selects a subset of representative features from high dimensional data by eliminating irrelevant and redundant features. Recently, feature selection combined with sparse learning has attracted significant attention due to its outstanding performance compared with traditional feature selection methods that ignores correlation between features. These works first map data onto a low-dimensional subspace and then select features by posing a sparsity constraint on the transformation matrix. However, they are restricted by design to linear data transformation, a potential drawback given that the underlying correlation structures of data are often non-linear. To leverage a more sophisticated embedding, we propose an autoencoder-based unsupervised feature selection approach that leverages a single-layer autoencoder for a joint framework of feature selection and manifold learning. More specifically, we enforce column sparsity on the weight matrix connecting the input layer and the hidden layer, as in previous work. Additionally, we include spectral graph analysis on the projected data into the learning process to achieve local data geometry preservation from the original data space to the low-dimensional feature space. Extensive experiments are conducted on image, audio, text, and biological data. The promising experimental results validate the superiority of the proposed method.


title: Spaces with polynomial hulls that contain no analytic discs

abstract: Extensions of the notions of polynomially and rationally convex hulls are introduced. Using these notions, a generalization of a result of Duval and Levenberg on polynomially convex hulls containing no analytic discs is presented. As a consequence it is shown that there exists a Cantor set $X$ in ${\mathbb C}^3$ with a nontrivial polynomially convex hull that contains no analytic discs. Using this Cantor set, it is shown that there exist arcs and curves in ${\mathbb C}^4$ with nontrivial polynomially convex hulls that contain no analytic discs. This answers a question raised a few years ago by Bercovici and can be regarded as a partial answer to a question raised by Wermer over 60 years ago. More generally, it is shown that every uncountable, compact subspace of a Euclidean space can be embedded as a subspace $X$ of ${\mathbb C}^N$, for some N, in such a way as to have a nontrivial polynomially convex hull that contains no analytic discs. In the case when the topological dimension of the space is at most one, $X$ can be chosen so as to have the stronger property that $P(X)$ has a dense set of invertible elements.


title: Perfect graphs with polynomially computable kernels

abstract: In a directed graph, a kernel is a subset of vertices that is both stable and absorbing. Not all digraphs have a kernel, but a theorem due to Boros and Gurvich guarantees the existence of a kernel in every clique-acyclic orientation of a perfect graph. However, an open question is the complexity status of the computation of a kernel in such a digraph. Our main contribution is to prove new polynomiality results for subfamilies of perfect graphs, among which are claw-free perfect graphs and chordal graphs. Our results are based on the design of kernel computation methods with respect to two graph operations: clique-cutset decomposition and augmentation of flat edges. We also prove that deciding the existence of a kernel - and computing it if it exists - is polynomial in every orientation of a chordal or a circular-arc graph, even not clique-acyclic.


title: Theory of Deep Learning IIb: Optimization Properties of SGD

abstract: In Theory IIb we characterize with a mix of theory and experiments the optimization of deep convolutional networks by Stochastic Gradient Descent. The main new result in this paper is theoretical and experimental evidence for the following conjecture about SGD: SGD concentrates in probability -- like the classical Langevin equation -- on large volume, "flat" minima, selecting flat minimizers which are with very high probability also global minimizers


title: The roles of fluid compression and shear in electron energization during magnetic reconnection

abstract: Particle acceleration in space and astrophysical reconnection sites is an important unsolved problem in studies of magnetic reconnection. Earlier kinetic simulations have identified several acceleration mechanisms that are associated with particle drift motions. Here, we show that, for sufficient large systems, the energization processes due to particle drift motions can be described as fluid compression and shear, and that the shear energization is proportional to the pressure anisotropy of energetic particles. By analyzing results from fully kinetic simulations, we show that the compression energization dominates the acceleration of high-energy particles in reconnection with a weak guide field, and the compression and shear effects are comparable when the guide field is 50\% of the reconnecting component. Spatial distributions of those energization effects reveal that reconnection exhausts, contracting islands, and island merging regions are the three most important regions for compression and shear acceleration. This study connects particle energization by particle guiding-center drift motions with that due to background fluid motions, as in the energetic particle transport theory. It provides foundations for building particle transport models for large-scale reconnection acceleration such as those in solar flares.

categories: physics.plasm-ph astro-ph.HE astro-ph.SR physics.space-ph


title: Rapid de novo shape encoding: a challenge to connectionist modeling

abstract: Neural network (connectionist) models are designed to encode image features and provide the building blocks for object and shape recognition. These models generally call for: a) initial diffuse connections from one neuron population to another, and b) training to bring about a functional change in those connections so that one or more high-tier neurons will selectively respond to a specific shape stimulus. Advanced models provide for translation, size, and rotation invariance. The present discourse notes that recent work on human perceptual skills has demonstrated immediate encoding of unknown shapes that were seen only once. Further, the perceptual mechanism provided for translation, size, and rotation invariance. This finding represents a challenge to connectionist models that require many training trials to achieve recognition and invariance.


title: Denoising Dictionary Learning Against Adversarial Perturbations

abstract: We propose denoising dictionary learning (DDL), a simple yet effective technique as a protection measure against adversarial perturbations. We examined denoising dictionary learning on MNIST and CIFAR10 perturbed under two different perturbation techniques, fast gradient sign (FGSM) and jacobian saliency maps (JSMA). We evaluated it against five different deep neural networks (DNN) representing the building blocks of most recent architectures indicating a successive progression of model complexity of each other. We show that each model tends to capture different representations based on their architecture. For each model we recorded its accuracy both on the perturbed test data previously misclassified with high confidence and on the denoised one after the reconstruction using dictionary learning. The reconstruction quality of each data point is assessed by means of PSNR (Peak Signal to Noise Ratio) and Structure Similarity Index (SSI). We show that after applying (DDL) the reconstruction of the original data point from a noisy


title: Binding energies of the $1s^2\,2s\,2p\, ^3P_{0,2}$ states of berylliumlike xenon

abstract: Binding energies of the $^3P_0$ and $^3P_2$ levels of the $1s^2\,2s\,2p$ electron configuration in berylliumlike xenon are rigorously evaluated using ab initio QED approach. All relevant one- and many-electron QED contributions are accounted for up to the second order of the perturbation theory. The interelectronic-interaction effects of the third and higher orders are considered within the Breit approximation. Nuclear recoil effect is taken into account as well. In addition, we study all possible levels of the configuration $1s^2\,2s\,2p$, namely $^1P_1$ and $^3P_{0,1,2}$, by means of the configuration-interaction Dirac-Fock-Sturm method in berylliumlike neon, iron, and xenon. In this case the QED effects are treated approximately within the model QED approach. The obtained theoretical predictions are compared with the results of previous relativistic calculations and high-precision measurements.


title: A Dual Approximate Dynamic Programming Approach to Multi-stage Stochastic Unit Commitment

abstract: We study the multi-stage stochastic unit commitment problem in which commitment and generation decisions can be made and adjusted in each time period. We formulate this problem as a Markov decision process, which is "weakly-coupled" in the sense that if the demand constraint is relaxed, the problem decomposes into a separate, low-dimensional, Markov decision process for each generator. We demonstrate how the dual approximate dynamic programming method of Barty, Carpentier, and Girardeau (RAIRO Operations Research, 44:167-183, 2010) can be adapted to obtain bounds and a policy for this problem. Previous approaches have let the Lagrange multipliers depend only on time; this can result in weak lower bounds. Other approaches have let the multipliers depend on the entire history of past random observations; although this provides a strong lower bound, its ability to handle a large number of sample paths or scenarios is limited. We demonstrate how to bridge these approaches for the stochastic unit commitment problem by letting the multipliers depend on the current observed demand. This allows a good tradeoff between strong lower bounds and good scalability with the number of scenarios. We illustrate this approach numerically on a 168-stage stochastic unit commitment problem, including minimum uptime, downtime, and ramping constraints.


title: Divisibility classes are seldom closed under flat covers

abstract: It is well-known that a class of all modules, which are torsion-free with respect to a set of ideals, is closed under injective envelopes. In this paper, we consider a kind of a dual to this statement - are the divisibility classes closed under flat covers? - and argue that this is seldom the case. More precisely, we show that the class of all divisible modules over an integral domain R is closed under flat covers if and only if R is almost perfect. Also, we show that if the class of all s-divisible modules, where s is a regular element of a commutative ring R, is closed under flat covers then the quotient ring R/sR satisfies some rather restrictive properties. The question is motivated by the recent classification [11] of tilting classes over commutative rings.


title: Anatomical Data Augmentation For CNN based Pixel-wise Classification

abstract: In this work we propose a method for anatomical data augmentation that is based on using slices of computed tomography (CT) examinations that are adjacent to labeled slices as another resource of labeled data for training the network. The extended labeled data is used to train a U-net network for a pixel-wise classification into different hepatic lesions and normal liver tissues. Our dataset contains CT examinations from 140 patients with 333 CT images annotated by an expert radiologist. We tested our approach and compared it to the conventional training process. Results indicate superiority of our method. Using the anatomical data augmentation we achieved an improvement of 3% in the success rate, 5% in the classification accuracy, and 4% in Dice.


title: Magic Polygons and Their Properties

abstract: Magic squares are arrangements of natural numbers into square arrays, where the sum of each row, each column, and both diagonals is the same. In this paper, the concept of a magic square with 3 rows and 3 columns is generalized to define magic polygons. Furthermore, this paper will examine the existence of magic polygons, along with several other properties inherent to magic polygons.


title: Seasonal Goods and Spoiled Milk: Pricing for a Limited Shelf-Life

abstract: We examine the case of items with a limited shelf-life where storing an item (before consumption) may carry a cost to a buyer (or distributor). For example, eggs, milk, or Groupon coupons have a fixed expiry date, and seasonal goods can suffer a decrease in value. We show how this setting contrasts with recent results by Berbeglia et al (arXiv:1509.07330(v5)) for items with infinite shelf-life. We prove tight bounds on the seller's profits showing how they relate to the items' shelf-life. We show, counterintuitively, that in our limited shelf-life setting, increasing storage costs can sometimes lead to less profit for the seller which cannot happen when items have unlimited shelf-life. We also provide an algorithm that calculates optimal prices. Finally, we examine empirically the relationship between profits and buyer utility as the storage cost and shelf-life duration change, and observe properties, some of which are unique to the limited shelf-life setting.


title: The $S$-matrix for surface boundary states: an application to photoemission for Weyl semimetals

abstract: We present a new theory of photoemission for Weyl semimetals. We derive this theory using a model with a boundary surface at $z=0$. Due to the boundary, the self adjoint condition needs to be verified in order to ensure physical solutions. The solutions are given by two chiral zero modes which propagate on the boundary. Due to the Coulomb interaction, the chiral boundary model is in the same universality class as interacting graphene. The interactions cause a temperature dependence of the velocity and and life time. \noindent Using the principle of minimal coupling, we identify the electron-photon Hamiltonian. The photoemission intensity is computed using the $S$-matrix formalism. The $S$-matrix is derived using the initial photon state, the final state of a photoelectron and a hole in the valence band. The photoemission reveals the final valence band dispersion $ \hbar v(\pm k_{y}-k_{0})+\hbar\Omega$ after absorbing a photon of frequency $ \Omega$ ($k_{0}$ represents the shift in the momentum due to the crystal potential). The momentum in the $z$ direction is not conserved, and is integrated out. As a result, the scattering matrix is a function of the parallel momentum . We observe two dimensional contours, representing the $^{"}$Fermi arcs $^{"}$, which for opposite spin polarization have opposite curvature. This theory is in agreement with previous experimental observations.


title: Deep Fingerprinting: Undermining Website Fingerprinting Defenses with Deep Learning

abstract: Website fingerprinting enables a local eavesdropper to determine which websites a user is visiting over an encrypted connection. State-of-the-art website fingerprinting attacks have been shown to be effective even against Tor. Recently, lightweight website fingerprinting defenses for Tor have been proposed that substantially degrade existing attacks: WTF-PAD and Walkie-Talkie. In this work, we present Deep Fingerprinting (DF), a new website fingerprinting attack against Tor that leverages a type of deep learning called Convolutional Neural Networks (CNN) with a sophisticated architecture design, and we evaluate this attack against WTF-PAD and Walkie-Talkie. The DF attack attains over 98% accuracy on Tor traffic without defenses, better than all prior attacks, and it is also the only attack that is effective against WTF-PAD with over 90% accuracy. Walkie-Talkie remains effective, holding the attack to just 49.7% accuracy. In the more realistic open-world setting, our attack remains effective, with 0.99 precision and 0.94 recall on undefended traffic. Against traffic defended with WTF-PAD in this setting, the attack still can get 0.96 precision and 0.68 recall. These findings highlight the need for effective defenses that protect against this new attack and that could be deployed in Tor.


title: The late inspiral of supermassive black hole binaries with circumbinary gas discs in the LISA band

abstract: We present the results of 2D, moving-mesh, viscous hydrodynamical simulations of an accretion disc around a merging supermassive black hole binary (SMBHB). The simulation is pseudo-Newtonian, with the BHs modeled as point masses with a Paczynski-Wiita potential, and includes viscous heating, shock heating, and radiative cooling. We follow the gravitational inspiral of an equal-mass binary with a component mass M_bh=10^6 M_sun from an initial separation of 60r_g (where r_g=GM_bh/c^2 is the gravitational radius) to the merger. We find that a central, low-density cavity forms around the binary, as in previous work, but that the BHs capture gas from the circumbinary disc and accrete efficiently via their own minidiscs, well after their inspiral outpaces the viscous evolution of the disc. The system remains luminous, displaying strong periodicity at twice the binary orbital frequency throughout the entire inspiral process, all the way to the merger. In the soft X-ray band, the thermal emission is dominated by the inner edge of the circumbinary disc with especially clear periodicity in the early inspiral. By comparison, harder X-ray emission is dominated by the minidiscs, and the light curve is initially more noisy but develops a clear periodicity in the late inspiral stage. This variability pattern should help identify the EM counterparts of SMBHBs detected by the space-based gravitational-wave detector LISA.


title: Laguerre-Freud equations for Generalized Hahn polynomials of type I

abstract: We derive a system of difference equations satisfied by the three-term recurrence coefficients of some families of discrete orthogonal polynomials.


title: Sample-Efficient Reinforcement Learning through Transfer and Architectural Priors

abstract: Recent work in deep reinforcement learning has allowed algorithms to learn complex tasks such as Atari 2600 games just from the reward provided by the game, but these algorithms presently require millions of training steps in order to learn, making them approximately five orders of magnitude slower than humans. One reason for this is that humans build robust shared representations that are applicable to collections of problems, making it much easier to assimilate new variants. This paper first introduces the idea of automatically-generated game sets to aid in transfer learning research, and then demonstrates the utility of shared representations by showing that models can substantially benefit from the incorporation of relevant architectural priors. This technique affords a remarkable 50x positive transfer on a toy problem-set.


title: Dynamical systems analysis of the cubic galileon beyond the exponential potential and the cosmological analogue of the vDVZ discontinuity

abstract: In this paper we generalize the dynamical systems analysis of the cubic galileon model previously investigated in \cite{rtgui} by including self-interaction potentials beyond the exponential one. It will be shown that, consistently with the results of \cite{rtgui}, the cubic self-interaction of the galileon vacuum appreciably modifies the late-time cosmic dynamics by the existence of a phantom-like attractor (among other super-accelerated solutions that are not of interest in the present investigation). In contrast, in the presence of background matter the late-time cosmic dynamics remains practically the same as in the standard quintessence scenario. This means that we can not recover the cubic galileon vacuum continuously from the more general cubic quintessence with background matter, by setting to zero the matter energy density (and the pressure). This happens to be a kind of cosmological vDVZ discontinuity that can be evaded by means of the cosmological version of the Vainshtein screening mechanism.


title: Perceptual Context in Cognitive Hierarchies

abstract: Cognition does not only depend on bottom-up sensor feature abstraction, but also relies on contextual information being passed top-down. Context is higher level information that helps to predict belief states at lower levels. The main contribution of this paper is to provide a formalisation of perceptual context and its integration into a new process model for cognitive hierarchies. Several simple instantiations of a cognitive hierarchy are used to illustrate the role of context. Notably, we demonstrate the use context in a novel approach to visually track the pose of rigid objects with just a 2D camera.


title: Reflected forward-backward stochastic differential equations driven by G-Brownian motion with continuous monotone coefficients

abstract: In this paper, we prove that there exists at least one solution for the reflected forward-backward stochastic differential equation driven by G-Brownian motion satisfying the obstacle constraint with monotone coefficients.


title: Complex Design Networks: Structure and Dynamics

abstract: Why was the $6 billion FAA air traffic control project scrapped? How could the 1977 New York City blackout occur? Why do large scale engineering systems or technology projects fail? How do engineering changes and errors propagate, and how is that related to epidemics and earthquakes? In this paper we demonstrate how the rapidly expanding science of complex design networks could provide answers to these intriguing questions. We review key concepts, focusing on non-trivial topological features that often occur in real-world large-scale product design and development networks; and the remarkable interplay between these structural features and the dynamics of design rework and errors, network robustness and resilience, and design leverage via effective resource allocation. We anticipate that the empirical and theoretical insights gained by modeling real-world large-scale product design and development systems as self-organizing complex networks will turn out to be the standard framework of a genuine science of design.


title: Higher-order geometrical optics for electromagnetic waves on a curved spacetime

abstract: We study the geometrical-optics expansion for circularly-polarized electromagnetic waves propagating on a curved spacetime in general relativity. We show that higher-order corrections to the Faraday and stress-energy tensors may be found via a system of transport equations, in principle. At sub-leading order, the stress-energy tensor possesses terms proportional to the wavelength whose sign depends on the handedness of the circular polarization. Due to such terms, the direction of energy flow is not aligned with the gradient of the eikonal phase, in general, and the wave may carry a transverse stress.


title: Cancellation for surfaces revisited. II

abstract: Let $X$ and $X'$ be affine algebraic varieties over a field $\mathbb{k}$. The celebrated Zariski Cancellation Problem asks as to when the existence of an isomorphism $X\times\mathbb{A}^n\cong X'\times\mathbb{A}^n$ implies $X\cong X'$. In Part I of this paper (arXiv:1610.01805) we provided a criterion for cancellation in the case where $X$ is a normal affine surface admitting an $\mathbb{A}^1$-fibration $X\to B$ over a smooth affine curve $B$. If $X$ does not admit such an $\mathbb{A}^1$-fibration then the cancellation by the affine line is known to hold for $X$ by a result of Bandman and Makar-Limanov. In the present Part II we classify all pairs $(X,X')$ of smooth affine surfaces $\mathbb{A}^1$-fibered over $B$ with only reduced fibers whose cylinders $X\times\mathbb{A}^1$, $X'\times\mathbb{A}^1$ are isomorphic over $B$. Our criterion of isomorphism of cylinders over $B$ is expressed in terms of linear equivalence of certain divisors on the Danielewski-Fieseler quotient of $X$ over $B$. Under a mild restriction we construct a coarse moduli of such surfaces.


title: Verma Modules over a ${\mathbb Z}_2 \otimes {\mathbb Z}_2$ Graded Superalgebra and Invariant Differential Equations

abstract: Lowest weight representations of the ${\mathbb Z}_2 \otimes {\mathbb Z}_2$ graded superalgebra introduced by Rittenberg and Wyler are investigated. We give a explicit construction of Verma modules over the ${\mathbb Z}_2 \otimes {\mathbb Z}_2$ graded superalgebra and show their reducibility by using singular vectors. The explicit formula of singular vectors are given and are used to derive partial differential equations invariant under the color supergroup generated by the ${\mathbb Z}_2 \otimes {\mathbb Z}_2$ graded superalgebra.


title: Bounds for Laplace eigenvalues of Kaehler metrics

abstract: We prove inequalities for Laplace eigenvalues of Kaehler manifolds generalising to higher eigenvalues the classical inequality for the first Laplace eigenvalue due to Bourguignon, Li, and Yau in 1994. We also obtain similar inequalities for analytic varieties in Kaehler manifolds.


title: Bosonic Surface States and Acoustic Spectroscopy of Confined Superfluid $^3$He-B

abstract: Using an effective field theory we study the low-lying bosonic excitations and their couplings to phonons at ultrasonic frequencies in superfluid $^3$He-B under strong confinement. We show that confinement induces a rich spectrum of low-lying bosons, including surface-bound bosonic states, as well as fine structure of long-lived massive bosons. Under sufficiently strong confinement we find a dynamical instability of the $^3$He-B film: the frequency of the surface-bound boson softens at finite wavevector, then develops a pole in the upper half of the complex frequency plane, signalling a dynamical instability of the translationally invariant superfluid vacuum towards pair-density-wave "crystallization". We discuss the signatures and observability of the low-lying bosonic spectrum based on analysis of the ultrasound attenuation from resonant excitation of the bosonic modes. We also note that surface-bound bosonic modes are not unique to $^3$He-B, but are expected to be common to unconventional superconductors with a multi-component order parameter.


title: Banach Spaces from Barriers in High Dimensional Ellentuck Spaces

abstract: A new hierarchy of Banach spaces $T_k(d,\theta)$, $k$ any positive integer, is constructed using barriers in high dimensional Ellentuck spaces \cite{DobrinenJSL15} following the classical framework under which a Tsirelson type norm is defined from a barrier in the Ellentuck space \cite{Argyros/TodorcevicBK}. The following structural properties of these spaces are proved. Each of these spaces contains arbitrarily large copies of $\ell_\infty^n$, with the bound constant for all $n$. For each fixed pair $d$ and $\theta$, the spaces $T_k(d,\theta)$, $k\ge 1$, are $\ell_p$-saturated, forming natural extensions of the $\ell_p$ space, where $p$ satisfies $d\theta=d^{1/p}$. Moreover, they form a strict hierarchy over the $\ell_p$ space: For any $j<k$, the space $T_j(d,\theta)$ embeds isometrically into $T_k(d,\theta)$ as a subspace which is non-isomorphic to $T_k(d,\theta)$.


abstract: Recovering the latent photorealistic faces from their artistic portraits aids human perception and facial analysis. However, a recovery process that can preserve identity is challenging because the fine details of real faces can be distorted or lost in stylized images. In this paper, we present a new Identity-preserving Face Recovery from Portraits (IFRP) to recover latent photorealistic faces from unaligned stylized portraits. Our IFRP method consists of two components: Style Removal Network (SRN) and Discriminative Network (DN). The SRN is designed to transfer feature maps of stylized images to the feature maps of the corresponding photorealistic faces. By embedding spatial transformer networks into the SRN, our method can compensate for misalignments of stylized faces automatically and output aligned realistic face images. The role of the DN is to enforce recovered faces to be similar to authentic faces. To ensure the identity preservation, we promote the recovered and ground-truth faces to share similar visual features via a distance measure which compares features of recovered and ground-truth faces extracted from a pre-trained VGG network. We evaluate our method on a large-scale synthesized dataset of real and stylized face pairs and attain state of the art results. In addition, our method can recover photorealistic faces from previously unseen stylized portraits, original paintings and human-drawn sketches.


title: $d+id$ chiral superconductivity in a triangular lattice from trigonal bipyramidal complexes

abstract: We model the newly predicted high-$T_c$ superconducting candidates constructed by corner-shared trigonal bipyramidal complexes with an effective three-orbital tight-banding Hamiltonian and investigate the pairing symmetry of their superconducting states driven by electron-electron interactions. Our combined weak and strong coupling based calculations consistently identify the chiral $d+id$ superconductivity as the leading pairing symmetry in a wide doping range with realistic interaction parameters. This pairing state has nontrivial topological Chern-number and can host gapless chiral edge modes, and the vortex cores under magnetic field can carry Majorana zero modes.


title: Winograd Schema - Knowledge Extraction Using Narrative Chains

abstract: The Winograd Schema Challenge (WSC) is a test of machine intelligence, designed to be an improvement on the Turing test. A Winograd Schema consists of a sentence and a corresponding question. To successfully answer these questions, one requires the use of commonsense knowledge and reasoning. This work focuses on extracting common sense knowledge which can be used to generate answers for the Winograd schema challenge. Common sense knowledge is extracted based on events (or actions) and their participants; called Event-Based Conditional Commonsense (ECC). I propose an approach using Narrative Event Chains [Chambers et al., 2008] to extract ECC knowledge. These are stored in templates, to be later used for answering the WSC questions. This approach works well with respect to a subset of WSC tasks.


title: Arithmetic surfaces and adelic quotient groups

abstract: We explicitly calculate an arithmetic adelic quotient group for a locally free sheaf on an arithmetic surface when the fiber over the infinite point of the base is taken into account. The calculations are presented via a short exact sequence. We relate the last term of this short exact sequence with the projective limit of groups which are finite direct products of copies of one-dimensional real torus and are connected with first cohomology groups of locally free sheaves on the arithmetic surface.


title: Computing the average root number of an elliptic surface

abstract: By considering a one-parameter family of elliptic curves defined over $\mathbb{Q}$, we might ask ourselves if there is any bias in the distribution (or parity) of the root numbers at each specialization. From the work of Helfgott, we know (at least conjecturally) that the average root number of an elliptic curve defined over $\mathbb{Q}(T)$ is zero as soon as there is a place of multiplicative reduction over $\mathbb{Q}(T)$ other than $-$deg. Recently, Helfgott's work was extended by Desjardins, where she relaxes some of Helfgott's hypotheses and is able to provide unconditional results on the variation of the root number for many elliptic surfaces. In this paper, we are concerned with elliptic curves defined over $\mathbb{Q}(T)$ with no place of multiplicative reduction over $\mathbb{Q}(T)$, except possibly at $-$deg. More precisely, we will use the work of Helfgott to compute the average root number of an explicit family of elliptic curves defined over $\mathbb{Q}$ and show that this family is "parity-biased" infinitely-often.


title: Analytical Solution of Transverse Oscillation in Cyclotron Using LP Method

abstract: We have carried out an approximate analytical solution to precisely consider the influence of magnetic field on the transverse oscillation of particles in cyclotron. The differential equations of transverse oscillation are solved from the Lindstedt-Poincare method. After careful deduction, the accurate first order analytic solutions are obtained. The analytical solutions are applied to the magnetic field, comes from an isochronous cyclotron with four spiral sectors, the accuracy of these analytical solutions is verified and confirmed from the comparison of numerical method. Finally, we discussed the transverse oscillation at v0=N/2 , using the same analytical solution.


title: Global existence and well-posedness for the Doi-Edwards polymer model

abstract: In this paper we mainly investigate the Cauchy problem of the Doi-Edwards polymer model with dimension $d\geq2$. The model was derived in the late 1970s to describe the dynamics of polymers in melts. The system contain a Navier-Stokes equation with an additional stress tensor which depend on the deformation gradient tensor and the memory function. The deformation gradient tensor satisfies a transport equation and the memory function satisfies a degenerate parabolic equation. We first proved the local well-posedness for the Doi-Edwards polymer model in Besov spaces by using the Littlewood-Paley theory. Moreover, if the initial velocity and the initial memory is small enough, we obtain a global existence result.


title: Orbital Synchronization Capture of Two Binaries Emitting Gravitational Waves

abstract: We study the possibility of orbital synchronization capture for a hierarchical quadrupole stellar system composed by two binaries emitting gravitational waves. Based on a simple model including the mass transfer for white dwarf binaries, we find that the capture might be realized for inter-binary distances less than their gravitational wavelength. We also discuss related intriguing phenomena such as a parasitic relation between the coupled white dwarf binaries and significant reductions of gravitational and electromagnetic radiations.


title: Explicit Constructions of MBR and MSR Codes for Clustered Distributed Storage

abstract: This paper considers capacity-achieving coding for the clustered form of distributed storage that reflects practical storage networks. To reflect the clustered structure with limited cross-cluster communication bandwidths, nodes in the same cluster are set to communicate $\beta_I$ symbols, while nodes in other clusters can communicate $\beta_c \leq \beta_I$ symbols with one another. We provide two types of exact regenerating codes which achieve the capacity of clustered distributed storage: the minimum-bandwidth-regenerating (MBR) codes and the minimum-storage-regenerating (MSR) codes. First, we construct MBR codes for general parameter settings of clustered distributed storage. The suggested MBR code is a generalization of an existing code proposed by Rashmi et al., for scenarios where storage nodes are dispersed into L > 1 clusters. The proposed MBR code for the $\beta_c = 0$ case requires a much smaller field size compared to existing local MBR codes. Secondly, we devise MSR codes for clustered distributed storage. Focus is given on two important cases:$\epsilon=0$ and $\epsilon \in [1/(n-k), 1]$, where $\epsilon=\beta_c/\beta_I$ is the ratio of the available cross- to intra-cluster repair bandwidths, n is the total number of distributed nodes and k is the number of contact nodes in data retrieval. The former represents the scenario where cross-cluster communication is not allowed, while the latter corresponds to the case of minimum node storage overhead. For $\epsilon=0$, two existing locally repairable codes are proven to be MSR codes for the clustered model. For $\epsilon \in [1/(n-k), 1]$, existing MSR codes for the non-clustered model are applicable to clustered scenarios with a simple modification.


title: Determination of Trace Moisture Content in Dimethylacetamide by Gas Chromatography

abstract: Dimethylacetamide is used as a solvent in polymer processing and moisture in DMA affects the morphology and mechanical properties of the polymer products. This paper describes a method for determination of trace moisture content in DMA by acetylene production - gas chromatography. In the condition of 30 centigrade and ultrasonic dispersion, moisture in DMA sample was reacted with calcium carbide and its product of acetylene was measured by gas chromatography. By this way, trace moisture in DMA was determined with RSD of 2.272 percent and limit of measurement was 0.002 percent.


title: Analysis of gamma-amino butyric acid in the germinated brown rice by pre-column derivatization with 2, 4-dinitrofluorobenzene

abstract: This paper reports the analytical method for gamma-amino butyric acid in the germinated brown rice by liquid chromatography. GABA was derivatized by pre-column derivatization with 2, 4-dinitrofluorobenzene. To separate GABA in the germinated brown rice extracts containing various amino acids, we reviewed the influence of the kind of separation columns and the gradient of mobile phase of ultra performance liquid chromatography. GABA was extracted with distilled water from the germinated brown rice with the optimum extraction time of 12 h. To validate this method the precision and the recovery were discussed. In the concentration range from 5 to 50 microgram per mililiter, the calibration curve for GABA was linear and the regression equation was obtained with correlation coefficient of 0.999. GABA was analyzed by amino acid analyzer in comparison with this method and the results of F-test and t-test indicated that there were no significant differences in accuracy and precision between two methods.


title: Successive X-class flares and coronal mass ejections driven by shearing motion and sunspot rotation in active region NOAA 12673

abstract: We present a clear case study on the occurrence of two successive X-class flares including a decade-class flare (X9.3) and two coronal mass ejections (CMEs) triggered by shearing motion and sunspot rotation in active region NOAA 12673 on 2017 September 6. A shearing motion between the main sunspots with opposite polarities started on September 5 and even lasted after the second X-class flare on September 6. Moreover, the main sunspot with negative polarity rotated around its umbral center and another main sunspot with positive polarity also exhibited a slow rotation. The sunspot with negative polarity at the northwest of active region also began to rotate counter-clockwise before the onset of the first X-class flare. The successive formation and eruption of two S-shaped structures were closely related to the counter-clockwise rotation of three sunspots. It is also found that the rotation of sunspots is faster during four hours prior to the onset of the flares than the period before. The existence of a flux rope is found prior to the onset of two flares by using non-linear force free field extrapolation based on the vector magnetograms observed by SDO/HMI. These results suggest that shearing motion and sunspot rotation play an important role in the buildup of the free energy and the formation of flux ropes in the corona which produces solar flares and CMEs.


title: A review of thermal transport and electronic properties of borophene

abstract: In recent years, two-dimensional boron sheets (borophene) have been experimentally synthesized and theoretically observed as promising conductor or transistor with novel thermal and electronic properties. We first give a general survey of some notable electronic properties of borophene, including the superconductivity and topological characters. We then mainly review the basic approaches, thermal transport, as well as the mechanical properties of borophene with different configurations. This review gives a general understanding of some of the crucial thermal transport and electronic properties of borophene, and also calls for further experimental investigations and applications on certain scientific community.


title: Voronoi Diagrams for a Moderate-Sized Point-Set in a Simple Polygon

abstract: Given a set of sites in a simple polygon, a geodesic Voronoi diagram of the sites partitions the polygon into regions based on distances to sites under the geodesic metric. We present algorithms for computing the geodesic nearest-point, higher-order and farthest-point Voronoi diagrams of m point sites in a simple n-gon, which improve the best known ones for m <= n/ polylog n. Moreover, the algorithms for the geodesic nearest-point and farthest-point Voronoi diagrams are optimal for m <= n/ polylog n. This partially answers a question posed by Mitchell in the Handbook of Computational Geometry.


title: Imbalanced learning for RR Lyrae stars

abstract: We apply machine learning and Convex-Hull algorithms to separate RR Lyrae stars from other stars, like main sequence stars, white dwarf stars, carbon stars, CVs and carbon-lines stars, based on the Sloan Digital Sky Survey (SDSS) and Galaxy Evolution Explorer (GALEX). In the low-dimensional space, the Convex-Hull algorithm is applied to select RR Lyrae stars. Given different input patterns of (u-g, g-r), (g-r, r-i), (r-i, i-z), (u-g, g-r, r-i), (g-r, r-i, i-z), (u-g, g-r, i-z) and (u-g, r-i, i-z), different convex hulls can be built for RR Lyrae stars. Comparing the performance of different input patterns, u-g, g-r, i-z is the best input pattern. For this input pattern, the efficiency (the fraction of true RR Lyrae stars in the predicted RR Lyrae sample) is 4.2% with a completeness (the fraction of recovered RR Lyrae stars in the whole RR Lyrae sample) of 100%, increases to 9.9% with 97% completeness and to 16.1% with 53% completeness by removing some outliers. In the high-dimensional space, machine learning algorithms are used with input patterns (u-g, g-r, r-i, i-z), (u-g, g-r, r-i, i-z, r), (NUV-u, u-g, g-r, r-i, i-z) and (NUV-u, u-g, g-r, r-i, i-z, r). RR Lyrae stars, which belong to the class of interest in our paper, are rare compared to other stars. For the highly imbalanced data, cost-sensitive Support Vector Machine (SVM), cost-sensitive Random Forest and Fast Boxes are used. The results show that information from GALEX is helpful for identifying RR Lyrae stars and Fast Boxes are the best performers on the skewed data in our case.


title: Learning Tree-based Deep Model for Recommender Systems

abstract: Model-based methods for recommender systems have been studied extensively in recent years. In systems with large corpus, however, the calculation cost for the learnt model to predict all user-item preferences is tremendous, which makes full corpus retrieval extremely difficult. To overcome the calculation barriers, models such as matrix factorization resort to inner product form (i.e., model user-item preference as the inner product of user, item latent factors) and indexes to facilitate efficient approximate k-nearest neighbor searches. However, it still remains challenging to incorporate more expressive interaction forms between user and item features, e.g., interactions through deep neural networks, because of the calculation cost. In this paper, we focus on the problem of introducing arbitrary advanced models to recommender systems with large corpus. We propose a novel tree-based method which can provide logarithmic complexity w.r.t. corpus size even with more expressive models such as deep neural networks. Our main idea is to predict user interests from coarse to fine by traversing tree nodes in a top-down fashion and making decisions for each user-node pair. We also show that the tree structure can be jointly learnt towards better compatibility with users' interest distribution and hence facilitate both training and prediction. Experimental evaluations with two large-scale real-world datasets show that the proposed method significantly outperforms traditional methods. Online A/B test results in Taobao display advertising platform also demonstrate the effectiveness of the proposed method in production environments.


title: Interatomic interaction effects on second-order momentum correlations and Hong-Ou-Mandel interference of double-well-trapped ultracold fermionic atoms

abstract: Identification and understanding of the evolution of interference patterns in two-particle momentum correlations as a function of the strength of interatomic interactions are important in explorations of the nature of quantum states of trapped particles. Together with the analysis of two-particle spatial correlations, they offer the prospect of uncovering fundamental symmetries and structure of correlated many-body states, as well as opening vistas into potential control and utilization of correlated quantum states as quantum information resources. With the use of the second-order density matrix constructed via exact diagonalization of the microscopic Hamiltonian, and an analytic Hubbard-type model, we explore here the systematic evolution of characteristic interference patterns in the two-body momentum and spatial correlation maps of two entangled ultracold fermionic atoms in a double well, for the entire attractive- and repulsive-interaction range. We uncover statistics-governed bunching and antibunching, as well as interaction-dependent interference patterns, in the ground and excited states, and interpret our results in light of the Hong-Ou-Mandel interference physics, widely exploited in photon indistinguishability testing and quantum information science.


title: All-optical photon transmission switching in a passive-active optomechanical system

abstract: We propose a feasible scheme to realize all-optical photon transmission switching in a passiveactive optomechanical system, consisting of one ordinary passive cavity, one active cavity and one common movable membrane oscillator of perfect reflection, driven by two strong control fields and two weak probe fields symmetrically. By means of the gain effect of the active cavity, many novel and valuable phenomena arise, such as frequency-independent perfect reflection (FIPR) first proposed in this paper, adjustable photon bidirectional transmission, phase-dependent non-reciprocity and so on. The relevant parameters used for controlling the all-optical switching are precisely tunable by adjusting the strengths of control fields and the relative phase of probe fields. Furthermore, tunable fast and slow light can be realized in our system by accurately adjusting relevant parameters which is readily and feasible in experiments. These novel phenomena originate from the effective optomechanical coupling and the gain effect provide a promising platform for photonic devices, quantum network node fabrication and quantum information process (QIP).


title: Convergence rates in homogenization of higher order parabolic systems

abstract: This paper is concerned with the optimal convergence rate in homogenization of higher order parabolic systems with bounded measurable, rapidly oscillating periodic coefficients. The sharp $O(\va)$ convergence rate in the space $L^2(0,T; H^{m-1}(\Om))$ is obtained for both the initial-Dirichlet problem and the initial-Neumann problem. The duality argument inspired by \cite{suslinaD2013} is used here.


title: Depth Sequence Coding with Hierarchical Partitioning and Spatial-domain Quantisation

abstract: Depth coding in 3D-HEVC for the multiview video plus depth (MVD) architecture (i) deforms object shapes due to block-level edge-approximation; (ii) misses an opportunity for high compressibility at near-lossless quality by failing to exploit strong homogeneity (clustering tendency) in depth syntax, motion vector components, and residuals at frame-level; and (iii) restricts interactivity and limits responsiveness of independent use of depth information for "non-viewing" applications due to texture-depth coding dependency. This paper presents a standalone depth sequence coder, which operates in the lossless to near-lossless quality range while compressing depth data superior to lossy 3D-HEVC. It preserves edges implicitly by limiting quantisation to the spatial-domain and exploits clustering tendency efficiently at frame-level with a novel binary tree based decomposition (BTBD) technique. For mono-view coding of standard MVD test sequences, on average, (i) lossless BTBD achieved $\times 42.2$ compression-ratio and $-60.0\%$ coding gain against the pseudo-lossless 3D-HEVC, using the lowest quantisation parameter $QP = 1$, and (ii) near-lossless BTBD achieved $-79.4\%$ and $6.98$ dB Bj{\o}ntegaard delta bitrate (BD-BR) and distortion (BD-PSNR), respectively, against 3D-HEVC. In view-synthesis applications, decoded depth maps from BTBD rendered superior quality synthetic-views, compared to 3D-HEVC, with $-18.9\%$ depth BD-BR and $0.43$ dB synthetic-texture BD-PSNR on average.


title: Multiscale method based on coupled lattice-Boltzmann and Langevin-dynamics for direct simulation of nanoscale particle/polymer suspensions in complex flows

abstract: A hybrid computational method coupling the lattice-Boltzmann (LB) method and a Langevin-dynamics (LD) method is developed to simulate nanoscale particle and polymer (NPP) suspensions in the presence of both thermal fluctuation and long-range many-body hydrodynamic interactions (HI). Brownian motion of the NPP is explicitly captured by a stochastic forcing term in the LD method. The LD method is two-way coupled to the non-fluctuating LB fluid through a discrete LB forcing source distribution to capture the long-range HI. To ensure intrinsically linear scalability with respect to the number of particles, an Eulerian-host algorithm for short-distance particle neighbor search and interaction is developed and embedded to LB-LD framework. The validity and accuracy of the LB-LD approach are demonstrated through several sample problems. The simulation results show good agreements with theory and experiment. The LB-LD approach can be favorably incorporated into complex multiscale computational frameworks for efficiently simulating multiscale, multicomponent particulate suspension systems such as complex blood suspensions.

categories: physics.flu-dyn cond-mat.soft physics.bio-ph physics.comp-ph


title: A Novel Framework for DDoS Detectionin Huge Scale Networks, Thanksto QoS Features

abstract: It is not been a long time since the advent of cloud-based technology. However, in this short period of timeseveral advantages and disadvantages have been emerged. This is a problem solving technology with some threats as well. These threats and potential damages are not only limited to the cloud-based technologies, but they have always been against computer network infrastructures. One of these examples is Distributed Denial-of-Service (DDoS) intrusion which is of course one of the most complex and the most dangerous types of attacks. The impact of this type of attack, due to its powerful nature, is much higher on cloud systems since in case of occurrence, the service providers lose their services completely as well as their reputationand loyal customers. This, apparently,can even lead to the collapse of the stock and other destructive consequences. On the other hand, due to the properties of cloud service providers including large-scale infrastructures, DDoS intrusion detection algorithms need high sensitivity, innovation, and general improvements. Traditional structures of DDoS attack detection algorithms are designed for small-scale networks or at most for application camps. Lack of efficient algorithm is seemingly apparentfor the large-scale networks. Therefore, in this context we utilize standardmethods as well as a proposed hybrid protocol which is more appropriate in connection with cloud structures in order to detect DDoS attacks


title: An estimate on energy of min-max Seiberg-Witten Floer generators

abstract: Previously, Cristofaro-Gardiner, Hutchings and Ramos have proved that embedded contact homology (ECH) capacities can recover the volume of a contact 3-manifod in their paper "the asymptotics of ECH capacities" . There were two main steps to proving this theorem: The first step used an estimate for the energy of min-max Seiberg-Witten Floer generators. The second step used embedded balls in a certain symplectic four manifold. In this paper, stronger estimates on the energy of min-max Seiberg-Witten Floer generators are derived. This stronger estimate implies directly the "ECH capacities recover volume" theorem (without the help of embedded balls in a certain symplectic four manifold), and moreover, gives an estimate on its speed.


title: A Real-Time Game Theoretic Planner for Autonomous Two-Player Drone Racing

abstract: To be successful in multi-player drone racing, a player must not only follow the race track in an optimal way, but also compete with other drones through strategic blocking, faking, and opportunistic passing while avoiding collisions. Since unveiling one's own strategy to the adversaries is not desirable, this requires each player to independently predict the other players' future actions. Nash equilibria are a powerful tool to model this and similar multi-agent coordination problems in which the absence of communication impedes full coordination between the agents. In this paper, we propose a novel receding horizon planning algorithm that, exploiting sensitivity analysis within an iterated best response computational scheme, can approximate Nash equilibria in real time. We also describe a vision-based pipeline that allows each player to estimate its opponent's relative position. We demonstrate that our solution effectively competes against alternative strategies in a large number of drone racing simulations. Hardware experiments with onboard vision sensing prove the practicality of our strategy.


title: Joint Estimation of Low-Rank Components and Connectivity Graph in High-Dimensional Graph Signals: Application to Brain Imaging

abstract: This paper presents a graph signal processing algorithm to uncover the intrinsic low-rank components and the underlying graph of a high-dimensional, graph-smooth and grossly-corrupted dataset. In our problem formulation, we assume that the perturbation on the low-rank components is sparse and the signal is smooth on the graph. We propose an algorithm to estimate the low-rank components with the help of the graph and refine the graph with better estimated low-rank components. We propose to perform the low-rank estimation and graph refinement jointly so that low-rank estimation can benefit from the refined graph, and graph refinement can leverage the improved low-rank estimation. We propose to address the problem with an alternating optimization. Moreover, we perform a mathematical analysis to understand and quantify the impact of the inexact graph on the low-rank estimation, justifying our scheme with graph refinement as an integrated step in estimating low-rank components. We perform extensive experiments on the proposed algorithm and compare with state-of-the-art low-rank estimation and graph learning techniques. Our experiments use synthetic data and real brain imaging (MEG) data that is recorded when subjects are presented with different categories of visual stimuli. We observe that our proposed algorithm is competitive in estimating the low-rank components, adequately capturing the intrinsic task-related information in the reduced dimensional representation, and leading to better performance in a classification task. Furthermore, we notice that our estimated graph indicates compatible brain active regions for visual activity as neuroscientific findings.


title: Hyperplane Neural Codes and the Polar Complex

abstract: Hyperplane codes are a class of convex codes that arise as the output of a one layer feed-forward neural network. Here we establish several natural properties of stable hyperplane codes in terms of the {\it polar complex} of the code, a simplicial complex associated to any combinatorial code. We prove that the polar complex of a stable hyperplane code is shellable and show that most currently known properties of the hyperplane codes follow from the shellability of the appropriate polar complex.


title: On the interpretation of the Fermi GBM transient observed in coincidence with LIGO Gravitational Wave Event GW150914

abstract: The weak transient detected by the Fermi Gamma-ray Burst Monitor (GBM) 0.4 s after GW150914 has generated much speculation regarding its possible association with the black-hole binary merger. Investigation of the GBM data by Connaughton et al. (2016) revealed a source location consistent with GW150914 and a spectrum consistent with a weak, short Gamma-Ray Burst. Greiner et al. (2016) present an alternative technique for fitting background-limited data in the low-count regime, and call into question the spectral analysis and the significance of the detection of GW150914-GBM presented in Connaughton et al. (2016). The spectral analysis of Connaughton et al. (2016) is not subject to the limitations of the low-count regime noted by Greiner et al. (2016). We find Greiner et al. (2016) used an inconsistent source position and did not follow the steps taken in Connaughton et al. (2016) to mitigate the statistical shortcomings of their software when analyzing this weak event. We use the approach of Greiner et al. (2016) to verify that our original spectral analysis is not biased. The detection significance of GW150914-GBM is established empirically, with a False Alarm Rate (FAR) of $\sim 10^{-4}$~Hz. A post-trials False Alarm Probability (FAP) of $2.2 \times 10^{-3}$ ($2.9 \sigma$) of this transient being associated with GW150914 is based on the proximity in time to the GW event of a transient with that FAR. The FAR and the FAP are unaffected by the spectral analysis that is the focus of Greiner et al. (2016).


title: Linear-Quadratic Mean Field Control: The Hamiltonian Matrix and Invariant Subspace Method

abstract: This paper studies the existence and uniqueness of a solution to linear quadratic (LQ) mean field social optimization problems with uniform agents. We exploit a Hamiltonian matrix structure of the associated ordinary differential equation (ODE) system and apply a subspace decomposition method to find the solution. This approach is effective for both the existence analysis and numerical computations. We further extend the decomposition method to LQ mean field games.


title: Geometric Quantization

abstract: Geometric quantization is an attempt at using the differential-geometric ingredients of classical phase spaces regarded as symplectic manifolds in order to define a corresponding quantum theory. Generally, the process of geometric quantization is applicable to other symplectic manifolds, not only cotangent spaces. The resulting formalism provides a way of looking at quantum theory that is distinct from conventional approaches to the subject, e.g., the Dirac bra-ket formalism. In particular, such familiar features as the quantization of spin, the canonical quantization of position and momentum, and the Schr\"{o}dinger equation all emerge from geometric quantization. This paper serves as a review of the subject written in an informal style, often taking an example-based approach to exposition, and attempts to present the material without assuming the reader is an expert in differential geometry.


title: Joint Transmitter and Receiver Design for Pattern Division Multiple Access

abstract: In this paper, a joint transmitter and receiver design for pattern division multiple access (PDMA) is proposed. At the transmitter, pattern mapping utilizes power allocation to improve the overall sum rate, and beam allocation to enhance the access connectivity. At the receiver, hybrid detection utilizes a spatial filter to suppress the inter-beam interference caused by beam domain multiplexing, and successive interference cancellation to remove the intra-beam interference caused by power domain multiplexing. Furthermore, we propose a PDMA joint design approach to optimize pattern mapping based on both the power domain and beam domain. The optimization of power allocation is achieved by maximizing the overall sum rate, and the corresponding optimization problem is shown to be convex theoretically. The optimization of beam allocation is achieved by minimizing the maximum of the inner product of any two beam allocation vectors, and an effective dimension reduction method is proposed through the analysis of pattern structure and proper mathematical manipulations. Simulation results show that the proposed PDMA approach outperforms the orthogonal multiple access and power-domain non-orthogonal multiple access approaches even without any optimization of pattern mapping, and that the optimization of beam allocation yields a significant performance improvement than the optimization of power allocation.


title: Log-concave sampling: Metropolis-Hastings algorithms are fast

abstract: We consider the problem of sampling from a strongly log-concave density in $\mathbb{R}^d$, and prove a non-asymptotic upper bound on the mixing time of the Metropolis-adjusted Langevin algorithm (MALA). The method draws samples by simulating a Markov chain obtained from the discretization of an appropriate Langevin diffusion, combined with an accept-reject step. Relative to known guarantees for the unadjusted Langevin algorithm (ULA), our bounds show that the use of an accept-reject step in MALA leads to an exponentially improved dependence on the error-tolerance. Concretely, in order to obtain samples with TV error at most $\delta$ for a density with condition number $\kappa$, we show that MALA requires $\mathcal{O} \big(\kappa d \log(1/\delta) \big)$ steps, as compared to the $\mathcal{O} \big(\kappa^2 d/\delta^2 \big)$ steps established in past work on ULA. We also demonstrate the gains of MALA over ULA for weakly log-concave densities. Furthermore, we derive mixing time bounds for the Metropolized random walk (MRW) and obtain $\mathcal{O}(\kappa)$ mixing time slower than MALA. We provide numerical examples that support our theoretical findings, and demonstrate the benefits of Metropolis-Hastings adjustment for Langevin-type sampling algorithms.


title: Efficient Encoding/Decoding of Irreducible Words for Codes Correcting Tandem Duplications

abstract: Tandem duplication is the process of inserting a copy of a segment of DNA adjacent to the original position. Motivated by applications that store data in living organisms, Jain et al. (2017) proposed the study of codes that correct tandem duplications. Known code constructions are based on {\em irreducible words}. We study efficient encoding/decoding methods for irreducible words. First, we describe an $(\ell,m)$-finite state encoder and show that when $m=\Theta(1/\epsilon)$ and $\ell=\Theta(1/\epsilon)$, the encoder achieves rate that is $\epsilon$ away from the optimal. Next, we provide ranking/unranking algorithms for irreducible words and modify the algorithms to reduce the space requirements for the finite state encoder.


title: Goldstino superfields in supergravity

abstract: We review two off-shell models for spontaneously broken ${\cal N}=1$ and ${\cal N}=2$ supergravity proposed in arXiv:1702.02423 and arXiv:1707.07390. The ${\cal N}=1$ model makes use of a real scalar superfield subject to three nilpotency conditions. The ${\cal N}=2$ theory is formulated in terms of a reduced chiral superfield obeying a cubic nilpotency condition. New results on nilpotent ${\cal N}=1$ supergravity are also included.


title: Newton diagram of positivity for ${}_1F_2$ generalized hypergeometric functions

abstract: As for the positivity of ${}_1F_2$ generalized hypergeometric functions, we present a list of necessary and sufficient conditions in terms of parameters and determine the region of positivity by certain Newton diagram.


title: Probability distributions of multi-species q-TAZRP and ASEP as double cosets of parabolic subgroups

abstract: We write explicit contour integral formulas for probability distributions of the multi-species q-TAZRP and the multi-species ASEP starting with q-exchangeable initial conditions. The formulas are equal to the corresponding explicit contour integral formulas for the single-species q-TAZRP ([Korhonen-Lee 2014, Wang-Waugh 2016]) and ASEP [Tracy-Widom 2007], with a factor in front of the integral. For the multi-species q-TAZRP, we use a decomposition theorem for elements of double cosets of parabolic subgroups in a Coxeter group. The set of distinguished double coset representatives with minimal length is viewed as a particle configuration. For the multi-species ASEP we use a more direct proof.


title: A Mixed Finite Element Method for Multi-Cavity Computation in Incompressible Nonlinear Elasticity

abstract: A mixed finite element method combining an iso-parametric $Q_2$-$P_1$ element and an iso-parametric $P_2^+$-$P_1$ element is developed for the computation of multiple cavities in incompressible nonlinear elasticity. The method is analytically proved to be locking-free and convergent, and it is also shown to be numerically accurate and efficient by numerical experiments. Furthermore, the newly developed accurate method enables us to find an interesting new bifurcation phenomenon in multi-cavity growth.


title: Generalized Reed-Solomon Codes with Sparsest and Balanced Generator Matrices

abstract: We prove that for any positive integers $n$ and $k$ such that $n\!\geq\! k\!\geq\! 1$, there exists an $[n,k]$ generalized Reed-Solomon (GRS) code that has a sparsest and balanced generator matrix (SBGM) over any finite field of size $q\!\geq\! n\!+\!\lceil\frac{k(k-1)}{n}\rceil$, where sparsest means that each row of the generator matrix has the least possible number of nonzeros, while balanced means that the number of nonzeros in any two columns differ by at most one. Previous work by Dau et al (ISIT'13) showed that there always exists an MDS code that has an SBGM over any finite field of size $q\geq {n-1\choose k-1}$, and Halbawi et al (ISIT'16, ITW'16) showed that there exists a cyclic Reed-Solomon code (i.e., $n=q-1$) with an SBGM for any prime power $q$. Hence, this work extends both of the previous results.


title: Effect of simulating parity-odd observables in high energy heavy ion collisions on Balance Functions of charged particles and elliptic flow of pions

abstract: At the early stage of heavy ion collisions, non-trivial topologies of the gauge fields can be created resulting in an imbalance of axial charge density and eventually separation of electric charges along the direction of the magnetic field produced in such collisions. This process is called the chiral magnetic effect (CME). In this work we implement such a charge separation at the partonic level in AMPT for Au+Au collisions at $\sqrt{s_{NN}}$ = 200 GeV to study its consequence on experimental observables. We present the effects on the pion elliptic flow ($v_2$) and the charged particle balance function (BF) for varying strengths of initial charge separation. We find that the shape of the balance function is sensitive to the increasing charge separation. $v_2$ of pion shows a strong decreasing trend at higher transverse momenta ($p_T$) with increasing charge separation. Charge balance functions show a peak at $\Delta\phi \sim 180 $ with charge separation implemented in the partonic level as expected for the parity violation. We have also calculated parity observable $\gamma$ in the form of BF's moments. $\gamma$ shows a decreasing trend with charge separation. It has a negative value for charge separation produced by flipping more than 30 $\%$ of quarks in the parton level. We also notice that $<\gamma>$ for the same charge correlation and the opposite charge correlation shows negative and positive values, respectively.


title: Do satellite galaxies trace matter in galaxy clusters?

abstract: The spatial distribution of satellite galaxies encodes rich information of the structure and assembly history of galaxy clusters. In this paper, we select a redMaPPer cluster sample in SDSS Stripe 82 region with $0.1 \le z \le 0.33$, $20<\lambda<100$ and $P_{\rm cen}>0.7$. Using the high-quality weak lensing data from CS82 Survey, we constrain the mass profile of this sample. Then we compare directly the mass density profile with the satellite number density profile. We find that the total mass and number density profiles have the same shape, both well fitted by an NFW profile. The scale radii agree with each other within 1$\sigma$ error ($r_{\rm s,gal}=0.34_{-0.03}^{+0.04}$Mpc vs $r_{\rm s}=0.37_{-0.10}^{+0.15}$Mpc ).


title: HeNet: A Deep Learning Approach on Intel$^\circledR$ Processor Trace for Effective Exploit Detection

abstract: This paper presents HeNet, a hierarchical ensemble neural network, applied to classify hardware-generated control flow traces for malware detection. Deep learning-based malware detection has so far focused on analyzing executable files and runtime API calls. Static code analysis approaches face challenges due to obfuscated code and adversarial perturbations. Behavioral data collected during execution is more difficult to obfuscate but recent research has shown successful attacks against API call based malware classifiers. We investigate control flow based characterization of a program execution to build robust deep learning malware classifiers. HeNet consists of a low-level behavior model and a top-level ensemble model. The low-level model is a per-application behavior model, trained via transfer learning on a time-series of images generated from control flow trace of an execution. We use Intel$^\circledR$ Processor Trace enabled processor for low overhead execution tracing and design a lightweight image conversion and segmentation of the control flow trace. The top-level ensemble model aggregates the behavior classification of all the trace segments and detects an attack. The use of hardware trace adds portability to our system and the use of deep learning eliminates the manual effort of feature engineering. We evaluate HeNet against real-world exploitations of PDF readers. HeNet achieves 100\% accuracy and 0\% false positive on test set, and higher classification accuracy compared to classical machine learning algorithms.


title: Characteristics of solitary waves in a relativistic degenerate ion beam driven magneto plasma

abstract: The nonlinear propagation of small amplitude ion acoustic solitary wave in relativistic degenerate magneto plasma in presence of ion beam is investigated in detail. The nonlinear equations describing the evolution of solitary wave in presence of relativistic non-degenerate magnetized positive ions and ion beams including magnetized degenerate relativistic electrons are derived in terms of Zakharov-Kuznetsov (Z-K) equation for such plasma systems. The ion beams which are ubiquitous ingredient in such plasma systems, are found to have a decisive role in the propagation of solitary wave in such highly dense plasma system. The conditions of wave, propagating with typical solitonic characteristics are examined and discussed in detail under suitable conditions of different physical parameter. Both subsonic and supersonic wave can propagate in such plasmas bearing different characteristics under different physical situations. A detailed analysis of waves propagating in subsonic and/or supersonic regime is carried out. The ion beam concentrations, magnetic field as well as ion beam streaming velocity is found to play a momentous role on the control of the amplitude and width of small amplitude perturbation both in weakly(or non-relativistic) and relativistic plasmas.


title: Self-consistent construction of virialized wave dark matter halos

abstract: Wave dark matter ($\psi$DM), which satisfies the Schr\"odinger-Poisson equation, has recently attracted substantial attention as a possible dark matter candidate. Numerical simulations have in the past provided a powerful tool to explore this new territory of possibility. Despite their successes to reveal several key features of $\psi$DM, further progress in simulations is limited, in that cosmological simulations so far can only address formation of halos below $\sim 2\times 10^{11} M_\odot$ and substantially more massive halos have become computationally very challenging to obtain. For this reason, the present work adopts a different approach in assessing massive halos by constructing wave-halo solutions directly from the wave distribution function. This approach bears certain similarity with the analytical construction of particle-halo (cold dark matter model). Instead of many collisionless particles, one deals with one single wave that has many non-interacting eigenstates. The key ingredient in the wave-halo construction is the distribution function of the wave power, and we use several halos produced by structure formation simulations as templates to determine the wave distribution function. Among different models, we find the fermionic King model presents the best fits and we use it for our wave-halo construction. We have devised an iteration method for constructing the nonlinear halo, and demonstrate its stability by three-dimensional simulations. A Milky-Way-sized halo has also been constructed, and the inner halo is found flatter than the NFW profile. These wave-halos have small-scale interferences both in space and time producing time-dependent granules. While the spatial scale of granules varies little, the correlation time is found to increase with radius by one order of magnitude across the halo.


title: Log-Scale Shrinkage Priors and Adaptive Bayesian Global-Local Shrinkage Estimation

abstract: Global-local shrinkage hierarchies are an important innovation in Bayesian estimation. We propose the use of log-scale distributions as a novel basis for generating familes of prior distributions for local shrinkage hyperparameters. By varying the scale parameter one may vary the degree to which the prior distribution promotes sparsity in the coefficient estimates. By examining the class of distributions over the logarithm of the local shrinkage parameter that have log-linear, or sub-log-linear tails, we show that many standard prior distributions for local shrinkage parameters can be unified in terms of the tail behaviour and concentration properties of their corresponding marginal distributions over the coefficients $\beta_j$. We derive upper bounds on the rate of concentration around $|\beta_j|=0$, and the tail decay as $|\beta_j| \to \infty$, achievable by this wide class of prior distributions. We then propose a new type of ultra-heavy tailed prior, called the log-$t$ prior with the property that, irrespective of the choice of associated scale parameter, the marginal distribution always diverges at $\beta_j = 0$, and always possesses super-Cauchy tails. We develop results demonstrating when prior distributions with (sub)-log-linear tails attain Kullback--Leibler super-efficiency and prove that the log-$t$ prior distribution is always super-efficient. We show that the log-$t$ prior is less sensitive to misspecification of the global shrinkage parameter than the horseshoe or lasso priors. By incorporating the scale parameter of the log-scale prior distributions into the Bayesian hierarchy we derive novel adaptive shrinkage procedures. Simulations show that the adaptive log-$t$ procedure appears to always perform well, irrespective of the level of sparsity or signal-to-noise ratio of the underlying model.


title: Theory of Superconductivity in Strongly Correlated Electron Systems

abstract: In the correlated electron system with the pseudogap, there are full-gapped domains and Fermi-arced domains coexisting. Those domains are created by the quantum-fluctuated antiferromagnetic fluctuations that generate the short-ranged attractive potential to produce the Fermi arcs and the superconductivity. In the full-gapped domains, s-wave or (d_{x^2-y^2}\pm id_{xy})-wave symmetry of the electron pairs is favored. In the Fermi-arced domains, only d_{x^2-y^2}-wave symmetry of pairs is stable. Superconductivity of different pairing symmetry coexists in different domains, as well. Different from the Cooper pairs, the correlated electrons pair up in the \emph{real} space with an energy gap. Gapless states, on the contrary, hinder the development of superconductivity.


title: Representation category of the quantum double of ${\rm SL}(2,q)$

abstract: For each odd prime power $q$ with $q\ge 5$ and $4\mid q-1$, we investigate the structure of the representation category of the quantum double of ${\rm SL}(2,q)$, determining its tensor products and braidings.


title: Building Capacity-Achieving PIR Schemes with Optimal Sub-Packetization over Small Fields

abstract: Suppose a database containing $M$ records is replicated across $N$ servers, and a user wants to privately retrieve one record by accessing the servers such that identity of the retrieved record is secret against any up to $T$ servers. A scheme designed for this purpose is called a $T$-private information retrieval ($T$-PIR) scheme. Three indexes are concerned for PIR schemes: (1)rate, indicating the amount of retrieved information per unit of downloaded data. The highest achievable rate is characterized by the capacity; (2) sub-packetization, reflexing the implementation complexity for linear schemes; (3) field size. We consider linear schemes over a finite field. In this paper, a general $T$-PIR scheme simultaneously attaining the optimality of almost all of the three indexes is presented. Specifically, we design a linear capacity-achieving $T$-PIR scheme with sub-packetization $\!dn^{M-1}\!$ over a finite field $\mathbb{F}_q$, $q\geq N$. The sub-packetization $\!dn^{M-1}\!$, where $\!d\!=\!{\rm gcd}(N,T)\!$ and $\!n\!=\!N/d$, has been proved to be optimal in our previous work. The field size of all existing capacity-achieving $T$-PIR schemes must be larger than $Nt^{M-2}$ where $t=T/d$, while our scheme reduces the field size by an exponential factor.


title: Long-term Multi-granularity Deep Framework for Driver Drowsiness Detection

abstract: For real-world driver drowsiness detection from videos, the variation of head pose is so large that the existing methods on global face is not capable of extracting effective features, such as looking aside and lowering head. Temporal dependencies with variable length are also rarely considered by the previous approaches, e.g., yawning and speaking. In this paper, we propose a Long-term Multi-granularity Deep Framework to detect driver drowsiness in driving videos containing the frontal faces. The framework includes two key components: (1) Multi-granularity Convolutional Neural Network (MCNN), a novel network utilizes a group of parallel CNN extractors on well-aligned facial patches of different granularities, and extracts facial representations effectively for large variation of head pose, furthermore, it can flexibly fuse both detailed appearance clues of the main parts and local to global spatial constraints; (2) a deep Long Short Term Memory network is applied on facial representations to explore long-term relationships with variable length over sequential frames, which is capable to distinguish the states with temporal dependencies, such as blinking and closing eyes. Our approach achieves 90.05% accuracy and about 37 fps speed on the evaluation set of the public NTHU-DDD dataset, which is the state-of-the-art method on driver drowsiness detection. Moreover, we build a new dataset named FI-DDD, which is of higher precision of drowsy locations in temporal dimension.


title: Antiferromagnetic ordering in organic conductor $\lambda$-(BEDT-TTF)$_2$GaCl$_4$ probed by $^{13}$C NMR

abstract: The ground state of $\lambda$-(BEDT-TTF)$_2$GaCl$_4$, which has the same structure as the organic superconductor $\lambda$-(BETS)$_2$GaCl$_4$, was investigated by magnetic susceptibility and $^{13}$C NMR measurements. The temperature dependence of the magnetic susceptibility revealed an antiferromagnetic (AF) correlation with $J/k_{\rm B} \simeq$ 98 K. NMR spectrum splitting and the divergence of $1/T_1$ were observed at approximately 13 K, which is associated with the AF transition. We found that the AF structure is commensurate according to discrete NMR peak splitting, suggesting that the ground state of $\lambda$-(BEDT-TTF)$_2$GaCl$_4$ is an AF dimer-Mott insulating state. Our results suggest that the superconducting phase of $\lambda$-type salts would be located near the AF insulating phase.


title: Global strong solutions for the three-dimensional Hasegawa-Mima model with partial dissipation

abstract: We study the three-dimensional Hasegawa-Mima model of turbulent magnetized plasma with horizontal viscous terms and a weak vertical dissipative term. In particular, we establish the global existence and uniqueness of strong solutions for this model.


title: Deep Nearest Class Mean Model for Incremental Odor Classification

abstract: In recent years, more machine learning algorithms have been applied to odor classification. These odor classification algorithms usually assume that the training datasets are static. However, for some odor recognition tasks, new odor classes continually emerge. That is, the odor datasets are dynamically growing while both training samples and number of classes are increasing over time. Motivated by this concern, this paper proposes a Deep Nearest Class Mean (DNCM) model based on the deep learning framework and nearest class mean method. The proposed model not only leverages deep neural network to extract deep features, but is also able to dynamically integrate new classes over time. In our experiments, the DNCM model was initially trained with 10 classes, then 25 new classes are integrated. Experiment results demonstrate that the proposed model is very efficient for incremental odor classification, especially for new classes with only a small number of training examples.


title: Grassmannian Codes with New Distance Measures for Network Coding

abstract: Grassmannian codes are known to be useful in error-correction for random network coding. Recently, they were used to prove that vector network codes outperform scalar linear network codes, on multicast networks, with respect to the alphabet size. The multicast networks which were used for this purpose are generalized combination networks. In both the scalar and the vector network coding solutions, the subspace distance is used as the distance measure for the codes which solve the network coding problem in the generalized combination networks. In this work we show that the subspace distance can be replaced with two other possible distance measures which generalize the subspace distance. These two distance measures are shown to be equivalent under an orthogonal transformation. It is proved that the Grassmannian codes with the new distance measures generalize the Grassmannian codes with the subspace distance and the subspace designs with the strength of the design. Furthermore, optimal Grassmannian codes with the new distance measureshave minimal requirements for network coding solutions of some generalized combination networks. The coding problems related to these two distance measures, especially with respect to network coding, are discussed. Finally, by using these new concepts it is proved that codes in the Hamming scheme form a subfamily of the Grassmannian codes.


title: Evaluation of Machine Learning Algorithms for Intrusion Detection System

abstract: Intrusion detection system (IDS) is one of the implemented solutions against harmful attacks. Furthermore, attackers always keep changing their tools and techniques. However, implementing an accepted IDS system is also a challenging task. In this paper, several experiments have been performed and evaluated to assess various machine learning classifiers based on KDD intrusion dataset. It succeeded to compute several performance metrics in order to evaluate the selected classifiers. The focus was on false negative and false positive performance metrics in order to enhance the detection rate of the intrusion detection system. The implemented experiments demonstrated that the decision table classifier achieved the lowest value of false negative while the random forest classifier has achieved the highest average accuracy rate.


title: Global Asymptotic Stability for General Linear MIMO Distributed Systems: An Approach Based on Robust-Adaptive Controllers

abstract: Stability is a critical feature of distributed linear multi-input-multi-output systems. Global asymptotic stability usually can be guaranteed when using decentralised or distributed control architectures, if: (i) conservative controllers are designed, (ii) collective stability conditions are satisfied, or (iii) interaction terms are neutral. This paper extends the collective stability method to incorporate adaptive controllers, and shows that this method is insufficient for systems with large-gain interconnections. Subsequently, we show that global asymptotic stability can be systematically ensured by exploiting vector Lyapunov functions and algebraic Riccati equations. This leads to a scalable distributed architecture where local controllers require information from corresponding subsystems and neighbouring controllers. Conveniently, the communication flow has the same topology as the interconnection graph. Theoretical results are validated through application of the proposed architecture to voltage control of a DC power network.


title: Behavioural Analytics: Beyond Risk-based MFA

abstract: This paper investigates how to effectively stop an attacker from using compromised user credentials to gain authorized entry to systems that they are otherwise not authorised to access. The proposed solution extends previous work to move beyond a risk-based multi-factor authentication system. It adds a behavioural analytics component that uses keystroke dynamics to grant or deny users access. Given the increasing number of compromised user credential stores, we make the assumption that criminals already know the user credentials. Hence, to test our solution, users were given authentic user credentials and asked to login to our proof-of-concept. Despite the fact that all illegitimate users in our test cases were given the correct user credentials for legitimate users, none of these were granted access by the system. This demonstrates zero- tolerance to false positives. The results demonstrate the uniqueness of keystroke dynamics and its use to prevent users with stolen credentials from accessing systems they are not authorized to access.


title: The inertialess limit of particle sedimentation modeled by the Vlasov-Stokes equations

abstract: We study the Vlasov-Stokes equations which macroscopically model the sedimentation of a cloud of particles in a fluid, where particle inertia are taken into account but fluid inertia are assumed to be negligible. We consider the limit when the inertia of the particles tends to zero, and obtain convergence of the dynamics to the solution of an associated inertialess system of equations. This system coincides with the model that can be derived as the homogenization limit of the microscopic inertialess dynamics.


title: A generalized concept-cognitive learning: A machine learning viewpoint

abstract: Concept-cognitive learning (CCL) is a hot topic in recent years, and it has attracted much attention from the communities of formal concept analysis, granular computing and cognitive computing. However, the relationship among cognitive computing (CC), concept-cognitive computing (CCC), CCL and concept-cognitive learning model (CCLM) is not clearly described. To this end, we first explain the relationship of CC, CCC, CCL and CCLM. Then, we propose a generalized concept-cognitive learning (GCCL) from the point of view of machine learning. Finally, experiments on some data sets are conducted to verify the feasibility of concept formation and concept-cognitive process of GCCL.


title: On Enhancing Genetic Algorithms Using New Crossovers

abstract: This paper investigates the use of more than one crossover operator to enhance the performance of genetic algorithms. Novel crossover operators are proposed such as the Collision crossover, which is based on the physical rules of elastic collision, in addition to proposing two selection strategies for the crossover operators, one of which is based on selecting the best crossover operator and the other randomly selects any operator. Several experiments on some Travelling Salesman Problems (TSP) have been conducted to evaluate the proposed methods, which are compared to the well-known Modified crossover operator and partially mapped Crossover (PMX) crossover. The results show the importance of some of the proposed methods, such as the collision crossover, in addition to the significant enhancement of the genetic algorithms performance, particularly when using more than one crossover operator.


title: Step Detection Algorithm For Accurate Distance Estimation Using Dynamic Step Length

abstract: In this paper, a new Smartphone sensor based algorithm is proposed to detect accurate distance estimation. The algorithm consists of two phases, the first phase is for detecting the peaks from the Smartphone accelerometer sensor. The other one is for detecting the step length which varies from step to step. The proposed algorithm is tested and implemented in real environment and it showed promising results. Unlike the conventional approaches, the error of the proposed algorithm is fixed and is not affected by the long distance. Keywords distance estimation, peaks, step length, accelerometer.


title: Computing radiative corrections in four dimensions

abstract: I comment and summarize the principles underlying the Four Dimensional Regularization/Renormalization (FDR) approach to the UV and IR infinities. A few recent results are also reviewed.


title: From contextuality of a single photon to realism of an electromagnetic wave

abstract: Violations of Bell inequalities have been an incontestable indicator of non-classicality since the seminal paper by John Bell. However, recent claims of Bell inequalities violations with classical light have cast some doubts on their significance as hallmarks of non-classicality. Here, we challenge those claims. The crux of the problem is that such classical experiments simulate quantum probabilities with intensities of classical fields. However, fields intensities measurements are radically different from single-photon detections, which are primitives of any genuine Bell experiment. We show that this fundamental difference between field intensities measurements and single photon detections shifts the classical bound of relevant Bell inequalities to its algebraic limit, leaving no place for their violations.


title: A correction of the decomposability result in a paper by Meyer-Neutsch

abstract: In this short note, it is shown that there is a gap in the proof of Theorem 11 in the paper of Meyer and Neutsch (J. of Algebra, 1993). We prove, nevertheless, that the statement of the theorem is true and fix the proof by using a certain extremal property of idempotents which has an independent interest.


title: Lifting a prescribed group of automorphisms of graphs

abstract: In this paper we are interested in lifting a prescribed group of automorphisms of a finite graph via regular covering projections. Here we describe with an example the problems we address and refer to the introductory section for the correct statements of our results. Let $P$ be the Petersen graph, say, and let $\wp:\tilde{P}\to P$ be a regular covering projection. With the current covering machinery, it is straightforward to find $\wp$ with the property that every subgroup of $\Aut(P)$ lifts via $\wp$. However, for constructing peculiar examples and in applications, this is usually not enough. Sometimes it is important, given a subgroup $G$ of $\Aut(P)$, to find $\wp$ along which $G$ lifts but no further automorphism of $P$ does. For instance, in this concrete example, it is interesting to find a covering of the Petersen graph lifting the alternating group $A_5$ but not the whole symmetric group $S_5$. (Recall that $\Aut(P)\cong S_5$.) Some other time it is important, given a subgroup $G$ of $\Aut(P)$, to find $\wp$ with the property that $\Aut(\tilde{P})$ is the lift of $G$. Typically, it is desirable to find $\wp$ satisfying both conditions. In a very broad sense, this might remind wallpaper patterns on surfaces: the group of symmetries of the dodecahedron is $S_5$, and there is a nice colouring of the dodecahedron (found also by Escher) whose group of symmetries is just $A_5$. In this paper, we address this problem in full generality.