title: Communication-Computation Efficient Gradient Coding

abstract: This paper develops coding techniques to reduce the running time of distributed learning tasks. It characterizes the fundamental tradeoff to compute gradients (and more generally vector summations) in terms of three parameters: computation load, straggler tolerance and communication cost. It further gives an explicit coding scheme that achieves the optimal tradeoff based on recursive polynomial constructions, coding both across data subsets and vector components. As a result, the proposed scheme allows to minimize the running time for gradient computations. Implementations are made on Amazon EC2 clusters using Python with mpi4py package. Results show that the proposed scheme maintains the same generalization error while reducing the running time by $32\%$ compared to uncoded schemes and $23\%$ compared to prior coded schemes focusing only on stragglers (Tandon et al., ICML 2017).


title: The surface properties of neutron-rich exotic nuclei within relativistic mean field formalisms

abstract: In this theoretical study, we establish a correlation between the neutron skin thickness and the nuclear symmetry energy for the even$-$even isotopes of Fe, Ni, Zn, Ge, Se and Kr within the framework of the axially deformed self-consistent relativistic mean field for the non-linear NL3$^*$ and density-dependent DD-ME1 interactions. The coherent density functional method is used to formulate the symmetry energy, the neutron pressure and the curvature of finite nuclei as a function of the nuclear radius. We have performed broad studies for the mass dependence on the symmetry energy in terms of the neutron-proton asymmetry for mass 70 $\leq$ A $\leq$ 96. From this analysis, we found a notable signature of a shell closure at $N$ = 50 in the isotopic chains of Fe, Ni, Zn, Ge, Se and Kr nuclei. The present study reveals an interrelationship between the characteristics of infinite nuclear matter and the neutron skin thickness of finite nuclei


title: N-break states in a chain of nonlinear oscillators

abstract: In the present work we explore a pre-stretched oscillator chain where the nodes interact via a pairwise Lennard-Jones potential. In addition to a homogeneous solution, we identify solutions with one or more (so-called) `breaks', i.e., jumps. As a function of the canonical parameter of the system, namely the precompression strain $d$, we find that the most fundamental one break solution changes stability when the monotonicity of the Hamiltonian changes with $d$. We provide a proof for this (motivated by numerical computations) observation. This critical point separates stable and unstable segments of the one break branch of solutions. We find similar branches for 2 through 5 break branches of solutions. Each of these higher `excited state' solutions possesses an additional unstable pair of eigenvalues. We thus conjecture that $k$ break solutions will possess at least $k-1$ (and at most $k$) pairs of unstable eigenvalues. Our stability analysis is corroborated by direct numerical computations of the evolutionary dynamics.


title: Programming Requests/Responses with GreatFree in the Cloud Environment

abstract: Programming request with GreatFree is an efficient programming technique to implement distributed polling in the cloud computing environment. GreatFree is a distributed programming environment through which diverse distributed systems can be established through programming rather than configuring or scripting. GreatFree emphasizes the importance of programming since it offers developers the opportunities to leverage their distributed knowledge and programming skills. Additionally, programming is the unique way to construct creative, adaptive and flexible systems to accommodate various distributed computing environments. With the support of GreatFree code-level Distributed Infrastructure Patterns, Distributed Operation Patterns and APIs, the difficult procedure is accomplished in a programmable, rapid and highly-patterned manner, i.e., the programming behaviors are simplified as the repeatable operation of Copy-Paste-Replace. Since distributed polling is one of the fundamental techniques to construct distributed systems, GreatFree provides developers with relevant APIs and patterns to program requests/responses in the novel programming environment.


title: Gaussian Process Landmarking on Manifolds

abstract: As a means of improving analysis of biological shapes, we propose an algorithm for sampling a Riemannian manifold by sequentially selecting points with maximum uncertainty under a Gaussian process model. This greedy strategy is known to be near-optimal in the experimental design literature, and appears to outperform the use of user-placed landmarks in representing the geometry of biological objects in our application. In the noiseless regime, we establish an upper bound for the mean squared prediction error (MSPE) in terms of the number of samples and geometric quantities of the manifold, demonstrating that the MSPE for our proposed sequential design decays at a rate comparable to the oracle rate achievable by any sequential or non-sequential optimal design; to our knowledge this is the first result of this type for sequential experimental design. The key is to link the greedy algorithm to reduced basis methods in the context of model reduction for partial differential equations. We expect this approach will find additional applications in other fields of research.


title: GraphVAE: Towards Generation of Small Graphs Using Variational Autoencoders

abstract: Deep learning on graphs has become a popular research topic with many applications. However, past work has concentrated on learning graph embedding tasks, which is in contrast with advances in generative models for images and text. Is it possible to transfer this progress to the domain of graphs? We propose to sidestep hurdles associated with linearization of such discrete structures by having a decoder output a probabilistic fully-connected graph of a predefined maximum size directly at once. Our method is formulated as a variational autoencoder. We evaluate on the challenging task of molecule generation.


title: Quantization of $A_{0}(K)$-Spaces

abstract: In this paper, we study $L^1$-matrix convex sets $\{K_{n}\}$ in $*$-locally convex spaces and show that every C$^*$-ordered operator space is complete isometrically, completely isomorphic to $\{A_{0}(K_{n}, M_{n}(V))\}$ for a suitable $L^1$-matrix convex set $\{K_{n}\}$. Further, we generalize the notion of regular embedding of a compact convex set to $L^{1}$-regular embedding of $L^{1}$-matrix convex set. Using $L^{1}$-regular embedding of $L^{1}$-convex set, we find conditions under which $A_{0}(K_{n}, M_{n}(V))$ is an abstract operator system.


title: A Continuation Method for Discrete Optimization and its Application to Nearest Neighbor Classification

abstract: The continuation method is a popular approach in non-convex optimization and computer vision. The main idea is to start from a simple function that can be minimized efficiently, and gradually transform it to the more complicated original objective function. The solution of the simpler problem is used as the starting point to solve the original problem. We show a continuation method for discrete optimization problems. Ideally, we would like the evolved function to be hill-climbing friendly and to have the same global minima as the original function. We show that the proposed continuation method is the best affine approximation of a transformation that is guaranteed to transform the function to a hill-climbing friendly function and to have the same global minima. We show the effectiveness of the proposed technique in the problem of nearest neighbor classification. Although nearest neighbor methods are often competitive in terms of sample efficiency, the computational complexity in the test phase has been a major obstacle in their applicability in big data problems. Using the proposed continuation method, we show an improved graph-based nearest neighbor algorithm. The method is readily understood and easy to implement. We show how the computational complexity of the method in the test phase scales gracefully with the size of the training set, a property that is particularly important in big data applications.


title: Coherence properties of shallow donor qubits in ZnO

abstract: Defects in crystals are leading candidates for photon-based quantum technologies, but progress in developing practical devices critically depends on improving defect optical and spin properties. Motivated by this need, we study a new defect qubit candidate, the shallow donor in ZnO. We demonstrate all-optical control of the electron spin state of the donor qubits and measure the spin coherence properties. We find a longitudinal relaxation time T$_1$ exceeding 100 ms, an inhomogeneous dephasing time T$_2^*$ of $17\pm2$ ns, and a Hahn spin-echo time T$_2$ of $50\pm13$ $\mu$s. The magnitude of T$_2^*$ is consistent with the inhomogeneity of the nuclear hyperfine field in natural ZnO. Possible mechanisms limiting T$_2$ include instantaneous diffusion and nuclear spin diffusion (spectral diffusion). These results are comparable to the phosphorous donor system in natural silicon, suggesting that with isotope and chemical purification long qubit coherence times can be obtained for donor spins in a direct band gap semiconductor. This work motivates further research on high-purity material growth, quantum device fabrication, and high-fidelity control of the donor:ZnO system for quantum technologies.


title: Relationships between solid spherical and toroidal harmonics

abstract: We derive new relationships expressing solid spherical harmonics as series of toroidal harmonics and vice versa. The expansions include regular and irregular spherical harmonics, ring and axial toroidal harmonics of even and odd parity about the plane of the torus. The expansion coefficients are given in terms of a recurrence relation. As an example application we apply one of the expansions to express the potential of a charged conducting torus on a basis of spherical harmonics.


title: Theory of Probability. An Elementary Treatise against a Historical Background

abstract: A popular scientific contribution should not contradict any established facts and ought to be understandable. I complied with both these requirements and am offering a sufficiently full introduction to probability theory. Furthermore, I enlivened my text with much information about the history of probability and commentaries on the occurring notions which do not belong to that theory. Indeed, a student is not a container to be filled but a torch to be kindled. I hope therefore that my piece will essentially benefit beginners, be also methodically useful to advanced readers, and even attract some inquisitive people to probability.


title: An LSTM Recurrent Network for Step Counting

abstract: Smartphones with sensors such as accelerometer and gyroscope can be used as pedometers and navigators. In this paper, we propose to use an LSTM recurrent network for counting the number of steps taken by both blind and sighted users, based on an annotated smartphone sensor dataset, WeAllWork. The models were trained separately for sighted people, blind people with a long cane or a guide dog for Leave-One-Out training modality. It achieved 5% overcount and undercount rate.


title: Small nonlinearities in activation functions create bad local minima in neural networks

abstract: We investigate the loss surface of neural networks. We prove that even for one-hidden-layer networks with "slightest" nonlinearity, the empirical risks have spurious local minima in most cases. Our results thus indicate that in general "no spurious local minima" is a property limited to deep linear networks, and insights obtained from linear networks may not be robust. Specifically, for ReLU(-like) networks we constructively prove that for almost all practical datasets there exist infinitely many local minima. We also present a counterexample for more general activations (sigmoid, tanh, arctan, ReLU, etc.), for which there exists a bad local minimum. Our results make the least restrictive assumptions relative to existing results on spurious local optima in neural networks. We complete our discussion by presenting a comprehensive characterization of global optimality for deep linear networks, which unifies other results on this topic.


