title: A review on solar wind modeling: kinetic and fluid aspects

abstract: We review the main advantages and limitations of the kinetic exospheric and fluid models of the solar wind (SW). We discuss the hydrostatic model imagined by Chapman, the first supersonic hydrodynamic models published by Parker and the first generation subsonic kinetic model proposed by Chamberlain. It is shown that a correct estimation of the electric field as in the second generation kinetic exospheric models developed by Lemaire and Scherer, provides a supersonic expansion of the corona, reconciling the hydrodynamic and the kinetic approach. The third generation kinetic exospheric models considers kappa velocity distribution function (VDF) instead of a Maxwellian at the exobase and in addition they treat a non-monotonic variation of the electric potential with the radial distance; the fourth generation exospheric models include Coulomb collisions based on the Fokker--Planck collision term. Multi-fluid models of the solar wind provide a coarse grained description and reproduce with success the spatio-temporal variation of SW macroscopic properties (density, bulk velocity). The main categories of multi-fluid SW models are reviewed: the 5-moment, or Euler, models, originally proposed by Parker to describe the supersonic SW expansion; the 8-moment and 16-moment fluid models, the gyrotropic approach with improved collision terms as well as the gyrotropic models based on observed VDFs. The outstanding problem of collisions, including the long range Coulomb encounters, is also discussed, both in the kinetic and multi-fluid context. Although for decades the two approaches have been seen as opposed, in this paper we emphasize their complementary. The review of the kinetic and fluid models of the solar wind contributes also to a better evaluation of the open questions still existent in SW modeling and suggests possible future developments.


title: Active inductor shunt peaking in high-speed VCSEL driver design

abstract: An all transistor active inductor shunt peaking structure has been used in a prototype of 8-Gbps high-speed VCSEL driver which is designed for the optical link in ATLAS liquid Argon calorimeter upgrade. The VCSEL driver is fabricated in a commercial 0.25-um Silicon-on-Sapphire (SoS) CMOS process for radiation tolerant purpose. The all transistor active inductor shunt peaking is used to overcome the bandwidth limitation from the CMOS process. The peaking structure has the same peaking effect as the passive one, but takes a small area, does not need linear resistors and can overcome the process variation by adjust the peaking strength via an external control. The design has been tapped out, and the prototype has been proofed by the preliminary electrical test results and bit error ratio test results. The driver achieves 8-Gbps data rate as simulated with the peaking. We present the all transistor active inductor shunt peaking structure, simulation and test results in this paper.


title: Tracing cross-free polylines oriented by a N-symmetry direction field on triangulated surfaces

abstract: We propose an algorithm for tracing polylines on a triangle mesh such that: they are aligned with a N-symmetry direction field, and two such polylines cannot cross or merge. This property is fundamental for mesh segmentation and is very difficult to enforce with numerical integration of vector fields. We propose an alternative solution based on "stream-mesh", a new combinatorial data structure that defines, for each point of a triangle edge, where the corresponding polyline leaves the triangle. It makes it possible to trace polylines by iteratively crossing triangles. Vector field singularities and polyline/vertex crossing are characterized and consistently handled. The polylines inherits the cross-free property of the stream-mesh, except inside triangles where avoiding local overlaps would require higher order polycurves.


title: On convergence of numerical algorithm of a class of the spatial segregation of reaction-diffusion system with two population densities

abstract: Recently, much interest has gained the numerical approximation of equations of the Spatial Segregation of Reaction-diffusion systems with m population densities. These problems are governed by a minimization problem subject to the closed but non-convex set. In the present work we deal with the numerical approximation of equations of stationary states for a certain class of the Spatial Segregation of Reaction-diffusion system with two population densities having disjoint support. We prove the convergence of the numerical algorithm for two competing populations with non-negative internal dynamics $f_i(x)\geq 0.$ At the end of the paper we present computational tests.


title: Rank of tensors with size 2 x ... x 2

abstract: We study an upper bound of ranks of $n$-tensors with size $2\times\cdots\times2$ over the complex and real number field. We characterize a $2\times 2\times 2$ tensor with rank 3 by using the Cayley's hyperdeterminant and some function. Then we see another proof of Brylinski's result that the maximal rank of $2\times2\times2\times2$ complex tensors is 4. We state supporting evidence of the claim that 5 is a typical rank of $2\times2\times2\times2$ real tensors. Recall that Kong and Jiang show that the maximal rank of $2\times2\times2\times2$ real tensors is less than or equal to 5. The maximal rank of $2\times2\times2\times2$ complex (resp. real) tensors gives an upper bound of the maximal rank of $2\times\cdots\times 2$ complex (resp. real) tensors.


title: Controlling active self-assembly through broken particle symmetries

abstract: Many structural properties of conventional passive materials are known to arise from the symmetries of their microscopic constituents. By contrast, it is largely unclear how the interplay between cell shape and self-propulsion controls the meso- and macroscale behavior of active matter. Here, we analyze large-scale simulations of homo- and heterogeneous self-propelled particle systems to identify generic effects of broken particle symmetry on collective motion. We find that even small violations of fore-aft symmetry lead to fundamentally different collective behaviors, which may facilitate demixing of differently shaped species as well as the spontaneous formation of stable micro-rotors. These results suggest that variation of particle shape yields robust physical mechanisms to control self-assembly of active matter, with possibly profound implications for biology and materials design.


title: On the Optimum Cyclic Subcode Chains of $\mathcal{RM}(2,m)^*$ for Increasing Message Length

abstract: The distance profiles of linear block codes can be employed to design variational coding scheme for encoding message with variational length and getting lower decoding error probability by large minimum Hamming distance. %, e.g. the design of TFCI in CDMA and the researches on the second-order Reed-Muller code $\mathcal{RM}(2,m)$, etc. Considering convenience for encoding, we focus on the distance profiles with respect to cyclic subcode chains (DPCs) of cyclic codes over $GF(q)$ with length $n$ such that $\mbox{gcd}(n,q) = 1$. In this paper the optimum DPCs and the corresponding optimum cyclic subcode chains are investigated on the punctured second-order Reed-Muller code $\mathcal{RM}(2,m)^*$ for increasing message length, where two standards on the optimums are studied according to the rhythm of increase.


title: Yangian symmetric correlators

abstract: Similarity transformations and eigenvalue relations of monodromy operators composed of Jordan-Schwinger type L matrices are considered and used to define Yangian symmetric correlators of n-dimensional theories. Explicit expressions are obtained and relations are formulated. In this way basic notions of the Quantum inverse scattering method provide a convenient formulation for high symmetry and integrability not only in lower dimensions.


title: Resource Allocation for Secure Communication in Systems with Wireless Information and Power Transfer

abstract: This paper considers secure communication in a multiuser multiple-input single-output (MISO) downlink system with simultaneous wireless information and power transfer. We study the design of resource allocation algorithms minimizing the total transmit power for the case when the receivers are able to harvest energy from the radio frequency. In particular, the algorithm design is formulated as a non-convex optimization problem which takes into account artificial noise generation to combat potential eavesdroppers, a minimum required signal-to-interference-plus-noise ratio (SINR) at the desired receiver, maximum tolerable SINRs at the potential eavesdroppers, and a minimum required power delivered to the receivers. We adopt a semidefinite programming (SDP) relaxation approach to obtain an upper bound solution for the considered problem. The tightness of the upper bound is revealed by examining a sufficient condition for the global optimal solution. Inspired by the sufficient condition, we propose two suboptimal resource allocation schemes enhancing secure communication and facilitating efficient energy harvesting. Simulation results demonstrate a close-to-optimal performance achieved by the proposed suboptimal schemes and significant transmit power savings by optimization of the artificial noise generation.


title: Effect of charge doping on the electronic structure, orbital polarization, and structural distortion in nickelate superlattice

abstract: Using first-principles density functional theory calculations, we investigated the effect of charge doping in a LaNiO$_3$/SrTiO$_3$ superlattice. The detailed analysis based on two different simulation methods for doping clearly shows that the electronic and structural properties change in a systematic way that the orbital polarization ({\it i.e.} relative occupation of two Ni-$e_g$ orbitals) is reduced and the Ni to apical oxygen distance enlarged as the number of doped electrons increases. Also, the rotation angles of the NiO$_6$/TiO$_6$ octahedra strongly and systematically depend on the doping so that the angle $\gamma$ gradually decreases whereas the $\alpha$ and $\beta$ increase as a function of electron doping. Further analysis shows that the electron (hole) doping can play a similar role with the compressive (tensile) strain for the octahedral rotations. Our results not only suggest a possible way to control the orbital and structural property by means of charge doping, but also provide useful information to understand the experiments under various doping situations such as oxygen vacancy.


title: Lp mean estimates for an operator preserving inequalities between polynomials

abstract: If $P(z)$ be a polynomial of degree at most $n$ which does not vanish in $|z| < 1$, it was recently formulated by Shah and Liman \cite[\textit{Integral estimates for the family of $B$-operators, Operators and Matrices,} \textbf{5}(2011), 79 - 87]{wl} that for every $R\geq 1$, $p\geq 1$, \[\left\|B[P\circ\sigma](z)\right\|_p \leq\frac{R^{n}|\Lambda_n|+|\lambda_{0}|}{\left\|1+z\right\|_p}\left\|P(z)\right\|_p,\] where $B$ is a $ \mathcal{B}_{n}$-operator with parameters $\lambda_{0}, \lambda_{1}, \lambda_{2}$ in the sense of Rahman \cite{qir}, $\sigma(z)=Rz$ and $\Lambda_n=\lambda_{0}+\lambda_{1}\frac{n^{2}}{2} +\lambda_{2}\frac{n^{3}(n-1)}{8}$. Unfortunately the proof of this result is not correct. In this paper, we present a more general sharp $L_p$-inequalities for $\mathcal{B}_{n}$-operators which not only provide a correct proof of the above inequality as a special case but also extend them for $ 0 \leq p <1$ as well.


title: Random Walks on Stochastic Temporal Networks

abstract: In the study of dynamical processes on networks, there has been intense focus on network structure -- i.e., the arrangement of edges and their associated weights -- but the effects of the temporal patterns of edges remains poorly understood. In this chapter, we develop a mathematical framework for random walks on temporal networks using an approach that provides a compromise between abstract but unrealistic models and data-driven but non-mathematical approaches. To do this, we introduce a stochastic model for temporal networks in which we summarize the temporal and structural organization of a system using a matrix of waiting-time distributions. We show that random walks on stochastic temporal networks can be described exactly by an integro-differential master equation and derive an analytical expression for its asymptotic steady state. We also discuss how our work might be useful to help build centrality measures for temporal networks.


