title: Convergence of numerical schemes for the Korteweg-de Vries-Kawahara equation

abstract: We are concerned with the convergence of a numerical scheme for the initial-boundary value problem associated to the Korteweg-de Vries- Kawahara equation (in short Kawahara equation), which is a transport equation perturbed by dispersive terms of 3rd and 5th order. This equation appears in several uid dynamics problems. It describes the evolution of small but finite amplitude long waves in various problems in uid dynamics. We prove here the convergence of both semi-discrete as well as fully-discrete finite difference schemes for the Kawahara equation. Finally, the convergence is illustratred by several examples.


title: Transport across nanogaps using semiclassically consistent boundary conditions

abstract: Charge particle transport across nanogaps is studied theoretically within the Schrodinger-Poisson mean field framework and the existence of limiting current investigated. It is shown that the choice of a first order WKB wavefunction as the transmitted wave leads to self consistent boundary conditions and gives results that are significantly different in the non-classical regime from those obtained using a plane transmitted wave. At zero injection energies, the quantum limiting current density, J_c, is found to obey the local scaling law J_c ~ (V_g)^alpha/(D)^{5-2alpha} with the gap separation D and voltage V_g. The exponent alpha > 1.1 with alpha --> 3/2 in the classical regime of small de Broglie wavelengths. These results are consistent with recent experiments using nanogaps most of which are found to be in a parameter regime where classical space charge limited scaling holds away from the emission dominated regime.


title: Asymptotic Analysis and Synthesis in Mechanics of Solids and Nonlinear Dynamics

abstract: In this lectures various methods which give a possibility to extend an area of applicability of perturbation series and hence to omit their local character are analysed. While applying asymptotic methods as a rule the following situation appears: the existence of asymptotics for $\ve\rightarrow 0$ implies an existence of the asymptotics for $\ve\rightarrow\infty$. Therefore, the idea to construct one function valid for the whole parameter interval for $\ve$ is very attractive. The construction of asymptotically equivalent functions possessing a known asymptotic behaviour for $\ve\rightarrow 0$ and $\ve\rightarrow \infty$ will be discussed. Using summation and interpolation procedures we focus on continuous models derived from a discrete micro-structure. Various continualization procedures that take the non-local interaction between variables of the discrete media into account are analysed.


title: Polarized morphisms between abelian varieties

abstract: We study in this paper some criterions to get polarized morphisms between abelian varieties. We deduce explicit dynamical systems with particular intersection properties.


title: Energy-Momentum Distribution of Non-Static Plane Symmetric Spacetimes in GR and TPT

abstract: This paper is devoted to explore the energy-momentum of non-static plane symmetric spacetimes in the context of General Relativity and teleparallel theory of gravity. For this purpose, we use four prescriptions, namely, Einstein, Landau-Lifshitz, Bergmann-Thomson and M{\o}ller in both theories. It is shown that the results for the first three prescriptions turn out to be same in both the theories but different for last prescription. It is mentioning here that our results coincide with the results obtained by Sharif and kanwal [1] for Bell-Szekeres metric under certain choice of the metric functions.


title: Study of $\pi\pi$ correlations at LHC and RHIC energies in $pp$ collisions within the quark-gluon string model

abstract: The Quark Gluon String Model (QGSM) reproduces well the global characteristics of the $pp$ collisions at RHIC and LHC, e.g., the pseudorapidity and transverse momenta distributions at different centralities. The main goal of this work is to employ the Monte Carlo QGSM for description of femtoscopic characteristics in $pp$ collisions at RHIC and LHC. The study is concentrated on the low multiplicity and multiplicity averaged events, where no collective effects are expected. The different procedures for fitting the one-dimensional correlation functions of pions are studied and compared with the space-time distributions extracted directly from the model. Particularly, it is shown that the double Gaussian fit reveals the contributions coming separately from resonances and from directly produced particles. The comparison of model results with the experimental data favors decrease of particle formation time with rising collision energy.


title: NLO evolution kernels: Monte Carlo versus MSbar

abstract: We investigate the differences between the NLO evolution kernels in the Curci-Furmanski-Petronzio (CFP) and Monte Carlo (MC) factorization schemes for the non-singlet case. We show the origin of these differences and present them explicitly. We examine the influence of the choice of the factorization scale in the MC scheme (given by the upper phase space limit) on the evolution kernels in this scheme.


title: Uniform Null Controllability for a Degenerating Reaction-Diffusion System Approximating a Simplified Cardiac Model

abstract: This paper is devoted to the analysis of the uniform null controllability for a family of nonlinear reaction-diffusion systems approximating a parabolic-elliptic system which models the electrical activity of the heart. The uniform, with respect to the degenerating parameter, null controllability of the approximating system by means of a single control is shown. The proof is based on the combination of Carleman estimates and weighted energy inequalities.


title: A tool to separate optical/infrared disc and jet emission in X-ray transient outbursts: the colour-magnitude diagrams of XTE J1550-564

abstract: It is now established that thermal disc emission and non-thermal jet emission can both play a role at optical/infrared (OIR) wavelengths in X-ray transients. The spectra of the jet and disc components differ, as do their dependence on mass accretion properties. Here we demonstrate that the OIR colour-magnitude diagrams (CMDs) of the evolution of the X-ray transient XTE J1550-564 in outburst can be used to separate the disc from the jet. Monitoring in two wavebands is all that is required. This outburst in 2000 was well studied, and both disc and jet were known to contribute. During the outburst the data follow a well defined path in the CMD, describing what would be expected from a heated single-temperature blackbody of approximately constant area, except when the data appear redder than this track. This is due to the non-thermal jet component which dominates the OIR moreso during hard X-ray states at high luminosities, and which is quenched in the soft state. The CMD therefore shows state-dependent hysteresis, in analogy with (but not identical to) the well established X-ray hardness-intensity diagram of black hole transients. The blackbody originates in the X-ray illuminated, likely unwarped, outer accretion disc. We show that the CMD can be approximately reproduced by a model that assumes various correlations between X-ray, OIR disc and OIR jet fluxes. We find evidence for the OIR jet emission to be decoupled from the disc near the peak of the hard state.


title: Rate of Convergence to Barenblatt Profiles for the Fast Diffusion Equation

abstract: We study the asymptotic behaviour of positive solutions of the Cauchy problem for the fast diffusion equation near the extinction time. We find a continuum of rates of convergence to a self-similar profile. These rates depend explicitly on the spatial decay rates of initial data.


title: A Characterization of Entropy in Terms of Information Loss

