title: Bounded Parikh Automata

abstract: The Parikh finite word automaton model (PA) was introduced and studied by Klaedtke and Ruess in 2003. Here, by means of related models, it is shown that the bounded languages recognized by PA are the same as those recognized by deterministic PA. Moreover, this class of languages is the class of bounded languages whose set of iterations is semilinear.


title: From Regular to Strictly Locally Testable Languages

abstract: A classical result (often credited to Y. Medvedev) states that every language recognized by a finite automaton is the homomorphic image of a local language, over a much larger so-called local alphabet, namely the alphabet of the edges of the transition graph. Local languages are characterized by the value k=2 of the sliding window width in the McNaughton and Papert's infinite hierarchy of strictly locally testable languages (k-slt). We generalize Medvedev's result in a new direction, studying the relationship between the width and the alphabetic ratio telling how much larger the local alphabet is. We prove that every regular language is the image of a k-slt language on an alphabet of doubled size, where the width logarithmically depends on the automaton size, and we exhibit regular languages for which any smaller alphabetic ratio is insufficient. More generally, we express the trade-off between alphabetic ratio and width as a mathematical relation derived from a careful encoding of the states. At last we mention some directions for theoretical development and application.


title: Substitutions over infinite alphabet generating (-\beta)-integers

abstract: This contribution is devoted to the study of positional numeration systems with negative base introduced by Ito and Sadahiro in 2009, called (-\beta)-expansions. We give an admissibility criterion for more general case of (-\beta)-expansions and discuss the properties of the set of (-\beta)-integers. We give a description of distances within this set and show that this set can be coded by an infinite word over an infinite alphabet, which is a fixed point of a non-erasing non-trivial morphism.


title: Dynamical generalizations of the Lagrange spectrum

abstract: We compute two invariants of topological conjugacy, the upper and lower limits of the inverse of Boshernitzan's ne_n, where e_n is the smallest measure of a cylinder of length n, for three families of symbolic systems, the natural codings of rotations and three-interval exchanges and the Arnoux-Rauzy systems. The sets of values of these invariants for a given family of systems generalize the Lagrange spectrum, which is what we get for the family of rotations with the upper limit of 1/ne_n.


title: A Classification of Trapezoidal Words

abstract: Trapezoidal words are finite words having at most n+1 distinct factors of length n, for every n>=0. They encompass finite Sturmian words. We distinguish trapezoidal words into two disjoint subsets: open and closed trapezoidal words. A trapezoidal word is closed if its longest repeated prefix has exactly two occurrences in the word, the second one being a suffix of the word. Otherwise it is open. We show that open trapezoidal words are all primitive and that closed trapezoidal words are all Sturmian. We then show that trapezoidal palindromes are closed (and therefore Sturmian). This allows us to characterize the special factors of Sturmian palindromes. We end with several open problems.


title: On Pansiot Words Avoiding 3-Repetitions

abstract: The recently confirmed Dejean's conjecture about the threshold between avoidable and unavoidable powers of words gave rise to interesting and challenging problems on the structure and growth of threshold words. Over any finite alphabet with k >= 5 letters, Pansiot words avoiding 3-repetitions form a regular language, which is a rather small superset of the set of all threshold words. Using cylindric and 2-dimensional words, we prove that, as k approaches infinity, the growth rates of complexity for these regular languages tend to the growth rate of complexity of some ternary 2-dimensional language. The numerical estimate of this growth rate is about 1.2421.


title: A new proof for the decidability of D0L ultimate periodicity

abstract: We give a new proof for the decidability of the D0L ultimate periodicity problem based on the decidability of p-periodicity of morphic words adapted to the approach of Harju and Linna.


title: The complexity of tangent words

abstract: In a previous paper, we described the set of words that appear in the coding of smooth (resp. analytic) curves at arbitrary small scale. The aim of this paper is to compute the complexity of those languages.


title: Unambiguous 1-Uniform Morphisms

abstract: A morphism h is unambiguous with respect to a word w if there is no other morphism g that maps w to the same image as h. In the present paper we study the question of whether, for any given word, there exists an unambiguous 1-uniform morphism, i.e., a morphism that maps every letter in the word to an image of length 1.


title: Constructing Premaximal Binary Cube-free Words of Any Level

abstract: We study the structure of the language of binary cube-free words. Namely, we are interested in the cube-free words that cannot be infinitely extended preserving cube-freeness. We show the existence of such words with arbitrarily long finite extensions, both to one side and to both sides.


title: Abelian returns in Sturmian words

abstract: In this paper we study an abelian version of the notion of return word. Our main result is a new characterization of Sturmian words via abelian returns. Namely, we prove that a word is Sturmian if and only if each of its factors has two or three abelian returns. In addition, we describe the structure of abelian returns in Sturmian words, and discuss connections between abelian returns and periodicity.


title: Information theory: Sources, Dirichlet series, and realistic analyses of data structures

abstract: Most of the text algorithms build data structures on words, mainly trees, as digital trees (tries) or binary search trees (bst). The mechanism which produces symbols of the words (one symbol at each unit time) is called a source, in information theory contexts. The probabilistic behaviour of the trees built on words emitted by the same source depends on two factors: the algorithmic properties of the tree, together with the information-theoretic properties of the source. Very often, these two factors are considered in a too simplified way: from the algorithmic point of view, the cost of the Bst is only measured in terms of the number of comparisons between words --from the information theoretic point of view, only simple sources (memoryless sources or Markov chains) are studied. We wish to perform here a realistic analysis, and we choose to deal together with a general source and a realistic cost for data structures: we take into account comparisons between symbols, and we consider a general model of source, related to a dynamical system, which is called a dynamical source. Our methods are close to analytic combinatorics, and our main object of interest is the generating function of the source Lambda(s), which is here of Dirichlet type. Such an object transforms probabilistic properties of the source into analytic properties. The tameness of the source, which is defined through analytic properties of Lambda(s), appears to be central in the analysis, and is precisely studied for the class of dynamical sources. We focus here on arithmetical conditions, of diophantine type, which are sufficient to imply tameness on a domain with hyperbolic shape.


title: Systems of Word Equations and Polynomials: a New Approach

abstract: We develop new polynomial methods for studying systems of word equations. We use them to improve some earlier results and to analyze how sizes of systems of word equations satisfying certain independence properties depend on the lengths of the equations. These methods give the first nontrivial upper bounds for the sizes of the systems.


title: Word posets, with applications to Coxeter groups

abstract: We discuss the theory of certain partially ordered sets that capture the structure of commutation classes of words in monoids. As a first application, it follows readily that counting words in commutation classes is #P-complete. We then apply the partially ordered sets to Coxeter groups. Some results are a proof that enumerating the reduced words of elements of Coxeter groups is #P-complete, a recursive formula for computing the number of commutation classes of reduced words, as well as stronger bounds on the maximum number of commutation classes than were previously known. This also allows us to improve the known bounds on the number of primitive sorting networks.


title: Optimizing Properties of Balanced Words

abstract: In the past few decades there has been a good deal of papers which are concerned with optimization problems in different areas of mathematics (along 0-1 words, finite or infinite) and which yield - sometimes quite unexpectedly - balanced words as optimal. In this note we list some key results along these lines known to date.


title: On the Delone property of (-\beta)-integers

abstract: The (-\beta)-integers are natural generalisations of the \beta-integers, and thus of the integers, for negative real bases. They can be described by infinite words which are fixed points of anti-morphisms. We show that they are not necessarily uniformly discrete and relatively dense in the real numbers.


title: Permutation complexity of the fixed points of some uniform binary morphisms

abstract: An infinite permutation is a linear order on the set N. We study the properties of infinite permutations generated by fixed points of some uniform binary morphisms, and find the formula for their complexity.


title: Permutation Complexity Related to the Letter Doubling Map

abstract: Given a countable set X (usually taken to be the natural numbers or integers), an infinite permutation, \pi, of X is a linear ordering of X. This paper investigates the combinatorial complexity of infinite permutations on the natural numbers associated with the image of uniformly recurrent aperiodic binary words under the letter doubling map. An upper bound for the complexity is found for general words, and a formula for the complexity is established for the Sturmian words and the Thue-Morse word.


title: Large scale anisotropy due to pre-inflationary phase of cosmic evolution

abstract: We show that perturbations generated during the anisotropic pre-inflationary stage of cosmic evolution may affect cosmological observations today for a certain range of parameters. Due to the anisotropic nature of the universe during such early times, it might explain some of the observed signals of large scale anisotropy. In particular we argue that the alignment of CMB quadrupole and octopole may be explained by the Sachs-Wolfe effect due to the large scale anisotropic modes from very early times of cosmological evolution. We also comment on how the observed dipole modulation of CMB power may be explained within this framework.


title: What role does the third law of thermodynamics play in Szilard engines?

abstract: The role of the third law of thermodynamics in the Szilard engine has been addressed. If the ground state is non-degenerate, the entropy production defined as the work extractable from the engine divided by temperature vanishes as temperature approaches zero due to the third law. The degenerate ground state induced by the symmetry or by accidence gives rise to non-zero entropy production at zero temperature associated with the residual entropy. Various physical situations such as the SZE consisting of bosons or fermions either with or without interaction have been investigated.


title: Half-Metallic Antiferromagnet as a Prospective Material for Spintronics

abstract: Spintronics is expected as the next-generation technology based on the novel notch of spin degree of freedom of electrons. Half metals, a class of materials which behave as a metal in one spin direction and an insulator in the opposite spin direction, are ideal for spintronic applications. Half metallic antiferromagnets as a subclass of half metals are characterized further by totally compensated spin moments in a unit cell, and have the advantage of being able to generate fully spin-polarized current while exhibiting zero macroscopic magnetization. Considerable efforts have been devoted to the search for this novel material, from which we may get useful hints for prospective material exploration.


title: The Effect of the Circumstellar Material on the Light Curves of Eclipsing Binary Systems

abstract: This study inspects the influence of various effects and free parameters of the accretion disc and circumstellar material on the emerging light curve of eclipsing binary systems that have a circumstellar disc, by using the SHELLSPEC code. The results indicate that some of the parameters namely the temperature and inclination of the disc, spot, jet, stream and shell significantly affect on the emerging light curve while some other parameters namely the exponent of the power-law behavior of the density of the disc, microturbulence, inner and outer radius of the disc don't noticeably affect on the emerging light curve. An application to the Algol-type eclipsing binary system AV Del and an accretion disc model for the system using the SHELLSPEC code is included.


