title: Faster Transaction Commit even when Nodes Crash

abstract: Atomic broadcasts play a central role in serialisable in-memory transactions. Best performing ones block, when a node crashes, until a new view is installed. We augment a new protocol for uninterrupted progress in the interim period.


title: A reaction-diffusion model of cholinergic retinal waves

abstract: Prior to receiving visual stimuli, spontaneous, correlated activity called retinal waves drives activity-dependent developmental programs. Early-stage waves mediated by acetylcholine (ACh) manifest as slow, spreading bursts of action potentials. They are believed to be initiated by the spontaneous firing of Starburst Amacrine Cells (SACs), whose dense, recurrent connectivity then propagates this activity laterally. Their extended inter-wave intervals and shifting wave boundaries are the result of the slow after-hyperpolarization of the SACs creating an evolving mosaic of recruitable and refractory cells, which can and cannot participate in waves, respectively. Recent evidence suggests that cholinergic waves may be modulated by the extracellular concentration of ACh. Here, we construct a simplified, biophysically consistent, reaction-diffusion model of cholinergic retinal waves capable of recapitulating wave dynamics observed in mice retina recordings. The dense, recurrent connectivity of SACs is modeled through local, excitatory coupling occurring via the volume release and diffusion of ACh. In contrast with previous, simulation-based models, we are able to use non-linear wave theory to connect wave features to underlying physiological parameters, making the model useful in determining appropriate pharmacological manipulations to experimentally produce waves of a prescribed spatiotemporal character. The model is used to determine how ACh mediated connectivity may modulate wave activity, and how the noise rate and sAHP refractory period contributes to critical wave size variability.


title: The Synchrosqueezing transform for instantaneous spectral analysis

abstract: The Synchrosqueezing transform is a time-frequency analysis method that can decompose complex signals into time-varying oscillatory components. It is a form of time-frequency reassignment that is both sparse and invertible, allowing for the recovery of the signal. This article presents an overview of the theory and stability properties of Synchrosqueezing, as well as applications of the technique to topics in cardiology, climate science and economics.


title: A Complex Event Processing Approach for Crisis-Management Systems

abstract: In modern advanced emergency management systems many solutions for decision support have been provided as attempts to support humans to take important decisions for the critical situations recovery. The critical situation detection is a complex procedure that involves both human and machine activities and leads to take a decision for the management and situation recovery. This paper presents an approach for critical situation detection which uses event correlation technologies performing online analysis of real events through a Complex Event Processing architecture. Event correlation is used to relate events gathered from various sources, including crowd sensing and crowd sourcing sources, for detecting patterns and situations of interest in the emergency management context.


title: The geometry of kernelized spectral clustering

abstract: Clustering of data sets is a standard problem in many areas of science and engineering. The method of spectral clustering is based on embedding the data set using a kernel function, and using the top eigenvectors of the normalized Laplacian to recover the connected components. We study the performance of spectral clustering in recovering the latent labels of i.i.d. samples from a finite mixture of nonparametric distributions. The difficulty of this label recovery problem depends on the overlap between mixture components and how easily a mixture component is divided into two nonoverlapping components. When the overlap is small compared to the indivisibility of the mixture components, the principal eigenspace of the population-level normalized Laplacian operator is approximately spanned by the square-root kernelized component densities. In the finite sample setting, and under the same assumption, embedded samples from different components are approximately orthogonal with high probability when the sample size is large. As a corollary we control the fraction of samples mislabeled by spectral clustering under finite mixtures with nonparametric components.


title: Persistence of transition state structure in chemical reactions driven by fields oscillating in time

abstract: Chemical reactions subjected to time-varying external forces cannot generally be described through a fixed bottleneck near the transition state barrier or dividing surface. A naive dividing surface attached to the instantaneous, but moving, barrier top also fails to be recrossing-free. We construct a moving dividing surface in phase space over a transition state trajectory. This surface is recrossing-free for both Hamiltonian and dissipative dynamics. This is confirmed even for strongly anharmonic barriers using simulation. The power of transition state theory is thereby applicable to chemical reactions and other activated processes even when the bottlenecks are time-dependent and move across space.


title: Maximally Natural Supersymmetry

abstract: We consider 4D weak scale theories arising from 5D supersymmetric (SUSY) theories with maximal Scherk-Schwarz breaking at a Kaluza-Klein (KK) scale of several TeV. Many of the problems of conventional SUSY are avoided. Apart from 3rd family sfermions the SUSY spectrum is heavy, with only ~50% tuning at a gluino mass of ~2TeV and a stop mass of ~650 GeV. A single Higgs doublet acquires a vacuum expectation value, so the physical Higgs is automatically Standard-Model-like. A new U(1)' interaction raises the Higgs mass to 126 GeV. For minimal tuning the associated Z', as well as the 3rd family sfermions, must be accessible to LHC13. A gravitational wave signal consistent with BICEP2 is possible if inflation occurs when the extra dimensions are small.


title: Validating Predictions of Unobserved Quantities

abstract: The ultimate purpose of most computational models is to make predictions, commonly in support of some decision-making process (e.g., for design or operation of some system). The quantities that need to be predicted (the quantities of interest or QoIs) are generally not experimentally observable before the prediction, since otherwise no prediction would be needed. Assessing the validity of such extrapolative predictions, which is critical to informed decision-making, is challenging. In classical approaches to validation, model outputs for observed quantities are compared to observations to determine if they are consistent. By itself, this consistency only ensures that the model can predict the observed quantities under the conditions of the observations. This limitation dramatically reduces the utility of the validation effort for decision making because it implies nothing about predictions of unobserved QoIs or for scenarios outside of the range of observations. However, there is no agreement in the scientific community today regarding best practices for validation of extrapolative predictions made using computational models. The purpose of this paper is to propose and explore a validation and predictive assessment process that supports extrapolative predictions for models with known sources of error. The process includes stochastic modeling, calibration, validation, and predictive assessment phases where representations of known sources of uncertainty and error are built, informed, and tested. The proposed methodology is applied to an illustrative extrapolation problem involving a misspecified nonlinear oscillator.


title: Long time stability of KAM tori for nonlinear wave equation

abstract: It is proved that the KAM tori (thus quasi-periodic solutions) are long time stable for infinite dimensional Hamiltonian systems generated by nonlinear wave equation, by constructing a partial normal form of higher order around the KAM torus and showing $p$-tame property persists under KAM iterative procedure and normal form iterative procedure.


title: Stability of KAM tori for nonlinear Schrodinger equation

abstract: It is proved that the KAM tori (thus quasi-periodic solutions) are long time stable for nonlinear Schrodinger equation.


title: Monitoring service quality: methods and solutions to implement a managerial dash-board to improve software development

abstract: The software used for running and handling the inter-bank network framework provides services with extremely strict uptime (above 99.98 percent) and quality requirements, thus tools to trace and manage changes as well as metrics to measure process quality are essential. Having conducted a two year long campaign of data collection and activity monitoring it has been possible to analyze a huge amount of process data from which many aggregated indicators were derived, selected and evaluated for providing a managerial dash-board to monitor software development.


title: Near-Optimal Distributed Approximation of Minimum-Weight Connected Dominating Set

abstract: This paper presents a near-optimal distributed approximation algorithm for the minimum-weight connected dominating set (MCDS) problem. The presented algorithm finds an $O(\log n)$ approximation in $\tilde{O}(D+\sqrt{n})$ rounds, where $D$ is the network diameter and $n$ is the number of nodes. MCDS is a classical NP-hard problem and the achieved approximation factor $O(\log n)$ is known to be optimal up to a constant factor, unless P=NP. Furthermore, the $\tilde{O}(D+\sqrt{n})$ round complexity is known to be optimal modulo logarithmic factors (for any approximation), following [Das Sarma et al.---STOC'11].


title: Integrated Maintenance: analysis and perspective of innovation in railway sector

abstract: The high costs for the management of the modern and complex industrial control systems make it necessary to enhance the current maintenance processes. Therefore, the need arises to clearly define the goals of the maintenance, in order to evolve and continuously enhance the management methods, to efficiently integrate the maintenance activities with the ones related to the production, the service provisioning, and the operation, and to use smart computer-based maintenance systems. This paper proposes a general maintenance approach and its specific application to the railway sector.


title: Erasing the variable: Empirical foreground discovery for global 21 cm spectrum experiments

abstract: Spectral measurements of the 21 cm monopole background have the promise of revealing the bulk energetic properties and ionization state of our universe from z ~ 6-30. Synchrotron foregrounds are orders of magnitude larger than the cosmological signal, and are the principal challenge faced by these experiments. While synchrotron radiation is thought to be spectrally smooth and described by relatively few degrees of freedom, the instrumental response to bright foregrounds may be much more complex. To deal with such complexities, we develop an approach that discovers contaminated spectral modes using spatial fluctuations of the measured data. This approach exploits the fact that foregrounds vary across the sky while the signal does not. The discovered modes are projected out of each line-of-sight of a data cube. An angular weighting then optimizes the cosmological signal amplitude estimate by giving preference to lower-noise regions. Using this method, we show that it is essential for the passband to be stable to at least ~10^{-4}. In contrast, the constraints on the spectral smoothness of the absolute calibration are mainly aesthetic if one is able to take advantage of spatial information. To the extent it is understood, controlling polarization to intensity leakage at the ~10^{-2} level will also be essential to rejecting Faraday rotation of the polarized synchrotron emission.


title: Enhanced superconductivity in F-doped LaO1-xFxBiSSe

abstract: The layered compound LaOBiSSe was successfully synthesized by a two-step solid-state reaction method, which is isostructural with the quaternary compound LaOBiS2 indicated by the powder X-ray diffraction characterization, and the crystal lattice parameters are slightly expanded by the substitution of Se atoms. Electrical transport measurement shows that LaOBiSSe exhibits semiconducting behavior similar with the parent compound LaOBiS2, while by F-doping the samples can be much more easily turned to be metallic and superconducting at low temperature with a small amount of F. Under the optimal carrier doping concentration of F ~ 0.5, the superconducting critical temperature of LaO0.5F0.5BiSSe is clearly enhanced up to a value of 3.8 K than the 3.2 K of LaO0.5F0.5BiS2.


title: Critical Infrastructure Protection: having SIEM technology cope with network heterogeneity

abstract: Coordinated and targeted cyber-attacks to Critical Infrastructures (CIs) are becoming more and more frequent and sophisticated. This is due to: i) the recent technology shift towards Commercial Off-The-Shelf (COTS) products, and ii) new economical and socio-political motivations. In this paper, we discuss some of the most relevant security issues resulting from the adoption in CIs of heterogeneous network infrastructures (specifically combining wireless and IP trunks), and suggest techniques to detect, as well as to counter/mitigate attacks. We claim that techniques such as those we propose here should be integrated in future SIEM (Security Information and Event Management) solutions, and we discuss how we have done so in the EC-funded MASSIF project, with respect to a real-world CI scenario, specifically a distributed system for power grid monitoring.


