title: The energy-critical nonlinear Schr\"odinger equation on a product of spheres

abstract: Let $(M,g)$ be a compact smooth $3$-dimensional Riemannian manifold without boundary. It is proved that the energy-critical nonlinear Schr\"odinger equation is globally well-posed for small initial data in $H^1(M)$, provided that a certain tri-linear estimate for free solutions holds true. This estimate is known to hold true on the sphere and tori in $3d$ and verified here in the case $\mathbb{S}\times\mathbb{S}^2$. The necessity of a weak form of this tri-linear estimate is also discussed.


title: Black hole accretion preferentially occurs in gas rich galaxies

abstract: We have investigated the gas content of a sample of several hundred AGN host galaxies at z$<$1 and compared it with a sample of inactive galaxies, matched in bins of stellar mass and redshift. Gas masses have been inferred from the dust masses, obtained by stacked Herschel far-IR and sub-mm data in the GOODS and COSMOS fields, under reasonable assumptions and metallicity scaling relations for the dust-to-gas ratio. We find that AGNs are on average hosted in galaxies much more gas rich than inactive galaxies. In the vast majority of stellar mass bins, the average gas content of AGN hosts is higher than in inactive galaxies. The difference is up to a factor of ten higher in low stellar mass galaxies, with a significance of 6.5$\sigma$. In almost half of the AGN sample the gas content is three times higher than in the control sample of inactive galaxies. Our result strongly suggests that the probability of having an AGN activated is simply driven by the amount of gas in the host galaxy; this can be explained in simple terms of statistical probability of having a gas cloud falling into the gravitational potential of the black hole. The increased probability of an AGN being hosted by a star-forming galaxy, identified by previous works, may be a consequence of the relationship between gas content and AGN activity, found in this paper, combined with the Schmidt-Kennicutt law for star formation.


title: The clash of the Titans: how preferential attachment helps the survival of the smallest

abstract: We examine the effects of preferential attachment on a model of competing clusters. In the original model, cluster masses grow at the expense of their neighbours; on a lattice, this is known to result in the asymptotic survival and indefinite growth of clusters which are isolated from each other. The presence of preferential attachment results in an inhomogeneous topology, where hubs monopolize the connections, while most other nodes are sparsely connected. Interestingly, this results in the protection of the less massive clusters from annihilation, to which the hubs are doomed.


title: Comparison of T1 conditions for multiparameter operators

abstract: We prove that for $L^2$ bounded operators T, the classes of operators defined in the language of vector-valued Calder\'on-Zygmund theory by Journ\'e in his proof of the T1 theorem on product spaces is of the same class as the later biparameter operators defined as the Pott and Villarroya type in their proof of the T1 theorem on product spaces.


title: Simulation of ion behavior in an open three-dimensional Paul trap using a power series method

abstract: Simulations of the dynamics of ions trapped in a Paul trap with terms in the potential up to the order 10 have been carried out. The power series method is used to solve numerically the equations of motion of the ions. The stability diagram has been studied and the buffer gas cooling has been implemented by a Monte Carlo method. The dipole excitation was also included. The method has been applied to an existing trap and it has shown good agreement with the experimental results and previous simulations using other methods.


title: Direct design of LPV feedback controllers: technical details and numerical examples

abstract: The paper contains technical details of recent results developed by the author, regarding the design of LPV controllers directly from experimental data. Two numerical examples are also presented, about control of the Duffing oscillator and control of a two-degree-of-freedom manipulator.


title: Optimization of the marketing mix in the health care industry

abstract: This paper proposes data mining techniques to model the return on investment from various types of promotional spending to market a drug and then uses the model to draw conclusions on how the pharmaceutical industry might go about allocating marketing expenditures in a more efficient manner, potentially reducing costs to the consumer


title: Imputing unknown competitor marketing activity with a Hidden Markov Chain

abstract: We demonstrate on a case study with two competing products at a bank how one can use a Hidden Markov Chain (HMC) to estimate missing information on a competitor's marketing activity. The idea is that given time series with sales volumes for products A and B and marketing expenditures for product A, as well as suitable predictors of sales for products A and B, we can infer at each point in time whether it is likely or not that marketing activities took place for product B. The method is successful in identifying the presence or absence of marketing activity for product B about 84% of the time. We allude to the issue of whether, if one can infer marketing activity about product B from knowledge of marketing activity for product A and of sales volumes of both products, the reverse might be possible and one might be able to impute marketing activity for product A from knowledge of that of product B. This leads to a concept of symmetric imputation of competing marketing activity. The exposition in this paper aims to be accessible and relevant to practitioners.


title: An asymptotic expansion for the generalised quadratic Gauss sum revisited

abstract: An asymptotic expansion for the generalised quadratic Gauss sum $$S_N(x,\theta)=\sum_{j=1}^{N} \exp (\pi ixj^2+2\pi ij\theta),$$ where $x$, $\theta$ are real and $N$ is a positive integer, is obtained as $x\rightarrow 0$ and $N\rightarrow\infty$ such that $Nx$ is finite. The form of this expansion holds for all values of $Nx+\theta$ and, in particular, in the neighbourhood of integer values of $Nx+\theta$. A simple bound for the remainder in the expansion is derived. Numerical results are presented to demonstrate the accuracy of the expansion and the sharpness of the bound.


title: Probing obscured, high redshift galaxies using deep P-band continuum imaging with GMRT

abstract: We have carried out a deep (150 micro Jy rms) P-band, continuum imaging survey of about 40 square degrees of sky in the XMM-LSS, Lockman Hole and ELAIS-N1 fields with the GMRT. Our deep radio data, combined with deep archival observations in the X-ray (XMM/Chandra), optical (SDSS, CFHTLS), near-infrared (UKIDSS, VISTA/VIDEO), mid-infrared (Spitzer/SWIRE, Spitzer/SERVS) and far-infrared (Spitzer/SWIRE, Herschel/HerMES) will enable us to obtain an accurate census of star-forming and active galaxies out to z~2. This panchromatic coverage enables accurate determination of photometric redshifts and accurate modeling of the spectral energy distribution. We are using our large, merged photometric catalog of over 10000 galaxies to pursue a number of science goals.


title: On canonical metrics on Cartan-Hartogs domains