title: Lieb-Robinson bounds and the simulation of time evolution of local observables in lattice systems

abstract: This is an introductory text reviewing Lieb-Robinson bounds for open and closed quantum many-body systems. We introduce the Heisenberg picture for time-dependent local Liouvillians and state a Lieb-Robinson bound that gives rise to a maximum speed of propagation of correlations in many body systems of locally interacting spins and fermions. Finally, we discuss a number of important consequences concerning the simulation of time evolution and properties of ground states and stationary states.

categories: quant-ph cond-mat.str-el math-ph math.MP


title: Imaginary eigenvalues and complex eigenvectors explained by real geometry

abstract: This paper first reviews how anti-symmetric matrices in two dimensions yield imaginary eigenvalues and complex eigenvectors. It is shown how this carries on to rotations by means of the Cayley transformation. Then a real geometric interpretation is given to the eigenvalues and eigenvectors by means of real geometric algebra. The eigenvectors are seen to be \textit{two component eigenspinors} which can be further reduced to underlying vector duplets. The eigenvalues are interpreted as rotation operators, which rotate the underlying vector duplets. The second part of this paper extends and generalizes the treatment to three dimensions. Finally the four-dimensional problem is stated.


title: Constrained WZWN Models on G/{S x U(1)^n} and Exchange Algebra of G-Primaries

abstract: Consistently constrained WZWN models on G/{S x U(1)^n} is given by constraining currents of the WZWN models with G. Poisson brackets are set up on the light-like plane. Using them we show the Virasoro algebra for the energy-momentum tensor of constrained WZWN models. We find a G-primary which satisfies a classical exchange algebra in an arbitrary representation of G. The G-primary and the constrained currents are also shown to obey the conformal transformation with respect to the energy-momentum tensor. It is checked that conformal weight of the constrained currents is 0. This is necessary for the consistency for our formulation of constrained WZWN models.


title: Identification of a reversible quantum gate: assessing the resources

abstract: We assess the resources needed to identify a reversible quantum gate among a finite set of alternatives, including in our analysis both deterministic and probabilistic strategies. Among the probabilistic strategies we consider unambiguous gate discrimination, where errors are not tolerated but inconclusive outcomes are allowed, and we prove that parallel strategies are sufficient to unambiguously identify the unknown gate with minimum number of queries. This result is used to provide upper and lower bounds on the query complexity and on the minimum ancilla dimension. In addition, we introduce the notion of generalized t-designs, which includes unitary t-designs and group representations as special cases. For gates forming a generalized t-design we give an explicit expression for the maximum probability of correct gate identification and we prove that there is no gap between the performances of deterministic strategies an those of probabilistic strategies. Hence, evaluating of the query complexity of perfect deterministic discrimination is reduced to the easier problem of evaluating the query complexity of unambiguous discrimination. Finally, we consider discrimination strategies where the use of ancillas is forbidden, providing upper bounds on the number of additional queries needed to make up for the lack of entanglement with the ancillas.


title: Maximal contractive tuples

abstract: Maximality of a contractive tuple of operators is considered. Characterization of a contractive tuple to be maximal is obtained. Notion of maximality of a submodule of Drury-Arveson module on the $d$-dimensional unit ball $\mathbb{B}_d$ is defined. For $d=1$, it is shown that every submodule of the Hardy module over the unit disc is maximal. But for $d\ge 2$ we prove that any homogeneous submodule or submodule generated by polynomials is not maximal. A characterization of a submodule to be maximal is obtained.


title: Improving the accuracy and efficiency of time-resolved electronic spectra calculations: Cellular dephasing representation with a prefactor

abstract: Time-resolved electronic spectra can be obtained as the Fourier transform of a special type of time correlation function known as fidelity amplitude, which, in turn, can be evaluated approximately and efficiently with the dephasing representation. Here we improve both the accuracy of this approximation---with an amplitude correction derived from the phase-space propagator---and its efficiency---with an improved cellular scheme employing inverse Weierstrass transform and optimal scaling of the cell size. We demonstrate the advantages of the new methodology by computing dispersed time-resolved stimulated emission spectra in the harmonic potential, pyrazine, and the NCO molecule. In contrast, we show that in strongly chaotic systems such as the quartic oscillator the original dephasing representation is more appropriate than either the cellular or prefactor-corrected methods.


title: The relativistic virial theorem and scale invariance

abstract: The virial theorem is related to the dilatation properties of bound states. This is realized, in particular, by the Landau-Lifshitz formulation of the relativistic virial theorem, in terms of the trace of the energy-momentum tensor. We construct a Hamiltonian formulation of dilatations in which the relativistic virial theorem naturally arises as the condition of stability against dilatations. A bound state becomes scale invariant in the ultrarelativistic limit, in which its energy vanishes. However, for very relativistic bound states, scale invariance is broken by quantum effects and the virial theorem must include the energy-momentum tensor trace anomaly. This quantum field theory virial theorem is directly related to the Callan-Symanzik equations. The virial theorem is applied to QED and then to QCD, focusing on the bag model of hadrons. In massless QCD, according to the virial theorem, 3/4 of a hadron mass corresponds to quarks and gluons and 1/4 to the trace anomaly.


title: Gravity effects on thick brane formation from scalar field dynamics

abstract: The formation of a thick brane in five-dimen\-sional space-time is investigated when warp geometries of $AdS_5$ type are induced by scalar matter dynamics and triggered by a thin-brane defect. The scalar matter is taken to consist of two fields with $O(2)$ symmetric self interaction and with manifest $O(2)$ symmetry breaking by terms quadratic in fields. One of them serves as a thick brane formation mode around a kink background and another one is of a Higgs-field type which may develop a classical background as well. Scalar matter interacts with gravity in the minimal form and gravity effects on (quasi)localized scalar fluctuations are calculated with usage of gauge invariant variables suitable for perturbation expansion. The calculations are performed in the vicinity of the critical point of spontaneous breaking of the combined parity symmetry where a non-trivial v.e.v. of the Higgs-type scalar field is generated. The nonperturbative discontinuous gravitational effects in the mass spectrum of light localized scalar states are studied in the presence of a thin-brane defect. The thin brane with negative tension happens to be the most curious case when the singular barriers form a potential well with two infinitely tall walls and the discrete spectrum of localized states arises completely isolated from the bulk.


title: Wandering subspaces of the Bergman space and the Dirichlet space over polydisc

abstract: Doubly commutativity of invariant subspaces of the Bergman space and the Dirichlet space over the unit polydisc $\mathbb{D}^n$ (with $ n \geq 2$) is investigated. We show that for any non-empty subset $\alpha=\{\alpha_1,\dots,\alpha_k\}$ of $\{1,\dots,n\}$ and doubly commuting invariant subspace $\s$ of the Bergman space or the Dirichlet space over $\D^n$, the tuple consists of restrictions of co-ordinate multiplication operators $M_{\alpha}|_\s:=(M_{z_{\alpha_1}}|_\s,\dots, M_{z_{\alpha_k}}|_\s)$ always possesses wandering subspace of the form \[\bigcap_{i=1}^k(\s\ominus z_{\alpha_i}\s). \]


title: Algebraic quotient modules and subgroup depth

abstract: In arXiv:1210.3178 it was shown that subgroup depth may be computed from the permutation module of the left or right cosets: this holds more generally for a Hopf subalgebra, from which we note in this paper that finite depth of a Hopf subalgebra R < H is equivalent to the H-module coalgebra Q = H/R^+H representing an algebraic element in the Green ring of H or R. This approach shows that subgroup depth and the subgroup depth of the corefree quotient lie in the same closed interval of length one. We also establish a previous claim that the problem of determining if R has finite depth in H is equivalent to determining if H has finite depth in its cross product Q* # H. A necessary condition is obtained for finite depth from stabilization of a descending chain of annihilator ideals of tensor powers of Q. As an application of these topics to a centerless finite group G, we prove that the minimum depth of its group complex algebra in the Drinfeld double D(G) is an odd integer, which determines the least tensor power of the adjoint representation Q that is a faithful complex G-module.


title: Inter-grain tunneling in the half-metallic double-perovskites Sr$_2$BB'O$_6$ (BB'-- FeMo, FeRe, CrMo, CrW, CrRe

abstract: The zero-field conductivities ($\sigma$) of the polycrystaline title materials, are governed by inter-grain transport. In the majority of cases their $\sigma$(T) can be described by the "fluctuation induced tunneling" model. Analysis of the results in terms of this model reveals two remarkable features: 1. For \emph{all} Sr$_2$FeMoO$_6$ samples of various microstructures, the tunneling constant (barrier width $\times$ inverse decay-length of the wave-function) is $\sim$ 2, indicating the existence of an intrinsic insulating boundary layer with a well defined electronic (and magnetic) structure. 2. The tunneling constant for \emph{all} cold-pressed samples decreases linearly with increasing magnetic-moment/formula-unit.


title: Does it Matter Which Citation Tool is Used to Compare the h-index of a Group of Highly Cited Researchers?

abstract: h-index retrieved by citation indexes (Scopus, Google scholar, and Web of Science) is used to measure the scientific performance and the research impact studies based on the number of publications and citations of a scientist. It also is easily available and may be used for performance measures of scientists, and for recruitment decisions. The aim of this study is to investigate the difference between the outputs and results from these three citation databases namely Scopus, Google Scholar, and Web of Science based upon the h-index of a group of highly cited researchers (Nobel Prize winner scientist). The purposive sampling method was adopted to collect the required data. The results showed that there is a significant difference in the h-index between three citation indexes of Scopus, Google scholar, and Web of Science; the Google scholar h-index was more than the h-index in two other databases. It was also concluded that there is a significant positive relationship between h-indices based on Google scholar and Scopus. The citation indexes of Scopus, Google scholar, and Web of Science may be useful for evaluating h-index of scientists but they have some limitations as well.


title: Exponentially small asymptotic estimates for the splitting of separatrices to whiskered tori with quadratic and cubic frequencies

