title: Raiders of the lost spacetime

abstract: Spacetime as we know and love it is lost in most approaches to quantum gravity. For many of these approaches, as inchoate and incomplete as they may be, one of the main challenges is to relate what they take to be the fundamental non-spatiotemporal structure of the world back to the classical spacetime of GR. The present essay investigates how spacetime is lost and how it may be regained in one major approach to quantum gravity, loop quantum gravity.


title: Modelling clumpy PDRs in 3D - Understanding the Orion Bar stratification

abstract: Context. Models of photon-dominated regions (PDRs) still fail to fully reproduce some of the observed properties, in particular the combination of the intensities of different PDR cooling lines together with the chemical stratification, as observed e.g. for the Orion Bar PDR. Aims. We aim to construct a numerical PDR model, KOSMA-\tau 3D, to simulate full spectral cubes of line emission from arbitrary PDRs in three dimensions (3D). The model is to reproduce the intensity of the main cooling lines from the Orion Bar PDR and the observed layered structure of the different transitions. Methods. We build up a 3D compound, made of voxels ("3D pixels") that contain a discrete mass distribution of spherical "clumpy" structures, approximating the fractal ISM. To analyse each individual clump the new code is combined with the KOSMA-\tau PDR model. Probabilistic algorithms are used to calculate the local FUV flux for each voxel as well as the voxel-averaged line emissivities and optical depths, based on the properties of the individual clumps. Finally, the computation of the radiative transfer through the compound provides full spectral cubes. To test the new model we try to simulate the structure of the Orion Bar PDR and compare the results to observations from HIFI/Herschel and from the Caltech Submillimetre Observatory (CSO). In this context new Herschel data from the HEXOS guaranteed-time key program is presented. Results. Our model is able to reproduce the line integrated intensities within a factor 2.5 and the observed stratification pattern within 0.016 pc for the [Cii] 158 \mu m and different 12/13 CO and HCO+ transitions, based on the representation of the Orion Bar PDR by a clumpy edge-on cavity wall. In the cavity wall, a large fraction of the total mass needs to be contained in clumps. The mass of the interclump medium is constrained by the FUV penetration. Furthermore, ...


title: Slow Encounters of Particle Pairs in Branched Structures

abstract: On infinite homogeneous structures, two random walkers meet with certainty if and only if the structure is recurrent, i.e., a single random walker returns to its starting point with probability 1. However, on general inhomogeneous structures this property does not hold and, although a single random walker will certainly return to its starting point, two moving particles may never meet. This striking property has been shown to hold, for instance, on infinite combs. Due to the huge variety of natural phenomena which can be modeled in terms of encounters between two (or more) particles diffusing in comb-like structures, it is fundamental to investigate if and, if so, to what extent similar effects may take place in finite structures. By means of numerical simulations we evidence that, indeed, even on finite structures, the topological inhomogeneity can qualitatively affect the two-particle problem. In particular, the mean encounter time can be polynomially larger than the time expected from the related one particle problem.


title: A quantum-information-theoretic complement to a general-relativistic implementation of a beyond-Turing computer

abstract: There exists a growing literature on the so-called physical Church-Turing thesis in a relativistic spacetime setting. The physical Church-Turing thesis is the conjecture that no computing device that is physically realizable (even in principle) can exceed the computational barriers of a Turing machine. By suggesting a concrete implementation of a beyond-Turing computer in a spacetime setting, Istv\'an N\'emeti and Gyula D\'avid (2006) have shown how an appreciation of the physical Church-Turing thesis necessitates the confluence of mathematical, computational, physical, and indeed cosmological ideas. In this essay, I will honour Istv\'an's seventieth birthday, as well as his longstanding interest in, and his seminal contributions to, this field going back to as early as 1987 by modestly proposing how the concrete implementation in N\'emeti and D\'avid (2006) might be complemented by a quantum-information-theoretic communication protocol between the computing device and the logician who sets the beyond-Turing computer a task such as determining the consistency of Zermelo-Fraenkel set theory. This suggests that even the foundations of quantum theory and, ultimately, quantum gravity may play an important role in determining the validity of the physical Church-Turing thesis.


title: Theoretical approach to resonant inelastic x-ray scattering in iron-based superconductors at the energy scale of the superconducting gap

abstract: We develop a phenomenological theory to predict the characteristic features of the momentum-dependent scattering amplitude in resonant inelastic x-ray scattering (RIXS) at the energy scale of the superconducting gap in iron-based superconductors. Taking into account all relevant orbital states as well as their specific content along the Fermi surface we evaluate the charge and spin dynamical structure factors for the compounds LaOFeAs and LiFeAs, based on tight-binding models which are fully consistent with recent angle-resolved photoemission spectroscopy (ARPES) data. We find a characteristic intensity redistribution between charge and spin dynamical structure factors which discriminates between sign-reversing and sign-preserving quasiparticle excitations. Consequently, our results show that RIXS spectra can distinguish between $s_\pm$ and $s_{++}$ wave gap functions in the singlet pairing case. In addition, we find that an analogous intensity redistribution at small momenta can reveal the presence of a chiral $p$-wave triplet pairing.


title: A Spectral Multiscale Method for Wave Propagation Analysis: Atomistic-Continuum Coupled Simulation

abstract: In this paper, we present a new multiscale method which is capable of coupling atomistic and continuum domains for high frequency wave propagation analysis. The problem of non-physical wave reflection, which occurs due to the change in system description across the interface between two scales, can be satisfactorily overcome by the proposed method. We propose an efficient spectral domain decomposition of the total fine scale displacement along with a potent macroscale equation in the Laplace domain to eliminate the spurious interfacial reflection. We use Laplace transform based spectral finite element method to model the macroscale, which provides the optimum approximations for required dynamic responses of the outer atoms of the simulated microscale region very accurately. This new method shows excellent agreement between the proposed multiscale model and the full molecular dynamics (MD) results. Numerical experiments of wave propagation in a 1D harmonic lattice, a 1D lattice with Lennard-Jones potential, a 2D square Bravais lattice, and a 2D triangular lattice with microcrack demonstrate the accuracy and the robustness of the method. In addition, under certain conditions, this method can simulate complex dynamics of crystalline solids involving different spatial and/or temporal scales with sufficient accuracy and efficiency.


title: Extending Precolorings to Distinguish Group Actions

abstract: Given a group $\Gamma$ acting on a set $X$, a $k$-coloring $\phi:X\to\{1,\dots,k\}$ of $X$ is distinguishing with respect to $\Gamma$ if the only $\gamma\in \Gamma$ that fixes $\phi$ is the identity action. The distinguishing number of the action $\Gamma$, denoted $D_{\Gamma}(X)$, is then the smallest positive integer $k$ such that there is a distinguishing $k$-coloring of $X$ with respect to $\Gamma$. This notion has been studied in a number of settings, but by far the largest body of work has been concerned with finding the distinguishing number of the action of the automorphism group of a graph $G$ upon its vertex set, which is referred to as the distinguishing number of $G$. The distinguishing number of a group action is a measure of how difficult it is to "break" all of the permutations arising from that action. In this paper, we aim to further differentiate the resilience of group actions with the same distinguishing number. In particular, we introduce a precoloring extension framework to address this issue. A set $S \subseteq X$ is a fixing set for $\Gamma$ if for every non-identity element $\gamma \in \Gamma$ there is an element $s \in S$ such that $\gamma(s) \neq s$. The distinguishing extension number $\operatorname{ext}_D(X,\Gamma;k)$ is the minimum number $m$ such that for all fixing sets $W \subseteq X$ with $|W| \geq m$, every $k$-coloring $c : X \setminus W \to [k]$ can be extended to a $k$-coloring that distinguishes $X$. In this paper, we prove that $\operatorname{ext}_D(\mathbb{R},\operatorname{Aut}(\mathbb{R}),2) =4$, where $\operatorname{Aut}(\mathbb{R})$ is comprised of compositions of translations and reflections. We also consider the distinguishing extension number of the circle and (finite) cycles, obtaining several exact results and bounds.


title: Quantifying the behavioural relevance of hippocampal neurogenesis

abstract: Few studies that examine the neurogenesis--behaviour relationship formally establish covariation between neurogenesis and behaviour or rule out competing explanations. The behavioural relevance of neurogenesis might therefore be overestimated if other mechanisms account for some, or even all, of the experimental effects. A systematic review of the literature was conducted and the data reanalysed using causal mediation analysis, which can estimate the behavioural contribution of new hippocampal neurons separately from other mechanisms that might be operating. Results from eleven eligible individual studies were then combined in a meta-analysis to increase precision (representing data from 215 animals) and showed that neurogenesis made a negligible contribution to behaviour (standarised effect = 0.15; 95% CI = -0.04 to 0.34; p = 0.128); other mechanisms accounted for the majority of experimental effects (standardised effect = 1.06; 95% CI = 0.74 to 1.38; p = 1.7 $\times 10^{-11}$).


title: Method for universal detection of two-photon polarization entanglement

abstract: Detecting and quantifying quantum entanglement of a given unknown state poses problems that are fundamentally important for quantum information processing. Surprisingly, no direct (i.e., without quantum tomography) universal experimental implementation of a necessary and sufficient test of entanglement has been designed even for a general two-qubit state. Here we propose an experimental method for detecting a collective universal witness, which is a necessary and sufficient test of two-photon polarization entanglement. It allows us to detect entanglement for any two-qubit mixed state and to establish tight upper and lower bounds on its amount. A different element of this method is the sequential character of its main components, which allows us to obtain relatively complicated information about quantum correlations with the help of simple linear-optical elements. As such, this proposal realizes a universal two-qubit entanglement test within the present state of the art of quantum optics. We show the optimality of our setup with respect to the minimal number of measured quantities.


title: Experimental evidence for a Bragg glass density wave phase in a transition-metal dichalcogenide

abstract: Analysis of the spatial dependence of current-voltage characteristics obtained from scanning tunneling microscopy experiments indicates that the charge density wave (CDW) occurring in NbSe$_2$ is subject to locally strong pinning by a non-negligible density of defects, but that on the length scales accessible in this experiment the material is in a "Bragg glass" phase where dislocations and anti-dislocations occur in bound pairs and free dislocations are not observed. A Landau theory-based analysis is presented showing how a strong local modulation may produce only a weak long range effect on the CDW phase.


