title: Mixed Membership Word Embeddings for Computational Social Science

abstract: Word embeddings improve the performance of NLP systems by revealing the hidden structural relationships between words. Despite their success in many applications, word embeddings have seen very little use in computational social science NLP tasks, presumably due to their reliance on big data, and to a lack of interpretability. I propose a probabilistic model-based word embedding method which can recover interpretable embeddings, without big data. The key insight is to leverage mixed membership modeling, in which global representations are shared, but individual entities (i.e. dictionary words) are free to use these representations to uniquely differing degrees. I show how to train the model using a combination of state-of-the-art training techniques for word embeddings and topic models. The experimental results show an improvement in predictive language modeling of up to 63% in MRR over the skip-gram, and demonstrate that the representations are beneficial for supervised learning. I illustrate the interpretability of the models with computational social science case studies on State of the Union addresses and NIPS articles.


title: Broadcasting in Noisy Radio Networks

abstract: The widely-studied radio network model [Chlamtac and Kutten, 1985] is a graph-based description that captures the inherent impact of collisions in wireless communication. In this model, the strong assumption is made that node $v$ receives a message from a neighbor if and only if exactly one of its neighbors broadcasts. We relax this assumption by introducing a new noisy radio network model in which random faults occur at senders or receivers. Specifically, for a constant noise parameter $p \in [0,1)$, either every sender has probability $p$ of transmitting noise or every receiver of a single transmission in its neighborhood has probability $p$ of receiving noise. We first study single-message broadcast algorithms in noisy radio networks and show that the Decay algorithm [Bar-Yehuda et al., 1992] remains robust in the noisy model while the diameter-linear algorithm of Gasieniec et al., 2007 does not. We give a modified version of the algorithm of Gasieniec et al., 2007 that is robust to sender and receiver faults, and extend both this modified algorithm and the Decay algorithm to robust multi-message broadcast algorithms. We next investigate the extent to which (network) coding improves throughput in noisy radio networks. We address the previously perplexing result of Alon et al. 2014 that worst case coding throughput is no better than worst case routing throughput up to constants: we show that the worst case throughput performance of coding is, in fact, superior to that of routing -- by a $\Theta(\log(n))$ gap -- provided receiver faults are introduced. However, we show that any coding or routing scheme for the noiseless setting can be transformed to be robust to sender faults with only a constant throughput overhead. These transformations imply that the results of Alon et al., 2014 carry over to noisy radio networks with sender faults.


title: Definably compact groups definable in real closed fields.II

abstract: We continue the analysis of definably compact groups definable in a real closed field $\mathcal{R}$. In [3], we proved that for every definably compact definably connected semialgebraic group $G$ over $\mathcal{R}$ there are a connected $R$-algebraic group $H$, a definable injective map $\phi$ from a generic definable neighborhood of the identity of $G$ into the group $H\left(R\right)$ of $R$-points of $H$ such that $\phi$ acts as a group homomorphism inside its domain. The above result and our study of locally definable covering homomorphisms for locally definable groups combine to prove that if such group $G$ is in addition abelian, then its o-minimal universal covering group $\widetilde{G}$ is definably isomorphic, as a locally definable group, to a connected open locally definable subgroup of the o-minimal universal covering group $\widetilde{H\left(R\right)^{0}}$ of the group $H\left(R\right)^{0}$ for some connected $R$-algebraic group $H$.


title: Spelling Correction as a Foreign Language

abstract: In this paper, we reformulated the spell correction problem as a machine translation task under the encoder-decoder framework. This reformulation enabled us to use a single model for solving the problem that is traditionally formulated as learning a language model and an error model. This model employs multi-layer recurrent neural networks as an encoder and a decoder. We demonstrate the effectiveness of this model using an internal dataset, where the training data is automatically obtained from user logs. The model offers competitive performance as compared to the state of the art methods but does not require any feature engineering nor hand tuning between models.


title: The regularized monotonicity method: detecting irregular indefinite inclusions

abstract: In inclusion detection in electrical impedance tomography, the support of perturbations (inclusion) from a known background conductivity is typically reconstructed from idealized continuum data modelled by a Neumann-to-Dirichlet map. Only few reconstruction methods apply when detecting indefinite inclusions, where the conductivity distribution has both more and less conductive parts relative to the background conductivity; one such method is the monotonicity method of Harrach, Seo, and Ullrich. We formulate the method for irregular indefinite inclusions, meaning that we make no regularity assumptions on the conductivity perturbations nor on the inclusion boundaries. We show, provided that the perturbations are bounded away from zero, that the outer support of the positive and negative parts of the inclusions can be reconstructed independently. Moreover, we formulate a regularization scheme that applies to a class of approximative measurement models, including the Complete Electrode Model, hence making the method robust against modelling error and noise. In particular, we demonstrate that for a convergent family of approximative models there exists a sequence of regularization parameters such that the outer shape of the inclusions is asymptotically exactly characterized. Finally, a peeling-type reconstruction algorithm is presented and, for the first time in literature, numerical examples of monotonicity reconstructions for indefinite inclusions are presented.


title: Compact Hausdorff MV-algebras: Structure, Duality and Projectivity

abstract: It is proved that the category $\mathbb{EM}$ of extended multisets is dually equivalent to the category $\mathbb{CHMV}$ of compact Hausdorff MV-algebras with continuous homomorphisms, which is in turn equivalent to the category of complete and completely distributive MV-algebras with homomorphisms that reflect principal maximal ideals. Urysohn-Strauss's Lemma, Gleason's Theorem, and projective objects are also investigated for topological MV-algebras.


title: $L^p$ Mapping Properties for the Cauchy-Riemann Equations on Lipschitz Domains Admitting Subelliptic Estimates

abstract: We show that on bounded Lipschitz pseudoconvex domains that admit good weight functions the $\overline{\partial}$-Neumann operators $N_q, \overline{\partial}^* N_{q}$, and $\overline{\partial} N_{q}$ are bounded on $L^p$ spaces for some values of $p$ greater than 2.


title: Detecting Recycled Commodity SoCs: Exploiting Aging-Induced SRAM PUF Unreliability

