title: Mixtures of g-Priors for Generalised Additive Model Selection with Penalised Splines

abstract: We propose an objective Bayesian approach to the selection of covariates and their penalised splines transformations in generalised additive models. Specification of a reasonable default prior for the model parameters and combination with a multiplicity-correction prior for the models themselves is crucial for this task. Here we use well-studied and well-behaved continuous mixtures of g-priors as default priors. We introduce the methodology in the normal model and extend it to non-normal exponential families. A simulation study and an application from the literature illustrate the proposed approach. An efficient implementation is available in the R-package "hypergsplines".


title: Magneto-optical imaging of voltage-controlled magnetization reorientation

abstract: We study the validity and limitations of a macrospin model to describe the voltage-controlled manipulation of ferromagnetic magnetization in nickel thin film/piezoelectric actuator hybrid structures. To this end, we correlate simultaneously measured spatially resolved magneto-optical Kerr effect imaging and integral magnetotransport measurements at room temperature. Our results show that a macrospin approach is adequate to model the magnetoresistance as a function of the voltage applied to the hybrid, except for a narrow region around the coercive field - where the magnetization reorientation evolves via domain effects. Thus, on length scales much larger than the typical magnetic domain size, the voltage control of magnetization is well reproduced by a simple Stoner-Wohlfarth type macrospin model.


title: On Mixing of Staircase Transformations

abstract: We prove the mixing for all staircase transformations satisfied the conditions $r_j/h_j\to 0$ + $r_j\to\infty$.


title: Geometry and stability of spinning branes in AdS gravity

abstract: The geometry of spinning codimension-two branes in AdS spacetime is analyzed in three and higher dimensions. The construction of non-extremal solutions is based on identifications in the covering of AdS space by isometries that have fixed points. The discussion focuses on the cases where the parameters of spinning states can be related to the velocity of a boosted static codimension-two brane. The resulting configuration describes a single spinning brane, or a set of intersecting branes, each one produced by an independent identification. The nature of the singularity is also examined, establishing that the AdS curvature acquires one in the form of a Dirac delta distribution. The stability of the branes is studied in the framework of Chern-Simons AdS supergravity. A class of branes, characterized by one free parameter, are shown to be stable when the BPS conditions are satisfied. In 3D, these stable branes are extremal, while in higher dimensions, the BPS branes are not the extremal ones.


title: On deep holes of standard Reed-Solomon codes

abstract: Determining deep holes is an important open problem in decoding Reed-Solomon codes. It is well known that the received word is trivially a deep hole if the degree of its Lagrange interpolation polynomial equals the dimension of the Reed-Solomon code. For the standard Reed-Solomon codes $[p-1, k]_p$ with $p$ a prime, Cheng and Murray conjectured in 2007 that there is no other deep holes except the trivial ones. In this paper, we show that this conjecture is not true. In fact, we find a new class of deep holes for standard Reed-Solomon codes $[q-1, k]_q$ with $q$ a prime power of $p$. Let $q \geq 4$ and $2 \leq k\leq q-2$. We show that the received word $u$ is a deep hole if its Lagrange interpolation polynomial is the sum of monomial of degree $q-2$ and a polynomial of degree at most $k-1$. So there are at least $2(q-1)q^k$ deep holes if $k \leq q-3$.


title: Hamiltonian Streamline Guided Feature Extraction with Applications to Face Detection

abstract: We propose a new feature extraction method based on two dynamical systems induced by intensity landscape: the negative gradient system and the Hamiltonian system. We build features based on the Hamiltonian streamlines. These features contain nice global topological information about the intensity landscape, and can be used for object detection. We show that for training images of same size, our feature space is much smaller than that generated by Haar-like features. The training time is extremely short, and detection speed and accuracy is similar to Haar-like feature based classifiers.


title: Separability and the genus of a partial dual

abstract: Partial duality generalizes the fundamental concept of the geometric dual of an embedded graph. A partial dual is obtained by forming the geometric dual with respect to only a subset of edges. While geometric duality preserves the genus of an embedded graph, partial duality does not. Here we are interested in the problem of determining which edge sets of an embedded graph give rise to a partial dual of a given genus. This problem turns out to be intimately connected to the separability of the embedded graph. We determine how separability is related to the genus of a partial dual. We use this to characterize partial duals of graphs embedded in the plane, and in the real projective plane, in terms of a particular type of separation of an embedded graph. These characterizations are then used to determine a local move relating all partially dual graphs in the plane and in the real projective plane.


title: Inverse Scattering Construction of a Dipole Black Ring

abstract: Using the inverse scattering method in six dimensions we construct the dipole black ring of five dimensional Einstein-Maxwell-dilaton theory with dilaton coupling a = 2(2/3)^(1/2).The 5d theory can be thought of as the NS sector of low energy string theory in Einstein frame. It can also be obtained by dimensionally reducing six-dimensional vacuum gravity on a circle. Our new approach uses GL(4, R) integrability structure of the theory inherited from six-dimensional vacuum gravity. Our approach is also general enough to potentially generate dipole black objects carrying multiple rotations as well as more exotic multi-horizon configurations.


title: Magnetic Sublevel Population and Alignment for the Excitation of H- and He-like Uranium in Relativistic Collisions

abstract: We have measured the alignment of the L-shell magnetic-substates following the K-shell excitation of hydrogen- and helium-like uranium in relativistic collisions with a low-Z gaseous target. Within this experiment the population distribution for the L-shell magnetic sublevels has been obtained via an angular differential study of the decay photons associated with the subsequent de-excitation process. The results show a very distinctive behavior for the H- and He-like heavy systems. In particular for $K \rightarrow L$ excitation of He-like uranium, a considerable alignment of the L-shell levels was observed. A comparison of our experimental findings with recent rigorous relativistic predictions provides a good qualitative and a reasonable quantitative agreement, emphasizing the importance of the magnetic-interaction and many-body effects in the strong-field domain of high-Z ions.


title: Fat Triangulations and Differential Geometry

abstract: We study the differential geometric consequences of our previous result on the existence of fat triangulations, in conjunction with a result of Cheeger, M\"{u}ller and Schrader, regarding the convergence of Lipschitz-Killing curvatures of piecewise-flat approximations of smooth Riemannian manifolds. A further application to the existence of quasiconformal mappings between manifolds, as well as an extension of the triangulation result to the case of almost Riemannian manifolds, are also given. In addition, the notion of fatness of triangulations and its relation to metric curvature and to excess is explored. Moreover, applications of the main results, and in particular a purely metric approach to Regge calculus, are also investigated.


title: Ab initio properties of Li-Group-II molecules for ultracold matter studies

abstract: We perform a systematic investigation of the electronic properties of the $^2\Sigma^+$ ground state of Li-alkaline-earth dimers. These molecules are proposed as possible candidates for quantum simulation of lattice-spin models. We apply powerful quantum chemistry coupled-cluster methods with large basis sets to calculate potential energies, permanent dipole moment, and electron density distributions for LiBe, LiMg, LiCa, LiSr, and LiYb. Our results reveal a surprising irregularity in the dissociation energy and bond length with an increase in the reduced mass of the molecule. At the same time the permanent dipole moment at the equilibrium separation has the smallest value between 0.01 a.u. and 0.1 a.u. for the heaviest (LiSr and LiYb) molecules and increases to 1.4 a.u. for the lightest (LiBe), where 1 a.u. is one atomic unit of dipole moment. We consider our study of the $^2\Sigma^+$ molecules a first step towards a comprehensive analysis of their interactions in an optical trap.


title: Jordan algebras and orthogonal polynomials

abstract: We illustrate how Jordan algebras can provide a framework for the interpretation of certain classes of orthogonal polynomials. The big -1 Jacobi polynomials are eigenfunctions of a first order operator of Dunkl type. We consider an algebra that has this operator (up to constants) as one of its three generators and whose defining relations are given in terms of anticommutators. It is a special case of the Askey-Wilson algebra AW(3). We show how the structure and recurrence relations of the big -1 Jacobi polynomials are obtained from the representations of this algebra. We also present ladder operators for these polynomials and point out that the big -1 Jacobi polynomials satisfy the Hahn property with respect to a generalized Dunkl operator.


title: Rovibrational interactions in linear triatomic molecules: a theoretical study in curvilinear vibrational coordinates

abstract: A variational solution to the rovibrational problem in curvilinear vibrational coordinates has been implemented and used to investigate the nuclear motions in several linear triatomic molecules, like HCN, OCS, and HCP. The dependence of the rovibrational energy levels on the rotational quantum numbers and the l-doubling has been studied. Two approximations to the rovibrational Hamiltonian have been examined, depending on the level of truncation of the potential energy operator. It turns out that truncation after the fifth order in the potential is sufficient to produce vibrational energies of high accuracy. An interesting feature of the present formulation of the problem in terms of the curvilinear vibrational coordinates is the explanation for the l-doubling of the rovibrational levels, which in this picture is interpreted as the result of the inequivalency of the average rotational constants in mutually perpendicular planes, rather than as the effect of the Coriolis-type interactions between the vibrational and rotational motions. The present theoretical results are compared with the available experimental data from high-resolution spectroscopy, as well as with other ab initio calculations.


title: Reply to Comment on "High-Precision Determination of the Electric and Magnetic Form Factors of the Proton"

abstract: In arXiv:1108.3058v1 [nucl-ex], Arrington criticizes the Coulomb corrections we applied in the analysis of high precision form factor data (see Phys.Rev.Lett.105:242001, 2010, arXiv:1007.5076v3 [nucl-ex]). We show, by comparing different calculations cited in the Comment, that the criticism of the Comment neglects the large uncertainty of "more modern" TPE corrections. This uncertainty has also been seen in recent polarized measurements. We rerun our analysis using one of these calculations. The results show that the Comment exaggerates the quantitative effect at small Q^2.


title: Forced tearing of ductile and brittle thin sheets

