title: Some results on equivalence of multi-letter quantum finite automata

abstract: Two quantum finite automata are equivalent if for all input string $\omega$ over the input alphabet the two automata accept $\omega$ with equal probability. In [Theoret. Comput. Sci. 410 (2009) 3006-3017], it was shown that a $k_1$-letter QFA $\mathcal{A}_1$ and a $k_2$-letter QFA $\mathcal{A}_2$ over $\Sigma=\{\sigma\}$, are equivalent if and only if they are $(n_1+n_2)^4+k-1$-equivalent where $n_i$ is the number of states of $\mathcal{A}_i$, $i=1,2$, and $k=\max\{k_1,k_2\}$. In this letter, we improve the above upper-bound to $(n_1^2+n_2^2-1)+k$. This also answers an open problem of Qiu et al. [Acta Informatica 48 (2011) 271-290]. Further, we show that, in the case of $\Sigma=\{\sigma_1,...,\sigma_t\}$ with $2\leq t<\infty$, there exists an integer $z$ such that $\mathcal{A}_1$ and $\mathcal{A}_2$ are equivalent if and only if they satisfy $z$-equivalent.


title: The Structure of a Self-Gravitating Protoplanetary Disk and its Implications to Direct Imaging Observations

abstract: We consider the effects of self-gravity on the hydrostatic balance in the vertical direction of a gaseous disk and discuss the possible signature of the self-gravity that may be captured by the direct imaging observations of protoplanetary disks in future. In this paper, we consider a vertically isothermal disk in order to isolate the effects of self-gravity. The specific disk model we consider in this paper is the one with a radial surface density gap, at which the Toomre's $Q$-parameter of the disk varies rapidly in the radial direction. We calculate the vertical structure of the disk including the effects of self-gravity. We then calculate the scattered light and the dust thermal emission. We find that if the disk is massive enough and the effects of self-gravity come into play, a weak bump-like structure at the gap edge appears in the near-infrared (NIR) scattered light, while no such bump-like structure is seen in the sub-mm dust continuum image. The appearance of the bump is caused by the variation of the height of the surface in the NIR wavelength. If such bump-like feature is detected in future direct imaging observations, with the combination of sub-mm observations, it will bring us useful information about the physical states of the disk.


title: Show by a theoretical and experimental argument that potassium atoms possess a permanent electric dipole moment based on the orbital angular momentum

abstract: The permanent electric dipole moment (EDM) of the ground state of potassium has been found by measuring the electric susceptibility. We find d(K)=(1.58 plus or minus 0.19(stat) plus or minus 0.13(syst)) times 10-8 e.cm and the induced EDM, d(ind) is less than1.5 times 10-16 e.cm, can be neglected. The experimental K material with purity 0.9995 is supplied by Strem Chemicals Co. USA. This paper shows that the permanent EDM is based on the orbital angular momentum (where the spin is irrelevant), and neither space inversion nor time reversal is a symmetry operation for an alkali atom. In fact, the famous Runge-Lenz vector M is simply the permanent EDM vector of an alkali atom. As early as 1926, W. Pauli calculated the energy levels of the hydrogen using the vector M. Therefore, our work may fall into the category of the most exciting discoveries during the past few decades.


title: Argon Purification Studies and a Novel Liquid Argon Re-circulation System

abstract: Future giant liquid argon (LAr) time projection chambers (TPCs) require a purity of better than 0.1 parts per billion (ppb) to allow the ionised electrons to drift without significant capture by any electronegative impurities. We present a comprehensive study of the effects of electronegative impurity on gaseous and liquid argon scintillation light, an analysis of the efficacy of various purification chemicals, as well as the Liverpool LAr setup, which utilises a novel re-circulation purification system. Of the impurities tested - Air, O_2, H_2O, N_2 and CO_2 in the range of between 0.01 ppm to 1000 ppm - H_2O was found to have the most profound effect on gaseous argon scintillation light, and N_2 was found to have the least. Additionally, a correlation between the slow component decay time and the total energy deposited with 0.01 ppm - 100 ppm O_2 contamination levels in liquid argon has been established. The superiority of molecular sieves over anhydrous complexes at absorbing Ar gas, N_2 gas and H_2O vapour has been quantified using BET isotherm analysis. The efficiency of Cu and P_2O5 at removing O_2 and H_2O impurities from 1 bar N6 argon gas at both room temperature and -130 ^oC was investigated and found to be high. A novel, highly scalable LAr re-circulation system has been developed. The complete system, consisting of a motorised bellows pump operating in liquid and a purification cartridge, were designed and built in-house. The system was operated successfully over many days and achieved a re-circulation rate of 27 litres/hour and high purity.


title: Turbulent fluctuations around Bjorken flow

abstract: We study the evolution of local event-by-event deviations from smooth average fluid dynamic fields, as they can arise in heavy ion collisions from the propagation of fluctuating initial conditions. Local fluctuations around Bjorken flow are found to be governed by non-linear equations whose solutions can be characterized qualitatively in terms of Reynolds numbers. Perturbations at different rapidities decouple quickly, and satisfy (after suitable coordinate transformations) an effectively two-dimensional Navier-Stokes equation of non-relativistic form. We discuss the conditions under which non-linearities in these equations cannot be neglected and turbulent behavior is expected to set in.


title: Spinning-particle model for the Dirac equation and the relativistic Zitterbewegung

abstract: We construct the relativistic particle model without Grassmann variables which meets the following requirements. A) Canonical quantization of the model implies the Dirac equation. B) The variable which experiences {\it Zitterbewegung}, represents a gauge non-invariant variable in our model. Hence our particle does not experiences the undesirable {\it Zitterbewegung}. C) In the nonrelativistic limit spin is described by three-vector, as it could be expected.


title: Black Holes as Rubik's Cubes

abstract: We propose a unitary toy model of black hole evaporation, in which the entanglement between the interior and exterior degrees of freedom vanishes at late times. Our model possesses the information-free property and satisfies the niceness conditions discussed in the literature. A key feature of the model is that the Hilbert space of black hole internal states contains a vacuum state corresponding to the completely evaporated black hole, which can be reached from any initial state via the Hawking process. Our model suggests a novel quantum cosmological way in which information can get out of an evaporating black hole.


title: Opportunistic Power Control for Multi-Carrier Interference Channels

abstract: We propose a new method for opportunistic power control in multi-carrier interference channels for delay-tolerant data services. In doing so, we utilize a game theoretic framework with novel constraints, where each user tries to maximize its utility in a distributed and opportunistic manner, while satisfying the game's constraints by adapting its transmit power to its channel. In this scheme, users transmit with more power on good sub-channels and do the opposite on bad sub-channels. In this way, in addition to the allocated power on each sub-channel, the total power of all users also depends on channel conditions. Since each user's power level depends on power levels of other users, the game belongs to the \emph{generalized} Nash equilibrium (GNE) problems, which in general, is hard to analyze. We show that the proposed game has a GNE, and derive the sufficient conditions for its uniqueness. Besides, we propose a new pricing scheme for maximizing each user's throughput in an opportunistic manner under its total power constraint; and provide the sufficient conditions for the algorithm's convergence and its GNE's uniqueness. Simulations confirm that our proposed scheme yields a higher throughput for each user and/or has a significantly improved efficiency as compared to other existing opportunistic methods.


title: Quantum Spectrum of Cherenkov Glue

abstract: Full quantum calculation of Cherenkov gluon radiation by quark and gluon currents and a Cherenkov decay of a gluon into a pair of Cherenkov gluons in transparent media is performed. Energy losses due to Cherenkov gluon radiation in high energy nuclear collisions are calculated. The angular distribution of the energy flow due to the radiation of Cherenkov gluons is analyzed.


title: Simulation of a two-dimensional model for colloids in a uniaxial electric field

abstract: We perform Monte Carlo simulations of a simplified two-dimensional model for colloidal hard spheres in an external uniaxial AC electric field. Experimentally, the external field induces dipole moments in the colloidal particles, which in turn form chains. We therefore approximate the system as composed of well formed chains of dipolar hard spheres of a uniform length. The dipolar interaction between colloidal spheres gives rise to an effective interaction between the chains, which we treat as disks in a plane, that includes a short range attraction and long range repulsion. Hence, the system favors finite clustering over bulk phase separation and indeed we observe at low temperature and density that the system does form a cluster phase. As density increases, percolation is accompanied by a pressure anomaly. The percolated phase, despite being composed of connected, locally crystalline domains, does not bear the typical signatures of a hexatic phase. At very low densities, we find no indication of a "void phase" with a cellular structure seen recently in experiments.


title: Structural physical approximations and entanglement witnesses

abstract: The structural physical approximation (SPA) to a positive map is considered to be one of the most important method to detect entanglement in the real physical world. We first show that an arbitrary entanglement witness (EW) $W$ can be constructed from a separable density matrix $\sigma$ in the form of $W=\sigma-c_{\sigma} I$, where $c_{\sigma}$ is a non-negative number and $I$ is the identity matrix. Following the general form of EWs from separable states, we show a sufficient condition and a sufficient and necessary condition in low dimensions of that SPAs to positive maps do not define entanglement-breaking channels. We show that either the SPA of an EW or the SPA of the partial transposition of the EW in low dimensions is an entanglement-breaking channel. We give sufficient conditions of violating the SPA conjecture [\emph{Phys. Rev. A}{\bf 78,} 062105 (2008)]. Our results indicate that the SPA conjecture is independent of whether or not positive maps are optimal.


title: Localization of M-Particle Quantum Walks

abstract: We study the motion of M particles performing a quantum walk on the line. Under various conditions on the initial coin states for quantum walkers controlled by the Hadamard operator, we give theoretical criterion to observe the quantum walkers at an initial location with high probability.


title: Study of Thermodynamics in Generalized Holographic and Ricci Dark Energy Models