title: End-users needs and requirements for tools to support critical infrastructures protection

abstract: The role of the services described in this paper is to support decisions in the Critical Infrastructure Protection (CIP) domain. Those services are perceived as the most fundamental functionalities, that will serve as a basis for the planned European simulation centre for modelling the behaviour of Critical Infrastructures (CI). The proposed services are: CI-related data accessing and gathering, threat forecasting and visualisation, consequence analysis, crowd management, as well as resources and capability management. In general, services proposed in the current paper will contribute to reducing the problem of overwhelming decision makers by too large amount of information. In the crisis, their decisions are made on the basis of the large amount of data related to the current situation, such as the status of CI, localisation of capabilities, weather and threat forecasts etc. The design of the services has been established with the help of the future end-users. The work presented in this paper is the result of preliminary activities performed in the FP7 project CIPRNet.


title: Investigating SCADA Failures in Interdependent Critical Infrastructure Systems

abstract: This paper is based on the initial ideas of a PhD proposal which will investigate SCADA failures in physical infrastructure systems. The results will be used to develop a new notation to help risk assessment using dependable computing concepts. SCADA systems are widely used within critical infrastructures to perform system controls and deliver services to linked and dependent systems. Failures in SCADA systems will be investigated to help us understand and prevent cascading failures in future.


title: Image Compressive Sensing Recovery Using Adaptively Learned Sparsifying Basis via L0 Minimization

abstract: From many fewer acquired measurements than suggested by the Nyquist sampling theory, compressive sensing (CS) theory demonstrates that, a signal can be reconstructed with high probability when it exhibits sparsity in some domain. Most of the conventional CS recovery approaches, however, exploited a set of fixed bases (e.g. DCT, wavelet and gradient domain) for the entirety of a signal, which are irrespective of the non-stationarity of natural signals and cannot achieve high enough degree of sparsity, thus resulting in poor CS recovery performance. In this paper, we propose a new framework for image compressive sensing recovery using adaptively learned sparsifying basis via L0 minimization. The intrinsic sparsity of natural images is enforced substantially by sparsely representing overlapped image patches using the adaptively learned sparsifying basis in the form of L0 norm, greatly reducing blocking artifacts and confining the CS solution space. To make our proposed scheme tractable and robust, a split Bregman iteration based technique is developed to solve the non-convex L0 minimization problem efficiently. Experimental results on a wide range of natural images for CS recovery have shown that our proposed algorithm achieves significant performance improvements over many current state-of-the-art schemes and exhibits good convergence property.


title: Phase synchronization between collective rhythms of fully locked oscillator groups

abstract: We study the phase synchronization between collective rhythms of fully locked oscillator groups. For weakly interacting groups of two oscillators with global sinusoidal coupling, we analytically derive the collective phase coupling function, which determines the dynamics of the collective phase difference between the groups. We demonstrate that the groups can exhibit anti-phase collective synchronization in spite of microscopic in-phase external coupling and vice versa.


title: Bitangents of tropical plane quartic curves

abstract: We study smooth tropical plane quartic curves and show that they satisfy certain properties analogous to (but also different from) smooth plane quartics in algebraic geometry. For example, we show that every such curve admits either infinitely many or exactly 7 bitangent lines. We also prove that a smooth tropical plane quartic curve cannot be hyperelliptic.


title: On the metric s-t path Traveling Salesman Problem

abstract: We study the metric $s$-$t$ path Traveling Salesman Problem (TSP). [An, Kleinberg, and Shmoys, STOC 2012] improved on the long standing $\frac{5}{3}$-approximation factor and presented an algorithm that achieves an approximation factor of $\frac{1+\sqrt{5}}{2}\approx1.61803$. Later [Seb\H{o}, IPCO 2013] further improved the approximation factor to $\frac{8}{5}$. We present a simple, self-contained analysis that unifies both results; our main contribution is a \emph{unified correction vector}. We compare two different linear programming (LP) relaxations of the $s$-$t$ path TSP, namely, the path version of the Held-Karp LP relaxation for TSP and a weaker LP relaxation, and we show that both LPs have the same (fractional) optimal value. Also, we show that the minimum-cost of integral solutions of the two LPs are within a factor of $\frac{3}{2}$ of each other. We prove that a half-integral solution of the stronger LP-relaxation of cost $c$ can be rounded to an integral solution of cost at most $\frac{3}{2}c$. Additionally, we give a bad instance that presents obstructions to two obvious methods that aim for an approximation factor of $\frac{3}{2}$.


title: Electron transport in nanoscale junctions with local anharmonic modes

abstract: We study electron transport in nanojunctions in which an electron on a quantum dot or a molecule is interacting with an N-state local impurity, a harmonic ("Holstein") mode, or a two-state system ("spin"). These two models, the Anderson-Holstein model and the spin-fermion model, can be conveniently transformed by a shift transformation into a form suitable for a perturbative expansion in the tunneling matrix element. We explore the current-voltage characteristics of the two models in the limit of high temperature and weak electron-metal coupling using a kinetic rate equation formalism, considering both the case of an equilibrated impurity, and the unequilibrated case. Specifically, we show that the analog of the Franck-Condon blockade physics is missing in the spin-fermion model. We complement this study by considering the low-temperature quantum adiabatic limit of the dissipative spin-fermion model, with fast tunneling electrons and a slow impurity. While a mean-field analysis of the Anderson-Holstein model suggests that nonlinear functionalities, bistability and hysteresis may develop, such effects are missing in the spin-fermion model at the mean-field level.


title: Continuous Matrix Approximation on Distributed Data

abstract: Tracking and approximating data matrices in streaming fashion is a fundamental challenge. The problem requires more care and attention when data comes from multiple distributed sites, each receiving a stream of data. This paper considers the problem of "tracking approximations to a matrix" in the distributed streaming model. In this model, there are m distributed sites each observing a distinct stream of data (where each element is a row of a distributed matrix) and has a communication channel with a coordinator, and the goal is to track an eps-approximation to the norm of the matrix along any direction. To that end, we present novel algorithms to address the matrix approximation problem. Our algorithms maintain a smaller matrix B, as an approximation to a distributed streaming matrix A, such that for any unit vector x: | ||A x||^2 - ||B x||^2 | <= eps ||A||_F^2. Our algorithms work in streaming fashion and incur small communication, which is critical for distributed computation. Our best method is deterministic and uses only O((m/eps) log(beta N)) communication, where N is the size of stream (at the time of the query) and beta is an upper-bound on the squared norm of any row of the matrix. In addition to proving all algorithmic properties theoretically, extensive experiments with real large datasets demonstrate the efficiency of these protocols.


title: Transport evidence for the coexistence of the topological surface state and a two-dimensional electron gas in BiSbTe3 topological insulator

abstract: Topological insulators (TIs) are new insulating materials with exotic surface states, where the motion of charge carriers is described by the Dirac equations and their spins are locked in a perpendicular direction to their momentum. Recent studies by angle-resolved photoemission spectroscopy have demonstrated that a conventional two-dimensional electron gas can coexist with the topological surface state due to the quantum confinement effect. The coexistence is expected to give rise to exotic transport properties, which, however, have not been explored so far. Here, we report a magneto-transport study on single crystals of the topological insulator BiSbTe3. Besides Shubnikov-de Haas oscillations and weak anti-localization (WAL) from the topological surface state, we also observed a crossover from the weak anti-localization to weak localization (WL) with increasing magnetic field, which is temperature dependent and exhibits two-dimensional features. The crossover is proposed to be the transport manifestation of the coexistence of the topological surface state and two-dimensional electron gas on the surface of TIs.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.other cond-mat.str-el


title: Real-time imaging of spin-to-orbital angular momentum quantum state teleportation

abstract: Quantum teleportation is a process in which an unknown quantum state is transferred between two spatially separated subspaces of a bipartite quantum system which share an entangled state and communicate classically. In the case of photonic states, this process is probabilistic due to the impossibility of performing a two-particle complete Bell state analysis with linear optics. In order to achieve a deterministic teleportation scheme, harnessing other degrees of freedom of a single particle, rather than a third particle, has been proposed. Indeed, this leads to a novel type of deterministic teleportation scheme, the so-called hybrid teleportation. Here we report the first realization of photonic hybrid quantum teleportation from spin-to-orbital angular momentum degrees of freedom. In our scheme, the polarization state of photon A is transferred to orbital angular momentum of photon B. The teleported states are visualized in real-time by means of an intensified CCD camera. The quality of teleported states is verified by performing quantum state tomography, which confirms an average fidelity higher than 99.4%. We believe this experiment paves the route towards a novel way of quantum communication in which encryption and decryption are carried out in naturally different Hilbert spaces, and therefore may provide means of enhancing security.


title: Study on the Electronic Structure and Stability of Some Endohedral Fullerenes - RE3N@C80 (RE = Sc, Y, La) by PM7

abstract: In this paper, we investigated the electronic structure of some endohedral fullerenes containing rare earth nitride and the stability of their benzyne-adducts by PM7, the semiempirical Hatree-Fock method.


title: The high efficiency jets magnetically accelerated from a thin disk in powerful lobe-dominated FRII radio galaxies