title: ABCD of 3d ${\cal N}=8$ and 4 Superconformal Field Theories

abstract: We argue the equivalence between the infrared conformal field theory of the 3d $\mathcal{N}=8$ supersymmetric Yang-Mills theories of ABCD ($U(N), SO(2N+1), Sp(2N), O(2N)$) gauge groups and the ABJ(M) theories of $U(N)_k\times U(\tilde N)_{-k}$ for $k=1,2$. We support this duality by comparing the superconformal index of the IR limit of these super Yang-Mills theories and that of those ABJ(M) models. Especially we find the match between two indices of (mirror dual of) the $\mathcal{N}=8$ U(N) SYM and of $U(N)_1\times U(N)_{-1}$ ABJM model. Also we take large $N$ limit of ABCD super Yang-Mills theories with additional fundamental hyper-multiplets and infer the large N limit of $\mathcal{N}=8$ ABCD theories themselves, finding the expected gravitational duals. With the additional input on finite N, we argue the equivalence of Yang-Mills and ABJ(M) theories for all N. We further explore similar dualities to Chern-Simons matter theories for $\mathcal{N}=4$ Yang-Mills theories related by mirror symmetry.


title: Linearizability of Nonlinear Equations on a Quad-Graph by a Point, Two Points and Generalized Hopf-Cole Transformations

abstract: In this paper we propose some linearizability tests of partial difference equations on a quad-graph given by one point, two points and generalized Hopf-Cole transformations. We apply the so obtained tests to a set of nontrivial examples.


title: Criteria for measures of quantum correlations

abstract: Entanglement does not describe all quantum correlations and several authors have shown the need to go beyond entanglement when dealing with mixed states. Various different measures have sprung up in the literature, for a variety of reasons, to describe bipartite and multipartite quantum correlations; some are known under the collective name quantum discord. Yet, in the same sprit as the criteria for entanglement measures, there is no general mechanism that determines whether a measure of quantum and classical correlations is a proper measure of correlations. This is partially due to the fact that the answer is a bit muddy. In this article we attempt tackle this muddy topic by writing down several criteria for a "good" measure of correlations. We breakup our list into necessary, reasonable, and debatable conditions. We then proceed to prove several of these conditions for generalized measures of quantum correlations. However, not all conditions are met by all measures; we show this via several examples. The reasonable conditions are related to continuity of correlations, which has not been previously discussed. Continuity is an important quality if one wants to probe quantum correlations in the laboratory. We show that most types of quantum discord are continuous but none are continuous with respect to the measurement basis used for optimization.


title: The 2-Transitive Transplantable Isospectral Drums

abstract: For Riemannian manifolds there are several examples which are isospectral but not isometric, see e.g. J. Milnor [Proc. Nat. Acad. Sci. USA 51 (1964), 542]; in the present paper, we investigate pairs of domains in ${\mathbb R}^2$ which are isospectral but not congruent. All known such counter examples to M. Kac's famous question can be constructed by a certain tiling method ("transplantability") using special linear operator groups which act 2-transitively on certain associated modules. In this paper we prove that if any operator group acts 2-transitively on the associated module, no new counter examples can occur. In fact, the main result is a corollary of a result on Schreier coset graphs of 2-transitive groups.


title: Comparison of two structures for transition-metal-based half Heusler alloys exhibiting fully compensated half metallicity

abstract: We search for new fully compensated half metals, in which only one electronic spin channel is conducting and there exists no net magnetic moment. We focus on half Heusler alloys and we examine the physical consequence of different crystal structures found in the literature for these compounds, XMnZ, with a transition metal element, such as Cr, Mn, and Fe for X and a nonmetallic element, such as P, Sb and Si for Z. The structures differ in the placement of voids in the L2$_1$ structure of the full Heulser alloy. One structure has the void at (1/4, 3/4, 1/4)a and the other places the void at (0.0, 0.0, 1/2)a. The first structure is expected to have greater d-p hybridization between Mn and the Z atom. The other exhibits strong d-d hybridization between the nearest neighboring transition metal elements. Five XMnZ compounds are considered along with the previously studied CrMnSb in the second structure, which serves as a reference. Besides the CrMnSb, only one other alloy, MnMnSi, shows fully compensated half metallic properties in both structures. Both these alloys obey the Slater-Pauling electron counting rule for half Hesuler alloys. The differences between CrMnSb and MnMnSi in the two structures are discussed based on their atomic properties. In the search for fully compensated half metals in transition metal-based half Heusler alloys, we suggest using the counting rule as a guide.


title: Coordination using Implicit Communication

abstract: We explore a basic noise-free signaling scenario where coordination and communication are naturally merged. A random signal X_1,...,X_n is processed to produce a control signal or action sequence A_1,...,A_n, which is observed and further processed (without access to X_1,...,X_n) to produce a third sequence B_1,...,B_n. The object of interest is the set of empirical joint distributions p(x,a,b) that can be achieved in this setting. We show that H(A) >= I(X;A,B) is the necessary and sufficient condition for achieving p(x,a,b) when no causality constraints are enforced on the encoders. We also give results for various causality constraints. This setting sheds light on the embedding of digital information in analog signals, a concept that is exploited in digital watermarking, steganography, cooperative communication, and strategic play in team games such as bridge.


title: Constructing minimal phylogenetic networks from softwired clusters is fixed parameter tractable

abstract: Here we show that, given a set of clusters C on a set of taxa X, where |X|=n, it is possible to determine in time f(k).poly(n) whether there exists a level-<= k network (i.e. a network where each biconnected component has reticulation number at most k) that represents all the clusters in C in the softwired sense, and if so to construct such a network. This extends a polynomial time result from "On the elusiveness of clusters" by Kelk, Scornavacca and Van Iersel(2011). By generalizing the concept of "level-k generator" to general networks, we then extend this fixed parameter tractability result to the problem where k refers not to the level but to the reticulation number of the whole network.


title: Electromagnetic counterparts from counter-rotating relativistic kicked discs

abstract: We show the results of two dimensional general relativistic inviscid and isothermal hydrodynamical simulations comparing the behavior of co-rotating (with respect to the black hole rotation) and counter-rotating circumbinary quasi-Keplerian discs in the post merger phase of a supermassive binary black hole system. While confirming the spiral shock generation within the disc due to the combined effects of mass loss and recoil velocity of the black hole, we find that the maximum luminosity of counter-rotating discs is a factor ~(2-12) higher than in the co-rotating case, depending on the spin of the black hole. On the other hand, the luminosity peak happens ~10 days later with respect to the co-rotating case, for a binary with a total mass M~10^6 M_\odot. Although the global dynamics of counter-rotating discs in the post merger phase of a merging event is very similar to that for co-rotating discs, an important difference has been found. In fact, increasing the spin of the central black hole produces more luminous co-rotating discs while less luminous counter-rotating ones.


title: The bottleneck 2-connected $k$-Steiner network problem for $k\leq 2$

abstract: The geometric bottleneck Steiner network problem on a set of vertices $X$ embedded in a normed plane requires one to construct a graph $G$ spanning $X$ and a variable set of $k\geq 0$ additional points, such that the length of the longest edge is minimised. If no other constraints are placed on $G$ then a solution always exists which is a tree. In this paper we consider the Euclidean bottleneck Steiner network problem for $k\leq 2$, where $G$ is constrained to be 2-connected. By taking advantage of relative neighbourhood graphs, Voronoi diagrams, and the tree structure of block cut-vertex decompositions of graphs, we produce exact algorithms of complexity $O(n^2)$ and $O(n^2\log n)$ for the cases $k=1$ and $k=2$ respectively. Our algorithms can also be extended to other norms such as the $L_p$ planes.


title: Incidence properties of cosets in loops

abstract: We study incidence properties among cosets of finite loops, with emphasis on well-structured varieties such as antiautomorphic loops and Bol loops. While cosets in groups are either disjoint or identical, we find that the incidence structure in general loops can be much richer. Every symmetric design, for example, can be realized as a canonical collection of cosets of a finite loop. We show that in the variety of antiautomorphic loops the poset formed by set inclusion among intersections of left cosets is isomorphic to that formed by right cosets. We present an algorithm that, given a finite Bol loop $S$, can in some cases determine whether $|S|$ divides $|Q|$ for all finite Bol loops $Q$ with $S \le Q$, and even whether there is a selection of left cosets of $S$ that partitions $Q$. This method results in a positive confirmation of Lagrange's Theorem for Bol loops for a few new cases of subloops. Finally, we show that in a left automorphic Moufang loop $Q$ (in particular, in a commutative Moufang loop $Q$), two left cosets of $S\le Q$ are either disjoint or they intersect in a set whose cardinality equals that of some subloop of $S$.


title: Discussion of "Bayesian Models and Methods in Public Policy and Government Settings" by S. E. Fienberg

abstract: Fienberg convincingly demonstrates that Bayesian models and methods represent a powerful approach to squeezing illumination from data in public policy settings. However, no school of inference is without its weaknesses, and, in the face of the ambiguities, uncertainties, and poorly posed questions of the real world, perhaps we should not expect to find a formally correct inferential strategy which can be universally applied, whatever the nature of the question: we should not expect to be able to identify a "norm" approach. An analogy is made between George Box's "no models are right, but some are useful," and inferential systems [arXiv:1108.2177].


title: Ken Kunen: Algebraist

abstract: This paper is a greatly expanded version of a talk I gave in April 2009 at KunenFest. It describes Ken's work in algebra, particularly using automated deduction tools.


title: Combinatorial analogues of ad-nilpotent ideals for untwisted affine Lie algebras

abstract: We study certain types of ideals in the standard Borel subalgebra of an untwisted affine Lie algebra. We classify these ideals in terms of the root combinatorics and give an explicit formula for the number of such ideals in type $A$. The formula involves various aspects of combinatorics of Dyck paths and leads to a new interesting integral sequence.


title: Convergence of Goal-Oriented Adaptive Finite Element Methods for Nonsymmetric Problems

