title: The Gn,m Phase Transition is Not Hard for the Hamiltonian Cycle Problem

abstract: Using an improved backtrack algorithm with sophisticated pruning techniques, we revise previous observations correlating a high frequency of hard to solve Hamiltonian Cycle instances with the Gn,m phase transition between Hamiltonicity and non-Hamiltonicity. Instead all tested graphs of 100 to 1500 vertices are easily solved. When we artificially restrict the degree sequence with a bounded maximum degree, although there is some increase in difficulty, the frequency of hard graphs is still low. When we consider more regular graphs based on a generalization of knight's tours, we observe frequent instances of really hard graphs, but on these the average degree is bounded by a constant. We design a set of graphs with a feature our algorithm is unable to detect and so are very hard for our algorithm, but in these we can vary the average degree from O(1) to O(n). We have so far found no class of graphs correlated with the Gn,m phase transition which asymptotically produces a high frequency of hard instances.


title: Semantic Similarity in a Taxonomy: An Information-Based Measure and its Application to Problems of Ambiguity in Natural Language

abstract: This article presents a measure of semantic similarity in an IS-A taxonomy based on the notion of shared information content. Experimental evaluation against a benchmark set of human similarity judgments demonstrates that the measure performs better than the traditional edge-counting approach. The article presents algorithms that take advantage of taxonomic similarity in resolving syntactic and semantic ambiguity, along with experimental results demonstrating their effectiveness.


title: Multi-Scaling Allometric Analysis for Urban and Regional Development

abstract: The concept of allometric growth is based on scaling relations, and it has been applied to urban and regional analysis for a long time. However, most allometric analyses were devoted to the single proportional relation between two elements of a geographical system. Few researches focus on the allometric scaling of multielements. In this paper, a process of multiscaling allometric analysis is developed for the studies on spatio-temporal evolution of complex systems. By means of linear algebra, general system theory, and by analogy with the analytical hierarchy process, the concepts of allometric growth can be integrated with the ideas from fractal dimension. Thus a new methodology of geo-spatial analysis and the related theoretical models emerge. Based on the least squares regression and matrix operations, a simple algorithm is proposed to solve the multiscaling allometric equation. Applying the analytical method of multielement allometry to Chinese cities and regions yields satisfying results. A conclusion is reached that the multiscaling allometric analysis can be employed to make a comprehensive evaluation for the relative levels of urban and regional development, and explain spatial heterogeneity. The notion of multiscaling allometry may enrich the current theory and methodology of spatial analyses of urban and regional evolution.


title: A Temporal Description Logic for Reasoning about Actions and Plans

abstract: A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true while the action itself is occurring, and plans are constructed by temporally relating actions and world states. The temporal languages are members of the family of Description Logics, which are characterized by high expressivity combined with good computational properties. The subsumption problem for a class of temporal Description Logics is investigated and sound and complete decision procedures are given. The basic language TL-F is considered first: it is the composition of a temporal logic TL -- able to express interval temporal networks -- together with the non-temporal logic F -- a Feature Description Logic. It is proven that subsumption in this language is an NP-complete problem. Then it is shown how to reason with the more expressive languages TLU-FU and TL-ALCF. The former adds disjunction both at the temporal and non-temporal sides of the language, the latter extends the non-temporal side with set-valued features (i.e., roles) and a propositionally complete language.


title: Adaptive Parallel Iterative Deepening Search

abstract: Many of the artificial intelligence techniques developed to date rely on heuristic search through large spaces. Unfortunately, the size of these spaces and the corresponding computational effort reduce the applicability of otherwise novel and effective algorithms. A number of parallel and distributed approaches to search have considerably improved the performance of the search process. Our goal is to develop an architecture that automatically selects parallel search strategies for optimal performance on a variety of search problems. In this paper we describe one such architecture realized in the Eureka system, which combines the benefits of many different approaches to parallel heuristic search. Through empirical and theoretical analyses we observe that features of the problem space directly affect the choice of optimal parallel search strategy. We then employ machine learning techniques to select the optimal parallel search strategy for a given problem space. When a new search task is input to the system, Eureka uses features describing the search space and the chosen architecture to automatically select the appropriate search strategy. Eureka has been tested on a MIMD parallel processor, a distributed network of workstations, and a single workstation using multithreading. Results generated from fifteen puzzle problems, robot arm motion problems, artificial search spaces, and planning problems indicate that Eureka outperforms any of the tested strategies used exclusively for all problem instances and is able to greatly reduce the search time for these applications.


title: Order of Magnitude Comparisons of Distance

abstract: Order of magnitude reasoning - reasoning by rough comparisons of the sizes of quantities - is often called 'back of the envelope calculation', with the implication that the calculations are quick though approximate. This paper exhibits an interesting class of constraint sets in which order of magnitude reasoning is demonstrably fast. Specifically, we present a polynomial-time algorithm that can solve a set of constraints of the form 'Points a and b are much closer together than points c and d.' We prove that this algorithm can be applied if `much closer together' is interpreted either as referring to an infinite difference in scale or as referring to a finite difference in scale, as long as the difference in scale is greater than the number of variables in the constraint set. We also prove that the first-order theory over such constraints is decidable.


title: AntNet: Distributed Stigmergetic Control for Communications Networks

abstract: This paper introduces AntNet, a novel approach to the adaptive learning of routing tables in communications networks. AntNet is a distributed, mobile agents based Monte Carlo system that was inspired by recent work on the ant colony metaphor for solving optimization problems. AntNet's agents concurrently explore the network and exchange collected information. The communication among the agents is indirect and asynchronous, mediated by the network itself. This form of communication is typical of social insects and is called stigmergy. We compare our algorithm with six state-of-the-art routing algorithms coming from the telecommunications and machine learning fields. The algorithms' performance is evaluated over a set of realistic testbeds. We run many experiments over real and artificial IP datagram networks with increasing number of nodes and under several paradigmatic spatial and temporal traffic distributions. Results are very encouraging. AntNet showed superior performance under all the experimental conditions with respect to its competitors. We analyze the main characteristics of the algorithm and try to explain the reasons for its superiority.


title: A Counter Example to Theorems of Cox and Fine

abstract: Cox's well-known theorem justifying the use of probability is shown not to hold in finite domains. The counterexample also suggests that Cox's assumptions are insufficient to prove the result even in infinite domains. The same counterexample is used to disprove a result of Fine on comparative conditional probability.


title: The Automatic Inference of State Invariants in TIM

abstract: As planning is applied to larger and richer domains the effort involved in constructing domain descriptions increases and becomes a significant burden on the human application designer. If general planners are to be applied successfully to large and complex domains it is necessary to provide the domain designer with some assistance in building correctly encoded domains. One way of doing this is to provide domain-independent techniques for extracting, from a domain description, knowledge that is implicit in that description and that can assist domain designers in debugging domain descriptions. This knowledge can also be exploited to improve the performance of planners: several researchers have explored the potential of state invariants in speeding up the performance of domain-independent planners. In this paper we describe a process by which state invariants can be extracted from the automatically inferred type structure of a domain. These techniques are being developed for exploitation by STAN, a Graphplan based planner that employs state analysis techniques to enhance its performance.


title: Unifying Class-Based Representation Formalisms

abstract: The notion of class is ubiquitous in computer science and is central in many formalisms for the representation of structured knowledge used both in knowledge representation and in databases. In this paper we study the basic issues underlying such representation formalisms and single out both their common characteristics and their distinguishing features. Such investigation leads us to propose a unifying framework in which we are able to capture the fundamental aspects of several representation languages used in different contexts. The proposed formalism is expressed in the style of description logics, which have been introduced in knowledge representation as a means to provide a semantically well-founded basis for the structural aspects of knowledge representation systems. The description logic considered in this paper is a subset of first order logic with nice computational characteristics. It is quite expressive and features a novel combination of constructs that has not been studied before. The distinguishing constructs are number restrictions, which generalize existence and functional dependencies, inverse roles, which allow one to refer to the inverse of a relationship, and possibly cyclic assertions, which are necessary for capturing real world domains. We are able to show that it is precisely such combination of constructs that makes our logic powerful enough to model the essential set of features for defining class structures that are common to frame systems, object-oriented database languages, and semantic data models. As a consequence of the established correspondences, several significant extensions of each of the above formalisms become available. The high expressiveness of the logic we propose and the need for capturing the reasoning in different contexts forces us to distinguish between unrestricted and finite model reasoning. A notable feature of our proposal is that reasoning in both cases is decidable. We argue that, by virtue of the high expressive power and of the associated reasoning capabilities on both unrestricted and finite models, our logic provides a common core for class-based representation formalisms.


title: Complexity of Prioritized Default Logics

abstract: In default reasoning, usually not all possible ways of resolving conflicts between default rules are acceptable. Criteria expressing acceptable ways of resolving the conflicts may be hardwired in the inference mechanism, for example specificity in inheritance reasoning can be handled this way, or they may be given abstractly as an ordering on the default rules. In this article we investigate formalizations of the latter approach in Reiter's default logic. Our goal is to analyze and compare the computational properties of three such formalizations in terms of their computational complexity: the prioritized default logics of Baader and Hollunder, and Brewka, and a prioritized default logic that is based on lexicographic comparison. The analysis locates the propositional variants of these logics on the second and third levels of the polynomial hierarchy, and identifies the boundary between tractable and intractable inference for restricted classes of prioritized default theories.


title: Squeaky Wheel Optimization

abstract: We describe a general approach to optimization which we term `Squeaky Wheel' Optimization (SWO). In SWO, a greedy algorithm is used to construct a solution which is then analyzed to find the trouble spots, i.e., those elements, that, if improved, are likely to improve the objective function score. The results of the analysis are used to generate new priorities that determine the order in which the greedy algorithm constructs the next solution. This Construct/Analyze/Prioritize cycle continues until some limit is reached, or an acceptable solution is found. SWO can be viewed as operating on two search spaces: solutions and prioritizations. Successive solutions are only indirectly related, via the re-prioritization that results from analyzing the prior solution. Similarly, successive prioritizations are generated by constructing and analyzing solutions. This `coupled search' has some interesting properties, which we discuss. We report encouraging experimental results on two domains, scheduling problems that arise in fiber-optic cable manufacturing, and graph coloring problems. The fact that these domains are very different supports our claim that SWO is a general technique for optimization.


