12,045 research outputs found
Conditionally monotone independence I: Independence, additive convolutions and related convolutions
We define a product of algebraic probability spaces equipped with two states.
This product is called a conditionally monotone product. This product is a new
example of independence in non-commutative probability theory and unifies the
monotone and Boolean products, and moreover, the orthogonal product. Then we
define the associated cumulants and calculate the limit distributions in
central limit theorem and Poisson's law of small numbers. We also prove a
combinatorial moment-cumulant formula using monotone partitions. We investigate
some other topics such as infinite divisibility for the additive convolution
and deformations of the monotone convolution. We define cumulants for a general
convolution to analyze the deformed convolutions.Comment: 41 pages; small mistakes revised; to appear in Infin. Dimens. Anal.
Quantum Probab. Relat. To
The Monotone Cumulants
In the present paper we define the notion of generalized cumulants which
gives a universal framework for commutative, free, Boolean, and especially,
monotone probability theories. The uniqueness of generalized cumulants holds
for each independence, and hence, generalized cumulants are equal to the usual
cumulants in the commutative, free and Boolean cases. The way we define
(generalized) cumulants needs neither partition lattices nor generating
functions and then will give a new viewpoint to cumulants. We define ``monotone
cumulants'' in the sense of generalized cumulants and we obtain quite simple
proofs of central limit theorem and Poisson's law of small numbers in monotone
probability theory. Moreover, we clarify a combinatorial structure of
moment-cumulant formula with the use of ``monotone partitions''.Comment: 13 pages; minor changes and correction
Total Domishold Graphs: a Generalization of Threshold Graphs, with Connections to Threshold Hypergraphs
A total dominating set in a graph is a set of vertices such that every vertex
of the graph has a neighbor in the set. We introduce and study graphs that
admit non-negative real weights associated to their vertices such that a set of
vertices is a total dominating set if and only if the sum of the corresponding
weights exceeds a certain threshold. We show that these graphs, which we call
total domishold graphs, form a non-hereditary class of graphs properly
containing the classes of threshold graphs and the complements of domishold
graphs, and are closely related to threshold Boolean functions and threshold
hypergraphs. We present a polynomial time recognition algorithm of total
domishold graphs, and characterize graphs in which the above property holds in
a hereditary sense. Our characterization is obtained by studying a new family
of hypergraphs, defined similarly as the Sperner hypergraphs, which may be of
independent interest.Comment: 19 pages, 1 figur
Learning pseudo-Boolean k-DNF and Submodular Functions
We prove that any submodular function f: {0,1}^n -> {0,1,...,k} can be
represented as a pseudo-Boolean 2k-DNF formula. Pseudo-Boolean DNFs are a
natural generalization of DNF representation for functions with integer range.
Each term in such a formula has an associated integral constant. We show that
an analog of Hastad's switching lemma holds for pseudo-Boolean k-DNFs if all
constants associated with the terms of the formula are bounded.
This allows us to generalize Mansour's PAC-learning algorithm for k-DNFs to
pseudo-Boolean k-DNFs, and hence gives a PAC-learning algorithm with membership
queries under the uniform distribution for submodular functions of the form
f:{0,1}^n -> {0,1,...,k}. Our algorithm runs in time polynomial in n, k^{O(k
\log k / \epsilon)}, 1/\epsilon and log(1/\delta) and works even in the
agnostic setting. The line of previous work on learning submodular functions
[Balcan, Harvey (STOC '11), Gupta, Hardt, Roth, Ullman (STOC '11), Cheraghchi,
Klivans, Kothari, Lee (SODA '12)] implies only n^{O(k)} query complexity for
learning submodular functions in this setting, for fixed epsilon and delta.
Our learning algorithm implies a property tester for submodularity of
functions f:{0,1}^n -> {0, ..., k} with query complexity polynomial in n for
k=O((\log n/ \loglog n)^{1/2}) and constant proximity parameter \epsilon
Communication Complexity Lower Bounds by Polynomials
The quantum version of communication complexity allows the two communicating
parties to exchange qubits and/or to make use of prior entanglement (shared
EPR-pairs). Some lower bound techniques are available for qubit communication
complexity, but except for the inner product function, no bounds are known for
the model with unlimited prior entanglement. We show that the log-rank lower
bound extends to the strongest model (qubit communication + unlimited prior
entanglement). By relating the rank of the communication matrix to properties
of polynomials, we are able to derive some strong bounds for exact protocols.
In particular, we prove both the "log-rank conjecture" and the polynomial
equivalence of quantum and classical communication complexity for various
classes of functions. We also derive some weaker bounds for bounded-error
quantum protocols.Comment: 16 pages LaTeX, no figures. 2nd version: rewritten and some results
adde
- …