title: Distance to the discriminant

abstract: We will study algebraic hyper-surfaces on the real unit sphere $\mathcal S^{n-1}$ given by an homogeneous polynomial of degree d in n variables with the view point, rarely exploited, of Euclidian geometry using Bombieri's scalar product and norm. This view point is mostly present in works about the topology of random hyper-surfaces \cite{ShubSmale93, GayetWelschinger14}. Our first result (lemma \ref{distgen} page \pageref{distgen}) is a formula for the distance $\dist(P,\Delta)$ of a polynomial to the {\em real discriminant} $\Delta$, i.e. the set of polynomials with a real singularity on the sphere. This formula is given for any distance coming from a scalar product on the vector space of polynomials. Then, we concentrate on Bombieri scalar product and its remarkable properties. For instance we establish a combinatoric formula for the scalar product of two products of linear-forms (lemma \ref{scalarlinear} page \pageref{scalarlinear}) which allows to give a (new ?) proof of the invariance of Bombieri's norm by composition with the orthogonal group. These properties yield a simple formula for the distance in theorem \ref{bombineqdist} page \pageref{bombineqdist} from which we deduce the following inequality: $$\dist(P, \Delta) \leq \min_{x \hbox{ critical point of } P \hbox{ on } \mathcal S^{n-1}} |P(x)|$$ The definition \ref{maindef} page \pageref{maindef} classifies in two categories the ways to make a polynomial singular to realise the distance to the discriminant. Then, we show, in theorem \ref{extremal} page \pageref{extremal}, that one of the category is forbidden in the case of an {\em extremal} hyper-surfaces (i.e. with maximal Betti numbers). This implies as a corollary \ref{bombeqdistbis} (page \pageref{bombeqdistbis}) that the above inequality becomes an equality is that case. The main result in this paper concerns extremal hyper-surfaces $P=0$ that maximise the distance to the discriminant (with $\|P\| = 1$). They are very remarkable objects which enjoy properties similar to those of quadratic forms: they are linear combination of powers of linear forms $x \mapsto \langle x | u_i \rangle^d$ where the vectors $u_i$ are the critical points of $P$ on $\mathcal S^{n-1}$ corresponding to the least positive critical value of $|P|$. This is corollary \ref{comblinbis} page \pageref{comblinbis} of a similar theorem \ref{comblin} page \pageref{comblin} for all algebraic hyper-surfaces. The next section is devoted to homogeneous polynomials in $2$ variables. We prove that a polynomial of degree $d$ with $2d$ regularly spaced roots on the unit circle is a local maximum of the distance to the discriminant among polynomials with the same norm and number of roots. We conjecture that it is a global maximum and that the polynomial of degree $d$ with $2r$ regularly spaced roots on the unit circle is also a similar global maximum when $d < r \leq 2d$. This claim is supported by the fact that we were able to prove the consequence of this together with corollary \ref{comblinbis} which yields to interesting trigonometric identities that we could not find somewhere else (proposition \ref{trigo} page \pageref{trigo}). We also obtain metric information about algebraic hyper-surfaces. First, in the case of extremal hyper-surface, we give an upper bound (theorem \ref{bandwidth} page \pageref{bandwidth}) on the length of an integral curve of the gradient of $P$ in the band where $|P|$ is less that the least positive critical value of $|P|$. Then, a general lower bound on the size and distance between the connected components of the zero locus of $P$ (corollary \ref{sphereinside} and theorem \ref{distancebetween}). The last section will present experimental results among which are five extremal sextic curves far from the discriminant. These are obtained by very long running numerical optimisation (many months) some of which are not terminated.


title: On Hodge Theory of Singular Plane Curves

abstract: The dimensions of the graded quotients of the cohomology of a plane curve complement with respect to the Hodge filtration are described in terms of simple geometrical invariants. The case of curves with ordinary singularities is discussed in detail.


title: Meteorological time series forecasting based on MLP modelling using heterogeneous transfer functions

abstract: In this paper, we propose to study four meteorological and seasonal time series coupled with a multi-layer perceptron (MLP) modeling. We chose to combine two transfer functions for the nodes of the hidden layer, and to use a temporal indicator (time index as input) in order to take into account the seasonal aspect of the studied time series. The results of the prediction concern two years of measurements and the learning step, eight independent years. We show that this methodology can improve the accuracy of meteorological data estimation compared to a classical MLP modelling with a homogenous transfer function.


title: Detecting the degree of macroscopic quantumness using an overlap measurement

abstract: We investigate how to experimentally detect a recently proposed measure to quantify macroscopic quantum superpositions [Phys. Rev. Lett. 106, 220401 (2011)], namely, "macroscopic quantumness" $\mathcal{I}$. Schemes based on overlap measurements for harmonic oscillator states and for qubit states are extensively investigated. Effects of detection inefficiency and coarse-graining are analyzed in order to assess feasibility of the schemes.


title: Relaxation to equilibrium of generalized East processes on ${\mathbb{Z}}^d$: Renormalization group analysis and energy-entropy competition

abstract: We consider a class of kinetically constrained interacting particle systems on ${\mathbb{Z}}^d$ which play a key role in several heuristic qualitative and quantitative approaches to describe the complex behavior of glassy dynamics. With rate one and independently among the vertices of ${\mathbb{Z}}^d$, to each occupation variable $\eta_x\in\{0,1\}$ a new value is proposed by tossing a $(1-q)$-coin. If a certain local constraint is satisfied by the current configuration the proposed move is accepted, otherwise it is rejected. For $d=1$, the constraint requires that there is a vacancy at the vertex to the left of the updating vertex. In this case, the process is the well-known East process. On ${\mathbb{Z}}^2$, the West or the South neighbor of the updating vertex must contain a vacancy, similarly, in higher dimensions. Despite of their apparent simplicity, in the limit $q\searrow0$ of low vacancy density, corresponding to a low temperature physical setting, these processes feature a rather complicated dynamic behavior with hierarchical relaxation time scales, heterogeneity and universality. Using renormalization group ideas, we first show that the relaxation time on ${\mathbb{Z}}^d$ scales as the $1/d$-root of the relaxation time of the East process, confirming indications coming from massive numerical simulations. Next, we compute the relaxation time in finite boxes by carefully analyzing the subtle energy-entropy competition, using a multiscale analysis, capacity methods and an algorithmic construction. Our results establish dynamic heterogeneity and a dramatic dependence on the boundary conditions. Finally, we prove a rather strong anisotropy property of these processes: the creation of a new vacancy at a vertex $x$ out of an isolated one at the origin (a seed) may occur on (logarithmically) different time scales which heavily depend not only on the $\ell_1$-norm of $x$ but also on its direction.


title: Geometry of warped product semi-slant submanifolds of Kenmotsu manifolds

abstract: In this paper, we study semi-slant submanifolds and their warped products in Kenmotsu manifolds. The existence of such warped products in Kenmotsu manifolds is shown by an example and a characterization. A sharp relation is obtained as a lower bound of the squared norm of second fundamental form in terms of the warping function and the slant angle. The equality case is also considered in this paper. Finally, we provide some applications of our derived results.


title: Lower bounds for on-line graph colorings

abstract: We propose two strategies for Presenter in on-line graph coloring games. The first one constructs bipartite graphs and forces any on-line coloring algorithm to use $2\log_2 n - 10$ colors, where $n$ is the number of vertices in the constructed graph. This is best possible up to an additive constant. The second strategy constructs graphs that contain neither $C_3$ nor $C_5$ as a subgraph and forces $\Omega(\frac{n}{\log n}^\frac{1}{3})$ colors. The best known on-line coloring algorithm for these graphs uses $O(n^{\frac{1}{2}})$ colors.


title: Refinement-Based Specification: Requirements and Architecture

abstract: This paper presents the methodology for the system requirements and architecture w.r.t. their decomposition and refinement. It also introduces ideas of refinement layers and of refinement-based verification.


title: Upper bound on cubicity in terms of boxicity for graphs of low chromatic number

abstract: The boxicity (respectively cubicity) of a graph $G$ is the minimum non-negative integer $k$, such that $G$ can be represented as an intersection graph of axis-parallel $k$-dimensional boxes (respectively $k$-dimensional unit cubes) and is denoted by $box(G)$ (respectively $cub(G)$). It was shown by Adiga and Chandran (Journal of Graph Theory, 65(4), 2010) that for any graph $G$, $cub(G) \le$ box$(G) \left \lceil \log_2 \alpha \right \rceil$, where $\alpha = \alpha(G)$ is the cardinality of the maximum independent set in $G$. In this note we show that $cub(G) \le 2 \left \lceil \log_2 \chi(G) \right \rceil box(G) + \chi(G) \left \lceil \log_2 \alpha(G) \right \rceil $. In general, this result can provide a much better upper bound than that of Adiga and Chandran for graph classes with bounded chromatic number. For example, for bipartite graphs we get, $cub(G) \le 2 (box(G) + \left \lceil \log_2 \alpha(G) \right \rceil )$. Moreover we show that for every positive integer $k$, there exist graphs with chromatic number $k$, such that for every $\epsilon > 0$, the value given by our upper bound is at most $(1+\epsilon)$ times their cubicity. Thus, our upper bound is almost tight.


title: Nanowire Spin Torque Oscillator Driven by Spin Orbit Torques

abstract: Spin torque from spin current applied to a nanoscale region of a ferromagnet can act as negative magnetic damping and thereby excite self-oscillations of its magnetization. In contrast, spin torque uniformly applied to the magnetization of an extended ferromagnetic film does not generate self-oscillatory magnetic dynamics but leads to reduction of the saturation magnetization. Here we report studies of the effect of spin torque on a system of intermediate dimensionality - a ferromagnetic nanowire. We observe coherent self-oscillations of magnetization in a ferromagnetic nanowire serving as the active region of a spin torque oscillator driven by spin orbit torques. Our work demonstrates that magnetization self-oscillations can be excited in a one-dimensional magnetic system and that dimensions of the active region of spin torque oscillators can be extended beyond the nanometer length scale.


title: Quantum effects in the diffusion of hydrogen on Ru(0001)