title: Variational Cumulant Expansions for Intractable Distributions

abstract: Intractable distributions present a common difficulty in inference within the probabilistic knowledge representation framework and variational methods have recently been popular in providing an approximate solution. In this article, we describe a perturbational approach in the form of a cumulant expansion which, to lowest order, recovers the standard Kullback-Leibler variational bound. Higher-order terms describe corrections on the variational approach without incurring much further computational cost. The relationship to other perturbational approaches such as TAP is also elucidated. We demonstrate the method on a particular class of undirected graphical models, Boltzmann machines, for which our simulation results confirm improved accuracy and enhanced stability during learning.


title: Effects of error on fluctuations under feedback control

abstract: We consider a one-dimensional Brownian motion under nonequilibrium feedback control. Generally, the fluctuation-dissipation theorem (FDT) is violated in driven systems under nonequilibrium conditions. We find that the degree of the FDT violation is bounded by the mutual information obtained by the feedback system when the feedback protocol includes measurement errors. We introduce two simple models to illustrate cooling processes by feedback control and demonstrate analytical results for the cooling limit in those systems. Especially in a steady state, lower bounds to the effective temperature are given by an inequality similar to the Carnot efficiency.


title: Efficient Implementation of the Plan Graph in STAN

abstract: STAN is a Graphplan-based planner, so-called because it uses a variety of STate ANalysis techniques to enhance its performance. STAN competed in the AIPS-98 planning competition where it compared well with the other competitors in terms of speed, finding solutions fastest to many of the problems posed. Although the domain analysis techniques STAN exploits are an important factor in its overall performance, we believe that the speed at which STAN solved the competition problems is largely due to the implementation of its plan graph. The implementation is based on two insights: that many of the graph construction operations can be implemented as bit-level logical operations on bit vectors, and that the graph should not be explicitly constructed beyond the fix point. This paper describes the implementation of STAN's plan graph and provides experimental results which demonstrate the circumstances under which advantages can be obtained from using this implementation.


title: Cooperation between Top-Down and Bottom-Up Theorem Provers

abstract: Top-down and bottom-up theorem proving approaches each have specific advantages and disadvantages. Bottom-up provers profit from strong redundancy control but suffer from the lack of goal-orientation, whereas top-down provers are goal-oriented but often have weak calculi when their proof lengths are considered. In order to integrate both approaches, we try to achieve cooperation between a top-down and a bottom-up prover in two different ways: The first technique aims at supporting a bottom-up with a top-down prover. A top-down prover generates subgoal clauses, they are then processed by a bottom-up prover. The second technique deals with the use of bottom-up generated lemmas in a top-down prover. We apply our concept to the areas of model elimination and superposition. We discuss the ability of our techniques to shorten proofs as well as to reorder the search space in an appropriate manner. Furthermore, in order to identify subgoal clauses and lemmas which are actually relevant for the proof task, we develop methods for a relevancy-based filtering. Experiments with the provers SETHEO and SPASS performed in the problem library TPTP reveal the high potential of our cooperation approaches.


title: Solving Highly Constrained Search Problems with Quantum Computers

abstract: A previously developed quantum search algorithm for solving 1-SAT problems in a single step is generalized to apply to a range of highly constrained k-SAT problems. We identify a bound on the number of clauses in satisfiability problems for which the generalized algorithm can find a solution in a constant number of steps as the number of variables increases. This performance contrasts with the linear growth in the number of steps required by the best classical algorithms, and the exponential number required by classical and quantum methods that ignore the problem structure. In some cases, the algorithm can also guarantee that insoluble problems in fact have no solutions, unlike previously proposed quantum search algorithms.


title: Decision-Theoretic Planning: Structural Assumptions and Computational Leverage

abstract: Planning under uncertainty is a central problem in the study of automated sequential decision making, and has been addressed by researchers in many different fields, including AI planning, decision analysis, operations research, control theory and economics. While the assumptions and perspectives adopted in these areas often differ in substantial ways, many planning problems of interest to researchers in these fields can be modeled as Markov decision processes (MDPs) and analyzed using the techniques of decision theory. This paper presents an overview and synthesis of MDP-related methods, showing how they provide a unifying framework for modeling many classes of planning problems studied in AI. It also describes structural properties of MDPs that, when exhibited by particular classes of problems, can be exploited in the construction of optimal or approximately optimal policies or plans. Planning problems commonly possess structure in the reward and value functions used to describe performance criteria, in the functions used to describe state transitions and observations, and in the relationships among features used to describe states, actions, rewards, and observations. Specialized representations, and algorithms employing these representations, can achieve computational leverage by exploiting these various forms of structure. Certain AI techniques -- in particular those based on the use of structured, intensional representations -- can be viewed in this way. This paper surveys several types of representations for both classical and decision-theoretic planning problems, and planning algorithms that exploit these representations in a number of different ways to ease the computational burden of constructing policies or plans. It focuses primarily on abstraction, aggregation and decomposition techniques based on AI-style representations.


title: Probabilistic Deduction with Conditional Constraints over Basic Events

abstract: We study the problem of probabilistic deduction with conditional constraints over basic events. We show that globally complete probabilistic deduction with conditional constraints over basic events is NP-hard. We then concentrate on the special case of probabilistic deduction in conditional constraint trees. We elaborate very efficient techniques for globally complete probabilistic deduction. In detail, for conditional constraint trees with point probabilities, we present a local approach to globally complete probabilistic deduction, which runs in linear time in the size of the conditional constraint trees. For conditional constraint trees with interval probabilities, we show that globally complete probabilistic deduction can be done in a global approach by solving nonlinear programs. We show how these nonlinear programs can be transformed into equivalent linear programs, which are solvable in polynomial time in the size of the conditional constraint trees.


title: Variational Probabilistic Inference and the QMR-DT Network

abstract: We describe a variational approximation method for efficient inference in large-scale probabilistic models. Variational methods are deterministic procedures that provide approximations to marginal and conditional probabilities of interest. They provide alternatives to approximate inference methods based on stochastic sampling or search. We describe a variational approach to the problem of diagnostic inference in the `Quick Medical Reference' (QMR) network. The QMR network is a large-scale probabilistic graphical model built on statistical and expert knowledge. Exact probabilistic inference is infeasible in this model for all but a small set of cases. We evaluate our variational inference algorithm on a large set of diagnostic test cases, comparing the algorithm to a state-of-the-art stochastic sampling method.


title: Extensible Knowledge Representation: the Case of Description Reasoners

abstract: This paper offers an approach to extensible knowledge representation and reasoning for a family of formalisms known as Description Logics. The approach is based on the notion of adding new concept constructors, and includes a heuristic methodology for specifying the desired extensions, as well as a modularized software architecture that supports implementing extensions. The architecture detailed here falls in the normalize-compared paradigm, and supports both intentional reasoning (subsumption) involving concepts, and extensional reasoning involving individuals after incremental updates to the knowledge base. The resulting approach can be used to extend the reasoner with specialized notions that are motivated by specific problems or application areas, such as reasoning about dates, plans, etc. In addition, it provides an opportunity to implement constructors that are not currently yet sufficiently well understood theoretically, but are needed in practice. Also, for constructors that are provably hard to reason with (e.g., ones whose presence would lead to undecidability), it allows the implementation of incomplete reasoners where the incompleteness is tailored to be acceptable for the application at hand.


title: Learning to Order Things

abstract: There are many applications in which it is desirable to order rather than classify instances. Here we consider the problem of learning how to order instances given feedback in the form of preference judgments, i.e., statements to the effect that one instance should be ranked ahead of another. We outline a two-stage approach in which one first learns by conventional means a binary preference function indicating whether it is advisable to rank one instance before another. Here we consider an on-line algorithm for learning preference functions that is based on Freund and Schapire's 'Hedge' algorithm. In the second stage, new instances are ordered so as to maximize agreement with the learned preference function. We show that the problem of finding the ordering that agrees best with a learned preference function is NP-complete. Nevertheless, we describe simple greedy algorithms that are guaranteed to find a good approximation. Finally, we show how metasearch can be formulated as an ordering problem, and present experimental results on learning a combination of 'search experts', each of which is a domain-specific query expansion strategy for a web search engine.


title: Constructing Conditional Plans by a Theorem-Prover

abstract: The research on conditional planning rejects the assumptions that there is no uncertainty or incompleteness of knowledge with respect to the state and changes of the system the plans operate on. Without these assumptions the sequences of operations that achieve the goals depend on the initial state and the outcomes of nondeterministic changes in the system. This setting raises the questions of how to represent the plans and how to perform plan search. The answers are quite different from those in the simpler classical framework. In this paper, we approach conditional planning from a new viewpoint that is motivated by the use of satisfiability algorithms in classical planning. Translating conditional planning to formulae in the propositional logic is not feasible because of inherent computational limitations. Instead, we translate conditional planning to quantified Boolean formulae. We discuss three formalizations of conditional planning as quantified Boolean formulae, and present experimental results obtained with a theorem-prover.


title: Issues in Stacked Generalization

abstract: Stacked generalization is a general method of using a high-level model to combine lower-level models to achieve greater predictive accuracy. In this paper we address two crucial issues which have been considered to be a `black art' in classification tasks ever since the introduction of stacked generalization in 1992 by Wolpert: the type of generalizer that is suitable to derive the higher-level model, and the kind of attributes that should be used as its input. We find that best results are obtained when the higher-level model combines the confidence (and not just the predictions) of the lower-level ones. We demonstrate the effectiveness of stacked generalization for combining three different types of learning algorithms for classification tasks. We also compare the performance of stacked generalization with majority vote and published results of arcing and bagging.


title: Berry Phase and Traversal Time in Asymmetric Graphene Structures