abstract: A maximum jet efficiency line $R\sim 25$ ($R=L_{\rm jet}/L_{\rm bol}$), found in FRII radio galaxies by Fernandes et al., was extended to cover the full range of jet power by Punsly. Recent general relativistic magnetohydrodynamic (GRMHD) simulations on jet formation mainly focused on the enhancement of jet power. In this work, we suggest that the jet efficiency could be very high even for conventional jet power if the radiative efficiency of disk were much smaller. We adopt the model of a thin disk with magnetically driven winds to investigate the observational high efficiency jets in FRII radio galaxies. It is found that the structure of a thin disk can be significantly altered by the feedback of winds. The temperature of disk gradually decreases with increasing magnetic field; the disk density, surface density and pressure also change enormously. The lower temperature and higher surface density in inner disk result in the rapid decrease of radiative efficiency. Thus, the jet efficiency is greatly improved even the jet power is conventional. Our results can explain the observations quite well. A theoretical maximum jet efficiency $R \sim 1000$ suggested by our calculations is large enough to explain all the high jet efficiency in observations even considering the episodic activity of jets.


title: Plasmonic amplification and suppression in nanowaveguide coupled to gain-assisted high-quality plasmon resonances

abstract: We theoretically study transmission in nanowaveguide coupled to high-quality plasmon resonances for which the metal loss is overcompensated by gain. The on-resonance transmission can vary widely from lower than --20dB to higher than 20dB for a range of gain coefficient. A reversible transition between the high-quality amplification and the suppression can be induced by a quite small change of gain coefficient for a moderately increased distance between the waveguide and the resonator. It is expected that in practice a small change of gain coefficient can be made by flexibly controlling pumping rate or utilizing nonlinear gain. Additionally, based on the frequency-dependant model for gain-transition susceptibility, it is shown that the wide variation of the on-resonance transmission can also be observed for defferent detuning of the gain-transition line-center. Such a widely controllable on-resonance transmission is promising for applications such as well-controlled lumped amplification of surface plasmon-polariton as well as plasmonic switching.


title: Optimal Control Problems of Forward-Backward Stochastic Volterra Integral Equations

abstract: Optimal control problems of forward-backward stochastic Volterra integral equations (FBSVIEs in short) are formulated and studied. A general duality principle is established for linear backward stochastic integral equation and linear stochastic Fredholm-Volterra integral equation with mean-field. With the help of such a duality principle, together with some other new delicate and subtle skills, Pontryagin type maximum principles are proved for two optimal control problems of FBSVIEs.


title: The endomorphism of Grassmann graphs

abstract: A graph is called a pseudo-core if every endomorphism is either an automorphism or a colouring. In this paper, we show that every Grassmann graph $J_q(n,m)$ is a pseudo-core. Moreover, the Grassmann graph $J_q(n,m)$ is a core whenever $m$ and $n-m+1$ are not relatively prime, and $J_q(2pk-2, pk-1)$ is a core whenever $p,k\geq 2$.


title: Reproducing cosmic evolution of galaxy population from $z = 4$ to $0$

abstract: We present cosmological hydrodynamic simulations performed to study evolution of galaxy population. The simulations follow timed release of mass, energy, and metals by stellar evolution and employ phenomenological treatments of supernova feedback, pre-supernova feedback modeled as feedback by radiation pressure from massive stars, and quenching of gas cooling in large halos. We construct the fiducial model so that it reproduces the observationally estimated galaxy stellar mass functions and the relationships between the galaxy stellar mass and the host halo mass from $z = 4$ to 0. We find that the fiducial model constructed this way naturally explains the cosmic star formation history, the galaxy downsizing, and the star formation rate and metallicity of the star-forming galaxies. The simulations without the quenching of the gas cooling in large halos overproduce massive galaxies at $z < 2$ and fail to reproduce galaxy downsizing. The simulations that do not employ the radiation pressure feedback from young stars predict too strong redshift evolution of the mass-metallicity relation. Furthermore, the slope of the relation becomes too steep at low redshift without the radiation pressure feedback. The metallicity dependence in the radiation pressure feedback is a key to explain the observed mass-metallicity relation. These facts indicate that these two processes in addition to supernova feedback are essential for galaxy evolution. Our simple phenomenological model is suitable to construct a mock galaxy sample to study physical properties of observed galaxy populations.


title: Binomial Difference Ideal and Toric Difference Variety

abstract: In this paper, the concepts of binomial difference ideals and toric difference varieties are defined and their properties are proved. Two canonical representations for Laurent binomial difference ideals are given using the reduced Groebner basis of Z[x]-lattices and regular and coherent difference ascending chains, respectively. Criteria for a Laurent binomial difference ideal to be reflexive, prime, well-mixed, perfect, and toric are given in terms of their support lattices which are Z[x]-lattices. The reflexive, well-mixed, and perfect closures of a Laurent binomial difference ideal are shown to be binomial. Four equivalent definitions for toric difference varieties are presented. Finally, algorithms are given to check whether a given Laurent binomial difference ideal I is reflexive, prime, well-mixed, perfect, or toric, and in the negative case, to compute the reflexive, well-mixed, and perfect closures of I. An algorithm is given to decompose a finitely generated perfect binomial difference ideal as the intersection of reflexive prime binomial difference ideals.


title: Global bounds for the cubic nonlinear Schr\"odinger equation (NLS) in one space dimension

abstract: This article is concerned with the small data problem for the cubic nonlinear Schr\"odinger equation (NLS) in one space dimension, and short range modifications of it. We provide a new, simpler approach in order to prove that global solutions exist for data which is small in $H^{0,1}$. In the same setting we also discuss the related problems of obtaining a modified scattering expansion for the solution, as well as asymptotic completeness.


title: Nonlinear Young integrals and differential systems in H\"older media

abstract: For H\"older continuous functions $W(t,x)$ and $\phi_t$, we define nonlinear integral $\int_a^b W(dt, \phi_t)$ in various senses, including It\^o-Skorohod and pathwise. We study their properties and relations. The stochastic flow in a time dependent rough vector field associated with $\dot \phi_t=(\partial _tW)(t, \phi_t)$ is also studied and its applications to the transport equation $\partial _t u(t,x)-\partial _t W(t,x)\nabla u(t,x)=0$ in rough media is given. The Feynman-Kac solution to the stochastic partial differential equation with random coefficients $\partial _t u(t,x)+Lu(t,x) +u(t,x)W(t,x)=0$ are given, where $L$ is a second order elliptic differential operator with random coefficients (dependent on $W$). To establish such formula the main difficulty is the exponential integrability of some nonlinear integrals, which is proved to be true under some mild conditions on the covariance of $W$. Along the way, we also obtain an upper bound for increments of stochastic processes on multidimensional rectangles by majorizing measures.


title: Two dimensional water waves in holomorphic coordinates II: global solutions

abstract: This article is concerned with the infinite depth water wave equation in two space dimensions. We consider this problem expressed in position-velocity potential holomorphic coordinates,and prove that small localized data leads to global solutions. This article is a continuation of authors' earlier paper arXiv:1401.1252.


title: High-Speed Tracking with Kernelized Correlation Filters

abstract: The core component of most modern trackers is a discriminative classifier, tasked with distinguishing between the target and the surrounding environment. To cope with natural image changes, this classifier is typically trained with translated and scaled sample patches. Such sets of samples are riddled with redundancies -- any overlapping pixels are constrained to be the same. Based on this simple observation, we propose an analytic model for datasets of thousands of translated patches. By showing that the resulting data matrix is circulant, we can diagonalize it with the Discrete Fourier Transform, reducing both storage and computation by several orders of magnitude. Interestingly, for linear regression our formulation is equivalent to a correlation filter, used by some of the fastest competitive trackers. For kernel regression, however, we derive a new Kernelized Correlation Filter (KCF), that unlike other kernel algorithms has the exact same complexity as its linear counterpart. Building on it, we also propose a fast multi-channel extension of linear correlation filters, via a linear kernel, which we call Dual Correlation Filter (DCF). Both KCF and DCF outperform top-ranking trackers such as Struck or TLD on a 50 videos benchmark, despite running at hundreds of frames-per-second, and being implemented in a few lines of code (Algorithm 1). To encourage further developments, our tracking framework was made open-source.


title: Montesinos knots, Hopf plumbings, and L-space surgeries

abstract: Using Hirasawa-Murasugi's classification of fibered Montesinos knots we classify the L-space Montesinos knots, providing further evidence towards a conjecture of Lidman-Moore that L-space knots have no essential Conway spheres. In the process, we classify the fibered Montesinos knots whose open books support the tight contact structure on $S^3$. We also construct L-space knots with arbitrarily large tunnel number and discuss the question of whether L-space knots admit essential tangle decompositions in the context of satellite operations and tunnel number.


title: Detection in Analog Sensor Networks with a Large Scale Antenna Fusion Center

abstract: We consider the distributed detection of a zero-mean Gaussian signal in an analog wireless sensor network with a fusion center (FC) configured with a large number of antennas. The transmission gains of the sensor nodes are optimized by minimizing the ratio of the log probability of detection (PD) and log probability of false alarm (PFA). We show that the problem is convex with respect to the squared norm of the transmission gains, and that a closed-form solution can be found using the Karush-Kuhn-Tucker conditions. Our results indicate that a constant PD can be maintained with decreasing sensor transmit gain provided that the number of antennas increases at the same rate. This is contrasted with the case of a single-antenna FC, where PD is monotonically decreasing with transmit gain. On the other hand, we show that when the transmit power is high, the single- and multi-antenna FC both asymptotically achieve the same PD upper bound.


title: Non-stable K_1-functors of multiloop groups

abstract: Let k be a field of characteristic 0. Let G be a reductive group over the ring of Laurent polynomials R=k[x_1^{\pm 1},...,x_n^{\pm 1}] containing a maximal R-torus T (equivalently, loop reductive). Assume also that every semisimple normal subgroup of G contains a two-dimensional split torus G_m^2. We show that the natural map of non-stable K_1-functors K_1^G(R)-> K_1^G(k((x_1))...((x_n))) is injective. This complements the surjectivity result for the same map obtained by V. Chernousov, P. Gille and A. Pianzola in arXiv:1109.5236. As a corollary, we provide a way to evaluate the difference between the full automorphism group of a Lie torus (in the sense of Yoshii-Neher) and the subgroup generated by exponential automorphisms.


title: Persistence Modules on Commutative Ladders of Finite Type