abstract: A physical unclonable function (PUF), analogous to a human fingerprint, has gained an enormous amount of attention from both academia and industry. SRAM PUF is among one of the popular silicon PUF constructions that exploits random initial power-up states from SRAM cells to extract hardware intrinsic secrets for identification and key generation applications. The advantage of SRAM PUFs is that they are widely embedded into commodity devices, thus such a PUF is obtained without a custom design and virtually free of implementation costs. A phenomenon known as `aging' alters the consistent reproducibility---reliability---of responses that can be extracted from a readout of a set of SRAM PUF cells. Similar to how a PUF exploits undesirable manufacturing randomness for generating a hardware intrinsic fingerprint, SRAM PUF unreliability induced by aging can be exploited to detect recycled commodity devices requiring no additional cost to the device. In this context, the SRAM PUF itself acts as an aging sensor by exploiting responses sensitive to aging. We use SRAMs available in pervasively deployed commercial off-the-shelf micro-controllers for experimental validations, which complements recent work demonstrated in FPGA platforms, and we present a simplified detection methodology along experimental results. We show that less than 1,000 SRAM responses are adequate to guarantee that both false acceptance rate and false rejection rate are no more than 0.001.


title: Flat bands and compactons in mechanical lattices

abstract: Local configurational symmetry in lattice structures may give rise to stationary, compact solutions, even in the absence of disorder and nonlinearity. These compact solutions are related to the existence of flat dispersion curves (bands). Nonlinearity can destabilize such compactons. One common flat-band-generating system is the 1D cross-stitch model, in which compactons were shown to exist for the photonic lattice with Kerr nonlinearity. The compactons exist there already in the linear regime and are not generally destructed by that nonlinearity. Smooth nonlinearity of this kind does not allow doing a complete stability analysis for this chain. We consider a discrete mechanical system with flat dispersion bands, in which the nonlinearity exists due to impact constraints. There, one can use the concept of the saltation matrix for the analytic construction of the monodromy matrix. Besides, we consider a smooth nonlinear lattice with linearly connected massless boxes, each containing two symmetric anharmonic oscillators. In this model, the flat bands and discrete compactons also readily emerge. This system also permits performing comprehensive stability analysis, at least in the anti-continuum limit, due to the reduced number of degrees-of-freedom. In both systems, there exist two types of localization. The first one is the complete localization, and the second one is the more common exponential localization. The latter type is associated with discrete breathers (DBs). Two principal mechanisms for the loss of stability are revealed. The first one is the possible internal instability of the symmetric and/or antisymmetric solution in the individual unit cell of the chain. One can interpret this instability pattern as internal resonance between the compacton and the DB. The other mechanism is global instability related to resonance of the stationary solution with the propagation frequencies.


title: Instrument-Armed Bandits

abstract: We extend the classic multi-armed bandit (MAB) model to the setting of noncompliance, where the arm pull is a mere instrument and the treatment applied may differ from it, which gives rise to the instrument-armed bandit (IAB) problem. The IAB setting is relevant whenever the experimental units are human since free will, ethics, and the law may prohibit unrestricted or forced application of treatment. In particular, the setting is relevant in bandit models of dynamic clinical trials and other controlled trials on human interventions. Nonetheless, the setting has not been fully investigate in the bandit literature. We show that there are various and divergent notions of regret in this setting, all of which coincide only in the classic MAB setting. We characterize the behavior of these regrets and analyze standard MAB algorithms. We argue for a particular kind of regret that captures the causal effect of treatments but show that standard MAB algorithms cannot achieve sublinear control on this regret. Instead, we develop new algorithms for the IAB problem, prove new regret bounds for them, and compare them to standard MAB algorithms in numerical examples.


title: Bounds for the rank of the finite part of operator $K$-Theory

abstract: We derive a lower and an upper bound for the rank of the finite part of operator $K$-theory groups of maximal and reduced $C^*$-algebras of finitely generated groups. The lower bound is based on the amount of polynomially growing conjugacy classes of finite order elements in the group. The upper bound is based on the amount of torsion elements in the group. We use the lower bound to give lower bounds for the structure group $S(M)$ and the group of positive scalar curvature metrics $P(M)$ for an oriented manifold $M$. We define a class of groups called "polynomially full groups" for which the upper bound and the lower bound we derive are the same. We show that the class of polynomially full groups contains all virtually nilpotent groups. As example, we give explicit formulas for the ranks of the finite parts of operator $K$-theory groups for the finitely generated abelian groups, the symmetric groups and the dihedral groups.


title: Thermal crumpling of perforated two-dimensional sheets

abstract: Thermalized elastic membranes without distant self-avoidance are believed to undergo a crumpling transition when the microscopic bending stiffness is comparable to $kT$, the scale of thermal fluctuations. Most potential physical realizations of such membranes have a bending stiffness well in excess of experimentally achievable temperatures and are therefore unlikely ever to access the crumpling regime. We propose a mechanism to tune the onset of the crumpling transition by altering the geometry and topology of the sheet itself. We carry out extensive molecular dynamics simulations of perforated sheets with a dense periodic array of holes and observe that the critical temperature is controlled by the total fraction of removed area, independent of the precise arrangement and size of the individual holes. The critical exponents for the perforated membrane are compatible with those of the standard crumpling transition.


title: First-Order Reversal Curves of the Magnetostructural Phase Transition in FeTe

abstract: We apply the first-order reversal curve (FORC) method, borrowed from studies of ferromagnetic materials, to the magneto-structural phase transition of FeTe. FORC measurements reveal two features in the hysteretic phase transition, even in samples where traditional temperature measurements display only a single transition. For Fe1.13Te, the influence of magnetic field suggests that the main feature is primarily structural while a smaller, slightly higher-temperature transition is magnetic in origin. By contrast Fe1.03Te has a single transition which shows a uniform response to magnetic field, indicating a stronger coupling of the magnetic and structural phase transitions. We also introduce uniaxial stress, which spreads the distribution width without changing the underlying energy barrier of the transformation. The work shows how FORC can help disentangle the roles of the magnetic and structural phase transitions in FeTe.


title: Generalizing the Role of Determinization in Probabilistic Planning

abstract: The stochastic shortest path problem (SSP) is a highly expressive model for probabilistic planning. The computational hardness of SSPs has sparked interest in determinization-based planners that can quickly solve large problems. However, existing methods employ a simplistic approach to determinization. In particular, they ignore the possibility of tailoring the determinization to the specific characteristics of the target domain. In this work we examine this question, by showing that learning a good determinization for a planning domain can be done efficiently and can improve performance. Moreover, we show how to directly incorporate probabilistic reasoning into the planning problem when a good determinization is not sufficient by itself. Based on these insights, we introduce a planner, FF-LAO*, that outperforms state-of-the-art probabilistic planners on several well-known competition benchmarks.


title: The Bayesian update: variational formulations and gradient flows

abstract: The Bayesian update can be viewed as a variational problem by characterizing the posterior as the minimizer of a functional. The variational viewpoint is far from new and is at the heart of popular methods for posterior approximation. However, some of its consequences seem largely unexplored. We focus on the following one: defining the posterior as the minimizer of a functional gives a natural path towards the posterior by moving in the direction of steepest descent of the functional. This idea is made precise through the theory of gradient flows, allowing to bring new tools to the study of Bayesian models and algorithms. Since the posterior may be characterized as the minimizer of different functionals, several variational formulations may be considered. We study three of them and their three associated gradient flows. We show that, in all cases, the rate of convergence of the flows to the posterior can be bounded by the geodesic convexity of the functional to be minimized. Each gradient flow naturally suggests a nonlinear diffusion with the posterior as invariant distribution. These diffusions may be discretized to build proposals for Markov chain Monte Carlo (MCMC) algorithms. By construction, the diffusions are guaranteed to satisfy a certain optimality condition, and rates of convergence are given by the convexity of the functionals. We use this observation to propose a criterion for the choice of metric in Riemannian MCMC methods.


title: Incorporating Depth into both CNN and CRF for Indoor Semantic Segmentation

abstract: To improve segmentation performance, a novel neural network architecture (termed DFCN-DCRF) is proposed, which combines an RGB-D fully convolutional neural network (DFCN) with a depth-sensitive fully-connected conditional random field (DCRF). First, a DFCN architecture which fuses depth information into the early layers and applies dilated convolution for later contextual reasoning is designed. Then, a depth-sensitive fully-connected conditional random field (DCRF) is proposed and combined with the previous DFCN to refine the preliminary result. Comparative experiments show that the proposed DFCN-DCRF has the best performance compared with most state-of-the-art methods.


title: Balanced Policy Evaluation and Learning

abstract: We present a new approach to the problems of evaluating and learning personalized decision policies from observational data of past contexts, decisions, and outcomes. Only the outcome of the enacted decision is available and the historical policy is unknown. These problems arise in personalized medicine using electronic health records and in internet advertising. Existing approaches use inverse propensity weighting (or, doubly robust versions) to make historical outcome (or, residual) data look like it were generated by a new policy being evaluated or learned. But this relies on a plug-in approach that rejects data points with a decision that disagrees with the new policy, leading to high variance estimates and ineffective learning. We propose a new, balance-based approach that too makes the data look like the new policy but does so directly by finding weights that optimize for balance between the weighted data and the target policy in the given, finite sample, which is equivalent to minimizing worst-case or posterior conditional mean square error. Our policy learner proceeds as a two-level optimization problem over policies and weights. We demonstrate that this approach markedly outperforms existing ones both in evaluation and learning, which is unsurprising given the wider support of balance-based weights. We establish extensive theoretical consistency guarantees and regret bounds that support this empirical success.


title: Polynomial control on stability, inversion and powers of matrices on simple graphs

abstract: Spatially distributed networks of large size arise in a variety of science and engineering problems, such as wireless sensor networks and smart power grids. Most of their features can be described by properties of their state-space matrices whose entries have indices in the vertex set of a graph. In this paper, we introduce novel % Banach algebras of Beurling type that contain matrices on a connected simple graph having polynomial off-diagonal decay, and we show that they are Banach subalgebras of ${\mathcal B}(\ell^p), 1\le p\le \infty$, the space of all bounded operators on the space $\ell^p$ of all $p$-summable sequences. The $\ell^p$-stability of state-space matrices is an essential hypothesis for the robustness of spatially distributed networks. In this paper, we establish the equivalence among $\ell^p$-stabilities of matrices in Beurling algebras for different exponents $1\le p\le \infty$, with quantitative analysis for the lower stability bounds. Admission of norm-control inversion plays a crucial role in some engineering practice. In this paper, we prove that matrices in Beurling subalgebras of ${\mathcal B}(\ell^2)$ have norm-controlled inversion and we find a norm-controlled polynomial with close to optimal degree. Polynomial estimate to powers of matrices is important for numerical implementation of spatially distributed networks. In this paper, we apply our results on norm-controlled inversion to obtain a polynomial estimate to powers of matrices in Beurling algebras. The polynomial estimate is a noncommutative extension about convolution powers of a complex function and is applicable to estimate the probability of hopping from one agent to another agent in a stationary Markov chain on a spatially distributed network.


title: DeepMasterPrints: Generating MasterPrints for Dictionary Attacks via Latent Variable Evolution

abstract: Recent research has demonstrated the vulnerability of fingerprint recognition systems to dictionary attacks based on MasterPrints. MasterPrints are real or synthetic fingerprints that can fortuitously match with a large number of fingerprints thereby undermining the security afforded by fingerprint systems. Previous work by Roy et al. generated synthetic MasterPrints at the feature-level. In this work we generate complete image-level MasterPrints known as DeepMasterPrints, whose attack accuracy is found to be much superior than that of previous methods. The proposed method, referred to as Latent Variable Evolution, is based on training a Generative Adversarial Network on a set of real fingerprint images. Stochastic search in the form of the Covariance Matrix Adaptation Evolution Strategy is then used to search for latent input variables to the generator network that can maximize the number of impostor matches as assessed by a fingerprint recognizer. Experiments convey the efficacy of the proposed method in generating DeepMasterPrints. The underlying method is likely to have broad applications in fingerprint security as well as fingerprint synthesis.


title: Modeling the Dynamics of Glacial Cycles

abstract: This article is concerned with the dynamics of glacial cycles observed in the geological record of the Pleistocene Epoch. It focuses on a conceptual model proposed by Maasch and Saltzman [J. Geophys. Res.,95, D2 (1990), pp. 1955-1963], which is based on physical arguments and emphasizes the role of atmospheric CO2 in the generation and persistence of periodic orbits (limit cycles). The model consists of three ordinary differential equations with four parameters for the anomalies of the total global ice mass, the atmospheric CO2 concentration, and the volume of the North Atlantic Deep Water (NADW). In this article, it is shown that a simplified two-dimensional symmetric version displays many of the essential features of the full model, including equilibrium states, limit cycles, their basic bifurcations, and a Bogdanov-Takens point that serves as an organizing center for the local and global dynamics. Also, symmetry breaking splits the Bogdanov-Takens point into two, with different local dynamics in their neighborhoods.


title: Entanglement without indistinguishability: Routing of coupling-induced path-entangled photon pairs

abstract: Realizing an on-chip reconfigurable source of path-entangled photons is of critical importance for the advancement of quantum information processing and networking. Achieving this goal has proven challenging to date. We present an on-chip scheme for the deterministic creation of co-propagating or counter-propagating path-entangled photon pairs that can be routed in multiple configurations by tuning a classical parameter. The simplest manifestation of this approach makes use of two \textit{coupled} waveguides: a \textit{nonlinear} waveguide that produces photon pairs via spontaneous parametric downconversion from an externally incident unguided optical pump, and an auxiliary \textit{linear} waveguide. Although the photon pairs are born in only one waveguide, which alone cannot create path-entanglement, linear coupling over an extended length to the passive waveguide introduces unexpected indistinguishability that induces path-entanglement. Tuning of the classical pump spatial profile allows routing the photon pairs over all possible configurations. The proposed device is a building block for future quantum-optical networks.


title: Plasmon modes in graphene-GaAs heterostructures

abstract: We investigate the plasmon dispersion relation and damping rate of collective excitations in a double-layer system consisting of bilayer graphene and GaAs quantum well, separated by a distance, at zero temperature with no interlayer tunneling. We use the random-phase-approximation dielectric function and take into account the nonhomogeneity of the dielectric background of the system. We show that the plasmon frequencies and damping rates depend considerably on interlayer correlation parameters, electron densities and dielectric constants of the contacting media.


title: Enhanced nonlinear frequency conversion and Purcell enhancement at exceptional points

abstract: We derive analytical formulas quantifying radiative emission from subwavelength emitters embedded in triply resonant nonlinear $\chi^{(2)}$ cavities supporting exceptional points (EP) made of dark and leaky modes. We show that the up-converted radiation rate in such a system can be greatly enhanced---by up to two orders of magnitude---compared to typical Purcell factors achievable in non-degenerate cavities, for both monochromatic and broadband emitters. We provide a proof-of-concept demonstration by studying an inverse-designed 2D photonic-crystal slab that supports an EP formed out of a Dirac cone at the emission frequency and a phase-matched, leaky-mode resonance at the second harmonic frequency.


title: A FEL Based on a Superlattice

abstract: The motion and photon emission of electrons in a superlattice may be described as in an undulator. Therefore, there is a close analogy between ballistic electrons in a superlattice and electrons in a free electron laser (FEL). Touching upon this analogy the intensity of photon emission in the IR region and the gain are calculated. It is shown that the amplification can be significant, reaching tens of percent.


title: On slowly rotating axisymmetric solutions of the Einstein-Euler equations

abstract: In recent works we have constructed axisymmetric solutions to the Euler-Poisson equations which give mathematical models of slowly uniformly rotating gaseous stars. We try to extend this result to the study of solutions of the Einstein-Euler equations in the framework of the general theory of relativity. Although many interesting studies have been done about axisymmetric metric in the general theory of relativity, they are restricted to the region of the vacuum. Mathematically rigorous existence theorem of the axisymmetric interior solutions of the stationary metric corresponding to the energy-momentum tensor of the perfect fluid with non-zero pressure may be not yet established until now except only one found in the pioneering work by U. Heilig done in 1993. In this article, along a different approach to that of Heilig's work, axisymmetric stationary solutions of the Einstein-Euler equations are constructed near those of the Euler-Poisson equations when the speed of light is sufficiently large in the considered system of units, or, when the gravitational field is sufficiently weak.


title: Recurrent Additive Networks

abstract: We introduce recurrent additive networks (RANs), a new gated RNN which is distinguished by the use of purely additive latent state updates. At every time step, the new state is computed as a gated component-wise sum of the input and the previous state, without any of the non-linearities commonly used in RNN transition dynamics. We formally show that RAN states are weighted sums of the input vectors, and that the gates only contribute to computing the weights of these sums. Despite this relatively simple functional form, experiments demonstrate that RANs perform on par with LSTMs on benchmark language modeling problems. This result shows that many of the non-linear computations in LSTMs and related networks are not essential, at least for the problems we consider, and suggests that the gates are doing more of the computational work than previously understood.


title: Multi-cluster dynamics in $^{13}_\Lambda{\rm C}$ and analogy to clustering in $^{12}{\rm C}$

abstract: We investigate structure of $^{13}_\Lambda{\rm C}$ and discuss the difference and similarity between the structures of $^{12}{\rm C}$ and $^{13}_\Lambda{\rm C}$ by answering the questions if the linear-chain and gaslike cluster states, which are proposed to appear in $^{12}{\rm C}$, survives, or new structure states appear or not. We introduce a microscopic cluster model called, Hyper-Tohsaki-Horiuchi-Schuck-R\"opke (H-THSR) wave function, which is an extended version of the THSR wave function so as to describe $\Lambda$ hypernuclei. We obtained two bound states and two resonance (quasi-bound) states for $J^\pi=0^+$ in $^{13}_\Lambda{\rm C}$, corresponding to the four $0^+$ states in $^{12}{\rm C}$. However, the inversion of level ordering between the spectra of $^{12}{\rm C}$ and $^{13}_\Lambda{\rm C}$, i.e. that the $0_3^+$ and $0_4^+$ states in $^{13}_\Lambda{\rm C}$ correspond to the $0_4^+$ and $0_3^+$ states in $^{12}{\rm C}$, respectively, is shown to occur. The additional $\Lambda$ particle reduces sizes of the $0_2^+$ and $0_3^+$ states in $^{13}_\Lambda{\rm C}$ very much, but the shrinkage of the $0_4^+$ state is only a half of the other states. In conclusion, the Hoyle state becomes quite a compact object with ${^{9}_\Lambda{\rm Be}}+\alpha$ configuration in $^{13}_\Lambda{\rm C}$ and is no more gaslike state composed of the $3\alpha$ clusters. Instead, the $0_4^+$ state in $^{13}_\Lambda{\rm C}$, coming from the $^{12}{\rm C}(0_3^+)$ state, appears as a gaslike state composed of $\alpha+\alpha+^{5}_\Lambda{\rm He}$ configuration, i.e. the Hoyle analog state. A linear-chain state in a $\Lambda$ hypernucleus is for the first time predicted to exist as the $0_3^+$ state in $^{13}_\Lambda{\rm C}$ with more shrunk arrangement of the $3\alpha$ clusters along $z$-axis than the $3\alpha$ linear-chain configuration realized in the $^{12}{\rm C}(0_4^+)$ state.


title: Alice-Bob Peakon Systems

abstract: In this letter, we study the Alice-Bob peakon system generated from an integrable peakon system through using the strategy of the so-called Alice-Bob non-local KdV approach [13]. Non-local integrable peakon equations are obtained and shown to have peakon solutions.


title: Variance-based uncertainty relation for incompatible observers

abstract: Based on mixedness definition as M=1-tr(\r{ho}^2), we obtain a new variance-based uncertainty equality along with an inequality for Hermitian operators of a single-qubit system. The obtained uncertainty equality can be used as a measure of the system mixedness. A qubit system with feedback control is also exploited to demonstrate the new uncertainty.


title: A weak type estimate for rough singular integrals

abstract: We obtain a weak type $(1,1)$ estimate for a maximal operator associated with the classical rough homogeneous singular integrals $T_{\Omega}$. In particular, this provides a different approach to a sparse domination for $T_{\Omega}$ obtained recently by Conde-Alonso, Culiuc, Di Plinio and Ou.


title: Numerical analysis of nonlinear subdiffusion equations

abstract: We present a general framework for the rigorous numerical analysis of time-fractional nonlinear parabolic partial differential equations, with a fractional derivative of order $\alpha\in(0,1)$ in time. The framework relies on three technical tools: a fractional version of the discrete Gr\"onwall-type inequality, discrete maximal regularity, and regularity theory of nonlinear equations. We establish a general criterion for showing the fractional discrete Gr\"onwall inequality, and verify it for the L1 scheme and convolution quadrature generated by BDFs. Further, we provide a complete solution theory, e.g., existence, uniqueness and regularity, for a time-fractional diffusion equation with a Lipschitz nonlinear source term. Together with the known results of discrete maximal regularity, we derive pointwise $L^2(\Omega)$ norm error estimates for semidiscrete Galerkin finite element solutions and fully discrete solutions, which are of order $O(h^2)$ (up to a logarithmic factor) and $O(\tau^\alpha)$, respectively, without any extra regularity assumption on the solution or compatibility condition on the problem data. The sharpness of the convergence rates is supported by the numerical experiments.


title: Lower separation axioms via Borel and Baire algebras

abstract: Let $\kappa$ be an infinite regular cardinal. We define a topological space $X$ to be $T_{\kappa-Borel}$-space (resp. a $T_{\kappa-BP}$-space) if for every $x\in X$ the singleton $\{x\}$ belongs to the smallest $\kappa$-additive algebra of subsets of $X$ that contains all open sets (and all nowhere dense sets) in $X$. Each $T_1$-space is a $T_{\kappa-Borel}$-space and each $T_{\kappa-Borel}$-space is a $T_0$-space. On the other hand, $T_{\kappa-BP}$-spaces need not be $T_0$-spaces. We prove that a topological space $X$ is a $T_{\kappa-Borel}$-space (resp. a $T_{\kappa-BP}$-space) if and only if for each point $x\in X$ the singleton $\{x\}$ is the intersection of a closed set and a $G_{<\kappa}$-set in $X$ (resp. $\{x\}$ is either nowhere dense or a $G_{<\kappa}$-set in $X$). Also we present simple examples distinguishing the separation axioms $T_{\kappa-Borel}$ and $T_{\kappa-BP}$ for various infinite cardinals $\kappa$, and we relate the axioms to several known notions, which results in a quite regular two-dimensional diagram of lower separation axioms.


title: MITHRIL: Mining Sporadic Associations for Cache Prefetching

abstract: The growing pressure on cloud application scalability has accentuated storage performance as a critical bottle- neck. Although cache replacement algorithms have been extensively studied, cache prefetching - reducing latency by retrieving items before they are actually requested remains an underexplored area. Existing approaches to history-based prefetching, in particular, provide too few benefits for real systems for the resources they cost. We propose MITHRIL, a prefetching layer that efficiently exploits historical patterns in cache request associations. MITHRIL is inspired by sporadic association rule mining and only relies on the timestamps of requests. Through evaluation of 135 block-storage traces, we show that MITHRIL is effective, giving an average of a 55% hit ratio increase over LRU and PROBABILITY GRAPH, a 36% hit ratio gain over AMP at reasonable cost. We further show that MITHRIL can supplement any cache replacement algorithm and be readily integrated into existing systems. Furthermore, we demonstrate the improvement comes from MITHRIL being able to capture mid-frequency blocks.


title: Transformations of partial matchings

abstract: We consider partial matchings, which are finite graphs consisting of edges and vertices of degree zero or one. We consider transformations between two states of partial matchings. We introduce a method of presenting a transformation between partial matchings. We introduce the notion of the lattice presentation of a partial matching, and the lattice polytope associated with a pair of lattice presentations, and we investigate transformations with minimal area.


title: Ergodicity of stochastic differential equations with jumps and singular coefficients

abstract: We show the strong well-posedness of SDEs driven by general multiplicative L\'evy noises with Sobolev diffusion and jump coefficients and integrable drift. Moreover, we also study the strong Feller property, irreducibility as well as the exponential ergodicity of the corresponding semigroup when the coefficients are time-independent and singular dissipative. In particular, the large jump is allowed in the equation. To achieve our main results, we present a general approach for treating the SDEs with jumps and singular coefficients so that one just needs to focus on Krylov's {\it apriori} estimates for SDEs.


title: 3D quantum Hall effect of Fermi arcs in topological semimetals

abstract: The quantum Hall effect is usually observed in 2D systems. We show that the Fermi arcs can give rise to a distinctive 3D quantum Hall effect in topological semimetals. Because of the topological constraint, the Fermi arc at a single surface has an open Fermi surface, which cannot host the quantum Hall effect. Via a "wormhole" tunneling assisted by the Weyl nodes, the Fermi arcs at opposite surfaces can form a complete Fermi loop and support the quantum Hall effect. The edge states of the Fermi arcs show a unique 3D distribution, giving an example of (d-2)-dimensional boundary states. This is distinctly different from the surface-state quantum Hall effect from a single surface of topological insulator. As the Fermi energy sweeps through the Weyl nodes, the sheet Hall conductivity evolves from the 1/B dependence to quantized plateaus at the Weyl nodes. This behavior can be realized by tuning gate voltages in a slab of topological semimetal, such as the TaAs family, Cd$_3$As$_2$, or Na$_3$Bi. This work will be instructive not only for searching transport signatures of the Fermi arcs but also for exploring novel electron gases in other topological phases of matter.


title: Convergence of backpropagation with momentum for network architectures with skip connections

abstract: We study a class of deep neural networks with networks that form a directed acyclic graph (DAG). For backpropagation defined by gradient descent with adaptive momentum, we show weights converge for a large class of nonlinear activation functions. The proof generalizes the results of Wu et al. (2008) who showed convergence for a feed forward network with one hidden layer. For an example of the effectiveness of DAG architectures, we describe an example of compression through an autoencoder, and compare against sequential feed forward networks under several metrics.


title: A type N radiation field solution with $\Lambda<0$ in a curved space-time and closed time-like curves

abstract: An anti-de Sitter background four-dimensional type N solution of the Einstein's field equations, is presented. The matter-energy content pure radiation field satisfies the null energy condition (NEC), and the metric is free-from curvature divergence. In addition, the metric admits a non-expanding, non-twisting and shear-free geodesic null congruence which is not covariantly constant. The space-time admits closed time-like curves which appear after a certain instant of time in a causally well-behaved manner. Finally, the physical interpretation of the solution, based on the study of the equation of the geodesics deviation, is analyzed.


title: Bose-Einstein correlations in perturbative QCD: $v_n$ dependence on multiplicity

abstract: In this paper we study the dependence of Bose-Einstein correlations on the multiplicity of an event. We found that events with large multiplicity, stem from the production of several parton showers, while the additional production of small multiplicity in the central rapidity region (central diffraction), gives a negligible contribution due to emission of soft gluons, that leads to the Sudakov suppression of the exclusive production of two gluon jets. Hence, the Bose-Einstein correlation is the main source of the azimuthal angle correlations which generates $v_n$ with odd and even $n$. We found, that without this suppression, the measurement of an event with given multipilicity, yields $v_{n,n} < 0$ for odd $n$. It appears that in hadron-nucleus and nucleus-nucleus collisions, the Bose-Einstein correlations do not depend on multiplicity, while for hadron-hadron scattering, such dependence can be considerable. We proposed a simple Kharzeev-Levin-Nardi (KLN) type model, to describe the dependence of azimuthal angle correlations on the centrality of the event, in ion-ion collisions.


title: Homogenization of multiscale Maxwell wave equations

abstract: We study homogenization of multiscale Maxwell wave equation that depends on $n$ separable microscopic scales in a domain $D\subset{\mathbb R}^d$ on a finite time interval $(0,T)$. Due to the non-compactness of the embedding of $H_0(\curl,D)$ in $L^2(D)^d$, homogenization of Maxwell wave equation can be significantly more complicated than that of scalar wave equations in the $H^1(D)$ setting, and requires analysis uniquely for Maxwell wave equations. We employ multiscale convergence. The homogenized Maxwell wave equation and the initial condition are deduced from the multiscale homogenized equation. When the coefficient of the second order time derivative in the multiscale equation depends on the microscopic scales, the derivation is significantly more complicated, comparing to scalar wave equations, due to the corrector terms for the solution $\ue$ of the multiscale equation in the $L^2(D)^d$ norm, which do not appear in the $H^1(D)$ setting. For two scale equations, we derive an explicit homogenization error estimate for the case where the solution $u_0$ of the homogenized equation belongs to $L^\infty((0,T);H^1(\curl,D))$. When $u_0$ only belongs to a weaker regularity space $L^\infty((0,T);H^s(\curl,D))$ for $0<s<1$, we contribute an approach to deduce a new homogenization error in this case, which depends on $s$. For general multiscale problems, a corrector is derived albeit without an explicit homogenization error estimate. These correctors and homogenization errors play an essential role in deriving numerical correctors for approximating the solutions to the multiscale problems numerically, as considered in our forthcoming publication.


title: On asymptotically minimax nonparametric detection of signal in Gaussian white noise

abstract: For the problem of nonparametric detection of signal in Gaussian white noise we point out strong asymptotically minimax tests. The sets of alternatives are a ball in Besov space $B^r_{2\infty}$ with "small" balls in $L_2$ removed.


title: Equating $k$ Maximum Degrees in Graphs without Short Cycles

abstract: For an integer $k$ at least $2$, and a graph $G$, let $f_k(G)$ be the minimum cardinality of a set $X$ of vertices of $G$ such that $G-X$ has either $k$ vertices of maximum degree or order less than $k$. Caro and Yuster (Discrete Mathematics 310 (2010) 742-747) conjectured that, for every $k$, there is a constant $c_k$ such that $f_k(G)\leq c_k \sqrt{n(G)}$ for every graph $G$. Verifying a conjecture of Caro, Lauri, and Zarb (arXiv:1704.08472v1), we show the best possible result that, if $t$ is a positive integer, and $F$ is a forest of order at most $\frac{1}{6}\left(t^3+6t^2+17t+12\right)$, then $f_2(F)\leq t$. We study $f_3(F)$ for forests $F$ in more detail obtaining similar almost tight results, and we establish upper bounds on $f_k(G)$ for graphs $G$ of girth at least $5$. For graphs $G$ of girth more than $2p$, for $p$ at least $3$, our results imply $f_k(G)=O\left(n(G)^{\frac{p+1}{3p}}\right)$. Finally, we show that, for every fixed $k$, and every given forest $F$, the value of $f_k(F)$ can be determined in polynomial time.


title: Finding $K$ Contingency List in Power Networks using a New Model of Dependency

abstract: Smart grid systems are composed of power and communication network components. The components in either network exhibit complex dependencies on components in its own as well as the other network to drive their functionality. Existing, models fail to capture these complex dependencies. In this paper, we restrict to the dependencies in the power network and propose the Multi-scale Implicative Interdependency Relation (MIIR) model that address the existing limitations. A formal description of the model along with its working dynamics and a brief validation with respect to the 2011 Southwest blackout are provided. Utilizing the MIIR model, the $K$ Contingency List problem is proposed. For a given time instant, the problem solves for a set of $K$ entities in a power network which when failed at that time instant would cause the maximum number of entities to fail eventually. Owing to the problem being NP-complete we devised a Mixed Integer Program (MIP) to obtain the optimal solution and a polynomial time sub-optimal heuristic. The efficacy of the heuristic with respect to the MIP is compared by using different bus system data. In general, the heuristic is shown to provide near optimal solution at a much faster time than the MIP.


title: Algebraic Aspects of Conditional Independence and Graphical Models

abstract: This chapter of the forthcoming Handbook of Graphical Models contains an overview of basic theorems and techniques from algebraic geometry and how they can be applied to the study of conditional independence and graphical models. It also introduces binomial ideals and some ideas from real algebraic geometry. When random variables are discrete or Gaussian, tools from computational algebraic geometry can be used to understand implications between conditional independence statements. This is accomplished by computing primary decompositions of conditional independence ideals. As examples the chapter presents in detail the graphical model of a four cycle and the intersection axiom, a certain implication of conditional independence statements. Another important problem in the area is to determine all constraints on a graphical model, for example, equations determined by trek separation. The full set of equality constraints can be determined by computing the model's vanishing ideal. The chapter illustrates these techniques and ideas with examples from the literature and provides references for further reading.


title: Frenetic bounds on the entropy production

abstract: We show that under local detailed balance the expected entropy production rate is always bounded in terms of the dynamical activity. The activity refers to the time-symmetric contribution in the action functional for path-space probabilities and relates to escape rates and unoriented traffic. Under global detailed balance we get a lower bound on the decrease of free energy which is known from gradient flow analysis. For stationary driven systems we recover some of the recently studied "uncertainty" relations for the entropy production, appearing in studies about the effectiveness of mesoscopic machines and that refine the positivity of the entropy production rate by providing lower bounds in terms of a positive and even function of the current(s). We extend these lower bounds for the entropy production rate to include underdamped diffusions.


title: On the impact of quantum computing technology on future developments in high-performance scientific computing

abstract: Quantum computing technologies have become a hot topic in academia and industry receiving much attention and financial support from all sides. Building a quantum computer that can be used practically is in itself an outstanding challenge that has become the 'new race to the moon'. Next to researchers and vendors of future computing technologies, national authorities are showing strong interest in maturing this technology due to its known potential to break many of today's encryption techniques, which would have significant impact on our society. It is however quite likely that quantum computing has beneficial impact on many computational disciplines. In this article we describe our vision of future developments in scientific computing that would be enabled by the advent of software-programmable quantum computers. We thereby assume that quantum computers will form part of a hybrid accelerated computing platform like GPUs and co-processor cards do today. In particular, we address the potential of quantum algorithms to bring major breakthroughs in applied mathematics and its applications. Finally, we give several examples that demonstrate the possible impact of quantum-accelerated scientific computing on society.


title: Unfolding Hidden Barriers by Active Enhanced Sampling

abstract: Collective variable (CV) or order parameter based enhanced sampling algorithms have achieved great success due to their ability to efficiently explore the rough potential energy landscapes of complex systems. However, the degeneracy of microscopic configurations, originating from the orthogonal space perpendicular to the CVs, is likely to shadow "hidden barriers" and greatly reduce the efficiency of CV-based sampling. Here we demonstrate that systematic machine learning CV, through enhanced sampling, can iteratively lift such degeneracies on the fly. We introduce an active learning scheme that consists of a parametric CV learner based on deep neural network and a CV-based enhanced sampler. Our active enhanced sampling (AES) algorithm is capable of identifying the least informative regions based on a historical sample, forming a positive feedback loop between the CV learner and sampler. This approach is able to globally preserve kinetic characteristics by incrementally enhancing both sample completeness and CV quality.


title: An Empirical Scaling formula for fragments production in projectile fragmentation reactions

abstract: A scaling phenomenon in the cross section for fragments has been found in the projectile fragmentation reaction, and an empirical scaling formula is proposed by considering the dependence of cross section on the size and asymmetry of the reaction system and the fragment itself. Furthermore, the empirical scaling formula is used to predict the production of fragment in the $^{68}$Ni/$^{69}$Cu/$^{72}$Zn + $^9$Be reactions around 90$A$ MeV. Compared to the results calculated by the statistical abrasion ablation model and the {\sc epax3} parameterizations, the empirical scaling formula can better reproduce the measured fragments. The empirical scaling formula can be used to predict the yield for fragment in projectile fragmentation reaction.


title: Near Field Scanning Optical Imaging of Gold Nanoparticles in the Sub-Wavelength Limit

abstract: The near-field scanning optical microscopic (NSOM) imaging of Au nanoparticles with size in the sub-wavelength limit (<wavelength/2N.A.) is reported. The NSOM imaging technique can resolve the objects which is beyond the scope of optical microscope using visible light (wavelength=500 nm) with objectives having a numerical aperture (N.A.) close to unity. The role of evanescent waves which is an exponentially decaying field with higher momenta i.e., lower wavelengths compared to that of normal light, in the metal dielectric interface is realized for imaging of noble metal nanostructures with sub-wavelength dimension in the near field. However, the confined light with components of evanescent waves, emanating from the NSOM probe, interacts with the oscillating dipoles present in the sub-diffraction limited nanostructures and produce propagating waves, which can be recorded by the far field detector. The light-matter interactions of Au nanoparticles of diameters in the range of 10-150 nm probed by the NSOM technique with a visible excitation of 532 nm are reported. The strong surface plasmon resonance (SPR) related absorption of Au nanoparticles is envisaged for explaining the contrast variations in the recorded NSOM images.


title: A characterization of high order freeness for product arrangements and answers to Holm's questions

abstract: An m-free hyperplane arrangement is a generalization of a free arrangement. Holm asked the following two questions: (1)Does m-free imply (m+1)-free for any arrangement? (2)Are all arrangements m-free for m large enough? In this paper, we characterize m-freeness for product arrangements, while we prove that all localizations of an m-free arrangement are m-free. From these results, we give answers to Holm's questions.


title: Orbits of irreducible binary forms over GF$(p)$

abstract: In this note I give a formula for calculating the number of orbits of irreducible binary forms of degree $n$ over GF$(p)$ under the action of GL$(2,p)$. This formula has applications to the classification of class two groups of exponent $p$ with derived groups of order $p^2$.


title: More results on the distance (signless) Laplacian eigenvalues of graphs

abstract: Let $G$ be a connected graph with vertex set $V(G)$ and edge set $E(G)$. Let $Tr(G)$ be the diagonal matrix of vertex transmissions of $G$ and $D(G)$ be the distance matrix of $G$. The distance Laplacian matrix of $G$ is defined as $\mathcal{L}(G)=Tr(G)-D(G)$. The distance signless Laplacian matrix of $G$ is defined as $\mathcal{Q}(G)=Tr(G)+D(G)$. In this paper, we give a lower bound on the distance Laplacian spectral radius in terms of $D_1$, as a consequence, we show that $\partial_1^L(G)\geq n+\lceil\frac{n}{\omega}\rceil$ where $\omega$ is the clique number of $G$. Furthermore, we give some graft transformations, by using them, we characterize the extremal graph attains the maximum distance spectral radius in terms of $n$ and $\omega$. Moreover, we also give bounds on the distance signless Laplacian eigenvalues of $G$, and give a confirmation on a conjecture due to Aouchiche and Hansen.


title: Large-Scale Classification of Structured Objects using a CRF with Deep Class Embedding

abstract: This paper presents a novel deep learning architecture to classify structured objects in datasets with a large number of visually similar categories. We model sequences of images as linear-chain CRFs, and jointly learn the parameters from both local-visual features and neighboring classes. The visual features are computed by convolutional layers, and the class embeddings are learned by factorizing the CRF pairwise potential matrix. This forms a highly nonlinear objective function which is trained by optimizing a local likelihood approximation with batch-normalization. This model overcomes the difficulties of existing CRF methods to learn the contextual relationships thoroughly when there is a large number of classes and the data is sparse. The performance of the proposed method is illustrated on a huge dataset that contains images of retail-store product displays, taken in varying settings and viewpoints, and shows significantly improved results compared to linear CRF modeling and unnormalized likelihood optimization.


title: Chern classes and Gromov--Witten theory of projective bundles

abstract: We prove that the Gromov--Witten theory (GWT) of a projective bundle can be determined by the Chern classes and the GWT of the base. It completely answers a question raised in a previous paper (arXiv:1607.00740). Its consequences include that the GWT of the blow-up of X at a smooth subvariety Z is uniquely determined by GWT of X, Z plus some topological data.


title: Generative Partition Networks for Multi-Person Pose Estimation

abstract: This paper proposes a new Generative Partition Network (GPN) to address the challenging multi-person pose estimation problem. Different from existing models that are either completely top-down or bottom-up, the proposed GPN introduces a novel strategy--it generates partitions for multiple persons from their global joint candidates and infers instance-specific joint configurations simultaneously. The GPN is favorably featured by low complexity and high accuracy of joint detection and re-organization. In particular, GPN designs a generative model that performs one feed-forward pass to efficiently generate robust person detections with joint partitions, relying on dense regressions from global joint candidates in an embedding space parameterized by centroids of persons. In addition, GPN formulates the inference procedure for joint configurations of human poses as a graph partition problem, and conducts local optimization for each person detection with reliable global affinity cues, leading to complexity reduction and performance improvement. GPN is implemented with the Hourglass architecture as the backbone network to simultaneously learn joint detector and dense regressor. Extensive experiments on benchmarks MPII Human Pose Multi-Person, extended PASCAL-Person-Part, and WAF, show the efficiency of GPN with new state-of-the-art performance.


title: Observation of surface plasmon polaritons in 2D electron gas of surface electron accumulation in InN nanostructures

abstract: Recently, heavily doped semiconductors are emerging as an alternate for low loss plasmonic materials. InN, belonging to the group III nitrides, possesses the unique property of surface electron accumulation (SEA) which provides two dimensional electron gas (2DEG) system. In this report, we demonstrated the surface plasmon properties of InN nanoparticles originating from SEA using the real space mapping of the surface plasmon fields for the first time. The SEA is confirmed by Raman studies which are further corroborated by photoluminescence and photoemission spectroscopic studies. The frequency of 2DEG corresponding to SEA is found to be in the THz region. The periodic fringes are observed in the near-field scanning optical microscopic images of InN nanostructures. The observed fringes are attributed to the interference of propagated and back reflected surface plasmon polaritons (SPPs). The observation of SPPs is solely attributed to the 2DEG corresponding to the SEA of InN. In addition, resonance kind of behavior with the enhancement of the near-field intensity is observed in the near-field images of InN nanostructures. Observation of SPPs indicates that InN with SEA can be a promising THz plasmonic material for the light confinement.


title: Diffusive Wave in the Low Mach Limit for Non-Viscous and Heat-Conductive Gas

abstract: The low Mach number limit for one-dimensional non-isentropic compressible Navier-Stokes system without viscosity is investigated, where the density and temperature have different asymptotic states at far fields. It is proved that the solution of the system converges to a nonlinear diffusion wave globally in time as Mach number goes to zero. It is remarked that the velocity of diffusion wave is proportional with the variation of temperature. Furthermore, it is shown that the solution of compressible Navier-Stokes system also has the same phenomenon when Mach number is suitably small.


title: Learning Semantic Relatedness From Human Feedback Using Metric Learning

abstract: Assessing the degree of semantic relatedness between words is an important task with a variety of semantic applications, such as ontology learning for the Semantic Web, semantic search or query expansion. To accomplish this in an automated fashion, many relatedness measures have been proposed. However, most of these metrics only encode information contained in the underlying corpus and thus do not directly model human intuition. To solve this, we propose to utilize a metric learning approach to improve existing semantic relatedness measures by learning from additional information, such as explicit human feedback. For this, we argue to use word embeddings instead of traditional high-dimensional vector representations in order to leverage their semantic density and to reduce computational cost. We rigorously test our approach on several domains including tagging data as well as publicly available embeddings based on Wikipedia texts and navigation. Human feedback about semantic relatedness for learning and evaluation is extracted from publicly available datasets such as MEN or WS-353. We find that our method can significantly improve semantic relatedness measures by learning from additional information, such as explicit human feedback. For tagging data, we are the first to generate and study embeddings. Our results are of special interest for ontology and recommendation engineers, but also for any other researchers and practitioners of Semantic Web techniques.


title: The Do's and Don'ts for CNN-based Face Verification

abstract: While the research community appears to have developed a consensus on the methods of acquiring annotated data, design and training of CNNs, many questions still remain to be answered. In this paper, we explore the following questions that are critical to face recognition research: (i) Can we train on still images and expect the systems to work on videos? (ii) Are deeper datasets better than wider datasets? (iii) Does adding label noise lead to improvement in performance of deep networks? (iv) Is alignment needed for face recognition? We address these questions by training CNNs using CASIA-WebFace, UMDFaces, and a new video dataset and testing on YouTube- Faces, IJB-A and a disjoint portion of UMDFaces datasets. Our new data set, which will be made publicly available, has 22,075 videos and 3,735,476 human annotated frames extracted from them.


title: From Koopman-von Neumann Theory to Quantum Theory

abstract: Koopman and von Neumann (KvN) extended the Liouville equation by introducing a phase space function $S^{(K)}(q,p,t)$ whose physical meaning is unknown. We show that a different $S(q,p,t)$, with well-defined physical meaning, may be introduced without destroying the attractive "quantum-like" mathematical features of the KvN theory. This new $S(q,p,t)$ is the classical action expressed in phase space coordinates. It defines a mapping between observables and operators which preserves the Lie bracket structure. The new evolution equation reduces to Schr\"odinger's equation if functions on phase space are reduced to functions on configuration space. This new kind of "quantization" does not only establish a correspondence between observables and operators, but provides in addition a derivation of quantum operators and evolution equations from corresponding classical entities. It is performed by replacing $\frac{\partial}{\partial p}$ by $0$ and $p$ by $\frac{\hbar}{\imath} \frac{\partial}{\partial q}$, thus providing an explanation for the common quantization rules.


title: Direct Search Methods on Reductive Homogeneous Spaces

abstract: Direct search methods are mainly designed for use in problems with no equality constraints. However, there are many instances where the feasible set is of measure zero in the ambient space and no mesh point lies within it. There are methods for working with feasible sets that are (Riemannian) manifolds, but not all manifolds are created equal. In particular, reductive homogeneous spaces seem to be the most general space that can be conveniently optimized over. The reason is that a `law of motion' over the feasible region is also given. Examples include \Rn{n} and it's linear subspaces, Lie groups and coset manifolds such as Grassmannians and Stiefel manifolds. These are important arenas for optimization, for example, in the areas of image processing and data mining. We demonstrate optimization procedures over general reductive homogeneous spaces utilizing maps from the tangent space to the manifold. A concrete implementation of the probabilistic descent direct search method is shown. This is then extended to a procedure that works solely with the manifold elements, eliminating the need for the use of the tangent space.


