title: Holographic Entanglement for Chern-Simons Terms

abstract: We derive the holographic entanglement entropy contribution from pure and mixed gravitational Chern-Simons(CS) terms in AdS$_{2k+1}$. This is done through two different methods : first, by a direct evaluation of CS action in a holographic replica geometry and second by a descent of Dong's derivation applied to the corresponding anomaly polynomial. In lower dimensions $(k=1,2)$, the formula coincides with the Wald-Tachikawa formula for black hole entropy from gravitational CS terms. New extrinsic curvature corrections appear for $k\geq 3$ : we give explicit and concise expressions for the two pure gravitational CS terms in AdS$_7$ and present various consistency checks, including agreements with the black hole entropy formula when evaluated at the bifurcation surface.


title: Graphene growth and properties on metal substrates

abstract: Graphene-metal interface as one of the interesting graphene-based objects attracts much attention from both application and fundamental science points of view. This paper gives a timely review of the recent experimental works on the growth and the electronic properties of the graphene-metal interfaces. This work makes a link between huge amount of experimental and theoretical data allowing one to understand the influence of the metallic substrate on the electronic properties of a graphene overlayer and how its properties can be modified in a controllable way. The further directions of studies and applications of the graphene-metal interfaces are discussed.


title: Strain engineering the charged-impurity-limited carrier mobility in phosphorene

abstract: We investigate, based on the tight-binding model and in the linear deformation regime, the strain dependence of the electronic band structure of phosphorene, exposed to a uniaxial strain in one of its principle directions, the normal, the armchair and the zigzag directions. We show that the electronic band structure of strained phosphorene, for experimentally accessible carrier densities and uniaxial strains, is well described by a strain-dependent decoupled electron-hole Hamiltonian. Then, employing the decoupled Hamiltonian, we consider the strain dependence of the charged-impurity-limited carrier mobility in phosphorene, for both types of carrier, arbitrary carrier density and in both armchair and zigzag directions. We show that a uniaxial tensile (compressive) strain in the normal direction enhances (weakens) the anisotropy of the carrier mobility, while a uniaxial strain in the zigzag direction acts inversely. Moreover applying a uniaxial strain in the armchair direction is shown to be ineffective on the anisotropy of the carrier mobility. These will be explained based on the effect of the strain on the carrier effective mass.


title: Who to Trust for Truthfully Maximizing Welfare?

abstract: We introduce a general approach based on \emph{selective verification} and obtain approximate mechanisms without money for maximizing the social welfare in the general domain of utilitarian voting. Having a good allocation in mind, a mechanism with verification selects few critical agents and detects, using a verification oracle, whether they have reported truthfully. If yes, the mechanism produces the desired allocation. Otherwise, the mechanism ignores any misreports and proceeds with the remaining agents. We obtain randomized truthful (or almost truthful) mechanisms without money that verify only $O(\ln m / \epsilon)$ agents, where $m$ is the number of outcomes, independently of the total number of agents, and are $(1-\epsilon)$-approximate for the social welfare. We also show that any truthful mechanism with a constant approximation ratio needs to verify $\Omega(\log m)$ agents. A remarkable property of our mechanisms is \emph{robustness}, namely that their outcome depends only on the reports of the truthful agents.


title: A Syntactic Characterization of Morita Equivalence

abstract: We characterize Morita equivalence of theories in the sense of Johnstone in terms of a new syntactic notion of a common definitional extension developed by Barrett and Halvorson for cartesian, regular, coherent, geometric and first-order theories. This provides a purely syntactic characterization of the relation between two theories that have equivalent categories of models naturally in any Grothendieck topos.


title: Phase-sensitive imaging of ferromagnetic resonance using ultrafast heat pulses

abstract: Measuring local magnetization dynamics and its spatial variation is essential for advancements in spintronics and relevant applications. Here we demonstrate a phase-sensitive imaging technique for studying patterned magnetic structures based on picosecond laser heating. With the time-resolved anomalous Nernst effect (TRANE) and extensions, we simultaneously image the dynamic magnetization and RF driving current density. The stroboscopic detection implemented in TRANE microscopy provides access to both amplitude and phase information of ferromagnetic resonance (FMR) and RF current. Using this approach, we measure the spatial variation of the Oersted driving field angle across a uniform channel. In a spatially nonuniform sample with a cross shape, a strong spatial variation for the RF current as well as FMR precession is observed. We find that both the amplitude and the phase of local FMR precession are closely related to those of the RF current.


title: CD -24_17504 revisited: a new comprehensive element abundance analysis

abstract: With [Fe/H] ~ -3.3, CD -24_17504 is a canonical metal-poor main sequence turn-off star. Though it has appeared in numerous literature studies, the most comprehensive abundance analysis for the star based on high resolution, high signal-to-noise spectra is nearly 15 years old. We present a new detailed abundance analysis for 21 elements based on combined archival Keck-HIRES and VLT-UVES spectra of the star that is higher in both spectral resolution and signal-to-noise than previous data. Our results for many elements are very similar to those of an earlier comprehensive study of the star, but we present for the first time a carbon abundance from the CH G-band feature as well as improved upper limits for neutron-capture species such as Y, Ba and Eu. In particular, we find that CD -24_17504 has [Fe/H] = -3.41, [C/Fe] = +1.10, [Sr/H] = -4.68 and [Ba/H] <= -4.46, making it a carbon enhanced metal-poor star with neutron-capture element abundances among the lowest measured in Milky Way halo stars.


title: Topological Constraints in Directed Polymer Melts

