Sciweavers

173 search results - page 15 / 35
» A Proof of the Two-path Conjecture
Sort
View
CADE
2006
Springer
14 years 7 months ago
Flyspeck I: Tame Graphs
We present a verified enumeration of tame graphs as defined in Hales' proof of the Kepler Conjecture and confirm the completeness of Hales' list of all tame graphs while ...
Tobias Nipkow, Gertrud Bauer, Paula Schultz
ISNN
2005
Springer
14 years 1 months ago
One-Bit-Matching ICA Theorem, Convex-Concave Programming, and Combinatorial Optimization
Recently, a mathematical proof is obtained in (Liu, Chiu, Xu, 2004) on the so called one-bit-matching conjecture that all the sources can be separated as long as there is an one-to...
Lei Xu
JAL
2006
86views more  JAL 2006»
13 years 7 months ago
An algorithmic sign-reversing involution for special rim-hook tableaux
Egecioglu and Remmel [2] gave an interpretation for the entries of the inverse Kostka matrix K-1 in terms of special rim-hook tableaux. They were able to use this interpretation to...
Bruce E. Sagan, Jaejin Lee
RSA
2010
94views more  RSA 2010»
13 years 5 months ago
Word maps and spectra of random graph lifts
We study here the spectra of random lifts of graphs. Let G be a finite connected graph, and let the infinite tree T be its universal cover space. If λ1 and ρ are the spectral ...
Nati Linial, Doron Puder
CORR
2010
Springer
185views Education» more  CORR 2010»
13 years 7 months ago
Pseudorandom generators and the BQP vs. PH problem
It is a longstanding open problem to devise an oracle relative to which BQP does not lie in the Polynomial-Time Hierarchy (PH). We advance a natural conjecture about the capacity ...
Bill Fefferman, Christopher Umans