title: Weighted bound for commutators

abstract: Let $K$ be the Calder\'on-Zygmund convolution kernel on $\mathbb{R}^d (d\geq2)$. Define the commutator associated with $K$ and $a\in L^\infty(\mathbb{R}^d)$ by \[ T_af(x)=p.v. \int K(x-y)m_{x,y}a\cdot f(y)dy. \] Recently, Grafakos and Honz\'{\i}k [5] proved that $T_a$ is of weak type (1,1) for $d=2$. In this paper, we show that $T_a$ is also weighted weak type (1,1) with the weight $|x|^\alpha\,(-2<\alpha <0)$ for $d=2$. Moreover, we prove that $T_a$ is bounded on weighted $L^p(\mathbb{R}^d)\,(1<p<\infty)$ for all $d\ge2$.


title: Gauge theories on noncommutative ${\mathbb C}P^N$ and BPS-like equations

abstract: We give the Fock representation of a noncommutative $\mathbb{C}P^N$ and gauge theories on it. The Fock representation is constructed based on star products given by deformation quantization with separation of variables and operators which act on states in the Fock space are explicitly described by functions of inhomogeneous coordinates on ${\mathbb C}P^N$. Using the Fock representation, we are able to discuss the positivity of Yang-Mills type actions and the minimal action principle. Other types of actions including the Chern-Simons term are also investigated. BPS-like equations on noncommutative $\mathbb{C}P^1$ and $\mathbb{C}P^2$ are derived from these actions. There are analogies between BPS-like equations on $\mathbb{C}P^1$ and monopole equations on ${\mathbb R}^3$, and BPS-like equations on $\mathbb{C}P^2$ and instanton equations on ${\mathbb R}^8$. We discuss solutions of these BPS-like equations.


title: One-point Functions in Defect CFT and Integrability

abstract: We calculate planar tree level one-point functions of non-protected operators in the defect conformal field theory dual to the D3-D5 brane system with k units of the world volume flux. Working in the operator basis of Bethe eigenstates of the Heisenberg XXX_{1/2} spin chain we express the one-point functions as overlaps of these eigenstates with a matrix product state. For k=2 we obtain a closed expression of determinant form for any number of excitations, and in the case of half-filling we find a relation with the N\'eel state. In addition, we present a number of results for the limiting case of infinite k.


title: GD 244: asteroseismology of a pulsator in the middle of the ZZ Ceti instability strip

abstract: We present our preliminary results on the asteroseismological investigations of the ZZ Ceti star GD 244. We used literature values of the effective temperature and surface gravity and utilized the White Dwarf Evolution Code of Bischoff-Kim, Montgomery and Winget (2008, ApJ, 675, 1512) to build our model grid for the seismological analysis. Five observed pulsational modes published up to now were used to find acceptable model solutions. We found that the best model fits have masses between 0.61 and 0.74 M_solar and constitute two groups with hydrogen layer masses of either ~10^{-5} or 10^{-6} M_solar. Based on a statistical analysis of a larger sample of possible model solutions, we assume that the mass of the star is below ~0.68 M_solar and the oxygen content in the centre is less than 60 percent.


title: Amplitude Modulation in the ZZ Ceti Star GD 244

abstract: Previous studies of GD 244 revealed seven pulsation frequencies (two doublets and three single periods) in the light variations of the star. The data obtained at McDonald Observatory between 2003 and 2006, and our additional measurements in 2006 and 2007 at Konkoly Observatory, allow the investigation of the long-term pulsational behaviour of GD 244. We found that the 307.1 s period component of one of the doublets show long-term, periodic amplitude modulation with a time scale of ~740 days. Possible explanations are that nonlinear resonant mode coupling is operating among the rotationally split frequency components, or two modes, unresolved in the yearly data are excited at ~307.1 s. This is the first time that such long-term periodic amplitude modulation is published on a ZZ Ceti star.


title: Three-pile Sharing Nim and the quadratic time winning strategy

abstract: We study a variant of 3-pile Nim in which a move consists of taking tokens from one pile and, instead of removing then, topping up on a smaller pile provided that the destination pile does not have more tokens then the source pile after the move. We discover a situation in which each column of two-dimensional array of Sprague-Grundy values is a palindrome. We establish a formula for P-positions by which winning moves can be computed in quadratic time. We prove a formula for positions whose Sprague-Grundy values are 1 and estimate the distribution of those positions whose nim-values are g. We discuss the periodicity of nim-sequences that seem to be bounded.


title: Graphs in machine learning: an introduction

abstract: Graphs are commonly used to characterise interactions between objects of interest. Because they are based on a straightforward formalism, they are used in many scientific fields from computer science to historical sciences. In this paper, we give an introduction to some methods relying on graphs for learning. This includes both unsupervised and supervised methods. Unsupervised learning algorithms usually aim at visualising graphs in latent spaces and/or clustering the nodes. Both focus on extracting knowledge from graph topologies. While most existing techniques are only applicable to static graphs, where edges do not evolve through time, recent developments have shown that they could be extended to deal with evolving networks. In a supervised context, one generally aims at inferring labels or numerical values attached to nodes using both the graph and, when they are available, node characteristics. Balancing the two sources of information can be challenging, especially as they can disagree locally or globally. In both contexts, supervised and un-supervised, data can be relational (augmented with one or several global graphs) as described above, or graph valued. In this latter case, each object of interest is given as a full graph (possibly completed by other characteristics). In this context, natural tasks include graph clustering (as in producing clusters of graphs rather than clusters of nodes in a single graph), graph classification, etc. 1 Real networks One of the first practical studies on graphs can be dated back to the original work of Moreno [51] in the 30s. Since then, there has been a growing interest in graph analysis associated with strong developments in the modelling and the processing of these data. Graphs are now used in many scientific fields. In Biology [54, 2, 7], for instance, metabolic networks can describe pathways of biochemical reactions [41], while in social sciences networks are used to represent relation ties between actors [66, 56, 36, 34]. Other examples include powergrids [71] and the web [75]. Recently, networks have also been considered in other areas such as geography [22] and history [59, 39]. In machine learning, networks are seen as powerful tools to model problems in order to extract information from data and for prediction purposes. This is the object of this paper. For more complete surveys, we refer to [28, 62, 49, 45]. In this section, we introduce notations and highlight properties shared by most real networks. In Section 2, we then consider methods aiming at extracting information from a unique network. We will particularly focus on clustering methods where the goal is to find clusters of vertices. Finally, in Section 3, techniques that take a series of networks into account, where each network is


title: Non-Lifshitz-Kosevich field-and temperature-dependent amplitude of quantum oscillations in the quasi-two dimensional metal $\theta$-(ET) 4 ZnBr 4 (C 6 H 4 Cl 2 )

abstract: According to band structure calculations, the Fermi surface of the quasi-two dimensional metal $\theta$-(ET) 4 ZnBr 4 (C 6 H 4 Cl 2) illustrates the linear chain of coupled orbits model. Accordingly, de Haas-van Alphen oscillations spectra recorded in pulsed magnetic field of up to 55 T evidence many Fourier components, the frequency of which are linear combinations of the frequencies relevant to the closed $\alpha$ and the magnetic breakdown $\beta$ orbits. The field and temperature dependence of these component's amplitude are quantitatively accounted for by analytic calculations including, beyond the Lifshitz-Kosevich formula, second order terms in damping factors due to the oscillation of the chemical potential as the magnetic field varies. Whereas these second order terms are negligible for the orbits $\alpha$, $\beta$ and 2$\beta$ -- $\alpha$, they are solely responsible for the 'forbidden orbit' $\beta$ -- $\alpha$ and its harmonic and have a significant influence on Fourier components such as 2$\alpha$ and $\beta$ + $\alpha$, yielding strongly non-Lifshitz-Kosevich behaviour in the latter case.


title: When a thin periodic layer meets corners: asymptotic analysis of a singular Poisson problem

abstract: The present work deals with the resolution of the Poisson equation in a bounded domain made of a thin and periodic layer of finite length placed into a homogeneous medium. We provide and justify a high order asymptotic expansion which takes into account the boundary layer effect occurring in the vicinity of the periodic layer as well as the corner singularities appearing in the neighborhood of the extremities of the layer. Our approach combines the method of matched asymptotic expansions and the method of periodic surface homogenization, and a complete justification is included in the paper or its appendix.


title: Antinucleon-nucleus interaction near threshold from the Paris $\bar NN$ potential

abstract: A general algorithm for handling the energy dependence of hadron-nucleon amplitudes in the nuclear medium, consistently with their density dependence, has been recently applied to antikaons, eta mesons and pions interacting with nuclei. Here we apply this approach to antiprotons below threshold, analyzing experimental results for antiprotonic atoms across the periodic table. It is also applied to antiproton and antineutron interaction with nuclei up to 400 MeV/c, comparing with elastic scattering and annihilation cross sections. The underlying $\bar pN$ scattering amplitudes are derived from the Paris $\bar NN$ potential, including modifications in the medium. Emphasis is placed on the role of the $P$-wave amplitudes with respect to the repulsive $S$-wave amplitudes.


title: Rates in the Central Limit Theorem and diffusion approximation via Stein's Method

abstract: We present a way to use Stein's method in order to bound the Wasserstein distance of order $2$ between two measures $\nu$ and $\mu$ supported on $\mathbb{R}^d$ such that $\mu$ is the reversible measure of a diffusion process. In order to apply our result, we only require to have access to a stochastic process $(X_t)_{t \geq 0}$ such that $X_t$ is drawn from $\nu$ for any $t > 0$. We then show that, whenever $\mu$ is the Gaussian measure $\gamma$, one can use a slightly different approach to bound the Wasserstein distances of order $p \geq 1$ between $\nu$ and $\gamma$ under an additional exchangeability assumption on the stochastic process $(X_t)_{t \geq 0}$. Using our results, we are able to obtain convergence rates for the multi-dimensional Central Limit Theorem in terms of Wasserstein distances of order $p \geq 2$. Our results can also provide bounds for steady-state diffusion approximation, allowing us to tackle two problems appearing in the field of data analysis by giving a quantitative convergence result for invariant measures of random walks on random geometric graphs and by providing quantitative guarantees for a Monte Carlo sampling algorithm.


title: Semigroup actions on sets and the Burnside ring

