9,668 research outputs found
Quantum Algorithms for Weighing Matrices and Quadratic Residues
In this article we investigate how we can employ the structure of
combinatorial objects like Hadamard matrices and weighing matrices to device
new quantum algorithms. We show how the properties of a weighing matrix can be
used to construct a problem for which the quantum query complexity is
ignificantly lower than the classical one. It is pointed out that this scheme
captures both Bernstein & Vazirani's inner-product protocol, as well as
Grover's search algorithm.
In the second part of the article we consider Paley's construction of
Hadamard matrices, which relies on the properties of quadratic characters over
finite fields. We design a query problem that uses the Legendre symbol chi
(which indicates if an element of a finite field F_q is a quadratic residue or
not). It is shown how for a shifted Legendre function f_s(i)=chi(i+s), the
unknown s in F_q can be obtained exactly with only two quantum calls to f_s.
This is in sharp contrast with the observation that any classical,
probabilistic procedure requires more than log(q) + log((1-e)/2) queries to
solve the same problem.Comment: 18 pages, no figures, LaTeX2e, uses packages {amssymb,amsmath};
classical upper bounds added, presentation improve
Generalisation : graphs and colourings
The interaction between practice and theory in mathematics is a central theme. Many mathematical structures and theories result from the formalisation of a real problem. Graph Theory is rich with such examples. The graph structure itself was formalised by Leonard Euler in the quest to solve the problem of the Bridges of Königsberg. Once a structure is formalised, and results are proven, the mathematician seeks to generalise. This can be considered as one of the main praxis in mathematics. The idea of generalisation will be illustrated through graph colouring. This idea also results from a classic problem, in which it was well known by topographers that four colours suffice to colour any map such that no countries sharing a border receive the same colour. The proof of this theorem eluded mathematicians for centuries and was proven in 1976. Generalisation of graphs to hypergraphs, and variations on the colouring theme will be discussed, as well as applications in other disciplines.peer-reviewe
Why Delannoy numbers?
This article is not a research paper, but a little note on the history of
combinatorics: We present here a tentative short biography of Henri Delannoy,
and a survey of his most notable works. This answers to the question raised in
the title, as these works are related to lattice paths enumeration, to the
so-called Delannoy numbers, and were the first general way to solve Ballot-like
problems. These numbers appear in probabilistic game theory, alignments of DNA
sequences, tiling problems, temporal representation models, analysis of
algorithms and combinatorial structures.Comment: Presented to the conference "Lattice Paths Combinatorics and Discrete
Distributions" (Athens, June 5-7, 2002) and to appear in the Journal of
Statistical Planning and Inference
Approximately Sampling Elements with Fixed Rank in Graded Posets
Graded posets frequently arise throughout combinatorics, where it is natural
to try to count the number of elements of a fixed rank. These counting problems
are often -complete, so we consider approximation algorithms for
counting and uniform sampling. We show that for certain classes of posets,
biased Markov chains that walk along edges of their Hasse diagrams allow us to
approximately generate samples with any fixed rank in expected polynomial time.
Our arguments do not rely on the typical proofs of log-concavity, which are
used to construct a stationary distribution with a specific mode in order to
give a lower bound on the probability of outputting an element of the desired
rank. Instead, we infer this directly from bounds on the mixing time of the
chains through a method we call .
A noteworthy application of our method is sampling restricted classes of
integer partitions of . We give the first provably efficient Markov chain
algorithm to uniformly sample integer partitions of from general restricted
classes. Several observations allow us to improve the efficiency of this chain
to require space, and for unrestricted integer partitions,
expected time. Related applications include sampling permutations
with a fixed number of inversions and lozenge tilings on the triangular lattice
with a fixed average height.Comment: 23 pages, 12 figure
Software for Exact Integration of Polynomials over Polyhedra
We are interested in the fast computation of the exact value of integrals of
polynomial functions over convex polyhedra. We present speed ups and extensions
of the algorithms presented in previous work. We present the new software
implementation and provide benchmark computations. The computation of integrals
of polynomials over polyhedral regions has many applications; here we
demonstrate our algorithmic tools solving a challenge from combinatorial voting
theory.Comment: Major updat
- …