title: Sketched Answer Set Programming

abstract: Answer Set Programming (ASP) is a powerful modeling formalism for combinatorial problems. However, writing ASP models is not trivial. We propose a novel method, called Sketched Answer Set Programming (SkASP), aiming at supporting the user in resolving this issue. The user writes an ASP program while marking uncertain parts open with question marks. In addition, the user provides a number of positive and negative examples of the desired program behaviour. The sketched model is rewritten into another ASP program, which is solved by traditional methods. As a result, the user obtains a functional and reusable ASP program modelling her problem. We evaluate our approach on 21 well known puzzles and combinatorial problems inspired by Karp's 21 NP-complete problems and demonstrate a use-case for a database application based on ASP.


title: A method for getting well-defined coupling constant in all region

abstract: In this work, a way starting from beta function is presented for obtaining well-defined coupling constant in UV and IR region. In the approach presented here, obvious singularity is removed, and asymptotic behaviour is reserved fully and manifestly. Also it's shown that the freezed coupling constant is independent of dimensional parameters $\Lambda$ and not sensitive to higher-loop corrections and renormalization scheme adopted. A non-dimensional function of energy scale is introduced to play the role of "fine tuning".


title: Non-Magnetic Half-Metals

abstract: Half-metals are a class of materials that are metallic only for one spin direction, and are essential for spintronics applications where one needs to read, write, store and transfer spin-data. This spin sensitivity appears to restrict them to be magnetic, and the known examples indeed are. The fabrication of real spintronic devices from such materials is often hampered, however, by stray magnetic fields, domain walls, short spin coherence times, scattering on magnetic atoms or magnetically active interfaces, and other characteristics that come along with the magnetism. The surfaces of topological insulators, or Dirac or Weyl semimetals, could be an alternative, but production of high-quality thin films without the presence of the bulk states at the Fermi level remains very challenging. Here we introduce non-magnetic half-metals and demonstrate that this state is realized in IrBiSe. Using angle-resolved photoemission spectroscopy and band structure calculations we find a record-high Dresselhaus spin-orbit splitting, fully spin-polarized remnant Fermi surfaces and a chiral 3D spin-texture, all with no magnetism present. Promising applications include using IrBiSe as a source of spin-polarized electrons, and lightly doped IrBiSe is expected to generate electric-field-controlled spin-polarized currents, free from back scattering, and could host triplet superconductivity.

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