abstract: The Cartan-Hartogs domains are defined as a class of Hartogs type domains over irreducible bounded symmetric domains. The purpose of this paper is twofold. Firstly, for a Cartan-Hartogs domain $\Omega^{B^{d_0}}(\mu)$ endowed with the canonical metric $g(\mu)$, we obtain an explicit formula for the Bergman kernel of the weighted Hilbert space $\mathcal{H}_{\alpha}$ of square integrable holomorphic functions on $(\Omega^{B^{d_0}}(\mu), g(\mu))$ with the weight $\exp\{-\alpha \varphi\}$ (where $\varphi$ is a globally defined K\"{a}hler potential for $g(\mu)$) for $\alpha>0$, and, furthermore, we give an explicit expression of the Rawnsley's $\varepsilon$-function expansion for $(\Omega^{B^{d_0}}(\mu), g(\mu)).$ Secondly, using the explicit expression of the Rawnsley's $\varepsilon$-function expansion, we show that the coefficient $a_2$ of the Rawnsley's $\varepsilon$-function expansion for the Cartan-Hartogs domain $(\Omega^{B^{d_0}}(\mu), g(\mu))$ is constant on $\Omega^{B^{d_0}}(\mu)$ if and only if $(\Omega^{B^{d_0}}(\mu), g(\mu))$ is biholomorphically isometric to the complex hyperbolic space. So we give an affirmative answer to a conjecture raised by M. Zedda.


title: The magnetic field configuration of a solar prominence inferred from spectropolarimetric observations in the He I 10830 A triplet

abstract: Context: The determination of the magnetic field vector in quiescent solar prominences is possible by interpreting the Hanle and Zeeman effects in spectral lines. However, observational measurements are scarce and lack high spatial resolution. Aims: To determine the magnetic field vector configuration along a quiescent solar prominence by interpreting spectropolarimetric measurements in the He I 1083.0 nm triplet obtained with the Tenerife Infrared Polarimeter installed at the German Vacuum Tower Telescope of the Observatorio del Teide. Methods. The He I 1083.0 nm triplet Stokes profiles are analyzed with an inversion code that takes into account the physics responsible of the polarization signals in this triplet. The results are put into a solar context with the help of extreme ultraviolet observations taken with the Solar Dynamic Observatory and the Solar Terrestrial Relations Observatory satellites. Results: For the most probable magnetic field vector configuration, the analysis depicts a mean field strength of 7 gauss. We do not find local variations in the field strength except that the field is, in average, lower in the prominence body than in the prominence feet, where the field strength reaches 25 gauss. The averaged magnetic field inclination with respect to the local vertical is 77 degrees. The acute angle of the magnetic field vector with the prominence main axis is 24 degrees for the sinistral chirality case and 58 degrees for the dextral chirality. These inferences are in rough agreement with previous results obtained from the analysis of data acquired with lower spatial resolutions.


title: Using a Galois connection to compute character degrees

abstract: Given a Mersenne prime $q$ and a positive even integer $e$, let $F$ and $E$ be the fields of orders $q$ and $q^e$ respectively. Let $C$ be a cyclic subgroup of $E^\times$ whose index in $E^\times$ is divisible only by primes dividing $q - 1$. We compute the character degrees of the group $C \rtimes {\rm Gal} (E/F)$ by using the Galois connection between the subfields of $E$ and the Galois group ${\rm Gal} (E/F)$.


title: Exponential asymptotics of the Voigt functions

abstract: We obtain the asymptotic expansion of the Voigt functions $K(x,y)$ and $L(x,y)$ for large (real) values of the variables $x$ and $y$, paying particular attention to the exponentially small contributions. A Stokes phenomenon is encountered as $y\rightarrow+\infty$ with $x>0$ fixed. Numerical examples are presented to demonstrate the accuracy of these new expansions.


title: U(3) artificial gauge fields for cold atoms

abstract: We propose to generate an artificial non-Abelian $U(3)$ gauge field by using a 2-tripod scheme, namely two tripod configurations sharing a common ground state level and driven by resonant 1-photon transitions. Using an appropriate combination of four Laguerre-Gauss and two Hermite-Gauss laser beams, we are able to produce a $U(3)$-monopole and a $U(3)$ spin-orbit coupling for both alkali and alkaline-earth atoms. This 2-tripod scheme could open the way to the study of interacting spinor condensates subjected to $U(3)$-monopoles.


title: Embedding Stacked Polytopes on a Polynomial-Size Grid

abstract: A stacking operation adds a $d$-simplex on top of a facet of a simplicial $d$-polytope while maintaining the convexity of the polytope. A stacked $d$-polytope is a polytope that is obtained from a $d$-simplex and a series of stacking operations. We show that for a fixed $d$ every stacked $d$-polytope with $n$ vertices can be realized with nonnegative integer coordinates. The coordinates are bounded by $O(n^{2\log(2d)})$, except for one axis, where the coordinates are bounded by $O(n^{3\log(2d)})$. The described realization can be computed with an easy algorithm. The realization of the polytopes is obtained with a lifting technique which produces an embedding on a large grid. We establish a rounding scheme that places the vertices on a sparser grid, while maintaining the convexity of the embedding.


title: Investigation of Complex Impedance and Modulus Properties of Nd Doped 0.5BiFeO3-0.5PbTiO3 Multiferroic Composites

abstract: 0.5BiNdxFe1-xO3-0.5PbTiO3 (x=0.05, 0.10, 0.15, 0.20) composites were successfully synthesized by a solid state reaction technique. At room temperature X-ray diffraction shows tetragonal structure for all concentrations of Nd doped 0.5BiFeO3-0.5PbTiO3 composites. The nature of Nyquist plot confirms the presence of bulk effects only for all compositions of Nd-doped 0.5BiFeO3-0.5PbTiO3 composites. The bulk resistance is found to decreases with the increasing in temperature as well as Nd concentration and exhibits a typical negative temperature coefficient of resistance (NTCR) behavior. Both the complex impedance and modulus studies have suggested the presence of non-Debye type of relaxation in the materials. Conductivity spectra reveal the presence of hopping mechanism in the electrical transport process of the materials. The activation energy of the composite increases with increasing Nd concentration and were found to be 0.28, 0.27, 0.31 and 0.32eV for x=0.05, 0.10, 0.15, 0.20 respectively at 200-275 oC for conduction process.


title: Codimension one connectedness of the graph of associated varieties

abstract: Let $ \pi $ be an irreducible Harish-Chandra $ (\mathfrak{g}, K) $-module, and denote its associated variety by $ AV(\pi) $. If $ AV(\pi) $ is reducible, then each irreducible component must contain codimension one boundary component. Thus we are interested in the codimension one adjacency of nilpotent orbits for a symmetric pair $ (G, K) $. We define the notion of orbit graph and associated graph for $ \pi $, and study its structure for classical symmetric pairs; number of vertices, edges, connected components, etc. As a result, we prove that the orbit graph is connecetd for even nilpotent orbits. Finally, for indefinite unitary group $ U(p, q) $, we prove that for each connected component of the orbit graph $ \Gamma_K(O_{\lambda}) $ thus defined, there is an irreducible Harish-Chandra module $ \pi $ whose associated graph is exactly equal to the connceted component.


title: Constrained Spline Smoothing

abstract: Several results on constrained spline smoothing are obtained. In particular, we establish a general result, showing how one can constructively smooth any monotone or convex piecewise polynomial function (ppf) (or any $q$-monotone ppf, $q\geq 3$, with one additional degree of smoothness) to be of minimal defect while keeping it close to the original function in the ${\mathbb L}_p$-(quasi)norm. It is well known that approximating a function by ppf's of minimal defect (splines) avoids introduction of artifacts which may be unrelated to the original function, thus it is always preferable. On the other hand, it is usually easier to construct constrained ppf's with as little requirements on smoothness as possible. Our results allow to obtain shape-preserving splines of minimal defect with equidistant or Chebyshev knots. The validity of the corresponding Jackson-type estimates for shape-preserving spline approximation is summarized, in particular we show, that the ${\mathbb L}_p$-estimates, $p\ge1$, can be immediately derived from the ${\mathbb L}_\infty$-estimates.


title: Mori Dream Stacks

abstract: We propose a generalisation of Mori dream spaces to stacks. We show that this notion is preserved under root constructions and taking abelian gerbes. Unlike the case of Mori dream spaces, such a stack is not always given as a quotient of the spectrum of its Cox ring by the Picard group. We give a criterion when this is true in terms of Mori dream spaces and root constructions. Finally, we compare this notion with the one of smooth toric Deligne-Mumford stacks.


title: Relative generalized Hamming weights of one-point algebraic geometric codes

abstract: Security of linear ramp secret sharing schemes can be characterized by the relative generalized Hamming weights of the involved codes. In this paper we elaborate on the implication of these parameters and we devise a method to estimate their value for general one-point algebraic geometric codes. As it is demonstrated, for Hermitian codes our bound is often tight. Furthermore, for these codes the relative generalized Hamming weights are often much larger than the corresponding generalized Hamming weights.


title: Motion of the Plasma Critical Layer During Relativistic-electron Laser Interaction with Immobile and Comoving Ion Plasma for Ion Acceleration

abstract: We analyze the motion of the plasma critical layer by two different processes in the relativistic-electron laser-plasma interaction regime ($a_0>1$). The differences are highlighted when the critical layer ions are stationary in contrast to when they move with it. Controlling the speed of the plasma critical layer in this regime is essential for creating low-$\beta$ traveling acceleration structures of sufficient laser-excited potential for laser ion accelerators (LIA). In Relativistically Induced Transparency Acceleration (RITA) scheme the heavy plasma-ions are fixed and only trace-density light-ions are accelerated. The relativistic critical layer and the acceleration structure move longitudinally forward by laser inducing transparency through apparent relativistic increase in electron mass. In the Radiation Pressure Acceleration (RPA) scheme the whole plasma is longitudinally pushed forward under the action of the laser radiation pressure, possible only when plasma ions co-propagate with the laser front. In RPA the acceleration structure velocity critically depends upon plasma-ion mass in addition to the laser intensity and plasma density. In RITA, mass of the heavy immobile plasma-ions does not affect the speed of the critical layer. Inertia of the bared immobile ions in RITA excites the charge separation potential whereas RPA is not possible when ions are stationary.


title: Implementation of interaction between soft tissues and foreign bodies using modified voxel model

abstract: Interactive bodies collision detection and elimination is one of the most popular task nowadays. Collisions can be detected in different ways. Collision search using space voxelization is one of the most fast. This paper describes improved voxel model that covers only area of collision interest and quickly eliminates collisions. This new method can be useful in real time collision processing of different rigid and soft bodies grids.


title: On Suprema of Autoconvolutions with an Application to Sidon sets

abstract: Let $f$ be a nonnegative function supported on $(-1/4, 1/4)$. We show $$ \sup_{x \in \mathbb{R}}{\int_{\mathbb{R}}{f(t)f(x-t)dt}} \geq 1.28\left(\int_{-1/4}^{1/4}{f(x)dx} \right)^2,$$ where 1.28 improves on a series of earlier results. The inequality arises naturally in additive combinatorics in the study of Sidon sets. We derive a relaxation of the problem that reduces to a finite number of cases and yields slightly stronger results. Our approach should be able to prove lower bounds that are arbitrary close to the sharp result. Currently, the bottleneck in our approach is runtime: new ideas might be able to significantly speed up the computation.


title: Propagation failure of excitation waves on trees and random networks

abstract: Excitation waves are studied on trees and random networks of coupled active elements. Undamped propagation of such waves is observed in those networks. It represents an excursion from the resting state and a relaxation back to it for each node. However, the degrees of the nodes influence drastically the dynamics. Excitation propagates more slowly through nodes with larger degrees and beyond some critical degree waves lose their stability and disappear. For regular trees with a fixed branching ratio, the critical degree is determined with an approximate analytical theory which also holds locally for the early stage of excitation spreading in random networks.


title: Longitudinal hydrodynamics from event-by-event Landau initial conditions

abstract: We investigate three-dimensional ideal hydrodynamic evolution, with Landau initial conditions, incorporating event-by-event variation with many events and transverse density inhomogeneities. We show that the transition to boost-invariant flow occurs too late for realistic setups, with corrections of $\order{20-30\%}$ expected at freezeout for most scenarios. Moreover, the deviation from boost-invariance is correlated with both transverse flow and elliptic flow, with the more highly transversely flowing regions also showing the most violation of boost invariance. Therefore, if longitudinal flow is not fully developed at the early stages of heavy ion collisions, hydrodynamics where boost-invariance holds at mid-rapidity is inadequate to extract transport coefficients of the quark-gluon plasma. We conclude by arguing that developing experimental probes of boost invariance is necessary, and suggest some promising directions in this regard.


title: A general translation from nested Petri nets into PROMELA

abstract: Nested Petri nets have been applied for modeling interaction protocols, mobility, adaptive systems and interorganizational workflows. However, few results have been reported on the use of automated tools for analyzing the behavior of these nets. In this paper we present a general translation from nested Petri nets into PROMELA and explain how some properties of these nets can be studied using SPIN model checker. Besides, we discuss how to deal with the main limitations that may influence SPIN performance when verifying practical examples.


title: Dust and gas in luminous proto-cluster galaxies at z=4.05: the case for different cosmic dust evolution in normal and starburst galaxies

abstract: We measure the dust and gas content of the three sub-millimeter galaxies (SMGs) in the GN20 proto-cluster at $z=4.05$ using new IRAM Plateau de Bure interferometer (PdBI) CO(4-3) and 1.2-3.3 mm continuum observations. All these three SMGs are heavily dust obscured, with UV-based star formation rate (SFR) estimates significantly smaller than the ones derived from the bolometric infrared (IR), consistent with the spatial offsets revealed by HST and CO imaging. Based also on evaluations of the specific SFR, CO-to-H$_2$ conversion factor and gas depletion timescale, we classify all the three galaxies as starbursts (SBs), although with a lower confidence for GN20.2b that might be a later stage merging event. We place our measurements in the context of the evolutionary properties of main sequence (MS) and SB galaxies. ULIRGs have 3-5 times larger $L'_{\rm CO}/M_{\rm dust}$ and $M_{\rm dust}/M_\star$ ratios than $z=0$ MS galaxies, but by $z\sim2$ the difference appears to be blurred, probably due to differential metallicity evolution. SB galaxies appear to slowly evolve in their $L'_{\rm CO}/M_{\rm dust}$ and $M_{\rm dust}/M_\star$ ratios all the way to $z>6$ (consistent with rapid enrichment of SB events), while MS galaxies rapidly increase in $M_{\rm dust}/M_\star$ from $z=0$ to 2 (due to gas fraction increase, compensated by a decrease of metallicities). While no IR/submm continuum detection is available for indisputably normal massive galaxies at $z>2.5$, we show that if metallicity indeed decrease rapidly for these systems at $z>3$ as claimed in the literature, we should expect a strong decrease of their $M_{\rm dust}/M_\star$, consistent with recent PdBI and ALMA upper limits. We conclude that the $M_{\rm dust}/M_\star$ ratio could be a powerful tool for distinguishing starbursts from normal galaxies at $z>4$.


title: A Markovian model for association football possession and its outcomes

abstract: We propose a bottom-up approach to the study of possession and its outcomes for association football, based on probabilistic finite state automata with transition probabilities described by a Markov process. We show how even a very simple model yields faithful approximations to the distribution of passing sequences and chances of taking shots for English Premier League teams, which we fit using a whole season of granular game data (380 games). We compare the resulting model with classical top-down distributions traditionally used to describe possessions, showing that the Markov models yield a more accurate asymptotic behaviour.


title: New superposed elliptic solutions for a class of nonlinear evolution equations

abstract: In the context of the emergence of new classes of superposed solutions such as dn2 (x,m) \pm \sqrt m cn(x,m) dn(x,m) for a variety of nonlinear equations we present some additional new ones for the KdV and QNLS equations and show that they also admit exact solutions of the type nd2 (x,m) \pm \sqrt sd(x,m) nd(x,m). We also determine different types of superposed solutions for a generalized shallow water wave equation.


title: A sparse representation for potential energy surface

abstract: We propose a simple scheme to estimate potential energy surface (PES) with which the accuracy can be easily controlled and improved up to the level of the density functional theory (DFT) calculations. It is based on a model selection within the framework of linear regression using the least absolute shrinkage and selection operator (LASSO) technique. Basis functions are selected from a systematic large set of candidate functions. The sparsity of PES significantly reduces the computational demands for evaluation of the energy and the force in molecular dynamics simulations without losing the accuracy. The usefulness of the scheme is well demonstrated for describing elemental metals of Na and Mg.


title: A Study of Thermocurrent Induced Magnetic Fields in ILC Cavities

abstract: The case of axisymmetric ILC type cavities with titanium helium vessels is investigated. A first order estimate for magnetic field within the SRF current layer is presented. The induced magnetic field is found to be not more than 1.4x10-8 Tesla = 0.14 milligauss for the case of axial symmetry. Magnetic fields due to symmetry breaking effects are discussed.


title: A comparison of concepts from computable analysis and effective descriptive set theory

abstract: Computable analysis and effective descriptive set theory are both concerned with complete metric spaces, functions between them and subsets thereof in an effective setting. The precise relationship of the various definitions used in the two disciplines has so far been neglected, a situation this paper is meant to remedy. As the role of the Cauchy completion is relevant for both effective approaches to Polish spaces, we consider the interplay of effectivity and completion in some more detail.


title: Pressure Dependent Structural Changes and Predicted Electrical Polarization in Perovskite RMnO3

abstract: High pressure x-ray diffraction (XRD) measurements on RMnO3 (R=Dy, Ho and Lu) reveals that varying structural changes occurs for different R ions. Large lattice changes (orthorhombic strain) occur in DyMnO3 and HoMnO3 while the Jahn-Teller (JT) distortion remains stable. On the other hand, in LuMnO3, Mn-O bond distortions are observed in the region 4-8 GPa with the broad minimum in the JT distortion. High pressure IR measurements indicate that a phonon near 390 cm-1 corresponding to the complex motion of the Mn and O ions changes anomalously for LuMnO3. It softens in the 4-8 GPa region, which is consistent with the structural change in Mn-O bonds and then hardens at high pressures. By contrast, the phonons continuously harden with increasing pressure for DyMnO3 and HoMnO3. DFT calculations show that the E-phase LuMnO3 is the most stable phase up to the 10 GPa pressure examined. Simulations indicate that the distinct structural change under pressure in LuMnO3 can possibly be used to optimize the electric polarization by pressure/strain.


title: A Stochastic forward-backward splitting method for solving monotone inclusions in Hilbert spaces

abstract: We propose and analyze the convergence of a novel stochastic forward-backward splitting algorithm for solving monotone inclusions given by the sum of a maximal monotone operator and a single-valued maximal monotone cocoercive operator. This latter framework has a number of interesting special cases, including variational inequalities and convex minimization problems, while stochastic approaches are practically relevant to account for perturbations in the data. The algorithm we propose is a stochastic extension of the classical deterministic forward-backward method, and is obtained considering the composition of the resolvent of the maximal monotone operator with a forward step based on a stochastic estimate of the single-valued operator. Our study provides a non-asymptotic error analysis in expectation for the strongly monotone case, as well as almost sure convergence under weaker assumptions. The approach we consider allows to avoid averaging, a feature critical when considering methods based on sparsity, and, for minimization problems, it allows to obtain convergence rates matching those obtained by stochastic extensions of so called accelerated methods. Stochastic quasi Fejer's sequences are a key technical tool to prove almost sure convergence.


title: One-dimensional projective structures, convex curves and the ovals of Benguria & Loss

abstract: Benguria and Loss have conjectured that, amongst all smooth closed curves of length $2\pi$ in the plane, the lowest possible eigenvalue of the operator $L=-\Delta+\kappa^2$ was one. They observed that this value was achieved on a two-parameter family, $\mathcal{O}$, of geometrically distinct ovals containing the round circle and collapsing to a multiplicity-two line segment. We characterize the curves in $\mathcal{O}$ as absolute minima of two related geometric functionals. We also discuss a connection with projective differential geometry and use it to explain the natural symmetries of all three problems.


title: Non post-selected indistinguishable single photons generated by a quantum dot under resonant excitation

abstract: We report on two-photon interferences from highly indistinguishable single photons emitted by a quantum dot. Stricly resonant excitation with picosecond laser pulses allows coherent state preparation with a signifi- cantly increased coherence time (T2 \sim 1 ns) and reduced lifetime (T1 \sim 650 ps), as compared to a non-resonant excitation scheme. Building-up the Hong-Ou-Mandel dip without post-selection of the interfering photons, visi- bilities greater than 70 % have been observed. Near-unity indistinguishable photons could be achieved for every dot if charge noise is controlled. Indeed, the remaining decoherence mechanism is likely due to the fluctuating electrostatic environment of the dots.


title: A Remark on Disk Packings and Numerical Integration of Harmonic Functions

abstract: We are interested in the following problem: given an open, bounded domain $\Omega \subset \mathbb{R}^2$, what is the largest constant $\alpha = \alpha(\Omega) > 0$ such that there exist an infinite sequence of disks $B_1, B_2, \dots, B_N, \dots \subset \mathbb{R}^2$ and a sequence $(n_i)$ with $n_i \in \left\{1,2\right\}$ such that $$ \sup_{N \in \mathbb{N}}{N^{\alpha}\left\| \chi_{\Omega} - \sum_{i=1}^{N}{(-1)^{n_i}\chi_{B_i}}\right\|_{L^1(\mathbb{R}^2)}} < \infty,$$ where $\chi$ denotes the characteristic function? We prove that certain (somewhat peculiar) domains $\Omega \subset \mathbb{R}^2$ satisfy the property with $\alpha = 0.53$. For these domains there exists a sequence of points $(x_i)_{i=1}^{\infty}$ in $\Omega$ with weights $(a_i)_{i=1}^{\infty}$ such that for all harmonic functions $u:\mathbb{R}^2 \rightarrow \mathbb{R}$ $$ \left|\int_{\Omega}{u(x)dx} - \sum_{i=1}^{N}{a_i u(x_i)}\right| \leq C_{\Omega}\frac{\|u\|_{L^{\infty}(\Omega)}}{N^{0.53}},$$ where $C_{\Omega}$ depends only on $\Omega$. This gives a Quasi-Monte-Carlo method for harmonic functions which improves on the probabilistic Monte-Carlo bound $\|u\|_{L^{2}(\Omega)}/N^{0.5}$ \textit{without} introducing a dependence on the total variation. We do not know which decay rates are optimal.


title: Probabilistic Intra-Retinal Layer Segmentation in 3-D OCT Images Using Global Shape Regularization

abstract: With the introduction of spectral-domain optical coherence tomography (OCT), resulting in a significant increase in acquisition speed, the fast and accurate segmentation of 3-D OCT scans has become evermore important. This paper presents a novel probabilistic approach, that models the appearance of retinal layers as well as the global shape variations of layer boundaries. Given an OCT scan, the full posterior distribution over segmentations is approximately inferred using a variational method enabling efficient probabilistic inference in terms of computationally tractable model components: Segmenting a full 3-D volume takes around a minute. Accurate segmentations demonstrate the benefit of using global shape regularization: We segmented 35 fovea-centered 3-D volumes with an average unsigned error of 2.46 $\pm$ 0.22 {\mu}m as well as 80 normal and 66 glaucomatous 2-D circular scans with errors of 2.92 $\pm$ 0.53 {\mu}m and 4.09 $\pm$ 0.98 {\mu}m respectively. Furthermore, we utilized the inferred posterior distribution to rate the quality of the segmentation, point out potentially erroneous regions and discriminate normal from pathological scans. No pre- or postprocessing was required and we used the same set of parameters for all data sets, underlining the robustness and out-of-the-box nature of our approach.


title: Epitaxial growth and superconducting anisotropy of PbSr$_{2}$Y$_{1-x}$Ca$_{x}$Cu$_{2}$O$_{7+\delta}$ thin films

abstract: Thin films of single-crystal Pb$_{1-y}$Bi$_{y}$Sr$_{2}$Y$_{1-x}$Ca$_{x}$Cu$_{2}$O$_{7+\delta}$ (PbBi1212) were grown on SrTiO$_{3}$ (100) substrates by a two-step growth technique in which an amorphous film is annealed at 970 $^\circ$C in a closed ceramic container prepared using the same material as the film. We find that PbBi1212 exhibits superconductivity when the Ca concentration $x$ exceeds 0.3. The effective number of holes per Cu atom $n_{\rm eff}$ is well described as $n_{\rm eff}=0.34x$. The highest onset temperature for the superconducting transition attained in the present study is 65 K. The resistivity measurement in a magnetic field reveals that the coherence lengths of Pb1212 ($y=0$) are approximately 25 and 2.7 \AA, along the $ab$ plane and the $c$ axis, respectively.


title: Strain effects on electronic structure and superconductivity in the iron telluride

abstract: The influence of tensile strain in the ab-plane on crystal and electronic structure of FeTe has been studied ab initio. In superconducting FeSe the Fermi surface nesting with a vector q~(0.5,0.5)(2\pi /a) is believed to be crucial for rising superconductivity mediated by spin-fluctuations. The results presented here indicate that tensile-strained FeTe also exhibits such conditions. Furthermore, the Fermi surface changes, related to the increase of the lattice parameter a of this telluride, are opposite to analogous effects reported for FeSe. Since a recently reported transition from the double-stripe to the single-stripe magnetic order in FeTe under tensile strain in the ab-plane is associated with an occurence of superconductivity in corresponding thin films, these findings allow for drawing a consistent picture of superconductivity in FeSe(1-x)Te(x) systems, in general.


title: Cache-aware Parallel Programming for Manycore Processors

abstract: With rapidly evolving technology, multicore and manycore processors have emerged as promising architectures to benefit from increasing transistor numbers. The transition towards these parallel architectures makes today an exciting time to investigate challenges in parallel computing. The TILEPro64 is a manycore accelerator, composed of 64 tiles interconnected via multiple 8x8 mesh networks. It contains per-tile caches and supports cache-coherent shared memory by default. In this paper we present a programming technique to take advantages of distributed caching facilities in manycore processors. However, unlike other work in this area, our approach does not use architecture-specific libraries. Instead, we provide the programmer with a novel technique on how to program future Non-Uniform Cache Architecture (NUCA) manycore systems, bearing in mind their caching organisation. We show that our localised programming approach can result in a significant improvement of the parallelisation efficiency (speed-up).


title: Electronic structure and local distortions in epitaxial ScGaN films

abstract: High energy-resolution fluorescence-detected X-ray absorption spectroscopy and density functional theory calculations were used to investigate the local bonding and electronic structure of Sc in epitaxial wurtzite-structure Sc$_{x}$Ga$_{1-x}$N films with x $\le$ 0.059. Sc atoms are found to substitute for Ga atoms, accompanied by a local distortion involving an increase in the internal lattice parameter u around the Sc atoms. The local bonding and electronic structure at Sc are not affected strongly by the strain state or the defect microstructure of the films. These data are consistent with theoretical predictions regarding the electronic structure of dilute Sc$_{x}$Ga$_{1-x}$N alloys.


title: Distributed Collaborative Monitoring in Software Defined Networks

abstract: We propose a Distributed and Collaborative Monitoring system, DCM, with the following properties. First, DCM allow switches to collaboratively achieve flow monitoring tasks and balance measurement load. Second, DCM is able to perform per-flow monitoring, by which different groups of flows are monitored using different actions. Third, DCM is a memory-efficient solution for switch data plane and guarantees system scalability. DCM uses a novel two-stage Bloom filters to represent monitoring rules using small memory space. It utilizes the centralized SDN control to install, update, and reconstruct the two-stage Bloom filters in the switch data plane. We study how DCM performs two representative monitoring tasks, namely flow size counting and packet sampling, and evaluate its performance. Experiments using real data center and ISP traffic data on real network topologies show that DCM achieves highest measurement accuracy among existing solutions given the same memory budget of switches.


title: CP Violation with Majorana neutrinos in K Meson Decays

abstract: We study the possibility of having CP asymmetries in the decay Kaon(+/-) -> pion(-/+) lepton(+/-) lepton(+/-) (lepton = muon or electron). This decay violates Lepton Number by two units and occurs only if there are Majorana particles that mediate the transition. Even though the absolute rate is highly suppressed by current bounds, we search for Majorana neutrino scenarios where the CP asymmetry arising from the lepton sector could be sizeable. This is indeed the case if there are two or more Majorana neutrinos with similar masses in the range around 10^2 MeV. In particular, the asymmetry is potentially near unity if two neutrinos are nearly degenerate, in the sense that the mass difference is similar to the decay rate. The full decay, however, may be difficult to detect not only because of the suppression caused by the heavy-to-light lepton mixing, but also because of the long lifetime of the heavy neutrino, which would induce large space separation between the two vertices where the charge leptons are produced. This particular problem should be less serious in heavier meson decays, as they involve heavier neutrinos with shorter lifetimes.


title: The April First Phenomenon

abstract: A true quantum reason for why people fib on April first.


title: Supernova Equation of State with an extended SU(3) Quark-Meson Model

abstract: The quark-meson model is investigated for the two- and three-flavor case extended by contributions of vector mesons under conditions encountered in core-collapse supernova matter. Typical temperature ranges, densities and electron fractions, as found in core-collapse supernova simulations, are studied by implementing charge neutrality and local beta-equilibrium with respect to weak interactions. Within this framework, we analyze the resulting phase diagram and equation of state (EoS) and investigate the impact of undetermined parameters of the model. The EoS turns out to be relatively independent on the entropy per baryon but there are significant changes when going from the two-flavor to the three-flavor case due to the nontrivial contribution from the strange quarks which stay massive even at high densities. While an increasing vector meson coupling constant leads to a substantial stiffening of the EoS, we find that the impact of changing the scalar meson mass is equally strong and results in a softening of the EoS for increasing values.


title: Explosive or Continuous: Incoherent state determines the route to synchronization

abstract: Collective behaviors of coupled oscillators have attracted much attention. In this Letter, we propose an ensemble order parameter(EOP) equation that enables us to grasp the essential low-dimensional dynamical mechanism of the explosive synchronization in heterogeneous networks. Dif- ferent solutions of the EOP equation build correspondences with diverse collective states, and different bifurcations reveal various transitions among these collective states. The structural relationship between the incoherent state and synchronous state leads to different routes of transitions to synchronization, either continuous or discontinuous. The explosive synchronization is determined by the bistable state where the measure of each state and the critical points are obtained analytically by using the EOP equation. Our method and results hold for heterogeneous networks with star graph motifs such as scale-free networks, and hence, provide an effective approach in understanding the routes to synchronization in more general complex networks.


title: The Occurrence of Non-Pulsating Stars in the gamma Doradus/delta Scuti Pulsation Instability Region

abstract: As part of the NASA Kepler Guest Observer program, we requested and obtained long-cadence data on about 2700 faint (magnitude 14-16) Kepler stars with effective temperatures and surface gravities that lie near or within the pulsation instability region for main-sequence gamma Doradus and delta Scuti pulsating variables. These variables are of spectral type A-F with masses of 1.4 to 2.5 solar masses. The delta Scuti stars pulsate in radial and non-radial acoustic modes, with periods of a few hours (frequencies around 10 cycles/day), while gamma Doradus variables pulsate in nonradial gravity modes with periods 0.3 to 3 days (frequencies around 1 cycle/day). Here we consider the light curves and Fourier transforms of 633 stars in an unbiased sample observed by Kepler in Quarters 6-13 (June 2010-June 2012). We show the location of these stars in the log surface gravity--effective temperature diagram compared to the instability region limits established from ground-based observations, and taking into account uncertainties and biases in the Kepler Input Catalog T_eff values. While hundreds of variables have been discovered in the Kepler data, about 60% of the stars in our sample do not show any frequencies between 0.2 and 24.4 cycles per day with amplitude above 20 parts per million. We find that six of these apparently constant stars lie within the pulsation instability region. We discuss some possible reasons that these stars do not show photometric variability in the Kepler data. We also comment on the non-constant stars, and on 26 variable-star candidates, many of which also do not lie within the expected instability regions.


title: Expansions of the interatomic potential for different boundary conditions and the transition to the thermodynamic limit

abstract: We analyze the possible expansions of the interatomic potential $U(|\textbf{r}_{1}-\textbf{r}_{2}|)$ in a Fourier series for a cyclic system and a system with boundaries. We also study the transition from exact expansions for a finite system to the expansion that is commonly used in the thermodynamic limit. The analysis shows that such a transition distorts the potential of a bounded system by making it cyclic.


title: Towards combined transport and optical studies of the 0.7-anomaly in a quantum point contact

abstract: A Quantum Point Contact (QPC) causes a one-dimensional constriction on the spatial potential landscape of a two-dimensional electron system. By tuning the voltage applied on a QPC at low temperatures the resulting regular step-like electron conductance quantization can show an additional kink near pinch-off around 0.7(2$e^2$/h), called 0.7-anomaly. In a recent publication, we presented a combination of theoretical calculations and transport measurements that lead to a detailed understanding of the microscopic origin of the 0.7-anomaly. Functional Renormalization Group-based calculations were performed exhibiting the 0.7-anomaly even when no symmetry-breaking external magnetic fields are involved. According to the calculations the electron spin susceptibility is enhanced within a QPC that is tuned in the region of the 0.7-anomaly. Moderate externally applied magnetic fields impose a corresponding enhancement in the spin magnetization. In principle, it should be possible to map out this spin distribution optically by means of the Faraday rotation technique. Here we report the initial steps of an experimental project aimed at realizing such measurements. Simulations were performed on a particularly pre-designed semiconductor heterostructure. Based on the simulation results a sample was built and its basic transport and optical properties were investigated. Finally, we introduce a sample gate design, suitable for combined transport and optical studies.


title: Ab-initio nanoplasmonics: The impact of atomic structure

abstract: We present an ab-initio study of the hybridization of localized surface plasmons in a metal nanoparticle dimer. The atomic structure, which is often neglected in theoretical studies of quantum nanoplasmonics, has a strong impact on the optical absorption properties when sub-nanometric gaps between the nanoparticles are considered. We demonstrate that this influences the hybridization of optical resonances of the dimer, and leads to significantly smaller electric field enhancements as compared to the standard jellium model. In addition we show that the corrugation of the metal surface at a microscopic scale becomes as important as other well-known quantum corrections to the plasmonic response, implying that the atomic structure has to be taken into account to obtain quantitative predictions for realistic nanoplasmonic devices.


title: Poisson polyhedra in high dimensions

abstract: The zero cell of a parametric class of random hyperplane tessellations depending on a distance exponent and an intensity parameter is investigated, as the space dimension tends to infinity. The model includes the zero cell of stationary and isotropic Poisson hyperplane tessellations as well as the typical cell of a stationary Poisson Voronoi tessellation as special cases. It is shown that asymptotically in the space dimension, with overwhelming probability these cells satisfy the hyperplane conjecture, if the distance exponent and the intensity parameter are suitably chosen dimension-dependent functions. Also the high dimensional limits of the mean number of faces are explored and the asymptotic behaviour of an isoperimetric ratio is analysed. In the background are new identities linking the $f$-vector of the zero cell to certain dual intrinsic volumes.


title: Are credit ratings time-homogeneous and Markov?

abstract: We introduce a simple approach for testing the reliability of homogeneous generators and the Markov property of the stochastic processes underlying empirical time series of credit ratings. We analyze open access data provided by Moody's and show that the validity of these assumptions - existence of a homogeneous generator and Markovianity - is not always guaranteed. Our analysis is based on a comparison between empirical transition matrices aggregated over fixed time windows and candidate transition matrices generated from measurements taken over shorter periods. Ratings are widely used in credit risk, and are a key element in risk assessment; our results provide a tool for quantifying confidence in predictions extrapolated from these time series.


title: Orbit length generating functions of automorphisms of a rooted regular binary tree

abstract: To every automorphism w of an infinite rooted regular binary tree we associate a two variable generating function \Phi_w that encodes information on the orbit structure of w. We prove that this is a rational function if w can be described by finitely many recursion relations of a particular form. We show that this condition is satisfied for all elements of the discrete iterated monodromy group \Gamma associated to a postcritically finite quadratic polynomial over C. For such \Gamma we also prove that there are only finitely many possibilities for the denominator of \Phi_w, and we describe a procedure to determine their lowest common denominator.


title: An Efficient Thread Mapping Strategy for Multiprogramming on Manycore Processors

abstract: The emergence of multicore and manycore processors is set to change the parallel computing world. Applications are shifting towards increased parallelism in order to utilise these architectures efficiently. This leads to a situation where every application creates its desirable number of threads, based on its parallel nature and the system resources allowance. Task scheduling in such a multithreaded multiprogramming environment is a significant challenge. In task scheduling, not only the order of the execution, but also the mapping of threads to the execution resources is of a great importance. In this paper we state and discuss some fundamental rules based on results obtained from selected applications of the BOTS benchmarks on the 64-core TILEPro64 processor. We demonstrate how previously efficient mapping policies such as those of the SMP Linux scheduler become inefficient when the number of threads and cores grows. We propose a novel, low-overhead technique, a heuristic based on the amount of time spent by each CPU doing some useful work, to fairly distribute the workloads amongst the cores in a multiprogramming environment. Our novel approach could be implemented as a pragma similar to those in the new task-based OpenMP versions, or can be incorporated as a distributed thread mapping mechanism in future manycore programming frameworks. We show that our thread mapping scheme can outperform the native GNU/Linux thread scheduler in both single-programming and multiprogramming environments.


title: Degenerate Quantum Gases with Spin-Orbit Coupling

abstract: This review focuses on recent developments on studying synthetic spin-orbit (SO) coupling in ultracold atomic gases. Two types of SO coupling are discussed. One is Raman process induced coupling between spin and motion along one of the spatial directions, and the other is Rashba SO coupling. We emphasize their common features in both single-particle and two-body physics and their consequences in many-body physics. For instance, single particle ground state degeneracy leads to novel features of superfluidity and richer phase diagram; increased low-energy density-of-state enhances interaction effects; the absence of Galilean invariance and spin-momentum locking give rise to intriguing behaviors of superfluid critical velocity and novel quantum dynamics; and mixing of two-body singlet and triplet states yields novel fermion pairing structure and topological superfluids. With these examples, we show that investigating SO coupling in cold atom systems can enrich our understanding of basic phenomena such as superfluidity, provide a good platform for simulating condensed matter states such as topological superfluids, and more importantly, result in novel quantum systems such as SO coupled unitary Fermi gas or high spin quantum gases. Finally we also point out major challenges and possible future directions.


title: An updated maximum likelihood approach to open cluster distance determination

abstract: An improved method for estimating distances to open clusters is presented and applied to Hipparcos data for the Pleiades and the Hyades. The method is applied in the context of the historic Pleiades distance problem, with a discussion of previous criticisms of Hipparcos parallaxes. This is followed by an outlook for Gaia, where the improved method could be especially useful. Based on maximum likelihood estimation, the method combines parallax, position, apparent magnitude, colour, proper motion, and radial velocity information to estimate the parameters describing an open cluster precisely and without bias. We find the distance to the Pleiades to be $120.3 \pm 1.5$ pc, in accordance with previously published work using the same dataset. We find that error correlations cannot be responsible for the still present discrepancy between Hipparcos and photometric methods. Additionally, the three-dimensional space velocity and physical structure of Pleiades is parametrised, where we find strong evidence of mass segregation. The distance to the Hyades is found to be $46.35\pm 0.35$ pc, also in accordance with previous results. Through the use of simulations, we confirm that the method is unbiased, so will be useful for accurate open cluster parameter estimation with Gaia at distances up to several thousand parsec.


title: Compound Effect of Alfv\'en Waves and Ion-cyclotron Waves on Heating/Acceleration of Minor Ions via the Pickup Process

abstract: A scenario is proposed to explain the preferential heating of minor ions and differential streaming velocity between minor ions and protons observed in the solar corona and in the solar wind. It is demonstrated by test particle simulations that minor ions can be nearly fully picked up by intrinsic Alfv\'en-cyclotron waves observed in the solar wind based on the observed wave energy density. Both high frequency ion-cyclotron waves and low frequency Alfv\'en waves play crucial roles in the pickup process. A minor ion can first gain a high magnetic moment through the resonant wave-particle interaction with ion-cyclotron waves, and then this ion with a large magnetic moment can be trapped by magnetic mirror-like field structures in the presence of the lower-frequency Alfv\'en waves. As a result, the ion is picked up by these Alfv\'en-cyclotron waves. However, minor ions can only be partially picked up in the corona due to low wave energy density and low plasma beta. During the pickup process, minor ions are stochastically heated and accelerated by Alfv\'en-cyclotron waves so that they are hotter and flow faster than protons. The compound effect of Alfv\'en waves and ion-cyclotron waves is important on the heating and acceleration of minor ions. The kinetic properties of minor ions from simulation results are generally consistent with in situ and remote features observed in the solar wind and solar corona.


title: Replica Analysis and Approximate Message Passing Decoder for Superposition Codes

abstract: Superposition codes are efficient for the Additive White Gaussian Noise channel. We provide here a replica analysis of the performances of these codes for large signals. We also consider a Bayesian Approximate Message Passing decoder based on a belief-propagation approach, and discuss its performance using the density evolution technic. Our main findings are 1) for the sizes we can access, the message-passing decoder outperforms other decoders studied in the literature 2) its performance is limited by a sharp phase transition and 3) while these codes reach capacity as $B$ (a crucial parameter in the code) increases, the performance of the message passing decoder worsen as the phase transition goes to lower rates.