abstract: There are numerous characterizations of Shannon entropy and Tsallis entropy as measures of information obeying certain properties. Using work by Faddeev and Furuichi, we derive a very simple characterization. Instead of focusing on the entropy of a probability measure on a finite set, this characterization focuses on the `information loss', or change in entropy, associated with a measure-preserving function. Information loss is a special case of conditional entropy: namely, it is the entropy of a random variable conditioned on some function of that variable. We show that Shannon entropy gives the only concept of information loss that is functorial, convex-linear and continuous. This characterization naturally generalizes to Tsallis entropy as well.


title: How to be causal: time, spacetime, and spectra

abstract: I explain a simple definition of causality in widespread use, and indicate how it links to the Kramers Kronig relations. The specification of causality in terms of temporal differential eqations then shows us the way to write down dynamical models so that their causal nature /in the sense used here/ should be obvious to all. To extend existing treatments of causality that work only in the frequency domain, I derive a reformulation of the long-standing Kramers Kronig relations applicable not only to just temporal causality, but also to spacetime "light-cone" causality based on signals carried by waves. I also apply this causal reasoning to Maxwell's equations, which is an instructive example since their casual properties are sometimes debated.


title: Star formation in galaxy interactions and mergers

abstract: This lecture reviews the fundamental physical processes involved in star formation in galaxy interactions and mergers. Interactions and mergers often drive intense starbursts, but the link between interstellar gas physics, large scale interactions, and active star formation is complex and not fully understood yet. Two processes can drive starbursts: radial inflows of gas can fuel nuclear starbursts, triggered gas turbulence and fragmentation can drive more extended starbursts in massive star clusters with high fractions of dense gas. Both modes are certainly required to account for the observed properties of starbursting mergers. A particular consequence is that star formation scaling laws are not universal, but vary from quiescent disks to starbursting mergers. High-resolution hydrodynamic simulations are used to illustrate the lectures.


title: Transition between SU(4) and SU(2) Kondo effect

abstract: Motivated by experiments in nanoscopic systems, we study a generalized Anderson, which consists of two spin degenerate doublets hybridized to a singlet by promotion of an electron to two conduction bands, as a function of the energy separation $\delta$ between both doublets. For $\delta$=0 or very large, the model is equivalent to a one-level SU(N) Anderson model, with N=4 and 2 respectively. We study the evolution of the spectral density for both doublets ($\rho_{1 \sigma}(\omega)$ and $\rho_{2 \sigma}(\omega)$) and their width in the Kondo limit as $\delta$ is varied, using the non-crossing approximation (NCA). As $\delta$ increases, the peak at the Fermi energy in the spectral density (Kondo peak) splits and the density of the doublet of higher energy $\rho_{2 \sigma}(\omega)$ shifts above the Ferrmi energy. The Kondo temperature $T_K$ (determined by the half width at half maximum of the Kondo peak in density of the doublet of lower energy $\rho_{1 \sigma}(\omega)$) decreases dramatically. The variation of $T_K$ with $\delta$ is reproduced by a simple variational calculation.


title: 4+1 dimensional homogeneous anisotropic string cosmological models

abstract: We present exact solutions of string cosmological models characterized by five dimensional metrics (with four-dimensional real Lie groups as isometry groups), space independent dilaton and vanishing torsion. As an example we consider VII 0 \oplus R model and show that it is equivalent to the (4 +1)-dimensional cosmological model coupled to perfect fluid with negative deceleration parameters (accelerating universe).


title: Accelerating Reinforcement Learning by Composing Solutions of Automatically Identified Subtasks

abstract: This paper discusses a system that accelerates reinforcement learning by using transfer from related tasks. Without such transfer, even if two tasks are very similar at some abstract level, an extensive re-learning effort is required. The system achieves much of its power by transferring parts of previously learned solutions rather than a single complete solution. The system exploits strong features in the multi-dimensional function produced by reinforcement learning in solving a particular task. These features are stable and easy to recognize early in the learning process. They generate a partitioning of the state space and thus the function. The partition is represented as a graph. This is used to index and compose functions stored in a case base to form a close approximation to the solution of the new task. Experiments demonstrate that function composition often produces more than an order of magnitude increase in learning rate compared to a basic reinforcement learning algorithm.


title: Parameter Learning of Logic Programs for Symbolic-Statistical Modeling

abstract: We propose a logical/mathematical framework for statistical parameter learning of parameterized logic programs, i.e. definite clause programs containing probabilistic facts with a parameterized distribution. It extends the traditional least Herbrand model semantics in logic programming to distribution semantics, possible world semantics with a probability distribution which is unconditionally applicable to arbitrary logic programs including ones for HMMs, PCFGs and Bayesian networks. We also propose a new EM algorithm, the graphical EM algorithm, that runs for a class of parameterized logic programs representing sequential decision processes where each decision is exclusive and independent. It runs on a new data structure called support graphs describing the logical relationship between observations and their explanations, and learns parameters by computing inside and outside probability generalized for logic programs. The complexity analysis shows that when combined with OLDT search for all explanations for observations, the graphical EM algorithm, despite its generality, has the same time complexity as existing EM algorithms, i.e. the Baum-Welch algorithm for HMMs, the Inside-Outside algorithm for PCFGs, and the one for singly connected Bayesian networks that have been developed independently in each research field. Learning experiments with PCFGs using two corpora of moderate size indicate that the graphical EM algorithm can significantly outperform the Inside-Outside algorithm.


title: Spectral probes of the holographic Fermi groundstate: dialing between the electron star and AdS Dirac hair

abstract: We argue that the electron star and the AdS Dirac hair solution are two limits of the free charged Fermi gas in AdS. Spectral functions of holographic duals to probe fermions in the background of electron stars have a free parameter that quantifies the number of constituent fermions that make up the charge and energy density characterizing the electron star solution. The strict electron star limit takes this number to be infinite. The Dirac hair solution is the limit where this number is unity. This is evident in the behavior of the distribution of holographically dual Fermi surfaces. As we decrease the number of constituents in a fixed electron star background the number of Fermi surfaces also decreases. An improved holographic Fermi groundstate should be a configuration that shares the qualitative properties of both limits.


title: Finding a Path is Harder than Finding a Tree

abstract: I consider the problem of learning an optimal path graphical model from data and show the problem to be NP-hard for the maximum likelihood and minimum description length approaches and a Bayesian approach. This hardness result holds despite the fact that the problem is a restriction of the polynomially solvable problem of finding the optimal tree graphical model.


title: Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints

abstract: Simple conceptual graphs are considered as the kernel of most knowledge representation formalisms built upon Sowa's model. Reasoning in this model can be expressed by a graph homomorphism called projection, whose semantics is usually given in terms of positive, conjunctive, existential FOL. We present here a family of extensions of this model, based on rules and constraints, keeping graph homomorphism as the basic operation. We focus on the formal definitions of the different models obtained, including their operational semantics and relationships with FOL, and we analyze the decidability and complexity of the associated problems (consistency and deduction). As soon as rules are involved in reasonings, these problems are not decidable, but we exhibit a condition under which they fall in the polynomial hierarchy. These results extend and complete the ones already published by the authors. Moreover we systematically study the complexity of some particular cases obtained by restricting the form of constraints and/or rules.


title: Majorana fermions in spin-orbit coupled ferromagnetic Josephson junctions

abstract: We study all possible Majorana modes in two-dimensional spin-orbit coupled ferromagnetic superconductor-normal state-superconductor (SNS) Josephson junctions and propose experiments to detect them. With the S region in a non-trivial topological phase and a superconducting phase difference $\phi = \pi$ across the junction, two delocalized Majorana fermions with no excitation gap appear in the N region. In addition, if S and N belong to different topological phases and have well-separated the Fermi surfaces, localized Majorana fermions with a finite excitation gap also emerge at both SN interfaces for all $\phi$.


title: Fusions of Description Logics and Abstract Description Systems

abstract: Fusions are a simple way of combining logics. For normal modal logics, fusions have been investigated in detail. In particular, it is known that, under certain conditions, decidability transfers from the component logics to their fusion. Though description logics are closely related to modal logics, they are not necessarily normal. In addition, ABox reasoning in description logics is not covered by the results from modal logics. In this paper, we extend the decidability transfer results from normal modal logics to a large class of description logics. To cover different description logics in a uniform way, we introduce abstract description systems, which can be seen as a common generalization of description and modal logics, and show the transfer results in this general setting.


title: Improving the Efficiency of Inductive Logic Programming Through the Use of Query Packs

abstract: Inductive logic programming, or relational learning, is a powerful paradigm for machine learning or data mining. However, in order for ILP to become practically useful, the efficiency of ILP systems must improve substantially. To this end, the notion of a query pack is introduced: it structures sets of similar queries. Furthermore, a mechanism is described for executing such query packs. A complexity analysis shows that considerable efficiency improvements can be achieved through the use of this query pack execution mechanism. This claim is supported by empirical results obtained by incorporating support for query pack execution in two existing learning systems.


title: A Critical Assessment of Benchmark Comparison in Planning

abstract: Recent trends in planning research have led to empirical comparison becoming commonplace. The field has started to settle into a methodology for such comparisons, which for obvious practical reasons requires running a subset of planners on a subset of problems. In this paper, we characterize the methodology and examine eight implicit assumptions about the problems, planners and metrics used in many of these comparisons. The problem assumptions are: PR1) the performance of a general purpose planner should not be penalized/biased if executed on a sampling of problems and domains, PR2) minor syntactic differences in representation do not affect performance, and PR3) problems should be solvable by STRIPS capable planners unless they require ADL. The planner assumptions are: PL1) the latest version of a planner is the best one to use, PL2) default parameter settings approximate good performance, and PL3) time cut-offs do not unduly bias outcome. The metrics assumptions are: M1) performance degrades similarly for each planner when run on degraded runtime environments (e.g., machine platform) and M2) the number of plan steps distinguishes performance. We find that most of these assumptions are not supported empirically; in particular, that planners are affected differently by these assumptions. We conclude with a call to the community to devote research resources to improving the state of the practice and especially to enhancing the available benchmark problems.


title: Hawking Radiation in Dispersive Media

abstract: Hawking radiation, despite its presence in theoretical physics for over thirty years, remains elusive and undetected. It also suffers, in its original context of gravitational black holes, from conceptual difficulties. Of particular note is the trans-Planckian problem, which is concerned with the apparent origin of the radiation in absurdly high frequencies. In order to gain better theoretical understanding and, it is hoped, experimental verification of Hawking radiation, much study is being devoted to systems which model the spacetime geometry of black holes, and which, by analogy, are also thought to emit Hawking radiation. These analogue systems typically exhibit dispersion, which regularizes the wave behaviour at the horizon but does not lend itself well to analytic treatment, thus rendering Hawking's prediction less secure. A general analytic method for dealing with Hawking radiation in dispersive systems has proved difficult to find. This thesis presents new numerical and analytic results for Hawking emission spectra in dispersive systems. It examines two black-hole analogue systems: it begins by introducing the well-known acoustic model, presenting some original results in that context; then, through analogy with the acoustic model, goes on to develop the lesser-known fibre-optical model.


title: Time-Reversal Symmetry in Non-Hermitian Systems

abstract: For ordinary hermitian Hamiltonians, the states show the Kramers degeneracy when the system has a half-odd-integer spin and the time reversal operator obeys \Theta^2=-1, but no such a degeneracy exists when \Theta^2=+1. Here we point out that for non-hermitian systems, there exists a degeneracy similar to Kramers even when \Theta^2=+1. It is found that the new degeneracy follows from the mathematical structure of split-quaternion, instead of quaternion from which the Kramers degeneracy follows in the usual hermitian cases. Furthermore, we also show that particle/hole symmetry gives rise to a pair of states with opposite energies on the basis of the split quaternion in a class of non-hermitian Hamiltonians. As concrete examples, we examine in detail NxN Hamiltonians with N=2 and 4 which are non-hermitian generalizations of spin 1/2 Hamiltonian and quadrupole Hamiltonian of spin 3/2, respectively.

categories: cond-mat.stat-mech math-ph math.MP quant-ph


title: Mean value integral inequalities

abstract: Let $F:[a,b]\longrightarrow \R$ have zero derivative in a dense subset of $[a,b]$. What else we need to conclude that $F$ is constant in $[a,b]$? We prove a result in this direction using some new Mean Value Theorems for integrals which are the real core of this paper. These Mean Value Theorems are proven easily and concisely using Lebesgue integration, but we also provide alternative and elementary proofs to some of them which keep inside the scope of the Riemann integral.


title: Observationes Cyclometricae by Adam Adamandy Kocha\'nski - Latin text with annotated English translation

abstract: Annotated parallel text in Latin and English of the classic paper of Adam Adamandy Kocha\'nski "Observationes Cyclometricae", published in Acta Eruditorum 4:394--398 (1685), in which he presented approximate geometric method of rectification of the circle, as well as a series of rational approximations of \pi. The included Latin text of Observationes closely follows the original text published in Acta Eruditorum. Punctuation, capitalization, and mathematical notation have been preserved. Several misprints which appeared in the original are also reproduced unchanged, but with a footnote indicating correction. Every effort has been made to preserve the layout of original tables. The translation is as faithful as possible, often literal, and it is mainly intended to be of help to those who wish to study the original Latin text.


title: On the Zagreb Indices Equality

abstract: For a simple graph $G$ with $n$ vertices and $m$ edges, the first Zagreb index and the second Zagreb index are defined as $M_1(G)=\sum_{v\in V}d(v)^2 $ and $M_2(G)=\sum_{uv\in E}d(u)d(v)$. In \cite{VGFAD}, it was shown that if a connected graph $G$ has maximal degree 4, then $G$ satisfies $M_1(G)/n = M_2(G)/m$ (also known as the Zagreb indices equality) if and only if $G$ is regular or biregular of class 1 (a biregular graph whose no two vertices of same degree are adjacent). There, it was also shown that there exist infinitely many connected graphs of maximal degree $\Delta= 5$ that are neither regular nor biregular of class 1 which satisfy the Zagreb indices equality. Here, we generalize that result by showing that there exist infinitely many connected graphs of maximal degree $\Delta \geq 5$ that are neither regular nor biregular graphs of class 1 which satisfy the Zagreb indices equality. We also consider when the above equality holds when the degrees of vertices of a given graph are in a prescribed interval of integers.


title: Escape of cosmic-ray electrons from supernova remnants

abstract: We investigate escape of cosmic ray (CR) electrons from a supernova remnant (SNR) to interstellar space. We show that CR electrons escape in order from high energies to low energies like CR nuclei, while the escape starts later than the beginning of the Sedov phase at an SNR age of 10^3 - 7*10^3 yrs and the maximum energy of runaway CR electrons is below the knee about 0.3 - 50 TeV because unlike CR nuclei, CR electrons lose their energy due to synchrotron radiation. Highest energy CR electrons will be directly probed by AMS-02, CALET, CTA and LHAASO experiments, or have been already detected by H.E.S.S. and MAGIC as a cutoff in the CR electron spectrum. Furthermore, we also calculate the spatial distribution of runaway CR electrons and their radiation spectra around SNRs. Contrary to common belief, maximum-energy photons of synchrotron radiation around 1 keV are emitted by runaway CR electrons which have been caught up by the shock. Inverse Compton scattering by runaway CR electrons can dominate the gamma-ray emission from runaway CR nuclei via pion decay, and both are detectable by CTA and LHAASO as clues to the CR origin and the amplification of magnetic fluctuations around the SNR. We also discuss middle-aged and/or old SNRs as unidentified very-high-energy gamma-ray sources.


title: Caching Stars in the Sky: A Semantic Caching Approach to Accelerate Skyline Queries

abstract: Multi-criteria decision making has been made possible with the advent of skyline queries. However, processing such queries for high dimensional datasets remains a time consuming task. Real-time applications are thus infeasible, especially for non-indexed skyline techniques where the datasets arrive online. In this paper, we propose a caching mechanism that uses the semantics of previous skyline queries to improve the processing time of a new query. In addition to exact queries, utilizing such special semantics allow accelerating related queries. We achieve this by generating partial result sets guaranteed to be in the skyline sets. We also propose an index structure for efficient organization of the cached queries. Experiments on synthetic and real datasets show the effectiveness and scalability of our proposed methods.


title: A xenon gas purity monitor for EXO

abstract: We discuss the design, operation, and calibration of two versions of a xenon gas purity monitor (GPM) developed for the EXO double beta decay program. The devices are sensitive to concentrations of oxygen well below 1 ppb at an ambient gas pressure of one atmosphere or more. The theory of operation of the GPM is discussed along with the interactions of oxygen and other impurities with the GPM's tungsten filament. Lab tests and experiences in commissioning the EXO-200 double beta decay experiment are described. These devices can also be used on other noble gases.


title: SMOTE: Synthetic Minority Over-sampling Technique

abstract: An approach to the construction of classifiers from imbalanced datasets is described. A dataset is imbalanced if the classification categories are not approximately equally represented. Often real-world data sets are predominately composed of "normal" examples with only a small percentage of "abnormal" or "interesting" examples. It is also the case that the cost of misclassifying an abnormal (interesting) example as a normal example is often much higher than the cost of the reverse error. Under-sampling of the majority (normal) class has been proposed as a good means of increasing the sensitivity of a classifier to the minority class. This paper shows that a combination of our method of over-sampling the minority (abnormal) class and under-sampling the majority (normal) class can achieve better classifier performance (in ROC space) than only under-sampling the majority class. This paper also shows that a combination of our method of over-sampling the minority class and under-sampling the majority class can achieve better classifier performance (in ROC space) than varying the loss ratios in Ripper or class priors in Naive Bayes. Our method of over-sampling the minority class involves creating synthetic minority class examples. Experiments are performed using C4.5, Ripper and a Naive Bayes classifier. The method is evaluated using the area under the Receiver Operating Characteristic curve (AUC) and the ROC convex hull strategy.


title: When do Numbers Really Matter?

abstract: Common wisdom has it that small distinctions in the probabilities (parameters) quantifying a belief network do not matter much for the results of probabilistic queries. Yet, one can develop realistic scenarios under which small variations in network parameters can lead to significant changes in computed queries. A pending theoretical question is then to analytically characterize parameter changes that do or do not matter. In this paper, we study the sensitivity of probabilistic queries to changes in network parameters and prove some tight bounds on the impact that such parameters can have on queries. Our analytic results pinpoint some interesting situations under which parameter changes do or do not matter. These results are important for knowledge engineers as they help them identify influential network parameters. They also help explain some of the previous experimental results and observations with regards to network robustness against parameter changes.


title: Chain Rules for Linear Openness in Metric Spaces. Applications to Parametric Variational Systems

abstract: In this work we present a general theorem concerning chain rules for linear openness of set-valued mappings acting between metric spaces. As particular cases, we obtain classical and also some new results in this field of research, including the celebrated Lyusternik-Graves Theorem. The applications deal with the study of the well-posedness of the solution mappings associated to parametric variational systems. Sharp estimates for the involved regularity moduli are given.


title: Monitoring Teams by Overhearing: A Multi-Agent Plan-Recognition Approach

abstract: Recent years are seeing an increasing need for on-line monitoring of teams of cooperating agents, e.g., for visualization, or performance tracking. However, in monitoring deployed teams, we often cannot rely on the agents to always communicate their state to the monitoring system. This paper presents a non-intrusive approach to monitoring by 'overhearing', where the monitored team's state is inferred (via plan-recognition) from team-members' routine communications, exchanged as part of their coordinated task execution, and observed (overheard) by the monitoring system. Key challenges in this approach include the demanding run-time requirements of monitoring, the scarceness of observations (increasing monitoring uncertainty), and the need to scale-up monitoring to address potentially large teams. To address these, we present a set of complementary novel techniques, exploiting knowledge of the social structures and procedures in the monitored team: (i) an efficient probabilistic plan-recognition algorithm, well-suited for processing communications as observations; (ii) an approach to exploiting knowledge of the team's social behavior to predict future observations during execution (reducing monitoring uncertainty); and (iii) monitoring algorithms that trade expressivity for scalability, representing only certain useful monitoring hypotheses, but allowing for any number of agents and their different activities to be represented in a single coherent entity. We present an empirical evaluation of these techniques, in combination and apart, in monitoring a deployed team of agents, running on machines physically distributed across the country, and engaged in complex, dynamic task execution. We also compare the performance of these techniques to human expert and novice monitors, and show that the techniques presented are capable of monitoring at human-expert levels, despite the difficulty of the task.


title: Automatically Training a Problematic Dialogue Predictor for a Spoken Dialogue System

abstract: Spoken dialogue systems promise efficient and natural access to a large variety of information sources and services from any phone. However, current spoken dialogue systems are deficient in their strategies for preventing, identifying and repairing problems that arise in the conversation. This paper reports results on automatically training a Problematic Dialogue Predictor to predict problematic human-computer dialogues using a corpus of 4692 dialogues collected with the 'How May I Help You' (SM) spoken dialogue system. The Problematic Dialogue Predictor can be immediately applied to the system's decision of whether to transfer the call to a human customer care agent, or be used as a cue to the system's dialogue manager to modify its behavior to repair problems, and even perhaps, to prevent them. We show that a Problematic Dialogue Predictor using automatically-obtainable features from the first two exchanges in the dialogue can predict problematic dialogues 13.2% more accurately than the baseline.


title: Inducing Interpretable Voting Classifiers without Trading Accuracy for Simplicity: Theoretical Results, Approximation Algorithms

abstract: Recent advances in the study of voting classification algorithms have brought empirical and theoretical results clearly showing the discrimination power of ensemble classifiers. It has been previously argued that the search of this classification power in the design of the algorithms has marginalized the need to obtain interpretable classifiers. Therefore, the question of whether one might have to dispense with interpretability in order to keep classification strength is being raised in a growing number of machine learning or data mining papers. The purpose of this paper is to study both theoretically and empirically the problem. First, we provide numerous results giving insight into the hardness of the simplicity-accuracy tradeoff for voting classifiers. Then we provide an efficient "top-down and prune" induction heuristic, WIDC, mainly derived from recent results on the weak learning and boosting frameworks. It is to our knowledge the first attempt to build a voting classifier as a base formula using the weak learning framework (the one which was previously highly successful for decision tree induction), and not the strong learning framework (as usual for such classifiers with boosting-like approaches). While it uses a well-known induction scheme previously successful in other classes of concept representations, thus making it easy to implement and compare, WIDC also relies on recent or new results we give about particular cases of boosting known as partition boosting and ranking loss boosting. Experimental results on thirty-one domains, most of which readily available, tend to display the ability of WIDC to produce small, accurate, and interpretable decision committees.


title: A Knowledge Compilation Map

abstract: We propose a perspective on knowledge compilation which calls for analyzing different compilation approaches according to two key dimensions: the succinctness of the target compilation language, and the class of queries and transformations that the language supports in polytime. We then provide a knowledge compilation map, which analyzes a large number of existing target compilation languages according to their succinctness and their polytime transformations and queries. We argue that such analysis is necessary for placing new compilation approaches within the context of existing ones. We also go beyond classical, flat target compilation languages based on CNF and DNF, and consider a richer, nested class based on directed acyclic graphs (such as OBDDs), which we show to include a relatively large number of target compilation languages.


title: Inferring Strategies for Sentence Ordering in Multidocument News Summarization

abstract: The problem of organizing information for multidocument summarization so that the generated summary is coherent has received relatively little attention. While sentence ordering for single document summarization can be determined from the ordering of sentences in the input article, this is not the case for multidocument summarization where summary sentences may be drawn from different input articles. In this paper, we propose a methodology for studying the properties of ordering information in the news genre and describe experiments done on a corpus of multiple acceptable orderings we developed for the task. Based on these experiments, we implemented a strategy for ordering information that combines constraints from chronological order of events and topical relatedness. Evaluation of our augmented algorithm shows a significant improvement of the ordering over two baseline strategies.


title: Collective Intelligence, Data Routing and Braess' Paradox

abstract: We consider the problem of designing the the utility functions of the utility-maximizing agents in a multi-agent system so that they work synergistically to maximize a global utility. The particular problem domain we explore is the control of network routing by placing agents on all the routers in the network. Conventional approaches to this task have the agents all use the Ideal Shortest Path routing Algorithm (ISPA). We demonstrate that in many cases, due to the side-effects of one agent's actions on another agent's performance, having agents use ISPA's is suboptimal as far as global aggregate cost is concerned, even when they are only used to route infinitesimally small amounts of traffic. The utility functions of the individual agents are not "aligned" with the global utility, intuitively speaking. As a particular example of this we present an instance of Braess' paradox in which adding new links to a network whose agents all use the ISPA results in a decrease in overall throughput. We also demonstrate that load-balancing, in which the agents' decisions are collectively made to optimize the global cost incurred by all traffic currently being routed, is suboptimal as far as global cost averaged across time is concerned. This is also due to 'side-effects', in this case of current routing decision on future traffic. The mathematics of Collective Intelligence (COIN) is concerned precisely with the issue of avoiding such deleterious side-effects in multi-agent systems, both over time and space. We present key concepts from that mathematics and use them to derive an algorithm whose ideal version should have better performance than that of having all agents use the ISPA, even in the infinitesimal limit. We present experiments verifying this, and also showing that a machine-learning-based version of this COIN algorithm in which costs are only imprecisely estimated via empirical means (a version potentially applicable in the real world) also outperforms the ISPA, despite having access to less information than does the ISPA. In particular, this COIN algorithm almost always avoids Braess' paradox.


title: Efficient Solution Algorithms for Factored MDPs

abstract: This paper addresses the problem of planning under uncertainty in large Markov Decision Processes (MDPs). Factored MDPs represent a complex state space using state variables and the transition model using a dynamic Bayesian network. This representation often allows an exponential reduction in the representation size of structured MDPs, but the complexity of exact solution algorithms for such MDPs can grow exponentially in the representation size. In this paper, we present two approximate solution algorithms that exploit structure in factored MDPs. Both use an approximate value function represented as a linear combination of basis functions, where each basis function involves only a small subset of the domain variables. A key contribution of this paper is that it shows how the basic operations of both algorithms can be performed efficiently in closed form, by exploiting both additive and context-specific structure in a factored MDP. A central element of our algorithms is a novel linear program decomposition technique, analogous to variable elimination in Bayesian networks, which reduces an exponentially large LP to a provably equivalent, polynomial-sized one. One algorithm uses approximate linear programming, and the second approximate dynamic programming. Our dynamic programming algorithm is novel in that it uses an approximation based on max-norm, a technique that more directly minimizes the terms that appear in error bounds for approximate MDP algorithms. We provide experimental results on problems with over 10^40 states, demonstrating a promising indication of the scalability of our approach, and compare our algorithm to an existing state-of-the-art approach, showing, in some problems, exponential gains in computation time.


title: Investigating viscous damping using a webcam

abstract: We describe an experiment involving a mass oscillating in a viscous fluid and analyze viscous damping of harmonic motion. The mechanical oscillator is tracked using a simple webcam and an image processing algorithm records the position of the geometrical center as a function of time. Interesting information can be extracted from the displacement-time graphs, in particular for the underdamped case. For example, we use these oscillations to determine the viscosity of the fluid. Our mean value of 1.08 \pm 0.07 mPa s for distilled water is in good agreement with the accepted value at 20\circC. This experiment has been successfully employed in the freshman lab setting.


title: Transport in disordered two-dimensional topological insulator

abstract: We study experimentally the transport properties of "inverted" semiconductor HgTe-based quantum well, which is related to the two-dimensional topological insulator, in diffusive transport regime. We perform nonlocal electrical measurements in the absence of the magnetic field and observe large signal due to the edge states. It demonstrates, that the edge states can propagate over long distance 1 mm, and, therefore, there is no difference between local and non local electrical measurements in topological insulator. In the presence of the in-plane magnetic field we find strong decrease of the local resistance and complete suppression of the nonlocal resistance. We attribute this observation to the transition between topological insulator and bulk metal induced by the in-plane magnetic field.


title: Periodic points of birational maps on projective surfaces

abstract: We classify birational maps of projective smooth surfaces whose non-critical periodic points are Zariski dense. In particular, we show that if the first dynamical degree is greater than one, then the periodic points are Zariski dense.


title: Differential forms and Hodge numbers for toric complete intersections

abstract: We discuss conditions for complete intersections in a toric variety which allow to compute Hodge numbers if the complete intersection is a quasi-smooth complete variety. A preliminary step is the computation of the Euler characteristic of differential forms, we also look at symmetric or arbitrary forms instead of the usual alternating ones.


title: Remarks on the Bottcher-Wenzel Inequality

abstract: In 2005, B\"ottcher and Wenzel raised the conjecture that if $X,Y$ are real square matrices, then $||XY-YX||^2\leq 2||X||^2||Y||^2$, where $||\cdot||$ is the Frobenius norm. Various proofs of this conjecture were found in the last few years by several authors. We here give another proof. This proof is highly conceptual and requires minimal computation. We also briefly discuss related inequalities, in particular, the classical Chern-do Camo-Kobayashi inequality.


title: A real viewpoint on the intersection of complex quadrics and its topology

abstract: We study the relation between a complex projective set C in CP^n and the set R in RP^(2n+1) defined by viewing each equation of C as a pair of real equations. Once C is presented by quadratic equations, we can apply a spectral sequence to efficiently compute the homology of R; using the fact that the (Z_2)-cohomology of R is a free H*(C)-module with two generators we can in principle reconstruct the homology of C. Explicit computations for the intersection of two complex quadrics are presented.


title: Wave approach for the resonances of rectangular and triangular membranes

abstract: This study develops a ray technique for determining the resonance frequencies of triangular membranes. The technique is demonstrated for homogenous rectangular and triangular membranes with fixed boundaries. Where possible, the results are compared with exact calculations. The membrane resonances are calculated using an equivalent string whose length is proportional to the reciprocal of the length of closed paths starting from an arbitrary point within the membrane. Closed paths are ray paths which arrive back at the starting point going in the same direction.


title: Strong quantum interference in strongly disordered bosonic insulators

abstract: We study the variable-range hopping (VRH) of bosons in an array of sites with short-range interactions and a large characteristic coordination number. The latter leads to strong quantum interference phenomena yet allows for their analytical study. We develop a functional renormalization group scheme that repeatedly eliminates high-energy sites properly renormalizing the tunnelling between the low-energy ones. Using this approach we determine the temperature and magnetic field dependence of the hopping conductivity and find a large positive magnetoresistance. With increasing magnetic field the behaviour of the conductivity crossovers from the Mott's law to an activational behaviour with the activation gap proportional to the magnetic field.


title: Classification of Parameter-Dependent Quantum Integrable Models, Their Parameterization, Exact Solution, and Other Properties

abstract: We study general quantum integrable Hamiltonians linear in a coupling constant and represented by finite NxN real symmetric matrices. The restriction on the coupling dependence leads to a natural notion of nontrivial integrals of motion and classification of integrable families into Types according to the number of such integrals. A Type M family in our definition is formed by N-M nontrivial mutually commuting operators linear in the coupling. Working from this definition alone, we parameterize Type M operators, i.e. resolve the commutation relations, and obtain an exact solution for their eigenvalues and eigenvectors. We show that our parameterization covers all Type 1, 2, and 3 integrable models and discuss the extent to which it is complete for other types. We also present robust numerical observation on the number of energy level crossings in Type M integrable systems and analyze the taxonomy of types in the 1d Hubbard model.


title: New constructions of twistor lifts for harmonic maps

abstract: We show that given a harmonic map $\varphi$ from a Riemann surface to a classical compact simply connected inner symmetric space, there is a $J_2$-holomorphic twistor lift of $\varphi$ (or its negative) if and only if it is nilconformal. In the case of harmonic maps of finite uniton number, we give algebraic formulae in terms of holomorphic data which describes their extended solutions. In particular, this gives explicit formulae for the twistor lifts of all harmonic maps of finite uniton number from a surface to the above symmetric spaces.


title: Non-commutative desingularization of determinantal varieties, II: Arbitrary minors

abstract: In our paper "Non-commutative desingularization of determinantal varieties, I" we constructed and studied non-commutative resolutions of determinantal varieties defined by maximal minors. At the end of the introduction we asserted that the results could be generalized to determinantal varieties defined by non-maximal minors, at least in characteristic zero. In this paper we prove the existence of non-commutative resolutions in the general case in a manner which is still characteristic free, and carry out the explicit description by generators and relations in characteristic zero. As an application of our results we prove that there is a fully faithful embedding between the bounded derived categories of the two canonical (commutative) resolutions of a determinantal variety, confirming a well-known conjecture of Bondal and Orlov in this special case.


title: Geodesics, volumes and Lehmer's conjecture

abstract: In this report I discuss the relations between systoles and volumes of hyperbolic manifolds and a conjecture of Lehmer about the Mahler measure of non-cyclotomic polynomials.


title: A System of Multivariable Krawtchouk Polynomials and a Probabilistic Application

abstract: The one variable Krawtchouk polynomials, a special case of the $_2F_1$ function did appear in the spectral representation of the transition kernel for a Markov chain studied a long time ago by M. Hoare and M. Rahman. A multivariable extension of this Markov chain was considered in a later paper by these authors where a certain two variable extension of the $F_1$ Appel function shows up in the spectral analysis of the corresponding transition kernel. Independently of any probabilistic consideration a certain multivariable version of the Gelfand-Aomoto hypergeometric function was considered in papers by H. Mizukawa and H. Tanaka. These authors and others such as P. Iliev and P. Tertwilliger treat the two-dimensional version of the Hoare-Rahman work from a Lie-theoretic point of view. P. Iliev then treats the general $n$-dimensional case. All of these authors proved several properties of these functions. Here we show that these functions play a crucial role in the spectral analysis of the transition kernel that comes from pushing the work of Hoare-Rahman to the multivariable case. The methods employed here to prove this as well as several properties of these functions are completely different to those used by the authors mentioned above.


title: Multiple Scattering Formulation of Two Dimensional Acoustic and Electromagnetic Metamaterials

abstract: This work presents a multiple scattering formulation of two dimensional acoustic metamaterials. It is shown that in the low frequency limit multiple scattering allows us to define frequency-dependent effective acoustic parameters for arrays of both ordered and disordered cylinders. This formulation can lead to both positive and negative acoustic parameters, where the acoustic parameters are the scalar bulk modulus and the tensorial mass density and, therefore, anisotropic wave propagation is allowed with both positive or negative refraction index. It is also shown that the surface fields on the scatterer are the main responsible of the anomalous behavior of the effective medium, therefore complex scatterers can be used to engineer the frequency response of the effective medium, and some examples of application to different scatterers are given. Finally, the theory is extended to electromagnetic wave propagation, where Mie resonances are found to be the responsible of the metamaterial behavior. As an application, it is shown that it is possible to obtain metamaterials with negative permeability and permittivity tensors by arrays of all-dielectric cylinders and that anisotropic cylinders can tune the frequency response of these resonances.


title: Synthesis and properties of La-doped CaFe2As2 single crystals with Tc = 42.7 K

abstract: Large single crystals of La-doped CaFe2As2 were successfully synthesized by the FeAs self-flux method. The x-ray diffraction patterns suggest high crystalline quality and c-axis orientation. By substitution of trivalent La3+ ions for divalent Ca2+, the resistivity anomaly in the parent compound CaFe2As2 is completely suppressed and a superconducting transition reaches the value of 42.7 K, which is higher than that of about 30 K reported in Saha S. R. et al., arXiv:1105.4798v1. The upper critical field has been determined with the magnetic field along ab-plane and c-axis, yielding an anisotropy of about 3.3.


title: Long-range steady state density profiles induced by localized drive

abstract: We show that the presence of a localized drive in an otherwise diffusive system results in steady-state density and current profiles that decay algebraically to their global average value, away from the drive in two or higher dimensions. An analogy to an electrostatic problem is established, whereby the density profile induced by a driving bond maps onto the electrostatic potential due to an electric dipole located along the bond. The dipole strength is proportional to the drive, and is determined self-consistently by solving the electrostatic problem. The profile resulting from a localized configuration of more than one driving bond can be straightforwardly determined by the superposition principle of electrostatics. This picture is shown to hold even in the presence of exclusion interaction between particles.


title: Achieving sub-electron readout noise in Skipper CCDs

abstract: The readout noise for Charge-Coupled Devices (CCDs) has been the main limitation when using these detectors for measuring small amplitude signals. A readout system for a new scientific, low noise CCD is presented in this paper. The Skipper CCD architecture, and its advantages for low noise applications are discussed. A technique for obtaining sub-electron readout noise levels is presented, and its noise and signal characteristics are derived. We demonstrate a very low readout noise of $0.2e^{-}$ RMS. Also, we show the results using the detector in a low-energy X-ray detection experiment.


title: Proof of Gal's conjecture for the D series of generalized associahedra

abstract: In this short note we consider generalized associahedra of type D_n. We prove that these simple flag polytopes are not nestohedra for n > 3, but the statement of Gal's conjecture holds for them.


title: Period tripling causes rotating spirals in agitated wet granular layers

abstract: Pattern formation of a thin layer of vertically agitated wet granular matter is investigated experimentally. Rotating spirals with three arms, which correspond to the kinks between regions with different colliding phases, are the dominating pattern. This preferred number of arms corresponds to period tripling of the agitated granular layer, unlike predominantly subharmonic Faraday crispations in dry granular matter. The chirality of the spatiotemporal pattern corresponds to the rotation direction of the spirals.


title: Fixed points avoiding Abelian $k$-powers

abstract: We show that the problem of whether the fixed point of a morphism avoids Abelian $k$-powers is decidable under rather general conditions


title: Mean field theory for boundary Ising and tricritical Ising models

abstract: Using the technique of mean field theory applied to the lattice boundary Ising and tricritical Ising models we provide a qualitative description of their boundary phase diagrams. We will show this is in agreement with the known picture from boundary conformal field theory and we shall compare our work with that of Cappelli et al and show how their analysis is not in accordance with the physical picture.


title: Roots of Markoff quadratic forms as strongly badly approximable numbers

abstract: For a real number $x$, $\| x\| = \min \{|x-p|: p\in Z\}$ is the distance of $x$ to the nearest integer. We say that two real numbers $\theta$, $\theta'$ are $\pm$ equivalent if their sum or difference is an integer. Let $\theta$ be irrational and put \[\phi(\theta) = \inf \{q \,\| q \theta\| : q \in N \}. \] We will prove: If $\phi(\theta)> 1/3$, then $\theta$ is $\pm$ equivalent to a root of $f_m (x,1) = 0$, where $f_m$ is a Markoff form. Conversely, if $\theta$ is $\pm$ equivalent to a root of $f_m(x,1)=0$, then \[\phi(\theta) = m \| m\theta \| = \frac{2}{3+\sqrt{9-4m^{-2}}} > 1/3. \]


title: Byzantine Broadcast in Point-to-Point Networks using Local Linear Coding

abstract: The goal of Byzantine Broadcast (BB) is to allow a set of fault-free nodes to agree on information that a source node wants to broadcast to them, in the presence of Byzantine faulty nodes. We consider design of efficient algorithms for BB in {\em synchronous} point-to-point networks, where the rate of transmission over each communication link is limited by its "link capacity". The throughput of a particular BB algorithm is defined as the average number of bits that can be reliably broadcast to all fault-free nodes per unit time using the algorithm without violating the link capacity constraints. The {\em capacity} of BB in a given network is then defined as the supremum of all achievable BB throughputs in the given network, over all possible BB algorithms. We develop NAB -- a Network-Aware Byzantine broadcast algorithm -- for arbitrary point-to-point networks consisting of $n$ nodes, wherein the number of faulty nodes is at most $f$, $f<n/3$, and the network connectivity is at least $2f+1$. We also prove an upper bound on the capacity of Byzantine broadcast, and conclude that NAB can achieve throughput at least 1/3 of the capacity. When the network satisfies an additional condition, NAB can achieve throughput at least 1/2 of the capacity. To the best of our knowledge, NAB is the first algorithm that can achieve a constant fraction of capacity of Byzantine Broadcast (BB) in arbitrary point-to-point networks.


title: New Efficient Error-Free Multi-Valued Consensus with Byzantine Failures

abstract: In this report, we investigate the multi-valued Byzantine consensus problem. We introduce two algorithms: the first one achieves traditional validity requirement for consensus, and the second one achieves a stronger "q-validity" requirement. Both algorithms are more efficient than the ones introduces in our recent PODC 2011 paper titled "Error-Free Multi-Valued Consensus with Byzantine Failures".


title: Ward-Takahashi identities for the colored Boulatov model

abstract: Ward-Takahashi identities of the colored Boulatov model are derived using a generic unitary field transformation. In a specific instance, this generic transformation turns out to be a symmetry of the interaction so that particular classes of reduced Ward-Takahashi identities for that symmetry are consequently identified and interpreted.


title: Reply on Comments on "Observation of a Fast Evolution in a Parity-time-symmetric System"(Aixiv.1106.1550)

abstract: Masillo [1] commented on our manuscript [2] "Observation of a Fast Evolution in a Parity-time-symmetric System", pointing out a contradiction of our work with Ref.[3]. In this reply, we pointed out there is no disagreement between Masillo's comment and our work in Ref. [2]. The efficiency cost pointed out in Ref.\cite{masillo} exists, namely to obtain the PT-symmetric hamiltonian evolution, one has to make a measurement on the auxiliary qubit and the auxiliary qubit is at state $|0\ket$ only probabilistically. This is reflected in the amplitude of the spectrum in the NMR quantum simulation. As a result, we made a small modification in a new version of the Ref. [2], and Fig. 2 of Ref.[2] has been replaced by spectra of two different $\alpha$'s in order to illustrate this fact.


title: Embedded constant $m^{\text{th}}$ mean curvature hypersurfaces on spheres

abstract: In this paper, we study $n$-dimensional hypersurfaces with constant $m^{\text{th}}$ mean curvature $H_m$ in a unit sphere $S^{n+1}(1)$ and prove that if the $m^{\text{th}}$ mean curvature $H_m$ takes value between $\dfrac{1}{(\tan \frac{\pi}{k})^m}$ and $\frac{k^2-2}{n}(\frac{k^2+m-2}{n-m})^{\frac{m-2}{2}}$ for $1\leq m\leq n-1$ and any integer $k\geq 2$, then there exists at least one $n$-dimensional compact nontrivial embedded hypersurface with constant $H_m>0$ in $S^{n+1}(1)$. When $m=1$, our results reduce to the results of Perdomo \cite{[P]}; when $m=2$ and $m=4$, our results reduce to the results of Cheng-Li-Wei \cite{[WCL]}.


title: Coarse abstractions make Zeno behaviours difficult to detect

abstract: An infinite run of a timed automaton is Zeno if it spans only a finite amount of time. Such runs are considered unfeasible and hence it is important to detect them, or dually, find runs that are non-Zeno. Over the years important improvements have been obtained in checking reachability properties for timed automata. We show that some of these very efficient optimizations make testing for Zeno runs costly. In particular we show NP-completeness for the LU-extrapolation of Behrmann et al. We analyze the source of this complexity in detail and give general conditions on extrapolation operators that guarantee a (low) polynomial complexity of Zenoness checking. We propose a slight weakening of the LU-extrapolation that satisfies these conditions.


title: \pi N transition distribution amplitudes: Their symmetries and constraints from chiral dynamics

abstract: Baryon to meson transition distribution amplitudes (TDAs) extend the concept of generalized parton distributions. Baryon to meson TDAs appear as building blocks in the collinear factorized description of amplitudes for a class of hard exclusive reactions, prominent examples of which being hard exclusive meson electroproduction off a nucleon in the backward region and baryon-antibaryon annihilation into a meson and a lepton pair. We study the general properties of these objects following from the underlying symmetries of QCD. In particular, the Lorentz symmetry results in the polynomiality property of the Mellin moments in longitudinal momentum fractions. We present a detailed account of the isotopic and permutation symmetry properties of nucleon to pion (\pi N) TDAs. This restricts the number of independent leading twist \pi N TDAs to eight functions, providing description of all isotopic channels. Using chiral symmetry and the crossing relation between \pi N TDAs and \pi N generalized distribution amplitudes we establish soft pion theorems for \pi N TDAs, which determine the magnitude of \pi N TDAs. Finally, we build a simple resonance exchange model for \pi N TDAs considering N and \Delta(1232) exchange contributions into the isospin-1/2 and isospin-3/2 \pi N TDAs.


title: Engaging Stakeholders through Twitter: How Nonprofit Organizations are Getting More Out of 140 Characters or Less

abstract: 140 characters seems like too small a space for any meaningful information to be exchanged, but Twitter users have found creative ways to get the most out of each Tweet by using different communication tools. This paper looks into how 73 nonprofit organizations use Twitter to engage stakeholders not only through their tweets, but also through other various communication methods. Specifically, it looks into the organizations' utilization of tweet frequency, following behavior, hyperlinks, hashtags, public messages, retweets, and multimedia files. After analyzing 4,655 tweets, the study found that the nation's largest nonprofits are not using Twitter to maximize stakeholder involvement. Instead, they continue to use social media as a one-way communication channel, as less than 20% of their total tweets demonstrate conversations and roughly 16% demonstrate indirect connections to specific users.


title: Intelligent decision: towards interpreting the Pe Algorithm

abstract: The human intelligence lies in the algorithm, the nature of algorithm lies in the classification, and the classification is equal to outlier detection. A lot of algorithms have been proposed to detect outliers, meanwhile a lot of definitions. Unsatisfying point is that definitions seem vague, which makes the solution an ad hoc one. We analyzed the nature of outliers, and give two clear definitions. We then develop an efficient RDD algorithm, which converts outlier problem to pattern and degree problem. Furthermore, a collapse mechanism was introduced by IIR algorithm, which can be united seamlessly with the RDD algorithm and serve for the final decision. Both algorithms are originated from the study on general AI. The combined edition is named as Pe algorithm, which is the basis of the intelligent decision. Here we introduce longest k-turn subsequence problem and corresponding solution as an example to interpret the function of Pe algorithm in detecting curve-type outliers. We also give a comparison between IIR algorithm and Pe algorithm, where we can get a better understanding at both algorithms. A short discussion about intelligence is added to demonstrate the function of the Pe algorithm. Related experimental results indicate its robustness.


title: Measuring the internal state of a single atom without energy exchange

abstract: Real quantum measurements almost always cause a much stronger back action than required by the laws of quantum mechanics. In particular, free-space optical detection methods for single atoms and ions such as the shelving technique, though being among the most sensitive detection methods in quantum physics, inevitably require spontaneous scattering, even in the dispersive regime. This causes heating, a limitation for atom-based quantum information processing where it obviates straightforward reuse of the qubit. No such energy exchange is required by quantum mechanics. Here we experimentally demonstrate optical detection of an atomic qubit with significantly less than one spontaneous scattering event. We measure transmission and reflection of an optical cavity containing the atom. In addition to the qubit detection itself, we quantitatively measure how much spontaneous scattering has occurred. This allows us to relate the information gained to the amount of spontaneous emission, and we obtain a detection error below 10% while scattering less than 0.2 photons on average. Furthermore, we perform a quantum Zeno type experiment to quantify the measurement back action and find that every incident photon leads to an almost complete state collapse. Together, these results constitute a full experimental characterization of a quantum measurement in the "energy exchange-free" regime below a single spontaneous emission event. Besides its fundamental interest, this means significant simplification for proposed neutral-atom quantum computation schemes and may enable sensitive detection of molecules and atoms lacking closed transitions.


title: Perturbation Theory for PT-Symmetric Sinusoidal Optical Lattices at the Symmetry-Breaking Threshold

abstract: The $PT$ symmetric potential $V_0[\cos(2\pi x/a)+i\lambda\sin(2\pi x/a)]$ has a completely real spectrum for $\lambda\le 1$, and begins to develop complex eigenvalues for $\lambda>1$. At the symmetry-breaking threshold $\lambda=1$ some of the eigenvectors become degenerate, giving rise to a Jordan-block structure for each degenerate eigenvector. In general this is expected to give rise to a secular growth in the amplitude of the wave. However, it has been shown in a recent paper by Longhi, by numerical simulation and by the use of perturbation theory, that for an initial wave packet this growth is suppressed, giving instead a constant maximum amplitude. We revisit this problem by developing the perturbation theory further. We verify that the results found by Longhi persist to second order, and with different input wave packets we are able to see the seeds in perturbation theory of the phenomenon of birefringence first discovered by Makris et al.


title: Homotopy DG algebras induce homotopy BV algebras

abstract: Let TA denote the space underlying the tensor algebra of a vector space A. In this short note, we show that if A is a differential graded algebra, then TA is a differential Batalin-Vilkovisky algebra. Moreover, if A is an A-infinity algebra, then TA is a commutative BV-infinity algebra.


title: Dynamics and zeta functions on conformally compact manifolds

abstract: In this note, we study the dynamics and associated zeta functions of conformally compact manifolds with variable negative sectional curvatures. We begin with a discussion of a larger class of manifolds known as convex co-compact manifolds with variable negative curvature. Applying results from dynamics on these spaces, we obtain optimal meromorphic extensions of weighted dynamical zeta functions and asymptotic counting estimates for the number of weighted closed geodesics. A meromorphic extension of the standard dynamical zeta function and the prime orbit theorem follow as corollaries. Finally, we investigate interactions between the dynamics and spectral theory of these spaces.


title: Star Formation Activity in the Galactic HII Complex S255-S257

abstract: We present results on the star-formation activity of an optically obscured region containing an embedded cluster (S255-IR) and molecular gas between two evolved HII regions S255 and S257. We have studied the complex using optical, near-infrared (NIR) imaging, optical spectroscopy and radio continnum mapping at 15 GHz, along with Spitzer-IRAC results. It is found that the main exciting sources of the evolved HII regions S255 and S257 and the compact HII regions associated with S255-IR are of O9.5 - B3 V nature, consistent with previous observations. Our NIR observations reveal 109 likely young stellar object (YSO) candidates in an area of ~ 4'.9 x 4'.9 centered on S255-IR, which include 69 new YSO candidates. Our observations increased the number of previously identified YSOs in this region by 32%. To see the global star formation, we constructed the V-I/V diagram for 51 optically identified IRAC YSOs in an area of ~ 13' x 13' centered on S255-IR. We suggest that these YSOs have an approximate age between 0.1 - 4 Myr, indicating a non-coeval star formation. Using spectral energy distribution models, we constrained physical properties and evolutionary status of 31 and 16 YSO candidates outside and inside the gas ridge, respectively. The models suggest that the sources associated within the gas ridge are of younger population (mean age ~ 1.2 Myr) than the sources outside the gas ridge (mean age ~ 2.5 Myr). The positions of the young sources inside the gas ridge at the interface of the HII regions S255 and S257, favor a site of induced star formation.


title: Properties of the partonic phase at RHIC within PHSD

abstract: The dynamics of partons, hadrons and strings in relativistic nucleus-nucleus collisions is analyzed within the novel Parton-Hadron-String Dynamics (PHSD) transport approach, which is based on a dynamical quasiparticle model for partons (DQPM) matched to reproduce recent lattice-QCD results -- including the partonic equation of state -- in thermodynamic equilibrium. The transition from partonic to hadronic degrees of freedom is described by covariant transition rates for the fusion of quark-antiquark pairs or three quarks (antiquarks), respectively, obeying flavor current-conservation, color neutrality as well as energy-momentum conservation. In order to explore the space-time regions of 'partonic matter' the PHSD approach is applied to nucleus-nucleus collisions from SPS to RHIC energies. Detailed comparisons are presented for hadronic rapidity spectra and transverse mass distributions. The traces of partonic interactions are found in particular in the elliptic flow of hadrons as well as in an approximate quark-number scaling at the top RHIC energy.


title: Axion-like particle imprint in cosmological very-high-energy sources

abstract: Discoveries of very high energy (VHE) photons from distant blazars suggest that, after correction by extragalactic background light (EBL) absorption, there is a flatness or even a turn-up in their spectra at the highest energies that cannot be easily explained by the standard framework. Here, it is shown that a possible solution to this problem is achieved by assuming the existence of axion-like particles (ALPs) with masses ~1 neV. The ALP scenario is tested making use of observations of the highest redshift blazars known in the VHE energy regime, namely 3C 279, 3C 66A, PKS 1222+216 and PG 1553+113. In all cases, better fits to the observed spectra are found when including ALPs rather than considering EBL only. Interestingly, quite similar critical energies for photon/ALP conversions are also derived, independently of the source considered.


title: Symmetry Dependent Scattering by Minority Interface Resonance States in Single-crystal Magnetic Tunnel Junctions

abstract: Symmetry dependent scattering effect by minority interface resonance states (IRS) has been evidenced in full-epitaxial Fe/MgO/Fe magnetic tunnel junctions (MTJs). Two types of samples with and without carbon doped bottom Fe/MgO interface were fabricated to represent two different types of IRS in the minority channel in the vicinity of the Fermi level. By analysis of the first- principles calculated local density of states (LDOS) and the temperature dependence of conductance in parallel configuration at low bias, we show that the IRS in the carbon free sample is dominated by the delta5 symmetry. This has a major contribution on the majority deltai to delta5 channel scattering and explains the enhancement of the delta5 conductance in the parallel configuration at low temperature. Furthermore, the spectral composition of the IRS in the carbon doped interface is found to be dominated by the delta1 symmetry, which is responsible for the suppression of delta5 channel in the parallel conductance.


title: The MathScheme Library: Some Preliminary Experiments

abstract: We present some of the experiments we have performed to best test our design for a library for MathScheme, the mechanized mathematics software system we are building. We wish for our library design to use and reflect, as much as possible, the mathematical structure present in the objects which populate the library.


title: Extending matchgates into universal quantum computation

abstract: Matchgates are a family of two-qubit gates associated with noninteracting fermions. They are classically simulatable if acting only on nearest neighbors, but become universal for quantum computation if we relax this restriction or use SWAP gates [Jozsa and Miyake, Proc. R. Soc. A 464, 3089 (2008)]. We generalize this result by proving that any nonmatchgate parity-preserving unitary is capable of extending the computational power of matchgates into universal quantum computation. We identify the single local invariant of parity-preserving unitaries responsible for this, and discuss related results in the context of fermionic systems.


title: Super-Extremal Spinning Black Holes via Accretion

abstract: A Kerr black hole with mass $M$ and angular momentum $J$ satisfies the extremality inequality $|J| \le M^2$. In the presence of matter and/or gravitational radiation, this bound needs to be reformulated in terms of local measurements of the mass and the angular momentum directly associated with the black hole. The isolated and dynamical horizon framework provides such quasi-local characterization of black hole mass and angular momentum. With this framework, it is possible in axisymmetry to reformulate the extremality limit as $|J| \le 2\,M_H^2$, with $M_H$ the irreducible mass of the black hole computed from its apparent horizon area and $J$ obtained using approximate rotational Killing vectors on the apparent horizon. The $|J| \le 2\,M_H^2$ condition is also equivalent to requiring a non-negative black hole surface gravity. We present numerical experiments of an accreting black hole that temporarily violates this extremality inequality. The initial configuration consists of a single, rotating black hole surrounded by a thick, shell cloud of negative energy density. For these numerical experiments, we introduce a new matter-without-matter evolution method.


title: Time dependent simulations of multiwavelength variability of the blazar Mrk 421 with a Monte Carlo multi-zone code

abstract: (abridged) We present a new time-dependent multi-zone radiative transfer code and its application to study the SSC emission of Mrk 421. The code couples Fokker-Planck and Monte Carlo methods, in a 2D geometry. For the first time all the light travel time effects (LCTE) are fully considered, along with a proper treatment of Compton cooling, which depends on them. We study a set of simple scenarios where the variability is produced by injection of relativistic electrons as a `shock front' crosses the emission region. We consider emission from two components, with the second one either being pre-existing and co-spatial and participating in the evolution of the active region, or spatially separated and independent, only diluting the observed variability. Temporal and spectral results of the simulation are compared to the multiwavelength observations of Mrk 421 in March 2001. We find parameters that can adequately fit the observed SEDs and multiwavelength light curves and correlations. There remain however a few open issues, most notably: i) systematic soft intra-band X-ray lags. ii) The quadratic correlation between the TeV and X-ray flux during the flare decay has not been reproduced. These features are among those affected by the spatial extent and geometry of the source. The difficulty of producing hard X-ray lags is exacerbated by a bias towards soft lags caused by the combination of energy dependent radiative cooling time-scales and LCTE. About the second emission component, our results strongly favor the scenario where it is co-spatial and it participates in the flare evolution, suggesting that different phases of activity may occur in the same region. The cases presented in this paper represent only an initial study, and despite their limited scope they make a strong case for the need of true time-dependent and multi-zone modeling.


