title: Hierarchical octree and k-d tree grids for 3D radiative transfer simulations

abstract: A crucial ingredient for numerically solving the 3D radiative transfer problem is the choice of the grid that discretizes the transfer medium. Many modern radiative transfer codes, whether using Monte Carlo or ray tracing techniques, are equipped with hierarchical octree-based grids to accommodate a wide dynamic range in densities. We critically investigate two different aspects of octree grids in the framework of Monte Carlo dust radiative transfer. Inspired by their common use in computer graphics applications, we test hierarchical k-d tree grids as an alternative for octree grids. On the other hand, we investigate which node subdivision-stopping criteria are optimal for constructing of hierarchical grids. We implemented a k-d tree grid in the 3D radiative transfer code SKIRT and compared it with the previously implemented octree grid. We also considered three different node subdivision-stopping criteria (based on mass, optical depth, and density gradient thresholds). Based on a small suite of test models, we compared the efficiency and accuracy of the different grids, according to various quality metrics. For a given set of requirements, the k-d tree grids only require half the number of cells of the corresponding octree. Moreover, for the same number of grid cells, the k-d tree is characterized by higher discretization accuracy. Concerning the subdivision stopping criteria, we find that an optical depth criterion is not a useful alternative to the more standard mass threshold, since the resulting grids show a poor accuracy. Both criteria can be combined; however, in the optimal combination, for which we provide a simple approximate recipe, this can lead to a 20% reduction in the number of cells needed to reach a certain grid quality. An additional density gradient threshold criterion can be added that solves the problem of poorly resolving sharp edges and... (abridged).


title: Enumeration for the total number of all spanning forests of complete tripartite graph based on the combinatorial decomposition

abstract: This paper discusses the enumeration for the total number of all rooted spanning forests of the labeled complete tripartite graph. We enumerate the total number by a combinatorial decomposition.


title: Generative Modelling for Unsupervised Score Calibration

abstract: Score calibration enables automatic speaker recognizers to make cost-effective accept / reject decisions. Traditional calibration requires supervised data, which is an expensive resource. We propose a 2-component GMM for unsupervised calibration and demonstrate good performance relative to a supervised baseline on NIST SRE'10 and SRE'12. A Bayesian analysis demonstrates that the uncertainty associated with the unsupervised calibration parameter estimates is surprisingly small.


title: Non-homogeneous fractional Schr\"odinger equation

abstract: In this article we are interested on the non-homogeneous fractional Schr\"odinger equation \begin{eqnarray}\label{eq00} &(-\Delta)^{\alpha}u(x) + V(x)u(x) = f(u) + h(x) \mbox{ in } \mathbb{R}^{n}. \end{eqnarray} By using mountain pass Thoerem and Ekeland's variational principle, we prove the existence of two nontrivial solutions for (\ref{eq00}).


title: A novel soft keyboard for touchscreen phones: QWERT

abstract: The popularity of touchscreen phones has been growing around the world since the iPhones and Android phones were released. More and more mobile phones with large touchscreen have been produced, however, the phones with small size displays are still in the majority of touch phones. The foremost interface on touch smartphones is the information input module using soft keyboards. Traditional input methods on touch phones have either too small key buttons (such as QWERTY) or too many functions (such as 3$\times$4 keyboard), which are inconvenient to use. Moreover, the conventional soft keyboards only use tapping to input texts while current touch smartphones allow various gestures on the touchscreen, such as sliding. In this paper, a novel soft keyboard called QWERT is proposed for touchscreen-based smartphones. The users can interact with phones via finger gestures of tapping or sliding when input text by using the QWERT. In doing so, the interactions between users and smartphones will be faster and easier. An experiment carried out on inexperienced human subjects shows that they can learn very fast due to their familiarities with QWERTY. A simulation experiment based on a cognitive architecture, ACT-R, was also conducted to predict the movement time (MT) of experienced human subjects. The simulation results show that the MT using QWERT outperforms other default keyboards. These outcomes imply that the novel QWERT is a viable option for touch smartphone users. Based on the novel design, an application is released on Android systems. This application is expected to give better user experience for customers who use touch smartphones.


title: Product representation for default bilattices: an application of natural duality theory

abstract: Bilattices (that is, sets with two lattice structures) provide an algebraic tool to model simultaneously the validity of, and knowledge about, sentences in an appropriate language. In particular, certain bilattices have been used to model situations in which information is prioritised and so can be viewed hierarchically. These default bilattices are not interlaced: the lattice operations of one lattice structure do not preserve the order of the other one. The well-known product representation theorem for interlaced bilattices does not extend to bilattices which fail to be interlaced and the lack of a product representation has been a handicap to understanding the structure of default bilattices. In this paper we study, from an algebraic perspective, a hierarchy of varieties of default bilattices, allowing for different levels of default. We develop natural dualities for these varieties and thereby obtain a concrete representation for the algebras in each variety. This leads on to a form of product representation that generalises the product representation as this applies to distributive bilattices.


title: Every finite acyclic quiver is a full subquiver of a quiver mutation equivalent to a bipartite quiver

abstract: We give a very short proof of the claim in the title.


title: Well-posedness of the Cauchy problem for a fourth-order thin film equation via regularization approaches

abstract: This paper is devoted to some aspects of well-posedness of the Cauchy problem for a quasilinear degenerate fourth-order parabolic thin film equation u_{t} = -\nabla \cdot(|u|^{n} \nabla\D u) in \ren \times \re_+, \quad u(x,0)=u_0(x) in \ren, where $n>0$ is a fixed exponent, with bounded smooth compactly supported initial data. Dealing with the CP (for, at least, $n \in (0, \frac 32)$) requires introducing classes of infinitely changing sign solutions that are oscillatory close to finite interfaces. The main goal of the paper is to detect proper solutions of the CP for the degenerate TFE--4 by uniformly parabolic analytic $\e$-regularizations at least for values of the parameter $n$ sufficiently close to 0.


title: Edge covering with budget constrains

abstract: We study two related problems: finding a set of k vertices and minimum number of edges (kmin) and finding a graph with at least m' edges and minimum number of vertices (mvms). Goldschmidt and Hochbaum \cite{GH97} show that the mvms problem is NP-hard and they give a 3-approximation algorithm for the problem. We improve \cite{GH97} by giving a ratio of 2. A 2(1+\epsilon)-approximation for the problem follows from the work of Carnes and Shmoys \cite{CS08}. We improve the approximation ratio to 2. algorithm for the problem. We show that the natural LP for \kmin has an integrality gap of 2-o(1). We improve the NP-completeness of \cite{GH97} by proving the pronlem are APX-hard unless a well-known instance of the dense k-subgraph admits a constant ratio. The best approximation guarantee known for this instance of dense k-subgraph is O(n^{2/9}) \cite{BCCFV}. We show that for any constant \rho>1, an approximation guarantee of \rho for the \kmin problem implies a \rho(1+o(1)) approximation for \mwms. Finally, we define we give an exact algorithm for the density version of kmin.


title: Quadrant asymmetry in the angular distribution of the Cosmic Microwave Background in the Planck satellite data

abstract: Some peculiar features found in the angular distribution of the cosmic microwave background (CMB) measured by the Wilkinson Microwave Anisotropy Probe (WMAP) deserve further investigation. Among these peculiar features, is the quadrant asymmetry, which is likely related to the north-south asymmetry. In this paper, we aim to extend the analysis of the quadrant asymmetry in the $\Lambda$CDM framework to the Planck foreground-cleaned maps, using the mask provided by Planck team. We compute the two-point correlation function (TPCF) from each quadrant of the Planck CMB sky maps, and compare the result with 1000 Monte Carlo (MC) simulations generated assuming the $\Lambda$CDM best-fit power spectrum. We detect the presence of an excess of power in the southeastern quadrant (SEQ) and a significant lack of power in the northeastern quadrant (NEQ) in the Planck data. Asymmetries between the SEQ and the other three quadrants (southwestern quadrant (SWQ), northwestern quadrant (NWQ), and NEQ) are each in disagreement with an isotropic sky at a 95\% confidence level. Furthermore, by rotating the Planck temperature sky map with respect to z direction, we showed the rotation angle where the TPCF of the SEQ has its maximal power. Our analysis of the Planck foreground-cleaned maps shows that there is an excess of power in the TPCF in the SEQ and a significant lack of power in the NEQ when compared with simulations. This asymmetry is anomalous when considering the $\Lambda$CDM framework .


title: Probing moments of baryon-antibaryon generalized parton distributions at BELLE and FAIR

abstract: We analyze the time-like processes gamma gamma -> B Bbar and p p-bar -> gamma M at large Mandelstam variables within the handbag approach for which the process amplitudes factorize in hard partonic subprocesses and annihilation form factor. The latter represent moments of baryon-antibaryon generalized parton distributions. Symmetry relations restrict the number of independent annihilation form factors for the ground state baryons drastically. We determine these form factors from the present BELLE data on gamma gamma -> B Bbar with the help of simplifying assumptions. The knowledge of these form factors allow for predictions of p pbar -> gamma M for various mesons which may be probed at FAIR.


title: Artificial Intelligence in Humans

abstract: In this paper, I put forward that in many instances, thinking mechanisms are equivalent to artificial intelligence modules programmed into the human mind.


title: On certain diophantine equations of diagonal type

abstract: In this note we consider Diophantine equations of the form \begin{equation*} a(x^p-y^q) = b(z^r-w^s), \quad \mbox{where}\quad \frac{1}{p}+\frac{1}{q}+\frac{1}{r}+\frac{1}{s}=1, \end{equation*} with even positive integers $p,q,r,s$. We show that in each case the set of rational points on the underlying surface is dense in the Zariski topology. For the surface with $(p,q,r,s)=(2,6,6,6)$ we prove density of rational points in the Euclidean topology. Moreover, in this case we construct infinitely many parametric solutions in coprime polynomials. The same result is true for $(p,q,r,s)\in\{(2,4,8,8), (2,8,4,8)\}$. In the case $(p,q,r,s)=(4,4,4,4)$, we present some new parametric solutions of the equation $x^4-y^4=4(z^4-w^4)$.


title: Holographic thermalization with a chemical potential in Gauss-Bonnet gravity