abstract: We study the splitting of invariant manifolds of whiskered tori with two or three frequencies in nearly-integrable Hamiltonian systems. We consider 2-dimensional tori with a frequency vector $\omega=(1,\Omega)$ where $\Omega$ is a quadratic irrational number, or 3-dimensional tori with a frequency vector $\omega=(1,\Omega,\Omega^2)$ where $\Omega$ is a cubic irrational number. Applying the Poincare-Melnikov method, we find exponentially small asymptotic estimates for the maximal splitting distance between the stable and unstable manifolds associated to the invariant torus, showing that such estimates depend strongly on the arithmetic properties of the frequencies. Inthe quadratic case, we use the continued fractions theory to establish a certain arithmetic property, fulfilled in 24 cases, which allows us to provide asymptotic estimates in a simple way. In the cubic case, we focus our attention to the case in which $\Omega$ is the so-called cubic golden number (the real root of $x^3+x-1=0$), obtaining also asymptotic estimates. We point out the similitudes and differences between the results obtained for both the quadratic and cubic cases.


title: On Primitivity of Sets of Matrices

abstract: A nonnegative matrix $A$ is called primitive if $A^k$ is positive for some integer $k>0$. A generalization of this concept to finite sets of matrices is as follows: a set of matrices $\mathcal M = \{A_1, A_2, \ldots, A_m \}$ is primitive if $A_{i_1} A_{i_2} \ldots A_{i_k}$ is positive for some indices $i_1, i_2, ..., i_k$. The concept of primitive sets of matrices comes up in a number of problems within the study of discrete-time switched systems. In this paper, we analyze the computational complexity of deciding if a given set of matrices is primitive and we derive bounds on the length of the shortest positive product. We show that while primitivity is algorithmically decidable, unless $P=NP$ it is not possible to decide primitivity of a matrix set in polynomial time. Moreover, we show that the length of the shortest positive sequence can be superpolynomial in the dimension of the matrices. On the other hand, defining ${\mathcal P}$ to be the set of matrices with no zero rows or columns, we give a simple combinatorial proof of a previously-known characterization of primitivity for matrices in ${\mathcal P}$ which can be tested in polynomial time. This latter observation is related to the well-known 1964 conjecture of Cerny on synchronizing automata; in fact, any bound on the minimal length of a synchronizing word for synchronizing automata immediately translates into a bound on the length of the shortest positive product of a primitive set of matrices in ${\mathcal P}$. In particular, any primitive set of $n \times n$ matrices in ${\mathcal P}$ has a positive product of length $O(n^3)$.


title: Hermite-Hadamard type inequality for operator preinvex functions

abstract: In this paper we establish a Hermite- Hadamard type inequality for operator preinvex functions and an estimate of the right hand side of a Hermite- Hadamard type inequality in which some operator preinvex functions of selfadjoint operators in Hilbert spaces are involved.


title: Electromagnetic properties of doubly charmed baryons in Lattice QCD

abstract: We compute the electromagnetic properties of \Xi_cc baryons in 2+1 flavor Lattice QCD. By measuring the electric charge and magnetic form factors of \Xi_cc baryons, we extract the magnetic moments, charge and magnetic radii as well as the \Xi_cc \Xi_cc \rho coupling constant, which provide important information to understand the size, shape and couplings of the doubly charmed baryons. We find that the two heavy charm quarks drive the charge radii and the magnetic moment of \Xi_cc to smaller values as compared to those of, e.g., the proton.


title: On integrability of D0-brane equations on AdS_4 x CP^3 superbackground

abstract: Equations of motion for the D0-brane on AdS_4 x CP^3 superbackground are shown to be classically integrable by extending the argument previously elaborated for the massless superparticle model.


title: Fast Gradient-Based Inference with Continuous Latent Variable Models in Auxiliary Form

abstract: We propose a technique for increasing the efficiency of gradient-based inference and learning in Bayesian networks with multiple layers of continuous latent vari- ables. We show that, in many cases, it is possible to express such models in an auxiliary form, where continuous latent variables are conditionally deterministic given their parents and a set of independent auxiliary variables. Variables of mod- els in this auxiliary form have much larger Markov blankets, leading to significant speedups in gradient-based inference, e.g. rapid mixing Hybrid Monte Carlo and efficient gradient-based optimization. The relative efficiency is confirmed in ex- periments.


title: The far emission region of the gamma-ray blazar PKS B1424-418

abstract: We report multi-wavelength (IR-O, UV, X-ray, gamma-ray) data of the flat spectrum radio quasar (FSRQ) PKS B1424-418 (z=1.52) gathered during an active phase in 2013 April . As for a few other cases of FSRQs reported in literature, the detection by the Large Area Telescope onboard Fermi of gamma rays with energy above 10 GeV indicates that the emission likely occurs beyond the highly opaque (tau ~10) broad line region. This conclusion is strengthened by a model fit to the spectral energy distribution, which allows us to locate the emission region even beyond the distance generally assumed for the dusty torus. The consequent large size (~1 pc) inferred for the emission region cannot account for the observed daily-scale variability of the gamma-ray flux. We discuss the possibility that short-term variability results from fast magnetic reconnection events, as proposed in recent works.


title: Particle approximations of the score and observed information matrix for parameter estimation in state space models with linear computational cost

abstract: Poyiadjis et al. (2011) show how particle methods can be used to estimate both the score and the observed information matrix for state space models. These methods either suffer from a computational cost that is quadratic in the number of particles, or produce estimates whose variance increases quadratically with the amount of data. This paper introduces an alternative approach for estimating these terms at a computational cost that is linear in the number of particles. The method is derived using a combination of kernel density estimation, to avoid the particle degeneracy that causes the quadratically increasing variance, and Rao-Blackwellisation. Crucially, we show the method is robust to the choice of bandwidth within the kernel density estimation, as it has good asymptotic properties regardless of this choice. Our estimates of the score and observed information matrix can be used within both online and batch procedures for estimating parameters for state space models. Empirical results show improved parameter estimates compared to existing methods at a significantly reduced computational cost. Supplementary materials including code are available.


title: Irreducibility of generalized Hermite-Laguerre Polynomials III

abstract: For a positive integer $n$ and a real number $\alpha$, the generalized Laguerre polynomials are defined by \begin{align*} L^{(\alpha)}_n(x)=\sum^n_{j=0}\frac{(n+\alpha)(n-1+\alpha)\cdots (j+1+\alpha)(-x)^j}{j!(n-j)!}. \end{align*} These orthogonal polynomials are solutions to Laguerre's Differential Equation which arises in the treatment of the harmonic oscillator in quantum mechanics. Schur studied these Laguerre polynomials for its interesting algebraic properties. He obtained irreducibility results of $L^{(\pm \frac{1}{2})}_n(x)$ and $L^{(\pm \frac{1}{2})}_n(x^2)$ and derived that the Hermite polynomials $H_{2n}(x)$ and $\frac{H_{2n+1}(x)}{x}$ are irreducible for each $n$. In this article, we extend Schur's result by showing that the family of Laguerre polynomials $L^{(q)}_n(x)$ and $L^{(q)}_n(x^d)$ with $q\in \{\pm \frac{1}{3}, \pm \frac{2}{3}, \pm \frac{1}{4}, \pm \frac{3}{4}\}$, where $d$ is the denominator of $q$, are irreducible for every $n$ except when $q=\frac{1}{4}, n=2$ where we give the complete factorization. In fact, we derive it from a more general result.


title: First Results of the PixelGEM Central Tracking System for COMPASS

abstract: For its physics program with a high-intensity hadron beam of up to 2e7 particles/s, the COMPASS experiment at CERN requires tracking of charged particles scattered by very small angles with respect to the incident beam direction. While good resolution in time and space is mandatory, the challenge is imposed by the high beam intensity, requiring radiation-hard detectors which add very little material to the beam path in order to minimize secondary interactions. To this end, a set of triple-GEM detectors with a hybrid readout structure consisting of pixels in the beam region and 2-D strips in the periphery was designed and built. Successful prototype tests proved the performance of this new detector type, showing both extraordinary high rate capability and detection efficiency. The amplitude information allowed to achieve spatial resolutions about a factor of 10 smaller than the pitch and a time resolution close to the theoretical limit imposed by the layout. The PixelGEM central tracking system consisting of five detectors, slightly improved with respect to the prototype, was completely installed in the COMPASS spectrometer in spring 2008.


title: Pulse broadening analysis for several new pulsars and anomalous scattering

abstract: We show the results of our analysis of the pulse broadening phenomenon in 25 pulsars at several frequencies using the data gathered with GMRT and Effelsberg radiotelescopes. Twenty two of these pulsars were not studied in that regard before and our work has increased the total number of pulsars with multi-frequency scattering measurements to almost 50, basically doubling the amount available so far. The majority of the pulsars we observed have high to very-high dispersion measures (DM>200) and our results confirm the suggestion of Loehmer et al.(2001, 2004) that the scatter time spectral indices for high-DM pulsars deviate from the value predicted by a single thin screen model with Kolmogorov's distribution of the density fluctuations. In this paper we discuss the possible explanations for such deviations.


title: Effect of stellar spots on high-precision transit light-curve

abstract: Stellar activity features such as spots can create complications in determining planetary parameters through spectroscopic and photometric observations. The overlap of a transiting planet and a stellar spot, for instance, can produce anomalies in the transit light curves that may lead to inaccurate estimation of the transit duration, depth and timing. For instance such inaccuracies can affect the precise derivation of the planet's radius. In this paper, we present the results of a quantitative study on the effects of stellar spots on high precision transit light curves. We show that spot anomalies can lead to the estimate of a planet radius that is 4% smaller than the real value. The effects on the transit duration can also be of the order of 4%, longer or shorter. Depending on the size and distribution of spots, anomalies can also produce transit timing variations with significant amplitudes. For instance, TTVs with signal amplitudes of 200 seconds can be produced when the spot is completely dark and as large as the largest Sun spot. Our study also indicates that the minimum size of a stellar spot with detectable affects on the high precision transit light curve is around 0.03 time the stellar radius for typical Kepler telescope precision. We also show that the strategy of including more free parameters (such as transit depth and duration) in the fitting procedure to measure the transit time of each individual transit will not produce accurate results in the case of active stars.


title: Irreducibility of generalized Hermite-Laguerre Polynomials II

abstract: In this paper, we show that for each $n\geq 1$, the generalised Hermite-Laguerre Polynomials $G_{\frac{1}{4}}$ and $G_{\frac{3}{4}}$ are either irreducible or linear polynomial times an irreducible polynomial of degree $n-1$.