abstract: Tearing a thin sheet by forcing a rigid object through it leads to complex crack morphologies; a single oscillatory crack arises when a tool is driven laterally through a brittle sheet, while two diverging cracks and a series of concertina-like folds forms when a tool is forced laterally through a ductile sheet. On the other hand, forcing an object perpendicularly through the sheet leads to radial petal-like tears in both ductile and brittle materials. To understand these different regimes we use a combination of experiments, simulations and simple theories. In particular, we describe the transition from brittle oscillatory tearing via a single crack to ductile concertina tearing with two tears by deriving laws that describe the crack paths and wavelength of the concertina folds and provide a simple phase diagram for the morphologies in terms of the material properties of the sheet and the relative size of the tool.


title: CMV matrices and little and big -1 Jacobi polynomials

abstract: We introduce a new map from polynomials orthogonal on the unit circle to polynomials orthogonal on the real axis. This map is closely related with the theory of CMV matrices. It contains an arbitrary parameter which leads to a linear operator pencil. We show that the little and big -1 Jacobi polynomials are naturally obtained under this map from the Jacobi polynomials on the unit circle.


title: Subspaces of pseudoradial spaces

abstract: We prove that every topological space (T0-space, T1-space) can be embedded in a pseudoradial space (in a pseudoradial T0-space, T1space). This answers the Problem 3 in [Arhangelskii, A.V. - Isler, R. - Tironi, G: On pseudo-radial spaces, Comment. Math. Univ. Carolin. 27 (1986), 137-156]. We describe the smallest coreflective subcategory A of Top such that the hereditary coreflective hull of A is the whole category Top. (The same result without any separation axiom was proved already in the master thesis E. Murtinov\'a: Podprostory pseudoradi\'aln\'ich prostor\r{u}. I wasn't aware of this work when preparing this paper.)


title: Flows of Renyi entropies

abstract: We demonstrate that the condensed matter quantum systems encompassing two reservoirs connected by a junction permit a natural definition of flows of conserved measures, Renyi entropies. Such flows are similar to the flows of physical conserved quantities such as charge and energy. We develop a perturbation technique that permits efficient computation of Renyi entropy flows and analyze second- and fourth order contributions. Second-order approximation was shown to correspond directly to the transition events in the system and thereby to posess a set of "intuitive" features. The analysis of fourth-order corrections reveals a more complicated picture: the "intuitive" relations do not hold anymore, and the corrections exhibit divergencies in low-temperature limit manifesting an intriguing non-analytical dependence of the flows on coupling strength in the limit of weak couplings and vanishing temperatures.


title: High ions towards white dwarfs: circumstellar line shifts and stellar temperature

abstract: Based on a compilation of OVI, CIV, SiIV and NV data from IUE, FUSE, GHRS, STIS, and COS, we derive an anti- correlation between the stellar temperature and the high ion velocity shift w.r.t. to the photosphere, with positive (resp. negative) velocity shifts for the cooler (resp. hotter) white dwarfs. This trend probably reflects more than a single process, however such a dependence on the WD's temperature again favors a CS origin for a very large fraction of those ion absorptions, previously observed with IUE, HST-STIS, HST-GHRS, FUSE, and now COS, selecting objects for which absorption line radial velocities, stellar effective temperature and photospheric velocity can be found in the literature. Interestingly, and gas in near-equilibrium in the star vicinity. It is also probably significant that the temperature that corresponds to a null radial velocity, i.e. \simeq 50,000K, also corresponds to the threshold below which there is a dichotomy between pure or heavy elements atmospheres as well as some temperature estimates for and a form of balance between radiation pressure and gravitation. This is consistent with ubiquitous evaporation of orbiting dusty material. Together with the fact that the fraction of stars with (red-or blue-) shifted lines and the fraction of stars known to possess heavy species in their atmosphere are of the same order, such a velocity-temperature relationship is consistent with quasi-continuous evaporation of orbiting CS dusty material, followed by accretion and settling down in the photosphere. In view of these results, ion measurements close to the photospheric or the IS velocity should be interpreted with caution, especially for stars at intermediate temperatures. While tracing CS gas, they may be erroneously attributed to photospheric material or to the ISM, explaining the difficulty of finding a coherent pattern of the high ions in the local IS 3D distribution.


title: Elliptic curves with a given number of points over finite fields

abstract: Given an elliptic curve $E$ and a positive integer $N$, we consider the problem of counting the number of primes $p$ for which the reduction of $E$ modulo $p$ possesses exactly $N$ points over $\mathbb F_p$. On average (over a family of elliptic curves), we show bounds that are significantly better than what is trivially obtained by the Hasse bound. Under some additional hypotheses, including a conjecture concerning the short interval distribution of primes in arithmetic progressions, we obtain an asymptotic formula for the average.


title: A theory of robust software synthesis

abstract: A key property for systems subject to uncertainty in their operating environment is robustness, ensuring that unmodelled, but bounded, disturbances have only a proportionally bounded effect upon the behaviours of the system. Inspired by ideas from robust control and dissipative systems theory, we present a formal definition of robustness and algorithmic tools for the design of optimally robust controllers for omega-regular properties on discrete transition systems. Formally, we define metric automata - automata equipped with a metric on states - and strategies on metric automata which guarantee robustness for omega-regular properties. We present fixed point algorithms to construct optimally robust strategies in polynomial time. In contrast to strategies computed by classical graph theoretic approaches, the strategies computed by our algorithm ensure that the behaviours of the controlled system gracefully degrade under the action of disturbances; the degree of degradation is parameterized by the magnitude of the disturbance. We show an application of our theory to the design of controllers that tolerate infinitely many transient errors provided they occur infrequently enough.


title: Constraining the axion mass through the asteroseismology of the ZZ Ceti star G117-B15A

abstract: We perform an asteroseismological study on the DAV star G117-B15A on the basis of a modern set of fully evolutionary DA white dwarf models that have consistent chemical profiles at the core and the envelope. We found an asteroseismological model for G117-B15A that closely reproduces its observed pulsation periods. Then, we use the most recently measured value of the rate of period change for the dominant mode of this pulsating star to impose a preliminary upper limit to the mass of the axion.


title: The Extreme Overabundance of Molybdenum in Two Metal-Poor Stars

abstract: We report determinations of the molybdenum abundances in five mildly to extremely metal-poor turnoff stars using five Mo II lines near 2000A. In two of the stars, the abundance of molybdenum is found to be extremely enhanced, as high or higher than the neighboring even-Z elements ruthenium and zirconium. Of the several nucleosynthesis scenarios envisioned for the production of nuclei in this mass range in the oldest stars, a high-entropy wind acting in a core-collapse supernova seems uniquely capable of the twin aspects of a high molybdenum overproduction confined to a narrow mass range. Whatever the details of the nucleosynthesis mechanism, however, this unusual excess suggests that very few individual nucleosynthesis events were responsible for the synthesis of the light trans-Fe heavy elements in these cases, an unexpected result given that both are only moderately metal-poor.


title: Prospects for rapid deceleration of small molecules by optical bichromatic forces

abstract: We examine the prospects for utilizing the optical bichromatic force (BCF) to greatly enhance laser deceleration and cooling for near-cycling transitions in small molecules. We discuss the expected behavior of the BCF in near-cycling transitions with internal degeneracies, then consider the specific example of decelerating a beam of calcium monofluoride molecules. We have selected CaF as a prototype molecule both because it has an easily-accessible near-cycling transition, and because it is well-suited to studies of ultracold molecular physics and chemistry. We also report experimental verification of one of the key requirements, the production of large bichromatic forces in a multi-level system, by performing tests in an atomic beam of metastable helium.


title: Secure Lossy Transmission of Vector Gaussian Sources

abstract: We study the secure lossy transmission of a vector Gaussian source to a legitimate user in the presence of an eavesdropper, where both the legitimate user and the eavesdropper have vector Gaussian side information. The aim of the transmitter is to describe the source to the legitimate user in a way that the legitimate user can reconstruct the source within a certain distortion level while the eavesdropper is kept ignorant of the source as much as possible as measured by the equivocation. We obtain an outer bound for the rate, equivocation and distortion region of this secure lossy transmission problem. This outer bound is tight when the transmission rate constraint is removed. In other words, we obtain the maximum equivocation at the eavesdropper when the legitimate user needs to reconstruct the source within a fixed distortion level while there is no constraint on the transmission rate. This characterization of the maximum equivocation involves two auxiliary random variables. We show that a non-trivial selection for both random variables may be necessary in general. The necessity of two auxiliary random variables also implies that, in general, Wyner-Ziv coding is suboptimal in the presence of an eavesdropper. In addition, we show that, even when there is no rate constraint on the legitimate link, uncoded transmission (deterministic or stochastic) is suboptimal; the presence of an eavesdropper necessitates the use of a coded scheme to attain the maximum equivocation.


title: Applications of Zigzag Persistence to Topological Data Analysis

abstract: The theory of zigzag persistence is a substantial extension of persistent homology, and its development has enabled the investigation of several unexplored avenues in the area of topological data analysis. In this paper, we discuss three applications of zigzag persistence: topological bootstrapping, parameter thresholding, and the comparison of witness complexes.


title: Constraining Dark Matter Models from a Combined Analysis of Milky Way Satellites with the Fermi Large Area Telescope

abstract: Satellite galaxies of the Milky Way are among the most promising targets for dark matter searches in gamma rays. We present a search for dark matter consisting of weakly interacting massive particles, applying a joint likelihood analysis to 10 satellite galaxies with 24 months of data of the Fermi Large Area Telescope. No dark matter signal is detected. Including the uncertainty in the dark matter distribution, robust upper limits are placed on dark matter annihilation cross sections. The 95% confidence level upper limits range from about 1e-26 cm^3 s^-1 at 5 GeV to about 5e-23 cm^3 s^-1 at 1 TeV, depending on the dark matter annihilation final state. For the first time, using gamma rays, we are able to rule out models with the most generic cross section (~3e-26 cm^3 s^-1 for a purely s-wave cross section), without assuming additional boost factors.


title: The thresholds for diameter 2 in random Cayley graphs