abstract: The Berry phase and the group-velocity-based traversal time have been calculated for an asymmetric non-contacted or contacted graphene structure, and significant differences have been observed compared to semiconductor heterostructures. These differences are related to the specific, Dirac-like evolution law of charge carriers in graphene, which introduces a new type of asymmetry. When contacted with electrodes, the symmetry of the Dirac equation is broken by the Schrodinger-type electrons in contacts, so that the Berry phase and traversal time behavior in contacted and non-contacted graphene differ significantly.


title: Electronic confinement and ordering instabilities in colossal magnetoresistive bilayer manganites

abstract: We present angle-resolved photoemission studies of (La1-zPrz)2-2xSr1+2xMn2O7 with x=0.4 and z=0.1,0.2 and 0.4 along with density functional theory calculations and x-ray scattering data. Our results show that the bilayer splitting in the ferromagnetic metallic phase of these materials is small, if not completely absent. The charge carriers are therefore confined to a single MnO2-layer, which in turn results in a strongly nested Fermi surface. In addition to this, the spectral function also displays clear signatures of an electronic ordering instability well below the Fermi level. The increase of the corresponding interaction strength with z and its magnitude of ~400 meV make the coupling to a bare phonon highly unlikely. Instead we conclude that fluctuating order, involving electronic and lattice degrees of freedom, cause the observed renormalisation of the spectral features.


title: Unveiling pairing anti-halo effect in odd-even staggering in reaction cross sections of weakly bound nuclei

abstract: We investigate the spatial extension of weakly bound Ne and C isotopes by taking into account the pairing correlation with the Hartree-Fock-Bogoliubov (HFB) method and a 3-body model, respectively. We show that the odd-even staggering in the reaction cross sections of $^{30,31,32}$Ne and $^{14,15,16}$C are successfully reproduced, and thus the staggering can be attributed to the pairing anti-halo effect. A correlation between a one-neutron separation energy and the anti-halo effect is demonstrated for $s$- and p-waves using the HFB wave functions.


title: Heterogeneous critical nucleation on a completely-wettable substrate

abstract: Heterogeneous nucleation of a new bulk phase on a flat substrate can be associated with the surface phase transition called wetting transition. When this bulk heterogeneous nucleation occurs on a completely-wettable flat substrate with a zero contact angle, the classical nucleation theory predicts that the free energy barrier of nucleation vanishes. In fact, there always exist a critical nucleus and a free energy barrier as the first-order pre-wetting transition will occur even when the contact angle is zero. Furthermore, the critical nucleus changes its character from the critical nucleus of surface phase transition below bulk coexistence (undersaturation) to the critical nucleus of bulk heterogeneous nucleation above the coexistence (oversaturation) when it crosses the coexistence. Recently, Sear [J.Chem.Phys {\bf 129}, 164510 (2008)] has shown by a direct numerical calculation of nucleation rate that the nucleus does not notice this change when it crosses the coexistence. In our work the morphology and the work of formation of critical nucleus on a completely-wettable substrate are re-examined across the coexistence using the interface-displacement model. Indeed, the morphology and the work of formation changes continuously at the coexistence. Our results support the prediction of Sear and will rekindle the interest on heterogeneous nucleation on a completely-wettable substrate.


title: Algebras of semiclassical pseudodifferential operators associated with Zoll-type domains in cotangent bundles

abstract: We are consider domains in cotangent bundles with the property that the null foliation of their boundary is fibrating and the leaves satisfy a Bohr-Sommerfeld condition (for example, the unit disk bundle of a Zoll metric). Given such a domain, we construct an algebra of associated semiclassical pseudodifferential operators with singular symbols. The Schwartz kernels of the operators have frequency set contained in the union of the diagonal and the flow-out of the null foliation of the boundary of the domain. We develop a symbolic calculus, prove the existence of projectors (under a mild additional assumption) whose range can be thought of as quantizing the domain, give a symbolic proof of a Szeg\"o limit theorem, and study associated propagators.


title: Could $Z_{b}(10610)$ be a $B^{*}\bar{B}$ molecular state?

abstract: Assuming the newly observed structure $Z_{b}(10610)$ as a bottomonium-like molecular state $B^{*}\bar{B}$, we calculate its mass in the framework of QCD sum rules. The numerical result is $10.54\pm0.22 GeV$ for $B^{*}\bar{B}$, which coincide with the mass of $Z_{b}(10610)$. This consolidates the statement made by Belle Collaboration that the $Z_{b}(10610)$ resonance could be a $B^{*}\bar{B}$ molecular state.


title: Magnonic spin-transfer torque MRAM with low power, high speed, and error-free switching

abstract: A new class of spin-transfer torque magnetic random access memory (STT-MRAM) is discussed, in which writing is achieved using thermally initiated magnonic current pulses as an alternative to conventional electric current pulses. The magnonic pulses are used to destabilize the magnetic free layer from its initial direction, and are followed immediately by a bipolar electric current exerting conventional spin-transfer torque on the free layer. The combination of thermal and electric currents greatly reduces switching errors, and simultaneously reduces the electric switching current density by more than an order of magnitude as compared to conventional STT-MRAM. The energy efficiency of several possible electro-thermal circuit designs have been analyzed numerically. As compared to STT-MRAM with perpendicular magnetic anisotropy, magnonic STT-MRAM reduces the overall switching energy by almost 80%. Furthermore, the lower electric current density allows the use of thicker tunnel barriers, which should result in higher tunneling magneto-resistance and improved tunnel barrier reliability. The combination of lower power, improved reliability, higher integration density, and larger read margin make magnonic STT-MRAM a promising choice for future non-volatile storage.


title: Global Structure of Three Distinct Accretion Flows and Outflows around Black Holes through Two-Dimensional Radiation-Magnetohydrodynamic Simulations

abstract: We present the detailed global structure of black hole accretion flows and outflows through newly performed two-dimensional radiation-magnetohydrodynamic simulations. By starting from a torus threaded with weak toroidal magnetic fields and by controlling the central density of the initial torus, rho_0, we can reproduce three distinct modes of accretion flow. In model A with the highest central density, an optically and geometrically thick supercritical accretion disk is created. The radiation force greatly exceeds the gravity above the disk surface, thereby driving a strong outflow (or jet). Because of the mild beaming, the apparent (isotropic) photon luminosity is ~22L_E (where L_E is the Eddington luminosity) in the face-on view. Even higher apparent luminosity is feasible if we increase the flow density. In model B with a moderate density, radiative cooling of the accretion flow is so efficient that a standard-type, cold, and geometrically thin disk is formed at radii greater than ~7R_S (where R_S is the Schwarzschild radius), while the flow is radiatively inefficient otherwise. The magnetic-pressure-driven disk wind appears in this model. In model C the density is too low for the flow to be radiatively efficient. The flow thus becomes radiatively inefficient accretion flow, which is geometrically thick and optically thin. The magnetic-pressure force, in cooperation with the gas-pressure force, drives outflows from the disk surface, and the flow releases its energy via jets rather than via radiation. Observational implications are briefly discussed.


title: Jordan Triple Disystems

abstract: We take an algorithmic and computational approach to a basic problem in abstract algebra: determining the correct generalization to dialgebras of a given variety of nonassociative algebras. We give a simplified statement of the KP algorithm introduced by Kolesnikov and Pozhidaev for extending polynomial identities for algebras to corresponding identities for dialgebras. We apply the KP algorithm to the defining identities for Jordan triple systems to obtain a new variety of nonassociative triple systems, called Jordan triple disystems. We give a generalized statement of the BSO algorithm introduced by Bremner and Sanchez-Ortega for extending multilinear operations in an associative algebra to corresponding operations in an associative dialgebra. We apply the BSO algorithm to the Jordan triple product and use computer algebra to verify that the polynomial identities satisfied by the resulting operations coincide with the results of the KP algorithm; this provides a large class of examples of Jordan triple disystems. We formulate a general conjecture expressed by a commutative diagram relating the output of the KP and BSO algorithms. We conclude by generalizing the Jordan triple product in a Jordan algebra to operations in a Jordan dialgebra; we use computer algebra to verify that resulting structures provide further examples of Jordan triple disystems. For this last result, we also provide an independent theoretical proof using Jordan structure theory.


title: Feedback-Topology Designs for Interference Alignment in MIMO Interference Channels

abstract: Interference alignment (IA) is a joint-transmission technique that achieves the capacity of the interference channel for high signal-to-noise ratios (SNRs). Most prior work on IA is based on the impractical assumption that perfect and global channel-state information(CSI) is available at all transmitters. To implement IA, each receiver has to feed back CSI to all interferers, resulting in overwhelming feedback overhead. In particular, the sum feedback rate of each receiver scales quadratically with the number of users even if the quantized CSI is fed back. To substantially suppress feedback overhead, this paper focuses on designing efficient arrangements of feedback links, called feedback topologies, under the IA constraint. For the multiple-input-multiple-output (MIMO) K-user interference channel, we propose the feedback topology that supports sequential CSI exchange (feedback and feedforward) between transmitters and receivers so as to achieve IA progressively. This feedback topology is shown to reduce the network feedback overhead from a cubic function of K to a linear one. To reduce the delay in the sequential CSI exchange, an alternative feedback topology is designed for supporting two-hop feedback via a control station, which also achieves the linear feedback scaling with K. Next, given the proposed feedback topologies, the feedback-bit allocation algorithm is designed for allocating feedback bits by each receiver to different feedback links so as to regulate the residual interference caused by the finite-rate feedback. Simulation results demonstrate that the proposed bit allocation leads to significant throughput gains especially in strong interference environments.


abstract: In this paper, we prove the Cartier duality for $(\phi, \hat{G})$-modules which are defined by Tong Liu to classify semistable Galois representations.


title: Splittings of Non-Finitely Generated Groups

abstract: In geometric group theory one uses group actions on spaces to gain information about groups. One natural space to use is the Cayley graph of a group. The Cayley graph arguments that one encounters tend to require local finiteness, and hence finite generation of the group. In this paper, I take the theory of intersections of splittings of finitely generated groups (as developed by Scott, Scott-Swarup, and Niblo-Sageev-Scott-Swarup), and rework it to remove finite generation assumptions. Whereas the aforementioned authors relied on the local finiteness of the Cayley graph, I capitalize on the Bass-Serre trees for the splittings.