abstract: We have considered the flat FRW model of the universe which is filled with the combination of dark matter and dark energy. Here we have considered two types of dark energy models: (i) Generalized holographic and (ii) generalized Ricci dark energies. The general descriptions of first law and generalized second law (GSL) of thermodynamics have studied on the apparent horizon, particle horizon and event horizon of the universe. We have shown that the first law and GSL are always valid on apparent horizon and first law can not be satisfied on the particle and event horizons in Einstein's gravity. These results are always true for any types of dark energy models i.e., these results do not depend on the dark energy models in Einstein's gravity. But the GSL completely depends on the choices of dark energy models in Einstein's gravity. Here we have discussed the validity of GSL in Generalized holographic and generalized Ricci dark energy models. On the particle horizon GSL may be satisfied but on the event horizon the GSL can not be satisfied for both the dark energy models. Also we have considered the Generalized holographic dark energy and generalized Ricci dark energy as the original holographic dark energy, so in this situation we have calculated the expression of the radius of the horizon $L$. On this horizon, we have shown that the first law can not be satisfied. Finally, on the horizon of radius $L$, we have found that the GSL can not be satisfied for both the dark energy models.


title: A General Framework for Structured Sparsity via Proximal Optimization

abstract: We study a generalized framework for structured sparsity. It extends the well-known methods of Lasso and Group Lasso by incorporating additional constraints on the variables as part of a convex optimization problem. This framework provides a straightforward way of favouring prescribed sparsity patterns, such as orderings, contiguous regions and overlapping groups, among others. Existing optimization methods are limited to specific constraint sets and tend to not scale well with sample size and dimensionality. We propose a novel first order proximal method, which builds upon results on fixed points and successive approximations. The algorithm can be applied to a general class of conic and norm constraints sets and relies on a proximity operator subproblem which can be computed explicitly. Experiments on different regression problems demonstrate the efficiency of the optimization algorithm and its scalability with the size of the problem. They also demonstrate state of the art statistical performance, which improves over Lasso and StructOMP.


title: The Heine-Stieltjes correspondence and the polynomial approach to the standard pairing problem

abstract: A new approach for solving the Bethe ansatz (Gaudin-Richardson) equations of the standard pairing problem is established based on the Heine-Stieltjes correspondence. For $k$ pairs of valence nucleons on $n$ different single-particle levels, it is found that solutions of the Bethe ansatz equations can be obtained from one (k+1)x(k+1) and one (n-1)x(k+1) matrices, which are associated with the extended Heine-Stieltjes and Van Vleck polynomials, respectively. Since the coefficients in these polynomials are free from divergence with variations in contrast to the original Bethe ansatz equations, the approach thus provides with a new efficient and systematic way to solve the problem, which, by extension, can also be used to solve a large class of Gaudin-type quantum many-body problems and to establish a new efficient angular momentum projection method for multi-particle systems.

categories: nucl-th cond-mat.str-el math-ph math.MP quant-ph


title: Photometric Observations of 107P/Wilson-Harrington

abstract: We present lightcurve observations and multiband photometry for 107P/Wilson-Harrington using five small- and medium-sized telescopes. The lightcurve has shown a periodicity of 0.2979 day (7.15 hour) and 0.0993 day (2.38 hour), which has a commensurability of 3:1. The physical properties of the lightcurve indicate two models: (1) 107P/Wilson-Harrington is a tumbling object with a sidereal rotation period of 0.2979 day and a precession period of 0.0993 day. The shape has a long axis mode (LAM) of L1:L2:L3 = 1.0:1.0:1.6. The direction of the total rotational angular momentum is around {\lambda} = 310{\deg}, {\beta} = -10{\deg}, or {\lambda} = 132{\deg}, {\beta} = -17{\deg}. The nutation angle is approximately constant at 65{\deg}. (2) 107P/Wilson-Harrington is not a tumbler. The sidereal rotation period is 0.2979 day. The shape is nearly spherical but slightly hexagonal with a short axis mode (SAM) of L1:L2:L3 = 1.5:1.5:1.0. The pole orientation is around {\lambda} = 330{\deg}, {\beta} = -27{\deg}. In addition, the model includes the possibility of binary hosting. For both models, the sense of rotation is retrograde. Furthermore, multiband photometry indicates that the taxonomy class of 107P/Wilson-Harrington is C-type. No clear rotational color variations are confirmed on the surface.


title: Real algebraic geometry for matrices over commutative rings

abstract: We define and study preorderings and orderings on rings of the form $M_n(R)$ where $R$ is a commutative unital ring. We extend the Artin-Lang theorem and Krivine-Stengle Stellens\"atze (both abstract and geometric) from $R$ to $M_n(R)$. While the orderings of $M_n(R)$ are in one-to-one correspondence with the orderings of $R$, this is not true for preorderings. Therefore, our theory is not Morita equivalent to the classical real algebraic geometry.


title: Many-Body Effects in a Model of Electromagnetically Induced Transparency

abstract: We study the effect of inter-band interactions in the absorption profile of a semi-classical model describing electromagnetically induced transparency. We develop a consistent approach using a non-hermitian Hamiltonian to model particle decay. This allow us to characterize the system response for different number of particles so that the effect of particle-interaction on the transmission profile can be studied over a wide range of characteristic parameters.


title: The Shape of the Noncentral Chi-square Density

abstract: A noncentral chi-square density is log-concave if the degree of freedom is nu>=2. We complement this known result by showing that, for each 0<nu<2, there exists lambda_nu>0 such that the chi-square with nu degrees of freedom and noncentrality parameter lambda has a decreasing density if lambda <= lambda_nu, and is bi-modal otherwise. The critical lambda_nu is characterized by an equation involving a ratio of modified Bessel functions. When an interior mode exists we derive precise bounds on its location.


title: High Dimensional Sparse Econometric Models: An Introduction

abstract: In this chapter we discuss conceptually high dimensional sparse econometric models as well as estimation of these models using L1-penalization and post-L1-penalization methods. Focusing on linear and nonparametric regression frameworks, we discuss various econometric examples, present basic theoretical results, and illustrate the concepts and methods with Monte Carlo simulations and an empirical application. In the application, we examine and confirm the empirical validity of the Solow-Swan model for international economic growth.


title: Non-Hermitian oscillator Hamiltonians and multiple Charlier polynomials

abstract: A set of r non-Hermitian oscillator Hamiltonians in r dimensions is shown to be simultaneously diagonalizable. Their spectra is real and the common eigenstates are expressed in terms of multiple Charlier polynomials. An algebraic interpretation of these polynomials is thus achieved and the model is used to derive some of their properties.


title: Equidistribution of zeros of holomorphic sections in the non compact setting

abstract: We consider N-tensor powers of a positive Hermitian line bundle L over a non-compact complex manifold X. In the compact case, B. Shiffman and S. Zelditch proved that the zeros of random sections become asymptotically uniformly distributed with respect to the natural measure coming from the curvature of L, as N tends to infinity. Under certain boundedness assumptions on the curvature of the canonical line bundle of X and on the Chern form of L we prove a non-compact version of this result. We give various applications, including the limiting distribution of zeros of cusp forms with respect to the principal congruence subgroups of SL2(Z) and to the hyperbolic measure, the higher dimensional case of arithmetic quotients and the case of orthogonal polynomials with weights at infinity. We also give estimates for the speed of convergence of the currents of integration on the zero-divisors.


title: Propagation and blocking in periodically hostile environments

abstract: We study the persistence and propagation (or blocking) phenomena for a species in periodically hostile environments. The problem is described by a reaction-diffusion equation with zero Dirichlet boundary condition. We first derive the existence of a minimal nonnegative nontrivial stationary solution and study the large-time behavior of the solution of the initial boundary value problem. To the main goal, we then study a sequence of approximated problems in the whole space with reaction terms which are with very negative growth rates outside the domain under investigation. Finally, for a given unit vector, by using the information of the minimal speeds of approximated problems, we provide a simple geometric condition for the blocking of propagation and we derive the asymptotic behavior of the approximated pulsating travelling fronts. Moreover, for the case of constant diffusion matrix, we provide two conditions for which the limit of approximated minimal speeds is positive.


title: Projectively Equivariant Quantization and Symbol calculus in dimension 1|2

abstract: The spaces of higher-order differential operators (in Dimension 1|2), which are modules over the stringy Lie superalgebra K(2), are isomorphic to the corresponding spaces of symbols as orthosymplectic modules in non resonant cases. Such an osp (2|2)-equivariant quantization, which has been given in second-order differential operators case, keeps existing and unique. We calculate its explicit formula that provides extension in particular order cases.


title: On Some Explicit Formulas for Bernoulli Numbers and Polynomials

abstract: We provide direct elementary proofs of several explicit expressions for Bernoulli numbers and Bernoulli polynomials. As a byproduct of our method of proof, we provide natural definitions for generalized Bernoulli numbers and polynomials of complex order.


title: Semi-classical theory for quantum quenches in finite transverse Ising chains

abstract: We present a quantitative semi-classical theory for the non-equilibrium dynamics of transverse Ising chains after quantum quenches, in particular sudden changes of the transverse field strength. We obtain accurate predictions for the quench dependent relaxation times and correlation lengths, and also about the recurrence times and quasiperiodicity of time dependent correlations in finite systems with open or periodic boundary conditions. We compare the quantiative predictions of our semi-classical theory (local magnetization, equal time bulk-bulk and surface-to-bulk correlations, and bulk autocorrelations) with the results from exact free fermion calculations and discuss the range of applicability of the semi-classical theory and possible generaliztaions and extensions.


title: The strength of strong ties in scientific collaboration networks

abstract: Network topology and its relationship to tie strengths may hinder or enhance the spreading of information in social networks. We study the correlations between tie strengths and topology in networks of scientific collaboration, and show that these are very different from ordinary social networks. For the latter, it has earlier been shown that strong ties are associated with dense network neighborhoods, while weaker ties act as bridges between these. Because of this, weak links act as bottlenecks for the diffusion of information. We show that on the contrary, in co-authorship networks dense local neighborhoods mainly consist of weak links, whereas strong links are more important for overall connectivity. The important role of strong links is further highlighted in simulations of information spreading, where their topological position is seen to dramatically speed up spreading dynamics. Thus, in contrast to ordinary social networks, weight-topology correlations enhance the flow of information across scientific collaboration networks.