abstract: Given a group G, the model $\mathcal{G}(G,p)$ denotes the probability space of all Cayley graphs of G where each element of the generating set is chosen independently at random with probability p. In this article we show that for any $\epsilon > 0$ and any family of groups G_k of order n_k for which $n_k \to \infty$, a graph $\Gamma_k \in \mathcal{G}(G_k,p)$ with high probability has diameter at most 2 if $p \geqslant \sqrt{(2 + \epsilon) \frac{\log{n_k}}{n_k}}$ and with high probability has diameter greater than 2 if $p \leqslant \sqrt{(1/4 + \epsilon)\frac{\log{n_k}}{n_k}}$. We also provide examples of families of graphs which show that both of these results are best possible. Of particular interest is that for some families of groups, the corresponding random Cayley graphs achieve diameter 2 significantly faster than the Erd\H{o}s-Renyi random graphs.


title: Periodic derivations and prederivations of Lie algebras

abstract: We consider finite-dimensional complex Lie algebras admitting a periodic derivation, i.e., a nonsingular derivation which has finite multiplicative order. We show that such Lie algebras are at most two-step nilpotent and give several characterizations, such as the existence of gradings by sixth roots of unity, or the existence of a nonsingular derivation whose inverse is again a derivation. We also obtain results on the existence of periodic prederivations. In this context we study a generalization of Engel-4-Lie algebras.


title: Search for hadronic decays of a light Higgs boson in the radiative decay Upsilon --> gamma A0

abstract: We search for hadronic decays of a light Higgs boson (A0) produced in radiative decays of an Upsilon(2S) or Upsilon(3S) meson, Upsilon --> gamma A0. The data have been recorded by the BABAR experiment at the Upsilon(3S) and Upsilon(2S) center of mass energies, and include (121.3 \pm 1.2) x 10^6 Upsilon(3S) and (98.3 \pm 0.9) x 10^6 Upsilon(2S) mesons. No significant signal is observed. We set 90% confidence level upper limits on the product branching fractions B(Upsilon(nS)-->gamma A0) x B(A0-->hadrons) (n=2 or 3) that range from 1 x 10^{-6} for an A0 mass of 0.3 GeV/c^2 to 8 x 10^{-5} at 7 GeV/c^2.


title: Puncture black hole initial data in the conformal thin-sandwich formalism

abstract: We revisit the construction of puncture black hole initial data in the conformal thin-sandwich decomposition of Einstein's constraint equations. It has been shown previously that this approach cannot yield quasiequilibrium wormhole data, which connect two asymptotically flat spatial infinities. This argument does not apply to trumpet data, which connect the spatial infinity in one universe with the future timelike infinity of another. As a numerical demonstration we present results for a single boosted trumpet-puncture black holes, constructed in the original version of the conformal thin-sandwich formalism.


title: Nondegenerate singularities of integrable dynamical systems

abstract: We give a natural notion of nondegeneracy for singular points of integrable non-Hamiltonian systems, and show that such nondegenerate singularities are locally geometrically linearizable and deformation rigid in the analytic case. We conjecture that the same result also holds in the smooth case, and prove this conjecture for systems of type $(n,0)$, i.e. $n$ commuting smooth vector fields on a $n$-manifold.


title: Estimation in Functional Regression for General Exponential Families

abstract: This paper studies a class of exponential family models whose canonical parameters are specified as linear functionals of an unknown infinite-dimensional slope function. The optimal minimax rates of convergence for slope function estimation are established. The estimators that achieve the optimal rates are constructed by constrained maximum likelihood estimation with parameters whose dimension grows with sample size. A change-of-measure argument, inspired by Le Cam's theory of asymptotic equivalence, is used to eliminate the bias caused by the non-linearity of exponential family models.

categories: math.ST math.FA math.PR q-fin.ST stat.TH


title: Quantum phase slips in superconducting wires with weak inhomogeneities

abstract: Quantum phase slips are traditionally considered in diffusive superconducting wires which are assumed homogeneous. We present a definite estimate for the amplitude of phase slips that occur at a weak inhomogeneity in the wire where local resistivity is slightly increased. We model such a weak link as a general coherent conductor and show that the amplitude is dominated by topological part of the action. We argue that such weak links occur naturally in apparently homogeneous wires and adjust the estimate to that case. The fabrication of an artificial weak link would localize phase slips and facilitate a better control of the phase-slip amplitude.


title: Sr3Ru2O7: Thermodynamics of Phase Formation in a Quantum Critical Metal

abstract: The behaviour of matter near zero temperature continuous phase transitions, or 'quantum critical points' (QCPs) is a central topic of study in condensed matter physics. In fermionic systems, fundamental questions remain unanswered: the nature of the quantum critical regime is unclear because of the apparent breakdown of the concept of the quasiparticle, a cornerstone of existing theories of strongly interacting metals. Even less is known experimentally about the formation of ordered phases from such a quantum critical 'soup'. Here, we report a study of the specific heat across the phase diagram of the model system Sr3Ru2O7, which features an anomalous phase whose transport properties are consistent with those of an electronic nematic. We show that this phase, which exists at low temperatures in a narrow range of magnetic fields, forms directly from a quantum critical state, and contains more entropy than mean-field calculations predict. Our results suggest that this extra entropy is due to remnant degrees of freedom from the highly entropic state above T_c. The associated quantum critical point, which is 'concealed' by the nematic phase, separates two Fermi liquids, neither of which has an identifiable spontaneously broken symmetry, but which likely differ in the topology of their Fermi surfaces.


title: Compactification of the Heterotic Pure Spinor Superstring II

abstract: We study compactifications of the heterotic pure spinor superstring to six and four dimensions focusing on two simple Calabi-Yau orbifolds. We show that the correct spectrum can be reproduced only if, in the twisted sector, there remain exactly 5 and 2 pure spinor components untwisted, respectively. This naturally defines a "small" Hilbert space of untwisted variables. We point out that the cohomology of the reduced differential on this small Hilbert space can be used to describe the states in the untwisted sector, provided certain auxiliary constraints are defined. In dimension six, the mismatch between the number of pure spinor components in the small Hilbert space and the number of components of a six-dimensional pure spinor is interpreted as providing the projective measure on the analytic subspace (in the projective description) of harmonic superspace.


title: SparseAssembler2: Sparse k-mer Graph for Memory Efficient Genome Assembly

abstract: The formal version of our work has been published in BMC Bioinformatics and can be found here: http://www.biomedcentral.com/1471-2105/13/S6/S1 Motivation: To tackle the problem of huge memory usage associated with de Bruijn graph-based algorithms, upon which some of the most widely used de novo genome assemblers have been built, we released SparseAssembler1. SparseAssembler1 can save as much as 90% memory consumption in comparison with the state-of-art assemblers, but it requires rounds of denoising to accurately assemble genomes. In this paper, we introduce a new general model for genome assembly that uses only sparse k-mers. The new model replaces the idea of the de Bruijn graph from the beginning, and achieves similar memory efficiency and much better robustness compared with our previous SparseAssembler1. Results: We demonstrate that the decomposition of reads of all overlapping k-mers, which is used in existing de Bruijn graph genome assemblers, is overly cautious. We introduce a sparse k-mer graph structure for saving sparse k-mers, which greatly reduces memory space requirements necessary for de novo genome assembly. In contrast with the de Bruijn graph approach, we devise a simple but powerful strategy, i.e., finding links between the k-mers in the genome and traversing following the links, which can be done by saving only a few k-mers. To implement the strategy, we need to only select some k-mers that may not even be overlapping ones, and build the links between these k-mers indicated by the reads. We can traverse through this sparse k-mer graph to build the contigs, and ultimately complete the genome assembly. Since the new sparse k-mers graph shares almost all advantages of de Bruijn graph, we are able to adapt a Dijkstra-like breadth-first search algorithm to circumvent sequencing errors and resolve polymorphisms.


title: Hidden symmetry of four-point correlation functions and amplitudes in N=4 SYM

abstract: We study the four-point correlation function of stress-tensor supermultiplets in N=4 SYM using the method of Lagrangian insertions. We argue that, as a corollary of N=4 superconformal symmetry, the resulting all-loop integrand possesses an unexpected complete symmetry under the exchange of the four external and all the internal (integration) points. This alone allows us to predict the integrand of the three-loop correlation function up to four undetermined constants. Further, exploiting the conjectured amplitude/correlation function duality, we are able to fully determine the three-loop integrand in the planar limit. We perform an independent check of this result by verifying that it is consistent with the operator product expansion, in particular that it correctly reproduces the three-loop anomalous dimension of the Konishi operator. As a byproduct of our study, we also obtain the three-point function of two half-BPS operators and one Konishi operator at three-loop level. We use the same technique to work out a compact form for the four-loop four-point integrand and discuss the generalisation to higher loops.


title: Proceedings of the 5th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2011)

abstract: This volume represents the proceedings of the 5th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2011), held together with the 12th International Conference on Membrane Computing on 23rd August 2011 in Fontainebleau, France.


title: Resonant suppression of thermal stability of the nanoparticle magnetization by a rotating magnetic field

abstract: We study the thermal stability of the periodic (P) and quasi-periodic (Q) precessional modes of the nanoparticle magnetic moment induced by a rotating magnetic field. An analytical method for determining the lifetime of the P mode in the case of high anisotropy barrier and small amplitudes of the rotating field is developed within the Fokker-Planck formalism. In general case, the thermal stability of both P and Q modes is investigated by numerical simulation of the stochastic Landau-Lifshitz equation. We show analytically and numerically that the lifetime is a nonmonotonic function of the rotating field frequency which, depending on the direction of field rotation, has either a pronounced maximum or a deep minimum near the Larmor frequency.


title: Resonant Behavior of an Augmented Railgun

abstract: We consider a lumped circuit model of an augmented electromagnetic railgun that consists of a gun circuit and an augmentation circuit that is inductively coupled to the gun circuit. The gun circuit is driven by a d.c. voltage generator, and the augmentation circuit is driven by an a.c. voltage generator. Using sample parameters, we numerically solve the three non-linear dynamical equations that describe this system. We find that there is a resonant behavior in the armature kinetic energy as a function of the frequency of the voltage generator in the augmentation circuit. This resonant behavior may be exploited to increase armature kinetic energy. Alternatively, if the presence of the kinetic energy resonance is not taken into account, parameters may be chosen that result in less than optimal kinetic energy and efficiency.


title: A Habitable Planet around HD 85512?