title: On minimal immersions in Finsler spaces

abstract: We explore a connection between the Finslerian area functional and well-investigated Cartan functionals to prove new Bernstein theorems, uniqueness and removability results for Finsler-minimal graphs, as well as enclosure theorems and isoperimetric inequalities for minimal immersions in Finsler spaces. In addition, we establish the existence of smooth Finsler-minimal immersions spanning given extreme or graphlike boundary contours.


title: Polarization entangled photon-pair source based on quantum nonlinear photonics and interferometry

abstract: We present a versatile, high-brightness, guided-wave source of polarization entangled photons, emitted at a telecom wavelength. Photon-pairs are generated using an integrated type-0 nonlinear waveguide, and subsequently prepared in a polarization entangled state via a stabilized fiber interferometer. We show that the single photon emission wavelength can be tuned over more than 50 nm, whereas the single photon spectral bandwidth can be chosen at will over more than five orders of magnitude (from 25 MHz to 4 THz). Moreover, by performing entanglement analysis, we demonstrate a high degree of control of the quantum state via the violation of the Bell inequalities by more than 40 standard deviations. This makes this scheme suitable for a wide range of quantum optics experiments, ranging from fundamental research to quantum information applications. We report on details of the setup, as well as on the characterization of all included components, previously outlined in F. Kaiser et al. (2013 Laser Phys. Lett. 10, 045202).