abstract: An understanding of hydrogen diffusion on metal surfaces is important, not just for its role in heterogeneous catalysis and hydrogen fuel cell technology, but also because it provides model systems where tunneling can be studied under well-defined conditions. Here we report helium spin-echo measurements of the atomic-scale motion of hydrogen on the Ru(0001) surface between 75 and 250 K. Quantum effects are evident at temperatures as high as 200 K, while below 120 K we observe a tunneling-dominated temperature independent jump rate of 1.9$\times$10$^9$ s$^{-1}$, many orders of magnitude faster than previously seen. Quantum transition state theory calculations based on ab initio path-integral simulations reproduce the temperature dependence of the rate at higher temperatures and predict a crossover to tunneling-dominated diffusion at low temperatures, although the tunneling rate is under-estimated, highlighting the need for future experimental and theoretical studies of hydrogen diffusion on well-defined surfaces.


title: A semigroup-theoretical view of direct-sum decompositions and associated combinatorial problems

abstract: Let $R$ be a ring and let $\mathcal C$ be a small class of right $R$-modules which is closed under finite direct sums, direct summands, and isomorphisms. Let $\mathcal V (\mathcal C)$ denote a set of representatives of isomorphism classes in $\mathcal C$ and, for any module $M$ in $\mathcal C$, let $[M]$ denote the unique element in $\mathcal V (\mathcal C)$ isomorphic to $M$. Then $\mathcal V (\mathcal C)$ is a reduced commutative semigroup with operation defined by $[M] + [N] = [M \oplus N]$, and this semigroup carries all information about direct-sum decompositions of modules in $\mathcal C$. This semigroup-theoretical point of view has been prevalent in the theory of direct-sum decompositions since it was shown that if $\operatorname{End}_R (M)$ is semilocal for all $M\in \mathcal C$, then $\mathcal V (\mathcal C)$ is a Krull monoid. Suppose that the monoid $\mathcal V (\mathcal C)$ is Krull with a finitely generated class group (for example, when $\mathcal C$ is the class of finitely generated torsion-free modules and $R$ is a one-dimensional reduced Noetherian local ring). In this case we study the arithmetic of $\mathcal V (\mathcal C)$ using new methods from zero-sum theory. Furthermore, based on module-theoretic work of Lam, Levy, Robson, and others we study the algebraic and arithmetic structure of the monoid $\mathcal V (\mathcal C)$ for certain classes of modules over Pr\"ufer rings and hereditary Noetherian prime rings.


title: Do we really need to write documentation for a system? CASE tool add-ons: generator+editor for a precise documentation

abstract: One of the common problems of system development projects is that the system documentation is often outdated and does not describe the latest version of the system. The situation is even more complicated if we are speaking not about a natural language description of the system, but about its formal specification. In this paper we discuss how the problem could be solved by updating the documentation automatically, by generating a new formal specification from the model if the model is frequently changed.


title: Cosmological constraints on dark energy

abstract: It has been only ~15 years since the discovery of dark energy (although some may argue there were strong indications even earlier). In the short time since measurements of type Ia supernovae indicated an accelerating universe, many other techniques have now confirmed the acceleration is real. The variety of ways in which dark energy has been confirmed is one of the reasons we are so confident in the statement that most of the energy in the universe is in a form we can not see except through its gravitational influence. This review aims to summarise briefly the many varied ways we now have measured dark energy. The fact that these different techniques all indicate that the simplest model remains the best -- that dark energy contributes a constant background acceleration -- is remarkable, since each of these different types of measurements represented opportunities for this simplest model to fail. Although we currently lack a compelling theoretical explanation for this acceleration, any explanation will have to explain the wide variety of complementary observations that we review here. This is an informal presentation, following the lines of the talk I presented at the General Relativity and Gravitation (GR20) conference in Warsaw in July 2013.


title: A relative Hilbert-Mumford criterion

abstract: We generalize the classical Hilbert-Mumford criteria for GIT (semi-)stability in terms of one parameter subgroups of a linearly reductive group G over a field k, to the relative situation of an equivariant, projective morphism X -> Spec A to a noetherian k-algebra A. We also extend the classical projectivity result for GIT quotients: the induced morphism X^ss/G -> Spec A^G is projective. As an example of applications to moduli problems, we consider degenerations of Hilbert schemes of points.


title: The role of excited states in rp-process for sd shell nuclei

abstract: We investigate the importance of proton capture on low-lying excited states that are thermally excited in hot stellar environments. In addition to the previously known case of $^{32}$Cl$(p,\gamma)^{33}$Ar we find several other sd-shell nuclei with large stellar enhancement factors. We discuss the uncertainty this introduces into rp-process nucleosynthesis.


title: Ice quivers with potential arising from once-punctured polygons and Cohen-Macaulay modules

abstract: Given a tagged triangulation of a once-punctured polygon $P^*$ with $n$ vertices, we associate an ice quiver with potential such that the frozen part of the associated frozen Jacobian algebra has the structure of a Gorenstein $K[X]$-order $\Lambda$. Then we show that the stable category of the category of Cohen-Macaulay $\Lambda$-modules is equivalent to the cluster category $\mathcal{C}$ of type $D_n$. It gives a natural interpretation of the usual indexation of cluster tilting objects of $\mathcal{C}$ by tagged triangulations of $P^*$. Moreover, it extends naturally the triangulated categorification by $\mathcal{C}$ of the cluster algebra of type $D_n$ to an exact categorification by adding coefficients corresponding to the sides of $P$. Finally, we lift the previous equivalence of categories to an equivalence between the stable category of graded Cohen-Macaulay $\Lambda$-modules and the bounded derived category of modules over a path algebra of type $D_n$.


title: Rejection Mechanism in 2D Bounded Confidence Provides more Conformity

abstract: We add a rejection mechanism (negative influence) into a two-dimensions bounded confidence model. The principle is that one shifts aways from a close attitude of one's interlocutor, when there is a strong disagreement on the other attitude. The model shows metastable clusters, which maintain themselves through opposite influences of competitor clusters. Our analysis and first experiments support the hypothesis that the number of clusters grows linearly with the inverse of the uncertainty, whereas this growth is quadratic in the bounded confidence model.


title: Effects of radiation transfer on the structure of self-gravitating disks, their fragmentation and evolution of the fragments

abstract: We investigate structure of self-gravitating disks, their fragmentation and evolution of the fragments (the clumps) using both analytic approach and three-dimensional radiation hydrodynamics simulations starting from molecular cores. The simulations show that non-local radiative transfer determines disk temperature. We find the disk structure is well described by an analytical model of quasi-steady self-gravitating disk with radial radiative transfer. Because the radiative process is not local and radiation from the interstellar medium cannot be ignored, the local radiative cooling would not be balanced with the viscous heating in a massive disk around a low mass star. In our simulations, there are cases in which the disk does not fragment even though it satisfies the fragmentation criterion based on disk cooling time ($Q \sim 1$ and $\Omega t_{\rm cool}\sim 1$). This indicates that at least the criterion is not sufficient condition for fragmentation. We determine the parameter range for the host cloud core in which disk fragmentation occurs. In addition, we show that the temperature evolution of the center of the clump is close to that of typical first cores and the minimum initial mass of clumps to be about a few Jupiter mass.


title: Nonperturbative effects of divergent ghost loops

abstract: We report on a recently unveiled connection at the nonperturbative level between the masslessness of the ghost, the precise form of the gluon propagator in the deep infrared, and the divergences observed in certain kinematic limits of the three-gluon vertex.


title: A very young, compact bipolar H$_2$O maser outflow in the intermediate-mass star-forming LkH$\alpha$ 234 region

abstract: We report multi-epoch VLBI H$_2$O maser observations towards the compact cluster of YSOs close to the Herbig Be star LkH$\alpha$ 234. This cluster includes LkH$\alpha$ 234 and at least nine more YSOs that are formed within projected distances of $\sim$10 arcsec ($\sim$9,000 au). We detect H$_2$O maser emission towards four of these YSOs. In particular, our VLBI observations (including proper motion measurements) reveal a remarkable very compact ($\sim$0.2 arcsec = $\sim$180 au), bipolar H$_2$O maser outflow emerging from the embedded YSO VLA 2. We estimate a kinematic age of $\sim$40 yr for this bipolar outflow, with expanding velocities of $\sim$20 km s$^{-1}$ and momentum rate $\dot M_w V_w$ $\simeq$ $10^{-4}-10^{-3}$ M$_{\odot}$ yr$^{-1}$ km s$^{-1}$$\times (\Omega$/$4\pi)$, powered by a YSO of a few solar masses. We propose that the outflow is produced by recurrent episodic jet ejections associated with the formation of this YSO. Short-lived episodic ejection events have previously been found towards high-mass YSOs. We show now that this behaviour is also present in intermediate-mass YSOs. These short-lived episodic ejections are probably related to episodic increases in the accretion rate, as observed in low-mass YSOs. We predict the presence of an accretion disk associated with VLA 2. If detected, this would represent one of the few known examples of intermediate-mass stars with a disk-YSO-jet system at scales of a few hundred au.


title: Sub-photospheric, radiation mediated shocks in GRBs: Multiple shock emission and the Band spectrum

abstract: We compute the time integrated, thermal emission produced by a series of radiation mediated shocks that emerge from the photosphere of a GRB outflow. We show that for a sufficiently broad distribution of shock strengths, the overall shape of the time integrated spectral energy distribution below the peak is a power law, $\nu E_\nu\propto \nu^\alpha$, with a slope $1<\alpha<2$. A substructure in the SED can also be produced in this model for certain choices of the shock train distribution. In particular, we demonstrate that our model can reproduce the double-peak SED observed in some bursts, in events whereby a strong shock is followed by a sequence sufficiently weaker ones.


title: Binary versus non-binary information in real time series: empirical results and maximum-entropy matrix models

