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.

Instability of the vertically forced surface wave in a circular cylindrical container

The nonlinear amplitude equation, which was derived by Jian Yongjun employing expansion of two-time scales in inviscid fluids in a vertically oscillating circular cylindrical vessel, is modified by introducing a damping term due to the viscous dissipation of this system. Instability of the surface wave is analysed and properties of the solutions of the modified equation are determined together with phase-plane trajectories. A necessary condition of forming a stable surface wave is obtained and unstable regions are illustrated. Research results show that the stable pattern of surface wave will not lose its stability to an infinitesimal disturbance.

Study of three elastic-plastic constitutive models by non-proportional finite deformations of OFHC copper

Experimental stress-strain data of OFHC copper first under torsion to 13% and then under torsion-tension to about 10% are used to study the characteristics of three elastic-plastic constitutive models: Chaboche's super-positional nonlinear model, Dafalias and Popov's two surface model and Watanabe and Atluri's version of the endochronic model. The three models, originally oriented for infinitesimal deformation, have been extended for finite deformation. The results show (a) the Mises-type yield surface used in the three models brings about significant departure of the predictions from the experimental data; (b) Chaboche's and Dafalias' models are easier than Watanabe and Atluri's model in determining the material parameters in them, and (c) Chaboche's and Watanabe & Atluri's models produce almost the same prediction to the data, while Dafalias' model cannot accurately predict the plastic deformations when a loading path changes in its direction. Copyright (C) 1996 Elsevier Science Ltd

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.

The effects of surface tension on the elastic properties of nano structures

In the absence of external loading, surface tension will induce a residual stress field in the bulk of nano structures. However, in the prediction of mechanical properties of nano structures, the elastic response of the bulk is usually described by classical Hooke’s law, in which the aforementioned residual stress was neglected in the existing literatures. The present paper investigates the influences of surface tension and the residual stress in the bulk induced by the surface tension on the elastic properties of nano structures. We firstly present the surface elasticity in the Lagrangian and the Eulerian descriptions and point out that even in the case of infinitesimal deformations the reference and the current configurations should be discriminated; otherwise the out-plane terms of surface displacement gradient, associated with the surface tension, may sometimes be overlooked in the Eulerian descriptions, particularly for curved and rotated surfaces. Then, the residual stress in the bulk is studied through the non-classical boundary conditions and used to construct the linear elastic constitutive relations for the bulk material. Finally, these relations are adopted to analyze the size-dependent properties of pure bending of Al nanowires. The present results show that surface tension will considerably affect the effective Young’s modulus of Al nanowires, which decrease with either the decrease of nanowires thickness or the increase of the aspect ratio.

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.