Search results for "Mathematics::Metric Geometry"

showing 10 items of 139 documents

Evolution Problems Associated to Linear Growth Functionals: The Dirichlet Problem

2003

Let Ω be a bounded set inIR N with Lipschitz continuous boundary ∂Ω. We are interested in the problem

Dirichlet problemPure mathematicsBounded setMathematical analysisBoundary (topology)Dirichlet's energyLipschitz continuityElliptic boundary value problemDirichlet kernelsymbols.namesakeDirichlet's principlesymbolsMathematics::Metric GeometryMathematics
researchProduct

Capabilities of Ultrametric Automata with One, Two, and Three States

2016

Ultrametric automata use p-adic numbers to describe the random branching of the process of computation. Previous research has shown that ultrametric automata can have a significant decrease in computing complexity. In this paper we consider the languages that can be recognized by one-way ultrametric automata with one, two, and three states. We also show an example of a promise problem that can be solved by ultrametric integral automaton with three states.

Discrete mathematicsBinary treeComputationPrime number020206 networking & telecommunications02 engineering and technologyNonlinear Sciences::Cellular Automata and Lattice GasesCondensed Matter::Disordered Systems and Neural NetworksAutomatonTuring machinesymbols.namesakeRegular language0202 electrical engineering electronic engineering information engineeringsymbolsMathematics::Metric Geometry020201 artificial intelligence & image processingPromise problemUltrametric spaceComputer Science::DatabasesComputer Science::Formal Languages and Automata TheoryMathematics
researchProduct

On the Hierarchy Classes of Finite Ultrametric Automata

2015

This paper explores the language classes that arise with respect to the head count of a finite ultrametric automaton. First we prove that in the one-way setting there is a language that can be recognized by a one-head ultrametric finite automaton and cannot be recognized by any k-head non-deterministic finite automaton. Then we prove that in the two-way setting the class of languages recognized by ultrametric finite k-head automata is a proper subclass of the class of languages recognized by (k + 1)-head automata. Ultrametric finite automata are similar to probabilistic and quantum automata and have only just recently been introduced by Freivalds. We introduce ultrametric Turing machines an…

Discrete mathematicsClass (set theory)TheoryofComputation_COMPUTATIONBYABSTRACTDEVICESFinite-state machineHierarchy (mathematics)Nonlinear Sciences::Cellular Automata and Lattice GasesCondensed Matter::Disordered Systems and Neural NetworksAutomatonAlgebraTuring machinesymbols.namesakeTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESsymbolsMathematics::Metric GeometryQuantum finite automataAutomata theoryUltrametric spaceComputer Science::Formal Languages and Automata TheoryMathematicsofComputing_DISCRETEMATHEMATICSMathematics
researchProduct

The branch set of a quasiregular mapping between metric manifolds

2016

Abstract In this note, we announce some new results on quantitative countable porosity of the branch set of a quasiregular mapping in very general metric spaces. As applications, we solve a recent conjecture of Fassler et al., an open problem of Heinonen–Rickman, and an open question of Heinonen–Semmes.

Discrete mathematicsConjectureMathematics::Complex VariablesOpen problem010102 general mathematicsMathematical analysisGeneral Medicine01 natural sciences010101 applied mathematicsSet (abstract data type)Metric spaceMetric (mathematics)Mathematics::Metric GeometryCountable set0101 mathematicsMathematicsComptes Rendus Mathematique
researchProduct

Finite linear spaces in which any n-gon is euclidean

1986

Abstract An n-gon of a linear space is a set S of n points no three of which are collinear. By a diagonal point of S we mean a point p off S with the property that at least two lines through p intersect S in two points. The number of diagonal points is called the type of S. For example, a 4-gon has at most three diagonal points. We call an n-gon euclidean if (roughly speaking) it contains the maximal possible number of 4-gons of type 3. In this paper, we characterize all finite linear spaces in which, for a fixed number n ⩾ 5, any n-gon is euclidean. It turns out that these structures are essentially projective spaces or punctured projective spaces.