abstract: Polymers in a melt may be subject to topological constraints, as in the example of unlinked polymer rings. How to do statistical mechanics in the presence of such constraints remains a fundamental open problem. We study the effect of topological constraints on a melt of directed polymers, using simulations of a simple quasi-2D model. We find that fixing the global topology of the melt to be trivial changes the polymer conformations drastically. Polymers of length $L$ wander in the transverse direction only by a distance of order $(\ln L)^\zeta$ with $\zeta \simeq 1.5$. This is strongly suppressed in comparison with the Brownian $L^{1/2}$ scaling which holds in the absence of the topological constraint. It is also much smaller than the predictions of standard heuristic approaches - in particular the $L^{1/4}$ of a mean-field-like `array of obstacles' model - so our results present a sharp challenge to theory. Dynamics are also strongly affected by the constraints, and a tagged monomer in an infinite system performs logarithmically slow subdiffusion in the transverse direction. To cast light on the suppression of the strands' wandering, we analyse the topological complexity of subregions of the melt: the complexity is also logarithmically small, and is related to the wandering by a power law. We comment on insights the results give for 3D melts, directed and non-directed.


title: Coarse-grained description of cosmic structure from Szekeres models

abstract: We show that the full dynamical freedom of the well known Szekeres models allows for the description of elaborated 3--dimensional networks of cold dark matter structures (over--densities and/or density voids) undergoing "pancake" collapse. By reducing Einstein's field equations to a set of evolution equations, which themselves reduce in the linear limit to evolution equations for linear perturbations, we determine the dynamics of such structures, with the spatial comoving location of each structure uniquely specified by standard early Universe initial conditions. By means of a representative example we examine in detail the density contrast, the Hubble flow and peculiar velocities of structures that evolved, from linear initial data at the last scattering surface, to fully non--linear 10--20 Mpc. scale configurations today. To motivate further research, we provide a qualitative discussion on the connection of Szekeres models with linear perturbations and the pancake collapse of the Zeldovich approximation. This type of structure modelling provides a coarse grained -- but fully relativistic non--linear and non--perturbative -- description of evolving large scale cosmic structures before their virialisation, and as such it has an enormous potential for applications in cosmological research.


title: From semiclassical Strichartz estimates to uniform $L^p$ resolvent estimates on compact manifolds

abstract: We prove uniform $L^p$ resolvent estimates for the stationary damped wave operator. The uniform $L^p$ resolvent estimates for the Laplace operator on a compact smooth Riemannian manifold without boundary were first established by Dos Santos Ferreira-Kenig-Salo and advanced further by Bourgain-Shao-Sogge-Yao. Here we provide an alternative proof relying on the techniques of semiclassical Strichartz estimates. This approach allows us also to handle non-self-adjoint perturbations of the Laplacian and embeds very naturally in the semiclassical spectral analysis framework.


title: No-Scale Inflation

abstract: Supersymmetry is the most natural framework for physics above the TeV scale, and the corresponding framework for early-Universe cosmology, including inflation, is supergravity. No-scale supergravity emerges from generic string compactifications and yields a non-negative potential, and is therefore a plausible framework for constructing models of inflation. No-scale inflation yields naturally predictions similar to those of the Starobinsky model based on $R + R^2$ gravity, with a tilted spectrum of scalar perturbations: $n_s \sim 0.96$, and small values of the tensor-to-scalar perturbation ratio $r < 0.1$, as favoured by Planck and other data on the cosmic microwave background (CMB). Detailed measurements of the CMB may provide insights into the embedding of inflation within string theory as well as its links to collider physics.


title: Topological black holes in pure Gauss-Bonnet gravity and phase transitions

abstract: We study charged, static, topological black holes in pure Gauss-Bonnet gravity in asymptotically AdS space. As in general relativity, the theory possesses a unique nondegenerate AdS vacuum. It also admits charged black hole solutions which asymptotically behave as the Reissner-Nordstr\"{o}m AdS black hole. We discuss black hole thermodynamics of these black holes. Then we study phase transitions in a dual quantum field theory in four dimensions, with the St\"{u}ckelberg scalar field as an order parameter. We find in the probe limit that the black hole can develop hair below some critical temperature, which suggests a phase transition. Depending on the scalar coupling constants, the phase transition can be first or second order. Analysis of the free energy reveals that, comparing the two solutions, the hairy state is energetically favorable, thus a phase transition will occur in a dual field theory.


title: Quantum Gates and Quantum Circuits of Stock Portfolio

abstract: In quantum computation, series of quantum gates have to be arranged in a predefined sequence that led to a quantum circuit in order to solve a particular problem. What if the sequence of quantum gates is known but both the problem to be solved and the outcome of the so defined quantum circuit remain in the shadow? This is the situation of the stock market. The price time series of a portfolio of stocks are organized in braids that effectively simulate quantum gates in the hypothesis of Ising anyons quantum computational model. Following the prescriptions of Ising anyons model, 1-qubit quantum gates are constructed for portfolio composed of four stocks. Adding two additional stocks at the initial portfolio result in 2-qubits quantum gates and circuits. Hadamard gate, Pauli gates or controlled-Z gate are some of the elementary quantum gates that are identified in the stock market structure. Addition of other pairs of stocks, that eventually represent a market index, like Dow Jones industrial Average, it results in a sequence of n-qubits quantum gates that form a quantum code. Deciphering this mysterious quantum code of the stock market is an issue for future investigations.


title: Algebraic and algorithmic frameworks for optimized quantum measurements

abstract: Von Neumann projections are the main operations by which information can be extracted from the quantum to the classical realm. They are however static processes that do not adapt to the states they measure. Advances in the field of adaptive measurement have shown that this limitation can be overcome by "wrapping" the von Neumann projectors in a higher-dimensional circuit which exploits the interplay between measurement outcomes and measurement settings. Unfortunately, the design of adaptive measurement has often been ad hoc and setup-specific. We shall here develop a unified framework for designing optimized measurements. Our approach is two-fold: The first is algebraic and formulates the problem of measurement as a simple matrix diagonalization problem. The second is algorithmic and models the optimal interaction between measurement outcomes and measurement settings as a cascaded network of conditional probabilities. Finally, we demonstrate that several figures of merit, such as Bell factors, can be improved by optimized measurements. This leads us to the promising observation that measurement detectors which---taken individually---have a low quantum efficiency can be be arranged into circuits where, collectively, the limitations of inefficiency are compensated for.


title: Extension theory approach in the stability of the standing waves for the NLS equation with point interactions on a star graph

abstract: The aim of this work is to demonstrate the effectiveness of the extension theory of symmetric operators in the investigation of the stability of standing waves for the nonlinear Schr\"odinger equations with two types of non-linearities (power and logarithmic) and two types of point interactions ($\delta$- and $\delta'$-) on a star graph. Our approach allows us to overcome the use of variational techniques in the investigation of the Morse index for self-adjoint operators with non-standard boundary conditions which appear in the stability study. We also demonstrate how our method simplifies the proof of the stability results known for the NLS equation with point interactions on the line.


title: Feature Representation in Convolutional Neural Networks

abstract: Convolutional Neural Networks (CNNs) are powerful models that achieve impressive results for image classification. In addition, pre-trained CNNs are also useful for other computer vision tasks as generic feature extractors. This paper aims to gain insight into the feature aspect of CNN and demonstrate other uses of CNN features. Our results show that CNN feature maps can be used with Random Forests and SVM to yield classification results that outperforms the original CNN. A CNN that is less than optimal (e.g. not fully trained or overfitting) can also extract features for Random Forest/SVM that yield competitive classification accuracy. In contrast to the literature which uses the top-layer activations as feature representation of images for other tasks, using lower-layer features can yield better results for classification.


title: Distinguishing Hidden Markov Chains

abstract: Hidden Markov Chains (HMCs) are commonly used mathematical models of probabilistic systems. They are employed in various fields such as speech recognition, signal processing, and biological sequence analysis. We consider the problem of distinguishing two given HMCs based on an observation sequence that one of the HMCs generates. More precisely, given two HMCs and an observation sequence, a distinguishing algorithm is expected to identify the HMC that generates the observation sequence. Two HMCs are called distinguishable if for every $\varepsilon > 0$ there is a distinguishing algorithm whose error probability is less than $\varepsilon$. We show that one can decide in polynomial time whether two HMCs are distinguishable. Further, we present and analyze two distinguishing algorithms for distinguishable HMCs. The first algorithm makes a decision after processing a fixed number of observations, and it exhibits two-sided error. The second algorithm processes an unbounded number of observations, but the algorithm has only one-sided error. The error probability, for both algorithms, decays exponentially with the number of processed observations. We also provide an algorithm for distinguishing multiple HMCs. Finally, we discuss an application in stochastic runtime verification.


title: The Topology of Tile Invariants

abstract: In this note we use techniques in the topology of 2-complexes to recast some tools that have arisen in the study of planar tiling questions. With spherical pictures we show that the tile counting group associated to a set $T$ of tiles and a set of regions tileable by $T$ is isomorphic to a quotient of the second homology group of a 2-complex built from $T$. In this topological setting we derive some well-known tile invariants, one of which we apply to the solution of a tiling question involving modified rectangles.


title: Non-linear Plank Problems and polynomial inequalities

abstract: We study lower bounds for the norm of the product of polynomials and their applications to the so called \emph{plank problem.} We are particularly interested in polynomials on finite dimensional Banach spaces, in which case our results improve previous works when the number of polynomials is large.


title: A Convex Approach to Sparse H infinity Analysis & Synthesis

abstract: In this paper, we propose a new robust analysis tool motivated by large-scale systems. The H infinity norm of a system measures its robustness by quantifying the worst-case behavior of a system perturbed by a unit-energy disturbance. However, the disturbance that induces such worst-case behavior requires perfect coordination among all disturbance channels. Given that many systems of interest, such as the power grid, the internet and automated vehicle platoons, are large-scale and spatially distributed, such coordination may not be possible, and hence the H infinity norm, used as a measure of robustness, may be too conservative. We therefore propose a cardinality constrained variant of the H infinity norm in which an adversarial disturbance can use only a limited number of channels. As this problem is inherently combinatorial, we present a semidefinite programming (SDP) relaxation based on the l1 norm that yields an upper bound on the cardinality constrained robustness problem. We further propose a simple rounding heuristic based on the optimal solution of SDP relaxation which provides a lower bound. Motivated by privacy in large-scale systems, we also extend these relaxations to computing the minimum gain of a system subject to a limited number of inputs. Finally, we also present a SDP based optimal controller synthesis method for minimizing the SDP relaxation of our novel robustness measure. The effectiveness of our semidefinite relaxation is demonstrated through numerical examples.


title: A Faster Pseudopolynomial Time Algorithm for Subset Sum

abstract: Given a multiset $S$ of $n$ positive integers and a target integer $t$, the subset sum problem is to decide if there is a subset of $S$ that sums up to $t$. We present a new divide-and-conquer algorithm that computes all the realizable subset sums up to an integer $u$ in $\widetilde{O}\!\left(\min\{\sqrt{n}u,u^{4/3},\sigma\}\right)$, where $\sigma$ is the sum of all elements in $S$ and $\widetilde{O}$ hides polylogarithmic factors. This result improves upon the standard dynamic programming algorithm that runs in $O(nu)$ time. To the best of our knowledge, the new algorithm is the fastest general algorithm for this problem. We also present a modified algorithm for cyclic groups, which computes all the realizable subset sums within the group in $\widetilde{O}\!\left(\min\{\sqrt{n}m,m^{5/4}\}\right)$ time, where $m$ is the order of the group.


title: Optimal Non-coherent Data Detection for Massive SIMO Wireless Systems with General Constellations: A Polynomial Complexity Solution

abstract: Massive MIMO systems can greatly increase spectral and energy efficiency over traditional MIMO systems by exploiting large antenna arrays. However, increasing the number of antennas at the base station (BS) makes the uplink non-coherent data detection very challenging in massive MIMO systems. In this paper we consider the joint maximum likelihood (ML) channel estimation and data detection problem for massive SIMO (single input multiple output) wireless systems, which is a special case of wireless systems with large antenna arrays. We propose exact ML non-coherent data detection algorithms for both constant-modulus and nonconstant-modulus constellations, with a low expected complexity. Despite the large number of unknown channel coefficients for massive SIMO systems, we show that the expected computational complexity of these algorithms is linear in the number of receive antennas and polynomial in channel coherence time. Simulation results show the performance gains (up to 5 dB improvement) of the optimal non-coherent data detection with a low computational complexity.


title: Intrinsic spin-orbit interaction in diffusive normal wire Josephson weak links: supercurrent and density of states

abstract: We study the effect of the intrinsic (Rashba or Dresselhaus) spin-orbit interaction in superconductor--nanowire--superconductor (SNS) weak links in the presence of a spin-splitting field that can result either from an intrinsic exchange field or the Zeeman effect of an applied field. We solve the full non-linear Usadel equations numerically and analyze the resulting supercurrent through the weak link and the behavior of the density of states in the center of the wire. We point out how the presence of the spin-orbit interaction gives rise to a long-range spin triplet supercurrent, which remains finite even in the limit of very large exchange fields. In particular, we show how rotating the field leads to a sequence of transitions between the 0 and $\pi$ states as a function of the angle between the exchange field and the spin-orbit field. Simultaneously, the triplet pairing leads to a zero-energy peak in the density of states. We proceed by solving the linearized Usadel equations, showing the correspondence to the solutions of the full equations and detail the emergence of the long-range supercurrent components. Our studies are relevant for on-going investigations of supercurrent in semiconductor nanowires in the limit of several channels and in the presence of disorder.


title: On the Evaluation of RDF Distribution Algorithms Implemented over Apache Spark

abstract: Querying very large RDF data sets in an efficient manner requires a sophisticated distribution strategy. Several innovative solutions have recently been proposed for optimizing data distribution with predefined query workloads. This paper presents an in-depth analysis and experimental comparison of five representative and complementary distribution approaches. For achieving fair experimental results, we are using Apache Spark as a common parallel computing framework by rewriting the concerned algorithms using the Spark API. Spark provides guarantees in terms of fault tolerance, high availability and scalability which are essential in such systems. Our different implementations aim to highlight the fundamental implementation-independent characteristics of each approach in terms of data preparation, load balancing, data replication and to some extent to query answering cost and performance. The presented measures are obtained by testing each system on one synthetic and one real-world data set over query workloads with differing characteristics and different partitioning constraints.


title: The eleven dimensional supergravity equations on edge manifolds

abstract: We study the eleven dimensional supergravity equations which describe a low energy approximation to string theories and are related to M-theory under the AdS/CFT correspondence. These equations take the form of a non-linear differential system, on $\mathbb{B}^7\times\mathbb{S}^4$ with the characteristic degeneracy at the boundary of an edge system, associated to the fibration with fiber $\mathbb{S}^4.$ We compute the indicial roots of the linearized system from the Hodge decomposition of the 4-sphere following the work of Kantor, then using the edge calculus and scattering theory we prove that the moduli space of solutions, near the Freund--Rubin states, is parametrized by three pairs of data on the bounding 6-sphere.


title: Multisection in the Stochastic Block Model using Semidefinite Programming

abstract: We consider the problem of identifying underlying community-like structures in graphs. Towards this end we study the Stochastic Block Model (SBM) on $k$-clusters: a random model on $n=km$ vertices, partitioned in $k$ equal sized clusters, with edges sampled independently across clusters with probability $q$ and within clusters with probability $p$, $p>q$. The goal is to recover the initial "hidden" partition of $[n]$. We study semidefinite programming (SDP) based algorithms in this context. In the regime $p = \frac{\alpha \log(m)}{m}$ and $q = \frac{\beta \log(m)}{m}$ we show that a certain natural SDP based algorithm solves the problem of {\em exact recovery} in the $k$-community SBM, with high probability, whenever $\sqrt{\alpha} - \sqrt{\beta} > \sqrt{1}$, as long as $k=o(\log n)$. This threshold is known to be the information theoretically optimal. We also study the case when $k=\theta(\log(n))$. In this case however we achieve recovery guarantees that no longer match the optimal condition $\sqrt{\alpha} - \sqrt{\beta} > \sqrt{1}$, thus leaving achieving optimality for this range an open question.


title: Conservative algebras of $2$-dimensional algebras, II

abstract: In 1990 Kantor defined the conservative algebra $W(n)$ of all algebras (i.e. bilinear maps) on the $n$-dimensional vector space. If $n>1$, then the algebra $W(n)$ does not belong to any well-known class of algebras (such as associative, Lie, Jordan, or Leibniz algebras). We describe automorphisms, one-sided ideals, and idempotents of $W(2).$ Also similar problems are solved for the algebra $W_2$ of all commutative algebras on the 2-dimensional vector space and for the algebra $S_2$ of all commutative algebras with trace zero multiplication on the 2-dimensional vector space.


title: Scaling collapse at the jamming transition

abstract: The jamming transition of particles with finite-range interactions is characterized by a variety of critical phenomena, including power law distributions of marginal contacts. We numerically study a recently proposed simple model of jamming, which is conjectured to lie in the same universality class as the jamming of spheres in all dimensions. We extract numerical estimates of the critical exponents, {\theta} = 0.451 $\pm$ 0.006 and {\gamma} = 0.404 $\pm$ 0.004, that match the exponents observed in sphere packing systems. We analyze finite-size scaling effects that manifest in a subcritical cutoff regime and size-independent, but protocol-dependent scaling curves. Our results supports the conjectured link with sphere jamming, provide more precise measurements of the critical exponents than previously reported, and shed light on the finite-size scaling behavior of continuous constraint satisfiability transitions.


title: Algebras of Jordan brackets and Generalized Poisson algebras

abstract: We construct a basis of free unital generalized Poisson superalgebras and a basis of free unital superalgebras of Jordan brackets. Also, we prove the analogue of Farkas' Theorem for PI unital generalized Poisson algebras and PI unital algebras of Jordan brackets. Relations beetwen generic Poisson superalgebras and superalgebras of Jordan brackets will be studied.


title: When electric charge becomes also magnetic

abstract: In nonlinear electrodynamics, QED included, we find a static solution to the field equations with an electric charge as its source, which is comprised of homogeneous parallel magnetic and electric fields, and a radial spherically-nonsymmetric long-range magnetic field, whose magnetic charge is proportional to the electric charge and also depends on the homogeneous component of the solution.


title: The composition of the protosolar disk and the formation conditions for comets

abstract: Conditions in the protosolar nebula have left their mark in the composition of cometary volatiles, thought to be some of the most pristine material in the solar system. Cometary compositions represent the end point of processing that began in the parent molecular cloud core and continued through the collapse of that core to form the protosun and the solar nebula, and finally during the evolution of the solar nebula itself as the cometary bodies were accreting. Disentangling the effects of the various epochs on the final composition of a comet is complicated. But comets are not the only source of information about the solar nebula. Protostellar disks around young stars similar to the protosun provide a way of investigating the evolution of disks similar to the solar nebula while they are in the process of evolving to form their own solar systems. In this way we can learn about the physical and chemical conditions under which comets formed, and about the types of dynamical processing that shaped the solar system we see today. This paper summarizes some recent contributions to our understanding of both cometary volatiles and the composition, structure and evolution of protostellar disks.


title: Gauging the Relativistic Particle Model on the Noncommutative plane

abstract: We construct a new model for relativistic particle on the noncommutative surface in $(2+1)$ dimensions, using the symplectic formalism of constrained systems and embedding the model on an extended phase space. We suggest a short cut to construct the gauged Lagrangian, using the Poisson algebra of constraints, without calculating the whole procedure of symplectic formalism. We also propose an approach for the systems, in which the symplectic formalism is not applicable, due to truncation of secondary constraints appearing at the first level. After gauging the model, we obtained generators of gauge transformations of the model. Finally, by extracting the corresponding Poisson structure of all constraints, we show the effect of gauging on the canonical structure of the phase spaces of both primary and gauged models.


title: Searches for Light Scalars, Pseudoscalars, and Gauge Bosons

abstract: In the past few years there has been a great deal of theoretical and experimental activity related to the search for low-mass scalars, pseudoscalars, and vectors in various scenarios of physics beyond the standard model. I review the current status of this topic, focusing on results obtained since FPCP 2014.


title: On an almost-universal hash function family with applications to authentication and secrecy codes

abstract: Universal hashing, discovered by Carter and Wegman in 1979, has many important applications in computer science. MMH$^*$, which was shown to be $\Delta$-universal by Halevi and Krawczyk in 1997, is a well-known universal hash function family. We introduce a variant of MMH$^*$, that we call GRDH, where we use an arbitrary integer $n>1$ instead of prime $p$ and let the keys $\mathbf{x}=\langle x_1, \ldots, x_k \rangle \in \mathbb{Z}_n^k$ satisfy the conditions $\gcd(x_i,n)=t_i$ ($1\leq i\leq k$), where $t_1,\ldots,t_k$ are given positive divisors of $n$. Then via connecting the universal hashing problem to the number of solutions of restricted linear congruences, we prove that the family GRDH is an $\varepsilon$-almost-$\Delta$-universal family of hash functions for some $\varepsilon<1$ if and only if $n$ is odd and $\gcd(x_i,n)=t_i=1$ $(1\leq i\leq k)$. Furthermore, if these conditions are satisfied then GRDH is $\frac{1}{p-1}$-almost-$\Delta$-universal, where $p$ is the smallest prime divisor of $n$. Finally, as an application of our results, we propose an authentication code with secrecy scheme which strongly generalizes the scheme studied by Alomair et al. [{\it J. Math. Cryptol.} {\bf 4} (2010), 121--148], and [{\it J.UCS} {\bf 15} (2009), 2937--2956].


title: Collider constraints on tuning in composite Higgs models

abstract: Two potential sources of tuning exist in composite Higgs models: one comes from keeping the Higgs VEV below the compositeness scale and one comes from keeping the Higgs light after constraints on the top partner masses are applied. We construct a measure that determines whether these tunings are independent or not and combines them appropriately. We perform a comprehensive scan of the parameter space for three explicit models and report the minimum tuning values compatible with existing collider constraints. Tuning values are given as functions of resonance masses and deviations to the Higgs couplings so the effect of future constraints can easily be quantified. The current minimum tuning in the minimal model is 2.5-5% and will be decreased to around 0.8-3.3% if no top partners are observed over the lifetime of the LHC.


title: Linking Stellar Coronal Activity and Rotation at 500 Myr: A Deep Chandra Observation of M37

abstract: Empirical calibrations of the stellar age-rotation-activity relation (ARAR) rely on observations of the co-eval populations of stars in open clusters. We used the Chandra X-ray Observatory to study M37, a 500-Myr-old open cluster that has been extensively surveyed for rotation periods ($P_{\rm rot}$). M37 was observed almost continuously for five days, for a total of 440.5 ksec, to measure stellar X-ray luminosities ($L_{\mathrm{X}}$), a proxy for coronal activity, across a wide range of masses. The cluster's membership catalog was revisited to calculate updated membership probabilities from photometric data and each star's distance to the cluster center. The result is a comprehensive sample of 1699 M37 members: 426 with $P_{\rm rot}$, 278 with X-ray detections, and 76 with both. We calculate Rossby numbers, $R_o = P_{\rm rot}/\tau$, where $\tau$ is the convective turnover time, and ratios of the X-ray-to-bolometric luminosity, $L_{\rm X}/L_{\rm bol}$, to minimize mass dependencies in our characterization of the rotation-coronal activity relation at 500 Myr. We find that fast rotators, for which $R_o<0.09\pm0.01$, show saturated levels of activity, with log($L_{\rm X}/L_{\rm bol}$)$=-3.06\pm0.04$. For $R_o\geq0.09\pm0.01$, activity is unsaturated and follows a power law of the form $R_o^\beta$, where $\beta$=$-2.03_{-0.14}^{+0.17}$. This is the largest sample available for analyzing the dependence of coronal emission on rotation for a single-aged population, covering stellar masses in the range 0.4$-$1.3 $M_{\odot}$, $P_{\rm rot}$ in the range 0.4$-$12.8 d, and $L_{\rm X}$ in the range 10$^{28.4-30.5}$ erg s$^{-1}$. Our results make M37 a new benchmark open cluster for calibrating the ARAR at ages of $\approx$500 Myr.


title: How Voltage Drops are Manifested by Lithium Ion Configurations at Interfaces and in Thin Films on Battery Electrodes

abstract: Battery electrode surfaces are generally coated with electronically insulating solid films of thickness 1-50 nm. Both electrons and Li+ can move at the electrode-surface film interface in response to the voltage, which adds complexity to the "electric double layer" (EDL). We apply Density Functional Theory (DFT) to investigate how the applied voltage is manifested as changes in the EDL at atomic lengthscales, including charge separation and interfacial dipole moments. Illustrating examples include Li(3)PO(4), Li(2)CO(3), and Li(x)Mn(2)O(4) thin-films on Au(111) surfaces under ultrahigh vacuum conditions. Adsorbed organic solvent molecules can strongly reduce voltages predicted in vacuum. We propose that manipulating surface dipoles, seldom discussed in battery studies, may be a viable strategy to improve electrode passivation. We also distinguish the computed potential governing electrons, which is the actual or instantaneous voltage, and the "lithium cohesive energy" based voltage governing Li content widely reported in DFT calculations, which is a slower-responding self-consistency criterion at interfaces. This distinction is critical for a comprehensive description of electrochemical activities on electrode surfaces, including Li+ insertion dynamics, parasitic electrolyte decomposition, and electrodeposition at overpotentials.


title: Chern-Simons Supergravity in D=3 and Maxwell superalgebra

abstract: We present the construction of the $D=3$ Chern-Simons supergravity action without cosmological constant from the minimal Maxwell superalgebra $s\mathcal{M}_{3}$. This superalgebra contains two Majorana fermionic charges and can be obtained from the $\mathfrak{osp}\left( 2|1\right) \otimes\mathfrak{sp}\left( 2\right) $ superalgebra using the abelian semigroup expansion procedure. The components of the Maxwell invariant tensor are explicitly derived.


title: On mechanisms of neutral evolution of DNA resulting in scale-free behaviour

abstract: We introduce a family of models incorporating random segmental substitutions and point mutations and demonstrate that such models reproduce algebraic length distributions of exact matches with the slope $-4$ observed earlier in pairwise comparisons of DNA of distantly related species. It is demonstrated that power-law distributions of exact matches emerge when shorter sequences transfer their DNA content to longer sequences, indicating potential mechanisms of the increased genome complexity.


title: Functional continuity of unital $B_{0}$-algebras with orthogonal bases

abstract: Let $A$ be a unital $B_{0}$-algebra with an orthogonal basis, then every multiplicative linear functional on $A$ is continuous. This gives an answer to a problem posed by Z. Sawon and Z. Wronski.


title: Data-driven spectral decomposition and forecasting of ergodic dynamical systems

abstract: We develop a framework for dimension reduction, mode decomposition, and nonparametric forecasting of data generated by ergodic dynamical systems. This framework is based on a representation of the Koopman and Perron-Frobenius groups of unitary operators in a smooth orthonormal basis of the L2 space of the dynamical system, acquired from time-ordered data through the diffusion maps algorithm. Using this representation, we compute Koopman eigenfunctions through a regularized advection-diffusion operator, and employ these eigenfunctions in dimension reduction maps with projectible dynamics and high smoothness for the given observation modality. In systems with pure point spectra, we construct a decomposition of the generator of the Koopman group into mutually commuting vector fields that transform naturally under changes of observation modality, which we reconstruct in data space through a representation of the pushforward map in the Koopman eigenfunction basis. We also establish a correspondence between Koopman operators and Laplace-Beltrami operators constructed from data in Takens delay-coordinate space, and use this correspondence to provide an interpretation of diffusion-mapped delay coordinates for this class of systems. Moreover, we take advantage of a special property of the Koopman eigenfunction basis, namely that the basis elements evolve as simple harmonic oscillators, to build nonparametric forecast models for probability densities and observables. In systems with more complex spectral behavior, including mixing systems, we develop a method inspired from time change in dynamical systems to transform the generator to a new operator with potentially improved spectral properties, and use that operator for vector field decomposition and nonparametric forecasting.


title: Combined study of $2S$ and $1D$ open-charm mesons with natural spin-parity

abstract: In this paper, we perform a combined study of $2S$ and $1D$ open-charm mesons with natural spin-parity. Our results indicate that $D^*_1(2600)/D^*_{s1}(2700)$ and $D^*_1(2760)/D^*_{s1}(2860)$ are predominantly the $2^3S_1$ and $1^3D_1$ charmed/charmed-strange mesons, respectively, while $D_3^*(2760)/D_{s3}^*(2860)$ can be regarded as the $1^3D_3$ charmed/charmed-strange mesons. In addition, some typical ratios of partial widths of the discussed natural states are predicted, by which future experiments can test these assignments, especially for the $2S$-$1D$ mixing scheme existing in $D^*_1(2600)/D^*_1(2760)$ and $D^*_{s1}(2700)/D^*_{s1}(2860)$.


title: Distribution of zeroes of Rademacher Taylor series

abstract: We find the asymptotics of the counting function of zeroes of random entire functions represented by Rademacher Taylor series. We also give the asymptotics of the weighted counting function, which takes into account the arguments of zeroes. These results answer several questions left open after the pioneering work of Littlewood and Offord of 1948. The proofs are based on our recent result on the logarithmic integrability of Rademacher Fourier series.


title: Proof of a conjecture of Graham and Lov\'asz concerning unimodality of coefficients of the distance characteristic polynomial of a tree

abstract: We establish a conjecture of Graham and Lov\'asz that the (normalized) coefficients of the distance characteristic polynomial of a tree are unimodal; we also prove they are log-concave.


title: Measuring Secrecy by the Probability of a Successful Guess

abstract: The secrecy of a communication system in which both the legitimate receiver and an eavesdropper are allowed some distortion is investigated. The secrecy metric considered is the exponent of the probability that the eavesdropper estimates the source sequence successfully within an acceptable distortion level. The problem is first studied when the transmitter and the legitimate receiver do not share any key and the transmitter is not subject to a rate constraint, which corresponds to a stylized model of a side channel and reveals connections to source coding with side information. The setting is then generalized to include a shared secret key between the transmitter and the legitimate receiver and a rate constraint on the transmitter, which corresponds to the Shannon cipher system. A single-letter characterization of the highest achievable exponent is provided, and asymptotically-optimal strategies for both the primary user and the eavesdropper are demonstrated.


title: The nucleon electric dipole moment with the gradient flow: the $\theta$-term contribution

abstract: We propose a new method to calculate electric dipole moments induced by the strong QCD $\theta$-term. The method is based on the gradient flow for gauge fields and is free from renormalization ambiguities. We test our method by computing the nucleon electric dipole moments in pure Yang-Mills theory at several lattice spacings, enabling a first-of-its-kind continuum extrapolation. The method is rather general and can be applied for any quantity computed in a $\theta$ vacuum. This first application of the gradient flow has been successful and demonstrates proof-of-principle, thereby providing a novel method to obtain precise results for nucleon and light nuclear electric dipole moments.


title: Partially Ordered Sheaves on a Locale. I (II)

abstract: In this paper, we investigate the order algebraic structure in the category of sheaves on a given locale $X$. Since every localic topos has a generating set formed by its subterminal objects, we define a "point" of a partially ordered sheaf to be a morphism from a subterminal sheaf to the partially ordered sheaf. Using the concept of "points," we investigate the completeness of posheaves systemically. Some internal characterizations of complete partially ordered sheaves and frame sheaves are given. We also give an explicit description of the construction of associated sheaf locales and show directly that the category $Sh(X)$ of sheaves on a locale $X$ is equivalent to the slice category $LH/X$ of locales and local homeomorphisms over $X$. Applying this equivalence, we give characterizations of partially ordered sheaves and complete partially ordered sheaves in terms of sheaf locale respectively. This paper is a continuation of our paper [1]. In this paper, we first introduce the concept of directed complete partially ordered sheaves (shortly dcposheaves) on a given locale. some internal characterizations of dcposheaves and meet continuous dcposheaves are given respectively. We also give characterizations of continuous posheaves and completely distributive posheaves, and show that an algebraic completely distributive posheaf is spatial.


title: Critical Branching Brownian Motion with Killing

abstract: We obtain sharp asymptotic estimates for hitting probabilities of a critical branching Brownian motion in one dimension with killing at 0 We also obtain sharp asymptotic formulas for the tail probabilities of the number of particles killed at 0. In the special case of double-or-nothing branching, we give exact formulas for both the hitting probabilities, in terms of elliptic functions, and the distribution of the number of killed particles.


title: Neural Network Classifiers for Natural Food Products

abstract: Two cheap, off-the-shelf machine vision systems (MVS), each using an artificial neural network (ANN) as classifier, were developed, improved and evaluated to automate the classification of tomato ripeness and acceptability of eggs, respectively. Six thousand color images of human-graded tomatoes and 750 images of human-graded eggs were used to train, test, and validate several multi-layered ANNs. The ANNs output the corresponding grade of the produce by accepting as inputs the spectral patterns of the background-less image. In both MVS, the ANN with the highest validation rate was automatically chosen by a heuristic and its performance compared to that of the human graders'. Using the validation set, the MVS correctly graded 97.00\% and 86.00\% of the tomato and egg data, respectively. The human grader's, however, were measured to perform at a daily average of 92.65\% and 72.67\% for tomato and egg grading, respectively. This results show that an ANN-based MVS is a potential alternative to manual grading.


title: Achieving Synergy in Cognitive Behavior of Humanoids via Deep Learning of Dynamic Visuo-Motor-Attentional Coordination

abstract: The current study examines how adequate coordination among different cognitive processes including visual recognition, attention switching, action preparation and generation can be developed via learning of robots by introducing a novel model, the Visuo-Motor Deep Dynamic Neural Network (VMDNN). The proposed model is built on coupling of a dynamic vision network, a motor generation network, and a higher level network allocated on top of these two. The simulation experiments using the iCub simulator were conducted for cognitive tasks including visual object manipulation responding to human gestures. The results showed that synergetic coordination can be developed via iterative learning through the whole network when spatio-temporal hierarchy and temporal one can be self-organized in the visual pathway and in the motor pathway, respectively, such that the higher level can manipulate them with abstraction.


title: Exact Rotating Magnetic Traversable Wormholes satisfying the Energy Conditions

abstract: In this work we wonder if there is a way to generate a wormhole (WH) in nature using "normal" matter. In order to give a first answer to this question, we study a massless scalar field coupled to an electromagnetic one (dilatonic field) with an arbitrary coupling constant, as source of gravitation. We obtain an exact solution of the Einstein equations using this source that represents a magnetized rotating WH. This space-time has a naked ring singularity, probably untouchable as in \cite{Matos:2012gj}, but otherwise regular. The WH throat lies on the disc bounded by the ring singularity, which keeps the throat open without requiring exotic matter, that means, satisfying all the energy conditions. After analyzing the geodesic motion and the tidal forces we find that a test particle can go through the WH without troubles.


title: Digital Fixed Points, Approximate Fixed Points, and Universal Functions

abstract: A. Rosenfeld introduced the notion of a digitally continuous function between digital images, and showed that although digital images need not have fixed point properties analogous to those of the Euclidean spaces modeled by the images, there often are approximate fixed point properties of such images. In the current paper, we obtain additional results concerning fixed points and approximate fixed points of digitally continuous functions. Among these are several results concerning the relationship between universal functions and the approximate fixed point property (AFPP).


title: Well-Formed Separator Sequences, with an Application to Hypergraph Drawing

abstract: Given a hypergraph $H$, the Planar Support problem asks whether there is a planar graph $G$ on the same vertex set as $H$ such that each hyperedge induces a connected subgraph of $G$. Planar Support is motivated by applications in graph drawing and data visualization. We show that Planar Support is fixed-parameter tractable when parameterized by the number of hyperedges in the input hypergraph and the outerplanarity number of the sought planar graph. To this end, we develop novel structural results for $r$-outerplanar triangulated disks, showing that they admit sequences of separators with structural properties enabling data reduction. This allows us to obtain a problem kernel for Planar Support, thus showing its fixed-parameter tractability.


title: Locally Adaptive Optimization: Adaptive Seeding for Monotone Submodular Functions

abstract: The Adaptive Seeding problem is an algorithmic challenge motivated by influence maximization in social networks: One seeks to select among certain accessible nodes in a network, and then select, adaptively, among neighbors of those nodes as they become accessible in order to maximize a global objective function. More generally, adaptive seeding is a stochastic optimization framework where the choices in the first stage affect the realizations in the second stage, over which we aim to optimize. Our main result is a $(1-1/e)^2$-approximation for the adaptive seeding problem for any monotone submodular function. While adaptive policies are often approximated via non-adaptive policies, our algorithm is based on a novel method we call \emph{locally-adaptive} policies. These policies combine a non-adaptive global structure, with local adaptive optimizations. This method enables the $(1-1/e)^2$-approximation for general monotone submodular functions and circumvents some of the impossibilities associated with non-adaptive policies. We also introduce a fundamental problem in submodular optimization that may be of independent interest: given a ground set of elements where every element appears with some small probability, find a set of expected size at most $k$ that has the highest expected value over the realization of the elements. We show a surprising result: there are classes of monotone submodular functions (including coverage) that can be approximated almost optimally as the probability vanishes. For general monotone submodular functions we show via a reduction from \textsc{Planted-Clique} that approximations for this problem are not likely to be obtainable. This optimization problem is an important tool for adaptive seeding via non-adaptive policies, and its hardness motivates the introduction of \emph{locally-adaptive} policies we use in the main result.


title: Non-Gaussian signatures and collective effects in charge noise affecting a dynamically-decoupled qubit

abstract: The effects of a collection of classical two-level charge fluctuators on the coherence of a dynamically-decoupled qubit are studied. Distinct dynamics are found at different qubit working positions. Exact analytical formulae are derived at pure dephasing and approximate solutions are found at the general working position, for weakly- and strongly-coupled fluctuators. Analysis of these solutions, combined with numerical simulations of the multiple random telegraph processes, reveal the scaling of the noise with the number of fluctuators and the number of control pulses, as well as dependence on other parameters of the qubit-fluctuators system. These results can be used to determine potential microscopic models for the charge environment by performing noise spectroscopy.


title: An efficient method for performance improvement of organometal halide perovskite solar cell via external electric field

abstract: An effective method, performed adding external electric field (EEF) on CH3NH3PbI3-xClx (OPIC) perovskite layer during the annealing process, is proposed to improve the performance of the solar cell. By harmonizing EEF direction with the hole/electron modified layer, a significant improvement on the short circuit current and fill factor is obtained. Using the simplest planar device, the largest positive EEF of 2.5*10^6 V/m makes PCE increase from 12.86 to 14.33, whose increment reaches 11.4% compared with non-EFE sample. By analyzing the best and the statistics data, a fine positive correlation between EEF and PEC is found. The physical mechanism which a displacement polarization field induced by the ionic migration enhances the built in field of the perovskite heterojunction is discussed. The study proposed a physical process in modifying the cell efficiency and provides a new evidence on current-voltage hysteresis of OPIC devices.


title: Optical light curve of GRB 121011A: a textbook for the onset of GRB afterglow in a mixture of ISM and wind-type medium

abstract: We reported the optical observations of GRB 121011A by 0.8-m TNT telescope at Xinglong observatory, China. The light curve of optical afterglow shows a smooth and featureless bump during the epoch of $\sim$130 sec and $\sim$5000 sec with a rising index of $1.57\pm0.28$ before the break time of $539\pm44$ sec, and a decaying index of about $1.29\pm0.07$ up to the end of our observations. Meanwhile, the X-ray light curve decays in a single power-law with a slop of about $1.51\pm0.03$ observed by $XRT$ onboard ${\rm} Swift$ from 100 sec to about 10000 sec after the burst trigger. The featureless optical light curve could be understood as an onset process under the external-shock model. The typical frequency has been below or near the optical one before the deceleration time, and the cooling frequency is located between the optical and X-ray wavelengths. The external medium density has a transition from a mixed stage of ISM and wind-type medium before the peak time to the ISM at the later phase. The joint-analysis of X-ray and optical light curves shows that the emission from both frequencies are consistent with the prediction of the standard afterglow model without any energy injections, indicating that the central engine has stopped its activity and does not restart anymore after the prompt phase.


title: The Shadows of a Cycle Cannot All Be Paths

abstract: A "shadow" of a subset $S$ of Euclidean space is an orthogonal projection of $S$ into one of the coordinate hyperplanes. In this paper we show that it is not possible for all three shadows of a cycle (i.e., a simple closed curve) in $\mathbb R^3$ to be paths (i.e., simple open curves). We also show two contrasting results: the three shadows of a path in $\mathbb R^3$ can all be cycles (although not all convex) and, for every $d\geq 1$, there exists a $d$-sphere embedded in $\mathbb R^{d+2}$ whose $d+2$ shadows have no holes (i.e., they deformation-retract onto a point).


title: Intrinsic Non-stationary Covariance Function for Climate Modeling

abstract: Designing a covariance function that represents the underlying correlation is a crucial step in modeling complex natural systems, such as climate models. Geospatial datasets at a global scale usually suffer from non-stationarity and non-uniformly smooth spatial boundaries. A Gaussian process regression using a non-stationary covariance function has shown promise for this task, as this covariance function adapts to the variable correlation structure of the underlying distribution. In this paper, we generalize the non-stationary covariance function to address the aforementioned global scale geospatial issues. We define this generalized covariance function as an intrinsic non-stationary covariance function, because it uses intrinsic statistics of the symmetric positive definite matrices to represent the characteristic length scale and, thereby, models the local stochastic process. Experiments on a synthetic and real dataset of relative sea level changes across the world demonstrate improvements in the error metrics for the regression estimates using our newly proposed approach.


title: Lustre, Hadoop, Accumulo

abstract: Data processing systems impose multiple views on data as it is processed by the system. These views include spreadsheets, databases, matrices, and graphs. There are a wide variety of technologies that can be used to store and process data through these different steps. The Lustre parallel file system, the Hadoop distributed file system, and the Accumulo database are all designed to address the largest and the most challenging data storage problems. There have been many ad-hoc comparisons of these technologies. This paper describes the foundational principles of each technology, provides simple models for assessing their capabilities, and compares the various technologies on a hypothetical common cluster. These comparisons indicate that Lustre provides 2x more storage capacity, is less likely to loose data during 3 simultaneous drive failures, and provides higher bandwidth on general purpose workloads. Hadoop can provide 4x greater read bandwidth on special purpose workloads. Accumulo provides 10,000x lower latency on random lookups than either Lustre or Hadoop but Accumulo's bulk bandwidth is 10x less. Significant recent work has been done to enable mix-and-match solutions that allow Lustre, Hadoop, and Accumulo to be combined in different ways.


title: Quantum coherence of steered states

abstract: Lying at the heart of quantum mechanics, coherence has recently been studied as a key resource in quantum information theory. Quantum steering, a fundamental notion originally considered by Schr{\"o}dinger, has also recently received much attention. When Alice and Bob share a correlated quantum system, Alice can perform a local measurement to `steer' Bob's reduced state. We introduce the maximal steered coherence as a measure describing the extent to which steering can remotely create coherence; more precisely, we find the maximal coherence of Bob's steered state in the eigenbasis of his original reduced state, where maximization is performed over all positive-operator valued measurements for Alice. We prove that maximal steered coherence vanishes for quantum-classical states whilst reaching a maximum for pure entangled states with full Schmidt rank. Although invariant under local unitary operations, maximal steered coherence may be increased when Bob performs a channel. For a two-qubit state we find that Bob's channel can increase maximal steered coherence if and only if it is neither unital nor semi-classical, which coincides with the condition for increasing discord. Our results show that the power of steering for coherence generation, though related to discord, is distinct from existing measures of quantum correlation.


