Search results for "bound"

showing 10 items of 2948 documents

A variation on theorems of Jordan and Gluck

2006

Abstract Gluck proved that any finite group G has an abelian subgroup A such that | G : A | is bounded by a polynomial function of the largest degree of the complex irreducible characters of G . This improved on a previous bound of Isaacs and Passman. In this paper, we present a variation of this result that looks at the number of prime factors. All these results, in turn, may be seen as variations on the classical theorem of Jordan on linear groups.

CombinatoricsPure mathematicsPolynomialFinite groupAlgebra and Number TheoryVariation (linguistics)Degree (graph theory)Bounded functionPrime factorFunction (mathematics)Abelian groupMathematicsJournal of Algebra
researchProduct

Exact Quantum Query Complexity of $$\text {EXACT}_{k,l}^n$$

2017

In the exact quantum query model a successful algorithm must always output the correct function value. We investigate the function that is true if exactly k or l of the n input bits given by an oracle are 1. We find an optimal algorithm (for some cases), and a nontrivial general lower and upper bound on the minimum number of queries to the black box.

CombinatoricsQuantum query010201 computation theory & mathematics0103 physical sciences0102 computer and information sciencesFunction (mathematics)010306 general physics01 natural sciencesUpper and lower boundsValue (mathematics)OracleMathematics
researchProduct

Quantum Query Complexity for Some Graph Problems

2004

The paper [4] by H. Buhrman and R. de Wolf contains an impressive survey of solved and open problems in quantum query complexity, including many graph problems. We use recent results by A.Ambainis [1] to prove higher lower bounds for some of these problems. Some of our new lower bounds do not close the gap between the best upper and lower bounds. We prove in these cases that it is impossible to provide a better application of Ambainis’ technique for these problems.

CombinatoricsQuantum queryGraph (abstract data type)Computer Science::Computational ComplexityUpper and lower boundsMathematics
researchProduct

Quantum Algorithm for Dyck Language with Multiple Types of Brackets

2021

We consider the recognition problem of the Dyck Language generalized for multiple types of brackets. We provide an algorithm with quantum query complexity \(O(\sqrt{n}(\log n)^{0.5k})\), where n is the length of input and k is the maximal nesting depth of brackets. Additionally, we show the lower bound for this problem which is \(\varOmega (\sqrt{n}c^{k})\) for some constant c.

CombinatoricsQuantum queryRegular languageNesting (computing)Dyck languageQuantum algorithmConstant (mathematics)Binary logarithmUpper and lower boundsMathematics
researchProduct

An algorithm for the Rural Postman problem on a directed graph

1986

The Directed Rural Postman Problem (DRPP) is a general case of the Chinese Postman Problem where a subset of the set of arcs of a given directed graph is ‘required’ to be traversed at minimum cost. If this subset does not form a weakly connected graph but forms a number of disconnected components the problem is NP-Complete, and is also a generalization of the asymmetric Travelling Salesman Problem. In this paper we present a branch and bound algorithm for the exact solution of the DRPP based on bounds computed from Lagrangean Relaxation (with shortest spanning arborescence sub-problems) and on the fathoming of some of the tree nodes by the solution of minimum cost flow problems. Computation…

CombinatoricsRoute inspection problemArborescenceBranch and boundComputer scienceDirected graphMinimum-cost flow problemTravelling salesman problemTree (graph theory)ConnectivityMathematicsofComputing_DISCRETEMATHEMATICS
researchProduct

A generalization of Sardinas and Patterson's algorithm to z-codes

1993

Abstract This paper concerns the framework of z-codes theory. The main contribution consists in an extension of the algorithm of Sardinas and Patterson for deciding whether a finite set of words X is a z-code. To improve the efficiency of this test we have found a tight upper bound on the length of the shortest words that might have a double z-factorization over X. Some remarks on the complexity of the algorithm are also given. Moreover, a slight modification of this algorithm allows us to compute the z-deciphering delay of X.

CombinatoricsSardinas–Patterson algorithmGeneral Computer ScienceGeneralizationCode (cryptography)Extension (predicate logic)Finite setUpper and lower boundsAlgorithmComputer Science(all)Theoretical Computer ScienceMathematicsAutomatonTheoretical Computer Science
researchProduct