title: Generalization of an Upper Bound on the Number of Nodes Needed to Achieve Linear Separability

abstract: An important issue in neural network research is how to choose the number of nodes and layers such as to solve a classification problem. We provide new intuitions based on earlier results by An et al. (2015) by deriving an upper bound on the number of nodes in networks with two hidden layers such that linear separability can be achieved. Concretely, we show that if the data can be described in terms of N finite sets and the used activation function f is non-constant, increasing and has a left asymptote, we can derive how many nodes are needed to linearly separate these sets. This will be an upper bound that depends on the structure of the data. This structure can be analyzed using an algorithm. For the leaky rectified linear activation function, we prove separately that under some conditions on the slope, the same number of layers and nodes as for the aforementioned activation functions is sufficient. We empirically validate our claims.


title: Signal-background discrimination with convolutional neural networks in the PandaX-III experiment using MC simulation

abstract: The PandaX-III experiment will search for neutrinoless double beta decay of $^{136}$Xe with high pressure gaseous time projection chambers at the China Jin-Ping underground Laboratory. The tracking feature of gaseous detectors helps suppress the background level, resulting in the improvement of the detection sensitivity. We study a method based on the convolutional neural networks to discriminate double beta decay signals against the background from high energy gammas generated by $^{214}$Bi and $^{208}$Tl decays based on detailed Monte Carlo simulation. Using the 2-dimensional projections of recorded tracks on two planes, the method successfully suppresses the background level by a factor larger than 100 with a high signal efficiency. An improvement of $62\%$ on the efficiency ratio of $\epsilon_{s}/\sqrt{\epsilon_{b}}$ is achieved in comparison with the baseline in the PandaX-III conceptual design report.


title: A whitening approach to probabilistic canonical correlation analysis for omics data integration

abstract: Background: Canonical correlation analysis (CCA) is a classic statistical tool for investigating complex multivariate data. Correspondingly, it has found many diverse applications, ranging from molecular biology and medicine to social science and finance. Intriguingly, despite the importance and pervasiveness of CCA, only recently a probabilistic understanding of CCA is developing, moving from an algorithmic to a model-based perspective and enabling its application to large-scale settings. Results: Here, we revisit CCA from the perspective of statistical whitening of random variables and propose a simple yet flexible probabilistic model for CCA in the form of a two-layer latent variable generative model. The advantages of this variant of probabilistic CCA include non-ambiguity of the latent variables, provisions for negative canonical correlations, possibility of non-normal generative variables, as well as ease of interpretation on all levels of the model. In addition, we show that it lends itself to computationally efficient estimation in high-dimensional settings using regularized inference. We test our approach to CCA analysis in simulations and apply it to two omics data sets illustrating the integration of gene expression data, lipid concentrations and methylation levels. Conclusions: Our whitening approach to CCA provides a unifying perspective on CCA, linking together sphering procedures, multivariate regression and corresponding probabilistic generative models. Furthermore, we offer an efficient computer implementation in the "whitening" R package available at https://CRAN.R-project.org/package=whitening .


title: Energy transfer in compressible magnetohydrodynamic turbulence for isothermal self-gravitating fluids

abstract: Three-dimensional, compressible, magnetohydrodynamic turbulence of an isothermal, self-gravitating fluid is analyzed using two-point statistics in the asymptotic limit of large Reynolds numbers (both kinetic and magnetic). Following an alternative formulation proposed by S. Banerjee and S. Galtier (Phys. Rev. E,93, 033120, 2016) and S. Banerjee and S. Galtier (J. Phys. A, Math. and Theor.,50, 015501, 2017), an exact relation has been derived for the total energy transfer. This approach results in a simpler relation expressed entirely in terms of mixed second-order structure functions. The kinetic, thermodynamic, magnetic and gravitational contributions to the energy transfer rate can be easily separated in the present form. By construction, the new formalism includes such additional effects as global rotation, the Hall term in the induction equation, etc. The analysis shows that solid-body rotation cannot alter the energy flux rate of compressible turbulence. However, the contribution of a uniform background magnetic field to the flux is shown to be non-trivial unlike in the incompressible case. Finally, the compressible, turbulent energy flux rate does not vanish completely due to simple alignments, which leads to a zero turbulent energy flux rate in the incompressible case.


title: An index theory with applications to homoclinic Orbits of Hamiltonian systems and Dirac equations

abstract: In this paper, we will define the index pair $(i_A(B),\nu_A(B))$ by the dual variational method, and show the relationship between the indices defined by different methods. As applications, we apply the index $(i_A(B),\nu_A(B))$ to study the existence and multiplicity of homoclinic orbits of nonlinear Hamiltonian systems and solutions of nonlinear Dirac equations


title: More Robust Doubly Robust Off-policy Evaluation

abstract: We study the problem of off-policy evaluation (OPE) in reinforcement learning (RL), where the goal is to estimate the performance of a policy from the data generated by another policy(ies). In particular, we focus on the doubly robust (DR) estimators that consist of an importance sampling (IS) component and a performance model, and utilize the low (or zero) bias of IS and low variance of the model at the same time. Although the accuracy of the model has a huge impact on the overall performance of DR, most of the work on using the DR estimators in OPE has been focused on improving the IS part, and not much on how to learn the model. In this paper, we propose alternative DR estimators, called more robust doubly robust (MRDR), that learn the model parameter by minimizing the variance of the DR estimator. We first present a formulation for learning the DR model in RL. We then derive formulas for the variance of the DR estimator in both contextual bandits and RL, such that their gradients w.r.t.~the model parameters can be estimated from the samples, and propose methods to efficiently minimize the variance. We prove that the MRDR estimators are strongly consistent and asymptotically optimal. Finally, we evaluate MRDR in bandits and RL benchmark problems, and compare its performance with the existing methods.


title: AMC: AutoML for Model Compression and Acceleration on Mobile Devices

abstract: Model compression is a critical technique to efficiently deploy neural network models on mobile devices which have limited computation resources and tight power budgets. Conventional model compression techniques rely on hand-crafted heuristics and rule-based policies that require domain experts to explore the large design space trading off among model size, speed, and accuracy, which is usually sub-optimal and time-consuming. In this paper, we propose AutoML for Model Compression (AMC) which leverage reinforcement learning to provide the model compression policy. This learning-based compression policy outperforms conventional rule-based compression policy by having higher compression ratio, better preserving the accuracy and freeing human labor. Under 4x FLOPs reduction, we achieved 2.7% better accuracy than the handcrafted model compression policy for VGG-16 on ImageNet. We applied this automated, push-the-button compression pipeline to MobileNet and achieved 1.81x speedup of measured inference latency on an Android phone and 1.43x speedup on the Titan XP GPU, with only 0.1% loss of ImageNet Top-1 accuracy.


title: Generative Adversarial Networks and Probabilistic Graph Models for Hyperspectral Image Classification

abstract: High spectral dimensionality and the shortage of annotations make hyperspectral image (HSI) classification a challenging problem. Recent studies suggest that convolutional neural networks can learn discriminative spatial features, which play a paramount role in HSI interpretation. However, most of these methods ignore the distinctive spectral-spatial characteristic of hyperspectral data. In addition, a large amount of unlabeled data remains an unexploited gold mine for efficient data use. Therefore, we proposed an integration of generative adversarial networks (GANs) and probabilistic graphical models for HSI classification. Specifically, we used a spectral-spatial generator and a discriminator to identify land cover categories of hyperspectral cubes. Moreover, to take advantage of a large amount of unlabeled data, we adopted a conditional random field to refine the preliminary classification results generated by GANs. Experimental results obtained using two commonly studied datasets demonstrate that the proposed framework achieved encouraging classification accuracy using a small number of data for training.


title: On the maximum of discretely sampled fractional Brownian motion with small Hurst parameter

abstract: We show that the distribution of the maximum of the fractional Brownian motion $B^H$ with Hurst parameter $H\to 0$ over an $n$-point set $\tau \subset [0,1]$ can be approximated by the normal law with mean $\sqrt{\ln n}$ and variance $1/2$ provided that $n\to \infty$ slowly enough and the points in $\tau$ are not too close to each other.


title: Modeling Global Dynamics from Local Snapshots with Deep Generative Neural Networks

abstract: Complex high dimensional stochastic dynamic systems arise in many applications in the natural sciences and especially biology. However, while these systems are difficult to describe analytically, "snapshot" measurements that sample the output of the system are often available. In order to model the dynamics of such systems given snapshot data, or local transitions, we present a deep neural network framework we call Dynamics Modeling Network or DyMoN. DyMoN is a neural network framework trained as a deep generative Markov model whose next state is a probability distribution based on the current state. DyMoN is trained using samples of current and next-state pairs, and thus does not require longitudinal measurements. We show the advantage of DyMoN over shallow models such as Kalman filters and hidden Markov models, and other deep models such as recurrent neural networks in its ability to embody the dynamics (which can be studied via perturbation of the neural network) and generate longitudinal hypothetical trajectories. We perform three case studies in which we apply DyMoN to different types of biological systems and extract features of the dynamics in each case by examining the learned model.


title: The Strange Attractor of Bipedal Locomotion and Consequences on Motor Control