title: Decoherence of the radiation from an accelerated quantum source

abstract: Decoherence is the process via which quantum superpositions states are reduced to classical mixtures. Decoherence has been predicted for relativistically accelerated quantum systems, however examples to date have involved restricting the detected field modes to particular regions of space-time. If the global state over all space-time is measured then unitarity returns and the decoherence is removed. Here we study a decoherence effect associated with accelerated systems that cannot be explained in this way. In particular we study a uniformly accelerated source of a quantum field state - a single-mode squeezer. Even though the initial state of the field is vacuum (a pure state) and the interaction with the quantum source in the accelerated frame is unitary, we find that the final state detected by inertial observers is decohered, i.e. in a mixed state. This unexpected result may indicate new directions in resolving inconsistencies between relativity and quantum theory. We extend this result to a two-mode state and find entanglement is also decohered.


title: Separability and entanglement in the Hilbert space reference frames related through the generic unitary transform for four level system

abstract: Quantum correlations in the state of four-level atom are investigated by using generic unitary transforms of the classical (diagonal) density matrix. Partial cases of pure state, $X$-state, Werner state are studied in details. The geometrical meaning of unitary Hilbert reference-frame rotations generating entanglement in the initially separable state is discussed. Characteristics of the entanglement in terms of concurrence, entropy and negativity are obtained as functions of the unitary matrix rotating the reference frame.