abstract: In this paper we discuss some enlargements of the category of sets with semigroup actions and equivariant functions. We show that these enlarged categories possess two idempotent endofunctors. In the case of groups these enlarged categories are equivalent to the usual category of group actions and equivariant functions, and these idempotent endofunctors reverse a given action. For a general semigroup we show that these enlarged categories admit homotopical category structures defined by using these endofunctors and show that up to homotopy these categories are equivalent to the usual category of sets with semigroup actions. We finally construct the Burnside ring of a monoid by using homotopical structure of these categories, so that when the monoid is a group this definition agrees with the usual definition, and we show that when the monoid is commutative, its Burnside ring is equivalent to the Burnside ring of its Gr\"othendieck group.


title: A Survey on Distributed Visualization Techniques over Clusters of Personal Computers

abstract: In the last years, Distributed Visualization over Personal Computer (PC) clusters has become important for research and industrial communities. They have made large-scale visualizations practical and more accessible. In this work we survey Distributed Visualization techniques aiming at compiling last decade's literature on the use of PC clusters as suitable alternatives to high-end workstations. We review the topic by defining basic concepts, enumerating system requirements and implementation challenges, and presenting up-to-date methodologies. Our work fulfills the needs of newcomers and seasoned professionals as an introductory compilation at the same time that it can help experienced personnel by organizing ideas.


title: Application of Asymptotic Iteration Method (AIM) to a Deformed Well Problem

abstract: We have used Asymptotic Iteration Method (AIM) for obtaining the eigenvalues of the Schrodinger's equation for a deformed well problem representing trigonometric functions. By solving the problem, we have found that the Schrodinger's equation for the considered potential has quasi-exact solutions. Additionally, we have also calculated the perturbation expansion of energy eigenvalues and found very simple analytical expression of the energy. Finally, we have considered more general cases and obtained energy eigenvalues for arbitrary potential parameters.


title: Optical refrigeration with coupled quantum wells

abstract: Refrigeration of a solid-state system with light has potential applications for cooling small-scale electronics and photonics. We show theoretically that two coupled semiconductor quantum wells are efficient cooling media for optical refrigeration because they support long-lived indirect electron-hole pairs. Thermal excitation of these pairs to distinct higher-energy states with faster radiative recombination allows an efficient escape channel to remove thermal energy from the system. This allows reaching much higher cooling efficiencies than with single quantum wells. From band-diagram calculations along with an experimentally realistic level scheme we calculate the cooling efficiency and cooling yield of different devices with coupled quantum wells embedded in a suspended nanomembrane. The dimension and composition of the quantum wells allow optimizing either of these quantities, which cannot, however, be maximized simultaneously. Quantum-well structures with electrical control allow tunability of carrier lifetimes and energy levels so that the cooling efficiency can be optimized over time as the thermal population decreases due to the cooling.


title: Bounds on transient instability for complex ecosystems

