title: SOA - NOLM in Reflective Configuration for Optical Regeneration in High Bit Rate Transmission Systems

abstract: This paper presents a theoretical and experimental investigation of optical signal regeneration properties of a non-linear optical loop mirror using a semiconductor optical amplifier as the active element (SOA-NOLM). While this device has been extensively studied for optical time division demultiplexing (OTDM) and wavelength conversion applications, our proposed approach, based on a reflective configuration, has not yet been investigated, particularly in the light of signal regeneration. The impact on the transfer function shape of different parameters, like SOA position in the interferometer and SOA input optical powers, are numerically studied to appreciate the regenerative capabilities of the device.Regenerative performances in association with a dual stage of SOA to create a 3R regenerator which preserves the data polarity and the wavelength are experimentally assessed. Thanks to this complete regenerative function, a 100.000 km error free transmission has experimentally been achieved at 10 Gb/s in a recirculating loop. The evolution of Bit Error Rate for multiple pass into the regenerator and the polarization insensitivity demonstration to input data are presented.


title: The square model for random groups

abstract: We introduce a new random group model called the square model: we quotient a free group on $n$ generators by a random set of relations, each of which is a reduced word of length four. We prove, as in the Gromov density model, that for densities $> \frac{1}{2}$ a random group in the square model is trivial with overwhelming probability and for densities $<\frac{1}{2}$ a random group is with overwhelming probability hyperbolic. Moreover we show that for densities $\frac{1}{4} < d < \frac{1}{3}$ a random group in the square model does not have Property (T). Inspired by the results for the triangular model we prove that for densities $<\frac{1}{4}$ in the square model, a random group is free with overwhelming probability. We also introduce abstract diagrams with fixed edges and prove a generalization of the isoperimetric inequality.


title: Square-Well Approximation for the Anharmonic and the Double-Well Oscillators

abstract: A novel general approximation scheme (NGAS) proposed earlier (ref.2-3) is applied to the problem of the quartic anharmonic (QAHO) and the double-well-oscillator (QDWO) in quantum theory by choosing the infinite square-well-potential in one dimension as the input approximation. The leading order (LO) results obtained for the energy eigen-values are uniformly accurate to within a few percent of the exact results for $arbitrary$ values of the quartic coupling: $\lambda > 0$ and the level-index $n_s$. These results are shown to be non-perturbative in the LO and reproduce the known analytic and scaling properties of energy as a function of the coupling $\lambda$ and $n_s$. The LO-results are further improved in accuracy by including the perturbative-correction at the next non-trivial order of an improved perturbation theory (IPT) based upon NGAS. The method can be trivially extended to other cases of higher anharmonicity.


title: Dynamical Generation of the Weak Scale and Inflation in High-Scale Supersymmetry

abstract: Combination of Plank and BICEP2 data reported that tensor to scalar ratio $r\simeq 0.16$ and scalar spectral index $n_{s}\simeq 0.96$. In this short note, it is shown that chaotic inflation with quadratic potential, which perfectly accounts for present fit to $r$ and $n_s$, and relatively heavy Higgs mass for fine-tuned MSSM, are both suggested to be consequences of high-scale supersymmetry (SUSY) breaking. Following this idea, we find that inflaton mass is of same order as soft mass, flatness of inflation potential doesn't need a shift symmetry, and scale of inflation energy density automatically agrees with SUSY-breaking scale. A simple realization of such high-scale SUSY breaking, in which inflaton with tri-linear superpotential serves as {\it modulus}, is discussed in terms of ISS-like model.


title: See Saw Inflation / Dark Matter / Dark Energy / Baryogenesis

abstract: Motivated by BICEP2 results that imply gravitational waves are produced when the universe has an expansion energy of about $Mc^2 \approx 10^{14}$ GeV and that a natural extension to the Standard Model of Particle physics is a right-handed neutrino that would or could be at $m_{\nu_R}c^2 \approx 10^{14}$ GeV, I propose here a See-Saw Inflation model which fits into the general class of models we have dubbed "Wiggly Whipped Inflation"\cite{Hazra:2014WWI}. The residual heavy right-handed neutrinos work out to be Dark Matter in reasonable physical scenarios. The same scalar boson that stabilises the heavy right-handed neutrino mass then becomes the Inflaton whose potential is set by self-coupling and the heavy right-handed neutrino mass coupling. Following this See-Saw Inflation one also finds that the seesaw mechanism provides for an after electroweak symmetry breaking offset in the Inflaton potential at the near GUT scale vev by an amount set by the lightest neutrino and thus as a consequence produces a "Dark Energy" at a scale set by the lightest left-handed neutrino mass $m_{\nu_L} \sim 10^{-3}$ eV. Since these neutrinos are Majorana particles and violate lepton number conservation, they are the natural mediators of baryogenesis at the electroweak scale. The residual heavy right-handed neutrinos work out to be Dark Matter with some fine tuning. So an unaesthetic fine-tuned model can address the four remaining fundamental issues of cosmology by linking them to the neutrino sector. The resurrected SO(10) GUT model provides a framework for the development of this scenario and allows a specific prediction for the Inflaton potential and a framework for fitting to neutrino as well as cosmological observables.


title: Iwasawa theory of Heegner cycles, I. Rank over the Iwasawa algebra

abstract: Iwasawa theory of Heegner points on abelian varieties of GL_2 type has been studied by, among others, Mazur, Perrin-Riou, Bertolini and Howard. The purpose of this paper, the first in a series of two, is to describe extensions of some of their results in which abelian varieties are replaced by the Galois cohomology of Deligne's p-adic representation attached to a modular form f of even weight >2. In this more general setting, the role of Heegner points is played by higher-dimensional Heegner cycles in the sense of Nekov\'a\v{r}. In particular, we prove that the Pontryagin dual of a certain Bloch-Kato Selmer group associated with f has rank 1 over a suitable anticyclotomic Iwasawa algebra.


title: Dust Transport in MRI Turbulent Disks: Ideal and Non-ideal MHD with Ambipolar Diffusion

abstract: We study dust transport in turbulent protoplanetary disks using three-dimensional global unstratified magnetohydrodynamic (MHD) simulations including Lagrangian dust particles. The turbulence is driven by the magnetorotational instability (MRI) with either ideal or non-ideal MHD that includes ambipolar diffusion (AD). In ideal MHD simulations, the surface density evolution (except for dust that drifts fastest), turbulent diffusion, and vertical scale height of dust can all be reproduced by simple one-dimensoinal and/or analytical models. However, in AD dominated simulations which simulate protoplanetary disks beyond 10s of AU, the vertical scale height of dust is larger than previously predicted. To understand this anomaly in more detail, we carry out both unstratified and stratified local shearing box simulations with Lagrangian particles, and find that turbulence in AD dominated disks has very different properties (e.g., temporal autocorrelation functions and power spectra) than turbulence in ideal MHD disks, which leads to quite different particle diffusion efficiency. For example, MRI turbulence with AD has a longer correlation time for the vertical velocity, which causes significant vertical particle diffusion and large dust scale height. In ideal MHD the Schmidt numbers ($Sc$) for radial and vertical turbulent diffusion are $Sc_{r}\sim 1$ and $Sc_{z}\gtrsim 3$, but in the AD dominated regime both $Sc_{r}$ and $Sc_{z}$ are $\lesssim 1$. Particle concentration in pressure bumps induced by MRI turbulence has also been studied. Since non-ideal MHD effects dominate most regions in protoplanetary disks, our study suggests that modeling dust transport in turbulence driven by MRI with non-ideal MHD effects is important for understanding dust transport in realistic protoplanetary disks.


title: Continued fractions built from convex sets and convex functions

abstract: In a partially ordered semigroup with the duality (or polarity) transform, it is possible to define a generalisation of continued fractions. General sufficient conditions for convergence of continued fractions with deterministic terms are provided. Two particular applications concern the cases of convex sets with the Minkowski addition and the polarity transform (where also necessary and sufficient conditions of convergence for continued fractions with constant terms are obtained) and the family of non-negative convex functions with the Legendre--Fenchel and Artstein-Avidan--Milman transforms.


title: Reflexive spatial behaviour does not guarantee evolution advantage in prey--predator communities

abstract: We consider the model of spatially distributed population consisting of two species with "\textsl{predator\,--\,prey}" interaction; each of the species occupies two stations. Transfer of individuals between the stations (migration) is not random and yields the maximization of a net reproduction of each species. Besides, each species implements reflexive behavior strategy to determine the optimal migration flow.


title: Conditional quantile estimation through optimal quantization

abstract: In this paper, we use quantization to construct a nonparametric estimator of conditional quantiles of a scalar response $Y$ given a d-dimensional vector of covariates $X$. First we focus on the population level and show how optimal quantization of $X$, which consists in discretizing $X$ by projecting it on an appropriate grid of $N$ points, allows to approximate conditional quantiles of $Y$ given $X$. We show that this is approximation is arbitrarily good as $N$ goes to infinity and provide a rate of convergence for the approximation error. Then we turn to the sample case and define an estimator of conditional quantiles based on quantization ideas. We prove that this estimator is consistent for its fixed-$N$ population counterpart. The results are illustrated on a numerical example. Dominance of our estimators over local constant/linear ones and nearest neighbor ones is demonstrated through extensive simulations in the companion paper Charlier et al.(2014b).


title: A Further Remark on Sobolev Spaces. The Case $0<p<1$

abstract: We discuss a phenomenon observed by Jaak Peetre in the seventies: for small $L^{p}$-exponents, i.e. for $0<p<1$, the Sobolev spaces $W^{k,p}$ defined in a seemingly natural way are isomorphic to $L^{p}$. This says that the dual of $W^{k,p}$ is trivial, and indicates that these spaces are highly pathological. In this note we expand on Peetre's observation, explaining in detail some points that might merit further discussion.


title: Design of a speed meter interferometer proof-of-principle experiment

abstract: The second generation of large scale interferometric gravitational wave detectors will be limited by quantum noise over a wide frequency range in their detection band. Further sensitivity improvements for future upgrades or new detectors beyond the second generation motivate the development of measurement schemes to mitigate the impact of quantum noise in these instruments. Two strands of development are being pursued to reach this goal, focusing both on modifications of the well-established Michelson detector configuration and development of different detector topologies. In this paper, we present the design of the world's first Sagnac speed meter interferometer which is currently being constructed at the University of Glasgow. With this proof-of-principle experiment we aim to demonstrate the theoretically predicted lower quantum noise in a Sagnac interferometer compared to an equivalent Michelson interferometer, to qualify Sagnac speed meters for further research towards an implementation in a future generation large scale gravitational wave detector, such as the planned Einstein Telescope observatory.


