Generalizing Boolean Satisfiability II: Theory

This is the second of three planned papers describing ZAP, a satisfiability engine that substantially generalizes existing tools while retaining the performance characteristics of modern high performance solvers. The fundamental idea underlying ZAP is that many problems passed to such engines contain rich internal structure that is obscured by the Boolean representation used; our goal is to define a representation in which this structure is apparent and can easily be exploited to improve computational performance. This paper presents the theoretical basis for the ideas underlying ZAP, arguing that existing ideas in this area exploit a single, recurring structure in that multiple database axioms can be obtained by operating on a single axiom using a subgroup of the group of permutations on the literals in the problem. We argue that the group structure precisely captures the general structure at which earlier approaches hinted, and give numerous examples of its use. We go on to extend the Davis-Putnam-Logemann-Loveland inference procedure to this broader setting, and show that earlier computational improvements are either subsumed or left intact by the new method. The third paper in this series discusses ZAPs implementation and presents experimental performance results

Generalizing Boolean Satisfiability III: Implementation

This is the third of three papers describing ZAP, a satisfiability engine that substantially generalizes existing tools while retaining the performance characteristics of modern high-performance solvers. The fundamental idea underlying ZAP is that many problems passed to such engines contain rich internal structure that is obscured by the Boolean representation used; our goal has been to define a representation in which this structure is apparent and can be exploited to improve computational performance. The first paper surveyed existing work that (knowingly or not) exploited problem structure to improve the performance of satisfiability engines, and the second paper showed that this structure could be understood in terms of groups of permutations acting on individual clauses in any particular Boolean theory. We conclude the series by discussing the techniques needed to implement our ideas, and by reporting on their performance on a variety of problem instances

Microscopic Theory of Spontaneous Decay in a Dielectric

The local field correction to the spontanous dacay rate of an impurity source atom imbedded in a disordered dielectric is calculated to second order in the dielectric density. The result is found to differ from predictions associated with both "virtual" and "real" cavity models of this decay process. However, if the contributions from two dielectric atoms at the same position are included, the virtual cavity result is reproduced.Comment: 12 Page

Fast Monte Carlo Algorithms for Permutation Groups

AbstractWe introduce new, elementary Monte Carlo methods to speed up and greatly simplify the manipulation of permutation groups (given by a list of generators). The methods are of a combinatorial character, using only elementary group theory. The key idea is that under certain conditions, "random subproducts" of the generators successfully emulate truly random elements of a group. We achieve a nearly optimal O(n3 logcn) asymptotic running time for membership testing, where n is the size of the permutation domain. This is an improvement of two orders of magnitude compared to known elementary algorithms and one order of magnitude compared to algorithms which depend on heavy use of group theory. An even greater asymptotic speedup is achieved for normal closures, a key ingredient in group-theoretic computation, now constructible in Monte Carlo time O(n2 logcn), i.e., essentially linear time (as a function of the input length). Some of the new techniques are sufficiently general to allow polynomial-time implementations in the very general model of "black box groups" (group operations are performed by an oracle). In particular, the normal closure algorithm has a number of applications to matrix-group computation. It should be stressed that our randomized algorithms are not heuristic: the probability of error is guaranteed not to exceed a bound ϵ > 0, prescribed by the user. The cost of this requirement is a factor of |log ϵ| in the running time

The role of culture and society in the development of plot in tanushree podders escape from harem and gita mehtas a river sutra: a feminist reading

Culture and Society are often the main gist of most novels. These two factors often influence and control the characters, thus helping in the development of the plot. A plot, as defined by Egan (1978), is used to indicate an outline of events and serves as a skeleton in a literary piece. In other words, it is a tool in making sure the main incidents or scenarios are presented in a particular order to establish a clear understanding of what is being written. Culture and society plays the essence in a novel as it constructs these main ideas in engaging the interest of a reader and also extends the intended message of the particular writer. This paper looks into how culture and society helps in developing the plots of the selected novels using the feminist approach. Tanushree Podder’s, Escape from Harem (2013) and Gita Mehta’s A River Sutra (1993) amazingly are both set in India. Podder and Mehta have inserted the perception society had over women and how male supremacy was glorified in many aspects. The essence of feminist approach was very much present in these two novels. According to Tyson (2006), feminism concerns the ways in which literature undermines the economic, political, social and psychological oppression on women. Though the setting of both novels fall in different eras but the theme of female oppression remains the same. The patriarchal society uses culture and religion as a tool to control women and oppress them. Both authors have shown how the women in the 17th century and in the 20th century face the same kind of judgment from the society and men in general

Finite-dimensional Schwinger basis, deformed symmetries, Wigner function, and an algebraic approach to quantum phase

Schwinger's finite (D) dimensional periodic Hilbert space representations are studied on the toroidal lattice {\ee Z}_{D} \times {\ee Z}_{D} with specific emphasis on the deformed oscillator subalgebras and the generalized representations of the Wigner function. These subalgebras are shown to be admissible endowed with the non-negative norm of Hilbert space vectors. Hence, they provide the desired canonical basis for the algebraic formulation of the quantum phase problem. Certain equivalence classes in the space of labels are identified within each subalgebra, and connections with area-preserving canonical transformations are examined. The generalized representations of the Wigner function are examined in the finite-dimensional cyclic Schwinger basis. These representations are shown to conform to all fundamental conditions of the generalized phase space Wigner distribution. As a specific application of the Schwinger basis, the number-phase unitary operator pair in {\ee Z}_{D} \times {\ee Z}_{D} is studied and, based on the admissibility of the underlying q-oscillator subalgebra, an {\it algebraic} approach to the unitary quantum phase operator is established. This being the focus of this work, connections with the Susskind-Glogower- Carruthers-Nieto phase operator formalism as well as standard action-angle Wigner function formalisms are examined in the infinite-period limit. The concept of continuously shifted Fock basis is introduced to facilitate the Fock space representations of the Wigner function.Comment: 19 pages, no figure