title: Thick braneworlds generated by a non-minimally coupled scalar field and a Gauss-Bonnet term: conditions for localization of gravity

abstract: We consider warped five-dimensional thick braneworlds with four-dimensional Poincar\'e invariance originated from bulk scalar matter non-minimally coupled to gravity plus a Gauss-Bonnet term. The background field equations as well as the perturbed equations are investigated. A relationship between 4D and 5D Planck masses is studied in general terms. By imposing finiteness of the 4D Planck mass and regularity of the geometry, the localization properties of the tensor modes of the perturbed geometry are analyzed to first order, for a wide class of solutions. In order to explore the gravity localization properties for this model, the normalizability condition for the lowest level of the tensor fluctuations is analyzed. It is found that for the examined class of solutions, gravity in 4 dimensions is recovered if the curvature invariants are regular and the 4D Planck mass is finite. It turns out that both the addition of the Gauss-Bonnet term and the non-minimal coupling between the scalar field and gravity {\it reduce} the value of the 4D Planck mass compared to its value when the scalar field and gravity are minimally coupled and the Gauss-Bonnet term is absent. The above discussed analysis depends on the explicit form of the scalar field (through its non-minimal coupling to gravity), making necessary the construction of explicit solutions in order to get results in closed form, and is illustrated with some examples which constitute smooth generalizations of the so-called Randall-Sundrum braneworld model. These solutions were obtained by making use of a detailed {\it singular perturbation theory} procedure with respect to the non-minimal coupling parameter between the scalar field and gravity, a difficult task that we managed to perform in such a way that all the physically meaningful conditions for the localization of gravity are fully satisfied. From the obtained...


title: Parallel interaction-free measurement using spatial adiabatic passage

abstract: Interaction-free measurement is a surprising consequence of quantum interference, where the presence of objects can be sensed without any disturbance of the object being measured. Here we show an extension of interaction-free measurement using techniques from spatial adiabatic passage, specifically multiple reciever adiabatic passage. Due to subtle properties of the adiabatic passage, it is possible image an object without interaction between the imaging photons and the sample. The technique can be used on multiple objects in parallel, and is entirely deterministic in the adiabatic limit. Unlike more conventional interaction-free measurement schemes, this adiabatic process is driven by the symmetry of the system, and not by more usual interference effects. As such it provides an interesting alternative quantum protocol which may be applicable to photonic implementations of spatial adiabatic passage. We also show that this scheme can be used to implement a collision-free quantum routing protocol.


title: Performance Acceleration of Kernel Polynomial Method Applying Graphics Processing Units

abstract: The Kernel Polynomial Method (KPM) is one of the fast diagonalization methods used for simulations of quantum systems in research fields of condensed matter physics and chemistry. The algorithm has a difficulty to be parallelized on a cluster computer or a supercomputer due to the fine-gain recursive calculations. This paper proposes an implementation of the KPM on the recent graphics processing units (GPU) where the recursive calculations are able to be parallelized in the massively parallel environment. This paper also illustrates performance evaluations regarding the cases when the actual simulation parameters are applied, the one for increased intensive calculations and the one for increased amount of memory usage. Finally, it concludes that the performance on GPU promises very high performance compared to the one on CPU and reduces the overall simulation time.


title: Kohnen's limit process for real-analytic Siegel modular forms

abstract: Kohnen introduced a limit process for Siegel modular forms that produces Jacobi forms. He asked if there is a space of real-analytic Siegel modular forms such that skew-holomorphic Jacobi forms arise via this limit process. In this paper, we initiate the study of harmonic skew-Maass-Jacobi forms and harmonic Siegel-Maass forms. We improve a result of Maass on the Fourier coefficients of harmonic Siegel-Maass forms, which allows us to establish a connection to harmonic skew-Maass-Jacobi forms. In particular, we answer Kohnen's question in the affirmative.


title: Observation of Dirac Holes and Electrons in a Topological Insulator

abstract: We show that in the new topological-insulator compound Bi_{1.5}Sb_{0.5}Te_{1.7}Se_{1.3} one can achieve a surfaced-dominated transport where the surface channel contributes up to 70% of the total conductance. Furthermore, it was found that in this material the transport properties sharply reflect the time dependence of the surface chemical potential, presenting a sign change in the Hall coefficient with time. We demonstrate that such an evolution makes us observe both Dirac holes and electrons on the surface, which allows us to reconstruct the surface band dispersion across the Dirac point.


title: Effects of a New Triple-alpha Reaction on X-ray Bursts of a Helium Accreting Neutron Star

abstract: The effects of a new triple-$\alpha$ reaction rate (OKK rate) on the helium flash of a helium accreting neutron star in a binary system have been investigated. Since the ignition points determine the properties of a thermonuclear flash of type I X-ray bursts, we examine the cases of different accretion rates, $dM/dt (\dot{M})$, of helium from $3\times10^{-10} M_{\odot} \rm yr^{-1}$ to $3\times10^{-8} M_{\odot} \rm yr^{-1}$, which could cover the observed accretion rates. We find that for the cases of low accretion rates, nuclear burnings are ignited at the helium layers of rather low densities. As a consequence, helium deflagration would be triggered for all cases of lower accretion rate than $\dot{M}\simeq 3\times10^{-8} M_{\odot} \rm yr^{-1}$. We find that OKK rate could be barely consistent with the available observations of the X-ray bursts on the helium accreting neutron star. However this coincidence is found to depend on the properties of crustal heating and the neutron star model.We suggest that OKK rate would be reduced by a factor of $10^{2-3}$ for $10^8$ K in the range of the observational errors.


title: Elementary gates for ternary quantum logic circuit

abstract: In this article the elementary gates for ternary quantum logic circuit are studied. We propose the ternary controlled X (TCX) gate or ternary controlled Z (TCZ) gate as two-qutrit elementary gate, which is universal when assisted by arbitrary one-qutrit gates. It is primitive, efficient and easy to implement. Based on Cartan decomposition, we also give the one-qutrit elementary gates. Then the synthesis of some important ternary gates is investigated and the scheme of physical implementation for these ternary gates is discussed. Finally we extend these elementary gates to more general qudit case, so it provides a unified description for the synthesis of the binary and multi-valued quantum circuits.


title: A 100-parsec elliptical and twisted ring of cold and dense molecular clouds revealed by Herschel around the Galactic Center

abstract: Thermal images of cold dust in the Central Molecular Zone of the Milky Way, obtained with the far-infrared cameras on-board the Herschel satellite, reveal a 3x10^7 solar masses ring of dense and cold clouds orbiting the Galactic Center. Using a simple toy-model, an elliptical shape having semi-major axes of 100 and 60 parsecs is deduced. The major axis of this 100-pc ring is inclined by about 40 degrees with respect to the plane-of-the-sky and is oriented perpendicular to the major axes of the Galactic Bar. The 100-pc ring appears to trace the system of stable x_2 orbits predicted for the barred Galactic potential. Sgr A* is displaced with respect to the geometrical center of symmetry of the ring. The ring is twisted and its morphology suggests a flattening-ratio of 2 for the Galactic potential, which is in good agreement with the bulge flattening ratio derived from the 2MASS data.


title: An optimal construction of Hanf sentences

abstract: We give the first elementary construction of equivalent formulas in Hanf normal form. The triply exponential upper bound is complemented by a matching lower bound.


title: Coarse-Grained Topology Estimation via Graph Sampling

abstract: Many online networks are measured and studied via sampling techniques, which typically collect a relatively small fraction of nodes and their associated edges. Past work in this area has primarily focused on obtaining a representative sample of nodes and on efficient estimation of local graph properties (such as node degree distribution or any node attribute) based on that sample. However, less is known about estimating the global topology of the underlying graph. In this paper, we show how to efficiently estimate the coarse-grained topology of a graph from a probability sample of nodes. In particular, we consider that nodes are partitioned into categories (e.g., countries or work/study places in OSNs), which naturally defines a weighted category graph. We are interested in estimating (i) the size of categories and (ii) the probability that nodes from two different categories are connected. For each of the above, we develop a family of estimators for design-based inference under uniform or non-uniform sampling, employing either of two measurement strategies: induced subgraph sampling, which relies only on information about the sampled nodes; and star sampling, which also exploits category information about the neighbors of sampled nodes. We prove consistency of these estimators and evaluate their efficiency via simulation on fully known graphs. We also apply our methodology to a sample of Facebook users to obtain a number of category graphs, such as the college friendship graph and the country friendship graph; we share and visualize the resulting data at www.geosocialmap.com.


title: Heating of quasiparticles driven by oscillations of the order parameter in short superconducting microbridges

abstract: We predict 'heating' of quasiparticles driven by order parameter oscillations in the resistive state of short superconducting microbridges. The finite relaxation time of the magnitude of the order parameter $|\Delta|$ and the dependence of the spectral functions both on $|\Delta|$ and the supervelocity $Q$ are the origin of this effect. Our result is opposite to those of Aslamazov and Larkin (Zh. Eks. Teor. Fiz. {\bf 70}, 1340 (1976)) and Schmid, Schon and Tinkham (Phys. Rev. B {\bf 21} 5076 (1980)) where 'cooling' of quasiparticles was found.


title: On the limit points of the smallest eigenvalues of regular graphs

abstract: In this paper, we give infinitely many examples of (non-isomorphic) connected $k$-regular graphs with smallest eigenvalue in half open interval $[-1-\sqrt2, -2)$ and also infinitely many examples of (non-isomorphic) connected $k$-regular graphs with smallest eigenvalue in half open interval $[\alpha_1, -1-\sqrt2)$ where $\alpha_1$ is the smallest root$(\approx -2.4812)$ of the polynomial $x^3+2x^2-2x-2$. From these results, we determine the largest and second largest limit points of smallest eigenvalues of regular graphs less than -2. Moreover we determine the supremum of the smallest eigenvalue among all connected 3-regular graphs with smallest eigenvalue less than -2 and we give the unique graph with this supremum value as its smallest eigenvalue.


