title: On the origin of the discrepancy between the expected and observed results at KamLAND

abstract: After a logically clear and simple solution of the solar neutrino problem on the basis of the hypothesis about the existence of a new interaction involving electron neutrinos and nucleons, the question arose about the origin of the distinction between the expected and observed results of the experiment with reactor antineutrino at KamLAND. In the present work, a significant attenuation of light during its propagation in the KamLAND liquid scintillator is noted, the effect of which on the observability of the expected inverse beta-decay events and on the reconstruction of their characteristics has not been adequately analyzed. Because of this, we do not consider the declared results of the KamLAND experiment as reliable.


title: Human Pose Estimation using Deep Consensus Voting

abstract: In this paper we consider the problem of human pose estimation from a single still image. We propose a novel approach where each location in the image votes for the position of each keypoint using a convolutional neural net. The voting scheme allows us to utilize information from the whole image, rather than rely on a sparse set of keypoint locations. Using dense, multi-target votes, not only produces good keypoint predictions, but also enables us to compute image-dependent joint keypoint probabilities by looking at consensus voting. This differs from most previous methods where joint probabilities are learned from relative keypoint locations and are independent of the image. We finally combine the keypoints votes and joint probabilities in order to identify the optimal pose configuration. We show our competitive performance on the MPII Human Pose and Leeds Sports Pose datasets.


title: Generating reversible circuits from higher-order functional programs

abstract: Boolean reversible circuits are boolean circuits made of reversible elementary gates. Despite their constrained form, they can simulate any boolean function. The synthesis and validation of a reversible circuit simulating a given function is a difficult problem. In 1973, Bennett proposed to generate reversible circuits from traces of execution of Turing machines. In this paper, we propose a novel presentation of this approach, adapted to higher-order programs. Starting with a PCF-like language, we use a monadic representation of the trace of execution to turn a regular boolean program into a circuit-generating code. We show that a circuit traced out of a program computes the same boolean function as the original program. This technique has been successfully applied to generate large oracles with the quantum programming language Quipper.


title: Separating a chart

abstract: In this paper, we shall show a condition for that a chart is C-move equivalent to the product of two charts, the union of two charts $\Gamma^*$ and $\Gamma^{**}$ which are contained in disks $D^*$ and $D^{**}$ with $D^*\cap D^{**}=\emptyset$.


title: Hydrophobic repulsion and its origin

abstract: The fundamental role of hydrophobic interactions in nature and technology has motivated decades long research aimed at measuring the distance-dependent hydrophobic force and identifying its origin. This quest has nevertheless proved more elusive than anticipated and the nature of the interaction at distances shorter than 2-3 nanometers, or even its sign, have never been conclusively determined. Employing an ultra-high resolution frequency-modulation atomic force microscope (FM-AFM) we succeeded in measuring the interaction at all distances and discovered that the commonly observed attraction at 3-10 nanometer distances turns into pronounced repulsion below 0.3-3 nanometers, depending on the hydrophobicity of the AFM tip and the surface. This generic short-range repulsion disproves the prevailing dogma that hydrophobic interactions are attractive at all distances, hence bearing on practically all biological and technological hydrophobic phenomena. The short-range repulsion, as well as the mid-range attraction, are traced by experiment and theory to the prevalent air accumulation near hydrophobic surfaces.


title: A Flexible Galerkin Scheme for Option Pricing in L\'evy Models

abstract: One popular approach to option pricing in L\'evy models is through solving the related partial integro differential equation (PIDE). For the numerical solution of such equations powerful Galerkin methods have been put forward e.g. by Hilber et al. (2013). As in practice large classes of models are maintained simultaneously, flexibility in the driving L\'evy model is crucial for the implementation of these powerful tools. In this article we provide such a flexible finite element Galerkin method. To this end we exploit the Fourier representation of the infinitesimal generator, i.e. the related symbol, which is explicitly available for the most relevant L\'evy models. Empirical studies for the Merton, NIG and CGMY model confirm the numerical feasibility of the method.


title: Two-Dimensional Wide-Band-Gap II-V Semiconductors with a Dilated Graphene-like Structure

abstract: Since the advent of graphene, two-dimensional (2D) materials become very attractive and there is growing interest to explore new 2D beyond graphene. Here, through density functional theory (DFT) calculations, we predict 2D wide-band-gap II-V semiconductor materials of M$_3$X$_2$ (M=Zn, Cd and X=N, P, As) with a dilated graphene-like honeycomb structure. The structure features that the group-V X atoms form two X-atomic planes symmetrically astride the centering group-IIB M atomic plane. The 2D Zn$_3$N$_2$, Zn$_3$P$_2$, and Zn$_3$As$_2$ are shown to have direct band gaps of 2.87, 3.81, and 3.55 eV, respectively, and the 2D Cd$_3$N$_2$, Cd$_3$P$_2$, and Cd$_3$As$_2$ exhibit indirect band gaps of 2.74, 3.51, and 3.29 eV, respectively. Each of the six 2D materials is shown to have effective carrier (either hole or electron) masses down to $0.03\sim 0.05$ $m_0$. The structural stability and feasibility of experimental realization of these 2D materials has been shown in terms of DFT phonon spectra and total energy comparison with related existing bulk materials. On the experimental side, there already are many similar two-coordinate structures of Zn and other transition metals in various organic materials, which can be considered to support our DFT prediction. Therefore, these 2D semiconductors can enrich the family of 2D electronic materials and may have promising potential for achieving novel transistors and optoelectronic devices.


title: Monolayer MXenes: promising half-metals and spin gapless semiconductors

abstract: Half-metals and spin gapless semiconductors are promising candidates for spintronic applications due to the complete (100%) spin polarization of electrons around the Fermi level. Based on recent experimental and theoretical findings of graphene-like monolayer transition metal carbides and nitrides (also known as MXenes), we demonstrate from first-principles calculations that monolayer Ti2C and Ti2N exhibit nearly half-metallic ferromagnetism with the magnetic moments of 1.91 and 1.00 UB per formula unit, respectively, while monolayer V2C is a metal with instable antiferromagnetism, and monolayer V2N is a nonmagnetic metal. Interestingly, under a biaxial strain, there is a phase transition from nearly half-metal to truly half-metal, spin gapless semiconductor, and metal for monolayer Ti2C. Monolayer Ti2N is still a nearly half-metal under a proper biaxial strain. Large magnetic moments can be induced by the biaxial tensile and compressive strains for monolayer V2C and V2N, respectively. We also show that the structures of these four monolayer MXenes are stable according to the calculated formation energy and phonon spectrum. Our investigations suggest that, unlike monolayer graphene, monolayer MXenes Ti2C and Ti2N without vacancy, doping or external electric field exhibit intrinsic magnetism, especially the half-metallic ferromagnetism and spin gapless semiconductivity, which will stimulate further studies on possible spintronic applications for new two-dimensional materials of MXenes.


title: On conclusive eavesdropping and measures of mutual information in quantum key distribution

abstract: We address the question of quantifying eavesdropper's information gain in an individual attack on systems of quantum key distribution. It is connected with the concept of conclusive eavesdropping introduced by Brandt. Using the BB84 protocol, we examine the problem of estimating a performance of conclusive entangling probe. The question of interest depends on the choice of a quantitative measure of eavesdropper's information about the error-free sifted bits. The Fuchs--Peres--Brandt probe realizes a very powerful individual attack on the BB84 scheme. In the usual formulation, Eve utilizes the Helstrom scheme in distinguishing between the two output probe states. In conclusive eavesdropping, the unambiguous discrimination is used. Comparing these two versions allows to demonstrate serious distinctions between widely used quantifiers of mutual information. In particular, the so-called R\'{e}nyi mutual information does not seem to be a completely legitimate measure of an amount of mutual information. It is brightly emphasized with the example of conclusive eavesdropping.


title: Sahlqvist via Translation

abstract: In recent years, unified correspondence has been developed as a generalized Sahlqvist theory which applies uniformly to all signatures of normal and regular (distributive) lattice expansions. This includes a general definition of the Sahlqvist and inductive formulas and inequalities in every such signature, based on order theory. This definition covers in particular all (bi-)intuitionistic modal logics. The theory of these logics has been intensively studied over the past seventy years in connection with classical polyadic modal logics, using suitable versions of Goedel-McKinsey-Tarski translations as main tools. It is therefore natural to ask (1) whether a general perspective on Goedel-McKinsey-Tarski translations can be attained, also based on order-theoretic principles like those underlying the general definition of Sahlqvist and inductive formulas and inequalities, which accounts for the known Goedel-McKinsey-Tarski translations and applies uniformly to all signatures of normal (distributive) lattice expansions; (2) whether this general perspective can be used to transfer correspondence and canonicity theorems for Sahlqvist and inductive formulas and inequalities in all signatures described above under Goedel-McKinsey-Tarski translations. In the present paper, we set out to answer these questions. We answer (1) in the affirmative; as to (2), we prove the transfer of the correspondence theorem for inductive inequalities of arbitrary signatures of normal distributive lattice expansions. We also prove the transfer of canonicity for inductive inequalities, but only restricted to arbitrary normal modal expansions of bi-intuitionistic logic. We also analyze the difficulties involved in obtaining the transfer of canonicity outside this setting, and indicate a route to extend the transfer of canonicity to all signatures of normal distributive lattice expansions.


title: Lattice Boltzmann simulation of separation phenomenon in a binary gaseous flow through a microchannel

abstract: Gas separation of a binary gaseous mixture is one of characteristic phenomena in the micro-scale flows that differ from the conventional size flows. In this work, the separation in a binary gas mixture flows through a microchannel is investigated by the lattice Boltzmann method with a diffuse-bounce-back (DBB) boundary condition. The separation degree and rate are measured in the He--Ar and Ne--Ar systems for different mole fractions, pressure ratios, and Knudsen numbers. The results show that the separation phenomenon in the He--Ar mixture is more obvious than that in the Ne--Ar mixture at the same mole fraction owing to the larger molecular mass ratio. In addition, the increase in the pressure ratio reduces the difference in the molecular velocities between the two species, and the separation phenomenon becomes weaker. However, the gas separation is enhanced with an increase in the Knudsen number. This is because the resulting rarefaction effect reduces the interactions between the gas molecules of the two species, and thus increases the difference in the molecular velocity.