title: On uniquely k-list colorable planar graphs, graphs on surfaces, and regular graphs

abstract: A graph $G$ is called uniquely k-list colorable (U$k$LC) if there exists a list of colors on its vertices, say $L=\lbrace S_v \mid v \in V(G) \rbrace $, each of size $k$, such that there is a unique proper list coloring of $G$ from this list of colors. A graph $G$ is said to have property $M(k)$ if it is not uniquely $k$-list colorable. Mahmoodian and Mahdian characterized all graphs with property $M(2)$. For $k\geq 3$ property $M(k)$ has been studied only for multipartite graphs. Here we find bounds on $M(k)$ for graphs embedded on surfaces, and obtain new results on planar graphs. We begin a general study of bounds on $M(k)$ for regular graphs, as well as for graphs with varying list sizes.


title: Quantum-coherent dynamics in photosynthetic charge separation revealed by wavelet analysis

abstract: Experimental/theoretical evidence for sustained vibration-assisted electronic (vibronic) coherence in the Photosystem II Reaction Center (PSII RC) indicates that photosynthetic solar-energy conversion might be optimized through the interplay of electronic and vibrational quantum dynamics. This evidence has been obtained by investigating the primary charge separation process in the PSII RC by two-dimensional electronic spectroscopy (2DES) and Redfield modeling of the experimental data. However, while conventional Fourier transform analysis of the 2DES data allows oscillatory signatures of vibronic coherence to be identified in the frequency domain in the form of static 2D frequency maps, the real-time evolution of the coherences is lost. Here we apply for the first time wavelet analysis to the PSII RC 2DES data to obtain time-resolved 2D frequency maps. These maps allow us to demonstrate that i) coherence between the excitons initiating the two different charge separation pathways is active for more than 500 fs, and ii) coherence between exciton and charge-transfer states, the reactant and product of the charge separation reaction, respectively, is active for at least 1 ps. These findings imply that the PSII RC employs coherence i) to sample competing electron transfer pathways, and ii) to perform directed, ultrafast and efficient electron transfer.


