Search results for "Names"

showing 10 items of 6843 documents

Perturbations of surjective convolution operators

2002

Let μ 1 and μ 2 be (ultra)distributions with compact support which have disjoint singular supports. We assume that the convolution operator f → μ 1 *f is surjective when it acts on a space of functions or (ultra)distributions, and we investigate whether the perturbed convolution operator f→ (μ 1 + μ 2 ) * f is surjective. In particular we solve in the negative a question asked by Abramczuk in 1984.

Discrete mathematicsLaplace transformApplied MathematicsGeneral MathematicsDisjoint setsOperator theorySpace (mathematics)ConvolutionSurjective functionsymbols.namesakeDistribution (mathematics)Fourier transformsymbolsMathematicsProceedings of the American Mathematical Society
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

A-Codes from Rational Functions over Galois Rings

2006

In this paper, we describe authentication codes via (generalized) Gray images of suitable codes over Galois rings. Exponential sums over these rings help determine--or bound--the parameters of such codes.

Discrete mathematicsMathematics::Commutative AlgebraApplied MathematicsFundamental theorem of Galois theoryGalois groupRational functionExponential polynomialComputer Science ApplicationsEmbedding problemDifferential Galois theorysymbols.namesakeGalois rings Gray map codesComputer Science::Computer Vision and Pattern RecognitionComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONComputer Science::MultimediasymbolsSettore MAT/03 - GeometriaGalois extensionResolventMathematicsDesigns, Codes and Cryptography
researchProduct

The pianigiani-yorke measure for topological markov chains

1997

We prove the existence of a Pianigiani-Yorke measure for a Markovian factor of a topological Markov chain. This measure induces a Gibbs measure in the limit set. The proof uses the contraction properties of the Ruelle-Perron-Frobenius operator.

Discrete mathematicsMathematics::Dynamical SystemsMarkov chain mixing timeMarkov chainGeneral MathematicsMarkov processPartition function (mathematics)TopologyHarris chainNonlinear Sciences::Chaotic Dynamicssymbols.namesakeBalance equationsymbolsExamples of Markov chainsGibbs measureMathematicsIsrael Journal of Mathematics
researchProduct

On generalized a-Browder's theorem

2007

We characterize the bounded linear operators T satisfying generalized a-Browder's theorem, or generalized a-Weyl's theorem, by means of localized SVEP, as well as by means of the quasi-nilpotent part H0(�I T) asbelongs to certain sets of C. In the last part we give a general framework in which generalized a-Weyl's theorem follows for several classes of operators. 1. Preliminaries. Let L(X) denote the space of bounded linear oper- ators on an infinite-dimensional complex Banach space X. For T ∈ L(X), denote by α(T) the dimension of the kernel ker T, and by β(T) the codi- mension of the range T(X). The operator T ∈ L(X) is called upper semi- Fredholm if α(T) < ∞ and T(X) is closed, and lower …

Discrete mathematicsMathematics::Functional AnalysisFredholm theoryMathematics::Operator AlgebrasGeneral MathematicsFredholm operatorgeneralized Browder's theoremBanach spaceMathematics::Spectral TheoryFredholm theorySVEPCombinatoricssymbols.namesakeKernel (algebra)Operator (computer programming)Mathematics Subject ClassificationIntegerSettore MAT/05 - Analisi MatematicaMathematics::K-Theory and HomologyBounded functionsymbolsgeneralized Weyl's theoremMathematicsStudia Mathematica
researchProduct

Fredholm composition operators on algebras of analytic functions on Banach spaces

2010

AbstractWe prove that Fredholm composition operators acting on the uniform algebra H∞(BE) of bounded analytic functions on the open unit ball of a complex Banach space E with the approximation property are invertible and arise from analytic automorphisms of the ball.

Discrete mathematicsMathematics::Functional AnalysisPure mathematicsSpectral theoryApproximation propertyFredholm operatorGlobal analytic functionFinite-rank operatorFredholm integral equationFredholm operatorCompact operatorFredholm theorysymbols.namesakesymbolsComposition operatorBounded analytic functionAnalysisMathematicsJournal of Functional Analysis
researchProduct