abstract: Stability is a desirable property of complex ecosystems. If a community of interacting species is at a stable equilibrium point then it is able to withstand small perturbations to component species' abundances without suffering adverse effects. In ecology, the Jacobian matrix evaluated at an equilibrium point is known as the community matrix, which describes the population dynamics of interacting species. A system's asymptotic short- and long-term behaviour can be determined from eigenvalues derived from the community matrix. Here we use results from the theory of pseudospectra to describe intermediate, transient dynamics. We first recover the established result that the transition from stable to unstable dynamics includes a region of `transient instability', where the effect of a small perturbation to species' abundances---to the population vector---is amplified before ultimately decaying. Then we show that the shift from stability to transient instability can be affected by uncertainty in, or small changes to, entries in the community matrix, and determine lower and upper bounds to the maximum amplitude of perturbations to the population vector. Of five different types of community matrix, we find that amplification is least severe when predator-prey interactions dominate. This analysis is relevant to other systems whose dynamics can be expressed in terms of the Jacobian matrix. Our results will lead to improved understanding of how multiple perturbations to a complex system may irrecoverably break stability.


title: GEFCOM 2014 - Probabilistic Electricity Price Forecasting

abstract: Energy price forecasting is a relevant yet hard task in the field of multi-step time series forecasting. In this paper we compare a well-known and established method, ARMA with exogenous variables with a relatively new technique Gradient Boosting Regression. The method was tested on data from Global Energy Forecasting Competition 2014 with a year long rolling window forecast. The results from the experiment reveal that a multi-model approach is significantly better performing in terms of error metrics. Gradient Boosting can deal with seasonality and auto-correlation out-of-the box and achieve lower rate of normalized mean absolute error on real-world data.


title: Energy estimates for the supersymmetric nonlinear sigma model and applications

abstract: We derive gradient and energy estimates for critical points of the full supersymmetric sigma model and discuss several applications.


title: Cannon-Thurston maps for hyperbolic free group extensions

abstract: This paper gives a detailed analysis of the Cannon--Thurston maps associated to a general class of hyperbolic free group extensions. Let $F_N$ denote a free groups of finite rank $N\ge 3$ and consider a \emph{convex cocompact} subgroup $\Gamma\le Out(F_N)$, i.e. one for which the orbit map from $\Gamma$ into the free factor complex of $F_N$ is a quasi-isometric embedding. The subgroup $\Gamma$ determines an extension $E_\Gamma$ of $F_N$, and the main theorem of Dowdall--Taylor \cite{DT1} states that in this situation $E_\Gamma$ is hyperbolic if and only if $\Gamma$ is purely atoroidal. Here, we give an explicit geometric description of the Cannon--Thurston maps $\partial F_N\to\partial E_\Gamma$ for these hyperbolic free group extensions, the existence of which follows from a general result of Mitra. In particular, we obtain a uniform bound on the multiplicity of the Cannon--Thurston map, showing that this map has multiplicity at most $2N$. This theorem generalizes the main result of Kapovich and Lustig \cite{KapLusCT} which treats the special case where $\Gamma$ is infinite cyclic. We also answer a question of Mahan Mitra by producing an explicit example of a hyperbolic free group extension for which the natural map from the boundary of $\Gamma$ to the space of laminations of the free group (with the Chabauty topology) is not continuous.


title: Bayesian optimisation for fast approximate inference in state-space models with intractable likelihoods

abstract: We consider the problem of approximate Bayesian parameter inference in non-linear state-space models with intractable likelihoods. Sequential Monte Carlo with approximate Bayesian computations (SMC-ABC) is one approach to approximate the likelihood in this type of models. However, such approximations can be noisy and computationally costly which hinders efficient implementations using standard methods based on optimisation and Monte Carlo methods. We propose a computationally efficient novel method based on the combination of Gaussian process optimisation and SMC-ABC to create a Laplace approximation of the intractable posterior. We exemplify the proposed algorithm for inference in stochastic volatility models with both synthetic and real-world data as well as for estimating the Value-at-Risk for two portfolios using a copula model. We document speed-ups of between one and two orders of magnitude compared to state-of-the-art algorithms for posterior inference.


title: Analysing multiparticle quantum states

abstract: The analysis of multiparticle quantum states is a central problem in quantum information processing. This task poses several challenges for experimenters and theoreticians. We give an overview over current problems and possible solutions concerning systematic errors of quantum devices, the reconstruction of quantum states, and the analysis of correlations and complexity in multiparticle density matrices.


title: Majoranas in Noisy Kitaev Wires

abstract: Robustness of edge states and non-Abelian excitations of topological states of matter promises quantum memory and quantum processing, which is naturally immune against microscopic imperfections such as static disorder. However, topological properties will not in general protect quantum system from time-dependent disorder or noise. Here we take the example of a network of Kitaev wires with Majorana edge modes storing qubits to investigate the effects of classical noise in the crossover from the quasi-static to the fast fluctuation regime. We present detailed results for the Majorana edge correlations, and fidelity of braiding operations for both global and local noise sources preserving parity symmetry, such as random chemical potentials and phase fluctuations. While in general noise will induce heating and dephasing, we identify examples of long-lived quantum correlations in presence of fast noise due to motional narrowing, where external noise drives the system rapidly between the topological and non-topological phases.


title: Topological characterization of antireflective and hydrophobic rough surfaces: are random process theory and fractal modeling applicable?

abstract: The random process theory (RPT) has been widely applied to predict the joint probability distribution functions (PDFs) of asperity heights and curvatures of rough surfaces. A check of the predictions of RPT against the actual statistics of numerically generated random fractal surfaces and of real rough surfaces has been only partially undertaken. The present experimental and numerical study provides a deep critical comparison on this matter, providing some insight into the capabilities and limitations in applying RPT and fractal modeling to antireflective and hydrophobic rough surfaces, two important types of textured surfaces. A multi-resolution experimental campaign by using a confocal profilometer with different lenses is carried out and a comprehensive software for the statistical description of rough surfaces is developed. It is found that the topology of the analyzed textured surfaces cannot be fully described according to RPT and fractal modeling. The following complexities emerge: (i) the presence of cut-offs or bi-fractality in the power-law power-spectral density (PSD) functions; (ii) a more pronounced shift of the PSD by changing resolution as compared to what expected from fractal modeling; (iii) inaccuracy of the RPT in describing the joint PDFs of asperity heights and curvatures of textured surfaces; (iv) lack of resolution-invariance of joint PDFs of textured surfaces in case of special surface treatments, not accounted by fractal modeling.


title: Intrinsic Storage Valuation by Variational Analysis

abstract: The mathematical problem concerning intrinsic storage optimisation is formulated and solved by means of variational analysis. The solution, though obtained in implicit form, still sheds light on many important features of the optimal exercise strategy. It is shown how the solution depends on different constraint types including carry cost and cycle constraint. Additionally, the relationship between intrinsic and stochastic solutions is investigated. In particular, we show that the optimal stochastic exercise decision is always close to the intrinsic one.


title: Strategic Classification

abstract: Machine learning relies on the assumption that unseen test instances of a classification problem follow the same distribution as observed training data. However, this principle can break down when machine learning is used to make important decisions about the welfare (employment, education, health) of strategic individuals. Knowing information about the classifier, such individuals may manipulate their attributes in order to obtain a better classification outcome. As a result of this behavior---often referred to as gaming---the performance of the classifier may deteriorate sharply. Indeed, gaming is a well-known obstacle for using machine learning methods in practice; in financial policy-making, the problem is widely known as Goodhart's law. In this paper, we formalize the problem, and pursue algorithms for learning classifiers that are robust to gaming. We model classification as a sequential game between a player named "Jury" and a player named "Contestant." Jury designs a classifier, and Contestant receives an input to the classifier, which he may change at some cost. Jury's goal is to achieve high classification accuracy with respect to Contestant's original input and some underlying target classification function. Contestant's goal is to achieve a favorable classification outcome while taking into account the cost of achieving it. For a natural class of cost functions, we obtain computationally efficient learning algorithms which are near-optimal. Surprisingly, our algorithms are efficient even on concept classes that are computationally hard to learn. For general cost functions, designing an approximately optimal strategy-proof classifier, for inverse-polynomial approximation, is NP-hard.


title: R-CNN minus R

abstract: Deep convolutional neural networks (CNNs) have had a major impact in most areas of image understanding, including object category detection. In object detection, methods such as R-CNN have obtained excellent results by integrating CNNs with region proposal generation algorithms such as selective search. In this paper, we investigate the role of proposal generation in CNN-based detectors in order to determine whether it is a necessary modelling component, carrying essential geometric information not contained in the CNN, or whether it is merely a way of accelerating detection. We do so by designing and evaluating a detector that uses a trivial region generation scheme, constant for each image. Combined with SPP, this results in an excellent and fast detector that does not require to process an image with algorithms other than the CNN itself. We also streamline and simplify the training of CNN-based detectors by integrating several learning steps in a single algorithm, as well as by proposing a number of improvements that accelerate detection.


title: Thermo field dynamics approach for entropy of spacetime

abstract: A thermo field dynamics approach for calculating the entropy of a spacetime is suggested. It is exemplified through the Rindler spacetime, the Milne spacetime, the Boulware spacetime, and the Minkowski spacetime with a moving mirror that the entropy of a spacetime is equal to the entropy of a thermo quantum field with the same temperature of the spacetime we study. This in fact suggests an thermo field dynamics approach of calculating the entropy of a spacetime. In this approach, the entropy of a spacetime is an expectation value of the entropy operator on a thermo vacuum state. The thermo vacuum state is the vacuum state on the maximal manifold which is the maximal analytic extension of the spacetime we study.


title: Linear Algorithms for Computing the Lyndon Border Array and the Lyndon Suffix Array

abstract: We consider the problem of finding repetitive structures and inherent patterns in a given string $\s{s}$ of length $n$ over a finite totally ordered alphabet. A border $\s{u}$ of a string $\s{s}$ is both a prefix and a suffix of $\s{s}$ such that $\s{u} \not= \s{s}$. The computation of the border array of a string $\s{s}$, namely the borders of each prefix of $\s{s}$, is strongly related to the string matching problem: given a string $\s{w}$, find all of its occurrences in $\s{s}$. A {\itshape Lyndon word} is a primitive word (i.e., it is not a power of another word) which is minimal for the lexicographical order of its conjugacy class (i.e., the set of words obtained by cyclic rotations of the letters). In this paper we combine these concepts to introduce the \emph{Lyndon Border Array} $\mathcal L \beta$ of $\s{s}$, whose $i$-th entry $\mathcal L \beta(\s{s})[i]$ is the length of the longest border of $\s{s}[1 \dd i]$ which is also a Lyndon word. We propose linear-time and linear-space algorithms for computing $\mathcal L \beta (\s{s})$. %in the case of both binary and bounded alphabets. Further, we introduce the \emph{Lyndon Suffix Array}, and by modifying the efficient suffix array technique of Ko and Aluru \cite{KA03} outline a linear time and space algorithm for its construction.


title: Matrix Analysis of Tracer Transport

abstract: We review matrix methods as applied to tracer transport. Because tracer transport is linear, matrix methods are an ideal fit for the problem. A gridded, Eulerian tracer simulation can be approximated as a system of linear ordinary differential equations (ODEs). The first-order stretching and deformation of Lagrangian space can also be calculated using a system of linear ODEs. Solutions to these equations are reviewed as well as special properties. Using matrices to model Eulerian tracer transport can also help understand and improve the stability of numerical solutions. Detailed derivations are included.


title: On the Method of Brackets: Rules, Examples, Interpretations and Modifications

abstract: The method of brackets, consisting of a small number of heuristic rules, was created by Ivan Gonzalez for the evaluation of definite integrals appearing in the resolution of Feynman diagrams. The current work verifies each step of this method, proves the independence on different representations of the integrand, and also modifies the rule by further considering analytic continuation.


title: QCD nature of dark energy at finite temperature: cosmological implications

abstract: The Veneziano ghost field has been proposed as an alternative source of dark energy whose energy density is consistent with the cosmological observations. In this model, the energy density of QCD ghost field is expressed in terms of QCD degrees of freedom at zero temperature. We extend this model to finite temperature to search the model predictions from late time to early universe. We depict the variations of QCD parameters entering the calculations, dark energy density, equation of state, Hubble and deceleration parameters on temperature from zero to a critical temperature. We compare our results with the observations and theoretical predictions existing at different eras. It is found that this model safely defines the universe from quark condensation up to now and its predictions are not in tension with those of the standard cosmology. The EoS parameter of dark energy is dynamical and evolves from $-1/3$ in the presence of radiation to $-1$ at late time. The finite temperature ghost dark energy predictions on the Hubble parameter well fit to those of $\Lambda$CDM and observations at late time.


title: Towards Enhanced Usability of IT Security Mechanisms - How to Design Usable IT Security Mechanisms Using the Example of Email Encryption

abstract: Nowadays, advanced security mechanisms exist to protect data, systems, and networks. Most of these mechanisms are effective, and security experts can handle them to achieve a sufficient level of security for any given system. However, most of these systems have not been designed with focus on good usability for the average end user. Today, the average end user often struggles with understanding and using security mecha-nisms. Other security mechanisms are simply annoying for end users. As the overall security of any system is only as strong as the weakest link in this system, bad usability of IT security mechanisms may result in operating errors, resulting in inse-cure systems. Buying decisions of end users may be affected by the usability of security mechanisms. Hence, software provid-ers may decide to better have no security mechanism then one with a bad usability. Usability of IT security mechanisms is one of the most underestimated properties of applications and sys-tems. Even IT security itself is often only an afterthought. Hence, usability of security mechanisms is often the after-thought of an afterthought. This paper presents some guide-lines that should help software developers to improve end user usability of security-related mechanisms, and analyzes com-mon applications based on these guidelines. Based on these guidelines, the usability of email encryption is analyzed and an email encryption solution with increased usability is presented. The approach is based on an automated key and trust man-agement. The compliance of the proposed email encryption solution with the presented guidelines for usable security mechanisms is evaluated.


title: From Entropy to Information: Biased Typewriters and the Origin of Life

abstract: The origin of life can be understood mathematically to be the origin of information that can replicate. The likelihood that entropy spontaneously becomes information can be calculated from first principles, and depends exponentially on the amount of information that is necessary for replication. We do not know what the minimum amount of information for self-replication is because it must depend on the local chemistry, but we can study how this likelihood behaves in different known chemistries, and we can study ways in which this likelihood can be enhanced. Here we present evidence from numerical simulations (using the digital life chemistry "Avida") that using a biased probability distribution for the creation of monomers (the "biased typewriter") can exponentially increase the likelihood of spontaneous emergence of information from entropy. We show that this likelihood may depend on the length of the sequence that the information is embedded in, but in a non-trivial manner: there may be an optimum sequence length that maximizes the likelihood. We conclude that the likelihood of spontaneous emergence of self-replication is much more malleable than previously thought, and that the biased probability distributions of monomers that are the norm in biochemistry may significantly enhance these likelihoods


title: Breakdown of long-wavelength magnons in cubic antiferromagnets with dipolar forces at small temperature

abstract: Using $1/S$ expansion, we discuss the magnon spectrum of Heisenberg antiferromagnet (AF) on a simple cubic lattice with small dipolar interaction at small temperature $T\ll T_N$, where $T_N$ is the Neel temperature. Similar to 3D and 2D ferromagnets, quantum and thermal fluctuations renormalize greatly the bare gapless spectrum leading to a gap $\Delta\sim \omega_0$, where $\omega_0$ is the characteristic dipolar energy. This gap is accompanied by anisotropic corrections to the free energy which make the cube edges easy directions for the staggered magnetization (dipolar anisotropy). In accordance with previous results, we find that dipolar forces split the magnon spectrum into two branches. This splitting makes possible two types of processes which lead to a considerable enhance of the damping compared to the Heisenberg AF: a magnon decay into two other magnons and a confluence of two magnons. It is found that magnons are well defined quasiparticles in quantum AF. We demonstrate however that a small fraction of long-wavelength magnons can be overdamped in AFs with $S\gg1$ and in quantum AFs with a single-ion anisotropy competing with the dipolar anisotropy. Particular materials are pointed out which can be suitable for experimental observation of this long-wavelength magnons breakdown that contradicts expectation of the quasiparticle concept.


title: Fighting Spam by Breaking the Econonmy of Advertisment by Unsolicited Emails

abstract: Unsolicited email (spam) is still a problem for users of the email service. Even though current email anti-spam solutions filter most spam emails, some spam emails still are delivered to the inbox of users. A special class of spam emails advertises websites, e.g., online dating sites or online pharmacies. The success rate of this kind of advertisement is rather low, however, as sending an email does only involve minimal costs, even a very low success rate results in enough revenue such that this kind of advertisement pays off. The anti-spam approach presented in this paper aims on increasing the costs for websites that are advertised by spam emails and on lowering the revenues from spam. Costs can be increased for a website by increasing traffic. Revenues can be decreased by making the website slow responding, hence some business gets lost. To increase costs and decreased revenues a decentralized peer-to-peer coordination mechanism is used to have mail clients to agree on a start date and time for an anti-spam campaign. During a campaign, all clients that received spam emails advertings a website send an opt-out request to this website. A huge number of opt-out requests results in increased traffic to this website and will likely result in a slower responsibility of the website. The coordination mechanism presented in this paper is based on a peer-to-peer mechanisms and a so-called paranoid trust model to avoid manipulation by spammers. An implementation for the Thunderbird email client exist. The anti-spam approach presented in this paper breaks the economy of spam, hence makes advertisement by unsolicited emails unattractive.


title: The concept of nuclear cluster forbiddenness

abstract: In nuclear cluster systems, a rigorous structural forbiddenness of virtual nuclear division into unexcited fragments is obtained. We re-analyze the concept of forbiddenness, introduced in Ref. 1 for the understanding of structural effects in nuclear cluster physics. We show that the concept is more involved than the one presented previously, where some errors were committed. Due to its importance, it is reanalyzed here. In the present contribution a simple way for the determination of forbiddenness is given, which may easily be extended to any number of clusters, though in this contribution we discuss only two-cluster systems, for illustrative reasons. A simple rule is obtained for the minimization of the forbiddenness, namely to start from a cluster system with a large SU(3) irrep (lambda,mu), but minimizing (lambda-mu), i.e. the system has to be oblate. The rule can be easily implemented in structural studies, done up to now with an oversimplified definition of forbiddenness. The new method is applied to various systems of light clusters and to some decay channels of 236U and 252Cf.


title: Gapless quantum spin liquid ground state in the two-dimensional spin-1/2 triangular antiferromagnet YbMgGaO$_4$

abstract: Quantum spin liquid (QSL) is a novel state of matter which refuses the conventional spin freezing even at 0 K. Experimentally searching for the structurally perfect candidates is a big challenge in condensed matter physics. Here we report the successful synthesis of a new spin-1/2 triangular antiferromagnet YbMgGaO$_4$ with R$\bar{3}$m symmetry. The compound with an ideal two-dimensional and spatial isotropic magnetic triangular-lattice has no site-mixing magnetic defects and no antisymmetric Dzyaloshinsky-Moriya (DM) interactions. No spin freezing down to 60 mK (despite $\Theta$$_w$ $\sim$ -4 K), the low-T power-law temperature dependence of heat capacity and nonzero susceptibility suggest that YbMgGaO$_4$ is a promising gapless ($\leq$ $|$$\Theta$$_w$$|$/100) QSL candidate. The residual spin entropy, which is accurately determined with a non-magnetic reference LuMgGaO$_4$, approaches zero ($<$ 0.6 \%). This indicates that the possible QSL ground state (GS) of the frustrated spin system has been experimentally achieved at the lowest measurement temperatures.


title: Spectroscopic Observations and Modelling of Impulsive Alfv\'en Waves Along a Polar Coronal Jet

abstract: Using the Hinode/EIS 2$"$ spectroscopic observations, we study the intensity, velocity, and FWHM variations of the strongest Fe XII 195.12 \AA\ line along the jet to find the signature of Alfv\'en waves. We simulate numerically the impulsively generated Alfv\'en waves within the vertical Harris current-sheet, forming the jet plasma flows, and mimicking their observational signatures. Using the FLASH code and the atmospheric model with embedded weakly expanding magnetic field configuration within a vertical Harris current-sheet, we solve the two and half-dimensional (2.5-D) ideal magnetohydrodynamic (MHD) equations to study the evolution of Alfv\'en waves and vertical flows forming the plasma jet. At a height of $\sim 5~\mathrm{Mm}$ from the base of the jet, the red-shifted velocity component of Fe XII 195.12 \AA\ line attains its maximum ($5~\mathrm{km\,s}^{-1}$) which converts into a blue-shifted one between the altitude of $5-10~\mathrm{Mm}$. The spectral intensity continously increases up to $10~\mathrm{Mm}$, while FWHM still exhibits the low values with almost constant trend. This indicates that the reconnection point within the jet's magnetic field topology lies in the corona $5-10~\mathrm{Mm}$ from its footpoint anchored in the Sun's surface. Beyond this height, FWHM shows a growing trend. This may be the signature of Alfv\'en waves that impulsively evolve due to reconnection and propagate along the jet. From our numerical data, we evaluate space- and time- averaged Alfv\'en waves velocity amplitudes at different heights in the jet's current-sheet, which contribute to the non-thermal motions and spectral line broadening. The synthetic width of Fe XII $195.12~\mathrm{\AA}$ line exhibits similar trend of increment as in the observational data, possibly proving the existence of impulsively generated (by reconnection) Alfv\'en waves which propagate along the jet.


title: Entire solutions of fully nonlinear elliptic equations with a superlinear gradient term

abstract: In this paper we consider second order fully nonlinear operators with an additive superlinear gradient term. Like in the pioneering paper of Brezis for the semilinear case, we obtain the existence of entire viscosity solutions, defined in all the space, without assuming global bounds. A uniqueness result is also obtained for special gradient terms, subject to a convexity/concavity type assumption where superlinearity is essential and has to be handled in a different way from the linear case.


title: An exact nilpotent non-perturbative BRST symmetry for the Gribov-Zwanziger action in the linear covariant gauge

abstract: We point out the existence of a non-perturbative exact nilpotent BRST symmetry for the Gribov-Zwanziger action in the Landau gauge. We then put forward a manifestly BRST invariant resolution of the Gribov gauge fixing ambiguity in the linear covariant gauge.


title: Secure Communication Using Electronic Identity Cards for Voice over IP Communication, Home Energy Management, and eMobility

abstract: Using communication services is a common part of everyday life in a personal or business context. Communication services include Internet services like voice services, chat service, and web 2.0 technologies (wikis, blogs, etc), but other usage areas like home energy management and eMobility are will be increasingly tackled. Such communication services typically authenticate participants. For this identities of some kind are used to identify the communication peer to the user of a service or to the service itself. Calling line identification used in the Session Initiation Protocol (SIP) used for Voice over IP (VoIP) is just one example. Authentication and identification of eCar users for accounting during charging of the eCar is another example. Also, further mechanisms rely on identities, e.g., whitelists defining allowed communication peers. Trusted identities prevent identity spoofing, hence are a basic building block for the protection of communication. However, providing trusted identities in a practical way is still a difficult problem and too often application specific identities are used, making identity handling a hassle. Nowadays, many countries introduced electronic identity cards, e.g., the German "Elektronischer Personalausweis" (ePA). As many German citizens will possess an ePA soon, it can be used as security token to provide trusted identities. Especially new usage areas (like eMobility) should from the start be based on the ubiquitous availability of trusted identities. This paper describes how identity cards can be integrated within three domains: home energy management, vehicle-2-grid communication, and SIP-based voice over IP telephony. In all three domains, identity cards are used to reliably identify users and authenticate participants. As an example for an electronic identity card, this paper focuses on the German ePA.


title: Nonparametric and arbitrage-free construction of call surfaces using l1-recovery

abstract: This paper is devoted to the application of an $l_1$ -minimisation technique to construct an arbitrage-free call-option surface. We propose a nononparametric approach to obtaining model-free call option surfaces that are perfectly consistent with market quotes and free of static arbitrage. The approach is inspired from the compressed-sensing framework that is used in signal processing to deal with under-sampled signals. We address the problem of fitting the call-option surface to sparse option data. To illustrate the methodology, we proceed to the construction of the whole call-price surface of the S\&P500 options, taking into account the arbitrage possibilities in the time direction. The resulting object is a surface free of both butterfly and calendar-spread arbitrage that matches the original market points. We then move on to an FX application, namely the HKD/USD call-option surface.


title: Exact simulation of the Wright-Fisher diffusion

abstract: The Wright-Fisher family of diffusion processes is a widely used class of evolutionary models. However, simulation is difficult because there is no known closed-form formula for its transition function. In this article we demonstrate that it is in fact possible to simulate exactly from a broad class of Wright-Fisher diffusion processes and their bridges. For those diffusions corresponding to reversible, neutral evolution, our key idea is to exploit an eigenfunction expansion of the transition function; this approach even applies to its infinite-dimensional analogue, the Fleming-Viot process. We then develop an exact rejection algorithm for processes with more general drift functions, including those modelling natural selection, using ideas from retrospective simulation. Our approach also yields methods for exact simulation of the moment dual of the Wright-Fisher diffusion, the ancestral process of an infinite-leaf Kingman coalescent tree. We believe our new perspective on diffusion simulation holds promise for other models admitting a transition eigenfunction expansion.


title: A new 5-fold flop and derived equivalence

abstract: We describe a new example of a flop in 5-dimensions, due to Roland Abuaf, with the nice feature that the contracting loci on either side are not isomorphic. We prove that the two sides are derived equivalent.


title: Improving search order for reachability testing in timed automata

abstract: Standard algorithms for reachability analysis of timed automata are sensitive to the order in which the transitions of the automata are taken. To tackle this problem, we propose a ranking system and a waiting strategy. This paper discusses the reason why the search order matters and shows how a ranking system and a waiting strategy can be integrated into the standard reachability algorithm to alleviate and prevent the problem respectively. Experiments show that the combination of the two approaches gives optimal search order on standard benchmarks except for one example. This suggests that it should be used instead of the standard BFS algorithm for reachability analysis of timed automata.


title: Quantum Disentanglement Eraser: an optical implementation using three-photon spontaneous decay

abstract: The 'disentanglement eraser' or 'entanglement restorer' scheme allows retrieving entanglement by erasing the information about the formation of a classical (or separable) state. It suggests an analogy between the pairs of properties: entangled-separable and wave-particle, the latter as described in the 'quantum eraser'. The scheme illustrates the physical importance of information in quantum systems, and it is also useful as a building block for quantum computation. An optical setup for its simple implementation using three-photon decay in a centro-symmetrical crystal is proposed.


title: Parallel repetition and concentration for (sub-)no-signalling games via a flexible constrained de Finetti reduction

abstract: We use a recently discovered constrained de Finetti reduction (aka "Post-Selection Lemma") to study the parallel repetition of multi-player non-local games under no-signalling strategies. Since the technique allows us to reduce general strategies to independent plays, we obtain parallel repetition (corresponding to winning all rounds) in the same way as exponential concentration of the probability to win a fraction larger than the value of the game. Our proof technique leads us naturally to a relaxation of no-signalling (NS) strategies, which we dub sub-no-signalling (SNOS). While for two players the two concepts coincide, they differ for three or more players. Our results are most complete and satisfying for arbitrary number of sub-no-signalling players, where we get universal parallel repetition and concentration for any game, while the no-signalling case is obtained as a corollary, but only for games with "full support".


title: Graphs of Schemes Associated to Group Actions

abstract: Let $X$ be a proper algebraic scheme over an algebraically closed field. We assume that a torus $T$ acts on $X$ such that the action has isolated fixed points. The $T$-graph of $X$ can be defined using the fixed points and the one dimensional orbits of the $T$-action. If the upper Borel subgroup of the general linear group with maximal torus $T$ acts on $X$, then we can define a second graph associated to $X$, called the $A$-graph of $X$. We prove that the $A$-graph of $X$ is connected if and only if $X$ is connected. We use this result to give a proof of Hartshorne's theorem on the connectedness of Hilbert scheme in the case of $d$ points in $\mathbb{P}^{n}$.


title: Local density of Caputo-stationary functions in the space of smooth functions

abstract: We consider the Caputo fractional derivative and say that a function is Caputo-stationary if its Caputo derivative is zero. We then prove that any $C^k\big([0,1]\big)$ function can be approximated in $[0,1]$ by a a function that is Caputo-stationary in $[0,1]$, with initial point $a<0$. Otherwise said, Caputo-stationary functions are dense in $C^k_{loc}(\mathbb{R})$.


title: $L^p$-Asymptotics of Fourier transform of fractal measures

abstract: One of the basic questions in harmonic analysis is to study the decay properties of the Fourier transform of measures or distributions supported on thin sets in $\mathbb{R}^n$. When the support is a smooth enough manifold, an almost complete picture is available. One of the early results in this direction is the following: Let $f\in C_c^{\infty}(\mathbb{R}^n)$ and $d\sigma$ be the surface measure on the sphere $S^{n-1}\subset\mathbb{R}^n$. Then $$|\widehat{fd\sigma}(\xi)|\leq\ C\ (1+|\xi|)^{-\frac{n-1}{2}}.$$ It follows that $\widehat{fd\sigma}\in L^p(\mathbb{R}^n)$ for all $p>\frac{2n}{n-1}$. This result can be extended to compactly supported measure on $(n-1)$-dimensional manifolds with appropriate assumptions on the curvature. Similar results are known for measures supported in lower dimensional manifolds in $\mathbb{R}^n$ under appropriate curvature conditions. However, the picture for fractal measures is far from complete. This thesis is a contribution to the study of asymptotic properties of the Fourier transform of measures supported in sets of fractal dimension $0<\alpha<n$ for $p\leq 2n/\alpha$. In 2004, Agranovsky and Narayanan proved that if $\mu$ is a measure supported in a $C^1$-manifold of dimension $d<n$, then $\widehat{fd\mu}\notin L^p(\mathbb{R}^n)$ for $1\leq p\leq \frac{2n}{d}$. We prove that the Fourier transform of a measure $\mu_E$ supported in a set $E$ of fractal dimension $\alpha$ does not belong to $L^p(\mathbb{R}^n)$ for $p\leq 2n/\alpha$. We also study $L^p$-asymptotics of the Fourier transform of fractal measures $\mu_E$ under appropriate conditions on $E$ and give quantitative versions of the above statement by obtaining lower and upper bounds for the following: $$\underset{L\rightarrow\infty}{\limsup} \frac{1}{L^k} \int_{|\xi|\leq L}|\widehat{fd\mu_E}(\xi)|^pd\xi.$$


title: Using X-ray catalogues to find counterparts to unassociated high-energy Fermi/LAT sources

abstract: The first Fermi Large Area Telescope (LAT) catalogue of sources (1FHL) emitting at high energies (above 10 GeV) reports the details of 514 objects detected in the first three years of the Fermi mission. Of these, 71 were reported as unidentified in the 1FHL catalogue, although six are likely to be associated with a supernova remnant (SNR), a Pulsar Wind Nebula (PWN) or a combination of both, thereby leaving a list of 65 still unassociated objects. Herein, we report a preliminary analysis on this sample of objects concentrating on nine 1FHL sources, which were found to have a clear optical extragalactic classification. They are all blazar, eight BL Lac and one flat spectrum radio quasar, typically at redshift greater than 0.1.


title: Integrating out lattice gauge fields

abstract: The sign problem is a major obstacle to our understanding of the phase diagram of QCD at finite baryon density. Several numerical methods have been proposed to tackle this problem, but a full solution to the sign problem is still elusive. Motivated by this problem and by recent advances in diagrammatic Monte Carlo methods, we find a new exact representation of the partition function of pure lattice gauge theory that contains no link variables. This approach can be easily extended to include staggered fermions, and results in a diagrammatic representation of fermionic states as arrangements of monomers, dimers, and fermionic loops saturating the spacetime lattice. Our representations are exact for any value of the lattice coupling, and extend previous representations that are only valid in the strong coupling limit and at $O(\beta)$. As a concrete example, we construct a monomer-dimer-loop representation of compact lattice QED.


title: Parabolic projective functors in type A

abstract: We classify projective functors on the regular block of Rocha-Caridi's parabolic version of the BGG category $\mathcal{O}$ in type $A$. In fact, we show that, in type $A$, the restriction of an indecomposable projective functor from $\mathcal{O}$ to the parabolic category is either indecomposable or zero. As a consequence, we obtain that projective functors on the parabolic category $\mathcal{O}$ in type $A$ are completely determined, up to isomorphism, by the linear transformations they induce on the level of the Grothendieck group, which was conjectured by Stroppel in \cite{St}.


title: On structure of uniformly distributed sequences in $[-\frac{1}{2},\frac{1}{2}]$ from the point of view of shyness

abstract: In the paper [G.Pantsulaia, On Uniformly Distributed Sequences on [-1/2,1/2], Georg. Inter. J. Sci. Tech.,4(3) (2013), 21--27], it was shown that $\mu$-almost every element of $\mathbf{R}^{\infty}$ is uniformly distributed in $[-\frac{1}{2}, \frac{1}{2}]$, where $\mu$ denotes Yamasaki-Kharazishvili measure in $\mathbf{R}^{\infty}$ for which $\mu([-\frac{1}{2},\frac{1}{2}]^{\infty})=1$. In the present paper the same set is studying from the point of view of shyness and it is demonstrated that it is shy in $\mathbf{R}^{\infty}$. In Solovay model, the set of all real valued sequences uniformly distributed module 1 in $[-\frac{1}{2}, \frac{1}{2}]$ is studied from the point of view of shyness and it is shown that it is the prevalent set in $\mathbf{R}^{\infty}$.


title: Approximation by Complex Baskakov-Szasz-Durrmeyer Operators in Compact Disks

abstract: In this paper, we deal with the complex Baskakov-Szasz-Durrmeyer mixed operators and study Voronovskaja type results with quantitative estimates for these operators attached to analytic functions of exponential growth in the open disk of radius R. Also, the exact order of approximation is found. The method used allows to construct complex Szasz-type and Baskakov-type approximation operators without involving the values on the positive real axis.


title: Dust models post-Planck: constraining the far-infrared opacity of dust in the diffuse interstellar medium

abstract: We compare the performance of several dust models in reproducing the dust spectral energy distribution (SED) per unit extinction in the diffuse interstellar medium (ISM). We use our results to constrain the variability of the optical properties of big grains in the diffuse ISM, as published by the Planck collaboration. We use two different techniques to compare the predictions of dust models to data from the Planck HFI, IRAS and SDSS surveys. First, we fit the far-infrared emission spectrum to recover the dust extinction and the intensity of the interstellar radiation field (ISRF). Second, we infer the ISRF intensity from the total power emitted by dust per unit extinction, and then predict the emission spectrum. In both cases, we test the ability of the models to reproduce dust emission and extinction at the same time. We identify two issues. Not all models can reproduce the average dust emission per unit extinction: there are differences of up to a factor $\sim2$ between models, and the best accord between model and observation is obtained with the more emissive grains derived from recent laboratory data on silicates and amorphous carbons. All models fail to reproduce the variations in the emission per unit extinction if the only variable parameter is the ISRF intensity: this confirms that the optical properties of dust are indeed variable in the diffuse ISM. Diffuse ISM observations are consistent with a scenario where both ISRF intensity and dust optical properties vary. The ratio of the far-infrared opacity to the $V$ band extinction cross-section presents variations of the order of $\sim20\%$ ($40-50\%$ in extreme cases), while ISRF intensity varies by $\sim30\%$ ($\sim60\%$ in extreme cases). This must be accounted for in future modelling.


title: Complete Monotonicity of Special Functions

abstract: In this work we prove that if an entire function $f(z)$ is of order strictly less than one and it has only negative zeros, then for each nonnegative integer $k,m$ the real function $\left(-\frac{1}{x}\right)^{m}\frac{d^{k}}{dx^{k}}\left(x^{k+m}\frac{d^{m}}{dx^{m}}\left(\frac{f'(x)}{f(x)}\right)\right)$ is completely monotonic on $(0,\infty)$. Applications to Askey-Wilson polynomials, Bessel functions, Ramanujan's entire function, Riemann-xi function and character Riemann-xi functions are also provided.


title: A note on mean-value properties of harmonic functions on the hypercube

abstract: For functions defined on the $n$-dimensional hypercube $I_n (r) = \{{\bm{x}} \in \mathbb{R}^n ~\vert~ \vert x_i \vert \le r,~ i = 1, 2, \ldots , n\}$ and harmonic therein, we establish certain analogues of Gauss surface and volume mean-value formulas for harmonic functions on the ball in $\mathbb{R}^n$ and their extensions for polyharmonic functions. In particular, our results contribute to the best one-sided $L^1$-approximation by harmonic functions on $I_n (r)$.


title: From Crystals to Disordered Crystals: A Hidden Order-Disorder Transition

abstract: We find an order-disorder transition from crystals to disordered crystals for static packings of frictionless spheres. While the geometric indicators are mostly blind to the transition, disordered crystals already exhibit properties apart from crystals. The transition approaches the close packing of hard spheres, giving rise to the singularity of the close packing point. We evidence that both the transition and properties of disordered crystals are jointly determined by the structural orders and density. Near the transition, the elastic moduli and coordination number of disordered crystals show particular pressure dependence distinct from both crystals and jammed solids.


title: X-ray photometry

abstract: I describe a method for synthesizing photometric passbands for use with current and future X-ray instruments. The method permits the standardisation of X-ray passbands and thus X-ray photometry between different instruments and missions. The method is illustrated by synthesizing a passband in the XMM-Newton EPIC pn which is similar to the ROSAT PSPC 0.5-2 keV band.


title: Local Quantum Gravity

abstract: We investigate the ultraviolet behaviour of quantum gravity within a functional renormalisation group approach. The present setup includes the full ghost and graviton propagators and, for the first time, the dynamical graviton three-point function. The latter gives access to the coupling of dynamical gravitons and makes the system minimally self-consistent. The resulting phase diagram confirms the asymptotic safety scenario in quantum gravity with a non-trivial UV fixed point. A well-defined Wilsonian block spinning requires locality of the flow in momentum space. This property is discussed in the context of functional renormalisation group flows. We show that momentum locality of graviton correlation functions is non-trivially linked to diffeomorphism invariance, and is realised in the present setup.


title: Isoperimetric inequality for the third eigenvalue of the Laplace-Beltrami operator on $\mathbb S^2$

abstract: We prove an Hersch's type isoperimetric inequality for the third positive eigenvalue on $\mathbb S^2$. Our method builds on the theory we developped to construct extremal metrics on Riemannian surfaces in conformal classes for any eigenvalue.


title: The Yamabe flow on incomplete manifolds

abstract: This article is concerned with developing an analytic theory for second order nonlinear parabolic equations on singular manifolds. Existence and uniqueness of solutions in an Lp-framework is established by maximal regularity tools. These techniques are applied to the Yamabe flow. It is proven that the Yamabe flow admits a unique local solution within a class of incomplete initial metrics.


title: The Ahlfors lemma and Picard's theorems

abstract: The article introduces Ahlfors' generalization of the Schwarz lemma. With this powerful geometric tool of complex functions in one variable, we are able to prove some theorems concerning the size of images under holomorphic mappings, including the celebrated Picard's theorems. The article concludes with a brief insight into the theory of Kobayashi hyperbolic complex manifolds.


title: De-Fragmenting the Cloud

abstract: Existing VM placement schemes have measured their effectiveness solely by looking either Physical Machine's resources(CPU, memory) or network resource. However, real applications use all resource types to varying degrees. The result of applying existing placement schemes to VMs running real applications is a fragmented data center where resources along one dimension become unusable even though they are available because of the unavailability of resources along other dimensions. An example of this fragmentation is unusable CPU because of a bottlenecked network link from the physical machine which has available CPU. To date, evaluations of the efficacy of VM placement schemes has not recognized this fragmentation and it's ill effects, let alone try to measure it and avoid it. In this paper, we first define the notion of what we term "relative resource fragmentation" and illustrate how it can be measured in a data center. The metric we put forth for capturing the degree of fragmentation is comprehensive and includes all key data center resource types. We then propose a scheme of minimizing this fragmentation so as to maximize the availability of existing set of data center resources. Results of empirical evaluations of our placement scheme compared to existing network based placement schemes show a reduction of fragmentation by as much as 15% and increase in number of successfully placed applications by upto 20%.


title: Models for the n-Swiss Cheese operads

abstract: We describe combinatorial Hopf (co-)operadic models for the Swiss Cheese operads built from Feynman diagrams. This extends previous work of Kontsevich and Lambrechts-Voli\'c for the little disks operads.


title: Kostka multiplicity one for multipartitions

abstract: If $[\lambda(j)]$ is a multipartition of the positive integer $n$ (a sequence of partitions with total size $n$), and $\mu$ is a partition of $n$, we study the number $K_{[\lambda(j)]\mu}$ of sequences of semistandard Young tableaux of shape $[\lambda(j)]$ and total weight $\mu$. We show that the numbers $K_{[\lambda(j)] \mu}$ occur naturally as the multiplicities in certain permutation representations of wreath products. The main result is a set of conditions on $[\lambda(j)]$ and $\mu$ which are equivalent to $K_{[\lambda(j)] \mu} = 1$, generalizing a theorem of Berenshte\u{\i}n and Zelevinski\u{\i}. We also show that the questions of whether $K_{[\lambda(j)] \mu} > 0$ or $K_{[\lambda(j)] \mu} = 1$ can be answered in polynomial time, expanding on a result of Narayanan. Finally, we give an application to multiplicities in the degenerate Gel'fand-Graev representations of the finite general linear group, and we show that the problem of determining whether a given irreducible representation of the finite general linear group appears with nonzero multiplicity in a given degenerate Gel'fand-Graev representation, with their partition parameters as input, is $NP$-complete.


title: A novel mathematical technique to assess of the mitral valve dynamics based on echocardiography

abstract: Purpose: The mechanics of the mitral valve leaflet as a nonlinear, inelastic and anisotropic soft tissue results from an integrated response of many mathematical/physical indexes' that illustrate the tissue. In the past decade, finite element modeling of complete heart valves has greatly aided evaluation of heart valve surgery, design of bioprosthetic valve replacements, and general understanding of healthy and abnormal cardiac function. Such a model must be based on an accurate description of the mechanical behavior of the valve material. It is essential to calculate velocity/displacement and strain rate/strain at a component level that is to work at the cellular level. In this study we developed the first three-dimensional displacement vectors field in the characterization of mitral valve leaflets in continuum equations of inelasticity framework based on echocardiography. Method: Much of our knowledge of abnormal mitral valve function is based on surgical and post-mortem studies while these studies are quantitative in some cases, they are limited by evaluation of valve anatomy in a fixed and nonfunctioning state. A more sophisticated analysis method is necessary to gain a full considerate of mitral valve function. Several groups attempted to model mitral valve anatomy and function by mathematical/physical equations. Result: Preliminary results concerning a different aspect of MVL biomechanics, such as leaflets dynamics, displacements/velocities and strain rates/strains of points on leaflets, were in good agreement with in echocardiographic observations.


title: Shelah's eventual categoricity conjecture in universal classes: part I

abstract: We prove: $\mathbf{Theorem}$ Let $K$ be a universal class. If $K$ is categorical in cardinals of arbitrarily high cofinality, then $K$ is categorical on a tail of cardinals. The proof stems from ideas of Adi Jarden and Will Boney, and also relies on a deep result of Shelah. As opposed to previous works, the argument is in ZFC and does not use the assumption of categoricity in a successor cardinal. The argument generalizes to abstract elementary classes (AECs) that satisfy a locality property and where certain prime models exist. Moreover assuming amalgamation we can give an explicit bound on the Hanf number and get rid of the cofinality restrictions: $\mathbf{Theorem}$ Let $K$ be an AEC with amalgamation. Assume that $K$ is fully $\operatorname{LS} (K)$-tame and short and has primes over sets of the form $M \cup \{a\}$. Write $H_2 := \beth_{\left(2^{\beth_{\left(2^{\operatorname{LS} (K)}\right)^+}}\right)^+}$. If $K$ is categorical in a $\lambda > H_2$, then $K$ is categorical in all $\lambda' \ge H_2$.


title: Regularization of ultraviolet divergence for a particle interacting with a scalar quantum field

abstract: When a nonrelativistic particle interacts with a scalar quantum field, the standard perturbation theory leads to a dependence of the energy of its ground state on an undefined parameter---"momentum cutoff"---due to the ultraviolet divergence. We show that the use of nonasymptotic states of the system results in a calculation scheme in which all observable quantities remain finite and continuously depend on the coupling constant without any additional parameters. It is furthermore demonstrated that the divergence of traditional perturbation series is caused by the energy being a function with a logarithmic singularity for small values of the coupling constant.


title: Evolution of circumbinary planets around eccentric binaries: The case of Kepler-34

abstract: The existence of planets orbiting a central binary star system immediately raises questions regarding their formation and dynamical evolution. Recent discoveries of circumbinary planets by the Kepler space telescope has shown that some of these planets reside close to the dynamical stability limit where it is very difficult to form planets in situ. For binary systems with nearly circular orbits, such as Kepler-38, the observed proximity of planetary orbits to the stability limit can be understood by an evolutionary process in which planets form farther out in the disk and migrate inward to their observed position. The Kepler-34 system has a high orbital eccentricity of 0.52. Here, we analyse evolutionary scenarios for the planet observed around this system using two-dimensional hydrodynamical simulations. The highly eccentric binary opens a wide inner hole in the disk which is also eccentric, and displays a slow prograde precession. As a result of the large, eccentric inner gap, an embedded planet settles in a final equilibrium position that lies beyond the observed location of Kepler-34 b, but has the correct eccentricity. In this configuration the planetary orbit is aligned with the disk in a state of apsidal corotation.To account for the closer orbit of Kepler-34 b to the central binary, we considered a two-planet scenario and examined the evolution of the system through joint inward migration and capture into mean-motion resonances. When the inner planet orbits inside the gap of the disk, planet-planet scattering ensues. While often one object is thrown into a large, highly eccentric orbit, at times the system is left with a planet close to the observed orbit, suggesting that Kepler 34 might have had two circumbinary planets where one might have been scattered out of the system or into an orbit where it did not transit the central binary during the operation of Kepler.


title: Refining and classifying finite-time Lyapunov exponent ridges

abstract: While more rigorous and sophisticated methods for identifying Lagrangian based coherent structures exist, the finite-time Lyapunov exponent (FTLE) field remains a straightforward and popular method for gaining some insight into transport by complex, time-dependent two-dimensional flows. In light of its enduring appeal, and in support of good practice, we begin by investigating the effects of discretization and noise on two numerical approaches for calculating the FTLE field. A practical method to extract and refine FTLE ridges in two-dimensional flows, which builds on previous methods, is then presented. Seeking to better ascertain the role of an FTLE ridge in flow transport, we adapt an existing classification scheme and provide a thorough treatment of the challenges of classifying the types of deformation represented by an FTLE ridge. As a practical demonstration, the methods are applied to an ocean surface velocity field data set generated by a numerical model.


title: Design of compensated ferrimagnetic Heusler alloys for giant tunable exchange bias

abstract: The discovery of materials with improved functionality can be accelerated by rational material design. Heusler compounds with tunable magnetic sublattices allow to implement this concept to achieve novel magnetic properties. Here, we have designed a family of Heusler alloys with a compensated ferrimagnetic state. In the vicinity of the compensation composition in Mn-Pt-Ga, a giant exchange bias (EB) of more than 3 T and a similarly large coercivity are established. The large exchange anisotropy originates from the exchange interaction between the compensated host and ferrimagnetic clusters that arise from intrinsic anti-site disorder. We demonstrate the applicability of our design concept on a second material, Mn-Fe-Ga, with a magnetic transition above room temperature, exemplifying the universality of the concept and the feasibility of room-temperature applications. Our study points to a new direction for novel magneto-electronic devices. At the same time it suggests a new route for realizing rare-earth free exchange-biased hard magnets, where the second quadrant magnetization can be stabilized by the exchange bias.


title: Alternating Direction Method of Multipliers for A Class of Nonconvex and Nonsmooth Problems with Applications to Background/Foreground Extraction

abstract: In this paper, we study a general optimization model, which covers a large class of existing models for many applications in imaging sciences. To solve the resulting possibly nonconvex, nonsmooth and non-Lipschitz optimization problem, we adapt the alternating direction method of multipliers (ADMM) with a general dual step-size to solve a reformulation that contains three blocks of variables, and analyze its convergence. We show that for any dual step-size less than the golden ratio, there exists a computable threshold such that if the penalty parameter is chosen above such a threshold and the sequence thus generated by our ADMM is bounded, then the cluster point of the sequence gives a stationary point of the nonconvex optimization problem. We achieve this via a potential function specifically constructed for our ADMM. Moreover, we establish the global convergence of the whole sequence if, in addition, this special potential function is a Kurdyka-{\L}ojasiewicz function. Furthermore, we present a simple strategy for initializing the algorithm to guarantee boundedness of the sequence. Finally, we perform numerical experiments comparing our ADMM with the proximal alternating linearized minimization (PALM) proposed in [5] on the background/foreground extraction problem with real data. The numerical results show that our ADMM with a nontrivial dual step-size is efficient.


title: Photon Berry phases, Instantons, Schrodinger Cats with oscillating parities and crossover from $ U(1) $ to $ Z_2 $ limit in cavity QED systems

abstract: In this work, we study the $ U(1)/Z_2 $ Dicke model at a finite $ N $ by using the $ 1/J $ expansion and exact diagonization. This model includes the four standard quantum optics model as its various special limits. The $ 1/J $ expansions is complementary to the strong coupling expansion used by the authors in arXiv:1512.08581 to study the same model in its dual $ Z_2/U(1) $ representation. We identify 3 regimes of the system's energy levels: the normal, $ U(1) $ and quantum tunneling (QT) regime. The system's energy levels are grouped into doublets which consist of scattering states and Schrodinger Cats with even ( e ) and odd ( o ) parities in the $ U(1) $ and quantum tunneling (QT) regime respectively. In the QT regime, by the WKB method, we find the emergencies of bound states one by one as the interaction strength increases, then investigate a new class of quantum tunneling processes through the instantons between the two bound states in the compact photon phase. It is the Berry phase interference effects in the instanton tunneling event which leads to Schrodinger Cats oscillating with even and odd parities in both ground and higher energy bound states. We map out the energy level evolution from the $ U(1) $ to the QT regime and also discuss some duality relations between the energy levels in the two regimes. We also compute the photon correlation functions, squeezing spectrum, number correlation functions in both regimes which can be measured by various experimental techniques. The combinations of the results achieved here by $ 1/J $ expansion and those in arXiv:1512.08581 by strong coupling method lead to rather complete understandings of the $ U(1)/Z_2 $ Dicke model at a finite $ N $ and any anisotropy parameter $ \beta $.

categories: physics.atom-ph cond-mat.quant-gas cond-mat.str-el physics.optics quant-ph


title: Weighted Automata and Logics for Infinite Nested Words

abstract: Nested words introduced by Alur and Madhusudan are used to capture structures with both linear and hierarchical order, e.g. XML documents, without losing valuable closure properties. Furthermore, Alur and Madhusudan introduced automata and equivalent logics for both finite and infinite nested words, thus extending B\"uchi's theorem to nested words. Recently, average and discounted computations of weights in quantitative systems found much interest. Here, we will introduce and investigate weighted automata models and weighted MSO logics for infinite nested words. As weight structures we consider valuation monoids which incorporate average and discounted computations of weights as well as the classical semirings. We show that under suitable assumptions, two resp. three fragments of our weighted logics can be transformed into each other. Moreover, we show that the logic fragments have the same expressive power as weighted nested word automata.


title: Coverage centralities for temporal networks

abstract: Structure of real networked systems, such as social relationship, can be modeled as temporal networks in which each edge appears only at the prescribed time. Understanding the structure of temporal networks requires quantifying the importance of a temporal vertex, which is a pair of vertex index and time. In this paper, we define two centrality measures of a temporal vertex based on the fastest temporal paths which use the temporal vertex. The definition is free from parameters and robust against the change in time scale on which we focus. In addition, we can efficiently compute these centrality values for all temporal vertices. Using the two centrality measures, we reveal that distributions of these centrality values of real-world temporal networks are heterogeneous. For various datasets, we also demonstrate that a majority of the highly central temporal vertices are located within a narrow time window around a particular time. In other words, there is a bottleneck time at which most information sent in the temporal network passes through a small number of temporal vertices, which suggests an important role of these temporal vertices in spreading phenomena.


title: Connecting spatial and frequency domains for the quaternion Fourier transform

abstract: The quaternion Fourier transform (qFT) is an important tool in multi-dimensional data analysis, in particular for the study of color images. An important problem when applying the qFT is the mismatch between the spatial and frequency domains: the convolution of two quaternion signals does not map to the pointwise product of their qFT images. The recently defined `Mustard' convolution behaves nicely in the frequency domain, but complicates the corresponding spatial domain analysis. The present paper analyses in detail the correspondence between classical convolution and the new Mustard convolution. In particular, an expression is derived that allows one to write classical convolution as a finite linear combination of suitable Mustard convolutions. This result is expected to play a major role in the further development of quaternion image processing, as it yields a formula for the qFT spectrum of the classical convolution.