abstract: The dynamics of complex systems, from financial markets to the brain, can be monitored in terms of multiple time series of activity of the constituent units, such as stocks or neurons respectively. While the main focus of time series analysis is on the magnitude of temporal increments, a significant piece of information is encoded into the binary projection (i.e. the sign) of such increments. In this paper we provide further evidence of this by showing strong nonlinear relations between binary and non-binary properties of financial time series. These relations are a novel quantification of the fact that extreme price increments occur more often when most stocks move in the same direction. We then introduce an information-theoretic approach to the analysis of the binary signature of single and multiple time series. Through the definition of maximum-entropy ensembles of binary matrices and their mapping to spin models in statistical physics, we quantify the information encoded into the simplest binary properties of real time series and identify the most informative property given a set of measurements. Our formalism is able to accurately replicate, and mathematically characterize, the observed binary/non-binary relations. We also obtain a phase diagram allowing us to identify, based only on the instantaneous aggregate return of a set of multiple time series, a regime where the so-called `market mode' has an optimal interpretation in terms of collective (endogenous) effects, a regime where it is parsimoniously explained by pure noise, and a regime where it can be regarded as a combination of endogenous and exogenous factors. Our approach allows us to connect spin models, simple stochastic processes, and ensembles of time series inferred from partial information.


title: First applications of generalized Li's criterion to study the Riemann zeta-function zeroes location

abstract: We present the first applications of the recently established by us (arXiv:1304.7895; Ukrainian Math. J. - 2014. -66. - P. 371-383) generalized Li's criterion equivalent to the Riemann Hypothesis. This criterion is the statement that the Riemann hypothesis is equivalent to the non-negativity of the derivatives 1/((m-1)!)*d^m/dz^m((z+b)^(m-1)*ln(\xi(z))) for z=b+1 of the Riemann xi-function for all real b>-1/2 and all m = 1, 2, 3... We show that for any positive integer n there is such value of b_n (depending on n) that for all m<=n and b>b_n, inequality 1/((m-1)!)*d^m/dz^m((z+b)^(m-1)*ln(\xi(z))) for z=b+1 >=0 does hold true. Assuming RH, we also have found an asymptotic of the generalized Li's sums over non-trivial Rieman zeroes for large n, and discuss what asymptotic of 1/((m-1)!)*d^m/dz^m((z+b)^(m-1)*ln((z-1)*(\zeta(z))) at the point z+b+1 is required for the Riemann hypothesis holds true.


title: Engineering bands of extended electronic states in a class of topologically disordered and quasiperiodic lattices

abstract: We show that a discrete tight-binding model representing either a random or a quasiperiodic array of bonds, can have the entire energy spectrum or a substantial part of it absolutely continuous, populated by extended eigenfunctions only, when atomic sites are coupled to the lattice locally, or non-locally from one side. The event can be fine-tuned by controlling only the host-adatom coupling in one case, while in two other cases cited here an additional external magnetic field is necessary. The delocalization of electronic states for the group of systems presented here is sensitive to a subtle correlation between the numerical values of the Hamiltonian parameters - a fact that is not common in the conventional cases of Anderson localization. Our results are analytically exact, and supported by numerical evaluation of the density of states and electronic transmission coefficient.


title: Weak MSO+U with Path Quantifiers over Infinite Trees

abstract: This paper shows that over infinite trees, satisfiability is decidable for weak monadic second-order logic extended by the unbounding quantifier U and quantification over infinite paths. The proof is by reduction to emptiness for a certain automaton model, while emptiness for the automaton model is decided using profinite trees.


title: Assessing the players'performance in the game of bridge: A fuzzy logic approach

abstract: Contract bridge occupies nowadays a position of great prestige being, together with chess, the only mind games officially recognized by the International Olympic Committee. In the present paper an innovative method for assessing the total performance of bridge- players' belonging to groups of special interest(e.g. different bridge clubs during a tournament, men and women, new and old players, etc) is introduced, which is based on principles of fuzzy logic. For this, the cohorts under assessment are represented as fuzzy subsets of a set of linguistic labels characterizing their performance and the centroid defuzzification method is used to convert the fuzzy data collected from the game to a crisp number. This new method of assessment could be used informally as a complement of the official bridge-scoring methods for statistical and other obvious reasons. Two real applications related to simultaneous tournaments with pre-dealt boards, organized by the Hellenic Bridge Federation, are also presented, illustrating the importance of our results in practice.


title: Nature of proton transport in a water-filled carbon nanotube and in liquid water

abstract: Proton transport (PT) in bulk liquid water and within a thin water-filled carbon nanotube has been examined with ab initio pathintegral molecular dynamics (PIMD). Barrierless proton transfer is observed in each case when quantum nuclear effects (QNEs) are accounted for. The key difference between the two systems is that in the nanotube facile PT is facilitated by a favorable prealignment of water molecules, whereas in bulk liquid water solvent reorganization is required prior to PT. Configurations where the quantum excess proton is delocalized over several adjacent water molecules along with continuous interconversion between different hydration states reveals that, as in liquid water, the hydrated proton under confinement is best described as a fluxional defect, rather than any individual idealized hydration state such as Zundel, Eigen, or the so-called linear H7O3+ complex along the water chain. These findings highlight the importance of QNEs in intermediate strength hydrogen bonds (HBs) and explain why H+ diffusion through nanochannels is impeded much less than other cations.


title: Graph-based data integration predicts long-range regulatory interactions across the human genome

abstract: Transcriptional regulation of gene expression is one of the main processes that affect cell diversification from a single set of genes. Regulatory proteins often interact with DNA regions located distally from the transcription start sites (TSS) of the genes. We developed a computational method that combines open chromatin and gene expression information for a large number of cell types to identify these distal regulatory elements. Our method builds correlation graphs for publicly available DNase-seq and exon array datasets with matching samples and uses graph-based methods to filter findings supported by multiple datasets and remove indirect interactions. The resulting set of interactions was validated with both anecdotal information of known long-range interactions and unbiased experimental data deduced from Hi-C and CAGE experiments. Our results provide a novel set of high-confidence candidate open chromatin regions involved in gene regulation, often located several Mb away from the TSS of their target gene.


title: Formal Proofs for Nonlinear Optimization

abstract: We present a formally verified global optimization framework. Given a semialgebraic or transcendental function $f$ and a compact semialgebraic domain $K$, we use the nonlinear maxplus template approximation algorithm to provide a certified lower bound of $f$ over $K$. This method allows to bound in a modular way some of the constituents of $f$ by suprema of quadratic forms with a well chosen curvature. Thus, we reduce the initial goal to a hierarchy of semialgebraic optimization problems, solved by sums of squares relaxations. Our implementation tool interleaves semialgebraic approximations with sums of squares witnesses to form certificates. It is interfaced with Coq and thus benefits from the trusted arithmetic available inside the proof assistant. This feature is used to produce, from the certificates, both valid underestimators and lower bounds for each approximated constituent. The application range for such a tool is widespread; for instance Hales' proof of Kepler's conjecture yields thousands of multivariate transcendental inequalities. We illustrate the performance of our formal framework on some of these inequalities as well as on examples from the global optimization literature.


title: The adhesion model as a field theory for cosmological clustering

abstract: The adhesion model has been proposed in the past as an improvement of the Zel'dovich approximation, providing a good description of the formation of the cosmic web. We recast the model as a field theory for cosmological large scale structure, adding a stochastic force to account for power generated from very short, highly non-linear scales that is uncorrelated with the initial power spectrum. The dynamics of this Stochastic Adhesion Model (SAM) is reminiscent of the well known Kardar-Parisi-Zhang equation with the difference that the viscosity and the noise spectrum are time dependent. Choosing the viscosity proportional to the growth factor $D$ restricts the form of noise spectrum through a 1-loop renormalization argument. For this choice, the SAM field theory is renormalizable to one loop. We comment on the suitability of this model for describing the non-linear regime of the CDM power spectrum and its utility as a relatively simple approach to cosmological clustering.


title: Openness leads to opinion stability and narrowness to volatility

abstract: We propose a new opinion dynamic model based on the experiments and results of Wood et al (1996). We consider pairs of individuals discussing on two attitudinal dimensions, and we suppose that one dimension is important, the other secondary. The dynamics are mainly ruled by the level of agreement on the main dimension. If two individuals are close on the main dimension, then they attract each other on the main and on the secondary dimensions, whatever their disagreement on the secondary dimension. If they are far from each other on the main dimension, then too much proximity on the secondary dimension is uncomfortable, and generates rejection on this dimension. The proximity is defined by comparing the opinion distance with a threshold called attraction threshold on the main dimension and rejection threshold on the secondary dimension. With such dynamics, a population with opinions initially uniformly drawn evolves to a set of clusters, inside which secondary opinions fluctuate more or less depending on threshold values. We observe that a low attraction threshold favours fluctuations on the secondary dimension, especially when the rejection threshold is high. The opinion evolutions of the model can be related to some stylised facts.


title: Spectral and morphological signatures of cluster merger shocks: CIZA J2242.8+5301

abstract: The CIZA J2242.8+5301 cluster hosts an extraordinary, narrow, Mpc-wide, diffuse patch of radio emission tracing travelling shock waves, called a relic. We perform a multi-wavelength of observations of the cluster. We discover radio spectral steepening and increasing spectral curvature in the shock downstream area, indicative of emission produced by spectrally-aged electrons, following a JP ageing model. The curved integrated spectrum towards $16$ GHz challenges the favoured relic formation model. Further, we find a boosting the number density of H$\alpha$ emitters by a factor of $10$, possibly caused by interactions of the galaxies with the shock wave.


title: The spectral radius of the square of graphs

abstract: The square of a connected graph $G$ is obtained from $G$ by adding an edge between every pair of vertices at distance $2$. In this paper we give some upper or lower bounds for the spectral radius of the square of connected graphs, trees and unicyclic graphs respectively.We also investigate the spectral radius of the square of unicyclic graphs with given girth or trees with fixed diameter.


title: Disjoint-Path Selection in Internet: What traceroutes tell us?

abstract: Routing policies used in the Internet can be restrictive, limiting communication between source-destination pairs to one path, when often better alternatives exist. To avoid route flapping, recovery mechanisms may be dampened, making adaptation slow. Unstructured overlays have been proposed to mitigate the issues of path and performance failures in the Internet by routing through an indirect-path via overlay peer(s). Choosing alternate-paths in overlay networks is a challenging issue. Ensuring both availability and performance guarantees on alternate paths requires aggressive monitoring of all overlay paths using active probing; this limits scalability. An alternate technique to select an overlay-path is to bias its selection based on physical disjointness criteria to bypass the failure on the primary-path. Recently, several techniques have emerged which can optimize the selection of a disjoint-path without incurring the high costs associated with probing paths. In this paper, we show that using only commodity approaches, i.e. running infrequent traceroutes between overlay hosts, a lot of information can be revealed about the underlying physical path diversity in the overlay network which can be used to make informed-guesses for alternate-path selection. We test our approach using datasets between real-world hosts in AMP and RIPE networks.


title: Liouville theorems and $1$-dimensional symmetry for solutions of an elliptic system modelling phase separation

abstract: We consider solutions of the competitive elliptic system \[ \left\{ \begin{array}{ll} -\Delta u_i = - \sum_{j \neq i} u_i u_j^2 & \text{in $\mathbb{R}^N$} \\ u_i >0 & \text{in $\mathbb{R}^N$} \end{array}\right. \qquad i=1,\dots,k. \] We are concerned with the classification of entire solutions, according with their growth rate. The prototype of our main results is the following: there exists a function $\delta=\delta(k,N) \in \mathbb{N}$, increasing in $k$, such that if $(u_1,\dots,u_k)$ is a solution and \[ u_1(x)+\cdots+u_k(x) \le C(1+|x|^d) \qquad \text{for every $x \in \mathbb{R}^N$}, \] then $d \ge \delta$. This means that the number of components $k$ of the solution imposes an increasing in $k$ minimal growth on the solution itself. If $N=2$, the expression of $\delta$ is explicit and optimal, while in higher dimension it can be characterized in terms of an optimal partition problem. We discuss the sharpness of our results and, as a further step, for every $N \ge 2$ we can prove the $1$-dimensional symmetry of the solutions satisfying suitable assumptions, extending known results which are available for $k=2$. The proofs rest upon a blow-down analysis and on some monotonicity formulae.


title: Non semi-simple TQFTs, Reidemeister torsion and Kashaev's invariants

abstract: We construct and study a new family of TQFTs based on nilpotent highest weight representations of quantum sl(2) at a root of unity indexed by generic complex numbers. This extends to cobordisms the non-semi-simple invariants defined in (arXiv:1202.3553) including the Kashaev invariant of links. Here the modular category framework does not apply and we use the ``universal construction''. Our TQFT provides a monoidal functor from a category of surfaces and their cobordisms into the category of graded finite dimensional vector spaces and their degree 0-morphisms and depends on the choice of a root of unity of order 2r. The functor is always symmetric monoidal but for even values of r the braiding on GrVect has to be the super-symmetric one, thus our TQFT may be considered as a super-TQFT. In the special case r=2 our construction yields a TQFT for a canonical normalization of Reidemeister torsion and we re-prove the classification of Lens spaces via the non-semi-simple quantum invariants defined in (arXiv:1202.3553). We prove that the representations of mapping class groups and Torelli groups resulting from our constructions are potentially more sensitive than those obtained from the standard Reshetikhin-Turaev functors; in particular we prove that the action of the bounding pairs generators of the Torelli group has always infinite order.


title: All-optical control in metal nanocomposites due to a reversible transition between the local-field-enhancement and a local-field-depression upon irradiation by ultrashort control-pulses of light

abstract: We theoretically study on non-perturbative effective nonlinear responses of metal nanocomposites based on the intrinsic third-order nonlinear response of metal nanoparticles. The large intrinsic third-order nonlinear susceptibility of metal nanoparticles and an irradiation by ultrashort control pulse of light with a sufficiently high peak intensity and moderate fluence can induce a local-field-depression and a saturated plasmon-bleaching in metal nanoparticles. If the control pulse is on, the metal nanocomposites can behave like a dielectric due to the local-field-depression, while if the control pulse is off, the metal nanocomposites can behave like a metal showing a high absorption due to the local-field-enhancement at the plasmon-resonance. This phenomenon can be applied to an ultrafast and remote control of light in metal nanocomposites.


title: The effects of metallicity on the Galactic disk population of white dwarfs

abstract: It has been known for a long time that stellar metallicity plays a significant role in the determination of the ages of the different Galactic stellar populations, when main sequence evolutionary tracks are employed. Here we analyze the role that metallicity plays on the white dwarf luminosity function of the Galactic disk, which is often used to determine its age. We employ a Monte Carlo population synthesis code that accounts for the properties of the population of Galactic disk white dwarfs. Our code incorporates the most up-to-date evolutionary cooling sequences for white dwarfs with hydrogen-rich and hydrogen-deficient atmospheres for both carbon-oxygen and oxygen-neon cores. We use two different models to assess the evolution of the metallicity, one in which the adopted metallicity is constant with time, but with a moderate dispersion, and a second one in which the metallicity increases with time. We found that our theoretical results are in a very satisfactory agreement with the observational luminosity functions obtained from the Sloan Digital Sky Survey (SDSS) and from the SuperCOSMOS Sky Survey (SSS), independently of the adopted age-metallicity law. In particular, we found that the age-metallicity law has no noticeable impact in shaping the bright branch of the white dwarf luminosity function, and that the position of its cut-off is almost insensitive to the adopoted age-metallicity relationship. Because the shape of the bright branch of the white dwarf luminosity function is insensitive to the age-metallicity law, it can be safely employed to test the theoretical evolutionary sequences, while due to the limited sensitivity of the position of the drop-off to the distribution of metallicities, its location provides a robust indicator of the age of the Galactic disk.


title: The Kuramoto model of coupled oscillators with a bi-harmonic coupling function

abstract: We study synchronization in a Kuramoto model of globally coupled phase oscillators with a bi-harmonic coupling function, in the thermodynamic limit of large populations. We develop a method for an analytic solution of self-consistent equations describing uniformly rotating complex order parameters, both for single-branch (one possible state of locked oscillators) and multi-branch (two possible values of locked phases) entrainment. We show that synchronous states coexist with the neutrally linearly stable asynchronous regime. The latter has a finite life time for finite ensembles, this time grows with the ensemble size as a power law.


title: Geometrical constraints on the origin of timing signals from black holes

abstract: We present a systematic study of the orbital inclination effects on black-hole transients fast time-variability properties. We have considered all the black-hole binaries that have been densely monitored by the Rossi XTE satellite. We find that the amplitude of low-frequency quasi periodic oscillations (QPOs) depends on the orbital inclination. Type-C QPOs are stronger for nearly edge-on systems (high inclination), while type-B QPOs are stronger when the accretion disk is closer to face-on (low inclination). Our results also suggest that the noise associated with type-C QPOs is consistent with being stronger for low-inclination sources, while the noise associated to type-B QPOs seems inclination independent. These results are consistent with a geometric origin of the type-C QPOs - for instance arising from relativistic precession of the inner flow within a truncated disk - while the noise would correspond to intrinsic brightness variability from mass accretion rate fluctuations in the accretion flow. The opposite behavior of type-B QPOs - stronger in low inclinations sources - supports the hypothesis that type-B QPOs are related to the jet, the power of which is the most obvious measurable parameter expected to be stronger in nearly face-on sources.


title: Beating the Clauser-Horne-Shimony-Holt and the Svetlichny games with Optimal States

abstract: We study the relation between the maximal violation of Svetlichny's inequality and the mixedness of quantum states and obtain the optimal state (i.e., maximally nonlocal mixed states, or MNMS, for each value of linear entropy) to beat the Clauser-Horne-Shimony-Holt and the Svetlichny games. For the two-qubit and three-qubit MNMS, we showed that these states are also the most tolerant state against white noise, and thus serve as valuable quantum resources for such games. In particular, the quantum prediction of the MNMS decreases as the linear entropy increases, and then ceases to be nonlocal when the linear entropy reaches the critical points ${2}/{3}$ and ${9}/{14}$ for the two- and three-qubit cases, respectively. The MNMS are related to classical errors in experimental preparation of maximally entangled states.


title: A semi-parametric Bayesian model of inter- and intra-examiner agreement for periodontal probing depth

abstract: Periodontal probing depth is a measure of periodontitis severity. We develop a Bayesian hierarchical model linking true pocket depth to both observed and recorded values of periodontal probing depth, while permitting correlation among measures obtained from the same mouth and between duplicate examiners' measures obtained at the same periodontal site. Periodontal site-specific examiner effects are modeled as arising from a Dirichlet process mixture, facilitating identification of classes of sites that are measured with similar bias. Using simulated data, we demonstrate the model's ability to recover examiner site-specific bias and variance heterogeneity and to provide cluster-adjusted point and interval agreement estimates. We conclude with an analysis of data from a probing depth calibration training exercise.


title: A Deep Architecture for Semantic Parsing

abstract: Many successful approaches to semantic parsing build on top of the syntactic analysis of text, and make use of distributional representations or statistical models to match parses to ontology-specific queries. This paper presents a novel deep learning architecture which provides a semantic parsing system through the union of two neural models of language semantics. It allows for the generation of ontology-specific queries from natural language statements and questions without the need for parsing, which makes it especially suitable to grammatically malformed or syntactically atypical text, such as tweets, as well as permitting the development of semantic parsers for resource-poor languages.


title: Young Massive Clusters/Associations in the GMC G23.3-0.3

abstract: An overview of a spectroscopic survey for massive stars in the direction of the Galactic giant molecular complex G23.3-0.3 is presented (Messineo et al. 2010, and 2014 A&A submitted). This region is interesting because it is rich in HII regions and supernova remnants (SNRs). A number of 38 early-type stars, a new luminous blue variable, and a dozen of red supergiants were detected. We identified the likely progenitors of the SNRs W41, G22.7-00.2, and G22.7583-0.4917.


title: Code Minimization for Fringe Projection Based 3D Stereo Sensors by Calibration Improvement

abstract: Code minimization provides a speed-up of the processing time of fringe projection based stereo sensors and possibly makes them real-time applicable. This paper reports a methodology which enables such sensors to completely omit Gray code or other additional code. Only a sequence of sinusoidal images is necessary. The code reduction is achieved by involvement of the projection unit into the measurement, double triangulation, and a precise projector calibration or significant projector calibration improvement, respectively.


title: A maximum principle for Markov-modulated SDEs of mean-field type and mean-field game

abstract: In this paper, we analyze mean-field game modulated by finite states markov chains. We first develop a sufficient stochastic maximum principle for the optimal control of a Markov-modulated stochastic differential equation (SDE) of mean-field type whose coefficients depend on the state of the process, some functional of its law as well as variation of time and sample. As coefficients are perturbed by a Markov chain and thus random, to study such SDEs, we analyze existence and uniqueness of solutions of a class of mean-field type SDEs whose coefficients are random Lipschitz as well as the property of propagation of chaos for associated interacting particles system with method parallel to existing results as a byproduct. We also solve approximate Nash equilibrium for the Markov-modulated mean-field game by mean-field theory.


title: Optimizing electrode positions in electrical impedance tomography

abstract: This work considers finding optimal positions for the electrodes within the Bayesian paradigm based on available prior information on the conductivity; the aim is to place the electrodes so that the posterior density of the (discretized) conductivity, i.e., the conditional density of the conductivity given the measurements, is as localized as possible. To make such an approach computationally feasible, the complete electrode forward model of impedance tomography is linearized around the prior expectation of the conductivity, allowing explicit representation for the (approximate) posterior covariance matrix. Two approaches are considered: minimizing the trace or the determinant of the posterior covariance. The introduced optimization algorithm is of the steepest descent type, with the needed gradients computed based on appropriate Fr\'echet derivatives of the complete electrode model. The functionality of the methodology is demonstrated via two-dimensional numerical experiments.


title: A functional data analysis approach for genetic association studies

abstract: We present a new method based on Functional Data Analysis (FDA) for detecting associations between one or more scalar covariates and a longitudinal response, while correcting for other variables. Our methods exploit the temporal structure of longitudinal data in ways that are otherwise difficult with a multivariate approach. Our procedure, from an FDA perspective, is a departure from more established methods in two key aspects. First, the raw longitudinal phenotypes are assembled into functional trajectories prior to analysis. Second, we explore an association test that is not directly based on principal components. We instead focus on quantifying the reduction in $L^2$ variability as a means of detecting associations. Our procedure is motivated by longitudinal genome wide association studies and, in particular, the childhood asthma management program (CAMP) which explores the long term effects of daily asthma treatments. We conduct a simulation study to better understand the advantages (and/or disadvantages) of an FDA approach compared to a traditional multivariate one. We then apply our methodology to data coming from CAMP. We find a potentially new association with a SNP negatively affecting lung function. Furthermore, this SNP seems to have an interaction effect with one of the treatments.


title: Role of quarks in hadroproduction in high energy collisions

abstract: Qualitative model for hadroproduction in high energy collisions considering two components ("thermal" and "hard") to hadroproduction is proposed. Inclusive pseudorapidity distributions, $d\sigma/d\eta$, and transverse momentum spectra, $d^2\sigma/(d\eta dp_T^2)$, measured by different collaborations are considered in terms of this model. The shapes of the pseudorapidity distributions agree with that one can expect from the qualitative picture introduced. Finally, the differences between charged particle spectra produced in inclusive and diffractive events are discussed and the absence of the "thermal" component in the latter is observed.


title: New Examples of Mixed Beauville Groups

abstract: We generalise a construction of mixed Beauville groups first given by Bauer, Catanese and Grunewald. We go on to give several examples of infinite families of characteristically simple groups that satisfy the hypotheses of our theorem and thus provide a wealth of new examples of mixed Beauville groups.


title: Nonassociative Field Theory on Non-Geometric Spaces

abstract: We describe quasi-Hopf twist deformations of flat closed string compactifications with non-geometric R-flux using a suitable cochain twist, and construct nonassociative deformations of fields and differential calculus. We report on our new findings in using this formalism to construct perturbative nonassociative field theories on these backgrounds. We describe the modifications to the usual classification of Feynman diagrams into planar and non-planar graphs. The example of phi(4) theory is studied in detail and the one-loop contributions to the two-point function are calculated.


title: Algebraic versus homological equivalence for singular varieties

abstract: Let $ Y \subseteq \Bbb P^N $ be a possibly singular projective variety, defined over the field of complex numbers. Let $X$ be the intersection of $Y$ with $h$ general hypersurfaces of sufficiently large degrees. Let $d>0$ be an integer, and assume that $\dim Y=n+h$ and $ \dim Y_{sing} \le \min\{ d+h-1 , n-1 \} $. Let $Z$ be an algebraic cycle on $Y$ of dimension $d+h$, whose homology class in $H_{2(d+h)}(Y; \Bbb Q)$ is non-zero. In the present paper we prove that the restriction of $Z$ to $X$ is not algebraically equivalent to zero. This is a generalization to the singular case of a result due to Nori in the case $Y$ is smooth. As an application we provide explicit examples of singular varieties for which homological equivalence is different from the algebraic one.


title: Generalized Nonconvex Nonsmooth Low-Rank Minimization

abstract: As surrogate functions of $L_0$-norm, many nonconvex penalty functions have been proposed to enhance the sparse vector recovery. It is easy to extend these nonconvex penalty functions on singular values of a matrix to enhance low-rank matrix recovery. However, different from convex optimization, solving the nonconvex low-rank minimization problem is much more challenging than the nonconvex sparse minimization problem. We observe that all the existing nonconvex penalty functions are concave and monotonically increasing on $[0,\infty)$. Thus their gradients are decreasing functions. Based on this property, we propose an Iteratively Reweighted Nuclear Norm (IRNN) algorithm to solve the nonconvex nonsmooth low-rank minimization problem. IRNN iteratively solves a Weighted Singular Value Thresholding (WSVT) problem. By setting the weight vector as the gradient of the concave penalty function, the WSVT problem has a closed form solution. In theory, we prove that IRNN decreases the objective function value monotonically, and any limit point is a stationary point. Extensive experiments on both synthetic data and real images demonstrate that IRNN enhances the low-rank matrix recovery compared with state-of-the-art convex algorithms.


title: Fast Dynamic Graph Algorithms for Parameterized Problems

abstract: Fully dynamic graph is a data structure that (1) supports edge insertions and deletions and (2) answers problem specific queries. The time complexity of (1) and (2) are referred to as the update time and the query time respectively. There are many researches on dynamic graphs whose update time and query time are $o(|G|)$, that is, sublinear in the graph size. However, almost all such researches are for problems in P. In this paper, we investigate dynamic graphs for NP-hard problems exploiting the notion of fixed parameter tractability (FPT). We give dynamic graphs for Vertex Cover and Cluster Vertex Deletion parameterized by the solution size $k$. These dynamic graphs achieve almost the best possible update time $O(\mathrm{poly}(k)\log n)$ and the query time $O(f(\mathrm{poly}(k),k))$, where $f(n,k)$ is the time complexity of any static graph algorithm for the problems. We obtain these results by dynamically maintaining an approximate solution which can be used to construct a small problem kernel. Exploiting the dynamic graph for Cluster Vertex Deletion, as a corollary, we obtain a quasilinear-time (polynomial) kernelization algorithm for Cluster Vertex Deletion. Until now, only quadratic time kernelization algorithms are known for this problem. We also give a dynamic graph for Chromatic Number parameterized by the solution size of Cluster Vertex Deletion, and a dynamic graph for bounded-degree Feedback Vertex Set parameterized by the solution size. Assuming the parameter is a constant, each dynamic graph can be updated in $O(\log n)$ time and can compute a solution in $O(1)$ time. These results are obtained by another approach.


title: Research Into a Neon Spectral Line Profile of Dusty Plasma

abstract: Ordered dusty structures influence plasma conditions. This influence can be revealed, when plasma spectral characteristics change, as dusty particles are injected. For example, a variation in the atomic temperature leads to a variation in the profiles of spectral lines. We studied the profile of a 585 nm neon spectral line in the dusty structures. The structures levitated in a positive column of a glow discharge at a pressure of 50-150 Pa and with a current of 1-9 mA. We scanned the profile with the use of a Fabry-Perot interferometer, by changing the air pressure between the interferometer mirrors. To process the data, a special algorithm was developed. The algorithm is resistant to a noise and a scanning speed instability. We have found an upper bound of the impact of dusty structures on the profile width. The appearance of macroparticles changes the atomic plasma temperature less than by 10 K.


title: Reactor antineutrino monitoring with a plastic scintillator array as a new safeguards method

abstract: We developed a segmented reactor-antineutrino detector made of plastic scintillators for application as a tool in nuclear safeguards inspection and performed mostly unmanned field operations at a commercial power plant reactor. At a position outside the reactor building, we measured the difference in reactor antineutrino flux above the ground when the reactor was active and inactive.


title: Investigation of low-lying energy spectra for deformed prolate nuclei via partial dynamical SU(3) symmetry

abstract: We consider the possibility of identifying nuclei exhibiting the partial dynamical SU(3) symmetry (SU(3)-PDS) as those having excitation energy ratio R(4/2)>3.00 . For this purpose, the level energy spectra of a set of 51 nuclei in the rare earth and actinide regions which presenting an axially deformed prolate rotational structure were analyzed via nuclear partial dynamical SU(3) symmetry in the framework of interacting boson model, to see if the SU(3)-PDS is broadly applicable, and where, how, and in which nuclei it breaks down. Overall, the PDS works very well, the predictions of such intermediate symmetry structure for energy spectrum were compared with the most recent experimental data and an acceptable degree of agreement is achieved. We conclude that PDS predictions have a more regular behavior in description of axially deformed prolate rotational nuclei than DS, which may lead to accurate predictions of such nuclei, and hence play a significant role in understanding the regular behavior of complex nuclei.


title: LHC results and prospects: Beyond Standard Model

abstract: We present the results and prospects for searches beyond the Standard Model (SM) at the LHC by the ATLAS and CMS collaborations. The minimal supersymmetric extension of the SM has been investigated in various configurations and lower limits are set on the s-particle masses. The searches for other scenarios of physics beyond the SM are also presented and lower limits on the mass scale are derived in a large variety of models (new heavy gauge bosons, extra-dimensions, compositeness or dark matter). The prospects for physics using 300 /fb and 3000 /fb of data at the high luminosity LHC are also shown.


title: Spectral Functions from the Functional Renormalization Group

abstract: In this article we wish to present a new method to obtain spectral functions at finite temperature and density from the Functional Renormalization Group (FRG). The FRG offers a powerful non-perturbative tool to deal with phase transitions in strong-interaction matter under extreme conditions and their fluctuation properties. Based on a thermodynamically consistent truncation we derive flow equations for pertinent two-point functions in Minkowski space-time. We demonstrate the feasibility of the method by calculating mesonic spectral functions in hot and dense hadronic matter using the quark-meson model as a simple example.


title: Cramer Rao Lower Bound for Underwater Range Estimation with Noisy Sound Speed Profile

abstract: In this paper, the Cramer Rao bound (CRB) for range estimation between two underwater nodes is calculated under a Gaussian noise assumption on the measurements. The nodes can measure their depths, their mutual time of flight, and they have access to noisy sound speed samples at different depths. The effect of each measurement on the CRB will be analyzed, and it will be shown that for long distances, the effect of the sound speed measurement noise is dominant, and its impact depends on the positions of the nodes, actual sound speed profile, the number of sound speed samples, and the depths at which the sound speed samples are gathered.


title: Nonlinear Valuation under Collateral, Credit Risk and Funding Costs: A Numerical Case Study Extending Black-Scholes

abstract: We develop an arbitrage-free framework for consistent valuation of derivative trades with collateralization, counterparty credit gap risk, and funding costs, following the approach first proposed by Pallavicini and co-authors in 2011. Based on the risk-neutral pricing principle, we derive a general pricing equation where Credit, Debit, Liquidity and Funding Valuation Adjustments (CVA, DVA, LVA and FVA) are introduced by simply modifying the payout cash-flows of the deal. Funding costs and specific close-out procedures at default break the bilateral nature of the deal price and render the valuation problem a non-linear and recursive one. CVA and FVA are in general not really additive adjustments, and the risk for double counting is concrete. We introduce a new adjustment, called a Non-linearity Valuation Adjustment (NVA), to address double-counting. The theoretical risk free rate disappears from our final equations. The framework can be tailored also to CCP trading under initial and variation margins, as explained in detail in Brigo and Pallavicini (2014). In particular, we allow for asymmetric collateral and funding rates, replacement close-out and re-hypothecation. The valuation equation takes the form of a backward stochastic differential equation or semi-linear partial differential equation, and can be cast as a set of iterative equations that can be solved by least-squares Monte Carlo. We propose such a simulation algorithm in a case study involving a generalization of the benchmark model of Black and Scholes for option pricing. Our numerical results confirm that funding risk has a non-trivial impact on the deal price, and that double counting matters too. We conclude the article with an analysis of large scale implications of non-linearity of the pricing equations.


title: Scalar Tensor Teleparallel Dark Gravity via Noether Symmetry

abstract: In this paper, in the framework of teleparallel gravity we consider scalar tensor theories of gravity in which scalar fields are nonminimal coupled to torsion scalar. Noether symmetry of the Lagrangian of such a theory for the Friedman-Robertson-Walker spacetime is used to determine the explicit forms for the coupling function and for the potential, and it is shown that both must be power-law forms as a functions of the scalar field. The solutions of the field equations for the considered models are presented by using the results obtained from the Noether symmetry. It is shown that the equation of state parameter in the present model can cross the phantom divide line for a special case with the coupling function $F(\phi) = \frac{3}{16} \phi^2$ and for the potential $V(\phi) = \lambda \phi^{2}$.


title: The Osculating cone to special Brill-Noether Loci

abstract: In this paper, we describe the osculating cone to Brill-Noether loci $W^{0}_{d}(C)$ at smooth isolated points of $W^{1}_{d}(C)$ for a smooth canonically embedded curve $C$ of even genus $g=2(d-1)$. In particular, we show that the canonical curve $C$ is a component of the osculating cone. The proof is based on techniques introduced by George Kempf in 1986.


title: Growth-induced breaking and unbreaking of ergodicity in fully-connected spin systems

abstract: Two canonical models of statistical mechanics, the fully-connected voter and Glauber-Ising models, are modified to incorporate growth via the addition or replication of spins. The resulting behaviour is examined in a regime where the timescale of expansion cannot be separated from that of the internal dynamics. Depending on the model specification, growth radically alters the long-time dynamical behaviour by breaking or unbreaking ergodicity.


title: Non-consensus opinion model on directed networks

abstract: Dynamic social opinion models have been widely studied on undirected networks, and most of them are based on spin interaction models that produce a consensus. In reality, however, many networks such as Twitter and the World Wide Web are directed and are composed of both unidirectional and bidirectional links. Moreover, from choosing a coffee brand to deciding who to vote for in an election, two or more competing opinions often coexist. In response to this ubiquity of directed networks and the coexistence of two or more opinions in decision-making situations, we study a non-consensus opinion model introduced by Shao et al. \cite{shao2009dynamic} on directed networks. We define directionality $\xi$ as the percentage of unidirectional links in a network, and we use the linear correlation coefficient $\rho$ between the indegree and outdegree of a node to quantify the relation between the indegree and outdegree. We introduce two degree-preserving rewiring approaches which allow us to construct directed networks that can have a broad range of possible combinations of directionality $\xi$ and linear correlation coefficient $\rho$ and to study how $\xi$ and $\rho$ impact opinion competitions. We find that, as the directionality $\xi$ or the indegree and outdegree correlation $\rho$ increases, the majority opinion becomes more dominant and the minority opinion's ability to survive is lowered.


title: Establishing the fundamental magnetic interactions in the chiral skyrmionic Mott insulator Cu2OSeO3 by terahertz electron spin resonance

abstract: The recent discovery of skyrmions in Cu$_2$OSeO$_3$ has established a new platform to create and manipulate skyrmionic spin textures. We use high-field electron spin resonance (ESR) spectroscopy combining a terahertz free electron laser and pulsed magnetic fields up to 64 T to probe and quantify its microscopic spin-spin interactions. Besides providing direct access to the long-wavelength Goldstone mode, this technique probes also the high-energy part of the excitation spectrum which is inaccessible by standard low-frequency ESR. Fitting the behavior of the observed modes in magnetic field to a theoretical framework establishes experimentally that the fundamental magnetic building blocks of this skyrmionic magnet are rigid, highly entangled and weakly coupled tetrahedra.


title: Facilitation and Internalization Optimal Strategy in a Multilateral Trading Context

abstract: This paper studies four trading algorithms of a professional trader at a multilateral trading facility, observing a realistic two-sided limit order book whose dynamics are driven by the order book events. The identity of the trader can be either internalizing or regular, either a hedge fund or a brokery agency. The speed and cost of trading can be balanced by properly choosing active strategies on the displayed orders in the book and passive strategies on the hidden orders within the spread. We shall show that the price switching algorithms provide lower and upper bounds of the mixed trading algorithms. Especially, when the internalization premium is zero, an internalizing trader's optimal mixed trading strategy can be achieved among the set of price switching strategies. For both an internalizing trader and a regular trader, the optimal price switching strategy exists and is expressed in terms of the value function. A parallelizable algorithm to numerically compute the value function and optimal price switching strategy for the discretized state process is provided.


title: Particle Dynamics and Rapid Trapping in Electro-Osmotic Flow Around a Sharp Microchannel Corner

abstract: We study here the curious particle dynamics resulting from electro-osmotic flow around a microchannel junction corner whose dielectric walls are weakly polarizable. The hydrodynamic velocity field is obtained via superposition of a linear irrotational term associated with the equilibrium zeta potentials of both the microchannel and particle surfaces and the non-linear induced-charge electro-osmotic flow which originates from the interaction of the externally applied electric field on the charge cloud it induces at the solid-liquid interface. The particle dynamics are analyzed by considering dielectrophoretic forces via the addition of a mobility term to the flow field in the limit of Stokes drag law. The former, non-divergence free term is responsible for migration of particles towards the sharp microchannel junction corner, where they can potentially accumulate. Experimental observations of particle trapping for various applied electric fields and microparticle size are rationalized in terms of the growing relative importance of the dielectrophoretic force and induced-charge contributions to the global velocity field with increasing intensity of the externally applied electric field.


title: Analytical stable Gaussian soliton supported by a parity-time-symmetric potential with power-law nonlinearity

abstract: We address the existence and stability of spatial localized modes supported by a parity-time-symmetric complex potential in the presence of power-law nonlinearity. The analytical expressions of the localized modes, which are Gaussian in nature, are obtained in both (1+1) and (2+1) dimensions. A linear stability analysis corroborated by the direct numerical simulations reveals that these analytical localized modes can propagate stably for a wide range of the potential parameters and for various order nonlinearities. Some dynamical characteristics of these solutions, such as the power and the transverse power-flow density, are also examined.


title: Simulation of Laser Ablation in Aluminum: The Effectivity of Double Pulses

abstract: Lasers are becoming a more and more important tool in cutting and shaping materials. Improving precision and effectivity is an ongoing demand in science and industry. One possibility are double pulses. Here we study laser ablation of aluminum by the two-temperature model. There the laser is modeled as a source in a continuum heat conduction equation for the electrons, whose temperature then is transferred to a molecular dynamics particle model by an electron-phonon coupling term. The melting and ablation effectivity is investigated depending on the relative intensity and the time delay between two Gaussian shaped laser pulses. It turns out that at least for aluminum the optimal pulse shapes are standard Gaussian pulses. For double pulses with delay times up to 200 ps we find a behavior as observed in experiment: the ablation depth decreases beyond a delay of 10 ps even if one does not account for the weakening at the second pulse due to laser-plasma interaction.


title: Reconstruction by data assimilation of the inner temperature field from outer measurements in a thick pipe

abstract: The detailed knowledge of the inner skin temperature behavior is very important to evaluate and manage the aging of large pipes in cooling systems. We describe here a method to obtain this information as a function of outer skin temperature measurements, in space and time. This goal is achieved by mixing fine simulations and numerical methods such as impulse response and data assimilation. Demonstration is done on loads representing extreme transient stratification or thermal shocks. From a numerical point of view, the results of the reconstruction are outstanding, with a mean accuracy of the order of less than a half percent of the temperature values of the thermal transient.


title: Tight Bounds for Restricted Grid Scheduling

abstract: The following online bin packing problem is considered: Items with integer sizes are given and variable sized bins arrive online. A bin must be used if there is still an item remaining which fits in it when the bin arrives. The goal is to minimize the total size of all the bins used. Previously, a lower bound of 5/4 on the competitive ratio of this problem was achieved using jobs of size S and 2S-1. For these item sizes and maximum bin size 4S-3, we obtain asymptotically matching upper and lower bounds, which vary depending on the ratio of the number of small jobs to the number of large jobs.


title: Exciton spin noise in quantum wells

abstract: A theory of spin fluctuations of excitons in quantum wells in the presence of non-resonant excitation has been developed. Both bright and dark excitonic states have been taken into account. The effect of a magnetic field applied in a quantum well plane has been analyzed in detail. We demonstrate that in relatively small fields the spin noise spectrum consists of a single peak centered at a zero frequency while an increase of magnetic field results in the formation of the second peak in the spectrum owing to an interplay of the Larmor effect of the magnetic field and the exchange interaction between electrons and holes forming excitons. Experimental possibilities to observe the exciton spin noise are discussed, particularly, by means of ultrafast spin noise spectroscopy. We show that the fluctuation spectra contain, in addition to individual contributions of electrons and holes, an information about correlation of their spins.


title: How large is the Knudsen number reached in fluid dynamical simulations of ultrarelativistic heavy ion collisions?

abstract: We investigate the applicability of fluid dynamics in ultrarelativistic heavy ion (AA) collisions and high multiplicity proton nucleus (pA) collisions. In order for fluid dynamics to be applicable the microscopic and macroscopic distance/time scales of the system have to be sufficiently separated. The degree of separation is quantified by the ratio between these scales, usually referred to as the Knudsen number. In this work, we calculate the Knudsen numbers reached in fluid dynamical simulations of AA and pA collisions at RHIC and LHC energies. For this purpose, we consider different choices of shear viscosity parametrizations, initial states and initialization times. We then estimate the values of shear viscosity for which the fluid dynamical description of ultrarelativistic AA and pA collisions breaks down. In particular, we study how such values depend on the centrality, in the case of AA collision, and multiplicity, in the case of pA collision. We found that the maximum viscosity in AA collisions is of the order $\eta/s \sim 0.1 \ldots 0.2$, which is similar in magnitude to the viscosities currently employed in simulations of heavy ion collisions. For pA collisions, we found that such limit is significantly lower, being less than $\eta/s=0.08$


title: $R$-boundedness versus $\gamma$-boundedness

abstract: It is well-known that in Banach spaces with finite cotype, the $R$-bounded and $\gamma$-bounded families of operators coincide. If in addition $X$ is a Banach lattice, then these notions can be expressed as square function estimates. It is also clear that $R$-boundedness implies $\gamma$-boundedness. In this note we show that all other possible inclusions fail. Furthermore, we will prove that $R$-boundedness is stable under taking adjoints if and only if the underlying space is $K$-convex.


title: Lax pair formulation in the simultaneous presence of boundaries and defects

abstract: Inspired by recent results on the effect of integrable boundary conditions on the bulk behavior of an integrable system, and in particular on the behavior of an existing defect we systematically formulate the Lax pairs in the simultaneous presence of integrable boundaries and defects. The respective sewing conditions as well as the relevant equations of motion on the defect point are accordingly extracted. We consider a specific prototype i.e. the vector non-linear Schr\"{o}dinger (NLS) model to exemplify our construction. This model displays a highly non-trivial behavior and allows the existence of two distinct types of boundary conditions based on the reflection algebra or the twisted Yangian.


title: Zero Energy Network stack for Energy Harvested WSNs

abstract: We present our ``Zero Energy Network'' (ZEN) protocol stack for energy harvesting wireless sensor networks applications. The novelty in our work is $4$ fold: (1) Energy harvesting aware fully featured MAC layer. Carrier sensing, Backoff algorithms, ARQ, RTS/CTS mechanisms, Adaptive Duty Cycling are either auto configurable or available as tunable parameters to match the available energy (b) Energy harvesting aware Routing Protocol. The multi-hop network establishes routes to the base station using a modified version of AODVjr routing protocol assisted by energy predictions. (c) Application of a time series called ``Holt-Winters'' for predicting the incoming energy. (d) A distributed smart application running over the ZEN stack which utilizes a multi parameter optimized perturbation technique to optimally use the available energy. The application is capable of programming the ZEN stack in an energy efficient manner. The energy harvested distributed smart application runs on a realistic solar energy trace with a three year seasonality database. We implement a smart application, capable of modifying itself to suit its own as well as the network's energy level. Our analytical results show a close match with the measurements conducted over EHWSN testbed.


title: A new specification of generalized linear models for categorical data

abstract: Regression models for categorical data are specified in heterogeneous ways. We propose to unify the specification of such models. This allows us to define the family of reference models for nominal data. We introduce the notion of reversible models for ordinal data that distinguishes adjacent and cumulative models from sequential ones. The combination of the proposed specification with the definition of reference and reversible models and various invariance properties leads to a new view of regression models for categorical data.


title: On the pseudolinear crossing number

abstract: A drawing of a graph is {\em pseudolinear} if there is a pseudoline arrangement such that each pseudoline contains exactly one edge of the drawing. The {\em pseudolinear crossing number} of a graph $G$ is the minimum number of pairwise crossings of edges in a pseudolinear drawing of $G$. We establish several facts on the pseudolinear crossing number, including its computational complexity and its relationship to the usual crossing number and to the rectilinear crossing number. This investigation was motivated by open questions and issues raised by Marcus Schaefer in his comprehensive survey of the many variants of the crossing number of a graph.


title: Violation of consistency relations and the protoinflationary transition

abstract: If we posit the validity of the consistency relations, the tensor spectral index and the relative amplitude of the scalar and tensor power spectra are both fixed by a single slow roll parameter. The physics of the protoinflationary transition can break explicitly the consistency relations causing a reduction of the inflationary curvature scale in comparison with the conventional lore. After a critical scrutiny, we argue that the inflationary curvature scale, the total number of inflationary efolds and, ultimately, the excursion of the inflaton across its Planckian boundary are all characterized by a computable theoretical error. While these considerations ease some of the tensions between the Bicep2 data and the other satellite observations, they also demand an improved understanding of the protoinflationary transition whose physical features may be assessed, in the future, through a complete analysis of the spectral properties of the B mode autocorrelations.


title: Interactions in the dark sector of the Universe

abstract: Interactions inside the cosmological dark sector influence the cosmological dynamics. As a consequence, the future evolution of the Universe may be different from that predicted by the $\Lambda$CDM model. We review main features of several recently studied models with nongravitational couplings between dark matter and dark energy.


title: Antescofo Intermediate Representation

abstract: We describe an intermediate language designed as a medium-level internal representation of programs of the interactive music system Antescofo. This representation is independent both of the Antescofo source language and of the architecture of the execution platform. It is used in tasks such as verification of timings, model-based conformance testing, static control-flow analysis or simulation. This language is essentially a flat representation of Antescofo's code, as a finite state machine extended with local and global variables, with delays and with concurrent threads creation. It features a small number of simple instructions which are either blocking (wait for external event, signal or duration) or not (variable assignment, message emission and control).


title: Minimum-time strong optimality of a singular arc: the multi-input non involutive case

abstract: We consider the minimum-time problem for a multi-input control-affine system, where we assume that the controlled vector fields generate a non-involutive distribution of constant dimension, and where we do not assume a-priori bounds for the controls. We use Hamiltonian methods to prove that the coercivity of a suitable second variation associated to a Pontryagin singular arc is sufficient to prove its strong-local optimality. We provide an application of the result to a generalization of Dubins problem.


title: Efimov spectrum in bosonic systems with increasing number of particles

abstract: It is well-known that three-boson systems show the Efimov effect when the two-body scattering length $a$ is large with respect to the range of the two-body interaction. This effect is a manifestation of a discrete scaling invariance (DSI). In this work we study DSI in the $N$-body system by analysing the spectrum of $N$ identical bosons obtained with a pairwise gaussian interaction close to the unitary limit. We consider different universal ratios such as $E_N^0/E_3^0$ and $E_N^1/E_N^0$, with $E_N^i$ being the energy of the ground ($i=0$) and first-excited ($i=1$) state of the system, for $N\le16$. We discuss the extension of the Efimov radial law, derived by Efimov for $N=3$, to general $N$.


title: Onofri inequalities and rigidity results

abstract: This paper is devoted to the Moser-Trudinger-Onofri inequality on smooth compact connected Riemannian manifolds. We establish a rigidity result for the Euler-Lagrange equation and deduce an estimate of the optimal constant in the inequality on two-dimensional closed Riemannian manifolds. Compared to existing results, we provide a non-local criterion which is well adapted to variational methods, introduce a nonlinear flow along which the evolution of a functional related with the inequality is monotone and get an integral remainder term which allows us to discuss optimality issues. As an important application of our method, we also consider the non-compact case of the Moser-Trudinger-Onofri inequality on the two-dimensional Euclidean space, with weights. The standard weight is the one that is computed when projecting the two-dimensional sphere using the stereographic projection, but we also give more general results which are of interest, for instance, for the Keller-Segel model in chemotaxis.


title: A time-varying shared frailty model with application to infectious diseases

abstract: We propose a new parametric time-varying shared frailty model to represent changes over time in population heterogeneity, for use with bivariate current status data. The model uses a power transformation of a time-invariant frailty $U$, and is particularly convenient when $U$ is a member of the generalized gamma family. This model avoids some shortcomings of a previously suggested time-varying frailty model, notably time-dependent support. We describe some key properties of the model, including its relative frailty variance function in different settings and how the model can be fitted to data. We describe several applications to shared frailty modeling of bivariate current status data on infectious diseases, in which the frailty represents age-dependent heterogeneity in contact rates or susceptibility to infection.


title: Comparing localizations across adjunctions

abstract: We show that several apparently unrelated formulas involving left or right Bousfield localizations in homotopy theory are induced by comparison maps associated with pairs of adjoint functors. Such comparison maps are used in the article to discuss the existence of functorial liftings of homotopical localizations and cellularizations to categories of algebras over monads acting on model categories, with emphasis on the cases of module spectra and algebras over simplicial operads. Some of our results hold for algebras up to homotopy as well; for example, if $T$ is the reduced monad associated with a simplicial operad and $f$ is any map of pointed simplicial sets, then $f$-localization coincides with $Tf$-localization on spaces underlying homotopy $T$-algebras, and similarly for cellularizations.


title: Cones of Hilbert functions

abstract: We study the closed convex hull of various collections of Hilbert functions. Working over a standard graded polynomial ring with modules that are generated in degree zero, we describe the supporting hyperplanes and extreme rays for the cones generated by the Hilbert functions of all modules, all modules with bounded a-invariant, and all modules with bounded Castelnuovo-Mumford regularity. The first of these cones is infinite-dimensional and simplicial, the second is finite-dimensional but neither simplicial nor polyhedral, and the third is finite-dimensional and simplicial.


title: On the simplicity of Kac modules for the restricted Lie superalgebra gl(m,n)

abstract: The polynomial which determine the simplicity of the Kac modules for the restricted Lie superalgebra gl(m,n) is completely determined by a characteristic free approach. Its application on the nonrestricted representation is investigated.


title: A solution to Roitman's problem

abstract: We answer Question~3.2 from Shelah \cite{Sh:666}: Given a maximal almost disjoint (mad) family $\mathcal A$ of size $\aleph_1$, we construct a forcing ${\mathbb Q}(\mathcal A)$ that has Axiom A, is ${}^\omega \omega$-bounding, preserves selective ultrafilters, has the $\aleph_2$-properness isomorphism condition (p.i.c.), and destroys the mad family $\mathcal A$. We develop a new construction technique for partial orders, combining ladder systems for $\omega_1$ with trees of normed creatures. Countable support iteration of the new kind of iterands solves Roitman's problem in the case of $d=\aleph_1$ and also simultaneously the open question about the relative consistency of $u = \aleph_1 < a$: It is consistent relative to ZFC that there is a dominating set of size $\aleph_1$ and a selective ultrafilter with character $\aleph_1$ and the minimal size of a mad family is $\aleph_2$, like the continuum.


title: The simplicity of Kac modules for the quantum superalgebra U_q(gl(m,n))

abstract: The simplicity of the Kac modules for the quantum superalgebra U_q(gl(m,n)) is studied, and the relation between the representation of U_q(gl(m,n)) and that of U_q(g_{\0}) is investigated.


title: Optical Refrigeration for Ultra-Efficient Photovoltaics

abstract: Improving the conversion efficiency of solar energy to electricity is most important to mankind. For single-junction photovoltaic solar-cells, the Shockley-Queisser thermodynamic efficiency limit is extensively due to the heat dissipation, inherently accompanying the quantum process of electro-chemical potential generation. Concepts such as solar thermo-photovoltaics and thermo-photonics, have been suggested to harness this wasted heat, yet efficiencies exceeding the Shockley-Queisser limit have not been demonstrated due to the challenge of operating at high temperatures. Here, we present a highly efficient converter based on endothermic photoluminescence, which operates at relative low temperatures. The thermally induced blue-shifted photoluminescence of a low-bandgap absorber is coupled to a high-bandgap photovoltaic cell. The high absorber's photo-current and the high cell's voltage results in 69% maximal theoretical conversion efficiencies. We experimentally demonstrate tenfold thermal-enhancement of useful radiation for the high-bandgap cell and 107% enhancement in average photon energy. This paves the way for introducing disruptive-innovation in photovoltaics.


title: Freezing and decorated Poisson point processes

abstract: The limiting extremal processes of the branching Brownian motion (BBM), the two-speed BBM, and the branching random walk are known to be randomly shifted decorated Poisson point processes (SDPPP). In the proofs of those results, the Laplace functional of the limiting extremal process is shown to satisfy $L[\theta_y f]=g(y-\tau_f)$ for any nonzero, nonnegative, compactly supported, continuous function $f$, where $\theta_y$ is the shift operator, $\tau_f$ is a real number that depends on $f$, and $g$ is a real function that is independent of $f$. We show that, under some assumptions, this property characterizes the structure of SDPPP. Moreover, when it holds, we show that $g$ has to be a convolution of the Gumbel distribution with some measure. The above property of the Laplace functional is closely related to a `freezing phenomenon' that is expected by physicists to occur in a wide class of log-correlated fields, and which has played an important role in the analysis of various models. Our results shed light on this intriguing phenomenon and provide a natural tool for proving an SDPPP structure in these and other models.


