title: Balanced line bundles on Fano varieties

abstract: A conjecture of Batyrev and Manin relates arithmetic properties of varieties with ample anticanonical class to geometric invariants; in particular, counting functions defined by metrized ample line bundles and the corresponding asymptotics of rational points of bounded height are interpreted in terms of cones of effective divisors and certain thresholds with respect to these cones. This framework leads to the notion of balanced line bundles, whose counting functions, conjecturally, capture generic distributions of rational points. We investigate balanced line bundles in the context of the Minimal Model Program, with special regard to the classification of Fano threefolds.


title: A Contribution to the Numerics of Polynomials and Matrix Polynomials

abstract: In this paper some algorithms will be presented which can be used for the calculation of zeros of polynomials and eigenvalues of polynomial matrices with a multiplicity larger than one. The numerical values calculated with MATLAB are used as starting values. The reliability of the algorithms is demonstrated by means of 8 examples.


title: The Vela Pulsar With an Active Fallback Disk

abstract: Fallback disks are expected to form around young neutron stars. The presence of these disks can be revealed by their blackbody spectrum in the infrared, optical and UV bands. We present a re-reduction of the archival optical and infrared data of the Vela pulsar, together with the existing infrared and UV spectrum of Vela, and model their unpulsed components with the blackbody spectrum of a supernova debris disk. We invoke the quiescent disk solution of Sunyaev and Shakura for the description of the disk in the propeller stage and find the inner radius of the disk to be inside the light cylinder radius. We perform a high resolution X-ray analysis with XMM-Newton and find a narrow absorption feature at 0.57 keV which can be interpreted as K$_{\alpha}$ line of He-like oxygen (OVII). The strength of the line indicates an element over-abundance in our line of sight exceeding the amounts that would be expected from ISM. The spectral feature may originate from the pulsar wind nebula and may be partly caused by the reprocessed X-ray radiation by the fallback disk. We discuss the lower-than-3 braking index of Vela as partially due to the contribution of the propeller torques. Our results suggest that the pulsar mechanism can work simultaneously with the propeller processes and that the debris disks can survive the radiation pressure for at least $\sim 10^4$ years. As Vela is a relatively close object, and a prototypical pulsar, the presence of a disk, if confirmed, may indicate the ubiquity of debris disks around young neutron stars.


title: On the internal approach to differential equations 2. The controllability structure

abstract: The article concerns the geometrical theory of general systems $\Omega$ of partial differential equations in the \emph{absolute sense}, i.e., without any additional structure and subject to arbitrary change of variables in the widest possible meaning. The main result describes the composition series $\Omega^0\subset\Omega^1\subset\cdots\subset\Omega$ where $\Omega^k$ is the maximal system of differential equations "induced" by $\Omega$ such that the solution of $\Omega^k$ depends on arbitrary functions of $k$ independent variables (on constants if $k=0$). This is a~well--known result for the particular case of underdetermined systems of ordinary differential equations. Then $\Omega=\Omega^1$ and we have the composition series $\Omega^0\subset\Omega^1=\Omega$ where $\Omega^0$ involves all first integrals of $\Omega,$ therefore $\Omega^0$ is trivial (absent) in the controllable case. The general composition series $\Omega^0\subset\Omega^1\subset\cdots\subset\Omega$ may be regarded as a~"multidimensional" controllability structure for the partial differential equations. Though the result is conceptually clear, it cannot be included into the common jet theory framework of differential equations. Quite other and genuinely coordinate--free approach is introduced.


title: SARCS strong-lensing galaxy groups: II - mass-concentration relation and strong-lensing bias

abstract: Our work is based on the stacked weak-lensing analysis of a sample of 80 strong-lensing galaxy groups. Our main results are the following: (i) the lensing signal does not allow us to firmly reject a simple singular isothermal sphere mass distribution compared to the expected NFW mass profile; (ii) we obtain an average concentration $c_{200}=8.6_{-1.3}^{+2.1}$ that is much higher than the expected value from numerical simulations for the corresponding average mass $M_{200}=0.73_{-0.10}^{+0.11}\times10^{14}\mathrm{M_{\odot}}$; (iii) the combination of our results with those at larger mass scales gives a mass-concentration relation $c(M)$ over nearly two decades in mass, with a slope in disagreement with predictions from numerical simulations using unbiased populations of dark matter haloes; (iv) our combined $c(M)$ relation matches results from simulations using only haloes with a large strong-lensing cross section, i.e. elongated with a major axis close to the line of sight; (v) for the simplest case of prolate haloes, we estimate with a toy model a lower limit on the minor:major axis ratio $a/c=0.5$ for the average SARCS galaxy group. Our analysis based on galaxy groups confirmed the results obtained at larger mass scales: strong lenses present apparently too large concentrations, which can be explained by triaxial haloes preferentially oriented with the line of sight. Because more massive systems already have large lensing cross sections, they do not require a large elongation along the line of sight, contrary to less massive galaxy groups. Therefore, it is natural to observe larger lensing (projected) concentrations for such systems, resulting in an overall mass-concentration relation steeper than that of non-lensing haloes.


title: Short lists with short programs for functions

abstract: Let $\{\phi_p\}$ be an optimal G\"odel numbering of the family of computable functions (in Schnorr's sense), where $p$ ranges over binary strings. Assume that a list of strings $L(p)$ is computable from $p$ and for all $p$ contains a $\phi$-program for $\phi_p$ whose length is at most $\varepsilon$ bits larger that the length of the shortest $\phi$-program for $\phi_p$. We show that for infinitely many $p$ the list $L(p)$ must have $2^{|p|-\varepsilon-O(1)}$ strings. Here $\varepsilon$ is an arbitrary function of $p$.


title: Poster Abstract: Bits and Watts: Improving energy disaggregation performance using power line communication modems

abstract: Non-intrusive load monitoring (NILM) or energy disaggregation, aims to disaggregate a household's electricity consumption into constituent appliances. More than three decades of work in NILM has resulted in the development of several novel algorithmic approaches. However, despite these advancements, two core challenges still exist: i) disaggregating low power consumption appliances and ii) distinguishing between multiple instances of similar appliances. These challenges are becoming increasingly important due to an increasing number of appliances and increased usage of electronics in homes. Previous approaches have attempted to solve these problems using expensive hardware involving high sampling rates better suited to laboratory settings, or using additional number of sensors, limiting the ease of deployment. In this work, we explore using commercial-off-the-shelf (COTS) power line communication (PLC) modems as an inexpensive and easy to deploy alternative solution to these problems. We use the reduction in bandwidth between two PLC modems, caused due to the change in PLC modulation scheme when different appliances are operated as a signature for an appliance. Since the noise generated in the powerline is dependent both on type and location of an appliance, we believe that our technique based on PLC modems can be a promising addition for solving NILM.


title: Demo Abstract: NILMTK v0.2: A Non-intrusive Load Monitoring Toolkit for Large Scale Data Sets

abstract: In this demonstration, we present an open source toolkit for evaluating non-intrusive load monitoring research; a field which aims to disaggregate a household's total electricity consumption into individual appliances. The toolkit contains: a number of importers for existing public data sets, a set of preprocessing and statistics functions, a benchmark disaggregation algorithm and a set of metrics to evaluate the performance of such algorithms. Specifically, this release of the toolkit has been designed to enable the use of large data sets by only loading individual chunks of the whole data set into memory at once for processing, before combining the results of each chunk.


title: Finite Automata With Restricted Two-Way Motion

abstract: We consider finite two-way automata and measure the use of two-way motion by counting the number of left moves in accepting computations. Restriction of the automata according to this measure allows us to study in detail the use of two-way motion for the acceptance of regular languages in terms of state complexity. The two-way spectrum of a given regular language is introduced. This quantity reflects the change of size of minimal accepting devices if the use of two-way motion is increased incrementally. We give examples for spectra, prove uniform upper and lower bounds and study their sharpness. We also have state complexity results for two-way automata with uniformly bounded use of two-way motion.


title: The derivation of model kinetic equation for gases and for plasmas

abstract: A new form of the model collision operator for a Boltzmann gas of hard spheres and Coulomb plasma is derived. One-component and many-component systems are considered. The collision operator proposed takes properly into account the relaxation of the first 13 hydrodynamic moments. An expression for the intensity of the Langevin source in the model kinetic equation is obtained in the same approximation. A technique for reconstruction of the model collision integral based on a known expression for the model linearized operator is proposed. It is shown that, within our model, the collision integral does not contain a complicated exponential, common for the ellipsoidal statistical type models. Boltzmann's H-theorem is proved for our model.


title: On KLJN-based secure key distribution in vehicular communication networks

abstract: In a former paper [Fluct. Noise Lett., 13 (2014) 1450020] we introduced a vehicular communication system with unconditionally secure key exchange based on the Kirchhoff-Law-Johnson-Noise (KLJN) key distribution scheme. In this paper, we address the secure KLJN key donation to vehicles. This KLJN key donation solution is performed lane-by-lane by using roadside key provider equipment embedded in the pavement. A method to compute the lifetime of the KLJN key is also given. This key lifetime depends on the car density and gives an upper limit of the lifetime of the KLJN key for vehicular communication networks.


title: Crystallization characteristics and chemical bonding properties of nickel carbide thin film nanocomposites

abstract: The crystal structure and chemical bonding of magnetron-sputtering deposited nickel carbide Ni$_{1-x}$C$_{x}$ (0.05$\leq$x$\leq$0.62) thin films have been investigated by high-resolution X-ray diffraction, transmission electron microscopy, X-ray photoelectron spectroscopy, Raman spectroscopy, and soft X-ray absorption spectroscopy. By using X-ray as well as electron diffraction, we found carbon-containing hcp-Ni (hcp-NiC$_{y}$ phase), instead of the expected rhombohedral-Ni$_{3}$C. At low carbon content (4.9 at\%) the thin film consists of hcp-NiC$_{y}$ nanocrystallites mixed with a smaller amount of fcc-NiC$_{x}$. The average grain size is about 10-20 nm. With the increase of carbon content to 16.3 at\%, the film contains single-phase hcp-NiC$_{y}$ nanocrystallites with expanded lattice parameters. With further increase of carbon content to 38 at\%, and 62 at\%, the films transform to X-ray amorphous materials with hcp-NiC$_{y}$ and fcc-NiC$_{x }$ nanodomain structures in an amorphous carbon-rich matrix. Raman spectra of carbon indicate dominant $sp^{2}$ hybridization, consistent with photoelectron spectra that show a decreasing amount of C-Ni phase with increasing carbon content. The Ni $3d$ - C $2p$ hybridization in the hexagonal structure gives rise to the salient double-peak structure in Ni $2p$ soft X-ray absorption spectra at 16.3 at\% that changes with carbon content. We also show that the resistivity is not only governed by the amount of carbon, but increases by more than a factor of two when the samples transform from crystalline to amorphous.


