title: Classical Noncommutative Electrodynamics with External Source

abstract: In a $U(1)_{\star}$-noncommutative (NC) gauge field theory we extend the Seiberg-Witten (SW) map to include the (gauge-invariance-violating) external current and formulate - to the first order in the NC parameter - gauge-covariant classical field equations. We find solutions to these equations in the vacuum and in an external magnetic field, when the 4-current is a static electric charge of a finite size $a$, restricted from below by the elementary length. We impose extra boundary conditions, which we use to rule out all singularities, $1/r$ included, from the solutions. The static charge proves to be a magnetic dipole, with its magnetic moment being inversely proportional to its size $a$. The external magnetic field modifies the long-range Coulomb field and some electromagnetic form-factors. We also analyze the ambiguity in the SW map and show that at least to the order studied here it is equivalent to the ambiguity of adding a homogeneous solution to the current-conservation equation.


title: Effective transition operators for resonant inelastic X-ray scattering

abstract: Effective symmetry-based transition operators for resonant inelastic X-ray scattering (RIXS) are derived that show how the scattering between different states depends on the polarization of the incoming and outgoing X-rays. In spherical symmetry, the effective operators can be rewritten in terms of spin operators, although the expressions depend on the nature of the ground state. For lower symmetries, the combined action of the crystal field and the spin-orbit interaction breaks up the spin space and spin operators are no longer appropiate operators. By taking iridium compounds as an example, it is demonstrated that effective scattering operators can still be obtained. These effective transition operators facilitate our understanding how RIXS couples to elementary excitations.


title: Interval Semirings

abstract: This book has seven chapters. In chapter one we give the basics needed to make this book a self contained one. Chapter two introduces the notion of interval semigroups and interval semifields and are algebraically analysed. Chapter three introduces special types of interval semirings like matrix interval semirings and interval polynomial semirings. Chapter four for the first time introduces the notion of group interval semirings, semigroup interval semirings, loop interval semirings and groupoid interval semirings and these structures are studied. Interval neutrosophic semirings are introduced in chapter five. Applications of these structures are given in chapter six. The final chapter suggests around 120 problems for the reader.


title: On Path Decomposition Conjecture of Tibor Gallai

abstract: We settle the Path Decomposition Conjecture (P.D.C.) due to Tibor Gallai for minimally connected graphs, i.e. trees. We use this validity for trees and settle the P. D. C. using induction on the number of edges for all connected graphs. We then obtain a new bound for the number of paths in a path cover in terms of the number of edges using idea of associating a tree with a connected graph. We then make use of a spanning tree in the given connected graph and its associated basic path cover to settle the conjecture of Tibor Gallai in an alternative way. Finally, we show the existence of Hamiltonian path cover satisfying Gallai bound for complete graphs of even order and discuss some of its possible ramifications.


title: C60-Based Composites in view of Topochemical Reactions. II. C60 + Carbon Nanobuds

abstract: The current paper presents the second part of the study devoted to composites formed by fullerene C60 and single-walled carbon nanotube ([C60-(4,4)] carbon nanobud). The formation of composites is considered from the basic points related to the atomic chemical reactivity of the fullerene molecule and carbon nanotube. The barrier that governs the composites formation is determined in terms of the coupling energy and is expanded over two contributions that present the total energy of deformation of the composites' components and the energy of covalent coupling . The computations were performed by using the AM1 semiempirical version of unrestricted broken symmetry Hartree-Fock approach.


title: C60-Based Composites in view of Topochemical Reactions. III. C60 + Graphene Nanobuds

abstract: The current paper presents the third part of the study devoted to composites formed by fullerene C60 and two graphene nanosheets ([C60+(5,5)] and ([C60+(9, 8)] graphene nanobuds). The formation of composites is considered from the basic points related to the atomic chemical reactivity of the fullerene molecule and nanographene. The barrier that governs the composites formation is determined in terms of the coupling energy and is expanded over two contributions that present the total energy of deformation of the composites' components and the energy of covalent coupling. In view of these energetic parameters and in contrast to expectations, seemingly identical reactions that are responsible for the formation of intermolecular contacts in (C60)2 dimer, [C60+(4,4)] carbon nanobuds, and [C60+(5,5)] and [C60+(9,8)] graphene nanobuds result in different final products. The peculiarity is suggested to result from a topochemical character of the covalent coupling between two members of the sp2 nanocarbons' family. The computations were performed by using the AM1 semiempirical version of unrestricted broken symmetry Hartree-Fock approach.


title: Contraints on unified models for dark matter and dark energy using H(z)

abstract: The differential age data of astrophysical objects that have evolved passivelly during the history of the universe (e.g. red galaxies) allows to test theoretical cosmological models through the predicted Hubble function expressed in terms of the redshift $z$, $H(z)$. We use the observational data for $H(z)$ to test unified scenarios for dark matter and dark energy. Specifically, we focus our analysis on the Generalized Chaplygin Gas (GCG) and the viscous fluid (VF) models. For the GCG model, it is shown that the unified scenario for dark energy and dark matter requires some priors. For the VF model we obtain estimations for the free parameters that may be compared with further analysis mainly at perturbative level.


title: Spectroscopy at the solar limb: I. Average off-limb profiles and Doppler shifts of Ca II H

abstract: We present constraints on the structure of the chromosphere from observations of the Ca II H line profile near and off the solar limb. We obtained a data set of the Ca II H line in a field of view extending 20" across the limb. We analyzed the spectra for the properties of off-limb spectra. We used tracers of the Doppler shifts, such as the location of the absorption core, the ratio of the two emission peaks H2V and H2R, and intensity images at a fixed wavelength. The average off-limb profiles show a smooth variation with increasing limb distance. The line width increases up to a height of about 2 Mm above the limb. The profile shape is fairly symmetric with nearly identical H2V and H2R intensities; at a height of 5 Mm, it changes into a single Gaussian without emission peaks. We find that all off-limb spectra show large Doppler shifts that fluctuate on the smallest resolved spatial scales. The variation is more prominent in cuts parallel to the solar limb than on those perpendicular to it. As far as individual structures can be unequivocally identified at our spatial resolution, we find a specific relation between intensity enhancements and Doppler shifts: elongated brightenings are often flanked all along their extension by velocities in opposite directions. The average off-limb spectra of Ca II H present a good opportunity to test static chromospheric atmosphere models because they lack the photospheric contribution that is present in disk-center spectra. We suggest that the observed relation between intensity enhancements and Doppler shifts could be caused by waves propagating along the surfaces of flux tubes: an intrinsic twist of the flux tubes or a wave propagation inclined to the tube axis would cause a helical shape of the Doppler excursion, visible as opposite velocity at the sides of the flux tube.


title: Measurement of the Ratio of the 3-jet to 2-jet Cross Sections in pp Collisions at sqrt(s) = 7 TeV

abstract: A measurement of the ratio of the inclusive 3-jet to 2-jet cross sections as a function of the total jet transverse momentum, HT, in the range 0.2 < HT < 2.5 TeV is presented. The data have been collected at a proton-proton centre-of-mass energy of 7 TeV with the CMS detector at the LHC, and correspond to an integrated luminosity of 36 inverse picobarns. Comparisons are made between the data and the predictions of different QCD-based Monte Carlo models for multijet production. All models considered in this study are consistent with the data for HT > 0.5 TeV. This measurement extends to an HT range that has not been explored before.


title: The Gardner equation and the stability of multi-kink solutions of the mKdV equation

abstract: Multi-kink solutions of the defocusing, modified Korteweg-de Vries equation (mKdV) found by Grosse are shown to be globally $H^1$-stable. Stability in the one-kink case was previously established by Zhidkov, and Merle-Vega. The proof uses transformations linking the mKdV equation with focusing, Gardner-like equations, where stability and asymptotic stability in the energy space are known. We generalize our results by considering the existence, uniqueness and the dynamics of generalized multi-kinks of defocusing, non-integrable gKdV equations, showing the inelastic character of the 4-kink collision in some regimes.


title: An upper bound on the number of high-dimensional permutations

abstract: What is the higher-dimensional analog of a permutation? If we think of a permutation as given by a permutation matrix, then the following definition suggests itself: A d-dimensional permutation of order n is an [n]^(d+1) array of zeros and ones in which every "line" contains a unique 1 entry. A line here is a set of entries of the form {(x_1,...,x_{i-1},y,x_{i+1},...,x_{d+1})}, for y between 1 and n, some index i between 1 and d+1 and some choice of x_j in [n] for all j except i. It is easy to observe that a one-dimensional permutation is simply a permutation matrix and that a two-dimensional permutation is synonymous with an order-n Latin square. We seek an estimate for the number of d-dimensional permutations. Our main result is the following upper bound on their number: ((1+o(1))(n/e^d))^(n^d). We tend to believe that this is actually the correct number, but the problem of proving the complementary lower bound remains open. Our main tool is an adaptation of Bregman's proof of the Minc conjecture on permanents. More concretely, our approach is very close in spirit to Radhakrishnan's proof of Bregman's theorem.


title: Search for an Annual Modulation in a P-type Point Contact Germanium Dark Matter Detector

abstract: Fifteen months of cumulative CoGeNT data are examined for indications of an annual modulation, a predicted signature of Weakly Interacting Massive Particle (WIMP) interactions. Presently available data support the presence of a modulated component of unknown origin, with parameters prima facie compatible with a galactic halo composed of light-mass WIMPs. Unoptimized estimators yield a statistical significance for a modulation of ~2.8 sigma, limited by the short exposure.


title: Spin excitations of the correlated semiconductor FeSi probed by THz radiation

abstract: By direct measurements of the complex optical conductivity $\sigma(\nu)$ of FeSi we have discovered a broad absorption peak centered at frequency $\nu_{0}(4.2 K) \approx 32 cm^{-1}$ that develops at temperatures below 20 K. This feature is caused by spin-polaronic states formed in the middle of the gap in the electronic density of states. We observe the spin excitations between the electronic levels split by the exchange field of $H_{e}=34\pm 6 T$. Spin fluctuations are identified as the main factor determining the formation of the spin polarons and the rich magnetic phase diagram of FeSi.


title: Interplay between Fe 3d and Ce 4f magnetism and Kondo interaction in CeFeAs_{1-x}P_{x}O probed by ^{75}As and ^{31}P NMR

abstract: A detailed $^{31}$P (I=1/2) and $^{75}$As (I=3/2) NMR study on polycrystalline CeFeAs$_{1-x}$P$_{x}$O alloys is presented. The magnetism of CeFeAsO changes drastically upon P substitution on the As site. CeFePO is a heavy fermion system without long range order whereas CeFeAsO exhibits a Fe-3$d$ SDW type of ordering accompanied by a structural transition from tetragonal ($TT$) to orthorhombic ($OT$) structure. Furthermore Ce-4$f^{1}$ orders antiferromagnetically (AFM) at low temperature. At the critical concentration where the Fe-magnetism is diminished the Ce-Ce interaction changes to a ferromagnetic (FM) type of ordering. Three representative samples of the CeFeAs$_{1-x}$P$_{x}$O ($x$=0.05, 0.3 and 0.9) series are systematically investigated. 1) For the $x$=0.05 alloy a drastic change of the line width at 130 K indicates the AFM-SDW type of ordering of Fe and the structural change from $TT$ to $OT$ phase. The line width roughly measures the internal field in the ordered state and the transition is most likely first order. The small and nearly constant shift for $^{31}$P and $^{75}$As suggests the presence of competing hyperfine interactions between the nuclear spins and the 4$f$ and 3$d$ ions of Ce and Fe. 2) For the $x$=0.3 alloy, evolution of the Fe-SDW type order takes place at around 70 K corroborating the results of bulk measurement and $\mu SR$. Here we found strong evidence for phase separation of paramagnetic and magnetic SDW phases. 3) In contrast to heavy fermion CeFePO for the $x$=0.9 alloy a phase transition is found at 2 K. The field-dependent NMR shift gives strong evidence of FM ordering. Above the ordering the spin lattice relaxation rate $^{31}$(1/T$_{1}$) shows unconventional, non-Korringa like behaviour which indicates a complex interplay of Kondo and FM fluctuations.


