title: The algebra of entanglement and the geometry of composition

abstract: String diagrams turn algebraic equations into topological moves that have recurring shapes, involving the sliding of one diagram past another. We individuate, at the root of this fact, the dual nature of polygraphs as presentations of higher algebraic theories, and as combinatorial descriptions of "directed spaces". Operations of polygraphs modelled on operations of topological spaces are used as the foundation of a compositional universal algebra, where sliding moves arise from tensor products of polygraphs. We reconstruct several higher algebraic theories in this framework. In this regard, the standard formalism of polygraphs has some technical problems. We propose a notion of regular polygraph, barring cell boundaries that are not homeomorphic to a disk of the appropriate dimension. We define a category of non-degenerate shapes, and show how to calculate their tensor products. Then, we introduce a notion of weak unit to recover weakly degenerate boundaries in low dimensions, and prove that the existence of weak units is equivalent to a representability property. We then turn to applications of diagrammatic algebra to quantum theory. We re-evaluate the category of Hilbert spaces from the perspective of categorical universal algebra, which leads to a bicategorical refinement. Then, we focus on the axiomatics of fragments of quantum theory, and present the ZW calculus, the first complete diagrammatic axiomatisation of the theory of qubits. The ZW calculus has several advantages over ZX calculi, including a computationally meaningful normal form, and a fragment whose diagrams can be read as setups of fermionic oscillators. Moreover, its generators reflect an operational classification of entangled states of 3 qubits. We conclude with generalisations of the ZW calculus to higher-dimensional systems, including the definition of a universal set of generators in each dimension.


title: New inclination changing eclipsing binaries in the Magellanic Clouds

abstract: Context: Multiple stellar systems are unique laboratories for astrophysics. Analysis of their orbital dynamics may reveal invaluable information about the physical properties of the participating stars. Unfortunately, there are only a few known and well described multiple systems, this is even more so for systems located outside the Milky Way galaxy. A particularly interesting situation occurs when the inner binary in a compact triple system is eclipsing. This is because the stellar interaction, typically resulting in precession of orbital planes, may be observable as a variation of depth of the eclipses on a long timescale. Aims: We aim to present a novel method to determine compact triples using publicly available photometric data from large surveys. Here we apply it to eclipsing binaries (EBs) in Magellanic Clouds from OGLE III database. Methods: We analyzed light curves (LCs) of 26121 LMC and 6138 SMC EBs with the goal to identify those for which the orbital inclination varies in time. Archival LCs of the selected systems, when complemented by our own observations with Danish 1.54m telescope, were thoroughly analyzed using the PHOEBE program. Time dependence of the EB's inclination was described using the theory of orbital-plane precession. By observing the parameter-dependence of the precession rate, we were able to constrain the third companion mass and its orbital period around EB. Results: We identified 58 candidates of new compact triples in Magellanic Clouds. This is the largest published sample of such systems so far. Eight of them were analyzed thoroughly and physical parameters of inner binary were determined together with an estimation of basic characteristics of the third star. These data may provide important clues about stellar formation mechanisms for objects with different metalicity than found in our galactic neighborhood.


title: An infinite class of unsaturated rooted trees corresponding to designable RNA secondary structures

abstract: An RNA secondary structure is designable if there is an RNA sequence which can attain its maximum number of base pairs only by adopting that structure. The combinatorial RNA design problem, introduced by Hale\v{s} et al. in 2016, is to determine whether or not a given RNA secondary structure is designable. Hale\v{s} et al. identified certain classes of designable and non-designable secondary structures by reference to their corresponding rooted trees. We introduce an infinite class of rooted trees containing unpaired nucleotides at the greatest depth, and prove constructively that their corresponding secondary structures are designable. This complements previous results for the combinatorial RNA design problem.


title: Uncertainty Quantification for High Dimensional Sparse Nonparametric Additive Models

abstract: Statistical inference in high dimensional settings has recently attracted enormous attention within the literature. However, most published work focuses on the parametric linear regression problem. This paper considers an important extension of this problem: statistical inference for high dimensional sparse nonparametric additive models. To be more precise, this paper develops a methodology for constructing a probability density function on the set of all candidate models. This methodology can also be applied to construct confidence intervals for various quantities of interest (such as noise variance) and confidence bands for the additive functions. This methodology is derived using a generalized fiducial inference framework. It is shown that results produced by the proposed methodology enjoy correct asymptotic frequentist properties. Empirical results obtained from numerical experimentation verify this theoretical claim. Lastly, the methodology is applied to a gene expression data set and discovers new findings for which most existing methods based on parametric linear modeling failed to observe.


title: The inefficiency of Bitcoin revisited: a dynamic approach

abstract: This letter revisits the informational efficiency of the Bitcoin market. In particular we analyze the time-varying behavior of long memory of returns on Bitcoin and volatility 2011 until 2017, using the Hurst exponent. Our results are twofold. First, R/S method is prone to detect long memory, whereas DFA method can discriminate more precisely variations in informational efficiency across time. Second, daily returns exhibit persistent behavior in the first half of the period under study, whereas its behavior is more informational efficient since 2014. Finally, price volatility, measured as the logarithmic difference between intraday high and low prices exhibits long memory during all the period. This reflects a different underlying dynamic process generating the prices and volatility.


title: Efficient quantum pseudorandomness with simple graph states

abstract: Measurement based (MB) quantum computation allows for universal quantum computing by measuring individual qubits prepared in entangled multipartite states, known as graph states. Unless corrected for, the randomness of the measurements leads to the generation of ensembles of random unitaries, where each random unitary is identified with a string of possible measurement results. We show that repeating an MB scheme an efficient number of times, on a simple graph state, with measurements at fixed angles and no feed-forward corrections, produces a random unitary ensemble that is an {\epsilon}-approximate t-design on n-qubits. Unlike previous constructions, the graph is regular and is also a universal resource for measurement based quantum computing, closely related to the brickwork state


title: The Dirichlet problem for the minimal hypersurface equation with Lipschitz continuous boundary data on domains of a Riemannian manifold

abstract: Given a C2-domain with compact boundary in an arbitrary complete Riemannian manifold, we search for smallness conditions on the boundary data for which the Dirichlet problem for the minimal hypersurface equation is solvable. We obtain an extension to Riemannian manifolds of an existence result of G. H. Williams ( J. Reine Angew. Math. 354:123-140, 1984).


title: Time and Consciousness in a Quantum World

abstract: We address the relation between two apparently distinct problems: The quest for a deeper understanding of the nature of consciousness and the search for time and space as emergent structures in the quantum mechanical world. We also advance a toy-model proposal of emergence of time from a timeless unus mundus quantum-like space by using Aharonov's two state formalism of quantum mechanics. We further speculate on these issues within a quantum cognitive perspective with particular interest in two recent papers on this emerging field of science. One (Aerts et al) entails (as we argue) a panpsychist top-down approach to the problem of consciousness. The second paper (Blutner et al) proposes a quantum cognitive model for Jung's psychological type structure. We discuss these concepts and their relation with our main thesis, that time is a measure of individuality. One of our central motivations is to provide arguments that allows the mainstream physicist to take seriously a panpsychist worldview, a position that has been openly forwarded by many modern philosophers.


title: Robust estimation of mixing measures in finite mixture models

abstract: In finite mixture models, apart from underlying mixing measure, true kernel density function of each subpopulation in the data is, in many scenarios, unknown. Perhaps the most popular approach is to choose some kernel functions that we empirically believe our data are generated from and use these kernels to fit our models. Nevertheless, as long as the chosen kernel and the true kernel are different, statistical inference of mixing measure under this setting will be highly unstable. To overcome this challenge, we propose flexible and efficient robust estimators of the mixing measure in these models, which are inspired by the idea of minimum Hellinger distance estimator, model selection criteria, and superefficiency phenomenon. We demonstrate that our estimators consistently recover the true number of components and achieve the optimal convergence rates of parameter estimation under both the well- and mis-specified kernel settings for any fixed bandwidth. These desirable asymptotic properties are illustrated via careful simulation studies with both synthetic and real data.


title: From discrete flow of Beckner to continuous flow of Janson in complex hypercontractivity

abstract: We show how Beckner's montonicity result on Hamming cube easily implies the monotonicity of a flow introduced by Janson in Hausdorff--Young inequality


title: Formal Black-Box Analysis of Routing Protocol Implementations

abstract: The Internet infrastructure relies entirely on open standards for its routing protocols. However, the majority of routers on the Internet are closed-source. Hence, there is no straightforward way to analyze them. Specifically, one cannot easily identify deviations of a router's routing functionality from the routing protocol's standard. Such deviations (either deliberate or inadvertent) are particularly important to identify since they may degrade the security or resiliency of the network. A model-based testing procedure is a technique that allows to systematically generate tests based on a model of the system to be tested; thereby finding deviations in the system compared to the model. However, applying such an approach to a complex multi-party routing protocol requires a prohibitively high number of tests to cover the desired functionality. We propose efficient and practical optimizations to the model-based testing procedure that are tailored to the analysis of routing protocols. These optimizations allow to devise a formal black-box method to unearth deviations in closed-source routing protocols' implementations. The method relies only on the ability to test the targeted protocol implementation and observe its output. Identification of the deviations is fully automatic. We evaluate our method against one of the complex and widely used routing protocols on the Internet -- OSPF. We search for deviations in the OSPF implementation of Cisco. Our evaluation identified numerous significant deviations that can be abused to compromise the security of a network. The deviations were confirmed by Cisco. We further employed our method to analyze the OSPF implementation of the Quagga Routing Suite. The analysis revealed one significant deviation. Subsequent to the disclosure of the deviations some of them were also identified by IBM, Lenovo and Huawei in their own products.