title: Friction Causing Unpredictability

abstract: The periodic motion of a classical point particle in a one-dimensional double-well potential acquires a surprising degree of complexity if friction is added. Finite uncertainty in the initial state can make it impossible to predict in which of the two wells the particle will finally settle. For two models of friction, we exhibit the structure of the basins of attraction in phase space which causes the final-state sensitivity. Adding friction to an integrable system with more than one stable equilibrium emerges as a possible "route to chaos" whenever initial conditions can be specified with finite accuracy only.


title: Decoherence in current induced forces: Application to adiabatic quantum motors

abstract: Current induced forces are not only related with the discrete nature of electrons but also with its quantum character. It is natural then to wonder about the effect of decoherence. Here, we develop the theory of current induced forces including dephasing processes and we apply it to study adiabatic quantum motors (AQMs). The theory is based on B\"uttiker's fictitious probe model which here is reformulated for this particular case. We prove that it accomplishes fluctuation-dissipation theorem. We also show that, in spite of decoherence, the total work performed by the current induced forces remains equal to the pumped charge per cycle times the voltage. We find that decoherence affects not only the current induced forces of the system but also its intrinsic friction and noise, modifying in a non trivial way the efficiency of AQMs. We apply the theory to study an AQM inspired by a classical peristaltic pump where we surprisingly find that decoherence can play a crucial role by triggering its operation. Our results can help to understand how environmentally induced dephasing affects the quantum behavior of nano-mechanical devices.