title: A Realistic Assessment of the Sensitivity of XENON10 and XENON100 to Light-Mass WIMPs

abstract: The underlaying assumptions and uncertainties involved in the derivation of WIMP exclusion limits from XENON10 and XENON100 detectors are examined. In view of these, recent claims of sensitivity to light-mass Weakly Interacting Massive Particles (WIMPs) are shown to be overstated. Specifically, bounds constraining regions of interest in WIMP parameter space from the DAMA/LIBRA, CoGeNT and CRESST experiments can be assigned a very limited meaning, if any.


title: Coexistence of the long-range and short-range magnetic order components in SrEr$_2$O$_4$

abstract: Single crystal neutron diffraction reveals two distinct components to the magnetic ordering in geometrically frustrated SrEr$_2$O$_4$. One component is a long-range ordered ${\bf k}=0$ structure which appears below $T_N = 0.75$ K. Another component is a short-range incommensurate structure which manifests itself by the presence of a strong diffuse scattering signal. On cooling from higher temperatures down to 0.06 K, the partially ordered component does not undergo a pronounced phase transition. The magnetic moments in the long-range commensurate and short-range incommensurate structures are predominantly pointing along the [001] and [100] axes respectively. The unusual coexistence of two magnetic structures is probed using both unpolarised and XYZ-polarised neutron scattering techniques. The observed diffuse scattering pattern can be satisfactorily reproduced with a classical Monte Carlo simulation by using a simple model based on a ladder of triangles.


title: How opening a hole affects the sound of a flute

abstract: In this paper, we consider an open tube of diameter $\epsilon>0$, on the side of which a small hole of size $\epsilon^2$ is pierced. The resonances of this tube correspond to the eigenvalues of the Laplacian operator with homogeneous Neumann condition on the inner surface of the tube and Dirichlet one the open parts of the tube. We show that this spectrum converges when $\epsilon$ goes to 0 to the spectrum of an explicit one-dimensional operator. At a first order of approximation, the limit spectrum describes the note produced by a flute, for which one of its holes is open.


title: Teaching Fluid Mechanics for Undergraduate Students in Applied Industrial Biology: from Theory to Atypical Experiments

abstract: EBI is a further education establishment which provides education in applied industrial biology at level of MSc engineering degree. Fluid mechanics at EBI was considered by students as difficult who seemed somewhat unmotivated. In order to motivate them, we applied a new play-based pedagogy. Students were asked to draw inspiration from everyday life situations to find applications of fluid mechanics and to do experiments to verify and validate some theoretical results obtained in course. In this paper, we present an innovative teaching/learning pedagogy which includes the concept of learning through play and its implications in fluid mechanics for engineering. Examples of atypical experiments in fluid mechanics made by students are presented. Based on teaching evaluation by students, it is possible to know how students feel the course. The effectiveness of this approach to motivate students is presented through an analysis of students' teaching assessment. Learning through play proved a great success in fluid mechanics where course evaluations increased substantially. Fluid mechanics has been progressively perceived as interesting, useful, pleasant and easy to assimilate. It is shown that this pedagogy which includes educational gaming presents benefits for students. These experiments seem therefore to be a very effective tool for improving teaching/learning activities in higher education.


title: Magnetic coupling of planets and small bodies with a pulsar wind"

abstract: We investigate the electromagnetic interaction of a relativistic stellar wind with a planet or a smaller body in orbit around the star. This may be relevant to objects orbiting a pulsar, such as PSR B1257+12 and PSR B1620-26 that are expected to hold a planetary system, or to pulsars with suspected asteroids or comets. We extend the theory of Alfv\'en wings to relativistic winds. When the wind is relativistic albeit slower than the total Alfv\'en speed, a system of electric currents carried by a stationary Alfv\'enic structure is driven by the planet or by its surroundings. For an Earth-like planet around a "standard" one second pulsar, the associated current can reach the same magnitude as the Goldreich-Julian current that powers the pulsar's magnetosphere.


title: Hardy inequality and asymptotic eigenvalue distribution for discrete Laplacians

abstract: In this paper we study in detail some spectral properties of the magnetic discrete Laplacian. We identify its form-domain, characterize the absence of essential spectrum and provide the asymptotic eigenvalue distribution.


title: A magnetic thrust action on small bodies orbiting a pulsar

abstract: We investigate the electromagnetic interaction of a relativistic stellar wind with small bodies in orbit around the star. Based on our work on the theory of Alfv\'en wings to relativistic winds presented in a companion paper, we estimate the force exerted by the associated current system on orbiting bodies and evaluate the resulting orbital drift. This Alfv\'enic structure is found to have no significant influence on planets or smaller bodies orbiting a millisecond pulsar. %influence on the orbit of bodies around a millisecond pulsar. On the timescale of millions of years, it can however affect the orbit of bodies with a diameter of 100 kilometres around standard pulsars with a period $P \sim $1 s and a magnetic field $B \sim 10^{8}$ T. Kilometer-sized bodies experience drastic orbital changes on a timescale of $10^4$ years.


title: Limit theorems for some branching measure-valued processes

abstract: We consider a particle system in continuous time, discrete population, with spatial motion and nonlocal branching. The offspring's weights and their number may depend on the mother's weight. Our setting captures, for instance, the processes indexed by a Galton-Watson tree. Using a size-biased auxiliary process for the empirical measure, we determine this asymptotic behaviour. We also obtain a large population approximation as weak solution of a growth-fragmentation equation. Several examples illustrate our results.


title: Counting Points on Genus 2 Curves with Real Multiplication

abstract: We present an accelerated Schoof-type point-counting algorithm for curves of genus 2 equipped with an efficiently computable real multiplication endomorphism. Our new algorithm reduces the complexity of genus 2 point counting over a finite field (\F_{q}) of large characteristic from (\widetilde{O}(\log^8 q)) to (\widetilde{O}(\log^5 q)). Using our algorithm we compute a 256-bit prime-order Jacobian, suitable for cryptographic applications, and also the order of a 1024-bit Jacobian.


title: Quasi-one-dimensional antiferromagnetism and multiferroicity in CuCrO$_4$

abstract: The bulk magnetic properties of the new quasi-one-dimensional Heisenberg antiferromagnet, CuCrO$_4$, were characterized by magnetic susceptibility, heat capacity, optical spectroscopy, EPR and dielectric capacitance measurements and density functional evaluations of the intra- and interchain spin exchange interactions. We found type-II multiferroicity below the N\'{e}el temperature of 8.2(5) K, arising from competing antiferromagnetic nearest-neighbor ($J_{\rm nn}$) and next-nearest-neighbor ($J_{\rm nnn}$) intra-chain spin exchange interactions. Experimental and theoretical results indicate that the ratio $J_{\rm nn}/J_{\rm nnn}$ is close to 2, putting CuCrO$_4$ in the vicinity of the Majumdar-Ghosh point.


title: Complexity of the homomorphism extension problem in the random case

abstract: We prove that if A is a large random relational structure with at least one relation of arity at least 2 then the problem EXT(A) is almost surely NP-complete.


title: The Complexity of Reasoning about Spatial Congruence

abstract: In the recent literature of Artificial Intelligence, an intensive research effort has been spent, for various algebras of qualitative relations used in the representation of temporal and spatial knowledge, on the problem of classifying the computational complexity of reasoning problems for subsets of algebras. The main purpose of these researches is to describe a restricted set of maximal tractable subalgebras, ideally in an exhaustive fashion with respect to the hosting algebras. In this paper we introduce a novel algebra for reasoning about Spatial Congruence, show that the satisfiability problem in the spatial algebra MC-4 is NP-complete, and present a complete classification of tractability in the algebra, based on the individuation of three maximal tractable subclasses, one containing the basic relations. The three algebras are formed by 14, 10 and 9 relations out of 16 which form the full algebra.


title: Infinite-Horizon Policy-Gradient Estimation