title: On color-critical ($P_{5},\overline{P}_5$)-free graphs

abstract: A graph is $k$-critical if it is $k$-chromatic but each of its proper induced subgraphs is ($k-1$)-colorable. It is known that the number of $4$-critical $P_5$-free graphs is finite, but there is an infinite number of $k$-critical $P_5$-free graphs for each $k \geq 5$. We show that the number of $k$-critical $(P_5, \overline{P}_5)$-free graphs is finite for every fixed $k$. Our result implies the existence of a certifying algorithm for $k$-coloring $(P_5, \overline{P}_5)$-free graphs.


title: ImNet: An Imperative Network Programming Language

abstract: One of the most recent architectures of networks is Software-Defined Networks (SDNs) using a con- troller appliance to control the set of switches on the network. The controlling process includes installing or uninstalling packet-processing rules on flow tables of switches. This paper presents a high-level imperative network programming language, called ImNet, to facilitate writing efficient, yet simple, programs executed by controller to manage switches. ImNet is simply-structured, expressive, compositional, and imperative. This paper also introduces an operational semantics to ImNet. Detailed examples of programs (with their operational semantics) constructed in ImNet are illustrated in the paper as well.


title: Minimal Theory for Lepto-Baryons

abstract: We investigate the simplest models where baryon and lepton numbers are defined as local symmetries spontaneously broken at the low scale and discuss the implications for cosmology. We define the simplest anomaly-free theory for spontaneous baryon and lepton number violation which predicts the existence of lepto-baryons. In this context we study the new sphaleron condition on the chemical potentials and show the relation between the present baryon asymmetry and the B-L asymmetry generated in the early universe. The properties of the cold dark matter candidate for which stability is a natural consequence from symmetry breaking are briefly discussed.