abstract: In this article we develop convergence theory for a class of goal-oriented adaptive finite element algorithms for second order nonsymmetric linear elliptic equations. In particular, we establish contraction results for a method of this type for Dirichlet problems involving the elliptic operator L u = div (A grad u) - (b,grad u) - cu, with A Lipschitz, almost-everywhere symmetric positive definite, with b divergence-free, and with c >= 0. We first describe the problem class and review some standard facts concerning conforming finite element discretization and error-estimate-driven adaptive finite element methods (AFEM). We then describe a goal-oriented variation of standard AFEM (GOAFEM). Following the recent work of Mommer and Stevenson for symmetric problems, we establish contraction of GOAFEM and convergence in the sense of the goal function. Our analysis approach is signficantly different from that of Mommer and Stevenson, combining the recent contraction frameworks developed by Cascon, Kreuzer, Nochetto and Siebert; by Nochetto, Siebert and Veeser; and by Holst, Tsogtgerel and Zhu. We include numerical results demonstrating performance of our method with standard goal-oriented strategies on a convection problem.


title: Finite Element Error Estimates for Critical Growth Semilinear Problems without Angle Conditions

abstract: In this article we consider a priori error and pointwise estimates for finite element approximations of solutions to semilinear elliptic boundary value problems in d>=2 space dimensions, with nonlinearities satisfying critical growth conditions. It is well-understood how mesh geometry impacts finite element interpolant quality, and leads to the reasonable notion of shape regular simplex meshes. It is also well-known how to perform both mesh generation and simplex subdivision, in arbitrary space dimension, so as to guarantee the entire hierarchy of nested simplex meshes produced through subdivision continue to satisfy shape regularity. However, much more restrictive angle conditions are needed for basic a priori quasi-optimal error estimates, as well as for a priori pointwise estimates. These angle conditions, which are particularly difficult to satisfy in three dimensions in any type of unstructured or adaptive setting, are needed to gain pointwise control of the nonlinearity through discrete maximum principles. This represents a major gap in finite element approximation theory for nonlinear problems on unstructured meshes, and in particular for adaptive methods. In this article, we close this gap in the case of semilinear problems with critical or sub-critical nonlinear growth, by deriving a priori estimates directly, without requiring the discrete maximum principle, and hence eliminating the need for restrictive angle conditions. Our main result is a type of local Lipschitz property that relies only on the continuous maximum principle, together with the growth condition. We also show that under some additional smoothness assumptions, the a priori error estimate itself is enough to give pointwise control the discrete solution, without the need for restrictive angle conditions. Numerical experiments confirm our theoretical conclusions.


title: The Outer Disks of Early-Type Galaxies. II. Surface-Brightness Profiles of Unbarred Galaxies and Trends with Hubble Type

abstract: We present azimuthally averaged radial profiles of R-band surface brightness for a complete sample of 47 early-type, unbarred galaxies, as a complement to our previous study of early-type barred galaxies. Following very careful sky subtraction, the profiles can typically be determined down to brightness levels well below 27 mag arcsec^{-2} and in the best cases below 28 mag arcsec^{-2}. We classified the profiles according to the scheme used previously for the barred sample: Type I profiles are single unbroken exponential radial declines in brightness; Type II profiles ("truncations") have an inner shallow slope (usually exponential) which changes at a well defined break radius to a steeper exponential; and Type III profiles ("antitruncations") have an inner exponential that is steeper, giving way to a shallower outer (usually exponential) decline. By combining these profiles with previous studies, we can make the first clear statements about the trends of outer-disk profile types along the Hubble sequence (including both barred and unbarred galaxies), and their global frequencies. We find that Type I profiles are most frequent in early-type disks, decreasing from one-third of all S0--Sa disks to barely 10% of the latest type spirals. Conversely, Type II profiles (truncations) increase in frequency with Hubble type, from only ~25% of S0 galaxies to ~80% of Sd--Sm spirals. Overall, the fractions of Type I, II, and III profiles for all disk galaxies (Hubble types S0--Sm) are: 21%, 50%, and 38%, respectively; this includes galaxies (~8% of the total) with composite Type II+III profiles (counted twice). Finally, we note the presence of bars in ten galaxies previously classified (optically) as "unbarred". This suggests that ~20% of optically unbarred galaxies are actually barred; the bars in such cases can be weak, obscured by dust, or so large as to be mistaken for the main disk


title: Weak vs. approximate values in quantum state determination

abstract: We generalize the concept of a weak value of a quantum observable to cover arbitrary real positive operator measures. We show that the definition is operationally meaningful in the sense that it can be understood within the quantum theory of sequential measurements. We then present a detailed analysis of the recent experiment of Lundeen et al. concerning the reconstruction of the state of a photon using weak measurements. We compare their method with the reconstruction method through informationally complete phase space measurements and show that it lacks the generality of the phase space method. In particular, a completely unknown state can never be reconstructed using the method of weak measurements.


title: Circumstellar Material in Type Ia Supernovae via Sodium Absorption Features

abstract: Type Ia supernovae are key tools for measuring distances on a cosmic scale. They are generally thought to be the thermonuclear explosion of an accreting white dwarf in a close binary system. The nature of the mass donor is still uncertain. In the single-degenerate model it is a main-sequence star or an evolved star, whereas in the double-degenerate model it is another white dwarf. We show that the velocity structure of absorbing material along the line of sight to 35 type Ia supernovae tends to be blueshifted. These structures are likely signatures of gas outflows from the supernova progenitor systems. Thus many type Ia supernovae in nearby spiral galaxies may originate in single-degenerate systems.


title: On the Testing of Seismicity Models

abstract: Recently a likelihood-based methodology has been developed by the Collaboratory for the Study of Earthquake Predictability (CSEP) with a view to testing and ranking seismicity models. We analyze this approach from the standpoint of possible applications to hazard analysis. We arrive at the conclusion that model testing can be made more efficient by focusing on some integral characteristics of the seismicity distribution. This is achieved either in the likelihood framework but with economical and physically reasonable coarsening of the phase space or by choosing a suitable measure of closeness between empirical and model seismicity rate in this space.


title: Die Verteilung des Geschlechts zuf\"allig gew\"ahlter Origamis (Distribution of the genus of random origamis)

abstract: Resultate der Charaktertheorie der symmetrischen Gruppe werden verwendet, um eine Verteilungsfunktion f\"ur das Geschlecht zuf\"allig gew\"ahlter Origamis zu erhalten. -- Results from the character theory of the symmetric group are used to obtain the distribution function of the genus of random origamis.)


title: Determinantal Facet Ideals

abstract: We consider ideals generated by general sets of $m$-minors of an $m\times n$-matrix of indeterminates. The generators are identified with the facets of an $(m-1)$-dimensional pure simplicial complex. The ideal generated by the minors corresponding to the facets of such a complex is called a determinantal facet ideal. Given a pure simplicial complex $\Delta$, we discuss the question when the generating minors of its determinantal facet ideal $J_\Delta$ form a Gr\"obner basis and when $J_\Delta$ is a prime ideal.


title: Extensions of representations of p-adic groups

abstract: We calculate extensions between certain irreducible admissible representations of p-adic groups.


title: Mechanism of Fermi Level Pinning at Metal/Germanium Interfaces

abstract: The physical origin of Fermi level pinning (FLP) at metal/Ge interfaces has been argued over a long period. Using the Fe$_{3}$Si/Ge(111) heterostructure developed originally, we can explore electrical transport properties through atomically matched metal/Ge junctions. Unlike the conventional metal/$p$-Ge junctions reported so far, we clearly observe rectifying current-voltage characteristics with a measurable Schottky barrier height, depending on the contact area of the Fe$_{3}$Si/Ge(111) junction. These results indicate that one should distinguish between intrinsic and extrinsic mechanisms for discussing the formation of the Schottky barrier at metal/Ge interfaces. This study will be developed for understanding FLP for almost all the metal/semiconductor interfaces.


title: Spectroscopic characterization of the atmospheres of potentially habitable planets: GL 581 d as a model case study

abstract: (abridged) The Super-Earth candidate GL 581 d is the first potentially habitable extrasolar planet. Therefore, GL 581 d is used to illustrate a hypothetical detailed spectroscopic characterization of such planets. Atmospheric profiles from 1D radiative-convective model scenarios of GL 581 d were used to calculate high-resolution synthetic spectra. From the spectra, signal-to-noise ratios were calculated for a telescope such as the planned James Webb Space Telescope. The presence of the model atmospheres could be clearly inferred from the calculated synthetic spectra due to strong water and carbon dioxide absorption bands. Surface temperatures could be inferred for model scenarios with optically thin spectral windows. Dense, CO2-rich scenarios did not allow for the characterization of surface temperatures and to assess habitability. Degeneracies between CO2 concentration and surface pressure further complicated the interpretation of the calculated spectra, hence the determination of atmospheric conditions. Still, inferring approximative CO2 concentrations and surface pressures would be possible. In practice, detecting atmospheric signals is challenging. The SNR for a single transit was only larger than unity in some near-IR bands for transmission spectroscopy. Most interestingly, the false-positive detection of biomarker candidates such as methane and ozone could be possible in low resolution spectra due to the presence of CO2 absorption bands which overlap with biomarker spectral bands. This can be avoided however by observing all main CO2 IR bands instead of concentrating on, e.g., the 4.3 or 15 micron bands only. Furthermore, a masking of ozone signatures by CO2 absorption bands is shown to be possible. Simulations imply that such a false-negative detection of ozone would be possible even for rather large ozone concentrations of up to 1E-5.


title: Iterated splitting and the classification of knot tunnels

abstract: For a genus-1 1-bridge knot in the 3-sphere, that is, a (1,1)-knot, a middle tunnel is a tunnel that is not an upper or lower tunnel for some (1,1)-position. Most torus knots have a middle tunnel, and non-torus-knot examples were obtained by Goda, Hayashi, and Ishihara. In a previous paper, we generalized their construction and calculated the slope invariants for the resulting examples. We give an iterated version of the construction that produces many more examples, and calculate their slope invariants. If one starts with the trivial knot, the iterated constructions produce all the 2-bridge knots, giving a new calculation of the slope invariants of their tunnels. In the final section we compile a list of the known possibilities for the set of tunnels of a given tunnel number 1 knot.


title: Homomorphisms Between Specht Modules of the Ariki Koike Algebra

