title: Coherence-Aware Neural Topic Modeling

abstract: Topic models are evaluated based on their ability to describe documents well (i.e. low perplexity) and to produce topics that carry coherent semantic meaning. In topic modeling so far, perplexity is a direct optimization target. However, topic coherence, owing to its challenging computation, is not optimized for and is only evaluated after training. In this work, under a neural variational inference framework, we propose methods to incorporate a topic coherence objective into the training process. We demonstrate that such a coherence-aware topic model exhibits a similar level of perplexity as baseline models but achieves substantially higher topic coherence.


title: Dynamic Resource Allocation in the Cloud with Near-Optimal Efficiency

abstract: Cloud computing has motivated renewed interest in resource allocation problems with new consumption models. A common goal is to share a resource, such as CPU or I/O bandwidth, among distinct users with different demand patterns as well as different quality of service requirements. To ensure these service requirements, cloud offerings often come with a service level agreement (SLA) between the provider and the users. An SLA specifies the amount of a resource a user is entitled to utilize. In many cloud settings, providers would like to operate resources at high utilization while simultaneously respecting individual SLAs. There is typically a tradeoff between these two objectives; for example, utilization can be increased by shifting away resources from idle users to "scavenger" workload, but with the risk of the former then becoming active again. We study this fundamental tradeoff by formulating a resource allocation model that captures basic properties of cloud computing systems, including SLAs, highly limited feedback about the state of the system, and variable and unpredictable input sequences. Our main result is a simple and practical algorithm that achieves near-optimal performance on the above two objectives. First, we guarantee nearly optimal utilization of the resource even if compared to the omniscient offline dynamic optimum. Second, we simultaneously satisfy all individual SLAs up to a small error. The main algorithmic tool is a multiplicative weight update algorithm, and a primal-dual argument to obtain its guarantees. We also provide numerical validation on real data to demonstrate the performance of our algorithm in practical applications.


title: Constructing thin subgroups of SL(n+1,R) via bending

abstract: In this paper we use techniques from convex projective geometry to produce many new examples of thin subgroups of lattices in special linear groups that are isomorphic to the fundamental groups of finite volume hyperbolic manifolds. More specifically, we show that for a large class of arithmetic lattices in SO(n,1) it is possible to find infinitely many non-commensurable lattices in SL(n+1,R) that contain a thin subgroup isomorphic to a finite index subgroup of the original arithmetic lattice. This class of arithmetic lattices includes all non-cocompact arithmetic lattices and all cocompact arithmetic lattices when $n$ is even.


title: The turbulent pressure support in galaxy clusters revisited

abstract: Due to their late formation in cosmic history, clusters of galaxies are not fully in hydrostatic equilibrium and the gravitational pull of their mass at a given radius is expected not to be entirely balanced by the thermal gas pressure. Turbulence may supply additional pressure, and recent (X-ray and SZ) hydrostatic mass reconstructions claim a pressure support of $\sim 5-15\%$ of the total pressure at $R_{\rm 200}$. In this work we show that, after carefully disentangling bulk from small-scale turbulent motions in high-resolution simulations of galaxy clusters, we can constrain which fraction of the gas kinetic energy effectively provides pressure support in the cluster's gravitational potential. While the ubiquitous presence of radial inflows in the cluster can lead to significant bias in the estimate of the non-thermal pressure support, we report that only a part of this energy effectively acts as a source of pressure, providing a support of the order of $\sim 10\%$ of the total pressure at $R_{\rm 200}$.


title: The smoothness test for a density function

abstract: The problem of testing hypothesis that a density function has no more than $\mu$ derivatives versus it has more than $\mu$ derivatives is considered. For a solution, the $L^2$ norms of wavelet orthogonal projections on some orthogonal "differences" of spaces from a multiresolution analysis is used. For the construction of the smoothness test an asymptotic distribution of a smoothness estimator is used. To analyze that asymptotic distribution, a new technique of enrichment procedure is proposed. The finite sample behaviour of the smoothness test is demonstrated in a numerical experiment in case of determination if a density function is continues or discontinues.


title: Regular Languages for Contracting Geodesics

abstract: Let $G$ be a finitely generated group. We show that for any finite generating set $A$, the language consisting of all geodesics in $Cay(G,A)$ with a contracting property is a regular language. As an application, we show that any finitely generated group containing an infinite contracting geodesic must be either virtually $\mathbb{Z}$ or acylindrically hyperbolic.


title: Selective Refinement Network for High Performance Face Detection

abstract: High performance face detection remains a very challenging problem, especially when there exists many tiny faces. This paper presents a novel single-shot face detector, named Selective Refinement Network (SRN), which introduces novel two-step classification and regression operations selectively into an anchor-based face detector to reduce false positives and improve location accuracy simultaneously. In particular, the SRN consists of two modules: the Selective Two-step Classification (STC) module and the Selective Two-step Regression (STR) module. The STC aims to filter out most simple negative anchors from low level detection layers to reduce the search space for the subsequent classifier, while the STR is designed to coarsely adjust the locations and sizes of anchors from high level detection layers to provide better initialization for the subsequent regressor. Moreover, we design a Receptive Field Enhancement (RFE) block to provide more diverse receptive field, which helps to better capture faces in some extreme poses. As a consequence, the proposed SRN detector achieves state-of-the-art performance on all the widely used face detection benchmarks, including AFW, PASCAL face, FDDB, and WIDER FACE datasets. Codes will be released to facilitate further studies on the face detection problem.


title: Neural Machine Translation of Logographic Languages Using Sub-character Level Information

abstract: Recent neural machine translation (NMT) systems have been greatly improved by encoder-decoder models with attention mechanisms and sub-word units. However, important differences between languages with logographic and alphabetic writing systems have long been overlooked. This study focuses on these differences and uses a simple approach to improve the performance of NMT systems utilizing decomposed sub-character level information for logographic languages. Our results indicate that our approach not only improves the translation capabilities of NMT systems between Chinese and English, but also further improves NMT systems between Chinese and Japanese, because it utilizes the shared information brought by similar sub-character units.


title: Embedding non-projective Mori Dream Spaces

abstract: This paper is devoted to extend some Hu-Keel results on Mori dream spaces (MDS) beyond the projective setup. Namely, $\Q$-factorial algebraic varieties with finitely generated class group and Cox ring, here called \emph{weak} Mori dream spaces (wMDS), are considered. Conditions guaranteeing the existence of a neat embedding of a (completion of a) wMDS into a complete toric variety are studied, showing that, on the one hand, those which are complete and admitting low Picard number are always projective, hence Mori dream spaces in the sense of Hu-Keel. On the other hand, an example of a wMDS does not admitting any neat embedded \emph{sharp} completion (i.e. Picard number preserving) into a complete toric variety is given, on the contrary of what Hu and Keel exhibited for a MDS. Moreover, termination of the Mori minimal model program (MMP) for every divisor and a classification of rational contractions for a complete wMDS are studied, obtaining analogous conclusions as for a MDS. Finally, we give a characterization of a wMDS arising from a small $\Q$-factorial modification of a projective weak $\Q$-Fano variety.


title: B*-algebras over ultranormed fields

abstract: This article is devoted to the investigation of $B^*$-algebras, dual and annihilator ultranormed algebras. Their structure is studied in the paper. Extensions of algebras and fields are considered and using them core radicals and radicals are investigated. Moreover, for this purpose also $*$-algebras and finely regular algebras are studied. Relations with operator theory and realizations of these algebras by operator algebras are outlined.


title: Optimizing CNN Model Inference on CPUs

abstract: The popularity of Convolutional Neural Network (CNN) models and the ubiquity of CPUs imply that better performance of CNN model inference on CPUs can deliver significant gain to a large number of users. To improve the performance of CNN inference on CPUs, current approaches like MXNet and Intel OpenVINO usually treat the model as a graph and use the high-performance libraries such as Intel MKL-DNN to implement the operations of the graph. While achieving reasonable performance on individual operations from the off-the-shelf libraries, this solution makes it inflexible to conduct optimizations at the graph level, as the local operation-level optimizations are predefined. Therefore, it is restrictive and misses the opportunity to optimize the end-to-end inference pipeline as a whole. This paper presents \emph{NeoCPU}, a comprehensive approach of CNN model inference on CPUs that employs a full-stack and systematic scheme of optimizations. \emph{NeoCPU} optimizes the operations as templates without relying on third-parties libraries, which enables further improvement of the performance via operation- and graph-level joint optimization. Experiments show that \emph{NeoCPU} achieves up to 3.45$\times$ lower latency for CNN model inference than the current state-of-the-art implementations on various kinds of popular CPUs.


title: Global Universality of Macdonald Plane Partitions

abstract: We study scaling limits of periodically weighted skew plane partitions with semilocal interactions and general boundary conditions. The semilocal interactions correspond to the Macdonald symmetric functions which are $(q,t)$-deformations of the Schur symmetric functions. We show that the height functions converge to a deterministic limit shape and that the global fluctuations are given by the $2$-dimensional Gaussian free field as $q,t\to 1$ and the mesh size goes to $0$. Specializing to the noninteracting case, this verifies the Kenyon-Okounkov conjecture for the case of the $r^{\mathrm{volume}}$ measure under general boundary conditions. Our approach uses difference operators on Macdonald processes.


title: Maximum Correntropy Derivative-Free Robust Kalman Filter and Smoother

abstract: We consider the problem of robust estimation involving filtering and smoothing for nonlinear state space models which are disturbed by heavy-tailed impulsive noises. To deal with heavy-tailed noises and improve the robustness of the traditional nonlinear Gaussian Kalman filter and smoother, we propose in this work a general framework of robust filtering and smoothing, which adopts a new maximum correntropy criterion to replace the minimum mean square error for state estimation. To facilitate understanding, we present our robust framework in conjunction with the cubature Kalman filter and smoother. A half-quadratic optimization method is utilized to solve the formulated robust estimation problems, which leads to a new maximum correntropy derivative-free robust Kalman filter and smoother. Simulation results show that the proposed methods achieve a substantial performance improvement over the conventional and existing robust ones with slight computational time increase.