abstract: Aims: In this study we assess the habitability of HD85512b, a 3.6M_Earth planet orbiting a K5V star. The radial velocity data and orbital parameters for HD 85512 b have just been published, based on data from the dedicated HARPS-upgrade GTO program. Methods: This paper outlines a simple approach to evaluate habitability of rocky planets from radial velocity (RV) searches by using atmospheric models of rocky planets with H2O/CO2/N2 atmospheres, like Earth. We focus our analysis on HD 85512 b. To first order the limits of the Habitable Zone depend on the effective stellar flux distribution in wavelength and time, the planet's Bond albedo, and greenhouse gas effects in this approach. We also discuss the dependence of habitability on the measurement accuracies. Results: We provide a simple set of parameters which can be used for evaluating current and future planet candidates from RV searches for their potential habitability. We find that HD 85512 b could be potentially habitable if the planet exhibits more than 50% cloud coverage. HD 85512 b is, with Gl 581 d, the best candidate for exploring habitability to date, a planet on the edge of habitability.


title: Possibility of Skyrmion Superconductivity in Doped Antiferromagnet K$_2$Fe$_4$Se$_5$

abstract: Intercalated Fe chalcogenide K$_2$Fe$_4$Se$_5$ family exhibits high Tc ($\sim$ 30 K) superconductivity and spin-8 high T$_{\rm N}$ ($\sim$ 560 K) antiferromagnetism (AFM). We present a model Hamiltonian and suggest \textit{Skyrmion superconductivity}. A doped electron creates an orbitally non degenerate S=7\half state in a F$_4$Se$_9$ cluster and moves in a single correlated band, exchange coupled to a robust S=8 AFM order. Skyrmion, a topological excitation of 2 dimensional AFM order acquires an \textit{induced charge -2e} through a quantum anomaly and becomes a Cooper pair. Superconductivity emerges for a range of doping. Fluctuating superconductivity, arising from preformed Cooper pairs (stable Skyrmions), around room temperatures is predicted. We offer hope for higher Tc's in large-S Mott insulators.


title: Vortices on Orbifolds

abstract: The Abelian and non-Abelian vortices on orbifolds are investigated based on the moduli matrix approach, which is a powerful method to deal with the BPS equation. The moduli space and the vortex collision are discussed through the moduli matrix as well as the regular space. It is also shown that a quiver structure is found in the Kahler quotient, and a half of ADHM is obtained for the vortex theory on the orbifolds as the case before orbifolding.


title: Impact of Protostellar Outflow on Star Formation: Effects of Initial Cloud Mass

abstract: Star formation efficiency controlled by the protostellar outflow in a single cloud core is investigated by three-dimensional resistive MHD simulations. Starting from the prestellar cloud core, the star formation process is calculated until the end of the main accretion phase. In the calculations, the mass of the prestellar cloud is parameterized. During the star formation, the protostellar outflow is driven by the circumstellar disk. The outflow extends also in the transverse direction until its width becomes comparable to the initial cloud scale, and thus, the outflow has a wide opening angle of >40 degrees. As a result, the protostellar outflow sweeps up a large fraction of the infalling material and ejects it into the interstellar space. The outflow can eject at most over half of the host cloud mass, significantly decreasing star formation efficiency. The outflow power is stronger in clouds with a greater initial mass. Thus, the protostellar outflow effectively suppresses star formation efficiency in a massive cloud. The outflow weakens significantly and disappears in several free-fall timescales of the initial cloud after the cloud begins to collapse. The natal prestellar core influences the lifetime and size of the outflow. At the end of the main accretion phase, a massive circumstellar disk comparable in mass to the protostar remains. Calculations show that typically, ~30% of the initial cloud mass is converted into the protostar and ~20% remains in the circumstellar disk, while ~40% is ejected into the interstellar space by the protostellar outflow. Therefore, a single cloud core typically has a star formation efficiency of 30-50%.


title: The Pioneer anomaly and the holographic scenario

abstract: In this paper we discuss the recently obtained relation between the Verlinde's holographic model and the first phenomenological Modified Newtonian dynamics. This gives also a promising possible explanation to the Pioneer anomaly.


title: The evolution of binary populations in cool, clumpy star clusters

abstract: Observations and theory suggest that star clusters can form in a subvirial (cool) state and are highly substructured. Such initial conditions have been proposed to explain the level of mass segregation in clusters through dynamics, and have also been successful in explaining the origin of trapezium-like systems. In this paper we investigate, using N-body simulations, whether such a dynamical scenario is consistent with the observed binary properties in the Orion Nebula Cluster (ONC). We find that several different primordial binary populations are consistent with the overall fraction and separation distribution of visual binaries in the ONC (in the range 67 - 670 au), and that these binary systems are heavily processed. The substructured, cool-collapse scenario requires a primordial binary fraction approaching 100 per cent. We find that the most important factor in processing the primordial binaries is the initial level of substructure; a highly substructured cluster processes up to 20 per cent more systems than a less substructured cluster because of localised pockets of high stellar density in the substructure. Binaries are processed in the substructure before the cluster reaches its densest phase, suggesting that even clusters remaining in virial equilibrium or undergoing supervirial expansion would dynamically alter their primordial binary population. Therefore even some expanding associations may not preserve their primordial binary population.


title: WR 38/38a and the ratio of total-to-selective extinction in Carina

abstract: A reanalysis of the (seemingly very distant) open cluster Shorlin 1, the group of stars associated with WR 38 and WR 38a, is made on the basis of existing UBV and JHKs observations for cluster members. The 2MASS observations, in particular, imply a mean cluster reddening of E(B-V)=1.45+-0.07 and a distance of 2.94+-0.12 kpc. The reddening agrees with the UBV results provided that the local reddening slope is described by E(U-B)/E(B-V)=0.64+-0.01, but the distance estimates in the 2MASS and UBV systems agree only if the ratio of total-to-selective extinction for the associated dust is R=Av/E(B-V)=4.0+-0.1. Both results are similar to what has been obtained for adjacent clusters in the Eta Carinae region by similar analyses, which suggests that `anomalous' dust extinction is widespread through the region, particularly for groups reddened by relatively nearby dust. Dust associated with the Eta Carinae complex itself appears to exhibit more `normal' qualities. The results have direct implications for the interpretation of distances to optical spiral arm indicators for the Galaxy at l=287-291 degrees, in particular the Carina arm here is probably little more than ~2 kpc distant, rather than 2.5-3 kpc distant as implied in previous studies. Newly-derived intrinsic parameters for the two cluster Wolf-Rayet stars WR 38 (WC4) and WR 38a (WN5) are in good agreement with what is found for other WR stars in Galactic open clusters, which was not the case previously.


title: Momentum-space entanglement and renormalization in quantum field theory

abstract: The degrees of freedom of any interacting quantum field theory are entangled in momentum space. Thus, in the vacuum state, the infrared degrees of freedom are described by a density matrix with an entanglement entropy. We derive a relation between this density matrix and the conventional Wilsonian effective action. We argue that the entanglement entropy of and mutual information between subsets of field theoretic degrees of freedom at different momentum scales are natural observables in quantum field theory and demonstrate how to compute these in perturbation theory. The results may be understood heuristically based on the scale-dependence of the coupling strength and number of degrees of freedom. We measure the rate at which entanglement between degrees of freedom declines as their scales separate and suggest that this decay is related to the property of decoupling in quantum field theory.


title: Entangled and sequential quantum protocols with dephasing

abstract: Sequences of commuting quantum operators can be parallelized using entanglement. This transformation is behind some optimal quantum metrology protocols and recent results on quantum circuit complexity. We show that dephasing quantum maps in arbitrary dimension can also be parallelized. This implies that for general dephasing noise the protocol with entanglement is not more fragile than the corresponding sequential protocol and, conversely, the sequential protocol is not less effective than the entangled one. We derive this result using tensor networks. Furthermore, we only use transformations strictly valid within string diagrams in dagger compact closed categories. Therefore, they apply verbatim to other theories, such as geometric quantization and topological quantum field theory. This clarifies and characterizes to some extent the role of entanglement in general quantum theories.


title: Local Analysis of Inverse Problems: H\"{o}lder Stability and Iterative Reconstruction

abstract: We consider a class of inverse problems defined by a nonlinear map from parameter or model functions to the data. We assume that solutions exist. The space of model functions is a Banach space which is smooth and uniformly convex; however, the data space can be an arbitrary Banach space. We study sequences of parameter functions generated by a nonlinear Landweber iteration and conditions under which these strongly converge, locally, to the solutions within an appropriate distance. We express the conditions for convergence in terms of H\"{o}lder stability of the inverse maps, which ties naturally to the analysis of inverse problems.


title: Gaussian Channel with Noisy Feedback and Peak Energy Constraint

abstract: Optimal coding over the additive white Gaussian noise channel under the peak energy constraint is studied when there is noisy feedback over an orthogonal additive white Gaussian noise channel. As shown by Pinsker, under the peak energy constraint, the best error exponent for communicating an M-ary message, M >= 3, with noise-free feedback is strictly larger than the one without feedback. This paper extends Pinsker's result and shows that if the noise power in the feedback link is sufficiently small, the best error exponent for conmmunicating an M-ary message can be strictly larger than the one without feedback. The proof involves two feedback coding schemes. One is motivated by a two-stage noisy feedback coding scheme of Burnashev and Yamamoto for binary symmetric channels, while the other is a linear noisy feedback coding scheme that extends Pinsker's noise-free feedback coding scheme. When the feedback noise power $\alpha$ is sufficiently small, the linear coding scheme outperforms the two-stage (nonlinear) coding scheme, and is asymptotically optimal as $\alpha$ tends to zero. By contrast, when $\alpha$ is relatively larger, the two-stage coding scheme performs better.


title: TrES-5: A Massive Jupiter-sized Planet Transiting A Cool G-dwarf

