Search results for "model theory"

showing 10 items of 681 documents

Observational effects of varying speed of light in quadratic gravity cosmological models

2017

We study different manifestations of the speed of light in theories of gravity where metric and connection are regarded as independent fields. We find that for a generic gravity theory in a frame with locally vanishing affine connection, the usual degeneracy between different manifestations of the speed of light is broken. In particular, the space-time causal structure constant ([Formula: see text]) may become variable in that local frame. For theories of the form [Formula: see text], this variation in [Formula: see text] has an impact on the definition of the luminosity distance (and distance modulus), which can be used to confront the predictions of particular models against Supernovae t…

PhysicsGravity (chemistry)Physics and Astronomy (miscellaneous)010308 nuclear & particles physicsFOS: Physical sciencesGeneral Relativity and Quantum Cosmology (gr-qc)Cosmological constantAffine connectionType (model theory)01 natural sciencesGeneral Relativity and Quantum Cosmology0103 physical sciencesSpeed of lightConnection (algebraic framework)010306 general physicsConstant (mathematics)Luminosity distanceMathematical physics
researchProduct

Minimal Morse flows on compact manifolds

2006

Abstract In this paper we prove, using the Poincare–Hopf inequalities, that a minimal number of non-degenerate singularities can be computed in terms only of abstract homological boundary information. Furthermore, this minimal number can be realized on some manifold with non-empty boundary satisfying the abstract homological boundary information. In fact, we present all possible indices and types (connecting or disconnecting) of singularities realizing this minimal number. The Euler characteristics of all manifolds realizing this minimal number are obtained and the associated Lyapunov graphs of Morse type are described and shown to have the lowest topological complexity.

Discrete mathematicsLyapunov functionTopological complexityBoundary (topology)Type (model theory)Morse codeManifoldLyapunov graphslaw.inventionsymbols.namesakePoincaré–Hopf inequalitieslawEuler's formulasymbolsGravitational singularityGeometry and TopologyMathematics::Symplectic GeometryConley indexMathematicsTopology and its Applications
researchProduct

KnotGenome: a server to analyze entanglements of chromosomes.

2018

Abstract The KnotGenome server enables the topological analysis of chromosome model data using three-dimensional coordinate files of chromosomes as input. In particular, it detects prime and composite knots in single chromosomes, and links between chromosomes. The knotting complexity of the chromosome is presented in the form of a matrix diagram that reveals the knot type of the entire polynucleotide chain and of each of its subchains. Links are determined by means of the Gaussian linking integral and the HOMFLY-PT polynomial. Entangled chromosomes are presented graphically in an intuitive way. It is also possible to relax structure with short molecular dynamics runs before the analysis. Kn…

0301 basic medicinePolynomialProtein ConformationGaussianPolynucleotidesBiologyType (model theory)Molecular Dynamics SimulationPrime (order theory)ChromosomesQuantitative Biology::Subcellular Processes03 medical and health sciencessymbols.namesakeMatrix (mathematics)Knot (unit)Chain (algebraic topology)GeneticsDiscrete mathematicsInternetDiagramComputational BiologyMathematics::Geometric TopologyQuantitative Biology::Genomics030104 developmental biologyWeb Server IssuesymbolsAlgorithmsSoftwareNucleic acids research
researchProduct

Has the neutral double hypernucleus nΛΛ4 been observed?

2019

Abstract The BNL-AGS E906 experiment was the first fully electronic experiment to produce and study double hypernuclei with large statistics. Two dominant structures were observed in the correlated π − – π − momentum matrix at ( p π − H , p π − L ) = ( 133 , 114 ) MeV / c and at ( 114 , 104 ) MeV / c . In this work we argue that the interpretation of the structure at ( 133 , 114 ) MeV / c in terms of Λ 3 H+ Λ 4 H pairs is questionable. We show, that neither a scenario where these single-Λ hypernuclei are produced after capture of a stopped Ξ − by a 9Be nucleus nor interactions of energetic Ξ − with 9Be nuclei in the target material can produce a sufficient amount of such twin pairs. We have…

PhysicsNuclear and High Energy Physics010308 nuclear & particles physicsBranching fractionHypernucleus01 natural sciencesInterpretation (model theory)MomentumMatrix (mathematics)medicine.anatomical_structure0103 physical sciencesmedicineAtomic physics010306 general physicsNucleusPhysics Letters B
researchProduct

Electronic and acoustic-phonon inter-Landau-level Raman scattering in GaAs/AlxGa1−xAs multiple quantum wells

1995