title: Null Controllability for Wave Equations with Memory

abstract: We study the memory-type null controllability property for wave equations involving memory terms. The goal is not only to drive the displacement and the velocity (of the considered wave) to rest at some time-instant but also to require the memory term to vanish at the same time, ensuring that the whole process reaches the equilibrium. This memory-type null controllability problem can be reduced to the classical null controllability property for a coupled PDE-ODE system. The later is viewed as a degenerate system of wave equations, the velocity of propagation for the ODE component vanishing. This fact requires the support of the control to move to ensure the memory-type null controllability to hold, under the so-called Moving Geometric Control Condition. The control result is proved by duality by means of an observability inequality which employs measurements that are done on a moving observation open subset of the domain where the waves propagate.


title: Background field method in the gradient flow

abstract: In perturbative consideration of the Yang--Mills gradient flow, it is useful to introduce a gauge non-covariant term ("gauge-fixing term") to the flow equation that gives rise to a Gaussian damping factor also for gauge degrees of freedom. In the present paper, we consider a modified form of the gauge-fixing term that manifestly preserves covariance under the background gauge transformation. It is shown that our gauge-fixing term does not affect gauge-invariant quantities as the conventional gauge-fixing term. The formulation thus allows a background gauge covariant perturbative expansion of the flow equation that provides, in particular, a very efficient computational method of expansion coefficients in the small flow time expansion. The formulation can be generalized to systems containing fermions.