abstract: Gradient-based approaches to direct policy search in reinforcement learning have received much recent attention as a means to solve problems of partial observability and to avoid some of the problems associated with policy degradation in value-function methods. In this paper we introduce GPOMDP, a simulation-based algorithm for generating a {\em biased} estimate of the gradient of the {\em average reward} in Partially Observable Markov Decision Processes (POMDPs) controlled by parameterized stochastic policies. A similar algorithm was proposed by Kimura, Yamamura, and Kobayashi (1995). The algorithm's chief advantages are that it requires storage of only twice the number of policy parameters, uses one free parameter $\beta\in [0,1)$ (which has a natural interpretation in terms of bias-variance trade-off), and requires no knowledge of the underlying state. We prove convergence of GPOMDP, and show how the correct choice of the parameter $\beta$ is related to the {\em mixing time} of the controlled POMDP. We briefly describe extensions of GPOMDP to controlled Markov chains, continuous state, observation and control spaces, multiple-agents, higher-order derivatives, and a version for training stochastic policies with internal states. In a companion paper (Baxter, Bartlett, & Weaver, 2001) we show how the gradient estimates generated by GPOMDP can be used in both a traditional stochastic gradient algorithm and a conjugate-gradient procedure to find local optima of the average reward


title: Experiments with Infinite-Horizon, Policy-Gradient Estimation

abstract: In this paper, we present algorithms that perform gradient ascent of the average reward in a partially observable Markov decision process (POMDP). These algorithms are based on GPOMDP, an algorithm introduced in a companion paper (Baxter and Bartlett, this volume), which computes biased estimates of the performance gradient in POMDPs. The algorithm's chief advantages are that it uses only one free parameter beta, which has a natural interpretation in terms of bias-variance trade-off, it requires no knowledge of the underlying state, and it can be applied to infinite state, control and observation spaces. We show how the gradient estimates produced by GPOMDP can be used to perform gradient ascent, both with a traditional stochastic-gradient algorithm, and with an algorithm based on conjugate-gradients that utilizes gradient information to bracket maxima in line searches. Experimental results are presented illustrating both the theoretical results of (Baxter and Bartlett, this volume) on a toy problem, and practical aspects of the algorithms on a number of more realistic problems.


title: Reasoning within Fuzzy Description Logics

abstract: Description Logics (DLs) are suitable, well-known, logics for managing structured knowledge. They allow reasoning about individuals and well defined concepts, i.e., set of individuals with common properties. The experience in using DLs in applications has shown that in many cases we would like to extend their capabilities. In particular, their use in the context of Multimedia Information Retrieval (MIR) leads to the convincement that such DLs should allow the treatment of the inherent imprecision in multimedia object content representation and retrieval. In this paper we will present a fuzzy extension of ALC, combining Zadeh's fuzzy logic with a classical DL. In particular, concepts becomes fuzzy and, thus, reasoning about imprecise concepts is supported. We will define its syntax, its semantics, describe its properties and present a constraint propagation calculus for reasoning in it.


title: An Analysis of Reduced Error Pruning

abstract: Top-down induction of decision trees has been observed to suffer from the inadequate functioning of the pruning phase. In particular, it is known that the size of the resulting tree grows linearly with the sample size, even though the accuracy of the tree does not improve. Reduced Error Pruning is an algorithm that has been used as a representative technique in attempts to explain the problems of decision tree learning. In this paper we present analyses of Reduced Error Pruning in three different settings. First we study the basic algorithmic properties of the method, properties that hold independent of the input decision tree and pruning examples. Then we examine a situation that intuitively should lead to the subtree under consideration to be replaced by a leaf node, one in which the class label and attribute values of the pruning examples are independent of each other. This analysis is conducted under two different assumptions. The general analysis shows that the pruning probability of a node fitting pure noise is bounded by a function that decreases exponentially as the size of the tree grows. In a specific analysis we assume that the examples are distributed uniformly to the tree. This assumption lets us approximate the number of subtrees that are pruned because they do not receive any pruning examples. This paper clarifies the different variants of the Reduced Error Pruning algorithm, brings new insight to its algorithmic properties, analyses the algorithm with less imposed assumptions than before, and includes the previously overlooked empty subtrees to the analysis.


title: GIB: Imperfect Information in a Computationally Challenging Game

abstract: This paper investigates the problems arising in the construction of a program to play the game of contract bridge. These problems include both the difficulty of solving the game's perfect information variant, and techniques needed to address the fact that bridge is not, in fact, a perfect information game. GIB, the program being described, involves five separate technical advances: partition search, the practical application of Monte Carlo techniques to realistic problems, a focus on achievable sets to solve problems inherent in the Monte Carlo approach, an extension of alpha-beta pruning from total orders to arbitrary distributive lattices, and the use of squeaky wheel optimization to find approximately optimal solutions to cardplay problems. GIB is currently believed to be of approximately expert caliber, and is currently the strongest computer bridge program in the world.


title: Could the real (not virtual) static observer exist outside a Schwarzschild black hole?

abstract: The aim of this Letter is rather pedagogical. We considered the static spherically symmetric ensemble of observers, having finite bare mass and trying to measure geometrical and physical properties of the environmental static (Schwarzschild) space-time. It is shown that, using the photon rockets (which the mass together with the mass of their fuel is also taken into account) they can managed to keep themselves on the fixed value of radius. The process of diminishing the total bare mass up to zero lasts infinitely long time. It is important that the problem is solved self-consistently, i.e., with full account for the back reaction of both bare mass and radiation from rockets on the space-time geometry.


title: Domain Filtering Consistencies

abstract: Enforcing local consistencies is one of the main features of constraint reasoning. Which level of local consistency should be used when searching for solutions in a constraint network is a basic question. Arc consistency and partial forms of arc consistency have been widely studied, and have been known for sometime through the forward checking or the MAC search algorithms. Until recently, stronger forms of local consistency remained limited to those that change the structure of the constraint graph, and thus, could not be used in practice, especially on large networks. This paper focuses on the local consistencies that are stronger than arc consistency, without changing the structure of the network, i.e., only removing inconsistent values from the domains. In the last five years, several such local consistencies have been proposed by us or by others. We make an overview of all of them, and highlight some relations between them. We compare them both theoretically and experimentally, considering their pruning efficiency and the time required to enforce them.


title: Policy Recognition in the Abstract Hidden Markov Model

abstract: In this paper, we present a method for recognising an agent's behaviour in dynamic, noisy, uncertain domains, and across multiple levels of abstraction. We term this problem on-line plan recognition under uncertainty and view it generally as probabilistic inference on the stochastic process representing the execution of the agent's plan. Our contributions in this paper are twofold. In terms of probabilistic inference, we introduce the Abstract Hidden Markov Model (AHMM), a novel type of stochastic processes, provide its dynamic Bayesian network (DBN) structure and analyse the properties of this network. We then describe an application of the Rao-Blackwellised Particle Filter to the AHMM which allows us to construct an efficient, hybrid inference method for this model. In terms of plan recognition, we propose a novel plan recognition framework based on the AHMM as the plan execution model. The Rao-Blackwellised hybrid inference for AHMM can take advantage of the independence properties inherent in a model of plan execution, leading to an algorithm for online probabilistic plan recognition that scales well with the number of levels in the plan hierarchy. This illustrates that while stochastic models for plan execution can be complex, they exhibit special structures which, if exploited, can lead to efficient plan recognition algorithms. We demonstrate the usefulness of the AHMM framework via a behaviour recognition system in a complex spatial environment using distributed video surveillance data.


title: Computational Approach to Anaphora Resolution in Spanish Dialogues

abstract: This paper presents an algorithm for identifying noun-phrase antecedents of pronouns and adjectival anaphors in Spanish dialogues. We believe that anaphora resolution requires numerous sources of information in order to find the correct antecedent of the anaphor. These sources can be of different kinds, e.g., linguistic information, discourse/dialogue structure information, or topic information. For this reason, our algorithm uses various different kinds of information (hybrid information). The algorithm is based on linguistic constraints and preferences and uses an anaphoric accessibility space within which the algorithm finds the noun phrase. We present some experiments related to this algorithm and this space using a corpus of 204 dialogues. The algorithm is implemented in Prolog. According to this study, 95.9% of antecedents were located in the proposed space, a precision of 81.3% was obtained for pronominal anaphora resolution, and 81.5% for adjectival anaphora.


title: Stochastic theory of protein synthesis and polysome: ribosome profile on a single mRNA transcript

abstract: The process of polymerizing a protein by a ribosome, using a messenger RNA (mRNA) as the corresponding template, is called {\it translation}. Ribosome may be regarded as a molecular motor for which the mRNA template serves also as the track. Often several ribosomes may translate the same (mRNA) simultaneously. The ribosomes bound simultaneously to a single mRNA transcript are the members of a polyribosome (or, simply, {\it polysome}). Experimentally measured {\it polysome profile} gives the distribution of polysome {\it sizes}. Recently a breakthrough in determining the instantaneous {\it positions} of the ribosomes on a given mRNA track has been achieved and the technique is called {\it ribosome profiling} \cite{ingolia10,guo10}. Motivated by the success of these techniques, we have studied the spatio-temporal organization of ribosomes by extending a theoretical model that we have reported elsewhere \cite{sharma11}. This extended version of our model incorporates not only (i) mechano-chemical cycle of individual ribomes, and (ii) their steric interactions, but also (iii) the effects of (a) kinetic proofreading, (b) translational infidelity, (c) ribosome recycling, and (d) sequence inhomogeneities. The theoretical framework developed here will serve in guiding further experiments and in analyzing the data to gain deep insight into various kinetic processes involved in translation.


title: The FF Planning System: Fast Plan Generation Through Heuristic Search

abstract: We describe and evaluate the algorithmic techniques that are used in the FF planning system. Like the HSP system, FF relies on forward state space search, using a heuristic that estimates goal distances by ignoring delete lists. Unlike HSP's heuristic, our method does not assume facts to be independent. We introduce a novel search strategy that combines hill-climbing with systematic search, and we show how other powerful heuristic information can be extracted and used to prune the search space. FF was the most successful automatic planner at the recent AIPS-2000 planning competition. We review the results of the competition, give data for other benchmark domains, and investigate the reasons for the runtime performance of FF compared to HSP.


title: Optimizing Dialogue Management with Reinforcement Learning: Experiments with the NJFun System

abstract: Designing the dialogue policy of a spoken dialogue system involves many nontrivial choices. This paper presents a reinforcement learning approach for automatically optimizing a dialogue policy, which addresses the technical challenges in applying reinforcement learning to a working dialogue system with human users. We report on the design, construction and empirical evaluation of NJFun, an experimental spoken dialogue system that provides users with access to information about fun things to do in New Jersey. Our results show that by optimizing its performance via reinforcement learning, NJFun measurably improves system performance.


