3,687 research outputs found
Boxicity and Cubicity of Product Graphs
The 'boxicity' ('cubicity') of a graph G is the minimum natural number k such
that G can be represented as an intersection graph of axis-parallel rectangular
boxes (axis-parallel unit cubes) in . In this article, we give estimates
on the boxicity and the cubicity of Cartesian, strong and direct products of
graphs in terms of invariants of the component graphs. In particular, we study
the growth, as a function of , of the boxicity and the cubicity of the
-th power of a graph with respect to the three products. Among others, we
show a surprising result that the boxicity and the cubicity of the -th
Cartesian power of any given finite graph is in and
, respectively. On the other hand, we show that there
cannot exist any sublinear bound on the growth of the boxicity of powers of a
general graph with respect to strong and direct products.Comment: 14 page
A New Game Invariant of Graphs: the Game Distinguishing Number
The distinguishing number of a graph is a symmetry related graph
invariant whose study started two decades ago. The distinguishing number
is the least integer such that has a -distinguishing coloring. A
distinguishing -coloring is a coloring
invariant only under the trivial automorphism. In this paper, we introduce a
game variant of the distinguishing number. The distinguishing game is a game
with two players, the Gentle and the Rascal, with antagonist goals. This game
is played on a graph with a set of colors. Alternately,
the two players choose a vertex of and color it with one of the colors.
The game ends when all the vertices have been colored. Then the Gentle wins if
the coloring is distinguishing and the Rascal wins otherwise. This game leads
to define two new invariants for a graph , which are the minimum numbers of
colors needed to ensure that the Gentle has a winning strategy, depending on
who starts. These invariants could be infinite, thus we start by giving
sufficient conditions to have infinite game distinguishing numbers. We also
show that for graphs with cyclic automorphisms group of prime odd order, both
game invariants are finite. After that, we define a class of graphs, the
involutive graphs, for which the game distinguishing number can be
quadratically bounded above by the classical distinguishing number. The
definition of this class is closely related to imprimitive actions whose blocks
have size . Then, we apply results on involutive graphs to compute the exact
value of these invariants for hypercubes and even cycles. Finally, we study odd
cycles, for which we are able to compute the exact value when their order is
not prime. In the prime order case, we give an upper bound of
On the distinguishability of random quantum states
We develop two analytic lower bounds on the probability of success p of
identifying a state picked from a known ensemble of pure states: a bound based
on the pairwise inner products of the states, and a bound based on the
eigenvalues of their Gram matrix. We use the latter to lower bound the
asymptotic distinguishability of ensembles of n random quantum states in d
dimensions, where n/d approaches a constant. In particular, for almost all
ensembles of n states in n dimensions, p>0.72. An application to distinguishing
Boolean functions (the "oracle identification problem") in quantum computation
is given.Comment: 20 pages, 2 figures; v2 fixes typos and an error in an appendi
Approximating the Noise Sensitivity of a Monotone Boolean Function
The noise sensitivity of a Boolean function f: {0,1}^n - > {0,1} is one of its fundamental properties. For noise parameter delta, the noise sensitivity is denoted as NS_{delta}[f]. This quantity is defined as follows: First, pick x = (x_1,...,x_n) uniformly at random from {0,1}^n, then pick z by flipping each x_i independently with probability delta. NS_{delta}[f] is defined to equal Pr [f(x) != f(z)]. Much of the existing literature on noise sensitivity explores the following two directions: (1) Showing that functions with low noise-sensitivity are structured in certain ways. (2) Mathematically showing that certain classes of functions have low noise sensitivity. Combined, these two research directions show that certain classes of functions have low noise sensitivity and therefore have useful structure.
The fundamental importance of noise sensitivity, together with this wealth of structural results, motivates the algorithmic question of approximating NS_{delta}[f] given an oracle access to the function f. We show that the standard sampling approach is essentially optimal for general Boolean functions. Therefore, we focus on estimating the noise sensitivity of monotone functions, which form an important subclass of Boolean functions, since many functions of interest are either monotone or can be simply transformed into a monotone function (for example the class of unate functions consists of all the functions that can be made monotone by reorienting some of their coordinates [O\u27Donnell, 2014]).
Specifically, we study the algorithmic problem of approximating NS_{delta}[f] for monotone f, given the promise that NS_{delta}[f] >= 1/n^{C} for constant C, and for delta in the range 1/n <= delta <= 1/2. For such f and delta, we give a randomized algorithm performing O((min(1,sqrt{n} delta log^{1.5} n))/(NS_{delta}[f]) poly (1/epsilon)) queries and approximating NS_{delta}[f] to within a multiplicative factor of (1 +/- epsilon). Given the same constraints on f and delta, we also prove a lower bound of Omega((min(1,sqrt{n} delta))/(NS_{delta}[f] * n^{xi})) on the query complexity of any algorithm that approximates NS_{delta}[f] to within any constant factor, where xi can be any positive constant. Thus, our algorithm\u27s query complexity is close to optimal in terms of its dependence on n.
We introduce a novel descending-ascending view of noise sensitivity, and use it as a central tool for the analysis of our algorithm. To prove lower bounds on query complexity, we develop a technique that reduces computational questions about query complexity to combinatorial questions about the existence of "thin" functions with certain properties. The existence of such "thin" functions is proved using the probabilistic method. These techniques also yield new lower bounds on the query complexity of approximating other fundamental properties of Boolean functions: the total influence and the bias
P?=NP as minimization of degree 4 polynomial, integration or Grassmann number problem, and new graph isomorphism problem approaches
While the P vs NP problem is mainly approached form the point of view of
discrete mathematics, this paper proposes reformulations into the field of
abstract algebra, geometry, fourier analysis and of continuous global
optimization - which advanced tools might bring new perspectives and approaches
for this question. The first one is equivalence of satisfaction of 3-SAT
problem with the question of reaching zero of a nonnegative degree 4
multivariate polynomial (sum of squares), what could be tested from the
perspective of algebra by using discriminant. It could be also approached as a
continuous global optimization problem inside , for example in
physical realizations like adiabatic quantum computers. However, the number of
local minima usually grows exponentially. Reducing to degree 2 polynomial plus
constraints of being in , we get geometric formulations as the
question if plane or sphere intersects with . There will be also
presented some non-standard perspectives for the Subset-Sum, like through
convergence of a series, or zeroing of fourier-type integral for some natural . The last discussed
approach is using anti-commuting Grassmann numbers , making nonzero only if has a Hamilton cycle. Hence,
the PNP assumption implies exponential growth of matrix representation of
Grassmann numbers. There will be also discussed a looking promising
algebraic/geometric approach to the graph isomorphism problem -- tested to
successfully distinguish strongly regular graphs with up to 29 vertices.Comment: 19 pages, 8 figure
Distinguishing tournaments with small label classes
A d-distinguishing vertex (arc) labeling of a digraph is a vertex (arc) labeling using d labels that is not preserved by any nontrivial automorphism. Let ρ(T) (ρ′(T)) be the minimum size of a label class in a 2-distinguishing vertex (arc) labeling of a tournament T. Gluck's Theorem implies that ρ(T) ≤ ⌊n/2⌋ for any tournament T of order n. We construct a family of tournaments ℌ such that ρ(T) ≥ ⌊n/2⌋ for any tournament of order n in ℌ. Additionally, we prove that ρ′(T) ≤ ⌊7n/36⌋ + 3 for any tournament T of order n and ρ′(T) ≥ ⌈n/6⌉ when T ∈ ℌ and has order n. These results answer some open questions stated by Boutin.Peer ReviewedPostprint (published version
- …