abstract: We report the discovery of TrES-5, a massive hot Jupiter that transits the star GSC 03949-00967 every 1.48 days. From spectroscopy of the star we estimate a stellar effective temperature of$5171 +/- 36 K, and from high-precision B, R and I photometry of the transit we constrain the ratio of the semi-major axis and the stellar radius to be 6.07 +/- 0.14. We compare these values to model stellar isochrones to obtain a stellar mass of 0.893 +/- 0.024 solar masses. Based on this estimate and the photometric time series, we constrain the stellar radius to be 0.866 +/- 0.013 solar radii, and the planet radius to be 1.209 +/- 0.021 Jupiter radii. We model our radial-velocity data assuming a circular orbit and find a planetary mass of 1.778 +/- 0.063 Jupiter masses. Our radial-velocity observations rule out line-bisector variations that would indicate a specious detection resulting from a blend of an eclipsing binary system. TrES-5 orbits one of the faintest stars with transiting planets found to date from the ground and demonstrates that precise photometry and followup spectroscopy are possible, albeit challenging, even for such faint stars.


title: Multi-Zone Modeling of The Pulsar Wind Nebula HESS J1825-137

abstract: The pulsar wind nebula associated with PSR J1826-1334, HESS J1825-137, is a bright very high energy source with an angular extent of ~1 degree and spatially-resolved spectroscopic TeV measurements. The gamma-ray spectral index is observed to soften with increasing distance from the pulsar, likely the result of cooling losses as electrons traverse the nebula. We describe analysis of X-ray data of the extended nebula, as well as 3-D time-dependent spectral energy distribution modeling, with emphasis on the spatial variations within HESS J1825-137. The multi-wavelength data places significant constraints on electron injection, transport, and cooling within the nebula. The large size and high nebular energy budget imply a relatively rapid initial pulsar spin period of 13 \pm 7 ms and an age of 40 \pm 9 kyr. The relative fluxes of each VHE zone can be explained by advective particle transport with a radially decreasing velocity profile with $v(r) \propto r^{-0.5}$. The evolution of the cooling break requires an evolving magnetic field which also decreases radially from the pulsar, $B(r,t) \propto r^{-0.7} \dot{E}(t)^{1/2}$. Detection of 10 TeV flux ~80 pc from the pulsar requires rapid diffusion of high energy particles with $\tau_{esc} \approx 90 (R / 10 pc)^2 (E_e/100 TeV)^{-1}$ year, contrary to the common assumption of toroidal magnetic fields with strong magnetic confinement. The model predicts a rather uniform Fermi LAT surface brightness out to ~1 degree from the pulsar, in good agreement with the recently discovered LAT source centered 0.5 degree southwest of PSR J1826-1334 with extension 0.6 \pm 0.1 degree.


title: SUSY Hidden in the Continuum

abstract: We study models where the superpartners of the ordinary particles have continuous spectra rather than being discrete states, which can occur when the supersymmetric standard model is coupled to an approximately conformal sector. We show that when superpartners that are well into the continuum are produced at a collider they tend to have long decay chains that step their way down through the continuum, emitting many fairly soft standard model particles along the way, with a roughly spherical energy distribution in the center of mass frame.


title: On the local extension of Killing vector-fields in Ricci flat manifolds

abstract: We revisit the problem of extension of Killing vector-fields in smooth Ricci flat manifolds, and its relevance to the black hole rigidity problem.


title: Supernova Propagation in the Circumstellar and Interstellar Medium

abstract: We describe the propagation of supernova shocks within the surrounding medium, which may be due to mass-loss from the progenitor star. The structure and density profile of the ejected material and surrounding medium are considered. Shock wave interaction with clouds and wind-bubbles, and issues relevant to cosmic rays are briefly discussed.


title: Brillouin Cooling

abstract: We analyze how to exploit Brillouin scattering for the purpose of cooling opto-mechanical devices and present a quantum-mechanical theory for Brillouin cooling. Our analysis shows that significant cooling ratios can be obtained with standard experimental parameters. A further improvement of cooling efficiency is possible by increasing the dissipation of the optical anti-Stokes resonance.


title: Jets and Wide Angle Outflows in Cepheus E: New Evidence from Spitzer

abstract: In some protostellar objects both wide angle outflows and collimated jets are seen, while in others only one is observed. Spitzer provides unprecedented sensitivity in the infrared to study both the jet and outflow features. Here, we use HiRes deconvolution to improve the visualization of spatial morphology by enhancing resolution (to sub-arcsecond levels in the IRAC bands) and removing the contaminating sidelobes from bright sources. We apply this approach to study the jet and outflow features in Cep E a young, energetic Class 0 protostar. In the reprocessed images we detect: (i) wide angle outflow seen in scattered light; (ii) morphological details on at least 29 jet driven bow shocks and jet heads or knots; (iii) three compact features in 24 micron continuum image as atomic/ionic line emission coincident with the jet heads; and, (iv) a flattened 35 arcsec size protostellar envelope seen against the interstellar background PAH emission as an absorption band across the protostar at 8 micron. By separating the protostellar photospheric scattered emission in the wide angle cavity from the jet emission we show that we can study directly the scattered light spectrum. We present the H2 emission line spectra, as observed in all IRAC bands, for 29 knots in the jets and bowshocks and use them in the IRAC color -- color space as a diagnostic of the thermal gas in the shocks driven by the jets. The data presented here will enable detailed modeling of the individual shocks retracing the history of the episodic jet activity and the associated accretion on to the protostar. The Spitzer data analysis presented here shows the richness of its archive as a resource to study the jet/outflow features in H2 and scattered light in a large homogeneous sample.


title: Formation of Black Holes in Topologically Massive Gravity

abstract: We present an exact solution in 3-dimensional topologically massive gravity with negative cosmological constant which dynamically interpolates between a past horizon and a chiral AdS pp-wave. Similarly, upon time reversal, one obtains an AdS pp-wave with a future event horizon


title: The Structure of Masses of rank $n$ Quadratic Lattices of varying determinant over number fields

abstract: In this paper we establish a fundamental structural result for formal series encoding the total non-archimedean masses of quadratic lattices of varying determinant squareclasses, but with fixed rank $n$ and signature over any fixed number field. We conclude with some local computations for $n=2$, and use these to derive an analytic class number formula for CM extensions.


title: Semi-leptonic $D_s^+$(1968) decays as a scalar meson probe

abstract: The unusual multiplet structures associated with the light spin zero mesons have recently attracted a good deal of theoretical attention. Here we discuss some aspects associated with the possibility of getting new experimental information on this topic from semi-leptonic decays of heavy charged mesons into an isosinglet scalar or pseudoscalar plus leptons.


title: On Slant Helices and General Helices in Euclidean n-Space

abstract: In this paper, in Euclidean n -space, we investigate the relation between slant helices and spherical helices. Moreover, in E n, we show that a slant helix and the tangent indicatrix of the slant helix have the same axis (or direction). Also, we give the important relations between slant helices, spherical helices in E n and geodesic curves on a helix hypersurface in E n.


title: Hidden assumptions in the derivation of the Theorem of Bell

abstract: John Bell's inequalities have already been considered by Boole in 1862. Boole established a one-to-one correspondence between experimental outcomes and mathematical abstractions of his probability theory. His abstractions are two-valued functions that permit the logical operations AND, OR and NOT and are the elements of an algebra. Violation of the inequalities indicated to Boole an inconsistency of definition of the abstractions and/or the necessity to revise the algebra. It is demonstrated in this paper, that a violation of Bell's inequality by Einstein-Podolsky-Rosen type of experiments can be explained by Boole's ideas. Violations of Bell's inequality also call for a revision of the mathematical abstractions and corresponding algebra. It will be shown that this particular view of Bell's inequalities points toward an incompleteness of quantum mechanics, rather than to any superluminal propagation or influences at a distance.


title: Hysteresis and Return Point Memory in Artificial Spin Ice Systems

abstract: We investigate hysteresis loops and return point memory for artificial square and kagome spin ice systems by cycling an applied bias force and comparing microscopic effective spin configurations throughout the hysteresis cycle. Return point memory loss is caused by motion of individual defects in kagome ice or of grain boundaries in square ice. In successive cycles, return point memory is recovered rapidly in kagome ice. Memory is recovered more gradually in square ice due to the extended nature of the grain boundaries. Increasing the amount of quenched disorder increases the defect density but also enhances the return point memory since the defects become trapped more easily.


title: Some properties of the moment estimator of shape parameter for the gamma distribution

abstract: Exact distribution of the moment estimator of shape parameter for the gamma distribution for small samples is derived. Order preserving properties of this estimator are presented.


title: Order preserving property of moment estimators

abstract: Balakrishnan and Mi [1] considered order preserving property of maximum likelihood estimators. In this paper there are given conditions under which the moment estimators have the property of preserving stochastic orders. There is considered property of preserving for usual stochastic order as well as for likelihood ratio order. Mainly, sufficient conditions are given for one parameter family of distributions and also for exponential family, location family and scale family.


title: A Centerless Virasoro Algebra of Master Symmetries for the Ablowitz-Ladik Hierarchy

abstract: We show that the (semi-infinite) Ablowitz-Ladik (AL) hierarchy admits a centerless Virasoro algebra of master symmetries in the sense of Fuchssteiner [Progr. Theoret. Phys. 70 (1983), 1508-1522]. An explicit expression for these symmetries is given in terms of a slight generalization of the Cantero, Moral and Vel\'azquez (CMV) matrices [Linear Algebra Appl. 362 (2003), 29-56] and their action on the tau-functions of the hierarchy is described. The use of the CMV matrices turns out to be crucial for obtaining a Lax pair representation of the master symmetries. The AL hierarchy seems to be the first example of an integrable hierarchy which admits a full centerless Virasoro algebra of master symmetries, in contrast with the Toda lattice and Korteweg-de Vries hierarchies which possess only "half of" a Virasoro algebra of master symmetries, as explained in Adler and van Moerbeke [Duke Math. J. 80 (1995), 863-911], Damianou [Lett. Math. Phys. 20 (1990), 101-112] and Magri and Zubelli [Comm. Math. Phys. 141 (1991), 329-351].


title: Graph Invertibility

abstract: Extending the work of Godsil and others, we investigate the notion of the inverse of a graph (specifically, of bipartite graphs with a unique perfect matching). We provide a concise necessary and sufficient condition for the invertibility of such graphs and generalize the notion of invertibility to multigraphs. We examine the question of whether there exists a "litmus subgraph" whose bipartiteness determines invertibility. As an application of our invertibility criteria, we quickly describe all invertible unicyclic graphs. Finally, we describe a general combinatorial procedure for iteratively constructing invertible graphs, giving rise to large new families of such graphs.


