Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Mutually unbiased triplets from non-affine families of complex Hadamard matrices in dimension six
Published in J. Phys. A: Math. Theor. 46 105301 (2013)
• View Publication
• BIB
We study the problem of constructing mutually unbiased bases in dimension six. This approach is based on an efficient numerical method designed to find solutions to the quantum state reconstruction problem in finite dimensions. Our technique suggests the existence of previously unknown symmetries in Karlsson's non-affine family $K_6^{(2)}$ which we confirm analytically. Also, we obtain strong evidence that no more than three mutually unbiased bases can be constructed from pairs which contain members of some non-affine families of complex Hadamard matrices.
Dimension-free L2 maximal inequality for spherical means in the hypercube
Published in Theory of Computing. vol 10, pp 55-75 (2014)
• View Publication
• BIB
We establish the result of the title.
In combinatorial terms this has the implication that for sufficiently small eps > 0, for all n, any marking of an eps fraction of the vertices of the n-dimensional hypercube necessarily leaves a vertex x such that marked vertices are a minority of every sphere centered at x.
The Ramsey number of loose paths in 3-uniform hypergraphs
Published
• View Publication
• BIB
Recently, asymptotic values of 2-color Ramsey numbers for loose cycles and also loose paths were determined. Here we determine the 2-color Ramsey number of 3-uniform loose paths when one of the paths is significantly larger than the other: for every $n\geq \Big\lfloor\frac{5m}{4}\Big\rfloor$, we show that $$R(\mathcal{P}^3_n,\mathcal{P}^3_m)=2n+\Big\lfloor\frac{m+1}{2}\Big\rfloor.$$
On the positive definiteness and eigenvalues of meet and join matrices
Published
• View Publication
• BIB
In this paper we study the positive definiteness of meet and join matrices using a novel approach. When the set $S_n$ is meet closed, we give a sufficient and necessary condition for the positive definiteness of the matrix $(S_n)_f$. From this condition we obtain some sufficient conditions for positive definiteness as corollaries. We also use graph theory and show that by making some graph theoretic assumptions on the set $S_n$ we are able to reduce the assumptions on the function $f$ while still preserving the positive definiteness of the matrix $(S_n)_f$. Dual theorems of these results for join matrices are also presented. As examples we consider the so-called power GCD and power LCM matrices as well as MIN and MAX matrices. Finally we give bounds for the eigenvalues of meet and join matrices in cases when the function $f$ possesses certain monotonic behaviour.
Weakly closed graphs and F-purity of binomial edge ideals
Published
• View Publication
• BIB
Herzog-Hibi-Hreindóttir-Kahle-Rauh introduced the class of closed graph and they proved that the binomial edge ideal $J(G)$ of a graph $G$ has quadratic Gröbner bases if $G$ is closed. In this paper, we introduce the class of weakly closed graph as a generalization of the closed graph and prove that the quotient ring $S/J(G)$ is $F$-pure if $G$ is weakly closed. This fact is a generalization of Ohtani's theorem.
Unbiased complex Hadamard matrices and bases
Published in Cryptography and Communications 2(2): 199-209 (2010)
• View Publication
• BIB
We introduce mutually unbiased complex Hadamard (MUCH) matrices and show that the number of MUCH matrices of order 2n, n odd, is at most 2 and the bound is attained for n = 1,5,9. Furthermore, we prove that certain pairs of mutually unbiased complex Hadamard matrices of order m can be used to construct pairs of unbiased real Hadamard matrices of order 2m. As a consequence we generate a new pair of unbiased real Hadamard matrices of order 36.
The time of bootstrap percolation with dense initial sets for all thresholds
Published
• View Publication
• BIB
We study the percolation time of the $r$-neighbour bootstrap percolation model on the discrete torus $(\Z/n\Z)^d$. For $t$ at most a polylog function of $n$ and initial infection probabilities within certain ranges depending on $t$, we prove that the percolation time of a random subset of the torus is exactly equal to $t$ with high probability as $n$ tends to infinity. Our proof rests crucially on three new extremal theorems that together establish an almost complete understanding of the geometric behaviour of the $r$-neighbour bootstrap process in the dense setting. The special case $d-r=0$ of our result was proved recently by Bollobás, Holmgren, Smith and Uzzell.
Cubic Augmentation of Planar Graphs
Published
• View Publication
• BIB
In this paper we study the problem of augmenting a planar graph such that it becomes 3-regular and remains planar. We show that it is NP-hard to decide whether such an augmentation exists. On the other hand, we give an efficient algorithm for the variant of the problem where the input graph has a fixed planar (topological) embedding that has to be preserved by the augmentation. We further generalize this algorithm to test efficiently whether a 3-regular planar augmentation exists that additionally makes the input graph connected or biconnected. If the input graph should become even triconnected, we show that the existence of a 3-regular planar augmentation is again NP-hard to decide.
There are only two nonobtuse binary triangulations of the unit $n$-cube
Published
• View Publication
• BIB
Triangulations of the cube into a minimal number of simplices without additional vertices have been studied by several authors over the past decades. For $3\leq n\leq 7$ this so-called simplexity of the unit cube $I^n$ is now known to be $5,16,67,308,1493$, respectively. In this paper, we study triangulations of $I^n$ with simplices that only have nonobtuse dihedral angles. A trivial example is the standard triangulation into $n!$ simplices. In this paper we show that, surprisingly, for each $n\geq 3$ there is essentially only one other nonobtuse triangulation of $I^n$, and give its explicit construction. The number of nonobtuse simplices in this triangulation is equal to the smallest integer larger than $n!({\rm e}-2)$.
Two sufficient conditions for the existence of Hamilton cycles in graphs
Let $G$ be a graph on $n\geq 3$ vertices, claw the bipartite graph $K_{1,3}$, and $Z_i$ the graph obtained from a triangle by attaching a path of length $i$ to its one vertex. $G$ is called 1-heavy if at least one end vertex of each induced claw of $G$ has degree at least $n/2$, and claw-\emph{o}-heavy if each induced claw of it has a pair of end vertices with degree sum at least $n$. In this paper we prove two results: (1) Every 2-connected claw-$o$-heavy graph $G$ is Hamiltonian if every pair of vertices $u,v$ in a subgraph $H\cong Z_1$ contained in an induced subgraph $Z_2$ of $G$ with $d_{H}(u,v)=2$ satisfies one of the following conditions: ($a$) $|N(u)\cap N(v)|\geq 2$; ($b$) $\max(d(u),d(v))\geq n/2$. (2) Every 3-connected 1-heavy graph $G$ is Hamiltonian if every pair of vertices $u,v$ in an induced subgraph $H\cong Z_2$ of $G$ with $d_{H}(u,v)=2$ satisfies one of the following conditions: ($a$) $|N(u)\cap N(v)|\geq 2$; ($b$) $\max(d(u),d(v))\geq n/2$. Our results improve or extend previous theorems of Broersma et al., Chen et al., Fan, Goodman & Hedetniemi, Gould & Jacobson and Shi on the existence of Hamilton cycles in graphs.
A proof of the lonely runner conjecture
In this work we tried to prove the lonely runner conjecture also known as the view obstruction problem.
Some extremal properties of the Fibonacci word
Published
• View Publication
• BIB
We prove that the Fibonacci word $f$ satisfies among all characteristic Sturmian words, three interesting extremal properties. The first concerns the length and the second the minimal period of its palindromic prefixes. Each of these two properties characterizes $f$ up to a renaming of its letters. A third property concerns the number of occurrences of the letter $b$ in its palindromic prefixes. It characterizes uniquely $f$ among all characteristic Sturmian words having the prefix $abaa$.
How Many Potatoes are in a Mesh?
Published
• View Publication
• BIB
We consider the combinatorial question of how many convex polygons can be made by using the edges taken from a fixed triangulation of n vertices. For general triangulations, there can be exponentially many: we show a construction that has Omega(1.5028^n) convex polygons, and prove an O(1.62^n) upper bound in the worst case. If the triangulation is fat (every triangle has its angles lower-bounded by a constant delta>0), then there can be only polynomially many.
We also consider the problem of counting convex outerplanar polygons (i.e., they contain no vertices of the triangulation in their interiors) in the same triangulations. In this setting, we get the same exponential bounds in general triangulations, and lower polynomial bounds in fat triangulations. If the triangulation is furthermore compact (the ratio between the longest and shortest distance between any two vertices is bounded), the bounds drop further to Theta (n^2) for general convex outerplanar polygons, and Theta (n) for fat convex outerplanar polygons.
Universal geometric cluster algebras
Published
• View Publication
• BIB
We consider, for each exchange matrix B, a category of geometric cluster algebras over B and coefficient specializations between the cluster algebras. The category also depends on an underlying ring R, usually the integers, rationals, or reals. We broaden the definition of geometric cluster algebras slightly over the usual definition and adjust the definition of coefficient specializations accordingly. If the broader category admits a universal object, the universal object is called the cluster algebra over B with universal geometric coefficients, or the universal geometric cluster algebra over B. Constructing universal coefficients is equivalent to finding an R-basis for B (a "mutation-linear" analog of the usual linear-algebraic notion of a basis). Polyhedral geometry plays a key role, through the mutation fan F_B, which we suspect to be an important object beyond its role in constructing universal geometric coefficients. We make the connection between F_B and g-vectors. We construct universal geometric coefficients in rank 2 and in finite type and discuss the construction in affine type.
Ising Model Observables and Non-Backtracking Walks
Published in J. Math. Phys. 55, 083304 (2014)
• View Publication
• BIB
This paper presents an alternative proof of the connection between the partition function of the Ising model on a finite graph $G$ and the set of non-backtracking walks on $G$. The techniques used also give formulas for spin-spin correlation functions in terms of non-backtracking walks. The main tools used are Viennot's theory of heaps of pieces and turning numbers on surfaces.
Binary equality sets are generated by two words
Published in Journal of Algebra 259 (2003), 1-42
• View Publication
• BIB
We show that the equality language of two non-periodic binary morphisms is generated by at most two words. If its rank is two, then the generators start (and end) with different letters.
This in particular implies that any binary language has a test set of cardinality at most two.
Universal geometric cluster algebras from surfaces
Published
• View Publication
• BIB
A universal geometric cluster algebra over an exchange matrix B is a universal object in the category of geometric cluster algebras over B related by coefficient specializations. (Following an earlier paper on universal geometric cluster algebras, we broaden the definition of geometric cluster algebras relative to the definition originally given Fomin and Zelevinsky.) The universal objects are closely related to a fan F_B called the mutation fan for B. In this paper, we consider universal geometric cluster algebras and mutation fans for cluster algebras arising from marked surfaces. We identify two crucial properties of marked surfaces: The Curve Separation Property and the Null Tangle Property. The latter property implies the former. We prove the Curve Separation Property for all marked surfaces except once-punctured surfaces without boundary components, and as a result we obtain a construction of the rational part of F_B for these surfaces. We prove the Null Tangle Property for a smaller family of surfaces, and use it to construct universal geometric coefficients for these surfaces.
Edge separators for quasi-binary trees
One wishes to remove $k-1$ edges of a vertex-weighted tree $T$ such that the weights of the $k$ induced connected components are approximately the same. How well can one do it ? In this paper, we investigate such $k$-separator for {\em quasi-binary} trees. We show that, under certain conditions on the total weight of the tree, a particular $k$-separator can be constructed such that the smallest (respectively the largest) weighted component is lower (respectively upper) bounded. Examples showing optimality for the lower bound are also given.
Matroid base polytope decomposition II : sequence of hyperplane splits
Published
• View Publication
• BIB
This is a continuation of the early paper concerning matroid base polytope decomposition. Here, we will present sufficient conditions on $M$ so its base matroid polytope $P(M)$ has a {\em sequence} of hyperplane splits. The latter yields to decompositions of $P(M)$ with two or more pieces for infinitely many matroids $M$. We also present necessary conditions on the Euclidean representation of rank three matroids $M$ for the existences of decompositions of $P(M)$ into $2$ or $3$ pieces. Finally, we prove that $P(M_1 \oplus M_2)$ has a sequence of hyperplane splits if either $P(M_1)$ or $P(M_2)$ also has a sequence of hyperplane splits.
Exact Bounds for Some Hypergraph Saturation Problems
Published
• View Publication
• BIB
Let W_n(p,q) denote the minimum number of edges in an n x n bipartite graph G on vertex sets X,Y that satisfies the following condition; one can add the edges between X and Y that do not belong to G one after the other so that whenever a new edge is added, a new copy of K_{p,q} is created. The problem of bounding W_n(p,q), and its natural hypergraph generalization, was introduced by Balogh, Bollobás, Morris and Riordan. Their main result, specialized to graphs, used algebraic methods to determine W_n(1,q).
Our main results in this paper give exact bounds for W_n(p,q), its hypergraph analogue, as well as for a new variant of Bollobás's Two Families theorem. In particular, we completely determine W_n(p,q), showing that if 1 <= p <= q <= n then
W_n(p,q) = n^2 - (n-p+1)^2 + (q-p)^2.
Our proof applies a reduction to a multi-partite version of the Two Families theorem obtained by Alon. While the reduction is combinatorial, the main idea behind it is algebraic.