title: Proceedings of NeurIPS 2019 Workshop on Machine Learning for the Developing World: Challenges and Risks of ML4D

abstract: This is the proceedings of the 3rd ML4D workshop which was help in Vancouver, Canada on December 13, 2019 as part of the Neural Information Processing Systems conference.


title: Gelfand triples for the Kohn-Nirenberg quantization on homogeneous Lie groups

abstract: In this paper, we study the group Fourier transform and the Kohn-Nirenberg quantization for homogeneous Lie groups as mappings between certain Gelfand triples. For this, we restrict our considerations to the case, where the homogeneous Lie group $G$ admits irreducible unitary representations, that are square integrable modulo the center $Z(G)$ of $G$, and where $\dim Z(G)=1$. Replacing the Schwartz space by a certain subspace $\mathcal S_*(G) \hookrightarrow \mathcal S(G)$, we characterise the range of the group Fourier transform on $\mathcal S_*(G)$ and construct distributions and Gelfand triples around $L^2(G,\mu)$ and its Fourier image $L^2(\hat G,\hat \mu)$, such that the Fourier transform becomes a Gelfand triple isomorphism. We give results on the multiplication of distributions with a large class of vector valued smooth functions and use this to establish the Kohn-Nirenberg quantization as an isomorphism for our Gelfand triples and provide an explicit formula for the Kohn-Nirenberg symbol of an operator.


title: Complex Hadamard Diagonalisable Graphs

abstract: In light of recent interest in Hadamard diagonalisable graphs (graphs whose Laplacian matrix is diagonalisable by a Hadamard matrix), we generalise this notion from real to complex Hadamard matrices. We give some basic properties and methods of constructing such graphs. We show that a large class of complex Hadamard diagonalisable graphs have vertex sets forming an equitable partition, and that the Laplacian eigenvalues must be even integers. We provide a number of examples and constructions of complex Hadamard diagonalisable graphs, including two special classes of graphs: the Cayley graphs over $\mathbb{Z}_r^d$, and the non--complete extended $p$--sum (NEPS). We discuss necessary and sufficient conditions for $(\alpha, \beta)$--Laplacian fractional revival and perfect state transfer on continuous--time quantum walks described by complex Hadamard diagonalisable graphs and provide examples of such quantum state transfer.


title: On the oscillations and future asymptotics of locally rotationally symmetric Bianchi type III cosmologies with a massive scalar field

abstract: We analyse spatially homogenous cosmological models of locally rotationally symmetric Bianchi type III with a massive scalar field as matter model. Our main result concerns the future asymptotics of these spacetimes and gives the dominant time behaviour of the metric and the scalar field for all solutions for late times. This metric is forever expanding in all directions, however in one spatial direction only at a logarithmic rate, while at a power-law rate in the other two. Although the energy density goes to zero, it is matter dominated in the sense that the metric components differ qualitatively from the corresponding vacuum future asymptotics. Our results rely on a conjecture for which we give strong analytical and numerical support. For this we apply methods from the theory of averaging in nonlinear dynamical systems. This allows us to control the oscillations entering the system through the scalar field by the Klein-Gordon equation in a perturbative approach.


title: The algebraic and geometric classification of nilpotent anticommutative algebras

abstract: We give algebraic and geometric classifications of $6$-dimensional complex nilpotent anticommutative algebras. Specifically, we find that, up to isomorphism, there are $14$ one-parameter families of $6$-dimensional nilpotent anticommutative algebras, complemented by $130$ additional isomorphism classes. The corresponding geometric variety is irreducible and determined by the Zariski closure of a one-parameter family of algebras. In particular, there are no rigid $6$-dimensional complex nilpotent anticommutative algebras.


title: A Comprehensive and Modularized Statistical Framework for Gradient Norm Equality in Deep Neural Networks

abstract: In recent years, plenty of metrics have been proposed to identify networks that are free of gradient explosion and vanishing. However, due to the diversity of network components and complex serial-parallel hybrid connections in modern DNNs, the evaluation of existing metrics usually requires strong assumptions, complex statistical analysis, or has limited application fields, which constraints their spread in the community. In this paper, inspired by the Gradient Norm Equality and dynamical isometry, we first propose a novel metric called Block Dynamical Isometry, which measures the change of gradient norm in individual block. Because our Block Dynamical Isometry is norm-based, its evaluation needs weaker assumptions compared with the original dynamical isometry. To mitigate the challenging derivation, we propose a highly modularized statistical framework based on free probability. Our framework includes several key theorems to handle complex serial-parallel hybrid connections and a library to cover the diversity of network components. Besides, several sufficient prerequisites are provided. Powered by our metric and framework, we analyze extensive initialization, normalization, and network structures. We find that Gradient Norm Equality is a universal philosophy behind them. Then, we improve some existing methods based on our analysis, including an activation function selection strategy for initialization techniques, a new configuration for weight normalization, and a depth-aware way to derive coefficients in SeLU. Moreover, we propose a novel normalization technique named second moment normalization, which is theoretically 30% faster than batch normalization without accuracy loss. Last but not least, our conclusions and methods are evidenced by extensive experiments on multiple models over CIFAR10 and ImageNet.


title: Mechanism of the Resonant Enhancement of Electron Drift in Nanometre Semiconductor Superlattices Subjected to Electric and Inclined Magnetic Fields

abstract: We address the increase of electron drift velocity that arises in semiconductor superlattices (SLs) subjected to constant electric and magnetic fields. It occurs if the magnetic field possesses nonzero components both along and perpendicular to the SL axis and the Bloch oscillations along the SL axis become resonant with cyclotron rotation in the transverse plane. It is a phenomenon of considerable interest, so that it is important to understand the underlying mechanism. In an earlier Letter (Phys. Rev. Lett. 114, 166802 (2015)) we showed that, contrary to a general belief that drift enhancement occurs through chaotic diffusion along a stochastic web (SW) within semiclassical collisionless dynamics, the phenomenon actually arises through a non-chaotic mechanism. In fact, any chaos that occurs tends to reduce the drift. We now provide fuller details, elucidating the mechanism in physical terms, and extending the investigation. In particular, we: (i) demonstrate that pronounced drift enhancement can still occur even in the complete absence of an SW; (ii) show that, where an SW does exist and its characteristic slow dynamics comes into play, it suppresses the drift enhancement even before strong chaos is manifested; (iii) generalize our theory for non-small temperature, showing that heating does not affect the enhancement mechanism and accounting for some earlier numerical observations; (iv) demonstrate that certain analytic results reported previously are incorrect; (v) provide an extended critical review of the subject and closely related issues; and (vi) discuss some challenging problems for the future.


title: Exact semidefinite programming bounds for packing problems

abstract: In this paper we give an algorithm to round the floating point output of a semidefinite programming solver to a solution over the rationals or a quadratic extension of the rationals. We apply this to get sharp bounds for packing problems, and we use these sharp bounds to prove that certain optimal packing configurations are unique up to rotations. In particular, we show that the configuration coming from the $\mathsf{E}_8$ root lattice is the unique optimal code with minimal angular distance $\pi/3$ on the hemisphere in $\mathbb R^8$, and we prove that the three-point bound for the $(3, 8, \vartheta)$-spherical code, where $\vartheta$ is such that $\cos \vartheta = (2\sqrt{2}-1)/7$, is sharp by rounding to $\mathbb Q[\sqrt{2}]$. We also use our machinery to compute sharp upper bounds on the number of spheres that can be packed into a larger sphere.


title: Multi-transversals for Triangles and the Tuza's Conjecture

abstract: In this paper, we study a primal and dual relationship about triangles: For any graph $G$, let $\nu(G)$ be the maximum number of edge-disjoint triangles in $G$, and $\tau(G)$ be the minimum subset $F$ of edges such that $G \setminus F$ is triangle-free. It is easy to see that $\nu(G) \leq \tau(G) \leq 3 \nu(G)$, and in fact, this rather obvious inequality holds for a much more general primal-dual relation between $k$-hyper matching and covering in hypergraphs. Tuza conjectured in $1981$ that $\tau(G) \leq 2 \nu(G)$, and this question has received attention from various groups of researchers in discrete mathematics, settling various special cases such as planar graphs and generalized to bounded maximum average degree graphs, some cases of minor-free graphs, and very dense graphs. Despite these efforts, the conjecture in general graphs has remained wide open for almost four decades. In this paper, we provide a proof of a non-trivial consequence of the conjecture; that is, for every $k \geq 2$, there exist a (multi)-set $F \subseteq E(G): |F| \leq 2k \nu(G)$ such that each triangle in $G$ overlaps at least $k$ elements in $F$. Our result can be seen as a strengthened statement of Krivelevich's result on the fractional version of Tuza's conjecture (and we give some examples illustrating this.) The main technical ingredient of our result is a charging argument, that locally identifies edges in $F$ based on a local view of the packing solution. This idea might be useful in further studying the primal-dual relations in general and the Tuza's conjecture in particular.


title: A Generalized Deep Learning Framework for Whole-Slide Image Segmentation and Analysis

abstract: Histopathology tissue analysis is considered the gold standard in cancer diagnosis and prognosis. Given the large size of these images and the increase in the number of potential cancer cases, an automated solution as an aid to histopathologists is highly desirable. In the recent past, deep learning-based techniques have provided state of the art results in a wide variety of image analysis tasks, including analysis of digitized slides. However, the size of images and variability in histopathology tasks makes it a challenge to develop an integrated framework for histopathology image analysis. We propose a deep learning-based framework for histopathology tissue analysis. We demonstrate the generalizability of our framework, including training and inference, on several open-source datasets, which include CAMELYON (breast cancer metastases), DigestPath (colon cancer), and PAIP (liver cancer) datasets. We discuss multiple types of uncertainties pertaining to data and model, namely aleatoric and epistemic, respectively. Simultaneously, we demonstrate our model generalization across different data distribution by evaluating some samples on TCGA data. On CAMELYON16 test data (n=139) for the task of lesion detection, the FROC score achieved was 0.86 and in the CAMELYON17 test-data (n=500) for the task of pN-staging the Cohen's kappa score achieved was 0.9090 (third in the open leaderboard). On DigestPath test data (n=212) for the task of tumor segmentation, a Dice score of 0.782 was achieved (fourth in the challenge). On PAIP test data (n=40) for the task of viable tumor segmentation, a Jaccard Index of 0.75 (third in the challenge) was achieved, and for viable tumor burden, a score of 0.633 was achieved (second in the challenge). Our entire framework and related documentation are freely available at GitHub and PyPi.