title: Singularization of knots and closed braids

abstract: We construct the first combinatorial 1-cocycle with values in the $ \mathbb{Z} [x,x^{-1}]$-module of isotopy classes of singular long knots in 3-space with a signed planar double point, and which represents a non trivial cohomology class in the topological moduli space of long knots. It can be interpreted as an invariant with values in a $ \mathbb{Z} [x,x^{-1}]$-module generated by 3-manifolds for each element of infinite order of the mapping class group of the complement of a satellite knot in $S^3$. The 1-cocycle seems to be trivial on all loops for long knots which are not satellites but it is already non trivial on the Fox-Hatcher loop of any composite knot, on the loop which consists of {\em dragging} a trefoil through another trefoil and on the {\em scan-arc} for the 2-cable of the trefoil. The {\em canonical resolution} of the value of the 1-cocycle for dragging a knot through another knot leads to a symmetric bilinear form on the free $ \mathbb{Z} [x,x^{-1}]$-module of all unframed oriented knot types into itself. We conjecture that its radical contains only the trivial knot. Evaluating e.g. the Kauffman-Vogel HOMFLYPT polynomial for singular knots on the value of the 1-cocycle applied to the associated quadratic form, leads to a couple of new 3-variable knot polynomials. We construct also the first non trivial 1-cocycle for those closed positive 4-braids which contain a half-twist. It takes its values in a symmetric power of the $ \mathbb{Z}$-module of isotopy classes of closed positive 4-braids with a double point.


title: Constructor Theory of Information

abstract: We present a theory of information expressed solely in terms of which transformations of physical systems are possible and which are impossible - i.e. in constructor-theoretic terms. Although it includes conjectured laws of physics that are directly about information, independently of the details of particular physical instantiations, it does not regard information as an a priori mathematical or logical concept, but as something whose nature and properties are determined by the laws of physics alone. It does not suffer from the circularity at the foundations of existing information theory (namely that information and distinguishability are each defined in terms of the other). It explains the relationship between classical and quantum information, and reveals the single, constructor-theoretic property underlying the most distinctive phenomena associated with the latter, including the lack of in-principle distinguishability of some states, the impossibility of cloning, the existence of pairs of variables that cannot simultaneously have sharp values, the fact that measurement processes can be both deterministic and unpredictable, the irreducible perturbation caused by measurement, and entanglement (locally inaccessible information).


title: XMM-Newton and Chandra X-ray follow-up observations of the VHE gamma-ray source HESS J1507-622

abstract: Context. The discovery of the unique source HESS J1507-622 in the very high energy (VHE) range (100 GeV-100 TeV) opened new possibilities to study the parent population of ultra-relativistic particles found in astrophysical sources and underlined the possibility of new scenarios/mechanisms crucial for understanding the underlying astrophysical processes in nonthermal sources. Aims. The follow-up X-ray (0.2 - 10 keV) observations on HESS J1507-622 are reported, and possibilities regarding the nature of the VHE source and that of the newly discovered X-ray sources are investigated. Methods.We obtained bservations with the X-ray satellites XMM-Newton and Chandra. Background corrections were applied to the data to search for extended diffuse emission. Since HESS J1507-622 covers a large part of the field of view of these instruments, blank-sky background fields were used. Results. The discovery of several new X-ray sources and a new, faint, extended X-ray source with a flux of ~6e-14 erg cm^-2 s^-1 is reported. Interestingly, a new, variable point-like X-ray source with a flux of ~8e-14 erg cm^-2 s^-1 appeared in the 2011 observation, which was not detected in the previous X-ray observations. Conclusions. The X-ray observations revealed a faint, extended X-ray source that may be a possible counterpart for HESS J1507-622. This source could be an X-ray pulsar wind nebula (PWN) remnant of the larger gamma-ray PWN, which is still bright in IC emission. Several interpretations are proposed to explain the newly detected variable X-ray source.


title: Beam shaping for laser-based adaptive optics in astronomy

abstract: The availability and performance of laser-based adaptive optics (AO) systems are strongly dependent on the power and quality of the laser beam before being projected to the sky. Frequent and time-consuming alignment procedures are usually required in the laser systems with free-space optics to optimize the beam. Despite these procedures, significant distortions of the laser beam have been observed during the first two years of operation of the Gemini South multi-conjugate adaptive optics system (GeMS). A beam shaping concept with two deformable mirrors is investigated in order to provide automated optimization of the laser quality for astronomical AO. This study aims at demonstrating the correction of quasi-static aberrations of the laser, in both amplitude and phase, testing a prototype of this two-deformable mirror concept on GeMS. The paper presents the results of the preparatory study before the experimental phase. An algorithm to control amplitude and phase correction, based on phase retrieval techniques, is presented with a novel unwrapping method. Its performance is assessed via numerical simulations, using aberrations measured at GeMS as reference. The results predict effective amplitude and phase correction of the laser distortions with about 120 actuators per mirror and a separation of 1.4 m between the mirrors. The spot size is estimated to be reduced by up to 15% thanks to the correction. In terms of AO noise level, this has the same benefit as increasing the photon flux by 40%.


title: Discrete maximal functions in higher dimensions and applications to ergodic theory

abstract: We establish a higher dimensional counterpart of Bourgain's pointwise ergodic theorem along an arbitrary integer-valued polynomial mapping. We achieve this by proving variational estimates $V_r$ on $L^p$ spaces for all $1<p<\infty$ and $r>\max\{p, p/(p-1)\}$. Moreover, we obtain the estimates which are uniform in the coefficients of a polynomial mapping of fixed degree.


title: Finiteness properties of formal Lie group actions

abstract: Following ideas of Arnold and Seigal-Yakovenko, we prove that the space of matrix coefficients of a formal Lie group action belongs to a Noetherian ring. Using this result we extend the uniform intersection multiplicity estimates of these authors from the abelian case to general Lie groups. We also demonstrate a simple new proof for a jet-determination result of Baouendi et. al. In the second part of the paper we use similar ideas to prove a result on embedding formal diffeomorphisms in one-parameter groups extending a result of Takens. In particular this implies that the results of Arnold and Seigal-Yakovenko are formal consequence of our result for Lie groups.


title: Some observations on filters with properties defined by open covers

abstract: We study the relation between the Hurewicz and Menger properties of filters considered topologically as subspaces of P(\omega) with the Cantor set topology.


title: Directional perfect absorption using deep subwavelength low permittivity films

abstract: We experimentally demonstrate single beam directional perfect absorption (to within experimental accuracy) of p-polarized light in the near-infrared using unpatterned, deep subwavelength films of indium tin oxide (ITO) on Ag. The experimental perfect absorption occurs slightly above the epsilon-near-zero (ENZ) frequency of ITO where the permittivity is less than one. Remarkably, we obtain perfect absorption for films whose thickness is as low as ~1/50th of the operating free-space wavelength and whose single pass attenuation is only ~ 5%. We further derive simple analytical conditions for perfect absorption in the subwavelength-film regime that reveal the constraints that the ITO permittivity must satisfy if perfect absorption is to be achieved. Then, to get a physical insight on the perfect absorption properties, we analyze the eigenmodes of the layered structure by computing both the real-frequency/complex-wavenumber and the complex-frequency/real-wavenumber modal dispersion diagrams. These analyses allow us to attribute the experimental perfect absorption behavior to the crossover between bound and leaky behavior of one eigenmode of the layered structure. Both modal methods show that perfect absorption occurs at a frequency slightly larger than the ENZ frequency, in agreement with experimental results, and both methods predict a second perfect absorption condition at higher frequencies attributed to another crossover between bound and leaky behavior of the same eigenmode. Our results greatly expand the list of materials that can be considered for use as ultrathin perfect absorbers and also provide a methodology for the design of absorber systems at any desired frequency.


title: First-principles study of point defects at semicoherent interface

abstract: Modeling semicoherent metal-metal interfaces has so far been performed using atomistic simulations based on semiempirical interatomic potentials. We demonstrate through more precise ab-initio calculations that key conclusions drawn from previous studies do not conform with the new results which show that single point defects do not delocalize near the interfacial plane, but remain compact. We give a simple qualitative explanation for the difference in predicted results that can be traced back to shortcomings in potential fitting.


title: Two mode coupling in a single ion oscillator via parametric resonance

abstract: Atomic ions, confined in radio-frequency Paul ion traps, are a promising candidate to host a future quantum information processor. In this letter, we demonstrate a method to couple two motional modes of a single trapped ion, where the coupling mechanism is based on applying electric fields rather than coupling the ion's motion to a light field. This reduces the design constraints on the experimental apparatus considerably. As an application of this mechanism, we cool a motional mode close to its ground state without accessing it optically. As a next step, we apply this technique to measure the mode's heating rate, a crucial parameter determining the trap quality. In principle, this method can be used to realize a two-mode quantum parametric amplifier.


title: Minimum Information Dominating Set for Opinion Sampling

abstract: We consider the problem of inferring the opinions of a social network through strategically sampling a minimum subset of nodes by exploiting correlations in node opinions. We first introduce the concept of information dominating set (IDS). A subset of nodes in a given network is an IDS if knowing the opinions of nodes in this subset is sufficient to infer the opinion of the entire network. We focus on two fundamental algorithmic problems: (i) given a subset of the network, how to determine whether it is an IDS; (ii) how to construct a minimum IDS. Assuming binary opinions and the local majority rule for opinion correlation, we show that the first problem is co-NP-complete and the second problem is NP-hard in general networks. We then focus on networks with special structures, in particular, acyclic networks. We show that in acyclic networks, both problems admit linear-complexity solutions by establishing a connection between the IDS problems and the vertex cover problem. Our technique for establishing the hardness of the IDS problems is based on a novel graph transformation that transforms the IDS problems in a general network to that in an odd-degree network. This graph transformation technique not only gives an approximation algorithm to the IDS problems, but also provides a useful tool for general studies related to the local majority rule. Besides opinion sampling for applications such as political polling and market survey, the concept of IDS and the results obtained in this paper also find applications in data compression and identifying critical nodes in information networks.


title: Building a Predictive Model of Galaxy Formation - I: Phenomenological Model Constrained to the $z=0$ Stellar Mass Function