abstract: Despite decades of study, the mechanisms that determine human locomotion are still unknown, available models and motor control theories can only partially capture the phenomenon. This is probably the principal cause of the reduced efficacy of lower limbs rehabilitation therapies. Recently, it has been proposed that human locomotion may be planned in the task-space by taking advantage of the gravitational pull acting on the Centre of Mass (CoM) that we have used to formulate a task-space planner for straight locomotion at a constant speed. The proposed model represents the CoM transversal trajectory as simple harmonic oscillator moving forward at a constant speed. On the other hand, the vertical trajectory of the CoM is controlled through the ankle strategies. Our solution is composed of closed-form equations which can plan human-like trajectories for both the CoM and the foot swing. The model output can be seen as the optimal trajectory determined based on the average behaviour of 12 healthy subjects walking at three self-selected speeds. Furthermore, the planner formulation is compatible with an extended formulation of the Passive Motion Paradigm which enables us to design a hierarchical architecture of semi-autonomous controllers. The final architecture can also describe the motor primitives as a particular case of dynamic primitives, shows strong parallels with the nervous system organization, and is compatible with the optimal feedback control theory.


title: Local Contrast Learning

abstract: Learning a deep model from small data is yet an opening and challenging problem. We focus on one-shot classification by deep learning approach based on a small quantity of training samples. We proposed a novel deep learning approach named Local Contrast Learning (LCL) based on the key insight about a human cognitive behavior that human recognizes the objects in a specific context by contrasting the objects in the context or in her/his memory. LCL is used to train a deep model that can contrast the recognizing sample with a couple of contrastive samples randomly drawn and shuffled. On one-shot classification task on Omniglot, the deep model based LCL with 122 layers and 1.94 millions of parameters, which was trained on a tiny dataset with only 60 classes and 20 samples per class, achieved the accuracy 97.99% that outperforms human and state-of-the-art established by Bayesian Program Learning (BPL) trained on 964 classes. LCL is a fundamental idea which can be applied to alleviate parametric model's overfitting resulted by lack of training samples.


title: A veracity preserving model for synthesizing scalable electricity load profiles

abstract: Electricity users are the major players of the electric systems, and electricity consumption is growing at an extraordinary rate. The research on electricity consumption behaviors is becoming increasingly important to design and deployment of the electric systems. Unfortunately, electricity load profiles are difficult to acquire. Data synthesis is one of the best approaches to solving the lack of data, and the key is the model that preserves the real electricity consumption behaviors. In this paper, we propose a hierarchical multi-matrices Markov Chain (HMMC) model to synthesize scalable electricity load profiles that preserve the real consumption behavior on three time scales: per day, per week, and per year. To promote the research on the electricity consumption behavior, we use the HMMC approach to model two distinctive raw electricity load profiles. One is collected from the resident sector, and the other is collected from the non-resident sectors, including different industries such as education, finance, and manufacturing. The experiments show our model performs much better than the classical Markov Chain model. We publish two trained models online, and researchers can directly use these trained models to synthesize scalable electricity load profiles for further researches.


title: Path Consistency Learning in Tsallis Entropy Regularized MDPs

abstract: We study the sparse entropy-regularized reinforcement learning (ERL) problem in which the entropy term is a special form of the Tsallis entropy. The optimal policy of this formulation is sparse, i.e.,~at each state, it has non-zero probability for only a small number of actions. This addresses the main drawback of the standard Shannon entropy-regularized RL (soft ERL) formulation, in which the optimal policy is softmax, and thus, may assign a non-negligible probability mass to non-optimal actions. This problem is aggravated as the number of actions is increased. In this paper, we follow the work of Nachum et al. (2017) in the soft ERL setting, and propose a class of novel path consistency learning (PCL) algorithms, called {\em sparse PCL}, for the sparse ERL problem that can work with both on-policy and off-policy data. We first derive a {\em sparse consistency} equation that specifies a relationship between the optimal value function and policy of the sparse ERL along any system trajectory. Crucially, a weak form of the converse is also true, and we quantify the sub-optimality of a policy which satisfies sparse consistency, and show that as we increase the number of actions, this sub-optimality is better than that of the soft ERL optimal policy. We then use this result to derive the sparse PCL algorithms. We empirically compare sparse PCL with its soft counterpart, and show its advantage, especially in problems with a large number of actions.


title: Large Scale Lorentz Violation Gravity and Dark Energy

abstract: The accelerating expansion of universe can be described by the non-zero cosmological constant or the dark energy. However, the origin of the dark energy remains a mystery of modern physics. The local Lorentz invariance is the most exact symmetry of the Nature on the one hand, but all quantum gravity theories predict Lorentz violation on the other hand. The local Lorentz violation induced by the quantum gravity at the very early universe may be transformed into large scale by inflation. Combining the low-$l$ anomalies of the CMB spectrum, we propose that the local Lorentz invariance may be broken at the large scale. We construct the effective gravity at the cosmic scale with a local $SO(3)$ symmetry. The theory exhibits non-trivial contortion distribution even with scalar matter source. The FRW like solution of the theory is analyzed and the contortion distribution contributes a dark energy like effect which is responsible for the accelerating expansion of the universe. It reveals that the dark energy may be the remnants of quantum gravity in this sense.


title: A New Approach of Exploiting Self-Adjoint Matrix Polynomials of Large Random Matrices for Anomaly Detection and Fault Location

abstract: Synchronized measurements of a large power grid enable an unprecedented opportunity to study the spatialtemporal correlations. Statistical analytics for those massive datasets start with high-dimensional data matrices. Uncertainty is ubiquitous in a future's power grid. These data matrices are recognized as random matrices. This new point of view is fundamental in our theoretical analysis since true covariance matrices cannot be estimated accurately in a high-dimensional regime. As an alternative, we consider large-dimensional sample covariance matrices in the asymptotic regime to replace the true covariance matrices. The self-adjoint polynomials of large-dimensional random matrices are studied as statistics for big data analytics. The calculation of the asymptotic spectrum distribution (ASD) for such a matrix polynomial is understandably challenging. This task is made possible by a recent breakthrough in free probability, an active research branch in random matrix theory. This is the very reason why the work of this paper is inspired initially. The new approach is interesting in many aspects. The mathematical reason may be most critical. The real-world problems can be solved using this approach, however.


title: Complexity of a quadratic penalty accelerated inexact proximal point method for solving linearly constrained nonconvex composite programs

abstract: This paper analyzes the iteration-complexity of a quadratic penalty accelerated inexact proximal point method for solving linearly constrained nonconvex composite programs. More specifically, the objective function is of the form $f + h$ where $f$ is a differentiable function whose gradient is Lipschitz continuous and $h$ is a closed convex function with bounded domain. The method, basically, consists of applying an accelerated inexact proximal point method for solving approximately a sequence of quadratic penalized subproblems associated to the linearly constrained problem. Each subproblem of the proximal point method is in turn approximately solved by an accelerated composite gradient (ACG) method. It is shown that the proposed scheme generates a $\rho$-approximate stationary point in at most ${\cal{O}}(\rho^{-3})$ ACG iterations. Finally, numerical results showing the efficiency of the proposed method are also given.


title: Coulomb Autoencoders

abstract: Learning the true density in high-dimensional feature spaces is a well-known problem in machine learning. In this work, we consider generative autoencoders based on maximum-mean discrepancy (MMD) and provide theoretical insights. In particular, (i) we prove that MMD coupled with Coulomb kernels has optimal convergence properties, which are similar to convex functionals, thus improving the training of autoencoders, and (ii) we provide a probabilistic bound on the generalization performance, highlighting some fundamental conditions to achieve better generalization. We validate the theory on synthetic examples and on the popular dataset of celebrities' faces, showing that our model, called Coulomb autoencoders, outperform the state-of-the-art.


title: Equivalence of edge bicolored graphs on surfaces

abstract: Consider the collection of edge bicolorings of a graph that is cellularly embedded on an orientable surface. In this work, we count the number of equivalence classes of such colorings under two relations: reversing colors around a face and reversing colors around a vertex. In the case of the plane, this is well studied, but for other surfaces, the computation is more subtle. While this question can be stated purely graph theoretically, it has interesting applications in knot theory.


title: A bijection between necklaces and multisets with divisible subset sum

abstract: Consider these two distinct combinatorial objects: (1) the necklaces of length $n$ with at most $q$ colors, and (2) the multisets of integers modulo $n$ with subset sum divisible by $n$ and with the multiplicity of each element being strictly less than $q$. We show that these two objects have the same cardinality when $q$ and $n$ are mutually coprime. Additionally, when $q$ is a prime power, we construct a bijection between these two objects by viewing necklaces as cyclic polynomials over the finite field of size $q$. Specializing to $q=2$ answers a bijective problem posed by Richard Stanley.


title: Interfacial properties of black phosphorus/transition metal carbide van der Waals heterostructures

abstract: Owing to its outstanding electronic properties, black phosphorus (BP) is considered as a promising material for next-generation optoelectronic devices. In this work, devices based on BP/MXene (Zrn+1CnT2, T = O, F, OH, n = 1, 2) van der Waals (vdW) heterostructures are designed via first-principles calculations. Zrn+1CnT2 compositions with appropriate work functions lead to the formation of Ohmic contact with BP in the vertical direction. Low Schottky barriers are found along the lateral direction in BP/Zr2CF2, BP/Zr2CO2H2, BP/Zr3C2F2, and BP/Zr3C2O2H2 bilayers, and BP/Zr3C2O2 even exhibits Ohmic contact behavior. BP/Zr2CO2 is a semiconducting heterostructure with type-II band alignment, which facilitates the separation of electron-hole pairs. The band structure of BP/Zr2CO2 can be effectively tuned via a perpendicular electric field, and BP is predicted to undergo a transition from donor to acceptor at a 0.4 V/{\AA} electric field. The versatile electronic properties of the BP/MXene heterostructures examined in this work highlight their promising potential for applications in electronics.


title: Levy-Steinitz for countable sets of series

abstract: The Levy-Steinitz theorem characterizes the values that a conditionally convergent sequence in of real numbers can attain under permutations. We extend this analysis to sequences of countable sequences of real numbers, under pointwise convergence, reproving a theorem of Stanimir Troyanski.