abstract: Holographic thermalization is studied in the framework of Einstein-Maxwell-Gauss-Bonnet gravity. We use the two-point correlation function and expectation value of Wilson loop, which are dual to the renormalized geodesic length and minimal area surface in the bulk, to probe the thermalization. The numeric result shows that larger the Gauss-Bonnet coefficient is, shorter the thermalization time is, and larger the charge is, longer the thermalization time is, which implies that the Gauss-Bonnet coefficient can accelerate the thermalization while the charge has an opposite effect. In addition, we obtain the functions with respect to the thermalization time for both the thermalization probes at a fixed charge and Gauss-Bonnet coefficient, and on the basis of these functions, we obtain the thermalization velocity, which shows that the thermalization process is non-monotonic. At the middle and later periods of the thermalization process, we find that there is a phase transition point, which divides the thermalization into an acceleration phase and a deceleration phase. We also study the effect of the charge and Gauss-Bonnet coefficient on the phase transition point.


title: An extremal problem on Hilbert cubes and complete r-partite hypergraphs

abstract: We construct a set of positive integers A in {1,..., n} with |A|>> n^{2/3} that does not contain Hilbert cubes of dimension 3. As a consequence we prove that ex(n; K^(3)(2,2,2))>> n^{8/3} where K^(3)(2,2,2) is the simplest complete 3-partite hypergraph. This is the first case of an improvement on the trivial lower bound for ex(n; L) when L is a complete r-partite hypergraph.


title: Implications of the Higgs discovery for the MSSM

abstract: The implications of the discovery of the Higgs boson at the LHC with a mass of approximately 125 GeV are summarised in the context of the minimal supersymmetric extension of the Standard Model, the MSSM. Discussed are the implications from the measured mass and production/decay rates of the observed particle and from the constraints in the search for the heavier Higgs states at the LHC.


title: Unavoidable collections of balls for censored stable processes

abstract: We study avoidability of collections of balls in bounded $C^{1,1}$ opens sets for censored $\alpha$-stable processes, $\alpha\in (1,2)$. The results are analog to the ones obtained for Brownian motion in S. J. Gardiner, M. Ghergu, Champagne subregions of the unit ball with unavoidable bubbles, Ann. Acad. Sci. Fenn. Math. 35 (2010) 321-329. On the way we derive a Wiener-Aikawa-type criterion for minimal thinness with respect to the censored stable processes.


title: First integrals for nonlinear dispersive equations

abstract: Given a solution of a semilinear dispersive partial differential equation with a real analytic nonlinearity, we relate its Cauchy data at two different times by nonlinear representation formulas in terms of convergent series. These series are constructed by means of generating functions. All this theory is based on a new suitable formulation of the dynamics of solutions of dispersive equations.


title: Steady states, global existence and blow-up for fourth-order semilinear parabolic equations of Cahn--Hilliard type

abstract: Fourth-order semilinear parabolic equations of the Cahn--Hilliard-type (01) u_t + \D^2 u = \g u \pm \D (|u|^{p-1}u) in \Omega \times \re_+, are considered in a smooth bounded domain $\O \subset \ren$ with Navier-type boundary conditions on $\p \O$, or $\O = \ren$, where $p>1$ and $\g$ are given real parameters. The sign $``+"$ in the "diffusion term" on the right-hand side means the stable case, while $``-"$ reflects the unstable (blow-up) one, with the simplest, so called limit, canonical model for $\g=0$, (02) u_t + \D^2 u= \pm \D(|u|^{p-1}u) \inA. The following three main problems are studied: (i) for the unstable model (01), with the $- \D (|u|^{p-1}u)$, existence and multiplicity of classic steady states in $\O \subset \ren$ and their global behaviour for large $\g>0$; (ii) for the stable model (02), global existence of smooth solutions $u(x,t)$ in $\ren \times \re_+$ for bounded initial data $u_0(x)$ in the subcritical case $p \le p_{*}= 1 + \frac {4}{(N-2)_+}$; and (iii) for the unstable model (02), a relation between finite time blow-up and structure of regular and singular steady states in the supercritical range. In particular, three distinct families of Type I and II blow-up patterns are introduced in the unstable case.


title: Propagation of partial randomness

abstract: Let f be a computable function from finite sequences of 0's and 1's to real numbers. We prove that strong f-randomness implies strong f-randomness relative to a PA-degree. We also prove: if X is strongly f-random and Turing reducible to Y where Y is Martin-L"of random relative to Z, then X is strongly f-random relative to Z. In addition, we prove analogous propagation results for other notions of partial randomness, including non-K-triviality and autocomplexity. We prove that f-randomness relative to a PA-degree implies strong f-randomness, hence f-randomness does not imply f-randomness relative to a PA-degree.


title: Using Lagrangian perturbation theory for precision cosmology

abstract: We explore the Lagrangian perturbation theory (LPT) at 1-loop order with Gaussian initial conditions. We present an expansion method to approximately compute the power spectrum in LPT. Our approximate solution has good convergence in the series expansion and enables us to compute the power spectrum in LPT accurately and quickly. Non-linear corrections in the Lagrangian perturbation theory naturally satisfy the law of conservation of mass because the relation between matter density and the displacement vector of dark matter corresponds to the conservation of mass. By matching the 1-loop solution in LPT to the 2-loop solution in standard perturbation theory, we present an approximate solution of the power spectrum which has higher order corrections than the 2-loop order in standard perturbation theory with the conservation of mass satisfied. With this approximation, we can use LPT to compute a non-linear power spectrum without any free parameters, and this solution agrees with numerical simulations at $k=0.2$ $h{\rm Mpc}^{-1}$ and $z=0.35$ to better than 2%.


title: Effects of Dark Energy Perturbations on Cosmological Tests of General Relativity

abstract: Cosmological tests to distinguish between dark energy (DE) and modifications to gravity are a promising route to obtain clues on the origin of cosmic acceleration. We study here the robustness of these tests to the presence of DE density, velocity, and anisotropic stress perturbations. We find that the dispersion in the growth index parameter remains small enough to distinguish between extreme cases of DE models and some commonly used modified gravity models. The sign of the slope parameter for a redshift dependent growth index was found to be inconsistent as an additional test in extreme cases of DE models with perturbations. Next, we studied the effect of DE perturbations on the modified growth (MG) parameters that enter the perturbed Einstein equations. We find that while the dark energy perturbations affect the MG parameters, the deviations remain smaller than those due to modified gravity models. Additionally, the deviations due to DE perturbations with a non-zero effective sound speed occur at scale ranges that are completely different than those due to some modified gravity models such as the $f(R)$ models. In the case of modified gravity models with zero anisotropic stress at late times, the simultaneous determination of the effective dark energy equation of state and the MG parameters can provide the distinction between these models and DE. The growth index test was found to be the most robust to these perturbations. The scale dependence of the MG parameters in some cases of modified gravity constitute a clear-cut discriminant regardless of any DE perturbations. In summary, we find that the currently proposed cosmological tests to distinguish between DE and modified gravity are robust to DE perturbations even for extreme cases. This is certainly the case even for DE models with equations of state of DE that fall well outside of current cosmological constraints.


title: Wireless energy transfer between anisotropic metamaterials shells

abstract: The behavior of strongly coupled Radial Photonic Crystals shells is investigated as a potential alternative to transfer electromagnetic energy wirelessly. These sub-wavelength resonant microstructures, which are based on anisotropic metamaterials, can produce efficient coupling phenomena due to their high quality factor. A configuration of selected constitutive parameters (permittivity and permeability) is analyzed in terms of its resonant characteristics. The coupling to loss ratio between two coupled resonators is calculated as a function of distance, the maximum (in excess of 300) is obtained when the shells are separated by three times their radius. Under practical conditions an 83% of maximum power transfer has been also estimated.


title: To parallelize or not to parallelize, bugs issue

abstract: Program correctness is one of the most difficult challenges in parallel programming. Message Passing Interface MPI is widely used in writing parallel applications. Since MPI is not a compiled language, the programmer will be enfaced with several programming bugs.This paper presents the most common programming bugs arise in MPI programs to help the programmer to compromise between the advantage of parallelism and the extra effort needed to detect and fix such bugs. An algebraic specification of an MPI-like programming language, called Simple MPI (SMPI), to be used in writing MPI programs specification has also been proposed. In addition, both nondeterminacy and deadlocks arise in SMPI programs have been verified using Maud system.


title: Superintegrable systems on spaces of constant curvature

abstract: Construction and classification of 2D superintegrable systems (i.e. systems admitting, in addition to two global integrals of motion guaranteeing the Liouville integrability, the third global and independent one) defined on 2D spaces of constant curvature and separable in the so called geodesic polar coordinates are presented. The method proposed is applicable to any value of curvature including the case of Euclidean plane, the 2-sphere and the hyperbolic plane. The mathematic used is essentially "physical", in particular it refers to the very elegant technique of action-angle variables and perturbation theory so most of our mathematical formulas have a clear physical meaning. The main result can be considered as a kind of generalization of the Bertrand's theorem on 2D spaces of constant curvature and it covers most of known separable and superintegrable models on such spaces (in particular, the so-called Tremblay-Turbiner-Winternitz (TTW) and Post-Winternitz (PW) models which have recently attracted some interest).

categories: math-ph math.MP nlin.SI physics.class-ph


title: A step towards exploring the features of Gravidilaton sector in Randall-Sundrum scenario via lightest Kaluza-Klein graviton mass

abstract: In this paper we study the role of the 5D Gauss-Bonnet corrections and two loop higher genus contribution to the gravity action in type IIB string theory inspired low energy supergravity theory in the light of gravidilatonic interactions on the lightest Kaluza-Klein graviton mass spectrum. From the latest constraints on the lightest Kaluza-Klein graviton mass as obtained from the ATLAS dilepton search in 7 TeV proton-proton collision, we have shown that due to the presence of Gauss-Bonnet and string loop corrections, the warping solution in an ${\bf AdS_{5}}$ bulk is quite distinct from Randall-Sundrum scenario. We discuss the constraints on the model parameters to fit with present ATLAS data.


title: To parallelize or not to parallelize, control and data flow issue

abstract: New trends towards multiple core processors imply using standard programming models to develop efficient, reliable and portable programs for distributed memory multiprocessors and workstation PC clusters. Message passing using MPI is widely used to write efficient, reliable and portable applications. Control and data flow analysis concepts, techniques and tools are needed to understand and analyze MPI programs. If our point of interest is the program control and data flow analysis, to decide to parallelize or not to parallelize our applications, there is a question to be answered, " Can the existing concepts, techniques and tools used to analyze sequential programs also be used to analyze parallel ones written in MPI?". In this paper we'll try to answer this question.