abstract: We constrain a highly simplified semi-analytic model of galaxy formation using the $z\approx 0$ stellar mass function of galaxies. Particular attention is paid to assessing the role of random and systematic errors in the determination of stellar masses, to systematic uncertainties in the model, and to correlations between bins in the measured and modeled stellar mass functions, in order to construct a realistic likelihood function. We derive constraints on model parameters and explore which aspects of the observational data constrain particular parameter combinations. We find that our model, once constrained, provides a remarkable match to the measured evolution of the stellar mass function to $z=1$, although fails dramatically to match the local galaxy HI mass function. Several "nuisance parameters" contribute significantly to uncertainties in model predictions. In particular, systematic errors in stellar mass estimate are the dominant source of uncertainty in model predictions at $z\approx 1$, with additional, non-negligble contributions arising from systematic uncertainties in halo mass functions and the residual uncertainties in cosmological parameters. Ignoring any of these sources of uncertainties could lead to viable models being erroneously ruled out. Additionally, we demonstrate that ignoring the significant covariance between bins the observed stellar mass function leads to significant biases in the constraints derived on model parameters. Careful treatment of systematic and random errors in the constraining data, and in the model being constrained, are crucial if this methodology is to be used to test hypotheses relating to the physics of galaxy formation.


title: Recommending Targeted Strangers from Whom to Solicit Information on Social Media

abstract: We present an intelligent, crowd-powered information collection system that automatically identifies and asks target-ed strangers on Twitter for desired information (e.g., cur-rent wait time at a nightclub). Our work includes three parts. First, we identify a set of features that characterize ones willingness and readiness to respond based on their exhibited social behavior, including the content of their tweets and social interaction patterns. Second, we use the identified features to build a statistical model that predicts ones likelihood to respond to information solicitations. Third, we develop a recommendation algorithm that selects a set of targeted strangers using the probabilities computed by our statistical model with the goal to maximize the over-all response rate. Our experiments, including several in the real world, demonstrate the effectiveness of our work.


title: High moments Jarque-Bera tests for arbitrary distribution functions

abstract: The Jarque-Bera's fitting test for normality is a celebrated and powerful one. In this paper, we consider general Jarque-Bera tests for any distribution function df having at least 4k finite moments for k greater than 2. The tests use as many moments as possible whereas the JB classical test is supposed to test only skewness and kurtosis for normal variates. But our results unveil the relations between the coeffients in the JB classical test and the moments, showing that it really depends on the first eight moments. This is a new explanation for the powerfulness of such tests. General Chi-square tests for an arbitraty model, not only normal, are also derived. We make use of the modern functional empirical processes approach that makes it easier to handle statistics based on the high moments and allows the generalization of the JB test both in the number of involved moments and in the underlying distribution. Simulation studies are provided and comparison cases with the Kolmogorov-Smirnov's tests and the classical JB test are given.


title: On the Theoretical Guarantees for Parameter Estimation of Gaussian Random Field Models: A Sparse Precision Matrix Approach

abstract: Iterative methods for fitting a Gaussian Random Field (GRF) model via maximum likelihood (ML) estimation requires solving a nonconvex optimization problem. The problem is aggravated for anisotropic GRFs where the number of covariance function parameters increases with the dimension. Even evaluation of the likelihood function requires $O(n^3)$ floating point operations, where $n$ denotes the number of data locations. In this paper, we propose a new two-stage procedure to estimate the parameters of second-order stationary GRFs. First, a convex likelihood problem regularized with a weighted $\ell_1$-norm, utilizing the available distance information between observation locations, is solved to fit a sparse precision (inverse covariance) matrix to the observed data. Second, the parameters of the covariance function are estimated by solving a least squares problem. Theoretical error bounds for the solutions of stage I and II problems are provided, and their tightness are investigated.


title: A simple note on some empirical stochastic process as a tool in uniform L-statistics weak laws

abstract: In this paper, we are concerned with the stochastic process \begin{equation} \beta_{n}(q_{t},t)=\beta_{n}(t)=\frac{1}{\sqrt{n}}\sum_{j=1}^{n}\left\{G_{t,n}(Y(t))-G_{t}(Y_{j}(t))\right\} q_{t}(Y_{j}(t)), \tag{A} \end{equation} where for $n\geq1$ and $T>0$, the sequences $\{Y_{1}(t),Y_{2}(t),...,Y_{n}(t),t\in [0,T]\}$ are independant observations of some real stochastic process ${Y(t),t\in [0,T]}$, for each $t \in [0,T]$, $G_{t}$ is the distribution function of $% Y(t)$ and $G_{t,n}$ is the empirical distribution function based on $% Y_{1}(t),Y_{2}(t),...,Y_{n}(t)$, and finally $q_{t}$ is a bounded real fonction defined on $\mathbb{R}$. This process appears when investigating some time-dependent L-Statistics which are expressed as a function of some functional empirical process and the process (A). Since the functional empirical process is widely investigated in the literature, the process reveals itself as an important key for L-Statistics laws. In this paper, we state an extended study of this process, give complete calculations of the first moments, the covariance function and find conditions for asymptotic tightness.


title: Asymptotic Representation Theorems for Poverty Indices

abstract: We set general conditions under which the general poverty index, which summarizes all the available indices, is asymptotically represented with some empirical processes. This representation theorem offers a general key, in most directions, for the asymptotics of the bulk of poverty indices and issues in poverty analysis. Our representation results uniformly hold on a large collection of poverty indices. They enable the continuous measure of poverty with longitudinal data.


title: Duality of 2D gravity as a local Fourier duality

abstract: The p - q duality is a relation between the (p,q) model and the (q,p) model of two-dimensional quantum gravity. Geometrically this duality corresponds to a relation between the two relevant points of the Sato Grassmannian. Kharchev and Marshakov have expressed such a relation in terms of matrix integrals. Some explicit formulas for small p and q have been given in the work of Fukuma-Kawai-Nakayama. Already in the duality between the (2,3) model and the (3,2) model the formulas are long. In this work a new approach to p - q duality is given: It can be realized in a precise sense as a local Fourier duality of D-modules. This result is obtained as a special case of a local Fourier duality between irregular connections associated to Kac-Schwarz operators. Therefore, since these operators correspond to Virasoro constraints, this allows to view the p - q duality as a consequence of the duality of the relevant Virasoro constraints.


title: Another look at Second order condition in Extreme Value Theory

abstract: This note compares two approaches both alternatively used when establishing normality theorems in univariate Extreme Value Theory. When the underlying distribution function ($df$) is the extremal domain of attraction, it is possible to use representations for the quantile function and regularity conditions (RC), based on these representations, under which strong and weak convergence are valid. It is also possible to use the now fashion second order condition (SOC), whenever it holds, to do the same. Some authors usually favor the first approach (the SOC one) while others are fond of the second approach that we denote as the representational one. This note aims at comparing the two approaches and show how to get from one to the other. The auxiliary functions used in each approach are computed and compared. Statistical applications using simultaneously both approaches are provided. A final comparison is provided.


title: Real-Time Predictive Modeling and Robust Avoidance of Pedestrians with Uncertain, Changing Intentions

abstract: To plan safe trajectories in urban environments, autonomous vehicles must be able to quickly assess the future intentions of dynamic agents. Pedestrians are particularly challenging to model, as their motion patterns are often uncertain and/or unknown a priori. This paper presents a novel changepoint detection and clustering algorithm that, when coupled with offline unsupervised learning of a Gaussian process mixture model (DPGP), enables quick detection of changes in intent and online learning of motion patterns not seen in prior training data. The resulting long-term movement predictions demonstrate improved accuracy relative to offline learning alone, in terms of both intent and trajectory prediction. By embedding these predictions within a chance-constrained motion planner, trajectories which are probabilistically safe to pedestrian motions can be identified in real-time. Hardware experiments demonstrate that this approach can accurately predict pedestrian motion patterns from onboard sensor/perception data and facilitate robust navigation within a dynamic environment.


title: Update on the Halo-Independent Comparison of Direct Dark Matter Detection Data

abstract: We briefly review the halo-independent formalism, that allows to compare data from different direct dark matter detection experiments without making assumptions on the properties of the dark matter halo. We apply this method to spin-independent WIMP-nuclei interactions, for both isospin-conserving and isospin-violating couplings, updating the existing analyses with the addition of the SuperCDMS bound. We point out that this method can be applied to any type of WIMP interaction.


title: The statistical properties of stars and their dependence on metallicity: the effects of opacity

abstract: We report the statistical properties of stars and brown dwarfs obtained from four radiation hydrodynamical simulations of star cluster formation that resolve masses down to the opacity limit for fragmentation. The calculations are identical except for their dust and gas opacities. Assuming dust opacity is proportional to metallicity, the calculations span a range of metallicities from 1/100 to 3 times solar, although we emphasise that changing the metallicity has other thermodynamic effects that the calculations do not capture (e.g. on the thermal coupling between gas and dust). All four calculations produce stellar populations whose statistical properties are difficult to distinguish from observed stellar systems, and we find no significant dependence of stellar properties on opacity. The mass functions and properties of multiple stellar systems are consistent with each other. However, we find protostellar mergers are more common with lower opacities. Combining the results from the three calculations with the highest opacities, we obtain a stellar population consisting of more than 500 stars and brown dwarfs. Many of the statistical properties of this population are in good agreement with those observed in our Galaxy, implying that gravity, hydrodynamics, and radiative feedback may be the primary ingredients for determining the statistical properties of low-mass stars. However, we do find indications that the calculations may be slightly too dissipative. Although further calculations will be required to understand all of the effects of metallicity on stellar properties, we conclude that stellar properties are surprisingly resilient to variations of the dust and gas opacities.


title: Theory of Polar Blue Phases

abstract: In liquid crystals, if flexoelectric couplings between polar order and director gradients are strong enough, the uniform nematic phase can become unstable to formation of a modulated polar phase. Previous theories have predicted two types of modulation, twist-bend and splay-bend; the twist-bend phase has been found in recent experiments. Here, we investigate other types of modulation, using lattice simulations and Landau theory. In addition to twist-bend and splay-bend, we also find polar blue phases, with 2D or 3D modulations of both director and polar order. We compare polar blue phases with chiral blue phases, and discuss opportunities for observing them experimentally.


