24,391 research outputs found
Axioms for consensus functions on the n-cube
An elementary general result is proved that allows for simple
characterizations of well-known location/consensus functions (median, mean and
center) on the n-cube. In addition, alternate new characterizations are given
for the median and anti-median functions on the n-cube.Comment: 12 page
Going higher in the First-order Quantifier Alternation Hierarchy on Words
We investigate the quantifier alternation hierarchy in first-order logic on
finite words. Levels in this hierarchy are defined by counting the number of
quantifier alternations in formulas. We prove that one can decide membership of
a regular language to the levels (boolean combination of
formulas having only 1 alternation) and (formulas having only 2
alternations beginning with an existential block). Our proof works by
considering a deeper problem, called separation, which, once solved for lower
levels, allows us to solve membership for higher levels
Laplacian spectral characterization of some double starlike trees
A tree is called double starlike if it has exactly two vertices of degree
greater than two. Let denote the double starlike tree obtained by
attaching pendant vertices to one pendant vertex of the path and
pendant vertices to the other pendant vertex of . In this paper, we prove
that is determined by its Laplacian spectrum
Metric characterizations of superreflexivity in terms of word hyperbolic groups and finite graphs
We show that superreflexivity can be characterized in terms of bilipschitz
embeddability of word hyperbolic groups. We compare characterizations of
superreflexivity in terms of diamond graphs and binary trees. We show that
there exist sequences of series-parallel graphs of increasing topological
complexity which admit uniformly bilipschitz embeddings into a Hilbert space,
and thus do not characterize superreflexivity
- …