title: On-device Scalable Image-based Localization via Prioritized Cascade Search and Fast One-Many RANSAC

abstract: We present the design of an entire on-device system for large-scale urban localization using images. The proposed design integrates compact image retrieval and 2D-3D correspondence search to estimate the location in extensive city regions. Our design is GPS agnostic and does not require network connection. In order to overcome the resource constraints of mobile devices, we propose a system design that leverages the scalability advantage of image retrieval and accuracy of 3D model-based localization. Furthermore, we propose a new hashing-based cascade search for fast computation of 2D-3D correspondences. In addition, we propose a new one-many RANSAC for accurate pose estimation. The new one-many RANSAC addresses the challenge of repetitive building structures (e.g. windows, balconies) in urban localization. Extensive experiments demonstrate that our 2D-3D correspondence search achieves state-of-the-art localization accuracy on multiple benchmark datasets. Furthermore, our experiments on a large Google Street View (GSV) image dataset show the potential of large-scale localization entirely on a typical mobile device.


title: A General Framework For Frequentist Model Averaging

abstract: Model selection strategies have been routinely employed to determine a model for data analysis in statistics, and further study and inference then often proceed as though the selected model were the true model that were known a priori. This practice does not account for the uncertainty introduced by the selection process and the fact that the selected model can possibly be a wrong one. Model averaging approaches try to remedy this issue by combining estimators for a set of candidate models. Specifically, instead of deciding which model is the 'right' one, a model averaging approach suggests to fit a set of candidate models and average over the estimators using certain data adaptive weights. In this paper we establish a general frequentist model averaging framework that does not set any restrictions on the set of candidate models. It greatly broadens the scope of the existing methodologies under the frequentist model averaging development. Assuming the data is from an unknown model, we derive the model averaging estimator and study its limiting distributions and related predictions while taking possible modeling biases into account. We propose a set of optimal weights to combine the individual estimators so that the expected mean squared error of the average estimator is minimized. Simulation studies are conducted to compare the performance of the estimator with that of the existing methods. The results show the benefits of the proposed approach over traditional model selection approaches as well as existing model averaging methods.


title: Quantum measurement of a rapidly rotating spin qubit in diamond

abstract: A controlled qubit in a rotating frame opens new opportunities to probe fundamental quantum physics, such as geometric phases in physically rotating frames, and can potentially enhance detection of magnetic fields. Realising a single qubit that can be measured and controlled during physical rotation is experimentally challenging. In this work, we demonstrate quantum control of a single nitrogen-vacancy (NV) centre within a diamond rotated at 200,000rpm, a rotational period comparable to the NV spin coherence time $T_2$. We stroboscopically image individual NV centres that execute rapid circular motion in addition to rotation, and demonstrate preparation, control and readout of the qubit quantum state with lasers and microwaves. Using spin-echo interferometry of the rotating qubit, we are able to detect modulation of the NV Zeeman shift arising from the rotating NV axis and an external DC magnetic field. Our work establishes single NV qubits in diamond as quantum sensors in the physically rotating frame, and paves the way for the realisation of single-qubit diamond-based rotation sensors.


title: The blow-up of the conformal mean curvature flow

abstract: In this paper, we introduce and study the conformal mean curvature flow of submanifolds of higher codimension in the Euclidean space $\bbr^n$. This kind of flow is a special case of a general modified mean curvature flow which is of various origination. As the main result, we prove a blow-up theorem concluding that, under the conformal mean curvature flow in $\bbr^n$, the maximum of the square norm of the second fundamental form of any compact submanifold tends to infinity in finite time. Furthermore, by using the idea of Andrews and Baker for studying the mean curvature flow of submanifolds in the Euclidean space, we also derive some more evolution formulas and inequalities which we believe to be useful in our further study of conformal mean curvature flow. Presently, these computations together with our main theorem are applied to provide a direct proof of a convergence theorem concluding that the external conformal forced mean curvature flow of a compact submanifold in $\bbr^n$ with the same pinched condition as Andrews-Baker's will be convergent to a round point in finite time.


title: Angle-dependent magnetoresistance as a probe of Fermi surface warping in HgBa$_2$CuO$_{4+\delta}$

abstract: We develop a model for the angle-dependent magnetoresistance of HgBa$_2$CuO$_{4+\delta}$ in the underdoped regime where the Fermi surface is thought to be reconstructed by an ordered state such as a charge density wave. We show that such measurements can be employed to unambiguously distinguish the form of the Fermi surface's interlayer warping, placing severe contraints on the symmetry and nature of the reconstructing order. We describe experimentally accessible conditions in which our calculations can be put to the test.


title: Vehicle Pose and Shape Estimation through Multiple Monocular Vision

abstract: In this paper, we present an accurate approach to estimate vehicles' pose and shape from off-board multiview images. The images are taken by monocular cameras and have small overlaps. We utilize state-of-the-art convolutional neural networks (CNNs) to extract vehicles' semantic keypoints and introduce a Cross Projection Optimization (CPO) method to estimate the 3D pose. During the iterative CPO process, an adaptive shape adjustment method named Hierarchical Wireframe Constraint (HWC) is implemented to estimate the shape. Our approach is evaluated under both simulated and real-world scenes for performance verification. It's shown that our algorithm outperforms other existing monocular and stereo methods for vehicles' pose and shape estimation. This approach provides a new and robust solution for off-board visual vehicle localization and tracking, which can be applied to massive surveillance camera networks for intelligent transportation.


title: A sequence of neighborhood contingency logics

abstract: This note proposes various axiomatizations of contingency logic under neighborhood semantics. In particular, by defining a suitable canonical neighborhood function, we give sound and complete axiomatizations of monotone contingency logic and regular contingency logic, thereby answering two open questions raised by Bakhtiari, van Ditmarsch, and Hansen. The canonical function is inspired by a function proposed by Kuhn in 1995. We show that Kuhn's function is actually equal to a related function originally given by Humberstone.


title: Disturbance Grassmann Kernels for Subspace-Based Learning

abstract: In this paper, we focus on subspace-based learning problems, where data elements are linear subspaces instead of vectors. To handle this kind of data, Grassmann kernels were proposed to measure the space structure and used with classifiers, e.g., Support Vector Machines (SVMs). However, the existing discriminative algorithms mostly ignore the instability of subspaces, which would cause the classifiers misled by disturbed instances. Thus we propose considering all potential disturbance of subspaces in learning processes to obtain more robust classifiers. Firstly, we derive the dual optimization of linear classifiers with disturbance subject to a known distribution, resulting in a new kernel, Disturbance Grassmann (DG) kernel. Secondly, we research into two kinds of disturbance, relevant to the subspace matrix and singular values of bases, with which we extend the Projection kernel on Grassmann manifolds to two new kernels. Experiments on action data indicate that the proposed kernels perform better compared to state-of-the-art subspace-based methods, even in a worse environment.


title: Hydra: an Ensemble of Convolutional Neural Networks for Geospatial Land Classification

abstract: We describe in this paper Hydra, an ensemble of convolutional neural networks (CNN) for geospatial land classification. The idea behind Hydra is to create an initial CNN that is coarsely optimized but provides a good starting pointing for further optimization, which will serve as the Hydra's body. Then, the obtained weights are fine-tuned multiple times with different augmentation techniques, crop styles, and classes weights to form an ensemble of CNNs that represent the Hydra's heads. By doing so, we prompt convergence to different endpoints, which is a desirable aspect for ensembles. With this framework, we were able to reduce the training time while maintaining the classification performance of the ensemble. We created ensembles for our experiments using two state-of-the-art CNN architectures, ResNet and DenseNet. We have demonstrated the application of our Hydra framework in two datasets, FMOW and NWPU-RESISC45, achieving results comparable to the state-of-the-art for the former and the best reported performance so far for the latter. Code and CNN models are available at https://github.com/maups/hydra-fmow


title: On Weak Supercyclicity II

abstract: This paper considers weak supercyclicity for bounded linear operators on a normed space. On the one hand, weak supercyclicity is investigated for classes of Hilbert-space operators: (i) self-adjoint operators are not weakly supercyclic, (ii) diagonalizable operators are not weakly l-sequentially supercyclic, and (iii) weak l-sequential supercyclicity is preserved between a unitary operator and its adjoint. On the other hand, weak supercyclicity is investigated for classes of normed-space operators: (iv) the point spectrum of the normed-space adjoint of a power bounded supercyclic operator is either empty or is a singleton in the open unit disk, (v) weak l-sequential supercyclicity coincides with supercyclicity for compact operators, and (vi) every compact weakly l-sequentially supercyclic operator is quasinilpotent.


title: HESS J1640-465 -- a Gamma-ray emitting pulsar wind nebula ?

abstract: HESS J1640-465 is an extended TeV $\gamma$-ray source and its $\gamma$-ray emission whether from the shell of a supernova remnant (SNR) or a pulsar wind nebula (PWN) is still under debate. We reanalyze the GeV $\gamma$-ray data in the field of HESS J1640-465 using eight years of Pass 8 data recorded by the Fermi Large Area Telescope. An extended GeV $\gamma$-ray source positionally coincident with HESS J1640-465 is found. Its photon spectrum can be described by a power-law with an index of $1.42\pm0.19$ in the energy range of 10-500 GeV, and smoothly connects with the TeV spectrum of HESS J1640-465. The broadband spectrum of HESS J1640-465 can be well fit by a leptonic model with a broken power-law spectrum of electrons with an exponential cut-off at $\sim$ 300 TeV. The spectral properties of HESS J1640-465 are broadly consistent with the characteristics of other sources identified as PWNe, such as the correlations between high-energy luminosity ratios and the physical parameters of pulsar, including spin-down luminosity $\dot{E}$ and characteristic age $\tau_c$. All these pieces of evidence support that the $\gamma$-ray emission of HESS J1640-465 may originate from the PWN powered by PSR J1640-4631 rather than the shell of the SNR G338.3-0.0.