title: On the Black Holes in alternative theories of gravity: The case of non-linear massive gravity

abstract: I derive general conditions in order to explain the origin of the Vainshtein radius inside dRGT. The set of equations, which I have called "Vainshtein" conditions are extremal conditions of the dynamical metric ($g_{\mu\nu}$) containing all the degrees of freedom of the theory. The Vainshtein conditions are able to explain the coincidence between the Vainshtein radius in dRGT and the scale $r_0=\left(\frac{3}{2}r_s r_\Lambda^2\right)^{1/3}$, obtained naturally from the Schwarzschild de-Sitter (S-dS) space inside General Relativity (GR). In GR, this scale was interpreted as the maximum distance in order to get bound orbits. The same scale corresponds to the static observer position if we want to define the black hole temperature in an asymptotically de-Sitter space. In dRGT, the scale marks a limit after which the extra degrees of freedom of the theory become relevant.


title: Geometrical methods in mathematical physics

abstract: We give detailed exposition of modern differential geometry from global coordinate independent point of view as well as local coordinate description suited for actual computations. In introduction, we consider Euclidean spaces and different structures on it; rotational, Lorentz, and Poincare groups; special relativity. The main body of the manuscript includes manifolds, tensor fields, differential forms, integration, Riemannian and Lorentzian metrics, connection on vector and frame fiber bundles, affine geometry, Lie groups, transformation groups, homotopy and fundamental group, coverings, principal and associated fiber bundles, connections on fiber bundles, Killing vector fields, geodesics and extremals, symplectic and Poisson manifolds, Clifford algebras, principle of least action, canonical formalism for constrained systems. Applications of differential geometry in quantum theory (adiabatic theorem, Berry phase, Aharonov-Bohm effect), general relativity and geometric theory of defects are described. We give introduction to general relativity and its Hamiltonian formulation; describe scalar, spinor, electromagnetic and Yang-Mills fields. Riemannian and Lorentzian surfaces with one Killing vector field are discussed in detail, and their global structure is described using conformal block method. We also classified all global vacuum solutions of the Einstein equations, which have the form of warped product metrics of two surfaces. The manuscript is not a textbook, and intended for efficient reader.


title: Variability of the High Velocity Outflow in the Quasar PDS 456

abstract: We present a comparison of two Suzaku X-ray observations of the nearby (z=0.184), luminous ($L_{bol} \sim 10^{47}$ erg s$^{-1}$) type I quasar, PDS456. A new 125ks Suzaku observation in 2011 caught the quasar during a period of low X-ray flux and with a hard X-ray spectrum, in contrast to a previous 190ks Suzaku observation in 2007 when the quasar appeared brighter and had a steep ($\Gamma>2$) X-ray spectrum. The 2011 X-ray spectrum contains a pronounced trough near 9\,keV in the quasar rest frame, which can be modeled with blue-shifted iron K-shell absorption, most likely from the He and H-like transitions of iron. The absorption trough is observed at a similar rest-frame energy as in the earlier 2007 observation, which appears to confirm the existence of a persistent high velocity wind in PDS 456, at an outflow velocity of $0.25-0.30$c. The spectral variability between 2007 and 2011 can be accounted for by variations in a partial covering absorber, increasing in covering fraction from the brighter 2007 observation to the hard and faint 2011 observation. Overall the low flux 2011 observation can be explained if PDS 456 is observed at relatively low inclination angles through a Compton thick wind, originating from the accretion disk, which significantly attenuates the X-ray flux from the quasar.


title: Collision of Shock Waves in Einstein-Maxwell Theory with a Cosmological Constant: A Special Solution

abstract: Post-collision space-times of the Cartesian product form M'xM'', where M' and M'' are two-dimensional manifolds, are known with M' and M'' having constant curvatures of equal and opposite sign (for the collision of electromagnetic shock waves) or of the same sign (for the collision of gravitational shock waves). We construct here a new explicit post-collision solution of the Einstein-Maxwell vacuum field equations with a cosmological constant for which M' has constant (nonzero) curvature and M'' has zero curvature.


title: Towards the dynamical study of heavy-flavor quarks in the Quark-Gluon-Plasma

abstract: Within the aim of a dynamical study of on- and off-shell heavy quarks Q in the quark gluon plasma (QGP) - as produced in relativistic nucleus-nucleus collisions - we study the heavy quark collisional scattering on partons of the QGP. The elastic cross sections $\sigma_{q,g-Q}$ are evaluated for perturbative partons (massless on-shell particles) and for dynamical quasi-particles (massive off-shell particles as described by the dynamical quasi-particles model "DQPM") using the leading order Born diagrams. We demonstrate that the finite width of the quasi-particles in the DQPM has little influence on the cross sections $\sigma_{q,g-Q}$ except close to thresholds. We, furthermore, calculate the heavy quark relaxation time as a function of temperature T within the different approaches using these cross sections.


title: Compression Limits for Random Vectors with Linearly Parameterized Second-Order Statistics

abstract: The class of complex random vectors whose covariance matrix is linearly parameterized by a basis of Hermitian Toeplitz (HT) matrices is considered, and the maximum compression ratios that preserve all second-order information are derived --- the statistics of the uncompressed vector must be recoverable from a set of linearly compressed observations. This kind of vectors arises naturally when sampling wide-sense stationary random processes and features a number of applications in signal and array processing. Explicit guidelines to design optimal and nearly optimal schemes operating both in a periodic and non-periodic fashion are provided by considering two of the most common linear compression schemes, which we classify as dense or sparse. It is seen that the maximum compression ratios depend on the structure of the HT subspace containing the covariance matrix of the uncompressed observations. Compression patterns attaining these maximum ratios are found for the case without structure as well as for the cases with circulant or banded structure. Universal samplers are also proposed to compress unknown HT subspaces.


title: Every action of a non-amenable group is the factor of a small action

abstract: It is well known that if $G$ is a countable amenable group and $G \curvearrowright (Y, \nu)$ factors onto $G \curvearrowright (X, \mu)$, then the entropy of the first action must be greater than or equal to the entropy of the second action. In particular, if $G \curvearrowright (X, \mu)$ has infinite entropy, then the action $G \curvearrowright (Y, \nu)$ does not admit any finite generating partition. On the other hand, we prove that if $G$ is a countable non-amenable group then there exists a finite integer $n$ with the following property: for every probability-measure-preserving action $G \curvearrowright (X, \mu)$ there is a $G$-invariant probability measure $\nu$ on $n^G$ such that $G \curvearrowright (n^G, \nu)$ factors onto $G \curvearrowright (X, \mu)$. For many non-amenable groups, $n$ can be chosen to be $4$ or smaller. We also obtain a similar result with respect to continuous actions on compact spaces and continuous factor maps.


title: Alignment of vorticity and rods with Lagrangian fluid stretching in turbulence

abstract: Stretching in continuum mechanics is naturally described using the Cauchy-Green strain tensors. These tensors quantify the Lagrangian stretching experienced by a material element, and provide a powerful way to study processes in turbulent fluid flows that involve stretching such as vortex stretching and alignment of anisotropic particles. Analyzing data from a simulation of isotropic turbulence, we observe preferential alignment between anisotropic particles and vorticity. We show that this alignment arises because both of these quantities independently tend to align with the strongest Lagrangian stretching direction, as defined by the maximum eigenvector of the left Cauchy-Green strain tensor. In particular, anisotropic particles approach almost perfect alignment with the strongest stretching direction. The alignment of vorticity with stretching is weaker, but still much stronger than previously observed alignment of vorticity with the eigenvectors of the Eulerian strain rate tensor. The alignment of strong vorticity is almost the same as that of rods that have experienced the same stretching.


title: Charged Higgs contribution to $\bar{B}_s \rightarrow \phi \pi^0 $ and $\bar{B}_s \rightarrow \phi \rho^0 $

abstract: We study the decay modes $\bar{B}_s\to \phi \pi^0$ and $\bar{B}_s\to \phi \rho^0$ within the frameworks of two-Higgs doublet models type-II and typ-III. We adopt in our study Soft Collinear Effective Theory as a framework for the calculation of the amplitudes. We derive the contributions of the charged Higgs mediation to the weak effective Hamiltonian governing the decay processes in both models. Moreover we analyze the effect of the charged Higgs mediation on the Wilson coefficients of the electrowek penguins and on the branching ratios of $\bar{B}_s\to \phi \pi^0$ and $\bar{B}_s\to \phi \rho^0$ decays. We show that wthin two-Higgs doublet models type-II and type-III the Wilson coefficients corresponding to the electroweak penguins can be enhanced due to the contributions from the charged Higgs mediation leading into enhancement in the branching ratios of $ \bar{B}_s\to \phi \pi^0$ and $\bar{B}_s\to \phi \rho^0 $ decays. We find that, within two-Higgs doublet models type-II, the enhancement in the branching ratio of $\bar{B}_s\to \phi \pi^0$ can not exceed $18\%$ with respect to the SM predictions. For the branching ratio of $\bar{B}_s\to \phi \rho^0$, we find that the charged Higgs contribution in this case is small where the branching ratio of $\bar{B}_s\to \phi \rho^0$ can be enhanced or reduced by about $4\% $ with respect to the SM predictions. For the case of the two-Higgs doublet models type-III we show that the branching ratio of $\bar{B}_s\to \phi \pi^0$ can be enhanced by about a factor $2$ of its value within two-Higgs doublet models type-II. However no sizable enhancement with respect to the SM predictions can be obtained for both $\bar{B}_s\to \phi \pi^0$ and $\bar{B}_s\to \phi \rho^0$ decays.


title: A new closed-form model for isotropic elastic sphere including new solutions for the free vibrations problem

abstract: We develop a new closed-form model for the dynamics of an elastic and isotropic sphere and use it to derive new closed-form resonant frequencies.


title: Cooling by heating in a mesoscopic two-state device

abstract: We reanalyse the work of Cleuren et al., Phys. Rev. Lett. 109, 248902 (2012), in the light of Jiang et al. Phys. Rev. B 85, 075412 (2012). The condition for cooling enforces its rate to be exponentially small at low temperatures. Thus, the difficulty with the "dynamic version of the third law" found by Levy et al., Phys. Rev. Lett. 109, 248901 (2012) and Allahverdyan et al., Phys. Rev. Lett. 109, 248903 (2012) is resolved.