title: Optical kinks and kink-kink and kink-pulse interactions in resonant two-level media

abstract: An optical kink is a shock-wave-like field structure which can appear in a resonant two-level medium as a result of the nonlinear process of self-steepening. We numerically simulate this process using an adiabatically switching waveform as an input and confirm the self-similarity of resulting kinks. The analysis is also applicable to a more general waveform with a decaying trailing edge which we call a kinklike pulse. We study in detail collisions of kinks with other kinks and ultrashort pulses and demonstrate the possibility to control kink speed by changing the parameters of counterpropagating fields. The effects considered can be treated as belonging to a wide class of unexplored phenomena in the regime of incoherent light-matter interaction.


title: Powerful sets: a generalisation of binary matroids

abstract: A set $S\subseteq\{0,1\}^E$ of binary vectors, with positions indexed by $E$, is said to be a \textit{powerful code} if, for all $X\subseteq E$, the number of vectors in $S$ that are zero in the positions indexed by $X$ is a power of 2. By treating binary vectors as characteristic vectors of subsets of $E$, we say that a set $S\subseteq2^E$ of subsets of $E$ is a \textit{powerful set} if the set of characteristic vectors of sets in $S$ is a powerful code. Powerful sets (codes) include cocircuit spaces of binary matroids (equivalently, linear codes over $\mathbb{F}_2$), but much more besides. Our motivation is that, to each powerful set, there is an associated nonnegative-integer-valued rank function (by a construction of Farr), although it does not in general satisfy all the matroid rank axioms. In this paper we investigate the combinatorial properties of powerful sets. We prove fundamental results on special elements (loops, coloops, frames, near-frames, and stars), their associated types of single-element extensions, various ways of combining powerful sets to get new ones, and constructions of nonlinear powerful sets. We show that every powerful set is determined by its clutter of minimal nonzero members. Finally, we show that the number of powerful sets is doubly exponential, and hence that almost all powerful sets are nonlinear.


title: Gradient weighted norm inequalities for very weak solutions of linear parabolic equations with BMO coefficients

abstract: In this paper, we prove the Lorentz space $L^{q,p}$-estimates for gradients of very weak solutions to the linear parabolic equations with $\mathbf{A}_q$-weights $$u_t-\operatorname{div}(A(x,t)\nabla u)=\operatorname{div}(F),$$ in a bounded domain $\Omega\times (0,T)\subset\mathbb{R}^{N+1}$, where $A$ has a small mean oscillation, and $\Omega$ is a Lipchistz domain with a small Lipschitz constant.