title: Morse theory and Lescop's equivariant propagator for 3-manifolds with $b_1=1$ fibered over $S^1$

abstract: For a 3-manifold $M$ with $b_1(M)=1$ fibered over $S^1$ and the fiberwise gradient $\xi$ of a fiberwise Morse function on $M$, we introduce the notion of amidakuji-like path (AL-path) on $M$. An AL-path is a piecewise smooth path on $M$ consisting of edges each of which is either a part of a critical locus of $\xi$ or a flow line of $-\xi$. Counting closed AL-paths with signs gives the Lefschetz zeta function of $M$. The "moduli space" of AL-paths on $M$ gives explicitly Lescop's equivariant propagator, which can be used to define $\mathbb{Z}$-equivariant version of Chern--Simons perturbation theory for $M$.


title: The divisor function in arithmetic progressions to smooth moduli

abstract: By using the $q$-analogue of van der Corput's method we study the divisor function in an arithmetic progression to modulus $q$. We show that the expected asymptotic formula holds for a larger range of $q$ than was previously known, provided that $q$ has a certain factorisation.


title: Large number of endemic equilibria for disease transmission models in patchy environment

abstract: We show that disease transmission models in a spatially heterogeneous environment can have a large number of coexisting endemic equilibria. A general compartmental model is considered to describe the spread of an infectious disease in a population distributed over several patches. For disconnected regions, many boundary equilibria may exist with mixed disease free and endemic components, but these steady states usually disappear in the presence of spatial dispersal. However, if backward bifurcations can occur in the regions, some partially endemic equilibria of the disconnected system move into the interior of the nonnegative cone and persist with the introduction of mobility between the patches. We provide a mathematical procedure that precisely describes in terms of the local reproduction numbers and the connectivity network of the patches, whether a steady state of the disconnected system is preserved or ceases to exist for low volumes of travel. Our results are illustrated on a patchy HIV transmission model with subthreshold endemic equilibria and backward bifurcation. We demonstrate the rich dynamical behavior (i.e., creation and destruction of steady states) and the presence of multiple stable endemic equilibria for various connection networks.