title: Constraining the parameters of the putative supermassive binary black hole in PG 1302-102 from its radio structure

abstract: We investigate the pc-scale kinematics and kpc-scale radio morphology of the quasar PG 1302-102, which may harbour a sub-pc separation supermassive binary black hole system at its centre as inferred from optical variability. High-resolution radio interferometric measurements obtained with the Very Long Baseline Array (VLBA) in the Monitoring Of Jets in Active galactic nuclei with VLBA Experiments (MOJAVE) programme at 15 GHz at 20 epochs spanning 17 years were analysed to investigate the pc-scale radio structure. Archival observations with the Very Large Array (VLA) at 1.4 GHz and 5 GHz were obtained to study the kpc-scale morphology. We find that the pc-scale jet is inclined within ~2.2 deg to the line of sight and has a half-opening angle of about 0.2 deg. The parameters derived from the pc-scale radio jet are qualitatively consistent with those obtained from the analysis of the optical light curve of PG 1302-102. We obtain at least 0.08 for the mass ratio of the two black holes in the system. We find some indication for a helical jet structure on kpc-scale, but the directions of the inner and the extended radio jets are significantly different, obstructing a straightforward connection of the pc- and kpc-scale jets within the binary scenario.


title: A New Analysis of Spitzer Observations of Comet 29P/Schwassmann-Wachmann 1