title: Fermionic spectra in integrable systems

abstract: This is a brief review of several algebraic constructions related to generalized fermionic spectra, of the type which appear in integrable quantum spin chains and integrable quantum field theories. We discuss the connection between fermionic formulas for the graded dimensions of the spaces of conformal blocks of WZW theories, quantum cluster algebras, discrete integrable noncommutative evolutions and difference equations.


title: Role of the $\Delta^*(1940)$ in the $\pi^+ p \to K^+ \Sigma^+(1385)$ and $pp \to n K^+ \Sigma^+(1385)$ reactions

abstract: The $p p \to n K^+ \Sigma^+(1385)$ reaction is a very good isospin $3/2$ filter for studying $\Delta^{++*}$ resonance decaying to $K^+\Sigma^+(1385)$. Within the effective Lagrangian method, we investigate the $\Sigma(1385)$ (spin-parity $J^P = 3/2^+$) hadronic production in the $\pi^+ p \to K^+ \Sigma^+(1385)$ and $p p \to n K^+ \Sigma^+(1385)$ reactions. For $\pi^+ p \to K^+ \Sigma^+(1385)$ reaction, in addition to the "background" contributions from $t$-channel $K^{*0}$ exchange, $u$-channel $\Lambda(1115)$ and $\Sigma^0(1193)$ exchange, we also consider the contribution from the $s$-channel $\Delta^*(1940)$ resonance, which has significant coupling to $K\Sigma(1385)$ channel. We show that the inclusion of the $\Delta^*(1940)$ resonance leads to a fairly good description of the low energy experimental total cross section data of $\pi^+ p \to K^+ \Sigma^+(1385)$ reaction. Basing on the study of $\pi^+ p \to K^+\Sigma^+(1385)$ reaction and with the assumption that the excitation of $\Delta^*(1940)$ resonance dominant the $pp \to n K^+ \Sigma^+(1385)$ reaction, we calculate the total and differential cross sections of $p p \to n K^+ \Sigma^+(1385)$ reaction. It is shown that the new experimental data support the important role played by the $\Delta^*(1940)$ resonance with a mass in the region of $1940$ MeV and a width of around $200$ MeV. We also demonstrate that the invariant mass distribution and the Dalitz Plot provide direct information of the $\Sigma^+(1385)$ production, which can be tested by future experiments.


title: Parking functions, Shi arrangements, and mixed graphs

abstract: The \emph{Shi arrangement} is the set of all hyperplanes in $\mathbb R^n$ of the form $x_j - x_k = 0$ or $1$ for $1 \le j < k \le n$. Shi observed in 1986 that the number of regions (i.e., connected components of the complement) of this arrangement is $(n+1)^{n-1}$. An unrelated combinatorial concept is that of a \emph{parking function}, i.e., a sequence $(x_1, x_2, ..., x_n)$ of positive integers that, when rearranged from smallest to largest, satisfies $x_k \le k$. (There is an illustrative reason for the term \emph{parking function}.) It turns out that the number of parking functions of length $n$ also equals $(n+1)^{n-1}$, a result due to Konheim and Weiss from 1966. A natural problem consists of finding a bijection between the $n$-dimensional Shi arragnement and the parking functions of length $n$. Stanley and Pak (1996) and Athanasiadis and Linusson 1999) gave such (quite different) bijections. We will shed new light on the former bijection by taking a scenic route through certain mixed graphs.


title: SU(n) and U(n) Representations of Three-Manifolds with Boundary

abstract: Results are obtained on extending flat vector bundles or equivalently general representations from the fundamental group of S, a connected subsurface of the connected boundary of a compact, connected, oriented 3-dimensional manifold, to the whole manifold M. These are applied to representations of fundamental groups of 3-dimensional rational homology cobordisms. The proofs use the introduction and complete computation up to sign of new numerical invariants which "count with multiplicities and signs" the number of representations up to conjugacy of the fundamental group of M to the unitary group U(n) (resp., the special unitary group SU(n)) which when restricted to S are conjugate to a specified irreducible representation, rho, of the fundamental group of S. These invariants are inspired by Casson's work on SU(2) representations of closed manifolds. All the invariants treated here are independent of the choice of rho. If T equals the difference of the Euler characteristics of S and M and is non-negative, then a T times (dim U(n)) (resp., dim SU(n)) cycle is produced that carries information about the space of such U(n) (resp., SU(n)) representations. For T = 0, the above integer invariant results and it is entirely computed up to sign. For T > 0, under the assumption that rho sends each boundary component of S to the identity, a list of invariants for U(n) (resp. SU(n)) results which are expressed as a homogeneous polynomial in many variables, reminiscent of the work of Donaldson on 4-manifolds.


title: Banach algebras generated by an invertible isometry of an $L^p$-space

abstract: We provide a complete description of those Banach algebras that are generated by an invertible isometry of an $L^p$-space together with its inverse. Examples include the algebra $PF_p(\mathbb{Z})$ of $p$-pseudofunctions on $\mathbb{Z}$, the commutative $C^*$-algebra $C(S^1)$ and all of its quotients, as well as uncountably many `exotic' Banach algebras. We associate to each isometry of an $L^p$-space, a spectral invariant called `spectral configuration', which contains considerably more information than its spectrum as an operator. It is shown that the spectral configuration describes the isometric isomorphism type of the Banach algebra that the isometry generates together with its inverse. It follows from our analysis that these algebras are semisimple. With the exception of $PF_p(\mathbb{Z})$, they are all closed under continuous functional calculus, and their Gelfand transform is an isomorphism. As an application of our results, we show that Banach algebras that act on $L^1$-spaces are not closed under quotients. This answers the case $p=1$ of a question asked by Le Merdy 20 years ago.


title: Language to Specify Syntax-Guided Synthesis Problems

abstract: We present a language to specify syntax guided synthesis (SyGuS) problems. Syntax guidance is a prominent theme in contemporary program synthesis approaches, and SyGuS was first described in [1]. This paper describes concretely the input format of a SyGuS solver. [1] Rajeev Alur, Rastislav Bodik, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa. Syntax-guided synthesis. In FMCAD, pages 1--17, 2013.


title: PT-Symmetry in Non-Hermitian Su-Schrieffer-Heeger model with complex boundary potentials