title: The Onset of Convective Coupling and Freezing in the White Dwarfs of 47 Tucanae

abstract: Using images from the Hubble Space Telescope Advanced Camera for Surveys, we measure the rate of cooling of white dwarfs in the globular cluster 47 Tucanae and compare it to modelled cooling curves. We examine the effects of the outer convective envelope reaching the nearly isothermal degenerate core and the release of latent heat during core crystallisation on the white dwarf cooling rates. For white dwarfs typical of 47 Tuc, the onset of these effects occur at similar times. The latent heat released during crystallisation is a small heat source. In contrast, the heat reservoir of the degenerate core is substantially larger. When the convective envelope reaches the nearly isothermal interior of the white dwarf, the star becomes brighter than it would be in the absence of this effect. Our modelled cooling curves that include this convective coupling closely match the observed luminosity function of the white dwarfs in 47 Tuc.


title: Products of characters of the symmetric group

abstract: In a recent paper, the authors introduced a new basis of the ring of symmetric functions which evaluate to the irreducible characters of the symmetric group at roots of unity. The structure coefficients for this new basis are the stable Kronecker coefficients. In this paper we give combinatorial descriptions for several products that have as consequences several versions of the Pieri rule for this new basis of symmetric functions. In addition, we give several applications of the products studied in this paper.


title: Testing small scale gravitational wave detectors with dynamical mass distributions

abstract: The recent discovery of gravitational waves by the LIGO-Virgo collaboration created renewed interest in the investigation of alternative gravitational detector designs, such as small scale resonant detectors. In this article, it is shown how proposed small scale detectors can be tested by generating dynamical gravitational fields with appropriate distributions of moving masses. A series of interesting experiments will be possible with this setup. In particular, small scale detectors can be tested very early in the development phase and tests can be used to progress quickly in their development. This could contribute to the emerging field of gravitational wave astronomy.


title: A Sharpened Strichartz Inequality For Radial Functions

abstract: We prove a sharpened version of the Strichartz inequality for radial solutions of the Schr\"odinger equation in $\mathbb{R}^2\times \mathbb{R}$. We establish an improved upper bound for functions that nearly extremize the inequality, with a negative second term that measures the distance from the initial data to Gaussians.


title: Optimizing Quantum Models of Classical Channels: The reverse Holevo problem

abstract: Given a classical channel---a stochastic map from inputs to outputs---the input can often be transformed to an intermediate variable that is informationally smaller than the input. The new channel accurately simulates the original but at a smaller transmission rate. Here, we examine this procedure when the intermediate variable is a quantum state. We determine when and how well quantum simulations of classical channels may improve upon the minimal rates of classical simulation. This inverts Holevo's original question of quantifying the capacity of quantum channels with classical resources. We also show that this problem is equivalent to another, involving the local generation of a distribution from common entanglement.

categories: quant-ph cond-mat.stat-mech cs.IT math.IT stat.ML


title: Oscillator-based Ising Machine

abstract: Many combinatorial optimization problems can be mapped to finding the ground states of the corresponding Ising Hamiltonians. The physical systems that can solve optimization problems in this way, namely Ising machines, have been attracting more and more attention recently. Our work shows that Ising machines can be realized using almost any nonlinear self-sustaining oscillators with logic values encoded in their phases. Many types of such oscillators are readily available for large-scale integration, with potentials in high-speed and low-power operation. In this paper, we describe the operation and mechanism of oscillator-based Ising machines. The feasibility of our scheme is demonstrated through several examples in simulation and hardware, among which a simulation study reports average solutions exceeding those from state-of-art Ising machines on a benchmark combinatorial optimization problem of size 2000.


title: Compact Environment-Invariant Codes for Robust Visual Place Recognition

abstract: Robust visual place recognition (VPR) requires scene representations that are invariant to various environmental challenges such as seasonal changes and variations due to ambient lighting conditions during day and night. Moreover, a practical VPR system necessitates compact representations of environmental features. To satisfy these requirements, in this paper we suggest a modification to the existing pipeline of VPR systems to incorporate supervised hashing. The modified system learns (in a supervised setting) compact binary codes from image feature descriptors. These binary codes imbibe robustness to the visual variations exposed to it during the training phase, thereby, making the system adaptive to severe environmental changes. Also, incorporating supervised hashing makes VPR computationally more efficient and easy to implement on simple hardware. This is because binary embeddings can be learned over simple-to-compute features and the distance computation is also in the low-dimensional hamming space of binary codes. We have performed experiments on several challenging data sets covering seasonal, illumination and viewpoint variations. We also compare two widely used supervised hashing methods of CCAITQ and MLH and show that this new pipeline out-performs or closely matches the state-of-the-art deep learning VPR methods that are based on high-dimensional features extracted from pre-trained deep convolutional neural networks.


title: On Principal Components Regression, Random Projections, and Column Subsampling

abstract: Principal Components Regression (PCR) is a traditional tool for dimension reduction in linear regression that has been both criticized and defended. One concern about PCR is that obtaining the leading principal components tends to be computationally demanding for large data sets. While random projections do not possess the optimality properties of the leading principal subspace, they are computationally appealing and hence have become increasingly popular in recent years. In this paper, we present an analysis showing that for random projections satisfying a Johnson-Lindenstrauss embedding property, the prediction error in subsequent regression is close to that of PCR, at the expense of requiring a slightly large number of random projections than principal components. Column sub-sampling constitutes an even cheaper way of randomized dimension reduction outside the class of Johnson-Lindenstrauss transforms. We provide numerical results based on synthetic and real data as well as basic theory revealing differences and commonalities in terms of statistical performance.


title: $p$-adic $L$-functions of Hilbert cusp forms and the trivial zero conjecture

abstract: We prove a strong form of the trivial zero conjecture at the central point for the $p$-adic $L$-function of a non-critically refined self-dual cohomological cuspidal automorphic representation of $\mathrm{GL}_2$ over a totally real field, which is Iwahori spherical at places above $p$. In the case of a simple zero we adapt the approach of Greenberg and Stevens, based on the functional equation for the $p$-adic $L$-function of a nearly finite slope family and on improved $p$-adic $L$-functions that we construct using automorphic symbols and overconvergent cohomology. For higher order zeros we develop a conceptually new approach studying the variation of the root number in partial families and establishing the vanishing of many Taylor coefficients of the $p$-adic $L$-function of the family.


title: Emerging Topics in Assistive Reading Technology: From Presentation to Content Accessibility

abstract: With the recent focus in the accessibility field, researchers from academia and industry have been very active in developing innovative techniques and tools for assistive technology. Especially with handheld devices getting ever powerful and being able to recognize the user's voice, screen magnification for individuals with low-vision, and eye tracking devices used in studies with individuals with physical and intellectual disabilities, the science field is quickly adapting and creating conclusions as well as products to help. In this paper, we will focus on new technology and tools to help make reading easier--including reformatting document presentation (for people with physical vision impairments) and text simplification to make information itself easier to interpret (for people with intellectual disabilities). A real-world case study is reported based on our experience to make documents more accessible.


title: The resolvent algebra of non-relativistic Bose fields: observables, dynamics and states

abstract: The structure of the gauge invariant (particle number preserving) C*-algebra generated by the resolvents of a non-relativistic Bose field is analyzed. It is shown to form a dense subalgebra of the bounded inverse limit of a system of approximately finite dimensional C*-algebras. Based on this observation, it is proven that the closure of the gauge invariant algebra is stable under the dynamics induced by Hamiltonians involving pair potentials. These facts allow to proceed to a description of interacting Bosons in terms of C*-dynamical systems. It is outlined how the present approach leads to simplifications in the construction of infinite bosonic states and sheds new light on topics in many body theory.

categories: math-ph cond-mat.stat-mech math.MP quant-ph


title: BPM in the cloud: A systematic literature review

abstract: Business Process Management (BPM) in the cloud is focused on how to provide Business Process as a Service (BPaaS) and also implementing the Elastic Business Process Management (eBPM). These approaches are finding models, techniques and methodologies to increase the BPM adoption in the cloud. The objective on this research is to carry out a literature review about the state of the art of Business Process Management in the cloud, identify categories and analyze what the approach on eBPM researches and BPaaS researches is. The method used is the systematic literature review and the researches evolution over the time will be categorized and analyzed using a timeline and cumulative charts. The results show that the Business Process enactment is the main approach focused on eBPM researches, whereas the researches on BPaaS are focused on a greater number of categories. The conclusion of this research is that the authors could not identify any systems supporting the eBPM and BPaaS approaches at the same time and they introduce the definition of a new approach called Elastic Business Process Management as a Service (eBPMaaS)


title: The effect of the junction model on the anomalous diffusion in the 3D comb structure

abstract: The diffusion in the comb structures is a popular model of geometrically induced anomalous diffusion. In the present work we concentrate on the diffusion along the backbone in a system where sidebranches are planes, and the diffusion thereon is anomalous and described by continuous time random walks (CTRW). We show that the mean squared displacement (MSD) in the backbone of the comb behaves differently depending on whether the waiting time periods in the sidebranches are reset after the step in the backbone is done (a rejuvenating junction model), or not (a non-rejuvenating junction model). In the rejuvenating case the subdiffusion in the sidebranches only changes the prefactor in the ultra-slow (logarithmic) diffusion along the backbone, while in the non-rejuvenating case the ultraslow, logarithmic subdiffusion is changed to a much faster power-law subdiffusion (with a logarithmic correction) as it was found earlier by Iomin and Mendez [Chaos Solitons and Fractals 2016; 82:142]. Moreover, in the first case the result does not change if the diffusion in the backbone is itself anomalous, while in the second case it does. Two of the special cases of the considered models (the non-rejuvenating junction under normal diffusion in the backbone, and rejuvenating junction for the same waiting time distribution in the sidebranches and in junction points) were also investigated within the approach based on the corresponding generalized Fokker-Planck equations.