title: Representation of a gauge field via intrinsic "BRST" operator

abstract: We show that there exists a representation of a matrix valued gauge field via intrinsic "BRST" operator assigned to matrix valued generators of a gauge algebra. In this way, we reproduce the standard formulation of the ordinary Yang - Mills theory. In the case of a generating quasigroup/groupoid, we give a natural counterpart to the Yang - Mills action. The latter counterpart does also apply as to the most general case of an involution for matrix-valued gauge generators.


title: Near Perfect Matchings in $k$-uniform Hypergraphs II

abstract: Suppose $k\nmid n$ and $H$ is an $n$-vertex $k$-uniform hypergraph. A near perfect matching in $H$ is a matching of size $\lfloor n/k\rfloor$. We give a divisibility barrier construction that prevents the existence of near perfect matchings in $H$. This generalizes the divisibility barrier for perfect matchings. We give a conjecture on the minimum $d$-degree threshold forcing a (near) perfect matching in $H$ which generalizes a well-known conjecture on perfect matchings. We also verify our conjecture in various cases. Our proof makes use of the lattice-based absorbing method that the author used recently to solve two other problems on matching and tilings for hypergraphs.


title: Some results on local cohomology of polynomial and formal power series rings: the one dimensional case

abstract: In this paper, we prove several results on the finiteness of local cohomology of polynomial and formal power series rings. In particular, we give a partial affirmative answer for a question of L. N\'{u}\~{n}ez-Betancourt in [J. Algebra 399 (2014), 770--781].