title: Textual Analogy Parsing: What's Shared and What's Compared among Analogous Facts

abstract: To understand a sentence like "whereas only 10% of White Americans live at or below the poverty line, 28% of African Americans do" it is important not only to identify individual facts, e.g., poverty rates of distinct demographic groups, but also the higher-order relations between them, e.g., the disparity between them. In this paper, we propose the task of Textual Analogy Parsing (TAP) to model this higher-order meaning. The output of TAP is a frame-style meaning representation which explicitly specifies what is shared (e.g., poverty rates) and what is compared (e.g., White Americans vs. African Americans, 10% vs. 28%) between its component facts. Such a meaning representation can enable new applications that rely on discourse understanding such as automated chart generation from quantitative text. We present a new dataset for TAP, baselines, and a model that successfully uses an ILP to enforce the structural constraints of the problem.


title: Trick Me If You Can: Human-in-the-loop Generation of Adversarial Examples for Question Answering

abstract: Adversarial evaluation stress tests a model's understanding of natural language. While past approaches expose superficial patterns, the resulting adversarial examples are limited in complexity and diversity. We propose human-in-the-loop adversarial generation, where human authors are guided to break models. We aid the authors with interpretations of model predictions through an interactive user interface. We apply this generation framework to a question answering task called Quizbowl, where trivia enthusiasts craft adversarial questions. The resulting questions are validated via live human--computer matches: although the questions appear ordinary to humans, they systematically stump neural and information retrieval models. The adversarial questions cover diverse phenomena from multi-hop reasoning to entity type distractors, exposing open challenges in robust question answering.


title: Empirical Vulnerability Analysis of Automated Smart Contracts Security Testing on Blockchains

abstract: The emerging blockchain technology supports decentralized computing paradigm shift and is a rapidly approaching phenomenon. While blockchain is thought primarily as the basis of Bitcoin, its application has grown far beyond cryptocurrencies due to the introduction of smart contracts. Smart contracts are self-enforcing pieces of software, which reside and run over a hosting blockchain. Using blockchain-based smart contracts for secure and transparent management to govern interactions (authentication, connection, and transaction) in Internet-enabled environments, mostly IoT, is a niche area of research and practice. However, writing trustworthy and safe smart contracts can be tremendously challenging because of the complicated semantics of underlying domain-specific languages and its testability. There have been high-profile incidents that indicate blockchain smart contracts could contain various code-security vulnerabilities, instigating financial harms. When it involves security of smart contracts, developers embracing the ability to write the contracts should be capable of testing their code, for diagnosing security vulnerabilities, before deploying them to the immutable environments on blockchains. However, there are only a handful of security testing tools for smart contracts. This implies that the existing research on automatic smart contracts security testing is not adequate and remains in a very stage of infancy. With a specific goal to more readily realize the application of blockchain smart contracts in security and privacy, we should first understand their vulnerabilities before widespread implementation. Accordingly, the goal of this paper is to carry out a far-reaching experimental assessment of current static smart contracts security testing tools, for the most widely used blockchain, the Ethereum and its domain-specific programming language, Solidity to provide the first...


title: Torpid Mixing of Markov Chains for the Six-vertex Model on $\mathbb{Z}^2$

abstract: In this paper, we study the mixing time of two widely used Markov chain algorithms for the six-vertex model, Glauber dynamics and the directed-loop algorithm, on the square lattice $\mathbb{Z}^2$. We prove, for the first time that, on finite regions of the square lattice these Markov chains are torpidly mixing under parameter settings in the ferroelectric phase and the anti-ferroelectric phase.


title: Structure-preserving algorithms for the two-dimensional sine-Gordon equation with Neumann boundary conditions

abstract: This paper presents two kinds of strategies to construct structure-preserving algorithms with homogeneous Neumann boundary conditions for the sine-Gordon equation, while most existing structure-preserving algorithms are only valid for zero or periodic boundary conditions. The first strategy is based on the conventional second-order central difference quotient but with a cell-centered grid, while the other is established on the regular grid but incorporated with summation by parts (SBP) operators. Both the methodologies can provide conservative semi-discretizations with different forms of Hamiltonian structures and the discrete energy. However, utilizing the existing SBP formulas, schemes obtained by the second strategy can directly achieve higher-order accuracy while it is not obvious for schemes based on the cell-centered grid to make accuracy improved easily. Further combining the symplectic Runge-Kutta method and the scalar auxiliary variable (SAV) approach, we construct symplectic integrators and linearly implicit energy-preserving schemes for the two-dimensional sine-Gordon equation, respectively. Extensive numerical experiments demonstrate their effectiveness with the homogeneous Neumann boundary conditions.


title: Small toric degenerations of Fano threefolds

abstract: We classify smooth Fano threefolds that admit degenerations to toric Fano threefolds with ordinary double points.


title: Consistent account of deuteron-induced reactions on Cr up to 60 MeV

abstract: Purpose: Accurate new measurements of low-energy deuteron-induced reaction cross sections for natural Cr target can enhance the related database and the opportunity for an unitary and consistent account of the involved reaction mechanisms. Methods: The activation cross sections of $^{51,52,54}$Mn, $^{51}$Cr, and $^{48}$V nuclei for deuterons incident on natural Cr at energies up to 20 MeV, were measured by the stacked-foil technique and high resolution gamma spectrometry using U-120M cyclotron of the Center of Accelerators and Nuclear Analytical Methods (CANAM) of the Nuclear Physics Institute of the Czech Academy of Sciences (NPI CAS). They as well as formerly available data for deuteron interactions with Cr isotopes up to 60 MeV are the object of an extended analysis of all processes from elastic scattering until the evaporation from fully equilibrated compound system, but with a particular attention given to the BU and DR mechanisms. Results: The new measured activation excitation functions proved essential for the enrichment of the deuteron database, while the theoretical analysis of all available data strengthens for the first time their consistent account provided that (i) a suitable BU and DR assessment is completed by (ii) the assumption of PE and CN contributions corrected for decrease of the total-reaction cross section due to the leakage of the initial deuteron flux towards BU and DR processes. Conclusions: The suitable description of nuclear mechanisms involved within deuteron-induced reactions on chromium, taking into account especially the BU and DR direct processes, is validated by an overall agreement of the calculated and measured cross sections including particularly the new experimental data at low energies.


title: Analysis of Thompson Sampling for Combinatorial Multi-armed Bandit with Probabilistically Triggered Arms

abstract: We analyze the regret of combinatorial Thompson sampling (CTS) for the combinatorial multi-armed bandit with probabilistically triggered arms under the semi-bandit feedback setting. We assume that the learner has access to an exact optimization oracle but does not know the expected base arm outcomes beforehand. When the expected reward function is Lipschitz continuous in the expected base arm outcomes, we derive $O(\sum_{i =1}^m \log T / (p_i \Delta_i))$ regret bound for CTS, where $m$ denotes the number of base arms, $p_i$ denotes the minimum non-zero triggering probability of base arm $i$ and $\Delta_i$ denotes the minimum suboptimality gap of base arm $i$. We also compare CTS with combinatorial upper confidence bound (CUCB) via numerical experiments on a cascading bandit problem.


title: Value sets of sparse polynomials

abstract: We obtain a new lower bound on the size of value set f(F_p) of a sparse polynomial f in F_p[X] over a finite field of p elements when p is prime. This bound is uniform with respect of the degree and depends on some natural arithmetic properties of the degrees of the monomial terms of f and the number of these terms. Our result is stronger than those which canted be extracted from the bounds on multiplicities of individual values in f(F_p).


title: Exploiting Edge Features in Graph Neural Networks

abstract: Edge features contain important information about graphs. However, current state-of-the-art neural network models designed for graph learning, e.g. graph convolutional networks (GCN) and graph attention networks (GAT), adequately utilize edge features, especially multi-dimensional edge features. In this paper, we build a new framework for a family of new graph neural network models that can more sufficiently exploit edge features, including those of undirected or multi-dimensional edges. The proposed framework can consolidate current graph neural network models; e.g. graph convolutional networks (GCN) and graph attention networks (GAT). The proposed framework and new models have the following novelties: First, we propose to use doubly stochastic normalization of graph edge features instead of the commonly used row or symmetric normalization approches used in current graph neural networks. Second, we construct new formulas for the operations in each individual layer so that they can handle multi-dimensional edge features. Third, for the proposed new framework, edge features are adaptive across network layers. As a result, our proposed new framework and new models can exploit a rich source of graph information. We apply our new models to graph node classification on several citation networks, whole graph classification, and regression on several molecular datasets. Compared with the current state-of-the-art methods, i.e. GCNs and GAT, our models obtain better performance, which testify to the importance of exploiting edge features in graph neural networks.


title: The Partition Spanning Forest Problem

abstract: Given a set of colored points in the plane, we ask if there exists a crossing-free straight-line drawing of a spanning forest, such that every tree in the forest contains exactly the points of one color class. We show that the problem is NP-complete, even if every color class contains at most five points, but it is solvable in $O(n^2)$ time when each color class contains at most three points. If we require that the spanning forest is a linear forest, then the problem becomes NP-complete even if every color class contains at most four points.


title: BLAG: Bandit On Large Action Set Graph