title: Self-similar solutions of curvature flows in warped products

abstract: In this paper we study self-similar solutions in warped products satisfying $F-\mathcal{F}=\bar{g}(\lambda(r)\partial_{r},\nu)$, where $\mathcal{F}$ is a nonnegative constant and $F$ is in a class of general curvature functions including powers of mean curvature and Gauss curvature. We show that slices are the only closed strictly convex self-similar solutions in the hemisphere for such $F$. We also obtain a similar uniqueness result in hyperbolic space $\mathbb{H}^{3}$ for Gauss curvature $F$ and $\mathcal{F}\geq 1$.


title: Enhanced version of AdaBoostM1 with J48 Tree learning method

abstract: Machine Learning focuses on the construction and study of systems that can learn from data. This is connected with the classification problem, which usually is what Machine Learning algorithms are designed to solve. When a machine learning method is used by people with no special expertise in machine learning, it is important that the method be robust in classification, in the sense that reasonable performance is obtained with minimal tuning of the problem at hand. Algorithms are evaluated based on how robust they can classify the given data. In this paper, we propose a quantifiable measure of robustness, and describe a particular learning method that is robust according to this measure in the context of classification problem. We proposed Adaptive Boosting (AdaBoostM1) with J48(C4.5 tree) as a base learner with tuning weight threshold (P) and number of iterations (I) for boosting algorithm. To benchmark the performance, we used the baseline classifier, AdaBoostM1 with Decision Stump as base learner without tuning parameters. By tuning parameters and using J48 as base learner, we are able to reduce the overall average error rate ratio (errorC/errorNB) from 2.4 to 0.9 for development sets of data and 2.1 to 1.2 for evaluation sets of data.


title: Real-time evolution method and its application to 3$\alpha$ cluster system

abstract: A new theoretical method is proposed to describe the ground and excited cluster states of atomic nuclei. The method utilizes the equation-of-motion of the Gaussian wave packets to generate the basis wave functions having various cluster configurations. The generated basis wave functions are superposed to diagonalize the Hamiltonian. In other words, this method uses the real time as the generator coordinate. The application to the $3\alpha$ system as a benchmark shows that the new method works efficiently and yields the result consistent with or better than the other cluster models. Brief discussion on the structure of the excited $0^+$ and $1^-$ states is also made.


title: Evolutionary value of collective sensing

abstract: We propose a mathematical model for collective sensing in a population growing in a stochastically varying environment. In the population, individuals use an information channel for sensing the environment, and two channels for signal production and comprehension to communicate among themselves. We show that existence of such system has a positive effect on population growth, hence can have a positive evolutionary effect. We show that the gain in growth due to the collective sensing is related to information theoretic entities, which can be considered as the information content of this system from the environment. We further show that heterogeneity in communication resulted from network or spatial structure increases growth. We compute the growth rate of a population residing on a lattice and show that growth rate near the maximum noise level in observation or communication, increases exponentially as noise decreases. This exponential effect makes the emergence of collective observation an easy outcome in an evolutionary process. Furthermore, we are able to quantify interesting effects such as accelerated growth, and simplification of decision making due to information amplification by communication. Finally, we show that an amount of noise in representation formation has more disadvantageous effect compared to the same noise in signal production.


title: The Design for a Nanoscale Single-Photon Spin Splitter

abstract: We propose using the effective spin-orbit interaction of light in Bragg-modulated cylindrical waveguides for the effcient separation of spin-up and spin-down photons emitted by a single photon emitter. Due to the spin and directional dependence of photonic stopbands in the waveguides, spin-up (down) photon propagation in the negative (positive) direction along the waveguide axis is blocked while the same photon freely propagates in the opposite direction.


title: Propagating bound states in the continuum in dielectric gratings

abstract: We consider propagating bound states in the continuum in dielectric gratings. The gratings consist of a slab with ridges periodically arranged ether on top or on the both sides of the slab. Based on the Fourier modal approach we recover the leaky zones above the line of light to identify the geometries of the gratings supporting Bloch bound states propagating in the direction perpendicular to the ridges. Most importantly, it is demonstrated that if a two-side grating possesses either mirror or glide symmetry the Bloch bound states are stable to variation of parameters as far as the above symmetries are preserved.


title: A generalized matrix Krylov subspace method for TV regularization

abstract: This paper presents an efficient algorithm to solve total variation (TV) regularizations of images contaminated by a both blur and noise. The unconstrained structure of the problem suggests that one can solve a constrained optimization problem by transforming the original unconstrained minimization problem to an equivalent constrained minimization one. An augmented Lagrangian method is developed to handle the constraints when the model is given with matrix variables, and an alternating direction method (ADM) is used to iteratively find solutions. The solutions of some sub-problems are belonging to subspaces generated by application of successive orthogonal projections onto a class of generalized matrix Krylov subspaces of increasing dimension.


title: Coverless information hiding based on Generative Model

abstract: A new coverless image information hiding method based on generative model is proposed, we feed the secret image to the generative model database, and generate a meaning-normal and independent image different from the secret image, then, the generated image is transmitted to the receiver and is fed to the generative model database to generate another image visually the same as the secret image. So we only need to transmit the meaning-normal image which is not related to the secret image, and we can achieve the same effect as the transmission of the secret image. This is the first time to propose the coverless image information hiding method based on generative model, compared with the traditional image steganography, the transmitted image does not embed any information of the secret image in this method, therefore, can effectively resist steganalysis tools. Experimental results show that our method has high capacity, safety and reliability.


title: Revealing hidden scenes by photon-efficient occlusion-based opportunistic active imaging

abstract: The ability to see around corners, i.e., recover details of a hidden scene from its reflections in the surrounding environment, is of considerable interest in a wide range of applications. However, the diffuse nature of light reflected from typical surfaces leads to mixing of spatial information in the collected light, precluding useful scene reconstruction. Here, we employ a computational imaging technique that opportunistically exploits the presence of occluding objects, which obstruct probe-light propagation in the hidden scene, to undo the mixing and greatly improve scene recovery. Importantly, our technique obviates the need for the ultrafast time-of-flight measurements employed by most previous approaches to hidden-scene imaging. Moreover, it does so in a photon-efficient manner based on an accurate forward model and a computational algorithm that, together, respect the physics of three-bounce light propagation and single-photon detection. Using our methodology, we demonstrate reconstruction of hidden-surface reflectivity patterns in a meter-scale environment from non-time-resolved measurements. Ultimately, our technique represents an instance of a rich and promising new imaging modality with important potential implications for imaging science.


title: Aurora: Providing Trusted System Services for Enclaves On an Untrusted System

abstract: Intel SGX provisions shielded executions for security-sensitive computation, but lacks support for trusted system services (TSS), such as clock, network and filesystem. This makes \textit{enclaves} vulnerable to Iago attacks~\cite{DBLP:conf/asplos/CheckowayS13} in the face of a powerful malicious system. To mitigate this problem, we present Aurora, a novel architecture that provides TSSes via a secure channel between enclaves and devices on top of an untrusted system, and implement two types of TSSes, i.e. clock and end-to-end network. We evaluate our solution by porting SQLite and OpenSSL into Aurora, experimental results show that SQLite benefits from a \textit{microsecond} accuracy trusted clock and OpenSSL gains end-to-end secure network with about 1ms overhead.


title: Collaborative Learning for Weakly Supervised Object Detection

abstract: Weakly supervised object detection has recently received much attention, since it only requires image-level labels instead of the bounding-box labels consumed in strongly supervised learning. Nevertheless, the save in labeling expense is usually at the cost of model accuracy. In this paper, we propose a simple but effective weakly supervised collaborative learning framework to resolve this problem, which trains a weakly supervised learner and a strongly supervised learner jointly by enforcing partial feature sharing and prediction consistency. For object detection, taking WSDDN-like architecture as weakly supervised detector sub-network and Faster-RCNN-like architecture as strongly supervised detector sub-network, we propose an end-to-end Weakly Supervised Collaborative Detection Network. As there is no strong supervision available to train the Faster-RCNN-like sub-network, a new prediction consistency loss is defined to enforce consistency of predictions between the two sub-networks as well as within the Faster-RCNN-like sub-networks. At the same time, the two detectors are designed to partially share features to further guarantee the model consistency at perceptual level. Extensive experiments on PASCAL VOC 2007 and 2012 data sets have demonstrated the effectiveness of the proposed framework.


title: Bayesian Optimization Using Monotonicity Information and Its Application in Machine Learning Hyperparameter

abstract: We propose an algorithm for a family of optimization problems where the objective can be decomposed as a sum of functions with monotonicity properties. The motivating problem is optimization of hyperparameters of machine learning algorithms, where we argue that the objective, validation error, can be decomposed as monotonic functions of the hyperparameters. Our proposed algorithm adapts Bayesian optimization methods to incorporate the monotonicity constraints. We illustrate the advantages of exploiting monotonicity using illustrative examples and demonstrate the improvements in optimization efficiency for some machine learning hyperparameter tuning applications.


title: Hartree-Fock study of an Anderson metal-insulator transition in the presence of Coulomb interaction: Two types of mobility edges and their multifractal scaling exponents

abstract: In summary, we investigated the role of Coulomb interactions in the nature of eigenfunction multifractality of an Anderson metal-insulator transition, based on the Hartree-Fock approximation and the Ewald summation technique. As a result, we showed that two types of mobility edges appear near the Fermi energy and at a high energy, respectively, where the low-energy mobility edge results from Coulomb interactions while the high-energy one is nothing but the mobility edge of the Anderson localization transition without electron correlations. Indeed, not only multifractal scaling exponents but also the multifractal singularity spectrum confirms the existence of two kinds of mobility edges: Their values differ from those of the Anderson metal-insulator transition and the singularity spectrum collapses into two types of curves, implying two kinds of scale-invariance, which depends on the energy scale. We speculate that this novel nature of the eigenfunction multifractality would serve as valuable information for possible instabilities near a metal-insulator transition in the presence of Coulomb interactions.