abstract: We present a new analysis of ${\it Spitzer}$ observations of comet 29P/Schwassmann-Wachmann 1 taken on UT 2003 November 21, 23, and 24, similar to a previous investigation of the observations (Stansberry et al. 2004), but using the most recent ${\it Spitzer}$ data pipeline products and intensive image processing techniques. Analysis of images from the IRAC 5.8 & 8.0 $\mu$m bands and the MIPS 24.0 & 70.0 $\mu$m bands resulted in photometry measurements of the nucleus after a suite of coma modeling and removal processes were implemented. SW1 was not identified in the 5.8 $\mu$m image from the previous work so its incorporation into this analysis is entirely new. Using the Near Earth Asteroid Thermal Model (Harris 1998) resulted in a nucleus radius measurement of $R$ = 30.2 $^{+3.7}_{-2.9}$ km and an infrared beaming parameter value of $\eta = 0.99$ $^{+0.26}_{-0.19}$. We also measured an infrared geometric albedo, $p_{5.8}$ = 0.5 $\pm$ 0.5. Extrapolating a 0.04 V-band albedo and using a normalized reflectivity gradient $S' = 14.94 \pm 1.09$ [% (1000 \r{A})$^{-1}$] (Duffard et al. 2014) we recover an infrared albedo of $p_{5.8}$ = 0.31 in the near infrared consistent with the value recovered from thermal modeling. The dust composition extracted from IRS spectra are very comet-like, containing mainly amorphous ferromagnesian silicates (but with a minority of crystalline silicates as well), water ice, and metal sulfides.