abstract: Information diffusion in social networks facilitates rapid and large-scale propagation of content. However, spontaneous diffusion behavior could also lead to the cascading of sensitive information, which is neglected in prior arts. In this paper, we present the first look into adaptive diffusion of sensitive information, which we aim to prevent from widely spreading without incurring much information loss. We undertake the investigation in networks with partially known topology, meaning that some users' ability of forwarding information is unknown. Formulating the problem into a bandit model, we propose BLAG (Bandit on Large Action set Graph), which adaptively diffuses sensitive information towards users with weak forwarding ability that is learnt from tentative transmissions and corresponding feedbacks. BLAG enjoys a low complexity of O(n), and is provably more efficient in the sense of half regret bound compared with prior learning method. Experiments on synthetic and three real datasets further demonstrate the superiority of BLAG in terms of adaptive diffusion of sensitive information over several baselines, with at least 40 percent less information loss, at least 10 times of learning efficiency given limited learning rounds and significantly postponed cascading of sensitive information.


title: On-line tracing of XACML-based policy coverage criteria

abstract: Currently, eXtensible Access Control Markup Language (XACML) has becoming the standard for implementing access control policies and consequently more attention is dedicated to testing the correctness of XACML policies. In particular, coverage measures can be adopted for assessing test strategy effectiveness in exercising the policy elements. This study introduces a set of XACML coverage criteria and describes the access control infrastructure, based on a monitor engine, enabling the coverage criterion selection and the on-line tracing of the testing activity. Examples of infrastructure usage and of assessment of different test strategies are provided.


title: Random-laser dynamics with temporally modulated pump

abstract: We present an experimental study of the effects of temporal modulation of the pump intensity on a random laser. The nanosecond pump pulses exhibit rapid intensity fluctuations which differ from pulse to pulse. Specific temporal profiles of the pump pulses produce extraordinarily strong emission from the random laser. This process is deterministic and insensitive to the spatial configuration of the scatterers and spontaneous emission noise.


title: DensSiam: End-to-End Densely-Siamese Network with Self-Attention Model for Object Tracking

abstract: Convolutional Siamese neural networks have been recently used to track objects using deep features. Siamese architecture can achieve real time speed, however it is still difficult to find a Siamese architecture that maintains the generalization capability, high accuracy and speed while decreasing the number of shared parameters especially when it is very deep. Furthermore, a conventional Siamese architecture usually processes one local neighborhood at a time, which makes the appearance model local and non-robust to appearance changes. To overcome these two problems, this paper proposes DensSiam, a novel convolutional Siamese architecture, which uses the concept of dense layers and connects each dense layer to all layers in a feed-forward fashion with a similarity-learning function. DensSiam also includes a Self-Attention mechanism to force the network to pay more attention to the non-local features during offline training. Extensive experiments are performed on four tracking benchmarks: OTB2013 and OTB2015 for validation set; and VOT2015, VOT2016 and VOT2017 for testing set. The obtained results show that DensSiam achieves superior results on these benchmarks compared to other current state-of-the-art methods.


title: Observation of plasmon-phonons in a metamaterial superconductor using inelastic neutron scattering

abstract: Metamaterial approach is capable of drastically increasing the critical temperature, Tc, of composite metal-dielectric superconductors. Tripling of Tc was observed in bulk Al-Al2O3 core-shell metamaterials. A theoretical model based on the Maxwell-Garnett approximation provides a microscopic explanation of this effect in terms of electron-electron pairing mediated by a hybrid plasmon-phonon excitation. We report the first observation of this excitation in Al-Al2O3 core-shell metamaterials using inelastic neutron scattering. This result provides support for this novel mechanism of superconductivity in metamaterials and explains the 50 year old mystery of enhanced Tc in granular aluminium films.


title: On Coding over Sliced Information

abstract: The interest in channel models in which the data is sent as an unordered set of binary strings has increased lately, due to emerging applications in DNA storage, among others. In this paper we analyze the minimal redundancy of binary codes for this channel under substitution errors, and provide several constructions, some of which are shown to be asymptotically optimal up to constants. The surprising result in this paper is that while the information vector is sliced into a set of unordered strings, the amount of redundant bits that are required to correct errors is order-wise equivalent to the amount required in the classical error correcting paradigm.


title: The equilibrium structure of self-assembled protein nano-cages

abstract: Understanding how highly symmetric, robust, monodisperse protein cages self-assemble can have major applications in various areas of bio-nanotechnology, such as drug delivery, biomedical imaging and gene therapy. We develop a model to investigate the assembly of protein subunits into the structures with different size and symmetry. Using Monte Carlo simulation, we obtain the global minimum energy structures. Our results suggest that the physical properties of building blocks including the spontaneous curvature, flexibility and bending rigidity of coat proteins are sufficient to predict the size of the assembly products and that the symmetry and shape selectivity of nano-cages can be explained, at least in part, on a thermodynamic basis. The polymorphism of nano-cages observed in vitro assembly experiments are also discussed.


title: Cost Sharing in Two-Sided Markets

abstract: Motivated by the emergence of popular service-based two-sided markets where sellers can serve multiple buyers at the same time, we formulate and study the {\em two-sided cost sharing} problem. In two-sided cost sharing, sellers incur different costs for serving different subsets of buyers and buyers have different values for being served by different sellers. Both buyers and sellers are self-interested agents whose values and costs are private information. We study the problem from the perspective of an intermediary platform that matches buyers to sellers and assigns prices and wages in an effort to maximize welfare (i.e., buyer values minus seller costs) subject to budget-balance in an incentive compatible manner. In our markets of interest, agents trade the (often same) services multiple times. Moreover, the value and cost for the same service differs based on the context (e.g., location, urgency, weather conditions, etc). In this framework, we design mechanisms that are efficient, ex-ante budget-balanced, ex-ante individually rational, dominant strategy incentive compatible, and ex-ante in the core (a natural generalization of the core that we define here).


title: What If We Simply Swap the Two Text Fragments? A Straightforward yet Effective Way to Test the Robustness of Methods to Confounding Signals in Nature Language Inference Tasks

abstract: Nature language inference (NLI) task is a predictive task of determining the inference relationship of a pair of natural language sentences. With the increasing popularity of NLI, many state-of-the-art predictive models have been proposed with impressive performances. However, several works have noticed the statistical irregularities in the collected NLI data set that may result in an over-estimated performance of these models and proposed remedies. In this paper, we further investigate the statistical irregularities, what we refer as confounding factors, of the NLI data sets. With the belief that some NLI labels should preserve under swapping operations, we propose a simple yet effective way (swapping the two text fragments) of evaluating the NLI predictive models that naturally mitigate the observed problems. Further, we continue to train the predictive models with our swapping manner and propose to use the deviation of the model's evaluation performances under different percentages of training text fragments to be swapped to describe the robustness of a predictive model. Our evaluation metrics leads to some interesting understandings of recent published NLI methods. Finally, we also apply the swapping operation on NLI models to see the effectiveness of this straightforward method in mitigating the confounding factor problems in training generic sentence embeddings for other NLP transfer tasks.


title: Multidimensional Almost-Periodic Schr\"odinger Operators with Cantor Spectrum

abstract: We construct multidimensional almost-periodic Schr\"odinger operators whose spectrum has zero lower box counting dimension. In particular, the spectrum in these cases is a generalized Cantor set of zero Lebesgue measure.


title: Learning to Solve NP-Complete Problems - A Graph Neural Network for Decision TSP

abstract: Graph Neural Networks (GNN) are a promising technique for bridging differential programming and combinatorial domains. GNNs employ trainable modules which can be assembled in different configurations that reflect the relational structure of each problem instance. In this paper, we show that GNNs can learn to solve, with very little supervision, the decision variant of the Traveling Salesperson Problem (TSP), a highly relevant $\mathcal{NP}$-Complete problem. Our model is trained to function as an effective message-passing algorithm in which edges (embedded with their weights) communicate with vertices for a number of iterations after which the model is asked to decide whether a route with cost $<C$ exists. We show that such a network can be trained with sets of dual examples: given the optimal tour cost $C^{*}$, we produce one decision instance with target cost $x\%$ smaller and one with target cost $x\%$ larger than $C^{*}$. We were able to obtain $80\%$ accuracy training with $-2\%,+2\%$ deviations, and the same trained model can generalize for more relaxed deviations with increasing performance. We also show that the model is capable of generalizing for larger problem sizes. Finally, we provide a method for predicting the optimal route cost within $2\%$ deviation from the ground truth. In summary, our work shows that Graph Neural Networks are powerful enough to solve $\mathcal{NP}$-Complete problems which combine symbolic and numeric data.


title: Boundedness of Hyperbolic Components of Newton Maps

abstract: We investigate boundedness of hyperbolic components in the moduli space of Newton maps. For quartic maps, (i) we prove hyperbolic components possessing two distinct attracting cycles each of period at least two are bounded, and (ii) we characterize the possible points on the boundary at infinity for some other types of hyperbolic components. For general maps, we prove hyperbolic components whose elements have fixed superattracting basins mapping by degree at least three are unbounded.


title: Deep Neural Network Computes Electron Densities and Energies of a Large Set of Organic Molecules Faster than Density Functional Theory (DFT)

abstract: Density functional theory (DFT) is one of the main methods in Quantum Chemistry that offers an attractive trade off between the cost and accuracy of quantum chemical computations. The electron density plays a key role in DFT. In this work, we explore whether machine learning - more specifically, deep neural networks (DNNs) - can be trained to predict electron densities faster than DFT. First, we choose a practically efficient combination of a DFT functional and a basis set (PBE0/pcS-3) and use it to generate a database of DFT solutions for more than 133,000 organic molecules from a previously published database QM9. Next, we train a DNN to predict electron densities and energies of such molecules. The only input to the DNN is an approximate electron density computed with a cheap quantum chemical method in a small basis set (HF/cc-VDZ). We demonstrate that the DNN successfully learns differences in the electron densities arising both from electron correlation and small basis set artifacts in the HF computations. All qualitative features in density differences, including local minima on lone pairs, local maxima on nuclei, toroidal shapes around C-H and C-C bonds, complex shapes around aromatic and cyclopropane rings and CN group, etc. are captured by the DNN. Accuracy of energy predictions by the DNN is ~ 1 kcal/mol, on par with other models reported in the literature, while those models do not predict the electron density. Computations with the DNN, including HF computations, take much less time that DFT computations (by a factor of ~20-30 for most QM9 molecules in the current version, and it is clear how it could be further improved).