title: Rational maps from punctual Hilbert schemes of K3 surfaces

abstract: The purpose of this short note is to study dominant rational maps from punctual Hilbert schemes of length $k>1$ of projective K3 surfaces $S$ containing infinitely many rational curves. Precisely, we prove that their image is necessarily rationally connected if this rational map is not generically finite. As an application, we simplify the proof of C. Voisin's of the fact that symplectic involutions of any projective K3 surface $S$ act trivially on $\mathrm{CH}_0(S)$.


title: Nearly Starobinsky inflation from modified gravity

abstract: We study inflation induced by (power-low) scalar curvature corrections to General Relativity. The class of inflationary scalar potentials $V(\sigma)\sim\exp[n\,\sigma]$, $n$ general parameter, is investigated in the Einsein frame and the corresponding actions in the Jordan frame are derived. We found the conditions for which these potentials are able to reproduce viable inflation according with the last cosmological data and lead to large scalar curvature corrections which emerge only at a mass scale larger than the Planck mass. Cosmological constant may appear or be set equal to zero in the Jordan frame action without changing the behaviour of the model during inflation. Moreover, polynomial corrections to General Relativity are analyzed in detail. When de Sitter space-time emerges as an exact solution of the models, it is necessary to use perturbative equations in the Jordan framework to study their dynamics during the inflation. In this case, we demonstrate that the Ricci scalar decreases after a correct amount of inflation, making the models consistent with the observable evolution of the universe.


title: Is the world made of loops?

abstract: I see no good reason to prefer (any version I know of) the `holonomy interpretation' to the `potential interpretation' of the Aharonov-Bohm effect. Everyone agrees that the inverse image $[A]=[A+d\lambda]_{\lambda}=d^{-1}F$ of the electromagnetic field $F$ is a class, full of individuals; and that the circulation $\small{\textsf{C}}$ of the electromagnetic potential $A$ around a loop $\sigma_0$ encircling the solenoid is common to the whole class $[A]$, and to the homotopy class or \emph{hoop} $[\sigma_0]$. If picking individuals out of classes is the problem, picking an individual potential out of $[A]$ should be no worse than picking an individual loop out of $[\sigma_0]$. The individuals of $[A]$ can moreover be transcended---punctually, without integration around loops---by an appropriate version of the electromagnetic connection.


title: A Fast Algorithm for the Construction of Integrity Bases Associated to Symmetry-Adapted Polynomial Representations. Application to Tetrahedral XY4 Molecules

abstract: Invariant theory provides more efficient tools, such as Molien generating functions and integrity bases, than basic group theory, that relies on projector techniques for the construction of symmetry--adapted polynomials in the symmetry coordinates of a molecular system, because it is based on a finer description of the mathematical structure of the latter. The present article extends its use to the construction of polynomial bases which span possibly, non--totally symmetric irreducible representations of a molecular symmetry group. Electric or magnetic observables can carry such irreducible representations, a common example is given by the electric dipole moment surface. The elementary generating functions and their corresponding integrity bases, where both the initial and the final representations are irreducible, are the building blocks of the algorithm presented in this article, which is faster than algorithms based on projection operators only. The generating functions for the full initial representation of interest are built recursively from the elementary generating functions. Integrity bases which can be used to generate in the most economical way symmetry--adapted polynomial bases are constructed alongside in the same fashion. The method is illustrated in detail on XY4 type of molecules. Explicit integrity bases for all five possible final irreducible representations of the tetrahedral group have been calculated and are given in the supplemental material associated with this paper.


title: Hexagonal flow v_6 as a superposition of elliptic v_2 and triangular v_3 flows

abstract: Partial contributions of elliptic v_2 and triangular v_3 flows to the hexagonal v_6 flow are studied within the HYDJET++ model for Pb+Pb collisions at sqrt{s}=2.76 TeV. Scaling of the ratio v_6^{1/6}{Psi_2} / v_2^{1/2}{Psi_2} in the elliptic flow plane, Psi_2, is predicted in the range 1 < p_T < 4 GeV/c for semicentral and semiperipheral collisions. Jets increase this ratio by about 10% and also cause its rise at p_T > 3.5 GeV/c. The part of v_6 coming from v_2 is instantly increasing as the reaction becomes more peripheral, whereas the contribution of v_3 to v_6 drops. This behavior explains the experimentally observed increase of correlations between second and sixth harmonics and decrease of correlations between third and sixth harmonics with rising impact parameter $b$. Our study favors the idea that basic features of the hexagonal flow can be understood in terms of the interplay of elliptic and triangular flows.


title: On reducing inconsistency of pairwise comparison matrices below an acceptance threshold

abstract: A recent work of the authors on the analysis of pairwise comparison matrices that can be made consistent by the modification of a few elements is continued and extended. Inconsistency indices are defined for indicating the overall quality of a pairwise comparison matrix. It is expected that serious contradictions in the matrix imply high inconsistency and vice versa. However, in the 35-year history of the applications of pairwise comparison matrices, only one of the indices, namely CR proposed by Saaty, has been associated to a general level of acceptance, by the well known ten percent rule. In the paper, we consider a wide class of inconsistency indices, including CR, CM proposed by Koczkodaj and Duszak and CI by Pel\'aez and Lamata. Assume that a threshold of acceptable inconsistency is given (for CR it can be 0.1). The aim is to find the minimal number of matrix elements, the appropriate modification of which makes the matrix acceptable. On the other hand, given the maximal number of modifiable matrix elements, the aim is to find the minimal level of inconsistency that can be achieved. In both cases the solution is derived from a nonlinear mixed-integer optimization problem. Results are applicable in decision support systems that allow real time interaction with the decision maker in order to review pairwise comparison matrices.


title: Polarization-dependent light extinction in ensembles of polydisperse, vertical semiconductor nanowires: A Mie scattering effective medium

abstract: We present an experimental and theoretical study of the angle- and polarization-dependent light extinction in random arrays of polydisperse semiconductor nanowires epitaxially grown on substrates. The specular reflectance is described by averaging the scattering properties of individual nanowires obtained from Lorenz-Mie theory over the diameter distribution. The complex effective refractive index describing the propagation and attenuation of the coherent beam scattered in forward direction is determined in the independent scattering approximation and used to calculate the angle- and polarization-dependent reflectance. Our measurements demonstrate the highly anisotropic scattering in ensembles of aligned nanowires.


title: Mondshein Sequences (a.k.a. (2,1)-Orders)

abstract: Canonical orderings [STOC'88, FOCS'92] have been used as a key tool in graph drawing, graph encoding and visibility representations for the last decades. We study a far-reaching generalization of canonical orderings to non-planar graphs that was published by Lee Mondshein in a PhD-thesis at M.I.T. as early as 1971. Mondshein proposed to order the vertices of a graph in a sequence such that, for any i, the vertices from 1 to i induce essentially a 2-connected graph while the remaining vertices from i+1 to n induce a connected graph. Mondshein's sequence generalizes canonical orderings and became later and independently known under the name non-separating ear decomposition. Surprisingly, this fundamental link between canonical orderings and non-separating ear decomposition has not been established before. Currently, the fastest known algorithm for computing a Mondshein sequence achieves a running time of O(nm); the main open problem in Mondshein's and follow-up work is to improve this running time to subquadratic time. After putting Mondshein's work into context, we present an algorithm that computes a Mondshein sequence in optimal time and space O(m). This improves the previous best running time by a factor of n. We illustrate the impact of this result by deducing linear-time algorithms for five other problems, for four out of which the previous best running times have been quadratic. In particular, we show how to - compute three independent spanning trees of a 3-connected graph in time O(m), - improve the preprocessing time from O(n^2) to O(m) for a data structure reporting 3 internally disjoint paths between any given vertex pair, - derive a very simple O(n)-time planarity test once a Mondshein sequence has been computed, - compute a nested family of contractible subgraphs of 3-connected graphs in time O(m), - compute a 3-partition in time O(m).


title: Mapping the directional emission of quasi-two-dimensional photonic crystals of semiconductor nanowires using Fourier microscopy

abstract: Controlling the dispersion and directionality of the emission of nanosources is one of the major goals of nanophotonics research. This control will allow the development of highly efficient nanosources even at the single photon level. One of the ways to achieve this goal is to couple the emission to Bloch modes of periodic structures. Here, we present the first measurements of the directional emission from nanowire photonic crystals by using Fourier microscopy. With this technique we efficiently collect and resolve the directional emission of nanowires within the numerical aperture of a microscope objective. The light emission from a heterostructure grown in each nanowire is governed by the photonic (Bloch) modes of the photonic crystal. We also demonstrate that the directionality of the emission can be easily controlled by infiltrating the photonic crystal with a high refractive index liquid. This work opens new possibilities for the control of the emission of sources in nanowires.


title: On the Magnetosphere of an Accelerated Pulsar

abstract: We report on a remarkable class of exact solutions to force-free electrodynamics that has four-current along the light cones of an arbitrary timelike worldline in flat spacetime. No symmetry is assumed, and the solutions are given in terms of a free function of three variables. The field configuration should describe the outer magnetosphere of a pulsar moving on the worldline. The power radiated is the sum of an acceleration (Larmor-type) term and a pulsar-type term.


title: Sequential dependencies between trials in free choice tasks

abstract: In two previous experiments we investigated the neural precursors of subjects' "free" choices for one of two options (pressing one of two buttons, and choosing between adding and subtracting numbers). In these experiments the distribution of sequence lengths was taken as an approximate indicator of the randomness (or lack of sequential dependency) of the choice sequences. However, this method is limited in its ability to reveal sequential dependencies. Here we present a more detailed individual-subject analysis and conclude that despite of the presence of significant sequential dependencies the subjects' behavior still approximates randomness, as measured by an entropy rate (on pooled data) of 0.940 bit / trial and 0.965 bit / trial in the two experiments. We also provide the raw single-subject behavioral data.


title: Mertens' theorem and prime number theorem for Selberg class

abstract: In 1874, Mertens proved the approximate formula for partial Euler product for Riemann zeta function at $s=1$, which is called Mertens' theorem. In this paper, we generalize Mertens' theorem for Selberg class and show the prime number theorem for Selberg class.