title: Simple self-gettering differential-pump for minimizing source oxidation in oxide-MBE environment

abstract: Source oxidation of easily oxidizing elements such as Ca, Sr, Ba, and Ti in an oxidizing ambient leads to their flux instability and is one of the biggest problems in the multi-elemental oxide Molecular Beam Epitaxy technique. Here we report a new scheme that can completely eliminate the source oxidation problem: a self-gettering differential pump using the source itself as the pumping medium. The pump simply comprises a long collimator mounted in front of the source in extended port geometry. With this arrangement, the oxygen partial pressure near the source was easily maintained well below the source oxidation regime, resulting in a stabilized flux, comparable to that of an ultra-high-vacuum environment. Moreover, this pump has a self-feedback mechanism that allows a stronger pumping effectiveness for more easily oxidizing elements, which is a desired property for eliminating the source oxidation problem.


title: ATTac-2000: An Adaptive Autonomous Bidding Agent

abstract: The First Trading Agent Competition (TAC) was held from June 22nd to July 8th, 2000. TAC was designed to create a benchmark problem in the complex domain of e-marketplaces and to motivate researchers to apply unique approaches to a common task. This article describes ATTac-2000, the first-place finisher in TAC. ATTac-2000 uses a principled bidding strategy that includes several elements of adaptivity. In addition to the success at the competition, isolated empirical results are presented indicating the robustness and effectiveness of ATTac-2000's adaptive strategy.


title: Efficient Methods for Qualitative Spatial Reasoning

abstract: The theoretical properties of qualitative spatial reasoning in the RCC8 framework have been analyzed extensively. However, no empirical investigation has been made yet. Our experiments show that the adaption of the algorithms used for qualitative temporal reasoning can solve large RCC8 instances, even if they are in the phase transition region -- provided that one uses the maximal tractable subsets of RCC8 that have been identified by us. In particular, we demonstrate that the orthogonal combination of heuristic methods is successful in solving almost all apparently hard instances in the phase transition region up to a certain size in reasonable time.


title: Learning Geometrically-Constrained Hidden Markov Models for Robot Navigation: Bridging the Topological-Geometrical Gap

abstract: Hidden Markov models (HMMs) and partially observable Markov decision processes (POMDPs) provide useful tools for modeling dynamical systems. They are particularly useful for representing the topology of environments such as road networks and office buildings, which are typical for robot navigation and planning. The work presented here describes a formal framework for incorporating readily available odometric information and geometrical constraints into both the models and the algorithm that learns them. By taking advantage of such information, learning HMMs/POMDPs can be made to generate better solutions and require fewer iterations, while being robust in the face of data reduction. Experimental results, obtained from both simulated and real robot data, demonstrate the effectiveness of the approach.


title: Accelerating Reinforcement Learning through Implicit Imitation

abstract: Imitation can be viewed as a means of enhancing learning in multiagent environments. It augments an agent's ability to learn useful behaviors by making intelligent use of the knowledge implicit in behaviors demonstrated by cooperative teachers or other more experienced agents. We propose and study a formal model of implicit imitation that can accelerate reinforcement learning dramatically in certain cases. Roughly, by observing a mentor, a reinforcement-learning agent can extract information about its own capabilities in, and the relative value of, unvisited parts of the state space. We study two specific instantiations of this model, one in which the learning agent and the mentor have identical abilities, and one designed to deal with agents and mentors with different action sets. We illustrate the benefits of implicit imitation by integrating it with prioritized sweeping, and demonstrating improved performance and convergence through observation of single and multiple mentors. Though we make some stringent assumptions regarding observability and possible interactions, we briefly comment on extensions of the model that relax these restricitions.


title: Superfluid density of an open dissipative condensate

abstract: I calculate the superfluid density of a non-equilibrium steady state condensate of particles with finite lifetime. Despite the absence of a simple Landau critical velocity, a superfluid response survives, but dissipation reduces the superfluid fraction. I also suggest an idea for how the superfluid density of an example of such a system, i.e. microcavity polaritons, might be measured.


title: Towards P = NP via k-SAT: A k-SAT Algorithm Using Linear Algebra on Finite Fields

abstract: The problem of P vs. NP is very serious, and solutions to the problem can help save lives. This article is an attempt at solving the problem using a computer algorithm. It is presented in a fashion that will hopefully allow for easy understanding for many people and scientists from many diverse fields. In technical terms, a novel method for solving k-SAT is explained. This method is primarily based on linear algebra and finite fields. Evidence is given that this method may require rougly O(n^3) time and space for deterministic models. More specifically the algorithm runs in time O(P V(n+V)^2) with mistaking satisfiable Boolean expressions as unsatisfiable with an approximate probablity 1 / \Theta(V(n+V)^2)^P, where n is the number of clauses and V is the number of variables. It's concluded that significant evidence exists that P=NP. There is a forum devoted to this paper at http://482527.ForumRomanum.com. All are invited to correspond here and help with the analysis of the algorithm. Source code for the associated algorithm can be found at https://sourceforge.net/p/la3sat.


title: Compact complete null curves in Complex 3-space

abstract: We prove that for any open orientable surface $S$ of finite topology, there exist a Riemann surface $\mathcal{M},$ a relatively compact domain $M\subset\mathcal{M}$ and a continuous map $X:\bar{M}\to\mathbb{C}^3$ such that: $\mathcal{M}$ and $M$ are homeomorphic to $S,$ $\mathcal{M}-M$ and $\mathcal{M}-\bar{M}$ contain no relatively compact components in $\mathcal{M},$ $X|_M$ is a complete null holomorphic curve, $X|_{\bar{M}-M}:\bar{M}-M\to\mathbb{C}^3$ is an embedding and the Hausdorff dimension of $X(\bar{M}-M)$ is $1.$ Moreover, for any $\epsilon>0$ and compact null holomorphic curve $Y:N\to\mathbb{C}^3$ with non-empty boundary $Y(\partial N),$ there exist Riemann surfaces $M$ and $\mathcal{M}$ homeomorphic to $N^\circ$ and a map $X:\bar{M}\to\mathbb{C}^3$ in the above conditions such that $\delta^H(Y(\partial N),X(\bar{M}-M))<\epsilon,$ where $\delta^H(\cdot,\cdot)$ means Hausdorff distance in $\mathbb{C}^3.$


title: An Inversion Algorithm for Cyclic Nonadiagonal Matrix

abstract: In this paper, we compose a computational algorithm for the determinant and the inverse of the n x n cyclic nonadiagonal matrix. The algorithm is suited for implementation using computer algebra systems (CAS) such as Mathematica and Maple.


title: Global strong solvability of a quasilinear subdiffusion problem

abstract: We prove the global strong solvability of a quasilinear initial-boundary value problem with fractional time derivative of order less than one. Such problems arise in mathematical physics in the context of anomalous diffusion and the modelling of dynamic processes in materials with memory. The proof relies heavily on a regularity result about the interior H\"older continuity of weak solutions to time fractional diffusion equations, which has been proved recently by the author. We further establish a basic $L_2$ decay estimate for the special case with vanishing external source term and homogeneous Dirichlet boundary condition.


title: On the determination of anti-neutrino spectra from nuclear reactors

abstract: In this paper we study the effect of, well-known, higher order corrections to the allowed beta decay spectrum on the determination of anti-neutrino spectra resulting from the decays of fission fragments. In particular, we try to estimate the associated theory errors and find that induced currents like weak magnetism may ultimately limit our ability to improve the current accuracy and under certain circumstance could even largely increase the theoretical errors. We also perform a critical evaluation of the errors associated with our method to extract the anti-neutrino spectrum using synthetic beta spectra. It turns out, that a fit using only virtual beta branches with a judicious choice of the effective nuclear charge provides results with a minimal bias. We apply this method to actual data for U235, Pu239 and Pu241 and confirm, within errors, recent results, which indicate a net 3% upward shift in energy averaged anti-neutrino fluxes. However, we also find significant shape differences which can in principle be tested by high statistics anti-neutrino data samples.


title: Spectral rigidity of automorphic orbits in free groups

abstract: It is well-known that a point $T\in cv_N$ in the (unprojectivized) Culler-Vogtmann Outer space $cv_N$ is uniquely determined by its \emph{translation length function} $||.||_T:F_N\to\mathbb R$. A subset $S$ of a free group $F_N$ is called \emph{spectrally rigid} if, whenever $T,T'\in cv_N$ are such that $||g||_T=||g||_{T'}$ for every $g\in S$ then $T=T'$ in $cv_N$. By contrast to the similar questions for the Teichm\"uller space, it is known that for $N\ge 2$ there does not exist a finite spectrally rigid subset of $F_N$. In this paper we prove that for $N\ge 3$ if $H\le Aut(F_N)$ is a subgroup that projects to an infinite normal subgroup in $Out(F_N)$ then the $H$-orbit of an arbitrary nontrivial element $g\in F_N$ is spectrally rigid. We also establish a similar statement for $F_2=F(a,b)$, provided that $g\in F_2$ is not conjugate to a power of $[a,b]$. We also include an appended corrigendum which gives a corrected proof of Lemma 5.1 about the existence of a fully irreducible element in an infinite normal subgroup of of $Out(F_N)$. Our original proof of Lemma 5.1 relied on a subgroup classification result of Handel-Mosher, originally stated by Handel-Mosher for arbitrary subgroups $H\le Out(F_N)$. After our paper was published, it turned out that the proof of the Handel-Mosher subgroup classification theorem needs the assumption that $H$ be finitely generated. The corrigendum provides an alternative proof of Lemma~5.1 which uses the corrected, finitely generated, version of the Handel-Mosher theorem and relies on the 0-acylindricity of the action of $Out(F_N)$ on the free factor complex (due to Bestvina-Mann-Reynolds). A proof of 0-acylindricity is included in the corrigendum.


title: Mechanical properties of carbynes investigated by ab initio total-energy calculations

abstract: As sp carbon chains (carbynes) are relatively rigid molecular objects, can we exploit them as construction elements in nanomechanics? To answer this question, we investigate their remarkable mechanical properties by ab-initio total-energy simulations. In particular, we evaluate their linear response to small longitudinal and bending deformations and their failure limits for longitudinal compression and elongation.


title: Spontaneous Symmetry Breaking at the Fluctuating Level