title: Nano-domain formation in charged membranes: Beyond Debye-Huckel approximation

abstract: We investigate the microphase separation in a membrane composed of charged lipid, by taking into account explicitly the electrostatic potential and the ion densities in the surrounding solvent. While the overall (membrane and solvent) charge neutrality is assumed, the membrane can have a non-zero net charge. The static structure factor in the homogeneous state is analytically obtained without using the Debye-Huckel approximation and is found to have a peak at an intermediate wave number. For a binary membrane composed of anionic and neutral lipids, the characteristic wave number corresponds to a scale from several to tens of nanometers. Our numerical calculation further predicts the existence of nano-domains in charged membranes.


title: Linearization and categorification

abstract: We discuss the notion of linearization through examples, which include the Price map, PageRank, representation theory, the Euler characteristic and quantum invariants. We also review categorification, which adds an additional layer of structure, in the context of the last two examples.


title: Orbital Circularization of Hot and Cool Kepler Eclipsing Binaries

abstract: The rate of tidal circularization is predicted to be faster for relatively cool stars with convective outer layers, compared to hotter stars with radiative outer layers. Observing this effect is challenging, because it requires large and well-characterized samples including both hot and cool stars. Here we seek evidence for the predicted dependence of circularization upon stellar type, using a sample of 945 eclipsing binaries observed by Kepler. This sample complements earlier studies of this effect, which employed smaller samples of better-characterized stars. For each Kepler binary we measure $e\cos\omega$ based on the relative timing of the primary and secondary eclipses. We examine the distribution of $e\cos\omega$ as a function of period for binaries composed of hot stars, cool stars, and mixtures of the two types. At the shortest periods, hot-hot binaries are most likely to be eccentric; for periods shorter than 4 days, significant eccentricities occur frequently for hot-hot binaries, but not for hot-cool or cool-cool binaries. This is in qualitative agreement with theoretical expectations based on the slower dissipation rates of hot stars. However, the interpretation of our results is complicated by the largely unknown ages and evolutionary states of the stars in our sample.


title: A Wiener Lemma for the discrete Heisenberg group: Invertibility criteria and applications to algebraic dynamics

abstract: This article contains a Wiener Lemma for the convolution algebra $\ell^1(\mathbb H,\mathbb C)$ and group $C^\ast$-algebra $C^\ast(\mathbb H)$ of the discrete Heisenberg group $\mathbb H$. At first, a short review of Wiener's Lemma in its classical form and general results about invertibility in group algebras of nilpotent groups will be presented. The known literature on this topic suggests that invertibility investigations in the group algebras of $\mathbb H$ rely on the complete knowledge of $\widehat{\mathbb H}$ -- the dual of $\mathbb H$, i.e., the space of unitary equivalence classes of irreducible unitary representations. We will describe the dual of ${\mathbb H}$ explicitly and discuss its structure. Wiener's Lemma provides a convenient condition to verify invertibility in $\ell^1(\mathbb H,\mathbb C)$ and $C^\ast(\mathbb H)$ which bypasses $\widehat{\mathbb H}$. The proof of Wiener's Lemma for $\mathbb H$ relies on local principles and can be generalised to countable nilpotent groups. As our analysis shows, the main representation theoretical objects to study invertibility in group algebras of nilpotent groups are the corresponding primitive ideal spaces. Wiener's Lemma for $\mathbb H$ has interesting applications in algebraic dynamics and Time-Frequency Analysis which will be presented in this article as well.


title: Exploring Dense and Cold QCD in Magnetic Fields

abstract: Strong magnetic fields are commonly generated in off-central relativistic heavy-ion collisions in the Relativistic Heavy Ion Collider (RHIC) at Brookhaven National Lab and in the Large Hadron Collider at CERN and have been used to probe the topological configurations of the QCD vacua. A strong magnetic field can affect the character and location of the QCD critical point, influence the QCD phases, and lead to anomalous transport of charge. To take advantage of the magnetic field as a probe of QCD at higher baryon densities, we are going to need experiments capable to scan the lower energy region. In this context, the nuclotron-based ion collider facility (NICA) at JINR offers a unique opportunity to explore such a region and complement alternative programs at RHIC and other facilities. In this paper we discuss some relevant problems of the interplay between QCD and magnetic fields and the important role the experiments at NICA can play in tackling them.


title: Distribution of the trace of Frobenius on average for rank 2 Drinfeld modules

abstract: Let $q$ be an odd prime power, $a \in \mathbb{F}_q[T]$ and $u \in \mathbb{F}_q^*$. Provided $q \geq 17$, we compute the average number of primes $p$ for which the characteristic polynomial of the Frobenius at $p$ is $X^2 - aX + up$ over a family of rank 2 Drinfeld $ \mathbb{F}_q[T]$-modules. Our results give asymptotic formulas in the $x$-limit.


title: A global fit of the $\gamma$-ray galactic center excess within the scalar singlet Higgs portal model

abstract: We analyse the excess in the $\gamma$-ray emission from the center of our galaxy observed by Fermi-LAT in terms of dark matter annihilation within the scalar Higgs portal model. In particular, we include the astrophysical uncertainties from the dark matter distribution and allow for unspecified additional dark matter components. We demonstrate through a detailed numerical fit that the strength and shape of the $\gamma$-ray spectrum can indeed be described by the model in various regions of dark matter masses and couplings. Constraints from invisible Higgs decays, direct dark matter searches, indirect searches in dwarf galaxies and for $\gamma$-ray lines, and constraints from the dark matter relic density reduce the parameter space to dark matter masses near the Higgs resonance. We find two viable regions: one where the Higgs-dark matter coupling is of ${\cal O}(10^{-2})$, and an additional dark matter component beyond the scalar WIMP of our model is preferred, and one region where the Higgs-dark matter coupling may be significantly smaller, but where the scalar WIMP constitutes a significant fraction or even all of dark matter. Both viable regions are hard to probe in future direct detection and collider experiments.


title: Evolution of One-Dimensional Wind-Driven Sea Spectra

abstract: We analyze modern operational models of wind wave prediction on the subject for compliance dissipation. Our numerical simulations from the "first principle" demonstrate that heuristic formulas for damping rate of free wind sea due to "white capping" (or wave breaking) dramatically exaggerates the role of this effect in these models.


title: The normal order of of the divisor-counting function for invariants of rank 2 Drinfeld modules

abstract: We compute the first and second moments of the divisor-counting function for the Euler-Poincar\'{e} characteristic and the trace of Frobenius for the reductions modulo $p$ of a rank 2 Drinfeld module with nontrivial endomorphism ring, as the prime $p$ varies over the primes of ordinary reduction of the Drinfeld module. From these moments we derive the normal order of the number of prime divisors of these invariants.


title: A Polyhedral Study of the Static Probabilistic Lot-Sizing Problem

abstract: We study the polyhedral structure of the static probabilistic lot-sizing problem and propose valid inequalities that integrate information from the chance constraint and the binary setup variables. We prove that the proposed inequalities subsume existing inequalities for this problem, and they are facet-defining under certain conditions. In addition, we show that they give the convex hull description of a related stochastic lot-sizing problem. We propose a new formulation that exploits the simple recourse structure, which significantly reduces the number of variables and constraints of the deterministic equivalent program. This reformulation can be applied to general chance-constrained programs with simple recourse. The computational results show that the proposed inequalities and the new formulation are effective for the the static probabilistic lot-sizing problems.


title: The block-Poisson estimator for optimally tuned exact subsampling MCMC

abstract: Speeding up Markov Chain Monte Carlo (MCMC) for datasets with many observations by data subsampling has recently received considerable attention. A pseudo-marginal MCMC method is proposed that estimates the likelihood by data subsampling using a block-Poisson estimator. The estimator is a product of Poisson estimators, allowing us to update a single block of subsample indicators in each MCMC iteration so that a desired correlation is achieved between the logs of successive likelihood estimates. This is important since pseudo-marginal MCMC with positively correlated likelihood estimates can use substantially smaller subsamples without adversely affecting the sampling efficiency. The block-Poisson estimator is unbiased but not necessarily positive, so the algorithm runs the MCMC on the absolute value of the likelihood estimator and uses an importance sampling correction to obtain consistent estimates of the posterior mean of any function of the parameters. Our article derives guidelines to select the optimal tuning parameters for our method and shows that it compares very favourably to regular MCMC without subsampling, and to two other recently proposed exact subsampling approaches in the literature.


title: Evolution of active categorical image classification via saccadic eye movement

abstract: Pattern recognition and classification is a central concern for modern information processing systems. In particular, one key challenge to image and video classification has been that the computational cost of image processing scales linearly with the number of pixels in the image or video. Here we present an intelligent machine (the "active categorical classifier," or ACC) that is inspired by the saccadic movements of the eye, and is capable of classifying images by selectively scanning only a portion of the image. We harness evolutionary computation to optimize the ACC on the MNIST hand-written digit classification task, and provide a proof-of-concept that the ACC works on noisy multi-class data. We further analyze the ACC and demonstrate its ability to classify images after viewing only a fraction of the pixels, and provide insight on future research paths to further improve upon the ACC presented here.


title: The Global Evolution of States of a Continuum Kawasaki Model with Repulsion

abstract: An infinite system of point particles performing random jumps in $\mathds{R}^d$ with repulsion is studied. The states of the system are probability measures on the space of particle's configurations. The result of the paper is the construction of the global in time evolution of states with the help of the corresponding correlation functions. It is proved that for each initial sub-Poissonian state $\mu_0$, the constructed evolution $\mu_0 \mapsto \mu_t$ preserves this property. That is, $\mu_t$ is sub-Poissonian for all $t>0$.


title: Shape optimisation with nonsmooth cost functions: from theory to numerics

abstract: This paper is concerned with the study of a class of nonsmooth cost functions subject to a quasi-linear PDE in Lipschitz domains in dimension two. We derive the Eulerian semi-derivative of the cost function by employing the averaged adjoint approach and maximal elliptic regularity. Furthermore we characterise stationary points and show how to compute steepest descent direc- tions theoretically and practically. Finally, we present some numerical results for a simple toy problem and compare them with the smooth case. We also compare the convergence rates and obtain higher rates in the nonsmooth case.


