title: In-beam tests of scintillating fibre detectors at MAMI and at GSI

abstract: The performance of scintillating fibre detectors was studied with electrons at the spectrometer facility of the Mainz microtron MAMI, as well as in a C-12 beam of 2 AGeV energy and in a beam of different particle species at GSI. Multi-anode photomultipliers were used to read out one or more bundles of 128 fibres each in different geometries. For electrons a time resolution of FWHM = 1 ns was measured in a single detector plane with a detection efficiency epsilon > 99%. A time resolution of 310 ps (FWHM) between two planes of fibres was achieved for carbon ions, leading to a FWHM = 220 ps for a single detector. The hit position residual was measured with a width of FWHM = 0.27 mm. The variation in the measured energy deposition was Delta E/E= 15-20% (FWHM) for carbon ions. In addition, the energy response to p/pi/d particles was studied. Based on the good detector performance fibre hodoscopes will be constructed for the KAOS/A1 spectrometer at MAMI and for the HypHI experiment at GSI.


title: Equilibria, Fixed Points, and Complexity Classes

abstract: Many models from a variety of areas involve the computation of an equilibrium or fixed point of some kind. Examples include Nash equilibria in games; market equilibria; computing optimal strategies and the values of competitive games (stochastic and other games); stable configurations of neural networks; analysing basic stochastic models for evolution like branching processes and for language like stochastic context-free grammars; and models that incorporate the basic primitives of probability and recursion like recursive Markov chains. It is not known whether these problems can be solved in polynomial time. There are certain common computational principles underlying different types of equilibria, which are captured by the complexity classes PLS, PPAD, and FIXP. Representative complete problems for these classes are respectively, pure Nash equilibria in games where they are guaranteed to exist, (mixed) Nash equilibria in 2-player normal form games, and (mixed) Nash equilibria in normal form games with 3 (or more) players. This paper reviews the underlying computational principles and the corresponding classes.


title: Rent, Lease or Buy: Randomized Algorithms for Multislope Ski Rental

abstract: In the Multislope Ski Rental problem, the user needs a certain resource for some unknown period of time. To use the resource, the user must subscribe to one of several options, each of which consists of a one-time setup cost (``buying price''), and cost proportional to the duration of the usage (``rental rate''). The larger the price, the smaller the rent. The actual usage time is determined by an adversary, and the goal of an algorithm is to minimize the cost by choosing the best option at any point in time. Multislope Ski Rental is a natural generalization of the classical Ski Rental problem (where the only options are pure rent and pure buy), which is one of the fundamental problems of online computation. The Multislope Ski Rental problem is an abstraction of many problems where online decisions cannot be modeled by just two options, e.g., power management in systems which can be shut down in parts. In this paper we study randomized algorithms for Multislope Ski Rental. Our results include the best possible online randomized strategy for any additive instance, where the cost of switching from one option to another is the difference in their buying prices; and an algorithm that produces an $e$-competitive randomized strategy for any (non-additive) instance.


title: Limit complexities revisited