title: Families of Quasimodular Forms and Jacobi Forms: The Crank Statistic for Partitions

abstract: Families of quasimodular forms arise naturally in many situations such as curve counting on Abelian surfaces and counting ramified covers of orbifolds. In many cases the family of quasimodular forms naturally arises as the coefficients of a Taylor expansion of a Jacobi form. In this note we give examples of such expansions that arise in the study of partition statistics. The crank partition statistic has gathered much interest recently. For instance, Atkin and Garvan showed that the generating functions for the moments of the crank statistic are quasimodular forms. The two variable generating function for the crank partition statistic is a Jacobi form. Exploiting the structure inherent in the Jacobi theta function we construct explicit expressions for the functions of Atkin and Garvan. Furthermore, this perspective opens the door for further investigation including a study of the moments in arithmetic progressions. We conduct a thorough study of the crank statistic restricted to a residue class modulo 2.


title: Polarization-entanglement conserving frequency conversion of photons

abstract: Entangled photons play a pivotal role in the distribution of quantum information in quantum networks. However, the frequency bands for optimal transmission and storage of photons are not necessarily the same. Here we experimentally demonstrate the coherent frequency conversion of photons entangled in their polarization, a widely used degree of freedom in photonic quantum information processing. We verify the successful entanglement conversion by violating a Clauser-Horne-Shimony-Holt (CHSH) Bell inequality and fully confirm that our characterised fidelity of entanglement transfer is close to unity using both state and process tomography. Our implementation is robust and flexible, making it a practical building block for future quantum networks.