title: Assessing the impact of representational and contextual problem features on student use of right-hand rules

abstract: Students in introductory physics struggle with vector algebra and these challenges are often associated with contextual and representational features of the problems. Performance on problems about cross product direction is particularly poor and some research suggests that this may be primarily due to misapplied right-hand rules. However, few studies have had the resolution to explore student use of right-hand rules in detail. This study reviews literature in several disciplines, including spatial cognition, to identify ten contextual and representational problem features that are most likely to influence performance on problems requiring a right-hand rule. Two quantitative measures of performance (correctness and response time) and two qualitative measures (methods used and type of errors made) were used to explore the impact of these problem features on student performance. Quantitative results are consistent with expectations from the literature, but reveal that some features (such as the type of reasoning required and the physical awkwardness of using a right-hand rule) have a greater impact than others (such as whether the vectors are placed together or separate). Additional insight is gained by the qualitative analysis, including identifying sources of difficulty not previously discussed in the literature and revealing that the use of supplemental methods, such as physically rotating the paper, can mitigate errors associated with certain features.


title: Some Problems Arising from Partition Poset Homology

abstract: We describe some open problems related to homology representations of subposets of the partition lattice, beginning with questions first raised in Stanley's work on group actions on posets.


title: Electrowetting on dielectrics on lubricating fluid based slippery surfaces with negligible hysteresis

