201 research outputs found
Finite geometries and diffractive orbits in isospectral billiards
Several examples of pairs of isospectral planar domains have been produced in
the two-dimensional Euclidean space by various methods. We show that all these
examples rely on the symmetry between points and blocks in finite projective
spaces; from the properties of these spaces, one can derive a relation between
Green functions as well as a relation between diffractive orbits in isospectral
billiards.Comment: 10 page
Topological Force and Torque in Spin-Orbit Coupling System
The topological force and torque are investigated in the systems with
spin-orbit coupling. Our results show that the topological force and torque
appears as a pure relativistic quantum effect in an electromagnetic field. The
origin of both topological force and torque is the Zitterbewegung effect.
Considering nonlinear behaviors of spin-orbit coupling, we address possible
phenomena driven by the topological forces.Comment: 4 page
Testing real-time systems using TINA
The paper presents a technique for model-based black-box conformance testing of real-time systems using the Time Petri Net Analyzer TINA. Such test suites are derived from a prioritized time Petri net composed of two concurrent sub-nets specifying respectively the expected behaviour of the system under test and its environment.We describe how the toolbox TINA has been extended to support automatic generation of time-optimal test suites. The result is optimal in the sense that the set of test cases in the test suite have the shortest possible accumulated time to be executed. Input/output conformance serves as the notion of implementation correctness, essentially timed trace inclusion taking environment assumptions into account. Test cases selection is based either on using manually formulated test purposes or automatically from various coverage criteria specifying structural criteria of the model to be fulfilled by the test suite. We discuss how test purposes and coverage criterion are specified in the linear temporal logic SE-LTL, derive test sequences, and assign verdicts
Ricci-flat Metrics with U(1) Action and the Dirichlet Boundary-value Problem in Riemannian Quantum Gravity and Isoperimetric Inequalities
The Dirichlet boundary-value problem and isoperimetric inequalities for
positive definite regular solutions of the vacuum Einstein equations are
studied in arbitrary dimensions for the class of metrics with boundaries
admitting a U(1) action. We show that in the case of non-trivial bundles
Taub-Bolt infillings are double-valued whereas Taub-Nut and Eguchi-Hanson
infillings are unique. In the case of trivial bundles, there are two
Schwarzschild infillings in arbitrary dimensions. The condition of whether a
particular type of filling in is possible can be expressed as a limitation on
squashing through a functional dependence on dimension in each case. The case
of the Eguchi-Hanson metric is solved in arbitrary dimension. The Taub-Nut and
the Taub-Bolt are solved in four dimensions and methods for arbitrary dimension
are delineated. For the case of Schwarzschild, analytic formulae for the two
infilling black hole masses in arbitrary dimension have been obtained. This
should facilitate the study of black hole dynamics/thermodynamics in higher
dimensions. We found that all infilling solutions are convex. Thus convexity of
the boundary does not guarantee uniqueness of the infilling. Isoperimetric
inequalities involving the volume of the boundary and the volume of the
infilling solutions are then investigated. In particular, the analogues of
Minkowski's celebrated inequality in flat space are found and discussed
providing insight into the geometric nature of these Ricci-flat spaces.Comment: 40 pages, 3 figure
Correlation Between the Deuteron Characteristics and the Low-energy Triplet np Scattering Parameters
The correlation relationship between the deuteron asymptotic normalization
constant, , and the triplet np scattering length, , is
investigated. It is found that 99.7% of the asymptotic constant is
determined by the scattering length . It is shown that the linear
correlation relationship between the quantities and
provides a good test of correctness of various models of nucleon-nucleon
interaction. It is revealed that, for the normalization constant and
for the root-mean-square deuteron radius , the results obtained with the
experimental value recommended at present for the triplet scattering length
are exaggerated with respect to their experimental counterparts. By
using the latest experimental phase shifts of Arndt et al., we obtain, for the
low-energy scattering parameters (, , ) and for the
deuteron characteristics (, ), results that comply well with
experimental data.Comment: 19 pages, 1 figure, To be published in Physics of Atomic Nucle
Compact Einstein Spaces based on Quaternionic K\"ahler Manifolds
We investigate the Einstein equation with a positive cosmological constant
for -dimensional metrics on bundles over Quaternionic K\"ahler base
manifolds whose fibers are 4-dimensional Bianchi IX manifolds. The Einstein
equations are reduced to a set of non-linear ordinary differential equations.
We numerically find inhomogeneous compact Einstein spaces with orbifold
singularity.Comment: LaTeX 28 pages, 5 eps figure
Non-commutative mechanics and Exotic Galilean symmetry
In order to derive a large set of Hamiltonian dynamical systems, but with
only first order Lagrangian, we resort to the formulation in terms of
Lagrange-Souriau 2-form formalism. A wide class of systems derived in different
phenomenological contexts are covered. The non-commutativity of the particle
position coordinates are a natural consequence. Some explicit examples are
considered.Comment: 15 pages, Talk given at Nonlinear Physics. Theory and Experiment
VI,Gallipoli (Lecce), Italy, June 23 - July 3, 201
On the error term in Weyl's law for the Heisenberg manifolds (II)
In this paper we study the mean square of the error term in the Weyl's law of
an irrational -dimensional Heisenberg manifold . An asymptotic formula
is established
Dominant Topologies in Euclidean Quantum Gravity
The dominant topologies in the Euclidean path integral for quantum gravity
differ sharply according on the sign of the cosmological constant. For
, saddle points can occur only for topologies with vanishing first
Betti number and finite fundamental group. For , on the other hand,
the path integral is dominated by topologies with extremely complicated
fundamental groups; while the contribution of each individual manifold is
strongly suppressed, the ``density of topologies'' grows fast enough to
overwhelm this suppression. The value is thus a sort of boundary
between phases in the sum over topologies. I discuss some implications for the
cosmological constant problem and the Hartle-Hawking wave function.Comment: 14 pages, LaTeX. Minor additions (computability, relation to
``minimal volume'' in topology); error in eqn (3.5) corrected; references
added. To appear in Class. Quant. Gra
A natural Finsler--Laplace operator
We give a new definition of a Laplace operator for Finsler metric as an
average with regard to an angle measure of the second directional derivatives.
This definition uses a dynamical approach due to Foulon that does not require
the use of connections nor local coordinates. We show using 1-parameter
families of Katok--Ziller metrics that this Finsler--Laplace operator admits
explicit representations and computations of spectral data.Comment: 25 pages, v2: minor modifications, changed the introductio
- …