title: Covert Optical Communication

abstract: Encryption prevents unauthorized decoding, but does not ensure stealth---a security demand that a mere presence of a message be undetectable. We characterize the ultimate limit of covert communication that is secure against the most powerful physically-permissible adversary. We show that, although it is impossible over a pure-loss channel, covert communication is attainable in the presence of any excess noise, such as a $300$K thermal blackbody. In this case, $\mathcal{O}(\sqrt{n})$ bits can be transmitted reliably and covertly in $n$ optical modes using standard optical communication equipment. The all-powerful adversary may intercept all transmitted photons not received by the intended receiver, and employ arbitrary quantum memory and measurements. Conversely, we show that this square root scaling cannot be outperformed. We corroborate our theory in a proof-of-concept experiment. We believe that our findings will enable practical realizations of covert communication and sensing, both for point-to-point and networked scenarios.


title: Topics in Ramsey Theory

abstract: Ramsey theory is the study of conditions under which mathematical objects show order when partitioned. Ramsey theory on the integers concerns itself with partitions of $[1,n]$ into $r$ subsets and asks the question whether one (or more) of these $r$ subsets contains a $k$-term member of $\mathcal{F}$, where $[1,n]=\{1,2,3,\ldots,n\}$ and $\mathcal{F}$ is a certain family of subsets of $\mathbb{Z}^+$. When $\mathcal{F}$ is fixed to be the set of arithmetic progressions, the corresponding Ramsey-type numbers are called the van der Waerden numbers. I started the project choosing $\mathcal{F}$ to be the set of semi-progressions of scope $m$. A semi-progression of scope $m\in \mathbb{Z}^+$ is a set of integers $\{x_1,x_2,\ldots,x_k\}$ such that for some $d\in\mathbb{Z}^+$, $x_{i}-x_{i-1}\in\{d,2d,\ldots,md\}$ for all $i\in\{2,3,\ldots,k\}$. The exact values of Ramsey-type functions corresponding to semi-progressions are not known. We use $SP_m(k)$ to denote these numbers as a Ramsey-type function of $k$ for a fixed scope $m$. During this project, I used the probabilistic method to get an exponential lower bound for any fixed $m$. The first chapter starts with a brief introduction to Ramsey theory and then explains the problem considered. In the second chapter, I give the results obtained on semi-progressions. In the third chapter, I will discuss the lower bound obtained on $Q_1(k)$. When $\mathcal{F}$ is chosen to be quasi-progressions of diameter $n$, the corresponding Ramsey-type numbers obtained are denoted as $Q_n(k)$. The last chapter gives an exposition of advanced probabilistic techniques, in particular concentration inequalities and how to apply them.