title: Atomic Structure of Domain and Interphase Boundaries in Ferroelectric HfO$_2$

abstract: Though the electrical responses of the various polymorphs found in ferroelectric polycrystalline thin film HfO$_2$ are now well characterized, little is currently understood of this novel material's grain sub-structure. In particular, the formation of domain and phase boundaries requires investigation to better understand phase stabilization, switching, and interconversion. Here, we apply scanning transmission electron microscopy to investigate the atomic structure of boundaries in these materials. In particular, we find orthorhombic/orthorhombic domain walls and coherent orthorhombic/monoclinic interphase boundaries formed throughout individual grains. The results inform how interphase boundaries can impose strain conditions that may be key to phase stabilization. Moreover, the atomic structure near interphase boundary walls suggests potential for their mobility under bias, which has been speculated to occur in perovskite morphotropic phase boundary systems by mechanisms similar to domain boundary motion.


title: Critical and flow-critical snarks coincide

abstract: Over the past twenty years, critical and bicritical snarks have been appearing in the literature in various forms and in different contexts. Two main variants of criticality of snarks have been studied: criticality with respect to the non-existence of a $3$-edge-colouring and criticality with respect to the non-existence of a nowhere-zero $4$-flow. In this paper we show that these two kinds of criticality coincide, thereby completing previous partial results of de Freitas et al. [Electron. Notes Discrete Math. 50 (2015), 199--204] and Fiol et al. [ arXiv:1702.07156v1 (2017)].


title: Lepton flavor violating Higgs decay at $e^+ e^-$ colliders

abstract: We estimate the smallest branching ratio for the Higgs decay channel $h \rightarrow \mu \tau$, which can be probed at an $e^+e^-$ collider and compare it with the projected reach at the high-luminosity run of the LHC. Using a model-independent approach, Higgs production is considered in two separate cases. In the first case, $hWW$ and $hZZ$ couplings are allowed to be scaled by a factor allowed by the latest experimental limits on $hWW$ and $hZZ$ couplings. In the second case, we have introduced higher-dimensional effective operators for these interaction vertices. Keeping BR($h\to\mu\tau$) as a purely phenomenological quantity, we find that this branching ratio can be probed down to $\approx 2.69\times 10^{-3}$ and $\approx 5.83\times 10^{-4}$ respectively, at the 250 GeV and 1000 GeV run of an $e^+e^-$ collider.


title: Identification of stars and digital version of E.S.Brodskaya and V.F.Shajn catalogue of 1958

abstract: The following topics are considered: the identification of objects on search maps, the determination of their coordinates at the epoch of 2000, and converting into a machine readable format the published version of E.S. Brodskaya and V.F. Shajn catalogue of 1958. The statistics for photometric and spectral data from the original catalogue is presented. A digital version of the catalogue is described, as well as its presentation in HTML, VOTable and AJS formats and the basic principles of work in the interactive application of International Virtual Observatory the Aladin sky atlas.


title: Nonconvex Low-Rank Matrix Recovery with Arbitrary Outliers via Median-Truncated Gradient Descent

abstract: Recent work has demonstrated the effectiveness of gradient descent for directly recovering the factors of low-rank matrices from random linear measurements in a globally convergent manner when initialized properly. However, the performance of existing algorithms is highly sensitive in the presence of outliers that may take arbitrary values. In this paper, we propose a truncated gradient descent algorithm to improve the robustness against outliers, where the truncation is performed to rule out the contributions of samples that deviate significantly from the {\em sample median} of measurement residuals adaptively in each iteration. We demonstrate that, when initialized in a basin of attraction close to the ground truth, the proposed algorithm converges to the ground truth at a linear rate for the Gaussian measurement model with a near-optimal number of measurements, even when a constant fraction of the measurements are arbitrarily corrupted. In addition, we propose a new truncated spectral method that ensures an initialization in the basin of attraction at slightly higher requirements. We finally provide numerical experiments to validate the superior performance of the proposed approach.


title: GB-PANDAS: Throughput and heavy-traffic optimality analysis for affinity scheduling

abstract: Dynamic affinity scheduling has been an open problem for nearly three decades. The problem is to dynamically schedule multi-type tasks to multi-skilled servers such that the resulting queueing system is both stable in the capacity region (throughput optimality) and the mean delay of tasks is minimized at high loads near the boundary of the capacity region (heavy-traffic optimality). As for applications, data-intensive analytics like MapReduce, Hadoop, and Dryad fit into this setting, where the set of servers is heterogeneous for different task types, so the pair of task type and server determines the processing rate of the task. The load balancing algorithm used in such frameworks is an example of affinity scheduling which is desired to be both robust and delay optimal at high loads when hot-spots occur. Fluid model planning, the MaxWeight algorithm, and the generalized $c\mu$-rule are among the first algorithms proposed for affinity scheduling that have theoretical guarantees on being optimal in different senses, which will be discussed in the related work section. All these algorithms are not practical for use in data center applications because of their non-realistic assumptions. The join-the-shortest-queue-MaxWeight (JSQ-MaxWeight), JSQ-Priority, and weighted-workload algorithms are examples of load balancing policies for systems with two and three levels of data locality with a rack structure. In this work, we propose the Generalized-Balanced-Pandas algorithm (GB-PANDAS) for a system with multiple levels of data locality and prove its throughput optimality. We prove this result under an arbitrary distribution for service times, whereas most previous theoretical work assumes geometric distribution for service times. The extensive simulation results show that the GB-PANDAS algorithm alleviates the mean delay and has a better performance than the JSQ-MaxWeight algorithm by twofold


title: A Compressed Sensing-based Image Reconstruction Algorithm for Solar Flare X-Ray Observations

abstract: One way of imaging X-ray emission from solar flares is to measure Fourier components of the spatial X-ray source distribution. We present a new Compressed Sensing-based algorithm named VIS_CS, which reconstructs the spatial distribution from such Fourier components. We demonstrate the application of the algorithm on synthetic and observed solar flare X-ray data from the Reuven Ramaty High Energy Solar Spectroscopic Imager (RHESSI) satellite and compare its performance with existing algorithms. VIS_CS produces competitive results with accurate photometry and morphology, without requiring any algorithm- and X-ray source-specific parameter tuning. Its robustness and performance make this algorithm ideally suited for generation of quicklook images or large image cubes without user intervention, such as for imaging spectroscopy analysis.


title: Electron Mobility in Monoclinic \beta-Ga2O3 - Effect of Plasmon-phonon Coupling, Anisotropy, and Confinement

abstract: This work reports an investigation of electron transport in monoclinic \beta-Ga2O3 based on a combination of density functional perturbation theory based lattice dynamical computations, coupling calculation of lattice modes with collective plasmon oscillations and Boltzmann theory based transport calculations. The strong entanglement of the plasmon with the different longitudinal optical (LO) modes make the role LO-plasmon coupling crucial for transport. The electron density dependence of the electron mobility in \beta-Ga2O3 is studied in bulk material form and also in the form of two-dimensional electron gas. Under high electron density a bulk mobility of 182 cm2/ V.s is predicted while in 2DEG form the corresponding mobility is about 418 cm2/V.s when remote impurities are present at the interface and improves further as the remote impurity center moves away from the interface. The trend of the electron mobility shows promise for realizing high electron mobility in dopant isolated electron channels. The experimentally observed small anisotropy in mobility is traced through a transient Monte Carlo simulation. It is found that the anisotropy of the IR active phonon modes is responsible for giving rise to the anisotropy in low-field electron mobility.