title: Quantum Metrology: Extended Convexity of Quantum Fisher Information

abstract: We prove an extended convexity for quantum Fisher information of a mixed state with a given convex decomposition. This convexity introduces a bound which has two parts: i. classical part associated to the Fisher information of the probability distribution of the states contributing to the decomposition, and ii. quantum part given by the average quantum Fisher information of the states in this decomposition. Next we use a non-Hermitian extension of symmetric logarithmic derivative in order to obtain another upper bound on quantum Fisher information, which enables to derive a closed form for a fairly general class of system dynamics given by a dynamical semigroup. We combine our two upper bounds together in a general (open system) metrology framework where the dynamics is described by a quantum channel, and derive the ultimate precision limit for quantum metrology. We illustrate our results and their applications through two examples, where we also demonstrate that how the extended convexity allows to track transition between quantum and classical behaviors for an estimation precision.


title: Keep Your Friends Close and Your Facebook Friends Closer: A Multiplex Network Approach to the Analysis of Offline and Online Social Ties

abstract: Social media allow for an unprecedented amount of interaction between people online. A fundamental aspect of human social behavior, however, is the tendency of people to associate themselves with like-minded individuals, forming homogeneous social circles both online and offline. In this work, we apply a new model that allows us to distinguish between social ties of varying strength, and to observe evidence of homophily with regards to politics, music, health, residential sector & year in college, within the online and offline social network of 74 college students. We present a multiplex network approach to social tie strength, here applied to mobile communication data - calls, text messages, and co-location, allowing us to dimensionally identify relationships by considering the number of communication channels utilized between students. We find that strong social ties are characterized by maximal use of communication channels, while weak ties by minimal use. We are able to identify 75% of close friendships, 90% of weaker ties, and 90% of Facebook friendships as compared to reported ground truth. We then show that stronger ties exhibit greater profile similarity than weaker ones. Apart from high homogeneity in social circles with respect to political and health aspects, we observe strong homophily driven by music, residential sector and year in college. Despite Facebook friendship being highly dependent on residence and year, exposure to less homogeneous content can be found in the online rather than the offline social circles of students, most notably in political and music aspects.


title: Mixed, charge and heat noises in thermoelectric nanosystems

abstract: Mixed, charge and heat current fluctuations as well as thermoelectric differential conductances are considered for non-interacting nanosystems connected to reservoirs. Using the Landauer-Buttiker formalism, we derive general expressions for these quantities and consider their possible relationships in the entire ranges of temperature, voltage and coupling to the environment or reservoirs. We introduce a dimensionless quantity given by the ratio between the product of mixed noises and the product of charge and heat noises, distinguishing between the auto-ratio defined in the same reservoir and the cross-ratio between distinct reservoirs. From the linear response regime to the high-voltage regime, we further specify the analytical expressions of differential conductances, noises and ratios of noises, and examine their behavior in two concrete nanosystems: a quantum point contact in an ohmic environment and a single energy level quantum dot connected to reservoirs. In the linear response regime, we find that these ratios are equal to each other and are simply related to the figure of merit. They can be expressed in terms of differential conductances with the help of the fluctuation-dissipation theorem. In the non-linear regime, these ratios radically distinguish between themselves as the auto-ratio remains bounded by one, while the cross-ratio exhibits rich and complex behaviors. In the quantum dot nanosystem, we moreover demonstrate that the thermoelectric efficiency can be expressed as a ratio of noises in the non-linear Schottky regime. In the intermediate voltage regime, the cross-ratio changes sign and diverges, which evidences a change of sign in the heat cross-noise.


title: Impact analysis of TOTEM data at the LHC: black disk limit exceeded

abstract: We discuss the profile of the impact--parameter dependent elastic scattering amplitude. Extraction of impact-parameter dependence from the dataset with inclusion of the experimental data on elastic scattering at the LHC energies helps to reveal the asymptotics of hadron interactions. Analysis of the data clearly indicates that the impact-parameter elastic scattering amplitude exceed the black disk limit at the LHC energy 7TeV and the inelastic overlap function reaches its maximum value at $b>0$


title: Limiting behavior of Donaldson's heat flow on non-K\"{a}hler surfaces

abstract: Let $X$ be a compact Hermitian surface, and $g$ be any fixed Gauduchon metric on $X$. Let $E$ be an Hermitian holomorphic vector bundle over $X$. On the bundle $E$, Donaldson's heat flow is gauge equivalent to a flow of holomorphic structures. We prove that this flow converges, in the sense of Uhlenbeck, to the double dual of the graded sheaf associated to the $g$-Harder-Narasimhan-Seshadri filtration of $X$. This result generalizes a convergence theorem of Daskalopoulos and Wentworth to non-K\"{a}hler setting.


title: Hausdorff theory of dual approximation on planar curves

abstract: Ten years ago, Beresnevich-Dickinson-Velani initiated a project that develops the general Hausdorff measure theory of dual approximation on non-degenerate manifolds. In particular, they established the divergence part of the theory based on their general ubiquity framework. However, the convergence counterpart of the project remains wide open and represents a major challenging question in the subject. Until recently, it was not even known for any single non-degenerate manifold. In this paper, we settle this problem for all curves in $\mathbb{R}^2$, which represents the first complete theory of its kind for a general class of manifolds.


title: A New Estimator For Population Mean Using Two Auxiliary Variables in Stratified random Sampling

abstract: In this paper, we suggest an estimator using two auxiliary variables in stratified random sampling. The propose estimator has an improvement over mean per unit estimator as well as some other considered estimators. Expressions for bias and MSE of the estimator are derived up to first degree of approximation. Moreover, these theoretical findings are supported by a numerical example with original data. Key words: Study variable, auxiliary variable, stratified random sampling, bias and mean squared error.


title: Fluctuation Relation for Quantum Heat Engines and Refrigerators

abstract: At the very foundation of the second law of thermodynamics lies the fact that no heat engine operating between two reservoires of temperatures $T_C\leq T_H$ can overperform the ideal Carnot engine: $\langle W \rangle / \langle Q_H \rangle \leq 1-T_C/T_H$. This inequality follows from an exact fluctuation relation involving the nonequilibrium work $W$ and heat exchanged with the hot bath $Q_H$. In a previous work [Sinitsyn N A, J. Phys. A: Math. Theor. {\bf 44} (2011) 405001] this fluctuation relation was obtained under the assumption that the heat engine undergoes a stochastic jump process. Here we provide the general quantum derivation, and also extend it to the case of refrigerators, in which case Carnot's statement reads: $\langle Q_C \rangle / |\langle W \rangle| \leq (T_H/T_C-1)^{-1}$.


title: Phase fluctuations and first-order correlation functions of dissipative Bose-Einstein condensates

abstract: We investigate the finite lifetime effects on first-order correlation functions of dissipative Bose-Einstein condensates. By taking into account the phase fluctuations up to all orders, we show that the finite lifetime effects are neglible for the spatial first-order correlation functions, but have an important effect on the temporal correlations. As an application, we calculate the one-particle density matrix of a quasi-condensate of photons. Finally, we also consider the photons in the normal state and we demonstrate that the finite lifetime effects decrease both the spatial and temporal first-order correlation functions.


title: Optimal Power Allocation for Three-phase Bidirectional DF Relaying with Fixed Rates

abstract: Wireless systems that carry delay-sensitive information (such as speech and/or video signals) typically transmit with fixed data rates, but may occasionally suffer from transmission outages caused by the random nature of the fading channels. If the transmitter has instantaneous channel state information (CSI) available, it can compensate for a significant portion of these outages by utilizing power allocation. In this paper, we consider optimal power allocation for a conventional dual-hop bidirectional decode-and-forward (DF) relaying system with a three-phase transmission protocol. The proposed strategy minimizes the average power consumed by the end nodes and the relay, subject to some maximum allowable system outage probability (OP), or equivalently, minimizes the system OP while meeting average power constraints at the end nodes and the relay. We show that in the proposed power allocation scheme, the end nodes and the relay adjust their output powers to the minimum level required to avoid outages, but will sometimes be silent, in order to conserve power and prolong their lifetimes. For the proposed scheme, the end nodes use the instantaneous CSI of their respective source-relay links and the relay uses the instantaneous CSI of both links.


title: A trapped-ion based quantum byte with $10^{-5}$ next-neighbour cross-talk

abstract: The addressing of a particular qubit within a quantum register is a key prerequisite for scalable quantum computing. In general, executing a quantum gate with a single qubit, or a subset of qubits, affects the quantum states of all other qubits. This reduced fidelity of the whole quantum register could prevent the application of quantum error correction protocols and thus preclude scalability. We demonstrate addressing of individual qubits within a quantum byte (eight qubits) and measure the error induced in all non-addressed qubits (cross-talk) associated with the application of single-qubit gates. The quantum byte is implemented using microwave-driven hyperfine qubits of $^{171}$Yb$^+$ ions confined in a Paul trap augmented with a magnetic gradient field. The measured cross-talk is on the order of $10^{-5}$ and therefore below the threshold commonly agreed sufficient to efficiently realize fault-tolerant quantum computing. Hence, our results demonstrate how this threshold can be overcome with respect to cross-talk.