abstract: Phase transitions not allowed in equilibrium steady states may happen however at the fluctuating level. We observe for the first time this striking and general phenomenon measuring current fluctuations in an isolated diffusive system. While small fluctuations result from the sum of weakly-correlated local events, for currents above a critical threshold the system self-organizes into a coherent traveling wave which facilitates the current deviation by gathering energy in a localized packet, thus breaking translation invariance. This results in Gaussian statistics for small fluctuations but non-Gaussian tails above the critical current. Our observations, which agree with predictions derived from hydrodynamic fluctuation theory, strongly suggest that rare events are generically associated with coherent, self-organized patterns which enhance their probability.

categories: cond-mat.stat-mech hep-th math-ph math.MP


title: Quark sector of Coulomb gauge Quantum Chromodynamics

abstract: The quark sector of Coulomb gauge quantum chromodynamics is considered within the functional integral approach. The quark contributions to the Dyson-Schwinger equations are derived and one-loop perturbative results for the two-point functions are presented. The problem of confinement is addressed in the heavy quark limit, by rewriting the generating functional of quantum chromodynamics in terms of a heavy quark mass expansion. By restricting to leading order in this expansion and considering only the two-point functions of the Yang-Mills sector, the rainbow-ladder approximation to the gap and Bethe-Salpeter equations is shown to be exact. Analytic nonperturbative solutions to the Bethe-Salpeter equation for quark-antiquark bound states and Faddeev equation for three-quark bound states, in the case of equal quark separations, are presented. The quark-antiquark and three-quark confining potentials are derived and a direct connection between the temporal gluon propagator and the corresponding string tensions is found. It is shown that only color singlet of quark-antiquark (meson) and qqq (baryon) states are physically allowed. Moreover, the four-point Green's functions, in both quark-antiquark and diquark channels, are explicitly derived. It is found that the corresponding poles relate to the bound state energy of the heavy quark systems, and a natural separation between physical and unphysical poles in the Green's functions emerges.


title: Dusty MgII absorbers: population statistics, extinction curves and gamma-ray burst sightlines

abstract: We present a new determination of the dust content and near-ultraviolet/optical extinction curves associated with a sample of ~8300 strong (equivalent width > 1A) Mg II absorbers, with redshifts 0.4<z<2.2, identified in Sloan Digital Sky survey (SDSS) spectra of quasars. Taking into account the selection effects that result from dust extinction, including the reduction in the signal-to-noise ratio of an absorber appearing in a reddened quasar spectrum, we find a stronger dependence of E(B-V) on absorber rest equivalent width (EW) than in other published work. The dependence of the median reddening on EW can be reproduced by a power-law model: E(B-V)=.8+/-3*10-4 * EW^(3.48+/-0.3) for 1.0A<EW<5.0A. Observed Mg II samples, derived from flux-limited quasar surveys, are shown to suffer from significant incompleteness at the level of 24+/-4 per cent for absorbers with EW>1A and 34+/-2 per cent for absorbers with EW>2A. Direct determination of the shape of the near-ultraviolet extinction curves for absorbers as a function of E(B-V) show evidence for systematic changes in the form of the extinction curves. At low E(B-V) (>0.05), the extinction curve is well represented by a Small Magellanic Cloud-like extinction curve. For intermediate E(B-V)s (<0.2), approximately a third of MgII absorbers show evidence for a 2175A feature similar to that of the Large Magellanic Cloud. For the small number of high E(B-V) (>0.3) absorbers, the majority of which exhibit strong CaII 3935,3970 absorption, there is evidence for a 2175A feature as strong as that found in the Milky Way. Application of the new results on the dust content of strong Mg II absorbers shows that dusty absorbers can account for a significant proportion, up to a factor of two, of the observed overdensity of absorbers seen towards Gamma-Ray Burst (GRB) sightlines, compared to sightlines towards quasars in flux-limited samples. (Abridged)


title: Stable minimal hypersurfaces in a Riemannian manifold with pinched negative sectional curvature

abstract: We give an estimate of the first eigenvalue of the Laplace operator on a complete noncompact stable minimal hypersurface $M$ in a complete simply connected Riemannian manifold with pinched negative sectional curvature. In the same ambient space, we prove that if a complete minimal hypersurface $M$ has sufficiently small total scalar curvature then $M$ has only one end. We also obtain a vanishing theorem for $L^2$ harmonic 1-forms on minimal hypersurfaces in a Riemannian manifold with sectional curvature bounded below by a negative constant. Moreover we provide sufficient conditions for a minimal hypersurface in a Riemannian manifold with nonpositive sectional curvature to be stable.


title: Nuclear recoil scintillation and ionisation yields in liquid xenon from ZEPLIN-III data

abstract: Scintillation and ionisation yields for nuclear recoils in liquid xenon above 10 keVnr (nuclear recoil energy) are deduced from data acquired using broadband Am-Be neutron sources. The nuclear recoil data from several exposures to two sources were compared to detailed simulations. Energy-dependent scintillation and ionisation yields giving acceptable fits to the data were derived. Efficiency and resolution effects are treated using a light collection Monte Carlo, measured photomultiplier response profiles and hardware trigger studies. A gradual fall in scintillation yield below ~40 keVnr is found, together with a rising ionisation yield; both are in good agreement with the latest independent measurements. The analysis method is applied to both the most recent ZEPLIN-III data, acquired with a significantly upgraded detector and a precision-calibrated Am-Be source, as well as to the earlier data from the first run in 2008. A new method for deriving the recoil scintillation yield, which includes sub-threshold S1 events, is also presented which confirms the main analysis.


title: Indecomposability for differential algebraic groups

abstract: We study a notion of indecomposability in differential algebraic groups which is inspired by both model theory and differential algebra. After establishing some basic definitions and results, we prove an indecomposability theorem for differential algebraic groups. The theorem establishes a sufficient criterion for the subgroup of a differential algebraic group generated by an infinite family of subvarieties to be a differential algebraic subgroup. This theorem is used for various definability results. For instance, we show every noncommutative almost simple differential algebraic group is perfect, solving a problem of Cassidy and Singer. We also establish numerous bounds on Kolchin polynomials, some of which seem to be of a nature not previously considered in differential algebraic geometry; in particular, we establish bounds on the Kolchin polynomial of the generators of the differential field of definition of a differential algebraic variety.


title: Counting points of fixed degree and given height over function fields

abstract: Let $k$ be a finite field extension of the function field $\bfF_p(T)$ and $\bar{k}$ its algebraic closure. We count points in projective space $\Bbb P ^{n-1}(\bar{k})$ with given height and of fixed degree $d$ over the field $k$. If $n>2d+3$ we derive an asymptotic estimate for their number as the height tends to infinity. As an application we also deduce asymptotic estimates for certain decomposable forms.


title: A Search for Eclipsing Binary Lightcurve Variations among MACHO Project Lightcurves of 3256 Fundamental-Mode RR Lyrae Variables in the Galactic Bulge

abstract: The MACHO Project collected photometry of many RR Lyrae stars from its observations of the Milky Way's bulge. We examined the lightcurves of 3256 stars identified as RRab Lyr variables by \cite{Kund2008}, subtracting an empirical model of the pulsation lightcurve and searching for periodic variation in the residuals. There are no systems which show the brief dips in light characteristic of detached eclipsing binary systems. We discuss the results for objects which show the largest residual periodic modulation, most of which are probably due to aliases of the fundamental period.


title: The data reduction pipeline for the Hi-GAL survey

abstract: We present the data reduction pipeline for the Hi-GAL survey. Hi-GAL is a key project of the Herschel satellite which is mapping the inner part of the Galactic plane (|l| <= 70\cdot and |b| <= 1\cdot), using 2 PACS and 3 SPIRE frequency bands, from 70{\mu}m to 500{\mu}m. Our pipeline relies only partially on the Herschel Interactive Standard Environment (HIPE) and features several newly developed routines to perform data reduction, including accurate data culling, noise estimation and minimum variance map-making, the latter performed with the ROMAGAL algorithm, a deep modification of the ROMA code already tested on cosmological surveys. We discuss in depth the properties of the Hi-GAL Science Demonstration Phase (SDP) data.


title: Optically controllable photonic structures with zero absorption

abstract: We show the possibility to periodically modulate refractive index in atomic medium in space or/and time while simultaneously keeping vanishing absorption/gain. Such modulation is based on periodic resonant enhancement of refractive index, controlled by an external optical field, and opens a way to produce coherently controllable photonic structures. We suggest possible implementation of the proposed scheme in rare-earth doped crystals with excited state absorption.


title: Spectral scaling laws in MHD turbulence simulations and in the solar wind

abstract: The question is addressed to what extent incompressible magnetohydrodynamics (MHD) can describe random magnetic and velocity fluctuations measured in the solar wind. It is demonstrated that distributions of spectral indices for the velocity, magnetic field, and total energy obtained from high resolution numerical simulations are qualitatively and quantitatively similar to solar wind observations at 1 AU. Both simulations and observations show that in the inertial range the magnetic field spectrum E_b is steeper than the velocity spectrum E_v with E_b >~ E_v and that the residual energy E_R = E_b-E_v decreases nearly following a k_perp^-2 scaling.


title: Shear viscous effects on the primordial power spectrum from warm inflation

abstract: We compute the primordial curvature spectrum generated during warm inflation, including shear viscous effects. The primordial spectrum is dominated by the thermal fluctuations of the radiation bath, sourced by the dissipative term of the inflaton field. The dissipative coefficient \Upsilon, computed from first principles in the close-to-equilibrium approximation, depends in general on the temperature T, and this dependence renders the system of the linear fluctuations coupled. Whenever the dissipative coefficient is larger than the Hubble expansion rate H, there is a growing mode in the fluctuations before horizon crossing. However, dissipation intrinsically means departures from equilibrium, and therefore the presence of a shear viscous pressure in the radiation fluid. This in turn acts as an extra friction term for the radiation fluctuations that tends to damp the growth of the perturbations. Independently of the T functional dependence of the dissipation and the shear viscosity, we find that when the shear viscous coefficient \zeta_s is larger than 3 \rho_r/H at horizon crossing, \rho_r being the radiation energy density, the shear damping effect wins and there is no growing mode in the spectrum.


title: Less is Different: Emergence and Reduction Reconciled

