Showing 20 papers (Total: 82311 papers, 47607 authors in database)
On a family of diamond-free strongly regular graphs
Published
• View Publication
• BIB
The existence of a partial quadrangle ${\mathsf{PQ}}(s, t, μ)$ is equivalent to the existence of a diamond-free strongly regular graph ${\mathsf{SRG}}(1+s(t+1)+s^2t(t+1)/μ, s(t+1), s-1, μ)$. Recently, it is shown that there exists a ${\mathsf{PQ}}(2, (n^3+3n^2-2)/2, n^2+n)$ if and only if $n\in\{1, 2, 4\}$. Let $\mathcal{S}$ be a ${\mathsf{PQ}}(3,(n+3)(n^2-1)/3, n^2+n)$ such that for every two non-collinear points $p_1$ and $p_2$, there is a point $q$ non-collinear with $p_1$, $p_2$, and all points collinear with both $p_1$ and $p_2$. In this article, we establish that $\mathcal{S}$ exists only for $n\in\{-2, 2, 3\}$ and probably $n=10$.
Ramsey numbers for multiple copies of hypergraphs
Published
• View Publication
• BIB
In this paper, for sufficiently large $n$ we determine the Ramsey number $R(G,nH)$ where $G$ is a $k$-uniform hypergraph with the maximum independent set that intersects each of the edges in $k-1$ vertices and $H$ is a $k$-uniform hypergraph with a vertex so that the hypergraph induced by the edges containing this vertex is a star. There are several examples for such $G$ and $H$, among them are any disjoint union of $k$-uniform hypergraphs involving loose paths, loose cycles, tight paths, tight cycles with a multiple of $k$ edges, stars, Kneser hypergraphs and complete $k$-uniform $k$-partite hypergraphs for $G$ and linear hypergraphs for $H$. As an application, $R(mG,nH)$ is determined where $m$ or $n$ is large and $G$ and $H$ are either loose paths, loose cycles, tight paths, or stars. Also, $R(G,nH)$ is determined when $G$ is a bipartite graph with a matching saturating one of its color classes and $H$ is an arbitrary graph for sufficiently large $n$. Moreover, some bounds are given for $R(mG,nH)$ which allow us to determine this Ramsey number when $m\geq n$ and $G$ and $H$, $(|V(G)|\geq |V(H)|)$, are 3-uniform loose paths or cycles, $k$-uniform loose paths or cycles with at most 4 edges and $k$-uniform stars with 3 edges.
Advantage in the discrete Voronoi game
Published in Journal of Graph Algorithms and Applications 18, no. 3 (2014), 439-455
• View Publication
• BIB
We study the discrete Voronoi game, where two players alternately claim vertices of a graph for t rounds. In the end, the remaining vertices are divided such that each player receives the vertices that are closer to his or her claimed vertices. We prove that there are graphs for which the second player gets almost all vertices in this game, but this is not possible for bounded-degree graphs. For trees, the first player can get at least one quarter of the vertices, and we give examples where she can get only little more than one third of them. We make some general observations, relating the result with many rounds to the result for the one-round game on the same graph.
Some integer formula-encodings and related algorithms
Published
• View Publication
• BIB
We investigate the special class of formulas made up of arbitrary but finite com- binations of addition, multiplication, and exponentiation gates. The inputs to these formulas are restricted to the integral unit 1. In connection with such formulas, we describe two essen- tially distinct families of canonical formula-encodings for integers, respectively deduced from the decimal encoding and the fundamental theorem of arithmetic. Our main contribution is the de- tailed description of two algorithms which efficiently determine the canonical formula-encodings associated with relatively large sets of consecutive integers.
An Elementary Approach to Weight Multiplicities in Bivariate Irreducible Representations of Sp(2r)
Published
• View Publication
• BIB
By bivariate irreducible representations of ${\rm Sp}(2r)$, we mean irreducible representations with highest weights containing at most two nonzero entries, using the usual identification of dominant weights for complex symplectic Lie algebras and their corresponding Lie groups as $r$-tuples in decreasing non-negative integers. This paper has two aims. The first aim is to provide a formula for the weight mulitplicities of said representations, which is easily computable. The second aim is to present these weight multiplicities using elementary means. The formula for these weight multiplicities is derived using basic multiliear algebra and combinatorial arguments through explicit descriptions of weight vectors.
Further results on the global cyclicity index of graphs
Published
• View Publication
• BIB
Being motivated in terms of mathematical concepts from the theory of electrical networks, Klein & Ivanciuc introduced and studied a new graph-theoretic cyclicity index--the global cyclicity index (Graph cyclicity, excess conductance, and resistance deficit, J. Math. Chem. 30 (2001) 271--287). In this paper, by utilizing techniques from graph theory, electrical network theory and real analysis, we obtain some further results on this new cyclicity measure, including the strictly monotone increasing property, some lower and upper bounds, and some Nordhuas-Gaddum-type results. In particular, we establish a relationship between the global cyclicity index $C(G)$ and the cyclomatic number $μ(G)$ of a connected graph $G$ with $n$ vertices and $m$ edges: $$\frac{m}{n-1}μ(G)\leq C(G)\leq \frac{n}{2}μ(G).$$
Approximate counting of regular hypergraphs
Published in Information Processing Letters 113 (2013) 785-788
• View Publication
• BIB
In this paper we asymptotically count $d$-regular $k$-uniform hypergraphs on $n$ vertices, provided $k$ is fixed and $d=d(n)=o(n^{1/2})$. In doing so, we extend to hypergraphs a switching technique of McKay and Wormald.
A quick construction of mutually orthogonal sudoku squares
For any odd prime power q we provide a quick construction of a complete family of q(q-1) mutually orthogonal sudoku squares of order q^2.
The solution of the complete nontrivial cycle intersection problem for permutations
Published
• View Publication
• BIB
We prove the Complete nontrivial cycle-intersection theorem for systems of permutations.
Entropy Distance
Motivated by the approach of random linear codes, a new distance in the vector space over a finite field is defined as the logarithm of the "surface area" of a Hamming ball with radius being the corresponding Hamming distance. It is named entropy distance because of its close relation with entropy function. It is shown that entropy distance is a metric for a non-binary field and a pseudometric for the binary field. The entropy distance of a linear code is defined to be the smallest entropy distance between distinct codewords of the code. Analogues of the Gilbert bound, the Hamming bound, and the Singleton bound are derived for the largest size of a linear code given the length and entropy distance of the code. Furthermore, as an important property related to lossless joint source-channel coding, the entropy distance of a linear encoder is defined. Very tight upper and lower bounds are obtained for the largest entropy distance of a linear encoder with given dimensions of input and output vector spaces.
Average value of solutions for the bipartite boolean quadratic programs and rounding algorithms
Published in Theoretical Computer Science 565 (2015), 77-89
• View Publication
• BIB
We consider domination analysis of approximation algorithms for the bipartite boolean quadratic programming problem (BBQP) with m+n variables. A closed form formula is developed to compute the average objective function value A of all solutions in O(mn) time. However, computing the median objective function value of the solutions is shown to be NP-hard. Also, we show that any solution with objective function value no worse than A dominates at least 2^{m+n-2} solutions and this bound is the best possible. Further, we show that such a solution can be identified in O(mn) time and hence the dominance ratio of this algorithm is at least 1/4. We then show that for any fixed rational number a > 1, no polynomial time approximation algorithm exists for BBQP with dominance ratio larger than 1-2^{(m+n)(1-a)/a}, unless P=NP. We then analyze some powerful local search algorithms and show that they can get trapped at a local maximum with objective function value less than A. One of our approximation algorithms has an interesting rounding property which provides a data dependent lower bound on the optimal objective function value. A new integer programming formulation of BBQP is also given and computational results with our rounding algorithms are reported.
Unary FA-presentable binary relations: transitivity and classification results
Automatic presentations, also called FA-presentations, were introduced to extend finite model theory to infinite structures whilst retaining the solubility of fundamental decision problems. A particular focus of research has been the classification of those structures of some species that admit FA-presentations. Whilst some successes have been obtained, this appears to be a difficult problem in general. A restricted problem, also of significant interest, is to ask this question for unary FA-presentations: that is, FA-presentations over a one-letter alphabet. This paper studies unary FA-presentable binary relations.
It is proven that transitive closure of a unary FA-presentable binary relation is itself unary FA-presentable. Characterizations are then given of unary FA-presentable binary relations, quasi-orders, partial orders, tournaments, directed trees and forests, undirected trees and forests, and the orbit structures of unary FA-presentable partial and complete mappings, injections, surjections, and bijections.
Growth in groups: ideas and perspectives
Published
• View Publication
• BIB
This is a survey of methods developed in the last few years to prove results on growth in non-commutative groups. These techniques have their roots in both additive combinatorics and group theory, as well as other fields. We discuss linear algebraic groups, with SL_2(Z/pZ) as the basic example, as well as permutation groups. The emphasis lies on the ideas behind the methods.
Covering Paths for Planar Point Sets
Published
• View Publication
• BIB
Given $n$ points in the plane, a \emph{covering path} is a polygonal path that visits all the points. If no three points are collinear, every covering path requires at least $n/2$ segments, and $n-1$ straight line segments obviously suffice even if the covering path is required to be noncrossing. We show that every set of $n$ points in the plane admits a (possibly self-crossi ng) covering path consisting of $n/2 +O(n/\log{n})$ straight line segments. If the path is required to be noncrossing, we prove that $(1-\eps)n$ straight line segments suffice for a small constant $\eps>0$, and we exhibit $n$-element point sets that require at least $5n/9 -O(1)$ segments in every such path. Further, the analogous question for noncrossing \emph{covering trees} is considered and similar bounds are obtained. Finally, it is shown that computing a noncrossing covering path for $n$ points in the plane requires $Ω(n \log{n})$ time in the worst case.
A variation on Heawood list-coloring for graphs on surfaces
We prove a variation on Heawood list-coloring for graphs on surfaces, modeled on Thomassen's planar 5-list-coloring theorem. For epsilon>0 define the Heawood number to be H(epsilon)=Floor((7+Sqrt[24*epsilon+1])/2). We prove that, except for epsilon=3, every graph embedded on a surface of Euler genus epsilon>0 with a distinguished face F can be list-colored when the vertices of F have (H(epsilon)-2)-lists and all other vertices have H(epsilon)-lists unless the induced subgraph on the vertices of F contains the complete graph on H(epsilon)-1 vertices.
Combinatorial characterizations of the Cohen-Macaulayness of the second power of edge ideals
Published
• View Publication
• BIB
Let $I(G)$ be the edge ideal of a simple graph $G$. In this paper, we will give sufficient and necessary combinatorial conditions of $G$ in which the second symbolic and ordinary power of its edge ideal are Cohen-Macaulay (resp. Buchsbaum, generalized Cohen-Macaulay).
As an application of our results, we will classify all bipartite graphs in which the second (symbolic) powers are Cohen-Macaulay (resp. Buchsbaum, generalized Cohen-Macaulay).
On Maximum Differential Coloring of Planar Graphs
Published
• View Publication
• BIB
We study the \emph{maximum differential coloring problem}, where the vertices of an $n$-vertex graph must be labeled with distinct numbers ranging from $1$ to $n$, so that the minimum absolute difference between two labels of any two adjacent vertices is maximized. As the problem is \NPH for general graphs~\cite{leung1984}, we consider planar graphs and subclasses thereof. We initially prove that the maximum differential coloring problem remains \NPH, even for planar graphs. Then, we present tight bounds for regular caterpillars and spider graphs. Using these new bounds, we prove that the Miller-Pritikin labeling scheme~\cite{miller89} for forests is optimal for regular caterpillars and for spider graphs. Finally, we describe close-to-optimal differential coloring algorithms for general caterpillars and biconnected triangle-free outer-planar graphs.
Reconstructing multisets over commutative groupoids and affine functions over nonassociative semirings
Published in Internat. J. Algebra Comput. 24 (2014) 11-31
• View Publication
• BIB
A reconstruction problem is formulated for multisets over commutative groupoids. The cards of a multiset are obtained by replacing a pair of its elements by their sum. Necessary and sufficient conditions for the reconstructibility of multisets are determined. These results find an application in a different kind of reconstruction problem for functions of several arguments and identification minors: classes of linear or affine functions over nonassociative semirings are shown to be weakly reconstructible. Moreover, affine functions of sufficiently large arity over finite fields are reconstructible.
The union-closed sets conjecture almost holds for almost all random bipartite graphs
Published
• View Publication
• BIB
Frankl's union-closed sets conjecture states that in every finite union-closed set of sets, there is an element that is contained in at least half of the member-sets (provided there are at least two members). The conjecture has an equivalent formulation in terms of graphs: In every bipartite graph with least one edge, both colour classes contain a vertex belonging to at most half of the maximal stable sets.
We prove that, for every fixed edge-probability, almost every random bipartite graph almost satisfies Frankl's conjecture.
Applications of a new separator theorem for string graphs
Published
• View Publication
• BIB
An intersection graph of curves in the plane is called a string graph. Matousek almost completely settled a conjecture of the authors by showing that every string graph of m edges admits a vertex separator of size O(\sqrt{m}\log m). In the present note, this bound is combined with a result of the authors, according to which every dense string graph contains a large complete balanced bipartite graph. Three applications are given concerning string graphs G with n vertices: (i) if K_t is not a subgraph of G for some t, then the chromatic number of G is at most (\log n)^{O(\log t)}; (ii) if K_{t,t} is not a subgraph of G, then G has at most t(\log t)^{O(1)}n edges,; and (iii) a lopsided Ramsey-type result, which shows that the Erdos-Hajnal conjecture almost holds for string graphs.