title: The Sun's meridional circulation and interior magnetic field

abstract: To date, no self-consistent numerical simulation of the solar interior has succeeded in reproducing the observed thinness of the solar tachocline, and the persistence of uniform rotation beneath it. Although it is known that the uniform rotation can be explained by the presence of a global-scale confined magnetic field, numerical simulations have thus far failed to produce any solution where such a field remains confined against outward diffusion. We argue that the problem lies in the choice of parameters for which these numerical simulations have been performed. We construct a simple analytical magneto-hydrodynamic model of the solar interior and identify several distinct parameter regimes. For realistic solar parameter values, our results are in broad agreement with the tachocline model of Gough & McIntyre. In this regime, meridional flows driven at the base of the convection zone are of sufficient amplitude to hold back the interior magnetic field against diffusion. For the parameter values used in existing numerical simulations, on the other hand, we find that meridional flows are significantly weaker and, we argue, unable to confine the interior field. We propose a method for selecting parameter values in future numerical models.


title: Generalized Stirling Numbers and Generalized Stirling Functions

abstract: Here presented is a unified approach to Stirling numbers and their generalizations as well as generalized Stirling functions by using generalized factorial functions, $k$-Gamma functions, and generalized divided difference. Previous well-known extensions of Stirling numbers due to Riordan, Carlitz, Howard, Charalambides-Koutras, Gould-Hopper, Hsu-Shiue, Tsylova Todorov, Ahuja-Enneking, and Stirling functions introduced by Butzer and Hauss, Butzer, Kilbas, and Trujilloet and others are included as particular cases of our generalization. Some basic properties related to our general pattern such as their recursive relations and generating functions are discussed. Three algorithms for calculating the Stirling numbers based on our generalization are also given, which include a comprehensive algorithm using the characterization of Riordan arrays.


title: Asymptotic behavior of pion form factors

abstract: We consider the electromagnetic and transition pion form factors. Using dispersion relations we simultaneously describe both the hadronic, time-like region and the asymptotic region of large energy-momentum transfer. For the latter we propose a novel mechanism of Regge fermion exchange.


title: User Arrival in MIMO Interference Alignment Networks

abstract: In this paper we analyze a constant multiple-input multiple-output interference channel where a set of active users are cooperating through interference alignment while a set of secondary users desire access to the channel. We derive the minimum number of secondary transmit antennas required so that a secondary user can use the channel without affecting the sum rate of the active users, under a zero-forcing equalization assumption. When the secondary users have enough antennas, we derive several secondary user precoders that approximately maximize the secondary users' sum rate without changing the sum rate of the active users. When the secondary users do not have enough antennas, we perform numerical optimization to find secondary user precoders that cause minimum degradation to the sum rate of the active users. Through simulations, we confirm that i) with enough antennas at the secondary users, gains equivalent to the case of all the users cooperating through interference alignment is obtainable, and ii) when the secondary users do not have enough antennas, large rate losses at the active users can be avoided.


title: Causal geometries, null geodesics, and gravity

abstract: The authors study a generalized notion of null geodesic defined by the Legendrian dynamics of a regular conical subbundle of the tangent bundle on a manifold. A natural extension of the Weyl tensor is shown to exist, and to depend only on this conical subbundle. Given a suitable defining function of the conical bundle, the Raychaudhuri--Sachs equations of general relativity continue to hold, and give rise to the same phenomenon of covergence of null geodesics in regions of positive energy that underlies the theory of gravitation.


title: Anisotropic two-orbital Hubbard model: single-site versus cluster dynamical mean-field theory

abstract: The anisotropic two-orbital Hubbard model with different bandwidths and degrees of frustration in each orbital is investigated in the framework of both single-site dynamical mean-field theory (DMFT) as well as its cluster extension (DCA) for clusters up to four sites combined with a continuous-time quantum Monte Carlo algorithm. This model shows a rich phase diagram which includes the appearance of orbital selective phase transitions, non-Fermi liquid behavior as well as antiferromagnetic metallic states. We discuss the advantages and drawbacks of employing the single-site DMFT with respect to DCA and the consequences for the physical picture obtained out of these calculations. Finally, we argue that such a minimal model may be of relevance to understand the nature of the antiferromagnetic metallic state in the iron-pnictide superconductors as well as the origin of the small staggered magnetization observed in these systems.


title: Structure and Complexity in Planning with Unary Operators

abstract: Unary operator domains -- i.e., domains in which operators have a single effect -- arise naturally in many control problems. In its most general form, the problem of STRIPS planning in unary operator domains is known to be as hard as the general STRIPS planning problem -- both are PSPACE-complete. However, unary operator domains induce a natural structure, called the domain's causal graph. This graph relates between the preconditions and effect of each domain operator. Causal graphs were exploited by Williams and Nayak in order to analyze plan generation for one of the controllers in NASA's Deep-Space One spacecraft. There, they utilized the fact that when this graph is acyclic, a serialization ordering over any subgoal can be obtained quickly. In this paper we conduct a comprehensive study of the relationship between the structure of a domain's causal graph and the complexity of planning in this domain. On the positive side, we show that a non-trivial polynomial time plan generation algorithm exists for domains whose causal graph induces a polytree with a constant bound on its node indegree. On the negative side, we show that even plan existence is hard when the graph is a directed-path singly connected DAG. More generally, we show that the number of paths in the causal graph is closely related to the complexity of planning in the associated domain. Finally we relate our results to the question of complexity of planning with serializable subgoals.


title: Answer Set Planning Under Action Costs

abstract: Recently, planning based on answer set programming has been proposed as an approach towards realizing declarative planning systems. In this paper, we present the language Kc, which extends the declarative planning language K by action costs. Kc provides the notion of admissible and optimal plans, which are plans whose overall action costs are within a given limit resp. minimum over all plans (i.e., cheapest plans). As we demonstrate, this novel language allows for expressing some nontrivial planning tasks in a declarative way. Furthermore, it can be utilized for representing planning problems under other optimality criteria, such as computing ``shortest'' plans (with the least number of steps), and refinement combinations of cheapest and fastest plans. We study complexity aspects of the language Kc and provide a transformation to logic programs, such that planning problems are solved via answer set programming. Furthermore, we report experimental results on selected problems. Our experience is encouraging that answer set planning may be a valuable approach to expressive planning systems in which intricate planning problems can be naturally specified and solved.


title: Learning to Coordinate Efficiently: A Model-based Approach

abstract: In common-interest stochastic games all players receive an identical payoff. Players participating in such games must learn to coordinate with each other in order to receive the highest-possible value. A number of reinforcement learning algorithms have been proposed for this problem, and some have been shown to converge to good solutions in the limit. In this paper we show that using very simple model-based algorithms, much better (i.e., polynomial) convergence rates can be attained. Moreover, our model-based algorithms are guaranteed to converge to the optimal value, unlike many of the existing algorithms.


title: An efficient method to calculate excitation energy transfer in light harvesting systems. Application to the FMO complex

abstract: A master equation, derived from the non-Markovian quantum state diffusion (NMQSD), is used to calculate excitation energy transfer in the photosynthetic Fenna-Matthews-Olson (FMO) pigment-protein complex at various temperatures. This approach allows us to treat spectral densities that contain explicitly the coupling to internal vibrational modes of the chromophores. Moreover, the method is very efficient, with the result that the transfer dynamics can be calculated within about one minute on a standard PC, making systematic investigations w.r.t. parameter variations tractable. After demonstrating that our approach is able to reproduce the results of the numerically exact hierarchical equations of motion (HEOM) approach, we show how the inclusion of vibrational modes influences the transfer.


title: SAPA: A Multi-objective Metric Temporal Planner

abstract: SAPA is a domain-independent heuristic forward chaining planner that can handle durative actions, metric resource constraints, and deadline goals. It is designed to be capable of handling the multi-objective nature of metric temporal planning. Our technical contributions include (i) planning-graph based methods for deriving heuristics that are sensitive to both cost and makespan (ii) techniques for adjusting the heuristic estimates to take action interactions and metric resource limitations into account and (iii) a linear time greedy post-processing technique to improve execution flexibility of the solution plans. An implementation of SAPA using many of the techniques presented in this paper was one of the best domain independent planners for domains with metric and temporal constraints in the third International Planning Competition, held at AIPS-02. We describe the technical details of extracting the heuristics and present an empirical evaluation of the current implementation of SAPA.


title: A New General Method to Generate Random Modal Formulae for Testing Decision Procedures

abstract: The recent emergence of heavily-optimized modal decision procedures has highlighted the key role of empirical testing in this domain. Unfortunately, the introduction of extensive empirical tests for modal logics is recent, and so far none of the proposed test generators is very satisfactory. To cope with this fact, we present a new random generation method that provides benefits over previous methods for generating empirical tests. It fixes and much generalizes one of the best-known methods, the random CNF_[]m test, allowing for generating a much wider variety of problems, covering in principle the whole input space. Our new method produces much more suitable test sets for the current generation of modal decision procedures. We analyze the features of the new method by means of an extensive collection of empirical tests.


title: AltAltp: Online Parallelization of Plans with Heuristic State Search

abstract: Despite their near dominance, heuristic state search planners still lag behind disjunctive planners in the generation of parallel plans in classical planning. The reason is that directly searching for parallel solutions in state space planners would require the planners to branch on all possible subsets of parallel actions, thus increasing the branching factor exponentially. We present a variant of our heuristic state search planner AltAlt, called AltAltp which generates parallel plans by using greedy online parallelization of partial plans. The greedy approach is significantly informed by the use of novel distance heuristics that AltAltp derives from a graphplan-style planning graph for the problem. While this approach is not guaranteed to provide optimal parallel plans, empirical results show that AltAltp is capable of generating good quality parallel plans at a fraction of the cost incurred by the disjunctive planners.