title: An automated model-based test oracle for access control systems

abstract: In the context of XACML-based access control systems, an intensive testing activity is among the most adopted means to assure that sensible information or resources are correctly accessed. Unfortunately, it requires a huge effort for manual inspection of results: thus automated verdict derivation is a key aspect for improving the cost-effectiveness of testing. To this purpose, we introduce XACMET, a novel approach for automated model-based oracle definition. XACMET defines a typed graph, called the XAC-Graph, that models the XACML policy evaluation. The expected verdict of a specific request execution can thus be automatically derived by executing the corresponding path in such graph. Our validation of the XACMET prototype implementation confirms the effectiveness of the proposed approach.


title: Convergence of Petviashvili's method near periodic waves in the fractional Korteweg-de Vries equation

abstract: Petviashvili's method has been successfully used for approximating of solitary waves in nonlinear evolution equations. It was discovered empirically that the method may fail for approximating of periodic waves. We consider the case study of the fractional Korteweg-de Vries equation and explain divergence of Petviashvili's method from unstable eigenvalues of the generalized eigenvalue problem. We also show that a simple modification of the iterative method after the mean value shift results in the unconditional convergence of Petviashvili's method. The results are illustrated numerically for the classical Korteweg-de Vries and Benjamin-Ono equations.

categories: math.AP math-ph math.DS math.MP math.NA nlin.PS


title: Surface MIMO: Using Conductive Surfaces For MIMO Between Small Devices

abstract: As connected devices continue to decrease in size, we explore the idea of leveraging everyday surfaces such as tabletops and walls to augment the wireless capabilities of devices. Specifically, we introduce Surface MIMO, a technique that enables MIMO communication between small devices via surfaces coated with conductive paint or covered with conductive cloth. These surfaces act as an additional spatial path that enables MIMO capabilities without increasing the physical size of the devices themselves. We provide an extensive characterization of these surfaces that reveal their effect on the propagation of EM waves. Our evaluation shows that we can enable additional spatial streams using the conductive surface and achieve average throughput gains of 2.6-3x for small devices. Finally, we also leverage the wideband characteristics of these conductive surfaces to demonstrate the first Gbps surface communication system that can directly transfer bits through the surface at up to 1.3 Gbps.


title: Decentralized Differentially Private Without-Replacement Stochastic Gradient Descent

abstract: While machine learning has achieved remarkable results in a wide variety of domains, the training of models often requires large datasets that may need to be collected from different individuals. As sensitive information may be contained in the individual's dataset, sharing training data may lead to severe privacy concerns. Therefore, there is a compelling need to develop privacy-aware machine learning methods, for which one effective approach is to leverage the generic framework of differential privacy. Considering that stochastic gradient descent (SGD) is one of the most commonly adopted methods for large-scale machine learning problems, a decentralized differentially private SGD algorithm is proposed in this work. Particularly, we focus on SGD without replacement due to its favorable structure for practical implementation. Both privacy and convergence analysis are provided for the proposed algorithm. Finally, extensive experiments are performed to demonstrate the effectiveness of the proposed method.


title: Coupled IGMM-GANs for deep multimodal anomaly detection in human mobility data

abstract: Detecting anomalous activity in human mobility data has a number of applications including road hazard sensing, telematic based insurance, and fraud detection in taxi services and ride sharing. In this paper we address two challenges that arise in the study of anomalous human trajectories: 1) a lack of ground truth data on what defines an anomaly and 2) the dependence of existing methods on significant pre-processing and feature engineering. While generative adversarial networks seem like a natural fit for addressing these challenges, we find that existing GAN based anomaly detection algorithms perform poorly due to their inability to handle multimodal patterns. For this purpose we introduce an infinite Gaussian mixture model coupled with (bi-directional) generative adversarial networks, IGMM-GAN, that is able to generate synthetic, yet realistic, human mobility data and simultaneously facilitates multimodal anomaly detection. Through estimation of a generative probability density on the space of human trajectories, we are able to generate realistic synthetic datasets that can be used to benchmark existing anomaly detection methods. The estimated multimodal density also allows for a natural definition of outlier that we use for detecting anomalous trajectories. We illustrate our methodology and its improvement over existing GAN anomaly detection on several human mobility datasets, along with MNIST.


title: Causal thermodynamics of a gravitational collapse model for an anisotropic fluid with dissipative flows

abstract: This paper presents a hydrodynamic and thermodynamic treatment of a radiant star model that undergoes a dissipative gravitational collapse, from a certain initial configuration until it becomes a black hole. The collapsing star consists of a locally anisotropic non-perfect fluid, where we explore the consequences of including viscous pressures, both shear and bulk viscosities, as well as radial heat flow. We analyze the temporal evolution of the heat flux, mass function, luminosity perceived by an observer at infinity and the effective surface temperature. It is shown that this simple exact model, satisfying all the energy conditions throughout the interior region of the star and during all the collapse process, provides a physically reasonable behavior for the temperature profile in the context of the extended irreversible thermodynamics.


title: Magnetic domain wall Skyrmions

abstract: It is well established that the spin-orbit interaction in heavy metal/ferromagnet heterostructures leads to a significant interfacial Dzyaloshinskii-Moriya Interaction (DMI) that modifies the internal structure of magnetic domain walls (DWs) to favor N\'{e}el over Bloch type configurations. However, the impact of such a transition on the structure and stability of internal DW defects (e.g., vertical Bloch lines) has not yet been explored. We present a combination of analytical and micromagnetic calculations to describe a new type of topological excitation called a DW Skyrmion characterized by a $360^\circ$ rotation of the internal magnetization in a Dzyaloshinskii DW. We further propose a method to identify DW Skyrmions experimentally using Fresnel mode Lorentz TEM; simulated images of DW Skyrmions using this technique are presented based on the micromagnetic results.


title: Exploiting Invertible Decoders for Unsupervised Sentence Representation Learning

abstract: The encoder-decoder models for unsupervised sentence representation learning tend to discard the decoder after being trained on a large unlabelled corpus, since only the encoder is needed to map the input sentence into a vector representation. However, parameters learnt in the decoder also contain useful information about language. In order to utilise the decoder after learning, we present two types of decoding functions whose inverse can be easily derived without expensive inverse calculation. Therefore, the inverse of the decoding function serves as another encoder that produces sentence representations. We show that, with careful design of the decoding functions, the model learns good sentence representations, and the ensemble of the representations produced from the encoder and the inverse of the decoder demonstrate even better generalisation ability and solid transferability.


title: Quantum Out-of-Equilibrium Cosmology

abstract: In this work, our prime focus is to study the one to one correspondence between the conduction phenomena in electrical wires with impurity and the scattering events responsible for particle production during stochastic inflation and reheating implemented under a closed quantum mechanical system in early universe cosmology. In this connection, we also present a derivation of fourth order corrected version of the Fokker Planck equation and its analytical solution for studying the dynamical features of the particle creation events in the stochastic inflation and reheating stage of the universe. It is explicitly shown from our computation that quantum corrected Fokker Planck equation describe the particle creation phenomena better for Dirac delta type of scatterer. In this connection, we additionally discuss It$\hat{o}$, Stratonovich prescription and the explicit role of finite temperature effective potential for solving the probability distribution profile. Furthermore, we extend our discussion to describe the quantum description of randomness involved in the dynamics. We also present a computation to derive the expression for the measure of the stochastic non-linearity arising in the stochastic inflation and reheating epoch of the universe, often described by Lyapunov Exponent. Apart from that, we quantify the quantum chaos arising in a closed system by a more strong measure, commonly known as Spectral Form Factor using the principles of Random Matrix Theory (RMT). Additionally, we discuss the role of out of time order correlation (OTOC) function to describe quantum chaos in the present non-equilibrium field theoretic setup. Finally, for completeness, we also provide a bound on the measure of quantum chaos arising due to the presence of stochastic non-linear dynamical interactions into the closed quantum system of the early universe in a completely model-independent way.

categories: hep-th astro-ph.CO cond-mat.stat-mech gr-qc hep-ph


title: Engel sinks of fixed points in finite groups

abstract: For an element $g$ of a group $G$, an Engel sink is a subset $\mathscr{E}(g)$ such that for every $ x\in G $ all sufficiently long commutators $ [x,g,g,\ldots,g] $ belong to $\mathscr{E}(g)$. Let $q$ be a prime, let $m$ be a positive integer and $A$ an elementary abelian group of order $q^2$ acting coprimely on a finite group $G$. We show that if for each nontrivial element $a$ in $ A$ and every element $g\in C_{G}(a)$ the cardinality of the smallest Engel sink $\mathscr{E}(g)$ is at most $m$, then the order of $\gamma_\infty(G)$ is bounded in terms of $m$ only. Moreover we prove that if for each $a\in A\setminus \{1\}$ and every element $g\in C_{G}(a)$, the smallest Engel sink $\mathscr{E}(g)$ generates a subgroup of rank at most $m$, then the rank of $\gamma_\infty(G)$ is bounded in terms of $m$ and $q$ only.


title: Analysis of Nonlinear Dynamics by Square Matrix Method

abstract: The nonlinear dynamics of a system with periodic structure can be analyzed using a square matrix. We show that because the special property of the square matrix constructed for nonlinear dynamics, we can reduce the dimension of the matrix from the original large number for high order calculation to low dimension in the first step of the analysis. Then a stable Jordan decomposition is obtained with much lower dimension. The Jordan decomposition leads to a transformation to a new variable, which is an accurate action-angle variable, in good agreement with trajectories and tune obtained from tracking. And more importantly, the deviation from constancy of the new action-angle variable provides a measure of the stability of the phase space trajectories and tune fluctuation. Thus the square matrix theory shows a good potential in theoretical understanding of a complicated dynamical system to guide the optimization of dynamical apertures. The method is illustrated by many examples of comparison between theory and numerical simulation. In particular, we show that the square matrix method can be used for fast optimization to reduce the nonlinearity of a system.