title: Investigation of mass flows in the transition region and corona in a three-dimensional numerical model approach

abstract: The origin of solar transition region redshifts is not completely understood. Current research is addressing this issue by investigating three-dimensional magneto-hydrodynamic models that extend from the photosphere to the corona. By studying the average properties of emission line profiles synthesized from the simulation runs and comparing them to observations with present-day instrumentation, we investigate the origin of mass flows in the solar transition region and corona. Doppler shifts were determined from the emission line profiles of various extreme-ultraviolet emission lines formed in the range of $T=10^4-10^6$ K. Plasma velocities and mass flows were investigated for their contribution to the observed Doppler shifts in the model. In particular, the temporal evolution of plasma flows along the magnetic field lines was analyzed. Comparing observed vs. modeled Doppler shifts shows a good correlation in the temperature range $\log(T$/[K])=4.5-5.7, which is the basis of our search for the origin of the line shifts. The vertical velocity obtained when weighting the velocity by the density squared is shown to be almost identical to the corresponding Doppler shift. Therefore, a direct comparison between Doppler shifts and the model parameters is allowed. A simple interpretation of Doppler shifts in terms of mass flux leads to overestimating the mass flux. Upflows in the model appear in the form of cool pockets of gas that heat up slowly as they rise. Their low temperature means that these pockets are not observed as blueshifts in the transition region and coronal lines. For a set of magnetic field lines, two different flow phases could be identified. The coronal part of the field line is intermittently connected to subjacent layers of either strong or weak heating, leading either to mass flows into the loop or to the draining of the loop.


title: An explanation of Belle states Z_b(10610) and Z_b(10650)

abstract: Belle report data on Upsilon (5S) -> Upsilon(1S,2S,3S)-piplus-piminus and chi_b(1P,2P)-piplus-piminus; they observe peaks in Upsilon-pi and chi_b-pi consistent with J^P=1^+. They interpret the peaks as molecular states Z_b(10608) and Z_b(10653). Their masses are just above Bbar-B^* and B^*bar-B^* thresholds at 10604.6 and 10650.2 MeV. An explanation in terms of cusps at these thresholds is presented here. The product of the rising phase space for Bbar-B^* and B^*bar B^* with the cusps creates peaks a few MeV higher in Bbar-B^* and B^*bar-B^*, and these peaks can de-excite to piplus-piminus-Upsilon(1S,2S,3S) and piplus-piminus-chi_b(1P,2P).


title: Quantum noise in three-dimensional BEC interferometry

abstract: We develop a theory of quantum fluctuations and squeezing in a three-dimensional Bose-Einstein condensate atom interferometer with nonlinear losses. We use stochastic equations in a truncated Wigner representation to treat quantum noise. Our approach includes the multi-mode spatial evolution of spinor components and describes the many-body dynamics of a mesoscopic quantum system.


title: Determination of the pi Sigma scattering lengths from the weak decays of Lambda_c

abstract: The scattering lengths of the pi Sigma systems are key quantities in understanding the structure of the Lambda(1405) resonance and the subthreshold extrapolation of the barK N interaction. We demonstrate that the pi Sigma scattering lengths can be extracted from the threshold cusp phenomena in the weak Lambda_c -> pi pi Sigma decays, analogously with Cabibbo's method for determination of the pi pi scattering length. We show that the substantial cusp effect should be observed in the spectrum, when the pi Sigma interaction in I=0 is strongly attractive to generate a near-threshold singularity, such as a bound state or a virtual state.


title: On the change in Inertial Confinement Fusion Implosions upon using an ab initio multiphase DT equation of state

abstract: Improving the description of the equation of state (EoS) of deuterium-tritium (DT) has recently been shown to change significantly the gain of an Inertial Confinement Fusion (ICF) target (Hu et al., PRL 104, 235003 (2010)). We use here an advanced multi-phase equation of state (EoS), based on ab initio calculations, to perform a full optimization of the laser pulse shape with hydrodynamic simulations starting from 19 K in DT ice. The thermonuclear gain is shown to be a robust estimate over possible uncertainties of the EoS. Two different target designs are discussed, for shock ignition and self-ignition. In the first case, the areal density and thermonuclear energy can be recovered by slightly increasing the laser energy. In the second case, a lower in-flight adiabat is needed, leading to a significant delay (3ns) in the shock timing of the implosion.


title: Fluctuations of time averages for Langevin dynamics in a binding force field

abstract: We derive a simple formula for the fluctuations of the time average around the thermal mean for overdamped Brownian motion in a binding potential U(x). Using a backward Fokker-Planck equation, introduced by Szabo, et al. in the context of reaction kinetics, we show that for ergodic processes these finite measurement time fluctuations are determined by the Boltzmann measure. For the widely applicable logarithmic potential, ergodicity is broken. We quantify the large non-ergodic fluctuations and show how they are related to a super-aging correlation function.


title: Bubble dynamics: (nucleating) radiation inside dust

abstract: We consider two spatially flat Friedmann-Robertson-Walker spacetimes divided by a time-like thin shell in the nontrivial case in which the inner region of finite extension contains radiation and the outer region is filled with dust. We will then show that, while the evolution is determined by a large set of constraints, an analytical description for the evolution of the bubble radius can be obtained by formally expanding for short times after the shell attains its minimum size. In particular, we will find that a bubble of radiation, starting out with vanishing expansion speed, can be matched with an expanding dust exterior, but not with a collapsing dust exterior, regardless of the dust energy density. The former case can then be used to describe the nucleation of a bubble of radiation inside an expanding dust cloud, although the final configuration contains more energy than the initial dust, and the reverse process, with collapsing radiation transforming into collapsing dust, is therefore energetically favored. We however speculate a (small) decaying vacuum energy or cosmological constant inside dust could still trigger nucleation. Finally, our perturbative (yet analytical) approach can be easily adapted to different combinations of matter inside and outside the shell, as well as to more general surface density, of relevance for cosmology and studies of defect formation during phase transitions.


title: Radiation-reaction in classical offshell electrodynamics: I. The above mass-shell case

abstract: Offshell electrodynamics based on a manifestly covariant off-shell relativistic dynamics of Stueckelberg, Horwitz and Piron, is five-dimensional. In this paper, we study the problem of radiation reaction of a particle in motion in this framework. In particular, the case of above-mass-shell is studied in detail, where the renormalization of the Lorentz force leads to a system of non-linear differential equations for 3 Lorentz scalars. The system is then solved numerically, where it is shown that the mass-shell deviation scalar $\ve$ either smoothly falls down to 0 (this result provides a mechanism for the mass stability of the off-shell theory), or strongly diverges under more extreme conditions. In both cases, no runaway motion is observed. Stability analysis indicates that the system seems to have chaotic behavior in the divergent case. It is also shown that, although a motion under which the mass-shell deviation $\ve$ is constant but not-zero, is indeed possible, but, it is unstable, and eventually it either decays to 0 or diverges.


title: Gelfand and Kolmogorov numbers of Sobolev embeddings of weighted function spaces II

abstract: We consider the Gelfand and Kolmogorov numbers of compact embeddings between weighted function spaces of Besov and Triebel-Lizorkin type with polynomial weights in the non-limiting case. Our main purpose here is to complement our previous results in \cite{ZF10} in the context of the quasi-Banach setting, $0 < p, q \le \infty$. In addition, sharp estimates for their approximation numbers in several cases left open in Skrzypczak (JAT, 2005) are provided.


title: Category O for quantum groups

abstract: In this paper we study of the BGG-categories $\mathcal O_q$ associated to quantum groups. We prove that many properties of the ordinary BGG-category $\mathcal O$ for a semisimple complex Lie algebra carry over to the quantum case. Of particular interest is the case when $q$ is a complex root of unity. Here we prove a tensor decomposition for both simple modules, projective modules, and indecomposable tilting modules. Using the known Kazhdan-Lusztig conjectures for $\mathcal O$ and for finite dimensional $U_q$-modules we are able to determine all irreducible characters as well as the characters of all indecomposable tilting modules in $\mathcal O_q$. As a consequence of our study of the root of unity case we deduce that the non-root of unity case (including the generic case) behaves like $\mathcal O$.


title: A quantized current source with mesoscopic feedback

abstract: We study a mesoscopic circuit of two quantized current sources, realized by non-adiabatic single- electron pumps connected in series with a small micron-sized island in between. We find that quantum transport through the second pump can be locked onto the quantized current of the first one by a feedback due to charging of the mesoscopic island. This is confirmed by a measurement of the charge variation on the island using a nearby charge detector. Finally, the charge feedback signal clearly evidences loading into excited states of the dynamic quantum dot during single-electron pump operation.


title: Simplification Techniques for Maps in Simplicial Topology

abstract: This paper offers an algorithmic solution to the problem of obtaining "economical" formulae for some maps in Simplicial Topology, having, in principle, a high computational cost in their evaluation. In particular, maps of this kind are used for defining cohomology operations at the cochain level. As an example, we obtain explicit combinatorial descriptions of Steenrod k-th powers exclusively in terms of face operators.


title: Pricing, liquidity and the control of dynamic systems in finance and economics

abstract: The paper discusses various practical consequences of treating economics and finance as an inherently dynamic and chaotic system. On the theoretical side this looks at the general applicability of the market-making pricing approach to economics in general. The paper also discuses the consequences of the endogenous creation of liquidity and the role of liquidity as a state variable. On the practical side, proposals are made for reducing chaotic behaviour in both housing markets and stock markets.


title: Combinatorial Types of Tropical Eigenvectors

abstract: The map which takes a square matrix to its tropical eigenvalue-eigenvector pair is piecewise linear. We determine the cones of linearity of this map. They are simplicial but they do not form a fan. Motivated by statistical ranking, we also study the restriction of that cone decomposition to the subspace of skew-symmetric matrices.