title: Are there laws of genome evolution?

abstract: Research in quantitative evolutionary genomics and systems biology led to the discovery of several universal regularities connecting genomic and molecular phenomic variables. These universals include the log-normal distribution of the evolutionary rates of orthologous genes; the power law-like distributions of paralogous family size and node degree in various biological networks; the negative correlation between a gene's sequence evolution rate and expression level; and differential scaling of functional classes of genes with genome size. The universals of genome evolution can be accounted for by simple mathematical models similar to those used in statistical physics, such as the birth-death-innovation model. These models do not explicitly incorporate selection, therefore the observed universal regularities do not appear to be shaped by selection but rather are emergent properties of gene ensembles. Although a complete physical theory of evolutionary biology is inconceivable, the universals of genome evolution might qualify as 'laws of evolutionary genomics' in the same sense 'law' is understood in modern physics.


title: Predictability of evolutionary trajectories in fitness landscapes

abstract: Experimental studies on enzyme evolution show that only a small fraction of all possible mutation trajectories are accessible to evolution. However, these experiments deal with individual enzymes and explore a tiny part of the fitness landscape. We report an exhaustive analysis of fitness landscapes constructed with an off-lattice model of protein folding where fitness is equated with robustness to misfolding. This model mimics the essential features of the interactions between amino acids, is consistent with the key paradigms of protein folding and reproduces the universal distribution of evolutionary rates among orthologous proteins. We introduce mean path divergence as a quantitative measure of the degree to which the starting and ending points determine the path of evolution in fitness landscapes. Global measures of landscape roughness are good predictors of path divergence in all studied landscapes: the mean path divergence is greater in smooth landscapes than in rough ones. The model-derived and experimental landscapes are significantly smoother than random landscapes and resemble additive landscapes perturbed with moderate amounts of noise; thus, these landscapes are substantially robust to mutation. The model landscapes show a deficit of suboptimal peaks even compared with noisy additive landscapes with similar overall roughness. We suggest that smoothness and the substantial deficit of peaks in the fitness landscapes of protein evolution are fundamental consequences of the physics of protein folding.


title: Electronically excited cold ion crystals

abstract: The laser excitation of an ion crystal to high lying and long-lived electronic states is a genuine many-body process even if in fact only a single ion is excited. This is a direct manifestation of the strong coupling between internal and external dynamics and becomes most apparent in the vicinity of a structural phase transition. Here we show that utilizing highly excited states offers a new approach to the coherent manipulation of ion crystals. This permits the study of phenomena which rely on a strong coupling between electronic and vibrational dynamics and opens up a route towards the quantum simulation of molecular processes in a Paul trap.


title: Magnetic Scaling Laws for the Atmospheres of Hot Giant Exoplanets

abstract: We present scaling laws for advection, radiation, magnetic drag and ohmic dissipation in the atmospheres of hot giant exoplanets. In the limit of weak thermal ionization, ohmic dissipation increases with the planetary equilibrium temperature (T_eq >~ 1000 K) faster than the insolation power does, eventually reaching values >~ 1% of the insolation power, which may be sufficient to inflate the radii of hot Jupiters. At higher T_eq values still, magnetic drag rapidly brakes the atmospheric winds, which reduces the associated ohmic dissipation power. For example, for a planetary field strength B=10G, the fiducial scaling laws indicate that ohmic dissipation exceeds 1% of the insolation power over the equilibrium temperature range T_eq ~ 1300-2000 K, with a peak contribution at T_eq ~ 1600 K. Evidence for magnetically dragged winds at the planetary thermal photosphere could emerge in the form of reduced longitudinal offsets for the dayside infrared hotspot. This suggests the possibility of an anticorrelation between the amount of hotspot offset and the degree of radius inflation, linking the atmospheric and interior properties of hot giant exoplanets in an observationally testable way. While providing a useful framework to explore the magnetic scenario, the scaling laws also reveal strong parameter dependencies, in particular with respect to the unknown planetary magnetic field strength.


title: Neutrino spin oscillations in gravitational fields

abstract: We study neutrino spin oscillations in black hole backgrounds. In the case of a charged black hole, the maximum frequency of oscillations is a monotonically increasing function of the charge. For a rotating black hole, the maximum frequency decreases with increasing the angular momentum. In both cases, the frequency of spin oscillations decreases as the distance from the black hole grows. As a phenomenological application of our results, we study simple bipolar neutrino system which is an interesting example of collective neutrino oscillations. We show that the precession frequency of the flavor pendulum as a function of the neutrino number density will be higher for a charged/non-rotating black hole compared with a neutral/rotating black hole respectively.


title: Remote state preparation of spatial qubits

abstract: We study the quantum communication protocol of remote state preparation (RSP) for pure states of qubits encoded in single photons transmitted through a double slit, the so-called spatial qubits. Two measurement strategies that one can adopt to remotely prepare the states are discussed. The first strategy is the well-known spatial postselection, where a single-pixel detector measures the transverse position of the photon between the focal and the image plane of a lens. The second strategy, proposed by ourselves, is a generalized measurement divided into two steps: the implementation of a two-outcome positive operator-valued measurement (POVM) followed by the spatial postselection at the focal plane of the lens by a two-pixel detector in each output of the POVM. In both cases we analyze the effects of the finite spatial resolution of the detectors over three figures of merit of the protocol, namely, the probability of preparation, the fidelity and purity of the remotely prepared states. It is shown that our strategy improves these figures compared with spatial postselection, at the expense of increasing the classical communication cost as well as the required experimental resources. In addition, we present a modified version of our strategy for RSP of spatial qudits which is able to prepare arbitrary pure states, unlike spatial postselection alone. We expect that our study may also be extended for RSP of the angular spectrum of a single-photon field as an alternative for quantum teleportation which requires very inefficient nonlinear interactions.


title: Steady Flow for Shear Thickening Fluids with Arbitrary Fluxes

abstract: We solve the stationary Navier-Stokes equations for non-Newtonian incompressible fluids with shear dependent viscosty in domains with unbounded outlets, in the case of shear thickening viscosity, i.e. the viscosity is given by the shear rate to the power p-2 where p>2. The flux assumes arbitrary given values and the Dirichlet integral of the velocity field grows at most linearly in the outlets of the domain. Under some smallness conditions on the "energy dispersion" we also show that the solution of this problem is unique. Our results are an extension of those obtained by O.A. Ladyzhenskaya and V.A. Solonnikov (J. Soviet Math., 21 (1983) 728-761) for Newtonian fluids (p=2).


title: Assortment Optimization Under General Choice

abstract: We consider the problem of static assortment optimization, where the goal is to find the assortment of size at most $C$ that maximizes revenues. This is a fundamental decision problem in the area of Operations Management. It has been shown that this problem is provably hard for most of the important families of parametric of choice models, except the multinomial logit (MNL) model. In addition, most of the approximation schemes proposed in the literature are tailored to a specific parametric structure. We deviate from this and propose a general algorithm to find the optimal assortment assuming access to only a subroutine that gives revenue predictions; this means that the algorithm can be applied with any choice model. We prove that when the underlying choice model is the MNL model, our algorithm can find the optimal assortment efficiently.


title: Strong Variable Ultraviolet Emission from Y Gem: Accretion Activity in an AGB Star with a Binary Companion?

abstract: Binarity is believed to dramatically affect the history and geometry of mass loss in AGB and post-AGB stars, but observational evidence of binarity is sorely lacking. As part of a project to look for hot binary companions to cool AGB stars using the GALEX archive, we have discovered a late-M star, Y Gem, to be a source of strong and variable UV emission. Y Gem is a prime example of the success of our technique of UV imaging of AGB stars in order to search for binary companions. Y Gem's large and variable UV flux makes it one of the most prominent examples of a late AGB star with a mass accreting binary companion. The UV emission is most likely due to emission associated with accretion activity and a disk around a main-sequence companion star. The physical mechanism generating the UV emission is extremely energetic, with an integrated luminosity of a few L(sun) at its peak. We also find weak CO J=2-1 emission from Y Gem with a very narrow line profile (FWHM of 3.4 km/s). Such a narrow line is unlikely to arise in an outflow, and is consistent with emission from an orbiting, molecular reservoir of radius 300 AU. Y Gem may be the progenitor of the class of post-AGB stars which are binaries and possess disks but no outflows.


title: The Diederich-Fornaess index and the global regularity of the di-bar-Neumann problem

abstract: We describe along the guidelines of Kohn "Quantitative estimates..." (1999), the constant E_s which is needed to control the commutator of a totally real vector field T with di-bar* in order to have Sobolev s-regularity of the Bergman projection in any degree of forms, on a smooth pseudoconvex domain D of the complex space. This statement, not explicit in Kohn's paper, yields Straube's Theorem in "A sufficient condition..." (2008). Next, we refine the pseudodifferential calculus at the boundary in order to relate, for a defining function r of D, the operators (T^+)^{-delta/2} and (-r)^{delta/2}. We are thus able to extend to general degree of forms the conclusion of Kohn which only holds for functions: if for the Diederich-Fornaess index delta of D, we have that (1-\delta)^{1/2} < E_s, then the Bergman projection is s-regular.


title: Decode-forward and Compute-forward Coding Schemes for the Two-Way Relay Channel

abstract: We consider the full-duplex two-way relay channel with direct link between two users and propose two coding schemes: a partial decode-forward scheme, and a combined decode-forward and compute-forward scheme. Both schemes use rate-splitting and superposition coding at each user and generate codewords for each node independently. When applied to the Gaussian channel, partial decode-forward can strictly increase the rate region over decode-forward, which is opposite to the one-way relay channel. The combined scheme uses superposition coding of both Gaussian and lattice codes to allow the relay to decode the Gaussian parts and compute the lattice parts. This scheme can also achieve new rates and outperform both decode-forward and compute-forward separately. These schemes are steps towards understanding the optimal coding.


title: Supernova enhanced cosmic ray ionization and induced chemistry in a molecular cloud of W51C