categories: physics.class-ph math-ph math.MP physics.acc-ph


title: Operations Guided Neural Networks for High Fidelity Data-To-Text Generation

abstract: Recent neural models for data-to-text generation are mostly based on data-driven end-to-end training over encoder-decoder networks. Even though the generated texts are mostly fluent and informative, they often generate descriptions that are not consistent with the input structured data. This is a critical issue especially in domains that require inference or calculations over raw data. In this paper, we attempt to improve the fidelity of neural data-to-text generation by utilizing pre-executed symbolic operations. We propose a framework called Operation-guided Attention-based sequence-to-sequence network (OpAtt), with a specifically designed gating mechanism as well as a quantization module for operation results to utilize information from pre-executed operations. Experiments on two sports datasets show our proposed method clearly improves the fidelity of the generated texts to the input structured data.


title: Joint Autoregressive and Hierarchical Priors for Learned Image Compression

abstract: Recent models for learned image compression are based on autoencoders, learning approximately invertible mappings from pixels to a quantized latent representation. These are combined with an entropy model, a prior on the latent representation that can be used with standard arithmetic coding algorithms to yield a compressed bitstream. Recently, hierarchical entropy models have been introduced as a way to exploit more structure in the latents than simple fully factorized priors, improving compression performance while maintaining end-to-end optimization. Inspired by the success of autoregressive priors in probabilistic generative models, we examine autoregressive, hierarchical, as well as combined priors as alternatives, weighing their costs and benefits in the context of image compression. While it is well known that autoregressive models come with a significant computational penalty, we find that in terms of compression performance, autoregressive and hierarchical priors are complementary and, together, exploit the probabilistic structure in the latents better than all previous learned models. The combined model yields state-of-the-art rate--distortion performance, providing a 15.8% average reduction in file size over the previous state-of-the-art method based on deep learning, which corresponds to a 59.8% size reduction over JPEG, more than 35% reduction compared to WebP and JPEG2000, and bitstreams 8.4% smaller than BPG, the current state-of-the-art image codec. To the best of our knowledge, our model is the first learning-based method to outperform BPG on both PSNR and MS-SSIM distortion metrics.


title: Degenerations, transitions and quantum cohomology

abstract: Given a singular variety I discuss the relations between quantum cohomology of its resolution and smoothing. In particular, I explain how toric degenerations helps with computing Gromov--Witten invariants, and the role of this story in Fanosearch programme. The challenge is to formulate enumerative symplectic geometry of complex $3$-folds in a way suitable for extracting invariants under blowups, contractions, and transitions.


title: Fano-Mathieu correspondence

abstract: We show that $G$-Fano threefolds are mirror-modular. 1. Mirror maps are inversed reversed Hauptmoduln for moonshine subgroups of $SL_2(\mathbb{R})$. 2. Quantum periods, shifted by an integer constant (eigenvalue of quantum operator on primitive cohomology) are expansions of weight 2 modular forms (theta-functions) in terms of inversed Hauptmoduln. 3. Products of inversed Hauptmoduln with some fractional powers of shifted quantum periods are very nice cuspforms (eta-quotients). The latter cuspforms also appear in work of Mason and others: they are eta-products, related to conjugacy classes of sporadic simple groups, such as Mathieu group $M_{24}$ and Conway's group of isometries of Leech lattice. This gives a strange correspondence between deformation classes of $G$-Fano threefolds and conjugacy classes of Mathieu group $M_{24}$.


title: A strategy for solving difficulties in spin-glass simulations

abstract: A spin-glass transition has been investigated for a long time but we have not yet reached a conclusion due to difficulties in the simulations. They are slow dynamics, strong finite-size effects, and sample-to-sample dependences. We clarified that these difficulties are mainly caused by a competition between the spin-glass order and the boundary conditions. We also found that the spin-glass order grows fast and reaches the lattice boundary within a very short Monte Carlo step. A key to solve the difficulties is to eliminate the boundary effect first. It was made possible by a dynamic scaling analysis on nonequilibrium relaxation functions in a large-size and short-time regime. The observed quantity was also found to be self-averaging in a limit of large replica number. The spin-glass transition and the chiral-glass transition was clarified to occur at the same temperature in the Heisenberg spin-glass model in three dimensions. The estimated critical exponent $\nu$ agrees with the experimental result.


title: Ensembles of Nested Dichotomies with Multiple Subset Evaluation

abstract: A system of nested dichotomies is a method of decomposing a multi-class problem into a collection of binary problems. Such a system recursively applies binary splits to divide the set of classes into two subsets, and trains a binary classifier for each split. Many methods have been proposed to perform this split, each with various advantages and disadvantages. In this paper, we present a simple, general method for improving the predictive performance of nested dichotomies produced by any subset selection techniques that employ randomness to construct the subsets. We provide a theoretical expectation for performance improvements, as well as empirical results showing that our method improves the root mean squared error of nested dichotomies, regardless of whether they are employed as an individual model or in an ensemble setting.


title: A high dimensional Central Limit Theorem for martingales, with applications to context tree models

abstract: We establish a central limit theorem for (a sequence of) multivariate martingales which dimension potentially grows with the length $n$ of the martingale. A consequence of the results are Gaussian couplings and a multiplier bootstrap for the maximum of a multivariate martingale whose dimensionality $d$ can be as large as $e^{n^c}$ for some $c>0$. We also develop new anti-concentration bounds for the maximum component of a high-dimensional Gaussian vector, which we believe is of independent interest. The results are applicable to a variety of settings. We fully develop its use to the estimation of context tree models (or variable length Markov chains) for discrete stationary time series. Specifically, we provide a bootstrap-based rule to tune several regularization parameters in a theoretically valid Lepski-type method. Such bootstrap-based approach accounts for the correlation structure and leads to potentially smaller penalty choices, which in turn improve the estimation of the transition probabilities.


title: Classifying Signatures of Sudden Ionospheric Disturbances

abstract: Solar activity, such as flares, produce bursts of high-energy radiation that temporarily enhance the D-region of the ionosphere and attenuate low-frequency radio waves. To track these Sudden Ionospheric Disturbances (SIDs), which disrupt communication signals and perturb satellite orbits, Scherrer et al. (2008) developed an international, ground-based network of around 500 SID monitors that measure the signal strength of low-frequency radio waves. However, these monitors suffer from a host of noise contamination issues that preclude their use for rigorous scientific analysis. As such, we attempt to create an algorithm to automatically identify noisy, contaminated SID data sets from clean ones. To do so, we develop a set of features to characterize times series measurements from SID monitors and use these features, along with a binary classifer called a support vector machine, to automatically assess the quality of the SID data. We compute the True Skill Score, a metric that measures the performance of our classifier, and find that it is ~0.75+/-0.06. We find features characterizing the difference between the daytime and nighttime signal strength of low-frequency radio waves most effectively discern noisy data sets from clean ones.


title: RealPoint3D: Point Cloud Generation from a Single Image with Complex Background

abstract: 3D point cloud generation by the deep neural network from a single image has been attracting more and more researchers' attention. However, recently-proposed methods require the objects be captured with relatively clean backgrounds, fixed viewpoint, while this highly limits its application in the real environment. To overcome these drawbacks, we proposed to integrate the prior 3D shape knowledge into the network to guide the 3D generation. By taking additional 3D information, the proposed network can handle the 3D object generation from a single real image captured from any viewpoint and complex background. Specifically, giving a query image, we retrieve the nearest shape model from a pre-prepared 3D model database. Then, the image together with the retrieved shape model is fed into the proposed network to generate the fine-grained 3D point cloud. The effectiveness of our proposed framework has been verified on different kinds of datasets. Experimental results show that the proposed framework achieves state-of-the-art accuracy compared to other volumetric-based and point set generation methods. Furthermore, the proposed framework works well for real images in complex backgrounds with various view angles.


title: On the Calibration of Nested Dichotomies for Large Multiclass Tasks

abstract: Nested dichotomies are used as a method of transforming a multiclass classification problem into a series of binary problems. A tree structure is induced that recursively splits the set of classes into subsets, and a binary classification model learns to discriminate between the two subsets of classes at each node. In this paper, we demonstrate that these nested dichotomies typically exhibit poor probability calibration, even when the base binary models are well calibrated. We also show that this problem is exacerbated when the binary models are poorly calibrated. We discuss the effectiveness of different calibration strategies and show that accuracy and log-loss can be significantly improved by calibrating both the internal base models and the full nested dichotomy structure, especially when the number of classes is high.


title: Molecular Hypergraph Grammar with its Application to Molecular Optimization

abstract: Molecular optimization aims to discover novel molecules with desirable properties. Two fundamental challenges are: (i) it is not trivial to generate valid molecules in a controllable way due to hard chemical constraints such as the valency conditions, and (ii) it is often costly to evaluate a property of a novel molecule, and therefore, the number of property evaluations is limited. These challenges are to some extent alleviated by a combination of a variational autoencoder (VAE) and Bayesian optimization (BO). VAE converts a molecule into/from its latent continuous vector, and BO optimizes a latent continuous vector (and its corresponding molecule) within a limited number of property evaluations. While the most recent work, for the first time, achieved 100% validity, its architecture is rather complex due to auxiliary neural networks other than VAE, making it difficult to train. This paper presents a molecular hypergraph grammar variational autoencoder (MHG-VAE), which uses a single VAE to achieve 100% validity. Our idea is to develop a graph grammar encoding the hard chemical constraints, called molecular hypergraph grammar (MHG), which guides VAE to always generate valid molecules. We also present an algorithm to construct MHG from a set of molecules.


title: Typed Table Transformations