abstract: Low voltage electrowetting on dielectrics on substrates with thin layer of lubricating fluid to reduce contact angle hysteresis is reported here. On smooth and homogeneous solid surfaces, it is extremely difficult to reduce contact angle hysteresis (contact angle difference between advancing and receding drop volume cycle) and the electrowetting hysteresis (contact angle difference between advancing and receding voltage cycle) below 10{\deg}. On the other hand, electrowetting hysteresis on rough surfaces can be relatively large (>30{\deg}) therefore they are of no use for most of the fluidic devices. In the present report we demonstrate that using a thin layer of dielectric lubricating fluid on top of the solid dielectric surface results in drastic reduction in contact angle hysteresis as well as electrowetting hysteresis (< 2{\deg}) on smooth as well as rough surfaces. Subsequently fitting the Lippmann-Young electrowetting equation to the experimental electrowetting data reveal that the dielectric lubricating fluid layer is only responsible for smooth movement of the three phase contact line of the liquid drop and does not affect the effective specific capacitance of the system.


title: Beam transport experiment with a new kicker control system on the HIRFL-CSR

abstract: The kicker control system was used for beam extraction and injection between two cooling storage rings (CSRs) at the Heavy Ion Research Facility in Lanzhou (HIRFL). To meet the requirements of special physics experiments, the kicker controller was upgraded. The new controller was designed based on ARM+DSP+FPGA technology and monolithic circuit architecture, which can achieve a precision time delay of 2.5 ns. In September 2014, the new kicker control system was installed in the kicker field, and the test experiment using the system was completed. In addition, a pre-trigger signal was provided by the controller, which was designed to synchronize the beam diagnostic system and physics experiments. Experimental results indicate that the phenomena of "missed kick" and "inefficient kick" were not observed, and the multichannel trigger signals' delay could be adjusted individually for kick power supplies in digitization; thus, the beam transport efficiency was improved compared with that of the original system. The fast extraction and injection experiment was successfully completed based on the new kicker control systems for HIRFL-CSR.


title: Infrared Supercontinuum Generation in Multiple Quantum Well Nanostructures under Electromagnetically Induced Transparency

abstract: Mid-infrared spectral broadening is of great scientific and technological interest, which till date is mainly achieved using non-silica glass fibers, primarily made of tellurite, fluoride and chalcogenide glasses. We investigate broadband mid-infrared supercontinuum generation at very low power in semiconductor multiple quantum well (MQW) systems facilitated by electromagnetically induced transparency. 100 femto-seconds pulses of peak power close to a Watt have been launched in the electromagnetically induced transparency window of a 30 period 1.374 {\mu}m long MQW system. Broadband supercontinuum spectra, attributed to self phase modulation and modulation instability, is achievable at the end of the MQW system. The central part of the spectra is dominated by several dips and the far infra-red part of the spectra is more broadened in comparison to the infra-red portion. Key advantage of the proposed scheme is that the supercontinuum source could be easily integrated with other semiconductor devices.


title: Local topological charge analysis of electromagnetic vortex beam based on empirical mode decomposition

abstract: The topological charge of an electromagnetic vortex beam depends on its wavefront helicity. For mixed vortex beams composed of several different coaxial vortices, the topological charge spectrum can be obtained by Fourier transform. However, the vortex beam is generally divergent and imperfect. It makes it significant to investigate the local topological charges, especially in radio frequency regime. Fourier transform based methods are restrained by the uncertainty principle and cannot achieve high angular resolution and mode resolution simultaneously. In this letter, an analysis method for local topological charges of vortex beams is presented based on the empirical mode decomposition (EMD). From EMD, the intrinsic mode functions (IMFs) can be obtained to construct the bases of the electromagnetic wave, and each local topological charge can be respectively defined. With this method the local value achieves both high resolution of azimuth angle and topological charge, meanwhile the amplitudes of each OAM modes are presented as well. The simulation and experimental results confirm the validity of the EMD based method.


title: On cohomology groups $ H^{1} $ of $ G-$modules of finite type over cyclic groups

abstract: Let $ G $ be a cyclic group, in this paper, we study the Herbrand quotient and $ 1-$th cohomology group on finitely generated $ G-$modules in some cases. When $ G $ is of order $ 2, $ the order of the cohomology group is explicitly related to some invariants, and this relation is used to study unit groups over quadratic extensions of number fields. We also give some applications on Pell equations and class number of number fields.


title: Chimera states in bursting neurons

abstract: We study the existence of chimera states in pulse-coupled networks of bursting Hindmarsh-Rose neurons with nonlocal, global and local (nearest neighbor) couplings. Through a linear stability analysis, we discuss the behavior of stability function in the incoherent (i.e. disorder), coherent, chimera and multi-chimera states. Surprisingly, we find that chimera and multi-chimera states occur even using local nearest neighbor interaction in a network of identical bursting neurons alone. This is in contrast with the existence of chimera states in populations of nonlocally or globally coupled oscillators. A chemical synaptic coupling function is used which plays a key role in the emergence of chimera states in bursting neurons. Existence of chimera, multi-chimera, coherent and disordered states are confirmed by means of the recently introduced statistical measures and mean phase velocity.


title: Request Prediction in Cloud with a Cyclic Window Learning Algorithm

abstract: Automatic resource scaling is one advantage of Cloud systems. Cloud systems are able to scale the number of physical machines depending on user requests. Therefore, accurate request prediction brings a great improvement in Cloud systems' performance. If we can make accurate requests prediction, the appropriate number of physical machines that can accommodate predicted amount of requests can be activated and Cloud systems will save more energy by preventing excessive activation of physical machines. Also, Cloud systems can implement advanced load distribution with accurate requests prediction. We propose an algorithm that predicts a probability distribution parameters of requests for each time interval. Maximum Likelihood Estimation (MLE) and Local Linear Regression (LLR) are used to implement this algorithm. An evaluation of the proposed algorithm is performed with the Google cluster-trace data. The prediction is implemented about the number of task arrivals, CPU requests, and memory requests. Then the accuracy of prediction is measured with Mean Absolute Percentage Error (MAPE).


title: A New Vision for Smart Objects and the Internet of Things: Mobile Robots and Long-Range UHF RFID Sensor Tags

abstract: We present a new vision for smart objects and the Internet of Things wherein mobile robots interact with wirelessly-powered, long-range, ultra-high frequency radio frequency identification (UHF RFID) tags outfitted with sensing capabilities. We explore the technology innovations driving this vision by examining recently-commercialized sensor tags that could be affixed-to or embedded-in objects or the environment to yield true embodied intelligence. Using a pair of autonomous mobile robots outfitted with UHF RFID readers, we explore several potential applications where mobile robots interact with sensor tags to perform tasks such as: soil moisture sensing, remote crop monitoring, infrastructure monitoring, water quality monitoring, and remote sensor deployment.