abstract: In this paper we generalize a theorem due to Lyle, extending its application to the setting of the Ariki-Koike algebra, and in doing so establish an analogue of the kernel intersection theorem. This in turn provides us with a means towards constructing homomorphisms between Specht modules for the Ariki-Koike algebra.


title: Bright solitons from defocusing nonlinearities

abstract: We report that defocusing cubic media with spatially inhomogeneous nonlinearity, whose strength increases rapidly enough toward the periphery, can support stable bright localized modes. Such nonlinearity landscapes give rise to a variety of stable solitons in all three dimensions, including 1D fundamental and multihump states, 2D vortex solitons with arbitrarily high topological charges, and fundamental solitons in 3D. Solitons maintain their coherence in the state of motion, oscillating in the nonlinear potential as robust quasi-particles and colliding elastically. In addition to numerically found soliton families, particular solutions are found in an exact analytical form, and accurate approximations are developed for the entire families, including moving solitons.


title: Co-universal C*-algebras associated to aperiodic k-graphs

abstract: We construct a representation of each finitely aligned aperiodic k-graph \Lambda\ on the Hilbert space H^{ap} with basis indexed by aperiodic boundary paths in \Lambda. We show that the canonical expectation on B(H^{ap}) restricts to an expectation of the image of this representation onto the subalgebra spanned by the final projections of the generating partial isometries. We then show that every quotient of the Toeplitz algebra of the k-graph admits an expectation compatible with this one. Using this, we prove that the image of our representation, which is canonically isomorphic to the Cuntz-Krieger algebra, is co-universal for Toeplitz-Cuntz-Krieger families consisting of nonzero partial isometries.


title: AIG Rewriting Using 5-Input Cuts

abstract: Rewriting is a common approach to logic optimization based on local transformations. Most commercially available logic synthesis tools include a rewriting engine that may be used multiple times on the same netlist during optimization. This paper presents an And-Inverter graph based rewriting algorithm using 5-input cuts. The best circuits are pre-computed for a subset of NPN classes of 5-variable functions. Cut enumeration and Boolean matching are used to identify replacement candidates. The presented approach is expected to complement existing rewriting approaches which are usually based on 4-input cuts. The experimental results show that, by adding the new rewriting algorithm to ABC synthesis tool, we can further reduce the area of heavily optimized large circuits by 5.57% on average.


title: A Geometric Proof of a Faithful Linear-Categorical Surface Mapping Class Group Action

abstract: We give completely combinatorial proofs of the main results of [3] using polygons. Namely, we prove that the mapping class group of a surface with boundary acts faithfully on a finitely-generated linear category. Along the way we prove some foundational results regarding the relevant objects from bordered Heegaard Floer homology,


title: A study of methyl formate in astrochemical environments

abstract: Several complex organic molecules are routinely detected in high abundances towards hot cores and hot corinos. For many of them, their paths of formation in space are uncertain, as gas phase reactions alone seem to be insufficient. In this paper, we investigate a possible solid-phase route of formation for methyl formate (HCOOCH3). We use a chemical model updated with recent results from an experiment where simulated grain surfaces were irradiated with 200 keV protons at 16 K, to simulate the effects of cosmic ray irradiation on grain surfaces. We find that this model may be sufficient to reproduce the observed methyl formate in dark clouds, but not that found in hot cores and corinos.


title: XMM-Newton/SDSS: star formation efficiency in galaxy clusters and constraints on the matter density parameter

abstract: It is believed that the global baryon content of clusters of galaxies is representative of the matter distribution of the universe, and can, therefore, be used to reliably determine the matter density parameter Omega_m. This assumption is challenged by the growing evidence from optical and X-ray observations that the total baryon mass fraction increases towards rich clusters. In this context, we investigate the dependence of stellar, and total baryon mass fractions as a function of mass. To do so, we used a subsample of nineteen clusters extracted from the X-ray flux limited sample HIFLUGCS that have available DR-7 Sloan Digital Sky Survey (SDSS) data. From the optical analysis we derived the stellar masses. Using XMM-Newton we derived the gas masses. Then, adopting a scaling relation we estimate the total masses. Adding the gas and the stellar mass fractions we obtain the total baryonic content that we find to increase with cluster mass, reaching 7-year Wilkinson Microwave Anisotropy Probe (WMAP-7) prediction for clusters with M_500 = 1.6 x 10^{15} M_sun. We observe a decrease of the stellar mass fraction (from 4.5% to ~1.0%) with increasing total mass where our findings for the stellar mass fraction agree with previous studies. This result suggests a difference in the number of stars formed per unit of halo mass, though with a large scatter for low-mass systems. That is, the efficiency of star formation varies on cluster scale that lower mass systems are likely to have higher star formation efficiencies. It follows immediately that the dependence of the stellar mass fraction on total mass results in an increase of the mass-to-light ratio from lower to higher mass systems. We also discuss the consequences of these results in the context of determining the cosmic matter density parameter Omega_m.


title: Opposite Antipodal Fundamental Solution of Laplace's Equation in Hyperspherical Geometry

abstract: Due to the isotropy of $d$-dimensional hyperspherical space, one expects there to exist a spherically symmetric opposite antipodal fundamental solution for its corresponding Laplace-Beltrami operator. The $R$-radius hypersphere ${\mathbf S}_R^d$ with $R>0$, represents a Riemannian manifold with positive-constant sectional curvature. We obtain a spherically symmetric opposite antipodal fundamental solution of Laplace's equation on this manifold in terms of its geodesic radius. We give several matching expressions for this fundamental solution including a definite integral over reciprocal powers of the trigonometric sine, finite summation expressions over trigonometric functions, Gauss hypergeometric functions, and in terms of the Ferrers function of the second with degree and order given by $d/2-1$ and $1-d/2$ respectively, with real argument $x\in(-1,1)$.


title: The $k$-Tuple Jumping Champions among Consecutive Primes

abstract: For any real $x$ and any integer $k\ge1$, we say that a set $\mathcal{D}_{k}$ of $k$ distinct integers is a $k$-tuple jumping champion if it is the most common differences that occurs among $k+1$ consecutive primes less than or equal to $x$. For $k=1$, it's known as the jumping champion introduced by J. H. Conway. In 1999 A. Odlyzko, M. Rubinstein, and M. Wolf announced the Jumping Champion Conjecture that the jumping champions greater than 1 are 4 and the primorials 2, 6, 30, 210, 2310,.... They also made a weaker and possibly more accessible conjecture that any fixed prime $p$ divides all sufficiently large jumping champions. These two conjectures were proved by Goldston and Ledoan under the assumption of appropriate forms of the Hardy-Littlewood conjecture recently. In the present paper we consider the situation for any $k\ge2$ and prove that any fixed prime $p$ divides every element of all sufficiently large $k$-tuple jumping champions under the assumption that the Hardy-Littlewood prime $k+1$-tuple conjecture holds uniformly for $\mathcal{D}_k\subset[2,\log^{k+1}x]$. With a stronger form of the Hardy-Littlewood conjecture, we also proved that, for any sufficiently large $k$-tuple jumping champion, the $gcd$ of elements in it is square-free.


title: Spooky action at a distance in general probabilistic theories

abstract: We call a probabilistic theory "complete" if it cannot be further refined by no-signaling hidden-variable models, and name a theory "spooky" if every equivalent hidden-variable model violates Shimony's Outcome Independence. We prove that a complete theory is spooky if and only if it admits a pure steering state in the sense of Schr\"odinger. Finally we show that steering of complementary states leads to a Schr\"odinger's cat-like paradox.


title: Scaling of Dynamical Decoupling for Spin Qubits

abstract: We investigate scaling of coherence time, T2, with the number of {\pi}-pulses, n_{\pi}, in a singlet- triplet spin qubit using Carr-Purcell-Meiboom-Gill (CPMG) and concatenated dynamical decoupling (CDD) pulse sequences. For an even numbers of CPMG pulses, we find a power law, T2 = (n_{\pi})^({\gamma}_e), with {\gamma}_e = 0.72\pm0.01, essentially independent of the envelope function used to extract T2. From this surprisingly robust value, a power-law model of the noise spectrum of the environment, S({\omega}) ~ {\omega}^(-{\beta}), yields {\beta} = {\gamma}_e/(1 - {\gamma}_e) = 2.6 \pm 0.1. Model values for T2(n_{\pi}) using {\beta} = 2.6 for CPMG with both even and odd n_{\pi} up to 32 and CDD orders 3 through 6 compare very well with experiment.


title: Substring Range Reporting

abstract: We revisit various string indexing problems with range reporting features, namely, position-restricted substring searching, indexing substrings with gaps, and indexing substrings with intervals. We obtain the following main results. {itemize} We give efficient reductions for each of the above problems to a new problem, which we call \emph{substring range reporting}. Hence, we unify the previous work by showing that we may restrict our attention to a single problem rather than studying each of the above problems individually. We show how to solve substring range reporting with optimal query time and little space. Combined with our reductions this leads to significantly improved time-space trade-offs for the above problems. In particular, for each problem we obtain the first solutions with optimal time query and $O(n\log^{O(1)} n)$ space, where $n$ is the length of the indexed string. We show that our techniques for substring range reporting generalize to \emph{substring range counting} and \emph{substring range emptiness} variants. We also obtain non-trivial time-space trade-offs for these problems. {itemize} Our bounds for substring range reporting are based on a novel combination of suffix trees and range reporting data structures. The reductions are simple and general and may apply to other combinations of string indexing with range reporting.


title: Dielectric properties and lattice dynamics of alpha-PbO2-type TiO2: The role of soft phonon modes in pressure-induced phase transition to baddeleyite-type TiO2

abstract: Dielectric tensor and lattice dynamics of alpha-PbO2-type TiO2 have been investigated using the density functional perturbation theory, with a focus on responses of the vibrational frequencies to pressure. The calculated Raman spectra under different pressures are in good agreement with available experimental results and the symmetry assignments of the Raman peaks of alpha-PbO2-type TiO2 are given for the first time. In addition, we identified two anomalously IR-active soft phonon modes, B1u and B3u, respectively, around 200 cm-1 which have not been observed in high pressure experiments. Comparison of the phonon dispersions at 0 and 10 GPa reveals that softening of phonon modes also occurs for the zone-boundary modes. The B1u and B3u modes play an important role in transformation from the alpha-PbO2-type phase to baddeleyite phase. The significant relaxations of the oxygen atoms from the Ti4 plane in the Ti2O2Ti2 complex of the baddeleyite phase are directly correlated to the oxygen displacements along the directions given by the eigenvectors of the soft B1u and B3u modes in the alpha-PbO2-type phase.