abstract: Cosmic rays pervade the Galaxy and are thought to be accelerated in supernova shocks. The interaction of cosmic rays with dense interstellar matter has two important effects: 1) high energy (>1 GeV) protons produce {\gamma}-rays by {\pi}0-meson decay; 2) low energy (< 1 GeV) cosmic rays (protons and electrons) ionize the gas. We present here new observations towards a molecular cloud close to the W51C supernova remnant and associated with a recently discovered TeV {\gamma}-ray source. Our observations show that the cloud ionization degree is highly enhanced, implying a cosmic ray ionization rate ~ 10-15 s-1, i.e. 100 times larger than the standard value in molecular clouds. This is consistent with the idea that the cloud is irradiated by an enhanced flux of freshly accelerated low-energy cosmic rays. In addition, the observed high cosmic ray ionization rate leads to an instability in the chemistry of the cloud, which keeps the electron fraction high, ~ 10-5, in a large fraction (Av \geq 6mag) of the cloud and low, ~ 10-7, in the interior. The two states have been predicted in the literature as high- and low-ionization phases (HIP and LIP). This is the observational evidence of their simultaneous presence in a cloud.


title: Burning Thermals in Type Ia Supernovae

abstract: We develop a one-dimensional theoretical model for thermals burning in Type Ia supernovae based on the entrainment assumption of Morton, Taylor and Turner. Extensions of the standard model are required to account for the burning and for the expansion of the thermal due to changes in the background stratification found in the full star. The model is compared with high-resolution three-dimensional numerical simulations, both in a uniform environment, and in a full-star setting. The simulations in a uniform environment present compelling agreement with the predicted power-laws and provide model constants for the full-star model, which then provides excellent agreement with the full-star simulation. The importance of the different components in the model are compared, and are all shown to be relevant. An examination of the effect of initial conditions was then conducted using the one-dimensional model, which would have been infeasible in three dimensions. More mass was burned when the ignition kernel was larger and closer to the center of the star. The turbulent flame speed was found to be important during the early-time evolution of the thermal, but played a diminished role at later times when the evolution is dominated by the large-scale hydrodynamics responsible for entrainment. However, a higher flame speed effectively gave a larger initial ignition kernel and so resulted in more mass burned. This suggests that future studies should focus on the early-time behavior of these thermals (in particular, the transition to turbulence), and that the choice of turbulent flame speed does not play a significant role in the dynamics once the thermal has become established.


title: Small Noise Estimates of the Quadratic Covariation between Non-smooth Transformations of Brownian Motion

abstract: Given a Brownian Motion $W$, in this paper we study the asymptotic behavior, as $\eps \to 0$, of the quadratic covariation between $f (\eps W)$ and $W$ in the case in which $f$ is not smooth. Among the main features discovered is that the speed of the decay in the case $f \in C^\alpha$ is polynomial in $\eps$ and not exponential as expected. We use a recent representation as a backward- forward It\^o integral of $[f (\eps W), W]$ to prove an $\eps$-dependent approximation scheme which is of independent interest. We get the result by providing estimates to this approximation.


title: Consistency and Advantage of Loop Regularization Method Merging with Bjorken-Drell's Analogy Between Feynman Diagrams and Electrical Circuits

abstract: The consistency of loop regularization (LORE) method is explored in multiloop calculations. A key concept of the LORE method is the introduction of irreducible loop integrals (ILIs) which are evaluated from the Feynman diagrams by adopting the Feynman parametrization and ultraviolet-divergence-preserving(UVDP) parametrization. It is then inevitable for the ILIs to encounter the divergences in the UVDP parameter space due to the generic overlapping divergences in the 4-dimensional momentum space. By computing the so-called $\alpha\beta\gamma$ integrals arising from two loop Feynman diagrams, we show how to deal with the divergences in the parameter space with the LORE method. By identifying the divergences in the UVDP parameter space to those in the subdiagrams, we arrive at the Bjorken-Drell's analogy between Feynman diagrams and electrical circuits. The UVDP parameters are shown to correspond to the conductance or resistance in the electrical circuits, and the divergence in Feynman diagrams is ascribed to the infinite conductance or zero resistance. In particular, the sets of conditions required to eliminate the overlapping momentum integrals for obtaining the ILIs are found to be associated with the conservations of electric voltages, and the momentum conservations correspond to the conservations of electrical currents, which are known as the Kirchhoff's laws in the electrical circuits analogy. As an application to the massive scalar $\phi^4$ theory, it enables us to obtain the well-known logarithmic running of the coupling constant and the consistent power-law running of the scalar mass at two loop level. Especially, we present an explicit demonstration on the general procedure of applying the LORE method to the multiloop calculations of Feynman diagrams when merging with the advantage of Bjorken-Drell's circuit analogy.


title: Dissociation of O2 molecules on strained Pb(111) surfaces

abstract: By performing first-principles molecular dynamics calculations, we systematically simulate the adsorption behavior of oxygen molecules on the clean and strained Pb(111) surfaces. The obtained molecular adsorption precursor state, and the activated dissociation process for oxygen molecules on the clean Pb surface are in good agreements with our previous static calculations, and perfectly explains previous experimental observations [Proc. Natl. Acad. Sci. U.S.A. 104, 9204 (2007)]. In addition, we also study the influences of surface strain on the dissociation behaviors of O2 molecules. It is found that on the compressed Pb(111) surfaces with a strain value of larger than 0.02, O2 molecules will not dissociate at all. And on the stretched Pb(111) surfaces, O2 molecules become easier to approach, and the adsorption energy of the dissociated oxygen atoms is larger than that on the clean Pb surface.


title: Hierarchical Object Parsing from Structured Noisy Point Clouds

abstract: Object parsing and segmentation from point clouds are challenging tasks because the relevant data is available only as thin structures along object boundaries or other features, and is corrupted by large amounts of noise. To handle this kind of data, flexible shape models are desired that can accurately follow the object boundaries. Popular models such as Active Shape and Active Appearance models lack the necessary flexibility for this task, while recent approaches such as the Recursive Compositional Models make model simplifications in order to obtain computational guarantees. This paper investigates a hierarchical Bayesian model of shape and appearance in a generative setting. The input data is explained by an object parsing layer, which is a deformation of a hidden PCA shape model with Gaussian prior. The paper also introduces a novel efficient inference algorithm that uses informed data-driven proposals to initialize local searches for the hidden variables. Applied to the problem of object parsing from structured point clouds such as edge detection images, the proposed approach obtains state of the art parsing errors on two standard datasets without using any intensity information.


title: Formation of Dwarf Spheroidal Galaxies Via Mergers of Disky Dwarfs

abstract: We perform collisionless N-body simulations to investigate whether binary mergers between rotationally-supported dwarfs can lead to the formation of dwarf spheroidal galaxies (dSphs). Our simulation campaign is based on a hybrid approach combining cosmological simulations and controlled numerical experiments. We select merger events from a Constrained Local UniversE (CLUES) simulation of the Local Group (LG) and record the properties of the interacting dwarf-sized halos. This information is subsequently used to seed controlled experiments of binary encounters between dwarf galaxies consisting of exponential stellar disks embedded in cosmologically-motivated dark matter halos. These simulations are designed to reproduce eight cosmological merger events, with initial masses of the interacting systems in the range ~ (5-60) x 10^7 Mo, occurring quite early in the history of the LG, more than 10 Gyr ago. We compute the properties of the merger remnants as a distant observer would and demonstrate that at least three of the simulated encounters produce systems with kinematic and structural properties akin to those of the classic dSphs in the LG. Tracing the history of the remnants in the cosmological simulation to z=0, we find that two dSph-like objects remain isolated at distances larger than 800 kpc from either the Milky Way or M31. These systems constitute plausible counterparts of the remote dSphs Cetus and Tucana which reside in the LG outskirts, far from the tidal influence of the primary galaxies. We conclude that merging of rotationally-supported dwarfs represents a viable mechanism for the formation of dSphs in the LG and similar environments.


title: Mixtures of 1-butyl-3-methylimidazolium tetrafluoroborate ionic liquid and acetonitrile: a molecular simulation

abstract: Recently, we introduced a new force field (FF) to simulate transport properties of imidazolium-based room-temperature ionic liquids (RTILs) using a solid physical background. In the present work, we apply this FF to derive thermodynamic, structure, and transport properties of the mixtures of 1-butyl-3-methylimidazolium tetrafluoroborate, [BMIM][BF4], and acetonitrile (ACN) over the whole composition range. Three approaches to derive a force field are formulated based on different treatments of the ion-ion and ion-molecule Coulomb interactions using unit-charge, scaled-charge and floating-charge approaches. The simulation results are justified with the help of experimental data on specific density and shear viscosity for these mixtures. We find that a phenomenological account (particularly, simple scaled-charge model) of electronic polarization leads to the best-performing model. Remarkably, its validity does not depend on the molar fraction of [BMIM][BF4] in the mixture. The derived FF is so far the first molecular model which is able to simulate all transport properties of the mixtures, comprising RTIL and ACN, fully realistically.


title: Yang-Yang thermometry and momentum distribution of a trapped one-dimensional Bose gas

abstract: We describe the use of the exact Yang-Yang solutions for the one-dimensional Bose gas to enable accurate kinetic-energy thermometry based on the root-mean-square width of an experimentally measured momentum distribution. Furthermore, we use the stochastic projected Gross-Pitaevskii theory to provide the first quantitative description of the full momentum distribution measurements of Van Amerongen et al., Phys. Rev. Lett. 100, 090402 (2008). We find the fitted temperatures from the stochastic projected Gross-Pitaevskii approach are in excellent agreement with those determined by Yang-Yang kinetic-energy thermometry.


title: Transverse Momentum Distributions from Effective Field Theory

abstract: We review a new approach to calculating transverse momentum distributions of the Higgs and electroweak gauge bosons using the Soft-Collinear Effective Theory. We derive a factorization theorem for transverse momentum distributions in terms of newly-defined impact-parameter beam functions (iBFs) and an inverse soft function (iSF). The iBFs correspond to completely unintegrated parton distribution functions and provide interesting probes of momentum distributions within nucleons. The numerical matching between the low and high transverse momentum regions is improved in this approach with respect to standard techniques. We present results for next-to-leading logarithmic resummation for the Higgs and Z-boson distributions and give a comparison with Tevatron data.