title: Optimal Scheduling of Content Caching Subject to Deadline

abstract: Content caching at the edge of network is a promising technique to alleviate the burden of backhaul networks. In this paper, we consider content caching along time in a base station with limited cache capacity. As the popularity of contents may vary over time, the contents of cache need to be updated accordingly. In addition, a requested content may have a delivery deadline within which the content need to be obtained. Motivated by these, we address optimal scheduling of content caching in a time-slotted system under delivery deadline and cache capacity constraints. The objective is to minimize a cost function that captures the load of backhaul links. For our optimization problem we prove its NP-hardness via a reduction from the Partition problem. For problem solving, via a mathematical reformulation, we develop a solution approach based on repeatedly applying a column generation algorithm and a problem-tailored rounding algorithm. In addition, two greedy algorithms are developed based on existing algorithms from the literature. Finally, we present extensive simulations that verify the effectiveness of our solution approach in obtaining near-to-optimal solutions in comparison to greedy algorithms. The solutions obtained from our solution approach are within 1% from the global optimum.


title: Pump Probe Spectroscopy of Bose Polarons: Dynamical Formation and Coherence

abstract: We propose and investigate a pump-probe spectroscopy scheme to unveil the time-resolved dynamics of fermionic or bosonic impurities immersed in a harmonically trapped Bose-Einstein condensate. In this scheme a pump pulse initially transfers the impurities from a noninteracting to a resonantly interacting spin-state and, after a finite time in which the system evolves freely, the probe pulse reverses this transition. This directly allows to monitor the nonequilibrium dynamics of the impurities as the dynamical formation of coherent attractive or repulsive Bose polarons and signatures of their induced-interactions are imprinted in the probe spectra. We show that for interspecies repulsions exceeding the intraspecies ones a temporal orthogonality catastrophe occurs, followed by enhanced energy redistribution processes, independently of the impurity's flavor. This phenomenon takes place over the characteristic trap timescales. For much longer timescales a steady state is reached characterized by substantial losses of coherence of the impurities. This steady state is related to eigenstate thermalization and it is demonstrated to be independent of the system's characteristics.


title: Asymmetric Surface Brightness Structure of Caustic Crossing Arc in SDSS J1226+2152: A Case for Dark Matter Substructure

abstract: We study the highly magnified arc SGAS J122651.3+215220 caused by a star-forming galaxy at $z_s=2.93$ crossing the lensing caustic cast by the galaxy cluster SDSS J1226+2152 ($z_l=0.43$), using Hubble Space Telescope observations. We report in the arc several asymmetric surface brightness features whose angular separations are a fraction of an arcsecond from the lensing critical curve and appear to be highly but unequally magnified image pairs of underlying compact sources, with one brightest pair having clear asymmetry consistently across four filters. One explanation of unequal magnification is microlensing by intracluster stars, which induces independent flux variations in the images of individual or groups of source stars in the lensed galaxy. For a second possibility, intracluster dark matter subhalos invisible to telescopes effectively perturb lensing magnifications near the critical curve and give rise to persistently unequal image pairs. Our modeling suggests, at least for the most prominent identified image pair, that the microlensing hypothesis is in tension with the absence of notable asymmetry variation over a six-year baseline, while subhalos of $\sim 10^6$--$10^8\,M_\odot$ anticipated from structure formation with Cold Dark Matter typically produce stationary and sizable asymmetries. We judge that observations at additional times and more precise lens models are necessary to stringently constrain temporal variability and robustly distinguish between the two explanations. The arc under this study is a scheduled target of a Director's Discretionary Early Release Science program of the James Webb Space Telescope, which will provide deep images and a high-resolution view with integral field spectroscopy.


title: On the number of limit cycles in diluted neural networks

abstract: We consider the storage properties of temporal patterns, i.e. cycles of finite lengths, in neural networks represented by (generally asymmetric) spin glasses defined on random graphs. Inspired by the observation that dynamics on sparse systems have more basins of attractions than the dynamics of densely connected ones, we consider the attractors of a greedy dynamics in sparse topologies, considered as proxy for the stored memories. We enumerate them using numerical simulation and extend the analysis to large systems sizes using belief propagation. We find that the logarithm of the number of such cycles is a non monotonic function of the mean connectivity and we discuss the similarities with biological neural networks describing the memory capacity of the hippocampus.


title: Mobile Small Polarons Explain Conductivity in Lithium Titanium Oxide Battery Electrodes

abstract: Lithium titanium oxide Li$_4$Ti$_5$O$_{12}$ (LTO) is an intriguing anode material promising particularly long lived batteries, due to its remarkable phase stability during (dis)charging of the cell. However, its usage is limited by its low intrinsic electronic conductivity. Introducing oxygen vacancies can be one method to overcome this drawback, possibly by altering the charge carrier transport mechanism. We use Hubbard corrected density-functional theory (DFT+U) to show that polaronic states in combination with a possible hopping mechanism can play a crucial role in the experimentally observed increase of electronic conductivity. To gauge polaronic charge mobility, we compute relative stabilities of different localization patterns and estimate polaron hopping barrier heights. With this we finally show how defect engineering can indeed raise the electronic conductivity of LTO up to the level of its ionic conductivity, thereby explaining first experimental results for reduced LTO.


title: On the extension problem for weak moment maps

abstract: We compare existence and equivariance phenomena for weak moment maps and homotopy moment maps in multisymplectic geometry.


title: Fast Estimation of Information Theoretic Learning Descriptors using Explicit Inner Product Spaces

abstract: Kernel methods form a theoretically-grounded, powerful and versatile framework to solve nonlinear problems in signal processing and machine learning. The standard approach relies on the \emph{kernel trick} to perform pairwise evaluations of a kernel function, leading to scalability issues for large datasets due to its linear and superlinear growth with respect to the training data. Recently, we proposed \emph{no-trick} (NT) kernel adaptive filtering (KAF) that leverages explicit feature space mappings using data-independent basis with constant complexity. The inner product defined by the feature mapping corresponds to a positive-definite finite-rank kernel that induces a finite-dimensional reproducing kernel Hilbert space (RKHS). Information theoretic learning (ITL) is a framework where information theory descriptors based on non-parametric estimator of Renyi entropy replace conventional second-order statistics for the design of adaptive systems. An RKHS for ITL defined on a space of probability density functions simplifies statistical inference for supervised or unsupervised learning. ITL criteria take into account the higher-order statistical behavior of the systems and signals as desired. However, this comes at a cost of increased computational complexity. In this paper, we extend the NT kernel concept to ITL for improved information extraction from the signal without compromising scalability. Specifically, we focus on a family of fast, scalable, and accurate estimators for ITL using explicit inner product space (EIPS) kernels. We demonstrate the superior performance of EIPS-ITL estimators and combined NT-KAF using EIPS-ITL cost functions through experiments.


title: Holographic light-front QCD in B meson phenomenology

abstract: The light-front wavefunction for mesons predicted by holographic light-front QCD is used to obtain the light-cone distribution amplitudes for the light vector mesons and the transition form factors for B and $B_s$ decays to $\rho$, $K^*$ and $\phi$ mesons. Here, I present some of our predictions as compared to lattice QCD, OCD sum rules and the available experimental data.


abstract: Personalized recommendation is ubiquitous, playing an important role in many online services. Substantial research has been dedicated to learning vector representations of users and items with the goal of predicting a user's preference for an item based on the similarity of the representations. Techniques range from classic matrix factorization to more recent deep learning based methods. However, we argue that existing methods do not make full use of the information that is available from user-item interaction data and the similarities between user pairs and item pairs. In this work, we develop a graph convolution-based recommendation framework, named Multi-Graph Convolution Collaborative Filtering (Multi-GCCF), which explicitly incorporates multiple graphs in the embedding learning process. Multi-GCCF not only expressively models the high-order information via a partite user-item interaction graph, but also integrates the proximal information by building and processing user-user and item-item graphs. Furthermore, we consider the intrinsic difference between user nodes and item nodes when performing graph convolution on the bipartite graph. We conduct extensive experiments on four publicly accessible benchmarks, showing significant improvements relative to several state-of-the-art collaborative filtering and graph neural network-based recommendation models. Further experiments quantitatively verify the effectiveness of each component of our proposed model and demonstrate that the learned embeddings capture the important relationship structure.


title: Direct Observation of Quantum Percolation Dynamics

abstract: Percolation, describing critical behaviors of phase transition in a geometrical context, prompts wide investigations in natural and social networks as a fundamental model. The introduction of quantum-intrinsic interference and tunneling brings percolation into quantum regime with more fascinating phenomena and unique features, which, however, hasn't been experimentally explored yet. Here we present an experimental demonstration of quantum transport in hexagonal percolation lattices by successfully mapping such large-scale porous structures into a photonic chip using femtosecond laser direct writing techniques. A quantum percolation threshold of 80% is observed in the prototyped laser-written lattices with up to 1,600 waveguides, which is significantly larger than the classical counterpart of 63%. We also investigate the spatial confinement by localization parameters and exhibit the transition from ballistic to diffusive propagation with the decrease of the occupation probability. Direct observation of quantum percolation may deepen the understanding of the relation among materials, quantum transport, geometric quenching, disorder and localization, and inspire applications for quantum technologies.


title: A Smart, Efficient, and Reliable Parking Surveillance System with Edge Artificial Intelligence on IoT Devices