title: Differential branching fractions and isospin asymmetries of $B \to K^{(*)}\mu^{+}\mu^{-}$ decays

abstract: The isospin asymmetries of $B \to K\mu^+\mu^-$ and $B \to K^{*}\mu^+\mu^-$ decays and the partial branching fractions of the $B^0 \to K^0\mu^+\mu^-$, $B^+ \to K^+\mu^+\mu^-$ and $B^+ \to K^{*+}\mu^+\mu^-$ decays are measured as functions of the dimuon mass squared, $q^2$. The data used correspond to an integrated luminosity of 3$~$fb$^{-1}$ from proton-proton collisions collected with the LHCb detector at centre-of-mass energies of 7$\,$TeV and 8$\,$TeV in 2011 and 2012, respectively. The isospin asymmetries are both consistent with the Standard Model expectations. The three measured branching fractions, while individually consistent, all favour lower values than their respective Standard Model predictions.


title: Angular analysis of charged and neutral $B \to K \mu^+\mu^-$ decays

abstract: The angular distributions of the rare decays $B^+ \to K^+\mu^+\mu^-$ and $B^0 \to K^0_{\rm\scriptscriptstyle S}\mu^+\mu^-$ are studied with data corresponding to 3$~$fb$^{-1}$ of integrated luminosity, collected in proton-proton collisions at 7 and 8$~$TeV centre-of-mass energies with the LHCb detector. The angular distribution is described by two parameters, $F_{\rm H}$ and the forward-backward asymmetry of the dimuon system $A_{\rm FB}$, which are determined in bins of the dimuon mass squared. The parameter $F_{\rm H}$ is a measure of the contribution from (pseudo)scalar and tensor amplitudes to the decay width. The measurements of $A_{\rm FB}$ and $F_{\rm H}$ reported here are the most precise to date and are compatible with predictions from the Standard Model.


title: Chemlambda, universality and self-multiplication

abstract: We present chemlambda (or the chemical concrete machine), an artificial chemistry with the following properties: (a) is Turing complete, (b) has a model of decentralized, distributed computing associated to it, (c) works at the level of individual (artificial) molecules, subject of reversible, but otherwise deterministic interactions with a small number of enzymes, (d) encodes information in the geometrical structure of the molecules and not in their numbers, (e) all interactions are purely local in space and time. This is part of a larger project to create computing, artificial chemistry and artificial life in a distributed context, using topological and graphical languages.


title: Real time decoherence of Landau and Levitov quasi-particles in quantum Hall edge channels

abstract: Quantum Hall edge channels at integer filling factor provide a unique test-bench to understand decoherence and relaxation of single electronic excitations in a ballistic quantum conductor. In this Letter, we obtain a full visualization of the decoherence scenario of energy (Landau) and time (Levitov) resolved single electron excitations at filling factor $\nu=2$. We show that the Landau excitation exhibits a fast relaxation followed by spin-charge separation whereas the Levitov excitation only experiences spin-charge separation. We finally suggest to use Hong-Ou-Mandel type experiments to probe specific signatures of these different scenarios.


title: Fine Tuning in the Holographic Minimal Composite Higgs Model

abstract: In the minimal composite Higgs model (MCHM), the size of the Higgs mass and vacuum expectation value is determined, via the Higgs potential, by the size of operators that violate the global SO(5) symmetry. In 5D holographic realisations of this model, this translates into the inclusion of brane localised operators. However, the inclusion of all such operators results in a large and under-constrained parameter space. In this paper we study the level of fine-tuning involved in such a parameter space, focusing on the MCHM${}_5$. It is demonstrated that the gauge contribution to the Higgs potential can be suppressed by brane localised kinetic terms, but this is correlated with an enhancement to the S parameter. The fermion contribution, on the other hand, can be enhanced or suppressed. However this does not significantly improve the level of fine tunings, since the Higgs squared term, in the potential, requires a cancellation between the fermion and gauge contributions. Although we focus on the MCHM${}_5$, the fermion holographic Lagrangian - including all possible brane localised mass and kinetic terms - is derived in the appendix and will have applications to a wider range of composite Higgs models.


title: Neutrinos help reconcile Planck measurements with both Early and Local Universe

abstract: In light of the recent BICEP2 B-mode polarization detection, which implies a large inflationary tensor-to-scalar ratio r_{0.05}=0.2^{+0.07}_{-0.05}, we re-examine the evidence for an extra sterile massive neutrino, originally invoked to account for the tension between the cosmic microwave background (CMB) temperature power spectrum and local measurements of the expansion rate H0 and cosmological structure. With only the standard active neutrinos and power-law scalar spectra, this detection is in tension with the upper limit of r<0.11 (95% confidence) from the lack of a corresponding low multipole excess in the temperature anisotropy from gravitational waves. An extra sterile species with the same energy density as is needed to reconcile the CMB data with H0 measurements can also alleviate this new tension. By combining data from the Planck and ACT/SPT temperature spectra, WMAP9 polarization, H_0, baryon acoustic oscillation and local cluster abundance measurements with BICEP2 data, we find the joint evidence for a sterile massive neutrino increases to DeltaNeff=0.98\pm 0.26 for the effective number and ms= 0.52\pm 0.13 eV for the effective mass or 3.8 sigma and 4 sigma evidence respectively. We caution the reader that these results correspond to a joint statistical evidence and, in addition, astrophysical systematic errors in the clusters and H0 measurements, and small-scale CMB data could weaken our conclusions.


title: Infrared Gluon Resummation and pp total cross-sections

abstract: We address here the problem of describing both the total and the elastic proton-proton cross-section, through the four outstanding features of hadron scattering: (i) the optical point; (ii) the forward peak, (iii) the dip and (iv) the subsequent descent at larger momentum transfers. These issues are discussed through an eikonal model for the elastic amplitude where the matter distribution in impact parameter space is given by resummed soft gluons down into the infrared (IR) region. The asymptotic growth of the total cross-section is obtained in a mini-jet model and the taming (saturation) at high energies is related to confinement realized here through an IR singular strong coupling constant alpha_s(Q^2). We present an ansatz that links the IR singularity of alpha_s(Q^2) to that of asymptotic freedom (AF) (at lowest order). Through this model, we illustrate the problems that arise in a generic one-channel eikonal model employed for a description of the measured differential elastic cross-section at LHC7.


title: Chaotic inflation with curvaton induced running

abstract: While dust contamination now appears as a likely explanation of the apparent tension between the recent BICEP2 data and the Planck data, we will here explore the consequences of a large running in the spectral index as suggested by the BICEP2 collaboration as an alternative explanation of the apparent tension, but which would be in conflict with prediction of the simplest model of chaotic inflation. The large field chaotic model is sensitive to UV physics, and the nontrivial running of the spectral index suggested by the BICEP2 collaboration could therefore, if true, be telling us some additional new information about the UV completion of inflation. However, before we would be able to draw such strong conclusions with confidence, we would first have to also carefully exclude all the alternatives. Assuming monomial chaotic inflation is the right theory of inflation, we therefore explore the possibility that the running could be due to some other less UV sensitive degree of freedom. As an example, we ask if it is possible that the curvature perturbation spectrum has a contribution from a curvaton, which makes up for the large running in the spectrum. We find that this effect could mask the information we can extract about the UV physics. We also study different different models, which might lead to a large negative intrinsic running of the curvaton.


title: Boundary F-maximization

abstract: We discuss a variant of the F-theorem and F-maximization principles which applies to (super)conformal boundary conditions of 4d (S)CFTs.


title: Enthalpic and entropic phase transitions in high energy density nuclear matter

abstract: Features of Gas-Liquid (GL) and Quark-Hadron (QH) phase transitions (PT) in dense nuclear matter are under discussion in comparison with their terrestrial counterparts, e.g. so-called "plasma" PT in shock-compressed hydrogen, nitrogen, xenon etc. Both, GLPT and QHPT, when being represented in widely accepted $T - \mu$ diagram, are often considered as similar, i.e. amenable to one-to-one mapping by simple scaling. It is argued that this impression is illusive and that GLPT and QHPT belong to different classes: namely, GLPT is typical \emph{enthalpic} (VdW-like) PT while QHPT ("deconfinement-driven") is typical \emph{entropic} PT like hypothetical ionization- and dissociation-driven phase transitions in hot and dense hydrogen, nitrogen etc. of megabar pressure range. Newly introduced terms "enthalpic" and "entropic" PT, are defined and clarified in their illustrative comparison successively from $T - \mu$ to $P - T$ and $P - V$ phase diagrams for GLPT and QHPT from one side (dense nuclear plasma) vs. GLPT and "plasma" (or "dissociative") PTs from another side (electromagnetic plasma). Fundamental difference in topology of binodal and spinodal curves for enthalpic and entropic phase transitions are discussed and illustrated. Multilayered structure of thermodynamic surfaces $T(P,V)$, $U(P,V)$, $S(P,V)$ etc. as basic origin for intrinsic anomalous properties of all entropic PTs, is stressed.


title: Drag Forces, Neutral Wind and Electric Conductivity Changes in the Ionospheric E Region

abstract: The neutrals in the Earth environment are in fact free and subjected to drag forces (by ions). In this study we show that drag or friction forces in the ionosphere-thermosphere system initiate changes in the plasma flow, neutral wind, and the conductivity, as well. Ions and electrons embedded in neutral wind field of velocity u acquire drifts perpendicular both to the initial neutral wind velocity and to the ambient magnetic field producing a perpendicular electric current. This perpendicular electric current is defined by a conductivity derived previously and the polarization electric field u x B. Self-consistently, the free neutrals acquires an additional neutral velocity component perpendicular to the initial neutral wind velocity u. The Pedersen and Hall currents wane within a specific time inversely proportional to neutral-ion collision frequency. These findings are relevant to a better understanding of electric current generation, distribution and closure in weakly ionized plasmas where charged particles (plasma) and neutrals are not bound (free) as the ionosphere and thermosphere in the Earth environment, the solar atmosphere-chromosphere region and even dusty plasmas. The theoretical results supposedly address to recent observations of meso-scale neutral wind rotation in the vicinity of auroral arcs (Kosch et al, 2010).


title: Energy-Efficient Adaptive Video Transmission: Exploiting Rate Predictions in Wireless Networks