title: Explicit zero-free regions for Dedekind Zeta functions

abstract: Let K be a number field, n_K its degree, and d_K the absolute value of its discriminant. We prove that, if d_K is sufficiently large, then the Dedekind zeta function associated to K has no zeros in the region: Re(s) > 1 - 1/(12.55 log d_K + 9.69 n_K log|Im s| + 3.03 n_K + 58.63) and |Im s| > 1. Moreover, it has at most one zero in the region: Re (s) > 1- 1/(12.74 log d_K) and |Im s| < 1. This zero if it exists is simple and is real. This argument also improves a result of Stark by a factor of 2: there is at most one zero in the region Re (s) > 1 - 1/(2 log d_K) and |Im s| < 1/(2 log d_K).


title: Planet-disk interaction in highly inclined systems

abstract: We study the interaction of a proto-planetary disk and a planet on a highly inclined orbit in the linear regime. The evolution of the planet is dominated by dynamical friction for planet masses above several Earth-masses. Smaller planets are dominated by aerodynamic drag, especially for very high inclinations and retrograde orbits. The time-scales associated with migration and inclination damping are calculated. For certain values of the inclination, the inclination damping time-scale is longer than the migration time-scale and the disk lifetime. This result shows that highly inclined planets can not (re-)align with the proto-planetary disk. We discuss the dependence of numerical simulations on the gravitational softening parameter. We find only a logarithmic dependence, making global three dimensional simulations of this process computationally feasible. A large fraction of Hot Jupiters is on highly inclined orbits with respect to the rotation axis of the star. On the other hand small-mass planetary systems discovered by the Kepler mission have low mutual inclinations. This shows that there are two distinct formation mechanisms at work. The process that creates inclined Hot Jupiters does not operate on small mass planets because the damping timescales are so long that these systems would still be inclined today.