title: A Condition Analysis of the Weighted Linear Least Squares Problem Using Dual Norms

abstract: In this paper, based on the theory of adjoint operators and dual norms, we define condition numbers for a linear solution function of the weighted linear least squares problem. The explicit expressions of the normwise and componentwise condition numbers derived in this paper can be computed at low cost when the dimension of the linear function is low due to dual operator theory. Moreover, we use the augmented system to perform a componentwise perturbation analysis of the solution and residual of the weighted linear least squares problems. We also propose two efficient condition number estimators. Our numerical experiments demonstrate that our condition numbers give accurate perturbation bounds and can reveal the conditioning of individual components of the solution. Our condition number estimators are accurate as well as efficient.


title: Gradient estimates for singular quasilinear elliptic equations with measure data

abstract: In this paper, we prove $L^q$-estimates for gradients of solutions to singular quasilinear elliptic equations with measure data $$-\operatorname{div}(A(x,\nabla u))=\mu,$$ in a bounded domain $\Omega\subset\mathbb{R}^{N}$, where $A(x,\nabla u)\nabla u \asymp |\nabla u|^p$, $p\in (1,2-\frac{1}{n}]$ and $\mu$ is a Radon measure in $\Omega$


title: Exponential Capacity in an Autoencoder Neural Network with a Hidden Layer

abstract: A fundamental aspect of limitations in learning any computation in neural architectures is characterizing their optimal capacities. An important, widely-used neural architecture is known as autoencoders where the network reconstructs the input at the output layer via a representation at a hidden layer. Even though capacities of several neural architectures have been addressed using statistical physics methods, the capacity of autoencoder neural networks is not well-explored. Here, we analytically show that an autoencoder network of binary neurons with a hidden layer can achieve a capacity that grows exponentially with network size. The network has fixed random weights encoding a set of dense input patterns into a dense, expanded (or \emph{overcomplete}) hidden layer representation. A set of learnable weights decodes the input patters at the output layer. We perform a mean-field approximation of the model to reduce the model to a perceptron problem with an input-output dependency. Carrying out Gardner's \emph{replica} calculation, we show that as the expansion ratio, defined as the number of hidden units over the number of input units, increases, the autoencoding capacity grows exponentially even when the sparseness or the coding level of the hidden layer representation is changed. The replica-symmetric solution is locally stable and is in good agreement with simulation results obtained using a local learning rule. In addition, the degree of symmetry between the encoding and decoding weights monotonically increases with the expansion ratio.


title: A type theory for synthetic $\infty$-categories

abstract: We propose foundations for a synthetic theory of $(\infty,1)$-categories within homotopy type theory. We axiomatize a directed interval type, then define higher simplices from it and use them to probe the internal categorical structures of arbitrary types. We define Segal types, in which binary composites exist uniquely up to homotopy; this automatically ensures composition is coherently associative and unital at all dimensions. We define Rezk types, in which the categorical isomorphisms are additionally equivalent to the type-theoretic identities - a "local univalence" condition. And we define covariant fibrations, which are type families varying functorially over a Segal type, and prove a "dependent Yoneda lemma" that can be viewed as a directed form of the usual elimination rule for identity types. We conclude by studying homotopically correct adjunctions between Segal types, and showing that for a functor between Rezk types to have an adjoint is a mere proposition. To make the bookkeeping in such proofs manageable, we use a three-layered type theory with shapes, whose contexts are extended by polytopes within directed cubes, which can be abstracted over using "extension types" that generalize the path-types of cubical type theory. In an appendix, we describe the motivating semantics in the Reedy model structure on bisimplicial sets, in which our Segal and Rezk types correspond to Segal spaces and complete Segal spaces.


title: Parallel Streaming Wasserstein Barycenters

abstract: Efficiently aggregating data from different sources is a challenging problem, particularly when samples from each source are distributed differently. These differences can be inherent to the inference task or present for other reasons: sensors in a sensor network may be placed far apart, affecting their individual measurements. Conversely, it is computationally advantageous to split Bayesian inference tasks across subsets of data, but data need not be identically distributed across subsets. One principled way to fuse probability distributions is via the lens of optimal transport: the Wasserstein barycenter is a single distribution that summarizes a collection of input measures while respecting their geometry. However, computing the barycenter scales poorly and requires discretization of all input distributions and the barycenter itself. Improving on this situation, we present a scalable, communication-efficient, parallel algorithm for computing the Wasserstein barycenter of arbitrary distributions. Our algorithm can operate directly on continuous input distributions and is optimized for streaming data. Our method is even robust to nonstationary input distributions and produces a barycenter estimate that tracks the input measures over time. The algorithm is semi-discrete, needing to discretize only the barycenter estimate. To the best of our knowledge, we also provide the first bounds on the quality of the approximate barycenter as the discretization becomes finer. Finally, we demonstrate the practical effectiveness of our method, both in tracking moving distributions on a sphere, as well as in a large-scale Bayesian inference task.


title: Additive Combinatorics: A Menu of Research Problems

abstract: This text contains over three hundred specific open questions on various topics in additive combinatorics, each placed in context by reviewing all relevant results. While the primary purpose is to provide an ample supply of problems for student research, it is hopefully also useful for a wider audience. It is the author's intention to keep the material current, thus all feedback and updates are greatly appreciated.


title: Learning to Mix n-Step Returns: Generalizing lambda-Returns for Deep Reinforcement Learning

abstract: Reinforcement Learning (RL) can model complex behavior policies for goal-directed sequential decision making tasks. A hallmark of RL algorithms is Temporal Difference (TD) learning: value function for the current state is moved towards a bootstrapped target that is estimated using next state's value function. $\lambda$-returns generalize beyond 1-step returns and strike a balance between Monte Carlo and TD learning methods. While lambda-returns have been extensively studied in RL, they haven't been explored a lot in Deep RL. This paper's first contribution is an exhaustive benchmarking of lambda-returns. Although mathematically tractable, the use of exponentially decaying weighting of n-step returns based targets in lambda-returns is a rather ad-hoc design choice. Our second major contribution is that we propose a generalization of lambda-returns called Confidence-based Autodidactic Returns (CAR), wherein the RL agent learns the weighting of the n-step returns in an end-to-end manner. This allows the agent to learn to decide how much it wants to weigh the n-step returns based targets. In contrast, lambda-returns restrict RL agents to use an exponentially decaying weighting scheme. Autodidactic returns can be used for improving any RL algorithm which uses TD learning. We empirically demonstrate that using sophisticated weighted mixtures of multi-step returns (like CAR and lambda-returns) considerably outperforms the use of n-step returns. We perform our experiments on the Asynchronous Advantage Actor Critic (A3C) algorithm in the Atari 2600 domain.


title: Dielectron production in pion-nucleon reactions at intermediate energies

abstract: Dielectron production in the $\pi N$ interaction at not large energies is studied. The dominant contribution of the $\Delta$-isobar creation in the intermediate state at incident pion momenta of about 0.3-0.4 GeV$/$c is shown. The experimental distributions over the angle and effective mass $M_{e^+e_-}$ of the $e^+e^-$ pair are described satisfactorily. This stimulated us to present theoretical predictions for the $M_{e^+e_-}$ distribution in the process $\pi^- p\rightarrow ne^+e^-$ at different incident momenta, which could be verified, for example, by the HADES experiments.


title: Griffiths Singularities in the Random Quantum Ising Antiferromagnet: A Tree Tensor Network Renormalization Group Study

abstract: The antiferromagnetic Ising chain in both transverse and longitudinal magnetic fields is one of the paradigmatic models of a quantum phase transition. The antiferromagnetic system exhibits a zero-temperature critical line separating an antiferromagnetic phase and a paramagnetic phase; the critical line connects an integrable quantum critical point at zero longitudinal field and a classical first-order transition point at zero transverse field. Using a strong-disorder renormalization group method formulated as a tree tensor network, we study the zero-temperature phase of the quantum Ising chain with bond randomness. We introduce a new matrix product operator representation of high-order moments, which provides an efficient and accurate tool for determining quantum phase transitions via the Binder cumulant of the order parameter. Our results demonstrate an infinite-randomness quantum critical point in zero longitudinal field accompanied by pronounced quantum Griffiths singularities, arising from rare ordered regions with anomalously slow fluctuations inside the paramagnetic phase. The strong Griffiths effects are signaled by a large dynamical exponent $z>1$, which characterizes a power-law density of low-energy states of the localized rare regions and becomes infinite at the quantum critical point. Upon application of a longitudinal field, the quantum phase transition between the paramagnetic phase and the antiferromagnetic phase is completely destroyed. Furthermore, quantum Griffiths effects are suppressed, showing $z<1$, when the dynamics of the rare regions is hampered by the longitudinal field.


title: A spatial epidemic model with site contamination

abstract: We introduce the effect of site contamination in a model for spatial epidemic spread and show that the presence of site contamination may have a strict effect on the model in the sense that it can make an otherwise subcritical process supercritical. Each site on $\mathbb{Z}^d$ is independently assigned a random number of particles and these then perform random walks restricted to bounded regions around their home locations. At time 0, the origin is infected along with all its particles. The infection then spread in that an infected particle that jumps to a new site causes the site along with all particles located there to be infected. Also, a healthy particle that jumps to a site where infection is presents, either in that the site is infected or in the presence of infected particles, becomes infected. Particles and sites recover at rate $\lambda$ and $\gamma$, respectively, and then become susceptible to the infection again. We show that, for each given value of $\lambda$, there is a positive probability that the infection survives indefinitely if $\gamma$ is sufficiently small, and that, for each given value of $\gamma$, the infection dies out almost surely if $\lambda$ is large enough. Several open problems and modifications of the model are discussed, and some natural conjectures are supported by simulations.


title: A direct measure of free electron gas via the Kinematic Sunyaev-Zel'dovich effect in Fourier-space analysis