abstract: This is a companion to another paper. Together they rebut two widespread philosophical doctrines about emergence. The first, and main, doctrine is that emergence is incompatible with reduction. The second is that emergence is supervenience; or more exactly, supervenience without reduction. In the other paper, I develop these rebuttals in general terms, emphasising the second rebuttal. Here I discuss the situation in physics, emphasising the first rebuttal. I focus on limiting relations between theories and illustrate my claims with four examples, each of them a model or a framework for modelling, from well-established mathematics or physics. I take emergence as behaviour that is novel and robust relative to some comparison class. I take reduction as, essentially, deduction. The main idea of my first rebuttal will be to perform the deduction after taking a limit of some parameter. Thus my first main claim will be that in my four examples (and many others), we can deduce a novel and robust behaviour, by taking the limit, N goes to infinity, of a parameter N. But on the other hand, this does not show that that the infinite limit is "physically real", as some authors have alleged. For my second main claim is that in these same examples, there is a weaker, yet still vivid, novel and robust behaviour that occurs before we get to the limit, i.e. for finite N. And it is this weaker behaviour which is physically real. My examples are: the method of arbitrary functions (in probability theory); fractals (in geometry); superselection for infinite systems (in quantum theory); and phase transitions for infinite systems (in statistical mechanics).


title: Completeness in Partial Differential Fields

abstract: We study completeness in partial differential varieties. We generalize many results from ordinary differential fields to the partial differential setting. In particular, we establish a valuative criterion for differential completeness and use it to give a new class of examples of complete partial differential varieties. We use methods from both differential algebra and model theory.


title: Emergence, Reduction and Supervenience: a Varied Landscape

abstract: This is one of two papers about emergence, reduction and supervenience. It expounds these notions and analyses the general relations between them. The companion paper analyses the situation in physics, especially limiting relations between physical theories. I shall take emergence as behaviour that is novel and robust relative to some comparison class. I shall take reduction as deduction using appropriate auxiliary definitions. And I shall take supervenience as a weakening of reduction, viz. to allow infinitely long definitions. The overall claim of this paper will be that emergence is logically independent both of reduction and of supervenience. In particular, one can have emergence with reduction, as well as without it; and emergence without supervenience, as well as with it. Of the subsidiary claims, the four main ones (each shared with some other authors) are: (i): I defend the traditional Nagelian conception of reduction (Section 3); (ii): I deny that the multiple realizability argument causes trouble for reductions, or "reductionism" (Section 4); (iii): I stress the collapse of supervenience into deduction via Beth's theorem (Section 5.1); (iv): I adapt some examples already in the literature to show supervenience without emergence and vice versa (Section 5.2).


title: Selective tuning of high-Q silicon photonic crystal nanocavities via laser-assisted local oxidation

abstract: We examine the cavity resonance tuning of high-Q silicon photonic crystal heterostructures by localized laser-assisted thermal oxidation using a 532 nm continuous wave laser focused to a 2.5 mm radius spot-size. The total shift is consistent with the parabolic rate law. A tuning range of up to 8.7 nm is achieved with ~ 30 mW laser powers. Over this tuning range, the cavity Q decreases from 3.2\times10^5 to 1.2\times10^5. Numerical simulations model the temperature distributions in the silicon photonic crystal membrane and the cavity resonance shift from oxidation.


title: Actor-network procedures: Modeling multi-factor authentication, device pairing, social interactions

abstract: As computation spreads from computers to networks of computers, and migrates into cyberspace, it ceases to be globally programmable, but it remains programmable indirectly: network computations cannot be controlled, but they can be steered by local constraints on network nodes. The tasks of "programming" global behaviors through local constraints belong to the area of security. The "program particles" that assure that a system of local interactions leads towards some desired global goals are called security protocols. As computation spreads beyond cyberspace, into physical and social spaces, new security tasks and problems arise. As networks are extended by physical sensors and controllers, including the humans, and interlaced with social networks, the engineering concepts and techniques of computer security blend with the social processes of security. These new connectors for computational and social software require a new "discipline of programming" of global behaviors through local constraints. Since the new discipline seems to be emerging from a combination of established models of security protocols with older methods of procedural programming, we use the name procedures for these new connectors, that generalize protocols. In the present paper we propose actor-networks as a formal model of computation in heterogenous networks of computers, humans and their devices; and we introduce Procedure Derivation Logic (PDL) as a framework for reasoning about security in actor-networks. On the way, we survey the guiding ideas of Protocol Derivation Logic (also PDL) that evolved through our work in security in last 10 years. Both formalisms are geared towards graphic reasoning and tool support. We illustrate their workings by analysing a popular form of two-factor authentication, and a multi-channel device pairing procedure, devised for this occasion.


title: Efficient Reinforcement Learning Using Recursive Least-Squares Methods

abstract: The recursive least-squares (RLS) algorithm is one of the most well-known algorithms used in adaptive filtering, system identification and adaptive control. Its popularity is mainly due to its fast convergence speed, which is considered to be optimal in practice. In this paper, RLS methods are used to solve reinforcement learning problems, where two new reinforcement learning algorithms using linear value function approximators are proposed and analyzed. The two algorithms are called RLS-TD(lambda) and Fast-AHC (Fast Adaptive Heuristic Critic), respectively. RLS-TD(lambda) can be viewed as the extension of RLS-TD(0) from lambda=0 to general lambda within interval [0,1], so it is a multi-step temporal-difference (TD) learning algorithm using RLS methods. The convergence with probability one and the limit of convergence of RLS-TD(lambda) are proved for ergodic Markov chains. Compared to the existing LS-TD(lambda) algorithm, RLS-TD(lambda) has advantages in computation and is more suitable for online learning. The effectiveness of RLS-TD(lambda) is analyzed and verified by learning prediction experiments of Markov chains with a wide range of parameter settings. The Fast-AHC algorithm is derived by applying the proposed RLS-TD(lambda) algorithm in the critic network of the adaptive heuristic critic method. Unlike conventional AHC algorithm, Fast-AHC makes use of RLS methods to improve the learning-prediction efficiency in the critic. Learning control experiments of the cart-pole balancing and the acrobot swing-up problems are conducted to compare the data efficiency of Fast-AHC with conventional AHC. From the experimental results, it is shown that the data efficiency of learning control can also be improved by using RLS methods in the learning-prediction process of the critic. The performance of Fast-AHC is also compared with that of the AHC method using LS-TD(lambda). Furthermore, it is demonstrated in the experiments that different initial values of the variance matrix in RLS-TD(lambda) are required to get better performance not only in learning prediction but also in learning control. The experimental results are analyzed based on the existing theoretical work on the transient phase of forgetting factor RLS methods.


title: Optimal Sensor Configurations for Rectangular Target Dectection

abstract: Optimal search strategies where targets are observed at several different angles are found. Targets are assumed to exhibit rectangular symmetry and have a uniformly-distributed orientation. By rectangular symmetry, it is meant that one side of a target is the mirror image of its opposite side. Finding an optimal solution is generally a hard problem. Fortunately, symmetry principles allow analytical and intuitive solutions to be found. One such optimal search strategy consists of choosing n angles evenly separated on the half-circle and leads to a lower bound of the probability of not detecting targets. As no prior knowledge of the target orientation is required, such search strategies are also robust, a desirable feature in search and detection missions.


title: Asymmetric Covariance Estimates of Brascamp-Lieb Type and Related Inequalities for Log-concave Measures

abstract: An inequality of Brascamp and Lieb provides a bound on the covariance of two functions with respect to log-concave measures. The bound estimates the covariance by the product of the $L^2$ norms of the gradients of the functions, where the magnitude of the gradient is computed using an inner product given by the inverse Hessian matrix of the potential of the log-concave measure. Menz and Otto \cite{OM} proved a variant of this with the two $L^2$ norms replaced by $L^1$ and $L^\infty$ norms, but only for $\R^1$. We prove a generalization of both by extending these inequalities to $L^p$ and $L^q$ norms and on $\R^n$, for any $n\geq 1$. We also prove an inequality for integrals of divided differences of functions in terms of integrals of their gradients.


title: The velocity width function of galaxies from the 40% ALFALFA survey: shedding light on the cold dark matter overabundance problem

abstract: The ongoing Arecibo Legacy Fast ALFA (ALFALFA) survey is a wide-area, extragalactic HI-line survey conducted at the Arecibo Observatory. Sources have so far been extracted over ~3,000 sq.deg of sky (40% of its final area), resulting in the largest HI-selected sample to date. We measure the space density of HI-bearing galaxies as a function of their observed velocity width (uncorrected for inclination) down to w = 20 km/s, a factor of 2 lower than the previous generation HI Parkes All-Sky Survey. We confirm previous results that indicate a substantial discrepancy between the observational distribution and the theoretical one expected in a cold dark matter (CDM) universe, at low widths. In particular, a comparison with synthetic galaxy samples populating state-of-the-art CDM simulations imply a factor of ~8 difference in the abundance of galaxies with w = 50 km/s (increasing to a factor of ~100 when extrapolated to the ALFALFA limit of w = 20 km/s). We furthermore identify possible solutions, including a keV warm dark matter scenario and the fact that HI disks in low mass galaxies are usually not extended enough to probe the full amplitude of the galactic rotation curve. In this latter case, we can statistically infer the relationship between the measured HI rotational velocity of a galaxy and the mass of its host CDM halo. Observational verification of the presented relationship at low velocities would provide an important test of the validity of the established dark matter model.


title: Poincar\'e Gauge Theory With Coupled Even And Odd Parity Dynamic Spin-0 Modes: Dynamic Equations For Isotropic Bianchi Cosmologies

abstract: We are investigating the dynamics of a new Poincar\'e gauge theory of gravity model, which has cross coupling between the spin-0$^+$ and spin-0$^-$ modes. To this end we here consider a very appropriate situation---homogeneous-isotropic cosmologies---which is relatively simple, and yet all the modes have non-trivial dynamics which reveals physically interesting and possibly observable results. More specifically we consider manifestly isotropic Bianchi class A cosmologies; for this case we find an effective Lagrangian and Hamiltonian for the dynamical system. The Lagrange equations for these models lead to a set of first order equations that are compatible with those found for the FLRW models and provide a foundation for further investigations. Typical numerical evolution of these equations shows the expected effects of the cross parity coupling.