title: New Polynomial Classes for Logic-Based Abduction

abstract: We address the problem of propositional logic-based abduction, i.e., the problem of searching for a best explanation for a given propositional observation according to a given propositional knowledge base. We give a general algorithm, based on the notion of projection; then we study restrictions over the representations of the knowledge base and of the query, and find new polynomial classes of abduction problems.


title: Acquiring Correct Knowledge for Natural Language Generation

abstract: Natural language generation (NLG) systems are computer software systems that produce texts in English and other human languages, often from non-linguistic input data. NLG systems, like most AI systems, need substantial amounts of knowledge. However, our experience in two NLG projects suggests that it is difficult to acquire correct knowledge for NLG systems; indeed, every knowledge acquisition (KA) technique we tried had significant problems. In general terms, these problems were due to the complexity, novelty, and poorly understood nature of the tasks our systems attempted, and were worsened by the fact that people write so differently. This meant in particular that corpus-based KA approaches suffered because it was impossible to assemble a sizable corpus of high-quality consistent manually written texts in our domains; and structured expert-oriented KA techniques suffered because experts disagreed and because we could not get enough information about special and unusual cases to build robust systems. We believe that such problems are likely to affect many other NLG systems as well. In the long term, we hope that new KA techniques may emerge to help NLG system builders. In the shorter term, we believe that understanding how individual KA techniques can fail, and using a mixture of different KA techniques with different strengths and weaknesses, can help developers acquire NLG knowledge that is mostly correct.


title: Planning Through Stochastic Local Search and Temporal Action Graphs in LPG

abstract: We present some techniques for planning in domains specified with the recent standard language PDDL2.1, supporting 'durative actions' and numerical quantities. These techniques are implemented in LPG, a domain-independent planner that took part in the 3rd International Planning Competition (IPC). LPG is an incremental, any time system producing multi-criteria quality plans. The core of the system is based on a stochastic local search method and on a graph-based representation called 'Temporal Action Graphs' (TA-graphs). This paper focuses on temporal planning, introducing TA-graphs and proposing some techniques to guide the search in LPG using this representation. The experimental results of the 3rd IPC, as well as further results presented in this paper, show that our techniques can be very effective. Often LPG outperforms all other fully-automated planners of the 3rd IPC in terms of speed to derive a solution, or quality of the solutions that can be produced.


title: TALplanner in IPC-2002: Extensions and Control Rules

abstract: TALplanner is a forward-chaining planner that relies on domain knowledge in the shape of temporal logic formulas in order to prune irrelevant parts of the search space. TALplanner recently participated in the third International Planning Competition, which had a clear emphasis on increasing the complexity of the problem domains being used as benchmark tests and the expressivity required to represent these domains in a planning system. Like many other planners, TALplanner had support for some but not all aspects of this increase in expressivity, and a number of changes to the planner were required. After a short introduction to TALplanner, this article describes some of the changes that were made before and during the competition. We also describe the process of introducing suitable domain knowledge for several of the competition domains.


title: Potential-Based Shaping and Q-Value Initialization are Equivalent

abstract: Shaping has proven to be a powerful but precarious means of improving reinforcement learning performance. Ng, Harada, and Russell (1999) proposed the potential-based shaping algorithm for adding shaping rewards in a way that guarantees the learner will learn optimal behavior. In this note, we prove certain similarities between this shaping algorithm and the initialization step required for several reinforcement learning algorithms. More specifically, we prove that a reinforcement learner with initial Q-values based on the shaping algorithm's potential function make the same updates throughout learning as a learner receiving potential-based shaping rewards. We further prove that under a broad category of policies, the behavior of these two learners are indistinguishable. The comparison provides intuition on the theoretical properties of the shaping algorithm as well as a suggestion for a simpler method for capturing the algorithm's benefit. In addition, the equivalence raises previously unaddressed issues concerning the efficiency of learning with potential-based shaping.


title: Temporal Decision Trees: Model-based Diagnosis of Dynamic Systems On-Board

abstract: The automatic generation of decision trees based on off-line reasoning on models of a domain is a reasonable compromise between the advantages of using a model-based approach in technical domains and the constraints imposed by embedded applications. In this paper we extend the approach to deal with temporal information. We introduce a notion of temporal decision tree, which is designed to make use of relevant information as long as it is acquired, and we present an algorithm for compiling such trees from a model-based reasoning system.


title: Optimal Schedules for Parallelizing Anytime Algorithms: The Case of Shared Resources

abstract: The performance of anytime algorithms can be improved by simultaneously solving several instances of algorithm-problem pairs. These pairs may include different instances of a problem (such as starting from a different initial state), different algorithms (if several alternatives exist), or several runs of the same algorithm (for non-deterministic algorithms). In this paper we present a methodology for designing an optimal scheduling policy based on the statistical characteristics of the algorithms involved. We formally analyze the case where the processes share resources (a single-processor model), and provide an algorithm for optimal scheduling. We analyze, theoretically and empirically, the behavior of our scheduling algorithm for various distribution types. Finally, we present empirical results of applying our scheduling algorithm to the Latin Square problem.


title: Decision-Theoretic Bidding Based on Learned Density Models in Simultaneous, Interacting Auctions

abstract: Auctions are becoming an increasingly popular method for transacting business, especially over the Internet. This article presents a general approach to building autonomous bidding agents to bid in multiple simultaneous auctions for interacting goods. A core component of our approach learns a model of the empirical price dynamics based on past data and uses the model to analytically calculate, to the greatest extent possible, optimal bids. We introduce a new and general boosting-based algorithm for conditional density estimation problems of this kind, i.e., supervised learning problems in which the goal is to estimate the entire conditional distribution of the real-valued label. This approach is fully implemented as ATTac-2001, a top-scoring agent in the second Trading Agent Competition (TAC-01). We present experiments demonstrating the effectiveness of our boosting-based price predictor relative to several reasonable alternatives.


title: The Metric-FF Planning System: Translating "Ignoring Delete Lists" to Numeric State Variables

abstract: Planning with numeric state variables has been a challenge for many years, and was a part of the 3rd International Planning Competition (IPC-3). Currently one of the most popular and successful algorithmic techniques in STRIPS planning is to guide search by a heuristic function, where the heuristic is based on relaxing the planning task by ignoring the delete lists of the available actions. We present a natural extension of ``ignoring delete lists'' to numeric state variables, preserving the relevant theoretical properties of the STRIPS relaxation under the condition that the numeric task at hand is ``monotonic''. We then identify a subset of the numeric IPC-3 competition language, ``linear tasks'', where monotonicity can be achieved by pre-processing. Based on that, we extend the algorithms used in the heuristic planning system FF to linear tasks. The resulting system Metric-FF is, according to the IPC-3 results which we discuss, one of the two currently most efficient numeric planners.


title: Construction of Complete Embedded Self-Similar Surfaces under Mean Curvature Flow. Part III

abstract: We present new examples of complete embedded self-similar surfaces under mean curvature by gluing a sphere and a plane. These surfaces have finite genus and are the first examples of self-shrinkers in $\mathbb R^3$ that are not rotationally symmetric. The strategy for the construction is to start with a family of initial surfaces by desingularizing the intersection of a sphere and a plane, then solve a perturbation problem to obtain a one parameter family of self-similar surfaces. Although we start with surfaces asymptotic to a plane at infinity, the constructed self-similar surfaces are asymptotic to cones at infinity.


title: Petascale turbulence simulation using a highly parallel fast multipole method on GPUs

abstract: This paper reports large-scale direct numerical simulations of homogeneous-isotropic fluid turbulence, achieving sustained performance of 1.08 petaflop/s on gpu hardware using single precision. The simulations use a vortex particle method to solve the Navier-Stokes equations, with a highly parallel fast multipole method (FMM) as numerical engine, and match the current record in mesh size for this application, a cube of 4096^3 computational points solved with a spectral method. The standard numerical approach used in this field is the pseudo-spectral method, relying on the FFT algorithm as numerical engine. The particle-based simulations presented in this paper quantitatively match the kinetic energy spectrum obtained with a pseudo-spectral method, using a trusted code. In terms of parallel performance, weak scaling results show the fmm-based vortex method achieving 74% parallel efficiency on 4096 processes (one gpu per mpi process, 3 gpus per node of the TSUBAME-2.0 system). The FFT-based spectral method is able to achieve just 14% parallel efficiency on the same number of mpi processes (using only cpu cores), due to the all-to-all communication pattern of the FFT algorithm. The calculation time for one time step was 108 seconds for the vortex method and 154 seconds for the spectral method, under these conditions. Computing with 69 billion particles, this work exceeds by an order of magnitude the largest vortex method calculations to date.


title: Endogenous Bubbles in Derivatives Markets: The Risk Neutral Valuation Paradox

abstract: This paper highlights the role of risk neutral investors in generating endogenous bubbles in derivatives markets. We find that a market for derivatives, which has all the features of a perfect market except completeness and has some risk neutral investors, can exhibit extreme price movements which represent a violation to the Gaussian random walk hypothesis. This can be viewed as a paradox because it contradicts wide-held conjectures about prices in informationally efficient markets with rational investors. Our findings imply that prices are not always good approximations of the fundamental values of derivatives, and that extreme price movements like price peaks or crashes may have endogenous origin and happen with a higher-than-normal frequency.


title: Lower Bounds for Ground States of Condensed Matter Systems

abstract: Standard variational methods tend to obtain upper bounds on the ground state energy of quantum many-body systems. Here we study a complementary method that determines lower bounds on the ground state energy in a systematic fashion, scales polynomially in the system size and gives direct access to correlation functions. This is achieved by relaxing the positivity constraint on the density matrix and replacing it by positivity constraints on moment matrices, thus yielding a semi-definite programme. Further, the number of free parameters in the optimization problem can be reduced dramatically under the assumption of translational invariance. A novel numerical approach, principally a combination of a projected gradient algorithm with Dykstra's algorithm, for solving the optimization problem in a memory-efficient manner is presented and a proof of convergence for this iterative method is given. Numerical experiments that determine lower bounds on the ground state energies for the Ising and Heisenberg Hamiltonians confirm that the approach can be applied to large systems, especially under the assumption of translational invariance.