title: Lectures on Holographic Space Time

abstract: Summary of three talks on the Holographic Space Time models of early universe cosmology, particle physics, and the asymptotically de Sitter final state of our universe.


title: On the synthesis of Quantum Hall Array Resistance Standards

abstract: Quantum Hall effect (QHE) is the basis of modern resistance metrology. In Quantum Hall Array Resistance Standards (QHARS), several individual QHE elements, each one having the same QHE resistance (typically half of the von Klitzing constant), are arranged in networks that realize resistance values close to decadic values (such as 1 kiloohm or 100 kiloohm), of direct interest for dissemination. The same decadic value can be approximated with different grades of precision, and even for the same approximation several networks of QHE elements can be conceived. The paper investigates the design of QHARS networks by giving methods to find a proper approximation of the resistance of interest, and to design the corresponding network with a small number of elements. Results for several decadic cases are given.


title: Computations with modified diagonals

abstract: Beauville and Voisin proved that the third modified diagonal of a complex K3 surface X represents a torsion class in the Chow group of X^3. Motivated by this result and by conjectures of Beauville and Voisin on the Chow ring of hyperkaehler varieties we prove some results on modified diagonals of projective varieties and we formulate a conjecture.


title: Observation of large-scale multi-agent based simulations

abstract: The computational cost of large-scale multi-agent based simulations (MABS) can be extremely important, especially if simulations have to be monitored for validation purposes. In this paper, two methods, based on self-observation and statistical survey theory, are introduced in order to optimize the computation of observations in MABS. An empirical comparison of the computational cost of these methods is performed on a toy problem.


title: Virulence as a Model for Interplanetary and Interstellar Colonisation - Parasitism or Mutualism

abstract: In the light of current scientific assessments of human-induced climate change, we investigate an experimental model to inform how resource-use strategies may influence interplanetary and interstellar colonisation by intelligent civilisations. In doing so, we seek to provide an additional aspect for refining the famed Fermi Paradox. The model described is necessarily simplistic, and the intent is to simply obtain some general insights to inform and inspire additional models. We model the relationship between an intelligent civilisation and its host planet as symbiotic, where the the relationship between the symbiont and the host species (the civilisation and the planets ecology, respectively) determines the fitness and ultimate survival of both organisms. We perform a series of Monte Carlo Realisation simulations, where civilisations pursue a variety of different relationships/strategies with their host planet, from mutualism to parasitism, and can consequently 'infect' other planets/hosts. We find that parasitic civilisations are generally less effective at survival than mutualist civilisations, provided that interstellar colonisation is inefficient (the maximum velocity of colonisation/infection is low). However, as the colonisation velocity is increased, the strategy of parasitism becomes more successful, until they dominate the 'population'. This is in accordance with predictions based on island biogeography and r/K selection theory. While heavily assumption dependent, we contend that this provides a fertile approach for further application of insights from theoretical ecology for extraterrestrial colonisation - while also potentially offering insights for understanding the human-Earth relationship and the potential for extraterrestrial human colonisation.


title: Investigating potential planetary nebula/cluster pairs

abstract: Fundamental parameters characterizing the end-state of intermediate-mass stars may be constrained by discovering planetary nebulae (PNe) in open clusters (OCs). Cluster membership may be exploited to establish the distance, luminosity, age, and physical size for PNe, and the intrinsic luminosity and mass of its central star. Four potential PN-OC associations were investigated, to assess the cluster membership for the PNe. Radial velocities were measured from intermediate-resolution optical spectra, complemented with previous estimates in the literature. When the radial velocity study supported the PN/OC association, we analyzed if other parameters (e.g., age, distance, reddening, central star brightness) were consistent with this conclusion. Our measurements imply that the PNe VBe3 and HeFa1 are not members of the OCs NGC5999 and NGC6067, respectively, and likely belong to the background bulge population. Conversely, consistent radial velocities indicate that NGC2452/NGC2453 could be associated, but our results are not conclusive and additional observations are warranted. Finally, we demonstrate that all the available information point to He2-86 being a young, highly internally obscured PN member of NGC4463. New near-infrared photometry acquired via the Vista Variables in the Via Lactea ESO public survey was used in tandem with existing UBV photometry to measure the distance, reddening, and age of NGC4463, finding d=1.55+-0.10 kpc, E(B-V)=0.41+-0.02, and tau=65+-10 Myr, respectively. The same values should be adopted for the PN if the proposed cluster membership will be confirmed.


title: Null controllability for parabolic equations with dynamic boundary conditions of reactive-diffusive type

abstract: We prove null controllability for linear and semilinear heat equations with dynamic boundary conditions of surface diffusion type. The results are based on a new Carleman estimate for this type of boundary conditions.


title: Observation of $Z_c(3900)$ both by BESIII and Belle

abstract: Using $525$ pb$^{-1}$ data collected with the BESIII detector at $e^+e^-$ central-of-mass energy 4.26 GeV, the BESIII Collaboration observed a charged charmoniumlike state $Z_c(3900)\to\pi^{\pm}J/\psi$ with mass $M[Z_c(3900)]=3899.0\pm 3.6 \pm 4.9$ MeV/c$^2$, and width $\Gamma[Z_c(3900)]=46\pm 10 \pm 20$ MeV. The significance of this state was estimated to be $>8\sigma$ in all kinds of systematic tests. Using $967$ fb$^{-1}$ data recorded by the Belle detector on or near $\Upsilon(nS)$, n=1, 2, $\cdots$, 5 resonances, the $e^+e^- \to \pi^+\pi^-J/\psi$ process has been studied through initial-state-radiation (ISR) method. Except for the $Y(4260)$ resonance, an intermediate state $Z(3900)^{\pm}$ has been observed in the $\pi^{\pm}J/\psi$ mass spectrum, with significance $>5.2\sigma$. The measured mass $M[Z(3900)^{\pm}]=3894.5\pm6.6\pm4.5$ MeV/c$^2$ and width $\Gamma[Z(3900)^{\pm}]=63\pm24\pm26$ MeV, shows good agreement with the BESIII measurement within errors, which means $Z_c(3900)$ and $Z(3900)^{\pm}$ is the same state.


title: Gravitomagnetism and Non-commutative Geometry

abstract: Similarity between the gravitoelectromagnetism and the electromagnetism is discussed. We show that the gravitomagnetic field (similar to the magnetic field) can be equivalent to the non-commutative effect of the momentum sector of the phase space when one maintains only the first order of the non-commutative parameters. This is performed through two approaches. In one approach, by employing the Feynman proof, the existence of a Lorentz-like force in the gravitoelectromagnetism is indicated. The appearance of such a force is subjected to the slow motion and the weak field approximations for stationary fields. The analogy between this Lorentz-like force and the motion equation of a test particle in a non-commutative space leads to the mentioned equivalency. In fact, this equivalency is achieved by the comparison of the two motion equations. In the other and quietly independent approach, we demonstrate that a gravitomagnetic background can be treated as a Dirac constraint. That is, the gravitoelectromagnetic field can be regarded as a constrained system from the sense of the Dirac theory. Indeed, the application of the Dirac formalism for the gravitoelectromagnetic field reveals that the phase space coordinates have non-commutative structure from the view of the Dirac bracket. Particularly, the gravitomagnetic field as a weak field induces the non-trivial Dirac bracket of the momentum sector which displays the non-commutativity.

categories: gr-qc hep-th math-ph math.MP physics.class-ph


title: Submatrices of Hadamard matrices: complementation results

abstract: Two submatrices $A,D$ of a Hadamard matrix $H$ are called complementary if, up to a permutation of rows and columns, $H=[^A_C{\ }^B_D]$. We find here an explicit formula for the polar decomposition of $D$. As an application, we show that under suitable smallness assumptions on the size of $A$, the complementary matrix $D$ is an almost Hadamard sign pattern, i.e. its rescaled polar part is an almost Hadamard matrix.


title: The Tao of It and Bit

abstract: The main mystery of quantum mechanics is contained in Wheeler's delayed choice experiment, which shows that the past is determined by our choice of what quantum property to observe. This gives the observer a participatory role in deciding the past history of the universe. Wheeler extended this participatory role to the emergence of the physical laws ("law without law"). Since what we know about the universe comes in yes/no answers to our interrogations, this led him to the idea of "it from bit" (which includes the participatory role of the observer as a key component). The yes/no answers to our observations ("bit") should always be compatible with the existence of at least a possible reality - a global solution ("it") of the Schrodinger equation. I argue that there is in fact an interplay between "it" and "bit". The requirement of global consistency leads to apparently acausal and nonlocal behavior, explaining the weirdness of quantum phenomena. As an interpretation of Wheeler's "it from bit" and "law without law", I discuss the possibility that the universe is mathematical, and that there is a "mother of all possible worlds" - named the "Axiom Zero".


title: Polyhedral Covers of Tree Space

abstract: The phylogenetic tree space, introduced by Billera, Holmes, and Vogtmann, is a cone over a simplicial complex. In this short article, we construct this complex from local gluings of classical polytopes, the associahedron and the permutohedron. Its homotopy is also reinterpreted and calculated based on polytope data.


title: Weak symmetry breaking in two dimensional topological insulators

abstract: We show that there exist two dimensional (2D) time reversal invariant fractionalized insulators with the property that both their boundary with the vacuum and their boundary with a topological insulator can be fully gapped without breaking time reversal or charge conservation symmetry. This result leads us to an apparent paradox: we consider a geometry in which a disk-like region made up of a topological insulator is surrounded by an annular strip of a fractionalized insulator, which is in turn surrounded by the vacuum. If we gap both boundaries of the strip, we naively obtain an example of a gapped interface between a topological insulator and the vacuum that does not break any symmetries -- an impossibility. The resolution of this paradox is that this system spontaneously breaks time reversal symmetry in an unusual way, which we call \emph{weak symmetry breaking}. In particular, we find that the only order parameters that are sensitive to the symmetry breaking are nonlocal operators that describe quasiparticle tunneling processes between the two edges of the strip; expectation values of local order parameters vanish exponentially in the limit of a wide strip. Also, we find that the symmetry breaking in our system comes with a ground state degeneracy, but this ground state degeneracy is topologically protected, rather than symmetry protected. We show that this kind of symmetry breaking can also occur at the edge of 2D fractional topological insulators.


title: Abstract Acceleration of General Linear Loops

