reducing symmetries to generate easier sat instances

Finding countermodels is an effective way of disproving false conjectures. In first-order predicate logic, model finding is an undecidable problem. But if a finite model exists, it can be found by exhaustive search. The finite model generation problem in the first-order logic can also be translated to the satisfiability problem in the propositional logic. But a direct translation may not be very efficient. This paper discusses how to take the symmetries into account so as to make the resulting problem easier. A static method for adding constraints is presented, which can be thought of as an approximation of the least number heuristic (LNH). Also described is a dynamic method, which asks a model searcher like SEM to generate a set of partial models, and then gives each partial model to a propositional prover. The two methods are analyzed, and compared with each other.

Non-relativistic conformal symmetries in fluid mechanics

The symmetries of a free incompressible fluid span the Galilei group, augmented with independent dilations of space and time. When the fluid is compressible, the symmetry is enlarged to the expanded Schrodinger group, which also involves, in addition, Schrodinger expansions. While incompressible fluid dynamics can be derived as an appropriate non-relativistic limit of a conformally invariant relativistic theory, the recently discussed conformal Galilei group, obtained by contraction from the relativistic conformal group, is not a symmetry. This is explained by the subtleties of the non-relativistic limit.

Dynamical symmetry of screened Coulomb potential and isotropic harmonic oscillator

It is shown that for the screened Coulomb potential and isotropic harmonic oscillator, there exists an infinite number of closed orbits for suitable angular momentum values. At the aphelion (perihelion) points of classical orbits, an extended Runge-Lenz vector for the screened Coulomb potential and an extended quadrupole tensor for the screened isotropic harmonic oscillator are still conserved. For the screened two-dimensional (2D) Coulomb potential and isotropic harmonic oscillator, the dynamical symmetries SO3 and SU(2) are still preserved at the aphelion (perihelion) points of classical orbits, respectively. For the screened 3D Coulomb potential, the dynamical symmetry SO4 is also preserved at the aphelion (perihelion) points of classical orbits. But for the screened 3D isotropic harmonic oscillator, the dynamical symmetry SU(2) is only preserved at the aphelion (perihelion) points of classical orbits in the eigencoordinate system. For the screened Coulomb potential and isotropic harmonic oscillator, only the energy (but not angular momentum) raising and lowering operators can be constructed from a factorization of the radial Schrodinger equation.

Symmetry of chaotic attractors and kink-antikink structures in CMLs

In this paper the symmetries of coupled map lattices (CMLs) and their attractors are investigated by group and dynamical system theory, as well as numerical simulation, by means of which the kink-antikink patterns of CMLs in space-amplitude plots are discussed.

Thermal-conductivity of periodic composite media with spherical inclusions

The thermal conductivity of periodic composite media with spherical inclusions embedded in a homogeneous matrix is discussed. Using Green's function, we show that the Rayleigh identity can be generalized to deal with the thermal properties of these systems. A technique for calculating effective thermal conductivities is proposed. Systems with cubic symmetries (including simple cubic, body centered cubic and face centered cubic symmetry) are investigated in detail, and useful formulae for evaluating effective thermal conductivities are derived.

Quantum interference in laser-induced nonsequential double ionization in diatomic molecules: Role of alignment and orbital symmetry

We address the influence of the orbital symmetry and the molecular alignment with respect to the laser-field polarization on laser-induced nonsequential double ionization of diatomic molecules, in the length and velocity gauges. We work within the strong-field approximation and assume that the second electron is dislodged by electron-impact ionization, and also consider the classical limit of this model. We show that the electron-momentum distributions exhibit interference maxima and minima due to electron emission at spatially separated centers. The interference patterns survive integration over the transverse momenta for a small range of alignment angles, and are sharpest for parallel-aligned molecules. Due to the contributions of the transverse-momentum components, these patterns become less defined as the alignment angle increases, until they disappear for perpendicular alignment. This behavior influences the shapes and the peaks of the electron-momentum distributions.

Symmetry analysis and numerical simulation of mode characteristics for equilateral-polygonal optical microresonators

Mode characteristics for two-dimensional equilateral-polygonal microresonators are investigated based on symmetry analysis and finite-difference time-domain numerical simulation. The symmetries of the resonators can be described by the point group C-Nv, accordingly, the confined modes in these resonators can be classified into irreducible representations of the point group C-Nv. Compared with circular resonators, the modes in equilateral-polygonal resonators have different characteristics due to the break of symmetries, such as the split of double-degenerate modes, high field intensity in the center region, and anomalous traveling-wave modes, which should be considered in the designs of the polygonal resonator microlasers or optical add-drop filters.

Investigation of mode characteristics for a square cavity with a pedestal by a three-dimensional finite-difference time-domain technique

Mode characteristics of a strongly confined square cavity suspended in air via a pedestal on the substrate are investigated by a three-dimensional finite-difference time-domain technique. The mode wavelengths and mode quality factors (Q factors) are calculated as the functions of the size of the pedestal and the slope angle 0 of the sidewalls of the square slab, respectively For the square slab with side length of 2 mu m, thickness of 0.2 mu m, and refractive index of 3.4, on a square pedestal with refractive index of 3.17, the Q factor of the whispering-gallery (WG)-like mode transverse-electric TE(3.5)o first increases with the side length b of the square pedestal and then quickly decreases as b > 0.4 mu m, but the Q factor of the WG-like mode TE(4.6)o drops down quickly as b > 0.2 mu m, owing to their different symmetries. The results indicate that the pedestal can also result in mode selection in the WG-like modes. In addition, the numerical results show that the Q factors decrease 50% as the slope angle of the sidewalls varies from 90 degrees to 80 degrees. The mode characteristics of WG-like modes in the square cavity with a rectangular pedestal are also discussed. The results show that the nonsquare pedestal largely degrades the WG-like modes. (c) 2006 Optical Society of America