abstract: We study the parity- and time-reversal PT symmetric non-Hermitian Su-Schrieffer-Heeger (SSH) model with two conjugated imaginary potentials $\pm i\gamma $ at two end sites. The SSH model is known as one of the simplest two-band topological models which has topologically trivial and nontrivial phases. We find that the non-Hermitian terms can lead to different effects on the properties of the eigenvalues spectrum in topologically trivial and nontrivial phases. In the topologically trivial phase, the system undergos an abrupt transition from unbroken PT-symmetry region to spontaneously broken $\mathcal{PT} $-symmetry region at a certain $\gamma_{c}$, and a second transition occurs at another transition point $\gamma_{c^{'}}$ when further increasing the strength of the imaginary potential $\gamma$. But in the topologically nontrivial phase, the zero-mode edge states become unstable for arbitrary nonzero $\gamma$ and the $\mathcal{PT}$-symmetry of the system is spontaneously broken, which is characterized by the emergence of a pair of conjugated imaginary modes.


title: Microwave Down-Conversion with an Impedance-Matched $\Lambda$ System in Driven Circuit QED

abstract: By driving a dispersively coupled qubit-resonator system, we realize an "impedance-matched" $\Lambda$ system that has two identical radiative decay rates from the top level and interacts with a semi-infinite waveguide. It has been predicted that a photon input from the waveguide deterministically induces a Raman transition in the system and switches its electronic state. We confirm this through microwave response to a continuous probe field, observing near-perfect ($99.7\%$) extinction of the reflection and highly efficient ($74\%$) frequency down-conversion. These proof-of-principle results lead to deterministic quantum gates between material qubits and microwave photons and open the possibility for scalable quantum networks interconnected with waveguide photons.


title: Saturation algorithms for model-checking pushdown systems

abstract: We present a survey of the saturation method for model-checking pushdown systems.


title: From Finite Automata to Regular Expressions and Back--A Summary on Descriptional Complexity

abstract: The equivalence of finite automata and regular expressions dates back to the seminal paper of Kleene on events in nerve nets and finite automata from 1956. In the present paper we tour a fragment of the literature and summarize results on upper and lower bounds on the conversion of finite automata to regular expressions and vice versa. We also briefly recall the known bounds for the removal of spontaneous transitions (epsilon-transitions) on non-epsilon-free nondeterministic devices. Moreover, we report on recent results on the average case descriptional complexity bounds for the conversion of regular expressions to finite automata and brand new developments on the state elimination algorithm that converts finite automata to regular expressions.


title: On Varieties of Automata Enriched with an Algebraic Structure (Extended Abstract)

abstract: Eilenberg correspondence, based on the concept of syntactic monoids, relates varieties of regular languages with pseudovarieties of finite monoids. Various modifications of this correspondence related more general classes of regular languages with classes of more complex algebraic objects. Such generalized varieties also have natural counterparts formed by classes of finite automata equipped with a certain additional algebraic structure. In this survey, we overview several variants of such varieties of enriched automata.


title: Decision Problems for Deterministic Pushdown Automata on Infinite Words

abstract: The article surveys some decidability results for DPDAs on infinite words (omega-DPDA). We summarize some recent results on the decidability of the regularity and the equivalence problem for the class of weak omega-DPDAs. Furthermore, we present some new results on the parity index problem for omega-DPDAs. For the specification of a parity condition, the states of the omega-DPDA are assigned priorities (natural numbers), and a run is accepting if the highest priority that appears infinitely often during a run is even. The basic simplification question asks whether one can determine the minimal number of priorities that are needed to accept the language of a given omega-DPDA. We provide some decidability results on variations of this question for some classes of omega-DPDAs.


title: Equivalence Problems for Tree Transducers: A Brief Survey

abstract: The decidability of equivalence for three important classes of tree transducers is discussed. Each class can be obtained as a natural restriction of deterministic macro tree transducers (MTTs): (1) no context parameters, i.e., top-down tree transducers, (2) linear size increase, i.e., MSO definable tree transducers, and (3) monadic input and output ranked alphabets. For the full class of MTTs, decidability of equivalence remains a long-standing open problem.


title: Grammars with two-sided contexts

abstract: In a recent paper (M. Barash, A. Okhotin, "Defining contexts in context-free grammars", LATA 2012), the authors introduced an extension of the context-free grammars equipped with an operator for referring to the left context of the substring being defined. This paper proposes a more general model, in which context specifications may be two-sided, that is, both the left and the right contexts can be specified by the corresponding operators. The paper gives the definitions and establishes the basic theory of such grammars, leading to a normal form and a parsing algorithm working in time O(n^4), where n is the length of the input string.


title: Analyzing Catastrophic Backtracking Behavior in Practical Regular Expression Matching

abstract: We develop a formal perspective on how regular expression matching works in Java, a popular representative of the category of regex-directed matching engines. In particular, we define an automata model which captures all the aspects needed to study such matching engines in a formal way. Based on this, we propose two types of static analysis, which take a regular expression and tell whether there exists a family of strings which makes Java-style matching run in exponential time.


title: Measuring Communication in Parallel Communicating Finite Automata

abstract: Systems of deterministic finite automata communicating by sending their states upon request are investigated, when the amount of communication is restricted. The computational power and decidability properties are studied for the case of returning centralized systems, when the number of necessary communications during the computations of the system is bounded by a function depending on the length of the input. It is proved that an infinite hierarchy of language families exists, depending on the number of messages sent during their most economical recognitions. Moreover, several properties are shown to be not semi-decidable for the systems under consideration.


title: Simplifying Nondeterministic Finite Cover Automata

abstract: The concept of Deterministic Finite Cover Automata (DFCA) was introduced at WIA '98, as a more compact representation than Deterministic Finite Automata (DFA) for finite languages. In some cases representing a finite language, Nondeterministic Finite Automata (NFA) may significantly reduce the number of states used. The combined power of the succinctness of the representation of finite languages using both cover languages and non-determinism has been suggested, but never systematically studied. In the present paper, for nondeterministic finite cover automata (NFCA) and l-nondeterministic finite cover automaton (l-NFCA), we show that minimization can be as hard as minimizing NFAs for regular languages, even in the case of NFCAs using unary alphabets. Moreover, we show how we can adapt the methods used to reduce, or minimize the size of NFAs/DFCAs/l-DFCAs, for simplifying NFCAs/l-NFCAs.


title: On Determinism and Unambiguity of Weighted Two-way Automata

abstract: In this paper, we first study the conversion of weighted two-way automata to one-way automata. We show that this conversion preserves the unambiguity but does not preserve the determinism. Yet, we prove that the conversion of an unambiguous weighted one-way automaton into a two-way automaton leads to a deterministic two-way automaton. As a consequence, we prove that unambiguous weighted two-way automata are equivalent to deterministic weighted two-way automata in commutative semirings.


title: Operations on Automata with All States Final

abstract: We study the complexity of basic regular operations on languages represented by incomplete deterministic or nondeterministic automata, in which all states are final. Such languages are known to be prefix-closed. We get tight bounds on both incomplete and nondeterministic state complexity of complement, intersection, union, concatenation, star, and reversal on prefix-closed languages.


title: Commutative Languages and their Composition by Consensual Methods

abstract: Commutative languages with the semilinear property (SLIP) can be naturally recognized by real-time NLOG-SPACE multi-counter machines. We show that unions and concatenations of such languages can be similarly recognized, relying on -- and further developing, our recent results on the family of consensually regular (CREG) languages. A CREG language is defined by a regular language on the alphabet that includes the terminal alphabet and its marked copy. New conditions, for ensuring that the union or concatenation of CREG languages is closed, are presented and applied to the commutative SLIP languages. The paper contributes to the knowledge of the CREG family, and introduces novel techniques for language composition, based on arithmetic congruences that act as language signatures. Open problems are listed.


title: Similarity density of the Thue-Morse word with overlap-free infinite binary words

abstract: We consider a measure of similarity for infinite words that generalizes the notion of asymptotic or natural density of subsets of natural numbers from number theory. We show that every overlap-free infinite binary word, other than the Thue-Morse word t and its complement t bar, has this measure of similarity with t between 1/4 and 3/4. This is a partial generalization of a classical 1927 result of Mahler.


title: Cooperating Distributed Grammar Systems of Finite Index Working in Hybrid Modes

abstract: We study cooperating distributed grammar systems working in hybrid modes in connection with the finite index restriction in two different ways: firstly, we investigate cooperating distributed grammar systems working in hybrid modes which characterize programmed grammars with the finite index restriction; looking at the number of components of such systems, we obtain surprisingly rich lattice structures for the inclusion relations between the corresponding language families. Secondly, we impose the finite index restriction on cooperating distributed grammar systems working in hybrid modes themselves, which leads us to new characterizations of programmed grammars of finite index.


title: Representations of Circular Words

abstract: In this article we give two different ways of representations of circular words. Representations with tuples are intended as a compact notation, while representations with trees give a way to easily process all conjugates of a word. The latter form can also be used as a graphical representation of periodic properties of finite (in some cases, infinite) words. We also define iterative representations which can be seen as an encoding utilizing the flexible properties of circular words. Every word over the two letter alphabet can be constructed starting from ab by applying the fractional power and the cyclic shift operators one after the other, iteratively.


title: More Structural Characterizations of Some Subregular Language Families by Biautomata

abstract: We study structural restrictions on biautomata such as, e.g., acyclicity, permutation-freeness, strongly permutation-freeness, and orderability, to mention a few. We compare the obtained language families with those induced by deterministic finite automata with the same property. In some cases, it is shown that there is no difference in characterization between deterministic finite automata and biautomata as for the permutation-freeness, but there are also other cases, where it makes a big difference whether one considers deterministic finite automata or biautomata. This is, for instance, the case when comparing strongly permutation-freeness, which results in the family of definite language for deterministic finite automata, while biautomata induce the family of finite and co-finite languages. The obtained results nicely fall into the known landscape on classical language families.


title: Buffered Simulation Games for B\"uchi Automata

abstract: Simulation relations are an important tool in automata theory because they provide efficiently computable approximations to language inclusion. In recent years, extensions of ordinary simulations have been studied, for instance multi-pebble and multi-letter simulations which yield better approximations and are still polynomial-time computable. In this paper we study the limitations of approximating language inclusion in this way: we introduce a natural extension of multi-letter simulations called buffered simulations. They are based on a simulation game in which the two players share a FIFO buffer of unbounded size. We consider two variants of these buffered games called continuous and look-ahead simulation which differ in how elements can be removed from the FIFO buffer. We show that look-ahead simulation, the simpler one, is already PSPACE-hard, i.e. computationally as hard as language inclusion itself. Continuous simulation is even EXPTIME-hard. We also provide matching upper bounds for solving these games with infinite state spaces.


title: Hyper-Minimization for Deterministic Weighted Tree Automata

abstract: Hyper-minimization is a state reduction technique that allows a finite change in the semantics. The theory for hyper-minimization of deterministic weighted tree automata is provided. The presence of weights slightly complicates the situation in comparison to the unweighted case. In addition, the first hyper-minimization algorithm for deterministic weighted tree automata, weighted over commutative semifields, is provided together with some implementation remarks that enable an efficient implementation. In fact, the same run-time O(m log n) as in the unweighted case is obtained, where m is the size of the deterministic weighted tree automaton and n is its number of states.


title: Boolean Circuit Complexity of Regular Languages

abstract: In this paper we define a new descriptional complexity measure for Deterministic Finite Automata, BC-complexity, as an alternative to the state complexity. We prove that for two DFAs with the same number of states BC-complexity can differ exponentially. In some cases minimization of DFA can lead to an exponential increase in BC-complexity, on the other hand BC-complexity of DFAs with a large state space which are obtained by some standard constructions (determinization of NFA, language operations), is reasonably small. But our main result is the analogue of the "Shannon effect" for finite automata: almost all DFAs with a fixed number of states have BC-complexity that is close to the maximum.


title: Nonlinear Atom-Photon Interaction Induced Population Inversion and Inverted Quantum Phase Transition of Bose-Einstein Condensate in an Optical Cavity

abstract: In this paper we explore the rich structure of macroscopic many-particle quantum states for Bose- Einstein condensate in an optical cavity with the tunable nonlinear atom-photon interaction [Nature (London) 464, 1301 (2010)]. Population inversion, bistable normal phases and the coexistence of normal{superradiant phases are revealed by adjusting of the experimentally realizable interaction strength and pump-laser frequency. For the negative (effective) cavity-frequency we observe remark- ably an inverted quantum phase transition (QPT) from the superradiant to normal phases with the increase of atom-field coupling, which is just opposite to the QPT in the normal Dicke model. The bistable macroscopic states are derived analytically in terms of the spin-coherent-state variational method by taking into account of both normal and inverted pseudospin states.


title: Improved Algorithms for Multiple Sink Location Problems in Dynamic Path Networks

abstract: This paper considers the k-sink location problem in dynamic path networks. In our model, a dynamic path network consists of an undirected path with positive edge lengths, uniform edge capacity, and positive vertex supplies. Here, each vertex supply corresponds to a set of evacuees. Then, the problem requires to find the optimal location of $k$ sinks in a given path so that each evacuee is sent to one of k sinks. Let x denote a k-sink location. Under the optimal evacuation for a given x, there exists a (k-1)-dimensional vector d, called (k-1)-divider, such that each component represents the boundary dividing all evacuees between adjacent two sinks into two groups, i.e., all supplies in one group evacuate to the left sink and all supplies in the other group evacuate to the right sink. Therefore, the goal is to find x and d which minimize the maximum cost or the total cost, which are denoted by the minimax problem and the minisum problem, respectively. We study the k-sink location problem in dynamic path networks with continuous model, and prove that the minimax problem can be solved in O(kn) time and the minisum problem can be solved in O(n^2 min{k, 2^{sqrt{log k log log n}}}) time, where n is the number of vertices in the given network. Note that these improve the previous results by [6].


title: Electromagnetically induced transparency and tunable fano resonances in hybrid optomechanics

abstract: We explain the phenomena of electromagnetically induced transparency (EIT) of a weak probe field and tunable Fano resonances in hybrid optomechanics. The system of study consists of a two-level atom coupled to a single-mode field of an optomechanical resonator with a moving mirror. We show that a single EIT window exists in the presence of optomechanical coupling or Jaynes-Cummings coupling, whereas two distinct double EIT windows occur when both the couplings are simultaneously present. Furthermore, based on our analytic and numerical work, we prove the existence of tunable fano resonances in the system. The controlling parameters of the system, which switch from a single EIT window to double EIT windows and are needed to tune the fano resonances, can be realized in present-day laboratory experiments.


title: Study of typical space wave-particle coupling events possibly related with seismic activity

abstract: Based on the DEMETER satellite, we found two space wave-particle coupling events during February 2010 taking place in the range of McIlwain parameter $L$($1.27\sim1.37$). There are strong spatial and temporal correlation between the particle bursts(PBs) and the electromagnetic disturbances of the coupling events. The two PBs show different energy spectrum characteristics, while the corresponding electromagnetic disturbances concentrated on different frequencies range. In agreement with the prediction of the theory of wave-particle interaction, we conclude that the two wave-particle interactions can be probably explained as following: one is electron dominant precipitation with energy of $0.09\sim0.2$ MeV induced by VLF electromagnetic wave with the frequency of $14\sim20$ kHz, and another is proton dominant precipitation with energy of $0.65\sim2.85$ MeV induced by VLF electromagnetic wave with the frequency of $\le 100$ Hz. For the first time, those particle bursts origin, from electron or proton detected by the Instrument for the Detection of Particles(IDP) on board, is inferred by theory calculation, although the Instrument has no ability to identify the particle species.


title: Modern techniques of multiloop calculations

abstract: I present a few new and recent ideas of the multiloop calculations.


title: Odors in olfactory bulb are defined by a short discrete temporal sequence: recognition by brute-force conversion to a spatial pattern (chunking)

abstract: Mitral cells, the principal neurons in the olfactory bulb, respond to odorants by firing bursts of action potentials called sharp events. A given cell produces a sharp event at a fixed phase during the sniff cycle in response to a given odor; different cells have different phases. The olfactory bulb response to an odor is thus a sequence of sharp events. Here, we show that sharp event onset is biased toward certain phases of the ongoing gamma frequency oscillation. Thus, the signature of an odor is a discrete sequence. The fact that this sequence is relatively short suggests a new class of "brute force" solutions to the problem of odor recognition: cortex may contain a small number of modules, each forming a persistent snapshot of what occurs in a certain gamma cycle. Towards the end of the sniff, the collection of these snapshots forms a spatial pattern that could be recognized by standard attractor-based network mechanisms. We demonstrate the feasibility of this solution with simulations of simple network architectures having modules that represent gamma-cycle specific information. Thus "brute force" solutions for converting a discrete temporal sequence into a spatial pattern (chunking) are neurally plausible.


title: Compressive Phase Retrieval via Generalized Approximate Message Passing

abstract: In phase retrieval, the goal is to recover a signal $\mathbf{x}\in\mathbb{C}^N$ from the magnitudes of linear measurements $\mathbf{Ax}\in\mathbb{C}^M$. While recent theory has established that $M\approx 4N$ intensity measurements are necessary and sufficient to recover generic $\mathbf{x}$, there is great interest in reducing the number of measurements through the exploitation of sparse $\mathbf{x}$, which is known as compressive phase retrieval. In this work, we detail a novel, probabilistic approach to compressive phase retrieval based on the generalized approximate message passing (GAMP) algorithm. We then present a numerical study of the proposed PR-GAMP algorithm, demonstrating its excellent phase-transition behavior, robustness to noise, and runtime. Our experiments suggest that approximately $M\geq 2K\log_2(N/K)$ intensity measurements suffice to recover $K$-sparse Bernoulli-Gaussian signals for $\mathbf{A}$ with i.i.d Gaussian entries and $K\ll N$. Meanwhile, when recovering a 6k-sparse 65k-pixel grayscale image from 32k randomly masked and blurred Fourier intensity measurements at 30~dB measurement SNR, PR-GAMP achieved an output SNR of no less than 28~dB in all of 100 random trials, with a median runtime of only 7.3 seconds. Compared to the recently proposed CPRL, sparse-Fienup, and GESPAR algorithms, our experiments suggest that PR-GAMP has a superior phase transition and orders-of-magnitude faster runtimes as the sparsity and problem dimensions increase.


title: A Characterization of Chover-Type Law of Iterated Logarithm

abstract: Let $0 < \alpha \leq 2$ and $- \infty < \beta < \infty$. Let $\{X_{n}; n \geq 1 \}$ be a sequence of independent copies of a real-valued random variable $X$ and set $S_{n} = X_{1} + \cdots + X_{n}, ~n \geq 1$. We say $X$ satisfies the $(\alpha, \beta)$-Chover-type law of the iterated logarithm (and write $X \in CTLIL(\alpha, \beta)$) if $\limsup_{n \rightarrow \infty} \left| \frac{S_{n}}{n^{1/\alpha}} \right|^{(\log \log n)^{-1}} = e^{\beta}$ almost surely. This paper is devoted to a characterization of $X \in CTLIL(\alpha, \beta)$. We obtain sets of necessary and sufficient conditions for $X \in CTLIL(\alpha, \beta)$ for the five cases: $\alpha = 2$ and $0 < \beta < \infty$, $\alpha = 2$ and $\beta = 0$, $1 < \alpha < 2$ and $-\infty < \beta < \infty$, $\alpha = 1$ and $- \infty < \beta < \infty$, and $0 < \alpha < 1$ and $-\infty < \beta < \infty$. As for the case where $\alpha = 2$ and $-\infty < \beta < 0$, it is shown that $X \notin CTLIL(2, \beta)$ for any real-valued random variable $X$. As a special case of our results, a simple and precise characterization of the classical Chover law of the iterated logarithm (i.e., $X \in CTLIL(\alpha, 1/\alpha)$) is given; that is, $X \in CTLIL(\alpha, 1/\alpha)$ if and only if $\inf \left \{b:~ \mathbb{E} \left(\frac{|X|^{\alpha}}{(\log (e \vee |X|))^{b\alpha}} \right) < \infty \right\} = 1/\alpha$ where $\mathbb{E}X = 0$ whenever $1 < \alpha \leq 2$.


title: Using recurrence relations to count in symmetric groups

abstract: We use the fact that certain cosets of the stabilizer of points are pairwise conjugate in a symmetric group $S_n$ in order to construct recurrence relations for enumerating certain subsets of $S_n$. Occasionally one can find `closed form' solutions to such recurrence relations. For example, the probability that a random element of $S_n$ has no cycle of length divisible by $q$ is $\prod_{d=1}^{\lfloor n/q\rfloor} (1-\frac{1}{dq})$.


title: A Theory of Decomposition of Complex Chemical Networks using the Hill Functions

abstract: The design and synthesis of complex and large mimicked biochemical networks de novo is an unsolved problem in synthetic biology. To address this limitation without resorting to ad hoc computations and experiments, a predictive mathematical theory is required to reduce these complex chemical networks into natural physico-chemical expressions. Here we provide a theory that offers a physico-chemical expression for a large chemical network that is almost arbitrarily both nonlinear and complex. Unexpectedly, the theory demonstrates that such networks can be decomposed into reactions based solely on the Hill equation, a simple chemical logic gate. This theory, analogous to implemented electrical logic gates or functional algorithms in a computer, is proposed for implementing regulated sequences of functional chemical reactions, such as mimicked genes, transcriptional regulation, signal transduction, protein interaction, and metabolic networks, into an artificial designed chemical network.


title: Edge Roman domination on graphs

abstract: An edge Roman dominating function of a graph $G$ is a function $f\colon E(G) \rightarrow \{0,1,2\}$ satisfying the condition that every edge $e$ with $f(e)=0$ is adjacent to some edge $e'$ with $f(e')=2$. The edge Roman domination number of $G$, denoted by $\gamma'_R(G)$, is the minimum weight $w(f) = \sum_{e\in E(G)} f(e)$ of an edge Roman dominating function $f$ of $G$. This paper disproves a conjecture of Akbari, Ehsani, Ghajar, Jalaly Khalilabadi and Sadeghian Sadeghabad stating that if $G$ is a graph of maximum degree $\Delta$ on $n$ vertices, then $\gamma_R'(G) \le \lceil \frac{\Delta}{\Delta+1} n \rceil$. While the counterexamples having the edge Roman domination numbers $\frac{2\Delta-2}{2\Delta-1} n$, we prove that $\frac{2\Delta-2}{2\Delta-1} n + \frac{2}{2\Delta-1}$ is an upper bound for connected graphs. Furthermore, we provide an upper bound for the edge Roman domination number of $k$-degenerate graphs, which generalizes results of Akbari, Ehsani, Ghajar, Jalaly Khalilabadi and Sadeghian Sadeghabad. We also prove a sharp upper bound for subcubic graphs. In addition, we prove that the edge Roman domination numbers of planar graphs on $n$ vertices is at most $\frac{6}{7}n$, which confirms a conjecture of Akbari and Qajar. We also show an upper bound for graphs of girth at least five that is 2-cell embeddable in surfaces of small genus. Finally, we prove an upper bound for graphs that do not contain $K_{2,3}$ as a subdivision, which generalizes a result of Akbari and Qajar on outerplanar graphs.


title: Stochastic variational inference for large-scale discrete choice models using adaptive batch sizes

abstract: Discrete choice models describe the choices made by decision makers among alternatives and play an important role in transportation planning, marketing research and other applications. The mixed multinomial logit (MMNL) model is a popular discrete choice model that captures heterogeneity in the preferences of decision makers through random coefficients. While Markov chain Monte Carlo methods provide the Bayesian analogue to classical procedures for estimating MMNL models, computations can be prohibitively expensive for large datasets. Approximate inference can be obtained using variational methods at a lower computational cost with competitive accuracy. In this paper, we develop variational methods for estimating MMNL models that allow random coefficients to be correlated in the posterior and can be extended easily to large-scale datasets. We explore three alternatives: (1) Laplace variational inference, (2) nonconjugate variational message passing and (3) stochastic linear regression. Their performances are compared using real and simulated data. To accelerate convergence for large datasets, we develop stochastic variational inference for MMNL models using each of the above alternatives. Stochastic variational inference allows data to be processed in minibatches by optimizing global variational parameters using stochastic gradient approximation. A novel strategy for increasing minibatch sizes adaptively within stochastic variational inference is proposed.


title: Distant parents in complete binary trees

abstract: There is a unique path from the root of a tree to any other vertex. Every vertex, except the root, has a parent: the adjoining vertex on this unique path. This is the conventional definition of the parent vertex. For complete binary trees, however, we show that it is useful to define another parent vertex, called a \emph{distant parent}. The study of distant parents leads to novel connections with dyadic rational numbers. Moreover, we apply the concepts of close and distant parent vertices to deduce an apparently new sense in which continued fractions are `best' rational approximations.


title: Tight asymptotic key rate for the BB84 protocol with local randomisation and device imprecisions

abstract: Local randomisation is a preprocessing procedure in which one of the legitimate parties of a quantum key distribution (QKD) scheme adds noise to their version of the key and was found by Kraus et al. [Phys. Rev. Lett. 95, 080501 (2005)] to improve the security of certain QKD protocols. In this article, the improvement yielded by local randomisation is derived for an imperfect implementation of the BB84 QKD protocol, in which the source emits four given but arbitrary pure states and the detector performs arbitrarily-aligned measurements. Specifically, this is achieved by modifying an approach to analysing the security of imperfect variants of the BB84 protocol against collective attacks, introduced in [Phys. Rev. A 88, 012331 (2013)], to include the additional preprocessing step. The previously known improvement to the threshold channel noise, from 11\% to 12.41\%, is recovered in the special case of an ideal BB84 implementation and becomes more pronounced in the case of a nonideal source. Finally, the bound derived for the asymptotic key rate, both with and without local randomisation, is shown to be tight with the particular source characterisation used. This is demonstrated by the explicit construction of a family of source states and optimal attacks for which the key-rate bound is attained with equality.


title: Small Stone in Pool

abstract: The Stone tautologies are known to have polynomial size resolution refutations and require exponential size regular refutations. We prove that the Stone tautologies also have polynomial size proofs in both pool resolution and the proof system of regular tree-like resolution with input lemmas (regRTI). Therefore, the Stone tautologies do not separate resolution from DPLL with clause learning.


title: $CP$ violation for $B^{0}\rightarrow \rho^{0}(\omega)\rho^{0}(\omega) \rightarrow \pi^+\pi^-\pi^+\pi^-$ in QCD factorization

abstract: In the QCD factorization (QCDF) approach we study the direct $CP$ violation in $\bar{B}^{0}\rightarrow\rho^0(\omega)\rho^0(\omega)\rightarrow\pi^+\pi^-\pi^+\pi^-$ via the $\rho-\omega$ mixing mechanism. We find that the $CP$ violation can be enhanced by double $\rho-\omega$ mixing when the masses of the $\pi^+\pi^-$ pairs are in the vicinity of the $\omega$ resonance, and the maximum $CP$ violation can reach 28{\%}. We also compare the results from the naive factorization and the QCD factorization.


title: Cover Story Management

abstract: In a multilevel database, cover stories are usually managed using the ambiguous technique of polyinstantiation. In this paper, we define a new technique to manage cover stories and propose a formal representation of a multilevel database containing cover stories. Our model aims to be a generic model, that is, it can be interpreted for any kind of database (e.g. relational, object- oriented etc). We then consider the problem of updating a multilevel database containing cover stories managed with our technique.


title: Mixing and double recurrence in probability groups

abstract: We define a class of groups equipped with an invariant probability measure, which includes all compact groups and is closed under taking ultraproducts with the induced Loeb measure; in fact, this class also contains the ultraproducts all locally compact unimodular amenable groups. We call the members of this class probability groups and develop the basics of the theory of their measure-preserving actions on probability spaces, including a natural notion of mixing. A short proof reveals that for probability groups mixing implies double recurrence, which generalizes a theorem of Bergelson and Tao proved for ultraproducts of finite groups. Moreover, a quantitative version of our proof gives that $\varepsilon$-approximate mixing implies $3\sqrt{\varepsilon}$-approximate double recurrence. Examples of approximately mixing probability groups are quasirandom groups introduced by Gowers, so the last theorem generalizes and sharpens the corresponding results for quasirandom groups of Bergelson and Tao, as well as of Austin. Lastly, we point out that the fact that the ultraproduct of locally compact unimodular amenable groups is a probability group provides a general alternative to Furstenberg correspondence principle.


title: Resource Allocation in Wireless Networks with RF Energy Harvesting and Transfer

abstract: Radio frequency (RF) energy harvesting and transfer techniques have recently become alternative methods to power the next generation of wireless networks. As this emerging technology enables proactive replenishment of wireless devices, it is advantageous in supporting applications with quality-of-service (QoS) requirement. This article focuses on the resource allocation issues in wireless networks with RF energy harvesting capability, referred to as RF energy harvesting networks (RF-EHNs). First, we present an overview of the RF-EHNs, followed by a review of a variety of issues regarding resource allocation. Then, we present a case study of designing in the receiver operation policy, which is of paramount importance in the RF-EHNs. We focus on QoS support and service differentiation, which have not been addressed by previous literatures. Furthermore, we outline some open research directions.


title: The density of uncyclic matrices

abstract: An element $X$ in the algebra ${\rm M}(n,\mathbb{F})$ of all $n\times n$ matrices over a field $\mathbb{F}$ is said to be $f$-cyclic if the underlying vector space considered as an $\mathbb{F}[X]$-module has at least one cyclic primary component. These are the matrices considered to be `good' in the Holt-Rees version of Norton's irreducibility test in the MeatAxe algorithm. We prove that, for any finite field $\mathbb{F}_q$, the proportion of matrices in ${\rm M}(n,\mathbb{F}_q)$ that are `not good' decays exponentially to zero as the dimension $n$ approaches infinity. Turning this around, we prove that the density of `good' matrices in ${\rm M}(n,\mathbb{F}_q)$ for the MeatAxe depends on the degree, showing that it is at least $1-\frac2q(\frac{1}{q}+\frac{1}{q^2}+\frac{2}{q^3})^n$ for $q\geq4$. We conjecture that the density is at least $1-\frac1q(\frac{1}{q}+\frac{1}{2q^2})^n$ for all $q$ and $n$, and confirm this conjecture for dimensions $n\leq 37$. Finally we give a one-sided Monte Carlo algorithm called IsfCyclic to test whether a matrix is `good', at a cost of ${\rm O}({\rm Mat}(n)\log n)$ field operations, where ${\rm Mat}(n)$ is an upper bound for the number of field operations required to multiply two matrices in ${\rm M}(n,\mathbb{F}_q)$.


title: Spectral parameter power series method for discontinuous coefficients

abstract: Let (a,b) be a finite interval and 1/p, q, r be functions from L1(a,b). We show that a general solution (in the weak sense) of the equation (pu')'+qu = zru on (a,b) can be constructed in terms of power series of the spectral parameter z. The series converge uniformly on [a,b] and the corresponding coefficients are constructed by means of a simple recursive procedure. We use this representation to solve different types of eigenvalue problems. Several numerical tests are discussed.


title: On the Validity of the Geiger-Nuttall Alpha-Decay Law and its Microscopic Basis

abstract: The Geiger-Nuttall (GN) law relates the partial $\alpha$-decay half-life with the energy of the escaping $\alpha$ particle and contains for every isotopic chain two experimentally determined coefficients. The expression is supported by several phenomenological approaches, however its coefficients lack a fully microscopic basis. In this paper we will show that: 1) the empirical coefficients that appear in the GN law have a deep physical meaning and 2) the GN law is successful within the restricted experimental data sets available so far, but is not valid in general. We will show that, when the dependence of logarithm values of the $\alpha$ formation probability on the neutron number is not linear or constant, the GN law is broken. For the $\alpha$ decay of neutron-deficient nucleus $^{186}$Po, the difference between the experimental half-life and that predicted by the GN Law is as large as one order of magnitude.


title: Application of Lossless Data Compression Techniques to Radio Astronomy Data flows

abstract: The modern practice of Radio Astronomy is characterized by extremes of data volume and rates, principally because of the direct relationship between the signal to noise ratio that can be achieved and the need to Nyquist sample the RF bandwidth necessary by way of support. The transport of these data flows is costly. By examining the statistical nature of typical data flows and applying well known techniques from the field of Information Theory the following work shows that lossless compression of typical radio astronomy data flows is in theory possible. The key parameter in determining the degree of compression possible is the standard deviation of the data. The practical application of compression could prove beneficial in reducing the costs of data transport and (arguably) storage for new generation instruments such as the Square Kilometer Array.


title: Kinematics of Solar neighborhood stars and its dependency on age and metallicity

abstract: We have constructed a catalog containing best available astrometric, photometric, radial velocity and astrophysical data for mainly F-type and G-type stars (called the Astrometric catalog associated with Astrophysical Data, ACAD), which contains 27,553 records, and is used for the purpose of analyzing the stellar kinematics in the Solar neighborhood. Using the Lindblad-Oort Model and compiled ACAD, we calculated the Solar motion and Oort constants in different age/metallicity bins. The evolution of kinematical parameters with stellar age and metallicity were investigated directly. The results show that the component of the Solar motion in the direction of Galactic rotation (denoted $S_2$) has a linear increase with respect to age, which may be a consequence of the scattering processes, and its value for a dynamical cold disk was found to be $8.0\pm1.2~\mathrm{km~s^{-1}}$. $S_2$ also increases linearly with respect to metallicity, which indicates that radial migration is correlated to the metallicity gradient. On the other hand, the rotational velocity of the Sun around the Galactic center has no clear correlation with ages or metallicities of stars used in the estimation.


title: Magnetic phases of erbium orthochromite

abstract: Erbium orthochromite, ErCrO3, is a distorted-perovskite which has antiferromagnetic ground state below 10 K while Cr3+ magnetic moments order at 133 K. The temperature dependence of magnetization is studied across different magnetic phases for ErCrO3 and different magnetization isotherms are analyzed. In the presence of external magnetic field, polycrystalline ErCrO3 develops weak ferromagnetism from antiferromagnetic ground state. These magnetic phase transitions are observed to be of first order which is justified by thermal hysteresis and Arrott-plots.


title: Testing CPT Symmetry with Current and Future CMB Measurements

abstract: In this paper we use the current and future cosmic microwave background (CMB) experiments to test the Charge-Parity-Time Reversal (CPT) symmetry. We consider a CPT-violating interaction in the photon sector $\mathcal{L}_{\rm cs}\sim p_\mu A_\nu \tilde{F}^{\mu\nu}$ which gives rise to a rotation of the polarization vectors of the propagating CMB photons. By combining the nine-year WMAP, BOOMERanG 2003 and BICEP1 observations, we obtain the current constraint on the isotropic rotation angle $\bar{\alpha} = -2.12 \pm 1.14$ ($1\sigma$), indicating an about $2\sigma$ significance of the CPT violation. Here, we particularly take the systematic errors of CMB measurements into account. Then, we study the effects of the anisotropies of the rotation angle [$\Delta{\alpha}({\bf \hat{n}})$] on the CMB polarization power spectra in detail. Due to the small effects, the current CMB polarization data can not constrain the related parameters very well. We obtain the 95\% C.L. upper limit of the variance of the anisotropies of the rotation angle $C^\alpha(0) < 0.035$ from all the CMB datasets. More interestingly, including the anisotropies of rotation angle could lower the best fit value of $r$ and relax the tension on the constraints of $r$ between BICEP2 and Planck. Finally, we investigate the capabilities of future Planck polarization measurements on $\bar{\alpha}$ and $\Delta{\alpha}({\bf \hat{n}})$. Benefited from the high precision of Planck data, the constraints of the rotation angle can be significantly improved.


title: Correspondance de Jacquet-Langlands et distinction : cas de certaines series discretes non cuspidales de niveau 0

abstract: Let K/F be a quadratic extension of non archimedean local fields. Let V be an irreducible level zero discrete series representation of the group G = GL2(R), where R is a division algebra of center K and of index r. One assumes that V is not a supercuspidal representation. Let D be a division algebra of center F and index 2r. In the following work, we try to answer this question : Is the representation V D^{*}-distinguished if and only if its image by the Jacquet-Langlands correspondence is GL2(F)-distinguished. To answer this question, we use the coefficients system on the Bruhat-Tits building of G associated to the representation V by P. Schneider and U. Stuhler and the parametrization of level zero discrete series representation given by J. Silberger and E. W. Zink.


title: Role of the Ce valence in the coexistence of superconductivity and ferromagnetism of CeO$_{1-x}$F$_{x}$BiS$_{2}$ revealed by Ce $L_3$-edge x-ray absorption spectroscopy

abstract: We have performed Ce $L_3$-edge x-ray absorption spectroscopy (XAS) measurements on CeO$_{1-x}$F$_x$BiS$_2$, in which the superconductivity of the BiS$_2$ layer and the ferromagnetism of the CeO$_{1-x}$F$_x$ layer are induced by the F-doping, in order to investigate the impact of the F-doping on the local electronic and lattice structures. The Ce $L_3$-edge XAS spectrum of CeOBiS$_2$ exhibits coexistence of $4f^1$ (Ce$^{3+}$) and $4f^0$ (Ce$^{4+}$) state transitions revealing Ce mixed valency in this system. The spectral weight of the $4f^0$ state decreases with the F-doping and completely disappears for $x>0.4$ where the system shows the superconductivity and the ferromagnetism. The results suggest that suppression of Ce-S-Bi coupling channel by the F-doping appears to drive the system from the valence fluctuation regime to the Kondo-like regime, leading to the coexistence of the superconducting BiS$_2$ layer and the ferromagnetic CeO$_{1-x}$F$_x$ layer.


title: The two-loop sunrise graph in two space-time dimensions with arbitrary masses in terms of elliptic dilogarithms

abstract: We present the two-loop sunrise integral with arbitrary non-zero masses in two space-time dimensions in terms of elliptic dilogarithms. We find that the structure of the result is as simple and elegant as in the equal mass case, only the arguments of the elliptic dilogarithms are modified. These arguments have a nice geometric interpretation.


title: Bargaining-based Mobile Data Offloading

abstract: The unprecedented growth of mobile data traffic challenges the performance and economic viability of today's cellular networks, and calls for novel network architectures and communication solutions. Data offloading through third-party WiFi or femtocell access points (APs) can effectively alleviate the cellular network congestion in a low operational and capital expenditure. This solution requires the cooperation and agreement of mobile cellular network operators (MNOs) and AP owners (APOs). In this paper, we model and analyze the interaction among one MNO and multiple APOs (for the amount of MNO's offloading data and the respective APOs' compensations) by using the Nash bargaining theory. Specifically, we introduce a one-to-many bargaining game among the MNO and APOs, and analyze the bargaining solution (game equilibrium) systematically under two different bargaining protocols: (i) sequential bargaining, where the MNO bargains with APOs sequentially, with one APO at a time, in a given order, and (ii) concurrent bargaining, where the MNO bargains with all APOs concurrently. We quantify the benefits for APOs when bargaining sequentially and earlier with the MNO, and the losses for APOs when bargaining concurrently with the MNO. We further study the group bargaining scenario where multiple APOs form a group bargaining with the MNO jointly, and quantify the benefits for APOs when forming such a group. Interesting, our analysis indicates that grouping of APOs not only benefits the APOs in the group, but may also benefit some APOs not in the group. Our results shed light on the economic aspects and the possible outcomes of the MNO/APOs interactions, and can be used as a roadmap for designing policies for this promising data offloading solution.


title: DMRG-SCF study of the singlet, triplet, and quintet states of oxo-Mn(Salen)

abstract: We use CheMPS2, our free open-source spin-adapted implementation of the density matrix renormalization group (DMRG) [Wouters et al., Comput. Phys. Commun. 185, 1501 (2014)], to study the lowest singlet, triplet, and quintet states of the oxo-Mn(Salen) complex. We describe how an initial approximate DMRG calculation in a large active space around the Fermi level can be used to obtain a good set of starting orbitals for subsequent complete-active-space or DMRG self-consistent field (CASSCF or DMRG-SCF) calculations. This procedure mitigates the need for a localization procedure, followed by a manual selection of the active space. Per multiplicity, the same active space of 28 electrons in 22 orbitals (28e, 22o) is obtained with the 6-31G*, cc-pVDZ, and ANO-RCC-VDZP basis sets (the latter with DKH2 scalar relativistic corrections). Our calculations provide new insight into the electronic structure of the quintet.


title: Interactive Reference Point-Based Guided Local Search for the Bi-objective Inventory Routing Problem

abstract: Eliciting preferences of a decision maker is a key factor to successfully combine search and decision making in an interactive method. Therefore, the progressively integration and simulation of the decision maker is a main concern in an application. We contribute in this direction by proposing an interactive method based on a reference point-based guided local search to the bi-objective Inventory Routing Problem. A local search metaheuristic, working on the delivery intervals, and the Clarke & Wright savings heuristic is employed for the subsequently obtained Vehicle Routing Problem. To elicit preferences, the decision maker selects a reference point to guide the search in interesting subregions. Additionally, the reference point is used as a reservation point to discard solutions outside the cone, introduced as a convergence criterion. Computational results of the reference point-based guided local search are reported and analyzed on benchmark data in order to show the applicability of the approach.


title: The observable structure of persistence modules

abstract: In persistent topology, q-tame modules appear as a natural and large class of persistence modules indexed over the real line for which a persistence diagram is definable. However, unlike persistence modules indexed over a totally ordered finite set or the natural numbers, such diagrams do not provide a complete invariant of q-tame modules. The purpose of this paper is to show that the category of persistence modules can be adjusted to overcome this issue. We introduce the observable category of persistence modules: a localization of the usual category, in which the classical properties of q-tame modules still hold but where the persistence diagram is a complete isomorphism invariant and all q-tame modules admit an interval decomposition.


title: A Variant of Earley Deduction With Partial Evaluation

abstract: We present an algorithm for query evaluation given a logic program consisting of function-free Datalog rules. It is based on Earley Deduction [4, 6] and uses a partial evaluation similar to the one we devel oped for our SLDMagic method [1]. With this, finite automata modeling the evaluation of given queries are generated. In certain cases, the new method is more efficient than SLDMagic and the standard Magic Set method since it can process several deduction steps as one.


title: Mathematical Programming Strategies for Solving the Minimum Common String Partition Problem

abstract: The minimum common string partition problem is an NP-hard combinatorial optimization problem with applications in computational biology. In this work we propose the first integer linear programming model for solving this problem. Moreover, on the basis of the integer linear programming model we develop a deterministic 2-phase heuristic which is applicable to larger problem instances. The results show that provenly optimal solutions can be obtained for problem instances of small and medium size from the literature by solving the proposed integer linear programming model with CPLEX. Furthermore, new best-known solutions are obtained for all considered problem instances from the literature. Concerning the heuristic, we were able to show that it outperforms heuristic competitors from the related literature.


title: Black hole feedback in a multiphase interstellar medium

abstract: Ultrafast outflows (UFOs) from supermassive black holes (SMBHs) are thought to regulate the growth of SMBHs and host galaxies, resulting in a number of observational correlations. We present high-resolution numerical simulations of the impact of a thermalized UFO on the ambient gas in the inner part of the host galaxy. Our results depend strongly on whether the gas is homogeneous or clumpy. In the former case all of the ambient gas is driven outward rapidly as expected based on commonly used energy budget arguments, while in the latter the flows of mass and energy decouple. Carrying most of the energy, the shocked UFO escapes from the bulge via paths of least resistance, taking with it only the low-density phase of the host. Most of the mass is however in the high-density phase, and is affected by the UFO much less strongly, and may even continue to flow inwards. We suggest that the UFO energy leakage through the pores in the multiphase interstellar medium (ISM) may explain why observed SMBHs are so massive despite their overwhelmingly large energy production rates. The multiphase ISM effects reported here are probably under-resolved in cosmological simulations but may be included in prescriptions for active galactic nuclei feedback in future simulations and in semi-analytical models.