abstract: We present the measurement of the kinematic Sunyaev-Zel'dovich (kSZ) effect in Fourier space, rather than in real space. We measure the density-weighted pairwise kSZ power spectrum, the first use of this promising approach, by cross-correlating a cleaned Cosmic Microwave Background (CMB) temperature map, which jointly uses both Planck Release 2 and Wilkinson Microwave Anisotropy Probe nine-year data, with the two galaxy samples, CMASS and LOWZ, derived fr om the Baryon Oscillation Spectroscopic Survey (BOSS) Data Release 12. With the current data, we constrain the average optical depth $\tau$ multiplied by the ratio of the Hubble parameter at redshift $z$ and the present day, $E=H/H_0$; we find $\tau E = (3.95\pm1.62)\times10^{-5}$ for LOWZ and $\tau E = ( 1.25\pm 1.06)\times10^{-5}$ for CMASS, with the optimal angular radius of an aperture photometry filter to estimate the CMB temperature distortion associ ated with each galaxy. By repeating the pairwise kSZ power analysis for various aperture radii, we measure the optical depth as a function of aperture ra dii. While this analysis results in the kSZ signals with only evidence for a detection, ${\rm S/N}=2.54$ for LOWZ and $1.24$ for CMASS, the combination of future CMB and spectroscopic galaxy surveys should enable precision measurements. We estimate that the combination of CMB-S4 and data from DESI shoul d yield detections of the kSZ signal with ${\rm S/N}=70-100$, depending on the resolution of CMB-S4.


title: Image Segmentation by Iterative Inference from Conditional Score Estimation

abstract: Inspired by the combination of feedforward and iterative computations in the virtual cortex, and taking advantage of the ability of denoising autoencoders to estimate the score of a joint distribution, we propose a novel approach to iterative inference for capturing and exploiting the complex joint distribution of output variables conditioned on some input variables. This approach is applied to image pixel-wise segmentation, with the estimated conditional score used to perform gradient ascent towards a mode of the estimated conditional distribution. This extends previous work on score estimation by denoising autoencoders to the case of a conditional distribution, with a novel use of a corrupted feedforward predictor replacing Gaussian corruption. An advantage of this approach over more classical ways to perform iterative inference for structured outputs, like conditional random fields (CRFs), is that it is not any more necessary to define an explicit energy function linking the output variables. To keep computations tractable, such energy function parametrizations are typically fairly constrained, involving only a few neighbors of each of the output variables in each clique. We experimentally find that the proposed iterative inference from conditional score estimation by conditional denoising autoencoders performs better than comparable models based on CRFs or those not using any explicit modeling of the conditional joint distribution of outputs.


title: Monotonicity of average return probabilities for random walks in random environments

abstract: We extend a result of Lyons (2016) from fractional tiling of finite graphs to a version for infinite random graphs. The most general result is as follows. Let $\bf P$ be a unimodular probability measure on rooted networks $(G, o)$ with positive weights $w_G$ on its edges and with a percolation subgraph $H$ of $G$ with positive weights $w_H$ on its edges. Let ${\bf P}_{(G, o)}$ denote the conditional law of $H$ given $(G, o)$. Assume that $\alpha := {\bf P}_{(G, o)}\bigl[{o \in V(H)}\bigr] > 0$ is a constant $\bf P$-a.s. We show that if $\bf P$-a.s. whenever $e \in E(G)$ is adjacent to $o$, \[ {\bf E}_{(G, o)}\bigl[{w_H(e) \bigm| e \in E(H)}\bigr] {\bf P}_{(G, o)}\bigl[{e \in E(H) \bigm| o\in V(H)}\bigr] \le w_G(e) \,, \] then \[ \forall t > 0 \quad {\bf E}\bigl[{p_t(o; G)}\bigr] \le {\bf E}\bigl[{p_t(o; H) \bigm| o \in V(H)}\bigr] \,. \]


title: Demonstration of a scaling advantage for a quantum annealer over simulated annealing

abstract: The observation of an unequivocal quantum speedup remains an elusive objective for quantum computing. The D-Wave quantum annealing processors have been at the forefront of experimental attempts to address this goal, given their relatively large numbers of qubits and programmability. A complete determination of the optimal time-to-solution (TTS) using these processors has not been possible to date, preventing definitive conclusions about the presence of a scaling advantage. The main technical obstacle has been the inability to verify an optimal annealing time within the available range. Here we overcome this obstacle and present a class of problem instances for which we observe an optimal annealing time using a D-Wave 2000Q processor over a range spanning up to more than $2000$ qubits. This allows us to perform an optimal TTS benchmarking analysis and perform a comparison to several classical algorithms, including simulated annealing, spin-vector Monte Carlo, and discrete-time simulated quantum annealing. We establish the first example of a scaling advantage for an experimental quantum annealer over classical simulated annealing: we find that the D-Wave device exhibits certifiably better scaling than simulated annealing, with $95\%$ confidence, over the range of problem sizes that we can test. However, we do not find evidence for a quantum speedup: simulated quantum annealing exhibits the best scaling by a significant margin. Our construction of instance classes with verifiably optimal annealing times opens up the possibility of generating many new such classes, paving the way for further definitive assessments of scaling advantages using current and future quantum annealing devices.


title: Magnetometry via spin-mechanical coupling in levitated optomechanics

abstract: We analyze magnetometry using an optically levitated nanodiamond. We consider a configuration where a magnetic field gradient couples the mechanical oscillation of the diamond with its spin degree of freedom provided by a Nitrogen vacancy center. First, we investigate measurement of the position spectrum of the mechanical oscillator. We find that conditions of ultrahigh vacuum and feedback cooling allow a magnetic field gradient sensitivity of 1 $\mu$Tm$^{-1}$/$\sqrt{\mbox{Hz}}$. At high pressure and room temperature, this sensitivity degrades and can attain a value of the order of 100 $m$Tm$^{-1}$/$\sqrt{\mbox{Hz}}$. Subsequently, we characterize the magnetic field gradient sensitivity obtainable by maneuvering the spin degrees of freedom using Ramsey interferometry. We find that this technique can offer photon-shot noise and spin-projection noise limited magnetic field gradient sensitivity of 100 $\mu$Tm$^{-1}$/$\sqrt{\mbox{Hz}}$. We conclude that this hybrid levitated nanomechanical magnetometer provides a favorable and versatile platform for sensing applications.


title: Spectroscopy of 10 gamma-ray BL Lac objects at high redshift

abstract: We present high S/N optical spectra of 10 BL Lac objects detected at GeV energies by Fermi satellite (3FGL catalog), for which previous observations suggested that they are at relatively high redshift. The new observations, obtained at the 10 m Gran Telescopio Canarias, allowed us to find the redshift for J0814.5+2943 (z = 0.703) and we can set spectroscopic lower limit for J0008.0+4713 (z>1.659) and J1107.7+0222 (z>1.0735) on the basis of Mg II intervening absorption features. In addition we confirm the redshifts for J0505.5+0416 (z=0.423) and for J1450+5200 (z>2.470). Finally we contradict the previous z estimates for five objects (J0049.7+0237, J0243.5+7119, J0802.0+1005, J1109.4+2411, and J2116.1+3339).


title: Global existence, uniqueness and estimates of the solution to the Navier-Stokes equations

abstract: The Navier-Stokes (NS) problem consists of finding a vector-function $v$ from the Navier-Stokes equations. The solution $v$ to NS problem is defined in this paper as the solution to an integral equation. The kernel $G$ of this equation solves a linear problem which is obtained from the NS problem by dropping the nonlinear term $(v \cdot \nabla)v$. The kernel $G$ is found in closed form. Uniqueness of the solution to the integral equation is proved in a class of solutions $v$ with finite norm $N_1(v)=\sup_{\xi\in \mathbb{R}^3, t\in [0, T]}(1+|\xi|)(|v|+|\nabla v|)\le c (*)$, where $T>0$ and $C>0$ are arbitrary large fixed constants. In the same class of solutions existence of the solution is proved under some assumption. Estimate of the energy of the solution is given.


title: Quantum predictions for an unmeasured system cannot be simulated with a finite-memory classical system

abstract: We consider an ideal experiment in which unlimited nonprojective quantum measurements are sequentially performed on a system that is initially entangled with a distant one. At each step of the sequence, the measurements are randomly chosen between two. However, regardless of which measurement is chosen or which outcome is obtained, the quantum state of the pair always remains entangled. We show that the classical simulation of the reduced state of the distant system requires not only unlimited rounds of communication, but also that the distant system has infinite memory. Otherwise, a thermodynamical argument predicts heating at a distance. Our proposal can be used for experimentally ruling out nonlocal finite-memory classical models of quantum theory.


title: Analytical Methods and Field Theory for Disordered Systems

abstract: This thesis presents several aspects of the physics of disordered elastic systems and of the analytical methods used for their study. On one hand we will be interested in universal properties of avalanche processes in the statics and dynamics (at the depinning transition) of elastic interfaces of arbitrary dimension in disordered media at zero temperature. To study these questions we will use the functional renormalization group. After a review of these aspects we will more particularly present the results obtained during the thesis on (i) the spatial structure of avalanches and (ii) the correlations between avalanches. On the other hand we will be interested in static properties of directed polymers in $1+1$ dimension, and in particular in observables related to the KPZ universality class. In this context the study of exactly solvable models has recently led to important progress. After a review of these aspects we will be more particularly interested in exactly solvable models of directed polymer on the square lattice and present the results obtained during the thesis in this direction: (i) classification of Bethe ansatz exactly solvable models of directed polymer at finite temperature on the square lattice; (ii) KPZ universality for the Log-Gamma and Inverse-Beta models; (iii) KPZ universality and non-universality for the Beta model; (iv) stationary measures of the Inverse-Beta model and of related zero temperature models.


title: Development of a New Gas Puff Imaging Diagnostic on the HL-2A Tokamak

abstract: A new gas puff imaging (GPI) diagnostic has been developed on the HL-2A tokamak to study two-dimensional plasma edge turbulence in poloidal vs. radial plane. During a discharge, neutral helium or deuterium gas is puffed at the edge of the plasma through a rectangular multi-capillary nozzle to generate a gas cloud on the observing plane. Then a specially designed telescope and a high-speed camera are used to observe and photograph the emission from the neutral gas cloud. The brightness and contrast in the 2-D poloidal vs. radial frames reveal the structures and movements of the turbulence. The diagnostic was put into the first experiment during the latest campaign and successfully captured blob structures of different shapes and sizes in scrape-off layer (SOL).