abstract: We present abstract acceleration techniques for computing loop invariants for numerical programs with linear assignments and conditionals. Whereas abstract interpretation techniques typically over-approximate the set of reachable states iteratively, abstract acceleration captures the effect of the loop with a single, non-iterative transfer function applied to the initial states at the loop head. In contrast to previous acceleration techniques, our approach applies to any linear loop without restrictions. Its novelty lies in the use of the Jordan normal form decomposition of the loop body to derive symbolic expressions for the entries of the matrix modeling the effect of n>=0 iterations of the loop. The entries of such a matrix depend on $n$ through complex polynomial, exponential and trigonometric functions. Therefore, we introduces an abstract domain for matrices that captures the linear inequality relations between these complex expressions. This results in an abstract matrix for describing the fixpoint semantics of the loop. Our approach integrates smoothly into standard abstract interpreters and can handle programs with nested loops and loops containing conditional branches. We evaluate it over small but complex loops that are commonly found in control software, comparing it with other tools for computing linear loop invariants. The loops in our benchmarks typically exhibit polynomial, exponential and oscillatory behaviors that present challenges to existing approaches. Our approach finds non-trivial invariants to prove useful bounds on the values of variables for such loops, clearly outperforming the existing approaches in terms of precision while exhibiting good performance.


title: Bosonic thermoelectric transport and breakdown of universality

abstract: In this paper we compare Bose transport in normal phase atomic gases with its counterpart in Fermi gases, illustrating the non-universality of two dimensional bosonic transport associated with different dissipation mechanisms. Near the superfluid transition temperature $T_c$, a striking similarity between the fermionic and bosonic transport emerges because super-conducting(fluid) fluctuation transport for Fermi gases is dominated by the bosonic, Cooper pair component. As in fluctuation theory, one finds that the Seebeck coefficient changes sign at $T_c$ and the Lorenz number approaches zero at $T_c$. Our findings appear semi-quantitatively consistent with recent Bose gas experiments.


title: Comment on "Thermodynamic properties of rock-salt ZnO" by Leitner et al. [Thermochimica Acta 572 (2013) 1-5]

abstract: Very recently Leitner et al. [Thermochimica Acta 572 (2013) 1-5] have tried to extract the thermodynamic data of rock-salt ZnO from ab initio and experimental data available in the literature. In this Comment we show that neglecting (i) the strongly pronounced kinetic features of the pressure-induced phase transition in ZnO at room temperature and (ii) results of calorimetric measurements available in the literature [Russ. Chem. Bull. 59 (2010) 325-328] makes the proposed set of thermodynamic functions completely incorrect.


title: Discovery of weak 6.7-GHz CH3OH masers in a sample of high-mass Hi-GAL sources

abstract: Maser lines from different molecular species, including water, hydroxyl, and methanol, are common observational phenomena associated with massive star forming regions. In particular, the methanol maser appears as an ideal tool to study the early phases of massive star formation. However, it is difficult to establish the exact start of the methanol maser phase, and it would then be interesting to detect and study low-flux density methanol masers (i.e., < 0.1 Jy or even << 0.1 Jy), in order to determine if they can effectively be used to mark a specific evolutionary phase in high-mass star formation. Past surveys have been unable to systematically detect many low-flux density methanol masers, and thus we do not yet know how many such masers exist in the Galaxy and what is their physical nature. Out of a sample of 107 observed Hi-GAL sources we detected a total of 32 methanol masers, with 22 sources being new and weak (median peak flux density 0.07 Jy) detections, in the Galactic longitude range [32.0, 59.8]deg. We also detected 12 6.035-GHz OH maser, with 9 objects being new detections. Our survey covers a similar range of source distances as the "Arecibo Methanol Maser Galactic Plane Survey", but the methanol masers detected by us are clearly shifted towards lower integrated flux densities. The newly detected methanol masers are mostly of low-luminosity and, except for some sources, their weakness is not due to distance effects or positional offsets. No specific correlation is found with the physical parameters of the Hi-GAL clumps, except for sources with both CH3OH and OH masers which tend to have higher mass and luminosity. The intensity of the methanol masers correlates well with the velocity range of the maser emission, which suggests that the low brightness of these masers is related to the number of maser spots in the emitting region and their evolution with time.


title: Automorphism Groups of Countable Arithmetically Saturated Models of Peano Arithmetic

abstract: If M,N are countable, arithmetically saturated models of Peano Arithmetic and Aut(M) is isomorphic to Aut(N), then the Turing-jumps of Th(M) and Th(N) are recursively equivalent.


title: A Cartan-Hadamard type result for relatively hyperbolic groups

abstract: In this article, we prove that if a finitely presented group has an asymptotic cone which is tree-graded with respect to a precise set of pieces then it is relatively hyperbolic. This answers a question of M. Sapir.


title: Physics implications of correlation data from the RHIC and LHC heavy-ion programs

abstract: Two-dimensional angular correlation data from the STAR experiment at RHIC and from the LHC experiments provide critical information about dynamical processes in relativistic heavy-ion collisions. The principal correlation structures of interest are a broad jet-related peak at small relative azimuth ($\phi$) extending to large relative pseudorapidity ($\eta$), the dijet ridge at large relative azimuth, and an independent double ridge on $\phi$ represented by a quadrupole function. The broad peak at small relative azimuth has been attributed, in large part, to initial-state fluctuations and hydrodynamic flow which produce higher-order harmonics on $\phi$. That conjecture is challenged in this paper. It is shown that the net effect of additional higher harmonic model elements is to describe small, non-Gaussian (NG) shapes in the broad jet-related peak. The quadrupole correlation, which is also conventionally attributed to hydrodynamic flow, is considered within the Balitsky - Fadin - Kuraev - Lipatov (BFKL) Pomeron framework. Preliminary results using this model for the quadrupole correlation for particle production from 200 GeV $p+p$ collisions are shown to be consistent with recent data from STAR.


title: Towards the minimal renormalizable supersymmetric $E_6$ model

abstract: We find an explicit renormalizable supersymmetric $E_6$ model with all the ingredients for being realistic. It consists of the Higgs sector $351'+\overline{351'}+27+\overline{27}$, which breaks $E_6$ directly to the Standard Model gauge group. Three copies of $27$ dimensional representations then describe the matter sector, while an extra $27+\overline{27}$ pair is needed to successfully split the Standard Model Higgs doublet from the heavy Higgs triplet. We perform the analysis of the vacuum structure and the Yukawa sector of this model, as well as compute contributions to proton decay. Also, we show why some other simpler $E_6$ models fail to be realistic at the renormalizable level.


title: The Composition Theorem for Differential Privacy

abstract: Sequential querying of differentially private mechanisms degrades the overall privacy level. In this paper, we answer the fundamental question of characterizing the level of overall privacy degradation as a function of the number of queries and the privacy levels maintained by each privatization mechanism. Our solution is complete: we prove an upper bound on the overall privacy level and construct a sequence of privatization mechanisms that achieves this bound. The key innovation is the introduction of an operational interpretation of differential privacy (involving hypothesis testing) and the use of new data processing inequalities. Our result improves over the state-of-the-art, and has immediate applications in several problems studied in the literature including differentially private multi-party computation.


title: Natural modes and resonances in a dispersive stratified N-layer medium

abstract: The properties of the natural modes in a dispersive stratified N-layer medium are investigated. The focus is on the (over)completeness properties of these modes. Also the distribution of the natural frequencies is considered. Both the degree of (over)completeness and the natural frequency distribution turn out to be totally different from what is known for the non-dispersive case.


title: Testing our conceptual understanding of V1 function

abstract: Here we test our conceptual understanding of V1 function by asking two experimental questions: 1) How do neurons respond to the spatiotemporal structure contained in dynamic, natural scenes? and 2) What is the true range of visual responsiveness and predictability of neural responses obtained in an unbiased sample of neurons across all layers of cortex? We address these questions by recording responses to natural movie stimuli with 32 channel silicon probes. By simultaneously recording from cells in all layers, and taking all recorded cells, we reduce recording bias that results from "hunting" for neural responses evoked from drifting bars and gratings. A nonparametric model reveals that many cells that are visually responsive do not appear to be captured by standard receptive field models. Using nonlinear Radial Basis Function kernels in a support vector machine, we can explain the responses of some of these cells better than standard linear and phase-invariant complex cell models. This suggests that V1 neurons exhibit more complex and diverse responses than standard models can capture, ranging from simple and complex cells strongly driven by their classical receptive fields, to cells with more nonlinear receptive fields inferred from the nonparametric and RFB model, and cells that are not visually responsive despite robust firing.


title: Converting homotopies to isotopies and dividing homotopies in half in an effective way

abstract: We prove two theorems about homotopies of curves on 2-dimensional Riemannian manifolds. We show that, for any epsilon > 0, if two simple closed curves are homotopic through curves of bounded length L, then they are also isotopic through curves of length bounded by L + epsilon. If the manifold is orientable, then for any epsilon > 0 we show that, if we can contract a curve gamma traversed twice through curves of length bounded by L, then we can also contract gamma through curves bounded in length by L + epsilon. Our method involves cutting curves at their self-intersection points and reconnecting them in a prescribed way. We consider the space of all curves obtained in this way from the original homotopy, and use a novel approach to show that this space contains a path which yields the desired homotopy.


title: The renormalization flow of the hierarchical Anderson model at weak disorder

abstract: We study the flow of the renormalized model parameters obtained from a sequence of simple transformations of the 1D Anderson model with long-range hierarchical hopping. Combining numerical results with a perturbative approach for the flow equations, we identify three qualitatively different regimes at weak disorder. For a sufficiently fast decay of the hopping energy, the Cauchy distribution is the only stable fixed-point of the flow equations, whereas for sufficiently slowly decaying hopping energy the renormalized parameters flow to a delta peak fixed-point distribution. In an intermediate range of the hopping decay, both fixed-point distributions are stable and the stationary solution is determined by the initial configuration of the random parameters. We present results for the critical decay of the hopping energy separating the different regimes.


title: Dynamics of coronal rain and descending plasma blobs in solar prominences: I. Fully ionised case