title: A family of ovoids in PG(3, 2^m) from cyclic codes

abstract: Ovoids in $\PG(3, q)$ have been an interesting topic in coding theory, combinatorics, and finite geometry for a long time. So far only two families are known. The first is the elliptic quadratics and the second is the Tits ovoids. In this article, we present a family of ovoids in $\PG(3, 2^m)$ for all $m$ which are from a family of irreducible cyclic codes.


title: Geometric Regularity Criteria for Incompressible Navier--Stokes Equations with Navier Boundary Conditions

abstract: We study the regularity criteria for weak solutions to the $3D$ incompressible Navier--Stokes equations in terms of the geometry of vortex structures, taking into account the boundary effects. A boundary regularity theorem is proved on regular domains with a class of oblique derivative boundary conditions, providing that the vorticity of the fluid is coherently aligned. In particular, we establish the boundary regularity on round balls, half-spaces and right circular cylindrical ducts, subject to the classical Navier and kinematic boundary conditions.


title: Supereigenvalue Models and Topological Recursion

abstract: We show that the Eynard-Orantin topological recursion, in conjunction with simple auxiliary equations, can be used to calculate all correlation functions of supereigenvalue models.


title: Automatic physical inference with information maximising neural networks

abstract: Compressing large data sets to a manageable number of summaries that are informative about the underlying parameters vastly simplifies both frequentist and Bayesian inference. When only simulations are available, these summaries are typically chosen heuristically, so they may inadvertently miss important information. We introduce a simulation-based machine learning technique that trains artificial neural networks to find non-linear functionals of data that maximise Fisher information: information maximising neural networks (IMNNs). In test cases where the posterior can be derived exactly, likelihood-free inference based on automatically derived IMNN summaries produces nearly exact posteriors, showing that these summaries are good approximations to sufficient statistics. In a series of numerical examples of increasing complexity and astrophysical relevance we show that IMNNs are robustly capable of automatically finding optimal, non-linear summaries of the data even in cases where linear compression fails: inferring the variance of Gaussian signal in the presence of noise; inferring cosmological parameters from mock simulations of the Lyman-{\alpha} forest in quasar spectra; and inferring frequency-domain parameters from LISA-like detections of gravitational waveforms. In this final case, the IMNN summary outperforms linear data compression by avoiding the introduction of spurious likelihood maxima. We anticipate that the automatic physical inference method described in this paper will be essential to obtain both accurate and precise cosmological parameter estimates from complex and large astronomical data sets, including those from LSST and Euclid.


title: Constraining the halo size from possible density profiles of hydrogen gas of Milky Way Galaxy

abstract: Galactic magnetic field (GMF) and secondary cosmic rays (CRs) (e.g. $^{10}$beryllium, boron, antiproton) are important components to understand the propagation of CRs in the Milky Way Galaxy. Realistic modeling of GMF is based on the Faraday rotation measurements of various Galactic and extragalactic radio sources and synchrotron emission from CR leptons in the radio frequency range, thereby providing information of halo height. On the other hand, diffusion coefficient and halo height are also estimated from the $^{10}$Be/$^{9}$Be and B/C ratios. Moreover, density distribution of gaseous components of interstellar medium (ISM) also plays an important role as secondary CRs are produced due to interaction of primary CRs with the gaseous components of ISM. We consider mainly molecular, atomic, and ionized components of hydrogen gas for our study. Recent observations and hydrodynamical simulations provide new forms of density profiles of hydrogen gas in Milky Way Galaxy. In the \texttt{DRAGON} code, we have implemented our chosen density profiles, based on realistic observations in radio, X-ray and $\gamma$-ray wavebands, and hydrodynamical simulations of interstellar hydrogen gas to study the variation in the height of the halo required to fit the observed CR spectra. Our results show the halo height ($z_{t}$) varies in the range of 2 to 6 kpc for the density profiles considered in our work.


title: Stability and convergence of a conservative finite difference scheme for the modified Hunter--Saxton equation

abstract: The modified Hunter--Saxton equation models the propagation of short capillary-gravity waves. As it involves a mixed derivative, its initial value problem on the periodic domain is much more complicated than the standard evolutionary equations. Although its local well-posedness has recently been proved, the behavior of its solution is yet to be investigated. In this paper, to develop a reliable numerical method for this problem, we derive a conservative finite difference scheme. Then, we rigorously prove not only its stability in the sense of the uniform norm but also its uniform convergence to sufficiently smooth exact solutions. Discrete conservation laws are used to overcome the difficulty due to the mixed derivative.


title: Hierarchy of the nonlocal advantage of quantum coherence and Bell nonlocality

abstract: Quantum coherence and nonlocality capture nature of quantumness from different aspects. For the two-qubit states with diagonal correlation matrix, we prove strictly a hierarchy between the nonlocal advantage of quantum coherence (NAQC) and Bell nonlocality by showing geometrically that the NAQC created on one qubit by local measurement on another qubit captures quantum correlation which is stronger than Bell nonlocality. For general states, our numerical results present strong evidence that this hierarchy may still hold. So the NAQC states form a subset of the states that can exhibit Bell nonlocality. We further propose a measure of NAQC that can be used for a quantitative study of it in bipartite states.


title: Harmonics of Solar Radio Spikes at Metric Wavelengths

abstract: This paper presents the latest observations from the newly-built solar radio spectrograph at the \emph{Chashan Solar Observatory}. On July 18 2016, the spectrograph records a solar spike burst event, which has several episodes showing harmonic structures, with the second, third, and fourth harmonics. The lower harmonic radio spike emissions are observed later than the higher harmonic bands, and the temporal delay of the second (third) harmonic relative to the fourth harmonic is about 30\ --\ 40 (10) ms. Based on the electron cyclotron maser emission mechanism, we analyze possible causes of the temporal delay and further infer relevant coronal parameters, such as the magnetic field strength and the electron density at the radio source.


title: Tubule segmentation of fluorescence microscopy images based on convolutional neural networks with inhomogeneity correction

abstract: Fluorescence microscopy has become a widely used tool for studying various biological structures of in vivo tissue or cells. However, quantitative analysis of these biological structures remains a challenge due to their complexity which is exacerbated by distortions caused by lens aberrations and light scattering. Moreover, manual quantification of such image volumes is an intractable and error-prone process, making the need for automated image analysis methods crucial. This paper describes a segmentation method for tubular structures in fluorescence microscopy images using convolutional neural networks with data augmentation and inhomogeneity correction. The segmentation results of the proposed method are visually and numerically compared with other microscopy segmentation methods. Experimental results indicate that the proposed method has better performance with correctly segmenting and identifying multiple tubular structures compared to other methods.


title: Creative geometry

abstract: This work is a continuation of [1]. As in the previous article, here we will describe some interesting ideas and a lot of new theorems in plane geometry related to them.


title: To the problem of "The Instrumental complex for ontological engineering purpose" software system design

abstract: The given work describes methodological principles of design instrumental complex of ontological purpose. Instrumental complex intends for the implementation of the integrated information technologies automated build of domain ontologies. Results focus on enhancing the effectiveness of the automatic analysis and understanding of natural-language texts, building of knowledge description of subject areas (primarily in the area of science and technology) and for interdisciplinary research in conjunction with the solution of complex problems.


title: Correspondence between the physics of extremal black holes and that of stable heavy atomic nuclei

abstract: Extremal black holes are immune of Hawking evaporation. On the other hand, some heavy atomic nuclei feature extraordinary stability to spontaneous transmutations changing their mass numbers. The fact that extremal black holes and stable nuclei share a common trait, that of defying spontaneous ejection of their constituents, suggests that a good part of nuclear physics is modelled on physics of extremal black holes through a simple version of gauge/gravity duality. A general criterion for discriminating between stable and unstable microscopic systems can be formulated to gain a new insight into some imperfectly understood phenomena, such as instability of truly neutral spinless particles (Higgs bosons, $\pi_0$, quarkonia, glueballs).


title: Construction of Grothendieck categories with enough compressible objects using colored quivers

abstract: We introduce a new method to construct a Grothendieck category from a given colored quiver. This is a variant of the construction used to prove that every partially ordered set arises as the atom spectrum of a Grothendieck category. Using the new method, we prove that for every finite partially ordered set, there exists a locally noetherian Grothendieck category such that every nonzero object contains a compressible subobject and its atom spectrum is isomorphic to the given partially ordered set.


title: Extreme waves in crossing sea states

abstract: The evolution of crossing sea states and the emergence of rogue waves in such systems are studied via numerical simulations performed using a higher order spectral method to solve the free surface Euler equations with a flat bottom. Two classes of crossing sea states are analysed: one using directional spectra from the Draupner wave crossing at different angles, another considering a Draupner-like spectra crossed with a narrowband JONSWAP state to model spectral growth between wind sea and swell. These two classes of crossing sea states are constructed using the spectral output of a WAVEWATCH III hindcast on the Draupner rogue wave event. We measure ensemble statistical moments as functions of time, finding that although the crossing angle influences the statistical evolution to some degree, there are no significant third order effects present. Additionally, we pay particular attention to the mean sea level measured beneath extreme crest heights, the elevation of which (set up or set down) is shown to be related to the spectral content in the low wavenumber region of the corresponding spectrum.


title: Constructing first-principles phase diagrams of amorphous LixSi using machine-learning-assisted sampling with an evolutionary algorithm