title: Fine asymptotic geometry in the Heisenberg group

abstract: For every finite generating set on the integer Heisenberg group H(Z), Pansu showed that the word metric has the large-scale structure of a Carnot-Caratheodory Finsler metric on the real Heisenberg group H(R). We study the properties of those limit metrics and obtain results about the geometry of word metrics that reflect the dependence on generators. For example we will study the probability that a group element has all of its geodesic spellings sublinearly close together, relative to the size of the element. In free abelian groups of rank at least two, that probability is 0; in infinite hyperbolic groups, the probability is 1. In H(Z) it is a rational number strictly between 0 and 1 that depends on the generating set; with respect to the standard generators, the probability is precisely 19/31.


title: Motzkin Algebras

abstract: We introduce an associative algebra $\M_k(x)$ whose dimension is the $2k$-th Motzkin number. The algebra $\M_k(x)$ has a basis of "Motzkin diagrams," which are analogous to Brauer and Temperley-Lieb diagrams, and it contains the Temperley-Lieb algebra $\TL_k(x)$ as a subalgebra. We prove that for a particular value of $x$, the algebra $\M_k(x)$ is the centralizer algebra of $\uqsl$ acting on the $k$-fold tensor power of the sum of the 1-dimensional and 2-dimensional irreducible $\uqsl$-modules. We show that $\M_k(x)$ is generated by special diagrams $\ell_i, t_i, r_i \ (1 \le i < k)$ and $p_j \ (1 \le j \le k)$, and that it has a factorization into three subalgebras $\M_k(x) = \RP_k \TL_k(x)\, \LP_k$, all of which have dimensions given by Catalan numbers. We define an action of $\M_k(x)$ on Motzkin paths of rank $r$, and in this way, construct a set of indecomposable modules $\C_k^{(r)}$, $0 \le r \le k$. We prove that $\M_k(x)$ is cellular in the sense of Graham and Lehrer and that the $\C_k^{(r)}$ are the left cell representations. We compute the determinant of the Gram matrix of a bilinear form on $\C_k^{(r)}$ for each $r$ and use these determinants to show that $\M_k(x)$ is semisimple exactly when $x$ is not the root of certain Chebyshev polynomials.


title: Collapse transition of flexible homopolymers with adhesive contacts

abstract: The presence of ordered structures such as helices in collapsed states of polymer chains is still an open question challenging physics and biology. In this work, we present a potential model for polymer chains with monomers that are not strictly attractive, but that can make adhesive contacts with other monomers. We find that the chain develop helical order during the process of collapsing from an initially stretched conformation. It seems in this case that the adhesive contacts help the polymer chain to stay trapped in the helix state.


title: A Penrose polynomial for embedded graphs

abstract: We extend the Penrose polynomial, originally defined only for plane graphs, to graphs embedded in arbitrary surfaces. Considering this Penrose polynomial of embedded graphs leads to new identities and relations for the Penrose polynomial which can not be realized within the class of plane graphs. In particular, by exploiting connections with the transition polynomial and the ribbon group action, we find a deletion-contraction-type relation for the Penrose polynomial. We relate the Penrose polynomial of an orientable checkerboard colourable graph to the circuit partition polynomial of its medial graph and use this to find new combinatorial interpretations of the Penrose polynomial. We also show that the Penrose polynomial of a plane graph G can be expressed as a sum of chromatic polynomials of twisted duals of G. This allows us to obtain a new reformulation of the Four Colour Theorem.


title: Long-period variables in NGC147 and NGC185

abstract: Previous studies on the stellar content of the two nearby dwarf galaxies NGC147 and NGC185 reveal a rich population of late-type giants in both systems, including a large number of carbon-rich objects. These stars are known to show pronounced photometric variability, which can be used for a more detailed characterisation of these highly evolved stars. Owing to their well-studied parameters, these Local Group members are ideal candidates for comparative studies. Trough photometric monitoring, we attempt to provide a catalogue of long-period variables (LPVs), including Mira variables, semi-regular variables, and even irregular variables in NGC 147 and NGC185. We investigate the light variations and compare the characteristics of these two LPV populations with the results found for other galaxies such as the LMC. We carried out time-series photometry in the i-band of the two target galaxies with the Nordic Optical Telescope (NOT), covering a time span of \approx2.5 years. These data were then combined with single-epoch K-band photometry, also obtained with the NOT. Narrow-band photometry data from the literature was used to distinguish between O-rich and C-rich stars. We report the detection of 513 LPVs in NGC185 and 213 LPVs in NGC147, showing i-amplitudes of up to \approx 2mag and periods ranging between 90 and 800 days. The period-luminosity diagram for each of our target galaxies exhibits a well populated sequence of fundamental mode pulsators. The resulting period-luminosity relations we obtained are compared to relations from the literature. We discuss the universality of those relations because of which, as a side result, a correction of the distance modulus of NGC185 may be necessary. Only one of our two galaxies, namely NGC185, has a significant fraction of possibly first overtone pulsators. An interpretation of this finding in terms of differences in the star-formation histories is suggested.


title: Angular correlations in the two--photon decay of helium--like heavy ions

abstract: The two-photon decay of heavy, helium-like ions is investigated based on second-order perturbation theory and Dirac's relativistic equation. Special attention has been paid to the angular emission of the two photons, i.e., how the angular correlation function depends on the shell structure of the ions in their initial and final states. Moreover, the effects from the (electric and magnetic) non-dipole terms in the expansion of the electron-photon interaction are discussed. Detailed calculations have been carried out for the two-photon decay of the $1s2s \, ^1S_0$, $1s2s \, ^3S_1$ and $1s2p \, ^3P_0$ states of helium-like xenon Xe$^{52+}$, gold Au$^{77+}$ and uranium U$^{90+}$ ions.


title: Scalar Field Cosmology I: Asymptotic Freedom and the Initial-Value Problem

abstract: The purpose of this work is to use a renormalized quantum scalar field to investigate very early cosmology, in the Planck era immediately following the big bang. Renormalization effects make the field potential dependent on length scale, and are important during the big bang era. We use the asymptotically free Halpern-Huang scalar field, which is derived from renormalization-group analysis, and solve Einstein's equation with Robertson-Walker metric as an initial-value problem. The main prediction is that the Hubble parameter follows a power law: $H\equiv\dot{a}/a\sim t^{-p}$, and the universe expands at an accelerated rate: $a\sim\exp t^{1-p}$. This gives "dark energy", with an equivalent cosmological constant that decays in time like $t^{-2p}$, which avoids the "fine-tuning" problem. The power law predicts a simple relation for the galactic redshift. Comparison with data leads to the speculation that the universe experienced a crossover transition, which was completed about 7 billion years ago.


title: Scalar Field Cosmology II: Superfluidity, Quantum Turbulence, and Inflation

abstract: We generalize the big-bang model in a previous paper by extending the real vacuum scalar field to a complex vacuum scalar field, within the FLRW framework. The phase dynamics of the scalar field, which makes the universe a superfluid, is described in terms of a density of quantized vortex lines, and a tangle of vortex lines gives rise to quantum turbulence. We propose that all the matter in the universe was created in the turbulence, through reconnection of vortex lines, a process necessary for the maintenance of the vortex tangle. The vortex tangle grows and decays, and its lifetime is the era of inflation. These ideas are implemented in a set of closed cosmological equations that describe the cosmic expansion driven by the scalar field on the one hand, and the vortex-matter dynamics on the other. We show how these two aspects decouple from each other, due to a vast difference in energy scales. The model is not valid beyond the inflation era, but the universe remains a superfluid afterwards. This gives rise to observable effects in the present universe, including dark matter, galactic voids, non-thermal filaments, and cosmic jets.


title: Numerical Investigation of a Coronal Mass Ejection from an Anemone Active Region: Reconnection and Deflection of the 2005 August 22 Eruption

abstract: We present a numerical investigation of the coronal evolution of a coronal mass ejection (CME) on 2005 August 22 using a 3-D thermodynamics magnetohydrodynamic model, the SWMF. The source region of the eruption was anemone active region (AR) 10798, which emerged inside a coronal hole. We validate our modeled corona by producing synthetic extreme ultraviolet (EUV) images, which we compare to EIT images. We initiate the CME with an out-of-equilibrium flux rope with an orientation and chirality chosen in agreement with observations of a H-alpha filament. During the eruption, one footpoint of the flux rope reconnects with streamer magnetic field lines and with open field lines from the adjacent coronal hole. It yields an eruption which has a mix of closed and open twisted field lines due to interchange reconnection and only one footpoint line-tied to the source region. Even with the large-scale reconnection, we find no evidence of strong rotation of the CME as it propagates. We study the CME deflection and find that the effect of the Lorentz force is a deflection of the CME by about 3 deg/Rsun towards the East during the first 30 minutes of the propagation. We also produce coronagraphic and EUV images of the CME, which we compare with real images, identifying a dimming region associated with the reconnection process. We discuss the implication of our results for the arrival at Earth of CMEs originating from the limb and for models to explain the presence of open field lines in magnetic clouds.


title: Rise or sink: spherical intruder in density frequency dependence static granular fluid

abstract: A simple model for intruder in vibrating granular bed is constructed by introducing a term that governs frequency dependent granular bed density. Varying the vibrating frequency will drive the buoyant force acting on the intruder by the granular bed. Swapped regions of rising and sinking intruder compared to other reported result have bee found.


title: Littlewood identity and Crystal bases