title: Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory

abstract: There are two fundamentally different approaches to specifying and verifying properties of systems. The logical approach makes use of specifications given as formulae of temporal or modal logics and relies on efficient model checking algorithms; the behavioural approach exploits various equivalence or refinement checking methods, provided the specifications are given in the same formalism as implementations. In this paper we provide translations between the logical formalism of Hennessy-Milner logic with greatest fixed points and the behavioural formalism of disjunctive modal transition systems. We also introduce a new operation of quotient for the above equivalent formalisms, which is adjoint to structural composition and allows synthesis of missing specifications from partial implementations. This is a substantial generalisation of the quotient for deterministic modal transition systems defined in earlier papers.


title: Locally maximally entangleable states and W-type states

abstract: We investigate the relationship between locally maximally entangleable (LME) states and W-type states which are equivalent to a W state under stochastic local operations and classical communication (SLOCC). We prove that (i) some special W-type states of three qubits are LME; and (ii) no W-type state of four and more qubits is LME. Our results show that the W state of four and more qubits cannot be prepared by using LME states under SLOCC. However, for three qubits some special LME states can be used to prepare the W state under SLOCC.


title: AC vs. DC Electrophoretic Deposition of Hydroxyapatite on Titanium

abstract: The bio-inertness of titanium and its alloys attracts their use as bone implants. However a bioactive coating is usually necessary for improving the bone bonding of such implants. In this study, electrophoretic deposition(EPD) of hydroxyapatite (HA) powder on titanium plate was performed using butanol as solvent under direct current (DC) and alternating current (AC) fields. The zeta potential of the suspensions was measured to understand their stability and the charge on the particles. Coating thickness was varied by adjusting the voltage and time of deposition. Surface morphology and cross section thickness were studied using scanning electron microscopy and image analysis software. Surface crack density was calculated from the micrographs. The results showed that the samples of similar thickness have higher grain density when coated using AC as compared to DC EPD. This facile but novel test proves the capability of AC-EPD to attain denser and uniform HA coatings from non-aqueous medium.


title: BRST symmetry and $W$-algebra in higher derivative models

abstract: In this paper we discuss the (anti-)BRST symmetries and $W$-algebra of higher derivative theories of relativistic particles satisfying general gauge conditions. Using this formalism, the connection between the (anti-)BRST symmetries and $W$-algebra for the rigid relativistic particle is established. Incidentally, the full $W$-algebra emerges only when the anti-BRST transformations are considered in tandem with the BRST ones. Further, the BRST symmetry is made finite and coordinate-dependent. We show that such finite coordinate-dependent BRST symmetry changes the BRST invariant gauge-fixing fermion within the functional integration. This is exploited to connect two different arbitrary gauge conditions.


title: Irreducibility of generalized Hermite-Laguerre polynomials

abstract: For a rational $q=u+\frac{\alpha}{d}$ with $u, \alpha, d\in \ACOBZ$ with $u\ge 0, 1\le \alpha<d$, $\gcd(\alpha, d)=1$, the \emph{generalized Hermite-Laguerre polynomials $G_q(x)$} are defined by \begin{align*} G_q(x)&=a_nx^n+a_{n-1}(\alpha +(n-1+u)d)x^{n-1}+\cdots\\ &\quad+a_1\left(\prod^{n-1}_{i=1}(\alpha +(i+u)d)\right)x+a_0 \left(\prod^{n-1}_{i=0}(\alpha +(i+u)d)\right) \end{align*} where $a_0, a_1, \cdots, a_n$ are arbitrary integers. We prove some irreducibility results of $G_q(x)$ when $q\in \{\frac{1}{3}, \frac{2}{3}\}$ and extend some of the earlier irreducibility results when $q$ of the form $u+\frac{1}{2}$. We also prove a new improved lower bound for greatest prime factor of product of consecutive terms of an arithmetic progression whose common difference is 2 and 3.


title: Schwarzenberger bundles on smooth projective varieties

abstract: We define Schwarzenberger bundles on any smooth projective variety X. We introduce the notions of jumping pairs of a Steiner bundle E on X and determine a bound for the dimension of its jumping locus. We completely classify Steiner bundles whose set of jumping pairs have maximal dimension, proving that they are all Schwarzenberger bundles.


title: On the number of conjugacy classes of $\pi$-elements in finite groups

abstract: Let $G$ be a finite group and $\pi$ be a set of primes. We show that if the number of conjugacy classes of $\pi$-elements in $G$ is larger than $5/8$ times the $\pi$-part of $|G|$ then $G$ possesses an abelian Hall $\pi$-subgroup which meets every conjugacy class of $\pi$-elements in $G$. This extends and generalizes a result of W. H. Gustafson.


title: Large time behavior for some nonlinear degenerate parabolic equations

abstract: We study the asymptotic behavior of Lipschitz continuous solutions of nonlinear degenerate parabolic equations in the periodic setting. Our results apply to a large class of Hamilton-Jacobi-Bellman equations. Defining S as the set where the diffusion vanishes, i.e., where the equation is totally degenerate, we obtain the convergence when the equation is uniformly parabolic outside S and, on S, the Hamiltonian is either strictly convex or satisfies an assumption similar of the one introduced by Barles-Souganidis (2000) for first-order Hamilton-Jacobi equations. This latter assumption allows to deal with equations with nonconvex Hamiltonians. We can also release the uniform parabolic requirement outside S. As a consequence, we prove the convergence of some everywhere degenerate second-order equations.


title: Molecular dynamics simulations of single-component bottle-brush polymers with a flexible backbone under poor solvent conditions

abstract: Conformations of a single-component bottle-brush polymer with a fully flexible backbone under poor solvent conditions are studied by molecular-dynamics simulations, using a coarse-grained bead-spring model with side chains of up to N=40 effective monomers. By variation of the solvent quality and the grafting density $\sigma$ with which side chains are grafted onto the flexible backbone, we study for backbone lengths of up to $N_b=100$ the crossover from the brush/coil regime to the dense collapsed state. At lower temperatures, where collapsed chains with a constant monomer density are observed, the choice of the above parameters does not play any role and it is the total number of monomers that defines the dimensions of the chains. Furthermore, bottle-brush polymers with longer side chains possess higher spherical symmetry compared to chains with lower side-chain lengths in contrast to what one may intuitively expect, as the stretching of the side chains is less important than the increase of their length. At higher temperatures, always below the Theta ($\Theta$) temperature, coil-like configurations, similar to a single polymer chain, or brush-like configurations, similar to a homogeneous cylindrical bottle-brush polymer with a rigid backbone, are observed, depending on the choice of the particular parameters $N$ and $\sigma$. In the crossover regime between the collapsed state (globule) and the coil/brush regime the acylindricity increases, whereas for temperatures outside of this range, bottle-brush polymers maintain a highly cylindrical symmetry in all configurational states.


title: Evaluating Wireless Proactive Routing Protocols under Mobility and Scalability Constraints

abstract: Wireless Multi-hop Networks (WMhNs) provide users with the facility to communicate while moving with whatever the node speed, the node density and the number of traffic flows they want, without any unwanted delay and/or disruption. This paper contributes Linear Programming models (LP_models) for WMhNs. In WMhNs, different routing protocols are used to facilitate users demand(s). To practically examine the constraints of respective LP_models over different routing techniques, we select three proactive routing protocols; Destination Sequence Distance Vector (DSDV), Fish-eye State Routing (FSR) and Optimized Link State Routing (OLSR). These protocols are simulated in two important scenarios regarding to user demands; mobilities and different network flows. To evaluate the performance, we further relate the protocols strategy effects on respective constraints in selected network scenarios.


title: First-Order Decomposition Trees

abstract: Lifting attempts to speed up probabilistic inference by exploiting symmetries in the model. Exact lifted inference methods, like their propositional counterparts, work by recursively decomposing the model and the problem. In the propositional case, there exist formal structures, such as decomposition trees (dtrees), that represent such a decomposition and allow us to determine the complexity of inference a priori. However, there is currently no equivalent structure nor analogous complexity results for lifted inference. In this paper, we introduce FO-dtrees, which upgrade propositional dtrees to the first-order level. We show how these trees can characterize a lifted inference solution for a probabilistic logical model (in terms of a sequence of lifted operations), and make a theoretical analysis of the complexity of lifted inference in terms of the novel notion of lifted width for the tree.


title: Near-colorings: non-colorable graphs and NP-completeness

abstract: A graph G is (d_1,..,d_l)-colorable if the vertex set of G can be partitioned into subsets V_1,..,V_l such that the graph G[V_i] induced by the vertices of V_i has maximum degree at most d_i for all 1 <= i <= l. In this paper, we focus on complexity aspects of such colorings when l=2,3. More precisely, we prove that, for any fixed integers k,j,g with (k,j) distinct form (0,0) and g >= 3, either every planar graph with girth at least g is (k,j)-colorable or it is NP-complete to determine whether a planar graph with girth at least g is (k,j)-colorable. Also, for any fixed integer k, it is NP-complete to determine whether a planar graph that is either (0,0,0)-colorable or non-(k,k,1)-colorable is (0,0,0)-colorable. Additionally, we exhibit non-(3,1)-colorable planar graphs with girth 5 and non-(2,0)-colorable planar graphs with girth 7.


title: Automorphisms of cluster algebras of rank 2

abstract: We compute the automorphism group of the affine surfaces with the coordinate ring isomorphic to a cluster algebra of rank 2.


title: Extensions of Schur's irreducibility results

abstract: We prove that the generalised Laguerre polynomials $L_{n}^{(\alpha)}(x)$ with $0\le \al\le 50$ are irreducible except for finitely many pairs $(n, \al)$ and that these exceptions are necessary. In fact it follows from a more general statement.


title: Evaluating Wireless Reactive Routing Protocols with Linear Programming Model for Wireless Ad-hoc Networks