title: $R^2\log R$ quantum corrections and the inflationary observables

abstract: We study a model of inflation with terms quadratic and logarithmic in the Ricci scalar, where the gravitational action is $f(R)=R+\alpha R^2+\beta R^2 \ln R$. These terms are expected to arise from one loop corrections involving matter fields in curved space-time. The spectral index $n_s$ and the tensor to scalar ratio yield $10^{-4}\lesssim r\lesssim0.03$ and $0.94\lesssim n_s \lesssim 0.99$. i.e. $r$ is an order of magnitude bigger or smaller than the original Starobinsky model which predicted $r\sim 10^{-3}$. Further enhancement of $r$ gives a scale invariant $n_s\sim 1$ or higher. Other inflationary observables are $d n_s/d\ln k \gtrsim -5.2 \times 10^{-4},\, \mu \lesssim 2.1 \times 10^{-8} ,\, y \lesssim 2.6 \times 10^{-9}$. Despite the enhancement in $r$, if the recent BICEP2 measurement stands, this model is disfavoured.


title: Local Ramsey Spaces in Matet Forcing Extensions and Finitely Many Near-Coherence Classes

abstract: We introduce Gowers--Matet forcing with a finite sequence of pairwise non-isomorphic Ramsey ultrafilters over $\omega$, and with this forcing we settle the long-standing problem of the spectrum of numbers near-coherence classes. We prove that for any finite $n \geq 1$, there is a forcing extension with exactly $n$ near-coherence classes of ultrafilters. For evaluating the new forcing, we prove a strengthening of Gowers's theorem on colourings of ${\rm Fin}_k$.