title: Single field inflation with modulated potential in light of the Planck and BICEP2

abstract: The recently released BICEP2 data detected the primordial B-mode polarization in the Cosmic Microwave Background (CMB) map which strongly supports for a large tensor-to-scalar ratio, and thus, is found to be in tension with the Planck experiment with no evidence of primordial gravitational waves. Such an observational tension, if confirmed by forthcoming measurements, would bring a theoretical challenge for the very early universe models. To address this issue, we in the present paper revisit a single field inflation model, which includes a modulated potential. We show that this inflation model can give rise to a sizable negative running behavior for the spectral index of primordial curvature perturbation and a large tensor-to-scalar ratio. Applying these properties, our model can nicely explain the combined Planck and BICEP2 observations. To examine the validity of analytic calculations, we numerically confront the predicted temperature and B-mode power spectra with the latest CMB observations and explicitly show that our model is consistent with the current data.


title: Creating images by adding masses to gravitational point lenses

abstract: A well-studied maximal gravitational point lens construction of S. H. Rhie produces $5n$ images of a light source using $n+1$ deflector masses. The construction arises from a circular, symmetric deflector configuration on $n$ masses (producing only $3n+1$ images) by adding a tiny mass in the center of the other mass positions (and reducing all the other masses a little bit). In a recent paper we studied this "image creating effect" from a purely mathematical point of view (S\`ete, Luce & Liesen, Comput. Methods Funct. Theory 15(1):9-35, 2015). Here we discuss a few consequences of our findings for gravitational microlensing models. We present a complete characterization of the effect of adding small masses to these point lens models, with respect to the number of images. In particular, we give several examples of maximal lensing models that are different from Rhie's construction and that do not share its highly symmetric appearance. We give generally applicable conditions that allow the construction of maximal point lenses on $n+1$ masses from maximal lenses on $n$ masses.


title: Distributed Compressive CSIT Estimation and Feedback for FDD Multi-user Massive MIMO Systems

abstract: To fully utilize the spatial multiplexing gains or array gains of massive MIMO, the channel state information must be obtained at the transmitter side (CSIT). However, conventional CSIT estimation approaches are not suitable for FDD massive MIMO systems because of the overwhelming training and feedback overhead. In this paper, we consider multi-user massive MIMO systems and deploy the compressive sensing (CS) technique to reduce the training as well as the feedback overhead in the CSIT estimation. The multi-user massive MIMO systems exhibits a hidden joint sparsity structure in the user channel matrices due to the shared local scatterers in the physical propagation environment. As such, instead of naively applying the conventional CS to the CSIT estimation, we propose a distributed compressive CSIT estimation scheme so that the compressed measurements are observed at the users locally, while the CSIT recovery is performed at the base station jointly. A joint orthogonal matching pursuit recovery algorithm is proposed to perform the CSIT recovery, with the capability of exploiting the hidden joint sparsity in the user channel matrices. We analyze the obtained CSIT quality in terms of the normalized mean absolute error, and through the closed-form expressions, we obtain simple insights into how the joint channel sparsity can be exploited to improve the CSIT recovery performance.


title: Independence of derivatives in Carleman-Sobolev Classes for exponents $0<p<1$

abstract: We continue the study of Carleman-Sobolev classes from previous joint work with G. Behm. We consider spaces denoted by $W_\mathcal{M}^p$, defined as abstract completions of sets of smooth functions with respect to a weighted Sobolev-flavoured norm involving derivatives of all orders. Previously we showed that these classes behaves very differently on two sides of a condition on the weight sequence $\mathcal{M}$. Here we prove a conjecture made in that paper; under some regularity assumptions on the weight, we show that on one side of the condition there will be a complete independence between derivatives, expressed as $$ W_\mathcal{M}^p\cong L^p\oplus W_{\mathcal{M}_1}^p $$ where $\mathcal{M}_1$ is the shifted sequence. On the other side, we already know that one can embed $W_\mathcal{M}^p$ into $C^{\infty}(\mathbb{R})$. Thus this is an instance of a kind of phase transition.


title: The moduli of representations of degree 2

abstract: There are 6 types of 2-dimensional representations in general. For any groups and any monoids, we can construct the moduli of 2-dimensional representations for each type: the moduli of absolutely irreducible representations, representations with Borel mold, representations with semi-simple mold, representations with unipotent mold, representations with unipotent mold over ${\Bbb F}_2$, and representations with scalar mold. We can also construct them for any associative algebras.


title: "Defective" Logic: Using spatiotemporal patterns in coupled relaxation oscillator arrays for computation

abstract: An intriguing interpretation of the time-evolution of dynamical systems is to view it as a computation that transforms an initial state to a final one. This paradigm has been explored in discrete systems such as cellular automata models, where the relation between dynamics and computation has been examined in detail. Here, motivated by microfluidic experiments on arrays of chemical oscillators, we show that computation can be achieved in continuous-state, continuous-time systems by using complex spatiotemporal patterns generated through a reaction-diffusion mechanism in coupled relaxation oscillators. We present two paradigms that illustrate this computational capability, namely, using perturbations to (i) generate propagating configurations in a system of initially exactly synchronized oscillators, and (ii) transform one time-invariant pattern to another. In particular, we have demonstrated a possible implementation of NAND logic. This raises the possibility of universal computation in such systems as all logic gates can be constructed from NAND gates. Our work suggests that more complex schemes can potentially implement arbitrarily complicated computation using reaction-diffusion processes, bridging pattern formation with universal computability.


title: Dust Trapping by Vortices in Transitional Disks: Evidence for Non-ideal MHD Effects in Protoplanetary Disks

abstract: We study particle trapping at the edge of a gap opened by a planet in a protoplanetary disk. In particular, we explore the effects of turbulence driven by the magnetorotational instability on particle trapping, using global three-dimensional magnetohydrodynamic (MHD) simulations including Lagrangian dust particles. We study disks either in the ideal MHD limit or dominated by ambipolar diffusion (AD) that plays an essential role at the outer regions of a protoplanetary disk. With ideal MHD, strong turbulence (the equivalent viscosity parameter $\alpha\sim 10^{-2}$) in disks prevents vortex formation at the edge of the gap opened by a 9 $M_{J}$ planet, and most particles (except the particles that drift fastest) pile up at the outer gap edge almost axisymmetrically. When AD is considered, turbulence is significantly suppressed ($\alpha\lesssim 10^{-3}$), and a large vortex forms at the edge of the planet induced gap, which survives $\sim$ 1000 orbits. The vortex can efficiently trap dust particles that span 3 orders of magnitude in size within 100 planetary orbits. We have also carried out two-dimensional hydrodynamical simulations using viscosity as an approximation to MHD turbulence. These hydrodynamical simulations can reproduce vortex generation at the gap edge as seen in MHD simulations. Finally, we use our simulation results to generate synthetic images for ALMA dust continuum observations on Oph IRS 48 and HD 142527, which show good agreement with existing observations. Predictions for future ALMA cycle 2 observations have been made. We conclude that the asymmetry in ALMA observations can be explained by dust trapping vortices and the existence of vortices could be the evidence that the outer protoplanetary disks are dominated by ambipolar diffusion with $\alpha<10^{-3}$ at the disk midplane.


title: Prevalence of Generic Laver Diamond

abstract: Viale \cite{Viale_GuessingModel} introduced the notion of Generic Laver Diamond at $\kappa$---which we denote $\Diamond_{\text{Lav}}(\kappa)$---asserting the existence of a single function from $\kappa \to H_\kappa$ that behaves much like a supercompact Laver function, except with generic elementary embeddings rather than internal embeddings. Viale proved that the Proper Forcing Axiom (PFA) implies $\Diamond_{\text{Lav}}(\omega_2)$. We strengthen his theorem by weakening the hypothesis to a statement strictly weaker than PFA. We also show that the principle $\Diamond_{\text{Lav}}(\kappa)$ provides a uniform, simple construction of 2-cardinal diamonds, and prove that $\Diamond_{\text{Lav}}(\kappa)$ is quite prevalent in models of set theory; in particular: 1) $L$ satisfies $\Diamond_{\text{Lav}}^+(\kappa)$ whenever $\kappa$ is a successor cardinal, or when the appropriate version of Chang's Conjecture fails. 2) For any successor cardinal $\kappa$, there is a $\kappa$-directed closed class forcing---namely, the forcing from Friedman-Holy \cite{MR2860182}---that forces $\Diamond_{\text{Lav}}(\kappa)$.


title: Holographic entanglement entropy and gravitational anomalies

abstract: We study entanglement entropy in two-dimensional conformal field theories with a gravitational anomaly. In theories with gravity duals, this anomaly is holographically represented by a gravitational Chern-Simons term in the bulk action. We show that the anomaly broadens the Ryu-Takayanagi minimal worldline into a ribbon, and that the anomalous contribution to the CFT entanglement entropy is given by the twist in this ribbon. The entanglement functional may also be interpreted as the worldline action for a spinning particle -- that is, an anyon -- in three-dimensional curved spacetime. We demonstrate that the minimization of this action results in the Mathisson-Papapetrou-Dixon equations of motion for a spinning particle in three dimensions. We work out several simple examples and demonstrate agreement with CFT calculations.


title: Development of a Fine Grating on ZnS for a Wideband Spectral Disperser in Characterizing Exoplanets using Space-borne Telescopes

abstract: We present the fabrication and optical testing of a fine grating on a ZnS substrate to be used as a wideband infrared spectral disperser and for which the primary application is measurement of the composition of the atmospheres of transiting exoplanets using space-borne infrared astronomical telescopes. A grating with a blaze angle of 2.1 deg. and pitch of 166.667 midron was constructed on a roughly flat 10 mm x 10 mm substrate with a maximum thickness of 1 mm. To obtain high accuracy, the sample was fabricated on a ZnS monocrystal using a high performance processing machine at Canon Inc. The surface roughness measured with a microscope interferometer was 2.6 nm rms. The shape of the fabricated grating edges was examined with a scanning electron microscope. The diffraction efficiency was evaluated by optical experiments at {\lambda} = 633 nm, 980 nm, and 1550 nm, and compared with the efficiencies calculated using a Fourier Modal Method. The results showed that the differences between the diffraction efficiencies obtained from experiment and by calculation were between just 0.9 % and 2.4 %. We concluded that the quality of the fabricated ZnS grating was sufficiently high to provide excellent diffraction efficiency for use in the infrared wavelength region. We also present the design of a spectral disperser in CdTe for future more advanced performance.


title: Tabling, Rational Terms, and Coinduction Finally Together!

abstract: To appear in Theory and Practice of Logic Programming (TPLP). Tabling is a commonly used technique in logic programming for avoiding cyclic behavior of logic programs and enabling more declarative program definitions. Furthermore, tabling often improves computational performance. Rational term are terms with one or more infinite sub-terms but with a finite representation. Rational terms can be generated in Prolog by omitting the occurs check when unifying two terms. Applications of rational terms include definite clause grammars, constraint handling systems, and coinduction. In this paper, we report our extension of YAP's Prolog tabling mechanism to support rational terms. We describe the internal representation of rational terms within the table space and prove its correctness. We then use this extension to implement a tabling based approach to coinduction. We compare our approach with current coinductive transformations and describe the implementation. In addition, we present an algorithm that ensures a canonical representation for rational terms.


title: A Relevant Reduction Method for Dynamic Modeling of a Seven-linked Humanoid Robot in the Three-dimensional Space

abstract: In this paper, the dynamic modeling of a seven linked humanoid robot, is accurately developed, in the three dimensional space using the Newton-Euler formalism. The aim of this study is to provide a clear and a systematic approach so that starting from generalized motion equations of all rigid bodies of the humanoid robot one can establish a reduced dynamical model. The resulting model can be expended either for simulation propositions or implemented for any given control law. In addition, transformations and developments, proposed here, can be exploited for modeling any other three-dimensional humanoid robot with a different morphology and variable number of rigid bodies and degrees of freedom.


title: Fractional Schr\"odinger-Poisson-Slater system in one dimension

abstract: In this paper we study local and global well-posedness of the following Cauchy problem: $$ \bigg \{ \begin{array}{rl} i\partial_t\Psi+\frac{1}{2}\Delta_{x}\Psi = A_0\Psi +\alpha |\Psi|^{\gamma-1}\Psi, & (t,x)\in\R\times\R,\\ (-\Delta_{x})^{\sigma/2}A_0= |\Psi|^2, & \\ \Psi(0,\cdot)=f, & \end{array} $$ with $\sigma\in(0,1)$, $\alpha=\pm 1$, $1<\gamma\leq 5$, in the spaces $L^2(\mathbf{R})$ and $H^1(\mathbf{R})$.


title: Measurement of $CP$ asymmetry in $D^0 \rightarrow K^- K^+$ and $D^0 \rightarrow \pi^- \pi^+$ decays

abstract: Time-integrated $CP$ asymmetries in $D^0$ decays to the final states $K^- K^+$ and $\pi^- \pi^+$ are measured using proton-proton collisions corresponding to $3\mathrm{\,fb}^{-1}$ of integrated luminosity collected at centre-of-mass energies of $7\mathrm{\,Te\kern -0.1em V}$ and $8\mathrm{\,Te\kern -0.1em V}$. The $D^0$ mesons are produced in semileptonic $b$-hadron decays, where the charge of the accompanying muon is used to determine the initial flavour of the charm meson. The difference in $CP$ asymmetries between the two final states is measured to be \begin{align} \Delta A_{CP} = A_{CP}(K^-K^+)-A_{CP}(\pi^-\pi^+) = (+0.14 \pm 0.16\mathrm{\,(stat)} \pm 0.08\mathrm{\,(syst)})\% \ . \nonumber \end{align} A measurement of $A_{CP}(K^-K^+)$ is obtained assuming negligible $CP$ violation in charm mixing and in Cabibbo-favoured $D$ decays. It is found to be \begin{align} A_{CP}(K^-K^+) = (-0.06 \pm 0.15\mathrm{\,(stat)} \pm 0.10\mathrm{\,(syst)}) \% \ ,\nonumber \end{align} where the correlation coefficient between $\Delta A_{CP}$ and $A_{CP}(K^-K^+)$ is $\rho=0.28$. By combining these results, the $CP$ asymmetry in the $D^0\rightarrow\pi^-\pi^+$ channel is $A_{CP}(\pi^-\pi^+)=(-0.20\pm0.19\mathrm{\,(stat)}\pm0.10\mathrm{\,(syst)})\%$.


title: Two-Stage Metric Learning

abstract: In this paper, we present a novel two-stage metric learning algorithm. We first map each learning instance to a probability distribution by computing its similarities to a set of fixed anchor points. Then, we define the distance in the input data space as the Fisher information distance on the associated statistical manifold. This induces in the input data space a new family of distance metric with unique properties. Unlike kernelized metric learning, we do not require the similarity measure to be positive semi-definite. Moreover, it can also be interpreted as a local metric learning algorithm with well defined distance approximation. We evaluate its performance on a number of datasets. It outperforms significantly other metric learning methods and SVM.


title: Macroscopically separated gaps in dimer coverings of Aztec rectangles

abstract: In this paper we determine the interaction of diagonal defect clusters in regions of an Aztec rectangle that scale to arbitrary points on its symmetry axis (in earlier work we treated the case when this point was the center of the scaled Aztec rectangle). We use the resulting formulas to determine the asymptotics of the correlation of defects that are macroscopically separated from one another and feel the influence of the boundary. In several of the treated situations this seems not to be accomplishable by previous methods. Our applications include the case of two long neutral strings, which turn out to interact by an analog of the Casimir force, two families of neutral doublets that turn out to interact completely independently of one another, a neutral doublet and a very long neutral string, a general collection of macroscopically separated monomer and separation defects, and the case of long strings consisting of consecutive monomers.


title: Moving Particles: a parallel optimal Multilevel Splitting method with application in quantiles estimation and meta-model based algorithms

abstract: Considering the issue of estimating small probabilities p, ie. measuring a rare domain F = {x | g(x) > q} with respect to the distribution of a random vector X, Multilevel Splitting strategies (also called Subset Simulation) aim at writing F as an intersection of less rare events (nested subsets) such that their measures are conditionally easily computable. However the definition of an appropriate sequence of nested subsets remains an open issue. We introduce here a new approach to Multilevel Splitting methods in terms of a move of particles in the input space. This allows us to derive two main results: (1) the number of samples required to get a realisation of X in F is drastically reduced, following a Poisson law with parameter log 1/p (to be compared with 1/p for naive Monte-Carlo); and (2) we get a parallel optimal Multilevel Splitting algorithm where there is indeed no subset to define any more. We also apply result (1) in quantile estimation producing a new parallel algorithm and derive a new strategy for the construction of first Design Of Experiments in meta-model based algorithms.


title: The P-Box CDF-Intervals: Reliable Constraint Reasoning with Quantifiable Information

abstract: This paper introduces a new constraint domain for reasoning about data with uncertainty. It extends convex modeling with the notion of p-box to gain additional quantifiable information on the data whereabouts. Unlike existing approaches, the p-box envelops an unknown probability instead of approximating its representation. The p-box bounds are uniform cumulative distribution functions (cdf) in order to employ linear computations in the probabilistic domain. The reasoning by means of p-box cdf-intervals is an interval computation which is exerted on the real domain then it is projected onto the cdf domain. This operation conveys additional knowledge represented by the obtained probabilistic bounds. The empirical evaluation of our implementation shows that, with minimal overhead, the output solution set realizes a full enclosure of the data along with tighter bounds on its probabilistic distributions.


title: Multiple lattice instabilities resolved by magnetic-field and disorder sensitivities in cubic paramagnetic phase of the orbital-degenerate frustrated spinel MgV$_2$O$_4$

abstract: Ultrasound velocity measurements of the orbital-degenerate frustrated spinel MgV$_2$O$_4$ are performed in the high-purity single crystal which exhibits successive structural and antiferromagnetic phase transitions, and in the disorder-introduced single crystal which exhibits spin-glass-like behavior. The measurements reveal that two-types of unusual temperature dependence of the elastic moduli coexist in the cubic paramagnetic phase, which are resolved by magnetic-field and disorder sensitivities: huge Curie-type softening with decreasing temperature, and concave temperature dependence with a characteristic minimum. These elastic anomalies suggest the coupling of lattice to coexisting orbital fluctuations and orbital-spin-coupled excitations.


title: Instability of Rotating Anti-de Sitter Black Holes

abstract: We study the instability of higher-dimensional rotating anti-de Sitter black holes through fragmentation. Fragmentation occurs when black holes rotate too fast to sustain their horizon, and then the black holes are broken into small pieces. Using this process, we test the stability of AdS black holes and discover the dynamical upper bounds of the angular momentum and the cosmological constant. We show that AdS black holes can exist stably within limited parameter ranges in the general dimensions. The parameter ranges are obtained numerically in terms of angular momentum and cosmological constant.


title: Entanglement Entropy of Non Unitary Conformal Field Theory

abstract: In this letter we show that the R\'enyi entanglement entropy of a region of large size $\ell$ in a one-dimensional critical model whose ground state breaks conformal invariance (such as in those described by non-unitary conformal field theories), behaves as $S_n \sim \frac{c_{\mathrm{eff}}(n+1)}{6n} \log \ell$, where $c_{\mathrm{eff}}=c-24\Delta>0$ is the effective central charge, $c$ (which may be negative) is the central charge of the conformal field theory and $\Delta\neq 0$ is the lowest holomorphic conformal dimension in the theory. We also obtain results for models with boundaries, and with a large but finite correlation length, and we show that if the lowest conformal eigenspace is logarithmic ($L_0 = \Delta I + N$ with $N$ nilpotent), then there is an additional term proportional to $\log(\log \ell)$. These results generalize the well known expressions for unitary models. We provide a general proof, and report on numerical evidence for a non-unitary spin chain and an analytical computation using the corner transfer matrix method for a non-unitary lattice model. We use a new algebraic technique for studying the branching that arises within the replica approach, and find a new expression for the entanglement entropy in terms of correlation functions of twist fields for non-unitary models.


title: Cross-intersecting families of vectors

abstract: Given a sequence of positive integers $p = (p_1, . . ., p_n)$, let $S_p$ denote the family of all sequences of positive integers $x = (x_1,...,x_n)$ such that $x_i \le p_i$ for all $i$. Two families of sequences (or vectors), $A,B \subseteq S_p$, are said to be $r$-cross-intersecting if no matter how we select $x \in A$ and $y \in B$, there are at least $r$ distinct indices $i$ such that $x_i = y_i$. We determine the maximum value of $|A|\cdot|B|$ over all pairs of $r$- cross-intersecting families and characterize the extremal pairs for $r \ge 1$, provided that $\min p_i >r+1$. The case $\min p_i \le r+1$ is quite different. For this case, we have a conjecture, which we can verify under additional assumptions. Our results generalize and strengthen several previous results by Berge, Frankl, F\"uredi, Livingston, Moon, and Tokushige, and answers a question of Zhang.


title: Active network management for electrical distribution systems: problem formulation, benchmark, and approximate solution

abstract: With the increasing share of renewable and distributed generation in electrical distribution systems, Active Network Management (ANM) becomes a valuable option for a distribution system operator to operate his system in a secure and cost-effective way without relying solely on network reinforcement. ANM strategies are short-term policies that control the power injected by generators and/or taken off by loads in order to avoid congestion or voltage issues. Advanced ANM strategies imply that the system operator has to solve large-scale optimal sequential decision-making problems under uncertainty. For example, decisions taken at a given moment constrain the future decisions that can be taken and uncertainty must be explicitly accounted for because neither demand nor generation can be accurately forecasted. We first formulate the ANM problem, which in addition to be sequential and uncertain, has a nonlinear nature stemming from the power flow equations and a discrete nature arising from the activation of power modulation signals. This ANM problem is then cast as a stochastic mixed-integer nonlinear program, as well as second-order cone and linear counterparts, for which we provide quantitative results using state of the art solvers and perform a sensitivity analysis over the size of the system, the amount of available flexibility, and the number of scenarios considered in the deterministic equivalent of the stochastic program. To foster further research on this problem, we make available at http://www.montefiore.ulg.ac.be/~anm/ three test beds based on distribution networks of 5, 33, and 77 buses. These test beds contain a simulator of the distribution system, with stochastic models for the generation and consumption devices, and callbacks to implement and test various ANM strategies.


title: Shaping Electromagnetic Fields

abstract: The ability to control electromagnetic fields on the subwavelength scale could open exciting new venues in many fields of science. Transformation optics provides one way to attain such control through the local variation of the permittivity and permeability of a material. Here, we demonstrate another way to shape electromagnetic fields, taking advantage of the enormous size of the configuration space in combinatorial problems and the resonant scattering properties of metallic nanoparticles. Our design does not require the engineering of a material's electromagnetic properties and has relevance to the design of more flexible platforms for probing light-matter interaction and many body physics.


title: Weighting bubbles in group field theory

abstract: Group field theories (GFT) are higher dimensional generalizations of matrix models whose Feynman diagrams are dual to triangulations. Here we propose a modification of GFT models that includes extra field indices keeping track of the bubbles of the graphs in the Feynman evaluations. In dimension three, our model exhibits new symmetries, interpreted as the action of the vertex translations of the triangulation. The extra field indices have an elegant algebraic interpretation: they encode the structure of a semi-simple algebra. Remarkably, when the algebra is chosen to be associative, the new structure contributes a topological invariant from each bubble of the graph to the Feynman amplitudes.


title: On the Effect of Primary User Traffic on Secondary Throughput and Outage Probability Under Rayleigh Flat Fading Channel

abstract: The effect of the primary traffic on a secondary user's (SU) throughput under Rayleigh flat fading channel is investigated. For this case, closed form expressions are derived for the average probability of detection and the average probability of false alarm. Based on these expressions, the average SU throughput under the desired signal-to-noise ratio (SNR) constraint in order to maintain the quality of the secondary link is found analytically considering the random arrival or departure of the primary user. It is shown that the spectrum sensing performance and SU throughput degrade with increase in the primary traffic and the deep fade condition of the channel over which the detection is performed. The degree of degradation in SU throughput is seen to be severed further due to the interference link from the primary transmitter to the secondary receiver. Under these detrimental effects, a sensing-throughput trade-off for SU is illustrated. Finally, the combined effect of the primary traffic, fading, imperfect spectrum sensing and the interference link from a primary transmitter is studied on the outage probability at SU.


title: The Localized Reduced Basis Multiscale method for two-phase flows in porous media

abstract: In this work, we propose a novel model order reduction approach for two-phase flow in porous media by introducing a formulation in which the mobility, which realizes the coupling between phase saturations and phase pressures, is regarded as a parameter to the pressure equation. Using this formulation, we introduce the Localized Reduced Basis Multiscale method to obtain a low-dimensional surrogate of the high-dimensional pressure equation. By applying ideas from model order reduction for parametrized partial differential equations, we are able to split the computational effort for solving the pressure equation into a costly offline step that is performed only once and an inexpensive online step that is carried out in every time step of the two-phase flow simulation, which is thereby largely accelerated. Usage of elements from numerical multiscale methods allows us to displace the computational intensity between the offline and online step to reach an ideal runtime at acceptable error increase for the two-phase flow simulation.


title: Search for Kinematic Siblings of the Sun Based on Data from the XHIP Catalog

abstract: From the XHIP catalogue, we have selected 1872 F-G-K stars with relative parallax measurement errors <20% and absolute values of their space velocities relative to the Sun <15 km/s. For all these stars, we have constructed their Galactic orbits for 4.5 Gyr into the past using an axisymmetric Galactic potential model with allowance made for the perturbations from the spiral density wave. Parameters of the encounter with the solar orbit have been calculated for each orbit. We have detected three new stars whose Galactic orbits were close to the solar one during a long time interval in the past. These stars are HIP 43852, HIP 104047, and HIP 112158. The spectroscopic binary HIP 112158 is poorly suited for the role of a kinematic sibling of the Sun by its age and spectroscopic characteristics. For the single star HIP 43852 and the multiple system HIP 104047, this role is quite possible. We have also confirmed the status of our previously found candidates for close encounters, HIP 47399 and HIP 87382. The star HIP 87382 with a chemical composition very close to the solar one is currently the most likely candidate, because it persistently shows close encounters with the Sun on time scales of more than 3 Gyr when using various Galactic potential models both without and with allowance made for the influence of the spiral density wave.


title: An integral identity with applications in orthogonal polynomials

abstract: For $\boldsymbol{\large {\lambda}} = (\lambda_1,\ldots,\lambda_d)$ with $\lambda_i > 0$, it is proved that \begin{equation*} \prod_{i=1}^d \frac{ 1}{(1- r x_i)^{\lambda_i}} = \frac{\Gamma(|\boldsymbol{\large {\lambda}}|)}{\prod_{i=1}^{d} \Gamma(\lambda_i)} \int_{\mathcal{T}^d} \frac{1}{ (1- r \langle x, u \rangle)^{|\boldsymbol{\large {\lambda}}|}} \prod_{i=1}^d u_i^{\lambda_i-1} du, \end{equation*} where $\mathcal{T}^d$ is the simplex in homogeneous coordinates of $\mathbb{R}^d$, from which a new integral relation for Gegenbuer polynomials of different indexes is deduced. The latter result is used to derive closed formulas for reproducing kernels of orthogonal polynomials on the unit cube and on the unit ball.


title: A Fractional Calculus on Arbitrary Time Scales: Fractional Differentiation and Fractional Integration

abstract: We introduce a general notion of fractional (noninteger) derivative for functions defined on arbitrary time scales. The basic tools for the time-scale fractional calculus (fractional differentiation and fractional integration) are then developed. As particular cases, one obtains the usual time-scale Hilger derivative when the order of differentiation is one, and a local approach to fractional calculus when the time scale is chosen to be the set of real numbers.


title: Probabilistic Band-Splitting for a Buffered Cooperative Cognitive Terminal

abstract: In this paper, we propose a cognitive protocol that involves cooperation between the primary and secondary users. In addition to its own queue, the secondary user (SU) has a queue to store, and then relay, the undelivered primary packets. When the primary queue is nonempty, the SU remains idle and attempts to decode the primary packet. When the primary queue is empty, the SU splits the total channel bandwidth into two orthogonal subbands and assigns each to a queue probabilistically. We show the advantage of the proposed protocol over the prioritized cognitive relaying (PCR) protocol in which the SU assigns a priority in transmission to the primary packets over its own packets. We present two problem formulations, one based on throughput and the other on delay. Both optimization problems are shown to be linear programs for a given bandwidth assignment. Numerical results demonstrate the benefits of the proposed protocol.


title: On Orthogonal Band Allocation for Multi-User Multi-Band Cognitive Radio Networks: Stability Analysis

abstract: In this work, we study the problem of band allocation of $M_s$ buffered secondary users (SUs) to $M_p$ primary bands licensed to (owned by) $M_p$ buffered primary users (PUs). The bands are assigned to SUs in an orthogonal (one-to-one) fashion such that neither band sharing nor multi-band allocations are permitted. In order to study the stability region of the secondary network, the optimization problem used to obtain the stability region's envelope (closure) is established and is shown to be a linear program which can be solved efficiently and reliably. We compare our orthogonal allocation system with two typical low-complexity and intuitive band allocation systems. In one system, each cognitive user chooses a band randomly in each time slot with some assignment probability designed such that the system maintained stable, while in the other system fixed (deterministic) band assignment is adopted throughout the lifetime of the network. We derive the stability regions of these two systems. We prove mathematically, as well as through numerical results, the advantages of our proposed orthogonal system over the other two systems.


title: Maximum Throughput of a Secondary User Cooperating with an Energy-Aware Primary User

abstract: This paper proposes a cooperation protocol between a secondary user (SU) and a primary user (PU) which dedicates a free frequency subband for the SU if cooperation results in energy saving. Time is slotted and users are equipped with buffers. Under the proposed protocol, the PU releases portion of its bandwidth for secondary transmission. Moreover, it assigns a portion of the time slot duration for the SU to relay primary packets and achieve a higher successful packet reception probability at the primary receiver. We assume that the PU has three states: idle, forward, and retransmission states. At each of these states, the SU accesses the channel with adaptive transmission parameters. The PU cooperates with the SU if and only if the achievable average number of transmitted primary packets per joule is higher than the number of transmitted packets per joule when it operates alone. The numerical results show the beneficial gains of the proposed cooperative cognitive protocol.


title: Generalized Parton Distributions: visions, basics, and realities

abstract: An introductory to generalized parton distributions is given which emphasizes their spectral property and its uses as well as the equivalence of various GPD representations. Furthermore, the status of the theory and phenomenology of hard exclusive processes is shortly reviewed.


title: Objective Bayesian Model Discrimination in Follow-up Experimental Designs

abstract: An initial screening experiment may lead to ambiguous conclusions regarding the factors which are active in explaining the variation of an outcome variable: thus adding follow-up runs becomes necessary. We propose a fully Bayes objective approach to follow-up designs, using prior distributions suitably tailored to model selection. We adopt a model criterion based on a weighted average of Kullback-Leibler divergences between predictive distributions for all possible pairs of models. When applied to real data, our method produces results which compare favorably to previous analyses based on subjective weakly informative priors.


title: Effective-energy budget in multiparticle production in nuclear collisions

abstract: The dependencies of charged particle pseudorapidity density and transverse energy pseudorapidity density at midrapidity on the collision energy and on the number of nucleon participants, or centrality, measured in nucleus-nucleus collisions are studied in the energy range spanning a few GeV to a few TeV per nucleon. The model in which the multiparticle production is driven by the dissipating effective energy of participants is introduced. The model is based on the earlier proposed approach, combining the constituent quark picture together with Landau relativistic hydrodynamics shown to interrelate the measurements from different types of collisions. Within this model, the dependence on the number of participants in heavy-ion collisions are found to be well described in terms of the effective energy defined as a centrality-dependent fraction of the collision energy. For both variables under study, the effective energy approach reveals a similarity in the energy dependence obtained for the most central collisions and centrality data in the entire available energy range. Predictions are made for the investigated dependencies for the forthcoming higher energy measurements in heavy-ion collisions at the LHC.


title: A weight-distribution bound for entropy extractors using linear binary codes

abstract: We consider a bound on the bias reduction of a random number generator by processing based on binary linear codes. We introduce a new bound on the total variation distance of the processed output based on the weight distribution of the code generated by the chosen binary matrix. Starting from this result we show a lower bound for the entropy rate of the output of linear binary extractors.


title: Quantum dot opto-mechanics in a fully self-assembled nanowire

abstract: We show that fully self-assembled optically-active quantum dots (QDs) embedded in MBE-grown GaAs/AlGaAs core-shell nanowires (NWs) are coupled to the NW mechanical motion. Oscillations of the NW modulate the QD emission energy in a broad range exceeding 14 meV. Furthermore, this opto-mechanical interaction enables the dynamical tuning of two neighboring QDs into resonance, possibly allowing for emitter-emitter coupling. Both the QDs and the coupling mechanism -- material strain -- are intrinsic to the NW structure and do not depend on any functionalization or external field. Such systems open up the prospect of using QDs to probe and control the mechanical state of a NW, or conversely of making a quantum non-demolition readout of a QD state through a position measurement.


title: Imitation-based Social Spectrum Sharing

abstract: Dynamic spectrum sharing is a promising technology for improving the spectrum utilization. In this paper, we study how secondary users can share the spectrum in a distributed fashion based on social imitations. The imitation-based mechanism leverages the social intelligence of the secondary user crowd and only requires a low computational power for each individual user. We introduce the information sharing graph to model the social information sharing relationship among the secondary users. We propose an imitative spectrum access mechanism on a general information sharing graph such that each secondary user first estimates its expected throughput based on local observations, and then imitates the channel selection of another neighboring user who achieves a higher throughput. We show that the imitative spectrum access mechanism converges to an imitation equilibrium, where no beneficial imitation can be further carried out on the time average. Numerical results show that the imitative spectrum access mechanism can achieve efficient spectrum utilization and meanwhile provide good fairness across secondary users.


title: About the role of chaos and coarse graining in Statistical Mechanics

abstract: We discuss the role of ergodicity and chaos for the validity of statistical laws. In particular we explore the basic aspects of chaotic systems (with emphasis on the finite-resolution) on systems composed of a huge number of particles.


title: Generalized Langevin equation with colored noise description of the stochastic oscillations of accretion disks

abstract: We consider a description of the stochastic oscillations of the general relativistic accretion disks around compact astrophysical objects interacting with their external medium based on a generalized Langevin equation with colored noise, which accounts for the general memory and retarded effects of the frictional force, and on the fluctuation-dissipation theorem. The presence of the memory effects influences the response of the disk to external random interactions, and modifies the dynamical behavior of the disk, as well as the energy dissipation processes. The generalized Langevin equation of the motion of the disk in the vertical direction is studied numerically, and the vertical displacements, velocities and luminosities of the stochastically perturbed disks are explicitly obtained for both the Schwarzschild and the Kerr cases. The Power Spectral Distribution (PSD) of the disk luminosity is also obtained. As a possible astrophysical application of the formalism we investigate the possibility that the Intra Day Variability (IDV) of the Active Galactic Nuclei (AGN) may be due to the stochastic disk instabilities. The perturbations due to colored/nontrivially correlated noise induce a complicated disk dynamics, which could explain some astrophysical observational features related to disk variability.


title: Non-equilibrium Quantum Many-Body Green Function Formalism in the light of Quantum Information Theory

abstract: The following issues are discussed inspired by the recent paper of Kadanoff (arXiv: 1403:6162): (a) Construction of a generalized one-particle Wigner distribution (GWD) function (analog of the classical distribution function) from which the quantum kinetic equation due to Kadanoff and Baym (KB) is derived, often called the Quantum Boltzmann Equation (QBE); (b) The equation obeyed by this has a collision contribution in the form of a two-particle Green function. This term is manipulated to have Kinetic Entropy in parallel to its counterpart in the classical Boltzmann kinetic equation for the classical distribution function. This proved to be problematic in that unlike in the classical Boltzmann kinetic equation, the contribution from the kinetic entropy term was non-positive; (3) Kadanoff surmised that this situation could perhaps be related to quantum entanglement that may not have been included in his theory. It is shown that GWD is not positive everywhere (indicating dynamical quantumness) just like the commonly recognized property of the Wigner function (negative property indicating quantumness of the state). The issue of non-positive feature appearing in approximate evaluation of patently positive entities in many particle systems is here pointed to an early discussion of this issue (Phys. Rev. A10, 1852 (1974)) in terms of a theorem on truncation of cumulant expansion of a probability distribution function due to Marcinkeiwicz. The last issue of presence or absence of entanglement in an approximate evaluation of a many particle correlation poses a new problem; it is considered here in terms of fermionic entanglement theory in the light of density matrix and Green function theory of many-fermion systems. The clue comes from the fact that the Hartree-Fock approximation exhbits no entantanglement in two-particle fermion density matrix and hence also in two-particle Green function.


title: Fare Evasion in Transit Networks

abstract: Public transit systems in urban areas usually require large state subsidies, primarily due to high fare evasion rates. In this paper, we study new models for optimizing fare inspection strategies in transit networks based on bilevel programming. In the first level, the leader (the network operator) determines probabilities for inspecting passengers at different locations, while in the second level, the followers (the fare-evading passengers) respond by optimizing their routes given the inspection probabilities and travel times. To model the followers' behavior we study both a non-adaptive variant, in which passengers select a path a priori and continue along it throughout their journey, and an adaptive variant, in which they gain information along the way and use it to update their route. For these problems, which are interesting in their own right, we design exact and approximation algorithms and we prove a tight bound of 3/4 on the ratio of the optimal cost between adaptive and non-adaptive strategies. For the leader's optimization problem, we study a fixed-fare and a flexible-fare variant, where ticket prices may or may not be set at the operator's will. For the latter variant, we design an LP based approximation algorithm. Finally, using a local search procedure that shifts inspection probabilities within an initially determined support set, we perform an extensive computational study for all variants of the problem on instances of the Dutch railway and the Amsterdam subway network. This study reveals that our solutions are within 95% of theoretical upper bounds drawn from the LP relaxation.


title: Exponential asymptotics for solitons in PT-symmetric periodic potentials

abstract: Solitons in one-dimensional parity-time (PT)-symmetric periodic potentials are studied using exponential asymptotics. The new feature of this exponential asymptotics is that, unlike conservative periodic potentials, the inner and outer integral equations arising in this analysis are both coupled systems due to complex-valued solitons. Solving these coupled systems, we show that two soliton families bifurcate out from each Bloch-band edge for either self-focusing or self-defocusing nonlinearity. An asymptotic expression for the eigenvalues associated with the linear stability of these soliton families is also derived. This formula shows that one of these two soliton families near band edges is always unstable, while the other can be stable. In addition, infinite families of PT-symmetric multi-soliton bound states are constructed by matching the exponentially small tails from two neighboring solitons. These analytical predictions are compared with numerics. Overall agreements are observed, and minor differences explained.


title: Renormalization of twist-four operators in light-cone gauge

abstract: We compute one-loop renormalization group equations for non-singlet twist-four operators in QCD. The calculation heavily relies on the light-cone gauge formalism in the momentum fraction space that essentially rephrases the analysis of all two-to two and two-to-three transition kernels to purely algebraic manipulations both for non- and quasipartonic operators. This is the first brute force calculation of this sector available in the literature. Fourier transforming our findings to the coordinate space, we checked them against available results obtained within a conformal symmetry-based formalism that bypasses explicit diagrammatic calculations and confirmed agreement with the latter.


title: Exciton Condensates in Double Quantum Wells: A Laboratory for nontrivial topologies and unconventional superconductivity

abstract: It is shown that exciton condensates exhibit an incredible richness in the role that fundamental symmetries play whether manifest or broken. We investigate the appearance of the singlet and the triplet excitonic condensates under spin-orbit coupling (SOC) and consider realistic couplings to the radiation field as manipulated by the fundamental symmetries related to spin, time, orbital and particle degrees of freedom. The role of the strong SOC in inducing a ground state with coexisting singlet and triplet components is shown. It is also shown that the ground state of an excitonic condensate, in the realistic senario of spontaneous coupling to the radiation field, is dominated by a dark component transparent to photoluminescence.


title: $L^p$-spectrum of the Dirac operator on products with hyperbolic spaces

abstract: We study the $L^p$-spectrum of the Dirac operator on complete manifolds. One of the main questions in this context is whether this spectrum depends on $p$. As a first example where $p$-independence fails we compute explicitly the $L^p$-spectrum for the hyperbolic space and its product with compact spaces.


title: What is a quantum simulator?

abstract: Quantum simulators are devices that actively use quantum effects to answer questions about model systems and, through them, real systems. Here we expand on this definition by answering several fundamental questions about the nature and use of quantum simulators. Our answers address two important areas. First, the difference between an operation termed simulation and another termed computation. This distinction is related to the purpose of an operation, as well as our confidence in and expectation of its accuracy. Second, the threshold between quantum and classical simulations. Throughout, we provide a perspective on the achievements and directions of the field of quantum simulation.


title: Gravitational Collapse of an Imperfect Non Adiabatic Fluid

abstract: We study the evolution of an anisotropic shear-free fluid with heat flux and kinematic self-similarity of the second kind. We found a class of solution to the Einstein field equations by assuming that the part of the tangential pressure which is explicitly time dependent of the fluid is zero and that the fluid moves along time-like geodesics. The energy conditions, geometrical and physical properties of the solutions are studied. The energy conditions are all satisfied at the beginning of the collapse but when the system approaches the singularity the energy conditions are violated, allowing for the appearance of an attractive phantom energy. We have found that, depending on the self-similar parameter $\alpha$ and the geometrical radius, they may represent a naked singularity. We speculate that the apparent horizon disappears due to the emergence of exotic energy at the end of the collapse, or due to the characteristics of null acceleration systems as shown by recent work.


title: On the Latency and Energy Efficiency of Erasure-Coded Cloud Storage Systems

abstract: The increase in data storage and power consumption at data-centers has made it imperative to design energy efficient Distributed Storage Systems (DSS). The energy efficiency of DSS is strongly influenced not only by the volume of data, frequency of data access and redundancy in data storage, but also by the heterogeneity exhibited by the DSS in these dimensions. To this end, we propose and analyze the energy efficiency of a heterogeneous distributed storage system in which $n$ storage servers (disks) store the data of $R$ distinct classes. Data of class $i$ is encoded using a $(n,k_{i})$ erasure code and the (random) data retrieval requests can also vary across classes. We show that the energy efficiency of such systems is closely related to the average latency and hence motivates us to study the energy efficiency via the lens of average latency. Through this connection, we show that erasure coding serves the dual purpose of reducing latency and increasing energy efficiency. We present a queuing theoretic analysis of the proposed model and establish upper and lower bounds on the average latency for each data class under various scheduling policies. Through extensive simulations, we present qualitative insights which reveal the impact of coding rate, number of servers, service distribution and number of redundant requests on the average latency and energy efficiency of the DSS.


title: The Game Saturation Number of a Graph

abstract: Given a family ${\mathcal F}$ and a host graph $H$, a graph $G\subseteq H$ is ${\mathcal F}$-saturated relative to $H$ if no subgraph of $G$ lies in ${\mathcal F}$ but adding any edge from $E(H)-E(G)$ to $G$ creates such a subgraph. In the ${\mathcal F}$-saturation game on $H$, players Max and Min alternately add edges of $H$ to $G$, avoiding subgraphs in ${\mathcal F}$, until $G$ becomes ${\mathcal F}$-saturated relative to $H$. They aim to maximize or minimize the length of the game, respectively; $\textrm{sat}_g({\mathcal F};H)$ denotes the length under optimal play (when Max starts). Let ${\mathcal O}$ denote the family of all odd cycles and ${\mathcal T}$ the family of $n$-vertex trees, and write $F$ for ${\mathcal F}$ when ${\mathcal F}=\{F\}$. Our results include $\textrm{sat}_g({\mathcal O};K_{2k})=k^2$, $\textrm{sat}_g({\mathcal T};K_n)=\binom{n-2}{2}+1$ for $n\ge6$, $\textrm{sat}_g(K_{1,3};K_n)=2\lfloor n/2 \rfloor$ for $n\ge8$, $\textrm{sat}_g(K_{1,r+1};K_n)=\frac{rn}{2}-\frac{r^2}{8}+O(1)$, and $|\textrm{sat}_g(P_4;K_n)-(4n-1)/5|\le 1$. We also determine $\textrm{sat}_g(P_4;K_{m,n})$; with $m\ge n$, it is $n$ when $n$ is even, $m$ when $n$ is odd and $m$ is even, and $m+\lfloor n/2 \rfloor$ when $mn$ is odd. Finally, we prove the lower bound $\textrm{sat}_g(C_4;K_{n,n})\ge\frac{1}{10.4}n^{13/12}-O(n^{35/36})$. The results are very similar when Min plays first, except for the $P_4$-saturation game on $K_{m,n}$.


title: TeV cosmic-ray proton and helium spectra in the myriad model II

abstract: Recent observations show that the cosmic ray nuclei spectra start to harden above 100 GeV, in contradiction with the conventional steady-state cosmic ray model. We had suggested that this anomaly is due to the propagation effect of cosmic rays released from local young cosmic ray sources, the total flux of the cosmic ray should be computed with the myriad model, where contribution from sources in local catalog is added to the background. However, while the hardening could be elegantly explained in this model, the model parameters obtained from the fit skew toward a region with fast diffusion and low supernova rate in the Galaxy, in tension with other observations. In this paper, we further explore this model in order to set up a concordant picture. Two possible improvements related to the cosmic ray sources have been considered. Firstly, instead of the usual axisymmetric disk model, we considered a spiral model of source distribution. Secondly, for the nearby and young sources which are paramount to the hardening, we allow for an energy-dependent escape time. We find that major improvement comes from the energy-dependent escape time of the local sources, and with both modifications, not only the cosmic ray proton and helium anomalies are solved, but also the parameters attain reasonable range values compatible with other analysis.


title: Enhanced Thermoelectric Efficiency via Orthogonal Electrical and Thermal Conductances in Phosphorene

abstract: Thermoelectric devices that utilize the Seebeck effect convert heat flow into electrical energy and are highly desirable for the development of portable, solid state, passively-powered electronic systems. The conversion efficiencies of such devices are quantified by the dimensionless thermoelectric figure of merit (ZT), which is proportional to the ratio of a device's electrical conductance to its thermal conductance. High ZT (>2) has been achieved in materials via all-scale hierarchical architecturing. This efficiency holds at high temperatures (700K~900K) but quickly diminishes at lower temperatures. In this paper, a recently-fabricated two-dimensional (2D) semiconductor called phosphorene (monolayer black phosphorus) is assessed for its thermoelectric capabilities. First-principles and model calculations reveal that phosphorene possesses spatially-anisotropic electrical and thermal conductances. The prominent electrical and thermal conducting directions are orthogonal to one another, enhancing the ratio of these conductances. As a result, ZT can reach 2.5 (the criterion for commercial deployment) along the armchair direction of phosphorene at T=500K and is greater than 1 even at room temperature given moderate doping (~2 x 10^16 m-2). Ultimately, phosphorene stands out as an environmentally sound thermoelectric material with unprecedented qualities: intrinsically, it is a mechanically flexible material that converts heat energy with high efficiency at low temperatures (~ 300K) - one whose performance does not require any sophisticated engineering techniques.


title: The history of a quiet-Sun magnetic element revealed by IMaX/SUNRISE

abstract: Isolated flux tubes are considered to be fundamental magnetic building blocks of the solar photosphere. Their formation is usually attributed to the concentration of magnetic field to kG strengths by the convective collapse mechanism. However, the small size of the magnetic elements in quiet-Sun areas has prevented this scenario from being studied in fully resolved structures. Here we report on the formation and subsequent evolution of one such photospheric magnetic flux tube, observed in the quiet Sun with unprecedented spatial resolution (0\farcs 15 - 0\farcs 18) and high temporal cadence (33 s). The observations were acquired by the Imaging Magnetograph Experiment (IMaX) aboard the \textsc{Sunrise} balloon-borne solar observatory. The equipartition field strength magnetic element is the result of the merging of several same polarity magnetic flux patches, including a footpoint of a previously emerged loop. The magnetic structure is then further intensified to kG field strengths by convective collapse. The fine structure found within the flux concentration reveals that the scenario is more complex than can be described by a thin flux tube model with bright points and downflow plumes being established near the edges of the kG magnetic feature. We also observe a daisy-like alignment of surrounding granules and a long-lived inflow towards the magnetic feature. After a subsequent weakening process, the field is again intensified to kG strengths. The area of the magnetic feature is seen to change in anti-phase with the field strength, while the brightness of the bright points and the speed of the downflows varies in phase. We also find a relation between the brightness of the bright point and the presence of upflows within it.


title: Higgs mediated Flavour Violation in 2HDMs and the MSSM -- An Overview

abstract: In these proceedings we review the flavour phenomenology of two-Higgs-doublet models (2HDMs) and connect the results to the decoupling limit of the MSSM. We first study the impact of FCNC constraints on the allowed parameter space of the 2HDM and examine how recent deviations from the SM expectations in tauonic $B$ decays (observed by BABAR) can be explained in a 2HDM with generic flavour structure (of type III) with sizable flavour violation in the up-sector. Afterwards, we discusses the matching of the MSSM on the 2HDM of type III. Here we focus on the two-loop SQCD corrections to the Higgs-quark-quark couplings.


title: A Switching Approach to Avoid Breakdown in Lanczos-type Algorithms

abstract: Lanczos-type algorithms are well known for their inherent instability. They typically breakdown when relevant orthogonal polynomials do not exist. Current approaches to avoiding breakdown rely on jumping over the non-existent polynomials to resume computation. This jumping strategy may have to be used many times during the solution process. We suggest an alternative to jumping which consists in switching between different algorithms that have been generated using different recurrence relations between orthogonal polynomials. This approach can be implemented as three different strategies: ST1, ST2, and ST3. We shall briefly recall how Lanczos-type algorithms are derived. Four of the most prominent such algorithms namely $A_4$, $A_{12}$, $A_5/B_{10}$ and $A_5/B_8$ will be presented and then deployed in the switching framework. In this paper, only strategy ST2 will be investigated. Numerical results will be presented.


title: Quantifier elimination in quasianalytic structures via non-standard analysis

abstract: The paper is a continuation of our earlier article where we developed a theory of active and non-active infinitesimals and intended to establish quantifier elimination in quasianalytic structures. That article, however, did not attain full generality, which refers to one of its results, namely the theorem on an active infinitesimal, playing an essential role in our non-standard analysis. The general case was covered in our subsequent preprint, which constitutes a basis for the approach presented here. We also provide a quasianalytic exposition of the results concerning rectilinearization of terms and of definable functions from our earlier research. It will be used to demonstrate a quasianalytic structure corresponding to a Denjoy-Carleman class which, unlike the classical analytic structure, does not admit quantifier elimination in the language of restricted quasianalytic functions augmented merely by the reciprocal function. More precisely, we construct a plane definable curve, which indicates both that the classical theorem by J. Denef and L. van den Dries as well as \L{}ojasiewicz's theorem that every subanalytic curve is semianalytic are no longer true for quasianalytic structures. Besides rectilinearization of terms, our construction makes use of some theorems on power substitution for Denjoy-Carleman classes and on non-extendability of quasianalytic function germs. The last result relies on Grothendieck's factorization and open mapping theorems for (LF)-spaces. Note finally that this paper comprises our earlier preprints on the subject from May 2012.


title: Finite Embeddability of Sets and Ultrafilters

abstract: A set A of natural numbers is finitely embeddable in another such set B if every finite subset of A has a rightward translate that is a subset of B. This notion of finite embeddability arose in combinatorial number theory, but in this paper we study it in its own right. We also study a related notion of finite embeddability of ultrafilters on the natural numbers. Among other results, we obtain connections between finite embeddability and the algebraic and topological structure of the Stone-Cech compactification of the discrete space of natural numbers. We also obtain connections with nonstandard models of arithmetic.


title: Global Existence and Nonlinear Diffusion of Classical Solutions to Non-Isentropic Euler Equations with Damping in Bounded Domain

abstract: We considered classical solutions to the initial boundary value problem for non-isentropic compressible Euler equations with damping in multi-dimensions. We obtained global a priori estimates and global existence results of classical solutions to both non-isentropic Euler equations with damping and their nonlinear diffusion equations under small data assumption. We proved the pressure and velocity decay exponentially to constants, while the entropy and density can not approach constants. Finally, we proved the pressure and velocity of the non-isentropic Euler equations with damping converge exponentially to those of their nonlinear diffusion equations when the time goes to infinity.


title: Correlations after quantum quenches in the XXZ spin chain: Failure of the Generalized Gibbs Ensemble

abstract: We study the nonequilibrium time evolution of the spin-1/2 anisotropic Heisenberg (XXZ) spin chain, with a choice of dimer product and Neel states as initial states. We investigate numerically various short-ranged spin correlators in the long-time limit and find that they deviate significantly from predictions based on the generalized Gibbs ensemble (GGE) hypotheses. By computing the asymptotic spin correlators within the recently proposed quench-action formalism [Phys. Rev. Lett. 110, 257203 (2013)], however, we find excellent agreement with the numerical data. We, therefore, conclude that the GGE cannot give a complete description even of local observables, while the quench-action formalism correctly captures the steady state in this case.


title: Covering Array Bounds Using Analytical Techniques

abstract: A $t$-covering array with entries from the alphabet ${\cal Q}=\{0,1,\ldots,q-1\}$ is a $k\times n$ stack, so that for any choice of $t$ (typically non-consecutive) columns, each of the $q^{t}$ possible $t$-letter words over ${\cal Q}$ appear at least once among the rows of the selected columns. We will show how a combination of the Lov\'asz local lemma; combinatorial analysis; Stirling's formula; and Calculus enables one to find better asymptotic bounds for the minimum size of $t$-covering arrays, notably for $t = 3, 4$. Here size is measured in the number of rows, as expressed in terms of the number of columns.


title: Extending a characterization of majorization to infinite dimensions

abstract: We consider recent work linking majorization and trumping, two partial orders that have proven useful with respect to the entanglement transformation problem in quantum information, with general Dirichlet polynomials, Mellin transforms, and completely monotone sequences. We extend a basic majorization result to the more physically realistic infinite-dimensional setting through the use of generalized Dirichlet series and Riemann-Stieltjes integrals.

categories: quant-ph math-ph math.FA math.MP math.NT


title: Introduction to Dynamic Unary Encoding

abstract: Dynamic unary encoding takes unary encoding to the next level. Every n-bit binary string is an encoding of dynamic unary and every n-bit binary string is encodable by dynamic unary. By utilizing both forms of unary code and a single bit of parity information dynamic unary encoding partitions 2^n non-negative integers into n sets of disjoint cycles of n-bit elements. These cycles have been employed as virtual data sets, binary transforms and as a mathematical object. Characterization of both the cycles and of the cycle spectrum is given. Examples of encoding and decoding algorithms are given. Examples of other constructs utilizing the principles of dynamic unary encoding are presented. The cycle as a mathematical object is demonstrated.


title: Strong illposedness of the incompressible Euler equation in integer $C^m$ spaces

abstract: We consider the $d$-dimensional incompressible Euler equations. We show strong illposedness of velocity in any $C^m$ spaces whenever $m\ge 1$ is an \emph{integer}. More precisely, we show for a set of initial data dense in the $C^m$ topology, the corresponding solutions lose $C^m$ regularity instantaneously in time. In the $C^1$ case, our proof is based on an anisotropic Lagrangian deformation and a short-time flow expansion. In the $C^m$, $m\ge 2$ case, we introduce a flow decoupling method which allows to tame the nonlinear flow almost as a passive transport. The proofs also cover illposedness in Lipschitz spaces $C^{m-1,1}$ whenever $m\ge 1$ is an integer.


title: Query Rewriting and Optimization for Ontological Databases

abstract: Ontological queries are evaluated against a knowledge base consisting of an extensional database and an ontology (i.e., a set of logical assertions and constraints which derive new intensional knowledge from the extensional database), rather than directly on the extensional database. The evaluation and optimization of such queries is an intriguing new problem for database research. In this paper, we discuss two important aspects of this problem: query rewriting and query optimization. Query rewriting consists of the compilation of an ontological query into an equivalent first-order query against the underlying extensional database. We present a novel query rewriting algorithm for rather general types of ontological constraints which is well-suited for practical implementations. In particular, we show how a conjunctive query against a knowledge base, expressed using linear and sticky existential rules, that is, members of the recently introduced Datalog+/- family of ontology languages, can be compiled into a union of conjunctive queries (UCQ) against the underlying database. Ontological query optimization, in this context, attempts to improve this rewriting process so to produce possibly small and cost-effective UCQ rewritings for an input query.


title: Phase diagram of mixtures of colloids and polymers in the thermal crossover from good to $\theta$ solvent

abstract: We determine the phase diagram of mixtures of spherical colloids and neutral nonadsorbing polymers in the thermal crossover region between the $\theta$ point and the good-solvent regime. We use the generalized free-volume theory (GFVT), which turns out to be quite accurate as long as $q = R_g/R_c\lesssim 1$ ($R_g$ is the radius of gyration of the polymer and $R_c$ is the colloid radius). Close to the $\theta$ point the phase diagram is not very sensitive to solvent quality, while, close to the good-solvent region, changes of the solvent quality modify significantly the position of the critical point and of the binodals. We also analyze the phase behavior of aqueous solutions of charged colloids and polymers, using the extension of GFVT proposed by Fortini et al., J. Chem. Phys. 128, 024904 (2008).


title: A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling

abstract: A critical component in the implementation of a concurrent tabling system is the design of the table space. One of the most successful proposals for representing tables is based on a two-level trie data structure, where one trie level stores the tabled subgoal calls and the other stores the computed answers. In this work, we present a simple and efficient lock-free design where both levels of the tries can be shared among threads in a concurrent environment. To implement lock-freedom we took advantage of the CAS atomic instruction that nowadays can be widely found on many common architectures. CAS reduces the granularity of the synchronization when threads access concurrent areas, but still suffers from low-level problems such as false sharing or cache memory side-effects. In order to be as effective as possible in the concurrent search and insert operations over the table space data structures, we based our design on a hash trie data structure in such a way that it minimizes potential low-level synchronization problems by dispersing as much as possible the concurrent areas. Experimental results in the Yap Prolog system show that our new lock-free hash trie design can effectively reduce the execution time and scale better than previous designs.


title: Miniaturized Circular-Waveguide Probe Antennas Using Metamaterial Liners

abstract: This work presents the radiation performance of open-ended circular-waveguide probe antennas that have been miniaturized by the introduction of thin metamaterial liners. The liners introduce an HE$_{11}$ mode well below the natural cutoff frequency, which provides substantial gain improvements over a similarly sized waveguide probe. A new feeding arrangement employing a shielded-loop source embedded inside the miniaturized waveguide is developed to efficiently excite the HE$_{11}$ mode and avoid the excitation of other modes across the frequency reduced band while maintaining the antenna's compactness. A metamaterial-lined circular-waveguide probe antenna operating over 42% below its natural cutoff frequency is designed to provide a radiation efficiency of up to 28.8%. A simple, printed-circuit implementation of the metamaterial liner based on inductively loaded wires is proposed and its dispersion features are discussed.


title: On the Total Variation Distance of Labelled Markov Chains

abstract: Labelled Markov chains (LMCs) are widely used in probabilistic verification, speech recognition, computational biology, and many other fields. Checking two LMCs for equivalence is a classical problem subject to extensive studies, while the total variation distance provides a natural measure for the "inequivalence" of two LMCs: it is the maximum difference between probabilities that the LMCs assign to the same event. In this paper we develop a theory of the total variation distance between two LMCs, with emphasis on the algorithmic aspects: (1) we provide a polynomial-time algorithm for determining whether two LMCs have distance 1, i.e., whether they can almost always be distinguished; (2) we provide an algorithm for approximating the distance with arbitrary precision; and (3) we show that the threshold problem, i.e., whether the distance exceeds a given threshold, is NP-hard and hard for the square-root-sum problem. We also make a connection between the total variation distance and Bernoulli convolutions.


title: A high-pressure hydrogen time projection chamber for the MuCap experiment

abstract: The MuCap experiment at the Paul Scherrer Institute performed a high-precision measurement of the rate of the basic electroweak process of nuclear muon capture by the proton, $\mu^- + p \rightarrow n + \nu_\mu$. The experimental approach was based on the use of a time projection chamber (TPC) that operated in pure hydrogen gas at a pressure of 10 bar and functioned as an active muon stopping target. The TPC detected the tracks of individual muon arrivals in three dimensions, while the trajectories of outgoing decay (Michel) electrons were measured by two surrounding wire chambers and a plastic scintillation hodoscope. The muon and electron detectors together enabled a precise measurement of the $\mu p$ atom's lifetime, from which the nuclear muon capture rate was deduced. The TPC was also used to monitor the purity of the hydrogen gas by detecting the nuclear recoils that follow muon capture by elemental impurities. This paper describes the TPC design and performance in detail.


title: Theory of Mn-doped I-II-V Semiconductors

abstract: A recently discovered magnetic semiconductor Ba$_{1-x}$K$_{x}$(Zn$_{1-y}$Mn$_{y}$)$_2$As$_{2}$, with its decoupled spin and charge doping, provides a unique opportunity to elucidate the microscopic origin of the magnetic interaction and ordering in dilute magnetic semiconductors (DMS). We show that (i) the conventional density functional theory accurately describes this material, and (ii) the magnetic interaction emerges from the competition of the short-range superexchange and the longer-range spin-spin interaction mediated by the itinerant As holes. The latter can be viewed as a high-doping extrapolation of with the Schrieffer-Wolff $p-d$ interaction representing an effective Hund's rule coupling, $J_{H}^{\text{eff}}$. The key difference between the classical double exchange and the actual interaction in DMS is that an effective $J_{H}^{\text{eff}}$, as opposed to the standard Hund's coupling $J_{H}$, depends on the Mn $d-$band position with respect to the Fermi level, and thus allows tuning of the magnetic interactions. The physical picture revealed for this transparent system may also be applicable to more complicated DMS systems.


title: On hypergraph Lagrangians

abstract: It is conjectured by Frankl and F\"uredi that the $r$-uniform hypergraph with $m$ edges formed by taking the first $m$ sets in the colex ordering of ${\mathbb N}^{(r)}$ has the largest Lagrangian of all $r$-uniform hypergraphs with $m$ edges in \cite{FF}. Motzkin and Straus' theorem confirms this conjecture when $r=2$. For $r=3$, it is shown by Talbot in \cite{T} that this conjecture is true when $m$ is in certain ranges. In this paper, we explore the connection between the clique number and Lagrangians for $r$-uniform hypergraphs. As an implication of this connection, we prove that the $r$-uniform hypergraph with $m$ edges formed by taking the first $m$ sets in the colex ordering of ${\mathbb N}^{(r)}$ has the largest Lagrangian of all $r$-uniform graphs with $t$ vertices and $m$ edges satisfying ${t-1\choose r}\leq m \leq {t-1\choose r}+ {t-2\choose r-1}-[(2r-6)\times2^{r-1}+2^{r-3}+(r-4)(2r-7)-1]({t-2\choose r-2}-1)$ for $r\geq 4.$


title: Mapping the UK Webspace: Fifteen Years of British Universities on the Web

abstract: This paper maps the national UK web presence on the basis of an analysis of the .uk domain from 1996 to 2010. It reviews previous attempts to use web archives to understand national web domains and describes the dataset. Next, it presents an analysis of the .uk domain, including the overall number of links in the archive and changes in the link density of different second-level domains over time. We then explore changes over time within a particular second-level domain, the academic subdomain .ac.uk, and compare linking practices with variables, including institutional affiliation, league table ranking, and geographic location. We do not detect institutional affiliation affecting linking practices and find only partial evidence of league table ranking affecting network centrality, but find a clear inverse relationship between the density of links and the geographical distance between universities. This echoes prior findings regarding offline academic activity, which allows us to argue that real-world factors like geography continue to shape academic relationships even in the Internet age. We conclude with directions for future uses of web archive resources in this emerging area of research.


title: Integration of Renewable Energy Sources in Future Power Systems: The Role of Storage

abstract: Integrating a high share of electricity from non-dispatchable Renewable Energy Sources in a power supply system is a challenging task. One option considered in many studies dealing with prospective power systems is the installation of storage devices to balance the fluctuations in power production. However, it is not yet clear how soon storage devices will be needed and how the integration process depends on different storage parameters. Using long-term solar and wind energy power production data series, we present a modelling approach to investigate the influence of storage size and efficiency on the pathway towards a 100% RES scenario. Applying our approach to data for Germany, we found that up to 50% of the overall electricity demand can be met by an optimum combination of wind and solar resources without both curtailment and storage devices if the remaining energy is provided by sufficiently flexible power plants. Our findings show further that the installation of small, but highly efficient storage devices is already highly beneficial for the RES integration, while seasonal storage devices are only needed when more than 80% of the electricity demand can be met by wind and solar energy. Our results imply that a compromise between the installation of additional generation capacities and storage capacities is required.


title: Gromov hyperbolicity and the Kobayashi metric on convex domains of finite type

abstract: In this paper we prove necessary and sufficient conditions for the Kobayashi metric on a convex domain to be Gromov hyperbolic. In particular we show that for convex domains with $C^\infty$ boundary being of finite type in the sense of D'Angelo is equivalent to the Gromov hyperbolicity of the Kobayashi metric. We also show that bounded domains which are locally convexifiable and have finite type in the sense of D'Angelo have Gromov hyperbolic Kobayashi metric. The proofs use ideas from the theory of the Hilbert metric.


title: A L\'opez-Escobar theorem for metric structures, and the topological Vaught conjecture

abstract: We show that a version of L\'opez-Escobar's theorem holds in the setting of logic for metric structures. More precisely, let $\mathbb{U}$ denote the Urysohn sphere and let $\mathrm{Mod}(\mathcal{L},\mathbb{U})$ be the space of metric $\mathcal{L}$-structures supported on $\mathbb{U}$. Then for any $\mathrm{Iso}(\mathbb{U})$-invariant Borel function $f\colon \mathrm{Mod}(\mathcal{L}, \mathbb{U})\rightarrow \lbrack 0,1]$, there exists a sentence $\phi $ of $\mathcal{L}_{\omega_{1}\omega}$ such that for all $M\in \mathrm{Mod}(\mathcal{L},\mathbb{U})$ we have $f(M)=\phi ^{M}$. At the same time we introduce a variant $\mathcal{L}_{\omega_1\omega}^\ast$ of $\mathcal{L}_{\omega_1\omega}$ in which the usual quantifiers are replaced with category quantifiers, and establish the analogous theorem for $\mathcal{L}_{\omega_1\omega}^\ast$. This answers a question of Ivanov and Majcher-Iwanow. We prove several consequences, for example every orbit equivalence relation of a Polish group action is Borel isomorphic to the isomorphism relation on the set of models of a given $\mathcal{L}_{\omega_{1}\omega}$-sentence that are supported on the Urysohn sphere. This in turn provides a model-theoretic reformulation of the topological Vaught conjecture.


title: Using surface plasmonics to turn on fullerene's dark excitons

abstract: Using our recently proposed Bethe-Salpeter $G_0W_0$ formulation, we explore the optical absorption spectra of fullerene (C$_{60}$) near coinage metal surfaces (Cu, Ag, and Au). We pay special attention to how the surface plasmon $\omega_S$ influences the optical activity of fullerene. We find the lower energy fullerene excitons at 3.77 and 4.8 eV only weakly interact with the surface plasmon. However, we find the surface plasmon strongly interacts with the most intense fullerene $\pi$ exciton, i.e.\ the dipolar mode at $\hbar\omega_+\approx$ 6.5 eV, and the quadrupolar mode at $\hbar\omega_-\approx$ 6.8 eV. When fullerene is close to a copper surface ($z_0\approx$ 5.3 \AA) the dipolar mode $\omega_+$ and "localized" surface plasmons in the molecule/surface interface hybridize to form two coupled modes which both absorb light. As a result, the molecule gains an additional optically active mode. Moreover, in resonance, when $\omega_S\approx\omega_\pm$, the strong interaction with the surface plasmon destroys the $\omega_-$ quadrupolar character and it becomes an optically active mode. In this case the molecule gains two additional very intense optically active modes. Further, we find this resonance condition, $\omega_S \approx \omega_\pm$, is satisfied by silver and gold metal surfaces.


title: Secure Fragmentation for Content-Centric Networks (extended version)

abstract: Content-Centric Networking (CCN) is a communication paradigm that emphasizes content distribution. Named-Data Networking (NDN) is an instantiation of CCN, a candidate Future Internet Architecture. NDN supports human-readable content naming and router-based content caching which lends itself to efficient, secure, and scalable content distribution. Because of NDN's fundamental requirement that each content object must be signed by its producer, fragmentation has been considered incompatible with NDN since it precludes authentication of individual content fragments by routers. The alternative is to perform hop-by-hop reassembly, which incurs prohibitive delays. In this paper, we show that secure and efficient content fragmentation is both possible and even advantageous in NDN and similar content-centric network architectures that involve signed content. We design a concrete technique that facilitates efficient and secure content fragmentation in NDN, discuss its security guarantees and assess performance. We also describe a prototype implementation and compare performance of cut-through with hop-by-hop fragmentation and reassembly.


title: Design of a 3D photonic band gap cavity in a diamond-like inverse woodpile photonic crystal

abstract: We theoretically investigate the design of cavities in a three-dimensional (3D) inverse woodpile photonic crystal. This class of cubic diamond-like crystals has a very broad photonic band gap and consists of two perpendicular arrays of pores with a rectangular structure. The point defect that acts as a cavity is centred on the intersection of two intersecting perpendicular pores with a radius that differs from the ones in the bulk of the crystal. We have performed supercell bandstructure calculations with up to $5 \times 5 \times 5$ unit cells. We find that up to five isolated and dispersionless bands appear within the 3D photonic band gap. For each isolated band, the electric-field energy is localized in a volume centred on the point defect, hence the point defect acts as a 3D photonic band gap cavity. The mode volume of the cavities resonances is as small as 0.8 $\lambda^{3}$ (resonance wavelength cubed), indicating a strong confinement of the light. By varying the radius of the defect pores we found that only donor-like resonances appear for smaller defect radius, whereas no acceptor-like resonances appear for greater defect radius. From a 3D plot of the distribution of the electric-field energy density we conclude that peaks of energy found in sharp edges situated at the point defect, similar to how electrons collect at such features. This is different from what is observed for cavities in non-inverted woodpile structures. Since inverse woodpile crystals can be fabricated from silicon by CMOS-compatible means, we project that single cavities and even cavity arrays can be realized, for wavelength ranges compatible with telecommunication windows in the near infrared.