abstract: In Wireless Ad-hoc Networks, nodes are free to move randomly and organize themselves arbitrarily, thus topology may change quickly and capriciously. In Mobile Ad-hoc NETworks, specially Wireless Multi-hop Networks provide users with facility of quick communication. In Wireless Multi-hop Networks, routing protocols with energy efficient and delay reduction techniques are needed to fulfill users demands. In this paper, we present Linear Programming models to assess and enhance reactive routing protocols. To practically examine constraints of respective Linear Programming models over reactive protocols, we select AODV, DSR and DYMO. It is deduced from analytical simulations of Linear Programming models in MATLAB that quick route repair reduces routing latency and optimizations of retransmission attempts results efficient energy utilization. To provide quick repair, we enhance AODV and DSR. To practically examine the efficiency of enhanced protocols in different scenarios of Wireless Multi-hop Networks, we conduct simulations using NS-2. From simulation results, enhanced DSR and AODV achieve efficient output by optimizing routing latencies and routing load in terms of retransmission attempts.


title: Invisible stimuli, implicit thresholds: Why invisibility judgments cannot be interpreted in isolation

abstract: Some studies of unconscious cognition rely on judgments of participants stating that they have "not seen" the critical stimulus (e.g., in a masked-priming experiment). Trials in which participants gave "not-seen" judgments are then treated as those where the critical stimulus was "subliminal" or "unconscious", as opposed to trials with higher visibility ratings. Sometimes, only these trials are further analyzed, for instance, for unconscious priming effects. Here I argue that this practice requires implicit assumptions about subjective measures of awareness incompatible with basic models of categorization under uncertainty (e.g., modern signal-detection and threshold theories). Most importantly, it ignores the potential effects of response bias. Instead of taking "not-seen" judgments literally, they would better be employed in parametric experiments where stimulus visibility is manipulated systematically, not accidentally. This would allow studying qualitative and double dissociations between measures of awareness and of stimulus processing per se.


title: Modeling and Simulating Network Connectivity in Routing Protocols for MANETs and VANETs

abstract: This paper presents a framework for node distribution with respect to density, network connectivity and communication time. Using NS2, we evaluate and compare performance of three routing protocols; Ad-hoc On-demand Distance Vector (AODV), Dynamic Source Routing (DSR) and Fisheye State Routing (FSR) both in MANETs (IEEE 802.11) and VANETs (IEEE 802.11p). We further enhanced these protocols by changing their routing information exchange intervals; MOD AODV, MOD DSR and MOD FSR. A comprehensive simulation work is performed for the comparison of these routing protocols for varying motilities and scalabilities of nodes. As a result, we can say that AODV outperforms DSR and FSR both in MANETs and VANETs.


title: Some irreducibility results for truncated binomial expansions

abstract: For positive integers $n>k$, let $P_{n,k}(x)=\displaystyle\sum_{j=0}^k \binom{n}{j}x^j $ be the polynomial obtained by truncating the binomial expansion of $(1+x)^n$ at the $k^{th}$ stage. These polynomials arose in the investigation of Schubert calculus in Grassmannians. In this paper, the authors prove the irreducibility of $P_{n,k}(x)$ over the field of rational numbers when $2\leqslant 2k \leqslant n<(k+1)^3$.