abstract: The atomistic modeling of amorphous materials requires structure sizes and sampling statistics that are challenging to achieve with first-principles methods. Here, we propose a methodology to speed up the sampling of amorphous and disordered materials using a combination of a genetic algorithm and a specialized machine-learning potential based on artificial neural networks (ANN). We show for the example of the amorphous LiSi alloy that around 1,000 first-principles calculations are sufficient for the ANN potential assisted sampling of low-energy atomic configurations in the entire amorphous LixSi phase space. The obtained phase diagram is validated by comparison with the results from an extensive sampling of LixSi configurations using molecular dynamics simulations and a general ANN potential trained to ~45,000 first-principles calculations. This demonstrates the utility of the approach for the first-principles modeling of amorphous materials.


title: From acquaintance to best friend forever: robust and fine-grained inference of social tie strengths

abstract: Social networks often provide only a binary perspective on social ties: two individuals are either connected or not. While sometimes external information can be used to infer the strength of social ties, access to such information may be restricted or impractical. Sintos and Tsaparas (KDD 2014) first suggested to infer the strength of social ties from the topology of the network alone, by leveraging the Strong Triadic Closure (STC) property. The STC property states that if person A has strong social ties with persons B and C, B and C must be connected to each other as well (whether with a weak or strong tie). Sintos and Tsaparas exploited this to formulate the inference of the strength of social ties as NP-hard optimization problem, and proposed two approximation algorithms. We refine and improve upon this landmark paper, by developing a sequence of linear relaxations of this problem that can be solved exactly in polynomial time. Usefully, these relaxations infer more fine-grained levels of tie strength (beyond strong and weak), which also allows to avoid making arbitrary strong/weak strength assignments when the network topology provides inconclusive evidence. One of the relaxations simultaneously infers the presence of a limited number of STC violations. An extensive theoretical analysis leads to two efficient algorithmic approaches. Finally, our experimental results elucidate the strengths of the proposed approach, and sheds new light on the validity of the STC property in practice.


title: A note on a class of gyrogroups

abstract: In \cite{1}, a class of gyrogroups $(G,\odot)$ has been associated to certain groups $(G,\cdot)$. We give a necessary and sufficient condition for $(G,\odot)$ to be gyrocommutative. We also prove that under a suitable assumption two finite groups central by a $2$-Engel group are isomorphic if and only if their associated gyrogroups are isomorphic.


title: On integrability of geodesics in near-horizon extremal geometries: Case of Myers-Perry black holes in arbitrary dimensions

abstract: We investigate dynamics of probe particles moving in the near-horizon limit of extremal Myers-Perry black holes in arbitrary dimensions. Employing ellipsoidal coordinates we show that this problem is integrable and separable, extending the results of the odd dimensional case discussed in arXiv:1703.00713. We find the general solution of the Hamilton-Jacobi equations for these systems and present explicit expressions for the Liouville integrals, discuss Killing tensors and the associated constants of motion. We analyze special cases of the background near-horizon geometry were the system possesses more constants of motion and is hence superintegrable. Finally, we consider near-horizon extremal vanishing horizon case which happens for Myers-Perry black holes in odd dimensions and show that geodesic equations on this geometry are also separable and work out its integrals of motion.


title: A note on subgroup commutativity degrees of finite groups

abstract: In this note we give some new results concerning the subgroup commutativity degree of a finite group $G$. These are obtained by considering the minimum of subgroup commutativity degrees of all sections of $G$.


title: A nilpotency criterion for finite groups

abstract: Let $G$ be a finite group. In this short note, we give a criterion of nilpotency of $G$ based on the existence of elements of certain order in each section of $G$.


title: Breaking points in centralizer lattices

abstract: In this note, we prove that the centralizer lattice ${\mathfrak C}(G)$ of a group $G$ cannot be written as a union of two proper intervals. In particular, it follows that ${\mathfrak C}(G)$ has no breaking point. As an application, we show that the generalized quaternion $2$-groups are not capable.


title: Breaking points in the poset of conjugacy classes of subgroups of a finite group

abstract: In this note, we determine the finite groups whose poset of conjugacy classes of subgroups has breaking points. This leads to a new characterization of the generalized quaternion $2$-groups. A generalization of this property is also studied.


title: Minimal non-Iwasawa finite groups

abstract: In this note, we describe first the structure of minimal non-Iwasawa finite groups. Then we determine the minimal non-Iwasawa finite groups which are modular. Also, we find connections between minimal non-Iwasawa finite groups and the subgroup commutativity degree, and we give an example of a family of non-nilpotent modular finite groups $G_n$, $n\in\mathbb{N}$, whose subgroup commutativity degree tends to $1$ as $n$ tends to infinity.


title: Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems

abstract: Neural networks have been widely used to solve complex real-world problems. Due to the complicate, nonlinear, non-convex nature of neural networks, formal safety guarantees for the behaviors of neural network systems will be crucial for their applications in safety-critical systems. In this paper, the reachable set estimation and verification problems for Nonlinear Autoregressive-Moving Average (NARMA) models in the forms of neural networks are addressed. The neural network involved in the model is a class of feed-forward neural networks called Multi-Layer Perceptron (MLP). By partitioning the input set of an MLP into a finite number of cells, a layer-by-layer computation algorithm is developed for reachable set estimation for each individual cell. The union of estimated reachable sets of all cells forms an over-approximation of reachable set of the MLP. Furthermore, an iterative reachable set estimation algorithm based on reachable set estimation for MLPs is developed for NARMA models. The safety verification can be performed by checking the existence of intersections of unsafe regions and estimated reachable set. Several numerical examples are provided to illustrate our approach.


title: Mining Container Image Repositories for Software Configuration and Beyond

abstract: This paper introduces the idea of mining container image repositories for configuration and other deployment information of software systems. Unlike traditional software repositories (e.g., source code repositories and app stores), image repositories encapsulate the entire execution ecosystem for running target software, including its configurations, dependent libraries and components, and OS-level utilities, which contributes to a wealth of data and information. We showcase the opportunities based on concrete software engineering tasks that can benefit from mining image repositories. To facilitate future mining efforts, we summarize the challenges of analyzing image repositories and the approaches that can address these challenges. We hope that this paper will stimulate exciting research agenda of mining this emerging type of software repositories.


title: Dynamic Pricing in Shared Mobility on Demand Service

abstract: We consider a profit maximization problem in an urban mobility on-demand service, of which the operator owns a fleet, provides both exclusive and shared trip services, and dynamically determines prices of offers. With knowledge of the traveler preference and the distribution of future trip requests, the operator wants to find the pricing strategy that optimizes the total operating profit of multiple trips during a specific period, namely, a day in this paper. This problem is first formulated and analyzed within the dynamic programming framework, where a general approach combining parametric rollout policy and stochastic optimization is proposed. A discrete-choice-based price optimization model is then used for the request level optimal decision problem and leads to a practical and computationally tractable algorithm for the problem. Our algorithm is evaluated with a simulated experiment in the urban traffic network in Langfang, China, and it is shown to generate considerably higher profit than naive strategies. Further analysis shows that this method also leads to higher congestion level and lower service capacity in the urban traffic system, which highlights a need for policy interventions that balance the private profit making and the system level optimality.


title: The Importance of Norm Regularization in Linear Graph Embedding: Theoretical Analysis and Empirical Demonstration

abstract: Learning distributed representations for nodes in graphs is a crucial primitive in network analysis with a wide spectrum of applications. Linear graph embedding methods learn such representations by optimizing the likelihood of both positive and negative edges while constraining the dimension of the embedding vectors. We argue that the generalization performance of these methods is not due to the dimensionality constraint as commonly believed, but rather the small norm of embedding vectors. Both theoretical and empirical evidence are provided to support this argument: (a) we prove that the generalization error of these methods can be bounded by limiting the norm of vectors, regardless of the embedding dimension; (b) we show that the generalization performance of linear graph embedding methods is correlated with the norm of embedding vectors, which is small due to the early stopping of SGD and the vanishing gradients. We performed extensive experiments to validate our analysis and showcased the importance of proper norm regularization in practice.


title: Inducing Super-Approximation

abstract: Let $\Gamma_2\subseteq \Gamma_1$ be finitely generated subgroups of ${\rm GL}_{n_0}(\mathbb{Z}[1/q_0])$. For $i=1$ or $2$, let $\mathbb{G}_i$ be the Zariski-closure of $\Gamma_i$ in $({\rm GL}_{n_0})_{\mathbb{Q}}$, $\mathbb{G}_i^{\circ}$ be the Zariski-connected component of $\mathbb{G}_i$, and let $G_i$ be the closure of $\Gamma_i$ in $\prod_{p\nmid q_0}{\rm GL}_{n_0}(\mathbb{Z}_p)$. In this article we prove that, if $\mathbb{G}_1^{\circ}$ is the smallest closed normal subgroup of $\mathbb{G}_1^{\circ}$ which contains $\mathbb{G}_2^{\circ}$ and $\Gamma_2\curvearrowright G_2$ has spectral gap, then $\Gamma_1\curvearrowright G_1$ has spectral gap.


title: Towards a Lightweight Multi-Cloud DSL for Elastic and Transferable Cloud-native Applications

abstract: Cloud-native applications are intentionally designed for the cloud in order to leverage cloud platform features like horizontal scaling and elasticity - benefits coming along with cloud platforms. In addition to classical (and very often static) multi-tier deployment scenarios, cloud-native applications are typically operated on much more complex but elastic infrastructures. Furthermore, there is a trend to use elastic container platforms like Kubernetes, Docker Swarm or Apache Mesos. However, especially multi-cloud use cases are astonishingly complex to handle. In consequence, cloud-native applications are prone to vendor lock-in. Very often TOSCA-based approaches are used to tackle this aspect. But, these application topology defining approaches are limited in supporting multi-cloud adaption of a cloud-native application at runtime. In this paper, we analyzed several approaches to define cloud-native applications being multi-cloud transferable at runtime. We have not found an approach that fully satisfies all of our requirements. Therefore we introduce a solution proposal that separates elastic platform definition from cloud application definition. We present first considerations for a domain specific language for application definition and demonstrate evaluation results on the platform level showing that a cloud-native application can be transferred between different cloud service providers like Azure and Google within minutes and without downtime. The evaluation covers public and private cloud service infrastructures provided by Amazon Web Services, Microsoft Azure, Google Compute Engine and OpenStack.