abstract: The unprecedented growth of mobile video traffic is adding significant pressure to the energy drain at both the network and the end user. Energy efficient video transmission techniques are thus imperative to cope with the challenge of satisfying user demand at sustainable costs. In this paper, we investigate how predicted user rates can be exploited for energy efficient video streaming with the popular HTTP-based Adaptive Streaming (AS) protocols (e.g. DASH). To this end, we develop an energy-efficient Predictive Green Streaming (PGS) optimization framework that leverages predictions of wireless data rates to achieve the following objectives 1) minimize the required transmission airtime without causing streaming interruptions, 2) minimize total downlink Base Station (BS) power consumption for cases where BSs can be switched off in deep sleep, and 3) enable a trade-off between AS quality and energy consumption. Our framework is first formulated as a Mixed Integer Linear Program (MILP) where decisions on multi-user rate allocation, video segment quality, and BS transmit power are jointly optimized. Then, to provide an online solution, we present a polynomial-time heuristic algorithm that decouples the PGS problem into multiple stages. We provide a performance analysis of the proposed methods by simulations, and numerical results demonstrate that the PGS framework yields significant energy savings.


title: Breaking and restoration of rotational symmetry on the lattice for bound state multiplets

abstract: We explore the breaking of rotational symmetry on the lattice for bound state energies and practical methods for suppressing this breaking. We demonstrate the general problems associated with lattice discretization errors and finite-volume errors using an $\alpha$ cluster model for $^8$Be and $^{12}$C. We consider the two and three $\alpha$-particle systems and focus on the lowest states with non-zero angular momentum which split into multiplets corresponding to different irreducible representations of the cubic group. We examine the dependence of such splittings on the lattice spacing and box size. We find that lattice spacing errors are closely related to the commensurability of the lattice with the intrinsic length scales of the system. We also show that rotational symmetry breaking effects can be significantly reduced by using improved lattice actions, and that the physical energy levels are accurately reproduced by the weighted average of a given spin multiplets.


title: Efficient parametric inference for stochastic biological systems with measured variability

abstract: Stochastic systems in biology often exhibit substantial variability within and between cells. This variability, as well as having dramatic functional consequences, provides information about the underlying details of the system's behaviour. It is often desirable to infer properties of the parameters governing such systems given experimental observations of the mean and variance of observed quantities. In some circumstances, analytic forms for the likelihood of these observations allow very efficient inference: we present these forms and demonstrate their usage. When likelihood functions are unavailable or difficult to calculate, we show that an implementation of approximate Bayesian computation (ABC) is a powerful tool for parametric inference in these systems. However, the calculations required to apply ABC to these systems can also be computationally expensive, relying on repeated stochastic simulations. We propose an ABC approach that cheaply eliminates unimportant regions of parameter space, by addressing computationally simple mean behaviour before explicitly simulating the more computationally demanding variance behaviour. We show that this approach leads to a substantial increase in speed when applied to synthetic and experimental datasets.


title: Intrinsic justifications for large-cardinal axioms

abstract: William Tait and Peter Koellner have written on the topic of which reflection principles are intrinsically justified. Phillip Welch and Sam Roberts have recently sought to motivate much stronger reflection principles. This work also had some similarities with previous work of Victoria Marshall's on reflection principles, as may be seen from considerations which we will seek to articulate in what follows. The statement of our three philosophical theses shall be given in the Introduction. We will present a set of technical results in support of three philosophical theses which will be articulated at the end of the Introduction.


title: On the size of the fibers of spectral maps induced by semialgebraic embeddings

abstract: Let ${\mathcal S}(M)$ be the ring of (continuous) semialgebraic functions on a semialgebraic set $M\subset{\mathbb R}^m$ and ${\mathcal S}^*(M)$ its subring of bounded semialgebraic functions. In this work we compute the size of the fibers of the spectral maps ${\rm Spec}({\tt j})_1:{\rm Spec}({\mathcal S}(N))\to{\rm Spec}({\mathcal S}(M))$ and ${\rm Spec}({\tt j})_2:{\rm Spec}({\mathcal S}^*(N))\to{\rm Spec}({\mathcal S}^*(M))$ induced by the inclusion ${\tt j}:N\hookrightarrow M$ of a semialgebraic subset $N$ of $M$. The ring ${\mathcal S}(M)$ can be understood as the localization of ${\mathcal S}^*(M)$ at the multiplicative subset ${\mathcal W}_M$ of those bounded semialgebraic functions on $M$ with empty zero set. This provides a natural inclusion ${\mathfrak i}_M:{\rm Spec}({\mathcal S}(M))\hookrightarrow{\rm Spec}({\mathcal S}^*(M))$ that reduces both problems above to an analysis of the fibers of the spectral map ${\rm Spec}({\tt j})_2:{\rm Spec}({\mathcal S}^*(N))\to{\rm Spec}({\mathcal S}^*(M))$. If we denote $Z:={\rm cl}_{{\rm Spec}({\mathcal S}^*(M))}(M\setminus N)$, it holds that the restriction map ${\rm Spec}({\tt j})_2|:{\rm Spec}({\mathcal S}^*(N))\setminus{\rm Spec}({\tt j})_2^{-1}(Z)\to{\rm Spec}({\mathcal S}^*(M))\setminus Z$ is a homeomorphism. Our problem concentrates on the computation of the size of the fibers of ${\rm Spec}({\tt j})_2$ at the points of $Z$. The size of the fibers of prime ideals `close' to the complement $Y:=M\setminus N$ provides valuable information concerning how $N$ is immersed inside $M$. If $N$ is dense in $M$, the map ${\rm Spec}({\tt j})_2$ is surjective and the generic fiber of a prime ideal ${\mathfrak p}\in Z$ contains infinitely many elements. However, finite fibers may also appear and we provide a criterium to decide when the fiber ${\rm Spec}({\tt j})_2^{-1}({\mathfrak p})$ is a finite set for ${\mathfrak p}\in Z$.


title: Free subgroups of special linear groups

abstract: We present a proof of the following claim. Suppose that $n$ is an integer such that $n>1$ and that $k$ is any field. Suppose that $g$ is an element of $\mathrm{SL}(n,k)$ of infinite order. Then the set $\{h\in\mathrm{SL}(n,k)\mid <g,h>$ is a free group of rank two$\}$ is a Zariski dense subset of $\mathrm{SL}(n,\bar{k})$ where $\bar{k}$ is an algebraic closure of $k$.


title: Periodic Cluster Mutations and Related Integrable Maps

abstract: One of the remarkable properties of cluster algebras is that any cluster, obtained from a sequence of mutations from an initial cluster, can be written as a Laurent polynomial in the initial cluster (known as the "Laurent phenomenon"). There are many nonlinear recurrences which exhibit the Laurent phenomenon and thus unexpectedly generate integer sequences. The mutation of a typical quiver will not generate a recurrence, but rather an erratic sequence of exchange relations. How do we "design" a quiver which gives rise to a given recurrence? A key role is played by the concept of "periodic cluster mutation", introduced in 2009. Each recurrence corresponds to a finite dimensional map. In the context of cluster mutations, these are called "cluster maps". What properties do cluster maps have? Are they integrable in some standard sense? In this review I describe how integrable maps arise in the context of cluster mutations. I first explain the concept of "periodic cluster mutation", giving some classification results. I then give a review of what is meant by an integrable map and apply this to cluster maps. Two classes of integrable maps are related to interesting monodromy problems, which generate interesting Poisson algebras of functions, used to prove complete integrability and a linearisation. A connections to the Hirota-Miwa equation is explained.


title: Observables for General Relativity related to geometry

abstract: We present a new scheme of defining invariant observables for general relativistic systems. The scheme is based on the introduction of an observer which endowes the construction with a straightforward physical interpretation. The observables are invariant with respect to spatial diffeomorphisms which preserve the observer. The limited residual spatial gauge freedom is studied and fully understood. A full canonical analysis of the observables is presented: we analyze their variations, Poisson algebra and discuss their dynamics. Lastly, the observables are used to solve the vector constraint, which triggers a possible considerable reduction of the degrees of freedom of general relativistic theories.


title: Avoidance and Coalescence of Delamination Patterns

abstract: Delamination of coatings and thin films from substrates generates a fascinating variety of patterns, from circular blisters to wrinkles and labyrinth domains, in a way that is not completely understood. We report on large-scale numerical simulations of the universal problem of avoidance and coalescence of delamination wrinkles, focusing on a case study of graphene sheets on patterned substrates. By nucleating and growing wrinkles in a controlled way, we are able to characterize how their interactions, mediated by long-range stress fields, determine their formation and morphology. We also study how the interplay between geometry and stresses drives a universal transition from conformation to delamination when sheets are deposited on particle-decorated substrates. Our results are directly applicable to strain engineering of graphene and also uncover universal phenomena observed at all scales, as for example in geomembrane deposition.


title: Riemannian Newton-type methods for joint diagonalization on the Stiefel manifold with application to independent component analysis

abstract: The joint approximate diagonalization of non-commuting symmetric matrices is an important process in independent component analysis. This problem can be formulated as an optimization problem on the Stiefel manifold that can be solved using Riemannian optimization techniques. Among the available optimization techniques, this study utilizes the Riemannian Newton's method for the joint diagonalization problem on the Stiefel manifold, which has quadratic convergence. In particular, the resultant Newton's equation can be effectively solved by means of the Kronecker product and the vec and veck operators, which reduce the dimension of the equation to that of the Stiefel manifold. Numerical experiments are performed to show that the proposed method improves the accuracy of the approximate solution to this problem. The proposed method is also applied to independent component analysis for the image separation problem. The proposed Newton method further leads to a novel and fast Riemannian trust-region Newton method for the joint diagonalization problem.


title: Dual-structure Data Center Multicast Using Software Defined Networking

abstract: Data center applications use multicast as an effective method to reduce bandwidth cost. However, traditional multicast protocols designed for IP networks are usually bottlenecked by the limited state capacity on switches. In this paper, we propose a scalable multicast solution on fat tree networks based on the observation that data center multicast traffic has strong heterogeneity. We propose to remove the multicast management logic from switches and use the SDN controller to manage multicast groups. The proposed Dual-structure Multicast (DuSM) determines elephant and mice groups according to their traffic amounts and treats them separately. For each elephant group, the controller installs multicast state to maintain multiple shared trees and the group traffic will be balanced evenly among the trees to avoid congestion. For mice groups, the controller applies state-free mutlicast that trades bandwidth capacity for state capacity, such as multicast-to-unicast translation. Our experiments using real multicast traffic data show that the number of groups DuSM supports can be 300% of that of IP multicast. DuSM also achieves traffic balance among links.