title: Multiband Spectrum Access: Great Promises for Future Cognitive Radio Networks

abstract: Cognitive radio has been widely considered as one of the prominent solutions to tackle the spectrum scarcity. While the majority of existing research has focused on single-band cognitive radio, multiband cognitive radio represents great promises towards implementing efficient cognitive networks compared to single-based networks. Multiband cognitive radio networks (MB-CRNs) are expected to significantly enhance the network's throughput and provide better channel maintenance by reducing handoff frequency. Nevertheless, the wideband front-end and the multiband spectrum access impose a number of challenges yet to overcome. This paper provides an in-depth analysis on the recent advancements in multiband spectrum sensing techniques, their limitations, and possible future directions to improve them. We study cooperative communications for MB-CRNs to tackle a fundamental limit on diversity and sampling. We also investigate several limits and tradeoffs of various design parameters for MB-CRNs. In addition, we explore the key MB-CRNs performance metrics that differ from the conventional metrics used for single-band based networks.


title: Nonparametric Bayes modeling with sample survey weights

abstract: In population studies, it is standard to sample data via designs in which the population is divided into strata, with the different strata assigned different probabilities of inclusion. Although there have been some proposals for including sample survey weights into Bayesian analyses, existing methods require complex models or ignore the stratified design underlying the survey weights. We propose a simple approach based on modeling the distribution of the selected sample as a mixture, with the mixture weights appropriately adjusted, while accounting for uncertainty in the adjustment. We focus for simplicity on Dirichlet process mixtures but the proposed approach can be applied more broadly. We sketch a simple Markov chain Monte Carlo algorithm for computation, and assess the approach via simulations and an application.


title: Interpretations and differential Galois extensions

abstract: We give model theoretic accounts and proofs of the existence and uniqueness of differential Galois extensions with no new constants, for logarithmic differential equations over a differential field K, when the field C of constants of K is not necessarily algebraically closed, under a variety of assumptions on C and K.


title: Cool dust heating and temperature mixing in nearby star-forming galaxies

abstract: Physical conditions of the interstellar medium in galaxies are closely linked to the ambient radiation field and the heating of dust grains. In order to characterize dust properties in galaxies over a wide range of physical conditions, we present here the radial surface brightness profiles of the entire sample of 61 galaxies from Key Insights into Nearby Galaxies: Far-Infrared Survey with Herschel (KINGFISH). The main goal of our work is the characterization of the grain emissivities, dust temperatures, and interstellar radiation fields responsible for heating the dust. After fitting the dust and stellar radial profiles with exponential functions, we fit the far-infrared spectral energy distribution (SED) in each annular region with single-temperature modified black bodies using both variable (MBBV) and fixed (MBBF) emissivity indices beta, as well as with physically motivated dust models. Results show that while most SED parameters decrease with radius, the emissivity index beta also decreases with radius in some galaxies, but in others is increasing, or rising in the inner regions and falling in the outer ones. Despite the fixed grain emissivity (average beta~ 2.1) of the physically-motivated models, they are well able to accommodate flat spectral slopes with beta<= 1. We find that flatter slopes (beta<= 1.5) are associated with cooler temperatures, contrary to what would be expected from the usual Tdust-beta degeneracy. This trend is related to variations in Umin since beta and Umin are very closely linked over the entire range in Umin sampled by the KINGFISH galaxies: low Umin is associated with flat beta<=1. Both these results strongly suggest that the low apparent \beta values (flat slopes) in MBBV fits are caused by temperature mixing along the line-of-sight, rather than by intrinsic variations in grain properties. Abstract truncated for arXiv.


title: An equity investigation of attitudinal shifts in introductory physics

abstract: We report on seven years of attitudinal data using the Colorado Learning Attitudes about Science Survey from University Modeling Instruction (UMI) sections of introductory physics at Florida International University. This work expands upon previous studies that reported consistently positive attitude shifts in UMI courses; here, we disaggregate the data by gender and ethnicity to look for any disparities in the pattern of favorable shifts. We find that women and students from statistically underrepresented ethnic groups are equally supported on this attitudinal measure, and that this result holds even when interaction effects of gender and ethnicity are included. We conclude with suggestions for future work in UMI courses and for attitudinal equity investigations generally.


title: Presentation of hyperbolic Kac-Moody groups over rings

abstract: Tits has defined Kac-Moody and Steinberg groups over commutative rings, providing infinite dimensional analogues of the Chevalley-Demazure group schemes. Here we establish simple explicit presentations for all Steinberg and Kac-Moody groups whose Dynkin diagrams are hyperbolic and simply laced. Our presentations are analogues of the Curtis-Tits presentation of the finite groups of Lie type. When the ground ring is finitely generated, we derive the finite presentability of the Steinberg group, and similarly for the Kac-Moody group when the ground ring is a Dedekind domain of arithmetic type. These finite-presentation results need slightly stronger hypotheses when the rank is smallest possible, namely 4. The presentations simplify considerably when the ground ring is Z, a case of special interest because of the conjectured role of the Kac-Moody group E10(Z) in superstring theory.


title: Energy functionals of Kirchhoff-type problems having multiple global minima