Magellanic Cloud Structure from Near-IR Surveys II: Star Count Maps and the Intrinsic Elongation of the LMC

I construct a near-IR star count map of the LMC and demonstrate, using the viewing angles derived in Paper I, that the LMC is intrinsically elongated. I argue that this is due to the tidal force from the Milky Way. The near-IR data from the 2MASS and DENIS surveys are used to create a star count map of RGB and AGB stars, which is interpreted through ellipse fitting. The radial number density profile is approximately exponential with a scale-length 1.3-1.5 kpc. However, there is an excess density at large radii that may be due to the tidal effect of the Milky Way. The position angle and ellipticity profile converge to PA_maj = 189.3 +/- 1.4 degrees and epsilon = 0.199 +/- 0.008 for r > 5 deg. At large radii there is a drift of the center of the star count contours towards the near side of the plane, which can be undrestood as due to viewing perspective. The fact that PA_maj differes from the line of nodes position angle Theta = 122.5 +/- 8.3 (cf. Paper I) indicates that the LMC disk is not circular, but has an intrinsic ellipticity of 0.31. The LMC is elongated in the general direction of the Galactic center, and is elongated perpendicular to the Magellanic Stream and the velocity vector of the LMC center of mass. This suggests that the elongation of the LMC has been induced by the tidal force of the Milky Way. The position angle of the line of nodes differs from the position angle Theta_max of the line of maximum line of sight velocity gradient: Theta_max - Theta = 20-60 degrees. This could be due to: (a) streaming along non-circular orbits in the elongated disk; (b) uncertainties in the transverse motion of the LMC center of mass; (c) precession and nutation of the LMC disk as it orbits the Milky Way (expected on theoretical grounds). [Abridged]Comment: Astronomical Journal, in press. 34 pages, LaTeX, with 7 PostScript figures. Contains minor revisions with respect to previously posted version. Check out http://www.stsci.edu/~marel/lmc.html for a large scale (23x21 degree) stellar number-density image of the LMC constructed from RGB and AGB stars in the 2MASS and DENIS surveys. The paper is available with higher resolution color figures from http://www.stsci.edu/~marel/abstracts/abs_R32.htm

Factorisation of analytic representations in the unit disk and number-phase statistics of a quantum harmonic oscillator

The inner-outer part factorisation of analytic representations in the unit disk is used for an effective characterisation of the number-phase statistical properties of a quantum harmonic oscillator. It is shown that the factorisation is intimately connected to the number-phase Weyl semigroup and its properties. In the Barut-Girardello analytic representation the factorisation is implemented as a convolution. Several examples are given which demonstrate the physical significance of the factorisation and its role for quantum statistics. In particular, we study the effect of phase-space interference on the factorisation properties of a superposition state.Comment: to appear in J. Phys. A, LaTeX, 13 pages, no figures. More information on http://www.technion.ac.il/~brif/science.htm

Milky Way potentials in CDM and MOND. Is the Large Magellanic Cloud on a bound orbit?

We compute the Milky Way potential in different cold dark matter (CDM) based models, and compare these with the modified Newtonian dynamics (MOND) framework. We calculate the axis ratio of the potential in various models, and find that isopotentials are less spherical in MOND than in CDM potentials. As an application of these models, we predict the escape velocity as a function of the position in the Galaxy. This could be useful in comparing with future data from planned or already-underway kinematic surveys (RAVE, SDSS, SEGUE, SIM, GAIA or the hypervelocity stars survey). In addition, the predicted escape velocity is compared with the recently measured high proper motion velocity of the Large Magellanic Cloud (LMC). To bind the LMC to the Galaxy in a MOND model, while still being compatible with the RAVE-measured local escape speed at the Sun's position, we show that an external field modulus of less than $0.03 a_0$ is needed.Comment: Accepted for publication in MNRAS, 13 pages, 7 figures, 3 table

Creating quanta with "annihilation" operator

An asymmetric nature of the boson `destruction' operator $\hat{a}$ and its `creation' partner $\hat{a}^{\dagger}$ is made apparent by applying them to a quantum state $|\psi>$ different from the Fock state $|n>$. We show that it is possible to {\em increase} (by many times or by any quantity) the mean number of quanta in the new `photon-subtracted' state $\hat{a}|\psi >$. Moreover, for certain `hyper-Poissonian' states $|\psi>$ the mean number of quanta in the (normalized) state $\hat{a}|\psi>$ can be much greater than in the `photon-added' state $\hat{a}^{\dagger}|\psi >$. The explanation of this `paradox' is given and some examples elucidating the meaning of Mandel's $q$-parameter and the exponential phase operators are considered.Comment: 10 pages, LaTex, an extended version with several references added and the text divided into sections; to appear in J. Phys.