abstract: Cloud computing has been a main-stream computing service for years. Recently, with the rapid development in urbanization, massive video surveillance data are produced at an unprecedented speed. A traditional solution to deal with the big data would require a large amount of computing and storage resources. With the advances in Internet of things (IoT), artificial intelligence, and communication technologies, edge computing offers a new solution to the problem by processing the data partially or wholly on the edge of a surveillance system. In this study, we investigate the feasibility of using edge computing for smart parking surveillance tasks, which is a key component of Smart City. The system processing pipeline is carefully designed with the consideration of flexibility, online surveillance, data transmission, detection accuracy, and system reliability. It enables artificial intelligence at the edge by implementing an enhanced single shot multibox detector (SSD). A few more algorithms are developed on both the edge and the server targeting optimal system efficiency and accuracy. Thorough field tests were conducted in the Angle Lake parking garage for three months. The experimental results are promising that the final detection method achieves over 95% accuracy in real-world scenarios with high efficiency and reliability. The proposed smart parking surveillance system can be a solid foundation for future applications of intelligent transportation systems.


title: Excitonic Magneto-Optical Kerr Effect in 2D Transition Metal Dichalcogenides Induced by Spin Proximity

abstract: In this paper we develop the excitonic theory of Kerr rotation angle in a two-dimensional (2D) transition metal dichalcogenide at zero magnetic field. The finite Kerr angle is induced by the interplay between spin-orbit splitting and proximity exchange coupling due to the presence of a ferromagnet. We compare the excitonic effect with the single particle theory approach. We show that the excitonic properties of the 2D material lead to a dramatic change in the frequency dependence of the optical response function. We also find that the excitonic corrections enhance the optical response by a factor of two in the case of MoS2 in proximity to a Cobalt thin film.


title: Options of Interest: Temporal Abstraction with Interest Functions

abstract: Temporal abstraction refers to the ability of an agent to use behaviours of controllers which act for a limited, variable amount of time. The options framework describes such behaviours as consisting of a subset of states in which they can initiate, an internal policy and a stochastic termination condition. However, much of the subsequent work on option discovery has ignored the initiation set, because of difficulty in learning it from data. We provide a generalization of initiation sets suitable for general function approximation, by defining an interest function associated with an option. We derive a gradient-based learning algorithm for interest functions, leading to a new interest-option-critic architecture. We investigate how interest functions can be leveraged to learn interpretable and reusable temporal abstractions. We demonstrate the efficacy of the proposed approach through quantitative and qualitative results, in both discrete and continuous environments.


title: RKKY interaction in a doped pseudospin-1 fermion system at finite temperature

abstract: We study the RKKY interaction of magnetic impurities in the $\alpha-\mathcal{T}_3$ model which hosts pseudospin-1 fermions with two dispersive and one flat bands. By using the effective low-energy Hamiltonian we calculate the RKKY coupling for impurities placed on the same or different sublattices. We find that there are three types of interaction, which depend on the model parameter defining the relative strength of hoppings between sublattices, two of them can be reduced to graphene case while the third one is new and is due to the presence of a flat zero-energy band. We derive general analytical expressions for the RKKY interaction in terms of Mellin-Barnes type integrals and analyze different limiting cases. The cases of finite chemical potential and temperature, as well as asymptotic at large distances are considered. We show that the interaction between impurities located at different rim sites displays a very strong temperature dependence at small doping being a direct consequence of the flat band. The subtleties of the theorem for signs of the RKKY interaction at zero doping, as applied to the $\mathcal{T}_3$ lattice, related to the existence of a dispersionless flat band are discussed.


title: Skyrmion-Skyrmion Interaction in a Magnetic Film

abstract: Interaction of two skyrmions stabilized by the ferromagnetic exchange, Dzyaloshinskii-Moriya interaction (DMI), and external magnetic field has been studied numerically on a 2D lattice of size large compared to the separation, $d$, between the skyrmions. We show that two skyrmions of the same chirality (determined by the symmetry of the crystal) repel. In accordance with earlier analytical results, their long-range pair interaction falls out with the separation as $\exp(-d/\delta_H)$, where $\delta_H$ is the magnetic screening length, independent of the DMI. The prefactor in this expression depends on the DMI that drives the repulsion. The latter results in the spiral motion of the two skyrmions around each other, with the separation between them growing logarithmically with time. When two skyrmions of the total topological charge $Q = 2$ are pushed close to each other, the discreteness of the atomic lattice makes them collapse into one skyrmion of charge $Q = 1$ below a critical separation. Experiment is proposed that would allow one to measure the interaction between two skyrmions by holding them in positions with two magnetic tips. Our findings should be of value for designing topologically protected magnetic memory based upon skyrmions.


title: Permutations with restricted movement

abstract: A restricted permutation of a locally finite directed graph $G=(V,E)$ is a vertex permutation $\pi: V\to V$ for which $(v,\pi(v))\in E$, for any vertex $v\in V$. The set of such permutations, denoted by $\Omega(G)$, with a group action induced from a subset of graph isomorphisms form a topological dynamical system. We focus on the particular case presented by Schmidt and Strasser (2016) of restricted $\mathbb{Z}^d$ permutations, in which $\Omega(G)$ is a subshift of finite type. We show a correspondence between restricted permutations and perfect matchings (also known as dimer coverings). We use this correspondence in order to investigate and compute the topological entropy in a class of cases of restricted $\mathbb{Z}^d$-permutations. We discuss the global and local admissibility of patterns, in the context of restricted $\mathbb{Z}^d$-permutations. Finally, we review the related models of injective and surjective restricted functions.


title: Reduction of the canonical Hamiltonian of the metric GR to its natural form

abstract: The canonical Hamiltonian $H_C$ of the metric General Relativity is reduced to its natural form. The natural form of canonical Hamiltonian provides numerous advantages in actual applications to the metric GR, since the general theory of dynamical systems with such Hamiltonians is well developed. Furthermore, many analytical and numerically exact solutions for dynamical systems with natural Hamiltonians have been found and described in detail. In particular, based on this theory we can discuss an obvious analogy between gravitational field(s) and few-particle systems where particles are connected to each other by the Coulomb, or harmonic potentials. We also developed an effective method which is used to determine various Poisson brackets between analytical functions of the dynamical variables. Furthermore, such variables can be chosen either from the straight, or dual sets of symplectic dynamical variables which always arise in any Hamiltonian formulation developed for the metric gravity. PACS number(s): 04.20.Fy and 11.10.Ef


title: Algebraic Core and Convex Calculus without Topology

abstract: In this paper we study the concept of algebraic core for convex sets in general vector spaces without any topological structure and then present its applications to problems of convex analysis and optimization. Deriving the equivalence between the Hahn-Banach theorem and and a simple version of the separation theorem of convex sets in vector spaces allows us to develop a geometric approach to generalized differential calculus for convex sets, set-valued mappings, and extended-real-valued functions with qualification conditions formulated in terms of algebraic cores for such objects. We also obtain a precise formula for computing the subdifferential of optimal value functions associated with convex problems of parametric optimization in vector spaces. Functions of this type play a crucial role in many aspects of convex optimization and its applications.


title: Superconductivity in Undoped BaFe2As2 by Tetrahedral Geometry Design

abstract: Fe-based superconductors exhibit a diverse interplay between charge, orbital, and magnetic ordering1-4. Variations in atomic geometry affect electron hopping between Fe atoms5,6 and the Fermi surface topology, influencing magnetic frustration and the pairing mechanism through changes of orbital overlap and occupancies7-11. Here, we experimentally demonstrate a systematic approach to realize superconductivity without chemical doping in BaFe2As2, employing geometric design within an epitaxial heterostructure. We control both tetragonality and orthorhombicity in BaFe2As2 through superlattice engineering, which we experimentally find to induce superconductivity when the As-Fe-As bond angle approaches that in a regular tetrahedron. This approach of superlattice design could lead to insights into low dimensional superconductivity in Fe-based superconductors.


title: Motivic clustering schemes for directed graphs

abstract: Motivated by the concept of network motifs we construct certain clustering methods (functors) which are parametrized by a given collection of motifs (or representers).


title: Core-Collapse Supernova Gravitational-Wave Search and Deep Learning Classification

abstract: We describe a search and classification procedure for gravitational waves emitted by core-collapse supernova (CCSN) explosions, using a convolutional neural network (CNN) combined with an event trigger generator known as Wavelet Detection Filter (WDF). We employ both a 1-D CNN search using time series gravitational-wave data as input, and a 2-D CNN search with time-frequency representation of the data as input. To test the accuracies of our 1-D and 2-D CNN classification, we add CCSN waveforms from the most recent hydrodynamical simulations of neutrino-driven core-collapse to simulated Gaussian colored noise with the Virgo interferometer and the planned Einstein Telescope sensitivity curve. We find classification accuracies, for a single detector, of over 95% for both 1-D and 2-D CNN pipelines. For the first time in machine learning CCSN studies, we add short duration detector noise transients to our data to test the robustness of our method against false alarms created by detector noise artifacts. Further to this, we show that the CNN can distinguish between different types of CCSN waveform models.


title: Permutations, moments, measures

abstract: Which combinatorial sequences correspond to moments of probability measures on the real line? We present a generating function, in the form of a continued fraction, for a fourteen-parameter family of such sequences and interpret these in terms of combinatorial statistics on the symmetric groups. Special cases include several classical and noncommutative probability laws, along with a substantial subset of the orthogonalizing measures in the q-Askey scheme, now given a new combinatorial interpretation in terms of elementary permutation statistics. This framework further captures a variety of interesting combinatorial sequences including, notably, the moment sequences associated to distributions of the numbers of occurrences of (classical and vincular) permutation patterns of length three. This connection between pattern avoidance and broader ideas in classical and noncommutative probability is among several intriguing new corollaries, which generalize and unify results previously appearing in the literature, while opening up new lines of inquiry. The fourteen combinatorial statistics further generalize to signed and colored permutations, and, as an infinite family of statistics, to the k-arrangements: permutations with k-colored fixed points, introduced here along with several related results and conjectures.


title: ZeroQ: A Novel Zero Shot Quantization Framework