Chiral symmetry analysis and rigid rotational invariance for the lattice dynamics of single-wall carbon nanotubes

We provide a detailed expression of the vibrational potential for the lattice dynamics of single-wall carbon nanotubes (SWCNT's) satisfying the requirements of the exact rigid translational as well as rotational symmetries, which is a nontrivial generalization of the valence force model for the planar graphene sheet. With the model, the low-frequency behavior of the dispersion of the acoustic modes as well as the flexure mode can be precisely calculated. Based upon a comprehensive chiral symmetry analysis, the calculated mode frequencies (including all the Raman- and infrared-active modes), velocities of acoustic modes, and the polarization vectors are systematically fitted in terms of the chiral angle and radius, where the restrictions of various symmetry operations of SWCNT's are fulfilled.

Energy spectra of two-electron two-dimensional quantum dots confined by elliptical and bowl-like potentials

The laterally confining potential of quantum dots (QDs) fabricated in semiconductor heterostructures is approximated by an elliptical two-dimensional harmonic-oscillator well or a bowl-like circular well. The energy spectrum of two interacting electrons in these potentials is calculated in the effective-mass approximation as a function of dot size and characteristic frequency of the confining potential by the exact diagonalization method. Energy level crossover is displayed according to the ratio of the characteristic frequencies of the elliptical confinement potential along the y axis and that along the x axis. Investigating the rovibrational spectrum with pair-correlation function and conditional probability distribution, we could see the violation of circular symmetry. However, there are still some symmetries left in the elliptical QDs. When the QDs are confined by a "bowl-like" potential, the removal of the degeneracy in the energy levels of QDs is found. The distribution of energy levels is different for the different heights of the barriers. (C) 2003 American Institute of Physics.

Quantum confinement of phonon modes in GaAs quantum dots

Phonon modes in spherical GaAs quantum dots (QDs) with up to 11,855 atoms (8 nm in size) are calculated by using an empirical microscopic model. The group theory is employed to reduce the computational intensity, which further allows us to investigate the quantum confinement of phonon modes with different symmetries and reveals a phenomenon that phonon modes with different symmetries have different quantum confinement effect. For zinc-blende structure, the modes with the A(1) symmetry has the strongest quantum confinement effect and the T-1 modes the weakest. This could cause a crossover of symmetries of the highest frequency from A(1) to T-2 when the size of QDs decreases. (C) 1999 Elsevier Science Ltd, All rights reserved.

High precision mass measurement and LPT

A Penning trap, which can measure the atomic masses with the highest precision, is one of the most important facilities in nuclear physics research nowadays. The precision mass data play an important role in the studies of nuclear models, mass formulas, nuclear synthesis processes in the nuclear astrophysics, symmetries of the weak interaction and the conserved vector current (CVC) hypothesis. The status of high precision mass measurement around the world, the basic principle of Penning trap and the basic information about the LPT (Lanzhou Penning Trap) are introduced.

Holographic dual of linear dilaton black hole in Einstein-Maxwell-dilaton-axion gravity

Motivated by the recently proposed Kerr/CFT correspondence, we investigate the holographic dual of the extremal and non-extremal rotating linear dilaton black hole in Einstein-Maxwell-Dilaton-Axion Gravity. For the case of extremal black hole, by imposing the appropriate boundary condition at spatial infinity of the near horizon extremal geometry, the Virasoro algebra of conserved charges associated with the asymptotic symmetry group is obtained. It is shown that the microscopic entropy of the dual conformal field given by Cardy formula exactly agrees with Bekenstein-Hawking entropy of extremal black hole. Then, by rewriting the wave equation of massless scalar field with sufficient low energy as the SLL(2, R) x SLR(2, R) Casimir operator, we find the hidden conformal symmetry of the non-extremal linear dilaton black hole, which implies that the non-extremal rotating linear dilaton black hole is holographically dual to a two dimensional conformal field theory with the non-zero left and right temperatures. Furthermore, it is shown that the entropy of non-extremal black hole can be reproduced by using Cardy formula.

Entropy of Kaluza-Klein black hole from Kerr/CFT correspondence

We extend the recently proposed Kerr/CFT correspondence to examine the dual conformal field theory of four-dimensional Kaluza-Klein black hole in Einstein-Maxwell-Dilaton theory. For the extremal Kaluza-Klein black hole, the central charge and temperature of the dual conformal field are calculated following the approach of Guica, Hartman, Song and Strominger. Meanwhile, we show that the microscopic entropy given by the Cardy formula agrees with Bekenstein-Hawking entropy of extremal Kaluza-Klein black hole. For the non-extremal case, by studying the near-region wave equation of a neutral massless scalar field, we investigate the hidden conformal symmetry of Kaluza-Klein black hole, and find the left and right temperatures of the dual conformal field theory. Furthermore, we find that the entropy of non-extremal Kaluza-Klein black hole is reproduced by Cardy formula. (C) 2010 Elsevier B.V. All rights reserved.