title: A qualitative explanation of the origin of torsional instability in suspension bridges

abstract: We consider a mathematical model for the study of the dynamical behavior of suspension bridges. We show that internal resonances, which depend on the bridge structure only, are the origin of torsional instability. We obtain both theoretical and numerical estimates of the thresholds of instability. Our method is based on a finite dimensional projection of the phase space which reduces the stability analysis of the model to the stability of suitable Hill equations. This gives an answer to a long-standing question about the origin of torsional instability in suspension bridges.


title: Light Sterile Neutrinos in Particle Physics: Experimental Status

abstract: Most of the neutrino oscillation results can be explained by the three-neutrino paradigm. However several anomalies in short baseline oscillation data could be interpreted by invoking a hypothetical fourth neutrino, separated from the three standard neutrinos by a squared mass difference of more than 0.1 eV$^2$. This new neutrino, often called sterile, would not feel standard model interactions but mix with the others. Such a scenario calling for new physics beyond the standard model has to be either ruled out or confirmed with new data. After a brief review of the anomalous oscillation results we discuss the world-wide experimental proposal aiming to clarify the situation.


title: On the use of charged-track information to subtract neutral pileup

abstract: The use of charged pileup tracks in a jet to predict the neutral pileup component in that same jet could potentially lead to improved pileup removal techniques, provided there is a strong local correlation between charged and neutral pileup. In Monte Carlo simulation we find that the correlation is however moderate, a feature that we attribute to characteristics of the underlying non-perturbative dynamics. Consequently, `neutral-proportional-to-charge' (NpC) pileup mitigation approaches do not outperform existing, area-based, pileup removal methods. This finding contrasts with the arguments made in favour of a new method, "jet cleansing", in part based on the NpC approach. We identify the critical differences between the performances of linear cleansing and trimmed NpC as being due to the former's rejection of subjets that have no charged tracks from the leading vertex, a procedure that we name "zeroing". Zeroing, an extreme version of the "charged-track trimming" proposed by ATLAS, can be combined with a range of pileup-mitigation methods, and appears to have both benefits and drawbacks. We show how the latter can be straightforwardly alleviated. We also discuss the limited potential for improvement that can be obtained by linear combinations of the NpC and area-subtraction methods.