abstract: Quantization is a promising approach for reducing the inference time and memory footprint of neural networks. However, most existing quantization methods require access to the original training dataset for retraining during quantization. This is often not possible for applications with sensitive or proprietary data, e.g., due to privacy and security concerns. Existing zero-shot quantization methods use different heuristics to address this, but they result in poor performance, especially when quantizing to ultra-low precision. Here, we propose ZeroQ , a novel zero-shot quantization framework to address this. ZeroQ enables mixed-precision quantization without any access to the training or validation data. This is achieved by optimizing for a Distilled Dataset, which is engineered to match the statistics of batch normalization across different layers of the network. ZeroQ supports both uniform and mixed-precision quantization. For the latter, we introduce a novel Pareto frontier based method to automatically determine the mixed-precision bit setting for all layers, with no manual search involved. We extensively test our proposed method on a diverse set of models, including ResNet18/50/152, MobileNetV2, ShuffleNet, SqueezeNext, and InceptionV3 on ImageNet, as well as RetinaNet-ResNet50 on the Microsoft COCO dataset. In particular, we show that ZeroQ can achieve 1.71\% higher accuracy on MobileNetV2, as compared to the recently proposed DFQ method. Importantly, ZeroQ has a very low computational overhead, and it can finish the entire quantization process in less than 30s (0.5\% of one epoch training time of ResNet50 on ImageNet). We have open-sourced the ZeroQ framework\footnote{https://github.com/amirgholami/ZeroQ}.


title: Eliminating excess phase accumulation in a continuous perturbed heterogeneous planar PhC

abstract: In this paper, we propose an asymmetric distribution of a hexagonal lattice for achieving near-zero group velocity with negative group delay. This study reports the effect of the continuous geometric perturbation on the photonic band diagram and consequently its impact on phase velocity, group velocity, and effective refractive index. We provide a promising method for modifying the photonic band diagram for obtaining an exotic dispersion diagram. With this obtaining a broadband spanning from E to L band that envelop of light pulse traverse with almost zero velocity is promising enough to apply it in a wide variety of light-based devices.


title: Pursuing complex optical energy through Exceptional Points of Degeneracy (EPDs)

abstract: We exploit balancing the complex optical energy between scattering and guiding states at contrived exceptional points of degeneracy in order to form an active waveguide without utilizing an active medium. This study reports peculiar engineering of first-order dispersion on a pseudo-Hermitian Hamiltonian system in which distributed Bragg grating tracks 0^th order of scattering phase-shift. This is owing to the EDPs instigated by means of 1D perturbing PT-symmetries in a planar photonic crystal. The coalescence of Bloch eigenstates occurs due to reverse amalgamation of modulated two-terminal optical component whose gain and loss parameters depends on the direction of the light path. Then, we employed a 1D binary superlattice around a defect that undergoes both states, physical equilibrium (in the bound layer) and non-equilibrium (in unbound layer), in chronological order. Then, recoupling optical energy to the underlying bound region compromises scattering phase-shift in each sequence. This achievement is not only broadening the understanding of revolutionized quantum mechanics but also benefits technological principles of steering localization with high Q-factors that are in huge demands of designing low-threshold switching, optical tweezers, lasing and various types of optical elements in photonic integrated circuits.


title: Homological support of big objects in tensor-triangulated categories

abstract: Using homological residue fields, we define supports for big objects in tensor-triangulated categories and prove a tensor-product formula.


title: Advanced Intelligent Systems for Surgical Robotics

abstract: Surgical robots have had clinical use since the mid 1990s. Robot-assisted surgeries offer many benefits over the conventional approach including lower risk of infection and blood loss, shorter recovery, and an overall safer procedure for patients. The past few decades have shown many emerging surgical robotic platforms that can work in complex and confined channels of the internal human organs and improve the cognitive and physical skills of the surgeons during the operation. Advanced technologies for sensing, actuation, and intelligent control have enabled multiple surgical devices to simultaneously operate within the human body at low cost and with more efficiency. Despite advances, current surgical intervention systems are not able to execute autonomous tasks and make cognitive decisions that are analogous to that of humans. This paper will overview a historical development of surgery from conventional open to robotic-assisted approaches with discussion on the capabilities of advanced intelligent systems and devices that are currently implemented in existing surgical robotic systems. It will also revisit available autonomous surgical platforms with comments on the essential technologies, existing challenges, and suggestions for the future development of intelligent robotic-assisted surgical systems towards the achievement of fully autonomous operation.


title: Non-Local Cell Adhesion Models: Steady States and Bifurcations

abstract: In this manuscript, we consider the modelling of cellular adhesions, which is a key interaction between biological cells. Continuum models of the diffusion-advection-reaction type have long been used in tissue modelling. In 2006, Armstrong, Painter, and Sherratt proposed an extension to take adhesion effects into account. The resulting equation is a non-local advection-diffusion equation. While immensely successful in applications, the development of mathematical theory pertaining to steady states and pattern formation is lacking. The mathematical analysis of the non-local adhesion model is challenging. In this monograph, we contribute to the analysis of steady states and their bifurcation structure. The importance of steady-states is that these are the patterns observed in nature and tissues (e.g. cell-sorting experiments). In the case of periodic boundary conditions, we combine global bifurcation results pioneered by Rabinowitz, equivariant bifurcation theory, and the mathematical properties (maximum principle) of the non-local term to obtain a global bifurcation result for the branches of non-trivial solutions.


title: Thermomagnetic properties and Debye Screening for magnetized quark-gluon Plasma using the extended self-consistent quasiparticle model

abstract: The thermomagnetic behavior of quark-gluon plasma has recently received a lot of attention. In this work, we make use of the extended self-consistent quasiparticle model to study the thermodynamic properties of magnetized (2+1) flavor quark-gluon plasma. The system is considered as a non-interacting system of quasiparticles with masses depending on both temperature and magnetic field. This allows obtaining the equation of state of the system and the other thermodynamic properties such as the speed of sound. We use the extended self-consistent model to obtain the magnetization and show that QGP has a paramagnetic nature. In addition, we study the pressure anisotropy and calculate the transverse pressure. The obtained anisotropic pressure may be used in hydrodynamic studies of magnetized QGP produced in heavy-ion collisions. Finally, we examine the screening properties of magnetized QGP in the longitudinal direction by calculating the Debye screening mass.


title: Online Similarity Learning with Feedback for Invoice Line Item Matching

abstract: The procure to pay process (P2P) in large enterprises is a back-end business process which deals with the procurement of products and services for enterprise operations. Procurement is done by issuing purchase orders to impaneled vendors and invoices submitted by vendors are paid after they go through a rigorous validation process. Agents orchestrating P2P process often encounter the problem of matching a product or service descriptions in the invoice to those in purchase order and verify if the ordered items are what have been supplied or serviced. For example, the description in the invoice and purchase order could be TRES 739mL CD KER Smooth and TRES 0.739L CD KER Smth which look different at word level but refer to the same item. In a typical P2P process, agents are asked to manually select the products which are similar before invoices are posted for payment. This step in the business process is manual, repetitive, cumbersome, and costly. Since descriptions are not well-formed sentences, we cannot apply existing semantic and syntactic text similarity approaches directly. In this paper, we present two approaches to solve the above problem using various types of available agent's recorded feedback data. If the agent's feedback is in the form of a relative ranking between descriptions, we use similarity ranking algorithm. If the agent's feedback is absolute such as match or no-match, we use classification similarity algorithm. We also present the threats to the validity of our approach and present a possible remedy making use of product taxonomy and catalog. We showcase the comparative effectiveness and efficiency of the proposed approaches over many benchmarks and real-world data sets.


title: Repeated state change of variable gamma-ray pulsar, PSR J2021+4026

abstract: PSR J2021+4026 is a radio-quiet gamma-ray pulsar and the first pulsar that shows state change of the gamma-ray emission and spin-down rate. The state change of PSR J2021+4026 was first observed at 2011 October, at which the pulsar changes the state from high gamma-ray flux/low spin-down rate state to low gamma-ray flux/high spin-down rate st\ ate. In December 2014, PSR J2021+4026 recovered the state before the 2011 state change over a timescale of a few months. We report that the long term evolution of the gamma-ray flux and timing behavior suggests that PSR J2021+4026 changed the state near 2018 February 1st and entered a new low gamma-ray flux/high spin-down rate state. At the 2018 state change, the averaged flux dropped from $(1.29\pm 0.01)\times 10^{-6} {\rm cts~cm^{-2}s^{-1}}$ to $(1.12\pm 0.01)\times 10^{-6} {\rm cts~cm^{-2}s^{-1\ }}$, which has the similar behavior to the case of 2011 event. The spin-down rate has increased by $\sim 3\%$ in the new state since the 2018 state change. The shapes of pulse profile and spectrum in GeV bands also changed at the 2018 event, and they are consistent with behavior at the 2011 state change. Our results probably suggest that PSR J2021+4026 is switching between different states with a timescale of several years, like some radio pulsars (e.g. PSR~B1828-11). PSR J2021+4026 will provide a unique opportunity to study the mechanism of the state switching.


title: Non-uniform dependence on initial data for the Camassa-Holm equation in Besov spaces

abstract: In the paper, we consider the initial value problem to the Camassa-Holm equation in the real-line case. Based on the local well-posedness result and the lifespan, we proved that the data-to-solution map of this problem is not uniformly continuous in nonhomogeneous Besov spaces in the sense of Hadamard. Our obtained result improves considerably the result in \cite{H-K}.


title: How strong can the Parrondo effect be? II

abstract: Parrondo's coin-tossing games comprise two games, $A$ and $B$. The result of game $A$ is determined by the toss of a fair coin. The result of game $B$ is determined by the toss of a $p_0$-coin if capital is a multiple of $r$, and by the toss of a $p_1$-coin otherwise. In either game, the player wins one unit with heads and loses one unit with tails. Game $B$ is fair if $(1-p_0)(1-p_1)^{r-1}=p_0\,p_1^{r-1}$. In a previous paper we showed that, if the parameters of game $B$, namely $r$, $p_0$, and $p_1$, are allowed to be arbitrary, subject to the fairness constraint, and if the two (fair) games $A$ and $B$ are played in an arbitrary periodic sequence, then the rate of profit can not only be positive (the so-called Parrondo effect), but also be arbitrarily close to 1 (i.e., 100%). Here we prove the same conclusion for a random sequence of the two games instead of a periodic one, that is, at each turn game $A$ is played with probability $\gamma$ and game $B$ is played otherwise, where $\gamma\in(0,1)$ is arbitrary.


title: Video Saliency Prediction Using Enhanced Spatiotemporal Alignment Network

abstract: Due to a variety of motions across different frames, it is highly challenging to learn an effective spatiotemporal representation for accurate video saliency prediction (VSP). To address this issue, we develop an effective spatiotemporal feature alignment network tailored to VSP, mainly including two key sub-networks: a multi-scale deformable convolutional alignment network (MDAN) and a bidirectional convolutional Long Short-Term Memory (Bi-ConvLSTM) network. The MDAN learns to align the features of the neighboring frames to the reference one in a coarse-to-fine manner, which can well handle various motions. Specifically, the MDAN owns a pyramidal feature hierarchy structure that first leverages deformable convolution (Dconv) to align the lower-resolution features across frames, and then aggregates the aligned features to align the higher-resolution features, progressively enhancing the features from top to bottom. The output of MDAN is then fed into the Bi-ConvLSTM for further enhancement, which captures the useful long-time temporal information along forward and backward timing directions to effectively guide attention orientation shift prediction under complex scene transformation. Finally, the enhanced features are decoded to generate the predicted saliency map. The proposed model is trained end-to-end without any intricate post processing. Extensive evaluations on four VSP benchmark datasets demonstrate that the proposed method achieves favorable performance against state-of-the-art methods. The source codes and all the results will be released.


title: Deep Learning for Learning Graph Representations

abstract: Mining graph data has become a popular research topic in computer science and has been widely studied in both academia and industry given the increasing amount of network data in the recent years. However, the huge amount of network data has posed great challenges for efficient analysis. This motivates the advent of graph representation which maps the graph into a low-dimension vector space, keeping original graph structure and supporting graph inference. The investigation on efficient representation of a graph has profound theoretical significance and important realistic meaning, we therefore introduce some basic ideas in graph representation/network embedding as well as some representative models in this chapter.


title: Video Cloze Procedure for Self-Supervised Spatio-Temporal Learning

abstract: We propose a novel self-supervised method, referred to as Video Cloze Procedure (VCP), to learn rich spatial-temporal representations. VCP first generates "blanks" by withholding video clips and then creates "options" by applying spatio-temporal operations on the withheld clips. Finally, it fills the blanks with "options" and learns representations by predicting the categories of operations applied on the clips. VCP can act as either a proxy task or a target task in self-supervised learning. As a proxy task, it converts rich self-supervised representations into video clip operations (options), which enhances the flexibility and reduces the complexity of representation learning. As a target task, it can assess learned representation models in a uniform and interpretable manner. With VCP, we train spatial-temporal representation models (3D-CNNs) and apply such models on action recognition and video retrieval tasks. Experiments on commonly used benchmarks show that the trained models outperform the state-of-the-art self-supervised models with significant margins.


title: Chemical-induced Disease Relation Extraction with Dependency Information and Prior Knowledge

abstract: Chemical-disease relation (CDR) extraction is significantly important to various areas of biomedical research and health care. Nowadays, many large-scale biomedical knowledge bases (KBs) containing triples about entity pairs and their relations have been built. KBs are important resources for biomedical relation extraction. However, previous research pays little attention to prior knowledge. In addition, the dependency tree contains important syntactic and semantic information, which helps to improve relation extraction. So how to effectively use it is also worth studying. In this paper, we propose a novel convolutional attention network (CAN) for CDR extraction. Firstly, we extract the shortest dependency path (SDP) between chemical and disease pairs in a sentence, which includes a sequence of words, dependency directions, and dependency relation tags. Then the convolution operations are performed on the SDP to produce deep semantic dependency features. After that, an attention mechanism is employed to learn the importance/weight of each semantic dependency vector related to knowledge representations learned from KBs. Finally, in order to combine dependency information and prior knowledge, the concatenation of weighted semantic dependency representations and knowledge representations is fed to the softmax layer for classification. Experiments on the BioCreative V CDR dataset show that our method achieves comparable performance with the state-of-the-art systems, and both dependency information and prior knowledge play important roles in CDR extraction task.


title: Quasitriangular structures on the 8-dimensional Kac algebra K_8

abstract: In this note, we give a list of all non-isomorphic quasitriangular structures on the 8-dimension Kac algebra K_8.


title: Irrationality exponents of generalized Hone series

abstract: We compute the exact irrationality exponents of certain series of rational numbers, first studied in a special case by Hone, by transforming them into suitable continued fractions.


title: DP-3-coloring of planar graphs without certain cycles

abstract: DP-coloring is a generalization of list coloring, which was introduced by Dvo\v{r}\'{a}k and Postle [J. Combin. Theory Ser. B 129 (2018) 38--54]. Zhang [Inform. Process. Lett. 113 (9) (2013) 354--356] showed that every planar graph with neither adjacent triangles nor 5-, 6-, 9-cycles is 3-choosable. Liu et al. [Discrete Math. 342 (2019) 178--189] showed that every planar graph without 4-, 5-, 6- and 9-cycles is DP-3-colorable. In this paper, we show that every planar graph with neither adjacent triangles nor 5-, 6-, 9-cycles is DP-3-colorable, which generalizes these results. Yu et al. gave three Bordeaux-type results by showing that (i) every planar graph with the distance of triangles at least three and no 4-, 5-cycles is DP-3-colorable; (ii) every planar graph with the distance of triangles at least two and no 4-, 5-, 6-cycles is DP-3-colorable; (iii) every planar graph with the distance of triangles at least two and no 5-, 6-, 7-cycles is DP-3-colorable. We also give two Bordeaux-type results in the last section: (i) every plane graph with neither 5-, 6-, 8-cycles nor triangles at distance less than two is DP-3-colorable; (ii) every plane graph with neither 4-, 5-, 7-cycles nor triangles at distance less than two is DP-3-colorable.


title: Concentration of Benefit index: A threshold-free summary metric for quantifying the capacity of covariates to yield efficient treatment rules

abstract: When data on treatment assignment, outcomes, and covariates from a randomized trial are available, a question of interest is to what extent covariates can be used to optimize treatment decisions. Statistical hypothesis testing of covariate-by-treatment interaction is ill-suited for this purpose. The application of decision theory results in treatment rules that compare the expected benefit of treatment given the patient's covariates against a treatment threshold. However, determining treatment threshold is often context-specific, and any given threshold might seem arbitrary when the overall capacity towards predicting treatment benefit is of concern. We propose the Concentration of Benefit index (Cb), a threshold-free metric that quantifies the combined performance of covariates towards finding individuals who will benefit the most from treatment. The construct of the proposed index is comparing expected treatment outcomes with and without knowledge of covariates when one of a two randomly selected patients are to be treated. We show that the resulting index can also be expressed in terms of the integrated efficiency of individualized treatment decision over the entire range of treatment thresholds. We propose parametric and semi-parametric estimators, the latter being suitable for out-of-sample validation and correction for optimism. We used data from a clinical trial to demonstrate the calculations in a step-by-step fashion, and have provided the R code for implementation (https://github.com/msadatsafavi/txBenefit). The proposed index has intuitive and theoretically sound interpretation and can be estimated with relative ease for a wide class of regression models. Beyond the conceptual developments, various aspects of estimation and inference for such a metric need to be pursued in future research.


title: Origin of Strong Two-Magnon Scattering in Heavy Metal/Ferromagnet/Oxide Heterostructures

abstract: We experimentally investigate the origin of the two-magnon scattering (TMS) in heavy-metal (HM)/ferromagnet (FM)/oxide heterostructures (FM = Co, Ni81Fe19, or Fe60Co20B20) by varying the materials located above and below the FM layers. We show that strong TMS in HM/FM/oxide systems arises primarily at the HM/FM interface and increases with the strength of interfacial spin-orbit coupling and magnetic roughness at this interface. TMS at the FM/oxide interface is relatively weak, even in systems where spin-orbit coupling at this interface generates strong interfacial magnetic anisotropy. We also suggest that the spin-current-induced excitation of non-uniform short-wavelength magnon at the HM/FM interface may function as a mechanism of spin memory loss for the spin-orbit torque exerted on the uniform mode.


title: A Feature Comparison of Modern Digital Forensic Imaging Software

abstract: Fundamental processes in digital forensic investigation, such as disk imaging, were developed when digital investigation was relatively young. As digital forensic processes and procedures matured, these fundamental tools, that are the pillars of the reset of the data processing and analysis phases of an investigation, largely stayed the same. This work is a study of modern digital forensic imaging software tools. Specifically, we will examine the feature sets of modern digital forensic imaging tools, as well as their development and release cycles to understand patterns of fundamental tool development. Based on this survey, we show the weakness in current digital investigation fundamental software development and maintenance over time. We also provide recommendations on how to improve fundamental tools.


title: Quantum-enhanced interferometry with asymmetric beam splitters

abstract: In this paper, we investigate the phase sensitivities in two-path optical interferometry with asymmetric beam splitters. Here, we present the optimal conditions for the transmission ratio and the phase of the beam splitter to gain the highest sensitivities for a general class of non-classical states with parity symmetry. Additionally, we address the controversial question of whether the scheme with a combination of coherent state and photon-added or photon-subtracted squeezed vacuum state is better or worse than the most celebrated one using a combination of coherent state and squeezed vacuum state.


title: Spectral Independence in High-Dimensional Expanders and Applications to the Hardcore Model

abstract: We say a probability distribution $\mu$ is spectrally independent if an associated correlation matrix has a bounded largest eigenvalue for the distribution and all of its conditional distributions. We prove that if $\mu$ is spectrally independent, then the corresponding high dimensional simplicial complex is a local spectral expander. Using a line of recent works on mixing time of high dimensional walks on simplicial complexes \cite{KM17,DK17,KO18,AL19}, this implies that the corresponding Glauber dynamics mixes rapidly and generates (approximate) samples from $\mu$. As an application, we show that natural Glauber dynamics mixes rapidly (in polynomial time) to generate a random independent set from the hardcore model up to the uniqueness threshold. This improves the quasi-polynomial running time of Weitz's deterministic correlation decay algorithm \cite{Wei06} for estimating the hardcore partition function, also answering a long-standing open problem of mixing time of Glauber dynamics \cite{LV97,LV99,DG00,Vig01,EHSVY16}.


title: Free braided nonassociative Hopf algebras and Sabinin $\tau $-algebras

abstract: Let $V$ be a linear space over a field ${\bf k}$ with a braiding $\tau : V\otimes V\rightarrow V\otimes V.$ We prove that the braiding $\tau$ has a unique extension on the free nonassociative algebra ${\bf k}\{V\}$ freely generated by $V$ so that ${\bf k}\{V\}$ is a braided algebra. Moreover, we prove that the free braided algebra ${\bf k}\{V\}$ has a natural structure of a braided nonassociative Hopf algebra such that every element of the space of generators $V$ is primitive. In the case of involutive braidings, $\tau^2={\rm id}$, we describe braided analogues of Shestakov-Umirbaev operations and prove that these operations are primitive operations. We introduce a braided version of Sabinin algebras and prove that the set of all primitive elements of a nonassociative $\tau$-algebra is a Sabinin $\tau$-algebra.


title: Minimal Reflexive Nonsemicommutative Rings

abstract: It has recently been shown that a minimal reversible nonsymmetric ring has order 256 answering a questioned original posed in a paper on a taxonomy of 2-primal rings. Answers to similar questions on minimal rings relating to this taxonomy were also answered in a related work. One type of minimal ring that was left out of that report, was a minimal abelian reflexive nonsemicommutative ring. In this work it is shown that a minimal abelian reflexive nonsemicommutative ring is of order 256 an example of which is F2D8. This is a consequence of the other primary result which is that a finite abelian reflexive ring of order pk for some prime p and k < 8 is reversible.


title: Optimal Decentralized Control for Uncertain Systems by Symmetric Gauss-Seidel Semi-Proximal ALM

abstract: The H2 guaranteed cost decentralized control problem is investigated in this work. More specifically, on the basis of an appropriate H2 re-formulation that we put in place, the optimal control problem in the presence of parameter uncertainties is then suitably characterized by convex restriction and solved in parameter space. It is shown that a set of stabilizing decentralized controller gains for the uncertain system is parameterized in a convex set through appropriate convex restriction, and then an approximated conic optimization problem is constructed. This facilitates the use of the symmetric Gauss-Seidel (sGS) semi-proximal augmented Lagrangian method (ALM), which attains high computational effectiveness. A comprehensive analysis is given on the application of the approach in solving the optimal decentralized control problem; and subsequently, the preserved decentralized structure, robust stability, and robust performance are all suitably guaranteed with the proposed methodology. Furthermore, an illustrative example is presented to demonstrate the effectiveness of the proposed optimization approach.


title: Theoretical insight into the thermoelectric behavior of tri-nuclear metal-string complexes laced with gold nanoelectrodes: A first-principles study

abstract: Metal-string complexes in the quasi-1D framework may play an important role in molecular electronics by serving not only as nanoscale interconnects but also as active functional elements for nanoelectronic devices. However, because of the potential volumetric heat generation across such nanojunctions, the circuit stability becomes often a major concern, which necessitates to study the heat transport properties at the molecular-scale. Here we report the thermoelectric behavior of various tr-nuclear metal-string complexes, $[M-M-M](dpa)_4(NCS)_2$ for $M \in \{Cr,Ru\}$, bridging Au(111) nanowires as nanoelectrodes. Based on our charge transport analysis from \textit{first-principles}, we find that the dominant transmission peaks tend to move away from the Fermi level upon systematic rutheniation in chromium-based metal-string complexes due mainly to the coupling of $\pi^{*}$ orbitals from Ru and $\sigma_{nb}$ orbitals from Cr. Such type of a metal-string junction can also exhibit strong Coulomb interaction so that its thermoelectric behavior begins to deviate from the Wiedemann-Franz law. Our results further suggest that metal-string complexes can render better thermoelectric devices especially at the molecular-scale with the thermopower as high as 172 $\mu V/K$ at 300 K. Considering the contributions from both electrons and phonons, even a high \textit{figure of merit} of $ZT \sim 2$ may be attained for Cr-Cr-Cr based metal-string molecular junctions at room temperature. Resonant enhancement in the thermoelectric efficiency appears to occur in such systems through alteration of inter-dot electrostatic interactions, which can be controlled by incorporating Cr and Ru atoms in such tri-nuclear metal-string complexes.


title: ATHENA: A Framework based on Diverse Weak Defenses for Building Adversarial Defense

abstract: There has been extensive research on developing defense techniques against adversarial attacks; however, they have been mainly designed for specific model families or application domains, therefore, they cannot be easily extended. Based on the design philosophy of ensemble of diverse weak defenses, we propose ATHENA---a flexible and extensible framework for building generic yet effective defenses against adversarial attacks. We have conducted a comprehensive empirical study to evaluate several realizations of ATHENA with four threat models including zero-knowledge, black-box, gray-box, and white-box. We also explain (i) why diversity matters, (ii) the generality of the defense framework, and (iii) the overhead costs incurred by ATHENA.


title: BlendMask: Top-Down Meets Bottom-Up for Instance Segmentation

abstract: Instance segmentation is one of the fundamental vision tasks. Recently, fully convolutional instance segmentation methods have drawn much attention as they are often simpler and more efficient than two-stage approaches like Mask R-CNN. To date, almost all such approaches fall behind the two-stage Mask R-CNN method in mask precision when models have similar computation complexity, leaving great room for improvement. In this work, we achieve improved mask prediction by effectively combining instance-level information with semantic information with lower-level fine-granularity. Our main contribution is a blender module which draws inspiration from both top-down and bottom-up instance segmentation approaches. The proposed BlendMask can effectively predict dense per-pixel position-sensitive instance features with very few channels, and learn attention maps for each instance with merely one convolution layer, thus being fast in inference. BlendMask can be easily incorporated with the state-of-the-art one-stage detection frameworks and outperforms Mask R-CNN under the same training schedule while being 20% faster. A light-weight version of BlendMask achieves $ 34.2% $ mAP at 25 FPS evaluated on a single 1080Ti GPU card. Because of its simplicity and efficacy, we hope that our BlendMask could serve as a simple yet strong baseline for a wide range of instance-wise prediction tasks. Code is available at https://git.io/AdelaiDet


title: The Nagata automorphism of free nonassociative algebras of rank two over Eucledean domains

abstract: We construct an analogue of the Nagata automorphism of free nonassociative algebras and free commutative algebras of rank two over a Euclidean domain and prove that it is wild.


title: Understanding the mesoscopic scaling patterns within cities

abstract: Understanding quantitative relationships between urban elements is crucial for a wide range of applications. The observation at the macroscopic level demonstrates that the aggregated urban quantities (e.g., gross domestic product) scale systematically with population sizes across cities, also known as urban scaling laws. However, at the mesoscopic level, we lack an understanding of whether the simple scaling relationship holds within cities, which is a fundamental question regarding the spatial origin of scaling in urban systems. Here, by analyzing four extensive datasets covering millions of mobile phone users and urban facilities, we investigate the scaling phenomena within cities. We find that the mesoscopic infrastructure volume and socioeconomic activity scale sub- and super-linearly with the active population, respectively. For a same scaling phenomenon, however, the exponents vary in cities of similar population sizes. To explain these empirical observations, we propose a conceptual framework by considering the heterogeneous distributions of population and facilities, and the spatial interactions between them. Analytical and numerical results suggest that, despite the large number of complexities that influence urban activities, the simple interaction rules can effectively explain the observed regularity and heterogeneity in scaling behaviors within cities.


title: The Locating-Chromatic number of an $n$-ary Trees

abstract: The locating-chromatic number of a graph $G$ is the smallest integer $n$, such that $G$ has a proper $n$-coloring $c$ and all vertices have different vectors of distances to the colors generated by $c$. We study the asymptotic value of the locating-chromatic number of a $k$-level $n$-ary tree. The locating-chromatic number of this tree acts very differently when $k$ goes to infinity and when $n$ goes to infinity. If we fix $k\geq2$, almost all $n$-ary Tree $T(n,k)$ satisfy $\chi_L(T(n,k))=n+k-1$; so $\lim\limits_{n\to \infty} \chi_L(T(n,k))-n=k-1$. But if we fix $n\geq 2$, then $\chi_L(T(n,k))=o(k)$.


title: Nonlocal elastodynamics and fracture

abstract: A nonlocal field theory of peridynamic type is applied to model the brittle fracture problem. The elastic fields obtained from the nonlocal model are shown to converge in the limit of vanishing non-locality to solutions of classic plane elastodynamics associated with a running crack.


title: Why is Homology so Powerful?

abstract: My short answer to this question is that homology is powerful because it computes invariants of higher categories. In this article we show how this true by taking a leisurely tour of the connection between category theory and homological algebra.


title: Complexity and Efficient Algorithms for Data Inconsistency Evaluating and Repairing

abstract: Data inconsistency evaluating and repairing are major concerns in data quality management. As the basic computing task, optimal subset repair is not only applied for cost estimation during the progress of database repairing, but also directly used to derive the evaluation of database inconsistency. Computing an optimal subset repair is to find a minimum tuple set from an inconsistent database whose remove results in a consistent subset left. Tight bound on the complexity and efficient algorithms are still unknown. In this paper, we improve the existing complexity and algorithmic results, together with a fast estimation on the size of optimal subset repair. We first strengthen the dichotomy for optimal subset repair computation problem, we show that it is not only APXcomplete, but also NPhard to approximate an optimal subset repair with a factor better than $17/16$ for most cases. We second show a $(2-0.5^{\tiny\sigma-1})$-approximation whenever given $\sigma$ functional dependencies, and a $(2-\eta_k+\frac{\eta_k}{k})$-approximation when an $\eta_k$-portion of tuples have the $k$-quasi-Tur$\acute{\text{a}}$n property for some $k>1$. We finally show a sublinear estimator on the size of optimal \textit{S}-repair for subset queries, it outputs an estimation of a ratio $2n+\epsilon n$ with a high probability, thus deriving an estimation of FD-inconsistency degree of a ratio $2+\epsilon$. To support a variety of subset queries for FD-inconsistency evaluation, we unify them as the $\subseteq$-oracle which can answer membership-query, and return $p$ tuples uniformly sampled whenever given a number $p$. Experiments are conducted on range queries as an implementation of $\subseteq$-oracle, and results show the efficiency of our FD-inconsistency degree estimator.


title: Rapid prediction of crucial hotspot interactions for icosahedral viral capsid self-assembly by energy landscape atlasing validated by mutagenesis

abstract: Icosahedral viruses have their infectious genome encapsulated by a shell assembled by a multiscale process, starting from an integer multiple of 60 viral capsid or coat protein (VP) monomers. We predict and validate inter-atomic hotspot interactions between VP monomers that are important for the assembly of 3 icosahedral viral capsids: Adeno Associated Virus serotype 2 (AAV2) and Minute Virus of Mice (MVM), both T=1 single stranded DNA viruses, and Bromo Mosaic Virus (BMV), a T=3 single stranded RNA virus. Experimental validation is by in-vitro, site-directed mutagenesis data found in literature. We combine ab-initio predictions at two scales: at the interface-scale, we predict the importance (cruciality) of an interaction for successful subassembly across each interface between VP monomers; and at the capsid-scale, we predict the cruciality of an interface for successful capsid assembly. At the interface-scale, we measure cruciality by changes in the capsid free-energy landscape partition function when an interaction is removed. The partition function computation uses atlases of interface subassembly landscapes, rapidly generated by a novel geometric method and curated opensource software EASAL (efficient atlasing and search of assembly landscapes). At the capsid-scale, cruciality of an interface for successful assembly of the capsid is based on combinatorial entropy. Our study goes from resource-light, multiscale computational predictions of crucial hotspot inter-atomic interactions to validation using data on site-directed mutagenesis' effect on capsid assembly. By reliably and rapidly narrowing down target interactions, (no more than 1.5 hours per interface on a laptop with Intel Core i5-2500K 3.2Ghz CPU and 8GB of RAM) our predictions can inform and reduce time-consuming in-vitro and in-vivo experiments, or more computationally intensive in-silico analyses.


title: A wild automorphism of a free Novikov algebra

abstract: An example of a non-triangulable locally nilpotent derivation and an example of a wild exponential automorphism of the free Novikov algebra $N\left\langle x,y,z\right\rangle$ in three variables $x,y,z$ over a field of characteristic zero are constructed.


title: Testing the Prediction of Fuzzy Dark Matter Theory in the Milky Way Center

abstract: The fuzzy dark matter model (FDM, also known as quantum wave dark matter model) argues that light bosons with a mass of $\sim10^{-22}{\;{\rm eV}}$ are a possible candidate for dark matter in the Universe. One of the most important predictions of FDM is the formation of a soliton core instead of a density cusp at the center of galaxies. If FDM is the correct theory of dark matter, then the predicted soliton core can help to form the Central Molecular Zone (CMZ) in the Milky Way. We present high-resolution hydrodynamical simulations of gas flow patterns to constrain the properties of the soliton core based on a realistic Milky Way potential. We find that a dense center is required to form a reasonable CMZ. The size and kinematics of the CMZ offer a relatively strong constraint on the inner enclosed mass profile of the Galaxy. If a soliton core is not considered, a compact nuclear bulge alone with a radially varying mass-to-light ratio can match the observed size and kinematics of the CMZ. A soliton core model with a mass of $\approx4.0\times10^8{\; {\rm M}_{\odot}}$ and a core radius of $\approx0.05{\;{\rm kpc}}$, together with a less massive nuclear bulge with a constant mass-to-light ratio, also agrees nicely with the current data. Such a FDM soliton core corresponds to a boson mass of $\sim2-7\times10^{-22}{\;{\rm eV}}$, which could be further constrained by the improved determination of the mass-to-light ratio in the Galactic center.


title: Tensor triangular geometry of filtered objects and sheaves

abstract: We compute the the Balmer spectra of compact objects of tensor triangulated categories whose objects are filtered or graded objects of (or sheaves valued in) another tensor triangulated category. Notable examples include the filtered derived category of a scheme as well as the homotopy category of filtered spectra. We use an $\infty$-categorical method to properly formulate and deal with the problem. Our computations are based on a point-free approach, so that distributive lattices and semilattices are used as key tools. In the appendix, we prove that the $\infty$-topos of hypercomplete sheaves on an $\infty$-site is recovered from a basis, which may be of independent interest.


title: Finite Time Blowup of Solutions to SPDEs with Bernstein Functions of the Laplacian

abstract: The blowup in finite time of solutions to SPDEs \begin{equation*} \partial_tu_t(x)=-\phi(-\Delta)u_t(x) +\sigma(u_t(x))\dot{\xi}(t,x), \quad t>0,x\in\mathbb{R}^d, \end{equation*} { is} investigated, where $\dot{\xi}$ could be either a white noise or a colored noise and $\phi:(0,\infty)\to (0,\infty)$ is a Bernstein function. The sufficient conditions on $\sigma$, $\dot{\xi}$ and the initial value that imply the non-existence of the global solution are discussed. The results in this paper generalise those in ``Foondun, M., Liu, W. and Nane, E. Some non-existence results for a class of stochastic partial differential equations. J. Differential Equations, 266 (5) (2019), 2575--2596.'', where the fractional Laplacian case was considered, i.e. $\phi(-\Delta)=(-\Delta)^{\alpha/2}$ ($1<\alpha<2$).


title: Noncollinear Spintronics and Electric-Field Control: A Review

abstract: Our world is composed of various materials with different structures, where spin structures have been playing a pivotal role in spintronic devices of the contemporary information technology. Apart from conventional collinear spin materials such as collinear ferromagnets and collinear antiferromagnetically coupled materials, noncollinear spintronic materials have emerged as hot spots of research attention owing to exotic physical phenomena. In this Review, we firstly introduce two types noncollinear spin structures, i.e., the chiral spin structure that yields real-space Berry phases and the coplanar noncollinear spin structure that could generate momentum-space Berry phases, and then move to relevant novel physical phenomena including topological Hall effect, anomalous Hall effect, multiferroic, Weyl fermions, spin-polarized current, and spin Hall effect without spin-orbit coupling in these noncollinear spin systems. Afterwards, we summarize and elaborate the electric-field control of the noncollinear spin structure and related physical effects, which could enable ultralow power spintronic devices in future. In the final outlook part, we emphasize the importance and possible routes for experimentally detecting the intriguing theoretically predicted spin-polarized current, verifying the spin Hall effect in the absence of spin-orbit coupling and exploring the anisotropic magnetoresistance and domain-wall-related magnetoresistance effects for noncollinear antiferromagnetic materials.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el physics.app-ph


title: T-Duality, Jacobi Forms and Witten Gerbe Modules

abstract: In this paper, we extend the T-duality Hori maps in [arXiv:hep-th/0306062], inducing isomorphisms of twisted cohomologies on T-dual circle bundles, to graded Hori maps and show that they induce isomorphisms of two-variable series of twisted cohomologies on the T-dual circle bundles, preserving Jacobi form properties. The composition of the graded Hori map with its dual equals the Euler operator. We also construct Witten gerbe modules arising from gerbe modules and show that their graded twisted Chern characters are Jacobi forms under an anomaly vanishing condition on gerbe modules, thereby giving interesting examples.


title: Measuring effective temperatures of qubits using correlations

abstract: Initialization of a qubit in a pure state is a prerequisite for quantum computer operation. Qubits are commonly initialized by cooling to their ground states through passive thermalization or by using active reset protocols. To accurately quantify the initialization one requires a tool to measure the excited state population with sufficient accuracy given that the spurious excited state population may not exceed a fraction of a percent. In this Letter we propose a new technique of finding the excited state population of a qubit using correlations between two sequential measurements. We experimentally implement the proposed technique using a circuit QED platform and compare its performance with previously developed techniques. Unlike other techniques, our method does not require high-fidelity readout and does not involve the excited levels of the system outside of the qubit subspace. We experimentally demonstrated measurement of the spurious qubit population with accuracy of up to $0.01\%$. This accuracy enabled us to perform "temperature spectroscopy" of the qubit which helps to shed light on sources of the decoherence.


title: Verification of Prandtl boundary layer ansatz for the steady electrically conducting fluids with a moving physical boundary

abstract: In this paper, we are concerned with the validity of Prandtl boundary layer expansion for the solutions to two dimensional (2D) steady viscous incompressible magnetohydrodynamics (MHD) equations in a domain $\{(X, Y)\in[0, L]\times\mathbb{R}_+\}$ with a moving flat boundary $\{Y=0\}$. As a direct consequence, even though there exist strong boundary layers, the inviscid type limit is still established for the solutions of 2D steady viscous incompressible MHD equations in Sobolev spaces provided that the following three assumptions hold: the hydrodynamics and magnetic Reynolds numbers take the same order in term of the reciprocal of a small parameter $\epsilon$, the tangential component of the magnetic field does not degenerate near the boundary and the ratio of the strength of tangential component of magnetic field and tangential component of velocity is suitably small. And the error terms are estimated in $L^\infty$ sense.


title: Time discretization of an abstract problem applying to the linearized equations of coupled sound and heat flow

abstract: In this paper we deal with an abstract problem which includes the linearized equations of coupled sound and heat flow as an example. Recently, a time discretization of a simultaneous abstract evolution equation applying to some parabolic-hyperbolic phase-field systems has been studied. This paper focuses on a time discretization of an abstract problem applying to the linearized equations of coupled sound and heat flow. Also, this paper gives some parabolic-hyperbolic phase-field systems as examples.


title: NAS-Bench-201: Extending the Scope of Reproducible Neural Architecture Search

abstract: Neural architecture search (NAS) has achieved breakthrough success in a great number of applications in the past few years. It could be time to take a step back and analyze the good and bad aspects in the field of NAS. A variety of algorithms search architectures under different search space. These searched architectures are trained using different setups, e.g., hyper-parameters, data augmentation, regularization. This raises a comparability problem when comparing the performance of various NAS algorithms. NAS-Bench-101 has shown success to alleviate this problem. In this work, we propose an extension to NAS-Bench-101: NAS-Bench-201 with a different search space, results on multiple datasets, and more diagnostic information. NAS-Bench-201 has a fixed search space and provides a unified benchmark for almost any up-to-date NAS algorithms. The design of our search space is inspired from the one used in the most popular cell-based searching algorithms, where a cell is represented as a DAG. Each edge here is associated with an operation selected from a predefined operation set. For it to be applicable for all NAS algorithms, the search space defined in NAS-Bench-201 includes all possible architectures generated by 4 nodes and 5 associated operation options, which results in 15,625 candidates in total. The training log and the performance for each architecture candidate are provided for three datasets. This allows researchers to avoid unnecessary repetitive training for selected candidate and focus solely on the search algorithm itself. The training time saved for every candidate also largely improves the efficiency of many methods. We provide additional diagnostic information such as fine-grained loss and accuracy, which can give inspirations to new designs of NAS algorithms. In further support, we have analyzed it from many aspects and benchmarked 10 recent NAS algorithms.


title: $C-(k, \ell)$-Sum-Free Sets

abstract: The Minkowski sum of two subsets $A$ and $B$ of a finite abelian group $G$ is defined as all pairwise sums of elements of $A$ and $B$: $A + B = \{ a + b : a \in A, b \in B \}$. The largest size of a $(k, \ell)$-sum-free set in $G$ has been of interest for many years and in the case $G = \mathbb{Z}/n\mathbb{Z}$ has recently been computed by Bajnok and Matzke. Motivated by sum-free sets of the torus, Kravitz introduces the noisy Minkowski sum of two sets, which can be thought of as discrete evaluations of these continuous sumsets. That is, given a noise set $C$, the noisy Minkowski sum is defined as $A +_C B = A + B + C$. We give bounds on the maximum size of a $(k, \ell)$-sum-free subset of $\mathbb{Z}/n\mathbb{Z}$ under this new sum, for $C$ equal to an arithmetic progression with common difference relatively prime to $n$ and for any two element set $C$.


title: Jacobson's Lemma for the generalized n-strongly Drazin inverse

abstract: Let $n\in {\Bbb N}$. An element $a\in R$ has generalized n-strongly Drazin inverse if there exists $x\in R$ such that $xax=x, x\in comm^2(a), a^n-ax\in R^{qnil}.$ For any $a,b\in R$, we prove that $1-ab$ has generalized n-strongly Drazin inverse if and only if $1-ba$ has generalized n-strongly Drazin inverse. Extensions in Banach algebra are also obtained.


title: On Consequentialism and Fairness

abstract: Recent work on fairness in machine learning has primarily emphasized how to define, quantify, and encourage "fair" outcomes. Less attention has been paid, however, to the ethical foundations which underlie such efforts. Among the ethical perspectives that should be taken into consideration is consequentialism, the position that, roughly speaking, outcomes are all that matter. Although consequentialism is not free from difficulties, and although it does not necessarily provide a tractable way of choosing actions (because of the combined problems of uncertainty, subjectivity, and aggregation), it nevertheless provides a powerful foundation from which to critique the existing literature on machine learning fairness. Moreover, it brings to the fore some of the tradeoffs involved, including the problem of who counts, the pros and cons of using a policy, and the relative value of the distant future. In this paper we provide a consequentialist critique of common definitions of fairness within machine learning, as well as a machine learning perspective on consequentialism. We conclude with a broader discussion of the issues of learning and randomization, which have important implications for the ethics of automated decision making systems.


title: Close-Proximity Underwater Terrain Mapping Using Learning-based Coarse Range Estimation

abstract: This paper presents a novel approach to underwater terrain mapping for Autonomous Underwater Vehicles (AUVs) operating in close proximity to complex 3D environments. The proposed methodology creates a probabilistic elevation map of the terrain using a monocular image learning-based scene range estimator as a sensor. This scene range estimator can filter transient objects such as fish and lighting variations. The mapping approach considers uncertainty in both the estimated scene range and robot pose as the AUV moves through the environment. The resulting elevation map can be used for reactive path planning and obstacle avoidance to allow robotic systems to approach the underwater terrain as closely as possible. The performance of our approach is evaluated in a simulated underwater environment by comparing the reconstructed terrain to ground truth reference maps, as well as demonstrated using AUV field data collected within in a coral reef environment. The simulations and field results show that the proposed approach is feasible for obstacle detection and range estimation using a monocular camera in reef environments.


title: The Carnegie-Irvine Galaxy Survey. IX. Classification of Bulge Types and Statistical Properties of Pseudo Bulges

abstract: We study the statistical properties of 320 bulges of disk galaxies in the Carnegie-Irvine Galaxy Survey, using robust structural parameters of galaxies derived from image fitting. We apply the Kormendy relation to classify classical and pseudo bulges and characterize bulge dichotomy with respect to bulge structural properties and physical properties of host galaxies. We confirm previous findings that pseudo bulges on average have smaller S\'{e}rsic indices, smaller bulge-to-total ratios, and fainter surface brightnesses when compared with classical bulges. Our sizable sample statistically shows that pseudo bulges are more intrinsically flattened than classical bulges. Pseudo bulges are most frequent (incidence $\gtrsim 80\%$) in late-type spirals (later than Sc). Our measurements support the picture in which pseudo bulges arose from star formation induced by inflowing gas, while classical bulges were born out of violent processes such as mergers and coalescence of clumps. We reveal differences with the literature that warrant attention: (1) the bimodal distribution of S\'{e}rsic indices presented by previous studies is not reproduced in our study; (2) classical and pseudo bulges have similar relative bulge sizes; and (3) the pseudo bulge fraction is considerably smaller in early-type disks compared with previous studies based on one-dimensional surface brightness profile fitting. We attribute the above differences to our improved image quality, more robust bulge-to-disk decomposition technique, and different classification criteria applied. Moreover, we find that barred galaxies do not host more pseudo bulges or more prominent pseudo bulges than unbarred galaxies. Various implications of these findings are discussed.


title: Universal building block for (1 1 0)-family silicon and germanium surfaces

abstract: The universal building block which is an essential part of all atomic structures on (1 1 0) silicon and germanium surfaces and their vicinals is proposed from first-principles calculations and a comparison of results with available experimental data. The atomic models for the (1 1 0)-(16x2), (1 1 0)-c(8x10), (1 1 0)-(5x8) and (17 15 1)-(2x1) surface reconstructions are developed on the basis of the building block structure. The models exhibit very low surface energies and excellent agreements with bias-dependent scanning tunneling microscopy (STM) images. It is shown experimentally using STM that the Si(47 35 7) surface shares the same building block. Our study closes the long-debated pentagon structures on (1 1 0) silicon and germanium surfaces.


title: Measuring the non-separability of vector modes with digital micromirror devices

abstract: The non-separability between the spatial and polarisation Degrees of Freedom (DoFs) of complex vector light fields has drawn significant attention in recent time. Key to this are its remarkable similarities with quantum entanglement, with quantum-like effects observed at the classical level. Crucially, this parallelism enables the use of quantum tools to quantify the coupling between the spatial and polarisation DoFs, usually implemented with polarisation-dependent spatial light modulators, which requires the splitting of the vector mode into two orthogonal polarisation components. Here we put forward a novel approach that relies on the use of Digital Micromirror Devices (DMDs) for fast, cheap and robust measurement, while the polarisation-independent nature of DMDs enables a reduction in the number of required measurements by 25\%. We tested our approach experimentally on cylindrical vector modes with arbitrary degrees of non-separability, of great relevance in a wide variety of applications. Our technique provides a reliable way to measure in real time the purity of vector modes, paving the way to novel applications where the degree of non-separability can be used as an optical sensor.


title: Symmetries, Dark Matter and Minicharged Particles

abstract: This theoretical particle physics thesis is an investigation into old and new symmetries of Nature. Known symmetries and conservation laws serve as a guide for dark and visible sector model building. New symmetries of Nature are proposed, broken and subsequently reinstated at high temperatures in order to discover well-motivated particle physics models for cosmological observations implying the existence of a dark sector. Candidate processes for creation of a non-primordial matter/antimatter asymmetry result from out of equilibrium spontaneous breaking of these symmetries in the early Universe. Using the Standard Model of particle physics as a foundation with minimal new degrees of freedom, minicharged and millicharged particles emerge from a proposed spontaneous breaking of known symmetries. Experimental predictions and constraints for such dark matter candidates are given briefly here and outlined for future work. Constraints on neutrino-like particles found in the debris of broken local (gauge) symmetries are given, a subset of which are sterile and appear to be viable particle dark matter candidates. A failed baryonic dark matter candidate became a candidate to solve an outstanding nuclear structure problem, the EMC effect.


abstract: Semantic segmentation with deep learning has achieved great progress in classifying the pixels in the image. However, the local location information is usually ignored in the high-level feature extraction by the deep learning, which is important for image semantic segmentation. To avoid this problem, we propose a graph model initialized by a fully convolutional network (FCN) named Graph-FCN for image semantic segmentation. Firstly, the image grid data is extended to graph structure data by a convolutional network, which transforms the semantic segmentation problem into a graph node classification problem. Then we apply graph convolutional network to solve this graph node classification problem. As far as we know, it is the first time that we apply the graph convolutional network in image semantic segmentation. Our method achieves competitive performance in mean intersection over union (mIOU) on the VOC dataset(about 1.34% improvement), compared to the original FCN model.