title: Strong Convergence of Integrators for Nonequilibrium Langevin Dynamics`

abstract: Several numerical schemes are proposed for the solution of Nonequilibrium Langevin Dynamics (NELD), and the rate of convergence is analyzed. Due to the special deforming boundary conditions used, care must be taken when using standard stochastic integration schemes, and we demonstrate a loss of convergence for a naive implementation. We then present several first and second order schemes, in the sense of strong convergence.


title: Analogies between the crossing number and the tangle crossing number

abstract: Tanglegrams are special graphs that consist of a pair of rooted binary trees with the same number of leaves, and a perfect matching between the two leaf-sets. These objects are of use in phylogenetics and are represented with straightline drawings where the leaves of the two plane binary trees are on two parallel lines and only the matching edges can cross. The tangle crossing number of a tanglegram is the minimum crossing number over all such drawings and is related to biologically relevant quantities, such as the number of times a parasite switched hosts. Our main results for tanglegrams which parallel known theorems for crossing numbers are as follows. The removal of a single matching edge in a tanglegram with $n$ leaves decreases the tangle crossing number by at most $n-3$, and this is sharp. Additionally, if $\gamma(n)$ is the maximum tangle crossing number of a tanglegram with $n$ leaves, we prove $\frac{1}{2}\binom{n}{2}(1-o(1))\le\gamma(n)<\frac{1}{2}\binom{n}{2}$. Further, we provide an algorithm for computing non-trivial lower bounds on the tangle crossing number in $O(n^4)$ time. This lower bound may be tight, even for tanglegrams with tangle crossing number $\Theta(n^2)$.


title: GP-SUM. Gaussian Processes Filtering of non-Gaussian Beliefs

abstract: This work studies the problem of stochastic dynamic filtering and state propagation with complex beliefs. The main contribution is GP-SUM, a filtering algorithm tailored to dynamic systems and observation models expressed as Gaussian Processes (GP), and to states represented as a weighted sum of Gaussians. The key attribute of GP-SUM is that it does not rely on linearizations of the dynamic or observation models, or on unimodal Gaussian approximations of the belief, hence enables tracking complex state distributions. The algorithm can be seen as a combination of a sampling-based filter with a probabilistic Bayes filter. On the one hand, GP-SUM operates by sampling the state distribution and propagating each sample through the dynamic system and observation models. On the other hand, it achieves effective sampling and accurate probabilistic propagation by relying on the GP form of the system, and the sum-of-Gaussian form of the belief. We show that GP-SUM outperforms several GP-Bayes and Particle Filters on a standard benchmark. We also demonstrate its use in a pushing task, predicting with experimental accuracy the naturally occurring non-Gaussian distributions.


title: A lower bound on the canonical height for polynomials

abstract: We prove a lower bound on the canonical height associated to polynomials over number fields evaluated at points with infinite forward orbit. The lower bound depends only on the degree of the polynomial, the degree of the number field, and the number of places of bad reduction.


title: A Simple Algorithm for Computing a Cycle Separator

abstract: We present a linear time algorithm for computing a cycle separator in a planar graph that is (arguably) simpler than previously known algorithms. Our algorithm builds on, and is somewhat similar to, previous algorithms for computing separators. The main new ingredient is a specific layered decomposition of the planar graph constructed differently from previous BFS-based layerings.


title: Effects of quantum statistical pressure and exchange correlation on the low frequency electromagnetic waves in degenerate Fermi-Dirac pair-ion plasma

abstract: The low frequency, long wavelength electromagnetic waves, viz, shear Alfven wave in quantum electron-positron-ion magneto plasmas, have been examined using quantum magneto hydrodynamic model. In this model, we have considered electrons and positrons are to be magnetized as well as degenerate whereas ions are magnetized but classical. We have also included the effects of exchange correlation terms which appear entirely the dynamic equations of electrons and positrons. The whole treatment is done using multi-fluid model. Our object is to study the shear Alfv\'en waves propagating in above said system of plasma. For that we have derived the modified dispersion relation of the shear Alfv\'en waves. Results are relevant to the terrestrial laboratory astrophysics.


title: Gravitational Instability Analysis in Multi-Ion Dense Quantum Magnetoplasma

abstract: Electrostatic Gravitational or Rayleigh-Taylor (RT) instability in an inhomogeneous magnetized multi-ions plasma with some fraction of quantum mechanical electrons. The effect of Bohm potential, temperature degeneracy and magnetic field are carried out. A generalized dispersion relation is deduced under the drift approximation. The presence of negative ions with their different streaming velocities make the dispersion relation a cubic equation. Different roots of both real and imaginary parts of the RT mode are studied by using the Cardano method of solving the cubic equation. The growth rates of RT instability are examined analytically and numerically. It is shown that the basic features of these waves are significantly modified by the positive and negative ions drift speed as well as by the magnetic field and density. Relevance of the work regarding to dense astrophysical plasmas is pointed out.


title: Total variation regularization of the $3$-D gravity inverse problem using a randomized generalized singular value decomposition

abstract: We present a fast algorithm for the total variation regularization of the $3$-D gravity inverse problem. Through imposition of the total variation regularization, subsurface structures presenting with sharp discontinuities are preserved better than when using a conventional minimum-structure inversion. The associated problem formulation for the regularization is non linear but can be solved using an iteratively reweighted least squares algorithm. For small scale problems the regularized least squares problem at each iteration can be solved using the generalized singular value decomposition. This is not feasible for large scale problems. Instead we introduce the use of a randomized generalized singular value decomposition in order to reduce the dimensions of the problem and provide an effective and efficient solution technique. For further efficiency an alternating direction algorithm is used to implement the total variation weighting operator within the iteratively reweighted least squares algorithm. Presented results for synthetic examples demonstrate that the novel randomized decomposition provides good accuracy for reduced computational and memory demands as compared to use of classical approaches.


title: Self-supervised learning: When is fusion of the primary and secondary sensor cue useful?

abstract: Self-supervised learning (SSL) is a reliable learning mechanism in which a robot enhances its perceptual capabilities. Typically, in SSL a trusted, primary sensor cue provides supervised training data to a secondary sensor cue. In this article, a theoretical analysis is performed on the fusion of the primary and secondary cue in a minimal model of SSL. A proof is provided that determines the specific conditions under which it is favorable to perform fusion. In short, it is favorable when (i) the prior on the target value is strong or (ii) the secondary cue is sufficiently accurate. The theoretical findings are validated with computational experiments. Subsequently, a real-world case study is performed to investigate if fusion in SSL is also beneficial when assumptions of the minimal model are not met. In particular, a flying robot learns to map pressure measurements to sonar height measurements and then fuses the two, resulting in better height estimation. Fusion is also beneficial in the opposite case, when pressure is the primary cue. The analysis and results are encouraging to study SSL fusion also for other robots and sensors.


title: Robust Facial Landmark Detection under Significant Head Poses and Occlusion

abstract: There have been tremendous improvements for facial landmark detection on general "in-the-wild" images. However, it is still challenging to detect the facial landmarks on images with severe occlusion and images with large head poses (e.g. profile face). In fact, the existing algorithms usually can only handle one of them. In this work, we propose a unified robust cascade regression framework that can handle both images with severe occlusion and images with large head poses. Specifically, the method iteratively predicts the landmark occlusions and the landmark locations. For occlusion estimation, instead of directly predicting the binary occlusion vectors, we introduce a supervised regression method that gradually updates the landmark visibility probabilities in each iteration to achieve robustness. In addition, we explicitly add occlusion pattern as a constraint to improve the performance of occlusion prediction. For landmark detection, we combine the landmark visibility probabilities, the local appearances, and the local shapes to iteratively update their positions. The experimental results show that the proposed method is significantly better than state-of-the-art works on images with severe occlusion and images with large head poses. It is also comparable to other methods on general "in-the-wild" images.


title: Constrained Deep Transfer Feature Learning and its Applications

abstract: Feature learning with deep models has achieved impressive results for both data representation and classification for various vision tasks. Deep feature learning, however, typically requires a large amount of training data, which may not be feasible for some application domains. Transfer learning can be one of the approaches to alleviate this problem by transferring data from data-rich source domain to data-scarce target domain. Existing transfer learning methods typically perform one-shot transfer learning and often ignore the specific properties that the transferred data must satisfy. To address these issues, we introduce a constrained deep transfer feature learning method to perform simultaneous transfer learning and feature learning by performing transfer learning in a progressively improving feature space iteratively in order to better narrow the gap between the target domain and the source domain for effective transfer of the data from the source domain to target domain. Furthermore, we propose to exploit the target domain knowledge and incorporate such prior knowledge as a constraint during transfer learning to ensure that the transferred data satisfies certain properties of the target domain. To demonstrate the effectiveness of the proposed constrained deep transfer feature learning method, we apply it to thermal feature learning for eye detection by transferring from the visible domain. We also applied the proposed method for cross-view facial expression recognition as a second application. The experimental results demonstrate the effectiveness of the proposed method for both applications.


title: Constrained Joint Cascade Regression Framework for Simultaneous Facial Action Unit Recognition and Facial Landmark Detection

abstract: Cascade regression framework has been shown to be effective for facial landmark detection. It starts from an initial face shape and gradually predicts the face shape update from the local appearance features to generate the facial landmark locations in the next iteration until convergence. In this paper, we improve upon the cascade regression framework and propose the Constrained Joint Cascade Regression Framework (CJCRF) for simultaneous facial action unit recognition and facial landmark detection, which are two related face analysis tasks, but are seldomly exploited together. In particular, we first learn the relationships among facial action units and face shapes as a constraint. Then, in the proposed constrained joint cascade regression framework, with the help from the constraint, we iteratively update the facial landmark locations and the action unit activation probabilities until convergence. Experimental results demonstrate that the intertwined relationships of facial action units and face shapes boost the performances of both facial action unit recognition and facial landmark detection. The experimental results also demonstrate the effectiveness of the proposed method comparing to the state-of-the-art works.


title: Simultaneous Facial Landmark Detection, Pose and Deformation Estimation under Facial Occlusion

abstract: Facial landmark detection, head pose estimation, and facial deformation analysis are typical facial behavior analysis tasks in computer vision. The existing methods usually perform each task independently and sequentially, ignoring their interactions. To tackle this problem, we propose a unified framework for simultaneous facial landmark detection, head pose estimation, and facial deformation analysis, and the proposed model is robust to facial occlusion. Following a cascade procedure augmented with model-based head pose estimation, we iteratively update the facial landmark locations, facial occlusion, head pose and facial de- formation until convergence. The experimental results on benchmark databases demonstrate the effectiveness of the proposed method for simultaneous facial landmark detection, head pose and facial deformation estimation, even if the images are under facial occlusion.


title: Magnetless Circulators Based on Spatiotemporal Modulation of Bandstop Filters in a Delta Topology

abstract: In this paper, we discuss the design rationale and guidelines to build magnet-less circulators based on spatio-temporal modulation of resonant junctions consisting of first-order bandstop filters connected in a delta topology. Without modulation, the junction does not allow transmission between its ports, however, when the natural oscillation frequencies of the constituent LC filters are modulated in time with a suitable phase pattern, a synthetic angular-momentum bias can be effectively imparted to the junction and a transmission window opens at one of the output ports, thus realizing a circulator. We develop a rigorous small-signal linear model and find analytical expressions for the harmonic S-parameters of the proposed circuit, which significantly facilitate the design process. We validate the theory with simulations and further discuss the large signal response, including power handling and non-linearity, and the noise performance. Finally, we present measured results with unprecedented performance in all metrics for a PCB prototype using a Rogers board and off-the-shelf discrete components.


title: A map for heavy inertial particles in fluid flows

abstract: We introduce a map which reproduces qualitatively many fundamental properties of the dynamics of heavy particles in fluid flows. These include a uniform rate of decrease of volume in phase space, a slow-manifold effective dynamics when the single parameter $s$ (analogous of the Stokes number) approaches zero, the possibility of fold caustics in the "velocity field", and a minimum, as a function of $s$, of the Lyapunov (Kaplan-Yorke) dimension of the attractor where particles accumulate.


title: Pseudo-Linear Time-Invariant Magnetless Circulators Based on Differential Spatiotemporal Modulation of Resonant Junctions

abstract: In this paper, we present voltage- and current-mode differential magnetless non-reciprocal devices obtained by pairing two single-ended (SE) circulators, each consisting of three first-order bandpass or bandstop LC filters, connected in either a wye or a delta topology. The resonant poles of each SE circulator are modulated in time with 120 deg phase-shifted periodic signals, resulting in synthetic angular-momentum biasing achieved through spatiotemporal modulation (STM). We tailor the two SE circulators to exhibit a constant 180 deg phase difference between their STM biases. Unlike conventional differential time-variant circuits, for which only the even or odd spurs are rejected, we show that the proposed configuration cancels out all intermodulation (IM) products, thus making them operate alike linear time-invariant (LTI) circuits for an external observer. In turn, this property enhances all metrics of the resulting circulator, overcoming the limitations of SE architectures, and improving insertion loss, impedance matching, bandwidth and noise figure. We show that this differential architecture also significantly relaxes the required modulation parameters, both in frequency and amplitude. We develop a rigorous small-signal model to guide the design of the proposed circuits and to get insights into their pseudo-LTI characteristics. Then, we validate the theory with simulations and measurements showing remarkable performance compared to the current state of the art of magnetless non-reciprocal devices.


title: Option Pricing with Greed and Fear Factor: The Rational Finance Approach

abstract: We explain the main concepts of Prospect Theory and Cumulative Prospect Theory within the framework of rational dynamic asset pricing theory. We derive option pricing formulas when asset returns are altered with a generalized Prospect Theory value function or a modified Prelec weighting probability function and introduce new parametric classes for Prospect Theory value functions and weighting probability functions consistent with rational dynamic pricing Theory. We study the behavioral finance notion of greed and fear from the point of view of rational dynamic asset pricing theory and derive the corresponding option pricing formulas in the case of asset returns that follow continuous diffusion or discrete binomial trees.


title: Weather Forecasting Error in Solar Energy Forecasting

abstract: As renewable distributed energy resources (DERs) penetrate the power grid at an accelerating speed, it is essential for operators to have accurate solar photovoltaic (PV) energy forecasting for efficient operations and planning. Generally, observed weather data are applied in the solar PV generation forecasting model while in practice the energy forecasting is based on forecasted weather data. In this paper, a study on the uncertainty in weather forecasting for the most commonly used weather variables is presented. The forecasted weather data for six days ahead is compared with the observed data and the results of analysis are quantified by statistical metrics. In addition, the most influential weather predictors in energy forecasting model are selected. The performance of historical and observed weather data errors is assessed using a solar PV generation forecasting model. Finally, a sensitivity test is performed to identify the influential weather variables whose accurate values can significantly improve the results of energy forecasting.


title: The k-planar crossing number of random graphs and random regular graphs

abstract: We give an explicit extension of Spencer's result on the biplanar crossing number of the Erdos-Renyi random graph $G(n,p)$. In particular, we show that the k-planar crossing number of $G(n,p)$ is almost surely $\Omega((n^2p)^2)$. Along the same lines, we prove that for any fixed $k$, the $k$-planar crossing number of various models of random $d$-regular graphs is $\Omega ((dn)^2)$ for $d > c_0$ for some constant $c_0=c_0(k)$.


title: Dynamic Spectral Imaging of Decimetric Fiber Bursts in an Eruptive Solar Flare

abstract: Fiber bursts are a type of fine structure that is often superposed on type IV radio continuum emission during solar flares. Although studied for many decades, its physical exciter, emission mechanism, and association with the flare energy release remain unclear, partly due to the lack of simultaneous imaging observations. We report the first dynamic spectroscopic imaging observations of decimetric fiber bursts, which occurred during the rise phase of a long-duration eruptive flare on 2012 March 3, as obtained by the Karl G. Jansky Very Large Array in 1--2 GHz. Our results show that the fiber sources are located near and above one footpoint of the flare loops. The fiber source and the background continuum source are found to be cospatial and share the same morphology. It is likely that they are associated with nonthermal electrons trapped in the converging magnetic fields near the footpoint, as supported by a persistent coronal hard X-ray source present during the flare rise phase. We analyze three groups of fiber bursts in detail with dynamic imaging spectroscopy and obtain their mean frequency-dependent centroid trajectories in projection. By using a barometric density model and magnetic field based on a potential-field extrapolation, we further reconstruct the 3-D source trajectories of fiber bursts, for comparison with expectations from the whistler wave model and two MHD-based models. We conclude that the observed fiber burst properties are consistent with an exciter moving at the propagation velocity expected for whistler waves, or models that posit similar exciter velocities.


title: Coverage-Rate Tradeoff Analysis in mmWave Heterogeneous Cellular Networks

abstract: In this paper, we first introduce a generalized modeling and analysis framework to explore the fundamental interactions between user association, coverage probability and link rate in a millimeter wave (mmWave) heterogeneous cellular network (HetNet) in which there are multiple tiers of the ultra-high-frequency (UHF) macrocell and small cell base stations (BSs) and a single tier of mmWave small cell BSs. A generalized user association scheme that can cover many path-loss-based user association schemes is proposed and its related probabilistic properties that facilitate the derivations of the coverage probability and link rate are derived. The derived general expressions of the coverage and link rate not only shed light on how to design user association functions in order to maximize the coverage and link rate but also show that it is impossible to devise a user association scheme that maximizes the coverage and link rate at the same time. Namely, there exists a fundamental tradeoff between the coverage and link rate in mmWave HetNets with distinct bandwidths in the UHF and mmWave bands while a user is associating with a BS. We characterize the coverage-optimal and rate-optimal user association schemes and numerically validate their performances and show the coverage-rate tradeoff problem.


title: Disabling External Influence in Social Networks via Edge Recommendation

abstract: Existing socio-psychological studies suggest that users of a social network form their opinions relying on the opinions of their neighbors. According to DeGroot opinion formation model, one value of particular importance is the asymptotic consensus value---the sum of user opinions weighted by the users' eigenvector centralities. This value plays the role of an attractor for the opinions in the network and is a lucrative target for external influence. However, since any potentially malicious control of the opinion distribution in a social network is clearly undesirable, it is important to design methods to prevent the external attempts to strategically change the asymptotic consensus value. In this work, we assume that the adversary wants to maximize the asymptotic consensus value by altering the opinions of some users in a network; we, then, state DIVER---an NP-hard problem of disabling such external influence attempts by strategically adding a limited number of edges to the network. Relying on the theory of Markov chains, we provide perturbation analysis that shows how eigenvector centrality and, hence, DIVER's objective function change in response to an edge's addition to the network. The latter leads to the design of a pseudo-linear-time heuristic for DIVER, whose computation relies on efficient estimation of mean first passage times in a Markov chain. We confirm our theoretical findings in experiments.


title: The Value of Distributed Energy Resources for Heterogeneous Residential Consumers

abstract: The presence of behind-the-meter rooftop photovoltaics and storage in the residential sector is poised to increase significantly. Here we quantify in detail the value of these technologies to consumers and service providers. We characterize the heterogeneity in household electricity cost savings under time-varying prices due to consumption behavior differences. Different pricing policies significantly alter how households fare with respect to one another. Furthermore, household savings in absolute terms are not strongly correlated with savings normalized by PV and storage system size. We characterize the financial value of improved forecasting capabilities for a household, finding that it is a relatively small fraction of a household's cost savings. Coordination services that combine the resources available at all households can reduce costs by an additional 10% to 15% of the original total cost. Surprisingly, coordination service providers will not encourage adoption beyond 35-55% within a group. We present a simple model that explains the value of coordination and its relationship to the pricing of distribution services.


title: Exceptional Point Engineered Glass Slide for Microscopic Thermal Mapping

abstract: Thermal sensing with fine spatial resolution is important to the study of many scientific areas. While modern microscopy systems allow easy optical detection at high spatial resolution, their intrinsic functions are mainly focused on imaging but limited in detecting other physical parameters, for example, mapping thermal variations. Here, with a coating of an optical exceptional point structure on a conventional glass slide, we demonstrate a novel low-cost and efficient multifunctional microscope slide, supporting real-time monitoring and mapping of temperature distribution and heat transport in addition to conventional microscopic imaging. The square-root dependency associated with an exceptional point leads to enhanced thermal sensitivity that is critical for the precise measurement of the temperature. With a microscale resolution, real-time thermal mapping is conducted, showing dynamic temperature variation in a spatially-defined area. Our strategy of integrating low-cost and efficient optical sensing technologies on a conventional glass slide is expected to enable simultaneous detection of multiple environmental parameters, thereby leading to new opportunities for improved experimental control in many scientific research disciplines.


title: Domain Adaptation from Synthesis to Reality in Single-model Detector for Video Smoke Detection

abstract: This paper proposes a method for video smoke detection using synthetic smoke samples. The virtual data can automatically offer precise and rich annotated samples. However, the learning of smoke representations will be hurt by the appearance gap between real and synthetic smoke samples. The existed researches mainly work on the adaptation to samples extracted from original annotated samples. These methods take the object detection and domain adaptation as two independent parts. To train a strong detector with rich synthetic samples, we construct the adaptation to the detection layer of state-of-the-art single-model detectors (SSD and MS-CNN). The training procedure is an end-to-end stage. The classification, location and adaptation are combined in the learning. The performance of the proposed model surpasses the original baseline in our experiments. Meanwhile, our results show that the detectors based on the adversarial adaptation are superior to the detectors based on the discrepancy adaptation. Code will be made publicly available on http://smoke.ustc.edu.cn. Moreover, the domain adaptation for two-stage detector is described in Appendix A.


title: Multiple Topological Electronic Phases in Superconductor MoC

abstract: The search for a superconductor with non-s-wave pairing is important not only for understanding unconventional mechanisms of superconductivity but also for finding new types of quasiparticles such as Majorana bound states. Materials with both topological band structure and superconductivity are promising candidates as $p+ip$ superconducting states can be generated through pairing the spin-polarized topological surface states. In this work, the electronic and phonon properties of the superconductor molybdenum carbide (MoC) are studied with first-principles methods. Our calculations show that nontrivial band topology and superconductivity coexist in both structural phases of MoC, namely, the cubic $\alpha$ and hexagonal $\gamma$ phases. The $\alpha$ phase is a strong topological insulator and the $\gamma$ phase is a topological nodal line semimetal with drumhead surface states. In addition, hole doping can stabilize the crystal structure of the $\alpha$ phase and elevate the transition temperature in the $\gamma$ phase. Therefore, MoC in different structural forms can be a practical material platform for studying topological superconductivity and elusive Majorana fermions.


title: Divergence of Thompson groups

abstract: We prove that R. Thompson groups F, T, V have linear divergence functions.


title: Comparison of Batch Normalization and Weight Normalization Algorithms for the Large-scale Image Classification

abstract: Batch normalization (BN) has become a de facto standard for training deep convolutional networks. However, BN accounts for a significant fraction of training run-time and is difficult to accelerate, since it is a memory-bandwidth bounded operation. Such a drawback of BN motivates us to explore recently proposed weight normalization algorithms (WN algorithms), i.e. weight normalization, normalization propagation and weight normalization with translated ReLU. These algorithms don't slow-down training iterations and were experimentally shown to outperform BN on relatively small networks and datasets. However, it is not clear if these algorithms could replace BN in practical, large-scale applications. We answer this question by providing a detailed comparison of BN and WN algorithms using ResNet-50 network trained on ImageNet. We found that although WN achieves better training accuracy, the final test accuracy is significantly lower ($\approx 6\%$) than that of BN. This result demonstrates the surprising strength of the BN regularization effect which we were unable to compensate for using standard regularization techniques like dropout and weight decay. We also found that training of deep networks with WN algorithms is significantly less stable compared to BN, limiting their practical applications.


title: Suppression of quantum noises in coherent atom lithography through squeezing

abstract: The Abbe's diffraction limit restricts the resolution of an optical imaging and lithography system. Coherent Rabi oscillation is shown to be able to overcome the diffraction limit in both optical and atom lithography. In previous studies, semiclassical theory is applied where the driving field is treated as a classical light and quantum fluctuation is neglected. Here, we show that the quantum fluctuation may reduce the visibility of the superresolution pattern. However, by squeezing the photon number fluctuation we are able to significantly increase its visibility.


title: The Blume-Capel Model on Hierarchical Lattices: exact local properties

abstract: The local properties of the spin one ferromagnetic Blume-Capel model defined on hierarchical lattices with dimension two and three are obtained by a numerical recursion procedure and studied as functions of the temperature and the reduced crystal-field parameter. The magnetization and the density of sites in the configuration S=0 state are carefully investigated at low temperature in the region of the phase diagram that presents the phenomenon of phase reentrance. Both order parameters undergo transitions from the ferromagnetic to the ordered paramagnetic phase with abrupt discontinuities that decrease along the phase boundary at low temperatures. The distribution of magnetization in a typical profile was determined on the transition line presenting a broad multifractal spectrum that narrows towards the fractal limit (single point) as the discontinuities of the order parameters grow towards a maximum. The amplitude of the order-parameter discontinuities and the narrowing of the multifractal spectra were used to delimit the low temperature interval for the possible locus of the tricritical point.


title: On the Optimality of Kernel-Embedding Based Goodness-of-Fit Tests

abstract: The reproducing kernel Hilbert space (RKHS) embedding of distributions offers a general and flexible framework for testing problems in arbitrary domains and has attracted considerable amount of attention in recent years. To gain insights into their operating characteristics, we study here the statistical performance of such approaches within a minimax framework. Focusing on the case of goodness-of-fit tests, our analyses show that a vanilla version of the kernel-embedding based test could be suboptimal, and suggest a simple remedy by moderating the embedding. We prove that the moderated approach provides optimal tests for a wide range of deviations from the null and can also be made adaptive over a large collection of interpolation spaces. Numerical experiments are presented to further demonstrate the merits of our approach.


title: Stabilization of Networked Control Systems under DoS Attacks and Output Quantization

abstract: This paper addresses quantized output feedback stabilization under Denial-of-Service (DoS) attacks. First, assuming that the duration and frequency of DoS attacks are averagely bounded and that an initial bound of the plant state is known, we propose an output encoding scheme that achieves exponential convergence with finite data rates. Next we show that a suitable state transformation allows us to remove the assumption on the DoS frequency. Finally, we discuss the derivation of state bounds under DoS attacks and obtain sufficient conditions on the bounds of DoS duration and frequency for achieving Lyapunov stability of the closed-loop system.


title: Commutative association schemes obtained from twin prime powers, Fermat primes, Mersenne primes

abstract: For prime powers $q$ and $q+\varepsilon$ where $\varepsilon\in\{1,2\}$, an affine resolvable design from $\mathbb{F}_q$ and Latin squares from $\mathbb{F}_{q+\varepsilon}$ yield a set of symmetric designs if $\varepsilon=2$ and a set of symmetric group divisible designs if $\varepsilon=1$. We show that these designs derive commutative association schemes, and determine their eigenmatrices.


title: Second order term of cover time for planar simple random walk

abstract: We consider the cover time for a simple random walk on the two-dimensional discrete torus of side length $n$. Dembo, Peres, Rosen, and Zeitouni [Ann. Math. 160:433-464, 2004] identified the leading term in the asymptotics for the cover time as $n$ goes to infinity. In this paper, we study the exact second order term. This is a discrete analogue of the work on the cover time for planar Brownian motion by Belius and Kistler [Probab. Theory Relat Fields. 167:461-552, 2017].


title: An essential representation for a product system over a finitely generated subsemigroup of $\mathbb{Z}^{d}$

abstract: Let $S \subset \mathbb{Z}^{d}$ be a finitely generated subsemigroup. Let $E$ be a product system over $S$. We show that there exists an infinite dimensional separable Hilbert space $\mathcal{H}$ and a semigroup $\alpha:=\{\alpha_x\}_{x \in S}$ of unital normal $*$-endomorphisms of $B(\mathcal{H})$ such that $E$ is isomorphic to the product system associated to $\alpha$.


title: Time-dependent Hartree-Fock study of electron-hole interaction effects on high-harmonic generation from periodic crystals

abstract: We investigate the multielectron effects on high-harmonic generation from solid-state materials using the time-dependent Hartree-Fock theory. We find qualitative change in harmonic spectra, in particular, multiple-plateau formation at significantly lower laser intensities than within the independent-electron approximation. We reveal its origin in terms of interband polarization, i.e, electron-hole polarization, enabling interband excitation at remote crystal momenta via Coulomb potential.


title: Rapid and Robust Automated Macroscopic Wood Identification System using Smartphone with Macro-lens

abstract: Wood Identification has never been more important to serve the purpose of global forest species protection and timber regulation. Macroscopic level wood identification practiced by wood anatomists can identify wood up to genus level. This is sufficient to serve as a frontline identification to fight against illegal wood logging and timber trade for law enforcement authority. However, frontline enforcement official may lack of the accuracy and confidence of a well trained wood anatomist. Hence, computer assisted method such as machine vision methods are developed to do rapid field identification for law enforcement official. In this paper, we proposed a rapid and robust macroscopic wood identification system using machine vision method with off-the-shelf smartphone and retrofitted macro-lens. Our system is cost effective, easily accessible, fast and scalable at the same time provides human-level accuracy on identification. Camera-enabled smartphone with Internet connectivity coupled with a macro-lens provides a simple and effective digital acquisition of macroscopic wood images which are essential for macroscopic wood identification. The images are immediately streamed to a cloud server via Internet connection for identification which are done within seconds.


title: Data structures for real multiparameter persistence modules

abstract: A theory of modules over posets is developed to define computationally feasible, topologically interpretable data structures, in terms of birth and death of homology classes, for persistent homology with multiple real parameters. To replace the noetherian hypothesis in the general setting of modules over posets, a "finitely encoded" condition is defined combinatorially and developed algebraically. It captures topological tameness of persistent homology. Poset-modules satisfying it can be specified by "fringe presentations" that reflect birth-and-death descriptions of persistence. A syzygy theorem characterizes finitely encoded modules as admitting appropriately finite presentations and resolutions. The geometric and algebraic theory focuses on modules over real polyhedral groups (real vector spaces with polyhedral positive cones) and a parallel theory over discrete polyhedral groups (abelian groups with finitely generated positive cones). Existence of primary decomposition is proved over arbitrary polyhedral partially ordered abelian groups, but the real and discrete cases carry enough geometry and, crucially in the real case, topology to induce complete theories of minimal primary and secondary decomposition, associated and attached faces, minimal generators and cogenerators, socles and tops, minimal upset covers and downset hulls, Matlis duality, and minimal fringe presentation. Real semialgebraic properties of data are preserved by functorial constructions. Tops and socles become functorial birth and death spaces for multiparameter persistence modules. They yield functorial "QR codes" and "elder morphisms" for modules over real and discrete polyhedral groups that generalize and categorify the bar code and elder rule for persistent homology in one parameter. The disparate ways that QR codes and elder morphisms model bar codes coalesce, in one parameter, to functorial bar codes.


title: Randomness-induced quantum spin liquid on honeycomb lattice

abstract: We present a quantu spin liquid state in a spin-1/2 honeycomb lattice with randomness in the exchange interaction. That is, we successfully introduce randomness into the organic radial-based complex and realize a random-singlet (RS) state. All magnetic and thermodynamic experimental results indicate the liquid-like behaviors, which are consistent with those expected in the RS state. These results demonstrate that the randomness or inhomogeneity in the actual systems stabilize the RS state and yield liquid-like behavior.


title: Tail bounds for sums of geometric and exponential variables

abstract: We give explicit bounds for the tail probabilities for sums of independent geometric or exponential variables, possibly with different parameters.


title: Dispersion of the Fibonacci and the Frolov point sets

abstract: It is proved that the Fibonacci and the Frolov point sets, which are known to be very good for numerical integration, have optimal rate of decay of dispersion with respect to the cardinality of sets. This implies that the Fibonacci and the Frolov point sets provide universal discretization of the uniform norm for natural collections of subspaces of the multivariate trigonometric polynomials. It is shown how the optimal upper bounds for dispersion can be derived from the upper bounds for a new characteristic -- the smooth fixed volume discrepancy. It is proved that the Fibonacci point sets provide the universal discretization of all integral norms.


title: Efficient Removal without Efficient Regularity

abstract: Obtaining an efficient bound for the triangle removal lemma is one of the most outstanding open problems of extremal combinatorics. Perhaps the main bottleneck for achieving this goal is that triangle-free graphs can be highly unstructured. For example, triangle-free graphs might have only regular partitions (in the sense of Szemer\'edi) of tower-type size. And indeed, essentially all the graph properties ${\cal P}$ for which removal lemmas with reasonable bounds were obtained, are such that every graph satisfying ${\cal P}$ has a small regular partition. So in some sense, a barrier for obtaining an efficient removal lemma for property ${\cal P}$ was having an efficient regularity lemma for graphs satisfying ${\cal P}$. In this paper we consider the property of being induced $C_4$-free, which also suffers from the fact that a graph might satisfy this property but still have only regular partitions of tower-type size. By developing a new approach for this problem we manage to overcome this barrier and thus obtain a merely exponential bound for the induced $C_4$ removal lemma. We thus obtain the first efficient removal lemma that does not rely on an efficient version of the regularity lemma. This is the first substantial progress on a problem raised by Alon in 2001, and more recently by Alon, Conlon and Fox.


title: The spinor string in a Clifford substructure of space-time

abstract: We factorize the space-time coordinates of Minkowski space into Weyl spinors with components in a split Clifford algebra. Poisson brackets are defined for Clifford-valued canonical variables and applied to the quantization of the point particle and string. In particular, we obtain the Lorentz algebra for the quantum string, and show that the string supports both integral and half-integral spin states. Commutation and anti-commutation relations are derived for the amplitudes of the spinning string. The Clifford algebra is augmented with the octonions through an R-algebra tensor product, and we apply the results of Manogue, Schray and Dray on octonionic Lorentz transformations to obtain a Lorentz invariant string action in ten dimensions.


title: Dimensional Crossover Induced Topological Hall Effect in a Magnetic Topological Insulator

abstract: We report transport studies of Mn-doped Bi2Te3 topological insulator (TI) films with accurately controlled thickness grown by molecular beam epitaxy. We find that films thicker than 5 quintuple-layer (QL) exhibit the usual anomalous Hall effect for magnetic TIs. When the thickness is reduced to 4 QL, however, characteristic features associated with the topological Hall effect (THE) emerge. More surprisingly, the THE vanishes again when the film thickness is further reduced to 3 QL. Theoretical calculations demonstrate that the coupling between the top and bottom surface states at the dimensional crossover regime stabilizes the magnetic skyrmion structure that is responsible for the THE.


title: The $R$-matrix presentation for the Yangian of a simple Lie algebra

abstract: Starting from a finite-dimensional representation of the Yangian $Y(\mathfrak{g})$ for a simple Lie algebra $\mathfrak{g}$ in Drinfeld's original presentation, we construct a Hopf algebra $X_\mathcal{I}(\mathfrak{g})$, called the extended Yangian, whose defining relations are encoded in a ternary matrix relation built from a specific $R$-matrix $R(u)$. We prove that there is a surjective Hopf algebra morphism $X_\mathcal{I}(\mathfrak{g})\twoheadrightarrow Y(\mathfrak{g})$ whose kernel is generated as an ideal by the coefficients of a central matrix $\mathcal{Z}(u)$. When the underlying representation is irreducible, we show that this matrix becomes a grouplike central series, thereby making available a proof of a well-known theorem stated by Drinfeld in the 1980's. We then study in detail the algebraic structure of the extended Yangian, and prove several generalizations of results which are known to hold for Yangians associated to classical Lie algebras in their $R$-matrix presentations.


title: A Renewal Model of Intrusion

abstract: We present a probabilistic model of an intrusion in a renewal process. Given a process and a sequence of events, an intrusion is a subsequence of events that is not produced by the process. Applications of the model are, for example, online payment fraud with the fraudster taking over a user's account and performing payments on the user's behalf, or unexpected equipment failures due to unintended use. We adopt Bayesian approach to infer the probability of an intrusion in a sequence of events, a MAP subsequence of events constituting the intrusion, and the marginal probability of each event in a sequence to belong to the intrusion. We evaluate the model for intrusion detection on synthetic data and on anonymized data from an online payment system.


title: Tensor-Based Classifiers for Hyperspectral Data Analysis

abstract: In this work, we present tensor-based linear and nonlinear models for hyperspectral data classification and analysis. By exploiting principles of tensor algebra, we introduce new classification architectures, the weight parameters of which satisfies the {\it rank}-1 canonical decomposition property. Then, we introduce learning algorithms to train both the linear and the non-linear classifier in a way to i) to minimize the error over the training samples and ii) the weight coefficients satisfies the {\it rank}-1 canonical decomposition property. The advantages of the proposed classification model is that i) it reduces the number of parameters required and thus reduces the respective number of training samples required to properly train the model, ii) it provides a physical interpretation regarding the model coefficients on the classification output and iii) it retains the spatial and spectral coherency of the input samples. To address issues related with linear classification, characterizing by low capacity, since it can produce rules that are linear in the input space, we introduce non-linear classification models based on a modification of a feedforward neural network. We call the proposed architecture {\it rank}-1 Feedfoward Neural Network (FNN), since their weights satisfy the {\it rank}-1 caconical decomposition property. Appropriate learning algorithms are also proposed to train the network. Experimental results and comparisons with state of the art classification methods, either linear (e.g., SVM) and non-linear (e.g., deep learning) indicates the outperformance of the proposed scheme, especially in cases where a small number of training samples are available. Furthermore, the proposed tensor-based classfiers are evaluated against their capabilities in dimensionality reduction.


title: A Model for Enhancing Human Behaviour with Security Questions: A Theoretical Perspective

abstract: Security questions are one of the mechanisms used to recover passwords. Strong answers to security questions (i.e. high entropy) are hard for attackers to guess or obtain using social engineering techniques (e.g. monitoring of social networking profiles), but at the same time are difficult to remember. Instead, weak answers to security questions (i.e. low entropy) are easy to remember, which makes them more vulnerable to cyber-attacks. Convenience leads users to use the same answers to security questions on multiple accounts, which exposes these accounts to numerous cyber-threats. Hence, current security questions implementations rarely achieve the required security and memorability requirements. This research study is the first step in the development of a model which investigates the determinants that influence users' behavioural intentions through motivation to select strong and memorable answers to security questions. This research also provides design recommendations for novel security questions mechanisms.


title: Spiking neurons with short-term synaptic plasticity form superior generative networks

abstract: Spiking networks that perform probabilistic inference have been proposed both as models of cortical computation and as candidates for solving problems in machine learning. However, the evidence for spike-based computation being in any way superior to non-spiking alternatives remains scarce. We propose that short-term plasticity can provide spiking networks with distinct computational advantages compared to their classical counterparts. In this work, we use networks of leaky integrate-and-fire neurons that are trained to perform both discriminative and generative tasks in their forward and backward information processing paths, respectively. During training, the energy landscape associated with their dynamics becomes highly diverse, with deep attractor basins separated by high barriers. Classical algorithms solve this problem by employing various tempering techniques, which are both computationally demanding and require global state updates. We demonstrate how similar results can be achieved in spiking networks endowed with local short-term synaptic plasticity. Additionally, we discuss how these networks can even outperform tempering-based approaches when the training data is imbalanced. We thereby show how biologically inspired, local, spike-triggered synaptic dynamics based simply on a limited pool of synaptic resources can allow spiking networks to outperform their non-spiking relatives.


title: A Serious Game Design: Nudging Users' Memorability of Security Questions

abstract: Security questions are one of the techniques used to recover passwords. The main limitation of security questions is that users find strong answers difficult to remember. This leads users to trade-off security for the convenience of an improved memorability. Previous research found that increased fun and enjoyment can lead to an enhanced memorability, which provides a better learning experience. Hence, we empirically investigate whether a serious game has the potential of improving the memorability of strong answers to security questions. For our serious game, we adapted the popular "4 Pics 1 word" mobile game because of its use of pictures and cues, which psychology research found to be important to help with memorability. Our findings indicate that the proposed serious game could potentially improve the memorability of answers to security questions. This potential improvement in memorability, could eventually help reduce the trade-off between usability and security in fall-back authentication.


title: Poisson-Nijenhuis groupoids

abstract: We define multiplicative Poisson-Nijenhuis structures on a Lie groupoid which extends the notion of symplectic-Nijenhuis groupoid introduced by Sti\'e23non and Xu. We also introduce a special class of Lie bialgebroid structure on a Lie algebroid $A$, called P-N Lie bialgebroid, which defines a hierarchy of compatible Lie bialgebroid structures on $A$. We show that under some topological assumption on the groupoid, there is a one-to-one correspondence between multiplicative Poisson-Nijenhuis structures on a Lie groupoid and P-N Lie bialgebroid structures on the corresponding Lie algebroid.


title: Entanglement entropy of singular surfaces under relevant deformations in holography

abstract: In the vacuum state of a CFT, the entanglement entropy of singular surfaces contains a logarithmic universal term which is only due to the singularity of the entangling surface. We consider the relevant perturbation of a three dimensional CFT for singular entangling surface. We observe that in addition to the universal term due to the entangling surface, there is a new logarithmic term which corresponds to a relevant perturbation of the conformal field theory with a coefficient depending on the scaling dimension of the relevant operator. We also find a new power law divergence in the holographic entanglement entropy. In addition, we study the effect of a relevant perturbation in the Gauss-Bonnet gravity for a singular entangling surface. Again a logarithmic term shows up. This new term is proportional to both the dimension of the relevant operator and the Gauss-Bonnet coupling. We also introduce the renormalized entanglement entropy for a kink region which in the UV limit reduces to a universal positive finite term.


title: Fe I in the {\beta} Pictoris circumstellar gas disk I. Physical properties of the neutral iron gas

abstract: The young planetary system {\beta} Pictoris is surrounded by a circumstellar disk of dust and gas. Because both dust and gas have a lifetime shorter than the system age, they need to be replenished continuously. The gas composition is partly known, but its location and its origin are still a puzzle. The gas source could be the exocomets (or so-called falling and evaporating bodies, FEBs), which are observed as transient features in absorption lines of refractory elements (Mg, Ca, and Fe) when they transit in front of the star at several tens of stellar radii. Nearly 1700 high-resolution spectra of {\beta} Pictoris have been obtained from 2003 to 2015 using the HARPS spectrograph. In these spectra, the circumstellar disk is always detected as a stable component among the numerous variable absorption signatures of transiting exocomets. Summing all the 1700 spectra allowed us to reach a signal-to-noise ratio higher than 1000, which is an unprecedentedly high number for a {\beta} Pictoris spectrum. It revealed many weak Fe I absorption lines of the circumstellar gas in more than ten excited states. These weak lines bring new information on the physical properties of the neutral iron gas in the circumstellar disk. The population of the first excited levels follows a Boltzmann distribution with a slope consistent with a gas temperature of about 1300 K; this temperature corresponds to a distance to the star of ~ 38 RStar and implies a turbulence of {\xi} ~ 0.8 km/s.


title: The $C^1$ property of convex carrying simplices for three-dimensional competitive maps

abstract: It is proved that a convex carrying simplex for a three-dimensional competitive map is a $C^1$ submanifold-with-corners neatly embedded in the non-negative octant.


title: Can Image Retrieval help Visual Saliency Detection?

abstract: We propose a novel image retrieval framework for visual saliency detection using information about salient objects contained within bounding box annotations for similar images. For each test image, we train a customized SVM from similar example images to predict the saliency values of its object proposals and generate an external saliency map (ES) by aggregating the regional scores. To overcome limitations caused by the size of the training dataset, we also propose an internal optimization module which computes an internal saliency map (IS) by measuring the low-level contrast information of the test image. The two maps, ES and IS, have complementary properties so we take a weighted combination to further improve the detection performance. Experimental results on several challenging datasets demonstrate that the proposed algorithm performs favorably against the state-of-the-art methods.


title: Integration by divergent integrals: Calculus of divergent integrals in term by term integration

abstract: It is known in the case of the Stieltjes transform that evaluating the integral by expanding the kernel of transformation followed by term by term integration leads to an infinite series of divergent integrals. Moreover, it is known that merely assigning values to the divergent integrals leads to missing terms. This problem of missing terms was earlier resolved in the complex plane, which required the divergent integrals to assume values equal to their finite parts under a set of rules or calculus governing the use of the finite part integral [E.A. Galapon, {\it Proc. Roy. Soc. A} {\bf 473}, 20160567 (2017)]. However, divergent integrals assume a spectrum of values arising from the different ways of removing the divergences in the integration. Here we show that the other interpretations of divergent integrals follow the same set of rules as those of the finite part integral, and then formulate the calculus of divergent integrals arising from term-by-term integration. We find that the calculus does not prescribe a specific interpretation to the divergent integrals but allows us to assign arbitrary values to them, with the missing terms automatically emerging from the chosen interpretation of the divergent integrals itself.


title: Function approximation with zonal function networks with activation functions analogous to the rectified linear unit functions

abstract: A zonal function (ZF) network on the $q$ dimensional sphere $\mathbb{S}^q$ is a network of the form $\mathbf{x}\mapsto \sum_{k=1}^n a_k\phi(\mathbf{x}\cdot\mathbf{x}_k)$ where $\phi :[-1,1]\to\mathbf{R}$ is the activation function, $\mathbf{x}_k\in\mathbb{S}^q$ are the centers, and $a_k\in\mathbb{R}$. While the approximation properties of such networks are well studied in the context of positive definite activation functions, recent interest in deep and shallow networks motivate the study of activation functions of the form $\phi(t)=|t|$, which are not positive definite. In this paper, we define an appropriate smoothess class and establish approximation properties of such networks for functions in this class. The centers can be chosen independently of the target function, and the coefficients are linear combinations of the training data. The constructions preserve rotational symmetries.


title: Regge phenomenology of photoproduction of $\pi^-\Delta^{++}$ and scaling with saturation of trajectory

abstract: In this work we investigate the reaction $\gamma p\to\pi^-\Delta^{++}$ in the Reggeized model for $\pi(138)+\rho(775)+a_2(1320)$ exchanges in the $t$-channel. For a convergence of the reaction cross section at high energies the minimal forms of proton and $\Delta^{++}$ exchanges are introduced in the direct and crossed channels for gauge invariance of $\pi$ Regge-pole exchange. The role of spin-2 tensor meson $a_2$ is found to be crucial to agree with existing data at high energies. Electromagnetic multipoles of $\Delta^{++}$ baryon are analyzed in the $\Delta$ resonance region. Based on the constituents counting rule the scaled differential cross section at $E_\gamma=4$ GeV is reproduced with the Regge trajectory saturated at large momentum transfer $-t$.


title: On a Neumann-type series for modified Bessel functions of the first kind

abstract: In this paper, we are interested in a Neumann-type series for modified Bessel functions of the first kind which arises in the study of Dunkl operators associated with dihedral groups and as an instance of the Laguerre semigroup constructed by Ben Said-Kobayashi-Orsted. We first revisit the particular case corresponding to the group of square-preserving symmetries for which we give two new and different proofs other than the existing ones. The first proof uses the expansion of powers in a Neumann series of Bessel functions while the second one is based on a quadratic transformation for the Gauss hypergeometric function and opens the way to derive further expressions when the orders of the underlying dihedral groups are powers of two. More generally, we give another proof of De Bie \& al formula expressing this series as a $\Phi_2$-Horn confluent hypergeometric function. In the course of proving, we shed the light on the occurrence of multiple angles in their formula through elementary symmetric functions, and get a new representation of Gegenbauer polynomials.


title: Double-negative acoustic metamaterials

abstract: The aim of this paper is to provide a mathematical theory for understanding the mechanism behind the double-negative refractive index phenomenon in bubbly fluids. The design of double-negative metamaterials generally requires the use of two different kinds of subwavelength resonators, which may limits the applicability of double-negative metamaterials. Herein we rely on media that consists of only a single type of resonant element, and show how to turn the acoustic metamaterial with a single negative effective property obtained in [H. Ammari and H. Zhang, Effective medium theory for acoustic waves in bubbly fluids near Minnaert resonant frequency. SIAM J. Math. Anal., 49 (2017), 3252--3276.] into a negative refractive index metamaterial, which refracts waves negatively, hence acting as a superlens. Using bubble dimers made of two identical bubbles, it is proved that both the effective mass density and the bulk modulus of the bubbly fluid can be negative near the anti-resonance of the two hybridized Minnaert resonances for a single constituent bubble dimer. A rigorous justification of the Minnaert resonance hybridization, in the case of a bubble dimer in a homogeneous medium, is established. The acoustic properties of a single bubble dimer are analyzed. Asymptotic formulas for the two hybridized Minnaert resonances are derived. Moreover, it is proved that the bubble dimer can be approximated by a point scatterer with monopole and dipole modes. For an appropriate volume fraction of bubble dimers with certain conditions on their configuration, a double-negative effective medium when the frequency is near the anti-resonance of the hybridized Minnaert resonances can be obtained.