abstract: Spreadsheet tables are often labeled, and these labels effectively constitute types for the data in the table. In such cases tables can be considered to be built from typed data where the placement of values within the table is controlled by the types used for rows and columns. We present a new approach to the transformations of spreadsheet tables that is based on transformations of row and column types. We illustrate the basic idea of type-based table construction and transformation and lay out a series of research questions that should be addressed in future work.


title: Late-time quantum radiation by a uniformly accelerated detector in de Sitter spacetime

abstract: We investigate the quantum radiation emitted by a uniformly accelerated Unruh-DeWitt detector in de Sitter spacetime. We find that there exists a non-vanishing quantum radiation at late times in the radiation zone of the conformally flat coordinates, which cover the region behind the cosmological horizon for the accelerated detector. The theoretical structure of producing the late-time quantum radiation is similar to that of the same model in Minkowski spacetime: it comes from a nonlocal correlation of the quantum field in the Bunch-Davies vacuum state, which can be traced back to the entanglement between the field modes defined in different regions in de Sitter spacetime.


title: Triple Higgs Boson Coupling in Gauge-Higgs Unification

abstract: We consider the triple coupling of the Higgs boson in the context of the gauge-Higgs unification scenario. We show that the triple coupling of the Higgs boson in this scenario generically deviates from SM prediction since the Higgs potential in this scenario has a periodicity. We calculate the coupling in the five-dimensional $SU(3)$ x $U(1)_X$ gauge-Higgs unification model and obtain 70% deviation from the SM prediction.


title: Revisiting the asymptotic dynamics of General Relativity on AdS$_3$

abstract: The dual dynamics of Einstein gravity on AdS$_3$ supplemented with boundary conditions of KdV-type is identified. It corresponds to a two-dimensional field theory at the boundary, described by a novel action principle whose field equations are given by two copies of the "potential modified KdV equation". The asymptotic symmetries then transmute into the global Noether symmetries of the dual action, giving rise to an infinite set of commuting conserved charges, implying the integrability of the system. Noteworthy, the theory at the boundary is non-relativistic and possesses anisotropic scaling of Lifshitz type.


title: Ultimate Boundedness for Switched Systems with Multiple Equilibria Under Disturbances

abstract: In this paper, we investigate the robustness to external disturbances of switched discrete and continuous systems with multiple equilibria. It is shown that if each subsystem of the switched system is Input-to-State Stable (ISS), then under switching signals that satisfy an average dwell-time bound, the solutions are ultimately bounded within a compact set. Furthermore, the size of this set varies monotonically with the supremum norm of the disturbance signal. It is observed that when the subsystems share a common equilibrium, ISS is recovered for solutions of the corresponding switched system; hence, the results in this paper are a natural generalization of classical results in switched systems that exhibit a common equilibrium. Additionally, we provide a method to analytically compute the average dwell time if each subsystem possesses a quadratic ISS-Lyapunov function. Our motivation for studying this class of switched systems arises from certain motion planning problems in robotics, where primitive motions, each corresponding to an equilibrium point of a dynamical system, must be composed to realize a task. However, the results are relevant to a much broader class of applications, in which composition of different modes of behavior is required.


title: On the Associative Algebra Kernels and Obstruction

abstract: The theory of abstract kernels in non-trivial extensions for many kinds of algebraical objects, such as groups, rings and graded rings, associative algebras, Lie algebras, restricted Lie algebras, DG-algebras and DG-Lie algebras, has been widely studied since 1940's. Gerhard Hochschild firstly treats associative algebra as an generic type in the series of kernel problems. He proves the theorem of constructing kernel by presenting many tedious relations that may lost the readers today. In this paper, we shall illustrate the formulation and recast it for Lie algebra(-oid) kernels. We also prove the independence of 3-cocycle in the case of associative algebra. Finally, we use the universal enveloping algebra of Lie algebra to reduce the difficulty of a direct construction for the derivation algebras.


title: Derivation relation for finite multiple zeta values in $\widehat{\mathcal{A}}$

abstract: Ihara, Kaneko, and Zagier proved the derivation relation for multiple zeta values. The first named author obtained its counterpart for finite multiple zeta values in $\mathcal{A}$. In this paper, we present its generalization in $\mathcal{A}_{n}$.


title: Optimal and Low-Complexity Dynamic Spectrum Access for RF-Powered Ambient Backscatter System with Online Reinforcement Learning

abstract: Ambient backscatter has been introduced with a wide range of applications for low power wireless communications. In this article, we propose an optimal and low-complexity dynamic spectrum access framework for RF-powered ambient backscatter system. In this system, the secondary transmitter not only harvests energy from ambient signals (from incumbent users), but also backscatters these signals to its receiver for data transmission. Under the dynamics of the ambient signals, we first adopt the Markov decision process (MDP) framework to obtain the optimal policy for the secondary transmitter, aiming to maximize the system throughput. However, the MDP-based optimization requires complete knowledge of environment parameters, e.g., the probability of a channel to be idle and the probability of a successful packet transmission, that may not be practical to obtain. To cope with such incomplete knowledge of the environment, we develop a low-complexity online reinforcement learning algorithm that allows the secondary transmitter to "learn" from its decisions and then attain the optimal policy. Simulation results show that the proposed learning algorithm not only efficiently deals with the dynamics of the environment, but also improves the average throughput up to 50% and reduces the blocking probability and delay up to 80% compared with conventional methods.


title: Ultra-sensitive Experimental Detection of Chiral Meso-structures by Orbital Angular Momentum of Light

abstract: Circular dichroism (CD) induced by spin angular momentum of light is vital to investigate the chirality of microscopic objects such as molecules, proteins and metamaterials. However, orbital angular momentum (OAM) of light failed to directly implement an interaction with chiral molecules, which remains poorly understood. Even with the enhancement of unique plasmonic nanoparticle aggregates, the helical dichroism (HD) is still at a small level of ~0.6%. Here, we experimentally report the direct observation of a giant HD at the level of ~120% by matching the scales of chiral microstructures and OAM beams. Our results reveal a strong interaction between OAM beams and chiral microstructures in terms of their distinct reflectance, resulting in sign-opposite HD values to distinguish their chirality. Such unique HD phenomenon is investigated experimentally under various diameters and helical pitches of chiral structures, showing the robust performance. This HD technique can widely extend the responding areas of chiral spectroscopy in biology, material science and nanotechnology.


title: One thousand days of SN 2015bn: HST imaging shows a light curve flattening consistent with magnetar predictions

abstract: We present the first observations of a Type I superluminous supernova (SLSN) at $\gtrsim 1000$ days after maximum light. We observed SN 2015bn using the Hubble Space Telescope Advanced Camera for Surveys in the F475W, F625W and F775W filters at 721 days and 1068 days. SN 2015bn is clearly detected and resolved from its compact host, allowing reliable photometry. A galaxy template constructed from these data further enables us to isolate the SLSN flux in deep ground-based imaging. We measure a light curve decline rate at $>700$ days of $0.19 \pm 0.03$ mag (100 d)$^{-1}$, much shallower than the earlier evolution, and slower than previous SLSNe (at any phase) or the decay rate of $^{56}$Co. Neither additional radioactive isotopes nor a light echo can consistently account for the slow decline. A spectrum at 1083 days shows the same [O I] and [Ca II] lines as seen at $\sim300-400$ days, with no new features to indicate strong circumstellar interaction. Radio limits with the Very Large Array rule out an extended wind for mass-loss rates $10^{-2.7} \lesssim \dot{M}/v_{10} \lesssim 10^{-1.1}$ M$_\odot$ yr$^{-1}$ (where $v_{10}$ is the wind velocity in units of 10 km s$^{-1}$). The optical light curve is consistent with $L \propto t^{-4}$, which we show is expected for magnetar spin-down with inefficient trapping; furthermore, the evolution matches predictions from earlier magnetar model fits. The opacity to magnetar radiation is constrained at $\sim 0.01$ cm$^2$ g$^{-1}$, consistent with photon-matter pair-production over a broad $\sim$GeV-TeV range. This suggests the magnetar spectral energy distribution, and hence the 'missing energy' leaking from the ejecta, may peak in this range.


title: Intertwining operators, the composability condition and the complete reducibility of generalized modules

abstract: A cohomological criterion for the complete reducibility of modules of finite length satisfying a composability condition for a meromorphic open-string vertex algebra $V$ has been given by Qi and the author. In order to apply this criterion, one needs to determine what types of $V$-modules satisfy the composability condition. In this paper, we prove that the composability condition is satisfied by generalized modules in a suitable category for a grading-restricted vertex algebra satisfying natural conditions.


title: New generalized Mehler-Fock transformations and applications to the resolvent equation

abstract: We investigate and solve a special class of integrals involving associated Legendre functions, which can be regarded as generalized Mehler-Fock transformations. Some of the integrals appear naturally when dealing with the heat or resolvent equation of a wedge in the hyperbolic plane. As an application, we derive explicit formulas for the Green's function and the heat kernel of a wedge.


title: Translation surfaces in Euclidean space with constant Gaussian curvature

abstract: We prove that the only surfaces in $3$-dimensional Euclidean space $\R^3$ with constant Gaussian curvature $K$ and constructed by the sum of two space curves are cylindrical surfaces, in particular, $K=0$.


title: Classification and construction of minimal translation surfaces in Euclidean space