abstract: We study persistence modules defined on commutative ladders. This class of persistence modules frequently appears in topological data analysis, and the theory and algorithm proposed in this paper can be applied to these practical problems. A new algebraic framework deals with persistence modules as representations on associative algebras and the Auslander-Reiten theory is applied to develop the theoretical and algorithmic foundations. In particular, we prove that the commutative ladders of length less than 5 are representation-finite and explicitly show their Auslander-Reiten quivers. Furthermore, a generalization of persistence diagrams is introduced by using Auslander-Reiten quivers. We provide an algorithm for computing persistence diagrams for the commutative ladders of length 3 by using the structure of Auslander-Reiten quivers.


title: Transitive 2-representations of finitary 2-categories

abstract: In this article, we define and study the class of simple transitive $2$-representations of finitary $2$-categories. We prove a weak version of the classical Jordan-H\"older Theorem where the weak composition subquotients are given by simple transitive $2$-representations. For a large class of finitary $2$-categories we prove that simple transitive $2$-representations are exhausted by cell $2$-representations. Finally, we show that this large class contains finitary quotients of $2$-Kac-Moody algebras.


title: Window measurements of simulations in random systems

abstract: Numerical studies in random systems are plagued with strong finite-size effects and boundary effects. We introduce a window-measurement method as a practical solution to these difficulties. We observe physical quantities only within a subsystem located in the midst of a whole system and scale them with the correlation length estimated in the subsystem. Both equilibrium data and nonequilibrium data with different system sizes and different window sizes fall onto a single scaling function. It suggests that the correction-to-scaling terms become very small. We confirm the validity in the $\pm J$ Heisenberg spin glass model in three dimensions. The spin-glass and chiral-glass transition temperatures are estimated to be very close to each other.


title: Goal-Driven Cognition in the Brain: A Computational Framework

abstract: Current theoretical and computational models of dopamine-based reinforcement learning are largely rooted in the classical behaviorist tradition, and envision the organism as a purely reactive recipient of rewards and punishments, with resulting behavior that essentially reflects the sum of this reinforcement history. This framework is missing some fundamental features of the affective nervous system, most importantly, the central role of goals in driving and organizing behavior in a teleological manner. Even when goal-directed behaviors are considered in current frameworks, they are typically conceived of as arising in reaction to the environment, rather than being in place from the start. We hypothesize that goal-driven cognition is primary, and organized into two discrete phases: goal selection and goal engaged, which each have a substantially different effective value function. This dichotomy can potentially explain a wide range of phenomena, playing a central role in many clinical disorders, such as depression, OCD, ADHD, and PTSD, and providing a sensible account of the detailed biology and function of the dopamine system and larger limbic system, including critical ventral and medial prefrontal cortex. Computationally, reasoning backward from active goals to action selection is more tractable than projecting alternative action choices forward to compute possible outcomes. An explicit computational model of these brain areas and their function in this goal-driven framework is described, as are numerous testable predictions from this framework.


title: Dynamic Mode Decomposition for Real-Time Background/Foreground Separation in Video

abstract: This paper introduces the method of dynamic mode decomposition (DMD) for robustly separating video frames into background (low-rank) and foreground (sparse) components in real-time. The method is a novel application of a technique used for characterizing nonlinear dynamical systems in an equation-free manner by decomposing the state of the system into low-rank terms whose Fourier components in time are known. DMD terms with Fourier frequencies near the origin (zero-modes) are interpreted as background (low-rank) portions of the given video frames, and the terms with Fourier frequencies bounded away from the origin are their sparse counterparts. An approximate low-rank/sparse separation is achieved at the computational cost of just one singular value decomposition and one linear equation solve, thus producing results orders of magnitude faster than a leading separation method, namely robust principal component analysis (RPCA). The DMD method that is developed here is demonstrated to work robustly in real-time with personal laptop-class computing power and without any parameter tuning, which is a transformative improvement in performance that is ideal for video surveillance and recognition applications.


title: Max-plus fundamental solution semigroups for a class of difference Riccati equations

abstract: Recently, a max-plus dual space fundamental solution semigroup for a class of difference Riccati equation (DRE) has been developed. This fundamental solution semigroup is represented in terms of the kernel of a specific max-plus linear operator that plays the role of the dynamic programming evolution operator in a max-plus dual space. In order to fully understand connections between this dual space fundamental solution semigroup and evolution of the value function of the underlying optimal control problem, a new max-plus primal space fundamental solution semigroup for the same class of difference Riccati equations is presented. Connections and commutation results between this new primal space fundamental solution semigroup and the recently developed dual space fundamental solution semigroup are established.


title: Selecting a Small Set of Optimal Gestures from an Extensive Lexicon

abstract: Finding the best set of gestures to use for a given computer recognition problem is an essential part of optimizing the recognition performance while being mindful to those who may articulate the gestures. An objective function, called the ellipsoidal distance ratio metric (EDRM), for determining the best gestures from a larger lexicon library is presented, along with a numerical method for incorporating subjective preferences. In particular, we demonstrate an efficient algorithm that chooses the best $n$ gestures from a lexicon of $m$ gestures where typically $n \ll m$ using a weighting of both subjective and objective measures.


title: A Quantile Regression Model for Failure-Time Data with Time-Dependent Covariates

abstract: Since survival data occur over time, often important covariates that we wish to consider also change over time. Such covariates are referred as time-dependent covariates. Quantile regression offers flexible modeling of survival data by allowing the covariates to vary with quantiles. This paper provides a novel quantile regression model accommodating time-dependent covariates, for analyzing survival data subject to right censoring. Our simple estimation technique assumes the existence of instrumental variables. In addition, we present a doubly-robust estimator in the sense of Robins and Rotnitzky (1992). The asymptotic properties of the estimators are rigorously studied. Finite-sample properties are demonstrated by a simulation study. The utility of the proposed methodology is demonstrated using the Stanford heart transplant dataset.


title: Approximation and convex decomposition by extremals and the $\lambda$-function in JBW*-triples

abstract: We establish new estimates to compute the $\lambda$-function of Aron and Lohman on the unit ball of a JB$^*$-triple. It is established that for every Brown-Pedersen quasi-invertible element $a$ in a JB$^*$-triple $E$ we have $$\hbox{dist} (a, \mathfrak{E} (E_1)) = \max \left\{ 1- m_q (a) , \|a\|-1\right\},$$ where $\mathfrak{E} (E_1)$ denotes the set of extreme points of the closed unit ball $E_1$ of $E$. It is proved that $\lambda (a) = \frac{1+m_q (a)}{2},$ for every Brown-Pedersen quasi-invertible element $a$ in $E_1$, where $m_q (a)$ is the square root of the quadratic conorm of $a$. For an element $a$ in $E_1$ which is not Brown-Pedersen quasi-invertible we can only estimate that $\lambda (a)\leq \frac12 (1-\alpha_q (a)).$ A complete description of the $\lambda$-function on the closed unit ball of every JBW$^*$-triple is also provided, and as a consequence, we prove that every JBW$^*$-triple satisfies the uniform $\lambda$-property.


title: A Kowalski-S{\l}odkowski theorem for 2-local $^*$-homomorphisms on von Neumann algebras

abstract: It is established that every (not necessarily linear) 2-local $^*$-homomorphism from a von Neumann algebra into a C$^*$-algebra is linear and a $^*$-homomorphism. In the setting of (not necessarily linear) 2-local $^*$-homomorphism from a compact C$^*$-algebra we prove that the same conclusion remains valid. We also prove that every 2-local Jordan $^*$-homomorphism from a JBW$^*$-algebra into a JB$^*$-algebra is linear and a Jordan $^*$-homomorphism.


title: On infinitely divisible semimartingales

abstract: Stricker's theorem states that a Gaussian process is a semimartingale in its natural filtration if and only if it is the sum of an independent increment Gaussian process and a Gaussian process of finite variation, see [1983, Z. Wahrsch. Verw. Gebiete 64(3)]. We consider extensions of this result to non Gaussian infinitely divisible processes. First we show that the class of infinitely divisible semimartingales is so large that the natural analog of Stricker's theorem fails to hold. Then, as the main result, we prove that an infinitely divisible semimartingale relative to the filtration generated by a random measure admits a unique decomposition into an independent increment process and an infinitely divisible process of finite variation. Consequently, the natural analog of Stricker's theorem holds for all strictly representable processes (as defined in this paper). Since Gaussian processes are strictly representable due to Hida's multiplicity theorem, the classical Stricker's theorem follows from our result. Another consequence is that the question when an infinitely divisible process is a semimartingale can often be reduced to a path property, when a certain associated infinitely divisible process is of finite variation. This gives the key to characterize the semimartingale property for many processes of interest. Along these lines, we characterize semimartingales within a large class of stationary increment infinitely divisible processes; this class includes many infinitely divisible processes, including linear fractional processes, mixed moving averages, and supOU processes, as particular cases. The proof of the main theorem relies on series representations of jumps of cadlag infinitely divisible processes given in Basse-O'Connor and Rosinski [2013, Ann. Probab. 41(6)] combined with techniques of stochastic analysis.


title: Applications of cotorsion triples

abstract: We study homotopy categories of model categories arising from a cotorsion triple, and the equivalences between corresponding stable categories. We characterize homological dimensions with respect to a cotorsion triple. Then, we lift cotorsion triple to complexes, and get the equivalence of homotopy categories of complexes via Quillen equivalence of model categories. Finally, we specify to Gorenstein cotorsion triple $(\mathcal{GP}, \mathcal{W}, \mathcal{GI})$. By Quillen equivalence, it is shown that for a left-Gorenstein ring, there is an equivalence $\mathrm{K}(\mathcal{GP})\simeq \mathrm{K}(\mathcal{GI})$, which restricts to an equivalence $\mathrm{K}(\mathcal{P})\simeq \mathrm{K}(\mathcal{I})$ (compare to [J. Algebra, 2010, 324:2718-2731]); a new proof for Bennis and Mahdou's equality of Gorenstein global dimension is also given.


title: Stable, highly nonlinear amorphous silicon nanowires with very low nonlinear absorption