A Criterion for Attaining the Welch Bounds with Applications for Mutually Unbiased Bases

2008

The paper gives a short introduction to mutually unbiased bases and the Welch bounds and demonstrates that the latter is a good technical tool to explore the former. In particular, a criterion for a system of vectors to satisfy the Welch bounds with equality is given and applied for the case of MUBs. This yields a necessary and sufficient condition on a set of orthonormal bases to form a complete system of MUBs. This condition takes an especially elegant form in the case of homogeneous systems of MUBs. We express some known constructions of MUBs in this form. Also it is shown how recently obtained results binding MUBs and some combinatorial structures (such as perfect nonlinear functions an…

CombinatoricsSet (abstract data type)Discrete mathematicsNonlinear systemWelch boundsHomogeneousOrthonormal basisAbelian groupNuclear ExperimentMutually unbiased basesHadamard matrixMathematics
researchProduct

EXISTENCE OF THREE SOLUTIONS FOR A MIXED BOUNDARY VALUE PROBLEM WITH THE STURM-LIOUVILLE EQUATION

2012

Abstract. The aim of this paper is to establish the existence of threesolutions for a Sturm-Liouville mixed boundary value problem. The ap-proach is based on multiple critical points theorems. 1. IntroductionThe aim of this paper is to establish, under a suitable set of assumptions, theexistence of at least three solutions for the following Sturm-Liouville problemwith mixed boundary conditions(RS λ )ˆ−(pu ′ ) ′ +qu = λf(t,u) in I =]a,b[u(a) = u ′ (b) = 0,where λ is a positive parameter and p, q, f are regular functions. To be precise,if f : [a,b] × R→ Ris a L 2 -Carath´eodory function and p,q ∈ L ∞ ([a,b]) suchthatp 0 := essinf t∈[a,b] p(t) > 0, q 0 := essinf t∈[a,b] q(t) ≥ 0,then we prove …

CombinatoricsSettore MAT/05 - Analisi MatematicaGeneral MathematicsMathematical analysisBoundary value problem mixed conditionsInterval (graph theory)Sturm–Liouville theoryFunction (mathematics)Boundary value problemMathematicsBulletin of the Korean Mathematical Society
researchProduct

Lower and Upper Probability Bounds for Some Conjunctions of Two Conditional Events

2018

In this paper we consider, in the framework of coherence, four different definitions of conjunction among conditional events. In each of these definitions the conjunction is still a conditional event. We first recall the different definitions of conjunction; then, given a coherent probability assessment (x, y) on a family of two conditional events \(\{A|H,B|K\}\), for each conjunction \((A|H) \wedge (B|K)\) we determine the (best) lower and upper bounds for the extension \(z=P[(A|H) \wedge (B|K)]\). We show that, in general, these lower and upper bounds differ from the classical Frechet-Hoeffding bounds. Moreover, we recall a notion of conjunction studied in recent papers, such that the res…

CombinatoricsSettore MAT/06 - Probabilita' E Statistica MatematicaProbability assessmentCoherence Conditional event Conditional random quantity Kleene-Lukasiewicz-Heyting conjunction Lukasiewicz conjunction Bochvar internal conjunction Sobocinski conjunction Lower and upper bounds Fréchet-Hoeffding bounds010102 general mathematics0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processing02 engineering and technology0101 mathematics01 natural sciencesMathematics
researchProduct

The best constant for the Sobolev trace embedding from into

2004

Abstract In this paper we study the best constant, λ 1 ( Ω ) for the trace map from W 1 , 1 ( Ω ) into L 1 ( ∂ Ω ) . We show that this constant is attained in BV ( Ω ) when λ 1 ( Ω ) 1 . Moreover, we prove that this constant can be obtained as limit when p ↘ 1 of the best constant of W 1 , p ( Ω ) ↪ L p ( ∂ Ω ) . To perform the proofs we will look at Neumann problems involving the 1-Laplacian, Δ 1 ( u ) = div ( Du / | Du | ) .

CombinatoricsSobolev spaceTrace (linear algebra)Applied MathematicsMathematical analysisNeumann boundary conditionEmbeddingTrace mapLimit (mathematics)Constant (mathematics)Laplace operatorAnalysisMathematicsNonlinear Analysis: Theory, Methods & Applications
researchProduct