title: Chirality-dependent transmission of spin waves through domain walls

abstract: Spin-wave technology (magnonics) has the potential to further reduce the size and energy consumption of information processing devices. In the submicrometer regime (exchange spin waves), topological defects such as domain walls may constitute active elements to manipulate spin waves and perform logic operations. We predict that spin waves that pass through a domain wall in an ultrathin perpendicular-anisotropy film experience a phase shift that depends on the orientation of the domain wall (chirality). The effect, which is absent in bulk materials, originates from the interfacial Dzyaloshinskii-Moriya interaction and can be interpreted as a geometric phase. We demonstrate analytically and by means of micromagnetic simulations that the phase shift is strong enough to switch between constructive and destructive interference. The two chirality states of the domain wall may serve as a memory bit or spin-wave switch in magnonic devices.


title: Decreased Specific Star Formation Rates in AGN Host Galaxies

abstract: We investigate the location of an ultra-hard X-ray selected sample of AGN from the Swift Burst Alert Telescope (BAT) catalog with respect to the main sequence (MS) of star-forming galaxies using Herschel-based measurements of the star formation rate (SFR) and stellar mass (\mstar) from Sloan Digital Sky Survey (SDSS) photometry where the AGN contribution has been carefully removed. We construct the MS with galaxies from the Herschel Reference Survey and Herschel Stripe 82 Survey using the exact same methods to measure the SFR and \mstar{} as the Swift/BAT AGN. We find a large fraction of the Swift/BAT AGN lie below the MS indicating decreased specific SFR (sSFR) compared to non-AGN galaxies. The Swift/BAT AGN are then compared to a high-mass galaxy sample (COLD GASS), where we find a similarity between the AGN in COLD GASS and the Swift/BAT AGN. Both samples of AGN lie firmly between star-forming galaxies on the MS and quiescent galaxies far below the MS. However, we find no relationship between the X-ray luminosity and distance from the MS. While the morphological distribution of the BAT AGN is more similar to star-forming galaxies, the sSFR of each morphology is more similar to the COLD GASS AGN. The merger fraction in the BAT AGN is much higher than the COLD GASS AGN and star-forming galaxies and is related to distance from the MS. These results support a model in which bright AGN tend to be in high mass star-forming galaxies in the process of quenching which eventually starves the supermassive black hole itself.