abstract: The nonlinear characteristics of hydrogenated amorphous silicon nanowires are experimentally demonstrated. A high nonlinear refractive index, n2=1.19 x 10-17 m2/W, combined with a low two-photon absorption, 0.14 x 10-11 m/W, resulted in a high nonlinear FOM of 5.5. Furthermore, systematic studies over hours of operational time under 2.2W of pulse peak power revealed no degradation of the optical response.


title: Quasi-equilibrium nonadditivity

abstract: The possibility that a short-range interacting system exhibits nonadditivity is investigated. After the discussion on the precise definition of additivity and its consequence, we show that it is possible when the system is in a quasi-equilibrium state by examining the specific model, in which the spin degrees of freedom are coupled to the motional degrees of freedom and which exhibits a type of structural phase transitions.


title: Binomial edge ideals and rational normal scrolls

abstract: Let $X$ be the Hankel matrix of size $2\times n$ and let $G$ be a closed graph on the vertex set $[n].$ We study the binomial ideal $I_G\subset K[x_1,\ldots,x_{n+1}]$ which is generated by all the $2$-minors of $X$ which correspond to the edges of $G.$ We show that $I_G$ is Cohen-Macaulay. We find the minimal primes of $I_G$ and show that $I_G$ is a set theoretical complete intersection. Moreover, a sharp upper bound for the regularity of $I_G$ is given.


title: Exact Collapse Solutions in D=4, N=4 Gauged Supergravity and Their Generalizations

abstract: We construct an exact time-dependent solution in $D=4$, ${\cal N}=4$ gauged supergravity, where the gauge fields of the $U(1)\times U(1)$ subgroup of the $SO(4)$ carry independent conserved charges. The solution describes a decaying white hole that settles down to the final state as a static charged black hole. We analyze the global structure and lift the solution back to $D=11$ supergravity. We further extend the theory by adding an extra term in the scalar potential and obtain a more general class of collapse solutions. The result constitutes a charged generalization of the Roberts solution and the dynamical scalar-hairy black hole solutions that have been very recently found by us. The generalized Roberts solutions demonstrate that a scalar coupled to gravity can be unstable even when it is confined by a scalar potential with a fixed point.


title: Exact random coding error exponents of optimal bin index decoding

abstract: We consider ensembles of channel codes that are partitioned into bins, and focus on analysis of exact random coding error exponents associated with optimum decoding of the index of the bin to which the transmitted codeword belongs. Two main conclusions arise from this analysis: (i) for independent random selection of codewords within a given type class, the random coding exponent of optimal bin index decoding is given by the ordinary random coding exponent function, computed at the rate of the entire code, independently of the exponential rate of the size of the bin. (ii) for this ensemble of codes, sub-optimal bin index decoding, that is based on ordinary maximum likelihood (ML) decoding, is as good as the optimal bin index decoding in terms of the random coding error exponent achieved. Finally, for the sake of completeness, we also outline how our analysis of exact random coding exponents extends to the hierarchical ensemble that correspond to superposition coding and optimal decoding, where for each bin, first, a cloud center is drawn at random, and then the codewords of this bin are drawn conditionally independently given the cloud center. For this ensemble, conclusions (i) and (ii), mentioned above, no longer hold necessarily in general.


title: Electronic coolers based on superconducting tunnel junctions: fundamentals and applications

abstract: Thermo-electric transport at the nano-scale is a rapidly developing topic, in particular in superconductor-based hybrid devices. In this review paper, we first discuss the fundamental principles of electronic cooling in mesoscopic superconducting hybrid structures, the related limitations and applications. We review recent work performed in Grenoble on the effects of Andreev reflection, photonic heat transport, phonon cooling, as well as on an innovative fabrication technique for powerful coolers.


title: Wandering continua for rational maps

abstract: We prove that a Latt' es map admits an eventually simply-connected wandering continuum precisely when it is flexible. The simply-connected wandering continuum is a line segment in a bi-infinite geodesic under the flat metric.


title: Existence of sign changing solutions for an equation with a weighted p-Laplace operator

abstract: We consider radial solutions of a general elliptic equation involving a weighted $p$-Laplace operator with a subcritical nonlinearity. By a shooting method we prove the existence of solutions with any prescribed number of nodes. The method is based on a change of variables in the phase plane, a very general computation of an angular velocity and new estimates for the decay of an energy associated with an asymptotic Hamiltonian problem. Estimating the rate of decay for the energy requires a sub-criticality condition. The method covers the case of solutions which are not compactly supported or which have compact support. In the last case, we show that the size of the support increases with the number of nodes.


title: Towards a Swiss National Research Infrastructure

abstract: In this position paper we describe the current status and plans for a Swiss National Research Infrastructure. Swiss academic and research institutions are very autonomous. While being loosely coupled, they do not rely on any centralized management entities. Therefore, a coordinated national research infrastructure can only be established by federating the various resources available locally at the individual institutions. The Swiss Multi-Science Computing Grid and the Swiss Academic Compute Cloud projects serve already a large number of diverse user communities. These projects also allow us to test the operational setup of such a heterogeneous federated infrastructure.


title: Nonlinear phononics using atomically thin membranes

abstract: Phononic crystals and acoustic meta-materials are used to tailor phonon and sound propagation properties by facilitating artificial, periodic structures. Analogous to photonic crystals, phononic band gaps can be created, which influence wave propagation and, more generally, allow engineering of the acoustic properties of a system. Beyond that, nonlinear phenomena in periodic structures have been extensively studied in photonic crystals and atomic Bose-Einstein Condensates in optical lattices. However, creating nonlinear phononic crystals or nonlinear acoustic meta-materials remains challenging and only few examples have been demonstrated. Here we show that atomically thin and periodically pinned membranes support coupled localized modes with nonlinear dynamics. The proposed system provides a platform for investigating nonlinear phononics.


title: An Efficient Algorithm for Enumerating Chordless Cycles and Chordless Paths

abstract: A chordless cycle (induced cycle) $C$ of a graph is a cycle without any chord, meaning that there is no edge outside the cycle connecting two vertices of the cycle. A chordless path is defined similarly. In this paper, we consider the problems of enumerating chordless cycles/paths of a given graph $G=(V,E),$ and propose algorithms taking $O(|E|)$ time for each chordless cycle/path. In the existing studies, the problems had not been deeply studied in the theoretical computer science area, and no output polynomial time algorithm has been proposed. Our experiments showed that the computation time of our algorithms is constant per chordless cycle/path for non-dense random graphs and real-world graphs. They also show that the number of chordless cycles is much smaller than the number of cycles. We applied the algorithm to prediction of NMR (Nuclear Magnetic Resonance) spectra, and increased the accuracy of the prediction.


title: Scattering of flexural acoustic phonons at grain boundaries in graphene

abstract: We investigate the scattering of long-wavelength flexural phonons against grain boundaries in graphene using molecular dynamics simulations. Three symmetric tilt grain boundaires are considered: one with a misorientation angle of $17.9^\circ$ displaying an out-of-plane buckling 1.5 nm high and 5 nm wide, one with a misorientation angle of $9.4^\circ$ and an out-of-plane buckling 0.6 nm high and 1.7 nm wide, and one with a misorientation angle of $32.2^\circ$ and no out-of-plane buckling. At the flat grain boundary, the phonon transmission exceeds 95 % for wavelengths above 1 nm. The buckled boundaries have a substantially lower transmission in this wavelength range, with a minimum transmission of 20 % for the $17.9^\circ$ boundary and 40 % for the $9.4^\circ$ boundary. At the buckled boundaries, coupling between flexural and longitudinal phonon modes is also observed. The results indicate that scattering of long-wavelength flexural phonons at grain boundaries in graphene is mainly due to out-of-plane buckling. A continuum mechanical model of the scattering process has been developed, providing a deeper understanding of the scattering process as well as a way to calculate the effect of a grain boundary on long-wavelength flexural phonons based on the buckling size.


title: Asymptotic Properties of Solutions of the Fractional Diffusion-Wave Equation

abstract: For the fractional diffusion-wave equation with the Caputo-Dzhrbashyan fractional derivative of order $\alpha \in (1,2)$ with respect to the time variable, we prove an analog of the principle of limiting amplitude (well-known for the wave equation and some other hyperbolic equations) and a pointwise stabilization property of solutions (similar to a well-known property of the heat equation and some other parabolic equations).


title: b and c hadron spectroscopy at LHCb

abstract: Recent results in the field of b and c hadron spectroscopy at the LHCb experiment are presented. The analyses use the data collected with the LHCb detector in proton-proton collisions corresponding to an integrated luminosity up to 3.0 fb-1.


abstract: Comment on "Vortex String Formation in a 3D U(1) Temperature Quench" by N. D. Antunes, L. M. A. Bettencourt, and W. H. Zurek, Phys. Rev. Lett. 82, 2824 (1999).


title: Extreme optical activity and circular dichroism of chiral metal hole arrays

abstract: We report extremely strong optical activity and circular dichroism exhibited by subwavelength arrays of four-start-screw holes fabricated with one-pass focused ion beam milling of freely suspended silver films. Having the fourth order rotational symmetry, the structures exhibit the polarization rotation up to 90 degrees and peaks of full circular dichroism and operate as circular polarizers within certain ranges of wavelengths in the visible. We discuss the observations on the basis of general principles (symmetry, reciprocity and reversibility) and conclude that the extreme optical chirality is determined by the chiral localized plasmonic resonances.


title: Sufficient Condition for Entanglement Area Laws in Thermodynamically Gapped Spin Systems

abstract: We consider general locally-interacting arbitrary-dimensional lattice spin systems that are gapped for any system size. We show under reasonable conditions that nondegenerate ground states of such systems obey the entanglement area law. In so doing, we offer an intuitive picture on how a spectral gap restricts the correlations that a ground state can accommodate and leads to such a special feature.


title: Single 3$d$ transition metal atoms on multi-layer graphene systems: electronic configurations, bonding mechanisms and role of the substrate

abstract: The electronic configurations of Fe, Co, Ni, and Cu adatoms on graphene and graphite have been studied by x-ray magnetic circular dichroism and charge transfer multiplet theory. A delicate interplay between long-range interactions and local chemical bonding is found to influence the adatom equilibrium distance and magnetic moment. The results for Fe and Co are consistent with purely physisorbed species having, however, different 3$d$-shell occupancies on graphene and graphite ($d^{n+1}$ and $d^n$, respectively). On the other hand, for the late 3$d$ metals Ni and Cu a trend towards chemisorption is found, which strongly quenches the magnetic moment on both substrates.