abstract: The main goal of this paper is to put some known results in a common perspective and to simplify their proofs. We start with a simple proof of a result from (Vereshchagin, 2002) saying that $\limsup_n\KS(x|n)$ (here $\KS(x|n)$ is conditional (plain) Kolmogorov complexity of $x$ when $n$ is known) equals $\KS^{\mathbf{0'}(x)$, the plain Kolmogorov complexity with $\mathbf{0'$-oracle. Then we use the same argument to prove similar results for prefix complexity (and also improve results of (Muchnik, 1987) about limit frequencies), a priori probability on binary tree and measure of effectively open sets. As a by-product, we get a criterion of $\mathbf{0'}$ Martin-L\"of randomness (called also 2-randomness) proved in (Miller, 2004): a sequence $\omega$ is 2-random if and only if there exists $c$ such that any prefix $x$ of $\omega$ is a prefix of some string $y$ such that $\KS(y)\ge |y|-c$. (In the 1960ies this property was suggested in (Kolmogorov, 1968) as one of possible randomness definitions; its equivalence to 2-randomness was shown in (Miller, 2004) while proving another 2-randomness criterion (see also (Nies et al. 2005)): $\omega$ is 2-random if and only if $\KS(x)\ge |x|-c$ for some $c$ and infinitely many prefixes $x$ of $\omega$. Finally, we show that the low-basis theorem can be used to get alternative proofs for these results and to improve the result about effectively open sets; this stronger version implies the 2-randomness criterion mentioned in the previous sentence.


title: Trimmed Moebius Inversion and Graphs of Bounded Degree

abstract: We study ways to expedite Yates's algorithm for computing the zeta and Moebius transforms of a function defined on the subset lattice. We develop a trimmed variant of Moebius inversion that proceeds point by point, finishing the calculation at a subset before considering its supersets. For an $n$-element universe $U$ and a family $\scr F$ of its subsets, trimmed Moebius inversion allows us to compute the number of packings, coverings, and partitions of $U$ with $k$ sets from $\scr F$ in time within a polynomial factor (in $n$) of the number of supersets of the members of $\scr F$. Relying on an intersection theorem of Chung et al. (1986) to bound the sizes of set families, we apply these ideas to well-studied combinatorial optimisation problems on graphs of maximum degree $\Delta$. In particular, we show how to compute the Domatic Number in time within a polynomial factor of $(2^{\Delta+1-2)^{n/(\Delta+1)$ and the Chromatic Number in time within a polynomial factor of $(2^{\Delta+1-\Delta-1)^{n/(\Delta+1)$. For any constant $\Delta$, these bounds are $O\bigl((2-\epsilon)^n\bigr)$ for $\epsilon>0$ independent of the number of vertices $n$.


title: Aplicando modelos de granos de polvo con propiedades meteoriticas al continuo ionizante de algunos Nucleos Activos de Galaxias

abstract: We construct extinction curves based on Mie's theory for spherical dust grain with size distributions between 50-2500 A and composed by elements found in meteorites. We explore the issue of whether the observed spectral energy distribution might be dust absorbed in the far and near-UV by this kind of dust grains. Using this approach, satisfactory fits to the 11 spectra can be obtained. ----- En este trabajo, presentamos las diversas curvas de extincion que hemos calculado con base a la teoria Mie para granos de polvo esfericos, con distribuciones de acuerdo a su tamano (entre 50-2500 A) y con diversos compuestos quimicos hallados en meteoritos. Bajo el posible paradigma que hemos desarrollado, estas curvas de extincion al ser aplicadas a un continuo ionizante teorico y comparadas con 11 espectros observados de quasares, hemos encontrado de manera exitosa reproducir tanto el quiebre UV asi como el problema de suavidad presentes en el continuo ionizante de algunos Nucleos Activos de Galaxias.


title: Minimizing Flow Time in the Wireless Gathering Problem

abstract: We address the problem of efficient data gathering in a wireless network through multi-hop communication. We focus on the objective of minimizing the maximum flow time of a data packet. We prove that no polynomial time algorithm for this problem can have approximation ratio less than $\Omega(m^{1/3)$ when $m$ packets have to be transmitted, unless $P = NP$. We then use resource augmentation to assess the performance of a FIFO-like strategy. We prove that this strategy is 5-speed optimal, i.e., its cost remains within the optimal cost if we allow the algorithm to transmit data at a speed 5 times higher than that of the optimal solution we compare to.


title: On amenability of automata groups

abstract: We show that the group of bounded automatic automorphisms of a rooted tree is amenable, which implies amenability of numerous classes of groups generated by finite automata. The proof is based on reducing the problem to showing amenability just of a certain explicit family of groups ("Mother groups") which is done by analyzing the asymptotic properties of random walks on these groups.


title: Factoring Polynomials over Finite Fields using Balance Test

abstract: We study the problem of factoring univariate polynomials over finite fields. Under the assumption of the Extended Riemann Hypothesis (ERH), (Gao, 2001) designed a polynomial time algorithm that fails to factor only if the input polynomial satisfies a strong symmetry property, namely square balance. In this paper, we propose an extension of Gao's algorithm that fails only under an even stronger symmetry property. We also show that our property can be used to improve the time complexity of best deterministic algorithms on most input polynomials. The property also yields a new randomized polynomial time algorithm.


title: On Termination for Faulty Channel Machines

abstract: A channel machine consists of a finite controller together with several fifo channels; the controller can read messages from the head of a channel and write messages to the tail of a channel. In this paper, we focus on channel machines with insertion errors, i.e., machines in whose channels messages can spontaneously appear. Such devices have been previously introduced in the study of Metric Temporal Logic. We consider the termination problem: are all the computations of a given insertion channel machine finite? We show that this problem has non-elementary, yet primitive recursive complexity.


title: 2T Physics and Quantum Mechanics

abstract: We use a local scale invariance of a classical Hamiltonian and describe how to construct six different formulations of quantum mechanics in spaces with two time-like dimensions. All these six formulations have the same classical limit described by the same Hamiltonian. One of these formulations is used as a basis for a complementation of the usual quantum mechanics when in the presence of gravity.


title: Stackelberg Network Pricing Games

abstract: We study a multi-player one-round game termed Stackelberg Network Pricing Game, in which a leader can set prices for a subset of $m$ priceable edges in a graph. The other edges have a fixed cost. Based on the leader's decision one or more followers optimize a polynomial-time solvable combinatorial minimization problem and choose a minimum cost solution satisfying their requirements based on the fixed costs and the leader's prices. The leader receives as revenue the total amount of prices paid by the followers for priceable edges in their solutions, and the problem is to find revenue maximizing prices. Our model extends several known pricing problems, including single-minded and unit-demand pricing, as well as Stackelberg pricing for certain follower problems like shortest path or minimum spanning tree. Our first main result is a tight analysis of a single-price algorithm for the single follower game, which provides a $(1+\epsilon) \log m$-approximation for any $\epsilon >0$. This can be extended to provide a $(1+\epsilon)(\log k + \log m)$-approximation for the general problem and $k$ followers. The latter result is essentially best possible, as the problem is shown to be hard to approximate within $\mathcal{O(\log^\epsilon k + \log^\epsilon m)$. If followers have demands, the single-price algorithm provides a $(1+\epsilon)m^2$-approximation, and the problem is hard to approximate within $\mathcal{O(m^\epsilon)$ for some $\epsilon >0$. Our second main result is a polynomial time algorithm for revenue maximization in the special case of Stackelberg bipartite vertex cover, which is based on non-trivial max-flow and LP-duality techniques. Our results can be extended to provide constant-factor approximations for any constant number of followers.


title: Weak index versus Borel rank

abstract: We investigate weak recognizability of deterministic languages of infinite trees. We prove that for deterministic languages the Borel hierarchy and the weak index hierarchy coincide. Furthermore, we propose a procedure computing for a deterministic automaton an equivalent minimal index weak automaton with a quadratic number of states. The algorithm works within the time of solving the emptiness problem.


title: Sublinear Communication Protocols for Multi-Party Pointer Jumping and a Related Lower Bound

abstract: We study the one-way number-on-the-forehead (NOF) communication complexity of the $k$-layer pointer jumping problem with $n$ vertices per layer. This classic problem, which has connections to many aspects of complexity theory, has seen a recent burst of research activity, seemingly preparing the ground for an $\Omega(n)$ lower bound, for constant $k$. Our first result is a surprising sublinear -- i.e., $o(n)$ -- upper bound for the problem that holds for $k \ge 3$, dashing hopes for such a lower bound. A closer look at the protocol achieving the upper bound shows that all but one of the players involved are collapsing, i.e., their messages depend only on the composition of the layers ahead of them. We consider protocols for the pointer jumping problem where all players are collapsing. Our second result shows that a strong $n - O(\log n)$ lower bound does hold in this case. Our third result is another upper bound showing that nontrivial protocols for (a non-Boolean version of) pointer jumping are possible even when all players are collapsing. Our lower bound result uses a novel proof technique, different from those of earlier lower bounds that had an information-theoretic flavor. We hope this is useful in further study of the problem.


title: Analytic aspects of the shuffle product

abstract: There exist very lucid explanations of the combinatorial origins of rational and algebraic functions, in particular with respect to regular and context free languages. In the search to understand how to extend these natural correspondences, we find that the shuffle product models many key aspects of D-finite generating functions, a class which contains algebraic. We consider several different takes on the shuffle product, shuffle closure, and shuffle grammars, and give explicit generating function consequences. In the process, we define a grammar class that models D-finite generating functions.


title: Shortest Vertex-Disjoint Two-Face Paths in Planar Graphs

abstract: Let $G$ be a directed planar graph of complexity $n$, each arc having a nonnegative length. Let $s$ and $t$ be two distinct faces of $G$; let $s_1,...,s_k$ be vertices incident with $s$; let $t_1,...,t_k$ be vertices incident with $t$. We give an algorithm to compute $k$ pairwise vertex-disjoint paths connecting the pairs $(s_i,t_i)$ in $G$, with minimal total length, in $O(kn\log n)$ time.


title: Geodesic Fr\'echet Distance Inside a Simple Polygon

abstract: We unveil an alluring alternative to parametric search that applies to both the non-geodesic and geodesic Fr\'echet optimization problems. This randomized approach is based on a variant of red-blue intersections and is appealing due to its elegance and practical efficiency when compared to parametric search. We present the first algorithm for the geodesic Fr\'echet distance between two polygonal curves $A$ and $B$ inside a simple bounding polygon $P$. The geodesic Fr\'echet decision problem is solved almost as fast as its non-geodesic sibling and requires $O(N^{2\log k)$ time and $O(k+N)$ space after $O(k)$ preprocessing, where $N$ is the larger of the complexities of $A$ and $B$ and $k$ is the complexity of $P$. The geodesic Fr\'echet optimization problem is solved by a randomized approach in $O(k+N^{2\log kN\log N)$ expected time and $O(k+N^{2)$ space. This runtime is only a logarithmic factor larger than the standard non-geodesic Fr\'echet algorithm (Alt and Godau 1995). Results are also presented for the geodesic Fr\'echet distance in a polygonal domain with obstacles and the geodesic Hausdorff distance for sets of points or sets of line segments inside a simple polygon $P$.


title: On Dynamic Breadth-First Search in External-Memory

abstract: We provide the first non-trivial result on dynamic breadth-first search (BFS) in external-memory: For general sparse undirected graphs of initially $n$ nodes and O(n) edges and monotone update sequences of either $\Theta(n)$ edge insertions or $\Theta(n)$ edge deletions, we prove an amortized high-probability bound of $O(n/B^{2/3}+\sort(n)\cdot \log B)$ I/Os per update. In contrast, the currently best approach for static BFS on sparse undirected graphs requires $\Omega(n/B^{1/2}+\sort(n))$ I/Os.


title: The universal sl(2) cohomology via webs and foams

abstract: We construct the universal sl(2)-tangle cohomology using an approach with webs and dotted foams. This theory depends on two parameters, and for the case of links it is a categorification of the unnormalized Jones polynomial of the link.


title: Scattering problem for the local parametric resonance equation

abstract: In this paper we present the solution of local parametric resonance equation in terms of parabolic cylinder functions and solve the scattering problem for this equation.


title: Deterministically Isolating a Perfect Matching in Bipartite Planar Graphs

abstract: We present a deterministic way of assigning small (log bit) weights to the edges of a bipartite planar graph so that the minimum weight perfect matching becomes unique. The isolation lemma as described in (Mulmuley et al. 1987) achieves the same for general graphs using a randomized weighting scheme, whereas we can do it deterministically when restricted to bipartite planar graphs. As a consequence, we reduce both decision and construction versions of the matching problem to testing whether a matrix is singular, under the promise that its determinant is 0 or 1, thus obtaining a highly parallel SPL algorithm for bipartite planar graphs. This improves the earlier known bounds of non-uniform SPL by (Allender et al. 1999) and $NC^2$ by (Miller and Naor 1995, Mahajan and Varadarajan 2000). It also rekindles the hope of obtaining a deterministic parallel algorithm for constructing a perfect matching in non-bipartite planar graphs, which has been open for a long time. Our techniques are elementary and simple.


title: An Improved Randomized Truthful Mechanism for Scheduling Unrelated Machines

abstract: We study the scheduling problem on unrelated machines in the mechanism design setting. This problem was proposed and studied in the seminal paper (Nisan and Ronen 1999), where they gave a 1.75-approximation randomized truthful mechanism for the case of two machines. We improve this result by a 1.6737-approximation randomized truthful mechanism. We also generalize our result to a $0.8368m$-approximation mechanism for task scheduling with $m$ machines, which improve the previous best upper bound of $0.875m(Mu'alem and Schapira 2007).


title: Tight Bounds for Blind Search on the Integers

abstract: We analyze a simple random process in which a token is moved in the interval $A=\{0,...,n\$: Fix a probability distribution $\mu$ over $\{1,...,n\$. Initially, the token is placed in a random position in $A$. In round $t$, a random value $d$ is chosen according to $\mu$. If the token is in position $a\geq d$, then it is moved to position $a-d$. Otherwise it stays put. Let $T$ be the number of rounds until the token reaches position 0. We show tight bounds for the expectation of $T$ for the optimal distribution $\mu$. More precisely, we show that $\min_\mu\{E_\mu(T)\=\Theta((\log n)^2)$. For the proof, a novel potential function argument is introduced. The research is motivated by the problem of approximating the minimum of a continuous function over $[0,1]$ with a ``blind'' optimization strategy.


title: Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps

abstract: This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assisted by the Coq system. Fundamental properties are proven by structural or noetherian induction: Genus Theorem, Euler's Formula, constructive planarity criteria. A notion of ring of faces is inductively defined and a Jordan Curve Theorem is stated and proven for any planar hypermap.


title: Trimming of Graphs, with Application to Point Labeling

abstract: For $t,g>0$, a vertex-weighted graph of total weight $W$ is $(t,g)$-trimmable if it contains a vertex-induced subgraph of total weight at least $(1-1/t)W$ and with no simple path of more than $g$ edges. A family of graphs is trimmable if for each constant $t>0$, there is a constant $g=g(t)$ such that every vertex-weighted graph in the family is $(t,g)$-trimmable. We show that every family of graphs of bounded domino treewidth is trimmable. This implies that every family of graphs of bounded degree is trimmable if the graphs in the family have bounded treewidth or are planar. Based on this result, we derive a polynomial-time approximation scheme for the problem of labeling weighted points with nonoverlapping sliding labels of unit height and given lengths so as to maximize the total weight of the labeled points. This settles one of the last major open questions in the theory of map labeling.


title: Computing Minimum Spanning Trees with Uncertainty

abstract: We consider the minimum spanning tree problem in a setting where information about the edge weights of the given graph is uncertain. Initially, for each edge $e$ of the graph only a set $A_e$, called an uncertainty area, that contains the actual edge weight $w_e$ is known. The algorithm can `update' $e$ to obtain the edge weight $w_e \in A_e$. The task is to output the edge set of a minimum spanning tree after a minimum number of updates. An algorithm is $k$-update competitive if it makes at most $k$ times as many updates as the optimum. We present a 2-update competitive algorithm if all areas $A_e$ are open or trivial, which is the best possible among deterministic algorithms. The condition on the areas $A_e$ is to exclude degenerate inputs for which no constant update competitive algorithm can exist. Next, we consider a setting where the vertices of the graph correspond to points in Euclidean space and the weight of an edge is equal to the distance of its endpoints. The location of each point is initially given as an uncertainty area, and an update reveals the exact location of the point. We give a general relation between the edge uncertainty and the vertex uncertainty versions of a problem and use it to derive a 4-update competitive algorithm for the minimum spanning tree problem in the vertex uncertainty model. Again, we show that this is best possible among deterministic algorithms.


title: Convergence Thresholds of Newton's Method for Monotone Polynomial Equations

abstract: Monotone systems of polynomial equations (MSPEs) are systems of fixed-point equations $X_1 = f_1(X_1, ..., X_n),$ $..., X_n = f_n(X_1, ..., X_n)$ where each $f_i$ is a polynomial with positive real coefficients. The question of computing the least non-negative solution of a given MSPE $\vec X = \vec f(\vec X)$ arises naturally in the analysis of stochastic models such as stochastic context-free grammars, probabilistic pushdown automata, and back-button processes. Etessami and Yannakakis have recently adapted Newton's iterative method to MSPEs. In a previous paper we have proved the existence of a threshold $k_{\vec f}$ for strongly connected MSPEs, such that after $k_{\vec f}$ iterations of Newton's method each new iteration computes at least 1 new bit of the solution. However, the proof was purely existential. In this paper we give an upper bound for $k_{\vec f}$ as a function of the minimal component of the least fixed-point $\mu\vec f$ of $\vec f(\vec X)$. Using this result we show that $k_{\vec f}$ is at most single exponential resp. linear for strongly connected MSPEs derived from probabilistic pushdown automata resp. from back-button processes. Further, we prove the existence of a threshold for arbitrary MSPEs after which each new iteration computes at least $1/w2^h$ new bits of the solution, where $w$ and $h$ are the width and height of the DAG of strongly connected components.


title: Lower bounds for adaptive linearity tests

abstract: Linearity tests are randomized algorithms which have oracle access to the truth table of some function f, and are supposed to distinguish between linear functions and functions which are far from linear. Linearity tests were first introduced by (Blum, Luby and Rubenfeld, 1993), and were later used in the PCP theorem, among other applications. The quality of a linearity test is described by its correctness c - the probability it accepts linear functions, its soundness s - the probability it accepts functions far from linear, and its query complexity q - the number of queries it makes. Linearity tests were studied in order to decrease the soundness of linearity tests, while keeping the query complexity small (for one reason, to improve PCP constructions). Samorodnitsky and Trevisan (Samorodnitsky and Trevisan 2000) constructed the Complete Graph Test, and prove that no Hyper Graph Test can perform better than the Complete Graph Test. Later in (Samorodnitsky and Trevisan 2006) they prove, among other results, that no non-adaptive linearity test can perform better than the Complete Graph Test. Their proof uses the algebraic machinery of the Gowers Norm. A result by (Ben-Sasson, Harsha and Raskhodnikova 2005) allows to generalize this lower bound also to adaptive linearity tests. We also prove the same optimal lower bound for adaptive linearity test, but our proof technique is arguably simpler and more direct than the one used in (Samorodnitsky and Trevisan 2006). We also study, like (Samorodnitsky and Trevisan 2006), the behavior of linearity tests on quadratic functions. However, instead of analyzing the Gowers Norm of certain functions, we provide a more direct combinatorial proof, studying the behavior of linearity tests on random quadratic functions...


title: A New Framework for Multijet Predictions and its application to Higgs Boson production at the LHC

abstract: We present a new framework for calculating multi-jet observables through resummation. The framework is based on the factorisation of scattering amplitudes in an asymptotic limit. By imposing simple constraints on the analytic behaviour of the result when applied away from this limit, we get good agreement with the known lowest order perturbative behaviour of the scattering amplitude, and predictions for the behaviour to all orders in the perturbative series. As an example of application we study predictions for Higgs Boson production through gluon fusion at the LHC in association with at least two jets.


title: Bang-Bang control of a qubit coupled to a quantum critical spin bath

abstract: We analytically and numerically study the effects of pulsed control on the decoherence of a qubit coupled to a quantum spin bath. When the environment is critical, decoherence is faster and we show that the control is relatively more effective. Two coupling models are investigated, namely a qubit coupled to a bath via a single link and a spin star model, yielding results that are similar and consistent.


title: A Theory for Valiant's Matchcircuits (Extended Abstract)

abstract: The computational function of a matchgate is represented by its character matrix. In this article, we show that all nonsingular character matrices are closed under matrix inverse operation, so that for every $k$, the nonsingular character matrices of $k$-bit matchgates form a group, extending the recent work of Cai and Choudhary (2006) of the same result for the case of $k=2$, and that the single and the two-bit matchgates are universal for matchcircuits, answering a question of Valiant (2002).


title: Geometric Set Cover and Hitting Sets for Polytopes in $R^3$

abstract: Suppose we are given a finite set of points $P$ in $\R^3$ and a collection of polytopes $\mathcal{T}$ that are all translates of the same polytope $T$. We consider two problems in this paper. The first is the set cover problem where we want to select a minimal number of polytopes from the collection $\mathcal{T}$ such that their union covers all input points $P$. The second problem that we consider is finding a hitting set for the set of polytopes $\mathcal{T}$, that is, we want to select a minimal number of points from the input points $P$ such that every given polytope is hit by at least one point. We give the first constant-factor approximation algorithms for both problems. We achieve this by providing an epsilon-net for translates of a polytope in $R^3$ of size $\bigO(\frac{1{\epsilon)$.


title: Compatibility of Shelah and Stupp's and Muchnik's iteration with fragments of monadic second order logic

abstract: We investigate the relation between the theory of the iterations in the sense of Shelah-Stupp and of Muchnik, resp., and the theory of the base structure for several logics. These logics are obtained from the restriction of set quantification in monadic second order logic to certain subsets like, e.g., finite sets, chains, and finite unions of chains. We show that these theories of the Shelah-Stupp iteration can be reduced to corresponding theories of the base structure. This fails for Muchnik's iteration.


title: New Combinatorial Complete One-Way Functions

abstract: In 2003, Leonid A. Levin presented the idea of a combinatorial complete one-way function and a sketch of the proof that Tiling represents such a function. In this paper, we present two new one-way functions based on semi-Thue string rewriting systems and a version of the Post Correspondence Problem and prove their completeness. Besides, we present an alternative proof of Levin's result. We also discuss the properties a combinatorial problem should have in order to hold a complete one-way function.


title: On Geometric Spanners of Euclidean and Unit Disk Graphs

abstract: We consider the problem of constructing bounded-degree planar geometric spanners of Euclidean and unit-disk graphs. It is well known that the Delaunay subgraph is a planar geometric spanner with stretch factor $C_{del\approx 2.42$; however, its degree may not be bounded. Our first result is a very simple linear time algorithm for constructing a subgraph of the Delaunay graph with stretch factor $\rho =1+2\pi(k\cos{\frac{\pi{k)^{-1$ and degree bounded by $k$, for any integer parameter $k\geq 14$. This result immediately implies an algorithm for constructing a planar geometric spanner of a Euclidean graph with stretch factor $\rho \cdot C_{del$ and degree bounded by $k$, for any integer parameter $k\geq 14$. Moreover, the resulting spanner contains a Euclidean Minimum Spanning Tree (EMST) as a subgraph. Our second contribution lies in developing the structural results necessary to transfer our analysis and algorithm from Euclidean graphs to unit disk graphs, the usual model for wireless ad-hoc networks. We obtain a very simple distributed, {\em strictly-localized algorithm that, given a unit disk graph embedded in the plane, constructs a geometric spanner with the above stretch factor and degree bound, and also containing an EMST as a subgraph. The obtained results dramatically improve the previous results in all aspects, as shown in the paper.


title: Quantifying Homology Classes

abstract: We develop a method for measuring homology classes. This involves three problems. First, we define the size of a homology class, using ideas from relative homology. Second, we define an optimal basis of a homology group to be the basis whose elements' size have the minimal sum. We provide a greedy algorithm to compute the optimal basis and measure classes in it. The algorithm runs in $O(\beta^4 n^3 \log^2 n)$ time, where $n$ is the size of the simplicial complex and $\beta$ is the Betti number of the homology group. Third, we discuss different ways of localizing homology classes and prove some hardness results.


title: Cardinality and counting quantifiers on omega-automatic structures

abstract: We investigate structures that can be represented by omega-automata, so called omega-automatic structures, and prove that relations defined over such structures in first-order logic expanded by the first-order quantifiers `there exist at most $\aleph_0$ many', 'there exist finitely many' and 'there exist $k$ modulo $m$ many' are omega-regular. The proof identifies certain algebraic properties of omega-semigroups. As a consequence an omega-regular equivalence relation of countable index has an omega-regular set of representatives. This implies Blumensath's conjecture that a countable structure with an $\omega$-automatic presentation can be represented using automata on finite words. This also complements a very recent result of Hj\"orth, Khoussainov, Montalban and Nies showing that there is an omega-automatic structure which has no injective presentation.


title: Fixed Parameter Polynomial Time Algorithms for Maximum Agreement and Compatible Supertrees

abstract: Consider a set of labels $L$ and a set of trees ${\mathcal T} = \{{\mathcal T}^{(1), {\mathcal T}^{(2), ..., {\mathcal T}^{(k) \$ where each tree ${\mathcal T}^{(i)$ is distinctly leaf-labeled by some subset of $L$. One fundamental problem is to find the biggest tree (denoted as supertree) to represent $\mathcal T}$ which minimizes the disagreements with the trees in ${\mathcal T}$ under certain criteria. This problem finds applications in phylogenetics, database, and data mining. In this paper, we focus on two particular supertree problems, namely, the maximum agreement supertree problem (MASP) and the maximum compatible supertree problem (MCSP). These two problems are known to be NP-hard for $k \geq 3$. This paper gives the first polynomial time algorithms for both MASP and MCSP when both $k$ and the maximum degree $D$ of the trees are constant.


title: Efficient Algorithms for Membership in Boolean Hierarchies of Regular Languages

abstract: The purpose of this paper is to provide efficient algorithms that decide membership for classes of several Boolean hierarchies for which efficiency (or even decidability) were previously not known. We develop new forbidden-chain characterizations for the single levels of these hierarchies and obtain the following results: - The classes of the Boolean hierarchy over level $\Sigma_1$ of the dot-depth hierarchy are decidable in $NL$ (previously only the decidability was known). The same remains true if predicates mod $d$ for fixed $d$ are allowed. - If modular predicates for arbitrary $d$ are allowed, then the classes of the Boolean hierarchy over level $\Sigma_1$ are decidable. - For the restricted case of a two-letter alphabet, the classes of the Boolean hierarchy over level $\Sigma_2$ of the Straubing-Th\'erien hierarchy are decidable in $NL$. This is the first decidability result for this hierarchy. - The membership problems for all mentioned Boolean-hierarchy classes are logspace many-one hard for $NL$. - The membership problems for quasi-aperiodic languages and for $d$-quasi-aperiodic languages are logspace many-one complete for $PSPACE$.


title: Succinctness of the Complement and Intersection of Regular Expressions

abstract: We study the succinctness of the complement and intersection of regular expressions. In particular, we show that when constructing a regular expression defining the complement of a given regular expression, a double exponential size increase cannot be avoided. Similarly, when constructing a regular expression defining the intersection of a fixed and an arbitrary number of regular expressions, an exponential and double exponential size increase, respectively, can in worst-case not be avoided. All mentioned lower bounds improve the existing ones by one exponential and are tight in the sense that the target expression can be constructed in the corresponding time class, i.e., exponential or double exponential time. As a by-product, we generalize a theorem by Ehrenfeucht and Zeiger stating that there is a class of DFAs which are exponentially more succinct than regular expressions, to a fixed four-letter alphabet. When the given regular expressions are one-unambiguous, as for instance required by the XML Schema specification, the complement can be computed in polynomial time whereas the bounds concerning intersection continue to hold. For the subclass of single-occurrence regular expressions, we prove a tight exponential lower bound for intersection.


title: The Physics Program at MAMI-C

abstract: In February 2007, the fourth stage of the Mainz Microtron, MAMI-C, started operations with a first experiment. The new Harmonic Double-Sided Microtron delivers an electron beam with energies up to 1.5 GeV while preserving the excellent beam quality of the previous stages. The experimental program at MAMI is focused on studies of the hadron structure in the domain of non-perturbative QCD. In this paper, a few prominent selections of the extensive physics program at MAMI-C will be presented.


title: Model Checking Games for the Quantitative mu-Calculus

abstract: We investigate quantitative extensions of modal logic and the modal mu-calculus, and study the question whether the tight connection between logic and games can be lifted from the qualitative logics to their quantitative counterparts. It turns out that, if the quantitative mu-calculus is defined in an appropriate way respecting the duality properties between the logical operators, then its model checking problem can indeed be characterised by a quantitative variant of parity games. However, these quantitative games have quite different properties than their classical counterparts, in particular they are, in general, not positionally determined. The correspondence between the logic and the games goes both ways: the value of a formula on a quantitative transition system coincides with the value of the associated quantitative game, and conversely, the values of quantitative parity games are definable in the quantitative mu-calculus.


title: Prospects for a direct dark matter search using high resistivity CCD detectors

abstract: The possibility of using CCD detectors in a low threshold direct detection dark matter search experiment is discussed. We present the main features of the DECam detectors that make them a good alternative for such an experiment, namely their low noise and their large depleted volume. The performance of the DECam CCDs for the detection of nuclear recoils is discussed, and a measurement of the ionization efficiency for these events is presented. Finally the plans and expected reach for the CCD Experiment at Low Background (CELB) are discussed.


title: Environmentally induced corrections to the geometric phase in a two-level system

abstract: We calculate the geometric phase for different open systems (spin-boson and spin-spin models). We study not only how they are corrected by the presence of the different type of environments but also discuss the appearence of decoherence effects. These should be taken into account when planning experimental setups to study the geometric phase in the nonunitary regime. We propose a model with slow decoherence rate in which the geometric phase is still modified and might be measured.


title: Floer homology and splicing knot complements

abstract: We obtain a formula for the Heegaard Floer homology (hat theory) of the three-manifold $Y(K_1,K_2)$ obtained by splicing the complements of the knots $K_i\subset Y_i$, $i=1,2$, in terms of the knot Floer homology of $K_1$ and $K_2$. We also present a few applications. If $h_n^i$ denotes the rank of the Heegaard Floer group $\widehat{\mathrm{HFK}}$ for the knot obtained by $n$-surgery over $K_i$ we show that the rank of $\widehat{\mathrm{HF}}(Y(K_1,K_2))$ is bounded below by $$\big|(h_\infty^1-h_1^1)(h_\infty^2-h_1^2)- (h_0^1-h_1^1)(h_0^2-h_1^2)\big|.$$ We also show that if splicing the complement of a knot $K\subset Y$ with the trefoil complements gives a homology sphere $L$-space then $K$ is trivial and $Y$ is a homology sphere $L$-space.


title: Topologically massive gravity and complex Chern-Simons terms

abstract: This paper is withdrawn because its results have been previously reported in arxiv hep-th/0507200.


title: Spin squeezing of atomic ensembles via nuclear-electronic spin entanglement

abstract: Entangled many body systems have recently attracted significant attention in various contexts. Among them, spin squeezed atoms and ions have raised interest in the field of precision measurements, as they allow to overcome quantum noise of uncorrelated particles. Precise quantum state engineering is also required as a resource for quantum computation, and spin squeezing can be used to create multi-partite entangled states. Two-mode spin squeezed systems have been used for elementary quantum communication protocols. Until now spin squeezing has been always achieved via generation of entanglement between different atoms of the ensemble. In this Letter, we demonstrate for the first time ensemble spin squeezing generated by engineering the quantum state of each individual atom. More specifically, we entangle the nuclear and electronic spins of $10^{12}$ Cesium atoms at room temperature. We verify entanglement and ensemble spin squeezing by performing quantum tomography on the atomic state.


title: Magnetic field induced ferroelectric loop in Bi0.75Sr0.25FeO3

abstract: Magnetic field induced ferroelectric hysteresis loop observed in Bi0.75Sr0.25FeO3-delta is of prime importance. The coexistence of antiferromagnetism and weak ferromagnetism is responsible for the original magnetoelastic and magnetoferroelectric properties. Upon external magnetic field application, the existence of a magnetostrictive effect supports a structural transition towards a homogeneous antiferromagnetic and ferroelectric phase. The magnetic field induced polarization is among the highest reported for BiFeO3 based systems in either thin film or bulk forms (Pr=96 microC/cm2 at 10T) while the ferroelectric coercive field is among the lowest reported (Hc=661(V/cm) at 10T). These properties make this material very attractive for technical applications.


title: Delbr\"uck scattering in combined Coulomb and laser fields

abstract: We study Delbr\"uck scattering in a Coulomb field in the presence of a laser field. The amplitudes are calculated in the Born approximation with respect to the Coulomb field and exactly in the parameters of the laser field having arbitrary strength, spectral content and polarization. The case of high energy initial photon energy is investigated in detail for a monochromatic circularly polarized laser field. It is shown that the angular distribution of the process substantially differs from that for Delbr\"uck scattering in a pure Coulomb field. The value of the cross section under discussion may exceed the latter at realistic laser parameters that essentially simplify the possibility of the experimental observation of the phenomenon. The effect of high order terms in the quantum intensity parameter $\chi$ of the laser field is found to be very important already at relatively small $\chi$.


title: On measuring the masses of pair-produced semi-invisibly decaying particles at hadron colliders

abstract: A straightforward new technique is introduced which enables measurement at hadron colliders of an analytical combination of the masses of pair-produced semi-invisibly decaying particles and their invisible decay products. The new technique makes use of the invariance under contra-linear Lorentz boosts of a simple combination of the transverse momentum components of the aggregate visible products of each decay chain. In the general case where the invariant masses of the visible decay products are non-zero it is shown that in principle the masses of both the initial particles from the hard scattering and the invisible particles produced in the decay chains can be determined independently. This application is likely to be difficult to realise in practice however due to the contamination of the final state with ISR jets. The technique may be of most use for measurements of SUSY particle masses at the LHC, however the technique should be applicable to any class of hadron collider events in which heavy particles of unknown mass are pair-produced and decay to semi-invisible final states.


title: BHP universality and gaussianity in sunspot numbers fluctuations

abstract: We analyze the famous Wolf's sunspot numbers. We discovered that the distribution of the sunspot number fluctuations is a mixture of the BHP distribution with the Gaussian distribution.


title: Electron Emission in Superfluid and Low-temperature Vapor Phase Helium

abstract: Tungsten filaments used as sources of electrons in a low temperature liquid or gaseous helium environment have remarkable properties of operating at thousands of degrees Kelvin in surroundings at temperatures of order 1 K. We provide an explanation of this performance in terms of important changes in the thermal transport mechanisms. The behavior can be cast as a first-order phase transition.


title: Flavour Physics and CP Violation: Expecting the LHC

abstract: The starting point of these lectures is an introduction to the weak interactions of quarks and the Standard-Model description of CP violation, where the central role is played by the Cabibbo-Kobayashi-Maskawa matrix and the corresponding unitarity triangles. Since the B-meson system governs the stage of (quark) flavour physics and CP violation, it is our main focus: we shall classify B-meson decays, introduce the theoretical tools to deal with them, investigate the requirements for non-vanishing CP-violating asymmetries, and discuss the main strategies to explore CP violation and the preferred avenues for physics beyond the Standard Model to enter. This formalism allows us then to discuss important benchmark modes, where we will also address the question of how much space for new-physics effects in the B studies at the LHC is left by the recent experimental results from the B factories and the Tevatron.


title: Small angle neutron scattering study of the step-like magnetic transformation in Pr0.70Ca0.30MnO3

abstract: Small angle neutron scattering (SANS) magnetic and electrical transport measurements were performed to study a single crystal of Pr0.7Ca0.3MnO3, a colossal magnetoresistive (CMR) material. While the magnetic field induced transformation of this phase separated compound consisting of an antiferromagnetic insulating phase (AFI) and a ferromagnetic insulating phase (FI), is continuous at high temperature (above 5K), at lower temperature a step like transformation is observed (around 5T at 2K). Macroscopic magnetization measurements and SANS indicate that this transformation occurs by the formation of mesoscopic ferromagnetic metallic (FM) domains in the AFI phase, and, eventually, in the FI phase. Although above 5K this transformation is continuous, below 5K a magnetization step marks the abrupt transition from a large scale FI/AFI phase separation to a large scale phase separation between AFI, FI and FM phases. Our results suggest that relaxation of elastic strains inherent to the coexistence of these different phases plays a crucial role in the mechanism of these transformations. The occurrence of magnetization steps could result from an intrinsic behavior of the AFI phase at low temperature.


title: An Extended Model for the Evolution of Prebiotic Homochirality: A Bottom-Up Approach to the Origin of Life

abstract: A generalized autocatalytic model for chiral polymerization is investigated in detail. Apart from enantiomeric cross-inhibition, the model allows for the autogenic (non-catalytic) formation of left and right-handed monomers from a substrate with reaction rates $\epsilon_L$ and $\epsilon_R$, respectively. The spatiotemporal evolution of the net chiral asymmetry is studied for models with several values of the maximum polymer length, N. For N=2, we study the validity of the adiabatic approximation often cited in the literature. We show that the approximation obtains the correct equilibrium values of the net chirality, but fails to reproduce the short time behavior. We show also that the autogenic term in the full N=2 model behaves as a control parameter in a chiral symmetry- breaking phase transition leading to full homochirality from racemic initial conditions. We study the dynamics of the N -> infinity model with symmetric ($\epsilon_L = \epsilon_R$) autogenic formation, showing that it only achieves homochirality for $\epsilon < \epsilon_c$, where $\epsilon_c$ is an N-dependent critical value. For $\epsilon \leq \epsilon_c$ we investigate the behavior of models with several values of N, showing that the net chiral asymmetry grows as tanh(N). We show that for a given symmetric autogenic reaction rate, the net chirality and the concentrations of chirally pure polymers increase with the maximum polymer length in the model. We briefly discuss the consequences of our results for the development of homochirality in prebiotic Earth and possible experimental verification of our findings.


title: Unital ${A}_\infty$-categories

abstract: We prove that three definitions of unitality for A-infinity-categories suggested by the first author, by Kontsevich and Soibelman, and by Fukaya are equivalent.


title: q-Abel polynomials

abstract: This note gives a simple approach to q-analogues of some results associated with Abel polynomials.


title: On Cartan Spaces with the $m$-th Root Metric $K(x,p)=\sqrt[m]{a^{i_{1}i_{2}...i_{m}}(x)p_{i_{1}}p_{i_{2}}...p_{i_{m}}}$

abstract: The aim of this paper is to expose some geometrical properties of the locally Minkowski-Cartan space with the Berwald-Moor metric of momenta. This space is regarded as a particular case of the $m$-th root Cartan space. Thus, Section 2 studies the $v$-covariant derivation components of the $m$-th root Cartan space. Section 3 computes the $v$-curvature d-tensor $S^{hijk}$ of the m-th root Cartan space and studies conditions for $S3$-likeness. Section 4 computes the $T$-tensor $T^{hijk}$ of the m-th root Cartan space. Section 5 particularizes the preceding geometrical results for the Berwald-Moor metric of momenta.


title: The entropy of network ensembles

abstract: In this paper we generalize the concept of random networks to describe networks with non trivial features by a statistical mechanics approach. This framework is able to describe ensembles of undirected, directed as well as weighted networks. These networks might have not trivial community structure or, in the case of networks embedded in a given space, non trivial distance dependence of the link probability. These ensembles are characterized by their entropy which evaluate the cardinality of networks in the ensemble. The general framework we present in this paper is able to describe microcanonical ensemble of networks as well as canonical or hidden variables network ensemble with significant implication for the formulation of network constructing algorithms. Moreover in the paper we define and and characterize in particular the "structural entropy", i.e. the entropy of the ensembles of undirected uncorrelated simple networks with given degree sequence. We discuss the apparent paradox that scale-free degree distribution are characterized by having small structural entropy but are so widely encountered in natural, social and technological complex systems. We give the proof that while scale-free networks ensembles have small structural entropy, they also correspond to the most likely degree distribution with the corresponding value of the structural entropy.


title: MOND: A consequence of the geometric Leibniz Clock

abstract: Leibniz considered the notion of the 'empty physical space' to be a meaningless abstraction, and he held firmly to the view that the only significant thing was the set of relationships between 'objects', whatever these 'objects' might be. Similarly, he was equally clear in expressing his views about Newton's universal time, which he also considered to be a meaningless abstraction. In effect, for him, time was no more than a synonym for ordered change within a material system. The process of giving quantitative realization to this duality of non-Newtonian ideas forms the core of this work. A primary result arising is that every gravitating particle is no more than a clock - the geometric Leibniz Clock - which provides all the basic things: it conserves energy and angular momentum and satisfies the Weak Equivalence Principle. When the Clock is applied to model the concept of a galactic object within which all motions are circular, the characteristic properties of the MOND galaxy (asymptotic flatness, a critical acceleration scale, the baryonic Tully-Fisher relationship) are quantitatively reproduced in the resulting Leibniz galaxy. In short, the characteristic essence of MOND has its source in the geometric Leibniz Clock.


title: BPS preons and the AdS-M-algebra

abstract: We present here the AdS generalization of BPS preons, which were introduced as the hypothetical constituents of M-theory preserving all but one supersymmetries. Our construction, suggested by the relation of `lower dimensional preons' with higher spin theories, can be considered as a deformation of the M-algebraic description of the single supersymmetry broken by a preon, and provides another reason to identify the AdS generalization of the M-algebra, which we call the AdS-M-algebra, with osp(1|32).


title: Systematic study of pentaquark states: $qqq-q\bar{q}$ configuration

abstract: Group theoretic method for the systematic study of five-quark states with meson-baryon ($q\bar{q}-q^3$) configuration is developed. The calculation of matrix elements of many body Hamiltonian is simplified by transforming the physical bases (meson-baryon quark cluster bases) to symmetry bases (group chain classified bases), where the fractional parentage expansion method can be used. Three quark models, the naive Glashow-Isgur model, Salamanca chiral quark model and quark delocalization color screening model, are used to show the general applicability of the method and general results of constituent quark models for five-quark states are given. The method can also be useful in the calculation of meson-baryon scattering and the study of the five-quark components effect in baryon structure. The physical contents of different model configurations for the same multi-quark system can also be compared through the transformation between different physical bases to the same set of symmetry bases.


title: Anisotropic spin relaxation in graphene

abstract: Spin relaxation in graphene is investigated in electrical graphene spin valve devices in the non-local geometry. Ferromagnetic electrodes with in-plane magnetizations inject spins parallel to the graphene layer. They are subject to Hanle spin precession under a magnetic field $B$ applied perpendicular to the graphene layer. Fields above 1.5 T force the magnetization direction of the ferromagnetic contacts to align to the field, allowing injection of spins perpendicular to the graphene plane. A comparison of the spin signals at B = 0 and B = 2 T shows a 20 % decrease in spin relaxation time for spins perpendicular to the graphene layer compared to spins parallel to the layer. We analyze the results in terms of the different strengths of the spin orbit effective fields in the in-plane and out-of-plane directions.


title: Experimental evidence of antiproton reflection by a solid surface

abstract: We report here experimental evidence of the reflection of a large fraction of a beam of low energy antiprotons by an aluminum wall. This derives from the analysis of a set of annihilations of antiprotons that come to rest in rarefied helium gas after hitting the end wall of the apparatus. A Monte Carlo simulation of the antiproton path in aluminum indicates that the observed reflection occurs primarily via a multiple Rutherford-style scattering on Al nuclei, at least in the energy range 1-10 keV where the phenomenon is most visible in the analyzed data. These results contradict the common belief according to which the interactions between matter and antimatter are dominated by the reciprocally destructive phenomenon of annihilation.


title: Invariance de la Gamma-dimension pour certaines familles k\"ahl\'eriennes de dimension 3

abstract: In this article, we study some properties of deformation invariance of the Gamma-dimension (defined for X a compact k\"ahler manifold). This birational invariant is defined as the codimension of the maximal compact subvarieties in the universal cover of X. In the surface case, the deformation invariance is a straightforward consequence of a theorem of Y.-T. Siu. Using some results from F. Campana et Q. Zhang, we settle this invariance for certain type of K\"ahler families of dimension 3.


title: The Ionizing Stars of the Galactic Ultra-Compact HII Region G45.45+0.06

abstract: Using the NIFS near-infrared integral-field spectrograph behind the facility adaptive optics module, ALTAIR, on Gemini North, we have identified several massive O-type stars that are responsible for the ionization of the Galactic Ultra-Compact HII region G45.45+0.06. The sources ``m'' and ``n'' from the imaging study of Feldt et a. 1998 are classified as hot, massive O-type stars based on their K-band spectra. Other bright point sources show red and/or nebular spectra and one appears to have cool star features that we suggest are due to a young, low-mass pre-main sequence component. Still two other embedded sources (``k'' and ``o'' from Feldt et al.) exhibit CO bandhead emission that may arise in circumstellar disks which are possibly still accreting. Finally, nebular lines previously identified only in higher excitation planetary nebulae and associated with KrIII and SeIV ions are detected in G45.45+0.06.


title: Spontaneous R-parity violation: Lightest neutralino decays and neutrino mixing angles at future colliders

abstract: We study the decays of the lightest supersymmetric particle (LSP) in models with spontaneously broken R-parity. We focus on the two cases that the LSP is either a bino or a neutral singlet lepton. We work out the most important phenomenological differences between these two scenarios and discuss also how they might be distinguished from explicit R-Parity breaking models. In both cases we find that certain ratios of decay branching ratios are correlated with either the solar or the atmospheric (and reactor) neutrino angle. The hypothesis that spontaneous R-Parity violation is the source of the observed neutrino masses is therefore potentially testable at the LHC.


title: The inverse problem of differential Galois theory over the field R(z)

abstract: We describe a Picard-Vessiot theory for differential fields with non algebraically closed fields of constants. As a technique for constructing and classifying Picard-Vessiot extensions, we develop a Galois descent theory. We utilize this theory to prove that every linear algebraic group $G$ over $\mathbb{R}$ occurs as a differential Galois group over $\mathbb{R}(z)$. The main ingredient of the proof is the Riemann-Hilbert correspondence for regular singular differential equations over $\mathbb{C}(z)$.


title: Lyapunov Functionals and Local Dissipativity for the Vorticity Equation in L^p and Besov Spaces

abstract: In this paper we establish the local Lyapunov property of certain L^p and Besov norms of the vorticity fields. We have resolved in part, a certain open problem posed by Tosio Kato for the three dimensional Navier Stokes equation by studying the vorticity equation. The local dissipativity of the sum of linear and non-linear operators of the vorticity equation is established. One of the main techniques used here is Littlewood-Paley analysis.


title: Optimal design of nanoplasmonic materials using genetic algorithms as a multi-parameter optimization tool

abstract: An optimal control approach based on multiple parameter genetic algorithms is applied to the design of plasmonic nanoconstructs with pre-determined optical properties and functionalities. We first develop nanoscale metallic lenses that focus an incident plane wave onto a pre-specified, spatially confined spot. Our results illustrate the role of symmetry breaking and unravel the principles that favor dimeric constructs for optimal light localization. Next we design a periodic array of silver particles to modify the polarization of an incident, linearly-polarized plane wave in a desired fashion while localizing the light in space. The results provide insight into the structural features that determine the birefringence properties of metal nanoparticles and their arrays. Of the variety of potential applications that may be envisioned, we note the design of nanoscale light sources with controllable coherence and polarization properties that could serve for coherent control of molecular or electronic dynamics in the nanoscale.


title: Quantitative piezoelectric force microscopy: Influence of tip shape, size, and contact geometry on the nanoscale resolution of an antiparallel ferroelectric domain wall

abstract: The structure of a single antiparallel ferroelectric domain wall in LiNbO3 is quantitatively mapped by piezoelectric force microscopy (PFM) with calibrated probe geometry. The PFM measurements are performed for 49 probes with the radius varying from 10 to 300 nm. The magnitude and variation of the experimental piezoelectric coefficient across a domain wall matches the profiles calculated from a comprehensive analytical theory, as well as 3-dimensional finite element method simulations. Quantitative agreement between experimental and theoretical profile widths is obtained only when a finite disk-type tip radius that is in true contact with the sample surface is considered, which is in agreement with scanning electron microscopy images of the actual tips after imaging. The magnitude of the piezoelectric coefficient is shown to be independent of the tip radius, and the PFM profile width is linearly proportional to the tip radius. Finally we demonstrate a method to extract any intrinsic material broadening of the ferroelectric wall width. Surprisingly wide wall widths of 20- 200nm are observed.


title: Stochastic 2-D Navier-Stokes Equation with Artificial Compressibility

abstract: In this paper we study the stochastic Navier-Stokes equation with artificial compressibility. The main results of this work are the existence and uniqueness theorem for strong solutions and the limit to incompressible flow. These results are obtained by utilizing a local monotonicity property of the sum of the Stokes operator and the nonlinearity.


title: Reflection of OH molecules from magnetic mirrors

abstract: We have reflected a Stark-decelerated beam of OH molecules under normal incidence from mirrors consisting of permanent magnets. Two different types of magnetic mirrors have been demonstrated. A long-range flat mirror made from a large disc magnet has been used to spatially focus the reflected beam in the longitudinal direction ("bunching"). A short-range curved mirror composed of an array of small cube magnets allows for transverse focusing of the reflected beam.


title: Stable Sheaves Over K3 Fibrations

abstract: We construct stable sheaves over K3 fibrations using a relative Fourier-Mukai transform which describes the sheaves in terms of spectral data similar to the construction for elliptic fibrations. On K3 fibered Calabi-Yau threefolds we show that the Fourier-Mukai transform induces an embedding ion of the relative Jacobian of spectral line bundles on spectral covers into the moduli space of sheaves of given invariants. This makes the moduli space of spectral sheaves to a generic torus fibration over the moduli space of curves of given arithmetic genus on the Calabi-Yau manifold.


title: Transverse momentum broadening of vector boson production in high energy nuclear collisions

abstract: We calculate in perturbative QCD the transverse momentum broadening of vector boson production in high energy nuclear collisions. We evaluate the effect of initial-state parton multiple scattering for the production of the Drell-Yan virtual photon and $W/Z$ bosons. We calculate both the initial- and final-state multiple scattering effect for the production of heavy quarkonia and their transverse momentum broadening in both NRQCD and Color Evaporation model of quarkonium formation. We find that J/$\psi$ and $\Upsilon$ broadening in hadron-nucleus collision is close to $2C_A/C_F$ times the corresponding Drell-Yan broadening, which gives a good description of existing Fermilab data. Our calculations are also consistent with RHIC data on J/$\psi$ broadening in relativistic heavy ion collisions. We predict the transverse momentum broadening of vector boson (J/$\psi$, $\Upsilon$, and $W/Z$) production in relativistic heavy ion collisions at the LHC, and discuss the role of the vector boson broadening in diagnosing medium properties.


title: On antipodal spherical t-designs of degree s with $t\geq 2s-3$

abstract: We prove that if X is a spherical t-design and s-distance set with $t\geq 2s-3$, then X has the structure of Q-polynomial association scheme of class s. Also, we describe the parameters of the association scheme.


title: Classification Constrained Dimensionality Reduction

abstract: Dimensionality reduction is a topic of recent interest. In this paper, we present the classification constrained dimensionality reduction (CCDR) algorithm to account for label information. The algorithm can account for multiple classes as well as the semi-supervised setting. We present an out-of-sample expressions for both labeled and unlabeled data. For unlabeled data, we introduce a method of embedding a new point as preprocessing to a classifier. For labeled data, we introduce a method that improves the embedding during the training phase using the out-of-sample extension. We investigate classification performance using the CCDR algorithm on hyper-spectral satellite imagery data. We demonstrate the performance gain for both local and global classifiers and demonstrate a 10% improvement of the $k$-nearest neighbors algorithm performance. We present a connection between intrinsic dimension estimation and the optimal embedding dimension obtained using the CCDR algorithm.


title: Time-resolved photoluminescence of n-doped SrTiO_3

abstract: Following the recent surge of interest in n-doped strontium titanate as a possible blue light emitter, a time-resolved photoluminescence analysis was performed on nominally pure, Nb-doped and oxygen-deficient single-crystal SrTiO3 samples. The doping-effects on both the electronic states involved in the transition and the decay mechanism are respectively analyzed by comparing the spectral and dynamic features and the yields of the emission. Our time-resolved analysis, besides shedding some light on the basic recombination mechanisms acting in these materials, sets the intrinsic bandwidth limit of the proposed blue light emitting optoelectronic devices made of Ti-based perovskites heterostructures in the GHz range.


title: Topological Strings on Grassmannian Calabi-Yau manifolds

abstract: We present solutions for the higher genus topological string amplitudes on Calabi-Yau-manifolds, which are realized as complete intersections in Grassmannians. We solve the B-model by direct integration of the holomorphic anomaly equations using a finite basis of modular invariant generators, the gap condition at the conifold and other local boundary conditions for the amplitudes. Regularity of the latter at certain points in the moduli space suggests a CFT description. The A-model amplitudes are evaluated using a mirror conjecture for Grassmannian Calabi-Yau by Batyrev, Ciocan-Fontanine, Kim and Van Straten. The integrality of the BPS states gives strong evidence for the conjecture.


title: Random Lie group actions on compact manifolds: A perturbative analysis

abstract: A random Lie group action on a compact manifold generates a discrete time Markov process. The main object of this paper is the evaluation of associated Birkhoff sums in a regime of weak, but sufficiently effective coupling of the randomness. This effectiveness is expressed in terms of random Lie algebra elements and replaces the transience or Furstenberg's irreducibility hypothesis in related problems. The Birkhoff sum of any given smooth function then turns out to be equal to its integral w.r.t. a unique smooth measure on the manifold up to errors of the order of the coupling constant. Applications to the theory of products of random matrices and a model of a disordered quantum wire are presented.


title: Exact Isospectral Pairs of PT-Symmetric Hamiltonians

abstract: A technique for constructing an infinite tower of pairs of PT-symmetric Hamiltonians, $\hat{H}_n$ and $\hat{K}_n$ (n=2,3,4,...), that have exactly the same eigenvalues is described. The eigenvalue problem for the first Hamiltonian $\hat{H}_n$ of the pair must be posed in the complex domain, so its eigenfunctions satisfy a complex differential equation and fulfill homogeneous boundary conditions in Stokes' wedges in the complex plane. The eigenfunctions of the second Hamiltonian $\hat{K}_n$ of the pair obey a real differential equation and satisfy boundary conditions on the real axis. This equivalence constitutes a proof that the eigenvalues of both Hamiltonians are real. Although the eigenvalue differential equation associated with $\hat{K}_n$ is real, the Hamiltonian $\hat{K}_n$ exhibits quantum anomalies (terms proportional to powers of $\hbar$). These anomalies are remnants of the complex nature of the equivalent Hamiltonian $\hat{H}_n$. In the classical limit in which the anomaly terms in $\hat{K}_n$ are discarded, the pair of Hamiltonians $H_{n,classical}$ and $K_{n,classical}$ have closed classical orbits whose periods are identical.


title: Magnetization of a neutron plasma with Skyrme and Gogny forces in the presence of a strong magnetic field

abstract: Some thermodynamical magnitudes of interest in a pure neutron plasma are studied within the framework of the non-relativistic Brueckner-Hartree-Fock approximation at finite density and temperature. We use Skyrme and Gogny forces to describe such a neutron plasma and study the main differences that arise in these two effective parametrizations of the nuclear interaction when a strong magnetic field induces a permanent magnetization in the gas. The existence of a non-zero permanent spin polarization in a neutron plasma is explored in the density-temperature parameter space. We find that for moderate temperatures and in the low density range up to densities $\approx 0.5\rho_0$ both parametrizations predict that as density decreases an increasingly strong magnetization is allowed. In the range $0.5 \rho_0 \lesssim \rho \lesssim 3 \rho_0$ there is an approximately constant polarization that can be as big as $\approx 12%$ for the maximum allowed interior magnetic field $B \approx 10^{18}$ G. For higher densities there is a dramatic difference in the polarization trend followed by Skyrme an Gogny forces. While the former predict a ferromagnetic phase transition, the Gogny forces prevent it keeping the magnetization below 5%.


title: Emission-Line Galaxies from the PEARS Hubble Ultra Deep Field: A 2-D Detection Method and First Results

abstract: The Hubble Space Telescope (HST) Advanced Camera for Surveys (ACS) grism PEARS (Probing Evolution And Reionization Spectroscopically) survey provides a large dataset of low-resolution spectra from thousands of galaxies in the GOODS North and South fields. One important subset of objects in these data are emission-line galaxies (ELGs), and we have investigated several different methods aimed at systematically selecting these galaxies. Here we present a new methodology and results of a search for these ELGs in the PEARS observations of the Hubble Ultra Deep Field (HUDF) using a 2D detection method that utilizes the observation that many emission lines originate from clumpy knots within galaxies. This 2D line-finding method proves to be useful in detecting emission lines from compact knots within galaxies that might not otherwise be detected using more traditional 1D line-finding techniques. We find in total 96 emission lines in the HUDF, originating from 81 distinct "knots'' within 63 individual galaxies. We find in general that [OIII] emitters are the most common, comprising 44% of the sample, and on average have high equivalent widths (70% of [OIII] emitters having rest-frame EW>100A). There are 12 galaxies with multiple emitting knots--with different knots exhibiting varying flux values, suggesting that the differing star formation properties across a single galaxy can in general be probed at redshifts z~0.2-0.4. The most prevalent morphologies are large face-on spirals and clumpy interacting systems, many being unique detections owing to the 2D method described here, thus highlighting the strength of this technique.


title: Spectral averaging techniques for Jacobi matrices

abstract: Spectral averaging techniques for one-dimensional discrete Schroedinger operators are revisited and extended. In particular, simultaneous averaging over several parameters is discussed. Special focus is put on proving lower bounds on the density of the averaged spectral measures. These Wegner type estimates are used to analyze stability properties for the spectral types of Jacobi matrices under local perturbations.


title: Some Consequences of Gravitationally Induced Electromagnetic Effects in Microphysics

abstract: We discuss the relation between the gravitational and electromagnetic fields as governed by the Einstein-Maxwell field equations. It is emphasized that the tendency of the gravitational field to induce electromagnetic effects increases as the size of the system goes down. In particular, the gravitational field, according to general relativity, tends to become dominated by the spin at distances of the order of the Compton wavelength. The relevant quantity which governs this behavior is the ratio S/M^2 where S is the (spin) angular momentum. For an electron, S/M^2 ~ 10^44. Therefore, gravitomagnetic effects will play a significant role in the subatomic domain. To analyze this situation we use the asymptotic structure in the form of the multipole fields. Some important consequences for the electromagnetic fields of charged particles with spin are pointed out. In particular, the gravitational field may induce corrections to the Coulomb field which can be tested experimentally.


title: Electric-field-induced spin-flop in BiFeO3 single crystals at room-temperature

abstract: Bismuth ferrite, BiFeO3, is the only known room-temperature 'multiferroic' material. We demonstrate here, using neutron scattering measurements in high quality single crystals, that the antiferromagnetic and ferroelectric orders are intimately coupled. Initially in a single ferroelectric state, our crystals have a canted antiferromagnetic structure describing a unique cycloid. Under electrical poling, polarisation re-orientation induces a spin flop. We argue here that the coupling between the two orders may be stronger in the bulk than that observed in thin films where the cycloid is absent.


title: Inflation at the Tip

abstract: We study the motion of a (space filling) D3-brane at the tip of a warped deformed conifold, looking for inflationary trajectories. In our setup no anti D3-brane is present and the inflaton potential is induced by threshold corrections to the superpotential. First we study the slow roll regime and find that, allowing for fine tuning, hilltop inflation compatible with CMB data can take place. Then we consider the DBI regime and formulate a necessary condition for a phenomenologically viable inflationary stage. En passant, we propose a mechanism to cancel the large inflaton mass in the standard radial D3-anti D3-brane inflation.


title: Utility of a Special Second Scalar Doublet

abstract: This Brief Review deals with the recent resurgence of interest in adding a second scalar doublet (eta^+,eta^0) to the Standard Model of particle interactions. In most studies, it is taken for granted that eta^0 should have a nonzero vacuum expectation value, even if it may be very small. What if there is an exactly conserved symmetry which ensures <eta^0>=0? The phenomenological ramifications of this idea include dark matter, radiative neutrino mass, leptogenesis, and grand unification.


title: Constructions for infinitesimal group schemes

abstract: Let G be an infinitesimal group scheme over a field k of positive characteristic p. We introduce the global p-nilpotent operator $\Theta_G: k[G] \to k[V(G)]$, where V(G) is the scheme which represents 1-parameter subgroups of G. This operator applied to M encodes the local Jordan type of M, and leads to computational insights into the representation theory of G. For certain G-modules (including those of constant Jordan type), we employ the global p-nilpotent operator to associate various algebraic vector bundles on the projective scheme $\bP(G)$, the projectivization of the scheme of one-parameter subgroups of G. These vector bundles not only distinguish certain representations with the same local Jordan type, but also provide a method of constructing algebraic vector bundles on $\bP(G)$.


title: Renormalization Group Determination of the Five-Loop Effective Potential for Massless Scalar Field Theory

abstract: The five-loop effective potential and the associated summation of subleading logarithms for O(4) globally-symmetric massless $\lambda\phi^4$ field theory in the Coleman-Weinberg renormalization scheme $\frac{d^4V}{d\phi^4}|_{\phi = \mu} = \lambda$ (where $\mu$ is the renormalization scale) is calculated via renormalization-group methods. An important aspect of this analysis is conversion of the known five-loop renormalization-group functions in the minimal-subtraction (MS) scheme to the Coleman-Weinberg scheme.


title: On Normalized Table Algebras Generated by a Faithful Non-real Element of Degree 3-II

abstract: The concept of "table algebra" was introduced by Z Arad anf H. Blau in order to study in a uniform way properties of products of conjugacy classes and of irreducible characters of a finite group, Except for certain cases which remain open, Normalized Table Algebras Generated by a Faithful Non- real Element of degree 3. As application we classified finite groups with a faithful non-real irreducible character of dimension 3 without using character theory of finite groups.


title: Rank one Eisenstein cohomology of local systems on the moduli space of abelian varieties

abstract: We give a formula for the Eisenstein cohomology of local systems on the partial compactification of the moduli of principally polarized abelian varieties given by rank 1 degenerations. For genus 2 we give a formula for the full Eisenstein cohomology.


title: High Energy Positrons and the WMAP Haze from Exciting Dark Matter

abstract: We consider the signals of positrons and electrons from "exciting" dark matter (XDM) annihilation. Because of the light (m_phi ~< 1 GeV) force carrier phi into which the dark matter states can annihilate, the electrons and positrons are generally very boosted, yielding a hard spectrum, in addition to the low energy positrons needed for INTEGRAL observations of the galactic center. We consider the relevance of this scenario for HEAT, PAMELA and the WMAP "haze," focusing on light (m_phi ~< 2 m_pi) phi bosons, and find that significant signals can be found for all three, although significant signals generally require high dark matter densities. We find that measurements of the positron fraction are generally insensitive to the halo model, but do suffer significant astrophysical uncertainties. We discuss the implications for upcoming PAMELA results.


title: Diagrammatic Monte Carlo

abstract: Diagrammatic Monte Carlo (DiagMC) is a numeric technique that allows one to calculate quantities specified in terms of diagrammatic expansions, the latter being a standard tool of many-body quantum statistics. The sign problem that is typically fatal to Monte Carlo approaches, appears to be manageable with DiagMC. Starting with a general introduction to the principles of DiagMC, we present a detailed description of the DiagMC scheme for interacting fermions (Hubbard model), as well as the first illustrative results for the equations of state.


title: Duke's Theorem and Continued Fractions

abstract: For uniformly chosen random $\alpha \in [0,1]$, it is known the probability the $n^{\rm th}$ digit of the continued-fraction expansion, $[\alpha]_n$ converges to the Gauss-Kuzmin distribution $\mathbb{P}([\alpha]_n = k) \approx \log_2 (1 + 1/ k(k+2))$ as $n \to \infty$. In this paper, we show the continued fraction digits of $\sqrt{d}$, which are eventually periodic, also converge to the Gauss-Kuzmin distribution as $d \to \infty$ with bounded class number, $h(d)$. The proof uses properties of the geodesic flow in the unit tangent bundle of the modular surface, $T^1(\text{SL}_2 \mathbb{Z}\backslash \mathbb{H})$.


title: An Advice about Shimming in High-Resolution Nuclear Magnetic Resonance

abstract: Three methods of active shimming in high-resolution NMR in existence (manual shimming, lock optimization and gradient shimming) are briefly discussed and their advantages and shortcomings are compared and also an advice on their use is given.


title: Empirical oscillating potentials for alloys from ab-initio fits

abstract: By fitting to a database of ab-initio forces and energies, we can extract pair potentials for alloys, with a simple six-parameter analytic form including Friedel oscillations, which give a remarkably faithful account of many complex intermetallic compounds. As examples we show results for (crystal or quasicrystal) structure prediction and phonon spectrum for three systems: Fe--B, Al--Mg--Zn, and Al--Cu--Fe.


title: High energy cosmic rays from AGN and the GZK cutoff

abstract: Based on a model for the emission of high energy cosmic rays from AGN (Active Galactic Nuclei) that has been proposed by the author, he reviews the status of the GZK cutoff and the correlation of high energy cosmic ray sources with AGN locations in the existing data. The determination of mass for the incident particles seems to be a key factor, and a suggestion for doing that has been made in this article.


title: Essentialities in additive bases

abstract: Let A be an asymptotic basis for N_0 of some order. By an essentiality of A one means a subset P such that A\P is no longer an asymptotic basis of any order and such that P is minimal among all subsets of A with this property. A finite essentiality of A is called an essential subset. In a recent paper, Deschamps and Farhi asked the following two questions : (i) does every asymptotic basis of N_0 possess some essentiality ? (ii) is the number of essential subsets of size at most k of an asymptotic basis of order h bounded by a function of k and h only (they showed the number is always finite) ? We answer the latter question in the affirmative, and the former in the negative by means of an explicit construction, for every integer h >= 2, of an asymptotic basis of order h with no essentialities.


title: Quantum initial condition sampling for linearized density matrix dynamics: Vibrational pure dephasing of iodine in krypton matrices

abstract: This paper reviews the linearized path integral approach for computing time dependent properties of systems that can be approximated using a mixed quantum-classical description. This approach is applied to studying vibrational pure dephasing of ground state molecular iodine in a rare gas matrix. The Feynman-Kleinert optimized harmonic approximation for the full system density operator is used to sample initial conditions for the bath degrees of freedom. This extremely efficient approach is compared with alternative initial condition sampling techniques at low temperatures where classical initial condition sampling yields dephasing rates that are nearly an order of magnitude too slow compared with quantum initial condition sampling and experimental results.


title: The Great Observatories Origins Deep Survey. VLT/VIMOS Spectroscopy in the GOODS-South Field

abstract: We present the first results of the VIsible Multiobject Spectrograph (VIMOS) ESO/GOODS program of spectroscopy of faint galaxies in the Chandra Deep Field South (CDF-S). The program complements the FORS2 ESO/GOODS campaign. 3312 spectra have been obtained in service mode with VIMOS at the ESO/VLT UT3. The VIMOS LR-Blue and MR grisms have been used to cover different redshift ranges. Galaxies at 1.8 < z < 3.5 have been observed in the GOODS VIMOS-LR-Blue campaign. Galaxies at z < 1 and Lyman Break Galaxies at z > 3.5 have been observed in the VIMOS MR survey. Here we report results for the first 6 masks (out of 10 total) that have been analyzed from each of the LR-Blue and MR grisms. Spectra of 2344 spectra have been extracted from these 6 LR-Blue masks and 968 from 6 MR masks. 33% of the LR-Blue and 18% of the MR spectra are serendipitous observations. We obtained 1481 redshifts in the LR-Blue campaign and 656 in the MR campaign for a total success rate of 63% and 68%, respectively, which increase to 70% and 75% when only the primary targets are considered. By complementing our VIMOS spectroscopic catalog with all existing spectroscopic redshifts publicly available in the CDF-S, we created a redshift master catalog. By comparing this redshift compilation with different photometric redshift catalogs we estimate the completeness level of the CDF-S spectroscopic coverage in several redshift bins. The completeness level is very high, > 60%, at z < 3.5, and it is very uncertain at higher redshift. The master catalog has been used also to estimate completeness and contamination levels of different galaxy photometric selection techniques, such as the BzK, the so called 'sub'-U-dropout and the drop-out methods and to identify large scale structures in the field.


title: Isotropic and Anisotropic Lattice Spacing Corrections for I=2 pi-pi Scattering from Effective Field Theory

abstract: The calculation of the finite lattice spacing corrections for I=2 pi-pi scattering is carried out for isotropic and anisotropic Wilson lattice actions. Pion masses and decay constants are also determined in this context. These results correct the phase shift calculated from the lattice, which is connected to the scattering length and effective range in this low energy scattering process. When in terms of the lattice-physical parameters for either Wilson action, these lattice spacing effects first appear at the next-to-leading order counter-terms.


title: A New Approach to Spreadsheet Analytics Management in Financial Markets

abstract: Spreadsheets in financial markets are frequently used as database, calculator and reporting application combined. This paper describes an alternative approach in which spreadsheet design and database technology have been brought together in order to alleviate management and regulatory concerns over the operational risks of spreadsheet usage. In particular, the paper focuses on the rapid creation and centralised deployment of statistical analytics within a software system now in use by major investment banks, and presents a novel technique for the manipulation in spreadsheets of high volumes of intraday market data.


title: Suspended Graphene: a bridge to the Dirac point

abstract: The recent discovery of methods to isolate graphene, a one-atom-thick layer of crystalline carbon, has raised the possibility of a new class of nano-electronics devices based on the extraordinary electrical transport and unusual physical properties of this material. However, the experimental realization of devices displaying these properties was, until now, hampered by the influence of the ambient environment, primarily the substrate. Here we report on the fabrication of Suspended Graphene devices and on studies of their electrical transport properties. In these devices, environmental disturbances were minimized allowing unprecedented access to the intrinsic properties of graphene close to the Dirac Point (DP) where the energy dispersion of the carriers and their density-of-states vanish linearly giving rise to a range of exotic physical properties. We show that charge inhomogeneity is reduced by almost one order of magnitude compared to that in Non-Suspended Graphene devices. Moreover, near the DP, the mobility exceeds 100,000 cm2/Vs, approaching theoretical predictions for evanescent transport in the ballistic model.


title: Charm Meson Decays

abstract: We review some recent developments in charm meson physics. In particular, we discuss theoretical predictions and experimental measurements of charmed meson decays to leptonic, semileptonic, and hadronic final states and implications of such measurements to searches for new physics. We discuss D0-anti-D0-mixing and CP-violation in charm, and discuss future experimental prospects and theoretical challenges in this area.


title: "On the Impossibility of a Poincare-Invariant Vacuum State with Unit Norm" Refuted

abstract: Assertions made in a document recently deposited in the arXiv are refuted.


title: X-ray spectral variability in PG1535+547: the changing-look of a 'soft X-ray weak' AGN

abstract: PG1535+547 is a bright NLS1 galaxy, whose high energy emission shows strong variability in shape and flux. ROSAT data classified it as soft X-ray weak QSO (objects whose X-ray-to-optical flux ratio is smaller than in typical QSO): their X-ray spectra are often characterized by highly ionized, complex absorbers and/or reflection from the disk, whose relative importance is currently debated. In both cases, the presence of such features implies that we are looking at matter located in the innermost regions of the AGN. In this paper we want to clarify the nature of the X-ray emission of PG1535+547, and constrain the physical properties of regions where the emission originates. We present new XMM observations, from which we obtained 2 spectra separated by about 1 week, that we compare with a previous XMM observation. The data support the complex and variable nature of the X-ray emission. The broad band flux increases by a factor ~2.3 in 3 years, and then decreases by a factor ~1.3 in about 1 week. In the new EPIC spectra strong absorption features at E<3keV and a complex spectral shape in the Fe line energy range are evident, coupled with a drop in the emission at higher energies. We describe all the states assuming either a warm absorber plus a relativistically blurred ionized reflection, or a two-phase warm absorber partially covering the source plus a scattered component. The variability is ascribed to the warm absorbers, that vary their physical properties on timescales of years and days. In the reflection scenario all the states require a high fraction of reflection. The strong variability in the X-ray band opposed to a more constant optical emission implies that PG1535+547 can not actually be classified as a soft X-ray weak AGN.


title: Twisted conjugacy classes for polyfree groups

abstract: Let $G$ be a finitely generated polyfree group. If $G$ has nonzero Euler characteristic then we show that $Aut(G)$ has a finite index subgroup in which every automorphism has infinite Reidemeister number. For certain $G$ of length 2, we show that the number of Reidemeister classes of every automorphism is infinite.


title: Power maps and subvarieties of the complex algebraic $n$--torus

abstract: Given a subvariety $V$ of the complex algebraic torus ${\mathbb G}_{\rm m}^n$ defined by polynomials of total degree at most $d$ and a power map $\phi: {\mathbb G}_{\rm m}^n \to {\mathbb G}_{\rm m}^n$, the points ${\bf x}$ whose forward orbits ${\mathcal O}_\phi({\bf x})$ belong to $V$ form its {\em stable} subvariety $S(V,\phi)$. The main result of the paper provides an upper bound $T=T(n,d,\phi)$ for the number of iterations of the power map $\phi$ required to ``cut off'' the points of $V$ that do not belong to $S$.


title: The Effect of Charon's Tidal Damping on the Orbits of Pluto's Three Moons

abstract: Pluto's recently discovered minor moons, Nix and Hydra, have almost circular orbits, and are nearly coplanar with Charon, Pluto's major moon. This is surprising because tidal interactions with Pluto are too weak to damp their eccentricities. We consider an alternative possibility: that Nix and Hydra circularize their orbits by exciting Charon's eccentricity via secular interactions, and Charon in turn damps its own eccentricity by tidal interaction with Pluto. The timescale for this process can be less than the age of the Solar System, for plausible tidal parameters and moon masses. However, as we show numerically and analytically, the effects of the 2:1 and 3:1 resonant forcing terms between Nix and Charon complicate this picture. In the presence of Charon's tidal damping, the 2:1 term forces Nix to migrate outward and the 3:1 term changes the eccentricity damping rate, sometimes leading to eccentricity growth. We conclude that this mechanism probably does not explain Nix and Hydra's current orbits. Instead, we suggest that they were formed in-situ with low eccentricities. We also show that an upper limit on Nix's migration speed sets a lower limit on Pluto-Charon's tidal circularization timescale of >10^5 yrs. Moreover, Hydra's observed proper eccentricity may be explained by the 3:2 forcing by Nix.


title: Non-Perturbative Effects of Geometry in Wide-Angle Redshift Distortions

abstract: We use the formalism of Szapudi(2004} to derive full explicit expressions for the linear two-point correlation function, including redshift space distortions and large angle effects. We take into account a non-perturbative geometric term in the Jacobian, which is still linear in terms of the dynamics. This term had been identified previously (Kaiser 1987,Hamilton and Culhane 1996), but has been neglected in all subsequent explicit calculations of the linear redshift space two-point correlation function. Our results represent a significant correction to previous explicit expressions and are in excellent agreement with our measurements in the Hubble Volume Simulation.


title: Optical Selection of Faint AGN in the COSMOS Field

abstract: We outline a strategy to select faint (i<24.5) type 1 AGN candidates down to the Seyfert/QSO boundary for spectroscopic targeting in the COSMOS field, picking candidates by their nonstellar colors in broadband ground-based photometry and morphological properties extracted from HST-ACS. AGN optical color selection has not been applied to such faint magnitudes in such a large continuous part of the sky. Hot stars are known to be the dominant contaminant for bright AGN candidate selection at z<2, but we anticipate the highest color contamination at all redshifts to be from faint starburst and compact galaxies. Morphological selection via the Gini Coefficient separates most potential AGN from these faint blue galaxies. Recent models of the quasar luminosity function are used to estimate quasar surface densities, and studies of stellar populations in the COSMOS field infer stellar contamination. We use 292 spectroscopically confirmed type 1 AGN and quasar templates to predict AGN colors with redshift, and contrast those predictions with the colors of known contaminating populations. The motivation of this study and subsequent spectroscopic follow-up is to populate and refine the faint end of the QLF where the population of type 1 AGN is presently not well known. The anticipated AGN observations will add to the ~300 already known AGN in the COSMOS field, making COSMOS a densely packed field of quasars to be used to understand supermassive black holes and probe the structure of the intergalactic medium in the intervening volume.


title: Muon spin rotation studies of electronic excitations and magnetism in the vortex cores of superconductors

abstract: The focus of this paper is on recent progress in muon spin rotation (muSR) studies of the vortex cores in type-II superconductors. By comparison of muSR measurements of the vortex core size in a variety of materials with results from techniques that directly probe electronic states, the effect of delocalized quasiparticles on the spatial variation of field in a lattice of interacting vortices has been determined for both single-band and multi-band superconductors. These studies demonstrate the remarkable accuracy of what some still consider an exotic technique. In recent years muSR has also been used to search for magnetism in and around the vortex cores of high-temperature superconductors. As a local probe muSR is specially suited for detecting static or quasistatic magnetism having short-range or random spatial correlations. As discussed in this review, muSR experiments support a generic phase diagram of competing superconducting and magnetic order parameters, characterized by a quantum phase transition to a state where the competing order is spatially nonuniform.


title: A deep X-ray observation of M82 with XMM-Newton

abstract: We report on the analysis of a deep (100 ks) observation of the starburst galaxy M82 with the EPIC and RGS instruments on board the X-ray telescope XMM-Newton. The broad-band (0.5-10 keV) emission is due to at least three spectral components: i) continuum emission from point sources; ii) thermal plasma emission from hot gas; iii) charge exchange emission from neutral metals (Mg and Si). The plasma emission has a double-peaked differential emission measure, with the peaks at ~0.5 keV and ~7 keV. Spatially resolved spectroscopy has shown that the chemical absolute abundances are not uniformly distributed in the outflow, but are larger in the outskirts and smaller close to the galaxy centre. The abundance ratios also show spatial variations. The X-ray derived Oxygen abundance is lower than that measured in the atmospheres of red supergiant stars, leading to the hypothesis that a significant fraction of Oxygen ions have already cooled off and no longer emit at energies > ~0.5 keV.