abstract: We give a new combinatorial model for the crystals of integrable highest weight modules over the classical Lie algebras of type $B$ and $C$ in terms of classical Young tableux. We then obtain a new description of its Littlewood-Richardson rule and a maximal Levi branching rule in terms of classical Littlewood-Richardson tableaux, which extends in a bijective way the well-known stable formulas at large ranks. We also show that this tableau model admits a natural superization and it produces the characters of irreducible highest weight modules over orthosymplectic Lie superalgebras, which correspond to the integrable highest weight modules over the classical Lie algebras of type $B$ and $C$ under the Cheng-Lam-Wang's super duality.


title: Critical collapse and black hole formation within an expanding perfect fluid

abstract: Following on after three previous papers discussing the formation of primordial black holes in the early universe during the radiation dominated era, we present here related results considering the theoretical possibility of having a fluid with a different sound speed. In practice we vary the parameter w of the equation of state p = we between 0 and 1, where e is the energy density, and p the pressure of the fluid. We consider also the possibility of having a cosmological constant interpreted as a vacuum energy component (corresponding to w = -1) revising the results presented in our first paper of this series, having now a more refined numerical code available. To perform our simulations we have fine tuned our previous computer code allowing us to observe that the nature of the critical collapse is conserved for all the different values of w considered, in agreement with previous studies of ideal collapses done in a different context from PBHs. As already done in our previous works, we start the simulations with initial supra-horizon scale perturbations of a type which could have come from inflation, characterized by a pure growing mode component.


title: The universal relatively hyperbolic structure on a group and relative quasiconvexity for subgroups

abstract: We discuss the notion of the universal relatively hyperbolic structure on a group which is used in order to characterize relatively hyperbolic structures on the group. We also study relations between relatively hyperbolic structures on a group and relative quasiconvexity for subgroups of the group.


title: Hochschild homology and cohomology of Generalized Weyl algebras: the quantum case

abstract: We determine the Hochschild homology and cohomology of the generalized Weyl algebras of rank one which are of 'quantum' type in all but a few exceptional cases.


title: Predicted charged charmonium-like structures in the hidden-charm dipion decay of higher charmonia

abstract: In this work, we predict two charged charmonium-like structures close to the $D^\ast\bar{D}$ and $D^\ast\bar{D}^\ast$ thresholds, where the Initial Single Pion Emission mechanism is introduced in the hidden-charm dipion decays of higher charmonia $\psi(4040)$, $\psi(4160)$, $\psi(4415)$ and charmonium-like state Y(4260). We suggest BESIII to search for these structures in the $J/\psi\pi^+$, $\psi(2S)\pi^+$ and $h_b(1P)\pi^+$ invariant mass spectra of the $\psi(4040)$ decays into $J/\psi\pi^+\pi^-$, $\psi(2S)\pi^+\pi^-$ and $h_b(1P)\pi^+\pi^-$. In addition, the experimental search for these structures in the $J/\psi\pi^+$, $\psi(2S)\pi^+$ and $h_c(1P)\pi^+$ invariant mass spectra of the $\psi(4260)$ hidden-charm dipion decays will be accessible at Belle and BaBar.


title: Superconducting Plate in Transverse Magnetic Field: New State

abstract: A model to describe Cooper pairs near the transition point (on temperature and magnetic field), when the distance between them is big compared to their sizes, is proposed. A superconducting plate whose thickness is less than the pair size in the transverse magnetic field near the critical value $H_{c2}$ is considered as an application of the model. A new state that is energetically more favourable than that of Abrikosov vortex state within an interval near the transition point was obtained. The system's wave function in this state looks like that of Laughlin's having been used in fractional quantum Hall effect (naturally, in our case - for Cooper pairs as Bose-particles) and it corresponds to homogeneous incompressible liquid. The state energy is proportional to the first power of value $(1 - H/H_{c2})$, unlike the vortex state energy having this value squared. The interval of the new state existence is greater for dirty specimens.


title: Einstein frame and Jordan frame revisited: are they mathematically equivalent?

abstract: This paper has been withdrawn by the author due to a crucial sign error in equation (5).


title: Infrared fixed point of the 12-fermion SU(3) gauge model based on 2-lattice MCRG matching

abstract: I investigate an SU(3) gauge model with 12 fundamental fermions. The physically interesting region of this strongly coupled system can be influenced by an ultraviolet fixed point due to lattice artifacts. I suggest to use a gauge action with an additional negative adjoint plaquette term that lessens this problem. I also introduce a new analysis method for the 2-lattice matching Monte Carlo renormalization group technique that significantly reduces finite volume effects. The combination of these two improvements allows me to measure the bare step scaling function in a region of the gauge coupling where it is clearly negative, indicating a positive renormalization group $\beta$ function and infrared conformality.


title: Set systems: order types, continuous nondeterministic deformations, and quasi-orders

abstract: By reformulating a learning process of a set system L as a game between Teacher and Learner, we define the order type of L to be the order type of the game tree, if the tree is well-founded. The features of the order type of L (dim L in symbol) are (1) We can represent any well-quasi-order (wqo for short) by the set system L of the upper-closed sets of the wqo such that the maximal order type of the wqo is equal to dim L. (2) dim L is an upper bound of the mind-change complexity of L. dim L is defined iff L has a finite elasticity (fe for short), where, according to computational learning theory, if an indexed family of recursive languages has fe then it is learnable by an algorithm from positive data. Regarding set systems as subspaces of Cantor spaces, we prove that fe of set systems is preserved by any continuous function which is monotone with respect to the set-inclusion. By it, we prove that finite elasticity is preserved by various (nondeterministic) language operators (Kleene-closure, shuffle-closure, union, product, intersection,. . ..) The monotone continuous functions represent nondeterministic computations. If a monotone continuous function has a computation tree with each node followed by at most n immediate successors and the order type of a set system L is {\alpha}, then the direct image of L is a set system of order type at most n-adic diagonal Ramsey number of {\alpha}. Furthermore, we provide an order-type-preserving contravariant embedding from the category of quasi-orders and finitely branching simulations between them, into the complete category of subspaces of Cantor spaces and monotone continuous functions having Girard's linearity between them. Keyword: finite elasticity, shuffle-closure


title: Two-sided random walks conditioned to have no intersections

abstract: Let $S^{1},S^{2}$ be independent simple random walks in $\mathbb{Z}^{d}$ ($d=2,3$) started at the origin. We construct two-sided random walk paths conditioned that $S^{1}[0,\infty) \cap S^{2}[1, \infty) = \emptyset$.


title: Quantum Tunnelling of non-zero mass particle and evolution of the horizon for a static black hole

abstract: In this work, we study Hawking radiation from a general static black hole due to tunnelling of particle having nonzero mass. Hawking temperature has been calculated using both the tunnelling method and the Hamilton-Jacobi method and the results do no depend on the mass of the particle. Due to complicated form of the equations involved quantum corrections are evaluated only upto first order and it is possible to interprete the correction term as loop corrections of the back reaction effects in the space time. Finally, modified expressions for entropy and surface gravity has been evaluated and it is found that the leading order correction term to the entropy is not necessarily logarithmic in nature.


title: Multi-wavelength emission region of gamma-ray emitting pulsars

abstract: Using the outer gap model, we investigate the emission region for the multi-wavelength light curve from energetic pulsars. We assume that gamma-ray and non-thermal X-ray photons are emitted from a particle acceleration region in the outer magnetosphere, and UV/optical photons originate above that region. We assume that gamma-rays are radiated only by outwardly moving particles, whereas the other photons are produced by particles moving inward and outward. We parameterize the altitude of the emission region as the deviation from the rotating dipole in vacuum and determine it from the observed multi-wavelength pulse profile using the observationally constrained magnetic dipole inclination angle and viewing angle of the pulsars. We find that the outer gap model can explain the multi-wavelength pulse behavior by a simple distribution of emissivity, and discuss the possibility of further improvement. From observational fitting, we also find a general tendency for the altitude of the gamma-ray emission region to depend on the inclination angle. In particular, the emission region for low inclination angle is required to be located in very low altitude, which corresponds to the inner region within the last-open field line of rotating dipole in vacuum. This model suggests a modification of statistics about observed gamma-ray pulsars. Number of the sources with low inclination and viewing angles increases compared with previous estimate.


title: Design of coupling for synchronization in time-delayed systems

abstract: We report a design of delay coupling for targeting desired synchronization in delay dynamical systems. We target synchronization, antisynchronization, lag-, antilag- synchronization, amplitude death (or oscillation death) and generalized synchronization in mismatched oscillators. A scaling of the size of an attractor is made possible in different synchronization regimes. We realize a type of mixed synchronization where synchronization, antisynchronization coexist in different pairs of state variables of the coupled system. We establish the stability condition of synchronization using the Krasovskii-Lyapunov function theory and the Hurwitz matrix criterion. We present numerical examples using the Mackey-Glass system and a delay R\"{o}ssler system.


title: DistHash: A robust P2P DHT-based system for replicated objects

abstract: Over the Internet today, computing and communications environments are significantly more complex and chaotic than classical distributed systems, lacking any centralized organization or hierarchical control. There has been much interest in emerging Peer-to-Peer (P2P) network overlays because they provide a good substrate for creating large-scale data sharing, content distribution and application-level multicast applications. In this paper we present DistHash, a P2P overlay network designed to share large sets of replicated distributed objects in the context of large-scale highly dynamic infrastructures. We present original solutions to achieve optimal message routing in hop-count and throughput, provide an adequate consistency approach among replicas, as well as provide a fault-tolerant substrate.


title: Deformations of Oka manifolds

abstract: We investigate the behaviour of the Oka property with respect to deformations of compact complex manifolds. We show that in a family of compact complex manifolds, the set of Oka fibres corresponds to a G-delta subset of the base. We give a necessary and sufficient condition for the limit fibre of a sequence of Oka fibres to be Oka in terms of a new uniform Oka property. We show that if the fibres are tori, then the projection is an Oka map. Finally, we consider holomorphic submersions with noncompact fibres.