title: Near-horizon solutions for D3-branes ending on 5-branes

abstract: We construct the type IIB supergravity solutions describing D3-branes ending on 5-branes, in the near-horizon limit of the D3-branes. Our solutions are holographically dual to the 4d N=4 SU(N) super-Yang-Mills (SYM) theory on a half-line, at large N and large 't Hooft coupling, with various boundary conditions that preserve half of the supersymmetry. The solutions are limiting cases of the general solutions with the same symmetries constructed in 2007 by D'Hoker, Estes and Gutperle. The classification of our solutions matches exactly with the general classification of boundary conditions for D3-branes ending on 5-branes by Gaiotto and Witten. We use the gravity duals to compute the one-point functions of some chiral operators in the N=4 SYM theory on a half-line at strong coupling, and find that they do not match with the expectation values of the same operators with the same boundary conditions at small 't Hooft coupling. Our solutions may also be interpreted as the gravity duals of 4d N=4 SYM on AdS_4, with various boundary conditions.


title: Sufficient conditions for uniqueness of the weak value

abstract: We review and clarify the sufficient conditions for uniquely defining the generalized weak value as the weak limit of a conditioned average using the contextual values formalism introduced in Dressel J, Agarwal S and Jordan A N 2010 Phys. Rev. Lett. 104, 240401. We also respond to criticism of our work in [arXiv:1105.4188v1] concerning a proposed counter-example to the uniqueness of the definition of the generalized weak value. The counter-example does not satisfy our prescription in the case of an underspecified measurement context. We show that when the contextual values formalism is properly applied to this example, a natural interpretation of the measurement emerges and the unique definition in the weak limit holds. We also prove a theorem regarding the uniqueness of the definition under our sufficient conditions for the general case. Finally, a second proposed counter-example in [arXiv:1105.4188v6] is shown not to satisfy the sufficiency conditions for the provided theorem.