title: An adic dynamical system related to the Delannoy numbers

abstract: We introduce an adic (Bratteli-Vershik) dynamical system based on a diagram whose path counts from the root are the Delannoy numbers. We identify the ergodic invariant measures, prove total ergodicity for each of them, and initiate the study of the dimension group and other dynamical properties.


title: Supersymmetric quantum mechanics with Levy disorder in one dimension

abstract: We consider the Schroedinger equation with a supersymmetric random potential, where the superpotential is a Levy noise. We focus on the problem of computing the so-called complex Lyapunov exponent, whose real and imaginary parts are, respectively, the Lyapunov exponent and the integrated density of states of the system. In the case where the Levy process is non-decreasing, we show that the calculation of the complex Lyapunov exponent reduces to a Stieltjes moment problem, we ascertain the low-energy behaviour of the density of states in some generality, and relate it to the distributional properties of the Levy process. We review the known solvable cases, where the complex Lyapunov exponent can be expressed in terms of special functions, and discover a new one.


title: Cohomological and Combinatorial Methods in the Study of Symbolic Powers and Equations defining Varieties

abstract: In this PhD thesis we will discuss some aspects in Commutative Algebra which have interactions with Algebraic Geometry, Representation Theory and Combinatorics. In particular, in the first chapter we will focus on understanding when certain cohomology modules vanish, a classical problem raised by Grothendieck. In the second chapter we will use local cohomology to study the connectedness behavior during a Groebner deformation and the arithmetical rank of certain varieties. In the third chapter, we will investigate the relations between the minors of a fixed size of a generic matrix by using tools from the representation theory of the general linear group (the results of this chapter will appear in a joint paper with Bruns and Conca). In the last chapter we will use combinatorial methods to study the Cohen-Macaulay property of the symbolic powers of Stanley-Reisner ideals. In the thesis are included five appendixes with some basic needed facts and a preliminary chapter introducing to local cohomology.


title: Heegaard Floer homologies for (+1) surgeries on torus knots

abstract: We compute the Heegaard Floer homology of $S^3_1(K)$ (the (+1) surgery on the torus knot $T_{p,q}$) in terms of the semigroup generated by $p$ and $q$, and we find a compact formula (involving Dedekind sums) for the corresponding Ozsvath--Szabo d-invariant. We relate the result to known knot invariants of $T_{p,q}$ as the genus and the Levine--Tristram signatures. Furthermore, we emphasize the striking resemblance between Heegaard Floer homologies of (+1) and (-1) surgeries on torus knots. This relation is best seen at the level of $\tau$ functions.


title: A parallel Buchberger algorithm for multigraded ideals

abstract: We demonstrate a method to parallelize the computation of a Gr\"obner basis for a homogenous ideal in a multigraded polynomial ring. Our method uses anti-chains in the lattice $\mathbb N^k$ to separate mutually independent S-polynomials for reduction.


title: A method for characterizing coherent-state quantum gates

abstract: We discuss and implement experimentally a method for characterizing quantum gates operating on superpositions of coherent states. The peculiarity of this encoding of qubits is to work with a non-orthogonal basis, and therefore some technical limitations prevent us from using standard methods, such as process tomography. We adopt a different technique, that relies on some a-priori knowledge about the physics underlying the functioning of the device. A parameter characterizing the global quality of the quantum gate is obtained by \virtually" processing an entangled state.


title: Gluon spectrum in the glasma from JIMWLK evolution

abstract: The JIMWLK equation with a "daughter dipole" running coupling is solved numerically starting from an initial condition given by the McLerran-Venugopalan model. The resulting Wilson line configurations are then used to compute the spectrum of gluons comprising the glasma inital state of a high energy heavy ion collision. The development of a geometrical scaling region makes the spectrum of produced gluons harder. Thus the ratio of the mean gluon transverse momentum to the saturation scale grows with energy. Also the total gluon multiplicity increases with energy slightly faster than the saturation scale squared.


title: Mechanisms of nonlinear spin-wave emission from a microwave driven nanocontact

abstract: We present a micromagnetic study of linear and nonlinear spin-wave modes excited in an extended permalloy thin film by a microwave driven nanocontact. We show that the linear mode having the frequency equal to the excitation frequency (f) is driven by the ac Oersted field component perpendicular to the static external field (applied in-plane of the sample). The nonlinear mode with the frequency f /2 is excited as an independent eigenmode within a parametric longitudinal pumping process (due ac Oersted field component parallel to the bias field). Spectral positions of those modes are determined both in the space and phase domain. The results are important for the transfer of information coded into spin-waves between nanocontacts, and for synchronization of spin transfer torque nano-oscillators.


title: Pair production of charged top-pions in the $\gamma\gamma$ collisions at the ILC

abstract: The top-color assisted technicolor (TC2) mode predicts the existence of a pair of charged top-pions $\pi^{\pm}_t$. In this paper, we study the production of the charged top-pions pair $\pi^{\pm}_t$ at next generation $\gamma\gamma$ colliders. The results show that the production rates can reach the level of $10^2$ fb with reasonable parameter space. With a large number of events and the clean background, the charged top-pion should be observable at the $\gamma\gamma$ colliders. Therefore, our studies can help us to search for charged top-pion, and furthermore, to test the TC2 model.


title: Experimental results and constitutive modelling for tungsten and tantalum at high strain rates and very high temperatures

abstract: Recently reported results of the high strain rates, high temperature measurements of the yield stress of tungsten and tantalum have been analyzed. The highest temperature reached in the experiment, based on heating and stressing a thin wire by a fast, high current pulse, was 2520 K and 2720 K, for tantalum and tungsten, respectively. The strain-rates in both the tungsten and tantalum tests were in the range from 500 to 1500 1/s. The parameters for the constitutive equation developed by Zerilli and Armstrong have been determined from the experimental data and the results have been compared with the data obtained at lower temperatures.


title: Smoothing and Modeling of Video Transmission Rates over a QoS Network with Limited Bandwidth Connections

abstract: Transmission of video over a limited bandwidth network is challenging due to the natural variability of video, and link characteristics. Video smoothing techniques can be used to facilitate more effective transmission and to preserve better quality. In this paper we develop a semi-optimal video smoothing approach to manage the transmission of MPEG-4 and H.264 video while mapping it to be more suitable for a QoS based network. The proposed technique utilizes a smoothing buffer with pre-defined thresholds to smooth the transmission rates while assuming minimal information about the video to be transmitted. The results obtained showed a significant improvements in transmission rate variability while guaranteeing no buffer overflows or underflows. In addition, a queuing model is developed for the used smoothing algorithm for H.264 video streams with optimized encoding and packetization, utilizing the available H.264 macroblock ordering option.


title: Ontology Alignment at the Instance and Schema Level

abstract: We present PARIS, an approach for the automatic alignment of ontologies. PARIS aligns not only instances, but also relations and classes. Alignments at the instance-level cross-fertilize with alignments at the schema-level. Thereby, our system provides a truly holistic solution to the problem of ontology alignment. The heart of the approach is probabilistic. This allows PARIS to run without any parameter tuning. We demonstrate the efficiency of the algorithm and its precision through extensive experiments. In particular, we obtain a precision of around 90% in experiments with two of the world's largest ontologies.


title: On the Distribution of Zeroes of Artin-Schreier L-functions

abstract: We study the distribution of the zeroes of the L-functions of curves in the Artin-Schreier family. We consider the number of zeroes in short intervals and obtain partial results which agree with a random unitary matrix model.


title: Hybrid Trust Model for Internet Routing

abstract: The current Internet is based on a fundamental assumption of reliability and good intent among actors in the network. Unfortunately, unreliable and malicious behaviour is becoming a major obstacle for Internet communication. In order to improve the trustworthiness and reliability of the network infrastructure, we propose a novel trust model to be incorporated into BGP routing. In our approach, trust model is defined by combining voting and recommendation to direct trust estimation for neighbour routers located in different autonomous systems. We illustrate the impact of our approach with cases that demonstrate the indication of distrusted paths beyond the nearest neighbours and the detection of a distrusted neighbour advertising a trusted path. We simulated the impact of weighting voted and direct trust in a rectangular grid of 15*15 nodes (autonomous systems) with a randomly connected topology.


title: Calabi's inhomogeneous Einstein manifold is globally symplectomorphic to R^{2n}

abstract: We construct explicit global symplectic coordinates for the Calabi's inhomogeneous Kaehler-Einstein metric on tubular domains.


title: An identification for Eisenstein polynomials over a p-adic field

abstract: In this note, we give a criteria whether given two Eisenstein polynomials over a padic field define the same extension (Proposition 1.6). In particular, we completely identify Eisenstein polynomials of degree p (Theorem 1.16). This note is an English translation of a part of the original paper [12].


title: Design and Analysis of SD_DWCA - A Mobility based clustering of Homogeneous MANETs

abstract: This paper deals with the design and analysis of the distributed weighted clustering algorithm SD_DWCA proposed for homogeneous mobile ad hoc networks. It is a connectivity, mobility and energy based clustering algorithm which is suitable for scalable ad hoc networks. The algorithm uses a new graph parameter called strong degree defined based on the quality of neighbours of a node. The parameters are so chosen to ensure high connectivity, cluster stability and energy efficient communication among nodes of high dynamic nature. This paper also includes the experimental results of the algorithm implemented using the network simulator NS2. The experimental results show that the algorithm is suitable for high speed networks and generate stable clusters with less maintenance overhead.


title: The largest $n-1$ Hosoya indices of unicyclic graphs

abstract: The Hosoya index $Z (G)$ of a graph $G$ is defined as the total number of edge independent sets of $G$. In this paper, we extend the research of [J. Ou, On extremal unicyclic molecular graphs with maximal Hosoya index, \textit{Discrete Appl. Math.} 157 (2009) 391--397.] and [Y. Ye, X. Pan, H. Liu, Ordering unicyclic graphs with respect to Hosoya indices and Merrifield-Simmons indices, \textit{MATCH Commun. Math. Comput. Chem.} 59 (2008) 191--202.] and order the largest $n-1$ unicyclic graphs with respect to the Hosoya index.