title: Polarizability Versus Mobility: Atomistic Force Field for Ionic Liquids

abstract: Based on classical molecular dynamics simulations, we discuss the impact of Coulombic interactions on a comprehensive set of properties of room temperature ionic liquids (RTILs) containing 1,3 dimethylimidazolium (MMIM+), N butylpyridinium (BPY+), and bis(trifluoromethane sulfonyl)imide (TFSI-) ions. Ionic transport is found to be noticeably hindered by the excessive Coulombic energy, originating from the neglect of electronic polarization in the condensed phase of these RTILs. Starting from the models, recently suggested by Lopes and Padua, we show that realistic ionic dynamics can be achieved by the uniform scaling of electrostatic charges on all interaction sites. The original model systematically overestimates density and heat of vaporization of RTILs. Since density linearly depends on charge scaling, it is possible to use it as a convenient beacon to promptly derive a correct scaling factor. Based on the simulations of [BPY][TFSI] and [MMIM][TFSI] over a wide temperature range, we conclude that suggested technique is feasible to greatly improve quality of the already existing non-polarizable FFs for RTILs.


title: Embedding permutation groups into wreath products in product action

abstract: The wreath product of two permutation groups G < Sym(Gamma) and H < Sym(Delta) can be considered as a permutation group acting on the set Pi of functions from Delta to Gamma. This action, usually called the product action, of a wreath product plays a very important role in the theory of permutation groups, as several classes of primitive or quasiprimitive groups can be described as subgroups of such wreath products. In addition, subgroups of wreath products in product action arise as automorphism groups of graph products and codes. In this paper we consider subgroups X of full wreath products Sym(Gamma) wr Sym(Delta) in product action. Our main result is that, in a suitable conjugate of X, the subgroup of Sym(Gamma) induced by a stabilizer of a coordinate delta in Delta only depends on the orbit of delta under the induced action of X on Delta. Hence, if the action of X on Delta is transitive, then X can be embedded into a much smaller wreath product. Further, if this X-action is intransitive, then X can be embedded into a direct product of such wreath products where the factors of the direct product correspond to the X-orbits in Delta. We offer an application of the main theorems to error-correcting codes in Hamming graphs.


title: Two-photon super bunching of thermal light via multiple two-photon-path interference

abstract: We propose a novel scheme to achieve two-photon super bunching of thermal light through multiple two-photon-path interference, in which two mutually first-order incoherent optical channels are introduced by inserting a modified Michelson interferometer into a traditional two-photon HBT interferometer, and the bunching peak-to-background ratio can reach 3 theoretically. Experimentally, the super bunching peak-to-background ratio was measured to be 2.4, much larger than the ratio 1.7 measured with the same thermal source in a traditional HBT interferometer. The peak-to-background ratio of two-photon super bunching of thermal light can be increased up to $2\times1.5^n$ by inserting cascadingly $n$ pairs of mutually first-order incoherent optical channels into the traditional two-photon HBT interferometer. The two-photon super bunching of thermal light should be of great significance in improving the visibility of classical ghost imaging.


title: Calculation of Associated Production of a Top Quark and a W' at the LHC

abstract: We investigate collider signatures of a top-philic W' model, in which the W' boson couples only to the third-generation quarks of the standard model. The main discovery channel for this W' is through associated production of the W' and top quark, yielding a top-quark pair plus an extra bottom quark jet as a signal. We do a full simulation of the signal and relevant backgrounds. We develop a method of analysis that allows us to conclude that discovery of the W' is promising at the LHC despite large standard model backgrounds. Bottom quark tagging of the extra jet is key to suppressing the backgrounds.


title: Feature Reinforcement Learning In Practice

abstract: Following a recent surge in using history-based methods for resolving perceptual aliasing in reinforcement learning, we introduce an algorithm based on the feature reinforcement learning framework called PhiMDP. To create a practical algorithm we devise a stochastic search procedure for a class of context trees based on parallel tempering and a specialized proposal distribution. We provide the first empirical evaluation for PhiMDP. Our proposed algorithm achieves superior performance to the classical U-tree algorithm and the recent active-LZ algorithm, and is competitive with MC-AIXI-CTW that maintains a bayesian mixture over all context trees up to a chosen depth.We are encouraged by our ability to compete with this sophisticated method using an algorithm that simply picks one single model, and uses Q-learning on the corresponding MDP. Our PhiMDP algorithm is much simpler, yet consumes less time and memory. These results show promise for our future work on attacking more complex and larger problems.


title: Interactions between Digital Geometry and Combinatorics on Words

abstract: We review some recent results in digital geometry obtained by using a combinatorics on words approach to discrete geometry. Motivated on the one hand by the well-known theory of Sturmian words which model conveniently discrete lines in the plane, and on the other hand by the development of digital geometry, this study reveals strong links between the two fields. Discrete figures are identified with polyominoes encoded by words. The combinatorial tools lead to elegant descriptions of geometrical features and efficient algorithms. Among these, radix-trees are useful for efficiently detecting path intersection, Lyndon and Christoffel words appear as the main tools for describing digital convexity; equations on words allow to better understand tilings by translations.


title: Infinite permutations vs. infinite words

abstract: I am going to compare well-known properties of infinite words with those of infinite permutations, a new object studied since middle 2000s. Basically, it was Sergey Avgustinovich who invented this notion, although in an early study by Davis et al. permutations appear in a very similar framework as early as in 1977. I am going to tell about periodicity of permutations, their complexity according to several definitions and their automatic properties, that is, about usual parameters of words, now extended to permutations and behaving sometimes similarly to those for words, sometimes not. Another series of results concerns permutations generated by infinite words and their properties. Although this direction of research is young, many people, including two other speakers of this meeting, have participated in it, and I believe that several more topics for further study are really promising.


title: Combinatorics on words in information security: Unavoidable regularities in the construction of multicollision attacks on iterated hash functions

abstract: Classically in combinatorics on words one studies unavoidable regularities that appear in sufficiently long strings of symbols over a fixed size alphabet. In this paper we take another viewpoint and focus on combinatorial properties of long words in which the number of occurrences of any symbol is restritced by a fixed constant. We then demonstrate the connection of these properties to constructing multicollision attacks on so called generalized iterated hash functions.


title: Circular words and applications

abstract: We define the notion of circular words, then consider on such words a constraint derived from the Fibonacci condition. We give several results on the structure of these circular words, then mention possible applications to various situations: periodic expansion of numbers in numeration systems, "gcd-property" of integer sequences, partition of the prefix of the fixed point of the Fibonacci substitution, spanning trees of a wheel. Eventually, we mention some open questions.


title: Finite-Repetition threshold for infinite ternary words

abstract: The exponent of a word is the ratio of its length over its smallest period. The repetitive threshold r(a) of an a-letter alphabet is the smallest rational number for which there exists an infinite word whose finite factors have exponent at most r(a). This notion was introduced in 1972 by Dejean who gave the exact values of r(a) for every alphabet size a as it has been eventually proved in 2009. The finite-repetition threshold for an a-letter alphabet refines the above notion. It is the smallest rational number FRt(a) for which there exists an infinite word whose finite factors have exponent at most FRt(a) and that contains a finite number of factors with exponent r(a). It is known from Shallit (2008) that FRt(2)=7/3. With each finite-repetition threshold is associated the smallest number of r(a)-exponent factors that can be found in the corresponding infinite word. It has been proved by Badkobeh and Crochemore (2010) that this number is 12 for infinite binary words whose maximal exponent is 7/3. We show that FRt(3)=r(3)=7/4 and that the bound is achieved with an infinite word containing only two 7/4-exponent words, the smallest number. Based on deep experiments we conjecture that FRt(4)=r(4)=7/5. The question remains open for alphabets with more than four letters. Keywords: combinatorics on words, repetition, repeat, word powers, word exponent, repetition threshold, pattern avoidability, word morphisms.


title: Uniformly balanced words with linear complexity and prescribed letter frequencies

abstract: We consider the following problem. Let us fix a finite alphabet A; for any given d-uple of letter frequencies, how to construct an infinite word u over the alphabet A satisfying the following conditions: u has linear complexity function, u is uniformly balanced, the letter frequencies in u are given by the given d-uple. This paper investigates a construction method for such words based on the use of mixed multidimensional continued fraction algorithms.


title: Pattern 1^j0^i avoiding binary words

abstract: In this paper we study the enumeration and the construction, according to the number of ones, of particular binary words avoiding a fixed pattern. The growth of such words can be described by particular jumping and marked succession rules. This approach enables us to obtain an algorithm which constructs all binary words having a fixed number of ones and then kills those containing the forbidden pattern.


title: Pattern Avoidability with Involution

abstract: An infinte word w avoids a pattern p with the involution t if there is no substitution for the variables in p and no involution t such that the resulting word is a factor of w. We investigate the avoidance of patterns with respect to the size of the alphabet. For example, it is shown that the pattern a t(a) a can be avoided over three letters but not two letters, whereas it is well known that a a a is avoidable over two letters.


title: Recurrent Partial Words

abstract: Partial words are sequences over a finite alphabet that may contain wildcard symbols, called holes, which match or are compatible with all letters; partial words without holes are said to be full words (or simply words). Given an infinite partial word w, the number of distinct full words over the alphabet that are compatible with factors of w of length n, called subwords of w, refers to a measure of complexity of infinite partial words so-called subword complexity. This measure is of particular interest because we can construct partial words with subword complexities not achievable by full words. In this paper, we consider the notion of recurrence over infinite partial words, that is, we study whether all of the finite subwords of a given infinite partial word appear infinitely often, and we establish connections between subword complexity and recurrence in this more general framework.


title: Monoids and Maximal Codes

abstract: In recent years codes that are not Uniquely Decipherable (UD) are been studied partitioning them in classes that localize the ambiguities of the code. A natural question is how we can extend the notion of maximality to codes that are not UD. In this paper we give an answer to this question. To do this we introduce a partial order in the set of submonoids of a monoid showing the existence, in this poset, of maximal elements that we call full monoids. Then a set of generators of a full monoid is, by definition, a maximal code. We show how this definition extends, in a natural way, the existing definition concerning UD codes and we find a characteristic property of a monoid generated by a maximal UD code.