title: Coherent Scattering of Near-Resonant Light by a Dense, Microscopic Cloud of Cold Two-Level Atoms: Experiment versus Theory

abstract: We measure the coherent scattering of low-intensity, near-resonant light by a cloud of laser-cooled two-level rubidium atoms with a size comparable to the wavelength of light. We isolate a two-level atomic structure by applying a 300G magnetic field. We measure both the temporal and the steady-state coherent optical response of the cloud for various detunings of the laser and for atom numbers ranging from 5 to 100. We compare our results to a microscopic coupled-dipole model and to a multi-mode, paraxial Maxwell-Bloch model. In the low-intensity regime, both models are in excellent agreement, thus validating the Maxwell-Bloch model. Comparing to the data, the models are found in very good agreement for relatively low densities ($n/k^3\lesssim 0.1$), while significant deviations start to occur at higher density. This disagreement indicates that light scattering in dense, cold atomic ensembles is still not quantitatively understood, even in pristine experimental conditions.


title: Directional differentiability for elliptic quasi-variational inequalities of obstacle type

abstract: The directional differentiability of the solution map of obstacle type quasi-variational inequalities (QVIs) with respect to perturbations on the forcing term is studied. The classical result of Mignot is then extended to the quasi-variational case under assumptions that allow multiple solutions of the QVI. The proof involves selection procedures for the solution set and represents the directional derivative as the limit of a monotonic sequence of directional derivatives associated to specific variational inequalities. Additionally, estimates on the coincidence set and several simplifications under higher regularity are studied. The theory is illustrated by a detailed study of an application to thermoforming comprising of modelling, analysis and some numerical experiments.


title: About being the Tortoise or the Hare? - A Position Paper on Making Cloud Applications too Fast and Furious for Attackers

abstract: Cloud applications expose - beside service endpoints - also potential or actual vulnerabilities. And attackers have several advantages on their side. They can select the weapons, the point of time and the point of attack. Very often cloud application security engineering efforts focus to harden the fortress walls but seldom assume that attacks may be successful. So, cloud applications rely on their defensive walls but seldom attack intruders actively. Biological systems are different. They accept that defensive "walls" can be breached at several layers and therefore make use of an active and adaptive defense system to attack potential intruders - an immune system. This position paper proposes such an immune system inspired approach to ensure that even undetected intruders can be purged out of cloud applications. This makes it much harder for intruders to maintain a presence on victim systems. Evaluation experiments with popular cloud service infrastructures (Amazon Web Services, Google Compute Engine, Azure and OpenStack) showed that this could minimize the undetected acting period of intruders down to minutes.


title: The possible members of the $5^1S_0$ meson nonet

abstract: The strong decays of the $5^1S_0$ $q\bar{q}$ states are evaluated in the $^3P_0$ model with two types of space wave functions. Comparing the model expectations with the experimental data for the $\pi(2360)$, $\eta(2320)$, $X(2370)$, and $X(2500)$, we suggest that the $\pi(2360)$, $\eta(2320)$, and $X(2500)$ can be assigned as the members of the $5^1S_0$ meson nonet, while the $5^1S_0$ assignment for the $X(2370)$ is not favored by its width. The $5^1S_0$ kaon is predicted to have a mass of about 2418 MeV and a width of about 163 MeV or 225 MeV.


title: Crit\`eres de qualit\'e d'un classifieur g\'en\'eraliste

abstract: This paper considers the problem of choosing a good classifier. For each problem there exist an optimal classifier, but none are optimal, regarding the error rate, in all cases. Because there exists a large number of classifiers, a user would rather prefer an all-purpose classifier that is easy to adjust, in the hope that it will do almost as good as the optimal. In this paper we establish a list of criteria that a good generalist classifier should satisfy . We first discuss data analytic, these criteria are presented. Six among the most popular classifiers are selected and scored according to these criteria. Tables allow to easily appreciate the relative values of each. In the end, random forests turn out to be the best classifiers.


title: Tips, guidelines and tools for managing multi-label datasets: the mldr.datasets R package and the Cometa data repository

abstract: New proposals in the field of multi-label learning algorithms have been growing in number steadily over the last few years. The experimentation associated with each of them always goes through the same phases: selection of datasets, partitioning, training, analysis of results and, finally, comparison with existing methods. This last step is often hampered since it involves using exactly the same datasets, partitioned in the same way and using the same validation strategy. In this paper we present a set of tools whose objective is to facilitate the management of multi-label datasets, aiming to standardize the experimentation procedure. The two main tools are an R package, mldr.datasets, and a web repository with datasets, Cometa. Together, these tools will simplify the collection of datasets, their partitioning, documentation and export to multiple formats, among other functions. Some tips, recommendations and guidelines for a good experimental analysis of multi-label methods are also presented.


title: Persistence Fisher Kernel: A Riemannian Manifold Kernel for Persistence Diagrams

abstract: Algebraic topology methods have recently played an important role for statistical analysis with complicated geometric structured data such as shapes, linked twist maps, and material data. Among them, \textit{persistent homology} is a well-known tool to extract robust topological features, and outputs as \textit{persistence diagrams} (PDs). However, PDs are point multi-sets which can not be used in machine learning algorithms for vector data. To deal with it, an emerged approach is to use kernel methods, and an appropriate geometry for PDs is an important factor to measure the similarity of PDs. A popular geometry for PDs is the \textit{Wasserstein metric}. However, Wasserstein distance is not \textit{negative definite}. Thus, it is limited to build positive definite kernels upon the Wasserstein distance \textit{without approximation}. In this work, we rely upon the alternative \textit{Fisher information geometry} to propose a positive definite kernel for PDs \textit{without approximation}, namely the Persistence Fisher (PF) kernel. Then, we analyze eigensystem of the integral operator induced by the proposed kernel for kernel machines. Based on that, we derive generalization error bounds via covering numbers and Rademacher averages for kernel machines with the PF kernel. Additionally, we show some nice properties such as stability and infinite divisibility for the proposed kernel. Furthermore, we also propose a linear time complexity over the number of points in PDs for an approximation of our proposed kernel with a bounded error. Throughout experiments with many different tasks on various benchmark datasets, we illustrate that the PF kernel compares favorably with other baseline kernels for PDs.


title: The recalibration of the UVES-POP stellar spectral library

abstract: We have re-reduced all spectra from the UVES-POP stellar spectral library using the version 5.5.7 of the UVES pipeline and an algorithm we designed, which allows us to remove ripples in regions where echelle orders are stitched. These ripples are caused by the offset of a flat field with respect to a science frame and under- or oversubtraction of scattered light. We have also developed an approach to merge 6 UVES spectral chunks divided by gaps in the spectral coverage by using synthetic stellar atmospheres to predict the flux difference between the segments. At the end, we improved the flux calibration quality to 2% or better for 85% of 430 spectra in the library.


title: Magnetic second-order topological insulators and semimetals

abstract: We propose magnetic second-order topological insulators (SOTIs). First, we study a three-dimensional model. It is pointed out that the previously proposed topological hinge insulator has actually surface states along the [001] direction in addition to hinge states. We gap out these surface states by introducing magnetization, obtaining a SOTI only with hinge states. The bulk topological number is the $Z_2$ index protected by the combined symmetry of the four-fold rotation and the inversion symmetry. We next study two dimensional magnetic SOTIs, where the corner states are robust also in the presence of the magnetization. Finally, we construct a magnetic second-order topological semimetals by layering the two-dimensional magnetic SOTIs, where hinge-arc states are robust also in the presence of the magnetization.


title: Junk News on Military Affairs and National Security: Social Media Disinformation Campaigns Against US Military Personnel and Veterans

abstract: Social media provides political news and information for both active duty military personnel and veterans. We analyze the subgroups of Twitter and Facebook users who spend time consuming junk news from websites that target US military personnel and veterans with conspiracy theories, misinformation, and other forms of junk news about military affairs and national security issues. (1) Over Twitter we find that there are significant and persistent interactions between current and former military personnel and a broad network of extremist, Russia-focused, and international conspiracy subgroups. (2) Over Facebook, we find significant and persistent interactions between public pages for military and veterans and subgroups dedicated to political conspiracy, and both sides of the political spectrum. (3) Over Facebook, the users who are most interested in conspiracy theories and the political right seem to be distributing the most junk news, whereas users who are either in the military or are veterans are among the most sophisticated news consumers, and share very little junk news through the network.


title: Social Media, News and Political Information during the US Election: Was Polarizing Content Concentrated in Swing States?

abstract: US voters shared large volumes of polarizing political news and information in the form of links to content from Russian, WikiLeaks and junk news sources. Was this low quality political information distributed evenly around the country, or concentrated in swing states and particular parts of the country? In this data memo we apply a tested dictionary of sources about political news and information being shared over Twitter over a ten day period around the 2016 Presidential Election. Using self-reported location information, we place a third of users by state and create a simple index for the distribution of polarizing content around the country. We find that (1) nationally, Twitter users got more misinformation, polarizing and conspiratorial content than professionally produced news. (2) Users in some states, however, shared more polarizing political news and information than users in other states. (3) Average levels of misinformation were higher in swing states than in uncontested states, even when weighted for the relative size of the user population in each state. We conclude with some observations about the impact of strategically disseminated polarizing information on public life.