abstract: A translation surface of Euclidean space $\r^3$ is the sum of two regular curves $\alpha$ and $\beta$, called the generating curves. In this paper we classify the minimal translation surfaces of $\r^3$ and we give a method of construction of explicit examples. Besides the plane and the minimal surfaces of Scherk type, it is proved that up to reparameterizations of the generating curves, any minimal translation surface is described as $\Psi(s,t)=\alpha(s)+\alpha(t)$, where $\alpha$ is a curve parameterized by arc length $s$, its curvature $\kappa$ is a positive solution of the autonomous ODE $(y')^2+y^4+c_3y^2+c_1^2y^{-2}+c_1c_2=0$ and its torsion is $\tau(s)=c_1/\kappa(s)^2$. Here $c_1\not=0$, $c_2$ and $c_3$ are constants such that the cubic equation $-\lambda^3+c_2\lambda^2-c_3\lambda+c_1=0$ has three real roots $\lambda_1$, $\lambda_2$ and $\lambda_3$.


title: Where is the engine hiding its missing energy? Constraints from a deep X-ray non-detection of the Superluminous SN 2015bn

abstract: SN 2015bn is a nearby hydrogen-poor superluminous supernova (SLSN-I) that has been intensively observed in X-rays with the goal to detect the spin-down powered emission from a magnetar engine. The early-time UV/optical/infrared (UVOIR) data fit well to the magnetar model, but require leakage of energy at late times of $\lesssim 10^{43}$ erg s$^{-1}$, which is expected to be partially emitted in X-rays. Deep X-ray limits until $\sim$300 days after explosion revealed no X-ray emission. Here, we present the latest deep 0.3--10 keV X-ray limit at 805 days obtained with \textit{XMM-Newton}. We find $L_X < 10^{41}$ erg s$^{-1}$, with no direct evidence for central-engine powered emission. While the late-time optical data still follow the prediction of the magnetar model, the best-fit model to the bolometric light curve predicts that $\sim$97\% of the total input luminosity of the magnetar is escaping outside of the UVOIR bandpass at the time of observation. Our X-ray upper limit is $<$1.5\% of the input luminosity, strongly constraining the high-energy leakage, unless non-radiative losses are important. These deep X-ray observations identify a missing energy problem in SLSNe-I and we suggest future observations in hard X-rays and $\gamma$-rays for better constraints. Also, independent of the optical data, we constrain the parameter spaces of various X-ray emission scenarios, including ionization breakout by magnetar spin-down, shock interaction between the ejecta and external circumstellar medium, off-axis $\gamma$-ray burst afterglow, and black hole fallback accretion.


title: Accurate color imaging of pathology slides using holography and absorbance spectrum estimation of histochemical stains

abstract: Holographic microscopy presents challenges for color reproduction due to the usage of narrow-band illumination sources, which especially impacts the imaging of stained pathology slides for clinical diagnoses. Here, an accurate color holographic microscopy framework using absorbance spectrum estimation is presented. This method uses multispectral holographic images acquired and reconstructed at a small number (e.g., three to six) of wavelengths, estimates the absorbance spectrum of the sample, and projects it onto a color tristimulus. Using this method, the wavelength selection is optimized to holographically image 25 pathology slide samples with different tissue and stain combinations to significantly reduce color errors in the final reconstructed images. The results can be used as a practical guide for various imaging applications and, in particular, to correct color distortions in holographic imaging of pathology samples spanning different dyes and tissue types.

categories: physics.med-ph physics.app-ph physics.ins-det physics.optics


title: A Game Theoretic Macroscopic Model of Bypassing at Traffic Diverges with Applications to Mixed Autonomy Networks

abstract: Vehicle bypassing is known to negatively affect delays at traffic diverges. However, due to the complexities of this phenomenon, accurate and yet simple models of such lane change maneuvers are hard to develop. In this work, we present a macroscopic model for predicting the number of vehicles that bypass at a traffic diverge. We take into account the selfishness of vehicles in selecting their lanes; every vehicle selects lanes such that its own cost is minimized. We discuss how we model the costs experienced by the vehicles. Then, taking into account the selfish behavior of the vehicles, we model the lane choice of vehicles at a traffic diverge as a Wardrop equilibrium. We state and prove the properties of Wardrop equilibrium in our model. We show that there always exists an equilibrium for our model. Moreover, unlike most nonlinear asymmetrical routing games, we prove that the equilibrium is unique under mild assumptions. We discuss how our model can be easily calibrated by running a simple optimization problem. Using our calibrated model, we validate it through simulation studies and demonstrate that our model successfully predicts the aggregate lane change maneuvers that are performed by vehicles for bypassing at a traffic diverge. We further discuss how our model can be employed to obtain the optimal lane choice behavior of the vehicles, where the social or total cost of vehicles is minimized. Finally, we demonstrate how our model can be utilized in scenarios where a central authority can dictate the lane choice and trajectory of certain vehicles so as to increase the overall vehicle mobility at a traffic diverge. Examples of such scenarios include the case when both human driven and autonomous vehicles coexist in the network. We show how certain decisions of the central authority can affect the total delays in such scenarios via an example.


title: YZiCS: Preprocessing of dark halos in the hydrodynamic zoom-in simulation of clusters

abstract: To understand the galaxy population in clusters today, we should also consider the impact of previous environments prior to cluster infall, namely preprocessing. We use YZiCS, a hydrodynamic high-resolution zoom-in simulation of 15 clusters, and focus on the tidal stripping suffered by the dark matter halos of cluster members due to preprocessing. We find ~48% of today's cluster members were once satellites of other hosts. This is slightly higher than previous estimates, in part, because we consider not just group-mass hosts, but hosts of all masses also. Thus, we find the preprocessed fraction is poorly correlated with cluster mass and is instead related to each cluster's recent mass growth rate. Hosts less massive than groups are significant contributors, providing more than one-third of the total preprocessed fraction. We find that halo mass loss is a clear function of the time spent in hosts. However, two factors can increase the mass loss rate considerably; the mass ratio of a satellite to its host, and the cosmological epoch when the satellite was hosted. The latter means we may have previously underestimated the role of high redshift groups. From a sample of heavily tidally stripped members in clusters today, nearly three quarters were previously in a host. Thus, visibly disturbed cluster members are more likely to have experienced preprocessing. Being hosted before cluster infall enables cluster members to experience tidal stripping for extended durations compared to direct cluster infall and at earlier epochs when hosts were more destructive.


title: The Dirac equation in general relativity, a guide for calculations

abstract: In these informal lecture notes we outline different approaches used in doing calculations involving the Dirac equation in curved spacetime. We have tried to clarify the subject by carefully pointing out the various conventions used and by including several examples from textbooks and the existing literature. In addition some basic material has been included in the appendices. It is our hope that graduate students and other re- searchers will find these notes useful.


title: Exploration on Grounded Word Embedding: Matching Words and Images with Image-Enhanced Skip-Gram Model

abstract: Word embedding is designed to represent the semantic meaning of a word with low dimensional vectors. The state-of-the-art methods of learning word embeddings (word2vec and GloVe) only use the word co-occurrence information. The learned embeddings are real number vectors, which are obscure to human. In this paper, we propose an Image-Enhanced Skip-Gram Model to learn grounded word embeddings by representing the word vectors in the same hyper-plane with image vectors. Experiments show that the image vectors and word embeddings learned by our model are highly correlated, which indicates that our model is able to provide a vivid image-based explanation to the word embeddings.


title: CNNs for Surveillance Footage Scene Classification

abstract: In this project, we adapt high-performing CNN architectures to differentiate between scenes with and without abandoned luggage. Using frames from two video datasets, we compare the results of training different architectures on each dataset as well as on combining the datasets. We additionally use network visualization techniques to gain insight into what the neural network sees, and the basis of the classification decision. We intend that our results benefit further work in applying CNNs in surveillance and security-related tasks.


title: Anomalous isothermal compressibility in spin-orbit coupled degenerate Fermi gases

abstract: The spin-orbit coupling (SOC) in degenerate Fermi gases can fundamentally change the fate of $s$-wave superfluids with strong Zeeman field and give rise to topological superfluids and associated Majorana zero modes. It also dramatically changes the thermodynamic properties of the superfluids. Here we report the anomalous isothermal compressibility $\kappa_T$ in this superfluids with both SOC and Zeeman field. We formulate this quantity from the Gibbs-Duhem equation and show that the contribution of $\kappa_T$ comes from the explicit contribution of chemical potential and implicit contribution of order parameter. In the Bardeen-Cooper-Schrieffer (BCS) limit, this compressibility is determined by the density of state near the Fermi surface; while in the Bose Einstein condensate (BEC) regime it is determined by the scattering length. Between these two limits, we find that the anomalous peaks can only be found in the gapless Weyl phase regime. This anomalous behavior can be regarded as a remanent effect of phase separation. The similar physics can also be found in the lattice model away from half filling. These predictions can be measured from the anomalous response of sound velocity and fluctuation of carrier density.


title: Generating Distractors for Reading Comprehension Questions from Real Examinations

abstract: We investigate the task of distractor generation for multiple choice reading comprehension questions from examinations. In contrast to all previous works, we do not aim at preparing words or short phrases distractors, instead, we endeavor to generate longer and semantic-rich distractors which are closer to distractors in real reading comprehension from examinations. Taking a reading comprehension article, a pair of question and its correct option as input, our goal is to generate several distractors which are somehow related to the answer, consistent with the semantic context of the question and have some trace in the article. We propose a hierarchical encoder-decoder framework with static and dynamic attention mechanisms to tackle this task. Specifically, the dynamic attention can combine sentence-level and word-level attention varying at each recurrent time step to generate a more readable sequence. The static attention is to modulate the dynamic attention not to focus on question irrelevant sentences or sentences which contribute to the correct option. Our proposed framework outperforms several strong baselines on the first prepared distractor generation dataset of real reading comprehension questions. For human evaluation, compared with those distractors generated by baselines, our generated distractors are more functional to confuse the annotators.


title: Worldcoin: A Hypothetical Cryptocurrency for the People and its Government

abstract: The world of cryptocurrency is not transparent enough though it was established for innate transparent tracking of capital flows. The most contributing factor is the violation of securities laws and scam in Initial Coin Offering (ICO) which is used to raise capital through crowdfunding. There is a lack of proper regularization and appreciation from governments around the world which is a serious problem for the integrity of cryptocurrency market. We present a hypothetical case study of a new cryptocurrency to establish the transparency and equal right for every citizen to be part of a global system through the collaboration between people and government. The possible outcome is a model of a regulated and trusted cryptocurrency infrastructure that can be further tailored to different sectors with a different scheme.


title: Weak Control for Human-in-the-loop Systems

abstract: In this letter, we propose a control framework for human-in-the-loop systems, in which many human decision makers are involved in the feedback loop composed of a plant and a controller. The novelty of the framework is that the decision makers are weakly controlled; in other words, they receive a set of admissible control actions from the controller and choose one of them in accordance with their private preferences. For example, the decision makers can decide their actions to minimize their own costs or by simply relying on their experience and intuition. A class of controllers which output set-valued signals is proposed, and it is shown that the overall control system is stable independently of the decisions made by the humans. Finally, a learning algorithm is applied to the controller that updates the controller parameters to reduce the achievable minimal costs for the decision makers. Effective use of the algorithm is demonstrated in a numerical experiment.


title: KIC 9832227: Using Vulcan Data to Negate The 2022 Red Nova Merger Prediction

abstract: KIC 9832227 is a contact binary whose 11 hr orbital period is rapidly changing. Based on the apparent exponential decay of its period, the two stars were predicted to merge in early 2022 resulting in a rare red nova outburst. Fortunately KIC 832227 was observed in 2003 as part of the NASA Ames pre-Kepler Vulcan Project to search for transiting exoplanets. We find that the Vulcan timing measurement does not agree with the previous exponential decay model. This led us to re-evaluate the other early epoch non-Kepler data sets, the Northern Sky Variability Survey (NSVS) and Wide Angle Search for Planets (WASP) survey. We find that the WASP times are in good agreement with the previous prediction, but the NSVS eclipse time differs by nearly an hour. The very large disagreement of the Vulcan and NSVS eclipse times with an exponentially decaying model forces us to reject the merger hypothesis. Although period variations are common in contact binaries, the physical cause of the period changes in KIC 9832227 remains unexplained; a third star scenario is unlikely. This study shows the data collected by the Vulcan photometer to be extremely valuable for extending the baseline for measurements of variable stars in the Kepler field.


title: Order book model with herd behavior exhibiting long-range memory

abstract: In this work, we propose an order book model with herd behavior. The proposed model is built upon two distinct approaches: a recent empirical study of the detailed order book records by Kanazawa et al. [Phys. Rev. Lett. 120, 138301] and financial herd behavior model. Combining these approaches allows us to propose a model that replicates the long-range memory of absolute returns and trading activity. We compare the statistical properties of the model against the empirical statistical properties of the Bitcoin exchange rates and New York stock exchange tickers. We also show that the fracture in the spectral density of the high-frequency absolute return time series might be related to the mechanism of convergence towards the equilibrium price.


title: Solving systems of phaseless equations via Riemannian optimization with optimal sampling complexity

abstract: A Riemannian gradient descent algorithm and a truncated variant are presented to solve systems of phaseless equations $|Ax|^2=y$. The algorithms are developed by exploiting the inherent low rank structure of the problem based on the embedded manifold of rank-$1$ positive semidefinite matrices. Theoretical recovery guarantee has been established for the truncated variant, showing that the algorithm is able to achieve successful recovery when the number of equations is proportional to the number of unknowns. Two key ingredients in the analysis are the restricted well conditioned property and the restricted weak correlation property of the associated truncated linear operator. Empirical evaluations show that our algorithms are competitive with other state-of-the-art first order nonconvex approaches with provable guarantees.


title: Calculation Energy levels and charge radius for odd $^{41-49}$Ca Isotopes by using the analytical approach

abstract: In the present study, some static properties of odd isotopes of Ca were investigated in the non-relativistic shell model. We also suggested a novel suitable local potential model for the non-microscopic investigation of the mentioned nuclei. We modeled the odd $^{41-49}$Ca nuclei as doubly-magic isotopes, with further nucleons (valence) in the lf7/2 and 2p3/2 levels. Then the modified Eckart potential as well as Hulthen potential were chosen for the interaction between core and nucleons. We also used the Parametric Nikiforov Uvarov method to calculate the values of energy, the radius of charge and wave function. The obtained results showed a good agreement with the experimental data, so this model is applicable for the similar nuclei.


title: Resumption of dynamism in damaged networks of coupled oscillators

abstract: Deterioration in the dynamical activities may come up naturally or due to environmental influences in a massive portion of biological and physical systems. Such dynamical degradation may have outright effect on the substantive network performance. This enforces to provide some proper prescriptions to overcome undesired circumstances. Through this article, we present a scheme based on external feedback that can efficiently revive dynamism in damaged networks of active and inactive oscillators and thus enhance the network survivability. Both numerical and analytical investigations are performed in order to verify our claim. We also provide a comparative study on the effectiveness of this mechanism for feedbacks to the inactive group or to the active group only. Most importantly, resurrection of dynamical activity is realized even in time-delayed damaged networks, which are considered to be less persistent against deterioration in form of inactivity in the oscillators. Furthermore, prominence in our approach is substantiated by providing evidence of enhanced network persistence in complex network topologies taking small-world and scale-free architectures, which makes the proposed remedy quite general. Besides the study in network of Stuart-Landau oscillators, affirmative influence of external feedback has been justified in network of chaotic Rossler systems as well.


title: Instance-based Deep Transfer Learning

abstract: Deep transfer learning recently has acquired significant research interest. It makes use of pre-trained models that are learned from a source domain, and utilizes these models for the tasks in a target domain. Model-based deep transfer learning is probably the most frequently used method. However, very little research work has been devoted to enhancing deep transfer learning by focusing on the influence of data. In this paper, we propose an instance-based approach to improve deep transfer learning in a target domain. Specifically, we choose a pre-trained model from a source domain and apply this model to estimate the influence of training samples in a target domain. Then we optimize the training data of the target domain by removing the training samples that will lower the performance of the pre-trained model. We later either fine-tune the pre-trained model with the optimized training data in the target domain, or build a new model which is initialized partially based on the pre-trained model, and fine-tune it with the optimized training data in the target domain. Using this approach, transfer learning can help deep learning models to capture more useful features. Extensive experiments demonstrate the effectiveness of our approach on boosting the quality of deep learning models for some common computer vision tasks, such as image classification.


title: Capacity analysis and bit allocation design for variable-resolution ADCs in Massive MIMO

abstract: We derive an expression for the capacity of massive multiple-input multiple-output Millimeter wave (mmWave) channel where the receiver is equipped with a variable-resolution Analog to Digital Converter (ADC) and a hybrid combiner. The capacity is shown to be a function of Cramer-Rao Lower Bound (CRLB) for a given bit-allocation matrix and hybrid combiner. The condition for optimal ADC bit-allocation under a receiver power constraint is derived. This is derived based on the maximization of capacity with respect to bit-allocation matrix for a given channel, hybrid precoder, and hybrid combiner. It is shown that this condition coincides with that obtained using the CRLB minimization proposed by Ahmed et al. Monte-carlo simulations show that the capacity calculated using the proposed condition matches very closely with the capacity obtained using the Exhaustive Search bit allocation.


title: Probing near-field light-matter interactions with single-molecule lifetime imaging

abstract: Nanophotonics offers a promising range of applications spanning from the development of efficient solar cells to quantum communications and biosensing. However, the ability to efficiently couple fluorescent emitters with nanostructured materials requires to probe light-matter interactions at subwavelength resolution, which remains experimentally challenging. Here, we introduce an approach to perform super-resolved fluorescence lifetime measurements on samples that are densely labelled with photo-activatable fluorescent molecules. The simultaneous measurement of the position and the decay rate of the molecules provides a direct access to the local density of states (LDOS) at the nanoscale. We experimentally demonstrate the performance of the technique by studying the LDOS variations induced in the near field of a silver nanowire, and we show via a Cram\'er-Rao analysis that the proposed experimental setup enables a single-molecule localisation precision of 6 nm.


title: Examples for the Quantum Kippenhahn Theorem

abstract: Semidefinite programming optimises a linear objective function over a spectrahedron, and is one of the major advances of mathematical optimisation. Spectrahedra are described by linear pencils, which are linear matrix polynomials with hermitian matrix coefficients. Our focus will be on dimension-free linear pencils where the variables are permitted to be hermitian matrices. A major question on linear pencils, and matrix theory in general, is Kippenhahn's Conjecture. The conjecture states that given a linear pencil $xH + yK $ if the hermitian matrices $H$ and $K$ generate the full matrix algebra, then the pencil must have at least one simple eigenvalue for some $x$ and $y$. The conjecture is known to be false, via a single counterexample due to Laffey. A dimension-free version of the conjecture, known as the Quantum Kippenhahn Theorem, has recently been proven true non-constructively. We present a novel family of counterexamples to Kippenhahn's Conjecture, and use this family to construct concrete examples of the Quantum Kippenhahn Theorem.


title: Improving Wireless Physical Layer Security via D2D Communication

abstract: This paper investigates the physical layer security issue of a device-to-device (D2D) underlaid cellular system with a multi-antenna base station (BS) and a multi-antenna eavesdropper. To investigate the potential of D2D communication in improving network security, the conventional network without D2D users (DUs) is first considered. It is shown that the problem of maximizing the sum secrecy rate (SR) of cellular users (CUs) for this special case can be transformed to an assignment problem and optimally solved. Then, a D2D underlaid network is considered. Since the joint optimization of resource block (RB) allocation, CU-DU matching and power control is a mixed integer programming, the problem is difficult to handle. Hence, the RB assignment process is first conducted by ignoring D2D communication, and an iterative algorithm is then proposed to solve the remaining problem. Simulation results show that the sum SR of CUs can be greatly increased by D2D communication, and compared with the existing schemes, a better secrecy performance can be obtained by the proposed algorithms.