title: Entropy-dissipating semi-discrete Runge-Kutta schemes for nonlinear diffusion equations

abstract: Semi-discrete Runge-Kutta schemes for nonlinear diffusion equations of parabolic type are analyzed. Conditions are determined under which the schemes dissipate the discrete entropy locally. The dissipation property is a consequence of the concavity of the difference of the entropies at two consecutive time steps. The concavity property is shown to be related to the Bakry-Emery approach and the geodesic convexity of the entropy. The abstract conditions are verified for quasilinear parabolic equations (including the porous-medium equation), a linear diffusion system, and the fourth-order quantum diffusion equation. Numerical experiments for various Runge-Kutta finite-difference discretizations of the one-dimensional porous-medium equation show that the entropy-dissipation property is in fact global.


title: Limit Theorems for Some Markov Operators

abstract: The exponential rate of convergence and the Central Limit Theorem for some Markov operators are established. The operators correspond to iterated function systems which, for example, may be used to generalize the cell cycle model given by Lasota & Mackey (1999).


title: Waiting times of entangled electrons in normal-superconducting junctions

abstract: We consider a normal-superconducting junction in order to investigate the effect of new physical ingredients on waiting times. First, we study the interplay between Andreev and specular scattering at the interface on the distribution of waiting times of electrons or holes separately. In that case the distribution is not altered dramatically compared to the case of a single quantum channel with a quantum point contact since the interface acts as an Andreev mirror for holes. We then consider a fully entangled state originating from spliting of Cooper pairs at the interface and demonstrate a significant enhancement of the probability to detect two consecutive electrons in a short time interval. Finally, we discuss the electronic waiting time distribution in the more realistic situation of partial entanglement.


title: Probing non polar interstellar molecules through their protonated form: Detection of protonated cyanogen (NCCNH+)

abstract: Cyanogen (NCCN) is the simplest member of the series of dicyanopolyynes. It has been hypothesized that this family of molecules can be important constituents of interstellar and circumstellar media, although the lack of a permanent electric dipole moment prevents its detection through radioastronomical techniques. Here we present the first solid evidence of the presence of cyanogen in interstellar clouds through the detection of its protonated form toward the cold dark clouds TMC-1 and L483. Protonated cyanogen (NCCNH+) has been identified through the J=5-4 and J=10-9 rotational transitions using the 40m radiotelescope of Yebes and the IRAM 30m telescope. We derive beam averaged column densities for NCCNH+ of (8.6+/-4.4)e10 cm-2 in TMC-1 and (3.9+/-1.8)e10 cm-2 in L483, which translate to fairly low fractional abundances relative to H2, in the range (1-10)e-12. The chemistry of protonated molecules in dark clouds is discussed, and it is found that, in general terms, the abundance ratio between the protonated and non protonated forms of a molecule increases with increasing proton affinity. Our chemical model predicts an abundance ratio NCCNH+/NCCN of 1e-4, which implies that the abundance of cyanogen in dark clouds could be as high as (1-10)e-8 relative to H2, i.e., comparable to that of other abundant nitriles such as HCN, HNC, and HC3N.


title: Monte Carlo Methods for the Ferromagnetic Potts Model Using Factor Graph Duality

abstract: Normal factor graph duality offers new possibilities for Monte Carlo algorithms in graphical models. Specifically, we consider the problem of estimating the partition function of the ferromagnetic Ising and Potts models by Monte Carlo methods, which are known to work well at high temperatures, but to fail at low temperatures. We propose Monte Carlo methods (uniform sampling and importance sampling) in the dual normal factor graph, and demonstrate that they behave differently: they work particularly well at low temperatures. By comparing the relative error in estimating the partition function, we show that the proposed importance sampling algorithm significantly outperforms the state-of-the-art deterministic and Monte Carlo methods. For the ferromagnetic Ising model in an external field, we show the equivalence between the valid configurations in the dual normal factor graph and the terms that appear in the high-temperature series expansion of the partition function. Following this result, we discuss connections with Jerrum-Sinclair's polynomial randomized approximation scheme (the subgraphs-world process) for evaluating the partition function of ferromagnetic


title: ${\bar{B}^{0}_{s}}$ and its excited meson production via top quark decays at the LHC

abstract: In this work we evaluate the masses of the $|(b\bar{s})[n]\rangle$ or $|(\bar{b}s)[n]\rangle$ quarkonium ($\bar{B}^{0}_{s}$ or ${B}^{0}_{s}$ meson) under the B.T. potential, and the values of the Schr${\rm \ddot{o}}$dinger radial wave function at the origin of the $|(b\bar{s})[n]\rangle$ or $|(\bar{b}s)[n]\rangle$ quarkonium within the five potential models. Then we investigate a systematic study on the production of the $|(b\bar{s})[n]\rangle$ or $|(\bar{b}s)[n]\rangle$ quarkonium via top quark or antitop quark decays in the color-singlet QCD factorization formula (CSQCDFF), i.e., the two $S$-wave states, $|(b\bar{s})[1^1S_0] \rangle$ (or $|(\bar{b}s)[1^1S_0] \rangle$) and $|(b\bar{s})[1^3S_1] \rangle$ (or $|(\bar{b}s)[1^3S_1] \rangle$), and its four $P$-wave excited states, $|(b\bar{s})[1^1P_1] \rangle$ (or $|(\bar{b}s)[1^1P_1] \rangle$) and $|(b\bar{s})[1^3P_J] \rangle$ (or $|(\bar{b}s)[1^3P_J] \rangle$) (with $J =[0, 1, 2]$). For deriving compact analytical results for complex processes, the "improved trace technology" is adopted to deal with the decay channels at the amplitudes. Moreover, various differential distributions and uncertainties of the concerned processes are analyzed carefully. By adding the uncertainties caused by the ${b}$ and ${s}$-quark masses in quadrature, we obtain $\Gamma{(t\to |(b\bar{s})[n]\rangle +W^{+}s)}=14.19^{+4.36}_{-3.20}$~MeV. At the LHC with the luminosity ${\cal L}\propto 10^{34}cm^{-2}s^{-1}$ and the center-of-mass energy $\sqrt{S}=14$ TeV, sizable $|(b\bar{s})[n]\rangle$ or $|(\bar{b}s)[n]\rangle$ meson events can be produced through ${t}$-quark or ${\bar{t}}$-quark decays; i.e., about $1.3~\times10^6$ ${\bar{B}^0_s}$ or ${B^0_s}$ events per year can be obtained.


title: Two-Body Assignment Problem in the Context of the Israeli Medical Internship Match

abstract: This thesis was submitted as partial fulfillment of the requirements for the Masters Degree in the Department of Computer Science, Bar-Ilan University. The final step in getting an Israeli M.D. is performing a year-long internship in one of the hospitals in Israel. Internships are decided upon by a lottery, which is known as "The Internship Lottery". In 2014 we redesigned the lottery, replacing it with a more efficient one. The new method is based on calculating a tentative lottery, in which each student has some probability of getting to each hospital. Then a computer program "trades" between the students, where trade is performed only if it is beneficial to both sides. This trade creates surplus, which translates to more students getting one of their top choices. The average student improved his place by $0.91$ seats. The new method can improve the welfare of medical graduates, by giving them more probability to get to one of their top choices. It can be applied in internship markets in other countries as well. This thesis presents the market, the redesign process and the new mechanism which is now in use. There are two main lessons that we have learned from this market. The first is the "Do No Harm" principle, which states that (almost) all participants should prefer the new mechanism to the old one. The second is that new approaches need to be used when dealing with two-body problems in object assignment. We focus on the second lesson, and study two-body problems in the context of the assignment problem. We show that decomposing stochastic assignment matrices to deterministic allocations is NP-hard in the presence of couples, and present a polynomial time algorithm with the optimal worst case guarantee. We also study the performance of our algorithm on real-world and on simulated data.


title: Smooth Wilson Loops in N=4 Non-Chiral Superspace

abstract: We consider a supersymmetric Wilson loop operator for 4d N=4 super Yang-Mills theory which is the natural object dual to the AdS_5 x S^5 superstring in the AdS/CFT correspondence. It generalizes the traditional bosonic 1/2 BPS Maldacena-Wilson loop operator and completes recent constructions in the literature to smooth (non-light-like) loops in the full N=4 non-chiral superspace. This Wilson loop operator enjoys global superconformal and local kappa-symmetry of which a detailed discussion is given. Moreover, the finiteness of its vacuum expectation value is proven at leading order in perturbation theory. We determine the leading vacuum expectation value for general paths both at the component field level up to quartic order in anti-commuting coordinates and in the full non-chiral superspace in suitable gauges. Finally, we discuss loops built from quadric splines joined in such a way that the path derivatives are continuous at the intersection.


title: Novel Spin-Orbital Phases Induced by Orbital Dilution

abstract: We demonstrate that magnetic $3d$ impurities with $S=3/2$ spins and no orbital degree of freedom induce changes of spin-orbital order in a $4d^4$ Mott insulator with $S=1$ spins. Impurities act either as spin defects which decouple from the surrounding ions, or trigger orbital polarons along $3d$-$4d$ bonds. The $4d$-$4d$ superexchange in the host $J_{\rm host}$ competes with $3d$-$4d$ superexchange $J_{\rm imp}$ --- it depends on which orbital is doubly occupied. The spin-orbital order within the host is totally modified at doping $x=1/4$. Our findings provide new perspective for future theoretical and experimental studies of doped transition-metal oxides.