abstract: Observations of active regions and limb prominences often show cold, dense blobs descending with an acceleration smaller than that of free fall. The dynamics of these condensations falling in the solar corona is investigated in this paper using a simple fully ionised plasma model. We find that the presence of a heavy condensation gives rise to a dynamical rearrangement of the coronal pressure that results in the formation of a large pressure gradient that opposes gravity. Eventually this pressure gradient becomes so large that the blob acceleration vanishes or even points upwards. Then, the blob descent is characterised by an initial acceleration phase followed by an essentially constant velocity phase. These two stages can be identified in published time-distance diagrams of coronal rain events. Both the duration of the first stage and the velocity attained by the blob increase for larger values of the ratio of blob to coronal density, for larger blob mass, and for smaller coronal temperature. Dense blobs are characterised by a detectable density growth (up to 60% in our calculations) and by a steepening of the density in their lower part, that could lead to the formation of a shock. They also emit sound waves that could be detected as small intensity changes with periods of the order of 100 s and lasting between a few and about ten periods. Finally, the curvature of the falling path is only relevant when a very dense blob falls along inclined magnetic field lines.


title: Fusion (semi)rings arising from quantum groups

abstract: We study the fusion semirings arising from easy quantum groups. We classify all the possible free ones, answering a question of T. Banica and R. Vergnioux : these are exactly the fusion rings of quantum groups without any nontrivial one-dimensional representation. We then classify the possible groups of one-dimensional representations for free easy quantum groups. As an application, we give a unified proof of the Haagerup property for a broad class of easy quantum groups, recovering as special cases previous results by M. Brannan and F. Lemeux. We end with some considerations on the description of the full fusion ring in the general case.


title: Carrier localization and electronic phase separation in a doped spin-orbit driven Mott phase in Sr3(Ir1-xRux)2O7

abstract: Interest in many strongly spin-orbit coupled 5d-transition metal oxide insulators stems from mapping their electronic structures to a J=1/2 Mott phase. One of the hopes is to establish their Mott parent states and explore these systems' potential of realizing novel electronic states upon carrier doping. However, once doped, little is understood regarding the role of their reduced Coulomb interaction U relative to their strongly correlated 3d-electron cousins. Here we show that, upon hole-doping a candidate J=1/2 Mott insulator, carriers remain localized within a nanoscale phase separated ground state. A percolative metal-insulator transition occurs with interplay between localized and itinerant regions, stabilizing an antiferromagnetic metallic phase beyond the critical region. Our results demonstrate a surprising parallel between doped 5d- and 3d-electron Mott systems and suggest either through the near degeneracy of nearby electronic phases or direct carrier localization that U is essential to the carrier response of this doped spin-orbit Mott insulator.


title: On the invariant spectrum on $\mathbb{P}^1$

abstract: Motivated by the work of Abreu and Freitas, we study the invariant spectrum of the Laplace operator associated to hermitian line bundles endowed with invariant metrics over $\mathbb{p}^1$.


title: On new maximal supergravity and its BPS domain-walls

abstract: We revise the SU(3)-invariant sector of $\mathcal{N}=8$ supergravity with dyonic SO(8) gaugings. By using the embedding tensor formalism, analytic expressions for the scalar potential, superpotential(s) and fermion mass terms are obtained as a function of the electromagnetic phase $\omega$ and the scalars in the theory. Equipped with these results, we explore non-supersymmetric AdS critical points at $\omega \neq 0$ for which perturbative stability could not be analysed before. The $\omega$-dependent superpotential is then used to derive first-order flow equations and obtain new BPS domain-wall solutions at $\omega \neq 0$. We numerically look at steepest-descent paths motivated by the (conjectured) RG flows.


title: Consequences of Symmetries and Consistency Relations in the Large-Scale Structure of the Universe for Non-local bias and Modified Gravity

abstract: Consistency relations involving the soft limit of the (n + 1)-correlator functions of dark matter and galaxy overdensities can be obtained, both in real and redshift space, thanks to the symmetries enjoyed by the Newtonian equations of motion describing the dark matter and galaxy fluids coupled through gravity. We study the implications of such symmetries for the theory of galaxy bias and for the theories of modified gravity. We find that the invariance of the fluid equations under a coordinate transformation that induces a long-wavelength velocity constrain the bias to depend only on a set of invariants, while the symmetry of such equations under Lifshitz scalings in the case of matter domination allows one to compute the time-dependence of the coefficients in the bias expansion. We also find that in theories of modified gravity which violate the equivalence principle induce a violation of the consistency relation which may be a signature for their observation. Thus, given adiabatic Gaussian initial conditions, the observation of a deviation from the consistency relation for galaxies would signal a break-down of the so-called non-local Eulerian bias model or the violation of the equivalence principle in the underlying theory of gravity.


title: On the Distributed Construction of a Collision-Free Schedule in WLANs

abstract: In wireless local area networks (WLANs), a media access protocol arbitrates access to the channel. In current IEEE 802.11 WLANs, carrier sense multiple access with collision avoidance (CSMA/CA) is used. Carrier sense multiple access with enhanced collision avoidance (CSMA/ECA) is a subtle variant of the well-known CSMA/CA algorithm that offers substantial performance benefits. CSMA/ECA significantly reduces the collision probability and, under certain conditions, leads to a completely collision-free schedule. The only difference between CSMA/CA and CSMA/ECA is that the latter uses a deterministic backoff after successful transmissions. This deterministic backoff is a constant and is the same for all the stations. The first part of the paper is of tutorial nature, offering an introduction to the basic operation of CSMA/ECA and describing the benefits of this approach in a qualitative manner. The second part of the paper surveys related contributions, briefly summarizing the main challenges and potential solutions, and also introducing variants and derivatives of CSMA/ECA.


title: Low X-Ray Luminosity Galaxy Clusters. II. Optical properties and morphological content at 0.18 < z < 0.70

abstract: This is the second of a series of papers on low X-ray luminosity galaxy clusters, in which we present the $r^\prime$, $g^\prime$ and $i^\prime$ photometry obtained with GMOS-IMAGE at Gemini North and South telescopes for seven systems in the redshift range of 0.18 to 0.70. Optical magnitudes, colours and morphological parameters, namely, concentration index, ellipticity and visual morphological classification, are also given. At lower redshifts, the presence of a well-defined red cluster sequence extending by more than 4 magnitudes showed that these intermediate-mass clusters had reached a relaxed stage. This was confirmed by the small fraction of blue galaxy members observed in the central regions of $\sim$ 0.75 Mpc. In contrast, galaxy clusters at higher redshifts had a less important red cluster sequence. We also found that the galaxy radial density profiles in these clusters were well fitted by a single power law. At 0.18 $<$ z $<$ 0.70, we observed an increasing fraction of blue galaxies and a decreasing fraction of lenticulars, with the early-type fraction remaining almost constant. Overall, the results of these intermediate-mass clusters are in agreement with those for high mass clusters.


title: Rank Properties of Multiplicative Semigroup Reduct of Affine Near-Semirings over $B_n$

abstract: This work investigates the rank properties of $A^+(B_n)$, the multiplicative semigroup reduct of the affine near-semirings over an aperiodic Brandt semigroup $B_n$. In this connection, the work obtains the small rank, lower rank and large rank of $A^+(B_n)$. Further, the work provides lower bounds for intermediate rank and upper rank of $A^+(B_n)$.


title: A Discontinuous Galerkin Time Domain Framework for Periodic Structures Subject To Oblique Excitation

abstract: A nodal Discontinuous Galerkin (DG) method is derived for the analysis of time-domain (TD) scattering from doubly periodic PEC/dielectric structures under oblique interrogation. Field transformations are employed to elaborate a formalism that is free from any issues with causality that are common when applying spatial periodic boundary conditions simultaneously with incident fields at arbitrary angles of incidence. An upwind numerical flux is derived for the transformed variables, which retains the same form as it does in the original Maxwell problem for domains without explicitly imposed periodicity. This, in conjunction with the amenability of the DG framework to non-conformal meshes, provides a natural means of accurately solving the first order TD Maxwell equations for a number of periodic systems of engineering interest. Results are presented that substantiate the accuracy and utility of our method.


title: Engineering nonlinear response of nanomaterials using Fano resonances

abstract: We show that, nonlinear optical processes of nanoparticles can be controlled by the presence of interactions with a molecule or a quantum dot. By choosing the appropriate level spacing for the quantum emitter, one can either suppress or enhance the nonlinear frequency conversion. We reveal the underlying mechanism for this effect, which is already observed in recent experiments: (i) Suppression occurs simply because transparency induced by Fano resonance does not allow an excitation at the converted frequency. (ii) Enhancement emerges since nonlinear process can be brought to resonance. Path interference effect cancels the nonresonant frequency terms. We demonstrate the underlying physics using a simplified model, and we show that the predictions of the model are in good agreement with the 3-dimensional boundary element method (MNPBEM toolbox) simulations. Here, we consider the second harmonic generation in a plasmonic converter as an example to demonstrate the control mechanism. The phenomenon is the semi-classical analog of nonlinearity enhancement via electromagnetically induced transparency.


title: Lie-Hamilton systems on the plane: properties, classification and applications