title: Optimizing and controlling functions of complex networks by manipulating rich-club connections

abstract: Traditionally, there is no evidence suggesting that there are strong ties between the rich-club property and the function of complex networks. In this study, we find that whether a very small portion of rich nodes connected to each other or not can strongly affect the frequency of occurrence of basic building blocks (motif) within networks, and therefore the function, of a heterogeneous network. Conversely whether a homogeneous network has a rich-club property or not generally has no significant effect on its structure and function. These findings open the possibility to optimize and control the function of complex networks by manipulating rich-club connections. Furthermore, based on the subgraph ratio profile, we develop a more rigorous approach to judge whether a network has a rich-club or not. The new method does not calculate how many links there are among rich nodes but depends on how the links among rich nodes can affect the overall structure as well as function of a given network. These results can also help us to understand the evolution of dynamical networks and design new models for characterizing real-world networks.


title: Towards an IO intensive Grid application instrumentation in MedioGRID

abstract: Obtaining high performance in IO intensive applications requires systems that support reliable fast transfer, data replication, and caching. In this paper we present an architecture designed for supporting IO intensive applications in MedioGRID, a system for real-time processing of satellite images, operating in a Grid environment. The solution ensures that applications which are processing geographical data have uniform access to data and is based on continuous monitoring of the data transfers using MonALISA and its extensions. The MedioGRID architecture is also built on Globus, Condor and PBS and based on this middleware we aim to extract information about the running systems. The results obtained in testing MedioGRID system for large data transfers show that monitoring system provides a very good view of system evolution.


title: Intelligent strategies for DAG scheduling optimization in Grid environments

abstract: The paper presents a solution to the dynamic DAG scheduling problem in Grid environments. It presents a distributed, scalable, efficient and fault-tolerant algorithm for optimizing tasks assignment. The scheduler algorithm for tasks with dependencies uses a heuristic model to optimize the total cost of tasks execution. Also, a method based on genetic algorithms is proposed to optimize the procedure of resources assignment. The experiments used the MonALISA monitoring environment and its extensions. The results demonstrate very good behavior in comparison with other scheduling approaches for this kind of DAG scheduling algorithms.


title: OpenPh - Numerical Physics Library

abstract: Numerical physics has gained a lot of importance in the last decade, its efficiency being motivated and sustained by the growth of computational power. This paper presents a concept that is to be developed in the next few years: OpenPh. OpenPh is a numerical physics library that makes use of the advantages of both open source software and MATLAB programming. Its aim is to deliver the instruments for providing numerical and graphical solutions for various physics problems. It has a modular structure, allowing the user to add new modules to the existing ones and to create its own modules according to its needs, being virtually unlimited extendable. The modules of OpenPh are implemented using MATLAB engine because it is the best solution used in engineering and science, providing a wide range of optimized methods to accomplish even the toughest jobs. Current version of OpenPh includes two modules, the first one providing tools for quantum physics and the second one for mechanics. The quantum physics module deals with the photoelectric effect, the radioactive decay of carbon-11, and the Schr\"odinger equation - particle in a box. The classical mechanics module includes the study of the uniform circular motion, the forced damped harmonic oscillations and the vibration of a fixed-fixed string.


title: The Theory of the Interleaving Distance on Multidimensional Persistence Modules

abstract: In 2009, Chazal et al. introduced $\epsilon$-interleavings of persistence modules. $\epsilon$-interleavings induce a pseudometric $d_I$ on (isomorphism classes of) persistence modules, the interleaving distance. The definitions of $\epsilon$-interleavings and $d_I$ generalize readily to multidimensional persistence modules. In this paper, we develop the theory of multidimensional interleavings, with a view towards applications to topological data analysis. We present four main results. First, we show that on 1-D persistence modules, $d_I$ is equal to the bottleneck distance $d_B$. This result, which first appeared in an earlier preprint of this paper, has since appeared in several other places, and is now known as the isometry theorem. Second, we present a characterization of the $\epsilon$-interleaving relation on multidimensional persistence modules. This expresses transparently the sense in which two $\epsilon$-interleaved modules are algebraically similar. Third, using this characterization, we show that when we define our persistence modules over a prime field, $d_I$ satisfies a universality property. This universality result is the central result of the paper. It says that $d_I$ satisfies a stability property generalizing one which $d_B$ is known to satisfy, and that in addition, if $d$ is any other pseudometric on multidimensional persistence modules satisfying the same stability property, then $d\leq d_I$. We also show that a variant of this universality result holds for $d_B$, over arbitrary fields. Finally, we show that $d_I$ restricts to a metric on isomorphism classes of finitely presented multidimensional persistence modules.


title: Constitutive equations for granular flow with uniform mean shear and spin fields

abstract: Numerical simulations of two-dimensional granular flows under uniform shear and external body torque were performed in order to extract the constitutive equations for the system. The outcome of the numerical simulations is analyzed on the basis of the micropolar fluid model. Uniform mean shear field and mean spin field, which is not subordinate to the vorticity field, are realized in the simulations. The estimates of stresses based on kinetic theory by Lun [Lun, J. Fluid Mech., 1991, 233, 539] are in good agreement with the simulation results for a low area fraction $\nu=0.1$ but the agreement becomes weaker as the area fraction gets higher. However, the estimates in the kinetic theory can be fitted to the simulation results up to $\nu=0.7$ by renormalizing the coefficient of roughness. For a relatively dense granular flow ($\nu=0.8$), the simulation results are also compared with Kanatani's theory [Kanatani, Int. J. Eng. Sci., 1979, 17, 419]. It is found that the dissipation function and its decomposition into the constitutive equations in Kanatani's theory are not consistent with the simulation results.


title: Stress-induced traps in multilayered structures

abstract: The trap parameters of defects in Si/CaF2 multilayered structures were determined from the analysis of optical charging spectroscopy measurements. Two kinds of maxima were observed. Some of them were rather broad, corresponding to "normal" traps, while the others, very sharp, were attributed to stress-induced traps. A procedure of optimal linear smoothing the noisy experimental data has been developed and applied. This procedure is based on finding the minimal value of the relative error with respect to the value of the smoothing window. In order to obtain a better accuracy for the description of the trapping-detrapping process, a Gaussian temperature dependence of the capture crosssections characterizing the stress-induced traps was introduced. Both the normal and the stress-induced traps have been characterized, including some previously considered as only noise features.


title: Clasificarea distribuita a mesajelor de e-mail

abstract: A basic component in Internet applications is the electronic mail and its various implications. The paper proposes a mechanism for automatically classifying emails and create dynamic groups that belong to these messages. Proposed mechanisms will be based on natural language processing techniques and will be designed to facilitate human-machine interaction in this direction.


title: Resource CoAllocation for Scheduling Tasks with Dependencies, in Grid

abstract: Scheduling applications on wide-area distributed systems is useful for obtaining quick and reliable results in an efficient manner. Optimized scheduling algorithms are fundamentally important in order to achieve optimized resources utilization. The existing and potential applications include many fields of activity like satellite image processing and medicine. The paper proposes a scheduling algorithm for tasks with dependencies in Grid environments. CoAllocation represents a strategy that provides a schedule for task with dependencies, having as main purpose the efficiency of the schedule, in terms of load balancing and minimum time for the execution of the tasks.


title: Advance Reservation of Resources for Task Execution in Grid Environments

abstract: The paper proposes a solution for the Grid scheduling problem, addressing in particular the requirement of high performance an efficient algorithm must fulfill. Advance Reservation engages a distributed, dynamic, fault-tolerant and efficient strategy which reserves resources for future task execution. The paper presents the main features of the strategy, the functioning mechanism the strategy is based on and the methods used for evaluating the algorithm.


title: Meissner effect, Spin Meissner effect and charge expulsion in superconductors

abstract: The Meissner effect and the Spin Meissner effect are the spontaneous generation of charge and spin current respectively near the surface of a metal making a transition to the superconducting state. The Meissner effect is well known but, I argue, not explained by the conventional theory, the Spin Meissner effect has yet to be detected. I propose that both effects take place in all superconductors, the first one in the presence of an applied magnetostatic field, the second one even in the absence of applied external fields. Both effects can be understood under the assumption that electrons expand their orbits and thereby lower their quantum kinetic energy in the transition to superconductivity. Associated with this process, the metal expels negative charge from the interior to the surface and an electric field is generated in the interior. The resulting charge current can be understood as arising from the magnetic Lorentz force on radially outgoing electrons, and the resulting spin current can be understood as arising from a spin Hall effect originating in the Rashba-like coupling of the electron magnetic moment to the internal electric field. The associated electrodynamics is qualitatively different from London electrodynamics, yet can be described by a small modification of the conventional London equations. The stability of the superconducting state and its macroscopic phase coherence hinge on the fact that the orbital angular momentum of the carriers of the spin current is found to be exactly $\hbar/2$, indicating a topological origin. The simplicity and universality of our theory argue for its validity, and the occurrence of superconductivity in many classes of materials can be understood within our theory.


title: Manipulation of Nanson's and Baldwin's Rules

abstract: Nanson's and Baldwin's voting rules select a winner by successively eliminating candidates with low Borda scores. We show that these rules have a number of desirable computational properties. In particular, with unweighted votes, it is NP-hard to manipulate either rule with one manipulator, whilst with weighted votes, it is NP-hard to manipulate either rule with a small number of candidates and a coalition of manipulators. As only a couple of other voting rules are known to be NP-hard to manipulate with a single manipulator, Nanson's and Baldwin's rules appear to be particularly resistant to manipulation from a theoretical perspective. We also propose a number of approximation methods for manipulating these two rules. Experiments demonstrate that both rules are often difficult to manipulate in practice. These results suggest that elimination style voting rules deserve further study.


title: Analysis of Hepatitis C Viral Dynamics Using Latin Hypercube Sampling