title: Improving the Performance of Nested Lattice Codes Using Concatenation

abstract: A fundamental problem in coding theory is the design of an efficient coding scheme that achieves the capacity of the additive white Gaussian (AWGN) channel. The main objective of this short note is to point out that by concatenating a capacity-achieving nested lattice code with a suitable high-rate linear code over an appropriate finite field, we can achieve the capacity of the AWGN channel with polynomial encoding and decoding complexity. Specifically, we show that using inner Construction-A lattice codes and outer Reed-Solomon codes, we can obtain capacity-achieving codes whose encoding and decoding complexities grow as $O(N^2)$, while the probability of error decays exponentially in $N$, where $N$ denotes the blocklength. Replacing the outer Reed-Solomon code by an expander code helps us further reduce the decoding complexity to $O(N\log^2N)$. This also gives us a recipe for converting a high-complexity nested lattice code for a Gaussian channel to a low-complexity concatenated code without any loss in the asymptotic rate. As examples, we describe polynomial-time coding schemes for the wiretap channel, and the compute-and-forward scheme for computing integer linear combinations of messages.


title: Representation rings for fusion systems and dimension functions

abstract: We define the representation ring of a saturated fusion system $\mathcal F$ as the Grothendieck ring of the semiring of $\mathcal F$-stable representations, and study the dimension functions of $\mathcal F$-stable representations using the transfer map induced by the characteristic idempotent of $\mathcal F$. We find a list of conditions for an $\mathcal F$-stable super class function to be realized as the dimension function of an $\mathcal F$-stable virtual representation. We also give an application of our results to constructions of finite group actions on homotopy spheres.


title: The way forward

abstract: For the last few decades the study of disks around stars young and old and of different types have progressed significantly. During the same time a completely new discipline, the study of exoplanets, planets orbiting stars other than our Sun, have emerged. Both these fields, which are interconnected, have benefited from the development of new instrumentation, and especially by telescopes and detectors deployed in space. In this chapter we are describing the state of the art of such instruments and make an inventory of what is being currently developed. We also state some of the requirements of the next steps and what type of instruments will lead the way forward.


title: Grain-size dependent demagnetizing factors in permanent magnets

abstract: The coercive field of permanent magnets decreases with increasing grain size. The grain size dependence of coercivity is explained by a size dependent demagnetizing factor. In Dy free Nd$_2$Fe$_{14}$B magnets the size dependent demagnetizing factor ranges from 0.2 for a grain size of 55 nm to 1.22 for a grain size of 8300 nm. The comparison of experimental data with micromagnetic simulations suggests that the grain size dependence of the coercive field in hard magnets is due to the non-uniform magnetostatic field in polyhedral grains.


title: DeLight-Net: Decomposing Reflectance Maps into Specular Materials and Natural Illumination

abstract: In this paper we are extracting surface reflectance and natural environmental illumination from a reflectance map, i.e. from a single 2D image of a sphere of one material under one illumination. This is a notoriously difficult problem, yet key to various re-rendering applications. With the recent advances in estimating reflectance maps from 2D images their further decomposition has become increasingly relevant. To this end, we propose a Convolutional Neural Network (CNN) architecture to reconstruct both material parameters (i.e. Phong) as well as illumination (i.e. high-resolution spherical illumination maps), that is solely trained on synthetic data. We demonstrate that decomposition of synthetic as well as real photographs of reflectance maps, both in High Dynamic Range (HDR), and, for the first time, on Low Dynamic Range (LDR) as well. Results are compared to previous approaches quantitatively as well as qualitatively in terms of re-renderings where illumination, material, view or shape are changed.


title: Induced rotation from de Sitter-Godel-de Sitter phase transition

abstract: Therotationofthecosmicobjectsisauniversalphenomenonanditsoriginisstillanopenquestion.Here a model for the origin of rotation is presented. After an investigation of the phase transition of a scalar field in de Sitter and G\"odel backgrounds, the motion of a test particle during the phase transitions is studied. Then using computer simulation for a congruence of particles, we show that although the local induced rotation is nonzero, the global rotation is below the observational limit.


title: The Marshall-Olkin extended generalized Gompertz distribution

abstract: A new four-parameter model called the Marshall-Olkin extended generalized Gompertz distribution is introduced. Its hazard rate function can be constant, increasing, decreasing, upside-down bathtub or bathtub-shaped depending on its parameters. Some mathematical properties of this model such as expansion for the density function, moments, moment generating function, quantile function, mean deviations, mean residual life, order statistics and R\'enyi entropy are derived. The maximum likelihood technique is used to estimate the unknown model parameters and the observed information matrix is determined. The applicability of the proposed model is shown by means of a real data set.


title: Sensitivity of iterated function systems

abstract: The present work is concerned with the eqiucontinuity and sensitivity of iterated function systems (IFSs). Here, we consider more general case of IFSs, i.e. the IFSs generated by a family of relations. We generalize the concepts of transitivity, sensitivity and equicontinuity to these kinds of systems. This note investigates the relationships between these concepts. Then, several sufficient conditions for sensitivity of IFSs are presented. We introduce the notion of weak topologically exact for IFSs generated by a family of relations. It is proved that non-minimal weak topologically exact IFSs are sensitive. That yields to different examples of non-minimal sensitive systems which are not an M-system. Moreover, some interesting examples are given which provide some facts about the sensitive property of IFSs.


title: Identification via the Broadcast Channel

abstract: The identification (ID) capacity region of the two-receiver broadcast channel (BC) is shown to be the set of rate-pairs for which, for some distribution on the channel input, each receiver's ID rate does not exceed the mutual information between the channel input and the channel output that it observes. Moreover, the capacity region's interior is achieved by codes with deterministic encoders. The results are obtained under the average-error criterion, which requires that each receiver reliably identify its message whenever the message intended for the other receiver is drawn at random. They hold also for channels whose transmission capacity region is to-date unknown. Key to the proof is a new ID code construction for the single-user channel. Extensions to the BC with one-sided feedback and the three-receiver BC are also discussed: inner bounds on their ID capacity regions are obtained, and those are shown to be in some cases tight.


title: Trading Strategies Generated by Lyapunov Functions

abstract: Functional portfolio generation, initiated by E.R. Fernholz almost twenty years ago, is a methodology for constructing trading strategies with controlled behavior. It is based on very weak and descriptive assumptions on the covariation structure of the underlying market model, and needs no estimation of model parameters. In this paper, the corresponding generating functions $G$ are interpreted as Lyapunov functions for the vector process $\mu(\cdot)$ of market weights; that is, via the property that $G(\mu(\cdot))$ is a supermartingale under an appropriate change of measure. This point of view unifies, generalizes, and simplifies several existing results, and allows the formulation of conditions under which it is possible to outperform the market portfolio over appropriate time-horizons. From a probabilistic point of view, the present paper yields results concerning the interplay of stochastic discount factors and concave transformations of semimartingales on compact domains.


title: Timed Automata Approach for Motion Planning Using Metric Interval Temporal Logic

abstract: In this paper, we consider the robot motion (or task) planning problem under some given time bounded high level specifications. We use metric interval temporal logic (MITL), a member of the temporal logic family, to represent the task specification and then we provide a constructive way to generate a timed automaton and methods to look for accepting runs on the automaton to find a feasible motion (or path) sequence for the robot to complete the task.


title: Transverse wobbling motion in $^{134}$Ce and $^{136}$Nd

abstract: The existence of one-phonon and possible two-phonon transverse wobbling bands is proposed for the first time in two even-even nuclei, $^{134}$Ce and $^{136}$Nd. The predominant $E2$ character of the $\Delta I = 1$ transitions connecting the one-phonon wobbling band in $^{134}$Ce to the two-quasiparticle yrast band supports the wobbling interpretation. The extracted wobbling frequencies decrease with increasing spin, indicating the transverse character of the wobbling motion, with the angular momenta of the two quasiparticles aligned perpendicular to the axis of collective rotation. A candidate for two-phonon wobbling motion is also proposed in $^{136}$Nd. The wobbling frequencies calculated in the harmonic frozen approximation are in good agreement with the experimental ones for both the$^{134}$Ce and $^{136}$Nd nuclei.


title: Influence of defect thickness on the angular dependence of coercivity in rare-earth permanent magnets

abstract: The coercive field and angular dependence of the coercive field of single-grain Nd$_{2}$Fe$_{14}$B permanent magnets are computed using finite element micromagnetics. It is shown that the thickness of surface defects plays a critical role in determining the reversal process. For small defect thicknesses reversal is heavily driven by nucleation, whereas with increasing defect thickness domain wall de-pinning becomes more important. This change results in an observable shift between two well-known behavioral models. A similar trend is observed in experimental measurements of bulk samples, where a Nd-Cu infiltration process has been used to enhance coercivity by modifying the grain boundaries. When account is taken of the imperfect grain alignment of real magnets, the single-grain computed results appears to closely match experimental behaviour.


title: Effectiveness of Hindman's theorem for bounded sums

abstract: We consider the strength and effective content of restricted versions of Hindman's Theorem in which the number of colors is specified and the length of the sums has a specified finite bound. Let $\mathsf{HT}^{\leq n}_k$ denote the assertion that for each $k$-coloring $c$ of $\mathbb{N}$ there is an infinite set $X \subseteq \mathbb{N}$ such that all sums $\sum_{x \in F} x$ for $F \subseteq X$ and $0 < |F| \leq n$ have the same color. We prove that there is a computable $2$-coloring $c$ of $\mathbb{N}$ such that there is no infinite computable set $X$ such that all nonempty sums of at most $2$ elements of $X$ have the same color. It follows that $\mathsf{HT}^{\leq 2}_2$ is not provable in $\mathsf{RCA}_0$ and in fact we show that it implies $\mathsf{SRT}^2_2$ in $\mathsf{RCA}_0$. We also show that there is a computable instance of $\mathsf{HT}^{\leq 3}_3$ with all solutions computing $0'$. The proof of this result shows that $\mathsf{HT}^{\leq 3}_3$ implies $\mathsf{ACA}_0$ in $\mathsf{RCA}_0$.