title: Modeling and Execution of Multienterprise Business Processes

abstract: We discuss a fully featured multienterprise business process plattform (ME-BPP) based on the concepts of agent-based business processes. Using the concepts of the subject-oriented business process (S-BPM) methodology we developed an architecture to realize a platform for the execution of distributed business processes. The platform is implemented based on cloud technology using commercial services. For our discussion we used the well known Service Interaction Patterns, as they are empirically developed from typical business-to-business interactions. We can demonstrate that all patterns can be easily modeled and executed based on our architecture. We propose therefore a change from a control flow based to an agent based view to model and enact business processes.


title: Hydex waveguides for nonlinear optics

abstract: We demonstrate a wide range of novel functions in integrated, CMOS compatible, devices. This platform has promise for telecommunications and on-chip WDM optical interconnects for computing.


title: On pre-Hamiltonian Cycles in Hamiltonian Digraphs

abstract: Let $D$ be a strongly connected directed graph of order $n\geq 4$. In \cite{[14]} (J. of Graph Theory, Vol.16, No. 5, 51-59, 1992) Y. Manoussakis proved the following theorem: Suppose that $D$ satisfies the following condition for every triple $x,y,z$ of vertices such that $x$ and $y$ are non-adjacent: If there is no arc from $x$ to $z$, then $d(x)+d(y)+d^+(x)+d^-(z)\geq 3n-2$. If there is no arc from $z$ to $x$, then $d(x)+d(y)+d^-(x)+d^+(z)\geq 3n-2$. Then $D$ is Hamiltonian. In this paper we show that: If $D$ satisfies the condition of Manoussakis' theorem, then $D$ contains a pre-Hamiltonian cycle (i.e., a cycle of length $n-1$) or $n$ is even and $D$ is isomorphic to the complete bipartite digraph with partite sets of cardinalities $n/2$ and $n/2$.


title: Time-domain ptychography

abstract: Through dedicated measurements in the optical regime we demonstrate that ptychography can be applied to reconstruct complex-valued object functions that vary with time from a sequence of spectral measurements. A probe pulse of approximately 1 ps duration, time delayed in increments of 0.25 ps is shown to recover dynamics on a ten times faster time scale with an experimental limit of approximately 5 fs.


title: Orbital Polarization in Strained LaNiO$_{3}$: Structural Distortions and Correlation Effects

abstract: Transition-metal heterostructures offer the fascinating possibility of controlling orbital degrees of freedom via strain. Here, we investigate theoretically the degree of orbital polarization that can be induced by epitaxial strain in LaNiO$_3$ films. Using combined electronic structure and dynamical mean-field theory methods we take into account both structural distortions and electron correlations and discuss their relative influence. We confirm that Hund's rule coupling tends to decrease the polarization and point out that this applies to both the $d^8\underline{L}$ and $d^7$ local configurations of the Ni ions. Our calculations are in good agreement with recent experiments, which revealed sizable orbital polarization under tensile strain. We discuss why full orbital polarization is hard to achieve in this specific system and emphasize the general limitations that must be overcome to achieve this goal.


title: The stable set polytope of ($P_6$,triangle)-free graphs and new facet-inducing graphs

abstract: The stable set polytope of a graph $G$, denoted as STAB($G$), is the convex hull of all the incidence vectors of stable sets of $G$. To describe a linear system which defines STAB($G$) seems to be a difficult task in the general case. In this paper we present a complete description of the stable set polytope of ($P_6$,triangle)-free graphs (and more generally of ($P_6$,paw)-free graphs). For that we combine different tools, in the context of a well known result of Chv\'atal \cite{Chvatal1975} which allows to focus just on prime facet-inducing graphs, with particular reference to a structure result on prime ($P_6$,triangle)-free graphs due to Brandst\"adt et al. \cite{BraKleMah2005}. Also we point out some peculiarities of new facet-inducing graphs detected along this study with the help of a software.


title: Solvability of semilinear equations with zero on the boundary of spectral gap and applications to nonlinear Schr\"{o}dinger equation

abstract: We study the existence of solutions in Hilbert space $H$ of the semilinear equation \[ L u+N(u)=h, \] where $L$ is linear self-adjoint, $N$ is a nonlinear operator and $h\in H$. We concentrate on the case when $0$ is a right boundary point of a gap in the spectrum of $L$ and an element of essential spectrum. The sufficient conditions for solvability are based on monotonicity and sign assumptions on operator $N$, and its behaviour on $\ker L$. We illustrate the main theorem by an application to the study of nonlinear stationary Schr\"{o}dinger equation on $\mathbb{R}^n$.


title: The R Package JMbayes for Fitting Joint Models for Longitudinal and Time-to-Event Data using MCMC

abstract: Joint models for longitudinal and time-to-event data constitute an attractive modeling framework that has received a lot of interest in the recent years. This paper presents the capabilities of the R package JMbayes for fitting these models under a Bayesian approach using Markon chain Monte Carlo algorithms. JMbayes can fit a wide range of joint models, including among others joint models for continuous and categorical longitudinal responses, and provides several options for modeling the association structure between the two outcomes. In addition, this package can be used to derive dynamic predictions for both outcomes, and offers several tools to validate these predictions in terms of discrimination and calibration. All these features are illustrated using a real data example on patients with primary biliary cirrhosis.


title: Equivariant $\Gamma$-spaces

abstract: The aim of this note is to provide a comprehensive treatment of the homotopy theory of $\Gamma$-$G$-spaces for $G$ a finite group. We introduce two level and stable model structures on $\Gamma$-$G$-spaces and exhibit Quillen adjunctions to $G$-symmetric spectra with respect to a flat level and a stable flat model structure respectively. Then we give a proof that $\Gamma$-$G$-spaces model connective equivariant stable homotopy theory along the lines of the proof in the non-equivariant setting given by Bousfield and Friedlander. Furthermore, we study the smash product of $\Gamma$-$G$-spaces and show that the functor from $\Gamma$-$G$-spaces to $G$-symmetric spectra commutes with the derived smash product. Finally, we show that there is a good notion of geometric fixed points for $\Gamma$-$G$-spaces.


title: Maximum mass of stable magnetized highly super-Chandrasekhar white dwarfs: stable solutions with varying magnetic fields

abstract: We address the issue of stability of recently proposed significantly super-Chandrasekhar white dwarfs. We present stable solutions of magnetostatic equilibrium models for super-Chandrasekhar white dwarfs pertaining to various magnetic field profiles. This has been obtained by self-consistently including the effects of the magnetic pressure gradient and total magnetic density in a general relativistic framework. We estimate that the maximum stable mass of magnetized white dwarfs could be more than 3 solar mass. This is very useful to explain peculiar, overluminous type Ia supernovae which do not conform to the traditional Chandrasekhar mass-limit.


title: On the Renormalization Group Flow in Two Dimensional Superconformal Models

abstract: We extend the results on the RG flow in the next to leading order to the case of the supersymmetric minimal models SM_p for p>> 1. We explain how to compute the NS and Ramond fields conformal blocks in the leading order in 1/p and follow the renormalization scheme propsed in [1]. As a result we obtained the anomalous dimensions of certain NS and Ramond fields. It turns out that the linear combination expressing the infrared limit of these fields in term of the IR theory SM_{p-2} is exactly the same as those of the nonsupersymmetric minimal theory.


title: Limits on Lorentz violation from charged-pion decay

abstract: Charged-pion decay offers many opportunities to study Lorentz violation. Using an effective field theory approach, we study Lorentz violation in the lepton, W-boson, and quark sectors and derive the differential pion-decay rate, including muon polarization. Using coordinate redefinitions we are able to relate the first-generation quark sector, in which no bounds were previously reported, to the lepton and W-boson sector. This facilitates a tractable calculation, enabling us to place bounds on the level of $10^{-4}$ on first-generation quark parameters. Our expression for the pion-decay rate can be used to constrain Lorentz violation in future experiments.


title: Proper base change for separated locally proper maps

abstract: We introduce and study the notion of a locally proper map between topological spaces. We show that fundamental constructions of sheaf theory, more precisely proper base change, projection formula, and Verdier duality, can be extended from continuous maps between locally compact Hausdorff spaces to separated locally proper maps between arbitrary topological spaces.


title: Entropy bounds and field equations

abstract: For general metric theories of gravity, we compare the approach that describes-derives the field equations of gravity as a thermodynamic identity with the one which looks at them from entropy bounds. The comparison is made through the consideration of the matter entropy flux across (Rindler) horizons, studied by making use of the notion of a limiting thermodynamic scale $l^*$ of matter, previously introduced in the context of entropy bounds. In doing this: i) a bound for the entropy of any lump of matter with a given energy-momentum tensor $T_{ab}$ is considered, in terms of a quantity which is independent of the theory of gravity we use; this quantity is the variation of the Clausius entropy of a suitable horizon when the element of matter crosses it; ii) by making use of the equations of motion of the theory, the same quantity is then expressed as the variation of Wald's entropy of that horizon (and this leads to a generalized form of the generalized covariant entropy bound, applicable to general diffeomorphism-invariant theories of gravity); iii) a notion of $l^*$ for horizons, and an expression for it, is given.


title: A multivariate model for financial indices and an algorithm for detection of jumps in the volatility

abstract: We consider a mean-reverting stochastic volatility model which satisfies some relevant stylized facts of financial markets. We introduce an algorithm for the detection of peaks in the volatility profile, that we apply to the time series of Dow Jones Industrial Average and Financial Times Stock Exchange 100 in the period 1984-2013. Based on empirical results, we propose a bivariate version of the model, for which we find an explicit expression for the decay over time of cross-asset correlations between absolute returns. We compare our theoretical predictions with empirical estimates on the same financial time series, finding an excellent agreement.


title: Derivation of the Lifshitz-Matsubara sum formula for the Casimir pressure between metallic plane mirrors