We present an experimental study of inter-Landau-level excitations in undoped GaAs/${\mathrm{Al}}_{\mathit{x}}$${\mathrm{Ga}}_{1\mathrm{\ensuremath{-}}\mathit{x}}$As multiple quantum wells in high magnetic fields by means of Raman scattering. The experiments were performed in Faraday backscattering geometry with the field along the growth axis, using circularly polarized light for resonant excitation of low-index magneto-optical transitions between Landau levels. We observe two types of peaks. One of them, present in both Stokes and anti-Stokes regions at a constant Raman shift, corresponds to the electron cyclotron energy. We attribute it to electronic Raman scattering from a quasistationa…

PhysicsCondensed matter physicsScatteringbusiness.industryLandau quantizationType (model theory)Condensed Matter::Mesoscopic Systems and Quantum Hall Effectsymbols.namesakeX-ray Raman scatteringOpticsCrystal momentumsymbolsCoherent anti-Stokes Raman spectroscopyRaman spectroscopybusinessRaman scatteringPhysical Review B
researchProduct

Darboux integrable system with a triple point and pseudo-abelian integrals

2016

We study pseudo-abelian integrals associated with polynomial perturbations of Dar-boux integrable system with a triple point. Under some assumptions we prove the local boundedness of the number of their zeros. Assuming that this is the only non-genericity, we prove that the number of zeros of the corresponding pseudo-abelian integrals is bounded uniformly for nearby Darboux integrable foliations.

0209 industrial biotechnologyPure mathematicsControl and OptimizationIntegrable systemTriple pointAbelian integrals[ MATH.MATH-DS ] Mathematics [math]/Dynamical Systems [math.DS]Darboux integrability[MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS][MATH.MATH-DS] Mathematics [math]/Dynamical Systems [math.DS]Dynamical Systems (math.DS)02 engineering and technologyType (model theory)01 natural sciencesIntegrating factor020901 industrial engineering & automationFOS: MathematicsLimit Cycle0101 mathematicsAbelian groupMathematics - Dynamical Systems34C07 34C08MathematicsNumerical AnalysisAlgebra and Number Theory010102 general mathematicsMathematical analysisLimit cyclesMathematics Subject ClassificationControl and Systems EngineeringBounded functionFoliation (geology)
researchProduct

A Bryce and cossey type theorem in a class of locally finite groups

2001

In this paper the subgroup-closed saturated Fitting formations of radical locally finite groups with min-p for all p are fully characterised. Moreover the study of a class of generalised nilpotent groups introduced by Ballester-Bolinches and Pedraza is continued.

Class (set theory)Pure mathematicsGeneral MathematicsType (model theory)Mathematics
researchProduct

Topological Decompositions of the Pauli Group and their Influence on Dynamical Systems

2021

In the present paper we show that it is possible to obtain the well known Pauli group $P=\langle X,Y,Z \ | \ X^2=Y^2=Z^2=1, (YZ)^4=(ZX)^4=(XY)^4=1 \rangle $ of order $16$ as an appropriate quotient group of two distinct spaces of orbits of the three dimensional sphere $S^3$. The first of these spaces of orbits is realized via an action of the quaternion group $Q_8$ on $S^3$; the second one via an action of the cyclic group of order four $\mathbb{Z}(4)$ on $S^3$. We deduce a result of decomposition of $P$ of topological nature and then we find, in connection with the theory of pseudo-fermions, a possible physical interpretation of this decomposition.

Central productsHamiltoniansPhysicsDynamical systems theoryActions of groups010102 general mathematicsQuaternion groupFOS: Physical sciencesCyclic groupMathematical Physics (math-ph)Pseudo-fermionsTopology01 natural sciencesInterpretation (model theory)Pauli groups0103 physical sciencesPauli groupOrder (group theory)Geometry and Topology0101 mathematicsConnection (algebraic framework)010306 general physicsQuotient groupMathematical PhysicsMathematical Physics, Analysis and Geometry
researchProduct

Maximal regularity via reverse Hölder inequalities for elliptic systems of n-Laplace type involving measures

2008

In this note, we consider the regularity of solutions of the nonlinear elliptic systems of n-Laplacian type involving measures, and prove that the gradients of the solutions are in the weak Lebesgue space Ln,∞. We also obtain the a priori global and local estimates for the Ln,∞-norm of the gradients of the solutions without using BMO-estimates. The proofs are based on a new lemma on the higher integrability of functions.

Pure mathematicsNonlinear systemLemma (mathematics)Laplace transformElliptic systemsGeneral MathematicsMathematical analysisMathematicsofComputing_NUMERICALANALYSISStandard probability spaceA priori and a posterioriType (model theory)Mathematical proofMathematics
researchProduct

Quantized Fields and Their Interpretation

2013

This chapter deals with the quantum theory of systems with an infinite number of degrees of freedom and provides elements of quantum field theory.

PhysicsInfinite numberClassical mechanicsPath integral formulationDegrees of freedomFunctional derivativeQuantum field theoryInterpretation (model theory)
researchProduct