abstract: We consider a mathematical model comprising of four coupled ordinary differential equations (ODEs) for studying the hepatitis C (HCV) viral dynamics. The model embodies the efficacies of a combination therapy of interferon and ribavirin. A condition for the stability of the uninfected and the infected steady states is presented. A large number of sample points for the model parameters (which were physiologically feasible) were generated using Latin hypercube sampling. Analysis of our simulated values indicated approximately 24% cases as having an uninfected steady state. Statistical tests like the chi-square-test and the Spearman's test were also done on the sample values. The results of these tests indicate a distinctly differently distribution of certain parameter values and not in case of others, vis-a-vis, the stability of the uninfected and the infected steady states.


title: Homotopy Operators and One-Loop Vacuum Energy at the Tachyon Vacuum

abstract: We construct the homotopy operators for the BRST operator in the theory around the identity-based solutions, which are believed to represent the tachyon vacuum in cubic bosonic open string field theory. Using the homotopy operators, we find that the one-loop vacuum energy at the tachyon vacuum is independent of moduli such as interbrane distances, which are included in the BRST operator. We also revisit the cohomology problem, which was solved earlier without the homotopy operators.


title: Effect of intraband Coulomb repulsion on the excitonic spin-density wave

abstract: We present a study of the magnetic ground state of a two-band model with nested electron and hole Fermi surfaces and both interband and intraband Coulomb interactions. Our aim is to understand how the excitonic spin-density-wave (ESDW) state induced by the interband Coulomb repulsion is affected by the intraband interactions. We first determine the magnetic instabilities of our model in an unbiased way by employing the random-phase approximation (RPA) to calculate the static spin susceptibility in the paramagnetic state. From this, we construct the mean-field phase diagram, demonstrating the robustness of the ESDW against the intraband interaction. We then calculate the RPA transverse spin susceptibility in the ESDW state and show that the intraband Coulomb repulsion significantly renormalizes the paramagnon line shape and suppresses the spin-wave velocity. We conclude with a discussion of the relevance of this suppression for the commensurate ESDW state of Mn-doped Cr alloys.


title: Online Cake Cutting (published version)

abstract: We propose an online form of the cake cutting problem. This models situations where agents arrive and depart during the process of dividing a resource. We show that well known fair division procedures like cut-and-choose and the Dubins-Spanier moving knife procedure can be adapted to apply to such online problems. We propose some fairness properties that online cake cutting procedures can possess like online forms of proportionality and envy-freeness. We also consider the impact of collusion between agents. Finally, we study theoretically and empirically the competitive ratio of these online cake cutting procedures. Based on its resistance to collusion, and its good performance in practice, our results favour the online version of the cut-and-choose procedure over the online version of the moving knife procedure.


title: Collective effects in multiparticle production processes at the LHC

abstract: We discuss various aspects of the multiparticle production processes at the LHC energy range with emphasis on the collective effects associated with appearance of the new scattering mode, which corresponds to the reflective scattering and its impact on multiparticle production processes.


title: Security problem on arbitrated quantum signature schemes

abstract: Until now, there have been developed many arbitrated quantum signature schemes implemented with a help of a trusted third party. In order to guarantee the unconditional security, most of them take advantage of the optimal quantum one-time encryption method based on Pauli operators. However, we in this paper point out that the previous schemes only provides a security against total break and actually show that there exists a simple existential forgery attack to validly modify the transmitted pair of message and signature. In addition, we also provide a simple method to recover the security against the proposed attack.


title: A New Expression for 3N Bound State Faddeev Equation in a 3D Approach

abstract: A spin-isospin dependent three-dimensional approach has been applied for formulation of the three-nucleon bound state and a new expression for Faddeev equation based on three-nucleon free basis state has been obtained. Then the three-nucleon wave function has been obtained as a function of five independent variables.


title: On additive and multiplicative arithmetical functions

abstract: A characterization of multiplicative (and additive) arithmetical functions is given. Using this characterization, we show that the group of multiplicative arithmetical functions is isomorphic to the group of additive arithmetical functions.


title: Uncovering Social Network Sybils in the Wild

abstract: Sybil accounts are fake identities created to unfairly increase the power or resources of a single malicious user. Researchers have long known about the existence of Sybil accounts in online communities such as file-sharing systems, but have not been able to perform large scale measurements to detect them or measure their activities. In this paper, we describe our efforts to detect, characterize and understand Sybil account activity in the Renren online social network (OSN). We use ground truth provided by Renren Inc. to build measurement based Sybil account detectors, and deploy them on Renren to detect over 100,000 Sybil accounts. We study these Sybil accounts, as well as an additional 560,000 Sybil accounts caught by Renren, and analyze their link creation behavior. Most interestingly, we find that contrary to prior conjecture, Sybil accounts in OSNs do not form tight-knit communities. Instead, they integrate into the social graph just like normal users. Using link creation timestamps, we verify that the large majority of links between Sybil accounts are created accidentally, unbeknownst to the attacker. Overall, only a very small portion of Sybil accounts are connected to other Sybils with social links. Our study shows that existing Sybil defenses are unlikely to succeed in today's OSNs, and we must design new techniques to effectively detect and defend against Sybil attacks.


title: On the Question of Coincidence Between Energy Gaps and Kohn Anomalies

abstract: Recently, neutron scattering spin echo measurements have provided high resolution data on the temperature dependence of the linewidth $\Gamma({\bf q},T)$ of acoustic phonons in conventional superconductors Pb and Nb. [P. Aynajian, et al, Science 319, 1509 (2008)]. At low temperatures the merging of the $2\Delta(T)$ structure in the linewidth with a peak associated with a low lying $\hbar\omega_{\bf q_{KA}}$ Kohn anomaly suggested a coincidence between $2\Delta(0)$ and $\hbar\omega_{\bf q_{KA}}$ in Pb and Nb. Here we carry out a standard BCS calculation of the phonon linewidth to examine its temperature evolution and explore how close $2\Delta(0)/\hbar\omega_{\bf q_{KA}}$ must be to unity in order to be consistent with the neutron data.


title: Stars and ionized gas in S0 galaxy NGC 7743: an inclined large-scale gaseous disk

abstract: We used deep long-slit spectra and integral-field spectral data to study the stars and ionized gas kinematics and stellar population properties in the lenticular barred galaxy NGC 7743. We have shown that ionized gas at the distances larger than 1.5 kpc from the nucleus settles in the disk which is significantly inclined to the stellar disk of the galaxy. Making different assumptions about the geometry of the disks and involving different sets of emission lines into the fitting, under the assumption of thin flat disk circular rotation, we obtain the full possible range of angle between the disks to be 34+/-9 or 77+/-9 deg. The most probable origin of the inclined disk is the external gas accretion from a satellite, orbiting the host galaxy with a corresponding angular momentum direction. The published data on the HI distribution around NGC 7743 suggest that the galaxy has a gas-rich environment. The emission-line ratio diagrams imply the domination of shock waves in the ionization state of the gaseous disk, whereas the contribution of photoionization by recent star formation seems to be negligible. In some parts of the disk a difference between the velocities of the gas emitting in the forbidden lines and in the Balmer lines is detected. It may be caused by the fact that the inclined disk is mainly shock-excited, whereas some fraction of the Balmer-line emission is produced by a small amount of gas excited by young stars in the main stellar disk of NGC 7743. In the circumnuclear region (R< 200 pc) some evidences of the AGN jet interaction with an ambient interstellar medium were found.


title: Solitons in thermal media with periodic modulation of linear refractive index

abstract: We address the existence and properties of solitons in thermal media with periodic modulation of linear refractive index. Many kinds of solitons in such optical lattices, including symmetric and antisymmetric lattices, are found under different conditions. We study the influence of the refractive index difference between two different layers on solitons. It is also found that there do not exist cutoff value of propagation constant and soliton power for shifted lattice solitons. In addition, the solitons launched away from their stationary position may propagate without oscillation when the confinement from lattices is strong.


title: Measurement of the Upsilon(1S) Production Cross-Section in pp Collisions at sqrt(s) = 7 TeV in ATLAS

abstract: A measurement of the cross-section for Upsilon(1S) -> mu+mu- production in proton-proton collisions at centre of mass energy of 7 TeV is presented. The cross-section is measured as a function of the Upsilon(1S) transverse momentum in two bins of rapidity, |y(Upsilon1S)| < 1.2 and 1.2 < |y(Upsilon1S)| < 2.4. The measurement requires that both muons have transverse momentum pT(mu) > 4 GeV and pseudorapidity |eta(mu)| < 2.5 in order to reduce theoretical uncertainties on the acceptance, which depend on the poorly known polarization. The results are based on an integrated luminosity of 1.13 pb-1, collected with the ATLAS detector at the Large Hadron Collider. The cross-section measurement is compared to theoretical predictions: it agrees to within a factor of two with a prediction based on the NRQCD model including colour-singlet and colour-octet matrix elements as implemented in PYTHIA while it disagrees by up to a factor of ten with the next-to-leading order prediction based on the colour-singlet-model.


title: Efficient and Distributed SINR-based Joint Resource Allocation and Base Station Assignment in Wireless CDMA Networks

abstract: We formulate the resource allocation problem for the uplink of code division multiple access (CDMA) networks using a game theoretic framework, propose an efficient and distributed algorithm for a joint rate and power allocation, and show that the proposed algorithm converges to the unique Nash equilibrium (NE) of the game. Our choice for the utility function enables each user to adapt its transmit power and throughput to its channel. Due to users' selfish behavior, the output of the game (its NE) may not be a desirable one. To avoid such cases, we use pricing to control each user's behavior, and analytically show that similar to the no-pricing case, our pricing-based algorithm converges to the unique NE of the game, at which, each user achieves its target signal-to-interference-plus-noise ratio (SINR). We also extend our distributed resource allocation scheme to multi-cell environments for base station assignment. Simulation results confirm that our algorithm is computationally efficient and its signalling overhead is low. In particular, we will show that in addition to its ability to attain the required QoS of users, our scheme achieves better fairness in allocating resources and can significantly reduce transmit power as compared to existing schemes.