abstract: We study Lie-Hamilton systems on the plane, i.e. systems of first-order differential equations describing the integral curves of a $t$-dependent vector field taking values in a finite-dimensional real Lie algebra of planar Hamiltonian vector fields with respect to a Poisson structure. We start with the local classification of finite-dimensional real Lie algebras of vector fields on the plane obtained in [A. Gonz\'alez-L\'opez, N. Kamran and P.J. Olver, Proc. London Math. Soc. 64, 339 (1992)] and we interpret their results as a local classification of Lie systems. Moreover, by determining which of these real Lie algebras consist of Hamiltonian vector fields with respect to a Poisson structure, we provide the complete local classification of Lie-Hamilton systems on the plane. We present and study through our results new Lie-Hamilton systems of interest which are used to investigate relevant non-autonomous differential equations, e.g. we get explicit local diffeomorphisms between such systems. In particular, the Milne-Pinney, second-order Kummer-Schwarz, complex Riccati and Buchdahl equations as well as some Lotka-Volterra and nonlinear biomathematical models are analysed from this Lie-Hamilton approach.


title: Topological freeness for $*$-commuting covering maps

abstract: A countable family of $*$-commuting surjective, non-injective local homeomorphisms of a compact Hausdorff space $X$ gives rise to an action $\theta$ of a countably generated, free abelian monoid $P$. For such a triple $(X,P,\theta)$, which we call an irreversible $*$-commutative dynamical system, we construct a universal $C^*$-algebra $\mathcal{O}[X,P,\theta]$. Within this setting we show that the following four conditions are equivalent: $(X,P,\theta)$ is topologically free, $C(X) \subset \mathcal{O}[X,P,\theta]$ has the ideal intersection property, the natural representation of $\mathcal{O}[X,P,\theta]$ on $\ell^2(X)$ is faithful, and $C(X)$ is a masa in $\mathcal{O}[X,P,\theta]$. As an application, we characterise simplicity of $\mathcal{O}[X,P,\theta]$ by minimality of $(X,P,\theta)$. We also show that $\mathcal{O}[X,P,\theta]$ is isomorphic to the Cuntz-Nica-Pimsner algebra of a product system of Hilbert bimodules naturally associated to $(X,P,\theta)$. Moreover, we find a close connection between $*$-commutativity and independence of group endomorphisms, a notion introduced by Cuntz and Vershik. This leads to the observation that, for commutative irreversible algebraic dynamical systems of finite type $(G,P,\theta)$, the dual model $(\hat{G},P,\hat{\theta})$ is an irreversible $*$-commutative dynamical system and $\mathcal{O}[\hat{G},P,\hat{\theta}]$ is canonically isomorphic to $\mathcal{O}[G,P,\theta]$. This allows us to conclude that minimality of $(G,P,\theta)$ is not only sufficient, but also necessary for simplicity of $\mathcal{O}[G,P,\theta]$ if $(G,P,\theta)$ is commutative and of finite type.


title: Perturbed vortex lattices and the stability of nucleated topological phases

abstract: We study the stability of nucleated topological phases that can emerge when interacting non-Abelian anyons form a regular array. The studies are carried out in the context of Kitaev's honeycomb model, where we consider three distinct types of perturbations in the presence of a lattice of Majorana mode binding vortices -- spatial anisotropy of the vortices, dimerization of the vortex lattice and local random disorder. While all the nucleated phases are stable with respect to weak perturbations of each kind, strong perturbations are found to result in very different behavior. Anisotropy of the vortices stabilizes the strong-pairing like phases, while dimerization can recover the underlying non-Abelian phase. Local random disorder, on the other hand, can drive all the nucleated phases into a gapless thermal metal state. We show that all these distinct behavior can be captured by an effective staggered tight-binding model for the Majorana modes. By studying the pairwise interactions between the vortices, i.e. the amplitudes for the Majorana modes to tunnel between vortex cores, the locations of phase transitions and the nature of the resulting states can be predicted. We also find that due to oscillations in the Majorana tunneling amplitude, lattices of Majorana modes may exhibit a Peierls-like instability, where a dimerized configuration is favored over a uniform lattice. As the nature of the nucleated phases depends only on the Majorana tunneling, our results apply also to other system supporting localized Majorana mode arrays, such as Abrikosov lattices in p-wave superconductors, Wigner crystals in Moore-Read fractional quantum Hall states or arrays of topological nanowires.


title: Regularity for anisotropic fully nonlinear integro-differential equations

abstract: We consider fully nonlinear integro-differential equations governed by kernels that have different homogeneities in different directions. We prove a nonlocal version of the ABP estimate, a Harnack inequality and the interior $C^{1, \gamma}$ regularity, extending the results of [Caffarelli and Silvestre, CPAM 62, 2009] to the anisotropic case.


title: A note on H_infinity structures

abstract: We give a source of examples of H_infinity ring structures that do not lift to E_infinity ring structures, based on Mandell's equivalence between certain cochain algebras and spaces.


title: Identification of new Galactic symbiotic stars with SALT. I. Initial discoveries and other emission line objects

abstract: We introduce the first results from an ongoing, systematic survey for new symbiotic stars selected from the AAO/UKST SuperCOSMOS H$\alpha$ Survey (SHS). The survey aims to identify and characterise the fainter population of symbiotic stars underrepresented in extant catalogues. The accreting white dwarfs (WDs) in symbiotic stars, fuelled by their red giant donors with high mass loss rate winds, make them promising candidates for type Ia supernovae. Several candidates were observed spectroscopically with the Southern African Large Telescope (SALT). A total of 12 bona-fide and 3 possible symbiotic stars were identified. The most remarkable example is a rare carbon-rich symbiotic star that displays coronal [Fe X] $\lambda$6375 emission, suggesting it may be a supersoft X-ray source with a massive WD. Several other emission line objects with near-infrared colours similar to symbiotic stars are listed in an appendix, including 6 B[e] stars, 4 planetary nebulae (PNe), 2 possible Be stars, one [WC9] Wolf-Rayet (WR) central star of a PN and one WC9 WR star. These initial discoveries will help shape and refine the candidate selection criteria that we expect will uncover several more symbiotic stars as the survey progresses.


title: Fast Self-Stabilizing Minimum Spanning Tree Construction Using Compact Nearest Common Ancestor Labeling Scheme

abstract: We present a novel self-stabilizing algorithm for minimum spanning tree (MST) construction. The space complexity of our solution is $O(\log^2n)$ bits and it converges in $O(n^2)$ rounds. Thus, this algorithm improves the convergence time of previously known self-stabilizing asynchronous MST algorithms by a multiplicative factor $\Theta(n)$, to the price of increasing the best known space complexity by a factor $O(\log n)$. The main ingredient used in our algorithm is the design, for the first time in self-stabilizing settings, of a labeling scheme for computing the nearest common ancestor with only $O(\log^2n)$ bits.


title: Kicked Dirac particle in a box

abstract: We study quantum dynamics of a kicked relativistic spin-half particle in a one dimensional box. Time-dependence of the average kinetic energy and evolution of the wave packet are explored. Kicking potential is introduced as the Lorentz-scalar, i.e., through the mass-term in the Dirac equation. It is found that depending on the values of the kicking parameters E(t) can be periodic, monotonically growing and non-periodic function of time. Particle transport in the system is studied by considering spatio-temporal evolution of the Gaussian wave packet.Splitting of the packet into two symmetric parts and restoration of the profile of the packet is found.

categories: quant-ph cond-mat.mes-hall math-ph math.MP nlin.CD


title: Distributed Exploration in Multi-Armed Bandits

abstract: We study exploration in Multi-Armed Bandits in a setting where $k$ players collaborate in order to identify an $\epsilon$-optimal arm. Our motivation comes from recent employment of bandit algorithms in computationally intensive, large-scale applications. Our results demonstrate a non-trivial tradeoff between the number of arm pulls required by each of the players, and the amount of communication between them. In particular, our main result shows that by allowing the $k$ players to communicate only once, they are able to learn $\sqrt{k}$ times faster than a single player. That is, distributing learning to $k$ players gives rise to a factor $\sqrt{k}$ parallel speed-up. We complement this result with a lower bound showing this is in general the best possible. On the other extreme, we present an algorithm that achieves the ideal factor $k$ speed-up in learning performance, with communication only logarithmic in $1/\epsilon$.


title: Using Surface-Motions for Locomotion of Microscopic Robots in Viscous Fluids

abstract: Microscopic robots could perform tasks with high spatial precision, such as acting in biological tissues on the scale of individual cells, provided they can reach precise locations. This paper evaluates the feasibility of in vivo locomotion for micron-size robots. Two appealing methods rely only on surface motions: steady tangential motion and small amplitude oscillations. These methods contrast with common microorganism propulsion based on flagella or cilia, which are more likely to damage nearby cells if used by robots made of stiff materials. The power potentially available to robots in tissue supports speeds ranging from one to hundreds of microns per second, over the range of viscosities found in biological tissue. We discuss design trade-offs among propulsion method, speed, power, shear forces and robot shape, and relate those choices to robot task requirements. This study shows that realizing such locomotion requires substantial improvements in fabrication capabilities and material properties over current technology.


title: Molecular responses of mouse macrophages to copper and copper oxide nanoparticles inferred from proteomic analyses

abstract: The molecular responses of macrophages to copper-based nanoparticles have been investigated via a combination of proteomic and biochemical approaches, using the RAW264.7 cell line as a model. Both metallic copper and copper oxide nanoparticles have been tested, with copper ion and zirconium oxide nanoparticles used as controls. Proteomic analysis highlighted changes in proteins implicated in oxidative stress responses (superoxide dismutases and peroxiredoxins), glutathione biosynthesis, the actomyosin cytoskeleton, and mitochondrial proteins (especially oxidative phosphorylation complex subunits). Validation studies employing functional analyses showed that the increases in glutathione biosynthesis and in mitochondrial complexes observed in the proteomic screen were critical to cell survival upon stress with copper-based nanoparticles; pharmacological inhibition of these two pathways enhanced cell vulnerability to copper-based nanoparticles, but not to copper ions. Furthermore, functional analyses using primary macrophages derived from bone marrow showed a decrease in reduced glutathione levels, a decrease in the mitochondrial transmembrane potential, and inhibition of phagocytosis and of lipopolysaccharide-induced nitric oxide production. However, only a fraction of these effects could be obtained with copper ions. In conclusion, this study showed that macrophage functions are significantly altered by copper-based nanoparticles. Also highlighted are the cellular pathways modulated by cells for survival and the exemplified cross-toxicities that can occur between copper-based nanoparticles and pharmacological agents.


title: When "I cut, you choose" method implies intransitivity

abstract: There is a common belief that humans and many animals follow transitive inference (choosing A over C on the basis of knowing that A is better than B and B is better than C). Transitivity seems to be the essence of rational choice. We present a theoretical model of a repeated game in which the players make a choice between three goods (e.g. food). The rules of the game refer to the simple procedure of fair division among two players, known as the "I cut, you choose" mechanism which has been widely discussed in the literature. In this game one of the players has to make intransitive choices in order to achieve the optimal result (for him/her and his/her co-player). The point is that an intransitive choice can be rational. Previously, an increase in the significance of intransitive strategies was achieved by referring to models of quantum games. We show that \textit{relevant intransitive strategies} also appear in the classic description of decision algorithms.


title: Innovation \'educative en sciences de l'information

abstract: Concerning its development in the virtual classroom, the web 2.0 educational innovation means the use and the production of textbooks and the personalisation of the classnotes. The controversy, that is a precondition of awareness, organized around the assignment of knowledge to a central authority vs its grant to individuals who need it to share their plans with others, would meet the present dynamism of e-learning. To introduce these training strategies with scientific information in marine sciences, an online course was transformed into an opportunity for evaluating and living open access.