title: Kochen-Specker Sets and the Rank-1 Quantum Chromatic Number

abstract: The quantum chromatic number of a graph $G$ is sandwiched between its chromatic number and its clique number, which are well known NP-hard quantities. We restrict our attention to the rank-1 quantum chromatic number $\chi_q^{(1)}(G)$, which upper bounds the quantum chromatic number, but is defined under stronger constraints. We study its relation with the chromatic number $\chi(G)$ and the minimum dimension of orthogonal representations $\xi(G)$. It is known that $\xi(G) \leq \chi_q^{(1)}(G) \leq \chi(G)$. We answer three open questions about these relations: we give a necessary and sufficient condition to have $\xi(G) = \chi_q^{(1)}(G)$, we exhibit a class of graphs such that $\xi(G) < \chi_q^{(1)}(G)$, and we give a necessary and sufficient condition to have $\chi_q^{(1)}(G) < \chi(G)$. Our main tools are Kochen-Specker sets, collections of vectors with a traditionally important role in the study of noncontextuality of physical theories, and more recently in the quantification of quantum zero-error capacities. Finally, as a corollary of our results and a result by Avis, Hasegawa, Kikuchi, and Sasaki on the quantum chromatic number, we give a family of Kochen-Specker sets of growing dimension.


title: Cluster state generation using van der Waals and dipole-dipole interactions in optical lattices

abstract: We present a scalable method for generation of a cluster state for measurement-based quantum computing using van der Waals or dipole-dipole interactions between neutral atoms or polar molecules in an optical lattice. Nearest neighbor entanglement is accomplished by performing a phase gate using interaction of atoms in Rydberg states or molecules in large dipole moment states. All nearest neighbors are sequentially entangled in a finite number of operations, independent of the number of qubits, producing a 1D cluster state. A universal 2D cluster state can be generated in several ms in a two-dimensional optical lattice by producing a series of 1D cluster states in one lattice direction, followed by application of the entangling operations in another lattice direction. We discuss the viability of the scheme with Rb Rydberg atoms.


title: Relaxations and rheology near jamming

abstract: We determine the form of the complex shear modulus $G^*$ in soft sphere packings near jamming. Viscoelastic response at finite frequency is closely tied to a packing's intrinsic relaxational modes, which are distinct from the vibrational modes of undamped packings. We demonstrate and explain the appearance of an anomalous excess of slowly relaxing modes near jamming, reflected in a diverging relaxational density of states. From the density of states, we derive the dependence of $G^*$ on frequency and distance to the jamming transition, which is confirmed by numerics.


title: Black Hole Entropy and the Modified Uncertainty Principle: A heuristic analysis

abstract: Recently Ali et.al.(2009) proposed a Generalized Uncertainty Principle (or GUP) with a linear term in momentum (accompanied by Plank length). Inspired by this idea here we calculate the quantum corrected value of a Schwarzschild black hole entropy and a Reissner-Nordstrom black hole with double horizon by utilizing the proposed generalized uncertainty principle. We find that the leading order correction goes with the square root of the horizon area contributing positively. We also find that the prefactor of the logarithmic contribution is negative and the value exactly matches with some earlier existing calculations. With the Reissner-Nordstrom black hole we see that this model independent procedure is not only valid for single horizon spacetime but also valid for spacetimes with inner and outer horizons.


title: Modification of a charged-Bose-gas model for observed room-temperature superconductivity in narrow channels through films of oxidised atactic polypropylene

abstract: Reasons have been found for thinking that the minimum diameter of channels of a given length to support superconductivity at room temperature through films of oxidised atactic polypropylene (OAPP) is considerably larger than found in a model for Bose condensation in an array of nanofilaments [D.M. Eagles, Phil. Mag. 85, 1931 (2005)] used previously. This model was introduced to interpret experimental results dating from 1988 on OAPP. The channels are thought to be of larger diameter than believed before because, for an N-S-N system where the superconductor consists of an array of single-walled carbon nanotubes, the resistance, for good contacts, is R_Q/2N, where N is the number of nanotubes and R_Q=12.9 kOhm [See e.g. M. Ferrier et al., Solid State Commun. 131, 615 (2004)]. We assume this would be 2R_Q/N for a triplet superconductor with all spins in the same direction and no orbital degeneracy, which may be the case for nanofilaments in OAPP. Hence one may infer a minimum number of filaments for a given resistance. In the present model, the E(K) curve for the bosons is taken to be of a Bogoliubov form, but with a less steep initial linear term in the dispersion at T_c than occurs at low T. This form is different from the simple linear plus quadratic dispersion, with a steeper initial slope, used in my 2005 paper. A combination of theory and experimental data has been used to find approximate constraints on parameters appearing in the theory.


title: Into the central 10 pc of the most distant known radio quasar. VLBI imaging observations of J1429+5447 at z=6.21

abstract: Context: There are about 60 quasars known at redshifts z>5.7 to date. Only three of them are detected in the radio above 1 mJy flux density at 1.4 GHz frequency. Among them, J1429+5447 (z=6.21) is the highest-redshift radio quasar known at present. These rare, distant, and powerful objects provide important insight into the activity of the supermassive black holes in the Universe at early cosmological epochs, and on the physical conditions in their environment. Aims: We studied the compact radio structure of J1429+5447 on the milli-arcsecond (mas) angular scale, in order to compare the structural and spectral properties with those of other two z~6 radio-loud quasars, J0836+0054 (z=5.77) and J1427+3312 (z=6.12). Methods: We performed Very Long Baseline Interferometry (VLBI) imaging observations of J1429+5447 with the European VLBI Network (EVN) at 1.6 GHz on 2010 June 8, and at 5 GHz on 2010 May 27. Results: Based on its observed radio properties, the compact but somewhat resolved structure on linear scales of <100 pc, and the steep spectrum, the quasar J1429+5447 is remarkably similar to J0836+0054 and J1427+3312. To answer the question whether the compact steep-spectrum radio emission is a "universal" feature of the most distant radio quasars, it is essential to study more, yet to be discovered radio-loud active galactic nuclei at z>6.


title: Probabilistic Management of OCR Data using an RDBMS

abstract: The digitization of scanned forms and documents is changing the data sources that enterprises manage. To integrate these new data sources with enterprise data, the current state-of-the-art approach is to convert the images to ASCII text using optical character recognition (OCR) software and then to store the resulting ASCII text in a relational database. The OCR problem is challenging, and so the output of OCR often contains errors. In turn, queries on the output of OCR may fail to retrieve relevant answers. State-of-the-art OCR programs, e.g., the OCR powering Google Books, use a probabilistic model that captures many alternatives during the OCR process. Only when the results of OCR are stored in the database, do these approaches discard the uncertainty. In this work, we propose to retain the probabilistic models produced by OCR process in a relational database management system. A key technical challenge is that the probabilistic data produced by OCR software is very large (a single book blows up to 2GB from 400kB as ASCII). As a result, a baseline solution that integrates these models with an RDBMS is over 1000x slower versus standard text processing for single table select-project queries. However, many applications may have quality-performance needs that are in between these two extremes of ASCII and the complete model output by the OCR software. Thus, we propose a novel approximation scheme called Staccato that allows a user to trade recall for query performance. Additionally, we provide a formal analysis of our scheme's properties, and describe how we integrate our scheme with standard-RDBMS text indexing.


title: Extremizers of a Radon transform inequality

abstract: The Radon transform is a bounded operator from L^p of Euclidean space R^d to L^q of the Grassmann manifold of all affine hyperplanes in R^d, for certain exponents. We identify all extremizers of the associated inequality for the endpoint case p=(d+1)/d and q=d+1.


title: Almost-additive thermodynamic formalism for countable Markov shifts

abstract: We introduce a definition of pressure for almost-additive sequences of continuous functions defined over (non-compact) countable Markov shifts. The variational principle is proved. Under certain assumptions we prove the existence of Gibbs and equilibrium measures. Applications are given to the study of maximal Lypaunov exponents of product of matrices.


title: Learning Item-Attribute Relationship in Q-Matrix Based Diagnostic Classification Models

abstract: Recent surge of interests in cognitive assessment has led to the developments of novel statistical models for diagnostic classification. Central to many such models is the well-known Q-matrix, which specifies the item-attribute relationship. This paper proposes a principled estimation procedure for the Q-matrix and related model parameters. Desirable theoretic properties are established through large sample analysis. The proposed method also provides a platform under which important statistical issues, such as hypothesis testing and model selection, can be addressed.


title: Quasiextremals for a Radon-like transform

abstract: Convolution with an appropriate surface measure on a paraboloid is known to define a bounded operator T from L^p(R^d) to L^q(R^d) for certain exponents p,q. By a quasiextremal for the associated inequality, we mean a function f for which the norm of Tf is at least a constant c times the norm of f. Our main result characterizes all quasiextremals, with some quantitative control in terms of c. Several related results are also discussed. This is the first in a series of at least four articles about a circle of questions concerning the inverse problem of deducing information about f from information about the ratio of the norm of Tf to the norm of f.


title: Testing the jet quenching paradigm with an ultradeep observation of a steadily soft state black hole

abstract: We present ultradeep radio observations with the Expanded Very Large Array of 4U 1957+11, a Galactic black hole candidate X-ray binary known to exist in a persistent soft X-ray state. We derive a stringent upper limit of 11.4 micro-Jy beam^-1 (3 sigma) at 5-7 GHz, which provides the most rigorous upper limit to date on the presence of jets in a soft state black hole X-ray binary. X-ray, UV and optical fluxes obtained within a few weeks of the radio data can be explained by thermal emission from the disk. At this X-ray luminosity, a hard state black hole X-ray binary that follows the established empirical radio--X-ray correlation would be at least 330-810 times brighter at radio frequencies, depending on the distance to 4U 1957+11. This jet quenching of > 2.5 orders of magnitude is greater than some models predict, and implies the jets are prevented from being launched altogether in the soft state. 4U 1957+11 is also more than one order of magnitude fainter than the faintest of the 'radio-quiet' population of hard state black holes. In addition, we show that on average, soft state stellar-mass BHs probably have fainter jets than most active galactic nuclei in a state equivalent to the soft state. These results have implications for the conditions required for powerful, relativistic jets to form, and provide a new empirical constraint for time- and accretion mode-dependent jet models, furthering our understanding of jet production and accretion onto BHs.