The support localization property of the strongly embedded subspaces of banach function spaces

2015

[EN] Motivated by the well known Kadec-Pelczynski disjointifcation theorem, we undertake an analysis of the supports of non-zero functions in strongly embedded subspaces of Banach functions spaces. The main aim is to isolate those properties that bring additional information on strongly embedded subspaces. This is the case of the support localization property, which is a necessary condition fulflled by all strongly embedded subspaces. Several examples that involve Rademacher functions, the Volterra operator, Lorentz spaces or Orlicz spaces are provided.

Discrete mathematicsMathematics::Functional AnalysisPure mathematicsVolterra operatorFunctional analysisDisjoint sequenceStrongly embedded subspaceFunction spaceGeneral MathematicsLorentz transformationVector measure integrationBanach function spaceLinear subspacesymbols.namesakesymbolsInterpolation spaceBirnbaum–Orlicz spaceLp spaceMATEMATICA APLICADAMathematics
researchProduct

A new Euler–Mahonian constructive bijection

2011

AbstractUsing generating functions, MacMahon proved in 1916 the remarkable fact that the major index has the same distribution as the inversion number for multiset permutations, and in 1968 Foata gave a constructive bijection proving MacMahon’s result. Since then, many refinements have been derived, consisting of adding new constraints or new statistics.Here we give a new simple constructive bijection between the set of permutations with a given number of inversions and those with a given major index. We introduce a new statistic, mix, related to the Lehmer code, and using our new bijection we show that the bistatistic (mix,INV) is Euler–Mahonian. Finally, we introduce the McMahon code for …

Discrete mathematicsMultisetMathematics::CombinatoricsApplied MathematicsMajor indexMajor indexConstructiveCombinatoricssymbols.namesakeConstructive bijectionLehmer codeBijectionEuler's formulasymbolsInversion numberDiscrete Mathematics and CombinatoricsPermutation (bi)statisticStatisticMathematicsDiscrete Applied Mathematics
researchProduct

A Logical Characterisation of Linear Time on Nondeterministic Turing Machines

1999

The paper gives a logical characterisation of the class NTIME(n) of problems that can be solved on a nondeterministic Turing machine in linear time. It is shown that a set L of strings is in this class if and only if there is a formula of the form ∃f1..∃fk∃R1..∃Rm∀xφv; that is true exactly for all strings in L. In this formula the fi are unary function symbols, the Ri are unary relation symbols and φv; is a quantifierfree formula. Furthermore, the quantification of functions is restricted to non-crossing, decreasing functions and in φv; no equations in which different functions occur are allowed. There are a number of variations of this statement, e.g., it holds also for k = 3. From these r…

Discrete mathematicsNTIMEComputational complexity theoryUnary operationCombinatoricsNondeterministic algorithmTuring machinesymbols.namesakeNon-deterministic Turing machinesymbolsUnary functionTime complexityComputer Science::Formal Languages and Automata TheoryMathematics
researchProduct

Quantum Pushdown Automata

2000

Quantum finite automata, as well as quantum pushdown automata were first introduced by C. Moore, J. P. Crutchfield [13]. In this paper we introduce the notion of quantum pushdown automata (QPA) in a non-equivalent way, including unitarity criteria, by using the definition of quantum finite automata of [11]. It is established that the unitarity criteria of QPA are not equivalent to the corresponding unitarity criteria of quantum Turing machines [4]. We show that QPA can recognize every regular language. Finally we present some simple languages recognized by QPA, two of them are not recognizable by deterministic pushdown automata and one seems to be not recognizable by probabilistic pushdown …

Discrete mathematicsNested wordComputer scienceDeterministic context-free grammarContext-free languagePushdown automatonNonlinear Sciences::Cellular Automata and Lattice GasesEmbedded pushdown automatonDeterministic pushdown automatonTuring machinesymbols.namesakeRegular languageDeterministic automatonProbabilistic automatonsymbolsQuantum finite automataAutomata theoryComputer Science::Formal Languages and Automata TheoryQuantum cellular automaton
researchProduct