title: 750 GeV Diphoton Resonance in Warped Geometries

abstract: We examine the scenario of a warped extra dimension containing bulk SM fields in light of the observed diphoton excess at 750 GeV. We demonstrate that a spin-2 graviton whose action contains localized kinetic brane terms for both gravity and gauge fields is compatible with the excess, while being consistent with all other constraints. The graviton sector of this model contains a single free parameter, once the mass of the graviton is fixed. The scale of physics on the IR-brane is found to lie in the range of a $\sim$ few TeV, relevant to the gauge hierarchy. There remains significant flexibility in the coupled gauge/fermion KK sectors to address the strong constraints arising from precision measurements.


title: Exceptionally simple PDE

abstract: We give local descriptions of parabolic contact structures and show how their flat models yield explicit PDE having symmetry algebras isomorphic to all complex simple Lie algebras except $\mathfrak{sl}_2$. This yields a remarkably uniform generalization of the Cartan-Engel models from 1893 in the $G_2$ case. We give a formula for the harmonic curvature of a $G_2$-contact structure and describe submaximally symmetric models for general $G$-contact structures.


title: Predictive Modeling of Opinion and Connectivity Dynamics in Social Networks

abstract: Recent years saw an increased interest in modeling and understanding the mechanisms of opinion and innovation spread through human networks. Using analysis of real-world social data, researchers are able to gain a better understanding of the dynamics of social networks and subsequently model the changes in such networks over time. We developed a social network model that both utilizes an agent-based approach with a dynamic update of opinions and connections between agents and reflects opinion propagation and structural changes over time as observed in real-world data. We validate the model using data from the Social Evolution dataset of the MIT Human Dynamics Lab describing changes in friendships and health self-perception in a targeted student population over a nine-month period. We demonstrate the effectiveness of the approach by predicting changes in both opinion spread and connectivity of the network. We also use the model to evaluate how the network parameters, such as the level of `openness' and willingness to incorporate opinions of neighboring agents, affect the outcome. The model not only provides insight into the dynamics of ever changing social networks, but also presents a tool with which one can investigate opinion propagation strategies for networks of various structures and opinion distributions.


title: Negative Learning Rates and P-Learning

abstract: We present a method of training a differentiable function approximator for a regression task using negative examples. We effect this training using negative learning rates. We also show how this method can be used to perform direct policy learning in a reinforcement learning setting.


title: Nonlocality from local contextuality

abstract: We experimentally show that nonlocality can be produced from single-particle contextuality by using two-particle correlations which do not violate any Bell inequality by themselves. This demonstrates that nonlocality can come from an {\em a priori} different simpler phenomenon, and connects contextuality and nonlocality, the two critical resources for, respectively, quantum computation and secure communication. From the perspective of quantum information, our experiment constitutes a proof of principle that quantum systems can be used simultaneously for both quantum computation and secure communication.


title: Chromatic roots and minor-closed families of graphs

abstract: Given a minor-closed class of graphs $\mathcal{G}$, what is the infimum of the non-trivial roots of the chromatic polynomial of $G \in \mathcal{G}$? When $\mathcal{G}$ is the class of all graphs, the answer is known to be $32/27$. We answer this question exactly for three minor-closed classes of graphs. Furthermore, we conjecture precisely when the value is larger than $32/27$.


title: Highly nonlinear wave solutions in a dual to the chiral model

abstract: We consider a two-dimensional scalar field theory with a nilpotent current algebra, which is dual to the Principal Chiral Model. The quantum theory is renormalizable and not asymptotically free: the theory is strongly coupled at short distances (encountering a Landau pole). We suggest it can serve as a toy model for $\lambda\phi^{4}$ theory in four dimensions, just as the principal chiral model is a useful toy model for Yang-Mills theory. We find some classical wave solutions that survive the strong coupling limit and quantize them by the collective variable method. They describe excitations with an unusual dispersion relation $\omega\propto|k|^{\frac{2}{3}}$ . Perhaps they are the "preons" at strong coupling, whose bound states form massless particles over long distances.


title: The C(3P) + NH3 reaction in interstellar chemistry: I. Investigation of the product formation channels

abstract: The product formation channels of ground state carbon atoms, C(3P), reacting with ammonia, NH3, have been investigated using two complementary experiments and electronic structure calculations. Reaction products are detected in a gas flow tube experiment (330 K, 4 Torr) using tunable VUV photoionization coupled with time of flight mass spectrometry. Temporal profiles of the species formed and photoionization spectra are used to identify primary products of the C + NH3 reaction. In addition, H-atom formation is monitored by VUV laser induced fluorescence from room temperature to 50 K in a supersonic gas flow generated by the Laval nozzle technique. Electronic structure calculations are performed to derive intermediates, transition states and complexes formed along the reaction coordinate. The combination of photoionization and laser induced fluorescence experiments supported by theoretical calculations indicate that in the temperature and pressure range investigated, the H + H2CN production channel represents 100% of the product yield for this reaction. Kinetics measurements of the title reaction down to 50 K and the effect of the new rate constants on interstellar nitrogen hydride abundances using a model of dense interstellar clouds are reported in paper II.


title: Conductance of a proximitized nanowire in the Coulomb blockade regime

abstract: We identify the leading processes of electron transport across finite-length segments of proximitized nanowires and build a quantitative theory of their two-terminal conductance. In the presence of spin-orbit interaction, a nanowire can be tuned across the topological transition point by an applied magnetic field. Due to a finite segment length, electron transport is controlled by the Coulomb blockade. Upon increasing of the field, the shape and magnitude of the Coulomb blockade peaks in the linear conductance is defined, respectively, by Andreev reflection, single-electron tunneling, and resonant tunneling through the Majorana modes emerging after the topological transition. Our theory provides the framework for the analysis of experiments with proximitized nanowires, such as reported in Albrecht et al., Nature 531, 206-209 (2016), and identifies the signatures of the topological transition in the two-terminal conductance.


title: Engineering Holographic Superconductor Phase Diagrams

abstract: We study how to engineer holographic models with features of a high temperature superconductor phase diagram. We introduce a field in the bulk which provides a tunable "doping" parameter in the boundary theory. By designing how this field changes the effective masses of other order parameter fields, desired phase diagrams can be engineered. We give examples of generating phase diagrams with phase boundaries similar to a superconducting dome and an anti-ferromagnetic phase by including two order parameter fields. We also explore whether the pseudo gap phase can be described without adding another order parameter field and discuss the potential scaling symmetry associated with a quantum critical point hidden under the superconducting dome in this phase diagram.


title: Optimal design of a micro-tubular fuel cell

abstract: We discuss the problem of the optimal design of a micro-tubular fuel cell applying an inverse homogenization technique. Fuel cells are extremely clean and efficient electrochemical power generation devices, made up of a cathode/electrolyte/anode structure, whose energetic potential has not being fully exploited in propulsion systems in aeronautics due to their low power densities. Nevertheless, thanks to the recent development of additive layer manufacturing techniques (3D printing), complex structures usually impossible to design with conventional manufacturing techniques can be constructed with a low cost, allowing notably to build porous or foam-type structures for fuel cells. We seek thus to come up with the micro-structure of an arrangement of micro-tubular cathodes which maximizes the contact surface subject to a pressure drop and a permeability constraint. The optimal periodic design (fluid/solid) emerges from the application of a shape gradient algorithm coupled to a level-set method for the geometrical description of the corresponding cell problem.


title: Semirings for temporal network analysis

abstract: In the article, we describe a new algebraic approach to the temporal network analysis based on the notion of temporal quantities. We define the semiring for computing the foremost journey and the traveling semirings for the analysis of temporal networks where the latency is given, the waiting times are arbitrary, and some other information on the links are known. We use the operations in the traveling semiring to compute a generalized temporal betweenness centrality of the nodes that corresponds to the importance of the nodes with respect to the ubiquitous foremost journeys in a temporal network.


title: Towards Machine Intelligence

abstract: There exists a theory of a single general-purpose learning algorithm which could explain the principles of its operation. This theory assumes that the brain has some initial rough architecture, a small library of simple innate circuits which are prewired at birth and proposes that all significant mental algorithms can be learned. Given current understanding and observations, this paper reviews and lists the ingredients of such an algorithm from both architectural and functional perspectives.


title: Stability of perturbed geodesics in $nD$ axisymmetric spacetimes

abstract: The effect of self-gravity of a disk matter is evaluated by the simplest modes of oscillation frequencies for perturbed circular geodesics. It is plotted the radial profiles of free oscillations of an equatorial circular geodesic perturbed within the orbital plane or in the vertical direction. The calculation is carried out to geodesics of an axisymmetric $n$-dimensional spacetime. The profiles are computed by examples of disks embeded in five-dimensional or six-dimensional spacetime, where it is studied the motion of free test particles for three axisymmetric cases: (i) the Newtonian limit of a general proposed $5D$ and $6D$ axisymmetric spacetime; (ii) a simple Randall-Sundrum $5D$ spacetime; (iii) general $5D$ and $6D$ Randall-Sundrum spacetime. The equation of motion of such particles is derived and the stability study is computed for both horizontal and vertical directions, to see how extra dimensions could affect the system. In particular, we investigate a disk constructed from Schwarzschild and Chazy-Curzon solutions with a simple extension for extra dimensions in the case (i), and by solving vacuum Einstein field equations for a kind of Randall-Sundrum-Weyl metric in cases (ii) and (iii). We find that it is possible to compute a range of possible solutions where such perturbed geodesics are stable. Basicaly, the stable solutions appear, for the radial direction, in special cases when the system has $5D$ and in all cases when the system has $6D$; and, for the axial direction, in all cases when the system has both $5D$ or $6D$.


title: The Sch\"utzenberger product for syntactic spaces

abstract: Starting from Boolean algebras of languages closed under quotients and using duality theoretic insights, we derive the notion of Boolean spaces with internal monoids as recognisers for arbitrary formal languages of finite words over finite alphabets. This leads to a setting that is well-suited for applying existing tools from Stone duality as applied in semantics. The main focus of the paper is the development of topo-algebraic constructions pertinent to the treatment of languages given by logic formulas. In particular, using the standard semantic view of quantification as projection, we derive a notion of Sch\"utzenberger product for Boolean spaces with internal monoids. This makes heavy use of the Vietoris construction, and its dual functor, which is central to the coalgebraic treatment of classical modal logic. We show that the unary Sch\"utzenberger product for spaces, when applied to a recogniser for the language associated to a formula with a free first-order variable, yields a recogniser for the language of all models of the corresponding existentially quantified formula. Further, we generalise global and local versions of the theorems of Sch\"utzenberger and Reutenauer characterising the languages recognised by the binary Sch\"utzenberger product. Finally, we provide an equational characterisation of Boolean algebras obtained by local Sch\"utzenberger product with the one element space based on an Egli-Milner type condition on generalised factorisations of ultrafilters on words.


title: On positivity of Kauffman bracket skein algebras of surfaces

abstract: We show that the Chebyshev polynomials form a basic block of any positive basis of the Kauffman bracket skein algebras of surfaces.


title: Ultrafast fluorescent decay induced by metal-mediated dipole-dipole interaction in two-dimensional molecular aggregates

abstract: Two-dimensional molecular aggregate (2DMA), a thin sheet of strongly interacting dipole molecules self-assembled at close distance on an ordered lattice, is a fascinating fluorescent material. It is distinctively different from the single or colloidal dye molecules or quantum dots in most previous research. In this paper, we verify for the first time that when a 2DMA is placed at a nanometric distance from a metallic substrate, the strong and coherent interaction between the dipoles inside the 2DMA dominates its fluorescent decay at picosecond timescale. Our streak-camera lifetime measurement and interacting lattice-dipole calculation reveal that the metal-mediated dipole-dipole interaction shortens the fluorescent lifetime to about one half and increases the energy dissipation rate by ten times than expected from the noninteracting single-dipole picture. Our finding can enrich our understanding of nanoscale energy transfer in molecular excitonic systems and may designate a new direction for developing fast and efficient optoelectronic devices.

categories: physics.optics cond-mat.mes-hall cond-mat.mtrl-sci physics.atm-clus physics.chem-ph


title: Quantum Revivals in Conformal Field Theories in Higher Dimensions

abstract: We investigate the behavior of the return amplitude ${\cal F}(t)= |\langle\Psi(0)|\Psi(t)\rangle|$ following a quantum quench in a conformal field theory (CFT) on a compact spatial manifold of dimension $d-1$ and linear size $O(L)$, from a state $|\Psi(0)\rangle$ of extensive energy with short-range correlations. After an initial gaussian decay ${\cal F}(t)$ reaches a plateau value related to the density of available states at the initial energy. However for $d=3,4$ this value is attained from below after a single oscillation. For a holographic CFT the plateau persists up to times at least $O(\sigma^{1/(d-1)} L)$, where $\sigma\gg1$ is the dimensionless Stefan-Boltzmann constant. On the other hand for a free field theory on manifolds with high symmetry there are typically revivals at times $t\sim\mbox{integer}\times L$. In particular, on a sphere $S_{d-1}$ of circumference $2\pi L$, there is an action of the modular group on ${\cal F}(t)$ implying structure near all rational values of $t/L$, similarly to what happens for rational CFTs in $d=2$.


title: Generally Covariant Maxwell Theory for Media with a Local Response: Progress since 2000

abstract: In the recent decades, it became more and more popular for engineers, physicists, and mathematicians alike to put the Maxwell equations into a generally covariant form. This is particularly useful for understanding the fundamental structure of electrodynamics (conservation of electric charge and magnetic flux). Moreover, it is ideally suited for applying it to media with local (and mainly linear) response behavior. We try to collect the new knowledge that grew out of this development. We would like to ask the participants of EMTS 2016 to inform us of work that we may have overlooked in our review.


title: Equivalence of Deterministic walks on regular lattices on the plane

abstract: We consider deterministic walks on square, triangular and hexagonal two dimensional lattices. In each case, there is a scatterer at every site that can be in one of two states that force the walker to turn either to his/her immediate right or left. After the walker is scattered, the scatterer changes state. A lattice with an arrangement of scatterers is an environment. We show that there are only two environments for which the scattering rules are injective, mirrors or rotators, on the three lattices. On hexagonal lattices, B. Z. Webb and E. G. D. Cohen, proved that given an initial position and velocity of the walker and an environment of one type of scatterers, mirrrors or rotators, there is an environment of the other type such that the walks on both environments are equivalent, meaning they visit the same sites at the same time steps. We prove the equivalence of walks on square and triangular lattices and include a proof of the equivalence of walks on hexagonal lattices. The proofs are based both on the geometry of the lattice and the structure of the scattering rule.


title: Convolutional Networks for Fast, Energy-Efficient Neuromorphic Computing

abstract: Deep networks are now able to achieve human-level performance on a broad spectrum of recognition tasks. Independently, neuromorphic computing has now demonstrated unprecedented energy-efficiency through a new chip architecture based on spiking neurons, low precision synapses, and a scalable communication network. Here, we demonstrate that neuromorphic computing, despite its novel architectural primitives, can implement deep convolution networks that i) approach state-of-the-art classification accuracy across 8 standard datasets, encompassing vision and speech, ii) perform inference while preserving the hardware's underlying energy-efficiency and high throughput, running on the aforementioned datasets at between 1200 and 2600 frames per second and using between 25 and 275 mW (effectively > 6000 frames / sec / W) and iii) can be specified and trained using backpropagation with the same ease-of-use as contemporary deep learning. For the first time, the algorithmic power of deep learning can be merged with the efficiency of neuromorphic processors, bringing the promise of embedded, intelligent, brain-inspired computing one step closer.


title: On Sharpness of the Local Kato Smoothing Property of Dispersive Wave Equations

abstract: Constantin and Saut showed in 1988 that solutions of the Cauchy problem for general dispersive equations $$ w_t +iP(D)w=0,\quad w(x,0)=q (x), \quad x\in \mathbb{R}^n, \ t\in \mathbb{R} , $$ enjoy the local smoothing property $$ q\in H^s (\R ^n) \implies w\in L^2 \Big (-T,T; H^{s+\frac{m-1}{2}}_{loc} \left (\R^n\right )\Big ) , $$ where $m$ is the order of the pseudo-differential operator $P(D)$. This property, now called local Kato smoothing, was first discovered by Kato for the KdV equation and implicitly shown later by Sj\"olin for the linear Schr\"odinger equation. In this paper, we show that the local Kato smoothing property possessed by solutions general dispersive equations in the 1D case is sharp, meaning that there exist initial data $q\in H^s \left (\R \right )$ such that the corresponding solution $w$ does not belong to the space $ L^2 \Big (-T,T; H^{s+\frac{m-1}{2} +\epsilon}_{loc} \left (\R\right )\Big )$ for any $\epsilon >0$.


title: Interstellar chemical differentiation across grain sizes

abstract: In this work we investigate the effects of ion accretion and size-dependent dust temperatures on the abundances of both gas-phase and grain-surface species. While past work has assumed a constant areal density for icy species, we show that this assumption is invalid and the chemical differentiation over grain sizes are significant. We use a gas-grain chemical code to numerically demonstrate this in two typical interstellar conditions: dark cloud (DC) and cold neutral medium (CNM). It is shown that, although the grain size distribution variation (but with the total grain surface area unchanged) has little effect on the gas-phase abundances, it can alter the abundances of some surface species by factors up to $\sim2-4$ orders of magnitude. The areal densities of ice species are larger on smaller grains in the DC model as the consequence of ion accretion. However, the surface areal density evolution tracks are more complex in the CNM model due to the combined effects of ion accretion and dust temperature variation. The surface areal density differences between the smallest ($\sim 0.01\mu$m) and the biggest ($\sim 0.2\mu$m) grains can reach $\sim$1 and $\sim$5 orders of magnitude in the DC and CNM models, respectively.


title: Collective Influence Algorithm to find influencers via optimal percolation in massively large social media

abstract: We elaborate on a linear time implementation of the Collective Influence (CI) algorithm introduced by Morone, Makse, Nature 524, 65 (2015) to find the minimal set of influencers in a network via optimal percolation. We show that the computational complexity of CI is O(N log N) when removing nodes one-by-one, with N the number of nodes. This is made possible by using an appropriate data structure to process the CI values, and by the finite radius l of the CI sphere. Furthermore, we introduce a simple extension of CI when l is infinite, the CI propagation (CI_P) algorithm, that considers the global optimization of influence via message passing in the whole network and identifies a slightly smaller fraction of influencers than CI. Remarkably, CI_P is able to reproduce the exact analytical optimal percolation threshold obtained by Bau, Wormald, Random Struct. Alg. 21, 397 (2002) for cubic random regular graphs, leaving little improvement left for random graphs. We also introduce the Collective Immunization Belief Propagation algorithm (CI_BP), a belief-propagation (BP) variant of CI based on optimal immunization, which has the same performance as CI_P. However, this small augmented performance of the order of 1-2 % in the low influencers tail comes at the expense of increasing the computational complexity from O(N log N) to O(N^2 log N), rendering both, CI_P and CI_BP, prohibitive for finding influencers in modern-day big-data. The same nonlinear running time drawback pertains to a recently introduced BP-decimation (BPD) algorithm by Mugisha, Zhou, arXiv:1603.05781. For instance, we show that for big-data social networks of typically 200 million users (eg, active Twitter users sending 500 million tweets per day), CI finds the influencers in less than 3 hours running on a single CPU, while the BP algorithms (CI_P, CI_BP and BDP) would take more than 3,000 years to accomplish the same task.

categories: physics.soc-ph cond-mat.dis-nn cond-mat.stat-mech cs.SI


title: First and second order necessary conditions for stochastic optimal controls

abstract: The main purpose of this paper is to establish the first and second order necessary optimality conditions for stochastic optimal controls using the classical variational analysis approach. The control system is governed by a stochastic differential equation, in which both drift and diffusion terms may contain the control variable and the set of controls is allowed to be nonconvex. Only one adjoint equation is introduced to derive the first order necessary condition; while only two adjoint equations are needed to state the second order necessary conditions for stochastic optimal controls.


title: Krein's trace formula for unitary operators and operator Lipschitz functions

abstract: The main result of the paper is a description of the class of functions on the unit circle, for which Krein's trace formula holds for arbitrary pairs of unitary operators with trace class difference. We prove that this class of functions coincides with the class of operator Lipschitz functions.


title: Progress in Many Body Theory with the Equation of Motion method. Time dependent Density Matrix meets Self-Consistent RPA. Applications to solvable Models

abstract: The Bogoliubov-Born-Green-Kirkwood-Yvon or Time-Dependent Density Matrix (TDDM) hierarchy of equations for higher density matrices is truncated at the three body level in approximating the three body correlation function by a quadratic form of two body ones, closing the equations in this way. The procedure is discussed in detail and it is shown in non-trivial model cases that the approximate inclusion of three body correlation functions is very important to obtain precise results. A small amplitude approximation of this time dependent nonlinear equation for the two body correlation function is performed (STDDM*-b) and it is shown that the one body sector of this generalised non-linear second RPA equation is equivalent to the Self-Consistent RPA (SCRPA) approach which had been derived previously by different techniques. It is discussed in which way SCRPA also contains the three body correlations. TDDM and SCRPA are tested versus exactly solvable model cases.


title: Nonlinear waves in electromigration dispersion in a capillary

abstract: We construct exact solutions to an unusual nonlinear advection--diffusion equation arising in the study of Taylor--Aris (also known as shear) dispersion due to electroosmotic flow during electromigration in a capillary. An exact reduction to a Darboux equation is found under a traveling-wave anzats. The equilibria of this ordinary differential equation are analyzed, showing that their stability is determined solely by the (dimensionless) wave speed without regard to any (dimensionless) physical parameters. Integral curves, connecting the appropriate equilibria of the Darboux equation that governs traveling waves, are constructed, which in turn are shown to be asymmetric kink solutions ({\it i.e.}, non-Taylor shocks). Furthermore, it is shown that the governing Darboux equation exhibits bistability, which leads to two coexisting non-negative kink solutions for (dimensionless) wave speeds greater than unity. Finally, we give some remarks on other types of traveling-wave solutions and a discussion of some approximations of the governing partial differential equation of electromigration dispersion.


title: Phase diagrams and ordering in charged membranes: Binary mixtures of charged and neutral lipids

abstract: We propose a model describing the phase behavior of two-component membranes consisting of binary mixtures of electrically charged and neutral lipids. We take into account the structural phase transition (main-transition) of the hydrocarbon chains, and investigate the interplay between this phase transition and the lateral phase separation. The presence of charged lipids significantly affects the phase behavior of the multi-component membrane. Due to the conservation of lipid molecular volume, the main-transition temperature of charged lipids is lower than that of neutral ones. Furthermore, as compared with binary mixtures of neutral lipids, the membrane phase separation in binary mixtures of charged lipids is suppressed, in accord with recent experiments. We distinguish between two types of charged membranes: mixtures of charged saturated lipid/neutral unsaturated lipid and a second case of mixtures of neutral saturated lipid/charged unsaturated lipid. The corresponding phase behavior is calculated and shown to be very different. Finally, we discuss the effect of added salt on the phase separation and the temperature dependence of the lipid molecular area.

categories: cond-mat.soft cond-mat.mtrl-sci cond-mat.stat-mech physics.bio-ph physics.chem-ph


title: Small Ball Probabilities for the Infinite-Dimensional Ornstein-Uhlenbeck Process in Sobolev Spaces

abstract: While small ball, or lower tail, asymptotic for Gaussian measures generated by solutions of stochastic ordinary differential equations is relatively well understood, a lot less is known in the case of stochastic partial differential equations. The paper presents exact logarithmic asymptotics of the small ball probabilities in a scale of Sobolev spaces when the Gaussian measure is generated by the solution of a diagonalizable stochastic parabolic equation. Compared to the finite-dimensional case, new effects appear in a certain range of the Sobolev exponents.


title: Electric-field modulation of exchange stiffness in MgO/CoFeB with perpendicular anisotropy

abstract: We observe magnetic domain structures of MgO/CoFeB with a perpendicular magnetic easy axis under an electric field. The domain structure shows a maze pattern with electric-field dependent isotropic period. We find that the electric-field modulation of the period is explained by considering the electric-field modulation of the exchange stiffness constant in addition to the known magnetic anisotropy modulation.


title: Off-diagonal decay of toric Bergman kernels

abstract: We study the off-diagonal decay of Bergman kernels $\Pi_{h^k}(z,w)$ and Berezin kernels $P_{h^k}(z,w)$ for ample invariant line bundles over compact toric projective \kahler manifolds of dimension $m$. When the metric is real analytic, $P_{h^k}(z,w) \simeq k^m \exp - k D(z,w)$ where $D(z,w)$ is the diastasis. When the metric is only $C^{\infty}$ this asymptotic cannot hold for all $(z,w)$ since the diastasis is not even defined for all $(z,w)$ close to the diagonal. We prove that for general $C^{\infty}$ metrics, $P_{h^k}(z,w) \simeq k^m \exp - k D(z,w)$ as long as $w$ lies on the ${\mathbb R}_+^m$-orbit of $z$, and for general $(z,w)$, $\limsup_{k \to \infty} \frac{1}{k} \log P_{h^k}(z,w) \leq - D(z^*,w^*)$ where $D(z, w^*)$ is the diastasis between $z$ and the translate of $w$ by $(S^1)^m$ to the ${\mathbb R}_+^m$ orbit of $z$, complementary to Mike Christ's negative results (arXiv:1308.5644).


title: Construction of Three-Qubit Kochen-Specker Sets

abstract: Contextuality is one of the fundamental deviations of quantum mechanics from classical physics. The Kochen-Specker (KS) theorem shows that non-contextual classical physics with hidden variables is inconsistent with the predictions of quantum mechanics. Parity proof is one of the many different approaches applied to prove KS theorem for quantum system with different dimensionality. This method of proof requires KS sets that composed of an odd number of bases and an even number of projectors. In most of the cases, the number of KS sets produced is large and its production is generally aided by computer calculation. However, manually generation of KS sets are also reported previously for qutrit and two-qubit systems. We put forward the first and surprisingly simple method to generate manually KS sets, with respect to Mermin pentagram, that can be used for the parity proof of KS theorem in a state space of eight-dimensional three-qubit system .


title: The unimodality of the Ehrhart $\delta$-polynomial of the chain polytope of the zig-zag poset

abstract: We prove the unimodality of the Ehrhart $\delta$-polynomial of the chain polytope of the zig-zag poset, which was conjectured by Kirillov. First, based on a result due to Stanley, we show that this polynomial coincides with the $W$-polynomial for the zig-zag poset with some natural labeling. Then, its unimodality immediately follows from a result of Gasharov, which states that the $W$-polynomials of naturally labeled graded posets of rank $1$ or $2$ are unimodal.


title: Topology of holomorphic Lefschetz pencils on the four-torus

abstract: In this paper we discuss topological properties of holomorphic Lefschetz pencils on the four-torus. Relying on the theory of moduli spaces of polarized abelian surfaces, we first prove that, under some mild assumption, the (smooth) isomorphism class of a holomorphic Lefschetz pencil on the four-torus is uniquely determined by its genus and divisibility. We then explicitly give a system of vanishing cycles of the genus-3 holomorphic Lefschetz pencil on the four-torus due to Smith, and obtain those of holomorphic pencils with higher genera by taking finite unbranched coverings. One can also obtain the monodromy factorization associated with Smith's pencil in a combinatorial way. This construction allows us to generalize Smith's pencil to higher genera, which is a good source of pencils on the (topological) four-torus. As another application of the combinatorial construction, for any torus bundle over the torus with a section we construct a genus-3 Lefschetz pencil whose total space is homeomorphic to that of the given bundle.


title: Voltage Controlled Interfacial Layering in an Ionic Liquid on SrTiO$_3$

abstract: One prominent structural feature of ionic liquids near surfaces is formation of alternating layers of anions and cations. However, how this layering responds to applied potential is poorly understood. We focus on the structure of 1-butyl-1-methylpyrrolidinium tris(pentafluoroethyl) trifluorophosphate (BMPY-FAP) near the surface of a strontium titanate (SrTiO$_3$) electric double-layer transistor. Using x-ray reflectivity, we show that at positive bias, the individual layers in the ionic liquid double layer thicken and the layering persists further away from the interface. We model the reflectivity using a modified distorted crystal model with alternating cation and anion layers, which allows us to extract the charge density and the potential near the surface. We find that the charge density is strongly oscillatory with and without applied potential, and that with applied gate bias of 4.5 V the first two layers become significantly more cation rich than at zero bias, accumulating about $2.5 \times 10^{13}$ cm$^{-2}$ excess charge density.


title: Mechanism for the Large Conductance Modulation in Electrolyte-gated Thin Gold Films

abstract: Electrolyte gating using ionic liquid electrolytes has recently generated considerable interest as a method to achieve large carrier density modulations in a variety of materials. In noble metal thin films, electrolyte gating results in large changes in sheet resistance. The widely accepted mechanism for these changes is the formation of an electric double layer with a charged layer of ions in the liquid and accumulation or depletion of carriers in the thin film. We report here a different mechanism. In particular, we show using x-ray absorption near edge structure (XANES) that the previously reported large conductance modulation in gold films is due to reversible oxidation and reduction of the surface rather than the charging of an electric double layer. We show that the double layer capacitance accounts for less than 10\% of the observed change in transport properties. These results represent a significant step towards understanding the mechanisms involved in electrolyte gating.


title: Atomic Response in the Near-field of Nanostructured Plasmonic Metamaterial

abstract: We report on reflection spectra of caesium atoms in close vicinity of a nanostructured metallic meta-surface. We show that the hyperfine sub-Doppler spectrum of the $6S_{1/2} - 6P_{3/2}$ resonance transition at 852 nm is strongly affected by the coupling to the plasmonic resonance of the nanostructure. Fine tuning of dispersion and positions of the atomic lines in the near-field of plasmonic metamaterials could have uses and implications for the atom-based metrology, sensing and the development of atom-on-a-chip devices.


title: The optical/UV excess of X-ray dim isolated neutron star: I. bremsstrahlung emission from a strangeon star plasma atmosphere

abstract: X-ray dim isolated neutron stars (XDINSs) are characterized by Planckian spectra in X-ray bands, but show optical/ultraviolet(UV) excesses which are the measured photometry exceeding that is extrapolated from X-ray spectra. To solve this problem, a radiative model of bremsstrahlung emission from a plasma atmosphere is established in the regime of strangeon star. A strangeon star atmosphere could simply be regarded as the upper layer of a normal neutron star. This plasma atmosphere, formed and maintained by the ISM-accreted matter due to the so-called strangeness barrier, is supposed to be of two-temperature. All the seven XDINS spectra could be well fitted by the radiative model, from optical/UV to X-ray bands. The fitted radiation radii of XDINSs are from 7 to 13km, while the modelled electron temperatures are between 50 and 250eV, except RX J0806.4-4123 with a radiation radius ~3.5km, indicating that this source could be a low-mass strangeon star candidate. This strangeon star model could further be tested by soft X-ray polarimetry, such as the Lightweight Asymmetry and Magnetism Probe which is expected to work on Chinese space station around 2020.


title: Pricing variance swaps in a hybrid model of stochastic volatility and interest rate with regime-switching

abstract: In this paper, we consider the problem of pricing discretely-sampled variance swaps based on a hybrid model of stochastic volatility and stochastic interest rate with regime-switching. Our modelling framework extends the Heston stochastic volatility model by including the CIR stochastic interest rate and model parameters that switch according to a continuous-time observable Markov chain process. A semi-closed form pricing formula for variance swaps is derived. The pricing formula is assessed through numerical implementations, and the impact of including regime-switching on pricing variance swaps is also discussed.


title: Partial condition number for the equality constrained linear least squares problem

abstract: In this paper, the normwise condition number of a linear function of the equality constrained linear least squares solution called the partial condition number is considered. Its expression and closed formulae are first presented when the data space and the solution space are measured by the weighted Frobenius norm and the Euclidean norm, respectively. Then, we investigate the corresponding structured partial condition number when the problem is structured. To estimate these condition numbers with high reliability, the probabilistic spectral norm estimator and the small-sample statistical condition estimation method are applied and two algorithms are devised. The obtained results are illustrated by numerical examples.


title: Prospects for Reconstruction of Leptonic Unitarity Quadrangle and Neutrino Oscillation Experiments

abstract: After the observation of non-zero $\theta_{13}$ the goal has shifted to observe $CP$ violation in the leptonic sector. Neutrino oscillation experiments can, directly, probe the Dirac $CP$ phases. Alternatively, one can measure $CP$ violation in the leptonic sector using Leptonic Unitarity Quadrangle(LUQ). The existence of Standard Model (SM) gauge singlets - sterile neutrinos - will provide additional sources of $CP$ violation. We investigate the connection between neutrino survival probability and rephasing invariants of the $4\times4$ neutrino mixing matrix. In general, LUQ contain eight geometrical parameters out of which five are independent. We obtain $CP$ asymmetry($P_{\nu_f\rightarrow\nu_{f'}}-P_{\bar{\nu}_f\rightarrow\bar{\nu}_{f'}}$) in terms of these independent parameters of the LUQ and search for the possibilities of extracting information on these independent geometrical parameters in short baseline(SBL) and long baseline(LBL) experiments, thus, looking for constructing LUQ and possible measurement of $CP$ violation. We find that it is not possible to construct LUQ using data from LBL experiments because $CP$ asymmetry is sensitive to only three of the five independent parameters of LUQ. However, for SBL experiments, $CP$ asymmetry is found to be sensitive to all five independent parameters making it possible to construct LUQ and measure $CP$ violation.


title: Inclusive three jet production at the LHC as a new BFKL probe

abstract: We discuss recently proposed observables, sensitive to BFKL dynamics, in the context of multijet production at the large hadron collider (LHC). In particular, we consider ratios of azimuthal angle differences in final states with three jets, well separated in rapidity from each other, with two of them being very forward/backward and the third one in the central region.


title: Non-Greedy L21-Norm Maximization for Principal Component Analysis

abstract: Principal Component Analysis (PCA) is one of the most important unsupervised methods to handle high-dimensional data. However, due to the high computational complexity of its eigen decomposition solution, it hard to apply PCA to the large-scale data with high dimensionality. Meanwhile, the squared L2-norm based objective makes it sensitive to data outliers. In recent research, the L1-norm maximization based PCA method was proposed for efficient computation and being robust to outliers. However, this work used a greedy strategy to solve the eigen vectors. Moreover, the L1-norm maximization based objective may not be the correct robust PCA formulation, because it loses the theoretical connection to the minimization of data reconstruction error, which is one of the most important intuitions and goals of PCA. In this paper, we propose to maximize the L21-norm based robust PCA objective, which is theoretically connected to the minimization of reconstruction error. More importantly, we propose the efficient non-greedy optimization algorithms to solve our objective and the more general L21-norm maximization problem with theoretically guaranteed convergence. Experimental results on real world data sets show the effectiveness of the proposed method for principal component analysis.


title: Update on 750 GeV diphotons from closed string states

abstract: Motivated by the recent update on LHC searches for narrow and broad resonances decaying into diphotons we reconsider the possibility that the observed peak in the invariant mass spectrum at M_{\gamma \gamma} = 750 GeV originates from a closed string (possibly axionic) excitation \varphi (associated with low mass scale string theory) that has a coupling with gauge kinetic terms. We reevaluate the production of \varphi by photon fusion to accommodate recent developments on additional contributions to relativistic light-light scattering. We also study the production of \varphi via gluon fusion. We show that for both a narrow and a broad resonance these two initial topologies can accommodate the excess of events, spanning a wide range of string mass scales 7 \alt M_s/TeV \alt 30 that are consistent with the experimental lower bound: M_s > 7 TeV, at 95% CL. We demonstrate that for the two production processes the LHC13 data is compatible with the lack of a diphoton excess in LHC8 data within \sim 1\sigma. We also show that if the resonance production is dominated by gluon fusion the null results on dijet searches at LHC8 further constrain the coupling strengths of \varphi, but without altering the range of possible string mass scales.


title: Heat pump without particle transport or external work on the medium achieved by differential thermostatting of the phase space

abstract: We propose a new mechanism that enables heat flow from a colder region to a hotter region without necessitating either particle transport or external work on the conductor, thereby bypassing the compressor part of a classical heat pump cycle. Our mechanism relies on thermostatting the kinetic and configurational temperatures of the same particle differently. We keep the two ends of a conductor, which in the present study is a single dimensional $\phi^4$ chain, at the same kinetic temperature $T_0$, but at different configurational temperatures - one end hotter and the other end colder than $T_0$. While external energy is needed within the thermostatted regions to achieve this differential thermostatting, no external work is performed on the system itself. We show that the mechanism satisfies the statistical form of the second law of thermodynamics (the fluctuation theorem). The proposed mechanism reveals two interesting findings - (i) contrary to traditional thermodynamics where only the kinetic temperature is thought to govern heat conduction, configurational temperature can also play an important role, and (ii) the relative temperature difference between the kinetic and configurational variables governs the direction of heat flow. The challenge, however, is in developing experimental techniques to thermostat the kinetic and configurational variables of the same particle at different values.


title: The SVM Classifier Based on the Modified Particle Swarm Optimization

abstract: The problem of development of the SVM classifier based on the modified particle swarm optimization has been considered. This algorithm carries out the simultaneous search of the kernel function type, values of the kernel function parameters and value of the regularization parameter for the SVM classifier. Such SVM classifier provides the high quality of data classification. The idea of particles' {\guillemotleft}regeneration{\guillemotright} is put on the basis of the modified particle swarm optimization algorithm. At the realization of this idea, some particles change their kernel function type to the one which corresponds to the particle with the best value of the classification accuracy. The offered particle swarm optimization algorithm allows reducing the time expenditures for development of the SVM classifier. The results of experimental studies confirm the efficiency of this algorithm.


title: Development of System Architecture for E-Government Cloud Platforms

abstract: Requirements and criteria for selection of cloud platform and platform visualization are stated by which optimal cloud products will be chosen for the Republic of Kazakhstan e-Government considering quality-price ratio, and also the framework of information and communication architecture will be introduced.


title: Note on limit distribution of normalized return times and escape rate

abstract: In this note we discuss limit distribution of normalized return times for shrinking targets and draw a necessary and sufficient condition using sweep-out sequence in order for the limit distribution to be exponential with parameter $1$. The normalizing coefficients are the same as sizes of the targets. Moreover we study escape rate, namely the exponential decay rate of sweep-out sequence and prove that in $\psi$-mixing systems for a certain class of sets the escape rate is in limit proportional to the size of the set.


title: Dark Matter and Dark Energy Interactions: Theoretical Challenges, Cosmological Implications and Observational Signatures

abstract: Models where Dark Matter and Dark Energy interact with each other have been proposed to solve the coincidence problem. We review the motivations underlying the need to introduce such interaction, its influence on the background dynamics and how it modifies the evolution of linear perturbations. We test models using the most recent observational data and we find that the interaction is compatible with the current astronomical and cosmological data. Finally, we describe the forthcoming data sets from current and future facilities that are being constructed or designed that will allow a clearer understanding of the physics of the dark sector.


title: A Stochastic Model for Quantitative Security Analyses of Networked Systems

abstract: Traditional security analyses are often geared towards cryptographic primitives or protocols. Although such analyses are necessary, they cannot address a defender's need for insight into {\em which aspects of a networked system having a significant impact on its security, and how to tune its configurations or parameters so as to improve security}. This question is known to be notoriously difficult to answer, and the state-of-the-art is that we know little about it. Towards ultimately addressing this question, this paper presents a stochastic model for quantifying security of networked systems. The resulting model captures two aspects of a networked system: (1) the strength of deployed security mechanisms such as intrusion detection systems, and (2) the underlying {\em vulnerability graph}, which reflects how attacks may proceed. The resulting model brings the following insights: (1) How should a defender "tune" system configurations (e.g., network topology) so as to improve security? (2) How should a defender "tune" system parameters (e.g., by upgrading which security mechanisms) so as to improve security? (3) Under what conditions is the steady-state number of compromised entities of interest below a given threshold with a high probability? Simulation studies are conducted to confirm the analytic results, and to show the tightness of the bounds of certain important metric that cannot be resolved analytically.


title: Global well-posedness for the 2D Boussinesq Equations with Zero Viscosity

abstract: We prove the global well-posedness of the two-dimensional Boussinesq equations with zero viscosity and positive diffusivity in bounded domains for rough initial data [ $u_{0}\in L^{2}$, $\text{curl}\,u_{0}\in L^{\infty}$ and $\theta_{0}\in B^{2-2/p}_{q,p}$ with $p\in (1,\infty)$, $q\in (2,\infty)$ ]. Our method is based on the maximal regularity for heat equation.


title: The Dubna-Mainz-Taipei Dynamical Model for $\pi N$ Scattering and $\pi$ Electromagnetic Production

abstract: Some of the featured results of the Dubna-Mainz-Taipei (DMT) dynamical model for $\pi N$ scattering and $\pi^0$ electromagnetic production are summarized. These include results for threshold $\pi^0$ production, deformation of $\Delta(1232)$, and the extracted properties of higher resonances below 2 GeV. The excellent agreement of DMT model's predictions with threshold $\pi^0$ production data, including the recent precision measurements from MAMI establishes results of DMT model as a benchmark for experimentalists and theorists in dealing with threshold pion production.


title: Three axis vector atomic magnetometer utilizing polarimetric technique

abstract: The three axis magnetic field measurement based on the interaction of a single elliptically polarized light beam with an atomic system is described. The magnetic field direction dependent atomic responses are extracted by the polarimetric detection in combination with laser frequency modulation and magnetic field modulation techniques. The magnetometer offers additional critical requirements like compact size and large dynamic range for space application. Further, the three axis magnetic field is measured using only reflected signal from the polarimeter, thus can be easily expanded to make spatial array of detectors or / and high sensitivity field gradient measurement as required for biomedical application.


title: An Extended Stochastic Model for Quantitative Security Analysis of Networked Systems

abstract: Quantitative security analysis of networked computer systems is one of the decades-long open problems in computer security. Recently, a promising approach was proposed in \cite{XuTDSC11}, which however made some strong assumptions including the exponential distribution of, and the independence between, the relevant random variables. In this paper, we substantially weaken these assumptions while offering, in addition to the same types of analytical results as in \cite{XuTDSC11}, methods for obtaining the desired security quantities in practice. Moreover, we investigate the problem from a higher-level abstraction, which also leads to both analytical results and practical methods for obtaining the desired security quantities. These would represent a significant step toward ultimately solving the problem of quantitative security analysis of networked computer systems.


title: A New Approach to Modeling and Analyzing Security of Networked Systems

abstract: Modeling and analyzing security of networked systems is an important problem in the emerging Science of Security and has been under active investigation. In this paper, we propose a new approach towards tackling the problem. Our approach is inspired by the {\em shock model} and {\em random environment} techniques in the Theory of Reliability, while accommodating security ingredients. To the best of our knowledge, our model is the first that can accommodate a certain degree of {\em adaptiveness of attacks}, which substantially weakens the often-made independence and exponential attack inter-arrival time assumptions. The approach leads to a stochastic process model with two security metrics, and we attain some analytic results in terms of the security metrics.


title: Field Theoretic Approaches To Early Universe

abstract: This thesis compiles the results of six works which deal with - inflationary model building and estimation of cosmological parameters from various field theoretic setup, quantification of reheating temperature, studies of leptogenesis in braneworld and estimation of primordial non-Gaussianity from ${\cal N}=1$ supergravity using $\delta N$ formalism. We start our discussion with exploring the possibility of MSSM inflation in the light of recent observed data from various D -flat directions using the saddle and inflection point techniques. The effective inflaton potential around saddle point and inflection point have been utilized in estimating the observable parameters and confronting them with WMAP7 and Planck dataset. Next we explore the possibility of inflation from the five dimensional ${\cal N} = 2$ supergravity setup by deriving the effective potential in the context of RS like braneworld model and DBI Galileon. After deriving an four dimensional effective potential, we obtain the inflationary observables from both the scenarios and confront them with the WMAP data. Further we fit the CMB angular power spectra from TT anisotropy and other polarization data obtained from WMAP. Further, we discuss the non-trivial features of reheating from supergravity inspired braneworld model, where the results are to some extent different from that of the usual low energy GR counterpart, because of the modified Friedmann equations in this setup. We explicitly derive the analytical expressions for the reheating temperature and further solve the evolution equation of the number density of thermal gravitino which results in the gravitino abundance. Finally, we study the primordial local type of non-Gaussian features using $\delta N$ formalism for a generic class of sub-Planckian models dominated by the Hubble-induced corrections within ${\cal N} = 1$ supergravity framework.


title: Cyber Epidemic Models with Dependences

abstract: Studying models of cyber epidemics over arbitrary complex networks can deepen our understanding of cyber security from a whole-system perspective. In this paper, we initiate the investigation of cyber epidemic models that accommodate the {\em dependences} between the cyber attack events. Due to the notorious difficulty in dealing with such dependences, essentially all existing cyber epidemic models have assumed them away. Specifically, we introduce the idea of Copulas into cyber epidemic models for accommodating the dependences between the cyber attack events. We investigate the epidemic equilibrium thresholds as well as the bounds for both equilibrium and non-equilibrium infection probabilities. We further characterize the side-effects of assuming away the due dependences between the cyber attack events, by showing that the results thereof are unnecessarily restrictive or even incorrect.


title: A Data-driven Study of View Duration on YouTube

abstract: Video watching had emerged as one of the most frequent media activities on the Internet. Yet, little is known about how users watch online video. Using two distinct YouTube datasets, a set of random YouTube videos crawled from the Web and a set of videos watched by participants tracked by a Chrome extension, we examine whether and how indicators of collective preferences and reactions are associated with view duration of videos. We show that video view duration is positively associated with the video's view count, the number of likes per view, and the negative sentiment in the comments. These metrics and reactions have a significant predictive power over the duration the video is watched by individuals. Our findings provide a more precise understandings of user engagement with video content in social media beyond view count.


title: A Stochastic Model of Active Cyber Defense Dynamics

abstract: The concept of active cyber defense has been proposed for years. However, there are no mathematical models for characterizing the effectiveness of active cyber defense. In this paper, we fill the void by proposing a novel Markov process model that is native to the interaction between cyber attack and active cyber defense. Unfortunately, the native Markov process model cannot be tackled by the techniques we are aware of. We therefore simplify, via mean-field approximation, the Markov process model as a Dynamic System model that is amenable to analysis. This allows us to derive a set of valuable analytical results that characterize the effectiveness of four types of active cyber defense dynamics. Simulations show that the analytical results are inherent to the native Markov process model, and therefore justify the validity of the Dynamic System model. We also discuss the side-effect of the mean-field approximation and its implications.


title: On chromatic functors and stable partitions of graphs

abstract: The chromatic functor of a simple graph is a functorization of the chromatic polynomial. M. Yoshinaga showed in \cite{Yoshinaga2015} that two finite graphs have isomorphic chromatic functors if and only if they have the same chromatic polynomial. The key ingredient in the proof is the use of stable partitions of graphs. The latter is shown to be closely related to chromatic functors. In this note, we further investigate some interesting properties of chromatic functors associated to simple graphs using stable partitions. Our first result is the determination of the group of natural automorphisms of the chromatic functor, which is in general a larger group than the automorphism group of the graph. The second result is that the composition of the chromatic functor associated to a finite graph restricted to the category $\mathrm{FI}$ of finite sets and injections with the free functor into the category of complex vector spaces yields a consistent sequence of representations of symmetric groups which is representation stable in the sense of Church-Farb \cite{Church2013}.


title: Interest Rates and Inflation

abstract: This article is an extension of the work of one of us (Coopersmith, 2011) in deriving the relationship between certain interest rates and the inflation rate of a two component economic system. We use the well-known Fisher relation between the difference of the nominal interest rate and its inflation adjusted value to eliminate the inflation rate and obtain a delay differential equation. We provide computer simulated solutions for this equation over regimes of interest. This paper could be of interest to three audiences: those in Economics who are interested in interest and inflation; those in Mathematics who are interested in examining a detailed analysis of a delay differential equation, which includes a summary of existing results, simulations, and an exact solution; and those in Physics who are interested in non-traditional applications of traditional methods of modeling.


title: Optimizing Active Cyber Defense

abstract: Active cyber defense is one important defensive method for combating cyber attacks. Unlike traditional defensive methods such as firewall-based filtering and anti-malware tools, active cyber defense is based on spreading "white" or "benign" worms to combat against the attackers' malwares (i.e., malicious worms) that also spread over the network. In this paper, we initiate the study of {\em optimal} active cyber defense in the setting of strategic attackers and/or strategic defenders. Specifically, we investigate infinite-time horizon optimal control and fast optimal control for strategic defenders (who want to minimize their cost) against non-strategic attackers (who do not consider the issue of cost). We also investigate the Nash equilibria for strategic defenders and attackers. We discuss the cyber security meanings/implications of the theoretic results. Our study brings interesting open problems for future research.


title: Dilaton Stabilization in Three-generation Heterotic String Model

abstract: We study dilaton stabilization in heterotic string models. By utilizing the asymmetric orbifold construction, we construct an explicit three-generation model whose matter content in the visible sector is the supersymmetric standard model with additional vectorlike matter. This model does not contain any geometric moduli fields except the dilaton field. Model building at a symmetry enhancement point in moduli space enlarges the rank of the hidden gauge group. By analyzing multiple hidden gauge sectors, the dilaton field is stabilized by the racetrack mechanism. We also discuss a supersymmetry breaking scenario and F-term uplifting.