abstract: We carefully re-examine the conditions of validity for the consistent derivation of the Lifshitz-Matsubara sum formula for the Casimir pressure between metallic plane mirrors. We recover the usual expression for the lossy Drude model, but not for the lossless plasma model. We give an interpretation of this new result in terms of the modes associated with the Foucault currents which play a role in the limit of vanishing losses, in contrast to common expectations.


title: Testing Temporal Connectivity in Sparse Dynamic Graphs

abstract: We address the problem of testing whether a given dynamic graph is temporally connected, {\it i.e} a temporal path (also called a {\em journey}) exists between all pairs of vertices. We consider a discrete version of the problem, where the topology is given as an evolving graph ${\cal G}=\{G_1,G_2,...,G_{k}\}$ whose set of vertices is invariant and the set of (directed) edges varies over time. Two cases are studied, depending on whether a single edge or an unlimited number of edges can be crossed in a same $G_i$ (strict journeys {\it vs} non-strict journeys). In the case of {\em strict} journeys, a number of existing algorithms designed for more general problems can be adapted. We adapt one of them to the above formulation of the problem and characterize its running time complexity. The parameters of interest are the length of the graph sequence $k=|{\cal G}|$, the maximum {\em instant} density $\mu=max(|E_i|)$, and the {\em cumulated} density $m=|\cup E_i|$. Our algorithm has a time complexity of $O(k\mu n)$, where $n$ is the number of nodes. This complexity is compared to that of the other solutions: one is always more costly (keep in mind that is solves a more general problem), the other one is more or less costly depending on the interplay between instant density and cumulated density. The length $k$ of the sequence also plays a role. We characterize the key values of $k, \mu$ and $m$ for which either algorithm should be used. In the case of {\em non-strict} journeys, for which no algorithm is known, we show that some pre-processing of the input graph allows us to re-use the same algorithm than before. By chance, these operations happens to cost again $O(k\mu n)$ time, which implies that the second problem is not more difficult than the first.


title: U-dual branes and mixed symmetry tensor fields

abstract: We review and explain the relation between U-dual branes in string theory and mixed symmetry tensors of various degrees. In certain cases these mixed symmetry tensors can be related to diverse types of fluxes that play an important role in compactifications of string theory.


title: Testing for shielding of special nuclear weapon materials

abstract: Nuclear-weapon-material detection via gamma-ray sensing is routinely applied, for example, in monitoring cross-border traffic. Natural or deliberate shielding both attenuates and distorts the shape of the gamma-ray spectra of specific radionuclides, thereby making such routine applications challenging. We develop a Lagrange multiplier (LM) test for shielding. A strong advantage of the LM test is that it only requires fitting a much simpler model that assumes no shielding. We show that, under the null hypothesis and some mild regularity conditions and as the detection time increases, LM test statistic for (composite) shielding is asymptotically Chi-square with the degree of freedom equal to the presumed number of shielding materials. We also derive the local power of the LM test. Extensive simulation studies suggest that the test is robust to the number and nature of the intervening materials, which owes to the fact that common intervening materials have broadly similar attenuation functions.


title: A Self-Interaction Leading to Fluctuations of Order $n^{5/6}$

abstract: In arXiv:1301.6911, we built and studied a Curie-Weiss model exhibiting self-organized criticality : it is a model with a self-interaction leading to fluctuations of order $n^{3/4}$ and a limiting law proportional to $\exp(-x^4/12)$. In this paper we modify our model in order to "kill the term $x^4$" and to obtain a self-interaction leading to fluctuations of order $n^{5/6}$ and a limiting law $C\,\exp(-\lambda x^6)\,dx$, for suitable positive constants $C$ and $\lambda$.


title: An Optimal Offline Algorithm for List Update

abstract: For the static list update problem, given an ordered list $\rho_0$ (an ordering of the list $L$ = \{ $a_a, a_2, ..., a_l$ \}), and a sequence $\sigma = (\sigma_1, \sigma_2, ..., \sigma_m)$ of requests for items in $L$, we characterize the list reorganizations in an optimal offline solution in terms of an initial permutation of the list followed by a sequence of $m$ {\em element transfers}, where an element transfer is a type of list reorganization where only the requested item can be moved. Then we make use of this characterization to design an $O(l^{2} (l-1)!m)$ time optimal offline algorithm.


title: Symmetry breaking caused by large R-charge

abstract: We discuss the gauge symmetry breaking via the Hosotani mechanism by using exact results on supersymmetric gauge theories based on the localization method. We use the theories on S^2 x S^1 Euclidean space, and study how the effective potential for the Wilson line phase varies by running an imaginary chemical potential. In order to break the symmetry, we find that large R-charge is necessary. With such large R-charge, we study the phase structure of the theory. In addition, we observed that a finite size effect on our curved space when we take R-charge is not so large.


title: Distributed Quantization for Measurement of Correlated Sparse Sources over Noisy Channels

abstract: In this paper, we design and analyze distributed vector quantization (VQ) for compressed measurements of correlated sparse sources over noisy channels. Inspired by the framework of compressed sensing (CS) for acquiring compressed measurements of the sparse sources, we develop optimized quantization schemes that enable distributed encoding and transmission of CS measurements over noisy channels followed by joint decoding at a decoder. The optimality is addressed with respect to minimizing the sum of mean-square error (MSE) distortions between the sparse sources and their reconstruction vectors at the decoder. We propose a VQ encoder-decoder design via an iterative algorithm, and derive a lower-bound on the end-to-end MSE of the studied distributed system. Through several simulation studies, we evaluate the performance of the proposed distributed scheme.


title: Infinitely many periodic orbits of exact magnetic flows on surfaces for almost every subcritical energy level

abstract: We consider an exact magnetic flow on the tangent bundle of a closed surface. We prove that for almost every energy level $\kappa$ below the Ma\~n\'e critical value of the universal cover there are infinitely many periodic orbits with energy $\kappa$.


title: Predictive regressions for macroeconomic data

abstract: Researchers have constantly asked whether stock returns can be predicted by some macroeconomic data. However, it is known that macroeconomic data may exhibit nonstationarity and/or heavy tails, which complicates existing testing procedures for predictability. In this paper we propose novel empirical likelihood methods based on some weighted score equations to test whether the monthly CRSP value-weighted index can be predicted by the log dividend-price ratio or the log earnings-price ratio. The new methods work well both theoretically and empirically regardless of the predicting variables being stationary or nonstationary or having an infinite variance.


title: Performance Bounds for Vector Quantized Compressive Sensing

abstract: In this paper, we endeavor for predicting the performance of quantized compressive sensing under the use of sparse reconstruction estimators. We assume that a high rate vector quantizer is used to encode the noisy compressive sensing measurement vector. Exploiting a block sparse source model, we use Gaussian mixture density for modeling the distribution of the source. This allows us to formulate an optimal rate allocation problem for the vector quantizer. Considering noisy CS quantized measurements, we analyze upper- and lower-bounds on reconstruction error performance guarantee of two estimators - convex relaxation based basis pursuit de-noising estimator and an oracle-assisted least-squares estimator.


title: String solutions in AdS_3 x S^3 x T^4 with NS-NS B-field

abstract: We develop an approach for solving the string equations of motion and Virasoro constraints in any background which has some (unfixed) number of commuting Killing vector fields. It is based on a specific ansatz for the string embedding. We apply the above mentioned approach for strings moving inAdS_3 x S^3 x T^4 with 2-form NS-NS B-field. We succeeded to find solutions for a large class of string configurations on this background. In particular, we derive dyonic giant magnon solutions in the R_t x S^3 subspace, and obtain the leading finite-size correction to the dispersion relation.


title: Landscaping with fluxes and the E8 Yukawa Point in F-theory

abstract: Integrality in the Hodge theory of Calabi-Yau fourfolds is essential to find the vacuum structure and the anomaly cancellation mechanism of four dimensional F-theory compactifications. We use the Griffiths-Frobenius geometry and homological mirror symmetry to fix the integral monodromy basis in the primitive horizontal subspace of Calabi-Yau fourfolds. The Gamma class and supersymmetric localization calculations in the 2d gauged linear sigma model on the hemisphere are used to check and extend this method. The result allows us to study the superpotential and the Weil-Petersson metric and an associated tt* structure over the full complex moduli space of compact fourfolds for the first time. We show that integral fluxes can drive the theory to N=1 supersymmetric vacua at orbifold points and argue that fluxes can be chosen that fix the complex moduli of F-theory compactifications at gauge enhancements including such with U(1) factors. Given the mechanism it is natural to start with the most generic complex structure families of elliptic Calabi-Yau 4-fold fibrations over a given base. We classify these families in toric ambient spaces and among them the ones with heterotic duals. The method also applies to the creating of matter and Yukawa structures in F-theory. We construct two SU(5) models in F-theory with a Yukawa point that have a point on the base with an $E_8$-type singularity on the fiber and explore their embeddings in the global models. The explicit resolution of the singularity introduce a higher dimensional fiber and leads to novel features.


title: Migration-Driven Hierarchical Crystal Defect Aggregation - Symmetry and Scaling Analysis

abstract: Recently the hierarchical defect substructures were observed experimentally in several metals and alloys before and after fracture. The general models of crystal defect aggregation with appearance hierarchical defect substructures are proposed and considered in the wide range of scales. Their general group analysis is performed, and symmetries of the governing equations are identified. The models of defect aggregate growth are considered for several partial cases and compared with classical Lifshitz-Slyozov-Wagner theory of coarsening, Leyvraz-Redner scaling theory of aggregate growth, etc. The reduced equations of new models are generated and solved, and the general scaling solutions are given. The results obtained are illustrated by preliminary simulations.


title: The Hahn-Exton $q$-Bessel function as the characteristic function of a Jacobi matrix

abstract: A family $\mathcal{T}^{(\nu)}$, $\nu\in\mathbb{R}$, of semiinfinite positive Jacobi matrices is introduced with matrix entries taken from the Hahn-Exton $q$-difference equation. The corresponding matrix operators defined on the linear hull of the canonical basis in $\ell^{2}(\mathbb{Z}_{+})$ are essentially self-adjoint for $|\nu|\geq1$ and have deficiency indices $(1,1)$ for $|\nu|<1$. A convenient description of all self-adjoint extensions is obtained and the spectral problem is analyzed in detail. The spectrum is discrete and the characteristic equation on eigenvalues is derived explicitly in all cases. Particularly, the Hahn-Exton $q$-Bessel function $J_{\nu}(z;q)$ serves as the characteristic function of the Friedrichs extension. As a direct application one can reproduce, in an alternative way, some basic results about the $q$-Bessel function due to Koelink and Swarttouw.