title: The two-loop dilatation operator of N=4 super Yang-Mills theory in the SO(6) sector

abstract: The dilatation operator of planar N=4 super Yang-Mills in the pure scalar SO(6) sector is derived at the two-loop order. Representation theory allows for eight free coefficients in an ansatz for the corresponding spin-chain hamiltonian acting on three adjacent scalar states. While four out of these follow from the known SU(2|3) sector two-loop dilatation operator, the remaining four coefficients are derived by diagrammatic techniques and a match to the known dimension of a length three primary operator. Finally, comments upon the use of this result for the evaluation of three-point structure functions of scalar operators at the one-loop order are given.


title: Setwise intersecting families of permutations

abstract: A family of permutations $A \subset S_n$ is said to be \emph{$t$-set-intersecting} if for any two permutations $\sigma, \pi \in A$, there exists a $t$-set $x$ whose image is the same under both permutations, i.e. $\sigma(x)=\pi(x)$. We prove that if $n$ is sufficiently large depending on $t$, the largest $t$-set-intersecting families of permutations in $S_n$ are cosets of stabilizers of $t$-sets. The $t=2$ case of this was conjectured by J\'anos K\"orner. It can be seen as a variant of the Deza-Frankl conjecture, proved in [4]. Our proof uses similar techniques to those of [4], namely, eigenvalue methods, together with the representation theory of the symmetric group, but the combinatorial part of the proof is harder.


title: Conformal quantum mechanics as the CFT$_1$ dual to AdS$_2$

abstract: A 0+1-dimensional candidate theory for the CFT$_1$ dual to AdS$_2$ is discussed. The quantum mechanical system does not have a ground state that is invariant under the three generators of the conformal group. Nevertheless, we show that there are operators in the theory that are not primary, but whose "non-primary character" conspires with the "non-invariance of the vacuum" to give precisely the correlation functions in a conformally invariant theory.


title: The size of the Universe according to the Poincare dodecahedral space hypothesis

abstract: One of the FLRW models that best fits the WMAP sky maps of the CMB is the Poincare dodecahedral space. The optimal fit of this model to WMAP data was recently found using an optimal cross-correlation method, but the systematic error in the estimate of the matched-circle angular radius \alpha, or equivalently, the (comoving) size of the Universe 2\rinj (twice the injectivity radius), might be much higher than the random error. In order to increase the falsifiability of the model, it would be useful to reduce the uncertainty in this estimate and to estimate the fraction of the sky where multiply imaged gravitationally bound objects should potentially be detectable. "Matched discs" are defined in order to describe a useful subset of multiply imaged objects. The cross-correlation method at \ltapprox 1 \hGpc is applied to WMAP 7-year data in order to improve the estimate of \alpha. The improved matched-circle radius estimate is \alpha = 23 \pm 1.4 deg, where the uncertainty represents systematic error dependent on the choices of galactic mask and all-sky map. This is equivalent to 2\rinj = 18.2\pm 0.5 \hGpc for matter density parameter Omega_m=0.28\pm 0.02. The lowest redshift of multiply imaged objects is z=106\pm18. Multiply imaged high overdensity (rare) peaks visible during 200>z>106 should be present in matched discs of radius 14.8\pm2.3 deg. The accuracy in the matched circle radius estimate is considerably improved by using the higher resolution signal. The predicted matched discs (over 200>z>106) project to about 20% of the full sky. Since any object located exactly in the discs would be multiply imaged at equal redshifts, evolutionary effects would be small for objects that are nearly located in the discs.


title: On extremals for a Radon-like transform

abstract: Convolution with an appropriate surface measure on a paraboloid in R^d defines a bounded operator T from L^p(R^d) to L^q(R^d) for certain exponents p,q. In this article it is proved that there exist functions which extremize the associated inequality.


title: Binding of Polarons and Atoms at Threshold

abstract: If the polaron coupling constant $\alpha$ is large enough, bipolarons or multi-polarons will form. When passing through the critical $\alpha_c$ from above, does the radius of the system simply get arbitrarily large or does it reach a maximum and then explodes? We prove that it is always the latter. We also prove the analogous statement for the Pekar-Tomasevich (PT) approximation to the energy, in which case there is a solution to the PT equation at $\alpha_c$. Similarly, we show that the same phenomenon occurs for atoms, e.g., helium, at the critical value of the nuclear charge. Our proofs rely only on energy estimates, not on a detailed analysis of the Schr\"odinger equation, and are very general. They use the fact that the Coulomb repulsion decays like $1/r$, while `uncertainty principle' localization energies decay more rapidly, as $1/r^2$.

categories: math-ph cond-mat.str-el math.AP math.MP physics.atom-ph


title: Rademacher complexity of stationary sequences

abstract: We show how to control the generalization error of time series models wherein past values of the outcome are used to predict future values. The results are based on a generalization of standard i.i.d. concentration inequalities to dependent data without the mixing assumptions common in the time series setting. Our proof and the result are simpler than previous analyses with dependent data or stochastic adversaries which use sequential Rademacher complexities rather than the expected Rademacher complexity for i.i.d. processes. We also derive empirical Rademacher results without mixing assumptions resulting in fully calculable upper bounds.


title: Pistons modeled by potentials

abstract: In this article we consider a piston modelled by a potential in the presence of extra dimensions. We analyze the functional determinant and the Casimir effect for this configuration. In order to compute the determinant and Casimir force we employ the zeta function scheme. Essentially, the computation reduces to the analysis of the zeta function associated with a scalar field living on an interval $[0,L]$ in a background potential. Although, as a model for a piston, it seems reasonable to assume a potential having compact support within $[0,L]$, we provide a formalism that can be applied to any sufficiently smooth potential.


title: Site dilution in Kitaev's honeycomb model

abstract: We study the physical consequences of site dilution in Kitaev's honeycomb model, in both its gapped and gapless phases. We show that a vacancy binds a flux of the emergent $Z_2$ gauge field and induces a local moment. In the gapped phase this moment is free while in the gapless phase the susceptibility has the dependence $\chi(h)\sim\ln(1/h)$ on field strength $h$. Vacancy moments have interactions that depend on their separation, their relative sublattice, and the phase of the model. Strikingly, in the gapless phase, two nearby vacancies on the same sublattice have a parametrically larger $\chi(h)\sim(h[\ln(1/h)]^{3/2})^{-1}$. In the gapped phase, even a finite density of randomly distributed vacancies remains tractable, via a mapping to a bipartite random hopping problem. This leads to a strong disorder form of the low-energy thermodynamics, with a Dyson-type singularity in the density of states for excitations.


title: Short-term Performance Limits of MIMO Systems with Side Information at the Transmitter

abstract: The fundamental performance limits of space-time block code (STBC) designs when perfect channel information is available at the transmitter (CSIT) are studied in this report. With CSIT, the transmitter can perform various techniques such as rate adaption, power allocation, or beamforming. Previously, the exploration of these fundamental results assumed long-term constraints, for example, channel codes can have infinite decoding delay, and power or rate is normalized over infinite channel-uses. With long-term constraints, the transmitter can operate at the rate lower than the instantaneous mutual information and error-free transmission can be supported. In this report, we focus on the performance limits of short-term behavior for STBC systems. We assume that the system has block power constraint, block rate constraint, and finite decoding delay. With these constraints, although the transmitter can perform rate adaption, power control, or beamforming, we show that decoding-error is unavoidable. In the high SNR regime, the diversity gain is upperbounded by the product of the number of transmit antennas, receive antennas, and independent fading block channels that messages spread over. In other words, fading cannot be completely combatted with short-term constraints. The proof is based on a sphere-packing argument.


title: Generating functions for canonical systems of fermions

abstract: The method proposed by Pratt to derive recursion relations for systems of degenerate fermions [Phys. Rev. Lett. 84, 4255 (2000), arXiv:nucl-th/9905055] relies on diagrammatic techniques. This efficient formalism assumes no explicit two-body interactions, makes possible the inclusion of conservation laws and requires low computational time. In this brief report, we show that such recursion relations can be obtained from generating functions, without any restriction as concerns the number of conservation laws (e.g. total energy or angular momentum).


title: Cross-Layer Scheduling for Cooperative Multi-Hop Cognitive Radio Networks

abstract: The paper aims to design cross-layer optimal scheduling algorithms for cooperative multi-hop Cognitive Radio Networks (CRNs), where secondary users (SUs) assist primary user (PU)'s multi-hop transmissions and in return gain authorization to access a share of the spectrum. We build two models for two different types of PUs, corresponding to elastic and inelastic service classes. For CRNs with elastic service, the PU maximizes its throughput while assigning a time-share of the channel to SUs proportional to SUs' assistance. For the inelastic case, the PU is guaranteed a minimum utility. The proposed algorithm for elastic PU model can achieve arbitrarily close to the optimal PU throughput, while the proposed algorithm for inelastic PU model can achieve arbitrarily close to the optimal SU utility. Both algorithms provide deterministic upper-bounds for PU queue backlogs. In addition, we show a tradeoff between throughput/utility and PU's average end-to-end delay upper-bounds for both algorithms. Furthermore, the algorithms work in both backlogged as well as arbitrary arrival rate systems.


title: Distributed Stochastic Power Control in Ad-hoc Networks: A Nonconvex Case

abstract: Utility-based power allocation in wireless ad-hoc networks is inherently nonconvex because of the global coupling induced by the co-channel interference. To tackle this challenge, we first show that the globally optimal point lies on the boundary of the feasible region, which is utilized as a basis to transform the utility maximization problem into an equivalent max-min problem with more structure. By using extended duality theory, penalty multipliers are introduced for penalizing the constraint violations, and the minimum weighted utility maximization problem is then decomposed into subproblems for individual users to devise a distributed stochastic power control algorithm, where each user stochastically adjusts its target utility to improve the total utility by simulated annealing. The proposed distributed power control algorithm can guarantee global optimality at the cost of slow convergence due to simulated annealing involved in the global optimization. The geometric cooling scheme and suitable penalty parameters are used to improve the convergence rate. Next, by integrating the stochastic power control approach with the back-pressure algorithm, we develop a joint scheduling and power allocation policy to stabilize the queueing systems. Finally, we generalize the above distributed power control algorithms to multicast communications, and show their global optimality for multicast traffic.