title: Feedback in low-mass galaxies in the early Universe

abstract: The formation, evolution and death of massive stars release large quantities of energy and momentum into the gas surrounding the sites of star formation. This process, generically termed 'feedback', inhibits further star formation either by removing gas from the galaxy, or by heating it to temperatures that are too high to form new stars. Observations reveal feedback in the form of galactic-scale outflows of gas in galaxies with high rates of star formation, especially in the early Universe. Feedback in faint, low-mass galaxies probably facilitated the escape of ionizing radiation from galaxies when the Universe was about 500 million years old, so that the hydrogen between galaxies changed from neutral to ionized--the last major phase transition in the Universe.


title: Projectively related metrics, Weyl nullity, and metric projectively invariant equations

abstract: A metric projective structure is a manifold equipped with the unparametrised geodesics of some pseudo-Riemannian metric. We make acomprehensive treatment of such structures in the case that there is a projective Weyl curvature nullity condition. The analysis is simplified by a fundamental and canonical 2-tensor invariant that we discover. It leads to a new canonical tractor connection for these geometries which is defined on a rank $(n+1)$-bundle. We show this connection is linked to the metrisability equations that govern the existence of metrics compatible with the structure. The fundamental 2-tensor also leads to a new class of invariant linear differential operators that are canonically associated to these geometries; included is a third equation studied by Gallot et al. We apply the results to study the metrisability equation, in the nullity setting described. We obtain strong local and global results on the nature of solutions and also on the nature of the geometries admitting such solutions, obtaining classification results in some cases. We show that closed Sasakian and K\"ahler manifold do not admit nontrivial solutions. We also prove that, on a closed manifold, two nontrivially projectively equivalent metrics cannot have the same tracefree Ricci tensor. We show that on a closed manifold a metric having a nontrivial solution of the metrisablity equation cannot have two-dimensional nullity space at every point. In these statements the meaning of trivial solution is dependent on the context. There is a function $B$ naturally appearing if a metric projective structure has nullity. We analyse in detail the case when this is not a constant, and describe all nontrivially projectively equivalent Riemannian metrics on closed manifolds with nonconstant $B$.


title: The hard X-ray emission along the "Z" track in GX 17+2

abstract: Using the data from the Proportional Counter Array (PCA) and the High-Energy X-ray Timing Experiment (HEXTE) on board it Rossi X-Ray Timing Explorer for Z source GX 17+2, we investigate the evolution of its PCA spectra and HEXTE spectra along a "Z" track on its hardness-intensity diagram. A hard X-ray tail is detected in the HEXTE spectra. The detected hard X-ray tails are discontinuously scattered throughout the "Z" track. The found hard tail hardens from the horizontal branch, through the normal branch, to the flaring branch in principle and it contributes ~(20-50)% of the total flux in 20-200 keV. Our joint fitting results of the PCA+HEXTE spectra in 3-200 keV show that the portion of Comptonization in the bulk-motion Comptonization (BMC) model accounts for the hard X-ray tail, which indicates that the BMC process could be responsible for the detected hard tail. The temperature of the seed photons for BMC is ~2.7 keV, implying that these seed photons might be emitted from the surface of the neutron star (NS) or the boundary layer between the NS and the disk and, therefore, this process could take place around the NS or in the boundary layer.


title: Creation of a low-entropy quantum gas of polar molecules in an optical lattice

abstract: Ultracold polar molecules, with their long-range electric dipolar interactions, offer a unique platform for studying correlated quantum many-body phenomena such as quantum magnetism. However, realizing a highly degenerate quantum gas of molecules with a low entropy per particle has been an outstanding experimental challenge. In this paper, we report the synthesis of a low entropy molecular quantum gas by creating molecules at individual sites of a three-dimensional optical lattice that is initially loaded from a low entropy mixture of K and Rb quantum gases. We make use of the quantum statistics and interactions of the initial atom gases to load into the optical lattice, simultaneously and with good spatial overlap, a Mott insulator of bosonic Rb atoms and a single-band insulator of fermionic K atoms. Then, using magneto-association and optical state transfer, we efficiently produce ground-state molecules in the lattice at those sites that contained one Rb and one K atom. The achieved filling fraction of 25% indicates an entropy as low as $2.2\,k_B$ per molecule. This low-entropy molecular quantum gas opens the door to novel studies of transport and entanglement propagation in a many-body system with long-range dipolar interactions.


title: Online Algorithms for Multi-Level Aggregation

abstract: In the Multi-Level Aggregation Problem (MLAP), requests arrive at the nodes of an edge-weighted tree T, and have to be served eventually. A service is defined as a subtree X of T that contains its root. This subtree X serves all requests that are pending in the nodes of X, and the cost of this service is equal to the total weight of X. Each request also incurs waiting cost between its arrival and service times. The objective is to minimize the total waiting cost of all requests plus the total cost of all service subtrees. MLAP is a generalization of some well-studied optimization problems; for example, for trees of depth 1, MLAP is equivalent to the TCP Acknowledgment Problem, while for trees of depth 2, it is equivalent to the Joint Replenishment Problem. Aggregation problem for trees of arbitrary depth arise in multicasting, sensor networks, communication in organization hierarchies, and in supply-chain management. The instances of MLAP associated with these applications are naturally online, in the sense that aggregation decisions need to be made without information about future requests. Constant-competitive online algorithms are known for MLAP with one or two levels. However, it has been open whether there exist constant competitive online algorithms for trees of depth more than 2. Addressing this open problem, we give the first constant competitive online algorithm for networks of arbitrary (fixed) number of levels. The competitive ratio is O(D^4 2^D), where D is the depth of T. The algorithm works for arbitrary waiting cost functions, including the variant with deadlines. We also show several additional lower and upper bound results for some special cases of MLAP, including the Single-Phase variant and the case when the tree is a path.


title: Understanding Intra-Class Knowledge Inside CNN

abstract: Convolutional Neural Network (CNN) has been successful in image recognition tasks, and recent works shed lights on how CNN separates different classes with the learned inter-class knowledge through visualization. In this work, we instead visualize the intra-class knowledge inside CNN to better understand how an object class is represented in the fully-connected layers. To invert the intra-class knowledge into more interpretable images, we propose a non-parametric patch prior upon previous CNN visualization models. With it, we show how different "styles" of templates for an object class are organized by CNN in terms of location and content, and represented in a hierarchical and ensemble way. Moreover, such intra-class knowledge can be used in many interesting applications, e.g. style-based image retrieval and style-based object completion.


title: Learning Structured Ordinal Measures for Video based Face Recognition

abstract: This paper presents a structured ordinal measure method for video-based face recognition that simultaneously learns ordinal filters and structured ordinal features. The problem is posed as a non-convex integer program problem that includes two parts. The first part learns stable ordinal filters to project video data into a large-margin ordinal space. The second seeks self-correcting and discrete codes by balancing the projected data and a rank-one ordinal matrix in a structured low-rank way. Unsupervised and supervised structures are considered for the ordinal matrix. In addition, as a complement to hierarchical structures, deep feature representations are integrated into our method to enhance coding stability. An alternating minimization method is employed to handle the discrete and low-rank constraints, yielding high-quality codes that capture prior structures well. Experimental results on three commonly used face video databases show that our method with a simple voting classifier can achieve state-of-the-art recognition rates using fewer features and samples.


title: Effect of Disorder in a Three-Dimensional Layered Chern Insulator

abstract: We studied effects of disorder in a three dimensional layered Chern insulator. By calculating the localization length and density of states numerically, we found two distict types of metallic phases between Anderson insulator and Chern insulator; one is diffusive metallic (DM) phase and the other is renormalized Weyl semimetal (WSM) phase. We show that longitudinal conductivity at the zero energy state remains finite in the renormalizd WSM phase as well as in the DM phase, while goes to zero at a semimetal-metal quantum phase transition point between these two. Based on the Einstein relation combined with the self-consistent Born analysis, we give a conductivity scaling near the quantum transition point.


title: Dirac fermions in Fe ultra-thin film

abstract: We show the existence of massive Dirac fermions in electronic band structures of a few Fe atomic layers with perpendicular magnetization. Based on a tight binding model fitted to ab-initio band structure, we observe four distinct massive Dirac fermions near the Fermi level, which result from atomic spin-orbit coupling of Fe and a band inversion between Fe $4s$-$3d_{x^2-y^2}$ hybrid orbital band and $3d_{xy}$ orbital band. These lead to a valence band with finite Chern integer (+2) and chiral edge modes near the Fermi level. When the chemical potential is set inside the Dirac gap by carrier doping, the Hall conductivity exhibits a plateau-like structure with quantized value $2\frac{e^2}{h}$, and orbital magnetization shows a prominent increase, latter of which is mostly due to chiral orbital motion of electrons along the edge modes. We discuss the stability of the Dirac fermions in Fe(001) monolayer on MgO(001) substrate and Fe(001) bilayer case.


title: Real sequence effects on the search dynamics of transcription factors on DNA

abstract: Recent experiments show that transcription factors (TFs) indeed use the facilitated diffusion mechanism to locate their target sequences on DNA in living bacteria cells: TFs alternate between sliding motion along DNA and relocation events through the cytoplasm. From simulations and theoretical analysis we study the TF-sliding motion for a large section of the DNA-sequence of a common E. coli strain, based on the two-state TF-model with a fast-sliding search state and a recognition state enabling target detection. For the probability to detect the target before dissociating from DNA the TF-search times self-consistently depend heavily on whether or not an auxiliary operator (an accessible sequence similar to the main operator) is present in the genome section. Importantly, within our model the extent to which the interconversion rates between search and recognition states depend on the underlying nucleotide sequence is varied. A moderate dependence maximises the capability to distinguish between the main operator and similar sequences. Moreover, these auxiliary operators serve as starting points for DNA looping with the main operator, yielding a spectrum of target detection times spanning several orders of magnitude. Auxiliary operators are shown to act as funnels facilitating target detection by TFs.