title: Multiscale entanglement in ring polymers under spherical confinement

abstract: The interplay of geometrical and topological entanglement in semiflexible knotted polymer rings confined inside a spherical cavity is investigated using advanced numerical methods. By using stringent and robust algorithms for locating knots, we characterize how the knot length lk depends on the ring contour length, Lc and the radius of the confining sphere, Rc . In the no- and strong- confinement cases we observe weak knot localization and complete knot delocalization, respectively. We show that the complex interplay of lk, Lc and Rc that seamlessly bridges these two limits can be encompassed by a simple scaling argument based on deflection theory. The same argument is used to rationalize the multiscale character of the entanglement that emerges with increasing confinement.

categories: cond-mat.soft cond-mat.stat-mech physics.bio-ph physics.comp-ph


title: Casimir effect in de Sitter spacetime

abstract: The vacuum expectation value of the energy-momentum tensor and the Casimir forces are investigated for a massive scalar field with an arbitrary curvature coupling parameter in the geometry of two parallel plates, on the background of de Sitter spacetime. The field is prepared in the Bunch--Davies vacuum state and is constrained to satisfy Robin boundary conditions on the plates. The vacuum energy-momentum tensor is non-diagonal, with the off-diagonal component corresponding to the energy flux along the direction normal to the plates. It is shown that the curvature of the background spacetime decisively influences the behavior of the Casimir forces at separations larger than the curvature radius of de Sitter spacetime. In dependence of the curvature coupling parameter and the mass of the field, two different regimes are realized, which exhibit monotonic or oscillatory behavior of the forces. The decay of the Casimir force at large plate separation is shown to be power-law, with independence of the value of the field mass.