title: Broadband Spectral Analysis of Aql X-1

abstract: We present the results of a broadband spectral study of the transient Low Mass X-ray Binary Aql X-1 observed by Suzaku and Rossi X-ray Timing Explorer satellites. The source was observed during its 2007 outburst in the High/Soft (Banana) state and in the Low/Hard (Extreme Island) state. Both the Banana state and the Extreme Island state spectra are best described by a two component model consisting of a soft multi-colour blackbody emission likely originating from the accretion disk and a harder Comptonized emission from the boundary layer. Evidence for a hard tail (extending to ~50 keV) is found during the Banana state; this further (transient) component, accounting for atleast ~1.5% of the source luminosity, is modeled by a power-law. Aql X-1 is the second Atoll source after GX 13+1 to show a high energy tail. The presence of a weak but broad Fe line provides further support for a standard accretion disk extending nearly to the neutron star surface. The input photons for the Comptonizing boundary layer could either be the disk photons or the hidden surface of the star or both. The luminosity of the boundary layer is similar to the disk luminosity in the banana state and is about six times larger in the extreme island state. The temperature of the Comptonizing boundary layer changes from ~2 keV in the banana state to ~20 keV in the extreme island state.


title: The Properties of the Superconducting State in YNi2B2C: The One-Band Eliashberg Approach

abstract: The basic thermodynamic parameters of the superconducting state in $\rm{YNi_{2}B_{2}C}$ were calculated in the framework of the one-band Eliashberg model. The effective Eliashberg function, determined on the basis of the transport function (R.S. Gonnelli, {\it et al.}, Physica C \textbf{341}, 1957 (2000)), was used during calculations. It was shown that the dimensionless ratios are equal to: $R_{1}\equiv 2\Delta(0)/k_{B}T_{C}=3.87$, $R_{2}\equiv\Delta C(T_{C})/C^{N}(T_{C})=1.79$ and $R_{3}\equiv T_{C}C^{N}(T_{C})/H_{C}^{2}(0)=0.159$. The value $R_{1}$ fairly agrees with the experimental data whereas $R_{2}$ and $R_{3}$ agree very well.


title: The toy model for the high-Tc superconductivity

abstract: The simple microscopic model for the high-T_{C} superconductors based on the electron-phonon (EPH) and electron-electron-phonon (EEPH) interactions has been presented. On the {\it fold} mean-field level, it has been shown, that the obtained model supplements the predictions based on the BCS van Hove scenario. In particular: (i) For strong EEPH coupling and T<T_{C} the energy gap (\Delta_{tot}) is very weak temperature dependent; up to the critical temperature \Delta_{tot} extends into the anomalous normal state to the Nernst temperature. (ii) The model explains well the experimental dependence of the ratio R_{1}\equiv 2\Delta_{tot}^{(0)}/k_{B}T_{C} on doping for the reported superconductors in the terms of the few fundamental parameters.


title: Specific heat and thermodynamic critical field for the molecular metallic hydrogen

abstract: In the framework of the Eliashberg formalism the free energy difference between the superconducting and normal state for the molecular metallic hydrogen was calculated. The pressure values $p_{1}=347$ GPa and $p_{2}=428$ GPa were taken into consideration. It has been shown, that together with the increase of the pressure, grows the value of the specific heat jump at the critical temperature and the value of the thermodynamic critical field near zero Kelvin: $[\Delta C(T_{C})]_{p2}/[\Delta C(T_{C})]_{p1}\simeq 2.33$ and $[H_{C}(0)]_{p2}/[H_{C}(0)]_{p1}\simeq 1.74$. Next, it has been stated, that the ratio $\Delta C(T_{C})/C^{N}(T_{C})$ also increases from 1.91 to 2.39; whereas $T_{C}C^{N}(T_{C})/H^{2}_{C}(0)$ decreases from 0.152 to 0.140. The last results prove that the considered parameters significantly diverge from the prediction based on the BCS model.


title: Strong-coupling description of the high-temperature superconductivity in the molecular hydrogen

abstract: The detailed study of the selected thermodynamic properties of the superconducting phase in the molecular hydrogen under the pressure at 428 GPa has been presented. For the increasing value of the Coulomb pseudopotential, $\mu^{*}\in<0.08,0.15>$, the following results have been obtained: (i) the critical temperature decreases from 179 K to 141 K, (ii) the ratio $R_{1}\equiv\Delta(0)/k_{B}T_{C}$ differs noticeably from the BCS value: $R_{1}\in<4.71,3.60>$; (iii) the electron effective mass is large and grows slightly together with the temperature ($[m^{*}_{e}/m_{e}]_{{\rm max}} = 2.2$ for $T = T_{C}$).


title: Gluon dissociation of $J/\psi$ in anisotropic {\em Quark-Gluon-Plasma}

abstract: We calculate the gluon dissociation cross-section in an anisotropic quark gluon plasma expected to be formed due relativistic nucleus-nucleus collisions. The initial rapid longitudinal expansion of the system leads to momentum space anisotropy due which the observables are affected in such a system. We show that the thermally weighted cross-section of gluon dissociation undergoes modification in anisotropic plasma leading to a decreased probability of $J/\psi$ suppression both for RHIC and LHC energies. The dependence of the cross section as well as the survival probability on the direction of propagation of the charmonium with respect to the anisotropy axis are presented. The sensitivity of the survival probability on the initial conditions have also been demonstrated.


title: The Inert Doublet Model and evolution of the Universe

abstract: Inert Doublet Model (IDM) is a minimal extension of the Standard Model with the second scalar doublet that may provide a Dark Matter candidate. In this paper we consider the different variants of the evolution of the Universe after inflation, that lead towards the Inert phase today.


title: Explicit formulas for the Riesz energy of the $N$th roots of unity

abstract: The paper Brauchart, Hardin and Saff [Bull. Lond. Math. Soc. 41(4) (2009)] gives the complete asymptotic expansions of the Riesz $s$-energy of the $N$th roots of unity which form a universally optimal distribution of points on the unit circle in the sense of Cohn and Kumar [J. Amer. Math. Soc. 20 (2007)]. Here, exact formulas (valid for all $N \geq 2$) are obtained for the case when $s$ is an even integer. In the case of the singular Riesz $s$-potential $1/r^s$, $r$ the Euclidean distance between two points, a continuous modified energy approximation of the Riesz energy is used. Stirling numbers of the first kind, Eulerian numbers and special values of partial Bell polynomials play a central role. Several identities between these quantities are shown.


title: Excitonic effects in the optical properties of SiC sheet and nanotubes

abstract: The quasiparticle band structure and optical properties of single-walled zigzag and armchair SiC nanotubes (SiC-NTs) as well as single SiC sheet are investigated by ab initio many-body calculations using the GW and the GW plus Bethe-Salpeter equation (GW+BSE) approaches, respectively. Significant GW quasiparticle corrections of more than 1.0 eV to the Kohn-Sham band gaps from the local density approximation (LDA) calculations are found. The GW self-energy corrections transform the SiC sheet from a indirect LDA band gap to a direct band gap material. Furthermore, the quasiparticle band gaps of SiC-NTs with different chiralities behave very differently as a function of tube diameter, and this can be attributed to the difference in the curvature-induced orbital rehybridization between the different chiral nanotubes. The calculated optical absorption spectra are dominated by discrete exciton peaks due to exciton states with large binding energy up to 2.0 eV in the SiC sheet and SiC-NTs. The formation of strongly bound excitons is attributed to the enhanced electron-hole interaction in these low dimensional systems. Remarkably, the excited electron amplitude of the exciton wavefunction is found to peak on the Si atoms near the hole position (which is on the C site) in the zigzag SiC-NTs, indicating a charge transfer from an anion (hole) to its neighboring cations by photoexcitation. In contrast, this pronounced peak structure disappear in the exciton wavefunction in the armchair SiC-NTs. Furthermore, in the armchair SiC-NTs, the bound exciton wavefunctions are more localized and also strongly cylindrically asymmetric.


title: Long time evolution of meandered steps during the crystal growth processes

abstract: Step meandering during growth of gallium nitride (0001) surface is studied using kinetic Monte Carlo method. Simulated growth process, conducted in N-rich conditions are therefore controlled by Ga atoms surface diffusion. The model employs dominating four-body interactions of Ga atoms that cause step flow anisotropy during growth. Overall kinetics and shape selection features of step meandering are analyzed assuming their dependence on the external particle flux and on the temperature. It appears that at relatively high temperatures and low fluxes steps move regularly preserving their initial shapes of straight, parallel lines. For higher fluxes and at wide range of temperatures step meandering happens. It is shown that, depending on the initial surface parameters, two different scenarios of step meandering are realized. In both these regimes meandering has different character as a function of time. For relatively high fluxes meanders have wavelengths shorter than the terrace width and they grow independently. Eventually surface ends up as a rough structure. When flux is lower regular pattern of meanders emerges. Step meander even if Schwoebel barrier is absent. Too high barrier destroys step stability. The amplitude of wavelike step meanders increases in time up to a saturation value. The mechanism of such meander development is elucidated.


title: Gain assisted nanocomposite multilayers with near zero permittivity modulus at visible frequencies

abstract: We have fabricated a layered nano-composite by alternating metal and gain medium layers, the gain dielectric consisting of a polymer incorporating optically pumped dye molecules. Exploiting an improved version of the effective medium theory, we have chosen the layers thicknesses for achieving a very small value of the real part of the permittivity epsilon_\| (parallel to the layers plane) at a prescribed visible wavelength. From standard reflection-transmission experiments on the optically pumped sample we show that, at a visible wavelength, both the real and the imaginary parts of the permittivity epsilon_\ attain very small values and we measure | \epsilon_\| | = 0.04 at lambda = 604 nm, amounting to a 21.5-percent decrease of the minimum | \epsilon_\| | in the absence of optical pumping. Our investigation thus proves that a medium with a dielectric permittivity with very small modulus, a key condition which should provide efficient subwavelength optical steering, can be actually synthesized.