title: Maximum matching width: new characterizations and a fast algorithm for dominating set

abstract: We give alternative definitions for maximum matching width, e.g. a graph $G$ has $\operatorname{mmw}(G) \leq k$ if and only if it is a subgraph of a chordal graph $H$ and for every maximal clique $X$ of $H$ there exists $A,B,C \subseteq X$ with $A \cup B \cup C=X$ and $|A|,|B|,|C| \leq k$ such that any subset of $X$ that is a minimal separator of $H$ is a subset of either $A, B$ or $C$. Treewidth and branchwidth have alternative definitions through intersections of subtrees, where treewidth focuses on nodes and branchwidth focuses on edges. We show that mm-width combines both aspects, focusing on nodes and on edges. Based on this we prove that given a graph $G$ and a branch decomposition of mm-width $k$ we can solve Dominating Set in time $O^*({8^k})$, thereby beating $O^*(3^{\operatorname{tw}(G)})$ whenever $\operatorname{tw}(G) > \log_3{8} \times k \approx 1.893 k$. Note that $\operatorname{mmw}(G) \leq \operatorname{tw}(G)+1 \leq 3 \operatorname{mmw}(G)$ and these inequalities are tight. Given only the graph $G$ and using the best known algorithms to find decompositions, maximum matching width will be better for solving Dominating Set whenever $\operatorname{tw}(G) > 1.549 \times \operatorname{mmw}(G)$.


title: Towards Effective Codebookless Model for Image Classification

abstract: The bag-of-features (BoF) model for image classification has been thoroughly studied over the last decade. Different from the widely used BoF methods which modeled images with a pre-trained codebook, the alternative codebook free image modeling method, which we call Codebookless Model (CLM), attracted little attention. In this paper, we present an effective CLM that represents an image with a single Gaussian for classification. By embedding Gaussian manifold into a vector space, we show that the simple incorporation of our CLM into a linear classifier achieves very competitive accuracy compared with state-of-the-art BoF methods (e.g., Fisher Vector). Since our CLM lies in a high dimensional Riemannian manifold, we further propose a joint learning method of low-rank transformation with support vector machine (SVM) classifier on the Gaussian manifold, in order to reduce computational and storage cost. To study and alleviate the side effect of background clutter on our CLM, we also present a simple yet effective partial background removal method based on saliency detection. Experiments are extensively conducted on eight widely used databases to demonstrate the effectiveness and efficiency of our CLM method.


title: Fine structure in the large n limit of the non-hermitian Penner matrix model

abstract: In this paper we apply results on the asymptotic zero distribution of the Laguerre polynomials to discuss generalizations of the standard large $n$ limit in the non-hermitian Penner matrix model. In these generalizations $g_n n\to t$, but the product $g_n n$ is not necessarily fixed to the value of the 't Hooft coupling $t$. If $t>1$ and the limit $l = \lim_{n\rightarrow \infty} |\sin(\pi/g_n)|^{1/n}$ exists, then the large $n$ limit is well-defined but depends both on $t$ and on $l$. This result implies that for $t>1$ the standard large $n$ limit with $g_n n=t$ fixed is not well-defined. The parameter $l$ determines a fine structure of the asymptotic eigenvalue support: for $l\neq 0$ the support consists of an interval on the real axis with charge fraction $Q=1-1/t$ and an $l$-dependent oval around the origin with charge fraction $1/t$. For $l=1$ these two components meet, and for $l=0$ the oval collapses to the origin. We also calculate the total electrostatic energy $\mathcal{E}$, which turns out to be independent of $l$, and the free energy $\mathcal{F}=\mathcal{E}-Q\ln l$, which does depend of the fine structure parameter $l$. The existence of large $n$ asymptotic expansions of $\mathcal{F}$ beyond the planar limit as well as the double-scaling limit are also discussed.


title: Decentralized Joint-Sparse Signal Recovery: A Sparse Bayesian Learning Approach

abstract: This work proposes a decentralized, iterative, Bayesian algorithm called CB-DSBL for in-network estimation of multiple jointly sparse vectors by a network of nodes, using noisy and underdetermined linear measurements. The proposed algorithm exploits the network wide joint sparsity of the un- known sparse vectors to recover them from significantly fewer number of local measurements compared to standalone sparse signal recovery schemes. To reduce the amount of inter-node communication and the associated overheads, the nodes exchange messages with only a small subset of their single hop neighbors. Under this communication scheme, we separately analyze the convergence of the underlying Alternating Directions Method of Multipliers (ADMM) iterations used in our proposed algorithm and establish its linear convergence rate. The findings from the convergence analysis of decentralized ADMM are used to accelerate the convergence of the proposed CB-DSBL algorithm. Using Monte Carlo simulations, we demonstrate the superior signal reconstruction as well as support recovery performance of our proposed algorithm compared to existing decentralized algorithms: DRL-1, DCOMP and DCSP.


title: A Venus-Mass Planet Orbiting a Brown Dwarf: Missing Link between Planets and Moons

abstract: The co-planarity of solar-system planets led Kant to suggest that they formed from an accretion disk, and the discovery of hundreds of such disks around young stars as well as hundreds of co-planar planetary systems by the Kepler satellite demonstrate that this formation mechanism is extremely widespread. Many moons in the solar system, such as the Galilean moons of Jupiter, also formed out of the accretion disks that coalesced into the giant planets. We report here the discovery of an intermediate system OGLE-2013-BLG-0723LB/Bb composed of a Venus-mass planet orbiting a brown dwarf, which may be viewed either as a scaled down version of a planet plus star or as a scaled up version of a moon plus planet orbiting a star. The latter analogy can be further extended since they orbit in the potential of a larger, stellar body. For ice-rock companions formed in the outer parts of accretion disks, like Uranus and Callisto, the scaled masses and separations of the three types of systems are similar, leading us to suggest that formation processes of companions within accretion disks around stars, brown dwarfs, and planets are similar.


title: Functional inequalities for Gaussian convolutions of compactly supported measures: explicit bounds and dimension dependence

abstract: The aim of this paper is to establish various functional inequalities for the convolution of a compactly supported measure and a standard Gaussian distribution on Rd. We especially focus on getting good dependence of the constants on the dimension. We prove that the Poincar{\'e} inequality holds with a dimension-free bound. For the logarithmic Sobolev inequality, we improve the best known results (Zimmermann, JFA 2013) by getting a bound that grows linearly with the dimension. We also establish transport-entropy inequalities for various transport costs.


title: Sudden transition from naked atom decay to dressed atom decay

abstract: The studies on quantum open system play key roles not only in fundamental problems in quantum mechanics but also in quantum computing and information processes. Here we propose a scheme to use a one dimensional coupling cavity array (CCA) as an artificial electromagnetic environment of a two-level atom. For a finite length of CCA, we find that after a turning time the population of excited state deviates suddenly from the exponential decay. We show that physically this phenomena corresponds to a transition from a naked atom decay to a dressed state decay. We hope that our finding will promote the studies on quantum system with a finite size environment.


title: Counting coloured planar maps: differential equations

abstract: We address the enumeration of q-coloured planar maps counted bythe number of edges and the number of monochromatic edges. We prove that the associated generating function is differentially algebraic,that is, satisfies a non-trivial polynomial differential equation withrespect to the edge variable. We give explicitly a differential systemthat characterizes this series. We then prove a similar result for planar triangulations, thus generalizing a result of Tutte dealing with their proper q-colourings. Instatistical physics terms, we solvethe q-state Potts model on random planar lattices. This work follows a first paper by the same authors, where the generating functionwas proved to be algebraic for certain values of q,including q=1, 2 and 3. It isknown to be transcendental in general. In contrast, our differential system holds for an indeterminate q.For certain special cases of combinatorial interest (four colours; properq-colourings; maps equipped with a spanning forest), we derive from this system, in the case of triangulations, an explicit differential equation of order 2 defining the generating function. For general planar maps, we also obtain a differential equation of order 3 for the four-colour case and for the self-dual Potts model.


title: Renormalization of Extended QCD$_2$

abstract: Extended QCD (XQCD) proposed by Kaplan [1] is an interesting reformulation of QCD with additional bosonic auxiliary fields. While its partition function is kept exactly the same as that of original QCD, XQCD naturally contains properties of low energy hadronic models. We analyze the renormalization group flow of two-dimensional (X)QCD, which is solvable in the limit of large number of colors Nc, to understand what kind of roles the auxiliary degrees of freedom play and how the hadronic picture emerges in the low energy region.


title: Casimir and van der Waals forces: Advances and problems

abstract: We review modern achievements and problems in physics of the van der Waals and Casimir forces which arise due to zero-point and thermal fluctuations of the electromagnetic field between closely spaced material surfaces. This subject attracted great experimental and theoretical attention during the last few years because the fluctuation-induced forces find a lot of applications in both fundamental physics and nanotechnology. After a short introduction to the subject, we describe main experimental and theoretical results obtained in the field during the last fifteen years. In the following presentation, we discuss some of the recent results by the authors and their collaborators which are of high promise for future developments. Specifically, we consider new features of the Casimir force acting between a gold sphere and an indium tin oxide plate, present the experimental and theoretical results on measuring the Casimir interaction between two gold surfaces by means of dynamic atomic force microscope, and outline first measurements of the Casimir interaction between magnetic surfaces and related theory. Special attention is devoted to the Casimir effect for graphene, which is the prospective material for microelectromechanical devices of next generations.


title: Non-relativistic matter and Dark energy in a quantum conformal model

abstract: We consider a generalization of the standard model which respects quantum conformal invariance. This model leads to identically zero vacuum energy. We show how non-relativistic matter and dark energy arises in this model. Hence the model is shown to be consistent with observations.


title: Equivariant smoothing of piecewise linear manifolds

abstract: We prove that every piecewise linear manifold of dimension up to four on which a finite group acts by piecewise linear homeomorphisms admits a compatible smooth structure with respect to which the group acts smoothly. This solves a challenge posed by Thurston in dimension three and confirms a conjecture by Kwasik and Lee in dimension four in a stronger form.