title: Crystal field states in a Quantum Spin Ice]{Crystal field states of Pr$^{3+}$ in the candidate quantum spin ice Pr$_{2}$Sn$_{2}$O$_{7}$

abstract: Neutron time-of-flight spectroscopy has been employed to study the crystal-field splitting of Pr$^{3+}$ in the pyrochlore stannate Pr$_{2}$Sn$_{2}$O$_{7}$. The crystal field has been parameterized from a profile fit to the observed neutron spectrum. The single-ion ground state is a well isolated non-Kramers doublet of $\Gamma_3^+$ symmetry with a large Ising-like anisotropy, $\chi_{zz} /\chi_\perp \approx 60$ at 10 K, but with a significant admixture of terms $| M_J \neq \pm J >$ which can give rise to quantum zero-point fluctuations. This magnetic state satisfies the requirements for quantum spin ice behavior.


title: Mashup of Meta-Languages and its Implementation in the Kermeta Language Workbench

abstract: With the growing use of domain-specific languages (DSL) in industry, DSL design and implementation goes far beyond an activity for a few experts only and becomes a challenging task for thousands of software engineers. DSL implementation indeed requires engineers to care for various concerns, from abstract syntax, static semantics, behavioral semantics, to extra-functional issues such as run-time performance. This paper presents an approach that uses one meta-language per language implementation concern. We show that the usage and combination of those meta-languages is simple and intuitive enough to deserve the term "mashup". We evaluate the approach by completely implementing the non trivial fUML modeling language, a semantically sound and executable subset of the Unified Modeling Language (UML).


title: Evaluating and Comparing Probability of Path Loss in DSDV, OLSR and DYMO at 802.11 and 802.11p

abstract: In this paper, we present path loss model for VANETs and simulate three routing protocols; Destination Sequenced Distance Vector (DSDV), Optimized Link State Routing (OLSR) and Dynamic MANET On-demand (DYMO) to evaluate and compare their performance using NS-2. The main contribution of this work is enhancement of existing techniques to achieve high efficiency of the underlying networks. After extensive simulations in NS-2, we conclude that DSDV best performs with 802.11p while DYMO gives outstanding performance with 802.11.


title: Detecting Missing Method Calls as Violations of the Majority Rule

abstract: When using object-oriented frameworks it is easy to overlook certain important method calls that are required at particular places in code. In this paper, we provide a comprehensive set of empirical facts on this problem, starting from traces of missing method calls in a bug repository. We propose a new system that searches for missing method calls in software based on the other method calls that are observable. Our key insight is that the voting theory concept of majority rule holds for method calls: a call is likely to be missing if there is a majority of similar pieces of code where this call is present. The evaluation shows that the system predictions go further missing method calls and often reveal different kinds of code smells (e.g. violations of API best practices).


title: A Holder-logarithmic stability estimate for an inverse problem in two dimensions

abstract: The problem of the recovery of a real-valued potential in the two-dimensional Schrodinger equation at positive energy from the Dirichlet-to-Neumann map is considered. It is know that this problem is severely ill-posed and the reconstruction of the potential is only logarithmic stable in general. In this paper a new stability estimate is proved, which is explicitly dependent on the regularity of the potentials and on the energy. Its main feature is an efficient increasing stability phenomenon at sufficiently high energies: in some sense, the stability rapidly changes from logarithmic type to Holder type. The paper develops also several estimates for a non-local Riemann-Hilbert problem which could be of independent interest.


title: On measure solutions of the Boltzmann equation, Part II: Rate of convergence to equilibrium

abstract: The paper considers the convergence to equilibrium for measure solutions of the spatially homogeneous Boltzmann equation for hard potentials with angular cutoff. We prove the exponential sharp rate of strong convergence to equilibrium for conservative measure solutions having finite mass and energy. The proof is based on the regularizing property of the iterated collision operators, exponential moment production estimates, and some previous results on the exponential rate of strong convergence to equilibrium for square integrable initial data. We also obtain a lower bound of the convergence rate and deduce that no eternal solutions exist apart from the trivial stationary solutions given by the Maxwellian equilibrium. We finally use these convergence rates in order to deduce global-in-time strong stability of measure solutions.


title: Grimm's Conjecture and Smooth Numbers

abstract: Let $g(n)$ be the largest positive integer $k$ such that there are distinct primes $p_i$ for $1\leq i\leq k$ so that $p_i |n+i$. This function is related to a celebrated conjecture of C.A. Grimm. We establish upper and lower bounds for $g(n)$ by relating its study to the distribution of smooth numbers. Standard conjectures concerning smooth numbers in short intervals imply $g(n) =O(n^\epsilon)$ for any $\epsilon >0$. We also prove unconditionally that $g(n) =O(n^\al)$ with $0.45<\al <0.46$. The study of $g(n)$ and cognate functions has some interesting implications for gaps between consecutive primes.


title: Full-scale ab initio 3D PIC simulations of an all-optical radiation reaction configuration at $10^{21}\mathrm{W/cm^2}$

abstract: Using full-scale 3D particle-in-cell simulations we show that the radiation reaction dominated regime can be reached in an all optical configuration through the collision of a $\sim$1 GeV laser wakefield accelerated (LWFA) electron bunch with a counter propagating laser pulse. In this configuration radiation reaction significantly reduces the energy of the particle bunch, thus providing clear experimental signatures for the process with currently available lasers. We also show that the transition between classical and quantum radiation reaction could be investigated in the same configuration with laser intensities of $10^{24}\mathrm{W/cm^2}$.


title: Fast recognition of alternating groups of unknown degree

abstract: We present a constructive recognition algorithm to decide whether a given black-box group is isomorphic to an alternating or a symmetric group without prior knowledge of the degree. This eliminates the major gap in known algorithms, as they require the degree as additional input. Our methods are probabilistic and rely on results about proportions of elements with certain properties in alternating and symmetric groups. These results are of independent interest; for instance, we establish a lower bound for the proportion of involutions with small support.


title: Covariance and Causality in the Transition Radiation of an Electron Bunch

abstract: A theoretical model of the transition radiation (TR) emission of an N electron bunch must comply with the covariance and the temporal-causality principles. A charge-density-like covariance must indeed imprint the formal expression of the TR energy spectrum. A causality relation must constrain the emission phases of the radiation pulse to the temporal sequence of the N electron collisions onto the metallic screen. Covariance and causality are the two faces of the same coin: failing in implementing one of the two constraints into the model necessarily implies betraying the other one. The main formal aspects of a covariance and causality consistent formulation of the TR energy spectrum of an N electron beam will be here described with reference to the case of a radiator surface with an arbitrary size.


title: Numerical simulation of wave impact on a rigid wall using a two-phase compressible SPH method

abstract: In this paper, an SPH method based on the SPH-ALE formulation is used for modelling two-phase flows with large density ratios and realistic sound speeds. The SPH scheme is further improved to circumvent the tensile instability that may occur in the SPH simulations. The two-phase SPH solver is then used to model a benchmark problem of liquid impact on a rigid wall. The results are compared with an incompressible Level Set solver. Furthermore, a wave impact on a rigid wall with a large entrained air pocket is modelled. The SPH simulation is initialised by the output of a fully non-linear potential flow solver. The pressure distribution, velocity field and impact pressure are then analysed.

categories: physics.flu-dyn cs.NA math.NA physics.comp-ph


title: Direct Phasing of Nanocrystal Diffraction

abstract: Recent experiments at free-electron laser x-ray sources have been able to resolve the intensity distributions about Bragg peaks in nanocrystals of large biomolecules. Information derived from small shifts in the peak positions augment the Bragg samples of the particle intensity with samples of its gradients. Working on the assumption that the nanocrystal is entirely generated by lattice translations of a particle, we develop an algorithm that reconstructs the particle from intensities and intensity gradients. Unlike traditional direct phasing methods that require very high resolution data in order to exploit sparsity of the electron density, our method imposes no constraints on the contrast other than positivity and works well at low resolution. We demonstrate successful reconstructions with simulated P1 lysozyme nanocrystal data down to a signal-to-noise ratio of 2 in the intensity gradients.


title: The Frequent Items Problem in Online Streaming under Various Performance Measures

abstract: In this paper, we strengthen the competitive analysis results obtained for a fundamental online streaming problem, the Frequent Items Problem. Additionally, we contribute with a more detailed analysis of this problem, using alternative performance measures, supplementing the insight gained from competitive analysis. The results also contribute to the general study of performance measures for online algorithms. It has long been known that competitive analysis suffers from drawbacks in certain situations, and many alternative measures have been proposed. However, more systematic comparative studies of performance measures have been initiated recently, and we continue this work, using competitive analysis, relative interval analysis, and relative worst order analysis on the Frequent Items Problem.


title: Equivalence and comparison of heterogeneous cellular networks

abstract: We consider a general heterogeneous network in which, besides general propagation effects (shadowing and/or fading), individual base stations can have different emitting powers and be subject to different parameters of Hata-like path-loss models (path-loss exponent and constant) due to, for example, varying antenna heights. We assume also that the stations may have varying parameters of, for example, the link layer performance (SINR threshold, etc). By studying the propagation processes of signals received by the typical user from all antennas marked by the corresponding antenna parameters, we show that seemingly different heterogeneous networks based on Poisson point processes can be equivalent from the point of view a typical user. These neworks can be replaced with a model where all the previously varying propagation parameters (including path-loss exponents) are set to constants while the only trade-off being the introduction of an isotropic base station density. This allows one to perform analytic comparisons of different network models via their isotropic representations. In the case of a constant path-loss exponent, the isotropic representation simplifies to a homogeneous modification of the constant intensity of the original network, thus generalizing a previous result showing that the propagation processes only depend on one moment of the emitted power and propagation effects. We give examples and applications to motivate these results and highlight an interesting observation regarding random path-loss exponents.


title: Modeling of multiple three phase contact lines of liquid droplets on geometrically patterned surfaces: continuum and mesoscopic analysis

abstract: By solving the Young Laplace equation of capillary hydrostatics one can accurately determine equilibrium shapes of droplets on relatively smooth solid surfaces. The solution, however of the Young Laplace equation becomes tricky when a droplet is sitting on a geometrically patterned surface and multiple, and unknown a priori, three phase contact lines have not been accounted for, since air pockets are trapped beneath the liquid droplet. In this work, we propose an augmented Young-Laplace equation, in which a unified formulation for the liquid/vapor and liquid/solid interfaces is adopted, incorporating microscale interactions. This way, we bypass the implementation of the Young's contact angle boundary condition at each three phase contact line. We demonstrate the method's efficiency by computing equilibrium wetting states of entire droplets sitting on geometrically structured surfaces, and compare the results with those of the mesoscopic Lattice Boltzmann simulations. The application of well-established parameter continuation techniques enables the tracing of stable and unstable equilibrium solutions if necessary for the determination of energy barriers separating co-existing stable wettign states. Since energy barriers determine whether a surface facilitates or inhibits certain wetting transitions, their computation is important for many technical applications. Our continuum-level analysis can readily be applied to patterned surfaces with increased and unstructured geometric complexity, having a significant computational advantage, as compared to the computationally demanding mesoscopic simulations that are usually employed for the same task.


title: Extreme-mass-ratio-bursts from extragalactic sources

abstract: Extreme-mass-ratio bursts (EMRBs) are a class of potentially interesting gravitational wave signals. They are produced when a compact object passes through periapsis on a highly eccentric orbit about a much more massive object; we consider stellar mass objects orbiting the massive black holes (MBHs) found in galactic centres. Such a system may emit many EMRBs before eventually completing the inspiral. There are several nearby galaxies that could yield detectable bursts. For a space-borne interferometer like the Laser Interferometer Space Antenna, sensitivity is greatest for EMRBs from MBHs of ~10^6-10^7 solar masses, which could be detected out to ~100 Mpc. Considering the examples of M32, NGC 4945 and NGC 4395 we investigate if extragalactic EMRB signals can provide information about their sources. This is possible, but only if the periapse radius of the orbit is small, of the order of r_p < 8 r_g, where r_g = GM/c^2 is the gravitational radius of the MBH. This limits the utility of EMRBs as an astronomical tool. However, if we are lucky, we could place constraints on the mass and spin of nearby MBHs with 1% precision.

categories: astro-ph.HE astro-ph.CO astro-ph.GA gr-qc


title: The 2-color Rado Number of $x_1+x_2+\cdots +x_{m-1}=ax_m,$ II

abstract: In the first installment of this series, we proved that, for every integer $a\geq 3$ and every $m\geq 2a^2-a+2$, the 2-color Rado number of $x_1 + x_2 + \cdots + x_{m-1} = ax_m$ is $\lceil\frac{m-1}{a} \lceil\frac{m-1}{a} \rceil\rceil$. Here we obtain the best possible improvement of the bound on $m.$ We prove that if $3|a$ then the 2-color Rado number is $\lceil\frac{m-1}{a} \lceil\frac{m-1}{a} \rceil\rceil$ when $m\geq 2a+1$ but not when $m=2a,$ and that if $3\nmid a$ then the 2-color Rado number is $\lceil\frac{m-1}{a} \lceil\frac{m-1}{a} \rceil\rceil$ when $m\geq 2a+2$ but not when $m=2a+1.$ We also determine the 2-color Rado number for all $a\geq 3$ and $m\geq \frac{a}{2}+1.$


title: Nanolayer thickness detection via spatial mode projection

abstract: We demonstrate an optical scheme for measuring the thickness of thin nanolayers with the use of light beam s spatial modes. The novelty in our scheme is the projection of the beam reflected by the sample onto a properly-tailored spatial mode. In the experiment described below, we are able to measure a step height smaller than 10 nm, i.e., one-eightieth (1/80)of the wavelength with a standard error in the picometer scale. Since our scheme enhances the signal-to-noise ratio (SNR), which effectively increases the sensitivity of detection, the extension of this technique to the detection of subnanometric layer thicknesses is feasible.


title: Catching Spiral - S0 transition in groups. Insights from SPH simulations with chemo-photometric implementation

abstract: We are investigating the co-evolution of galaxies within groups combining multi-wavelength photometric and 2D kinematical observations. Here we focus on S0s showing star formation in ring/arm-like structures. We use smooth particle hydrodynamical simulations (SPH) with chemo-photometric implementation which provide dynamical and morphological information together with the spectral energy distribution (SED) at each evolutionary stage. As test cases, we simulate the evolution of two such S0s: NGC 1533 and NGC 3626. The merging of two halos with mass ratio 2:1, initially just composed of dark matter (DM) and gas, well match their observed SEDs, their surface brightness profiles and their overall kinematics. The residual star formation today "rejuvenating" the ring/arm like structures in these S0s is then a mere consequence of a major merger, i.e. this is a phase during the merger episode. The peculiar kinematical features, e.g. gas-stars counter rotation in NGC 3626, depends on the halos initial impact parameters. Furthermore, our simulations allow to follow, in a fully consistent way, the transition of these S0s through the green valley in the NUV-r vs. Mr colour magnitude diagram, which they cross in about 3-5 Gyr, before reaching their current position in the red sequence. We conclude that a viable mechanism driving the evolution of S0s in groups is of gravitational origin.


title: Algebra and logic. Some problems

abstract: The paper has a form of a talk on the given topic. It consists of three parts. The first part of the paper contains main notions, the second one is devoted to logical geometry, the third part describes types and isotypeness. The problems are distributed in the corresponding parts. The whole material oriented towards universal algebraic geometry (UAG), i.e., geometry in an arbitrary variety of algebras $\Theta$. We consider logical geometry (LG) as a part of UAG. This theory is strongly influenced by model theory and ideas of A.Tarski and A.I.Malcev.


title: Cosmic slowing down of acceleration using $f_{gas}$

abstract: We investigate the recent - low redshift - expansion history of the universe using the most recent observational data. Using only data from 42 measurements of $f_{gas}$ in clusters, we found that cosmic acceleration could have already peaked and we are witnessing now its slowing down. This effect, found previously by Shafieloo, Sahni and Starobinsky in 2010 using supernova data (at that time the Constitution SNIa sample) appears again using an independent observational probe. We also discuss the result using the most recent Union 2.1 data set.


title: Regularizing infinite sums of zeta-determinants

abstract: We present a new multiparameter resolvent trace expansion for elliptic operators, polyhomogeneous in both the resolvent and auxiliary variables. For elliptic operators on closed manifolds the expansion is a simple consequence of the parameter dependent pseudodifferential calculus. As an additional nontrivial toy example we treat here Sturm-Liouville operators with separated boundary conditions. As an application we give a new formula, in terms of regularized sums, for the zeta-determinant of an infinite direct sum of Sturm-Liouville operators. The Laplace-Beltrami operator on a surface of revolution decomposes into an infinite direct sum of Sturm-Louville operators, parametrized by the eigenvalues of the Laplacian on the cross-section. We apply the polyhomogeneous expansion to equate the zeta-determinant of the Laplace-Beltrami operator as a regularized sum of zeta-determinants of the Sturm-Liouville operators plus a locally computable term from the polyhomogeneous resolvent trace asymptotics. This approach provides a completely new method for summing up zeta-functions of operators and computing the meromorphic extension of that infinite sum to s=0. We expect out method to extend to a much larger class of operators.


title: Dual Lie Bialgebras of Witt and Virasoro Types

abstract: Structures of dual Lie bialgebras on the one sided Witt algebra, the Witt algebra and the Virasoro algebra are investigated. As a result, we obtain some infinite dimensional Lie algebras.


title: From Coherent Modes to Turbulence and Granulation of Trapped Gases

abstract: The process of exciting the gas of trapped bosons from an equilibrium initial state to strongly nonequilibrium states is described as a procedure of symmetry restoration caused by external perturbations. Initially, the trapped gas is cooled down to such low temperatures, when practically all atoms are in Bose-Einstein condensed state, which implies the broken global gauge symmetry. Excitations are realized either by imposing external alternating fields, modulating the trapping potential and shaking the cloud of trapped atoms, or it can be done by varying atomic interactions by means of Feshbach resonance techniques. Gradually increasing the amount of energy pumped into the system, which is realized either by strengthening the modulation amplitude or by increasing the excitation time, produces a series of nonequilibrium states, with the growing fraction of atoms for which the gauge symmetry is restored. In this way, the initial equilibrium system, with the broken gauge symmetry and all atoms condensed, can be excited to the state, where all atoms are in the normal state, with completely restored gauge symmetry. In this process, the system, starting from the regular superfluid state, passes through the states of vortex superfluid, turbulent superfluid, heterophase granular fluid, to the state of normal chaotic fluid in turbulent regime. Both theoretical and experimental studies are presented.


title: Theorem of three circles in Coq

abstract: The theorem of three circles in real algebraic geometry guarantees the termination and correctness of an algorithm of isolating real roots of a univariate polynomial. The main idea of its proof is to consider polynomials whose roots belong to a certain area of the complex plane delimited by straight lines. After applying a transformation involving inversion this area is mapped to an area delimited by circles. We provide a formalisation of this rather geometric proof in Ssreflect, an extension of the proof assistant Coq, providing versatile algebraic tools. They allow us to formalise the proof from an algebraic point of view.


title: Determination of the origin of the spin Seebeck effect - bulk vs. interface effects

abstract: The observation of the spin Seebeck effect in insulators has meant a breakthrough for spin caloritronics due to the unique ability to generate pure spin currents by thermal excitations in insulating systems without moving charge carriers. Since the recent first observation, the underlying mechanism and the origin of the observed signals have been discussed highly controversially. Here we present a characteristic dependence of the longitudinal spin Seebeck effect amplitude on the thickness of the insulating ferromagnet (YIG). Our measurements show that the observed behavior cannot be explained by any effects originating from the interface, such as magnetic proximity effects in the spin detector (Pt). Comparison to theoretical calculations of thermal magnonic spin currents yields qualitative agreement for the thickness dependence resulting from the finite effective magnon propagation length so that the origin of the effect can be traced to genuine bulk magnonic spin currents ruling out parasitic interface effects.


title: Robust multirobot coordination using priority encoded homotopic constraints

abstract: We study the problem of coordinating multiple robots along fixed geometric paths. Our contribution is threefold. First we formalize the intuitive concept of priorities as a binary relation induced by a feasible coordination solution, without excluding the case of robots following each other on the same geometric path. Then we prove that two paths in the coordination space are continuously deformable into each other if and only if they induce the \emph{same priority graph}, that is, the priority graph uniquely encodes homotopy classes of coordination solutions. Finally, we give a simple control law allowing to safely navigate into homotopy classes \emph{under kinodynamic constraints} even in the presence of unexpected events, such as a sudden robot deceleration without notice. It appears the freedom within homotopy classes allows to much deviate from any pre-planned trajectory without ever colliding nor having to re-plan the assigned priorities.


title: High Mass Accuracy and High Mass Resolving Power FT-ICR Secondary Ion Mass Spectrometry for Biological Tissue Imaging

abstract: Biological tissue imaging by secondary ion mass spectrometry has seen rapid development with the commercial availability of polyatomic primary ion sources. Endogenous lipids and other small bio-molecules can now be routinely mapped on the sub-micrometer scale. Such experiments are typically performed on time-of-flight mass spectrometers for high sensitivity and high repetition rate imaging. However, such mass analyzers lack the mass resolving power to ensure separation of isobaric ions and the mass accuracy for elemental formula assignment based on exact mass measurement. We have recently reported a secondary ion mass spectrometer with the combination of a C60 primary ion gun with a Fourier transform ion cyclotron resonance mass spectrometer (FT-ICR MS) for high mass resolving power, high mass measurement accuracy and tandem mass spectrometry capabilities. In this work, high specificity and high sensitivity secondary ion FT-ICR MS was applied to chemical imaging of biological tissue. An entire rat brain tissue was measured with 150 um spatial resolution (75 um primary ion spot size) with mass resolving power (m/{\Delta}m50%) of 67,500 (at m/z 750) and root-mean-square measurement accuracy less than two parts-per-million for intact phospholipids, small molecules and fragments. For the first time, ultra-high mass resolving power SIMS has been demonstrated, with m/{\Delta}m50% > 3,000,000. Higher spatial resolution capabilities of the platform were tested at a spatial resolution of 20 um. The results represent order of magnitude improvements in mass resolving power and mass measurement accuracy for SIMS imaging and the promise of the platform for ultra-high mass resolving power and high spatial resolution imaging.


title: On the surjectivity of weighted Gaussian maps

abstract: We study the surjectivity of suitable weighted Gaussian maps which provide a natural generalization of the standard Gaussian maps and encode the local geometry of the locus of curves endowed with a higher root of the canonical bundle having associated linear system of dimension at least r + 1. In particular, we get a bound on the dimension of its Zariski tangent space, which turns out to be sharp in the special case r = 0. Finally, we describe this locus in the case of complete intersection curves.


title: Mesoscale Structures at Complex Fluid-Fluid Interfaces: a Novel Lattice Boltzmann / Molecular Dynamics Coupling

abstract: Complex fluid-fluid interfaces featuring mesoscale structures with adsorbed particles are key components of newly designed materials which are continuously enriching the field of soft matter. Simulation tools which are able to cope with the different scales characterizing these systems are fundamental requirements for efficient theoretical investigations. In this paper we present a novel simulation method, based on the approach of Ahlrichs and D\"unweg [Ahlrichs and D\"unweg, Int. J. Mod. Phys. C, 1998, 9, 1429], that couples the "Shan-Chen" multicomponent Lattice Boltzmann technique to off-lattice molecular dynamics to simulate efficiently complex fluid-fluid interfaces. We demonstrate how this approach can be used to study a wide class of challenging problems. Several examples are given, with an accent on bicontinuous phases formation in polyelectrolyte solutions and ferrofluid emulsions. We also show that the introduction of solvation free energies in the particle-fluid interaction unveils the hidden, multiscale nature of the particle-fluid coupling, allowing to treat symmetrically (and interchangeably) the on-lattice and off-lattice components of the system.


title: Deformation Constraints on Solitons and D-branes

abstract: We derive a set of constraints on soliton solutions using geometric deformations, and transformations by internal symmetries with space-dependent parameters. We show that Derrick's theorem and a more complete set of constraints due to Manton are special cases of these deformation constraints (DC). We demonstrate also that known soliton solutions obey the DC, and extract novel results by applying the constraints to systems of D-branes, taking into account both Dirac-Born-Infeld and Wess-Zumino actions, and examining cases with and without D-brane gauge fields. We also determine a relation with the Hamiltonian constraint for gravitational systems, and discuss configurations of finite extent, like Wilson lines.


title: Measurement of Heavy-Flavor Properties at CMS and ATLAS

abstract: Thanks to the excellent performances of ATLAS and CMS in triggering on muon signals and reconstructing these particles down to low transverse momentum, large samples of heavy-flavored hadrons have been collected in the 2011 LHC run at sqrt(s) = 7 TeV. The analysis of these samples has enabled both experiments to perform competitive measurements of heavy-flavor properties, such as quarkonium polarization, lifetime and CP-violation measurements, hadron spectroscopy and branching ratios of rare B decays.


title: Symmetry properties and spectra of the two-dimensional quantum compass model

abstract: We use exact symmetry properties of the two-dimensional quantum compass model to derive nonequivalent invariant subspaces in the energy spectra of $L\times L$ clusters up to L=6. The symmetry allows one to reduce the original $L\times L$ compass cluster to the $(L-1)\times (L-1)$ one with modified interactions. This step is crucial and enables: (i) exact diagonalization of the $6\times 6$ quantum compass cluster, and (ii) finding the specific heat for clusters up to L=6, with two characteristic energy scales. We investigate the properties of the ground state and the first excited states and present extrapolation of the excitation energy with increasing system size. Our analysis provides physical insights into the nature of nematic order realized in the quantum compass model at finite temperature. We suggest that the quantum phase transition at the isotropic interaction point is second order with some admixture of the discontinuous transition, as indicated by the entropy, the overlap between two types of nematic order (on horizontal and vertical bonds) and the existence of the critical exponent. Extrapolation of the specific heat to the $L\to\infty$ limit suggests the classical nature of the quantum compass model and high degeneracy of the ground state with nematic order.


title: Interpreting signals from astrophysical transient experiments

abstract: Time domain astronomy has come of age with astronomers now able to monitor the sky at high cadence both across the electromagnetic spectrum and using neutrinos and gravitational waves. The advent of new observing facilities permits new science, but the ever increasing throughput of facilities demands efficient communication of coincident detections and better subsequent coordination among the scientific community so as to turn detections into scientific discoveries. To discuss the revolution occurring in our ability to monitor the Universe and the challenges it brings, on 2012 April 25-26 a group of scientists from observational and theoretical teams studying transients met with representatives of the major international transient observing facilities at the Kavli Royal Society International Centre, UK. This immediately followed the Royal Society Discussion meeting "New windows on transients across the Universe" held in London. Here we present a summary of the Kavli meeting at which the participants discussed the science goals common to the transient astronomy community and analysed how to better meet the challenges ahead as ever more powerful observational facilities come on stream.


title: Triggered Fronts in the Complex Ginzburg Landau Equation

abstract: We study patterns that arise in the wake of an externally triggered, spatially propagating instability in the complex Ginzburg-Landau equation. We model the trigger by a spatial inhomogeneity moving with constant speed. In the comoving frame, the trivial state is unstable to the left of the trigger and stable to the right. At the trigger location, spatio-temporally periodic wavetrains nucleate. Our results show existence of coherent, "heteroclinic" profiles when the speed of the trigger is slightly below the speed of a free front in the unstable medium. Our results also give expansions for the wavenumber of wavetrains selected by these coherent fronts. A numerical comparison yields very good agreement with observations, even for moderate trigger speeds. Technically, our results provide a heteroclinic bifurcation study involving an equilibrium with an algebraically double pair of complex eigenvalues. We use geometric desingularization and invariant foliations to describe the unfolding. Leading order terms are determined by a condition of oscillations in a projectivized flow, which can be found by intersecting absolute spectra with the imaginary axis.


title: Characterization theorem for Laguerre-Hahn orthogonal polynomials on non-uniform lattices

abstract: It is stated and proved a characterization theorem for Laguerre-Hahn orthogonal polynomials on non-uniform lattices. This theorem proves the equivalence between the Riccati equation for the formal Stieltjes function, linear first-order difference relations for the orthogonal polynomials as well as for the associated polynomials of the first kind, and linear first-order difference relations for the functions of the second kind.


title: Matrix Online Characteristic Number and Its applications in Goldbach Conjecture,Polignac Conjecture,the Twin Prime Conjecture

abstract: This article consists of three chapters.In Chapter 1, it is determined by the consecutive odd numbers, and study to the intrinsic properties of a class of matrix sequence. Through the establishment of matrix online number concept, characteristics and the online number column use mathematical induction to prove the some properties of this kind of matrix on the number of online features (Theorem 1). Finally, it is given a trial to prove the Goldbach conjecture (Theorem 6). This is the author in the years to explore prime properties in the process of research and discovery, and believe that this finding is of great significance.In Chapter 2, it is defined the concepts of matrix master characteristic number and the Matrix Master Characteristic Sequence (Definition 1). Firstly, we prove that any even number can be expressed as for the difference of two odd prime numbers at least two groups (Theorem 4). Secondly, we prove that there are infinitely many odd prime numbers separated by four (Theorem 9). Finally, we prove that if there is greater than 1 in the intersection by S(3) and s(2m+3) for any natural number m, so that there are infinitely many odd prime numbers separated by 2m(Theorem11). The results will undoubtedly promote the research for Polignac conjecture.In Chapter 3, mainly as a result of any odd natural number a, the intersection by S(a) and s(a+2) is not empty number set, and there are far more than 1 number in the set, where S(a)={k,If 2k+a be prime as k be natural number},and P is a prime number set, N is natural number set. we prove that there are an infinite number of twin prime, and then solve the problem of the twin primes in number theory.


title: Deposited low temperature silicon GHz modulator

abstract: The majority of silicon photonics is built on silicon-on-insulator (SOI) wafers while the majority of electronics, including CPUs and memory, are built on bulk silicon wafers, limiting broader acceptance of silicon photonics. This discrepancy is a result of silicon photonics's requirement for a single-crystalline silicon (c-Si) layer and a thick undercladding for optical guiding that bulk silicon wafers to not provide. While the undercladding problem can be partially addressed by substrate removal techniques, the complexity of co-integrating photonics with state-of-the-art transistors and real estate competition between electronics and photonics remain problematic. We show here a platform for deposited GHz silicon photonics based on polycrystalline silicon with high optical quality suitable for high performance electro-optic devices. We demonstrate 3 Gbps polysilicon electro-optic modulator fabricated on a deposited polysilicon layer fully compatible with CMOS backend integration. These results open up an array of possibilities for silicon photonics including photonics on DRAM and flexible substrates.


title: Bounded solutions for a forced bounded oscillator without friction

abstract: Under the validity of a Landesman-Lazer type condition, we prove the existence of solutions bounded on the real line, together with their first derivatives, for some second order nonlinear differential equation of the form $\ddot u + g(u) = p(t)$, where the reaction term $g$ is bounded. The proof is variational, and relies on a dual version of the Nehari method for the existence of oscillating solutions to superlinear equations.


title: Fermi gases with imaginary mass imbalance and the sign problem in Monte Carlo calculations

abstract: Fermi gases in strongly coupled regimes, such as the unitary limit, are inherently challenging for many-body methods. Although much progress has been made with purely analytic methods, quantitative results require ab initio numerical approaches, such as Monte Carlo (MC) calculations. However, mass-imbalanced and spin-imbalanced gases are not accessible to MC calculations due to the infamous sign problem. It was recently pointed out that the sign problem, for finite spin imbalance, can be circumvented by resorting to imaginary polarizations and analytic continuation. Large parts of the phase diagram spanned by temperature and polarization then become accessible to MC calculations. We propose to apply a similar strategy to the mass-imbalanced case, which opens up the possibility to study the associated phase diagram with MC calculations. In particular, our analysis suggests that a detection of a (tri-)critical point in this phase diagram is possible. We also discuss calculations in the zero-temperature limit with our approach.


title: Temperature limits in laser cooling of free atoms with three-level cascade transitions

abstract: We employ semiclassical theoretical analysis to study laser cooling of free atoms using three-level cascade transitions, where the upper transition is much weaker than the lower one. This represents an alternate cooling scheme, particularly useful for group II atoms. We find that temperatures below the Doppler limits associated with each of these transitions are expected. The lowest temperatures arise from a remarkable increase in damping and reduced diffusion compared to two-level cooling. They are reached at the two-photon resonance, where there is a crossing between the narrow and the partially-dark dressed states, and can be estimated simply by the usual Doppler limit considering the decay rate of the optical coherence between these states.


title: On the characterization of Gelfand-Shilov-Roumieu spaces

abstract: Generalized $\mathbf{m}$-Gelfand-Shilov-Roumieu vector spaces $\mathcal{S}_{\mathbf{m}}(\mathbf{X})$ are introduced. Here $\mathbf{m} = (m^{(1)},...,m^{(n)})$, $\mathbf{X}=(X_{1},...,X_{n})$ and $m^{(1)},...,m^{(n)}$ are sequences of positive real numbers and $X_{1},...,X_{n}$ are operators in a Hilbert space. Conditions are given on the sequences $m^{(1)},...,m^{(n)}$ and on the operators $X_{1},...,X_{n}$ so that the equality $S_{\mathbf{m}}(\mathbf{X}) = S_{m^{(1)}}(X_{1})\cap ... \cap{S}_{m^{(n)}}(X_{n})$ is valid. As a corollary we obtain a new proof of a characterization theorem for classical Gelfand-Shilov spaces.


title: Generalized splines on arbitrary graphs

abstract: Let G be a graph whose edges are labeled by ideals of a commutative ring. We introduce a generalized spline, which is a vertex-labeling of G by elements of the ring so that the difference between the labels of any two adjacent vertices lies in the corresponding edge ideal. Generalized splines arise naturally in combinatorics (em algebraic splines of Billera and others) and in algebraic topology (certain equivariant cohomology rings, described by Goresky-Kottwitz-MacPherson and others). The central question of this manuscript asks when an arbitrary edge-labeled graph has nontrivial generalized splines. The answer is `always', and we prove the stronger result that generalized splines contain a free submodule whose rank is the number of vertices in G. We describe all generalized splines when G is a tree, and give several ways to describe the ring of generalized splines as an intersection of generalized splines for simpler subgraphs of G. We also present a new tool which we call the GKM matrix, an analogue of the incidence matrix of a graph, and end with open questions.


title: Statistical Review of UK Residential Sector Electrical Loads

abstract: This paper presents a comprehensive statistical review of data obtained from a wide range of literature on the most widely used electrical appliances in the UK residential load sector. It focuses on individual appliances and begins by consideration of the electrical operations performed by the load. This approach allows for the loads to be categorised based on the electrical characteristics, and also provides information on the reactive power characteristics of the load, which is often neglected from standard consumption statistics. This data is particularly important for power system analysis. In addition to this, device ownership statistics and probability distribution functions of power demand are presented for the main residential loads. Although the data presented is primarily intended as a resource for the development of load profiles for power system analysis, it contains a large volume of information which provides a useful database for the wider research community.


title: Differential-algebraic approach to constructing representations of commuting differentiations in functional spaces and its application to nonlinear integrable dynamical systems

abstract: There is developed a differential-algebraic approach to studying the representations of commuting differentiations in functional differential rings under nonlinear differential constraints. An example of the differential ideal with the only one conserved quantity is analyzed in detail, the corresponding Lax type representations of differentiations are constructed for an infinite hierarchy of nonlinear dynamical systems of the Burgers and Korteweg-de Vries type. A related infinite bi-Hamiltonian hierarchy of Lax type dynamical systems is constructed.


title: Proposal for a scheme to generate 10 TW-level femtosecond x-ray pulses for imaging single protein molecules at the European XFEL

abstract: Single biomolecular imaging using XFEL radiation is an emerging method for protein structure determination using the "diffraction before destruction" method at near atomic resolution. Crucial parameters for such bio-imaging experiments are photon energy range, peak power, pulse duration, and transverse coherence. The largest diffraction signals are achieved at the longest wavelength that supports a given resolution, which should be better than 0.3 nm. We propose a configuration which combines self-seeding and undulator tapering techniques with the emittance-spoiler method in order to increase the XFEL output peak power and to shorten the pulse duration up to a level sufficient for performing bio-imaging of single protein molecules at the optimal photon energy range, i.e. around 4 keV. Experiments at the LCLS confirmed the feasibility of these three new techniques. Based on start-to-end simulations we demonstrate that self-seeding, combined with undulator tapering, allows one to achieve up to a 100-fold increase in peak-power. A slotted foil in the last bunch compressor is added for x-ray pulse duration control. Simulations indicate that one can achieve diffraction to the desired resolution with 50 mJ (corresponding to 1e14 photons) per 10 fs pulse at 3.5 keV photon energy in a 100 nm focus. This result is exemplified using the photosystem I membrane protein as a case study.


title: Radion cosmology and stabilization

abstract: We solve the Einstein's equation in five-dimensional spacetime for Randall Sundrum Brane world model with time dependent radion field to study variation of brane scale factor with time. We have shown that as radion field decreases with time compactifying the extra dimension, the scale factor increases exponentially with time leading to inflationary scenario. We have also proposed a time dependent generalization of Goldberger-Wise moduli stabilization mechanism to explain the time evolution of the radion field to reach a stable value after which the scale factor on the brane exits from inflationary expansion.


title: A certified reduction strategy for homological image processing

abstract: The analysis of digital images using homological procedures is an outstanding topic in the area of Computational Algebraic Topology. In this paper, we describe a certified reduction strategy to deal with digital images, but preserving their homological properties. We stress both the advantages of our approach (mainly, the formalisation of the mathematics allowing us to verify the correctness of algorithms) and some limitations (related to the performance of the running systems inside proof assistants). The drawbacks are overcome using techniques that provide an integration of computation and deduction. Our driving application is a problem in bioinformatics, where the accuracy and reliability of computations are specially requested.