title: Dickson algebras are atomic at $p$

abstract: The notion of atomicity defined by Cohen, Moore and Neisendorfer is studied for the Dickson algebras. Not any ring of invariants respects this property. It depends on the property of the Dickson algebra that given any monomial $d$ there exists a sequence of Steenrod operations $P(\Gamma, d) $ such that $P(\Gamma, d) d$ becomes a $p$-th power of the top Dickson algebra generator.


title: Theory of inelastic light scattering in spin-1 systems: resonant regimes and detection of quadrupolar order

abstract: Motivated by the lack of an obvious spectroscopic probe to investigate non-conventional order such as quadrupolar orders in spin S>1/2 systems, we present a theoretical approach to inelastic light scattering for spin-1 quantum magnets in the context of a two-band Hubbard model. In contrast to the S=1/2 case, where the only type of local excited state is a doubly occupied state of energy $U$, several local excited states with occupation up to 4 electrons are present. As a consequence, we show that two distinct resonating scattering regimes can be accessed depending on the incident photon energy. For $\hbar\omega_{in}\lesssim U$, the standard Loudon-Fleury operator remains the leading term of the expansion as in the spin-1/2 case. For $\hbar\omega_{in}\lesssim4U$, a second resonant regime is found with a leading term that takes the form of a biquadratic coupling $\sim({\bf S}_{i}\cdot{\bf S}_{j)^{2}$. Consequences for the Raman spectra of S=1 magnets with magnetic or quadrupolar order are discussed. Raman scattering appears to be a powerful probe of quadrupolar order.


title: Towards quantitative accuracy in first-principles transport calculations: The GW method applied to alkane/gold junctions

abstract: The calculation of electronic conductance of nano-scale junctions from first principles is a long standing problem in molecular electronics. Here we demonstrate excellent agreement with experiments for the transport properties of the gold/alkanediamine benchmark system when electron-electron interactions are described using the many-body GW approximation. The main difference from standard density functional theory (DFT) calculations is a significant reduction of the contact conductance, G_c, due an improved alignment of the molecular energy levels with the metal Fermi energy. The molecular orbitals involved in the tunneling process comprise states delocalized over the carbon backbone and states localized on the amine end groups. We find that dynamical screening effects renormalize the two types of states in qualitatively different ways when the molecule is inserted in the junction. Consequently, the GW transport results cannot be mimicked by DFT calculations employing a simple scissors operator.


title: Finite Width in out-of-Equilibrium Propagators and Kinetic Theory

abstract: We derive solutions to the Schwinger-Dyson equations on the Closed-Time-Path for a scalar field in the limit where backreaction is neglected. In Wigner space, the two-point Wightman functions have the curious property that the equilibrium component has a finite width, while the out-of equilibrium component has zero width. This feature is confirmed in a numerical simulation for scalar field theory with quartic interactions. When substituting these solutions into the collision term, we observe that an expansion including terms of all orders in gradients leads to an effective finite-width. Besides, we observe no breakdown of perturbation theory, that is sometimes associated with pinch singularities. The effective width is identical with the width of the equilibrium component. Therefore, reconciliation between the zero-width behaviour and the usual notion in kinetic theory, that the out-of-equilibrium contributions have a finite width as well, is achieved. This result may also be viewed as a generalisation of the fluctuation-dissipation relation to out-of-equilibrium systems with negligible backreaction.


title: The Berry phase in inflationary cosmology

abstract: We derive an analogue of the Berry phase associated with inflationary cosmological perturbations of quantum mechanical origin by obtaining the corresponding wavefunction. We have further shown that cosmological Berry phase can be completely envisioned through the observable parameters, viz. spectral indices. Finally, physical significance of this phase is discussed from the point of view of theoretical and observational aspects with some possible consequences of this quantity in inflationary cosmology.


title: Synchronization of weakly perturbed Markov chain oscillators

abstract: Rate processes are simple and analytically tractable models for many dynamical systems which switch stochastically between a discrete set of quasi stationary states but they may also approximate continuous processes by coarse grained, symbolic dynamics. In contrast to limit cycle oscillators which are weakly perturbed by noise, the stochasticity in such systems may be strong and more complicated system topologies than the circle can be considered. Here we employ second order, time dependent perturbation theory to derive expressions for the mean frequency and phase diffusion constant of discrete state oscillators coupled or driven through weakly time dependent transition rates. We also describe a method of global control to optimize the response of the mean frequency in complex transition networks.


title: Influence, originality and similarity in directed acyclic graphs

abstract: We introduce a framework for network analysis based on random walks on directed acyclic graphs where the probability of passing through a given node is the key ingredient. We illustrate its use in evaluating the mutual influence of nodes and discovering seminal papers in a citation network. We further introduce a new similarity metric and test it in a simple personalized recommendation process. This metric's performance is comparable to that of classical similarity metrics, thus further supporting the validity of our framework.


title: Revisiting the shocks in BHR71: new observational constraints and H2O predictions for Herschel

abstract: During the formation of a star, material is ejected along powerful jets that impact the ambient material. This outflow phenomenon plays an important role in the regulation of star formation. Understanding the associated shocks and their energetic effects is therefore essential to the study of star formation. We present comparisons of shock models with observations of H$_2$ and SiO emission in the bipolar outflow BHR71, and predict water emission, under the basic assumption that the emission regions of the considered species coincide, at the resolution of currently available observations. New SiO observations from APEX are presented, and combined with \textit{Spitzer} and ground-based observations of H$_2$ to constrain shock models. The shock regions associated with targeted positions in the molecular outflow are studied by means of a 1D code that generates models of the propagation of stationary shock waves, and approximations to non-stationary ones. The SiO emission in the inner part of the outflow is concentrated near the apex of the corresponding bow-shock that is also seen in the pure rotational transitions of H$_2$. Simultaneous modelling is possible for H$_2$ and SiO and leads to constraints on the silicon pre-shock distribution on the grain mantles and/or cores. The best-fitting models are found to be of the non-stationary type, but the degeneracy of the solutions is still large. Pre-shock densities of 10$^4$ and 10$^5$ cm$^{-3}$ are investigated, and the associated best-model candidates have rather low velocity (respectively, 20-30 and 10-15 km s$^{-1}$) and are not older than 1000 years. We provide emission predictions for water, focusing on the brightest transitions, to be observed with the PACS and HIFI instruments of the \textit{Herschel} Telescope.


title: A note on Lagrangian cobordisms between Legendrian submanifolds of R^{2n+1}

abstract: We study the relation of an embedded Lagrangian cobordism between two closed, orientable Legendrian submanifolds of R^{2n+1}. More precisely, we investigate the behavior of the Thurston-Bennequin number and (linearized) Legendrian contact homology under this relation. The result about the Thurston-Bennequin number can be considered as a generalization of the result of Chantraine which holds when n = 1. In addition, we provide a few constructions of Lagrangian cobordisms and prove that there are infinitely many pairs of exact Lagrangian cobordant and not pairwise Legendrian isotopic Legendrian n-tori in R^{2n+1}.


title: Spontaneous Polaron Transport in Biopolymers

abstract: Polarons, introduced by Davydov to explain energy transport in $\alpha$-helices, correspond to electrons localised on a few lattice sites because of their interaction with phonons. While the static polaron field configurations have been extensively studied, their displacement is more difficult to explain. In this paper we show that, when the next to nearest neighbour interactions are included, for physical values of the parameters, polarons can spontaneously move, at T=0, on bent chains that exhibit a positive gradient in their curvature. At room temperature polarons perform a random walk but a curvature gradient can induce a non-zero average speed similar to the one observed at zero temperature. We also show that at zero temperature a polaron bounces on sharply kinked junctions. We interpret these results in light of the energy transport by transmembrane proteins.


title: Nash equilibrium payoffs for stochastic differential games with jumps and coupled nonlinear cost functionals

abstract: In this paper we investigate Nash equilibrium payoffs for two-player nonzero-sum stochastic differential games whose cost functionals are defined by a system of coupled backward stochastic differential equations. We obtain an existence theorem and a characterization theorem for Nash equilibrium payoffs. For this end the problem is described equivalently by a stochastic differential game with jumps. But, however, unlike the work by Buckdahn, Hu and Li [9], here the important tool of a dynamic programming principle for stopping times has to be developed. Moreover, we prove that the lower and upper value functions are the viscosity solutions of the associated coupled systems of PDEs of Isaacs type, respectively. Our results generalize those by Buckdahn, Cardaliaguet and Rainer [7] and by Lin [16].


title: An atomistic-to-continuum analysis of crystal cleavage in a two-dimensional model problem

abstract: A two-dimensional atomic mass spring system is investigated for critical fracture loads and its crack path geometry. We rigorously prove that, in the discrete-to-continuum limit, the minimal energy of a crystal under uniaxial tension leads to a universal cleavage law and energy minimizers are either homogeneous elastic deformations or configurations that are completely cracked and do not store elastic energy. Beyond critical loading, the specimen generically cleaves along a unique optimal crystallographic hyperplane. For specific symmetric crystal orientations, however, cleavage might fail. In this case a complete characterization of possible limiting crack geometries is obtained.

categories: math.AP cond-mat.mtrl-sci math-ph math.MP


title: Using dwarf satellite proper motions to determine their origin

abstract: The highly organised distribution of satellite galaxies surrounding the Milky Way is a serious challenge to the concordance cosmological model. Perhaps the only remaining solution, in this framework, is that the dwarf satellite galaxies fall into the Milky Way's potential along one or two filaments, which may or may not plausibly reproduce the observed distribution. Here we test this scenario by making use of the proper motions of the Fornax, Sculptor, Ursa Minor and Carina dwarf spheroidals, and trace their orbits back through several variations of the Milky Way's potential and account for dynamical friction. The key parameters are the proper motions and total masses of the dwarf galaxies. Using a simple model we find no tenable set of parameters that can allow Fornax to be consistent with filamentary infall, mainly because the 1 sigma error on its proper motion is relatively small. The other three must walk a tightrope between requiring a small pericentre (less than 20 kpc) to lose enough orbital energy to dynamical friction and avoiding being tidally disrupted. We then employed a more realistic model with host halo mass accretion, and found that the four dwarf galaxies must have fallen in at least 5 Gyrs ago. This time interval is longer than organised distribution is expected to last before being erased by the randomisation of the satellite orbits.


title: Hot exozodiacal dust resolved around Vega with IOTA/IONIC

abstract: Although debris discs have been detected around a significant number of main-sequence stars, only a few of them are known to harbour hot dust in their inner part where terrestrial planets may have formed. Thanks to infrared interferometric observations, it is possible to obtain a direct measurement of these regions, which are of prime importance for preparing future exo-Earth characterisation missions. In this context, we have resolved the exozodiacal dust disc around Vega with the help of infrared stellar interferometry and estimated the integrated H-band flux originating from the first few AUs of the debris disc. Using precise H-band interferometric measurements obtained with the 3-telescope IOTA/IONIC interferometer (Mount Hopkins, Arizona), thorough modelling of both interferometric data (squared visibility and closure phase) and spectral energy distribution was performed to constrain the nature of the near-infrared excess emission. The most straightforward scenario consists in a compact dust disc producing a thermal emission that is largely dominated by small grains located between 0.1 and 0.3 AU from Vega and accounting for 1.23 +/- 0.45% of the near-infrared stellar flux for our best-fit model. This flux ratio is shown to vary slightly with the geometry of the model used to fit our interferometric data (variations within +/-0.19%). Initially revealed by K-band CHARA/FLUOR observations, the presence of hot exozodiacal dust in the vicinity of Vega is confirmed by our H-band IOTA/IONIC measurements at the 3-sigma level. Whereas the origin of the dust is still uncertain, its presence and the possible connection with the outer disc suggest that the Vega system is currently undergoing major dynamical perturbations.


title: Measurement of the top quark pair production cross section in pp collisions at sqrt(s) = 7 TeV in dilepton final states with ATLAS

abstract: A measurement of the production cross section of top quark pairs (ttbar) in proton-proton collisions at a center-of-mass energy of 7 TeV recorded with the ATLAS detector at the Large Hadron Collider is reported. Candidate events are selected in the dilepton topology with large missing transverse energy and at least two jets. Using a data sample corresponding to an integrated luminosity of 35 pb^-1, a ttbar production cross section of 171 +/- 20(stat.) +/- 14(syst.) +8-6(lum.) pb is measured for an assumed top quark mass of 172.5 GeV. A second measurement requiring at least one jet identified as coming from a b quark yields a comparable result, demonstrating that the dilepton final states are consistent with being accompanied by b-quark jets. These measurements are in good agreement with Standard Model predictions.


title: Simplicial Complexes Obtained from Qualitative Probability Orders

abstract: In this paper we inititate the study of abstract simplicial complexes which are initial segments of qualitative probability orders. This is a natural class that contains the threshold complexes and is contained in the shifted complexes, but is equal to neither. In particular we construct a qualitative probability order on 26 atoms that has an initial segment which is not a threshold simplicial complex. Although 26 is probably not the minimal number for which such example exists we provide some evidence that it cannot be much smaller. We prove some necessary conditions for this class and make a conjecture as to a characterization of them. The conjectured characterization relies on some ideas from cooperative game theory.


title: Twisted K-theory and obstructions against positive scalar curvature metrics

abstract: We decompose the twisted index obstruction $\theta(M)$ against positive scalar curvature metrics for oriented manifolds with spin universal cover into a pairing of a twisted $K$-homology with a twisted $K$-theory class and prove that $\theta(M)$ does not vanish if $M$ is an orientable enlargeable manifold with spin universal cover.


title: Model of skyscraper evacuation with the use of space symmetry and fluid dynamic approximation

abstract: The simulation of evacuation of pedestrians from skyscraper is a situation where the symmetry analysis method and equations of fluid dynamics finds to be very useful. When applied, they strongly reduce the number of free parameters used in simulations and in such a way speed up the calculations and make them easier to manage by the programmer and what is even more important, they can give a fresh insight into a problem of evacuation and help with incorporation of "Ambient Intelligent Devices" into future real buildings. We have analyzed various, simplified, cases of evacuation from skyscraper by employing improved "Social Force Model". For each of them we obtained the average force acting on the pedestrian as a function of the evacuation time. The results clearly show that both methods mentioned above, can be successfully implemented in the simulation process and return with satisfactory conclusions.


title: Modeling Routing Overhead Generated by Wireless Reactive Routing Protocols

abstract: In this paper, we have modeled the routing over- head generated by three reactive routing protocols; Ad-hoc On-demand Distance Vector (AODV), Dynamic Source Routing (DSR) and DYnamic MANET On-deman (DYMO). Routing performed by reactive protocols consists of two phases; route discovery and route maintenance. Total cost paid by a protocol for efficient routing is sum of the cost paid in the form of energy consumed and time spent. These protocols majorly focus on the optimization performed by expanding ring search algorithm to control the flooding generated by the mechanism of blind flooding. So, we have modeled the energy consumed and time spent per packet both for route discovery and route maintenance. The proposed framework is evaluated in NS-2 to compare performance of the chosen routing protocols.


title: Excitability in semiconductor microring lasers: Experimental and theoretical pulse characterization

abstract: We characterize the operation of semiconductor microring lasers in an excitable regime. Our experiments reveal a statistical distribution of the characteristics of noise-triggered optical pulses that is not observed in other excitable systems. In particular, an inverse correlation exists between the pulse amplitude and duration. Numerical simulations and an interpretation in an asymptotic phase space confirm and explain these experimentally observed pulse characteristics.


title: Ferro-quadrupolar ordering in PrTi$_2$Al$_{20}$

abstract: Origin of the non-magnetic phase transition in PrTi$_2$Al$_{20}$, reported earlier in the macroscopic study, has been asserted microscopically using elastic and inelastic neutron scattering techniques. It has been shown spectroscopically that the crystalline-electric-field ground state is a non-magnetic $\Gamma_3$ doublet, whereas the excited states are two triplets ($\Gamma_4$ and $\Gamma_5$) and a singlet ($\Gamma_1$). The diffraction experiment under external magnetic field shows that the non-magnetic transition is indeed ferro-quadrupolar ordering, which takes place as a consequence of cooperative removal of the ground-state-doublet degeneracy. It is therefore concluded that PrTi$_2$Al$_{20}$ is another rare example of Pr compounds exhibiting non-magnetic quadrupolar order.


title: Identifying Design Requirements for Wireless Routing Link Metrics

abstract: In this paper, we identify and analyze the requirements to design a new routing link metric for wireless multihop networks. Considering these requirements, when a link metric is proposed, then both the design and implementation of the link metric with a routing protocol become easy. Secondly, the underlying network issues can easily be tackled. Thirdly, an appreciable performance of the network is guaranteed. Along with the existing implementation of three link metrics Expected Transmission Count (ETX), Minimum Delay (MD), and Minimum Loss (ML), we implement inverse ETX; invETX with Optimized Link State Routing (OLSR) using NS-2.34. The simulation results show that how the computational burden of a metric degrades the performance of the respective protocol and how a metric has to trade-off between different performance parameters.


title: Improved foreground removal in GMRT 610 MHz observations towards redshifted 21-cm tomography

abstract: Foreground removal is a challenge for 21-cm tomography of the high redshift Universe. We use archival GMRT data (obtained for completely different astronomical goals) to estimate the foregrounds at a redshift ~ 1. The statistic we use is the cross power spectrum between two frequencies separated by \Delta{\nu} at the angular multipole l, or equivalently the multi-frequency angular power spectrum C_l(\Delta{\nu}). An earlier measurement of C_l(\Delta{\nu}) using this data had revealed the presence of oscillatory patterns along \Delta{\nu}, which turned out to be a severe impediment for foreground removal (Ghosh et al. 2011). Using the same data, in this paper we show that it is possible to considerably reduce these oscillations by suppressing the sidelobe response of the primary antenna elements. The suppression works best at the angular multipoles l for which there is a dense sampling of the u-v plane. For three angular multipoles l = 1405, 1602 and 1876, this sidelobe suppression along with a low order polynomial fitting completely results in residuals of (\leq 0.02 mK^2), consistent with the noise at the 3{\sigma} level. Since the polynomial fitting is done after estimation of the power spectrum it can be ensured that the estimation of the HI signal is not biased. The corresponding 99% upper limit on the HI signal is xHI b \leq 2.9, where xHI is the mean neutral fraction and b is the bias.


title: Evaluating Impact of Mobility on Wireless Routing Protocols

abstract: In this paper, we evaluate, analyze, and compare the impact of mobility on the behavior of three reactive protocols (AODV, DSR, DYMO) and three proactive protocols (DSDV, FSR, OLSR) in multi-hop wireless networks. We take into account throughput, end-to-end delay, and normalized routing load as performance parameters. Based upon the extensive simulation results in NS-2, we rank all of six protocols according to the performance parameters. Besides providing the interesting facts regarding the response of each protocol on varying mobilities and speeds, we also study the trade-offs, the routing protocols have to make. Such as, to achieve throughput, a protocol has to pay some cost in the form of increased end-to-end delay or routing overhead.


title: Torsion of elliptic curves over cubic fields

abstract: Although it is not known which groups can appear as torsion groups of elliptic curves over cubic number fields, it is known which groups can appear for infinitely many non-isomorphic curves. We denote the set of these groups as $S$. In this paper we deal with three problems concerning the torsion of elliptic curves over cubic fields. First, we study the possible torsion groups of elliptic curves that appear over the field with smallest absolute value of its discriminant and having Galois group $S_3$ and over the field with smallest absolute value of its discriminant and having Galois group $\Z/3\Z$. Secondly, for all except two groups $G\in S$, we find the field $K$ with smallest absolute value of its discriminant such that there exists an elliptic curve over $K$ having $G$ as torsion. Finally, for every $G\in S$ and every cubic field $K$ we determine whether there exists infinitely many non-isomorphic elliptic curves with torsion $G$.


title: Large strings of consecutive smooth integers

abstract: In this note we improve an algorithm from a recent paper by Bauer and Bennett for computing a function of Erd\"os that measures the minimal gap size $f(k)$ in the sequence of integers at least one of whose prime factors exceeds $k$. This allows us to compute values of $f(k)$ for larger $k$ and obtain new values of $f(k)$.


title: Doing Better Than UCT: Rational Monte Carlo Sampling in Trees

abstract: UCT, a state-of-the art algorithm for Monte Carlo tree sampling (MCTS), is based on UCB, a sampling policy for the Multi-armed Bandit Problem (MAB) that minimizes the accumulated regret. However, MCTS differs from MAB in that only the final choice, rather than all arm pulls, brings a reward, that is, the simple regret, as opposite to the cumulative regret, must be minimized. This ongoing work aims at applying meta-reasoning techniques to MCTS, which is non-trivial. We begin by introducing policies for multi-armed bandits with lower simple regret than UCB, and an algorithm for MCTS which combines cumulative and simple regret minimization and outperforms UCT. We also develop a sampling scheme loosely based on a myopic version of perfect value of information. Finite-time and asymptotic analysis of the policies is provided, and the algorithms are compared empirically.


title: Encoding a qubit with Majorana modes in superconducting circuits

abstract: Majorana fermions are long-sought exotic particles that are their own antiparticles. Here we propose to utilize superconducting circuits to construct two superconducting-qubit arrays where Majorana modes can occur. A so-called Majorana qubit is encoded by using the unpaired Majorana modes, which emerge at the left and right ends of the chain in the Majorana-fermion representation. We also show this Majorana qubit in the spin representation and its advantage, over a single superconducting qubit, regarding quantum coherence. Moreover, we propose to use four superconducting qubits as the smallest system to demonstrate the braiding of Majorana modes and show how the states before and after braiding Majoranas can be discriminated.


title: Log geometry and exploded manifolds

abstract: Log Gromov-Witten invariants have recently been defined separately by Gross and Siebert and Abramovich and Chen. This paper provides a dictionary between log geometry and holomorphic exploded manifolds in order to compare Gromov-Witten invariants defined using exploded manifolds or log schemes. The gluing formula for Gromov-Witten invariants of exploded manifolds suggests an approach to proving analogous gluing formulas for log Gromov-Witten invariants.


title: A note on the 2D generalized Zakharov-Kuznetsov equation: local, global, and scattering results

abstract: We consider the generalized two-dimensional Zakharov-Kuznetsov equation $u_t+\partial_x \Delta u+\partial_x(u^{k+1})=0$, where $k\geq3$ is an integer number. For $k\geq8$ we prove local well-posedness in the $L^2$-based Sobolev spaces $H^s(\mathbb{R}^2)$, where $s$ is greater than the critical scaling index $s_k=1-2/k$. For $k\geq 3$ we also establish a sharp criteria to obtain global $H^1(\R^2)$ solutions. A nonlinear scattering result in $H^1(\R^2)$ is also established assuming the initial data is small and belongs to a suitable Lebesgue space.


title: Shock wave collisions in AdS5: approximate numerical solutions

abstract: We numerically study the evolution of a boost-invariant N=4 SYM medium using AdS/CFT. We consider a toy model for the collision of gravitational shock waves, finding that the energy density first increases, reaches a maximum and then starts to decrease, matching hydrodynamics for late times. For the initial conditions we consider, the hydrodynamic scale governing the late time behaviour is to very good approximation determined by the area of the black hole horizon at initial times. Our results provide a toy model for the early time evolution of the bulk system in heavy-ion collisions at RHIC and the LHC.


title: Non-volatile Complementary Resistive Switch-based Content Addressable Memory

abstract: This paper presents a novel resistive-only Binary and Ternary Content Addressable Memory (B/TCAM) cell that consists of two Complementary Resistive Switches (CRSs). The operation of such a cell relies on a logic$\rightarrow$ON state transition that enables this novel CRS application.


title: Halo Shapes From Weak Lensing: The Impact of Galaxy--Halo Misalignment

abstract: We analyse the impact of galaxy--halo misalignment on the ability of weak lensing studies to constrain the shape of dark matter haloes, using a combination of the Millennium dark matter N-body simulation and different semi-analytic galaxy formation models, as well as simpler Monte Carlo tests. Since the distribution of galaxy--halo alignments is not known in detail, we test various alignment models, together with different methods of determining the halo shape. In addition to alignment, we examine the interplay of halo mass and shape, and galaxy colour and morphology with the resulting stacked projected halo shape. We find that only in the case where significant numbers of galaxy and halo minor axes are parallel does the stacked, projected halo axis ratio fall below 0.95. When using broader misalignment distributions, such as those found in recent simulations of galaxy formation, the halo ellipticity signal is washed out and would be extremely difficult to measure observationally. It is important to note that the spread in stacked halo axis ratio due to theoretical unknowns (differences between semi-analytic models, and between alignment models) are much bigger than any statistical uncertainty: It is naive to assume that, simply because LCDM predicts aspherical haloes, the stacked projected shape will be elliptical. In fact, there is no robust LCDM prediction yet for this procedure, and the interpretation of any such elliptical halo signal from lensing in terms of physical halo properties will be extremely difficult.


title: Quantum path integral simulation of isotope effects in the melting temperature of ice Ih

abstract: The isotope effect in the melting temperature of ice Ih has been studied by free energy calculations within the path integral formulation of statistical mechanics. Free energy differences between isotopes are related to the dependence of their kinetic energy on the isotope mass. The water simulations were performed by using the q-TIP4P/F model, a point charge empirical potential that includes molecular flexibility and anharmonicity in the OH stretch of the water molecule. The reported melting temperature at ambient pressure of this model (T = 251 K) increases by 6.5+-0.5 K and 8.2+-0.5 K upon isotopic substitution of hydrogen by deuterium and tritium, respectively. These temperature shifts are larger than the experimental ones (3.8 K and 4.5 K, respectively). In the classical limit, the melting temperature is nearly the same as that for tritiated ice. This unexpected behavior is rationalized by the coupling between intermolecular interactions and molecular flexibility. This coupling makes the kinetic energy of the OH stretching modes larger in the liquid than in the solid phase. However the opposite behavior is found for intramolecular modes, which display larger kinetic energy in ice than in liquid water.


title: Formaldehyde Densitometry of Galactic Star-Forming Regions Using the H2CO 3(12)-3(13) and 4(13)-4(14) Transitions

abstract: We present Green Bank Telescope (GBT) observations of the 3(12)-3(13) (29 GHz) and 4(13)-4(14) (48 GHz) transitions of the H2CO molecule toward a sample of 23 well-studied star-forming regions. Analysis of the relative intensities of these transitions can be used to reliably measure the densities of molecular cores. Adopting kinetic temperatures from the literature, we have employed a Large Velocity Gradient (LVG) model to derive the average hydrogen number density [n(H2)] within a 16 arcsecond beam toward each source. Densities in the range of 10^{5.5}--10^{6.5} cm^{-3} and ortho-formaldehyde column densities per unit line width between 10^{13.5} and 10^{14.5} cm^{-2} (km s^{-1})^{-1} are found for most objects, in general agreement with existing measurements. A detailed analysis of the advantages and limitations to this densitometry technique is also presented. We find that H2CO 3(12)-3(13)/4(13)-4(14) densitometry proves to be best suited to objects with T_K >~ 100 K, above which the H2CO LVG models become relatively independent of kinetic temperature. This study represents the first detection of these H2CO K-doublet transitions in all but one object in our sample. The ease with which these transitions were detected, coupled with their unique sensitivity to spatial density, make them excellent monitors of density in molecular clouds for future experiments. We also report the detection of the 9_2--8_1 A^- (29 GHz) transition of CH3OH toward 6 sources.


title: Emergent Bistability : Effects of Additive and Multiplicative Noise

abstract: Positive feedback and cooperativity in the regulation of gene expression are generally considered to be necessary for obtaining bistable expression states. Recently, a novel mechanism of bistability termed emergent bistability has been proposed which involves only positive feedback and no cooperativity in the regulation. An additional positive feedback loop is effectively generated due to the inhibition of cellular growth by the synthesized proteins. The mechanism, demonstrated for a synthetic circuit, may be prevalent in natural systems also as some recent experimental results appear to suggest. In this paper, we study the effects of additive and multiplicative noise on the dynamics governing emergent bistability. The calculational scheme employed is based on the Langevin and Fokker-Planck formalisms. The steady state probability distributions of protein levels and the mean first passage times are computed for different noise strengths and system parameters. In the region of bistability, the bimodal probability distribution is shown to be a linear combination of a lognormal and a Gaussian distribution. The variances of the individual distributions and the relative weights of the distributions are further calculated for varying noise strengths and system parameters. The experimental relevance of the model results is also pointed out.


title: Calculation of the bootstrap current profile for the TJ-II stellarator

abstract: Calculations of the bootstrap current for the TJ-II stellarator are presented. DKES and NEO-MC codes are employed; the latter has allowed, for the first time, the precise computation of the bootstrap transport coefficient in the long mean free path regime of this device. The low error bars allow a precise convolution of the monoenergetic coefficients, which is confirmed by error analysis. The radial profile of the bootstrap current is presented for the first time for the 100_44_64 configuration of TJ-II for three different collisionality regimes. The bootstrap coefficient is then compared to that of other configurations of TJ-II regularly operated. The results show qualitative agreement with toroidal current measurements; precise comparison with real discharges is ongoing.


title: Kinetic formulation and global existence for the Hall-Magneto-hydrodynamics system

abstract: This paper deals with the derivation and analysis of the the Hall Magneto-Hydrodynamic equations. We first provide a derivation of this system from a two-fluids Euler-Maxwell system for electrons and ions, through a set of scaling limits. We also propose a kinetic formulation for the Hall-MHD equations which contains as fluid closure different variants of the Hall-MHD model. Then, we prove the existence of global weak solutions for the incompressible viscous resistive Hall-MHD model. We use the particular structure of the Hall term which has zero contribution to the energy identity. Finally, we discuss particular solutions in the form of axisymmetric purely swirling magnetic fields and propose some regularization of the Hall equation.


title: Exact equivalence between one-dimensional Bose gases interacting via hard-sphere and zero-range potentials

abstract: We prove the equivalence between the hard-sphere Bose gas and a system with momentum-dependent zero-range interactions in one spatial dimension, which we call extended hard-sphere Bose gas. The two-body interaction in the latter model has the advantage of being a regular pseudopotential. The most immediate consequence is the existence of its Fourier transform, permitting the formulation of the problem in momentum space, not possible with the original hard-core interaction. In addition, in the extended system, interactions are defined in terms of the scattering length, positive or negative, identified with the hard-sphere diameter only when it is positive. We are then able to obtain, directly in the thermodynamic limit, the ground state energy of the strongly repulsive Lieb-Liniger gas and, more importantly, the energy of the lowest-lying super Tonks-Girardeau gas state with finite, strongly attractive interactions, in perturbation theory from the novel extended hard-sphere Bose gas. Tan relations involving the large-momentum behavior of the Lieb-Liniger gas are also derived, and then applied to the super Tonks-Girardeau gas within our perturbative approach.


title: Whitney categories and the Tangle Hypothesis

abstract: We propose a new notion of `n-category with duals', which we call a Whitney n-category. There are two motivations. The first is that Baez and Dolan's Tangle Hypothesis is (almost) tautological when interpreted as a statement about Whitney categories. The second is that we can functorially construct `fundamental Whitney n-categories' from each smooth stratified space X. These are obtained by considering the homotopy theory of smooth maps into X which are transversal to all strata. This makes concrete another idea of Baez and Dolan's which is that a suitable version of homotopy theory for stratified spaces should allow one to generalise the relationship between spaces and groupoids to one between stratified spaces and categories with duals.


title: On nature of the scalar-isoscalar mesons in the uniformizing-variable method based on analyticity and unitarity

abstract: The experimental data on the processes $\pi\pi\to\pi\pi,K\bar{K},\eta\eta,\eta\eta^\prime$ in the $I^GJ^{PC}=0^+0^{++}$ channel have been jointly analyzed to study the status and nature of the $f_0$. The method of analysis is based on analyticity and unitarity and uses an uniformization procedure. Some spectroscopic implications from results of the analysis are discussed.


title: Irreducible representations of Leavitt path algebras

abstract: We construct some irreducible representations of the Leavitt path algebra of an arbitrary quiver. The constructed representations are associated to certain algebraic branching systems. For a row-finite quiver, we classify algebraic branching systems, to which irreducible representations of the Leavitt path algebra are associated. For a certain quiver, we obtain a faithful completely reducible representation of the Leavitt path algebra. The twisted representations of the constructed ones under the scaling action are studied.


title: Measuring the level of nuclear activity in Seyfert galaxies and the unification scheme

abstract: Context: The unification scheme of Seyfert galaxies hypothesizes that Seyfert type 1s and type 2s are intrinsically similar and the observed differences between the two subtypes are solely due to the differing orientations of toroidal-shaped obscuring material around the AGN. In the framework of the unification scheme, both the Seyfert subtypes are expected to show similar intrinsic nuclear properties, such as the absorption-corrected AGN X-ray luminosity, bolometric luminosity, accretion rate and the mass of the supermassive black hole. Aims: To test the predictions of the Seyfert unification scheme, we make statistical comparison of the distributions of: (i) the absorption-corrected 2.0 - 10 keV X-ray luminosities, (ii) the bolometric luminosities, (iii) the black hole masses and, (iv) the Eddington ratios, of Seyfert type 1s and type 2s. Methods: We use an optically selected Seyfert sample in which type 1s and type 2s are matched in properties that are independent to the orientation of the obscuring torus, the AGN axis and the host galaxy. Results: The distributions of the absorption-corrected 2.0 - 10 keV X-ray luminosities, the bolometric luminosities, the black masses and, the Eddington ratios are statistically similar for the two Seyfert subtypes, consistent with the orientation and obscuration based Seyfert unification scheme. The Eddington ratio distributions suggest that both the Seyfert subtypes are accreting at sub-Eddington level with wide span of Eddington ratios i.e., 10^-4 - 10^-1.


title: On Distribution Preserving Quantization

abstract: Upon compressing perceptually relevant signals, conventional quantization generally results in unnatural outcomes at low rates. We propose distribution preserving quantization (DPQ) to solve this problem. DPQ is a new quantization concept that confines the probability space of the reconstruction to be identical to that of the source. A distinctive feature of DPQ is that it facilitates a seamless transition between signal synthesis and quantization. A theoretical analysis of DPQ leads to a distribution preserving rate-distortion function (DP-RDF), which serves as a lower bound on the rate of any DPQ scheme, under a constraint on distortion. In general situations, the DP-RDF approaches the classic rate-distortion function for the same source and distortion measure, in the limit of an increasing rate. A practical DPQ scheme based on a multivariate transformation is also proposed. This scheme asymptotically achieves the DP-RDF for i.i.d. Gaussian sources and the mean squared error.


title: Delivering pulsed and phase stable light to atoms of an optical clock

abstract: In optical clocks, transitions of ions or neutral atoms are interrogated using pulsed ultra-narrow laser fields. Systematic phase chirps of the laser or changes of the optical path length during the measurement cause a shift of the frequency seen by the interrogated atoms. While the stabilization of cw-optical links is now a well established technique even on long distances, phase stable links for pulsed light pose additional challanges and have not been demonstrated so far. In addition to possible temperature or pressure drift of the laboratory, which may lead to a Doppler shift by steadily changing the optical path length, the pulsing of the clock laser light calls for short settling times of stabilization locks. Our optical path length stabilization uses retro-reflected light from a mirror that is fixed with respect to the interrogated atoms and synthetic signals during the dark time. Length changes and frequency chirps are compensated for by the switching AOM. For our strontium optical lattice clock we have ensured that the shift introduced by the fiber link including the pulsing acousto optic modulator is below $2\cdot 10^{-17}$.


title: GMRT search for 150 MHz radio emission from the transiting extrasolar planets HD189733b and HD209458b

abstract: We report a sensitive search for meter-wavelength emission at 150 MHz from two prominent transiting extrasolar planets, HD189733b and HD209458b. To distinguish any planetary emission from possible stellar or background contributions, we monitored these systems just prior to, during, and after the planet's eclipse behind the host star. No emission was detected from HD209458b with a 3-sigma upper limit of 3.6 mJy. For HD189733b we obtain a 3-sigma upper limit of 2.1 mJy and a marginal 2.7-sigma detection of about 1.9+/-0.7 mJy from a direction just 13" from the star's coordinates (i.e., within the beam), but its association with the planet remains unconfirmed. Thus, the present GMRT observations provide unprecedentedly tight upper limits for meter wavelengths emissions from these nearest two transiting type exoplanets. We point out possible explanations of the non-detections and briefly discuss the resulting constraints on these systems.


title: Siegel modular forms of degree three and the cohomology of local systems

abstract: We give an explicit conjectural formula for the motivic Euler characteristic of an arbitrary symplectic local system on the moduli space A_3 of principally polarized abelian threefolds. The main term of the formula is a conjectural motive of Siegel modular forms of a certain type; the remaining terms admit a surprisingly simple description in terms of the motivic Euler characteristics for lower genera. The conjecture is based on extensive counts of curves of genus three and abelian threefolds over finite fields. It provides a lot of new information about vector-valued Siegel modular forms of degree three, such as dimension formulas and traces of Hecke operators. We also use it to predict several lifts from genus 1 to genus 3, as well as lifts from G_2 and new congruences of Harder type.


title: The Successive Approximation Approach for NUM Frameworks with Elastic and Inelastic Traffic

abstract: The concave utility in the Network Utility Maximization (NUM) problem is only suitable for elastic flows. However, the networks with the multiclass traffic, the utility of inelastic traffic is usually represented by the sigmoidal function which is a nonconcave function. Hence, the basic NUM problem becomes a nonconvex optimization problem. Solving the nonconvex NUM distributively is a difficult problem. The current works utilize the standard dual-based algorithm for the convex NUM and find the criteria for the global optimal convergence of the algorithm. It turns out that the link capacity must higher than a certain value to achieve the global optimum. We propose a new distributed algorithm that converges to the suboptimal solution of the nonconvex NUM for all of link capacity. We approximate the logarithm of the original problem to the convex problem which is solved efficiently by the standard dual-base distributed algorithm. After a sequence of approximations, the solutions converge to the KKT solution of the original problem. In many of our experiments, it also converges to the global optimal solution of the NUM. Moreover, we extend our work to solve the joint rate and power NUM problem with elastic and inelastic traffic in a wireless network. Our techniques can be applied to any log-concave utilities.


title: Syzygy algebras for the Segre embeddings

abstract: We describe the syzygy spaces for the Segre embedding $\mathbb{P}(U)\times\mathbb{P}(V)\subset\mathbb{P}(U\otimes V)$ in terms of representations of ${\rm GL}(U)\times {\rm GL}(V)$ and construct the minimal resolutions of the sheaves $\mathscr{O}_{\mathbb{P}(U)\times\mathbb{P}(V)}(a,b)$ in $D(\mathbb{P}(U\otimes V))$ for $a\geqslant-\dim(U)$ and $b\geqslant-\dim(V)$. Also we prove some property of multiplication on syzygy spaces of the Segre embedding.


title: Exceptional Sequences of Line Bundles and Spherical Twists - a Toric Example

abstract: Exceptional sequences of line bundles on a smooth projective toric surface are automatically full when they can be constructed via augmentation. By using spherical twists, we give examples that there are also exceptional sequences which can not be constructed this way but are nevertheless full.


title: Hiding Charge in a Wormhole

abstract: Existence of wormholes can lead to a host of new effects like Misner-Wheeler "charge without charge" effect, where without being generated by any source an electric flux arrives from one "universe" and flows into the other "universe". Here we show the existence of an intriguing opposite possibility. Namely, a charged object (a charged lightlike brane in our case) sitting at the wormhole "throat" expels all the flux it produces into just one of the "universes", which turns out to be of compactified ("tube-like") nature. An outside observer in the non-compact "universe" detects, therefore, a neutral object. This charge-hiding effect takes place in a gravity/gauge-field system self-consistently interacting with a charged lightlike brane as a matter source, where the gauge field subsystem is of a special non-linear form containing a square-root of the Maxwell term and which previously has been shown to produce a QCD-like confining gauge field dynamics in flat space-time.