abstract: In this paper, using the theory developed in [8], we obtain some results of a totally new type about a class of non-local problems. Here is a sample: Let $\Omega\subset {\bf R}^n$ be a smooth bounded domain, with $n\geq 4$, let $a, b, \nu\in {\bf R}$, with $a\geq 0$ and $b>0$, and let $p\in \left ] 0,{{n+2}\over {n-2}}\right [$. Then, for each $\lambda>0$ large enough and for each convex set $C\subseteq L^2(\Omega)$ whose closure in $L^2(\Omega)$ contains $H^1_0(\Omega)$, there exists $v^*\in C$ such that the problem $$\cases {-\left ( a+b\int_{\Omega}|\nabla u(x)|^2dx\right )\Delta u =\nu|u|^{p-1}u+\lambda(u-v^*(x)) & in $\Omega$\cr & \cr u=0 & on $\partial\Omega$\cr}$$ has at least three weak solutions, two of which are global minima in $H^1_0(\Omega)$ of the corresponding energy functional.


title: Congruence Lattices of Certain Finite Algebras with Three Commutative Binary Operations

abstract: A partial algebra construction of Gr\"atzer and Schmidt from "Characterizations of congruence lattices of abstract algebras" (Acta Sci. Math. (Szeged) 24 (1963), 34-59) is adapted to provide an alternative proof to a well-known fact that every finite distributive lattice is representable, seen as a special case of the Finite Lattice Representation Problem. The construction of this proof brings together Birkhoff's representation theorem for finite distributive lattices, an emphasis on boolean lattices when representing finite lattices, and a perspective based on inequalities of partially ordered sets. It may be possible to generalize the techniques used in this approach. Other than the aforementioned representation theorem only elementary tools are used for the two theorems of this note. In particular there is no reliance on group theoretical concepts or techniques (see P\'eter P\'al P\'alfy and Pavel Pud\'lak), or on well-known methods, used to show certain finite lattice to be representable (see William J. DeMeo), such as the closure method.


title: Localized Frames and Compactness

abstract: We introduce the concept of weak-localization for generalized frames and use this concept to define a class of weakly localized operators. This class contains many important operators, including: Short Time Fourier Transform multipliers, Calderon-Toeplitz operators, Toeplitz operators on various functions spaces, Anti-Wick operators, and many others. In this paper, we study the boundedness and compactness of weakly localized operators. In particular, we provide a characterization of compactness for weakly localized operators in terms of the behavior of their Berezin transform.


title: Automated Discharging Arguments for Density Problems in Grids

abstract: Discharging arguments demonstrate a connection between local structure and global averages. This makes it an effective tool for proving lower bounds on the density of special sets in infinite grids. However, the minimum density of an identifying code in the hexagonal grid remains open, with an upper bound of $\frac{3}{7} \approx 0.428571$ and a lower bound of $\frac{5}{12}\approx 0.416666$. We present a new, experimental framework for producing discharging arguments using an algorithm. This algorithm replaces the lengthy case analysis of human-written discharging arguments with a linear program that produces the best possible lower bound using the specified set of discharging rules. We use this framework to present a lower bound of $\frac{23}{55} \approx 0.418181$ on the density of an identifying code in the hexagonal grid, and also find several sharp lower bounds for variations on identifying codes in the hexagonal, square, and triangular grids.


title: Percolation and local isoperimetric inequalities

abstract: In this paper we establish some relations between percolation on a given graph G and its geometry. Our main result shows that, if G has polynomial growth and satisfies what we call the local isoperimetric inequality of dimension d > 1, then p_c(G) < 1. This gives a partial answer to a question of Benjamini and Schramm. As a consequence of this result we derive, under the additional condition of bounded degree, that these graphs also undergo a non-trivial phase transition for the Ising-Model, the Widom-Rowlinson model and the beach model. Our techniques are also applied to dependent percolation processes with long range correlations. We provide results on the uniqueness of the infinite percolation cluster and quantitative estimates on the size of finite components. Finally we leave some remarks and questions that arise naturally from this work.


title: Leading the field: Fortune favors the bold in Thurstonian choice models

abstract: Schools with the highest average student performance are often the smallest schools; localities with the highest rates of some cancers are frequently small and the effects observed in clinical trials are likely to be largest for the smallest numbers of subjects. Informal explanations of this "small-schools phenomenon" point to the fact that the sample means of smaller samples have higher variances. But this cannot be a complete explanation: If we draw two samples from a diffuse distribution that is symmetric about some point, then the chance that the smaller sample has larger mean is 50\%. A particular consequence of results proved below is that if one draws three or more samples of different sizes from the same normal distribution, then the sample mean of the smallest sample is most likely to be highest, the sample mean of the second smallest sample is second most likely to be highest, and so on; this is true even though for any pair of samples, each one of the pair is equally likely to have the larger sample mean. Our conclusions are relevant to certain stochastic choice models including the following generalization of Thurstone's Law of Comparative Judgment. There are $n$ items. Item $i$ is preferred to item $j$ if $Z_i < Z_j$, where $Z$ is a random $n$-vector of preference scores. Suppose $\mathbb{P}\{Z_i = Z_j\} = 0$ for $i \ne j$, so there are no ties. Item $k$ is the favorite if $Z_k < \min_{i\ne k} Z_i$. Let $p_i$ denote the chance that item $i$ is the favorite. We characterize a large class of distributions for $Z$ for which $p_1 > p_2 > \cdots > p_n$. Our results are most surprising when $\mathbb{P}\{Z_i < Z_j\} = \mathbb{P}\{Z_i > Z_j\} = \frac{1}{2}$ for $i \ne j$, so neither of any two items is likely to be preferred over the other in a pairwise comparison.


title: Sharp interface limit in a phase field model of cell motility

abstract: We consider a system of two coupled parabolic PDEs introduced in [1] to model motility of eukaryotic cells. We study the asymptotic behavior of solutions in the limit of a small parameter related to the width of the interface in phase field function (sharp interface limit). We formally derive an equation of motion of the interface, which is mean curvature motion with an additional nonlinear term. In a 1D model parabolic problem we rigorously justify the sharp interface limit. To this end, a special form of asymptotic expansion is introduced to reduce analysis to a single nonlinear PDE. Further stability analysis reveals a qualitative change in the behavior of the system for small and large values of the coupling parameter. Using numerical simulations we also show discontinuities of the interface velocity and hysteresis. Also, in the 1D case we establish nontrivial traveling waves when the coupling parameter is large enough.


title: Discrete graviton spectrum from super-exponential cup potentials and their application to braneworld physics

abstract: Super-exponential warp factors have been proposed in the context of two-brane models to solve the gauge hierarchy problem of scales by using a compactification scale of the same order of the fundamental Planck scale, completely eliminating the hierarchy between the electroweak and the Planck scales. However, most of the so far studied families of braneworlds with super-exponential warp factors do not localize 4D gravity when one of the branes is sent to infinity. Recently a braneworld model generated by a canonical scalar field $\phi$ minimally coupled to 5D gravity with a bulk cosmological constant was shown to localize 4D gravity and to be stable under linear tensorial and scalar perturbations. Here we present an explicit new solution for the latter braneworld configuration and study the dynamics of its tensorial perturbations: we find that they obey a Schr\"odinger-like equation with a well potential which possesses exponentially increasing walls (we call it the {\it cup potential}), yielding a {\it novel discrete spectrum} for the massive Kaluza-Klein (KK) tensorial excitations, despite the non-compact nature of the fifth dimension, and in contrast to the braneworld models proposed so far, where the mass spectrum of the KK modes is continuous, or at most mixed. Finally, the corrections to Newton's law coming from these massive KK modes are computed. Their novelty arises from the fact that these {\it KK excitations possess quantized masses and are bound to the brane}, however, they are all of the Planck mass order, leading to unreachable energy scales from the phenomenological viewpoint.


title: Seismo-ionospheric effects associated with 'Chelyabinsk' meteorite during the first 25 minutes after its fall

abstract: This paper presents the properties of ionospheric irregularities elongated with Earth magnetic field during the first 25 minutes after the fall of the meteorite 'Chelyabinsk' experimentally observed with EKB radar of Russian segment of the SuperDARN. It is shown that 40 minutes before meteor fall the EKB radar started to observe powerful scattering from irregularities elongated with the Earth magnetic field in the F-layer. Scattering was observed for 80 minutes and stopped 40 minutes after the meteorite fall. During 9-15 minutes after the meteorite fall at ranges 400-1200 km from the explosion site a changes were observed in the spectral and amplitude characteristics of the scattered signal. This features were the sharp increase in the Doppler frequency shift of the scattered signal corresponding to the Doppler velocities about 600 m/s and the sharp increase of the scattered signal amplitude. This allows us to conclude that we detected the growth of small-scale ionospheric irregularities elongated with the Earth magnetic field at E-layer heights. Joint analysis with the seismic data and numerical modeling shows that the observed effect is connected with the passage of secondary acoustic front formed by supersonic seismic ground wave from the 'Chelyabinsk' meteorite. As a possible explanation the growth of elongated ionospheric irregularities may be caused by the passage of the high-speed acoustic wave in the ionosphere in the presence of high enough background electric field.


title: Estimation for models defined by conditions on their L-moments

abstract: This paper extends the empirical minimum divergence approach for models which satisfy linear constraints with respect to the probability measure of the underlying variable (moment constraints) to the case where such constraints pertain to its quantile measure (called here semi parametric quantile models). The case when these constraints describe shape conditions as handled by the L-moments is considered and both the description of these models as well as the resulting non classical minimum divergence procedures are presented. These models describe neighborhoods of classical models used mainly for their tail behavior, for example neighborhoods of Pareto or Weibull distributions, with which they may share the same first L-moments. A parallel is drawn with similar problems held in elasticity theory and in optimal transport problems. The properties of the resulting estimators are illustrated by simulated examples comparing Maximum Likelihood estimators on Pareto and Weibull models to the minimum Chi-square empirical divergence approach on semi parametric quantile models, and others.


title: A multiple-relaxation-time lattice Boltzmann model for simulating incompressible axisymmetric thermal flows in porous media

abstract: In this paper, a multiple-relaxation-time (MRT) lattice Boltzmann (LB) model is developed for simulating incompressible axisymmetric thermal flows in porous media at the representative elementary volume (REV) scale. In the model, a D2Q9 MRT-LB equation is proposed to solve the flow field in addition to the D2Q5 LB equation for the temperature field. The source terms of the model are simple and contain no velocity and temperature gradient terms. The generalized axisymmetric Navier-Stokes equations for axisymmetric flows in porous media are correctly recovered from the MRT-LB model through the Chapman-Enskog analysis in the moment space. The present model is validated by numerical simulations of several typical axisymmetric thermal problems in porous media. The numerical results agree well with the data reported in the literature, demonstrating the effectiveness and accuracy of the present MRT-LB model for simulating axisymmetric thermal flows in porous media.


title: Chaotic Crystallography: How the physics of information reveals structural order in materials

abstract: We review recent progress in applying information- and computation-theoretic measures to describe material structure that transcends previous methods based on exact geometric symmetries. We discuss the necessary theoretical background for this new toolset and show how the new techniques detect and describe novel material properties. We discuss how the approach relates to well known crystallographic practice and examine how it provides novel interpretations of familiar structures. Throughout, we concentrate on disordered materials that, while important, have received less attention both theoretically and experimentally than those with either periodic or aperiodic order.

categories: cond-mat.mtrl-sci cond-mat.dis-nn cs.FL cs.IT math.IT nlin.CD


title: Decision problem for Perfect Matchings in Dense k-uniform Hypergraphs

abstract: For any $\gamma>0$, Keevash, Knox and Mycroft constructed a polynomial-time algorithm to determine the existence of perfect matchings in any $n$-vertex $k$-uniform hypergraph whose minimum codegree is at least $n/k+\gamma n$. We prove a structure theorem that enables us to determine the existence of a perfect matching for any $k$-uniform hypergraph with minimum codegree at least $n/k$. This solves a problem of Karpi\'nski, Ruci\'nski and Szyma\'nska completely. Our proof uses a lattice-based absorbing method.


title: Robust Multi-Branch Tomlinson-Harashima Precoding in Cooperative MIMO Relay Systems

abstract: This paper proposes the design of robust transceivers with Tomlinson-Harashima precoding (THP) for multiple-input multiple-output (MIMO) relay systems with amplify-and-forward (AF) protocols based on a multi-branch (MB) strategy. The MB strategy employs successive interference cancellation (SIC) on several parallel branches which are equipped with different ordering patterns so that each branch produces transmit signals by exploiting a certain ordering pattern. For each parallel branch, the proposed robust nonlinear transceiver design consists of THP at the source along with a linear precoder at the relay and a linear minimum-mean-squared-error (MMSE) receiver at the destination. By taking the channel uncertainties into account, the source and relay precoders are jointly optimised to minimise the mean-squared-error (MSE). We then employ a diagonalization method along with some attributes of matrix-monotone functions to convert the optimization problem with matrix variables into an optimization problem with scalar variables. We resort to an iterative method to obtain the solution for the relay and the source precoders via Karush-Kuhn-Tucker (KKT) conditions. An appropriate selection rule is developed to choose the nonlinear transceiver corresponding to the best branch for data transmission. Simulation results demonstrate that the proposed MB-THP scheme is capable of alleviating the effects of channel state information (CSI) errors and improving the robustness of the system.


title: Direct Probing Stacking Order and Electronic Spectrum of Rhombohedral Trilayer Graphene with Scanning Tunneling Microscopy

abstract: Recently, the rhombohedral trilayer graphene (r-TLG) has attracted much attention because of its low-energy flat bands, which are predicted to result in many strongly correlated phenomena. Here, we demonstrate that it is possible to probe the stacking order and electronic spectrum of the r-TLG directly with a scanning tunneling microscopy around a monoatomic step edge of the top graphene layer. The tunneling spectra of the r-TLG exhibit four adjacent peaks, which are generated by the low-energy flat bands, flanking the charge neutrality point. Based on these spectra, the true energy gap and the energy gap at the K-point of the r-TLG are determined as about 9 meV and 23 meV, respectively. The observed features are well reproduced by a low-energy effective Hamiltonian.


title: Reflexivity and dualizability in categorified linear algebra

abstract: The "linear dual" of a cocomplete linear category $\mathcal C$ is the category of all cocontinuous linear functors $\mathcal C \to \mathrm{Vect}$. We study the questions of when a cocomplete linear category is reflexive (equivalent to its double dual) or dualizable (the pairing with its dual comes with a corresponding copairing). Our main results are that the category of comodules for a countable-dimensional coassociative coalgebra is always reflexive, but (without any dimension hypothesis) dualizable if and only if it has enough projectives, which rarely happens. Along the way, we prove that the category $\mathrm{Qcoh}(X)$ of quasi-coherent sheaves on a stack $X$ is not dualizable if $X$ is the classifying stack of a semisimple algebraic group in positive characteristic or if $X$ is a scheme containing a closed projective subscheme of positive dimension, but is dualizable if $X$ is the quotient of an affine scheme by a virtually linearly reductive group. Finally we prove tensoriality (a type of Tannakian duality) for affine ind-schemes with countable indexing poset.


title: Random Group Problem-Based Learning in Engineering Dynamics

abstract: Dynamics problem solving is highly specific to the problem at hand and to develop the general mind framework to become an effective problem solver requires ingenuity and creativity on top of a solid grounding on theoretical and conceptual knowledge. A blended approach with prototype demo, problem-based learning, and an opinion questionnaire was used during first semester of 2013. Students working in randomly selected teams had to interact with classmates while solving a randomly selected problem. The approach helps improve awareness of what is important to learn in this class while reducing grading load. It also provides a more rewarding contact time for both pupils and instructor.


title: Bounds on Portfolio Quality

abstract: The signal-noise ratio of a portfolio of p assets, its expected return divided by its risk, is couched as an estimation problem on the sphere. When the portfolio is built using noisy data, the expected value of the signal-noise ratio is bounded from above via a Cramer-Rao bound, for the case of Gaussian returns. The bound holds for `biased' estimators, thus there appears to be no bias-variance tradeoff for the problem of maximizing the signal-noise ratio. An approximate distribution of the signal-noise ratio for the Markowitz portfolio is given, and shown to be fairly accurate via Monte Carlo simulations, for Gaussian returns as well as more exotic returns distributions. These findings imply that if the maximal population signal-noise ratio grows slower than the universe size to the 1/4 power, there may be no diversification benefit, rather expected signal-noise ratio can decrease with additional assets. As a practical matter, this may explain why the Markowitz portfolio is typically applied to small asset universes. Finally, the theorem is expanded to cover more general models of returns and trading schemes, including the conditional expectation case where mean returns are linear in some observable features, subspace constraints (i.e., dimensionality reduction), and hedging constraints.


title: Distributed Robust Learning

abstract: We propose a framework for distributed robust statistical learning on {\em big contaminated data}. The Distributed Robust Learning (DRL) framework can reduce the computational time of traditional robust learning methods by several orders of magnitude. We analyze the robustness property of DRL, showing that DRL not only preserves the robustness of the base robust learning method, but also tolerates contaminations on a constant fraction of results from computing nodes (node failures). More precisely, even in presence of the most adversarial outlier distribution over computing nodes, DRL still achieves a breakdown point of at least $ \lambda^*/2 $, where $ \lambda^* $ is the break down point of corresponding centralized algorithm. This is in stark contrast with naive division-and-averaging implementation, which may reduce the breakdown point by a factor of $ k $ when $ k $ computing nodes are used. We then specialize the DRL framework for two concrete cases: distributed robust principal component analysis and distributed robust regression. We demonstrate the efficiency and the robustness advantages of DRL through comprehensive simulations and predicting image tags on a large-scale image set.


title: A random attractor for stochastic porous media equations on infinite lattices

abstract: The paper is devoted to studying the existence of a random attractor for stochastic porous media equations on infinite lattices under some conditions.


title: Study on the structure of the four-quark states in terms of the Born-Oppenheimer approximation

abstract: In this work, we use the Born-Oppenheimer approximation where the potential between atoms can be approximated as a function of distance between the two nuclei to study the four-quark bound states. By the approximation, Heitler and London calculated the spectrum of hydrogen molecule which includes two protons (heavy) and two electrons (light). Generally, the observed exotic mesons $Z_b(10610)$, $Z_b(10650)$, $Z_c(3900)$ and $Z_c(4020)$($Z_c(4025)$) may be molecular states made of two physical mesons and/or in diquark-anti-diquark structures. In analog to the Heitler-London method for calculating the mass of hydrogen molecule, we investigate whether there exist energy minima for these two structures. By contrary to the hydrogen molecule case where only the spin-triplet possesses an energy minimum, there exist minima for both of them. It implies that both molecule and tetraquark states can be stable objects. But since they have the same quantum numbers, the two states may mix to result in the physical states. A consequence would be that partner exotic states co-existing with $Z_b(10610)$, $Z_b(10650)$, $Z_c(3900)$ and $Z_c(4020)$($Z_c(4025)$) are predicted and should be experimentally observed.


title: Carbon Irradiated SI-GaAs for Photoconductive THz Detection

abstract: We report here a photoconductive material for THz generation and detection with sub-picosecond carrier lifetime made by C12 (Carbon) irradiation on commercially available semi-insulating (SI) GaAs. We are able to reduce the carrier lifetime of SI-GaAs down to sub-picosecond by irradiating it with various irradiation dosages of Carbon (C12) ions. With an increase of the irradiation dose from ~1012 /cm2 to ~1015 /cm2 the carrier lifetime of SI-GaAs monotonously decreases to 0.55 picosecond, resulting in strongly improved THz pulse detection compared with normal SI-GaAs.


title: Vector particles tunneling from BTZ black holes

abstract: In this paper we investigate vector particles' Hawking radiation from a BTZ black hole. By applying the WKB approximation and the Hamilton-Jacobi Ansatz to the Proca equation, we obtain the tunneling spectrum of vector particles. The expected Hawking temperature is recovered.


title: IP Tracing and Active Network Response

abstract: Active security is mainly concerned with performing one or more security functions when a host in a communication network is subject to an attack. Such security functions include appropriate actions against attackers. To properly afford active security actions a set of software subsystems should be integrated together so that they can automatically detect and appropriately address any vulnerability in the underlying network. This work presents integrated model for active security response model. The proposed model introduces Active Response Mechanism (ARM) for tracing anonymous attacks in the network back to their source. This work is motivated by the increased frequency and sophistication of denial-of-service attacks and by the difficulty in tracing packets with incorrect, or "spoofed", source addresses. This paper presents within the proposed model two tracing approaches based on: 1.Sleepy Watermark Tracing (SWT) for unauthorized access attacks. 2.Probabilistic Packet Marking (PPM) in the network for Denial of Service (DoS) and Distributed Denial of Service (DDoS) attacks. On the basis of the proposed model a cooperative network security tools such as firewall, intrusion detection system with IP tracing mechanism has been designed for taking a rapid active response against real IPs for attackers. The proposed model is able to detect network vulnerabilities, trace attack source IP and reconfigure the attacked subnetworks.


title: Soliton Formation in Whispering-Gallery-Mode Resonators via Input Phase Modulation

abstract: We propose a method for soliton formation in whispering-gallery-mode (WGM) resonators through input phase modulation. Our numerical simulations of a variant of the Lugiato-Lefever equation suggest that modulating the input phase at a frequency equal to the resonator free-spectral-range and at modest modulation depths provides a deterministic route towards soliton formation in WGM resonators without undergoing a chaotic phase. We show that the generated solitonic state is sustained when the modulation is turned off adiabatically. Our results support parametric seeding as a powerful means of control, besides input pump power and pump-resonance detuning, over frequency comb generation in WGM resonators. Our findings also help pave the path towards ultra-short pulse formation on a chip.


title: G\"odel for Goldilocks: A Rigorous, Streamlined Proof of (a variant of) G\"odel's First Incompleteness Theorem

abstract: Most discussions of G\"odel's theorems fall into one of two types: either they emphasize perceived philosophical, cultural "meanings" of the theorems, and perhaps sketch some of the ideas of the proofs, usually relating G\"odel's proofs to riddles and paradoxes, but do not attempt to present rigorous, complete proofs; or they do present rigorous proofs, but in the traditional style of mathematical logic, with all of its heavy notation and difficult definitions, and technical issues which reflect G\"odel's original approach and broader logical issues. Many non-specialists are frustrated by these two extreme types of expositions and want a complete, rigorous proof that they can understand. Such an exposition is possible, because many people have realized that variants of G\"odel's first incompleteness theorem can be rigorously proved by a simpler middle approach, avoiding philosophical discussions and hand-waiving at one extreme; and also avoiding the heavy machinery of traditional mathematical logic, and many of the harder detail's of G\"odel's original proof, at the other extreme. This is the just-right Goldilocks approach. In this exposition we give a short, self-contained Goldilocks exposition of G\"odel's first theorem, aimed at a broad, undergraduate audience.


title: Image Partition near an Idempotent

abstract: Some of the classical results of Ramsey Theory can be naturally stated in terms of image partition regularity of matrices. There have been many significant results of image partition regular matrices as well as image partition regular matrices near zero. Here, we are investigating image partition regularity near an idempotent of an arbitrary Hausdorff semitopological semigroup (T, +) and a dense subsemigroup S of T . We describe some combinatorial applications on finite as well as infinite image partition regular matrices based on the Central Sets Theorem near an idempotent of T .


title: Entanglement area law from specific heat capacity

abstract: We study the scaling of entanglement in low-energy states of quantum many-body models on lattices of arbitrary dimensions. We allow for unbounded Hamiltonians such that systems with bosonic degrees of freedom are included. We show that if at low enough temperatures the specific heat capacity of the model decays exponentially with inverse temperature, the entanglement in every low-energy state satisfies an area law (with a logarithmic correction). This behaviour of the heat capacity is typically observed in gapped systems. Assuming merely that the low-temperature specific heat decays polynomially with temperature, we find a subvolume scaling of entanglement. Our results give experimentally verifiable conditions for area laws, show that they are a generic property of low-energy states of matter, and, to the best of our knowledge, constitute the first proof of an area law for unbounded Hamiltonians beyond those that are integrable.

categories: quant-ph cond-mat.stat-mech cond-mat.str-el hep-th math-ph math.MP


title: The NLO contributions to the scalar pion form factors and the ${\cal O}(\alpha_s^2)$ annihilation corrections to the $B\to \pi\pi$ decays

abstract: In this paper, by employing the $k_{T}$ factorization theorem, we made the first calculation for the space-like scalar pion form factor $Q^2 F(Q^2)$ at the leading order (LO) and the next-to-leading order (NLO) level, and then found the time-like scalar pion form factor $F'^{(1)}_{\rm a,I}$ by analytic continuation from the space-like one. From the analytical evaluations and the numerical results, we found the following points: (a) the NLO correction to the space-like scalar pion form factor has an opposite sign with the LO one but is very small in magnitude, can produce at most $10\%$ decrease to LO result in the considered $Q^2$ region; (b) the NLO time-like scalar pion form factor $F'^{(1)}_{\rm a,I}$ describes the ${\cal O}(\alpha_s^2)$ contribution to the factorizable annihilation diagrams of the considered $B \to \pi\pi$ decays, i.e. the NLO annihilation correction; (c) the NLO part of the form factor $F'^{(1)}_{\rm a,I}$ is very small in size, and is almost independent with the variation of cutoff scale $\mu_0$, but this form factor has a large strong phase around $-55^\circ$ and may play an important role in producing large CP violation for $B\to \pi\pi$ decays; and (d) for $B^0 \to \pi^+\pi^-$ and $ \pi^0\pi^0$ decays, the newly known NLO annihilation correction can produce only a very small enhancement to their branching ratios, less than $3\%$ in magnitude, and therefore we could not interpret the well-known $\pi\pi$-puzzle by the inclusion of this NLO correction to the factorizable annihilation diagrams.


title: On Geometric Infinite Divisibility p-thinning and Cox Processes

abstract: We discuss the connections among geometric infinite divisibility, thinning of renewal processes and Cox processes in this paper.


title: A note on power values of derivation in prime and semiprime rings

abstract: Let R be a ring with derivation d, such that (d(xy))^n =(d(x))^n(d(y))^n for all x,y in R and n>1 is a fixed integer. In this paper, we show that if R is a prime, then d = 0 or R is a commutative. If R is a semiprime, then d maps R in to its center. Moreover, in semiprime case let A = O(R) be the orthogonal completion of R and B = B(C) be the Boolian ring of C, where C is the extended centroid of R, then there exists an idempotent e in B such that eA is commutative ring and d induce a zero derivation on (1-e)A.


title: Generalized derivations as a generalization of Jordan homomorphisms acting on Lie ideals and right ideals

abstract: Let R be a prime ring with center Z(R) and extended centroid C, H a non-zero generalized derivation of R and n>1 a fixed integer. In this paper we study the situations: (1) H(u2)n-H(u)2n in C for all u in L, where L is a non-central Lie ideal of R; (2) H(u2)n - H(u)2n = 0 for all u in [I; I], where I is a nonzero right ideal of R.


title: Rings in which power values of K-Engels with derivations annihilate a certain element

abstract: Let R be a 2 torsion free semiprime ring and d a nonzero derivation. Further let A = O(R) be the orthogonal completion of R and B = B(C) the Boolean ring of C where C be the extended centroid of R. We show that if a[[d(x),x]^n- [y, d(y)]^m]^t = 0 such that a in R for all x, y in R, where m, n, t > 0 are fixed integers, then there exists an idempotent e in B such that eA is a commutative ring and d induce a zero derivation on (1-e)A.


title: Generalized derivations with central values on lie ideals LIE IDEALS

abstract: Let R be a prime ring of H a generalized derivation and L a noncentral lie ideal of R. We show that if l^sH(l)l^t in Z(R) for all lin2 L, where s, t> 0 are fixed integers, then H(x) = bx for some b in C, the extended centroid of R, or R satisfies S4. Moreover, let R be a 2-torsion free semiprime ring, let A = O(R) be an orthogonal completion of R and B = B(C) the Boolean ring of C. Suppose ([x1; x2]sH([x1; x2])[x1; x2]t in Z(R) for all x1; x2 in R, where s, t> 0 are fixed integers. Then there exists idempotent e in B such that H(x) = bx on eA and the ring (1-e)A satisfies S4.


title: Iterated identities and iterational depth of groups

abstract: Given word on $n$ letters, we study groups which satisfiy "iterated identity" $w$, meaning that for all $x_1, \dots, x_n$ there exists $m$ such that $m$-the iteration of $w$ of Engel type, applied to $x_1, \dots, x_n$, is equal to the identity. We define bounded groups and groups which are fractal with respect to identities. This notion of being fractal can be viewed as a self-similarity conditions for the set of identities, satisfied by a group. In contrast with torsion groups and Engel groups, groups which are fractal with respect to identities appear among finitely generated elementary amenable groups. We prove that any polycyclic, as well as any metabelian group is bounded and we compute the iterational depth for various wreath products. We study the set of iterated identities, satisfied by a given group, which is not necessarily a subgroup of a free group and not necessarily invariant under conjugation, in contrast with usual identities. Finally, we discuss another notion of iterated identities of groups, which we call solvability type iterated identities, and its relation to elementary classes of varieties of groups.


title: An Energy Efficiency policy for Communications with C-RAN, ICN and Transition Smooth

abstract: Towards next generation communications, Energy Efficiency (EE) attracts lots of attentions nowadays. Some innovative techniques have been proposed in prior literatures, especially the sleep mechanism of base station (BS). Yet how to sleep and when to sleep are still vague concepts. Another, most of the studies focus on the cellular section or core networks separately while integral and comprehensive version is neglected in prior literatures. In this paper,the integral optimization structure is studied based on cloud radio network (C-RAN) and information centric network (ICN) that raised latest combined with the sleep mode. The original C-RAN and ICN structures are amended in terms of reality application of sleep techniques. While adopting the sleep techniques both in core and cellular, apart from previous works, a transition smooth method that solve the current surge problems which is ignored before is further proposed. Based on the new method, it will be much more feasible to adopt the sleep techniques by knowing the appropriate occasion for transition between sleep and idle mode. Comprehensive computer based simulation results demonstrate that this integer proposal achieves better EE feature with negligible impact on quality of service (QoS) of user equipments (UEs).


title: Constructing cartesian splines

abstract: We introduce here Cartesian splines or, for short, C-splines. C- splines are piecewise polynomials which are defined on adjacent Cartesian coordinate systems and are Cr continuous throughout. The Cr continuity is enforced by constraining the coefficients of the polynomial to lie in the null-space of some smoothness matrix H. The matrix-product of the null-space of the smoothness matrix H and the original polynomial base results in a new base, the so-called C-spline base, which automatically enforces Cr continuity throughout. In this article we give a derivation of this C-spline base as well as an algorithm to construct C-spline models.


title: A quantum of history

abstract: With reference to primary sources it is shown that key claims made regarding the history of the pilot wave theory in Quantum Theory at the Crossroads are not supported by the historical record. It is also argued that the association of de Broglie with just a first-order law of particle motion, and Bohm with a second-order one, has no historical basis.


title: A Global Approach for Solving Edge-Matching Puzzles

abstract: We consider apictorial edge-matching puzzles, in which the goal is to arrange a collection of puzzle pieces with colored edges so that the colors match along the edges of adjacent pieces. We devise an algebraic representation for this problem and provide conditions under which it exactly characterizes a puzzle. Using the new representation, we recast the combinatorial, discrete problem of solving puzzles as a global, polynomial system of equations with continuous variables. We further propose new algorithms for generating approximate solutions to the continuous problem by solving a sequence of convex relaxations.


title: Molecular dynamics simulation: a tool for exploration and discovery using simple models

abstract: Emergent phenomena share the fascinating property of not being obvious consequences of the design of the system in which they appear. This characteristic is no less relevant when attempting to simulate such phenomena, given that the outcome is not always a foregone conclusion. The present survey focuses on several simple model systems that exhibit surprisingly rich emergent behavior, all studied by MD simulation. The examples are taken from the disparate fields of fluid dynamics, granular matter and supramolecular self-assembly. In studies of fluids modeled at the detailed microscopic level using discrete particles, the simulations demonstrate that complex hydrodynamic phenomena in rotating and convecting fluids, the Taylor-Couette and Rayleigh-B\'enard instabilities, can not only be observed within the limited length and time scales accessible to MD, but even quantitative agreement can be achieved. Simulation of highly counterintuitive segregation phenomena in granular mixtures, again using MD methods, but now augmented by forces producing damping and friction, leads to results that resemble experimentally observed axial and radial segregation in the case of a rotating cylinder, and to a novel form of horizontal segregation in a vertically vibrated layer. Finally, when modeling self-assembly processes analogous to the formation of the polyhedral shells that package spherical viruses, simulation of suitably shaped particles reveals the ability to produce complete, error-free assembly, and leads to the important general observation that reversible growth steps contribute to the high yield. While there are limitations to the MD approach, both computational and conceptual, the results offer a tantalizing hint of the kinds of phenomena that can be explored, and what might be discovered when sufficient resources are brought to bear on a problem.


title: Automorphism group of the modified bubble-sort graph

abstract: The modified bubble-sort graph of dimension $n$ is the Cayley graph of $S_n$ generated by $n$ cyclically adjacent transpositions. In the present paper, it is shown that the automorphism group of the modified bubble sort graph of dimension $n$ is $S_n \times D_{2n}$, for all $n \ge 5$. Thus, a complete structural description of the automorphism group of the modified bubble-sort graph is obtained. A similar direct product decomposition is seen to hold for arbitrary normal Cayley graphs generated by transposition sets.


title: Singularity categories of skewed-gentle algebras

abstract: Let $K$ be an algebraically closed field. Let $(Q,Sp,I)$ be a skewed-gentle triple, $(Q^{sg},I^{sg})$ and $(Q^g,I^{g})$ be its corresponding skewed-gentle pair and associated gentle pair respectively. It proves that the skewed-gentle algebra $KQ^{sg}/< I^{sg}>$ is singularity equivalent to $KQ/< I>$. Moreover, we use $(Q,Sp,I)$ to describe the singularity category of $KQ^g/< I^g>$. As a corollary, we get that $\mathrm{gldim} KQ^{sg}/< I^{sg}><\infty$ if and only if $\mathrm{gldim} KQ/< I><\infty$ if and only if $\mathrm{gldim} KQ^{g}/< I^{g}><\infty$.


title: The effect of concurrent geometry and roughness in interacting surfaces

abstract: We study the interaction energy between two surfaces, one of them flat, the other describable as the composition of a small-amplitude corrugation and a slightly curved, smooth surface. The corrugation, represented by a spatially random variable, involves Fourier wavelengths shorter than the (local) curvature radii of the smooth component of the surface. After averaging the interaction energy over the corrugation distribution, we obtain an expression which only depends on the smooth component. We then approximate that functional by means of a derivative expansion, calculating explicitly the leading and next-to-leading order terms in that approximation scheme. We analyze the resulting interplay between shape and roughness corrections for some specific corrugation models in the cases of electrostatic and Casimir interactions.


title: Concentrated sunlight for accelerated stability testing of organic photovoltaic materials: Towards decoupling light intensity and temperature

abstract: We have demonstrated OPV accelerated degradation studies using concentrated sunlight, where the atmosphere, temperature and illumination intensity were independently controlled. Testing various schemes for controlling the sample temperature under concentrated sunlight showed that heating of P3HT:PCBM was caused by photons at the absorbed wavelength range and dissipation of excess photon energy, and not necessarily by IR photon absorption. Sunlight chopping was found to be an effective method for independent temperature control under illumination by concentrated sunlight. The first accelerated degradation tests using sunlight concentration applied to P3HT:PCBM blends were reported. P3HT:PCBM blends exposed to concentrated sunlight in the presence of traces of oxygen/ humidity showed degradation induced by photo-oxidation of the P3HT backbone within the P3HT:PCBM blend, which is significantly thermally accelerated, in agreement with previous observations. However, this could be demonstrated in a time scale of minutes and hours, i.e., significantly accelerated. Exposure of well encapsulated P3HT:PCBM films to concentrated sunlight demonstrated stability up to 3,600 sun*hours, corresponding to about 1.6 years of operating time. This result was obtained at 300 suns exposure after merely 12 hours, demonstrating the advantage of using concentrated sunlight for accelerated stability tests. These tests can therefore combine extremely high acceleration factors with profound understanding of the effect of various, independently controlled factors on the degradation mechanisms.


title: International trade network: fractal properties and globalization puzzle

abstract: Globalization is one of the central concepts of our age. The common perception of the process is that, due to declining communication and transport costs, distance becomes less and less important. However, the distance coefficient in the gravity model of trade, which grows in time, indicates that the role of distance increases rather than decreases. This, in essence, captures the notion of the globalization puzzle. Here, we show that the fractality of the international trade system (ITS) provides a simple solution for the puzzle. We argue, that the distance coefficient corresponds to the fractal dimension of ITS. We provide two independent methods, box counting method and spatial choice model, which confirm this statement. Our results allow us to conclude that the previous approaches to solving the puzzle misinterpreted the meaning of the distance coefficient in the gravity model of trade.


title: A note on m_h(A_k)

abstract: A_k = {1, a_2, ..., a_k} is an h-basis for n if every positive integer not exceeding n can be expressed as the sum of no more than h values a_i; we write n = n_h(A_k). An extremal h-basis A_k is one for which n is as large as possible, and then we write n = n_h(k). The "local" Postage Stamp Problem is concerned with properties of particular sets A_k, and it is clear that sets where n_h(A_k) does not exceed a_k are of little interest. We define h_0(k) to be the smallest value of h for which n_h(A_k) exceeds a_k; such sets are called "admissible". We say that a value n can be "generated" by A_k if it can be expressed as the sum of no more than h values a_i, or - equivalently - if it can be expressed as the sum of exactly h values a_i from the set A'_k = {0, a_1, a_2, ... a_k}. No values greater than ha_k can be generated, and we now consider the number of values less than ha_k that have no generation, denoted m_h(A_k) - essentially a count of the number of "gaps" (see Challis [1], and Selmer [5] page 3.1). It is easy to show that for some value h_2(k) exceeding h_0(k) the difference m_h(A_k) - m_(h+1)(A_k) remains constant - that is, the "pattern" of missing values between ha_k and (h+1)a_k does not change as h increases. Here we are interested in the pattern of missing values for values that lie between h_0 and h_2. On page 7.8 of Selmer [5] he conjectures that the sequence of differences m_h(A_k) - m_(h+1)(A_k) is non-increasing as h runs from h_0 to h_2. When I came across this conjecture I could not convince myself that it was likely to be true, having found a possible error in Selmer's justification. I wrote to him in November 1995, and early in 1996 he replied, agreeing that this might be the case and hoping that I might be able to find a counter example. This paper records my successful search for a counter example, eventually found late in 1999.


title: Entanglement Distribution in Optical Networks

abstract: The ability to generate entangled photon-pairs over a broad wavelength range opens the door to the simultaneous distribution of entanglement to multiple users in a network by using centralized sources and flexible wavelength-division multiplexing schemes. Here we show the design of a metropolitan optical network consisting of tree-type access networks whereby entangled photon-pairs are distributed to any pair of users, independent of their location. The network is constructed employing commercial off-the-shelf components and uses the existing infrastructure, which allows for moderate deployment costs. We further develop a channel plan and a network-architecture design to provide a direct optical path between any pair of users, thus allowing classical and one-way quantum communication as well as entanglement distribution. This allows the simultaneous operation of multiple quantum information technologies. Finally, we present a more flexible backbone architecture that pushes away the load limitations of the original network design by extending its reach, number of users and capabilities.


title: Relations among complementary and supplementary pairings of Saalschutzian 4F3(1) series

abstract: We investigate sums $K(\vec{x})$ and $L(\vec{x})$ of pairs of (suitably normalized) Saalsch\"utzian ${}_4F_3(1)$ hypergeometric series, and develop a theory of relations among these $K$ and $L$ functions. The function $L(\vec{x})$ has been studied extensively in the literature, and has been shown to satisfy a number of two-term and three-term relations with respect to the variable $\vec{x}$. More recent works have framed these relations in terms of Coxeter group actions on $\vec{x}$, and have developed a similar theory of two-term and three-term relations for $K(\vec{x})$. In this article, we derive "mixed" three-term relations, wherein any one of the $L$ (respectively, $K$) functions arising in the above context may be expressed as a linear combination of two of the above $K$ (respectively, $L$) functions. We show that, under the appropriate Coxeter group action, the resulting set of three-term relations (mixed and otherwise) among $K$ and $L$ functions partitions into eighteen orbits. We provide an explicit example of a relation from each orbit. We further classify the eighteen orbits into five types, with each type uniquely determined by the distances (under a certain natural metric) between the $K$ and $L$ functions in the relation. We show that the type of a relation dictates the complexity (in terms of both number of summands and number of factors in each summand) of the coefficients of the $K$ and $L$ functions therein.


title: Structure of seeds in generalized cluster algebras

abstract: We study generalized cluster algebras introduced by Chekhov and Shapiro. When the coefficients satisfy the normalization and quasi-reciprocity conditions, one can naturally extend the structure theory of seeds in the ordinary cluster algebras by Fomin and Zelevinsky to generalized cluster algebras. As the main result, we obtain formulas expressing cluster variables and coefficients in terms of c-vectors, g-vectors, and F-polynomials.


title: Classification of Holomorphic Mappings of Hyperquadrics from $\mathbb C^2$ to $\mathbb C^3$

abstract: We give a new proof of Faran's and Lebl's results by means of a new CR-geometric approach and classify all holomorphic mappings from the sphere in $\mathbb C^2$ to Levi-nondegenerate hyperquadrics in $\mathbb C^3$. We use the tools developed by Lamel, which allow us to isolate and study the most interesting class of holomorphic mappings. This family of so-called nondegenerate and transversal maps we denote by $\mathcal F$. For $\mathcal F$ we introduce a subclass $\mathcal N$ of maps which are normalized with respect to the group $\mathcal G$ of automorphisms fixing a given point. With the techniques introduced by Baouendi--Ebenfelt--Rothschild and Lamel we classify all maps in $\mathcal N$. This intermediate result is crucial to obtain a complete classification of $\mathcal F$ by considering the transitive part of the automorphism group of the hyperquadrics.


title: Periodic Golay pairs of length 72

abstract: We construct supplementary difference sets (SDS) with parameters $(72;36,30;30)$. These SDSs give periodic Golay pairs of length 72. No periodic Golay pair of length 72 was known previously. The smallest undecided order for periodic Golay pairs is now 90. The periodic Golay pairs constructed here are the first examples having length divisible by a prime congruent to 3 modulo 4. The main tool employed is a recently introduced compression method. We observe that Turyn's multiplication of Golay pairs can be also used to multiply a Golay pair and a periodic Golay pair.


title: A Note on Homoclinic Orbits for Second Order Hamiltonian Systems

abstract: In this paper, we study the existence for the homoclinic orbits for the second order Hamiltonian systems. Under suitable conditions on the potential $V$, we apply the direct method of variations and the Fourier analysis to prove the existence of homoclinc orbits.


title: Unusual Magnetic Response of an $S = 1$ Antiferromagetic Linear-Chain Material

abstract: An $S=1$ antiferromagnetic polymeric chain, [Ni(HF$_2$)(3-Clpy)$_4$]BF$_4$ (py = pyridine), has previously been identified to have intrachain, nearest-neighbor antiferromagnetic interaction strength $J/k_{\mathrm{B}} = 4.86$ K and single-ion anisotropy (zero-field splitting) $D/k_{\mathrm{B}} = 4.3$ K, so the ratio $D/J = 0.88$ places this system close to the $D/J \approx 1$ gapless critical point between the topologically distinct Haldane and Large-$D$ phases. The magnetization was studied over a range of temperatures, 50 mK $\leq T \leq 1$ K, and magnetic fields, $B \leq 10$ T, in an attempt to identify a critical field, $B_{\mathrm{c}}$, associated with the closing of the Haldane gap, and the present work places an upper bound of $B_{\mathrm{c}} \leq (35 \pm 10)$ mT. At higher fields, the observed magnetic response is qualitatively similar to the "excess" signal observed by other workers at 0.5 K and below 3 T. The high-field (up to 14.5 T), multi-frequency (nomially 200 GHz to 425 GHz) ESR spectra at 3 K reveal several broad features considered to be associated with the linear-chain sample.


title: New types of nonlinear auto-correlations of bivariate data and their applications

abstract: The paper introduces new types of nonlinear correlations between bivariate data sets and derives nonlinear auto-correlations on the same data set. These auto-correlations are of different types to match signals with different types of nonlinearities. Examples are cited in all cases to make the definitions meaningful. Next correlogram diagrams are drawn separately in all cases; from these diagrams proper time lags/delays are determined. These give rise to independent coordinates of the attractors. Finally three dimensional attractors are reconstructed in each case separately with the help of these independent coordinates. Moreover for the purpose of making proper distinction between the signals, the attractors so reconstructed are quantified by a new technique called ellipsoid fit.


title: Some Remarks on Realization of Simplicial Algebras in Cat

abstract: In this paper we discuss why the passage from simplicial algebras over a Cat operad to algebras over that operad involves apparently unavoidable technicalities.


title: A high dimensional delay selection for the reconstruction of proper Phase Space with Cross auto-correlation

abstract: For the purpose of phase space reconstruction from nonlinear time series, delay selection is one of the most vital criteria. This is normally done by using a general measure viz., mutual information (MI). However, in that case, the delay selection is limited to the estimation of a single delay using MI between two variables only. The corresponding reconstructed phase space is also not satisfactory. To overcome the situation, a high-dimensional estimator of the MI is used; it selects more than one delay between more than two variables. The quality of the reconstructed phase space is tested by shape distortion parameter (SD), it is found that even this multidimensional MI sometimes fails to produce a less distorted phase space. In this paper, an alternative nonlinear measure cross autocorrelation (CAC) is introduced. A comparative study is made between the reconstructed phase spaces of a known three dimensional Neuro dynamical model, Lorenz dynamical model and a three dimensional food web model under MI for two and higher dimensions and also under cross auto-correlation separately. It is found that the least distorted phase space is obtained only under the notion of cross autocorrelation.


title: Statistical Power Law due to Reservoir Fluctuations and the Universal Thermostat Independence Principle

abstract: Certain fluctuations in particle number at fixed total energy lead exactly to a cut-power law distribution in the one-particle energy, via the induced fluctuations in the phase-space volume ratio. The temperature parameter is expressed automatically by an equipartition relation, while the q-parameter is related to the scaled variance and to the expectation value of the particle number. For the binomial distribution q is smaller, for the negative binomial q is larger than one. These results also represent an approximation for general particle number distributions in the reservoir up to second order in the canonical expansion. For general systems the average phase-space volume ratio expanded to second order delivers a q parameter related to the heat capacity and to the variance of the temperature. However, q differing from one leads to non-additivity of the Boltzmann-Gibbs entropy. We demonstrate that a deformed entropy, K(S), can be constructed and used for demanding additivity. This requirement leads to a second order differential equation for K(S). Finally, the generalized q-entropy formula contains the Tsallis, Renyi and Boltzmann-Gibbs-Shannon expressions as particular cases. For diverging temperature variance we obtain a novel entropy formula.


title: Effective potential energy for relativistic particles in the field of inclined rotating magnetized sphere

abstract: The dynamics of a charged relativistic particle in electromagnetic field of a rotating magnetized celestial body with the magnetic axis inclined to the axis of rotation is studied. The covariant Lagrangian function in the rotating reference frame is found. Effective potential energy is defined on the base of the first integral of motion. The structure of the equipotential surfaces for a relativistic charged particle is studied and depicted for different values of the dipole moment. It is shown that there are trapping regions for the particles of definite energies.


title: Holomorphic injective extensions of functions in P(K) and algebra generators

abstract: We present necessary and sufficient conditions on planar compacta $K$ and continuous functions $f$ on $K$ in order that $f$ generates the algebras $P(K), R(K), A(K)$ or $C(K)$. We also unveil quite surprisingly simple examples of non-polynomial convex compacta $K\subseteq\mathbb C$ and $f\in P(K)$ with the property that $f \in P(K)$ is a homeomorphism, but for which $f^{-1}\notin P(f(K))$. As a consequence, such functions do not admit injective holomorphic extensions to the interior of the polynomial convex hull $\widehat K$. On the other hand, it will be shown that the restriction $f^*|_G$ of the Gelfand-transform $f^*$ of an injective function $f\in P(K)$ is injective on every regular, bounded complementary component $G$ of $K$. A necessary and sufficient condition in terms of the behaviour of $f$ on the outer boundary of $K$ is given in order $f$ admits a holomorphic injective extension to $\widehat K$. We also include some results on the existence of continuous logarithms on punctured compacta containing the origin in their boundary.


title: Typical and atypical properties of periodic Teichmueller geodesics

abstract: Consider a component Q of a stratum in the moduli space of area one abelian differentials on a surface of genus g. Call a property P for periodic orbits of the Teichmueller flow typical if the growth rate of orbits with this property is maximal. Typical are: The logarithms of the eigenvalues of the symplectic matrix defined by the orbit are arbitrarily close to the Lyapunov exponents of Q, and its trace field is a totally real splitting field of degree g over Q. If g>2 then periodic orbits whose SL(2,R)-orbit closure equals Q are typical. We also show that Q contains only finitely many algebraically primitive Teichmueller curves, and only finitely many affine invariant submanifolds of rank at least 2.


title: Dynamical mass generation in unquenched QED using the Dyson--Schwinger equations

abstract: We present a comprehensive numerical study of dynamical mass generation for unquenched QED in four dimensions, in the absence of four-fermion interactions, using the Dyson--Schwinger approach. We begin with an overview of previous investigations of criticality in the quenched approximation. To this we add an analysis using a new fermion-antifermion-boson interaction ansatz, the Kizilersu-Pennington (KP) vertex, developed for an unquenched treatment. After surveying criticality in previous unquenched studies, we investigate the performance of the KP vertex in dynamical mass generation using a renormalized fully unquenched system of equations. This we compare with the results for two hybrid vertices incorporating the Curtis--Pennington vertex in the fermion equation. We conclude that the KP vertex is as yet incomplete, and its relative gauge-variance is due to its lack of massive transverse components in its design.


title: From "I love you babe" to "leave me alone" - Romantic Relationship Breakups on Twitter

abstract: We use public data from Twitter to study the breakups of the romantic relationships of 661 couples. Couples are identified through profile references such as @user1 writing "@user2 is the best boyfriend ever!!". Using this data set we find evidence for a number of existing hypotheses describing psychological processes including (i) pre-relationship closeness being indicative of post-relationship closeness, (ii) "stonewalling", i.e., ignoring messages by a partner, being indicative of a pending breakup, and (iii) post-breakup depression. We also observe a previously undocumented phenomenon of "batch un-friending and being un-friended" where users who break up experience sudden drops of 15-20 followers and friends. Our work shows that public Twitter data can be used to gain new insights into psychological processes surrounding relationship dissolutions, something that most people go through at least once in their lifetime.


title: Particle mesh multipole method: An efficient solver for gravitational/electrostatic forces based on multipole method and fast convolution over a uniform mesh

abstract: We propose an efficient algorithm for the evaluation of the potential and its gradient of gravitational/electrostatic $N$-body systems, which we call particle mesh multipole method (PMMM or PM$^3$). PMMM can be understood both as an extension of the particle mesh (PM) method and as an optimization of the fast multipole method (FMM).In the former viewpoint, the scalar density and potential held by a grid point are extended to multipole moments and local expansions in $(p+1)^2$ real numbers, where $p$ is the order of expansion. In the latter viewpoint, a hierarchical octree structure which brings its $\mathcal O(N)$ nature, is replaced with a uniform mesh structure, and we exploit the convolution theorem with fast Fourier transform (FFT) to speed up the calculations. Hence, independent $(p+1)^2$ FFTs with the size equal to the number of grid points are performed. The fundamental idea is common to PPPM/MPE by Shimada et al. (1993) and FFTM by Ong et al. (2003). PMMM differs from them in supporting both the open and periodic boundary conditions, and employing an irreducible form where both the multipole moments and local expansions are expressed in $(p+1)^2$ real numbers and the transformation matrices in $(2p+1)^2$ real numbers. The computational complexity is the larger of $\mathcal O(p^2 N)$ and $\mathcal O(N \log (N/p^2))$, and the memory demand is $\mathcal O(N)$ when the number of grid points is $\propto N/p^2$.


title: Supersymmetry and noncommutative geometry Part I: Supersymmetric almost-commutative geometries

abstract: Noncommutative geometry has seen remarkable applications for high energy physics, viz. the geometrical interpretation of the Standard Model. The question whether it also allows for supersymmetric theories has so far not been answered in a conclusive way. In this first of three papers we do a systematic analysis of the possibilities for almost-commutative geometries on a 4-dimensional, flat background to exhibit not only a particle content that is eligible for supersymmetry but also have a supersymmetric action. We come up with an approach in which we identify the basic 'building blocks' of potentially supersymmetric theories and the demands for their action to be supersymmetric. Examples that satisfy these demands turn out to be sparse.


title: Supersymmetry and noncommutative geometry Part II: Supersymmetry breaking

abstract: We describe how a soft supersymmetry breaking Lagrangian arises naturally in the context of almost-commutative geometries that fall within the classification of those having a supersymmetric particle content as well as a supersymmetric spectral action. All contributions to such a Lagrangian are seen to either be generated automatically after introducing gaugino masses to the theory or coming from the second Seeley-DeWitt coefficient that is already part of the spectral action. In noncommutative geometry, a supersymmetric particle content and the appearance of a soft breaking Lagrangian thus appear to be intimately connected to each other.


title: Supersymmetry and noncommutative geometry Part III: The noncommutative supersymmetric Standard Model

abstract: In a previous paper we developed a formalism to construct (potentially) supersymmetric theories in the context of noncommutative geometry. We apply this formalism to explore the existence of a noncommutative version of the minimal supersymmetric Standard Model (MSSM). We obtain the exact particle content of the MSSM and identify (in form) its interactions but conclude that their coefficients are such that the standard action functional used in noncommutative geometry is in fact not supersymmetric.


title: Relativistic calculations of $C_6$ and $C_8$ coefficients for strontium dimers

abstract: The electric dipole and quadrupole polarizabilities of the $5s5p~^3\!P_1^o$ state and the $C_6$ and $C_8$ coefficients for the $^1\!S_0 +\, ^1\!S_0$ and $^1\!S_0 +\, ^3\!P_1^o$ dimers of strontium are calculated using a high-precision relativistic approach that combines configuration interaction and linearized coupled-cluster methods. Our recommended values of the long range dispersion coefficients for the $0_u$ and $1_u$ energy levels are $C_6(0_u)=3771(32)$ a.u. and $C_6(1_u)= 4001(33)$ a.u., respectively. They are in good agreement with recent results from experimental photoassociation data. We also calculate $C_8$ coefficients for Sr dimers, which are needed for precise determination of long-range interaction potential. We confirm the experimental value for the magic wavelength, where the Stark shift on the $^1\!S_0$-$^3\!P_1^o$ transition vanishes. The accuracy of calculations is analyzed and uncertainties are assigned to all quantities reported in this work.

categories: physics.atom-ph cond-mat.quant-gas physics.chem-ph quant-ph


title: Domain Decomposition for Stochastic Optimal Control

abstract: This work proposes a method for solving linear stochastic optimal control (SOC) problems using sum of squares and semidefinite programming. Previous work had used polynomial optimization to approximate the value function, requiring a high polynomial degree to capture local phenomena. To improve the scalability of the method to problems of interest, a domain decomposition scheme is presented. By using local approximations, lower degree polynomials become sufficient, and both local and global properties of the value function are captured. The domain of the problem is split into a non-overlapping partition, with added constraints ensuring $C^1$ continuity. The Alternating Direction Method of Multipliers (ADMM) is used to optimize over each domain in parallel and ensure convergence on the boundaries of the partitions. This results in improved conditioning of the problem and allows for much larger and more complex problems to be addressed with improved performance.


title: Computing the Least-core and Nucleolus for Threshold Cardinality Matching Games

abstract: Cooperative games provide a framework for fair and stable profit allocation in multi-agent systems. \emph{Core}, \emph{least-core} and \emph{nucleolus} are such solution concepts that characterize stability of cooperation. In this paper, we study the algorithmic issues on the least-core and nucleolus of threshold cardinality matching games (TCMG). A TCMG is defined on a graph $G=(V,E)$ and a threshold $T$, in which the player set is $V$ and the profit of a coalition $S\subseteq V$ is 1 if the size of a maximum matching in $G[S]$ meets or exceeds $T$, and 0 otherwise. We first show that for a TCMG, the problems of computing least-core value, finding and verifying least-core payoff are all polynomial time solvable. We also provide a general characterization of the least core for a large class of TCMG. Next, based on Gallai-Edmonds Decomposition in matching theory, we give a concise formulation of the nucleolus for a typical case of TCMG which the threshold $T$ equals $1$. When the threshold $T$ is relevant to the input size, we prove that the nucleolus can be obtained in polynomial time in bipartite graphs and graphs with a perfect matching.


title: Nonlinear Electromagnetic Quasinormal Modes and Hawking Radiation of A Regular Black Hole with Magnetic Charge

abstract: Based on a regular exact black hole (BH) from nonlinear electrodynamics (NED) coupled to General Relativity, we investigate its stability of such BH through the Quasinormal Modes (QNMs) of electromagnetic (EM) field perturbation and its thermodynamics through Hawking radiation. In perturbation theory, we can deduce the effective potential from nonlinear EM field. The comparison of potential function between regular and RN BHs could predict their similar QNMs. The QNMs frequencies tell us the effect of magnetic charge $q$, overtone $n$, angular momentum number $l$ on the dynamic evolution of NLED EM field. Furthermore we also discuss the cases near extreme condition of such magnetically charged regular BH. The corresponding QNMs spectrum illuminates some special properties in the near-extreme cases. For the thermodynamics, we employ Hamilton-Jacobi method to calculate the near-horizon Hawking temperature of the regular BH and reveal the relationship between classical parameters of black hole and its quantum effect.


title: Stratifying ideals and twisted products

abstract: We study stratifying ideals for rings in the context of relative homological algebra. Using LU-decompositions, which are a special type of twisted products, we give a sufficient condition for an idempotent ideal to be (relative) stratifying.


title: Nonlinear pulse propagation in InAs/InP quantum-dot optical amplifiers: Rabi-oscillations in the presence of non-resonant nonlinearities

abstract: We study the interplay between coherent light-matter interactions and non-resonant pulse propagation effects when ultra-short pulses propagate in room-temperature quantum-dot (QD) semiconductor optical amplifiers (SOAs). The signatures observed on a pulse envelope after propagating in a transparent SOA, when coherent Rabi-oscillations are absent, highlight the contribution of two-photon absorption (TPA), and its accompanying Kerr-like effect, as well as of linear dispersion, to the modification of the pulse complex electric field profile. These effects are incorporated into our previously developed finite-difference time-domain comprehensive model that describes the interaction between the pulses and the QD SOA. The present, generalized, model is used to investigate the combined effect of coherent and non-resonant phenomena in the gain and absorption regimes of the QD SOA. It confirms that in the QD SOA we examined, linear dispersion in the presence of the Kerr-like effect causes pulse compression, which counteracts the pulse peak suppression due to TPA, and also modifies the patterns which the coherent Rabi-oscillations imprint on the pulse envelope under both gain and absorption conditions. The inclusion of these effects leads to a better fit with experiments and to a better understanding of the interplay among the various mechanisms so as to be able to better analyze more complex future experiments of coherent light-matter interaction induced by short pulses propagating along an SOA.


title: A correct security evaluation of quantum key distribution

abstract: There is no doubt that quantum key distribution is an excellent result as a science. However, this paper presents a view on quantum key distribution (QKD) wherein QKD may have a difficulty to provide a sufficient security and good communication performance in real world networks. In fact, a one-time pad forwarded by QKD model with $\bar{\epsilon}=10^{-6}$ may be easily decrypted by key estimation. Despite that researchers know several criticisms on the theoretical incompleteness on the security evaluation, Portmann and Rennner, and others still avert from the discussion on criticism, and experimental groups tend to make exaggerated claims about their own work by making it seems that QKD is applicable to commercial communication systems. All such claims are based on a misunderstanding of the meaning of criteria of information theoretic security in cryptography. A severe situation has arisen as a result, one that will impair a healthy development of quantum information science (QIS). Thus, the author hopes that this paper will help to stimulate discussions on developing a more detailed theory.


title: Are lines much bigger than line segments?

abstract: We pose the following conjecture: (*) If A is the union of line segments in R^n, and B is the union of the corresponding full lines then the Hausdorff dimensions of A and B agree. We prove that this conjecture would imply that every Besicovitch set (compact set that contains line segments in every direction) in R^n has Hausdorff dimension at least n-1 and (upper) Minkowski dimension n. We also prove that conjecture (*) holds if the Hausdorff dimension of B is at most 2, so in particular it holds in the plane.


title: Optimal Navigation Functions for Nonlinear Stochastic Systems

abstract: This paper presents a new methodology to craft navigation functions for nonlinear systems with stochastic uncertainty. The method relies on the transformation of the Hamilton-Jacobi-Bellman (HJB) equation into a linear partial differential equation. This approach allows for optimality criteria to be incorporated into the navigation function, and generalizes several existing results in navigation functions. It is shown that the HJB and that existing navigation functions in the literature sit on ends of a spectrum of optimization problems, upon which tradeoffs may be made in problem complexity. In particular, it is shown that under certain criteria the optimal navigation function is related to Laplace's equation, previously used in the literature, through an exponential transform. Further, analytical solutions to the HJB are available in simplified domains, yielding guidance towards optimality for approximation schemes. Examples are used to illustrate the role that noise, and optimality can potentially play in navigation system design.


title: When quantum channel preserves product states

abstract: Product states are always considered as the states that don't contain quantum correlation. We discuss here when a quantum channel sends the product states to themselves. The exact forms of such channels are proposed. It is shown that such a quantum channel is a local quantum channel, a composition of a local quantum channel and a flip operation, or such that one of the local states is fixed. Both finite- and infinite-dimensional systems are considered.


title: On the strengths of connectivity and robustness in general random intersection graphs

abstract: Random intersection graphs have received much attention for nearly two decades, and currently have a wide range of applications ranging from key predistribution in wireless sensor networks to modeling social networks. In this paper, we investigate the strengths of connectivity and robustness in a general random intersection graph model. Specifically, we establish sharp asymptotic zero-one laws for $k$-connectivity and $k$-robustness, as well as the asymptotically exact probability of $k$-connectivity, for any positive integer $k$. The $k$-connectivity property quantifies how resilient is the connectivity of a graph against node or edge failures. On the other hand, $k$-robustness measures the effectiveness of local diffusion strategies (that do not use global graph topology information) in spreading information over the graph in the presence of misbehaving nodes. In addition to presenting the results under the general random intersection graph model, we consider two special cases of the general model, a binomial random intersection graph and a uniform random intersection graph, which both have numerous applications as well. For these two specialized graphs, our results on asymptotically exact probabilities of $k$-connectivity and asymptotic zero-one laws for $k$-robustness are also novel in the literature.

categories: cs.DM cs.SI math.CO math.PR physics.soc-ph


title: Bogomolov-Tian-Todorov theorems for Landau-Ginzburg models

abstract: In this paper we prove the smoothness of the moduli space of Landau-Ginzburg models. We formulate and prove a Tian-Todorov theorem for the deformations of Landau-Ginzburg models, develop the necessary Hodge theory for varieties with potentials, and prove a double degeneration statement needed for the unobstructedness result. We discuss the various definitions of Hodge numbers for non-commutative Hodge structures of Landau-Ginzburg type and the role they play in mirror symmetry. We also interpret the resulting families of de Rham complexes attacted to a potential in terms of mirror symmetry for one parameter families of symplectic Fano manifolds and argue that modulo a natural triviality property the moduli spaces of Landau-Ginzburg models posses canonical special coordinates.


title: Ultraviolet extrapolations in finite oscillator bases

abstract: The use of finite harmonic oscillator spaces in many-body calculations introduces both infrared (IR) and ultraviolet (UV) errors. The IR effects are well approximated by imposing a hard-wall boundary condition at a properly identified radius L_eff. We show that duality of the oscillator implies that the UV effects are equally well described by imposing a sharp momentum cutoff at a momentum Lambda_eff complementary to L_eff. By considering two-body systems with separable potentials, we show that the UV energy corrections depend on details of the potential, in contrast to the IR energy corrections, which depend only on the S-matrix. An adaptation of the separable treatment to more general interactions is developed and applied to model potentials as well as to the deuteron with realistic potentials. The previous success with a simple phenomenological form for the UV error is also explained. Possibilities for controlled extrapolations for A > 2 based on scaling arguments are discussed.


title: T Violation and CPT Tests in Neutral-Meson Systems

abstract: The review covers transitions between M0 and M0bar in all four systems M0 = K0, D0, B0 and Bs. These systems are ideal laboratories for studying the discrete symmetries T and CPT. The properties of time reversal T are discussed in classical and quantum mechanics. T violation in K0 K0bar transitions has been observed in 1970 independent of assuming CPT symmetry by using the Bell-steinberger unitarity relation. Improvements of this observation are reviewed including the latest results in 2013. They show with high significance that CP violation in K0 K0bar transitions is only T violation without any CPT violation. Transitions in the other three systems do not show CP violation so far and therefore neither T nor CPT violation. The large observed CP violation in B0 -> J/psi K0 decays is presented to be compatible with only T and no CPT violation, the same for the very small but significant CP violation in decays K0 -> pi pi with isospin 2.