contain ↗ reference
7689 papers tagged with this keyword
Sparseness of 4-cycle systems
Published in Journal of Combinatorial Mathematics and Combinatorial Computing 75 (2010) 175-185
• Search Publication
An avoidance problem of configurations in 4-cycle systems is investigated by generalizing the notion of sparseness, which is originally from Erdős' r-sparse conjecture on Steiner triple systems. A 4-cycle system of order v, 4CS(v), is said to be r-sparse if for every integer j satisfying 1 < j < r+1 it contains no configurations consisting of j 4-cycles whose union contains precisely j+3 vertices. If an r-sparse 4CS(v) is also free from copies of a configuration on two 4-cycles sharing a diagonal, called the double-diamond, we say it is strictly r-sparse. In this paper, we show that for every admissible order v there exists a strictly 4-sparse 4CS(v). We also prove that for any positive integer r > 1 and sufficiently large integer v there exists a constant number c such that there exists a strictly r-sparse 4-cycle packing of order v with cv^2 4-cycles.
A Note on Long non-Hamiltonian Cycles in One Class of Digraphs
Published
• View Publication
• BIB
Let $D$ be a strong digraph on $n\geq 4$ vertices. In [3, Discrete Applied Math., 95 (1999) 77-87)], J. Bang-Jensen, Y. Guo and A. Yeo proved the following theorem: if (*) $d(x)+d(y)\geq 2n-1$ and $min \{d^+(x)+ d^-(y),d^-(x)+ d^+(y)\}\geq n-1$ for every pair of non-adjacent vertices $x, y$ with a common in-neighbour or a common out-neighbour, then $D$ is hamiltonian. In this note we show that: if $D$ is not directed cycle and satisfies the condition (*), then $D$ contains a cycle of length $n-1$ or $n-2$.
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.
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.
Coloring graphs with dense neighborhoods
Published
• View Publication
• BIB
It is shown that any graph with maximum degree $Δ$ in which the average degree of the induced subgraph on the set of all neighbors of any vertex exceeds $\frac{6k^2}{6k^2 + 1}Δ+ k + 6$ is either $(Δ- k)$-colorable or contains a clique on more than $Δ- 2k$ vertices. In the $k=1$ case we improve the bound on the average degree to $\frac23Δ+ 4$ and the bound on the clique number to $Δ-1$. As corollaries, we show that every graph satisfies $χ\leq \max\set{ω, Δ- 1, 4α}$ and every graph satisfies $χ\leq \max\set{ω, Δ- 1, \ceil{\frac{15 + \sqrt{48n + 73}}{4}}}$.
A framework for large-scale distributed AI search across disconnected heterogeneous infrastructures
Published
• View Publication
• BIB
We present a framework for a large-scale distributed eScience Artificial Intelligence search. Our approach is generic and can be used for many different problems. Unlike many other approaches, we do not require dedicated machines, homogeneous infrastructure or the ability to communicate between nodes. We give special consideration to the robustness of the framework, minimising the loss of effort even after total loss of infrastructure, and allowing easy verification of every step of the distribution process. In contrast to most eScience applications, the input data and specification of the problem is very small, being easily given in a paragraph of text. The unique challenges our framework tackles are related to the combinatorial explosion of the space that contains the possible solutions and the robustness of long-running computations. Not only is the time required to finish the computations unknown, but also the resource requirements may change during the course of the computation. We demonstrate the applicability of our framework by using it to solve a challenging and hitherto open problem in computational mathematics. The results demonstrate that our approach easily scales to computations of a size that would have been impossible to tackle in practice just a decade ago.
Reconstructing fully-resolved trees from triplet cover distances
Published
• View Publication
• BIB
It is a classical result that any finite tree with positively weighted edges, and without vertices of degree 2, is uniquely determined by the weighted path distance between each pair of leaves. Moreover, it is possible for a (small) strict subset $\cl$ of leaf pairs to suffice for reconstructing the tree and its edge weights, given just the distances between the leaf pairs in $\cl$. It is known that any set $\cl$ with this property for a tree in which all interior vertices have degree 3 must form a {\em cover} for $T$ -- that is, for each interior vertex $v$ of $T$, $\cl$ must contain a pair of leaves from each pair of the three components of $T-v$. Here we provide a partial converse of this result by showing that if a set $\cl$ of leaf pairs forms a cover of a certain type for such a tree $T$ then $T$ and its edge weights can be uniquely determined from the distances between the pairs of leaves in $\cl$. Moreover, there is a polynomial-time algorithm for achieving this reconstruction. The result establishes a special case of a recent question concerning `triplet covers', and is relevant to a problem arising in evolutionary genomics.
2-Colored Matchings in a 3-Colored K^{3}_{12}
Let $K_{n}^{r}$ denote the complete $r$-uniform hypergraph on $n$ vertices. A matching $M$ in a hypergraph is a set of pairwise vertex disjoint edges. Recent Ramsey-type results rely on lemmas about the size of monochromatic matchings. A starting point for this study comes from a well-known result of Alon, Frankl, and Lovász (1986). Our motivation is to find the smallest $n$ such that every $t$-coloring of $K_{n}^{r}$ contains an $s$-colored matching of size $k$. It has been conjectured that in every coloring of the edges of $K_n^r$ with 3 colors there is a 2-colored matching of size at least $k$ provided that $n \geq kr + \lfloor \frac{k-1}{r+1} \rfloor$. The smallest test case is when $r=3$ and $k=4$. We prove that in every 3-coloring of the edges of $K_{12}^3$ there is a 2-colored matching of size 4.
Completely reducible sets
Published in International Journal of Algebra and Computation, 23 (4), 915-942 (2013)
• View Publication
• BIB
We study the family of rational sets of words, called completely reducible and which are such that the syntactic representation of their characteristic series is completely reducible. This family contains, by a result of Reutenauer, the submonoids generated by bifix codes and, by a result of Berstel and Reutenauer, the cyclic sets. We study the closure properties of this family. We prove a result on linear representations of monoids which gives a generalization of the result concerning the complete reducibility of the submonoid generated by a bifix code to sets called birecurrent. We also give a new proof of the result concerning cyclic sets.
Projective geometries in exponentially dense matroids. I
Published
• View Publication
• BIB
We show for each positive integer $a$ that, if $\cM$ is a minor-closed class of matroids not containing all rank-$(a+1)$ uniform matroids, then there exists an integer $n$ such that either every rank-$r$ matroid in $\cM$ can be covered by at most $r^n$ sets of rank at most $a$, or $\cM$ contains the $\GF(q)$-representable matroids for some prime power $q$, and every rank-$r$ matroid in $\cM$ can be covered by at most $r^nq^r$ sets of rank at most $a$. This determines the maximum density of the matroids in $\cM$ up to a polynomial factor.
Collineation group as a subgroup of the symmetric group
Published in Cent. Eur. J. Math. 11(1), 2013, 17-26
• View Publication
• BIB
Let $Ψ$ be the projectivization (i.e., the set of one-dimensional vector subspaces) of a vector space of dimension $\ge 3$ over a field. Let $H$ be a closed (in the pointwise convergence topology) subgroup of the permutation group $\mathfrak{S}_Ψ$ of the set $Ψ$. Suppose that $H$ contains the projective group and an arbitrary self-bijection of $Ψ$ transforming a triple of collinear points to a non-collinear triple. It is well-known from \cite{KantorMcDonough} that if $Ψ$ is finite then $H$ contains the alternating subgroup $\mathfrak{A}_Ψ$ of $\mathfrak{S}_Ψ$.
We show in Theorem \ref{density} below that $H=\mathfrak{S}_Ψ$, if $Ψ$ is infinite.
5-list-coloring planar graphs with distant precolored vertices
Published
• View Publication
• BIB
We answer positively the question of Albertson asking whether every planar graph can be $5$-list-colored even if it contains precolored vertices, as long as they are sufficiently far apart from each other. In order to prove this claim, we also give bounds on the sizes of graphs critical with respect to 5-list coloring. In particular, if G is a planar graph, H is a connected subgraph of G and L is an assignment of lists of colors to the vertices of G such that |L(v)| >= 5 for every v in V(G)-V(H) and G is not L-colorable, then G contains a subgraph with O(|H|^2) vertices that is not L-colorable.
The number of harmonic frames of prime order
Published in Linear Algebra and its Applications, Volume 432, Issue 5, 15 February 2010, Pages 1105-1125
• View Publication
• BIB
Harmonic frames of prime order are investigated. The primary focus is the enumeration of inequivalent harmonic frames, with the exact number given by a recursive formula. The key to this result is a one-to-one correspondence developed between inequivalent harmonic frames and the orbits of a particular set. Secondarily, the symmetry group of prime order harmonic frames is shown to contain a subgroup consisting of a diagonal matrix as well as a permutation matrix, each of which is dependent on the particular harmonic frame in question.
A note on 5-cycle double covers
Published
• View Publication
• BIB
The strong cycle double cover conjecture states that for every circuit $C$ of a bridgeless cubic graph $G$, there is a cycle double cover of $G$ which contains $C$. We conjecture that there is even a 5-cycle double cover $S$ of $G$ which contains $C$, i.e. $C$ is a subgraph of one of the five 2-regular subgraphs of $S$. We prove a necessary and sufficient condition for a 2-regular subgraph to be contained in a 5-cycle double cover of $G$.
A stronger structure theorem for excluded topological minors
Grohe and Marx proved that if G does not contain H as a topological minor, then there exist constants g=O(|V(H)|^4), D and t depending only on H such that G is a clique sum of graphs that either contain at most t vertices of degree greater than D or almost embed in some surface of genus at most g. We strengthen this result, giving a more precise description of the latter kind of basic graphs of the decomposition - we only allow graphs that (almost) embed in ways that are impossible for H (similarly to the structure theorem for minors, where only graphs almost embedded in surfaces in that H does not embed are allowed). This enables us to give structural results for graphs avoiding a fixed graph as an immersion and for graphs with bounded infinity-admissibility.
From quantum Ore extensions to quantum tori via noncommutative UFDs
Published
• View Publication
• BIB
All iterated skew polynomial extensions arising from quantized universal enveloping algebras of Kac-Moody algebras are special examples of a very large, axiomatically defined class of algebras, called CGL extensions. For the purposes of constructing initial clusters for quantum cluster algebra structures on an algebra R, and classification of the automorphisms of R, one needs embeddings of R into quantum tori T which have the property that R contains the corresponding quantum affine space algebra A. We explicitly construct such an embedding A \subseteq R \subset T for each CGL extension R using the methods of noncommutative noetherian unique factorization domains and running a Gelfand-Tsetlin type procedure with normal, instead of central elements. Along the way we classify the homogeneous prime elements of all CGL extensions and we prove that each CGL extension R has an associated maximal torus which covers the automorphisms of R corresponding to all normal elements. For symmetric CGL extensions, we describe the relationship between our quantum affine space algebra A and Cauchon's quantum affine space algebra generated by elements obtained via deleting derivations.
Rainbow matchings and partial transversals of Latin squares
In this paper we consider properly edge-colored graphs, i.e. two edges with the same color cannot share an endpoint, so each color class is a matching. A matching is called \it rainbow \rm if its edges have different colors. The minimum degree of a graph is denoted by $δ(G)$. We show that properly edge colored graphs $G$ with $|V(G)|\ge 4δ(G)-3$ have rainbow matchings of size $δ(G)$, this gives the best known estimate to a recent question of Wang. Since one obviously needs at least $2δ(G)$ vertices to guarantee a rainbow matching of size $δ(G)$, we investigate what happens when $|V(G)|\ge 2δ(G)$. We show that any properly edge colored graph $G$ with $|V(G)|\ge 2δ$ contains a rainbow matching of size at least $δ- 2δ(G)^{2/3}$. This result extends (with a weaker error term) the well-known result that a factorization of the complete bipartite graph $K_{n,n}$ has a rainbow matching of size $n-o(n)$, or equivalently that every Latin square of order $n$ has a partial transversal of size $n-o(n)$ (an asymptotic version of the Ryser - Brualdi conjecture). In this direction we also show that every Latin square of order $n$ has a {\em cycle-free partial transversal} of size $n-o(n)$.
On the general position subset selection problem
Published in SIAM J. Discrete Math. 27:1727-1733, 2013
• View Publication
• BIB
Let $f(n,\ell)$ be the maximum integer such that every set of $n$ points in the plane with at most $\ell$ collinear contains a subset of $f(n,\ell)$ points with no three collinear. First we prove that if $\ell \leq O(\sqrt{n})$ then $f(n,\ell)\geq Ω(\sqrt{\frac{n}{\ln \ell}})$. Second we prove that if $\ell \leq O(n^{(1-ε)/2})$ then $f(n,\ell) \geq Ω(\sqrt{n\log_\ell n})$, which implies all previously known lower bounds on $f(n,\ell)$ and improves them when $\ell$ is not fixed. A more general problem is to consider subsets with at most $k$ collinear points in a point set with at most $\ell$ collinear. We also prove analogous results in this setting.
Incidence Theorems and Their Applications
Published
• View Publication
• BIB
We survey recent (and not so recent) results concerning arrangements of lines, points and other geometric objects and the applications these results have in theoretical computer science and combinatorics. The three main types of problems we will discuss are:
(1) Counting incidences: Given a set (or several sets) of geometric objects (lines, points, etc..), what is the maximum number of incidences (or intersections) that can exist between elements in different sets? We will see several results of this type, such as the Szemeredi-Trotter theorem, over the reals and over finite fields and discuss their applications in combinatorics (e.g., in the recent solution of Guth and Katz to Erdos' distance problem) and in computer science (in explicit constructions of multi-source extractors).
(2) Kakeya type problems: These problems deal with arrangements of lines that point in different directions. The goal is to try and understand to what extent these lines can overlap one another. We will discuss these questions both over the reals and over finite fields and see how they come up in the theory of randomness-extractors.
(3) Sylvester-Gallai type problems: In this type of problems, one is presented with a configuration of points that contain many `local' dependencies (e.g., three points on a line) and is asked to derive a bound on the dimension of the span of all points. We will discuss several recent results of this type, over various fields, and see their connection to the theory of locally correctable error-correcting codes.
Throughout the different parts of the survey, two types of techniques will make frequent appearance. One is the polynomial method, which uses polynomial interpolation to impose an algebraic structure on the problem at hand. The other recurrent techniques will come from the area of additive combinatorics.
On the vertices of the d-dimensional Birkhoff polytope
Published
• View Publication
• BIB
Consider the Birkhoff polytope of n by n doubly-stochastic matrices. As the Birkhoff-von Neumann theorem famously states, its vertex set coincides with the set of all n by n permutation matrices. Here we seek a higher-dimensional analog of this basic fact. Namely, consider the polytope which consists of all tristochastic arrays of order n. These are n by n by n arrays with nonnegative entries in which every line sums to 1. What can be said about its vertex set?
It is well-known that an order-n Latin square may be viewed as a tristochastic array where every line contains n-1 zeros and a single 1 entry. Indeed, every Latin square of order n is a vertex, but as we show, such vertices constitute only a vanishingly small part of the total number of vertices.
More concretely, we show that the number of vertices is at least (L_n)^{3/2-o(1)}, where L_n is the number of order-n Latin squares. We also briefly consider similar problems concerning the polytope of n by n by n arrays where the entries in every coordinate hyperplane sum to 1. Several open questions are presented as well.