title: On the Relevance of Sharp Gamma-Ray Features for Indirect Dark Matter Searches

abstract: Gamma rays from the annihilation of dark matter particles in the Galactic halo provide a particularly promising means of indirectly detecting dark matter. Here, we demonstrate that pronounced spectral features at energies near the dark matter particles' mass, which are a generic prediction for most models, can significantly improve the sensitivity of gamma-ray telescopes to dark matter signals. We derive projected limits on such features (including the traditionally looked-for line signals) and show that they can be much more efficient in constraining the nature of dark matter than the model-independent broad spectral features expected at lower energies.


title: Ticket Entailment is decidable

abstract: We prove the decidability of Ticket Entailment. Raised by Anderson and Belnap within the framework of relevance logic, this question is equivalent to the question of the decidability of type inhabitation in simply-typed combinatory logic with the partial basis BB'IW. We solve the equivalent problem of type inhabitation for the restriction of simply-typed lambda-calculus to hereditarily right-maximal terms.


title: On the importance sampling of self-avoiding walks

abstract: In a 1976 paper published in Science, Knuth presented an algorithm to sample (non-uniform) self-avoiding walks crossing a square of side k. From this sample, he constructed an estimator for the number of such walks. The quality of this estimator is directly related to the (relative) variance of a certain random variable X_k. From his experiments, Knuth suspected that this variance was extremely large (so that the estimator would not be very efficient). But how large? For the analogous Rosenbluth algorithm, which samples unconfined self-avoiding walks of length n, the variance of the corresponding estimator is believed to be exponential in n. A few years ago, Bassetti and Diaconis showed that, for a sampler \`a la Knuth, that generates walks crossing a k\times k square and consisting of North and East steps, the relative variance is only O(\sqrt k). In this note we take one step further and show that, for walks consisting of North, South and East steps, the relative variance jumps to 2^{k(k+1)}/(k+1)^{2k}. This is quasi-exponential in the average length of the walks, which is of order k^2. We also obtain partial results for general self-avoiding walks crossing a square, suggesting that the relative variance could be exponential in k^2 (which is again the average length of these walks). Knuth's algorithm is a basic example of a widely used technique called sequential importance sampling. The present paper, following Bassetti and Diaconis' paper, is one of very few examples where the variance of the estimator can be found.


title: Observation of metastable hcp solid helium

abstract: We have produced and observed metastable solid helium-4 below its melting pressure between 1.1 K and 1.4 K. This is achieved by an intense pressure wave carefully focused inside a crystal of known orientation. An accurate density map of the focal zone is provided by an optical interferometric technique. Depending on the sample, minimum density achieved at focus corresponds to pressures between 2 and 4 bar below the static melting pressure. Beyond, the crystal undergoes an unexpected instability much earlier than the predicted spinodal limit. This opens a novel opportunity to study this quantum crystal in an expanded metastable state and its stability limits.


title: When is the set of embeddings finite up to isotopy?

abstract: Given a manifold N and a number m, we study the following question: is the set of isotopy classes of embeddings N->S^m finite? In case when the manifold N is a sphere the answer was given by A. Haefliger in 1966. In case when the manifold N is a disjoint union of spheres the answer was given by D. Crowley, S. Ferry and the author in 2011. We consider the next natural case when N is a product of two spheres. In the following theorem, FCS(i,j) is a concrete subset of the integer lattice depending only on the parity of i and j which is defined in the paper. Theorem. Assume that m>2p+q+2 and m<p+3q/2+2. Then the set of isotopy classes of smooth embeddings S^p x S^q -> S^m is infinite if and only if either q+1 or p+q+1 is divisible by 4, or there exists a point (x,y) in the set FCS(m-p-q,m-q) such that (m-p-q-2)x+(m-q-2)y=m-3. Our approach is based on a group structure on the set of embeddings and a new exact sequence, which in some sense reduces the classification of embeddings S^p x S^q -> S^m to the classification of embeddings S^{p+q} |_| S^q -> S^m and D^p x S^q -> S^m. The latter classification problems are reduced to homotopy ones, which are solved rationally.


title: Second-Order Resolvability, Intrinsic Randomness, and Fixed-Length Source Coding for Mixed Sources: Information Spectrum Approach

abstract: The second-order achievable asymptotics in typical random number generation problems such as resolvability, intrinsic randomness, fixed-length source coding are considered. In these problems, several researchers have derived the first-order and the second-order achievability rates for general sources using the information spectrum methods. Although these formulas are general, their computation are quite hard. Hence, an attempt to address explicit computation problems of achievable rates is meaningful. In particular, for i.i.d. sources, the second-order achievable rates have earlier been determined simply by using the asymptotic normality. In this paper, we consider mixed sources of two i.i.d. sources. The mixed source is a typical case of nonergodic sources and whose self-information does not have the asymptotic normality. Nonetheless, we can explicitly compute the second-order achievable rates for these sources on the basis of two-peak asymptotic normality. In addition, extensions of our results to more general mixed sources, such as a mixture of countably infinite i.i.d. sources or Markovian sources, and a continuous mixture of i.i.d. sources, are considered.


title: Exploring the variable stars in the globular cluster NGC5024 (M53): New RR Lyrae and SX Phoenicis stars

abstract: We report CCD V and I time series photometry of the globular cluster NGC 5024 (M53). The technique of difference image analysis has been used which enables photometric precisions better than 10 mmag for stars brighter than V 18.5mag even in the crowded central regions of the cluster. The high photometric precision has resulted in the discovery of two new RR1 stars and thirteen SX Phe stars. A detailed identification chart is given for all the variable stars in the field of our images of the cluster. Periodicities were calculated for all RR Lyraes and SX Phe stars and a critical comparison is made with previous determinations. Out of four probable SX Phe variables reported by Dekany & Kovacs (2009), the SX Phe nature is confirmed only for V80, V81 is an unlikely case while V82 and V83 remain as dubious cases. Previous misidentifications of three variables are corrected. Astrometric positions with an uncertainty of ~ 0.3 arcsec are provided for all variables. The light curve Fourier decomposition of RR0 and RR1 is discussed, we find a mean metallicity of [Fe/H]=-1.92+-0.06 in the scale of Zinn & West from 19 RR0 stars. The true distance moduli 16.36+-0.05 and 16.28+-0.07 and the corresponding distances 18.7+-0.4 and 18.0+-0.5 kpc are found from the RR0 and RR1 stars respectively. These values are in agreement with the theoretical period-luminosity relations for RR Lyrae stars in the I band and with recent luminosity determinations for the RR Lyrae stars in the LMC. The age of 13.25+-0.50 Gyr (Dotter et al. 2010), for NGC 5024, E(B-V)=0.02 and the above physical parameters of the cluster, as indicated from the RR0 stars, produce a good isochrone fitting to the observed CMD. The PL relation for SX Phe stars in NGC 5024 in the V and I bands is discussed in the light of the 13 newly found SX Phe stars and their pulsation mode is identified in most cases.


title: Inductively Coupled Augmented Railgun

abstract: We derive the non-linear dynamical equations for an augmented electromagnetic railgun, whose augmentation circuit is inductively coupled to the gun circuit. We solve these differential equations numerically using example parameter values. We find a complicated interaction between the augmentation circuit, gun circuit, and mechanical degrees of freedom, leading to a complicated optimization problem. For certain values of parameters, we find that an augmented electromagnetic railgun has an armature kinetic energy that is 42% larger than the same railgun with no augmentation circuit. Optimizing the parameters may lead to further increase in performance.


title: Loop condensation in the triangular lattice quantum dimer model

abstract: We study the mechanism of loop condensation in the quantum dimer model on the triangular lattice. The triangular lattice quantum dimer model displays a topologically ordered quantum liquid phase in addition to conventionally ordered phases with broken symmetry. In the context of systems with extended loop-like degrees of freedom, the formation of such topological order can be described in terms of loop condensation. Using Monte Carlo calculations with local and directed-loop updates, we compute geometric properties of the transition graph loop distributions of several triangular lattice quantum dimer wavefunctions that display dimer-liquid to dimer-crystal transitions and characterize these in terms of loop condensation.


title: Lattice games without rational strategies

abstract: We show that the lattice games of Guo and Miller support universal computation, disproving their conjecture that all lattice games have rational strategies. We also state an explicit counterexample to that conjecture: a three dimensional lattice game whose set of winning positions does not have a rational generating function.


title: Abelian surfaces admitting an (l,l)-endomorphism

abstract: We give a classification of all principally polarized abelian surfaces that admit an $(l,l)$-isogeny to themselves, and show how to compute all the abelian surfaces that occur. We make the classification explicit in the simplest case $l=2$. As part of our classification, we also show how to find all principally polarized abelian surfaces with multiplication by a given imaginary quadratic order.