Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Computational Lower Bounds for Colourful Simplicial Depth
Published
• View Publication
• BIB
The colourful simplicial depth problem in dimension d is to find a configuration of (d+1) sets of (d+1) points such that the origin is contained in the convex hull of each set (colour) but contained in a minimal number of colourful simplices generated by taking one point from each set. A construction attaining d^2+1 simplices is known, and is conjectured to be minimal. This has been confirmed up to d=3, however the best known lower bound for d at least 4 is ((d+1)^2)/2.
A promising method to improve this lower bound is to look at combinatorial octahedral systems generated by such configurations. The difficulty to employing this approach is handling the many symmetric configurations that arise. We propose a table of invariants which exclude many of partial configurations, and use this to improve the lower bound in dimension 4.
A Note on Combinatorial Derivation
Given an infinite group $G$ and a subset $A$ of $G$ we let $Δ(A) = {g \in G : |gA \cap A| =\infty}$ (this is sometimes called the combinatorial derivation of $A$). A subset $A$ of $G$ is called large if there exists a finite subset $F$ of $G$ such that $FA=G$. We show that given a large set $X$, and a decomposition $X=A_1 \cup ... \cup A_n$, there must exist an $i$ such that $Δ(A_i)$ is large. This answers a question of Protasov. We also answer a number of related questions of Protasov.
Total Game Coloring of Graphs
Published
• View Publication
• BIB
Total variant of well known graph coloring game is considered. We determine exact values of total game chromatic number for some classes of graphs and show show the strategie for first player to win the game. We also show relation between total game coloring number and game coloring index.
A new method to construct families of complex Hadamard matrices in even dimensions
Published in J. Math. Phys. 54, 032201 (2013)
• View Publication
• BIB
We present a new method for constructing affine families of complex Hadamard matrices in every even dimension. This method has an intersection with the Diţă construction and it generalizes the Szöllősi's method. We reproduce well-known results, extend some families and present new families of complex Hadamard matrices in even dimensions. In particular, found more than 13 millon inequivalent affine families of complex Hadamard matrices in dimension 32. We also find analytical restrictions for any set of four mutually unbiased bases existing in dimension six.
Square-Root Finding Problem In Graphs, A Complete Dichotomy Theorem
Graph G is the square of graph H if two vertices x,y have an edge in G if and only if x,y are of distance at most two in H. Given H it is easy to compute its square H^2. Determining if a given graph G is the square of some graph is not easy in general. Motwani and Sudan proved that it is NP-complete to determine if a given graph G is the square of some graph. The graph introduced in their reduction is a graph that contains many triangles and is relatively dense. Farzad et al. proved the NP-completeness for finding a square root for girth 4 while they gave a polynomial time algorithm for computing a square root of girth at least six. Adamaszek and Adamaszek proved that if a graph has a square root of girth six then this square root is unique up to isomorphism. In this paper we consider the characterization and recognition problem of graphs that are square of graphs of girth at least five. We introduce a family of graphs with exponentially many non-isomorphic square roots, and as the main result of this paper we prove that the square root finding problem is NP-complete for square roots of girth five. This proof is providing the complete dichotomy theorem for square root problem in terms of the girth of the square roots.
The Computation of the Möbius Function of a Möbius Category
The paper presents some results for reducing the computation of the Möbius functon of a Möbius category that arises from a combinatorial inverse semigroup to that of locally finite partially ordered sets. We illustrate the computation of the Möbius function with an example.
Quaternary Bicycle Matroids and the Penrose Polynomial for Delta-Matroids
In contrast to matroids, vf-safe delta-matroids have three kinds of minors and are closed under the operations of twist and loop complementation. We show that the delta-matroids representable over GF(4) with respect to the nontrivial automorphism of GF(4) form a subclass of the vf-safe delta-matroids closed under twist and loop complementation. In particular, quaternary matroids are vf-safe.
Using this result, we show that the matroid of a bicycle space of a quaternary matroid M is obtained from M by using loop complementation. As a consequence, the matroid of a bicycle space of a quaternary matroid M is independent of the chosen representation. This also leads to, e.g., an extension of a known parity-type characterization of the bicycle dimension, a generalization of the tripartition of Rosenstiehl and Read [Ann. Disc. Math. (1978)], and a suitable generalization of the dual notions of bipartite and Eulerian binary matroids to a vf-safe delta-matroids.
Finally, we generalize a number of results concerning the Penrose polynomial from binary matroids to vf-safe delta-matroids. In this general setting the Penrose polynomial turns out to have a recursive relation much like the recursive relation of the Tutte polynomial.
A coding theory foundation for the analysis of general unconditionally secure proof-of-retrievability schemes for cloud storage
Published
• View Publication
• BIB
There has been considerable recent interest in "cloud storage" wherein a user asks a server to store a large file. One issue is whether the user can verify that the server is actually storing the file, and typically a challenge-response protocol is employed to convince the user that the file is indeed being stored correctly. The security of these schemes is phrased in terms of an extractor which will recover or retrieve the file given any "proving algorithm" that has a sufficiently high success probability.
This paper treats proof-of-retrievability schemes in the model of unconditional security, where an adversary has unlimited computational power. In this case retrievability of the file can be modelled as error-correction in a certain code. We provide a general analytical framework for such schemes that yields exact (non-asymptotic) reductions that precisely quantify conditions for extraction to succeed as a function of the success probability of a proving algorithm, and we apply this analysis to several archetypal schemes. In addition, we provide a new methodology for the analysis of keyed POR schemes in an unconditionally secure setting, and use it to prove the security of a modified version of a scheme due to Shacham and Waters under a slightly restricted attack model, thus providing the first example of a keyed POR scheme with unconditional security. We also show how classical statistical techniques can be used to evaluate whether the responses of the prover are accurate enough to permit successful extraction. Finally, we prove a new lower bound on storage and communication complexity of POR schemes.
Boolean Differential Operators
Published in Comment. Math. Univ. Carolin. 55 (2014) 141-158
• Search Publication
We consider four combinatorial interpretations for the algebra of Boolean differential operators. We show that each interpretation yields an explicit matrix representation for Boolean differential operators.
Unified spectral bounds on the chromatic number
Published
• View Publication
• BIB
One of the best known results in spectral graph theory is the following lower bound on the chromatic number due to Alan Hoffman, where mu_1 and mu_n are respectively the maximum and minimum eigenvalues of the adjacency matrix: chi >= 1 + mu_1 / (- mu_n). We recently generalised this bound to include all eigenvalues of the adjacency matrix.
In this paper, we further generalize these results to include all eigenvalues of the adjacency, Laplacian and signless Laplacian matrices. The various known bounds are also unified by considering the normalized adjacency matrix, and examples are cited for which the new bounds outperform known bounds.
The combinatorics of hyperbolized manifolds
Published
• View Publication
• BIB
A topological version of a longstanding conjecture of H. Hopf, originally proposed by W. Thurston, states that the sign of the Euler characteristic of a closed aspherical manifold of dimension $d=2m$ depends only on the parity of $m$. Gromov defined several hyperbolization functors which produce an aspherical manifold from a given simplicial or cubical manifold. We investigate the combinatorics of several of these hyperbolizations and verify the Euler Characteristic Sign Conjecture for each of them. In addition, we explore further combinatorial properties of these hyperbolizations as they relate to several well-studied generating functions.
A generalization of line graphs via link scheduling in wireless networks
In single channel wireless networks, concurrent transmission at different links may interfere with each other. To improve system throughput, a scheduling algorithm is necessary to choose a subset of links at each time slot for data trasmission. Throughput optimal link scheduling discipline in such a wireless network is generally an NP-hard problem. In this paper, we develop a poylnomial time algorithm for link scheduling problem provided that network conflict graph is line multigraph. (i.e. line graph for which its root graph is multigraph). This result can be a guideline for network designers to plan the topology of a stationary wireless network such that the required conditions hold and then the throughput optimal algorithm can be run in a much less time.
EKR sets for large $n$ and $r$
Published
• View Publication
• BIB
Let $\A\subset\binom{[n]}{r}$ be a compressed, intersecting family and let $X\subset[n]$. Let $\A(X)={A\in\A:A\cap X\ne\emptyset}$ and $§_{n,r}=\binom{[n]}{r}({1})$. Motivated by the Erdős-Ko-Rado theorem, Borg asked for which $X\subset[2,n]$ do we have $|\A(X)|\le|§_{n,r}(X)|$ for all compressed, intersecting families $\A$? We call $X$ that satisfy this property EKR. Borg classified EKR sets $X$ such that $|X|\ge r$. Barber classified $X$, with $|X|\le r$, such that $X$ is EKR for sufficiently large $n$, and asked how large $n$ must be. We prove $n$ is sufficiently large when $n$ grows quadratically in $r$. In the case where $\A$ has a maximal element, we are able to sharpen this bound to $n>\varphi^{2}r$ implies $|\A(X)|\le|§_{n,r}(X)|$. We conclude by giving a generating function that speeds up computation of $|\A(X)|$ in comparison with the naïve methods.
Even-freeness of cyclic 2-designs
A Steiner 2-design of block size k is an ordered pair (V, B) of finite sets such that B is a family of k-subsets of V in which each pair of elements of V appears exactly once. A Steiner 2-design is said to be r-even-free if for every positive integer i =< r it contains no set of i elements of B in which each element of V appears exactly even times. We study the even-freeness of a Steiner 2-design when the cyclic group acts regularly on V. We prove the existence of infinitely many nontrivial Steiner 2-designs of large block size which have the cyclic automorphisms and higher even-freeness than the trivial lower bound but are not the points and lines of projective geometry.
Some open problems on permutation patterns
This is a brief survey of some open problems on permutation patterns, with an emphasis on subjects not covered in the recent book by Kitaev, \emph{Patterns in Permutations and words}. I first survey recent developments on the enumeration and asymptotics of the pattern 1324, the last pattern of length 4 whose asymptotic growth is unknown, and related issues such as upper bounds for the number of avoiders of any pattern of length $k$ for any given $k$. Other subjects treated are the Möbius function, topological properties and other algebraic aspects of the poset of permutations, ordered by containment, and also the study of growth rates of permutation classes, which are containment closed subsets of this poset.
Edge-colouring seven-regular planar graphs
Published
• View Publication
• BIB
A conjecture due to the fourth author states that every $d$-regular planar multigraph can be $d$-edge-coloured, provided that for every odd set $X$ of vertices, there are at least $d$ edges between $X$ and its complement. For $d = 3$ this is the four-colour theorem, and the conjecture has been proved for all $d\le 8$, by various authors. In particular, two of us proved it when $d=7$; and then three of us proved it when $d=8$. The methods used for the latter give a proof in the $d=7$ case that is simpler than the original, and we present it here.
Cyclic sieving phenomenon on annular noncrossing permutations
We show an instance of the cyclic sieving phenomenon on annular noncrossing permutations with given cycle types. We define annular $q$-Kreweras numbers, annular $q$-Narayana numbers, and annular $q$-Catalan number, all of which are polynomials in $q$. We then show that these polynomials exhibit the cyclic sieving phenomenon on annular noncrossing permutations. We also show that a sum of annular $q$-Kreweras numbers becomes an annular $q$-Narayana number and a sum of $q$-Narayana numbers becomes an annular $q$-Catalan number.
Exact minimum degree thresholds for perfect matchings in uniform hypergraphs
Published
• View Publication
• BIB
Given positive integers k and r where 4 divides k and k/2 \leq r \leq k-1, we give a minimum r-degree condition that ensures a perfect matching in a k-uniform hypergraph. This condition is best possible and improves on work of Pikhurko who gave an asymptotically exact result. Our approach makes use of the absorbing method, as well as the hypergraph removal lemma and a structural result of Keevash and Sudakov relating to the Turan number of the expanded triangle.
Exact minimum degree thresholds for perfect matchings in uniform hypergraphs II
Published
• View Publication
• BIB
Given positive integers k\geq 3 and r where k/2 \leq r \leq k-1, we give a minimum r-degree condition that ensures a perfect matching in a k-uniform hypergraph. This condition is best possible and improves on work of Pikhurko who gave an asymptotically exact result. Our approach makes use of the absorbing method, and builds on work in 'Exact minimum degree thresholds for perfect matchings in uniform hypergraphs', where we proved the result for k divisible by 4.
Empty Monochromatic Simplices
Published
• View Publication
• BIB
Let $S$ be a $k$-colored (finite) set of $n$ points in $\mathbb{R}^d$, $d\geq 3$, in general position, that is, no {$(d + 1)$} points of $S$ lie in a common $(d - 1)$}-dimensional hyperplane. We count the number of empty monochromatic $d$-simplices determined by $S$, that is, simplices which have only points from one color class of $S$ as vertices and no points of $S$ in their interior. For $3 \leq k \leq d$ we provide a lower bound of $Ω(n^{d-k+1+2^{-d}})$ and strengthen this to $Ω(n^{d-2/3})$ for $k=2$. On the way we provide various results on triangulations of point sets in $\mathbb{R}^d$. In particular, for any constant dimension $d\geq3$, we prove that every set of $n$ points ($n$ sufficiently large), in general position in $\mathbb{R}^d$, admits a triangulation with at least $dn+Ω(\log n)$ simplices.