title: Evolution of the dust/gas environment around Herbig Ae/Be stars

abstract: With the KOSMA 3-m telescope, 54 Herbig Ae/Be stars were surveyed in CO and $^{13}$CO emission lines. The properties of the stars and their circumstellar environments are studied by fitting the SEDs. The mean line width of $^{13}$CO (2-1) lines of this sample is 1.87 km s$^{-1}$. The average column density of H$_{2}$ is found to be $4.9\times10^{21}$ cm$^{-2}$ for the stars younger than $10^{6}$ yr, while drops to $2.5\times10^{21}$ cm$^{-2}$ for those older than $10^{6}$ yr. No significant difference is found among the SEDs of Herbig Ae stars and Herbig Be stars at the same age. The infrared excess decreases with age. The envelope masses and the envelope accretion rates decease with age after $10^{5}$ yr. The average disk mass of the sample is $3.3\times10^{-2} M_{\sun}$. The disk accretion rate decreases more slowly than the envelope accretion rate. A strong correlation between the CO line intensity and the envelope mass is found.


title: Inhomogeneous bond percolation on square, triangular and hexagonal lattices

abstract: The star-triangle transformation is used to obtain an equivalence extending over the set of all (in)homogeneous bond percolation models on the square, triangular and hexagonal lattices. Among the consequences are box-crossing (RSW) inequalities for such models with parameter-values at which the transformation is valid. This is a step toward proving the universality and conformality of these processes. It implies criticality of such values, thereby providing a new proof of the critical point of inhomogeneous systems. The proofs extend to certain isoradial models to which previous methods do not apply.


title: Experimental demonstration of frequency pulling in single-pass free-electron lasers

abstract: Frequency pulling is a well-known phenomenon in standard laser physics, leading to a shift of the laser frequency when the cavity and maximum gain frequencies are detuned. In this letter we present the first experimental demonstration of frequency pulling in single-pass free-electron lasers. Measurements are performed using the single-pass free-electron laser installed on the Elettra storage ring.


title: Bright-like soliton solution in quasi-one-dimensional BEC in third order on interaction radius

abstract: Nonlinear Schr\"{o}dinger equations and corresponding quantum hydrodynamic (QHD) equations are widely used in studying ultracold boson-fermion mixtures and superconductors. In this article, we show that a more exact account of interaction in Bose-Einstein condensate (BEC), in comparison with the Gross-Pitaevskii (GP) approximation, leads to the existence of a new type of solitons. We use a set of QHD equations in the third order by the interaction radius (TOIR), which corresponds to the GP equation in a first order by the interaction radius. The solution for the soliton in a form of expression for the particle concentration is obtained analytically. The conditions of existence of the soliton are studied. It is shown what solution exists if the interaction between the particles is repulsive. Particle concentration of order of $10^{12}$-$10^{14}$ $cm^{-3}$ has been achieved experimentally for the BEC, the solution exists if the scattering length is of the order of 1 $\mu$m, which can be reached using the Feshbach resonance. It is one of the limit case of existence of new solution. The corresponding scattering length decrease with the increasing of concentration of particles. The investigation of effects in the TOIR approximation gives a more detail information on interaction potentials between the atoms and can be used for a more detail investigation into the potential structure.


title: VUV and X-ray coherent light with tunable polarization from single-pass free-electron lasers

abstract: Tunable polarization over a wide spectral range is a required feature of light sources employed to investigate the properties of local symmetry in both condensed and low-density matter. Among new-generation sources, free-electron lasers possess a unique combination of very attractive features, as they allow to generate powerful and coherent ultra-short optical pulses in the VUV and X-ray spectral range. However, the question remains open about the possibility to freely vary the light polarization of a free-electron laser, when the latter is operated in the so-called nonlinear harmonic-generation regime. In such configuration, one collects the harmonics of the free-electron laser fundamental emission, gaining access to the shortest possible wavelengths the device can generate. In this letter we provide the first experimental characterization of the polarization of the harmonic light produced by a free-electron laser and we demonstrate a method to obtain tunable polarization in the VUV and X-ray spectral range. Experimental results are successfully compared to those obtained using a theoretical model based on the paraxial solution of Maxwell's equations. Our findings can be expected to have a deep impact on the design and realization of experiments requiring full control of light polarization to explore the symmetry properties of matter samples.


title: Semigroup C*-algebras and amenability of semigroups

abstract: We construct reduced and full semigroup C*-algebras for left cancellative semigroups. Our new construction covers particular cases already considered by A. Nica and also Toeplitz algebras attached to rings of integers in number fields due to J. Cuntz. Moreover, we show how (left) amenability of semigroups can be expressed in terms of these semigroup C*-algebras in analogy to the group case.


title: Finite First Hitting Time versus Stochastic Convergence in Particle Swarm Optimisation

abstract: We reconsider stochastic convergence analyses of particle swarm optimisation, and point out that previously obtained parameter conditions are not always sufficient to guarantee mean square convergence to a local optimum. We show that stagnation can in fact occur for non-trivial configurations in non-optimal parts of the search space, even for simple functions like SPHERE. The convergence properties of the basic PSO may in these situations be detrimental to the goal of optimisation, to discover a sufficiently good solution within reasonable time. To characterise optimisation ability of algorithms, we suggest the expected first hitting time (FHT), i.e., the time until a search point in the vicinity of the optimum is visited. It is shown that a basic PSO may have infinite expected FHT, while an algorithm introduced here, the Noisy PSO, has finite expected FHT on some functions.


title: Deformation Quantization and Irrational Numbers

abstract: Diophantine approximation is the problem of approximating a real number by rational numbers. We propose a version of this in which the numerators are approximately related to the denominators by a Laurent polynomial. Our definition is motivated by the problem of constructing strict deformation quantizations of symplectic manifolds. We show that this type of approximation exists for any real number and also investigate what happens if the number is rational or a quadratic irrational.


title: Monte Carlo Algorithms for the Partition Function and Information Rates of Two-Dimensional Channels

abstract: The paper proposes Monte Carlo algorithms for the computation of the information rate of two-dimensional source/channel models. The focus of the paper is on binary-input channels with constraints on the allowed input configurations. The problem of numerically computing the information rate, and even the noiseless capacity, of such channels has so far remained largely unsolved. Both problems can be reduced to computing a Monte Carlo estimate of a partition function. The proposed algorithms use tree-based Gibbs sampling and multilayer (multitemperature) importance sampling. The viability of the proposed algorithms is demonstrated by simulation results.


title: Testing neutrino magnetic moment in ionization of atoms by neutrino impact

abstract: The atomic ionization processes induced by scattering of neutrinos play key roles in the experimental searches for a neutrino magnetic moment. Current experiments with reactor (anti)neutrinos employ germanium detectors having energy threshold comparable to typical binding energies of atomic electrons, which fact must be taken into account in the interpretation of the data. Our theoretical analysis shows that the so-called stepping approximation to the neutrino-impact ionization is well applicable for the lowest bound Coulomb states, and it becomes exact in the semiclassical limit. Numerical evidence is presented using the Thomas-Fermi model for the germanium atom.


title: Multiple populations in Omega Centauri: a cluster analysis of spectroscopic data

abstract: Omega Cen is composed of several stellar populations. Their history might allow us to reconstruct the evolution of this complex object. We performed a statistical cluster analysis on the large data set provided by Johnson and Pilachowski (2010). Stars in Omega Cen divide into three main groups. The metal-poor group includes about a third of the total. It shows a moderate O-Na anticorrelation, and similarly to other clusters, the O-poor second generation stars are more centrally concentrated than the O-rich first generation ones. This whole population is La-poor, with a pattern of abundances for n-capture elements which is very close to a scaled r-process one. The metal-intermediate group includes the majority of the cluster stars. This is a much more complex population, with an internal spread in the abundances of most elements. It shows an extreme O-Na anticorrelation, with a very numerous population of extremely O-poor and He-rich second generation stars. This second generation is very centrally concentrated. This whole population is La-rich, with a pattern of the abundances of n-capture elements that shows a strong contribution by the s-process. The spread in metallicity within this metal-intermediate population is not very large, and we might attribute it either to non uniformities of an originally very extended star forming region, or to some ability to retain a fraction of the ejecta of the core collapse SNe that exploded first, or both. As previously noticed, the metal-rich group has an Na-O correlation, rather than anticorrelation. There is evidence for the contribution of both massive stars ending their life as core-collapse SNe, and intermediate/low mass stars, producing the s-capture elements. Kinematics of this population suggests that it formed within the cluster rather than being accreted.


title: Competing activation mechanisms in epidemics on networks

abstract: In contrast to previous common wisdom that epidemic activity in heterogeneous networks is dominated by the hubs with the largest number of connections, recent research has pointed out the role that the innermost, dense core of the network plays in sustaining epidemic processes. Here we show that the mechanism responsible of spreading depends on the nature of the process. Epidemics with a transient state are boosted by the innermost core. Contrarily, epidemics allowing a steady state present a dual scenario, where either the hub independently sustains activity and propagates it to the rest of the system, or, alternatively, the innermost network core collectively turns into the active state, maintaining it globally. In uncorrelated networks the former mechanism dominates if the degree distribution decays with an exponent larger than 5/2, and the latter otherwise. Topological correlations, rife in real networks, may perturb this picture, mixing the role of both mechanisms.


title: Real-time Fermions for Baryogenesis Simulations

abstract: We study how to numerically simulate quantum fermions out of thermal equilibrium, in the context of electroweak baryogenesis. We find that by combining the lattice implementation of Aarts and Smit [1] with the "low cost" fermions of Borsanyi and Hindmarsh [2], we are able to describe the dynamics of a classical bosonic system coupled to quantum fermions, that correctly reproduces anomalous baryon number violation. To demonstrate the method, we apply it to the 1+1 dimensional axial U(1) model, and perform simulations of a fast symmetry breaking transition. Compared to solving all the quantum mode equations as in [1], we find that this statistical approach may lead to a significant gain in computational time, when applied to 3+1 dimensional physics.