Discrete mathematicsLinear spaceDiagonalComputer Science::Computational GeometryEuclidean distance matrixTheoretical Computer ScienceCombinatoricsEuclidean geometryHomographyAffine spaceMathematics::Metric GeometryDiscrete Mathematics and CombinatoricsPoint (geometry)Linear separabilityMathematicsDiscrete Mathematics
researchProduct

Sobolev classes of Banach space-valued functions and quasiconformal mappings

2001

We give a definition for the class of Sobolev functions from a metric measure space into a Banach space. We give various characterizations of Sobolev classes and study the absolute continuity in measure of Sobolev mappings in the “borderline case”. We show under rather weak assumptions on the source space that quasisymmetric homeomorphisms belong to a Sobolev space of borderline degree; in particular, they are absolutely continuous. This leads to an analytic characterization of quasiconformal mappings between Ahlfors regular Loewner spaces akin to the classical Euclidean situation. As a consequence, we deduce that quasisymmetric maps respect the Cheeger differentials of Lipschitz functions …

Discrete mathematicsMathematics::Complex VariablesGeneral MathematicsEberlein–Šmulian theoremMathematics::Analysis of PDEsSobolev inequalitySobolev spaceMathematics::Metric GeometryBesov spaceInterpolation spaceBirnbaum–Orlicz spaceMetric differentialAnalysisMathematicsTrace operator
researchProduct

Radon–Nikodym Property and Area Formula for Banach Homogeneous Group Targets

2013

We prove a Rademacher-type theorem for Lipschitz mappings from a subset of a Carnot group to a Banach homogeneous group, equipped with a suitably weakened Radon-Nikodym property. We provide a metric area formula that applies to these mappings and more generally to all almost everywhere metrically differentiable Lipschitz mappings defined on a Carnot group. peerReviewed

Discrete mathematicsMathematics::Functional AnalysisProperty (philosophy)General Mathematicsmetric area formulata111Mathematics::Analysis of PDEsCarnot groupBanach homogeneous groupsalmost everywhere differentiabilityRadon-Nikodym propertyLipschitz continuityRadon–Nikodym theoremBanach homogeneous groups; metric area formula; almost everywhere differentiability; Radon-Nikodym propertyMetric (mathematics)Homogeneous groupMathematics::Metric GeometryAlmost everywhereDifferentiable functionMathematics
researchProduct

A note on the distance set problem in the plane

2001

We use a simple geometric-combinatorial argument to establish a quantitative relation between the generalized Hausdorff measure of a set and its distance set, extending a result originally due to Falconer.

Discrete mathematicsPlane (geometry)Applied MathematicsGeneral MathematicsMathematical analysisσ-finite measureMeasure (mathematics)Set (abstract data type)Simple (abstract algebra)Mathematics::Metric GeometryHausdorff measureOuter measureBorel measureMathematicsProceedings of the American Mathematical Society
researchProduct

ISOMETRY GROUPS OF WEIGHTED SPACES OF HOLOMORPHIC FUNCTIONS: TRANSITIVITY AND UNIQUENESS

2009

We survey some recent results on the isometries of weighted spaces of holomorphic functions defined on an open subset of ℂn. We will see that these isometries are determined by a subgroup of the automorphisms on a distinguished subset of the domain. We will look for weights with 'large' groups of isometries and observe that in certain circumstances the group of isometries determines the weight.

Discrete mathematicsPure mathematicsGroup (mathematics)General MathematicsHolomorphic functionIsometryMathematics::Metric GeometryUniquenessIsometry groupAutomorphismIdentity theoremDomain (mathematical analysis)MathematicsAsian-European Journal of Mathematics
researchProduct

Mappings of finite distortion and asymmetry of domains

2013

We establish an anisotropic Bonnesen inequality for images of balls under homeomorphisms with exponentially integrable distortion. Mathematics Subject Classification (2000): 30C65, 46E35.

Distortion (mathematics)Mathematics Subject ClassificationIntegrable systemGeneral Mathematicsmedia_common.quotation_subjectta111Mathematical analysisMathematics::Metric GeometryAnisotropyAsymmetryMathematicsmedia_commonAnnales Academiae Scientiarum Fennicae Mathematica
researchProduct