title: Channel-Optimized Vector Quantizer Design for Compressed Sensing Measurements

abstract: We consider vector-quantized (VQ) transmission of compressed sensing (CS) measurements over noisy channels. Adopting mean-square error (MSE) criterion to measure the distortion between a sparse vector and its reconstruction, we derive channel-optimized quantization principles for encoding CS measurement vector and reconstructing sparse source vector. The resulting necessary optimal conditions are used to develop an algorithm for training channel-optimized vector quantization (COVQ) of CS measurements by taking the end-to-end distortion measure into account.


title: Existence and nonexistence of least energy nodal solution for a class of elliptic problem in $\mathbb{R}^{2}$

abstract: In this work, we prove the existence of least energy nodal solution for a class of elliptic problem in both cases, bounded and unbounded domain, when the nonlinearity has exponential critical growth in $\mathbb{R}^2$. Moreover, we also prove a nonexistence result of least energy nodal solution for the autonomous case in whole $\mathbb{R}^{2}$.


title: Spin dependent quantum interference in non-local graphene spin valves

abstract: Spin dependent electron transport measurements on graphene are of high importance to explore possible spintronic applications. Up to date all spin transport experiments on graphene were done in a semi-classical regime, disregarding quantum transport properties such as phase coherence and interference. Here we show that in a quantum coherent graphene nanostructure the non-local voltage is strongly modulated. Using non-local measurements, we separate the signal in spin dependent and spin independent contributions. We show that the spin dependent contribution is about two orders of magnitude larger than the spin independent one, when corrected for the finite polarization of the electrodes. The non-local spin signal is not only strongly modulated but also changes polarity as a function of the applied gate voltage. By locally tuning the carrier density in the constriction we show that the constriction plays a major role in this effect and indicates that it can act as a spin filter device. Our results show the potential of quantum coherent graphene nanostructures for the use in future spintronic devices.


title: Analysis-by-Synthesis-based Quantization of Compressed Sensing Measurements

abstract: We consider a resource-constrained scenario where a compressed sensing- (CS) based sensor has a low number of measurements which are quantized at a low rate followed by transmission or storage. Applying this scenario, we develop a new quantizer design which aims to attain a high-quality reconstruction performance of a sparse source signal based on analysis-by-synthesis framework. Through simulations, we compare the performance of the proposed quantization algorithm vis-a-vis existing quantization methods.


title: Properties of Hartree-Fock solutions of the three-dimensional electron gas

abstract: In a previous letter, L. Baguet et al., (Phys. Rev. Lett. {\bf 111}, 166402 (2013)), we presented the ground state phase diagram of the homogeneous electron gas in three dimensions within the Hartree-Fock approximation yielding incommensurate crystal states at high density. Here, we analyze the properties of these solutions. In particular, at high density we find universal behavior of the incommensurate crystal strongly supporting the existence of a spin density wave ground state.


title: The role of the information set for forecasting - with applications to risk management

abstract: Predictions are issued on the basis of certain information. If the forecasting mechanisms are correctly specified, a larger amount of available information should lead to better forecasts. For point forecasts, we show how the effect of increasing the information set can be quantified by using strictly consistent scoring functions, where it results in smaller average scores. Further, we show that the classical Diebold-Mariano test, based on strictly consistent scoring functions and asymptotically ideal forecasts, is a consistent test for the effect of an increase in a sequence of information sets on $h$-step point forecasts. For the value at risk (VaR), we show that the average score, which corresponds to the average quantile risk, directly relates to the expected shortfall. Thus, increasing the information set will result in VaR forecasts which lead on average to smaller expected shortfalls. We illustrate our results in simulations and applications to stock returns for unconditional versus conditional risk management as well as univariate modeling of portfolio returns versus multivariate modeling of individual risk factors. The role of the information set for evaluating probabilistic forecasts by using strictly proper scoring rules is also discussed.


title: Lagrangian reductions and integrable systems in condensed matter

abstract: We consider a general approach for the process of Lagrangian and Hamiltonian reduction by symmetries in chiral gauge models. This approach is used to show the complete integrability of several one dimensional texture equations arising in liquid Helium phases and neutron stars.


title: Singularity-free gravitational collapse and asymptotic safety

abstract: A general class of quantum improved stellar models with interiors composed of non-interacting ('dust') particles is obtained and analyzed in a framework compatible with asymptotic safety. First, the effective exterior, based on the Quantum Einstein Gravity approach to asymptotic safety is presented and, second, its effective compatible dust interiors are deduced. The resulting stellar models appear to be devoid of shell-focusing singularities.


title: Large-scale environment of z~5.7 CIV absorption systems I: projected distribution of galaxies

abstract: Metal absorption systems are products of star formation. They are believed to be associated with massive star forming galaxies, which have significantly enriched their surroundings. To test this idea with high column density CIV absorption systems at z~5.7, we study the projected distribution of galaxies and characterise the environment of CIV systems in two independent quasar lines-of-sight: J103027.01+052455.0 and J113717.73+354956.9. Using wide field photometry (~80x60h$^{-1}$ comoving Mpc), we select bright (Muv(1350\AA)<-21.0 mag.) Lyman break galaxies (LBGs) at z~5.7 in a redshift slice \Delta z~0.2 and we compare their projected distribution with z~5.7 narrow-band selected Lyman alpha emitters (LAEs, \Delta z~0.08). We find that the CIV systems are located more than 10h$^{-1}$ projected comoving Mpc from the main concentrations of LBGs and no candidate is closer than ~5h$^{-1}$ projected comoving Mpc. In contrast, an excess of LAEs -lower mass galaxies- is found on scales of ~10h$^{-1}$ comoving Mpc, suggesting that LAEs are the primary candidates for the source of the CIV systems. Furthermore, the closest object to the system in the field J1030+0524 is a faint LAE at a projected distance of 212h$^{-1}$ physical kpc. However, this work cannot rule out undiscovered lower mass galaxies as the origin of these absorption systems. We conclude that, in contrast with lower redshift examples (z<3.5), strong CIV absorption systems at z~5.7 trace low-to-intermediate density environments dominated by low-mass galaxies. Moreover, the excess of LAEs associated with high levels of ionizing flux agrees with the idea that faint galaxies dominate the ionizing photon budget at this redshift.


title: On normal approximations to symmetric hypergeometric laws

abstract: The Kolmogorov distances between a symmetric hypergeometric law with standard deviation $\sigma$ and its usual normal approximations are computed and shown to be less than $1/(\sqrt{8\pi}\,\sigma)$, with the order $1/\sigma$ and the constant $1/\sqrt{8\pi}$ being optimal. The results of Hipp and Mattner (2007) for symmetric binomial laws are obtained as special cases. Connections to Berry-Esseen type results in more general situations concerning sums of simple random samples or Bernoulli convolutions are explained. Auxiliary results of independent interest include rather sharp normal distribution function inequalities, a simple identifiability result for hypergeometric laws, and some remarks related to L\'evy's concentration-variance inequality.


title: Connection between charge-density-wave order and charge transport in the cuprate superconductors

abstract: Charge-density-wave (CDW) correlations within the quintessential CuO$_2$ planes have been argued to either cause [1] or compete with [2] the superconductivity in the cuprates, and they might furthermore drive the Fermi-surface reconstruction in high magnetic fields implied by quantum oscillation (QO) experiments for YBa$_2$Cu$_3$O$_{6+{\delta}}$ (YBCO) [3] and HgBa$_2$CuO$_{4+{\delta}}$ (Hg1201) [4]. Consequently, the observation of bulk CDW order in YBCO was a significant development [5,6,7]. Hg1201 features particularly high structural symmetry and recently has been demonstrated to exhibit Fermi-liquid charge transport in the relevant temperature-doping range of the phase diagram, whereas for YBCO and other cuprates this underlying property of the CuO$_2$ planes is partially or fully masked [8-10]. It therefore is imperative to establish if the pristine transport behavior of Hg1201 is compatible with CDW order. Here we investigate Hg1201 ($T_c$ = 72 K) via bulk Cu L-edge resonant X-ray scattering. We indeed observe CDW correlations in the absence of a magnetic field, although the correlations and competition with superconductivity are weaker than in YBCO. Interestingly, at the measured hole-doping level, both the short-range CDW and Fermi-liquid transport appear below the same temperature of about 200 K. Our result points to a unifying picture in which the CDW formation is preceded at the higher pseudogap temperature by $q$ = 0 magnetic order [11,12] and the build-up of significant dynamic antiferromagnetic correlations [13]. Furthermore, the smaller CDW modulation wave vector observed for Hg1201 is consistent with the larger electron pocket implied by both QO [4] and Hall-effect [14] measurements, which suggests that CDW correlations are indeed responsible for the low-temperature QO phenomenon.


title: Analysis-by-Synthesis Quantization for Compressed Sensing Measurements

abstract: We consider a resource-limited scenario where a sensor that uses compressed sensing (CS) collects a low number of measurements in order to observe a sparse signal, and the measurements are subsequently quantized at a low bit-rate followed by transmission or storage. For such a scenario, we design new algorithms for source coding with the objective of achieving good reconstruction performance of the sparse signal. Our approach is based on an analysis-by-synthesis principle at the encoder, consisting of two main steps: (1) the synthesis step uses a sparse signal reconstruction technique for measuring the direct effect of quantization of CS measurements on the final sparse signal reconstruction quality, and (2) the analysis step decides appropriate quantized values to maximize the final sparse signal reconstruction quality. Through simulations, we compare the performance of the proposed quantization algorithms vis-a-vis existing quantization schemes.


title: Some new general integral inequalities for P-functions

abstract: In this paper, we derive new estimates for the remainder term of the midpoint, trapezoid, and Simpson formulae for functions whose derivatives in absolute value at certain power are P-functions. Some applications to special means of real numbers are also given.